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-2693940-1277898016.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.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 64 impls, 30 clqs
0.00/0.01 c (round 2) 0 del vars, 6 del conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 64 impls, 30 clqs
0.00/0.01 c (round 3) 2 del vars, 8 del conss, 62 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 64 impls, 30 clqs
0.00/0.01 c (round 4) 4 del vars, 8 del conss, 62 chg bounds, 2 chg sides, 0 chg coeffs, 34 upgd conss, 64 impls, 30 clqs
0.00/0.02 c (0.0s) probing: 101/231 (43.7%) - 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 4 deleted vars, 8 deleted constraints, 62 tightened bounds, 0 added holes, 2 changed sides, 0 changed coefficients
0.00/0.02 c 64 implications, 30 cliques
0.00/0.02 c presolved problem has 293 variables (231 bin, 0 int, 0 impl, 62 cont) and 158 constraints
0.00/0.02 c 62 constraints of type <indicator>
0.00/0.02 c 30 constraints of type <setppc>
0.00/0.02 c 62 constraints of type <linear>
0.00/0.02 c 4 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.01
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 | - | 926k| 0 | - | 293 | 158 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.03 c 0.9s| 10000 | 7385 | 0 | 0.0 |6593k| 176 | - | 293 |2946 | 0 | 0 | 0 |6892 | 0 | 0.000000e+00 | -- | Inf
2.69/2.79 c 2.6s| 20000 | 12775 | 0 | 0.0 | 11M| 176 | - | 293 |3760 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
4.49/4.57 c 4.3s| 30000 | 18791 | 0 | 0.0 | 16M| 176 | - | 293 |6619 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
6.90/6.93 c 6.6s| 40000 | 24052 | 0 | 0.0 | 21M| 176 | - | 293 |8914 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
10.09/10.12 c 9.7s| 50000 | 27781 | 0 | 0.0 | 26M| 176 | - | 293 | 10k| 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
13.69/13.72 c 13.2s| 60000 | 30899 | 0 | 0.0 | 31M| 176 | - | 293 | 12k| 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
18.19/18.27 c 17.7s| 70000 | 32465 | 0 | 0.0 | 36M| 176 | - | 293 | 16k| 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
21.09/21.12 c 20.4s| 80000 | 38047 | 0 | 0.0 | 37M| 176 | - | 293 |4999 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
23.29/23.32 c 22.5s| 90000 | 43282 | 0 | 0.0 | 41M| 176 | - | 293 |6868 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
27.29/27.32 c 26.4s|100000 | 45933 | 0 | 0.0 | 46M| 176 | - | 293 | 11k| 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
32.30/32.38 c 31.4s|110000 | 48015 | 0 | 0.0 | 51M| 176 | - | 293 | 15k| 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
38.29/38.38 c 37.3s|120000 | 49682 | 0 | 0.0 | 56M| 176 | - | 293 | 18k| 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
45.29/45.36 c 44.2s|130000 | 50746 | 0 | 0.0 | 60M| 176 | - | 293 | 19k| 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
52.99/53.03 c 51.7s|140000 | 51217 | 0 | 0.0 | 63M| 176 | - | 293 | 22k| 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
61.68/61.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.68/61.71 c 60.3s|150000 | 51083 | 0 | 0.0 | 67M| 176 | - | 293 | 25k| 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
71.59/71.60 c 70.1s|160000 | 50329 | 0 | 0.0 | 69M| 176 | - | 293 | 28k| 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
83.69/83.78 c 82.1s|170000 | 48519 | 0 | 0.0 | 68M| 176 | - | 293 | 26k| 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
87.99/88.09 c 86.4s|180000 | 54446 | 0 | 0.0 | 67M| 176 | - | 293 |9161 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
91.79/91.82 c 90.0s|190000 | 58766 | 0 | 0.0 | 72M| 176 | - | 293 | 10k| 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
96.39/96.42 c 94.5s|200000 | 61397 | 0 | 0.0 | 76M| 176 | - | 293 | 11k| 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | -- | Inf
100.19/100.22 o 519
100.19/100.22 c *98.2s|207888 | 63516 | 0 | 0.0 | 77M| 176 | - | 293 |8330 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 5.190000e+02 | Inf
100.49/100.50 o 515
100.49/100.50 c *98.5s|209975 | 65320 | 0 | 0.0 | 77M| 176 | - | 293 |4240 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 5.150000e+02 | Inf
100.49/100.50 c 98.5s|210000 | 65343 | 0 | 0.0 | 77M| 176 | - | 293 |4215 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 5.150000e+02 | Inf
100.59/100.66 o 425
100.59/100.66 c *98.6s|211236 | 66362 | 0 | 0.0 | 77M| 176 | - | 293 |3269 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | 4.250000e+02 | Inf
100.59/100.68 o 350
100.59/100.68 c *98.7s|211423 | 66505 | 0 | 0.0 | 77M| 176 | - | 293 |3237 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | 3.500000e+02 | Inf
101.59/101.68 c 99.6s|220000 | 73460 | 0 | 0.0 | 80M| 176 | - | 293 |3617 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 3.500000e+02 | Inf
102.79/102.82 o 315
102.79/102.82 c * 101s|229174 | 80688 | 0 | 0.0 | 84M| 176 | - | 293 |4537 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 3.150000e+02 | Inf
102.89/102.93 c 101s|230000 | 81324 | 0 | 0.0 | 84M| 176 | - | 293 |4663 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 3.150000e+02 | Inf
104.39/104.48 c 102s|240000 | 88490 | 0 | 0.0 | 88M| 176 | - | 293 |4651 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 3.150000e+02 | Inf
111.19/111.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.19/111.22 c 109s|250000 | 86262 | 0 | 0.0 | 92M| 176 | - | 293 | 13k| 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 3.150000e+02 | Inf
120.99/121.08 c 119s|260000 | 83588 | 0 | 0.0 | 94M| 176 | - | 293 | 20k| 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 3.150000e+02 | Inf
134.49/134.52 c 132s|270000 | 79513 | 0 | 0.0 | 93M| 176 | - | 293 | 27k| 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | 3.150000e+02 | Inf
150.09/150.15 c 147s|280000 | 74882 | 0 | 0.0 | 90M| 176 | - | 293 | 31k| 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | 3.150000e+02 | Inf
167.80/167.89 c 165s|290000 | 67935 | 0 | 0.0 | 83M| 176 | - | 293 | 38k| 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 3.150000e+02 | Inf
179.49/179.57 c 177s|300000 | 69541 | 0 | 0.0 | 76M| 176 | - | 293 | 15k| 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 3.150000e+02 | Inf
186.39/186.42 c 183s|310000 | 71504 | 0 | 0.0 | 79M| 176 | - | 293 | 16k| 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | 3.150000e+02 | Inf
193.99/194.09 c 191s|320000 | 73051 | 0 | 0.0 | 82M| 176 | - | 293 | 18k| 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 3.150000e+02 | Inf
203.00/203.08 c 200s|330000 | 73853 | 0 | 0.0 | 85M| 176 | - | 293 | 22k| 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | 3.150000e+02 | Inf
212.59/212.69 c 209s|340000 | 74437 | 0 | 0.0 | 87M| 176 | - | 293 | 23k| 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | 3.150000e+02 | Inf
223.79/223.85 c 220s|350000 | 73314 | 0 | 0.0 | 88M| 176 | - | 293 | 24k| 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 3.150000e+02 | Inf
230.69/230.79 c 227s|360000 | 77232 | 0 | 0.0 | 84M| 176 | - | 293 |6468 | 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | 3.150000e+02 | Inf
230.80/230.84 o 311
230.80/230.84 c * 227s|360290 | 77459 | 0 | 0.0 | 84M| 176 | - | 293 |6155 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 3.110000e+02 | Inf
232.30/232.37 c 229s|370000 | 84886 | 0 | 0.0 | 87M| 176 | - | 293 |3941 | 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 3.110000e+02 | Inf
233.59/233.66 o 286
233.59/233.66 c * 230s|378351 | 91181 | 0 | 0.0 | 90M| 176 | - | 293 |4196 | 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
233.90/233.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
233.90/233.94 c 230s|380000 | 92375 | 0 | 0.0 | 91M| 176 | - | 293 |4184 | 0 | 0 | 0 | 555k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
235.59/235.62 c 232s|390000 | 99615 | 0 | 0.0 | 95M| 176 | - | 293 |4857 | 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
237.30/237.32 c 233s|400000 |106781 | 0 | 0.0 | 99M| 176 | - | 293 |5272 | 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
238.49/238.50 o 271
238.49/238.50 c * 235s|406415 |111236 | 0 | 0.0 | 101M| 176 | - | 293 |5433 | 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 2.710000e+02 | Inf
239.10/239.12 c 235s|410000 |113805 | 0 | 0.0 | 102M| 176 | - | 293 |5598 | 0 | 0 | 0 | 573k| 0 | 0.000000e+00 | 2.710000e+02 | Inf
240.10/240.11 o 237
240.10/240.11 c * 236s|415432 |117570 | 0 | 0.0 | 104M| 176 | - | 293 |5803 | 0 | 0 | 0 | 576k| 0 | 0.000000e+00 | 2.370000e+02 | Inf
240.90/240.95 c 237s|420000 |120761 | 0 | 0.0 | 106M| 176 | - | 293 |5732 | 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | 2.370000e+02 | Inf
242.79/242.84 c 239s|430000 |127646 | 0 | 0.0 | 110M| 176 | - | 293 |6236 | 0 | 0 | 0 | 585k| 0 | 0.000000e+00 | 2.370000e+02 | Inf
244.80/244.87 c 241s|440000 |134319 | 0 | 0.0 | 114M| 176 | - | 293 |6738 | 0 | 0 | 0 | 591k| 0 | 0.000000e+00 | 2.370000e+02 | Inf
245.49/245.50 o 232
245.49/245.50 c * 241s|443094 |136398 | 0 | 0.0 | 116M| 176 | - | 293 |7052 | 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 2.320000e+02 | Inf
246.89/246.97 c 243s|450000 |140879 | 0 | 0.0 | 118M| 176 | - | 293 |7273 | 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 2.320000e+02 | Inf
249.09/249.16 c 245s|460000 |147285 | 0 | 0.0 | 122M| 176 | - | 293 |7701 | 0 | 0 | 0 | 602k| 0 | 0.000000e+00 | 2.320000e+02 | Inf
250.80/250.86 o 231
250.80/250.86 c * 246s|467516 |152057 | 0 | 0.0 | 125M| 176 | - | 293 |7712 | 0 | 0 | 0 | 606k| 0 | 0.000000e+00 | 2.310000e+02 | Inf
251.29/251.39 c 247s|470000 |153673 | 0 | 0.0 | 126M| 176 | - | 293 |7831 | 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | 2.310000e+02 | Inf
252.20/252.25 o 167
252.20/252.25 c * 248s|473847 |155244 | 0 | 0.0 | 127M| 176 | - | 293 |7912 | 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
253.70/253.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
253.70/253.73 c 249s|480000 |158885 | 0 | 0.0 | 130M| 176 | - | 293 |8180 | 0 | 0 | 0 | 613k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
254.30/254.32 o 120
254.30/254.32 c * 250s|482673 |157942 | 0 | 0.0 | 129M| 176 | - | 293 |8057 | 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | 1.200000e+02 | Inf
255.49/255.50 o 114
255.49/255.50 c * 251s|487005 |159586 | 0 | 0.0 | 130M| 176 | - | 293 |8361 | 0 | 0 | 0 | 617k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
256.30/256.34 c 252s|490000 |161139 | 0 | 0.0 | 132M| 176 | - | 293 |8437 | 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
259.50/259.54 c 255s|500000 |165591 | 0 | 0.0 | 137M| 176 | - | 293 |9124 | 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
260.39/260.43 o 101
260.39/260.43 c * 256s|502395 |165732 | 0 | 0.0 | 138M| 176 | - | 293 |9293 | 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
263.59/263.61 c 259s|510000 |167630 | 0 | 0.0 | 142M| 176 | - | 293 |9399 | 0 | 0 | 0 | 635k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
267.99/268.00 c 263s|520000 |169571 | 0 | 0.0 | 145M| 176 | - | 293 |5943 | 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
271.79/271.88 c 267s|530000 |171518 | 0 | 0.0 | 146M| 176 | - | 293 |8405 | 0 | 0 | 0 | 658k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
281.99/282.07 c 277s|540000 |164678 | 0 | 0.0 | 131M| 176 | - | 293 | 13k| 0 | 0 | 0 | 683k| 0 | 1.000000e+00 | 1.010000e+02 | Large
292.99/293.06 c 288s|550000 |162030 | 0 | 0.0 | 133M| 176 | - | 293 | 20k| 0 | 0 | 0 | 707k| 0 | 1.000000e+00 | 1.010000e+02 | Large
307.39/307.49 c 302s|560000 |158863 | 0 | 0.0 | 135M| 176 | - | 293 | 26k| 0 | 0 | 0 | 731k| 0 | 1.000000e+00 | 1.010000e+02 | Large
324.50/324.56 c 319s|570000 |155277 | 0 | 0.0 | 135M| 176 | - | 293 | 31k| 0 | 0 | 0 | 754k| 0 | 1.000000e+00 | 1.010000e+02 | Large
344.30/344.36 c 339s|580000 |150555 | 0 | 0.0 | 132M| 176 | - | 293 | 35k| 0 | 0 | 0 | 778k| 0 | 1.000000e+00 | 1.010000e+02 | Large
356.40/356.45 c 351s|590000 |152931 | 0 | 0.0 | 125M| 176 | - | 293 | 13k| 0 | 0 | 0 | 789k| 0 | 1.000000e+00 | 1.010000e+02 | Large
359.61/359.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
359.61/359.66 c 354s|600000 |158903 | 0 | 0.0 | 128M| 176 | - | 293 |5946 | 0 | 0 | 0 | 796k| 0 | 1.000000e+00 | 1.010000e+02 | Large
362.19/362.29 c 356s|610000 |164744 | 0 | 0.0 | 132M| 176 | - | 293 |5972 | 0 | 0 | 0 | 803k| 0 | 1.000000e+00 | 1.010000e+02 | Large
362.40/362.44 o 98
362.40/362.44 c * 356s|610601 |164541 | 0 | 0.0 | 132M| 176 | - | 293 |5919 | 0 | 0 | 0 | 803k| 0 | 1.000000e+00 | 9.800000e+01 |9700.00%
364.90/364.93 c 359s|620000 |169798 | 0 | 0.0 | 136M| 176 | - | 293 |5494 | 0 | 0 | 0 | 810k| 0 | 1.000000e+00 | 9.800000e+01 |9700.00%
367.41/367.46 c 361s|630000 |175515 | 0 | 0.0 | 141M| 176 | - | 293 |5237 | 0 | 0 | 0 | 817k| 0 | 1.000000e+00 | 9.800000e+01 |9700.00%
369.70/369.77 c 363s|640000 |181432 | 0 | 0.0 | 145M| 176 | - | 293 |4326 | 0 | 0 | 0 | 824k| 0 | 1.000000e+00 | 9.800000e+01 |9700.00%
372.00/372.09 c 366s|650000 |187244 | 0 | 0.0 | 149M| 176 | - | 293 |5264 | 0 | 0 | 0 | 831k| 0 | 1.000000e+00 | 9.800000e+01 |9700.00%
374.50/374.53 c 368s|660000 |192996 | 0 | 0.0 | 154M| 176 | - | 293 |5724 | 0 | 0 | 0 | 838k| 0 | 1.000000e+00 | 9.800000e+01 |9700.00%
377.00/377.03 c 370s|670000 |198762 | 0 | 0.0 | 159M| 176 | - | 293 |6269 | 0 | 0 | 0 | 845k| 0 | 1.000000e+00 | 9.800000e+01 |9700.00%
379.70/379.75 c 373s|680000 |204178 | 0 | 0.0 | 163M| 176 | - | 293 |6408 | 0 | 0 | 0 | 853k| 0 | 1.000000e+00 | 9.800000e+01 |9700.00%
382.40/382.42 c 376s|690000 |209632 | 0 | 0.0 | 168M| 176 | - | 293 |6424 | 0 | 0 | 0 | 861k| 0 | 1.000000e+00 | 9.800000e+01 |9700.00%
385.09/385.14 c 378s|700000 |215038 | 0 | 0.0 | 172M| 176 | - | 293 |6542 | 0 | 0 | 0 | 868k| 0 | 1.000000e+00 | 9.800000e+01 |9700.00%
387.89/387.98 c 381s|710000 |220145 | 0 | 0.0 | 177M| 176 | - | 293 |6859 | 0 | 0 | 0 | 876k| 0 | 1.000000e+00 | 9.800000e+01 |9700.00%
390.70/390.79 c 384s|720000 |225345 | 0 | 0.0 | 181M| 176 | - | 293 |6712 | 0 | 0 | 0 | 884k| 0 | 1.000000e+00 | 9.800000e+01 |9700.00%
393.60/393.67 c 386s|730000 |230475 | 0 | 0.0 | 186M| 176 | - | 293 |6964 | 0 | 0 | 0 | 892k| 0 | 1.000000e+00 | 9.800000e+01 |9700.00%
396.79/396.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
396.79/396.80 c 389s|740000 |235255 | 0 | 0.0 | 190M| 176 | - | 293 |7252 | 0 | 0 | 0 | 900k| 0 | 1.000000e+00 | 9.800000e+01 |9700.00%
400.10/400.12 c 393s|750000 |239713 | 0 | 0.0 | 195M| 176 | - | 293 |7501 | 0 | 0 | 0 | 909k| 0 | 1.000000e+00 | 9.800000e+01 |9700.00%
403.40/403.43 c 396s|760000 |244160 | 0 | 0.0 | 199M| 176 | - | 293 |7848 | 0 | 0 | 0 | 918k| 0 | 1.000000e+00 | 9.800000e+01 |9700.00%
406.60/406.63 c 399s|770000 |248712 | 0 | 0.0 | 204M| 176 | - | 293 |7959 | 0 | 0 | 0 | 926k| 0 | 1.000000e+00 | 9.800000e+01 |9700.00%
409.80/409.85 c 402s|780000 |253309 | 0 | 0.0 | 208M| 176 | - | 293 |7731 | 0 | 0 | 0 | 934k| 0 | 1.000000e+00 | 9.800000e+01 |9700.00%
413.20/413.28 c 406s|790000 |257636 | 0 | 0.0 | 213M| 176 | - | 293 |7964 | 0 | 0 | 0 | 943k| 0 | 1.000000e+00 | 9.800000e+01 |9700.00%
416.80/416.82 c 409s|800000 |261799 | 0 | 0.0 | 217M| 176 | - | 293 |8496 | 0 | 0 | 0 | 952k| 0 | 1.000000e+00 | 9.800000e+01 |9700.00%
420.39/420.40 c 412s|810000 |265755 | 0 | 0.0 | 221M| 176 | - | 293 |8445 | 0 | 0 | 0 | 961k| 0 | 1.000000e+00 | 9.800000e+01 |9700.00%
423.80/423.87 c 416s|820000 |269852 | 0 | 0.0 | 226M| 176 | - | 293 |8437 | 0 | 0 | 0 | 970k| 0 | 1.000000e+00 | 9.800000e+01 |9700.00%
427.50/427.50 c 419s|830000 |273694 | 0 | 0.0 | 230M| 176 | - | 293 |8186 | 0 | 0 | 0 | 979k| 0 | 1.000000e+00 | 9.800000e+01 |9700.00%
428.70/428.80 o 97
428.70/428.80 c * 421s|833553 |274951 | 0 | 0.0 | 232M| 176 | - | 293 |9017 | 0 | 0 | 0 | 982k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
431.20/431.23 c 423s|840000 |277338 | 0 | 0.0 | 234M| 176 | - | 293 |8371 | 0 | 0 | 0 | 988k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
434.90/434.96 c 427s|850000 |280891 | 0 | 0.0 | 238M| 176 | - | 293 |6966 | 0 | 0 | 0 | 997k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
436.71/436.77 o 78
436.71/436.77 c * 428s|855354 |268293 | 0 | 0.0 | 227M| 176 | - | 293 |7731 | 0 | 0 | 0 |1002k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
438.80/438.89 c 430s|860000 |269173 | 0 | 0.0 | 229M| 176 | - | 293 |6772 | 0 | 0 | 0 |1007k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
443.20/443.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
443.20/443.22 c 435s|870000 |271296 | 0 | 0.0 | 234M| 176 | - | 293 |7480 | 0 | 0 | 0 |1018k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
447.70/447.76 c 439s|880000 |273334 | 0 | 0.0 | 238M| 176 | - | 293 |8768 | 0 | 0 | 0 |1029k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
452.30/452.37 c 444s|890000 |275515 | 0 | 0.0 | 242M| 176 | - | 293 |9243 | 0 | 0 | 0 |1040k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
457.20/457.25 c 448s|900000 |277429 | 0 | 0.0 | 246M| 176 | - | 293 |9717 | 0 | 0 | 0 |1050k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
462.10/462.18 c 453s|910000 |279202 | 0 | 0.0 | 250M| 176 | - | 293 |9887 | 0 | 0 | 0 |1061k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
467.40/467.44 c 458s|920000 |280366 | 0 | 0.0 | 254M| 176 | - | 293 | 10k| 0 | 0 | 0 |1072k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
473.40/473.43 c 464s|930000 |280504 | 0 | 0.0 | 257M| 176 | - | 293 | 10k| 0 | 0 | 0 |1084k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
479.90/479.92 c 471s|940000 |279690 | 0 | 0.0 | 260M| 176 | - | 293 | 11k| 0 | 0 | 0 |1096k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
485.30/485.36 c 476s|950000 |281548 | 0 | 0.0 | 262M| 176 | - | 293 |8081 | 0 | 0 | 0 |1107k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
489.00/489.05 c 479s|960000 |285942 | 0 | 0.0 | 267M| 176 | - | 293 |9659 | 0 | 0 | 0 |1119k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
493.40/493.41 c 484s|970000 |289327 | 0 | 0.0 | 272M| 176 | - | 293 | 13k| 0 | 0 | 0 |1132k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
500.60/500.68 c 491s|980000 |288254 | 0 | 0.0 | 264M| 176 | - | 293 | 12k| 0 | 0 | 0 |1149k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
505.50/505.52 c 496s|990000 |292074 | 0 | 0.0 | 265M| 176 | - | 293 |8287 | 0 | 0 | 0 |1161k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
510.80/510.85 c 501s| 1000k|294432 | 0 | 0.0 | 270M| 176 | - | 293 |8708 | 0 | 0 | 0 |1175k| 0 | 2.000000e+00 | 7.800000e+01 |3800.00%
516.10/516.18 c 506s| 1010k|296808 | 0 | 0.0 | 274M| 176 | - | 293 |9731 | 0 | 0 | 0 |1189k| 0 | 2.000000e+00 | 7.800000e+01 |3800.00%
521.80/521.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
521.80/521.86 c 512s| 1020k|298811 | 0 | 0.0 | 279M| 176 | - | 293 |9951 | 0 | 0 | 0 |1204k| 0 | 2.000000e+00 | 7.800000e+01 |3800.00%
527.50/527.56 c 517s| 1030k|300962 | 0 | 0.0 | 283M| 176 | - | 293 | 11k| 0 | 0 | 0 |1218k| 0 | 2.000000e+00 | 7.800000e+01 |3800.00%
533.10/533.10 c 523s| 1040k|303437 | 0 | 0.0 | 288M| 176 | - | 293 | 11k| 0 | 0 | 0 |1232k| 0 | 2.000000e+00 | 7.800000e+01 |3800.00%
538.80/538.80 c 528s| 1050k|305698 | 0 | 0.0 | 292M| 176 | - | 293 | 12k| 0 | 0 | 0 |1245k| 0 | 2.000000e+00 | 7.800000e+01 |3800.00%
544.80/544.82 c 534s| 1060k|307812 | 0 | 0.0 | 296M| 176 | - | 293 | 14k| 0 | 0 | 0 |1259k| 0 | 2.000000e+00 | 7.800000e+01 |3800.00%
551.40/551.41 c 541s| 1070k|309490 | 0 | 0.0 | 300M| 176 | - | 293 | 14k| 0 | 0 | 0 |1273k| 0 | 2.000000e+00 | 7.800000e+01 |3800.00%
558.20/558.28 c 547s| 1080k|311181 | 0 | 0.0 | 304M| 176 | - | 293 | 15k| 0 | 0 | 0 |1287k| 0 | 2.000000e+00 | 7.800000e+01 |3800.00%
565.80/565.83 c 555s| 1090k|312504 | 0 | 0.0 | 308M| 176 | - | 293 | 16k| 0 | 0 | 0 |1301k| 0 | 2.000000e+00 | 7.800000e+01 |3800.00%
573.71/573.72 c 563s| 1100k|313892 | 0 | 0.0 | 312M| 176 | - | 293 | 17k| 0 | 0 | 0 |1315k| 0 | 2.000000e+00 | 7.800000e+01 |3800.00%
581.80/581.81 c 571s| 1110k|315332 | 0 | 0.0 | 316M| 176 | - | 293 | 18k| 0 | 0 | 0 |1329k| 0 | 2.000000e+00 | 7.800000e+01 |3800.00%
590.40/590.46 c 579s| 1120k|316471 | 0 | 0.0 | 320M| 176 | - | 293 | 19k| 0 | 0 | 0 |1344k| 0 | 2.000000e+00 | 7.800000e+01 |3800.00%
599.60/599.66 c 588s| 1130k|317233 | 0 | 0.0 | 323M| 176 | - | 293 | 19k| 0 | 0 | 0 |1359k| 0 | 2.000000e+00 | 7.800000e+01 |3800.00%
609.00/609.00 c 597s| 1140k|317739 | 0 | 0.0 | 327M| 176 | - | 293 | 20k| 0 | 0 | 0 |1373k| 0 | 2.000000e+00 | 7.800000e+01 |3800.00%
618.80/618.87 c 607s| 1150k|318140 | 0 | 0.0 | 330M| 176 | - | 293 | 21k| 0 | 0 | 0 |1388k| 0 | 2.000000e+00 | 7.800000e+01 |3800.00%
628.90/628.97 c 617s| 1160k|318488 | 0 | 0.0 | 333M| 176 | - | 293 | 21k| 0 | 0 | 0 |1403k| 0 | 2.000000e+00 | 7.800000e+01 |3800.00%
638.90/638.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
638.90/638.94 c 627s| 1170k|318969 | 0 | 0.0 | 337M| 176 | - | 293 | 21k| 0 | 0 | 0 |1417k| 0 | 2.000000e+00 | 7.800000e+01 |3800.00%
649.40/649.43 c 637s| 1180k|318671 | 0 | 0.0 | 340M| 176 | - | 293 | 21k| 0 | 0 | 0 |1432k| 0 | 2.000000e+00 | 7.800000e+01 |3800.00%
660.11/660.11 c 648s| 1190k|318405 | 0 | 0.0 | 343M| 176 | - | 293 | 22k| 0 | 0 | 0 |1447k| 0 | 2.000000e+00 | 7.800000e+01 |3800.00%
670.41/670.46 c 658s| 1200k|318485 | 0 | 0.0 | 346M| 176 | - | 293 | 22k| 0 | 0 | 0 |1462k| 0 | 2.000000e+00 | 7.800000e+01 |3800.00%
680.40/680.49 c 668s| 1210k|318862 | 0 | 0.0 | 349M| 176 | - | 293 | 22k| 0 | 0 | 0 |1476k| 0 | 2.000000e+00 | 7.800000e+01 |3800.00%
681.60/681.62 o 65
681.60/681.62 c * 669s| 1210k|297011 | 0 | 0.0 | 325M| 176 | - | 293 | 22k| 0 | 0 | 0 |1478k| 0 | 2.000000e+00 | 6.500000e+01 |3150.00%
692.21/692.22 c 680s| 1220k|295246 | 0 | 0.0 | 327M| 176 | - | 293 | 17k| 0 | 0 | 0 |1494k| 0 | 2.000000e+00 | 6.500000e+01 |3150.00%
694.81/694.82 o 63
694.81/694.82 c * 682s| 1222k|292643 | 0 | 0.0 | 324M| 176 | - | 293 | 17k| 0 | 0 | 0 |1498k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
700.01/700.07 c 687s| 1230k|291604 | 0 | 0.0 | 322M| 176 | - | 293 |3760 | 0 | 0 | 0 |1511k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
705.50/705.52 c 693s| 1240k|290033 | 0 | 0.0 | 325M| 176 | - | 293 |9217 | 0 | 0 | 0 |1530k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
713.70/713.70 c 701s| 1250k|288065 | 0 | 0.0 | 328M| 176 | - | 293 | 13k| 0 | 0 | 0 |1548k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
723.50/723.51 c 710s| 1260k|286101 | 0 | 0.0 | 330M| 176 | - | 293 | 15k| 0 | 0 | 0 |1565k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
734.51/734.55 c 721s| 1270k|283497 | 0 | 0.0 | 331M| 176 | - | 293 | 16k| 0 | 0 | 0 |1583k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
743.70/743.75 c 730s| 1280k|280843 | 0 | 0.0 | 329M| 176 | - | 293 |4180 | 0 | 0 | 0 |1601k| 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
748.20/748.29 o 61
748.20/748.29 c * 735s| 1287k|272778 | 0 | 0.0 | 323M| 176 | - | 293 |7787 | 0 | 0 | 0 |1614k| 0 | 2.000000e+00 | 6.100000e+01 |2950.00%
750.01/750.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
750.01/750.06 c 737s| 1290k|271891 | 0 | 0.0 | 322M| 176 | - | 293 |2397 | 0 | 0 | 0 |1619k| 0 | 2.000000e+00 | 6.100000e+01 |2950.00%
754.00/754.03 o 24
754.00/754.03 c * 740s| 1296k|223187 | 0 | 0.0 | 257M| 176 | - | 293 |6339 | 0 | 0 | 0 |1632k| 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
758.31/758.35 c 745s| 1300k|216039 | 0 | 0.0 | 254M| 176 | - | 293 |5816 | 0 | 0 | 0 |1646k| 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
765.10/765.16 c 751s| 1310k|208766 | 0 | 0.0 | 247M| 176 | - | 293 |7622 | 0 | 0 | 0 |1669k| 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
771.50/771.51 c 757s| 1320k|209153 | 0 | 0.0 | 251M| 176 | - | 293 | 10k| 0 | 0 | 0 |1688k| 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
778.71/778.75 c 765s| 1330k|209040 | 0 | 0.0 | 255M| 176 | - | 293 | 12k| 0 | 0 | 0 |1708k| 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
787.81/787.86 c 774s| 1340k|206332 | 0 | 0.0 | 256M| 176 | - | 293 | 12k| 0 | 0 | 0 |1729k| 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
797.51/797.53 c 783s| 1350k|201607 | 0 | 0.0 | 254M| 176 | - | 293 | 10k| 0 | 0 | 0 |1754k| 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
801.50/801.59 o 2
801.50/801.59 c * 787s| 1352k| 0 | 0 | 0.0 | 10M| 176 | - | 293 | 12k| 0 | 0 | 0 |1763k| 0 | 2.000000e+00 | 2.000000e+00 | 0.00%
801.50/801.59 c
801.50/801.59 c SCIP Status : problem is solved [optimal solution found]
801.50/801.59 c Solving Time (sec) : 787.04
801.50/801.59 c Solving Nodes : 1352330
801.50/801.59 c Primal Bound : +2.00000000000000e+00 (23 solutions)
801.50/801.59 c Dual Bound : +2.00000000000000e+00
801.50/801.59 c Gap : 0.00 %
801.50/801.59 s OPTIMUM FOUND
801.50/801.59 v x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
801.50/801.59 v x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
801.50/801.59 v x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106
801.50/801.59 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
801.50/801.59 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
801.50/801.59 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
801.50/801.59 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
801.50/801.59 v -x4 -x3 -x2 -x1
801.50/801.59 c SCIP Status : problem is solved [optimal solution found]
801.50/801.59 c Solving Time : 787.04
801.50/801.59 c Original Problem :
801.50/801.59 c Problem name : HOME/instance-2693940-1277898016.wbo
801.50/801.59 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
801.50/801.59 c Constraints : 166 initial, 166 maximal
801.50/801.59 c Presolved Problem :
801.50/801.59 c Problem name : t_HOME/instance-2693940-1277898016.wbo
801.50/801.59 c Variables : 293 (231 binary, 0 integer, 0 implicit integer, 62 continuous)
801.50/801.59 c Constraints : 158 initial, 39376 maximal
801.50/801.59 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
801.50/801.59 c trivial : 0.00 0 0 0 0 0 0 0 0
801.50/801.59 c dualfix : 0.00 4 0 0 0 0 0 0 0
801.50/801.59 c boundshift : 0.00 0 0 0 0 0 0 0 0
801.50/801.59 c inttobinary : 0.00 0 0 0 0 0 0 0 0
801.50/801.59 c implics : 0.00 0 0 0 0 0 0 0 0
801.50/801.59 c probing : 0.01 0 0 0 0 0 0 0 0
801.50/801.59 c indicator : 0.00 0 0 0 0 0 2 0 0
801.50/801.59 c setppc : 0.00 0 0 0 0 0 0 0 0
801.50/801.59 c linear : 0.00 0 0 0 62 0 6 2 0
801.50/801.59 c logicor : 0.00 0 0 0 0 0 0 0 0
801.50/801.59 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
801.50/801.59 c root node : - 0 - - 0 - - - -
801.50/801.59 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
801.50/801.59 c integral : 0 0 0 0 0 0 0 0 0 0
801.50/801.59 c indicator : 62 0 3221743 0 821284 10586 2420163 0 0 0
801.50/801.59 c setppc : 30 0 3919979 0 959538 53870 4352170 0 0 0
801.50/801.59 c linear : 62 0 3866321 0 959594 387629 16749654 0 0 0
801.50/801.59 c logicor : 4+ 0 2000498 0 955404 119310 1670973 0 0 0
801.50/801.59 c bounddisjunction : 0+ 0 139832 0 0 0 5039 0 0 0
801.50/801.59 c countsols : 0 0 0 0 959617 0 0 0 0 0
801.50/801.59 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
801.50/801.59 c integral : 0.00 0.00 0.00 0.00 0.00
801.50/801.59 c indicator : 4.31 0.00 3.11 0.00 1.20
801.50/801.59 c setppc : 14.37 0.00 11.31 0.00 3.06
801.50/801.59 c linear : 84.81 0.00 84.33 0.00 0.48
801.50/801.59 c logicor : 299.18 0.00 298.53 0.00 0.65
801.50/801.59 c bounddisjunction : 0.22 0.00 0.22 0.00 0.00
801.50/801.59 c countsols : 0.19 0.00 0.00 0.00 0.19
801.50/801.59 c Propagators : Time Calls Cutoffs DomReds
801.50/801.59 c vbounds : 0.88 2 0 0
801.50/801.59 c rootredcost : 0.80 0 0 0
801.50/801.59 c pseudoobj : 11.21 3943102 12461 2069536
801.50/801.59 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
801.50/801.59 c propagation : 31.94 573267 573184 2936733 27.7 274232 14.4 -
801.50/801.59 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
801.50/801.59 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
801.50/801.59 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
801.50/801.59 c pseudo solution : 0.00 105 105 488 25.5 41 15.1 -
801.50/801.59 c applied globally : - - - 1679176 18.3 - - -
801.50/801.59 c applied locally : - - - 84165 38.2 - - -
801.50/801.59 c Separators : Time Calls Cutoffs DomReds Cuts Conss
801.50/801.59 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
801.50/801.59 c redcost : 0.00 0 0 0 0 0
801.50/801.59 c impliedbounds : 0.00 0 0 0 0 0
801.50/801.59 c intobj : 0.00 0 0 0 0 0
801.50/801.59 c cgmip : 0.00 0 0 0 0 0
801.50/801.59 c gomory : 0.00 0 0 0 0 0
801.50/801.59 c strongcg : 0.00 0 0 0 0 0
801.50/801.59 c cmir : 0.00 0 0 0 0 0
801.50/801.59 c flowcover : 0.00 0 0 0 0 0
801.50/801.59 c clique : 0.00 0 0 0 0 0
801.50/801.59 c zerohalf : 0.00 0 0 0 0 0
801.50/801.59 c mcf : 0.00 0 0 0 0 0
801.50/801.59 c rapidlearning : 0.00 0 0 0 0 0
801.50/801.59 c Pricers : Time Calls Vars
801.50/801.59 c problem variables: 0.00 0 0
801.50/801.59 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
801.50/801.59 c relpscost : 0.00 0 0 0 0 0 0
801.50/801.59 c pscost : 0.00 0 0 0 0 0 0
801.50/801.59 c inference : 8.04 959594 0 0 0 0 1919188
801.50/801.59 c mostinf : 0.00 0 0 0 0 0 0
801.50/801.59 c leastinf : 0.00 0 0 0 0 0 0
801.50/801.59 c fullstrong : 0.00 0 0 0 0 0 0
801.50/801.59 c allfullstrong : 0.00 0 0 0 0 0 0
801.50/801.59 c random : 0.00 0 0 0 0 0 0
801.50/801.59 c Primal Heuristics : Time Calls Found
801.50/801.59 c LP solutions : 0.00 - 0
801.50/801.59 c pseudo solutions : 0.74 - 23
801.50/801.59 c oneopt : 0.50 0 0
801.50/801.59 c trivial : 0.00 2 0
801.50/801.59 c simplerounding : 0.00 0 0
801.50/801.59 c zirounding : 0.00 0 0
801.50/801.59 c rounding : 0.00 0 0
801.50/801.59 c shifting : 0.00 0 0
801.50/801.59 c intshifting : 0.00 0 0
801.50/801.59 c twoopt : 0.00 0 0
801.50/801.59 c fixandinfer : 0.00 0 0
801.50/801.59 c feaspump : 0.00 0 0
801.50/801.59 c coefdiving : 0.00 0 0
801.50/801.59 c pscostdiving : 0.00 0 0
801.50/801.59 c fracdiving : 0.00 0 0
801.50/801.59 c veclendiving : 0.00 0 0
801.50/801.59 c intdiving : 0.00 0 0
801.50/801.59 c actconsdiving : 0.00 0 0
801.50/801.59 c objpscostdiving : 0.00 0 0
801.50/801.59 c rootsoldiving : 0.00 0 0
801.50/801.59 c linesearchdiving : 0.00 0 0
801.50/801.59 c guideddiving : 0.00 0 0
801.50/801.59 c octane : 0.00 0 0
801.50/801.59 c rens : 0.00 0 0
801.50/801.59 c rins : 0.00 0 0
801.50/801.59 c localbranching : 0.00 0 0
801.50/801.59 c mutation : 0.00 0 0
801.50/801.59 c crossover : 0.00 0 0
801.50/801.59 c dins : 0.00 0 0
801.50/801.59 c undercover : 0.00 0 0
801.50/801.59 c nlp : 0.31 0 0
801.50/801.59 c trysol : 0.30 1 0
801.50/801.59 c LP : Time Calls Iterations Iter/call Iter/sec
801.50/801.59 c primal LP : 0.00 0 0 0.00 -
801.50/801.59 c dual LP : 0.00 0 0 0.00 -
801.50/801.59 c lex dual LP : 0.00 0 0 0.00 -
801.50/801.59 c barrier LP : 0.00 0 0 0.00 -
801.50/801.59 c diving/probing LP: 0.00 0 0 0.00 -
801.50/801.59 c strong branching : 0.00 0 0 0.00 -
801.50/801.59 c (at root node) : - 0 0 0.00 -
801.50/801.59 c conflict analysis: 0.00 0 0 0.00 -
801.50/801.59 c B&B Tree :
801.50/801.59 c number of runs : 1
801.50/801.59 c nodes : 1352330
801.50/801.59 c nodes (total) : 1352330
801.50/801.59 c nodes left : 0
801.50/801.59 c max depth : 176
801.50/801.59 c max depth (total): 176
801.50/801.59 c backtracks : 418450 (30.9%)
801.50/801.59 c delayed cutoffs : 270841
801.50/801.59 c repropagations : 1379292 (7387906 domain reductions, 191248 cutoffs)
801.50/801.59 c avg switch length: 19.77
801.50/801.59 c switching time : 257.87
801.50/801.59 c Solution :
801.50/801.59 c Solutions found : 23 (23 improvements)
801.50/801.59 c First Solution : +5.19000000000000e+02 (in run 1, after 207888 nodes, 98.22 seconds, depth 84, found by <relaxation>)
801.50/801.59 c Primal Bound : +2.00000000000000e+00 (in run 1, after 1352330 nodes, 786.54 seconds, depth 48, found by <relaxation>)
801.50/801.59 c Dual Bound : +2.00000000000000e+00
801.50/801.59 c Gap : 0.00 %
801.50/801.59 c Root Dual Bound : +0.00000000000000e+00
801.50/801.59 c Root Iterations : 0
801.61/801.62 c Time complete: 801.63.