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-2663530-1276646361.opb>
0.00/0.01 c original problem has 972 variables (972 bin, 0 int, 0 impl, 0 cont) and 748 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 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.02 c presolving:
0.19/0.20 c (round 1) 9 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 70 chg coeffs, 0 upgd conss, 4356 impls, 0 clqs
0.19/0.21 c (round 2) 27 del vars, 16 del conss, 0 chg bounds, 0 chg sides, 86 chg coeffs, 10 upgd conss, 6660 impls, 0 clqs
0.19/0.21 c (round 3) 45 del vars, 32 del conss, 0 chg bounds, 0 chg sides, 102 chg coeffs, 10 upgd conss, 8676 impls, 0 clqs
0.19/0.22 c (round 4) 63 del vars, 48 del conss, 0 chg bounds, 0 chg sides, 118 chg coeffs, 10 upgd conss, 10404 impls, 0 clqs
0.19/0.23 c (round 5) 81 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 134 chg coeffs, 10 upgd conss, 11844 impls, 0 clqs
0.19/0.23 c (round 6) 99 del vars, 80 del conss, 0 chg bounds, 0 chg sides, 150 chg coeffs, 10 upgd conss, 12996 impls, 0 clqs
0.19/0.24 c (round 7) 117 del vars, 96 del conss, 0 chg bounds, 0 chg sides, 166 chg coeffs, 10 upgd conss, 13860 impls, 0 clqs
0.19/0.24 c (round 8) 135 del vars, 112 del conss, 0 chg bounds, 0 chg sides, 182 chg coeffs, 10 upgd conss, 14436 impls, 0 clqs
0.19/0.25 c (round 9) 153 del vars, 128 del conss, 0 chg bounds, 0 chg sides, 198 chg coeffs, 10 upgd conss, 14724 impls, 0 clqs
0.19/0.25 c (round 10) 171 del vars, 144 del conss, 0 chg bounds, 0 chg sides, 214 chg coeffs, 10 upgd conss, 14724 impls, 0 clqs
0.39/0.43 c (0.2s) probing: 238/801 (29.7%) - 0 fixings, 0 aggregations, 18 implications, 0 bound changes
0.39/0.43 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.39/0.43 c presolving (11 rounds):
0.39/0.43 c 171 deleted vars, 144 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 214 changed coefficients
0.39/0.43 c 14760 implications, 0 cliques
0.39/0.43 c presolved problem has 801 variables (801 bin, 0 int, 0 impl, 0 cont) and 595 constraints
0.39/0.43 c 576 constraints of type <and>
0.39/0.43 c 9 constraints of type <linear>
0.39/0.43 c 10 constraints of type <logicor>
0.39/0.43 c transformed objective value is always integral (scale: 2)
0.39/0.43 c Presolving Time: 0.22
0.39/0.43 c - non default parameters ----------------------------------------------------------------------
0.39/0.43 c # SCIP version 1.2.1.2
0.39/0.43 c
0.39/0.43 c # frequency for displaying node information lines
0.39/0.43 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.43 c display/freq = 10000
0.39/0.43 c
0.39/0.43 c # maximal time in seconds to run
0.39/0.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.43 c limits/time = 1800
0.39/0.43 c
0.39/0.43 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.43 c limits/memory = 1620
0.39/0.43 c
0.39/0.43 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.43 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.43 c lp/solvefreq = -1
0.39/0.43 c
0.39/0.43 c # should presolving try to simplify inequalities
0.39/0.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.43 c constraints/linear/simplifyinequalities = TRUE
0.39/0.43 c
0.39/0.43 c # should presolving try to simplify knapsacks
0.39/0.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.43 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.43 c
0.39/0.43 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.39/0.43 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.43 c heuristics/undercover/freq = 0
0.39/0.43 c
0.39/0.43 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.43 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.43 c separating/rapidlearning/freq = 0
0.39/0.43 c
0.39/0.43 c -----------------------------------------------------------------------------------------------
0.39/0.43 c start solving
0.39/0.43 c
0.39/0.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.43 c 0.2s| 1 | 2 | 0 | - |2551k| 0 | - | 801 | 595 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
3.69/3.74 c 3.3s| 10000 | 8387 | 0 | 0.0 |8820k| 532 | - | 801 | 940 | 0 | 0 | 0 |1405 | 0 | 1.000000e+00 | -- | Inf
7.28/7.36 c 6.6s| 20000 | 16505 | 0 | 0.0 | 14M| 532 | - | 801 | 770 | 0 | 0 | 0 |2721 | 0 | 1.000000e+00 | -- | Inf
10.89/10.99 c 10.0s| 30000 | 24602 | 0 | 0.0 | 20M| 532 | - | 801 | 727 | 0 | 0 | 0 |4115 | 0 | 1.000000e+00 | -- | Inf
14.48/14.53 c 13.3s| 40000 | 32632 | 0 | 0.0 | 26M| 532 | - | 801 | 774 | 0 | 0 | 0 |5615 | 0 | 1.000000e+00 | -- | Inf
17.98/18.04 c 16.6s| 50000 | 40896 | 0 | 0.0 | 32M| 532 | - | 801 | 867 | 0 | 0 | 0 |7057 | 0 | 1.000000e+00 | -- | Inf
21.58/21.60 c 19.8s| 60000 | 49136 | 0 | 0.0 | 38M| 532 | - | 801 | 977 | 0 | 0 | 0 |8536 | 0 | 1.000000e+00 | -- | Inf
25.38/25.44 c 23.5s| 70000 | 56723 | 0 | 0.0 | 44M| 532 | - | 801 |1122 | 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | -- | Inf
29.08/29.14 c 26.9s| 80000 | 64241 | 0 | 0.0 | 49M| 532 | - | 801 |1134 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | -- | Inf
32.78/32.86 c 30.4s| 90000 | 71591 | 0 | 0.0 | 54M| 532 | - | 801 |1334 | 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | -- | Inf
36.77/36.80 c 34.1s|100000 | 78816 | 0 | 0.0 | 60M| 532 | - | 801 |1453 | 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | -- | Inf
41.07/41.12 c 38.1s|110000 | 85311 | 0 | 0.0 | 65M| 532 | - | 801 |1504 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | -- | Inf
46.27/46.33 c 43.1s|120000 | 91641 | 0 | 0.0 | 70M| 532 | - | 801 |1120 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | -- | Inf
50.17/50.20 c 46.7s|130000 | 99551 | 0 | 0.0 | 75M| 532 | - | 801 | 922 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | -- | Inf
53.66/53.80 c 50.0s|140000 |107753 | 0 | 0.0 | 81M| 532 | - | 801 | 820 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | -- | Inf
57.37/57.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.37/57.50 c 53.5s|150000 |115934 | 0 | 0.0 | 87M| 532 | - | 801 | 885 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | -- | Inf
61.06/61.17 c 56.9s|160000 |124177 | 0 | 0.0 | 93M| 532 | - | 801 | 826 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | -- | Inf
64.77/64.82 c 60.3s|170000 |132452 | 0 | 0.0 | 99M| 532 | - | 801 | 892 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | -- | Inf
68.46/68.52 c 63.8s|180000 |140646 | 0 | 0.0 | 105M| 532 | - | 801 | 907 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | -- | Inf
71.96/72.08 c 67.1s|190000 |148979 | 0 | 0.0 | 111M| 532 | - | 801 | 905 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | -- | Inf
75.66/75.79 c 70.5s|200000 |157077 | 0 | 0.0 | 116M| 532 | - | 801 |1011 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | -- | Inf
79.26/79.34 c 73.8s|210000 |165392 | 0 | 0.0 | 122M| 532 | - | 801 | 974 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | -- | Inf
82.96/83.07 c 77.3s|220000 |173480 | 0 | 0.0 | 128M| 532 | - | 801 |1052 | 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | -- | Inf
86.86/86.95 c 81.0s|230000 |181346 | 0 | 0.0 | 134M| 532 | - | 801 |1116 | 0 | 0 | 0 | 37k| 0 | 1.000000e+00 | -- | Inf
90.55/90.64 c 84.4s|240000 |189506 | 0 | 0.0 | 140M| 532 | - | 801 |1111 | 0 | 0 | 0 | 39k| 0 | 1.000000e+00 | -- | Inf
94.46/94.51 c 88.0s|250000 |197327 | 0 | 0.0 | 146M| 532 | - | 801 |1227 | 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | -- | Inf
98.45/98.50 c 91.8s|260000 |204970 | 0 | 0.0 | 151M| 532 | - | 801 |1328 | 0 | 0 | 0 | 43k| 0 | 1.000000e+00 | -- | Inf
102.34/102.44 c 95.4s|270000 |212723 | 0 | 0.0 | 157M| 532 | - | 801 |1369 | 0 | 0 | 0 | 45k| 0 | 1.000000e+00 | -- | Inf
106.54/106.65 c 99.4s|280000 |220193 | 0 | 0.0 | 163M| 532 | - | 801 |1504 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | -- | Inf
110.64/110.76 c 103s|290000 |227829 | 0 | 0.0 | 168M| 532 | - | 801 |1571 | 0 | 0 | 0 | 49k| 0 | 1.000000e+00 | -- | Inf
114.73/114.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
114.73/114.85 c 107s|300000 |235537 | 0 | 0.0 | 174M| 532 | - | 801 |1402 | 0 | 0 | 0 | 51k| 0 | 1.000000e+00 | -- | Inf
118.64/118.77 c 111s|310000 |243371 | 0 | 0.0 | 180M| 532 | - | 801 |1459 | 0 | 0 | 0 | 53k| 0 | 1.000000e+00 | -- | Inf
122.53/122.69 c 114s|320000 |251211 | 0 | 0.0 | 185M| 532 | - | 801 |1598 | 0 | 0 | 0 | 55k| 0 | 1.000000e+00 | -- | Inf
126.83/126.96 c 118s|330000 |258620 | 0 | 0.0 | 191M| 532 | - | 801 |1871 | 0 | 0 | 0 | 58k| 0 | 1.000000e+00 | -- | Inf
131.43/131.53 c 123s|340000 |265607 | 0 | 0.0 | 196M| 532 | - | 801 |2291 | 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | -- | Inf
135.83/135.92 c 127s|350000 |273068 | 0 | 0.0 | 202M| 532 | - | 801 |2091 | 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | -- | Inf
139.63/139.73 c 130s|360000 |281170 | 0 | 0.0 | 208M| 532 | - | 801 |1603 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | -- | Inf
143.53/143.64 c 134s|370000 |288992 | 0 | 0.0 | 213M| 532 | - | 801 |1721 | 0 | 0 | 0 | 66k| 0 | 1.000000e+00 | -- | Inf
147.82/147.91 c 138s|380000 |296043 | 0 | 0.0 | 219M| 532 | - | 801 |2125 | 0 | 0 | 0 | 68k| 0 | 1.000000e+00 | -- | Inf
152.42/152.50 c 142s|390000 |302787 | 0 | 0.0 | 223M| 532 | - | 801 |2356 | 0 | 0 | 0 | 71k| 0 | 1.000000e+00 | -- | Inf
156.82/156.91 c 147s|400000 |309905 | 0 | 0.0 | 228M| 532 | - | 801 |2443 | 0 | 0 | 0 | 73k| 0 | 1.000000e+00 | -- | Inf
161.31/161.49 c 151s|410000 |316796 | 0 | 0.0 | 233M| 532 | - | 801 |2505 | 0 | 0 | 0 | 76k| 0 | 1.000000e+00 | -- | Inf
166.22/166.35 c 156s|420000 |323337 | 0 | 0.0 | 238M| 532 | - | 801 |2717 | 0 | 0 | 0 | 79k| 0 | 1.000000e+00 | -- | Inf
170.81/170.94 c 160s|430000 |330216 | 0 | 0.0 | 243M| 532 | - | 801 |2461 | 0 | 0 | 0 | 81k| 0 | 1.000000e+00 | -- | Inf
175.31/175.44 c 164s|440000 |337157 | 0 | 0.0 | 248M| 532 | - | 801 |2374 | 0 | 0 | 0 | 84k| 0 | 1.000000e+00 | -- | Inf
179.81/179.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
179.81/179.99 c 168s|450000 |343888 | 0 | 0.0 | 253M| 532 | - | 801 |2405 | 0 | 0 | 0 | 87k| 0 | 1.000000e+00 | -- | Inf
184.61/184.72 c 173s|460000 |350633 | 0 | 0.0 | 258M| 532 | - | 801 |2494 | 0 | 0 | 0 | 90k| 0 | 1.000000e+00 | -- | Inf
189.30/189.45 c 177s|470000 |357267 | 0 | 0.0 | 263M| 532 | - | 801 |2554 | 0 | 0 | 0 | 93k| 0 | 1.000000e+00 | -- | Inf
193.90/194.01 c 182s|480000 |364189 | 0 | 0.0 | 268M| 532 | - | 801 |2596 | 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | -- | Inf
198.80/199.00 c 186s|490000 |370410 | 0 | 0.0 | 272M| 532 | - | 801 |2717 | 0 | 0 | 0 | 99k| 0 | 1.000000e+00 | -- | Inf
203.90/204.06 c 191s|500000 |376489 | 0 | 0.0 | 277M| 532 | - | 801 |2706 | 0 | 0 | 0 | 102k| 0 | 1.000000e+00 | -- | Inf
208.90/209.09 c 196s|510000 |382585 | 0 | 0.0 | 282M| 532 | - | 801 |2361 | 0 | 0 | 0 | 105k| 0 | 1.000000e+00 | -- | Inf
214.10/214.20 c 201s|520000 |388612 | 0 | 0.0 | 287M| 532 | - | 801 |2057 | 0 | 0 | 0 | 108k| 0 | 1.000000e+00 | -- | Inf
218.90/219.03 c 205s|530000 |394921 | 0 | 0.0 | 291M| 532 | - | 801 |2373 | 0 | 0 | 0 | 111k| 0 | 1.000000e+00 | -- | Inf
223.99/224.16 c 210s|540000 |400830 | 0 | 0.0 | 296M| 532 | - | 801 |2403 | 0 | 0 | 0 | 114k| 0 | 1.000000e+00 | -- | Inf
228.99/229.18 c 215s|550000 |407078 | 0 | 0.0 | 301M| 532 | - | 801 |2384 | 0 | 0 | 0 | 117k| 0 | 1.000000e+00 | -- | Inf
233.78/233.96 c 220s|560000 |413483 | 0 | 0.0 | 306M| 532 | - | 801 |2882 | 0 | 0 | 0 | 120k| 0 | 1.000000e+00 | -- | Inf
238.68/238.82 c 224s|570000 |419960 | 0 | 0.0 | 310M| 532 | - | 801 |3152 | 0 | 0 | 0 | 123k| 0 | 1.000000e+00 | -- | Inf
244.09/244.22 c 229s|580000 |425885 | 0 | 0.0 | 315M| 532 | - | 801 |3641 | 0 | 0 | 0 | 127k| 0 | 1.000000e+00 | -- | Inf
248.98/249.18 c 234s|590000 |432296 | 0 | 0.0 | 319M| 532 | - | 801 |3668 | 0 | 0 | 0 | 130k| 0 | 1.000000e+00 | -- | Inf
254.18/254.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
254.18/254.36 c 239s|600000 |438672 | 0 | 0.0 | 324M| 532 | - | 801 |3585 | 0 | 0 | 0 | 133k| 0 | 1.000000e+00 | -- | Inf
259.78/259.99 c 244s|610000 |444775 | 0 | 0.0 | 328M| 532 | - | 801 |3411 | 0 | 0 | 0 | 136k| 0 | 1.000000e+00 | -- | Inf
266.78/266.94 c 251s|620000 |450298 | 0 | 0.0 | 333M| 532 | - | 801 |3289 | 0 | 0 | 0 | 139k| 0 | 1.000000e+00 | -- | Inf
270.77/270.91 c 255s|630000 |457311 | 0 | 0.0 | 337M| 532 | - | 801 |2785 | 0 | 0 | 0 | 141k| 0 | 1.000000e+00 | -- | Inf
276.87/277.09 c 261s|640000 |463080 | 0 | 0.0 | 342M| 532 | - | 801 |2590 | 0 | 0 | 0 | 144k| 0 | 1.000000e+00 | -- | Inf
281.26/281.46 c 265s|650000 |470466 | 0 | 0.0 | 346M| 532 | - | 801 | 811 | 0 | 0 | 0 | 145k| 0 | 1.000000e+00 | -- | Inf
285.16/285.33 c 268s|660000 |478414 | 0 | 0.0 | 352M| 532 | - | 801 |1025 | 0 | 0 | 0 | 147k| 0 | 1.000000e+00 | -- | Inf
289.07/289.26 c 272s|670000 |486169 | 0 | 0.0 | 358M| 532 | - | 801 | 986 | 0 | 0 | 0 | 149k| 0 | 1.000000e+00 | -- | Inf
293.16/293.38 c 276s|680000 |493321 | 0 | 0.0 | 363M| 532 | - | 801 |1038 | 0 | 0 | 0 | 151k| 0 | 1.000000e+00 | -- | Inf
297.56/297.75 c 280s|690000 |500342 | 0 | 0.0 | 368M| 532 | - | 801 |1077 | 0 | 0 | 0 | 153k| 0 | 1.000000e+00 | -- | Inf
301.96/302.12 c 284s|700000 |507781 | 0 | 0.0 | 373M| 532 | - | 801 |1002 | 0 | 0 | 0 | 156k| 0 | 1.000000e+00 | -- | Inf
305.95/306.13 c 288s|710000 |515548 | 0 | 0.0 | 379M| 532 | - | 801 | 879 | 0 | 0 | 0 | 157k| 0 | 1.000000e+00 | -- | Inf
310.26/310.44 c 292s|720000 |522600 | 0 | 0.0 | 385M| 532 | - | 801 | 809 | 0 | 0 | 0 | 160k| 0 | 1.000000e+00 | -- | Inf
314.65/314.80 c 296s|730000 |529417 | 0 | 0.0 | 390M| 532 | - | 801 | 901 | 0 | 0 | 0 | 163k| 0 | 1.000000e+00 | -- | Inf
319.05/319.24 c 300s|740000 |536552 | 0 | 0.0 | 395M| 532 | - | 801 | 834 | 0 | 0 | 0 | 165k| 0 | 1.000000e+00 | -- | Inf
323.65/323.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
323.65/323.86 c 304s|750000 |543299 | 0 | 0.0 | 400M| 532 | - | 801 | 776 | 0 | 0 | 0 | 167k| 0 | 1.000000e+00 | -- | Inf
327.75/327.92 c 308s|760000 |550896 | 0 | 0.0 | 406M| 532 | - | 801 | 803 | 0 | 0 | 0 | 169k| 0 | 1.000000e+00 | -- | Inf
331.85/332.03 c 312s|770000 |558243 | 0 | 0.0 | 411M| 532 | - | 801 | 760 | 0 | 0 | 0 | 171k| 0 | 1.000000e+00 | -- | Inf
336.15/336.31 c 316s|780000 |565211 | 0 | 0.0 | 417M| 532 | - | 801 | 738 | 0 | 0 | 0 | 174k| 0 | 1.000000e+00 | -- | Inf
340.44/340.64 c 320s|790000 |572065 | 0 | 0.0 | 422M| 532 | - | 801 | 814 | 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | -- | Inf
344.84/345.03 c 324s|800000 |578933 | 0 | 0.0 | 427M| 532 | - | 801 | 927 | 0 | 0 | 0 | 179k| 0 | 1.000000e+00 | -- | Inf
349.24/349.47 c 328s|810000 |585794 | 0 | 0.0 | 432M| 532 | - | 801 | 863 | 0 | 0 | 0 | 181k| 0 | 1.000000e+00 | -- | Inf
353.74/353.91 c 333s|820000 |592437 | 0 | 0.0 | 437M| 532 | - | 801 |1585 | 0 | 0 | 0 | 184k| 0 | 1.000000e+00 | -- | Inf
358.13/358.38 c 337s|830000 |599487 | 0 | 0.0 | 442M| 532 | - | 801 |1142 | 0 | 0 | 0 | 186k| 0 | 1.000000e+00 | -- | Inf
362.33/362.59 c 341s|840000 |607124 | 0 | 0.0 | 448M| 532 | - | 801 |1269 | 0 | 0 | 0 | 188k| 0 | 1.000000e+00 | -- | Inf
367.14/367.36 c 345s|850000 |614271 | 0 | 0.0 | 453M| 532 | - | 801 |1429 | 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | -- | Inf
371.83/372.03 c 350s|860000 |621595 | 0 | 0.0 | 458M| 532 | - | 801 |1274 | 0 | 0 | 0 | 192k| 0 | 1.000000e+00 | -- | Inf
376.43/376.61 c 354s|870000 |628925 | 0 | 0.0 | 464M| 532 | - | 801 |1225 | 0 | 0 | 0 | 195k| 0 | 1.000000e+00 | -- | Inf
381.03/381.28 c 358s|880000 |636191 | 0 | 0.0 | 469M| 532 | - | 801 |1190 | 0 | 0 | 0 | 197k| 0 | 1.000000e+00 | -- | Inf
385.72/385.96 c 363s|890000 |643353 | 0 | 0.0 | 475M| 532 | - | 801 |1155 | 0 | 0 | 0 | 200k| 0 | 1.000000e+00 | -- | Inf
390.02/390.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
390.02/390.25 c 367s|900000 |650790 | 0 | 0.0 | 480M| 532 | - | 801 |1427 | 0 | 0 | 0 | 202k| 0 | 1.000000e+00 | -- | Inf
394.32/394.58 c 371s|910000 |658342 | 0 | 0.0 | 486M| 532 | - | 801 | 934 | 0 | 0 | 0 | 205k| 0 | 1.000000e+00 | -- | Inf
398.62/398.88 c 375s|920000 |665814 | 0 | 0.0 | 492M| 532 | - | 801 |1073 | 0 | 0 | 0 | 207k| 0 | 1.000000e+00 | -- | Inf
402.52/402.79 c 379s|930000 |673863 | 0 | 0.0 | 497M| 532 | - | 801 | 882 | 0 | 0 | 0 | 208k| 0 | 1.000000e+00 | -- | Inf
406.62/406.89 c 383s|940000 |681548 | 0 | 0.0 | 503M| 532 | - | 801 |1035 | 0 | 0 | 0 | 210k| 0 | 1.000000e+00 | -- | Inf
410.61/410.89 c 386s|950000 |689459 | 0 | 0.0 | 509M| 532 | - | 801 | 889 | 0 | 0 | 0 | 212k| 0 | 1.000000e+00 | -- | Inf
414.71/414.94 c 390s|960000 |697210 | 0 | 0.0 | 515M| 532 | - | 801 |1008 | 0 | 0 | 0 | 214k| 0 | 1.000000e+00 | -- | Inf
418.71/418.99 c 394s|970000 |705002 | 0 | 0.0 | 520M| 532 | - | 801 | 809 | 0 | 0 | 0 | 215k| 0 | 1.000000e+00 | -- | Inf
422.81/423.00 c 398s|980000 |712705 | 0 | 0.0 | 526M| 532 | - | 801 |1069 | 0 | 0 | 0 | 217k| 0 | 1.000000e+00 | -- | Inf
427.00/427.23 c 402s|990000 |720254 | 0 | 0.0 | 531M| 532 | - | 801 | 877 | 0 | 0 | 0 | 219k| 0 | 1.000000e+00 | -- | Inf
430.92/431.19 c 405s| 1000k|727904 | 0 | 0.0 | 537M| 532 | - | 801 | 851 | 0 | 0 | 0 | 221k| 0 | 1.000000e+00 | -- | Inf
435.21/435.46 c 409s| 1010k|735188 | 0 | 0.0 | 542M| 532 | - | 801 | 841 | 0 | 0 | 0 | 223k| 0 | 1.000000e+00 | -- | Inf
439.20/439.40 c 413s| 1020k|743224 | 0 | 0.0 | 548M| 532 | - | 801 | 901 | 0 | 0 | 0 | 224k| 0 | 1.000000e+00 | -- | Inf
443.30/443.54 c 417s| 1030k|750747 | 0 | 0.0 | 553M| 532 | - | 801 |1204 | 0 | 0 | 0 | 226k| 0 | 1.000000e+00 | -- | Inf
447.51/447.72 c 421s| 1040k|758357 | 0 | 0.0 | 559M| 532 | - | 801 | 956 | 0 | 0 | 0 | 228k| 0 | 1.000000e+00 | -- | Inf
451.50/451.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
451.50/451.72 c 425s| 1050k|766376 | 0 | 0.0 | 565M| 532 | - | 801 | 875 | 0 | 0 | 0 | 230k| 0 | 1.000000e+00 | -- | Inf
455.69/455.99 c 429s| 1060k|773906 | 0 | 0.0 | 570M| 532 | - | 801 |1167 | 0 | 0 | 0 | 232k| 0 | 1.000000e+00 | -- | Inf
460.00/460.20 c 433s| 1070k|781595 | 0 | 0.0 | 576M| 532 | - | 801 | 953 | 0 | 0 | 0 | 233k| 0 | 1.000000e+00 | -- | Inf
464.01/464.22 c 436s| 1080k|789561 | 0 | 0.0 | 582M| 532 | - | 801 | 980 | 0 | 0 | 0 | 235k| 0 | 1.000000e+00 | -- | Inf
468.20/468.45 c 440s| 1090k|797137 | 0 | 0.0 | 587M| 532 | - | 801 |1227 | 0 | 0 | 0 | 237k| 0 | 1.000000e+00 | -- | Inf
472.59/472.86 c 445s| 1100k|804464 | 0 | 0.0 | 593M| 532 | - | 801 |1040 | 0 | 0 | 0 | 239k| 0 | 1.000000e+00 | -- | Inf
476.69/476.96 c 448s| 1110k|812280 | 0 | 0.0 | 599M| 532 | - | 801 |1009 | 0 | 0 | 0 | 241k| 0 | 1.000000e+00 | -- | Inf
480.69/480.98 c 452s| 1120k|820212 | 0 | 0.0 | 604M| 532 | - | 801 |1083 | 0 | 0 | 0 | 243k| 0 | 1.000000e+00 | -- | Inf
484.89/485.18 c 456s| 1130k|827509 | 0 | 0.0 | 610M| 532 | - | 801 |1082 | 0 | 0 | 0 | 245k| 0 | 1.000000e+00 | -- | Inf
489.09/489.36 c 460s| 1140k|835156 | 0 | 0.0 | 615M| 532 | - | 801 |1096 | 0 | 0 | 0 | 247k| 0 | 1.000000e+00 | -- | Inf
493.18/493.44 c 464s| 1150k|843058 | 0 | 0.0 | 621M| 532 | - | 801 |1067 | 0 | 0 | 0 | 248k| 0 | 1.000000e+00 | -- | Inf
497.28/497.56 c 468s| 1160k|850912 | 0 | 0.0 | 626M| 532 | - | 801 |1092 | 0 | 0 | 0 | 250k| 0 | 1.000000e+00 | -- | Inf
501.88/502.10 c 472s| 1170k|857991 | 0 | 0.0 | 632M| 532 | - | 801 | 960 | 0 | 0 | 0 | 252k| 0 | 1.000000e+00 | -- | Inf
505.78/506.04 c 476s| 1180k|865799 | 0 | 0.0 | 637M| 532 | - | 801 | 849 | 0 | 0 | 0 | 254k| 0 | 1.000000e+00 | -- | Inf
509.77/510.08 c 480s| 1190k|873659 | 0 | 0.0 | 643M| 532 | - | 801 |1055 | 0 | 0 | 0 | 256k| 0 | 1.000000e+00 | -- | Inf
514.17/514.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
514.17/514.44 c 484s| 1200k|881023 | 0 | 0.0 | 648M| 532 | - | 801 |1154 | 0 | 0 | 0 | 258k| 0 | 1.000000e+00 | -- | Inf
518.57/518.80 c 488s| 1210k|888414 | 0 | 0.0 | 654M| 532 | - | 801 | 951 | 0 | 0 | 0 | 260k| 0 | 1.000000e+00 | -- | Inf
522.57/522.82 c 492s| 1220k|896306 | 0 | 0.0 | 659M| 532 | - | 801 |1124 | 0 | 0 | 0 | 261k| 0 | 1.000000e+00 | -- | Inf
526.47/526.79 c 495s| 1230k|904299 | 0 | 0.0 | 665M| 532 | - | 801 | 961 | 0 | 0 | 0 | 263k| 0 | 1.000000e+00 | -- | Inf
530.47/530.75 c 499s| 1240k|912186 | 0 | 0.0 | 671M| 532 | - | 801 |1123 | 0 | 0 | 0 | 264k| 0 | 1.000000e+00 | -- | Inf
534.97/535.21 c 503s| 1250k|919451 | 0 | 0.0 | 676M| 532 | - | 801 |1032 | 0 | 0 | 0 | 266k| 0 | 1.000000e+00 | -- | Inf
538.96/539.29 c 507s| 1260k|927319 | 0 | 0.0 | 682M| 532 | - | 801 |1060 | 0 | 0 | 0 | 268k| 0 | 1.000000e+00 | -- | Inf
542.96/543.30 c 511s| 1270k|935335 | 0 | 0.0 | 688M| 532 | - | 801 |1016 | 0 | 0 | 0 | 270k| 0 | 1.000000e+00 | -- | Inf
547.06/547.30 c 515s| 1280k|943512 | 0 | 0.0 | 694M| 532 | - | 801 | 992 | 0 | 0 | 0 | 271k| 0 | 1.000000e+00 | -- | Inf
551.66/551.95 c 519s| 1290k|950643 | 0 | 0.0 | 699M| 532 | - | 801 | 990 | 0 | 0 | 0 | 273k| 0 | 1.000000e+00 | -- | Inf
555.85/556.14 c 523s| 1300k|958258 | 0 | 0.0 | 704M| 532 | - | 801 | 842 | 0 | 0 | 0 | 275k| 0 | 1.000000e+00 | -- | Inf
559.75/560.09 c 527s| 1310k|966216 | 0 | 0.0 | 710M| 532 | - | 801 | 993 | 0 | 0 | 0 | 277k| 0 | 1.000000e+00 | -- | Inf
563.65/563.96 c 530s| 1320k|974357 | 0 | 0.0 | 716M| 532 | - | 801 | 977 | 0 | 0 | 0 | 278k| 0 | 1.000000e+00 | -- | Inf
567.45/567.73 c 534s| 1330k|982564 | 0 | 0.0 | 722M| 532 | - | 801 |1012 | 0 | 0 | 0 | 279k| 0 | 1.000000e+00 | -- | Inf
572.05/572.34 c 538s| 1340k|989478 | 0 | 0.0 | 727M| 532 | - | 801 |1043 | 0 | 0 | 0 | 282k| 0 | 1.000000e+00 | -- | Inf
576.25/576.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
576.25/576.52 c 542s| 1350k|997228 | 0 | 0.0 | 733M| 532 | - | 801 |1098 | 0 | 0 | 0 | 283k| 0 | 1.000000e+00 | -- | Inf
580.24/580.59 c 546s| 1360k| 1005k| 0 | 0.0 | 738M| 532 | - | 801 |1035 | 0 | 0 | 0 | 285k| 0 | 1.000000e+00 | -- | Inf
584.15/584.44 c 549s| 1370k| 1013k| 0 | 0.0 | 744M| 532 | - | 801 | 948 | 0 | 0 | 0 | 286k| 0 | 1.000000e+00 | -- | Inf
588.15/588.40 c 553s| 1380k| 1021k| 0 | 0.0 | 750M| 532 | - | 801 |1164 | 0 | 0 | 0 | 288k| 0 | 1.000000e+00 | -- | Inf
592.65/592.91 c 557s| 1390k| 1028k| 0 | 0.0 | 755M| 532 | - | 801 | 900 | 0 | 0 | 0 | 290k| 0 | 1.000000e+00 | -- | Inf
596.74/597.02 c 561s| 1400k| 1035k| 0 | 0.0 | 761M| 532 | - | 801 | 844 | 0 | 0 | 0 | 292k| 0 | 1.000000e+00 | -- | Inf
600.64/600.90 c 565s| 1410k| 1043k| 0 | 0.0 | 766M| 532 | - | 801 | 840 | 0 | 0 | 0 | 294k| 0 | 1.000000e+00 | -- | Inf
604.53/604.80 c 569s| 1420k| 1051k| 0 | 0.0 | 771M| 532 | - | 801 | 832 | 0 | 0 | 0 | 295k| 0 | 1.000000e+00 | -- | Inf
608.64/608.96 c 572s| 1430k| 1059k| 0 | 0.0 | 777M| 532 | - | 801 |1139 | 0 | 0 | 0 | 297k| 0 | 1.000000e+00 | -- | Inf
613.03/613.35 c 577s| 1440k| 1066k| 0 | 0.0 | 782M| 532 | - | 801 | 918 | 0 | 0 | 0 | 299k| 0 | 1.000000e+00 | -- | Inf
617.03/617.39 c 580s| 1450k| 1074k| 0 | 0.0 | 788M| 532 | - | 801 | 927 | 0 | 0 | 0 | 301k| 0 | 1.000000e+00 | -- | Inf
621.03/621.35 c 584s| 1460k| 1082k| 0 | 0.0 | 794M| 532 | - | 801 | 974 | 0 | 0 | 0 | 302k| 0 | 1.000000e+00 | -- | Inf
625.23/625.55 c 588s| 1470k| 1090k| 0 | 0.0 | 799M| 532 | - | 801 |1083 | 0 | 0 | 0 | 304k| 0 | 1.000000e+00 | -- | Inf
629.62/629.98 c 592s| 1480k| 1097k| 0 | 0.0 | 805M| 532 | - | 801 |1217 | 0 | 0 | 0 | 306k| 0 | 1.000000e+00 | -- | Inf
634.13/634.46 c 596s| 1490k| 1105k| 0 | 0.0 | 810M| 532 | - | 801 |1169 | 0 | 0 | 0 | 308k| 0 | 1.000000e+00 | -- | Inf
638.33/638.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
638.33/638.65 c 600s| 1500k| 1112k| 0 | 0.0 | 816M| 532 | - | 801 |1121 | 0 | 0 | 0 | 310k| 0 | 1.000000e+00 | -- | Inf
642.43/642.70 c 604s| 1510k| 1120k| 0 | 0.0 | 822M| 532 | - | 801 | 960 | 0 | 0 | 0 | 311k| 0 | 1.000000e+00 | -- | Inf
646.62/646.91 c 608s| 1520k| 1128k| 0 | 0.0 | 827M| 532 | - | 801 |1084 | 0 | 0 | 0 | 313k| 0 | 1.000000e+00 | -- | Inf
650.93/651.23 c 612s| 1530k| 1136k| 0 | 0.0 | 833M| 532 | - | 801 |1208 | 0 | 0 | 0 | 315k| 0 | 1.000000e+00 | -- | Inf
655.33/655.62 c 616s| 1540k| 1143k| 0 | 0.0 | 838M| 532 | - | 801 |1122 | 0 | 0 | 0 | 317k| 0 | 1.000000e+00 | -- | Inf
659.42/659.79 c 620s| 1550k| 1151k| 0 | 0.0 | 844M| 532 | - | 801 |1066 | 0 | 0 | 0 | 319k| 0 | 1.000000e+00 | -- | Inf
663.51/663.81 c 624s| 1560k| 1159k| 0 | 0.0 | 849M| 532 | - | 801 |1080 | 0 | 0 | 0 | 320k| 0 | 1.000000e+00 | -- | Inf
667.61/667.92 c 628s| 1570k| 1167k| 0 | 0.0 | 855M| 532 | - | 801 |1067 | 0 | 0 | 0 | 322k| 0 | 1.000000e+00 | -- | Inf
671.51/671.82 c 632s| 1580k| 1175k| 0 | 0.0 | 861M| 532 | - | 801 |1189 | 0 | 0 | 0 | 324k| 0 | 1.000000e+00 | -- | Inf
676.12/676.44 c 636s| 1590k| 1182k| 0 | 0.0 | 866M| 532 | - | 801 |1011 | 0 | 0 | 0 | 326k| 0 | 1.000000e+00 | -- | Inf
680.31/680.61 c 640s| 1600k| 1189k| 0 | 0.0 | 871M| 532 | - | 801 | 924 | 0 | 0 | 0 | 328k| 0 | 1.000000e+00 | -- | Inf
684.30/684.67 c 644s| 1610k| 1197k| 0 | 0.0 | 877M| 532 | - | 801 |1098 | 0 | 0 | 0 | 329k| 0 | 1.000000e+00 | -- | Inf
688.21/688.53 c 647s| 1620k| 1205k| 0 | 0.0 | 882M| 532 | - | 801 |1012 | 0 | 0 | 0 | 331k| 0 | 1.000000e+00 | -- | Inf
692.10/692.42 c 651s| 1630k| 1213k| 0 | 0.0 | 888M| 532 | - | 801 |1023 | 0 | 0 | 0 | 333k| 0 | 1.000000e+00 | -- | Inf
696.80/697.15 c 655s| 1640k| 1220k| 0 | 0.0 | 893M| 532 | - | 801 |1089 | 0 | 0 | 0 | 335k| 0 | 1.000000e+00 | -- | Inf
701.10/701.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
701.10/701.47 c 659s| 1650k| 1228k| 0 | 0.0 | 899M| 532 | - | 801 |1175 | 0 | 0 | 0 | 337k| 0 | 1.000000e+00 | -- | Inf
705.29/705.60 c 663s| 1660k| 1236k| 0 | 0.0 | 905M| 532 | - | 801 |1121 | 0 | 0 | 0 | 338k| 0 | 1.000000e+00 | -- | Inf
709.40/709.75 c 667s| 1670k| 1244k| 0 | 0.0 | 910M| 532 | - | 801 |1143 | 0 | 0 | 0 | 340k| 0 | 1.000000e+00 | -- | Inf
713.50/713.88 c 671s| 1680k| 1252k| 0 | 0.0 | 916M| 532 | - | 801 |1046 | 0 | 0 | 0 | 342k| 0 | 1.000000e+00 | -- | Inf
718.00/718.31 c 675s| 1690k| 1259k| 0 | 0.0 | 921M| 532 | - | 801 |1149 | 0 | 0 | 0 | 344k| 0 | 1.000000e+00 | -- | Inf
722.49/722.89 c 680s| 1700k| 1266k| 0 | 0.0 | 927M| 532 | - | 801 |1437 | 0 | 0 | 0 | 346k| 0 | 1.000000e+00 | -- | Inf
726.99/727.35 c 684s| 1710k| 1274k| 0 | 0.0 | 932M| 532 | - | 801 |1350 | 0 | 0 | 0 | 348k| 0 | 1.000000e+00 | -- | Inf
731.19/731.58 c 688s| 1720k| 1282k| 0 | 0.0 | 938M| 532 | - | 801 |1168 | 0 | 0 | 0 | 350k| 0 | 1.000000e+00 | -- | Inf
735.38/735.70 c 692s| 1730k| 1289k| 0 | 0.0 | 944M| 532 | - | 801 |1137 | 0 | 0 | 0 | 352k| 0 | 1.000000e+00 | -- | Inf
739.69/740.07 c 696s| 1740k| 1297k| 0 | 0.0 | 949M| 532 | - | 801 |1194 | 0 | 0 | 0 | 354k| 0 | 1.000000e+00 | -- | Inf
744.18/744.50 c 700s| 1750k| 1304k| 0 | 0.0 | 955M| 532 | - | 801 |1293 | 0 | 0 | 0 | 356k| 0 | 1.000000e+00 | -- | Inf
748.57/748.92 c 704s| 1760k| 1312k| 0 | 0.0 | 960M| 532 | - | 801 |1191 | 0 | 0 | 0 | 357k| 0 | 1.000000e+00 | -- | Inf
752.78/753.18 c 708s| 1770k| 1320k| 0 | 0.0 | 966M| 532 | - | 801 |1112 | 0 | 0 | 0 | 359k| 0 | 1.000000e+00 | -- | Inf
756.78/757.15 c 712s| 1780k| 1328k| 0 | 0.0 | 972M| 532 | - | 801 |1089 | 0 | 0 | 0 | 361k| 0 | 1.000000e+00 | -- | Inf
760.78/761.19 c 716s| 1790k| 1336k| 0 | 0.0 | 977M| 532 | - | 801 |1120 | 0 | 0 | 0 | 362k| 0 | 1.000000e+00 | -- | Inf
765.37/765.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
765.37/765.79 c 720s| 1800k| 1343k| 0 | 0.0 | 983M| 532 | - | 801 |1111 | 0 | 0 | 0 | 365k| 0 | 1.000000e+00 | -- | Inf
769.68/770.05 c 724s| 1810k| 1350k| 0 | 0.0 | 988M| 532 | - | 801 | 938 | 0 | 0 | 0 | 367k| 0 | 1.000000e+00 | -- | Inf
773.87/774.29 c 728s| 1820k| 1358k| 0 | 0.0 | 994M| 532 | - | 801 |1167 | 0 | 0 | 0 | 368k| 0 | 1.000000e+00 | -- | Inf
778.38/778.75 c 732s| 1830k| 1366k| 0 | 0.0 | 999M| 532 | - | 801 |1230 | 0 | 0 | 0 | 371k| 0 | 1.000000e+00 | -- | Inf
782.66/783.06 c 736s| 1840k| 1373k| 0 | 0.0 |1005M| 532 | - | 801 |1152 | 0 | 0 | 0 | 373k| 0 | 1.000000e+00 | -- | Inf
787.36/787.77 c 741s| 1850k| 1380k| 0 | 0.0 |1010M| 532 | - | 801 |1452 | 0 | 0 | 0 | 375k| 0 | 1.000000e+00 | -- | Inf
791.76/792.17 c 745s| 1860k| 1388k| 0 | 0.0 |1016M| 532 | - | 801 |1463 | 0 | 0 | 0 | 377k| 0 | 1.000000e+00 | -- | Inf
796.45/796.88 c 749s| 1870k| 1395k| 0 | 0.0 |1021M| 532 | - | 801 |1262 | 0 | 0 | 0 | 379k| 0 | 1.000000e+00 | -- | Inf
801.05/801.45 c 754s| 1880k| 1403k| 0 | 0.0 |1027M| 532 | - | 801 |1252 | 0 | 0 | 0 | 381k| 0 | 1.000000e+00 | -- | Inf
805.46/805.89 c 758s| 1890k| 1410k| 0 | 0.0 |1032M| 532 | - | 801 |1399 | 0 | 0 | 0 | 383k| 0 | 1.000000e+00 | -- | Inf
810.26/810.61 c 762s| 1900k| 1417k| 0 | 0.0 |1037M| 532 | - | 801 |1189 | 0 | 0 | 0 | 386k| 0 | 1.000000e+00 | -- | Inf
814.66/815.01 c 766s| 1910k| 1425k| 0 | 0.0 |1043M| 532 | - | 801 |1276 | 0 | 0 | 0 | 387k| 0 | 1.000000e+00 | -- | Inf
819.16/819.51 c 771s| 1920k| 1432k| 0 | 0.0 |1048M| 532 | - | 801 |1261 | 0 | 0 | 0 | 389k| 0 | 1.000000e+00 | -- | Inf
823.45/823.85 c 775s| 1930k| 1440k| 0 | 0.0 |1054M| 532 | - | 801 |1336 | 0 | 0 | 0 | 392k| 0 | 1.000000e+00 | -- | Inf
828.15/828.59 c 779s| 1940k| 1447k| 0 | 0.0 |1059M| 532 | - | 801 |1432 | 0 | 0 | 0 | 394k| 0 | 1.000000e+00 | -- | Inf
832.74/833.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
832.74/833.13 c 784s| 1950k| 1454k| 0 | 0.0 |1065M| 532 | - | 801 |1417 | 0 | 0 | 0 | 396k| 0 | 1.000000e+00 | -- | Inf
837.54/837.93 c 788s| 1960k| 1461k| 0 | 0.0 |1070M| 532 | - | 801 |1366 | 0 | 0 | 0 | 398k| 0 | 1.000000e+00 | -- | Inf
841.94/842.34 c 792s| 1970k| 1469k| 0 | 0.0 |1075M| 532 | - | 801 |1311 | 0 | 0 | 0 | 401k| 0 | 1.000000e+00 | -- | Inf
846.44/846.82 c 797s| 1980k| 1476k| 0 | 0.0 |1081M| 532 | - | 801 |1391 | 0 | 0 | 0 | 403k| 0 | 1.000000e+00 | -- | Inf
851.13/851.58 c 801s| 1990k| 1483k| 0 | 0.0 |1086M| 532 | - | 801 |1437 | 0 | 0 | 0 | 405k| 0 | 1.000000e+00 | -- | Inf
855.84/856.20 c 805s| 2000k| 1491k| 0 | 0.0 |1092M| 532 | - | 801 |1609 | 0 | 0 | 0 | 407k| 0 | 1.000000e+00 | -- | Inf
860.24/860.69 c 810s| 2010k| 1498k| 0 | 0.0 |1097M| 532 | - | 801 |1307 | 0 | 0 | 0 | 409k| 0 | 1.000000e+00 | -- | Inf
864.53/864.92 c 814s| 2020k| 1506k| 0 | 0.0 |1103M| 532 | - | 801 |1252 | 0 | 0 | 0 | 412k| 0 | 1.000000e+00 | -- | Inf
868.93/869.35 c 818s| 2030k| 1513k| 0 | 0.0 |1108M| 532 | - | 801 |1330 | 0 | 0 | 0 | 414k| 0 | 1.000000e+00 | -- | Inf
873.92/874.31 c 822s| 2040k| 1520k| 0 | 0.0 |1113M| 532 | - | 801 |1554 | 0 | 0 | 0 | 416k| 0 | 1.000000e+00 | -- | Inf
878.73/879.17 c 827s| 2050k| 1527k| 0 | 0.0 |1119M| 532 | - | 801 |1527 | 0 | 0 | 0 | 419k| 0 | 1.000000e+00 | -- | Inf
883.52/883.96 c 832s| 2060k| 1534k| 0 | 0.0 |1124M| 532 | - | 801 |1365 | 0 | 0 | 0 | 421k| 0 | 1.000000e+00 | -- | Inf
888.23/888.60 c 836s| 2070k| 1542k| 0 | 0.0 |1129M| 532 | - | 801 |1333 | 0 | 0 | 0 | 423k| 0 | 1.000000e+00 | -- | Inf
893.03/893.44 c 841s| 2080k| 1549k| 0 | 0.0 |1135M| 532 | - | 801 |1408 | 0 | 0 | 0 | 426k| 0 | 1.000000e+00 | -- | Inf
897.92/898.32 c 845s| 2090k| 1556k| 0 | 0.0 |1140M| 532 | - | 801 |1646 | 0 | 0 | 0 | 428k| 0 | 1.000000e+00 | -- | Inf
902.11/902.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
902.11/902.53 c 849s| 2100k| 1564k| 0 | 0.0 |1146M| 532 | - | 801 |1346 | 0 | 0 | 0 | 430k| 0 | 1.000000e+00 | -- | Inf
906.52/906.98 c 853s| 2110k| 1571k| 0 | 0.0 |1151M| 532 | - | 801 |1514 | 0 | 0 | 0 | 432k| 0 | 1.000000e+00 | -- | Inf
911.21/911.69 c 858s| 2120k| 1579k| 0 | 0.0 |1157M| 532 | - | 801 |1417 | 0 | 0 | 0 | 434k| 0 | 1.000000e+00 | -- | Inf
916.02/916.40 c 862s| 2130k| 1586k| 0 | 0.0 |1162M| 532 | - | 801 |1501 | 0 | 0 | 0 | 437k| 0 | 1.000000e+00 | -- | Inf
920.91/921.32 c 867s| 2140k| 1593k| 0 | 0.0 |1167M| 532 | - | 801 |1536 | 0 | 0 | 0 | 439k| 0 | 1.000000e+00 | -- | Inf
925.51/925.90 c 871s| 2150k| 1600k| 0 | 0.0 |1173M| 532 | - | 801 |1395 | 0 | 0 | 0 | 441k| 0 | 1.000000e+00 | -- | Inf
929.60/930.07 c 875s| 2160k| 1608k| 0 | 0.0 |1178M| 532 | - | 801 |1427 | 0 | 0 | 0 | 443k| 0 | 1.000000e+00 | -- | Inf
934.41/934.82 c 880s| 2170k| 1615k| 0 | 0.0 |1184M| 532 | - | 801 |1449 | 0 | 0 | 0 | 446k| 0 | 1.000000e+00 | -- | Inf
938.91/939.35 c 884s| 2180k| 1623k| 0 | 0.0 |1189M| 532 | - | 801 |1633 | 0 | 0 | 0 | 448k| 0 | 1.000000e+00 | -- | Inf
943.30/943.79 c 888s| 2190k| 1630k| 0 | 0.0 |1195M| 532 | - | 801 |1305 | 0 | 0 | 0 | 450k| 0 | 1.000000e+00 | -- | Inf
947.89/948.39 c 893s| 2200k| 1638k| 0 | 0.0 |1200M| 532 | - | 801 |1420 | 0 | 0 | 0 | 452k| 0 | 1.000000e+00 | -- | Inf
952.70/953.11 c 897s| 2210k| 1645k| 0 | 0.0 |1205M| 532 | - | 801 |1423 | 0 | 0 | 0 | 454k| 0 | 1.000000e+00 | -- | Inf
957.49/957.90 c 902s| 2220k| 1652k| 0 | 0.0 |1211M| 532 | - | 801 |1722 | 0 | 0 | 0 | 457k| 0 | 1.000000e+00 | -- | Inf
962.00/962.41 c 906s| 2230k| 1660k| 0 | 0.0 |1216M| 532 | - | 801 |1408 | 0 | 0 | 0 | 459k| 0 | 1.000000e+00 | -- | Inf
966.19/966.68 c 910s| 2240k| 1667k| 0 | 0.0 |1222M| 532 | - | 801 |1419 | 0 | 0 | 0 | 461k| 0 | 1.000000e+00 | -- | Inf
970.69/971.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
970.69/971.18 c 914s| 2250k| 1675k| 0 | 0.0 |1227M| 532 | - | 801 |1422 | 0 | 0 | 0 | 463k| 0 | 1.000000e+00 | -- | Inf
975.59/976.03 c 919s| 2260k| 1682k| 0 | 0.0 |1233M| 532 | - | 801 |1674 | 0 | 0 | 0 | 466k| 0 | 1.000000e+00 | -- | Inf
980.29/980.72 c 923s| 2270k| 1689k| 0 | 0.0 |1238M| 532 | - | 801 |1548 | 0 | 0 | 0 | 468k| 0 | 1.000000e+00 | -- | Inf
984.69/985.15 c 927s| 2280k| 1697k| 0 | 0.0 |1244M| 532 | - | 801 |1466 | 0 | 0 | 0 | 470k| 0 | 1.000000e+00 | -- | Inf
989.38/989.88 c 932s| 2290k| 1704k| 0 | 0.0 |1249M| 532 | - | 801 |1560 | 0 | 0 | 0 | 472k| 0 | 1.000000e+00 | -- | Inf
994.18/994.62 c 936s| 2300k| 1711k| 0 | 0.0 |1254M| 532 | - | 801 |1746 | 0 | 0 | 0 | 475k| 0 | 1.000000e+00 | -- | Inf
998.68/999.19 c 941s| 2310k| 1719k| 0 | 0.0 |1260M| 532 | - | 801 |1403 | 0 | 0 | 0 | 477k| 0 | 1.000000e+00 | -- | Inf
1002.79/1003.26 c 944s| 2320k| 1727k| 0 | 0.0 |1266M| 532 | - | 801 |1313 | 0 | 0 | 0 | 479k| 0 | 1.000000e+00 | -- | Inf
1007.19/1007.63 c 948s| 2330k| 1735k| 0 | 0.0 |1271M| 532 | - | 801 |1474 | 0 | 0 | 0 | 481k| 0 | 1.000000e+00 | -- | Inf
1011.97/1012.50 c 953s| 2340k| 1742k| 0 | 0.0 |1277M| 532 | - | 801 |1715 | 0 | 0 | 0 | 483k| 0 | 1.000000e+00 | -- | Inf
1016.57/1017.01 c 957s| 2350k| 1749k| 0 | 0.0 |1282M| 532 | - | 801 |1455 | 0 | 0 | 0 | 485k| 0 | 1.000000e+00 | -- | Inf
1020.77/1021.30 c 961s| 2360k| 1757k| 0 | 0.0 |1288M| 532 | - | 801 |1412 | 0 | 0 | 0 | 487k| 0 | 1.000000e+00 | -- | Inf
1025.27/1025.75 c 966s| 2370k| 1765k| 0 | 0.0 |1294M| 532 | - | 801 |1777 | 0 | 0 | 0 | 489k| 0 | 1.000000e+00 | -- | Inf
1030.87/1031.39 c 971s| 2380k| 1771k| 0 | 0.0 |1299M| 532 | - | 801 |2836 | 0 | 0 | 0 | 492k| 0 | 1.000000e+00 | -- | Inf
1036.47/1036.98 c 976s| 2390k| 1778k| 0 | 0.0 |1304M| 532 | - | 801 |2949 | 0 | 0 | 0 | 495k| 0 | 1.000000e+00 | -- | Inf
1042.06/1042.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1042.06/1042.51 c 982s| 2400k| 1785k| 0 | 0.0 |1309M| 532 | - | 801 |2798 | 0 | 0 | 0 | 498k| 0 | 1.000000e+00 | -- | Inf
1047.87/1048.37 c 987s| 2410k| 1792k| 0 | 0.0 |1315M| 532 | - | 801 |3345 | 0 | 0 | 0 | 500k| 0 | 1.000000e+00 | -- | Inf
1053.56/1054.01 c 993s| 2420k| 1799k| 0 | 0.0 |1320M| 532 | - | 801 |3073 | 0 | 0 | 0 | 503k| 0 | 1.000000e+00 | -- | Inf
1058.65/1059.13 c 997s| 2430k| 1806k| 0 | 0.0 |1325M| 532 | - | 801 |2636 | 0 | 0 | 0 | 505k| 0 | 1.000000e+00 | -- | Inf
1063.66/1064.15 c 1002s| 2440k| 1813k| 0 | 0.0 |1331M| 532 | - | 801 |2839 | 0 | 0 | 0 | 507k| 0 | 1.000000e+00 | -- | Inf
1069.14/1069.64 c 1007s| 2450k| 1820k| 0 | 0.0 |1336M| 532 | - | 801 |3073 | 0 | 0 | 0 | 510k| 0 | 1.000000e+00 | -- | Inf
1074.44/1074.98 c 1012s| 2460k| 1827k| 0 | 0.0 |1341M| 532 | - | 801 |2518 | 0 | 0 | 0 | 512k| 0 | 1.000000e+00 | -- | Inf
1079.85/1080.36 c 1018s| 2470k| 1834k| 0 | 0.0 |1346M| 532 | - | 801 |2804 | 0 | 0 | 0 | 515k| 0 | 1.000000e+00 | -- | Inf
1085.74/1086.23 c 1023s| 2480k| 1841k| 0 | 0.0 |1352M| 532 | - | 801 |3486 | 0 | 0 | 0 | 518k| 0 | 1.000000e+00 | -- | Inf
1091.55/1092.08 c 1029s| 2490k| 1847k| 0 | 0.0 |1357M| 532 | - | 801 |3559 | 0 | 0 | 0 | 520k| 0 | 1.000000e+00 | -- | Inf
1093.84/1094.38 c (node 2493944) switching to memory saving mode (mem: 1296.0M/1620.0M)
1106.83/1107.36 c 1044s| 2500k| 1848k| 0 | 0.0 |1358M| 532 | - | 801 |4709 | 0 | 0 | 0 | 526k| 0 | 1.000000e+00 | -- | Inf
1112.03/1112.54 o 129
1112.03/1112.54 c *1049s| 2501k| 1668k| 0 | 0.0 |1273M| 532 | - | 801 |4742 | 0 | 0 | 0 | 527k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1120.33/1120.87 o 77
1120.33/1120.87 c *1057s| 2505k| 1664k| 0 | 0.0 |1271M| 532 | - | 801 |5438 | 0 | 0 | 0 | 530k| 0 | 1.000000e+00 | 7.700000e+01 |7600.00%
1121.62/1122.15 o 69
1121.62/1122.15 c *1058s| 2506k| 1655k| 0 | 0.0 |1264M| 532 | - | 801 |5392 | 0 | 0 | 0 | 530k| 0 | 1.000000e+00 | 6.900000e+01 |6800.00%
1126.22/1126.78 o 65
1126.22/1126.78 c *1063s| 2508k| 1592k| 0 | 0.0 |1237M| 532 | - | 801 |5495 | 0 | 0 | 0 | 531k| 0 | 1.000000e+00 | 6.500000e+01 |6400.00%
1128.33/1128.88 o 5
1128.33/1128.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1128.33/1128.88 c *1065s| 2508k| 1313k| 0 | 0.0 |1048M| 532 | - | 801 |5516 | 0 | 0 | 0 | 531k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1131.33/1131.83 o 3
1131.33/1131.83 c *1068s| 2509k| 1225k| 0 | 0.0 | 975M| 532 | - | 801 |5547 | 0 | 0 | 0 | 532k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
1137.22/1137.75 c (node 2509936) switching to standard mode (mem: 648.0M/1620.0M)
1151.62/1152.20 c
1151.62/1152.20 c SCIP Status : problem is solved [optimal solution found]
1151.62/1152.20 c Solving Time (sec) : 1086.61
1151.62/1152.20 c Solving Nodes : 2509936
1151.62/1152.20 c Primal Bound : +3.00000000000000e+00 (6 solutions)
1151.62/1152.20 c Dual Bound : +3.00000000000000e+00
1151.62/1152.20 c Gap : 0.00 %
1151.71/1152.20 s OPTIMUM FOUND
1151.71/1152.20 v -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 x232 x231 -x230 -x229 -x228 -x227 x226 -x162 -x161 -x160 -x159
1151.71/1152.20 v -x158 -x157 -x156 -x155 x154 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x153 x152 -x151 -x150 -x149 -x148 -x147
1151.71/1152.20 v -x146 x145 -x216 -x215 x214 x213 -x212 -x211 -x210 -x209 x208 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x207 -x206
1151.71/1152.20 v -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x198 -x197 x196 x195 -x194 -x193
1151.71/1152.20 v -x192 -x191 x190 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x189 -x188 x187 -x186 -x185 x184 -x183 -x182 -x181
1151.71/1152.20 v -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x180 -x179 -x178 -x177 x176 -x175 x174 -x173 -x172 -x108 x107 x106 -x105
1151.71/1152.20 v x104 -x103 -x102 -x101 x100 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 x99 x98 -x97 -x96 -x95 -x94 -x93 x92 x91
1151.71/1152.20 v -x90 x89 -x88 x87 -x86 x85 -x84 -x83 x82 -x81 x80 -x79 -x78 -x77 -x76 -x75 -x74 x73 x72 x71 -x70 -x69 -x68 -x67 -x66 -x65 x64
1151.71/1152.20 v x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 x55 -x54 x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 x45 x44 -x43 -x42 -x41 -x40 -x39 -x38
1151.71/1152.20 v x37 -x36 x35 -x34 x33 x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 x23 x22 -x21 x20 x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11
1151.71/1152.20 v x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1
1151.71/1152.20 c SCIP Status : problem is solved [optimal solution found]
1151.71/1152.20 c Solving Time : 1086.61
1151.71/1152.20 c Original Problem :
1151.71/1152.20 c Problem name : HOME/instance-2663530-1276646361.opb
1151.71/1152.20 c Variables : 972 (972 binary, 0 integer, 0 implicit integer, 0 continuous)
1151.71/1152.20 c Constraints : 748 initial, 748 maximal
1151.71/1152.20 c Presolved Problem :
1151.71/1152.20 c Problem name : t_HOME/instance-2663530-1276646361.opb
1151.71/1152.20 c Variables : 801 (801 binary, 0 integer, 0 implicit integer, 0 continuous)
1151.71/1152.20 c Constraints : 595 initial, 5642 maximal
1151.71/1152.20 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1151.71/1152.20 c trivial : 0.00 0 0 0 0 0 0 0 0
1151.71/1152.20 c dualfix : 0.00 0 0 0 0 0 0 0 0
1151.71/1152.20 c boundshift : 0.00 0 0 0 0 0 0 0 0
1151.71/1152.20 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1151.71/1152.20 c implics : 0.00 0 0 0 0 0 0 0 0
1151.71/1152.20 c probing : 0.03 0 0 0 0 0 0 0 0
1151.71/1152.20 c and : 0.18 18 144 0 0 0 144 0 144
1151.71/1152.20 c linear : 0.00 1 8 0 0 0 0 0 70
1151.71/1152.20 c logicor : 0.01 0 0 0 0 0 0 0 0
1151.71/1152.20 c root node : - 71 - - 71 - - - -
1151.71/1152.20 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1151.71/1152.20 c integral : 0 0 0 0 0 0 0 0 0 0
1151.71/1152.20 c and : 576 0 5785569 0 2270684 51862 12304896 0 0 0
1151.71/1152.20 c linear : 9 0 5733706 0 2270684 333166 4079868 0 0 0
1151.71/1152.20 c logicor : 10+ 0 2221195 0 2270690 11669 513233 0 0 0
1151.71/1152.20 c countsols : 0 0 0 0 2270690 0 0 0 0 0
1151.71/1152.20 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1151.71/1152.20 c integral : 0.00 0.00 0.00 0.00 0.00
1151.71/1152.20 c and : 184.68 0.00 110.19 0.00 74.49
1151.71/1152.20 c linear : 323.12 0.00 321.04 0.00 2.08
1151.71/1152.20 c logicor : 61.11 0.00 55.54 0.00 5.57
1151.71/1152.20 c countsols : 0.85 0.00 0.00 0.00 0.85
1151.71/1152.20 c Propagators : Time Calls Cutoffs DomReds
1151.71/1152.20 c vbounds : 2.95 2 0 0
1151.71/1152.20 c rootredcost : 2.60 0 0 0
1151.71/1152.20 c pseudoobj : 7.35 5785104 21 74
1151.71/1152.20 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1151.71/1152.20 c propagation : 212.21 396717 396392 6901723 86.2 19504 69.9 -
1151.71/1152.20 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1151.71/1152.20 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1151.71/1152.20 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1151.71/1152.20 c pseudo solution : 0.00 2 2 2 0.5 0 0.0 -
1151.71/1152.20 c applied globally : - - - 525206 37.5 - - -
1151.71/1152.20 c applied locally : - - - 7657 88.5 - - -
1151.71/1152.20 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1151.71/1152.20 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1151.71/1152.20 c redcost : 0.00 0 0 0 0 0
1151.71/1152.20 c impliedbounds : 0.00 0 0 0 0 0
1151.71/1152.20 c intobj : 0.00 0 0 0 0 0
1151.71/1152.20 c cgmip : 0.00 0 0 0 0 0
1151.71/1152.20 c gomory : 0.00 0 0 0 0 0
1151.71/1152.20 c strongcg : 0.00 0 0 0 0 0
1151.71/1152.20 c cmir : 0.00 0 0 0 0 0
1151.71/1152.20 c flowcover : 0.00 0 0 0 0 0
1151.71/1152.20 c clique : 0.00 0 0 0 0 0
1151.71/1152.20 c zerohalf : 0.00 0 0 0 0 0
1151.71/1152.20 c mcf : 0.00 0 0 0 0 0
1151.71/1152.20 c rapidlearning : 0.00 0 0 0 0 0
1151.71/1152.20 c Pricers : Time Calls Vars
1151.71/1152.20 c problem variables: 0.00 0 0
1151.71/1152.20 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1151.71/1152.20 c relpscost : 0.00 0 0 0 0 0 0
1151.71/1152.20 c pscost : 0.00 0 0 0 0 0 0
1151.71/1152.20 c inference : 208.37 2270684 0 0 0 0 4541368
1151.71/1152.20 c mostinf : 0.00 0 0 0 0 0 0
1151.71/1152.20 c leastinf : 0.00 0 0 0 0 0 0
1151.71/1152.20 c fullstrong : 0.00 0 0 0 0 0 0
1151.71/1152.20 c allfullstrong : 0.00 0 0 0 0 0 0
1151.71/1152.20 c random : 0.00 0 0 0 0 0 0
1151.71/1152.20 c Primal Heuristics : Time Calls Found
1151.71/1152.20 c LP solutions : 0.00 - 0
1151.71/1152.20 c pseudo solutions : 3.75 - 6
1151.71/1152.20 c oneopt : 1.33 0 0
1151.71/1152.20 c trivial : 0.01 2 0
1151.71/1152.20 c simplerounding : 0.00 0 0
1151.71/1152.20 c zirounding : 0.00 0 0
1151.71/1152.20 c rounding : 0.00 0 0
1151.71/1152.20 c shifting : 0.00 0 0
1151.71/1152.20 c intshifting : 0.00 0 0
1151.71/1152.20 c twoopt : 0.00 0 0
1151.71/1152.20 c fixandinfer : 0.00 0 0
1151.71/1152.20 c feaspump : 0.00 0 0
1151.71/1152.20 c coefdiving : 0.00 0 0
1151.71/1152.20 c pscostdiving : 0.00 0 0
1151.71/1152.20 c fracdiving : 0.00 0 0
1151.71/1152.20 c veclendiving : 0.00 0 0
1151.71/1152.20 c intdiving : 0.00 0 0
1151.71/1152.20 c actconsdiving : 0.00 0 0
1151.71/1152.20 c objpscostdiving : 0.00 0 0
1151.71/1152.20 c rootsoldiving : 0.00 0 0
1151.71/1152.20 c linesearchdiving : 0.00 0 0
1151.71/1152.20 c guideddiving : 0.00 0 0
1151.71/1152.20 c octane : 0.00 0 0
1151.71/1152.20 c rens : 0.00 0 0
1151.71/1152.20 c rins : 0.00 0 0
1151.71/1152.20 c localbranching : 0.00 0 0
1151.71/1152.20 c mutation : 0.00 0 0
1151.71/1152.20 c crossover : 0.00 0 0
1151.71/1152.20 c dins : 0.00 0 0
1151.71/1152.20 c undercover : 0.00 0 0
1151.71/1152.20 c nlp : 1.24 0 0
1151.71/1152.20 c trysol : 1.09 0 0
1151.71/1152.20 c LP : Time Calls Iterations Iter/call Iter/sec
1151.71/1152.20 c primal LP : 0.00 0 0 0.00 -
1151.71/1152.20 c dual LP : 0.00 0 0 0.00 -
1151.71/1152.20 c lex dual LP : 0.00 0 0 0.00 -
1151.71/1152.20 c barrier LP : 0.00 0 0 0.00 -
1151.71/1152.20 c diving/probing LP: 0.00 0 0 0.00 -
1151.71/1152.20 c strong branching : 0.00 0 0 0.00 -
1151.71/1152.20 c (at root node) : - 0 0 0.00 -
1151.71/1152.20 c conflict analysis: 0.00 0 0 0.00 -
1151.71/1152.20 c B&B Tree :
1151.71/1152.20 c number of runs : 1
1151.71/1152.20 c nodes : 2509936
1151.71/1152.20 c nodes (total) : 2509936
1151.71/1152.20 c nodes left : 0
1151.71/1152.20 c max depth : 532
1151.71/1152.20 c max depth (total): 532
1151.71/1152.20 c backtracks : 165188 (6.6%)
1151.71/1152.20 c delayed cutoffs : 1409266
1151.71/1152.20 c repropagations : 392234 (1758045 domain reductions, 157474 cutoffs)
1151.71/1152.20 c avg switch length: 5.66
1151.71/1152.20 c switching time : 187.06
1151.71/1152.20 c Solution :
1151.71/1152.20 c Solutions found : 6 (6 improvements)
1151.71/1152.20 c First Solution : +1.29000000000000e+02 (in run 1, after 2501642 nodes, 1048.11 seconds, depth 455, found by <relaxation>)
1151.71/1152.20 c Primal Bound : +3.00000000000000e+00 (in run 1, after 2509935 nodes, 1067.25 seconds, depth 440, found by <relaxation>)
1151.71/1152.20 c Dual Bound : +3.00000000000000e+00
1151.71/1152.20 c Gap : 0.00 %
1151.71/1152.20 c Root Dual Bound : +1.00000000000000e+00
1151.71/1152.20 c Root Iterations : 0
1151.82/1152.31 c Time complete: 1151.83.