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