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-2694119-1277906357.wbo>
0.00/0.03 c original problem has 2053 variables (1142 bin, 0 int, 0 impl, 911 cont) and 3619 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 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.03/0.04 c presolving:
0.03/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.03/0.08 c (round 2) 0 del vars, 104 del conss, 911 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.09/0.10 c (round 3) 50 del vars, 246 del conss, 931 chg bounds, 142 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.09/0.11 c (round 4) 120 del vars, 266 del conss, 931 chg bounds, 142 chg sides, 0 chg coeffs, 1671 upgd conss, 1117 impls, 11 clqs
0.09/0.12 c (round 5) 140 del vars, 266 del conss, 931 chg bounds, 142 chg sides, 0 chg coeffs, 1671 upgd conss, 1117 impls, 11 clqs
0.09/0.16 c (0.1s) probing: 101/1072 (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 (6 rounds):
0.09/0.16 c 140 deleted vars, 266 deleted constraints, 931 tightened bounds, 0 added holes, 142 changed sides, 0 changed coefficients
0.09/0.16 c 1117 implications, 11 cliques
0.09/0.16 c presolved problem has 1913 variables (1072 bin, 0 int, 0 impl, 841 cont) and 3353 constraints
0.09/0.16 c 841 constraints of type <indicator>
0.09/0.16 c 11 constraints of type <setppc>
0.09/0.16 c 841 constraints of type <linear>
0.09/0.16 c 1660 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.13
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.17 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.17 c 0.1s| 1 | 2 | 0 | - |7503k| 0 | - |1913 |3353 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.59/2.66 c 2.5s| 10000 | 9086 | 0 | 0.0 | 13M|1000 | - |1913 |4302 | 0 | 0 | 0 |2198 | 0 | 0.000000e+00 | -- | Inf
5.69/5.79 c 5.6s| 20000 | 16902 | 0 | 0.0 | 21M|1000 | - |1913 |5349 | 0 | 0 | 0 |8393 | 0 | 0.000000e+00 | -- | Inf
10.09/10.17 c 9.8s| 30000 | 22544 | 0 | 0.0 | 29M|1000 | - |1913 |6637 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
10.49/10.54 o 585
10.49/10.54 c *10.2s| 30603 | 22718 | 0 | 0.0 | 29M|1000 | - |1913 |6557 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 5.850000e+02 | Inf
10.49/10.54 o 533
10.49/10.54 c *10.2s| 30604 | 22704 | 0 | 0.0 | 29M|1000 | - |1913 |6557 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 5.330000e+02 | Inf
10.69/10.75 o 263
10.69/10.75 c *10.4s| 31271 | 21335 | 0 | 0.0 | 29M|1000 | - |1913 |6271 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.630000e+02 | Inf
10.69/10.75 o 166
10.69/10.75 c *10.4s| 31272 | 21196 | 0 | 0.0 | 29M|1000 | - |1913 |6271 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.660000e+02 | Inf
10.79/10.82 o 73
10.79/10.82 c *10.5s| 31472 | 20924 | 0 | 0.0 | 29M|1000 | - |1913 |6157 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
10.79/10.82 o 67
10.79/10.82 c *10.5s| 31473 | 20734 | 0 | 0.0 | 29M|1000 | - |1913 |6157 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
10.79/10.87 o 51
10.79/10.87 c *10.5s| 31619 | 20508 | 0 | 0.0 | 29M|1000 | - |1913 |6046 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
10.90/10.92 o 14
10.90/10.92 c *10.6s| 31773 | 20348 | 0 | 0.0 | 29M|1000 | - |1913 |5947 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
10.90/10.92 o 10
10.90/10.92 c *10.6s| 31774 | 20311 | 0 | 0.0 | 29M|1000 | - |1913 |5947 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
10.90/10.94 o 9
10.90/10.94 c *10.6s| 31847 | 20314 | 0 | 0.0 | 29M|1000 | - |1913 |5880 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
13.79/13.87 c 13.4s| 40000 | 26921 | 0 | 0.0 | 47M|1000 | - |1913 |5599 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
16.89/16.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.89/16.94 c 16.4s| 50000 | 34973 | 0 | 0.0 | 55M|1000 | - |1913 |6480 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
20.19/20.29 c 19.7s| 60000 | 42689 | 0 | 0.0 | 62M|1000 | - |1913 |7255 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
23.69/23.77 c 23.0s| 70000 | 50170 | 0 | 0.0 | 69M|1000 | - |1913 |7420 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
27.69/27.72 c 26.9s| 80000 | 57118 | 0 | 0.0 | 76M|1000 | - |1913 |8279 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
31.79/31.88 c 31.0s| 90000 | 63793 | 0 | 0.0 | 83M|1000 | - |1913 |8604 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
36.19/36.22 c 35.2s|100000 | 70286 | 0 | 0.0 | 91M|1000 | - |1913 |9475 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
40.29/40.34 c 39.0s|110000 | 76545 | 0 | 0.0 | 98M|1000 | - |1913 |9791 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
44.59/44.68 c 43.1s|120000 | 82635 | 0 | 0.0 | 106M|1000 | - |1913 | 11k| 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
49.59/49.67 c 47.8s|130000 | 88164 | 0 | 0.0 | 113M|1000 | - |1913 | 12k| 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
54.79/54.81 c 52.6s|140000 | 93623 | 0 | 0.0 | 121M|1000 | - |1913 | 12k| 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
60.40/60.49 c 57.9s|150000 | 98613 | 0 | 0.0 | 129M|1000 | - |1913 | 13k| 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
66.58/66.64 c 63.7s|160000 |103129 | 0 | 0.0 | 137M|1000 | - |1913 | 14k| 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
73.48/73.59 c 70.4s|170000 |106815 | 0 | 0.0 | 144M|1000 | - |1913 | 14k| 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
82.18/82.21 c 78.6s|180000 |108393 | 0 | 0.0 | 150M|1000 | - |1913 | 14k| 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
85.19/85.21 c 81.4s|190000 |116911 | 0 | 0.0 | 153M|1000 | - |1913 |7158 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
90.59/90.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.59/90.62 c 86.4s|200000 |122550 | 0 | 0.0 | 161M|1000 | - |1913 |8901 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
94.39/94.41 c 89.9s|210000 |130342 | 0 | 0.0 | 168M|1000 | - |1913 |9905 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
98.78/98.81 c 94.0s|220000 |137860 | 0 | 0.0 | 174M|1000 | - |1913 | 10k| 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
103.29/103.36 c 98.3s|230000 |144986 | 0 | 0.0 | 181M|1000 | - |1913 | 11k| 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
107.59/107.60 c 102s|240000 |151902 | 0 | 0.0 | 189M|1000 | - |1913 | 14k| 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
111.09/111.11 c 105s|250000 |159936 | 0 | 0.0 | 196M|1000 | - |1913 | 14k| 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
115.28/115.37 c 109s|260000 |167242 | 0 | 0.0 | 203M|1000 | - |1913 | 14k| 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
119.89/119.91 c 114s|270000 |174234 | 0 | 0.0 | 211M|1000 | - |1913 | 15k| 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
124.38/124.42 c 118s|280000 |181156 | 0 | 0.0 | 218M|1000 | - |1913 | 16k| 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
128.58/128.68 c 122s|290000 |188194 | 0 | 0.0 | 225M|1000 | - |1913 | 18k| 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
132.78/132.80 c 126s|300000 |195432 | 0 | 0.0 | 231M|1000 | - |1913 | 17k| 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
136.18/136.23 c 129s|310000 |203842 | 0 | 0.0 | 235M|1000 | - |1913 |8719 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
139.48/139.53 c 132s|320000 |211492 | 0 | 0.0 | 242M|1000 | - |1913 | 10k| 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
143.28/143.37 c 135s|330000 |218714 | 0 | 0.0 | 250M|1000 | - |1913 | 12k| 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
147.38/147.47 c 139s|340000 |225785 | 0 | 0.0 | 256M|1000 | - |1913 | 13k| 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
151.68/151.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.68/151.75 c 143s|350000 |232691 | 0 | 0.0 | 263M|1000 | - |1913 | 14k| 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
156.98/157.00 c 148s|360000 |238708 | 0 | 0.0 | 271M|1000 | - |1913 | 15k| 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
162.58/162.60 c 153s|370000 |244555 | 0 | 0.0 | 278M|1000 | - |1913 | 15k| 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
168.38/168.42 c 159s|380000 |250225 | 0 | 0.0 | 285M|1000 | - |1913 | 16k| 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
174.68/174.70 c 165s|390000 |255453 | 0 | 0.0 | 293M|1000 | - |1913 | 16k| 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
181.18/181.28 c 171s|400000 |260604 | 0 | 0.0 | 300M|1000 | - |1913 | 17k| 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
188.28/188.31 c 178s|410000 |265440 | 0 | 0.0 | 307M|1000 | - |1913 | 17k| 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
195.58/195.68 c 185s|420000 |270035 | 0 | 0.0 | 315M|1000 | - |1913 | 18k| 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
203.28/203.37 c 192s|430000 |274517 | 0 | 0.0 | 322M|1000 | - |1913 | 17k| 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
211.37/211.44 c 200s|440000 |278681 | 0 | 0.0 | 329M|1000 | - |1913 | 18k| 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
219.08/219.14 c 207s|450000 |283237 | 0 | 0.0 | 337M|1000 | - |1913 | 19k| 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
227.28/227.37 c 215s|460000 |287467 | 0 | 0.0 | 343M|1000 | - |1913 | 18k| 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
235.77/235.85 c 223s|470000 |291500 | 0 | 0.0 | 350M|1000 | - |1913 | 19k| 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
244.47/244.52 c 232s|480000 |295446 | 0 | 0.0 | 358M|1000 | - |1913 | 19k| 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
253.27/253.39 c 240s|490000 |299336 | 0 | 0.0 | 365M|1000 | - |1913 | 20k| 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
262.38/262.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
262.38/262.45 c 249s|500000 |303279 | 0 | 0.0 | 372M|1000 | - |1913 | 21k| 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
270.98/271.09 c 257s|510000 |307658 | 0 | 0.0 | 380M|1000 | - |1913 | 22k| 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
281.07/281.11 c 267s|520000 |311028 | 0 | 0.0 | 387M|1000 | - |1913 | 22k| 0 | 0 | 0 | 555k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
291.07/291.11 c 277s|530000 |314670 | 0 | 0.0 | 393M|1000 | - |1913 | 22k| 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
300.57/300.64 c 286s|540000 |318520 | 0 | 0.0 | 401M|1000 | - |1913 | 23k| 0 | 0 | 0 | 585k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
311.07/311.12 c 296s|550000 |321735 | 0 | 0.0 | 408M|1000 | - |1913 | 23k| 0 | 0 | 0 | 602k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
322.28/322.34 c 307s|560000 |324809 | 0 | 0.0 | 414M|1000 | - |1913 | 24k| 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
332.98/333.00 c 317s|570000 |328264 | 0 | 0.0 | 421M|1000 | - |1913 | 25k| 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
344.38/344.46 c 328s|580000 |331208 | 0 | 0.0 | 428M|1000 | - |1913 | 25k| 0 | 0 | 0 | 654k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
355.97/356.04 c 340s|590000 |334076 | 0 | 0.0 | 435M|1000 | - |1913 | 25k| 0 | 0 | 0 | 672k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
368.07/368.16 c 351s|600000 |336815 | 0 | 0.0 | 441M|1000 | - |1913 | 26k| 0 | 0 | 0 | 691k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
380.17/380.26 c 363s|610000 |339777 | 0 | 0.0 | 448M|1000 | - |1913 | 28k| 0 | 0 | 0 | 709k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
392.58/392.66 c 375s|620000 |342803 | 0 | 0.0 | 455M|1000 | - |1913 | 29k| 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
406.48/406.55 c 389s|630000 |345109 | 0 | 0.0 | 462M|1000 | - |1913 | 29k| 0 | 0 | 0 | 748k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
420.68/420.75 c 402s|640000 |347325 | 0 | 0.0 | 468M|1000 | - |1913 | 30k| 0 | 0 | 0 | 768k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
435.27/435.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
435.27/435.36 c 417s|650000 |349366 | 0 | 0.0 | 474M|1000 | - |1913 | 28k| 0 | 0 | 0 | 790k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
449.48/449.51 c 430s|660000 |351371 | 0 | 0.0 | 480M|1000 | - |1913 | 29k| 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
465.18/465.22 c 446s|670000 |352647 | 0 | 0.0 | 485M|1000 | - |1913 | 30k| 0 | 0 | 0 | 835k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
480.68/480.79 c 461s|680000 |354286 | 0 | 0.0 | 492M|1000 | - |1913 | 31k| 0 | 0 | 0 | 858k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
497.37/497.49 c 477s|690000 |355457 | 0 | 0.0 | 497M|1000 | - |1913 | 32k| 0 | 0 | 0 | 883k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
514.18/514.29 c 494s|700000 |356529 | 0 | 0.0 | 501M|1000 | - |1913 | 32k| 0 | 0 | 0 | 909k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
531.18/531.21 c 510s|710000 |357327 | 0 | 0.0 | 505M|1000 | - |1913 | 28k| 0 | 0 | 0 | 935k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
549.28/549.32 c 528s|720000 |355831 | 0 | 0.0 | 506M|1000 | - |1913 | 24k| 0 | 0 | 0 | 964k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
559.78/559.81 c 538s|730000 |358130 | 0 | 0.0 | 499M|1000 | - |1913 |9812 | 0 | 0 | 0 | 980k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
563.18/563.26 c 541s|740000 |366320 | 0 | 0.0 | 505M|1000 | - |1913 |9257 | 0 | 0 | 0 | 986k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
566.68/566.76 c 544s|750000 |374443 | 0 | 0.0 | 511M|1000 | - |1913 | 10k| 0 | 0 | 0 | 992k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
570.38/570.44 c 548s|760000 |382352 | 0 | 0.0 | 517M|1000 | - |1913 | 11k| 0 | 0 | 0 | 998k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
574.48/574.54 c 552s|770000 |389974 | 0 | 0.0 | 524M|1000 | - |1913 | 13k| 0 | 0 | 0 |1005k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
579.08/579.10 c 556s|780000 |397299 | 0 | 0.0 | 531M|1000 | - |1913 | 14k| 0 | 0 | 0 |1012k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
584.98/585.03 c 561s|790000 |403601 | 0 | 0.0 | 539M|1000 | - |1913 | 16k| 0 | 0 | 0 |1023k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
585.28/585.34 o 4
585.28/585.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
585.28/585.35 c * 562s|790551 |402007 | 0 | 0.0 | 535M|1000 | - |1913 | 16k| 0 | 0 | 0 |1023k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
592.79/592.81 c 569s|800000 |406892 | 0 | 0.0 | 547M|1000 | - |1913 | 18k| 0 | 0 | 0 |1035k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
602.48/602.54 c 578s|810000 |411068 | 0 | 0.0 | 559M|1000 | - |1913 | 21k| 0 | 0 | 0 |1049k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
615.08/615.19 c 590s|820000 |413795 | 0 | 0.0 | 570M|1000 | - |1913 | 23k| 0 | 0 | 0 |1068k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
631.18/631.29 c 606s|830000 |414816 | 0 | 0.0 | 580M|1000 | - |1913 | 28k| 0 | 0 | 0 |1090k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
638.38/638.40 c 613s|840000 |422617 | 0 | 0.0 | 586M|1000 | - |1913 | 19k| 0 | 0 | 0 |1098k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
644.38/644.49 c 618s|850000 |430006 | 0 | 0.0 | 595M|1000 | - |1913 | 18k| 0 | 0 | 0 |1106k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
650.68/650.73 c 624s|860000 |437183 | 0 | 0.0 | 604M|1000 | - |1913 | 19k| 0 | 0 | 0 |1115k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
657.48/657.59 c 631s|870000 |443933 | 0 | 0.0 | 614M|1000 | - |1913 | 20k| 0 | 0 | 0 |1124k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
665.38/665.42 c 638s|880000 |450258 | 0 | 0.0 | 624M|1000 | - |1913 | 21k| 0 | 0 | 0 |1135k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
675.48/675.57 c 648s|890000 |455303 | 0 | 0.0 | 636M|1000 | - |1913 | 24k| 0 | 0 | 0 |1148k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
689.08/689.13 c 661s|900000 |458921 | 0 | 0.0 | 648M|1000 | - |1913 | 28k| 0 | 0 | 0 |1164k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
709.88/709.95 c 682s|910000 |460026 | 0 | 0.0 | 658M|1000 | - |1913 | 34k| 0 | 0 | 0 |1187k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
718.98/719.02 c 690s|920000 |467373 | 0 | 0.0 | 664M|1000 | - |1913 | 28k| 0 | 0 | 0 |1195k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
725.78/725.82 c 697s|930000 |475057 | 0 | 0.0 | 671M|1000 | - |1913 | 24k| 0 | 0 | 0 |1202k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
732.18/732.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
732.18/732.20 c 703s|940000 |482568 | 0 | 0.0 | 679M|1000 | - |1913 | 24k| 0 | 0 | 0 |1210k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
739.19/739.21 c 709s|950000 |489632 | 0 | 0.0 | 688M|1000 | - |1913 | 24k| 0 | 0 | 0 |1218k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
748.68/748.72 c 718s|960000 |495331 | 0 | 0.0 | 700M|1000 | - |1913 | 27k| 0 | 0 | 0 |1229k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
760.88/760.97 c 730s|970000 |499873 | 0 | 0.0 | 712M|1000 | - |1913 | 30k| 0 | 0 | 0 |1243k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
775.98/776.01 c 745s|980000 |503339 | 0 | 0.0 | 724M|1000 | - |1913 | 34k| 0 | 0 | 0 |1260k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
795.58/795.61 c 764s|990000 |504899 | 0 | 0.0 | 734M|1000 | - |1913 | 40k| 0 | 0 | 0 |1282k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
802.78/802.88 c 771s| 1000k|512950 | 0 | 0.0 | 739M|1000 | - |1913 | 32k| 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
808.78/808.83 c 777s| 1010k|520784 | 0 | 0.0 | 746M|1000 | - |1913 | 29k| 0 | 0 | 0 |1296k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
814.28/814.39 c 782s| 1020k|528464 | 0 | 0.0 | 754M|1000 | - |1913 | 28k| 0 | 0 | 0 |1303k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
820.89/820.90 c 788s| 1030k|535460 | 0 | 0.0 | 763M|1000 | - |1913 | 30k| 0 | 0 | 0 |1312k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
829.68/829.74 c 796s| 1040k|541205 | 0 | 0.0 | 774M|1000 | - |1913 | 33k| 0 | 0 | 0 |1323k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
840.99/841.03 c 807s| 1050k|545899 | 0 | 0.0 | 787M|1000 | - |1913 | 37k| 0 | 0 | 0 |1338k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
855.38/855.42 c 821s| 1060k|549201 | 0 | 0.0 | 798M|1000 | - |1913 | 40k| 0 | 0 | 0 |1357k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
873.49/873.56 c 839s| 1070k|550873 | 0 | 0.0 | 808M|1000 | - |1913 | 46k| 0 | 0 | 0 |1378k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
881.49/881.53 c 847s| 1080k|558869 | 0 | 0.0 | 812M|1000 | - |1913 | 37k| 0 | 0 | 0 |1386k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
887.99/888.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
887.99/888.01 c 853s| 1090k|566656 | 0 | 0.0 | 819M|1000 | - |1913 | 34k| 0 | 0 | 0 |1393k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
894.08/894.14 c 859s| 1100k|574235 | 0 | 0.0 | 826M|1000 | - |1913 | 34k| 0 | 0 | 0 |1401k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
900.58/900.69 c 865s| 1110k|581512 | 0 | 0.0 | 834M|1000 | - |1913 | 35k| 0 | 0 | 0 |1409k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
910.18/910.21 c 874s| 1120k|587245 | 0 | 0.0 | 844M|1000 | - |1913 | 37k| 0 | 0 | 0 |1421k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
921.29/921.39 c 885s| 1130k|592143 | 0 | 0.0 | 855M|1000 | - |1913 | 41k| 0 | 0 | 0 |1435k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
935.59/935.65 c 899s| 1140k|595721 | 0 | 0.0 | 866M|1000 | - |1913 | 45k| 0 | 0 | 0 |1452k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
955.59/955.62 c 918s| 1150k|597001 | 0 | 0.0 | 875M|1000 | - |1913 | 51k| 0 | 0 | 0 |1474k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
964.29/964.33 c 927s| 1160k|604908 | 0 | 0.0 | 879M|1000 | - |1913 | 41k| 0 | 0 | 0 |1481k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
970.89/970.95 c 933s| 1170k|612700 | 0 | 0.0 | 885M|1000 | - |1913 | 38k| 0 | 0 | 0 |1489k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
977.28/977.30 c 939s| 1180k|620359 | 0 | 0.0 | 892M|1000 | - |1913 | 38k| 0 | 0 | 0 |1496k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
985.89/986.00 c 947s| 1190k|626756 | 0 | 0.0 | 900M|1000 | - |1913 | 40k| 0 | 0 | 0 |1507k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
996.59/996.63 c 958s| 1200k|632339 | 0 | 0.0 | 909M|1000 | - |1913 | 43k| 0 | 0 | 0 |1519k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1011.58/1011.63 c 972s| 1210k|636739 | 0 | 0.0 | 919M|1000 | - |1913 | 47k| 0 | 0 | 0 |1535k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1029.89/1029.98 c 991s| 1220k|639776 | 0 | 0.0 | 928M|1000 | - |1913 | 51k| 0 | 0 | 0 |1554k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1046.98/1047.08 c 1008s| 1230k|644251 | 0 | 0.0 | 934M|1000 | - |1913 | 51k| 0 | 0 | 0 |1570k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1055.98/1056.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1055.98/1056.03 c 1016s| 1240k|651994 | 0 | 0.0 | 938M|1000 | - |1913 | 44k| 0 | 0 | 0 |1577k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1063.97/1064.08 c 1024s| 1250k|659482 | 0 | 0.0 | 944M|1000 | - |1913 | 43k| 0 | 0 | 0 |1585k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1071.97/1072.07 c 1032s| 1260k|666714 | 0 | 0.0 | 951M|1000 | - |1913 | 44k| 0 | 0 | 0 |1593k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1081.17/1081.26 c 1041s| 1270k|673351 | 0 | 0.0 | 959M|1000 | - |1913 | 46k| 0 | 0 | 0 |1602k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1095.96/1096.09 c 1056s| 1280k|677988 | 0 | 0.0 | 967M|1000 | - |1913 | 49k| 0 | 0 | 0 |1617k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1115.27/1115.35 c 1075s| 1290k|681012 | 0 | 0.0 | 975M|1000 | - |1913 | 52k| 0 | 0 | 0 |1635k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1134.56/1134.65 c 1094s| 1300k|684619 | 0 | 0.0 | 980M|1000 | - |1913 | 51k| 0 | 0 | 0 |1652k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1143.77/1143.85 c 1103s| 1310k|692455 | 0 | 0.0 | 984M|1000 | - |1913 | 45k| 0 | 0 | 0 |1659k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1152.37/1152.47 c 1112s| 1320k|699952 | 0 | 0.0 | 990M|1000 | - |1913 | 45k| 0 | 0 | 0 |1666k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1161.66/1161.70 c 1121s| 1330k|707064 | 0 | 0.0 | 997M|1000 | - |1913 | 45k| 0 | 0 | 0 |1674k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1174.17/1174.29 c 1133s| 1340k|712767 | 0 | 0.0 |1005M|1000 | - |1913 | 48k| 0 | 0 | 0 |1685k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1189.08/1189.12 c 1148s| 1350k|717430 | 0 | 0.0 |1013M|1000 | - |1913 | 51k| 0 | 0 | 0 |1699k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1209.88/1209.92 c 1169s| 1360k|720109 | 0 | 0.0 |1021M|1000 | - |1913 | 56k| 0 | 0 | 0 |1718k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1227.27/1227.38 c 1186s| 1370k|724896 | 0 | 0.0 |1024M|1000 | - |1913 | 51k| 0 | 0 | 0 |1733k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1237.27/1237.32 c 1196s| 1380k|732262 | 0 | 0.0 |1029M|1000 | - |1913 | 45k| 0 | 0 | 0 |1740k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1247.37/1247.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1247.37/1247.49 c 1206s| 1390k|738892 | 0 | 0.0 |1035M|1000 | - |1913 | 45k| 0 | 0 | 0 |1749k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1259.27/1259.30 c 1218s| 1400k|744612 | 0 | 0.0 |1043M|1000 | - |1913 | 47k| 0 | 0 | 0 |1760k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1272.58/1272.69 c 1231s| 1410k|749635 | 0 | 0.0 |1050M|1000 | - |1913 | 49k| 0 | 0 | 0 |1772k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1290.37/1290.44 c 1249s| 1420k|752864 | 0 | 0.0 |1059M|1000 | - |1913 | 54k| 0 | 0 | 0 |1789k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1309.47/1309.55 c 1268s| 1430k|756820 | 0 | 0.0 |1056M|1000 | - |1913 | 29k| 0 | 0 | 0 |1806k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1317.17/1317.28 c 1275s| 1440k|764163 | 0 | 0.0 |1063M|1000 | - |1913 | 20k| 0 | 0 | 0 |1814k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1324.97/1325.02 c 1283s| 1450k|771121 | 0 | 0.0 |1070M|1000 | - |1913 | 17k| 0 | 0 | 0 |1822k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1332.17/1332.22 c 1290s| 1460k|778049 | 0 | 0.0 |1079M|1000 | - |1913 | 16k| 0 | 0 | 0 |1831k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1337.67/1337.71 c 1295s| 1470k|786085 | 0 | 0.0 |1087M|1000 | - |1913 | 15k| 0 | 0 | 0 |1837k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1345.18/1345.22 c 1303s| 1480k|793123 | 0 | 0.0 |1096M|1000 | - |1913 | 17k| 0 | 0 | 0 |1846k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1352.77/1352.87 c 1310s| 1490k|800037 | 0 | 0.0 |1105M|1000 | - |1913 | 17k| 0 | 0 | 0 |1854k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1360.67/1360.76 c 1318s| 1500k|806591 | 0 | 0.0 |1114M|1000 | - |1913 | 18k| 0 | 0 | 0 |1864k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1367.07/1367.13 c 1324s| 1510k|813899 | 0 | 0.0 |1123M|1000 | - |1913 | 19k| 0 | 0 | 0 |1872k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1373.07/1373.19 c 1330s| 1520k|821581 | 0 | 0.0 |1129M|1000 | - |1913 | 18k| 0 | 0 | 0 |1880k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1380.07/1380.10 c 1337s| 1530k|828625 | 0 | 0.0 |1136M|1000 | - |1913 | 18k| 0 | 0 | 0 |1888k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1386.98/1387.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1386.98/1387.04 c 1344s| 1540k|835655 | 0 | 0.0 |1144M|1000 | - |1913 | 20k| 0 | 0 | 0 |1898k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1393.78/1393.85 c 1351s| 1550k|842567 | 0 | 0.0 |1152M|1000 | - |1913 | 23k| 0 | 0 | 0 |1908k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1398.97/1399.05 c 1356s| 1560k|850785 | 0 | 0.0 |1157M|1000 | - |1913 | 20k| 0 | 0 | 0 |1913k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1405.87/1405.93 c 1362s| 1570k|857658 | 0 | 0.0 |1162M|1000 | - |1913 | 14k| 0 | 0 | 0 |1922k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1411.37/1411.49 c 1368s| 1580k|864793 | 0 | 0.0 |1170M|1000 | - |1913 | 17k| 0 | 0 | 0 |1930k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1421.48/1421.56 c 1378s| 1590k|869376 | 0 | 0.0 |1179M|1000 | - |1913 | 23k| 0 | 0 | 0 |1944k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1433.97/1434.02 c 1390s| 1600k|873733 | 0 | 0.0 |1186M|1000 | - |1913 | 26k| 0 | 0 | 0 |1958k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1447.77/1447.81 c 1404s| 1610k|878005 | 0 | 0.0 |1194M|1000 | - |1913 | 29k| 0 | 0 | 0 |1973k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1462.37/1462.45 c 1418s| 1620k|882104 | 0 | 0.0 |1201M|1000 | - |1913 | 29k| 0 | 0 | 0 |1987k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1477.58/1477.67 c 1433s| 1630k|885973 | 0 | 0.0 |1208M|1000 | - |1913 | 30k| 0 | 0 | 0 |2003k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1493.37/1493.49 c 1449s| 1640k|889841 | 0 | 0.0 |1215M|1000 | - |1913 | 31k| 0 | 0 | 0 |2018k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1510.07/1510.19 c 1466s| 1650k|893347 | 0 | 0.0 |1222M|1000 | - |1913 | 32k| 0 | 0 | 0 |2034k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1527.27/1527.34 c 1483s| 1660k|896862 | 0 | 0.0 |1228M|1000 | - |1913 | 33k| 0 | 0 | 0 |2050k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1547.48/1547.50 c 1503s| 1670k|899491 | 0 | 0.0 |1235M|1000 | - |1913 | 34k| 0 | 0 | 0 |2068k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1565.28/1565.37 c 1520s| 1680k|902913 | 0 | 0.0 |1241M|1000 | - |1913 | 34k| 0 | 0 | 0 |2084k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1586.98/1587.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1586.98/1587.03 c 1542s| 1690k|905132 | 0 | 0.0 |1247M|1000 | - |1913 | 34k| 0 | 0 | 0 |2103k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1608.18/1608.23 c 1563s| 1700k|907469 | 0 | 0.0 |1254M|1000 | - |1913 | 35k| 0 | 0 | 0 |2121k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1631.38/1631.43 c 1586s| 1710k|909473 | 0 | 0.0 |1259M|1000 | - |1913 | 36k| 0 | 0 | 0 |2140k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1654.68/1654.77 c 1609s| 1720k|911422 | 0 | 0.0 |1266M|1000 | - |1913 | 37k| 0 | 0 | 0 |2159k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1681.28/1681.34 c 1636s| 1730k|912749 | 0 | 0.0 |1271M|1000 | - |1913 | 38k| 0 | 0 | 0 |2180k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1706.78/1706.89 c 1661s| 1740k|914116 | 0 | 0.0 |1277M|1000 | - |1913 | 38k| 0 | 0 | 0 |2201k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1734.58/1734.68 c 1689s| 1750k|915023 | 0 | 0.0 |1283M|1000 | - |1913 | 39k| 0 | 0 | 0 |2223k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1761.28/1761.39 c 1715s| 1760k|916149 | 0 | 0.0 |1288M|1000 | - |1913 | 38k| 0 | 0 | 0 |2243k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1791.08/1791.16 c 1745s| 1770k|916137 | 0 | 0.0 |1292M|1000 | - |1913 | 39k| 0 | 0 | 0 |2267k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1800.09/1800.10 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.11 c
1800.09/1800.11 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.11 c Solving Time (sec) : 1753.82
1800.09/1800.11 c Solving Nodes : 1773291
1800.09/1800.11 c Primal Bound : +4.00000000000000e+00 (11 solutions)
1800.09/1800.11 c Dual Bound : +0.00000000000000e+00
1800.09/1800.11 c Gap : infinite
1800.09/1800.12 s SATISFIABLE
1800.09/1800.12 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.09/1800.12 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189
1800.09/1800.12 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 x170 -x169 -x168
1800.09/1800.12 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.09/1800.12 v -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.09/1800.12 v -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.09/1800.12 v -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.09/1800.12 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.09/1800.12 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.09/1800.12 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 -x2
1800.09/1800.12 v -x1
1800.09/1800.12 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.12 c Solving Time : 1753.82
1800.09/1800.12 c Original Problem :
1800.09/1800.12 c Problem name : HOME/instance-2694119-1277906357.wbo
1800.09/1800.12 c Variables : 2053 (1142 binary, 0 integer, 0 implicit integer, 911 continuous)
1800.09/1800.12 c Constraints : 3619 initial, 3619 maximal
1800.09/1800.12 c Presolved Problem :
1800.09/1800.12 c Problem name : t_HOME/instance-2694119-1277906357.wbo
1800.09/1800.12 c Variables : 1913 (1072 binary, 0 integer, 0 implicit integer, 841 continuous)
1800.09/1800.12 c Constraints : 3353 initial, 59606 maximal
1800.09/1800.12 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.12 c trivial : 0.00 70 0 0 0 0 0 0 0
1800.09/1800.12 c dualfix : 0.00 70 0 0 0 0 0 0 0
1800.09/1800.12 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.12 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.12 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.12 c probing : 0.03 0 0 0 0 0 0 0 0
1800.09/1800.12 c indicator : 0.00 0 0 0 0 0 70 0 0
1800.09/1800.12 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.12 c linear : 0.06 0 0 0 931 0 196 142 0
1800.09/1800.12 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.09/1800.12 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.12 c root node : - 0 - - 0 - - - -
1800.09/1800.12 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.12 c integral : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.12 c indicator : 841 0 2736993 0 838624 31 1826515 0 0 0
1800.09/1800.12 c setppc : 11 0 5406617 0 1459632 24069 4436818 0 0 0
1800.09/1800.12 c linear : 841 0 5383114 0 1459733 235730 21896360 0 0 0
1800.09/1800.12 c logicor : 1660+ 0 3992744 0 1459736 255670 11254307 0 0 0
1800.09/1800.12 c bounddisjunction : 0+ 0 165996 0 0 0 4 0 0 0
1800.09/1800.12 c countsols : 0 0 0 0 1459734 0 0 0 0 0
1800.09/1800.12 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.12 c integral : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.12 c indicator : 3.57 0.00 2.44 0.00 1.13
1800.09/1800.12 c setppc : 21.55 0.00 19.65 0.00 1.90
1800.09/1800.12 c linear : 148.66 0.00 147.77 0.00 0.89
1800.09/1800.12 c logicor : 740.45 0.00 669.17 0.00 71.28
1800.09/1800.12 c bounddisjunction : 0.11 0.00 0.11 0.00 0.00
1800.09/1800.12 c countsols : 0.07 0.00 0.00 0.00 0.07
1800.09/1800.12 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.12 c vbounds : 0.38 2 0 0
1800.09/1800.12 c rootredcost : 0.39 0 0 0
1800.09/1800.12 c pseudoobj : 92.84 5407482 455 1820148
1800.09/1800.12 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.12 c propagation : 36.01 515924 515831 2587465 27.5 472166 10.5 -
1800.09/1800.12 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.12 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.12 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.12 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.09/1800.12 c applied globally : - - - 2274745 22.5 - - -
1800.09/1800.12 c applied locally : - - - 304 122.7 - - -
1800.09/1800.12 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.12 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.09/1800.12 c redcost : 0.00 0 0 0 0 0
1800.09/1800.12 c impliedbounds : 0.00 0 0 0 0 0
1800.09/1800.12 c intobj : 0.00 0 0 0 0 0
1800.09/1800.12 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.12 c gomory : 0.00 0 0 0 0 0
1800.09/1800.12 c strongcg : 0.00 0 0 0 0 0
1800.09/1800.12 c cmir : 0.00 0 0 0 0 0
1800.09/1800.12 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.12 c clique : 0.00 0 0 0 0 0
1800.09/1800.12 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.12 c mcf : 0.00 0 0 0 0 0
1800.09/1800.12 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.12 c Pricers : Time Calls Vars
1800.09/1800.12 c problem variables: 0.00 0 0
1800.09/1800.12 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.12 c relpscost : 0.00 0 0 0 0 0 0
1800.09/1800.12 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.12 c inference : 20.93 1459723 0 0 0 0 2919446
1800.09/1800.12 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.12 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.12 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.12 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.12 c random : 0.00 0 0 0 0 0 0
1800.09/1800.12 c Primal Heuristics : Time Calls Found
1800.09/1800.12 c LP solutions : 0.00 - 0
1800.09/1800.12 c pseudo solutions : 0.01 - 11
1800.09/1800.12 c oneopt : 0.40 0 0
1800.09/1800.12 c trivial : 0.01 2 0
1800.09/1800.12 c simplerounding : 0.00 0 0
1800.09/1800.12 c zirounding : 0.00 0 0
1800.09/1800.12 c rounding : 0.00 0 0
1800.09/1800.12 c shifting : 0.00 0 0
1800.09/1800.12 c intshifting : 0.00 0 0
1800.09/1800.12 c twoopt : 0.00 0 0
1800.09/1800.12 c fixandinfer : 0.00 0 0
1800.09/1800.12 c feaspump : 0.00 0 0
1800.09/1800.12 c coefdiving : 0.00 0 0
1800.09/1800.12 c pscostdiving : 0.00 0 0
1800.09/1800.12 c fracdiving : 0.00 0 0
1800.09/1800.12 c veclendiving : 0.00 0 0
1800.09/1800.12 c intdiving : 0.00 0 0
1800.09/1800.12 c actconsdiving : 0.00 0 0
1800.09/1800.12 c objpscostdiving : 0.00 0 0
1800.09/1800.12 c rootsoldiving : 0.00 0 0
1800.09/1800.12 c linesearchdiving : 0.00 0 0
1800.09/1800.12 c guideddiving : 0.00 0 0
1800.09/1800.12 c octane : 0.00 0 0
1800.09/1800.12 c rens : 0.00 0 0
1800.09/1800.12 c rins : 0.00 0 0
1800.09/1800.12 c localbranching : 0.00 0 0
1800.09/1800.12 c mutation : 0.00 0 0
1800.09/1800.12 c crossover : 0.00 0 0
1800.09/1800.12 c dins : 0.00 0 0
1800.09/1800.12 c undercover : 0.00 0 0
1800.09/1800.12 c nlp : 0.15 0 0
1800.09/1800.12 c trysol : 0.18 1 0
1800.09/1800.12 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.12 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.12 c dual LP : 0.00 0 0 0.00 -
1800.09/1800.12 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.12 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.12 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.12 c strong branching : 0.00 0 0 0.00 -
1800.09/1800.12 c (at root node) : - 0 0 0.00 -
1800.09/1800.12 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.12 c B&B Tree :
1800.09/1800.12 c number of runs : 1
1800.09/1800.12 c nodes : 1773291
1800.09/1800.12 c nodes (total) : 1773291
1800.09/1800.12 c nodes left : 916450
1800.09/1800.12 c max depth : 1000
1800.09/1800.12 c max depth (total): 1000
1800.09/1800.12 c backtracks : 284182 (16.0%)
1800.09/1800.12 c delayed cutoffs : 224148
1800.09/1800.12 c repropagations : 848718 (12184682 domain reductions, 202398 cutoffs)
1800.09/1800.12 c avg switch length: 15.95
1800.09/1800.12 c switching time : 546.68
1800.09/1800.12 c Solution :
1800.09/1800.12 c Solutions found : 11 (11 improvements)
1800.09/1800.12 c First Solution : +5.85000000000000e+02 (in run 1, after 30603 nodes, 10.21 seconds, depth 134, found by <relaxation>)
1800.09/1800.12 c Primal Bound : +4.00000000000000e+00 (in run 1, after 790551 nodes, 561.75 seconds, depth 44, found by <relaxation>)
1800.09/1800.12 c Dual Bound : +0.00000000000000e+00
1800.09/1800.12 c Gap : infinite
1800.09/1800.12 c Root Dual Bound : +0.00000000000000e+00
1800.09/1800.12 c Root Iterations : 0