Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 5835 | 1782.74 | 1783.29 |
Name | normalized-PB07/OPT-SMALLINT-LIN/reduced/ submittedPB07/aksoy/trarea_ac/normalized-reduced-fir06_trarea_ac.opb |
MD5SUM | 7546aeed0de3680ab75d817854256b46 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 4812 |
Best CPU time to get the best result obtained on this benchmark | 6.36403 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4812 |
Optimality of the best value was proved | YES |
Number of variables | 4360 |
Total number of constraints | 8610 |
Number of constraints which are clauses | 8610 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 163 |
Number of terms in the objective function | 2173 |
Biggest coefficient in the objective function | 305 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 525495 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 305 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 525495 |
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/0.00 c Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 0.09/0.18 c starting to Solve 0.09/0.18 c #variables read: 4360 - #constraints read: 8608 0.09/0.19 o 7744 0.19/0.21 o 7718 0.19/0.22 o 7711 0.19/0.23 o 7709 0.19/0.25 o 7683 0.19/0.29 o 7681 0.29/0.34 o 7668 0.29/0.37 o 7662 0.39/0.41 o 7640 0.39/0.46 o 7634 0.49/0.53 o 7173 0.49/0.55 o 7147 0.49/0.56 o 7146 0.49/0.59 o 7127 0.59/0.62 o 7126 0.59/0.66 o 7102 0.59/0.68 o 7101 0.59/0.69 o 7092 0.69/0.71 o 7091 0.69/0.79 o 6976 0.79/0.80 o 6950 0.79/0.81 o 6946 0.79/0.83 o 6920 0.79/0.84 o 6910 0.79/0.87 o 6895 0.79/0.89 o 6891 0.89/0.90 o 6865 0.89/0.92 o 6855 1.10/1.14 o 6852 1.10/1.16 o 6844 1.10/1.19 o 6843 1.19/1.21 o 6835 1.19/1.24 o 6832 1.59/1.65 o 6584 1.59/1.67 o 6558 1.69/1.73 o 6557 1.69/1.74 o 6531 10.79/10.89 o 6525 10.89/10.91 o 6517 10.89/10.93 o 6513 10.99/11.02 o 6511 10.99/11.04 o 6503 10.99/11.06 o 6499 12.19/12.28 o 6423 12.19/12.29 o 6415 12.28/12.32 o 6409 12.28/12.32 o 6401 12.78/12.86 o 6360 12.78/12.87 o 6352 12.89/12.90 o 6346 12.89/12.91 o 6338 14.39/14.44 o 6325 14.39/14.45 o 6317 14.39/14.48 o 6311 14.39/14.49 o 6303 22.38/22.46 o 6297 22.48/22.59 o 6288 23.19/23.27 o 6277 23.68/23.73 o 6268 23.88/23.99 o 6265 23.98/24.06 o 6256 34.78/34.84 o 6179 35.38/35.48 o 6135 40.28/40.33 o 6110 40.28/40.34 o 6107 608.04/608.27 o 6100 611.53/611.70 o 6083 760.20/760.45 o 5921 760.30/760.55 o 5905 760.30/760.57 o 5886 761.90/762.11 o 5878 763.60/763.88 o 5873 765.40/765.68 o 5865 854.37/854.66 o 5862 893.67/893.97 o 5855 893.67/893.98 o 5846 894.06/894.34 o 5843 918.05/918.33 o 5842 918.05/918.38 o 5835 1782.64/1783.28 c total time : 1783 s 1782.64/1783.28 s SATISFIABLE 1782.64/1783.28 v -x204 -x206 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 x223 -x225 -x227 -x229 -x231 -x233 -x234 -x236 -x238 -x240 -x242 1782.64/1783.28 v -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 1782.64/1783.28 v -x285 -x287 -x289 -x290 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 x322 1782.64/1783.28 v -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 1782.64/1783.28 v -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 1782.64/1783.28 v -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x447 1782.64/1783.28 v -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 1782.64/1783.28 v -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x521 -x523 -x525 -x526 -x527 1782.64/1783.28 v -x529 -x531 -x533 -x535 -x536 -x538 -x540 -x542 -x544 -x546 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 1782.64/1783.28 v -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 1782.64/1783.28 v -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 1782.64/1783.28 v -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 1782.64/1783.28 v -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 1782.64/1783.28 v -x736 -x738 -x740 -x741 -x743 -x745 -x747 -x749 -x750 -x752 -x754 -x756 -x758 -x760 -x761 -x763 -x765 -x767 -x769 -x770 -x772 1782.64/1783.28 v -x774 -x776 -x778 -x780 -x782 -x784 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 1782.64/1783.28 v -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x850 -x852 -x854 1782.64/1783.28 v -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 1782.64/1783.28 v -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 1782.64/1783.28 v -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 1782.64/1783.28 v -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 1782.64/1783.28 v -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 1782.64/1783.28 v -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 1782.64/1783.28 v -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 1782.64/1783.28 v -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 1782.64/1783.28 v -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 1782.64/1783.28 v -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 1782.64/1783.28 v -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 1782.64/1783.28 v -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 1782.64/1783.28 v -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 1782.64/1783.28 v -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 1782.64/1783.28 v -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 1782.64/1783.28 v -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 1782.64/1783.28 v -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 1782.64/1783.28 v -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 1782.64/1783.28 v -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 1782.64/1783.28 v -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 1782.64/1783.28 v -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 1782.64/1783.28 v -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 1782.64/1783.28 v -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 1782.64/1783.28 v -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 1782.64/1783.28 v -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 1782.64/1783.28 v -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1755 -x1757 -x1759 -x1761 -x1763 1782.64/1783.28 v -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 1782.64/1783.28 v -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 1782.64/1783.28 v -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 x1856 -x1858 -x1860 -x1862 -x1864 1782.64/1783.28 v -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1897 1782.64/1783.28 v -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1924 -x1926 -x1928 -x1930 1782.64/1783.28 v -x1932 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 1782.64/1783.28 v -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 1782.64/1783.28 v -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 1782.64/1783.28 v -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 1782.64/1783.28 v -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 1782.64/1783.28 v -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 1782.64/1783.28 v -x2133 -x2135 -x2137 -x2139 -x2141 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 1782.64/1783.28 v -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2193 -x2195 -x2197 1782.64/1783.28 v -x2199 -x2201 -x2203 x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2230 1782.64/1783.28 v x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2259 -x2261 -x2263 1782.64/1783.28 v -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2278 -x2280 -x2282 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 1782.64/1783.28 v -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 1782.64/1783.28 v -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 1782.64/1783.28 v -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 1782.64/1783.28 v -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 1782.64/1783.28 v -x2431 -x2433 -x2435 -x2437 -x2438 -x2440 -x2442 -x2444 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 1782.64/1783.28 v -x2463 -x2465 -x2466 -x2468 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2490 -x2492 1782.64/1783.28 v -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2519 -x2521 -x2523 -x2525 1782.64/1783.28 v -x2527 -x2529 -x2531 -x2532 -x2534 -x2536 -x2538 -x2539 -x2541 -x2542 -x2543 -x2545 -x2546 -x2548 -x2550 -x2552 -x2554 1782.64/1783.28 v -x2556 -x2558 -x2560 -x2562 -x2563 -x2565 -x2567 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 1782.64/1783.28 v -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 x2609 -x2611 -x2613 -x2615 -x2617 -x2619 1782.64/1783.28 v -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2636 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 1782.64/1783.28 v -x2653 -x2655 -x2657 -x2659 x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2682 -x2684 1782.64/1783.28 v -x2685 -x2687 -x2689 -x2691 -x2693 -x2694 -x2696 -x2698 -x2699 -x2701 -x2703 -x2705 -x2706 -x2707 -x2709 -x2711 -x2713 1782.64/1783.28 v -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 x2744 -x2746 1782.64/1783.28 v -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 1782.64/1783.28 v -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 1782.64/1783.28 v -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 1782.64/1783.28 v -x2850 -x2852 -x2854 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 1782.64/1783.28 v -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 1782.64/1783.28 v -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 1782.64/1783.28 v -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2970 -x2972 -x2974 -x2976 -x2978 -x2979 -x2981 1782.64/1783.28 v -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 1782.64/1783.28 v -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3039 -x3041 -x3043 -x3044 -x3046 1782.64/1783.28 v -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3069 -x3071 -x3073 -x3075 -x3077 -x3078 1782.64/1783.28 v -x3080 x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 1782.64/1783.28 v -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 1782.64/1783.28 v -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 1782.64/1783.28 v -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 1782.64/1783.28 v -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 1782.64/1783.28 v -x3250 -x3252 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 x3278 -x3280 1782.64/1783.28 v -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3310 -x3312 1782.64/1783.28 v -x3314 -x3315 -x3317 -x3319 -x3321 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3337 -x3339 -x3340 -x3342 1782.64/1783.28 v -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3363 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 1782.64/1783.28 v -x3376 -x3378 -x3380 -x3382 -x3384 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3399 -x3401 -x3402 -x3404 -x3406 1782.64/1783.28 v -x3408 -x3409 -x3411 -x3413 -x3415 -x3417 -x3418 -x3419 -x3421 -x3423 -x3425 -x3427 -x3428 -x3430 -x3432 -x3434 -x3436 1782.64/1783.28 v -x3438 -x3439 -x3441 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 1782.64/1783.28 v -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 1782.64/1783.28 v -x3503 -x3505 -x3507 x3508 -x3510 -x3512 -x3514 -x3515 -x3517 -x3519 -x3521 -x3523 -x3524 -x3526 -x3528 -x3530 -x3531 1782.64/1783.28 v -x3533 -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3548 -x3550 -x3552 -x3554 -x3556 -x3557 -x3559 -x3561 -x3563 1782.64/1783.28 v -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3592 -x3594 -x3596 1782.64/1783.28 v -x3598 -x3600 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 1782.64/1783.28 v -x3632 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 1782.64/1783.28 v -x3666 -x3668 -x3670 -x3672 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 1782.64/1783.28 v -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 1782.64/1783.28 v -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3760 -x3762 -x3764 1782.64/1783.28 v -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3776 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 1782.64/1783.28 v -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 1782.64/1783.28 v -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 1782.64/1783.28 v -x3865 -x3867 -x3868 -x3870 -x3872 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3888 -x3889 -x3891 -x3892 1782.64/1783.28 v -x3894 -x3896 -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 1782.64/1783.28 v -x3926 -x3927 -x3929 -x3930 -x3932 -x3933 -x3935 -x3937 -x3939 -x3940 -x3942 -x3944 -x3946 -x3948 -x3949 -x3950 -x3952 1782.64/1783.28 v -x3954 -x3956 -x3957 -x3959 -x3961 -x3963 -x3965 -x3967 -x3968 -x3970 -x3972 -x3974 -x3975 x3976 -x3978 -x3980 -x3982 1782.64/1783.28 v -x3983 -x3984 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3997 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 -x4010 -x4012 1782.64/1783.28 v -x4014 -x4015 -x4017 -x4019 -x4021 -x4022 -x4024 -x4026 -x4028 -x4030 -x4031 -x4033 -x4034 -x4036 -x4038 -x4040 -x4042 1782.64/1783.28 v -x4044 -x4046 -x4048 -x4050 -x4052 -x4054 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4066 -x4068 -x4069 -x4071 -x4073 1782.64/1783.28 v -x4075 -x4077 -x4079 -x4081 -x4083 -x4084 -x4086 -x4088 -x4089 -x4091 -x4093 -x4095 -x4097 -x4099 -x4101 -x4103 -x4105 1782.64/1783.28 v -x4107 -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x4129 -x4130 -x4132 -x4134 x4136 -x4138 1782.64/1783.28 v -x4140 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4164 -x4166 -x4168 -x4170 1782.64/1783.28 v -x4172 -x4174 -x4176 -x4178 -x4180 -x4181 -x4182 -x4184 -x4185 -x4187 -x4188 -x4190 -x4191 -x4193 -x4195 -x4196 -x4198 1782.64/1783.28 v -x4199 x4200 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x4215 -x4217 -x4218 -x4219 -x4221 -x4223 -x4225 -x4227 1782.64/1783.28 v -x4229 -x4231 -x4232 -x4234 -x4236 -x4238 -x4240 -x4242 -x4244 -x4246 -x4248 -x4250 -x4252 -x4253 -x4255 -x4256 -x4258 1782.64/1783.28 v -x4260 -x4261 -x4263 -x4265 -x4266 -x4267 -x4268 -x4270 -x4272 -x4274 x4275 -x4277 -x4279 -x4281 -x4283 -x4284 x4285 -x4287 1782.64/1783.28 v -x4289 -x4290 -x4292 -x4294 -x4295 -x4296 x4297 -x4298 x4299 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4311 -x4313 -x4314 1782.64/1783.28 v x4315 -x4316 -x4317 -x4319 -x4321 -x4322 -x4323 -x4324 x4325 -x4327 -x4328 -x4329 -x4331 -x4332 -x4334 x4335 -x4336 -x4337 1782.64/1783.28 v -x4338 -x4339 -x4340 -x4342 -x4343 -x4345 -x4346 -x4348 -x4350 -x4351 -x4352 -x4353 -x4355 x4356 x4357 -x4358 x4359 -x4360 1782.64/1783.28 v -x203 -x1 -x205 -x208 -x210 -x212 -x214 -x216 -x218 -x220 x222 -x224 -x226 -x228 -x230 -x232 -x235 -x237 -x239 -x241 -x243 1782.64/1783.28 v -x245 -x2 -x247 -x249 -x251 -x3 -x253 -x255 -x257 -x259 -x261 -x263 -x4 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 1782.64/1783.28 v -x284 -x286 -x5 -x288 -x6 -x292 -x294 -x296 -x7 -x298 -x300 -x302 -x304 -x306 -x308 -x310 x8 -x312 -x314 -x316 -x318 -x320 1782.64/1783.28 v -x323 -x9 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 -x361 1782.64/1783.28 v -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 1782.64/1783.28 v -x405 -x407 -x409 -x10 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x11 -x433 -x435 -x437 -x439 -x441 1782.64/1783.28 v -x443 -x445 -x448 -x450 -x452 -x12 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x13 -x476 -x478 -x14 1782.64/1783.28 v -x480 -x482 -x484 -x15 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x16 -x507 -x509 -x511 -x17 -x513 -x515 1782.64/1783.28 v -x517 -x18 -x519 -x522 -x524 -x19 -x20 -x528 -x21 -x530 -x532 -x534 -x537 -x22 -x539 -x541 -x543 -x23 -x545 -x548 -x24 -x550 1782.64/1783.28 v -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x25 -x580 -x582 -x584 -x26 -x586 -x589 1782.64/1783.28 v -x27 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x28 -x613 -x615 -x617 -x29 -x619 -x621 -x623 -x30 1782.64/1783.28 v -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x31 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x32 -x653 -x655 -x657 -x659 -x661 1782.64/1783.28 v -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 1782.64/1783.28 v -x705 -x707 -x709 -x711 -x713 -x33 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x34 -x729 -x731 -x733 -x735 -x737 -x739 -x35 1782.64/1783.28 v -x742 -x744 -x746 -x748 -x751 -x753 -x755 -x757 -x759 -x36 -x762 -x764 -x766 -x37 -x768 -x771 -x38 -x773 -x775 -x777 -x779 1782.64/1783.28 v -x781 -x783 -x39 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x40 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 1782.64/1783.28 v -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x851 -x853 -x855 -x857 -x859 -x41 1782.64/1783.28 v -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x42 -x875 -x877 -x880 -x882 -x884 -x886 -x43 -x888 -x890 -x892 -x894 -x896 -x898 1782.64/1783.28 v -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 1782.64/1783.28 v -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x44 1782.64/1783.28 v -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x45 -x1012 -x1014 -x1016 1782.64/1783.28 v -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x46 -x1042 -x1044 -x1046 -x1048 -x1050 1782.64/1783.28 v -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 1782.64/1783.28 v -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x47 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 1782.64/1783.28 v -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 1782.64/1783.28 v -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 1782.64/1783.28 v -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 1782.64/1783.28 v -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 1782.64/1783.28 v -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 1782.64/1783.28 v -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 1782.64/1783.28 v -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 1782.64/1783.28 v -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 -x1389 -x1391 1782.64/1783.28 v -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 1782.64/1783.28 v -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 1782.64/1783.28 v -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x48 -x1491 -x1493 1782.64/1783.28 v -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 1782.64/1783.28 v -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 1782.64/1783.28 v -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x49 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 1782.64/1783.28 v -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 1782.64/1783.28 v -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x50 -x1663 1782.64/1783.28 v -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 1782.64/1783.28 v -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 1782.64/1783.28 v -x51 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x52 -x1756 -x1758 -x1760 -x1762 -x1764 1782.64/1783.28 v -x1766 -x1768 -x1770 -x1772 -x1774 -x53 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 1782.64/1783.28 v -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 1782.64/1783.28 v -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 x54 -x1846 -x1848 -x1850 -x1852 -x1854 -x1857 -x1859 -x1861 -x1863 -x1865 -x55 1782.64/1783.28 v -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x56 -x1889 -x1891 -x1893 -x1895 -x1898 -x1900 1782.64/1783.28 v -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x57 -x1922 -x1925 -x1927 -x1929 -x58 -x1931 -x1934 1782.64/1783.28 v -x1936 -x1938 -x1940 -x1942 -x1944 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 1782.64/1783.28 v -x1971 -x59 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x60 -x1995 -x1997 -x1999 -x2001 1782.64/1783.28 v -x2003 -x2005 -x2007 -x2010 -x2012 -x2014 -x61 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 1782.64/1783.28 v -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 1782.64/1783.28 v -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 1782.64/1783.28 v -x2106 -x2108 -x62 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x63 -x2132 -x2134 -x2136 1782.64/1783.28 v -x2138 -x2140 -x2143 -x2145 -x2147 -x2149 -x2151 -x64 -x2153 -x2155 -x2157 -x65 -x2159 -x2161 -x2163 -x66 -x2165 -x2167 1782.64/1783.28 v -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x67 -x2187 -x2189 -x2191 -x2194 -x2196 -x2198 -x2200 -x2202 1782.64/1783.28 v x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 x2231 -x2233 -x2235 -x2237 -x2239 1782.64/1783.28 v -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x68 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 1782.64/1783.28 v -x2276 -x69 -x2279 -x2281 -x70 -x2284 -x2286 -x2288 -x71 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x72 -x2304 -x2306 1782.64/1783.28 v -x2308 -x2311 -x2313 -x2315 -x73 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 1782.64/1783.28 v -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 1782.64/1783.28 v -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x74 -x2403 -x2405 -x2407 -x2409 1782.64/1783.28 v -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x75 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2439 -x2441 -x2443 -x76 1782.64/1783.28 v -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x77 -x2467 -x78 -x2470 -x2472 -x2474 -x79 -x2476 1782.64/1783.28 v -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2491 -x2493 -x2495 -x80 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 1782.64/1783.28 v -x2513 -x2515 -x2517 -x81 -x2520 -x2522 -x82 -x2524 -x2526 -x2528 -x83 -x2530 -x2533 -x84 -x2535 -x2537 -x2540 -x85 -x86 1782.64/1783.28 v -x2544 -x87 -x2547 -x2549 -x2551 -x2553 -x88 -x2555 -x2557 -x2559 -x89 -x2561 -x2564 -x90 -x2566 -x2569 -x91 -x2571 -x2573 1782.64/1783.28 v -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x92 -x2601 -x2603 -x2605 x93 1782.64/1783.28 v -x2607 -x2610 -x94 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x95 -x2634 -x2638 -x2640 1782.64/1783.28 v -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x96 -x2654 -x2656 -x2658 x2660 -x2662 -x2664 -x97 -x2666 -x2668 -x2670 -x2672 1782.64/1783.28 v -x2674 -x2676 -x2678 -x98 -x2680 -x2683 -x2686 -x2688 -x2690 -x2692 -x2695 -x2697 -x99 -x2700 -x2702 -x100 -x2704 -x101 1782.64/1783.28 v -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 1782.64/1783.28 v -x2742 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 1782.64/1783.28 v -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 1782.64/1783.28 v -x2811 -x2813 -x102 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 1782.64/1783.28 v -x2843 -x103 -x2845 -x2847 -x2849 -x2851 -x2853 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 1782.64/1783.28 v -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 1782.64/1783.28 v -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 x2936 -x2938 -x2940 -x2942 1782.64/1783.28 v -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x104 -x2960 -x2962 -x2964 -x2966 -x2968 -x2971 -x2973 -x2975 1782.64/1783.28 v -x2977 -x105 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x106 -x3002 -x3005 -x3007 -x3009 1782.64/1783.28 v -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x107 -x3035 -x3037 -x3040 -x3042 1782.64/1783.28 v -x108 -x3045 -x3047 -x3049 -x3051 -x109 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3070 -x3072 -x3074 -x3076 1782.64/1783.28 v -x3079 x3081 -x3083 -x3085 -x110 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x111 -x3109 1782.64/1783.28 v -x3111 -x3113 -x112 -x3115 -x3117 -x3119 -x113 -x3121 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x114 -x3135 -x3137 -x3139 1782.64/1783.28 v -x3141 -x3143 -x3145 -x3147 -x115 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 1782.64/1783.28 v -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 1782.64/1783.28 v -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x116 -x3235 -x3237 1782.64/1783.28 v -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3254 -x117 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 1782.64/1783.28 v -x3272 -x3274 -x3276 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x118 -x3291 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 1782.64/1783.28 v -x3306 -x3308 -x119 -x3311 -x3313 -x120 -x3316 -x3318 -x3320 -x121 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3338 1782.64/1783.28 v -x122 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x3359 -x3361 -x123 -x124 -x3365 -x3367 -x3369 -x125 1782.64/1783.28 v -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3386 -x3388 -x3390 -x3392 -x3394 -x3396 -x3398 -x126 -x3400 -x3403 1782.64/1783.28 v -x127 -x3405 -x3407 -x128 -x3410 -x3412 -x3414 -x3416 -x129 -x130 -x3420 -x131 -x3422 -x3424 -x3426 -x3429 -x132 -x3431 1782.64/1783.28 v -x3433 -x3435 -x133 -x3437 -x3440 -x134 -x3443 -x3445 -x135 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 1782.64/1783.28 v -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x136 -x3477 -x3479 -x137 -x3482 -x3484 -x3486 -x138 -x3488 -x3490 -x3492 -x3494 1782.64/1783.28 v -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3509 -x3511 -x3513 -x139 -x3516 -x3518 -x140 -x3520 -x3522 -x3525 -x3527 -x3529 1782.64/1783.28 v -x3532 -x3534 -x3536 -x3538 -x141 -x3540 -x3542 -x3544 -x3546 -x3549 -x3551 -x3553 -x3555 -x3558 -x3560 -x3562 -x3564 1782.64/1783.28 v -x3566 -x142 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3593 -x3595 -x143 -x3597 1782.64/1783.28 v -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 1782.64/1783.28 v -x3633 -x3635 -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 1782.64/1783.28 v -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 1782.64/1783.28 v -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x144 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 1782.64/1783.28 v -x3734 -x145 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x146 -x3758 -x3761 -x3763 -x147 1782.64/1783.28 v -x3766 -x3768 -x3770 -x3772 -x3774 -x148 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 1782.64/1783.28 v -x3799 -x3801 -x3803 -x3805 -x3807 -x149 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x150 -x3822 -x3824 -x3826 -x3828 -x3830 1782.64/1783.28 v -x3832 -x3834 -x3836 -x3838 -x3840 -x3842 -x151 -x3844 -x3846 -x3848 -x152 -x3850 -x3852 -x3854 -x153 -x3856 -x3858 -x3860 1782.64/1783.28 v -x3862 -x3864 -x3866 -x154 -x3869 -x3871 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x155 -x3890 -x156 -x3893 -x3895 1782.64/1783.28 v -x3897 -x157 -x3899 -x3901 -x3903 -x3905 -x3907 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x158 -x3928 -x159 1782.64/1783.28 v -x3931 -x3934 -x160 -x3936 -x3938 -x161 -x3941 -x3943 -x3945 -x3947 -x162 -x163 -x3951 -x164 -x3953 -x3955 -x3958 -x3960 1782.64/1783.28 v -x165 -x3962 -x3964 -x3966 -x166 -x3969 -x3971 -x167 -x3973 -x3977 -x3979 -x3981 -x168 -x3985 -x169 -x3987 -x3989 -x3991 1782.64/1783.28 v -x3993 -x3995 -x3999 -x4001 -x4003 -x4005 -x170 -x4007 -x4009 -x4011 -x4013 -x4016 -x4018 -x4020 -x4023 -x4025 -x4027 1782.64/1783.28 v -x4029 -x4032 -x171 -x4035 -x4037 -x4039 -x4041 -x4043 -x4045 -x4047 -x4049 -x4051 -x4053 -x4056 -x4058 -x4060 -x172 -x4062 1782.64/1783.28 v -x4064 -x4067 -x173 -x4070 -x4072 -x4074 -x4076 -x4078 -x174 -x4080 -x4082 -x4085 -x4087 -x4090 -x4092 -x4094 -x4096 -x4098 1782.64/1783.28 v -x4100 -x4102 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4131 -x4133 1782.64/1783.28 v x4135 -x4137 -x4139 -x175 -x4142 -x4144 -x176 -x4146 -x4148 -x4150 -x177 -x4152 -x4154 -x4156 -x4158 -x4160 -x4162 -x4165 1782.64/1783.28 v -x4167 -x4169 -x4171 -x4173 -x4175 -x4177 -x4179 -x178 -x179 -x4183 -x4186 -x180 -x4189 -x181 -x4192 -x4194 -x4197 -x182 1782.64/1783.28 v x183 -x184 -x4202 -x4204 -x4206 -x4208 -x4210 -x185 -x4212 -x4214 -x4216 -x186 -x4220 -x187 -x4222 -x4224 -x4226 -x4228 1782.64/1783.28 v -x4230 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x4245 -x4247 -x4249 -x4251 -x4254 -x4257 -x4259 -x188 -x4262 -x4264 1782.64/1783.28 v -x189 -x4269 -x4271 -x4273 x190 -x4276 -x4278 -x4280 -x191 -x4282 -x4286 -x4288 -x192 -x4291 -x4293 x193 -x194 -x4301 -x4303 1782.64/1783.28 v -x4305 -x4307 -x195 -x4309 -x4312 x196 -x4318 -x197 -x4320 -x4326 -x198 -x4330 -x4333 -x199 -x200 -x4341 -x4344 -x201 -x4347 1782.64/1783.28 v -x4349 -x4354 -x202
OK 5835
/tmp/evaluation/372346-1177091060/instance-372346-1177091060.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node44/watcher-372346-1177091060 -o ROOT/results/node44/solver-372346-1177091060 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/372346-1177091060/instance-372346-1177091060.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/77 16366 /proc/meminfo: memFree=1725048/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=2552 CPUtime=0 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 157017764 2613248 230 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 11747031 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 638 230 193 16 0 77 0 [startup+0.097449 s] /proc/loadavg: 1.00 1.00 1.00 3/77 16366 /proc/meminfo: memFree=1725048/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=4016 CPUtime=0.09 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 624 0 0 0 9 0 0 0 18 0 1 0 157017764 4112384 594 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 11747031 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 1004 594 199 16 0 443 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4016 [startup+0.101448 s] /proc/loadavg: 1.00 1.00 1.00 3/77 16366 /proc/meminfo: memFree=1725048/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=4016 CPUtime=0.09 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 634 0 0 0 9 0 0 0 18 0 1 0 157017764 4112384 604 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 1004 604 199 16 0 443 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4016 [startup+0.301469 s] /proc/loadavg: 1.00 1.00 1.00 3/77 16366 /proc/meminfo: memFree=1725048/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=5524 CPUtime=0.29 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 955 0 0 0 29 0 0 0 19 0 1 0 157017764 5656576 925 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 1381 925 205 16 0 820 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5524 [startup+0.701509 s] /proc/loadavg: 1.00 1.00 1.00 3/77 16366 /proc/meminfo: memFree=1725048/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=5524 CPUtime=0.69 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 955 0 0 0 68 1 0 0 23 0 1 0 157017764 5656576 925 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134530538 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 1381 925 205 16 0 820 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5524 [startup+1.50159 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16367 /proc/meminfo: memFree=1722104/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=5524 CPUtime=1.49 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 955 0 0 0 144 5 0 0 25 0 1 0 157017764 5656576 925 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 1381 925 205 16 0 820 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5524 [startup+3.10176 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16367 /proc/meminfo: memFree=1721976/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=5656 CPUtime=3.09 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 982 0 0 0 296 13 0 0 25 0 1 0 157017764 5791744 952 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 1414 952 205 16 0 853 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5656 [startup+6.30108 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16367 /proc/meminfo: memFree=1721336/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=6308 CPUtime=6.29 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 1138 0 0 0 603 26 0 0 25 0 1 0 157017764 6459392 1108 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559161 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 1577 1108 205 16 0 1016 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6308 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16367 /proc/meminfo: memFree=1720120/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=7392 CPUtime=12.68 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 1416 0 0 0 1235 33 0 0 25 0 1 0 157017764 7569408 1386 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527993 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 1848 1386 205 16 0 1287 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 7392 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16367 /proc/meminfo: memFree=1718080/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=9336 CPUtime=25.48 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 1914 0 0 0 2505 43 0 0 25 0 1 0 157017764 9560064 1884 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 2334 1884 205 16 0 1773 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 9336 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16367 /proc/meminfo: memFree=1716992/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=10240 CPUtime=51.08 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 2149 0 0 0 5038 70 0 0 25 0 1 0 157017764 10485760 2119 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 2560 2119 205 16 0 1999 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 10240 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16367 /proc/meminfo: memFree=1713088/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=14180 CPUtime=102.27 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 3130 0 0 0 10115 112 0 0 25 0 1 0 157017764 14520320 3100 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 3545 3100 205 16 0 2984 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 14180 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16367 /proc/meminfo: memFree=1708160/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=19100 CPUtime=162.25 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 4347 0 0 0 16052 173 0 0 25 0 1 0 157017764 19558400 4317 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 4775 4317 205 16 0 4214 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 19100 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16367 /proc/meminfo: memFree=1705152/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=22088 CPUtime=222.23 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 5089 0 0 0 21980 243 0 0 25 0 1 0 157017764 22618112 5059 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 5522 5059 205 16 0 4961 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 22088 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16367 /proc/meminfo: memFree=1699008/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=28156 CPUtime=282.22 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 6629 0 0 0 27915 307 0 0 25 0 1 0 157017764 28831744 6589 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 7039 6589 205 16 0 6478 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 28156 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16367 /proc/meminfo: memFree=1698944/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=28156 CPUtime=342.21 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 6629 0 0 0 33863 358 0 0 25 0 1 0 157017764 28831744 6589 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 7039 6589 205 16 0 6478 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 28156 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16367 /proc/meminfo: memFree=1699008/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=28156 CPUtime=402.19 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 6629 0 0 0 39813 406 0 0 25 0 1 0 157017764 28831744 6589 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 7039 6589 205 16 0 6478 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 28156 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16367 /proc/meminfo: memFree=1699008/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=28156 CPUtime=462.18 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 6629 0 0 0 45701 517 0 0 25 0 1 0 157017764 28831744 6589 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527966 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 7039 6589 205 16 0 6478 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 28156 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16367 /proc/meminfo: memFree=1699008/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=28156 CPUtime=522.16 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 6629 0 0 0 51605 611 0 0 25 0 1 0 157017764 28831744 6589 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 7039 6589 205 16 0 6478 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 28156 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16367 /proc/meminfo: memFree=1699008/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=28156 CPUtime=582.15 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 6629 0 0 0 57484 731 0 0 25 0 1 0 157017764 28831744 6589 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 7039 6589 205 16 0 6478 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 28156 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16367 /proc/meminfo: memFree=1699008/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=28156 CPUtime=642.13 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 6629 0 0 0 63329 884 0 0 25 0 1 0 157017764 28831744 6589 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 7039 6589 205 16 0 6478 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 28156 ################ # More data... # ################ /proc/meminfo: memFree=1699136/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=28156 CPUtime=882.07 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 6630 0 0 0 86888 1319 0 0 25 0 1 0 157017764 28831744 6590 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 7039 6590 205 16 0 6478 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 28156 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16367 /proc/meminfo: memFree=1699136/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=28156 CPUtime=942.05 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 6630 0 0 0 92831 1374 0 0 25 0 1 0 157017764 28831744 6590 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 7039 6590 205 16 0 6478 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 28156 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/84 16393 /proc/meminfo: memFree=1697856/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=28156 CPUtime=1002.03 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 6630 0 0 0 98799 1404 0 0 25 0 1 0 157017764 28831744 6590 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 7039 6590 205 16 0 6478 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 28156 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16565 /proc/meminfo: memFree=1698864/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=28156 CPUtime=1061.92 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 6630 0 0 0 104753 1439 0 0 25 0 1 0 157017764 28831744 6590 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 7039 6590 205 16 0 6478 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 28156 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16565 /proc/meminfo: memFree=1698880/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=28156 CPUtime=1121.91 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 6630 0 0 0 110716 1475 0 0 25 0 1 0 157017764 28831744 6590 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 7039 6590 205 16 0 6478 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 28156 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16565 /proc/meminfo: memFree=1699008/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=28156 CPUtime=1181.89 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 6630 0 0 0 116647 1542 0 0 25 0 1 0 157017764 28831744 6590 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 7039 6590 205 16 0 6478 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 28156 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16565 /proc/meminfo: memFree=1695296/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=31856 CPUtime=1241.88 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 7557 0 0 0 122584 1604 0 0 25 0 1 0 157017764 32620544 7517 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 7964 7517 205 16 0 7403 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 31856 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16565 /proc/meminfo: memFree=1696192/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=30700 CPUtime=1301.86 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 7612 0 0 0 128496 1690 0 0 25 0 1 0 157017764 31436800 7232 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 7675 7232 205 16 0 7114 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 30700 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16565 /proc/meminfo: memFree=1696256/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=30700 CPUtime=1361.85 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 7612 0 0 0 134409 1776 0 0 25 0 1 0 157017764 31436800 7232 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 7675 7232 205 16 0 7114 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 30700 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16565 /proc/meminfo: memFree=1691136/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=36024 CPUtime=1421.84 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 8943 0 0 0 140329 1855 0 0 25 0 1 0 157017764 36888576 8563 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 9006 8563 205 16 0 8445 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 36024 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16565 /proc/meminfo: memFree=1687168/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=40008 CPUtime=1481.82 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 9932 0 0 0 146247 1935 0 0 25 0 1 0 157017764 40968192 9552 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 10002 9552 205 16 0 9441 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 40008 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16565 /proc/meminfo: memFree=1687104/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=40008 CPUtime=1541.8 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 9932 0 0 0 152099 2081 0 0 25 0 1 0 157017764 40968192 9552 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 10002 9552 205 16 0 9441 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 40008 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16565 /proc/meminfo: memFree=1687296/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=39692 CPUtime=1601.79 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 9932 0 0 0 157961 2218 0 0 25 0 1 0 157017764 40644608 9480 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134520065 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 9923 9480 205 16 0 9362 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 39692 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16565 /proc/meminfo: memFree=1687360/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=39692 CPUtime=1661.77 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 9932 0 0 0 163909 2268 0 0 25 0 1 0 157017764 40644608 9480 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559161 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 9923 9480 205 16 0 9362 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 39692 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16565 /proc/meminfo: memFree=1687360/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=39692 CPUtime=1721.76 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 9932 0 0 0 169871 2305 0 0 25 0 1 0 157017764 40644608 9480 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558939 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 9923 9480 205 16 0 9362 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 39692 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16565 /proc/meminfo: memFree=1687424/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=39692 CPUtime=1781.74 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 9932 0 0 0 175827 2347 0 0 25 0 1 0 157017764 40644608 9480 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 9923 9480 205 16 0 9362 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 39692 Solver just ended. Dumping a history of the last processes samples [startup+1782.7 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16565 /proc/meminfo: memFree=1687424/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=39692 CPUtime=1782.14 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 9932 0 0 0 175867 2347 0 0 25 0 1 0 157017764 40644608 9480 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 9923 9480 205 16 0 9362 0 Current children cumulated CPU time (s) 1782.14 Current children cumulated vsize (KiB) 39692 [startup+1783.11 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16565 /proc/meminfo: memFree=1687424/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=39692 CPUtime=1782.54 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 9932 0 0 0 175907 2347 0 0 25 0 1 0 157017764 40644608 9480 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527973 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 9923 9480 205 16 0 9362 0 Current children cumulated CPU time (s) 1782.54 Current children cumulated vsize (KiB) 39692 [startup+1783.2 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16565 /proc/meminfo: memFree=1687424/2055920 swapFree=4156080/4192956 [pid=16366] ppid=16364 vsize=39692 CPUtime=1782.64 /proc/16366/stat : 16366 (Pueblo) R 16364 16366 15616 0 -1 4194304 9932 0 0 0 175917 2347 0 0 25 0 1 0 157017764 40644608 9480 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16366/statm: 9923 9480 205 16 0 9362 0 Current children cumulated CPU time (s) 1782.64 Current children cumulated vsize (KiB) 39692 Child status: 10 Real time (s): 1783.29 CPU time (s): 1782.74 CPU user time (s): 1759.25 CPU system time (s): 23.4864 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (KiB): 40084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1759.25 system time used= 23.4864 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9939 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 16 involuntary context switches= 37456 runsolver used 2.11468 second user time and 4.19536 second system time The end
Begin job on node44 on Fri Apr 20 17:44:21 UTC 2007 IDJOB= 372346 IDBENCH= 24965 IDSOLVER= 165 FILE ID= node44/372346-1177091060 PBS_JOBID= 4640328 Free space on /tmp= 66412 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir06_trarea_ac.opb COMMAND LINE= Pueblo /tmp/evaluation/372346-1177091060/instance-372346-1177091060.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node44/convwatcher-372346-1177091060 -o ROOT/results/node44/conversion-372346-1177091060 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372346-1177091060/instance-372346-1177091060.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-372346-1177091060 -o ROOT/results/node44/solver-372346-1177091060 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/372346-1177091060/instance-372346-1177091060.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 7546aeed0de3680ab75d817854256b46 RANDOM SEED= 812848422 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node44.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 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.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1725520 kB Buffers: 42000 kB Cached: 199852 kB SwapCached: 13760 kB Active: 120148 kB Inactive: 146100 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1725520 kB SwapTotal: 4192956 kB SwapFree: 4156080 kB Dirty: 2552 kB Writeback: 0 kB Mapped: 32484 kB Slab: 49688 kB Committed_AS: 1367840 kB PageTables: 1736 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66412 MiB End job on node44 on Fri Apr 20 18:14:04 UTC 2007