0.48/0.50 c SCIP version 1.1.0.7
0.48/0.50 c LP-Solver Clp 1.8.2
0.48/0.50 c user parameter file <scip.set> not found - using default parameters
0.48/0.50 c read problem <HOME/instance-1869467-1245173298.opb>
0.48/0.50 c original problem has 2847 variables (2847 bin, 0 int, 0 impl, 0 cont) and 4902 constraints
0.59/0.69 c start presolving problem
0.59/0.69 c presolving:
1.29/1.32 c (round 1) 0 del vars, 194 del conss, 0 chg bounds, 17 chg sides, 0 chg coeffs, 4875 upgd conss, 6 impls, 0 clqs
1.39/1.42 c (0.9s) probing: 101/2847 (3.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.39/1.42 c (0.9s) probing aborted: 100/100 successive totally useless probings
1.39/1.42 c presolving (2 rounds):
1.39/1.42 c 0 deleted vars, 194 deleted constraints, 0 tightened bounds, 0 added holes, 17 changed sides, 0 changed coefficients
1.39/1.42 c 6 implications, 0 cliques
1.39/1.42 c presolved problem has 2847 variables (2847 bin, 0 int, 0 impl, 0 cont) and 4708 constraints
1.39/1.42 c 4708 constraints of type <logicor>
1.39/1.42 c transformed objective value is always integral (scale: 1)
1.39/1.42 c Presolving Time: 0.71
1.39/1.43 c strange?!, PURESAT with obj
1.39/1.43 c -----------------------------------------------------------------------------------------------
1.39/1.43 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.39/1.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.43 c limits/memory = c 1620
1.39/1.43 c # maximal time in seconds to run
1.39/1.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.43 c limits/time = c 1791
1.39/1.43 c # frequency for displaying node information lines
1.39/1.43 c # [type: int, range: [-1,2147483647], default: 100]
1.39/1.43 c display/freq = c 10000
1.39/1.43 c -----------------------------------------------------------------------------------------------
1.39/1.43 c start solving problem
1.39/1.43 c
1.79/1.83 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.79/1.83 c 1.2s| 1 | 0 | 386 | 41M| 0 | 139 |2847 |4708 |4708 |2847 |4708 | 0 | 0 | 0 | 2.167221e+01 | -- | Inf
1.79/1.85 o 134
1.79/1.85 c R 1.2s| 1 | 0 | 386 | 41M| 0 | 139 |2847 |4708 |4708 |2847 |4708 | 0 | 0 | 0 | 2.167221e+01 | 1.340000e+02 | 518.30%
1.79/1.87 o 133
1.79/1.87 c s 1.3s| 1 | 0 | 386 | 41M| 0 | 139 |2847 |4708 |4708 |2847 |4708 | 0 | 0 | 0 | 2.167221e+01 | 1.330000e+02 | 513.69%
3.39/3.46 c 2.8s| 1 | 0 | 549 | 41M| 0 | 123 |2847 |4708 |4708 |2847 |4711 | 3 | 0 | 0 | 2.198563e+01 | 1.330000e+02 | 504.94%
3.39/3.48 o 120
3.39/3.48 c R 2.8s| 1 | 0 | 549 | 41M| 0 | 123 |2847 |4708 |4708 |2847 |4711 | 3 | 0 | 0 | 2.198563e+01 | 1.200000e+02 | 445.81%
3.39/3.49 o 119
3.39/3.49 c s 2.9s| 1 | 0 | 549 | 41M| 0 | 123 |2847 |4708 |4708 |2847 |4711 | 3 | 0 | 0 | 2.198563e+01 | 1.190000e+02 | 441.26%
6.19/6.22 c 5.5s| 1 | 0 | 736 | 42M| 0 | 146 |2847 |4708 |4708 |2847 |4712 | 4 | 0 | 0 | 2.212228e+01 | 1.190000e+02 | 437.92%
6.19/6.23 o 118
6.19/6.23 c R 5.5s| 1 | 0 | 736 | 42M| 0 | 146 |2847 |4708 |4708 |2847 |4712 | 4 | 0 | 0 | 2.212228e+01 | 1.180000e+02 | 433.40%
6.19/6.25 o 117
6.19/6.25 c s 5.6s| 1 | 0 | 736 | 42M| 0 | 146 |2847 |4708 |4708 |2847 |4712 | 4 | 0 | 0 | 2.212228e+01 | 1.170000e+02 | 428.88%
9.39/9.48 c 8.8s| 1 | 0 | 1059 | 43M| 0 | 129 |2847 |4708 |4708 |2847 |4714 | 6 | 0 | 0 | 2.226068e+01 | 1.170000e+02 | 425.59%
9.49/9.50 o 116
9.49/9.50 c R 8.8s| 1 | 0 | 1059 | 43M| 0 | 129 |2847 |4708 |4708 |2847 |4714 | 6 | 0 | 0 | 2.226068e+01 | 1.160000e+02 | 421.10%
9.49/9.51 o 115
9.49/9.51 c s 8.8s| 1 | 0 | 1059 | 43M| 0 | 129 |2847 |4708 |4708 |2847 |4714 | 6 | 0 | 0 | 2.226068e+01 | 1.150000e+02 | 416.61%
11.78/11.88 c 11.2s| 1 | 0 | 1483 | 43M| 0 | 148 |2847 |4708 |4708 |2847 |4715 | 7 | 0 | 0 | 2.231827e+01 | 1.150000e+02 | 415.27%
11.78/11.90 o 114
11.78/11.90 c R11.2s| 1 | 0 | 1483 | 43M| 0 | 148 |2847 |4708 |4708 |2847 |4715 | 7 | 0 | 0 | 2.231827e+01 | 1.140000e+02 | 410.79%
11.88/11.91 o 113
11.88/11.91 c s11.2s| 1 | 0 | 1483 | 43M| 0 | 148 |2847 |4708 |4708 |2847 |4715 | 7 | 0 | 0 | 2.231827e+01 | 1.130000e+02 | 406.31%
12.78/12.85 o 47
12.78/12.85 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.78/12.85 c k12.1s| 1 | 0 | 1483 | 43M| 0 | 148 |2847 |4708 |4708 |2847 |4715 | 7 | 0 | 0 | 2.231827e+01 | 4.700000e+01 | 110.59%
14.58/14.67 o 38
14.58/14.67 c E13.9s| 1 | 0 | 1483 | 43M| 0 | 148 |2847 |4708 |4708 |2847 |4715 | 7 | 0 | 0 | 2.231827e+01 | 3.800000e+01 | 70.26%
14.58/14.69 c 13.9s| 1 | 0 | 1483 | 43M| 0 | 148 |2847 |4708 |4708 |2847 |4715 | 7 | 0 | 0 | 2.231827e+01 | 3.800000e+01 | 70.26%
24.48/24.59 c 23.8s| 1 | 2 | 1483 | 43M| 0 | 148 |2847 |4708 |4708 |2847 |4715 | 7 | 0 | 55 | 2.231827e+01 | 3.800000e+01 | 70.26%
48.87/49.00 o 32
48.87/49.00 c R48.1s| 9 | 8 | 4516 | 43M| 8 | 5 |2847 |4708 |4707 |2847 |4713 | 7 | 0 | 205 | 2.234738e+01 | 3.200000e+01 | 43.19%
49.07/49.15 o 30
49.07/49.15 c k48.3s| 9 | 8 | 4516 | 43M| 8 | - |2847 |4708 |4707 |2847 |4713 | 7 | 0 | 210 | 2.234738e+01 | 3.000000e+01 | 34.24%
54.47/54.59 o 29
54.47/54.59 c *53.7s| 11 | 7 | 4840 | 44M| 9 | - |2847 |4708 |2587 |2847 |4713 | 7 | 0 | 285 | 2.234738e+01 | 2.900000e+01 | 29.77%
126.04/126.15 o 28
126.04/126.15 c p 125s| 49 | 31 | 18731 | 44M| 17 | - |2847 |4708 |2313 |2847 |4713 | 7 | 0 | 770 | 2.234738e+01 | 2.800000e+01 | 25.29%
150.04/150.16 o 27
150.04/150.16 c * 149s| 181 | 54 | 37645 | 44M| 24 | - |2847 |4708 |1411 |2847 |4713 | 7 | 0 | 833 | 2.239135e+01 | 2.700000e+01 | 20.58%
289.20/289.37 o 26
289.20/289.37 c c 288s| 479 | 132 |128661 | 44M| 44 | - |2847 |4711 |4642 |2847 |4713 | 7 | 5 | 988 | 2.246723e+01 | 2.600000e+01 | 15.72%
409.95/410.17 o 25
409.95/410.17 c * 409s| 784 | 115 |204624 | 45M| 90 | - |2847 |4709 |1918 |2847 |4713 | 7 | 5 |1207 | 2.264520e+01 | 2.500000e+01 | 10.40%
535.20/535.49 o 24
535.20/535.49 c * 534s| 1380 | 15 |303567 | 44M| 131 | - |2847 |4712 |2931 |2847 |4713 | 7 | 9 |1551 | 2.277063e+01 | 2.400000e+01 | 5.40%
537.80/538.07 c
537.80/538.07 c SCIP Status : problem is solved [optimal solution found]
537.80/538.07 c Solving Time (sec) : 536.31
537.80/538.07 c Solving Nodes : 1395
537.80/538.07 c Primal Bound : +2.40000000000000e+01 (24 solutions)
537.80/538.07 c Dual Bound : +2.40000000000000e+01
537.80/538.07 c Gap : 0.00 %
537.90/538.12 c NODE 1395
537.90/538.12 c DUAL BOUND 24
537.90/538.12 c PRIMAL BOUND 24
537.90/538.12 c GAP 0
537.90/538.12 s OPTIMUM FOUND
537.90/538.12 v -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829
537.90/538.12 v -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812
537.90/538.12 v -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794
537.90/538.12 v -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776
537.90/538.12 v -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758
537.90/538.12 v -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740
537.90/538.12 v -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722
537.90/538.12 v -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704
537.90/538.12 v -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687
537.90/538.12 v -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669
537.90/538.12 v -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651
537.90/538.12 v -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633
537.90/538.12 v -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615
537.90/538.12 v -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 x2601 -x2600 -x2599 -x2598 -x2597
537.90/538.12 v -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579
537.90/538.12 v -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561
537.90/538.12 v -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 x2546 -x2545 -x2544 -x2543
537.90/538.12 v -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526
537.90/538.12 v -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508
537.90/538.12 v -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490
537.90/538.12 v -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472
537.90/538.12 v -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454
537.90/538.12 v -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436
537.90/538.12 v -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418
537.90/538.12 v -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401
537.90/538.12 v -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383
537.90/538.12 v -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365
537.90/538.12 v -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347
537.90/538.12 v -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329
537.90/538.12 v -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311
537.90/538.12 v -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293
537.90/538.12 v -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276
537.90/538.12 v -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258
537.90/538.12 v -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240
537.90/538.12 v -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222
537.90/538.12 v -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204
537.90/538.12 v -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186
537.90/538.12 v -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168
537.90/538.12 v -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151
537.90/538.12 v -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133
537.90/538.12 v -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115
537.90/538.12 v x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097
537.90/538.12 v -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079
537.90/538.12 v -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061
537.90/538.12 v -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043
537.90/538.12 v -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025
537.90/538.12 v -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008
537.90/538.12 v -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990
537.90/538.12 v -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972
537.90/538.12 v -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954
537.90/538.12 v -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936
537.90/538.12 v -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918
537.90/538.12 v -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900
537.90/538.12 v -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883
537.90/538.12 v -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865
537.90/538.12 v -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847
537.90/538.12 v -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829
537.90/538.12 v -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811
537.90/538.12 v -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793
537.90/538.12 v -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775
537.90/538.12 v -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758
537.90/538.12 v -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740
537.90/538.12 v -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722
537.90/538.12 v -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704
537.90/538.12 v -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686
537.90/538.12 v -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668
537.90/538.12 v -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650
537.90/538.12 v -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633
537.90/538.12 v -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615
537.90/538.12 v -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597
537.90/538.12 v -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579
537.90/538.12 v -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561
537.90/538.12 v -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543
537.90/538.12 v -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525
537.90/538.12 v -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508
537.90/538.12 v -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490
537.90/538.12 v -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472
537.90/538.12 v -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454
537.90/538.12 v -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436
537.90/538.12 v -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418
537.90/538.12 v -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400
537.90/538.12 v -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383
537.90/538.12 v -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365
537.90/538.12 v -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347
537.90/538.12 v -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329
537.90/538.12 v -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311
537.90/538.12 v -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293
537.90/538.12 v -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275
537.90/538.12 v -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258
537.90/538.12 v -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240
537.90/538.12 v -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222
537.90/538.12 v -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204
537.90/538.12 v -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186
537.90/538.12 v -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168
537.90/538.12 v -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150
537.90/538.12 v -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133
537.90/538.12 v -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115
537.90/538.12 v -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097
537.90/538.12 v -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079
537.90/538.12 v -x1078 x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061
537.90/538.12 v -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 x1046 -x1045 -x1044 -x1043
537.90/538.12 v -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025
537.90/538.12 v -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007
537.90/538.12 v -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988
537.90/538.12 v -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967
537.90/538.12 v -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946
537.90/538.12 v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925
537.90/538.12 v -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 x908 -x907 -x906 x905 -x904
537.90/538.12 v -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883
537.90/538.12 v -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862
537.90/538.12 v -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842
537.90/538.12 v -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821
537.90/538.12 v -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800
537.90/538.12 v -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779
537.90/538.12 v -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758
537.90/538.12 v -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737
537.90/538.12 v -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716
537.90/538.12 v -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696
537.90/538.12 v -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675
537.90/538.12 v -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654
537.90/538.12 v -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633
537.90/538.12 v -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612
537.90/538.12 v -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591
537.90/538.12 v -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571
537.90/538.12 v -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550
537.90/538.12 v -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529
537.90/538.12 v -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508
537.90/538.12 v -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487
537.90/538.12 v -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466
537.90/538.12 v -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446
537.90/538.12 v -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425
537.90/538.12 v -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404
537.90/538.12 v -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383
537.90/538.12 v -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362
537.90/538.12 v -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341
537.90/538.12 v -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321
537.90/538.12 v -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300
537.90/538.12 v -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279
537.90/538.12 v -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258
537.90/538.12 v -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237
537.90/538.12 v -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216
537.90/538.12 v -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196
537.90/538.12 v -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175
537.90/538.12 v -x174 -x173 -x172 x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154
537.90/538.12 v -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133
537.90/538.12 v -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112
537.90/538.12 v -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90
537.90/538.12 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
537.90/538.12 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
537.90/538.12 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
537.90/538.12 v -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
537.90/538.12 c SCIP Status : problem is solved [optimal solution found]
537.90/538.12 c Solving Time : 536.31
537.90/538.12 c Original Problem :
537.90/538.12 c Problem name : HOME/instance-1869467-1245173298.opb
537.90/538.12 c Variables : 2847 (2847 binary, 0 integer, 0 implicit integer, 0 continuous)
537.90/538.12 c Constraints : 4902 initial, 4902 maximal
537.90/538.12 c Presolved Problem :
537.90/538.12 c Problem name : t_HOME/instance-1869467-1245173298.opb
537.90/538.12 c Variables : 2847 (2847 binary, 0 integer, 0 implicit integer, 0 continuous)
537.90/538.12 c Constraints : 4708 initial, 4713 maximal
537.90/538.12 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
537.90/538.12 c trivial : 0.00 0 0 0 0 0 0 0 0
537.90/538.12 c dualfix : 0.00 0 0 0 0 0 0 0 0
537.90/538.12 c boundshift : 0.00 0 0 0 0 0 0 0 0
537.90/538.12 c inttobinary : 0.00 0 0 0 0 0 0 0 0
537.90/538.12 c implics : 0.00 0 0 0 0 0 0 0 0
537.90/538.12 c probing : 0.06 0 0 0 0 0 0 0 0
537.90/538.12 c linear : 0.36 0 0 0 0 0 27 17 0
537.90/538.12 c logicor : 0.24 0 0 0 0 0 167 0 0
537.90/538.12 c root node : - 450 - - 450 - - - -
537.90/538.12 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
537.90/538.12 c integral : 0 0 0 1143 0 0 531 0 0 1960
537.90/538.12 c logicor : 4708+ 5 1923 4 0 7 3787 0 0 0
537.90/538.12 c countsols : 0 0 0 4 0 0 0 0 0 0
537.90/538.12 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
537.90/538.12 c integral : 185.15 0.00 0.00 185.15 0.00
537.90/538.12 c logicor : 0.52 0.01 0.50 0.01 0.00
537.90/538.12 c countsols : 0.00 0.00 0.00 0.00 0.00
537.90/538.12 c Propagators : Time Calls Cutoffs DomReds
537.90/538.12 c rootredcost : 0.00 7 0 450
537.90/538.12 c pseudoobj : 1.29 5884 0 0
537.90/538.12 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
537.90/538.12 c propagation : 0.00 7 7 10 163.9 0 0.0 -
537.90/538.12 c infeasible LP : 0.36 614 0 0 0.0 0 0.0 0
537.90/538.12 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
537.90/538.12 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
537.90/538.12 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
537.90/538.12 c applied globally : - - - 8 128.6 - - -
537.90/538.12 c applied locally : - - - 1 292.0 - - -
537.90/538.12 c Separators : Time Calls Cutoffs DomReds Cuts Conss
537.90/538.12 c cut pool : 0.01 4 - - 1 - (maximal pool size: 55)
537.90/538.12 c redcost : 0.95 1445 0 173095 0 0
537.90/538.12 c impliedbounds : 0.00 6 0 0 0 0
537.90/538.12 c intobj : 0.00 0 0 0 0 0
537.90/538.12 c gomory : 4.69 6 0 0 2000 0
537.90/538.12 c strongcg : 4.88 6 0 0 1502 0
537.90/538.12 c cmir : 0.44 6 0 0 0 0
537.90/538.12 c flowcover : 0.56 6 0 0 1 0
537.90/538.12 c clique : 0.00 1 0 0 0 0
537.90/538.12 c zerohalf : 0.00 0 0 0 0 0
537.90/538.12 c mcf : 0.03 1 0 0 0 0
537.90/538.12 c Pricers : Time Calls Vars
537.90/538.12 c problem variables: 0.00 0 0
537.90/538.12 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
537.90/538.12 c relpscost : 185.15 1139 0 531 0 0 1960
537.90/538.12 c pscost : 0.00 0 0 0 0 0 0
537.90/538.12 c inference : 0.00 0 0 0 0 0 0
537.90/538.12 c mostinf : 0.00 0 0 0 0 0 0
537.90/538.12 c leastinf : 0.00 0 0 0 0 0 0
537.90/538.12 c fullstrong : 0.00 0 0 0 0 0 0
537.90/538.12 c allfullstrong : 0.00 0 0 0 0 0 0
537.90/538.12 c random : 0.00 0 0 0 0 0 0
537.90/538.12 c Primal Heuristics : Time Calls Found
537.90/538.12 c LP solutions : 0.00 - 4
537.90/538.12 c pseudo solutions : 0.00 - 0
537.90/538.12 c feaspump : 0.00 0 0
537.90/538.12 c oneopt : 0.12 8 2
537.90/538.12 c coefdiving : 15.23 4 1
537.90/538.12 c pscostdiving : 30.36 4 1
537.90/538.12 c fracdiving : 28.92 4 0
537.90/538.12 c veclendiving : 10.62 4 0
537.90/538.12 c linesearchdiving : 12.86 4 0
537.90/538.12 c guideddiving : 45.05 4 0
537.90/538.12 c objpscostdiving : 4.93 3 0
537.90/538.12 c rootsoldiving : 1.54 3 3
537.90/538.12 c crossover : 1.06 3 1
537.90/538.12 c simplerounding : 0.01 1154 0
537.90/538.12 c rounding : 1.52 1154 6
537.90/538.12 c shifting : 0.29 104 5
537.90/538.12 c intshifting : 0.00 0 0
537.90/538.12 c fixandinfer : 0.00 0 0
537.90/538.12 c intdiving : 0.00 0 0
537.90/538.12 c actconsdiving : 0.00 0 0
537.90/538.12 c octane : 0.00 0 0
537.90/538.12 c rens : 1.75 1 1
537.90/538.12 c rins : 0.00 0 0
537.90/538.12 c localbranching : 0.00 0 0
537.90/538.12 c mutation : 0.00 0 0
537.90/538.12 c dins : 0.00 0 0
537.90/538.12 c LP : Time Calls Iterations Iter/call Iter/sec
537.90/538.12 c primal LP : 0.61 0 0 0.00 0.00
537.90/538.12 c dual LP : 179.03 1564 232683 148.77 1299.69
537.90/538.12 c barrier LP : 0.00 0 0 0.00 -
537.90/538.12 c diving/probing LP: 142.98 3671 73419 20.00 513.49
537.90/538.12 c strong branching : 185.01 1551 226575 146.08 1224.66
537.90/538.12 c (at root node) : - 55 11145 202.64 -
537.90/538.12 c conflict analysis: 0.00 0 0 0.00 -
537.90/538.12 c B&B Tree :
537.90/538.12 c number of runs : 1
537.90/538.12 c nodes : 1395
537.90/538.12 c nodes (total) : 1395
537.90/538.12 c nodes left : 0
537.90/538.12 c max depth : 131
537.90/538.12 c max depth (total): 131
537.90/538.12 c backtracks : 127 (9.1%)
537.90/538.12 c delayed cutoffs : 0
537.90/538.12 c repropagations : 10 (4 domain reductions, 0 cutoffs)
537.90/538.12 c avg switch length: 3.41
537.90/538.12 c switching time : 1.11
537.90/538.12 c Solution :
537.90/538.12 c Solutions found : 24 (20 improvements)
537.90/538.12 c Primal Bound : +2.40000000000000e+01 (in run 1, after 1380 nodes, 533.74 seconds, depth 109, found by <relaxation>)
537.90/538.12 c Dual Bound : +2.40000000000000e+01
537.90/538.12 c Gap : 0.00 %
537.90/538.12 c Root Dual Bound : +2.23182742088940e+01
538.00/538.27 c Time complete: 538.07.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869467-1245173298/watcher-1869467-1245173298 -o /tmp/evaluation-result-1869467-1245173298/solver-1869467-1245173298 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869467-1245173298.opb
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.06 1.03 1.00 3/64 8408
/proc/meminfo: memFree=1899728/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=8648 CPUtime=0
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 1117 0 0 0 0 0 0 0 18 0 1 0 70062763 8855552 1101 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/8408/statm: 2162 1109 362 1256 0 901 0
[startup+0.0470189 s]
/proc/loadavg: 1.06 1.03 1.00 3/64 8408
/proc/meminfo: memFree=1899728/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=12992 CPUtime=0.03
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 2243 0 0 0 3 0 0 0 18 0 1 0 70062763 13303808 2227 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/8408/statm: 3248 2227 378 1256 0 1987 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12992
[startup+0.101029 s]
/proc/loadavg: 1.06 1.03 1.00 3/64 8408
/proc/meminfo: memFree=1899728/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=14100 CPUtime=0.08
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 2497 0 0 0 8 0 0 0 18 0 1 0 70062763 14438400 2481 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/8408/statm: 3525 2483 378 1256 0 2264 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14100
[startup+0.301069 s]
/proc/loadavg: 1.06 1.03 1.00 3/64 8408
/proc/meminfo: memFree=1899728/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=18612 CPUtime=0.29
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 3641 0 0 0 28 1 0 0 19 0 1 0 70062763 19058688 3625 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/8408/statm: 4653 3625 378 1256 0 3392 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18612
[startup+0.701149 s]
/proc/loadavg: 1.06 1.03 1.00 3/64 8408
/proc/meminfo: memFree=1899728/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=64404 CPUtime=0.69
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 15169 0 0 0 63 6 0 0 23 0 1 0 70062763 65949696 14799 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 16101 14799 454 1256 0 14840 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 64404
[startup+1.50131 s]
/proc/loadavg: 1.06 1.03 1.00 2/65 8409
/proc/meminfo: memFree=1841544/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=80328 CPUtime=1.48
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 19239 0 0 0 140 8 0 0 25 0 1 0 70062763 82255872 18869 1992294400 4194304 9342243 548682068736 18446744073709551615 4298214 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 20082 18869 520 1256 0 18821 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 80328
[startup+3.10163 s]
/proc/loadavg: 1.06 1.03 1.00 2/65 8409
/proc/meminfo: memFree=1796808/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=142720 CPUtime=3.09
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 34201 0 0 0 295 14 0 0 25 0 1 0 70062763 146145280 33465 1992294400 4194304 9342243 548682068736 18446744073709551615 5575813 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 35680 33465 630 1256 0 34419 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 142720
[startup+6.30127 s]
/proc/loadavg: 1.05 1.03 1.00 2/65 8409
/proc/meminfo: memFree=1759176/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=156672 CPUtime=6.29
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 39641 0 0 0 610 19 0 0 25 0 1 0 70062763 160432128 37715 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 39168 37715 646 1256 0 37907 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 156672
[startup+12.7015 s]
/proc/loadavg: 1.05 1.03 1.00 2/65 8409
/proc/meminfo: memFree=1740368/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=167664 CPUtime=12.69
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 42977 0 0 0 1247 22 0 0 25 0 1 0 70062763 171687936 40449 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 41916 40449 646 1256 0 40655 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 167664
[startup+25.5011 s]
/proc/loadavg: 1.04 1.03 1.00 2/65 8409
/proc/meminfo: memFree=1717584/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=25.48
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 54845 0 0 0 2515 33 0 0 25 0 1 0 70062763 194052096 46164 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46164 696 1256 0 46115 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 189504
[startup+51.1012 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 8409
/proc/meminfo: memFree=1717712/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=51.07
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 54845 0 0 0 5069 38 0 0 25 0 1 0 70062763 194052096 46164 1992294400 4194304 9342243 548682068736 18446744073709551615 6039466 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46164 696 1256 0 46115 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 189504
[startup+102.305 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 8409
/proc/meminfo: memFree=1717712/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=102.25
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 54845 0 0 0 10181 44 0 0 25 0 1 0 70062763 194052096 46164 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46164 696 1256 0 46115 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 189504
[startup+162.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 8409
/proc/meminfo: memFree=1717648/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=162.23
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 54854 0 0 0 16171 52 0 0 25 0 1 0 70062763 194052096 46173 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46173 702 1256 0 46115 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 189504
[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 8409
/proc/meminfo: memFree=1717584/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=222.22
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 61258 0 0 0 22157 65 0 0 25 0 1 0 70062763 194052096 46178 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46178 703 1256 0 46115 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 189504
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8409
/proc/meminfo: memFree=1717584/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=282.19
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 61258 0 0 0 28147 72 0 0 25 0 1 0 70062763 194052096 46178 1992294400 4194304 9342243 548682068736 18446744073709551615 6039466 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46178 703 1256 0 46115 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 189504
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8409
/proc/meminfo: memFree=1717584/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=342.17
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 61258 0 0 0 34139 78 0 0 25 0 1 0 70062763 194052096 46178 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46178 703 1256 0 46115 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 189504
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8409
/proc/meminfo: memFree=1717520/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=402.15
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 68054 0 0 0 40127 88 0 0 25 0 1 0 70062763 194052096 46178 1992294400 4194304 9342243 548682068736 18446744073709551615 6039493 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46178 703 1256 0 46115 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 189504
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8409
/proc/meminfo: memFree=1717520/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=462.13
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 68054 0 0 0 46117 96 0 0 25 0 1 0 70062763 194052096 46178 1992294400 4194304 9342243 548682068736 18446744073709551615 7289239 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46178 703 1256 0 46115 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 189504
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8409
/proc/meminfo: memFree=1717520/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=522.1
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 75584 0 0 0 52104 106 0 0 25 0 1 0 70062763 194052096 46178 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46178 703 1256 0 46115 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 189504
Solver just ended. Dumping a history of the last processes samples
[startup+524.706 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8409
/proc/meminfo: memFree=1717520/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=524.51
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 75584 0 0 0 52344 107 0 0 25 0 1 0 70062763 194052096 46178 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46178 703 1256 0 46115 0
Current children cumulated CPU time (s) 524.51
Current children cumulated vsize (KiB) 189504
[startup+531.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8409
/proc/meminfo: memFree=1717456/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=530.91
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 75584 0 0 0 52983 108 0 0 25 0 1 0 70062763 194052096 46178 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46178 703 1256 0 46115 0
Current children cumulated CPU time (s) 530.91
Current children cumulated vsize (KiB) 189504
[startup+534.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8409
/proc/meminfo: memFree=1717456/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=534.1
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 75584 0 0 0 53302 108 0 0 25 0 1 0 70062763 194052096 46178 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46178 703 1256 0 46115 0
Current children cumulated CPU time (s) 534.1
Current children cumulated vsize (KiB) 189504
[startup+535.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8409
/proc/meminfo: memFree=1717456/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=535.7
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 75584 0 0 0 53462 108 0 0 25 0 1 0 70062763 194052096 46178 1992294400 4194304 9342243 548682068736 18446744073709551615 6366281 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46178 703 1256 0 46115 0
Current children cumulated CPU time (s) 535.7
Current children cumulated vsize (KiB) 189504
[startup+537.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8409
/proc/meminfo: memFree=1717456/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=537.3
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 75584 0 0 0 53621 109 0 0 25 0 1 0 70062763 194052096 46178 1992294400 4194304 9342243 548682068736 18446744073709551615 6960248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46178 703 1256 0 46115 0
Current children cumulated CPU time (s) 537.3
Current children cumulated vsize (KiB) 189504
[startup+537.905 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8409
/proc/meminfo: memFree=1717456/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=537.71
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 75584 0 0 0 53662 109 0 0 25 0 1 0 70062763 194052096 46178 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46178 703 1256 0 46115 0
Current children cumulated CPU time (s) 537.71
Current children cumulated vsize (KiB) 189504
[startup+538.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8409
/proc/meminfo: memFree=1717456/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=537.9
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 75584 0 0 0 53681 109 0 0 25 0 1 0 70062763 194052096 46178 1992294400 4194304 9342243 548682068736 18446744073709551615 4685941 0 0 4096 0 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46178 703 1256 0 46115 0
Current children cumulated CPU time (s) 537.9
Current children cumulated vsize (KiB) 189504
[startup+538.201 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8409
/proc/meminfo: memFree=1717456/2055920 swapFree=4191900/4192956
[pid=8408] ppid=8406 vsize=189504 CPUtime=538
/proc/8408/stat : 8408 (pbscip.linux.x8) R 8406 8408 8344 0 -1 4194304 75585 0 0 0 53691 109 0 0 17 0 1 0 70062763 194052096 46179 1992294400 4194304 9342243 548682068736 18446744073709551615 4802841 0 0 4096 0 0 0 0 17 1 0 0
/proc/8408/statm: 47376 46179 704 1256 0 46115 0
Current children cumulated CPU time (s) 538
Current children cumulated vsize (KiB) 189504
Child status: 0
Real time (s): 538.272
CPU time (s): 538.081
CPU user time (s): 536.957
CPU system time (s): 1.12383
CPU usage (%): 99.9645
Max. virtual memory (cumulated for all children) (KiB): 219836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 536.957
system time used= 1.12383
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75588
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= 22
involuntary context switches= 1121
runsolver used 0.451931 second user time and 1.09083 second system time
The end
Begin job on node33 at 2009-06-16 19:28:18
IDJOB=1869467
IDBENCH=2888
IDSOLVER=684
FILE ID=node33/1869467-1245173298
PBS_JOBID= 9363907
Free space on /tmp= 65948 MiB
SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bw.b.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869467-1245173298/watcher-1869467-1245173298 -o /tmp/evaluation-result-1869467-1245173298/solver-1869467-1245173298 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869467-1245173298.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= acd1698068c8e97cbd0c7cd62fe047fc
RANDOM SEED=1667168602
node33.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.261
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.261
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: 1900656 kB
Buffers: 32128 kB
Cached: 68128 kB
SwapCached: 384 kB
Active: 69400 kB
Inactive: 44224 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1900656 kB
SwapTotal: 4192956 kB
SwapFree: 4191900 kB
Dirty: 14436 kB
Writeback: 0 kB
Mapped: 21756 kB
Slab: 27672 kB
Committed_AS: 121096 kB
PageTables: 1392 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 65940 MiB
End job on node33 at 2009-06-16 19:37:16