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-2693996-1277899386.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.00/0.02 c (0.0s) probing: 101/196 (51.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, 18 deleted constraints, 27 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 32 implications, 49 cliques
0.00/0.02 c presolved problem has 223 variables (196 bin, 0 int, 0 impl, 27 cont) and 112 constraints
0.00/0.02 c 27 constraints of type <indicator>
0.00/0.02 c 49 constraints of type <setppc>
0.00/0.02 c 27 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 | - | 730k| 0 | - | 223 | 112 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.10/1.13 c 0.9s| 10000 | 6410 | 0 | 0.0 |6244k| 116 | - | 223 |3151 | 0 | 0 | 0 |5471 | 0 | 0.000000e+00 | -- | Inf
1.39/1.44 o 187
1.39/1.44 c * 1.2s| 11729 | 7010 | 0 | 0.0 |7187k| 116 | - | 223 |4307 | 0 | 0 | 0 |7087 | 0 | 0.000000e+00 | 1.870000e+02 | Inf
1.39/1.44 o 170
1.39/1.44 c * 1.2s| 11730 | 7009 | 0 | 0.0 |7191k| 116 | - | 223 |4307 | 0 | 0 | 0 |7087 | 0 | 0.000000e+00 | 1.700000e+02 | Inf
1.49/1.52 o 164
1.49/1.52 c * 1.2s| 12635 | 7835 | 0 | 0.0 |7403k| 116 | - | 223 |3514 | 0 | 0 | 0 |7163 | 0 | 0.000000e+00 | 1.640000e+02 | Inf
1.49/1.56 o 81
1.49/1.56 c * 1.3s| 12985 | 7930 | 0 | 0.0 |7484k| 116 | - | 223 |3430 | 0 | 0 | 0 |7299 | 0 | 0.000000e+00 | 8.100000e+01 | Inf
2.59/2.60 c 2.2s| 20000 | 12253 | 0 | 0.0 | 10M| 116 | - | 223 |4331 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
4.59/4.67 c 4.0s| 30000 | 16947 | 0 | 0.0 | 14M| 116 | - | 223 |5693 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
7.59/7.68 c 6.8s| 40000 | 19042 | 0 | 0.0 | 19M| 116 | - | 223 |8768 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
9.90/9.99 c 8.8s| 50000 | 23960 | 0 | 0.0 | 21M| 116 | - | 223 |2205 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
12.00/12.08 c 10.6s| 60000 | 27293 | 0 | 0.0 | 25M| 116 | - | 223 |3373 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
14.50/14.59 c 12.8s| 70000 | 29616 | 0 | 0.0 | 28M| 116 | - | 223 |4638 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
18.09/18.13 c 16.1s| 80000 | 29509 | 0 | 0.0 | 31M| 116 | - | 223 |6080 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
22.19/22.27 c 19.9s| 90000 | 28110 | 0 | 0.0 | 33M| 116 | - | 223 |7451 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
26.59/26.67 c 24.0s|100000 | 26818 | 0 | 0.0 | 33M| 116 | - | 223 |8511 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
28.20/28.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.20/28.22 c 25.3s|110000 | 33264 | 0 | 0.0 | 35M| 116 | - | 223 |3126 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
30.09/30.17 c 27.0s|120000 | 38136 | 0 | 0.0 | 40M| 116 | - | 223 |5377 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
33.00/33.04 c 29.6s|130000 | 40861 | 0 | 0.0 | 44M| 116 | - | 223 |8198 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
38.10/38.16 c 34.4s|140000 | 39228 | 0 | 0.0 | 46M| 116 | - | 223 | 11k| 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
46.19/46.29 c 42.2s|150000 | 34724 | 0 | 0.0 | 44M| 116 | - | 223 | 14k| 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
55.39/55.45 c 51.0s|160000 | 29344 | 0 | 0.0 | 36M| 116 | - | 223 | 14k| 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
58.99/59.04 c 54.3s|170000 | 33037 | 0 | 0.0 | 37M| 116 | - | 223 |6169 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
62.79/62.80 c 57.8s|180000 | 34993 | 0 | 0.0 | 41M| 116 | - | 223 |8571 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
67.50/67.50 c 62.1s|190000 | 35822 | 0 | 0.0 | 44M| 116 | - | 223 | 11k| 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
73.00/73.05 c 67.3s|200000 | 35850 | 0 | 0.0 | 46M| 116 | - | 223 | 13k| 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
78.59/78.65 c 72.6s|210000 | 35868 | 0 | 0.0 | 48M| 116 | - | 223 | 16k| 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
87.80/87.82 c 81.4s|220000 | 31188 | 0 | 0.0 | 39M| 116 | - | 223 | 17k| 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
95.60/95.70 c 89.0s|230000 | 29402 | 0 | 0.0 | 39M| 116 | - | 223 | 12k| 0 | 0 | 0 | 229k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
104.09/104.13 c 97.0s|240000 | 26548 | 0 | 0.0 | 40M| 116 | - | 223 | 17k| 0 | 0 | 0 | 243k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
113.30/113.36 c 106s|250000 | 24100 | 0 | 0.0 | 40M| 116 | - | 223 | 21k| 0 | 0 | 0 | 256k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
122.70/122.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.70/122.78 c 115s|260000 | 21231 | 0 | 0.0 | 40M| 116 | - | 223 | 24k| 0 | 0 | 0 | 269k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
139.09/139.14 c 131s|270000 | 12600 | 0 | 0.0 | 30M| 116 | - | 223 | 26k| 0 | 0 | 0 | 285k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
144.80/144.80 c 136s|280000 | 15336 | 0 | 0.0 | 20M| 116 | - | 223 |4601 | 0 | 0 | 0 | 292k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
146.60/146.68 c 138s|290000 | 21304 | 0 | 0.0 | 25M| 116 | - | 223 |5290 | 0 | 0 | 0 | 296k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
150.60/150.69 c 142s|300000 | 21073 | 0 | 0.0 | 26M| 116 | - | 223 |5613 | 0 | 0 | 0 | 307k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
154.39/154.46 c 145s|310000 | 22349 | 0 | 0.0 | 25M| 116 | - | 223 |5287 | 0 | 0 | 0 | 316k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
156.10/156.13 c 146s|320000 | 29075 | 0 | 0.0 | 29M| 116 | - | 223 |4710 | 0 | 0 | 0 | 320k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
158.09/158.10 c 148s|330000 | 35085 | 0 | 0.0 | 33M| 116 | - | 223 |6250 | 0 | 0 | 0 | 325k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
160.79/160.86 c 151s|340000 | 39711 | 0 | 0.0 | 38M| 116 | - | 223 |7971 | 0 | 0 | 0 | 332k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
164.49/164.53 c 154s|350000 | 42633 | 0 | 0.0 | 42M| 116 | - | 223 |9113 | 0 | 0 | 0 | 340k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
168.79/168.86 c 158s|360000 | 44195 | 0 | 0.0 | 46M| 116 | - | 223 |9841 | 0 | 0 | 0 | 349k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
174.80/174.81 c 164s|370000 | 41708 | 0 | 0.0 | 43M| 116 | - | 223 |7646 | 0 | 0 | 0 | 362k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
177.20/177.20 c 166s|380000 | 47361 | 0 | 0.0 | 47M| 116 | - | 223 |7512 | 0 | 0 | 0 | 368k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
180.09/180.10 c 168s|390000 | 52021 | 0 | 0.0 | 51M| 116 | - | 223 |9142 | 0 | 0 | 0 | 375k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
183.40/183.50 c 172s|400000 | 56217 | 0 | 0.0 | 56M| 116 | - | 223 | 10k| 0 | 0 | 0 | 382k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
187.49/187.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
187.49/187.50 c 175s|410000 | 59868 | 0 | 0.0 | 60M| 116 | - | 223 | 12k| 0 | 0 | 0 | 390k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
192.20/192.28 c 180s|420000 | 62717 | 0 | 0.0 | 64M| 116 | - | 223 | 14k| 0 | 0 | 0 | 399k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
198.10/198.17 c 185s|430000 | 64524 | 0 | 0.0 | 68M| 116 | - | 223 | 15k| 0 | 0 | 0 | 408k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
204.89/204.98 c 192s|440000 | 65406 | 0 | 0.0 | 71M| 116 | - | 223 | 16k| 0 | 0 | 0 | 419k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
213.10/213.19 c 200s|450000 | 64860 | 0 | 0.0 | 74M| 116 | - | 223 | 16k| 0 | 0 | 0 | 431k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
222.10/222.13 c 208s|460000 | 63333 | 0 | 0.0 | 75M| 116 | - | 223 | 17k| 0 | 0 | 0 | 443k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
232.59/232.66 c 219s|470000 | 59859 | 0 | 0.0 | 74M| 116 | - | 223 | 18k| 0 | 0 | 0 | 457k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
240.49/240.60 c 226s|480000 | 59371 | 0 | 0.0 | 71M| 116 | - | 223 | 13k| 0 | 0 | 0 | 469k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
247.10/247.15 c 232s|490000 | 60767 | 0 | 0.0 | 74M| 116 | - | 223 | 13k| 0 | 0 | 0 | 480k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
256.00/256.02 c 241s|500000 | 59841 | 0 | 0.0 | 77M| 116 | - | 223 | 16k| 0 | 0 | 0 | 493k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
266.89/266.97 c 251s|510000 | 57726 | 0 | 0.0 | 80M| 116 | - | 223 | 18k| 0 | 0 | 0 | 507k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
280.30/280.39 c 265s|520000 | 54837 | 0 | 0.0 | 80M| 116 | - | 223 | 21k| 0 | 0 | 0 | 521k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
295.81/295.86 c 280s|530000 | 50649 | 0 | 0.0 | 79M| 116 | - | 223 | 22k| 0 | 0 | 0 | 537k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
314.50/314.56 c 298s|540000 | 44304 | 0 | 0.0 | 74M| 116 | - | 223 | 24k| 0 | 0 | 0 | 553k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
335.00/335.03 c 318s|550000 | 36108 | 0 | 0.0 | 62M| 116 | - | 223 | 22k| 0 | 0 | 0 | 571k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
356.50/356.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
356.50/356.52 c 339s|560000 | 26762 | 0 | 0.0 | 52M| 116 | - | 223 | 21k| 0 | 0 | 0 | 590k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
377.50/377.55 c 360s|570000 | 18211 | 0 | 0.0 | 32M| 116 | - | 223 | 15k| 0 | 0 | 0 | 607k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
389.10/389.19 c 371s|580000 | 15577 | 0 | 0.0 | 32M| 116 | - | 223 | 18k| 0 | 0 | 0 | 621k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
402.90/402.99 c 384s|590000 | 10586 | 0 | 0.0 | 27M| 116 | - | 223 | 14k| 0 | 0 | 0 | 637k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
409.60/409.62 c 391s|600000 | 11326 | 0 | 0.0 | 21M| 116 | - | 223 |5003 | 0 | 0 | 0 | 647k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
411.20/411.27 c 392s|610000 | 17999 | 0 | 0.0 | 24M| 116 | - | 223 |3715 | 0 | 0 | 0 | 650k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
412.80/412.81 c 393s|620000 | 24676 | 0 | 0.0 | 28M| 116 | - | 223 |4402 | 0 | 0 | 0 | 653k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
414.71/414.71 c 395s|630000 | 30511 | 0 | 0.0 | 33M| 116 | - | 223 |5465 | 0 | 0 | 0 | 657k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
417.40/417.49 c 398s|640000 | 34193 | 0 | 0.0 | 38M| 116 | - | 223 |7302 | 0 | 0 | 0 | 663k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
420.31/420.33 c 400s|650000 | 38410 | 0 | 0.0 | 42M| 116 | - | 223 |6114 | 0 | 0 | 0 | 669k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
422.60/422.60 c 402s|660000 | 43880 | 0 | 0.0 | 46M| 116 | - | 223 |6007 | 0 | 0 | 0 | 672k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
425.20/425.23 c 404s|670000 | 48462 | 0 | 0.0 | 51M| 116 | - | 223 |7054 | 0 | 0 | 0 | 677k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
428.20/428.24 c 407s|680000 | 52476 | 0 | 0.0 | 55M| 116 | - | 223 |8146 | 0 | 0 | 0 | 682k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
431.90/431.96 c 411s|690000 | 55183 | 0 | 0.0 | 59M| 116 | - | 223 |9314 | 0 | 0 | 0 | 689k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
436.30/436.32 c 415s|700000 | 56949 | 0 | 0.0 | 63M| 116 | - | 223 | 11k| 0 | 0 | 0 | 696k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
441.60/441.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
441.60/441.67 c 420s|710000 | 57295 | 0 | 0.0 | 66M| 116 | - | 223 | 13k| 0 | 0 | 0 | 705k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
447.50/447.52 c 425s|720000 | 58248 | 0 | 0.0 | 67M| 116 | - | 223 |8345 | 0 | 0 | 0 | 712k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
452.60/452.62 c 430s|730000 | 58973 | 0 | 0.0 | 70M| 116 | - | 223 |9440 | 0 | 0 | 0 | 719k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
458.40/458.44 c 435s|740000 | 59241 | 0 | 0.0 | 73M| 116 | - | 223 | 11k| 0 | 0 | 0 | 727k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
465.21/465.28 c 442s|750000 | 58775 | 0 | 0.0 | 75M| 116 | - | 223 | 13k| 0 | 0 | 0 | 736k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
473.70/473.75 c 450s|760000 | 57007 | 0 | 0.0 | 76M| 116 | - | 223 | 14k| 0 | 0 | 0 | 745k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
483.40/483.46 c 459s|770000 | 54433 | 0 | 0.0 | 77M| 116 | - | 223 | 17k| 0 | 0 | 0 | 756k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
494.71/494.78 c 470s|780000 | 51364 | 0 | 0.0 | 74M| 116 | - | 223 | 14k| 0 | 0 | 0 | 766k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
508.00/508.00 c 483s|790000 | 44574 | 0 | 0.0 | 69M| 116 | - | 223 | 20k| 0 | 0 | 0 | 778k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
516.00/516.08 c 491s|800000 | 46070 | 0 | 0.0 | 66M| 116 | - | 223 | 15k| 0 | 0 | 0 | 785k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
522.10/522.10 c 496s|810000 | 46603 | 0 | 0.0 | 62M| 116 | - | 223 | 10k| 0 | 0 | 0 | 793k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
524.81/524.86 c 499s|820000 | 52556 | 0 | 0.0 | 66M| 116 | - | 223 | 10k| 0 | 0 | 0 | 798k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
528.80/528.80 c 503s|830000 | 56520 | 0 | 0.0 | 71M| 116 | - | 223 | 13k| 0 | 0 | 0 | 805k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
534.70/534.78 c 508s|840000 | 58159 | 0 | 0.0 | 72M| 116 | - | 223 |9058 | 0 | 0 | 0 | 814k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
539.61/539.67 c 513s|850000 | 58251 | 0 | 0.0 | 73M| 116 | - | 223 |7974 | 0 | 0 | 0 | 823k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
543.50/543.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
543.50/543.56 c 516s|860000 | 61122 | 0 | 0.0 | 75M| 116 | - | 223 |9486 | 0 | 0 | 0 | 831k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
547.61/547.69 c 520s|870000 | 64843 | 0 | 0.0 | 80M| 116 | - | 223 | 12k| 0 | 0 | 0 | 839k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
553.21/553.23 c 525s|880000 | 67356 | 0 | 0.0 | 84M| 116 | - | 223 | 15k| 0 | 0 | 0 | 848k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
560.80/560.89 c 533s|890000 | 68077 | 0 | 0.0 | 88M| 116 | - | 223 | 18k| 0 | 0 | 0 | 859k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
570.41/570.43 c 542s|900000 | 67033 | 0 | 0.0 | 91M| 116 | - | 223 | 20k| 0 | 0 | 0 | 871k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
581.01/581.00 c 552s|910000 | 65310 | 0 | 0.0 | 87M| 116 | - | 223 |8616 | 0 | 0 | 0 | 883k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
586.81/586.89 c 558s|920000 | 64838 | 0 | 0.0 | 88M| 116 | - | 223 | 10k| 0 | 0 | 0 | 894k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
593.41/593.40 c 564s|930000 | 65560 | 0 | 0.0 | 92M| 116 | - | 223 | 15k| 0 | 0 | 0 | 906k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
604.51/604.52 c 575s|940000 | 63404 | 0 | 0.0 | 95M| 116 | - | 223 | 20k| 0 | 0 | 0 | 920k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
620.31/620.38 c 590s|950000 | 59100 | 0 | 0.0 | 95M| 116 | - | 223 | 26k| 0 | 0 | 0 | 937k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
641.61/641.69 c 611s|960000 | 51912 | 0 | 0.0 | 85M| 116 | - | 223 | 16k| 0 | 0 | 0 | 953k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
647.41/647.43 c 616s|970000 | 55214 | 0 | 0.0 | 85M| 116 | - | 223 | 14k| 0 | 0 | 0 | 960k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
663.41/663.46 c 632s|980000 | 45973 | 0 | 0.0 | 73M| 116 | - | 223 | 20k| 0 | 0 | 0 | 980k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
668.91/668.94 c 637s|990000 | 50713 | 0 | 0.0 | 74M| 116 | - | 223 | 14k| 0 | 0 | 0 | 987k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
674.71/674.79 c 643s| 1000k| 53788 | 0 | 0.0 | 79M| 116 | - | 223 | 18k| 0 | 0 | 0 | 996k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
683.80/683.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
683.80/683.89 c 652s| 1010k| 54615 | 0 | 0.0 | 79M| 116 | - | 223 | 20k| 0 | 0 | 0 |1007k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
692.21/692.28 c 660s| 1020k| 57561 | 0 | 0.0 | 83M| 116 | - | 223 | 21k| 0 | 0 | 0 |1017k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
704.11/704.11 c 671s| 1030k| 57662 | 0 | 0.0 | 87M| 116 | - | 223 | 25k| 0 | 0 | 0 |1029k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
719.50/719.53 c 686s| 1040k| 55515 | 0 | 0.0 | 90M| 116 | - | 223 | 32k| 0 | 0 | 0 |1043k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
738.91/738.94 c 705s| 1050k| 53436 | 0 | 0.0 | 86M| 116 | - | 223 | 23k| 0 | 0 | 0 |1057k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
753.81/753.82 c 720s| 1060k| 50988 | 0 | 0.0 | 84M| 116 | - | 223 | 21k| 0 | 0 | 0 |1071k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
771.71/771.76 c 738s| 1070k| 47537 | 0 | 0.0 | 85M| 116 | - | 223 | 28k| 0 | 0 | 0 |1088k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
799.72/799.72 c 765s| 1080k| 39410 | 0 | 0.0 | 77M| 116 | - | 223 | 37k| 0 | 0 | 0 |1108k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
823.71/823.76 c 789s| 1090k| 33338 | 0 | 0.0 | 63M| 116 | - | 223 | 22k| 0 | 0 | 0 |1125k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
829.11/829.15 c 794s| 1100k| 37731 | 0 | 0.0 | 60M| 116 | - | 223 | 11k| 0 | 0 | 0 |1131k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
831.42/831.50 c 796s| 1110k| 44443 | 0 | 0.0 | 63M| 116 | - | 223 |9337 | 0 | 0 | 0 |1136k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
834.41/834.44 c 799s| 1120k| 49574 | 0 | 0.0 | 68M| 116 | - | 223 | 10k| 0 | 0 | 0 |1142k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
838.61/838.68 c 803s| 1130k| 52352 | 0 | 0.0 | 73M| 116 | - | 223 | 14k| 0 | 0 | 0 |1151k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
843.02/843.00 c 807s| 1140k| 56620 | 0 | 0.0 | 75M| 116 | - | 223 | 12k| 0 | 0 | 0 |1158k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
847.61/847.65 c 811s| 1150k| 60270 | 0 | 0.0 | 80M| 116 | - | 223 | 13k| 0 | 0 | 0 |1166k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
853.21/853.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
853.21/853.29 c 816s| 1160k| 62937 | 0 | 0.0 | 84M| 116 | - | 223 | 15k| 0 | 0 | 0 |1175k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
860.02/860.06 c 823s| 1170k| 64514 | 0 | 0.0 | 87M| 116 | - | 223 | 17k| 0 | 0 | 0 |1185k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
868.81/868.82 c 831s| 1180k| 63887 | 0 | 0.0 | 90M| 116 | - | 223 | 22k| 0 | 0 | 0 |1197k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
880.21/880.29 c 842s| 1190k| 63428 | 0 | 0.0 | 91M| 116 | - | 223 | 19k| 0 | 0 | 0 |1210k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
894.22/894.29 c 856s| 1200k| 61461 | 0 | 0.0 | 94M| 116 | - | 223 | 22k| 0 | 0 | 0 |1224k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
909.72/909.75 c 871s| 1210k| 58579 | 0 | 0.0 | 94M| 116 | - | 223 | 25k| 0 | 0 | 0 |1238k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
929.11/929.13 c 890s| 1220k| 53683 | 0 | 0.0 | 92M| 116 | - | 223 | 30k| 0 | 0 | 0 |1254k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
958.32/958.35 c 919s| 1230k| 42527 | 0 | 0.0 | 78M| 116 | - | 223 | 32k| 0 | 0 | 0 |1273k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
972.02/972.07 c 932s| 1240k| 41646 | 0 | 0.0 | 68M| 116 | - | 223 | 10k| 0 | 0 | 0 |1284k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
978.02/978.03 c 938s| 1250k| 43337 | 0 | 0.0 | 69M| 116 | - | 223 |9081 | 0 | 0 | 0 |1294k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
982.81/982.80 c 942s| 1260k| 46098 | 0 | 0.0 | 71M| 116 | - | 223 |9431 | 0 | 0 | 0 |1302k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
987.82/987.88 c 947s| 1270k| 49074 | 0 | 0.0 | 74M| 116 | - | 223 | 12k| 0 | 0 | 0 |1311k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
993.22/993.28 c 952s| 1280k| 52461 | 0 | 0.0 | 79M| 116 | - | 223 | 17k| 0 | 0 | 0 |1320k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1002.02/1002.02 c 961s| 1290k| 52528 | 0 | 0.0 | 80M| 116 | - | 223 | 14k| 0 | 0 | 0 |1331k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1009.12/1009.17 c 967s| 1300k| 55131 | 0 | 0.0 | 85M| 116 | - | 223 | 19k| 0 | 0 | 0 |1342k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1018.82/1018.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1018.82/1018.82 c 977s| 1310k| 56638 | 0 | 0.0 | 89M| 116 | - | 223 | 24k| 0 | 0 | 0 |1353k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1033.32/1033.37 c 991s| 1320k| 55213 | 0 | 0.0 | 92M| 116 | - | 223 | 30k| 0 | 0 | 0 |1367k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1042.42/1042.47 c 1000s| 1330k| 57962 | 0 | 0.0 | 88M| 116 | - | 223 | 11k| 0 | 0 | 0 |1375k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1052.11/1052.15 c 1009s| 1340k| 56412 | 0 | 0.0 | 92M| 116 | - | 223 | 20k| 0 | 0 | 0 |1391k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1070.12/1070.17 c 1027s| 1350k| 51411 | 0 | 0.0 | 90M| 116 | - | 223 | 28k| 0 | 0 | 0 |1409k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1079.03/1079.03 c 1035s| 1360k| 54626 | 0 | 0.0 | 85M| 116 | - | 223 | 11k| 0 | 0 | 0 |1416k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1082.62/1082.60 c 1038s| 1370k| 59397 | 0 | 0.0 | 88M| 116 | - | 223 | 10k| 0 | 0 | 0 |1422k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1089.12/1089.19 c 1045s| 1380k| 59020 | 0 | 0.0 | 90M| 116 | - | 223 | 17k| 0 | 0 | 0 |1435k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1098.42/1098.42 c 1054s| 1390k| 58832 | 0 | 0.0 | 85M| 116 | - | 223 | 11k| 0 | 0 | 0 |1447k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1103.82/1103.83 c 1059s| 1400k| 61417 | 0 | 0.0 | 87M| 116 | - | 223 | 13k| 0 | 0 | 0 |1455k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1110.52/1110.58 c 1065s| 1410k| 62405 | 0 | 0.0 | 91M| 116 | - | 223 | 15k| 0 | 0 | 0 |1465k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1118.52/1118.54 c 1073s| 1420k| 62333 | 0 | 0.0 | 94M| 116 | - | 223 | 18k| 0 | 0 | 0 |1477k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1128.82/1128.85 c 1083s| 1430k| 61126 | 0 | 0.0 | 95M| 116 | - | 223 | 19k| 0 | 0 | 0 |1490k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1140.42/1140.42 c 1094s| 1440k| 59528 | 0 | 0.0 | 96M| 116 | - | 223 | 20k| 0 | 0 | 0 |1502k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1153.02/1153.05 c 1106s| 1450k| 56688 | 0 | 0.0 | 96M| 116 | - | 223 | 23k| 0 | 0 | 0 |1515k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1167.72/1167.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1167.72/1167.71 c 1121s| 1460k| 53450 | 0 | 0.0 | 91M| 116 | - | 223 | 20k| 0 | 0 | 0 |1529k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1179.23/1179.24 c 1132s| 1470k| 49897 | 0 | 0.0 | 86M| 116 | - | 223 | 19k| 0 | 0 | 0 |1544k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1189.32/1189.38 c 1142s| 1480k| 49051 | 0 | 0.0 | 80M| 116 | - | 223 | 13k| 0 | 0 | 0 |1555k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1197.02/1197.08 c 1149s| 1490k| 49518 | 0 | 0.0 | 80M| 116 | - | 223 | 10k| 0 | 0 | 0 |1566k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1206.03/1206.02 c 1157s| 1500k| 47169 | 0 | 0.0 | 78M| 116 | - | 223 | 14k| 0 | 0 | 0 |1577k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1210.62/1210.68 c 1162s| 1510k| 51601 | 0 | 0.0 | 78M| 116 | - | 223 | 10k| 0 | 0 | 0 |1583k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1214.62/1214.62 c 1165s| 1520k| 56064 | 0 | 0.0 | 83M| 116 | - | 223 | 12k| 0 | 0 | 0 |1590k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1221.82/1221.80 c 1172s| 1530k| 56771 | 0 | 0.0 | 86M| 116 | - | 223 | 17k| 0 | 0 | 0 |1601k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1231.72/1231.76 c 1182s| 1540k| 54247 | 0 | 0.0 | 84M| 116 | - | 223 | 15k| 0 | 0 | 0 |1613k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1240.03/1240.01 c 1190s| 1550k| 53061 | 0 | 0.0 | 81M| 116 | - | 223 | 12k| 0 | 0 | 0 |1624k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1244.23/1244.26 c 1194s| 1560k| 57414 | 0 | 0.0 | 85M| 116 | - | 223 | 13k| 0 | 0 | 0 |1632k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1250.52/1250.59 c 1200s| 1570k| 59831 | 0 | 0.0 | 89M| 116 | - | 223 | 17k| 0 | 0 | 0 |1642k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1259.83/1259.82 c 1208s| 1580k| 60343 | 0 | 0.0 | 93M| 116 | - | 223 | 21k| 0 | 0 | 0 |1654k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1272.73/1272.79 c 1221s| 1590k| 58349 | 0 | 0.0 | 95M| 116 | - | 223 | 25k| 0 | 0 | 0 |1668k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1289.52/1289.54 c 1237s| 1600k| 53726 | 0 | 0.0 | 89M| 116 | - | 223 | 19k| 0 | 0 | 0 |1683k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1300.22/1300.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1300.22/1300.26 c 1248s| 1610k| 53499 | 0 | 0.0 | 91M| 116 | - | 223 | 22k| 0 | 0 | 0 |1696k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1316.92/1316.91 c 1264s| 1620k| 50166 | 0 | 0.0 | 92M| 116 | - | 223 | 27k| 0 | 0 | 0 |1712k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1338.12/1338.15 c 1285s| 1630k| 45124 | 0 | 0.0 | 83M| 116 | - | 223 | 23k| 0 | 0 | 0 |1728k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1353.43/1353.43 c 1299s| 1640k| 41530 | 0 | 0.0 | 71M| 116 | - | 223 | 13k| 0 | 0 | 0 |1742k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1356.63/1356.66 c 1302s| 1650k| 47349 | 0 | 0.0 | 74M| 116 | - | 223 | 10k| 0 | 0 | 0 |1747k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1360.23/1360.23 c 1306s| 1660k| 51245 | 0 | 0.0 | 74M| 116 | - | 223 |6927 | 0 | 0 | 0 |1754k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1361.92/1361.95 c 1307s| 1670k| 58532 | 0 | 0.0 | 78M| 116 | - | 223 |7537 | 0 | 0 | 0 |1758k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1364.92/1364.90 c 1310s| 1680k| 63801 | 0 | 0.0 | 83M| 116 | - | 223 | 10k| 0 | 0 | 0 |1765k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1369.63/1369.60 c 1314s| 1690k| 67177 | 0 | 0.0 | 88M| 116 | - | 223 | 12k| 0 | 0 | 0 |1773k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1375.33/1375.36 c 1320s| 1700k| 69864 | 0 | 0.0 | 91M| 116 | - | 223 | 13k| 0 | 0 | 0 |1782k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1381.42/1381.48 c 1325s| 1710k| 71471 | 0 | 0.0 | 94M| 116 | - | 223 | 13k| 0 | 0 | 0 |1792k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1385.63/1385.68 c 1329s| 1720k| 75254 | 0 | 0.0 | 96M| 116 | - | 223 | 10k| 0 | 0 | 0 |1799k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1392.23/1392.24 c 1335s| 1730k| 75521 | 0 | 0.0 | 99M| 116 | - | 223 | 13k| 0 | 0 | 0 |1812k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1397.03/1397.08 c 1340s| 1740k| 79397 | 0 | 0.0 | 100M| 116 | - | 223 | 10k| 0 | 0 | 0 |1820k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1400.83/1400.88 c 1343s| 1750k| 84241 | 0 | 0.0 | 105M| 116 | - | 223 | 12k| 0 | 0 | 0 |1827k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1405.92/1405.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1405.92/1405.90 c 1348s| 1760k| 87919 | 0 | 0.0 | 110M| 116 | - | 223 | 14k| 0 | 0 | 0 |1835k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1411.93/1411.98 c 1354s| 1770k| 90696 | 0 | 0.0 | 114M| 116 | - | 223 | 16k| 0 | 0 | 0 |1844k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1420.33/1420.36 c 1362s| 1780k| 91613 | 0 | 0.0 | 118M| 116 | - | 223 | 19k| 0 | 0 | 0 |1855k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1431.62/1431.67 c 1373s| 1790k| 90465 | 0 | 0.0 | 121M| 116 | - | 223 | 22k| 0 | 0 | 0 |1869k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1445.52/1445.59 c 1386s| 1800k| 89118 | 0 | 0.0 | 122M| 116 | - | 223 | 25k| 0 | 0 | 0 |1882k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1460.84/1460.85 c 1401s| 1810k| 86130 | 0 | 0.0 | 122M| 116 | - | 223 | 27k| 0 | 0 | 0 |1897k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1468.12/1468.16 c 1408s| 1820k| 90498 | 0 | 0.0 | 122M| 116 | - | 223 | 16k| 0 | 0 | 0 |1905k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1473.53/1473.59 c 1413s| 1830k| 94104 | 0 | 0.0 | 125M| 116 | - | 223 | 17k| 0 | 0 | 0 |1913k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1480.73/1480.75 c 1420s| 1840k| 95442 | 0 | 0.0 | 128M| 116 | - | 223 | 20k| 0 | 0 | 0 |1924k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1493.73/1493.73 c 1433s| 1850k| 92829 | 0 | 0.0 | 124M| 116 | - | 223 | 13k| 0 | 0 | 0 |1939k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1501.23/1501.25 c 1440s| 1860k| 94401 | 0 | 0.0 | 128M| 116 | - | 223 | 15k| 0 | 0 | 0 |1950k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1513.53/1513.57 c 1452s| 1870k| 92726 | 0 | 0.0 | 131M| 116 | - | 223 | 21k| 0 | 0 | 0 |1963k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1530.53/1530.57 c 1468s| 1880k| 88893 | 0 | 0.0 | 131M| 116 | - | 223 | 27k| 0 | 0 | 0 |1979k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1554.13/1554.19 c 1492s| 1890k| 82978 | 0 | 0.0 | 127M| 116 | - | 223 | 34k| 0 | 0 | 0 |1996k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1574.33/1574.39 c 1511s| 1900k| 81723 | 0 | 0.0 | 124M| 116 | - | 223 | 29k| 0 | 0 | 0 |2010k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1587.34/1587.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1587.34/1587.35 c 1524s| 1910k| 83409 | 0 | 0.0 | 126M| 116 | - | 223 | 30k| 0 | 0 | 0 |2021k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1603.43/1603.41 c 1540s| 1920k| 83606 | 0 | 0.0 | 129M| 116 | - | 223 | 32k| 0 | 0 | 0 |2033k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1622.13/1622.10 c 1558s| 1930k| 82392 | 0 | 0.0 | 130M| 116 | - | 223 | 33k| 0 | 0 | 0 |2047k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1645.33/1645.31 c 1581s| 1940k| 78073 | 0 | 0.0 | 125M| 116 | - | 223 | 25k| 0 | 0 | 0 |2063k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1671.84/1671.80 c 1607s| 1950k| 68900 | 0 | 0.0 | 114M| 116 | - | 223 | 31k| 0 | 0 | 0 |2082k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1694.64/1694.64 c 1629s| 1960k| 65873 | 0 | 0.0 | 113M| 116 | - | 223 | 36k| 0 | 0 | 0 |2099k| 0 | 4.100000e+01 | 8.100000e+01 | 97.56%
1722.03/1722.08 c 1656s| 1970k| 61231 | 0 | 0.0 | 111M| 116 | - | 223 | 43k| 0 | 0 | 0 |2116k| 0 | 4.100000e+01 | 8.100000e+01 | 97.56%
1753.14/1753.15 c 1687s| 1980k| 56154 | 0 | 0.0 | 100M| 116 | - | 223 | 21k| 0 | 0 | 0 |2131k| 0 | 4.100000e+01 | 8.100000e+01 | 97.56%
1771.23/1771.22 c 1704s| 1990k| 49721 | 0 | 0.0 | 92M| 116 | - | 223 | 25k| 0 | 0 | 0 |2147k| 0 | 4.100000e+01 | 8.100000e+01 | 97.56%
1786.53/1786.57 c 1719s| 2000k| 45962 | 0 | 0.0 | 84M| 116 | - | 223 | 16k| 0 | 0 | 0 |2161k| 0 | 4.500000e+01 | 8.100000e+01 | 80.00%
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1732.29
1800.04/1800.00 c Solving Nodes : 2009948
1800.04/1800.00 c Primal Bound : +8.10000000000000e+01 (4 solutions)
1800.04/1800.00 c Dual Bound : +4.60000000000000e+01
1800.04/1800.00 c Gap : 76.09 %
1800.04/1800.00 s SATISFIABLE
1800.04/1800.00 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148
1800.04/1800.00 v -x147 -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1800.04/1800.00 v -x126 -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106
1800.04/1800.00 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
1800.04/1800.00 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
1800.04/1800.00 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
1800.04/1800.00 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
1800.04/1800.00 v -x4 -x3 -x2 x1
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time : 1732.29
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-2693996-1277899386.wbo
1800.04/1800.00 c Variables : 225 (197 binary, 0 integer, 0 implicit integer, 28 continuous)
1800.04/1800.00 c Constraints : 130 initial, 130 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-2693996-1277899386.wbo
1800.04/1800.00 c Variables : 223 (196 binary, 0 integer, 0 implicit integer, 27 continuous)
1800.04/1800.00 c Constraints : 112 initial, 47021 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.04/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.00 0 0 0 27 0 17 1 0
1800.04/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c root node : - 5 - - 10 - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 27 0 6113788 0 1203943 516 297451 0 0 0
1800.04/1800.00 c setppc : 49 0 6502704 0 1276662 173751 13815458 0 0 0
1800.04/1800.00 c linear : 27 0 6328951 0 1276660 403140 24020113 0 0 0
1800.04/1800.00 c logicor : 9+ 0 3526246 0 1276622 485263 2160013 0 0 0
1800.04/1800.00 c bounddisjunction : 0+ 0 54258 0 0 0 1026 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 1276664 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c indicator : 1.07 0.00 0.55 0.00 0.52
1800.04/1800.00 c setppc : 35.34 0.00 29.09 0.00 6.25
1800.04/1800.00 c linear : 90.19 0.00 90.08 0.00 0.11
1800.04/1800.00 c logicor : 814.94 0.00 814.20 0.00 0.74
1800.04/1800.00 c bounddisjunction : 0.04 0.00 0.04 0.00 0.00
1800.04/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.00 c vbounds : 0.00 2 0 0
1800.04/1800.00 c rootredcost : 0.00 0 0 0
1800.04/1800.00 c pseudoobj : 5.55 6503181 159 207860
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 45.40 1062313 1062145 5441567 20.9 138524 15.0 -
1800.04/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.00 15 15 41 8.5 6 21.2 -
1800.04/1800.00 c applied globally : - - - 2166797 16.3 - - -
1800.04/1800.00 c applied locally : - - - 9278 34.0 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.00 c redcost : 0.00 0 0 0 0 0
1800.04/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.00 c cmir : 0.00 0 0 0 0 0
1800.04/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.00 c clique : 0.00 0 0 0 0 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 8.38 1276660 0 0 0 0 2553320
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.00 - 0
1800.04/1800.00 c pseudo solutions : 0.00 - 4
1800.04/1800.00 c oneopt : 0.13 0 0
1800.04/1800.00 c trivial : 0.00 2 0
1800.04/1800.00 c simplerounding : 0.00 0 0
1800.04/1800.00 c zirounding : 0.00 0 0
1800.04/1800.00 c rounding : 0.00 0 0
1800.04/1800.00 c shifting : 0.00 0 0
1800.04/1800.00 c intshifting : 0.00 0 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c feaspump : 0.00 0 0
1800.04/1800.00 c coefdiving : 0.00 0 0
1800.04/1800.00 c pscostdiving : 0.00 0 0
1800.04/1800.00 c fracdiving : 0.00 0 0
1800.04/1800.00 c veclendiving : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c objpscostdiving : 0.00 0 0
1800.04/1800.00 c rootsoldiving : 0.00 0 0
1800.04/1800.00 c linesearchdiving : 0.00 0 0
1800.04/1800.00 c guideddiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.00 0 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c crossover : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c undercover : 0.00 0 0
1800.04/1800.00 c nlp : 0.01 0 0
1800.04/1800.00 c trysol : 0.00 1 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.00 c (at root node) : - 0 0 0.00 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 2009948
1800.04/1800.00 c nodes (total) : 2009948
1800.04/1800.00 c nodes left : 42030
1800.04/1800.00 c max depth : 116
1800.04/1800.00 c max depth (total): 116
1800.04/1800.00 c backtracks : 778021 (38.7%)
1800.04/1800.00 c delayed cutoffs : 501191
1800.04/1800.00 c repropagations : 2537085 (10939403 domain reductions, 329560 cutoffs)
1800.04/1800.00 c avg switch length: 18.44
1800.04/1800.00 c switching time : 579.04
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 4 (4 improvements)
1800.04/1800.00 c First Solution : +1.87000000000000e+02 (in run 1, after 11729 nodes, 1.19 seconds, depth 77, found by <relaxation>)
1800.04/1800.00 c Primal Bound : +8.10000000000000e+01 (in run 1, after 12985 nodes, 1.27 seconds, depth 72, found by <relaxation>)
1800.04/1800.00 c Dual Bound : +4.60000000000000e+01
1800.04/1800.00 c Gap : 76.09 %
1800.04/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Root Iterations : 0
1800.14/1800.14 c Time complete: 1800.18.