0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3452595-1307094280.opb>
0.19/0.26 c original problem has 2847 variables (2847 bin, 0 int, 0 impl, 0 cont) and 4902 constraints
0.19/0.26 c problem read
0.19/0.26 c presolving settings loaded
0.29/0.35 o 2847
0.29/0.35 o 2814
0.29/0.35 c feasible solution found by trivial heuristic, objective value 2.814000e+03
0.29/0.35 c presolving:
0.59/0.62 c (round 1) 0 del vars, 174 del conss, 0 add conss, 0 chg bounds, 17 chg sides, 0 chg coeffs, 4875 upgd conss, 6 impls, 0 clqs
0.59/0.66 c (0.7s) probing: 101/2847 (3.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.66 c (0.7s) probing aborted: 100/100 successive totally useless probings
0.59/0.66 c presolving (2 rounds):
0.59/0.66 c 0 deleted vars, 174 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 17 changed sides, 0 changed coefficients
0.59/0.66 c 6 implications, 0 cliques
0.59/0.66 c presolved problem has 2847 variables (2847 bin, 0 int, 0 impl, 0 cont) and 4728 constraints
0.59/0.66 c 3 constraints of type <setppc>
0.59/0.66 c 4725 constraints of type <logicor>
0.59/0.66 c transformed objective value is always integral (scale: 1)
0.59/0.66 c Presolving Time: 0.38
0.59/0.66 c - non default parameters ----------------------------------------------------------------------
0.59/0.66 c # SCIP version 2.0.1.4
0.59/0.66 c
0.59/0.66 c # frequency for displaying node information lines
0.59/0.66 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.66 c display/freq = 10000
0.59/0.66 c
0.59/0.66 c # maximal time in seconds to run
0.59/0.66 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.66 c limits/time = 1800
0.59/0.66 c
0.59/0.66 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.66 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.66 c limits/memory = 13950
0.59/0.66 c
0.59/0.66 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.59/0.66 c # [type: int, range: [1,2], default: 1]
0.59/0.66 c timing/clocktype = 2
0.59/0.66 c
0.59/0.66 c # belongs reading time to solving time?
0.59/0.66 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.66 c timing/reading = TRUE
0.59/0.66 c
0.59/0.66 c # should presolving try to simplify inequalities
0.59/0.66 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.66 c constraints/linear/simplifyinequalities = TRUE
0.59/0.66 c
0.59/0.66 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.59/0.66 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.66 c constraints/indicator/addCouplingCons = TRUE
0.59/0.66 c
0.59/0.66 c # should presolving try to simplify knapsacks
0.59/0.66 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.66 c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.66 c
0.59/0.66 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.66 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.66 c separating/rapidlearning/freq = 0
0.59/0.66 c
0.59/0.66 c -----------------------------------------------------------------------------------------------
0.59/0.66 c start solving
0.59/0.66 c
0.59/0.66 o 2764
0.59/0.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.66 c t 0.7s| 1 | 0 | 0 | - | 24M| 0 | - |2847 |4728 | 0 | 0 | 0 | 0 | 0 | -- | 2.764000e+03 | Inf
0.69/0.76 o 47
0.69/0.76 c b 0.8s| 1 | 0 | 0 | - | 41M| 0 | - |2847 |4728 |2847 |4728 | 0 | 0 | 0 | -- | 4.700000e+01 | Inf
0.89/0.99 c 1.0s| 1 | 0 | 1160 | - | 41M| 0 | 139 |2847 |4728 |2847 |4728 | 0 | 0 | 0 | 2.167221e+01 | 4.700000e+01 | 116.87%
1.79/1.82 c 1.8s| 1 | 0 | 1445 | - | 42M| 0 | 104 |2847 |4727 |2847 |4694 | 3 | 0 | 0 | 2.200683e+01 | 4.700000e+01 | 113.57%
2.39/2.47 c 2.5s| 1 | 0 | 1609 | - | 42M| 0 | 137 |2847 |4727 |2847 |4695 | 4 | 0 | 0 | 2.206401e+01 | 4.700000e+01 | 113.02%
3.39/3.43 o 35
3.39/3.43 c E 3.4s| 1 | 0 | 1609 | - | 42M| 0 | 137 |2847 |4727 |2847 |4695 | 4 | 0 | 0 | 2.206401e+01 | 3.500000e+01 | 58.63%
3.39/3.44 c 3.4s| 1 | 0 | 1609 | - | 42M| 0 | 137 |2847 |4727 |2847 |4695 | 4 | 0 | 0 | 2.206401e+01 | 3.500000e+01 | 58.63%
7.19/7.27 c 7.3s| 1 | 2 | 1609 | - | 42M| 0 | 137 |2847 |4727 |2847 |4695 | 4 | 0 | 33 | 2.206401e+01 | 3.500000e+01 | 58.63%
33.01/33.05 o 26
33.01/33.05 c c33.1s| 22 | 23 | 4441 | 134.9 | 42M| 21 | - |2847 |4727 |2847 |4694 | 4 | 0 | 269 | 2.211037e+01 | 2.600000e+01 | 17.59%
48.70/48.74 o 25
48.70/48.74 c p48.7s| 311 | 118 | 41926 | 130.1 | 44M| 52 | - |2847 |4729 |2847 |4694 | 4 | 4 | 435 | 2.222569e+01 | 2.500000e+01 | 12.48%
99.40/99.46 o 24
99.40/99.46 c l99.5s| 750 | 105 |168656 | 223.0 | 44M| 65 | - |2847 |4727 |2847 |4694 | 4 | 5 | 868 | 2.234408e+01 | 2.400000e+01 | 7.41%
102.90/102.90 c
102.90/102.90 c SCIP Status : problem is solved [optimal solution found]
102.90/102.90 c Solving Time (sec) : 102.90
102.90/102.90 c Solving Nodes : 855
102.90/102.90 c Primal Bound : +2.40000000000000e+01 (16 solutions)
102.90/102.90 c Dual Bound : +2.40000000000000e+01
102.90/102.90 c Gap : 0.00 %
102.90/102.92 s OPTIMUM FOUND
102.90/102.92 v -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829
102.90/102.92 v -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812
102.90/102.92 v -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794
102.90/102.92 v -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776
102.90/102.92 v -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758
102.90/102.92 v -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740
102.90/102.92 v -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722
102.90/102.92 v -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704
102.90/102.92 v -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687
102.90/102.92 v -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669
102.90/102.92 v -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651
102.90/102.92 v -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633
102.90/102.92 v -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615
102.90/102.92 v -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597
102.90/102.92 v -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579
102.90/102.92 v -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562
102.90/102.92 v -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 x2546 -x2545 -x2544
102.90/102.92 v -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526
102.90/102.92 v -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508
102.90/102.92 v -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490
102.90/102.92 v -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472
102.90/102.92 v -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454
102.90/102.92 v -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436
102.90/102.92 v -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419
102.90/102.92 v -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401
102.90/102.92 v -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383
102.90/102.92 v -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365
102.90/102.92 v -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347
102.90/102.92 v -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329
102.90/102.92 v -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311
102.90/102.92 v -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294
102.90/102.92 v -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276
102.90/102.92 v -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258
102.90/102.92 v -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240
102.90/102.92 v -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222
102.90/102.92 v -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204
102.90/102.92 v -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186
102.90/102.92 v -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168
102.90/102.92 v -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151
102.90/102.92 v -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133
102.90/102.92 v -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115
102.90/102.92 v -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097
102.90/102.92 v -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079
102.90/102.92 v -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061
102.90/102.92 v -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043
102.90/102.92 v -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026
102.90/102.92 v -x2025 -x2024 x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008
102.90/102.92 v -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990
102.90/102.92 v -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972
102.90/102.92 v -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954
102.90/102.92 v -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936
102.90/102.92 v -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918
102.90/102.92 v -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900
102.90/102.92 v -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883
102.90/102.92 v -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865
102.90/102.92 v -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847
102.90/102.92 v -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829
102.90/102.92 v -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811
102.90/102.92 v -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793
102.90/102.92 v -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775
102.90/102.92 v -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758
102.90/102.92 v -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740
102.90/102.92 v -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722
102.90/102.92 v -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704
102.90/102.92 v -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686
102.90/102.92 v -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668
102.90/102.92 v -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650
102.90/102.92 v -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633
102.90/102.92 v -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615
102.90/102.92 v -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597
102.90/102.92 v -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579
102.90/102.92 v -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561
102.90/102.92 v -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543
102.90/102.92 v -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525
102.90/102.92 v -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508
102.90/102.92 v -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490
102.90/102.92 v -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472
102.90/102.92 v -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454
102.90/102.92 v -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436
102.90/102.92 v -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418
102.90/102.92 v -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400
102.90/102.92 v -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383
102.90/102.92 v -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365
102.90/102.92 v -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347
102.90/102.92 v -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329
102.90/102.92 v -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311
102.90/102.92 v -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293
102.90/102.92 v -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275
102.90/102.92 v -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258
102.90/102.92 v -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240
102.90/102.92 v -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222
102.90/102.92 v -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204
102.90/102.92 v -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186
102.90/102.92 v -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168
102.90/102.92 v -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150
102.90/102.92 v -x1149 -x1148 -x1147 x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132
102.90/102.92 v -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115
102.90/102.92 v -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097
102.90/102.92 v -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079
102.90/102.92 v -x1078 x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061
102.90/102.92 v -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043
102.90/102.92 v -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025
102.90/102.92 v -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007
102.90/102.92 v -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988
102.90/102.92 v -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967
102.90/102.92 v -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946
102.90/102.92 v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925
102.90/102.92 v -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 x908 -x907 -x906 x905 -x904
102.90/102.92 v -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883
102.90/102.92 v -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862
102.90/102.92 v -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842
102.90/102.92 v -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821
102.90/102.92 v -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800
102.90/102.92 v -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779
102.90/102.92 v -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758
102.90/102.92 v -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737
102.90/102.92 v -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716
102.90/102.92 v -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696
102.90/102.92 v -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675
102.90/102.92 v -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654
102.90/102.92 v -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633
102.90/102.92 v -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612
102.90/102.92 v -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591
102.90/102.92 v -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571
102.90/102.92 v -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550
102.90/102.92 v -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529
102.90/102.92 v -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508
102.90/102.92 v -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487
102.90/102.92 v -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466
102.90/102.92 v -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446
102.90/102.92 v -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425
102.90/102.92 v -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404
102.90/102.92 v -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383
102.90/102.92 v -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362
102.90/102.92 v -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341
102.90/102.92 v -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321
102.90/102.92 v -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300
102.90/102.92 v -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279
102.90/102.92 v -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258
102.90/102.92 v -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237
102.90/102.92 v -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216
102.90/102.92 v -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196
102.90/102.92 v -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175
102.90/102.92 v -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154
102.90/102.92 v -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133
102.90/102.92 v -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112
102.90/102.92 v -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90
102.90/102.92 v -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65
102.90/102.92 v -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 x47 x46 -x45 -x44 x43 x42 x41 -x40 x39 -x38
102.90/102.92 v x37 x36 -x35 -x34 x33 -x32 -x31 x30 x29 x28 x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12
102.90/102.92 v -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
102.90/102.92 c SCIP Status : problem is solved [optimal solution found]
102.90/102.92 c Total Time : 102.90
102.90/102.92 c solving : 102.90
102.90/102.92 c presolving : 0.38 (included in solving)
102.90/102.92 c reading : 0.26 (included in solving)
102.90/102.92 c Original Problem :
102.90/102.92 c Problem name : HOME/instance-3452595-1307094280.opb
102.90/102.92 c Variables : 2847 (2847 binary, 0 integer, 0 implicit integer, 0 continuous)
102.90/102.92 c Constraints : 4902 initial, 4902 maximal
102.90/102.92 c Presolved Problem :
102.90/102.92 c Problem name : t_HOME/instance-3452595-1307094280.opb
102.90/102.92 c Variables : 2847 (2847 binary, 0 integer, 0 implicit integer, 0 continuous)
102.90/102.92 c Constraints : 4728 initial, 4731 maximal
102.90/102.92 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
102.90/102.92 c trivial : 0.00 0 0 0 0 0 0 0 0 0
102.90/102.92 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
102.90/102.92 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
102.90/102.92 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
102.90/102.92 c implics : 0.00 0 0 0 0 0 0 0 0 0
102.90/102.92 c probing : 0.02 0 0 0 0 0 0 0 0 0
102.90/102.92 c setppc : 0.00 0 0 0 0 0 0 0 0 0
102.90/102.92 c linear : 0.15 0 0 0 0 0 27 0 17 0
102.90/102.92 c logicor : 0.11 0 0 0 0 0 147 0 0 0
102.90/102.92 c root node : - 35 - - 35 - - - - -
102.90/102.92 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
102.90/102.92 c integral : 0 0 0 682 0 20 0 5 249 0 0 1236
102.90/102.92 c setppc : 3 3 5623 0 0 15 0 0 12 0 0 0
102.90/102.92 c logicor : 4725+ 3 1491 0 0 14 180 3 1888 0 0 0
102.90/102.92 c countsols : 0 0 0 0 0 18 0 0 0 0 0 0
102.90/102.92 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
102.90/102.92 c integral : 41.97 0.00 0.00 41.97 0.00 0.00 0.00
102.90/102.92 c setppc : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
102.90/102.92 c logicor : 0.13 0.00 0.12 0.00 0.00 0.01 0.00
102.90/102.92 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
102.90/102.92 c Propagators : #Propagate #Resprop Cutoffs DomReds
102.90/102.92 c vbounds : 0 0 0 0
102.90/102.92 c rootredcost : 3 0 0 30
102.90/102.92 c pseudoobj : 5588 0 0 0
102.90/102.92 c Propagator Timings : TotalTime Propagate Resprop
102.90/102.92 c vbounds : 0.00 0.00 0.00
102.90/102.92 c rootredcost : 0.00 0.00 0.00
102.90/102.92 c pseudoobj : 0.26 0.26 0.00
102.90/102.92 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
102.90/102.92 c propagation : 0.00 3 3 8 285.1 0 0.0 -
102.90/102.92 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
102.90/102.92 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
102.90/102.92 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
102.90/102.92 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
102.90/102.92 c applied globally : - - - 4 190.0 - - -
102.90/102.92 c applied locally : - - - 1 375.0 - - -
102.90/102.92 c Separators : Time Calls Cutoffs DomReds Cuts Conss
102.90/102.92 c cut pool : 0.00 2 - - 0 - (maximal pool size: 19)
102.90/102.92 c redcost : 0.15 913 0 82301 0 0
102.90/102.92 c impliedbounds : 0.00 4 0 0 0 0
102.90/102.92 c intobj : 0.00 0 0 0 0 0
102.90/102.92 c gomory : 0.63 4 0 0 500 0
102.90/102.92 c cgmip : 0.00 0 0 0 0 0
102.90/102.92 c closecuts : 0.00 0 0 0 0 0
102.90/102.92 c strongcg : 0.78 4 0 0 1000 0
102.90/102.92 c cmir : 0.11 4 0 0 0 0
102.90/102.92 c flowcover : 0.11 4 0 0 0 0
102.90/102.92 c clique : 0.00 1 0 0 0 0
102.90/102.92 c zerohalf : 0.00 0 0 0 0 0
102.90/102.92 c mcf : 0.01 1 0 0 0 0
102.90/102.92 c oddcycle : 0.00 0 0 0 0 0
102.90/102.92 c rapidlearning : 0.34 1 0 4 0 0
102.90/102.92 c Pricers : Time Calls Vars
102.90/102.92 c problem variables: 0.00 0 0
102.90/102.92 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
102.90/102.92 c relpscost : 41.97 682 5 249 0 0 1236
102.90/102.92 c pscost : 0.00 0 0 0 0 0 0
102.90/102.92 c inference : 0.00 0 0 0 0 0 0
102.90/102.92 c mostinf : 0.00 0 0 0 0 0 0
102.90/102.92 c leastinf : 0.00 0 0 0 0 0 0
102.90/102.92 c fullstrong : 0.00 0 0 0 0 0 0
102.90/102.92 c allfullstrong : 0.00 0 0 0 0 0 0
102.90/102.92 c random : 0.00 0 0 0 0 0 0
102.90/102.92 c Primal Heuristics : Time Calls Found
102.90/102.92 c LP solutions : 0.00 - 0
102.90/102.92 c pseudo solutions : 0.00 - 0
102.90/102.92 c feaspump : 0.00 0 0
102.90/102.92 c oneopt : 0.13 6 1
102.90/102.92 c veclendiving : 5.39 4 0
102.90/102.92 c objpscostdiving : 3.38 2 0
102.90/102.92 c fracdiving : 7.57 5 0
102.90/102.92 c linesearchdiving : 1.70 5 1
102.90/102.92 c guideddiving : 6.03 5 0
102.90/102.92 c crossover : 0.30 2 2
102.90/102.92 c rootsoldiving : 0.40 3 3
102.90/102.92 c coefdiving : 2.32 6 1
102.90/102.92 c pscostdiving : 2.36 6 1
102.90/102.92 c trivial : 0.02 2 3
102.90/102.92 c shiftandpropagate: 0.00 0 0
102.90/102.92 c simplerounding : 0.00 684 0
102.90/102.92 c zirounding : 0.17 621 2
102.90/102.92 c rounding : 0.11 325 0
102.90/102.92 c shifting : 0.03 67 0
102.90/102.92 c intshifting : 0.00 0 0
102.90/102.92 c twoopt : 0.00 0 0
102.90/102.92 c fixandinfer : 0.00 0 0
102.90/102.92 c clique : 0.00 0 0
102.90/102.92 c intdiving : 0.00 0 0
102.90/102.92 c actconsdiving : 0.00 0 0
102.90/102.92 c octane : 0.00 0 0
102.90/102.92 c rens : 0.65 1 1
102.90/102.92 c rins : 0.00 0 0
102.90/102.92 c localbranching : 0.00 0 0
102.90/102.92 c mutation : 0.00 0 0
102.90/102.92 c dins : 0.00 0 0
102.90/102.92 c vbounds : 0.00 0 0
102.90/102.92 c undercover : 0.00 0 0
102.90/102.92 c subnlp : 0.00 0 0
102.90/102.92 c trysol : 0.00 0 0
102.90/102.92 c LP : Time Calls Iterations Iter/call Iter/sec
102.90/102.92 c primal LP : 0.00 0 0 0.00 -
102.90/102.92 c dual LP : 26.65 915 111435 121.79 4181.08
102.90/102.92 c lex dual LP : 0.00 0 0 0.00 -
102.90/102.92 c barrier LP : 0.00 0 0 0.00 -
102.90/102.92 c diving/probing LP: 26.40 4396 70362 16.01 2665.18
102.90/102.92 c strong branching : 41.92 882 164869 186.93 3933.18
102.90/102.92 c (at root node) : - 33 14885 451.06 -
102.90/102.92 c conflict analysis: 0.00 0 0 0.00 -
102.90/102.92 c B&B Tree :
102.90/102.92 c number of runs : 1
102.90/102.92 c nodes : 855
102.90/102.92 c nodes (total) : 855
102.90/102.92 c nodes left : 0
102.90/102.92 c max depth : 65
102.90/102.92 c max depth (total): 65
102.90/102.92 c backtracks : 156 (18.2%)
102.90/102.92 c delayed cutoffs : 0
102.90/102.92 c repropagations : 1 (0 domain reductions, 0 cutoffs)
102.90/102.92 c avg switch length: 6.79
102.90/102.92 c switching time : 0.14
102.90/102.92 c Solution :
102.90/102.92 c Solutions found : 16 (8 improvements)
102.90/102.92 c First Solution : +2.84700000000000e+03 (in run 1, after 0 nodes, 0.34 seconds, depth 0, found by <trivial>)
102.90/102.92 c Primal Bound : +2.40000000000000e+01 (in run 1, after 750 nodes, 99.46 seconds, depth 82, found by <linesearchdiving>)
102.90/102.92 c Dual Bound : +2.40000000000000e+01
102.90/102.92 c Gap : 0.00 %
102.90/102.92 c Root Dual Bound : +2.20640050697085e+01
102.90/102.92 c Root Iterations : 1609
102.90/102.99 c Time complete: 102.98.
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-3452595-1307094280/watcher-3452595-1307094280 -o /tmp/evaluation-result-3452595-1307094280/solver-3452595-1307094280 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452595-1307094280.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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: 2.00 2.00 2.00 2/429 22393
/proc/meminfo: memFree=29135764/32951124 swapFree=43324008/67111528
[pid=22393] ppid=22391 vsize=12780 CPUtime=0.01 cores=1,3,5,7
/proc/22393/stat : 22393 (scip-2.0.1.4.li) R 22391 22393 22076 0 -1 4202496 2206 0 0 0 1 0 0 0 25 0 1 0 821028501 13086720 2159 33554432000 4194304 9128323 140735622235104 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22393/statm: 3195 2159 400 1205 0 1986 0
[startup+0.0416799 s]
/proc/loadavg: 2.00 2.00 2.00 2/429 22393
/proc/meminfo: memFree=29135764/32951124 swapFree=43324008/67111528
[pid=22393] ppid=22391 vsize=13728 CPUtime=0.03 cores=1,3,5,7
/proc/22393/stat : 22393 (scip-2.0.1.4.li) R 22391 22393 22076 0 -1 4202496 2439 0 0 0 3 0 0 0 25 0 1 0 821028501 14057472 2392 33554432000 4194304 9128323 140735622235104 18446744073709551615 6191635 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22393/statm: 3432 2392 400 1205 0 2223 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13728
[startup+0.10067 s]
/proc/loadavg: 2.00 2.00 2.00 2/429 22393
/proc/meminfo: memFree=29135764/32951124 swapFree=43324008/67111528
[pid=22393] ppid=22391 vsize=15984 CPUtime=0.09 cores=1,3,5,7
/proc/22393/stat : 22393 (scip-2.0.1.4.li) R 22391 22393 22076 0 -1 4202496 2989 0 0 0 9 0 0 0 25 0 1 0 821028501 16367616 2942 33554432000 4194304 9128323 140735622235104 18446744073709551615 6192231 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22393/statm: 3996 2942 400 1205 0 2787 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15984
[startup+0.300637 s]
/proc/loadavg: 2.00 2.00 2.00 2/429 22393
/proc/meminfo: memFree=29135764/32951124 swapFree=43324008/67111528
[pid=22393] ppid=22391 vsize=49960 CPUtime=0.29 cores=1,3,5,7
/proc/22393/stat : 22393 (scip-2.0.1.4.li) R 22391 22393 22076 0 -1 4202496 11202 0 0 0 29 0 0 0 25 0 1 0 821028501 51159040 11153 33554432000 4194304 9128323 140735622235104 18446744073709551615 6573584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22393/statm: 12490 11153 467 1205 0 11281 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49960
[startup+0.700561 s]
/proc/loadavg: 2.00 2.00 2.00 2/429 22393
/proc/meminfo: memFree=29135764/32951124 swapFree=43324008/67111528
[pid=22393] ppid=22391 vsize=88256 CPUtime=0.69 cores=1,3,5,7
/proc/22393/stat : 22393 (scip-2.0.1.4.li) R 22391 22393 22076 0 -1 4202496 21076 0 0 0 67 2 0 0 25 0 1 0 821028501 90374144 20770 33554432000 4194304 9128323 140735622235104 18446744073709551615 4897751 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22393/statm: 22064 20770 579 1205 0 20855 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88256
[startup+1.50041 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 22394
/proc/meminfo: memFree=29013988/32951124 swapFree=43324008/67111528
[pid=22393] ppid=22391 vsize=197044 CPUtime=1.49 cores=1,3,5,7
/proc/22393/stat : 22393 (scip-2.0.1.4.li) R 22391 22393 22076 0 -1 4202496 51572 0 0 0 143 6 0 0 25 0 1 0 821028501 201773056 47443 33554432000 4194304 9128323 140735622235104 18446744073709551615 6886064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22393/statm: 49261 47445 685 1205 0 48052 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 197044
[startup+3.10111 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 22394
/proc/meminfo: memFree=28933632/32951124 swapFree=43324008/67111528
[pid=22393] ppid=22391 vsize=218452 CPUtime=3.09 cores=1,3,5,7
/proc/22393/stat : 22393 (scip-2.0.1.4.li) R 22391 22393 22076 0 -1 4202496 57030 0 0 0 297 12 0 0 25 0 1 0 821028501 223694848 52774 33554432000 4194304 9128323 140735622235104 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22393/statm: 54613 52774 727 1205 0 53404 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 218452
[startup+6.30052 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 22394
/proc/meminfo: memFree=28925564/32951124 swapFree=43324008/67111528
[pid=22393] ppid=22391 vsize=218452 CPUtime=6.29 cores=1,3,5,7
/proc/22393/stat : 22393 (scip-2.0.1.4.li) R 22391 22393 22076 0 -1 4202496 57061 0 0 0 606 23 0 0 25 0 1 0 821028501 223694848 52805 33554432000 4194304 9128323 140735622235104 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22393/statm: 54613 52805 732 1205 0 53404 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 218452
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 22394
/proc/meminfo: memFree=28924688/32951124 swapFree=43324008/67111528
[pid=22393] ppid=22391 vsize=218452 CPUtime=12.69 cores=1,3,5,7
/proc/22393/stat : 22393 (scip-2.0.1.4.li) R 22391 22393 22076 0 -1 4202496 57061 0 0 0 1237 32 0 0 25 0 1 0 821028501 223694848 52805 33554432000 4194304 9128323 140735622235104 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22393/statm: 54613 52805 732 1205 0 53404 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 218452
[startup+25.501 s]
/proc/loadavg: 2.07 2.02 2.00 3/430 22394
/proc/meminfo: memFree=28924704/32951124 swapFree=43324008/67111528
[pid=22393] ppid=22391 vsize=218452 CPUtime=25.5 cores=1,3,5,7
/proc/22393/stat : 22393 (scip-2.0.1.4.li) R 22391 22393 22076 0 -1 4202496 57061 0 0 0 2502 48 0 0 25 0 1 0 821028501 223694848 52805 33554432000 4194304 9128323 140735622235104 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22393/statm: 54613 52805 732 1205 0 53404 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 218452
[startup+51.1002 s]
/proc/loadavg: 2.04 2.01 2.00 3/430 22395
/proc/meminfo: memFree=28920816/32951124 swapFree=43324008/67111528
[pid=22393] ppid=22391 vsize=222916 CPUtime=51.09 cores=1,3,5,7
/proc/22393/stat : 22393 (scip-2.0.1.4.li) R 22391 22393 22076 0 -1 4202496 58204 0 0 0 5032 77 0 0 25 0 1 0 821028501 228265984 53948 33554432000 4194304 9128323 140735622235104 18446744073709551615 7357970 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22393/statm: 55729 53948 735 1205 0 54520 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 222916
[startup+102.317 s]
/proc/loadavg: 2.02 2.01 2.00 3/430 22396
/proc/meminfo: memFree=28916212/32951124 swapFree=43324008/67111528
[pid=22393] ppid=22391 vsize=225948 CPUtime=102.31 cores=1,3,5,7
/proc/22393/stat : 22393 (scip-2.0.1.4.li) R 22391 22393 22076 0 -1 4202496 59032 0 0 0 10098 133 0 0 25 0 1 0 821028501 231370752 54776 33554432000 4194304 9128323 140735622235104 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22393/statm: 56487 54776 736 1205 0 55278 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 225948
Solver just ended. Dumping a history of the last processes samples
[startup+102.701 s]
/proc/loadavg: 2.02 2.01 2.00 3/430 22396
/proc/meminfo: memFree=28916212/32951124 swapFree=43324008/67111528
[pid=22393] ppid=22391 vsize=225948 CPUtime=102.69 cores=1,3,5,7
/proc/22393/stat : 22393 (scip-2.0.1.4.li) R 22391 22393 22076 0 -1 4202496 59032 0 0 0 10136 133 0 0 25 0 1 0 821028501 231370752 54776 33554432000 4194304 9128323 140735622235104 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22393/statm: 56487 54776 736 1205 0 55278 0
Current children cumulated CPU time (s) 102.69
Current children cumulated vsize (KiB) 225948
[startup+102.901 s]
/proc/loadavg: 2.02 2.01 2.00 3/430 22396
/proc/meminfo: memFree=28916212/32951124 swapFree=43324008/67111528
[pid=22393] ppid=22391 vsize=225948 CPUtime=102.9 cores=1,3,5,7
/proc/22393/stat : 22393 (scip-2.0.1.4.li) R 22391 22393 22076 0 -1 4202496 59032 0 0 0 10156 134 0 0 25 0 1 0 821028501 231370752 54776 33554432000 4194304 9128323 140735622235104 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22393/statm: 56487 54776 736 1205 0 55278 0
Current children cumulated CPU time (s) 102.9
Current children cumulated vsize (KiB) 225948
Child status: 0
Real time (s): 102.997
CPU time (s): 102.999
CPU user time (s): 101.65
CPU system time (s): 1.34979
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 225948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 101.65
system time used= 1.34979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59036
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= 7
involuntary context switches= 253
runsolver used 0.421935 second user time and 1.00185 second system time
The end
Begin job on node105 at 2011-06-03 11:44:41
IDJOB=3452595
IDBENCH=2888
IDSOLVER=1949
FILE ID=node105/3452595-1307094280
RUNJOBID= node105-1307092947-22095
PBS_JOBID= 13497984
Free space on /tmp= 73752 MiB
SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bw.b.opb
COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3452595-1307094280/watcher-3452595-1307094280 -o /tmp/evaluation-result-3452595-1307094280/solver-3452595-1307094280 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452595-1307094280.opb -t 1800 -m 15500
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= acd1698068c8e97cbd0c7cd62fe047fc
RANDOM SEED=106136480
node105.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.825
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.65
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.825
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.15
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.825
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.825
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.75
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.825
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 : 5410.70
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.825
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.825
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.82
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.825
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: 29136044 kB
Buffers: 286692 kB
Cached: 786900 kB
SwapCached: 20984 kB
Active: 2862868 kB
Inactive: 641444 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 29136044 kB
SwapTotal: 67111528 kB
SwapFree: 43324008 kB
Dirty: 15088 kB
Writeback: 0 kB
AnonPages: 2427720 kB
Mapped: 22404 kB
Slab: 163524 kB
PageTables: 81608 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 114903440 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= 73740 MiB
End job on node105 at 2011-06-03 11:46:24