Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 28 | 1782.74 | 1783.29 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_018_area_delay.opb |
MD5SUM | c19adaf233257cdd6134391794b23c65 |
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 | 18.7901 |
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 | 3187 |
Total number of constraints | 8922 |
Number of constraints which are clauses | 8922 |
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 | 1527 |
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 | 1527 |
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 | 1527 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 0.09/0.16 c starting to Solve 0.09/0.16 c #variables read: 3187 - #constraints read: 8830 0.09/0.16 o 42 0.09/0.16 o 41 0.09/0.20 o 37 0.19/0.21 o 34 0.19/0.23 o 32 0.19/0.23 o 31 0.29/0.40 o 30 29.88/29.92 o 29 129.76/129.86 o 28 1782.65/1783.27 c total time : 1783 s 1782.65/1783.27 s SATISFIABLE 1782.65/1783.27 v -x138 -x140 -x142 x144 -x146 -x148 -x150 -x152 -x154 -x156 -x158 -x160 -x162 -x164 -x166 -x168 -x170 -x172 -x174 -x176 -x178 1782.65/1783.27 v -x180 -x182 -x184 -x186 -x188 -x190 -x192 -x194 -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 1782.65/1783.27 v -x222 -x224 -x226 -x228 -x230 x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 1782.65/1783.27 v -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 1782.65/1783.27 v -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 1782.65/1783.27 v -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 1782.65/1783.27 v -x390 -x392 -x394 x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 1782.65/1783.27 v -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 1782.65/1783.27 v -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 1782.65/1783.27 v -x516 -x518 -x520 -x522 -x524 -x526 -x528 x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 1782.65/1783.27 v -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 1782.65/1783.27 v -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 1782.65/1783.27 v -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 x681 1782.65/1783.27 v -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 1782.65/1783.27 v -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 1782.65/1783.27 v -x767 -x769 -x771 x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 1782.65/1783.27 v -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 1782.65/1783.27 v -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 1782.65/1783.27 v -x893 -x895 x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 1782.65/1783.27 v -x935 -x937 -x939 -x941 -x943 x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 1782.65/1783.27 v -x977 x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 x1005 -x1007 -x1009 -x1011 -x1013 -x1015 1782.65/1783.27 v -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 1782.65/1783.27 v -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 1782.65/1783.27 v -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 1782.65/1783.27 v -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 1782.65/1783.27 v -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 1782.65/1783.27 v -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 1782.65/1783.27 v x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 1782.65/1783.27 v -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 1782.65/1783.27 v -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 1782.65/1783.27 v -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 1782.65/1783.27 v -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 -x1389 1782.65/1783.27 v -x1391 -x1393 -x1395 -x1397 -x1399 x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 1782.65/1783.27 v -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 1782.65/1783.27 v -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 1782.65/1783.27 v -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1518 -x1520 -x1522 -x1524 1782.65/1783.27 v -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 1782.65/1783.27 v -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 1782.65/1783.27 v -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 1782.65/1783.27 v -x1628 -x1630 -x1632 -x1634 -x1636 x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 1782.65/1783.27 v -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 1782.65/1783.27 v -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 x1726 -x1728 1782.65/1783.27 v -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 1782.65/1783.27 v -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 1782.65/1783.27 v -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 1782.65/1783.27 v -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 1782.65/1783.27 v -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 1782.65/1783.27 v -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 1782.65/1783.27 v x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 1782.65/1783.27 v -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 1782.65/1783.27 v -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 1782.65/1783.27 v -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 1782.65/1783.27 v -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 1782.65/1783.27 v -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 1782.65/1783.27 v -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 1782.65/1783.27 v -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 1782.65/1783.27 v -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 1782.65/1783.27 v x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 1782.65/1783.27 v -x2274 -x2276 -x2278 -x2280 x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 1782.65/1783.27 v -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 1782.65/1783.27 v -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 1782.65/1783.27 v -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 1782.65/1783.27 v -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 1782.65/1783.27 v -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 x2472 -x2474 -x2476 1782.65/1783.27 v -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 1782.65/1783.27 v -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 1782.65/1783.27 v -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 1782.65/1783.27 v -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 1782.65/1783.27 v -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 1782.65/1783.27 v -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 1782.65/1783.27 v -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 1782.65/1783.27 v -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 1782.65/1783.27 v -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 1782.65/1783.27 v -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815 1782.65/1783.27 v -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 1782.65/1783.27 v -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 1782.65/1783.27 v -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 1782.65/1783.27 v -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 1782.65/1783.27 v -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 1782.65/1783.27 v -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 1782.65/1783.27 v -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 1782.65/1783.27 v -x3055 -x3057 x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 1782.65/1783.27 v -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 1782.65/1783.27 v -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 x3145 -x3147 -x3149 -x3151 -x3153 -x3155 1782.65/1783.27 v -x3157 x3159 -x3161 -x3163 -x3165 -x3167 -x3169 x3171 -x3173 x3175 -x3177 -x3179 x3181 -x3183 x3185 -x3187 -x137 -x139 1782.65/1783.27 v -x141 x143 -x145 -x147 -x149 -x151 -x153 -x155 -x157 -x159 -x161 -x163 -x165 -x167 -x1 -x169 -x171 -x173 -x175 -x177 -x179 1782.65/1783.27 v -x181 -x2 -x183 -x185 -x187 -x189 -x191 -x193 -x195 -x3 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 1782.65/1783.27 v -x219 -x221 -x223 -x225 -x227 -x229 x231 -x233 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 1782.65/1783.27 v -x261 -x263 -x4 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x5 -x295 -x297 1782.65/1783.27 v -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x6 -x325 -x327 -x329 -x331 -x333 -x335 -x337 1782.65/1783.27 v -x7 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x8 -x369 -x371 -x373 -x375 1782.65/1783.27 v -x377 -x379 -x381 -x9 -x383 -x385 -x387 -x389 -x391 -x393 x395 x10 -x397 -x399 -x401 -x11 -x403 -x405 -x407 -x409 -x411 -x413 1782.65/1783.27 v -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x12 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x13 -x447 -x449 -x451 1782.65/1783.27 v -x453 -x455 -x457 -x459 -x14 -x461 -x463 -x465 -x15 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x16 -x481 -x483 -x485 -x17 1782.65/1783.27 v -x487 -x489 x491 x18 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 1782.65/1783.27 v -x527 x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x19 -x557 -x559 -x561 -x563 -x565 1782.65/1783.27 v -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x20 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 1782.65/1783.27 v -x607 -x609 -x611 -x613 -x615 -x21 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 1782.65/1783.27 v -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x682 -x684 -x686 -x688 1782.65/1783.27 v -x690 -x22 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x23 -x722 -x724 -x726 1782.65/1783.27 v -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x24 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 1782.65/1783.27 v -x768 -x770 x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x25 -x796 -x798 -x800 -x802 -x804 -x806 1782.65/1783.27 v -x808 -x26 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x27 -x840 -x842 -x844 1782.65/1783.27 v -x846 -x848 -x850 -x852 -x28 -x854 -x856 -x858 -x860 -x862 -x864 x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 1782.65/1783.27 v -x886 -x888 -x890 -x892 -x894 x896 -x898 -x900 -x902 -x29 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 1782.65/1783.27 v -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 x944 -x946 -x30 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x31 -x962 1782.65/1783.27 v -x964 -x966 -x968 -x970 -x972 -x974 x32 -x976 x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 1782.65/1783.27 v x1004 -x1006 -x1008 -x1010 -x33 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x34 -x1026 -x1028 -x1030 -x1032 -x1034 1782.65/1783.27 v -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x35 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 1782.65/1783.27 v -x36 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x37 -x1084 -x1086 -x1088 -x38 -x1090 -x1092 -x1094 -x1096 -x1098 1782.65/1783.27 v -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x39 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 1782.65/1783.27 v -x40 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x41 -x1148 -x1150 -x42 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 1782.65/1783.27 v -x1164 -x43 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x44 -x1180 -x1182 -x1184 -x45 -x1186 -x1188 -x1190 -x1192 1782.65/1783.27 v -x1194 -x1196 -x1198 -x46 -x1200 -x1202 -x1204 -x47 -x1206 -x1208 -x1210 -x48 -x1212 -x1214 -x1216 -x1218 x1220 -x1222 1782.65/1783.27 v -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x49 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 1782.65/1783.27 v -x50 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x51 -x1288 1782.65/1783.27 v -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x52 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 1782.65/1783.27 v -x1324 -x1326 -x1328 -x1330 -x53 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x54 -x1346 -x1348 -x1350 -x1352 -x1354 1782.65/1783.27 v -x1356 -x1358 -x55 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x56 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 1782.65/1783.27 v -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 1782.65/1783.27 v -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 1782.65/1783.27 v -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 1782.65/1783.27 v -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x57 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1519 -x1521 -x1523 1782.65/1783.27 v -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 1782.65/1783.27 v -x1559 -x1561 -x1563 -x58 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 1782.65/1783.27 v -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 1782.65/1783.27 v -x1627 -x1629 -x1631 -x1633 -x1635 x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x59 -x1657 -x1659 1782.65/1783.27 v -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 1782.65/1783.27 v -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 x1725 -x1727 1782.65/1783.27 v -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x60 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 1782.65/1783.27 v -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x61 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x62 -x1793 1782.65/1783.27 v -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 1782.65/1783.27 v -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x63 -x1855 -x1857 -x1859 -x1861 1782.65/1783.27 v -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x64 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 1782.65/1783.27 v -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x65 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 1782.65/1783.27 v -x1931 x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x66 -x1959 -x1961 -x1963 1782.65/1783.27 v -x1965 -x1967 -x1969 -x1971 -x67 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x68 -x1987 -x1989 -x1991 -x69 -x1993 1782.65/1783.27 v -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 1782.65/1783.27 v -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x70 -x2055 -x2057 -x2059 -x2061 1782.65/1783.27 v -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x71 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 1782.65/1783.27 v -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x72 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x73 1782.65/1783.27 v -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x74 -x2159 -x2161 1782.65/1783.27 v -x2163 -x2165 -x2167 -x2169 -x2171 -x75 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x76 -x2187 -x2189 -x2191 -x77 1782.65/1783.27 v -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x78 -x2223 -x2225 1782.65/1783.27 v -x2227 -x2229 -x2231 -x2233 -x2235 x79 -x2237 x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x80 -x2251 -x2253 -x2255 -x81 -x2257 1782.65/1783.27 v -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x82 -x2271 -x2273 -x2275 -x83 -x2277 -x2279 x2281 x84 -x2283 -x85 -x2285 -x2287 1782.65/1783.27 v -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 1782.65/1783.27 v -x2323 -x2325 x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 1782.65/1783.27 v -x2357 -x2359 -x86 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 1782.65/1783.27 v -x87 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x88 -x2421 1782.65/1783.27 v -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x89 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 1782.65/1783.27 v -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 x2471 -x2473 -x2475 -x2477 -x90 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 1782.65/1783.27 v -x2491 -x91 -x2493 -x2495 -x2497 -x92 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 1782.65/1783.27 v -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 1782.65/1783.27 v -x2557 -x2559 -x93 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x94 1782.65/1783.27 v -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x95 -x2619 -x2621 1782.65/1783.27 v -x2623 -x2625 -x2627 -x2629 -x2631 -x96 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 1782.65/1783.27 v -x2657 -x2659 -x2661 -x97 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x98 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 1782.65/1783.27 v -x99 -x2689 -x2691 -x2693 -x100 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 1782.65/1783.27 v -x2721 -x2723 -x101 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x102 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 1782.65/1783.27 v -x103 -x2753 -x2755 -x104 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x105 -x2771 -x2773 -x2775 -x106 -x2777 -x2779 1782.65/1783.27 v -x2781 -x107 -x2783 -x108 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 1782.65/1783.27 v -x2814 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x109 -x2840 -x2842 -x2844 1782.65/1783.27 v -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x110 -x2870 -x2872 -x2874 -x2876 1782.65/1783.27 v -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x111 -x2900 -x2902 -x2904 -x2906 -x2908 1782.65/1783.27 v -x2910 -x2912 -x112 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 1782.65/1783.27 v -x2942 -x113 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x114 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x115 1782.65/1783.27 v -x2972 -x2974 -x2976 -x116 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 1782.65/1783.27 v -x3004 -x3006 -x117 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x118 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 1782.65/1783.27 v -x119 -x3036 -x3038 -x3040 -x120 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 x121 -x3056 x3058 -x3060 -x122 -x3062 1782.65/1783.27 v -x3064 -x3066 -x123 -x3068 -x124 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 1782.65/1783.27 v -x125 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x126 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x127 -x3124 1782.65/1783.27 v -x3126 -x3128 -x128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 x3144 -x3146 -x129 -x3148 -x3150 -x3152 -x130 -x3154 1782.65/1783.27 v -x3156 x3158 -x3160 -x3162 -x3164 -x3166 -x3168 x3170 -x3172 x131 x3174 -x3176 -x3178 -x132 x3180 x133 -x3182 x3184 x134 1782.65/1783.27 v -x3186 -x135 x136
OK 28
/tmp/evaluation/372794-1177134547/instance-372794-1177134547.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node34/watcher-372794-1177134547 -o ROOT/results/node34/solver-372794-1177134547 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/372794-1177134547/instance-372794-1177134547.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.02 1.01 1.00 3/77 12557 /proc/meminfo: memFree=1805128/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=2552 CPUtime=0 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 161370175 2613248 230 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 8187607 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 638 232 193 16 0 77 0 [startup+0.05647 s] /proc/loadavg: 1.02 1.01 1.00 3/77 12557 /proc/meminfo: memFree=1805128/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=3352 CPUtime=0.05 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 477 0 0 0 5 0 0 0 18 0 1 0 161370175 3432448 447 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134546422 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 838 447 199 16 0 277 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3352 [startup+0.102471 s] /proc/loadavg: 1.02 1.01 1.00 3/77 12557 /proc/meminfo: memFree=1805128/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=3884 CPUtime=0.09 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 619 0 0 0 9 0 0 0 18 0 1 0 161370175 3977216 589 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134553750 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 971 592 200 16 0 410 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3884 [startup+0.302489 s] /proc/loadavg: 1.02 1.01 1.00 3/77 12557 /proc/meminfo: memFree=1805128/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=4796 CPUtime=0.29 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 832 0 0 0 28 1 0 0 19 0 1 0 161370175 4911104 802 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528017 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 1199 802 205 16 0 638 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4796 [startup+0.701519 s] /proc/loadavg: 1.02 1.01 1.00 3/77 12557 /proc/meminfo: memFree=1805128/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=4796 CPUtime=0.69 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 832 0 0 0 67 2 0 0 22 0 1 0 161370175 4911104 802 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527937 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 1199 802 205 16 0 638 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4796 [startup+1.50158 s] /proc/loadavg: 1.02 1.01 1.00 2/78 12558 /proc/meminfo: memFree=1802752/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=4928 CPUtime=1.49 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 841 0 0 0 147 2 0 0 25 0 1 0 161370175 5046272 811 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527978 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 1232 811 205 16 0 671 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4928 [startup+3.10171 s] /proc/loadavg: 1.02 1.01 1.00 2/78 12558 /proc/meminfo: memFree=1802176/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=5796 CPUtime=3.09 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 1073 0 0 0 304 5 0 0 25 0 1 0 161370175 5935104 1043 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 1449 1043 205 16 0 888 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5796 [startup+6.30196 s] /proc/loadavg: 1.02 1.01 1.00 2/78 12558 /proc/meminfo: memFree=1801288/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=6296 CPUtime=6.29 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 1200 0 0 0 620 9 0 0 25 0 1 0 161370175 6447104 1170 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 1574 1170 205 16 0 1013 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6296 [startup+12.7015 s] /proc/loadavg: 1.02 1.01 1.00 2/78 12558 /proc/meminfo: memFree=1800200/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=7160 CPUtime=12.68 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 1411 0 0 0 1252 16 0 0 25 0 1 0 161370175 7331840 1381 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 1790 1381 205 16 0 1229 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 7160 [startup+25.5025 s] /proc/loadavg: 1.01 1.01 1.00 2/78 12558 /proc/meminfo: memFree=1799624/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=7664 CPUtime=25.48 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 1534 0 0 0 2517 31 0 0 25 0 1 0 161370175 7847936 1504 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 1916 1504 205 16 0 1355 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 7664 [startup+51.1025 s] /proc/loadavg: 1.01 1.00 1.00 2/78 12558 /proc/meminfo: memFree=1797320/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=9928 CPUtime=51.08 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 2099 0 0 0 5061 47 0 0 25 0 1 0 161370175 10166272 2069 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 2482 2069 205 16 0 1921 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 9928 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12558 /proc/meminfo: memFree=1795208/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=12120 CPUtime=102.27 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 2623 0 0 0 10141 86 0 0 25 0 1 0 161370175 12410880 2593 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 3030 2593 205 16 0 2469 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 12120 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12558 /proc/meminfo: memFree=1794312/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=13036 CPUtime=162.25 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 2841 0 0 0 16102 123 0 0 25 0 1 0 161370175 13348864 2811 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 3259 2811 205 16 0 2698 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 13036 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 3/78 12558 /proc/meminfo: memFree=1793224/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=14340 CPUtime=222.23 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 3129 0 0 0 22046 177 0 0 25 0 1 0 161370175 14684160 3099 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 3585 3099 205 16 0 3024 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 14340 [startup+282.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12558 /proc/meminfo: memFree=1790536/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=16856 CPUtime=282.22 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 3780 0 0 0 28010 212 0 0 25 0 1 0 161370175 17260544 3750 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 4214 3750 205 16 0 3653 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 16856 [startup+342.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12558 /proc/meminfo: memFree=1790600/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=16856 CPUtime=342.2 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 3785 0 0 0 33965 255 0 0 25 0 1 0 161370175 17260544 3755 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 4214 3755 205 16 0 3653 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 16856 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12558 /proc/meminfo: memFree=1790536/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=16856 CPUtime=402.18 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 3786 0 0 0 39923 295 0 0 25 0 1 0 161370175 17260544 3756 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 4214 3756 205 16 0 3653 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 16856 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12558 /proc/meminfo: memFree=1788232/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=19232 CPUtime=462.17 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 4350 0 0 0 45879 338 0 0 25 0 1 0 161370175 19693568 4320 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 4808 4320 205 16 0 4247 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 19232 [startup+522.302 s] /proc/loadavg: 1.07 1.03 1.01 2/78 12558 /proc/meminfo: memFree=1788104/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=19356 CPUtime=522.16 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 4401 0 0 0 51842 374 0 0 25 0 1 0 161370175 19820544 4371 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 4839 4371 205 16 0 4278 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 19356 [startup+582.302 s] /proc/loadavg: 1.06 1.03 1.01 2/78 12558 /proc/meminfo: memFree=1785800/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=21604 CPUtime=582.14 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 4962 0 0 0 57795 419 0 0 25 0 1 0 161370175 22122496 4932 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 5401 4932 205 16 0 4840 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 21604 [startup+642.301 s] /proc/loadavg: 1.02 1.02 1.00 2/78 12558 /proc/meminfo: memFree=1785864/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=21604 CPUtime=642.13 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 4962 0 0 0 63751 462 0 0 25 0 1 0 161370175 22122496 4932 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 5401 4932 205 16 0 4840 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 21604 ################ # More data... # ################ /proc/meminfo: memFree=1782472/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=24848 CPUtime=881.98 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 5901 0 0 0 87544 654 0 0 25 0 1 0 161370175 25444352 5751 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 6212 5751 205 16 0 5651 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 24848 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12756 /proc/meminfo: memFree=1782024/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=25348 CPUtime=941.96 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 6009 0 0 0 93504 692 0 0 25 0 1 0 161370175 25956352 5859 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 6337 5859 205 16 0 5776 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 25348 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12756 /proc/meminfo: memFree=1782088/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=25348 CPUtime=1001.94 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 6009 0 0 0 99459 735 0 0 25 0 1 0 161370175 25956352 5859 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 6337 5859 205 16 0 5776 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 25348 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12756 /proc/meminfo: memFree=1781512/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=26052 CPUtime=1061.93 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 6153 0 0 0 105402 791 0 0 25 0 1 0 161370175 26677248 6003 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 6513 6003 205 16 0 5952 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 26052 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12756 /proc/meminfo: memFree=1781320/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=26212 CPUtime=1121.91 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 6199 0 0 0 111351 840 0 0 25 0 1 0 161370175 26841088 6049 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 6553 6049 205 16 0 5992 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 26212 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12756 /proc/meminfo: memFree=1781064/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=26688 CPUtime=1181.9 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 6259 0 0 0 117307 883 0 0 25 0 1 0 161370175 27328512 6109 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 6672 6109 205 16 0 6111 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 26688 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12756 /proc/meminfo: memFree=1781000/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=26880 CPUtime=1241.88 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 6290 0 0 0 123262 926 0 0 25 0 1 0 161370175 27525120 6140 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 6720 6140 205 16 0 6159 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 26880 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12756 /proc/meminfo: memFree=1780936/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=26880 CPUtime=1301.88 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 6290 0 0 0 129219 969 0 0 25 0 1 0 161370175 27525120 6140 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 6720 6140 205 16 0 6159 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 26880 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12756 /proc/meminfo: memFree=1779976/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=27728 CPUtime=1361.85 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 6531 0 0 0 135179 1006 0 0 25 0 1 0 161370175 28393472 6381 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 6932 6381 205 16 0 6371 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 27728 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12756 /proc/meminfo: memFree=1774600/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=32960 CPUtime=1421.84 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 7867 0 0 0 141144 1040 0 0 25 0 1 0 161370175 33751040 7686 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528033 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 8240 7686 205 16 0 7679 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 32960 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12756 /proc/meminfo: memFree=1774664/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=32960 CPUtime=1481.83 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 7867 0 0 0 147106 1077 0 0 25 0 1 0 161370175 33751040 7686 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 8240 7686 205 16 0 7679 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 32960 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12756 /proc/meminfo: memFree=1774664/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=32960 CPUtime=1541.81 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 7871 0 0 0 153060 1121 0 0 25 0 1 0 161370175 33751040 7690 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 8240 7690 205 16 0 7679 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 32960 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12756 /proc/meminfo: memFree=1774664/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=32960 CPUtime=1601.79 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 7871 0 0 0 159021 1158 0 0 25 0 1 0 161370175 33751040 7690 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 8240 7690 205 16 0 7679 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 32960 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12756 /proc/meminfo: memFree=1774728/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=32960 CPUtime=1661.77 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 7871 0 0 0 164978 1199 0 0 25 0 1 0 161370175 33751040 7690 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559423 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 8240 7690 205 16 0 7679 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 32960 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12756 /proc/meminfo: memFree=1774728/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=32960 CPUtime=1721.76 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 7871 0 0 0 170929 1247 0 0 25 0 1 0 161370175 33751040 7690 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134532120 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 8240 7690 205 16 0 7679 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 32960 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12756 /proc/meminfo: memFree=1774728/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=32960 CPUtime=1781.75 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 7873 0 0 0 176886 1289 0 0 25 0 1 0 161370175 33751040 7692 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 8240 7692 205 16 0 7679 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 32960 Solver just ended. Dumping a history of the last processes samples [startup+1782.7 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12756 /proc/meminfo: memFree=1774728/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=32960 CPUtime=1782.14 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 7873 0 0 0 176925 1289 0 0 25 0 1 0 161370175 33751040 7692 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 8240 7692 205 16 0 7679 0 Current children cumulated CPU time (s) 1782.14 Current children cumulated vsize (KiB) 32960 [startup+1783.11 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12756 /proc/meminfo: memFree=1774728/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=32960 CPUtime=1782.55 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 7873 0 0 0 176965 1290 0 0 25 0 1 0 161370175 33751040 7692 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 8240 7692 205 16 0 7679 0 Current children cumulated CPU time (s) 1782.55 Current children cumulated vsize (KiB) 32960 [startup+1783.2 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12756 /proc/meminfo: memFree=1774728/2055920 swapFree=4159644/4192956 [pid=12557] ppid=12555 vsize=32960 CPUtime=1782.65 /proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 7873 0 0 0 176975 1290 0 0 25 0 1 0 161370175 33751040 7692 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558832 0 0 4096 0 0 0 0 17 1 0 0 /proc/12557/statm: 8240 7692 205 16 0 7679 0 Current children cumulated CPU time (s) 1782.65 Current children cumulated vsize (KiB) 32960 Child status: 10 Real time (s): 1783.29 CPU time (s): 1782.74 CPU user time (s): 1769.83 CPU system time (s): 12.907 CPU usage (%): 99.9692 Max. virtual memory (cumulated for all children) (KiB): 33144 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1769.83 system time used= 12.907 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7880 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 16 involuntary context switches= 24747 runsolver used 2.14667 second user time and 4.05938 second system time The end
Begin job on node34 on Sat Apr 21 05:49:07 UTC 2007 IDJOB= 372794 IDBENCH= 24997 IDSOLVER= 165 FILE ID= node34/372794-1177134547 PBS_JOBID= 4648793 Free space on /tmp= 66411 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_018_area_delay.opb COMMAND LINE= Pueblo /tmp/evaluation/372794-1177134547/instance-372794-1177134547.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node34/convwatcher-372794-1177134547 -o ROOT/results/node34/conversion-372794-1177134547 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372794-1177134547/instance-372794-1177134547.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-372794-1177134547 -o ROOT/results/node34/solver-372794-1177134547 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/372794-1177134547/instance-372794-1177134547.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= c19adaf233257cdd6134391794b23c65 RANDOM SEED= 787236431 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node34.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.236 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.236 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: 1805600 kB Buffers: 45284 kB Cached: 118392 kB SwapCached: 2788 kB Active: 142384 kB Inactive: 45040 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1805600 kB SwapTotal: 4192956 kB SwapFree: 4159644 kB Dirty: 2620 kB Writeback: 0 kB Mapped: 30796 kB Slab: 48240 kB Committed_AS: 1536228 kB PageTables: 1976 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= 66411 MiB End job on node34 on Sat Apr 21 06:18:51 UTC 2007