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