Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Pueblo 1.4 | SAT | 1.48977 | 1.49476 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb |
MD5SUM | 1fc5c2586ddac9fd4692e69ce4a42173 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.070988 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 2970 |
Total number of constraints | 2113 |
Number of constraints which are clauses | 2024 |
Number of constraints which are cardinality constraints (but not clauses) | 89 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 22 |
Maximum length of a constraint | 45 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 46 |
Number of bits of the biggest sum of numbers | 6 |
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 c Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 0.20 c starting to Solve 0.20 c #variables read: 2970 - #constraints read: 2113 1.49 c total time : 1.48 s 1.49 s SATISFIABLE 1.49 v -x312 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 1.49 v -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x1255 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 1.49 v -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 x2860 -x401 -x2861 -x2862 -x2863 -x2864 -x2865 1.49 v -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 x2881 -x2882 1.49 v -x1563 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 1.49 v -x2701 -x2702 -x2703 x2704 -x2705 -x2706 -x498 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 1.49 v -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 x2046 -x1944 -x2157 -x2158 -x2159 -x2160 -x2161 1.49 v -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 x2176 -x2177 -x2178 1.49 v -x68 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 1.49 v -x2482 x2483 -x2484 -x2485 -x2486 -x468 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 1.49 v -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 x2373 -x2374 -x2375 -x2376 -x685 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 1.49 v -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 x2196 -x2197 -x2198 -x2199 -x2200 -x108 -x836 -x2531 1.49 v -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 x2548 1.49 v -x2549 -x2550 -x2551 -x2552 -x1123 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 1.49 v -x2917 -x2918 -x2919 -x2920 x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x1459 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 1.49 v -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x795 -x2619 1.49 v -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 x2634 -x2635 -x2636 1.49 v -x2637 -x2638 -x2639 -x2640 -x394 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 1.49 v -x2719 -x2720 x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x797 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 1.49 v -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x201 -x2421 -x2422 1.49 v -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 x2436 -x2437 -x2438 -x2439 1.49 v -x2440 -x2441 -x2442 -x879 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 x2499 -x2500 1.49 v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x1836 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 1.49 v -x2759 -x2760 -x2761 x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x43 -x296 -x1359 -x811 1.49 v -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 1.49 v -x833 -x834 -x835 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 1.49 v -x855 -x175 -x1568 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 x2805 -x2806 -x2807 -x2808 -x2809 1.49 v -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x1546 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 1.49 v -x2320 -x2321 -x2322 -x2323 -x2324 x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x1405 -x1895 -x2069 -x2070 1.49 v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 1.49 v -x2088 -x2089 -x2090 -x1431 -x1652 -x640 -x250 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 x2518 -x2519 1.49 v -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x50 x700 -x1640 -x2399 -x2400 -x2401 -x2402 1.49 v -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 1.49 v -x2420 -x97 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 x2124 -x2125 -x2126 -x2127 -x2128 1.49 v -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 x1425 -x1089 -x1282 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 1.49 v -x2451 -x2452 x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x1800 -x2949 -x2950 1.49 v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 1.49 v -x2968 -x2969 -x2970 -x408 -x1979 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 x2934 -x2935 -x2936 -x2937 -x2938 -x2939 1.49 v -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x507 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 1.49 v -x2230 -x2231 x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x1714 -x2047 1.49 v -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 1.49 v -x2065 -x2066 -x2067 -x2068 -x606 -x1566 -x292 -x1128 -x1417 -x1439 -x1690 -x1576 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 1.49 v -x1987 x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 x259 -x1817 1.49 v -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 1.49 v -x2350 -x2351 -x2352 -x2353 -x2354 -x1456 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 1.49 v -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 1.49 v -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x36 -x938 -x510 -x2289 -x2290 -x2291 -x2292 -x2293 x2294 1.49 v -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x954 1.49 v -x407 -x2003 -x2004 -x2005 -x2006 x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 1.49 v -x2020 -x2021 -x2022 -x2023 -x2024 -x610 -x291 -x300 -x624 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 x2823 -x2824 -x2825 1.49 v -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x1755 -x1658 -x326 -x2201 1.49 v -x2202 -x2203 x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 1.49 v -x2219 -x2220 -x2221 -x2222 -x168 -x1308 -x1287 -x2553 -x2554 -x2555 -x2556 -x2557 x2558 -x2559 -x2560 -x2561 -x2562 -x2563 1.49 v -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x437 -x768 -x196 -x1856 -x1286 -x1921 -x2641 1.49 v -x2642 -x2643 -x2644 x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 1.49 v -x2659 -x2660 -x2661 -x2662 -x1746 -x376 -x1955 -x720 -x1597 -x1115 -x2729 -x2730 -x2731 x2732 -x2733 -x2734 -x2735 -x2736 1.49 v -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x617 -x1521 -x159 -x1237 1.49 v -x1548 -x1201 -x1914 -x1238 -x1961 -x1674 -x101 -x803 -x277 -x223 -x1316 -x1830 -x1024 -x1063 -x2575 -x2576 x2577 -x2578 1.49 v -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 1.49 v -x2596 -x1559 -x2597 x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 1.49 v -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x1113 -x939 -x1819 -x706 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 1.49 v -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 1.49 v -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1522 -x1523 -x1524 -x1525 x1526 -x1527 1.49 v -x1528 -x1529 -x1530 -x587 -x1567 x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 1.49 v -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x1420 -x654 -x1245 -x547 -x1482 -x1091 -x1977 -x99 -x1978 1.49 v -x1890 -x714 -x1248 -x971 -x1873 -x1592 -x1866 -x1347 -x1972 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 1.49 v -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 x2155 -x2156 -x526 -x805 -x1354 -x1340 -x346 1.49 v -x1018 -x1934 -x650 -x1096 -x537 -x1078 -x1424 -x420 -x321 -x2091 -x2092 x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 1.49 v -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x1821 -x362 -x1907 -x1036 1.49 v -x1368 -x334 -x1185 -x1596 -x690 -x1786 -x57 -x185 -x873 -x1428 -x1960 -x12 -x198 x1092 -x1571 -x1899 -x1906 -x975 -x158 1.49 v -x51 -x1143 -x1789 -x1295 -x798 -x554 -x2267 x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 1.49 v -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x511 -x172 -x1606 -x1557 -x1239 -x477 -x241 -x1192 1.49 v -x337 -x499 -x1394 -x1929 -x1583 -x1266 -x1980 -x56 -x1754 -x496 -x870 -x933 -x205 -x153 -x354 -x1472 -x1804 -x1311 -x1275 1.49 v -x1051 -x1698 -x1134 -x1950 -x298 -x358 -x1803 -x802 -x1711 -x1712 -x1713 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 1.49 v -x1722 -x1723 -x1724 -x1725 x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 1.49 v -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x634 -x1933 -x793 -x1577 1.49 v -x1578 -x1579 -x1580 x1581 -x1582 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1593 -x1594 -x1595 -x1598 1.49 v -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 1.49 v -x1617 -x1618 -x1619 -x1620 x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 1.49 v -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x1027 -x1884 -x577 -x1667 -x438 -x969 -x668 -x810 -x1072 1.49 v -x619 -x1003 -x1844 -x945 -x248 -x1272 -x974 -x660 -x484 -x488 -x692 -x1555 -x1828 -x632 -x503 -x687 -x982 -x1696 -x206 1.49 v -x393 -x417 -x284 -x603 -x1324 -x686 -x1545 -x444 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 1.49 v -x1181 -x1182 -x1183 -x1184 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 1.49 v -x1200 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 x1213 -x1214 -x1215 -x342 -x1660 -x1781 1.49 v -x356 -x149 -x1381 -x181 -x182 -x183 -x184 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x197 -x199 -x200 1.49 v -x202 -x203 -x204 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x224 -x225 1.49 v -x1564 -x98 -x1056 -x8 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 1.49 v -x1547 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1556 x1558 -x1560 -x1561 -x1562 -x1565 -x1569 -x1570 -x1572 -x1573 1.49 v -x1574 -x1575 -x253 -x1823 -x922 -x1391 -x256 -x1810 -x170 -x42 x1647 -x1224 -x977 -x1924 -x1235 -x1013 -x1071 -x59 -x1918 1.49 v -x800 -x297 x1477 -x293 -x968 -x1854 -x1807 -x399 -x1649 -x364 -x1034 -x1291 -x367 -x1648 -x1025 -x1259 -x532 -x1053 -x1769 1.49 v -x1007 -x1451 -x1829 -x1798 -x1965 -x487 -x1438 -x572 -x1880 -x856 -x1150 -x663 -x33 -x512 -x104 -x597 -x914 -x134 -x1294 1.49 v -x581 -x1039 -x1005 -x1344 -x1458 -x889 -x1705 -x1318 -x1632 -x22 -x1230 -x978 -x523 -x1147 -x366 -x1465 -x1885 -x890 -x1246 1.49 v -x368 -x126 -x1700 -x956 -x359 -x1923 -x614 -x146 -x674 -x26 -x1330 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 1.49 v -x1449 -x1450 -x1452 -x1453 -x1454 -x1455 -x1457 -x1460 -x1461 -x1462 -x1463 -x1464 -x1466 -x1467 -x1468 -x1469 -x1470 1.49 v -x1471 -x1473 -x1474 -x1475 -x1476 -x1478 -x1479 -x1480 -x1481 -x1483 -x1484 -x1485 -x1957 -x434 -x500 -x996 -x705 -x1799 1.49 v -x138 -x915 -x629 -x54 -x39 -x233 -x633 -x176 -x1045 -x903 -x981 -x519 -x719 -x1861 -x1630 -x1436 -x1808 -x432 -x1114 -x926 1.49 v -x1802 -x1075 -x353 -x1087 -x166 -x240 -x1892 -x1037 -x1038 -x1040 -x1041 -x1042 -x1043 -x1044 -x1046 -x1047 -x1048 -x1049 1.49 v -x1050 -x1052 -x1054 -x1055 x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 1.49 v -x1073 -x1074 -x1076 -x1077 -x1079 -x1080 -x929 -x1669 -x1897 -x27 -x664 -x1241 -x260 -x428 -x1692 -x1122 -x790 -x631 -x635 1.49 v -x636 -x637 -x638 -x639 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x651 -x652 -x653 -x655 -x656 -x657 -x658 x659 1.49 v -x661 -x662 -x665 -x666 -x667 -x669 -x670 -x671 -x672 -x673 -x675 -x1693 -x575 -x87 -x936 -x1383 -x1783 -x958 -x779 -x1101 1.49 v -x1771 -x549 -x1826 -x490 -x1408 -x352 -x1625 -x1864 -x1865 -x1084 -x565 -x1169 -x118 -x702 -x1109 -x893 -x245 -x1814 -x1217 1.49 v -x1352 -x582 -x1912 -x107 -x901 -x1908 -x23 -x1365 -x436 -x389 -x1666 -x1668 -x1670 -x1671 -x1672 -x1673 -x1675 -x1676 1.49 v -x1677 -x1678 -x1679 -x1680 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1691 -x1694 -x1695 -x1697 1.49 v -x1699 -x1701 -x1702 -x1703 -x1704 -x1706 -x1707 -x1708 -x1709 -x1710 -x588 -x88 -x96 -x1161 -x382 -x1264 -x152 -x886 -x1898 1.49 v -x1216 -x1218 -x1219 x1220 -x1221 -x1222 -x1223 -x1225 -x1226 -x1227 -x1228 -x1229 -x1231 -x1232 -x1233 -x1234 -x1236 1.49 v -x1240 -x1242 -x1243 -x1244 -x1247 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1256 -x1257 -x1258 -x1260 -x528 -x38 -x1125 1.49 v -x272 -x1643 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1770 -x1772 1.49 v -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1782 -x1784 -x1785 x1787 -x1788 -x1790 -x1791 -x1792 -x1793 1.49 v -x1794 -x1795 -x1796 -x1797 -x1279 -x516 -x698 -x1142 -x1440 -x89 -x506 -x398 -x345 -x423 -x1285 -x1131 -x1627 -x1149 -x1159 1.49 v -x462 -x380 -x1387 -x1261 -x1262 -x1263 -x1265 -x1267 -x1268 -x1269 -x1270 -x1271 -x1273 -x1274 -x1276 -x1277 -x1278 -x1280 1.49 v -x1281 -x1283 -x1284 -x1288 -x1289 -x1290 -x1292 -x1293 -x1296 -x1297 x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 1.49 v -x1305 -x1378 -x142 -x25 -x1411 -x1023 -x942 -x598 -x1396 -x237 -x1654 -x1886 -x1947 -x316 -x317 -x318 -x319 -x320 -x322 1.49 v -x323 x324 -x325 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x335 -x336 -x338 -x339 -x340 -x341 -x343 -x344 -x347 -x348 -x349 1.49 v -x350 -x351 -x355 -x357 -x360 -x491 x123 x1000 -x538 -x1030 -x154 -x545 -x1137 -x1334 -x443 -x281 -x255 -x951 -x771 -x1085 1.49 v -x871 -x141 -x425 -x928 -x966 x911 -x1021 -x1812 -x875 -x1659 -x601 -x310 -x703 -x605 -x576 -x697 -x1028 -x530 -x40 -x1913 1.49 v -x268 -x919 -x32 -x1139 -x10 -x563 -x1636 -x1626 -x1129 -x544 -x1948 -x262 -x451 -x289 -x1373 -x461 -x111 -x868 -x264 -x1936 1.49 v -x1382 -x950 -x1164 -x1663 -x1313 -x1035 -x857 -x1958 -x778 -x1894 -x1644 -x521 -x927 -x1838 -x1016 -x858 -x859 -x860 -x861 1.49 v -x862 x863 -x864 -x865 -x866 -x867 -x869 -x872 -x874 -x876 -x877 -x878 -x880 -x881 -x882 -x883 -x884 -x885 -x887 -x888 -x891 1.49 v -x892 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x234 -x179 -x441 -x64 -x413 -x1402 -x290 -x457 -x1857 -x1082 -x935 -x294 1.49 v -x984 -x1432 -x1384 -x227 -x1887 -x424 -x1315 -x73 -x1816 -x604 -x308 -x1429 -x375 -x18 -x1153 -x1367 -x102 -x1925 -x304 1.49 v -x774 -x390 -x1088 -x932 -x1931 -x478 -x1875 -x391 -x299 -x780 -x135 -x546 -x1883 -x1951 -x137 -x1019 -x784 -x1133 -x160 1.49 v -x1170 -x520 -x766 -x7 -x704 -x986 -x482 -x106 -x103 -x269 -x1376 -x302 -x105 -x905 -x1871 -x678 -x1837 -x271 -x1665 -x693 1.49 v -x501 x769 -x602 -x560 -x1840 -x1904 -x470 -x1831 -x1427 -x1017 -x1818 -x535 -x1093 -x381 -x1145 -x1967 -x267 -x1418 -x991 1.49 v -x992 -x993 -x994 -x995 -x997 -x998 -x999 -x1001 -x1002 -x1004 -x1006 -x1008 -x1009 -x1010 -x1011 -x1012 -x1014 -x1015 1.49 v -x1020 -x1022 -x1026 -x1029 -x1031 -x1032 -x1033 -x1140 -x1964 -x1949 -x1107 -x579 -x72 -x1322 -x94 -x1120 -x1974 -x1111 1.49 v -x1335 -x2 -x371 -x1970 -x46 -x47 -x48 -x49 -x52 -x53 -x55 -x58 -x60 -x61 -x62 -x63 -x65 -x66 -x67 x69 -x70 -x71 -x74 -x75 -x76 1.49 v -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x90 -x258 -x1911 -x567 -x93 x1956 -x1623 -x1397 -x247 -x483 x452 -x453 -x454 1.49 v -x455 -x456 -x458 -x459 -x460 -x463 -x464 -x465 -x466 -x467 -x469 -x471 -x472 -x473 -x474 -x475 -x476 -x479 -x480 -x481 -x485 1.49 v -x486 -x489 -x492 -x493 -x494 -x495 -x1845 -x680 -x1319 -x804 -x699 -x1392 -x147 -x809 -x551 -x1098 -x144 -x691 -x1638 -x1835 1.49 v -x1121 -x1905 -x514 x150 -x403 -x440 -x611 -x595 -x1416 -x801 -x1390 -x1834 -x177 -x305 -x41 -x411 -x156 -x946 -x1902 -x782 1.49 v -x1306 -x1307 -x1309 -x1310 x1312 -x1314 -x1317 -x1320 -x1321 -x1323 -x1325 -x1326 -x1327 -x1328 -x1329 -x1331 -x1332 1.49 v -x1333 -x1336 -x1337 -x1338 -x1339 -x1341 -x1342 -x1343 -x1345 -x1346 -x1348 -x1349 -x1350 -x586 -x148 -x1656 -x422 -x775 1.49 v -x370 -x1434 -x1642 -x1621 -x517 -x396 -x596 -x1975 -x1422 -x1132 -x1105 -x590 -x379 x534 -x1116 -x1126 -x712 -x1393 -x1403 1.49 v -x415 -x548 -x226 -x1850 -x1628 -x402 -x1922 -x1127 -x1130 -x1135 -x1136 -x1138 -x1141 x1144 -x1146 -x1148 -x1151 -x1152 1.49 v -x1154 -x1155 -x1156 -x1157 -x1158 -x1160 -x1162 -x1163 -x1165 -x1166 -x1167 -x1168 -x1849 -x1943 -x808 -x539 -x1430 -x1372 1.49 v -x365 -x406 -x409 -x410 -x412 -x414 -x416 -x418 -x419 -x421 -x426 -x427 -x429 -x430 x431 -x433 -x435 -x439 -x442 -x445 -x446 1.49 v -x447 -x448 -x449 -x450 -x278 -x940 -x28 -x100 -x1971 x1813 -x1966 -x1366 -x916 -x955 -x957 -x274 -x1406 -x1662 -x1664 -x1410 1.49 v -x109 -x1820 -x1356 -x807 -x1645 -x228 -x229 -x230 -x231 -x232 -x235 -x236 -x238 -x239 -x242 -x243 -x244 -x246 -x249 -x251 1.49 v -x252 -x254 -x257 -x261 -x263 -x265 -x266 -x270 -x1104 -x1124 -x715 -x273 -x1870 -x931 -x1901 -x1100 -x502 -x556 -x681 -x589 1.49 v -x591 -x592 -x593 -x594 -x599 -x600 -x607 -x608 -x609 -x612 -x613 -x615 -x616 -x618 x620 -x621 -x622 -x623 -x625 -x626 -x627 1.49 v -x628 -x630 -x121 -x913 -x973 -x1860 -x1801 -x1805 -x1806 -x1809 -x1811 -x1815 -x1822 -x1824 -x1825 -x1827 -x1832 -x1833 1.49 v -x1839 -x1841 -x1842 -x1843 -x924 x288 -x794 -x717 -x1357 -x529 -x796 -x964 -x566 -x708 -x1637 -x361 -x363 -x369 -x372 -x373 1.49 v -x374 -x377 -x378 -x383 -x384 -x385 -x386 -x387 -x388 -x392 -x395 -x397 -x400 x404 -x405 -x767 -x770 -x772 -x773 -x776 -x777 1.49 v -x781 -x783 -x785 -x786 -x787 -x788 -x789 -x791 -x792 -x799 -x806 -x1106 -x943 -x1941 -x682 -x6 -x1847 -x29 -x1386 -x1081 1.49 v -x1083 -x1086 -x1090 -x1094 -x1095 -x1097 -x1099 -x1102 -x1103 -x1108 -x1110 -x1112 -x1117 -x1118 -x1119 -x972 -x1900 1.49 v -x1401 -x564 -x1863 -x558 -x679 -x711 -x283 -x1852 -x1437 -x1893 -x1952 -x112 -x314 -x1891 -x1896 -x1903 -x1909 x1910 -x1915 1.49 v -x1916 -x1917 -x1919 -x1920 -x1926 -x1927 -x1928 -x1930 -x1932 -x1935 -x709 -x1867 -x552 -x1888 -x1355 -x937 -x1942 -x906 1.49 v -x960 -x917 -x921 -x707 -x980 -x569 -x696 -x1881 -x1634 -x1 -x136 -x139 -x140 -x143 -x145 -x151 -x155 -x157 -x161 -x162 -x163 1.49 v -x164 -x165 -x167 -x169 -x171 -x173 -x174 -x178 -x180 -x31 -x1398 -x1399 -x1400 -x1404 -x1407 -x1409 -x1412 -x1413 -x1414 1.49 v -x1415 -x1419 -x1421 -x1423 -x1426 -x1433 -x1435 -x1631 -x522 -x1374 -x541 -x542 x543 -x550 -x553 -x555 -x557 -x559 -x561 1.49 v -x562 -x568 -x570 -x571 -x573 -x574 -x578 -x580 -x583 -x584 -x585 -x909 -x1889 -x1937 -x1938 -x1939 -x1940 -x1945 -x1946 1.49 v -x1953 -x1954 -x1959 -x1962 -x1963 -x1968 -x1969 -x1973 -x1976 -x979 -x948 -x947 -x920 -x124 -x533 -x20 -x941 -x509 -x907 1.49 v -x976 -x13 -x513 -x695 -x963 -x1862 -x1369 -x524 x45 -x930 -x311 -x1633 -x125 -x965 -x1375 -x515 -x1363 -x990 -x95 -x1853 1.49 v -x683 -x689 -x127 -x525 -x91 -x92 -x110 -x113 -x114 -x115 -x116 -x117 -x119 -x120 -x122 -x128 -x129 -x130 -x131 -x132 -x133 1.49 v -x902 -x282 -x1869 -x1358 -x718 -x985 x1351 -x1855 -x3 -x4 -x5 -x9 -x11 -x14 -x15 -x16 -x17 -x19 -x21 -x24 -x30 -x34 -x35 -x37 1.49 v -x44 -x1846 -x1848 -x1851 -x1858 -x1859 -x1868 -x1872 -x1874 x1876 -x1877 -x1878 -x1879 -x1882 -x1361 -x309 -x1622 -x1624 1.49 v -x1629 -x1635 -x1639 -x1641 -x1646 -x1650 -x1651 -x1653 -x1655 -x1657 -x1661 -x531 -x904 -x908 -x910 -x912 -x918 -x923 1.49 v -x925 -x934 -x944 -x1388 -x953 -x1380 -x1389 -x518 -x504 -x970 -x280 -x527 -x497 -x505 -x508 -x536 -x540 -x1360 -x313 x959 1.49 v -x1362 -x983 -x315 -x952 -x1371 -x987 -x287 -x962 -x285 -x701 -x967 -x286 -x1379 -x677 -x688 -x694 -x307 -x279 -x676 -x301 1.49 v -x988 -x989 -x1385 -x1395 -x1353 -x1364 -x1370 -x1377 -x710 -x716 -x303 -x684 -x713 -x275 -x949 -x961 -x276 -x295 -x306
OK 0
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node48/watcher-36236-1149233207 -o ROOT/results/node48/solver-36236-1149233207 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node48/36236-1149233207/instance-36236-1149233207.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.95 1.00 0.95 2/64 12474 /proc/meminfo: memFree=1343096/2055920 swapFree=4181440/4192956 [pid=12474] ppid=12472 vsize=2572 CPUtime=0 /proc/12474/stat : 12474 (Pueblo) R 12472 12474 12429 0 -1 4194304 256 0 0 0 0 0 0 0 18 0 1 0 188987715 2633728 227 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 3699232 0 0 4096 0 0 0 0 17 1 0 0 /proc/12474/statm: 643 234 198 16 0 84 0 Child status: 10 Real time (s): 1.49476 CPU time (s): 1.48977 CPU user time (s): 1.48377 CPU system time (s): 0.005999 CPU usage (%): 99.6663 Max. virtual memory (cumulated for all children) (Kb): 0
Begin job on node48 on Fri Jun 2 07:26:47 UTC 2006 FILE ID= 36236-1149233207 PBS_JOBID= 296673 BENCH NAME= ROOT/tmp/node48/36236-1149233207/instance-36236-1149233207.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node48/36236-1149233207/instance-36236-1149233207.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-36236-1149233207 -o ROOT/results/node48/solver-36236-1149233207 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node48/36236-1149233207/instance-36236-1149233207.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 1fc5c2586ddac9fd4692e69ce4a42173 RANDOM SEED= 40905768 /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.259 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.259 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: 1343304 kB Buffers: 23072 kB Cached: 617296 kB SwapCached: 3388 kB Active: 223820 kB Inactive: 425396 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1343304 kB SwapTotal: 4192956 kB SwapFree: 4181440 kB Dirty: 228 kB Writeback: 0 kB Mapped: 14856 kB Slab: 49400 kB Committed_AS: 208248 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node48 on Fri Jun 2 07:26:48 UTC 2006