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