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-2663547-1276647051.opb>
0.00/0.01 c original problem has 630 variables (630 bin, 0 int, 0 impl, 0 cont) and 460 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.09/0.11 c (round 1) 9 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 50 chg coeffs, 0 upgd conss, 2916 impls, 0 clqs
0.09/0.11 c (round 2) 23 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 62 chg coeffs, 10 upgd conss, 4260 impls, 0 clqs
0.09/0.12 c (round 3) 37 del vars, 24 del conss, 0 chg bounds, 0 chg sides, 74 chg coeffs, 10 upgd conss, 5436 impls, 0 clqs
0.09/0.12 c (round 4) 51 del vars, 36 del conss, 0 chg bounds, 0 chg sides, 86 chg coeffs, 10 upgd conss, 6444 impls, 0 clqs
0.09/0.13 c (round 5) 65 del vars, 48 del conss, 0 chg bounds, 0 chg sides, 98 chg coeffs, 10 upgd conss, 7284 impls, 0 clqs
0.09/0.13 c (round 6) 79 del vars, 60 del conss, 0 chg bounds, 0 chg sides, 110 chg coeffs, 10 upgd conss, 7956 impls, 0 clqs
0.09/0.13 c (round 7) 93 del vars, 72 del conss, 0 chg bounds, 0 chg sides, 122 chg coeffs, 10 upgd conss, 8460 impls, 0 clqs
0.09/0.14 c (round 8) 107 del vars, 84 del conss, 0 chg bounds, 0 chg sides, 134 chg coeffs, 10 upgd conss, 8796 impls, 0 clqs
0.09/0.14 c (round 9) 121 del vars, 96 del conss, 0 chg bounds, 0 chg sides, 146 chg coeffs, 10 upgd conss, 8964 impls, 0 clqs
0.09/0.15 c (round 10) 135 del vars, 108 del conss, 0 chg bounds, 0 chg sides, 158 chg coeffs, 10 upgd conss, 8964 impls, 0 clqs
0.09/0.17 c (0.1s) probing: 204/495 (41.2%) - 0 fixings, 0 aggregations, 18 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (11 rounds):
0.09/0.17 c 135 deleted vars, 108 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 158 changed coefficients
0.09/0.17 c 9000 implications, 0 cliques
0.09/0.17 c presolved problem has 495 variables (495 bin, 0 int, 0 impl, 0 cont) and 343 constraints
0.09/0.17 c 324 constraints of type <and>
0.09/0.17 c 9 constraints of type <linear>
0.09/0.17 c 10 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 2)
0.09/0.17 c Presolving Time: 0.09
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1800
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 1620
0.09/0.17 c
0.09/0.17 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.17 c lp/solvefreq = -1
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c heuristics/undercover/freq = 0
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.18 c 0.1s| 1 | 2 | 0 | - |1663k| 0 | - | 495 | 343 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
2.49/2.52 c 2.2s| 10000 | 8079 | 0 | 0.0 |7293k| 285 | - | 495 | 633 | 0 | 0 | 0 |1417 | 0 | 1.000000e+00 | -- | Inf
4.99/5.01 c 4.5s| 20000 | 15667 | 0 | 0.0 | 12M| 285 | - | 495 |1027 | 0 | 0 | 0 |3173 | 0 | 1.000000e+00 | -- | Inf
7.49/7.58 c 6.8s| 30000 | 23038 | 0 | 0.0 | 18M| 285 | - | 495 |1452 | 0 | 0 | 0 |5164 | 0 | 1.000000e+00 | -- | Inf
10.19/10.28 c 9.2s| 40000 | 30289 | 0 | 0.0 | 23M| 285 | - | 495 |1565 | 0 | 0 | 0 |7201 | 0 | 1.000000e+00 | -- | Inf
13.20/13.24 c 11.9s| 50000 | 36675 | 0 | 0.0 | 28M| 285 | - | 495 |1783 | 0 | 0 | 0 |9654 | 0 | 1.000000e+00 | -- | Inf
15.99/16.09 c 14.5s| 60000 | 43880 | 0 | 0.0 | 33M| 285 | - | 495 | 886 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | -- | Inf
18.70/18.77 c 16.9s| 70000 | 51559 | 0 | 0.0 | 39M| 285 | - | 495 |1006 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | -- | Inf
21.29/21.34 c 19.2s| 80000 | 59387 | 0 | 0.0 | 44M| 285 | - | 495 | 980 | 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | -- | Inf
23.99/24.02 c 21.6s| 90000 | 66819 | 0 | 0.0 | 49M| 285 | - | 495 | 932 | 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | -- | Inf
26.59/26.68 c 24.0s|100000 | 74379 | 0 | 0.0 | 54M| 285 | - | 495 | 883 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | -- | Inf
29.49/29.50 c 26.6s|110000 | 81350 | 0 | 0.0 | 59M| 285 | - | 495 | 971 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | -- | Inf
32.28/32.35 c 29.2s|120000 | 88222 | 0 | 0.0 | 64M| 285 | - | 495 |1145 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | -- | Inf
35.19/35.29 c 31.9s|130000 | 95008 | 0 | 0.0 | 69M| 285 | - | 495 |1186 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | -- | Inf
38.18/38.21 c 34.5s|140000 |101914 | 0 | 0.0 | 74M| 285 | - | 495 |1366 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | -- | Inf
40.88/40.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.88/40.95 c 37.0s|150000 |109370 | 0 | 0.0 | 79M| 285 | - | 495 |1150 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | -- | Inf
43.78/43.85 c 39.7s|160000 |116395 | 0 | 0.0 | 84M| 285 | - | 495 |1233 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | -- | Inf
46.58/46.66 c 42.2s|170000 |123683 | 0 | 0.0 | 90M| 285 | - | 495 |1368 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | -- | Inf
49.38/49.49 c 44.8s|180000 |131010 | 0 | 0.0 | 95M| 285 | - | 495 |1256 | 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | -- | Inf
52.38/52.48 c 47.5s|190000 |137889 | 0 | 0.0 | 100M| 285 | - | 495 |1436 | 0 | 0 | 0 | 39k| 0 | 1.000000e+00 | -- | Inf
55.38/55.42 c 50.2s|200000 |144859 | 0 | 0.0 | 104M| 285 | - | 495 |1498 | 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | -- | Inf
58.28/58.31 c 52.8s|210000 |152011 | 0 | 0.0 | 110M| 285 | - | 495 |1594 | 0 | 0 | 0 | 44k| 0 | 1.000000e+00 | -- | Inf
61.17/61.29 c 55.6s|220000 |158990 | 0 | 0.0 | 114M| 285 | - | 495 |1584 | 0 | 0 | 0 | 46k| 0 | 1.000000e+00 | -- | Inf
64.27/64.33 c 58.4s|230000 |165829 | 0 | 0.0 | 119M| 285 | - | 495 |1692 | 0 | 0 | 0 | 49k| 0 | 1.000000e+00 | -- | Inf
67.27/67.36 c 61.1s|240000 |172856 | 0 | 0.0 | 124M| 285 | - | 495 |1740 | 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | -- | Inf
70.28/70.38 c 63.9s|250000 |179866 | 0 | 0.0 | 129M| 285 | - | 495 |1827 | 0 | 0 | 0 | 54k| 0 | 1.000000e+00 | -- | Inf
73.37/73.49 c 66.8s|260000 |186789 | 0 | 0.0 | 134M| 285 | - | 495 |1982 | 0 | 0 | 0 | 57k| 0 | 1.000000e+00 | -- | Inf
76.47/76.51 c 69.5s|270000 |193852 | 0 | 0.0 | 139M| 285 | - | 495 |1860 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | -- | Inf
79.48/79.53 c 72.3s|280000 |200877 | 0 | 0.0 | 144M| 285 | - | 495 |1882 | 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | -- | Inf
82.57/82.60 c 75.1s|290000 |207723 | 0 | 0.0 | 149M| 285 | - | 495 |1917 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | -- | Inf
85.67/85.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.67/85.70 c 78.0s|300000 |214356 | 0 | 0.0 | 153M| 285 | - | 495 |1960 | 0 | 0 | 0 | 67k| 0 | 1.000000e+00 | -- | Inf
88.77/88.88 c 80.9s|310000 |220949 | 0 | 0.0 | 158M| 285 | - | 495 |2179 | 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | -- | Inf
92.37/92.40 c 84.1s|320000 |226626 | 0 | 0.0 | 163M| 285 | - | 495 |2460 | 0 | 0 | 0 | 73k| 0 | 1.000000e+00 | -- | Inf
95.67/95.76 c 87.2s|330000 |232979 | 0 | 0.0 | 168M| 285 | - | 495 |2227 | 0 | 0 | 0 | 75k| 0 | 1.000000e+00 | -- | Inf
98.46/98.57 c 89.8s|340000 |240573 | 0 | 0.0 | 173M| 285 | - | 495 |2264 | 0 | 0 | 0 | 77k| 0 | 1.000000e+00 | -- | Inf
101.76/101.89 c 92.8s|350000 |246664 | 0 | 0.0 | 177M| 285 | - | 495 |2530 | 0 | 0 | 0 | 79k| 0 | 1.000000e+00 | -- | Inf
105.27/105.36 c 96.0s|360000 |252628 | 0 | 0.0 | 182M| 285 | - | 495 |2482 | 0 | 0 | 0 | 83k| 0 | 1.000000e+00 | -- | Inf
108.97/109.02 c 99.4s|370000 |258120 | 0 | 0.0 | 187M| 285 | - | 495 |2550 | 0 | 0 | 0 | 86k| 0 | 1.000000e+00 | -- | Inf
112.96/113.03 c 103s|380000 |263042 | 0 | 0.0 | 191M| 285 | - | 495 |2603 | 0 | 0 | 0 | 90k| 0 | 1.000000e+00 | -- | Inf
117.06/117.15 c 107s|390000 |268342 | 0 | 0.0 | 195M| 285 | - | 495 |2622 | 0 | 0 | 0 | 93k| 0 | 1.000000e+00 | -- | Inf
120.36/120.45 c 110s|400000 |275442 | 0 | 0.0 | 200M| 285 | - | 495 | 671 | 0 | 0 | 0 | 95k| 0 | 1.000000e+00 | -- | Inf
122.86/122.96 c 112s|410000 |283630 | 0 | 0.0 | 206M| 285 | - | 495 | 838 | 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | -- | Inf
125.46/125.59 c 115s|420000 |291420 | 0 | 0.0 | 212M| 285 | - | 495 | 829 | 0 | 0 | 0 | 98k| 0 | 1.000000e+00 | -- | Inf
128.15/128.25 c 117s|430000 |299142 | 0 | 0.0 | 217M| 285 | - | 495 | 754 | 0 | 0 | 0 | 100k| 0 | 1.000000e+00 | -- | Inf
130.96/131.09 c 120s|440000 |306276 | 0 | 0.0 | 222M| 285 | - | 495 | 992 | 0 | 0 | 0 | 102k| 0 | 1.000000e+00 | -- | Inf
134.26/134.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.26/134.34 c 123s|450000 |312692 | 0 | 0.0 | 227M| 285 | - | 495 | 940 | 0 | 0 | 0 | 106k| 0 | 1.000000e+00 | -- | Inf
137.36/137.43 c 125s|460000 |319568 | 0 | 0.0 | 232M| 285 | - | 495 |1512 | 0 | 0 | 0 | 108k| 0 | 1.000000e+00 | -- | Inf
140.76/140.83 c 129s|470000 |326179 | 0 | 0.0 | 237M| 285 | - | 495 |1859 | 0 | 0 | 0 | 111k| 0 | 1.000000e+00 | -- | Inf
143.85/143.98 c 132s|480000 |333402 | 0 | 0.0 | 242M| 285 | - | 495 |1535 | 0 | 0 | 0 | 113k| 0 | 1.000000e+00 | -- | Inf
147.05/147.14 c 134s|490000 |340360 | 0 | 0.0 | 247M| 285 | - | 495 |1647 | 0 | 0 | 0 | 115k| 0 | 1.000000e+00 | -- | Inf
150.15/150.25 c 137s|500000 |347526 | 0 | 0.0 | 251M| 285 | - | 495 |1464 | 0 | 0 | 0 | 117k| 0 | 1.000000e+00 | -- | Inf
153.25/153.33 c 140s|510000 |354791 | 0 | 0.0 | 256M| 285 | - | 495 |1243 | 0 | 0 | 0 | 119k| 0 | 1.000000e+00 | -- | Inf
156.25/156.35 c 143s|520000 |362110 | 0 | 0.0 | 262M| 285 | - | 495 |1123 | 0 | 0 | 0 | 121k| 0 | 1.000000e+00 | -- | Inf
159.35/159.45 c 146s|530000 |369096 | 0 | 0.0 | 267M| 285 | - | 495 |1192 | 0 | 0 | 0 | 124k| 0 | 1.000000e+00 | -- | Inf
162.45/162.56 c 149s|540000 |375902 | 0 | 0.0 | 271M| 285 | - | 495 |1572 | 0 | 0 | 0 | 126k| 0 | 1.000000e+00 | -- | Inf
165.45/165.55 c 151s|550000 |383156 | 0 | 0.0 | 277M| 285 | - | 495 |1290 | 0 | 0 | 0 | 128k| 0 | 1.000000e+00 | -- | Inf
168.55/168.67 c 154s|560000 |390123 | 0 | 0.0 | 282M| 285 | - | 495 |1417 | 0 | 0 | 0 | 130k| 0 | 1.000000e+00 | -- | Inf
171.65/171.77 c 157s|570000 |396916 | 0 | 0.0 | 286M| 285 | - | 495 |1413 | 0 | 0 | 0 | 133k| 0 | 1.000000e+00 | -- | Inf
174.95/175.04 c 160s|580000 |403684 | 0 | 0.0 | 291M| 285 | - | 495 |1313 | 0 | 0 | 0 | 135k| 0 | 1.000000e+00 | -- | Inf
178.05/178.16 c 163s|590000 |410556 | 0 | 0.0 | 296M| 285 | - | 495 |1040 | 0 | 0 | 0 | 137k| 0 | 1.000000e+00 | -- | Inf
181.35/181.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
181.35/181.48 c 166s|600000 |416910 | 0 | 0.0 | 301M| 285 | - | 495 |1338 | 0 | 0 | 0 | 140k| 0 | 1.000000e+00 | -- | Inf
184.44/184.57 c 169s|610000 |423773 | 0 | 0.0 | 306M| 285 | - | 495 |1107 | 0 | 0 | 0 | 142k| 0 | 1.000000e+00 | -- | Inf
187.74/187.84 c 172s|620000 |430240 | 0 | 0.0 | 310M| 285 | - | 495 |1423 | 0 | 0 | 0 | 145k| 0 | 1.000000e+00 | -- | Inf
190.95/191.06 c 175s|630000 |436958 | 0 | 0.0 | 315M| 285 | - | 495 |1340 | 0 | 0 | 0 | 147k| 0 | 1.000000e+00 | -- | Inf
194.14/194.22 c 178s|640000 |443697 | 0 | 0.0 | 320M| 285 | - | 495 |1304 | 0 | 0 | 0 | 150k| 0 | 1.000000e+00 | -- | Inf
197.44/197.58 c 181s|650000 |450082 | 0 | 0.0 | 325M| 285 | - | 495 |1428 | 0 | 0 | 0 | 153k| 0 | 1.000000e+00 | -- | Inf
200.74/200.84 c 184s|660000 |456790 | 0 | 0.0 | 330M| 285 | - | 495 |1178 | 0 | 0 | 0 | 155k| 0 | 1.000000e+00 | -- | Inf
204.04/204.12 c 187s|670000 |463093 | 0 | 0.0 | 334M| 285 | - | 495 |1474 | 0 | 0 | 0 | 158k| 0 | 1.000000e+00 | -- | Inf
207.53/207.62 c 190s|680000 |469424 | 0 | 0.0 | 339M| 285 | - | 495 |1307 | 0 | 0 | 0 | 160k| 0 | 1.000000e+00 | -- | Inf
210.93/211.03 c 193s|690000 |475711 | 0 | 0.0 | 343M| 285 | - | 495 |1321 | 0 | 0 | 0 | 163k| 0 | 1.000000e+00 | -- | Inf
214.44/214.52 c 196s|700000 |482024 | 0 | 0.0 | 348M| 285 | - | 495 |1568 | 0 | 0 | 0 | 166k| 0 | 1.000000e+00 | -- | Inf
218.03/218.15 c 200s|710000 |488597 | 0 | 0.0 | 353M| 285 | - | 495 |1328 | 0 | 0 | 0 | 169k| 0 | 1.000000e+00 | -- | Inf
221.64/221.74 c 203s|720000 |495080 | 0 | 0.0 | 358M| 285 | - | 495 |1567 | 0 | 0 | 0 | 171k| 0 | 1.000000e+00 | -- | Inf
225.23/225.36 c 207s|730000 |501180 | 0 | 0.0 | 362M| 285 | - | 495 |1540 | 0 | 0 | 0 | 174k| 0 | 1.000000e+00 | -- | Inf
228.64/228.71 c 210s|740000 |507852 | 0 | 0.0 | 367M| 285 | - | 495 |1299 | 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | -- | Inf
232.04/232.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
232.04/232.17 c 213s|750000 |514166 | 0 | 0.0 | 372M| 285 | - | 495 |1495 | 0 | 0 | 0 | 179k| 0 | 1.000000e+00 | -- | Inf
235.53/235.65 c 216s|760000 |520458 | 0 | 0.0 | 376M| 285 | - | 495 |1284 | 0 | 0 | 0 | 182k| 0 | 1.000000e+00 | -- | Inf
238.93/239.06 c 219s|770000 |526739 | 0 | 0.0 | 381M| 285 | - | 495 |1470 | 0 | 0 | 0 | 185k| 0 | 1.000000e+00 | -- | Inf
242.12/242.28 c 222s|780000 |533435 | 0 | 0.0 | 386M| 285 | - | 495 |1566 | 0 | 0 | 0 | 187k| 0 | 1.000000e+00 | -- | Inf
245.73/245.86 c 225s|790000 |539621 | 0 | 0.0 | 390M| 285 | - | 495 |1447 | 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | -- | Inf
249.23/249.35 c 229s|800000 |546001 | 0 | 0.0 | 395M| 285 | - | 495 |1464 | 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | -- | Inf
252.83/252.93 c 232s|810000 |552036 | 0 | 0.0 | 399M| 285 | - | 495 |1658 | 0 | 0 | 0 | 196k| 0 | 1.000000e+00 | -- | Inf
256.23/256.38 c 235s|820000 |558483 | 0 | 0.0 | 404M| 285 | - | 495 |1537 | 0 | 0 | 0 | 199k| 0 | 1.000000e+00 | -- | Inf
259.53/259.66 c 238s|830000 |565196 | 0 | 0.0 | 409M| 285 | - | 495 |1529 | 0 | 0 | 0 | 201k| 0 | 1.000000e+00 | -- | Inf
263.02/263.17 c 242s|840000 |571472 | 0 | 0.0 | 414M| 285 | - | 495 |1715 | 0 | 0 | 0 | 204k| 0 | 1.000000e+00 | -- | Inf
266.52/266.69 c 245s|850000 |577856 | 0 | 0.0 | 418M| 285 | - | 495 |1597 | 0 | 0 | 0 | 207k| 0 | 1.000000e+00 | -- | Inf
270.02/270.18 c 248s|860000 |584370 | 0 | 0.0 | 423M| 285 | - | 495 |1663 | 0 | 0 | 0 | 209k| 0 | 1.000000e+00 | -- | Inf
273.73/273.83 c 251s|870000 |590402 | 0 | 0.0 | 428M| 285 | - | 495 |1805 | 0 | 0 | 0 | 212k| 0 | 1.000000e+00 | -- | Inf
277.32/277.44 c 255s|880000 |596577 | 0 | 0.0 | 432M| 285 | - | 495 |1911 | 0 | 0 | 0 | 215k| 0 | 1.000000e+00 | -- | Inf
280.62/280.78 c 258s|890000 |603507 | 0 | 0.0 | 437M| 285 | - | 495 |1573 | 0 | 0 | 0 | 218k| 0 | 1.000000e+00 | -- | Inf
284.22/284.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
284.22/284.32 c 261s|900000 |609745 | 0 | 0.0 | 442M| 285 | - | 495 |1693 | 0 | 0 | 0 | 220k| 0 | 1.000000e+00 | -- | Inf
287.61/287.75 c 264s|910000 |616179 | 0 | 0.0 | 446M| 285 | - | 495 |1744 | 0 | 0 | 0 | 223k| 0 | 1.000000e+00 | -- | Inf
290.72/290.89 c 267s|920000 |623328 | 0 | 0.0 | 451M| 285 | - | 495 |1504 | 0 | 0 | 0 | 225k| 0 | 1.000000e+00 | -- | Inf
294.12/294.28 c 270s|930000 |630044 | 0 | 0.0 | 456M| 285 | - | 495 |1700 | 0 | 0 | 0 | 228k| 0 | 1.000000e+00 | -- | Inf
297.62/297.71 c 273s|940000 |636539 | 0 | 0.0 | 461M| 285 | - | 495 |1567 | 0 | 0 | 0 | 231k| 0 | 1.000000e+00 | -- | Inf
300.81/300.97 c 276s|950000 |643586 | 0 | 0.0 | 466M| 285 | - | 495 |1506 | 0 | 0 | 0 | 234k| 0 | 1.000000e+00 | -- | Inf
304.32/304.45 c 280s|960000 |649978 | 0 | 0.0 | 470M| 285 | - | 495 |1825 | 0 | 0 | 0 | 236k| 0 | 1.000000e+00 | -- | Inf
308.01/308.17 c 283s|970000 |656007 | 0 | 0.0 | 475M| 285 | - | 495 |1736 | 0 | 0 | 0 | 239k| 0 | 1.000000e+00 | -- | Inf
311.41/311.57 c 286s|980000 |662768 | 0 | 0.0 | 480M| 285 | - | 495 |1571 | 0 | 0 | 0 | 242k| 0 | 1.000000e+00 | -- | Inf
315.01/315.13 c 290s|990000 |669118 | 0 | 0.0 | 484M| 285 | - | 495 |1839 | 0 | 0 | 0 | 245k| 0 | 1.000000e+00 | -- | Inf
318.41/318.57 c 293s| 1000k|675744 | 0 | 0.0 | 489M| 285 | - | 495 |1729 | 0 | 0 | 0 | 247k| 0 | 1.000000e+00 | -- | Inf
321.81/321.95 c 296s| 1010k|682482 | 0 | 0.0 | 494M| 285 | - | 495 |1416 | 0 | 0 | 0 | 250k| 0 | 1.000000e+00 | -- | Inf
325.41/325.57 c 299s| 1020k|688811 | 0 | 0.0 | 498M| 285 | - | 495 |1449 | 0 | 0 | 0 | 253k| 0 | 1.000000e+00 | -- | Inf
328.51/328.69 c 302s| 1030k|695853 | 0 | 0.0 | 503M| 285 | - | 495 |1259 | 0 | 0 | 0 | 256k| 0 | 1.000000e+00 | -- | Inf
329.20/329.34 o 113
329.20/329.34 c * 303s| 1032k|697207 | 0 | 0.0 | 504M| 285 | - | 495 |1325 | 0 | 0 | 0 | 256k| 0 | 1.000000e+00 | 1.130000e+02 | Large
331.80/331.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
331.80/331.94 c 305s| 1040k|702674 | 0 | 0.0 | 508M| 285 | - | 495 |1367 | 0 | 0 | 0 | 258k| 0 | 1.000000e+00 | 1.130000e+02 | Large
335.61/335.74 c 309s| 1050k|708608 | 0 | 0.0 | 512M| 285 | - | 495 |1550 | 0 | 0 | 0 | 262k| 0 | 1.000000e+00 | 1.130000e+02 | Large
338.90/339.07 c 312s| 1060k|715572 | 0 | 0.0 | 517M| 285 | - | 495 |1265 | 0 | 0 | 0 | 264k| 0 | 1.000000e+00 | 1.130000e+02 | Large
342.20/342.38 c 315s| 1070k|722257 | 0 | 0.0 | 522M| 285 | - | 495 |1645 | 0 | 0 | 0 | 267k| 0 | 1.000000e+00 | 1.130000e+02 | Large
345.60/345.76 c 318s| 1080k|728872 | 0 | 0.0 | 526M| 285 | - | 495 |1356 | 0 | 0 | 0 | 270k| 0 | 1.000000e+00 | 1.130000e+02 | Large
348.80/348.95 c 321s| 1090k|735855 | 0 | 0.0 | 531M| 285 | - | 495 |1379 | 0 | 0 | 0 | 273k| 0 | 1.000000e+00 | 1.130000e+02 | Large
352.39/352.53 c 324s| 1100k|742019 | 0 | 0.0 | 536M| 285 | - | 495 |1734 | 0 | 0 | 0 | 276k| 0 | 1.000000e+00 | 1.130000e+02 | Large
355.90/356.03 c 327s| 1110k|748571 | 0 | 0.0 | 540M| 285 | - | 495 |1417 | 0 | 0 | 0 | 279k| 0 | 1.000000e+00 | 1.130000e+02 | Large
359.10/359.22 c 330s| 1120k|755489 | 0 | 0.0 | 545M| 285 | - | 495 |1581 | 0 | 0 | 0 | 281k| 0 | 1.000000e+00 | 1.130000e+02 | Large
362.59/362.76 c 334s| 1130k|761840 | 0 | 0.0 | 550M| 285 | - | 495 |1404 | 0 | 0 | 0 | 284k| 0 | 1.000000e+00 | 1.130000e+02 | Large
365.90/366.01 c 337s| 1140k|768758 | 0 | 0.0 | 554M| 285 | - | 495 |1266 | 0 | 0 | 0 | 287k| 0 | 1.000000e+00 | 1.130000e+02 | Large
369.10/369.27 c 340s| 1150k|775555 | 0 | 0.0 | 559M| 285 | - | 495 |1499 | 0 | 0 | 0 | 290k| 0 | 1.000000e+00 | 1.130000e+02 | Large
372.49/372.68 c 343s| 1160k|781934 | 0 | 0.0 | 564M| 285 | - | 495 |1509 | 0 | 0 | 0 | 293k| 0 | 1.000000e+00 | 1.130000e+02 | Large
375.90/376.09 c 346s| 1170k|788540 | 0 | 0.0 | 569M| 285 | - | 495 |1661 | 0 | 0 | 0 | 295k| 0 | 1.000000e+00 | 1.130000e+02 | Large
379.40/379.57 c 349s| 1180k|795101 | 0 | 0.0 | 573M| 285 | - | 495 |1528 | 0 | 0 | 0 | 298k| 0 | 1.000000e+00 | 1.130000e+02 | Large
382.89/383.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
382.89/383.04 c 352s| 1190k|801594 | 0 | 0.0 | 578M| 285 | - | 495 |1469 | 0 | 0 | 0 | 301k| 0 | 1.000000e+00 | 1.130000e+02 | Large
386.19/386.31 c 355s| 1200k|808567 | 0 | 0.0 | 583M| 285 | - | 495 |1500 | 0 | 0 | 0 | 304k| 0 | 1.000000e+00 | 1.130000e+02 | Large
389.79/389.99 c 359s| 1210k|814595 | 0 | 0.0 | 587M| 285 | - | 495 |1647 | 0 | 0 | 0 | 307k| 0 | 1.000000e+00 | 1.130000e+02 | Large
393.09/393.25 c 362s| 1220k|821598 | 0 | 0.0 | 592M| 285 | - | 495 |1489 | 0 | 0 | 0 | 310k| 0 | 1.000000e+00 | 1.130000e+02 | Large
396.29/396.44 c 365s| 1230k|828674 | 0 | 0.0 | 597M| 285 | - | 495 |1509 | 0 | 0 | 0 | 313k| 0 | 1.000000e+00 | 1.130000e+02 | Large
399.89/400.02 c 368s| 1240k|834989 | 0 | 0.0 | 601M| 285 | - | 495 |1541 | 0 | 0 | 0 | 316k| 0 | 1.000000e+00 | 1.130000e+02 | Large
403.09/403.28 c 371s| 1250k|841898 | 0 | 0.0 | 606M| 285 | - | 495 |1612 | 0 | 0 | 0 | 319k| 0 | 1.000000e+00 | 1.130000e+02 | Large
406.79/406.91 c 374s| 1260k|848093 | 0 | 0.0 | 611M| 285 | - | 495 |1855 | 0 | 0 | 0 | 322k| 0 | 1.000000e+00 | 1.130000e+02 | Large
410.39/410.55 c 378s| 1270k|854418 | 0 | 0.0 | 615M| 285 | - | 495 |1662 | 0 | 0 | 0 | 325k| 0 | 1.000000e+00 | 1.130000e+02 | Large
413.78/413.95 c 381s| 1280k|861237 | 0 | 0.0 | 620M| 285 | - | 495 |1590 | 0 | 0 | 0 | 328k| 0 | 1.000000e+00 | 1.130000e+02 | Large
417.48/417.65 c 384s| 1290k|867405 | 0 | 0.0 | 624M| 285 | - | 495 |1633 | 0 | 0 | 0 | 331k| 0 | 1.000000e+00 | 1.130000e+02 | Large
420.98/421.17 c 388s| 1300k|873950 | 0 | 0.0 | 629M| 285 | - | 495 |1545 | 0 | 0 | 0 | 334k| 0 | 1.000000e+00 | 1.130000e+02 | Large
424.28/424.46 c 391s| 1310k|880892 | 0 | 0.0 | 634M| 285 | - | 495 |1677 | 0 | 0 | 0 | 336k| 0 | 1.000000e+00 | 1.130000e+02 | Large
428.08/428.24 c 394s| 1320k|886943 | 0 | 0.0 | 638M| 285 | - | 495 |1451 | 0 | 0 | 0 | 340k| 0 | 1.000000e+00 | 1.130000e+02 | Large
431.38/431.59 c 397s| 1330k|893827 | 0 | 0.0 | 643M| 285 | - | 495 |1404 | 0 | 0 | 0 | 343k| 0 | 1.000000e+00 | 1.130000e+02 | Large
435.08/435.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
435.08/435.21 c 401s| 1340k|900195 | 0 | 0.0 | 648M| 285 | - | 495 |1596 | 0 | 0 | 0 | 346k| 0 | 1.000000e+00 | 1.130000e+02 | Large
438.69/438.82 c 404s| 1350k|906625 | 0 | 0.0 | 652M| 285 | - | 495 |1490 | 0 | 0 | 0 | 349k| 0 | 1.000000e+00 | 1.130000e+02 | Large
442.27/442.40 c 407s| 1360k|913150 | 0 | 0.0 | 657M| 285 | - | 495 |1865 | 0 | 0 | 0 | 352k| 0 | 1.000000e+00 | 1.130000e+02 | Large
445.87/446.10 c 411s| 1370k|919535 | 0 | 0.0 | 662M| 285 | - | 495 |1569 | 0 | 0 | 0 | 355k| 0 | 1.000000e+00 | 1.130000e+02 | Large
449.38/449.51 c 414s| 1380k|926327 | 0 | 0.0 | 666M| 285 | - | 495 |1677 | 0 | 0 | 0 | 358k| 0 | 1.000000e+00 | 1.130000e+02 | Large
453.17/453.37 c 417s| 1390k|932481 | 0 | 0.0 | 671M| 285 | - | 495 |1668 | 0 | 0 | 0 | 362k| 0 | 1.000000e+00 | 1.130000e+02 | Large
456.77/456.93 c 421s| 1400k|939145 | 0 | 0.0 | 676M| 285 | - | 495 |1742 | 0 | 0 | 0 | 365k| 0 | 1.000000e+00 | 1.130000e+02 | Large
460.57/460.74 c 424s| 1410k|945099 | 0 | 0.0 | 680M| 285 | - | 495 |1740 | 0 | 0 | 0 | 368k| 0 | 1.000000e+00 | 1.130000e+02 | Large
464.08/464.27 c 428s| 1420k|951763 | 0 | 0.0 | 685M| 285 | - | 495 |1633 | 0 | 0 | 0 | 371k| 0 | 1.000000e+00 | 1.130000e+02 | Large
467.97/468.18 c 431s| 1430k|957771 | 0 | 0.0 | 689M| 285 | - | 495 |1770 | 0 | 0 | 0 | 375k| 0 | 1.000000e+00 | 1.130000e+02 | Large
471.78/471.95 c 435s| 1440k|964128 | 0 | 0.0 | 694M| 285 | - | 495 |1686 | 0 | 0 | 0 | 378k| 0 | 1.000000e+00 | 1.130000e+02 | Large
475.67/475.84 c 438s| 1450k|970107 | 0 | 0.0 | 698M| 285 | - | 495 |1841 | 0 | 0 | 0 | 381k| 0 | 1.000000e+00 | 1.130000e+02 | Large
479.27/479.48 c 442s| 1460k|976513 | 0 | 0.0 | 702M| 285 | - | 495 |1739 | 0 | 0 | 0 | 384k| 0 | 1.000000e+00 | 1.130000e+02 | Large
483.27/483.43 c 446s| 1470k|982291 | 0 | 0.0 | 707M| 285 | - | 495 |1932 | 0 | 0 | 0 | 388k| 0 | 1.000000e+00 | 1.130000e+02 | Large
486.87/487.03 c 449s| 1480k|988851 | 0 | 0.0 | 711M| 285 | - | 495 |1837 | 0 | 0 | 0 | 391k| 0 | 1.000000e+00 | 1.130000e+02 | Large
490.66/490.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
490.66/490.86 c 453s| 1490k|994938 | 0 | 0.0 | 716M| 285 | - | 495 |2113 | 0 | 0 | 0 | 394k| 0 | 1.000000e+00 | 1.130000e+02 | Large
494.37/494.55 c 456s| 1500k| 1001k| 0 | 0.0 | 720M| 285 | - | 495 |1818 | 0 | 0 | 0 | 397k| 0 | 1.000000e+00 | 1.130000e+02 | Large
498.36/498.52 c 460s| 1510k| 1007k| 0 | 0.0 | 725M| 285 | - | 495 |1852 | 0 | 0 | 0 | 401k| 0 | 1.000000e+00 | 1.130000e+02 | Large
501.96/502.19 c 463s| 1520k| 1013k| 0 | 0.0 | 729M| 285 | - | 495 |1727 | 0 | 0 | 0 | 404k| 0 | 1.000000e+00 | 1.130000e+02 | Large
506.06/506.21 c 467s| 1530k| 1019k| 0 | 0.0 | 733M| 285 | - | 495 |1858 | 0 | 0 | 0 | 407k| 0 | 1.000000e+00 | 1.130000e+02 | Large
509.96/510.14 c 471s| 1540k| 1025k| 0 | 0.0 | 737M| 285 | - | 495 |1962 | 0 | 0 | 0 | 411k| 0 | 1.000000e+00 | 1.130000e+02 | Large
513.86/514.01 c 474s| 1550k| 1032k| 0 | 0.0 | 742M| 285 | - | 495 |1782 | 0 | 0 | 0 | 414k| 0 | 1.000000e+00 | 1.130000e+02 | Large
517.87/518.04 c 478s| 1560k| 1037k| 0 | 0.0 | 746M| 285 | - | 495 |2015 | 0 | 0 | 0 | 418k| 0 | 1.000000e+00 | 1.130000e+02 | Large
521.75/521.97 c 482s| 1570k| 1044k| 0 | 0.0 | 751M| 285 | - | 495 |2087 | 0 | 0 | 0 | 421k| 0 | 1.000000e+00 | 1.130000e+02 | Large
525.75/525.99 c 485s| 1580k| 1050k| 0 | 0.0 | 755M| 285 | - | 495 |1918 | 0 | 0 | 0 | 425k| 0 | 1.000000e+00 | 1.130000e+02 | Large
529.75/529.98 c 489s| 1590k| 1056k| 0 | 0.0 | 759M| 285 | - | 495 |1839 | 0 | 0 | 0 | 428k| 0 | 1.000000e+00 | 1.130000e+02 | Large
533.45/533.67 c 493s| 1600k| 1062k| 0 | 0.0 | 764M| 285 | - | 495 |2007 | 0 | 0 | 0 | 431k| 0 | 1.000000e+00 | 1.130000e+02 | Large
537.55/537.72 c 496s| 1610k| 1068k| 0 | 0.0 | 768M| 285 | - | 495 |1909 | 0 | 0 | 0 | 435k| 0 | 1.000000e+00 | 1.130000e+02 | Large
541.45/541.60 c 500s| 1620k| 1075k| 0 | 0.0 | 773M| 285 | - | 495 |2048 | 0 | 0 | 0 | 438k| 0 | 1.000000e+00 | 1.130000e+02 | Large
545.15/545.33 c 503s| 1630k| 1081k| 0 | 0.0 | 777M| 285 | - | 495 |1822 | 0 | 0 | 0 | 441k| 0 | 1.000000e+00 | 1.130000e+02 | Large
549.15/549.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
549.15/549.30 c 507s| 1640k| 1087k| 0 | 0.0 | 781M| 285 | - | 495 |1854 | 0 | 0 | 0 | 445k| 0 | 1.000000e+00 | 1.130000e+02 | Large
552.85/553.02 c 511s| 1650k| 1094k| 0 | 0.0 | 786M| 285 | - | 495 |2045 | 0 | 0 | 0 | 449k| 0 | 1.000000e+00 | 1.130000e+02 | Large
556.45/556.65 c 514s| 1660k| 1100k| 0 | 0.0 | 790M| 285 | - | 495 |1762 | 0 | 0 | 0 | 452k| 0 | 1.000000e+00 | 1.130000e+02 | Large
560.44/560.60 c 518s| 1670k| 1106k| 0 | 0.0 | 795M| 285 | - | 495 |1903 | 0 | 0 | 0 | 456k| 0 | 1.000000e+00 | 1.130000e+02 | Large
564.05/564.21 c 521s| 1680k| 1113k| 0 | 0.0 | 800M| 285 | - | 495 |2077 | 0 | 0 | 0 | 459k| 0 | 1.000000e+00 | 1.130000e+02 | Large
567.74/567.97 c 525s| 1690k| 1119k| 0 | 0.0 | 804M| 285 | - | 495 |1806 | 0 | 0 | 0 | 462k| 0 | 1.000000e+00 | 1.130000e+02 | Large
571.54/571.75 c 528s| 1700k| 1126k| 0 | 0.0 | 809M| 285 | - | 495 |1930 | 0 | 0 | 0 | 465k| 0 | 1.000000e+00 | 1.130000e+02 | Large
575.04/575.22 c 531s| 1710k| 1133k| 0 | 0.0 | 814M| 285 | - | 495 |1882 | 0 | 0 | 0 | 468k| 0 | 1.000000e+00 | 1.130000e+02 | Large
578.94/579.16 c 535s| 1720k| 1139k| 0 | 0.0 | 818M| 285 | - | 495 |1823 | 0 | 0 | 0 | 471k| 0 | 1.000000e+00 | 1.130000e+02 | Large
582.54/582.74 c 538s| 1730k| 1146k| 0 | 0.0 | 823M| 285 | - | 495 |2006 | 0 | 0 | 0 | 474k| 0 | 1.000000e+00 | 1.130000e+02 | Large
586.24/586.47 c 542s| 1740k| 1152k| 0 | 0.0 | 827M| 285 | - | 495 |1830 | 0 | 0 | 0 | 478k| 0 | 1.000000e+00 | 1.130000e+02 | Large
589.84/590.04 c 545s| 1750k| 1159k| 0 | 0.0 | 832M| 285 | - | 495 |1651 | 0 | 0 | 0 | 481k| 0 | 1.000000e+00 | 1.130000e+02 | Large
593.44/593.63 c 548s| 1760k| 1165k| 0 | 0.0 | 836M| 285 | - | 495 |1746 | 0 | 0 | 0 | 484k| 0 | 1.000000e+00 | 1.130000e+02 | Large
597.15/597.36 c 552s| 1770k| 1172k| 0 | 0.0 | 841M| 285 | - | 495 |1903 | 0 | 0 | 0 | 487k| 0 | 1.000000e+00 | 1.130000e+02 | Large
600.63/600.89 c 555s| 1780k| 1178k| 0 | 0.0 | 846M| 285 | - | 495 |1654 | 0 | 0 | 0 | 490k| 0 | 1.000000e+00 | 1.130000e+02 | Large
601.33/601.58 o 23
601.33/601.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
601.33/601.58 c * 556s| 1781k| 1171k| 0 | 0.0 | 841M| 285 | - | 495 |1883 | 0 | 0 | 0 | 491k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
604.84/605.06 c 559s| 1790k| 1176k| 0 | 0.0 | 845M| 285 | - | 495 |1735 | 0 | 0 | 0 | 494k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
608.83/609.02 c 563s| 1800k| 1183k| 0 | 0.0 | 850M| 285 | - | 495 |1040 | 0 | 0 | 0 | 497k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
612.54/612.78 c 566s| 1810k| 1189k| 0 | 0.0 | 854M| 285 | - | 495 |1190 | 0 | 0 | 0 | 500k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
615.93/616.16 c 569s| 1820k| 1196k| 0 | 0.0 | 859M| 285 | - | 495 |1425 | 0 | 0 | 0 | 503k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
619.13/619.37 c 572s| 1830k| 1203k| 0 | 0.0 | 864M| 285 | - | 495 |1204 | 0 | 0 | 0 | 506k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
622.62/622.89 c 576s| 1840k| 1209k| 0 | 0.0 | 869M| 285 | - | 495 |1591 | 0 | 0 | 0 | 510k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
626.13/626.34 c 579s| 1850k| 1216k| 0 | 0.0 | 873M| 285 | - | 495 |1237 | 0 | 0 | 0 | 513k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
629.63/629.85 c 582s| 1860k| 1223k| 0 | 0.0 | 878M| 285 | - | 495 |1235 | 0 | 0 | 0 | 516k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
632.72/632.92 c 585s| 1870k| 1230k| 0 | 0.0 | 883M| 285 | - | 495 |1193 | 0 | 0 | 0 | 518k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
636.13/636.34 c 588s| 1880k| 1237k| 0 | 0.0 | 888M| 285 | - | 495 |1222 | 0 | 0 | 0 | 521k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
639.03/639.28 c 591s| 1890k| 1244k| 0 | 0.0 | 893M| 285 | - | 495 |1184 | 0 | 0 | 0 | 524k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
642.52/642.73 c 594s| 1900k| 1251k| 0 | 0.0 | 898M| 285 | - | 495 |1371 | 0 | 0 | 0 | 527k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
645.83/646.05 c 597s| 1910k| 1258k| 0 | 0.0 | 903M| 285 | - | 495 |1162 | 0 | 0 | 0 | 530k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
649.32/649.54 c 600s| 1920k| 1264k| 0 | 0.0 | 907M| 285 | - | 495 |1647 | 0 | 0 | 0 | 533k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
652.83/653.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
652.83/653.01 c 603s| 1930k| 1271k| 0 | 0.0 | 912M| 285 | - | 495 |1509 | 0 | 0 | 0 | 535k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
656.42/656.66 c 607s| 1940k| 1277k| 0 | 0.0 | 916M| 285 | - | 495 |1424 | 0 | 0 | 0 | 539k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
659.92/660.12 c 610s| 1950k| 1284k| 0 | 0.0 | 921M| 285 | - | 495 |1518 | 0 | 0 | 0 | 542k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
663.42/663.69 c 613s| 1960k| 1291k| 0 | 0.0 | 926M| 285 | - | 495 |1531 | 0 | 0 | 0 | 545k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
667.22/667.46 c 617s| 1970k| 1297k| 0 | 0.0 | 930M| 285 | - | 495 |1701 | 0 | 0 | 0 | 548k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
670.91/671.12 c 620s| 1980k| 1303k| 0 | 0.0 | 934M| 285 | - | 495 |1403 | 0 | 0 | 0 | 551k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
674.61/674.89 c 624s| 1990k| 1309k| 0 | 0.0 | 939M| 285 | - | 495 |1812 | 0 | 0 | 0 | 554k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
678.32/678.53 c 627s| 2000k| 1316k| 0 | 0.0 | 943M| 285 | - | 495 |1345 | 0 | 0 | 0 | 557k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
682.31/682.51 c 631s| 2010k| 1322k| 0 | 0.0 | 948M| 285 | - | 495 |1593 | 0 | 0 | 0 | 561k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
685.82/686.05 c 634s| 2020k| 1328k| 0 | 0.0 | 952M| 285 | - | 495 |1602 | 0 | 0 | 0 | 564k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
689.31/689.57 c 637s| 2030k| 1334k| 0 | 0.0 | 957M| 285 | - | 495 |1805 | 0 | 0 | 0 | 567k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
692.82/693.08 o 5
692.82/693.08 c * 641s| 2039k| 1330k| 0 | 0.0 | 955M| 285 | - | 495 |1645 | 0 | 0 | 0 | 570k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
693.01/693.20 c 641s| 2040k| 1331k| 0 | 0.0 | 955M| 285 | - | 495 |1612 | 0 | 0 | 0 | 570k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
696.82/697.06 c 644s| 2050k| 1337k| 0 | 0.0 | 961M| 285 | - | 495 |1496 | 0 | 0 | 0 | 574k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
700.61/700.89 c 648s| 2060k| 1343k| 0 | 0.0 | 966M| 285 | - | 495 |1612 | 0 | 0 | 0 | 577k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
704.41/704.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
704.41/704.63 c 651s| 2070k| 1349k| 0 | 0.0 | 970M| 285 | - | 495 |1314 | 0 | 0 | 0 | 581k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
708.11/708.33 c 655s| 2080k| 1356k| 0 | 0.0 | 975M| 285 | - | 495 |1356 | 0 | 0 | 0 | 584k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
711.90/712.11 o 3
711.90/712.11 c * 658s| 2089k| 1278k| 0 | 0.0 | 922M| 285 | - | 495 |1115 | 0 | 0 | 0 | 587k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
731.80/732.05 c
731.80/732.05 c SCIP Status : problem is solved [optimal solution found]
731.80/732.05 c Solving Time (sec) : 676.69
731.80/732.05 c Solving Nodes : 2089262
731.80/732.05 c Primal Bound : +3.00000000000000e+00 (4 solutions)
731.80/732.05 c Dual Bound : +3.00000000000000e+00
731.80/732.05 c Gap : 0.00 %
731.80/732.05 s OPTIMUM FOUND
731.80/732.05 v -x189 -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x126 x125 -x124 -x123 -x122 -x121 x120 -x175
731.80/732.05 v -x174 -x173 -x172 -x171 -x170 -x169 -x119 -x118 -x117 -x116 -x115 x114 x113 -x168 -x167 x166 x165 -x164 -x163 x162 -x112 -x111
731.80/732.05 v -x110 -x109 -x108 -x107 x106 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x105 x104 -x103 -x102 -x101 -x100 x99 -x154 -x153
731.80/732.05 v -x152 -x151 x150 -x149 -x148 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x91 -x90 x89 x88 -x87
731.80/732.05 v x86 x85 -x140 x139 -x138 -x137 -x136 x135 x134 -x84 -x83 -x82 x81 -x80 -x79 x78 -x133 -x132 -x131 -x130 -x129 -x128 x127 x77
731.80/732.05 v -x76 -x75 -x74 -x73 x72 x71 -x70 x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 x60 -x59 x58 x57 -x56 -x55 -x54 -x53 -x52 x51
731.80/732.05 v x50 -x49 x48 -x47 -x46 -x45 -x44 x43 x42 x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 x33 -x32 -x31 x30 x29 -x28 -x27 -x26 -x25 -x24
731.80/732.05 v x23 x22 x21 -x20 -x19 -x18 -x17 x16 x15 x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 x2 x1
731.80/732.05 c SCIP Status : problem is solved [optimal solution found]
731.80/732.05 c Solving Time : 676.69
731.80/732.05 c Original Problem :
731.80/732.05 c Problem name : HOME/instance-2663547-1276647051.opb
731.80/732.05 c Variables : 630 (630 binary, 0 integer, 0 implicit integer, 0 continuous)
731.80/732.05 c Constraints : 460 initial, 460 maximal
731.80/732.05 c Presolved Problem :
731.80/732.05 c Problem name : t_HOME/instance-2663547-1276647051.opb
731.80/732.05 c Variables : 495 (495 binary, 0 integer, 0 implicit integer, 0 continuous)
731.80/732.05 c Constraints : 343 initial, 2761 maximal
731.80/732.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
731.80/732.05 c trivial : 0.00 0 0 0 0 0 0 0 0
731.80/732.05 c dualfix : 0.00 0 0 0 0 0 0 0 0
731.80/732.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
731.80/732.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
731.80/732.05 c implics : 0.00 0 0 0 0 0 0 0 0
731.80/732.05 c probing : 0.02 0 0 0 0 0 0 0 0
731.80/732.05 c and : 0.05 18 108 0 0 0 108 0 108
731.80/732.05 c linear : 0.00 1 8 0 0 0 0 0 50
731.80/732.05 c logicor : 0.00 0 0 0 0 0 0 0 0
731.80/732.05 c root node : - 49 - - 49 - - - -
731.80/732.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
731.80/732.05 c integral : 0 0 0 0 0 0 0 0 0 0
731.80/732.05 c and : 324 0 5062060 0 1835343 81814 7843274 0 0 0
731.80/732.05 c linear : 9 0 4980243 0 1835343 317615 3751062 0 0 0
731.80/732.05 c logicor : 10+ 0 2312948 0 1835327 15969 643793 0 0 0
731.80/732.05 c countsols : 0 0 0 0 1835347 0 0 0 0 0
731.80/732.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
731.80/732.05 c integral : 0.00 0.00 0.00 0.00 0.00
731.80/732.05 c and : 87.34 0.00 59.24 0.00 28.10
731.80/732.05 c linear : 141.22 0.00 139.24 0.00 1.98
731.80/732.05 c logicor : 64.83 0.00 61.06 0.00 3.77
731.80/732.05 c countsols : 0.56 0.00 0.00 0.00 0.56
731.80/732.05 c Propagators : Time Calls Cutoffs DomReds
731.80/732.05 c vbounds : 2.53 2 0 0
731.80/732.05 c rootredcost : 2.28 0 0 0
731.80/732.05 c pseudoobj : 6.15 5061651 11 8117
731.80/732.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
731.80/732.05 c propagation : 65.42 415409 413490 4304124 40.8 31755 41.6 -
731.80/732.05 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
731.80/732.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
731.80/732.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
731.80/732.05 c pseudo solution : 0.00 1 1 1 1.0 0 0.0 -
731.80/732.05 c applied globally : - - - 583926 23.8 - - -
731.80/732.05 c applied locally : - - - 3758 56.2 - - -
731.80/732.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
731.80/732.05 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
731.80/732.05 c redcost : 0.00 0 0 0 0 0
731.80/732.05 c impliedbounds : 0.00 0 0 0 0 0
731.80/732.05 c intobj : 0.00 0 0 0 0 0
731.80/732.05 c cgmip : 0.00 0 0 0 0 0
731.80/732.05 c gomory : 0.00 0 0 0 0 0
731.80/732.05 c strongcg : 0.00 0 0 0 0 0
731.80/732.05 c cmir : 0.00 0 0 0 0 0
731.80/732.05 c flowcover : 0.00 0 0 0 0 0
731.80/732.05 c clique : 0.00 0 0 0 0 0
731.80/732.05 c zerohalf : 0.00 0 0 0 0 0
731.80/732.05 c mcf : 0.00 0 0 0 0 0
731.80/732.05 c rapidlearning : 0.00 0 0 0 0 0
731.80/732.05 c Pricers : Time Calls Vars
731.80/732.05 c problem variables: 0.00 0 0
731.80/732.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
731.80/732.05 c relpscost : 0.00 0 0 0 0 0 0
731.80/732.05 c pscost : 0.00 0 0 0 0 0 0
731.80/732.05 c inference : 98.76 1835343 0 0 0 0 3670686
731.80/732.05 c mostinf : 0.00 0 0 0 0 0 0
731.80/732.05 c leastinf : 0.00 0 0 0 0 0 0
731.80/732.05 c fullstrong : 0.00 0 0 0 0 0 0
731.80/732.05 c allfullstrong : 0.00 0 0 0 0 0 0
731.80/732.05 c random : 0.00 0 0 0 0 0 0
731.80/732.05 c Primal Heuristics : Time Calls Found
731.80/732.05 c LP solutions : 0.00 - 0
731.80/732.05 c pseudo solutions : 0.63 - 4
731.80/732.05 c oneopt : 1.22 0 0
731.80/732.05 c trivial : 0.00 2 0
731.80/732.05 c simplerounding : 0.00 0 0
731.80/732.05 c zirounding : 0.00 0 0
731.80/732.05 c rounding : 0.00 0 0
731.80/732.05 c shifting : 0.00 0 0
731.80/732.05 c intshifting : 0.00 0 0
731.80/732.05 c twoopt : 0.00 0 0
731.80/732.05 c fixandinfer : 0.00 0 0
731.80/732.05 c feaspump : 0.00 0 0
731.80/732.05 c coefdiving : 0.00 0 0
731.80/732.05 c pscostdiving : 0.00 0 0
731.80/732.05 c fracdiving : 0.00 0 0
731.80/732.05 c veclendiving : 0.00 0 0
731.80/732.05 c intdiving : 0.00 0 0
731.80/732.05 c actconsdiving : 0.00 0 0
731.80/732.05 c objpscostdiving : 0.00 0 0
731.80/732.05 c rootsoldiving : 0.00 0 0
731.80/732.05 c linesearchdiving : 0.00 0 0
731.80/732.05 c guideddiving : 0.00 0 0
731.80/732.05 c octane : 0.00 0 0
731.80/732.05 c rens : 0.00 0 0
731.80/732.05 c rins : 0.00 0 0
731.80/732.05 c localbranching : 0.00 0 0
731.80/732.05 c mutation : 0.00 0 0
731.80/732.05 c crossover : 0.00 0 0
731.80/732.05 c dins : 0.00 0 0
731.80/732.05 c undercover : 0.00 0 0
731.80/732.05 c nlp : 0.80 0 0
731.80/732.05 c trysol : 1.01 0 0
731.80/732.05 c LP : Time Calls Iterations Iter/call Iter/sec
731.80/732.05 c primal LP : 0.00 0 0 0.00 -
731.80/732.05 c dual LP : 0.00 0 0 0.00 -
731.80/732.05 c lex dual LP : 0.00 0 0 0.00 -
731.80/732.05 c barrier LP : 0.00 0 0 0.00 -
731.80/732.05 c diving/probing LP: 0.00 0 0 0.00 -
731.80/732.05 c strong branching : 0.00 0 0 0.00 -
731.80/732.05 c (at root node) : - 0 0 0.00 -
731.80/732.05 c conflict analysis: 0.00 0 0 0.00 -
731.80/732.05 c B&B Tree :
731.80/732.05 c number of runs : 1
731.80/732.05 c nodes : 2089262
731.80/732.05 c nodes (total) : 2089262
731.80/732.05 c nodes left : 0
731.80/732.05 c max depth : 285
731.80/732.05 c max depth (total): 285
731.80/732.05 c backtracks : 174579 (8.4%)
731.80/732.05 c delayed cutoffs : 1479138
731.80/732.05 c repropagations : 469001 (1513772 domain reductions, 161495 cutoffs)
731.80/732.05 c avg switch length: 6.47
731.80/732.05 c switching time : 181.65
731.80/732.05 c Solution :
731.80/732.05 c Solutions found : 4 (4 improvements)
731.80/732.05 c First Solution : +1.13000000000000e+02 (in run 1, after 1032003 nodes, 302.59 seconds, depth 80, found by <relaxation>)
731.80/732.05 c Primal Bound : +3.00000000000000e+00 (in run 1, after 2089262 nodes, 657.86 seconds, depth 104, found by <relaxation>)
731.80/732.05 c Dual Bound : +3.00000000000000e+00
731.80/732.05 c Gap : 0.00 %
731.80/732.05 c Root Dual Bound : +1.00000000000000e+00
731.80/732.05 c Root Iterations : 0
731.90/732.13 c Time complete: 731.94.