Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | OPT | 25 | 514.235 | 514.45 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_008_area_delay.opb |
MD5SUM | 6e9753dce198ef5ddba763a137b390c4 |
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 | 25 |
Best CPU time to get the best result obtained on this benchmark | 48.3037 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | YES |
Number of variables | 3973 |
Total number of constraints | 11097 |
Number of constraints which are clauses | 11097 |
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 | 63 |
Number of terms in the objective function | 1906 |
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 | 1906 |
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 | 1906 |
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 glpPB 0.2 (July 2006) 0.00/0.00 c An Application of GLPK 4.10 for PB Constraints 0.00/0.00 c Done @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 514.18/514.44 c starting to Solve 514.18/514.44 c total time = 514.3 514.18/514.44 o 25 514.18/514.44 c quality of integer solution is H 514.18/514.44 s OPTIMUM FOUND 514.18/514.44 v -x172 -x174 -x176 -x178 -x180 -x182 -x184 -x186 -x188 -x190 -x192 -x194 -x196 -x198 x200 -x202 -x204 -x206 -x208 -x210 -x212 514.18/514.44 v -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 514.18/514.44 v -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 514.18/514.44 v -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 514.18/514.44 v -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 x376 -x378 -x380 514.18/514.44 v -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 514.18/514.44 v -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 514.18/514.44 v -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 514.18/514.44 v -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 514.18/514.44 v -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 514.18/514.44 v -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 514.18/514.44 v -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 514.18/514.44 v -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 514.18/514.44 v -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 514.18/514.44 v x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 514.18/514.44 v -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 514.18/514.44 v -x842 -x844 -x846 x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 514.18/514.44 v -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 514.18/514.44 v -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 514.18/514.44 v -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 514.18/514.44 v -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 514.18/514.44 v -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 514.18/514.44 v -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 514.18/514.44 v -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 514.18/514.44 v -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 514.18/514.44 v -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 514.18/514.44 v -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 514.18/514.44 v -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 514.18/514.44 v -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 514.18/514.44 v -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 514.18/514.44 v -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 514.18/514.44 v -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 514.18/514.44 v -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 514.18/514.44 v -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 x1478 -x1480 -x1482 514.18/514.44 v -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 514.18/514.44 v -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 x1540 -x1542 -x1544 -x1546 -x1548 -x1550 514.18/514.44 v -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 514.18/514.44 v -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 514.18/514.44 v -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 514.18/514.44 v -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 514.18/514.44 v -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 514.18/514.44 v -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 514.18/514.44 v -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 514.18/514.44 v -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 x1818 -x1820 -x1822 514.18/514.44 v -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 514.18/514.44 v -x1858 -x1860 -x1862 x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 514.18/514.44 v -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 514.18/514.44 v -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 514.18/514.44 v -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 x1990 -x1992 514.18/514.44 v -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 514.18/514.44 v -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 x2056 -x2058 -x2060 514.18/514.44 v -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 514.18/514.44 v -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 514.18/514.44 v -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 514.18/514.44 v -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 514.18/514.44 v -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 514.18/514.44 v -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 514.18/514.44 v -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 514.18/514.44 v -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 514.18/514.44 v -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 514.18/514.44 v -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 514.18/514.44 v -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 x2426 -x2428 -x2430 -x2432 -x2434 514.18/514.44 v -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 514.18/514.44 v -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 514.18/514.44 v -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 514.18/514.44 v -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 514.18/514.44 v -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 514.18/514.44 v -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 514.18/514.44 v -x2640 -x2642 -x2644 -x2646 -x2648 x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 514.18/514.44 v -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 514.18/514.44 v -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 514.18/514.44 v -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 514.18/514.44 v -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 514.18/514.44 v -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 514.18/514.44 v -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 514.18/514.44 v -x2878 x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 x2906 -x2908 -x2910 -x2912 514.18/514.44 v -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 514.18/514.44 v -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 514.18/514.44 v -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 514.18/514.44 v -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3039 -x3041 -x3043 -x3045 -x3047 514.18/514.44 v -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 514.18/514.44 v -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 514.18/514.44 v -x3117 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 514.18/514.44 v -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 514.18/514.44 v -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 514.18/514.44 v -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 514.18/514.44 v -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 514.18/514.44 v -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 514.18/514.44 v x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3351 514.18/514.44 v -x3353 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 514.18/514.44 v -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 514.18/514.44 v -x3421 -x3423 -x3425 -x3427 -x3429 -x3431 x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3446 -x3448 -x3450 -x3452 514.18/514.44 v -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 514.18/514.44 v -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 514.18/514.44 v -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 514.18/514.44 v -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 514.18/514.44 v -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 514.18/514.44 v -x3623 -x3625 -x3627 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 514.18/514.44 v -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 514.18/514.44 v -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 514.18/514.44 v -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 514.18/514.44 v -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 x3789 514.18/514.44 v -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 514.18/514.44 v -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 x3857 514.18/514.44 v -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 514.18/514.44 v -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 x3919 -x3921 -x3923 -x3925 514.18/514.44 v -x3927 -x3929 -x3931 -x3933 x3935 -x3937 x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3951 -x3953 -x3955 x3957 -x3959 -x3961 514.18/514.44 v -x3963 -x3965 -x3967 -x3969 x3971 x3973 -x171 -x173 -x175 -x177 -x179 -x181 -x183 -x185 -x187 -x189 -x191 -x193 -x195 -x197 514.18/514.44 v x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 -x1 -x235 -x237 514.18/514.44 v -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 514.18/514.44 v -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 514.18/514.44 v -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 -x361 -x363 514.18/514.44 v -x365 -x367 -x369 -x371 -x373 x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x2 -x391 -x393 -x395 -x397 -x399 -x401 -x403 514.18/514.44 v -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 514.18/514.44 v -x447 -x449 -x451 -x3 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 514.18/514.44 v -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x4 -x515 -x517 -x519 -x521 -x523 -x525 514.18/514.44 v -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x5 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 514.18/514.44 v -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x6 514.18/514.44 v -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x7 -x637 -x639 -x641 -x643 -x645 514.18/514.44 v -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x8 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 514.18/514.44 v -x687 -x689 -x691 -x693 -x695 -x9 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 514.18/514.44 v -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x760 -x762 -x764 -x766 -x768 514.18/514.44 v -x770 -x10 -x772 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x11 -x801 -x803 -x805 -x807 514.18/514.44 v -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 x847 -x849 514.18/514.44 v -x851 -x853 -x855 -x857 -x859 -x12 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x13 -x875 -x877 -x879 -x881 -x883 -x885 -x887 514.18/514.44 v -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 514.18/514.44 v -x931 -x933 -x935 -x14 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x15 -x967 514.18/514.44 v -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x16 -x997 -x999 -x1001 -x1003 -x1005 514.18/514.44 v -x1007 -x1009 -x17 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 514.18/514.44 v -x18 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x19 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 514.18/514.44 v -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x20 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x21 -x1099 -x1101 -x1103 514.18/514.44 v -x1105 -x1107 -x1109 -x1111 -x22 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x23 -x1127 -x1129 -x1131 -x24 -x1133 514.18/514.44 v -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x25 -x1163 -x1165 -x1167 514.18/514.44 v -x1169 -x1171 -x1173 -x1175 -x26 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 514.18/514.44 v -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 514.18/514.44 v -x1237 -x27 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x28 514.18/514.44 v -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x29 -x1299 -x1301 514.18/514.44 v -x1303 -x1305 -x1307 -x1309 -x1311 -x30 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 514.18/514.44 v -x1337 -x1339 -x1341 -x31 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x32 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 514.18/514.44 v -x1369 -x33 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x34 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 514.18/514.44 v x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x35 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 514.18/514.44 v -x36 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x37 -x1465 514.18/514.44 v -x1467 -x1469 -x1471 -x1473 -x1475 x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 514.18/514.44 v -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 514.18/514.44 v -x1535 -x1537 x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 514.18/514.44 v -x1569 -x38 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x39 514.18/514.44 v -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x40 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 514.18/514.44 v -x1635 -x1637 -x1639 -x1641 -x41 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x42 -x1657 -x1659 -x1661 -x1663 -x1665 514.18/514.44 v -x1667 -x1669 -x43 -x1671 -x1673 -x1675 -x44 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 514.18/514.44 v -x1699 -x1701 -x1703 -x1705 -x45 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x46 -x1721 -x1723 -x1725 -x1727 -x1729 514.18/514.44 v -x1731 -x1733 -x47 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x48 -x1749 -x1751 -x1753 -x49 -x1755 -x1757 -x1759 514.18/514.44 v -x1761 -x1763 -x1765 -x1767 -x50 -x1769 -x1771 -x1773 -x51 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 514.18/514.44 v -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x52 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 x1817 x53 -x1819 -x1821 -x1823 514.18/514.44 v -x1825 -x1827 -x1829 -x1831 -x54 -x1833 -x1835 -x1837 -x55 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x56 -x1853 514.18/514.44 v -x1855 -x1857 -x57 -x1859 -x1861 x1863 x58 -x1865 -x59 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 514.18/514.44 v -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 514.18/514.44 v -x1921 -x1923 -x1925 -x1927 -x60 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 514.18/514.44 v -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 514.18/514.44 v x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x61 -x2021 514.18/514.44 v -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 x2055 514.18/514.44 v -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x62 -x2081 -x2083 -x2085 -x2087 -x2089 514.18/514.44 v -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x63 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 514.18/514.44 v -x64 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 514.18/514.44 v -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x65 -x2187 -x2189 -x2191 514.18/514.44 v -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x66 -x2217 -x2219 -x2221 -x2223 -x2225 514.18/514.44 v -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 -x67 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 514.18/514.44 v -x68 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x69 -x2291 514.18/514.44 v -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x70 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 514.18/514.44 v -x2327 -x2329 -x2331 -x2333 -x71 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x72 -x2349 -x2351 -x2353 -x2355 -x2357 514.18/514.44 v -x2359 -x2361 -x73 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x74 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 514.18/514.44 v -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 514.18/514.44 v x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x75 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 514.18/514.44 v -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x76 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 514.18/514.44 v -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x77 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x78 -x2519 -x2521 -x2523 514.18/514.44 v -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x79 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 514.18/514.44 v -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x80 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x81 -x2589 514.18/514.44 v -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x82 -x2619 -x2621 -x2623 514.18/514.44 v -x2625 -x2627 -x2629 -x2631 -x83 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 x84 -x2647 x2649 -x2651 -x2653 -x2655 514.18/514.44 v -x2657 -x2659 -x85 -x2661 -x2663 -x2665 -x86 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 514.18/514.44 v -x2689 -x2691 -x2693 -x2695 -x87 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x88 -x2711 -x2713 -x2715 -x2717 -x2719 514.18/514.44 v -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x89 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 514.18/514.44 v -x90 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x91 -x2769 -x2771 -x2773 -x92 -x2775 -x2777 -x2779 -x2781 -x2783 514.18/514.44 v -x2785 -x2787 -x93 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x94 -x2803 -x2805 -x95 -x2807 -x2809 -x2811 -x2813 514.18/514.44 v -x2815 -x2817 -x2819 -x96 -x2821 -x2823 -x2825 -x97 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x98 -x2841 -x2843 514.18/514.44 v -x2845 -x99 -x2847 -x2849 -x2851 -x100 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 514.18/514.44 v -x2877 x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 x2905 -x2907 -x2909 -x2911 514.18/514.44 v -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x101 514.18/514.44 v -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x102 -x2975 514.18/514.44 v -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x103 -x3005 -x3007 514.18/514.44 v -x3009 -x3011 -x3013 -x3015 -x3017 -x104 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3040 514.18/514.44 v -x3042 -x3044 -x3046 -x105 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x106 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 514.18/514.44 v -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x107 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 514.18/514.44 v -x108 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x109 -x3136 514.18/514.44 v -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x110 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x111 -x3164 -x3166 -x3168 514.18/514.44 v -x112 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x113 -x3200 514.18/514.44 v -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x114 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 514.18/514.44 v -x3234 -x3236 -x3238 -x3240 -x3242 -x115 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x116 -x3258 -x3260 -x3262 -x3264 514.18/514.44 v -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x117 -x3288 -x3290 -x3292 -x3294 -x3296 514.18/514.44 v -x3298 -x3300 -x118 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x119 -x3316 -x3318 -x3321 -x3323 -x3325 -x3327 -x3329 514.18/514.44 v -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x120 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 514.18/514.44 v -x121 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x122 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x123 -x3392 514.18/514.44 v -x3394 -x3396 -x124 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x125 -x3412 -x3414 -x3416 -x126 -x3418 -x3420 -x3422 514.18/514.44 v -x3424 -x3426 -x3428 -x3430 x127 x3432 -x3434 -x3436 -x128 -x3438 -x3440 -x3442 -x129 -x3444 -x130 -x3447 -x3449 -x3451 514.18/514.44 v -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x131 -x3475 -x3477 -x3479 -x3481 -x3483 514.18/514.44 v -x3485 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x132 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 514.18/514.44 v -x133 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x134 -x3548 514.18/514.44 v -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x135 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 514.18/514.44 v -x3582 -x3584 -x3586 -x3588 -x3590 -x136 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 -x3604 -x137 -x3606 -x3608 -x3610 -x3612 514.18/514.44 v -x3614 -x3616 -x3618 -x138 -x3620 -x3622 -x3624 -x139 -x3626 -x3629 -x3631 -x3633 -x3635 -x140 -x3637 -x3639 -x3641 -x3643 514.18/514.44 v -x3645 -x3647 -x3649 -x141 -x3651 -x3653 -x3655 -x142 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 514.18/514.44 v -x3677 -x3679 -x3681 -x3683 -x3685 -x143 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x144 -x3701 -x3703 -x3705 -x3707 514.18/514.44 v -x3709 -x3711 -x3713 -x145 -x3715 -x3717 -x146 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x147 -x3733 -x3735 -x3737 514.18/514.44 v -x148 -x3739 -x3741 -x3743 -x149 -x3745 -x150 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x151 -x3761 -x3763 -x3765 514.18/514.44 v -x3767 -x3769 -x3771 -x3773 -x152 -x3775 -x3778 -x3780 -x3782 -x3784 -x3786 x3788 -x3790 -x3792 -x153 -x3794 -x3796 -x3798 514.18/514.44 v -x3800 -x3802 -x3804 -x3806 -x154 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x155 -x3822 -x3824 -x3826 -x156 -x3828 514.18/514.44 v -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x157 -x3842 -x3844 -x3846 -x158 -x3848 -x3850 -x3852 -x159 -x3854 x3856 -x3858 514.18/514.44 v -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x160 -x3882 -x3884 -x3886 -x3888 -x3890 514.18/514.44 v -x3892 -x3894 -x161 -x3896 -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x162 -x3910 -x3912 -x3914 -x3916 x3918 -x3920 -x3922 514.18/514.44 v -x3924 -x3926 -x3928 -x163 -x3930 -x3932 x3934 -x3936 x3938 -x3940 -x164 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 514.18/514.44 v x3956 -x3958 -x165 -x3960 -x3962 -x3964 -x166 -x3966 -x167 -x3968 x3970 x168 x3972 x169 x170
OK 25
/tmp/evaluation/372697-1177364726/instance-372697-1177364726.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node42/watcher-372697-1177364726 -o ROOT/results/node42/solver-372697-1177364726 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/372697-1177364726/instance-372697-1177364726.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.94 0.98 0.91 3/77 27379 /proc/meminfo: memFree=1871712/2055920 swapFree=4147460/4192956 [pid=27379] ppid=27377 vsize=2644 CPUtime=0 /proc/27379/stat : 27379 (glpPBv3) R 27377 27379 26864 0 -1 0 254 0 0 0 0 0 0 0 18 0 1 0 184384481 2707456 226 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 12873431 0 0 4096 0 0 0 0 17 1 0 0 /proc/27379/statm: 661 228 192 40 0 76 0 [startup+0.0643879 s] /proc/loadavg: 0.94 0.98 0.91 3/77 27379 /proc/meminfo: memFree=1871712/2055920 swapFree=4147460/4192956 [pid=27379] ppid=27377 vsize=3580 CPUtime=0.05 /proc/27379/stat : 27379 (glpPBv3) R 27377 27379 26864 0 -1 0 517 0 0 0 5 0 0 0 18 0 1 0 184384481 3665920 489 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 12873431 0 0 4096 0 0 0 0 17 1 0 0 /proc/27379/statm: 895 489 199 40 0 310 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3580 [startup+0.101396 s] /proc/loadavg: 0.94 0.98 0.91 3/77 27379 /proc/meminfo: memFree=1871712/2055920 swapFree=4147460/4192956 [pid=27379] ppid=27377 vsize=4116 CPUtime=0.09 /proc/27379/stat : 27379 (glpPBv3) R 27377 27379 26864 0 -1 0 630 0 0 0 9 0 0 0 18 0 1 0 184384481 4214784 602 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 12873431 0 0 4096 0 0 0 0 17 1 0 0 /proc/27379/statm: 1029 602 199 40 0 444 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4116 [startup+0.301443 s] /proc/loadavg: 0.94 0.98 0.91 3/77 27379 /proc/meminfo: memFree=1871712/2055920 swapFree=4147460/4192956 [pid=27379] ppid=27377 vsize=10728 CPUtime=0.26 /proc/27379/stat : 27379 (glpPBv3) R 27377 27379 26864 0 -1 0 2472 0 2 0 25 1 0 0 18 0 1 0 184384481 10985472 2268 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134643557 0 0 4096 0 0 0 0 17 0 0 0 /proc/27379/statm: 2682 2268 221 40 0 2097 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 10728 [startup+0.702516 s] /proc/loadavg: 0.94 0.98 0.91 3/77 27379 /proc/meminfo: memFree=1871712/2055920 swapFree=4147460/4192956 [pid=27379] ppid=27377 vsize=10728 CPUtime=0.66 /proc/27379/stat : 27379 (glpPBv3) R 27377 27379 26864 0 -1 0 2558 0 2 0 65 1 0 0 22 0 1 0 184384481 10985472 2300 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134583600 0 0 4096 0 0 0 0 17 0 0 0 /proc/27379/statm: 2682 2300 221 40 0 2097 0 Current children cumulated CPU time (s) 0.66 Current children cumulated vsize (KiB) 10728 [startup+1.50166 s] /proc/loadavg: 0.94 0.98 0.91 2/78 27380 /proc/meminfo: memFree=1862744/2055920 swapFree=4147460/4192956 [pid=27379] ppid=27377 vsize=11384 CPUtime=1.46 /proc/27379/stat : 27379 (glpPBv3) R 27377 27379 26864 0 -1 0 3103 0 2 0 144 2 0 0 25 0 1 0 184384481 11657216 2464 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134606416 0 0 4096 0 0 0 0 17 1 0 0 /proc/27379/statm: 2846 2464 221 40 0 2261 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 11384 [startup+3.10197 s] /proc/loadavg: 0.94 0.98 0.91 2/78 27380 /proc/meminfo: memFree=1862488/2055920 swapFree=4147460/4192956 [pid=27379] ppid=27377 vsize=10972 CPUtime=3.05 /proc/27379/stat : 27379 (glpPBv3) R 27377 27379 26864 0 -1 0 3623 0 2 0 303 2 0 0 25 0 1 0 184384481 11235328 2361 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134643172 0 0 4096 0 0 0 0 17 1 0 0 /proc/27379/statm: 2743 2361 221 40 0 2158 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 10972 [startup+6.30158 s] /proc/loadavg: 0.95 0.98 0.91 2/78 27380 /proc/meminfo: memFree=1862424/2055920 swapFree=4147460/4192956 [pid=27379] ppid=27377 vsize=10972 CPUtime=6.26 /proc/27379/stat : 27379 (glpPBv3) R 27377 27379 26864 0 -1 0 4487 0 2 0 623 3 0 0 25 0 1 0 184384481 11235328 2361 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134643524 0 0 4096 0 0 0 0 17 1 0 0 /proc/27379/statm: 2743 2361 221 40 0 2158 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 10972 [startup+12.7018 s] /proc/loadavg: 0.95 0.98 0.91 2/78 27380 /proc/meminfo: memFree=1858408/2055920 swapFree=4147460/4192956 [pid=27379] ppid=27377 vsize=14980 CPUtime=12.65 /proc/27379/stat : 27379 (glpPBv3) R 27377 27379 26864 0 -1 0 8106 0 2 0 1261 4 0 0 25 0 1 0 184384481 15339520 3369 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134632756 0 0 4096 0 0 0 0 17 1 0 0 /proc/27379/statm: 3745 3369 227 40 0 3160 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 14980 [startup+25.5012 s] /proc/loadavg: 0.96 0.98 0.91 2/78 27380 /proc/meminfo: memFree=1858408/2055920 swapFree=4147460/4192956 [pid=27379] ppid=27377 vsize=14980 CPUtime=25.45 /proc/27379/stat : 27379 (glpPBv3) R 27377 27379 26864 0 -1 0 12291 0 2 0 2539 6 0 0 25 0 1 0 184384481 15339520 3369 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 1 0 0 /proc/27379/statm: 3745 3369 227 40 0 3160 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 14980 [startup+51.1011 s] /proc/loadavg: 0.97 0.98 0.91 2/78 27380 /proc/meminfo: memFree=1858408/2055920 swapFree=4147460/4192956 [pid=27379] ppid=27377 vsize=14980 CPUtime=51.04 /proc/27379/stat : 27379 (glpPBv3) R 27377 27379 26864 0 -1 0 27006 0 2 0 5090 14 0 0 25 0 1 0 184384481 15339520 3369 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134643305 0 0 4096 0 0 0 0 17 1 0 0 /proc/27379/statm: 3745 3369 227 40 0 3160 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 14980 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.91 2/78 27380 /proc/meminfo: memFree=1858408/2055920 swapFree=4147460/4192956 [pid=27379] ppid=27377 vsize=14980 CPUtime=102.23 /proc/27379/stat : 27379 (glpPBv3) R 27377 27379 26864 0 -1 0 53382 0 2 0 10195 28 0 0 25 0 1 0 184384481 15339520 3369 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134643697 0 0 4096 0 0 0 0 17 1 0 0 /proc/27379/statm: 3745 3369 227 40 0 3160 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 14980 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.91 2/78 27380 /proc/meminfo: memFree=1858344/2055920 swapFree=4147460/4192956 [pid=27379] ppid=27377 vsize=14980 CPUtime=162.2 /proc/27379/stat : 27379 (glpPBv3) R 27377 27379 26864 0 -1 0 87237 0 2 0 16175 45 0 0 25 0 1 0 184384481 15339520 3369 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134569956 0 0 4096 0 0 0 0 17 1 0 0 /proc/27379/statm: 3745 3369 227 40 0 3160 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 14980 [startup+222.302 s] /proc/loadavg: 1.04 1.00 0.92 3/78 27380 /proc/meminfo: memFree=1858344/2055920 swapFree=4147460/4192956 [pid=27379] ppid=27377 vsize=14980 CPUtime=222.18 /proc/27379/stat : 27379 (glpPBv3) R 27377 27379 26864 0 -1 0 126815 0 2 0 22152 66 0 0 25 0 1 0 184384481 15339520 3369 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/27379/statm: 3745 3369 227 40 0 3160 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 14980 [startup+282.301 s] /proc/loadavg: 1.01 1.00 0.92 2/78 27380 /proc/meminfo: memFree=1857128/2055920 swapFree=4147460/4192956 [pid=27379] ppid=27377 vsize=16200 CPUtime=282.16 /proc/27379/stat : 27379 (glpPBv3) R 27377 27379 26864 0 -1 0 161282 0 2 0 28133 83 0 0 25 0 1 0 184384481 16588800 3674 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134643555 0 0 4096 0 0 0 0 17 1 0 0 /proc/27379/statm: 4050 3674 227 40 0 3465 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 16200 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.92 2/78 27380 /proc/meminfo: memFree=1857320/2055920 swapFree=4147460/4192956 [pid=27379] ppid=27377 vsize=14980 CPUtime=342.14 /proc/27379/stat : 27379 (glpPBv3) R 27377 27379 26864 0 -1 0 192225 0 2 0 34114 100 0 0 25 0 1 0 184384481 15339520 3369 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134629276 0 0 4096 0 0 0 0 17 1 0 0 /proc/27379/statm: 3745 3369 227 40 0 3160 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 14980 [startup+402.303 s] /proc/loadavg: 1.00 1.00 0.92 2/78 27380 /proc/meminfo: memFree=1858280/2055920 swapFree=4147460/4192956 [pid=27379] ppid=27377 vsize=16192 CPUtime=402.12 /proc/27379/stat : 27379 (glpPBv3) R 27377 27379 26864 0 -1 0 230732 0 2 0 40092 120 0 0 25 0 1 0 184384481 16580608 3669 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134643284 0 0 4096 0 0 0 0 17 1 0 0 /proc/27379/statm: 4048 3669 227 40 0 3463 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 16192 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.92 2/78 27380 /proc/meminfo: memFree=1858280/2055920 swapFree=4147460/4192956 [pid=27379] ppid=27377 vsize=14980 CPUtime=462.1 /proc/27379/stat : 27379 (glpPBv3) R 27377 27379 26864 0 -1 0 268226 0 2 0 46070 140 0 0 25 0 1 0 184384481 15339520 3369 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134643288 0 0 4096 0 0 0 0 17 1 0 0 /proc/27379/statm: 3745 3369 227 40 0 3160 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 14980 Solver just ended. Dumping a history of the last processes samples [startup+486.302 s] /proc/loadavg: 1.00 1.00 0.92 2/78 27380 /proc/meminfo: memFree=1857128/2055920 swapFree=4147460/4192956 [pid=27379] ppid=27377 vsize=14980 CPUtime=486.09 /proc/27379/stat : 27379 (glpPBv3) R 27377 27379 26864 0 -1 0 285951 0 2 0 48460 149 0 0 25 0 1 0 184384481 15339520 3369 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134632637 0 0 4096 0 0 0 0 17 1 0 0 /proc/27379/statm: 3745 3369 227 40 0 3160 0 Current children cumulated CPU time (s) 486.09 Current children cumulated vsize (KiB) 14980 [startup+499.101 s] /proc/loadavg: 1.00 1.00 0.92 2/78 27380 /proc/meminfo: memFree=1858280/2055920 swapFree=4147460/4192956 [pid=27379] ppid=27377 vsize=14980 CPUtime=498.89 /proc/27379/stat : 27379 (glpPBv3) R 27377 27379 26864 0 -1 0 294792 0 2 0 49736 153 0 0 25 0 1 0 184384481 15339520 3369 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134542173 0 0 4096 0 0 0 0 17 1 0 0 /proc/27379/statm: 3745 3369 227 40 0 3160 0 Current children cumulated CPU time (s) 498.89 Current children cumulated vsize (KiB) 14980 [startup+505.502 s] /proc/loadavg: 1.00 1.00 0.92 2/78 27380 /proc/meminfo: memFree=1857128/2055920 swapFree=4147460/4192956 [pid=27379] ppid=27377 vsize=16212 CPUtime=505.29 /proc/27379/stat : 27379 (glpPBv3) R 27377 27379 26864 0 -1 0 299864 0 2 0 50374 155 0 0 25 0 1 0 184384481 16601088 3632 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 12873431 0 0 4096 0 0 0 0 17 1 0 0 /proc/27379/statm: 4053 3640 227 40 0 3468 0 Current children cumulated CPU time (s) 505.29 Current children cumulated vsize (KiB) 16212 [startup+508.701 s] /proc/loadavg: 1.00 1.00 0.92 2/78 27380 /proc/meminfo: memFree=1858280/2055920 swapFree=4147460/4192956 [pid=27379] ppid=27377 vsize=14980 CPUtime=508.49 /proc/27379/stat : 27379 (glpPBv3) R 27377 27379 26864 0 -1 0 302581 0 2 0 50692 157 0 0 25 0 1 0 184384481 15339520 3369 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134543129 0 0 4096 0 0 0 0 17 1 0 0 /proc/27379/statm: 3745 3369 227 40 0 3160 0 Current children cumulated CPU time (s) 508.49 Current children cumulated vsize (KiB) 14980 [startup+511.902 s] /proc/loadavg: 1.00 1.00 0.92 2/78 27380 /proc/meminfo: memFree=1858280/2055920 swapFree=4147460/4192956 [pid=27379] ppid=27377 vsize=16268 CPUtime=511.68 /proc/27379/stat : 27379 (glpPBv3) R 27377 27379 26864 0 -1 0 308059 0 2 0 51009 159 0 0 25 0 1 0 184384481 16658432 3691 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134638627 0 0 4096 0 0 0 0 17 1 0 0 /proc/27379/statm: 4067 3691 227 40 0 3482 0 Current children cumulated CPU time (s) 511.68 Current children cumulated vsize (KiB) 16268 [startup+513.501 s] /proc/loadavg: 1.00 1.00 0.92 2/78 27380 /proc/meminfo: memFree=1858280/2055920 swapFree=4147460/4192956 [pid=27379] ppid=27377 vsize=16400 CPUtime=513.28 /proc/27379/stat : 27379 (glpPBv3) R 27377 27379 26864 0 -1 0 310141 0 2 0 51168 160 0 0 25 0 1 0 184384481 16793600 3721 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27379/statm: 4100 3721 227 40 0 3515 0 Current children cumulated CPU time (s) 513.28 Current children cumulated vsize (KiB) 16400 [startup+513.902 s] /proc/loadavg: 1.00 1.00 0.92 2/78 27380 /proc/meminfo: memFree=1857064/2055920 swapFree=4147460/4192956 [pid=27379] ppid=27377 vsize=16400 CPUtime=513.68 /proc/27379/stat : 27379 (glpPBv3) R 27377 27379 26864 0 -1 0 311151 0 2 0 51207 161 0 0 25 0 1 0 184384481 16793600 3721 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27379/statm: 4100 3721 227 40 0 3515 0 Current children cumulated CPU time (s) 513.68 Current children cumulated vsize (KiB) 16400 [startup+514.301 s] /proc/loadavg: 1.00 1.00 0.92 2/78 27380 /proc/meminfo: memFree=1857064/2055920 swapFree=4147460/4192956 [pid=27379] ppid=27377 vsize=16400 CPUtime=514.08 /proc/27379/stat : 27379 (glpPBv3) R 27377 27379 26864 0 -1 0 311727 0 2 0 51247 161 0 0 25 0 1 0 184384481 16793600 3721 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 134581748 0 0 4096 0 0 0 0 17 1 0 0 /proc/27379/statm: 4100 3721 227 40 0 3515 0 Current children cumulated CPU time (s) 514.08 Current children cumulated vsize (KiB) 16400 [startup+514.401 s] /proc/loadavg: 1.00 1.00 0.92 2/78 27380 /proc/meminfo: memFree=1857064/2055920 swapFree=4147460/4192956 [pid=27379] ppid=27377 vsize=16516 CPUtime=514.18 /proc/27379/stat : 27379 (glpPBv3) R 27377 27379 26864 0 -1 0 311814 0 2 0 51257 161 0 0 25 0 1 0 184384481 16912384 3753 18446744073709551615 134512640 134678228 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27379/statm: 4129 3753 227 40 0 3544 0 Current children cumulated CPU time (s) 514.18 Current children cumulated vsize (KiB) 16516 Child status: 30 Real time (s): 514.45 CPU time (s): 514.235 CPU user time (s): 512.613 CPU system time (s): 1.62175 CPU usage (%): 99.9581 Max. virtual memory (cumulated for all children) (KiB): 16688 getrusage(RUSAGE_CHILDREN,...) data: user time used= 512.613 system time used= 1.62175 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 311849 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 19 involuntary context switches= 954 runsolver used 0.428934 second user time and 1.08583 second system time The end
Begin job on node42 on Mon Apr 23 21:45:26 UTC 2007 IDJOB= 372697 IDBENCH= 24990 IDSOLVER= 166 FILE ID= node42/372697-1177364726 PBS_JOBID= 4675208 Free space on /tmp= 66446 MiB SOLVER NAME= glpPB 0.2 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_008_area_delay.opb COMMAND LINE= glpPBv3 /tmp/evaluation/372697-1177364726/instance-372697-1177364726.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node42/convwatcher-372697-1177364726 -o ROOT/results/node42/conversion-372697-1177364726 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372697-1177364726/instance-372697-1177364726.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-372697-1177364726 -o ROOT/results/node42/solver-372697-1177364726 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/372697-1177364726/instance-372697-1177364726.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 6e9753dce198ef5ddba763a137b390c4 RANDOM SEED= 980680282 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node42.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.277 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.277 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: 1872184 kB Buffers: 38832 kB Cached: 66240 kB SwapCached: 14744 kB Active: 42712 kB Inactive: 86428 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1872184 kB SwapTotal: 4192956 kB SwapFree: 4147460 kB Dirty: 2624 kB Writeback: 0 kB Mapped: 30856 kB Slab: 40016 kB Committed_AS: 3550308 kB PageTables: 1912 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= 66446 MiB End job on node42 on Mon Apr 23 21:54:01 UTC 2007