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-2693919-1277897264.wbo>
0.00/0.00 c original problem has 225 variables (197 bin, 0 int, 0 impl, 28 cont) and 130 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, 32 impls, 49 clqs
0.00/0.00 c (round 2) 0 del vars, 17 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 32 impls, 49 clqs
0.00/0.01 c (round 3) 1 del vars, 18 del conss, 27 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 32 impls, 49 clqs
0.00/0.01 c (round 4) 2 del vars, 18 del conss, 27 chg bounds, 1 chg sides, 0 chg coeffs, 58 upgd conss, 32 impls, 49 clqs
0.00/0.02 c (0.0s) probing: 101/196 (51.5%) - 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, 18 deleted constraints, 27 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 32 implications, 49 cliques
0.00/0.02 c presolved problem has 223 variables (196 bin, 0 int, 0 impl, 27 cont) and 112 constraints
0.00/0.02 c 27 constraints of type <indicator>
0.00/0.02 c 49 constraints of type <setppc>
0.00/0.02 c 27 constraints of type <linear>
0.00/0.02 c 9 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 | - | 730k| 0 | - | 223 | 112 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.79/0.88 c 0.6s| 10000 | 7367 | 0 | 0.0 |5910k| 116 | - | 223 |2512 | 0 | 0 | 0 |3946 | 0 | 0.000000e+00 | -- | Inf
1.59/1.63 o 98
1.59/1.63 c * 1.3s| 14255 | 9034 | 0 | 0.0 |8468k| 116 | - | 223 |4650 | 0 | 0 | 0 |7761 | 0 | 0.000000e+00 | 9.800000e+01 | Inf
1.69/1.76 o 81
1.69/1.76 c * 1.4s| 15500 | 9961 | 0 | 0.0 |8604k| 116 | - | 223 |3289 | 0 | 0 | 0 |7989 | 0 | 0.000000e+00 | 8.100000e+01 | Inf
2.29/2.33 c 1.8s| 20000 | 12928 | 0 | 0.0 | 10M| 116 | - | 223 |3383 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
3.99/4.05 c 3.2s| 30000 | 18413 | 0 | 0.0 | 15M| 116 | - | 223 |6242 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
6.39/6.49 c 5.4s| 40000 | 22591 | 0 | 0.0 | 20M| 116 | - | 223 |8640 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
9.59/9.68 c 8.3s| 50000 | 25300 | 0 | 0.0 | 24M| 116 | - | 223 |9907 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
12.89/12.94 c 11.3s| 60000 | 27905 | 0 | 0.0 | 25M| 116 | - | 223 |2545 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
14.19/14.28 c 12.3s| 70000 | 33839 | 0 | 0.0 | 29M| 116 | - | 223 |2496 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
16.40/16.46 c 14.2s| 80000 | 37425 | 0 | 0.0 | 34M| 116 | - | 223 |4556 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
19.09/19.15 c 16.6s| 90000 | 40157 | 0 | 0.0 | 37M| 116 | - | 223 |6288 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
22.39/22.41 c 19.5s|100000 | 42012 | 0 | 0.0 | 41M| 116 | - | 223 |8448 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
26.30/26.31 c 23.1s|110000 | 43075 | 0 | 0.0 | 44M| 116 | - | 223 | 10k| 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
30.89/30.90 c 27.4s|120000 | 43411 | 0 | 0.0 | 47M| 116 | - | 223 | 11k| 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
35.69/35.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.69/35.77 c 31.9s|130000 | 43406 | 0 | 0.0 | 49M| 116 | - | 223 | 12k| 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
41.29/41.38 c 37.1s|140000 | 41574 | 0 | 0.0 | 49M| 116 | - | 223 | 14k| 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
43.19/43.28 c 38.7s|150000 | 47751 | 0 | 0.0 | 50M| 116 | - | 223 |3957 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
45.39/45.45 c 40.6s|160000 | 52526 | 0 | 0.0 | 55M| 116 | - | 223 |6528 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
48.49/48.50 c 43.3s|170000 | 55664 | 0 | 0.0 | 59M| 116 | - | 223 |8618 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
52.49/52.53 c 47.0s|180000 | 56605 | 0 | 0.0 | 62M| 116 | - | 223 | 10k| 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
58.89/58.90 c 53.0s|190000 | 55270 | 0 | 0.0 | 65M| 116 | - | 223 | 13k| 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
66.79/66.89 c 60.6s|200000 | 53011 | 0 | 0.0 | 66M| 116 | - | 223 | 17k| 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
77.78/77.81 c 71.2s|210000 | 50013 | 0 | 0.0 | 67M| 116 | - | 223 | 23k| 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
92.39/92.47 c 85.5s|220000 | 46003 | 0 | 0.0 | 67M| 116 | - | 223 | 31k| 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
112.08/112.16 c 105s|230000 | 40048 | 0 | 0.0 | 62M| 116 | - | 223 | 35k| 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
119.98/120.00 c 112s|240000 | 43259 | 0 | 0.0 | 57M| 116 | - | 223 |8517 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
123.78/123.82 c 116s|250000 | 46159 | 0 | 0.0 | 60M| 116 | - | 223 |9287 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
128.28/128.40 c 120s|260000 | 48191 | 0 | 0.0 | 64M| 116 | - | 223 | 12k| 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
134.29/134.38 c 126s|270000 | 49151 | 0 | 0.0 | 67M| 116 | - | 223 | 16k| 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
141.28/141.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
141.28/141.32 c 132s|280000 | 49710 | 0 | 0.0 | 69M| 116 | - | 223 | 19k| 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
149.78/149.85 c 140s|290000 | 49011 | 0 | 0.0 | 71M| 116 | - | 223 | 23k| 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
165.28/165.38 c 156s|300000 | 41699 | 0 | 0.0 | 61M| 116 | - | 223 | 23k| 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
182.68/182.77 c 173s|310000 | 34571 | 0 | 0.0 | 46M| 116 | - | 223 | 16k| 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
191.69/191.77 c 181s|320000 | 32695 | 0 | 0.0 | 44M| 116 | - | 223 | 16k| 0 | 0 | 0 | 335k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
200.98/201.08 c 190s|330000 | 31535 | 0 | 0.0 | 46M| 116 | - | 223 | 21k| 0 | 0 | 0 | 347k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
212.68/212.76 c 201s|340000 | 29573 | 0 | 0.0 | 48M| 116 | - | 223 | 26k| 0 | 0 | 0 | 360k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
227.48/227.55 c 216s|350000 | 26386 | 0 | 0.0 | 49M| 116 | - | 223 | 33k| 0 | 0 | 0 | 374k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
245.49/245.52 c 233s|360000 | 22504 | 0 | 0.0 | 48M| 116 | - | 223 | 40k| 0 | 0 | 0 | 388k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
273.18/273.23 c 261s|370000 | 14607 | 0 | 0.0 | 41M| 116 | - | 223 | 38k| 0 | 0 | 0 | 407k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
297.79/297.87 c 285s|380000 | 8011 | 0 | 0.0 | 26M| 116 | - | 223 | 29k| 0 | 0 | 0 | 422k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
301.89/301.98 c 288s|390000 | 14534 | 0 | 0.0 | 21M| 116 | - | 223 |7931 | 0 | 0 | 0 | 426k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
304.88/304.96 c 291s|400000 | 19049 | 0 | 0.0 | 25M| 116 | - | 223 |9479 | 0 | 0 | 0 | 432k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
308.19/308.20 c 294s|410000 | 22427 | 0 | 0.0 | 25M| 116 | - | 223 |6055 | 0 | 0 | 0 | 440k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
310.19/310.21 c 296s|420000 | 28797 | 0 | 0.0 | 29M| 116 | - | 223 |6053 | 0 | 0 | 0 | 444k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
312.58/312.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
312.58/312.66 c 298s|430000 | 34365 | 0 | 0.0 | 34M| 116 | - | 223 |8831 | 0 | 0 | 0 | 450k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
315.88/315.90 c 301s|440000 | 39092 | 0 | 0.0 | 39M| 116 | - | 223 | 11k| 0 | 0 | 0 | 457k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
319.89/319.94 c 305s|450000 | 43077 | 0 | 0.0 | 44M| 116 | - | 223 | 14k| 0 | 0 | 0 | 465k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
325.18/325.20 c 310s|460000 | 46042 | 0 | 0.0 | 48M| 116 | - | 223 | 16k| 0 | 0 | 0 | 473k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
331.18/331.22 c 315s|470000 | 48169 | 0 | 0.0 | 52M| 116 | - | 223 | 17k| 0 | 0 | 0 | 483k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
338.49/338.55 c 322s|480000 | 48525 | 0 | 0.0 | 54M| 116 | - | 223 | 15k| 0 | 0 | 0 | 494k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
343.58/343.60 c 327s|490000 | 51885 | 0 | 0.0 | 55M| 116 | - | 223 | 10k| 0 | 0 | 0 | 502k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
347.49/347.59 c 331s|500000 | 56108 | 0 | 0.0 | 59M| 116 | - | 223 | 11k| 0 | 0 | 0 | 511k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
352.39/352.43 c 335s|510000 | 59515 | 0 | 0.0 | 63M| 116 | - | 223 | 13k| 0 | 0 | 0 | 519k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
358.09/358.10 c 341s|520000 | 62390 | 0 | 0.0 | 67M| 116 | - | 223 | 15k| 0 | 0 | 0 | 529k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
364.49/364.52 c 347s|530000 | 65134 | 0 | 0.0 | 71M| 116 | - | 223 | 17k| 0 | 0 | 0 | 538k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
372.08/372.11 c 354s|540000 | 67089 | 0 | 0.0 | 75M| 116 | - | 223 | 20k| 0 | 0 | 0 | 549k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
380.88/380.90 c 362s|550000 | 68565 | 0 | 0.0 | 80M| 116 | - | 223 | 23k| 0 | 0 | 0 | 559k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
391.38/391.42 c 373s|560000 | 69332 | 0 | 0.0 | 83M| 116 | - | 223 | 27k| 0 | 0 | 0 | 571k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
402.79/402.85 c 384s|570000 | 69934 | 0 | 0.0 | 87M| 116 | - | 223 | 30k| 0 | 0 | 0 | 583k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
415.99/416.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
415.99/416.00 c 396s|580000 | 70058 | 0 | 0.0 | 91M| 116 | - | 223 | 33k| 0 | 0 | 0 | 595k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
430.69/430.79 c 411s|590000 | 69455 | 0 | 0.0 | 93M| 116 | - | 223 | 35k| 0 | 0 | 0 | 607k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
446.50/446.53 c 426s|600000 | 68458 | 0 | 0.0 | 95M| 116 | - | 223 | 36k| 0 | 0 | 0 | 620k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
463.29/463.39 c 443s|610000 | 66359 | 0 | 0.0 | 95M| 116 | - | 223 | 35k| 0 | 0 | 0 | 633k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
478.99/479.09 c 458s|620000 | 65304 | 0 | 0.0 | 92M| 116 | - | 223 | 23k| 0 | 0 | 0 | 646k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
491.79/491.82 c 470s|630000 | 64644 | 0 | 0.0 | 93M| 116 | - | 223 | 18k| 0 | 0 | 0 | 660k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
504.99/505.04 c 483s|640000 | 62938 | 0 | 0.0 | 95M| 116 | - | 223 | 21k| 0 | 0 | 0 | 675k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
521.58/521.69 c 499s|650000 | 59745 | 0 | 0.0 | 96M| 116 | - | 223 | 24k| 0 | 0 | 0 | 690k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
540.49/540.56 c 518s|660000 | 56105 | 0 | 0.0 | 97M| 116 | - | 223 | 28k| 0 | 0 | 0 | 706k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
561.29/561.39 c 538s|670000 | 52373 | 0 | 0.0 | 97M| 116 | - | 223 | 31k| 0 | 0 | 0 | 722k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
584.10/584.12 c 561s|680000 | 48388 | 0 | 0.0 | 96M| 116 | - | 223 | 35k| 0 | 0 | 0 | 738k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
608.30/608.38 c 584s|690000 | 43811 | 0 | 0.0 | 94M| 116 | - | 223 | 40k| 0 | 0 | 0 | 754k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
636.49/636.58 c 612s|700000 | 38303 | 0 | 0.0 | 91M| 116 | - | 223 | 46k| 0 | 0 | 0 | 771k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
670.29/670.37 c 645s|710000 | 30894 | 0 | 0.0 | 79M| 116 | - | 223 | 40k| 0 | 0 | 0 | 788k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
705.49/705.51 c 680s|720000 | 20672 | 0 | 0.0 | 63M| 116 | - | 223 | 32k| 0 | 0 | 0 | 809k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
742.69/742.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
742.69/742.78 c 717s|730000 | 6628 | 0 | 0.0 | 32M| 116 | - | 223 | 40k| 0 | 0 | 0 | 831k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
756.99/757.09 c 731s|740000 | 7296 | 0 | 0.0 | 22M| 116 | - | 223 | 12k| 0 | 0 | 0 | 841k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
759.19/759.28 c 733s|750000 | 13921 | 0 | 0.0 | 24M| 116 | - | 223 |8342 | 0 | 0 | 0 | 845k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
760.90/760.97 c 734s|760000 | 21449 | 0 | 0.0 | 28M| 116 | - | 223 |5844 | 0 | 0 | 0 | 848k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
762.59/762.63 c 736s|770000 | 28514 | 0 | 0.0 | 32M| 116 | - | 223 |6530 | 0 | 0 | 0 | 851k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
764.60/764.62 c 737s|780000 | 34772 | 0 | 0.0 | 37M| 116 | - | 223 |7571 | 0 | 0 | 0 | 855k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
767.30/767.35 c 740s|790000 | 39595 | 0 | 0.0 | 42M| 116 | - | 223 |8754 | 0 | 0 | 0 | 861k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
770.69/770.74 c 743s|800000 | 43320 | 0 | 0.0 | 47M| 116 | - | 223 | 10k| 0 | 0 | 0 | 868k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
774.29/774.37 c 746s|810000 | 47654 | 0 | 0.0 | 50M| 116 | - | 223 | 10k| 0 | 0 | 0 | 874k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
777.40/777.43 c 749s|820000 | 53019 | 0 | 0.0 | 54M| 116 | - | 223 |9264 | 0 | 0 | 0 | 878k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
780.49/780.51 c 752s|830000 | 57986 | 0 | 0.0 | 59M| 116 | - | 223 |9570 | 0 | 0 | 0 | 882k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
783.89/783.98 c 755s|840000 | 62295 | 0 | 0.0 | 63M| 116 | - | 223 | 10k| 0 | 0 | 0 | 887k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
787.60/787.62 c 758s|850000 | 66551 | 0 | 0.0 | 68M| 116 | - | 223 | 11k| 0 | 0 | 0 | 893k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
791.70/791.75 c 762s|860000 | 70096 | 0 | 0.0 | 73M| 116 | - | 223 | 12k| 0 | 0 | 0 | 899k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
796.19/796.22 c 766s|870000 | 73276 | 0 | 0.0 | 77M| 116 | - | 223 | 13k| 0 | 0 | 0 | 906k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
801.19/801.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
801.19/801.22 c 771s|880000 | 75906 | 0 | 0.0 | 82M| 116 | - | 223 | 14k| 0 | 0 | 0 | 913k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
806.90/806.97 c 776s|890000 | 77683 | 0 | 0.0 | 86M| 116 | - | 223 | 15k| 0 | 0 | 0 | 921k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
813.60/813.68 c 782s|900000 | 78411 | 0 | 0.0 | 89M| 116 | - | 223 | 16k| 0 | 0 | 0 | 930k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
821.99/822.01 c 790s|910000 | 77521 | 0 | 0.0 | 92M| 116 | - | 223 | 18k| 0 | 0 | 0 | 940k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
830.70/830.75 c 799s|920000 | 77485 | 0 | 0.0 | 93M| 116 | - | 223 | 18k| 0 | 0 | 0 | 950k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
837.79/837.88 c 806s|930000 | 80274 | 0 | 0.0 | 96M| 116 | - | 223 | 14k| 0 | 0 | 0 | 956k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
844.49/844.50 c 812s|940000 | 82545 | 0 | 0.0 | 99M| 116 | - | 223 | 14k| 0 | 0 | 0 | 962k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
851.09/851.19 c 818s|950000 | 84322 | 0 | 0.0 | 103M| 116 | - | 223 | 15k| 0 | 0 | 0 | 969k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
858.39/858.40 c 825s|960000 | 85533 | 0 | 0.0 | 106M| 116 | - | 223 | 16k| 0 | 0 | 0 | 976k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
866.30/866.31 c 833s|970000 | 86341 | 0 | 0.0 | 109M| 116 | - | 223 | 17k| 0 | 0 | 0 | 984k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
875.10/875.13 c 841s|980000 | 86494 | 0 | 0.0 | 112M| 116 | - | 223 | 18k| 0 | 0 | 0 | 992k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
885.40/885.44 c 851s|990000 | 85485 | 0 | 0.0 | 115M| 116 | - | 223 | 20k| 0 | 0 | 0 |1001k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
897.50/897.55 c 863s| 1000k| 83472 | 0 | 0.0 | 116M| 116 | - | 223 | 22k| 0 | 0 | 0 |1011k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
911.80/911.80 c 876s| 1010k| 80362 | 0 | 0.0 | 117M| 116 | - | 223 | 25k| 0 | 0 | 0 |1022k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
927.60/927.61 c 892s| 1020k| 75688 | 0 | 0.0 | 113M| 116 | - | 223 | 27k| 0 | 0 | 0 |1034k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
940.40/940.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
940.40/940.49 c 904s| 1030k| 74103 | 0 | 0.0 | 111M| 116 | - | 223 | 17k| 0 | 0 | 0 |1043k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
953.70/953.72 c 917s| 1040k| 70151 | 0 | 0.0 | 111M| 116 | - | 223 | 19k| 0 | 0 | 0 |1053k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
969.50/969.59 c 932s| 1050k| 64749 | 0 | 0.0 | 108M| 116 | - | 223 | 22k| 0 | 0 | 0 |1064k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
989.20/989.24 c 952s| 1060k| 57696 | 0 | 0.0 | 103M| 116 | - | 223 | 27k| 0 | 0 | 0 |1076k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1005.49/1005.59 c 968s| 1070k| 54291 | 0 | 0.0 | 94M| 116 | - | 223 | 17k| 0 | 0 | 0 |1086k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1012.00/1012.05 c 974s| 1080k| 54110 | 0 | 0.0 | 91M| 116 | - | 223 | 10k| 0 | 0 | 0 |1095k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1018.19/1018.26 o 73
1018.19/1018.26 c * 980s| 1084k| 36314 | 0 | 0.0 | 64M| 116 | - | 223 | 15k| 0 | 0 | 0 |1102k| 0 | 1.300000e+01 | 7.300000e+01 | 461.54%
1020.29/1020.31 c 981s| 1090k| 39397 | 0 | 0.0 | 63M| 116 | - | 223 |9421 | 0 | 0 | 0 |1104k| 0 | 1.300000e+01 | 7.300000e+01 | 461.54%
1022.90/1023.00 c 984s| 1100k| 44948 | 0 | 0.0 | 65M| 116 | - | 223 |8242 | 0 | 0 | 0 |1109k| 0 | 1.300000e+01 | 7.300000e+01 | 461.54%
1026.39/1026.44 c 987s| 1110k| 49305 | 0 | 0.0 | 69M| 116 | - | 223 | 11k| 0 | 0 | 0 |1115k| 0 | 1.700000e+01 | 7.300000e+01 | 329.41%
1032.30/1032.30 c 993s| 1120k| 50138 | 0 | 0.0 | 73M| 116 | - | 223 | 16k| 0 | 0 | 0 |1125k| 0 | 1.700000e+01 | 7.300000e+01 | 329.41%
1036.70/1036.77 c 997s| 1130k| 53571 | 0 | 0.0 | 73M| 116 | - | 223 |8025 | 0 | 0 | 0 |1133k| 0 | 1.700000e+01 | 7.300000e+01 | 329.41%
1040.19/1040.25 c 1000s| 1140k| 57952 | 0 | 0.0 | 77M| 116 | - | 223 |9912 | 0 | 0 | 0 |1140k| 0 | 1.700000e+01 | 7.300000e+01 | 329.41%
1045.19/1045.28 c 1005s| 1150k| 60842 | 0 | 0.0 | 82M| 116 | - | 223 | 13k| 0 | 0 | 0 |1149k| 0 | 1.700000e+01 | 7.300000e+01 | 329.41%
1052.40/1052.41 c 1011s| 1160k| 62184 | 0 | 0.0 | 86M| 116 | - | 223 | 17k| 0 | 0 | 0 |1158k| 0 | 1.700000e+01 | 7.300000e+01 | 329.41%
1061.30/1061.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1061.30/1061.38 c 1020s| 1170k| 62735 | 0 | 0.0 | 90M| 116 | - | 223 | 21k| 0 | 0 | 0 |1169k| 0 | 1.700000e+01 | 7.300000e+01 | 329.41%
1072.30/1072.38 c 1031s| 1180k| 62320 | 0 | 0.0 | 93M| 116 | - | 223 | 25k| 0 | 0 | 0 |1180k| 0 | 1.700000e+01 | 7.300000e+01 | 329.41%
1085.40/1085.46 c 1043s| 1190k| 60568 | 0 | 0.0 | 95M| 116 | - | 223 | 29k| 0 | 0 | 0 |1192k| 0 | 1.700000e+01 | 7.300000e+01 | 329.41%
1096.20/1096.20 c 1054s| 1200k| 61161 | 0 | 0.0 | 92M| 116 | - | 223 | 13k| 0 | 0 | 0 |1204k| 0 | 1.700000e+01 | 7.300000e+01 | 329.41%
1102.90/1102.92 c 1060s| 1210k| 62094 | 0 | 0.0 | 94M| 116 | - | 223 | 13k| 0 | 0 | 0 |1215k| 0 | 1.700000e+01 | 7.300000e+01 | 329.41%
1112.70/1112.76 c 1069s| 1220k| 61166 | 0 | 0.0 | 97M| 116 | - | 223 | 18k| 0 | 0 | 0 |1228k| 0 | 1.700000e+01 | 7.300000e+01 | 329.41%
1126.50/1126.52 c 1083s| 1230k| 58982 | 0 | 0.0 | 99M| 116 | - | 223 | 25k| 0 | 0 | 0 |1242k| 0 | 1.700000e+01 | 7.300000e+01 | 329.41%
1144.40/1144.45 c 1100s| 1240k| 55195 | 0 | 0.0 | 99M| 116 | - | 223 | 31k| 0 | 0 | 0 |1257k| 0 | 1.700000e+01 | 7.300000e+01 | 329.41%
1165.90/1165.98 c 1121s| 1250k| 49780 | 0 | 0.0 | 96M| 116 | - | 223 | 39k| 0 | 0 | 0 |1274k| 0 | 1.700000e+01 | 7.300000e+01 | 329.41%
1184.71/1184.74 c 1140s| 1260k| 47102 | 0 | 0.0 | 88M| 116 | - | 223 | 19k| 0 | 0 | 0 |1288k| 0 | 1.700000e+01 | 7.300000e+01 | 329.41%
1192.30/1192.31 c 1147s| 1270k| 48052 | 0 | 0.0 | 87M| 116 | - | 223 | 15k| 0 | 0 | 0 |1299k| 0 | 1.700000e+01 | 7.300000e+01 | 329.41%
1211.01/1211.07 c 1165s| 1280k| 38821 | 0 | 0.0 | 74M| 116 | - | 223 | 21k| 0 | 0 | 0 |1319k| 0 | 1.700000e+01 | 7.300000e+01 | 329.41%
1217.10/1217.16 c 1171s| 1290k| 43560 | 0 | 0.0 | 74M| 116 | - | 223 | 14k| 0 | 0 | 0 |1325k| 0 | 1.700000e+01 | 7.300000e+01 | 329.41%
1222.20/1222.28 c 1176s| 1300k| 47791 | 0 | 0.0 | 77M| 116 | - | 223 | 16k| 0 | 0 | 0 |1333k| 0 | 1.700000e+01 | 7.300000e+01 | 329.41%
1230.40/1230.43 c 1184s| 1310k| 48692 | 0 | 0.0 | 78M| 116 | - | 223 | 18k| 0 | 0 | 0 |1344k| 0 | 2.000000e+01 | 7.300000e+01 | 265.00%
1237.70/1237.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1237.70/1237.70 c 1191s| 1320k| 51915 | 0 | 0.0 | 81M| 116 | - | 223 | 18k| 0 | 0 | 0 |1353k| 0 | 2.000000e+01 | 7.300000e+01 | 265.00%
1247.20/1247.23 c 1200s| 1330k| 53489 | 0 | 0.0 | 85M| 116 | - | 223 | 22k| 0 | 0 | 0 |1364k| 0 | 2.000000e+01 | 7.300000e+01 | 265.00%
1259.60/1259.62 c 1212s| 1340k| 53361 | 0 | 0.0 | 89M| 116 | - | 223 | 26k| 0 | 0 | 0 |1377k| 0 | 2.000000e+01 | 7.300000e+01 | 265.00%
1273.20/1273.30 c 1225s| 1350k| 52729 | 0 | 0.0 | 92M| 116 | - | 223 | 32k| 0 | 0 | 0 |1390k| 0 | 2.000000e+01 | 7.300000e+01 | 265.00%
1292.20/1292.29 c 1244s| 1360k| 49923 | 0 | 0.0 | 87M| 116 | - | 223 | 21k| 0 | 0 | 0 |1404k| 0 | 2.000000e+01 | 7.300000e+01 | 265.00%
1306.81/1306.81 c 1258s| 1370k| 47788 | 0 | 0.0 | 88M| 116 | - | 223 | 23k| 0 | 0 | 0 |1419k| 0 | 2.000000e+01 | 7.300000e+01 | 265.00%
1326.61/1326.68 c 1277s| 1380k| 43602 | 0 | 0.0 | 88M| 116 | - | 223 | 30k| 0 | 0 | 0 |1437k| 0 | 2.000000e+01 | 7.300000e+01 | 265.00%
1348.80/1348.83 c 1299s| 1390k| 38030 | 0 | 0.0 | 85M| 116 | - | 223 | 39k| 0 | 0 | 0 |1453k| 0 | 2.000000e+01 | 7.300000e+01 | 265.00%
1372.10/1372.19 c 1322s| 1400k| 31618 | 0 | 0.0 | 70M| 116 | - | 223 | 23k| 0 | 0 | 0 |1470k| 0 | 2.000000e+01 | 7.300000e+01 | 265.00%
1380.00/1380.00 c 1330s| 1410k| 34270 | 0 | 0.0 | 61M| 116 | - | 223 | 11k| 0 | 0 | 0 |1478k| 0 | 2.000000e+01 | 7.300000e+01 | 265.00%
1383.10/1383.14 c 1333s| 1420k| 39756 | 0 | 0.0 | 63M| 116 | - | 223 |8661 | 0 | 0 | 0 |1483k| 0 | 2.400000e+01 | 7.300000e+01 | 204.17%
1385.70/1385.70 c 1335s| 1430k| 45906 | 0 | 0.0 | 68M| 116 | - | 223 | 11k| 0 | 0 | 0 |1489k| 0 | 2.400000e+01 | 7.300000e+01 | 204.17%
1389.50/1389.59 c 1339s| 1440k| 50398 | 0 | 0.0 | 73M| 116 | - | 223 | 14k| 0 | 0 | 0 |1496k| 0 | 2.400000e+01 | 7.300000e+01 | 204.17%
1395.10/1395.12 c 1344s| 1450k| 52800 | 0 | 0.0 | 78M| 116 | - | 223 | 16k| 0 | 0 | 0 |1505k| 0 | 2.400000e+01 | 7.300000e+01 | 204.17%
1400.80/1400.86 c 1349s| 1460k| 55768 | 0 | 0.0 | 80M| 116 | - | 223 | 14k| 0 | 0 | 0 |1513k| 0 | 2.400000e+01 | 7.300000e+01 | 204.17%
1405.60/1405.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1405.60/1405.66 c 1354s| 1470k| 60221 | 0 | 0.0 | 84M| 116 | - | 223 | 16k| 0 | 0 | 0 |1523k| 0 | 2.400000e+01 | 7.300000e+01 | 204.17%
1411.81/1411.84 c 1360s| 1480k| 63594 | 0 | 0.0 | 89M| 116 | - | 223 | 19k| 0 | 0 | 0 |1532k| 0 | 2.400000e+01 | 7.300000e+01 | 204.17%
1419.81/1419.83 c 1367s| 1490k| 66092 | 0 | 0.0 | 93M| 116 | - | 223 | 22k| 0 | 0 | 0 |1543k| 0 | 2.400000e+01 | 7.300000e+01 | 204.17%
1430.51/1430.58 c 1378s| 1500k| 66689 | 0 | 0.0 | 98M| 116 | - | 223 | 25k| 0 | 0 | 0 |1554k| 0 | 2.400000e+01 | 7.300000e+01 | 204.17%
1442.50/1442.56 c 1390s| 1510k| 66601 | 0 | 0.0 | 101M| 116 | - | 223 | 28k| 0 | 0 | 0 |1566k| 0 | 2.400000e+01 | 7.300000e+01 | 204.17%
1456.31/1456.37 c 1403s| 1520k| 64976 | 0 | 0.0 | 102M| 116 | - | 223 | 30k| 0 | 0 | 0 |1578k| 0 | 2.400000e+01 | 7.300000e+01 | 204.17%
1469.61/1469.61 c 1416s| 1530k| 65294 | 0 | 0.0 | 102M| 116 | - | 223 | 25k| 0 | 0 | 0 |1589k| 0 | 2.400000e+01 | 7.300000e+01 | 204.17%
1480.80/1480.83 c 1427s| 1540k| 67288 | 0 | 0.0 | 105M| 116 | - | 223 | 24k| 0 | 0 | 0 |1600k| 0 | 2.400000e+01 | 7.300000e+01 | 204.17%
1494.51/1494.54 c 1441s| 1550k| 67358 | 0 | 0.0 | 108M| 116 | - | 223 | 26k| 0 | 0 | 0 |1614k| 0 | 2.400000e+01 | 7.300000e+01 | 204.17%
1511.20/1511.24 c 1457s| 1560k| 66297 | 0 | 0.0 | 111M| 116 | - | 223 | 30k| 0 | 0 | 0 |1628k| 0 | 2.400000e+01 | 7.300000e+01 | 204.17%
1531.91/1531.90 c 1477s| 1570k| 63885 | 0 | 0.0 | 112M| 116 | - | 223 | 35k| 0 | 0 | 0 |1643k| 0 | 2.400000e+01 | 7.300000e+01 | 204.17%
1557.71/1557.76 c 1503s| 1580k| 58738 | 0 | 0.0 | 109M| 116 | - | 223 | 40k| 0 | 0 | 0 |1659k| 0 | 2.400000e+01 | 7.300000e+01 | 204.17%
1585.80/1585.82 c 1531s| 1590k| 53612 | 0 | 0.0 | 102M| 116 | - | 223 | 34k| 0 | 0 | 0 |1675k| 0 | 2.400000e+01 | 7.300000e+01 | 204.17%
1615.51/1615.51 c 1560s| 1600k| 48294 | 0 | 0.0 | 99M| 116 | - | 223 | 35k| 0 | 0 | 0 |1693k| 0 | 2.400000e+01 | 7.300000e+01 | 204.17%
1656.01/1656.08 c 1600s| 1610k| 37150 | 0 | 0.0 | 84M| 116 | - | 223 | 40k| 0 | 0 | 0 |1714k| 0 | 2.400000e+01 | 7.300000e+01 | 204.17%
1673.81/1673.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1673.81/1673.83 c 1618s| 1620k| 38032 | 0 | 0.0 | 73M| 116 | - | 223 | 18k| 0 | 0 | 0 |1724k| 0 | 3.000000e+01 | 7.300000e+01 | 143.33%
1680.71/1680.75 c 1624s| 1630k| 40336 | 0 | 0.0 | 75M| 116 | - | 223 | 13k| 0 | 0 | 0 |1734k| 0 | 3.000000e+01 | 7.300000e+01 | 143.33%
1687.21/1687.20 c 1630s| 1640k| 43256 | 0 | 0.0 | 76M| 116 | - | 223 | 12k| 0 | 0 | 0 |1743k| 0 | 3.000000e+01 | 7.300000e+01 | 143.33%
1694.21/1694.21 c 1637s| 1650k| 44048 | 0 | 0.0 | 79M| 116 | - | 223 | 13k| 0 | 0 | 0 |1754k| 0 | 3.000000e+01 | 7.300000e+01 | 143.33%
1699.11/1699.19 c 1642s| 1660k| 48433 | 0 | 0.0 | 81M| 116 | - | 223 | 14k| 0 | 0 | 0 |1762k| 0 | 3.000000e+01 | 7.300000e+01 | 143.33%
1703.11/1703.18 c 1645s| 1670k| 53694 | 0 | 0.0 | 85M| 116 | - | 223 | 16k| 0 | 0 | 0 |1768k| 0 | 3.000000e+01 | 7.300000e+01 | 143.33%
1708.71/1708.79 c 1651s| 1680k| 56639 | 0 | 0.0 | 89M| 116 | - | 223 | 17k| 0 | 0 | 0 |1777k| 0 | 3.000000e+01 | 7.300000e+01 | 143.33%
1715.91/1715.91 c 1657s| 1690k| 57645 | 0 | 0.0 | 89M| 116 | - | 223 | 14k| 0 | 0 | 0 |1787k| 0 | 3.000000e+01 | 7.300000e+01 | 143.33%
1721.61/1721.65 c 1663s| 1700k| 60909 | 0 | 0.0 | 93M| 116 | - | 223 | 18k| 0 | 0 | 0 |1796k| 0 | 3.000000e+01 | 7.300000e+01 | 143.33%
1729.01/1729.01 c 1670s| 1710k| 63291 | 0 | 0.0 | 98M| 116 | - | 223 | 20k| 0 | 0 | 0 |1807k| 0 | 3.000000e+01 | 7.300000e+01 | 143.33%
1737.81/1737.89 c 1678s| 1720k| 64487 | 0 | 0.0 | 101M| 116 | - | 223 | 21k| 0 | 0 | 0 |1818k| 0 | 3.000000e+01 | 7.300000e+01 | 143.33%
1747.40/1747.42 c 1688s| 1730k| 64519 | 0 | 0.0 | 104M| 116 | - | 223 | 22k| 0 | 0 | 0 |1830k| 0 | 3.000000e+01 | 7.300000e+01 | 143.33%
1757.81/1757.84 c 1698s| 1740k| 63464 | 0 | 0.0 | 106M| 116 | - | 223 | 23k| 0 | 0 | 0 |1842k| 0 | 3.000000e+01 | 7.300000e+01 | 143.33%
1766.61/1766.61 c 1706s| 1750k| 65157 | 0 | 0.0 | 103M| 116 | - | 223 | 11k| 0 | 0 | 0 |1851k| 0 | 3.000000e+01 | 7.300000e+01 | 143.33%
1772.01/1772.09 c 1711s| 1760k| 66903 | 0 | 0.0 | 107M| 116 | - | 223 | 14k| 0 | 0 | 0 |1862k| 0 | 3.000000e+01 | 7.300000e+01 | 143.33%
1782.70/1782.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1782.70/1782.74 c 1721s| 1770k| 65220 | 0 | 0.0 | 110M| 116 | - | 223 | 21k| 0 | 0 | 0 |1877k| 0 | 3.000000e+01 | 7.300000e+01 | 143.33%
1798.31/1798.37 c 1737s| 1780k| 61945 | 0 | 0.0 | 112M| 116 | - | 223 | 27k| 0 | 0 | 0 |1893k| 0 | 3.000000e+01 | 7.300000e+01 | 143.33%
1800.01/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.00 c
1800.01/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.00 c Solving Time (sec) : 1738.25
1800.01/1800.00 c Solving Nodes : 1780879
1800.01/1800.00 c Primal Bound : +7.30000000000000e+01 (3 solutions)
1800.01/1800.00 c Dual Bound : +3.00000000000000e+01
1800.01/1800.00 c Gap : 143.33 %
1800.01/1800.00 s SATISFIABLE
1800.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/1800.00 v -x4 -x3 -x2 -x1
1800.01/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.00 c Solving Time : 1738.25
1800.01/1800.00 c Original Problem :
1800.01/1800.00 c Problem name : HOME/instance-2693919-1277897264.wbo
1800.01/1800.00 c Variables : 225 (197 binary, 0 integer, 0 implicit integer, 28 continuous)
1800.01/1800.00 c Constraints : 130 initial, 130 maximal
1800.01/1800.00 c Presolved Problem :
1800.01/1800.00 c Problem name : t_HOME/instance-2693919-1277897264.wbo
1800.01/1800.00 c Variables : 223 (196 binary, 0 integer, 0 implicit integer, 27 continuous)
1800.01/1800.00 c Constraints : 112 initial, 47647 maximal
1800.01/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.00 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.01/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.00 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.01/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.00 c linear : 0.00 0 0 0 27 0 17 1 0
1800.01/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.00 c root node : - 5 - - 10 - - - -
1800.01/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.00 c indicator : 27 0 4977743 0 1021555 323 276044 0 0 0
1800.01/1800.00 c setppc : 49 0 5605960 0 1141730 162392 12086507 0 0 0
1800.01/1800.00 c linear : 27 0 5443569 0 1141728 370120 19002710 0 0 0
1800.01/1800.00 c logicor : 9+ 0 3131111 0 1141632 414132 1980782 0 0 0
1800.01/1800.00 c bounddisjunction : 0+ 0 352450 0 0 219 2888 0 0 0
1800.01/1800.00 c countsols : 0 0 0 0 1141731 0 0 0 0 0
1800.01/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.00 c indicator : 0.89 0.00 0.42 0.00 0.47
1800.01/1800.00 c setppc : 34.38 0.00 28.99 0.00 5.39
1800.01/1800.00 c linear : 80.89 0.00 80.75 0.00 0.14
1800.01/1800.00 c logicor : 829.45 0.00 828.80 0.00 0.65
1800.01/1800.00 c bounddisjunction : 0.54 0.00 0.54 0.00 0.00
1800.01/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.00 c vbounds : 0.03 2 0 0
1800.01/1800.00 c rootredcost : 0.01 0 0 0
1800.01/1800.00 c pseudoobj : 4.60 5606219 131 212573
1800.01/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.00 c propagation : 41.01 946994 946867 4942875 21.9 141778 15.4 -
1800.01/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.00 c pseudo solution : 0.00 13 13 45 12.6 3 14.0 -
1800.01/1800.00 c applied globally : - - - 1881120 16.6 - - -
1800.01/1800.00 c applied locally : - - - 14087 34.5 - - -
1800.01/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.00 c redcost : 0.00 0 0 0 0 0
1800.01/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.00 c intobj : 0.00 0 0 0 0 0
1800.01/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.00 c gomory : 0.00 0 0 0 0 0
1800.01/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.00 c cmir : 0.00 0 0 0 0 0
1800.01/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.00 c clique : 0.00 0 0 0 0 0
1800.01/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.00 c mcf : 0.00 0 0 0 0 0
1800.01/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.00 c Pricers : Time Calls Vars
1800.01/1800.00 c problem variables: 0.00 0 0
1800.01/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.00 c inference : 6.68 1141728 0 0 0 0 2283456
1800.01/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.00 c random : 0.00 0 0 0 0 0 0
1800.01/1800.00 c Primal Heuristics : Time Calls Found
1800.01/1800.00 c LP solutions : 0.00 - 0
1800.01/1800.00 c pseudo solutions : 0.02 - 3
1800.01/1800.00 c oneopt : 0.12 0 0
1800.01/1800.00 c trivial : 0.00 2 0
1800.01/1800.00 c simplerounding : 0.00 0 0
1800.01/1800.00 c zirounding : 0.00 0 0
1800.01/1800.00 c rounding : 0.00 0 0
1800.01/1800.00 c shifting : 0.00 0 0
1800.01/1800.00 c intshifting : 0.00 0 0
1800.01/1800.00 c twoopt : 0.00 0 0
1800.01/1800.00 c fixandinfer : 0.00 0 0
1800.01/1800.00 c feaspump : 0.00 0 0
1800.01/1800.00 c coefdiving : 0.00 0 0
1800.01/1800.00 c pscostdiving : 0.00 0 0
1800.01/1800.00 c fracdiving : 0.00 0 0
1800.01/1800.00 c veclendiving : 0.00 0 0
1800.01/1800.00 c intdiving : 0.00 0 0
1800.01/1800.00 c actconsdiving : 0.00 0 0
1800.01/1800.00 c objpscostdiving : 0.00 0 0
1800.01/1800.00 c rootsoldiving : 0.00 0 0
1800.01/1800.00 c linesearchdiving : 0.00 0 0
1800.01/1800.00 c guideddiving : 0.00 0 0
1800.01/1800.00 c octane : 0.00 0 0
1800.01/1800.00 c rens : 0.00 0 0
1800.01/1800.00 c rins : 0.00 0 0
1800.01/1800.00 c localbranching : 0.00 0 0
1800.01/1800.00 c mutation : 0.00 0 0
1800.01/1800.00 c crossover : 0.00 0 0
1800.01/1800.00 c dins : 0.00 0 0
1800.01/1800.00 c undercover : 0.00 0 0
1800.01/1800.00 c nlp : 0.01 0 0
1800.01/1800.00 c trysol : 0.01 1 0
1800.01/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.00 c (at root node) : - 0 0 0.00 -
1800.01/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.00 c B&B Tree :
1800.01/1800.00 c number of runs : 1
1800.01/1800.00 c nodes : 1780879
1800.01/1800.00 c nodes (total) : 1780879
1800.01/1800.00 c nodes left : 61527
1800.01/1800.00 c max depth : 116
1800.01/1800.00 c max depth (total): 116
1800.01/1800.00 c backtracks : 662110 (37.2%)
1800.01/1800.00 c delayed cutoffs : 429594
1800.01/1800.00 c repropagations : 2031689 (9477693 domain reductions, 308182 cutoffs)
1800.01/1800.00 c avg switch length: 18.34
1800.01/1800.00 c switching time : 580.76
1800.01/1800.00 c Solution :
1800.01/1800.00 c Solutions found : 3 (3 improvements)
1800.01/1800.00 c First Solution : +9.80000000000000e+01 (in run 1, after 14255 nodes, 1.27 seconds, depth 86, found by <relaxation>)
1800.01/1800.00 c Primal Bound : +7.30000000000000e+01 (in run 1, after 1084872 nodes, 979.55 seconds, depth 54, found by <relaxation>)
1800.01/1800.00 c Dual Bound : +3.00000000000000e+01
1800.01/1800.00 c Gap : 143.33 %
1800.01/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.00 c Root Iterations : 0
1800.11/1800.19 c Time complete: 1800.21.