0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/433705-1177962329/instance-433705-1177962329.opb
0.00/0.00	c File size is 809806 bytes.
0.09/0.15	c Highest Coefficient sum: 4284
0.09/0.15	c Parsing was ok!!
0.09/0.15	c Total parsing time: 0.15 s
0.09/0.16	c Var: 8805 Constr: 27496 27496/0/0 Lit: 66259 Watch. Lit: 54311
0.09/0.16	c Obj. Vars: 4284 (48.6542 % of total variables)
0.29/0.38	c Pre-processing Time: 0.384 s
0.29/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.39	c        0   7431    22753    56024    2    45506    7584      0      0 0.38
0.29/0.39	c Switching off LPR mode.
0.39/0.40	o 29	0.401
1800.08/1800.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.08/1800.80	c        6   7431    22760    59716    2    49094    8584      7     14 0.41
1800.08/1800.80	c      106   7431    22860    65877    2    49294    9443    107    224 0.47
1800.08/1800.80	c      356   7431    23110    76628    3    49794   10388    357    586 0.61
1800.08/1800.80	c      832   7431    23586   100785    4    50746   11427    833    580 1.43
1800.08/1800.80	c     1646   7431    24400   137909    5    52374   12570   1647    626 2.63
1800.08/1800.80	c     2967   7431    25721   205590    7    55016   13828   2968    632 4.69
1800.08/1800.80	c     5048   7431    27802   371283   13    59178   15211   5049    607 8.30
1800.08/1800.80	c     8272   7431    31026   590812   19    65626   16733   8273    614 13.47
1800.08/1800.80	c    13209   7431    35963   855048   23    75500   18407  13210    494 26.70
1800.08/1800.80	c    20715   7431    31958   570004   17    67490   20248   9205    499 41.45
1800.08/1800.80	c    32077   7431    43320  1507187   34    90214   22273  20567    496 64.59
1800.08/1800.80	c    49221   7431    45822  1716859   37    95218   24501  23069    445 110.40
1800.08/1800.80	c    75045   7431    39218  1226809   31    82010   26952  16465    414 181.03
1800.08/1800.80	c   113877   7431    39660  1259616   31    82894   29648  16907    394 288.71
1800.08/1800.80	c   172231   7431    36843   913892   24    77260   32613  14090    424 405.68
1800.08/1800.80	c   259863   7431    51362  1944263   37   106298   35875  28609    418 621.14
1800.08/1800.80	c   391415   7431    44116  1691047   38    91806   39463  21363    394 992.63
1800.08/1800.80	c Caught signal: 15
1800.08/1800.80	v -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298
1800.08/1800.80	v -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340
1800.08/1800.80	v -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382
1800.08/1800.80	v -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424
1800.08/1800.80	v -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466
1800.08/1800.80	v -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508
1800.08/1800.80	v -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550
1800.08/1800.80	v -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x583 -x585 -x587 -x589 -x591
1800.08/1800.80	v -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633
1800.08/1800.80	v -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675
1800.08/1800.80	v -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717
1800.08/1800.80	v -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759
1800.08/1800.80	v -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801
1800.08/1800.80	v -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843
1800.08/1800.80	v -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885
1800.08/1800.80	v -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927
1800.08/1800.80	v -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969
1800.08/1800.80	v -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009
1800.08/1800.80	v -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043
1800.08/1800.80	v -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077
1800.08/1800.80	v -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111
1800.08/1800.80	v -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145
1800.08/1800.80	v -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179
1800.08/1800.80	v -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213
1800.08/1800.80	v -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247
1800.08/1800.80	v -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281
1800.08/1800.80	v -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314
1800.08/1800.80	v -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348
1800.08/1800.80	v -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382
1800.08/1800.80	v -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416
1800.08/1800.80	v -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450
1800.08/1800.80	v -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484
1800.08/1800.80	v -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518
1800.08/1800.80	v -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552
1800.08/1800.80	v -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586
1800.08/1800.80	v -x1588 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619
1800.08/1800.80	v -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653
1800.08/1800.80	v -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687
1800.08/1800.80	v -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721
1800.08/1800.80	v -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755
1800.08/1800.80	v -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789
1800.08/1800.80	v -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822
1800.08/1800.80	v -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856
1800.08/1800.80	v -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890
1800.08/1800.80	v -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924
1800.08/1800.80	v -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958
1800.08/1800.80	v -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992
1800.08/1800.80	v -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026
1800.08/1800.80	v -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060
1800.08/1800.80	v -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094
1800.08/1800.80	v -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128
1800.08/1800.80	v -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162
1800.08/1800.80	v -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196
1800.08/1800.80	v -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230
1800.08/1800.80	v -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264
1800.08/1800.80	v -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298
1800.08/1800.80	v -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332
1800.08/1800.80	v -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366
1800.08/1800.80	v -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400
1800.08/1800.80	v -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434
1800.08/1800.80	v -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468
1800.08/1800.80	v -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502
1800.08/1800.80	v -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536
1800.08/1800.80	v -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570
1800.08/1800.80	v -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604
1800.08/1800.80	v -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638
1800.08/1800.80	v -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672
1800.08/1800.80	v -x2674 -x2676 x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706
1800.08/1800.80	v -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740
1800.08/1800.80	v -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774
1800.08/1800.80	v -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808
1800.08/1800.80	v -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842
1800.08/1800.80	v -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876
1800.08/1800.80	v -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910
1800.08/1800.80	v -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944
1800.08/1800.80	v -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978
1800.08/1800.80	v -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012
1800.08/1800.80	v -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046
1800.08/1800.80	v -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 x3070 -x3072 -x3074 -x3076 -x3078 -x3080
1800.08/1800.80	v -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114
1800.08/1800.80	v -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148
1800.08/1800.80	v -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182
1800.08/1800.80	v -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216
1800.08/1800.80	v -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250
1800.08/1800.80	v -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284
1800.08/1800.80	v -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318
1800.08/1800.80	v -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352
1800.08/1800.80	v -x3354 -x3356 -x3358 -x3360 -x3362 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386
1800.08/1800.80	v -x3388 -x3390 -x3392 -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x3420
1800.08/1800.80	v -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454
1800.08/1800.80	v -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488
1800.08/1800.80	v -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522
1800.08/1800.80	v -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 -x3556
1800.08/1800.80	v -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 x3582 -x3584 -x3586 -x3588 -x3590
1800.08/1800.80	v -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3622 -x3623
1800.08/1800.80	v -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657
1800.08/1800.80	v -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x3691
1800.08/1800.80	v -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725
1800.08/1800.80	v -x3727 -x3729 -x3731 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759
1800.08/1800.80	v -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x3793
1800.08/1800.80	v -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827
1800.08/1800.80	v -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861
1800.08/1800.80	v -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895
1800.08/1800.80	v -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x3929
1800.08/1800.80	v -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3951 -x3953 -x3955 -x3957 -x3959 -x3961 -x3963
1800.08/1800.80	v -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997
1800.08/1800.80	v -x3999 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x4013 -x4015 -x4017 -x4019 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031
1800.08/1800.80	v -x4033 -x4035 -x4037 -x4039 -x4041 -x4043 -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065
1800.08/1800.80	v -x4067 -x4069 -x4071 -x4073 -x4075 -x4077 -x4079 -x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x4099
1800.08/1800.80	v -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x4129 -x4131 -x4133
1800.08/1800.80	v -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167
1800.08/1800.80	v -x4169 -x4171 -x4173 -x4175 -x4177 -x4179 -x4181 -x4183 -x4185 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201
1800.08/1800.80	v -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x4215 -x4217 -x4219 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x4234
1800.08/1800.80	v -x4236 -x4238 -x4240 -x4242 -x4244 -x4246 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x4268
1800.08/1800.80	v -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302
1800.08/1800.80	v -x4304 -x4306 -x4308 -x4310 -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4328 -x4330 -x4332 -x4334 -x4336
1800.08/1800.80	v -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x4366 -x4368 -x4370
1800.08/1800.80	v -x4372 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 -x4386 -x4388 -x4390 -x4392 -x4394 -x4396 -x4398 -x4400 -x4402 -x4404
1800.08/1800.80	v -x4406 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 -x4434 -x4436 -x4438
1800.08/1800.80	v -x4440 -x4442 -x4444 -x4446 -x4448 -x4450 -x4452 -x4454 -x4455 -x4457 -x4459 -x4461 -x4463 -x4465 -x4467 -x4469 -x4471
1800.08/1800.80	v -x4473 -x4475 -x4477 -x4479 -x4481 -x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x4499 -x4501 -x4503 -x4505
1800.08/1800.80	v -x4507 -x4509 -x4511 -x4513 -x4515 -x4517 -x4519 -x4521 -x4523 -x4525 -x4527 -x4529 -x4531 -x4533 -x4535 -x4537 -x4539
1800.08/1800.80	v -x4541 -x4543 -x4545 -x4547 -x4549 -x4551 -x4553 -x4555 -x4557 -x4559 -x4561 -x4563 -x4565 -x4567 -x4569 -x4571 -x4573
1800.08/1800.80	v -x4575 -x4577 -x4579 -x4581 -x4583 -x4585 -x4587 -x4589 -x4591 -x4593 -x4595 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607
1800.08/1800.80	v -x4609 -x4611 -x4613 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 -x4637 -x4639 x4641
1800.08/1800.80	v -x4643 -x4645 -x4647 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 -x4661 -x4663 -x4665 -x4667 -x4669 -x4671 -x4673 -x4675
1800.08/1800.80	v -x4677 -x4679 -x4681 -x4683 -x4685 -x4687 -x4689 -x4691 -x4693 -x4695 -x4697 -x4699 -x4701 -x4703 -x4705 -x4707 -x4709
1800.08/1800.80	v -x4711 -x4713 -x4715 -x4717 -x4719 -x4721 -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 -x4737 -x4739 -x4741 -x4743
1800.08/1800.80	v -x4745 -x4747 -x4749 -x4751 -x4753 -x4755 -x4757 -x4759 -x4761 -x4763 -x4765 -x4767 -x4769 -x4771 -x4773 -x4775 -x4777
1800.08/1800.80	v -x4779 -x4780 -x4782 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x4798 -x4800 -x4802 -x4804 -x4806 -x4808 -x4810
1800.08/1800.80	v -x4812 -x4814 -x4816 -x4818 -x4820 -x4822 -x4824 -x4826 -x4828 -x4830 -x4832 -x4834 -x4836 -x4838 -x4840 -x4842 -x4844
1800.08/1800.80	v -x4846 -x4848 -x4850 -x4852 -x4854 -x4856 -x4858 -x4860 -x4862 -x4864 -x4866 -x4868 -x4870 -x4872 -x4874 -x4876 -x4878
1800.08/1800.80	v -x4880 -x4882 -x4884 -x4886 -x4888 -x4890 -x4892 -x4894 -x4896 -x4898 -x4900 -x4902 -x4904 -x4906 -x4908 -x4910 -x4912
1800.08/1800.80	v -x4914 -x4916 -x4918 -x4920 -x4922 -x4924 -x4926 -x4928 -x4930 -x4932 -x4934 -x4936 -x4938 -x4940 -x4942 -x4944 -x4946
1800.08/1800.80	v -x4948 -x4950 -x4952 -x4954 -x4956 -x4958 -x4960 -x4962 -x4964 -x4966 -x4968 -x4970 -x4972 -x4974 -x4976 -x4978 -x4980
1800.08/1800.80	v -x4982 -x4984 -x4986 -x4988 -x4990 -x4992 -x4994 -x4996 -x4998 -x5000 -x5002 -x5004 -x5006 -x5008 -x5010 -x5012 -x5014
1800.08/1800.80	v -x5016 -x5018 -x5020 -x5022 -x5024 -x5026 -x5028 -x5030 -x5032 -x5034 -x5036 -x5038 -x5040 -x5042 -x5044 -x5046 -x5048
1800.08/1800.80	v -x5050 -x5052 -x5054 -x5056 -x5058 -x5060 -x5062 -x5064 -x5066 -x5068 -x5070 -x5072 -x5074 -x5076 -x5078 -x5080 -x5082
1800.08/1800.80	v -x5084 -x5086 -x5088 -x5090 -x5092 -x5094 -x5096 -x5098 -x5100 -x5102 -x5104 -x5106 -x5108 -x5110 -x5112 -x5114 -x5116
1800.08/1800.80	v -x5118 -x5120 -x5122 -x5124 -x5126 -x5128 -x5130 -x5132 -x5134 x5136 -x5138 -x5140 -x5142 -x5144 -x5146 -x5148 -x5150
1800.08/1800.80	v -x5152 -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5166 -x5168 -x5170 -x5172 -x5174 -x5176 -x5178 -x5180 -x5182 -x5184
1800.08/1800.80	v -x5186 -x5188 -x5190 -x5192 -x5194 -x5196 -x5198 -x5200 -x5202 -x5204 -x5206 -x5208 -x5210 x5212 -x5214 -x5216 -x5218
1800.08/1800.80	v -x5220 -x5222 -x5224 -x5226 -x5228 -x5230 -x5232 -x5234 -x5236 -x5238 -x5240 -x5242 -x5244 -x5246 -x5248 -x5250 -x5252
1800.08/1800.80	v -x5254 -x5256 -x5258 -x5260 -x5262 -x5264 -x5266 -x5268 -x5270 -x5272 -x5274 -x5276 -x5278 -x5280 -x5282 -x5284 -x5286
1800.08/1800.80	v -x5288 -x5290 -x5292 -x5294 -x5296 -x5298 -x5300 -x5302 -x5304 -x5306 -x5308 -x5310 -x5312 -x5314 -x5316 -x5318 -x5320
1800.08/1800.80	v -x5322 -x5324 -x5326 -x5328 -x5330 -x5332 -x5334 -x5336 -x5338 -x5340 -x5342 -x5344 -x5346 -x5348 -x5350 -x5352 -x5354
1800.08/1800.80	v -x5356 -x5358 -x5360 -x5362 -x5364 -x5366 -x5368 -x5370 -x5372 -x5374 -x5376 -x5378 -x5380 -x5382 -x5384 -x5386 -x5388
1800.08/1800.80	v -x5390 -x5392 x5394 -x5396 -x5398 -x5400 -x5402 -x5404 -x5406 -x5408 -x5410 -x5412 -x5414 -x5416 -x5418 -x5420 -x5422
1800.08/1800.80	v -x5424 -x5426 -x5428 -x5430 -x5432 -x5434 -x5436 -x5438 -x5440 -x5442 -x5444 -x5446 -x5448 -x5450 -x5452 -x5454 -x5456
1800.08/1800.80	v -x5458 -x5460 -x5462 -x5464 -x5466 -x5468 -x5470 -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490
1800.08/1800.80	v -x5492 -x5494 -x5496 -x5498 -x5500 -x5502 -x5504 -x5506 -x5508 -x5510 -x5512 -x5514 -x5516 -x5518 -x5520 -x5522 -x5524
1800.08/1800.80	v -x5526 -x5528 -x5530 -x5532 -x5534 -x5536 -x5538 -x5540 -x5542 -x5544 -x5546 -x5548 -x5550 -x5552 -x5554 -x5556 -x5558
1800.08/1800.80	v -x5560 -x5562 -x5564 -x5566 x5568 -x5570 -x5572 -x5574 -x5576 -x5578 -x5580 -x5582 -x5584 -x5586 -x5588 -x5590 -x5592
1800.08/1800.80	v -x5594 -x5596 -x5598 -x5600 -x5602 -x5604 -x5606 -x5608 -x5610 -x5612 -x5614 -x5616 -x5618 -x5620 -x5622 -x5624 -x5626
1800.08/1800.80	v -x5628 -x5630 -x5632 -x5634 -x5636 -x5638 -x5640 -x5642 -x5644 -x5646 -x5648 -x5650 -x5652 -x5654 -x5656 -x5658 -x5660
1800.08/1800.80	v -x5662 -x5664 -x5666 -x5668 -x5670 -x5672 -x5674 -x5676 -x5678 -x5680 -x5682 -x5684 -x5686 -x5688 -x5690 -x5692 -x5694
1800.08/1800.80	v -x5696 -x5698 -x5700 -x5702 -x5704 -x5706 -x5708 -x5710 -x5712 -x5714 -x5716 -x5718 -x5720 -x5722 -x5724 -x5726 -x5728
1800.08/1800.80	v -x5730 -x5732 -x5734 -x5736 -x5738 -x5740 -x5742 -x5744 -x5746 -x5748 -x5750 -x5752 -x5754 -x5756 -x5758 -x5760 -x5762
1800.08/1800.80	v -x5764 -x5766 -x5768 -x5770 -x5772 -x5774 -x5776 -x5778 -x5780 -x5782 -x5784 -x5786 -x5788 -x5790 -x5792 -x5794 -x5796
1800.08/1800.80	v -x5798 -x5800 -x5802 -x5804 -x5806 -x5808 -x5810 -x5812 -x5814 -x5816 -x5818 -x5820 -x5822 -x5824 -x5826 x5828 -x5830
1800.08/1800.80	v -x5832 -x5834 -x5836 -x5838 -x5840 -x5842 -x5844 -x5846 -x5848 -x5850 -x5852 -x5854 -x5856 -x5858 -x5860 -x5862 -x5864
1800.08/1800.80	v -x5866 -x5868 -x5870 -x5872 -x5874 -x5876 -x5878 -x5880 -x5882 -x5884 -x5886 -x5888 -x5890 -x5892 -x5894 -x5896 -x5898
1800.08/1800.80	v -x5900 -x5902 -x5904 -x5906 -x5908 -x5910 -x5912 -x5914 -x5916 -x5918 -x5920 -x5922 -x5924 -x5926 -x5928 -x5930 -x5932
1800.08/1800.80	v -x5934 -x5936 -x5938 -x5940 -x5942 -x5944 -x5946 -x5948 -x5950 -x5952 -x5954 -x5956 -x5958 -x5960 -x5962 -x5964 -x5966
1800.08/1800.80	v -x5968 -x5970 -x5972 -x5974 -x5976 -x5978 -x5980 -x5982 -x5984 -x5986 -x5988 -x5990 -x5992 -x5994 -x5996 -x5998 -x6000
1800.08/1800.80	v -x6002 -x6004 -x6006 -x6008 -x6010 -x6012 -x6014 -x6016 -x6018 -x6020 -x6022 -x6024 -x6026 -x6028 -x6030 -x6032 -x6034
1800.08/1800.80	v -x6036 -x6038 -x6040 -x6042 -x6044 -x6046 -x6048 -x6050 -x6052 -x6054 -x6056 -x6058 -x6060 -x6062 -x6064 -x6066 -x6068
1800.08/1800.80	v -x6070 -x6072 -x6074 -x6076 -x6078 -x6080 -x6082 -x6084 -x6086 -x6088 -x6090 -x6092 -x6094 -x6096 -x6098 -x6100 -x6102
1800.08/1800.80	v x6104 -x6106 -x6108 -x6110 -x6112 -x6114 -x6116 -x6118 -x6120 -x6122 -x6124 -x6126 -x6128 -x6130 -x6132 -x6134 -x6136
1800.08/1800.80	v -x6138 -x6140 -x6142 -x6144 -x6146 -x6148 -x6150 -x6152 -x6154 -x6156 -x6158 -x6160 -x6162 -x6164 -x6166 -x6168 -x6170
1800.08/1800.80	v -x6172 -x6174 -x6176 -x6178 -x6180 -x6182 -x6184 -x6186 -x6188 -x6190 -x6192 -x6194 -x6196 -x6198 -x6200 -x6202 -x6204
1800.08/1800.80	v -x6206 -x6208 -x6210 -x6212 -x6214 -x6216 -x6218 -x6220 -x6222 -x6224 -x6226 -x6228 -x6230 -x6232 -x6234 -x6236 -x6238
1800.08/1800.80	v -x6240 -x6242 -x6244 -x6246 -x6248 -x6250 -x6252 -x6254 -x6256 -x6258 -x6260 -x6262 -x6263 -x6265 -x6267 -x6269 -x6271
1800.08/1800.80	v -x6273 -x6275 -x6277 -x6279 -x6281 -x6283 -x6285 -x6287 -x6289 -x6291 -x6293 -x6295 -x6297 -x6299 -x6300 x6302 -x6304
1800.08/1800.80	v -x6306 -x6308 -x6310 -x6312 -x6314 -x6316 -x6318 -x6320 -x6322 -x6324 -x6326 -x6328 -x6330 -x6332 -x6334 -x6336 -x6338
1800.08/1800.80	v -x6340 -x6342 -x6344 -x6346 -x6348 -x6350 -x6352 -x6353 -x6355 -x6357 -x6359 -x6361 -x6363 -x6365 -x6367 -x6369 -x6371
1800.08/1800.80	v -x6373 -x6375 -x6377 -x6379 -x6380 -x6382 -x6384 -x6386 -x6388 -x6390 -x6392 -x6394 -x6396 -x6398 -x6400 -x6402 -x6404
1800.08/1800.80	v -x6406 -x6408 -x6410 -x6412 -x6414 -x6416 -x6418 -x6420 -x6422 -x6424 -x6426 -x6428 -x6430 -x6432 -x6434 -x6436 -x6438
1800.08/1800.80	v -x6440 -x6442 -x6444 -x6446 -x6448 -x6450 -x6452 -x6454 -x6456 -x6458 -x6460 -x6462 -x6464 -x6466 -x6468 -x6470 -x6472
1800.08/1800.80	v -x6474 -x6476 -x6478 -x6480 -x6482 -x6484 -x6486 -x6488 -x6490 -x6492 -x6494 -x6496 -x6498 -x6500 -x6502 -x6504 -x6506
1800.08/1800.80	v -x6508 -x6510 -x6512 -x6514 -x6516 -x6518 -x6520 -x6522 -x6524 -x6526 -x6528 -x6530 -x6532 -x6534 -x6536 -x6538 -x6540
1800.08/1800.80	v -x6542 -x6544 -x6546 -x6548 -x6550 -x6552 -x6554 -x6556 -x6558 -x6560 -x6562 -x6564 -x6566 -x6568 -x6570 -x6572 -x6574
1800.08/1800.80	v -x6576 -x6578 -x6580 -x6582 -x6584 -x6586 -x6588 -x6590 -x6592 -x6594 -x6596 -x6598 -x6600 -x6602 -x6604 -x6606 -x6608
1800.08/1800.80	v -x6610 -x6612 -x6614 -x6616 -x6618 -x6620 -x6622 -x6624 -x6626 -x6628 -x6629 -x6631 -x6633 x6635 -x6637 -x6639 -x6641
1800.08/1800.80	v -x6643 -x6645 -x6647 -x6649 -x6651 -x6653 -x6655 -x6657 -x6659 -x6661 -x6663 -x6665 -x6667 -x6669 -x6671 -x6673 -x6675
1800.08/1800.80	v -x6677 -x6679 -x6681 -x6683 -x6685 -x6687 -x6689 -x6691 -x6693 -x6695 -x6697 -x6699 -x6701 -x6703 -x6705 -x6707 -x6708
1800.08/1800.80	v -x6710 -x6712 -x6714 -x6716 -x6718 -x6720 -x6722 -x6724 -x6726 -x6728 -x6730 -x6732 -x6734 -x6736 -x6738 -x6740 -x6742
1800.08/1800.80	v -x6744 -x6746 -x6748 -x6750 -x6752 -x6754 -x6756 -x6758 -x6760 -x6762 -x6764 -x6766 -x6768 -x6770 -x6772 -x6774 -x6776
1800.08/1800.80	v -x6778 -x6780 -x6782 -x6784 -x6786 -x6788 -x6790 -x6792 -x6794 -x6796 -x6798 x6800 -x6802 -x6804 -x6806 -x6808 -x6810
1800.08/1800.80	v -x6812 -x6814 -x6816 -x6818 -x6820 -x6822 -x6824 -x6826 -x6828 -x6830 -x6832 -x6834 -x6836 -x6838 -x6840 -x6842 -x6844
1800.08/1800.80	v -x6846 -x6848 -x6850 -x6852 -x6854 -x6856 -x6858 -x6860 -x6862 -x6864 -x6866 -x6868 -x6870 -x6872 -x6874 -x6876 -x6878
1800.08/1800.80	v -x6880 -x6882 -x6884 -x6886 -x6888 -x6889 -x6891 -x6893 -x6895 -x6897 -x6899 -x6901 -x6903 -x6905 -x6907 -x6909 -x6911
1800.08/1800.80	v -x6913 -x6915 -x6917 -x6919 -x6921 -x6923 -x6925 -x6927 -x6929 -x6931 -x6933 -x6935 -x6937 -x6939 -x6941 -x6943 -x6945
1800.08/1800.80	v -x6947 -x6949 -x6951 -x6953 -x6955 -x6957 -x6959 -x6961 -x6963 -x6965 -x6967 -x6969 -x6971 -x6973 -x6975 -x6977 -x6979
1800.08/1800.80	v -x6981 -x6983 -x6985 -x6987 -x6989 -x6991 -x6993 -x6995 -x6997 -x6999 -x7001 -x7003 -x7005 -x7007 -x7009 -x7011 -x7013
1800.08/1800.80	v -x7015 -x7017 -x7019 -x7021 -x7023 -x7025 -x7027 -x7029 -x7031 -x7033 -x7035 -x7037 -x7039 -x7041 -x7043 -x7045 -x7047
1800.08/1800.80	v -x7049 -x7051 -x7053 -x7055 -x7057 -x7059 -x7061 -x7063 -x7065 -x7067 -x7069 -x7071 -x7073 -x7075 -x7077 -x7079 -x7081
1800.08/1800.80	v -x7083 -x7085 -x7087 -x7089 -x7091 -x7093 -x7095 -x7097 -x7099 -x7101 -x7103 x7105 -x7107 -x7109 -x7111 -x7113 -x7115
1800.08/1800.80	v -x7117 -x7119 -x7121 -x7123 x7125 -x7127 -x7129 -x7131 -x7133 -x7135 -x7137 -x7139 -x7141 -x7143 -x7145 -x7147 -x7149
1800.08/1800.80	v -x7151 -x7153 -x7155 -x7157 -x7159 -x7161 -x7163 -x7165 -x7167 -x7169 -x7171 -x7173 -x7175 -x7177 -x7179 -x7181 -x7183
1800.08/1800.80	v -x7185 -x7187 -x7189 -x7191 -x7193 -x7195 -x7197 -x7199 -x7201 -x7203 -x7205 -x7207 -x7209 -x7211 -x7213 -x7215 -x7217
1800.08/1800.80	v -x7219 -x7221 -x7223 -x7225 -x7227 -x7229 -x7231 -x7233 -x7235 -x7237 -x7239 -x7241 -x7243 -x7245 -x7247 -x7249 -x7251
1800.08/1800.80	v -x7253 -x7255 -x7257 -x7259 -x7261 -x7263 -x7265 -x7267 -x7269 -x7271 -x7273 -x7275 -x7277 -x7279 -x7281 -x7283 -x7285
1800.08/1800.80	v -x7287 -x7289 -x7291 -x7293 -x7295 -x7297 -x7299 -x7301 -x7303 -x7305 -x7307 -x7309 -x7311 -x7313 -x7315 -x7317 -x7319
1800.08/1800.80	v -x7321 -x7323 -x7325 -x7327 -x7329 -x7331 -x7333 -x7335 -x7337 -x7339 -x7341 -x7343 -x7345 -x7347 -x7349 -x7351 -x7353
1800.08/1800.80	v -x7355 -x7357 -x7359 -x7361 -x7363 -x7365 -x7367 -x7369 -x7371 -x7373 -x7375 -x7377 -x7379 -x7381 -x7383 -x7385 -x7387
1800.08/1800.80	v -x7389 -x7391 -x7393 -x7395 -x7397 -x7399 -x7401 -x7403 -x7405 -x7407 -x7409 -x7411 -x7413 -x7415 -x7417 -x7419 -x7421
1800.08/1800.80	v -x7423 -x7425 -x7427 -x7429 -x7431 -x7433 -x7435 -x7437 -x7439 -x7441 -x7443 -x7445 -x7447 -x7449 -x7451 -x7453 -x7455
1800.08/1800.80	v -x7457 -x7459 -x7461 -x7463 -x7465 -x7467 -x7469 -x7471 -x7473 -x7475 -x7477 -x7479 -x7481 -x7483 -x7485 -x7487 -x7489
1800.08/1800.80	v -x7491 -x7493 -x7495 -x7497 -x7499 -x7501 -x7503 -x7505 -x7507 -x7509 -x7511 -x7513 -x7515 -x7517 -x7519 -x7521 -x7523
1800.08/1800.80	v -x7525 -x7527 -x7529 x7531 -x7533 -x7535 -x7537 -x7539 -x7541 -x7543 -x7545 -x7547 -x7549 -x7551 -x7553 -x7555 -x7557
1800.08/1800.80	v -x7559 -x7561 -x7563 -x7565 -x7567 -x7569 -x7571 -x7573 -x7575 -x7577 -x7579 -x7581 -x7583 -x7585 -x7587 -x7589 -x7591
1800.08/1800.80	v -x7593 -x7595 -x7597 -x7599 -x7601 -x7603 -x7605 -x7607 -x7609 -x7611 -x7613 -x7615 -x7617 -x7619 -x7621 -x7623 -x7625
1800.08/1800.80	v -x7627 -x7629 -x7631 -x7633 -x7635 -x7637 -x7639 -x7641 -x7643 -x7645 -x7647 -x7649 -x7651 -x7653 -x7655 -x7657 -x7659
1800.08/1800.80	v -x7661 -x7663 -x7665 -x7667 -x7669 -x7671 -x7673 -x7675 -x7677 -x7679 -x7681 -x7683 -x7685 -x7687 -x7689 -x7691 -x7693
1800.08/1800.80	v -x7695 -x7697 -x7699 -x7701 -x7703 -x7705 -x7707 -x7709 -x7711 -x7713 -x7715 -x7717 -x7719 -x7721 -x7723 -x7725 -x7727
1800.08/1800.80	v -x7729 -x7731 -x7733 -x7735 -x7737 -x7739 -x7741 -x7743 -x7745 -x7747 -x7749 -x7751 -x7753 -x7755 -x7757 -x7759 -x7761
1800.08/1800.80	v -x7763 -x7765 -x7767 -x7769 -x7771 -x7773 -x7775 -x7777 -x7779 -x7781 -x7783 -x7785 -x7787 -x7789 -x7791 -x7793 -x7795
1800.08/1800.80	v x7796 -x7798 -x7800 -x7802 -x7804 -x7806 -x7808 -x7810 -x7812 -x7814 -x7816 -x7818 -x7820 -x7822 -x7824 -x7826 -x7828
1800.08/1800.80	v -x7830 -x7832 -x7834 -x7836 -x7838 -x7840 -x7842 -x7844 -x7846 -x7848 -x7850 -x7852 -x7854 -x7856 -x7858 -x7860 -x7862
1800.08/1800.80	v -x7864 -x7866 -x7868 -x7870 -x7872 -x7874 -x7876 -x7878 -x7880 -x7881 -x7883 -x7885 -x7887 -x7889 -x7891 -x7893 -x7895
1800.08/1800.80	v -x7897 -x7899 -x7901 -x7903 -x7905 -x7907 -x7909 -x7911 -x7913 -x7915 -x7917 -x7919 -x7921 -x7923 -x7925 -x7927 -x7929
1800.08/1800.80	v -x7931 -x7933 -x7935 -x7937 -x7939 -x7941 -x7943 -x7945 -x7947 -x7949 -x7951 -x7953 -x7955 -x7957 -x7959 -x7961 -x7963
1800.08/1800.80	v -x7965 -x7967 -x7969 -x7971 -x7973 -x7975 -x7977 -x7979 -x7981 -x7983 -x7985 -x7986 -x7988 -x7990 -x7992 -x7994 -x7996
1800.08/1800.80	v -x7998 -x8000 -x8002 -x8004 -x8006 -x8008 -x8010 -x8012 -x8014 -x8016 -x8018 -x8020 -x8022 -x8024 -x8026 -x8028 -x8030
1800.08/1800.80	v -x8032 -x8034 -x8036 -x8038 -x8040 -x8042 -x8044 -x8046 -x8048 -x8050 -x8052 -x8054 -x8056 -x8058 x8060 -x8062 -x8064
1800.08/1800.80	v -x8066 -x8068 -x8070 -x8072 -x8074 -x8076 -x8078 -x8080 -x8082 -x8084 -x8086 -x8088 -x8090 -x8092 -x8094 -x8096 -x8098
1800.08/1800.80	v -x8100 -x8102 -x8104 -x8106 -x8108 -x8110 -x8112 -x8114 -x8116 -x8118 -x8120 -x8122 -x8124 -x8126 -x8128 -x8130 -x8132
1800.08/1800.80	v -x8134 -x8136 -x8138 -x8140 -x8142 -x8144 -x8146 -x8148 -x8150 -x8152 -x8154 -x8156 -x8158 -x8160 -x8162 -x8164 -x8166
1800.08/1800.80	v -x8168 -x8170 -x8172 -x8174 -x8176 -x8178 -x8180 -x8182 -x8184 -x8186 -x8188 -x8190 -x8192 -x8194 -x8196 x8198 -x8200
1800.08/1800.80	v -x8202 -x8204 -x8206 -x8208 -x8210 -x8212 -x8214 -x8216 -x8218 -x8220 -x8222 -x8224 -x8226 -x8228 -x8230 -x8232 -x8234
1800.08/1800.80	v -x8236 -x8238 -x8240 -x8242 -x8244 -x8246 -x8248 -x8250 -x8252 -x8254 -x8256 -x8258 -x8260 -x8262 -x8264 -x8266 -x8268
1800.08/1800.80	v -x8270 -x8272 -x8274 -x8276 -x8278 -x8280 -x8282 -x8284 -x8286 -x8288 -x8290 -x8292 -x8294 -x8296 -x8298 -x8300 -x8302
1800.08/1800.80	v -x8304 -x8306 -x8308 -x8310 -x8312 -x8314 -x8316 -x8318 -x8320 -x8322 -x8324 -x8326 -x8328 -x8330 -x8332 -x8334 -x8336
1800.08/1800.80	v -x8338 -x8340 -x8342 -x8344 -x8346 -x8348 -x8350 -x8352 -x8354 -x8356 -x8358 -x8360 -x8362 -x8364 -x8366 -x8368 -x8370
1800.08/1800.80	v -x8372 -x8374 -x8376 -x8378 -x8380 -x8382 -x8384 -x8386 -x8388 -x8390 -x8392 -x8394 -x8396 x8398 -x8400 -x8402 -x8404
1800.08/1800.80	v -x8406 -x8408 -x8410 -x8412 -x8414 -x8416 -x8418 -x8420 -x8422 -x8424 -x8426 -x8428 -x8430 -x8432 -x8434 -x8436 -x8438
1800.08/1800.80	v -x8440 -x8442 -x8444 -x8446 -x8448 -x8450 -x8451 -x8453 -x8455 -x8457 -x8459 -x8461 -x8463 -x8465 -x8467 -x8469 -x8471
1800.08/1800.80	v -x8473 -x8475 -x8477 -x8479 -x8481 -x8483 -x8485 -x8487 -x8489 -x8491 -x8493 -x8495 -x8497 -x8499 -x8501 -x8503 -x8505
1800.08/1800.80	v -x8507 -x8509 -x8511 -x8513 -x8515 -x8517 -x8519 -x8521 -x8523 -x8525 -x8527 -x8529 -x8531 -x8533 -x8535 -x8537 -x8539
1800.08/1800.80	v -x8541 -x8543 -x8545 -x8547 -x8549 -x8551 -x8553 -x8555 -x8557 -x8559 -x8561 -x8563 -x8565 -x8567 -x8569 -x8571 -x8573
1800.08/1800.80	v -x8575 -x8577 -x8579 -x8581 -x8583 -x8585 -x8587 -x8589 -x8591 -x8593 -x8595 -x8597 -x8599 -x8601 -x8603 -x8605 -x8607
1800.08/1800.80	v -x8609 -x8611 -x8613 -x8615 -x8617 -x8619 -x8621 -x8623 -x8625 -x8627 -x8629 -x8631 -x8633 -x8635 -x8637 -x8639 -x8641
1800.08/1800.80	v -x8643 -x8645 -x8647 -x8649 -x8651 -x8653 -x8655 -x8657 -x8659 -x8661 -x8663 -x8665 -x8667 -x8669 -x8671 -x8673 -x8675
1800.08/1800.80	v x8677 -x8679 -x8681 -x8683 -x8685 -x8687 -x8689 -x8691 -x8693 -x8695 -x8697 -x8699 -x8701 -x8703 -x8705 -x8707 -x8709
1800.08/1800.80	v -x8711 -x8713 -x8715 -x8717 -x8719 -x8721 -x8723 -x8725 -x8727 -x8729 -x8731 -x8733 -x8735 -x8737 -x8739 -x8741 -x8743
1800.08/1800.80	v x8745 -x8747 x8749 -x8751 -x8753 -x8755 -x8757 -x8759 -x8761 -x8763 -x8765 -x8767 -x8769 -x8771 -x8773 -x8775 -x8777 -x8779
1800.08/1800.80	v -x8781 -x8783 -x8785 -x8787 -x8789 -x8791 -x8793 -x8795 -x8797 -x8799 x8801 x8803 x8805 -x257 -x259 -x261 -x263 -x265 -x267
1800.08/1800.80	v -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309
1800.08/1800.80	v -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351
1800.08/1800.80	v -x353 -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393
1800.08/1800.80	v -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435
1800.08/1800.80	v -x437 -x439 -x441 x443 -x445 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477
1800.08/1800.80	v -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x1 -x513 -x515 -x517
1800.08/1800.80	v -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559
1800.08/1800.80	v -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602
1800.08/1800.80	v -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x2 -x638 -x640 -x642
1800.08/1800.80	v -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684
1800.08/1800.80	v -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726
1800.08/1800.80	v -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x3 -x764 -x766
1800.08/1800.80	v -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808
1800.08/1800.80	v -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x4 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848
1800.08/1800.80	v -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890
1800.08/1800.80	v -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932
1800.08/1800.80	v -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x5 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972
1800.08/1800.80	v -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010
1800.08/1800.80	v -x1012 -x6 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044
1800.08/1800.80	v -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x7 -x1076 -x1078
1800.08/1800.80	v -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x8 -x1106 -x1108 -x1110 -x1112
1800.08/1800.80	v -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146
1800.08/1800.80	v -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180
1800.08/1800.80	v -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214
1800.08/1800.80	v -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x9 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248
1800.08/1800.80	v -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282
1800.08/1800.80	v -x1284 -x1286 -x1288 -x1290 -x1292 -x10 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317
1800.08/1800.80	v -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351
1800.08/1800.80	v -x1353 -x11 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x12
1800.08/1800.80	v -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417
1800.08/1800.80	v -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x13 -x1447 -x1449 -x1451
1800.08/1800.80	v -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485
1800.08/1800.80	v -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519
1800.08/1800.80	v -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553
1800.08/1800.80	v -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587
1800.08/1800.80	v -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x14 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622
1800.08/1800.80	v -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656
1800.08/1800.80	v -x1658 -x1660 -x1662 -x15 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690
1800.08/1800.80	v -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724
1800.08/1800.80	v -x16 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x17 -x1756
1800.08/1800.80	v -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790
1800.08/1800.80	v -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1813 -x18 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825
1800.08/1800.80	v -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x19 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859
1800.08/1800.80	v -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x20 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x21 -x1889 -x1891
1800.08/1800.80	v -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925
1800.08/1800.80	v -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959
1800.08/1800.80	v -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993
1800.08/1800.80	v -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027
1800.08/1800.80	v -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061
1800.08/1800.80	v -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x22 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095
1800.08/1800.80	v -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129
1800.08/1800.80	v -x2131 -x2133 -x2135 -x2137 -x23 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163
1800.08/1800.80	v -x2165 -x2167 -x24 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197
1800.08/1800.80	v -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x25 -x2231
1800.08/1800.80	v -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x26 -x2261 -x2263 -x2265
1800.08/1800.80	v -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x27 -x2291 -x2293 -x2295 -x2297 -x2299
1800.08/1800.80	v -x2301 -x2303 -x28 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333
1800.08/1800.80	v -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x29 -x2367
1800.08/1800.80	v -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x30 -x2397 -x2399 -x2401
1800.08/1800.80	v -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x31 -x2427 -x2429 -x2431 -x2433 -x2435
1800.08/1800.80	v -x2437 -x2439 -x32 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469
1800.08/1800.80	v -x33 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x34 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501
1800.08/1800.80	v -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535
1800.08/1800.80	v -x2537 -x2539 -x2541 -x2543 -x2545 -x35 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569
1800.08/1800.80	v -x2571 -x2573 -x2575 -x36 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603
1800.08/1800.80	v -x2605 -x37 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x38 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635
1800.08/1800.80	v -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x39 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x40 -x2665 -x2667
1800.08/1800.80	v -x2669 -x2671 -x2673 -x2675 x2677 x41 -x2679 -x2681 -x2683 -x42 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699
1800.08/1800.80	v -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733
1800.08/1800.80	v -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767
1800.08/1800.80	v -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801
1800.08/1800.80	v -x2803 -x2805 -x2807 -x2809 -x43 -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835
1800.08/1800.80	v -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869
1800.08/1800.80	v -x2871 -x44 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903
1800.08/1800.80	v -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x45 -x2935 -x2937
1800.08/1800.80	v -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x46 -x2965 -x2967 -x2969 -x2971
1800.08/1800.80	v -x2973 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005
1800.08/1800.80	v -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039
1800.08/1800.80	v -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 x3069 -x3071 -x3073
1800.08/1800.80	v -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x47 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107
1800.08/1800.80	v -x3109 -x3111 -x3113 -x3115 -x3117 -x48 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x3139 -x3141
1800.08/1800.80	v -x3143 -x3145 -x3147 -x49 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175
1800.08/1800.80	v -x3177 -x50 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x51 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207
1800.08/1800.80	v -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241
1800.08/1800.80	v -x3243 -x3245 -x3247 -x3249 -x3251 -x52 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275
1800.08/1800.80	v -x3277 -x3279 -x3281 -x53 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309
1800.08/1800.80	v -x3311 -x54 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x55 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341
1800.08/1800.80	v -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x56 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375
1800.08/1800.80	v -x3377 -x3379 -x3381 -x3383 -x3385 -x57 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3399 -x58 -x3401 -x3403 -x3405 -x3407
1800.08/1800.80	v -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441
1800.08/1800.80	v -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x59 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475
1800.08/1800.80	v -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x60 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509
1800.08/1800.80	v -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x61 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x62 -x3537 -x3539 -x3541
1800.08/1800.80	v -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x63 -x3567 -x3569 -x3571 -x3573 -x3575
1800.08/1800.80	v -x3577 -x3579 x64 x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x65 -x3595 -x3597 -x3599 -x66 -x3601 -x3603 -x3605 -x3607
1800.08/1800.80	v -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638 -x3640 -x3642
1800.08/1800.80	v -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x67 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x3676
1800.08/1800.80	v -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x68 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710
1800.08/1800.80	v -x3712 -x3714 -x3716 -x3718 -x3720 -x69 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x70 -x3736 -x3738 -x3740 -x3742
1800.08/1800.80	v -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x71 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776
1800.08/1800.80	v -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x72 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x73
1800.08/1800.80	v -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x74 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x75 -x3838 -x3840
1800.08/1800.80	v -x3842 -x76 -x3844 -x3846 -x3848 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x77
1800.08/1800.80	v -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x78 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x3900 -x79 -x3902 -x3904
1800.08/1800.80	v -x3906 -x80 -x3908 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x81 -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x82
1800.08/1800.80	v -x3936 -x3938 -x3940 -x83 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968
1800.08/1800.80	v -x3970 -x84 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x85 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3998 -x86
1800.08/1800.80	v -x4000 -x4002 -x4004 -x87 -x4006 -x4008 -x4010 -x4012 -x4014 -x4016 -x4018 -x88 -x4020 -x4022 -x4024 -x89 -x4026 -x4028
1800.08/1800.80	v -x4030 -x90 -x4032 -x91 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x4054 -x4056 -x4058 -x4060
1800.08/1800.80	v -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x4082 -x4084 -x4086 -x4088 -x4090 -x4092 -x4094
1800.08/1800.80	v -x4096 -x4098 -x4100 -x4102 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128
1800.08/1800.80	v -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x4144 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x4158 -x92 -x4160 -x4162
1800.08/1800.80	v -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 -x4194 -x4196
1800.08/1800.80	v -x4198 -x4200 -x4202 -x4204 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x93 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231
1800.08/1800.80	v -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x4245 -x4247 -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265
1800.08/1800.80	v -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 -x4281 -x94 -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x4295 -x4297 -x4299
1800.08/1800.80	v -x4301 -x4303 -x4305 -x4307 -x4309 -x4311 -x95 -x4313 -x4315 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4333
1800.08/1800.80	v -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 -x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x4363 -x4365 -x4367
1800.08/1800.80	v -x4369 -x4371 -x4373 -x96 -x4375 -x4377 -x4379 -x4381 -x4383 -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401
1800.08/1800.80	v -x4403 -x97 -x4405 -x4407 -x4409 -x4411 -x4413 -x4415 -x4417 -x4419 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 -x4433 -x4435
1800.08/1800.80	v -x4437 -x4439 -x4441 -x4443 -x4445 -x4447 -x4449 -x4451 -x4453 -x4456 -x4458 -x4460 -x4462 -x98 -x4464 -x4466 -x4468 -x4470
1800.08/1800.80	v -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 -x4486 -x4488 -x4490 -x4492 -x99 -x4494 -x4496 -x4498 -x4500 -x4502 -x4504
1800.08/1800.80	v -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522 -x100 -x4524 -x4526 -x4528 -x4530 -x4532 -x4534 -x4536
1800.08/1800.80	v -x4538 -x4540 -x4542 -x4544 -x4546 -x4548 -x4550 -x4552 -x4554 -x4556 -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 -x4570
1800.08/1800.80	v -x4572 -x4574 -x4576 -x4578 -x4580 -x4582 -x4584 -x4586 -x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604
1800.08/1800.80	v -x4606 -x4608 -x4610 -x4612 -x4614 -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 -x4636 -x4638
1800.08/1800.80	v x4640 -x4642 -x4644 -x4646 -x4648 -x4650 -x4652 -x4654 -x4656 -x4658 -x4660 -x4662 -x101 -x4664 -x4666 -x4668 -x4670 -x4672
1800.08/1800.80	v -x4674 -x4676 -x4678 -x4680 -x4682 -x4684 -x4686 -x4688 -x4690 -x4692 -x4694 -x4696 -x4698 -x4700 -x4702 -x4704 -x4706
1800.08/1800.80	v -x4708 -x4710 -x4712 -x4714 -x4716 -x4718 -x4720 -x4722 -x4724 -x102 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738
1800.08/1800.80	v -x4740 -x4742 -x4744 -x4746 -x4748 -x4750 -x4752 -x4754 -x4756 -x4758 -x4760 -x4762 -x4764 -x4766 -x4768 -x4770 -x4772
1800.08/1800.80	v -x4774 -x4776 -x4778 -x4781 -x4783 -x4785 -x103 -x4787 -x4789 -x4791 -x4793 -x4795 -x4797 -x4799 -x4801 -x4803 -x4805
1800.08/1800.80	v -x4807 -x4809 -x4811 -x4813 -x4815 -x4817 -x4819 -x4821 -x4823 -x4825 -x4827 -x4829 -x4831 -x4833 -x4835 -x4837 -x4839
1800.08/1800.80	v -x4841 -x4843 -x4845 -x4847 -x104 -x4849 -x4851 -x4853 -x4855 -x4857 -x4859 -x4861 -x4863 -x4865 -x4867 -x4869 -x4871
1800.08/1800.80	v -x4873 -x4875 -x4877 -x105 -x4879 -x4881 -x4883 -x4885 -x4887 -x4889 -x4891 -x4893 -x4895 -x4897 -x4899 -x4901 -x4903
1800.08/1800.80	v -x4905 -x4907 -x4909 -x4911 -x4913 -x4915 -x4917 -x4919 -x4921 -x4923 -x4925 -x4927 -x4929 -x4931 -x4933 -x4935 -x4937
1800.08/1800.80	v -x4939 -x106 -x4941 -x4943 -x4945 -x4947 -x4949 -x4951 -x4953 -x4955 -x4957 -x4959 -x4961 -x4963 -x4965 -x4967 -x4969
1800.08/1800.80	v -x107 -x4971 -x4973 -x4975 -x4977 -x4979 -x4981 -x4983 -x4985 -x4987 -x4989 -x4991 -x4993 -x4995 -x4997 -x4999 -x108 -x5001
1800.08/1800.80	v -x5003 -x5005 -x5007 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x5029 -x109 -x5031 -x5033
1800.08/1800.80	v -x5035 -x5037 -x5039 -x5041 -x5043 -x110 -x5045 -x5047 -x5049 -x5051 -x5053 -x5055 -x5057 -x5059 -x5061 -x5063 -x5065
1800.08/1800.80	v -x5067 -x5069 -x5071 -x5073 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087 -x5089 -x5091 -x5093 -x5095 -x5097 -x5099
1800.08/1800.80	v -x5101 -x5103 -x5105 -x111 -x5107 -x5109 -x5111 -x5113 -x5115 -x5117 -x5119 -x5121 -x5123 -x5125 -x5127 -x5129 -x5131
1800.08/1800.80	v -x5133 x5135 -x5137 -x5139 -x5141 -x5143 -x5145 -x5147 -x5149 -x5151 -x5153 -x5155 -x5157 -x5159 -x5161 -x5163 -x5165
1800.08/1800.80	v -x112 -x5167 -x5169 -x5171 -x5173 -x5175 -x5177 -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 -x5193 -x5195 -x113 -x5197
1800.08/1800.80	v -x5199 -x5201 -x5203 -x5205 -x5207 -x5209 x5211 -x5213 -x5215 -x5217 -x5219 -x5221 -x5223 -x5225 -x5227 -x5229 -x5231
1800.08/1800.80	v -x5233 -x5235 -x5237 -x5239 -x5241 -x5243 -x5245 -x5247 -x5249 -x5251 -x5253 -x5255 -x5257 -x5259 -x5261 -x5263 -x5265
1800.08/1800.80	v -x5267 -x5269 -x5271 -x114 -x5273 -x5275 -x5277 -x5279 -x5281 -x5283 -x5285 -x5287 -x5289 -x5291 -x5293 -x5295 -x5297
1800.08/1800.80	v -x5299 -x5301 -x115 -x5303 -x5305 -x5307 -x5309 -x5311 -x5313 -x5315 -x5317 -x5319 -x5321 -x5323 -x5325 -x5327 -x5329
1800.08/1800.80	v -x5331 -x116 -x5333 -x5335 -x5337 -x5339 -x5341 -x5343 -x5345 -x117 -x5347 -x5349 -x5351 -x5353 -x5355 -x5357 -x5359 -x5361
1800.08/1800.80	v -x5363 -x5365 -x5367 -x5369 -x5371 -x5373 -x5375 -x118 -x5377 -x5379 -x5381 -x5383 -x5385 -x5387 -x5389 x119 -x5391 x5393
1800.08/1800.80	v -x5395 -x5397 -x5399 -x5401 -x5403 -x120 -x5405 -x5407 -x5409 -x121 -x5411 -x5413 -x5415 -x5417 -x5419 -x5421 -x5423 -x5425
1800.08/1800.80	v -x5427 -x5429 -x5431 -x5433 -x5435 -x5437 -x5439 -x5441 -x5443 -x5445 -x5447 -x5449 -x5451 -x5453 -x5455 -x5457 -x5459
1800.08/1800.80	v -x5461 -x5463 -x5465 -x5467 -x5469 -x5471 -x122 -x5473 -x5475 -x5477 -x5479 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491
1800.08/1800.80	v -x5493 -x5495 -x5497 -x5499 -x5501 -x123 -x5503 -x5505 -x5507 -x5509 -x5511 -x5513 -x5515 -x5517 -x5519 -x5521 -x5523
1800.08/1800.80	v -x5525 -x5527 -x5529 -x5531 -x124 -x5533 -x5535 -x5537 -x5539 -x5541 -x5543 -x5545 -x5547 -x5549 -x5551 -x5553 -x5555
1800.08/1800.80	v -x5557 -x5559 -x5561 x125 -x5563 -x5565 x5567 -x5569 -x5571 -x5573 -x5575 -x126 -x5577 -x5579 -x5581 -x5583 -x5585 -x5587
1800.08/1800.80	v -x5589 -x5591 -x5593 -x5595 -x5597 -x5599 -x5601 -x127 -x5603 -x5605 -x5607 -x5609 -x5611 -x5613 -x5615 -x128 -x5617 -x5619
1800.08/1800.80	v -x5621 -x5623 -x5625 -x5627 -x5629 -x129 -x5631 -x5633 -x5635 -x5637 -x5639 -x5641 -x5643 -x5645 -x5647 -x5649 -x5651
1800.08/1800.80	v -x5653 -x5655 -x5657 -x5659 -x130 -x5661 -x5663 -x5665 -x5667 -x5669 -x5671 -x5673 -x131 -x5675 -x5677 -x5679 -x5681 -x5683
1800.08/1800.80	v -x5685 -x5687 -x132 -x5689 -x5691 -x5693 -x133 -x5695 -x5697 -x5699 -x5701 -x5703 -x5705 -x5707 -x5709 -x5711 -x5713 -x5715
1800.08/1800.80	v -x5717 -x5719 -x5721 -x5723 -x5725 -x5727 -x5729 -x5731 -x5733 -x5735 -x5737 -x5739 -x5741 -x5743 -x5745 -x5747 -x5749
1800.08/1800.80	v -x5751 -x5753 -x5755 -x134 -x5757 -x5759 -x5761 -x5763 -x5765 -x5767 -x5769 -x5771 -x5773 -x5775 -x5777 -x5779 -x5781
1800.08/1800.80	v -x5783 -x5785 -x135 -x5787 -x5789 -x5791 -x5793 -x5795 -x5797 -x5799 -x5801 -x5803 -x5805 -x5807 -x5809 -x5811 -x5813
1800.08/1800.80	v -x5815 -x5817 -x5819 -x5821 -x5823 -x5825 x5827 -x5829 -x5831 -x5833 -x5835 -x5837 -x5839 -x5841 -x5843 -x5845 -x136 -x5847
1800.08/1800.80	v -x5849 -x5851 -x5853 -x5855 -x5857 -x5859 -x137 -x5861 -x5863 -x5865 -x5867 -x5869 -x5871 -x5873 -x5875 -x5877 -x5879
1800.08/1800.80	v -x5881 -x5883 -x5885 -x5887 -x5889 -x138 -x5891 -x5893 -x5895 -x5897 -x5899 -x5901 -x5903 -x139 -x5905 -x5907 -x5909 -x5911
1800.08/1800.80	v -x5913 -x5915 -x5917 -x140 -x5919 -x5921 -x5923 -x5925 -x5927 -x5929 -x5931 -x141 -x5933 -x5935 -x5937 -x142 -x5939 -x5941
1800.08/1800.80	v -x5943 -x5945 -x5947 -x5949 -x5951 -x5953 -x5955 -x5957 -x5959 -x5961 -x5963 -x5965 -x5967 -x143 -x5969 -x5971 -x5973
1800.08/1800.80	v -x5975 -x5977 -x5979 -x5981 -x144 -x5983 -x5985 -x5987 -x5989 -x5991 -x5993 -x5995 -x145 -x5997 -x5999 -x6001 -x6003 -x6005
1800.08/1800.80	v -x6007 -x6009 -x146 -x6011 -x6013 -x147 -x6015 -x6017 -x6019 -x6021 -x6023 -x6025 -x6027 -x6029 -x6031 -x6033 -x6035 -x6037
1800.08/1800.80	v -x6039 -x6041 -x6043 -x148 -x6045 -x6047 -x6049 -x6051 -x6053 -x6055 -x6057 -x149 -x6059 -x6061 -x6063 -x6065 -x6067 -x6069
1800.08/1800.80	v -x6071 -x150 -x6073 -x6075 -x6077 -x151 -x6079 -x6081 -x6083 -x6085 -x6087 -x6089 -x6091 -x152 -x6093 -x6095 -x6097 -x153
1800.08/1800.80	v -x6099 -x6101 x6103 x154 -x6105 -x155 -x6107 -x6109 -x6111 -x6113 -x6115 -x6117 -x6119 -x6121 -x6123 -x6125 -x6127 -x6129
1800.08/1800.80	v -x6131 -x6133 -x6135 -x6137 -x6139 -x6141 -x6143 -x6145 -x6147 -x6149 -x6151 -x6153 -x6155 -x6157 -x6159 -x6161 -x6163
1800.08/1800.80	v -x6165 -x6167 -x6169 -x6171 -x6173 -x6175 -x6177 -x6179 -x6181 -x6183 -x6185 -x6187 -x6189 -x6191 -x6193 -x6195 -x6197
1800.08/1800.80	v -x6199 -x6201 -x6203 -x6205 -x6207 -x6209 -x6211 -x6213 -x6215 -x6217 -x6219 -x6221 -x6223 -x6225 -x6227 -x6229 -x6231
1800.08/1800.80	v -x156 -x6233 -x6235 -x6237 -x6239 -x6241 -x6243 -x6245 -x6247 -x6249 -x6251 -x6253 -x6255 -x6257 -x6259 -x6261 -x6264
1800.08/1800.80	v -x6266 -x6268 -x6270 -x6272 -x6274 -x6276 -x6278 -x6280 -x6282 -x6284 -x6286 -x6288 -x6290 -x6292 -x6294 -x6296 -x6298
1800.08/1800.80	v x6301 -x6303 -x6305 -x6307 -x6309 -x6311 -x6313 -x6315 -x6317 -x6319 -x6321 -x6323 -x6325 -x6327 -x6329 -x6331 -x6333
1800.08/1800.80	v -x6335 -x6337 -x6339 -x6341 -x6343 -x6345 -x6347 -x6349 -x6351 -x6354 -x6356 -x6358 -x6360 -x6362 -x6364 -x6366 -x6368
1800.08/1800.80	v -x6370 -x6372 -x6374 -x6376 -x6378 -x6381 -x6383 -x6385 -x6387 -x6389 -x6391 -x6393 -x6395 -x6397 -x6399 -x6401 -x6403
1800.08/1800.80	v -x6405 -x6407 -x6409 -x6411 -x6413 -x6415 -x157 -x6417 -x6419 -x6421 -x6423 -x6425 -x6427 -x6429 -x6431 -x6433 -x6435
1800.08/1800.80	v -x6437 -x6439 -x6441 -x6443 -x6445 -x6447 -x6449 -x6451 -x6453 -x6455 -x6457 -x6459 -x6461 -x6463 -x6465 -x6467 -x6469
1800.08/1800.80	v -x6471 -x6473 -x6475 -x6477 -x158 -x6479 -x6481 -x6483 -x6485 -x6487 -x6489 -x6491 -x6493 -x6495 -x6497 -x6499 -x6501
1800.08/1800.80	v -x6503 -x6505 -x6507 -x6509 -x6511 -x6513 -x6515 -x6517 -x6519 -x6521 -x6523 -x6525 -x6527 -x6529 -x6531 -x6533 -x6535
1800.08/1800.80	v -x6537 -x6539 -x159 -x6541 -x6543 -x6545 -x6547 -x6549 -x6551 -x6553 -x6555 -x6557 -x6559 -x6561 -x6563 -x6565 -x6567
1800.08/1800.80	v -x6569 -x160 -x6571 -x6573 -x6575 -x6577 -x6579 -x6581 -x6583 -x6585 -x6587 -x6589 -x6591 -x6593 -x6595 -x6597 -x6599
1800.08/1800.80	v -x6601 -x6603 -x6605 -x6607 -x6609 -x6611 -x6613 -x6615 -x6617 -x6619 -x6621 -x6623 -x6625 -x6627 -x6630 -x6632 x6634
1800.08/1800.80	v -x6636 -x6638 -x6640 -x6642 -x6644 -x6646 -x6648 -x6650 -x6652 -x6654 -x6656 -x6658 -x6660 -x161 -x6662 -x6664 -x6666
1800.08/1800.80	v -x6668 -x6670 -x6672 -x6674 -x6676 -x6678 -x6680 -x6682 -x6684 -x6686 -x6688 -x6690 -x6692 -x6694 -x6696 -x6698 -x6700
1800.08/1800.80	v -x6702 -x6704 -x6706 -x6709 -x6711 -x6713 -x6715 -x6717 -x6719 -x162 -x6721 -x6723 -x6725 -x6727 -x6729 -x6731 -x6733
1800.08/1800.80	v -x6735 -x6737 -x6739 -x6741 -x6743 -x6745 -x6747 -x6749 -x163 -x6751 -x6753 -x6755 -x6757 -x6759 -x6761 -x6763 -x6765
1800.08/1800.80	v -x6767 -x6769 -x6771 -x6773 -x6775 -x6777 -x6779 -x164 -x6781 -x6783 -x6785 -x6787 -x6789 -x6791 -x6793 -x6795 -x6797
1800.08/1800.80	v x6799 -x6801 -x6803 -x6805 -x6807 -x6809 -x6811 -x6813 -x6815 -x6817 -x6819 -x6821 -x6823 -x6825 -x6827 -x6829 -x6831
1800.08/1800.80	v -x6833 -x6835 -x6837 -x6839 -x6841 -x6843 -x6845 -x6847 -x6849 -x6851 -x6853 -x6855 -x165 -x6857 -x6859 -x6861 -x6863
1800.08/1800.80	v -x6865 -x6867 -x6869 -x6871 -x6873 -x6875 -x6877 -x6879 -x6881 -x6883 -x6885 -x166 -x6887 -x6890 -x6892 -x6894 -x6896
1800.08/1800.80	v -x6898 -x6900 -x6902 -x6904 -x6906 -x6908 -x6910 -x6912 -x6914 -x6916 -x6918 -x6920 -x6922 -x6924 -x6926 -x6928 -x6930
1800.08/1800.80	v -x6932 -x6934 -x6936 -x6938 -x6940 -x6942 -x6944 -x6946 -x167 -x6948 -x6950 -x6952 -x6954 -x6956 -x6958 -x6960 -x6962
1800.08/1800.80	v -x6964 -x6966 -x6968 -x6970 -x6972 -x6974 -x6976 -x168 -x6978 -x6980 -x6982 -x6984 -x6986 -x6988 -x6990 -x6992 -x6994
1800.08/1800.80	v -x6996 -x6998 -x7000 -x7002 -x7004 -x7006 -x169 -x7008 -x7010 -x7012 -x7014 -x7016 -x7018 -x7020 -x170 -x7022 -x7024 -x7026
1800.08/1800.80	v -x7028 -x7030 -x7032 -x7034 -x7036 -x7038 -x7040 -x7042 -x7044 -x7046 -x7048 -x7050 -x171 -x7052 -x7054 -x7056 -x7058
1800.08/1800.80	v -x7060 -x7062 -x7064 -x172 -x7066 -x7068 -x7070 -x7072 -x7074 -x7076 -x7078 -x7080 -x7082 -x7084 -x7086 -x7088 -x7090
1800.08/1800.80	v -x7092 -x7094 x173 -x7096 -x7098 -x7100 -x7102 x7104 -x7106 -x7108 -x174 -x7110 -x7112 -x7114 -x7116 -x7118 -x7120 -x7122
1800.08/1800.80	v x175 x7124 -x7126 -x7128 -x176 -x7130 -x7132 -x7134 -x7136 -x7138 -x7140 -x7142 -x7144 -x7146 -x7148 -x7150 -x7152 -x7154
1800.08/1800.80	v -x7156 -x7158 -x7160 -x7162 -x7164 -x7166 -x7168 -x7170 -x7172 -x7174 -x7176 -x7178 -x7180 -x7182 -x7184 -x7186 -x7188
1800.08/1800.80	v -x177 -x7190 -x7192 -x7194 -x7196 -x7198 -x7200 -x7202 -x7204 -x7206 -x7208 -x7210 -x7212 -x7214 -x7216 -x7218 -x7220
1800.08/1800.80	v -x7222 -x7224 -x7226 -x7228 -x7230 -x7232 -x7234 -x7236 -x7238 -x7240 -x7242 -x7244 -x7246 -x7248 -x7250 -x178 -x7252
1800.08/1800.80	v -x7254 -x7256 -x7258 -x7260 -x7262 -x7264 -x7266 -x7268 -x7270 -x7272 -x7274 -x7276 -x7278 -x7280 -x179 -x7282 -x7284
1800.08/1800.80	v -x7286 -x7288 -x7290 -x7292 -x7294 -x7296 -x7298 -x7300 -x7302 -x7304 -x7306 -x7308 -x7310 -x7312 -x7314 -x7316 -x7318
1800.08/1800.80	v -x7320 -x7322 -x7324 -x7326 -x7328 -x7330 -x7332 -x7334 -x7336 -x7338 -x7340 -x7342 -x180 -x7344 -x7346 -x7348 -x7350
1800.08/1800.80	v -x7352 -x7354 -x7356 -x7358 -x7360 -x7362 -x7364 -x7366 -x7368 -x7370 -x7372 -x181 -x7374 -x7376 -x7378 -x7380 -x7382
1800.08/1800.80	v -x7384 -x7386 -x7388 -x7390 -x7392 -x7394 -x7396 -x7398 -x7400 -x7402 -x182 -x7404 -x7406 -x7408 -x7410 -x7412 -x7414
1800.08/1800.80	v -x7416 -x183 -x7418 -x7420 -x7422 -x7424 -x7426 -x7428 -x7430 -x7432 -x7434 -x7436 -x7438 -x7440 -x7442 -x7444 -x7446
1800.08/1800.80	v -x184 -x7448 -x7450 -x7452 -x7454 -x7456 -x7458 -x7460 -x7462 -x7464 -x7466 -x7468 -x7470 -x7472 -x7474 -x7476 -x185 -x7478
1800.08/1800.80	v -x7480 -x7482 -x7484 -x7486 -x7488 -x7490 -x186 -x7492 -x7494 -x7496 -x7498 -x7500 -x7502 -x7504 -x7506 -x7508 -x7510
1800.08/1800.80	v -x7512 -x7514 -x7516 -x7518 -x7520 x187 -x7522 -x7524 -x7526 -x7528 x7530 -x7532 -x7534 -x188 -x7536 -x7538 -x7540 -x7542
1800.08/1800.80	v -x7544 -x7546 -x7548 -x189 -x7550 -x7552 -x7554 -x190 -x7556 -x7558 -x7560 -x7562 -x7564 -x7566 -x7568 -x7570 -x7572 -x7574
1800.08/1800.80	v -x7576 -x7578 -x7580 -x7582 -x7584 -x191 -x7586 -x7588 -x7590 -x7592 -x7594 -x7596 -x7598 -x7600 -x7602 -x7604 -x7606
1800.08/1800.80	v -x7608 -x7610 -x7612 -x7614 -x192 -x7616 -x7618 -x7620 -x7622 -x7624 -x7626 -x7628 -x193 -x7630 -x7632 -x7634 -x7636 -x7638
1800.08/1800.80	v -x7640 -x7642 -x7644 -x7646 -x7648 -x7650 -x7652 -x7654 -x7656 -x7658 -x194 -x7660 -x7662 -x7664 -x7666 -x7668 -x7670
1800.08/1800.80	v -x7672 -x195 -x7674 -x7676 -x7678 -x7680 -x7682 -x7684 -x7686 -x196 -x7688 -x7690 -x7692 -x197 -x7694 -x7696 -x7698 -x7700
1800.08/1800.80	v -x7702 -x7704 -x7706 -x7708 -x7710 -x7712 -x7714 -x7716 -x7718 -x7720 -x7722 -x198 -x7724 -x7726 -x7728 -x7730 -x7732
1800.08/1800.80	v -x7734 -x7736 -x199 -x7738 -x7740 -x7742 -x7744 -x7746 -x7748 -x7750 -x200 -x7752 -x7754 -x7756 -x201 -x7758 -x7760 -x7762
1800.08/1800.80	v -x7764 -x7766 -x7768 -x7770 -x202 -x7772 -x7774 -x7776 -x203 -x7778 -x7780 -x7782 -x204 -x7784 -x7786 -x7788 -x7790 -x7792
1800.08/1800.80	v -x7794 -x7797 -x7799 -x7801 -x7803 -x7805 -x7807 -x7809 -x7811 -x7813 -x7815 -x7817 -x7819 -x7821 -x7823 -x7825 -x7827
1800.08/1800.80	v -x7829 -x7831 -x7833 -x7835 -x7837 -x7839 -x7841 -x7843 -x7845 -x205 -x7847 -x7849 -x7851 -x7853 -x7855 -x7857 -x7859
1800.08/1800.80	v -x7861 -x7863 -x7865 -x7867 -x7869 -x7871 -x7873 -x7875 -x7877 -x7879 -x7882 -x7884 -x7886 -x7888 -x7890 -x7892 -x7894
1800.08/1800.80	v -x7896 -x7898 -x7900 -x7902 -x7904 -x7906 -x206 -x7908 -x7910 -x7912 -x7914 -x7916 -x7918 -x7920 -x7922 -x7924 -x7926
1800.08/1800.80	v -x7928 -x7930 -x7932 -x7934 -x7936 -x207 -x7938 -x7940 -x7942 -x7944 -x7946 -x7948 -x7950 -x7952 -x7954 -x7956 -x7958
1800.08/1800.80	v -x7960 -x7962 -x7964 -x7966 -x7968 -x7970 -x7972 -x7974 -x7976 -x7978 -x7980 -x7982 -x7984 -x7987 -x7989 -x7991 -x7993
1800.08/1800.80	v -x7995 -x208 -x7997 -x7999 -x8001 -x8003 -x8005 -x8007 -x8009 -x8011 -x8013 -x8015 -x8017 -x8019 -x8021 -x8023 -x8025
1800.08/1800.80	v -x209 -x8027 -x8029 -x8031 -x8033 -x8035 -x8037 -x8039 -x8041 -x8043 -x8045 -x8047 -x8049 -x8051 -x8053 -x8055 -x8057
1800.08/1800.80	v x8059 -x8061 -x8063 -x8065 -x8067 -x8069 -x210 -x8071 -x8073 -x8075 -x8077 -x8079 -x8081 -x8083 -x8085 -x8087 -x8089 -x8091
1800.08/1800.80	v -x8093 -x8095 -x8097 -x8099 -x211 -x8101 -x8103 -x8105 -x8107 -x8109 -x8111 -x8113 -x8115 -x8117 -x8119 -x8121 -x8123
1800.08/1800.80	v -x8125 -x8127 -x8129 -x212 -x8131 -x8133 -x8135 -x8137 -x8139 -x8141 -x8143 -x213 -x8145 -x8147 -x8149 -x8151 -x8153 -x8155
1800.08/1800.80	v -x8157 -x8159 -x8161 -x8163 -x8165 -x8167 -x8169 -x8171 -x8173 -x214 -x8175 -x8177 -x8179 -x8181 -x8183 -x8185 -x8187
1800.08/1800.80	v -x8189 -x8191 -x8193 -x8195 x8197 -x8199 -x8201 -x215 -x8203 -x8205 -x8207 -x216 -x8209 -x8211 -x8213 -x8215 -x8217 -x8219
1800.08/1800.80	v -x8221 -x8223 -x8225 -x8227 -x8229 -x8231 -x8233 -x8235 -x217 -x8237 -x8239 -x8241 -x8243 -x8245 -x8247 -x8249 -x8251
1800.08/1800.80	v -x8253 -x8255 -x8257 -x8259 -x8261 -x8263 -x8265 -x218 -x8267 -x8269 -x8271 -x8273 -x8275 -x8277 -x8279 -x219 -x8281 -x8283
1800.08/1800.80	v -x8285 -x8287 -x8289 -x8291 -x8293 -x8295 -x8297 -x8299 -x8301 -x8303 -x8305 -x8307 -x8309 -x220 -x8311 -x8313 -x8315
1800.08/1800.80	v -x8317 -x8319 -x8321 -x221 -x8323 -x8325 -x8327 -x8329 -x8331 -x8333 -x8335 -x222 -x8337 -x8339 -x8341 -x223 -x8343 -x8345
1800.08/1800.80	v -x8347 -x8349 -x8351 -x8353 -x8355 -x224 -x8357 -x8359 -x8361 -x8363 -x8365 -x8367 -x8369 -x225 -x8371 -x8373 -x226 -x8375
1800.08/1800.80	v -x8377 -x8379 -x8381 -x8383 -x8385 -x8387 -x227 -x8389 -x8391 -x8393 -x8395 x8397 -x8399 -x228 -x8401 -x229 -x8403 -x8405
1800.08/1800.80	v -x8407 -x8409 -x8411 -x8413 -x8415 -x8417 -x8419 -x8421 -x8423 -x8425 -x8427 -x8429 -x8431 -x8433 -x8435 -x8437 -x8439
1800.08/1800.80	v -x8441 -x8443 -x8445 -x8447 -x8449 -x8452 -x8454 -x8456 -x230 -x8458 -x8460 -x8462 -x8464 -x8466 -x8468 -x8470 -x8472
1800.08/1800.80	v -x8474 -x8476 -x8478 -x8480 -x8482 -x8484 -x8486 -x231 -x8488 -x8490 -x8492 -x8494 -x8496 -x8498 -x8500 -x8502 -x8504
1800.08/1800.80	v -x8506 -x8508 -x8510 -x8512 -x8514 -x8516 -x232 -x8518 -x8520 -x8522 -x8524 -x8526 -x8528 -x8530 -x233 -x8532 -x8534 -x8536
1800.08/1800.80	v -x8538 -x8540 -x8542 -x8544 -x8546 -x8548 -x8550 -x8552 -x8554 -x8556 -x8558 -x8560 -x234 -x8562 -x8564 -x8566 -x8568
1800.08/1800.80	v -x8570 -x8572 -x8574 -x235 -x8576 -x8578 -x8580 -x8582 -x8584 -x8586 -x8588 -x236 -x8590 -x8592 -x8594 -x237 -x8596 -x8598
1800.08/1800.80	v -x8600 -x8602 -x8604 -x8606 -x8608 -x8610 -x8612 -x8614 -x8616 -x8618 -x8620 -x8622 -x8624 -x238 -x8626 -x8628 -x8630
1800.08/1800.80	v -x8632 -x8634 -x8636 -x8638 -x239 -x8640 -x8642 -x8644 -x8646 -x8648 -x8650 -x8652 -x240 -x8654 -x8656 -x8658 -x241 -x8660
1800.08/1800.80	v -x8662 -x8664 -x8666 -x8668 -x8670 -x8672 -x8674 x8676 -x8678 -x242 -x8680 -x8682 -x8684 -x243 -x8686 -x244 -x8688 -x8690
1800.08/1800.80	v -x8692 -x8694 -x8696 -x8698 -x8700 -x8702 -x8704 -x8706 -x8708 -x8710 -x8712 -x245 -x8714 -x8716 -x8718 -x8720 -x8722
1800.08/1800.80	v -x8724 -x8726 -x246 -x8728 -x8730 -x8732 -x8734 -x8736 -x8738 -x8740 -x8742 x8744 -x8746 x8748 -x8750 -x8752 -x8754 -x8756
1800.08/1800.80	v -x8758 -x8760 -x247 -x8762 -x8764 -x248 -x8766 -x8768 -x8770 -x249 -x8772 -x250 -x8774 -x8776 -x8778 -x8780 -x8782 -x8784
1800.08/1800.80	v -x251 -x8786 -x8788 -x8790 -x252 -x8792 -x8794 -x8796 -x253 -x8798 x8800 x8802 x254 x8804 x255 x256
1800.08/1800.81	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1800.81	c   17   575497 343026  2252913    40783  1794783  18030    319 1800.09
1800.08/1800.81	c Objective: 29
1800.08/1800.81	s SATISFIABLE
1800.08/1800.81	c Total time: 1800.09 s

OK	29

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

command line: runsolver --timestamp -w ROOT/results/node3/watcher-433705-1177962329 -o ROOT/results/node3/solver-433705-1177962329 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433705-1177962329/instance-433705-1177962329.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.95 0.99 0.99 3/77 25238
/proc/meminfo: memFree=1861528/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=12528 CPUtime=0
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 272270661 12828672 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 3132 333 279 324 0 2004 0

[startup+0.054781 s]
/proc/loadavg: 0.95 0.99 0.99 3/77 25238
/proc/meminfo: memFree=1861528/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=6148 CPUtime=0.05
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 773 0 0 0 5 0 0 0 18 0 1 0 272270661 6295552 743 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 1537 744 346 324 0 409 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 6148

[startup+0.101788 s]
/proc/loadavg: 0.95 0.99 0.99 3/77 25238
/proc/meminfo: memFree=1861528/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=6976 CPUtime=0.09
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 1063 0 0 0 9 0 0 0 18 0 1 0 272270661 7143424 1033 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 1744 1033 407 324 0 616 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6976

[startup+0.301821 s]
/proc/loadavg: 0.95 0.99 0.99 3/77 25238
/proc/meminfo: memFree=1861528/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=9428 CPUtime=0.29
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 1934 0 0 0 29 0 0 0 19 0 1 0 272270661 9654272 1706 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11357940 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 2357 1706 304 324 0 1427 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9428

[startup+0.701886 s]
/proc/loadavg: 0.95 0.99 0.99 3/77 25238
/proc/meminfo: memFree=1861528/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=9804 CPUtime=0.69
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 2132 0 0 0 67 2 0 0 23 0 1 0 272270661 10039296 1799 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 2451 1799 311 324 0 1521 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9804

[startup+1.50201 s]
/proc/loadavg: 0.95 0.99 0.99 2/78 25239
/proc/meminfo: memFree=1855504/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=9924 CPUtime=1.49
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 2165 0 0 0 147 2 0 0 25 0 1 0 272270661 10162176 1832 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550738 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 2481 1832 311 324 0 1551 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9924

[startup+3.10127 s]
/proc/loadavg: 0.95 0.99 0.99 2/78 25239
/proc/meminfo: memFree=1854736/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=10416 CPUtime=3.09
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 2310 0 0 0 307 2 0 0 25 0 1 0 272270661 10665984 1977 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 2604 1977 311 324 0 1674 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10416

[startup+6.30179 s]
/proc/loadavg: 0.95 0.99 0.99 2/78 25239
/proc/meminfo: memFree=1853328/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=12152 CPUtime=6.29
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 2737 0 0 0 627 2 0 0 25 0 1 0 272270661 12443648 2404 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11354264 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 3038 2404 311 324 0 2108 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12152

[startup+12.7018 s]
/proc/loadavg: 0.95 0.99 0.99 2/78 25239
/proc/meminfo: memFree=1849488/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=15904 CPUtime=12.69
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 3680 0 0 0 1266 3 0 0 25 0 1 0 272270661 16285696 3347 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 3976 3347 311 324 0 3046 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15904

[startup+25.5019 s]
/proc/loadavg: 0.96 0.99 0.99 2/78 25239
/proc/meminfo: memFree=1844944/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=20152 CPUtime=25.48
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 4737 0 0 0 2544 4 0 0 25 0 1 0 272270661 20635648 4404 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550518 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 5038 4404 311 324 0 4108 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20152

[startup+51.1011 s]
/proc/loadavg: 0.97 0.99 0.99 2/78 25239
/proc/meminfo: memFree=1837968/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=26996 CPUtime=51.07
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 6446 0 0 0 5101 6 0 0 25 0 1 0 272270661 27643904 6113 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11041908 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 6749 6113 311 324 0 5819 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 26996

[startup+102.305 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 25239
/proc/meminfo: memFree=1829392/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=35588 CPUtime=102.26
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 8599 0 0 0 10218 8 0 0 25 0 1 0 272270661 36442112 8266 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 8897 8266 311 324 0 7967 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 35588

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 25239
/proc/meminfo: memFree=1828432/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=36480 CPUtime=162.24
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 8823 0 0 0 16215 9 0 0 25 0 1 0 272270661 37355520 8490 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 9120 8490 311 324 0 8190 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 36480

[startup+222.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 25239
/proc/meminfo: memFree=1824592/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=40248 CPUtime=222.22
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 9769 0 0 0 22212 10 0 0 25 0 1 0 272270661 41213952 9436 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 10062 9436 311 324 0 9132 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 40248

[startup+282.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 25239
/proc/meminfo: memFree=1824272/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=40548 CPUtime=282.19
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 9844 0 0 0 28209 10 0 0 25 0 1 0 272270661 41521152 9511 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11354181 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 10137 9511 311 324 0 9207 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 40548

[startup+342.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 25239
/proc/meminfo: memFree=1824144/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=40556 CPUtime=342.18
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 9879 0 0 0 34207 11 0 0 25 0 1 0 272270661 41529344 9513 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550829 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 10139 9513 311 324 0 9209 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 40556

[startup+402.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 25239
/proc/meminfo: memFree=1824144/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=40556 CPUtime=402.15
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 9912 0 0 0 40204 11 0 0 25 0 1 0 272270661 41529344 9513 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11358040 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 10139 9513 311 324 0 9209 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 40556

[startup+462.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 25239
/proc/meminfo: memFree=1821136/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=43508 CPUtime=462.13
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 10678 0 0 0 46201 12 0 0 25 0 1 0 272270661 44552192 10243 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11357692 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 10877 10243 311 324 0 9947 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 43508

[startup+522.303 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 25239
/proc/meminfo: memFree=1816464/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=48856 CPUtime=522.11
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 11994 0 0 0 52197 14 0 0 25 0 1 0 272270661 50028544 11559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 12214 11559 311 324 0 11284 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 48856

[startup+582.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 25239
/proc/meminfo: memFree=1814672/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=49888 CPUtime=582.09
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 12341 0 0 0 58194 15 0 0 25 0 1 0 272270661 51085312 11834 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 12472 11834 311 324 0 11542 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 49888

[startup+642.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 25239
/proc/meminfo: memFree=1814672/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=49896 CPUtime=642.08
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 12343 0 0 0 64192 16 0 0 25 0 1 0 272270661 51093504 11836 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 12474 11836 311 324 0 11544 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 49896


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 25239
/proc/meminfo: memFree=1809808/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=54704 CPUtime=822.01
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 13580 0 0 0 82183 18 0 0 25 0 1 0 272270661 56016896 13034 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 13676 13034 311 324 0 12746 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 54704

[startup+882.302 s]
/proc/loadavg: 1.11 1.02 1.01 2/78 25239
/proc/meminfo: memFree=1798288/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=66488 CPUtime=881.99
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 16513 0 0 0 88177 22 0 0 25 0 1 0 272270661 68083712 15967 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 16622 15967 311 324 0 15692 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 66488

[startup+942.302 s]
/proc/loadavg: 1.04 1.01 1.00 2/84 25313
/proc/meminfo: memFree=1793696/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=69592 CPUtime=941.94
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 17328 0 0 0 94169 25 0 0 25 0 1 0 272270661 71262208 16743 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550791 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 17398 16743 311 324 0 16468 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 69592

[startup+1002.3 s]
/proc/loadavg: 1.01 1.01 1.00 3/78 25437
/proc/meminfo: memFree=1794640/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=69580 CPUtime=1001.84
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 17367 0 0 0 100159 25 0 0 25 0 1 0 272270661 71249920 16743 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11357933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 17395 16743 311 324 0 16465 0
Current children cumulated CPU time (s) 1001.84
Current children cumulated vsize (KiB) 69580

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25437
/proc/meminfo: memFree=1794640/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=69592 CPUtime=1061.83
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 17371 0 0 0 106157 26 0 0 25 0 1 0 272270661 71262208 16747 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527325 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 17398 16747 311 324 0 16468 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 69592

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25437
/proc/meminfo: memFree=1794640/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=69592 CPUtime=1121.8
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 17371 0 0 0 112154 26 0 0 25 0 1 0 272270661 71262208 16747 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11354264 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 17398 16747 311 324 0 16468 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 69592

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25437
/proc/meminfo: memFree=1794640/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=69592 CPUtime=1181.79
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 17371 0 0 0 118152 27 0 0 25 0 1 0 272270661 71262208 16747 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11358040 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 17398 16747 311 324 0 16468 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 69592

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25437
/proc/meminfo: memFree=1794576/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=69592 CPUtime=1241.76
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 17371 0 0 0 124149 27 0 0 25 0 1 0 272270661 71262208 16747 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551114 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 17398 16747 311 324 0 16468 0
Current children cumulated CPU time (s) 1241.76
Current children cumulated vsize (KiB) 69592

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25437
/proc/meminfo: memFree=1794512/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=69592 CPUtime=1301.75
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 17371 0 0 0 130147 28 0 0 25 0 1 0 272270661 71262208 16747 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 17398 16747 311 324 0 16468 0
Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 69592

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25437
/proc/meminfo: memFree=1794512/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=69592 CPUtime=1361.72
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 17371 0 0 0 136144 28 0 0 25 0 1 0 272270661 71262208 16747 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11357645 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 17398 16747 311 324 0 16468 0
Current children cumulated CPU time (s) 1361.72
Current children cumulated vsize (KiB) 69592

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25437
/proc/meminfo: memFree=1794512/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=69592 CPUtime=1421.71
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 17371 0 0 0 142142 29 0 0 25 0 1 0 272270661 71262208 16747 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 17398 16747 311 324 0 16468 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 69592

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25437
/proc/meminfo: memFree=1794640/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=69592 CPUtime=1481.68
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 17371 0 0 0 148139 29 0 0 25 0 1 0 272270661 71262208 16747 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 17398 16747 311 324 0 16468 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 69592

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25437
/proc/meminfo: memFree=1794640/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=69592 CPUtime=1541.67
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 17371 0 0 0 154137 30 0 0 25 0 1 0 272270661 71262208 16747 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11357979 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 17398 16747 311 324 0 16468 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 69592

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25437
/proc/meminfo: memFree=1794576/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=69592 CPUtime=1601.64
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 17371 0 0 0 160134 30 0 0 25 0 1 0 272270661 71262208 16747 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 17398 16747 311 324 0 16468 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 69592

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25437
/proc/meminfo: memFree=1794640/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=69592 CPUtime=1661.63
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 17371 0 0 0 166132 31 0 0 25 0 1 0 272270661 71262208 16747 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 17398 16747 311 324 0 16468 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 69592

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25437
/proc/meminfo: memFree=1794576/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=69592 CPUtime=1721.6
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 17371 0 0 0 172129 31 0 0 25 0 1 0 272270661 71262208 16747 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11358295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 17398 16747 311 324 0 16468 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 69592

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25437
/proc/meminfo: memFree=1794576/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=69592 CPUtime=1781.59
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 17371 0 0 0 178127 32 0 0 25 0 1 0 272270661 71262208 16747 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 17398 16747 311 324 0 16468 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 69592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25437
/proc/meminfo: memFree=1794576/2055920 swapFree=4139036/4192956
[pid=25238] ppid=25236 vsize=69592 CPUtime=1800.08
/proc/25238/stat : 25238 (bsolo3.0.17) R 25236 25238 24529 0 -1 4194304 17371 0 0 0 179976 32 0 0 25 0 1 0 272270661 71262208 16747 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25238/statm: 17398 16747 311 324 0 16468 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 69592

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

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

Child status: 15
Real time (s): 1800.83
CPU time (s): 1800.11
CPU user time (s): 1799.77
CPU system time (s): 0.335948
CPU usage (%): 99.9601
Max. virtual memory (cumulated for all children) (KiB): 69748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.77
system time used= 0.335948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17375
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= 13
involuntary context switches= 37117

runsolver used 1.43378 second user time and 3.89041 second system time

The end

Begin job on node3 on Mon Apr 30 19:45:29 UTC 2007

IDJOB= 433705
IDBENCH= 24992
IDSOLVER= 199
FILE ID= node3/433705-1177962329

PBS_JOBID= 4727725

Free space on /tmp= 66557 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_027_area_delay.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433705-1177962329/instance-433705-1177962329.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node3/watcher-433705-1177962329 -o ROOT/results/node3/solver-433705-1177962329 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433705-1177962329/instance-433705-1177962329.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  1b0ac127de7b79f6251c1506cbcbe6c3

RANDOM SEED= 73351748

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node3.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.270
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.270
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:       1861936 kB
Buffers:         27200 kB
Cached:          83148 kB
SwapCached:      16744 kB
Active:          45620 kB
Inactive:        87724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1861936 kB
SwapTotal:     4192956 kB
SwapFree:      4139036 kB
Dirty:            7384 kB
Writeback:           0 kB
Mapped:          29976 kB
Slab:            46188 kB
Committed_AS:  6285652 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 node3 on Mon Apr 30 20:15:32 UTC 2007