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-2694187-1277909951.wbo>
0.00/0.03 c original problem has 2091 variables (1161 bin, 0 int, 0 impl, 930 cont) and 3638 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.00/0.04 c presolving:
0.00/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.00/0.08 c (round 2) 0 del vars, 110 del conss, 930 chg bounds, 57 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.00/0.09 c (round 3) 57 del vars, 168 del conss, 931 chg bounds, 58 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.09/0.10 c (round 4) 115 del vars, 229 del conss, 947 chg bounds, 118 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.09/0.11 c (round 5) 132 del vars, 266 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.09/0.12 c (round 6) 155 del vars, 273 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 1667 upgd conss, 1142 impls, 14 clqs
0.09/0.13 c (round 7) 162 del vars, 273 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 1667 upgd conss, 1142 impls, 14 clqs
0.09/0.18 c (0.1s) probing: 101/1080 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (8 rounds):
0.09/0.18 c 162 deleted vars, 273 deleted constraints, 954 tightened bounds, 0 added holes, 139 changed sides, 0 changed coefficients
0.09/0.18 c 1142 implications, 14 cliques
0.09/0.18 c presolved problem has 1929 variables (1080 bin, 0 int, 0 impl, 849 cont) and 3365 constraints
0.09/0.18 c 849 constraints of type <indicator>
0.09/0.18 c 1 constraints of type <knapsack>
0.09/0.18 c 14 constraints of type <setppc>
0.09/0.18 c 849 constraints of type <linear>
0.09/0.18 c 1652 constraints of type <logicor>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.13
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.98
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 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 | - |7608k| 0 | - |1929 |3365 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.69/2.77 c 2.6s| 10000 | 8681 | 0 | 0.0 | 14M|1040 | - |1929 |4555 | 0 | 0 | 0 |3296 | 0 | 0.000000e+00 | -- | Inf
5.69/5.75 c 5.5s| 20000 | 16652 | 0 | 0.0 | 21M|1040 | - |1929 |5084 | 0 | 0 | 0 |9000 | 0 | 0.000000e+00 | -- | Inf
8.49/8.51 o 128
8.49/8.51 c * 8.2s| 27926 | 21350 | 0 | 0.0 | 26M|1040 | - |1929 |5749 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
8.49/8.58 o 82
8.49/8.58 c * 8.2s| 28150 | 21356 | 0 | 0.0 | 26M|1040 | - |1929 |5663 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
9.10/9.16 o 34
9.10/9.16 c * 8.8s| 29899 | 22369 | 0 | 0.0 | 27M|1040 | - |1929 |4889 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
9.10/9.19 c 8.8s| 30000 | 22461 | 0 | 0.0 | 27M|1040 | - |1929 |4869 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
12.39/12.43 c 11.9s| 40000 | 30454 | 0 | 0.0 | 38M|1040 | - |1929 |5546 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
15.59/15.62 c 15.0s| 50000 | 38219 | 0 | 0.0 | 44M|1040 | - |1929 |6125 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
18.89/18.93 c 18.2s| 60000 | 45826 | 0 | 0.0 | 51M|1040 | - |1929 |6549 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
22.29/22.36 c 21.6s| 70000 | 53312 | 0 | 0.0 | 58M|1040 | - |1929 |6685 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
25.89/25.92 c 25.0s| 80000 | 60621 | 0 | 0.0 | 65M|1040 | - |1929 |7107 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
29.29/29.38 c 28.4s| 90000 | 67984 | 0 | 0.0 | 72M|1040 | - |1929 |7255 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
32.79/32.88 c 31.8s|100000 | 75282 | 0 | 0.0 | 78M|1040 | - |1929 |7695 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
36.40/36.49 c 35.3s|110000 | 82311 | 0 | 0.0 | 84M|1040 | - |1929 |7661 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
40.70/40.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.70/40.73 c 39.4s|120000 | 88248 | 0 | 0.0 | 91M|1040 | - |1929 |8650 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
45.59/45.64 c 44.2s|130000 | 93024 | 0 | 0.0 | 98M|1040 | - |1929 |9225 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
50.99/51.01 c 49.4s|140000 | 96741 | 0 | 0.0 | 106M|1040 | - |1929 | 10k| 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
57.69/57.78 c 56.0s|150000 | 97902 | 0 | 0.0 | 111M|1040 | - |1929 | 10k| 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
62.10/62.10 o 32
62.10/62.10 c *60.3s|155585 | 98717 | 0 | 0.0 | 114M|1040 | - |1929 | 11k| 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
62.10/62.18 o 21
62.10/62.18 c *60.4s|155769 | 98758 | 0 | 0.0 | 114M|1040 | - |1929 | 11k| 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
62.29/62.32 o 11
62.29/62.32 c *60.5s|156103 | 98945 | 0 | 0.0 | 114M|1040 | - |1929 |9310 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
63.59/63.62 c 61.8s|160000 |102263 | 0 | 0.0 | 116M|1040 | - |1929 |5762 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
63.69/63.75 o 8
63.69/63.75 c *61.9s|160378 |102539 | 0 | 0.0 | 116M|1040 | - |1929 |5696 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
64.69/64.79 o 5
64.69/64.79 c *62.9s|163385 |104925 | 0 | 0.0 | 119M|1040 | - |1929 |5768 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
67.19/67.23 c 65.2s|170000 |110175 | 0 | 0.0 | 126M|1040 | - |1929 |6683 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
72.09/72.11 c 70.0s|180000 |117078 | 0 | 0.0 | 138M|1040 | - |1929 |9305 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
77.50/77.59 c 75.3s|190000 |123609 | 0 | 0.0 | 148M|1040 | - |1929 |8942 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
82.19/82.27 c 79.8s|200000 |130593 | 0 | 0.0 | 161M|1040 | - |1929 | 10k| 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
86.69/86.79 c 84.2s|210000 |137411 | 0 | 0.0 | 171M|1040 | - |1929 | 12k| 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
90.10/90.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.10/90.11 c 87.4s|220000 |145684 | 0 | 0.0 | 177M|1040 | - |1929 | 10k| 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
94.39/94.40 c 91.6s|230000 |152583 | 0 | 0.0 | 184M|1040 | - |1929 | 12k| 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
99.00/99.04 c 96.2s|240000 |159469 | 0 | 0.0 | 192M|1040 | - |1929 |6379 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
103.19/103.23 c 100s|250000 |166129 | 0 | 0.0 | 199M|1040 | - |1929 |8137 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
107.29/107.34 c 104s|260000 |173033 | 0 | 0.0 | 206M|1040 | - |1929 |8749 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
111.49/111.58 c 108s|270000 |179801 | 0 | 0.0 | 213M|1040 | - |1929 |8953 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
116.29/116.38 c 113s|280000 |185964 | 0 | 0.0 | 220M|1040 | - |1929 |9468 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
121.20/121.29 c 118s|290000 |191986 | 0 | 0.0 | 227M|1040 | - |1929 |9484 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
126.19/126.29 c 123s|300000 |197886 | 0 | 0.0 | 234M|1040 | - |1929 |9624 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
131.19/131.27 c 128s|310000 |203785 | 0 | 0.0 | 241M|1040 | - |1929 |9704 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
136.19/136.22 c 132s|320000 |209671 | 0 | 0.0 | 248M|1040 | - |1929 |9539 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
141.09/141.13 c 137s|330000 |215612 | 0 | 0.0 | 255M|1040 | - |1929 |9339 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
146.40/146.43 c 142s|340000 |221124 | 0 | 0.0 | 262M|1040 | - |1929 |9916 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
151.80/151.84 c 148s|350000 |226472 | 0 | 0.0 | 270M|1040 | - |1929 | 10k| 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
157.10/157.12 c 153s|360000 |231952 | 0 | 0.0 | 277M|1040 | - |1929 |9959 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
162.49/162.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.49/162.52 c 158s|370000 |237318 | 0 | 0.0 | 284M|1040 | - |1929 | 10k| 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
168.30/168.37 c 164s|380000 |242203 | 0 | 0.0 | 291M|1040 | - |1929 | 10k| 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
174.20/174.29 c 170s|390000 |246915 | 0 | 0.0 | 298M|1040 | - |1929 | 10k| 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
179.99/180.08 c 175s|400000 |251850 | 0 | 0.0 | 305M|1040 | - |1929 | 10k| 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
186.10/186.14 c 181s|410000 |256357 | 0 | 0.0 | 312M|1040 | - |1929 | 10k| 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
192.30/192.35 c 187s|420000 |260553 | 0 | 0.0 | 318M|1040 | - |1929 | 10k| 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
198.60/198.65 c 193s|430000 |264826 | 0 | 0.0 | 325M|1040 | - |1929 | 10k| 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
205.09/205.16 c 200s|440000 |268823 | 0 | 0.0 | 331M|1040 | - |1929 | 10k| 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
211.89/211.98 c 207s|450000 |272360 | 0 | 0.0 | 338M|1040 | - |1929 | 11k| 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
218.80/218.82 c 213s|460000 |276028 | 0 | 0.0 | 344M|1040 | - |1929 | 10k| 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
225.90/225.98 c 220s|470000 |279514 | 0 | 0.0 | 351M|1040 | - |1929 | 11k| 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
233.40/233.41 c 228s|480000 |282926 | 0 | 0.0 | 357M|1040 | - |1929 | 12k| 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
240.90/240.93 c 235s|490000 |286345 | 0 | 0.0 | 363M|1040 | - |1929 | 13k| 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
248.70/248.74 c 243s|500000 |289517 | 0 | 0.0 | 369M|1040 | - |1929 | 12k| 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
257.19/257.21 c 251s|510000 |292241 | 0 | 0.0 | 375M|1040 | - |1929 | 13k| 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
265.89/265.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
265.89/265.91 c 260s|520000 |294834 | 0 | 0.0 | 381M|1040 | - |1929 | 13k| 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
274.80/274.88 c 268s|530000 |297494 | 0 | 0.0 | 387M|1040 | - |1929 | 14k| 0 | 0 | 0 | 576k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
284.20/284.28 c 278s|540000 |299902 | 0 | 0.0 | 393M|1040 | - |1929 | 14k| 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
293.70/293.71 c 287s|550000 |302447 | 0 | 0.0 | 398M|1040 | - |1929 | 15k| 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
303.80/303.83 c 297s|560000 |304541 | 0 | 0.0 | 403M|1040 | - |1929 | 15k| 0 | 0 | 0 | 635k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
314.40/314.45 c 307s|570000 |306397 | 0 | 0.0 | 409M|1040 | - |1929 | 17k| 0 | 0 | 0 | 656k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
325.70/325.73 c 318s|580000 |308093 | 0 | 0.0 | 414M|1040 | - |1929 | 17k| 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
338.50/338.57 c 331s|590000 |308726 | 0 | 0.0 | 419M|1040 | - |1929 | 18k| 0 | 0 | 0 | 701k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
352.10/352.15 c 344s|600000 |308925 | 0 | 0.0 | 423M|1040 | - |1929 | 18k| 0 | 0 | 0 | 726k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
367.10/367.13 c 359s|610000 |307972 | 0 | 0.0 | 426M|1040 | - |1929 | 18k| 0 | 0 | 0 | 754k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
383.00/383.09 c 375s|620000 |305872 | 0 | 0.0 | 426M|1040 | - |1929 | 21k| 0 | 0 | 0 | 783k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
388.60/388.60 c 380s|630000 |313185 | 0 | 0.0 | 430M|1040 | - |1929 |9610 | 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
392.90/392.99 c 385s|640000 |320888 | 0 | 0.0 | 439M|1040 | - |1929 |9442 | 0 | 0 | 0 | 797k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
397.50/397.58 c 389s|650000 |328380 | 0 | 0.0 | 449M|1040 | - |1929 |9910 | 0 | 0 | 0 | 804k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
401.60/401.64 c 393s|660000 |335695 | 0 | 0.0 | 454M|1040 | - |1929 |4887 | 0 | 0 | 0 | 808k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
401.70/401.80 o 2
401.70/401.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
401.70/401.80 c * 393s|660399 |330728 | 0 | 0.0 | 447M|1040 | - |1929 |4880 | 0 | 0 | 0 | 809k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
405.50/405.57 c 397s|670000 |337550 | 0 | 0.0 | 454M|1040 | - |1929 |5144 | 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
409.60/409.68 c 401s|680000 |344313 | 0 | 0.0 | 461M|1040 | - |1929 |5535 | 0 | 0 | 0 | 818k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
413.90/413.95 c 405s|690000 |350897 | 0 | 0.0 | 468M|1040 | - |1929 |5781 | 0 | 0 | 0 | 823k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
418.10/418.18 c 409s|700000 |357530 | 0 | 0.0 | 475M|1040 | - |1929 |5963 | 0 | 0 | 0 | 828k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
422.70/422.73 c 414s|710000 |363786 | 0 | 0.0 | 482M|1040 | - |1929 |6238 | 0 | 0 | 0 | 834k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
427.40/427.41 c 418s|720000 |369843 | 0 | 0.0 | 489M|1040 | - |1929 |6655 | 0 | 0 | 0 | 841k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
432.10/432.17 c 423s|730000 |375835 | 0 | 0.0 | 496M|1040 | - |1929 |6925 | 0 | 0 | 0 | 847k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
437.30/437.34 c 428s|740000 |381338 | 0 | 0.0 | 503M|1040 | - |1929 |7345 | 0 | 0 | 0 | 854k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
442.60/442.60 c 433s|750000 |386825 | 0 | 0.0 | 509M|1040 | - |1929 |7339 | 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
448.11/448.11 c 438s|760000 |391900 | 0 | 0.0 | 516M|1040 | - |1929 |8033 | 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
454.00/454.04 c 444s|770000 |396616 | 0 | 0.0 | 522M|1040 | - |1929 |8639 | 0 | 0 | 0 | 877k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
460.20/460.22 c 450s|780000 |401127 | 0 | 0.0 | 528M|1040 | - |1929 |8878 | 0 | 0 | 0 | 886k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
466.90/466.94 c 457s|790000 |404916 | 0 | 0.0 | 535M|1040 | - |1929 |9186 | 0 | 0 | 0 | 896k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
474.70/474.74 c 464s|800000 |407639 | 0 | 0.0 | 540M|1040 | - |1929 | 10k| 0 | 0 | 0 | 907k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
482.50/482.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
482.50/482.53 c 472s|810000 |410715 | 0 | 0.0 | 543M|1040 | - |1929 |6651 | 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
485.91/485.94 c 475s|820000 |418497 | 0 | 0.0 | 549M|1040 | - |1929 |5361 | 0 | 0 | 0 | 921k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
489.41/489.46 c 479s|830000 |426014 | 0 | 0.0 | 555M|1040 | - |1929 |5753 | 0 | 0 | 0 | 925k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
493.11/493.19 c 482s|840000 |433220 | 0 | 0.0 | 562M|1040 | - |1929 |6373 | 0 | 0 | 0 | 929k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
497.21/497.22 c 486s|850000 |440033 | 0 | 0.0 | 569M|1040 | - |1929 |7000 | 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
501.70/501.71 c 490s|860000 |446329 | 0 | 0.0 | 576M|1040 | - |1929 |7763 | 0 | 0 | 0 | 940k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
506.80/506.88 c 495s|870000 |451796 | 0 | 0.0 | 583M|1040 | - |1929 |8948 | 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
513.20/513.26 c 502s|880000 |455983 | 0 | 0.0 | 589M|1040 | - |1929 | 10k| 0 | 0 | 0 | 955k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
521.81/521.81 c 510s|890000 |457868 | 0 | 0.0 | 594M|1040 | - |1929 | 12k| 0 | 0 | 0 | 967k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
525.21/525.21 c 513s|900000 |465924 | 0 | 0.0 | 598M|1040 | - |1929 |5310 | 0 | 0 | 0 | 970k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
528.41/528.48 c 516s|910000 |473674 | 0 | 0.0 | 604M|1040 | - |1929 |5549 | 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
531.91/531.95 c 520s|920000 |481127 | 0 | 0.0 | 611M|1040 | - |1929 |6134 | 0 | 0 | 0 | 978k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
535.50/535.58 c 523s|930000 |488376 | 0 | 0.0 | 617M|1040 | - |1929 |6986 | 0 | 0 | 0 | 982k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
539.60/539.68 c 527s|940000 |495078 | 0 | 0.0 | 624M|1040 | - |1929 |7820 | 0 | 0 | 0 | 987k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
544.01/544.00 c 532s|950000 |501505 | 0 | 0.0 | 630M|1040 | - |1929 |8534 | 0 | 0 | 0 | 993k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
549.81/549.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
549.81/549.83 c 537s|960000 |506238 | 0 | 0.0 | 638M|1040 | - |1929 | 10k| 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
556.90/557.00 c 544s|970000 |509771 | 0 | 0.0 | 644M|1040 | - |1929 | 13k| 0 | 0 | 0 |1012k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
562.81/562.83 c 550s|980000 |515396 | 0 | 0.0 | 647M|1040 | - |1929 |6450 | 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
566.00/566.01 c 553s|990000 |523346 | 0 | 0.0 | 653M|1040 | - |1929 |5937 | 0 | 0 | 0 |1022k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
569.30/569.30 c 556s| 1000k|531095 | 0 | 0.0 | 659M|1040 | - |1929 |5667 | 0 | 0 | 0 |1026k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
572.60/572.65 c 559s| 1010k|538689 | 0 | 0.0 | 665M|1040 | - |1929 |5769 | 0 | 0 | 0 |1029k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
576.00/576.08 c 563s| 1020k|546143 | 0 | 0.0 | 671M|1040 | - |1929 |5822 | 0 | 0 | 0 |1033k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
579.61/579.64 c 566s| 1030k|553439 | 0 | 0.0 | 677M|1040 | - |1929 |6015 | 0 | 0 | 0 |1037k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
583.20/583.29 c 570s| 1040k|560562 | 0 | 0.0 | 683M|1040 | - |1929 |6257 | 0 | 0 | 0 |1042k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
587.10/587.11 c 573s| 1050k|567516 | 0 | 0.0 | 690M|1040 | - |1929 |6467 | 0 | 0 | 0 |1047k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
591.20/591.22 c 577s| 1060k|574083 | 0 | 0.0 | 696M|1040 | - |1929 |7015 | 0 | 0 | 0 |1052k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
595.80/595.86 c 582s| 1070k|580004 | 0 | 0.0 | 703M|1040 | - |1929 |7930 | 0 | 0 | 0 |1059k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
600.80/600.88 c 587s| 1080k|585577 | 0 | 0.0 | 709M|1040 | - |1929 |8530 | 0 | 0 | 0 |1065k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
606.11/606.13 c 592s| 1090k|591007 | 0 | 0.0 | 716M|1040 | - |1929 |9108 | 0 | 0 | 0 |1073k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
611.21/611.29 c 597s| 1100k|596539 | 0 | 0.0 | 722M|1040 | - |1929 |9342 | 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
616.70/616.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
616.70/616.74 c 602s| 1110k|601724 | 0 | 0.0 | 728M|1040 | - |1929 | 10k| 0 | 0 | 0 |1088k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
622.40/622.42 c 608s| 1120k|606795 | 0 | 0.0 | 735M|1040 | - |1929 | 11k| 0 | 0 | 0 |1096k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
628.91/628.90 c 614s| 1130k|611065 | 0 | 0.0 | 742M|1040 | - |1929 | 12k| 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
632.21/632.25 o 1
632.21/632.25 c * 617s| 1133k|238560 | 0 | 0.0 | 342M|1040 | - |1929 | 13k| 0 | 0 | 0 |1108k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
636.50/636.52 c 622s| 1140k|241615 | 0 | 0.0 | 345M|1040 | - |1929 |6381 | 0 | 0 | 0 |1114k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
642.51/642.56 c 627s| 1150k|245929 | 0 | 0.0 | 352M|1040 | - |1929 |7306 | 0 | 0 | 0 |1123k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
648.81/648.87 c 634s| 1160k|250035 | 0 | 0.0 | 358M|1040 | - |1929 |8625 | 0 | 0 | 0 |1132k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
655.21/655.28 c 640s| 1170k|254145 | 0 | 0.0 | 365M|1040 | - |1929 |8549 | 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
661.81/661.86 c 646s| 1180k|258011 | 0 | 0.0 | 371M|1040 | - |1929 |8745 | 0 | 0 | 0 |1150k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
668.41/668.46 c 653s| 1190k|261852 | 0 | 0.0 | 377M|1040 | - |1929 |8449 | 0 | 0 | 0 |1159k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
674.91/674.96 c 659s| 1200k|266001 | 0 | 0.0 | 384M|1040 | - |1929 |6499 | 0 | 0 | 0 |1167k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
681.71/681.71 c 666s| 1210k|269390 | 0 | 0.0 | 390M|1040 | - |1929 |8768 | 0 | 0 | 0 |1177k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
688.61/688.62 c 673s| 1220k|272821 | 0 | 0.0 | 396M|1040 | - |1929 |8343 | 0 | 0 | 0 |1187k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
695.40/695.45 c 679s| 1230k|276553 | 0 | 0.0 | 403M|1040 | - |1929 |9278 | 0 | 0 | 0 |1197k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
702.21/702.27 c 686s| 1240k|280034 | 0 | 0.0 | 408M|1040 | - |1929 |8435 | 0 | 0 | 0 |1206k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
709.31/709.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
709.31/709.38 c 693s| 1250k|283496 | 0 | 0.0 | 415M|1040 | - |1929 |9483 | 0 | 0 | 0 |1216k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
716.21/716.20 c 700s| 1260k|287418 | 0 | 0.0 | 421M|1040 | - |1929 |7016 | 0 | 0 | 0 |1226k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
723.71/723.73 c 707s| 1270k|290135 | 0 | 0.0 | 427M|1040 | - |1929 |9624 | 0 | 0 | 0 |1236k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
731.01/731.03 c 714s| 1280k|293688 | 0 | 0.0 | 433M|1040 | - |1929 |8580 | 0 | 0 | 0 |1246k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
738.71/738.75 c 722s| 1290k|295993 | 0 | 0.0 | 438M|1040 | - |1929 |9682 | 0 | 0 | 0 |1257k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
746.11/746.18 c 729s| 1300k|299334 | 0 | 0.0 | 445M|1040 | - |1929 |9910 | 0 | 0 | 0 |1268k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
753.21/753.20 c 736s| 1310k|302943 | 0 | 0.0 | 450M|1040 | - |1929 |7660 | 0 | 0 | 0 |1277k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
761.71/761.78 c 744s| 1320k|304740 | 0 | 0.0 | 456M|1040 | - |1929 | 10k| 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
769.01/769.07 c 751s| 1330k|308383 | 0 | 0.0 | 462M|1040 | - |1929 | 10k| 0 | 0 | 0 |1299k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
777.11/777.13 c 759s| 1340k|310567 | 0 | 0.0 | 466M|1040 | - |1929 |9757 | 0 | 0 | 0 |1311k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
785.51/785.59 c 768s| 1350k|312957 | 0 | 0.0 | 472M|1040 | - |1929 | 10k| 0 | 0 | 0 |1323k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
793.41/793.44 c 775s| 1360k|316226 | 0 | 0.0 | 479M|1040 | - |1929 | 10k| 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
802.41/802.42 c 784s| 1370k|317463 | 0 | 0.0 | 482M|1040 | - |1929 | 10k| 0 | 0 | 0 |1346k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
810.91/810.93 c 793s| 1380k|319913 | 0 | 0.0 | 489M|1040 | - |1929 | 11k| 0 | 0 | 0 |1357k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
819.11/819.16 c 801s| 1390k|322813 | 0 | 0.0 | 495M|1040 | - |1929 |9592 | 0 | 0 | 0 |1368k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
828.41/828.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
828.41/828.45 c 810s| 1400k|323773 | 0 | 0.0 | 498M|1040 | - |1929 | 10k| 0 | 0 | 0 |1382k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
837.32/837.34 c 819s| 1410k|325984 | 0 | 0.0 | 505M|1040 | - |1929 | 11k| 0 | 0 | 0 |1394k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
845.61/845.63 c 827s| 1420k|328890 | 0 | 0.0 | 510M|1040 | - |1929 |9801 | 0 | 0 | 0 |1405k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
855.11/855.16 c 836s| 1430k|329676 | 0 | 0.0 | 514M|1040 | - |1929 | 11k| 0 | 0 | 0 |1418k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
864.22/864.24 c 845s| 1440k|331663 | 0 | 0.0 | 520M|1040 | - |1929 | 11k| 0 | 0 | 0 |1430k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
872.81/872.82 c 854s| 1450k|334365 | 0 | 0.0 | 526M|1040 | - |1929 | 10k| 0 | 0 | 0 |1442k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
882.62/882.63 c 863s| 1460k|334922 | 0 | 0.0 | 529M|1040 | - |1929 | 11k| 0 | 0 | 0 |1456k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
892.41/892.45 c 873s| 1470k|336376 | 0 | 0.0 | 535M|1040 | - |1929 | 11k| 0 | 0 | 0 |1469k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
901.32/901.39 c 882s| 1480k|338860 | 0 | 0.0 | 541M|1040 | - |1929 | 10k| 0 | 0 | 0 |1480k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
912.32/912.32 c 892s| 1490k|338668 | 0 | 0.0 | 544M|1040 | - |1929 | 11k| 0 | 0 | 0 |1496k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
922.31/922.32 c 902s| 1500k|340129 | 0 | 0.0 | 550M|1040 | - |1929 | 11k| 0 | 0 | 0 |1509k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
931.51/931.57 c 911s| 1510k|342059 | 0 | 0.0 | 554M|1040 | - |1929 |9420 | 0 | 0 | 0 |1522k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
942.52/942.51 c 922s| 1520k|341731 | 0 | 0.0 | 557M|1040 | - |1929 | 11k| 0 | 0 | 0 |1537k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
952.11/952.13 c 932s| 1530k|343543 | 0 | 0.0 | 563M|1040 | - |1929 | 11k| 0 | 0 | 0 |1550k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
962.12/962.16 c 942s| 1540k|343894 | 0 | 0.0 | 566M|1040 | - |1929 | 10k| 0 | 0 | 0 |1565k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
972.82/972.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
972.82/972.88 c 952s| 1550k|344248 | 0 | 0.0 | 570M|1040 | - |1929 | 11k| 0 | 0 | 0 |1580k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
982.52/982.57 c 962s| 1560k|345619 | 0 | 0.0 | 575M|1040 | - |1929 |8205 | 0 | 0 | 0 |1594k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
994.02/994.05 c 973s| 1570k|344460 | 0 | 0.0 | 577M|1040 | - |1929 | 11k| 0 | 0 | 0 |1611k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1004.32/1004.31 c 983s| 1580k|345550 | 0 | 0.0 | 582M|1040 | - |1929 |9251 | 0 | 0 | 0 |1625k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1015.22/1015.28 c 994s| 1590k|344741 | 0 | 0.0 | 584M|1040 | - |1929 | 11k| 0 | 0 | 0 |1642k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1025.92/1025.95 c 1004s| 1600k|345354 | 0 | 0.0 | 589M|1040 | - |1929 | 10k| 0 | 0 | 0 |1657k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1037.22/1037.30 c 1016s| 1610k|344144 | 0 | 0.0 | 590M|1040 | - |1929 | 11k| 0 | 0 | 0 |1674k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1048.42/1048.42 c 1026s| 1620k|344358 | 0 | 0.0 | 595M|1040 | - |1929 | 10k| 0 | 0 | 0 |1689k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1060.02/1060.09 c 1038s| 1630k|342871 | 0 | 0.0 | 595M|1040 | - |1929 | 11k| 0 | 0 | 0 |1706k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1071.21/1071.24 c 1049s| 1640k|343204 | 0 | 0.0 | 599M|1040 | - |1929 |9454 | 0 | 0 | 0 |1722k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1083.32/1083.39 c 1061s| 1650k|341474 | 0 | 0.0 | 600M|1040 | - |1929 | 12k| 0 | 0 | 0 |1740k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1094.72/1094.77 c 1072s| 1660k|341213 | 0 | 0.0 | 603M|1040 | - |1929 | 11k| 0 | 0 | 0 |1756k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1107.52/1107.56 c 1085s| 1670k|339512 | 0 | 0.0 | 604M|1040 | - |1929 | 13k| 0 | 0 | 0 |1774k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1120.12/1120.14 c 1097s| 1680k|338386 | 0 | 0.0 | 605M|1040 | - |1929 | 12k| 0 | 0 | 0 |1791k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1132.42/1132.41 c 1109s| 1690k|337812 | 0 | 0.0 | 608M|1040 | - |1929 | 11k| 0 | 0 | 0 |1808k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1145.62/1145.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1145.62/1145.65 c 1122s| 1700k|335748 | 0 | 0.0 | 609M|1040 | - |1929 | 13k| 0 | 0 | 0 |1827k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1158.92/1158.97 c 1136s| 1710k|334107 | 0 | 0.0 | 609M|1040 | - |1929 | 13k| 0 | 0 | 0 |1845k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1172.63/1172.69 c 1149s| 1720k|332258 | 0 | 0.0 | 609M|1040 | - |1929 | 13k| 0 | 0 | 0 |1863k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1187.12/1187.17 c 1163s| 1730k|329854 | 0 | 0.0 | 609M|1040 | - |1929 | 14k| 0 | 0 | 0 |1882k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1202.23/1202.29 c 1178s| 1740k|327096 | 0 | 0.0 | 608M|1040 | - |1929 | 14k| 0 | 0 | 0 |1902k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1218.12/1218.15 c 1194s| 1750k|323770 | 0 | 0.0 | 606M|1040 | - |1929 | 15k| 0 | 0 | 0 |1923k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1234.92/1234.94 c 1211s| 1760k|319979 | 0 | 0.0 | 602M|1040 | - |1929 | 16k| 0 | 0 | 0 |1944k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1252.43/1252.43 c 1228s| 1770k|315377 | 0 | 0.0 | 595M|1040 | - |1929 | 15k| 0 | 0 | 0 |1967k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1269.83/1269.80 c 1245s| 1780k|310677 | 0 | 0.0 | 587M|1040 | - |1929 | 14k| 0 | 0 | 0 |1991k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1285.93/1285.94 c 1261s| 1790k|309009 | 0 | 0.0 | 590M|1040 | - |1929 | 17k| 0 | 0 | 0 |2009k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1304.12/1304.14 c 1279s| 1800k|307428 | 0 | 0.0 | 594M|1040 | - |1929 | 19k| 0 | 0 | 0 |2026k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1324.22/1324.20 c 1299s| 1810k|305335 | 0 | 0.0 | 598M|1040 | - |1929 | 20k| 0 | 0 | 0 |2044k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1344.93/1344.96 c 1320s| 1820k|302936 | 0 | 0.0 | 600M|1040 | - |1929 | 20k| 0 | 0 | 0 |2062k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1366.53/1366.57 c 1341s| 1830k|299885 | 0 | 0.0 | 600M|1040 | - |1929 | 20k| 0 | 0 | 0 |2081k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1386.32/1386.32 c 1361s| 1840k|298159 | 0 | 0.0 | 604M|1040 | - |1929 | 19k| 0 | 0 | 0 |2098k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1407.33/1407.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1407.33/1407.39 c 1381s| 1850k|295273 | 0 | 0.0 | 605M|1040 | - |1929 | 20k| 0 | 0 | 0 |2117k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1427.52/1427.53 c 1401s| 1860k|292456 | 0 | 0.0 | 603M|1040 | - |1929 | 19k| 0 | 0 | 0 |2136k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1446.53/1446.58 c 1420s| 1870k|290782 | 0 | 0.0 | 608M|1040 | - |1929 | 18k| 0 | 0 | 0 |2153k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1467.62/1467.67 c 1441s| 1880k|287065 | 0 | 0.0 | 605M|1040 | - |1929 | 20k| 0 | 0 | 0 |2173k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1486.73/1486.74 c 1460s| 1890k|285442 | 0 | 0.0 | 610M|1040 | - |1929 | 19k| 0 | 0 | 0 |2191k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1508.83/1508.85 c 1482s| 1900k|281422 | 0 | 0.0 | 606M|1040 | - |1929 | 20k| 0 | 0 | 0 |2212k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1529.13/1529.18 c 1502s| 1910k|279213 | 0 | 0.0 | 610M|1040 | - |1929 | 20k| 0 | 0 | 0 |2231k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1552.73/1552.70 c 1526s| 1920k|274545 | 0 | 0.0 | 605M|1040 | - |1929 | 20k| 0 | 0 | 0 |2252k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1573.33/1573.30 c 1546s| 1930k|271904 | 0 | 0.0 | 607M|1040 | - |1929 | 20k| 0 | 0 | 0 |2272k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1596.93/1596.94 c 1569s| 1940k|267328 | 0 | 0.0 | 603M|1040 | - |1929 | 20k| 0 | 0 | 0 |2293k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1618.83/1618.83 c 1591s| 1950k|263869 | 0 | 0.0 | 602M|1040 | - |1929 | 21k| 0 | 0 | 0 |2314k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1643.53/1643.56 c 1616s| 1960k|259297 | 0 | 0.0 | 599M|1040 | - |1929 | 21k| 0 | 0 | 0 |2335k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1667.64/1667.65 c 1640s| 1970k|255085 | 0 | 0.0 | 595M|1040 | - |1929 | 22k| 0 | 0 | 0 |2356k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1692.53/1692.58 c 1664s| 1980k|250734 | 0 | 0.0 | 593M|1040 | - |1929 | 22k| 0 | 0 | 0 |2378k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1718.44/1718.42 c 1690s| 1990k|246117 | 0 | 0.0 | 588M|1040 | - |1929 | 24k| 0 | 0 | 0 |2400k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1744.83/1744.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1744.83/1744.89 c 1716s| 2000k|241732 | 0 | 0.0 | 586M|1040 | - |1929 | 24k| 0 | 0 | 0 |2421k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1771.64/1771.60 c 1743s| 2010k|236574 | 0 | 0.0 | 579M|1040 | - |1929 | 24k| 0 | 0 | 0 |2444k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1797.84/1797.84 c 1769s| 2020k|232312 | 0 | 0.0 | 577M|1040 | - |1929 | 24k| 0 | 0 | 0 |2465k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1771.08
1800.05/1800.00 c Solving Nodes : 2020780
1800.05/1800.00 c Primal Bound : +1.00000000000000e+00 (10 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.01 s SATISFIABLE
1800.05/1800.01 v -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 x210
1800.05/1800.01 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.05/1800.01 v -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168
1800.05/1800.01 v -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147
1800.05/1800.01 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125
1800.05/1800.01 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.05/1800.01 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.05/1800.01 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 -x54
1800.05/1800.01 v -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.05/1800.01 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.05/1800.01 v -x1
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time : 1771.08
1800.05/1800.01 c Original Problem :
1800.05/1800.01 c Problem name : HOME/instance-2694187-1277909951.wbo
1800.05/1800.01 c Variables : 2091 (1161 binary, 0 integer, 0 implicit integer, 930 continuous)
1800.05/1800.01 c Constraints : 3638 initial, 3638 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-2694187-1277909951.wbo
1800.05/1800.01 c Variables : 1929 (1080 binary, 0 integer, 0 implicit integer, 849 continuous)
1800.05/1800.01 c Constraints : 3365 initial, 25091 maximal
1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.01 c trivial : 0.00 81 0 0 0 0 0 0 0
1800.05/1800.01 c dualfix : 0.00 81 0 0 0 0 0 0 0
1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 0.00 0 0 0 0 0 81 0 0
1800.05/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c linear : 0.08 0 0 0 954 0 192 139 0
1800.05/1800.01 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.05/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c root node : - 822 - - 1644 - - - -
1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 849 0 1607629 0 510086 5 432393 0 0 0
1800.05/1800.01 c knapsack : 1 0 6878971 0 1506383 190191 21283189 0 0 0
1800.05/1800.01 c setppc : 14 0 6716962 0 1506296 137599 5703336 0 0 0
1800.05/1800.01 c linear : 849 0 6579544 0 1506384 127394 9459216 0 0 0
1800.05/1800.01 c logicor : 1652+ 0 5173475 0 1506394 337255 14614791 0 0 0
1800.05/1800.01 c bounddisjunction : 0+ 0 11277 0 0 0 2 0 0 0
1800.05/1800.01 c countsols : 0 0 0 0 1506391 0 0 0 0 0
1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.01 c indicator : 1.10 0.00 0.74 0.00 0.36
1800.05/1800.01 c knapsack : 99.40 0.00 96.11 0.00 3.29
1800.05/1800.01 c setppc : 31.40 0.00 27.98 0.00 3.42
1800.05/1800.01 c linear : 124.29 0.00 123.24 0.00 1.05
1800.05/1800.01 c logicor : 625.79 0.00 557.06 0.00 68.73
1800.05/1800.01 c bounddisjunction : 0.02 0.00 0.02 0.00 0.00
1800.05/1800.01 c countsols : 0.35 0.00 0.00 0.00 0.35
1800.05/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.01 c vbounds : 1.81 2 0 0
1800.05/1800.01 c rootredcost : 1.94 0 0 0
1800.05/1800.01 c pseudoobj : 125.99 6907257 60 431100
1800.05/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.01 c propagation : 29.95 792499 792378 4039902 21.4 184043 10.1 -
1800.05/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c pseudo solution : 0.01 9 9 45 25.0 12 11.8 -
1800.05/1800.01 c applied globally : - - - 2467578 19.3 - - -
1800.05/1800.01 c applied locally : - - - 7 111.4 - - -
1800.05/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.01 c redcost : 0.00 0 0 0 0 0
1800.05/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.01 c intobj : 0.00 0 0 0 0 0
1800.05/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.01 c gomory : 0.00 0 0 0 0 0
1800.05/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.01 c cmir : 0.00 0 0 0 0 0
1800.05/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.01 c clique : 0.00 0 0 0 0 0
1800.05/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.01 c mcf : 0.00 0 0 0 0 0
1800.05/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.01 c Pricers : Time Calls Vars
1800.05/1800.01 c problem variables: 0.00 0 0
1800.05/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c inference : 19.29 1506381 0 0 0 0 3012762
1800.05/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c random : 0.00 0 0 0 0 0 0
1800.05/1800.01 c Primal Heuristics : Time Calls Found
1800.05/1800.01 c LP solutions : 0.00 - 0
1800.05/1800.01 c pseudo solutions : 0.79 - 10
1800.05/1800.01 c oneopt : 0.90 0 0
1800.05/1800.01 c trivial : 0.00 2 0
1800.05/1800.01 c simplerounding : 0.00 0 0
1800.05/1800.01 c zirounding : 0.00 0 0
1800.05/1800.01 c rounding : 0.00 0 0
1800.05/1800.01 c shifting : 0.00 0 0
1800.05/1800.01 c intshifting : 0.00 0 0
1800.05/1800.01 c twoopt : 0.00 0 0
1800.05/1800.01 c fixandinfer : 0.00 0 0
1800.05/1800.01 c feaspump : 0.00 0 0
1800.05/1800.01 c coefdiving : 0.00 0 0
1800.05/1800.01 c pscostdiving : 0.00 0 0
1800.05/1800.01 c fracdiving : 0.00 0 0
1800.05/1800.01 c veclendiving : 0.00 0 0
1800.05/1800.01 c intdiving : 0.00 0 0
1800.05/1800.01 c actconsdiving : 0.00 0 0
1800.05/1800.01 c objpscostdiving : 0.00 0 0
1800.05/1800.01 c rootsoldiving : 0.00 0 0
1800.05/1800.01 c linesearchdiving : 0.00 0 0
1800.05/1800.01 c guideddiving : 0.00 0 0
1800.05/1800.01 c octane : 0.00 0 0
1800.05/1800.01 c rens : 0.00 0 0
1800.05/1800.01 c rins : 0.00 0 0
1800.05/1800.01 c localbranching : 0.00 0 0
1800.05/1800.01 c mutation : 0.00 0 0
1800.05/1800.01 c crossover : 0.00 0 0
1800.05/1800.01 c dins : 0.00 0 0
1800.05/1800.01 c undercover : 0.00 0 0
1800.05/1800.01 c nlp : 0.52 0 0
1800.05/1800.01 c trysol : 0.53 1 0
1800.05/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.01 c (at root node) : - 0 0 0.00 -
1800.05/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.01 c B&B Tree :
1800.05/1800.01 c number of runs : 1
1800.05/1800.01 c nodes : 2020780
1800.05/1800.01 c nodes (total) : 2020780
1800.05/1800.01 c nodes left : 231902
1800.05/1800.01 c max depth : 1040
1800.05/1800.01 c max depth (total): 1040
1800.05/1800.01 c backtracks : 526252 (26.0%)
1800.05/1800.01 c delayed cutoffs : 380075
1800.05/1800.01 c repropagations : 1559709 (14682929 domain reductions, 278124 cutoffs)
1800.05/1800.01 c avg switch length: 18.19
1800.05/1800.01 c switching time : 544.85
1800.05/1800.01 c Solution :
1800.05/1800.01 c Solutions found : 10 (10 improvements)
1800.05/1800.01 c First Solution : +1.28000000000000e+02 (in run 1, after 27926 nodes, 8.17 seconds, depth 363, found by <relaxation>)
1800.05/1800.01 c Primal Bound : +1.00000000000000e+00 (in run 1, after 1133308 nodes, 616.59 seconds, depth 901, found by <relaxation>)
1800.05/1800.01 c Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Gap : infinite
1800.05/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Root Iterations : 0
1801.04/1801.06 c Time complete: 1801.11.