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-2694027-1277900560.wbo>
0.02/0.02 c original problem has 2087 variables (1159 bin, 0 int, 0 impl, 928 cont) and 3636 constraints
0.02/0.02 c problem read
0.02/0.02 c presolving settings loaded
0.02/0.02 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.02/0.04 c presolving:
0.02/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1134 impls, 14 clqs
0.02/0.07 c (round 2) 0 del vars, 112 del conss, 928 chg bounds, 51 chg sides, 0 chg coeffs, 0 upgd conss, 1134 impls, 14 clqs
0.02/0.09 c (round 3) 51 del vars, 262 del conss, 955 chg bounds, 150 chg sides, 0 chg coeffs, 0 upgd conss, 1134 impls, 14 clqs
0.02/0.09 c (round 4) 129 del vars, 295 del conss, 958 chg bounds, 156 chg sides, 0 chg coeffs, 0 upgd conss, 1134 impls, 14 clqs
0.09/0.11 c (round 5) 159 del vars, 298 del conss, 958 chg bounds, 156 chg sides, 0 chg coeffs, 1644 upgd conss, 1134 impls, 14 clqs
0.09/0.12 c (round 6) 162 del vars, 298 del conss, 958 chg bounds, 156 chg sides, 0 chg coeffs, 1644 upgd conss, 1134 impls, 14 clqs
0.09/0.16 c (0.1s) probing: 101/1078 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16 c presolving (7 rounds):
0.09/0.16 c 162 deleted vars, 298 deleted constraints, 958 tightened bounds, 0 added holes, 156 changed sides, 0 changed coefficients
0.09/0.16 c 1134 implications, 14 cliques
0.09/0.16 c presolved problem has 1925 variables (1078 bin, 0 int, 0 impl, 847 cont) and 3338 constraints
0.09/0.16 c 847 constraints of type <indicator>
0.09/0.16 c 1 constraints of type <knapsack>
0.09/0.16 c 14 constraints of type <setppc>
0.09/0.16 c 847 constraints of type <linear>
0.09/0.16 c 1629 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.11
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.2
0.09/0.16 c
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = 10000
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1799.98
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 3420
0.09/0.16 c
0.09/0.16 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.16 c lp/solvefreq = -1
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.16 c
0.09/0.16 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.16 c 0.1s| 1 | 2 | 0 | - |7588k| 0 | - |1925 |3338 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.00/1.03 o 560
1.00/1.03 c * 1.0s| 3725 | 3262 | 0 | 0.0 |9989k|1024 | - |1925 |3795 | 0 | 0 | 0 | 655 | 0 | 0.000000e+00 | 5.600000e+02 | Inf
2.69/2.70 c 2.6s| 10000 | 8412 | 0 | 0.0 | 14M|1024 | - |1925 |4463 | 0 | 0 | 0 |2632 | 0 | 0.000000e+00 | 5.600000e+02 | Inf
6.19/6.27 o 292
6.19/6.27 c * 6.0s| 19587 | 13837 | 0 | 0.0 | 21M|1024 | - |1925 |6362 | 0 | 0 | 0 |9961 | 0 | 0.000000e+00 | 2.920000e+02 | Inf
6.39/6.40 c 6.1s| 20000 | 14226 | 0 | 0.0 | 21M|1024 | - |1925 |6173 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 2.920000e+02 | Inf
6.59/6.60 o 285
6.59/6.60 c * 6.3s| 20689 | 14841 | 0 | 0.0 | 22M|1024 | - |1925 |5947 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 2.850000e+02 | Inf
6.59/6.60 o 263
6.59/6.60 c * 6.3s| 20690 | 14769 | 0 | 0.0 | 22M|1024 | - |1925 |5947 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 2.630000e+02 | Inf
7.79/7.81 o 257
7.79/7.81 c * 7.5s| 24679 | 18364 | 0 | 0.0 | 24M|1024 | - |1925 |5169 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
7.79/7.81 o 198
7.79/7.81 c * 7.5s| 24688 | 18222 | 0 | 0.0 | 24M|1024 | - |1925 |5169 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.980000e+02 | Inf
7.79/7.82 o 178
7.79/7.82 c * 7.5s| 24689 | 18112 | 0 | 0.0 | 24M|1024 | - |1925 |5169 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
9.19/9.28 c 8.9s| 30000 | 22739 | 0 | 0.0 | 27M|1024 | - |1925 |4945 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
12.09/12.19 c 11.7s| 40000 | 30419 | 0 | 0.0 | 34M|1024 | - |1925 |5541 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
15.59/15.65 c 15.0s| 50000 | 37168 | 0 | 0.0 | 41M|1024 | - |1925 |6461 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
19.80/19.88 c 19.1s| 60000 | 42823 | 0 | 0.0 | 48M|1024 | - |1925 |7710 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
24.69/24.74 c 23.8s| 70000 | 47644 | 0 | 0.0 | 56M|1024 | - |1925 |8217 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
30.09/30.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.09/30.11 c 29.0s| 80000 | 51684 | 0 | 0.0 | 63M|1024 | - |1925 |9435 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
37.19/37.20 c 35.9s| 90000 | 53642 | 0 | 0.0 | 71M|1024 | - |1925 | 13k| 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
41.99/42.03 c 40.6s|100000 | 60787 | 0 | 0.0 | 76M|1024 | - |1925 |6487 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
43.19/43.21 o 123
43.19/43.21 c *41.8s|103390 | 63134 | 0 | 0.0 | 76M|1024 | - |1925 |5892 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 1.230000e+02 | Inf
43.79/43.87 o 73
43.79/43.87 c *42.4s|105218 | 61607 | 0 | 0.0 | 74M|1024 | - |1925 |5639 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
45.69/45.72 c 44.1s|110000 | 65574 | 0 | 0.0 | 82M|1024 | - |1925 |5496 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
49.99/50.05 c 48.3s|120000 | 73302 | 0 | 0.0 | 93M|1024 | - |1925 |4412 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
55.09/55.15 c 53.2s|130000 | 79464 | 0 | 0.0 | 108M|1024 | - |1925 |5155 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
58.69/58.75 c 56.7s|140000 | 87566 | 0 | 0.0 | 117M|1024 | - |1925 |5183 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
62.59/62.62 c 60.4s|150000 | 95018 | 0 | 0.0 | 125M|1024 | - |1925 |5224 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
66.39/66.42 c 64.1s|160000 |102491 | 0 | 0.0 | 134M|1024 | - |1925 |5882 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
69.99/70.04 c 67.6s|170000 |110187 | 0 | 0.0 | 143M|1024 | - |1925 |6930 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
73.60/73.69 c 71.1s|180000 |117614 | 0 | 0.0 | 150M|1024 | - |1925 |6455 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
77.49/77.50 c 74.7s|190000 |124361 | 0 | 0.0 | 156M|1024 | - |1925 |6804 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
80.59/80.69 c 77.8s|200000 |132191 | 0 | 0.0 | 163M|1024 | - |1925 |6760 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
84.39/84.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.39/84.46 c 81.4s|210000 |138956 | 0 | 0.0 | 169M|1024 | - |1925 |7618 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
88.79/88.88 c 85.7s|220000 |145211 | 0 | 0.0 | 175M|1024 | - |1925 |5130 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
92.69/92.76 c 89.5s|230000 |151845 | 0 | 0.0 | 182M|1024 | - |1925 |6357 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
97.79/97.80 c 94.3s|240000 |156814 | 0 | 0.0 | 189M|1024 | - |1925 |7790 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
103.60/103.63 c 100s|250000 |160708 | 0 | 0.0 | 196M|1024 | - |1925 |8324 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
109.90/109.90 c 106s|260000 |163927 | 0 | 0.0 | 203M|1024 | - |1925 |8711 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
116.50/116.57 c 113s|270000 |166577 | 0 | 0.0 | 209M|1024 | - |1925 |8939 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
123.30/123.30 c 119s|280000 |169038 | 0 | 0.0 | 215M|1024 | - |1925 |8869 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
130.19/130.28 c 126s|290000 |171027 | 0 | 0.0 | 220M|1024 | - |1925 |9178 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
137.59/137.68 c 133s|300000 |172458 | 0 | 0.0 | 226M|1024 | - |1925 |9566 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
145.79/145.84 c 141s|310000 |173030 | 0 | 0.0 | 231M|1024 | - |1925 | 10k| 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
154.59/154.63 c 150s|320000 |172987 | 0 | 0.0 | 235M|1024 | - |1925 | 11k| 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
165.20/165.22 c 160s|330000 |171344 | 0 | 0.0 | 238M|1024 | - |1925 | 14k| 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
176.80/176.83 c 171s|340000 |170470 | 0 | 0.0 | 236M|1024 | - |1925 |8053 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
181.00/181.05 c 176s|350000 |178393 | 0 | 0.0 | 246M|1024 | - |1925 |5486 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
183.50/183.53 o 66
183.50/183.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
183.50/183.53 c * 178s|356161 |182721 | 0 | 0.0 | 248M|1024 | - |1925 |5598 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
183.50/183.54 o 48
183.50/183.54 c * 178s|356162 |180479 | 0 | 0.0 | 234M|1024 | - |1925 |5598 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
185.20/185.30 c 180s|360000 |183328 | 0 | 0.0 | 241M|1024 | - |1925 |5606 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
189.60/189.69 c 184s|370000 |190629 | 0 | 0.0 | 250M|1024 | - |1925 |4122 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
193.80/193.84 c 188s|380000 |197798 | 0 | 0.0 | 259M|1024 | - |1925 |4581 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
198.20/198.29 c 192s|390000 |204636 | 0 | 0.0 | 269M|1024 | - |1925 |4467 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
201.00/201.04 o 27
201.00/201.04 c * 195s|396119 |205744 | 0 | 0.0 | 256M|1024 | - |1925 |4350 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
203.00/203.04 c 197s|400000 |208027 | 0 | 0.0 | 263M|1024 | - |1925 |4537 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
208.09/208.11 c 202s|410000 |213675 | 0 | 0.0 | 272M|1024 | - |1925 |5109 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
213.40/213.49 c 207s|420000 |218858 | 0 | 0.0 | 280M|1024 | - |1925 |5661 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
218.80/218.84 c 212s|430000 |224159 | 0 | 0.0 | 289M|1024 | - |1925 |5984 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
224.50/224.56 c 218s|440000 |228940 | 0 | 0.0 | 297M|1024 | - |1925 |6470 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
230.49/230.51 c 223s|450000 |233352 | 0 | 0.0 | 305M|1024 | - |1925 |6443 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
236.90/236.93 c 230s|460000 |237224 | 0 | 0.0 | 314M|1024 | - |1925 |7356 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
243.90/243.92 c 236s|470000 |240410 | 0 | 0.0 | 322M|1024 | - |1925 |7824 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
252.09/252.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
252.09/252.13 c 244s|480000 |242229 | 0 | 0.0 | 330M|1024 | - |1925 |8570 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
262.19/262.26 c 254s|490000 |241495 | 0 | 0.0 | 335M|1024 | - |1925 |8757 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
266.30/266.37 c 258s|500000 |248568 | 0 | 0.0 | 342M|1024 | - |1925 |6735 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
270.61/270.61 c 262s|510000 |255298 | 0 | 0.0 | 349M|1024 | - |1925 |7456 | 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
275.90/275.93 c 267s|520000 |260655 | 0 | 0.0 | 358M|1024 | - |1925 |9010 | 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
282.80/282.80 c 274s|530000 |264390 | 0 | 0.0 | 367M|1024 | - |1925 | 11k| 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
292.00/292.04 c 283s|540000 |265008 | 0 | 0.0 | 372M|1024 | - |1925 | 13k| 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
296.09/296.19 c 287s|550000 |272367 | 0 | 0.0 | 378M|1024 | - |1925 |8770 | 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
300.60/300.65 c 291s|560000 |279082 | 0 | 0.0 | 385M|1024 | - |1925 |9486 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
305.80/305.83 c 296s|570000 |284977 | 0 | 0.0 | 392M|1024 | - |1925 |9667 | 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
311.80/311.81 c 302s|580000 |289745 | 0 | 0.0 | 400M|1024 | - |1925 | 11k| 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
319.30/319.36 c 310s|590000 |293097 | 0 | 0.0 | 407M|1024 | - |1925 | 14k| 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
327.30/327.30 c 317s|600000 |296058 | 0 | 0.0 | 411M|1024 | - |1925 |9781 | 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
331.50/331.52 c 321s|610000 |303175 | 0 | 0.0 | 418M|1024 | - |1925 | 10k| 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
336.30/336.35 c 326s|620000 |309527 | 0 | 0.0 | 426M|1024 | - |1925 | 11k| 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
342.60/342.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
342.60/342.65 c 332s|630000 |314297 | 0 | 0.0 | 434M|1024 | - |1925 | 13k| 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
351.00/351.08 c 340s|640000 |316912 | 0 | 0.0 | 443M|1024 | - |1925 | 16k| 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
360.10/360.19 c 349s|650000 |318681 | 0 | 0.0 | 446M|1024 | - |1925 | 12k| 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
364.60/364.67 c 354s|660000 |325775 | 0 | 0.0 | 453M|1024 | - |1925 | 12k| 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
369.30/369.34 c 358s|670000 |332447 | 0 | 0.0 | 460M|1024 | - |1925 | 12k| 0 | 0 | 0 | 532k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
374.80/374.86 c 364s|680000 |338278 | 0 | 0.0 | 468M|1024 | - |1925 | 13k| 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
381.10/381.18 c 370s|690000 |343314 | 0 | 0.0 | 475M|1024 | - |1925 | 15k| 0 | 0 | 0 | 546k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
386.11/386.18 o 23
386.11/386.18 c * 375s|696697 |344604 | 0 | 0.0 | 474M|1024 | - |1925 | 16k| 0 | 0 | 0 | 553k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
388.80/388.88 c 377s|700000 |345755 | 0 | 0.0 | 476M|1024 | - |1925 | 16k| 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
399.71/399.73 c 388s|710000 |346517 | 0 | 0.0 | 483M|1024 | - |1925 | 19k| 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
405.60/405.64 c 394s|720000 |352103 | 0 | 0.0 | 486M|1024 | - |1925 | 11k| 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
410.50/410.59 c 398s|730000 |358533 | 0 | 0.0 | 493M|1024 | - |1925 | 12k| 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
415.71/415.79 c 403s|740000 |364654 | 0 | 0.0 | 500M|1024 | - |1925 | 13k| 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
421.71/421.72 c 409s|750000 |370049 | 0 | 0.0 | 507M|1024 | - |1925 | 13k| 0 | 0 | 0 | 594k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
428.00/428.01 c 415s|760000 |374973 | 0 | 0.0 | 514M|1024 | - |1925 | 13k| 0 | 0 | 0 | 602k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
434.80/434.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
434.80/434.80 c 422s|770000 |379345 | 0 | 0.0 | 520M|1024 | - |1925 | 13k| 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
441.50/441.51 c 428s|780000 |383769 | 0 | 0.0 | 526M|1024 | - |1925 | 13k| 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
448.20/448.22 c 435s|790000 |388058 | 0 | 0.0 | 532M|1024 | - |1925 | 13k| 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
455.20/455.30 c 442s|800000 |392031 | 0 | 0.0 | 538M|1024 | - |1925 | 14k| 0 | 0 | 0 | 637k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
462.00/462.03 c 449s|810000 |396358 | 0 | 0.0 | 543M|1024 | - |1925 | 14k| 0 | 0 | 0 | 646k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
469.91/469.94 c 456s|820000 |399616 | 0 | 0.0 | 549M|1024 | - |1925 | 16k| 0 | 0 | 0 | 656k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
477.41/477.48 c 464s|830000 |403524 | 0 | 0.0 | 550M|1024 | - |1925 |5596 | 0 | 0 | 0 | 665k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
481.80/481.88 c 468s|840000 |410062 | 0 | 0.0 | 558M|1024 | - |1925 |5493 | 0 | 0 | 0 | 671k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
486.21/486.21 c 472s|850000 |416458 | 0 | 0.0 | 564M|1024 | - |1925 |5001 | 0 | 0 | 0 | 676k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
490.20/490.24 c 476s|860000 |423083 | 0 | 0.0 | 571M|1024 | - |1925 |5279 | 0 | 0 | 0 | 682k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
494.20/494.26 c 480s|870000 |429645 | 0 | 0.0 | 578M|1024 | - |1925 |5709 | 0 | 0 | 0 | 687k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
498.21/498.20 c 484s|880000 |436382 | 0 | 0.0 | 584M|1024 | - |1925 |6036 | 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
502.21/502.24 c 488s|890000 |443063 | 0 | 0.0 | 591M|1024 | - |1925 |5134 | 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
509.71/509.74 c 495s|900000 |444439 | 0 | 0.0 | 596M|1024 | - |1925 |8914 | 0 | 0 | 0 | 710k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
520.50/520.52 c 505s|910000 |442815 | 0 | 0.0 | 598M|1024 | - |1925 | 10k| 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
532.31/532.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
532.31/532.32 c 517s|920000 |440674 | 0 | 0.0 | 598M|1024 | - |1925 | 12k| 0 | 0 | 0 | 744k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
544.51/544.56 c 529s|930000 |438572 | 0 | 0.0 | 597M|1024 | - |1925 | 11k| 0 | 0 | 0 | 761k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
557.01/557.01 c 541s|940000 |435891 | 0 | 0.0 | 595M|1024 | - |1925 | 11k| 0 | 0 | 0 | 780k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
570.31/570.36 c 554s|950000 |432479 | 0 | 0.0 | 591M|1024 | - |1925 | 13k| 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
585.71/585.70 c 570s|960000 |427357 | 0 | 0.0 | 582M|1024 | - |1925 | 14k| 0 | 0 | 0 | 823k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
602.31/602.33 c 586s|970000 |422245 | 0 | 0.0 | 568M|1024 | - |1925 | 10k| 0 | 0 | 0 | 847k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
608.70/608.73 c 592s|980000 |427316 | 0 | 0.0 | 575M|1024 | - |1925 |7850 | 0 | 0 | 0 | 854k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
615.01/615.01 c 598s|990000 |432216 | 0 | 0.0 | 584M|1024 | - |1925 |7732 | 0 | 0 | 0 | 862k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
621.41/621.46 c 605s| 1000k|436921 | 0 | 0.0 | 592M|1024 | - |1925 |8377 | 0 | 0 | 0 | 870k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
628.11/628.10 c 611s| 1010k|441519 | 0 | 0.0 | 601M|1024 | - |1925 |8934 | 0 | 0 | 0 | 878k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
635.20/635.21 c 618s| 1020k|445770 | 0 | 0.0 | 609M|1024 | - |1925 |9326 | 0 | 0 | 0 | 887k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
642.41/642.49 c 625s| 1030k|449753 | 0 | 0.0 | 617M|1024 | - |1925 |9323 | 0 | 0 | 0 | 896k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
649.90/649.93 c 632s| 1040k|453570 | 0 | 0.0 | 625M|1024 | - |1925 |9920 | 0 | 0 | 0 | 906k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
657.61/657.61 c 640s| 1050k|457119 | 0 | 0.0 | 633M|1024 | - |1925 | 10k| 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
665.51/665.51 c 647s| 1060k|460443 | 0 | 0.0 | 640M|1024 | - |1925 | 10k| 0 | 0 | 0 | 926k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
673.21/673.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
673.21/673.23 c 655s| 1070k|463886 | 0 | 0.0 | 647M|1024 | - |1925 | 10k| 0 | 0 | 0 | 936k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
681.01/681.08 c 662s| 1080k|467187 | 0 | 0.0 | 654M|1024 | - |1925 | 10k| 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
688.81/688.83 c 670s| 1090k|470764 | 0 | 0.0 | 663M|1024 | - |1925 | 10k| 0 | 0 | 0 | 956k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
697.42/697.43 c 678s| 1100k|473590 | 0 | 0.0 | 670M|1024 | - |1925 | 10k| 0 | 0 | 0 | 967k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
706.51/706.50 c 687s| 1110k|476052 | 0 | 0.0 | 676M|1024 | - |1925 | 11k| 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
715.51/715.55 c 696s| 1120k|478637 | 0 | 0.0 | 683M|1024 | - |1925 | 11k| 0 | 0 | 0 | 991k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
724.70/724.80 c 705s| 1130k|481096 | 0 | 0.0 | 689M|1024 | - |1925 | 12k| 0 | 0 | 0 |1003k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
733.91/733.96 c 714s| 1140k|483848 | 0 | 0.0 | 696M|1024 | - |1925 | 12k| 0 | 0 | 0 |1014k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
743.11/743.16 c 723s| 1150k|486752 | 0 | 0.0 | 704M|1024 | - |1925 | 12k| 0 | 0 | 0 |1026k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
753.01/753.07 c 733s| 1160k|488948 | 0 | 0.0 | 710M|1024 | - |1925 | 12k| 0 | 0 | 0 |1039k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
763.51/763.58 c 743s| 1170k|490741 | 0 | 0.0 | 716M|1024 | - |1925 | 12k| 0 | 0 | 0 |1052k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
774.01/774.00 c 753s| 1180k|492599 | 0 | 0.0 | 722M|1024 | - |1925 | 12k| 0 | 0 | 0 |1065k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
784.21/784.29 c 763s| 1190k|494588 | 0 | 0.0 | 728M|1024 | - |1925 | 13k| 0 | 0 | 0 |1078k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
794.92/794.94 c 773s| 1200k|496468 | 0 | 0.0 | 734M|1024 | - |1925 | 13k| 0 | 0 | 0 |1092k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
806.11/806.17 c 784s| 1210k|498013 | 0 | 0.0 | 740M|1024 | - |1925 | 14k| 0 | 0 | 0 |1106k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
817.72/817.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
817.72/817.77 c 796s| 1220k|499502 | 0 | 0.0 | 746M|1024 | - |1925 | 14k| 0 | 0 | 0 |1120k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
829.11/829.18 c 807s| 1230k|501173 | 0 | 0.0 | 752M|1024 | - |1925 | 15k| 0 | 0 | 0 |1135k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
841.42/841.45 c 819s| 1240k|502383 | 0 | 0.0 | 757M|1024 | - |1925 | 16k| 0 | 0 | 0 |1150k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
854.91/854.92 c 832s| 1250k|502886 | 0 | 0.0 | 762M|1024 | - |1925 | 16k| 0 | 0 | 0 |1166k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
868.21/868.20 c 845s| 1260k|503645 | 0 | 0.0 | 767M|1024 | - |1925 | 18k| 0 | 0 | 0 |1182k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
882.61/882.66 c 859s| 1270k|503789 | 0 | 0.0 | 772M|1024 | - |1925 | 19k| 0 | 0 | 0 |1200k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
898.62/898.68 c 875s| 1280k|503237 | 0 | 0.0 | 776M|1024 | - |1925 | 23k| 0 | 0 | 0 |1219k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
915.81/915.84 c 892s| 1290k|502955 | 0 | 0.0 | 777M|1024 | - |1925 | 22k| 0 | 0 | 0 |1238k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
925.21/925.26 c 901s| 1300k|508074 | 0 | 0.0 | 783M|1024 | - |1925 | 17k| 0 | 0 | 0 |1246k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
934.92/934.91 c 911s| 1310k|512261 | 0 | 0.0 | 792M|1024 | - |1925 | 17k| 0 | 0 | 0 |1255k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
945.02/945.03 c 921s| 1320k|516079 | 0 | 0.0 | 801M|1024 | - |1925 | 19k| 0 | 0 | 0 |1265k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
955.52/955.51 c 931s| 1330k|519747 | 0 | 0.0 | 809M|1024 | - |1925 | 21k| 0 | 0 | 0 |1276k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
966.71/966.71 c 942s| 1340k|523282 | 0 | 0.0 | 818M|1024 | - |1925 | 22k| 0 | 0 | 0 |1287k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
977.71/977.75 c 953s| 1350k|527095 | 0 | 0.0 | 827M|1024 | - |1925 | 24k| 0 | 0 | 0 |1297k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
990.12/990.16 c 965s| 1360k|530172 | 0 | 0.0 | 834M|1024 | - |1925 | 25k| 0 | 0 | 0 |1310k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1004.22/1004.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1004.22/1004.24 c 979s| 1370k|532572 | 0 | 0.0 | 843M|1024 | - |1925 | 28k| 0 | 0 | 0 |1323k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1019.22/1019.30 c 993s| 1380k|534921 | 0 | 0.0 | 852M|1024 | - |1925 | 30k| 0 | 0 | 0 |1338k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1035.82/1035.88 c 1010s| 1390k|536690 | 0 | 0.0 | 859M|1024 | - |1925 | 34k| 0 | 0 | 0 |1353k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1056.02/1056.07 c 1030s| 1400k|536821 | 0 | 0.0 | 864M|1024 | - |1925 | 37k| 0 | 0 | 0 |1372k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1072.91/1072.93 c 1046s| 1410k|539319 | 0 | 0.0 | 865M|1024 | - |1925 | 26k| 0 | 0 | 0 |1384k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1081.72/1081.74 c 1055s| 1420k|545469 | 0 | 0.0 | 871M|1024 | - |1925 | 24k| 0 | 0 | 0 |1391k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1090.42/1090.47 c 1063s| 1430k|551406 | 0 | 0.0 | 878M|1024 | - |1925 | 23k| 0 | 0 | 0 |1398k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1099.72/1099.72 c 1072s| 1440k|556877 | 0 | 0.0 | 886M|1024 | - |1925 | 22k| 0 | 0 | 0 |1406k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1108.92/1108.94 c 1081s| 1450k|562237 | 0 | 0.0 | 893M|1024 | - |1925 | 22k| 0 | 0 | 0 |1414k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1118.42/1118.40 c 1091s| 1460k|567332 | 0 | 0.0 | 900M|1024 | - |1925 | 22k| 0 | 0 | 0 |1422k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1129.02/1129.07 c 1101s| 1470k|571585 | 0 | 0.0 | 907M|1024 | - |1925 | 23k| 0 | 0 | 0 |1431k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1140.62/1140.67 c 1113s| 1480k|575401 | 0 | 0.0 | 915M|1024 | - |1925 | 24k| 0 | 0 | 0 |1441k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1153.83/1153.90 c 1126s| 1490k|578202 | 0 | 0.0 | 921M|1024 | - |1925 | 25k| 0 | 0 | 0 |1453k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1168.52/1168.54 c 1140s| 1500k|580344 | 0 | 0.0 | 929M|1024 | - |1925 | 27k| 0 | 0 | 0 |1466k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1184.92/1184.92 c 1156s| 1510k|581729 | 0 | 0.0 | 935M|1024 | - |1925 | 28k| 0 | 0 | 0 |1480k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1202.72/1202.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1202.72/1202.73 c 1174s| 1520k|582638 | 0 | 0.0 | 941M|1024 | - |1925 | 30k| 0 | 0 | 0 |1495k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1220.02/1220.08 c 1191s| 1530k|582971 | 0 | 0.0 | 943M|1024 | - |1925 | 30k| 0 | 0 | 0 |1511k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1241.12/1241.19 c 1212s| 1540k|581054 | 0 | 0.0 | 947M|1024 | - |1925 | 39k| 0 | 0 | 0 |1532k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1252.82/1252.84 c 1223s| 1550k|586253 | 0 | 0.0 | 948M|1024 | - |1925 | 24k| 0 | 0 | 0 |1540k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1261.83/1261.87 c 1232s| 1560k|591719 | 0 | 0.0 | 954M|1024 | - |1925 | 23k| 0 | 0 | 0 |1548k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1270.93/1270.99 c 1241s| 1570k|597004 | 0 | 0.0 | 960M|1024 | - |1925 | 24k| 0 | 0 | 0 |1556k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1280.43/1280.45 c 1250s| 1580k|602188 | 0 | 0.0 | 967M|1024 | - |1925 | 25k| 0 | 0 | 0 |1565k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1290.93/1290.99 c 1261s| 1590k|606633 | 0 | 0.0 | 973M|1024 | - |1925 | 26k| 0 | 0 | 0 |1575k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1302.03/1302.03 c 1271s| 1600k|610911 | 0 | 0.0 | 979M|1024 | - |1925 | 27k| 0 | 0 | 0 |1585k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1309.33/1309.30 o 21
1309.33/1309.30 c *1279s| 1605k|611002 | 0 | 0.0 | 973M|1024 | - |1925 | 28k| 0 | 0 | 0 |1591k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1315.02/1315.04 c 1284s| 1610k|612183 | 0 | 0.0 | 975M|1024 | - |1925 | 29k| 0 | 0 | 0 |1596k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1329.93/1329.93 c 1299s| 1620k|614638 | 0 | 0.0 | 982M|1024 | - |1925 | 30k| 0 | 0 | 0 |1609k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1346.02/1346.00 c 1315s| 1630k|616598 | 0 | 0.0 | 988M|1024 | - |1925 | 33k| 0 | 0 | 0 |1623k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1364.22/1364.28 c 1333s| 1640k|617610 | 0 | 0.0 | 993M|1024 | - |1925 | 37k| 0 | 0 | 0 |1638k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1385.73/1385.77 c 1354s| 1650k|617185 | 0 | 0.0 | 997M|1024 | - |1925 | 42k| 0 | 0 | 0 |1657k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1408.43/1408.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1408.43/1408.47 c 1377s| 1660k|617474 | 0 | 0.0 | 997M|1024 | - |1925 | 37k| 0 | 0 | 0 |1673k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1420.43/1420.48 c 1388s| 1670k|623088 | 0 | 0.0 |1002M|1024 | - |1925 | 30k| 0 | 0 | 0 |1681k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1432.03/1432.01 c 1400s| 1680k|628185 | 0 | 0.0 |1009M|1024 | - |1925 | 28k| 0 | 0 | 0 |1689k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1442.63/1442.62 c 1410s| 1690k|633403 | 0 | 0.0 |1016M|1024 | - |1925 | 27k| 0 | 0 | 0 |1697k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1453.43/1453.46 c 1421s| 1700k|638269 | 0 | 0.0 |1023M|1024 | - |1925 | 27k| 0 | 0 | 0 |1705k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1465.03/1465.02 c 1432s| 1710k|642581 | 0 | 0.0 |1030M|1024 | - |1925 | 28k| 0 | 0 | 0 |1714k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1476.73/1476.76 c 1444s| 1720k|646705 | 0 | 0.0 |1037M|1024 | - |1925 | 28k| 0 | 0 | 0 |1724k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1489.72/1489.73 c 1457s| 1730k|650000 | 0 | 0.0 |1043M|1024 | - |1925 | 29k| 0 | 0 | 0 |1735k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1503.13/1503.14 c 1470s| 1740k|653137 | 0 | 0.0 |1050M|1024 | - |1925 | 29k| 0 | 0 | 0 |1746k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1518.23/1518.27 c 1485s| 1750k|655273 | 0 | 0.0 |1056M|1024 | - |1925 | 30k| 0 | 0 | 0 |1759k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1533.73/1533.78 c 1500s| 1760k|657307 | 0 | 0.0 |1062M|1024 | - |1925 | 32k| 0 | 0 | 0 |1771k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1552.03/1552.05 c 1518s| 1770k|657939 | 0 | 0.0 |1067M|1024 | - |1925 | 33k| 0 | 0 | 0 |1786k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1572.83/1572.83 c 1539s| 1780k|657735 | 0 | 0.0 |1070M|1024 | - |1925 | 35k| 0 | 0 | 0 |1801k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1597.33/1597.37 c 1563s| 1790k|656255 | 0 | 0.0 |1071M|1024 | - |1925 | 38k| 0 | 0 | 0 |1818k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1622.43/1622.50 c 1588s| 1800k|655353 | 0 | 0.0 |1068M|1024 | - |1925 | 32k| 0 | 0 | 0 |1834k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1637.43/1637.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1637.43/1637.42 c 1602s| 1810k|659037 | 0 | 0.0 |1072M|1024 | - |1925 | 28k| 0 | 0 | 0 |1843k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1653.33/1653.31 c 1618s| 1820k|661809 | 0 | 0.0 |1079M|1024 | - |1925 | 30k| 0 | 0 | 0 |1854k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1670.34/1670.31 c 1634s| 1830k|664163 | 0 | 0.0 |1085M|1024 | - |1925 | 31k| 0 | 0 | 0 |1865k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1687.24/1687.24 c 1651s| 1840k|666569 | 0 | 0.0 |1090M|1024 | - |1925 | 31k| 0 | 0 | 0 |1876k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1704.53/1704.50 c 1668s| 1850k|668846 | 0 | 0.0 |1095M|1024 | - |1925 | 31k| 0 | 0 | 0 |1888k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1722.23/1722.27 c 1686s| 1860k|670925 | 0 | 0.0 |1099M|1024 | - |1925 | 33k| 0 | 0 | 0 |1901k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1738.73/1738.77 c 1702s| 1870k|673674 | 0 | 0.0 |1102M|1024 | - |1925 | 32k| 0 | 0 | 0 |1913k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1757.14/1757.11 c 1720s| 1880k|675126 | 0 | 0.0 |1104M|1024 | - |1925 | 32k| 0 | 0 | 0 |1926k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1775.44/1775.43 c 1738s| 1890k|676932 | 0 | 0.0 |1106M|1024 | - |1925 | 31k| 0 | 0 | 0 |1938k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1796.73/1796.72 c 1759s| 1900k|677857 | 0 | 0.0 |1108M|1024 | - |1925 | 31k| 0 | 0 | 0 |1952k| 0 | 0.000000e+00 | 2.100000e+01 | 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) : 1762.37
1800.04/1800.00 c Solving Nodes : 1901577
1800.04/1800.00 c Primal Bound : +2.10000000000000e+01 (14 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.02 s SATISFIABLE
1800.04/1800.02 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210
1800.04/1800.02 v x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.04/1800.02 v -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.04/1800.02 v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.04/1800.02 v -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.04/1800.02 v -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105
1800.04/1800.02 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80
1800.04/1800.02 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55
1800.04/1800.02 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 x33 -x32 -x31 -x30 -x29
1800.04/1800.02 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 -x3
1800.04/1800.02 v -x2 -x1
1800.04/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.02 c Solving Time : 1762.37
1800.04/1800.02 c Original Problem :
1800.04/1800.02 c Problem name : HOME/instance-2694027-1277900560.wbo
1800.04/1800.02 c Variables : 2087 (1159 binary, 0 integer, 0 implicit integer, 928 continuous)
1800.04/1800.02 c Constraints : 3636 initial, 3636 maximal
1800.04/1800.02 c Presolved Problem :
1800.04/1800.02 c Problem name : t_HOME/instance-2694027-1277900560.wbo
1800.04/1800.02 c Variables : 1925 (1078 binary, 0 integer, 0 implicit integer, 847 continuous)
1800.04/1800.02 c Constraints : 3338 initial, 48676 maximal
1800.04/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.02 c trivial : 0.00 81 0 0 0 0 0 0 0
1800.04/1800.02 c dualfix : 0.00 81 0 0 0 0 0 0 0
1800.04/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c probing : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.02 c indicator : 0.00 0 0 0 0 0 81 0 0
1800.04/1800.02 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c linear : 0.07 0 0 0 958 0 217 156 0
1800.04/1800.02 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.02 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c root node : - 441 - - 882 - - - -
1800.04/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.02 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c indicator : 847 0 5541633 0 1257261 984 4470339 0 0 0
1800.04/1800.02 c knapsack : 1 0 6908268 0 1453751 151175 22483785 0 0 0
1800.04/1800.02 c setppc : 14 0 6786320 0 1454008 88837 5804618 0 0 0
1800.04/1800.02 c linear : 847 0 6697860 0 1454140 78105 7519568 0 0 0
1800.04/1800.02 c logicor : 1629+ 0 4870637 0 1454150 351385 13107527 0 0 0
1800.04/1800.02 c bounddisjunction : 0+ 0 42758 0 0 0 47 0 0 0
1800.04/1800.02 c countsols : 0 0 0 0 1454140 0 0 0 0 0
1800.04/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.02 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.02 c indicator : 23.92 0.00 13.65 0.00 10.27
1800.04/1800.02 c knapsack : 79.16 0.00 76.62 0.00 2.54
1800.04/1800.02 c setppc : 26.50 0.00 24.05 0.00 2.45
1800.04/1800.02 c linear : 107.64 0.00 106.01 0.00 1.63
1800.04/1800.02 c logicor : 618.82 0.00 549.87 0.00 68.95
1800.04/1800.02 c bounddisjunction : 0.04 0.00 0.04 0.00 0.00
1800.04/1800.02 c countsols : 0.29 0.00 0.00 0.00 0.29
1800.04/1800.02 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.02 c vbounds : 2.08 2 0 0
1800.04/1800.02 c rootredcost : 1.47 0 0 0
1800.04/1800.02 c pseudoobj : 143.10 6946748 7997 4380866
1800.04/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.02 c propagation : 26.94 677499 677279 3178768 21.2 74976 7.9 -
1800.04/1800.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c pseudo solution : 0.03 158 158 682 15.7 59 7.8 -
1800.04/1800.02 c applied globally : - - - 1954391 18.7 - - -
1800.04/1800.02 c applied locally : - - - 16 120.9 - - -
1800.04/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.02 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.02 c redcost : 0.00 0 0 0 0 0
1800.04/1800.02 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.02 c intobj : 0.00 0 0 0 0 0
1800.04/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.02 c gomory : 0.00 0 0 0 0 0
1800.04/1800.02 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.02 c cmir : 0.00 0 0 0 0 0
1800.04/1800.02 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.02 c clique : 0.00 0 0 0 0 0
1800.04/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.02 c mcf : 0.00 0 0 0 0 0
1800.04/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.02 c Pricers : Time Calls Vars
1800.04/1800.02 c problem variables: 0.00 0 0
1800.04/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.02 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.02 c inference : 33.92 1454126 0 0 0 0 2908252
1800.04/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.02 c random : 0.00 0 0 0 0 0 0
1800.04/1800.02 c Primal Heuristics : Time Calls Found
1800.04/1800.02 c LP solutions : 0.00 - 0
1800.04/1800.02 c pseudo solutions : 0.05 - 14
1800.04/1800.02 c oneopt : 0.65 0 0
1800.04/1800.02 c trivial : 0.00 2 0
1800.04/1800.02 c simplerounding : 0.00 0 0
1800.04/1800.02 c zirounding : 0.00 0 0
1800.04/1800.02 c rounding : 0.00 0 0
1800.04/1800.02 c shifting : 0.00 0 0
1800.04/1800.02 c intshifting : 0.00 0 0
1800.04/1800.02 c twoopt : 0.00 0 0
1800.04/1800.02 c fixandinfer : 0.00 0 0
1800.04/1800.02 c feaspump : 0.00 0 0
1800.04/1800.02 c coefdiving : 0.00 0 0
1800.04/1800.02 c pscostdiving : 0.00 0 0
1800.04/1800.02 c fracdiving : 0.00 0 0
1800.04/1800.02 c veclendiving : 0.00 0 0
1800.04/1800.02 c intdiving : 0.00 0 0
1800.04/1800.02 c actconsdiving : 0.00 0 0
1800.04/1800.02 c objpscostdiving : 0.00 0 0
1800.04/1800.02 c rootsoldiving : 0.00 0 0
1800.04/1800.02 c linesearchdiving : 0.00 0 0
1800.04/1800.02 c guideddiving : 0.00 0 0
1800.04/1800.02 c octane : 0.00 0 0
1800.04/1800.02 c rens : 0.00 0 0
1800.04/1800.02 c rins : 0.00 0 0
1800.04/1800.02 c localbranching : 0.00 0 0
1800.04/1800.02 c mutation : 0.00 0 0
1800.04/1800.02 c crossover : 0.00 0 0
1800.04/1800.02 c dins : 0.00 0 0
1800.04/1800.02 c undercover : 0.00 0 0
1800.04/1800.02 c nlp : 0.47 0 0
1800.04/1800.02 c trysol : 0.53 1 0
1800.04/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.02 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.02 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.02 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.02 c (at root node) : - 0 0 0.00 -
1800.04/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.02 c B&B Tree :
1800.04/1800.02 c number of runs : 1
1800.04/1800.02 c nodes : 1901577
1800.04/1800.02 c nodes (total) : 1901577
1800.04/1800.02 c nodes left : 678119
1800.04/1800.02 c max depth : 1024
1800.04/1800.02 c max depth (total): 1024
1800.04/1800.02 c backtracks : 449264 (23.6%)
1800.04/1800.02 c delayed cutoffs : 314760
1800.04/1800.02 c repropagations : 1758194 (16878441 domain reductions, 231204 cutoffs)
1800.04/1800.02 c avg switch length: 29.84
1800.04/1800.02 c switching time : 541.06
1800.04/1800.02 c Solution :
1800.04/1800.02 c Solutions found : 14 (14 improvements)
1800.04/1800.02 c First Solution : +5.60000000000000e+02 (in run 1, after 3725 nodes, 0.96 seconds, depth 601, found by <relaxation>)
1800.04/1800.02 c Primal Bound : +2.10000000000000e+01 (in run 1, after 1605941 nodes, 1278.61 seconds, depth 455, found by <relaxation>)
1800.04/1800.02 c Dual Bound : +0.00000000000000e+00
1800.04/1800.02 c Gap : infinite
1800.04/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.02 c Root Iterations : 0
1801.84/1801.83 c Time complete: 1801.87.