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-2693756-1277916072.wbo>
0.09/0.10 c original problem has 11974 variables (7909 bin, 0 int, 0 impl, 4065 cont) and 15920 constraints
0.09/0.10 c problem read
0.09/0.10 c presolving settings loaded
0.09/0.10 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.09/0.19 c presolving:
0.19/0.26 c (round 1) 384 del vars, 1031 del conss, 217 chg bounds, 58 chg sides, 58 chg coeffs, 0 upgd conss, 127843 impls, 0 clqs
0.19/0.28 c (round 2) 991 del vars, 2912 del conss, 479 chg bounds, 58 chg sides, 58 chg coeffs, 0 upgd conss, 130877 impls, 0 clqs
0.29/0.31 c (round 3) 2034 del vars, 4723 del conss, 653 chg bounds, 58 chg sides, 58 chg coeffs, 0 upgd conss, 132305 impls, 0 clqs
0.29/0.33 c (round 4) 3106 del vars, 5671 del conss, 722 chg bounds, 61 chg sides, 61 chg coeffs, 0 upgd conss, 132651 impls, 0 clqs
0.29/0.34 c (round 5) 3812 del vars, 6140 del conss, 770 chg bounds, 63 chg sides, 63 chg coeffs, 0 upgd conss, 132869 impls, 0 clqs
0.29/0.35 c (round 6) 4164 del vars, 6441 del conss, 809 chg bounds, 63 chg sides, 63 chg coeffs, 0 upgd conss, 133015 impls, 0 clqs
0.29/0.36 c (round 7) 4370 del vars, 6609 del conss, 826 chg bounds, 63 chg sides, 63 chg coeffs, 0 upgd conss, 133093 impls, 0 clqs
0.29/0.37 c (round 8) 4488 del vars, 6679 del conss, 833 chg bounds, 63 chg sides, 63 chg coeffs, 0 upgd conss, 133109 impls, 0 clqs
0.29/0.37 c (round 9) 4529 del vars, 6693 del conss, 833 chg bounds, 63 chg sides, 63 chg coeffs, 0 upgd conss, 133109 impls, 0 clqs
0.29/0.37 c (round 10) 4542 del vars, 6695 del conss, 833 chg bounds, 63 chg sides, 63 chg coeffs, 0 upgd conss, 133109 impls, 0 clqs
0.29/0.39 c (round 11) 4543 del vars, 6696 del conss, 3334 chg bounds, 63 chg sides, 63 chg coeffs, 0 upgd conss, 133109 impls, 0 clqs
0.39/0.43 c (round 12) 4544 del vars, 6696 del conss, 3334 chg bounds, 63 chg sides, 63 chg coeffs, 4380 upgd conss, 133109 impls, 0 clqs
0.39/0.44 c (round 13) 4549 del vars, 6722 del conss, 3339 chg bounds, 70 chg sides, 136 chg coeffs, 4380 upgd conss, 134586 impls, 175 clqs
0.39/0.45 c (round 14) 4554 del vars, 6731 del conss, 3339 chg bounds, 116 chg sides, 281 chg coeffs, 4380 upgd conss, 134586 impls, 188 clqs
0.39/0.47 c (round 15) 4558 del vars, 6732 del conss, 3339 chg bounds, 127 chg sides, 316 chg coeffs, 4383 upgd conss, 134586 impls, 188 clqs
0.39/0.49 c (round 16) 4559 del vars, 6732 del conss, 3339 chg bounds, 129 chg sides, 326 chg coeffs, 4383 upgd conss, 134589 impls, 188 clqs
0.79/0.89 c (round 17) 4609 del vars, 6732 del conss, 3339 chg bounds, 129 chg sides, 326 chg coeffs, 4383 upgd conss, 199747 impls, 184 clqs
0.89/0.90 c (round 18) 4613 del vars, 7019 del conss, 3339 chg bounds, 136 chg sides, 357 chg coeffs, 4383 upgd conss, 199831 impls, 185 clqs
0.89/0.91 c (round 19) 4719 del vars, 7143 del conss, 3339 chg bounds, 149 chg sides, 398 chg coeffs, 4383 upgd conss, 199833 impls, 194 clqs
0.89/0.91 c (round 20) 4829 del vars, 7161 del conss, 3339 chg bounds, 151 chg sides, 406 chg coeffs, 4383 upgd conss, 199833 impls, 195 clqs
0.89/0.92 c (round 21) 4844 del vars, 7167 del conss, 3339 chg bounds, 153 chg sides, 410 chg coeffs, 4383 upgd conss, 199833 impls, 195 clqs
0.89/0.93 c (round 22) 4847 del vars, 7173 del conss, 3339 chg bounds, 153 chg sides, 410 chg coeffs, 4383 upgd conss, 199833 impls, 195 clqs
0.89/0.94 c (round 23) 4851 del vars, 7176 del conss, 3346 chg bounds, 153 chg sides, 410 chg coeffs, 4383 upgd conss, 199833 impls, 195 clqs
0.89/0.96 c (round 24) 4854 del vars, 7176 del conss, 3346 chg bounds, 153 chg sides, 410 chg coeffs, 4394 upgd conss, 199833 impls, 195 clqs
1.59/1.67 c (1.4s) probing: 1000/4918 (20.3%) - 46 fixings, 8 aggregations, 22034 implications, 0 bound changes
2.09/2.19 c (1.9s) probing: 2000/4918 (40.7%) - 46 fixings, 8 aggregations, 22914 implications, 0 bound changes
2.29/2.36 c (2.0s) probing: 2367/4918 (48.1%) - 46 fixings, 8 aggregations, 23008 implications, 0 bound changes
2.29/2.36 c (2.0s) probing aborted: 2000/2000 successive useless probings
2.29/2.36 c (round 25) 4858 del vars, 7176 del conss, 3346 chg bounds, 153 chg sides, 410 chg coeffs, 4394 upgd conss, 227575 impls, 195 clqs
2.39/2.47 c (2.1s) probing: 2567/4918 (52.2%) - 46 fixings, 8 aggregations, 23011 implications, 0 bound changes
2.39/2.47 c (2.1s) probing aborted: 2000/2000 successive useless probings
2.39/2.47 c presolving (26 rounds):
2.39/2.47 c 4858 deleted vars, 7176 deleted constraints, 3346 tightened bounds, 0 added holes, 153 changed sides, 418 changed coefficients
2.39/2.47 c 227580 implications, 195 cliques
2.39/2.47 c presolved problem has 7116 variables (4733 bin, 0 int, 0 impl, 2383 cont) and 8796 constraints
2.39/2.47 c 2383 constraints of type <indicator>
2.39/2.47 c 165 constraints of type <varbound>
2.39/2.47 c 120 constraints of type <knapsack>
2.39/2.47 c 50 constraints of type <setppc>
2.39/2.47 c 2218 constraints of type <linear>
2.39/2.47 c 3860 constraints of type <logicor>
2.39/2.47 c transformed objective value is always integral (scale: 1)
2.39/2.47 c Presolving Time: 2.11
2.39/2.47 c - non default parameters ----------------------------------------------------------------------
2.39/2.47 c # SCIP version 1.2.1.2
2.39/2.47 c
2.39/2.47 c # frequency for displaying node information lines
2.39/2.47 c # [type: int, range: [-1,2147483647], default: 100]
2.39/2.47 c display/freq = 10000
2.39/2.47 c
2.39/2.47 c # maximal time in seconds to run
2.39/2.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.47 c limits/time = 1799.91
2.39/2.47 c
2.39/2.47 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.39/2.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.47 c limits/memory = 3420
2.39/2.47 c
2.39/2.47 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.39/2.47 c # [type: int, range: [-1,2147483647], default: 1]
2.39/2.47 c lp/solvefreq = -1
2.39/2.47 c
2.39/2.47 c # should presolving try to simplify inequalities
2.39/2.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.47 c constraints/linear/simplifyinequalities = TRUE
2.39/2.47 c
2.39/2.47 c # should presolving try to simplify knapsacks
2.39/2.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.47 c constraints/knapsack/simplifyinequalities = TRUE
2.39/2.47 c
2.39/2.47 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.39/2.47 c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.47 c separating/rapidlearning/freq = 0
2.39/2.47 c
2.39/2.47 c -----------------------------------------------------------------------------------------------
2.39/2.47 c start solving
2.39/2.47 c
2.39/2.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.39/2.48 c 2.2s| 1 | 2 | 0 | - | 41M| 0 | - |7116 |8796 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
15.89/15.97 c 14.9s| 10000 | 9999 | 0 | 0.0 | 50M| 77 | - |7116 |8797 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
28.60/28.68 c 27.0s| 20000 | 19999 | 0 | 0.0 | 59M| 77 | - |7116 |8797 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
42.49/42.56 c 40.2s| 30000 | 29999 | 0 | 0.0 | 69M| 79 | - |7116 |8797 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
56.10/56.11 c 53.0s| 40000 | 39995 | 0 | 0.0 | 78M| 79 | - |7116 |8799 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
69.39/69.45 c 65.7s| 50000 | 49995 | 0 | 0.0 | 88M| 79 | - |7116 |8799 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
82.79/82.84 c 78.4s| 60000 | 59995 | 0 | 0.0 | 97M| 83 | - |7116 |8799 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
96.19/96.27 c 91.1s| 70000 | 69995 | 0 | 0.0 | 107M| 89 | - |7116 |8799 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
109.79/109.86 c 104s| 80000 | 79993 | 0 | 0.0 | 117M| 89 | - |7116 |8800 | 0 | 0 | 0 | 4 | 0 | 0.000000e+00 | -- | Inf
122.99/123.08 c 117s| 90000 | 89991 | 0 | 0.0 | 127M| 89 | - |7116 |8801 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
135.99/136.05 c 129s|100000 | 99991 | 0 | 0.0 | 136M| 89 | - |7116 |8801 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
148.79/148.82 c 141s|110000 |109991 | 0 | 0.0 | 145M| 89 | - |7116 |8801 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
161.60/161.62 c 153s|120000 |119989 | 0 | 0.0 | 154M| 89 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
174.29/174.38 c 165s|130000 |129989 | 0 | 0.0 | 163M| 89 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
187.00/187.06 c 177s|140000 |139989 | 0 | 0.0 | 172M| 89 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
199.59/199.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
199.59/199.67 c 189s|150000 |149989 | 0 | 0.0 | 180M| 89 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
212.20/212.23 c 201s|160000 |159989 | 0 | 0.0 | 188M| 89 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
224.80/224.87 c 213s|170000 |169989 | 0 | 0.0 | 197M| 89 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
237.39/237.44 c 225s|180000 |179989 | 0 | 0.0 | 205M| 97 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
250.10/250.12 c 237s|190000 |189989 | 0 | 0.0 | 214M| 97 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
262.80/262.88 c 250s|200000 |199989 | 0 | 0.0 | 223M| 97 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
275.70/275.72 c 262s|210000 |209989 | 0 | 0.0 | 231M| 97 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
288.40/288.48 c 274s|220000 |219989 | 0 | 0.0 | 240M| 97 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
301.20/301.25 c 286s|230000 |229989 | 0 | 0.0 | 249M| 97 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
314.00/314.02 c 298s|240000 |239989 | 0 | 0.0 | 258M| 97 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
326.50/326.58 c 310s|250000 |249989 | 0 | 0.0 | 266M| 97 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
339.00/339.03 c 322s|260000 |259989 | 0 | 0.0 | 274M| 97 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
350.49/350.57 c 333s|270000 |269989 | 0 | 0.0 | 281M| 97 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
361.40/361.45 c 343s|280000 |279989 | 0 | 0.0 | 287M| 97 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
373.59/373.69 c 355s|290000 |289989 | 0 | 0.0 | 295M| 99 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
385.80/385.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
385.80/385.87 c 366s|300000 |299989 | 0 | 0.0 | 302M| 99 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
398.59/398.66 c 378s|310000 |309989 | 0 | 0.0 | 312M| 99 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
411.20/411.22 c 390s|320000 |319989 | 0 | 0.0 | 320M| 99 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
423.60/423.61 c 402s|330000 |329989 | 0 | 0.0 | 329M| 99 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
435.90/435.92 c 414s|340000 |339989 | 0 | 0.0 | 337M| 103 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
448.10/448.17 c 426s|350000 |349989 | 0 | 0.0 | 344M| 103 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
460.10/460.19 c 437s|360000 |359989 | 0 | 0.0 | 352M| 103 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
472.40/472.47 c 449s|370000 |369989 | 0 | 0.0 | 360M| 103 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
484.89/484.92 c 460s|380000 |379989 | 0 | 0.0 | 368M| 103 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
497.30/497.39 c 472s|390000 |389989 | 0 | 0.0 | 377M| 103 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
509.80/509.88 c 484s|400000 |399989 | 0 | 0.0 | 385M| 103 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
522.20/522.24 c 496s|410000 |409989 | 0 | 0.0 | 393M| 103 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
534.51/534.55 c 508s|420000 |419989 | 0 | 0.0 | 401M| 103 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
546.80/546.86 c 519s|430000 |429989 | 0 | 0.0 | 409M| 103 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
559.10/559.11 c 531s|440000 |439989 | 0 | 0.0 | 417M| 103 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
571.30/571.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
571.30/571.32 c 543s|450000 |449989 | 0 | 0.0 | 425M| 103 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
583.60/583.70 c 554s|460000 |459989 | 0 | 0.0 | 432M| 103 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
595.80/595.82 c 566s|470000 |469989 | 0 | 0.0 | 440M| 103 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
607.90/607.97 c 577s|480000 |479989 | 0 | 0.0 | 447M| 103 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
620.00/620.04 c 589s|490000 |489989 | 0 | 0.0 | 455M| 103 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
632.00/632.05 c 600s|500000 |499989 | 0 | 0.0 | 462M| 103 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
644.11/644.16 c 612s|510000 |509989 | 0 | 0.0 | 470M| 103 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
656.30/656.30 c 623s|520000 |519989 | 0 | 0.0 | 477M| 103 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
668.40/668.43 c 635s|530000 |529989 | 0 | 0.0 | 485M| 103 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
680.40/680.49 c 646s|540000 |539989 | 0 | 0.0 | 492M| 103 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
692.51/692.60 c 658s|550000 |549989 | 0 | 0.0 | 500M| 103 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
704.61/704.66 c 669s|560000 |559989 | 0 | 0.0 | 507M| 103 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
716.70/716.77 c 681s|570000 |569989 | 0 | 0.0 | 515M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
729.31/729.34 c 693s|580000 |579989 | 0 | 0.0 | 524M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
741.81/741.85 c 705s|590000 |589989 | 0 | 0.0 | 532M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
754.21/754.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
754.21/754.28 c 717s|600000 |599989 | 0 | 0.0 | 541M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
766.71/766.71 c 728s|610000 |609989 | 0 | 0.0 | 549M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
779.11/779.11 c 740s|620000 |619989 | 0 | 0.0 | 557M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
791.31/791.35 c 752s|630000 |629989 | 0 | 0.0 | 565M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
803.61/803.65 c 764s|640000 |639989 | 0 | 0.0 | 573M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
815.80/815.85 c 775s|650000 |649989 | 0 | 0.0 | 581M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
827.91/827.99 c 787s|660000 |659989 | 0 | 0.0 | 589M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
840.01/840.08 c 798s|670000 |669989 | 0 | 0.0 | 597M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
852.10/852.13 c 810s|680000 |679989 | 0 | 0.0 | 604M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
864.11/864.13 c 821s|690000 |689989 | 0 | 0.0 | 612M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
876.10/876.10 c 832s|700000 |699989 | 0 | 0.0 | 619M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
888.01/888.05 c 844s|710000 |709989 | 0 | 0.0 | 626M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
899.91/899.94 c 855s|720000 |719989 | 0 | 0.0 | 634M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
912.51/912.50 c 867s|730000 |729989 | 0 | 0.0 | 642M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
925.12/925.12 c 879s|740000 |739989 | 0 | 0.0 | 651M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
937.71/937.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
937.71/937.70 c 891s|750000 |749989 | 0 | 0.0 | 659M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
950.21/950.29 c 903s|760000 |759989 | 0 | 0.0 | 668M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
962.71/962.79 c 915s|770000 |769989 | 0 | 0.0 | 677M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
975.32/975.33 c 927s|780000 |779989 | 0 | 0.0 | 685M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
987.72/987.76 c 939s|790000 |789989 | 0 | 0.0 | 694M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1000.21/1000.28 c 951s|800000 |799989 | 0 | 0.0 | 702M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1012.61/1012.69 c 962s|810000 |809989 | 0 | 0.0 | 710M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1025.01/1025.07 c 974s|820000 |819989 | 0 | 0.0 | 719M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1037.51/1037.51 c 986s|830000 |829989 | 0 | 0.0 | 727M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1049.92/1049.98 c 998s|840000 |839989 | 0 | 0.0 | 735M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1062.41/1062.41 c 1010s|850000 |849989 | 0 | 0.0 | 744M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1074.72/1074.79 c 1021s|860000 |859989 | 0 | 0.0 | 752M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1087.21/1087.25 c 1033s|870000 |869989 | 0 | 0.0 | 760M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1099.72/1099.76 c 1045s|880000 |879989 | 0 | 0.0 | 769M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1112.12/1112.17 c 1057s|890000 |889989 | 0 | 0.0 | 777M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1124.42/1124.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1124.42/1124.49 c 1069s|900000 |899989 | 0 | 0.0 | 785M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1136.82/1136.88 c 1080s|910000 |909989 | 0 | 0.0 | 793M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1149.32/1149.33 c 1092s|920000 |919989 | 0 | 0.0 | 801M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1161.72/1161.70 c 1104s|930000 |929989 | 0 | 0.0 | 809M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1174.02/1174.02 c 1116s|940000 |939989 | 0 | 0.0 | 817M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1186.42/1186.40 c 1128s|950000 |949989 | 0 | 0.0 | 825M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1198.82/1198.83 c 1139s|960000 |959989 | 0 | 0.0 | 833M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1211.12/1211.17 c 1151s|970000 |969989 | 0 | 0.0 | 841M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1223.42/1223.43 c 1163s|980000 |979989 | 0 | 0.0 | 849M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1235.61/1235.66 c 1174s|990000 |989989 | 0 | 0.0 | 857M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1248.02/1248.00 c 1186s| 1000k|999989 | 0 | 0.0 | 865M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1260.32/1260.37 c 1198s| 1010k| 1009k| 0 | 0.0 | 873M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1272.63/1272.61 c 1210s| 1020k| 1019k| 0 | 0.0 | 881M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1284.83/1284.84 c 1221s| 1030k| 1029k| 0 | 0.0 | 888M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1297.02/1297.09 c 1233s| 1040k| 1039k| 0 | 0.0 | 896M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1309.32/1309.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1309.32/1309.38 c 1245s| 1050k| 1049k| 0 | 0.0 | 904M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1321.62/1321.65 c 1256s| 1060k| 1059k| 0 | 0.0 | 912M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1333.82/1333.85 c 1268s| 1070k| 1069k| 0 | 0.0 | 919M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1346.02/1346.00 c 1279s| 1080k| 1079k| 0 | 0.0 | 927M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1358.12/1358.16 c 1291s| 1090k| 1089k| 0 | 0.0 | 935M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1370.32/1370.31 c 1302s| 1100k| 1099k| 0 | 0.0 | 942M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1382.52/1382.53 c 1314s| 1110k| 1109k| 0 | 0.0 | 950M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1394.73/1394.72 c 1326s| 1120k| 1119k| 0 | 0.0 | 958M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1406.83/1406.82 c 1337s| 1130k| 1129k| 0 | 0.0 | 965M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1419.02/1419.01 c 1349s| 1140k| 1139k| 0 | 0.0 | 973M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1431.22/1431.20 c 1360s| 1150k| 1149k| 0 | 0.0 | 981M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1443.32/1443.34 c 1372s| 1160k| 1159k| 0 | 0.0 | 988M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1455.42/1455.40 c 1384s| 1170k| 1169k| 0 | 0.0 | 996M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1467.52/1467.55 c 1395s| 1180k| 1179k| 0 | 0.0 |1004M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1479.53/1479.58 c 1407s| 1190k| 1189k| 0 | 0.0 |1011M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1491.72/1491.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1491.72/1491.70 c 1418s| 1200k| 1199k| 0 | 0.0 |1019M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1503.82/1503.84 c 1430s| 1210k| 1209k| 0 | 0.0 |1026M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1515.92/1515.93 c 1441s| 1220k| 1219k| 0 | 0.0 |1034M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1528.02/1528.06 c 1453s| 1230k| 1229k| 0 | 0.0 |1041M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1540.03/1540.06 c 1464s| 1240k| 1239k| 0 | 0.0 |1049M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1552.13/1552.18 c 1476s| 1250k| 1249k| 0 | 0.0 |1056M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1564.32/1564.36 c 1487s| 1260k| 1259k| 0 | 0.0 |1064M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1576.43/1576.47 c 1499s| 1270k| 1269k| 0 | 0.0 |1071M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1588.63/1588.60 c 1510s| 1280k| 1279k| 0 | 0.0 |1079M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1600.73/1600.70 c 1522s| 1290k| 1289k| 0 | 0.0 |1087M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1612.72/1612.75 c 1533s| 1300k| 1299k| 0 | 0.0 |1094M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1624.82/1624.88 c 1545s| 1310k| 1309k| 0 | 0.0 |1102M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1636.93/1636.96 c 1556s| 1320k| 1319k| 0 | 0.0 |1109M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1649.13/1649.17 c 1568s| 1330k| 1329k| 0 | 0.0 |1117M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1661.13/1661.15 c 1579s| 1340k| 1339k| 0 | 0.0 |1124M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1673.13/1673.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1673.13/1673.17 c 1591s| 1350k| 1349k| 0 | 0.0 |1132M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1685.24/1685.27 c 1602s| 1360k| 1359k| 0 | 0.0 |1139M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1697.43/1697.40 c 1614s| 1370k| 1369k| 0 | 0.0 |1147M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1709.34/1709.38 c 1625s| 1380k| 1379k| 0 | 0.0 |1154M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1721.33/1721.36 c 1636s| 1390k| 1389k| 0 | 0.0 |1161M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1733.43/1733.47 c 1648s| 1400k| 1399k| 0 | 0.0 |1169M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1745.43/1745.47 c 1659s| 1410k| 1409k| 0 | 0.0 |1176M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1757.52/1757.58 c 1671s| 1420k| 1419k| 0 | 0.0 |1184M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1769.53/1769.57 c 1682s| 1430k| 1429k| 0 | 0.0 |1191M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1781.53/1781.51 c 1694s| 1440k| 1439k| 0 | 0.0 |1198M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1793.43/1793.43 c 1705s| 1450k| 1449k| 0 | 0.0 |1205M| 105 | - |7116 |8802 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1711.33
1800.04/1800.00 c Solving Nodes : 1455557
1800.04/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 s UNKNOWN
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time : 1711.33
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-2693756-1277916072.wbo
1800.04/1800.00 c Variables : 11974 (7909 binary, 0 integer, 0 implicit integer, 4065 continuous)
1800.04/1800.00 c Constraints : 15920 initial, 15920 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-2693756-1277916072.wbo
1800.04/1800.00 c Variables : 7116 (4733 binary, 0 integer, 0 implicit integer, 2383 continuous)
1800.04/1800.00 c Constraints : 8796 initial, 8802 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.01 23 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 3574 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.02 0 5 0 0 0 0 0 0
1800.04/1800.00 c probing : 1.75 46 8 0 0 0 0 0 0
1800.04/1800.00 c indicator : 0.03 0 0 0 0 0 1682 0 0
1800.04/1800.00 c varbound : 0.00 0 0 0 0 0 7 0 0
1800.04/1800.00 c knapsack : 0.02 0 0 0 5 0 9 90 355
1800.04/1800.00 c setppc : 0.00 0 0 0 0 0 2 0 0
1800.04/1800.00 c linear : 0.15 815 387 0 3341 0 5243 63 63
1800.04/1800.00 c logicor : 0.06 0 0 0 0 0 233 0 0
1800.04/1800.00 c root node : - 0 - - 0 - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 2383 0 5546846 0 1455551 0 1087852 0 0 0
1800.04/1800.00 c varbound : 165 0 5546846 0 1455551 0 209919 0 0 0
1800.04/1800.00 c knapsack : 120 0 5546846 0 1455551 2 1182619 0 0 0
1800.04/1800.00 c setppc : 50 0 5546844 0 1455551 0 44348 0 0 0
1800.04/1800.00 c linear : 2218 0 5546844 0 1455551 0 551295 0 0 0
1800.04/1800.00 c logicor : 3860+ 0 4507820 0 1455551 9 9542676 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 1455551 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c indicator : 358.00 0.00 142.25 0.00 215.75
1800.04/1800.00 c varbound : 6.88 0.00 6.85 0.00 0.03
1800.04/1800.00 c knapsack : 40.51 0.00 10.89 0.00 29.62
1800.04/1800.00 c setppc : 5.15 0.00 0.74 0.00 4.41
1800.04/1800.00 c linear : 87.08 0.00 84.39 0.00 2.69
1800.04/1800.00 c logicor : 320.55 0.00 19.02 0.00 301.53
1800.04/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.00 c vbounds : 77.36 1533164 0 354570
1800.04/1800.00 c rootredcost : 0.00 0 0 0
1800.04/1800.00 c pseudoobj : 290.89 5538182 0 0
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 0.00 6 6 6 3.0 0 0.0 -
1800.04/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.00 c applied globally : - - - 6 3.0 - - -
1800.04/1800.00 c applied locally : - - - 0 0.0 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.00 c redcost : 0.00 0 0 0 0 0
1800.04/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.00 c cmir : 0.00 0 0 0 0 0
1800.04/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.00 c clique : 0.00 0 0 0 0 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 474.73 1455551 0 0 0 0 2911102
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.00 - 0
1800.04/1800.00 c pseudo solutions : 0.00 - 0
1800.04/1800.00 c oneopt : 0.00 0 0
1800.04/1800.00 c trivial : 0.06 2 0
1800.04/1800.00 c simplerounding : 0.00 0 0
1800.04/1800.00 c zirounding : 0.00 0 0
1800.04/1800.00 c rounding : 0.00 0 0
1800.04/1800.00 c shifting : 0.00 0 0
1800.04/1800.00 c intshifting : 0.00 0 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c feaspump : 0.00 0 0
1800.04/1800.00 c coefdiving : 0.00 0 0
1800.04/1800.00 c pscostdiving : 0.00 0 0
1800.04/1800.00 c fracdiving : 0.00 0 0
1800.04/1800.00 c veclendiving : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c objpscostdiving : 0.00 0 0
1800.04/1800.00 c rootsoldiving : 0.00 0 0
1800.04/1800.00 c linesearchdiving : 0.00 0 0
1800.04/1800.00 c guideddiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.00 0 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c crossover : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c undercover : 0.00 0 0
1800.04/1800.00 c nlp : 0.00 0 0
1800.04/1800.00 c trysol : 0.00 1 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.00 c (at root node) : - 0 0 0.00 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 1455557
1800.04/1800.00 c nodes (total) : 1455557
1800.04/1800.00 c nodes left : 1455546
1800.04/1800.00 c max depth : 105
1800.04/1800.00 c max depth (total): 105
1800.04/1800.00 c backtracks : 26430 (1.8%)
1800.04/1800.00 c delayed cutoffs : 0
1800.04/1800.00 c repropagations : 76 (32 domain reductions, 0 cutoffs)
1800.04/1800.00 c avg switch length: 2.70
1800.04/1800.00 c switching time : 34.61
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 0 (0 improvements)
1800.04/1800.00 c Primal Bound : -
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Root Iterations : 0
1801.84/1801.82 c Time complete: 1801.86.