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