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