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-2694000-1277899547.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.09/0.13 o 81
0.09/0.13 c * 0.1s| 1933 | 1594 | 0 | 0.0 |1689k| 116 | - | 223 | 484 | 0 | 0 | 0 | 441 | 0 | 0.000000e+00 | 8.100000e+01 | Inf
1.00/1.02 c 0.8s| 10000 | 6827 | 0 | 0.0 |6045k| 116 | - | 223 |2784 | 0 | 0 | 0 |5019 | 0 | 0.000000e+00 | 8.100000e+01 | Inf
2.59/2.62 c 2.0s| 20000 | 11737 | 0 | 0.0 | 10M| 116 | - | 223 |1939 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
4.30/4.35 c 3.5s| 30000 | 16125 | 0 | 0.0 | 14M| 116 | - | 223 |3168 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
6.69/6.77 c 5.5s| 40000 | 18382 | 0 | 0.0 | 18M| 116 | - | 223 |4612 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
8.79/8.86 c 7.3s| 50000 | 22084 | 0 | 0.0 | 20M| 116 | - | 223 |1461 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
11.29/11.38 c 9.5s| 60000 | 24633 | 0 | 0.0 | 24M| 116 | - | 223 |6211 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
15.89/15.90 c 13.7s| 70000 | 24425 | 0 | 0.0 | 27M| 116 | - | 223 |9066 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
20.80/20.83 c 18.3s| 80000 | 23674 | 0 | 0.0 | 29M| 116 | - | 223 |9797 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
25.89/25.95 c 23.0s| 90000 | 22020 | 0 | 0.0 | 30M| 116 | - | 223 | 13k| 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
28.99/29.07 c 25.8s|100000 | 26054 | 0 | 0.0 | 30M| 116 | - | 223 |4596 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
31.39/31.46 c 27.9s|110000 | 30615 | 0 | 0.0 | 35M| 116 | - | 223 |7364 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
35.90/35.96 c 32.0s|120000 | 32281 | 0 | 0.0 | 38M| 116 | - | 223 |9876 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
43.89/43.96 c 39.6s|130000 | 27459 | 0 | 0.0 | 35M| 116 | - | 223 | 13k| 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
51.70/51.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.70/51.79 c 47.0s|140000 | 23800 | 0 | 0.0 | 29M| 116 | - | 223 | 10k| 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
55.69/55.78 c 50.7s|150000 | 26192 | 0 | 0.0 | 31M| 116 | - | 223 |7347 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
60.40/60.48 c 55.0s|160000 | 26212 | 0 | 0.0 | 33M| 116 | - | 223 |8420 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
66.09/66.11 c 60.2s|170000 | 24353 | 0 | 0.0 | 34M| 116 | - | 223 | 10k| 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
73.19/73.22 c 66.9s|180000 | 19105 | 0 | 0.0 | 25M| 116 | - | 223 | 12k| 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
80.09/80.12 c 73.4s|190000 | 16565 | 0 | 0.0 | 26M| 116 | - | 223 | 13k| 0 | 0 | 0 | 197k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
89.69/89.76 c 82.6s|200000 | 11562 | 0 | 0.0 | 25M| 116 | - | 223 | 18k| 0 | 0 | 0 | 213k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
102.79/102.89 c 95.2s|210000 | 3192 | 0 | 0.0 | 14M| 116 | - | 223 | 20k| 0 | 0 | 0 | 229k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
105.30/105.36 c 97.4s|220000 | 9931 | 0 | 0.0 | 12M| 116 | - | 223 |5670 | 0 | 0 | 0 | 234k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
108.49/108.57 c 100s|230000 | 12656 | 0 | 0.0 | 14M| 116 | - | 223 |5198 | 0 | 0 | 0 | 243k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
110.39/110.47 c 102s|240000 | 18924 | 0 | 0.0 | 18M| 116 | - | 223 |5656 | 0 | 0 | 0 | 249k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
113.39/113.45 c 105s|250000 | 23323 | 0 | 0.0 | 23M| 116 | - | 223 |9129 | 0 | 0 | 0 | 257k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
117.70/117.71 c 108s|260000 | 26080 | 0 | 0.0 | 28M| 116 | - | 223 | 11k| 0 | 0 | 0 | 265k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
123.89/123.93 c 114s|270000 | 25107 | 0 | 0.0 | 30M| 116 | - | 223 | 12k| 0 | 0 | 0 | 277k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
127.80/127.82 c 118s|280000 | 27884 | 0 | 0.0 | 31M| 116 | - | 223 |8136 | 0 | 0 | 0 | 287k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
131.50/131.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
131.50/131.52 c 121s|290000 | 31399 | 0 | 0.0 | 35M| 116 | - | 223 | 10k| 0 | 0 | 0 | 295k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
136.49/136.50 c 126s|300000 | 33710 | 0 | 0.0 | 39M| 116 | - | 223 | 13k| 0 | 0 | 0 | 304k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
143.00/143.01 c 132s|310000 | 34815 | 0 | 0.0 | 43M| 116 | - | 223 | 16k| 0 | 0 | 0 | 315k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
151.29/151.38 c 140s|320000 | 34330 | 0 | 0.0 | 46M| 116 | - | 223 | 18k| 0 | 0 | 0 | 327k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
162.30/162.32 c 150s|330000 | 31662 | 0 | 0.0 | 46M| 116 | - | 223 | 20k| 0 | 0 | 0 | 340k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
173.39/173.49 c 161s|340000 | 28664 | 0 | 0.0 | 43M| 116 | - | 223 | 17k| 0 | 0 | 0 | 354k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
184.10/184.11 c 171s|350000 | 26894 | 0 | 0.0 | 45M| 116 | - | 223 | 17k| 0 | 0 | 0 | 368k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
196.49/196.51 c 183s|360000 | 23249 | 0 | 0.0 | 44M| 116 | - | 223 | 19k| 0 | 0 | 0 | 382k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
212.80/212.83 c 199s|370000 | 15921 | 0 | 0.0 | 38M| 116 | - | 223 | 23k| 0 | 0 | 0 | 400k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
236.09/236.16 c 222s|380000 | 2562 | 0 | 0.0 | 15M| 116 | - | 223 | 22k| 0 | 0 | 0 | 421k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
243.49/243.54 c 229s|390000 | 4282 | 0 | 0.0 | 11M| 116 | - | 223 |7816 | 0 | 0 | 0 | 430k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
245.50/245.55 c 231s|400000 | 10599 | 0 | 0.0 | 14M| 116 | - | 223 |6130 | 0 | 0 | 0 | 433k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
248.00/248.04 c 233s|410000 | 15398 | 0 | 0.0 | 19M| 116 | - | 223 |7742 | 0 | 0 | 0 | 438k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
251.50/251.59 c 236s|420000 | 18308 | 0 | 0.0 | 23M| 116 | - | 223 |9431 | 0 | 0 | 0 | 445k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
254.70/254.78 c 239s|430000 | 22499 | 0 | 0.0 | 27M| 116 | - | 223 |9615 | 0 | 0 | 0 | 450k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
258.99/259.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
258.99/259.08 c 243s|440000 | 24415 | 0 | 0.0 | 31M| 116 | - | 223 | 11k| 0 | 0 | 0 | 457k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
265.00/265.00 c 248s|450000 | 23550 | 0 | 0.0 | 32M| 116 | - | 223 | 14k| 0 | 0 | 0 | 468k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
271.10/271.16 c 254s|460000 | 24595 | 0 | 0.0 | 35M| 116 | - | 223 | 13k| 0 | 0 | 0 | 475k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
278.79/278.82 c 261s|470000 | 23587 | 0 | 0.0 | 38M| 116 | - | 223 | 16k| 0 | 0 | 0 | 485k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
288.99/289.08 c 271s|480000 | 19934 | 0 | 0.0 | 35M| 116 | - | 223 | 17k| 0 | 0 | 0 | 498k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
302.30/302.40 c 284s|490000 | 14066 | 0 | 0.0 | 31M| 116 | - | 223 | 20k| 0 | 0 | 0 | 511k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
308.89/308.96 c 290s|500000 | 15931 | 0 | 0.0 | 28M| 116 | - | 223 | 14k| 0 | 0 | 0 | 519k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
311.70/311.79 c 293s|510000 | 22340 | 0 | 0.0 | 30M| 116 | - | 223 | 12k| 0 | 0 | 0 | 524k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
314.80/314.85 c 296s|520000 | 27564 | 0 | 0.0 | 35M| 116 | - | 223 | 14k| 0 | 0 | 0 | 529k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
320.90/320.97 c 301s|530000 | 28610 | 0 | 0.0 | 37M| 116 | - | 223 | 13k| 0 | 0 | 0 | 539k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
325.51/325.58 c 306s|540000 | 31470 | 0 | 0.0 | 39M| 116 | - | 223 | 12k| 0 | 0 | 0 | 547k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
331.10/331.17 c 311s|550000 | 33323 | 0 | 0.0 | 44M| 116 | - | 223 | 16k| 0 | 0 | 0 | 556k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
338.50/338.54 c 318s|560000 | 33896 | 0 | 0.0 | 48M| 116 | - | 223 | 19k| 0 | 0 | 0 | 566k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
347.90/347.99 c 327s|570000 | 33062 | 0 | 0.0 | 51M| 116 | - | 223 | 24k| 0 | 0 | 0 | 578k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
359.70/359.78 c 338s|580000 | 30873 | 0 | 0.0 | 53M| 116 | - | 223 | 28k| 0 | 0 | 0 | 591k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
368.99/369.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.99/369.00 c 347s|590000 | 31194 | 0 | 0.0 | 51M| 116 | - | 223 | 17k| 0 | 0 | 0 | 602k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
380.90/380.92 c 359s|600000 | 28679 | 0 | 0.0 | 53M| 116 | - | 223 | 22k| 0 | 0 | 0 | 616k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
397.80/397.86 c 375s|610000 | 23254 | 0 | 0.0 | 51M| 116 | - | 223 | 30k| 0 | 0 | 0 | 632k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
413.61/413.61 c 390s|620000 | 21316 | 0 | 0.0 | 42M| 116 | - | 223 | 15k| 0 | 0 | 0 | 643k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
426.10/426.15 c 403s|630000 | 15527 | 0 | 0.0 | 33M| 116 | - | 223 | 19k| 0 | 0 | 0 | 659k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
431.00/431.03 c 407s|640000 | 20713 | 0 | 0.0 | 35M| 116 | - | 223 | 15k| 0 | 0 | 0 | 665k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
437.70/437.73 c 414s|650000 | 22477 | 0 | 0.0 | 36M| 116 | - | 223 | 17k| 0 | 0 | 0 | 676k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
444.50/444.55 c 420s|660000 | 25691 | 0 | 0.0 | 40M| 116 | - | 223 | 18k| 0 | 0 | 0 | 687k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
455.90/455.93 c 431s|670000 | 24315 | 0 | 0.0 | 43M| 116 | - | 223 | 22k| 0 | 0 | 0 | 701k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
471.10/471.10 c 446s|680000 | 20732 | 0 | 0.0 | 41M| 116 | - | 223 | 22k| 0 | 0 | 0 | 717k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
489.41/489.42 c 464s|690000 | 15518 | 0 | 0.0 | 40M| 116 | - | 223 | 25k| 0 | 0 | 0 | 735k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
506.20/506.29 c 480s|700000 | 11396 | 0 | 0.0 | 25M| 116 | - | 223 | 14k| 0 | 0 | 0 | 750k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
508.90/508.95 c 482s|710000 | 17800 | 0 | 0.0 | 27M| 116 | - | 223 |9911 | 0 | 0 | 0 | 754k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
511.41/511.48 c 485s|720000 | 23731 | 0 | 0.0 | 31M| 116 | - | 223 | 10k| 0 | 0 | 0 | 759k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
515.10/515.10 c 488s|730000 | 27833 | 0 | 0.0 | 36M| 116 | - | 223 | 13k| 0 | 0 | 0 | 766k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
520.80/520.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
520.80/520.82 c 493s|740000 | 29270 | 0 | 0.0 | 40M| 116 | - | 223 | 15k| 0 | 0 | 0 | 775k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
525.20/525.27 c 497s|750000 | 33776 | 0 | 0.0 | 43M| 116 | - | 223 | 14k| 0 | 0 | 0 | 782k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
531.11/531.14 c 503s|760000 | 36255 | 0 | 0.0 | 47M| 116 | - | 223 | 16k| 0 | 0 | 0 | 790k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
539.21/539.22 c 511s|770000 | 36518 | 0 | 0.0 | 51M| 116 | - | 223 | 20k| 0 | 0 | 0 | 801k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
549.30/549.32 c 521s|780000 | 35456 | 0 | 0.0 | 54M| 116 | - | 223 | 23k| 0 | 0 | 0 | 812k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
561.31/561.38 c 532s|790000 | 33806 | 0 | 0.0 | 53M| 116 | - | 223 | 22k| 0 | 0 | 0 | 824k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
574.90/574.92 c 545s|800000 | 32160 | 0 | 0.0 | 54M| 116 | - | 223 | 23k| 0 | 0 | 0 | 836k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
592.60/592.64 c 563s|810000 | 26677 | 0 | 0.0 | 52M| 116 | - | 223 | 27k| 0 | 0 | 0 | 851k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
618.30/618.35 c 588s|820000 | 16200 | 0 | 0.0 | 39M| 116 | - | 223 | 30k| 0 | 0 | 0 | 869k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
629.11/629.15 c 598s|830000 | 18153 | 0 | 0.0 | 35M| 116 | - | 223 | 17k| 0 | 0 | 0 | 877k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
635.10/635.14 c 604s|840000 | 21131 | 0 | 0.0 | 36M| 116 | - | 223 | 17k| 0 | 0 | 0 | 885k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
640.11/640.19 c 609s|850000 | 25590 | 0 | 0.0 | 39M| 116 | - | 223 | 17k| 0 | 0 | 0 | 891k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
646.40/646.42 c 615s|860000 | 28106 | 0 | 0.0 | 44M| 116 | - | 223 | 22k| 0 | 0 | 0 | 900k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
654.70/654.71 c 623s|870000 | 29660 | 0 | 0.0 | 46M| 116 | - | 223 | 21k| 0 | 0 | 0 | 910k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
664.70/664.75 c 632s|880000 | 30459 | 0 | 0.0 | 51M| 116 | - | 223 | 26k| 0 | 0 | 0 | 921k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
680.50/680.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
680.50/680.54 c 648s|890000 | 27804 | 0 | 0.0 | 53M| 116 | - | 223 | 32k| 0 | 0 | 0 | 936k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
689.81/689.86 c 657s|900000 | 30102 | 0 | 0.0 | 49M| 116 | - | 223 | 15k| 0 | 0 | 0 | 944k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
703.60/703.60 c 670s|910000 | 26194 | 0 | 0.0 | 50M| 116 | - | 223 | 26k| 0 | 0 | 0 | 961k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
712.70/712.74 c 679s|920000 | 28157 | 0 | 0.0 | 45M| 116 | - | 223 | 12k| 0 | 0 | 0 | 969k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
716.70/716.72 c 682s|930000 | 32424 | 0 | 0.0 | 49M| 116 | - | 223 | 13k| 0 | 0 | 0 | 975k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
724.60/724.68 c 690s|940000 | 31458 | 0 | 0.0 | 46M| 116 | - | 223 | 17k| 0 | 0 | 0 | 987k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
729.70/729.79 c 695s|950000 | 34884 | 0 | 0.0 | 48M| 116 | - | 223 | 13k| 0 | 0 | 0 | 995k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
735.71/735.72 c 700s|960000 | 36187 | 0 | 0.0 | 52M| 116 | - | 223 | 15k| 0 | 0 | 0 |1006k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
743.30/743.36 c 708s|970000 | 35249 | 0 | 0.0 | 54M| 116 | - | 223 | 19k| 0 | 0 | 0 |1018k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
752.50/752.59 c 716s|980000 | 34173 | 0 | 0.0 | 55M| 116 | - | 223 | 19k| 0 | 0 | 0 |1031k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
763.21/763.21 c 727s|990000 | 31876 | 0 | 0.0 | 56M| 116 | - | 223 | 20k| 0 | 0 | 0 |1045k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
776.90/776.94 c 740s| 1000k| 27036 | 0 | 0.0 | 54M| 116 | - | 223 | 26k| 0 | 0 | 0 |1062k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
790.50/790.59 c 753s| 1010k| 23820 | 0 | 0.0 | 48M| 116 | - | 223 | 22k| 0 | 0 | 0 |1076k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
800.50/800.51 c 763s| 1020k| 24191 | 0 | 0.0 | 43M| 116 | - | 223 | 18k| 0 | 0 | 0 |1087k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
806.61/806.67 c 769s| 1030k| 27193 | 0 | 0.0 | 43M| 116 | - | 223 | 17k| 0 | 0 | 0 |1095k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
811.11/811.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
811.11/811.14 c 773s| 1040k| 31976 | 0 | 0.0 | 47M| 116 | - | 223 | 18k| 0 | 0 | 0 |1102k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
817.61/817.66 c 779s| 1050k| 34022 | 0 | 0.0 | 51M| 116 | - | 223 | 20k| 0 | 0 | 0 |1113k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
826.21/826.20 c 787s| 1060k| 34019 | 0 | 0.0 | 51M| 116 | - | 223 | 20k| 0 | 0 | 0 |1125k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
832.80/832.82 c 793s| 1070k| 37328 | 0 | 0.0 | 55M| 116 | - | 223 | 20k| 0 | 0 | 0 |1133k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
841.80/841.87 c 802s| 1080k| 38319 | 0 | 0.0 | 59M| 116 | - | 223 | 23k| 0 | 0 | 0 |1145k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
853.31/853.39 c 813s| 1090k| 37466 | 0 | 0.0 | 61M| 116 | - | 223 | 26k| 0 | 0 | 0 |1159k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
867.71/867.70 c 827s| 1100k| 34555 | 0 | 0.0 | 60M| 116 | - | 223 | 27k| 0 | 0 | 0 |1174k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
884.41/884.49 c 843s| 1110k| 32760 | 0 | 0.0 | 61M| 116 | - | 223 | 30k| 0 | 0 | 0 |1188k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
908.61/908.68 c 867s| 1120k| 26768 | 0 | 0.0 | 58M| 116 | - | 223 | 35k| 0 | 0 | 0 |1207k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
928.60/928.62 c 887s| 1130k| 21834 | 0 | 0.0 | 44M| 116 | - | 223 | 23k| 0 | 0 | 0 |1222k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
932.51/932.50 c 890s| 1140k| 27863 | 0 | 0.0 | 45M| 116 | - | 223 | 13k| 0 | 0 | 0 |1227k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
935.61/935.65 c 893s| 1150k| 33554 | 0 | 0.0 | 46M| 116 | - | 223 |9905 | 0 | 0 | 0 |1232k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
938.60/938.66 c 896s| 1160k| 38680 | 0 | 0.0 | 51M| 116 | - | 223 | 13k| 0 | 0 | 0 |1239k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
944.81/944.84 c 902s| 1170k| 40661 | 0 | 0.0 | 55M| 116 | - | 223 | 15k| 0 | 0 | 0 |1248k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
951.31/951.40 c 908s| 1180k| 42292 | 0 | 0.0 | 59M| 116 | - | 223 | 17k| 0 | 0 | 0 |1258k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
956.51/956.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
956.51/956.59 c 913s| 1190k| 45919 | 0 | 0.0 | 61M| 116 | - | 223 | 13k| 0 | 0 | 0 |1265k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
961.91/961.94 c 918s| 1200k| 48858 | 0 | 0.0 | 63M| 116 | - | 223 | 14k| 0 | 0 | 0 |1274k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
967.70/967.74 c 923s| 1210k| 51691 | 0 | 0.0 | 68M| 116 | - | 223 | 17k| 0 | 0 | 0 |1283k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
977.61/977.67 c 933s| 1220k| 50976 | 0 | 0.0 | 72M| 116 | - | 223 | 24k| 0 | 0 | 0 |1296k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
992.30/992.30 c 947s| 1230k| 49186 | 0 | 0.0 | 72M| 116 | - | 223 | 24k| 0 | 0 | 0 |1309k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1006.21/1006.27 c 961s| 1240k| 47549 | 0 | 0.0 | 74M| 116 | - | 223 | 27k| 0 | 0 | 0 |1323k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1014.91/1014.94 c 969s| 1250k| 50904 | 0 | 0.0 | 74M| 116 | - | 223 | 19k| 0 | 0 | 0 |1331k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1022.40/1022.42 c 976s| 1260k| 52820 | 0 | 0.0 | 77M| 116 | - | 223 | 20k| 0 | 0 | 0 |1340k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1032.61/1032.63 c 986s| 1270k| 52560 | 0 | 0.0 | 78M| 116 | - | 223 | 20k| 0 | 0 | 0 |1352k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1048.01/1048.03 c 1001s| 1280k| 49119 | 0 | 0.0 | 79M| 116 | - | 223 | 26k| 0 | 0 | 0 |1367k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1071.91/1071.93 c 1024s| 1290k| 42663 | 0 | 0.0 | 72M| 116 | - | 223 | 31k| 0 | 0 | 0 |1386k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1084.01/1084.05 c 1036s| 1300k| 44568 | 0 | 0.0 | 73M| 116 | - | 223 | 27k| 0 | 0 | 0 |1396k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1097.30/1097.34 c 1049s| 1310k| 44716 | 0 | 0.0 | 76M| 116 | - | 223 | 30k| 0 | 0 | 0 |1407k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1116.31/1116.31 c 1068s| 1320k| 41534 | 0 | 0.0 | 72M| 116 | - | 223 | 27k| 0 | 0 | 0 |1422k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1137.32/1137.35 c 1088s| 1330k| 36652 | 0 | 0.0 | 67M| 116 | - | 223 | 30k| 0 | 0 | 0 |1439k| 0 | 4.100000e+01 | 8.100000e+01 | 97.56%
1161.51/1161.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1161.51/1161.53 c 1112s| 1340k| 30981 | 0 | 0.0 | 65M| 116 | - | 223 | 39k| 0 | 0 | 0 |1456k| 0 | 4.100000e+01 | 8.100000e+01 | 97.56%
1174.91/1174.93 c 1125s| 1350k| 31522 | 0 | 0.0 | 58M| 116 | - | 223 | 15k| 0 | 0 | 0 |1465k| 0 | 4.100000e+01 | 8.100000e+01 | 97.56%
1186.01/1186.07 c 1136s| 1360k| 28107 | 0 | 0.0 | 53M| 116 | - | 223 | 13k| 0 | 0 | 0 |1479k| 0 | 4.100000e+01 | 8.100000e+01 | 97.56%
1194.12/1194.14 c 1143s| 1370k| 27145 | 0 | 0.0 | 52M| 116 | - | 223 | 11k| 0 | 0 | 0 |1489k| 0 | 4.500000e+01 | 8.100000e+01 | 80.00%
1202.51/1202.55 c 1151s| 1380k| 25266 | 0 | 0.0 | 50M| 116 | - | 223 | 13k| 0 | 0 | 0 |1502k| 0 | 4.600000e+01 | 8.100000e+01 | 76.09%
1214.61/1214.63 c 1163s| 1390k| 20840 | 0 | 0.0 | 48M| 116 | - | 223 | 17k| 0 | 0 | 0 |1519k| 0 | 4.600000e+01 | 8.100000e+01 | 76.09%
1220.82/1220.81 c 1169s| 1400k| 23253 | 0 | 0.0 | 46M| 116 | - | 223 | 16k| 0 | 0 | 0 |1528k| 0 | 4.900000e+01 | 8.100000e+01 | 65.31%
1224.72/1224.78 c 1172s| 1410k| 28539 | 0 | 0.0 | 49M| 116 | - | 223 | 15k| 0 | 0 | 0 |1534k| 0 | 4.900000e+01 | 8.100000e+01 | 65.31%
1229.62/1229.61 c 1177s| 1420k| 32484 | 0 | 0.0 | 54M| 116 | - | 223 | 20k| 0 | 0 | 0 |1543k| 0 | 4.900000e+01 | 8.100000e+01 | 65.31%
1237.61/1237.66 c 1185s| 1430k| 33877 | 0 | 0.0 | 54M| 116 | - | 223 | 16k| 0 | 0 | 0 |1553k| 0 | 4.900000e+01 | 8.100000e+01 | 65.31%
1243.12/1243.11 c 1190s| 1440k| 37893 | 0 | 0.0 | 58M| 116 | - | 223 | 19k| 0 | 0 | 0 |1562k| 0 | 4.900000e+01 | 8.100000e+01 | 65.31%
1251.11/1251.10 c 1197s| 1450k| 39826 | 0 | 0.0 | 63M| 116 | - | 223 | 23k| 0 | 0 | 0 |1572k| 0 | 4.900000e+01 | 8.100000e+01 | 65.31%
1264.61/1264.60 c 1210s| 1460k| 37924 | 0 | 0.0 | 66M| 116 | - | 223 | 28k| 0 | 0 | 0 |1587k| 0 | 4.900000e+01 | 8.100000e+01 | 65.31%
1278.41/1278.46 c 1224s| 1470k| 36331 | 0 | 0.0 | 64M| 116 | - | 223 | 23k| 0 | 0 | 0 |1600k| 0 | 4.900000e+01 | 8.100000e+01 | 65.31%
1293.21/1293.21 c 1238s| 1480k| 34045 | 0 | 0.0 | 66M| 116 | - | 223 | 27k| 0 | 0 | 0 |1614k| 0 | 4.900000e+01 | 8.100000e+01 | 65.31%
1316.02/1316.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1316.02/1316.03 c 1261s| 1490k| 26905 | 0 | 0.0 | 60M| 116 | - | 223 | 31k| 0 | 0 | 0 |1632k| 0 | 4.900000e+01 | 8.100000e+01 | 65.31%
1336.82/1336.83 c 1281s| 1500k| 21087 | 0 | 0.0 | 47M| 116 | - | 223 | 25k| 0 | 0 | 0 |1647k| 0 | 5.300000e+01 | 8.100000e+01 | 52.83%
1343.52/1343.51 c 1287s| 1510k| 25138 | 0 | 0.0 | 49M| 116 | - | 223 | 20k| 0 | 0 | 0 |1654k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
1349.21/1349.22 c 1293s| 1520k| 29785 | 0 | 0.0 | 51M| 116 | - | 223 | 21k| 0 | 0 | 0 |1661k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
1354.92/1354.94 c 1298s| 1530k| 33848 | 0 | 0.0 | 56M| 116 | - | 223 | 24k| 0 | 0 | 0 |1668k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
1367.12/1367.12 c 1310s| 1540k| 32792 | 0 | 0.0 | 57M| 116 | - | 223 | 25k| 0 | 0 | 0 |1681k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
1378.61/1378.66 c 1321s| 1550k| 31226 | 0 | 0.0 | 54M| 116 | - | 223 | 23k| 0 | 0 | 0 |1691k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
1385.82/1385.86 c 1328s| 1560k| 34877 | 0 | 0.0 | 59M| 116 | - | 223 | 27k| 0 | 0 | 0 |1699k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
1396.71/1396.72 c 1338s| 1570k| 36232 | 0 | 0.0 | 63M| 116 | - | 223 | 31k| 0 | 0 | 0 |1710k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
1412.71/1412.73 c 1354s| 1580k| 34540 | 0 | 0.0 | 66M| 116 | - | 223 | 36k| 0 | 0 | 0 |1723k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
1434.22/1434.24 c 1375s| 1590k| 30028 | 0 | 0.0 | 59M| 116 | - | 223 | 28k| 0 | 0 | 0 |1738k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
1449.42/1449.46 c 1390s| 1600k| 29079 | 0 | 0.0 | 62M| 116 | - | 223 | 33k| 0 | 0 | 0 |1752k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
1476.51/1476.51 c 1417s| 1610k| 22397 | 0 | 0.0 | 59M| 116 | - | 223 | 42k| 0 | 0 | 0 |1770k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
1509.72/1509.75 c 1449s| 1620k| 14300 | 0 | 0.0 | 45M| 116 | - | 223 | 38k| 0 | 0 | 0 |1788k| 0 | 5.400000e+01 | 8.100000e+01 | 50.00%
1521.82/1521.82 c 1461s| 1630k| 16943 | 0 | 0.0 | 43M| 116 | - | 223 | 30k| 0 | 0 | 0 |1797k| 0 | 6.000000e+01 | 8.100000e+01 | 35.00%
1531.82/1531.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1531.82/1531.85 c 1471s| 1640k| 19745 | 0 | 0.0 | 44M| 116 | - | 223 | 29k| 0 | 0 | 0 |1806k| 0 | 6.000000e+01 | 8.100000e+01 | 35.00%
1538.52/1538.50 c 1477s| 1650k| 24645 | 0 | 0.0 | 49M| 116 | - | 223 | 32k| 0 | 0 | 0 |1814k| 0 | 6.000000e+01 | 8.100000e+01 | 35.00%
1554.52/1554.53 c 1493s| 1660k| 23622 | 0 | 0.0 | 48M| 116 | - | 223 | 29k| 0 | 0 | 0 |1827k| 0 | 6.000000e+01 | 8.100000e+01 | 35.00%
1564.52/1564.55 c 1502s| 1670k| 26093 | 0 | 0.0 | 50M| 116 | - | 223 | 28k| 0 | 0 | 0 |1837k| 0 | 6.000000e+01 | 8.100000e+01 | 35.00%
1577.52/1577.54 c 1515s| 1680k| 26502 | 0 | 0.0 | 54M| 116 | - | 223 | 35k| 0 | 0 | 0 |1850k| 0 | 6.000000e+01 | 8.100000e+01 | 35.00%
1596.82/1596.88 c 1534s| 1690k| 23461 | 0 | 0.0 | 55M| 116 | - | 223 | 42k| 0 | 0 | 0 |1866k| 0 | 6.000000e+01 | 8.100000e+01 | 35.00%
1613.22/1613.26 c 1550s| 1700k| 23425 | 0 | 0.0 | 53M| 116 | - | 223 | 33k| 0 | 0 | 0 |1879k| 0 | 6.000000e+01 | 8.100000e+01 | 35.00%
1635.82/1635.86 c 1572s| 1710k| 18785 | 0 | 0.0 | 48M| 116 | - | 223 | 37k| 0 | 0 | 0 |1896k| 0 | 6.000000e+01 | 8.100000e+01 | 35.00%
1642.12/1642.19 c 1578s| 1720k| 24636 | 0 | 0.0 | 50M| 116 | - | 223 | 29k| 0 | 0 | 0 |1902k| 0 | 6.000000e+01 | 8.100000e+01 | 35.00%
1654.32/1654.40 c 1590s| 1730k| 25138 | 0 | 0.0 | 46M| 116 | - | 223 | 28k| 0 | 0 | 0 |1913k| 0 | 6.000000e+01 | 8.100000e+01 | 35.00%
1660.82/1660.83 c 1596s| 1740k| 30677 | 0 | 0.0 | 50M| 116 | - | 223 | 27k| 0 | 0 | 0 |1920k| 0 | 6.000000e+01 | 8.100000e+01 | 35.00%
1670.43/1670.49 c 1605s| 1750k| 33667 | 0 | 0.0 | 54M| 116 | - | 223 | 31k| 0 | 0 | 0 |1931k| 0 | 6.300000e+01 | 8.100000e+01 | 28.57%
1684.62/1684.63 c 1619s| 1760k| 32711 | 0 | 0.0 | 57M| 116 | - | 223 | 36k| 0 | 0 | 0 |1945k| 0 | 6.300000e+01 | 8.100000e+01 | 28.57%
1691.73/1691.78 c 1626s| 1770k| 38052 | 0 | 0.0 | 59M| 116 | - | 223 | 29k| 0 | 0 | 0 |1951k| 0 | 6.300000e+01 | 8.100000e+01 | 28.57%
1700.53/1700.60 c 1634s| 1780k| 41941 | 0 | 0.0 | 64M| 116 | - | 223 | 33k| 0 | 0 | 0 |1961k| 0 | 6.300000e+01 | 8.100000e+01 | 28.57%
1714.23/1714.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1714.23/1714.27 c 1648s| 1790k| 43692 | 0 | 0.0 | 69M| 116 | - | 223 | 38k| 0 | 0 | 0 |1973k| 0 | 6.300000e+01 | 8.100000e+01 | 28.57%
1732.82/1732.83 c 1666s| 1800k| 43644 | 0 | 0.0 | 73M| 116 | - | 223 | 41k| 0 | 0 | 0 |1988k| 0 | 6.300000e+01 | 8.100000e+01 | 28.57%
1755.32/1755.34 c 1688s| 1810k| 42056 | 0 | 0.0 | 75M| 116 | - | 223 | 45k| 0 | 0 | 0 |2003k| 0 | 6.300000e+01 | 8.100000e+01 | 28.57%
1776.82/1776.87 c 1709s| 1820k| 41360 | 0 | 0.0 | 73M| 116 | - | 223 | 43k| 0 | 0 | 0 |2017k| 0 | 6.300000e+01 | 8.100000e+01 | 28.57%
1789.53/1789.54 c 1721s| 1830k| 44388 | 0 | 0.0 | 76M| 116 | - | 223 | 38k| 0 | 0 | 0 |2026k| 0 | 6.300000e+01 | 8.100000e+01 | 28.57%
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) : 1731.48
1800.03/1800.00 c Solving Nodes : 1839756
1800.03/1800.00 c Primal Bound : +8.10000000000000e+01 (1 solutions)
1800.03/1800.00 c Dual Bound : +6.30000000000000e+01
1800.03/1800.00 c Gap : 28.57 %
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 : 1731.48
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-2694000-1277899547.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-2694000-1277899547.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, 49599 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 5483521 0 1107535 269 152358 0 0 0
1800.03/1800.00 c setppc : 49 0 5816960 0 1169809 164233 12788470 0 0 0
1800.03/1800.00 c linear : 27 0 5652726 0 1169807 505328 23790635 0 0 0
1800.03/1800.00 c logicor : 9+ 0 3016871 0 1169746 324853 1729699 0 0 0
1800.03/1800.00 c bounddisjunction : 0+ 0 431544 0 0 132 5795 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 1169808 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 : 0.62 0.00 0.32 0.00 0.30
1800.03/1800.00 c setppc : 34.85 0.00 29.34 0.00 5.51
1800.03/1800.00 c linear : 90.34 0.00 90.26 0.00 0.08
1800.03/1800.00 c logicor : 805.49 0.00 804.94 0.00 0.55
1800.03/1800.00 c bounddisjunction : 6.09 0.00 6.09 0.00 0.00
1800.03/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.00 c vbounds : 0.00 2 0 0
1800.03/1800.00 c rootredcost : 0.00 0 0 0
1800.03/1800.00 c pseudoobj : 3.61 5817112 83 106082
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 41.64 994629 994419 5051157 19.9 147181 15.1 -
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.01 13 13 30 8.5 2 13.5 -
1800.03/1800.00 c applied globally : - - - 2029026 15.6 - - -
1800.03/1800.00 c applied locally : - - - 6040 34.5 - - -
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 : 8.07 1169807 0 0 0 0 2339614
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 - 1
1800.03/1800.00 c oneopt : 0.07 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.01 0 0
1800.03/1800.00 c trysol : 0.00 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 : 1839756
1800.03/1800.00 c nodes (total) : 1839756
1800.03/1800.00 c nodes left : 47916
1800.03/1800.00 c max depth : 116
1800.03/1800.00 c max depth (total): 116
1800.03/1800.00 c backtracks : 721199 (39.2%)
1800.03/1800.00 c delayed cutoffs : 451825
1800.03/1800.00 c repropagations : 2241957 (11002420 domain reductions, 324963 cutoffs)
1800.03/1800.00 c avg switch length: 17.31
1800.03/1800.00 c switching time : 579.45
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 1 (1 improvements)
1800.03/1800.00 c First Solution : +8.10000000000000e+01 (in run 1, after 1933 nodes, 0.09 seconds, depth 88, found by <relaxation>)
1800.03/1800.00 c Primal Bound : +8.10000000000000e+01 (in run 1, after 1933 nodes, 0.09 seconds, depth 88, found by <relaxation>)
1800.03/1800.00 c Dual Bound : +6.30000000000000e+01
1800.03/1800.00 c Gap : 28.57 %
1800.03/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Root Iterations : 0
1800.13/1800.14 c Time complete: 1800.17.