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-2693987-1277899110.wbo>
0.00/0.00 c original problem has 227 variables (198 bin, 0 int, 0 impl, 29 cont) and 131 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, 37 impls, 48 clqs
0.00/0.01 c (round 2) 0 del vars, 18 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 37 impls, 48 clqs
0.00/0.01 c (round 3) 1 del vars, 19 del conss, 28 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 37 impls, 48 clqs
0.00/0.01 c (round 4) 2 del vars, 19 del conss, 28 chg bounds, 1 chg sides, 0 chg coeffs, 56 upgd conss, 37 impls, 48 clqs
0.00/0.02 c (0.0s) probing: 101/197 (51.3%) - 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, 19 deleted constraints, 28 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 37 implications, 48 cliques
0.00/0.02 c presolved problem has 225 variables (197 bin, 0 int, 0 impl, 28 cont) and 112 constraints
0.00/0.02 c 28 constraints of type <indicator>
0.00/0.02 c 1 constraints of type <knapsack>
0.00/0.02 c 48 constraints of type <setppc>
0.00/0.02 c 28 constraints of type <linear>
0.00/0.02 c 7 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 | - | 868k| 0 | - | 225 | 112 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.39/1.42 c 1.1s| 10000 | 6672 | 0 | 0.0 |6464k| 150 | - | 225 |3915 | 0 | 0 | 0 |6091 | 0 | 0.000000e+00 | -- | Inf
3.79/3.81 c 3.2s| 20000 | 11504 | 0 | 0.0 | 11M| 150 | - | 225 |5225 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
6.79/6.89 c 5.9s| 30000 | 15386 | 0 | 0.0 | 16M| 150 | - | 225 |8899 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
10.90/10.92 c 9.6s| 40000 | 17859 | 0 | 0.0 | 21M| 150 | - | 225 | 14k| 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
15.50/15.52 c 13.8s| 50000 | 20936 | 0 | 0.0 | 23M| 150 | - | 225 |7949 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
19.49/19.56 c 17.5s| 60000 | 23433 | 0 | 0.0 | 27M| 150 | - | 225 | 10k| 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
26.69/26.76 c 24.4s| 70000 | 22184 | 0 | 0.0 | 31M| 150 | - | 225 | 18k| 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
35.49/35.55 c 32.8s| 80000 | 20533 | 0 | 0.0 | 34M| 150 | - | 225 | 26k| 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
46.50/46.56 c 43.4s| 90000 | 19458 | 0 | 0.0 | 32M| 150 | - | 225 | 22k| 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
50.50/50.55 c 47.0s|100000 | 25307 | 0 | 0.0 | 32M| 150 | - | 225 |9941 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
54.69/54.70 c 50.9s|110000 | 28993 | 0 | 0.0 | 36M| 150 | - | 225 | 11k| 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
63.40/63.44 c 59.2s|120000 | 26573 | 0 | 0.0 | 36M| 150 | - | 225 | 18k| 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
76.79/76.90 c 72.2s|130000 | 22343 | 0 | 0.0 | 29M| 150 | - | 225 | 19k| 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
84.40/84.45 c 79.4s|140000 | 24505 | 0 | 0.0 | 30M| 150 | - | 225 | 15k| 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
92.19/92.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
92.19/92.20 c 86.8s|150000 | 25693 | 0 | 0.0 | 32M| 150 | - | 225 | 18k| 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
100.99/101.07 c 95.3s|160000 | 26307 | 0 | 0.0 | 34M| 150 | - | 225 | 21k| 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
112.59/112.63 c 106s|170000 | 24589 | 0 | 0.0 | 34M| 150 | - | 225 | 25k| 0 | 0 | 0 | 222k| 0 | 1.000000e+00 | -- | Inf
129.20/129.27 c 123s|180000 | 21817 | 0 | 0.0 | 35M| 150 | - | 225 | 28k| 0 | 0 | 0 | 243k| 0 | 1.000000e+00 | -- | Inf
149.60/149.64 c 142s|190000 | 17439 | 0 | 0.0 | 36M| 150 | - | 225 | 35k| 0 | 0 | 0 | 263k| 0 | 1.000000e+00 | -- | Inf
175.40/175.46 c 168s|200000 | 11211 | 0 | 0.0 | 31M| 150 | - | 225 | 39k| 0 | 0 | 0 | 285k| 0 | 1.000000e+00 | -- | Inf
187.80/187.81 c 180s|210000 | 13323 | 0 | 0.0 | 19M| 150 | - | 225 |8276 | 0 | 0 | 0 | 294k| 0 | 7.000000e+00 | -- | Inf
190.20/190.27 c 182s|220000 | 19331 | 0 | 0.0 | 22M| 150 | - | 225 |6396 | 0 | 0 | 0 | 298k| 0 | 7.000000e+00 | -- | Inf
192.51/192.58 c 184s|230000 | 25751 | 0 | 0.0 | 26M| 150 | - | 225 |6716 | 0 | 0 | 0 | 302k| 0 | 7.000000e+00 | -- | Inf
195.40/195.45 c 186s|240000 | 31218 | 0 | 0.0 | 31M| 150 | - | 225 |8091 | 0 | 0 | 0 | 307k| 0 | 7.000000e+00 | -- | Inf
199.19/199.23 c 190s|250000 | 35241 | 0 | 0.0 | 35M| 150 | - | 225 | 10k| 0 | 0 | 0 | 313k| 0 | 7.000000e+00 | -- | Inf
204.60/204.66 c 195s|260000 | 36482 | 0 | 0.0 | 38M| 150 | - | 225 | 13k| 0 | 0 | 0 | 322k| 0 | 7.000000e+00 | -- | Inf
209.29/209.39 c 199s|270000 | 40546 | 0 | 0.0 | 42M| 150 | - | 225 | 11k| 0 | 0 | 0 | 329k| 0 | 7.000000e+00 | -- | Inf
213.89/213.97 c 204s|280000 | 44377 | 0 | 0.0 | 46M| 150 | - | 225 | 12k| 0 | 0 | 0 | 336k| 0 | 7.000000e+00 | -- | Inf
219.60/219.60 c 209s|290000 | 46847 | 0 | 0.0 | 50M| 150 | - | 225 | 13k| 0 | 0 | 0 | 344k| 0 | 7.000000e+00 | -- | Inf
226.00/226.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
226.00/226.09 c 215s|300000 | 48410 | 0 | 0.0 | 53M| 150 | - | 225 | 15k| 0 | 0 | 0 | 353k| 0 | 7.000000e+00 | -- | Inf
233.30/233.32 c 222s|310000 | 49052 | 0 | 0.0 | 56M| 150 | - | 225 | 15k| 0 | 0 | 0 | 363k| 0 | 7.000000e+00 | -- | Inf
242.20/242.21 c 230s|320000 | 47508 | 0 | 0.0 | 58M| 150 | - | 225 | 18k| 0 | 0 | 0 | 375k| 0 | 7.000000e+00 | -- | Inf
252.10/252.10 c 240s|330000 | 46138 | 0 | 0.0 | 58M| 150 | - | 225 | 19k| 0 | 0 | 0 | 386k| 0 | 7.000000e+00 | -- | Inf
263.80/263.84 c 251s|340000 | 44580 | 0 | 0.0 | 60M| 150 | - | 225 | 20k| 0 | 0 | 0 | 399k| 0 | 7.000000e+00 | -- | Inf
276.89/276.94 c 264s|350000 | 42554 | 0 | 0.0 | 62M| 150 | - | 225 | 23k| 0 | 0 | 0 | 412k| 0 | 7.000000e+00 | -- | Inf
292.51/292.55 c 279s|360000 | 39179 | 0 | 0.0 | 62M| 150 | - | 225 | 26k| 0 | 0 | 0 | 426k| 0 | 7.000000e+00 | -- | Inf
310.50/310.55 c 296s|370000 | 33025 | 0 | 0.0 | 56M| 150 | - | 225 | 27k| 0 | 0 | 0 | 442k| 0 | 7.000000e+00 | -- | Inf
333.60/333.64 c 319s|380000 | 25178 | 0 | 0.0 | 49M| 150 | - | 225 | 32k| 0 | 0 | 0 | 460k| 0 | 7.000000e+00 | -- | Inf
342.50/342.58 c 327s|390000 | 28221 | 0 | 0.0 | 41M| 150 | - | 225 | 13k| 0 | 0 | 0 | 467k| 0 | 1.400000e+01 | -- | Inf
346.40/346.49 c 331s|400000 | 33473 | 0 | 0.0 | 44M| 150 | - | 225 |8760 | 0 | 0 | 0 | 473k| 0 | 1.400000e+01 | -- | Inf
350.20/350.23 c 334s|410000 | 38515 | 0 | 0.0 | 48M| 150 | - | 225 | 10k| 0 | 0 | 0 | 480k| 0 | 1.400000e+01 | -- | Inf
356.10/356.12 c 340s|420000 | 40772 | 0 | 0.0 | 53M| 150 | - | 225 | 15k| 0 | 0 | 0 | 489k| 0 | 1.400000e+01 | -- | Inf
363.01/363.08 c 346s|430000 | 43389 | 0 | 0.0 | 56M| 150 | - | 225 | 15k| 0 | 0 | 0 | 499k| 0 | 1.400000e+01 | -- | Inf
370.51/370.54 c 353s|440000 | 45644 | 0 | 0.0 | 59M| 150 | - | 225 | 15k| 0 | 0 | 0 | 510k| 0 | 1.400000e+01 | -- | Inf
379.60/379.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
379.60/379.61 c 362s|450000 | 45722 | 0 | 0.0 | 63M| 150 | - | 225 | 17k| 0 | 0 | 0 | 523k| 0 | 1.400000e+01 | -- | Inf
390.90/390.92 c 373s|460000 | 43666 | 0 | 0.0 | 64M| 150 | - | 225 | 22k| 0 | 0 | 0 | 537k| 0 | 1.400000e+01 | -- | Inf
401.00/401.07 c 383s|470000 | 43578 | 0 | 0.0 | 64M| 150 | - | 225 | 20k| 0 | 0 | 0 | 550k| 0 | 1.400000e+01 | -- | Inf
413.90/413.94 c 395s|480000 | 41645 | 0 | 0.0 | 66M| 150 | - | 225 | 23k| 0 | 0 | 0 | 565k| 0 | 1.400000e+01 | -- | Inf
430.51/430.55 c 411s|490000 | 37459 | 0 | 0.0 | 58M| 150 | - | 225 | 14k| 0 | 0 | 0 | 581k| 0 | 1.400000e+01 | -- | Inf
437.81/437.85 c 418s|500000 | 35962 | 0 | 0.0 | 56M| 150 | - | 225 | 12k| 0 | 0 | 0 | 596k| 0 | 1.400000e+01 | -- | Inf
445.60/445.64 c 426s|510000 | 36444 | 0 | 0.0 | 52M| 150 | - | 225 |8573 | 0 | 0 | 0 | 608k| 0 | 1.400000e+01 | -- | Inf
451.10/451.17 c 431s|520000 | 38133 | 0 | 0.0 | 55M| 150 | - | 225 | 13k| 0 | 0 | 0 | 620k| 0 | 1.400000e+01 | -- | Inf
457.00/457.05 c 436s|530000 | 39615 | 0 | 0.0 | 57M| 150 | - | 225 | 10k| 0 | 0 | 0 | 633k| 0 | 1.700000e+01 | -- | Inf
466.10/466.12 c 445s|540000 | 38345 | 0 | 0.0 | 60M| 150 | - | 225 | 17k| 0 | 0 | 0 | 649k| 0 | 1.700000e+01 | -- | Inf
473.10/473.12 c 452s|550000 | 40989 | 0 | 0.0 | 59M| 150 | - | 225 |7586 | 0 | 0 | 0 | 659k| 0 | 1.700000e+01 | -- | Inf
476.80/476.82 c 455s|560000 | 44516 | 0 | 0.0 | 61M| 150 | - | 225 |7206 | 0 | 0 | 0 | 669k| 0 | 1.700000e+01 | -- | Inf
485.91/485.95 c 464s|570000 | 40780 | 0 | 0.0 | 59M| 150 | - | 225 | 15k| 0 | 0 | 0 | 689k| 0 | 1.700000e+01 | -- | Inf
494.00/494.05 c 471s|580000 | 42265 | 0 | 0.0 | 57M| 150 | - | 225 | 10k| 0 | 0 | 0 | 700k| 0 | 1.700000e+01 | -- | Inf
497.21/497.22 c 474s|590000 | 48241 | 0 | 0.0 | 60M| 150 | - | 225 |8778 | 0 | 0 | 0 | 706k| 0 | 1.700000e+01 | -- | Inf
501.81/501.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
501.81/501.85 c 478s|600000 | 51517 | 0 | 0.0 | 64M| 150 | - | 225 |9742 | 0 | 0 | 0 | 715k| 0 | 1.700000e+01 | -- | Inf
506.11/506.17 c 482s|610000 | 54807 | 0 | 0.0 | 65M| 150 | - | 225 |3559 | 0 | 0 | 0 | 723k| 0 | 1.700000e+01 | -- | Inf
511.01/511.02 c 487s|620000 | 55162 | 0 | 0.0 | 65M| 150 | - | 225 |8213 | 0 | 0 | 0 | 736k| 0 | 1.700000e+01 | -- | Inf
515.11/515.13 c 491s|630000 | 59129 | 0 | 0.0 | 66M| 150 | - | 225 |8853 | 0 | 0 | 0 | 745k| 0 | 1.700000e+01 | -- | Inf
519.60/519.69 c 495s|640000 | 62860 | 0 | 0.0 | 70M| 150 | - | 225 | 11k| 0 | 0 | 0 | 754k| 0 | 1.900000e+01 | -- | Inf
525.91/525.97 c 501s|650000 | 64890 | 0 | 0.0 | 74M| 150 | - | 225 | 14k| 0 | 0 | 0 | 766k| 0 | 1.900000e+01 | -- | Inf
534.31/534.32 c 509s|660000 | 65558 | 0 | 0.0 | 78M| 150 | - | 225 | 18k| 0 | 0 | 0 | 778k| 0 | 1.900000e+01 | -- | Inf
546.91/546.96 c 521s|670000 | 62975 | 0 | 0.0 | 79M| 150 | - | 225 | 22k| 0 | 0 | 0 | 795k| 0 | 1.900000e+01 | -- | Inf
552.80/552.80 c 526s|680000 | 67126 | 0 | 0.0 | 77M| 150 | - | 225 |4886 | 0 | 0 | 0 | 800k| 0 | 1.900000e+01 | -- | Inf
555.71/555.76 c 529s|690000 | 71775 | 0 | 0.0 | 80M| 150 | - | 225 |4981 | 0 | 0 | 0 | 806k| 0 | 1.900000e+01 | -- | Inf
560.00/560.08 c 533s|700000 | 73818 | 0 | 0.0 | 84M| 150 | - | 225 |6921 | 0 | 0 | 0 | 815k| 0 | 1.900000e+01 | -- | Inf
565.91/565.95 c 538s|710000 | 74099 | 0 | 0.0 | 86M| 150 | - | 225 | 10k| 0 | 0 | 0 | 827k| 0 | 1.900000e+01 | -- | Inf
574.01/574.03 c 546s|720000 | 74226 | 0 | 0.0 | 90M| 150 | - | 225 | 15k| 0 | 0 | 0 | 842k| 0 | 1.900000e+01 | -- | Inf
585.41/585.40 c 557s|730000 | 72935 | 0 | 0.0 | 93M| 150 | - | 225 | 20k| 0 | 0 | 0 | 859k| 0 | 1.900000e+01 | -- | Inf
604.50/604.59 c 576s|740000 | 68210 | 0 | 0.0 | 93M| 150 | - | 225 | 29k| 0 | 0 | 0 | 879k| 0 | 1.900000e+01 | -- | Inf
623.21/623.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
623.21/623.25 c 594s|750000 | 65681 | 0 | 0.0 | 83M| 150 | - | 225 | 12k| 0 | 0 | 0 | 892k| 0 | 1.900000e+01 | -- | Inf
628.81/628.84 c 599s|760000 | 67561 | 0 | 0.0 | 85M| 150 | - | 225 |8598 | 0 | 0 | 0 | 900k| 0 | 1.900000e+01 | -- | Inf
634.62/634.61 c 605s|770000 | 68623 | 0 | 0.0 | 88M| 150 | - | 225 |9343 | 0 | 0 | 0 | 910k| 0 | 1.900000e+01 | -- | Inf
640.71/640.74 c 610s|780000 | 69283 | 0 | 0.0 | 90M| 150 | - | 225 |9694 | 0 | 0 | 0 | 919k| 0 | 1.900000e+01 | -- | Inf
648.21/648.22 c 618s|790000 | 67668 | 0 | 0.0 | 91M| 150 | - | 225 | 12k| 0 | 0 | 0 | 931k| 0 | 1.900000e+01 | -- | Inf
664.01/664.08 c 633s|800000 | 61252 | 0 | 0.0 | 84M| 150 | - | 225 | 18k| 0 | 0 | 0 | 952k| 0 | 1.900000e+01 | -- | Inf
673.71/673.71 c 642s|810000 | 60452 | 0 | 0.0 | 82M| 150 | - | 225 | 14k| 0 | 0 | 0 | 963k| 0 | 1.900000e+01 | -- | Inf
683.52/683.57 c 652s|820000 | 59092 | 0 | 0.0 | 82M| 150 | - | 225 | 16k| 0 | 0 | 0 | 975k| 0 | 2.000000e+01 | -- | Inf
695.61/695.63 c 663s|830000 | 55329 | 0 | 0.0 | 80M| 150 | - | 225 | 18k| 0 | 0 | 0 | 988k| 0 | 2.000000e+01 | -- | Inf
707.22/707.25 c 674s|840000 | 52699 | 0 | 0.0 | 79M| 150 | - | 225 | 20k| 0 | 0 | 0 |1000k| 0 | 2.000000e+01 | -- | Inf
724.41/724.44 c 691s|850000 | 46656 | 0 | 0.0 | 74M| 150 | - | 225 | 23k| 0 | 0 | 0 |1015k| 0 | 2.000000e+01 | -- | Inf
734.51/734.51 c 701s|860000 | 46006 | 0 | 0.0 | 68M| 150 | - | 225 | 10k| 0 | 0 | 0 |1025k| 0 | 2.600000e+01 | -- | Inf
737.91/737.98 c 704s|870000 | 50933 | 0 | 0.0 | 68M| 150 | - | 225 |3270 | 0 | 0 | 0 |1031k| 0 | 2.600000e+01 | -- | Inf
740.71/740.76 c 706s|880000 | 55567 | 0 | 0.0 | 71M| 150 | - | 225 |4833 | 0 | 0 | 0 |1036k| 0 | 2.600000e+01 | -- | Inf
744.22/744.25 c 709s|890000 | 59025 | 0 | 0.0 | 75M| 150 | - | 225 |6930 | 0 | 0 | 0 |1043k| 0 | 2.600000e+01 | -- | Inf
746.82/746.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
746.82/746.88 c 712s|900000 | 65203 | 0 | 0.0 | 77M| 150 | - | 225 |4217 | 0 | 0 | 0 |1049k| 0 | 2.600000e+01 | -- | Inf
749.21/749.21 c 714s|910000 | 71381 | 0 | 0.0 | 81M| 150 | - | 225 |4918 | 0 | 0 | 0 |1054k| 0 | 2.600000e+01 | -- | Inf
751.82/751.83 c 716s|920000 | 77139 | 0 | 0.0 | 85M| 150 | - | 225 |5276 | 0 | 0 | 0 |1059k| 0 | 2.600000e+01 | -- | Inf
755.01/755.06 c 719s|930000 | 81814 | 0 | 0.0 | 89M| 150 | - | 225 |6438 | 0 | 0 | 0 |1064k| 0 | 2.600000e+01 | -- | Inf
758.81/758.81 c 722s|940000 | 85858 | 0 | 0.0 | 93M| 150 | - | 225 |7669 | 0 | 0 | 0 |1071k| 0 | 2.600000e+01 | -- | Inf
763.22/763.21 c 726s|950000 | 89065 | 0 | 0.0 | 97M| 150 | - | 225 |8979 | 0 | 0 | 0 |1079k| 0 | 2.600000e+01 | -- | Inf
768.52/768.52 c 731s|960000 | 91025 | 0 | 0.0 | 101M| 150 | - | 225 | 11k| 0 | 0 | 0 |1088k| 0 | 2.600000e+01 | -- | Inf
775.52/775.54 c 738s|970000 | 90750 | 0 | 0.0 | 103M| 150 | - | 225 | 13k| 0 | 0 | 0 |1099k| 0 | 2.600000e+01 | -- | Inf
780.22/780.21 c 742s|980000 | 95190 | 0 | 0.0 | 105M| 150 | - | 225 |8822 | 0 | 0 | 0 |1106k| 0 | 2.600000e+01 | -- | Inf
784.72/784.76 c 747s|990000 | 98948 | 0 | 0.0 | 109M| 150 | - | 225 | 10k| 0 | 0 | 0 |1114k| 0 | 2.600000e+01 | -- | Inf
789.72/789.73 c 751s| 1000k|102391 | 0 | 0.0 | 113M| 150 | - | 225 | 10k| 0 | 0 | 0 |1122k| 0 | 2.600000e+01 | -- | Inf
794.92/794.96 c 756s| 1010k|105385 | 0 | 0.0 | 116M| 150 | - | 225 | 10k| 0 | 0 | 0 |1131k| 0 | 2.600000e+01 | -- | Inf
800.72/800.79 c 762s| 1020k|107513 | 0 | 0.0 | 119M| 150 | - | 225 | 11k| 0 | 0 | 0 |1140k| 0 | 2.600000e+01 | -- | Inf
806.91/806.96 c 767s| 1030k|109132 | 0 | 0.0 | 123M| 150 | - | 225 | 11k| 0 | 0 | 0 |1150k| 0 | 2.600000e+01 | -- | Inf
813.52/813.51 c 774s| 1040k|110314 | 0 | 0.0 | 125M| 150 | - | 225 | 11k| 0 | 0 | 0 |1159k| 0 | 2.600000e+01 | -- | Inf
820.91/820.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
820.91/820.94 c 781s| 1050k|110495 | 0 | 0.0 | 128M| 150 | - | 225 | 13k| 0 | 0 | 0 |1170k| 0 | 2.600000e+01 | -- | Inf
829.32/829.34 c 789s| 1060k|109848 | 0 | 0.0 | 129M| 150 | - | 225 | 14k| 0 | 0 | 0 |1182k| 0 | 2.600000e+01 | -- | Inf
839.23/839.22 c 798s| 1070k|108087 | 0 | 0.0 | 131M| 150 | - | 225 | 16k| 0 | 0 | 0 |1195k| 0 | 2.600000e+01 | -- | Inf
850.61/850.61 c 809s| 1080k|105092 | 0 | 0.0 | 130M| 150 | - | 225 | 20k| 0 | 0 | 0 |1209k| 0 | 2.600000e+01 | -- | Inf
860.62/860.68 c 819s| 1090k|104439 | 0 | 0.0 | 128M| 150 | - | 225 | 13k| 0 | 0 | 0 |1221k| 0 | 2.600000e+01 | -- | Inf
871.92/871.95 c 830s| 1100k|103034 | 0 | 0.0 | 131M| 150 | - | 225 | 19k| 0 | 0 | 0 |1235k| 0 | 2.600000e+01 | -- | Inf
885.61/885.67 c 843s| 1110k|101678 | 0 | 0.0 | 134M| 150 | - | 225 | 23k| 0 | 0 | 0 |1249k| 0 | 2.600000e+01 | -- | Inf
902.41/902.43 c 859s| 1120k| 99082 | 0 | 0.0 | 134M| 150 | - | 225 | 23k| 0 | 0 | 0 |1263k| 0 | 2.600000e+01 | -- | Inf
919.01/919.05 c 875s| 1130k| 96003 | 0 | 0.0 | 133M| 150 | - | 225 | 22k| 0 | 0 | 0 |1278k| 0 | 2.600000e+01 | -- | Inf
935.92/935.96 c 892s| 1140k| 91968 | 0 | 0.0 | 130M| 150 | - | 225 | 21k| 0 | 0 | 0 |1293k| 0 | 2.600000e+01 | -- | Inf
954.22/954.24 c 910s| 1150k| 86759 | 0 | 0.0 | 127M| 150 | - | 225 | 23k| 0 | 0 | 0 |1310k| 0 | 2.600000e+01 | -- | Inf
976.12/976.13 c 931s| 1160k| 78237 | 0 | 0.0 | 118M| 150 | - | 225 | 26k| 0 | 0 | 0 |1329k| 0 | 2.600000e+01 | -- | Inf
981.72/981.70 c 936s| 1170k| 82353 | 0 | 0.0 | 116M| 150 | - | 225 | 11k| 0 | 0 | 0 |1335k| 0 | 2.600000e+01 | -- | Inf
999.52/999.54 c 954s| 1180k| 73869 | 0 | 0.0 | 110M| 150 | - | 225 | 22k| 0 | 0 | 0 |1355k| 0 | 2.600000e+01 | -- | Inf
1018.32/1018.36 c 972s| 1190k| 69238 | 0 | 0.0 | 95M| 150 | - | 225 | 12k| 0 | 0 | 0 |1370k| 0 | 2.600000e+01 | -- | Inf
1022.02/1022.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1022.02/1022.05 c 975s| 1200k| 74933 | 0 | 0.0 | 98M| 150 | - | 225 |9739 | 0 | 0 | 0 |1374k| 0 | 2.600000e+01 | -- | Inf
1027.33/1027.34 c 980s| 1210k| 77919 | 0 | 0.0 | 102M| 150 | - | 225 | 12k| 0 | 0 | 0 |1382k| 0 | 2.600000e+01 | -- | Inf
1033.52/1033.54 c 986s| 1220k| 80316 | 0 | 0.0 | 103M| 150 | - | 225 | 14k| 0 | 0 | 0 |1391k| 0 | 2.900000e+01 | -- | Inf
1039.72/1039.70 c 992s| 1230k| 84162 | 0 | 0.0 | 107M| 150 | - | 225 | 14k| 0 | 0 | 0 |1399k| 0 | 2.900000e+01 | -- | Inf
1046.92/1046.96 c 999s| 1240k| 86730 | 0 | 0.0 | 111M| 150 | - | 225 | 15k| 0 | 0 | 0 |1408k| 0 | 2.900000e+01 | -- | Inf
1056.52/1056.53 c 1008s| 1250k| 87297 | 0 | 0.0 | 114M| 150 | - | 225 | 18k| 0 | 0 | 0 |1419k| 0 | 2.900000e+01 | -- | Inf
1068.12/1068.11 c 1019s| 1260k| 85974 | 0 | 0.0 | 116M| 150 | - | 225 | 22k| 0 | 0 | 0 |1431k| 0 | 2.900000e+01 | -- | Inf
1080.12/1080.19 c 1031s| 1270k| 85615 | 0 | 0.0 | 118M| 150 | - | 225 | 23k| 0 | 0 | 0 |1444k| 0 | 2.900000e+01 | -- | Inf
1096.22/1096.24 c 1046s| 1280k| 84827 | 0 | 0.0 | 120M| 150 | - | 225 | 25k| 0 | 0 | 0 |1458k| 0 | 2.900000e+01 | -- | Inf
1116.22/1116.26 c 1066s| 1290k| 81696 | 0 | 0.0 | 120M| 150 | - | 225 | 28k| 0 | 0 | 0 |1474k| 0 | 2.900000e+01 | -- | Inf
1138.62/1138.69 c 1088s| 1300k| 76732 | 0 | 0.0 | 117M| 150 | - | 225 | 32k| 0 | 0 | 0 |1491k| 0 | 2.900000e+01 | -- | Inf
1158.34/1158.31 c 1107s| 1310k| 73541 | 0 | 0.0 | 112M| 150 | - | 225 | 24k| 0 | 0 | 0 |1505k| 0 | 2.900000e+01 | -- | Inf
1183.83/1183.82 c 1132s| 1320k| 65811 | 0 | 0.0 | 102M| 150 | - | 225 | 28k| 0 | 0 | 0 |1525k| 0 | 2.900000e+01 | -- | Inf
1196.23/1196.26 c 1144s| 1330k| 66448 | 0 | 0.0 | 95M| 150 | - | 225 | 10k| 0 | 0 | 0 |1536k| 0 | 3.600000e+01 | -- | Inf
1202.23/1202.26 c 1150s| 1340k| 67972 | 0 | 0.0 | 97M| 150 | - | 225 |8877 | 0 | 0 | 0 |1547k| 0 | 3.600000e+01 | -- | Inf
1209.53/1209.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1209.53/1209.56 c 1157s| 1350k| 67698 | 0 | 0.0 | 97M| 150 | - | 225 |6273 | 0 | 0 | 0 |1559k| 0 | 3.600000e+01 | -- | Inf
1217.03/1217.04 c 1164s| 1360k| 65301 | 0 | 0.0 | 96M| 150 | - | 225 | 10k| 0 | 0 | 0 |1573k| 0 | 3.600000e+01 | -- | Inf
1224.82/1224.88 c 1171s| 1370k| 62429 | 0 | 0.0 | 94M| 150 | - | 225 |9844 | 0 | 0 | 0 |1585k| 0 | 3.600000e+01 | -- | Inf
1232.93/1232.99 c 1179s| 1380k| 59739 | 0 | 0.0 | 91M| 150 | - | 225 |9068 | 0 | 0 | 0 |1598k| 0 | 4.300000e+01 | -- | Inf
1238.72/1238.76 c 1184s| 1390k| 60129 | 0 | 0.0 | 91M| 150 | - | 225 |7814 | 0 | 0 | 0 |1609k| 0 | 4.300000e+01 | -- | Inf
1245.63/1245.61 c 1191s| 1400k| 59358 | 0 | 0.0 | 91M| 150 | - | 225 |9398 | 0 | 0 | 0 |1621k| 0 | 4.300000e+01 | -- | Inf
1254.03/1254.03 c 1199s| 1410k| 57832 | 0 | 0.0 | 89M| 150 | - | 225 | 10k| 0 | 0 | 0 |1633k| 0 | 4.500000e+01 | -- | Inf
1264.73/1264.72 c 1209s| 1420k| 54473 | 0 | 0.0 | 88M| 150 | - | 225 | 13k| 0 | 0 | 0 |1649k| 0 | 4.500000e+01 | -- | Inf
1274.23/1274.22 c 1218s| 1430k| 52113 | 0 | 0.0 | 82M| 150 | - | 225 |6933 | 0 | 0 | 0 |1662k| 0 | 4.600000e+01 | -- | Inf
1277.63/1277.67 c 1221s| 1440k| 56056 | 0 | 0.0 | 84M| 150 | - | 225 |7255 | 0 | 0 | 0 |1668k| 0 | 4.700000e+01 | -- | Inf
1280.03/1280.06 c 1223s| 1450k| 62754 | 0 | 0.0 | 87M| 150 | - | 225 |5184 | 0 | 0 | 0 |1671k| 0 | 4.700000e+01 | -- | Inf
1282.83/1282.89 c 1226s| 1460k| 68202 | 0 | 0.0 | 91M| 150 | - | 225 |7296 | 0 | 0 | 0 |1676k| 0 | 4.700000e+01 | -- | Inf
1287.93/1287.90 c 1230s| 1470k| 70178 | 0 | 0.0 | 96M| 150 | - | 225 | 10k| 0 | 0 | 0 |1683k| 0 | 4.700000e+01 | -- | Inf
1292.63/1292.64 c 1235s| 1480k| 72973 | 0 | 0.0 | 96M| 150 | - | 225 |5755 | 0 | 0 | 0 |1691k| 0 | 4.700000e+01 | -- | Inf
1295.63/1295.66 c 1237s| 1490k| 78045 | 0 | 0.0 | 100M| 150 | - | 225 |5807 | 0 | 0 | 0 |1695k| 0 | 4.700000e+01 | -- | Inf
1299.63/1299.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1299.63/1299.69 c 1241s| 1500k| 81318 | 0 | 0.0 | 105M| 150 | - | 225 |7684 | 0 | 0 | 0 |1702k| 0 | 4.700000e+01 | -- | Inf
1305.13/1305.12 c 1246s| 1510k| 82970 | 0 | 0.0 | 109M| 150 | - | 225 | 10k| 0 | 0 | 0 |1710k| 0 | 4.700000e+01 | -- | Inf
1312.43/1312.47 c 1253s| 1520k| 82897 | 0 | 0.0 | 112M| 150 | - | 225 | 12k| 0 | 0 | 0 |1720k| 0 | 4.700000e+01 | -- | Inf
1322.03/1322.02 c 1262s| 1530k| 80617 | 0 | 0.0 | 112M| 150 | - | 225 | 14k| 0 | 0 | 0 |1731k| 0 | 4.700000e+01 | -- | Inf
1326.93/1326.97 c 1267s| 1540k| 84805 | 0 | 0.0 | 114M| 150 | - | 225 |9505 | 0 | 0 | 0 |1739k| 0 | 4.700000e+01 | -- | Inf
1333.24/1333.28 c 1272s| 1550k| 85903 | 0 | 0.0 | 116M| 150 | - | 225 | 10k| 0 | 0 | 0 |1749k| 0 | 4.700000e+01 | -- | Inf
1339.33/1339.35 c 1278s| 1560k| 87485 | 0 | 0.0 | 119M| 150 | - | 225 | 10k| 0 | 0 | 0 |1757k| 0 | 4.700000e+01 | -- | Inf
1346.93/1346.98 c 1285s| 1570k| 87428 | 0 | 0.0 | 121M| 150 | - | 225 | 13k| 0 | 0 | 0 |1768k| 0 | 4.700000e+01 | -- | Inf
1357.63/1357.70 c 1296s| 1580k| 84934 | 0 | 0.0 | 122M| 150 | - | 225 | 17k| 0 | 0 | 0 |1780k| 0 | 4.700000e+01 | -- | Inf
1371.34/1371.36 c 1309s| 1590k| 80780 | 0 | 0.0 | 117M| 150 | - | 225 | 17k| 0 | 0 | 0 |1793k| 0 | 4.700000e+01 | -- | Inf
1379.83/1379.80 c 1317s| 1600k| 80666 | 0 | 0.0 | 118M| 150 | - | 225 | 12k| 0 | 0 | 0 |1806k| 0 | 4.700000e+01 | -- | Inf
1388.73/1388.73 c 1325s| 1610k| 80055 | 0 | 0.0 | 120M| 150 | - | 225 | 18k| 0 | 0 | 0 |1820k| 0 | 4.700000e+01 | -- | Inf
1402.13/1402.19 c 1338s| 1620k| 76023 | 0 | 0.0 | 117M| 150 | - | 225 | 19k| 0 | 0 | 0 |1833k| 0 | 4.700000e+01 | -- | Inf
1420.04/1420.01 c 1356s| 1630k| 68804 | 0 | 0.0 | 108M| 150 | - | 225 | 18k| 0 | 0 | 0 |1851k| 0 | 4.700000e+01 | -- | Inf
1435.04/1435.03 c 1370s| 1640k| 62847 | 0 | 0.0 | 104M| 150 | - | 225 | 22k| 0 | 0 | 0 |1869k| 0 | 4.700000e+01 | -- | Inf
1444.34/1444.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1444.34/1444.31 c 1379s| 1650k| 62615 | 0 | 0.0 | 95M| 150 | - | 225 |8858 | 0 | 0 | 0 |1879k| 0 | 4.800000e+01 | -- | Inf
1447.64/1447.61 c 1382s| 1660k| 67500 | 0 | 0.0 | 97M| 150 | - | 225 |7123 | 0 | 0 | 0 |1884k| 0 | 5.200000e+01 | -- | Inf
1449.63/1449.62 c 1384s| 1670k| 74698 | 0 | 0.0 | 100M| 150 | - | 225 |4843 | 0 | 0 | 0 |1886k| 0 | 5.200000e+01 | -- | Inf
1451.94/1451.90 c 1386s| 1680k| 81103 | 0 | 0.0 | 104M| 150 | - | 225 |6423 | 0 | 0 | 0 |1889k| 0 | 5.200000e+01 | -- | Inf
1454.93/1454.96 c 1388s| 1690k| 86216 | 0 | 0.0 | 108M| 150 | - | 225 |7264 | 0 | 0 | 0 |1894k| 0 | 5.200000e+01 | -- | Inf
1459.53/1459.51 c 1393s| 1700k| 88722 | 0 | 0.0 | 112M| 150 | - | 225 |8990 | 0 | 0 | 0 |1900k| 0 | 5.200000e+01 | -- | Inf
1463.84/1463.85 c 1397s| 1710k| 92307 | 0 | 0.0 | 114M| 150 | - | 225 |7539 | 0 | 0 | 0 |1906k| 0 | 5.200000e+01 | -- | Inf
1467.23/1467.29 c 1400s| 1720k| 97300 | 0 | 0.0 | 118M| 150 | - | 225 |7469 | 0 | 0 | 0 |1911k| 0 | 5.200000e+01 | -- | Inf
1471.84/1471.86 c 1404s| 1730k|100545 | 0 | 0.0 | 122M| 150 | - | 225 |9263 | 0 | 0 | 0 |1917k| 0 | 5.200000e+01 | -- | Inf
1477.63/1477.63 c 1409s| 1740k|102569 | 0 | 0.0 | 126M| 150 | - | 225 | 11k| 0 | 0 | 0 |1924k| 0 | 5.200000e+01 | -- | Inf
1484.53/1484.56 c 1416s| 1750k|103502 | 0 | 0.0 | 129M| 150 | - | 225 | 13k| 0 | 0 | 0 |1932k| 0 | 5.200000e+01 | -- | Inf
1493.34/1493.36 c 1424s| 1760k|102758 | 0 | 0.0 | 132M| 150 | - | 225 | 14k| 0 | 0 | 0 |1942k| 0 | 5.200000e+01 | -- | Inf
1503.44/1503.41 c 1434s| 1770k|100234 | 0 | 0.0 | 133M| 150 | - | 225 | 14k| 0 | 0 | 0 |1953k| 0 | 5.200000e+01 | -- | Inf
1511.14/1511.17 c 1441s| 1780k|100339 | 0 | 0.0 | 130M| 150 | - | 225 |7486 | 0 | 0 | 0 |1963k| 0 | 5.200000e+01 | -- | Inf
1515.44/1515.49 c 1445s| 1790k|103983 | 0 | 0.0 | 134M| 150 | - | 225 |8631 | 0 | 0 | 0 |1968k| 0 | 5.200000e+01 | -- | Inf
1521.74/1521.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1521.74/1521.75 c 1451s| 1800k|105427 | 0 | 0.0 | 138M| 150 | - | 225 | 11k| 0 | 0 | 0 |1977k| 0 | 5.200000e+01 | -- | Inf
1530.44/1530.45 c 1459s| 1810k|104967 | 0 | 0.0 | 140M| 150 | - | 225 | 14k| 0 | 0 | 0 |1986k| 0 | 5.200000e+01 | -- | Inf
1542.83/1542.85 c 1471s| 1820k|102444 | 0 | 0.0 | 142M| 150 | - | 225 | 19k| 0 | 0 | 0 |1998k| 0 | 5.200000e+01 | -- | Inf
1559.63/1559.63 c 1488s| 1830k| 97799 | 0 | 0.0 | 139M| 150 | - | 225 | 23k| 0 | 0 | 0 |2011k| 0 | 5.200000e+01 | -- | Inf
1572.04/1572.05 c 1500s| 1840k| 97263 | 0 | 0.0 | 133M| 150 | - | 225 | 10k| 0 | 0 | 0 |2021k| 0 | 5.200000e+01 | -- | Inf
1576.64/1576.69 c 1504s| 1850k| 99425 | 0 | 0.0 | 134M| 150 | - | 225 |6290 | 0 | 0 | 0 |2031k| 0 | 5.200000e+01 | -- | Inf
1582.95/1583.00 c 1510s| 1860k| 99012 | 0 | 0.0 | 135M| 150 | - | 225 |9640 | 0 | 0 | 0 |2040k| 0 | 5.200000e+01 | -- | Inf
1596.84/1596.85 c 1523s| 1870k| 92258 | 0 | 0.0 | 130M| 150 | - | 225 | 18k| 0 | 0 | 0 |2055k| 0 | 5.200000e+01 | -- | Inf
1603.94/1603.98 c 1530s| 1880k| 95649 | 0 | 0.0 | 128M| 150 | - | 225 |8377 | 0 | 0 | 0 |2063k| 0 | 5.200000e+01 | -- | Inf
1608.14/1608.13 c 1534s| 1890k| 99984 | 0 | 0.0 | 132M| 150 | - | 225 |8928 | 0 | 0 | 0 |2071k| 0 | 5.200000e+01 | -- | Inf
1614.34/1614.37 c 1540s| 1900k|101191 | 0 | 0.0 | 134M| 150 | - | 225 |9619 | 0 | 0 | 0 |2081k| 0 | 5.200000e+01 | -- | Inf
1618.94/1618.98 c 1544s| 1910k|103044 | 0 | 0.0 | 135M| 150 | - | 225 |7599 | 0 | 0 | 0 |2089k| 0 | 5.200000e+01 | -- | Inf
1620.74/1620.72 o 290
1620.74/1620.72 c *1545s| 1911k|101368 | 0 | 0.0 | 133M| 150 | - | 225 |9528 | 0 | 0 | 0 |2092k| 0 | 5.200000e+01 | 2.900000e+02 | 457.69%
1625.34/1625.34 c 1550s| 1920k|103465 | 0 | 0.0 | 134M| 150 | - | 225 |9484 | 0 | 0 | 0 |2101k| 0 | 5.200000e+01 | 2.900000e+02 | 457.69%
1631.04/1631.04 c 1555s| 1930k|106435 | 0 | 0.0 | 137M| 150 | - | 225 | 11k| 0 | 0 | 0 |2113k| 0 | 5.500000e+01 | 2.900000e+02 | 427.27%
1638.74/1638.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1638.74/1638.78 c 1562s| 1940k|107553 | 0 | 0.0 | 141M| 150 | - | 225 | 14k| 0 | 0 | 0 |2126k| 0 | 5.500000e+01 | 2.900000e+02 | 427.27%
1649.24/1649.26 c 1572s| 1950k|106240 | 0 | 0.0 | 143M| 150 | - | 225 | 16k| 0 | 0 | 0 |2140k| 0 | 5.500000e+01 | 2.900000e+02 | 427.27%
1658.94/1658.94 c 1582s| 1960k|106248 | 0 | 0.0 | 142M| 150 | - | 225 | 12k| 0 | 0 | 0 |2152k| 0 | 5.500000e+01 | 2.900000e+02 | 427.27%
1663.25/1663.21 c 1586s| 1970k|111094 | 0 | 0.0 | 145M| 150 | - | 225 |8988 | 0 | 0 | 0 |2158k| 0 | 5.500000e+01 | 2.900000e+02 | 427.27%
1669.24/1669.27 c 1591s| 1980k|112316 | 0 | 0.0 | 148M| 150 | - | 225 | 12k| 0 | 0 | 0 |2168k| 0 | 5.500000e+01 | 2.900000e+02 | 427.27%
1678.65/1678.67 c 1600s| 1990k|112260 | 0 | 0.0 | 152M| 150 | - | 225 | 16k| 0 | 0 | 0 |2183k| 0 | 5.500000e+01 | 2.900000e+02 | 427.27%
1692.95/1692.93 c 1614s| 2000k|109805 | 0 | 0.0 | 153M| 150 | - | 225 | 21k| 0 | 0 | 0 |2201k| 0 | 5.500000e+01 | 2.900000e+02 | 427.27%
1714.34/1714.36 c 1635s| 2010k|103519 | 0 | 0.0 | 148M| 150 | - | 225 | 26k| 0 | 0 | 0 |2222k| 0 | 5.500000e+01 | 2.900000e+02 | 427.27%
1723.34/1723.31 c 1644s| 2020k|105953 | 0 | 0.0 | 146M| 150 | - | 225 | 12k| 0 | 0 | 0 |2231k| 0 | 5.500000e+01 | 2.900000e+02 | 427.27%
1730.94/1730.91 c 1651s| 2030k|106598 | 0 | 0.0 | 148M| 150 | - | 225 | 13k| 0 | 0 | 0 |2241k| 0 | 5.500000e+01 | 2.900000e+02 | 427.27%
1739.05/1739.06 c 1659s| 2040k|107495 | 0 | 0.0 | 151M| 150 | - | 225 | 17k| 0 | 0 | 0 |2252k| 0 | 5.500000e+01 | 2.900000e+02 | 427.27%
1750.15/1750.12 c 1669s| 2050k|105863 | 0 | 0.0 | 149M| 150 | - | 225 | 15k| 0 | 0 | 0 |2266k| 0 | 5.500000e+01 | 2.900000e+02 | 427.27%
1766.35/1766.32 c 1685s| 2060k|101211 | 0 | 0.0 | 142M| 150 | - | 225 | 17k| 0 | 0 | 0 |2284k| 0 | 5.500000e+01 | 2.900000e+02 | 427.27%
1778.76/1778.76 c 1697s| 2070k| 98617 | 0 | 0.0 | 140M| 150 | - | 225 | 18k| 0 | 0 | 0 |2299k| 0 | 5.600000e+01 | 2.900000e+02 | 417.86%
1791.75/1791.75 c 1710s| 2080k| 96006 | 0 | 0.0 | 140M| 150 | - | 225 | 22k| 0 | 0 | 0 |2313k| 0 | 5.600000e+01 | 2.900000e+02 | 417.86%
1799.14/1799.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1799.14/1799.16 c 1717s| 2090k| 99607 | 0 | 0.0 | 137M| 150 | - | 225 |7056 | 0 | 0 | 0 |2320k| 0 | 5.600000e+01 | 2.900000e+02 | 417.86%
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1717.41
1800.05/1800.00 c Solving Nodes : 2092078
1800.05/1800.00 c Primal Bound : +2.90000000000000e+02 (1 solutions)
1800.05/1800.00 c Dual Bound : +5.60000000000000e+01
1800.05/1800.00 c Gap : 417.86 %
1800.05/1800.00 s SATISFIABLE
1800.05/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.05/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.05/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.05/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.05/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
1800.05/1800.00 v -x56 -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.05/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.05/1800.00 v -x4 -x3 -x2 -x1
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time : 1717.41
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-2693987-1277899110.wbo
1800.05/1800.00 c Variables : 227 (198 binary, 0 integer, 0 implicit integer, 29 continuous)
1800.05/1800.00 c Constraints : 131 initial, 131 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-2693987-1277899110.wbo
1800.05/1800.00 c Variables : 225 (197 binary, 0 integer, 0 implicit integer, 28 continuous)
1800.05/1800.00 c Constraints : 112 initial, 42233 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.05/1800.00 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.00 0 0 0 28 0 18 1 0
1800.05/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 0 - - 0 - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 28 0 6432971 0 1265352 4 191376 0 0 0
1800.05/1800.00 c knapsack : 1 0 6753526 0 1324300 136428 31149095 0 0 0
1800.05/1800.00 c setppc : 48 0 6617096 0 1324300 843169 9587332 0 0 0
1800.05/1800.00 c linear : 28 0 5773928 0 1324296 82182 2564950 0 0 0
1800.05/1800.00 c logicor : 7+ 0 2895631 0 1314012 40369 1185978 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 1324297 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c indicator : 1.04 0.00 0.39 0.00 0.65
1800.05/1800.00 c knapsack : 218.04 0.00 215.57 0.00 2.47
1800.05/1800.00 c setppc : 44.67 0.00 39.07 0.00 5.60
1800.05/1800.00 c linear : 27.79 0.00 27.74 0.00 0.05
1800.05/1800.00 c logicor : 667.12 0.00 666.88 0.00 0.24
1800.05/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.00 c vbounds : 0.00 2 0 0
1800.05/1800.00 c rootredcost : 0.00 0 0 0
1800.05/1800.00 c pseudoobj : 3.45 6753333 1 170
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 25.83 1102148 1102085 5299605 18.0 84069 13.3 -
1800.05/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.00 c applied globally : - - - 2313223 14.9 - - -
1800.05/1800.00 c applied locally : - - - 8170 35.6 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.00 c redcost : 0.00 0 0 0 0 0
1800.05/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.00 c cmir : 0.00 0 0 0 0 0
1800.05/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.00 c clique : 0.00 0 0 0 0 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 9.36 1324296 0 0 0 0 2648592
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.00 - 0
1800.05/1800.00 c pseudo solutions : 0.00 - 1
1800.05/1800.00 c oneopt : 0.01 0 0
1800.05/1800.00 c trivial : 0.00 2 0
1800.05/1800.00 c simplerounding : 0.00 0 0
1800.05/1800.00 c zirounding : 0.00 0 0
1800.05/1800.00 c rounding : 0.00 0 0
1800.05/1800.00 c shifting : 0.00 0 0
1800.05/1800.00 c intshifting : 0.00 0 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c feaspump : 0.00 0 0
1800.05/1800.00 c coefdiving : 0.00 0 0
1800.05/1800.00 c pscostdiving : 0.00 0 0
1800.05/1800.00 c fracdiving : 0.00 0 0
1800.05/1800.00 c veclendiving : 0.00 0 0
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c objpscostdiving : 0.00 0 0
1800.05/1800.00 c rootsoldiving : 0.00 0 0
1800.05/1800.00 c linesearchdiving : 0.00 0 0
1800.05/1800.00 c guideddiving : 0.00 0 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 0.00 0 0
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c crossover : 0.00 0 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c undercover : 0.00 0 0
1800.05/1800.00 c nlp : 0.00 0 0
1800.05/1800.00 c trysol : 0.00 1 0
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.00 c (at root node) : - 0 0 0.00 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 2092078
1800.05/1800.00 c nodes (total) : 2092078
1800.05/1800.00 c nodes left : 100305
1800.05/1800.00 c max depth : 150
1800.05/1800.00 c max depth (total): 150
1800.05/1800.00 c backtracks : 803876 (38.4%)
1800.05/1800.00 c delayed cutoffs : 456210
1800.05/1800.00 c repropagations : 2584141 (11914657 domain reductions, 334372 cutoffs)
1800.05/1800.00 c avg switch length: 18.33
1800.05/1800.00 c switching time : 556.94
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 1 (1 improvements)
1800.05/1800.00 c First Solution : +2.90000000000000e+02 (in run 1, after 1911823 nodes, 1545.48 seconds, depth 36, found by <relaxation>)
1800.05/1800.00 c Primal Bound : +2.90000000000000e+02 (in run 1, after 1911823 nodes, 1545.48 seconds, depth 36, found by <relaxation>)
1800.05/1800.00 c Dual Bound : +5.60000000000000e+01
1800.05/1800.00 c Gap : 417.86 %
1800.05/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Root Iterations : 0
1800.24/1800.27 c Time complete: 1800.32.