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-2664795-1276598097.opb>
0.00/0.01 c original problem has 100 variables (100 bin, 0 int, 0 impl, 0 cont) and 100 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 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.01/0.02 o 100
0.01/0.02 c feasible solution found by trivial heuristic, objective value 1.000000e+02
0.01/0.02 c presolving:
0.01/0.02 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 0 impls, 0 clqs
0.01/0.03 c presolving (2 rounds):
0.01/0.03 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.03 c 0 implications, 0 cliques
0.01/0.03 c presolved problem has 100 variables (100 bin, 0 int, 0 impl, 0 cont) and 100 constraints
0.01/0.03 c 100 constraints of type <logicor>
0.01/0.03 c transformed objective value is always integral (scale: 1)
0.01/0.03 c Presolving Time: 0.00
0.01/0.03 c - non default parameters ----------------------------------------------------------------------
0.01/0.03 c # SCIP version 1.2.1.2
0.01/0.03 c
0.01/0.03 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.03 c conflict/interconss = 0
0.01/0.03 c
0.01/0.03 c # should binary conflicts be preferred?
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c conflict/preferbinary = TRUE
0.01/0.03 c
0.01/0.03 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.03 c constraints/agelimit = 1
0.01/0.03 c
0.01/0.03 c # should enforcement of pseudo solution be disabled?
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c constraints/disableenfops = TRUE
0.01/0.03 c
0.01/0.03 c # frequency for displaying node information lines
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.03 c display/freq = 10000
0.01/0.03 c
0.01/0.03 c # maximal time in seconds to run
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/time = 1799.99
0.01/0.03 c
0.01/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/memory = 1620
0.01/0.03 c
0.01/0.03 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.03 c lp/solvefreq = -1
0.01/0.03 c
0.01/0.03 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.01/0.03 c # [type: char, range: {lafpsqd}, default: l]
0.01/0.03 c lp/pricing = a
0.01/0.03 c
0.01/0.03 c # should presolving try to simplify inequalities
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c constraints/linear/simplifyinequalities = TRUE
0.01/0.03 c
0.01/0.03 c # should presolving try to simplify knapsacks
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.03 c
0.01/0.03 c # priority of node selection rule <dfs> in standard mode
0.01/0.03 c # [type: int, range: [-536870912,536870911], default: 0]
0.01/0.03 c nodeselection/dfs/stdpriority = 1000000
0.01/0.03 c
0.01/0.03 c -----------------------------------------------------------------------------------------------
0.01/0.03 c start solving
0.01/0.03 c
0.01/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.01/0.03 c t 0.0s| 1 | 2 | 0 | - | 503k| 0 | - | 100 | 100 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.000000e+02 | Inf
0.01/0.04 o 9
0.01/0.04 c * 0.0s| 92 | 90 | 0 | 0.0 | 527k| 91 | - | 100 | 100 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
0.01/0.04 o 8
0.01/0.04 c * 0.0s| 102 | 88 | 0 | 0.0 | 532k| 91 | - | 100 | 100 | 0 | 0 | 0 | 5 | 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
0.09/0.12 o 7
0.09/0.12 c * 0.1s| 662 | 84 | 0 | 0.0 | 549k| 94 | - | 100 | 100 | 0 | 0 | 0 | 346 | 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1.39/1.44 c 1.2s| 10000 | 82 | 0 | 0.0 | 553k| 96 | - | 100 | 102 | 0 | 0 | 0 |5976 | 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
2.69/2.79 c 2.4s| 20000 | 80 | 0 | 0.0 | 557k| 96 | - | 100 | 102 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
3.20/3.30 o 6
3.20/3.30 c * 2.8s| 23895 | 75 | 0 | 0.0 | 557k| 96 | - | 100 | 101 | 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
4.09/4.11 c 3.6s| 30000 | 80 | 0 | 0.0 | 562k| 96 | - | 100 | 109 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
5.39/5.44 c 4.7s| 40000 | 82 | 0 | 0.0 | 563k| 96 | - | 100 | 105 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
6.69/6.74 c 5.8s| 50000 | 71 | 0 | 0.0 | 564k| 96 | - | 100 | 106 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
7.99/8.04 c 6.9s| 60000 | 75 | 0 | 0.0 | 565k| 96 | - | 100 | 103 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
9.19/9.29 c 8.0s| 70000 | 81 | 0 | 0.0 | 569k| 96 | - | 100 | 107 | 0 | 0 | 0 | 40k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
10.49/10.57 c 9.1s| 80000 | 81 | 0 | 0.0 | 567k| 96 | - | 100 | 100 | 0 | 0 | 0 | 46k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
11.78/11.84 c 10.2s| 90000 | 81 | 0 | 0.0 | 571k| 96 | - | 100 | 104 | 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
13.10/13.12 c 11.3s|100000 | 74 | 0 | 0.0 | 571k| 96 | - | 100 | 104 | 0 | 0 | 0 | 58k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
14.30/14.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.30/14.39 c 12.5s|110000 | 86 | 0 | 0.0 | 572k| 96 | - | 100 | 103 | 0 | 0 | 0 | 63k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
15.58/15.66 c 13.6s|120000 | 70 | 0 | 0.0 | 570k| 96 | - | 100 | 106 | 0 | 0 | 0 | 69k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
16.88/16.96 c 14.7s|130000 | 75 | 0 | 0.0 | 572k| 96 | - | 100 | 103 | 0 | 0 | 0 | 74k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
18.19/18.23 c 15.8s|140000 | 70 | 0 | 0.0 | 574k| 96 | - | 100 | 109 | 0 | 0 | 0 | 80k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
19.38/19.49 c 16.9s|150000 | 73 | 0 | 0.0 | 573k| 96 | - | 100 | 108 | 0 | 0 | 0 | 86k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
20.69/20.78 c 18.0s|160000 | 72 | 0 | 0.0 | 571k| 96 | - | 100 | 102 | 0 | 0 | 0 | 91k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
21.99/22.06 c 19.1s|170000 | 71 | 0 | 0.0 | 572k| 96 | - | 100 | 104 | 0 | 0 | 0 | 97k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
23.29/23.38 c 20.3s|180000 | 68 | 0 | 0.0 | 573k| 96 | - | 100 | 106 | 0 | 0 | 0 | 103k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
24.58/24.67 c 21.4s|190000 | 70 | 0 | 0.0 | 575k| 96 | - | 100 | 105 | 0 | 0 | 0 | 108k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
25.89/25.94 c 22.6s|200000 | 78 | 0 | 0.0 | 576k| 96 | - | 100 | 103 | 0 | 0 | 0 | 114k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
27.18/27.24 c 23.7s|210000 | 75 | 0 | 0.0 | 576k| 96 | - | 100 | 105 | 0 | 0 | 0 | 120k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
28.39/28.50 c 24.8s|220000 | 85 | 0 | 0.0 | 579k| 96 | - | 100 | 106 | 0 | 0 | 0 | 125k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
29.78/29.80 c 25.9s|230000 | 66 | 0 | 0.0 | 574k| 96 | - | 100 | 106 | 0 | 0 | 0 | 131k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
30.98/31.09 c 27.1s|240000 | 73 | 0 | 0.0 | 578k| 96 | - | 100 | 106 | 0 | 0 | 0 | 136k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
32.28/32.37 c 28.2s|250000 | 83 | 0 | 0.0 | 580k| 96 | - | 100 | 104 | 0 | 0 | 0 | 142k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
33.58/33.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.58/33.63 c 29.3s|260000 | 78 | 0 | 0.0 | 580k| 96 | - | 100 | 111 | 0 | 0 | 0 | 148k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
34.88/34.93 c 30.4s|270000 | 74 | 0 | 0.0 | 580k| 96 | - | 100 | 110 | 0 | 0 | 0 | 153k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
36.08/36.18 c 31.6s|280000 | 67 | 0 | 0.0 | 580k| 96 | - | 100 | 112 | 0 | 0 | 0 | 159k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
37.39/37.49 c 32.7s|290000 | 68 | 0 | 0.0 | 579k| 96 | - | 100 | 105 | 0 | 0 | 0 | 165k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
38.68/38.77 c 33.8s|300000 | 68 | 0 | 0.0 | 581k| 96 | - | 100 | 113 | 0 | 0 | 0 | 170k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
39.98/40.06 c 34.9s|310000 | 73 | 0 | 0.0 | 581k| 96 | - | 100 | 108 | 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
41.28/41.35 c 36.0s|320000 | 80 | 0 | 0.0 | 582k| 96 | - | 100 | 105 | 0 | 0 | 0 | 181k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
42.58/42.67 c 37.2s|330000 | 71 | 0 | 0.0 | 579k| 96 | - | 100 | 107 | 0 | 0 | 0 | 187k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
43.88/43.98 c 38.3s|340000 | 84 | 0 | 0.0 | 581k| 96 | - | 100 | 102 | 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
45.18/45.26 c 39.4s|350000 | 78 | 0 | 0.0 | 580k| 96 | - | 100 | 102 | 0 | 0 | 0 | 198k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
46.48/46.56 c 40.6s|360000 | 68 | 0 | 0.0 | 582k| 96 | - | 100 | 107 | 0 | 0 | 0 | 204k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
47.78/47.87 c 41.7s|370000 | 67 | 0 | 0.0 | 582k| 96 | - | 100 | 108 | 0 | 0 | 0 | 209k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
49.07/49.17 c 42.9s|380000 | 65 | 0 | 0.0 | 579k| 96 | - | 100 | 107 | 0 | 0 | 0 | 215k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
50.38/50.50 c 44.0s|390000 | 54 | 0 | 0.0 | 582k| 96 | - | 100 | 116 | 0 | 0 | 0 | 220k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
51.77/51.87 c 45.2s|400000 | 84 | 0 | 0.0 | 585k| 96 | - | 100 | 104 | 0 | 0 | 0 | 226k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
53.07/53.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.07/53.17 c 46.3s|410000 | 64 | 0 | 0.0 | 579k| 96 | - | 100 | 105 | 0 | 0 | 0 | 232k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
54.37/54.45 c 47.4s|420000 | 62 | 0 | 0.0 | 580k| 96 | - | 100 | 107 | 0 | 0 | 0 | 237k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
55.67/55.75 c 48.6s|430000 | 69 | 0 | 0.0 | 580k| 96 | - | 100 | 103 | 0 | 0 | 0 | 243k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
56.98/57.01 c 49.7s|440000 | 76 | 0 | 0.0 | 583k| 96 | - | 100 | 103 | 0 | 0 | 0 | 248k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
58.28/58.30 c 50.8s|450000 | 73 | 0 | 0.0 | 585k| 96 | - | 100 | 108 | 0 | 0 | 0 | 254k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
59.57/59.65 c 52.0s|460000 | 65 | 0 | 0.0 | 581k| 96 | - | 100 | 106 | 0 | 0 | 0 | 259k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
60.87/60.97 c 53.1s|470000 | 63 | 0 | 0.0 | 582k| 96 | - | 100 | 105 | 0 | 0 | 0 | 265k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
62.17/62.28 c 54.3s|480000 | 84 | 0 | 0.0 | 586k| 96 | - | 100 | 102 | 0 | 0 | 0 | 270k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
63.47/63.55 c 55.4s|490000 | 72 | 0 | 0.0 | 582k| 96 | - | 100 | 103 | 0 | 0 | 0 | 276k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
64.78/64.86 c 56.5s|500000 | 68 | 0 | 0.0 | 582k| 96 | - | 100 | 103 | 0 | 0 | 0 | 281k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
66.07/66.18 c 57.7s|510000 | 68 | 0 | 0.0 | 583k| 96 | - | 100 | 104 | 0 | 0 | 0 | 287k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
67.37/67.49 c 58.8s|520000 | 75 | 0 | 0.0 | 587k| 96 | - | 100 | 105 | 0 | 0 | 0 | 293k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
68.77/68.83 c 60.0s|530000 | 61 | 0 | 0.0 | 582k| 96 | - | 100 | 106 | 0 | 0 | 0 | 298k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
70.07/70.12 c 61.1s|540000 | 68 | 0 | 0.0 | 584k| 96 | - | 100 | 105 | 0 | 0 | 0 | 304k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
71.38/71.40 c 62.2s|550000 | 75 | 0 | 0.0 | 586k| 96 | - | 100 | 105 | 0 | 0 | 0 | 309k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
72.58/72.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
72.58/72.67 c 63.4s|560000 | 65 | 0 | 0.0 | 585k| 96 | - | 100 | 109 | 0 | 0 | 0 | 315k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
73.87/73.98 c 64.5s|570000 | 77 | 0 | 0.0 | 590k| 96 | - | 100 | 110 | 0 | 0 | 0 | 320k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
75.17/75.27 c 65.7s|580000 | 72 | 0 | 0.0 | 591k| 96 | - | 100 | 108 | 0 | 0 | 0 | 326k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
76.47/76.59 c 66.8s|590000 | 75 | 0 | 0.0 | 589k| 96 | - | 100 | 106 | 0 | 0 | 0 | 331k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
77.86/77.91 c 68.0s|600000 | 70 | 0 | 0.0 | 586k| 96 | - | 100 | 108 | 0 | 0 | 0 | 337k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
79.07/79.20 c 69.1s|610000 | 71 | 0 | 0.0 | 588k| 96 | - | 100 | 111 | 0 | 0 | 0 | 342k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
80.46/80.52 c 70.3s|620000 | 71 | 0 | 0.0 | 589k| 96 | - | 100 | 112 | 0 | 0 | 0 | 348k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
81.77/81.80 c 71.4s|630000 | 78 | 0 | 0.0 | 590k| 96 | - | 100 | 106 | 0 | 0 | 0 | 354k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
83.07/83.12 c 72.5s|640000 | 76 | 0 | 0.0 | 589k| 96 | - | 100 | 108 | 0 | 0 | 0 | 359k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
84.36/84.40 c 73.6s|650000 | 61 | 0 | 0.0 | 584k| 96 | - | 100 | 106 | 0 | 0 | 0 | 365k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
85.67/85.71 c 74.8s|660000 | 67 | 0 | 0.0 | 591k| 96 | - | 100 | 108 | 0 | 0 | 0 | 370k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
86.97/87.02 c 75.9s|670000 | 67 | 0 | 0.0 | 587k| 96 | - | 100 | 109 | 0 | 0 | 0 | 376k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
88.16/88.28 c 77.0s|680000 | 69 | 0 | 0.0 | 590k| 96 | - | 100 | 108 | 0 | 0 | 0 | 381k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
89.47/89.53 c 78.1s|690000 | 83 | 0 | 0.0 | 595k| 96 | - | 100 | 114 | 0 | 0 | 0 | 387k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
90.67/90.77 c 79.2s|700000 | 75 | 0 | 0.0 | 589k| 96 | - | 100 | 107 | 0 | 0 | 0 | 392k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
91.97/92.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.97/92.04 c 80.3s|710000 | 49 | 0 | 0.0 | 587k| 96 | - | 100 | 113 | 0 | 0 | 0 | 398k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
93.26/93.37 c 81.5s|720000 | 64 | 0 | 0.0 | 588k| 96 | - | 100 | 104 | 0 | 0 | 0 | 403k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
94.57/94.69 c 82.7s|730000 | 64 | 0 | 0.0 | 591k| 96 | - | 100 | 112 | 0 | 0 | 0 | 409k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
95.96/96.00 c 83.8s|740000 | 76 | 0 | 0.0 | 589k| 96 | - | 100 | 103 | 0 | 0 | 0 | 415k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
97.26/97.31 c 85.0s|750000 | 71 | 0 | 0.0 | 591k| 96 | - | 100 | 109 | 0 | 0 | 0 | 420k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
98.56/98.61 c 86.1s|760000 | 70 | 0 | 0.0 | 591k| 96 | - | 100 | 110 | 0 | 0 | 0 | 426k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
99.76/99.88 c 87.2s|770000 | 76 | 0 | 0.0 | 592k| 96 | - | 100 | 109 | 0 | 0 | 0 | 431k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
101.07/101.14 c 88.3s|780000 | 74 | 0 | 0.0 | 591k| 96 | - | 100 | 106 | 0 | 0 | 0 | 436k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
102.36/102.41 c 89.4s|790000 | 78 | 0 | 0.0 | 592k| 96 | - | 100 | 107 | 0 | 0 | 0 | 442k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
103.66/103.71 c 90.6s|800000 | 74 | 0 | 0.0 | 590k| 96 | - | 100 | 104 | 0 | 0 | 0 | 447k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
104.86/104.99 c 91.7s|810000 | 76 | 0 | 0.0 | 591k| 96 | - | 100 | 104 | 0 | 0 | 0 | 453k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
106.26/106.31 c 92.8s|820000 | 70 | 0 | 0.0 | 592k| 96 | - | 100 | 110 | 0 | 0 | 0 | 458k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
107.56/107.60 c 94.0s|830000 | 67 | 0 | 0.0 | 592k| 96 | - | 100 | 106 | 0 | 0 | 0 | 464k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
108.77/108.89 c 95.1s|840000 | 67 | 0 | 0.0 | 588k| 96 | - | 100 | 102 | 0 | 0 | 0 | 470k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
110.06/110.19 c 96.2s|850000 | 66 | 0 | 0.0 | 591k| 96 | - | 100 | 103 | 0 | 0 | 0 | 475k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
111.36/111.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.36/111.49 c 97.3s|860000 | 62 | 0 | 0.0 | 587k| 96 | - | 100 | 104 | 0 | 0 | 0 | 481k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
112.65/112.78 c 98.4s|870000 | 71 | 0 | 0.0 | 591k| 96 | - | 100 | 104 | 0 | 0 | 0 | 486k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
113.95/114.06 c 99.5s|880000 | 82 | 0 | 0.0 | 595k| 96 | - | 100 | 108 | 0 | 0 | 0 | 492k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
115.26/115.35 c 101s|890000 | 65 | 0 | 0.0 | 591k| 96 | - | 100 | 108 | 0 | 0 | 0 | 497k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
116.56/116.67 c 102s|900000 | 51 | 0 | 0.0 | 588k| 96 | - | 100 | 108 | 0 | 0 | 0 | 502k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
117.96/118.01 c 103s|910000 | 75 | 0 | 0.0 | 591k| 96 | - | 100 | 104 | 0 | 0 | 0 | 508k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
119.26/119.34 c 104s|920000 | 79 | 0 | 0.0 | 593k| 96 | - | 100 | 103 | 0 | 0 | 0 | 513k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
120.55/120.66 c 105s|930000 | 72 | 0 | 0.0 | 590k| 96 | - | 100 | 101 | 0 | 0 | 0 | 519k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
121.96/122.02 c 106s|940000 | 61 | 0 | 0.0 | 592k| 96 | - | 100 | 110 | 0 | 0 | 0 | 525k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
123.25/123.38 c 108s|950000 | 52 | 0 | 0.0 | 589k| 96 | - | 100 | 106 | 0 | 0 | 0 | 530k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
124.56/124.67 c 109s|960000 | 68 | 0 | 0.0 | 591k| 96 | - | 100 | 105 | 0 | 0 | 0 | 536k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
125.86/125.96 c 110s|970000 | 65 | 0 | 0.0 | 592k| 96 | - | 100 | 105 | 0 | 0 | 0 | 541k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
127.15/127.28 c 111s|980000 | 48 | 0 | 0.0 | 589k| 96 | - | 100 | 108 | 0 | 0 | 0 | 547k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
128.45/128.59 c 112s|990000 | 65 | 0 | 0.0 | 592k| 96 | - | 100 | 106 | 0 | 0 | 0 | 552k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
129.76/129.87 c 113s| 1000k| 69 | 0 | 0.0 | 591k| 96 | - | 100 | 103 | 0 | 0 | 0 | 558k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
131.05/131.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
131.05/131.17 c 115s| 1010k| 46 | 0 | 0.0 | 592k| 96 | - | 100 | 114 | 0 | 0 | 0 | 563k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
132.35/132.48 c 116s| 1020k| 71 | 0 | 0.0 | 595k| 96 | - | 100 | 108 | 0 | 0 | 0 | 569k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
133.65/133.77 c 117s| 1030k| 80 | 0 | 0.0 | 596k| 96 | - | 100 | 104 | 0 | 0 | 0 | 574k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
134.95/135.09 c 118s| 1040k| 75 | 0 | 0.0 | 597k| 96 | - | 100 | 106 | 0 | 0 | 0 | 580k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
136.25/136.39 c 119s| 1050k| 72 | 0 | 0.0 | 593k| 96 | - | 100 | 103 | 0 | 0 | 0 | 585k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
137.55/137.68 c 120s| 1060k| 68 | 0 | 0.0 | 591k| 96 | - | 100 | 102 | 0 | 0 | 0 | 591k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
138.85/138.98 c 121s| 1070k| 66 | 0 | 0.0 | 597k| 96 | - | 100 | 110 | 0 | 0 | 0 | 596k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
140.25/140.30 c 122s| 1080k| 60 | 0 | 0.0 | 591k| 96 | - | 100 | 107 | 0 | 0 | 0 | 602k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
141.55/141.61 c 124s| 1090k| 61 | 0 | 0.0 | 591k| 96 | - | 100 | 106 | 0 | 0 | 0 | 607k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
142.85/142.91 c 125s| 1100k| 60 | 0 | 0.0 | 594k| 96 | - | 100 | 108 | 0 | 0 | 0 | 613k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
144.15/144.22 c 126s| 1110k| 59 | 0 | 0.0 | 591k| 96 | - | 100 | 106 | 0 | 0 | 0 | 618k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
145.44/145.53 c 127s| 1120k| 70 | 0 | 0.0 | 593k| 96 | - | 100 | 105 | 0 | 0 | 0 | 624k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
146.75/146.86 c 128s| 1130k| 70 | 0 | 0.0 | 596k| 96 | - | 100 | 107 | 0 | 0 | 0 | 629k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
148.05/148.16 c 129s| 1140k| 71 | 0 | 0.0 | 594k| 96 | - | 100 | 104 | 0 | 0 | 0 | 634k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
149.35/149.49 c 130s| 1150k| 77 | 0 | 0.0 | 600k| 96 | - | 100 | 114 | 0 | 0 | 0 | 640k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
150.65/150.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.65/150.77 c 132s| 1160k| 69 | 0 | 0.0 | 600k| 96 | - | 100 | 119 | 0 | 0 | 0 | 646k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
151.94/152.04 c 133s| 1170k| 69 | 0 | 0.0 | 601k| 96 | - | 100 | 118 | 0 | 0 | 0 | 651k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
153.25/153.34 c 134s| 1180k| 74 | 0 | 0.0 | 600k| 96 | - | 100 | 116 | 0 | 0 | 0 | 657k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
154.44/154.59 c 135s| 1190k| 68 | 0 | 0.0 | 600k| 96 | - | 100 | 121 | 0 | 0 | 0 | 662k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
155.75/155.89 c 136s| 1200k| 72 | 0 | 0.0 | 601k| 96 | - | 100 | 120 | 0 | 0 | 0 | 668k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
157.04/157.20 c 137s| 1210k| 79 | 0 | 0.0 | 603k| 96 | - | 100 | 119 | 0 | 0 | 0 | 673k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
158.44/158.54 c 138s| 1220k| 69 | 0 | 0.0 | 599k| 96 | - | 100 | 116 | 0 | 0 | 0 | 679k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
159.74/159.82 c 140s| 1230k| 65 | 0 | 0.0 | 602k| 96 | - | 100 | 117 | 0 | 0 | 0 | 684k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
161.04/161.11 c 141s| 1240k| 64 | 0 | 0.0 | 600k| 96 | - | 100 | 118 | 0 | 0 | 0 | 690k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
162.34/162.43 c 142s| 1250k| 85 | 0 | 0.0 | 604k| 96 | - | 100 | 120 | 0 | 0 | 0 | 695k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
163.64/163.77 c 143s| 1260k| 48 | 0 | 0.0 | 597k| 96 | - | 100 | 118 | 0 | 0 | 0 | 701k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
165.04/165.12 c 144s| 1270k| 64 | 0 | 0.0 | 599k| 96 | - | 100 | 116 | 0 | 0 | 0 | 706k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
166.34/166.42 c 145s| 1280k| 61 | 0 | 0.0 | 596k| 96 | - | 100 | 113 | 0 | 0 | 0 | 711k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
167.63/167.75 c 146s| 1290k| 75 | 0 | 0.0 | 599k| 96 | - | 100 | 101 | 0 | 0 | 0 | 717k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
168.93/169.07 c 148s| 1300k| 63 | 0 | 0.0 | 593k| 96 | - | 100 | 101 | 0 | 0 | 0 | 723k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
170.35/170.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.35/170.42 c 149s| 1310k| 60 | 0 | 0.0 | 593k| 96 | - | 100 | 104 | 0 | 0 | 0 | 728k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
171.64/171.70 c 150s| 1320k| 71 | 0 | 0.0 | 596k| 96 | - | 100 | 104 | 0 | 0 | 0 | 734k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
172.94/173.04 c 151s| 1330k| 71 | 0 | 0.0 | 597k| 96 | - | 100 | 102 | 0 | 0 | 0 | 739k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
174.34/174.41 c 152s| 1340k| 81 | 0 | 0.0 | 601k| 96 | - | 100 | 109 | 0 | 0 | 0 | 745k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
175.64/175.74 c 153s| 1350k| 74 | 0 | 0.0 | 597k| 96 | - | 100 | 103 | 0 | 0 | 0 | 750k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
176.94/177.05 c 155s| 1360k| 54 | 0 | 0.0 | 593k| 96 | - | 100 | 107 | 0 | 0 | 0 | 756k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
178.24/178.34 c 156s| 1370k| 69 | 0 | 0.0 | 597k| 96 | - | 100 | 106 | 0 | 0 | 0 | 761k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
179.53/179.67 c 157s| 1380k| 63 | 0 | 0.0 | 594k| 96 | - | 100 | 102 | 0 | 0 | 0 | 767k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
180.83/180.99 c 158s| 1390k| 60 | 0 | 0.0 | 596k| 96 | - | 100 | 105 | 0 | 0 | 0 | 772k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
182.14/182.29 c 159s| 1400k| 71 | 0 | 0.0 | 601k| 96 | - | 100 | 106 | 0 | 0 | 0 | 778k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
183.54/183.60 c 160s| 1410k| 63 | 0 | 0.0 | 598k| 96 | - | 100 | 110 | 0 | 0 | 0 | 783k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
184.74/184.89 c 161s| 1420k| 52 | 0 | 0.0 | 593k| 96 | - | 100 | 107 | 0 | 0 | 0 | 789k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
186.24/186.34 c 163s| 1430k| 69 | 0 | 0.0 | 596k| 96 | - | 100 | 102 | 0 | 0 | 0 | 794k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
187.53/187.65 c 164s| 1440k| 62 | 0 | 0.0 | 600k| 96 | - | 100 | 111 | 0 | 0 | 0 | 800k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
188.83/188.97 c 165s| 1450k| 66 | 0 | 0.0 | 598k| 96 | - | 100 | 109 | 0 | 0 | 0 | 805k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
190.24/190.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
190.24/190.34 c 166s| 1460k| 69 | 0 | 0.0 | 598k| 96 | - | 100 | 107 | 0 | 0 | 0 | 811k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
191.63/191.72 c 167s| 1470k| 80 | 0 | 0.0 | 603k| 96 | - | 100 | 106 | 0 | 0 | 0 | 816k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
192.93/193.03 c 168s| 1480k| 67 | 0 | 0.0 | 603k| 96 | - | 100 | 116 | 0 | 0 | 0 | 822k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
194.23/194.34 c 170s| 1490k| 58 | 0 | 0.0 | 596k| 96 | - | 100 | 108 | 0 | 0 | 0 | 827k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
195.53/195.64 c 171s| 1500k| 62 | 0 | 0.0 | 600k| 96 | - | 100 | 111 | 0 | 0 | 0 | 833k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
196.84/196.93 c 172s| 1510k| 49 | 0 | 0.0 | 594k| 96 | - | 100 | 110 | 0 | 0 | 0 | 838k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
198.13/198.25 c 173s| 1520k| 59 | 0 | 0.0 | 599k| 96 | - | 100 | 114 | 0 | 0 | 0 | 844k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
199.53/199.61 c 174s| 1530k| 81 | 0 | 0.0 | 600k| 96 | - | 100 | 103 | 0 | 0 | 0 | 849k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
200.83/200.95 c 175s| 1540k| 67 | 0 | 0.0 | 598k| 96 | - | 100 | 107 | 0 | 0 | 0 | 855k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
202.13/202.27 c 177s| 1550k| 75 | 0 | 0.0 | 602k| 96 | - | 100 | 112 | 0 | 0 | 0 | 860k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
203.53/203.60 c 178s| 1560k| 55 | 0 | 0.0 | 595k| 96 | - | 100 | 106 | 0 | 0 | 0 | 865k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
204.82/204.92 c 179s| 1570k| 70 | 0 | 0.0 | 598k| 96 | - | 100 | 104 | 0 | 0 | 0 | 871k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
206.22/206.30 c 180s| 1580k| 72 | 0 | 0.0 | 604k| 96 | - | 100 | 109 | 0 | 0 | 0 | 876k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
207.53/207.64 c 181s| 1590k| 69 | 0 | 0.0 | 603k| 96 | - | 100 | 114 | 0 | 0 | 0 | 882k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
208.84/208.92 c 182s| 1600k| 54 | 0 | 0.0 | 595k| 96 | - | 100 | 105 | 0 | 0 | 0 | 888k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
210.12/210.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
210.12/210.26 c 183s| 1610k| 52 | 0 | 0.0 | 597k| 96 | - | 100 | 111 | 0 | 0 | 0 | 893k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
211.42/211.58 c 185s| 1620k| 57 | 0 | 0.0 | 597k| 96 | - | 100 | 108 | 0 | 0 | 0 | 899k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
212.73/212.87 c 186s| 1630k| 68 | 0 | 0.0 | 602k| 96 | - | 100 | 113 | 0 | 0 | 0 | 904k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
214.12/214.21 c 187s| 1640k| 56 | 0 | 0.0 | 604k| 96 | - | 100 | 121 | 0 | 0 | 0 | 910k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
215.43/215.57 c 188s| 1650k| 69 | 0 | 0.0 | 601k| 96 | - | 100 | 109 | 0 | 0 | 0 | 915k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
216.72/216.86 c 189s| 1660k| 68 | 0 | 0.0 | 600k| 96 | - | 100 | 107 | 0 | 0 | 0 | 921k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
218.02/218.18 c 190s| 1670k| 60 | 0 | 0.0 | 599k| 96 | - | 100 | 110 | 0 | 0 | 0 | 926k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
219.32/219.48 c 192s| 1680k| 71 | 0 | 0.0 | 602k| 96 | - | 100 | 111 | 0 | 0 | 0 | 931k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
220.72/220.81 c 193s| 1690k| 50 | 0 | 0.0 | 601k| 96 | - | 100 | 115 | 0 | 0 | 0 | 937k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
222.02/222.12 c 194s| 1700k| 51 | 0 | 0.0 | 601k| 96 | - | 100 | 115 | 0 | 0 | 0 | 942k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
223.32/223.46 c 195s| 1710k| 63 | 0 | 0.0 | 604k| 96 | - | 100 | 114 | 0 | 0 | 0 | 948k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
224.62/224.76 c 196s| 1720k| 74 | 0 | 0.0 | 607k| 96 | - | 100 | 117 | 0 | 0 | 0 | 953k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
225.92/226.07 c 197s| 1730k| 62 | 0 | 0.0 | 601k| 96 | - | 100 | 114 | 0 | 0 | 0 | 959k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
227.22/227.37 c 198s| 1740k| 51 | 0 | 0.0 | 600k| 96 | - | 100 | 112 | 0 | 0 | 0 | 964k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
228.62/228.74 c 200s| 1750k| 76 | 0 | 0.0 | 604k| 96 | - | 100 | 112 | 0 | 0 | 0 | 969k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
230.02/230.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
230.02/230.11 c 201s| 1760k| 65 | 0 | 0.0 | 602k| 96 | - | 100 | 106 | 0 | 0 | 0 | 975k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
231.32/231.48 c 202s| 1770k| 67 | 0 | 0.0 | 600k| 96 | - | 100 | 103 | 0 | 0 | 0 | 981k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
232.71/232.83 c 203s| 1780k| 59 | 0 | 0.0 | 599k| 96 | - | 100 | 106 | 0 | 0 | 0 | 986k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
234.02/234.14 c 204s| 1790k| 64 | 0 | 0.0 | 598k| 96 | - | 100 | 101 | 0 | 0 | 0 | 992k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
235.32/235.46 c 206s| 1800k| 74 | 0 | 0.0 | 601k| 96 | - | 100 | 102 | 0 | 0 | 0 | 997k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
236.71/236.84 c 207s| 1810k| 58 | 0 | 0.0 | 602k| 96 | - | 100 | 109 | 0 | 0 | 0 |1003k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
238.02/238.18 c 208s| 1820k| 65 | 0 | 0.0 | 603k| 96 | - | 100 | 109 | 0 | 0 | 0 |1008k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
239.41/239.52 c 209s| 1830k| 61 | 0 | 0.0 | 602k| 96 | - | 100 | 108 | 0 | 0 | 0 |1014k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
240.73/240.83 c 210s| 1840k| 66 | 0 | 0.0 | 602k| 96 | - | 100 | 108 | 0 | 0 | 0 |1019k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
242.01/242.16 c 211s| 1850k| 68 | 0 | 0.0 | 602k| 96 | - | 100 | 108 | 0 | 0 | 0 |1024k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
243.32/243.47 c 213s| 1860k| 74 | 0 | 0.0 | 605k| 96 | - | 100 | 113 | 0 | 0 | 0 |1030k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
244.62/244.78 c 214s| 1870k| 62 | 0 | 0.0 | 603k| 96 | - | 100 | 115 | 0 | 0 | 0 |1035k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
245.91/246.08 c 215s| 1880k| 54 | 0 | 0.0 | 600k| 96 | - | 100 | 114 | 0 | 0 | 0 |1041k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
247.21/247.35 c 216s| 1890k| 76 | 0 | 0.0 | 603k| 96 | - | 100 | 105 | 0 | 0 | 0 |1046k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
248.52/248.67 c 217s| 1900k| 52 | 0 | 0.0 | 598k| 96 | - | 100 | 107 | 0 | 0 | 0 |1051k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
249.91/250.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
249.91/250.04 c 218s| 1910k| 67 | 0 | 0.0 | 602k| 96 | - | 100 | 109 | 0 | 0 | 0 |1057k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
251.22/251.35 c 219s| 1920k| 77 | 0 | 0.0 | 606k| 96 | - | 100 | 108 | 0 | 0 | 0 |1062k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
252.51/252.66 c 221s| 1930k| 61 | 0 | 0.0 | 601k| 96 | - | 100 | 107 | 0 | 0 | 0 |1068k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
253.82/253.97 c 222s| 1940k| 66 | 0 | 0.0 | 601k| 96 | - | 100 | 104 | 0 | 0 | 0 |1073k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
255.12/255.26 c 223s| 1950k| 66 | 0 | 0.0 | 603k| 96 | - | 100 | 109 | 0 | 0 | 0 |1079k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
256.41/256.56 c 224s| 1960k| 67 | 0 | 0.0 | 603k| 96 | - | 100 | 107 | 0 | 0 | 0 |1084k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
257.71/257.88 c 225s| 1970k| 63 | 0 | 0.0 | 604k| 96 | - | 100 | 110 | 0 | 0 | 0 |1090k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
259.11/259.23 c 226s| 1980k| 67 | 0 | 0.0 | 606k| 96 | - | 100 | 109 | 0 | 0 | 0 |1095k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
260.41/260.56 c 227s| 1990k| 70 | 0 | 0.0 | 605k| 96 | - | 100 | 111 | 0 | 0 | 0 |1101k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
261.71/261.89 c 229s| 2000k| 55 | 0 | 0.0 | 603k| 96 | - | 100 | 111 | 0 | 0 | 0 |1106k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
263.01/263.18 c 230s| 2010k| 64 | 0 | 0.0 | 602k| 96 | - | 100 | 107 | 0 | 0 | 0 |1112k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
264.31/264.49 c 231s| 2020k| 58 | 0 | 0.0 | 600k| 96 | - | 100 | 105 | 0 | 0 | 0 |1117k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
265.61/265.77 c 232s| 2030k| 69 | 0 | 0.0 | 604k| 96 | - | 100 | 105 | 0 | 0 | 0 |1123k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
266.91/267.09 c 233s| 2040k| 45 | 0 | 0.0 | 601k| 96 | - | 100 | 111 | 0 | 0 | 0 |1128k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
268.32/268.43 c 234s| 2050k| 69 | 0 | 0.0 | 602k| 96 | - | 100 | 104 | 0 | 0 | 0 |1133k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
269.60/269.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
269.60/269.78 c 236s| 2060k| 70 | 0 | 0.0 | 603k| 96 | - | 100 | 106 | 0 | 0 | 0 |1139k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
271.01/271.11 c 237s| 2070k| 62 | 0 | 0.0 | 602k| 96 | - | 100 | 108 | 0 | 0 | 0 |1144k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
272.31/272.44 c 238s| 2080k| 47 | 0 | 0.0 | 597k| 96 | - | 100 | 104 | 0 | 0 | 0 |1150k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
273.71/273.80 c 239s| 2090k| 53 | 0 | 0.0 | 602k| 96 | - | 100 | 108 | 0 | 0 | 0 |1155k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
275.00/275.15 c 240s| 2100k| 74 | 0 | 0.0 | 604k| 96 | - | 100 | 104 | 0 | 0 | 0 |1160k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
276.30/276.45 c 241s| 2110k| 71 | 0 | 0.0 | 604k| 96 | - | 100 | 104 | 0 | 0 | 0 |1166k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
277.60/277.75 c 242s| 2120k| 62 | 0 | 0.0 | 605k| 96 | - | 100 | 109 | 0 | 0 | 0 |1172k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
278.90/279.06 c 244s| 2130k| 71 | 0 | 0.0 | 605k| 96 | - | 100 | 106 | 0 | 0 | 0 |1177k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
280.20/280.34 c 245s| 2140k| 67 | 0 | 0.0 | 605k| 96 | - | 100 | 103 | 0 | 0 | 0 |1183k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
281.51/281.65 c 246s| 2150k| 59 | 0 | 0.0 | 605k| 96 | - | 100 | 111 | 0 | 0 | 0 |1188k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
282.90/283.00 c 247s| 2160k| 71 | 0 | 0.0 | 604k| 96 | - | 100 | 104 | 0 | 0 | 0 |1194k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
284.21/284.38 c 248s| 2170k| 72 | 0 | 0.0 | 605k| 96 | - | 100 | 107 | 0 | 0 | 0 |1199k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
285.50/285.69 c 249s| 2180k| 48 | 0 | 0.0 | 603k| 96 | - | 100 | 110 | 0 | 0 | 0 |1205k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
286.90/287.01 c 251s| 2190k| 66 | 0 | 0.0 | 604k| 96 | - | 100 | 109 | 0 | 0 | 0 |1210k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
288.20/288.31 c 252s| 2200k| 73 | 0 | 0.0 | 609k| 96 | - | 100 | 111 | 0 | 0 | 0 |1216k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
289.40/289.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
289.40/289.59 c 253s| 2210k| 51 | 0 | 0.0 | 604k| 96 | - | 100 | 114 | 0 | 0 | 0 |1221k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
290.80/290.90 c 254s| 2220k| 60 | 0 | 0.0 | 605k| 96 | - | 100 | 109 | 0 | 0 | 0 |1226k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
292.10/292.23 c 255s| 2230k| 54 | 0 | 0.0 | 603k| 96 | - | 100 | 109 | 0 | 0 | 0 |1232k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
293.40/293.53 c 256s| 2240k| 68 | 0 | 0.0 | 603k| 96 | - | 100 | 104 | 0 | 0 | 0 |1237k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
294.71/294.85 c 257s| 2250k| 67 | 0 | 0.0 | 609k| 96 | - | 100 | 109 | 0 | 0 | 0 |1243k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
295.99/296.14 c 258s| 2260k| 58 | 0 | 0.0 | 605k| 96 | - | 100 | 111 | 0 | 0 | 0 |1248k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
296.90/297.08 o 5
296.90/297.08 c * 259s| 2267k| 42 | 0 | 0.0 | 605k| 96 | - | 100 | 117 | 0 | 0 | 0 |1252k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
297.30/297.48 c 260s| 2270k| 63 | 0 | 0.0 | 602k| 96 | - | 100 | 100 | 0 | 0 | 0 |1253k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
298.79/298.91 c 261s| 2280k| 50 | 0 | 0.0 | 599k| 96 | - | 100 | 100 | 0 | 0 | 0 |1259k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
300.11/300.29 c 262s| 2290k| 58 | 0 | 0.0 | 604k| 96 | - | 100 | 105 | 0 | 0 | 0 |1264k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
301.50/301.66 c 263s| 2300k| 62 | 0 | 0.0 | 610k| 96 | - | 100 | 115 | 0 | 0 | 0 |1270k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
302.90/303.08 c 265s| 2310k| 59 | 0 | 0.0 | 606k| 96 | - | 100 | 106 | 0 | 0 | 0 |1275k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
304.30/304.47 c 266s| 2320k| 53 | 0 | 0.0 | 604k| 96 | - | 100 | 106 | 0 | 0 | 0 |1280k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
305.79/305.93 c 267s| 2330k| 60 | 0 | 0.0 | 614k| 96 | - | 100 | 105 | 0 | 0 | 0 |1286k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
307.20/307.31 c 268s| 2340k| 56 | 0 | 0.0 | 609k| 96 | - | 100 | 109 | 0 | 0 | 0 |1291k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
308.50/308.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
308.50/308.64 c 269s| 2350k| 70 | 0 | 0.0 | 611k| 96 | - | 100 | 108 | 0 | 0 | 0 |1297k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
309.80/309.98 c 271s| 2360k| 66 | 0 | 0.0 | 612k| 96 | - | 100 | 109 | 0 | 0 | 0 |1302k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
311.20/311.33 c 272s| 2370k| 33 | 0 | 0.0 | 605k| 96 | - | 100 | 109 | 0 | 0 | 0 |1307k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
312.59/312.73 c 273s| 2380k| 69 | 0 | 0.0 | 611k| 96 | - | 100 | 105 | 0 | 0 | 0 |1313k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
313.99/314.13 c 274s| 2390k| 53 | 0 | 0.0 | 608k| 96 | - | 100 | 108 | 0 | 0 | 0 |1318k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
315.39/315.52 c 276s| 2400k| 58 | 0 | 0.0 | 608k| 96 | - | 100 | 103 | 0 | 0 | 0 |1323k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
316.69/316.88 c 277s| 2410k| 71 | 0 | 0.0 | 614k| 96 | - | 100 | 103 | 0 | 0 | 0 |1329k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
318.19/318.36 c 278s| 2420k| 44 | 0 | 0.0 | 608k| 96 | - | 100 | 105 | 0 | 0 | 0 |1334k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
319.70/319.80 c 279s| 2430k| 56 | 0 | 0.0 | 609k| 96 | - | 100 | 103 | 0 | 0 | 0 |1340k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
321.10/321.22 c 281s| 2440k| 55 | 0 | 0.0 | 614k| 96 | - | 100 | 112 | 0 | 0 | 0 |1345k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
322.49/322.67 c 282s| 2450k| 62 | 0 | 0.0 | 611k| 96 | - | 100 | 104 | 0 | 0 | 0 |1350k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
323.88/324.06 c 283s| 2460k| 60 | 0 | 0.0 | 614k| 96 | - | 100 | 104 | 0 | 0 | 0 |1356k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
325.29/325.45 c 284s| 2470k| 45 | 0 | 0.0 | 610k| 96 | - | 100 | 103 | 0 | 0 | 0 |1361k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
326.68/326.82 c 285s| 2480k| 68 | 0 | 0.0 | 617k| 96 | - | 100 | 109 | 0 | 0 | 0 |1366k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
328.09/328.20 c 287s| 2490k| 63 | 0 | 0.0 | 614k| 96 | - | 100 | 105 | 0 | 0 | 0 |1372k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
329.49/329.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
329.49/329.60 c 288s| 2500k| 48 | 0 | 0.0 | 612k| 96 | - | 100 | 103 | 0 | 0 | 0 |1377k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
330.89/331.01 c 289s| 2510k| 34 | 0 | 0.0 | 606k| 96 | - | 100 | 103 | 0 | 0 | 0 |1382k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
332.29/332.41 c 290s| 2520k| 74 | 0 | 0.0 | 619k| 96 | - | 100 | 110 | 0 | 0 | 0 |1388k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
333.69/333.84 c 292s| 2530k| 53 | 0 | 0.0 | 617k| 96 | - | 100 | 111 | 0 | 0 | 0 |1393k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
335.09/335.21 c 293s| 2540k| 79 | 0 | 0.0 | 621k| 96 | - | 100 | 110 | 0 | 0 | 0 |1398k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
336.39/336.59 c 294s| 2550k| 68 | 0 | 0.0 | 618k| 96 | - | 100 | 106 | 0 | 0 | 0 |1403k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
337.79/337.96 c 295s| 2560k| 70 | 0 | 0.0 | 619k| 96 | - | 100 | 107 | 0 | 0 | 0 |1409k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
339.08/339.28 c 296s| 2570k| 34 | 0 | 0.0 | 610k| 96 | - | 100 | 107 | 0 | 0 | 0 |1414k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
340.49/340.66 c 298s| 2580k| 54 | 0 | 0.0 | 617k| 96 | - | 100 | 106 | 0 | 0 | 0 |1419k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
341.89/342.04 c 299s| 2590k| 65 | 0 | 0.0 | 619k| 96 | - | 100 | 107 | 0 | 0 | 0 |1425k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
343.28/343.45 c 300s| 2600k| 72 | 0 | 0.0 | 623k| 96 | - | 100 | 112 | 0 | 0 | 0 |1430k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
344.68/344.85 c 301s| 2610k| 49 | 0 | 0.0 | 614k| 96 | - | 100 | 104 | 0 | 0 | 0 |1435k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
346.18/346.35 c 302s| 2620k| 47 | 0 | 0.0 | 617k| 96 | - | 100 | 104 | 0 | 0 | 0 |1441k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
347.68/347.85 c 304s| 2630k| 58 | 0 | 0.0 | 618k| 96 | - | 100 | 108 | 0 | 0 | 0 |1446k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
349.18/349.36 c 305s| 2640k| 63 | 0 | 0.0 | 624k| 96 | - | 100 | 115 | 0 | 0 | 0 |1451k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
350.58/350.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
350.58/350.79 c 306s| 2650k| 58 | 0 | 0.0 | 618k| 96 | - | 100 | 107 | 0 | 0 | 0 |1457k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
351.98/352.17 c 308s| 2660k| 55 | 0 | 0.0 | 632k| 96 | - | 100 | 134 | 0 | 0 | 0 |1462k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
353.39/353.55 c 309s| 2670k| 60 | 0 | 0.0 | 620k| 96 | - | 100 | 106 | 0 | 0 | 0 |1467k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
354.79/354.92 c 310s| 2680k| 42 | 0 | 0.0 | 614k| 96 | - | 100 | 102 | 0 | 0 | 0 |1472k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
356.19/356.37 c 311s| 2690k| 41 | 0 | 0.0 | 616k| 96 | - | 100 | 109 | 0 | 0 | 0 |1478k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
357.58/357.78 c 312s| 2700k| 60 | 0 | 0.0 | 624k| 96 | - | 100 | 111 | 0 | 0 | 0 |1483k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
359.08/359.21 c 314s| 2710k| 53 | 0 | 0.0 | 620k| 96 | - | 100 | 110 | 0 | 0 | 0 |1488k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
360.38/360.58 c 315s| 2720k| 42 | 0 | 0.0 | 620k| 96 | - | 100 | 110 | 0 | 0 | 0 |1494k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
361.79/361.99 c 316s| 2730k| 45 | 0 | 0.0 | 621k| 96 | - | 100 | 111 | 0 | 0 | 0 |1499k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
363.18/363.37 c 317s| 2740k| 65 | 0 | 0.0 | 622k| 96 | - | 100 | 103 | 0 | 0 | 0 |1504k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
364.57/364.74 c 319s| 2750k| 49 | 0 | 0.0 | 621k| 96 | - | 100 | 112 | 0 | 0 | 0 |1510k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
365.97/366.15 c 320s| 2760k| 43 | 0 | 0.0 | 622k| 96 | - | 100 | 111 | 0 | 0 | 0 |1515k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
367.38/367.57 c 321s| 2770k| 46 | 0 | 0.0 | 617k| 96 | - | 100 | 103 | 0 | 0 | 0 |1520k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
368.98/369.13 c 322s| 2780k| 50 | 0 | 0.0 | 620k| 96 | - | 100 | 106 | 0 | 0 | 0 |1525k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
370.49/370.60 c 324s| 2790k| 40 | 0 | 0.0 | 621k| 96 | - | 100 | 106 | 0 | 0 | 0 |1531k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
371.88/372.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
371.88/372.00 c 325s| 2800k| 57 | 0 | 0.0 | 621k| 96 | - | 100 | 102 | 0 | 0 | 0 |1536k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
373.27/373.43 c 326s| 2810k| 42 | 0 | 0.0 | 623k| 96 | - | 100 | 110 | 0 | 0 | 0 |1541k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
374.67/374.80 c 327s| 2820k| 44 | 0 | 0.0 | 623k| 96 | - | 100 | 109 | 0 | 0 | 0 |1547k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
376.08/376.21 c 329s| 2830k| 61 | 0 | 0.0 | 631k| 96 | - | 100 | 117 | 0 | 0 | 0 |1552k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
377.37/377.57 c 330s| 2840k| 76 | 0 | 0.0 | 631k| 96 | - | 100 | 112 | 0 | 0 | 0 |1557k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
378.77/378.96 c 331s| 2850k| 42 | 0 | 0.0 | 625k| 96 | - | 100 | 113 | 0 | 0 | 0 |1563k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
380.18/380.36 c 332s| 2860k| 41 | 0 | 0.0 | 620k| 96 | - | 100 | 107 | 0 | 0 | 0 |1568k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
381.58/381.79 c 334s| 2870k| 70 | 0 | 0.0 | 634k| 96 | - | 100 | 121 | 0 | 0 | 0 |1573k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
382.98/383.19 c 335s| 2880k| 74 | 0 | 0.0 | 629k| 96 | - | 100 | 103 | 0 | 0 | 0 |1578k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
384.38/384.59 c 336s| 2890k| 44 | 0 | 0.0 | 625k| 96 | - | 100 | 108 | 0 | 0 | 0 |1584k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
385.78/385.99 c 337s| 2900k| 63 | 0 | 0.0 | 626k| 96 | - | 100 | 104 | 0 | 0 | 0 |1589k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
387.27/387.48 c 339s| 2910k| 53 | 0 | 0.0 | 626k| 96 | - | 100 | 106 | 0 | 0 | 0 |1594k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
388.77/388.93 c 340s| 2920k| 28 | 0 | 0.0 | 618k| 96 | - | 100 | 107 | 0 | 0 | 0 |1599k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
390.17/390.36 c 341s| 2930k| 68 | 0 | 0.0 | 629k| 96 | - | 100 | 106 | 0 | 0 | 0 |1605k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
391.57/391.71 c 342s| 2940k| 52 | 0 | 0.0 | 628k| 96 | - | 100 | 110 | 0 | 0 | 0 |1610k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
392.97/393.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
392.97/393.13 c 344s| 2950k| 65 | 0 | 0.0 | 631k| 96 | - | 100 | 110 | 0 | 0 | 0 |1615k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
394.37/394.53 c 345s| 2960k| 37 | 0 | 0.0 | 621k| 96 | - | 100 | 105 | 0 | 0 | 0 |1621k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
395.77/395.92 c 346s| 2970k| 64 | 0 | 0.0 | 629k| 96 | - | 100 | 108 | 0 | 0 | 0 |1626k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
397.17/397.38 c 347s| 2980k| 68 | 0 | 0.0 | 630k| 96 | - | 100 | 109 | 0 | 0 | 0 |1631k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
398.67/398.86 c 349s| 2990k| 47 | 0 | 0.0 | 628k| 96 | - | 100 | 108 | 0 | 0 | 0 |1636k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
400.17/400.30 c 350s| 3000k| 55 | 0 | 0.0 | 632k| 96 | - | 100 | 113 | 0 | 0 | 0 |1642k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
401.57/401.70 c 351s| 3010k| 69 | 0 | 0.0 | 632k| 96 | - | 100 | 106 | 0 | 0 | 0 |1647k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
402.86/403.09 c 352s| 3020k| 53 | 0 | 0.0 | 629k| 96 | - | 100 | 113 | 0 | 0 | 0 |1652k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
404.46/404.60 c 354s| 3030k| 49 | 0 | 0.0 | 627k| 96 | - | 100 | 109 | 0 | 0 | 0 |1658k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
405.87/406.03 c 355s| 3040k| 58 | 0 | 0.0 | 630k| 96 | - | 100 | 110 | 0 | 0 | 0 |1663k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
407.27/407.48 c 356s| 3050k| 27 | 0 | 0.0 | 620k| 96 | - | 100 | 104 | 0 | 0 | 0 |1668k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
408.67/408.89 c 357s| 3060k| 75 | 0 | 0.0 | 633k| 96 | - | 100 | 103 | 0 | 0 | 0 |1673k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
410.07/410.23 c 359s| 3070k| 39 | 0 | 0.0 | 624k| 96 | - | 100 | 103 | 0 | 0 | 0 |1679k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
411.36/411.58 c 360s| 3080k| 68 | 0 | 0.0 | 635k| 96 | - | 100 | 108 | 0 | 0 | 0 |1684k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
412.86/413.00 c 361s| 3090k| 48 | 0 | 0.0 | 628k| 96 | - | 100 | 108 | 0 | 0 | 0 |1689k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
414.26/414.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
414.26/414.41 c 362s| 3100k| 70 | 0 | 0.0 | 633k| 96 | - | 100 | 107 | 0 | 0 | 0 |1694k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
415.67/415.84 c 364s| 3110k| 71 | 0 | 0.0 | 633k| 96 | - | 100 | 105 | 0 | 0 | 0 |1700k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
417.06/417.23 c 365s| 3120k| 65 | 0 | 0.0 | 632k| 96 | - | 100 | 105 | 0 | 0 | 0 |1705k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
418.57/418.72 c 366s| 3130k| 59 | 0 | 0.0 | 632k| 96 | - | 100 | 109 | 0 | 0 | 0 |1710k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
419.97/420.10 c 367s| 3140k| 64 | 0 | 0.0 | 635k| 96 | - | 100 | 108 | 0 | 0 | 0 |1716k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
421.36/421.55 c 369s| 3150k| 63 | 0 | 0.0 | 633k| 96 | - | 100 | 109 | 0 | 0 | 0 |1721k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
422.86/423.00 c 370s| 3160k| 64 | 0 | 0.0 | 632k| 96 | - | 100 | 106 | 0 | 0 | 0 |1726k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
424.37/424.51 c 371s| 3170k| 49 | 0 | 0.0 | 634k| 96 | - | 100 | 110 | 0 | 0 | 0 |1731k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
425.76/425.96 c 372s| 3180k| 60 | 0 | 0.0 | 634k| 96 | - | 100 | 107 | 0 | 0 | 0 |1737k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
427.26/427.43 c 374s| 3190k| 68 | 0 | 0.0 | 634k| 96 | - | 100 | 103 | 0 | 0 | 0 |1742k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
428.66/428.86 c 375s| 3200k| 35 | 0 | 0.0 | 626k| 96 | - | 100 | 107 | 0 | 0 | 0 |1747k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
430.06/430.28 c 376s| 3210k| 61 | 0 | 0.0 | 631k| 96 | - | 100 | 102 | 0 | 0 | 0 |1753k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
431.56/431.73 c 378s| 3220k| 62 | 0 | 0.0 | 633k| 96 | - | 100 | 106 | 0 | 0 | 0 |1758k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
432.96/433.17 c 379s| 3230k| 67 | 0 | 0.0 | 636k| 96 | - | 100 | 112 | 0 | 0 | 0 |1763k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
434.46/434.64 c 380s| 3240k| 28 | 0 | 0.0 | 629k| 96 | - | 100 | 111 | 0 | 0 | 0 |1768k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
435.96/436.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
435.96/436.15 c 382s| 3250k| 12 | 0 | 0.0 | 622k| 96 | - | 100 | 112 | 0 | 0 | 0 |1773k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
437.35/437.55 c 383s| 3260k| 55 | 0 | 0.0 | 637k| 96 | - | 100 | 114 | 0 | 0 | 0 |1779k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
438.66/438.88 c 384s| 3270k| 50 | 0 | 0.0 | 637k| 96 | - | 100 | 116 | 0 | 0 | 0 |1784k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
440.05/440.28 c 385s| 3280k| 30 | 0 | 0.0 | 628k| 96 | - | 100 | 112 | 0 | 0 | 0 |1789k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
441.56/441.77 c 386s| 3290k| 63 | 0 | 0.0 | 639k| 96 | - | 100 | 113 | 0 | 0 | 0 |1795k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
442.96/443.19 c 388s| 3300k| 30 | 0 | 0.0 | 628k| 96 | - | 100 | 111 | 0 | 0 | 0 |1800k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
444.35/444.59 c 389s| 3310k| 56 | 0 | 0.0 | 633k| 96 | - | 100 | 107 | 0 | 0 | 0 |1805k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
445.85/446.05 c 390s| 3320k| 7 | 0 | 0.0 | 627k| 96 | - | 100 | 116 | 0 | 0 | 0 |1810k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
447.35/447.55 c 392s| 3330k| 73 | 0 | 0.0 | 641k| 96 | - | 100 | 112 | 0 | 0 | 0 |1815k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
448.75/448.98 c 393s| 3340k| 64 | 0 | 0.0 | 637k| 96 | - | 100 | 108 | 0 | 0 | 0 |1821k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
450.25/450.42 c 394s| 3350k| 65 | 0 | 0.0 | 637k| 96 | - | 100 | 107 | 0 | 0 | 0 |1826k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
451.65/451.83 c 395s| 3360k| 49 | 0 | 0.0 | 637k| 96 | - | 100 | 110 | 0 | 0 | 0 |1831k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
453.16/453.31 c 397s| 3370k| 78 | 0 | 0.0 | 642k| 96 | - | 100 | 110 | 0 | 0 | 0 |1836k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
454.66/454.82 c 398s| 3380k| 47 | 0 | 0.0 | 633k| 96 | - | 100 | 107 | 0 | 0 | 0 |1842k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
456.05/456.27 c 399s| 3390k| 72 | 0 | 0.0 | 639k| 96 | - | 100 | 106 | 0 | 0 | 0 |1847k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
457.46/457.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
457.46/457.69 c 401s| 3400k| 67 | 0 | 0.0 | 638k| 96 | - | 100 | 102 | 0 | 0 | 0 |1852k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
458.85/459.07 c 402s| 3410k| 62 | 0 | 0.0 | 637k| 96 | - | 100 | 103 | 0 | 0 | 0 |1857k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
460.35/460.51 c 403s| 3420k| 53 | 0 | 0.0 | 636k| 96 | - | 100 | 105 | 0 | 0 | 0 |1863k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
461.76/461.95 c 404s| 3430k| 62 | 0 | 0.0 | 639k| 96 | - | 100 | 108 | 0 | 0 | 0 |1868k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
463.15/463.37 c 406s| 3440k| 42 | 0 | 0.0 | 633k| 96 | - | 100 | 105 | 0 | 0 | 0 |1873k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
464.55/464.78 c 407s| 3450k| 43 | 0 | 0.0 | 633k| 96 | - | 100 | 105 | 0 | 0 | 0 |1878k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
465.95/466.19 c 408s| 3460k| 46 | 0 | 0.0 | 637k| 96 | - | 100 | 106 | 0 | 0 | 0 |1883k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
467.45/467.62 c 409s| 3470k| 59 | 0 | 0.0 | 641k| 96 | - | 100 | 107 | 0 | 0 | 0 |1889k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
468.74/468.99 c 411s| 3480k| 68 | 0 | 0.0 | 640k| 96 | - | 100 | 104 | 0 | 0 | 0 |1894k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
470.25/470.43 c 412s| 3490k| 59 | 0 | 0.0 | 639k| 96 | - | 100 | 106 | 0 | 0 | 0 |1899k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
471.65/471.83 c 413s| 3500k| 59 | 0 | 0.0 | 637k| 96 | - | 100 | 100 | 0 | 0 | 0 |1904k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
473.04/473.29 c 414s| 3510k| 23 | 0 | 0.0 | 633k| 96 | - | 100 | 107 | 0 | 0 | 0 |1910k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
474.54/474.74 c 416s| 3520k| 54 | 0 | 0.0 | 639k| 96 | - | 100 | 104 | 0 | 0 | 0 |1915k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
475.95/476.19 c 417s| 3530k| 50 | 0 | 0.0 | 636k| 96 | - | 100 | 103 | 0 | 0 | 0 |1920k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
477.44/477.68 c 418s| 3540k| 69 | 0 | 0.0 | 644k| 96 | - | 100 | 108 | 0 | 0 | 0 |1925k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
478.94/479.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
478.94/479.16 c 420s| 3550k| 24 | 0 | 0.0 | 633k| 96 | - | 100 | 105 | 0 | 0 | 0 |1930k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
480.35/480.58 c 421s| 3560k| 48 | 0 | 0.0 | 641k| 96 | - | 100 | 108 | 0 | 0 | 0 |1936k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
481.84/482.02 c 422s| 3570k| 69 | 0 | 0.0 | 641k| 96 | - | 100 | 100 | 0 | 0 | 0 |1941k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
483.35/483.53 c 423s| 3580k| 43 | 0 | 0.0 | 639k| 96 | - | 100 | 107 | 0 | 0 | 0 |1947k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
484.85/485.07 c 425s| 3590k| 35 | 0 | 0.0 | 639k| 96 | - | 100 | 110 | 0 | 0 | 0 |1952k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
486.34/486.52 c 426s| 3600k| 71 | 0 | 0.0 | 646k| 96 | - | 100 | 110 | 0 | 0 | 0 |1957k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
487.75/487.95 c 427s| 3610k| 62 | 0 | 0.0 | 642k| 96 | - | 100 | 107 | 0 | 0 | 0 |1962k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
489.35/489.60 c 429s| 3620k| 71 | 0 | 0.0 | 645k| 96 | - | 100 | 108 | 0 | 0 | 0 |1967k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
490.94/491.18 c 430s| 3630k| 40 | 0 | 0.0 | 635k| 96 | - | 100 | 104 | 0 | 0 | 0 |1973k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
492.44/492.63 c 431s| 3640k| 57 | 0 | 0.0 | 640k| 96 | - | 100 | 103 | 0 | 0 | 0 |1978k| 0 | 2.000000e+00 | 5.000000e+00 | 150.00%
493.84/494.04 c 433s| 3650k| 56 | 0 | 0.0 | 639k| 96 | - | 100 | 102 | 0 | 0 | 0 |1983k| 0 | 2.000000e+00 | 5.000000e+00 | 150.00%
495.24/495.42 c 434s| 3660k| 72 | 0 | 0.0 | 643k| 96 | - | 100 | 101 | 0 | 0 | 0 |1989k| 0 | 2.000000e+00 | 5.000000e+00 | 150.00%
496.63/496.85 c 435s| 3670k| 65 | 0 | 0.0 | 643k| 96 | - | 100 | 106 | 0 | 0 | 0 |1994k| 0 | 2.000000e+00 | 5.000000e+00 | 150.00%
498.05/498.26 c 436s| 3680k| 58 | 0 | 0.0 | 641k| 96 | - | 100 | 105 | 0 | 0 | 0 |1999k| 0 | 2.000000e+00 | 5.000000e+00 | 150.00%
499.44/499.70 c 438s| 3690k| 64 | 0 | 0.0 | 643k| 96 | - | 100 | 107 | 0 | 0 | 0 |2004k| 0 | 2.000000e+00 | 5.000000e+00 | 150.00%
501.04/501.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
501.04/501.21 c 439s| 3700k| 26 | 0 | 0.0 | 632k| 96 | - | 100 | 102 | 0 | 0 | 0 |2009k| 0 | 2.000000e+00 | 5.000000e+00 | 150.00%
502.44/502.62 c 440s| 3710k| 32 | 0 | 0.0 | 635k| 96 | - | 100 | 106 | 0 | 0 | 0 |2015k| 0 | 2.000000e+00 | 5.000000e+00 | 150.00%
503.84/504.08 c 442s| 3720k| 42 | 0 | 0.0 | 640k| 96 | - | 100 | 105 | 0 | 0 | 0 |2020k| 0 | 2.000000e+00 | 5.000000e+00 | 150.00%
504.94/505.10 c
504.94/505.10 c SCIP Status : problem is solved [optimal solution found]
504.94/505.10 c Solving Time (sec) : 442.41
504.94/505.10 c Solving Nodes : 3726968
504.94/505.10 c Primal Bound : +5.00000000000000e+00 (8 solutions)
504.94/505.10 c Dual Bound : +5.00000000000000e+00
504.94/505.10 c Gap : 0.00 %
504.94/505.10 s OPTIMUM FOUND
504.94/505.10 v -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75
504.94/505.10 v -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50
504.94/505.10 v -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25
504.94/505.10 v -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
504.94/505.10 c SCIP Status : problem is solved [optimal solution found]
504.94/505.10 c Solving Time : 442.41
504.94/505.10 c Original Problem :
504.94/505.10 c Problem name : HOME/instance-2664795-1276598097.opb
504.94/505.10 c Variables : 100 (100 binary, 0 integer, 0 implicit integer, 0 continuous)
504.94/505.10 c Constraints : 100 initial, 100 maximal
504.94/505.10 c Presolved Problem :
504.94/505.10 c Problem name : t_HOME/instance-2664795-1276598097.opb
504.94/505.10 c Variables : 100 (100 binary, 0 integer, 0 implicit integer, 0 continuous)
504.94/505.10 c Constraints : 100 initial, 150 maximal
504.94/505.10 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
504.94/505.10 c trivial : 0.00 0 0 0 0 0 0 0 0
504.94/505.10 c dualfix : 0.00 0 0 0 0 0 0 0 0
504.94/505.10 c boundshift : 0.00 0 0 0 0 0 0 0 0
504.94/505.10 c inttobinary : 0.00 0 0 0 0 0 0 0 0
504.94/505.10 c implics : 0.00 0 0 0 0 0 0 0 0
504.94/505.10 c probing : 0.00 0 0 0 0 0 0 0 0
504.94/505.10 c logicor : 0.00 0 0 0 0 0 0 0 0
504.94/505.10 c root node : - 100 - - 100 - - - -
504.94/505.10 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
504.94/505.10 c integral : 0 0 0 0 0 0 0 0 0 0
504.94/505.10 c logicor : 100+ 0 4908503 0 2 2012063 1922317 0 0 0
504.94/505.10 c countsols : 0 0 0 0 5 0 0 0 0 0
504.94/505.10 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
504.94/505.10 c integral : 0.00 0.00 0.00 0.00 0.00
504.94/505.10 c logicor : 113.60 0.00 113.60 0.00 0.00
504.94/505.10 c countsols : 0.00 0.00 0.00 0.00 0.00
504.94/505.10 c Propagators : Time Calls Cutoffs DomReds
504.94/505.10 c vbounds : 4.02 2 0 0
504.94/505.10 c rootredcost : 3.33 0 0 0
504.94/505.10 c pseudoobj : 128.77 8545340 12104 64891434
504.94/505.10 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
504.94/505.10 c propagation : 79.26 2024167 2024000 2024000 32.6 1547 59.9 -
504.94/505.10 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
504.94/505.10 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
504.94/505.10 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
504.94/505.10 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
504.94/505.10 c applied globally : - - - 1138855 24.4 - - -
504.94/505.10 c applied locally : - - - 885145 43.1 - - -
504.94/505.10 c Separators : Time Calls Cutoffs DomReds Cuts Conss
504.94/505.10 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
504.94/505.10 c redcost : 0.00 0 0 0 0 0
504.94/505.10 c impliedbounds : 0.00 0 0 0 0 0
504.94/505.10 c intobj : 0.00 0 0 0 0 0
504.94/505.10 c cgmip : 0.00 0 0 0 0 0
504.94/505.10 c gomory : 0.00 0 0 0 0 0
504.94/505.10 c strongcg : 0.00 0 0 0 0 0
504.94/505.10 c cmir : 0.00 0 0 0 0 0
504.94/505.10 c flowcover : 0.00 0 0 0 0 0
504.94/505.10 c clique : 0.00 0 0 0 0 0
504.94/505.10 c zerohalf : 0.00 0 0 0 0 0
504.94/505.10 c mcf : 0.00 0 0 0 0 0
504.94/505.10 c rapidlearning : 0.00 0 0 0 0 0
504.94/505.10 c Pricers : Time Calls Vars
504.94/505.10 c problem variables: 0.00 0 0
504.94/505.10 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
504.94/505.10 c relpscost : 0.00 0 0 0 0 0 0
504.94/505.10 c pscost : 0.00 0 0 0 0 0 0
504.94/505.10 c inference : 21.04 2286190 0 0 0 0 4572380
504.94/505.10 c mostinf : 0.00 0 0 0 0 0 0
504.94/505.10 c leastinf : 0.00 0 0 0 0 0 0
504.94/505.10 c fullstrong : 0.00 0 0 0 0 0 0
504.94/505.10 c allfullstrong : 0.00 0 0 0 0 0 0
504.94/505.10 c random : 0.00 0 0 0 0 0 0
504.94/505.10 c Primal Heuristics : Time Calls Found
504.94/505.10 c LP solutions : 0.00 - 0
504.94/505.10 c pseudo solutions : 0.00 - 5
504.94/505.10 c oneopt : 2.70 0 0
504.94/505.10 c trivial : 0.00 2 3
504.94/505.10 c simplerounding : 0.00 0 0
504.94/505.10 c zirounding : 0.00 0 0
504.94/505.10 c rounding : 0.00 0 0
504.94/505.10 c shifting : 0.00 0 0
504.94/505.10 c intshifting : 0.00 0 0
504.94/505.10 c twoopt : 0.00 0 0
504.94/505.10 c fixandinfer : 0.00 0 0
504.94/505.10 c feaspump : 0.00 0 0
504.94/505.10 c coefdiving : 0.00 0 0
504.94/505.10 c pscostdiving : 0.00 0 0
504.94/505.10 c fracdiving : 0.00 0 0
504.94/505.10 c veclendiving : 0.00 0 0
504.94/505.10 c intdiving : 0.00 0 0
504.94/505.10 c actconsdiving : 0.00 0 0
504.94/505.10 c objpscostdiving : 0.00 0 0
504.94/505.10 c rootsoldiving : 0.00 0 0
504.94/505.10 c linesearchdiving : 0.00 0 0
504.94/505.10 c guideddiving : 0.00 0 0
504.94/505.10 c octane : 0.00 0 0
504.94/505.10 c rens : 0.00 0 0
504.94/505.10 c rins : 0.00 0 0
504.94/505.10 c localbranching : 0.00 0 0
504.94/505.10 c mutation : 0.00 0 0
504.94/505.10 c crossover : 0.00 0 0
504.94/505.10 c dins : 0.00 0 0
504.94/505.10 c undercover : 0.00 0 0
504.94/505.10 c nlp : 1.57 0 0
504.94/505.10 c trysol : 1.48 0 0
504.94/505.10 c LP : Time Calls Iterations Iter/call Iter/sec
504.94/505.10 c primal LP : 0.00 0 0 0.00 -
504.94/505.10 c dual LP : 0.00 0 0 0.00 -
504.94/505.10 c lex dual LP : 0.00 0 0 0.00 -
504.94/505.10 c barrier LP : 0.00 0 0 0.00 -
504.94/505.10 c diving/probing LP: 0.00 0 0 0.00 -
504.94/505.10 c strong branching : 0.00 0 0 0.00 -
504.94/505.10 c (at root node) : - 0 0 0.00 -
504.94/505.10 c conflict analysis: 0.00 0 0 0.00 -
504.94/505.10 c B&B Tree :
504.94/505.10 c number of runs : 1
504.94/505.10 c nodes : 3726968
504.94/505.10 c nodes (total) : 3726968
504.94/505.10 c nodes left : 0
504.94/505.10 c max depth : 96
504.94/505.10 c max depth (total): 96
504.94/505.10 c backtracks : 1839310 (49.4%)
504.94/505.10 c delayed cutoffs : 845394
504.94/505.10 c repropagations : 3078963 (16533636 domain reductions, 583394 cutoffs)
504.94/505.10 c avg switch length: 2.92
504.94/505.10 c switching time : 55.86
504.94/505.10 c Solution :
504.94/505.10 c Solutions found : 8 (6 improvements)
504.94/505.10 c First Solution : +1.00000000000000e+02 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
504.94/505.10 c Primal Bound : +5.00000000000000e+00 (in run 1, after 2267077 nodes, 259.29 seconds, depth 48, found by <relaxation>)
504.94/505.10 c Dual Bound : +5.00000000000000e+00
504.94/505.10 c Gap : 0.00 %
504.94/505.10 c Root Dual Bound : +0.00000000000000e+00
504.94/505.10 c Root Iterations : 0
504.94/505.11 c Time complete: 504.95.