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-2693956-1277898445.wbo>
0.00/0.00 c original problem has 307 variables (238 bin, 0 int, 0 impl, 69 cont) and 171 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 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.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01 c (round 2) 0 del vars, 4 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01 c (round 3) 1 del vars, 5 del conss, 68 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01 c (round 4) 2 del vars, 5 del conss, 68 chg bounds, 1 chg sides, 0 chg coeffs, 30 upgd conss, 75 impls, 20 clqs
0.00/0.02 c (0.0s) probing: 101/237 (42.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (5 rounds):
0.00/0.02 c 2 deleted vars, 5 deleted constraints, 68 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 75 implications, 20 cliques
0.00/0.02 c presolved problem has 305 variables (237 bin, 0 int, 0 impl, 68 cont) and 166 constraints
0.00/0.02 c 68 constraints of type <indicator>
0.00/0.02 c 20 constraints of type <setppc>
0.00/0.02 c 68 constraints of type <linear>
0.00/0.02 c 10 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - | 950k| 0 | - | 305 | 166 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.00/1.08 c 0.8s| 10000 | 7225 | 0 | 0.0 |6650k| 168 | - | 305 |3406 | 0 | 0 | 0 |6668 | 0 | 0.000000e+00 | -- | Inf
2.69/2.77 c 2.3s| 20000 | 12963 | 0 | 0.0 | 11M| 168 | - | 305 |5127 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
5.09/5.12 c 4.4s| 30000 | 18096 | 0 | 0.0 | 17M| 168 | - | 305 | 10k| 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
8.59/8.63 c 7.6s| 40000 | 21810 | 0 | 0.0 | 23M| 168 | - | 305 | 12k| 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
12.49/12.53 c 11.2s| 50000 | 25022 | 0 | 0.0 | 28M| 168 | - | 305 | 15k| 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
16.79/16.83 c 15.2s| 60000 | 27632 | 0 | 0.0 | 30M| 168 | - | 305 | 12k| 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
18.79/18.89 c 17.0s| 70000 | 34053 | 0 | 0.0 | 33M| 168 | - | 305 |6487 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
18.89/18.93 o 143
18.89/18.93 c *17.0s| 70716 | 34696 | 0 | 0.0 | 33M| 168 | - | 305 |5948 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
20.80/20.83 c 18.7s| 80000 | 40007 | 0 | 0.0 | 37M| 168 | - | 305 |8325 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
25.29/25.38 c 22.9s| 90000 | 42456 | 0 | 0.0 | 43M| 168 | - | 305 | 15k| 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
31.79/31.82 c 29.1s|100000 | 44178 | 0 | 0.0 | 49M| 168 | - | 305 | 21k| 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
40.70/40.75 c 37.6s|110000 | 44936 | 0 | 0.0 | 54M| 168 | - | 305 | 26k| 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
50.30/50.35 c 46.9s|120000 | 45579 | 0 | 0.0 | 58M| 168 | - | 305 | 30k| 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
60.59/60.66 c 56.9s|130000 | 45959 | 0 | 0.0 | 61M| 168 | - | 305 | 33k| 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
72.39/72.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
72.39/72.47 c 68.3s|140000 | 45098 | 0 | 0.0 | 64M| 168 | - | 305 | 37k| 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
81.80/81.82 c 77.3s|150000 | 47915 | 0 | 0.0 | 59M| 168 | - | 305 | 14k| 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
84.29/84.37 c 79.6s|160000 | 54855 | 0 | 0.0 | 62M| 168 | - | 305 |8927 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
86.90/86.95 c 81.9s|170000 | 61172 | 0 | 0.0 | 66M| 168 | - | 305 |9743 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
90.20/90.22 c 84.9s|180000 | 66431 | 0 | 0.0 | 71M| 168 | - | 305 | 11k| 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
94.39/94.50 c 88.9s|190000 | 70414 | 0 | 0.0 | 75M| 168 | - | 305 | 13k| 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
98.00/98.09 c 92.2s|200000 | 75881 | 0 | 0.0 | 75M| 168 | - | 305 |1591 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
98.29/98.37 o 141
98.29/98.37 c *92.3s|203179 | 78771 | 0 | 0.0 | 76M| 168 | - | 305 |1596 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 1.410000e+02 | Inf
98.50/98.54 o 136
98.50/98.54 c *92.5s|205157 | 80536 | 0 | 0.0 | 77M| 168 | - | 305 |1726 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 1.360000e+02 | Inf
98.60/98.66 o 125
98.60/98.66 c *92.6s|206427 | 81504 | 0 | 0.0 | 77M| 168 | - | 305 |1792 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
98.79/98.90 o 116
98.79/98.90 c *92.8s|209023 | 83654 | 0 | 0.0 | 78M| 168 | - | 305 |1899 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 1.160000e+02 | Inf
98.90/98.99 c 92.8s|210000 | 84542 | 0 | 0.0 | 79M| 168 | - | 305 |1937 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 1.160000e+02 | Inf
99.09/99.11 o 110
99.09/99.11 c *92.9s|211209 | 85389 | 0 | 0.0 | 79M| 168 | - | 305 |2009 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 1.100000e+02 | Inf
99.69/99.70 o 100
99.69/99.70 c *93.4s|217266 | 90445 | 0 | 0.0 | 81M| 168 | - | 305 |2366 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
99.89/99.98 c 93.6s|220000 | 92781 | 0 | 0.0 | 83M| 168 | - | 305 |2533 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
100.39/100.41 o 79
100.39/100.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
100.39/100.41 c *93.9s|223950 | 93725 | 0 | 0.0 | 83M| 168 | - | 305 |2766 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
100.39/100.48 o 76
100.39/100.48 c *94.0s|224532 | 94123 | 0 | 0.0 | 83M| 168 | - | 305 |2826 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
100.59/100.63 o 73
100.59/100.63 c *94.1s|225701 | 93461 | 0 | 0.0 | 83M| 168 | - | 305 |2984 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
101.10/101.18 c 94.6s|230000 | 96825 | 0 | 0.0 | 85M| 168 | - | 305 |3065 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
102.90/102.95 c 96.0s|240000 |103457 | 0 | 0.0 | 91M| 168 | - | 305 |5279 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
109.69/109.72 c 102s|250000 |102442 | 0 | 0.0 | 97M| 168 | - | 305 | 18k| 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
122.19/122.22 c 115s|260000 |100449 | 0 | 0.0 | 101M| 168 | - | 305 | 28k| 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
139.60/139.70 c 132s|270000 | 97223 | 0 | 0.0 | 101M| 168 | - | 305 | 36k| 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
159.50/159.52 c 151s|280000 | 92735 | 0 | 0.0 | 99M| 168 | - | 305 | 42k| 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
179.59/179.66 c 171s|290000 | 90023 | 0 | 0.0 | 91M| 168 | - | 305 | 30k| 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
186.10/186.12 c 177s|300000 | 95338 | 0 | 0.0 | 90M| 168 | - | 305 | 16k| 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
190.99/191.06 c 182s|310000 |100527 | 0 | 0.0 | 95M| 168 | - | 305 | 15k| 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
196.20/196.23 c 186s|320000 |105295 | 0 | 0.0 | 99M| 168 | - | 305 | 16k| 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
201.60/201.67 c 191s|330000 |109762 | 0 | 0.0 | 104M| 168 | - | 305 | 17k| 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
207.81/207.81 c 197s|340000 |113481 | 0 | 0.0 | 109M| 168 | - | 305 | 18k| 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
214.30/214.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
214.30/214.39 c 204s|350000 |116865 | 0 | 0.0 | 113M| 168 | - | 305 | 19k| 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
221.69/221.70 c 210s|360000 |119643 | 0 | 0.0 | 117M| 168 | - | 305 | 21k| 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
229.49/229.57 c 218s|370000 |122200 | 0 | 0.0 | 121M| 168 | - | 305 | 23k| 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
238.20/238.24 c 226s|380000 |124416 | 0 | 0.0 | 125M| 168 | - | 305 | 24k| 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
248.29/248.38 c 236s|390000 |125603 | 0 | 0.0 | 129M| 168 | - | 305 | 26k| 0 | 0 | 0 | 536k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
259.20/259.21 c 247s|400000 |126282 | 0 | 0.0 | 132M| 168 | - | 305 | 28k| 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
267.79/267.84 c 255s|410000 |129559 | 0 | 0.0 | 127M| 168 | - | 305 |9089 | 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
269.59/269.64 c 256s|420000 |137379 | 0 | 0.0 | 131M| 168 | - | 305 |5477 | 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
271.50/271.56 c 258s|430000 |145043 | 0 | 0.0 | 136M| 168 | - | 305 |7588 | 0 | 0 | 0 | 575k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
273.80/273.85 c 260s|440000 |152512 | 0 | 0.0 | 141M| 168 | - | 305 |9395 | 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
276.40/276.41 c 262s|450000 |159945 | 0 | 0.0 | 146M| 168 | - | 305 | 11k| 0 | 0 | 0 | 585k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
279.20/279.27 c 265s|460000 |167290 | 0 | 0.0 | 150M| 168 | - | 305 | 12k| 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
282.19/282.28 c 268s|470000 |174605 | 0 | 0.0 | 155M| 168 | - | 305 | 13k| 0 | 0 | 0 | 595k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
285.50/285.51 c 271s|480000 |181798 | 0 | 0.0 | 159M| 168 | - | 305 | 13k| 0 | 0 | 0 | 600k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
289.20/289.30 c 274s|490000 |188710 | 0 | 0.0 | 162M| 168 | - | 305 |7113 | 0 | 0 | 0 | 606k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
291.70/291.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
291.70/291.73 c 276s|500000 |195669 | 0 | 0.0 | 165M| 168 | - | 305 |6529 | 0 | 0 | 0 | 610k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
294.00/294.02 c 278s|510000 |202477 | 0 | 0.0 | 169M| 168 | - | 305 |6410 | 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
296.20/296.25 c 280s|520000 |209238 | 0 | 0.0 | 173M| 168 | - | 305 |6618 | 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
298.49/298.51 c 282s|530000 |215943 | 0 | 0.0 | 178M| 168 | - | 305 |6654 | 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
300.80/300.89 c 284s|540000 |222407 | 0 | 0.0 | 182M| 168 | - | 305 |6682 | 0 | 0 | 0 | 630k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
303.20/303.23 c 286s|550000 |228842 | 0 | 0.0 | 186M| 168 | - | 305 |7187 | 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
305.59/305.69 c 288s|560000 |235149 | 0 | 0.0 | 191M| 168 | - | 305 |7259 | 0 | 0 | 0 | 642k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
308.00/308.05 c 290s|570000 |241593 | 0 | 0.0 | 195M| 168 | - | 305 |7022 | 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
310.59/310.64 c 293s|580000 |247581 | 0 | 0.0 | 200M| 168 | - | 305 |7472 | 0 | 0 | 0 | 653k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
313.19/313.28 c 295s|590000 |253422 | 0 | 0.0 | 204M| 168 | - | 305 |7804 | 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
316.10/316.11 c 298s|600000 |259021 | 0 | 0.0 | 209M| 168 | - | 305 |8070 | 0 | 0 | 0 | 666k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
319.00/319.07 c 300s|610000 |264408 | 0 | 0.0 | 213M| 168 | - | 305 |8534 | 0 | 0 | 0 | 672k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
322.31/322.31 c 303s|620000 |269348 | 0 | 0.0 | 218M| 168 | - | 305 |8853 | 0 | 0 | 0 | 679k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
326.19/326.24 c 307s|630000 |273083 | 0 | 0.0 | 222M| 168 | - | 305 |9921 | 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
330.79/330.85 c 311s|640000 |273818 | 0 | 0.0 | 217M| 168 | - | 305 |7623 | 0 | 0 | 0 | 701k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
333.50/333.50 o 52
333.50/333.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
333.50/333.50 c * 313s|642981 |260524 | 0 | 0.0 | 198M| 168 | - | 305 |9105 | 0 | 0 | 0 | 708k| 0 | 0.000000e+00 | 5.200000e+01 | Inf
336.80/336.84 c 316s|650000 |261702 | 0 | 0.0 | 198M| 168 | - | 305 |7605 | 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | 5.200000e+01 | Inf
342.80/342.83 c 322s|660000 |263050 | 0 | 0.0 | 201M| 168 | - | 305 | 10k| 0 | 0 | 0 | 742k| 0 | 0.000000e+00 | 5.200000e+01 | Inf
350.00/350.08 c 329s|670000 |264103 | 0 | 0.0 | 205M| 168 | - | 305 | 13k| 0 | 0 | 0 | 763k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
358.39/358.45 c 337s|680000 |264970 | 0 | 0.0 | 209M| 168 | - | 305 | 18k| 0 | 0 | 0 | 783k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
365.90/365.95 o 45
365.90/365.95 c * 344s|688027 |256830 | 0 | 0.0 | 202M| 168 | - | 305 | 18k| 0 | 0 | 0 | 799k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
368.10/368.16 c 346s|690000 |256588 | 0 | 0.0 | 202M| 168 | - | 305 | 18k| 0 | 0 | 0 | 804k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
378.41/378.47 c 356s|700000 |256889 | 0 | 0.0 | 206M| 168 | - | 305 | 22k| 0 | 0 | 0 | 824k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
390.50/390.52 c 368s|710000 |256516 | 0 | 0.0 | 209M| 168 | - | 305 | 22k| 0 | 0 | 0 | 844k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
404.10/404.10 c 381s|720000 |255228 | 0 | 0.0 | 211M| 168 | - | 305 | 26k| 0 | 0 | 0 | 866k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
419.59/419.64 c 396s|730000 |253406 | 0 | 0.0 | 213M| 168 | - | 305 | 28k| 0 | 0 | 0 | 888k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
435.89/435.96 c 412s|740000 |251616 | 0 | 0.0 | 215M| 168 | - | 305 | 30k| 0 | 0 | 0 | 909k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
454.21/454.22 c 430s|750000 |248669 | 0 | 0.0 | 215M| 168 | - | 305 | 33k| 0 | 0 | 0 | 930k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
473.01/473.09 c 448s|760000 |245499 | 0 | 0.0 | 214M| 168 | - | 305 | 34k| 0 | 0 | 0 | 952k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
490.20/490.25 c 465s|770000 |243696 | 0 | 0.0 | 207M| 168 | - | 305 | 15k| 0 | 0 | 0 | 970k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
493.50/493.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
493.50/493.55 c 468s|780000 |249931 | 0 | 0.0 | 209M| 168 | - | 305 |6029 | 0 | 0 | 0 | 979k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
496.50/496.57 c 471s|790000 |255642 | 0 | 0.0 | 214M| 168 | - | 305 |6837 | 0 | 0 | 0 | 988k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
499.70/499.79 c 473s|800000 |261293 | 0 | 0.0 | 220M| 168 | - | 305 |7471 | 0 | 0 | 0 | 998k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
502.90/502.94 c 476s|810000 |267077 | 0 | 0.0 | 225M| 168 | - | 305 |8723 | 0 | 0 | 0 |1007k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
506.40/506.45 c 480s|820000 |272556 | 0 | 0.0 | 230M| 168 | - | 305 |9553 | 0 | 0 | 0 |1017k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
509.80/509.87 c 483s|830000 |278261 | 0 | 0.0 | 235M| 168 | - | 305 | 10k| 0 | 0 | 0 |1026k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
513.30/513.32 c 486s|840000 |283986 | 0 | 0.0 | 240M| 168 | - | 305 | 10k| 0 | 0 | 0 |1035k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
516.80/516.85 c 489s|850000 |289390 | 0 | 0.0 | 244M| 168 | - | 305 | 10k| 0 | 0 | 0 |1043k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
520.40/520.45 c 492s|860000 |294689 | 0 | 0.0 | 249M| 168 | - | 305 | 11k| 0 | 0 | 0 |1052k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
524.20/524.27 c 496s|870000 |300068 | 0 | 0.0 | 253M| 168 | - | 305 | 11k| 0 | 0 | 0 |1061k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
528.10/528.14 c 499s|880000 |305433 | 0 | 0.0 | 258M| 168 | - | 305 | 12k| 0 | 0 | 0 |1069k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
531.90/531.97 c 503s|890000 |310879 | 0 | 0.0 | 263M| 168 | - | 305 | 13k| 0 | 0 | 0 |1078k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
536.20/536.27 c 507s|900000 |316106 | 0 | 0.0 | 267M| 168 | - | 305 | 13k| 0 | 0 | 0 |1087k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
540.70/540.72 c 511s|910000 |321288 | 0 | 0.0 | 272M| 168 | - | 305 | 13k| 0 | 0 | 0 |1095k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
544.70/544.75 c 515s|920000 |326608 | 0 | 0.0 | 277M| 168 | - | 305 | 15k| 0 | 0 | 0 |1104k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
549.40/549.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
549.40/549.40 c 519s|930000 |331596 | 0 | 0.0 | 281M| 168 | - | 305 | 15k| 0 | 0 | 0 |1113k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
554.20/554.24 c 524s|940000 |336350 | 0 | 0.0 | 286M| 168 | - | 305 | 14k| 0 | 0 | 0 |1123k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
558.50/558.53 c 528s|950000 |341390 | 0 | 0.0 | 291M| 168 | - | 305 | 15k| 0 | 0 | 0 |1132k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
563.50/563.54 c 532s|960000 |345774 | 0 | 0.0 | 295M| 168 | - | 305 | 14k| 0 | 0 | 0 |1141k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
568.30/568.34 c 537s|970000 |350288 | 0 | 0.0 | 300M| 168 | - | 305 | 15k| 0 | 0 | 0 |1151k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
573.21/573.28 c 541s|980000 |354675 | 0 | 0.0 | 304M| 168 | - | 305 | 15k| 0 | 0 | 0 |1161k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
578.50/578.52 c 546s|990000 |358886 | 0 | 0.0 | 309M| 168 | - | 305 | 15k| 0 | 0 | 0 |1172k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
583.40/583.40 c 551s| 1000k|363424 | 0 | 0.0 | 314M| 168 | - | 305 | 16k| 0 | 0 | 0 |1181k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
589.00/589.09 c 556s| 1010k|367164 | 0 | 0.0 | 318M| 168 | - | 305 | 15k| 0 | 0 | 0 |1192k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
594.70/594.78 c 562s| 1020k|371031 | 0 | 0.0 | 323M| 168 | - | 305 | 16k| 0 | 0 | 0 |1203k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
599.90/599.98 c 566s| 1030k|375373 | 0 | 0.0 | 328M| 168 | - | 305 | 16k| 0 | 0 | 0 |1213k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
606.10/606.12 c 572s| 1040k|378775 | 0 | 0.0 | 333M| 168 | - | 305 | 16k| 0 | 0 | 0 |1225k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
612.11/612.13 c 578s| 1050k|382397 | 0 | 0.0 | 337M| 168 | - | 305 | 16k| 0 | 0 | 0 |1236k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
617.80/617.89 c 583s| 1060k|386177 | 0 | 0.0 | 342M| 168 | - | 305 | 17k| 0 | 0 | 0 |1247k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
624.50/624.53 c 590s| 1070k|389285 | 0 | 0.0 | 346M| 168 | - | 305 | 17k| 0 | 0 | 0 |1259k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
631.00/631.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
631.00/631.07 c 596s| 1080k|392502 | 0 | 0.0 | 351M| 168 | - | 305 | 18k| 0 | 0 | 0 |1271k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
637.20/637.26 c 602s| 1090k|396180 | 0 | 0.0 | 356M| 168 | - | 305 | 19k| 0 | 0 | 0 |1282k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
644.51/644.57 c 609s| 1100k|399051 | 0 | 0.0 | 361M| 168 | - | 305 | 18k| 0 | 0 | 0 |1294k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
651.80/651.89 c 616s| 1110k|401833 | 0 | 0.0 | 365M| 168 | - | 305 | 19k| 0 | 0 | 0 |1306k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
659.60/659.65 c 623s| 1120k|404295 | 0 | 0.0 | 370M| 168 | - | 305 | 20k| 0 | 0 | 0 |1318k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
667.40/667.45 c 630s| 1130k|406843 | 0 | 0.0 | 374M| 168 | - | 305 | 19k| 0 | 0 | 0 |1330k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
675.30/675.37 c 638s| 1140k|409172 | 0 | 0.0 | 379M| 168 | - | 305 | 20k| 0 | 0 | 0 |1342k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
684.00/684.06 c 646s| 1150k|410929 | 0 | 0.0 | 383M| 168 | - | 305 | 20k| 0 | 0 | 0 |1355k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
692.91/692.94 c 655s| 1160k|412590 | 0 | 0.0 | 387M| 168 | - | 305 | 20k| 0 | 0 | 0 |1368k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
702.50/702.50 c 664s| 1170k|413655 | 0 | 0.0 | 391M| 168 | - | 305 | 21k| 0 | 0 | 0 |1381k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
712.61/712.62 c 674s| 1180k|414255 | 0 | 0.0 | 395M| 168 | - | 305 | 21k| 0 | 0 | 0 |1395k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
723.10/723.11 c 684s| 1190k|414632 | 0 | 0.0 | 399M| 168 | - | 305 | 22k| 0 | 0 | 0 |1409k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
734.31/734.36 c 695s| 1200k|414564 | 0 | 0.0 | 403M| 168 | - | 305 | 23k| 0 | 0 | 0 |1423k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
747.21/747.27 c 707s| 1210k|413163 | 0 | 0.0 | 407M| 168 | - | 305 | 24k| 0 | 0 | 0 |1438k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
761.30/761.38 c 721s| 1220k|410480 | 0 | 0.0 | 410M| 168 | - | 305 | 27k| 0 | 0 | 0 |1454k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
769.51/769.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
769.51/769.51 c 728s| 1230k|413980 | 0 | 0.0 | 411M| 168 | - | 305 | 18k| 0 | 0 | 0 |1465k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
773.80/773.85 c 732s| 1240k|419210 | 0 | 0.0 | 412M| 168 | - | 305 | 10k| 0 | 0 | 0 |1473k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
777.11/777.19 c 735s| 1250k|424414 | 0 | 0.0 | 416M| 168 | - | 305 |8889 | 0 | 0 | 0 |1481k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
782.31/782.31 c 740s| 1260k|426085 | 0 | 0.0 | 420M| 168 | - | 305 | 13k| 0 | 0 | 0 |1498k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
798.00/798.09 c 756s| 1270k|421398 | 0 | 0.0 | 420M| 168 | - | 305 | 28k| 0 | 0 | 0 |1525k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
823.71/823.70 c 781s| 1280k|414917 | 0 | 0.0 | 416M| 168 | - | 305 | 36k| 0 | 0 | 0 |1552k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
823.91/823.95 o 32
823.91/823.95 c * 781s| 1280k|353423 | 0 | 0.0 | 338M| 168 | - | 305 | 36k| 0 | 0 | 0 |1552k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
844.30/844.35 c 801s| 1290k|344200 | 0 | 0.0 | 318M| 168 | - | 305 | 14k| 0 | 0 | 0 |1579k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
852.00/852.06 c 808s| 1300k|344333 | 0 | 0.0 | 315M| 168 | - | 305 |8830 | 0 | 0 | 0 |1595k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
853.20/853.26 o 28
853.20/853.26 c * 809s| 1302k|328791 | 0 | 0.0 | 299M| 168 | - | 305 |9216 | 0 | 0 | 0 |1598k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
858.01/858.05 c 814s| 1310k|330419 | 0 | 0.0 | 302M| 168 | - | 305 |9683 | 0 | 0 | 0 |1609k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
864.51/864.53 c 820s| 1320k|332743 | 0 | 0.0 | 306M| 168 | - | 305 | 11k| 0 | 0 | 0 |1623k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
872.10/872.19 c 827s| 1330k|334430 | 0 | 0.0 | 310M| 168 | - | 305 | 14k| 0 | 0 | 0 |1637k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
880.71/880.72 c 835s| 1340k|336141 | 0 | 0.0 | 314M| 168 | - | 305 | 17k| 0 | 0 | 0 |1652k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
890.41/890.47 c 845s| 1350k|337989 | 0 | 0.0 | 317M| 168 | - | 305 | 19k| 0 | 0 | 0 |1666k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
901.41/901.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
901.41/901.42 c 855s| 1360k|339205 | 0 | 0.0 | 320M| 168 | - | 305 | 20k| 0 | 0 | 0 |1681k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
913.50/913.54 c 867s| 1370k|339961 | 0 | 0.0 | 323M| 168 | - | 305 | 21k| 0 | 0 | 0 |1699k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
928.60/928.66 c 882s| 1380k|339673 | 0 | 0.0 | 324M| 168 | - | 305 | 23k| 0 | 0 | 0 |1718k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
945.30/945.38 c 898s| 1390k|338520 | 0 | 0.0 | 325M| 168 | - | 305 | 23k| 0 | 0 | 0 |1738k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
961.81/961.80 c 914s| 1400k|337646 | 0 | 0.0 | 326M| 168 | - | 305 | 25k| 0 | 0 | 0 |1757k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
979.01/979.05 c 931s| 1410k|336603 | 0 | 0.0 | 327M| 168 | - | 305 | 27k| 0 | 0 | 0 |1776k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
997.80/997.80 c 949s| 1420k|335744 | 0 | 0.0 | 329M| 168 | - | 305 | 30k| 0 | 0 | 0 |1796k| 0 | 2.000000e+00 | 2.800000e+01 |1300.00%
1017.31/1017.38 c 968s| 1430k|335190 | 0 | 0.0 | 333M| 168 | - | 305 | 35k| 0 | 0 | 0 |1815k| 0 | 2.000000e+00 | 2.800000e+01 |1300.00%
1040.71/1040.70 c 991s| 1440k|333852 | 0 | 0.0 | 337M| 168 | - | 305 | 39k| 0 | 0 | 0 |1835k| 0 | 2.000000e+00 | 2.800000e+01 |1300.00%
1057.81/1057.86 o 27
1057.81/1057.86 c *1008s| 1446k|332470 | 0 | 0.0 | 339M| 168 | - | 305 | 40k| 0 | 0 | 0 |1848k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
1066.71/1066.72 c 1017s| 1450k|331946 | 0 | 0.0 | 340M| 168 | - | 305 | 41k| 0 | 0 | 0 |1854k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
1094.70/1094.77 c 1045s| 1460k|329862 | 0 | 0.0 | 343M| 168 | - | 305 | 43k| 0 | 0 | 0 |1874k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
1123.02/1123.07 c 1072s| 1470k|327830 | 0 | 0.0 | 345M| 168 | - | 305 | 43k| 0 | 0 | 0 |1894k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
1152.91/1152.95 c 1102s| 1480k|325342 | 0 | 0.0 | 347M| 168 | - | 305 | 45k| 0 | 0 | 0 |1915k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
1184.11/1184.10 c 1132s| 1490k|322393 | 0 | 0.0 | 349M| 168 | - | 305 | 45k| 0 | 0 | 0 |1936k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
1215.61/1215.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1215.61/1215.63 c 1164s| 1500k|319138 | 0 | 0.0 | 351M| 168 | - | 305 | 46k| 0 | 0 | 0 |1957k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
1247.01/1247.04 c 1195s| 1510k|316065 | 0 | 0.0 | 353M| 168 | - | 305 | 47k| 0 | 0 | 0 |1977k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
1279.81/1279.90 c 1227s| 1520k|312310 | 0 | 0.0 | 355M| 168 | - | 305 | 48k| 0 | 0 | 0 |1999k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
1312.91/1312.90 c 1259s| 1530k|308610 | 0 | 0.0 | 356M| 168 | - | 305 | 49k| 0 | 0 | 0 |2020k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
1345.41/1345.43 c 1292s| 1540k|305017 | 0 | 0.0 | 357M| 168 | - | 305 | 49k| 0 | 0 | 0 |2042k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
1355.01/1355.05 o 17
1355.01/1355.05 c *1301s| 1542k|272347 | 0 | 0.0 | 320M| 168 | - | 305 | 48k| 0 | 0 | 0 |2048k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1366.51/1366.58 c 1312s| 1550k|266778 | 0 | 0.0 | 308M| 168 | - | 305 |8633 | 0 | 0 | 0 |2058k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1376.91/1376.97 c 1322s| 1560k|258971 | 0 | 0.0 | 307M| 168 | - | 305 | 12k| 0 | 0 | 0 |2070k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1389.51/1389.57 c 1334s| 1570k|250649 | 0 | 0.0 | 305M| 168 | - | 305 | 14k| 0 | 0 | 0 |2082k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1404.41/1404.41 c 1348s| 1580k|239996 | 0 | 0.0 | 300M| 168 | - | 305 | 14k| 0 | 0 | 0 |2095k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1419.51/1419.56 c 1362s| 1590k|228801 | 0 | 0.0 | 293M| 168 | - | 305 | 14k| 0 | 0 | 0 |2108k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1426.51/1426.58 c 1369s| 1600k|229478 | 0 | 0.0 | 292M| 168 | - | 305 | 11k| 0 | 0 | 0 |2116k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1432.31/1432.39 c 1374s| 1610k|231015 | 0 | 0.0 | 290M| 168 | - | 305 | 12k| 0 | 0 | 0 |2123k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1434.81/1434.87 o 2
1434.81/1434.87 c *1377s| 1613k| 0 | 0 | 0.0 | 12M| 168 | - | 305 | 11k| 0 | 0 | 0 |2125k| 0 | 2.000000e+00 | 2.000000e+00 | 0.00%
1434.81/1434.87 c
1434.81/1434.87 c SCIP Status : problem is solved [optimal solution found]
1434.81/1434.87 c Solving Time (sec) : 1376.59
1434.81/1434.87 c Solving Nodes : 1613201
1434.81/1434.87 c Primal Bound : +2.00000000000000e+00 (17 solutions)
1434.81/1434.87 c Dual Bound : +2.00000000000000e+00
1434.81/1434.87 c Gap : 0.00 %
1434.81/1434.87 s OPTIMUM FOUND
1434.81/1434.87 v -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148
1434.81/1434.87 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1434.81/1434.87 v -x126 -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1434.81/1434.87 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82
1434.81/1434.87 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57
1434.81/1434.87 v -x56 -x55 -x54 x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31
1434.81/1434.87 v x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 x15 -x14 x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5
1434.81/1434.87 v -x4 -x3 -x2 -x1
1434.81/1434.87 c SCIP Status : problem is solved [optimal solution found]
1434.81/1434.87 c Solving Time : 1376.59
1434.81/1434.87 c Original Problem :
1434.81/1434.87 c Problem name : HOME/instance-2693956-1277898445.wbo
1434.81/1434.87 c Variables : 307 (238 binary, 0 integer, 0 implicit integer, 69 continuous)
1434.81/1434.87 c Constraints : 171 initial, 171 maximal
1434.81/1434.87 c Presolved Problem :
1434.81/1434.87 c Problem name : t_HOME/instance-2693956-1277898445.wbo
1434.81/1434.87 c Variables : 305 (237 binary, 0 integer, 0 implicit integer, 68 continuous)
1434.81/1434.87 c Constraints : 166 initial, 50056 maximal
1434.81/1434.87 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1434.81/1434.87 c trivial : 0.00 0 0 0 0 0 0 0 0
1434.81/1434.87 c dualfix : 0.00 2 0 0 0 0 0 0 0
1434.81/1434.87 c boundshift : 0.00 0 0 0 0 0 0 0 0
1434.81/1434.87 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1434.81/1434.87 c implics : 0.00 0 0 0 0 0 0 0 0
1434.81/1434.87 c probing : 0.01 0 0 0 0 0 0 0 0
1434.81/1434.87 c indicator : 0.00 0 0 0 0 0 1 0 0
1434.81/1434.87 c setppc : 0.00 0 0 0 0 0 0 0 0
1434.81/1434.87 c linear : 0.00 0 0 0 68 0 4 1 0
1434.81/1434.87 c logicor : 0.00 0 0 0 0 0 0 0 0
1434.81/1434.87 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1434.81/1434.87 c root node : - 56 - - 112 - - - -
1434.81/1434.87 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1434.81/1434.87 c integral : 0 0 0 0 0 0 0 0 0 0
1434.81/1434.87 c indicator : 68 0 4255101 0 1051597 4885 1427605 0 0 0
1434.81/1434.88 c setppc : 20 0 4864024 0 1170232 36510 3488095 0 0 0
1434.81/1434.88 c linear : 68 0 4827552 0 1170244 495987 20926455 0 0 0
1434.81/1434.88 c logicor : 10+ 0 2412655 0 1170241 127786 1322631 0 0 0
1434.81/1434.88 c bounddisjunction : 0+ 0 542245 0 0 13 6983 0 0 0
1434.81/1434.88 c countsols : 0 0 0 0 1170259 0 0 0 0 0
1434.81/1434.88 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1434.81/1434.88 c integral : 0.00 0.00 0.00 0.00 0.00
1434.81/1434.88 c indicator : 1.98 0.00 1.23 0.00 0.75
1434.81/1434.88 c setppc : 9.61 0.00 7.57 0.00 2.04
1434.81/1434.88 c linear : 107.59 0.00 107.54 0.00 0.05
1434.81/1434.88 c logicor : 593.75 0.00 593.14 0.00 0.61
1434.81/1434.88 c bounddisjunction : 11.37 0.00 11.37 0.00 0.00
1434.81/1434.88 c countsols : 0.00 0.00 0.00 0.00 0.00
1434.81/1434.88 c Propagators : Time Calls Cutoffs DomReds
1434.81/1434.88 c vbounds : 0.00 2 0 0
1434.81/1434.88 c rootredcost : 0.00 0 0 0
1434.81/1434.88 c pseudoobj : 9.73 4871716 2950 1218997
1434.81/1434.88 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1434.81/1434.88 c propagation : 37.64 663244 663157 3660722 25.3 268993 13.9 -
1434.81/1434.88 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1434.81/1434.88 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1434.81/1434.88 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1434.81/1434.88 c pseudo solution : 0.00 80 80 162 6.1 24 15.6 -
1434.81/1434.88 c applied globally : - - - 2065458 17.8 - - -
1434.81/1434.88 c applied locally : - - - 59961 37.7 - - -
1434.81/1434.88 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1434.81/1434.88 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1434.81/1434.88 c redcost : 0.00 0 0 0 0 0
1434.81/1434.88 c impliedbounds : 0.00 0 0 0 0 0
1434.81/1434.88 c intobj : 0.00 0 0 0 0 0
1434.81/1434.88 c cgmip : 0.00 0 0 0 0 0
1434.81/1434.88 c gomory : 0.00 0 0 0 0 0
1434.81/1434.88 c strongcg : 0.00 0 0 0 0 0
1434.81/1434.88 c cmir : 0.00 0 0 0 0 0
1434.81/1434.88 c flowcover : 0.00 0 0 0 0 0
1434.81/1434.88 c clique : 0.00 0 0 0 0 0
1434.81/1434.88 c zerohalf : 0.00 0 0 0 0 0
1434.81/1434.88 c mcf : 0.00 0 0 0 0 0
1434.81/1434.88 c rapidlearning : 0.00 0 0 0 0 0
1434.81/1434.88 c Pricers : Time Calls Vars
1434.81/1434.88 c problem variables: 0.00 0 0
1434.81/1434.88 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1434.81/1434.88 c relpscost : 0.00 0 0 0 0 0 0
1434.81/1434.88 c pscost : 0.00 0 0 0 0 0 0
1434.81/1434.88 c inference : 8.30 1170242 0 0 0 0 2340484
1434.81/1434.88 c mostinf : 0.00 0 0 0 0 0 0
1434.81/1434.88 c leastinf : 0.00 0 0 0 0 0 0
1434.81/1434.88 c fullstrong : 0.00 0 0 0 0 0 0
1434.81/1434.88 c allfullstrong : 0.00 0 0 0 0 0 0
1434.81/1434.88 c random : 0.00 0 0 0 0 0 0
1434.81/1434.88 c Primal Heuristics : Time Calls Found
1434.81/1434.88 c LP solutions : 0.00 - 0
1434.81/1434.88 c pseudo solutions : 0.91 - 17
1434.81/1434.88 c oneopt : 0.04 0 0
1434.81/1434.88 c trivial : 0.00 2 0
1434.81/1434.88 c simplerounding : 0.00 0 0
1434.81/1434.88 c zirounding : 0.00 0 0
1434.81/1434.88 c rounding : 0.00 0 0
1434.81/1434.88 c shifting : 0.00 0 0
1434.81/1434.88 c intshifting : 0.00 0 0
1434.81/1434.88 c twoopt : 0.00 0 0
1434.81/1434.88 c fixandinfer : 0.00 0 0
1434.81/1434.88 c feaspump : 0.00 0 0
1434.81/1434.88 c coefdiving : 0.00 0 0
1434.81/1434.88 c pscostdiving : 0.00 0 0
1434.81/1434.88 c fracdiving : 0.00 0 0
1434.81/1434.88 c veclendiving : 0.00 0 0
1434.81/1434.88 c intdiving : 0.00 0 0
1434.81/1434.88 c actconsdiving : 0.00 0 0
1434.81/1434.88 c objpscostdiving : 0.00 0 0
1434.81/1434.88 c rootsoldiving : 0.00 0 0
1434.81/1434.88 c linesearchdiving : 0.00 0 0
1434.81/1434.88 c guideddiving : 0.00 0 0
1434.81/1434.88 c octane : 0.00 0 0
1434.81/1434.88 c rens : 0.00 0 0
1434.81/1434.88 c rins : 0.00 0 0
1434.81/1434.88 c localbranching : 0.00 0 0
1434.81/1434.88 c mutation : 0.00 0 0
1434.81/1434.88 c crossover : 0.00 0 0
1434.81/1434.88 c dins : 0.00 0 0
1434.81/1434.88 c undercover : 0.00 0 0
1434.81/1434.88 c nlp : 0.00 0 0
1434.81/1434.88 c trysol : 0.00 1 0
1434.81/1434.88 c LP : Time Calls Iterations Iter/call Iter/sec
1434.81/1434.88 c primal LP : 0.00 0 0 0.00 -
1434.81/1434.88 c dual LP : 0.00 0 0 0.00 -
1434.81/1434.88 c lex dual LP : 0.00 0 0 0.00 -
1434.81/1434.88 c barrier LP : 0.00 0 0 0.00 -
1434.81/1434.88 c diving/probing LP: 0.00 0 0 0.00 -
1434.81/1434.88 c strong branching : 0.00 0 0 0.00 -
1434.81/1434.88 c (at root node) : - 0 0 0.00 -
1434.81/1434.88 c conflict analysis: 0.00 0 0 0.00 -
1434.81/1434.88 c B&B Tree :
1434.81/1434.88 c number of runs : 1
1434.81/1434.88 c nodes : 1613201
1434.81/1434.88 c nodes (total) : 1613201
1434.81/1434.88 c nodes left : 0
1434.81/1434.88 c max depth : 168
1434.81/1434.88 c max depth (total): 168
1434.81/1434.88 c backtracks : 503478 (31.2%)
1434.81/1434.88 c delayed cutoffs : 361748
1434.81/1434.88 c repropagations : 1793351 (7995154 domain reductions, 225269 cutoffs)
1434.81/1434.88 c avg switch length: 22.01
1434.81/1434.88 c switching time : 450.74
1434.81/1434.88 c Solution :
1434.81/1434.88 c Solutions found : 17 (17 improvements)
1434.81/1434.88 c First Solution : +1.43000000000000e+02 (in run 1, after 70716 nodes, 17.04 seconds, depth 142, found by <relaxation>)
1434.81/1434.88 c Primal Bound : +2.00000000000000e+00 (in run 1, after 1613201 nodes, 1375.98 seconds, depth 70, found by <relaxation>)
1434.81/1434.88 c Dual Bound : +2.00000000000000e+00
1434.81/1434.88 c Gap : 0.00 %
1434.81/1434.88 c Root Dual Bound : +0.00000000000000e+00
1434.81/1434.88 c Root Iterations : 0
1434.91/1434.91 c Time complete: 1434.93.