0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2665646-1276501196.opb>
0.90/1.00 c original problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58579 constraints
0.90/1.00 c problem read
0.90/1.00 c presolving settings loaded
1.10/1.15 o 0
1.10/1.15 c feasible solution found by trivial heuristic, objective value 0.000000e+00
1.10/1.15 c presolving:
1.89/1.90 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.30/3.31 c (2.1s) probing: 101/945 (10.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.30/3.31 c (2.1s) probing aborted: 100/100 successive totally useless probings
3.30/3.31 c presolving (2 rounds):
3.30/3.31 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.30/3.31 c 117158 implications, 0 cliques
3.30/3.31 c presolved problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58579 constraints
3.30/3.31 c 58579 constraints of type <logicor>
3.30/3.31 c transformed objective value is always integral (scale: 1)
3.30/3.31 c Presolving Time: 2.02
3.30/3.31 c - non default parameters ----------------------------------------------------------------------
3.30/3.31 c # SCIP version 1.2.1.2
3.30/3.31 c
3.30/3.31 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
3.30/3.31 c # [type: int, range: [-1,2147483647], default: -1]
3.30/3.31 c conflict/interconss = 0
3.30/3.31 c
3.30/3.31 c # should binary conflicts be preferred?
3.30/3.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.30/3.31 c conflict/preferbinary = TRUE
3.30/3.31 c
3.30/3.31 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
3.30/3.31 c # [type: int, range: [-1,2147483647], default: 0]
3.30/3.31 c constraints/agelimit = 1
3.30/3.31 c
3.30/3.31 c # should enforcement of pseudo solution be disabled?
3.30/3.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.30/3.31 c constraints/disableenfops = TRUE
3.30/3.31 c
3.30/3.31 c # frequency for displaying node information lines
3.30/3.31 c # [type: int, range: [-1,2147483647], default: 100]
3.30/3.31 c display/freq = 10000
3.30/3.31 c
3.30/3.31 c # maximal time in seconds to run
3.30/3.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.30/3.31 c limits/time = 1799
3.30/3.31 c
3.30/3.31 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.30/3.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.30/3.31 c limits/memory = 1620
3.30/3.31 c
3.30/3.31 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
3.30/3.31 c # [type: int, range: [-1,2147483647], default: 1]
3.30/3.31 c lp/solvefreq = 0
3.30/3.31 c
3.30/3.31 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.30/3.31 c # [type: char, range: {lafpsqd}, default: l]
3.30/3.31 c lp/pricing = a
3.30/3.31 c
3.30/3.31 c # should presolving try to simplify inequalities
3.30/3.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.30/3.31 c constraints/linear/simplifyinequalities = TRUE
3.30/3.31 c
3.30/3.31 c # should presolving try to simplify knapsacks
3.30/3.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.30/3.31 c constraints/knapsack/simplifyinequalities = TRUE
3.30/3.31 c
3.30/3.31 c # priority of node selection rule <dfs> in standard mode
3.30/3.31 c # [type: int, range: [-536870912,536870911], default: 0]
3.30/3.31 c nodeselection/dfs/stdpriority = 1000000
3.30/3.31 c
3.30/3.31 c -----------------------------------------------------------------------------------------------
3.30/3.31 c start solving
3.30/3.32 c
4.19/4.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.19/4.25 c t 3.0s| 1 | 0 | 1028 | - | 65M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 | 0.000000e+00 | 100.00%
4.30/4.37 o -1
4.30/4.37 c R 3.1s| 1 | 0 | 1028 | - | 65M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 |-1.000000e+00 | 99.79%
4.49/4.50 o -2
4.49/4.50 c s 3.2s| 1 | 0 | 1028 | - | 65M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 |-2.000000e+00 | 99.58%
9.79/9.87 c 8.5s| 1 | 0 | 1393 | - | 65M| 0 | 883 | 945 | 58k| 945 | 58k| 10 | 0 | 0 |-4.415000e+02 |-2.000000e+00 | 99.55%
9.90/9.93 o -33
9.90/9.93 c b 8.5s| 1 | 0 | 1393 | - | 65M| 0 | 883 | 945 | 58k| 945 | 58k| 10 | 0 | 0 |-4.415000e+02 |-3.300000e+01 | 92.53%
15.88/15.95 c 14.5s| 1 | 0 | 1734 | - | 65M| 0 | 843 | 945 | 58k| 945 | 58k| 14 | 0 | 0 |-4.215000e+02 |-3.300000e+01 | 92.17%
20.28/20.30 c 18.8s| 1 | 0 | 1895 | - | 65M| 0 | 823 | 945 | 58k| 945 | 58k| 19 | 0 | 0 |-4.115000e+02 |-3.300000e+01 | 91.98%
25.47/25.54 c 24.0s| 1 | 0 | 2143 | - | 65M| 0 | 780 | 945 | 58k| 945 | 58k| 29 | 0 | 0 |-3.900000e+02 |-3.300000e+01 | 91.54%
32.07/32.19 c 30.6s| 1 | 0 | 2459 | - | 65M| 0 | 740 | 945 | 58k| 945 | 58k| 36 | 0 | 0 |-3.700000e+02 |-3.300000e+01 | 91.08%
38.97/39.02 c 37.4s| 1 | 0 | 2741 | - | 65M| 0 | 698 | 945 | 58k| 945 | 58k| 47 | 0 | 0 |-3.490000e+02 |-3.300000e+01 | 90.54%
45.27/45.33 c 43.7s| 1 | 0 | 2970 | - | 65M| 0 | 672 | 945 | 58k| 945 | 58k| 54 | 0 | 0 |-3.360000e+02 |-3.300000e+01 | 90.18%
53.36/53.49 c 51.8s| 1 | 0 | 3389 | - | 65M| 0 | 632 | 945 | 58k| 945 | 58k| 65 | 0 | 0 |-3.160000e+02 |-3.300000e+01 | 89.56%
63.56/63.61 c 61.9s| 1 | 0 | 3910 | - | 65M| 0 | 594 | 945 | 58k| 945 | 58k| 75 | 0 | 0 |-2.970000e+02 |-3.300000e+01 | 88.89%
73.66/73.77 c 72.0s| 1 | 0 | 4429 | - | 65M| 0 | 566 | 945 | 58k| 945 | 58k| 81 | 0 | 0 |-2.830000e+02 |-3.300000e+01 | 88.34%
80.56/80.60 c 78.7s| 1 | 0 | 5091 | - | 65M| 0 | 522 | 945 | 58k| 945 | 58k| 97 | 0 | 0 |-2.610000e+02 |-3.300000e+01 | 87.36%
88.65/88.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.65/88.75 c 86.8s| 1 | 0 | 5895 | - | 65M| 0 | 485 | 945 | 58k| 945 | 58k| 104 | 0 | 0 |-2.425000e+02 |-3.300000e+01 | 86.39%
96.65/96.77 c 94.8s| 1 | 0 | 6774 | - | 65M| 0 | 431 | 945 | 58k| 945 | 58k| 113 | 0 | 0 |-2.155000e+02 |-3.300000e+01 | 84.69%
103.05/103.15 c 101s| 1 | 0 | 7559 | - | 65M| 0 | 377 | 945 | 58k| 945 | 58k| 120 | 0 | 0 |-1.885000e+02 |-3.300000e+01 | 82.49%
109.24/109.35 c 107s| 1 | 0 | 8352 | - | 66M| 0 | 338 | 945 | 58k| 945 | 58k| 125 | 0 | 0 |-1.690000e+02 |-3.300000e+01 | 80.47%
113.84/113.97 c 112s| 1 | 0 | 8878 | - | 66M| 0 | 298 | 945 | 58k| 945 | 58k| 135 | 0 | 0 |-1.490000e+02 |-3.300000e+01 | 77.85%
118.75/118.88 c 117s| 1 | 0 | 9552 | - | 66M| 0 | 241 | 945 | 58k| 945 | 58k| 150 | 0 | 0 |-1.205000e+02 |-3.300000e+01 | 72.61%
120.43/120.52 c 118s| 1 | 0 | 9793 | - | 66M| 0 | 224 | 945 | 58k| 945 | 58k| 155 | 0 | 0 |-1.120000e+02 |-3.300000e+01 | 70.54%
121.84/121.95 c 120s| 1 | 0 | 10058 | - | 66M| 0 | 200 | 945 | 58k| 945 | 58k| 170 | 0 | 0 |-1.000000e+02 |-3.300000e+01 | 67.00%
125.35/125.40 c 123s| 1 | 0 | 10623 | - | 66M| 0 | 184 | 945 | 58k| 945 | 58k| 176 | 0 | 0 |-9.200000e+01 |-3.300000e+01 | 64.13%
129.34/129.43 c 127s| 1 | 0 | 11356 | - | 66M| 0 | 137 | 945 | 58k| 945 | 58k| 186 | 0 | 0 |-6.950000e+01 |-3.300000e+01 | 52.52%
130.23/130.37 c 128s| 1 | 0 | 11548 | - | 66M| 0 | 128 | 945 | 58k| 945 | 58k| 192 | 0 | 0 |-6.100000e+01 |-3.300000e+01 | 45.90%
131.53/131.63 c 129s| 1 | 0 | 11786 | - | 66M| 0 | 111 | 945 | 58k| 945 | 58k| 204 | 0 | 0 |-5.400000e+01 |-3.300000e+01 | 38.89%
132.64/132.76 c 130s| 1 | 0 | 12026 | - | 66M| 0 | 120 | 945 | 58k| 945 | 58k| 213 | 0 | 0 |-4.800000e+01 |-3.300000e+01 | 31.25%
133.53/133.65 c 131s| 1 | 0 | 12227 | - | 66M| 0 | 127 | 945 | 58k| 945 | 58k| 222 | 0 | 0 |-4.550000e+01 |-3.300000e+01 | 27.47%
134.14/134.26 c 132s| 1 | 0 | 12316 | - | 66M| 0 | 121 | 945 | 58k| 945 | 58k| 234 | 0 | 0 |-4.550000e+01 |-3.300000e+01 | 27.47%
135.24/135.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
135.24/135.38 c 133s| 1 | 0 | 12536 | - | 66M| 0 | 101 | 945 | 58k| 945 | 58k| 243 | 0 | 0 |-4.550000e+01 |-3.300000e+01 | 27.47%
136.24/136.34 c 134s| 1 | 0 | 12701 | - | 66M| 0 | 130 | 945 | 58k| 945 | 58k| 256 | 0 | 0 |-4.500000e+01 |-3.300000e+01 | 26.67%
138.03/138.11 c 135s| 1 | 0 | 12969 | - | 66M| 0 | 175 | 945 | 58k| 945 | 58k| 270 | 0 | 0 |-4.500000e+01 |-3.300000e+01 | 26.67%
153.22/153.38 c 151s| 1 | 0 | 13363 | - | 66M| 0 | 161 | 945 | 58k| 945 | 58k| 280 | 0 | 0 |-4.500000e+01 |-3.300000e+01 | 26.67%
156.42/156.56 c 154s| 1 | 0 | 13737 | - | 66M| 0 | 215 | 945 | 58k| 945 | 58k| 293 | 0 | 0 |-4.500000e+01 |-3.300000e+01 | 26.67%
173.52/173.68 c 171s| 1 | 0 | 14566 | - | 66M| 0 | 224 | 945 | 58k| 945 | 58k| 305 | 0 | 0 |-4.500000e+01 |-3.300000e+01 | 26.67%
196.01/196.10 c 193s| 1 | 0 | 15097 | - | 67M| 0 | 176 | 945 | 58k| 945 | 58k| 313 | 0 | 0 |-4.500000e+01 |-3.300000e+01 | 26.67%
457.10/457.36 c 452s| 1 | 2 | 15097 | - | 67M| 0 | 176 | 945 | 58k| 945 | 58k| 313 | 0 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
461.90/462.15 c 457s| 10000 | 21 | 15097 | 0.0 | 67M| 41 | - | 945 | 58k| 0 | 0 | 313 | 44 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
466.40/466.68 c 462s| 20000 | 18 | 15097 | 0.0 | 67M| 44 | - | 945 | 58k| 0 | 0 | 313 | 69 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
471.10/471.33 c 466s| 30000 | 19 | 15097 | 0.0 | 67M| 44 | - | 945 | 58k| 0 | 0 | 313 | 109 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
475.79/476.03 c 471s| 40000 | 21 | 15097 | 0.0 | 67M| 45 | - | 945 | 58k| 0 | 0 | 313 | 150 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
480.41/480.69 c 475s| 50000 | 19 | 15097 | 0.0 | 67M| 45 | - | 945 | 58k| 0 | 0 | 313 | 182 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
485.09/485.34 c 480s| 60000 | 20 | 15097 | 0.0 | 67M| 45 | - | 945 | 58k| 0 | 0 | 313 | 217 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
489.69/489.98 c 484s| 70000 | 19 | 15097 | 0.0 | 67M| 48 | - | 945 | 58k| 0 | 0 | 313 | 275 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
494.49/494.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
494.49/494.76 c 489s| 80000 | 21 | 15097 | 0.0 | 67M| 51 | - | 945 | 58k| 0 | 0 | 313 | 291 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
499.39/499.64 c 494s| 90000 | 21 | 15097 | 0.0 | 67M| 51 | - | 945 | 58k| 0 | 0 | 313 | 319 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
504.18/504.42 c 498s|100000 | 19 | 15097 | 0.0 | 67M| 52 | - | 945 | 58k| 0 | 0 | 313 | 335 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
508.88/509.15 c 503s|110000 | 19 | 15097 | 0.0 | 67M| 52 | - | 945 | 58k| 0 | 0 | 313 | 370 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
513.68/513.92 c 507s|120000 | 20 | 15097 | 0.0 | 67M| 52 | - | 945 | 58k| 0 | 0 | 313 | 405 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
518.48/518.75 c 512s|130000 | 19 | 15097 | 0.0 | 67M| 52 | - | 945 | 58k| 0 | 0 | 313 | 435 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
523.18/523.47 c 517s|140000 | 20 | 15097 | 0.0 | 67M| 52 | - | 945 | 58k| 0 | 0 | 313 | 458 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
527.87/528.13 c 521s|150000 | 17 | 15097 | 0.0 | 67M| 53 | - | 945 | 58k| 0 | 0 | 313 | 490 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
532.68/532.96 c 526s|160000 | 21 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 | 536 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
537.47/537.70 c 531s|170000 | 20 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 | 569 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
542.28/542.51 c 535s|180000 | 22 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 | 600 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
546.87/547.17 c 540s|190000 | 17 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 | 621 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
551.88/552.13 c 545s|200000 | 19 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 | 659 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
556.76/557.07 c 549s|210000 | 23 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 | 690 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
561.77/562.04 c 554s|220000 | 20 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 | 733 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
566.76/567.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
566.76/567.06 c 559s|230000 | 18 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 | 758 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
571.77/572.02 c 564s|240000 | 20 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 | 792 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
576.86/577.13 c 569s|250000 | 18 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 | 817 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
581.75/582.02 c 574s|260000 | 21 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 | 859 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
586.35/586.65 c 578s|270000 | 20 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 | 927 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
591.16/591.40 c 583s|280000 | 19 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 | 968 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
595.66/595.95 c 587s|290000 | 21 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 |1006 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
600.26/600.58 c 592s|300000 | 19 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 |1049 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
604.95/605.29 c 596s|310000 | 21 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 |1073 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
609.74/610.05 c 601s|320000 | 20 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 |1105 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
614.84/615.11 c 606s|330000 | 21 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 |1146 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
619.65/619.98 c 611s|340000 | 20 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 |1166 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
624.34/624.69 c 615s|350000 | 19 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 |1198 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
629.14/629.49 c 620s|360000 | 20 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 |1226 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
634.13/634.44 c 625s|370000 | 21 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 |1261 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
639.24/639.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
639.24/639.59 c 630s|380000 | 19 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 |1286 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
644.03/644.37 c 634s|390000 | 22 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 |1316 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
648.84/649.19 c 639s|400000 | 19 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 |1348 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
653.63/653.96 c 644s|410000 | 21 | 15097 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 313 |1380 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
658.43/658.74 c 648s|420000 | 17 | 15097 | 0.0 | 67M| 57 | - | 945 | 58k| 0 | 0 | 313 |1418 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
663.12/663.48 c 653s|430000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |1469 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
667.83/668.14 c 657s|440000 | 22 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |1518 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
672.53/672.83 c 662s|450000 | 21 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |1548 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
677.12/677.48 c 667s|460000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |1589 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
681.92/682.27 c 671s|470000 | 20 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |1638 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
686.82/687.11 c 676s|480000 | 20 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |1679 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
691.71/692.00 c 681s|490000 | 21 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |1789 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
696.41/696.77 c 685s|500000 | 20 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |1818 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
701.21/701.53 c 690s|510000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |1857 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
706.01/706.40 c 695s|520000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |1899 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
710.91/711.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
710.91/711.25 c 699s|530000 | 21 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |1944 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
715.60/715.93 c 704s|540000 | 20 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |1969 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
720.40/720.75 c 709s|550000 | 17 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2004 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
725.20/725.52 c 713s|560000 | 20 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2034 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
730.11/730.40 c 718s|570000 | 21 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2082 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
734.99/735.30 c 723s|580000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2137 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
739.79/740.13 c 727s|590000 | 22 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2172 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
744.68/745.01 c 732s|600000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2211 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
749.58/749.91 c 737s|610000 | 20 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2256 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
754.59/754.96 c 742s|620000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2295 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
759.48/759.81 c 747s|630000 | 22 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2324 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
764.28/764.69 c 751s|640000 | 20 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2358 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
769.07/769.43 c 756s|650000 | 20 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2400 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
773.78/774.15 c 761s|660000 | 20 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2455 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
778.48/778.83 c 765s|670000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2489 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
783.18/783.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
783.18/783.57 c 770s|680000 | 20 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2526 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
788.07/788.41 c 774s|690000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2562 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
792.68/793.04 c 779s|700000 | 21 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2594 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
797.17/797.57 c 783s|710000 | 20 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2638 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
801.67/802.05 c 788s|720000 | 21 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2674 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
806.27/806.68 c 792s|730000 | 18 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2711 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
811.07/811.46 c 797s|740000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2743 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
815.77/816.19 c 801s|750000 | 21 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2776 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
820.56/820.96 c 806s|760000 | 21 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2801 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
825.46/825.86 c 811s|770000 | 22 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2832 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
830.46/830.80 c 816s|780000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2867 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
835.25/835.62 c 820s|790000 | 20 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2892 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
839.96/840.35 c 825s|800000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2922 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
844.55/844.95 c 829s|810000 | 20 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2966 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
849.25/849.65 c 834s|820000 | 20 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |2997 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
854.25/854.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
854.25/854.64 c 839s|830000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |3012 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
859.14/859.50 c 844s|840000 | 21 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |3063 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
863.84/864.27 c 848s|850000 | 22 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |3109 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
868.84/869.26 c 853s|860000 | 17 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |3162 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
873.64/874.07 c 858s|870000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |3189 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
878.45/878.81 c 862s|880000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |3223 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
883.23/883.62 c 867s|890000 | 20 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |3277 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
887.93/888.32 c 872s|900000 | 23 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |3304 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
892.74/893.16 c 876s|910000 | 16 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |3335 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
897.43/897.85 c 881s|920000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |3354 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
902.33/902.74 c 886s|930000 | 19 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |3383 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
907.23/907.61 c 890s|940000 | 21 | 15097 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 313 |3416 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
912.03/912.46 c 895s|950000 | 20 | 15097 | 0.0 | 67M| 63 | - | 945 | 58k| 0 | 0 | 313 |3460 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
916.83/917.28 c 900s|960000 | 20 | 15097 | 0.0 | 67M| 63 | - | 945 | 58k| 0 | 0 | 313 |3496 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
921.72/922.11 c 904s|970000 | 18 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |3526 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
926.22/926.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
926.22/926.65 c 909s|980000 | 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |3587 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
930.92/931.34 c 913s|990000 | 18 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |3623 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
935.42/935.88 c 918s| 1000k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |3661 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
940.03/940.49 c 922s| 1010k| 18 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |3692 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
944.81/945.26 c 927s| 1020k| 19 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |3730 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
949.51/949.98 c 931s| 1030k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |3786 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
954.11/954.59 c 936s| 1040k| 17 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |3826 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
958.81/959.22 c 940s| 1050k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |3869 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
963.40/963.87 c 945s| 1060k| 19 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |3902 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
968.10/968.50 c 949s| 1070k| 21 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |3935 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
972.70/973.18 c 954s| 1080k| 21 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |3965 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
977.41/977.80 c 958s| 1090k| 21 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4021 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
982.00/982.44 c 963s| 1100k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4054 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
986.69/987.10 c 967s| 1110k| 19 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4091 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
991.40/991.80 c 972s| 1120k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4138 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
995.79/996.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
995.79/996.27 c 976s| 1130k| 19 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4166 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1000.60/1001.08 c 981s| 1140k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4210 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1005.29/1005.73 c 986s| 1150k| 22 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4244 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1009.89/1010.32 c 990s| 1160k| 21 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4295 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1014.49/1014.97 c 994s| 1170k| 21 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4335 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1019.08/1019.52 c 999s| 1180k| 18 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4388 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1023.78/1024.23 c 1004s| 1190k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4437 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1028.28/1028.71 c 1008s| 1200k| 18 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4483 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1032.88/1033.34 c 1012s| 1210k| 23 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4511 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1037.47/1037.96 c 1017s| 1220k| 23 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4541 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1042.17/1042.63 c 1021s| 1230k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4567 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1046.68/1047.10 c 1026s| 1240k| 21 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4586 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1051.27/1051.76 c 1030s| 1250k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4621 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1055.97/1056.46 c 1035s| 1260k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4654 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1060.67/1061.12 c 1039s| 1270k| 21 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4679 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1065.16/1065.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1065.16/1065.61 c 1044s| 1280k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4713 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1069.55/1070.09 c 1048s| 1290k| 17 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4748 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1074.26/1074.78 c 1053s| 1300k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4791 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1078.75/1079.25 c 1057s| 1310k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4832 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1083.35/1083.88 c 1061s| 1320k| 24 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4858 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1087.85/1088.32 c 1066s| 1330k| 23 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4903 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1092.35/1092.86 c 1070s| 1340k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4945 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1096.85/1097.35 c 1074s| 1350k| 18 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |4982 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1101.45/1101.97 c 1079s| 1360k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |5014 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1106.05/1106.59 c 1083s| 1370k| 19 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |5054 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1110.64/1111.11 c 1088s| 1380k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |5098 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1115.24/1115.79 c 1092s| 1390k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |5124 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1119.83/1120.33 c 1097s| 1400k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |5169 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1124.33/1124.87 c 1101s| 1410k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |5210 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1128.93/1129.45 c 1106s| 1420k| 19 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |5238 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1133.55/1134.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1133.55/1134.03 c 1110s| 1430k| 22 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |5266 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1137.94/1138.45 c 1114s| 1440k| 19 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |5293 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1142.33/1142.85 c 1119s| 1450k| 18 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |5322 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1146.73/1147.28 c 1123s| 1460k| 21 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |5345 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1151.33/1151.86 c 1127s| 1470k| 19 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |5370 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1155.82/1156.39 c 1132s| 1480k| 19 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |5396 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1160.33/1160.89 c 1136s| 1490k| 20 | 15097 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 313 |5426 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1164.83/1165.40 c 1141s| 1500k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5465 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1169.52/1170.09 c 1145s| 1510k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5506 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1174.22/1174.78 c 1150s| 1520k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5523 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1179.02/1179.55 c 1154s| 1530k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5560 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1183.81/1184.31 c 1159s| 1540k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5581 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1188.52/1189.04 c 1164s| 1550k| 18 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5600 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1193.11/1193.62 c 1168s| 1560k| 17 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5642 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1197.81/1198.32 c 1173s| 1570k| 17 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5664 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1202.51/1203.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1202.51/1203.05 c 1177s| 1580k| 18 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5696 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1207.31/1207.83 c 1182s| 1590k| 17 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5714 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1211.90/1212.41 c 1186s| 1600k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5733 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1216.51/1217.00 c 1191s| 1610k| 18 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5764 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1220.80/1221.37 c 1195s| 1620k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5789 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1225.40/1225.90 c 1199s| 1630k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5814 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1230.00/1230.58 c 1204s| 1640k| 18 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5847 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1234.70/1235.20 c 1208s| 1650k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5866 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1239.40/1239.90 c 1213s| 1660k| 17 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5892 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1243.99/1244.58 c 1218s| 1670k| 18 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5909 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1248.79/1249.33 c 1222s| 1680k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5929 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1253.29/1253.86 c 1227s| 1690k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |5997 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1257.80/1258.40 c 1231s| 1700k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6036 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1262.48/1263.01 c 1235s| 1710k| 22 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6068 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1267.07/1267.69 c 1240s| 1720k| 22 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6084 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1271.77/1272.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1271.77/1272.32 c 1244s| 1730k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6114 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1276.37/1276.94 c 1249s| 1740k| 22 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6135 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1281.07/1281.61 c 1254s| 1750k| 22 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6162 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1285.66/1286.21 c 1258s| 1760k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6187 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1290.36/1290.99 c 1263s| 1770k| 23 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6223 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1295.06/1295.60 c 1267s| 1780k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6256 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1299.56/1300.16 c 1272s| 1790k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6296 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1303.96/1304.58 c 1276s| 1800k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6332 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1308.65/1309.28 c 1280s| 1810k| 23 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6359 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1313.44/1314.04 c 1285s| 1820k| 23 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6398 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1318.15/1318.78 c 1290s| 1830k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6454 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1322.94/1323.50 c 1294s| 1840k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6493 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1327.54/1328.17 c 1299s| 1850k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6523 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1332.34/1332.98 c 1303s| 1860k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6555 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1336.94/1337.57 c 1308s| 1870k| 22 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6598 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1341.54/1342.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1341.54/1342.19 c 1312s| 1880k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6648 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1346.04/1346.69 c 1317s| 1890k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6700 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1350.83/1351.42 c 1321s| 1900k| 18 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6729 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1355.53/1356.11 c 1326s| 1910k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6759 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1360.23/1360.83 c 1330s| 1920k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6793 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1364.92/1365.58 c 1335s| 1930k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6827 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1369.62/1370.23 c 1340s| 1940k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6875 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1374.33/1374.94 c 1344s| 1950k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6902 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1378.92/1379.55 c 1349s| 1960k| 17 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6940 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1383.52/1384.12 c 1353s| 1970k| 18 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |6982 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1388.12/1388.78 c 1358s| 1980k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7017 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1392.72/1393.39 c 1362s| 1990k| 18 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7059 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1397.21/1397.90 c 1367s| 2000k| 18 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7087 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1402.02/1402.68 c 1371s| 2010k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7115 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1406.61/1407.29 c 1376s| 2020k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7160 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1411.01/1411.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1411.01/1411.69 c 1380s| 2030k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7198 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1415.51/1416.17 c 1384s| 2040k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7245 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1420.10/1420.73 c 1389s| 2050k| 18 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7269 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1424.60/1425.29 c 1393s| 2060k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7296 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1429.50/1430.11 c 1398s| 2070k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7316 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1434.10/1434.76 c 1402s| 2080k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7365 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1438.89/1439.53 c 1407s| 2090k| 17 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7395 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1443.60/1444.21 c 1412s| 2100k| 18 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7433 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1448.20/1448.87 c 1416s| 2110k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7462 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1452.79/1453.44 c 1420s| 2120k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7530 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1457.59/1458.25 c 1425s| 2130k| 22 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7572 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1462.19/1462.84 c 1430s| 2140k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7622 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1466.70/1467.30 c 1434s| 2150k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7669 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1471.20/1471.89 c 1438s| 2160k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7703 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1475.68/1476.37 c 1443s| 2170k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7746 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1480.28/1480.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1480.28/1480.90 c 1447s| 2180k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7788 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1484.88/1485.54 c 1452s| 2190k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7823 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1489.38/1490.04 c 1456s| 2200k| 17 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7856 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1494.08/1494.75 c 1461s| 2210k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7885 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1498.78/1499.49 c 1465s| 2220k| 22 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7910 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1503.47/1504.15 c 1470s| 2230k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7939 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1508.17/1508.80 c 1474s| 2240k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7959 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1512.67/1513.36 c 1479s| 2250k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |7980 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1517.38/1518.04 c 1483s| 2260k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8010 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1521.96/1522.66 c 1488s| 2270k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8085 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1526.76/1527.40 c 1492s| 2280k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8109 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1531.36/1532.09 c 1497s| 2290k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8140 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1536.26/1536.94 c 1502s| 2300k| 17 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8180 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1541.06/1541.79 c 1506s| 2310k| 18 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8226 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1545.76/1546.41 c 1511s| 2320k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8267 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1550.56/1551.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1550.56/1551.30 c 1516s| 2330k| 17 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8301 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1555.35/1556.09 c 1520s| 2340k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8330 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1560.16/1560.87 c 1525s| 2350k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8357 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1564.75/1565.40 c 1529s| 2360k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8383 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1569.35/1570.09 c 1534s| 2370k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8426 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1574.15/1574.81 c 1538s| 2380k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8461 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1578.85/1579.51 c 1543s| 2390k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8488 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1583.45/1584.15 c 1548s| 2400k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8510 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1588.14/1588.85 c 1552s| 2410k| 22 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8543 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1592.84/1593.53 c 1557s| 2420k| 23 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8570 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1597.54/1598.29 c 1561s| 2430k| 18 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8598 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1602.24/1602.98 c 1566s| 2440k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8629 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1606.94/1607.67 c 1570s| 2450k| 17 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8666 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1611.73/1612.40 c 1575s| 2460k| 18 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8699 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1616.43/1617.17 c 1580s| 2470k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8735 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1621.23/1621.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1621.23/1621.97 c 1584s| 2480k| 17 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8770 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1626.13/1626.90 c 1589s| 2490k| 20 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8800 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1630.92/1631.67 c 1594s| 2500k| 19 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8827 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1635.82/1636.59 c 1599s| 2510k| 21 | 15097 | 0.0 | 67M| 69 | - | 945 | 58k| 0 | 0 | 313 |8867 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1640.72/1641.46 c 1603s| 2520k| 20 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |8902 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1645.42/1646.18 c 1608s| 2530k| 20 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |8956 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1650.12/1650.87 c 1612s| 2540k| 19 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9016 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1654.83/1655.51 c 1617s| 2550k| 19 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9066 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1659.51/1660.28 c 1622s| 2560k| 20 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9103 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1664.31/1665.01 c 1626s| 2570k| 22 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9147 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1668.90/1669.67 c 1631s| 2580k| 20 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9189 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1673.70/1674.43 c 1635s| 2590k| 22 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9238 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1678.31/1679.03 c 1640s| 2600k| 23 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9273 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1683.10/1683.82 c 1644s| 2610k| 20 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9321 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1687.81/1688.58 c 1649s| 2620k| 21 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9356 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1692.60/1693.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1692.60/1693.35 c 1654s| 2630k| 22 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9399 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1697.30/1698.08 c 1658s| 2640k| 21 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9435 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1702.10/1702.90 c 1663s| 2650k| 22 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9497 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1706.89/1707.63 c 1668s| 2660k| 19 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9534 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1711.59/1712.30 c 1672s| 2670k| 23 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9593 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1716.19/1717.00 c 1677s| 2680k| 23 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9640 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1720.80/1721.58 c 1681s| 2690k| 22 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9685 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1725.59/1726.30 c 1686s| 2700k| 21 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9719 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1730.18/1730.97 c 1690s| 2710k| 22 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9762 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1734.99/1735.75 c 1695s| 2720k| 21 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9846 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1739.78/1740.52 c 1700s| 2730k| 21 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9890 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1744.38/1745.18 c 1704s| 2740k| 20 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9943 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1749.17/1749.98 c 1709s| 2750k| 23 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 |9983 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1753.88/1754.65 c 1713s| 2760k| 22 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1758.68/1759.41 c 1718s| 2770k| 21 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1763.28/1764.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1763.28/1764.07 c 1723s| 2780k| 20 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1767.98/1768.75 c 1727s| 2790k| 23 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1772.57/1773.32 c 1732s| 2800k| 20 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1777.27/1778.06 c 1736s| 2810k| 22 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1782.07/1782.86 c 1741s| 2820k| 19 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1786.57/1787.37 c 1745s| 2830k| 19 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1791.17/1791.93 c 1750s| 2840k| 19 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1795.96/1796.71 c 1754s| 2850k| 20 | 15097 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 313 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1800.07/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.80 c
1800.07/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.80 c Solving Time (sec) : 1758.31
1800.07/1800.80 c Solving Nodes : 2858420
1800.07/1800.80 c Primal Bound : -3.30000000000000e+01 (19 solutions)
1800.07/1800.80 c Dual Bound : -4.49999999999418e+01
1800.07/1800.80 c Gap : 26.67 %
1800.07/1800.84 s SATISFIABLE
1800.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/1800.84 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332
1800.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/1800.84 v -x942 -x943 -x944 x945
1800.07/1800.84 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.84 c Solving Time : 1758.31
1800.07/1800.84 c Original Problem :
1800.07/1800.84 c Problem name : HOME/instance-2665646-1276501196.opb
1800.07/1800.84 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.84 c Constraints : 58579 initial, 58579 maximal
1800.07/1800.84 c Presolved Problem :
1800.07/1800.84 c Problem name : t_HOME/instance-2665646-1276501196.opb
1800.07/1800.84 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.84 c Constraints : 58579 initial, 58595 maximal
1800.07/1800.84 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.84 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.84 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.84 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.84 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.84 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.84 c probing : 1.29 0 0 0 0 0 0 0 0
1800.07/1800.84 c logicor : 0.19 0 0 0 0 0 0 0 0
1800.07/1800.84 c root node : - 0 - - 0 - - - -
1800.07/1800.84 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.84 c integral : 0 0 0 1 0 0 0 0 0 2
1800.07/1800.84 c logicor : 58579+ 33 2914297 0 0 158897 5651644 0 0 0
1800.07/1800.84 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.84 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.84 c integral : 257.38 0.00 0.00 257.38 0.00
1800.07/1800.84 c logicor : 397.35 0.30 397.05 0.00 0.00
1800.07/1800.84 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.84 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.84 c vbounds : 2.57 2 0 0
1800.07/1800.84 c rootredcost : 2.45 0 0 0
1800.07/1800.84 c pseudoobj : 398.41 4562714 1131694 1384047
1800.07/1800.84 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.84 c propagation : 174.73 158897 10433 10433 42.5 0 0.0 -
1800.07/1800.84 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.84 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.84 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.84 c pseudo solution : 199.32 140459 0 0 0.0 0 0.0 -
1800.07/1800.84 c applied globally : - - - 10433 42.5 - - -
1800.07/1800.84 c applied locally : - - - 0 0.0 - - -
1800.07/1800.84 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.84 c cut pool : 0.00 32 - - 92 - (maximal pool size: 766)
1800.07/1800.84 c redcost : 0.00 33 0 0 0 0
1800.07/1800.84 c impliedbounds : 0.06 33 0 0 0 0
1800.07/1800.84 c intobj : 0.00 0 0 0 0 0
1800.07/1800.84 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.84 c gomory : 47.11 33 0 0 15947 0
1800.07/1800.84 c strongcg : 3.60 20 0 0 10000 0
1800.07/1800.84 c cmir : 13.76 10 0 0 0 0
1800.07/1800.84 c flowcover : 14.49 10 0 0 0 0
1800.07/1800.84 c clique : 1.76 33 0 0 291 0
1800.07/1800.84 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.84 c mcf : 0.10 1 0 0 0 0
1800.07/1800.84 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.84 c Pricers : Time Calls Vars
1800.07/1800.84 c problem variables: 0.00 0 0
1800.07/1800.84 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.84 c relpscost : 257.38 1 0 0 0 0 2
1800.07/1800.84 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.84 c inference : 13.83 1434243 0 0 0 0 2868486
1800.07/1800.84 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.84 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.84 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.84 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.84 c random : 0.00 0 0 0 0 0 0
1800.07/1800.84 c Primal Heuristics : Time Calls Found
1800.07/1800.84 c LP solutions : 0.00 - 0
1800.07/1800.84 c pseudo solutions : 0.00 - 0
1800.07/1800.84 c crossover : 0.00 0 0
1800.07/1800.84 c oneopt : 2.07 2 1
1800.07/1800.84 c trivial : 0.04 2 3
1800.07/1800.84 c simplerounding : 0.07 34 11
1800.07/1800.84 c zirounding : 0.02 1 1
1800.07/1800.84 c rounding : 1.15 34 1
1800.07/1800.84 c shifting : 1.54 34 1
1800.07/1800.84 c intshifting : 0.00 0 0
1800.07/1800.84 c twoopt : 0.00 0 0
1800.07/1800.84 c fixandinfer : 0.00 0 0
1800.07/1800.84 c feaspump : 0.00 0 0
1800.07/1800.84 c coefdiving : 0.00 0 0
1800.07/1800.84 c pscostdiving : 0.00 0 0
1800.07/1800.84 c fracdiving : 0.00 0 0
1800.07/1800.84 c veclendiving : 0.00 0 0
1800.07/1800.84 c intdiving : 0.00 0 0
1800.07/1800.84 c actconsdiving : 0.00 0 0
1800.07/1800.84 c objpscostdiving : 0.00 0 0
1800.07/1800.84 c rootsoldiving : 0.00 0 0
1800.07/1800.84 c linesearchdiving : 0.00 0 0
1800.07/1800.84 c guideddiving : 0.00 0 0
1800.07/1800.84 c octane : 0.00 0 0
1800.07/1800.84 c rens : 2.07 1 1
1800.07/1800.84 c rins : 0.00 0 0
1800.07/1800.84 c localbranching : 0.00 0 0
1800.07/1800.84 c mutation : 0.00 0 0
1800.07/1800.84 c dins : 0.00 0 0
1800.07/1800.84 c undercover : 0.00 0 0
1800.07/1800.84 c nlp : 1.79 0 0
1800.07/1800.84 c trysol : 1.46 0 0
1800.07/1800.84 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.84 c primal LP : 0.26 0 0 0.00 0.00
1800.07/1800.84 c dual LP : 105.76 34 15097 444.03 142.75
1800.07/1800.84 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.84 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.84 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.84 c strong branching : 257.38 33 29064 880.73 112.92
1800.07/1800.84 c (at root node) : - 33 29064 880.73 -
1800.07/1800.84 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.84 c B&B Tree :
1800.07/1800.84 c number of runs : 1
1800.07/1800.84 c nodes : 2858420
1800.07/1800.84 c nodes (total) : 2858420
1800.07/1800.84 c nodes left : 22
1800.07/1800.84 c max depth : 71
1800.07/1800.84 c max depth (total): 71
1800.07/1800.84 c backtracks : 485633 (17.0%)
1800.07/1800.84 c delayed cutoffs : 7588
1800.07/1800.84 c repropagations : 8504 (30599 domain reductions, 6874 cutoffs)
1800.07/1800.84 c avg switch length: 2.00
1800.07/1800.84 c switching time : 151.91
1800.07/1800.84 c Solution :
1800.07/1800.84 c Solutions found : 19 (4 improvements)
1800.07/1800.84 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.09 seconds, depth 0, found by <trivial>)
1800.07/1800.84 c Primal Bound : -3.30000000000000e+01 (in run 1, after 1 nodes, 8.48 seconds, depth 0, found by <oneopt>)
1800.07/1800.84 c Dual Bound : -4.49999999999418e+01
1800.07/1800.84 c Gap : 26.67 %
1800.07/1800.84 c Root Dual Bound : -4.49999999999999e+01
1800.07/1800.84 c Root Iterations : 15097
1800.26/1801.07 c Time complete: 1800.33.