0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute 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-4452455-1721442908.opb>
0.00/0.01 c original problem has 900 variables (900 bin, 0 int, 0 impl, 0 cont) and 6271 constraints
0.00/0.01 c problem read in 0.01
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.02 c presolving:
0.00/0.03 c (0.0s) running MILP presolver
0.00/0.05 c (0.0s) MILP presolver (3 rounds): 0 aggregations, 7 fixings, 0 bound changes
0.00/0.05 c (round 1, medium) 7 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 6144 clqs
0.00/0.05 c (round 2, fast) 7 del vars, 106 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 6144 clqs
0.00/0.06 c (round 3, exhaustive) 7 del vars, 106 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6165 upgd conss, 0 impls, 6144 clqs
0.09/0.20 c (round 4, exhaustive) 32 del vars, 106 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6165 upgd conss, 0 impls, 14925 clqs
0.09/0.20 c (round 5, fast) 32 del vars, 446 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6165 upgd conss, 0 impls, 14925 clqs
0.30/0.35 c (round 6, exhaustive) 58 del vars, 446 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 5 chg coeffs, 6165 upgd conss, 0 impls, 14789 clqs
0.30/0.35 c (round 7, fast) 58 del vars, 797 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 5 chg coeffs, 6165 upgd conss, 0 impls, 14789 clqs
0.60/0.68 c (round 8, exhaustive) 83 del vars, 797 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 8 chg coeffs, 6165 upgd conss, 0 impls, 14991 clqs
0.60/0.68 c (round 9, fast) 83 del vars, 1107 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 8 chg coeffs, 6165 upgd conss, 0 impls, 14991 clqs
0.60/0.69 c (0.7s) running MILP presolver
0.69/0.70 c (0.7s) MILP presolver (3 rounds): 0 aggregations, 4 fixings, 0 bound changes
0.69/0.74 c (round 10, medium) 87 del vars, 1147 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 8 chg coeffs, 6165 upgd conss, 0 impls, 14779 clqs
0.79/0.85 c (round 11, exhaustive) 116 del vars, 1147 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 6165 upgd conss, 0 impls, 14960 clqs
0.79/0.85 c (round 12, fast) 120 del vars, 1481 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 6165 upgd conss, 0 impls, 14960 clqs
0.89/0.98 c (round 13, exhaustive) 145 del vars, 1481 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 11 chg coeffs, 6165 upgd conss, 0 impls, 14633 clqs
0.89/0.98 c (round 14, fast) 145 del vars, 1810 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 11 chg coeffs, 6165 upgd conss, 0 impls, 14633 clqs
0.99/1.04 c (1.0s) probing cycle finished: starting next cycle
0.99/1.07 c (1.1s) probing: 51/756 (6.7%) - 129 fixings, 0 aggregations, 64373 implications, 0 bound changes
0.99/1.07 c (1.1s) probing aborted: 50/50 successive totally useless probings
0.99/1.07 c (round 15, exhaustive) 148 del vars, 1810 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 13 chg coeffs, 6165 upgd conss, 0 impls, 14253 clqs
0.99/1.07 c (round 16, fast) 148 del vars, 1864 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 13 chg coeffs, 6165 upgd conss, 0 impls, 14253 clqs
1.09/1.11 c (1.1s) probing: 56/756 (7.4%) - 129 fixings, 0 aggregations, 64373 implications, 0 bound changes
1.09/1.11 c (1.1s) probing aborted: 50/50 successive totally useless probings
1.09/1.13 c (1.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.09/1.14 c (1.1s) no symmetry present (symcode time: 0.00)
1.09/1.14 c presolving (17 rounds: 17 fast, 10 medium, 8 exhaustive):
1.09/1.14 c 148 deleted vars, 1864 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 14 changed coefficients
1.09/1.14 c 0 implications, 14253 cliques
1.09/1.14 c presolved problem has 756 variables (756 bin, 0 int, 0 impl, 0 cont) and 4407 constraints
1.09/1.14 c 21 constraints of type <knapsack>
1.09/1.14 c 4386 constraints of type <setppc>
1.09/1.14 c transformed objective value is always integral (scale: 1)
1.09/1.14 c Presolving Time: 1.12
1.09/1.14 c - non default parameters ----------------------------------------------------------------------
1.09/1.14 c # SCIP version 10.0.0
1.09/1.14 c
1.09/1.14 c # maximal time in seconds to run
1.09/1.14 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.09/1.14 c limits/time = 3596.998052
1.09/1.14 c
1.09/1.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.09/1.14 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.09/1.14 c limits/memory = 27900
1.09/1.14 c
1.09/1.14 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
1.09/1.14 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
1.09/1.14 c limits/solutions = 1
1.09/1.14 c
1.09/1.14 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
1.09/1.14 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
1.09/1.14 c misc/usesymmetry = 3
1.09/1.14 c
1.09/1.14 c # belongs reading time to solving time?
1.09/1.14 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.09/1.14 c timing/reading = TRUE
1.09/1.14 c
1.09/1.14 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
1.09/1.14 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
1.09/1.14 c propagating/symmetry/detectdoublelex = FALSE
1.09/1.14 c
1.09/1.14 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
1.09/1.14 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
1.09/1.14 c propagating/symmetry/detectsubgroups = FALSE
1.09/1.14 c
1.09/1.14 c # Type of symmetries that shall be computed?
1.09/1.14 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
1.09/1.14 c propagating/symmetry/symtype = 1
1.09/1.14 c
1.09/1.14 c # Should components consisting of a single full reflection be handled?
1.09/1.14 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
1.09/1.14 c propagating/symmetry/usesimplesgncomp = FALSE
1.09/1.14 c
1.09/1.14 c -----------------------------------------------------------------------------------------------
1.09/1.14 c start solving
1.09/1.14 c
1.28/1.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.28/1.37 c 1.4s| 1 | 0 | 854 | - | 34M | 0 | 756 |4490 |4407 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf | unknown
2.38/2.40 c 2.4s| 1 | 0 | 4549 | - | 35M | 0 | 756 |4564 |4409 | 2 | 1 | 87 | 0 | 0.000000e+00 | -- | Inf | unknown
3.09/3.17 c 3.2s| 1 | 0 | 4622 | - | 37M | 0 | 756 |4571 |4411 | 4 | 2 | 94 | 0 | 0.000000e+00 | -- | Inf | unknown
3.78/3.81 c 3.8s| 1 | 0 | 4642 | - | 37M | 0 | 756 |4571 |4414 | 7 | 3 | 94 | 0 | 0.000000e+00 | -- | Inf | unknown
4.38/4.41 c 4.4s| 1 | 0 | 4691 | - | 38M | 0 | 756 |4574 |4416 | 9 | 4 | 97 | 0 | 0.000000e+00 | -- | Inf | unknown
4.98/5.06 c 5.1s| 1 | 0 | 4707 | - | 38M | 0 | 756 |4574 |4418 | 11 | 5 | 97 | 0 | 0.000000e+00 | -- | Inf | unknown
5.48/5.59 c 5.6s| 1 | 0 | 4719 | - | 39M | 0 | 756 |4578 |4419 | 12 | 6 | 101 | 0 | 0.000000e+00 | -- | Inf | unknown
6.08/6.17 c 6.2s| 1 | 0 | 4741 | - | 40M | 0 | 756 |4583 |4422 | 15 | 7 | 106 | 0 | 0.000000e+00 | -- | Inf | unknown
6.87/6.91 c 6.9s| 1 | 0 | 4784 | - | 40M | 0 | 756 |4587 |4423 | 16 | 8 | 110 | 0 | 0.000000e+00 | -- | Inf | unknown
7.47/7.57 c 7.6s| 1 | 0 | 4795 | - | 41M | 0 | 756 |4597 |4424 | 17 | 9 | 120 | 0 | 0.000000e+00 | -- | Inf | unknown
8.08/8.17 c 8.2s| 1 | 0 | 4822 | - | 42M | 0 | 756 |4602 |4425 | 18 | 10 | 125 | 0 | 0.000000e+00 | -- | Inf | unknown
8.17/8.24 c 8.2s| 1 | 0 | 4844 | - | 42M | 0 | 756 |4606 |4427 | 20 | 11 | 129 | 0 | 0.000000e+00 | -- | Inf | unknown
8.27/8.32 c 8.3s| 1 | 0 | 4851 | - | 43M | 0 | 756 |4611 |4428 | 21 | 12 | 134 | 0 | 0.000000e+00 | -- | Inf | unknown
10.46/10.59 c 10.6s| 1 | 2 | 5531 | - | 43M | 0 | 756 |4615 |4428 | 21 | 12 | 138 | 11 | 0.000000e+00 | -- | Inf | unknown
15.25/15.30 c 15.3s| 100 | 42 | 48842 | 444.4 | 47M | 40 | 756 |4660 |4426 | 56 | 1 | 188 | 11 | 0.000000e+00 | -- | Inf | 9.09%
17.74/17.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.74/17.87 c 17.9s| 200 | 48 | 83324 | 394.3 | 48M | 40 | 756 |4676 |4433 | 87 | 1 | 204 | 11 | 0.000000e+00 | -- | Inf | 9.09%
19.44/19.52 c 19.5s| 300 | 56 |108930 | 348.1 | 49M | 40 | 756 |4689 |4419 | 107 | 1 | 217 | 11 | 0.000000e+00 | -- | Inf | 9.87%
21.44/21.55 c 21.6s| 400 | 62 |138235 | 334.3 | 49M | 40 | 756 |4711 |4421 | 129 | 0 | 239 | 11 | 0.000000e+00 | -- | Inf | 9.87%
22.73/22.85 c 22.8s| 500 | 60 |161703 | 314.3 | 49M | 40 | 756 |4733 |4425 | 133 | 0 | 261 | 11 | 0.000000e+00 | -- | Inf | 9.87%
23.94/24.10 c 24.1s| 600 | 90 |175767 | 285.3 | 59M | 50 | 756 |4740 |4434 | 212 | 0 | 268 | 11 | 0.000000e+00 | -- | Inf | 9.87%
24.83/24.95 c 24.9s| 700 | 93 |190901 | 266.2 | 61M | 50 | 756 |4746 |4426 | 250 | 1 | 274 | 11 | 0.000000e+00 | -- | Inf | 9.87%
26.22/26.30 c 26.3s| 800 | 112 |214128 | 261.9 | 61M | 50 | 756 |4762 |4429 | 298 | 0 | 290 | 11 | 0.000000e+00 | -- | Inf | 9.87%
27.12/27.20 c 27.2s| 900 | 110 |231392 | 252.0 | 62M | 50 | 756 |4779 | 0 | 340 | 0 | 307 | 11 | 0.000000e+00 | -- | Inf | 9.87%
27.82/27.98 c 28.0s| 1000 | 119 |245965 | 241.4 | 62M | 50 | 756 |4791 |4428 | 385 | 1 | 319 | 11 | 0.000000e+00 | -- | Inf | 9.87%
29.02/29.15 c 29.2s| 1100 | 141 |265103 | 236.8 | 62M | 50 | 756 |4808 |4427 | 419 | 2 | 336 | 11 | 0.000000e+00 | -- | Inf | 9.87%
30.81/30.97 c 31.0s| 1200 | 131 |297746 | 244.3 | 62M | 50 | 756 |4814 |4423 | 454 | 1 | 342 | 11 | 0.000000e+00 | -- | Inf | 9.87%
31.91/32.02 c 32.0s| 1300 | 123 |317553 | 240.7 | 62M | 50 | 756 |4838 |4428 | 480 | 1 | 366 | 11 | 0.000000e+00 | -- | Inf | 9.87%
33.10/33.24 c 33.2s| 1400 | 122 |339486 | 239.2 | 62M | 50 | 756 |4870 |4424 | 507 | 0 | 398 | 11 | 0.000000e+00 | -- | Inf | 9.87%
34.30/34.49 c 34.5s| 1500 | 109 |363191 | 239.1 | 62M | 50 | 756 |4884 |4431 | 533 | 0 | 412 | 11 | 0.000000e+00 | -- | Inf | 9.87%
36.09/36.26 c 36.3s| 1600 | 104 |391577 | 241.9 | 62M | 50 | 756 |4895 |4435 | 586 | 0 | 423 | 11 | 0.000000e+00 | -- | Inf | 9.87%
37.79/37.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
37.79/37.98 c 38.0s| 1700 | 115 |423273 | 246.3 | 62M | 50 | 756 |4923 |4429 | 623 | 0 | 451 | 11 | 0.000000e+00 | -- | Inf | 9.87%
38.89/39.00 c 39.0s| 1800 | 113 |443162 | 243.6 | 62M | 50 | 756 |4950 |4433 | 647 | 0 | 478 | 11 | 0.000000e+00 | -- | Inf | 9.87%
39.89/40.03 c 40.0s| 1900 | 113 |460740 | 240.1 | 62M | 50 | 756 |4970 |4424 | 677 | 1 | 498 | 11 | 0.000000e+00 | -- | Inf | 9.87%
41.08/41.29 c 41.3s| 2000 | 117 |484701 | 240.0 | 62M | 50 | 756 |4986 |4431 | 695 | 1 | 514 | 11 | 0.000000e+00 | -- | Inf | 9.87%
42.58/42.76 c 42.8s| 2100 | 99 |506753 | 239.1 | 62M | 50 | 756 |5001 |4424 | 723 | 1 | 529 | 11 | 0.000000e+00 | -- | Inf | 9.87%
43.37/43.57 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
43.37/43.57 c (run 1, node 2155) performing user restart
43.37/43.57 c
43.37/43.57 c (restart) converted 13 cuts from the global cut pool into linear constraints
43.37/43.57 c
43.37/43.58 c presolving:
43.37/43.58 c (round 1, fast) 2 del vars, 52 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 12 chg coeffs, 0 upgd conss, 0 impls, 14080 clqs
43.47/43.63 c (round 2, exhaustive) 2 del vars, 57 del conss, 0 add conss, 0 chg bounds, 5 chg sides, 12 chg coeffs, 0 upgd conss, 0 impls, 14080 clqs
43.47/43.64 c (round 3, exhaustive) 2 del vars, 57 del conss, 0 add conss, 0 chg bounds, 5 chg sides, 12 chg coeffs, 76 upgd conss, 0 impls, 14080 clqs
43.47/43.65 c (round 4, exhaustive) 2 del vars, 193 del conss, 0 add conss, 0 chg bounds, 5 chg sides, 87 chg coeffs, 76 upgd conss, 0 impls, 14080 clqs
43.47/43.67 c (round 5, exhaustive) 2 del vars, 197 del conss, 0 add conss, 0 chg bounds, 5 chg sides, 90 chg coeffs, 76 upgd conss, 0 impls, 14080 clqs
43.47/43.68 c (round 6, exhaustive) 7 del vars, 197 del conss, 0 add conss, 0 chg bounds, 5 chg sides, 932 chg coeffs, 76 upgd conss, 0 impls, 12606 clqs
43.47/43.68 c (round 7, fast) 22 del vars, 470 del conss, 0 add conss, 0 chg bounds, 5 chg sides, 963 chg coeffs, 76 upgd conss, 0 impls, 12606 clqs
43.57/43.73 c (round 8, exhaustive) 22 del vars, 470 del conss, 0 add conss, 0 chg bounds, 5 chg sides, 1236 chg coeffs, 76 upgd conss, 0 impls, 12606 clqs
43.57/43.75 c presolving (9 rounds: 9 fast, 7 medium, 7 exhaustive):
43.57/43.75 c 22 deleted vars, 470 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 5 changed sides, 1236 changed coefficients
43.57/43.75 c 0 implications, 12606 cliques
43.57/43.75 c presolved problem has 739 variables (739 bin, 0 int, 0 impl, 0 cont) and 4563 constraints
43.57/43.75 c 26 constraints of type <knapsack>
43.57/43.75 c 4092 constraints of type <setppc>
43.57/43.75 c 17 constraints of type <linear>
43.57/43.75 c 428 constraints of type <logicor>
43.57/43.75 c transformed objective value is always integral (scale: 1)
43.57/43.75 c Presolving Time: 1.30
43.57/43.75 c
44.07/44.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
44.07/44.29 c 44.3s| 1 | 0 |525392 | - | 64M | 0 | 739 |4568 |4112 | 0 | 0 | 553 | 11 | 0.000000e+00 | -- | Inf | unknown
45.46/45.67 c 45.7s| 1 | 0 |529596 | - | 65M | 0 | 739 |4627 |4116 | 4 | 1 | 561 | 11 | 0.000000e+00 | -- | Inf | unknown
46.26/46.46 c 46.5s| 1 | 0 |529718 | - | 65M | 0 | 739 |4633 |4120 | 8 | 2 | 567 | 11 | 0.000000e+00 | -- | Inf | unknown
48.16/48.34 c 48.3s| 1 | 0 |539754 | - | 65M | 0 | 739 |4634 |4123 | 11 | 3 | 568 | 11 | 0.000000e+00 | -- | Inf | unknown
48.86/49.07 c 49.1s| 1 | 0 |539952 | - | 66M | 0 | 739 |4640 |4126 | 14 | 4 | 574 | 11 | 0.000000e+00 | -- | Inf | unknown
50.86/51.00 c 51.0s| 1 | 0 |549438 | - | 66M | 0 | 739 |4641 |4130 | 18 | 5 | 575 | 11 | 0.000000e+00 | -- | Inf | unknown
51.55/51.72 c 51.7s| 1 | 0 |549633 | - | 67M | 0 | 739 |4641 |4132 | 20 | 6 | 575 | 11 | 0.000000e+00 | -- | Inf | unknown
52.35/52.50 c 52.5s| 1 | 0 |549850 | - | 67M | 0 | 739 |4646 |4134 | 22 | 7 | 580 | 11 | 0.000000e+00 | -- | Inf | unknown
53.15/53.38 c 53.4s| 1 | 0 |549965 | - | 67M | 0 | 739 |4646 |4136 | 24 | 8 | 580 | 11 | 0.000000e+00 | -- | Inf | unknown
54.04/54.24 c 54.2s| 1 | 0 |550030 | - | 68M | 0 | 739 |4648 |4137 | 25 | 9 | 582 | 11 | 0.000000e+00 | -- | Inf | unknown
55.04/55.22 c 55.2s| 1 | 0 |550032 | - | 68M | 0 | 739 |4648 |4139 | 27 | 10 | 582 | 11 | 0.000000e+00 | -- | Inf | unknown
57.54/57.79 c 57.8s| 1 | 2 |556412 | - | 69M | 0 | 739 |4654 |4139 | 27 | 11 | 588 | 23 | 0.000000e+00 | -- | Inf | unknown
63.13/63.30 c 63.3s| 100 | 31 |609119 | 255.2 | 70M | 25 | 739 |4687 |4110 | 35 | 0 | 621 | 23 | 0.000000e+00 | -- | Inf | unknown
66.12/66.32 c 66.3s| 200 | 16 |646194 | 260.1 | 70M | 25 | 739 |4733 |4110 | 35 | 0 | 667 | 23 | 0.000000e+00 | -- | Inf | 4.37%
69.82/70.09 c 70.1s| 300 | 33 |683594 | 264.8 | 71M | 31 | 739 |4757 |4117 | 59 | 1 | 693 | 23 | 0.000000e+00 | -- | Inf | 18.78%
71.01/71.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
71.01/71.20 c 71.2s| 400 | 23 |688534 | 256.3 | 72M | 31 | 739 |4766 |4113 | 81 | 1 | 703 | 23 | 0.000000e+00 | -- | Inf | 19.49%
74.90/75.12 c 75.1s| 500 | 15 |697165 | 249.9 | 78M | 31 | 739 |4796 |4115 | 143 | 0 | 735 | 23 | 0.000000e+00 | -- | Inf | 22.44%
80.28/80.57 c 80.6s| 600 | 18 |705449 | 243.9 | 88M | 31 | 739 |4859 |4113 | 205 | 0 | 799 | 23 | 0.000000e+00 | -- | Inf | 30.96%
80.89/81.18 c 81.2s| 700 | 14 |711849 | 237.6 | 88M | 31 | 739 |4915 | 0 | 205 | 0 | 858 | 23 | 0.000000e+00 | -- | Inf | 33.59%
85.68/85.91 c 85.9s| 800 | 14 |723024 | 233.3 | 93M | 31 | 739 |4957 |4116 | 301 | 0 | 901 | 23 | 0.000000e+00 | -- | Inf | 42.09%
87.27/87.58 c 87.6s| 900 | 16 |730335 | 228.1 | 95M | 31 | 739 |4990 | 0 | 331 | 0 | 936 | 23 | 0.000000e+00 | -- | Inf | 43.37%
88.17/88.41 c 88.4s| 1000 | 14 |737749 | 223.2 | 95M | 31 | 739 |5035 |4118 | 357 | 1 | 983 | 23 | 0.000000e+00 | -- | Inf | 43.72%
88.97/89.24 c 89.2s| 1100 | 13 |745537 | 218.7 | 95M | 31 | 739 |5079 |4121 | 380 | 1 |1027 | 23 | 0.000000e+00 | -- | Inf | 43.74%
91.26/91.54 c 91.5s| 1200 | 8 |756427 | 215.4 | 98M | 31 | 739 |5119 |4111 | 432 | 1 |1068 | 23 | 0.000000e+00 | -- | Inf | 51.17%
92.86/93.16 c 93.2s| 1300 | 13 |764270 | 211.5 | 100M | 31 | 739 |5163 |4116 | 462 | 1 |1112 | 23 | 0.000000e+00 | -- | Inf | 52.72%
93.66/94.00 c 94.0s| 1400 | 12 |770581 | 207.3 | 100M | 31 | 739 |5175 |4117 | 470 | 1 |1161 | 23 | 0.000000e+00 | -- | Inf | 53.99%
94.65/94.99 c 95.0s| 1500 | 7 |777619 | 203.6 | 100M | 31 | 739 |5228 |4120 | 480 | 0 |1214 | 23 | 0.000000e+00 | -- | Inf | 54.09%
96.15/96.41 c 96.4s| 1600 | 14 |785226 | 200.2 | 101M | 31 | 739 |5278 |4119 | 500 | 1 |1264 | 23 | 0.000000e+00 | -- | Inf | 54.22%
96.95/97.20 c 97.2s| 1700 | 11 |792890 | 197.0 | 102M | 31 | 739 |4972 |4116 | 509 | 0 |1319 | 23 | 0.000000e+00 | -- | Inf | 54.70%
98.94/99.22 c 99.2s| 1800 | 11 |802139 | 194.3 | 102M | 31 | 739 |5058 |4115 | 538 | 0 |1408 | 23 | 0.000000e+00 | -- | Inf | 55.33%
100.34/100.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
100.34/100.69 c 101s| 1900 | 11 |810070 | 191.5 | 102M | 31 | 739 |5134 |4120 | 575 | 1 |1485 | 23 | 0.000000e+00 | -- | Inf | 56.04%
103.33/103.61 c 104s| 2000 | 14 |818125 | 188.8 | 102M | 31 | 739 |5175 |4115 | 660 | 0 |1531 | 23 | 0.000000e+00 | -- | Inf | 59.20%
103.83/104.19 c 104s| 2100 | 13 |823839 | 185.7 | 102M | 31 | 739 |5210 |4117 | 668 | 1 |1568 | 23 | 0.000000e+00 | -- | Inf | 59.22%
105.03/105.36 c 105s| 2200 | 19 |830585 | 183.0 | 102M | 31 | 739 |5252 |4115 | 688 | 1 |1614 | 23 | 0.000000e+00 | -- | Inf | 59.37%
105.73/106.01 c 106s| 2300 | 32 |834849 | 179.8 | 102M | 31 | 739 |5293 |4119 | 699 | 1 |1656 | 23 | 0.000000e+00 | -- | Inf | 59.37%
106.12/106.49 c 106s| 2400 | 32 |838972 | 176.8 | 102M | 31 | 739 |5335 |4123 | 722 | 1 |1699 | 23 | 0.000000e+00 | -- | Inf | 59.38%
106.52/106.89 c 107s| 2500 | 29 |843912 | 174.1 | 102M | 31 | 739 |5376 |4116 | 749 | 1 |1742 | 23 | 0.000000e+00 | -- | Inf | 59.38%
107.02/107.33 c 107s| 2600 | 30 |849793 | 171.6 | 103M | 31 | 739 |5429 |4119 | 793 | 0 |1796 | 23 | 0.000000e+00 | -- | Inf | 59.40%
107.52/107.80 c 108s| 2700 | 24 |856735 | 169.5 | 103M | 31 | 739 |5475 |4123 | 816 | 1 |1849 | 23 | 0.000000e+00 | -- | Inf | 59.41%
107.92/108.25 c 108s| 2800 | 26 |862682 | 167.3 | 103M | 31 | 739 |5519 |4116 | 865 | 0 |1900 | 23 | 0.000000e+00 | -- | Inf | 59.42%
108.22/108.56 c 109s| 2900 | 27 |866643 | 164.8 | 103M | 31 | 739 |5578 |4119 | 899 | 0 |1961 | 23 | 0.000000e+00 | -- | Inf | 59.43%
108.62/109.00 c 109s| 3000 | 20 |872568 | 162.7 | 103M | 31 | 739 |5659 |4118 | 934 | 0 |2043 | 23 | 0.000000e+00 | -- | Inf | 59.44%
109.11/109.43 c 109s| 3100 | 20 |878387 | 160.7 | 103M | 31 | 739 |5718 |4123 | 973 | 0 |2108 | 23 | 0.000000e+00 | -- | Inf | 59.45%
109.91/110.23 c 110s| 3200 | 27 |884246 | 158.8 | 103M | 31 | 739 |5764 |4116 |1028 | 1 |2158 | 23 | 0.000000e+00 | -- | Inf | 59.46%
111.41/111.79 c 112s| 3300 | 29 |909071 | 160.5 | 103M | 31 | 739 |5832 | 0 |1061 | 0 |2229 | 23 | 0.000000e+00 | -- | Inf | 59.46%
113.50/113.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
113.50/113.84 c 114s| 3400 | 29 |942074 | 163.5 | 103M | 31 | 739 |5878 |4117 |1101 | 0 |2280 | 23 | 0.000000e+00 | -- | Inf | 59.46%
115.80/116.16 c 116s| 3500 | 27 |981564 | 167.6 | 103M | 31 | 739 |5885 |4115 |1161 | 1 |2292 | 23 | 0.000000e+00 | -- | Inf | 59.46%
117.89/118.26 c 118s| 3600 | 25 | 1009k| 169.6 | 103M | 31 | 739 |5895 |4118 |1210 | 2 |2310 | 23 | 0.000000e+00 | -- | Inf | 59.47%
119.89/120.20 c 120s| 3700 | 41 | 1042k| 172.2 | 103M | 31 | 739 |5898 |4116 |1242 | 0 |2325 | 23 | 0.000000e+00 | -- | Inf | 59.48%
121.69/122.00 c 122s| 3800 | 41 | 1071k| 174.2 | 103M | 31 | 739 |5906 |4116 |1263 | 1 |2340 | 23 | 0.000000e+00 | -- | Inf | 59.49%
123.68/124.01 c 124s| 3900 | 39 | 1104k| 176.9 | 103M | 31 | 739 |5914 |4119 |1307 | 1 |2353 | 23 | 0.000000e+00 | -- | Inf | 59.50%
126.47/126.86 c 127s| 4000 | 39 | 1153k| 181.9 | 103M | 31 | 739 |5941 |4124 |1337 | 0 |2387 | 23 | 0.000000e+00 | -- | Inf | 59.51%
128.97/129.33 c 129s| 4100 | 34 | 1194k| 185.6 | 103M | 31 | 739 |5968 |4116 |1385 | 0 |2418 | 23 | 0.000000e+00 | -- | Inf | 59.51%
131.36/131.71 c 132s| 4200 | 30 | 1233k| 188.8 | 103M | 31 | 739 |5998 |4125 |1429 | 0 |2453 | 23 | 0.000000e+00 | -- | Inf | 59.52%
133.55/133.92 c 134s| 4300 | 40 | 1269k| 191.5 | 103M | 31 | 739 |6013 |4121 |1468 | 2 |2472 | 23 | 0.000000e+00 | -- | Inf | 59.53%
135.85/136.21 c 136s| 4400 | 40 | 1307k| 194.4 | 103M | 31 | 739 |6027 |4124 |1525 | 1 |2491 | 23 | 0.000000e+00 | -- | Inf | 59.53%
136.25/136.66 c 137s| 4500 | 36 | 1313k| 192.4 | 103M | 31 | 739 |6092 |4119 |1550 | 0 |2560 | 23 | 0.000000e+00 | -- | Inf | 59.54%
137.05/137.43 c 137s| 4600 | 40 | 1325k| 191.2 | 103M | 31 | 739 |6141 |4120 |1592 | 1 |2616 | 23 | 0.000000e+00 | -- | Inf | 59.56%
139.64/140.04 c 140s| 4700 | 38 | 1369k| 194.9 | 103M | 31 | 739 |6172 |4118 |1619 | 1 |2647 | 23 | 0.000000e+00 | -- | Inf | 59.56%
142.83/143.26 c 143s| 4800 | 30 | 1421k| 199.5 | 103M | 31 | 739 |6203 |4118 |1642 | 0 |2681 | 23 | 0.000000e+00 | -- | Inf | 59.57%
145.73/146.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
145.73/146.14 c 146s| 4900 | 26 | 1469k| 203.5 | 103M | 31 | 739 |6220 |4116 |1655 | 0 |2703 | 23 | 0.000000e+00 | -- | Inf | 59.60%
147.92/148.38 c 148s| 5000 | 24 | 1502k| 205.3 | 103M | 31 | 739 |6220 |4115 |1676 | 1 |2709 | 23 | 0.000000e+00 | -- | Inf | 59.65%
148.92/149.37 c 149s| 5100 | 35 | 1521k| 205.0 | 103M | 31 | 739 |6221 | 0 |1681 | 0 |2716 | 23 | 0.000000e+00 | -- | Inf | 59.66%
149.72/150.13 c 150s| 5200 | 33 | 1534k| 204.1 | 103M | 31 | 739 |6242 | 0 |1734 | 0 |2745 | 23 | 0.000000e+00 | -- | Inf | 59.67%
150.41/150.83 c 151s| 5300 | 25 | 1546k| 203.0 | 103M | 31 | 739 |6246 |4115 |1755 | 1 |2756 | 23 | 0.000000e+00 | -- | Inf | 59.68%
151.41/151.87 c 152s| 5400 | 24 | 1564k| 202.7 | 103M | 31 | 739 |6265 |4115 |1775 | 1 |2780 | 23 | 0.000000e+00 | -- | Inf | 59.71%
153.80/154.23 c 154s| 5500 | 14 | 1604k| 205.1 | 103M | 31 | 739 |6304 |4120 |1785 | 1 |2829 | 23 | 0.000000e+00 | -- | Inf | 59.74%
156.40/156.88 c 157s| 5600 | 9 | 1648k| 208.2 | 103M | 31 | 739 |6319 |4120 |1805 | 0 |2854 | 23 | 0.000000e+00 | -- | Inf | 59.76%
161.99/162.49 c 162s| 5700 | 31 | 1701k| 212.4 | 103M | 31 | 739 |6340 |4114 |1826 | 0 |2909 | 23 | 0.000000e+00 | -- | Inf | 59.89%
163.98/164.45 c 164s| 5800 | 17 | 1734k| 213.8 | 103M | 31 | 739 |6391 |4114 |1836 | 0 |2966 | 23 | 0.000000e+00 | -- | Inf | 59.89%
166.58/167.01 c 167s| 5900 | 21 | 1771k| 215.8 | 103M | 31 | 739 |6472 |4118 |1865 | 0 |3053 | 23 | 0.000000e+00 | -- | Inf | 59.90%
173.06/173.58 c 174s| 6000 | 24 | 1838k| 221.3 | 103M | 31 | 739 |6546 |4113 |1891 | 0 |3143 | 23 | 0.000000e+00 | -- | Inf | 59.94%
176.85/177.32 c 177s| 6100 | 18 | 1889k| 224.8 | 103M | 31 | 739 |6608 |4116 |1898 | 0 |3220 | 23 | 0.000000e+00 | -- | Inf | 59.98%
179.74/180.20 c 180s| 6200 | 20 | 1929k| 226.9 | 103M | 31 | 739 |6660 |4116 |1898 | 1 |3284 | 23 | 0.000000e+00 | -- | Inf | 60.01%
183.73/184.29 c 184s| 6300 | 18 | 1985k| 230.8 | 103M | 31 | 739 |6701 |4113 |1906 | 0 |3340 | 23 | 0.000000e+00 | -- | Inf | 60.05%
187.92/188.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
187.92/188.42 c 188s| 6400 | 14 | 2039k| 234.5 | 103M | 31 | 739 |6749 |4113 |1908 | 0 |3405 | 23 | 0.000000e+00 | -- | Inf | 60.09%
191.81/192.31 c 192s| 6500 | 20 | 2083k| 236.8 | 104M | 31 | 739 |6782 |4118 |1924 | 1 |3448 | 23 | 0.000000e+00 | -- | Inf | 60.12%
194.31/194.82 c 195s| 6600 | 20 | 2120k| 238.4 | 104M | 31 | 739 |6830 |4120 |1933 | 0 |3501 | 23 | 0.000000e+00 | -- | Inf | 60.16%
199.89/200.40 c 200s| 6700 | 16 | 2175k| 241.9 | 104M | 31 | 739 |6669 |4118 |1957 | 1 |3565 | 23 | 0.000000e+00 | -- | Inf | 60.33%
203.09/203.62 c 204s| 6800 | 10 | 2220k| 244.3 | 104M | 31 | 739 |6707 |4120 |1965 | 1 |3618 | 23 | 0.000000e+00 | -- | Inf | 60.40%
207.98/208.55 c 209s| 6900 | 15 | 2270k| 247.0 | 104M | 31 | 739 |6749 |4116 |1994 | 1 |3667 | 23 | 0.000000e+00 | -- | Inf | 60.44%
209.77/210.32 c 210s| 7000 | 16 | 2297k| 247.3 | 104M | 31 | 739 |6798 |4117 |2021 | 0 |3727 | 23 | 0.000000e+00 | -- | Inf | 60.45%
213.36/213.96 c 214s| 7100 | 11 | 2346k| 250.0 | 104M | 31 | 739 |6836 |4116 |2050 | 1 |3783 | 23 | 0.000000e+00 | -- | Inf | 60.48%
219.55/220.19 c 220s| 7200 | 18 | 2404k| 253.4 | 104M | 31 | 739 |6881 |4115 |2083 | 1 |3872 | 23 | 0.000000e+00 | -- | Inf | 60.55%
223.04/223.65 c 224s| 7300 | 14 | 2444k| 254.9 | 104M | 31 | 739 |6919 |4116 |2092 | 1 |3926 | 23 | 0.000000e+00 | -- | Inf | 60.63%
226.93/227.50 c 228s| 7400 | 16 | 2487k| 256.8 | 104M | 31 | 739 |6939 |4117 |2109 | 0 |3990 | 23 | 0.000000e+00 | -- | Inf | 60.73%
229.43/230.01 c 230s| 7500 | 17 | 2524k| 258.0 | 104M | 31 | 739 |6964 |4113 |2119 | 0 |4058 | 23 | 0.000000e+00 | -- | Inf | 60.77%
234.61/235.27 c 235s| 7600 | 15 | 2583k| 261.4 | 104M | 31 | 739 |6966 |4114 |2133 | 1 |4135 | 23 | 0.000000e+00 | -- | Inf | 60.87%
238.70/239.37 c 239s| 7700 | 17 | 2640k| 264.6 | 104M | 31 | 739 |6994 |4114 |2155 | 1 |4177 | 23 | 0.000000e+00 | -- | Inf | 60.91%
244.39/245.02 c 245s| 7800 | 14 | 2706k| 268.5 | 104M | 31 | 739 |7027 |4117 |2181 | 1 |4234 | 23 | 0.000000e+00 | -- | Inf | 60.96%
248.39/249.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
248.39/249.08 c 249s| 7900 | 11 | 2760k| 271.2 | 105M | 31 | 739 |7062 |4117 |2192 | 1 |4294 | 23 | 0.000000e+00 | -- | Inf | 61.02%
254.47/255.16 c 255s| 8000 | 11 | 2824k| 274.9 | 105M | 31 | 739 |7098 |4117 |2220 | 0 |4373 | 23 | 0.000000e+00 | -- | Inf | 61.08%
259.06/259.74 c 260s| 8100 | 7 | 2877k| 277.4 | 105M | 31 | 739 |7145 |4116 |2230 | 0 |4440 | 23 | 0.000000e+00 | -- | Inf | 61.29%
265.74/266.40 c 266s| 8200 | 8 | 2938k| 280.5 | 105M | 31 | 739 |7114 |4116 |2281 | 0 |4499 | 23 | 0.000000e+00 | -- | Inf | 61.51%
274.62/275.38 c 275s| 8300 | 18 | 3006k| 284.4 | 105M | 31 | 739 |7057 |4117 |2331 | 0 |4563 | 23 | 0.000000e+00 | -- | Inf | 61.92%
277.42/278.17 c 278s| 8400 | 22 | 3041k| 285.0 | 106M | 31 | 739 |7059 |4115 |2364 | 1 |4607 | 23 | 0.000000e+00 | -- | Inf | 62.00%
281.00/281.77 c 282s| 8500 | 34 | 3065k| 284.6 | 106M | 34 | 739 |7055 |4121 |2401 | 0 |4623 | 23 | 0.000000e+00 | -- | Inf | 62.25%
284.50/285.27 c 285s| 8600 | 14 | 3115k| 286.6 | 106M | 34 | 739 |7109 |4115 |2403 | 0 |4695 | 23 | 0.000000e+00 | -- | Inf | 62.44%
295.47/296.29 c 296s| 8700 | 10 | 3203k| 292.0 | 106M | 34 | 739 |7121 |4114 |2502 | 0 |4756 | 23 | 0.000000e+00 | -- | Inf | 65.93%
304.85/305.63 c 306s| 8800 | 16 | 3272k| 295.6 | 107M | 34 | 739 |7101 |4124 |2564 | 1 |4809 | 23 | 0.000000e+00 | -- | Inf | 66.64%
313.33/314.19 c 314s| 8900 | 6 | 3352k| 300.2 | 107M | 34 | 739 |7044 | 0 |2592 | 0 |4870 | 23 | 0.000000e+00 | -- | Inf | 66.99%
320.22/321.07 c 321s| 9000 | 16 | 3403k| 302.1 | 110M | 34 | 739 |7005 |4124 |2657 | 0 |4928 | 23 | 0.000000e+00 | -- | Inf | 67.34%
322.81/323.65 c 324s| 9100 | 18 | 3442k| 302.9 | 111M | 34 | 739 |7007 |4119 |2672 | 0 |4953 | 23 | 0.000000e+00 | -- | Inf | 67.39%
325.10/325.93 c 326s| 9200 | 17 | 3477k| 303.3 | 111M | 34 | 739 |7010 |4130 |2690 | 0 |4977 | 23 | 0.000000e+00 | -- | Inf | 67.41%
327.49/328.39 c 328s| 9300 | 17 | 3512k| 303.7 | 111M | 34 | 739 |7017 |4125 |2703 | 1 |4998 | 23 | 0.000000e+00 | -- | Inf | 67.53%
333.29/334.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
333.29/334.19 c 334s| 9400 | 12 | 3572k| 306.3 | 111M | 34 | 739 |7052 |4128 |2734 | 0 |5060 | 23 | 0.000000e+00 | -- | Inf | 67.74%
335.18/336.01 c 336s| 9500 | 16 | 3600k| 306.0 | 111M | 34 | 739 |7083 |4130 |2761 | 0 |5102 | 23 | 0.000000e+00 | -- | Inf | 67.76%
344.55/345.47 c 345s| 9600 | 14 | 3683k| 310.5 | 111M | 34 | 739 |7108 | 0 |2829 | 0 |5168 | 23 | 0.000000e+00 | -- | Inf | 68.17%
349.94/350.80 c 351s| 9700 | 16 | 3754k| 313.9 | 111M | 34 | 739 |7145 |4119 |2858 | 1 |5221 | 23 | 0.000000e+00 | -- | Inf | 68.37%
354.83/355.79 c 356s| 9800 | 9 | 3813k| 316.2 | 111M | 34 | 739 |7190 |4118 |2879 | 0 |5286 | 23 | 0.000000e+00 | -- | Inf | 68.59%
363.51/364.47 c 364s| 9900 | 8 | 3883k| 319.4 | 112M | 34 | 739 |7192 |4117 |2939 | 1 |5337 | 23 | 0.000000e+00 | -- | Inf | 70.43%
366.11/367.03 c 367s| 10000 | 16 | 3911k| 319.0 | 112M | 34 | 739 |7183 |4116 |2978 | 1 |5361 | 23 | 0.000000e+00 | -- | Inf | 70.71%
368.50/369.43 c 369s| 10100 | 12 | 3942k| 319.0 | 112M | 34 | 739 |7188 |4117 |2990 | 0 |5380 | 23 | 0.000000e+00 | -- | Inf | 70.85%
377.08/378.09 c 378s| 10200 | 8 | 4011k| 322.0 | 112M | 34 | 739 |7238 |4120 |3040 | 0 |5444 | 23 | 0.000000e+00 | -- | Inf | 71.57%
386.95/387.99 c 388s| 10300 | 12 | 4082k| 325.1 | 115M | 34 | 739 |7255 |4117 |3132 | 0 |5486 | 23 | 0.000000e+00 | -- | Inf | 71.88%
391.44/392.47 c 392s| 10400 | 8 | 4129k| 326.3 | 115M | 34 | 739 |7252 |4116 |3145 | 1 |5520 | 23 | 0.000000e+00 | -- | Inf | 72.16%
401.52/402.52 c 403s| 10500 | 16 | 4200k| 329.3 | 119M | 34 | 739 |7279 |4130 |3249 | 1 |5570 | 23 | 0.000000e+00 | -- | Inf | 73.44%
403.41/404.41 c 404s| 10600 | 14 | 4230k| 329.0 | 119M | 34 | 739 |7282 |4129 |3279 | 0 |5588 | 23 | 0.000000e+00 | -- | Inf | 73.56%
407.41/408.42 c 408s| 10700 | 8 | 4277k| 330.2 | 119M | 34 | 739 |7301 |4120 |3301 | 0 |5628 | 23 | 0.000000e+00 | -- | Inf | 73.67%
411.10/412.17 c 412s| 10800 | 8 | 4313k| 330.4 | 120M | 34 | 739 |7303 |4118 |3332 | 1 |5641 | 23 | 0.000000e+00 | -- | Inf | 74.00%
418.58/419.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
418.58/419.65 c 420s| 10900 | 8 | 4379k| 332.9 | 120M | 34 | 739 |7320 |4122 |3378 | 0 |5686 | 23 | 0.000000e+00 | -- | Inf | 74.42%
422.57/423.62 c 424s| 11000 | 14 | 4424k| 333.8 | 120M | 34 | 739 |7333 |4116 |3388 | 1 |5705 | 23 | 0.000000e+00 | -- | Inf | 74.47%
426.86/427.98 c 428s| 11100 | 9 | 4480k| 335.5 | 120M | 34 | 739 |7373 |4122 |3388 | 1 |5751 | 23 | 0.000000e+00 | -- | Inf | 74.55%
431.95/433.01 c 433s| 11200 | 9 | 4537k| 337.2 | 120M | 34 | 739 |7399 |4113 |3399 | 1 |5793 | 23 | 0.000000e+00 | -- | Inf | 74.65%
439.13/440.27 c 440s| 11300 | 3 | 4607k| 340.0 | 120M | 34 | 739 |7459 |4123 |3439 | 0 |5864 | 23 | 0.000000e+00 | -- | Inf | 74.89%
440.93/442.00 c 442s| 11400 | 39 | 4628k| 339.0 | 120M | 36 | 739 |6772 |4123 |3494 | 0 |5914 | 23 | 0.000000e+00 | -- | Inf | 75.09%
442.93/444.06 c 444s| 11500 | 42 | 4652k| 338.3 | 120M | 39 | 739 |6818 |4126 |3526 | 1 |6011 | 23 | 0.000000e+00 | -- | Inf | 75.09%
444.02/445.14 c 445s| 11600 | 39 | 4666k| 336.8 | 120M | 39 | 739 |6840 |4125 |3556 | 1 |6088 | 23 | 0.000000e+00 | -- | Inf | 75.58%
444.42/445.56 c 446s| 11700 | 54 | 4672k| 334.8 | 120M | 40 | 739 |6883 |4129 |3582 | 0 |6150 | 23 | 0.000000e+00 | -- | Inf | 75.78%
444.92/446.03 c 446s| 11800 | 56 | 4681k| 333.1 | 120M | 40 | 739 |6932 |4131 |3600 | 0 |6202 | 23 | 0.000000e+00 | -- | Inf | 75.78%
445.32/446.41 c 446s| 11900 | 77 | 4685k| 331.0 | 120M | 82 | 739 |6946 |4142 |3617 | 1 |6217 | 23 | 0.000000e+00 | -- | Inf | 75.78%
445.51/446.69 c 447s| 12000 | 74 | 4690k| 329.0 | 121M | 82 | 739 |6973 |4142 |3629 | 0 |6245 | 23 | 0.000000e+00 | -- | Inf | 75.78%
446.21/447.31 c 447s| 12100 | 62 | 4700k| 327.4 | 122M | 82 | 739 |6996 | 0 |3666 | 0 |6270 | 23 | 0.000000e+00 | -- | Inf | 75.78%
446.92/448.09 c 448s| 12200 | 75 | 4706k| 325.5 | 122M | 82 | 739 |7035 |4133 |3711 | 1 |6310 | 23 | 0.000000e+00 | -- | Inf | 75.78%
447.21/448.30 c 448s| 12300 | 64 | 4707k| 323.4 | 122M | 82 | 739 |7055 |4132 |3719 | 1 |6334 | 23 | 0.000000e+00 | -- | Inf | 75.78%
447.61/448.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
447.61/448.76 c 449s| 12400 | 50 | 4710k| 321.3 | 122M | 82 | 739 |7054 |4131 |3746 | 0 |6353 | 23 | 0.000000e+00 | -- | Inf | 75.78%
447.81/448.92 c 449s| 12500 | 57 | 4711k| 319.2 | 122M | 82 | 739 |7059 |4127 |3760 | 1 |6373 | 23 | 0.000000e+00 | -- | Inf | 75.78%
447.91/449.02 c 449s| 12600 | 53 | 4713k| 317.1 | 122M | 82 | 739 |7072 | 0 |3760 | 0 |6387 | 23 | 0.000000e+00 | -- | Inf | 75.78%
448.01/449.19 c 449s| 12700 | 50 | 4714k| 315.1 | 122M | 82 | 739 |7085 |4129 |3765 | 1 |6403 | 23 | 0.000000e+00 | -- | Inf | 75.78%
448.21/449.35 c 449s| 12800 | 59 | 4716k| 313.1 | 122M | 82 | 739 |7107 | 0 |3780 | 0 |6450 | 23 | 0.000000e+00 | -- | Inf | 75.78%
448.41/449.56 c 450s| 12900 | 47 | 4718k| 311.2 | 122M | 82 | 739 |7155 |4129 |3802 | 0 |6516 | 23 | 0.000000e+00 | -- | Inf | 75.78%
448.60/449.77 c 450s| 13000 | 41 | 4721k| 309.3 | 122M | 82 | 739 |7153 |4127 |3855 | 0 |6540 | 23 | 0.000000e+00 | -- | Inf | 75.78%
448.91/450.03 c 450s| 13100 | 46 | 4724k| 307.5 | 122M | 82 | 739 |7107 |4128 |3925 | 1 |6572 | 23 | 0.000000e+00 | -- | Inf | 75.78%
449.10/450.28 c 450s| 13200 | 43 | 4727k| 305.7 | 122M | 82 | 739 |7102 |4131 |3948 | 2 |6634 | 23 | 0.000000e+00 | -- | Inf | 75.78%
449.60/450.77 c 451s| 13300 | 47 | 4731k| 304.0 | 122M | 82 | 739 |7052 |4118 |3969 | 1 |6678 | 23 | 0.000000e+00 | -- | Inf | 75.78%
449.91/451.04 c 451s| 13400 | 42 | 4734k| 302.2 | 122M | 82 | 739 |7098 | 0 |3997 | 0 |6745 | 23 | 0.000000e+00 | -- | Inf | 75.79%
450.30/451.43 c 451s| 13500 | 35 | 4739k| 300.6 | 122M | 82 | 739 |7114 |4114 |4018 | 0 |6814 | 23 | 0.000000e+00 | -- | Inf | 75.79%
450.60/451.78 c 452s| 13600 | 42 | 4744k| 299.0 | 122M | 82 | 739 |7181 |4120 |4068 | 2 |6898 | 23 | 0.000000e+00 | -- | Inf | 75.80%
451.60/452.77 c 453s| 13700 | 40 | 4749k| 297.4 | 122M | 82 | 739 |7199 |4115 |4097 | 1 |6975 | 23 | 0.000000e+00 | -- | Inf | 75.83%
452.00/453.15 c 453s| 13800 | 48 | 4754k| 295.9 | 122M | 82 | 739 |7218 |4124 |4113 | 1 |7026 | 23 | 0.000000e+00 | -- | Inf | 75.83%
452.90/454.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
452.90/454.09 c 454s| 13900 | 43 | 4771k| 295.1 | 122M | 82 | 739 |7256 |4120 |4137 | 1 |7092 | 23 | 0.000000e+00 | -- | Inf | 75.83%
453.79/454.97 c 455s| 14000 | 45 | 4788k| 294.3 | 122M | 82 | 739 |7279 |4121 |4156 | 1 |7171 | 23 | 0.000000e+00 | -- | Inf | 75.83%
455.19/456.39 c 456s| 14100 | 39 | 4813k| 294.0 | 122M | 82 | 739 |7265 |4123 |4198 | 3 |7252 | 23 | 0.000000e+00 | -- | Inf | 75.86%
456.48/457.67 c 458s| 14200 | 44 | 4830k| 293.3 | 122M | 82 | 739 |7271 |4123 |4240 | 0 |7315 | 23 | 0.000000e+00 | -- | Inf | 75.87%
456.99/458.19 c 458s| 14300 | 35 | 4839k| 292.1 | 122M | 82 | 739 |7301 |4126 |4259 | 0 |7374 | 23 | 0.000000e+00 | -- | Inf | 75.87%
457.48/458.67 c 459s| 14400 | 46 | 4847k| 290.8 | 122M | 82 | 739 |7327 |4134 |4301 | 0 |7412 | 23 | 0.000000e+00 | -- | Inf | 75.87%
458.18/459.36 c 459s| 14500 | 44 | 4861k| 289.9 | 122M | 82 | 739 |7343 |4129 |4352 | 1 |7429 | 23 | 0.000000e+00 | -- | Inf | 75.87%
458.68/459.80 c 460s| 14600 | 33 | 4869k| 288.6 | 123M | 82 | 739 |7369 |4123 |4363 | 0 |7478 | 23 | 0.000000e+00 | -- | Inf | 75.87%
459.48/460.67 c 461s| 14700 | 34 | 4886k| 287.9 | 123M | 82 | 739 |7397 |4124 |4375 | 0 |7519 | 23 | 0.000000e+00 | -- | Inf | 75.88%
460.27/461.46 c 461s| 14800 | 40 | 4901k| 287.1 | 123M | 82 | 739 |7414 |4124 |4408 | 0 |7550 | 23 | 0.000000e+00 | -- | Inf | 75.88%
461.57/462.78 c 463s| 14900 | 34 | 4921k| 286.6 | 123M | 82 | 739 |7405 |4115 |4432 | 1 |7590 | 23 | 0.000000e+00 | -- | Inf | 75.88%
462.67/463.82 c 464s| 15000 | 34 | 4938k| 285.9 | 123M | 82 | 739 |7378 |4114 |4473 | 0 |7640 | 23 | 0.000000e+00 | -- | Inf | 75.88%
464.46/465.63 c 466s| 15100 | 30 | 4971k| 286.2 | 123M | 82 | 739 |7406 |4119 |4532 | 0 |7698 | 23 | 0.000000e+00 | -- | Inf | 75.89%
465.56/466.71 c 467s| 15200 | 36 | 4989k| 285.5 | 123M | 82 | 739 |7443 |4115 |4579 | 0 |7777 | 23 | 0.000000e+00 | -- | Inf | 75.90%
466.46/467.67 c 468s| 15300 | 36 | 5005k| 284.9 | 123M | 82 | 739 |7482 |4119 |4597 | 0 |7861 | 23 | 0.000000e+00 | -- | Inf | 75.91%
467.46/468.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
467.46/468.64 c 469s| 15400 | 43 | 5022k| 284.2 | 123M | 82 | 739 |7525 |4118 |4611 | 1 |7922 | 23 | 0.000000e+00 | -- | Inf | 75.92%
468.35/469.54 c 470s| 15500 | 43 | 5039k| 283.5 | 123M | 82 | 739 |7563 |4117 |4633 | 1 |7982 | 23 | 0.000000e+00 | -- | Inf | 75.93%
469.45/470.64 c 471s| 15600 | 50 | 5058k| 283.0 | 123M | 82 | 739 |7623 |4119 |4670 | 0 |8058 | 23 | 0.000000e+00 | -- | Inf | 75.94%
470.25/471.42 c 471s| 15700 | 50 | 5072k| 282.2 | 123M | 82 | 739 |7637 |4120 |4689 | 1 |8105 | 23 | 0.000000e+00 | -- | Inf | 75.95%
471.15/472.33 c 472s| 15800 | 52 | 5088k| 281.5 | 123M | 82 | 739 |7640 |4119 |4731 | 0 |8141 | 23 | 0.000000e+00 | -- | Inf | 75.95%
472.24/473.40 c 473s| 15900 | 52 | 5108k| 281.1 | 123M | 82 | 739 |7659 | 0 |4788 | 0 |8188 | 23 | 0.000000e+00 | -- | Inf | 75.95%
473.24/474.45 c 474s| 16000 | 48 | 5126k| 280.5 | 123M | 82 | 739 |7718 | 0 |4820 | 0 |8258 | 23 | 0.000000e+00 | -- | Inf | 75.95%
474.44/475.60 c 476s| 16100 | 47 | 5146k| 280.1 | 123M | 82 | 739 |7757 |4121 |4870 | 0 |8311 | 23 | 0.000000e+00 | -- | Inf | 75.95%
475.74/476.94 c 477s| 16200 | 31 | 5154k| 279.0 | 123M | 82 | 739 |6950 |4114 |4893 | 1 |8404 | 23 | 0.000000e+00 | -- | Inf | 75.98%
476.13/477.36 c 477s| 16300 | 28 | 5159k| 277.8 | 123M | 82 | 739 |6981 | 0 |4912 | 0 |8507 | 23 | 0.000000e+00 | -- | Inf | 76.08%
476.84/478.06 c 478s| 16400 | 32 | 5164k| 276.5 | 123M | 82 | 739 |7013 |4115 |4950 | 1 |8612 | 23 | 0.000000e+00 | -- | Inf | 76.09%
477.63/478.80 c 479s| 16500 | 37 | 5177k| 275.7 | 123M | 82 | 739 |7060 |4115 |4976 | 1 |8685 | 23 | 0.000000e+00 | -- | Inf | 76.10%
478.93/480.11 c 480s| 16600 | 35 | 5201k| 275.5 | 123M | 82 | 739 |7118 |4120 |5033 | 0 |8770 | 23 | 0.000000e+00 | -- | Inf | 76.11%
480.12/481.34 c 481s| 16700 | 35 | 5222k| 275.2 | 123M | 82 | 739 |7189 |4115 |5071 | 0 |8855 | 23 | 0.000000e+00 | -- | Inf | 76.11%
481.62/482.87 c 483s| 16800 | 37 | 5249k| 275.2 | 123M | 82 | 739 |7244 |4122 |5106 | 3 |8933 | 23 | 0.000000e+00 | -- | Inf | 76.13%
482.82/484.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
482.82/484.09 c 484s| 16900 | 39 | 5271k| 274.9 | 123M | 82 | 739 |7311 |4122 |5150 | 2 |9009 | 23 | 0.000000e+00 | -- | Inf | 76.13%
484.51/485.74 c 486s| 17000 | 30 | 5299k| 274.9 | 123M | 82 | 739 |7404 |4122 |5164 | 0 |9111 | 23 | 0.000000e+00 | -- | Inf | 76.16%
485.81/487.02 c 487s| 17100 | 27 | 5322k| 274.7 | 123M | 82 | 739 |7495 |4117 |5196 | 0 |9207 | 23 | 0.000000e+00 | -- | Inf | 76.17%
487.41/488.69 c 489s| 17200 | 26 | 5343k| 274.3 | 123M | 82 | 739 |7591 | 0 |5205 | 0 |9305 | 23 | 0.000000e+00 | -- | Inf | 76.21%
489.10/490.34 c 490s| 17300 | 35 | 5368k| 274.2 | 123M | 82 | 739 |7558 |4115 |5228 | 1 |9391 | 23 | 0.000000e+00 | -- | Inf | 76.28%
490.10/491.35 c 491s| 17400 | 30 | 5389k| 273.9 | 123M | 82 | 739 |7643 |4113 |5262 | 1 |9491 | 23 | 0.000000e+00 | -- | Inf | 76.31%
491.20/492.43 c 492s| 17500 | 24 | 5411k| 273.6 | 123M | 82 | 739 |7688 |4115 |5296 | 1 |9568 | 23 | 0.000000e+00 | -- | Inf | 76.33%
492.90/494.19 c 494s| 17600 | 45 | 5432k| 273.3 | 124M | 82 | 739 |7765 |4120 |5356 | 1 |9657 | 23 | 0.000000e+00 | -- | Inf | 76.34%
493.69/494.97 c 495s| 17700 | 51 | 5447k| 272.7 | 124M | 82 | 739 |7803 |4122 |5407 | 0 |9708 | 23 | 0.000000e+00 | -- | Inf | 76.34%
494.79/496.04 c 496s| 17800 | 51 | 5468k| 272.4 | 124M | 82 | 739 |7854 |4122 |5437 | 1 |9777 | 23 | 0.000000e+00 | -- | Inf | 76.37%
495.79/497.10 c 497s| 17900 | 41 | 5490k| 272.1 | 124M | 82 | 739 |7892 |4123 |5468 | 0 |9827 | 23 | 0.000000e+00 | -- | Inf | 76.38%
497.18/498.45 c 498s| 18000 | 47 | 5517k| 272.1 | 124M | 82 | 739 |7956 |4119 |5503 | 1 |9897 | 23 | 0.000000e+00 | -- | Inf | 76.39%
498.38/499.69 c 500s| 18100 | 32 | 5541k| 271.9 | 124M | 82 | 739 |8017 |4118 |5520 | 1 |9967 | 23 | 0.000000e+00 | -- | Inf | 76.42%
499.27/500.59 c 501s| 18200 | 41 | 5558k| 271.4 | 124M | 82 | 739 |8073 |4123 |5543 | 0 | 10k| 23 | 0.000000e+00 | -- | Inf | 76.44%
500.17/501.47 c 501s| 18300 | 39 | 5575k| 270.9 | 124M | 82 | 739 |8142 |4127 |5582 | 0 | 10k| 23 | 0.000000e+00 | -- | Inf | 76.44%
500.97/502.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
500.97/502.23 c 502s| 18400 | 30 | 5589k| 270.3 | 124M | 82 | 739 |8188 |4119 |5597 | 1 | 10k| 23 | 0.000000e+00 | -- | Inf | 76.46%
501.57/502.84 c 503s| 18500 | 29 | 5601k| 269.6 | 124M | 82 | 739 |8266 |4120 |5620 | 0 | 10k| 23 | 0.000000e+00 | -- | Inf | 76.46%
502.77/504.03 c 504s| 18600 | 29 | 5624k| 269.4 | 124M | 82 | 739 |8372 |4119 |5649 | 1 | 10k| 23 | 0.000000e+00 | -- | Inf | 76.48%
503.77/505.01 c 505s| 18700 | 37 | 5643k| 269.0 | 124M | 82 | 739 |8425 |4118 |5667 | 1 | 10k| 23 | 0.000000e+00 | -- | Inf | 76.50%
505.06/506.39 c 506s| 18800 | 29 | 5668k| 268.9 | 124M | 82 | 739 |8465 |4118 |5673 | 1 | 10k| 23 | 0.000000e+00 | -- | Inf | 76.52%
506.76/508.00 c 508s| 18900 | 31 | 5696k| 269.0 | 124M | 82 | 739 |8522 |4124 |5706 | 3 | 10k| 23 | 0.000000e+00 | -- | Inf | 76.53%
507.65/508.99 c 509s| 19000 | 37 | 5714k| 268.6 | 124M | 82 | 739 |8597 |4124 |5734 | 1 | 10k| 23 | 0.000000e+00 | -- | Inf | 76.54%
509.44/510.72 c 511s| 19100 | 29 | 5749k| 268.9 | 124M | 82 | 739 |8632 |4126 |5783 | 2 | 10k| 23 | 0.000000e+00 | -- | Inf | 76.55%
510.44/511.78 c 512s| 19200 | 31 | 5770k| 268.6 | 124M | 82 | 739 |8659 |4124 |5825 | 2 | 10k| 23 | 0.000000e+00 | -- | Inf | 76.56%
511.84/513.17 c 513s| 19300 | 29 | 5797k| 268.6 | 124M | 82 | 739 |8730 |4122 |5852 | 1 | 10k| 23 | 0.000000e+00 | -- | Inf | 76.57%
513.33/514.65 c 515s| 19400 | 24 | 5824k| 268.7 | 124M | 82 | 739 |8753 |4119 |5873 | 1 | 10k| 23 | 0.000000e+00 | -- | Inf | 76.60%
514.33/515.69 c 516s| 19500 | 22 | 5842k| 268.2 | 124M | 82 | 739 |8388 |4113 |5883 | 1 | 11k| 23 | 0.000000e+00 | -- | Inf | 76.65%
515.43/516.74 c 517s| 19600 | 24 | 5862k| 267.9 | 124M | 82 | 739 |8350 |4121 |5907 | 1 | 11k| 23 | 0.000000e+00 | -- | Inf | 76.67%
516.53/517.89 c 518s| 19700 | 23 | 5884k| 267.7 | 124M | 82 | 739 |8338 |4114 |5950 | 1 | 11k| 23 | 0.000000e+00 | -- | Inf | 76.69%
517.62/518.90 c 519s| 19800 | 23 | 5901k| 267.3 | 124M | 82 | 739 |8232 |4116 |5968 | 0 | 11k| 23 | 0.000000e+00 | -- | Inf | 76.71%
519.62/520.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
519.62/520.98 c 521s| 19900 | 29 | 5931k| 267.4 | 124M | 82 | 739 |8100 |4121 |5985 | 1 | 11k| 23 | 0.000000e+00 | -- | Inf | 76.84%
520.12/521.46 c 521s| 20000 | 38 | 5938k| 266.5 | 124M | 82 | 739 |8058 | 0 |6006 | 0 | 11k| 23 | 0.000000e+00 | -- | Inf | 76.84%
520.91/522.22 c 522s| 20100 | 30 | 5948k| 265.8 | 124M | 82 | 739 |8026 |4128 |6046 | 1 | 11k| 23 | 0.000000e+00 | -- | Inf | 76.86%
521.41/522.74 c 523s| 20200 | 22 | 5958k| 265.0 | 124M | 82 | 739 |8055 |4120 |6073 | 0 | 11k| 23 | 0.000000e+00 | -- | Inf | 76.86%
521.82/523.17 c 523s| 20300 | 26 | 5966k| 264.2 | 124M | 82 | 739 |8116 |4120 |6124 | 0 | 11k| 23 | 0.000000e+00 | -- | Inf | 76.86%
522.41/523.74 c 524s| 20400 | 25 | 5977k| 263.5 | 124M | 82 | 739 |8174 |4117 |6177 | 1 | 11k| 23 | 0.000000e+00 | -- | Inf | 76.86%
523.01/524.38 c 524s| 20500 | 34 | 5989k| 262.9 | 124M | 82 | 739 |8195 |4124 |6246 | 0 | 11k| 23 | 0.000000e+00 | -- | Inf | 76.86%
523.41/524.79 c 525s| 20600 | 30 | 5996k| 262.1 | 124M | 82 | 739 |8235 |4126 |6278 | 2 | 11k| 23 | 0.000000e+00 | -- | Inf | 76.86%
523.71/525.05 c 525s| 20700 | 35 | 5999k| 261.0 | 124M | 82 | 739 |8276 |4123 |6298 | 0 | 11k| 23 | 0.000000e+00 | -- | Inf | 76.87%
524.10/525.47 c 525s| 20800 | 29 | 6006k| 260.2 | 124M | 82 | 739 |8325 |4119 |6365 | 1 | 11k| 23 | 0.000000e+00 | -- | Inf | 76.87%
524.60/525.99 c 526s| 20900 | 39 | 6016k| 259.5 | 124M | 82 | 739 |8336 |4130 |6440 | 1 | 11k| 23 | 0.000000e+00 | -- | Inf | 76.87%
525.00/526.35 c 526s| 21000 | 31 | 6022k| 258.6 | 124M | 82 | 739 |8375 |4122 |6480 | 0 | 11k| 23 | 0.000000e+00 | -- | Inf | 76.87%
525.30/526.63 c 527s| 21100 | 32 | 6024k| 257.6 | 124M | 82 | 739 |8401 |4127 |6513 | 0 | 11k| 23 | 0.000000e+00 | -- | Inf | 76.87%
525.60/526.95 c 527s| 21200 | 43 | 6026k| 256.6 | 124M | 82 | 739 |8408 | 0 |6557 | 0 | 11k| 23 | 0.000000e+00 | -- | Inf | 76.87%
525.81/527.19 c 527s| 21300 | 36 | 6028k| 255.6 | 124M | 82 | 739 |8428 |4124 |6581 | 1 | 11k| 23 | 0.000000e+00 | -- | Inf | 76.87%
526.10/527.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
526.10/527.44 c 527s| 21400 | 48 | 6031k| 254.6 | 124M | 82 | 739 |8442 |4122 |6653 | 1 | 11k| 23 | 0.000000e+00 | -- | Inf | 76.87%
526.30/527.68 c 528s| 21500 | 42 | 6033k| 253.6 | 124M | 82 | 739 |8471 |4124 |6699 | 1 | 11k| 23 | 0.000000e+00 | -- | Inf | 76.87%
526.50/527.87 c 528s| 21600 | 22 | 6035k| 252.7 | 124M | 82 | 739 |8487 |4126 |6713 | 0 | 12k| 23 | 0.000000e+00 | -- | Inf | 76.87%
526.70/528.09 c 528s| 21700 | 25 | 6038k| 251.7 | 124M | 82 | 739 |8568 |4121 |6745 | 1 | 12k| 23 | 0.000000e+00 | -- | Inf | 76.87%
527.00/528.31 c 528s| 21800 | 29 | 6040k| 250.8 | 124M | 82 | 739 |8585 |4120 |6789 | 1 | 12k| 23 | 0.000000e+00 | -- | Inf | 76.87%
527.20/528.59 c 529s| 21900 | 52 | 6044k| 249.9 | 124M | 82 | 739 |8598 |4128 |6852 | 0 | 12k| 23 | 0.000000e+00 | -- | Inf | 76.87%
527.50/528.84 c 529s| 22000 | 44 | 6047k| 249.0 | 124M | 82 | 739 |8650 |4123 |6887 | 1 | 12k| 23 | 0.000000e+00 | -- | Inf | 76.87%
527.80/529.10 c 529s| 22100 | 44 | 6050k| 248.1 | 124M | 82 | 739 |8659 | 0 |6917 | 0 | 12k| 23 | 0.000000e+00 | -- | Inf | 76.87%
527.99/529.34 c 529s| 22200 | 47 | 6054k| 247.2 | 124M | 82 | 739 |8668 | 0 |6945 | 0 | 12k| 23 | 0.000000e+00 | -- | Inf | 76.87%
528.19/529.59 c 530s| 22300 | 47 | 6057k| 246.3 | 124M | 82 | 739 |8689 |4119 |6967 | 0 | 12k| 23 | 0.000000e+00 | -- | Inf | 76.87%
528.49/529.85 c 530s| 22400 | 36 | 6060k| 245.4 | 124M | 82 | 739 |8718 |4120 |6995 | 0 | 12k| 23 | 0.000000e+00 | -- | Inf | 76.87%
528.69/530.09 c 530s| 22500 | 35 | 6063k| 244.6 | 124M | 82 | 739 |8743 |4124 |7019 | 0 | 12k| 23 | 0.000000e+00 | -- | Inf | 76.87%
528.99/530.33 c 530s| 22600 | 38 | 6066k| 243.7 | 124M | 82 | 739 |8764 |4121 |7041 | 1 | 12k| 23 | 0.000000e+00 | -- | Inf | 76.87%
529.19/530.53 c 531s| 22700 | 36 | 6069k| 242.8 | 124M | 82 | 739 |8768 |4121 |7062 | 1 | 12k| 23 | 0.000000e+00 | -- | Inf | 76.87%
529.39/530.72 c 531s| 22800 | 39 | 6071k| 242.0 | 124M | 82 | 739 |8791 |4128 |7082 | 1 | 12k| 23 | 0.000000e+00 | -- | Inf | 76.87%
529.59/530.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
529.59/530.92 c 531s| 22900 | 47 | 6074k| 241.1 | 124M | 82 | 739 |8789 | 0 |7104 | 0 | 12k| 23 | 0.000000e+00 | -- | Inf | 76.87%
529.79/531.17 c 531s| 23000 | 30 | 6077k| 240.3 | 124M | 82 | 739 |8832 |4122 |7109 | 1 | 12k| 23 | 0.000000e+00 | -- | Inf | 76.88%
530.08/531.47 c 531s| 23100 | 29 | 6081k| 239.5 | 124M | 82 | 739 |8872 |4122 |7140 | 1 | 12k| 23 | 0.000000e+00 | -- | Inf | 76.88%
530.38/531.75 c 532s| 23200 | 45 | 6085k| 238.7 | 124M | 82 | 739 |8903 |4131 |7209 | 2 | 12k| 23 | 0.000000e+00 | -- | Inf | 76.89%
530.69/532.02 c 532s| 23300 | 53 | 6088k| 237.9 | 124M | 82 | 739 |8939 |4127 |7244 | 0 | 12k| 23 | 0.000000e+00 | -- | Inf | 76.89%
530.88/532.27 c 532s| 23400 | 63 | 6090k| 237.0 | 124M | 82 | 739 |8962 |4126 |7269 | 0 | 12k| 23 | 0.000000e+00 | -- | Inf | 76.89%
531.18/532.53 c 533s| 23500 | 45 | 6093k| 236.2 | 124M | 82 | 739 |8989 |4123 |7285 | 1 | 12k| 23 | 0.000000e+00 | -- | Inf | 76.89%
531.48/532.89 c 533s| 23600 | 32 | 6096k| 235.4 | 124M | 82 | 739 |9010 |4125 |7360 | 0 | 12k| 23 | 0.000000e+00 | -- | Inf | 76.89%
531.78/533.15 c 533s| 23700 | 27 | 6099k| 234.6 | 124M | 82 | 739 |9037 |4122 |7380 | 1 | 12k| 23 | 0.000000e+00 | -- | Inf | 76.89%
532.08/533.44 c 533s| 23800 | 25 | 6103k| 233.9 | 124M | 82 | 739 |9097 |4121 |7410 | 0 | 13k| 23 | 0.000000e+00 | -- | Inf | 76.89%
532.28/533.70 c 534s| 23900 | 28 | 6107k| 233.1 | 124M | 82 | 739 |9126 |4123 |7429 | 0 | 13k| 23 | 0.000000e+00 | -- | Inf | 76.89%
532.58/533.94 c 534s| 24000 | 25 | 6110k| 232.3 | 124M | 82 | 739 |9151 |4123 |7458 | 1 | 13k| 23 | 0.000000e+00 | -- | Inf | 76.90%
532.98/534.37 c 534s| 24100 | 28 | 6113k| 231.6 | 124M | 82 | 739 |9120 |4117 |7472 | 1 | 13k| 23 | 0.000000e+00 | -- | Inf | 76.90%
533.28/534.60 c 535s| 24200 | 46 | 6116k| 230.8 | 124M | 82 | 739 |9137 |4124 |7503 | 0 | 13k| 23 | 0.000000e+00 | -- | Inf | 76.90%
533.48/534.86 c 535s| 24300 | 37 | 6119k| 230.1 | 124M | 82 | 739 |9176 |4120 |7540 | 1 | 13k| 23 | 0.000000e+00 | -- | Inf | 76.90%
533.78/535.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
533.78/535.13 c 535s| 24400 | 37 | 6123k| 229.3 | 124M | 82 | 739 |9243 |4119 |7557 | 1 | 13k| 23 | 0.000000e+00 | -- | Inf | 76.90%
534.08/535.44 c 535s| 24500 | 25 | 6126k| 228.6 | 124M | 82 | 739 |9278 |4119 |7587 | 1 | 13k| 23 | 0.000000e+00 | -- | Inf | 76.91%
534.38/535.75 c 536s| 24600 | 23 | 6131k| 227.9 | 124M | 82 | 739 |9366 |4123 |7622 | 0 | 13k| 23 | 0.000000e+00 | -- | Inf | 76.91%
534.68/536.05 c 536s| 24700 | 26 | 6134k| 227.2 | 124M | 82 | 739 |9423 |4120 |7647 | 1 | 13k| 23 | 0.000000e+00 | -- | Inf | 76.92%
534.97/536.38 c 536s| 24800 | 22 | 6138k| 226.5 | 124M | 82 | 739 |9503 | 0 |7685 | 0 | 13k| 23 | 0.000000e+00 | -- | Inf | 76.92%
535.37/536.72 c 537s| 24900 | 21 | 6143k| 225.8 | 124M | 82 | 739 |9561 |4118 |7718 | 0 | 13k| 23 | 0.000000e+00 | -- | Inf | 76.93%
535.68/537.08 c 537s| 25000 | 26 | 6147k| 225.2 | 125M | 82 | 739 |9536 |4123 |7741 | 0 | 13k| 23 | 0.000000e+00 | -- | Inf | 76.95%
536.07/537.41 c 537s| 25100 | 17 | 6151k| 224.5 | 126M | 82 | 739 |9582 |4121 |7761 | 0 | 13k| 23 | 0.000000e+00 | -- | Inf | 76.97%
536.37/537.76 c 538s| 25200 | 24 | 6156k| 223.8 | 126M | 82 | 739 |9532 |4124 |7777 | 1 | 14k| 23 | 0.000000e+00 | -- | Inf | 76.98%
536.68/538.10 c 538s| 25300 | 15 | 6160k| 223.2 | 126M | 82 | 739 |9565 |4127 |7797 | 2 | 14k| 23 | 0.000000e+00 | -- | Inf | 77.00%
537.27/538.65 c 539s| 25400 | 28 | 6164k| 222.5 | 126M | 82 | 739 |9467 |4118 |7845 | 0 | 14k| 23 | 0.000000e+00 | -- | Inf | 77.14%
537.57/538.96 c 539s| 25500 | 20 | 6168k| 221.9 | 126M | 82 | 739 |9562 |4121 |7891 | 1 | 14k| 23 | 0.000000e+00 | -- | Inf | 77.14%
537.97/539.31 c 539s| 25600 | 16 | 6173k| 221.2 | 126M | 82 | 739 |9631 |4116 |7922 | 1 | 14k| 23 | 0.000000e+00 | -- | Inf | 77.15%
538.77/540.13 c 540s| 25700 | 20 | 6178k| 220.6 | 126M | 82 | 739 |9635 |4119 |7961 | 1 | 14k| 23 | 0.000000e+00 | -- | Inf | 77.22%
539.06/540.48 c 540s| 25800 | 16 | 6182k| 220.0 | 126M | 82 | 739 |9644 |4124 |7992 | 0 | 14k| 23 | 0.000000e+00 | -- | Inf | 77.27%
539.46/540.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
539.46/540.84 c 541s| 25900 | 11 | 6187k| 219.4 | 126M | 82 | 739 |9699 |4117 |8012 | 0 | 14k| 23 | 0.000000e+00 | -- | Inf | 77.29%
540.46/541.83 c 542s| 26000 | 12 | 6193k| 218.8 | 126M | 82 | 739 |9523 |4115 |8050 | 0 | 14k| 23 | 0.000000e+00 | -- | Inf | 78.09%
540.86/542.26 c 542s| 26100 | 6 | 6199k| 218.2 | 126M | 82 | 739 |9566 | 0 |8058 | 0 | 14k| 23 | 0.000000e+00 | -- | Inf | 78.12%
543.55/544.98 c 545s| 26200 | 23 | 6206k| 217.7 | 126M | 82 | 739 |9241 |4116 |8126 | 0 | 14k| 23 | 0.000000e+00 | -- | Inf | 80.50%
544.85/546.21 c 546s| 26300 | 29 | 6211k| 217.1 | 126M | 82 | 739 |9109 |4116 |8165 | 0 | 15k| 23 | 0.000000e+00 | -- | Inf | 80.59%
545.75/547.16 c 547s| 26400 | 34 | 6215k| 216.5 | 126M | 82 | 739 |9015 |4117 |8195 | 1 | 15k| 23 | 0.000000e+00 | -- | Inf | 80.65%
546.14/547.54 c 548s| 26500 | 18 | 6220k| 215.9 | 126M | 82 | 739 |9049 |4120 |8222 | 0 | 15k| 23 | 0.000000e+00 | -- | Inf | 80.71%
547.44/548.88 c 549s| 26600 | 23 | 6229k| 215.5 | 126M | 82 | 739 |8450 |4114 |8259 | 0 | 15k| 23 | 0.000000e+00 | -- | Inf | 80.85%
548.14/549.53 c 550s| 26700 | 36 | 6235k| 214.9 | 126M | 82 | 739 |8346 |4120 |8291 | 1 | 15k| 23 | 0.000000e+00 | -- | Inf | 81.08%
548.54/549.91 c 550s| 26800 | 30 | 6240k| 214.4 | 126M | 82 | 739 |8365 |4117 |8320 | 0 | 15k| 23 | 0.000000e+00 | -- | Inf | 81.11%
549.14/550.51 c 551s| 26900 | 34 | 6246k| 213.8 | 126M | 82 | 739 |8415 |4114 |8338 | 0 | 15k| 23 | 0.000000e+00 | -- | Inf | 81.19%
550.33/551.75 c 552s| 27000 | 32 | 6254k| 213.4 | 126M | 82 | 739 |8451 |4120 |8371 | 1 | 15k| 23 | 0.000000e+00 | -- | Inf | 81.27%
550.93/552.34 c 552s| 27100 | 34 | 6259k| 212.8 | 126M | 82 | 739 |8494 |4115 |8393 | 0 | 15k| 23 | 0.000000e+00 | -- | Inf | 81.31%
551.64/553.06 c 553s| 27200 | 30 | 6266k| 212.3 | 126M | 82 | 739 |8545 |4115 |8403 | 0 | 15k| 23 | 0.000000e+00 | -- | Inf | 81.43%
552.03/553.43 c 553s| 27300 | 29 | 6271k| 211.8 | 126M | 82 | 739 |8585 |4121 |8417 | 0 | 15k| 23 | 0.000000e+00 | -- | Inf | 81.46%
552.43/553.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
552.43/553.83 c 554s| 27400 | 31 | 6276k| 211.2 | 126M | 82 | 739 |8627 |4122 |8439 | 0 | 15k| 23 | 0.000000e+00 | -- | Inf | 81.49%
553.13/554.56 c 555s| 27500 | 31 | 6283k| 210.8 | 126M | 82 | 739 |8663 |4118 |8449 | 1 | 15k| 23 | 0.000000e+00 | -- | Inf | 81.56%
553.92/555.34 c 555s| 27600 | 24 | 6290k| 210.3 | 126M | 82 | 739 |8717 |4113 |8464 | 1 | 15k| 23 | 0.000000e+00 | -- | Inf | 81.77%
554.22/555.69 c 556s| 27700 | 20 | 6295k| 209.7 | 126M | 82 | 739 |8762 |4113 |8478 | 1 | 16k| 23 | 0.000000e+00 | -- | Inf | 81.84%
555.92/557.33 c 557s| 27800 | 24 | 6302k| 209.3 | 126M | 82 | 739 |8788 |4120 |8506 | 1 | 16k| 23 | 0.000000e+00 | -- | Inf | 82.06%
557.32/558.79 c 559s| 27900 | 21 | 6311k| 208.9 | 126M | 82 | 739 |8882 |4122 |8546 | 1 | 16k| 23 | 0.000000e+00 | -- | Inf | 82.79%
557.81/559.26 c 559s| 28000 | 23 | 6317k| 208.4 | 126M | 82 | 739 |8963 |4123 |8568 | 0 | 16k| 23 | 0.000000e+00 | -- | Inf | 82.90%
560.71/562.12 c 562s| 28100 | 19 | 6326k| 208.0 | 126M | 82 | 739 |9015 | 0 |8678 | 0 | 16k| 23 | 0.000000e+00 | -- | Inf | 83.98%
561.71/563.14 c 563s| 28200 | 29 | 6331k| 207.5 | 126M | 82 | 739 |9092 |4123 |8729 | 0 | 16k| 23 | 0.000000e+00 | -- | Inf | 84.79%
562.10/563.56 c 564s| 28300 | 17 | 6336k| 207.0 | 126M | 82 | 739 |9189 |4131 |8802 | 0 | 16k| 23 | 0.000000e+00 | -- | Inf | 84.80%
562.50/563.95 c 564s| 28400 | 36 | 6341k| 206.4 | 126M | 82 | 739 |9253 |4125 |8894 | 1 | 16k| 23 | 0.000000e+00 | -- | Inf | 85.58%
562.90/564.32 c 564s| 28500 | 19 | 6345k| 205.9 | 128M | 82 | 739 |9335 |4123 |8942 | 1 | 16k| 23 | 0.000000e+00 | -- | Inf | 85.58%
563.30/564.71 c 565s| 28600 | 26 | 6350k| 205.4 | 128M | 82 | 739 |9397 |4132 |9017 | 2 | 16k| 23 | 0.000000e+00 | -- | Inf | 85.59%
563.70/565.11 c 565s| 28700 | 20 | 6355k| 204.9 | 128M | 82 | 739 |9443 |4121 |9062 | 0 | 16k| 23 | 0.000000e+00 | -- | Inf | 85.61%
564.30/565.77 c 566s| 28800 | 22 | 6361k| 204.4 | 128M | 82 | 739 |9493 |4121 |9096 | 1 | 16k| 23 | 0.000000e+00 | -- | Inf | 85.65%
564.79/566.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
564.79/566.28 c 566s| 28900 | 17 | 6367k| 203.9 | 128M | 82 | 739 |9541 |4122 |9134 | 0 | 17k| 23 | 0.000000e+00 | -- | Inf | 85.89%
567.09/568.50 c 569s| 29000 | 19 | 6373k| 203.5 | 128M | 82 | 739 |9501 |4119 |9171 | 0 | 17k| 23 | 0.000000e+00 | -- | Inf | 86.14%
567.49/568.91 c 569s| 29100 | 20 | 6379k| 203.0 | 128M | 82 | 739 |9549 |4118 |9183 | 1 | 17k| 23 | 0.000000e+00 | -- | Inf | 86.18%
568.78/570.28 c 570s| 29200 | 16 | 6385k| 202.6 | 128M | 82 | 739 |9606 |4117 |9206 | 0 | 17k| 23 | 0.000000e+00 | -- | Inf | 86.25%
570.68/572.16 c 572s| 29300 | 16 | 6414k| 202.8 | 128M | 82 | 739 |9644 |4117 |9213 | 1 | 17k| 23 | 0.000000e+00 | -- | Inf | 86.33%
574.37/575.80 c 576s| 29400 | 16 | 6463k| 203.8 | 128M | 82 | 739 |9688 |4114 |9228 | 1 | 17k| 23 | 0.000000e+00 | -- | Inf | 86.40%
577.16/578.60 c 579s| 29500 | 22 | 6498k| 204.2 | 128M | 82 | 739 |9674 |4124 |9247 | 0 | 17k| 23 | 0.000000e+00 | -- | Inf | 86.53%
579.26/580.72 c 581s| 29600 | 15 | 6526k| 204.5 | 128M | 82 | 739 |9643 |4120 |9305 | 0 | 17k| 23 | 0.000000e+00 | -- | Inf | 86.78%
586.54/588.02 c 588s| 29700 | 6 | 6588k| 205.8 | 128M | 82 | 739 |9502 |4118 |9385 | 1 | 17k| 23 | 0.000000e+00 | -- | Inf | 88.09%
589.93/591.44 c 591s| 29800 | 25 | 6622k| 206.2 | 128M | 82 | 739 |9383 |4128 |9466 | 1 | 17k| 23 | 0.000000e+00 | -- | Inf | 89.11%
592.33/593.80 c 594s| 29900 | 13 | 6651k| 206.5 | 128M | 82 | 739 |9366 |4124 |9488 | 0 | 17k| 23 | 0.000000e+00 | -- | Inf | 89.55%
593.92/595.46 c 595s| 30000 | 12 | 6683k| 206.8 | 128M | 82 | 739 |9356 |4124 |9507 | 0 | 17k| 23 | 0.000000e+00 | -- | Inf | 89.56%
595.72/597.27 c 597s| 30100 | 16 | 6712k| 207.1 | 128M | 82 | 739 |9402 |4118 |9536 | 1 | 17k| 23 | 0.000000e+00 | -- | Inf | 89.64%
598.01/599.59 c 600s| 30200 | 21 | 6747k| 207.5 | 128M | 82 | 739 |9472 |4123 |9571 | 1 | 17k| 23 | 0.000000e+00 | -- | Inf | 89.71%
600.41/601.97 c 602s| 30300 | 10 | 6788k| 208.1 | 128M | 82 | 739 |9543 |4120 |9601 | 1 | 18k| 23 | 0.000000e+00 | -- | Inf | 89.81%
602.61/604.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
602.61/604.17 c 604s| 30400 | 9 | 6828k| 208.7 | 128M | 82 | 739 |9591 |4120 |9662 | 1 | 18k| 23 | 0.000000e+00 | -- | Inf | 89.84%
607.69/609.29 c 609s| 30500 | 36 | 6876k| 209.6 | 128M | 82 | 739 |9271 |4127 |9778 | 1 | 18k| 23 | 0.000000e+00 | -- | Inf | 90.75%
608.69/610.25 c 610s| 30600 | 61 | 6890k| 209.3 | 128M | 82 | 739 |9291 |4137 |9843 | 1 | 18k| 23 | 0.000000e+00 | -- | Inf | 90.78%
609.59/611.11 c 611s| 30700 | 64 | 6904k| 209.1 | 128M | 82 | 739 |9312 |4139 |9869 | 0 | 18k| 23 | 0.000000e+00 | -- | Inf | 90.78%
610.28/611.87 c 612s| 30800 | 73 | 6914k| 208.8 | 130M | 82 | 739 |9335 |4145 |9917 | 1 | 18k| 23 | 0.000000e+00 | -- | Inf | 90.78%
611.28/612.83 c 613s| 30900 | 69 | 6929k| 208.6 | 130M | 82 | 739 |9365 |4136 |9976 | 1 | 18k| 23 | 0.000000e+00 | -- | Inf | 90.78%
611.78/613.38 c 613s| 31000 | 79 | 6940k| 208.3 | 130M | 82 | 739 |9386 |4136 | 10k| 1 | 18k| 23 | 0.000000e+00 | -- | Inf | 90.78%
612.18/613.71 c 614s| 31100 | 72 | 6946k| 207.9 | 130M | 82 | 739 |9415 |4134 | 10k| 1 | 18k| 23 | 0.000000e+00 | -- | Inf | 90.78%
612.68/614.25 c 614s| 31200 | 61 | 6958k| 207.6 | 130M | 82 | 739 |9460 |4136 | 10k| 0 | 18k| 23 | 0.000000e+00 | -- | Inf | 90.78%
614.07/615.61 c 616s| 31300 | 52 | 6980k| 207.6 | 130M | 82 | 739 |9455 |4128 | 10k| 0 | 18k| 23 | 0.000000e+00 | -- | Inf | 90.78%
614.97/616.57 c 617s| 31400 | 61 | 6997k| 207.5 | 130M | 82 | 739 |9464 |4135 | 10k| 0 | 18k| 23 | 0.000000e+00 | -- | Inf | 90.78%
616.17/617.71 c 618s| 31500 | 50 | 7020k| 207.6 | 130M | 82 | 739 |9484 |4135 | 10k| 0 | 18k| 23 | 0.000000e+00 | -- | Inf | 90.78%
617.27/618.84 c 619s| 31600 | 57 | 7040k| 207.6 | 130M | 82 | 739 |9539 | 0 | 10k| 0 | 18k| 23 | 0.000000e+00 | -- | Inf | 90.78%
618.86/620.46 c 620s| 31700 | 49 | 7070k| 207.9 | 130M | 82 | 739 |9611 |4132 | 10k| 1 | 18k| 23 | 0.000000e+00 | -- | Inf | 90.79%
620.06/621.64 c 622s| 31800 | 43 | 7093k| 207.9 | 130M | 82 | 739 |9660 |4131 | 10k| 1 | 18k| 23 | 0.000000e+00 | -- | Inf | 90.79%
620.66/622.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
620.66/622.27 c 622s| 31900 | 46 | 7105k| 207.6 | 130M | 82 | 739 |9738 | 0 | 10k| 0 | 18k| 23 | 0.000000e+00 | -- | Inf | 90.79%
621.66/623.20 c 623s| 32000 | 42 | 7124k| 207.6 | 130M | 82 | 739 |9782 |4135 | 10k| 0 | 18k| 23 | 0.000000e+00 | -- | Inf | 90.79%
622.85/624.45 c 624s| 32100 | 38 | 7148k| 207.7 | 130M | 82 | 739 |9876 |4138 | 10k| 2 | 19k| 23 | 0.000000e+00 | -- | Inf | 90.79%
624.55/626.14 c 626s| 32200 | 41 | 7178k| 208.0 | 130M | 82 | 739 |9897 |4121 | 10k| 1 | 19k| 23 | 0.000000e+00 | -- | Inf | 90.79%
626.55/628.13 c 628s| 32300 | 35 | 7215k| 208.4 | 130M | 82 | 739 |9968 |4125 | 10k| 0 | 19k| 23 | 0.000000e+00 | -- | Inf | 90.83%
627.84/629.41 c 629s| 32400 | 45 | 7238k| 208.5 | 130M | 82 | 739 |9996 |4131 | 10k| 0 | 19k| 23 | 0.000000e+00 | -- | Inf | 90.84%
629.24/630.89 c 631s| 32500 | 47 | 7266k| 208.7 | 130M | 82 | 739 | 10k|4122 | 10k| 1 | 19k| 23 | 0.000000e+00 | -- | Inf | 90.85%
629.84/631.46 c 631s| 32600 | 57 | 7277k| 208.4 | 130M | 82 | 739 | 10k|4134 | 10k| 1 | 19k| 23 | 0.000000e+00 | -- | Inf | 90.86%
630.54/632.16 c 632s| 32700 | 45 | 7292k| 208.2 | 130M | 82 | 739 | 10k|4123 | 10k| 1 | 19k| 23 | 0.000000e+00 | -- | Inf | 90.86%
631.63/633.26 c 633s| 32800 | 48 | 7313k| 208.3 | 130M | 82 | 739 | 10k|4128 | 10k| 1 | 19k| 23 | 0.000000e+00 | -- | Inf | 90.86%
632.44/634.09 c 634s| 32900 | 49 | 7329k| 208.1 | 130M | 82 | 739 | 10k|4133 | 10k| 0 | 19k| 23 | 0.000000e+00 | -- | Inf | 90.87%
633.83/635.41 c 635s| 33000 | 37 | 7355k| 208.3 | 130M | 82 | 739 | 10k|4123 | 10k| 1 | 19k| 23 | 0.000000e+00 | -- | Inf | 90.87%
635.32/636.95 c 637s| 33100 | 42 | 7383k| 208.5 | 130M | 82 | 739 | 10k|4127 | 10k| 0 | 19k| 23 | 0.000000e+00 | -- | Inf | 90.87%
637.12/638.74 c 639s| 33200 | 45 | 7416k| 208.8 | 130M | 82 | 739 | 10k|4137 | 10k| 0 | 19k| 23 | 0.000000e+00 | -- | Inf | 90.87%
639.71/641.35 c 641s| 33300 | 36 | 7463k| 209.5 | 130M | 82 | 739 | 10k|4138 | 10k| 0 | 19k| 23 | 0.000000e+00 | -- | Inf | 90.88%
641.01/642.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
641.01/642.68 c 643s| 33400 | 45 | 7487k| 209.7 | 130M | 82 | 739 | 10k|4127 | 10k| 0 | 19k| 23 | 0.000000e+00 | -- | Inf | 90.88%
642.01/643.64 c 644s| 33500 | 37 | 7506k| 209.6 | 130M | 82 | 739 | 10k|4127 | 10k| 0 | 19k| 23 | 0.000000e+00 | -- | Inf | 90.88%
643.60/645.26 c 645s| 33600 | 37 | 7537k| 209.9 | 130M | 82 | 739 | 10k|4124 | 11k| 0 | 19k| 23 | 0.000000e+00 | -- | Inf | 90.89%
645.50/647.14 c 647s| 33700 | 35 | 7574k| 210.3 | 130M | 82 | 739 | 10k|4131 | 11k| 0 | 20k| 23 | 0.000000e+00 | -- | Inf | 90.89%
647.10/648.74 c 649s| 33800 | 38 | 7605k| 210.6 | 130M | 82 | 739 | 10k|4126 | 11k| 1 | 20k| 23 | 0.000000e+00 | -- | Inf | 90.90%
648.50/650.16 c 650s| 33900 | 31 | 7631k| 210.7 | 130M | 82 | 739 | 10k|4125 | 11k| 0 | 20k| 23 | 0.000000e+00 | -- | Inf | 90.90%
649.99/651.64 c 652s| 34000 | 38 | 7658k| 210.9 | 130M | 82 | 739 | 10k|4125 | 11k| 1 | 20k| 23 | 0.000000e+00 | -- | Inf | 90.90%
650.99/652.67 c 653s| 34100 | 32 | 7677k| 210.8 | 130M | 82 | 739 | 10k|4121 | 11k| 0 | 20k| 23 | 0.000000e+00 | -- | Inf | 90.90%
652.28/653.90 c 654s| 34200 | 32 | 7701k| 210.9 | 130M | 82 | 739 | 10k|4126 | 11k| 1 | 20k| 23 | 0.000000e+00 | -- | Inf | 90.91%
653.28/654.98 c 655s| 34300 | 34 | 7721k| 210.9 | 130M | 82 | 739 | 10k|4132 | 11k| 0 | 20k| 23 | 0.000000e+00 | -- | Inf | 90.91%
654.38/656.04 c 656s| 34400 | 33 | 7742k| 210.9 | 130M | 82 | 739 | 10k|4133 | 11k| 0 | 20k| 23 | 0.000000e+00 | -- | Inf | 90.91%
655.77/657.45 c 657s| 34500 | 30 | 7769k| 211.0 | 130M | 82 | 739 | 10k|4137 | 11k| 1 | 20k| 23 | 0.000000e+00 | -- | Inf | 90.91%
656.97/658.61 c 659s| 34600 | 26 | 7791k| 211.1 | 130M | 82 | 739 | 10k|4123 | 11k| 1 | 20k| 23 | 0.000000e+00 | -- | Inf | 90.91%
658.87/660.50 c 660s| 34700 | 30 | 7827k| 211.5 | 130M | 82 | 739 | 10k|4127 | 11k| 0 | 20k| 23 | 0.000000e+00 | -- | Inf | 90.97%
660.56/662.21 c 662s| 34800 | 27 | 7860k| 211.8 | 130M | 82 | 739 | 10k|4126 | 11k| 1 | 20k| 23 | 0.000000e+00 | -- | Inf | 90.97%
662.16/663.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
662.16/663.81 c 664s| 34900 | 29 | 7886k| 211.9 | 130M | 82 | 739 |9208 |4118 | 11k| 0 | 20k| 23 | 0.000000e+00 | -- | Inf | 90.99%
663.56/665.28 c 665s| 35000 | 28 | 7910k| 212.0 | 130M | 82 | 739 |9304 | 0 | 11k| 0 | 20k| 23 | 0.000000e+00 | -- | Inf | 91.07%
664.85/666.51 c 667s| 35100 | 36 | 7934k| 212.1 | 130M | 82 | 739 |9373 |4119 | 11k| 0 | 20k| 23 | 0.000000e+00 | -- | Inf | 91.08%
666.05/667.71 c 668s| 35200 | 28 | 7958k| 212.2 | 130M | 82 | 739 |9443 |4129 | 11k| 2 | 20k| 23 | 0.000000e+00 | -- | Inf | 91.08%
667.95/669.61 c 670s| 35300 | 32 | 7997k| 212.6 | 130M | 82 | 739 |9531 |4122 | 11k| 1 | 21k| 23 | 0.000000e+00 | -- | Inf | 91.09%
669.54/671.20 c 671s| 35400 | 35 | 8029k| 212.9 | 130M | 82 | 739 |9609 |4125 | 11k| 0 | 21k| 23 | 0.000000e+00 | -- | Inf | 91.10%
671.24/672.94 c 673s| 35500 | 24 | 8062k| 213.2 | 131M | 82 | 739 |9692 |4127 | 11k| 0 | 21k| 23 | 0.000000e+00 | -- | Inf | 91.10%
673.13/674.82 c 675s| 35600 | 27 | 8100k| 213.7 | 131M | 82 | 739 |9763 |4131 | 12k| 3 | 21k| 23 | 0.000000e+00 | -- | Inf | 91.11%
674.34/676.07 c 676s| 35700 | 29 | 8124k| 213.7 | 131M | 82 | 739 |9843 |4118 | 12k| 0 | 21k| 23 | 0.000000e+00 | -- | Inf | 91.12%
676.23/677.98 c 678s| 35800 | 24 | 8161k| 214.1 | 131M | 82 | 739 |9920 |4126 | 12k| 0 | 21k| 23 | 0.000000e+00 | -- | Inf | 91.14%
678.22/679.97 c 680s| 35900 | 20 | 8198k| 214.5 | 131M | 82 | 739 |9959 |4128 | 12k| 0 | 21k| 23 | 0.000000e+00 | -- | Inf | 91.18%
679.92/681.64 c 682s| 36000 | 25 | 8228k| 214.8 | 131M | 82 | 739 | 10k|4119 | 12k| 0 | 21k| 23 | 0.000000e+00 | -- | Inf | 91.24%
681.01/682.78 c 683s| 36100 | 27 | 8249k| 214.8 | 131M | 82 | 739 | 10k|4125 | 12k| 2 | 21k| 23 | 0.000000e+00 | -- | Inf | 91.26%
682.91/684.63 c 685s| 36200 | 23 | 8285k| 215.1 | 131M | 82 | 739 | 10k|4124 | 12k| 1 | 21k| 23 | 0.000000e+00 | -- | Inf | 91.33%
684.41/686.12 c 686s| 36300 | 29 | 8314k| 215.3 | 131M | 82 | 739 | 10k|4123 | 12k| 1 | 21k| 23 | 0.000000e+00 | -- | Inf | 91.36%
685.70/687.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
685.70/687.40 c 687s| 36400 | 24 | 8340k| 215.4 | 131M | 82 | 739 | 10k|4122 | 12k| 1 | 21k| 23 | 0.000000e+00 | -- | Inf | 91.37%
687.30/689.00 c 689s| 36500 | 19 | 8371k| 215.7 | 131M | 82 | 739 | 10k|4122 | 12k| 1 | 21k| 23 | 0.000000e+00 | -- | Inf | 91.46%
688.80/690.52 c 691s| 36600 | 22 | 8401k| 215.9 | 131M | 82 | 739 | 10k|4125 | 12k| 1 | 22k| 23 | 0.000000e+00 | -- | Inf | 91.47%
690.59/692.32 c 692s| 36700 | 18 | 8436k| 216.3 | 131M | 82 | 739 | 10k|4120 | 12k| 1 | 22k| 23 | 0.000000e+00 | -- | Inf | 91.50%
692.29/694.00 c 694s| 36800 | 19 | 8467k| 216.5 | 131M | 82 | 739 | 10k|4123 | 12k| 1 | 22k| 23 | 0.000000e+00 | -- | Inf | 91.53%
694.48/696.21 c 696s| 36900 | 31 | 8502k| 216.9 | 131M | 82 | 739 | 10k|4123 | 12k| 2 | 22k| 23 | 0.000000e+00 | -- | Inf | 91.57%
694.88/696.62 c 697s| 37000 | 45 | 8508k| 216.4 | 133M | 82 | 739 | 10k|4121 | 12k| 1 | 22k| 23 | 0.000000e+00 | -- | Inf | 91.57%
695.58/697.31 c 697s| 37100 | 59 | 8518k| 216.2 | 133M | 82 | 739 | 10k| 0 | 12k| 0 | 22k| 23 | 0.000000e+00 | -- | Inf | 91.57%
696.08/697.83 c 698s| 37200 | 67 | 8526k| 215.8 | 133M | 82 | 739 | 10k|4127 | 12k| 1 | 22k| 23 | 0.000000e+00 | -- | Inf | 91.57%
696.38/698.10 c 698s| 37300 | 68 | 8530k| 215.3 | 133M | 82 | 739 | 10k|4127 | 12k| 1 | 22k| 23 | 0.000000e+00 | -- | Inf | 91.57%
696.68/698.41 c 698s| 37400 | 60 | 8535k| 214.9 | 133M | 82 | 739 | 10k|4128 | 12k| 0 | 22k| 23 | 0.000000e+00 | -- | Inf | 91.57%
697.07/698.84 c 699s| 37500 | 65 | 8542k| 214.6 | 133M | 82 | 739 | 10k|4119 | 12k| 1 | 22k| 23 | 0.000000e+00 | -- | Inf | 91.57%
697.47/699.25 c 699s| 37600 | 87 | 8550k| 214.2 | 133M | 82 | 739 | 11k|4120 | 12k| 1 | 22k| 23 | 0.000000e+00 | -- | Inf | 91.57%
698.17/699.95 c 700s| 37700 | 97 | 8565k| 214.1 | 133M | 82 | 739 | 11k| 0 | 12k| 0 | 23k| 23 | 0.000000e+00 | -- | Inf | 91.57%
698.87/700.64 c 701s| 37800 | 79 | 8578k| 213.9 | 133M | 82 | 739 | 11k|4115 | 12k| 1 | 23k| 23 | 0.000000e+00 | -- | Inf | 91.57%
700.07/701.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
700.07/701.86 c 702s| 37900 | 65 | 8602k| 213.9 | 133M | 82 | 739 | 11k|4123 | 12k| 1 | 23k| 23 | 0.000000e+00 | -- | Inf | 91.58%
700.96/702.73 c 703s| 38000 | 94 | 8619k| 213.8 | 133M | 82 | 739 | 11k|4125 | 12k| 1 | 23k| 23 | 0.000000e+00 | -- | Inf | 91.58%
701.86/703.62 c 704s| 38100 | 98 | 8638k| 213.8 | 133M | 82 | 739 | 11k|4121 | 12k| 0 | 23k| 23 | 0.000000e+00 | -- | Inf | 91.58%
702.76/704.57 c 705s| 38200 | 90 | 8658k| 213.7 | 133M | 82 | 739 | 11k|4122 | 12k| 1 | 23k| 23 | 0.000000e+00 | -- | Inf | 91.58%
703.16/704.97 c 705s| 38300 | 92 | 8663k| 213.3 | 133M | 82 | 739 | 11k|4134 | 13k| 0 | 23k| 23 | 0.000000e+00 | -- | Inf | 91.58%
703.36/705.16 c r 705s| 38322 | 0 | 8666k| 213.3 |randroun| 82 | 739 | 11k|4136 | 13k| 2 | 23k| 23 | 0.000000e+00 | 0.000000e+00 | 0.00%| 100.00%
703.36/705.16 c
703.36/705.16 c SCIP Status : problem is solved [optimal solution found]
703.36/705.16 c Solving Time (sec) : 705.16
703.36/705.16 c Solving Nodes : 38322 (total of 40477 nodes in 2 runs)
703.36/705.16 c Primal Bound : +0.00000000000000e+00 (1 solutions)
703.36/705.16 c Dual Bound : +0.00000000000000e+00
703.36/705.16 c Gap : 0.00 %
703.36/705.16 s SATISFIABLE
703.36/705.16 v x900 x899 x898 x897 x896 x895 x894 x893 x892 x891 x890 x889 x888 x887 x886 x885 x884 x883 x882 x881 x880 x879 x878 x877 x876 x875
703.36/705.16 v x874 x873 x872 x871 x870 x869 x868 x867 x866 x865 x864 x863 x862 x861 x860 x859 x858 x857 x856 x855 x854 x853 x852 x851 x850
703.36/705.16 v x849 x848 x847 x846 x845 x844 x843 x842 x841 x840 x839 x838 x837 x836 x835 x834 x833 x832 x831 x830 x829 x828 x827 x826 x825
703.36/705.16 v x824 x823 x822 x821 x820 x819 x818 x817 x816 x815 x814 x813 x812 x811 x810 x809 x808 x807 x806 x805 x804 x803 x802 -x801 x800
703.36/705.16 v x799 x798 x797 x796 x795 x794 x793 x792 x791 x790 x789 x788 x787 x786 -x785 x784 x783 x782 x781 x780 x779 -x778 x777 x776
703.36/705.16 v x775 x774 x773 x772 x771 x770 x769 x768 x767 x766 x765 x764 x763 x762 x761 -x760 -x759 -x758 x757 x756 x755 x754 x753 -x752
703.36/705.16 v -x751 x750 x749 x748 x747 x746 x745 -x744 x743 x742 x741 x740 -x739 x738 x737 x736 -x735 -x734 x733 x732 x731 -x730 -x729 x728
703.36/705.16 v x727 x726 x725 -x724 x723 x722 x721 x720 x719 x718 -x717 -x716 x715 x714 x713 x712 -x711 x710 x709 x708 x707 -x706 x705 x704
703.36/705.16 v x703 x702 x701 x700 x699 x698 x697 -x696 -x695 x694 x693 x692 x691 x690 -x689 -x688 x687 x686 x685 x684 x683 x682 -x681 x680
703.36/705.16 v x679 x678 x677 -x676 x675 -x674 x673 x672 -x671 -x670 -x669 -x668 x667 x666 x665 x664 -x663 -x662 -x661 x660 x659 x658 x657
703.36/705.16 v x656 -x655 -x654 x653 x652 x651 -x650 -x649 -x648 x647 -x646 -x645 -x644 x643 x642 -x641 -x640 -x639 x638 x637 x636 -x635 -x634
703.36/705.16 v x633 x632 -x631 x630 x629 x628 -x627 -x626 x625 x624 -x623 -x622 -x621 x620 x619 x618 -x617 -x616 x615 x614 -x613 x612 x611
703.36/705.16 v x610 x609 x608 x607 -x606 -x605 x604 x603 x602 x601 -x600 -x599 -x598 x597 x596 x595 x594 x593 -x592 -x591 x590 x589 x588
703.36/705.16 v -x587 -x586 x585 -x584 x583 x582 -x581 -x580 -x579 -x578 x577 x576 x575 x574 -x573 -x572 -x571 x570 x569 x568 x567 -x566 -x565
703.36/705.16 v -x564 x563 x562 -x561 -x560 -x559 -x558 x557 -x556 -x555 -x554 x553 x552 -x551 -x550 -x549 x548 x547 -x546 -x545 -x544 x543
703.36/705.16 v -x542 -x541 -x540 x539 -x538 -x537 -x536 x535 x534 -x533 -x532 -x531 x530 x529 x528 -x527 -x526 x525 x524 -x523 x522 -x521 x520
703.36/705.16 v x519 x518 -x517 -x516 -x515 x514 x513 x512 x511 -x510 -x509 -x508 x507 x506 x505 x504 x503 -x502 -x501 x500 x499 x498 -x497
703.36/705.16 v -x496 x495 -x494 x493 -x492 -x491 -x490 -x489 -x488 x487 x486 -x485 -x484 -x483 -x482 -x481 x480 x479 x478 x477 -x476 -x475
703.36/705.16 v -x474 x473 x472 -x471 -x470 -x469 -x468 x467 -x466 -x465 -x464 x463 -x462 -x461 -x460 -x459 x458 x457 -x456 -x455 -x454 x453
703.36/705.16 v -x452 -x451 -x450 x449 -x448 -x447 -x446 x445 x444 -x443 -x442 -x441 x440 x439 x438 -x437 -x436 x435 x434 -x433 x432 -x431
703.36/705.16 v x430 x429 x428 -x427 -x426 -x425 x424 x423 x422 x421 -x420 -x419 -x418 x417 x416 x415 x414 -x413 -x412 -x411 x410 x409 -x408
703.36/705.16 v -x407 -x406 -x405 -x404 x403 -x402 -x401 -x400 -x399 -x398 x397 x396 -x395 -x394 -x393 -x392 -x391 x390 x389 x388 -x387 -x386
703.36/705.16 v -x385 -x384 x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 x373 -x372 -x371 -x370 -x369 x368 -x367 -x366 -x365 -x364
703.36/705.16 v x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 x355 -x354 -x353 -x352 -x351 x350 x349 -x348 -x347 -x346 x345 -x344 -x343
703.36/705.16 v x342 -x341 x340 x339 -x338 -x337 -x336 -x335 x334 x333 x332 -x331 -x330 -x329 -x328 x327 x326 x325 x324 -x323 -x322 -x321 x320
703.36/705.16 v x319 -x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 -x309 -x308 x307 x306 -x305 -x304 -x303 -x302 -x301 x300 x299 x298
703.36/705.16 v -x297 -x296 -x295 -x294 x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 x278 -x277
703.36/705.16 v -x276 -x275 -x274 x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 x265 -x264 -x263 -x262 -x261 x260 x259 -x258 -x257 -x256 x255
703.36/705.16 v -x254 -x253 -x252 -x251 x250 -x249 -x248 -x247 -x246 -x245 x244 x243 -x242 -x241 -x240 -x239 -x238 x237 x236 x235 x234 -x233
703.36/705.16 v -x232 -x231 x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212
703.36/705.16 v -x211 x210 x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191
703.36/705.16 v -x190 -x189 x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 x170 -x169
703.36/705.16 v -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 x153 -x152 -x151 -x150 -x149 -x148
703.36/705.16 v x147 x146 x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126
703.36/705.16 v -x125 -x124 -x123 -x122 -x121 x120 x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
703.36/705.16 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81
703.36/705.16 v -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55
703.36/705.16 v -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 x30
703.36/705.16 v x29 -x28 -x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3
703.36/705.16 v -x2 -x1
703.36/705.16 c SCIP Status : problem is solved [optimal solution found]
703.36/705.16 c Total Time : 705.16
703.36/705.16 c solving : 705.16
703.36/705.16 c presolving : 1.30 (included in solving)
703.36/705.16 c reading : 0.01 (included in solving)
703.36/705.16 c copying : 1.05 (106 #copies) (minimal 0.01, maximal 0.02, average 0.01)
703.36/705.16 c Original Problem :
703.36/705.16 c Problem name : HOME/instance-4452455-1721442908.opb
703.36/705.16 c Variables : 900 (900 binary, 0 integer, 0 implicit integer, 0 continuous)
703.36/705.16 c Constraints : 6271 initial, 6271 maximal
703.36/705.16 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
703.36/705.16 c Presolved Problem :
703.36/705.16 c Problem name : t_HOME/instance-4452455-1721442908.opb
703.36/705.16 c Variables : 739 (739 binary, 0 integer, 0 implicit integer, 0 continuous)
703.36/705.16 c Constraints : 4563 initial, 11379 maximal
703.36/705.16 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
703.36/705.16 c Nonzeros : 21151 constraint, 14348 clique table
703.36/705.16 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
703.36/705.16 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
703.36/705.16 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
703.36/705.16 c domcol : 0.02 0.00 8 0 0 0 0 0 0 0 0 0
703.36/705.16 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
703.36/705.16 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
703.36/705.16 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
703.36/705.16 c dualsparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
703.36/705.16 c gateextraction : 0.02 0.00 7 0 0 0 0 0 0 0 0 0
703.36/705.16 c implics : 0.00 0.00 17 0 0 0 0 0 0 0 0 0
703.36/705.16 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
703.36/705.16 c milp : 0.03 0.00 2 11 0 0 0 0 0 0 0 0
703.36/705.16 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
703.36/705.16 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
703.36/705.16 c sparsify : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
703.36/705.16 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
703.36/705.16 c trivial : 0.00 0.00 26 21 0 0 0 0 0 0 0 0
703.36/705.16 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
703.36/705.16 c dualfix : 0.00 0.00 26 0 0 0 0 0 0 0 0 0
703.36/705.16 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
703.36/705.16 c probing : 0.69 0.00 7 129 0 0 0 0 0 0 0 0
703.36/705.16 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
703.36/705.16 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
703.36/705.16 c vbounds : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
703.36/705.16 c knapsack : 0.36 0.00 52 0 0 0 0 0 0 0 0 25
703.36/705.16 c setppc : 0.06 0.00 52 0 0 0 0 0 2066 0 0 0
703.36/705.16 c linear : 0.03 0.00 20 0 0 0 0 0 111 0 5 1
703.36/705.16 c logicor : 0.04 0.00 21 5 0 0 0 0 157 0 0 1224
703.36/705.16 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
703.36/705.16 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
703.36/705.16 c root node : - - - 146 - - 146 - - - - -
703.36/705.16 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
703.36/705.16 c benderslp : 0 0 0 0 21105 0 0 4063 0 0 0 0 0 0 0
703.36/705.16 c integral : 0 0 0 0 21105 0 0 4063 0 0 0 0 0 0 42210
703.36/705.16 c knapsack : 26+ 27 23 141735 0 0 0 4056 776078 2454 176786 2 1 0 0
703.36/705.16 c setppc : 4092+ 4098 23 139281 0 0 0 1 1753562 381 242690 1 1 0 0
703.36/705.16 c linear : 17+ 92 24 134548 0 0 0 3 129323 1432 41588 0 0 0 0
703.36/705.16 c logicor : 428+ 8588 23 53307 0 0 0 0 81272 313 21870 0 0 0 0
703.36/705.16 c benders : 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0
703.36/705.16 c fixedvar : 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0
703.36/705.16 c countsols : 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0
703.36/705.16 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
703.36/705.16 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
703.36/705.16 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
703.36/705.16 c integral : 3.34 0.00 0.00 0.00 3.34 0.00 0.00 0.00 0.00 0.00
703.36/705.16 c knapsack : 5.30 0.00 0.31 4.36 0.00 0.00 0.00 0.10 0.51 0.01
703.36/705.16 c setppc : 2.00 0.00 0.01 1.70 0.00 0.00 0.00 0.00 0.29 0.01
703.36/705.16 c linear : 0.50 0.00 0.00 0.34 0.00 0.00 0.00 0.00 0.15 0.00
703.36/705.16 c logicor : 1.12 0.00 0.00 1.07 0.00 0.00 0.00 0.00 0.05 0.00
703.36/705.16 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
703.36/705.16 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
703.36/705.16 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
703.36/705.16 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
703.36/705.16 c Propagators : #Propagate #ResProp Cutoffs DomReds
703.36/705.16 c dualfix : 2 0 0 0
703.36/705.16 c genvbounds : 0 0 0 0
703.36/705.16 c nlobbt : 0 0 0 0
703.36/705.16 c obbt : 0 0 0 0
703.36/705.16 c probing : 0 0 0 0
703.36/705.16 c pseudoobj : 0 0 0 0
703.36/705.16 c redcost : 0 0 0 0
703.36/705.16 c rootredcost : 0 0 0 0
703.36/705.16 c symmetry : 0 0 0 0
703.36/705.16 c vbounds : 129937 0 0 0
703.36/705.16 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
703.36/705.16 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
703.36/705.16 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
703.36/705.16 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
703.36/705.16 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
703.36/705.16 c probing : 0.69 0.00 0.69 0.00 0.00 0.00
703.36/705.16 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
703.36/705.16 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
703.36/705.16 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
703.36/705.16 c symmetry : 0.03 0.00 0.01 0.02 0.00 0.00
703.36/705.16 c vbounds : 1.59 0.00 0.00 1.58 0.00 0.00
703.36/705.16 c Symmetry :
703.36/705.16 c orbitopal red. : 0 reductions applied, 0 cutoffs
703.36/705.16 c orbital reduction: 0 reductions applied, 0 cutoffs
703.36/705.16 c lexicographic red: 0 reductions applied, 0 cutoffs
703.36/705.16 c shadow tree time : 0.00 s
703.36/705.16 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
703.36/705.16 c propagation : 0.75 2920 2861 - 41233 135.6 62 93.0 - - -
703.36/705.16 c infeasible LP : 6.16 16321 9473 - 136153 132.4 185 45.0 86 71.7 0
703.36/705.16 c bound exceed. LP : 0.00 1 0 - 0 0.0 0 0.0 0 0.0 0
703.36/705.16 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
703.36/705.16 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
703.36/705.16 c applied globally : 0.94 - - 0 23349 20.0 - - 86 - -
703.36/705.16 c applied locally : - - - 0 13 181.3 - - 0 - -
703.36/705.16 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
703.36/705.16 c cut pool : 1.79 - 5145 40 - - 14879 243376 - - - - - (maximal pool size: 1923)
703.36/705.16 c aggregation : 1.84 0.00 706 23 0 0 220 12154 27 1292 1283 9 0
703.36/705.16 c > cmir : - - - - - - - 11270 0 1011 1011 0 -
703.36/705.16 c > flowcover : - - - - - - - 783 0 262 262 0 -
703.36/705.16 c > knapsackcover : - - - - - - - 101 27 19 10 9 -
703.36/705.16 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
703.36/705.16 c clique : 0.15 0.00 23 23 0 0 44 73 0 18 18 0 0
703.36/705.16 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
703.36/705.16 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
703.36/705.16 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
703.36/705.16 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
703.36/705.16 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
703.36/705.16 c gomory : 126.45 0.00 703 20 0 0 14906 229649 422 12021 12010 11 0
703.36/705.16 c > gomorymi : - - - - - - - 186585 362 8689 8680 9 -
703.36/705.16 c > strongcg : - - - - - - - 43064 60 3332 3330 2 -
703.36/705.16 c impliedbounds : 0.37 0.00 706 23 0 0 70 381 0 206 206 0 0
703.36/705.16 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
703.36/705.16 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
703.36/705.16 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
703.36/705.16 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
703.36/705.16 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
703.36/705.16 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
703.36/705.16 c multilinear : 0.00 0.00 1499 23 0 0 0 0 0 0 0 0 0
703.36/705.16 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
703.36/705.16 c rapidlearning : 7.10 0.00 100 2 0 4252 0 0 0 0 0 0 1031
703.36/705.16 c rlt : 0.00 0.00 391 20 0 0 0 0 0 0 0 0 0
703.36/705.16 c zerohalf : 0.66 0.00 706 23 0 0 130 1119 79 235 205 30 0
703.36/705.16 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
703.36/705.16 c hybrid : 0.20 0.00 4280 22 13778 1 228769 48 0 204
703.36/705.16 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
703.36/705.16 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
703.36/705.16 c Pricers : ExecTime SetupTime Calls Vars
703.36/705.16 c problem variables: 0.00 - 0 0
703.36/705.16 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
703.36/705.16 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
703.36/705.16 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
703.36/705.16 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
703.36/705.16 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
703.36/705.16 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
703.36/705.16 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
703.36/705.16 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
703.36/705.16 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
703.36/705.16 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
703.36/705.16 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
703.36/705.16 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
703.36/705.16 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
703.36/705.16 c random : 0.00 0.00 0 0 0 0 0 0 0 0
703.36/705.16 c relpscost : 3.33 0.00 21105 0 0 0 0 0 0 42210
703.36/705.16 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
703.36/705.16 c Primal Heuristics : ExecTime SetupTime Calls Found Best
703.36/705.16 c LP solutions : 0.00 - - 0 0
703.36/705.16 c relax solutions : 0.00 - - 0 0
703.36/705.16 c pseudo solutions : 0.00 - - 0 0
703.36/705.16 c strong branching : 0.00 - - 0 0
703.36/705.16 c actconsdiving : 0.00 0.00 0 0 0
703.36/705.16 c adaptivediving : 1.52 0.00 42 0 0
703.36/705.16 c alns : 0.56 0.00 8 0 0
703.36/705.16 c bound : 0.00 0.00 0 0 0
703.36/705.16 c clique : 0.01 0.00 1 0 0
703.36/705.16 c coefdiving : 0.00 0.00 0 0 0
703.36/705.16 c completesol : 0.00 0.00 0 0 0
703.36/705.16 c conflictdiving : 2.17 0.00 21 0 0
703.36/705.16 c crossover : 0.00 0.00 0 0 0
703.36/705.16 c dins : 0.00 0.00 0 0 0
703.36/705.16 c distributiondivin: 2.28 0.00 21 0 0
703.36/705.16 c dps : 0.00 0.00 0 0 0
703.36/705.16 c dualval : 0.00 0.00 0 0 0
703.36/705.16 c farkasdiving : 0.00 0.00 0 0 0
703.36/705.16 c feasjump : 0.20 0.00 2 0 0
703.36/705.16 c feaspump : 0.43 0.00 11 0 0
703.36/705.16 c fixandinfer : 0.00 0.00 0 0 0
703.36/705.16 c fracdiving : 1.46 0.00 22 0 0
703.36/705.16 c gins : 0.00 0.00 0 0 0
703.36/705.16 c guideddiving : 0.00 0.00 0 0 0
703.36/705.16 c indcoefdiving : 0.00 0.00 0 0 0
703.36/705.16 c indicator : 0.01 0.00 0 0 0
703.36/705.16 c indicatordiving : 0.00 0.00 0 0 0
703.36/705.16 c indoneopt : 0.01 0.00 0 0 0
703.36/705.16 c indrounding : 0.00 0.00 0 0 0
703.36/705.16 c indtwoopt : 0.00 0.00 0 0 0
703.36/705.16 c intdiving : 0.00 0.00 0 0 0
703.36/705.16 c intshifting : 0.00 0.00 0 0 0
703.36/705.16 c linesearchdiving : 0.83 0.00 21 0 0
703.36/705.16 c localbranching : 0.00 0.00 0 0 0
703.36/705.16 c locks : 0.01 0.00 1 0 0
703.36/705.16 c lpface : 0.03 0.00 0 0 0
703.36/705.16 c mpec : 0.00 0.00 0 0 0
703.36/705.16 c multistart : 0.00 0.00 0 0 0
703.36/705.16 c mutation : 0.00 0.00 0 0 0
703.36/705.16 c nlpdiving : 0.00 0.00 0 0 0
703.36/705.16 c objpscostdiving : 2.87 0.00 11 0 0
703.36/705.16 c octane : 0.00 0.00 0 0 0
703.36/705.16 c ofins : 0.00 0.00 0 0 0
703.36/705.16 c oneopt : 0.01 0.00 0 0 0
703.36/705.16 c padm : 0.00 0.00 0 0 0
703.36/705.16 c proximity : 0.00 0.00 0 0 0
703.36/705.16 c pscostdiving : 1.41 0.00 22 0 0
703.36/705.16 c randrounding : 0.30 0.00 4071 1 1
703.36/705.16 c rens : 1.37 0.00 1 0 0
703.36/705.16 c reoptsols : 0.00 0.00 0 0 0
703.36/705.16 c repair : 0.00 0.00 0 0 0
703.36/705.16 c rins : 0.00 0.00 0 0 0
703.36/705.16 c rootsoldiving : 0.75 0.00 11 0 0
703.36/705.16 c rounding : 0.22 0.00 2231 0 0
703.36/705.16 c scheduler : 0.00 0.00 0 0 0
703.36/705.16 c shiftandpropagate: 0.02 0.00 2 0 0
703.36/705.16 c shifting : 0.57 0.00 1026 0 0
703.36/705.16 c simplerounding : 0.01 0.00 0 0 0
703.36/705.16 c smallcard : 0.00 0.00 0 0 0
703.36/705.16 c subnlp : 0.01 0.00 0 0 0
703.36/705.16 c trivial : 0.00 0.00 4 0 0
703.36/705.16 c trivialnegation : 0.00 0.00 0 0 0
703.36/705.16 c trustregion : 0.00 0.00 0 0 0
703.36/705.16 c trysol : 0.01 0.00 0 0 0
703.36/705.16 c twoopt : 0.00 0.00 0 0 0
703.36/705.16 c undercover : 0.00 0.00 0 0 0
703.36/705.16 c vbounds : 0.02 0.00 2 0 0
703.36/705.16 c veclendiving : 0.80 0.00 21 0 0
703.36/705.16 c zeroobj : 0.00 0.00 0 0 0
703.36/705.16 c zirounding : 0.06 0.00 1000 0 0
703.36/705.16 c other solutions : - - - 0 -
703.36/705.16 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
703.36/705.16 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
703.36/705.16 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
703.36/705.16 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
703.36/705.16 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
703.36/705.16 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
703.36/705.16 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
703.36/705.16 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
703.36/705.16 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
703.36/705.16 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
703.36/705.16 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
703.36/705.16 c primal LP : 0.75 2500 0 0.00 0.00 0.75 2500
703.36/705.16 c dual LP : 511.56 41635 8503576 204.73 16622.72 0.04 100
703.36/705.16 c lex dual LP : 0.00 0 0 0.00 -
703.36/705.16 c barrier LP : 0.00 0 0 0.00 - 0.00 0
703.36/705.16 c resolve instable : 0.02 6 412 68.67 26784.55
703.36/705.16 c diving/probing LP: 13.01 982 162969 165.96 12527.70
703.36/705.16 c strong branching : 2.22 23 16914 735.39 7628.46 - - 27
703.36/705.16 c (at root node) : - 23 16914 735.39 -
703.36/705.16 c conflict analysis: 0.00 1 0 0.00 -
703.36/705.16 c B&B Tree :
703.36/705.16 c number of runs : 2
703.36/705.16 c nodes : 38322 (19955 internal, 18367 leaves)
703.36/705.16 c feasible leaves : 0
703.36/705.16 c infeas. leaves : 18366
703.36/705.16 c objective leaves : 1
703.36/705.16 c nodes (total) : 40477 (21105 internal, 19372 leaves)
703.36/705.16 c nodes left : 0
703.36/705.16 c max depth : 82
703.36/705.16 c max depth (total): 82
703.36/705.16 c backtracks : 11131 (29.0%)
703.36/705.16 c early backtracks : 0 (0.0%)
703.36/705.16 c nodes exc. ref. : 0 (0.0%)
703.36/705.16 c delayed cutoffs : 1495
703.36/705.16 c repropagations : 20584 (93127 domain reductions, 1042 cutoffs)
703.36/705.16 c avg switch length: 3.59
703.36/705.16 c switching time : 6.16
703.36/705.16 c Root Node :
703.36/705.16 c First LP value : +0.00000000000000e+00
703.36/705.16 c First LP Iters : 854 (12412.43 Iter/sec)
703.36/705.16 c First LP Time : 0.07
703.36/705.16 c Final Dual Bound : +0.00000000000000e+00
703.36/705.16 c Final Root Iters : 33844
703.36/705.16 c Root LP Estimate : +4.43482759502625e-02
703.36/705.16 c Solution :
703.36/705.16 c Solutions found : 1 (1 improvements)
703.36/705.16 c First Solution : +0.00000000000000e+00 (in run 2, after 38322 nodes, 705.15 seconds, depth 40, found by <randrounding>)
703.36/705.16 c Gap First Sol. : 0.00 %
703.36/705.16 c Gap Last Sol. : 0.00 %
703.36/705.16 c Primal Bound : +0.00000000000000e+00 (in run 2, after 38322 nodes, 705.15 seconds, depth 40, found by <randrounding>)
703.36/705.16 c Dual Bound : +0.00000000000000e+00
703.36/705.16 c Gap : 0.00 %
703.36/705.16 c Integrals : Total Avg%
703.36/705.16 c primal-dual : 70515.53 100.00
703.36/705.16 c primal-ref : - - (not evaluated)
703.36/705.16 c dual-ref : - - (not evaluated)
703.36/705.19 c Time complete: 703.458.