0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2667076-1276501239.opb>
0.89/0.96 c original problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58579 constraints
0.89/0.96 c problem read
0.89/0.96 c presolving settings loaded
1.09/1.11 o 0
1.09/1.11 c feasible solution found by trivial heuristic, objective value 0.000000e+00
1.09/1.11 c presolving:
1.79/1.88 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 58579 upgd conss, 117158 impls, 0 clqs
3.19/3.30 c (2.1s) probing: 101/945 (10.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.19/3.30 c (2.1s) probing aborted: 100/100 successive totally useless probings
3.19/3.30 c presolving (2 rounds):
3.19/3.30 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.19/3.30 c 117158 implications, 0 cliques
3.19/3.30 c presolved problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58579 constraints
3.19/3.30 c 58579 constraints of type <logicor>
3.19/3.30 c transformed objective value is always integral (scale: 1)
3.19/3.30 c Presolving Time: 2.01
3.19/3.30 c - non default parameters ----------------------------------------------------------------------
3.19/3.30 c # SCIP version 1.2.1.2
3.19/3.30 c
3.19/3.30 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
3.19/3.30 c # [type: int, range: [-1,2147483647], default: -1]
3.19/3.30 c conflict/interconss = 0
3.19/3.30 c
3.19/3.30 c # should binary conflicts be preferred?
3.19/3.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.19/3.30 c conflict/preferbinary = TRUE
3.19/3.30 c
3.19/3.30 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
3.19/3.30 c # [type: int, range: [-1,2147483647], default: 0]
3.19/3.30 c constraints/agelimit = 1
3.19/3.30 c
3.19/3.30 c # should enforcement of pseudo solution be disabled?
3.19/3.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.19/3.30 c constraints/disableenfops = TRUE
3.19/3.30 c
3.19/3.30 c # frequency for displaying node information lines
3.19/3.30 c # [type: int, range: [-1,2147483647], default: 100]
3.19/3.30 c display/freq = 10000
3.19/3.30 c
3.19/3.30 c # maximal time in seconds to run
3.19/3.30 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.19/3.30 c limits/time = 1799.04
3.19/3.30 c
3.19/3.30 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.19/3.30 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.19/3.30 c limits/memory = 1620
3.19/3.30 c
3.19/3.30 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
3.19/3.30 c # [type: int, range: [-1,2147483647], default: 1]
3.19/3.30 c lp/solvefreq = 0
3.19/3.30 c
3.19/3.30 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)
3.19/3.30 c # [type: char, range: {lafpsqd}, default: l]
3.19/3.30 c lp/pricing = a
3.19/3.30 c
3.19/3.30 c # should presolving try to simplify inequalities
3.19/3.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.19/3.30 c constraints/linear/simplifyinequalities = TRUE
3.19/3.30 c
3.19/3.30 c # should presolving try to simplify knapsacks
3.19/3.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.19/3.30 c constraints/knapsack/simplifyinequalities = TRUE
3.19/3.30 c
3.19/3.30 c # priority of node selection rule <dfs> in standard mode
3.19/3.30 c # [type: int, range: [-536870912,536870911], default: 0]
3.19/3.30 c nodeselection/dfs/stdpriority = 1000000
3.19/3.30 c
3.19/3.30 c -----------------------------------------------------------------------------------------------
3.19/3.30 c start solving
3.29/3.31 c
6.29/6.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.29/6.36 c t 5.1s| 1 | 0 | 946 | - | 65M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 | 0.000000e+00 | 100.00%
6.39/6.48 o -1
6.39/6.48 c R 5.2s| 1 | 0 | 946 | - | 65M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 |-1.000000e+00 | 99.79%
6.60/6.61 o -2
6.60/6.61 c s 5.3s| 1 | 0 | 946 | - | 65M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 |-2.000000e+00 | 99.58%
10.59/10.65 c 8.8s| 1 | 0 | 1147 | - | 65M| 0 | 888 | 945 | 58k| 945 | 58k| 4 | 0 | 0 |-4.440000e+02 |-2.000000e+00 | 99.55%
10.69/10.70 o -33
10.69/10.70 c b 8.9s| 1 | 0 | 1147 | - | 65M| 0 | 888 | 945 | 58k| 945 | 58k| 4 | 0 | 0 |-4.440000e+02 |-3.300000e+01 | 92.57%
15.48/15.52 c 13.3s| 1 | 0 | 1378 | - | 65M| 0 | 836 | 945 | 58k| 945 | 58k| 20 | 0 | 0 |-4.180000e+02 |-3.300000e+01 | 92.11%
21.19/21.21 c 18.6s| 1 | 0 | 1561 | - | 65M| 0 | 797 | 945 | 58k| 945 | 58k| 25 | 0 | 0 |-3.985000e+02 |-3.300000e+01 | 91.72%
27.38/27.46 c 24.5s| 1 | 0 | 1781 | - | 65M| 0 | 756 | 945 | 58k| 945 | 58k| 31 | 0 | 0 |-3.780000e+02 |-3.300000e+01 | 91.27%
34.18/34.21 c 30.8s| 1 | 0 | 1965 | - | 65M| 0 | 720 | 945 | 58k| 945 | 58k| 40 | 0 | 0 |-3.600000e+02 |-3.300000e+01 | 90.83%
41.07/41.16 c 37.4s| 1 | 0 | 2184 | - | 65M| 0 | 675 | 945 | 58k| 945 | 58k| 51 | 0 | 0 |-3.375000e+02 |-3.300000e+01 | 90.22%
48.16/48.22 c 44.0s| 1 | 0 | 2378 | - | 65M| 0 | 656 | 945 | 58k| 945 | 58k| 60 | 0 | 0 |-3.280000e+02 |-3.300000e+01 | 89.94%
55.66/55.75 c 51.2s| 1 | 0 | 2588 | - | 65M| 0 | 614 | 945 | 58k| 945 | 58k| 71 | 0 | 0 |-3.070000e+02 |-3.300000e+01 | 89.25%
64.26/64.32 c 59.3s| 1 | 0 | 2961 | - | 65M| 0 | 575 | 945 | 58k| 945 | 58k| 79 | 0 | 0 |-2.875000e+02 |-3.300000e+01 | 88.52%
70.96/71.05 c 65.7s| 1 | 0 | 3085 | - | 65M| 0 | 535 | 945 | 58k| 945 | 58k| 85 | 0 | 0 |-2.675000e+02 |-3.300000e+01 | 87.66%
75.96/76.02 c 70.2s| 1 | 0 | 3568 | - | 65M| 0 | 481 | 945 | 58k| 945 | 58k| 97 | 0 | 0 |-2.400000e+02 |-3.300000e+01 | 86.25%
81.26/81.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.26/81.34 c 75.2s| 1 | 0 | 4121 | - | 65M| 0 | 410 | 945 | 58k| 945 | 58k| 107 | 0 | 0 |-2.050000e+02 |-3.300000e+01 | 83.90%
86.15/86.22 c 79.6s| 1 | 0 | 4534 | - | 65M| 0 | 372 | 945 | 58k| 945 | 58k| 113 | 0 | 0 |-1.860000e+02 |-3.300000e+01 | 82.26%
90.85/90.95 c 83.9s| 1 | 0 | 4942 | - | 65M| 0 | 330 | 945 | 58k| 945 | 58k| 123 | 0 | 0 |-1.650000e+02 |-3.300000e+01 | 80.00%
95.25/95.38 c 88.0s| 1 | 0 | 5386 | - | 66M| 0 | 276 | 945 | 58k| 945 | 58k| 132 | 0 | 0 |-1.380000e+02 |-3.300000e+01 | 76.09%
99.04/99.11 c 91.3s| 1 | 0 | 5686 | - | 66M| 0 | 258 | 945 | 58k| 945 | 58k| 137 | 0 | 0 |-1.290000e+02 |-3.300000e+01 | 74.42%
103.25/103.35 c 95.1s| 1 | 0 | 6054 | - | 66M| 0 | 223 | 945 | 58k| 945 | 58k| 142 | 0 | 0 |-1.115000e+02 |-3.300000e+01 | 70.40%
106.74/106.80 c 98.2s| 1 | 0 | 6324 | - | 66M| 0 | 204 | 945 | 58k| 945 | 58k| 151 | 0 | 0 |-1.020000e+02 |-3.300000e+01 | 67.65%
109.94/110.05 c 101s| 1 | 0 | 6553 | - | 66M| 0 | 187 | 945 | 58k| 945 | 58k| 155 | 0 | 0 |-9.350000e+01 |-3.300000e+01 | 64.71%
113.44/113.50 c 104s| 1 | 0 | 6859 | - | 66M| 0 | 154 | 945 | 58k| 945 | 58k| 160 | 0 | 0 |-7.700000e+01 |-3.300000e+01 | 57.14%
115.84/115.91 c 106s| 1 | 0 | 7107 | - | 66M| 0 | 136 | 945 | 58k| 945 | 58k| 164 | 0 | 0 |-6.800000e+01 |-3.300000e+01 | 51.47%
118.54/118.61 c 109s| 1 | 0 | 7464 | - | 66M| 0 | 134 | 945 | 58k| 945 | 58k| 173 | 0 | 0 |-5.383333e+01 |-3.300000e+01 | 38.70%
120.95/121.05 c 111s| 1 | 0 | 7774 | - | 66M| 0 | 229 | 945 | 58k| 945 | 58k| 180 | 0 | 0 |-4.500000e+01 |-3.300000e+01 | 26.67%
123.24/123.36 c 113s| 1 | 0 | 7952 | - | 66M| 0 | 124 | 945 | 58k| 945 | 58k| 193 | 0 | 0 |-4.500000e+01 |-3.300000e+01 | 26.67%
125.73/125.80 c 115s| 1 | 0 | 8188 | - | 66M| 0 | 210 | 945 | 58k| 945 | 58k| 204 | 0 | 0 |-4.500000e+01 |-3.300000e+01 | 26.67%
141.83/141.97 c 128s| 1 | 0 | 8332 | - | 66M| 0 | 219 | 945 | 58k| 945 | 58k| 216 | 0 | 0 |-4.500000e+01 |-3.300000e+01 | 26.67%
185.21/185.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
185.21/185.32 c 162s| 1 | 0 | 8415 | - | 66M| 0 | 219 | 945 | 58k| 945 | 58k| 224 | 0 | 0 |-4.500000e+01 |-3.300000e+01 | 26.67%
232.29/232.46 c 199s| 1 | 0 | 8516 | - | 66M| 0 | 225 | 945 | 58k| 945 | 58k| 228 | 0 | 0 |-4.500000e+01 |-3.300000e+01 | 26.67%
268.67/268.84 c 228s| 1 | 0 | 8957 | - | 66M| 0 | 170 | 945 | 58k| 945 | 58k| 241 | 0 | 0 |-4.500000e+01 |-3.300000e+01 | 26.67%
355.05/355.28 c 314s| 1 | 2 | 8957 | - | 66M| 0 | 170 | 945 | 58k| 945 | 58k| 241 | 0 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
359.74/359.98 c 318s| 10000 | 21 | 8957 | 0.0 | 66M| 44 | - | 945 | 58k| 0 | 0 | 241 | 101 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
364.34/364.54 c 323s| 20000 | 22 | 8957 | 0.0 | 66M| 49 | - | 945 | 58k| 0 | 0 | 241 | 126 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
368.94/369.14 c 327s| 30000 | 19 | 8957 | 0.0 | 66M| 49 | - | 945 | 58k| 0 | 0 | 241 | 157 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
373.64/373.81 c 332s| 40000 | 20 | 8957 | 0.0 | 66M| 53 | - | 945 | 58k| 0 | 0 | 241 | 197 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
378.34/378.51 c 336s| 50000 | 20 | 8957 | 0.0 | 66M| 53 | - | 945 | 58k| 0 | 0 | 241 | 239 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
382.84/383.05 c 341s| 60000 | 20 | 8957 | 0.0 | 66M| 53 | - | 945 | 58k| 0 | 0 | 241 | 253 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
387.33/387.55 c 345s| 70000 | 18 | 8957 | 0.0 | 66M| 53 | - | 945 | 58k| 0 | 0 | 241 | 284 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
392.03/392.21 c 349s| 80000 | 20 | 8957 | 0.0 | 66M| 54 | - | 945 | 58k| 0 | 0 | 241 | 336 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
396.52/396.77 c 354s| 90000 | 21 | 8957 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 241 | 370 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
400.92/401.12 c 358s|100000 | 19 | 8957 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 241 | 402 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
405.32/405.57 c 362s|110000 | 20 | 8957 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 241 | 434 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
409.92/410.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
409.92/410.13 c 367s|120000 | 19 | 8957 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 241 | 465 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
414.32/414.51 c 371s|130000 | 19 | 8957 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 241 | 507 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
418.71/418.93 c 375s|140000 | 20 | 8957 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 241 | 558 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
423.11/423.36 c 380s|150000 | 21 | 8957 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 241 | 598 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
427.62/427.85 c 384s|160000 | 19 | 8957 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 241 | 620 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
432.12/432.31 c 388s|170000 | 19 | 8957 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 241 | 637 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
436.52/436.71 c 393s|180000 | 18 | 8957 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 241 | 678 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
440.91/441.12 c 397s|190000 | 19 | 8957 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 241 | 731 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
445.22/445.45 c 401s|200000 | 21 | 8957 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 241 | 753 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
449.51/449.77 c 405s|210000 | 19 | 8957 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 241 | 789 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
453.91/454.13 c 409s|220000 | 21 | 8957 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 241 | 812 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
458.30/458.53 c 414s|230000 | 18 | 8957 | 0.0 | 66M| 59 | - | 945 | 58k| 0 | 0 | 241 | 846 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
462.50/462.74 c 418s|240000 | 18 | 8957 | 0.0 | 66M| 60 | - | 945 | 58k| 0 | 0 | 241 | 889 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
467.00/467.28 c 422s|250000 | 21 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 | 918 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
471.40/471.62 c 426s|260000 | 21 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 | 947 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
475.79/476.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
475.79/476.04 c 431s|270000 | 21 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 | 983 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
480.20/480.47 c 435s|280000 | 20 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |1018 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
484.69/484.93 c 439s|290000 | 21 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |1056 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
489.09/489.40 c 444s|300000 | 19 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |1098 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
493.39/493.65 c 448s|310000 | 22 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |1115 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
497.79/498.05 c 452s|320000 | 18 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |1142 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
502.39/502.66 c 457s|330000 | 20 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |1178 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
506.78/507.09 c 461s|340000 | 19 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |1219 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
511.19/511.46 c 465s|350000 | 23 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |1241 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
515.69/515.92 c 469s|360000 | 20 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |1251 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
520.09/520.36 c 474s|370000 | 21 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |1273 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
524.58/524.80 c 478s|380000 | 22 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |1315 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
528.97/529.29 c 482s|390000 | 20 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |1357 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
533.57/533.84 c 487s|400000 | 20 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |1391 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
537.97/538.29 c 491s|410000 | 20 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |1422 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
542.47/542.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
542.47/542.72 c 495s|420000 | 18 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |1448 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
546.97/547.28 c 500s|430000 | 20 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |1503 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
551.37/551.62 c 504s|440000 | 19 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |1544 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
555.77/556.01 c 508s|450000 | 22 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |1569 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
560.06/560.36 c 513s|460000 | 19 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |1592 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
564.56/564.85 c 517s|470000 | 21 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |1623 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
568.96/569.26 c 521s|480000 | 19 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |1635 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
573.35/573.61 c 525s|490000 | 21 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |1670 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
577.76/578.03 c 530s|500000 | 19 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |1695 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
582.25/582.51 c 534s|510000 | 21 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |1730 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
586.65/586.95 c 538s|520000 | 21 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |1776 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
591.15/591.41 c 543s|530000 | 17 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |1804 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
595.65/595.92 c 547s|540000 | 20 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |1831 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
600.14/600.41 c 551s|550000 | 18 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |1851 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
604.55/604.84 c 556s|560000 | 19 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |1885 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
609.05/609.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
609.05/609.34 c 560s|570000 | 21 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |1914 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
613.45/613.77 c 564s|580000 | 19 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |1938 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
617.84/618.11 c 569s|590000 | 20 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |1974 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
622.13/622.48 c 573s|600000 | 21 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |2006 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
626.43/626.77 c 577s|610000 | 22 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |2035 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
630.84/631.12 c 581s|620000 | 20 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |2080 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
635.33/635.62 c 585s|630000 | 20 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |2120 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
639.73/640.05 c 590s|640000 | 19 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |2157 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
644.23/644.57 c 594s|650000 | 21 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |2191 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
648.73/649.02 c 598s|660000 | 18 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |2232 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
653.04/653.40 c 603s|670000 | 19 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |2261 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
657.43/657.75 c 607s|680000 | 21 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |2286 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
661.72/662.06 c 611s|690000 | 18 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |2329 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
666.02/666.37 c 615s|700000 | 20 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |2354 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
670.42/670.78 c 620s|710000 | 16 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |2389 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
674.72/675.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
674.72/675.06 c 624s|720000 | 19 | 8957 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 241 |2426 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
679.01/679.31 c 628s|730000 | 18 | 8957 | 0.0 | 66M| 67 | - | 945 | 58k| 0 | 0 | 241 |2466 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
683.11/683.49 c 632s|740000 | 18 | 8957 | 0.0 | 66M| 67 | - | 945 | 58k| 0 | 0 | 241 |2501 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
687.81/688.19 c 636s|750000 | 20 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |2533 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
692.72/693.01 c 641s|760000 | 20 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |2545 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
697.51/697.80 c 646s|770000 | 20 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |2582 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
702.40/702.71 c 651s|780000 | 21 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |2593 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
707.20/707.54 c 655s|790000 | 19 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |2610 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
712.01/712.36 c 660s|800000 | 21 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |2632 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
716.80/717.14 c 665s|810000 | 20 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |2657 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
721.60/721.98 c 669s|820000 | 21 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |2713 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
726.50/726.88 c 674s|830000 | 19 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |2740 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
731.30/731.63 c 679s|840000 | 21 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |2778 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
736.10/736.41 c 683s|850000 | 20 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |2810 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
740.79/741.18 c 688s|860000 | 21 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |2850 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
745.59/745.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
745.59/745.97 c 693s|870000 | 20 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |2879 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
750.19/750.51 c 697s|880000 | 20 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |2914 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
754.78/755.17 c 702s|890000 | 22 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |2942 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
759.59/759.90 c 706s|900000 | 21 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |2969 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
764.28/764.69 c 711s|910000 | 21 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |2994 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
769.08/769.46 c 715s|920000 | 21 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3005 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
773.88/774.24 c 720s|930000 | 21 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3028 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
778.67/779.02 c 725s|940000 | 21 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3048 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
783.38/783.79 c 729s|950000 | 19 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3062 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
787.97/788.36 c 734s|960000 | 19 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3077 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
792.68/793.06 c 738s|970000 | 19 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3107 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
797.57/798.00 c 743s|980000 | 20 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3124 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
802.26/802.63 c 748s|990000 | 18 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3150 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
806.97/807.33 c 752s| 1000k| 21 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3182 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
811.76/812.13 c 757s| 1010k| 20 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3208 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
816.46/816.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
816.46/816.81 c 762s| 1020k| 19 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3242 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
820.96/821.36 c 766s| 1030k| 19 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3280 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
825.56/825.93 c 770s| 1040k| 18 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3316 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
830.06/830.42 c 775s| 1050k| 19 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3331 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
834.85/835.21 c 779s| 1060k| 18 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3359 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
839.65/840.02 c 784s| 1070k| 20 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3376 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
844.25/844.68 c 789s| 1080k| 20 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3402 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
848.75/849.17 c 793s| 1090k| 19 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3426 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
853.65/854.02 c 798s| 1100k| 23 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3459 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
858.44/858.84 c 802s| 1110k| 20 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3482 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
863.15/863.59 c 807s| 1120k| 21 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3508 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
867.94/868.31 c 812s| 1130k| 22 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3531 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
872.54/872.93 c 816s| 1140k| 19 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3551 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
877.34/877.77 c 821s| 1150k| 19 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3574 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
882.14/882.57 c 825s| 1160k| 21 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3594 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
886.93/887.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
886.93/887.36 c 830s| 1170k| 22 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3626 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
891.83/892.22 c 835s| 1180k| 20 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3661 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
896.73/897.11 c 840s| 1190k| 19 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3682 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
901.23/901.68 c 844s| 1200k| 19 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3726 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
905.82/906.26 c 848s| 1210k| 20 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3751 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
910.62/911.03 c 853s| 1220k| 21 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3775 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
915.32/915.70 c 858s| 1230k| 18 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3804 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
919.82/920.26 c 862s| 1240k| 22 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3822 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
924.22/924.66 c 866s| 1250k| 22 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3845 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
928.62/929.05 c 871s| 1260k| 21 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3871 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
933.21/933.63 c 875s| 1270k| 19 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3892 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
937.71/938.17 c 879s| 1280k| 23 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3919 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
942.32/942.72 c 884s| 1290k| 19 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3936 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
946.91/947.32 c 888s| 1300k| 19 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3946 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
951.31/951.74 c 893s| 1310k| 21 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3963 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
955.81/956.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
955.81/956.23 c 897s| 1320k| 19 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |3975 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
960.30/960.76 c 901s| 1330k| 19 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |4013 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
964.90/965.31 c 906s| 1340k| 22 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |4056 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
969.40/969.85 c 910s| 1350k| 22 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |4087 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
973.79/974.29 c 914s| 1360k| 21 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |4114 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
978.30/978.70 c 919s| 1370k| 19 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |4133 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
982.79/983.24 c 923s| 1380k| 21 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |4167 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
987.19/987.66 c 927s| 1390k| 20 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |4196 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
991.80/992.23 c 932s| 1400k| 19 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |4228 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
996.39/996.81 c 936s| 1410k| 19 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |4257 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1000.79/1001.28 c 941s| 1420k| 19 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |4288 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1005.18/1005.68 c 945s| 1430k| 21 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |4314 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1009.68/1010.15 c 949s| 1440k| 20 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |4336 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1013.98/1014.47 c 953s| 1450k| 21 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |4368 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1018.48/1018.92 c 958s| 1460k| 21 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |4385 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1023.08/1023.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1023.08/1023.56 c 962s| 1470k| 21 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |4425 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1027.57/1028.06 c 967s| 1480k| 20 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |4450 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1031.97/1032.49 c 971s| 1490k| 19 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |4475 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1036.67/1037.10 c 975s| 1500k| 23 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |4510 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1041.28/1041.72 c 980s| 1510k| 22 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |4534 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1045.77/1046.23 c 984s| 1520k| 23 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |4561 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1050.27/1050.75 c 989s| 1530k| 23 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |4609 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1054.87/1055.31 c 993s| 1540k| 23 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |4647 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1059.36/1059.80 c 997s| 1550k| 20 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |4691 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1063.96/1064.46 c 1002s| 1560k| 21 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |4737 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1068.46/1068.92 c 1006s| 1570k| 20 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |4779 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1072.95/1073.40 c 1011s| 1580k| 20 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |4804 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1077.56/1078.00 c 1015s| 1590k| 20 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |4849 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1082.16/1082.67 c 1020s| 1600k| 21 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |4882 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1086.75/1087.28 c 1024s| 1610k| 22 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |4914 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1091.35/1091.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1091.35/1091.82 c 1029s| 1620k| 21 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |4948 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1095.95/1096.42 c 1033s| 1630k| 23 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |4985 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1100.44/1100.94 c 1037s| 1640k| 21 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5014 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1104.95/1105.50 c 1042s| 1650k| 23 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5042 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1109.64/1110.19 c 1046s| 1660k| 23 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5071 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1114.34/1114.85 c 1051s| 1670k| 23 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5107 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1118.93/1119.42 c 1055s| 1680k| 22 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5123 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1123.65/1124.12 c 1060s| 1690k| 20 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5161 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1128.23/1128.70 c 1064s| 1700k| 19 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5205 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1132.83/1133.34 c 1069s| 1710k| 21 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5234 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1137.64/1138.10 c 1074s| 1720k| 21 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5256 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1142.23/1142.71 c 1078s| 1730k| 23 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5293 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1147.13/1147.61 c 1083s| 1740k| 24 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5320 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1151.72/1152.20 c 1087s| 1750k| 20 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5346 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1156.23/1156.72 c 1092s| 1760k| 22 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5368 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1160.72/1161.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1160.72/1161.22 c 1096s| 1770k| 21 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5376 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1165.32/1165.81 c 1100s| 1780k| 23 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5401 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1169.93/1170.48 c 1105s| 1790k| 22 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5441 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1174.62/1175.11 c 1109s| 1800k| 20 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5477 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1179.22/1179.80 c 1114s| 1810k| 21 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5496 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1183.91/1184.41 c 1118s| 1820k| 20 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5535 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1188.62/1189.16 c 1123s| 1830k| 20 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5562 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1193.21/1193.76 c 1128s| 1840k| 20 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5592 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1197.81/1198.35 c 1132s| 1850k| 21 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5643 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1202.41/1202.90 c 1136s| 1860k| 21 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5667 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1207.01/1207.51 c 1141s| 1870k| 22 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5698 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1211.50/1212.08 c 1145s| 1880k| 23 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5729 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1216.11/1216.62 c 1150s| 1890k| 23 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5771 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1220.60/1221.17 c 1154s| 1900k| 22 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5792 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1225.18/1225.71 c 1159s| 1910k| 19 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5826 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1229.58/1230.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1229.58/1230.18 c 1163s| 1920k| 24 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5845 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1234.08/1234.66 c 1167s| 1930k| 21 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5872 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1238.68/1239.21 c 1172s| 1940k| 19 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5903 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1243.07/1243.65 c 1176s| 1950k| 22 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5928 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1247.48/1248.02 c 1180s| 1960k| 20 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5953 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1251.97/1252.53 c 1185s| 1970k| 19 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |5977 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1256.37/1256.98 c 1189s| 1980k| 19 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |6021 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1260.97/1261.56 c 1193s| 1990k| 19 | 8957 | 0.0 | 66M| 69 | - | 945 | 58k| 0 | 0 | 241 |6039 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1265.37/1265.95 c 1198s| 2000k| 22 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |6077 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1269.87/1270.41 c 1202s| 2010k| 22 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |6104 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1274.37/1274.91 c 1206s| 2020k| 21 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |6133 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1278.76/1279.34 c 1211s| 2030k| 22 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |6175 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1283.26/1283.88 c 1215s| 2040k| 20 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |6199 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1287.86/1288.45 c 1219s| 2050k| 24 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |6224 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1292.46/1293.05 c 1224s| 2060k| 20 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |6252 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1296.95/1297.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1296.95/1297.50 c 1228s| 2070k| 23 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |6276 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1301.66/1302.26 c 1233s| 2080k| 22 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |6307 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1306.15/1306.77 c 1237s| 2090k| 20 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |6346 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1310.65/1311.29 c 1242s| 2100k| 20 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |6390 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1315.25/1315.89 c 1246s| 2110k| 21 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |6409 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1319.74/1320.33 c 1250s| 2120k| 19 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |6445 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1324.24/1324.83 c 1255s| 2130k| 18 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |6470 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1328.75/1329.30 c 1259s| 2140k| 20 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |6515 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1333.14/1333.78 c 1264s| 2150k| 19 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |6531 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1337.54/1338.16 c 1268s| 2160k| 23 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |6571 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1342.14/1342.72 c 1272s| 2170k| 21 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |6631 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1346.63/1347.26 c 1277s| 2180k| 20 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |6667 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1351.24/1351.80 c 1281s| 2190k| 22 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |6717 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1355.74/1356.34 c 1285s| 2200k| 22 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |6755 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1360.32/1360.90 c 1290s| 2210k| 22 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |6802 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1364.92/1365.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1364.92/1365.50 c 1294s| 2220k| 22 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |6838 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1369.52/1370.17 c 1299s| 2230k| 23 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |6889 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1374.12/1374.79 c 1303s| 2240k| 22 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |6918 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1378.92/1379.50 c 1308s| 2250k| 17 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |6944 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1383.32/1383.95 c 1312s| 2260k| 22 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |6982 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1387.81/1388.40 c 1317s| 2270k| 22 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |7006 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1392.32/1392.97 c 1321s| 2280k| 21 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |7046 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1396.92/1397.50 c 1325s| 2290k| 19 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |7079 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1401.61/1402.25 c 1330s| 2300k| 20 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |7130 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1406.21/1406.83 c 1335s| 2310k| 22 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |7147 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1410.61/1411.26 c 1339s| 2320k| 17 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |7176 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1415.21/1415.88 c 1343s| 2330k| 20 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |7215 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1419.91/1420.50 c 1348s| 2340k| 21 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |7255 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1424.51/1425.15 c 1352s| 2350k| 20 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |7289 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1429.31/1429.95 c 1357s| 2360k| 22 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |7315 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1434.10/1434.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1434.10/1434.76 c 1362s| 2370k| 19 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |7359 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1438.79/1439.46 c 1366s| 2380k| 23 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |7383 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1443.30/1443.94 c 1371s| 2390k| 21 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |7413 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1447.80/1448.45 c 1375s| 2400k| 21 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |7453 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1452.29/1452.90 c 1379s| 2410k| 23 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |7493 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1456.80/1457.45 c 1384s| 2420k| 23 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |7519 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1461.39/1462.02 c 1388s| 2430k| 22 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |7535 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1465.78/1466.45 c 1392s| 2440k| 21 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |7564 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1470.28/1470.96 c 1397s| 2450k| 22 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |7604 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1474.88/1475.54 c 1401s| 2460k| 22 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |7628 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1479.39/1480.07 c 1406s| 2470k| 22 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |7649 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1483.98/1484.64 c 1410s| 2480k| 22 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |7685 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1488.48/1489.16 c 1414s| 2490k| 18 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |7715 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1493.08/1493.75 c 1419s| 2500k| 19 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |7747 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1497.59/1498.22 c 1423s| 2510k| 19 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |7772 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1501.98/1502.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1501.98/1502.66 c 1428s| 2520k| 21 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |7807 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1506.47/1507.19 c 1432s| 2530k| 21 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |7846 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1511.17/1511.85 c 1436s| 2540k| 19 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |7868 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1515.76/1516.40 c 1441s| 2550k| 22 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |7896 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1520.16/1520.81 c 1445s| 2560k| 17 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |7919 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1524.46/1525.15 c 1449s| 2570k| 20 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |7946 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1528.76/1529.42 c 1454s| 2580k| 20 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |7992 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1533.26/1533.91 c 1458s| 2590k| 20 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |8032 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1537.86/1538.50 c 1462s| 2600k| 21 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |8070 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1542.36/1543.08 c 1467s| 2610k| 21 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |8089 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1546.76/1547.49 c 1471s| 2620k| 20 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |8111 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1551.36/1552.04 c 1476s| 2630k| 19 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |8133 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1555.76/1556.47 c 1480s| 2640k| 19 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |8165 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1560.45/1561.13 c 1484s| 2650k| 21 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |8200 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1565.05/1565.79 c 1489s| 2660k| 19 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |8232 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1569.84/1570.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1569.84/1570.57 c 1494s| 2670k| 23 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |8274 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1574.45/1575.20 c 1498s| 2680k| 23 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |8322 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1578.95/1579.68 c 1502s| 2690k| 21 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |8367 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1583.64/1584.31 c 1507s| 2700k| 20 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |8394 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1588.14/1588.85 c 1511s| 2710k| 24 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |8415 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1592.63/1593.32 c 1516s| 2720k| 22 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |8448 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1597.14/1597.85 c 1520s| 2730k| 21 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |8483 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1601.64/1602.31 c 1524s| 2740k| 19 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |8531 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1606.03/1606.79 c 1529s| 2750k| 20 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |8581 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1610.74/1611.41 c 1533s| 2760k| 19 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |8602 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1615.33/1616.02 c 1538s| 2770k| 21 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |8633 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1619.93/1620.69 c 1542s| 2780k| 22 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |8684 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1624.62/1625.34 c 1547s| 2790k| 22 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |8720 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1629.12/1629.83 c 1551s| 2800k| 22 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |8762 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1633.62/1634.37 c 1555s| 2810k| 22 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |8808 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1638.51/1639.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1638.51/1639.27 c 1560s| 2820k| 22 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |8845 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1643.22/1643.92 c 1565s| 2830k| 20 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |8877 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1647.81/1648.59 c 1569s| 2840k| 21 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |8903 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1652.42/1653.18 c 1574s| 2850k| 20 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |8949 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1657.11/1657.83 c 1578s| 2860k| 20 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |8990 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1661.91/1662.65 c 1583s| 2870k| 20 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |9019 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1666.60/1667.34 c 1588s| 2880k| 19 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |9048 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1671.21/1671.93 c 1592s| 2890k| 20 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |9073 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1675.90/1676.60 c 1596s| 2900k| 19 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |9120 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1680.50/1681.25 c 1601s| 2910k| 22 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |9160 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1685.10/1685.89 c 1605s| 2920k| 20 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |9195 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1689.70/1690.46 c 1610s| 2930k| 19 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |9227 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1694.40/1695.14 c 1614s| 2940k| 23 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |9259 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1699.09/1699.82 c 1619s| 2950k| 19 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |9299 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1703.69/1704.48 c 1624s| 2960k| 24 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |9333 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1708.19/1708.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1708.19/1708.97 c 1628s| 2970k| 21 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |9377 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1712.59/1713.38 c 1632s| 2980k| 23 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |9405 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1717.09/1717.81 c 1636s| 2990k| 22 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |9430 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1721.39/1722.18 c 1641s| 3000k| 21 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |9477 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1725.79/1726.54 c 1645s| 3010k| 24 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |9508 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1730.18/1730.90 c 1649s| 3020k| 20 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |9557 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1734.38/1735.13 c 1653s| 3030k| 19 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |9581 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1738.58/1739.34 c 1657s| 3040k| 19 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |9608 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1742.98/1743.77 c 1662s| 3050k| 23 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |9636 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1747.47/1748.28 c 1666s| 3060k| 21 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |9659 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1752.07/1752.84 c 1670s| 3070k| 21 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |9696 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1756.56/1757.30 c 1675s| 3080k| 21 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |9729 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1761.06/1761.80 c 1679s| 3090k| 20 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |9761 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1765.46/1766.24 c 1683s| 3100k| 23 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |9783 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1769.96/1770.72 c 1688s| 3110k| 23 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |9814 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1774.57/1775.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1774.57/1775.36 c 1692s| 3120k| 22 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |9843 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1779.26/1780.04 c 1697s| 3130k| 19 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |9880 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1783.95/1784.75 c 1701s| 3140k| 21 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |9915 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1788.55/1789.35 c 1706s| 3150k| 21 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |9935 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1793.16/1793.92 c 1710s| 3160k| 22 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 |9967 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1797.76/1798.51 c 1715s| 3170k| 21 | 8957 | 0.0 | 66M| 70 | - | 945 | 58k| 0 | 0 | 241 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1800.06/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.80 c
1800.06/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.80 c Solving Time (sec) : 1717.00
1800.06/1800.80 c Solving Nodes : 3175014
1800.06/1800.80 c Primal Bound : -3.30000000000000e+01 (11 solutions)
1800.06/1800.80 c Dual Bound : -4.49999999999999e+01
1800.06/1800.80 c Gap : 26.67 %
1800.06/1800.84 s SATISFIABLE
1800.06/1800.84 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28
1800.06/1800.84 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53
1800.06/1800.84 v -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78
1800.06/1800.84 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102
1800.06/1800.84 v -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123
1800.06/1800.84 v -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144
1800.06/1800.84 v -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165
1800.06/1800.84 v -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186
1800.06/1800.84 v -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207
1800.06/1800.84 v x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228
1800.06/1800.84 v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249
1800.06/1800.84 v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
1800.06/1800.84 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291
1800.06/1800.84 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312
1800.06/1800.84 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332
1800.06/1800.84 v -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353
1800.06/1800.84 v -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374
1800.06/1800.84 v -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395
1800.06/1800.84 v -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416
1800.06/1800.84 v -x417 -x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437
1800.06/1800.84 v -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458
1800.06/1800.84 v -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479
1800.06/1800.84 v -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
1800.06/1800.84 v x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521
1800.06/1800.84 v -x522 -x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542
1800.06/1800.84 v -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563
1800.06/1800.84 v -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584
1800.06/1800.84 v -x585 -x586 x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605
1800.06/1800.84 v -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626
1800.06/1800.84 v -x627 x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647
1800.06/1800.84 v -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668
1800.06/1800.84 v -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689
1800.06/1800.84 v -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
1800.06/1800.84 v -x711 x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731
1800.06/1800.84 v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752
1800.06/1800.84 v -x753 -x754 -x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773
1800.06/1800.84 v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794
1800.06/1800.84 v -x795 -x796 x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815
1800.06/1800.84 v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836
1800.06/1800.84 v -x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857
1800.06/1800.84 v -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878
1800.06/1800.84 v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899
1800.06/1800.84 v -x900 -x901 -x902 x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
1800.06/1800.84 v -x921 -x922 -x923 x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941
1800.06/1800.84 v -x942 -x943 -x944 x945
1800.06/1800.84 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.84 c Solving Time : 1717.00
1800.06/1800.84 c Original Problem :
1800.06/1800.84 c Problem name : HOME/instance-2667076-1276501239.opb
1800.06/1800.84 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.84 c Constraints : 58579 initial, 58579 maximal
1800.06/1800.84 c Presolved Problem :
1800.06/1800.84 c Problem name : t_HOME/instance-2667076-1276501239.opb
1800.06/1800.84 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.84 c Constraints : 58579 initial, 58594 maximal
1800.06/1800.84 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.84 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.84 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.84 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.84 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.84 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.84 c probing : 1.30 0 0 0 0 0 0 0 0
1800.06/1800.84 c logicor : 0.18 0 0 0 0 0 0 0 0
1800.06/1800.84 c root node : - 0 - - 0 - - - -
1800.06/1800.84 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.84 c integral : 0 0 0 1 0 0 0 0 0 2
1800.06/1800.84 c logicor : 58579+ 29 3176063 0 0 183968 7181646 0 0 0
1800.06/1800.84 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.84 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.84 c integral : 84.39 0.00 0.00 84.39 0.00
1800.06/1800.84 c logicor : 434.74 0.26 434.48 0.00 0.00
1800.06/1800.84 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.84 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.84 c vbounds : 2.24 2 0 0
1800.06/1800.84 c rootredcost : 2.35 0 0 0
1800.06/1800.84 c pseudoobj : 426.07 4929749 1243927 1319750
1800.06/1800.84 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.84 c propagation : 203.44 183968 10021 10021 43.5 0 0.0 -
1800.06/1800.84 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.84 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.84 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.84 c pseudo solution : 206.23 161234 0 0 0.0 0 0.0 -
1800.06/1800.84 c applied globally : - - - 10021 43.5 - - -
1800.06/1800.84 c applied locally : - - - 0 0.0 - - -
1800.06/1800.84 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.84 c cut pool : 0.01 28 - - 60 - (maximal pool size: 474)
1800.06/1800.84 c redcost : 0.00 29 0 0 0 0
1800.06/1800.84 c impliedbounds : 0.10 29 0 0 0 0
1800.06/1800.84 c intobj : 0.00 0 0 0 0 0
1800.06/1800.84 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.84 c gomory : 121.54 29 0 0 13500 0
1800.06/1800.84 c strongcg : 11.77 20 0 0 10000 0
1800.06/1800.84 c cmir : 14.83 10 0 0 0 0
1800.06/1800.84 c flowcover : 15.95 10 0 0 0 0
1800.06/1800.84 c clique : 1.13 29 0 0 266 0
1800.06/1800.84 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.84 c mcf : 0.09 1 0 0 0 0
1800.06/1800.84 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.84 c Pricers : Time Calls Vars
1800.06/1800.84 c problem variables: 0.00 0 0
1800.06/1800.84 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.84 c relpscost : 84.39 1 0 0 0 0 2
1800.06/1800.84 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.84 c inference : 15.95 1592175 0 0 0 0 3184350
1800.06/1800.84 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.84 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.84 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.84 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.84 c random : 0.00 0 0 0 0 0 0
1800.06/1800.84 c Primal Heuristics : Time Calls Found
1800.06/1800.84 c LP solutions : 0.00 - 0
1800.06/1800.84 c pseudo solutions : 0.00 - 0
1800.06/1800.84 c crossover : 0.00 0 0
1800.06/1800.84 c oneopt : 2.39 2 1
1800.06/1800.84 c trivial : 0.03 2 3
1800.06/1800.84 c simplerounding : 0.02 30 3
1800.06/1800.84 c zirounding : 0.02 1 1
1800.06/1800.84 c rounding : 1.07 30 1
1800.06/1800.84 c shifting : 1.39 30 1
1800.06/1800.84 c intshifting : 0.00 0 0
1800.06/1800.84 c twoopt : 0.00 0 0
1800.06/1800.84 c fixandinfer : 0.00 0 0
1800.06/1800.84 c feaspump : 0.00 0 0
1800.06/1800.84 c coefdiving : 0.00 0 0
1800.06/1800.84 c pscostdiving : 0.00 0 0
1800.06/1800.84 c fracdiving : 0.00 0 0
1800.06/1800.84 c veclendiving : 0.00 0 0
1800.06/1800.84 c intdiving : 0.00 0 0
1800.06/1800.84 c actconsdiving : 0.00 0 0
1800.06/1800.84 c objpscostdiving : 0.00 0 0
1800.06/1800.84 c rootsoldiving : 0.00 0 0
1800.06/1800.84 c linesearchdiving : 0.00 0 0
1800.06/1800.84 c guideddiving : 0.00 0 0
1800.06/1800.84 c octane : 0.00 0 0
1800.06/1800.84 c rens : 1.53 1 1
1800.06/1800.84 c rins : 0.00 0 0
1800.06/1800.84 c localbranching : 0.00 0 0
1800.06/1800.84 c mutation : 0.00 0 0
1800.06/1800.84 c dins : 0.00 0 0
1800.06/1800.84 c undercover : 0.00 0 0
1800.06/1800.84 c nlp : 1.94 0 0
1800.06/1800.84 c trysol : 1.29 0 0
1800.06/1800.84 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.84 c primal LP : 0.15 0 0 0.00 0.00
1800.06/1800.84 c dual LP : 56.27 30 8957 298.57 159.18
1800.06/1800.84 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.84 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.84 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.84 c strong branching : 84.39 33 12862 389.76 152.41
1800.06/1800.84 c (at root node) : - 33 12862 389.76 -
1800.06/1800.84 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.84 c B&B Tree :
1800.06/1800.84 c number of runs : 1
1800.06/1800.84 c nodes : 3175014
1800.06/1800.84 c nodes (total) : 3175014
1800.06/1800.84 c nodes left : 21
1800.06/1800.84 c max depth : 70
1800.06/1800.84 c max depth (total): 70
1800.06/1800.84 c backtracks : 465225 (14.7%)
1800.06/1800.84 c delayed cutoffs : 6646
1800.06/1800.84 c repropagations : 7500 (24834 domain reductions, 6291 cutoffs)
1800.06/1800.84 c avg switch length: 2.00
1800.06/1800.84 c switching time : 159.09
1800.06/1800.84 c Solution :
1800.06/1800.84 c Solutions found : 11 (4 improvements)
1800.06/1800.84 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.09 seconds, depth 0, found by <trivial>)
1800.06/1800.84 c Primal Bound : -3.30000000000000e+01 (in run 1, after 1 nodes, 8.85 seconds, depth 0, found by <oneopt>)
1800.06/1800.84 c Dual Bound : -4.49999999999999e+01
1800.06/1800.84 c Gap : 26.67 %
1800.06/1800.84 c Root Dual Bound : -4.49999999999999e+01
1800.06/1800.84 c Root Iterations : 8957
1800.25/1801.08 c Time complete: 1800.33.