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-2693960-1277898571.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.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 | - | 730k| 0 | - | 223 | 112 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.89/0.93 c 0.9s| 10000 | 7166 | 0 | 0.0 |6074k| 116 | - | 223 |2630 | 0 | 0 | 0 |4428 | 0 | 0.000000e+00 | -- | Inf
1.79/1.82 o 228
1.79/1.82 c * 1.7s| 15338 | 9526 | 0 | 0.0 |9198k| 116 | - | 223 |4923 | 0 | 0 | 0 |9032 | 0 | 0.000000e+00 | 2.280000e+02 | Inf
1.79/1.87 o 111
1.79/1.87 c * 1.8s| 15915 | 10047 | 0 | 0.0 |9397k| 116 | - | 223 |4486 | 0 | 0 | 0 |9081 | 0 | 0.000000e+00 | 1.110000e+02 | Inf
1.89/1.91 o 81
1.89/1.91 c * 1.8s| 16304 | 10355 | 0 | 0.0 |9326k| 116 | - | 223 |3686 | 0 | 0 | 0 |9115 | 0 | 0.000000e+00 | 8.100000e+01 | Inf
2.29/2.35 c 2.2s| 20000 | 12740 | 0 | 0.0 | 10M| 116 | - | 223 |1756 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
3.79/3.87 c 3.6s| 30000 | 18123 | 0 | 0.0 | 14M| 116 | - | 223 |3343 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
5.69/5.74 c 5.4s| 40000 | 22591 | 0 | 0.0 | 19M| 116 | - | 223 |4463 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
8.09/8.13 c 7.7s| 50000 | 25496 | 0 | 0.0 | 23M| 116 | - | 223 |5818 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
10.90/10.90 c 10.4s| 60000 | 27585 | 0 | 0.0 | 27M| 116 | - | 223 |8760 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
12.40/12.43 c 11.8s| 70000 | 33997 | 0 | 0.0 | 29M| 116 | - | 223 |1877 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
14.09/14.13 c 13.4s| 80000 | 38943 | 0 | 0.0 | 34M| 116 | - | 223 |5683 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
17.69/17.77 c 17.0s| 90000 | 41738 | 0 | 0.0 | 38M| 116 | - | 223 |9848 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
22.49/22.58 c 21.7s|100000 | 43395 | 0 | 0.0 | 42M| 116 | - | 223 | 12k| 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
28.10/28.16 c 27.2s|110000 | 44354 | 0 | 0.0 | 45M| 116 | - | 223 | 14k| 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
34.49/34.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.49/34.50 c 33.4s|120000 | 44503 | 0 | 0.0 | 49M| 116 | - | 223 | 17k| 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
41.49/41.57 c 40.4s|130000 | 44643 | 0 | 0.0 | 52M| 116 | - | 223 | 20k| 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
49.70/49.75 c 48.4s|140000 | 44054 | 0 | 0.0 | 54M| 116 | - | 223 | 23k| 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
57.99/58.07 c 56.6s|150000 | 44722 | 0 | 0.0 | 51M| 116 | - | 223 | 11k| 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
59.79/59.89 c 58.4s|160000 | 51615 | 0 | 0.0 | 53M| 116 | - | 223 |3671 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
61.79/61.80 c 60.2s|170000 | 57525 | 0 | 0.0 | 58M| 116 | - | 223 |4589 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
63.89/63.94 c 62.3s|180000 | 62955 | 0 | 0.0 | 62M| 116 | - | 223 |5570 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
66.49/66.59 c 64.8s|190000 | 67254 | 0 | 0.0 | 66M| 116 | - | 223 |6276 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
69.69/69.79 c 67.9s|200000 | 70158 | 0 | 0.0 | 69M| 116 | - | 223 |6910 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
74.59/74.62 c 72.7s|210000 | 69405 | 0 | 0.0 | 71M| 116 | - | 223 |8279 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
81.79/81.89 c 79.8s|220000 | 66265 | 0 | 0.0 | 72M| 116 | - | 223 | 14k| 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
92.40/92.41 c 90.2s|230000 | 61610 | 0 | 0.0 | 71M| 116 | - | 223 | 20k| 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
105.80/105.80 c 104s|240000 | 56947 | 0 | 0.0 | 68M| 116 | - | 223 | 26k| 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
121.00/121.04 c 119s|250000 | 51304 | 0 | 0.0 | 62M| 116 | - | 223 | 31k| 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
126.90/126.95 c 124s|260000 | 56198 | 0 | 0.0 | 59M| 116 | - | 223 |8590 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
130.10/130.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
130.10/130.14 c 128s|270000 | 60280 | 0 | 0.0 | 62M| 116 | - | 223 |6701 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
133.39/133.44 c 131s|280000 | 63832 | 0 | 0.0 | 65M| 116 | - | 223 |7263 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
137.00/137.06 c 134s|290000 | 66848 | 0 | 0.0 | 68M| 116 | - | 223 |8051 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
141.09/141.17 c 138s|300000 | 69004 | 0 | 0.0 | 71M| 116 | - | 223 |9065 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
145.80/145.84 c 143s|310000 | 70514 | 0 | 0.0 | 74M| 116 | - | 223 | 10k| 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
151.00/151.00 c 148s|320000 | 71479 | 0 | 0.0 | 76M| 116 | - | 223 | 11k| 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
156.20/156.24 c 153s|330000 | 72504 | 0 | 0.0 | 78M| 116 | - | 223 | 11k| 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
161.90/161.92 c 159s|340000 | 72807 | 0 | 0.0 | 79M| 116 | - | 223 | 12k| 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
168.30/168.37 c 165s|350000 | 71991 | 0 | 0.0 | 79M| 116 | - | 223 | 13k| 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
177.10/177.18 c 174s|360000 | 67429 | 0 | 0.0 | 74M| 116 | - | 223 | 15k| 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
187.01/187.06 c 183s|370000 | 63957 | 0 | 0.0 | 66M| 116 | - | 223 | 13k| 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
194.30/194.32 c 190s|380000 | 63562 | 0 | 0.0 | 66M| 116 | - | 223 | 12k| 0 | 0 | 0 | 393k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
201.89/201.96 c 198s|390000 | 62452 | 0 | 0.0 | 68M| 116 | - | 223 | 13k| 0 | 0 | 0 | 405k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
210.19/210.23 c 206s|400000 | 61179 | 0 | 0.0 | 69M| 116 | - | 223 | 15k| 0 | 0 | 0 | 418k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
219.09/219.19 c 215s|410000 | 59604 | 0 | 0.0 | 71M| 116 | - | 223 | 17k| 0 | 0 | 0 | 431k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
229.10/229.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
229.10/229.12 c 225s|420000 | 57373 | 0 | 0.0 | 71M| 116 | - | 223 | 19k| 0 | 0 | 0 | 444k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
240.60/240.61 c 236s|430000 | 54322 | 0 | 0.0 | 71M| 116 | - | 223 | 21k| 0 | 0 | 0 | 458k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
253.20/253.23 c 249s|440000 | 50888 | 0 | 0.0 | 70M| 116 | - | 223 | 22k| 0 | 0 | 0 | 472k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
266.30/266.34 c 262s|450000 | 46886 | 0 | 0.0 | 69M| 116 | - | 223 | 24k| 0 | 0 | 0 | 486k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
280.80/280.80 c 276s|460000 | 41829 | 0 | 0.0 | 64M| 116 | - | 223 | 24k| 0 | 0 | 0 | 499k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
300.70/300.73 c 296s|470000 | 33088 | 0 | 0.0 | 56M| 116 | - | 223 | 22k| 0 | 0 | 0 | 519k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
320.30/320.31 c 315s|480000 | 23352 | 0 | 0.0 | 45M| 116 | - | 223 | 27k| 0 | 0 | 0 | 537k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
329.50/329.51 c 324s|490000 | 23149 | 0 | 0.0 | 31M| 116 | - | 223 |7105 | 0 | 0 | 0 | 547k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
331.10/331.10 c 326s|500000 | 30540 | 0 | 0.0 | 34M| 116 | - | 223 |4660 | 0 | 0 | 0 | 552k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
333.70/333.77 c 328s|510000 | 34767 | 0 | 0.0 | 38M| 116 | - | 223 |5889 | 0 | 0 | 0 | 560k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
336.90/336.96 c 331s|520000 | 37533 | 0 | 0.0 | 41M| 116 | - | 223 |5230 | 0 | 0 | 0 | 569k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
341.40/341.40 c 336s|530000 | 37705 | 0 | 0.0 | 42M| 116 | - | 223 |8352 | 0 | 0 | 0 | 581k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
347.11/347.17 c 341s|540000 | 36697 | 0 | 0.0 | 41M| 116 | - | 223 | 10k| 0 | 0 | 0 | 592k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
351.60/351.66 c 346s|550000 | 39332 | 0 | 0.0 | 41M| 116 | - | 223 |6073 | 0 | 0 | 0 | 600k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
353.50/353.59 c 348s|560000 | 45993 | 0 | 0.0 | 45M| 116 | - | 223 |5755 | 0 | 0 | 0 | 605k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
355.80/355.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
355.80/355.82 c 350s|570000 | 51943 | 0 | 0.0 | 49M| 116 | - | 223 |6675 | 0 | 0 | 0 | 610k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
358.30/358.36 c 352s|580000 | 57277 | 0 | 0.0 | 53M| 116 | - | 223 |7294 | 0 | 0 | 0 | 616k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
361.20/361.21 c 355s|590000 | 61959 | 0 | 0.0 | 57M| 116 | - | 223 |8066 | 0 | 0 | 0 | 623k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
365.00/365.01 c 359s|600000 | 65035 | 0 | 0.0 | 62M| 116 | - | 223 |9739 | 0 | 0 | 0 | 633k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
369.51/369.50 c 363s|610000 | 67006 | 0 | 0.0 | 66M| 116 | - | 223 | 11k| 0 | 0 | 0 | 644k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
375.01/375.10 c 369s|620000 | 67347 | 0 | 0.0 | 68M| 116 | - | 223 | 11k| 0 | 0 | 0 | 656k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
380.20/380.25 c 374s|630000 | 67642 | 0 | 0.0 | 69M| 116 | - | 223 |7306 | 0 | 0 | 0 | 668k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
385.81/385.84 c 379s|640000 | 66921 | 0 | 0.0 | 69M| 116 | - | 223 |9308 | 0 | 0 | 0 | 680k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
392.80/392.84 c 386s|650000 | 64163 | 0 | 0.0 | 67M| 116 | - | 223 | 10k| 0 | 0 | 0 | 693k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
395.81/395.86 c 389s|660000 | 69741 | 0 | 0.0 | 71M| 116 | - | 223 |8311 | 0 | 0 | 0 | 699k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
399.40/399.48 c 392s|670000 | 73916 | 0 | 0.0 | 75M| 116 | - | 223 |9670 | 0 | 0 | 0 | 706k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
403.61/403.64 c 397s|680000 | 77565 | 0 | 0.0 | 79M| 116 | - | 223 | 11k| 0 | 0 | 0 | 714k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
408.50/408.54 c 401s|690000 | 80586 | 0 | 0.0 | 83M| 116 | - | 223 | 12k| 0 | 0 | 0 | 723k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
414.31/414.32 c 407s|700000 | 82795 | 0 | 0.0 | 87M| 116 | - | 223 | 13k| 0 | 0 | 0 | 733k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
420.50/420.57 c 413s|710000 | 84427 | 0 | 0.0 | 90M| 116 | - | 223 | 15k| 0 | 0 | 0 | 743k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
427.60/427.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
427.60/427.67 c 420s|720000 | 85304 | 0 | 0.0 | 93M| 116 | - | 223 | 15k| 0 | 0 | 0 | 755k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
435.30/435.33 c 428s|730000 | 85441 | 0 | 0.0 | 96M| 116 | - | 223 | 16k| 0 | 0 | 0 | 767k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
443.41/443.42 c 436s|740000 | 85158 | 0 | 0.0 | 99M| 116 | - | 223 | 17k| 0 | 0 | 0 | 779k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
451.40/451.41 c 444s|750000 | 84978 | 0 | 0.0 | 101M| 116 | - | 223 | 17k| 0 | 0 | 0 | 791k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
459.30/459.36 c 451s|760000 | 85005 | 0 | 0.0 | 104M| 116 | - | 223 | 17k| 0 | 0 | 0 | 803k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
468.40/468.48 c 460s|770000 | 83786 | 0 | 0.0 | 105M| 116 | - | 223 | 19k| 0 | 0 | 0 | 816k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
478.60/478.60 c 470s|780000 | 81502 | 0 | 0.0 | 105M| 116 | - | 223 | 21k| 0 | 0 | 0 | 830k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
490.71/490.71 c 482s|790000 | 76793 | 0 | 0.0 | 99M| 116 | - | 223 | 11k| 0 | 0 | 0 | 845k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
500.21/500.25 c 492s|800000 | 72637 | 0 | 0.0 | 96M| 116 | - | 223 | 14k| 0 | 0 | 0 | 860k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
507.31/507.37 c 499s|810000 | 72772 | 0 | 0.0 | 97M| 116 | - | 223 | 12k| 0 | 0 | 0 | 872k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
516.40/516.42 c 508s|820000 | 71828 | 0 | 0.0 | 100M| 116 | - | 223 | 15k| 0 | 0 | 0 | 885k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
527.80/527.83 c 519s|830000 | 69943 | 0 | 0.0 | 102M| 116 | - | 223 | 18k| 0 | 0 | 0 | 898k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
541.81/541.87 c 533s|840000 | 67351 | 0 | 0.0 | 104M| 116 | - | 223 | 22k| 0 | 0 | 0 | 913k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
558.91/558.91 c 550s|850000 | 63526 | 0 | 0.0 | 104M| 116 | - | 223 | 25k| 0 | 0 | 0 | 928k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
577.71/577.72 c 569s|860000 | 59098 | 0 | 0.0 | 102M| 116 | - | 223 | 27k| 0 | 0 | 0 | 944k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
597.70/597.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
597.70/597.72 c 588s|870000 | 54094 | 0 | 0.0 | 99M| 116 | - | 223 | 29k| 0 | 0 | 0 | 960k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
619.22/619.27 c 610s|880000 | 48314 | 0 | 0.0 | 95M| 116 | - | 223 | 31k| 0 | 0 | 0 | 976k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
641.51/641.52 c 632s|890000 | 41902 | 0 | 0.0 | 88M| 116 | - | 223 | 32k| 0 | 0 | 0 | 993k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
666.01/666.03 c 656s|900000 | 32871 | 0 | 0.0 | 73M| 116 | - | 223 | 22k| 0 | 0 | 0 |1011k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
689.91/689.94 c 680s|910000 | 23196 | 0 | 0.0 | 62M| 116 | - | 223 | 26k| 0 | 0 | 0 |1031k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
722.01/722.06 c 712s|920000 | 9512 | 0 | 0.0 | 38M| 116 | - | 223 | 33k| 0 | 0 | 0 |1052k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
736.61/736.60 c 726s|930000 | 8718 | 0 | 0.0 | 26M| 116 | - | 223 | 19k| 0 | 0 | 0 |1063k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
743.91/743.95 c 734s|940000 | 8533 | 0 | 0.0 | 23M| 116 | - | 223 | 11k| 0 | 0 | 0 |1074k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
746.31/746.34 c 736s|950000 | 14910 | 0 | 0.0 | 26M| 116 | - | 223 |7825 | 0 | 0 | 0 |1079k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
749.61/749.63 c 739s|960000 | 19068 | 0 | 0.0 | 28M| 116 | - | 223 |7257 | 0 | 0 | 0 |1085k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
752.32/752.33 c 742s|970000 | 24407 | 0 | 0.0 | 31M| 116 | - | 223 |8341 | 0 | 0 | 0 |1090k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
755.42/755.49 c 745s|980000 | 28542 | 0 | 0.0 | 36M| 116 | - | 223 | 10k| 0 | 0 | 0 |1097k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
759.11/759.14 c 748s|990000 | 31983 | 0 | 0.0 | 41M| 116 | - | 223 | 13k| 0 | 0 | 0 |1104k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
763.52/763.54 c 753s| 1000k| 35611 | 0 | 0.0 | 44M| 116 | - | 223 | 12k| 0 | 0 | 0 |1110k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
768.01/768.00 c 757s| 1010k| 39463 | 0 | 0.0 | 48M| 116 | - | 223 | 12k| 0 | 0 | 0 |1116k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
773.11/773.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
773.11/773.12 c 762s| 1020k| 42320 | 0 | 0.0 | 52M| 116 | - | 223 | 13k| 0 | 0 | 0 |1123k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
779.12/779.17 c 768s| 1030k| 44072 | 0 | 0.0 | 56M| 116 | - | 223 | 15k| 0 | 0 | 0 |1131k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
785.42/785.42 c 774s| 1040k| 45801 | 0 | 0.0 | 60M| 116 | - | 223 | 18k| 0 | 0 | 0 |1140k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
791.72/791.77 c 780s| 1050k| 47795 | 0 | 0.0 | 64M| 116 | - | 223 | 20k| 0 | 0 | 0 |1148k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
798.53/798.55 c 787s| 1060k| 49769 | 0 | 0.0 | 68M| 116 | - | 223 | 23k| 0 | 0 | 0 |1155k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
806.81/806.84 c 795s| 1070k| 50452 | 0 | 0.0 | 71M| 116 | - | 223 | 25k| 0 | 0 | 0 |1164k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
816.02/816.08 c 804s| 1080k| 52625 | 0 | 0.0 | 73M| 116 | - | 223 | 22k| 0 | 0 | 0 |1170k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
826.12/826.12 c 814s| 1090k| 53503 | 0 | 0.0 | 75M| 116 | - | 223 | 22k| 0 | 0 | 0 |1178k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
836.52/836.52 c 825s| 1100k| 54240 | 0 | 0.0 | 78M| 116 | - | 223 | 23k| 0 | 0 | 0 |1186k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
848.32/848.38 c 836s| 1110k| 53933 | 0 | 0.0 | 80M| 116 | - | 223 | 27k| 0 | 0 | 0 |1195k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
861.02/861.08 c 849s| 1120k| 53104 | 0 | 0.0 | 82M| 116 | - | 223 | 30k| 0 | 0 | 0 |1205k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
874.92/874.94 c 863s| 1130k| 51807 | 0 | 0.0 | 83M| 116 | - | 223 | 33k| 0 | 0 | 0 |1215k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
889.82/889.87 c 877s| 1140k| 49819 | 0 | 0.0 | 84M| 116 | - | 223 | 36k| 0 | 0 | 0 |1224k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
905.12/905.18 c 893s| 1150k| 48836 | 0 | 0.0 | 82M| 116 | - | 223 | 28k| 0 | 0 | 0 |1233k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
926.32/926.33 c 914s| 1160k| 44215 | 0 | 0.0 | 81M| 116 | - | 223 | 31k| 0 | 0 | 0 |1244k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
951.32/951.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
951.32/951.40 c 939s| 1170k| 37696 | 0 | 0.0 | 76M| 116 | - | 223 | 35k| 0 | 0 | 0 |1256k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
969.53/969.53 c 957s| 1180k| 35047 | 0 | 0.0 | 67M| 116 | - | 223 | 20k| 0 | 0 | 0 |1265k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
973.62/973.68 c 961s| 1190k| 39155 | 0 | 0.0 | 67M| 116 | - | 223 |8564 | 0 | 0 | 0 |1272k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
980.32/980.31 c 967s| 1200k| 36292 | 0 | 0.0 | 59M| 116 | - | 223 |8151 | 0 | 0 | 0 |1281k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
982.52/982.53 c 969s| 1210k| 42566 | 0 | 0.0 | 62M| 116 | - | 223 |6888 | 0 | 0 | 0 |1286k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
985.02/985.02 c 972s| 1220k| 48125 | 0 | 0.0 | 66M| 116 | - | 223 |8340 | 0 | 0 | 0 |1291k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
988.32/988.38 c 975s| 1230k| 52326 | 0 | 0.0 | 70M| 116 | - | 223 | 10k| 0 | 0 | 0 |1299k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
992.82/992.88 c 979s| 1240k| 54958 | 0 | 0.0 | 75M| 116 | - | 223 | 12k| 0 | 0 | 0 |1310k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
997.52/997.54 c 984s| 1250k| 56690 | 0 | 0.0 | 75M| 116 | - | 223 |6710 | 0 | 0 | 0 |1319k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1001.22/1001.28 c 987s| 1260k| 59531 | 0 | 0.0 | 78M| 116 | - | 223 |9804 | 0 | 0 | 0 |1327k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1005.72/1005.77 c 992s| 1270k| 62744 | 0 | 0.0 | 82M| 116 | - | 223 | 12k| 0 | 0 | 0 |1336k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1010.93/1010.96 c 997s| 1280k| 65663 | 0 | 0.0 | 86M| 116 | - | 223 | 14k| 0 | 0 | 0 |1345k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1016.92/1016.94 c 1003s| 1290k| 67817 | 0 | 0.0 | 90M| 116 | - | 223 | 15k| 0 | 0 | 0 |1355k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1023.52/1023.55 c 1009s| 1300k| 69391 | 0 | 0.0 | 94M| 116 | - | 223 | 17k| 0 | 0 | 0 |1365k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1031.02/1031.07 c 1017s| 1310k| 69951 | 0 | 0.0 | 97M| 116 | - | 223 | 18k| 0 | 0 | 0 |1376k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1040.02/1040.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1040.02/1040.02 c 1026s| 1320k| 69311 | 0 | 0.0 | 99M| 116 | - | 223 | 22k| 0 | 0 | 0 |1389k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1050.53/1050.59 c 1036s| 1330k| 68207 | 0 | 0.0 | 97M| 116 | - | 223 | 12k| 0 | 0 | 0 |1401k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1056.03/1056.00 c 1041s| 1340k| 69139 | 0 | 0.0 | 98M| 116 | - | 223 |8626 | 0 | 0 | 0 |1410k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1063.03/1063.06 c 1048s| 1350k| 68644 | 0 | 0.0 | 102M| 116 | - | 223 | 15k| 0 | 0 | 0 |1424k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1073.82/1073.89 c 1059s| 1360k| 67300 | 0 | 0.0 | 105M| 116 | - | 223 | 21k| 0 | 0 | 0 |1438k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1088.72/1088.77 c 1074s| 1370k| 64529 | 0 | 0.0 | 106M| 116 | - | 223 | 27k| 0 | 0 | 0 |1452k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1107.02/1107.07 c 1092s| 1380k| 60419 | 0 | 0.0 | 105M| 116 | - | 223 | 32k| 0 | 0 | 0 |1468k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1128.83/1128.86 c 1114s| 1390k| 54316 | 0 | 0.0 | 101M| 116 | - | 223 | 34k| 0 | 0 | 0 |1485k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1147.42/1147.41 c 1132s| 1400k| 50021 | 0 | 0.0 | 91M| 116 | - | 223 | 14k| 0 | 0 | 0 |1499k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1151.42/1151.49 c 1136s| 1410k| 53979 | 0 | 0.0 | 92M| 116 | - | 223 | 11k| 0 | 0 | 0 |1507k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1166.33/1166.31 c 1151s| 1420k| 44274 | 0 | 0.0 | 82M| 116 | - | 223 | 23k| 0 | 0 | 0 |1527k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1176.23/1176.20 c 1160s| 1430k| 45354 | 0 | 0.0 | 76M| 116 | - | 223 | 13k| 0 | 0 | 0 |1537k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1180.82/1180.80 c 1165s| 1440k| 49910 | 0 | 0.0 | 80M| 116 | - | 223 | 14k| 0 | 0 | 0 |1544k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1187.43/1187.48 c 1172s| 1450k| 51677 | 0 | 0.0 | 84M| 116 | - | 223 | 17k| 0 | 0 | 0 |1555k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1195.33/1195.35 c 1179s| 1460k| 53001 | 0 | 0.0 | 84M| 116 | - | 223 | 18k| 0 | 0 | 0 |1566k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1204.02/1204.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1204.02/1204.03 c 1188s| 1470k| 55223 | 0 | 0.0 | 88M| 116 | - | 223 | 21k| 0 | 0 | 0 |1577k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1216.13/1216.12 c 1200s| 1480k| 55297 | 0 | 0.0 | 92M| 116 | - | 223 | 25k| 0 | 0 | 0 |1591k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1229.83/1229.88 c 1213s| 1490k| 54434 | 0 | 0.0 | 95M| 116 | - | 223 | 29k| 0 | 0 | 0 |1604k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1245.24/1245.24 c 1229s| 1500k| 52378 | 0 | 0.0 | 96M| 116 | - | 223 | 34k| 0 | 0 | 0 |1618k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1258.34/1258.39 c 1242s| 1510k| 52580 | 0 | 0.0 | 91M| 116 | - | 223 | 16k| 0 | 0 | 0 |1630k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1268.43/1268.44 c 1252s| 1520k| 49973 | 0 | 0.0 | 89M| 116 | - | 223 | 16k| 0 | 0 | 0 |1644k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1280.73/1280.75 c 1264s| 1530k| 47855 | 0 | 0.0 | 90M| 116 | - | 223 | 22k| 0 | 0 | 0 |1659k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1300.24/1300.23 c 1283s| 1540k| 43237 | 0 | 0.0 | 90M| 116 | - | 223 | 30k| 0 | 0 | 0 |1677k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1325.03/1325.06 c 1308s| 1550k| 36676 | 0 | 0.0 | 83M| 116 | - | 223 | 35k| 0 | 0 | 0 |1695k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1343.03/1343.04 c 1326s| 1560k| 32895 | 0 | 0.0 | 75M| 116 | - | 223 | 21k| 0 | 0 | 0 |1710k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1355.94/1355.99 c 1339s| 1570k| 26377 | 0 | 0.0 | 60M| 116 | - | 223 | 17k| 0 | 0 | 0 |1728k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
1361.74/1361.76 c 1344s| 1580k| 29069 | 0 | 0.0 | 57M| 116 | - | 223 |8263 | 0 | 0 | 0 |1735k| 0 | 2.300000e+01 | 8.100000e+01 | 252.17%
1364.93/1364.97 c 1347s| 1590k| 33149 | 0 | 0.0 | 58M| 116 | - | 223 |7757 | 0 | 0 | 0 |1743k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1367.44/1367.49 c 1350s| 1600k| 38953 | 0 | 0.0 | 63M| 116 | - | 223 |9967 | 0 | 0 | 0 |1748k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1371.23/1371.20 c 1353s| 1610k| 43038 | 0 | 0.0 | 67M| 116 | - | 223 | 12k| 0 | 0 | 0 |1755k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1376.83/1376.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1376.83/1376.86 c 1359s| 1620k| 44453 | 0 | 0.0 | 69M| 116 | - | 223 | 14k| 0 | 0 | 0 |1765k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1380.83/1380.84 c 1363s| 1630k| 49839 | 0 | 0.0 | 73M| 116 | - | 223 | 14k| 0 | 0 | 0 |1772k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1386.63/1386.68 c 1369s| 1640k| 53296 | 0 | 0.0 | 78M| 116 | - | 223 | 18k| 0 | 0 | 0 |1781k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1394.63/1394.62 c 1376s| 1650k| 55354 | 0 | 0.0 | 83M| 116 | - | 223 | 21k| 0 | 0 | 0 |1792k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1404.13/1404.17 c 1386s| 1660k| 56174 | 0 | 0.0 | 86M| 116 | - | 223 | 23k| 0 | 0 | 0 |1804k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1415.53/1415.54 c 1397s| 1670k| 55430 | 0 | 0.0 | 89M| 116 | - | 223 | 24k| 0 | 0 | 0 |1816k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1426.43/1426.42 c 1408s| 1680k| 54088 | 0 | 0.0 | 90M| 116 | - | 223 | 27k| 0 | 0 | 0 |1828k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1436.54/1436.51 c 1418s| 1690k| 56780 | 0 | 0.0 | 92M| 116 | - | 223 | 25k| 0 | 0 | 0 |1838k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1449.13/1449.16 c 1430s| 1700k| 58126 | 0 | 0.0 | 95M| 116 | - | 223 | 28k| 0 | 0 | 0 |1850k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1466.84/1466.83 c 1448s| 1710k| 57176 | 0 | 0.0 | 99M| 116 | - | 223 | 34k| 0 | 0 | 0 |1864k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1488.64/1488.69 c 1470s| 1720k| 55003 | 0 | 0.0 | 100M| 116 | - | 223 | 39k| 0 | 0 | 0 |1879k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1514.64/1514.61 c 1496s| 1730k| 51013 | 0 | 0.0 | 98M| 116 | - | 223 | 41k| 0 | 0 | 0 |1895k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1542.04/1542.01 c 1523s| 1740k| 46962 | 0 | 0.0 | 95M| 116 | - | 223 | 40k| 0 | 0 | 0 |1911k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1578.14/1578.11 c 1559s| 1750k| 40654 | 0 | 0.0 | 91M| 116 | - | 223 | 42k| 0 | 0 | 0 |1929k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1618.15/1618.19 c 1599s| 1760k| 30992 | 0 | 0.0 | 75M| 116 | - | 223 | 41k| 0 | 0 | 0 |1949k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1636.14/1636.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1636.14/1636.12 c 1616s| 1770k| 32295 | 0 | 0.0 | 71M| 116 | - | 223 | 26k| 0 | 0 | 0 |1960k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1648.84/1648.83 c 1629s| 1780k| 32549 | 0 | 0.0 | 70M| 116 | - | 223 | 21k| 0 | 0 | 0 |1972k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1660.14/1660.14 c 1640s| 1790k| 33296 | 0 | 0.0 | 70M| 116 | - | 223 | 19k| 0 | 0 | 0 |1983k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1666.44/1666.43 c 1646s| 1800k| 36712 | 0 | 0.0 | 72M| 116 | - | 223 | 20k| 0 | 0 | 0 |1991k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1674.84/1674.81 c 1655s| 1810k| 38720 | 0 | 0.0 | 71M| 116 | - | 223 | 17k| 0 | 0 | 0 |2000k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1679.84/1679.86 c 1660s| 1820k| 43861 | 0 | 0.0 | 75M| 116 | - | 223 | 19k| 0 | 0 | 0 |2006k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1687.64/1687.67 c 1667s| 1830k| 47077 | 0 | 0.0 | 79M| 116 | - | 223 | 22k| 0 | 0 | 0 |2015k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1699.33/1699.32 c 1679s| 1840k| 46893 | 0 | 0.0 | 82M| 116 | - | 223 | 25k| 0 | 0 | 0 |2026k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1707.24/1707.25 c 1686s| 1850k| 51152 | 0 | 0.0 | 83M| 116 | - | 223 | 20k| 0 | 0 | 0 |2034k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1716.04/1716.02 c 1695s| 1860k| 54847 | 0 | 0.0 | 88M| 116 | - | 223 | 24k| 0 | 0 | 0 |2042k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1726.73/1726.79 c 1705s| 1870k| 57932 | 0 | 0.0 | 92M| 116 | - | 223 | 26k| 0 | 0 | 0 |2052k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1741.23/1741.24 c 1719s| 1880k| 59294 | 0 | 0.0 | 95M| 116 | - | 223 | 29k| 0 | 0 | 0 |2063k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1760.33/1760.37 c 1738s| 1890k| 58510 | 0 | 0.0 | 98M| 116 | - | 223 | 32k| 0 | 0 | 0 |2075k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1784.33/1784.30 c 1762s| 1900k| 55523 | 0 | 0.0 | 99M| 116 | - | 223 | 36k| 0 | 0 | 0 |2089k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1795.43/1795.44 c 1772s| 1910k| 59018 | 0 | 0.0 | 93M| 116 | - | 223 | 11k| 0 | 0 | 0 |2096k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1776.75
1800.03/1800.00 c Solving Nodes : 1916788
1800.03/1800.00 c Primal Bound : +8.10000000000000e+01 (3 solutions)
1800.03/1800.00 c Dual Bound : +3.00000000000000e+01
1800.03/1800.00 c Gap : 170.00 %
1800.03/1800.00 s SATISFIABLE
1800.03/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.03/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.03/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.03/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.03/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.03/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.03/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.03/1800.00 v -x4 -x3 -x2 x1
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time : 1776.75
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-2693960-1277898571.wbo
1800.03/1800.00 c Variables : 225 (197 binary, 0 integer, 0 implicit integer, 28 continuous)
1800.03/1800.00 c Constraints : 130 initial, 130 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-2693960-1277898571.wbo
1800.03/1800.00 c Variables : 223 (196 binary, 0 integer, 0 implicit integer, 27 continuous)
1800.03/1800.00 c Constraints : 112 initial, 47750 maximal
1800.03/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.03/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.00 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.03/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c linear : 0.00 0 0 0 27 0 17 1 0
1800.03/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c root node : - 5 - - 10 - - - -
1800.03/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c indicator : 27 0 5286730 0 1095013 1845 277753 0 0 0
1800.03/1800.00 c setppc : 49 0 5863010 0 1207838 168126 12538360 0 0 0
1800.03/1800.00 c linear : 27 0 5694884 0 1207835 432756 21835341 0 0 0
1800.03/1800.00 c logicor : 9+ 0 3159708 0 1207667 423049 1882586 0 0 0
1800.03/1800.00 c bounddisjunction : 0+ 0 479070 0 0 9 2162 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 1207838 0 0 0 0 0
1800.03/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c indicator : 2.75 0.00 1.83 0.00 0.92
1800.03/1800.00 c setppc : 37.89 0.00 31.26 0.00 6.63
1800.03/1800.00 c linear : 88.83 0.00 88.11 0.00 0.72
1800.03/1800.00 c logicor : 823.93 0.00 822.63 0.00 1.30
1800.03/1800.00 c bounddisjunction : 3.88 0.00 3.88 0.00 0.00
1800.03/1800.00 c countsols : 0.13 0.00 0.00 0.00 0.13
1800.03/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.00 c vbounds : 1.34 2 0 0
1800.03/1800.00 c rootredcost : 1.03 0 0 0
1800.03/1800.00 c pseudoobj : 6.85 5865132 474 208928
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 43.56 1024414 1024364 5241957 21.4 220780 14.8 -
1800.03/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c pseudo solution : 0.00 10 10 22 6.7 1 14.0 -
1800.03/1800.00 c applied globally : - - - 2089626 16.5 - - -
1800.03/1800.00 c applied locally : - - - 15422 34.8 - - -
1800.03/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.00 c redcost : 0.00 0 0 0 0 0
1800.03/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.00 c intobj : 0.00 0 0 0 0 0
1800.03/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.00 c gomory : 0.00 0 0 0 0 0
1800.03/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.00 c cmir : 0.00 0 0 0 0 0
1800.03/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.00 c clique : 0.00 0 0 0 0 0
1800.03/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.00 c mcf : 0.00 0 0 0 0 0
1800.03/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.00 c Pricers : Time Calls Vars
1800.03/1800.00 c problem variables: 0.00 0 0
1800.03/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c inference : 7.96 1207835 0 0 0 0 2415670
1800.03/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c random : 0.00 0 0 0 0 0 0
1800.03/1800.00 c Primal Heuristics : Time Calls Found
1800.03/1800.00 c LP solutions : 0.00 - 0
1800.03/1800.00 c pseudo solutions : 0.00 - 3
1800.03/1800.00 c oneopt : 0.79 0 0
1800.03/1800.00 c trivial : 0.00 2 0
1800.03/1800.00 c simplerounding : 0.00 0 0
1800.03/1800.00 c zirounding : 0.00 0 0
1800.03/1800.00 c rounding : 0.00 0 0
1800.03/1800.00 c shifting : 0.00 0 0
1800.03/1800.00 c intshifting : 0.00 0 0
1800.03/1800.00 c twoopt : 0.00 0 0
1800.03/1800.00 c fixandinfer : 0.00 0 0
1800.03/1800.00 c feaspump : 0.00 0 0
1800.03/1800.00 c coefdiving : 0.00 0 0
1800.03/1800.00 c pscostdiving : 0.00 0 0
1800.03/1800.00 c fracdiving : 0.00 0 0
1800.03/1800.00 c veclendiving : 0.00 0 0
1800.03/1800.00 c intdiving : 0.00 0 0
1800.03/1800.00 c actconsdiving : 0.00 0 0
1800.03/1800.00 c objpscostdiving : 0.00 0 0
1800.03/1800.00 c rootsoldiving : 0.00 0 0
1800.03/1800.00 c linesearchdiving : 0.00 0 0
1800.03/1800.00 c guideddiving : 0.00 0 0
1800.03/1800.00 c octane : 0.00 0 0
1800.03/1800.00 c rens : 0.00 0 0
1800.03/1800.00 c rins : 0.00 0 0
1800.03/1800.00 c localbranching : 0.00 0 0
1800.03/1800.00 c mutation : 0.00 0 0
1800.03/1800.00 c crossover : 0.00 0 0
1800.03/1800.00 c dins : 0.00 0 0
1800.03/1800.00 c undercover : 0.00 0 0
1800.03/1800.00 c nlp : 0.52 0 0
1800.03/1800.00 c trysol : 0.36 1 0
1800.03/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.00 c (at root node) : - 0 0 0.00 -
1800.03/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.00 c B&B Tree :
1800.03/1800.00 c number of runs : 1
1800.03/1800.00 c nodes : 1916788
1800.03/1800.00 c nodes (total) : 1916788
1800.03/1800.00 c nodes left : 59514
1800.03/1800.00 c max depth : 116
1800.03/1800.00 c max depth (total): 116
1800.03/1800.00 c backtracks : 733884 (38.3%)
1800.03/1800.00 c delayed cutoffs : 439292
1800.03/1800.00 c repropagations : 2164495 (9961520 domain reductions, 317319 cutoffs)
1800.03/1800.00 c avg switch length: 19.23
1800.03/1800.00 c switching time : 582.25
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 3 (3 improvements)
1800.03/1800.00 c First Solution : +2.28000000000000e+02 (in run 1, after 15338 nodes, 1.72 seconds, depth 73, found by <relaxation>)
1800.03/1800.00 c Primal Bound : +8.10000000000000e+01 (in run 1, after 16304 nodes, 1.80 seconds, depth 69, found by <relaxation>)
1800.03/1800.00 c Dual Bound : +3.00000000000000e+01
1800.03/1800.00 c Gap : 170.00 %
1800.03/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Root Iterations : 0
1800.23/1800.21 c Time complete: 1800.24.