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-2693839-1277895291.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.09 c 0.8s| 10000 | 7175 | 0 | 0.0 |6821k| 168 | - | 305 |3584 | 0 | 0 | 0 |6953 | 0 | 0.000000e+00 | -- | Inf
2.89/2.99 c 2.4s| 20000 | 12571 | 0 | 0.0 | 11M| 168 | - | 305 |4587 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
5.40/5.47 c 4.7s| 30000 | 17319 | 0 | 0.0 | 17M| 168 | - | 305 |8070 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
8.59/8.62 c 7.5s| 40000 | 21108 | 0 | 0.0 | 22M| 168 | - | 305 | 11k| 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
12.49/12.56 c 11.1s| 50000 | 23537 | 0 | 0.0 | 27M| 168 | - | 305 | 14k| 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
16.09/16.18 c 14.5s| 60000 | 27566 | 0 | 0.0 | 28M| 168 | - | 305 |5708 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
17.60/17.67 c 15.7s| 70000 | 35209 | 0 | 0.0 | 31M| 168 | - | 305 |1839 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
20.39/20.46 c 18.2s| 80000 | 38918 | 0 | 0.0 | 36M| 168 | - | 305 |9133 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
25.59/25.65 c 23.1s| 90000 | 39650 | 0 | 0.0 | 41M| 168 | - | 305 | 15k| 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
32.19/32.20 c 29.3s|100000 | 39953 | 0 | 0.0 | 45M| 168 | - | 305 | 19k| 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
39.80/39.84 c 36.6s|110000 | 39946 | 0 | 0.0 | 49M| 168 | - | 305 | 22k| 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
48.89/48.94 c 45.4s|120000 | 38803 | 0 | 0.0 | 52M| 168 | - | 305 | 26k| 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
59.30/59.32 c 55.4s|130000 | 37781 | 0 | 0.0 | 50M| 168 | - | 305 | 22k| 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
62.39/62.46 c 58.2s|140000 | 44267 | 0 | 0.0 | 51M| 168 | - | 305 |9164 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
65.79/65.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.79/65.88 c 61.4s|150000 | 49111 | 0 | 0.0 | 55M| 168 | - | 305 | 11k| 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
70.40/70.46 c 65.6s|160000 | 52141 | 0 | 0.0 | 60M| 168 | - | 305 | 14k| 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
71.79/71.88 c 66.8s|170000 | 60912 | 0 | 0.0 | 59M| 168 | - | 305 |1405 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
71.79/71.88 o 568
71.79/71.88 c *66.8s|170033 | 60943 | 0 | 0.0 | 59M| 168 | - | 305 |1405 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 5.680000e+02 | Inf
71.99/72.02 o 517
71.99/72.02 c *66.9s|172701 | 63594 | 0 | 0.0 | 60M| 168 | - | 305 | 930 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 5.170000e+02 | Inf
72.09/72.10 o 208
72.09/72.10 c *66.9s|174045 | 64130 | 0 | 0.0 | 60M| 168 | - | 305 | 874 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 2.080000e+02 | Inf
72.39/72.49 c 67.2s|180000 | 69797 | 0 | 0.0 | 62M| 168 | - | 305 |1037 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 2.080000e+02 | Inf
72.90/72.95 o 205
72.90/72.95 c *67.5s|185853 | 75110 | 0 | 0.0 | 64M| 168 | - | 305 |1391 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 2.050000e+02 | Inf
73.29/73.32 c 67.8s|190000 | 78697 | 0 | 0.0 | 66M| 168 | - | 305 |1723 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 2.050000e+02 | Inf
73.59/73.67 o 192
73.59/73.67 c *68.0s|193959 | 82029 | 0 | 0.0 | 67M| 168 | - | 305 |1839 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 1.920000e+02 | Inf
74.00/74.07 o 185
74.00/74.07 c *68.3s|198501 | 85825 | 0 | 0.0 | 69M| 168 | - | 305 |2080 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 1.850000e+02 | Inf
74.20/74.22 c 68.4s|200000 | 87114 | 0 | 0.0 | 69M| 168 | - | 305 |2219 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 1.850000e+02 | Inf
75.10/75.18 o 170
75.10/75.18 c *69.2s|209320 | 94626 | 0 | 0.0 | 73M| 168 | - | 305 |2959 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 1.700000e+02 | Inf
75.20/75.26 c 69.2s|210000 | 95180 | 0 | 0.0 | 73M| 168 | - | 305 |3044 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 1.700000e+02 | Inf
75.29/75.36 o 153
75.29/75.36 c *69.3s|211045 | 95257 | 0 | 0.0 | 73M| 168 | - | 305 |3139 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 1.530000e+02 | Inf
75.59/75.64 o 150
75.59/75.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.59/75.64 c *69.5s|213475 | 97044 | 0 | 0.0 | 74M| 168 | - | 305 |3321 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 1.500000e+02 | Inf
75.79/75.86 o 145
75.79/75.86 c *69.7s|215364 | 98252 | 0 | 0.0 | 75M| 168 | - | 305 |3461 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
76.09/76.12 o 138
76.09/76.12 c *69.9s|217566 | 99408 | 0 | 0.0 | 76M| 168 | - | 305 |3684 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
76.29/76.36 o 128
76.29/76.36 c *70.0s|219505 | 99688 | 0 | 0.0 | 76M| 168 | - | 305 |3890 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
76.40/76.43 c 70.1s|220000 |100080 | 0 | 0.0 | 76M| 168 | - | 305 |3897 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
76.40/76.48 o 125
76.40/76.48 c *70.2s|220368 |100256 | 0 | 0.0 | 77M| 168 | - | 305 |3911 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
76.90/76.93 o 121
76.90/76.93 c *70.5s|223907 |102928 | 0 | 0.0 | 78M| 168 | - | 305 |4193 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 1.210000e+02 | Inf
76.90/76.94 o 113
76.90/76.94 c *70.5s|223990 |101118 | 0 | 0.0 | 78M| 168 | - | 305 |4203 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 1.130000e+02 | Inf
77.29/77.36 o 111
77.29/77.36 c *70.9s|226789 |102643 | 0 | 0.0 | 79M| 168 | - | 305 |4422 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
77.29/77.36 o 106
77.29/77.36 c *70.9s|226790 |102088 | 0 | 0.0 | 79M| 168 | - | 305 |4422 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
77.29/77.38 o 96
77.29/77.38 c *70.9s|226916 |100702 | 0 | 0.0 | 78M| 168 | - | 305 |4447 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
77.29/77.39 o 90
77.29/77.39 c *70.9s|226917 | 97748 | 0 | 0.0 | 77M| 168 | - | 305 |4447 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
77.69/77.75 o 88
77.69/77.75 c *71.2s|228748 | 98726 | 0 | 0.0 | 78M| 168 | - | 305 |4670 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
77.90/77.99 c 71.4s|230000 | 99558 | 0 | 0.0 | 79M| 168 | - | 305 |4577 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
78.09/78.18 o 73
78.09/78.18 c *71.6s|230822 | 91650 | 0 | 0.0 | 75M| 168 | - | 305 |4717 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
83.99/84.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
83.99/84.02 c 77.1s|240000 | 89435 | 0 | 0.0 | 79M| 168 | - | 305 | 16k| 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
95.29/95.36 c 88.1s|250000 | 85887 | 0 | 0.0 | 79M| 168 | - | 305 | 26k| 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
110.30/110.31 c 103s|260000 | 80665 | 0 | 0.0 | 73M| 168 | - | 305 | 31k| 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
116.60/116.69 c 109s|270000 | 85077 | 0 | 0.0 | 71M| 168 | - | 305 | 13k| 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
121.80/121.88 c 114s|280000 | 88736 | 0 | 0.0 | 76M| 168 | - | 305 | 15k| 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
128.19/128.30 c 120s|290000 | 91654 | 0 | 0.0 | 80M| 168 | - | 305 | 18k| 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
135.90/135.92 c 127s|300000 | 93635 | 0 | 0.0 | 85M| 168 | - | 305 | 22k| 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
144.60/144.62 c 135s|310000 | 95293 | 0 | 0.0 | 89M| 168 | - | 305 | 24k| 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
154.10/154.19 c 144s|320000 | 96215 | 0 | 0.0 | 92M| 168 | - | 305 | 27k| 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
159.80/159.83 c 150s|330000 |101188 | 0 | 0.0 | 87M| 168 | - | 305 |3234 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
161.00/161.07 c 151s|340000 |109325 | 0 | 0.0 | 92M| 168 | - | 305 |2863 | 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
162.40/162.43 c 152s|350000 |117193 | 0 | 0.0 | 96M| 168 | - | 305 |3203 | 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
163.80/163.84 c 153s|360000 |124970 | 0 | 0.0 | 101M| 168 | - | 305 |3242 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
165.19/165.27 c 154s|370000 |132714 | 0 | 0.0 | 106M| 168 | - | 305 |3234 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
166.70/166.77 c 155s|380000 |140320 | 0 | 0.0 | 110M| 168 | - | 305 |3335 | 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
168.30/168.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
168.30/168.31 c 157s|390000 |147844 | 0 | 0.0 | 115M| 168 | - | 305 |3867 | 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
169.99/170.00 c 158s|400000 |155089 | 0 | 0.0 | 120M| 168 | - | 305 |3826 | 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
171.69/171.72 c 160s|410000 |162202 | 0 | 0.0 | 124M| 168 | - | 305 |4315 | 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
173.39/173.49 c 161s|420000 |169339 | 0 | 0.0 | 129M| 168 | - | 305 |4069 | 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
175.19/175.29 c 163s|430000 |176293 | 0 | 0.0 | 134M| 168 | - | 305 |4292 | 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
177.10/177.18 c 164s|440000 |183119 | 0 | 0.0 | 139M| 168 | - | 305 |5237 | 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
179.10/179.17 c 166s|450000 |189924 | 0 | 0.0 | 143M| 168 | - | 305 |4662 | 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
181.20/181.22 c 168s|460000 |196382 | 0 | 0.0 | 148M| 168 | - | 305 |5044 | 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
183.20/183.27 c 169s|470000 |202916 | 0 | 0.0 | 153M| 168 | - | 305 |5663 | 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
185.29/185.30 c 171s|480000 |209323 | 0 | 0.0 | 157M| 168 | - | 305 |1360 | 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
187.10/187.14 c 173s|490000 |215385 | 0 | 0.0 | 162M| 168 | - | 305 |2822 | 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
189.00/189.06 c 174s|500000 |221483 | 0 | 0.0 | 168M| 168 | - | 305 |3441 | 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
191.19/191.20 c 176s|510000 |227121 | 0 | 0.0 | 173M| 168 | - | 305 |3752 | 0 | 0 | 0 | 529k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
193.40/193.44 c 178s|520000 |232575 | 0 | 0.0 | 178M| 168 | - | 305 |3975 | 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
195.81/195.89 c 180s|530000 |237488 | 0 | 0.0 | 183M| 168 | - | 305 |4488 | 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
198.39/198.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
198.39/198.49 c 182s|540000 |242139 | 0 | 0.0 | 189M| 168 | - | 305 |4816 | 0 | 0 | 0 | 547k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
201.20/201.30 c 185s|550000 |246229 | 0 | 0.0 | 194M| 168 | - | 305 |4895 | 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
204.40/204.43 c 188s|560000 |249387 | 0 | 0.0 | 199M| 168 | - | 305 |5182 | 0 | 0 | 0 | 562k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
208.00/208.09 c 191s|570000 |251047 | 0 | 0.0 | 203M| 168 | - | 305 |5112 | 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
211.50/211.50 c 194s|580000 |252200 | 0 | 0.0 | 200M| 168 | - | 305 |3425 | 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
215.90/215.90 c 198s|590000 |253439 | 0 | 0.0 | 203M| 168 | - | 305 |9117 | 0 | 0 | 0 | 602k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
221.80/221.82 c 203s|600000 |253877 | 0 | 0.0 | 207M| 168 | - | 305 | 14k| 0 | 0 | 0 | 622k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
222.10/222.20 o 44
222.10/222.20 c * 204s|600451 |217860 | 0 | 0.0 | 168M| 168 | - | 305 | 14k| 0 | 0 | 0 | 623k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
230.40/230.40 c 212s|610000 |216561 | 0 | 0.0 | 171M| 168 | - | 305 | 17k| 0 | 0 | 0 | 644k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
240.60/240.66 c 221s|620000 |215037 | 0 | 0.0 | 173M| 168 | - | 305 | 21k| 0 | 0 | 0 | 666k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
252.30/252.38 c 233s|630000 |213653 | 0 | 0.0 | 175M| 168 | - | 305 | 25k| 0 | 0 | 0 | 688k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
266.80/266.82 c 247s|640000 |210797 | 0 | 0.0 | 175M| 168 | - | 305 | 29k| 0 | 0 | 0 | 710k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
271.80/271.90 c 252s|650000 |216286 | 0 | 0.0 | 172M| 168 | - | 305 |8587 | 0 | 0 | 0 | 720k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
274.40/274.47 c 254s|660000 |222747 | 0 | 0.0 | 177M| 168 | - | 305 |8224 | 0 | 0 | 0 | 728k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
277.50/277.51 c 257s|670000 |228432 | 0 | 0.0 | 181M| 168 | - | 305 |8361 | 0 | 0 | 0 | 738k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
280.69/280.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
280.69/280.79 c 260s|680000 |233707 | 0 | 0.0 | 186M| 168 | - | 305 |8370 | 0 | 0 | 0 | 749k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
283.50/283.54 o 18
283.50/283.54 c * 262s|688052 |198682 | 0 | 0.0 | 154M| 168 | - | 305 |8553 | 0 | 0 | 0 | 758k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
284.30/284.39 c 263s|690000 |199463 | 0 | 0.0 | 156M| 168 | - | 305 |8219 | 0 | 0 | 0 | 761k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
288.90/288.97 c 267s|700000 |202828 | 0 | 0.0 | 162M| 168 | - | 305 |9316 | 0 | 0 | 0 | 774k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
294.20/294.29 c 272s|710000 |205352 | 0 | 0.0 | 167M| 168 | - | 305 |9678 | 0 | 0 | 0 | 789k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
299.80/299.80 c 277s|720000 |207672 | 0 | 0.0 | 171M| 168 | - | 305 | 10k| 0 | 0 | 0 | 804k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
305.90/305.99 c 283s|730000 |209314 | 0 | 0.0 | 176M| 168 | - | 305 | 11k| 0 | 0 | 0 | 820k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
312.70/312.76 c 289s|740000 |210433 | 0 | 0.0 | 179M| 168 | - | 305 | 12k| 0 | 0 | 0 | 836k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
319.80/319.86 c 296s|750000 |211370 | 0 | 0.0 | 183M| 168 | - | 305 | 13k| 0 | 0 | 0 | 852k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
328.00/328.02 c 304s|760000 |211204 | 0 | 0.0 | 187M| 168 | - | 305 | 13k| 0 | 0 | 0 | 869k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
336.30/336.33 c 312s|770000 |210699 | 0 | 0.0 | 190M| 168 | - | 305 | 14k| 0 | 0 | 0 | 886k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
345.60/345.66 c 321s|780000 |209130 | 0 | 0.0 | 193M| 168 | - | 305 | 14k| 0 | 0 | 0 | 904k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
355.60/355.63 c 330s|790000 |207107 | 0 | 0.0 | 195M| 168 | - | 305 | 15k| 0 | 0 | 0 | 922k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
365.60/365.67 c 340s|800000 |204512 | 0 | 0.0 | 197M| 168 | - | 305 | 15k| 0 | 0 | 0 | 940k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
376.00/376.06 c 350s|810000 |201056 | 0 | 0.0 | 199M| 168 | - | 305 | 15k| 0 | 0 | 0 | 958k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
387.01/387.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
387.01/387.09 c 360s|820000 |197168 | 0 | 0.0 | 201M| 168 | - | 305 | 16k| 0 | 0 | 0 | 977k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
399.60/399.64 c 372s|830000 |191742 | 0 | 0.0 | 201M| 168 | - | 305 | 18k| 0 | 0 | 0 | 997k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
413.80/413.89 c 386s|840000 |184583 | 0 | 0.0 | 200M| 168 | - | 305 | 20k| 0 | 0 | 0 |1018k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
428.80/428.89 c 400s|850000 |176305 | 0 | 0.0 | 197M| 168 | - | 305 | 22k| 0 | 0 | 0 |1038k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
443.51/443.54 c 415s|860000 |168290 | 0 | 0.0 | 189M| 168 | - | 305 | 20k| 0 | 0 | 0 |1057k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
449.00/449.02 c 420s|870000 |171834 | 0 | 0.0 | 185M| 168 | - | 305 |7283 | 0 | 0 | 0 |1067k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
452.21/452.20 c 423s|880000 |176068 | 0 | 0.0 | 188M| 168 | - | 305 |8313 | 0 | 0 | 0 |1077k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
461.71/461.79 c 432s|890000 |173010 | 0 | 0.0 | 181M| 168 | - | 305 | 14k| 0 | 0 | 0 |1099k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
469.30/469.36 c 439s|900000 |175222 | 0 | 0.0 | 186M| 168 | - | 305 | 16k| 0 | 0 | 0 |1115k| 0 | 2.000000e+00 | 1.800000e+01 | 800.00%
478.91/478.90 c 448s|910000 |176861 | 0 | 0.0 | 191M| 168 | - | 305 | 19k| 0 | 0 | 0 |1133k| 0 | 2.000000e+00 | 1.800000e+01 | 800.00%
490.41/490.45 c 459s|920000 |178046 | 0 | 0.0 | 196M| 168 | - | 305 | 22k| 0 | 0 | 0 |1151k| 0 | 2.000000e+00 | 1.800000e+01 | 800.00%
503.21/503.21 c 472s|930000 |179064 | 0 | 0.0 | 201M| 168 | - | 305 | 23k| 0 | 0 | 0 |1169k| 0 | 2.000000e+00 | 1.800000e+01 | 800.00%
517.31/517.36 c 485s|940000 |179299 | 0 | 0.0 | 205M| 168 | - | 305 | 25k| 0 | 0 | 0 |1188k| 0 | 2.000000e+00 | 1.800000e+01 | 800.00%
533.91/533.92 c 502s|950000 |178319 | 0 | 0.0 | 208M| 168 | - | 305 | 28k| 0 | 0 | 0 |1208k| 0 | 2.000000e+00 | 1.800000e+01 | 800.00%
552.21/552.26 c 520s|960000 |176898 | 0 | 0.0 | 211M| 168 | - | 305 | 30k| 0 | 0 | 0 |1230k| 0 | 2.000000e+00 | 1.800000e+01 | 800.00%
571.11/571.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
571.11/571.19 c 538s|970000 |175313 | 0 | 0.0 | 213M| 168 | - | 305 | 31k| 0 | 0 | 0 |1251k| 0 | 2.000000e+00 | 1.800000e+01 | 800.00%
591.51/591.57 c 558s|980000 |173071 | 0 | 0.0 | 215M| 168 | - | 305 | 34k| 0 | 0 | 0 |1273k| 0 | 2.000000e+00 | 1.800000e+01 | 800.00%
612.91/612.92 c 579s|990000 |171020 | 0 | 0.0 | 216M| 168 | - | 305 | 35k| 0 | 0 | 0 |1295k| 0 | 2.000000e+00 | 1.800000e+01 | 800.00%
634.90/634.94 c 601s| 1000k|168697 | 0 | 0.0 | 218M| 168 | - | 305 | 37k| 0 | 0 | 0 |1316k| 0 | 2.000000e+00 | 1.800000e+01 | 800.00%
658.01/658.05 c 623s| 1010k|166196 | 0 | 0.0 | 219M| 168 | - | 305 | 39k| 0 | 0 | 0 |1338k| 0 | 2.000000e+00 | 1.800000e+01 | 800.00%
682.61/682.67 c 648s| 1020k|163483 | 0 | 0.0 | 220M| 168 | - | 305 | 41k| 0 | 0 | 0 |1360k| 0 | 2.000000e+00 | 1.800000e+01 | 800.00%
706.91/706.94 c 671s| 1030k|161151 | 0 | 0.0 | 221M| 168 | - | 305 | 43k| 0 | 0 | 0 |1381k| 0 | 2.000000e+00 | 1.800000e+01 | 800.00%
733.02/733.07 c 697s| 1040k|158280 | 0 | 0.0 | 221M| 168 | - | 305 | 44k| 0 | 0 | 0 |1403k| 0 | 2.000000e+00 | 1.800000e+01 | 800.00%
760.02/760.05 c 724s| 1050k|154737 | 0 | 0.0 | 220M| 168 | - | 305 | 46k| 0 | 0 | 0 |1425k| 0 | 2.000000e+00 | 1.800000e+01 | 800.00%
786.52/786.53 c 750s| 1060k|150934 | 0 | 0.0 | 220M| 168 | - | 305 | 49k| 0 | 0 | 0 |1446k| 0 | 2.000000e+00 | 1.800000e+01 | 800.00%
794.22/794.22 o 17
794.22/794.22 c * 757s| 1062k|149761 | 0 | 0.0 | 219M| 168 | - | 305 | 50k| 0 | 0 | 0 |1452k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
813.71/813.77 c 776s| 1070k|146108 | 0 | 0.0 | 217M| 168 | - | 305 | 51k| 0 | 0 | 0 |1466k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
830.21/830.20 c 792s| 1080k|148540 | 0 | 0.0 | 214M| 168 | - | 305 | 35k| 0 | 0 | 0 |1480k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
842.31/842.30 c 804s| 1090k|151212 | 0 | 0.0 | 214M| 168 | - | 305 | 32k| 0 | 0 | 0 |1494k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
854.52/854.58 c 816s| 1100k|153214 | 0 | 0.0 | 213M| 168 | - | 305 | 30k| 0 | 0 | 0 |1507k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
864.22/864.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
864.22/864.24 c 825s| 1110k|156488 | 0 | 0.0 | 210M| 168 | - | 305 | 19k| 0 | 0 | 0 |1519k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
870.03/870.04 c 831s| 1120k|161049 | 0 | 0.0 | 210M| 168 | - | 305 | 13k| 0 | 0 | 0 |1529k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
875.32/875.39 c 836s| 1130k|165099 | 0 | 0.0 | 213M| 168 | - | 305 | 12k| 0 | 0 | 0 |1540k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
881.31/881.38 c 841s| 1140k|168016 | 0 | 0.0 | 217M| 168 | - | 305 | 13k| 0 | 0 | 0 |1553k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
887.92/887.97 c 848s| 1150k|170571 | 0 | 0.0 | 219M| 168 | - | 305 |7618 | 0 | 0 | 0 |1566k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
892.81/892.89 c 852s| 1160k|172359 | 0 | 0.0 | 222M| 168 | - | 305 |9797 | 0 | 0 | 0 |1580k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
905.11/905.19 c 864s| 1170k|170115 | 0 | 0.0 | 227M| 168 | - | 305 | 21k| 0 | 0 | 0 |1604k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
928.72/928.75 c 887s| 1180k|165001 | 0 | 0.0 | 228M| 168 | - | 305 | 31k| 0 | 0 | 0 |1631k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
962.43/962.40 c 920s| 1190k|157783 | 0 | 0.0 | 227M| 168 | - | 305 | 41k| 0 | 0 | 0 |1659k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1000.52/1000.58 c 958s| 1200k|150824 | 0 | 0.0 | 223M| 168 | - | 305 | 49k| 0 | 0 | 0 |1686k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1044.72/1044.73 c 1002s| 1210k|143183 | 0 | 0.0 | 219M| 168 | - | 305 | 57k| 0 | 0 | 0 |1713k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1091.53/1091.54 c 1048s| 1220k|134501 | 0 | 0.0 | 213M| 168 | - | 305 | 64k| 0 | 0 | 0 |1739k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1119.02/1119.05 c 1075s| 1230k|134895 | 0 | 0.0 | 206M| 168 | - | 305 | 48k| 0 | 0 | 0 |1755k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1141.22/1141.20 c 1097s| 1240k|135666 | 0 | 0.0 | 204M| 168 | - | 305 | 42k| 0 | 0 | 0 |1771k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1163.53/1163.50 c 1119s| 1250k|135763 | 0 | 0.0 | 203M| 168 | - | 305 | 42k| 0 | 0 | 0 |1787k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1188.73/1188.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1188.73/1188.72 c 1144s| 1260k|134190 | 0 | 0.0 | 202M| 168 | - | 305 | 43k| 0 | 0 | 0 |1806k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1212.24/1212.26 c 1167s| 1270k|133724 | 0 | 0.0 | 201M| 168 | - | 305 | 42k| 0 | 0 | 0 |1822k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1230.73/1230.73 c 1185s| 1280k|135568 | 0 | 0.0 | 199M| 168 | - | 305 | 34k| 0 | 0 | 0 |1837k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1245.13/1245.20 c 1199s| 1290k|137976 | 0 | 0.0 | 199M| 168 | - | 305 | 28k| 0 | 0 | 0 |1852k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1257.73/1257.75 c 1211s| 1300k|140313 | 0 | 0.0 | 201M| 168 | - | 305 | 26k| 0 | 0 | 0 |1867k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1271.13/1271.11 c 1224s| 1310k|141488 | 0 | 0.0 | 203M| 168 | - | 305 | 26k| 0 | 0 | 0 |1883k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1285.43/1285.40 c 1238s| 1320k|141849 | 0 | 0.0 | 205M| 168 | - | 305 | 27k| 0 | 0 | 0 |1900k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1300.83/1300.81 c 1253s| 1330k|141247 | 0 | 0.0 | 207M| 168 | - | 305 | 28k| 0 | 0 | 0 |1918k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1317.53/1317.58 c 1269s| 1340k|140078 | 0 | 0.0 | 204M| 168 | - | 305 | 21k| 0 | 0 | 0 |1936k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1322.63/1322.61 c 1274s| 1350k|145512 | 0 | 0.0 | 206M| 168 | - | 305 | 12k| 0 | 0 | 0 |1947k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1329.53/1329.58 c 1281s| 1360k|147833 | 0 | 0.0 | 210M| 168 | - | 305 | 17k| 0 | 0 | 0 |1962k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1337.03/1337.07 c 1288s| 1370k|150330 | 0 | 0.0 | 210M| 168 | - | 305 | 12k| 0 | 0 | 0 |1974k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1344.03/1344.02 c 1295s| 1380k|149881 | 0 | 0.0 | 207M| 168 | - | 305 | 12k| 0 | 0 | 0 |1993k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1361.43/1361.47 c 1312s| 1390k|143222 | 0 | 0.0 | 198M| 168 | - | 305 | 24k| 0 | 0 | 0 |2019k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1381.33/1381.36 c 1331s| 1400k|140463 | 0 | 0.0 | 198M| 168 | - | 305 | 31k| 0 | 0 | 0 |2039k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1408.63/1408.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1408.63/1408.61 c 1358s| 1410k|135975 | 0 | 0.0 | 196M| 168 | - | 305 | 38k| 0 | 0 | 0 |2061k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1438.74/1438.73 c 1388s| 1420k|132631 | 0 | 0.0 | 193M| 168 | - | 305 | 38k| 0 | 0 | 0 |2082k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1463.24/1463.29 c 1412s| 1430k|131475 | 0 | 0.0 | 193M| 168 | - | 305 | 36k| 0 | 0 | 0 |2102k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1488.53/1488.54 c 1436s| 1440k|129390 | 0 | 0.0 | 194M| 168 | - | 305 | 38k| 0 | 0 | 0 |2123k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1515.94/1515.99 c 1464s| 1450k|126489 | 0 | 0.0 | 195M| 168 | - | 305 | 41k| 0 | 0 | 0 |2145k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1545.23/1545.21 c 1492s| 1460k|122982 | 0 | 0.0 | 194M| 168 | - | 305 | 44k| 0 | 0 | 0 |2167k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1577.84/1577.84 c 1524s| 1470k|118087 | 0 | 0.0 | 189M| 168 | - | 305 | 43k| 0 | 0 | 0 |2190k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1591.83/1591.81 c 1538s| 1480k|121121 | 0 | 0.0 | 187M| 168 | - | 305 | 25k| 0 | 0 | 0 |2204k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1603.44/1603.41 c 1549s| 1490k|122947 | 0 | 0.0 | 190M| 168 | - | 305 | 26k| 0 | 0 | 0 |2221k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1617.14/1617.13 c 1563s| 1500k|123393 | 0 | 0.0 | 194M| 168 | - | 305 | 33k| 0 | 0 | 0 |2240k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1633.44/1633.45 c 1579s| 1510k|123592 | 0 | 0.0 | 192M| 168 | - | 305 | 29k| 0 | 0 | 0 |2257k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1640.84/1640.80 c 1586s| 1520k|129242 | 0 | 0.0 | 194M| 168 | - | 305 | 20k| 0 | 0 | 0 |2267k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1649.64/1649.65 c 1594s| 1530k|132529 | 0 | 0.0 | 198M| 168 | - | 305 | 22k| 0 | 0 | 0 |2281k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1661.24/1661.25 c 1605s| 1540k|133302 | 0 | 0.0 | 200M| 168 | - | 305 | 19k| 0 | 0 | 0 |2298k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1668.94/1668.92 c 1613s| 1550k|135007 | 0 | 0.0 | 197M| 168 | - | 305 |6726 | 0 | 0 | 0 |2313k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1676.74/1676.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1676.74/1676.78 c 1620s| 1560k|133358 | 0 | 0.0 | 200M| 168 | - | 305 |8286 | 0 | 0 | 0 |2332k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1687.84/1687.83 c 1631s| 1570k|127282 | 0 | 0.0 | 199M| 168 | - | 305 | 12k| 0 | 0 | 0 |2353k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1704.74/1704.72 c 1647s| 1580k|115504 | 0 | 0.0 | 188M| 168 | - | 305 | 23k| 0 | 0 | 0 |2378k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1731.74/1731.75 c 1674s| 1590k|106682 | 0 | 0.0 | 175M| 168 | - | 305 | 30k| 0 | 0 | 0 |2405k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1749.54/1749.51 c 1691s| 1600k|105498 | 0 | 0.0 | 175M| 168 | - | 305 | 30k| 0 | 0 | 0 |2426k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1769.85/1769.84 c 1711s| 1610k|103221 | 0 | 0.0 | 176M| 168 | - | 305 | 38k| 0 | 0 | 0 |2448k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1796.05/1796.02 c 1737s| 1620k| 99473 | 0 | 0.0 | 175M| 168 | - | 305 | 49k| 0 | 0 | 0 |2472k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1740.68
1800.04/1800.00 c Solving Nodes : 1622230
1800.04/1800.00 c Primal Bound : +1.70000000000000e+01 (24 solutions)
1800.04/1800.00 c Dual Bound : +5.00000000000000e+00
1800.04/1800.00 c Gap : 240.00 %
1800.04/1800.00 s SATISFIABLE
1800.04/1800.00 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
1800.04/1800.00 v -x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1800.04/1800.00 v -x126 -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1800.04/1800.00 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
1800.04/1800.00 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
1800.04/1800.00 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
1800.04/1800.00 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
1800.04/1800.00 v x4 -x3 -x2 -x1
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time : 1740.68
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-2693839-1277895291.wbo
1800.04/1800.00 c Variables : 307 (238 binary, 0 integer, 0 implicit integer, 69 continuous)
1800.04/1800.00 c Constraints : 171 initial, 171 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-2693839-1277895291.wbo
1800.04/1800.00 c Variables : 305 (237 binary, 0 integer, 0 implicit integer, 68 continuous)
1800.04/1800.00 c Constraints : 166 initial, 65185 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.04/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.00 0 0 0 68 0 4 1 0
1800.04/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c root node : - 14 - - 28 - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 68 0 4566681 0 1024040 2694 1031728 0 0 0
1800.04/1800.00 c setppc : 20 0 5050039 0 1117920 45504 4055125 0 0 0
1800.04/1800.00 c linear : 68 0 5004610 0 1117952 559723 21162513 0 0 0
1800.04/1800.00 c logicor : 10+ 0 2492396 0 1117937 132753 1475831 0 0 0
1800.04/1800.00 c bounddisjunction : 0+ 0 201114 0 0 0 2313 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 1117974 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c indicator : 1.37 0.00 0.81 0.00 0.56
1800.04/1800.00 c setppc : 11.28 0.00 9.09 0.00 2.19
1800.04/1800.00 c linear : 116.48 0.00 116.44 0.00 0.04
1800.04/1800.00 c logicor : 824.79 0.00 824.12 0.00 0.67
1800.04/1800.00 c bounddisjunction : 4.29 0.00 4.29 0.00 0.00
1800.04/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.00 c vbounds : 0.00 2 0 0
1800.04/1800.00 c rootredcost : 0.01 0 0 0
1800.04/1800.00 c pseudoobj : 9.07 5054429 1781 873618
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 41.04 739760 739666 4232783 26.1 311349 13.8 -
1800.04/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.00 56 56 156 11.4 25 13.8 -
1800.04/1800.00 c applied globally : - - - 2415561 18.0 - - -
1800.04/1800.00 c applied locally : - - - 60002 37.3 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.00 c redcost : 0.00 0 0 0 0 0
1800.04/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.00 c cmir : 0.00 0 0 0 0 0
1800.04/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.00 c clique : 0.00 0 0 0 0 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 7.72 1117950 0 0 0 0 2235900
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.00 - 0
1800.04/1800.00 c pseudo solutions : 0.17 - 24
1800.04/1800.00 c oneopt : 0.03 0 0
1800.04/1800.00 c trivial : 0.00 2 0
1800.04/1800.00 c simplerounding : 0.00 0 0
1800.04/1800.00 c zirounding : 0.00 0 0
1800.04/1800.00 c rounding : 0.00 0 0
1800.04/1800.00 c shifting : 0.00 0 0
1800.04/1800.00 c intshifting : 0.00 0 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c feaspump : 0.00 0 0
1800.04/1800.00 c coefdiving : 0.00 0 0
1800.04/1800.00 c pscostdiving : 0.00 0 0
1800.04/1800.00 c fracdiving : 0.00 0 0
1800.04/1800.00 c veclendiving : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c objpscostdiving : 0.00 0 0
1800.04/1800.00 c rootsoldiving : 0.00 0 0
1800.04/1800.00 c linesearchdiving : 0.00 0 0
1800.04/1800.00 c guideddiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.00 0 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c crossover : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c undercover : 0.00 0 0
1800.04/1800.00 c nlp : 0.00 0 0
1800.04/1800.00 c trysol : 0.00 1 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.00 c (at root node) : - 0 0 0.00 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 1622230
1800.04/1800.00 c nodes (total) : 1622230
1800.04/1800.00 c nodes left : 100299
1800.04/1800.00 c max depth : 168
1800.04/1800.00 c max depth (total): 168
1800.04/1800.00 c backtracks : 559079 (34.5%)
1800.04/1800.00 c delayed cutoffs : 416470
1800.04/1800.00 c repropagations : 1908196 (8176004 domain reductions, 238255 cutoffs)
1800.04/1800.00 c avg switch length: 23.47
1800.04/1800.00 c switching time : 568.41
1800.04/1800.00 c Solution :
1800.04/1800.01 c Solutions found : 24 (24 improvements)
1800.04/1800.01 c First Solution : +5.68000000000000e+02 (in run 1, after 170033 nodes, 66.79 seconds, depth 129, found by <relaxation>)
1800.04/1800.01 c Primal Bound : +1.70000000000000e+01 (in run 1, after 1062933 nodes, 757.07 seconds, depth 81, found by <relaxation>)
1800.04/1800.01 c Dual Bound : +5.00000000000000e+00
1800.04/1800.01 c Gap : 240.00 %
1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Root Iterations : 0
1800.35/1800.36 c Time complete: 1800.41.