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-2693953-1277898366.wbo>
0.00/0.00 c original problem has 297 variables (233 bin, 0 int, 0 impl, 64 cont) and 166 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, 64 impls, 30 clqs
0.00/0.01 c (round 2) 0 del vars, 6 del conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 64 impls, 30 clqs
0.00/0.01 c (round 3) 2 del vars, 8 del conss, 62 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 64 impls, 30 clqs
0.00/0.01 c (round 4) 4 del vars, 8 del conss, 62 chg bounds, 2 chg sides, 0 chg coeffs, 34 upgd conss, 64 impls, 30 clqs
0.00/0.02 c (0.0s) probing: 101/231 (43.7%) - 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 4 deleted vars, 8 deleted constraints, 62 tightened bounds, 0 added holes, 2 changed sides, 0 changed coefficients
0.00/0.02 c 64 implications, 30 cliques
0.00/0.02 c presolved problem has 293 variables (231 bin, 0 int, 0 impl, 62 cont) and 158 constraints
0.00/0.02 c 62 constraints of type <indicator>
0.00/0.02 c 30 constraints of type <setppc>
0.00/0.02 c 62 constraints of type <linear>
0.00/0.02 c 4 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 | - | 926k| 0 | - | 293 | 158 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.09/1.12 c 1.0s| 10000 | 7167 | 0 | 0.0 |6811k| 176 | - | 293 |3485 | 0 | 0 | 0 |7918 | 0 | 0.000000e+00 | -- | Inf
2.99/3.08 c 2.8s| 20000 | 12509 | 0 | 0.0 | 11M| 176 | - | 293 |4819 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
5.50/5.54 c 5.2s| 30000 | 17201 | 0 | 0.0 | 16M| 176 | - | 293 |7185 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
8.49/8.57 c 8.1s| 40000 | 20937 | 0 | 0.0 | 21M| 176 | - | 293 |9103 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
11.90/11.94 c 11.4s| 50000 | 24034 | 0 | 0.0 | 26M| 176 | - | 293 | 11k| 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
15.59/15.65 c 14.9s| 60000 | 27507 | 0 | 0.0 | 28M| 176 | - | 293 |6802 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
17.00/17.07 o 616
17.00/17.07 c *16.3s| 66456 | 31134 | 0 | 0.0 | 30M| 176 | - | 293 |5366 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 6.160000e+02 | Inf
17.10/17.13 o 548
17.10/17.13 c *16.4s| 66941 | 31539 | 0 | 0.0 | 30M| 176 | - | 293 |4995 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 5.480000e+02 | Inf
17.99/18.07 c 17.3s| 70000 | 32380 | 0 | 0.0 | 32M| 176 | - | 293 |6305 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 5.480000e+02 | Inf
22.39/22.41 c 21.5s| 80000 | 33364 | 0 | 0.0 | 37M| 176 | - | 293 | 10k| 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 5.480000e+02 | Inf
28.40/28.40 c 27.3s| 90000 | 32820 | 0 | 0.0 | 40M| 176 | - | 293 | 14k| 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 5.480000e+02 | Inf
35.19/35.27 c 34.1s|100000 | 32030 | 0 | 0.0 | 43M| 176 | - | 293 | 16k| 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 5.480000e+02 | Inf
42.90/42.96 c 41.6s|110000 | 31073 | 0 | 0.0 | 46M| 176 | - | 293 | 21k| 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 5.480000e+02 | Inf
53.10/53.11 c 51.6s|120000 | 28944 | 0 | 0.0 | 46M| 176 | - | 293 | 24k| 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 5.480000e+02 | Inf
57.40/57.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.40/57.44 c 55.9s|130000 | 35029 | 0 | 0.0 | 47M| 176 | - | 293 | 11k| 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 5.480000e+02 | Inf
61.59/61.68 c 60.0s|140000 | 38812 | 0 | 0.0 | 51M| 176 | - | 293 | 12k| 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 5.480000e+02 | Inf
67.50/67.56 c 65.7s|150000 | 39954 | 0 | 0.0 | 54M| 176 | - | 293 | 13k| 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 5.480000e+02 | Inf
67.69/67.73 o 450
67.69/67.73 c *65.9s|150927 | 40776 | 0 | 0.0 | 53M| 176 | - | 293 | 10k| 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 4.500000e+02 | Inf
67.69/67.73 o 399
67.69/67.73 c *65.9s|150928 | 40775 | 0 | 0.0 | 53M| 176 | - | 293 | 10k| 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 3.990000e+02 | Inf
68.00/68.00 o 284
68.00/68.00 c *66.1s|152506 | 42112 | 0 | 0.0 | 53M| 176 | - | 293 |6960 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 2.840000e+02 | Inf
68.89/68.93 c 67.0s|160000 | 48338 | 0 | 0.0 | 55M| 176 | - | 293 |4268 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 2.840000e+02 | Inf
70.30/70.32 c 68.3s|170000 | 55821 | 0 | 0.0 | 59M| 176 | - | 293 |5764 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 2.840000e+02 | Inf
73.89/73.93 c 71.8s|180000 | 57393 | 0 | 0.0 | 62M| 176 | - | 293 | 10k| 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 2.840000e+02 | Inf
84.29/84.34 c 82.1s|190000 | 51378 | 0 | 0.0 | 59M| 176 | - | 293 | 22k| 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 2.840000e+02 | Inf
98.30/98.32 c 96.0s|200000 | 47434 | 0 | 0.0 | 52M| 176 | - | 293 | 22k| 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 2.840000e+02 | Inf
105.79/105.85 c 103s|210000 | 49809 | 0 | 0.0 | 53M| 176 | - | 293 | 17k| 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 2.840000e+02 | Inf
113.89/113.97 c 111s|220000 | 50642 | 0 | 0.0 | 56M| 176 | - | 293 | 19k| 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 2.840000e+02 | Inf
123.90/123.92 c 121s|230000 | 49894 | 0 | 0.0 | 58M| 176 | - | 293 | 22k| 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | 2.840000e+02 | Inf
136.40/136.43 c 134s|240000 | 46881 | 0 | 0.0 | 57M| 176 | - | 293 | 26k| 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 2.840000e+02 | Inf
141.69/141.72 o 250
141.69/141.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
141.69/141.72 c * 139s|247909 | 50376 | 0 | 0.0 | 52M| 176 | - | 293 | 10k| 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | 2.500000e+02 | Inf
142.09/142.16 c 139s|250000 | 52004 | 0 | 0.0 | 53M| 176 | - | 293 |8149 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | 2.500000e+02 | Inf
143.90/143.93 c 141s|260000 | 59614 | 0 | 0.0 | 56M| 176 | - | 293 |5766 | 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | 2.500000e+02 | Inf
145.70/145.72 c 143s|270000 | 66817 | 0 | 0.0 | 59M| 176 | - | 293 |5984 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | 2.500000e+02 | Inf
147.49/147.54 c 144s|280000 | 73877 | 0 | 0.0 | 63M| 176 | - | 293 |6533 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | 2.500000e+02 | Inf
147.60/147.64 o 230
147.60/147.64 c * 144s|280479 | 74173 | 0 | 0.0 | 63M| 176 | - | 293 |6576 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | 2.300000e+02 | Inf
149.50/149.54 c 146s|290000 | 80578 | 0 | 0.0 | 67M| 176 | - | 293 |7169 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 2.300000e+02 | Inf
151.49/151.55 c 148s|300000 | 87265 | 0 | 0.0 | 71M| 176 | - | 293 |7593 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 2.300000e+02 | Inf
153.49/153.59 c 150s|310000 | 93898 | 0 | 0.0 | 75M| 176 | - | 293 |8186 | 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 2.300000e+02 | Inf
155.80/155.81 c 152s|320000 |100230 | 0 | 0.0 | 79M| 176 | - | 293 |8544 | 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 2.300000e+02 | Inf
158.10/158.13 c 154s|330000 |106402 | 0 | 0.0 | 82M| 176 | - | 293 |9253 | 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 2.300000e+02 | Inf
158.69/158.71 o 188
158.69/158.71 c * 155s|332347 |107648 | 0 | 0.0 | 83M| 176 | - | 293 |9479 | 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 1.880000e+02 | Inf
160.61/160.61 c 157s|340000 |112149 | 0 | 0.0 | 86M| 176 | - | 293 |9859 | 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 1.880000e+02 | Inf
163.30/163.34 c 159s|350000 |117653 | 0 | 0.0 | 90M| 176 | - | 293 | 10k| 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 1.880000e+02 | Inf
166.10/166.12 c 162s|360000 |122980 | 0 | 0.0 | 93M| 176 | - | 293 | 11k| 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | 1.880000e+02 | Inf
169.30/169.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
169.30/169.37 c 165s|370000 |127565 | 0 | 0.0 | 97M| 176 | - | 293 | 12k| 0 | 0 | 0 | 437k| 0 | 1.000000e+00 | 1.880000e+02 | Large
170.40/170.42 o 186
170.40/170.42 c * 166s|373141 |128935 | 0 | 0.0 | 98M| 176 | - | 293 | 12k| 0 | 0 | 0 | 439k| 0 | 1.000000e+00 | 1.860000e+02 | Large
170.40/170.42 o 170
170.40/170.42 c * 166s|373142 |128808 | 0 | 0.0 | 98M| 176 | - | 293 | 12k| 0 | 0 | 0 | 439k| 0 | 1.000000e+00 | 1.700000e+02 | Large
172.20/172.28 c 168s|380000 |133030 | 0 | 0.0 | 99M| 176 | - | 293 |4706 | 0 | 0 | 0 | 443k| 0 | 1.000000e+00 | 1.700000e+02 | Large
179.09/179.17 c 175s|390000 |130438 | 0 | 0.0 | 103M| 176 | - | 293 | 14k| 0 | 0 | 0 | 466k| 0 | 1.000000e+00 | 1.700000e+02 | Large
192.80/192.85 c 188s|400000 |125215 | 0 | 0.0 | 104M| 176 | - | 293 | 26k| 0 | 0 | 0 | 489k| 0 | 1.000000e+00 | 1.700000e+02 | Large
211.40/211.40 c 207s|410000 |119186 | 0 | 0.0 | 98M| 176 | - | 293 | 34k| 0 | 0 | 0 | 512k| 0 | 1.000000e+00 | 1.700000e+02 | Large
217.20/217.21 c 212s|420000 |125595 | 0 | 0.0 | 95M| 176 | - | 293 | 13k| 0 | 0 | 0 | 521k| 0 | 1.000000e+00 | 1.700000e+02 | Large
220.89/220.90 c 216s|430000 |131503 | 0 | 0.0 | 98M| 176 | - | 293 |9503 | 0 | 0 | 0 | 529k| 0 | 1.000000e+00 | 1.700000e+02 | Large
224.00/224.00 c 219s|440000 |137232 | 0 | 0.0 | 101M| 176 | - | 293 |7547 | 0 | 0 | 0 | 537k| 0 | 1.000000e+00 | 1.700000e+02 | Large
226.90/226.93 c 222s|450000 |142653 | 0 | 0.0 | 105M| 176 | - | 293 |7172 | 0 | 0 | 0 | 545k| 0 | 1.000000e+00 | 1.700000e+02 | Large
229.50/229.56 c 224s|460000 |148366 | 0 | 0.0 | 108M| 176 | - | 293 |7484 | 0 | 0 | 0 | 552k| 0 | 1.000000e+00 | 1.700000e+02 | Large
232.20/232.29 c 227s|470000 |153977 | 0 | 0.0 | 112M| 176 | - | 293 |7810 | 0 | 0 | 0 | 558k| 0 | 1.000000e+00 | 1.700000e+02 | Large
235.09/235.12 c 230s|480000 |159364 | 0 | 0.0 | 116M| 176 | - | 293 |7780 | 0 | 0 | 0 | 565k| 0 | 1.000000e+00 | 1.700000e+02 | Large
236.89/236.99 o 162
236.89/236.99 c * 231s|486781 |162962 | 0 | 0.0 | 118M| 176 | - | 293 |8024 | 0 | 0 | 0 | 569k| 0 | 1.000000e+00 | 1.620000e+02 | Large
237.89/237.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
237.89/237.91 c 232s|490000 |164712 | 0 | 0.0 | 119M| 176 | - | 293 |7986 | 0 | 0 | 0 | 572k| 0 | 1.000000e+00 | 1.620000e+02 | Large
240.91/240.91 c 235s|500000 |169774 | 0 | 0.0 | 123M| 176 | - | 293 |8062 | 0 | 0 | 0 | 579k| 0 | 1.000000e+00 | 1.620000e+02 | Large
243.90/243.97 c 238s|510000 |174799 | 0 | 0.0 | 126M| 176 | - | 293 |8141 | 0 | 0 | 0 | 586k| 0 | 1.000000e+00 | 1.620000e+02 | Large
247.00/247.05 c 241s|520000 |179723 | 0 | 0.0 | 130M| 176 | - | 293 |8436 | 0 | 0 | 0 | 593k| 0 | 1.000000e+00 | 1.620000e+02 | Large
250.20/250.29 c 244s|530000 |184449 | 0 | 0.0 | 133M| 176 | - | 293 |8692 | 0 | 0 | 0 | 601k| 0 | 1.000000e+00 | 1.620000e+02 | Large
253.50/253.53 c 247s|540000 |189131 | 0 | 0.0 | 136M| 176 | - | 293 |8835 | 0 | 0 | 0 | 609k| 0 | 1.000000e+00 | 1.620000e+02 | Large
256.80/256.88 c 251s|550000 |193587 | 0 | 0.0 | 139M| 176 | - | 293 |9059 | 0 | 0 | 0 | 616k| 0 | 1.000000e+00 | 1.620000e+02 | Large
260.19/260.22 c 254s|560000 |197988 | 0 | 0.0 | 143M| 176 | - | 293 |9339 | 0 | 0 | 0 | 624k| 0 | 1.000000e+00 | 1.620000e+02 | Large
263.40/263.47 c 257s|570000 |202700 | 0 | 0.0 | 146M| 176 | - | 293 |9677 | 0 | 0 | 0 | 632k| 0 | 1.000000e+00 | 1.620000e+02 | Large
266.90/266.95 c 260s|580000 |206914 | 0 | 0.0 | 149M| 176 | - | 293 | 10k| 0 | 0 | 0 | 640k| 0 | 1.000000e+00 | 1.620000e+02 | Large
268.09/268.13 o 153
268.09/268.13 c * 261s|583176 |207866 | 0 | 0.0 | 150M| 176 | - | 293 |9658 | 0 | 0 | 0 | 642k| 0 | 1.000000e+00 | 1.530000e+02 | Large
270.39/270.41 c 264s|590000 |210922 | 0 | 0.0 | 152M| 176 | - | 293 | 10k| 0 | 0 | 0 | 647k| 0 | 1.000000e+00 | 1.530000e+02 | Large
273.90/273.90 c 267s|600000 |215183 | 0 | 0.0 | 155M| 176 | - | 293 | 10k| 0 | 0 | 0 | 655k| 0 | 1.000000e+00 | 1.530000e+02 | Large
277.50/277.52 c 270s|610000 |219272 | 0 | 0.0 | 159M| 176 | - | 293 | 10k| 0 | 0 | 0 | 662k| 0 | 1.000000e+00 | 1.530000e+02 | Large
278.50/278.56 o 130
278.50/278.56 c * 271s|612942 |217756 | 0 | 0.0 | 156M| 176 | - | 293 | 10k| 0 | 0 | 0 | 665k| 0 | 1.000000e+00 | 1.300000e+02 | Large
281.40/281.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
281.40/281.45 c 274s|620000 |220209 | 0 | 0.0 | 159M| 176 | - | 293 | 10k| 0 | 0 | 0 | 670k| 0 | 1.000000e+00 | 1.300000e+02 | Large
285.69/285.78 c 278s|630000 |223282 | 0 | 0.0 | 162M| 176 | - | 293 | 11k| 0 | 0 | 0 | 679k| 0 | 2.000000e+00 | 1.300000e+02 |6400.00%
289.90/289.94 c 283s|640000 |226627 | 0 | 0.0 | 166M| 176 | - | 293 | 10k| 0 | 0 | 0 | 687k| 0 | 2.000000e+00 | 1.300000e+02 |6400.00%
294.19/294.27 c 287s|650000 |229513 | 0 | 0.0 | 171M| 176 | - | 293 | 11k| 0 | 0 | 0 | 696k| 0 | 2.000000e+00 | 1.300000e+02 |6400.00%
298.70/298.73 c 291s|660000 |232150 | 0 | 0.0 | 175M| 176 | - | 293 | 11k| 0 | 0 | 0 | 705k| 0 | 2.000000e+00 | 1.300000e+02 |6400.00%
301.80/301.84 o 100
301.80/301.84 c * 294s|666824 |229707 | 0 | 0.0 | 174M| 176 | - | 293 | 12k| 0 | 0 | 0 | 710k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
303.61/303.64 c 296s|670000 |229864 | 0 | 0.0 | 175M| 176 | - | 293 | 12k| 0 | 0 | 0 | 714k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
309.00/309.01 c 301s|680000 |231003 | 0 | 0.0 | 179M| 176 | - | 293 | 12k| 0 | 0 | 0 | 723k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
315.10/315.11 c 307s|690000 |230577 | 0 | 0.0 | 183M| 176 | - | 293 | 12k| 0 | 0 | 0 | 734k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
322.00/322.08 c 314s|700000 |228770 | 0 | 0.0 | 187M| 176 | - | 293 | 13k| 0 | 0 | 0 | 745k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
326.50/326.57 c 318s|710000 |232415 | 0 | 0.0 | 189M| 176 | - | 293 |8584 | 0 | 0 | 0 | 755k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
329.80/329.87 c 321s|720000 |237624 | 0 | 0.0 | 194M| 176 | - | 293 |9306 | 0 | 0 | 0 | 765k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
334.30/334.36 c 326s|730000 |240379 | 0 | 0.0 | 197M| 176 | - | 293 |9321 | 0 | 0 | 0 | 778k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
338.00/338.02 c 329s|740000 |244456 | 0 | 0.0 | 202M| 176 | - | 293 |9028 | 0 | 0 | 0 | 790k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
342.11/342.16 c 333s|750000 |248463 | 0 | 0.0 | 207M| 176 | - | 293 | 11k| 0 | 0 | 0 | 801k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
346.80/346.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
346.80/346.80 c 338s|760000 |252292 | 0 | 0.0 | 212M| 176 | - | 293 | 13k| 0 | 0 | 0 | 812k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
352.19/352.30 c 343s|770000 |255594 | 0 | 0.0 | 216M| 176 | - | 293 | 16k| 0 | 0 | 0 | 822k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
358.80/358.89 c 350s|780000 |258228 | 0 | 0.0 | 221M| 176 | - | 293 | 17k| 0 | 0 | 0 | 833k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
366.20/366.21 c 357s|790000 |260573 | 0 | 0.0 | 225M| 176 | - | 293 | 19k| 0 | 0 | 0 | 844k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
374.10/374.16 c 365s|800000 |262796 | 0 | 0.0 | 229M| 176 | - | 293 | 20k| 0 | 0 | 0 | 855k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
382.50/382.51 c 373s|810000 |265070 | 0 | 0.0 | 233M| 176 | - | 293 | 22k| 0 | 0 | 0 | 866k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
391.90/391.94 c 382s|820000 |266835 | 0 | 0.0 | 237M| 176 | - | 293 | 23k| 0 | 0 | 0 | 877k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
401.90/401.99 c 392s|830000 |268224 | 0 | 0.0 | 240M| 176 | - | 293 | 24k| 0 | 0 | 0 | 888k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
411.89/411.93 c 402s|840000 |270147 | 0 | 0.0 | 244M| 176 | - | 293 | 24k| 0 | 0 | 0 | 899k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
422.90/422.93 c 413s|850000 |271364 | 0 | 0.0 | 247M| 176 | - | 293 | 25k| 0 | 0 | 0 | 911k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
433.79/433.82 c 423s|860000 |272745 | 0 | 0.0 | 251M| 176 | - | 293 | 26k| 0 | 0 | 0 | 922k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
444.89/444.90 c 434s|870000 |273954 | 0 | 0.0 | 254M| 176 | - | 293 | 26k| 0 | 0 | 0 | 934k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
456.59/456.68 c 446s|880000 |275009 | 0 | 0.0 | 257M| 176 | - | 293 | 27k| 0 | 0 | 0 | 945k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
468.69/468.79 c 458s|890000 |275672 | 0 | 0.0 | 260M| 176 | - | 293 | 26k| 0 | 0 | 0 | 957k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
480.19/480.21 c 469s|900000 |276533 | 0 | 0.0 | 263M| 176 | - | 293 | 25k| 0 | 0 | 0 | 968k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
491.79/491.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
491.79/491.81 c 481s|910000 |276958 | 0 | 0.0 | 266M| 176 | - | 293 | 26k| 0 | 0 | 0 | 980k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
503.70/503.74 c 492s|920000 |277134 | 0 | 0.0 | 268M| 176 | - | 293 | 25k| 0 | 0 | 0 | 992k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
510.90/510.96 o 92
510.90/510.96 c * 500s|926343 |274686 | 0 | 0.0 | 268M| 176 | - | 293 | 26k| 0 | 0 | 0 |1000k| 0 | 2.000000e+00 | 9.200000e+01 |4500.00%
515.49/515.59 c 504s|930000 |274542 | 0 | 0.0 | 269M| 176 | - | 293 | 25k| 0 | 0 | 0 |1004k| 0 | 2.000000e+00 | 9.200000e+01 |4500.00%
527.90/527.98 c 516s|940000 |274087 | 0 | 0.0 | 273M| 176 | - | 293 | 25k| 0 | 0 | 0 |1017k| 0 | 2.000000e+00 | 9.200000e+01 |4500.00%
537.49/537.58 c 526s|950000 |273324 | 0 | 0.0 | 270M| 176 | - | 293 |8304 | 0 | 0 | 0 |1029k| 0 | 2.000000e+00 | 9.200000e+01 |4500.00%
537.80/537.88 o 80
537.80/537.88 c * 526s|950463 |252072 | 0 | 0.0 | 250M| 176 | - | 293 |8609 | 0 | 0 | 0 |1030k| 0 | 2.000000e+00 | 8.000000e+01 |3900.00%
544.59/544.68 c 532s|960000 |250268 | 0 | 0.0 | 255M| 176 | - | 293 | 11k| 0 | 0 | 0 |1043k| 0 | 2.000000e+00 | 8.000000e+01 |3900.00%
553.30/553.39 c 541s|970000 |247152 | 0 | 0.0 | 257M| 176 | - | 293 | 12k| 0 | 0 | 0 |1057k| 0 | 2.000000e+00 | 8.000000e+01 |3900.00%
562.39/562.46 c 550s|980000 |243971 | 0 | 0.0 | 259M| 176 | - | 293 | 12k| 0 | 0 | 0 |1071k| 0 | 2.000000e+00 | 8.000000e+01 |3900.00%
572.00/572.02 c 559s|990000 |240099 | 0 | 0.0 | 260M| 176 | - | 293 | 13k| 0 | 0 | 0 |1086k| 0 | 2.000000e+00 | 8.000000e+01 |3900.00%
582.79/582.87 c 570s| 1000k|234596 | 0 | 0.0 | 258M| 176 | - | 293 | 14k| 0 | 0 | 0 |1101k| 0 | 2.000000e+00 | 8.000000e+01 |3900.00%
589.79/589.89 c 577s| 1010k|233732 | 0 | 0.0 | 257M| 176 | - | 293 |6641 | 0 | 0 | 0 |1117k| 0 | 2.000000e+00 | 8.000000e+01 |3900.00%
595.49/595.59 c 582s| 1020k|234231 | 0 | 0.0 | 260M| 176 | - | 293 |9771 | 0 | 0 | 0 |1134k| 0 | 2.000000e+00 | 8.000000e+01 |3900.00%
603.00/603.08 c 590s| 1030k|232964 | 0 | 0.0 | 263M| 176 | - | 293 | 13k| 0 | 0 | 0 |1152k| 0 | 2.000000e+00 | 8.000000e+01 |3900.00%
606.49/606.55 o 72
606.49/606.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
606.49/606.55 c * 593s| 1034k|220026 | 0 | 0.0 | 242M| 176 | - | 293 | 14k| 0 | 0 | 0 |1159k| 0 | 2.000000e+00 | 7.200000e+01 |3500.00%
610.59/610.65 c 597s| 1040k|219467 | 0 | 0.0 | 239M| 176 | - | 293 |5086 | 0 | 0 | 0 |1169k| 0 | 2.000000e+00 | 7.200000e+01 |3500.00%
617.19/617.22 c 603s| 1050k|218252 | 0 | 0.0 | 243M| 176 | - | 293 |9360 | 0 | 0 | 0 |1187k| 0 | 2.000000e+00 | 7.200000e+01 |3500.00%
626.80/626.87 o 59
626.80/626.87 c * 613s| 1059k|161708 | 0 | 0.0 | 188M| 176 | - | 293 | 13k| 0 | 0 | 0 |1205k| 0 | 2.000000e+00 | 5.900000e+01 |2850.00%
628.10/628.18 c 614s| 1060k|161054 | 0 | 0.0 | 188M| 176 | - | 293 | 12k| 0 | 0 | 0 |1207k| 0 | 2.000000e+00 | 5.900000e+01 |2850.00%
639.29/639.30 c 625s| 1070k|148091 | 0 | 0.0 | 181M| 176 | - | 293 |9115 | 0 | 0 | 0 |1238k| 0 | 2.000000e+00 | 5.900000e+01 |2850.00%
658.20/658.25 c 643s| 1080k|131393 | 0 | 0.0 | 172M| 176 | - | 293 | 16k| 0 | 0 | 0 |1269k| 0 | 2.000000e+00 | 5.900000e+01 |2850.00%
683.20/683.20 o 40
683.20/683.20 c * 668s| 1089k|103449 | 0 | 0.0 | 145M| 176 | - | 293 | 21k| 0 | 0 | 0 |1300k| 0 | 2.000000e+00 | 4.000000e+01 |1900.00%
684.69/684.72 c 670s| 1090k|102372 | 0 | 0.0 | 144M| 176 | - | 293 | 21k| 0 | 0 | 0 |1302k| 0 | 2.000000e+00 | 4.000000e+01 |1900.00%
698.30/698.38 c 683s| 1100k| 87921 | 0 | 0.0 | 121M| 176 | - | 293 |9348 | 0 | 0 | 0 |1335k| 0 | 2.000000e+00 | 4.000000e+01 |1900.00%
709.00/709.02 c 693s| 1110k| 82648 | 0 | 0.0 | 119M| 176 | - | 293 | 14k| 0 | 0 | 0 |1361k| 0 | 2.000000e+00 | 4.000000e+01 |1900.00%
721.50/721.53 c 706s| 1120k| 76965 | 0 | 0.0 | 112M| 176 | - | 293 | 11k| 0 | 0 | 0 |1385k| 0 | 2.000000e+00 | 4.000000e+01 |1900.00%
724.59/724.66 o 35
724.59/724.66 c * 709s| 1129k| 78839 | 0 | 0.0 | 113M| 176 | - | 293 |9529 | 0 | 0 | 0 |1397k| 0 | 2.000000e+00 | 3.500000e+01 |1650.00%
725.80/725.83 c 710s| 1130k| 77013 | 0 | 0.0 | 111M| 176 | - | 293 | 11k| 0 | 0 | 0 |1401k| 0 | 2.000000e+00 | 3.500000e+01 |1650.00%
740.00/740.02 c 724s| 1140k| 64376 | 0 | 0.0 | 88M| 176 | - | 293 | 16k| 0 | 0 | 0 |1429k| 0 | 3.000000e+00 | 3.500000e+01 |1066.67%
744.60/744.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
744.60/744.67 c 728s| 1150k| 69418 | 0 | 0.0 | 88M| 176 | - | 293 | 10k| 0 | 0 | 0 |1440k| 0 | 4.000000e+00 | 3.500000e+01 | 775.00%
751.20/751.21 c 735s| 1160k| 70923 | 0 | 0.0 | 93M| 176 | - | 293 | 15k| 0 | 0 | 0 |1456k| 0 | 6.000000e+00 | 3.500000e+01 | 483.33%
756.59/756.64 c 740s| 1170k| 71654 | 0 | 0.0 | 91M| 176 | - | 293 |7366 | 0 | 0 | 0 |1470k| 0 | 6.000000e+00 | 3.500000e+01 | 483.33%
761.30/761.34 c 745s| 1180k| 75168 | 0 | 0.0 | 96M| 176 | - | 293 | 13k| 0 | 0 | 0 |1486k| 0 | 6.000000e+00 | 3.500000e+01 | 483.33%
769.30/769.33 c 752s| 1190k| 75994 | 0 | 0.0 | 101M| 176 | - | 293 | 18k| 0 | 0 | 0 |1505k| 0 | 6.000000e+00 | 3.500000e+01 | 483.33%
781.20/781.29 c 764s| 1200k| 74386 | 0 | 0.0 | 104M| 176 | - | 293 | 25k| 0 | 0 | 0 |1526k| 0 | 6.000000e+00 | 3.500000e+01 | 483.33%
792.29/792.33 c 775s| 1210k| 76226 | 0 | 0.0 | 102M| 176 | - | 293 | 15k| 0 | 0 | 0 |1542k| 0 | 6.000000e+00 | 3.500000e+01 | 483.33%
797.60/797.63 c 780s| 1220k| 80337 | 0 | 0.0 | 105M| 176 | - | 293 | 14k| 0 | 0 | 0 |1555k| 0 | 6.000000e+00 | 3.500000e+01 | 483.33%
805.80/805.89 c 788s| 1230k| 80430 | 0 | 0.0 | 109M| 176 | - | 293 | 20k| 0 | 0 | 0 |1575k| 0 | 6.000000e+00 | 3.500000e+01 | 483.33%
821.50/821.58 c 804s| 1240k| 77749 | 0 | 0.0 | 112M| 176 | - | 293 | 30k| 0 | 0 | 0 |1599k| 0 | 6.000000e+00 | 3.500000e+01 | 483.33%
845.10/845.18 c 827s| 1250k| 72322 | 0 | 0.0 | 106M| 176 | - | 293 | 30k| 0 | 0 | 0 |1625k| 0 | 6.000000e+00 | 3.500000e+01 | 483.33%
857.90/857.95 c 840s| 1260k| 73215 | 0 | 0.0 | 104M| 176 | - | 293 | 19k| 0 | 0 | 0 |1643k| 0 | 6.000000e+00 | 3.500000e+01 | 483.33%
868.70/868.71 c 851s| 1270k| 73184 | 0 | 0.0 | 107M| 176 | - | 293 | 22k| 0 | 0 | 0 |1662k| 0 | 6.000000e+00 | 3.500000e+01 | 483.33%
881.50/881.55 c 863s| 1280k| 71506 | 0 | 0.0 | 107M| 176 | - | 293 | 23k| 0 | 0 | 0 |1682k| 0 | 6.000000e+00 | 3.500000e+01 | 483.33%
902.00/902.07 c 884s| 1290k| 64894 | 0 | 0.0 | 97M| 176 | - | 293 | 27k| 0 | 0 | 0 |1708k| 0 | 7.000000e+00 | 3.500000e+01 | 400.00%
919.60/919.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
919.60/919.69 c 901s| 1300k| 61176 | 0 | 0.0 | 96M| 176 | - | 293 | 31k| 0 | 0 | 0 |1731k| 0 | 7.000000e+00 | 3.500000e+01 | 400.00%
940.21/940.22 c 921s| 1310k| 54256 | 0 | 0.0 | 81M| 176 | - | 293 | 24k| 0 | 0 | 0 |1754k| 0 | 1.400000e+01 | 3.500000e+01 | 150.00%
943.10/943.12 c 924s| 1320k| 61446 | 0 | 0.0 | 83M| 176 | - | 293 | 15k| 0 | 0 | 0 |1762k| 0 | 1.400000e+01 | 3.500000e+01 | 150.00%
946.50/946.59 c 928s| 1330k| 67813 | 0 | 0.0 | 85M| 176 | - | 293 | 11k| 0 | 0 | 0 |1772k| 0 | 1.400000e+01 | 3.500000e+01 | 150.00%
950.00/950.09 c 931s| 1340k| 73818 | 0 | 0.0 | 90M| 176 | - | 293 | 15k| 0 | 0 | 0 |1783k| 0 | 1.400000e+01 | 3.500000e+01 | 150.00%
955.21/955.26 c 936s| 1350k| 78616 | 0 | 0.0 | 96M| 176 | - | 293 | 20k| 0 | 0 | 0 |1797k| 0 | 1.400000e+01 | 3.500000e+01 | 150.00%
962.21/962.20 c 943s| 1360k| 82318 | 0 | 0.0 | 101M| 176 | - | 293 | 24k| 0 | 0 | 0 |1812k| 0 | 1.400000e+01 | 3.500000e+01 | 150.00%
972.00/972.05 c 953s| 1370k| 83987 | 0 | 0.0 | 105M| 176 | - | 293 | 28k| 0 | 0 | 0 |1830k| 0 | 1.400000e+01 | 3.500000e+01 | 150.00%
980.91/980.99 c 961s| 1380k| 85896 | 0 | 0.0 | 102M| 176 | - | 293 | 12k| 0 | 0 | 0 |1845k| 0 | 1.400000e+01 | 3.500000e+01 | 150.00%
993.70/993.71 c 974s| 1390k| 75362 | 0 | 0.0 | 93M| 176 | - | 293 | 12k| 0 | 0 | 0 |1868k| 0 | 1.400000e+01 | 3.500000e+01 | 150.00%
998.30/998.34 c 978s| 1400k| 80595 | 0 | 0.0 | 98M| 176 | - | 293 | 17k| 0 | 0 | 0 |1880k| 0 | 1.400000e+01 | 3.500000e+01 | 150.00%
1004.80/1004.82 c 985s| 1410k| 84964 | 0 | 0.0 | 103M| 176 | - | 293 | 21k| 0 | 0 | 0 |1895k| 0 | 1.400000e+01 | 3.500000e+01 | 150.00%
1013.30/1013.39 c 993s| 1420k| 88457 | 0 | 0.0 | 108M| 176 | - | 293 | 26k| 0 | 0 | 0 |1912k| 0 | 1.400000e+01 | 3.500000e+01 | 150.00%
1025.21/1025.24 c 1005s| 1430k| 90510 | 0 | 0.0 | 114M| 176 | - | 293 | 32k| 0 | 0 | 0 |1932k| 0 | 1.400000e+01 | 3.500000e+01 | 150.00%
1039.80/1039.87 c 1019s| 1440k| 91534 | 0 | 0.0 | 118M| 176 | - | 293 | 37k| 0 | 0 | 0 |1953k| 0 | 1.400000e+01 | 3.500000e+01 | 150.00%
1059.00/1059.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1059.00/1059.06 c 1038s| 1450k| 90685 | 0 | 0.0 | 122M| 176 | - | 293 | 40k| 0 | 0 | 0 |1977k| 0 | 1.400000e+01 | 3.500000e+01 | 150.00%
1081.71/1081.79 c 1061s| 1460k| 88160 | 0 | 0.0 | 124M| 176 | - | 293 | 44k| 0 | 0 | 0 |2003k| 0 | 1.400000e+01 | 3.500000e+01 | 150.00%
1108.11/1108.15 c 1087s| 1470k| 84673 | 0 | 0.0 | 123M| 176 | - | 293 | 49k| 0 | 0 | 0 |2028k| 0 | 1.400000e+01 | 3.500000e+01 | 150.00%
1122.90/1123.00 c 1102s| 1480k| 88801 | 0 | 0.0 | 121M| 176 | - | 293 | 30k| 0 | 0 | 0 |2042k| 0 | 1.400000e+01 | 3.500000e+01 | 150.00%
1133.60/1133.67 c 1112s| 1490k| 92031 | 0 | 0.0 | 121M| 176 | - | 293 | 18k| 0 | 0 | 0 |2057k| 0 | 1.400000e+01 | 3.500000e+01 | 150.00%
1146.12/1146.13 c 1125s| 1500k| 88153 | 0 | 0.0 | 118M| 176 | - | 293 | 22k| 0 | 0 | 0 |2080k| 0 | 1.400000e+01 | 3.500000e+01 | 150.00%
1159.11/1159.16 c 1138s| 1510k| 89085 | 0 | 0.0 | 123M| 176 | - | 293 | 29k| 0 | 0 | 0 |2102k| 0 | 1.400000e+01 | 3.500000e+01 | 150.00%
1176.81/1176.84 c 1155s| 1520k| 89270 | 0 | 0.0 | 128M| 176 | - | 293 | 36k| 0 | 0 | 0 |2125k| 0 | 1.400000e+01 | 3.500000e+01 | 150.00%
1199.02/1199.00 c 1177s| 1530k| 88460 | 0 | 0.0 | 132M| 176 | - | 293 | 41k| 0 | 0 | 0 |2149k| 0 | 1.400000e+01 | 3.500000e+01 | 150.00%
1225.61/1225.69 c 1204s| 1540k| 86298 | 0 | 0.0 | 134M| 176 | - | 293 | 46k| 0 | 0 | 0 |2174k| 0 | 1.400000e+01 | 3.500000e+01 | 150.00%
1258.61/1258.67 c 1237s| 1550k| 81920 | 0 | 0.0 | 135M| 176 | - | 293 | 54k| 0 | 0 | 0 |2202k| 0 | 1.400000e+01 | 3.500000e+01 | 150.00%
1301.61/1301.66 c 1279s| 1560k| 74568 | 0 | 0.0 | 129M| 176 | - | 293 | 62k| 0 | 0 | 0 |2233k| 0 | 1.400000e+01 | 3.500000e+01 | 150.00%
1344.12/1344.13 c 1321s| 1570k| 73325 | 0 | 0.0 | 120M| 176 | - | 293 | 37k| 0 | 0 | 0 |2256k| 0 | 1.400000e+01 | 3.500000e+01 | 150.00%
1370.91/1370.91 c 1348s| 1580k| 71996 | 0 | 0.0 | 122M| 176 | - | 293 | 39k| 0 | 0 | 0 |2279k| 0 | 1.400000e+01 | 3.500000e+01 | 150.00%
1394.31/1394.31 c 1371s| 1590k| 73298 | 0 | 0.0 | 121M| 176 | - | 293 | 34k| 0 | 0 | 0 |2298k| 0 | 1.400000e+01 | 3.500000e+01 | 150.00%
1410.01/1410.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1410.01/1410.06 c 1386s| 1600k| 76571 | 0 | 0.0 | 123M| 176 | - | 293 | 29k| 0 | 0 | 0 |2313k| 0 | 1.400000e+01 | 3.500000e+01 | 150.00%
1429.71/1429.73 o 33
1429.71/1429.73 c *1406s| 1607k| 72953 | 0 | 0.0 | 121M| 176 | - | 293 | 36k| 0 | 0 | 0 |2334k| 0 | 1.400000e+01 | 3.300000e+01 | 135.71%
1438.41/1438.43 c 1414s| 1610k| 71393 | 0 | 0.0 | 120M| 176 | - | 293 | 39k| 0 | 0 | 0 |2341k| 0 | 1.400000e+01 | 3.300000e+01 | 135.71%
1489.11/1489.16 c 1465s| 1620k| 61543 | 0 | 0.0 | 109M| 176 | - | 293 | 50k| 0 | 0 | 0 |2372k| 0 | 1.400000e+01 | 3.300000e+01 | 135.71%
1532.52/1532.52 c 1508s| 1630k| 57236 | 0 | 0.0 | 100M| 176 | - | 293 | 46k| 0 | 0 | 0 |2399k| 0 | 1.400000e+01 | 3.300000e+01 | 135.71%
1564.41/1564.41 c 1539s| 1640k| 56117 | 0 | 0.0 | 98M| 176 | - | 293 | 48k| 0 | 0 | 0 |2419k| 0 | 1.500000e+01 | 3.300000e+01 | 120.00%
1589.52/1589.50 c 1564s| 1650k| 58127 | 0 | 0.0 | 98M| 176 | - | 293 | 40k| 0 | 0 | 0 |2438k| 0 | 1.500000e+01 | 3.300000e+01 | 120.00%
1617.42/1617.47 c 1592s| 1660k| 57865 | 0 | 0.0 | 100M| 176 | - | 293 | 43k| 0 | 0 | 0 |2461k| 0 | 1.500000e+01 | 3.300000e+01 | 120.00%
1640.42/1640.48 c 1614s| 1670k| 56315 | 0 | 0.0 | 96M| 176 | - | 293 | 44k| 0 | 0 | 0 |2480k| 0 | 1.500000e+01 | 3.300000e+01 | 120.00%
1670.32/1670.33 c 1644s| 1680k| 55834 | 0 | 0.0 | 96M| 176 | - | 293 | 47k| 0 | 0 | 0 |2502k| 0 | 1.600000e+01 | 3.300000e+01 | 106.25%
1707.22/1707.22 c 1680s| 1690k| 53802 | 0 | 0.0 | 98M| 176 | - | 293 | 55k| 0 | 0 | 0 |2527k| 0 | 1.600000e+01 | 3.300000e+01 | 106.25%
1732.32/1732.40 c 1705s| 1700k| 56860 | 0 | 0.0 | 96M| 176 | - | 293 | 41k| 0 | 0 | 0 |2542k| 0 | 1.600000e+01 | 3.300000e+01 | 106.25%
1745.32/1745.39 c 1718s| 1710k| 62289 | 0 | 0.0 | 97M| 176 | - | 293 | 32k| 0 | 0 | 0 |2553k| 0 | 1.600000e+01 | 3.300000e+01 | 106.25%
1769.12/1769.15 c 1741s| 1720k| 61845 | 0 | 0.0 | 98M| 176 | - | 293 | 35k| 0 | 0 | 0 |2573k| 0 | 1.600000e+01 | 3.300000e+01 | 106.25%
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1771.53
1800.03/1800.00 c Solving Nodes : 1729929
1800.03/1800.00 c Primal Bound : +3.30000000000000e+01 (21 solutions)
1800.03/1800.00 c Dual Bound : +1.60000000000000e+01
1800.03/1800.00 c Gap : 106.25 %
1800.03/1800.00 s SATISFIABLE
1800.03/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.03/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.03/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.03/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.03/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 -x56
1800.03/1800.00 v -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.03/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.03/1800.00 v -x4 -x3 -x2 -x1
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time : 1771.53
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-2693953-1277898366.wbo
1800.03/1800.00 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
1800.03/1800.00 c Constraints : 166 initial, 166 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-2693953-1277898366.wbo
1800.03/1800.00 c Variables : 293 (231 binary, 0 integer, 0 implicit integer, 62 continuous)
1800.03/1800.00 c Constraints : 158 initial, 64996 maximal
1800.03/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c dualfix : 0.00 4 0 0 0 0 0 0 0
1800.03/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.00 c indicator : 0.00 0 0 0 0 0 2 0 0
1800.03/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c linear : 0.00 0 0 0 62 0 6 2 0
1800.03/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c root node : - 4 - - 8 - - - -
1800.03/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c indicator : 62 0 5146590 0 1063970 15764 1909282 0 0 0
1800.03/1800.00 c setppc : 30 0 5558213 0 1146055 47017 6278972 0 0 0
1800.03/1800.00 c linear : 62 0 5511358 0 1146071 566705 24987400 0 0 0
1800.03/1800.00 c logicor : 4+ 0 2734525 0 1122451 198960 2091370 0 0 0
1800.03/1800.00 c bounddisjunction : 0+ 0 62779 0 0 0 8590 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 1146092 0 0 0 0 0
1800.03/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c indicator : 4.49 0.00 3.30 0.00 1.19
1800.03/1800.00 c setppc : 19.13 0.00 15.83 0.00 3.30
1800.03/1800.00 c linear : 130.88 0.00 130.41 0.00 0.47
1800.03/1800.00 c logicor : 808.52 0.00 807.82 0.00 0.70
1800.03/1800.00 c bounddisjunction : 0.06 0.00 0.06 0.00 0.00
1800.03/1800.00 c countsols : 0.13 0.00 0.00 0.00 0.13
1800.03/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.00 c vbounds : 1.32 2 0 0
1800.03/1800.00 c rootredcost : 0.92 0 0 0
1800.03/1800.00 c pseudoobj : 13.62 5583513 9515 1567375
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 46.80 822196 821967 4431019 25.0 329723 14.5 -
1800.03/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c pseudo solution : 0.00 142 142 733 26.1 73 14.9 -
1800.03/1800.00 c applied globally : - - - 2533850 17.8 - - -
1800.03/1800.00 c applied locally : - - - 64758 37.0 - - -
1800.03/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.00 c redcost : 0.00 0 0 0 0 0
1800.03/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.00 c intobj : 0.00 0 0 0 0 0
1800.03/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.00 c gomory : 0.00 0 0 0 0 0
1800.03/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.00 c cmir : 0.00 0 0 0 0 0
1800.03/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.00 c clique : 0.00 0 0 0 0 0
1800.03/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.00 c mcf : 0.00 0 0 0 0 0
1800.03/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.00 c Pricers : Time Calls Vars
1800.03/1800.00 c problem variables: 0.00 0 0
1800.03/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c inference : 9.37 1146071 0 0 0 0 2292142
1800.03/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c random : 0.00 0 0 0 0 0 0
1800.03/1800.00 c Primal Heuristics : Time Calls Found
1800.03/1800.00 c LP solutions : 0.00 - 0
1800.03/1800.00 c pseudo solutions : 0.25 - 21
1800.03/1800.00 c oneopt : 0.47 0 0
1800.03/1800.00 c trivial : 0.00 2 0
1800.03/1800.00 c simplerounding : 0.00 0 0
1800.03/1800.00 c zirounding : 0.00 0 0
1800.03/1800.00 c rounding : 0.00 0 0
1800.03/1800.00 c shifting : 0.00 0 0
1800.03/1800.00 c intshifting : 0.00 0 0
1800.03/1800.00 c twoopt : 0.00 0 0
1800.03/1800.00 c fixandinfer : 0.00 0 0
1800.03/1800.00 c feaspump : 0.00 0 0
1800.03/1800.00 c coefdiving : 0.00 0 0
1800.03/1800.00 c pscostdiving : 0.00 0 0
1800.03/1800.00 c fracdiving : 0.00 0 0
1800.03/1800.00 c veclendiving : 0.00 0 0
1800.03/1800.00 c intdiving : 0.00 0 0
1800.03/1800.00 c actconsdiving : 0.00 0 0
1800.03/1800.00 c objpscostdiving : 0.00 0 0
1800.03/1800.00 c rootsoldiving : 0.00 0 0
1800.03/1800.00 c linesearchdiving : 0.00 0 0
1800.03/1800.00 c guideddiving : 0.00 0 0
1800.03/1800.00 c octane : 0.00 0 0
1800.03/1800.00 c rens : 0.00 0 0
1800.03/1800.00 c rins : 0.00 0 0
1800.03/1800.00 c localbranching : 0.00 0 0
1800.03/1800.00 c mutation : 0.00 0 0
1800.03/1800.00 c crossover : 0.00 0 0
1800.03/1800.00 c dins : 0.00 0 0
1800.03/1800.00 c undercover : 0.00 0 0
1800.03/1800.00 c nlp : 0.43 0 0
1800.03/1800.00 c trysol : 0.29 1 0
1800.03/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.00 c (at root node) : - 0 0 0.00 -
1800.03/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.00 c B&B Tree :
1800.03/1800.00 c number of runs : 1
1800.03/1800.00 c nodes : 1729929
1800.03/1800.00 c nodes (total) : 1729929
1800.03/1800.00 c nodes left : 57394
1800.03/1800.00 c max depth : 176
1800.03/1800.00 c max depth (total): 176
1800.03/1800.00 c backtracks : 633534 (36.6%)
1800.03/1800.00 c delayed cutoffs : 398026
1800.03/1800.00 c repropagations : 2268096 (9376684 domain reductions, 254266 cutoffs)
1800.03/1800.00 c avg switch length: 20.86
1800.03/1800.00 c switching time : 570.86
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 21 (21 improvements)
1800.03/1800.00 c First Solution : +6.16000000000000e+02 (in run 1, after 66456 nodes, 16.32 seconds, depth 95, found by <relaxation>)
1800.03/1800.00 c Primal Bound : +3.30000000000000e+01 (in run 1, after 1607874 nodes, 1405.77 seconds, depth 47, found by <relaxation>)
1800.03/1800.00 c Dual Bound : +1.60000000000000e+01
1800.03/1800.00 c Gap : 106.25 %
1800.03/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Root Iterations : 0
1800.22/1800.27 c Time complete: 1800.29.