0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 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-2693921-1277897395.wbo>
0.00/0.00 c original problem has 297 variables (233 bin, 0 int, 0 impl, 64 cont) and 166 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.00 c presolving:
0.00/0.01 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs
0.00/0.01 c (round 2) 0 del vars, 6 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs
0.00/0.01 c (round 3) 1 del vars, 7 del conss, 63 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs
0.00/0.01 c (round 4) 2 del vars, 7 del conss, 63 chg bounds, 1 chg sides, 0 chg coeffs, 33 upgd conss, 66 impls, 23 clqs
0.00/0.02 c (0.0s) probing: 101/232 (43.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (5 rounds):
0.00/0.02 c 2 deleted vars, 7 deleted constraints, 63 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 66 implications, 23 cliques
0.00/0.02 c presolved problem has 295 variables (232 bin, 0 int, 0 impl, 63 cont) and 159 constraints
0.00/0.02 c 63 constraints of type <indicator>
0.00/0.02 c 1 constraints of type <knapsack>
0.00/0.02 c 23 constraints of type <setppc>
0.00/0.02 c 63 constraints of type <linear>
0.00/0.02 c 9 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.02
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - |1056k| 0 | - | 295 | 159 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.24 c 1.1s| 10000 | 7779 | 0 | 0.0 |6381k| 183 | - | 295 |3116 | 0 | 0 | 0 |6001 | 0 | 0.000000e+00 | -- | Inf
3.19/3.26 c 3.1s| 20000 | 13804 | 0 | 0.0 | 11M| 183 | - | 295 |5473 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
3.39/3.40 o 662
3.39/3.40 c * 3.2s| 21494 | 15176 | 0 | 0.0 | 11M| 183 | - | 295 |3777 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 6.620000e+02 | Inf
3.49/3.53 o 474
3.49/3.53 c * 3.3s| 22815 | 16339 | 0 | 0.0 | 11M| 183 | - | 295 |2431 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 4.740000e+02 | Inf
4.59/4.67 c 4.4s| 30000 | 21322 | 0 | 0.0 | 15M| 183 | - | 295 |4358 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 4.740000e+02 | Inf
7.39/7.47 c 7.1s| 40000 | 26508 | 0 | 0.0 | 20M| 183 | - | 295 |7046 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 4.740000e+02 | Inf
10.79/10.80 c 10.4s| 50000 | 30843 | 0 | 0.0 | 24M| 183 | - | 295 |8020 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 4.740000e+02 | Inf
14.49/14.50 c 13.9s| 60000 | 34472 | 0 | 0.0 | 29M| 183 | - | 295 |9662 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 4.740000e+02 | Inf
18.99/19.06 c 18.4s| 70000 | 36804 | 0 | 0.0 | 33M| 183 | - | 295 | 12k| 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 4.740000e+02 | Inf
24.10/24.19 o 449
24.10/24.19 c *23.4s| 79170 | 37439 | 0 | 0.0 | 36M| 183 | - | 295 | 12k| 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 4.490000e+02 | Inf
24.29/24.33 c 23.5s| 80000 | 38189 | 0 | 0.0 | 35M| 183 | - | 295 |9254 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 4.490000e+02 | Inf
24.89/24.95 o 366
24.89/24.95 c *24.1s| 85725 | 43249 | 0 | 0.0 | 35M| 183 | - | 295 |1793 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 3.660000e+02 | Inf
25.09/25.19 o 356
25.09/25.19 c *24.3s| 88416 | 45637 | 0 | 0.0 | 36M| 183 | - | 295 |1751 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 3.560000e+02 | Inf
25.30/25.34 c 24.5s| 90000 | 47026 | 0 | 0.0 | 37M| 183 | - | 295 |1827 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 3.560000e+02 | Inf
25.39/25.41 o 297
25.39/25.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.39/25.41 c *24.5s| 90700 | 47631 | 0 | 0.0 | 37M| 183 | - | 295 |1869 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 2.970000e+02 | Inf
25.79/25.84 o 287
25.79/25.84 c *24.9s| 95105 | 51424 | 0 | 0.0 | 38M| 183 | - | 295 |2151 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 2.870000e+02 | Inf
26.09/26.10 o 257
26.09/26.10 c *25.1s| 97699 | 53658 | 0 | 0.0 | 39M| 183 | - | 295 |2109 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
26.30/26.34 c 25.4s|100000 | 55639 | 0 | 0.0 | 40M| 183 | - | 295 |2076 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
27.40/27.45 c 26.4s|110000 | 63995 | 0 | 0.0 | 44M| 183 | - | 295 |1682 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
28.60/28.62 c 27.5s|120000 | 72113 | 0 | 0.0 | 47M| 183 | - | 295 |1968 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
29.79/29.84 c 28.6s|130000 | 80150 | 0 | 0.0 | 51M| 183 | - | 295 |2300 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
29.89/29.90 o 236
29.89/29.90 c *28.7s|130437 | 80464 | 0 | 0.0 | 51M| 183 | - | 295 |2356 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 2.360000e+02 | Inf
31.09/31.18 c 29.9s|140000 | 87888 | 0 | 0.0 | 55M| 183 | - | 295 |2884 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 2.360000e+02 | Inf
32.19/32.29 o 200
32.19/32.29 c *30.9s|147439 | 93420 | 0 | 0.0 | 58M| 183 | - | 295 |3550 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
32.69/32.71 c 31.3s|150000 | 95295 | 0 | 0.0 | 59M| 183 | - | 295 |3740 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
34.49/34.50 c 33.0s|160000 |102198 | 0 | 0.0 | 63M| 183 | - | 295 |4667 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
36.89/36.93 c 35.4s|170000 |107871 | 0 | 0.0 | 68M| 183 | - | 295 |7282 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
41.99/42.04 c 40.4s|180000 |109974 | 0 | 0.0 | 73M| 183 | - | 295 | 12k| 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
48.69/48.72 c 47.0s|190000 |110912 | 0 | 0.0 | 77M| 183 | - | 295 | 13k| 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
56.19/56.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.19/56.25 c 54.4s|200000 |110655 | 0 | 0.0 | 80M| 183 | - | 295 | 13k| 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
64.19/64.28 c 62.3s|210000 |109535 | 0 | 0.0 | 81M| 183 | - | 295 | 13k| 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
72.60/72.65 c 70.5s|220000 |107676 | 0 | 0.0 | 83M| 183 | - | 295 | 15k| 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
81.59/81.62 c 79.3s|230000 |105823 | 0 | 0.0 | 85M| 183 | - | 295 | 19k| 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
88.59/88.65 c 86.2s|240000 |107549 | 0 | 0.0 | 79M| 183 | - | 295 |3339 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
89.89/89.96 c 87.5s|250000 |115484 | 0 | 0.0 | 82M| 183 | - | 295 |1988 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
91.20/91.23 c 88.7s|260000 |123464 | 0 | 0.0 | 86M| 183 | - | 295 |2407 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
92.40/92.48 c 89.8s|270000 |131558 | 0 | 0.0 | 89M| 183 | - | 295 |2738 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
93.10/93.17 o 156
93.10/93.17 c *90.5s|275588 |135814 | 0 | 0.0 | 91M| 183 | - | 295 |2891 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 1.560000e+02 | Inf
93.69/93.75 c 91.0s|280000 |139343 | 0 | 0.0 | 93M| 183 | - | 295 |3062 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | 1.560000e+02 | Inf
95.09/95.11 c 92.3s|290000 |147261 | 0 | 0.0 | 96M| 183 | - | 295 |3524 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 1.560000e+02 | Inf
96.59/96.61 c 93.7s|300000 |154977 | 0 | 0.0 | 100M| 183 | - | 295 |4014 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 1.560000e+02 | Inf
97.09/97.19 o 128
97.09/97.19 c *94.3s|303548 |156765 | 0 | 0.0 | 101M| 183 | - | 295 |4123 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
98.19/98.26 c 95.3s|310000 |161597 | 0 | 0.0 | 104M| 183 | - | 295 |4434 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
99.89/99.97 c 96.9s|320000 |168969 | 0 | 0.0 | 108M| 183 | - | 295 |4748 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
101.60/101.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
101.60/101.63 c 98.5s|330000 |176447 | 0 | 0.0 | 112M| 183 | - | 295 |5007 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
102.09/102.19 o 102
102.09/102.19 c *99.0s|333406 |178217 | 0 | 0.0 | 113M| 183 | - | 295 |4958 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
103.40/103.44 c 100s|340000 |182844 | 0 | 0.0 | 116M| 183 | - | 295 |5000 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
104.09/104.12 o 78
104.09/104.12 c * 101s|343877 |175188 | 0 | 0.0 | 112M| 183 | - | 295 |4843 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 7.800000e+01 | Inf
105.50/105.60 c 102s|350000 |178978 | 0 | 0.0 | 114M| 183 | - | 295 |1027 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 7.800000e+01 | Inf
107.49/107.59 c 104s|360000 |184980 | 0 | 0.0 | 120M| 183 | - | 295 |1936 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | 7.800000e+01 | Inf
109.50/109.57 c 106s|370000 |191009 | 0 | 0.0 | 124M| 183 | - | 295 |2129 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | 7.800000e+01 | Inf
111.59/111.69 c 108s|380000 |196656 | 0 | 0.0 | 129M| 183 | - | 295 |2089 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 7.800000e+01 | Inf
112.19/112.28 o 77
112.19/112.28 c * 109s|383108 |198589 | 0 | 0.0 | 130M| 183 | - | 295 |1935 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
112.19/112.29 o 72
112.19/112.29 c * 109s|383109 |197690 | 0 | 0.0 | 129M| 183 | - | 295 |1935 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
113.69/113.79 c 110s|390000 |201453 | 0 | 0.0 | 133M| 183 | - | 295 |2040 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
115.99/116.00 c 112s|400000 |206955 | 0 | 0.0 | 137M| 183 | - | 295 |2080 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
118.30/118.31 c 114s|410000 |212124 | 0 | 0.0 | 141M| 183 | - | 295 |2246 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
120.59/120.68 c 117s|420000 |217158 | 0 | 0.0 | 145M| 183 | - | 295 |2434 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
122.70/122.77 o 61
122.70/122.77 c * 119s|428804 |209299 | 0 | 0.0 | 139M| 183 | - | 295 |2744 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
123.09/123.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
123.09/123.14 c 119s|430000 |209713 | 0 | 0.0 | 140M| 183 | - | 295 |2736 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
125.09/125.15 o 50
125.09/125.15 c * 121s|437668 |209032 | 0 | 0.0 | 140M| 183 | - | 295 |3107 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
125.40/125.43 o 40
125.40/125.43 c * 121s|438416 |193708 | 0 | 0.0 | 131M| 183 | - | 295 |3113 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 4.000000e+01 | Inf
125.89/125.96 c 122s|440000 |194238 | 0 | 0.0 | 132M| 183 | - | 295 |2994 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 4.000000e+01 | Inf
129.20/129.20 c 125s|450000 |197618 | 0 | 0.0 | 136M| 183 | - | 295 |3760 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | 4.000000e+01 | Inf
129.90/129.91 o 7
129.90/129.91 c * 125s|452128 |170417 | 0 | 0.0 | 120M| 183 | - | 295 |4000 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
133.40/133.41 c 129s|460000 |171163 | 0 | 0.0 | 124M| 183 | - | 295 |4886 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
137.80/137.86 c 133s|470000 |172456 | 0 | 0.0 | 127M| 183 | - | 295 |6097 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
142.30/142.36 c 138s|480000 |174038 | 0 | 0.0 | 131M| 183 | - | 295 |6760 | 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
147.40/147.45 c 142s|490000 |174649 | 0 | 0.0 | 134M| 183 | - | 295 |7711 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
152.90/152.96 c 148s|500000 |174777 | 0 | 0.0 | 137M| 183 | - | 295 |8754 | 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
159.09/159.13 c 154s|510000 |174366 | 0 | 0.0 | 140M| 183 | - | 295 | 10k| 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
166.29/166.34 c 161s|520000 |172182 | 0 | 0.0 | 140M| 183 | - | 295 | 10k| 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
177.20/177.24 c 172s|530000 |167196 | 0 | 0.0 | 137M| 183 | - | 295 | 14k| 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
190.39/190.45 c 185s|540000 |158748 | 0 | 0.0 | 124M| 183 | - | 295 | 18k| 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
198.39/198.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
198.39/198.40 c 193s|550000 |157718 | 0 | 0.0 | 124M| 183 | - | 295 |9237 | 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
206.59/206.63 c 201s|560000 |156799 | 0 | 0.0 | 128M| 183 | - | 295 | 12k| 0 | 0 | 0 | 543k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
216.60/216.65 c 210s|570000 |155183 | 0 | 0.0 | 132M| 183 | - | 295 | 17k| 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
230.00/230.09 c 224s|580000 |151799 | 0 | 0.0 | 135M| 183 | - | 295 | 20k| 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
247.20/247.21 c 241s|590000 |146365 | 0 | 0.0 | 137M| 183 | - | 295 | 20k| 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
263.60/263.69 c 257s|600000 |139909 | 0 | 0.0 | 136M| 183 | - | 295 | 18k| 0 | 0 | 0 | 616k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
279.10/279.17 c 272s|610000 |132775 | 0 | 0.0 | 134M| 183 | - | 295 | 14k| 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
293.20/293.28 c 286s|620000 |125851 | 0 | 0.0 | 132M| 183 | - | 295 | 14k| 0 | 0 | 0 | 657k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
307.20/307.25 c 300s|630000 |119665 | 0 | 0.0 | 131M| 183 | - | 295 | 15k| 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
320.49/320.50 c 313s|640000 |114952 | 0 | 0.0 | 129M| 183 | - | 295 | 15k| 0 | 0 | 0 | 696k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
333.20/333.30 c 326s|650000 |111777 | 0 | 0.0 | 128M| 183 | - | 295 | 17k| 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
346.30/346.39 c 338s|660000 |109497 | 0 | 0.0 | 129M| 183 | - | 295 | 21k| 0 | 0 | 0 | 732k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
359.80/359.84 c 352s|670000 |108118 | 0 | 0.0 | 131M| 183 | - | 295 | 24k| 0 | 0 | 0 | 751k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
374.30/374.36 c 366s|680000 |106833 | 0 | 0.0 | 133M| 183 | - | 295 | 28k| 0 | 0 | 0 | 769k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
389.80/389.80 c 381s|690000 |105618 | 0 | 0.0 | 135M| 183 | - | 295 | 30k| 0 | 0 | 0 | 789k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
392.20/392.29 o 6
392.20/392.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
392.20/392.29 c * 384s|691691 |105266 | 0 | 0.0 | 135M| 183 | - | 295 | 29k| 0 | 0 | 0 | 792k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
405.00/405.05 c 397s|700000 |104366 | 0 | 0.0 | 136M| 183 | - | 295 | 30k| 0 | 0 | 0 | 808k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
420.20/420.28 c 412s|710000 |103422 | 0 | 0.0 | 138M| 183 | - | 295 | 31k| 0 | 0 | 0 | 828k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
435.61/435.69 c 427s|720000 |102369 | 0 | 0.0 | 140M| 183 | - | 295 | 34k| 0 | 0 | 0 | 849k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
450.70/450.76 c 442s|730000 |101865 | 0 | 0.0 | 142M| 183 | - | 295 | 37k| 0 | 0 | 0 | 869k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
467.80/467.80 c 459s|740000 |100513 | 0 | 0.0 | 143M| 183 | - | 295 | 40k| 0 | 0 | 0 | 890k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
476.81/476.81 o 4
476.81/476.81 c * 468s|744262 | 97002 | 0 | 0.0 | 140M| 183 | - | 295 | 40k| 0 | 0 | 0 | 899k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
485.00/485.04 c 476s|750000 | 98488 | 0 | 0.0 | 135M| 183 | - | 295 | 23k| 0 | 0 | 0 | 906k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
497.11/497.18 c 488s|760000 | 98140 | 0 | 0.0 | 136M| 183 | - | 295 | 20k| 0 | 0 | 0 | 925k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
511.30/511.30 o 2
511.30/511.30 c * 502s|767130 | 82515 | 0 | 0.0 | 126M| 183 | - | 295 | 29k| 0 | 0 | 0 | 944k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
519.40/519.40 c 510s|770000 | 80200 | 0 | 0.0 | 126M| 183 | - | 295 | 30k| 0 | 0 | 0 | 951k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
549.60/549.62 c 540s|780000 | 70584 | 0 | 0.0 | 121M| 183 | - | 295 | 33k| 0 | 0 | 0 | 979k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
583.31/583.38 c 573s|790000 | 60688 | 0 | 0.0 | 113M| 183 | - | 295 | 36k| 0 | 0 | 0 |1007k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
615.41/615.45 c 605s|800000 | 53534 | 0 | 0.0 | 107M| 183 | - | 295 | 37k| 0 | 0 | 0 |1033k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
647.01/647.08 c 637s|810000 | 46976 | 0 | 0.0 | 102M| 183 | - | 295 | 42k| 0 | 0 | 0 |1057k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
683.11/683.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
683.11/683.14 c 673s|820000 | 39370 | 0 | 0.0 | 96M| 183 | - | 295 | 46k| 0 | 0 | 0 |1083k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
718.51/718.56 c 708s|830000 | 32538 | 0 | 0.0 | 90M| 183 | - | 295 | 51k| 0 | 0 | 0 |1109k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
755.51/755.56 c 745s|840000 | 26392 | 0 | 0.0 | 84M| 183 | - | 295 | 57k| 0 | 0 | 0 |1135k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
812.31/812.30 c 801s|850000 | 13752 | 0 | 0.0 | 60M| 183 | - | 295 | 56k| 0 | 0 | 0 |1166k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
864.92/864.93 c
864.92/864.93 c SCIP Status : problem is solved [optimal solution found]
864.92/864.93 c Solving Time (sec) : 853.71
864.92/864.93 c Solving Nodes : 858492
864.92/864.93 c Primal Bound : +2.00000000000000e+00 (23 solutions)
864.92/864.93 c Dual Bound : +2.00000000000000e+00
864.92/864.93 c Gap : 0.00 %
864.92/864.93 s OPTIMUM FOUND
864.92/864.93 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148
864.92/864.93 v -x147 -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
864.92/864.93 v -x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
864.92/864.93 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82
864.92/864.93 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56
864.92/864.93 v -x55 -x54 -x53 x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31
864.92/864.93 v -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5
864.92/864.93 v -x4 -x3 -x2 -x1
864.92/864.93 c SCIP Status : problem is solved [optimal solution found]
864.92/864.93 c Solving Time : 853.71
864.92/864.93 c Original Problem :
864.92/864.93 c Problem name : HOME/instance-2693921-1277897395.wbo
864.92/864.93 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
864.92/864.93 c Constraints : 166 initial, 166 maximal
864.92/864.93 c Presolved Problem :
864.92/864.93 c Problem name : t_HOME/instance-2693921-1277897395.wbo
864.92/864.93 c Variables : 295 (232 binary, 0 integer, 0 implicit integer, 63 continuous)
864.92/864.93 c Constraints : 159 initial, 62172 maximal
864.92/864.93 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
864.92/864.93 c trivial : 0.00 0 0 0 0 0 0 0 0
864.92/864.93 c dualfix : 0.00 2 0 0 0 0 0 0 0
864.92/864.93 c boundshift : 0.00 0 0 0 0 0 0 0 0
864.92/864.93 c inttobinary : 0.00 0 0 0 0 0 0 0 0
864.92/864.93 c implics : 0.00 0 0 0 0 0 0 0 0
864.92/864.93 c probing : 0.01 0 0 0 0 0 0 0 0
864.92/864.93 c indicator : 0.00 0 0 0 0 0 1 0 0
864.92/864.93 c knapsack : 0.00 0 0 0 0 0 0 0 0
864.92/864.93 c setppc : 0.00 0 0 0 0 0 0 0 0
864.92/864.93 c linear : 0.00 0 0 0 63 0 6 1 0
864.92/864.93 c logicor : 0.01 0 0 0 0 0 0 0 0
864.92/864.93 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
864.92/864.93 c root node : - 12 - - 24 - - - -
864.92/864.93 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
864.92/864.93 c integral : 0 0 0 0 0 0 0 0 0 0
864.92/864.93 c indicator : 63 0 2254583 0 489832 770 301380 0 0 0
864.92/864.93 c knapsack : 1 0 2849925 0 597364 61365 8589822 0 0 0
864.92/864.93 c setppc : 23 0 2788053 0 597207 117199 1705555 0 0 0
864.92/864.93 c linear : 63 0 2671323 0 597353 163557 3219290 0 0 0
864.92/864.93 c logicor : 9+ 0 1306027 0 597259 44352 733045 0 0 0
864.92/864.93 c bounddisjunction : 0+ 0 44565 0 0 0 616 0 0 0
864.92/864.93 c countsols : 0 0 0 0 597376 0 0 0 0 0
864.92/864.93 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
864.92/864.93 c integral : 0.00 0.00 0.00 0.00 0.00
864.92/864.93 c indicator : 1.79 0.00 1.10 0.00 0.69
864.92/864.93 c knapsack : 88.16 0.00 86.51 0.00 1.65
864.92/864.93 c setppc : 9.17 0.00 7.66 0.00 1.51
864.92/864.93 c linear : 30.62 0.00 30.36 0.00 0.26
864.92/864.93 c logicor : 358.76 0.00 358.15 0.00 0.61
864.92/864.93 c bounddisjunction : 0.05 0.00 0.05 0.00 0.00
864.92/864.93 c countsols : 0.07 0.00 0.00 0.00 0.07
864.92/864.93 c Propagators : Time Calls Cutoffs DomReds
864.92/864.93 c vbounds : 0.60 2 0 0
864.92/864.93 c rootredcost : 0.58 0 0 0
864.92/864.93 c pseudoobj : 5.92 2850996 439 277789
864.92/864.93 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
864.92/864.93 c propagation : 13.56 386911 386908 2028401 24.3 141193 14.0 -
864.92/864.93 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
864.92/864.93 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
864.92/864.93 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
864.92/864.93 c pseudo solution : 0.00 54 54 242 34.4 18 13.4 -
864.92/864.93 c applied globally : - - - 1163984 16.7 - - -
864.92/864.93 c applied locally : - - - 29851 37.8 - - -
864.92/864.93 c Separators : Time Calls Cutoffs DomReds Cuts Conss
864.92/864.93 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
864.92/864.93 c redcost : 0.00 0 0 0 0 0
864.92/864.93 c impliedbounds : 0.00 0 0 0 0 0
864.92/864.93 c intobj : 0.00 0 0 0 0 0
864.92/864.93 c cgmip : 0.00 0 0 0 0 0
864.92/864.93 c gomory : 0.00 0 0 0 0 0
864.92/864.93 c strongcg : 0.00 0 0 0 0 0
864.92/864.93 c cmir : 0.00 0 0 0 0 0
864.92/864.93 c flowcover : 0.00 0 0 0 0 0
864.92/864.93 c clique : 0.00 0 0 0 0 0
864.92/864.93 c zerohalf : 0.00 0 0 0 0 0
864.92/864.93 c mcf : 0.00 0 0 0 0 0
864.92/864.93 c rapidlearning : 0.00 0 0 0 0 0
864.92/864.93 c Pricers : Time Calls Vars
864.92/864.93 c problem variables: 0.00 0 0
864.92/864.93 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
864.92/864.93 c relpscost : 0.00 0 0 0 0 0 0
864.92/864.93 c pscost : 0.00 0 0 0 0 0 0
864.92/864.93 c inference : 4.80 597353 0 0 0 0 1194706
864.92/864.93 c mostinf : 0.00 0 0 0 0 0 0
864.92/864.93 c leastinf : 0.00 0 0 0 0 0 0
864.92/864.93 c fullstrong : 0.00 0 0 0 0 0 0
864.92/864.93 c allfullstrong : 0.00 0 0 0 0 0 0
864.92/864.93 c random : 0.00 0 0 0 0 0 0
864.92/864.93 c Primal Heuristics : Time Calls Found
864.92/864.93 c LP solutions : 0.00 - 0
864.92/864.93 c pseudo solutions : 0.15 - 23
864.92/864.93 c oneopt : 0.31 0 0
864.92/864.93 c trivial : 0.00 2 0
864.92/864.93 c simplerounding : 0.00 0 0
864.92/864.93 c zirounding : 0.00 0 0
864.92/864.93 c rounding : 0.00 0 0
864.92/864.93 c shifting : 0.00 0 0
864.92/864.93 c intshifting : 0.00 0 0
864.92/864.93 c twoopt : 0.00 0 0
864.92/864.93 c fixandinfer : 0.00 0 0
864.92/864.93 c feaspump : 0.00 0 0
864.92/864.93 c coefdiving : 0.00 0 0
864.92/864.93 c pscostdiving : 0.00 0 0
864.92/864.93 c fracdiving : 0.00 0 0
864.92/864.93 c veclendiving : 0.00 0 0
864.92/864.93 c intdiving : 0.00 0 0
864.92/864.93 c actconsdiving : 0.00 0 0
864.92/864.93 c objpscostdiving : 0.00 0 0
864.92/864.93 c rootsoldiving : 0.00 0 0
864.92/864.93 c linesearchdiving : 0.00 0 0
864.92/864.93 c guideddiving : 0.00 0 0
864.92/864.93 c octane : 0.00 0 0
864.92/864.93 c rens : 0.00 0 0
864.92/864.93 c rins : 0.00 0 0
864.92/864.93 c localbranching : 0.00 0 0
864.92/864.93 c mutation : 0.00 0 0
864.92/864.93 c crossover : 0.00 0 0
864.92/864.93 c dins : 0.00 0 0
864.92/864.93 c undercover : 0.00 0 0
864.92/864.93 c nlp : 0.23 0 0
864.92/864.93 c trysol : 0.23 1 0
864.92/864.93 c LP : Time Calls Iterations Iter/call Iter/sec
864.92/864.93 c primal LP : 0.00 0 0 0.00 -
864.92/864.93 c dual LP : 0.00 0 0 0.00 -
864.92/864.93 c lex dual LP : 0.00 0 0 0.00 -
864.92/864.93 c barrier LP : 0.00 0 0 0.00 -
864.92/864.93 c diving/probing LP: 0.00 0 0 0.00 -
864.92/864.93 c strong branching : 0.00 0 0 0.00 -
864.92/864.93 c (at root node) : - 0 0 0.00 -
864.92/864.93 c conflict analysis: 0.00 0 0 0.00 -
864.92/864.93 c B&B Tree :
864.92/864.93 c number of runs : 1
864.92/864.93 c nodes : 858492
864.92/864.93 c nodes (total) : 858492
864.92/864.93 c nodes left : 0
864.92/864.93 c max depth : 183
864.92/864.93 c max depth (total): 183
864.92/864.93 c backtracks : 327610 (38.2%)
864.92/864.93 c delayed cutoffs : 247609
864.92/864.93 c repropagations : 1177097 (4430952 domain reductions, 126620 cutoffs)
864.92/864.93 c avg switch length: 29.30
864.92/864.93 c switching time : 249.05
864.92/864.93 c Solution :
864.92/864.93 c Solutions found : 23 (23 improvements)
864.92/864.93 c First Solution : +6.62000000000000e+02 (in run 1, after 21494 nodes, 3.22 seconds, depth 92, found by <relaxation>)
864.92/864.93 c Primal Bound : +2.00000000000000e+00 (in run 1, after 767130 nodes, 501.84 seconds, depth 40, found by <relaxation>)
864.92/864.93 c Dual Bound : +2.00000000000000e+00
864.92/864.93 c Gap : 0.00 %
864.92/864.93 c Root Dual Bound : +0.00000000000000e+00
864.92/864.93 c Root Iterations : 0
865.01/865.01 c Time complete: 865.03.