Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 14 | 1782.73 | 1783.27 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir05_area_delay.opb |
MD5SUM | b0c7ff7d1fa11c8e15b9d528879223a9 |
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 | 14 |
Best CPU time to get the best result obtained on this benchmark | 10.0265 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 14 |
Optimality of the best value was proved | YES |
Number of variables | 3659 |
Total number of constraints | 9385 |
Number of constraints which are clauses | 9385 |
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 | 127 |
Number of terms in the objective function | 1787 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1787 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 1787 |
Number of bits of the biggest sum of numbers | 11 |
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: 3659 - #constraints read: 9284 0.09/0.18 o 20 0.09/0.18 o 19 0.29/0.32 o 18 5.68/5.76 o 17 11.39/11.45 o 16 39.97/40.09 o 15 1127.45/1127.80 o 14 1782.65/1783.26 c total time : 1783 s 1782.65/1783.26 s SATISFIABLE 1782.65/1783.26 v -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 x224 -x226 -x228 -x230 -x232 -x234 -x236 1782.65/1783.26 v -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 1782.65/1783.26 v -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 1782.65/1783.26 v -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 1782.65/1783.26 v -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 1782.65/1783.26 v -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 1782.65/1783.26 v -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 1782.65/1783.26 v -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 1782.65/1783.26 v -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x571 1782.65/1783.26 v -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 1782.65/1783.26 v -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 1782.65/1783.26 v -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 1782.65/1783.26 v -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 1782.65/1783.26 v -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 1782.65/1783.26 v -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 1782.65/1783.26 v -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 1782.65/1783.26 v -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x903 -x905 1782.65/1783.26 v -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 1782.65/1783.26 v -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x988 1782.65/1783.26 v -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 1782.65/1783.26 v -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 1782.65/1783.26 v -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 1782.65/1783.26 v -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 1782.65/1783.26 v -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 1782.65/1783.26 v -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 1782.65/1783.26 v -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 1782.65/1783.26 v -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1255 -x1257 -x1259 -x1261 1782.65/1783.26 v -x1263 -x1265 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 1782.65/1783.26 v -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 1782.65/1783.26 v -x1329 -x1331 -x1333 -x1335 -x1337 -x1338 -x1340 -x1342 -x1344 -x1346 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 1782.65/1783.26 v -x1361 -x1363 -x1365 x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 1782.65/1783.26 v -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 x1405 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 1782.65/1783.26 v -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 1782.65/1783.26 v -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 1782.65/1783.26 v -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 1782.65/1783.26 v -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 1782.65/1783.26 v -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 1782.65/1783.26 v -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 1782.65/1783.26 v -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 1782.65/1783.26 v -x1663 -x1665 -x1667 -x1669 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 1782.65/1783.26 v -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1721 -x1723 -x1725 -x1727 1782.65/1783.26 v -x1729 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 1782.65/1783.26 v -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 1782.65/1783.26 v -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 1782.65/1783.26 v -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1859 1782.65/1783.26 v -x1861 -x1863 -x1865 -x1867 -x1869 x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1889 -x1891 1782.65/1783.26 v -x1893 -x1895 -x1897 -x1899 -x1901 -x1902 -x1904 -x1906 x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 1782.65/1783.26 v -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 1782.65/1783.26 v -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 1782.65/1783.26 v -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 1782.65/1783.26 v -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 1782.65/1783.26 v -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 1782.65/1783.26 v -x2094 -x2096 -x2098 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 1782.65/1783.26 v x2127 -x2129 -x2131 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 1782.65/1783.26 v -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 1782.65/1783.26 v -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2208 -x2210 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2222 1782.65/1783.26 v -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 1782.65/1783.26 v -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 1782.65/1783.26 v -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2320 -x2322 1782.65/1783.26 v -x2324 -x2326 -x2328 -x2330 -x2332 -x2333 -x2335 -x2336 -x2338 -x2340 -x2342 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 1782.65/1783.26 v -x2355 -x2357 -x2359 x2360 -x2362 -x2363 -x2365 -x2367 -x2369 -x2371 x2373 x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 1782.65/1783.26 v -x2388 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 1782.65/1783.26 v -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 1782.65/1783.26 v -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2484 -x2486 1782.65/1783.26 v -x2488 -x2490 -x2492 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2506 -x2508 x2510 -x2511 -x2513 -x2515 -x2516 1782.65/1783.26 v -x2518 -x2520 x2521 -x2523 -x2525 -x2526 -x2528 x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 1782.65/1783.26 v -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 1782.65/1783.26 v -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 1782.65/1783.26 v -x2619 -x2621 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 1782.65/1783.26 v -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 1782.65/1783.26 v -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 1782.65/1783.26 v -x2719 -x2721 -x2723 -x2725 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 1782.65/1783.26 v -x2752 -x2754 -x2756 -x2758 -x2760 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 1782.65/1783.26 v -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 1782.65/1783.26 v -x2818 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 1782.65/1783.26 v -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 1782.65/1783.26 v -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 1782.65/1783.26 v -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 1782.65/1783.26 v -x2953 -x2955 -x2957 -x2959 -x2961 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2981 -x2983 1782.65/1783.26 v -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3014 -x3016 1782.65/1783.26 v -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 1782.65/1783.26 v -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 1782.65/1783.26 v -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 1782.65/1783.26 v -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3131 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 1782.65/1783.26 v -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 1782.65/1783.26 v -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 1782.65/1783.26 v -x3217 -x3219 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3247 1782.65/1783.26 v -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 1782.65/1783.26 v -x3282 -x3284 -x3286 -x3288 -x3290 -x3291 -x3293 -x3295 -x3297 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3311 1782.65/1783.26 v -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3328 -x3330 -x3332 -x3334 -x3336 -x3337 -x3339 -x3340 -x3342 1782.65/1783.26 v -x3344 -x3346 -x3348 -x3350 -x3351 -x3353 -x3355 -x3357 -x3359 -x3360 x3361 -x3363 -x3364 -x3366 -x3367 -x3369 -x3370 1782.65/1783.26 v -x3372 -x3374 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3394 -x3396 -x3398 -x3399 -x3401 1782.65/1783.26 v -x3403 -x3405 -x3407 -x3409 -x3411 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 x3430 -x3432 -x3434 1782.65/1783.26 v -x3436 -x3438 -x3440 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3452 -x3454 -x3456 -x3458 -x3459 -x3461 -x3463 -x3464 1782.65/1783.26 v -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488 -x3490 -x3492 -x3493 -x3495 -x3497 1782.65/1783.26 v -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 1782.65/1783.26 v -x3533 -x3535 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3547 -x3549 -x3551 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 1782.65/1783.26 v -x3564 -x3565 -x3566 -x3568 -x3570 -x3571 -x3572 -x3573 -x3575 -x3576 -x3577 -x3579 -x3581 -x3583 -x3584 -x3585 -x3586 1782.65/1783.26 v -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3615 -x3616 -x3618 1782.65/1783.26 v -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3631 -x3632 -x3634 -x3636 -x3638 -x3640 -x3641 -x3642 -x3644 -x3646 -x3647 1782.65/1783.26 v -x3649 -x3651 -x3652 -x3654 -x3655 -x3657 -x3658 -x3659 -x195 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 1782.65/1783.26 v -x217 -x219 -x221 x223 -x225 -x227 -x229 -x231 -x233 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 1782.65/1783.26 v -x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 1782.65/1783.26 v -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 1782.65/1783.26 v -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 1782.65/1783.26 v -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 1782.65/1783.26 v -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x1 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 1782.65/1783.26 v -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 1782.65/1783.26 v -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 1782.65/1783.26 v -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x572 -x574 -x2 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 1782.65/1783.26 v -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 1782.65/1783.26 v -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 1782.65/1783.26 v -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x3 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x715 1782.65/1783.26 v -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 1782.65/1783.26 v -x759 -x4 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 1782.65/1783.26 v -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 1782.65/1783.26 v -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 1782.65/1783.26 v -x5 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 1782.65/1783.26 v -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x6 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 1782.65/1783.26 v -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x989 -x991 -x993 -x995 -x997 -x999 -x7 -x1001 -x1003 1782.65/1783.26 v -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x8 -x1031 -x1033 -x1035 -x1037 1782.65/1783.26 v -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 1782.65/1783.26 v -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 1782.65/1783.26 v -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 1782.65/1783.26 v -x1141 -x1143 -x1145 -x9 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 1782.65/1783.26 v -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x10 -x1203 -x1205 -x1207 1782.65/1783.26 v -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 1782.65/1783.26 v -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1256 -x1258 -x11 -x1260 -x1262 -x1264 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 1782.65/1783.26 v -x1279 -x1282 -x1284 -x12 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 1782.65/1783.26 v -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1339 -x13 -x1341 -x1343 -x1345 -x1348 1782.65/1783.26 v -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 x14 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 1782.65/1783.26 v -x1385 -x1387 -x1389 -x1391 -x1393 x15 -x1395 -x1397 -x1399 -x1401 -x1403 -x16 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 1782.65/1783.26 v -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 1782.65/1783.26 v -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 1782.65/1783.26 v -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 1782.65/1783.26 v -x1521 -x1523 -x17 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 1782.65/1783.26 v -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1574 -x1576 -x18 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 1782.65/1783.26 v -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 1782.65/1783.26 v -x1624 -x1626 -x1628 -x19 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x20 1782.65/1783.26 v -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 1782.65/1783.26 v -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x21 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1722 -x1724 1782.65/1783.26 v -x1726 -x1728 -x1731 -x22 -x1733 -x1735 -x1737 -x1739 -x1741 -x1744 -x1746 -x1748 -x23 -x1750 -x1752 -x1754 -x1756 -x1758 1782.65/1783.26 v -x1760 -x24 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 1782.65/1783.26 v -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x25 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 1782.65/1783.26 v -x1828 -x1830 -x1832 -x26 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1847 -x1849 -x1851 -x27 -x1853 -x1855 -x1857 -x1860 1782.65/1783.26 v x28 -x1862 -x1864 -x1866 -x1868 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x29 -x1885 -x1887 -x1890 -x1892 -x1894 1782.65/1783.26 v -x30 -x1896 -x1898 -x1900 -x1903 x31 -x1905 -x1908 -x32 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 1782.65/1783.26 v -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 1782.65/1783.26 v -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1993 -x1995 1782.65/1783.26 v -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x33 -x2023 -x2025 -x2027 -x2029 1782.65/1783.26 v -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 1782.65/1783.26 v -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x34 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 1782.65/1783.26 v -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 x2126 -x2128 -x2130 -x2133 1782.65/1783.26 v -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x35 -x2151 -x2153 -x2155 -x2157 -x2160 -x2162 -x2164 -x2166 -x2168 1782.65/1783.26 v -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x36 -x2198 -x2200 -x2202 1782.65/1783.26 v -x2204 -x2206 -x2209 -x2212 -x2214 -x2216 -x37 -x2218 -x2220 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x38 -x2238 1782.65/1783.26 v -x2240 -x2242 -x2244 -x2246 -x39 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 1782.65/1783.26 v -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x40 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 1782.65/1783.26 v -x2308 -x2310 -x41 -x2312 -x2314 -x2316 -x2318 -x2321 -x2323 -x2325 -x2327 -x2329 -x42 -x2331 -x2334 -x2337 -x43 -x2339 1782.65/1783.26 v -x2341 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 x44 -x2356 -x2358 -x2361 -x45 -x2364 -x2366 -x2368 -x2370 x2372 x46 -x47 1782.65/1783.26 v -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 1782.65/1783.26 v -x2410 -x2412 -x2414 -x2416 -x2418 -x48 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x49 -x2436 -x2438 -x2440 1782.65/1783.26 v -x2442 -x2444 -x2446 -x2448 -x2450 -x50 -x2452 -x2454 -x2456 -x51 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 1782.65/1783.26 v -x2474 -x52 -x2476 -x2478 -x2480 -x2482 -x53 -x2485 -x54 -x55 -x2487 -x2489 -x2491 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 1782.65/1783.26 v x56 -x2507 x2509 -x57 -x2512 -x2514 -x58 -x2517 -x2519 x59 -x2522 -x2524 -x60 -x2527 x61 x62 -x2530 -x63 -x2532 -x2534 -x2536 1782.65/1783.26 v -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 1782.65/1783.26 v -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 1782.65/1783.26 v -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x64 -x2639 1782.65/1783.26 v -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 1782.65/1783.26 v -x2675 -x2677 -x2679 -x2681 -x2683 -x65 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2700 -x2702 -x2704 -x2706 -x2708 1782.65/1783.26 v -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x66 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x67 -x2739 -x2741 1782.65/1783.26 v -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 1782.65/1783.26 v -x2778 -x68 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x69 -x2794 -x2796 -x2798 -x2800 -x2802 -x2805 -x2807 x70 1782.65/1783.26 v -x2809 -x2811 -x2813 -x2815 -x71 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 1782.65/1783.26 v -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 1782.65/1783.26 v -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 1782.65/1783.26 v -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x72 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 1782.65/1783.26 v -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2963 -x2965 -x2967 -x2969 -x73 -x2971 -x2973 -x2975 -x2977 -x2979 1782.65/1783.26 v -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x74 -x3008 -x3010 -x3012 -x3015 1782.65/1783.26 v -x3017 -x3019 -x75 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 1782.65/1783.26 v -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x76 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x77 -x3077 -x3079 -x3081 1782.65/1783.26 v -x3083 -x3085 -x78 -x3087 -x3089 -x79 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3106 -x3108 -x3110 -x3112 -x3114 1782.65/1783.26 v -x3116 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x3132 -x3134 -x80 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 1782.65/1783.26 v -x3152 -x3154 -x3156 -x3158 -x3160 -x81 -x3162 -x3164 -x3166 -x3168 -x82 -x3171 -x3173 -x3175 -x3177 -x83 -x3179 -x3181 1782.65/1783.26 v -x3183 -x3185 -x84 -x85 -x3187 -x3189 -x3191 -x3193 -x3196 x86 -x3198 -x3200 -x3202 -x87 -x3204 -x88 -x89 -x3206 x90 -x3208 1782.65/1783.26 v -x91 -x3210 -x3212 -x3214 -x3216 -x3218 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 1782.65/1783.26 v -x3245 -x3248 -x3250 -x92 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x93 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x94 1782.65/1783.26 v -x3277 -x3279 -x95 -x3281 -x3283 -x3285 -x3287 -x3289 -x3292 x96 -x3294 -x97 -x3296 x98 -x99 -x3299 -x3301 -x3303 -x3305 1782.65/1783.26 v -x3307 -x3309 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3329 -x3331 -x3333 -x3335 -x100 -x3338 -x3341 1782.65/1783.26 v -x3343 -x3345 -x3347 -x3349 -x101 -x3352 -x3354 -x3356 -x102 -x3358 x103 -x3362 -x3365 -x104 -x3368 -x105 -x106 -x107 -x3371 1782.65/1783.26 v -x3373 -x3376 -x3378 -x3380 -x108 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x109 x110 -x111 -x112 -x113 -x3395 -x3397 1782.65/1783.26 v x114 -x3400 -x115 x116 x117 x118 -x3402 -x3404 -x3406 -x3408 -x3410 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 1782.65/1783.26 v x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3442 -x3444 -x3446 -x3448 -x3450 -x119 -x3453 -x3455 -x3457 -x3460 -x3462 -x120 1782.65/1783.26 v -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x121 -x3477 x122 -x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3494 -x3496 1782.65/1783.26 v -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x123 -x3514 -x3516 -x3518 -x124 -x3520 -x3522 -x3524 x125 -x126 1782.65/1783.26 v -x3526 -x127 -x128 x129 -x3528 -x3530 -x3532 -x3534 -x3537 -x3539 -x130 x131 -x3541 x132 -x3543 -x133 -x3545 -x3548 -x3550 1782.65/1783.26 v -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3567 -x134 -x3569 -x135 -x3574 -x136 -x137 -x3578 -x3580 -x3582 -x138 -x139 1782.65/1783.26 v x140 -x141 -x3587 -x3589 -x3591 -x3593 -x3595 x142 -x3597 -x143 -x144 x145 -x146 x147 x148 x149 x150 x151 -x152 -x3599 -x3601 1782.65/1783.26 v -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3617 -x153 -x3619 x154 -x3621 -x3623 x155 x156 -x3625 -x3627 -x157 -x3629 x158 1782.65/1783.26 v -x159 -x3633 -x3635 x160 -x3637 -x161 -x3639 -x162 x163 x164 -x165 -x3643 -x166 x167 -x168 -x169 -x170 x171 x172 x173 x174 1782.65/1783.26 v x175 -x3645 -x176 -x177 x178 -x3648 -x3650 x179 -x180 x181 -x3653 -x3656 -x182 x183 x184 x185 x186 x187 -x188 -x189 x190 x191 1782.65/1783.26 v x192 x193 x194
OK 14
/tmp/evaluation/372934-1177147663/instance-372934-1177147663.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node74/watcher-372934-1177147663 -o ROOT/results/node74/solver-372934-1177147663 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/372934-1177147663/instance-372934-1177147663.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: 0.93 0.99 0.99 3/66 14377 /proc/meminfo: memFree=1663568/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=2552 CPUtime=0 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 162681028 2613248 230 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 10223319 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 638 232 193 16 0 77 0 [startup+0.028567 s] /proc/loadavg: 0.93 0.99 0.99 3/66 14377 /proc/meminfo: memFree=1663568/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=3084 CPUtime=0.02 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 391 0 0 0 2 0 0 0 18 0 1 0 162681028 3158016 361 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 10223319 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 771 361 199 16 0 210 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3084 [startup+0.101574 s] /proc/loadavg: 0.93 0.99 0.99 3/66 14377 /proc/meminfo: memFree=1663568/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=4016 CPUtime=0.09 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 622 0 0 0 9 0 0 0 18 0 1 0 162681028 4112384 592 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 10223319 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 1004 594 199 16 0 443 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4016 [startup+0.301597 s] /proc/loadavg: 0.93 0.99 0.99 3/66 14377 /proc/meminfo: memFree=1663568/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=5056 CPUtime=0.29 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 887 0 0 0 28 1 0 0 19 0 1 0 162681028 5177344 857 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 1264 857 205 16 0 703 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5056 [startup+0.701643 s] /proc/loadavg: 0.93 0.99 0.99 3/66 14377 /proc/meminfo: memFree=1663568/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=5056 CPUtime=0.69 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 887 0 0 0 67 2 0 0 22 0 1 0 162681028 5177344 857 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 1264 857 205 16 0 703 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5056 [startup+1.50174 s] /proc/loadavg: 0.93 0.99 0.99 2/67 14378 /proc/meminfo: memFree=1660936/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=5056 CPUtime=1.48 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 887 0 0 0 146 2 0 0 25 0 1 0 162681028 5177344 857 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 1264 857 205 16 0 703 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 5056 [startup+3.10192 s] /proc/loadavg: 0.93 0.99 0.99 2/67 14378 /proc/meminfo: memFree=1660744/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=5552 CPUtime=3.09 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 1034 0 0 0 305 4 0 0 25 0 1 0 162681028 5685248 1004 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 1388 1004 205 16 0 827 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5552 [startup+6.30129 s] /proc/loadavg: 0.93 0.99 0.99 2/67 14378 /proc/meminfo: memFree=1659656/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=6084 CPUtime=6.28 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 1140 0 0 0 620 8 0 0 25 0 1 0 162681028 6230016 1110 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 1521 1110 205 16 0 960 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 6084 [startup+12.701 s] /proc/loadavg: 0.94 0.99 0.99 2/67 14378 /proc/meminfo: memFree=1659280/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=6464 CPUtime=12.68 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 1236 0 0 0 1252 16 0 0 25 0 1 0 162681028 6619136 1206 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 1616 1206 205 16 0 1055 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 6464 [startup+25.5015 s] /proc/loadavg: 0.95 0.99 0.99 2/67 14378 /proc/meminfo: memFree=1658384/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=7216 CPUtime=25.49 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 1441 0 0 0 2524 25 0 0 25 0 1 0 162681028 7389184 1411 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 1804 1411 205 16 0 1243 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 7216 [startup+51.1015 s] /proc/loadavg: 0.97 0.99 0.99 2/67 14378 /proc/meminfo: memFree=1658064/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=7628 CPUtime=51.08 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 1523 0 0 0 5055 53 0 0 25 0 1 0 162681028 7811072 1493 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 1907 1493 205 16 0 1346 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 7628 [startup+102.305 s] /proc/loadavg: 0.98 0.99 0.99 2/67 14378 /proc/meminfo: memFree=1656464/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=9292 CPUtime=102.26 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 1929 0 0 0 10131 95 0 0 25 0 1 0 162681028 9515008 1899 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 2323 1899 205 16 0 1762 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 9292 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.99 2/67 14378 /proc/meminfo: memFree=1655376/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=10496 CPUtime=162.24 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 2202 0 0 0 16083 141 0 0 25 0 1 0 162681028 10747904 2172 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 2624 2172 205 16 0 2063 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 10496 [startup+222.301 s] /proc/loadavg: 0.99 0.99 0.99 2/67 14378 /proc/meminfo: memFree=1655248/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=10496 CPUtime=222.21 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 2226 0 0 0 22037 184 0 0 25 0 1 0 162681028 10747904 2196 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 2624 2196 205 16 0 2063 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 10496 [startup+282.301 s] /proc/loadavg: 0.99 0.99 0.99 2/67 14378 /proc/meminfo: memFree=1651536/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=14312 CPUtime=282.2 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3148 0 0 0 28006 214 0 0 25 0 1 0 162681028 14655488 3118 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 3578 3118 205 16 0 3017 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 14312 [startup+342.301 s] /proc/loadavg: 0.99 0.99 0.99 2/67 14378 /proc/meminfo: memFree=1651472/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=14312 CPUtime=342.18 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3153 0 0 0 33965 253 0 0 25 0 1 0 162681028 14655488 3123 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 3578 3123 205 16 0 3017 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 14312 [startup+402.301 s] /proc/loadavg: 0.99 0.99 0.99 2/67 14378 /proc/meminfo: memFree=1651408/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=14312 CPUtime=402.16 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3154 0 0 0 39930 286 0 0 25 0 1 0 162681028 14655488 3124 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 3578 3124 205 16 0 3017 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 14312 [startup+462.302 s] /proc/loadavg: 0.99 0.99 0.99 2/67 14378 /proc/meminfo: memFree=1651408/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=14312 CPUtime=462.15 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3155 0 0 0 45900 315 0 0 25 0 1 0 162681028 14655488 3125 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 3578 3125 205 16 0 3017 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 14312 [startup+522.302 s] /proc/loadavg: 0.99 0.99 0.99 2/67 14378 /proc/meminfo: memFree=1651408/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=14312 CPUtime=522.13 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3157 0 0 0 51863 350 0 0 25 0 1 0 162681028 14655488 3127 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 3578 3127 205 16 0 3017 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 14312 [startup+582.302 s] /proc/loadavg: 0.99 0.99 0.99 2/67 14378 /proc/meminfo: memFree=1651408/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=14312 CPUtime=582.12 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3158 0 0 0 57827 385 0 0 25 0 1 0 162681028 14655488 3128 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 3578 3128 205 16 0 3017 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 14312 [startup+642.302 s] /proc/loadavg: 0.99 0.99 0.99 2/67 14378 /proc/meminfo: memFree=1651408/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=14312 CPUtime=642.1 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3158 0 0 0 63792 418 0 0 25 0 1 0 162681028 14655488 3128 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558837 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 3578 3128 205 16 0 3017 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 14312 ################ # More data... # ################ /proc/meminfo: memFree=1651408/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=14312 CPUtime=882.02 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3162 0 0 0 87633 569 0 0 25 0 1 0 162681028 14655488 3132 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 3578 3132 205 16 0 3017 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 14312 [startup+942.302 s] /proc/loadavg: 0.99 0.99 0.99 2/67 14380 /proc/meminfo: memFree=1651216/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=14440 CPUtime=942.01 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3195 0 0 0 93583 618 0 0 25 0 1 0 162681028 14786560 3165 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 3610 3165 205 16 0 3049 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 14440 [startup+1002.3 s] /proc/loadavg: 0.99 0.99 0.99 2/67 14380 /proc/meminfo: memFree=1650832/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=14840 CPUtime=1001.99 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3302 0 0 0 99523 676 0 0 25 0 1 0 162681028 15196160 3272 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 3710 3272 205 16 0 3149 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 14840 [startup+1062.3 s] /proc/loadavg: 0.99 0.99 0.99 2/67 14380 /proc/meminfo: memFree=1650768/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=14840 CPUtime=1061.97 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3320 0 0 0 105464 733 0 0 25 0 1 0 162681028 15196160 3290 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 3710 3290 205 16 0 3149 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 14840 [startup+1122.3 s] /proc/loadavg: 0.99 0.99 0.99 2/67 14380 /proc/meminfo: memFree=1650512/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=15172 CPUtime=1121.95 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3382 0 0 0 111416 779 0 0 25 0 1 0 162681028 15536128 3352 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134556352 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 3793 3352 205 16 0 3232 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 15172 [startup+1182.3 s] /proc/loadavg: 0.99 0.99 0.99 2/67 14380 /proc/meminfo: memFree=1650256/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=15444 CPUtime=1181.93 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3445 0 0 0 117373 820 0 0 25 0 1 0 162681028 15814656 3415 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 3861 3415 205 16 0 3300 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 15444 [startup+1242.3 s] /proc/loadavg: 0.99 0.99 0.99 2/67 14380 /proc/meminfo: memFree=1650256/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=15444 CPUtime=1241.92 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3446 0 0 0 123330 862 0 0 25 0 1 0 162681028 15814656 3416 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 3861 3416 205 16 0 3300 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 15444 [startup+1302.3 s] /proc/loadavg: 0.99 0.99 0.99 2/67 14380 /proc/meminfo: memFree=1650256/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=15444 CPUtime=1301.9 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3448 0 0 0 129286 904 0 0 25 0 1 0 162681028 15814656 3418 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 3861 3418 205 16 0 3300 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 15444 [startup+1362.3 s] /proc/loadavg: 0.99 0.99 0.99 2/67 14380 /proc/meminfo: memFree=1650064/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=15732 CPUtime=1361.88 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3502 0 0 0 135244 944 0 0 25 0 1 0 162681028 16109568 3472 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 3933 3472 205 16 0 3372 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 15732 [startup+1422.31 s] /proc/loadavg: 0.99 0.99 0.99 2/67 14380 /proc/meminfo: memFree=1650000/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=15732 CPUtime=1421.87 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3503 0 0 0 141199 988 0 0 25 0 1 0 162681028 16109568 3473 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 3933 3473 205 16 0 3372 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 15732 [startup+1482.3 s] /proc/loadavg: 0.99 0.99 0.99 2/67 14380 /proc/meminfo: memFree=1650000/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=15732 CPUtime=1481.85 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3510 0 0 0 147152 1033 0 0 25 0 1 0 162681028 16109568 3480 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 3933 3480 205 16 0 3372 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 15732 [startup+1542.3 s] /proc/loadavg: 0.99 0.99 0.99 2/67 14380 /proc/meminfo: memFree=1649616/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=16260 CPUtime=1541.83 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3611 0 0 0 153116 1067 0 0 25 0 1 0 162681028 16650240 3581 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 4065 3581 205 16 0 3504 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 16260 [startup+1602.3 s] /proc/loadavg: 0.99 0.99 0.99 2/67 14380 /proc/meminfo: memFree=1649616/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=16232 CPUtime=1601.82 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3619 0 0 0 159075 1107 0 0 25 0 1 0 162681028 16621568 3589 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 4058 3589 205 16 0 3497 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 16232 [startup+1662.3 s] /proc/loadavg: 0.99 0.99 0.99 2/67 14380 /proc/meminfo: memFree=1649552/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=16212 CPUtime=1661.8 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3622 0 0 0 165040 1140 0 0 25 0 1 0 162681028 16601088 3592 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 4053 3592 205 16 0 3492 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 16212 [startup+1722.3 s] /proc/loadavg: 0.99 0.99 0.99 2/67 14380 /proc/meminfo: memFree=1649488/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=16200 CPUtime=1721.77 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3628 0 0 0 170999 1178 0 0 25 0 1 0 162681028 16588800 3598 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 4050 3598 205 16 0 3489 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 16200 [startup+1782.3 s] /proc/loadavg: 0.99 0.99 0.99 2/67 14380 /proc/meminfo: memFree=1648464/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=17372 CPUtime=1781.76 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3897 0 0 0 176958 1218 0 0 25 0 1 0 162681028 17788928 3867 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 4343 3867 205 16 0 3782 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 17372 Solver just ended. Dumping a history of the last processes samples [startup+1782.7 s] /proc/loadavg: 0.99 0.99 0.99 2/67 14380 /proc/meminfo: memFree=1648464/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=17372 CPUtime=1782.16 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3897 0 0 0 176998 1218 0 0 25 0 1 0 162681028 17788928 3867 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 4343 3867 205 16 0 3782 0 Current children cumulated CPU time (s) 1782.16 Current children cumulated vsize (KiB) 17372 [startup+1783.11 s] /proc/loadavg: 0.99 0.99 0.99 2/67 14380 /proc/meminfo: memFree=1648464/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=17372 CPUtime=1782.56 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3897 0 0 0 177038 1218 0 0 25 0 1 0 162681028 17788928 3867 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 4343 3867 205 16 0 3782 0 Current children cumulated CPU time (s) 1782.56 Current children cumulated vsize (KiB) 17372 [startup+1783.2 s] /proc/loadavg: 0.99 0.99 0.99 2/67 14380 /proc/meminfo: memFree=1648464/2055920 swapFree=4183056/4192956 [pid=14377] ppid=14375 vsize=17372 CPUtime=1782.65 /proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3897 0 0 0 177047 1218 0 0 25 0 1 0 162681028 17788928 3867 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14377/statm: 4343 3867 205 16 0 3782 0 Current children cumulated CPU time (s) 1782.65 Current children cumulated vsize (KiB) 17372 Child status: 10 Real time (s): 1783.27 CPU time (s): 1782.73 CPU user time (s): 1770.54 CPU system time (s): 12.1921 CPU usage (%): 99.9701 Max. virtual memory (cumulated for all children) (KiB): 17372 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1770.54 system time used= 12.1921 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3904 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= 2815 runsolver used 1.2848 second user time and 3.87341 second system time The end
Begin job on node74 on Sat Apr 21 09:27:43 UTC 2007 IDJOB= 372934 IDBENCH= 25007 IDSOLVER= 165 FILE ID= node74/372934-1177147663 PBS_JOBID= 4648853 Free space on /tmp= 103203 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir05_area_delay.opb COMMAND LINE= Pueblo /tmp/evaluation/372934-1177147663/instance-372934-1177147663.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node74/convwatcher-372934-1177147663 -o ROOT/results/node74/conversion-372934-1177147663 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372934-1177147663/instance-372934-1177147663.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node74/watcher-372934-1177147663 -o ROOT/results/node74/solver-372934-1177147663 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/372934-1177147663/instance-372934-1177147663.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= b0c7ff7d1fa11c8e15b9d528879223a9 RANDOM SEED= 952795323 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node74.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.213 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.213 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: 1664040 kB Buffers: 59496 kB Cached: 258100 kB SwapCached: 3024 kB Active: 168388 kB Inactive: 160356 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1664040 kB SwapTotal: 4192956 kB SwapFree: 4183056 kB Dirty: 2556 kB Writeback: 0 kB Mapped: 15936 kB Slab: 48948 kB Committed_AS: 3923244 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 103203 MiB End job on node74 on Sat Apr 21 09:57:26 UTC 2007