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-2693879-1277896310.wbo>
0.00/0.00 c original problem has 225 variables (197 bin, 0 int, 0 impl, 28 cont) and 130 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, 32 impls, 49 clqs
0.00/0.00 c (round 2) 0 del vars, 17 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 32 impls, 49 clqs
0.00/0.01 c (round 3) 1 del vars, 18 del conss, 27 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 32 impls, 49 clqs
0.00/0.01 c (round 4) 2 del vars, 18 del conss, 27 chg bounds, 1 chg sides, 0 chg coeffs, 58 upgd conss, 32 impls, 49 clqs
0.01/0.02 c (0.0s) probing: 101/196 (51.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.02 c presolving (5 rounds):
0.01/0.02 c 2 deleted vars, 18 deleted constraints, 27 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.01/0.02 c 32 implications, 49 cliques
0.01/0.02 c presolved problem has 223 variables (196 bin, 0 int, 0 impl, 27 cont) and 112 constraints
0.01/0.02 c 27 constraints of type <indicator>
0.01/0.02 c 49 constraints of type <setppc>
0.01/0.02 c 27 constraints of type <linear>
0.01/0.02 c 9 constraints of type <logicor>
0.01/0.02 c transformed objective value is always integral (scale: 1)
0.01/0.02 c Presolving Time: 0.01
0.01/0.02 c - non default parameters ----------------------------------------------------------------------
0.01/0.02 c # SCIP version 1.2.1.2
0.01/0.02 c
0.01/0.02 c # frequency for displaying node information lines
0.01/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.02 c display/freq = 10000
0.01/0.02 c
0.01/0.02 c # maximal time in seconds to run
0.01/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.02 c limits/time = 1800
0.01/0.02 c
0.01/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.02 c limits/memory = 3420
0.01/0.02 c
0.01/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.01/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.02 c lp/solvefreq = -1
0.01/0.02 c
0.01/0.02 c # should presolving try to simplify inequalities
0.01/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.02 c constraints/linear/simplifyinequalities = TRUE
0.01/0.02 c
0.01/0.02 c # should presolving try to simplify knapsacks
0.01/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.02 c
0.01/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.02 c separating/rapidlearning/freq = 0
0.01/0.02 c
0.01/0.02 c -----------------------------------------------------------------------------------------------
0.01/0.02 c start solving
0.01/0.02 c
0.01/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.01/0.02 c 0.0s| 1 | 2 | 0 | - | 730k| 0 | - | 223 | 112 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.00/1.05 c 1.0s| 10000 | 6759 | 0 | 0.0 |6345k| 116 | - | 223 |3136 | 0 | 0 | 0 |5177 | 0 | 0.000000e+00 | -- | Inf
1.69/1.78 o 164
1.69/1.78 c * 1.6s| 13859 | 8251 | 0 | 0.0 |8704k| 116 | - | 223 |5030 | 0 | 0 | 0 |8598 | 0 | 0.000000e+00 | 1.640000e+02 | Inf
1.79/1.80 o 81
1.79/1.80 c * 1.7s| 14165 | 8501 | 0 | 0.0 |8795k| 116 | - | 223 |4871 | 0 | 0 | 0 |8631 | 0 | 0.000000e+00 | 8.100000e+01 | Inf
2.59/2.66 c 2.5s| 20000 | 12123 | 0 | 0.0 | 10M| 116 | - | 223 |3595 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
4.59/4.68 c 4.4s| 30000 | 16668 | 0 | 0.0 | 15M| 116 | - | 223 |5777 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
7.49/7.54 c 7.2s| 40000 | 19405 | 0 | 0.0 | 20M| 116 | - | 223 |8759 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
11.19/11.28 c 10.8s| 50000 | 21044 | 0 | 0.0 | 24M| 116 | - | 223 | 11k| 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
12.79/12.87 c 12.3s| 60000 | 26748 | 0 | 0.0 | 25M| 116 | - | 223 |2654 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
15.59/15.67 c 15.0s| 70000 | 28379 | 0 | 0.0 | 30M| 116 | - | 223 |5560 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
19.09/19.16 c 18.4s| 80000 | 29080 | 0 | 0.0 | 33M| 116 | - | 223 |7123 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
22.59/22.68 c 21.8s| 90000 | 29970 | 0 | 0.0 | 35M| 116 | - | 223 |8235 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
26.60/26.67 c 25.7s|100000 | 29830 | 0 | 0.0 | 37M| 116 | - | 223 | 10k| 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
30.69/30.80 c 29.7s|110000 | 30737 | 0 | 0.0 | 36M| 116 | - | 223 |4433 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
32.19/32.25 c 31.1s|120000 | 37108 | 0 | 0.0 | 39M| 116 | - | 223 |3469 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
34.00/34.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.00/34.06 c 32.8s|130000 | 42485 | 0 | 0.0 | 44M| 116 | - | 223 |5174 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
36.39/36.41 c 35.0s|140000 | 46919 | 0 | 0.0 | 48M| 116 | - | 223 |6789 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
40.39/40.42 c 38.9s|150000 | 47050 | 0 | 0.0 | 50M| 116 | - | 223 |9773 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
46.70/46.76 c 45.2s|160000 | 44542 | 0 | 0.0 | 50M| 116 | - | 223 | 14k| 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
54.90/54.97 c 53.3s|170000 | 41149 | 0 | 0.0 | 49M| 116 | - | 223 | 19k| 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
63.99/64.04 c 62.2s|180000 | 38928 | 0 | 0.0 | 44M| 116 | - | 223 | 12k| 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
67.49/67.56 c 65.6s|190000 | 42451 | 0 | 0.0 | 45M| 116 | - | 223 |7164 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
70.89/70.90 c 68.9s|200000 | 45644 | 0 | 0.0 | 49M| 116 | - | 223 |8810 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
74.70/74.76 c 72.6s|210000 | 48745 | 0 | 0.0 | 52M| 116 | - | 223 |9828 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
78.99/79.00 c 76.8s|220000 | 51516 | 0 | 0.0 | 55M| 116 | - | 223 | 10k| 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
83.59/83.65 c 81.3s|230000 | 53696 | 0 | 0.0 | 58M| 116 | - | 223 | 11k| 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
89.00/89.04 c 86.6s|240000 | 54667 | 0 | 0.0 | 60M| 116 | - | 223 | 12k| 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
94.89/94.96 c 92.4s|250000 | 54827 | 0 | 0.0 | 61M| 116 | - | 223 | 13k| 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
101.39/101.48 c 98.8s|260000 | 54358 | 0 | 0.0 | 62M| 116 | - | 223 | 15k| 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
111.99/112.05 c 109s|270000 | 49102 | 0 | 0.0 | 53M| 116 | - | 223 | 15k| 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
118.80/118.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
118.80/118.87 c 116s|280000 | 48504 | 0 | 0.0 | 52M| 116 | - | 223 | 12k| 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
125.59/125.61 c 123s|290000 | 47631 | 0 | 0.0 | 52M| 116 | - | 223 | 15k| 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
133.90/133.94 c 131s|300000 | 45950 | 0 | 0.0 | 54M| 116 | - | 223 | 19k| 0 | 0 | 0 | 297k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
144.10/144.12 c 141s|310000 | 44191 | 0 | 0.0 | 55M| 116 | - | 223 | 23k| 0 | 0 | 0 | 309k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
156.89/156.96 c 153s|320000 | 41062 | 0 | 0.0 | 56M| 116 | - | 223 | 25k| 0 | 0 | 0 | 322k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
170.09/170.19 c 167s|330000 | 37869 | 0 | 0.0 | 55M| 116 | - | 223 | 25k| 0 | 0 | 0 | 335k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
180.99/181.07 o 24
180.99/181.07 c * 177s|338810 | 34341 | 0 | 0.0 | 53M| 116 | - | 223 | 25k| 0 | 0 | 0 | 347k| 0 | 1.000000e+00 | 2.400000e+01 |2300.00%
182.50/182.54 c 179s|340000 | 33871 | 0 | 0.0 | 53M| 116 | - | 223 | 25k| 0 | 0 | 0 | 348k| 0 | 1.000000e+00 | 2.400000e+01 |2300.00%
197.90/197.92 c 194s|350000 | 28021 | 0 | 0.0 | 49M| 116 | - | 223 | 23k| 0 | 0 | 0 | 364k| 0 | 1.000000e+00 | 2.400000e+01 |2300.00%
214.29/214.40 c 210s|360000 | 20582 | 0 | 0.0 | 44M| 116 | - | 223 | 24k| 0 | 0 | 0 | 381k| 0 | 1.000000e+00 | 2.400000e+01 |2300.00%
234.00/234.04 c 230s|370000 | 10495 | 0 | 0.0 | 34M| 116 | - | 223 | 30k| 0 | 0 | 0 | 400k| 0 | 1.000000e+00 | 2.400000e+01 |2300.00%
243.80/243.81 c 240s|380000 | 9456 | 0 | 0.0 | 16M| 116 | - | 223 |7783 | 0 | 0 | 0 | 410k| 0 | 1.000000e+00 | 2.400000e+01 |2300.00%
245.40/245.44 c 241s|390000 | 16645 | 0 | 0.0 | 19M| 116 | - | 223 |6085 | 0 | 0 | 0 | 415k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
248.80/248.82 c 244s|400000 | 18785 | 0 | 0.0 | 21M| 116 | - | 223 |5523 | 0 | 0 | 0 | 425k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
251.00/251.04 c 246s|410000 | 24140 | 0 | 0.0 | 24M| 116 | - | 223 |4361 | 0 | 0 | 0 | 430k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
252.79/252.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
252.79/252.80 c 248s|420000 | 30719 | 0 | 0.0 | 28M| 116 | - | 223 |5981 | 0 | 0 | 0 | 436k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
255.00/255.01 c 250s|430000 | 36642 | 0 | 0.0 | 33M| 116 | - | 223 |8030 | 0 | 0 | 0 | 442k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
257.79/257.87 c 253s|440000 | 41706 | 0 | 0.0 | 37M| 116 | - | 223 | 10k| 0 | 0 | 0 | 450k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
261.30/261.35 c 256s|450000 | 46166 | 0 | 0.0 | 42M| 116 | - | 223 | 12k| 0 | 0 | 0 | 458k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
265.40/265.43 c 260s|460000 | 50050 | 0 | 0.0 | 46M| 116 | - | 223 | 14k| 0 | 0 | 0 | 467k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
270.30/270.31 c 265s|470000 | 52825 | 0 | 0.0 | 50M| 116 | - | 223 | 15k| 0 | 0 | 0 | 477k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
276.79/276.88 c 272s|480000 | 53218 | 0 | 0.0 | 50M| 116 | - | 223 |8766 | 0 | 0 | 0 | 489k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
280.10/280.12 c 275s|490000 | 57412 | 0 | 0.0 | 53M| 116 | - | 223 |8516 | 0 | 0 | 0 | 497k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
283.10/283.16 c 278s|500000 | 62511 | 0 | 0.0 | 57M| 116 | - | 223 |9969 | 0 | 0 | 0 | 504k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
286.80/286.81 c 281s|510000 | 66978 | 0 | 0.0 | 61M| 116 | - | 223 | 11k| 0 | 0 | 0 | 512k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
291.00/291.05 c 285s|520000 | 70993 | 0 | 0.0 | 65M| 116 | - | 223 | 13k| 0 | 0 | 0 | 521k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
295.70/295.72 c 290s|530000 | 74648 | 0 | 0.0 | 69M| 116 | - | 223 | 14k| 0 | 0 | 0 | 530k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
301.10/301.17 c 295s|540000 | 77694 | 0 | 0.0 | 73M| 116 | - | 223 | 16k| 0 | 0 | 0 | 540k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
307.49/307.54 c 302s|550000 | 80220 | 0 | 0.0 | 77M| 116 | - | 223 | 18k| 0 | 0 | 0 | 551k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
314.20/314.26 c 308s|560000 | 82633 | 0 | 0.0 | 80M| 116 | - | 223 | 19k| 0 | 0 | 0 | 562k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
321.60/321.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
321.60/321.69 c 316s|570000 | 84712 | 0 | 0.0 | 84M| 116 | - | 223 | 20k| 0 | 0 | 0 | 573k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
329.50/329.56 c 323s|580000 | 86473 | 0 | 0.0 | 88M| 116 | - | 223 | 22k| 0 | 0 | 0 | 584k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
339.49/339.59 c 333s|590000 | 87600 | 0 | 0.0 | 91M| 116 | - | 223 | 23k| 0 | 0 | 0 | 596k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
349.70/349.79 c 343s|600000 | 88782 | 0 | 0.0 | 94M| 116 | - | 223 | 24k| 0 | 0 | 0 | 607k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
361.30/361.34 c 354s|610000 | 89220 | 0 | 0.0 | 97M| 116 | - | 223 | 26k| 0 | 0 | 0 | 619k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
373.50/373.51 c 366s|620000 | 89579 | 0 | 0.0 | 100M| 116 | - | 223 | 28k| 0 | 0 | 0 | 631k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
387.11/387.14 c 379s|630000 | 89165 | 0 | 0.0 | 102M| 116 | - | 223 | 30k| 0 | 0 | 0 | 644k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
401.60/401.65 c 393s|640000 | 88021 | 0 | 0.0 | 104M| 116 | - | 223 | 32k| 0 | 0 | 0 | 657k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
418.40/418.40 c 410s|650000 | 85790 | 0 | 0.0 | 99M| 116 | - | 223 | 19k| 0 | 0 | 0 | 670k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
427.30/427.35 c 418s|660000 | 87789 | 0 | 0.0 | 101M| 116 | - | 223 | 17k| 0 | 0 | 0 | 682k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
437.19/437.28 c 428s|670000 | 88432 | 0 | 0.0 | 104M| 116 | - | 223 | 17k| 0 | 0 | 0 | 695k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
448.81/448.86 c 439s|680000 | 88218 | 0 | 0.0 | 107M| 116 | - | 223 | 20k| 0 | 0 | 0 | 709k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
462.00/462.05 c 452s|690000 | 87733 | 0 | 0.0 | 110M| 116 | - | 223 | 22k| 0 | 0 | 0 | 723k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
476.31/476.34 c 466s|700000 | 86898 | 0 | 0.0 | 113M| 116 | - | 223 | 24k| 0 | 0 | 0 | 738k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
491.70/491.74 c 481s|710000 | 85981 | 0 | 0.0 | 115M| 116 | - | 223 | 27k| 0 | 0 | 0 | 753k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
508.90/508.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
508.90/508.93 c 498s|720000 | 84346 | 0 | 0.0 | 116M| 116 | - | 223 | 28k| 0 | 0 | 0 | 768k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
527.50/527.52 c 516s|730000 | 82543 | 0 | 0.0 | 118M| 116 | - | 223 | 31k| 0 | 0 | 0 | 783k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
547.50/547.54 c 536s|740000 | 80742 | 0 | 0.0 | 120M| 116 | - | 223 | 34k| 0 | 0 | 0 | 798k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
571.91/571.94 c 560s|750000 | 77343 | 0 | 0.0 | 119M| 116 | - | 223 | 37k| 0 | 0 | 0 | 815k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
597.70/597.72 c 585s|760000 | 74208 | 0 | 0.0 | 119M| 116 | - | 223 | 39k| 0 | 0 | 0 | 831k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
626.20/626.23 c 613s|770000 | 70246 | 0 | 0.0 | 117M| 116 | - | 223 | 40k| 0 | 0 | 0 | 847k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
655.61/655.64 c 642s|780000 | 65903 | 0 | 0.0 | 115M| 116 | - | 223 | 42k| 0 | 0 | 0 | 863k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
689.00/689.09 c 675s|790000 | 60189 | 0 | 0.0 | 110M| 116 | - | 223 | 45k| 0 | 0 | 0 | 881k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
725.30/725.39 o 23
725.30/725.39 c * 711s|799847 | 49761 | 0 | 0.0 | 96M| 116 | - | 223 | 37k| 0 | 0 | 0 | 898k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
726.01/726.06 c 712s|800000 | 49684 | 0 | 0.0 | 96M| 116 | - | 223 | 35k| 0 | 0 | 0 | 898k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
757.50/757.53 c 743s|810000 | 40403 | 0 | 0.0 | 86M| 116 | - | 223 | 25k| 0 | 0 | 0 | 921k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
791.41/791.43 c 776s|820000 | 29527 | 0 | 0.0 | 75M| 116 | - | 223 | 32k| 0 | 0 | 0 | 944k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
831.71/831.70 c 816s|830000 | 18148 | 0 | 0.0 | 60M| 116 | - | 223 | 40k| 0 | 0 | 0 | 966k| 0 | 6.000000e+00 | 2.300000e+01 | 283.33%
884.81/884.86 c 868s|840000 | 4013 | 0 | 0.0 | 24M| 116 | - | 223 | 34k| 0 | 0 | 0 | 988k| 0 | 1.200000e+01 | 2.300000e+01 | 91.67%
899.41/899.46 c 883s|850000 | 4507 | 0 | 0.0 | 16M| 116 | - | 223 | 14k| 0 | 0 | 0 |1000k| 0 | 1.200000e+01 | 2.300000e+01 | 91.67%
902.91/902.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
902.91/902.90 c 886s|860000 | 10175 | 0 | 0.0 | 18M| 116 | - | 223 | 11k| 0 | 0 | 0 |1007k| 0 | 1.300000e+01 | 2.300000e+01 | 76.92%
905.91/905.97 c 889s|870000 | 16207 | 0 | 0.0 | 23M| 116 | - | 223 | 12k| 0 | 0 | 0 |1013k| 0 | 1.300000e+01 | 2.300000e+01 | 76.92%
910.31/910.39 c 893s|880000 | 20743 | 0 | 0.0 | 28M| 116 | - | 223 | 16k| 0 | 0 | 0 |1022k| 0 | 1.300000e+01 | 2.300000e+01 | 76.92%
917.11/917.11 c 899s|890000 | 22375 | 0 | 0.0 | 32M| 116 | - | 223 | 20k| 0 | 0 | 0 |1035k| 0 | 1.300000e+01 | 2.300000e+01 | 76.92%
923.81/923.81 c 905s|900000 | 26517 | 0 | 0.0 | 36M| 116 | - | 223 | 21k| 0 | 0 | 0 |1044k| 0 | 1.300000e+01 | 2.300000e+01 | 76.92%
931.81/931.81 c 913s|910000 | 30051 | 0 | 0.0 | 40M| 116 | - | 223 | 22k| 0 | 0 | 0 |1054k| 0 | 1.300000e+01 | 2.300000e+01 | 76.92%
941.62/941.65 c 923s|920000 | 32351 | 0 | 0.0 | 45M| 116 | - | 223 | 25k| 0 | 0 | 0 |1067k| 0 | 1.300000e+01 | 2.300000e+01 | 76.92%
954.11/954.16 c 935s|930000 | 33252 | 0 | 0.0 | 49M| 116 | - | 223 | 30k| 0 | 0 | 0 |1081k| 0 | 1.300000e+01 | 2.300000e+01 | 76.92%
970.41/970.46 c 951s|940000 | 32475 | 0 | 0.0 | 53M| 116 | - | 223 | 35k| 0 | 0 | 0 |1098k| 0 | 1.300000e+01 | 2.300000e+01 | 76.92%
987.51/987.55 c 967s|950000 | 31646 | 0 | 0.0 | 55M| 116 | - | 223 | 39k| 0 | 0 | 0 |1113k| 0 | 1.300000e+01 | 2.300000e+01 | 76.92%
1008.92/1008.92 c 988s|960000 | 30885 | 0 | 0.0 | 56M| 116 | - | 223 | 37k| 0 | 0 | 0 |1129k| 0 | 1.300000e+01 | 2.300000e+01 | 76.92%
1032.22/1032.24 c 1011s|970000 | 29731 | 0 | 0.0 | 58M| 116 | - | 223 | 37k| 0 | 0 | 0 |1145k| 0 | 1.300000e+01 | 2.300000e+01 | 76.92%
1058.52/1058.58 c 1037s|980000 | 27209 | 0 | 0.0 | 60M| 116 | - | 223 | 43k| 0 | 0 | 0 |1162k| 0 | 1.300000e+01 | 2.300000e+01 | 76.92%
1092.32/1092.36 c 1070s|990000 | 22211 | 0 | 0.0 | 59M| 116 | - | 223 | 50k| 0 | 0 | 0 |1181k| 0 | 1.300000e+01 | 2.300000e+01 | 76.92%
1125.62/1125.62 c 1103s| 1000k| 17507 | 0 | 0.0 | 50M| 116 | - | 223 | 39k| 0 | 0 | 0 |1200k| 0 | 1.300000e+01 | 2.300000e+01 | 76.92%
1162.32/1162.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1162.32/1162.39 c 1139s| 1010k| 7627 | 0 | 0.0 | 35M| 116 | - | 223 | 41k| 0 | 0 | 0 |1222k| 0 | 1.300000e+01 | 2.300000e+01 | 76.92%
1170.62/1170.66 c 1147s| 1020k| 11446 | 0 | 0.0 | 27M| 116 | - | 223 | 14k| 0 | 0 | 0 |1230k| 0 | 1.300000e+01 | 2.300000e+01 | 76.92%
1174.62/1174.65 c 1151s| 1030k| 16839 | 0 | 0.0 | 27M| 116 | - | 223 | 12k| 0 | 0 | 0 |1236k| 0 | 1.700000e+01 | 2.300000e+01 | 35.29%
1178.13/1178.15 c 1154s| 1040k| 22269 | 0 | 0.0 | 31M| 116 | - | 223 | 14k| 0 | 0 | 0 |1244k| 0 | 1.700000e+01 | 2.300000e+01 | 35.29%
1183.22/1183.21 c 1159s| 1050k| 25790 | 0 | 0.0 | 36M| 116 | - | 223 | 18k| 0 | 0 | 0 |1254k| 0 | 1.700000e+01 | 2.300000e+01 | 35.29%
1190.32/1190.39 c 1166s| 1060k| 27542 | 0 | 0.0 | 39M| 116 | - | 223 | 20k| 0 | 0 | 0 |1266k| 0 | 1.700000e+01 | 2.300000e+01 | 35.29%
1197.93/1197.96 c 1173s| 1070k| 29638 | 0 | 0.0 | 38M| 116 | - | 223 | 15k| 0 | 0 | 0 |1277k| 0 | 1.700000e+01 | 2.300000e+01 | 35.29%
1203.92/1203.96 c 1179s| 1080k| 33817 | 0 | 0.0 | 42M| 116 | - | 223 | 18k| 0 | 0 | 0 |1288k| 0 | 1.700000e+01 | 2.300000e+01 | 35.29%
1212.13/1212.19 c 1187s| 1090k| 36515 | 0 | 0.0 | 47M| 116 | - | 223 | 21k| 0 | 0 | 0 |1300k| 0 | 1.700000e+01 | 2.300000e+01 | 35.29%
1222.22/1222.28 c 1196s| 1100k| 38278 | 0 | 0.0 | 51M| 116 | - | 223 | 24k| 0 | 0 | 0 |1314k| 0 | 1.700000e+01 | 2.300000e+01 | 35.29%
1235.03/1235.07 c 1209s| 1110k| 38687 | 0 | 0.0 | 55M| 116 | - | 223 | 27k| 0 | 0 | 0 |1329k| 0 | 1.700000e+01 | 2.300000e+01 | 35.29%
1249.02/1249.07 c 1222s| 1120k| 38432 | 0 | 0.0 | 58M| 116 | - | 223 | 31k| 0 | 0 | 0 |1344k| 0 | 1.700000e+01 | 2.300000e+01 | 35.29%
1263.42/1263.42 c 1236s| 1130k| 38166 | 0 | 0.0 | 61M| 116 | - | 223 | 35k| 0 | 0 | 0 |1359k| 0 | 1.700000e+01 | 2.300000e+01 | 35.29%
1277.13/1277.15 c 1250s| 1140k| 38149 | 0 | 0.0 | 64M| 116 | - | 223 | 41k| 0 | 0 | 0 |1375k| 0 | 1.700000e+01 | 2.300000e+01 | 35.29%
1291.82/1291.86 c 1264s| 1150k| 38890 | 0 | 0.0 | 59M| 116 | - | 223 | 17k| 0 | 0 | 0 |1387k| 0 | 1.700000e+01 | 2.300000e+01 | 35.29%
1303.62/1303.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1303.62/1303.69 c 1276s| 1160k| 38788 | 0 | 0.0 | 63M| 116 | - | 223 | 24k| 0 | 0 | 0 |1404k| 0 | 1.700000e+01 | 2.300000e+01 | 35.29%
1321.03/1321.04 c 1293s| 1170k| 37639 | 0 | 0.0 | 66M| 116 | - | 223 | 31k| 0 | 0 | 0 |1421k| 0 | 1.700000e+01 | 2.300000e+01 | 35.29%
1344.32/1344.35 c 1316s| 1180k| 34952 | 0 | 0.0 | 69M| 116 | - | 223 | 39k| 0 | 0 | 0 |1439k| 0 | 1.700000e+01 | 2.300000e+01 | 35.29%
1375.32/1375.32 c 1346s| 1190k| 30654 | 0 | 0.0 | 69M| 116 | - | 223 | 47k| 0 | 0 | 0 |1459k| 0 | 1.700000e+01 | 2.300000e+01 | 35.29%
1409.22/1409.25 c 1380s| 1200k| 25813 | 0 | 0.0 | 67M| 116 | - | 223 | 53k| 0 | 0 | 0 |1480k| 0 | 1.700000e+01 | 2.300000e+01 | 35.29%
1443.53/1443.51 c 1413s| 1210k| 21927 | 0 | 0.0 | 59M| 116 | - | 223 | 40k| 0 | 0 | 0 |1498k| 0 | 1.700000e+01 | 2.300000e+01 | 35.29%
1458.33/1458.32 c 1428s| 1220k| 23920 | 0 | 0.0 | 52M| 116 | - | 223 | 15k| 0 | 0 | 0 |1509k| 0 | 1.700000e+01 | 2.300000e+01 | 35.29%
1472.23/1472.26 c 1441s| 1230k| 18571 | 0 | 0.0 | 48M| 116 | - | 223 | 24k| 0 | 0 | 0 |1529k| 0 | 1.700000e+01 | 2.300000e+01 | 35.29%
1500.23/1500.27 c 1469s| 1240k| 8925 | 0 | 0.0 | 31M| 116 | - | 223 | 26k| 0 | 0 | 0 |1553k| 0 | 1.700000e+01 | 2.300000e+01 | 35.29%
1506.03/1506.01 c 1474s| 1250k| 15018 | 0 | 0.0 | 31M| 116 | - | 223 | 15k| 0 | 0 | 0 |1558k| 0 | 1.700000e+01 | 2.300000e+01 | 35.29%
1511.34/1511.34 c 1479s| 1260k| 19119 | 0 | 0.0 | 35M| 116 | - | 223 | 16k| 0 | 0 | 0 |1566k| 0 | 1.700000e+01 | 2.300000e+01 | 35.29%
1519.53/1519.52 c 1487s| 1270k| 19275 | 0 | 0.0 | 35M| 116 | - | 223 | 19k| 0 | 0 | 0 |1578k| 0 | 1.700000e+01 | 2.300000e+01 | 35.29%
1527.33/1527.38 c 1495s| 1280k| 22292 | 0 | 0.0 | 34M| 116 | - | 223 | 19k| 0 | 0 | 0 |1587k| 0 | 2.000000e+01 | 2.300000e+01 | 15.00%
1535.74/1535.74 c 1503s| 1290k| 25055 | 0 | 0.0 | 38M| 116 | - | 223 | 21k| 0 | 0 | 0 |1597k| 0 | 2.000000e+01 | 2.300000e+01 | 15.00%
1545.93/1545.97 c 1513s| 1300k| 26274 | 0 | 0.0 | 42M| 116 | - | 223 | 25k| 0 | 0 | 0 |1609k| 0 | 2.000000e+01 | 2.300000e+01 | 15.00%
1558.03/1558.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1558.03/1558.01 c 1524s| 1310k| 26535 | 0 | 0.0 | 46M| 116 | - | 223 | 28k| 0 | 0 | 0 |1621k| 0 | 2.000000e+01 | 2.300000e+01 | 15.00%
1571.13/1571.13 c 1537s| 1320k| 26268 | 0 | 0.0 | 49M| 116 | - | 223 | 31k| 0 | 0 | 0 |1633k| 0 | 2.000000e+01 | 2.300000e+01 | 15.00%
1586.83/1586.86 c 1552s| 1330k| 25218 | 0 | 0.0 | 50M| 116 | - | 223 | 34k| 0 | 0 | 0 |1646k| 0 | 2.000000e+01 | 2.300000e+01 | 15.00%
1607.23/1607.20 c 1572s| 1340k| 24070 | 0 | 0.0 | 52M| 116 | - | 223 | 31k| 0 | 0 | 0 |1660k| 0 | 2.000000e+01 | 2.300000e+01 | 15.00%
1629.23/1629.20 c 1594s| 1350k| 21002 | 0 | 0.0 | 52M| 116 | - | 223 | 34k| 0 | 0 | 0 |1676k| 0 | 2.000000e+01 | 2.300000e+01 | 15.00%
1652.24/1652.26 c 1617s| 1360k| 16880 | 0 | 0.0 | 51M| 116 | - | 223 | 39k| 0 | 0 | 0 |1692k| 0 | 2.000000e+01 | 2.300000e+01 | 15.00%
1682.63/1682.61 c 1646s| 1370k| 10845 | 0 | 0.0 | 44M| 116 | - | 223 | 40k| 0 | 0 | 0 |1710k| 0 | 2.000000e+01 | 2.300000e+01 | 15.00%
1718.74/1718.71 c
1718.74/1718.71 c SCIP Status : problem is solved [optimal solution found]
1718.74/1718.71 c Solving Time (sec) : 1682.07
1718.74/1718.71 c Solving Nodes : 1379298
1718.74/1718.71 c Primal Bound : +2.30000000000000e+01 (4 solutions)
1718.74/1718.71 c Dual Bound : +2.30000000000000e+01
1718.74/1718.71 c Gap : 0.00 %
1718.74/1718.71 s OPTIMUM FOUND
1718.74/1718.71 v -x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
1718.74/1718.71 v -x147 -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1718.74/1718.71 v x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1718.74/1718.71 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
1718.74/1718.71 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
1718.74/1718.71 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
1718.74/1718.71 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
1718.74/1718.71 v -x4 x3 -x2 -x1
1718.74/1718.71 c SCIP Status : problem is solved [optimal solution found]
1718.74/1718.71 c Solving Time : 1682.07
1718.74/1718.71 c Original Problem :
1718.74/1718.71 c Problem name : HOME/instance-2693879-1277896310.wbo
1718.74/1718.71 c Variables : 225 (197 binary, 0 integer, 0 implicit integer, 28 continuous)
1718.74/1718.71 c Constraints : 130 initial, 130 maximal
1718.74/1718.71 c Presolved Problem :
1718.74/1718.71 c Problem name : t_HOME/instance-2693879-1277896310.wbo
1718.74/1718.71 c Variables : 223 (196 binary, 0 integer, 0 implicit integer, 27 continuous)
1718.74/1718.71 c Constraints : 112 initial, 61957 maximal
1718.74/1718.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1718.74/1718.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1718.74/1718.71 c dualfix : 0.00 2 0 0 0 0 0 0 0
1718.74/1718.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1718.74/1718.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1718.74/1718.72 c implics : 0.00 0 0 0 0 0 0 0 0
1718.74/1718.72 c probing : 0.00 0 0 0 0 0 0 0 0
1718.74/1718.72 c indicator : 0.00 0 0 0 0 0 1 0 0
1718.74/1718.72 c setppc : 0.00 0 0 0 0 0 0 0 0
1718.74/1718.72 c linear : 0.00 0 0 0 27 0 17 1 0
1718.74/1718.72 c logicor : 0.01 0 0 0 0 0 0 0 0
1718.74/1718.72 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1718.74/1718.72 c root node : - 5 - - 10 - - - -
1718.74/1718.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1718.74/1718.72 c integral : 0 0 0 0 0 0 0 0 0 0
1718.74/1718.72 c indicator : 27 0 3806628 0 754263 48 99325 0 0 0
1718.74/1718.72 c setppc : 49 0 4361813 0 860667 146102 8955165 0 0 0
1718.74/1718.72 c linear : 27 0 4215711 0 860667 367940 14512356 0 0 0
1718.74/1718.72 c logicor : 9+ 0 2351310 0 860663 252532 1503296 0 0 0
1718.74/1718.72 c bounddisjunction : 0+ 0 142960 0 0 1 44 0 0 0
1718.74/1718.72 c countsols : 0 0 0 0 860671 0 0 0 0 0
1718.74/1718.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1718.74/1718.72 c integral : 0.00 0.00 0.00 0.00 0.00
1718.74/1718.72 c indicator : 0.56 0.00 0.29 0.00 0.27
1718.74/1718.72 c setppc : 30.28 0.00 25.88 0.00 4.40
1718.74/1718.72 c linear : 67.80 0.00 67.52 0.00 0.28
1718.74/1718.72 c logicor : 855.58 0.00 854.91 0.00 0.67
1718.74/1718.72 c bounddisjunction : 0.24 0.00 0.24 0.00 0.00
1718.74/1718.72 c countsols : 0.07 0.00 0.00 0.00 0.07
1718.74/1718.72 c Propagators : Time Calls Cutoffs DomReds
1718.74/1718.72 c vbounds : 0.34 2 0 0
1718.74/1718.72 c rootredcost : 0.31 0 0 0
1718.74/1718.72 c pseudoobj : 3.20 4361707 37 84663
1718.74/1718.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1718.74/1718.72 c propagation : 34.05 766612 766527 4188596 22.3 151666 15.0 -
1718.74/1718.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1718.74/1718.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1718.74/1718.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1718.74/1718.72 c pseudo solution : 0.00 5 5 8 3.0 1 14.0 -
1718.74/1718.72 c applied globally : - - - 1717077 16.6 - - -
1718.74/1718.72 c applied locally : - - - 13259 34.8 - - -
1718.74/1718.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1718.74/1718.72 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1718.74/1718.72 c redcost : 0.00 0 0 0 0 0
1718.74/1718.72 c impliedbounds : 0.00 0 0 0 0 0
1718.74/1718.72 c intobj : 0.00 0 0 0 0 0
1718.74/1718.72 c cgmip : 0.00 0 0 0 0 0
1718.74/1718.72 c gomory : 0.00 0 0 0 0 0
1718.74/1718.72 c strongcg : 0.00 0 0 0 0 0
1718.74/1718.72 c cmir : 0.00 0 0 0 0 0
1718.74/1718.72 c flowcover : 0.00 0 0 0 0 0
1718.74/1718.72 c clique : 0.00 0 0 0 0 0
1718.74/1718.72 c zerohalf : 0.00 0 0 0 0 0
1718.74/1718.72 c mcf : 0.00 0 0 0 0 0
1718.74/1718.72 c rapidlearning : 0.00 0 0 0 0 0
1718.74/1718.72 c Pricers : Time Calls Vars
1718.74/1718.72 c problem variables: 0.00 0 0
1718.74/1718.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1718.74/1718.72 c relpscost : 0.00 0 0 0 0 0 0
1718.74/1718.72 c pscost : 0.00 0 0 0 0 0 0
1718.74/1718.72 c inference : 5.68 860667 0 0 0 0 1721334
1718.74/1718.72 c mostinf : 0.00 0 0 0 0 0 0
1718.74/1718.72 c leastinf : 0.00 0 0 0 0 0 0
1718.74/1718.72 c fullstrong : 0.00 0 0 0 0 0 0
1718.74/1718.72 c allfullstrong : 0.00 0 0 0 0 0 0
1718.74/1718.72 c random : 0.00 0 0 0 0 0 0
1718.74/1718.72 c Primal Heuristics : Time Calls Found
1718.74/1718.72 c LP solutions : 0.00 - 0
1718.74/1718.72 c pseudo solutions : 0.02 - 4
1718.74/1718.72 c oneopt : 0.18 0 0
1718.74/1718.72 c trivial : 0.00 2 0
1718.74/1718.72 c simplerounding : 0.00 0 0
1718.74/1718.72 c zirounding : 0.00 0 0
1718.74/1718.72 c rounding : 0.00 0 0
1718.74/1718.72 c shifting : 0.00 0 0
1718.74/1718.72 c intshifting : 0.00 0 0
1718.74/1718.72 c twoopt : 0.00 0 0
1718.74/1718.72 c fixandinfer : 0.00 0 0
1718.74/1718.72 c feaspump : 0.00 0 0
1718.74/1718.72 c coefdiving : 0.00 0 0
1718.74/1718.72 c pscostdiving : 0.00 0 0
1718.74/1718.72 c fracdiving : 0.00 0 0
1718.74/1718.72 c veclendiving : 0.00 0 0
1718.74/1718.72 c intdiving : 0.00 0 0
1718.74/1718.72 c actconsdiving : 0.00 0 0
1718.74/1718.72 c objpscostdiving : 0.00 0 0
1718.74/1718.72 c rootsoldiving : 0.00 0 0
1718.74/1718.72 c linesearchdiving : 0.00 0 0
1718.74/1718.72 c guideddiving : 0.00 0 0
1718.74/1718.72 c octane : 0.00 0 0
1718.74/1718.72 c rens : 0.00 0 0
1718.74/1718.72 c rins : 0.00 0 0
1718.74/1718.72 c localbranching : 0.00 0 0
1718.74/1718.72 c mutation : 0.00 0 0
1718.74/1718.72 c crossover : 0.00 0 0
1718.74/1718.72 c dins : 0.00 0 0
1718.74/1718.72 c undercover : 0.00 0 0
1718.74/1718.72 c nlp : 0.16 0 0
1718.74/1718.72 c trysol : 0.15 1 0
1718.74/1718.72 c LP : Time Calls Iterations Iter/call Iter/sec
1718.74/1718.72 c primal LP : 0.00 0 0 0.00 -
1718.74/1718.72 c dual LP : 0.00 0 0 0.00 -
1718.74/1718.72 c lex dual LP : 0.00 0 0 0.00 -
1718.74/1718.72 c barrier LP : 0.00 0 0 0.00 -
1718.74/1718.72 c diving/probing LP: 0.00 0 0 0.00 -
1718.74/1718.72 c strong branching : 0.00 0 0 0.00 -
1718.74/1718.72 c (at root node) : - 0 0 0.00 -
1718.74/1718.72 c conflict analysis: 0.00 0 0 0.00 -
1718.74/1718.72 c B&B Tree :
1718.74/1718.72 c number of runs : 1
1718.74/1718.72 c nodes : 1379298
1718.74/1718.72 c nodes (total) : 1379298
1718.74/1718.72 c nodes left : 0
1718.74/1718.72 c max depth : 116
1718.74/1718.72 c max depth (total): 116
1718.74/1718.72 c backtracks : 545289 (39.5%)
1718.74/1718.72 c delayed cutoffs : 338244
1718.74/1718.72 c repropagations : 1595410 (7208855 domain reductions, 248038 cutoffs)
1718.74/1718.72 c avg switch length: 19.28
1718.74/1718.72 c switching time : 532.11
1718.74/1718.72 c Solution :
1718.74/1718.72 c Solutions found : 4 (4 improvements)
1718.74/1718.72 c First Solution : +1.64000000000000e+02 (in run 1, after 13859 nodes, 1.65 seconds, depth 84, found by <relaxation>)
1718.74/1718.72 c Primal Bound : +2.30000000000000e+01 (in run 1, after 799847 nodes, 711.01 seconds, depth 32, found by <relaxation>)
1718.74/1718.72 c Dual Bound : +2.30000000000000e+01
1718.74/1718.72 c Gap : 0.00 %
1718.74/1718.72 c Root Dual Bound : +0.00000000000000e+00
1718.74/1718.72 c Root Iterations : 0
1718.74/1718.77 c Time complete: 1718.81.