Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | SAT | 6 | 799.436 | 799.641 |
Name | /OPT-SMALLINT-LIN/flexray/ normalized-fx60.opb |
MD5SUM | 26c9befa85d0a0769813e718015f6caa |
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 | 6 |
Best CPU time to get the best result obtained on this benchmark | 26.413 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 2994 |
Total number of constraints | 3433 |
Number of constraints which are clauses | 2988 |
Number of constraints which are cardinality constraints (but not clauses) | 61 |
Number of constraints which are nor clauses,nor cardinality constraints | 384 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 384 |
Number of terms in the objective function | 6 |
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 | 6 |
Number of bits of the sum of numbers in the objective function | 3 |
Biggest number in a constraint | 42 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 757 |
Number of bits of the biggest sum of numbers | 10 |
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 wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680396-1277460520.opb. 0.00/0.00 c Instance file HOME/instance-2680396-1277460520.opb 0.00/0.00 c File size is 305017 bytes. 0.00/0.06 c Highest Coefficient sum: 757 0.00/0.06 c ============================[ Problem Statistics ]============================= 0.00/0.06 c | | 0.00/0.06 c | Parsing time: 0.06 s | 0.00/0.06 c | Number Variables: 2994 | 0.00/0.06 c | Number Clauses: 3048 | 0.00/0.06 c | Number Cardinality: 61 | 0.00/0.06 c | Number PB Constraints: 384 | 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 2988 3493 34998 | 5000 0 nan | 0.000 % | 0.07/0.08 c | 100 | 2988 3493 34998 | 5500 100 85 | 0.200 % | 0.09/0.11 c | 250 | 2988 3493 34998 | 6050 250 99 | 0.200 % | 0.09/0.16 c | 476 | 2988 3493 34998 | 6655 476 85 | 0.200 % | 0.19/0.26 c | 814 | 2988 3493 34998 | 7320 814 131 | 0.200 % | 0.29/0.36 c | 1320 | 2988 3493 34998 | 8052 1320 91 | 0.200 % | 0.49/0.51 c | 2081 | 2988 3493 34998 | 8857 2081 104 | 0.200 % | 0.80/0.83 c | 3221 | 2988 3493 34998 | 9743 3221 117 | 0.200 % | 1.10/1.19 c | 4930 | 2988 3493 34998 | 10717 4930 91 | 0.200 % | 1.99/2.06 c | 7492 | 2988 3493 34998 | 11789 7492 110 | 0.200 % | 3.09/3.10 c | 11336 | 2988 3493 34998 | 12968 11336 82 | 0.200 % | 5.40/5.40 c | 17102 | 2988 3493 34998 | 14265 9591 104 | 0.200 % | 7.99/8.09 c | 25751 | 2988 3493 34998 | 15692 10707 50 | 0.200 % | 16.79/16.87 c | 38725 | 2988 3493 34998 | 17261 15047 210 | 0.200 % | 25.08/25.13 c | 58188 | 2988 3493 34998 | 18987 16208 84 | 0.200 % | 71.07/71.15 c | 87380 | 2988 3493 34998 | 20886 14356 287 | 0.200 % | 97.16/97.24 c | 131169 | 2988 3493 34998 | 22974 11756 204 | 0.200 % | 180.84/180.97 c There are 6 assigned variables. 6 in cost function. 181.04/181.15 c ============================[ Search Statistics ]============================== 181.04/181.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.04/181.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.04/181.15 c =============================================================================== 181.04/181.15 c | 0 | 2988 510 29016 | 5000 0 nan | 0.000 % | 181.04/181.20 c | 100 | 2988 510 29016 | 5500 100 85 | 0.200 % | 181.14/181.23 c | 250 | 2988 510 29016 | 6050 250 99 | 0.200 % | 181.14/181.28 c | 476 | 2988 510 29016 | 6655 476 85 | 0.200 % | 181.25/181.38 c | 814 | 2988 510 29016 | 7320 814 131 | 0.200 % | 181.35/181.47 c | 1320 | 2988 510 29016 | 8052 1320 91 | 0.200 % | 181.54/181.64 c | 2081 | 2988 510 29016 | 8857 2081 104 | 0.200 % | 181.85/181.96 c | 3221 | 2988 510 29016 | 9743 3221 117 | 0.200 % | 182.24/182.33 c | 4930 | 2988 510 29016 | 10717 4930 91 | 0.200 % | 183.14/183.22 c | 7492 | 2988 510 29016 | 11789 7492 110 | 0.200 % | 184.24/184.36 c | 11336 | 2988 510 29016 | 12968 11336 82 | 0.200 % | 186.65/186.75 c | 17102 | 2988 510 29016 | 14265 9591 104 | 0.200 % | 189.54/189.63 c | 25751 | 2988 510 29016 | 15692 10707 50 | 0.200 % | 198.24/198.39 c | 38725 | 2988 510 29016 | 17261 15047 210 | 0.200 % | 206.84/206.99 c | 58188 | 2988 510 29016 | 18987 16208 84 | 0.200 % | 252.83/253.00 c | 87380 | 2988 510 29016 | 20886 14356 287 | 0.200 % | 279.12/279.22 c | 131169 | 2988 510 29016 | 22974 11756 204 | 0.200 % | 363.10/363.27 c | 196855 | 2988 510 29016 | 25272 13041 305 | 0.200 % | 412.78/412.97 c | 295383 | 2988 510 29016 | 27799 18268 84 | 0.200 % | 637.43/637.63 c | 443172 | 2988 510 29016 | 30579 17655 492 | 0.200 % | 799.19/799.47 c | 664857 | 2988 510 29016 | 33637 14162 233 | 0.200 % | 799.28/799.56 c =============================================================================== 799.28/799.56 c #cores: 0 799.28/799.56 c Final Weight: 6 799.28/799.56 s SATISFIABLE 799.28/799.56 v x1 x4 x6 x7 x8 x9 -x2194 x2286 -x2254 -x2350 -x1761 -x1531 -x1501 -x1476 -x455 -x442 -x465 -x586 -x1197 -x1214 -x1206 -x1222 -x1933 -x1955 -x1878 -x1897 -x2729 -x2753 -x2777 -x2801 -x887 x184 -x2674 -x1872 -x332 -x1057 -x71 -x852 x1727 -x2787 -x402 -x1230 -x52 x668 -x1423 -x1555 -x2319 -x294 x1978 -x1874 -x1855 -x1921 -x1898 -x1767 -x1787 -x1813 -x2795 -x2769 -x2749 -x2721 -x2705 -x2685 -x2657 -x2612 -x757 -x1048 -x1077 -x999 -x1022 -x945 -x978 -x898 -x42 -x70 -x89 -x291 -x314 -x334 -x358 -x183 -x2228 -x2377 -x2412 -x2321 -x2351 -x2510 -x2538 -x2447 -x1467 -x1496 -x1537 -x1553 -x1579 -x1609 -x1626 -x1677 -x1489 -x1458 -x2140 -x2164 -x2094 -x2119 x2056 -x2079 -x2241 -x2202 -x2292 -x2267 -x2914 -x2939 -x2951 -x2974 -x182 -x212 -x336 -x359 -x293 -x311 -x424 -x413 -x886 -x913 -x948 -x974 -x1000 -x1027 -x1050 -x1075 -x1447 -x1474 -x1806 -x1830 -x1762 -x1783 -x1722 -x1746 -x2213 -x2249 -x2256 -x2285 -x2570 -x2593 -x2619 -x2648 -x2623 -x2594 x2569 -x2284 -x2251 -x2227 -x2196 -x2410 -x2421 -x2390 -x2356 -x2322 -x2869 -x2893 -x2825 -x2845 -x331 -x211 -x186 -x258 -x236 -x134 -x106 -x177 -x157 -x137 -x37 -x15 -x78 -x62 -x635 -x659 -x1056 -x1040 -x998 -x977 -x944 -x917 -x893 -x870 -x847 -x831 -x823 -x806 -x783 -x762 -x743 -x716 -x1132 -x1452 -x1481 -x1515 -x1549 -x1571 -x1594 -x1621 -x1644 -x1665 -x1692 -x1695 -x1715 -x1741 -x1770 -x1788 -x2101 -x2169 -x2147 -x2277 -x2298 -x2206 -x2239 -x2398 -x2427 -x2336 -x2367 -x2493 -x2518 -x2543 -x2450 -x2482 -x2833 -x2981 -x2957 -x2932 -x2913 -x101 -x126 -x145 -x163 -x5 -x31 -x56 -x77 -x91 -x288 -x310 -x265 -x972 -x2747 -x1941 -x1353 x616 -x2138 -x2063 -x146 -x120 -x955 -x815 -x1798 -x1774 x2498 -x2580 -x178 -x110 -x2857 -x2872 x2895 -x2926 -x2933 -x2958 -x2976 -x2666 -x1554 -x2065 -x2092 -x2024 -x2042 -x2142 -x2171 -x2102 -x932 -x954 -x989 -x1201 -x1182 -x1247 -x1245 -x1127 -x318 -x247 -x278 -x200 -x226 -x512 -x487 -x471 -x2466 -x2494 -x2524 -x2559 -x2578 -x2606 -x2635 -x2686 -x1600 -x1714 -x1737 -x1666 -x1688 -x1796 -x1819 -x1750 -x1615 -x1634 -x1562 -x1589 -x2260 -x2288 -x2310 -x2340 x661 -x636 -x702 -x680 -x732 -x744 -x1435 -x1409 -x1559 -x1582 -x1624 -x1649 -x2189 -x2221 -x2387 -x2417 -x848 -x2155 -x2182 -x2172 -x1506 -x1471 -x1441 -x2922 -x2383 -x2226 -x2197 -x2281 x273 -x202 -x221 -x345 -x858 -x900 -x927 -x953 -x1543 -x1460 -x1490 -x1799 -x807 -x979 -x946 -x919 -x894 -x1078 -x1049 -x1029 -x1446 -x1533 -x1503 -x1785 -x1759 -x1832 -x1809 -x1699 -x2328 -x2287 -x2255 -x2220 -x2195 -x2647 -x2620 -x2596 -x2419 -x2325 -x2355 -x2252 -x2278 -x2198 -x2224 -x2622 -x2828 -x1576 -x1599 -x1607 -x1631 -x1443 -x1470 -x1500 -x2012 -x2075 -x2057 x765 -x795 -x733 -x755 -x846 -x2324 -x2320 -x2411 x2382 -x2886 -x1645 -x1632 -x1606 -x2074 -x2014 -x2030 -x2048 -x1337 -x1360 -x1380 -x1403 -x609 -x543 -x564 -x686 -x1765 -x1527 -x1495 -x1468 -x1736 -x1712 -x1687 -x1664 -x2744 -x2762 x2785 -x2812 -x2638 -x2603 -x2464 -x2438 -x2523 -x2492 -x600 -x577 -x63 -x85 -x24 -x41 -x155 -x176 -x108 -x129 -x1053 -x1079 -x731 -x752 -x776 -x794 -x811 -x830 -x1729 -x1745 -x1676 -x1700 -x1604 -x1630 -x1552 -x1578 -x2625 -x2446 -x2449 -x2476 -x2509 -x2539 -x2318 -x2354 -x1308 -x1397 -x1434 -x1356 -x1377 -x1143 -x1155 x1106 -x1925 -x1992 -x1972 -x1859 -x1847 -x1900 -x1877 -x2137 -x1744 -x2803 -x2778 -x2759 -x2733 -x2715 -x2698 -x2678 -x2536 -x2448 -x2477 -x386 -x371 -x432 -x407 -x474 -x264 -x292 -x312 -x335 -x357 -x1175 -x1151 -x1126 -x969 -x890 -x920 -x1052 -x1080 -x994 -x1025 -x2127 -x582 -x604 -x534 -x558 -x1226 -x1252 -x1283 -x1290 -x441 -x459 -x482 -x503 -x1104 -x1116 -x1233 -x1256 -x1942 -x1966 -x1983 -x2002 -x2468 -x2442 -x2782 x2813 -x2461 -x2497 -x2797 -x1709 -x1977 -x1963 -x1225 -x1125 x486 -x466 -x2338 -x2508 -x277 -x248 -x220 -x197 -x363 -x342 -x322 -x298 -x399 -x420 -x370 -x385 -x483 -x506 -x438 -x480 -x573 -x593 -x532 -x549 -x676 -x701 -x620 -x643 -x749 -x728 -x790 -x774 -x832 -x812 -x877 -x856 -x835 -x930 -x904 -x993 -x957 -x1042 -x1016 -x1098 -x1072 -x1101 -x1120 -x1137 -x1159 -x1186 -x1209 -x1239 -x1261 -x1274 -x1293 -x1315 -x1330 -x1349 -x1370 -x1394 -x1419 -x1637 -x1612 -x1588 -x1564 -x1526 -x1494 -x1522 -x855 -x834 -x929 -x903 -x992 -x956 -x1041 -x1015 -x1097 -x1071 -x1100 -x1119 -x1136 -x1158 -x1185 -x1208 -x1238 -x1260 -x1273 -x1292 -x1314 -x1329 -x1348 -x1369 -x1393 -x1418 -x1636 -x1611 -x1587 -x1563 -x1525 -x1493 -x1521 -x1486 -x1457 -x1823 -x1795 -x1776 -x1753 -x1732 -x1708 -x1681 -x1656 -x1985 -x2009 -x1945 -x1965 -x1894 -x1906 -x1851 -x1867 -x2154 -x2184 -x2106 -x2130 -x2067 -x2085 -x2023 -x2040 -x2344 -x2309 -x2403 -x2374 -x2233 -x1492 -x1520 -x1485 -x1456 -x1822 -x1794 -x1775 -x1752 -x1731 -x1707 -x1680 -x1655 -x1984 -x2008 -x1944 -x1964 -x1893 -x1905 -x1850 -x1866 -x2153 -x2183 -x2105 -x2129 -x2066 -x2084 -x2022 -x2039 -x2343 -x2308 -x2402 -x2373 -x2232 -x2244 -x2209 -x2294 -x2265 -x2582 -x2555 -x2634 -x2605 -x2475 -x2445 -x2530 -x2502 -x2741 -x2766 -x2784 -x2811 -x2650 -x2670 -x2695 -x2712 -x2927 -x2947 -x2970 -x2990 -x2839 -x2859 -x2880 -x2904 -x1364 -x1379 -x1399 -x2372 -x2231 -x2243 -x2208 -x2293 -x2264 -x2581 -x2554 -x2633 -x2604 -x2474 -x2444 -x2529 -x2501 -x2740 -x2765 -x2783 -x2810 -x2649 -x2671 -x2696 -x2713 -x2928 -x2948 -x2971 -x2991 -x2840 -x2860 -x2881 -x2905 -x1365 -x1381 -x1400 -x1429 -x1412 -x1277 -x1294 -x1317 -x1331 -x1188 -x1211 -x1236 -x1268 -x1110 -x1128 -x1152 x1165 -x1032 -x1013 -x1088 -x1065 -x933 -x905 -x984 -x958 -x816 -x797 -x863 -x840 -x739 -x719 -x779 -x766 -x687 -x1382 -x1401 -x1430 -x1413 -x1278 -x1295 -x1318 -x1332 -x1189 -x1212 -x1237 -x1269 -x1111 -x1129 -x1153 -x1166 -x1033 -x1014 -x1089 -x1066 -x934 -x906 -x985 -x959 -x817 -x798 -x864 -x841 -x740 -x720 -x780 -x767 -x688 -x709 -x627 -x623 -x647 -x570 -x594 -x529 -x550 -x501 -x521 -x453 -x475 -x408 -x433 -x375 -x392 -x348 -x327 -x319 -x301 -x275 -x249 -x227 -x198 -x164 -x141 -x115 -x95 -x83 -x59 -x34 -x768 -x689 -x710 -x628 -x624 -x648 -x571 -x595 -x530 -x551 -x502 -x522 -x454 -x476 -x409 -x434 -x376 -x393 -x349 -x328 -x320 -x302 -x276 -x250 -x228 -x199 -x165 -x142 -x116 -x96 -x84 -x60 -x35 -x13 -x2829 -x2850 -x2852 -x2878 -x2901 -x2923 -x2949 -x2972 -x2992 -x2656 -x2679 -x2699 -x2716 -x2734 -x2754 -x2774 -x2799 -x2481 -x2435 -x2525 -x2495 -x2583 -x2556 -x2636 -x2607 -x2242 -x2215 -x2303 -x2270 -x2358 -x1772 -x1748 x1820 -x1797 -x1896 -x1918 -x2632 -x2608 -x2708 -x2723 -x2662 -x2682 -x612 -x572 -x649 -x625 -x1336 -x1322 -x1296 -x1275 -x1916 -x1890 -x2120 -x2109 -x2151 x2953 -x693 -x1420 -x2186 -x2989 -x261 -x295 -x317 -x340 -x541 -x603 -x583 -x641 -x166 -x1346 -x1328 -x1302 -x859 x802 -x821 -x2115 -x1638 -x1461 -x1487 -x1519 -x2431 -x2333 -x2362 -x2266 -x1068 -x346 -x2407 x1627 -x1387 -x675 -x1930 -x1301 -x97 x2216 -x1572 -x1994 -x1754 x1724 -x1703 -x1684 -x2552 -x2626 -x2600 -x2469 -x2727 -x1193 -x1217 -x1242 -x885 -x965 -x935 -x491 -x304 -x268 -x245 -x218 -x2433 -x2527 -x2514 -x2589 -x1670 x1693 -x1616 -x1639 -x1567 -x1595 -x1518 -x1550 -x2457 -x2486 -x2512 -x2542 -x2329 -x2364 -x2399 -x2429 -x423 -x400 -x460 -x439 -x504 -x500 -x553 -x531 -x1156 -x1138 -x1117 -x1102 -x1257 -x1232 -x1210 -x1191 -x1704 -x1726 -x1967 -x1947 -x2003 -x1981 -x1873 -x1849 -x2505 -x2533 -x2443 -x2472 -x2814 -x2788 -x2760 -x2739 -x569 x2929 -x2033 -x818 -x123 -x2916 -x1087 -x354 -x2043 -x2856 x554 -x1298 -x1402 x1428 -x741 -x721 -x781 -x758 -x827 -x810 -x872 -x849 -x921 -x889 -x970 -x941 -x1034 -x1011 -x685 -x712 -x626 -x660 -x82 -x61 -x33 -x25 -x173 -x152 -x136 -x109 -x262 -x238 -x209 -x195 -x2952 -x2975 -x2830 -x2848 -x2870 -x2892 -x2359 -x2326 -x2415 -x2384 -x2225 -x2193 -x2279 -x2253 -x2595 -x2572 -x2139 -x2173 -x2097 -x2122 -x2051 -x2073 -x2016 -x2035 -x1651 -x1605 -x1581 -x1556 -x1534 -x1507 -x1472 -x1442 -x1415 -x1389 -x1134 -x1114 -x1164 -x1147 -x1218 -x1194 -x1265 -x1246 -x899 -x928 -x960 -x990 -x1017 -x1044 -x697 -x670 -x652 -x617 -x436 -x415 -x389 -x380 -x514 -x494 -x472 -x445 -x246 -x274 -x203 -x222 -x2017 -x2034 -x2050 -x2072 -x1837 -x1817 -x1694 -x1667 -x2646 x2613 -x2590 -x2563 -x496 -x520 -x214 -x193 -x1241 -x1264 -x1198 -x1216 -x2176 -x2148 -x2031 -x2015 -x1800 x1771 -x1751 -x1733 -x1876 -x2584 -x2560 -x2637 -x2683 -x2706 -x2724 -x65 -x711 -x695 -x673 -x650 -x1338 -x1320 -x1319 -x1367 -x2175 -x2149 -x2123 -x2131 -x597 x618 -x644 -x665 -x2758 -x2761 -x2738 -x2728 -x1948 -x1926 -x1946 -x2004 -x995 -x1023 -x1174 -x1160 -x296 -x315 -x337 -x356 -x2819 -x2792 -x2687 -x2665 -x122 -x98 -x79 -x66 -x43 -x19 -x1640 -x1617 -x1596 -x1568 -x1542 -x1511 -x1482 -x1455 -x1829 -x1802 -x2163 -x2188 -x2113 -x2134 -x2058 -x2082 -x2019 -x2036 -x2363 -x2330 -x2428 -x2400 -x2250 -x2210 -x2304 -x2272 -x2700 -x2714 -x2918 -x2944 -x2967 -x2984 -x2824 -x2844 -x2863 -x2883 -x74 -x53 -x32 -x10 -x159 -x140 -x492 -x515 -x449 -x469 -x579 -x599 -x540 -x563 -x690 -x713 -x639 -x664 -x745 -x723 -x782 -x759 -x1150 -x1172 -x1195 -x1221 -x1243 -x1263 -x1272 -x1304 -x1327 -x1345 x1354 -x1376 -x1395 -x1421 -x1807 -x1840 -x2170 -x2144 -x2125 -x2103 -x2080 -x2052 -x2032 -x2013 -x1991 -x1969 -x1953 -x1927 -x1907 -x1887 -x1863 -x1848 -x2342 -x2513 -x2541 -x2459 -x207 -x283 -x254 -x121 -x1021 -x982 -x950 -x926 -x1657 -x1725 -x1705 -x1777 -x2763 -x2534 -x2506 x2470 -x1070 -x1035 -x1007 -x1148 -x761 -x778 -x722 x742 -x838 -x862 -x799 -x819 -x963 -x986 -x901 -x931 -x1069 -x1061 -x1092 -x1012 -x2081 -x2053 -x1573 -x1597 -x1623 -x1652 -x1462 -x1488 -x1517 -x1545 -x1749 -x1773 -x1801 -x1824 -x1834 -x1671 -x2885 -x2866 -x2849 -x2826 -x2388 -x2416 -x2327 -x2360 -x2268 -x2299 -x2203 -x2245 -x2602 -x2630 -x2561 -x2562 -x414 -x437 -x450 -x470 -x493 -x516 -x217 -x192 -x259 -x234 -x313 -x297 -x360 -x339 -x44 -x18 -x1144 -x1169 -x1115 -x1133 -x1244 -x1267 -x1196 -x1215 -x964 -x947 -x914 -x888 -x1081 -x1047 -x1028 -x1005 -x2059 -x2083 -x1931 -x1954 -x1976 -x1997 -x1843 -x1862 -x1879 -x1899 -x1786 -x1760 -x1831 -x1808 -x1697 -x1674 -x1959 -x1982 -x2005 -x1854 -x1871 -x1892 -x1917 -x2095 -x2124 -x2159 -x2177 -x2025 -x2049 -x2069 -x2090 -x1284 -x1309 -x1323 -x1341 -x1357 -x1378 -x1404 -x1425 -x1105 -x1121 -x1135 -x1154 -x1176 -x1187 -x1213 -x1235 -x1259 -x912 -x884 -x967 -x937 -x1037 -x1008 -x1093 -x1063 -x748 -x725 -x788 -x770 -x822 -x801 -x860 -x837 -x587 -x608 -x548 -x568 -x678 -x705 -x631 -x658 -x404 -x406 -x426 -x374 -x388 -x499 -x525 -x458 -x1258 -x911 -x883 -x966 -x936 -x1036 -x1006 -x1091 -x1062 -x747 -x724 -x787 -x769 -x820 -x800 -x857 -x836 -x585 -x607 -x547 -x567 -x677 -x704 -x630 -x657 -x403 -x405 -x425 -x373 -x387 -x498 -x524 -x457 -x479 -x272 -x242 -x216 -x191 -x351 -x324 -x309 -x290 -x76 -x55 -x30 -x3 -x162 -x144 -x125 -x100 -x2912 -x2931 -x2956 -x2980 -x2832 -x2847 -x2865 -x2888 -x2897 -x2737 -x2757 -x2781 -x2807 -x2654 -x523 -x456 -x478 -x271 -x241 -x215 -x190 -x350 -x323 -x308 -x289 -x75 -x54 -x29 -x2 -x161 -x143 -x124 -x99 -x2911 -x2930 -x2955 -x2979 -x2831 -x2846 -x2864 -x2887 -x2896 -x2736 -x2756 -x2780 -x2806 -x2653 -x2673 -x2694 -x2718 -x2592 -x2568 -x2640 -x2616 -x2485 -x2453 -x2546 -x2491 -x2366 -x2335 -x2426 -x2397 -x2238 -x2205 -x2297 -x2276 -x2146 -x2168 -x2100 -x2118 -x2055 -x2078 -x2011 -x2029 -x2045 -x1971 -x1990 -x1924 -x2805 -x2652 -x2672 -x2693 -x2717 -x2591 -x2567 -x2639 -x2615 -x2484 -x2452 -x2545 -x2490 -x2365 -x2334 -x2425 -x2396 -x2237 -x2204 -x2296 -x2275 -x2145 -x2167 -x2099 -x2117 -x2054 -x2077 -x2010 -x2028 -x2044 -x1970 -x1989 -x1923 -x1951 -x1886 -x1911 -x1842 -x1861 -x1839 -x1816 -x1793 -x1769 -x1739 x1718 -x1691 -x1663 -x1643 -x1620 -x1593 -x1570 -x1548 -x1514 -x1480 -x1451 -x1131 -x1113 -x1168 -x1146 -x1220 -x1200 -x1178 -x1251 -x1229 -x1307 -x1988 -x1922 -x1950 -x1885 -x1910 -x1841 -x1860 -x1838 -x1815 -x1792 -x1768 -x1738 -x1717 -x1690 -x1662 -x1642 -x1619 -x1592 -x1569 -x1547 -x1513 -x1479 -x1450 -x1130 -x1112 -x1167 -x1145 -x1219 -x1199 -x1177 -x1250 -x1228 -x1306 -x1286 -x1344 -x1325 -x1375 -x1359 -x1433 -x1408 -x718 -x738 -x764 -x786 -x805 -x829 -x845 -x869 -x892 -x916 -x943 -x976 -x997 -x1039 -x1055 -x1086 -x431 -x412 -x391 -x378 -x519 -x508 -x485 -x468 -x1227 -x1305 -x1285 -x1343 -x1324 -x1374 -x1358 -x1432 -x1407 -x717 -x737 -x763 -x785 -x804 -x828 -x844 -x868 -x891 -x915 -x942 -x975 -x996 -x1038 -x1054 -x1085 -x430 -x411 -x390 -x377 -x518 -x507 -x484 -x467 -x446 -x606 -x588 -x562 -x538 -x703 -x679 -x662 -x634 -x58 -x81 -x12 -x39 -x156 -x175 -x105 -x133 -x235 -x257 -x185 -x210 -x330 -x355 -x285 -x307 -x2755 -x2735 -x2800 -x2775 -x2794 -x2681 x1713 -x1683 -x1658 -x1827 -x2821 -x2465 -x2439 -x2535 -x180 -x260 -x237 -x448 -x1003 -x973 -x940 -x918 -x1675 -x1747 -x1721 -x1782 -x2311 -x2537 -x2507 -x2478 -x2558 -x2631 -x1459 -x1818 -x1024 -x1051 -x213 x333 -x2586 -x2621 -x2703 -x1814 -x2381 -x2406 -x2307 -x2339 -x2517 -x2540 -x2458 -x2487 -x365 -x344 -x231 -x206 -x280 -x253 -x119 -x93 -x1094 -x1067 -x1043 -x1020 -x981 -x951 -x922 -x896 -x1109 -x1124 -x1689 -x1661 -x1723 -x1702 -x1781 -x1757 -x1937 -x1962 -x1980 -x1998 -x2522 x2504 -x2467 -x2441 -x2663 -x2684 -x2798 -x2820 -x2743 -x2768 -x497 -x517 -x2963 -x427 -x1253 -x1915 x2973 -x28 -x2614 x1719 -x861 -x584 -x2961 -x2060 -x2424 -x2392 -x2369 -x2332 -x338 -x361 -x181 -x208 -x1064 -x1076 -x1002 -x1026 -x1610 -x1633 -x1673 -x1698 -x2376 -x2405 -x2306 -x2349 x655 -x629 -x613 -x591 -x1650 -x1622 -x1478 -x1454 -x1544 -x1516 -x1784 -x1763 -x1932 -x1956 -x1975 -x1993 -x1844 -x1864 -x1884 -x1909 -x2841 -x2861 -x2776 -x2802 -x2732 -x2752 -x2692 -x2711 -x615 -x642 -x667 -x692 -x379 -x394 x410 -x428 -x1271 -x1289 -x1391 -x1417 -x1351 -x1371 -x1149 -x1170 -x1929 -x1943 -x2007 -x1987 -x1868 -x1853 -x1913 -x1889 -x2483 -x2451 -x2544 -x2511 -x219 -x194 -x347 -x329 -x902 -x878 -x968 x938 -x2994 -x2651 -x2669 -x2691 -x2181 -x2108 -x2132 -x2121 -x1411 -x1276 -x1291 -x1316 -x233 -x251 -x281 -x1254 -x1231 -x1207 -x1190 -x1173 -x1046 -x952 -x983 -x897 -x924 -x2021 -x2038 -x2062 -x1438 -x1524 -x1497 -x1586 -x1561 -x1635 -x1614 -x2882 -x2571 -x2291 -x2262 -x2229 -x2199 -x2401 -x2370 -x2341 -x179 -x263 -x240 -x128 x104 -x167 -x149 -x48 -x1004 -x971 -x939 -x907 -x880 -x876 -x854 -x833 -x2627 -x2601 -x2573 -x2553 -x2532 -x2500 -x2473 -x2432 -x2668 -x2690 -x1780 -x1758 -x1828 -x1805 -x1678 -x1654 -x1865 -x1869 -x1891 -x1914 -x773 -x789 -x729 -x750 -x1282 -x1424 -x1416 -x1392 x1372 -x1352 -x27 -x47 -x542 -x605 -x581 -x578 -x640 -x614 -x694 -x666 -x2661 -x2983 -x2962 -x2938 -x2942 -x2921 -x2902 -x2879 -x2804 -x2838 -x2858 -x2871 -x2891 -x2910 -x2935 -x2954 -x580 -x561 -x539 -x511 -x490 -x477 -x451 -x429 -x1398 -x1303 -x1287 -x1342 -x1326 -x1205 -x1192 -x1266 -x2061 -x2037 -x2018 -x2165 -x2141 -x2114 -x2093 -x1901 -x1590 -x2843 -x2823 -x2884 -x2862 -x2940 -x2915 -x2982 -x2357 -x2393 x2422 -x107 -x130 -x154 -x170 -x23 -x2920 -x2941 -x536 -x557 -x169 -x148 -x874 x850 -x726 -x746 -x17 -x49 x1908 -x1883 -x1949 -x1935 -x1396 -x1422 -x1355 -x1373 -x395 -x418 -x638 -x663 -x2793 -x2822 -x2748 -x2772 -x1895 -x1920 -x1940 -x1958 -x1469 -x1444 -x1536 -x1505 -x1171 -x435 -x2903 -x2086 x715 -x14 -x1934 x1742 -x1090 -x267 -x544 -x1184 -x555 -x153 -x2526 -x1821 -x991 x189 x1641 -x1618 -x1591 -x1566 -x1546 -x1529 -x1499 -x1465 -x1436 -x2919 -x2943 -x2964 -x2988 -x2835 -x2851 -x2877 -x2519 -x2496 -x2361 -x2331 -x2430 -x2395 -x2371 -x2235 -x2200 -x2290 -x2263 -x2107 -x2128 -x2160 -x2185 -x2020 -x1682 -x1653 -x1728 -x1701 -x1598 -x1574 -x1646 -x1628 -x1608 -x1473 -x1440 -x1530 -x1502 -x2969 -x2993 -x2917 -x2577 -x2551 -x2528 -x2503 -x2471 -x2440 -x2420 -x2389 -x2380 -x2348 -x2317 -x2280 -x2259 -x2219 -x2192 -x528 -x223 -x204 -x282 -x256 -x316 -x299 -x362 -x341 -x36 -x40 -x22 -x90 -x69 -x135 -x114 -x174 -x1183 -x1204 -x980 -x949 -x925 -x895 -x1099 -x1074 -x1045 -x1019 -x1001 -x793 -x775 -x756 -x730 -x871 -x2345 -x2314 -x2289 -x2261 -x2234 -x2201 -x2645 -x2617 -x1583 -x1560 -x1625 -x1613 -x1464 -x1437 -x1528 -x1491 -x2064 -x2091 -x796 -x777 -x751 -x727 -x873 -x853 -x1390 -x1410 -x1350 -x1368 -x45 -x26 -x92 x72 -x574 -x592 -x619 -x645 -x674 -x700 -x2907 -x2934 -x2368 -x2337 -x2423 -x2394 -x2240 -x2207 -x2295 -x2271 -x879 -x1240 -x1262 -x1179 -x196 -x266 -x239 -x447 -x2456 -x2644 x2618 -x2585 -x1668 -x1743 -x1716 -x1791 -x923 -x839 -x865 -x803 -x229 -x255 -x284 -x94 -x2236 -x2375 x2404 -x2305 -x1463 -x1498 -x1523 -x1565 -x2162 -x851 -x875 -x813 -x1310 -x1288 -x1270 -x103 -x691 -x559 -x537 -x598 -x2710 -x2655 -x2689 -x2786 -x2174 -x2150 -x2126 -x2098 -x1512 -x1541 -x1532 -x1445 -x1475 -x1603 -x1629 -x1551 -x1577 -x1720 -x1740 -x1672 -x1696 -x1810 -x1836 -x1766 -x1790 -x2677 -x2664 -x2722 -x2704 -x2773 -x2746 -x2818 -x2796 -x2842 -x2827 -x2890 -x2868 -x2937 -x2909 -x2978 -x2960 -x2218 -x2191 -x2223 -x2258 -x2283 -x2316 -x2353 -x2379 -x2409 -x2455 -x2480 -x2516 -x2548 -x2566 -x2588 -x2611 -x2643 -x510 -x489 -x464 -x444 -x417 -x397 -x383 -x368 -x708 -x684 -x2889 -x2867 -x2936 -x2908 -x2977 -x2959 -x2217 -x2190 -x2222 -x2257 -x2282 -x2315 -x2352 -x2378 -x2408 -x2454 -x2479 -x2515 -x2547 -x2565 -x2587 -x2610 -x2642 -x509 -x488 -x463 -x443 -x416 -x396 -x382 -x367 -x707 -x683 -x654 -x633 -x611 -x590 -x566 -x546 -x527 -x151 -x172 -x113 -x132 -x68 -x88 -x21 -x51 -x326 -x353 -x287 -x306 -x244 -x270 -x188 -x225 -x1203 -x1181 -x1249 -x1224 -x1123 -x1108 -x1163 -x1142 -x706 -x682 -x653 -x632 -x610 -x589 -x565 -x545 -x526 -x150 -x171 -x112 -x131 -x67 -x87 -x20 -x50 -x325 -x352 -x286 -x305 -x243 -x269 -x187 -x224 -x1202 -x1180 -x1248 -x1223 -x1122 -x1107 -x1162 -x1141 -x1386 -x1363 -x1427 -x1406 -x1300 -x1281 -x1340 -x1334 -x1313 -x809 -x826 -x843 -x867 -x735 -x754 -x772 -x792 -x1010 -x1031 -x1060 -x1084 -x882 -x910 -x962 -x988 -x2071 -x2089 -x2027 -x2047 -x2158 -x2180 -x1161 -x1140 -x1385 -x1362 -x1426 -x1405 -x1299 -x1280 -x1339 -x1333 -x1312 -x808 -x825 -x842 -x866 -x734 -x753 -x771 -x791 -x1009 -x1030 -x1059 -x1083 -x881 -x909 -x961 -x987 -x2070 -x2088 -x2026 -x2046 -x2157 -x2179 -x2111 -x2136 -x1881 -x1904 -x1846 -x1858 -x1974 -x1996 -x2000 -x1939 -x1961 -x1735 -x1711 -x1686 -x1660 -x1826 -x1804 -x1779 -x1756 -x1539 -x1510 -x1484 -x1449 -x1648 -x1602 -x1585 -x1558 -x2837 -x2855 -x2876 -x2900 -x2156 -x2178 -x2110 -x2135 -x1880 -x1903 -x1845 -x1857 -x1973 -x1995 -x1999 -x1938 -x1960 -x1734 -x1710 -x1685 -x1659 -x1825 -x1803 -x1778 -x1755 -x1538 -x1509 -x1483 -x1448 -x1647 -x1601 -x1584 -x1557 -x2836 -x2854 -x2875 -x2899 -x2925 -x2946 -x2966 -x2986 -x2659 -x2676 -x2702 -x2720 -x2731 -x2751 -x2771 -x2791 -x2816 -x2463 x2437 -x2521 -x2489 -x2575 -x2550 -x2629 -x2599 -x2248 -x2212 -x2301 -x2274 -x2347 -x2313 -x2414 -x2386 -x672 -x699 -x2874 -x2898 -x2924 -x2945 -x2965 -x2985 -x2658 -x2675 -x2701 -x2719 -x2730 -x2750 -x2770 -x2790 -x2815 -x2462 -x2436 -x2520 -x2488 -x2574 -x2549 -x2628 -x2598 -x2247 -x2211 -x2300 -x2273 -x2346 -x2312 -x2413 -x2385 -x671 -x698 -x622 -x646 -x576 -x602 -x535 -x556 -x495 -x513 -x452 -x473 -x462 -x398 -x419 -x366 -x381 -x364 -x343 -x321 -x300 -x279 -x252 -x232 -x205 -x160 -x138 -x117 -x111 -x86 -x64 -x46 -x16 -x1764 -x1833 -x1811 x1466 -x1439 -x1535 -x1504 -x1580 -x824 -x760 -x784 -x714 -x736 -x1073 -x1095 -x1018 -x118 -x139 -x158 -x11 -x38 -x57 -x80 -x303 -x2906 -x2269 -x2302 -x2214 -x2246 -x2391 -x2418 -x2323 -x2104 -x2166 -x2143 -x1453 -x1477 -x1508 -x1540 -x1575 -x73 -x102 -x127 -x147 -x168 -x560 -x533 -x601 -x2076 -x2096 -x2116 -x2152 -x1431 -x1361 -x1384 -x1321 -x421 -x637 -x656 -x681 -x2564 -x2641 -x2609 -x2230 -x1669 -x1835 -x1812 -x1789 -x1096 -x1082 x1058 -x908 -x2041 -x2068 -x2087 -x1928 -x1952 -x1968 -x1986 -x2006 -x1852 -x1870 -x1888 -x1912 -x2624 -x2597 -x2579 -x2557 -x2950 -x2873 -x2894 -x2834 -x2853 -x2779 -x2808 -x2809 -x2742 -x2764 -x2709 -x2726 -x2667 -x2688 -x230 -x201 -x552 -x575 -x596 -x621 -x651 -x669 -x696 -x372 -x369 -x384 -x401 -x422 -x440 -x461 -x481 -x505 -x814 -x1311 -x1335 -x1279 -x1297 -x1388 -x1414 -x1347 -x1366 -x1383 -x1139 -x1157 -x1103 -x1118 -x1234 -x1255 -x1679 -x1706 -x1730 -x1957 -x1936 -x2001 -x1979 -x1875 x1856 -x1919 -x1902 -x1882 -x2133 -x2112 -x2187 -x2161 -x2576 -x2499 -x2531 -x2434 -x2460 -x2817 -x2789 -x2767 -x2745 -x2725 -x2707 -x2697 -x2680 -x2660 -x2987 -x2968 799.28/799.56 c Total CPU time: 795.402 s
OK 6
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680396-1277460520/watcher-2680396-1277460520 -o /tmp/evaluation-result-2680396-1277460520/solver-2680396-1277460520 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680396-1277460520.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.03 1.01 1.00 2/106 26848 /proc/meminfo: memFree=1802044/2059040 swapFree=4140024/4192956 [pid=26848] ppid=26846 vsize=3024 CPUtime=0 /proc/26848/stat : 26848 (wbo1.4b) R 26846 26848 26227 0 -1 4202496 327 0 0 0 0 0 0 0 25 0 1 0 87345707 3096576 245 1992294400 134512640 135752675 4294722416 18446744073709551615 134564720 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26848/statm: 756 245 140 303 0 376 0 [startup+0.083845 s] /proc/loadavg: 1.03 1.01 1.00 2/106 26848 /proc/meminfo: memFree=1802044/2059040 swapFree=4140024/4192956 [pid=26848] ppid=26846 vsize=4020 CPUtime=0.07 /proc/26848/stat : 26848 (wbo1.4b) R 26846 26848 26227 0 -1 4202496 800 0 0 0 7 0 0 0 18 0 1 0 87345707 4116480 577 1992294400 134512640 135752675 4294722416 18446744073709551615 134607297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26848/statm: 1005 577 144 303 0 700 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4020 [startup+0.101847 s] /proc/loadavg: 1.03 1.01 1.00 2/106 26848 /proc/meminfo: memFree=1802044/2059040 swapFree=4140024/4192956 [pid=26848] ppid=26846 vsize=4020 CPUtime=0.09 /proc/26848/stat : 26848 (wbo1.4b) R 26846 26848 26227 0 -1 4202496 801 0 0 0 9 0 0 0 18 0 1 0 87345707 4116480 578 1992294400 134512640 135752675 4294722416 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26848/statm: 1005 578 145 303 0 700 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4020 [startup+0.300868 s] /proc/loadavg: 1.03 1.01 1.00 2/106 26848 /proc/meminfo: memFree=1802044/2059040 swapFree=4140024/4192956 [pid=26848] ppid=26846 vsize=4548 CPUtime=0.29 /proc/26848/stat : 26848 (wbo1.4b) R 26846 26848 26227 0 -1 4202496 909 0 0 0 29 0 0 0 18 0 1 0 87345707 4657152 686 1992294400 134512640 135752675 4294722416 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26848/statm: 1137 686 145 303 0 832 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4548 [startup+0.700909 s] /proc/loadavg: 1.03 1.01 1.00 2/106 26848 /proc/meminfo: memFree=1802044/2059040 swapFree=4140024/4192956 [pid=26848] ppid=26846 vsize=5480 CPUtime=0.69 /proc/26848/stat : 26848 (wbo1.4b) R 26846 26848 26227 0 -1 4202496 1153 0 0 0 68 1 0 0 18 0 1 0 87345707 5611520 930 1992294400 134512640 135752675 4294722416 18446744073709551615 134639515 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26848/statm: 1370 930 145 303 0 1065 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5480 [startup+1.50099 s] /proc/loadavg: 1.02 1.01 1.00 2/107 26849 /proc/meminfo: memFree=1798316/2059040 swapFree=4140024/4192956 [pid=26848] ppid=26846 vsize=6932 CPUtime=1.49 /proc/26848/stat : 26848 (wbo1.4b) R 26846 26848 26227 0 -1 4202496 1502 0 0 0 147 2 0 0 20 0 1 0 87345707 7098368 1279 1992294400 134512640 135752675 4294722416 18446744073709551615 134607248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26848/statm: 1733 1279 145 303 0 1428 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6932 [startup+3.10116 s] /proc/loadavg: 1.02 1.01 1.00 2/107 26849 /proc/meminfo: memFree=1795960/2059040 swapFree=4140024/4192956 [pid=26848] ppid=26846 vsize=8812 CPUtime=3.09 /proc/26848/stat : 26848 (wbo1.4b) R 26846 26848 26227 0 -1 4202496 1979 0 0 0 305 4 0 0 25 0 1 0 87345707 9023488 1756 1992294400 134512640 135752675 4294722416 18446744073709551615 134605360 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26848/statm: 2203 1756 145 303 0 1898 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8812 [startup+6.30149 s] /proc/loadavg: 1.02 1.01 1.00 2/107 26849 /proc/meminfo: memFree=1791000/2059040 swapFree=4140024/4192956 [pid=26848] ppid=26846 vsize=13444 CPUtime=6.29 /proc/26848/stat : 26848 (wbo1.4b) R 26846 26848 26227 0 -1 4202496 3151 0 0 0 622 7 0 0 25 0 1 0 87345707 13766656 2928 1992294400 134512640 135752675 4294722416 18446744073709551615 134605371 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26848/statm: 3361 2928 145 303 0 3056 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13444 [startup+12.7012 s] /proc/loadavg: 1.17 1.04 1.01 2/107 26849 /proc/meminfo: memFree=1782584/2059040 swapFree=4140024/4192956 [pid=26848] ppid=26846 vsize=22156 CPUtime=12.69 /proc/26848/stat : 26848 (wbo1.4b) R 26846 26848 26227 0 -1 4202496 5313 0 0 0 1258 11 0 0 25 0 1 0 87345707 22687744 5090 1992294400 134512640 135752675 4294722416 18446744073709551615 134607277 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26848/statm: 5539 5090 145 303 0 5234 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22156 [startup+25.5015 s] /proc/loadavg: 1.14 1.04 1.01 2/107 26851 /proc/meminfo: memFree=1768200/2059040 swapFree=4140024/4192956 [pid=26848] ppid=26846 vsize=36284 CPUtime=25.49 /proc/26848/stat : 26848 (wbo1.4b) R 26846 26848 26227 0 -1 4202496 8842 0 0 0 2529 20 0 0 25 0 1 0 87345707 37154816 8619 1992294400 134512640 135752675 4294722416 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26848/statm: 9071 8619 145 303 0 8766 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 36284 [startup+51.1011 s] /proc/loadavg: 1.09 1.04 1.01 2/107 26851 /proc/meminfo: memFree=1745508/2059040 swapFree=4140024/4192956 [pid=26848] ppid=26846 vsize=58888 CPUtime=51.08 /proc/26848/stat : 26848 (wbo1.4b) R 26846 26848 26227 0 -1 4202496 14487 0 0 0 5080 28 0 0 25 0 1 0 87345707 60301312 14264 1992294400 134512640 135752675 4294722416 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26848/statm: 14722 14264 145 303 0 14417 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 58888 [startup+102.308 s] /proc/loadavg: 1.04 1.03 1.00 2/107 26853 /proc/meminfo: memFree=1682888/2059040 swapFree=4140024/4192956 [pid=26848] ppid=26846 vsize=120892 CPUtime=102.28 /proc/26848/stat : 26848 (wbo1.4b) R 26846 26848 26227 0 -1 4202496 30001 0 0 0 10171 57 0 0 25 0 1 0 87345707 123793408 29778 1992294400 134512640 135752675 4294722416 18446744073709551615 134611732 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26848/statm: 30223 29778 145 303 0 29918 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 120892 [startup+162.302 s] /proc/loadavg: 1.01 1.02 1.00 2/107 26853 /proc/meminfo: memFree=1618408/2059040 swapFree=4140024/4192956 [pid=26848] ppid=26846 vsize=185880 CPUtime=162.25 /proc/26848/stat : 26848 (wbo1.4b) R 26846 26848 26227 0 -1 4202496 46232 0 0 0 16144 81 0 0 25 0 1 0 87345707 190341120 46009 1992294400 134512640 135752675 4294722416 18446744073709551615 134607252 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26848/statm: 46470 46009 145 303 0 46165 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 185880 [startup+222.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 26855 /proc/meminfo: memFree=1574388/2059040 swapFree=4140024/4192956 [pid=26848] ppid=26846 vsize=229220 CPUtime=222.23 /proc/26848/stat : 26848 (wbo1.4b) R 26846 26848 26227 0 -1 4202496 57075 0 0 0 22113 110 0 0 25 0 1 0 87345707 234721280 56852 1992294400 134512640 135752675 4294722416 18446744073709551615 134604955 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26848/statm: 57305 56852 146 303 0 57000 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 229220 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 26857 /proc/meminfo: memFree=1511520/2059040 swapFree=4140024/4192956 [pid=26848] ppid=26846 vsize=293220 CPUtime=282.22 /proc/26848/stat : 26848 (wbo1.4b) R 26846 26848 26227 0 -1 4202496 73086 0 0 0 28083 139 0 0 25 0 1 0 87345707 300257280 72863 1992294400 134512640 135752675 4294722416 18446744073709551615 134607260 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26848/statm: 73305 72863 146 303 0 73000 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 293220 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26859 /proc/meminfo: memFree=1444560/2059040 swapFree=4140024/4192956 [pid=26848] ppid=26846 vsize=358928 CPUtime=342.2 /proc/26848/stat : 26848 (wbo1.4b) R 26846 26848 26227 0 -1 4202496 89494 0 0 0 34057 163 0 0 25 0 1 0 87345707 367542272 89271 1992294400 134512640 135752675 4294722416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26848/statm: 89732 89271 146 303 0 89427 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 358928 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26861 /proc/meminfo: memFree=1392852/2059040 swapFree=4140024/4192956 [pid=26848] ppid=26846 vsize=410756 CPUtime=402.19 /proc/26848/stat : 26848 (wbo1.4b) R 26846 26848 26227 0 -1 4202496 102427 0 0 0 40023 196 0 0 25 0 1 0 87345707 420614144 102204 1992294400 134512640 135752675 4294722416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26848/statm: 102689 102204 146 303 0 102384 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 410756 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26861 /proc/meminfo: memFree=1329984/2059040 swapFree=4140024/4192956 [pid=26848] ppid=26846 vsize=473404 CPUtime=462.17 /proc/26848/stat : 26848 (wbo1.4b) R 26846 26848 26227 0 -1 4202496 118088 0 0 0 45990 227 0 0 25 0 1 0 87345707 484765696 117865 1992294400 134512640 135752675 4294722416 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26848/statm: 118351 117865 146 303 0 118046 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 473404 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26863 /proc/meminfo: memFree=1268232/2059040 swapFree=4140024/4192956 [pid=26848] ppid=26846 vsize=535612 CPUtime=522.15 /proc/26848/stat : 26848 (wbo1.4b) R 26846 26848 26227 0 -1 4202496 133617 0 0 0 51961 254 0 0 25 0 1 0 87345707 548466688 133394 1992294400 134512640 135752675 4294722416 18446744073709551615 134607049 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26848/statm: 133903 133394 146 303 0 133598 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 535612 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26865 /proc/meminfo: memFree=1207596/2059040 swapFree=4140024/4192956 [pid=26848] ppid=26846 vsize=595424 CPUtime=582.14 /proc/26848/stat : 26848 (wbo1.4b) R 26846 26848 26227 0 -1 4202496 148576 0 0 0 57935 279 0 0 25 0 1 0 87345707 609714176 148353 1992294400 134512640 135752675 4294722416 18446744073709551615 134642741 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26848/statm: 148856 148353 146 303 0 148551 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 595424 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26867 /proc/meminfo: memFree=1147084/2059040 swapFree=4140024/4192956 [pid=26848] ppid=26846 vsize=655516 CPUtime=642.13 /proc/26848/stat : 26848 (wbo1.4b) R 26846 26848 26227 0 -1 4202496 163582 0 0 0 63909 304 0 0 25 0 1 0 87345707 671248384 163359 1992294400 134512640 135752675 4294722416 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26848/statm: 163879 163359 146 303 0 163574 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 655516 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26869 /proc/meminfo: memFree=1100584/2059040 swapFree=4140024/4192956 [pid=26848] ppid=26846 vsize=702524 CPUtime=702.11 /proc/26848/stat : 26848 (wbo1.4b) R 26846 26848 26227 0 -1 4202496 175324 0 0 0 69870 341 0 0 25 0 1 0 87345707 719384576 175101 1992294400 134512640 135752675 4294722416 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26848/statm: 175631 175101 146 303 0 175326 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 702524 [startup+762.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26869 /proc/meminfo: memFree=1037096/2059040 swapFree=4140024/4192956 [pid=26848] ppid=26846 vsize=765176 CPUtime=762.11 /proc/26848/stat : 26848 (wbo1.4b) R 26846 26848 26227 0 -1 4202496 190990 0 0 0 75838 373 0 0 25 0 1 0 87345707 783540224 190767 1992294400 134512640 135752675 4294722416 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26848/statm: 191294 190767 146 303 0 190989 0 Current children cumulated CPU time (s) 762.11 Current children cumulated vsize (KiB) 765176 Solver just ended. Dumping a history of the last processes samples [startup+767.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26869 /proc/meminfo: memFree=1032880/2059040 swapFree=4140024/4192956 [pid=26848] ppid=26846 vsize=769600 CPUtime=767.69 /proc/26848/stat : 26848 (wbo1.4b) R 26846 26848 26227 0 -1 4202496 192099 0 0 0 76394 375 0 0 25 0 1 0 87345707 788070400 191876 1992294400 134512640 135752675 4294722416 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26848/statm: 192400 191876 146 303 0 192095 0 Current children cumulated CPU time (s) 767.69 Current children cumulated vsize (KiB) 769600 [startup+780.702 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26871 /proc/meminfo: memFree=1021348/2059040 swapFree=4140024/4192956 [pid=26848] ppid=26846 vsize=781348 CPUtime=780.49 /proc/26848/stat : 26848 (wbo1.4b) R 26846 26848 26227 0 -1 4202496 195018 0 0 0 77666 383 0 0 25 0 1 0 87345707 800100352 194795 1992294400 134512640 135752675 4294722416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26848/statm: 195337 194795 146 303 0 195032 0 Current children cumulated CPU time (s) 780.49 Current children cumulated vsize (KiB) 781348 [startup+787.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26871 /proc/meminfo: memFree=1013164/2059040 swapFree=4140024/4192956 [pid=26848] ppid=26846 vsize=790060 CPUtime=786.89 /proc/26848/stat : 26848 (wbo1.4b) R 26846 26848 26227 0 -1 4202496 197190 0 0 0 78301 388 0 0 25 0 1 0 87345707 809021440 196967 1992294400 134512640 135752675 4294722416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26848/statm: 197515 196967 146 303 0 197210 0 Current children cumulated CPU time (s) 786.89 Current children cumulated vsize (KiB) 790060 [startup+793.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26871 /proc/meminfo: memFree=1005724/2059040 swapFree=4140024/4192956 [pid=26848] ppid=26846 vsize=797056 CPUtime=793.29 /proc/26848/stat : 26848 (wbo1.4b) R 26846 26848 26227 0 -1 4202496 198971 0 0 0 78937 392 0 0 25 0 1 0 87345707 816185344 198748 1992294400 134512640 135752675 4294722416 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26848/statm: 199264 198748 146 303 0 198959 0 Current children cumulated CPU time (s) 793.29 Current children cumulated vsize (KiB) 797056 [startup+796.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26871 /proc/meminfo: memFree=1002128/2059040 swapFree=4140024/4192956 [pid=26848] ppid=26846 vsize=800356 CPUtime=796.48 /proc/26848/stat : 26848 (wbo1.4b) R 26846 26848 26227 0 -1 4202496 199775 0 0 0 79255 393 0 0 25 0 1 0 87345707 819564544 199552 1992294400 134512640 135752675 4294722416 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26848/statm: 200089 199552 146 303 0 199784 0 Current children cumulated CPU time (s) 796.48 Current children cumulated vsize (KiB) 800356 [startup+798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26871 /proc/meminfo: memFree=1001260/2059040 swapFree=4140024/4192956 [pid=26848] ppid=26846 vsize=801808 CPUtime=798.09 /proc/26848/stat : 26848 (wbo1.4b) R 26846 26848 26227 0 -1 4202496 200140 0 0 0 79414 395 0 0 25 0 1 0 87345707 821051392 199917 1992294400 134512640 135752675 4294722416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26848/statm: 200452 199917 146 303 0 200147 0 Current children cumulated CPU time (s) 798.09 Current children cumulated vsize (KiB) 801808 [startup+799.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26871 /proc/meminfo: memFree=1000144/2059040 swapFree=4140024/4192956 [pid=26848] ppid=26846 vsize=802468 CPUtime=798.89 /proc/26848/stat : 26848 (wbo1.4b) R 26846 26848 26227 0 -1 4202496 200319 0 0 0 79494 395 0 0 25 0 1 0 87345707 821727232 200096 1992294400 134512640 135752675 4294722416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26848/statm: 200617 200096 146 303 0 200312 0 Current children cumulated CPU time (s) 798.89 Current children cumulated vsize (KiB) 802468 [startup+799.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26871 /proc/meminfo: memFree=1000144/2059040 swapFree=4140024/4192956 [pid=26848] ppid=26846 vsize=803128 CPUtime=799.28 /proc/26848/stat : 26848 (wbo1.4b) R 26846 26848 26227 0 -1 4202496 200462 0 0 0 79533 395 0 0 25 0 1 0 87345707 822403072 200239 1992294400 134512640 135752675 4294722416 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26848/statm: 200782 200239 146 303 0 200477 0 Current children cumulated CPU time (s) 799.28 Current children cumulated vsize (KiB) 803128 [startup+799.601 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26871 /proc/meminfo: memFree=1343748/2059040 swapFree=4140024/4192956 [pid=26848] ppid=26846 vsize=0 CPUtime=799.4 /proc/26848/stat : 26848 (wbo1.4b) R 26846 26848 26227 0 -1 4202500 200507 0 0 0 79540 400 0 0 25 0 1 0 87345707 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/26848/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 799.4 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 799.641 CPU time (s): 799.436 CPU user time (s): 795.402 CPU system time (s): 4.03439 CPU usage (%): 99.9744 Max. virtual memory (cumulated for all children) (KiB): 803128 getrusage(RUSAGE_CHILDREN,...) data: user time used= 795.402 system time used= 4.03439 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 200507 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= 4 involuntary context switches= 1532 runsolver used 1.37779 second user time and 3.72443 second system time The end
Begin job on node083 at 2010-06-25 12:08:40 IDJOB=2680396 IDBENCH=71842 IDSOLVER=1190 FILE ID=node083/2680396-1277460520 PBS_JOBID= 11188107 Free space on /tmp= 62496 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx60.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680396-1277460520/watcher-2680396-1277460520 -o /tmp/evaluation-result-2680396-1277460520/solver-2680396-1277460520 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680396-1277460520.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 26c9befa85d0a0769813e718015f6caa RANDOM SEED=980267221 node083.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.262 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 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.262 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1802572 kB Buffers: 46624 kB Cached: 110616 kB SwapCached: 5544 kB Active: 61160 kB Inactive: 109416 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1802572 kB SwapTotal: 4192956 kB SwapFree: 4140024 kB Dirty: 2872 kB Writeback: 0 kB AnonPages: 11780 kB Mapped: 11996 kB Slab: 64008 kB PageTables: 4216 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181824 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62492 MiB End job on node083 at 2010-06-25 12:22:00