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