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