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