0.00/0.02 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.02 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.02 c
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c reading problem <HOME/instance-4459696-1721939462.opb>
0.00/0.02 c original problem has 704 variables (192 bin, 0 int, 512 impl, 0 cont) and 537 constraints
0.00/0.02 c problem read in 0.00
0.00/0.03 c presolving:
0.00/0.03 c (round 1, fast) 9 del vars, 0 del conss, 8 add conss, 0 chg bounds, 0 chg sides, 54 chg coeffs, 0 upgd conss, 0 impls, 1022 clqs
0.00/0.03 c (round 2, fast) 9 del vars, 0 del conss, 8 add conss, 0 chg bounds, 0 chg sides, 54 chg coeffs, 1 upgd conss, 0 impls, 1022 clqs
0.00/0.03 c (round 3, medium) 9 del vars, 9 del conss, 8 add conss, 0 chg bounds, 0 chg sides, 54 chg coeffs, 1 upgd conss, 0 impls, 1018 clqs
0.00/0.03 c (round 4, exhaustive) 9 del vars, 9 del conss, 8 add conss, 0 chg bounds, 0 chg sides, 54 chg coeffs, 18 upgd conss, 0 impls, 1018 clqs
0.00/0.03 c (0.0s) probing: 58/695 (8.3%) - 0 fixings, 2 aggregations, 260 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.03 c (round 5, exhaustive) 11 del vars, 9 del conss, 8 add conss, 0 chg bounds, 0 chg sides, 54 chg coeffs, 18 upgd conss, 0 impls, 1272 clqs
0.00/0.03 c (round 6, fast) 11 del vars, 10 del conss, 16 add conss, 0 chg bounds, 0 chg sides, 54 chg coeffs, 18 upgd conss, 0 impls, 1272 clqs
0.00/0.03 c (round 7, exhaustive) 11 del vars, 12 del conss, 18 add conss, 0 chg bounds, 0 chg sides, 54 chg coeffs, 18 upgd conss, 0 impls, 1272 clqs
0.00/0.03 c (round 8, exhaustive) 11 del vars, 12 del conss, 18 add conss, 0 chg bounds, 0 chg sides, 54 chg coeffs, 26 upgd conss, 0 impls, 1272 clqs
0.00/0.03 c (round 9, fast) 11 del vars, 20 del conss, 18 add conss, 0 chg bounds, 0 chg sides, 54 chg coeffs, 26 upgd conss, 0 impls, 1272 clqs
0.00/0.03 c (0.0s) probing: 63/695 (9.1%) - 0 fixings, 2 aggregations, 260 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.03 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.03 c (0.0s) no symmetry present (symcode time: 0.00)
0.00/0.03 c presolving (10 rounds: 10 fast, 6 medium, 5 exhaustive):
0.00/0.03 c 11 deleted vars, 20 deleted constraints, 18 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 54 changed coefficients
0.00/0.03 c 0 implications, 1272 cliques
0.00/0.03 c presolved problem has 693 variables (191 bin, 0 int, 502 impl, 0 cont) and 544 constraints
0.00/0.03 c 2 constraints of type <setppc>
0.00/0.03 c 509 constraints of type <and>
0.00/0.03 c 8 constraints of type <linear>
0.00/0.03 c 17 constraints of type <logicor>
0.00/0.03 c 8 constraints of type <pseudoboolean>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.01
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 10.0.0
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.03 c limits/time = 3596.997474
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.03 c limits/memory = 27900
0.00/0.03 c
0.00/0.03 c # belongs reading time to solving time?
0.00/0.03 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c timing/reading = TRUE
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.04 c
0.00/0.04 o 129
0.00/0.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.04 c p 0.0s| 1 | 0 | 0 | - | clique| 0 | 693 | 544 |1030 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.290000e+02 | Inf | unknown
0.00/0.05 c 0.0s| 1 | 0 | 25 | - | 9373k | 0 | 693 | 558 |1031 | 0 | 0 | 13 | 0 | 2.000000e+00 | 1.290000e+02 |6350.00%| unknown
0.00/0.09 c 0.1s| 1 | 0 | 80 | - | 10M | 0 | 693 | 563 |1106 | 75 | 1 | 18 | 0 | 2.000000e+00 | 1.290000e+02 |6350.00%| unknown
0.05/0.11 c 0.1s| 1 | 0 | 177 | - | 10M | 0 | 693 | 563 |1132 | 101 | 2 | 18 | 0 | 2.000000e+00 | 1.290000e+02 |6350.00%| unknown
0.05/0.12 c 0.1s| 1 | 0 | 230 | - | 11M | 0 | 693 | 565 |1151 | 120 | 3 | 20 | 0 | 2.000000e+00 | 1.290000e+02 |6350.00%| unknown
0.05/0.16 c 0.1s| 1 | 0 | 283 | - | 12M | 0 | 693 | 565 |1166 | 135 | 4 | 20 | 0 | 2.000000e+00 | 1.290000e+02 |6350.00%| unknown
0.15/0.22 c 0.2s| 1 | 0 | 338 | - | 13M | 0 | 693 | 565 |1186 | 155 | 5 | 20 | 0 | 2.000000e+00 | 1.290000e+02 |6350.00%| unknown
0.15/0.26 c 0.2s| 1 | 0 | 401 | - | 15M | 0 | 693 | 565 |1201 | 170 | 6 | 20 | 0 | 2.000000e+00 | 1.290000e+02 |6350.00%| unknown
0.15/0.30 c 0.3s| 1 | 0 | 530 | - | 16M | 0 | 693 | 565 |1212 | 181 | 7 | 20 | 0 | 2.000000e+00 | 1.290000e+02 |6350.00%| unknown
0.25/0.39 c 0.4s| 1 | 0 | 664 | - | 18M | 0 | 693 | 565 |1225 | 194 | 8 | 20 | 0 | 2.000000e+00 | 1.290000e+02 |6350.00%| unknown
0.35/0.47 c 0.4s| 1 | 0 | 803 | - | 18M | 0 | 693 | 565 |1242 | 211 | 9 | 20 | 0 | 2.000000e+00 | 1.290000e+02 |6350.00%| unknown
0.45/0.54 c 0.5s| 1 | 0 | 883 | - | 20M | 0 | 693 | 565 |1256 | 225 | 10 | 20 | 0 | 2.000000e+00 | 1.290000e+02 |6350.00%| unknown
0.45/0.56 c 0.5s| 1 | 0 | 978 | - | 22M | 0 | 693 | 565 | 264 | 234 | 11 | 20 | 0 | 2.000000e+00 | 1.290000e+02 |6350.00%| unknown
0.45/0.56 c 0.5s| 1 | 0 | 978 | - | 22M | 0 | 693 | 565 | 264 | 234 | 11 | 20 | 0 | 2.000000e+00 | 1.290000e+02 |6350.00%| unknown
0.45/0.58 c 0.6s| 1 | 0 | 1035 | - | 22M | 0 | 693 | 565 | 275 | 245 | 12 | 20 | 0 | 2.000000e+00 | 1.290000e+02 |6350.00%| unknown
0.55/0.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.55/0.69 c 0.7s| 1 | 2 | 2171 | - | 22M | 0 | 693 | 582 | 275 | 245 | 12 | 37 | 25 | 2.000000e+00 | 1.290000e+02 |6350.00%| unknown
0.85/0.99 c 1.0s| 100 | 87 | 5465 | 44.7 | 23M | 62 | 693 | 625 | 407 | 932 | 2 | 80 | 25 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
1.15/1.20 c 1.2s| 200 | 163 | 7489 | 32.4 | 25M | 66 | 693 | 625 | 459 |1346 | 1 | 80 | 25 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
1.44/1.50 c 1.5s| 300 | 243 | 10017 | 30.0 | 28M | 68 | 693 | 642 | 313 |1947 | 3 | 97 | 25 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
1.74/1.84 c 1.8s| 400 | 340 | 13471 | 31.2 | 30M | 68 | 693 | 651 | 335 |2742 | 2 | 106 | 25 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
2.04/2.10 c 2.1s| 500 | 430 | 16345 | 30.7 | 32M | 68 | 693 | 651 | 425 |3323 | 2 | 106 | 25 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
2.24/2.31 c 2.3s| 600 | 516 | 19604 | 31.0 | 33M | 70 | 693 | 661 | 456 |3885 | 2 | 116 | 25 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
2.43/2.52 c 2.5s| 700 | 604 | 22584 | 30.8 | 33M | 70 | 693 | 671 | 499 |4412 | 1 | 126 | 26 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
2.73/2.80 c 2.8s| 800 | 677 | 25985 | 31.2 | 34M | 70 | 693 | 697 | 439 |5176 | 2 | 152 | 31 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
2.94/3.08 c 3.1s| 900 | 769 | 31489 | 33.9 | 34M | 70 | 693 | 719 | 545 |6043 | 1 | 174 | 31 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
3.23/3.35 c 3.3s| 1000 | 845 | 36640 | 35.6 | 34M | 70 | 693 | 769 | 323 |6906 | 1 | 224 | 40 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
3.53/3.64 c 3.6s| 1100 | 919 | 41069 | 36.4 | 35M | 70 | 693 | 807 | 387 |7671 | 2 | 262 | 71 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
3.73/3.86 c 3.8s| 1200 | 983 | 44177 | 36.0 | 35M | 71 | 693 | 847 | 486 |8303 | 4 | 302 | 78 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
3.93/4.08 c 4.1s| 1300 | 1045 | 46957 | 35.4 | 36M | 71 | 693 | 870 | 437 |8954 | 2 | 325 | 82 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
4.23/4.30 c 4.3s| 1400 | 1115 | 50264 | 35.2 | 36M | 71 | 693 | 904 | 504 |9627 | 2 | 359 | 92 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
4.43/4.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.43/4.50 c 4.5s| 1500 | 1161 | 52918 | 34.6 | 36M | 71 | 693 | 961 | 487 | 10k| 1 | 416 | 103 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
4.53/4.67 c 4.6s| 1600 | 1197 | 55586 | 34.1 | 36M | 71 | 693 | 997 | 525 | 10k| 2 | 452 | 108 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
4.73/4.85 c 4.8s| 1700 | 1263 | 57320 | 33.1 | 36M | 71 | 693 |1031 | 522 | 11k| 2 | 486 | 113 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
5.03/5.11 c 5.1s| 1800 | 1306 | 60480 | 33.0 | 37M | 80 | 693 |1082 | 469 | 11k| 2 | 537 | 128 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
5.13/5.27 c 5.2s| 1900 | 1354 | 62914 | 32.6 | 37M | 80 | 693 |1120 | 522 | 12k| 2 | 575 | 136 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
5.33/5.49 c 5.5s| 2000 | 1413 | 65867 | 32.4 | 37M | 80 | 693 |1152 | 537 | 12k| 1 | 607 | 157 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
5.53/5.63 c 5.6s| 2100 | 1437 | 68293 | 32.0 | 37M | 80 | 693 |1199 | 485 | 13k| 2 | 654 | 159 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
5.73/5.88 c 5.9s| 2200 | 1488 | 71270 | 31.9 | 37M | 80 | 693 |1257 | 0 | 13k| 0 | 712 | 202 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
6.03/6.14 c 6.1s| 2300 | 1531 | 74433 | 31.9 | 37M | 80 | 693 |1295 | 482 | 14k| 2 | 751 | 210 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
6.22/6.34 c 6.3s| 2400 | 1595 | 77066 | 31.7 | 38M | 80 | 693 |1337 | 283 | 15k| 2 | 793 | 218 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
6.42/6.57 c 6.6s| 2500 | 1653 | 79910 | 31.6 | 38M | 80 | 693 |1364 | 545 | 15k| 3 | 821 | 225 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
6.62/6.70 c 6.7s| 2600 | 1716 | 81060 | 30.8 | 38M | 80 | 693 |1394 | 0 | 15k| 0 | 853 | 238 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
6.72/6.86 c 6.8s| 2700 | 1759 | 82033 | 30.0 | 38M | 80 | 693 |1406 | 504 | 16k| 2 | 865 | 241 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
6.82/6.94 c 6.9s| 2800 | 1786 | 82911 | 29.3 | 38M | 80 | 693 |1474 | 500 | 16k| 2 | 933 | 241 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
6.92/7.04 c 7.0s| 2900 | 1807 | 83961 | 28.6 | 38M | 80 | 693 |1493 | 503 | 16k| 1 | 952 | 241 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
7.02/7.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.02/7.12 c 7.1s| 3000 | 1823 | 84709 | 27.9 | 38M | 80 | 693 |1556 | 0 | 16k| 0 |1015 | 241 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
7.12/7.20 c 7.2s| 3100 | 1838 | 85509 | 27.3 | 38M | 80 | 693 |1595 | 498 | 16k| 1 |1054 | 241 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
7.12/7.29 c 7.3s| 3200 | 1856 | 86267 | 26.6 | 38M | 80 | 693 |1654 | 510 | 17k| 1 |1113 | 241 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
7.32/7.40 c 7.4s| 3300 | 1890 | 87708 | 26.3 | 38M | 80 | 693 |1696 | 526 | 17k| 2 |1155 | 241 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
7.32/7.49 c 7.5s| 3400 | 1903 | 88679 | 25.8 | 39M | 80 | 693 |1749 | 500 | 17k| 1 |1208 | 241 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
7.52/7.60 c 7.6s| 3500 | 1929 | 89480 | 25.3 | 39M | 80 | 693 |1758 | 0 | 17k| 0 |1217 | 241 | 2.000000e+00 | 1.290000e+02 |6350.00%| 4.58%
7.52/7.62 o 3
7.52/7.62 c L 7.6s| 3506 | 1095 | 89539 | 25.3 | rins| 80 | 693 |1758 | 513 | 17k| 2 |1217 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 34.87%
7.62/7.71 c 7.7s| 3600 | 1115 | 90375 | 24.8 | 39M | 80 | 693 |1516 | 504 | 17k| 2 |1236 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 35.09%
7.72/7.81 c 7.8s| 3700 | 1131 | 91271 | 24.4 | 39M | 80 | 693 |1547 | 498 | 18k| 1 |1267 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 35.09%
7.82/7.91 c 7.9s| 3800 | 1142 | 92030 | 24.0 | 39M | 80 | 693 |1551 | 0 | 18k| 0 |1271 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 35.09%
7.82/7.99 c 8.0s| 3900 | 1149 | 92793 | 23.5 | 39M | 80 | 693 |1578 | 0 | 18k| 0 |1298 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 35.09%
7.92/8.08 c 8.1s| 4000 | 1156 | 93528 | 23.1 | 39M | 80 | 693 |1608 | 0 | 18k| 0 |1328 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 35.09%
8.02/8.15 c 8.1s| 4100 | 1143 | 94016 | 22.7 | 39M | 80 | 693 |1665 | 0 | 18k| 0 |1385 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 35.21%
8.11/8.22 c 8.2s| 4200 | 1122 | 94501 | 22.3 | 39M | 80 | 693 |1695 | 0 | 19k| 0 |1415 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 35.54%
8.41/8.51 c 8.5s| 4300 | 1147 | 98187 | 22.6 | 39M | 80 | 693 |1753 | 283 | 19k| 2 |1474 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 35.98%
8.71/8.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.71/8.84 c 8.8s| 4400 | 1229 |103547 | 23.3 | 40M | 80 | 693 |1808 | 465 | 20k| 2 |1531 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 36.48%
8.91/9.09 c 9.1s| 4500 | 1312 |108556 | 23.9 | 40M | 80 | 693 |1846 | 354 | 20k| 2 |1572 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 36.70%
9.11/9.22 c 9.2s| 4600 | 1352 |110884 | 23.9 | 40M | 80 | 693 |1879 | 0 | 21k| 0 |1606 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 36.75%
9.21/9.30 c 9.3s| 4700 | 1360 |111799 | 23.6 | 40M | 80 | 693 |1885 | 0 | 21k| 0 |1612 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 36.75%
9.21/9.39 c 9.4s| 4800 | 1377 |112866 | 23.3 | 40M | 80 | 693 |1893 | 517 | 21k| 2 |1621 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 36.75%
9.31/9.47 c 9.4s| 4900 | 1377 |113739 | 23.0 | 40M | 80 | 693 |1911 | 509 | 21k| 2 |1639 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 36.75%
9.40/9.56 c 9.5s| 5000 | 1379 |114788 | 22.8 | 40M | 80 | 693 |1934 | 0 | 21k| 0 |1663 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 36.75%
9.50/9.66 c 9.6s| 5100 | 1395 |116181 | 22.6 | 40M | 80 | 693 |1948 | 526 | 22k| 2 |1679 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 36.75%
9.70/9.83 c 9.8s| 5200 | 1445 |118715 | 22.6 | 40M | 80 | 693 |1974 | 0 | 22k| 0 |1707 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 36.92%
9.80/9.92 c 9.9s| 5300 | 1452 |119785 | 22.4 | 40M | 80 | 693 |2005 | 0 | 22k| 0 |1738 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 36.92%
10.01/10.13 c 10.1s| 5400 | 1526 |123594 | 22.7 | 40M | 80 | 693 |2021 | 459 | 23k| 2 |1758 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.03%
10.30/10.42 c 10.4s| 5500 | 1591 |128813 | 23.2 | 41M | 80 | 693 |2051 | 526 | 23k| 1 |1792 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.31%
10.40/10.56 c 10.5s| 5600 | 1635 |130876 | 23.2 | 41M | 80 | 693 |2068 | 0 | 24k| 0 |1812 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.31%
10.70/10.89 c 10.9s| 5700 | 1699 |135521 | 23.6 | 41M | 80 | 693 |2083 | 510 | 24k| 3 |1835 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.47%
10.90/11.05 c 11.0s| 5800 | 1749 |137909 | 23.6 | 42M | 80 | 693 |2096 | 502 | 25k| 1 |1852 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.64%
11.00/11.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.00/11.15 c 11.1s| 5900 | 1768 |138829 | 23.4 | 42M | 80 | 693 |2114 | 0 | 25k| 0 |1871 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.64%
11.09/11.23 c 11.2s| 6000 | 1781 |139679 | 23.1 | 42M | 80 | 693 |2148 | 505 | 25k| 2 |1905 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.64%
11.19/11.32 c 11.3s| 6100 | 1792 |140709 | 22.9 | 42M | 80 | 693 |2175 | 0 | 25k| 0 |1933 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.64%
11.29/11.40 c 11.4s| 6200 | 1788 |141482 | 22.7 | 42M | 80 | 693 |2186 | 0 | 26k| 0 |1944 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.64%
11.29/11.49 c 11.5s| 6300 | 1770 |142298 | 22.4 | 42M | 80 | 693 |2249 | 0 | 26k| 0 |2008 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.64%
11.39/11.58 c 11.6s| 6400 | 1788 |142983 | 22.2 | 42M | 80 | 693 |2264 | 477 | 26k| 1 |2030 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
11.49/11.69 c 11.7s| 6500 | 1827 |144680 | 22.1 | 42M | 80 | 693 |2290 | 0 | 26k| 0 |2058 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
11.59/11.78 c 11.8s| 6600 | 1844 |145617 | 21.9 | 42M | 80 | 693 |2294 | 0 | 26k| 0 |2063 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
11.69/11.85 c 11.8s| 6700 | 1864 |146024 | 21.6 | 42M | 80 | 693 |2317 | 465 | 26k| 1 |2088 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
11.79/11.91 c 11.9s| 6800 | 1886 |146397 | 21.4 | 42M | 80 | 693 |2315 | 465 | 27k| 1 |2088 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
11.79/11.99 c 12.0s| 6900 | 1907 |146999 | 21.2 | 42M | 80 | 693 |2338 | 0 | 27k| 0 |2114 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
11.89/12.07 c 12.0s| 7000 | 1921 |147740 | 21.0 | 42M | 80 | 693 |2371 | 0 | 27k| 0 |2149 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
12.00/12.14 c 12.1s| 7100 | 1911 |148277 | 20.7 | 42M | 80 | 693 |2379 | 477 | 27k| 2 |2158 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
12.09/12.23 c 12.2s| 7200 | 1906 |148984 | 20.6 | 42M | 80 | 693 |2414 | 0 | 27k| 0 |2193 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
12.19/12.30 c 12.3s| 7300 | 1920 |149563 | 20.3 | 42M | 80 | 693 |2449 | 472 | 27k| 2 |2231 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
12.19/12.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.19/12.38 c 12.4s| 7400 | 1949 |150245 | 20.2 | 42M | 80 | 693 |2463 | 478 | 28k| 2 |2246 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
12.29/12.47 c 12.4s| 7500 | 1966 |151080 | 20.0 | 42M | 80 | 693 |2493 | 0 | 28k| 0 |2278 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
12.39/12.55 c 12.5s| 7600 | 1982 |151901 | 19.9 | 42M | 80 | 693 |2548 | 0 | 28k| 0 |2336 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
12.49/12.64 c 12.6s| 7700 | 2007 |152867 | 19.7 | 42M | 80 | 693 |2558 | 472 | 28k| 1 |2348 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
12.59/12.73 c 12.7s| 7800 | 2019 |153718 | 19.6 | 42M | 80 | 693 |2591 | 486 | 28k| 2 |2381 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
12.69/12.80 c 12.8s| 7900 | 2029 |154324 | 19.4 | 42M | 80 | 693 |2612 | 0 | 29k| 0 |2403 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
12.69/12.87 c 12.8s| 8000 | 2028 |154967 | 19.2 | 42M | 80 | 693 |2633 | 0 | 29k| 0 |2429 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
12.79/12.97 c 12.9s| 8100 | 2052 |156184 | 19.2 | 42M | 80 | 693 |2666 | 477 | 29k| 2 |2466 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
12.89/13.07 c 13.0s| 8200 | 2069 |157241 | 19.1 | 42M | 80 | 693 |2716 | 489 | 29k| 3 |2516 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
12.99/13.17 c 13.1s| 8300 | 2075 |158295 | 18.9 | 42M | 80 | 693 |2749 | 0 | 30k| 0 |2549 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
13.09/13.25 c 13.2s| 8400 | 2082 |159464 | 18.9 | 42M | 80 | 693 |2790 | 0 | 30k| 0 |2590 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
13.18/13.33 c 13.3s| 8500 | 2081 |160190 | 18.7 | 42M | 80 | 693 |2820 | 0 | 30k| 0 |2623 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
13.28/13.43 c 13.4s| 8600 | 2098 |161345 | 18.6 | 42M | 80 | 693 |2840 | 507 | 30k| 2 |2643 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
13.38/13.52 c 13.5s| 8700 | 2114 |162520 | 18.6 | 42M | 80 | 693 |2871 | 0 | 31k| 0 |2676 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
13.48/13.61 c 13.6s| 8800 | 2122 |163413 | 18.5 | 42M | 80 | 693 |2904 | 0 | 31k| 0 |2709 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
13.58/13.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.58/13.70 c 13.7s| 8900 | 2137 |164123 | 18.3 | 42M | 80 | 693 |2912 | 0 | 31k| 0 |2718 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
13.58/13.77 c 13.8s| 9000 | 2143 |164783 | 18.2 | 42M | 80 | 693 |2940 | 0 | 31k| 0 |2747 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
13.68/13.85 c 13.8s| 9100 | 2151 |165616 | 18.1 | 43M | 80 | 693 |2986 | 480 | 31k| 2 |2797 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
13.78/13.92 c 13.9s| 9200 | 2161 |166136 | 17.9 | 43M | 80 | 693 |2995 | 495 | 32k| 3 |2822 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
13.89/14.03 c 14.0s| 9300 | 2199 |167496 | 17.9 | 43M | 80 | 693 |3022 | 489 | 32k| 2 |2852 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
13.99/14.13 c 14.1s| 9400 | 2214 |168505 | 17.8 | 43M | 80 | 693 |3056 | 0 | 32k| 0 |2891 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
14.08/14.21 c 14.2s| 9500 | 2213 |169332 | 17.7 | 43M | 80 | 693 |3077 | 0 | 32k| 0 |2912 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
14.08/14.29 c 14.3s| 9600 | 2209 |170146 | 17.6 | 43M | 80 | 693 |3112 | 0 | 32k| 0 |2947 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
14.18/14.37 c 14.3s| 9700 | 2211 |170915 | 17.5 | 43M | 80 | 693 |3147 | 468 | 33k| 1 |2984 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
14.28/14.45 c 14.4s| 9800 | 2209 |171644 | 17.4 | 43M | 80 | 693 |3164 | 0 | 33k| 0 |3009 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
14.38/14.53 c 14.5s| 9900 | 2204 |172442 | 17.3 | 43M | 80 | 693 |3177 | 0 | 33k| 0 |3024 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
14.48/14.62 c 14.6s| 10000 | 2205 |173469 | 17.2 | 43M | 80 | 693 |3185 | 498 | 33k| 2 |3037 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
14.48/14.69 c 14.7s| 10100 | 2207 |174138 | 17.1 | 43M | 80 | 693 |3220 | 0 | 33k| 0 |3077 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
14.58/14.78 c 14.8s| 10200 | 2221 |175071 | 17.1 | 43M | 80 | 693 |3233 | 0 | 34k| 0 |3094 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
14.68/14.86 c 14.8s| 10300 | 2228 |175914 | 17.0 | 43M | 80 | 693 |3241 | 495 | 34k| 2 |3105 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
14.78/14.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.78/14.94 c 14.9s| 10400 | 2228 |176790 | 16.9 | 43M | 80 | 693 |3253 | 483 | 34k| 3 |3128 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
14.88/15.02 c 15.0s| 10500 | 2228 |177491 | 16.8 | 43M | 80 | 693 |3270 | 0 | 34k| 0 |3149 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
14.98/15.11 c 15.1s| 10600 | 2227 |178390 | 16.7 | 43M | 80 | 693 |3321 | 484 | 35k| 1 |3202 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
14.98/15.19 c 15.2s| 10700 | 2237 |179005 | 16.6 | 43M | 80 | 693 |3322 | 492 | 35k| 3 |3208 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
15.08/15.27 c 15.2s| 10800 | 2236 |179917 | 16.6 | 43M | 80 | 693 |3344 | 482 | 35k| 2 |3238 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
15.18/15.34 c 15.3s| 10900 | 2230 |180520 | 16.5 | 43M | 80 | 693 |3374 | 0 | 35k| 0 |3274 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
15.28/15.42 c 15.4s| 11000 | 2240 |181403 | 16.4 | 43M | 80 | 693 |3382 | 471 | 35k| 2 |3284 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
15.38/15.54 c 15.5s| 11100 | 2260 |182002 | 16.3 | 43M | 80 | 693 |3390 | 0 | 35k| 0 |3294 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
15.38/15.59 c 15.6s| 11200 | 2272 |182428 | 16.2 | 43M | 80 | 693 |3382 | 486 | 36k| 2 |3294 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
15.47/15.68 c 15.7s| 11300 | 2270 |182728 | 16.1 | 43M | 80 | 693 |3395 | 487 | 36k| 2 |3310 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
15.57/15.76 c 15.7s| 11400 | 2282 |183458 | 16.0 | 43M | 80 | 693 |3403 | 0 | 36k| 0 |3323 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
15.67/15.83 c 15.8s| 11500 | 2289 |184264 | 15.9 | 43M | 80 | 693 |3399 | 489 | 36k| 1 |3328 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
15.77/15.91 c 15.9s| 11600 | 2279 |185053 | 15.9 | 43M | 80 | 693 |3421 | 490 | 36k| 3 |3358 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
15.77/15.99 c 16.0s| 11700 | 2281 |186098 | 15.8 | 43M | 80 | 693 |3443 | 475 | 36k| 3 |3387 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
15.88/16.09 c 16.1s| 11800 | 2294 |187177 | 15.8 | 43M | 80 | 693 |3451 | 487 | 37k| 3 |3404 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
15.98/16.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.98/16.17 c 16.1s| 11900 | 2305 |187984 | 15.7 | 43M | 80 | 693 |3466 | 0 | 37k| 0 |3423 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
16.07/16.24 c 16.2s| 12000 | 2313 |188671 | 15.6 | 43M | 80 | 693 |3465 | 0 | 37k| 0 |3423 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
16.17/16.31 c 16.3s| 12100 | 2311 |189312 | 15.6 | 43M | 80 | 693 |3510 | 479 | 37k| 2 |3471 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
16.17/16.39 c 16.4s| 12200 | 2303 |189889 | 15.5 | 43M | 80 | 693 |3512 | 495 | 37k| 2 |3480 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
16.27/16.46 c 16.4s| 12300 | 2292 |190615 | 15.4 | 43M | 80 | 693 |3550 | 487 | 38k| 2 |3529 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
16.37/16.55 c 16.5s| 12400 | 2305 |191503 | 15.4 | 43M | 80 | 693 |3564 | 503 | 38k| 2 |3548 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
16.47/16.64 c 16.6s| 12500 | 2303 |192340 | 15.3 | 43M | 80 | 693 |3590 | 479 | 38k| 2 |3576 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
16.57/16.73 c 16.7s| 12600 | 2306 |193514 | 15.3 | 43M | 80 | 693 |3623 | 0 | 38k| 0 |3615 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
16.67/16.82 c 16.8s| 12700 | 2326 |194364 | 15.2 | 43M | 80 | 693 |3627 | 0 | 39k| 0 |3622 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
16.77/16.90 c 16.9s| 12800 | 2328 |195095 | 15.2 | 43M | 80 | 693 |3633 | 492 | 39k| 2 |3630 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
16.77/16.98 c 17.0s| 12900 | 2339 |195765 | 15.1 | 43M | 80 | 693 |3636 | 0 | 39k| 0 |3635 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
16.87/17.06 c 17.0s| 13000 | 2327 |196616 | 15.0 | 43M | 80 | 693 |3651 | 0 | 39k| 0 |3655 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
16.97/17.13 c 17.1s| 13100 | 2314 |197188 | 15.0 | 43M | 80 | 693 |3655 | 0 | 39k| 0 |3664 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
17.07/17.23 c 17.2s| 13200 | 2313 |198199 | 14.9 | 43M | 80 | 693 |3698 | 0 | 39k| 0 |3711 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
17.17/17.32 c 17.3s| 13300 | 2316 |199377 | 14.9 | 43M | 80 | 693 |3710 | 480 | 40k| 1 |3732 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
17.17/17.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.17/17.39 c 17.4s| 13400 | 2318 |200030 | 14.9 | 43M | 80 | 693 |3760 | 464 | 40k| 1 |3787 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
17.27/17.48 c 17.5s| 13500 | 2316 |200827 | 14.8 | 43M | 80 | 693 |3785 | 497 | 40k| 2 |3814 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
17.37/17.56 c 17.5s| 13600 | 2318 |201789 | 14.8 | 43M | 80 | 693 |3829 | 0 | 40k| 0 |3865 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
17.47/17.63 c 17.6s| 13700 | 2302 |202437 | 14.7 | 43M | 80 | 693 |3859 | 0 | 40k| 0 |3902 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
17.57/17.73 c 17.7s| 13800 | 2283 |203141 | 14.6 | 44M | 80 | 693 |3891 | 489 | 41k| 1 |3950 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
17.67/17.82 c 17.8s| 13900 | 2289 |204218 | 14.6 | 44M | 80 | 693 |3913 | 493 | 41k| 3 |3987 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
17.76/17.90 c 17.9s| 14000 | 2301 |204995 | 14.6 | 44M | 80 | 693 |3912 | 0 | 41k| 0 |3992 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
17.76/17.98 c 18.0s| 14100 | 2304 |205673 | 14.5 | 44M | 80 | 693 |3913 | 474 | 41k| 1 |3999 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
17.87/18.07 c 18.0s| 14200 | 2316 |206484 | 14.5 | 44M | 80 | 693 |3912 | 486 | 41k| 2 |3999 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
17.97/18.15 c 18.1s| 14300 | 2316 |207267 | 14.4 | 44M | 80 | 693 |3920 | 0 | 42k| 0 |4009 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
18.06/18.22 c 18.2s| 14400 | 2298 |207927 | 14.4 | 44M | 80 | 693 |3916 | 0 | 42k| 0 |4009 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
18.16/18.31 c 18.3s| 14500 | 2310 |208938 | 14.3 | 45M | 80 | 693 |3925 | 0 | 42k| 0 |4042 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
18.26/18.42 c 18.4s| 14600 | 2332 |210327 | 14.3 | 45M | 80 | 693 |3943 | 508 | 42k| 2 |4066 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
18.36/18.50 c 18.5s| 14700 | 2329 |211205 | 14.3 | 45M | 80 | 693 |3991 | 487 | 42k| 1 |4118 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
18.46/18.60 c 18.6s| 14800 | 2337 |212428 | 14.3 | 45M | 80 | 693 |4016 | 504 | 43k| 3 |4144 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
18.56/18.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
18.56/18.70 c 18.7s| 14900 | 2358 |213702 | 14.3 | 45M | 80 | 693 |4038 | 511 | 43k| 3 |4167 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
18.56/18.79 c 18.8s| 15000 | 2358 |214794 | 14.3 | 45M | 80 | 693 |4091 | 0 | 43k| 0 |4232 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
18.66/18.89 c 18.9s| 15100 | 2366 |215864 | 14.2 | 45M | 80 | 693 |4123 | 500 | 43k| 2 |4268 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
18.76/18.97 c 19.0s| 15200 | 2361 |216655 | 14.2 | 45M | 80 | 693 |4149 | 508 | 44k| 2 |4297 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
18.86/19.06 c 19.0s| 15300 | 2350 |217619 | 14.2 | 45M | 80 | 693 |4174 | 0 | 44k| 0 |4322 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
18.96/19.13 c 19.1s| 15400 | 2326 |218395 | 14.1 | 45M | 80 | 693 |4224 | 0 | 44k| 0 |4375 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
19.06/19.21 c 19.2s| 15500 | 2326 |219084 | 14.1 | 45M | 80 | 693 |4198 | 489 | 44k| 2 |4381 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
19.06/19.29 c 19.3s| 15600 | 2314 |220041 | 14.0 | 45M | 80 | 693 |4194 | 502 | 45k| 2 |4401 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
19.46/19.63 c 19.6s| 15700 | 2312 |220927 | 14.0 | 45M | 80 | 693 |4258 | 0 | 45k| 0 |4485 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
19.46/19.69 c 19.7s| 15800 | 2316 |221413 | 13.9 | 45M | 80 | 693 |4257 | 490 | 45k| 2 |4493 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
19.56/19.76 c 19.7s| 15900 | 2305 |221875 | 13.9 | 45M | 80 | 693 |4269 | 482 | 45k| 3 |4524 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
19.66/19.83 c 19.8s| 16000 | 2309 |222436 | 13.8 | 45M | 80 | 693 |4260 | 486 | 45k| 2 |4530 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
19.66/19.89 c 19.9s| 16100 | 2315 |222800 | 13.8 | 45M | 80 | 693 |4281 | 0 | 45k| 0 |4555 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
19.76/19.96 c 19.9s| 16200 | 2303 |223504 | 13.7 | 45M | 80 | 693 |4278 | 488 | 45k| 2 |4567 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
19.86/20.04 c 20.0s| 16300 | 2300 |224424 | 13.7 | 45M | 80 | 693 |4266 | 500 | 45k| 2 |4579 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
19.96/20.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
19.96/20.12 c 20.1s| 16400 | 2289 |225009 | 13.7 | 45M | 80 | 693 |4251 | 0 | 46k| 0 |4590 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
20.05/20.20 c 20.2s| 16500 | 2283 |225862 | 13.6 | 45M | 80 | 693 |4235 | 0 | 46k| 0 |4590 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
20.05/20.29 c 20.3s| 16600 | 2274 |227031 | 13.6 | 45M | 80 | 693 |4229 | 483 | 46k| 2 |4608 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
20.15/20.39 c 20.4s| 16700 | 2302 |228239 | 13.6 | 45M | 80 | 693 |4268 | 482 | 46k| 1 |4664 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
20.25/20.46 c 20.4s| 16800 | 2309 |228650 | 13.5 | 45M | 80 | 693 |4271 | 0 | 46k| 0 |4681 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
20.35/20.54 c 20.5s| 16900 | 2318 |229321 | 13.5 | 45M | 80 | 693 |4288 | 0 | 47k| 0 |4703 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
20.45/20.61 c 20.6s| 17000 | 2312 |229929 | 13.5 | 45M | 80 | 693 |4315 | 0 | 47k| 0 |4736 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
20.45/20.68 c 20.7s| 17100 | 2289 |230537 | 13.4 | 45M | 80 | 693 |4337 | 507 | 47k| 2 |4779 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
20.55/20.76 c 20.7s| 17200 | 2284 |231310 | 13.4 | 45M | 80 | 693 |4331 | 470 | 47k| 1 |4799 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
20.65/20.83 c 20.8s| 17300 | 2278 |232017 | 13.4 | 45M | 80 | 693 |4311 | 0 | 47k| 0 |4799 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
20.75/20.90 c 20.9s| 17400 | 2271 |232507 | 13.3 | 45M | 80 | 693 |4308 | 477 | 47k| 1 |4813 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
20.75/20.98 c 21.0s| 17500 | 2265 |233308 | 13.3 | 45M | 80 | 693 |4309 | 0 | 48k| 0 |4831 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
20.85/21.08 c 21.1s| 17600 | 2256 |233906 | 13.2 | 45M | 80 | 693 |4298 | 0 | 48k| 0 |4857 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
20.96/21.15 c 21.1s| 17700 | 2255 |234503 | 13.2 | 45M | 80 | 693 |4300 | 0 | 48k| 0 |4877 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
21.06/21.23 c 21.2s| 17800 | 2263 |235144 | 13.2 | 45M | 80 | 693 |4278 | 0 | 48k| 0 |4880 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
21.16/21.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
21.16/21.30 c 21.3s| 17900 | 2259 |235684 | 13.1 | 45M | 80 | 693 |4288 | 0 | 48k| 0 |4902 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
21.16/21.38 c 21.4s| 18000 | 2258 |236362 | 13.1 | 45M | 80 | 693 |4275 | 478 | 48k| 3 |4911 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
21.26/21.46 c 21.4s| 18100 | 2255 |236954 | 13.0 | 45M | 80 | 693 |4255 | 475 | 48k| 3 |4928 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
21.36/21.54 c 21.5s| 18200 | 2244 |237660 | 13.0 | 45M | 80 | 693 |4234 | 486 | 49k| 3 |4932 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
21.46/21.62 c 21.6s| 18300 | 2251 |238484 | 13.0 | 45M | 80 | 693 |4270 | 0 | 49k| 0 |4977 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
21.46/21.68 c 21.7s| 18400 | 2246 |238858 | 12.9 | 45M | 80 | 693 |4297 | 482 | 49k| 1 |5007 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
21.56/21.75 c 21.7s| 18500 | 2225 |239374 | 12.9 | 45M | 80 | 693 |4287 | 0 | 49k| 0 |5030 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
21.66/21.84 c 21.8s| 18600 | 2264 |240365 | 12.9 | 45M | 80 | 693 |4282 | 475 | 49k| 2 |5068 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
21.76/21.93 c 21.9s| 18700 | 2276 |241473 | 12.9 | 45M | 80 | 693 |4279 | 0 | 50k| 0 |5072 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
21.86/22.04 c 22.0s| 18800 | 2300 |242556 | 12.8 | 45M | 80 | 693 |4300 | 495 | 50k| 1 |5105 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
21.96/22.14 c 22.1s| 18900 | 2316 |243595 | 12.8 | 45M | 80 | 693 |4345 | 486 | 50k| 2 |5154 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
22.05/22.23 c 22.2s| 19000 | 2328 |244751 | 12.8 | 45M | 80 | 693 |4370 | 472 | 50k| 2 |5185 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
22.15/22.32 c 22.3s| 19100 | 2343 |245704 | 12.8 | 45M | 80 | 693 |4400 | 477 | 51k| 2 |5221 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
22.25/22.41 c 22.4s| 19200 | 2352 |246498 | 12.8 | 45M | 80 | 693 |4414 | 0 | 51k| 0 |5236 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
22.25/22.49 c 22.5s| 19300 | 2361 |247222 | 12.8 | 45M | 80 | 693 |4420 | 491 | 51k| 2 |5248 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
22.35/22.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
22.35/22.58 c 22.6s| 19400 | 2364 |248192 | 12.7 | 45M | 80 | 693 |4456 | 0 | 51k| 0 |5288 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
22.45/22.67 c 22.7s| 19500 | 2364 |249275 | 12.7 | 45M | 80 | 693 |4501 | 0 | 52k| 0 |5344 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
22.55/22.76 c 22.7s| 19600 | 2363 |250438 | 12.7 | 45M | 80 | 693 |4541 | 475 | 52k| 2 |5391 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
22.65/22.86 c 22.8s| 19700 | 2376 |251444 | 12.7 | 45M | 80 | 693 |4552 | 0 | 52k| 0 |5405 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
22.75/22.94 c 22.9s| 19800 | 2378 |252113 | 12.7 | 45M | 80 | 693 |4599 | 488 | 52k| 2 |5458 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
22.86/23.03 c 23.0s| 19900 | 2385 |253213 | 12.7 | 45M | 80 | 693 |4610 | 0 | 53k| 0 |5480 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
22.96/23.12 c 23.1s| 20000 | 2390 |254059 | 12.7 | 45M | 80 | 693 |4652 | 0 | 53k| 0 |5525 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
23.05/23.21 c 23.2s| 20100 | 2389 |255112 | 12.6 | 45M | 80 | 693 |4680 | 508 | 53k| 2 |5561 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
23.15/23.30 c 23.3s| 20200 | 2396 |256087 | 12.6 | 45M | 80 | 693 |4693 | 488 | 53k| 3 |5583 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
23.15/23.38 c 23.4s| 20300 | 2397 |256830 | 12.6 | 45M | 80 | 693 |4710 | 482 | 53k| 2 |5602 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
23.25/23.45 c 23.4s| 20400 | 2399 |257556 | 12.6 | 45M | 80 | 693 |4739 | 0 | 54k| 0 |5634 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
23.35/23.53 c 23.5s| 20500 | 2395 |258317 | 12.6 | 46M | 80 | 693 |4752 | 0 | 54k| 0 |5655 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
23.45/23.61 c 23.6s| 20600 | 2386 |259160 | 12.5 | 46M | 80 | 693 |4789 | 491 | 54k| 2 |5698 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
23.45/23.68 c 23.7s| 20700 | 2380 |259865 | 12.5 | 46M | 80 | 693 |4828 | 0 | 54k| 0 |5740 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
23.55/23.77 c 23.7s| 20800 | 2374 |260741 | 12.5 | 46M | 80 | 693 |4858 | 0 | 54k| 0 |5781 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
23.65/23.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
23.65/23.87 c 23.8s| 20900 | 2364 |261827 | 12.5 | 46M | 80 | 693 |4887 | 486 | 55k| 2 |5821 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
23.75/23.97 c 23.9s| 21000 | 2379 |263002 | 12.5 | 46M | 80 | 693 |4901 | 497 | 55k| 2 |5841 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
23.85/24.04 c 24.0s| 21100 | 2369 |263621 | 12.4 | 46M | 80 | 693 |4928 | 0 | 55k| 0 |5872 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
23.95/24.10 c 24.1s| 21200 | 2348 |264333 | 12.4 | 46M | 80 | 693 |4970 | 0 | 55k| 0 |5929 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
23.95/24.19 c 24.2s| 21300 | 2351 |265113 | 12.4 | 46M | 80 | 693 |5000 | 0 | 55k| 0 |5972 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
24.05/24.27 c 24.2s| 21400 | 2347 |265820 | 12.4 | 46M | 80 | 693 |5060 | 0 | 56k| 0 |6038 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
24.15/24.35 c 24.3s| 21500 | 2344 |266639 | 12.4 | 46M | 80 | 693 |5066 | 494 | 56k| 2 |6049 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
24.24/24.44 c 24.4s| 21600 | 2335 |267607 | 12.3 | 46M | 80 | 693 |5097 | 0 | 56k| 0 |6090 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
24.34/24.51 c 24.5s| 21700 | 2319 |268234 | 12.3 | 46M | 80 | 693 |5122 | 485 | 56k| 2 |6143 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
24.34/24.60 c 24.6s| 21800 | 2327 |269263 | 12.3 | 46M | 80 | 693 |5133 | 0 | 56k| 0 |6167 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
24.44/24.67 c 24.6s| 21900 | 2325 |270004 | 12.3 | 46M | 80 | 693 |5148 | 0 | 57k| 0 |6185 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
24.54/24.75 c 24.7s| 22000 | 2310 |270824 | 12.3 | 46M | 80 | 693 |5187 | 0 | 57k| 0 |6238 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
24.64/24.82 c 24.8s| 22100 | 2298 |271502 | 12.2 | 46M | 80 | 693 |5204 | 478 | 57k| 2 |6271 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
24.74/24.91 c 24.9s| 22200 | 2304 |272236 | 12.2 | 46M | 80 | 693 |5218 | 491 | 57k| 1 |6289 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
24.74/24.98 c 25.0s| 22300 | 2293 |272841 | 12.2 | 46M | 80 | 693 |5228 | 0 | 57k| 0 |6303 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.75%
24.95/25.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
24.95/25.12 c 25.1s| 22400 | 2300 |274701 | 12.2 | 46M | 80 | 693 |4347 | 488 | 58k| 2 |6361 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 37.86%
25.14/25.31 c 25.3s| 22500 | 2319 |276707 | 12.3 | 46M | 80 | 693 |4225 | 485 | 58k| 2 |6373 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
25.24/25.44 c 25.4s| 22600 | 2362 |278559 | 12.3 | 46M | 80 | 693 |4166 | 0 | 58k| 0 |6380 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
25.34/25.53 c 25.5s| 22700 | 2390 |279339 | 12.3 | 46M | 80 | 693 |4163 | 0 | 58k| 0 |6380 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
25.44/25.60 c 25.6s| 22800 | 2404 |279814 | 12.2 | 46M | 80 | 693 |4122 | 445 | 58k| 2 |6380 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
25.44/25.68 c 25.7s| 22900 | 2430 |280489 | 12.2 | 46M | 80 | 693 |4113 | 443 | 59k| 2 |6383 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
25.54/25.75 c 25.7s| 23000 | 2446 |280812 | 12.2 | 46M | 80 | 693 |4106 | 0 | 59k| 0 |6383 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
25.64/25.80 c 25.8s| 23100 | 2444 |281298 | 12.1 | 46M | 80 | 693 |4105 | 0 | 59k| 0 |6410 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
25.64/25.87 c 25.8s| 23200 | 2458 |282027 | 12.1 | 46M | 80 | 693 |4153 | 0 | 59k| 0 |6461 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
25.74/25.94 c 25.9s| 23300 | 2468 |282623 | 12.1 | 46M | 80 | 693 |4149 | 0 | 59k| 0 |6472 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
25.84/26.01 c 26.0s| 23400 | 2478 |283177 | 12.1 | 46M | 80 | 693 |4145 | 461 | 59k| 2 |6479 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
25.84/26.08 c 26.1s| 23500 | 2488 |283748 | 12.0 | 46M | 80 | 693 |4164 | 459 | 59k| 1 |6510 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
25.94/26.16 c 26.1s| 23600 | 2490 |284368 | 12.0 | 46M | 80 | 693 |4193 | 478 | 60k| 2 |6551 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
26.03/26.25 c 26.2s| 23700 | 2493 |284892 | 12.0 | 46M | 80 | 693 |4188 | 0 | 60k| 0 |6570 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
26.23/26.46 c 26.4s| 23800 | 2499 |285466 | 12.0 | 46M | 80 | 693 |4197 | 475 | 60k| 3 |6593 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
26.33/26.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
26.33/26.53 c 26.5s| 23900 | 2503 |286289 | 11.9 | 46M | 80 | 693 |4235 | 0 | 60k| 0 |6646 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
26.53/26.72 c 26.7s| 24000 | 2498 |286829 | 11.9 | 46M | 80 | 693 |4229 | 0 | 60k| 0 |6660 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
26.73/26.96 c 26.9s| 24100 | 2490 |287302 | 11.9 | 46M | 80 | 693 |4213 | 0 | 60k| 0 |6660 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
26.83/27.03 c 27.0s| 24200 | 2493 |287915 | 11.9 | 46M | 80 | 693 |4216 | 0 | 61k| 0 |6674 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
26.94/27.19 c 27.2s| 24300 | 2500 |288347 | 11.8 | 46M | 80 | 693 |4230 | 0 | 61k| 0 |6711 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
27.23/27.42 c 27.4s| 24400 | 2493 |288729 | 11.8 | 46M | 80 | 693 |4233 | 459 | 61k| 1 |6729 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
27.42/27.67 c 27.7s| 24500 | 2493 |289347 | 11.8 | 46M | 82 | 693 |4257 | 0 | 61k| 0 |6779 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
27.52/27.73 c 27.7s| 24600 | 2505 |289719 | 11.7 | 46M | 82 | 693 |4252 | 0 | 61k| 0 |6779 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
27.52/27.79 c 27.8s| 24700 | 2527 |290355 | 11.7 | 46M | 82 | 693 |4271 | 0 | 61k| 0 |6801 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
27.62/27.86 c 27.8s| 24800 | 2547 |290812 | 11.7 | 46M | 82 | 693 |4265 | 470 | 61k| 2 |6804 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
27.72/27.91 c 27.9s| 24900 | 2567 |291414 | 11.7 | 46M | 83 | 693 |4275 | 465 | 61k| 1 |6820 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
27.72/27.97 c 28.0s| 25000 | 2569 |291875 | 11.6 | 46M | 85 | 693 |4264 | 0 | 62k| 0 |6824 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
27.83/28.03 c 28.0s| 25100 | 2582 |292476 | 11.6 | 46M | 86 | 693 |4264 | 465 | 62k| 3 |6829 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
27.83/28.10 c 28.1s| 25200 | 2600 |292929 | 11.6 | 46M | 86 | 693 |4271 | 0 | 62k| 0 |6851 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
27.93/28.17 c 28.1s| 25300 | 2626 |293596 | 11.6 | 47M | 91 | 693 |4265 | 0 | 62k| 0 |6851 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
28.02/28.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
28.02/28.23 c 28.2s| 25400 | 2637 |294146 | 11.5 | 47M | 92 | 693 |4271 | 494 | 62k| 2 |6858 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
28.12/28.30 c 28.3s| 25500 | 2656 |294806 | 11.5 | 47M | 92 | 693 |4271 | 483 | 62k| 1 |6858 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
28.12/28.35 c 28.3s| 25600 | 2676 |295180 | 11.5 | 47M | 92 | 693 |4271 | 0 | 62k| 0 |6858 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
28.22/28.42 c 28.4s| 25700 | 2692 |295650 | 11.5 | 47M | 92 | 693 |4261 | 0 | 62k| 0 |6858 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
28.22/28.49 c 28.5s| 25800 | 2712 |296329 | 11.4 | 47M | 92 | 693 |4254 | 0 | 63k| 0 |6873 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
28.32/28.56 c 28.5s| 25900 | 2723 |296873 | 11.4 | 47M | 92 | 693 |4225 | 0 | 63k| 0 |6876 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
28.42/28.63 c 28.6s| 26000 | 2730 |297490 | 11.4 | 47M | 92 | 693 |4230 | 0 | 63k| 0 |6916 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
28.52/28.70 c 28.7s| 26100 | 2740 |298132 | 11.4 | 47M | 92 | 693 |4234 | 0 | 63k| 0 |6933 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
28.52/28.76 c 28.7s| 26200 | 2740 |298503 | 11.4 | 47M | 92 | 693 |4234 | 466 | 63k| 1 |6933 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
28.62/28.82 c 28.8s| 26300 | 2753 |299096 | 11.3 | 47M | 93 | 693 |4232 | 0 | 63k| 0 |6938 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
28.62/28.88 c 28.9s| 26400 | 2755 |299576 | 11.3 | 47M | 95 | 693 |4230 | 0 | 63k| 0 |6938 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
28.72/28.94 c 28.9s| 26500 | 2762 |300010 | 11.3 | 47M | 95 | 693 |4222 | 0 | 64k| 0 |6952 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
28.72/28.99 c 29.0s| 26600 | 2763 |300316 | 11.3 | 47M | 95 | 693 |4232 | 0 | 64k| 0 |6970 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
28.82/29.05 c 29.0s| 26700 | 2775 |300646 | 11.2 | 47M | 95 | 693 |4231 | 0 | 64k| 0 |6970 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
28.92/29.10 c 29.1s| 26800 | 2781 |300890 | 11.2 | 47M | 95 | 693 |4231 | 488 | 64k| 2 |6970 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
28.92/29.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
28.92/29.17 c 29.1s| 26900 | 2795 |301223 | 11.2 | 47M | 95 | 693 |4231 | 0 | 64k| 0 |6970 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
29.02/29.24 c 29.2s| 27000 | 2802 |301792 | 11.1 | 47M | 95 | 693 |4237 | 489 | 64k| 2 |6981 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
29.02/29.29 c 29.3s| 27100 | 2804 |302164 | 11.1 | 47M | 95 | 693 |4231 | 0 | 64k| 0 |6982 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
29.12/29.35 c 29.3s| 27200 | 2790 |302585 | 11.1 | 47M | 95 | 693 |4235 | 487 | 64k| 2 |6997 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
29.22/29.40 c 29.4s| 27300 | 2795 |303041 | 11.1 | 47M | 95 | 693 |4249 | 468 | 64k| 2 |7014 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
29.22/29.48 c 29.5s| 27400 | 2802 |303698 | 11.0 | 47M | 95 | 693 |4248 | 493 | 65k| 3 |7034 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
29.32/29.55 c 29.5s| 27500 | 2797 |304250 | 11.0 | 47M | 95 | 693 |4266 | 435 | 65k| 1 |7081 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
29.41/29.60 c 29.6s| 27600 | 2797 |304578 | 11.0 | 47M | 95 | 693 |4259 | 475 | 65k| 1 |7087 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
29.51/29.78 c 29.8s| 27700 | 2832 |307008 | 11.0 | 47M | 95 | 693 |4259 | 393 | 65k| 2 |7116 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
29.71/29.95 c 29.9s| 27800 | 2910 |309069 | 11.1 | 47M | 95 | 693 |4251 | 421 | 66k| 2 |7120 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
29.82/30.03 c 30.0s| 27900 | 2958 |309565 | 11.1 | 47M | 95 | 693 |4239 | 437 | 66k| 3 |7140 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
29.92/30.11 c 30.1s| 28000 | 2975 |310174 | 11.0 | 48M | 95 | 693 |4284 | 412 | 66k| 2 |7221 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
30.01/30.24 c 30.2s| 28100 | 3016 |311208 | 11.0 | 48M | 95 | 693 |4253 | 435 | 66k| 3 |7240 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
30.11/30.34 c 30.3s| 28200 | 3034 |312435 | 11.0 | 48M | 95 | 693 |4278 | 445 | 67k| 2 |7302 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
30.21/30.43 c 30.4s| 28300 | 3068 |313478 | 11.0 | 48M | 95 | 693 |4280 | 432 | 67k| 2 |7337 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
30.31/30.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
30.31/30.52 c 30.5s| 28400 | 3089 |314338 | 11.0 | 48M | 95 | 693 |4304 | 0 | 67k| 0 |7398 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
30.41/30.60 c 30.6s| 28500 | 3097 |315268 | 11.0 | 48M | 95 | 693 |4285 | 438 | 67k| 2 |7422 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
30.41/30.67 c 30.6s| 28600 | 3089 |316058 | 11.0 | 48M | 95 | 693 |4303 | 432 | 67k| 2 |7468 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
30.51/30.73 c 30.7s| 28700 | 3081 |316579 | 11.0 | 48M | 95 | 693 |4303 | 436 | 67k| 3 |7486 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
30.61/30.80 c 30.8s| 28800 | 3080 |317141 | 11.0 | 48M | 95 | 693 |4300 | 0 | 68k| 0 |7509 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
30.61/30.87 c 30.8s| 28900 | 3073 |317722 | 11.0 | 48M | 95 | 693 |4296 | 0 | 68k| 0 |7531 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
30.71/30.95 c 30.9s| 29000 | 3069 |318491 | 10.9 | 48M | 95 | 693 |4290 | 0 | 68k| 0 |7552 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
30.81/31.02 c 31.0s| 29100 | 3073 |319224 | 10.9 | 48M | 95 | 693 |4287 | 429 | 68k| 2 |7565 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
30.91/31.10 c 31.1s| 29200 | 3071 |320079 | 10.9 | 48M | 95 | 693 |4258 | 0 | 68k| 0 |7582 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
30.91/31.19 c 31.2s| 29300 | 3102 |320895 | 10.9 | 48M | 95 | 693 |4240 | 439 | 69k| 2 |7593 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
31.01/31.28 c 31.3s| 29400 | 3122 |321671 | 10.9 | 48M | 95 | 693 |4219 | 441 | 69k| 3 |7602 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
31.11/31.35 c 31.3s| 29500 | 3122 |322283 | 10.9 | 48M | 95 | 693 |4204 | 0 | 69k| 0 |7602 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
31.21/31.43 c 31.4s| 29600 | 3132 |322962 | 10.9 | 48M | 95 | 693 |4199 | 445 | 69k| 3 |7604 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
31.31/31.50 c 31.5s| 29700 | 3134 |323423 | 10.9 | 48M | 95 | 693 |4188 | 417 | 69k| 2 |7606 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
31.31/31.56 c 31.5s| 29800 | 3141 |323868 | 10.8 | 48M | 95 | 693 |4224 | 431 | 69k| 2 |7645 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
31.41/31.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
31.41/31.63 c 31.6s| 29900 | 3139 |324518 | 10.8 | 48M | 95 | 693 |4271 | 0 | 69k| 0 |7705 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
31.41/31.69 c 31.7s| 30000 | 3141 |325012 | 10.8 | 48M | 95 | 693 |4271 | 440 | 70k| 2 |7713 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
31.51/31.75 c 31.7s| 30100 | 3148 |325553 | 10.8 | 48M | 95 | 693 |4283 | 0 | 70k| 0 |7734 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
31.61/31.82 c 31.8s| 30200 | 3142 |326237 | 10.8 | 48M | 95 | 693 |4301 | 0 | 70k| 0 |7765 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
31.61/31.89 c 31.9s| 30300 | 3142 |326769 | 10.8 | 48M | 95 | 693 |4283 | 422 | 70k| 2 |7781 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
31.70/31.97 c 31.9s| 30400 | 3160 |327537 | 10.7 | 48M | 95 | 693 |4251 | 0 | 70k| 0 |7788 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
31.81/32.04 c 32.0s| 30500 | 3154 |328165 | 10.7 | 48M | 95 | 693 |4220 | 412 | 70k| 2 |7800 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
31.91/32.11 c 32.1s| 30600 | 3165 |328749 | 10.7 | 48M | 95 | 693 |4209 | 432 | 71k| 3 |7804 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
31.91/32.19 c 32.2s| 30700 | 3190 |329542 | 10.7 | 48M | 95 | 693 |4195 | 0 | 71k| 0 |7813 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
32.00/32.27 c 32.2s| 30800 | 3197 |330163 | 10.7 | 48M | 95 | 693 |4190 | 438 | 71k| 2 |7818 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
32.10/32.33 c 32.3s| 30900 | 3197 |330597 | 10.7 | 48M | 95 | 693 |4183 | 421 | 71k| 1 |7818 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
32.20/32.40 c 32.4s| 31000 | 3196 |331172 | 10.6 | 48M | 95 | 693 |4180 | 0 | 71k| 0 |7821 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
32.20/32.48 c 32.5s| 31100 | 3211 |331851 | 10.6 | 48M | 95 | 693 |4167 | 0 | 71k| 0 |7843 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
32.30/32.56 c 32.5s| 31200 | 3229 |332492 | 10.6 | 48M | 95 | 693 |4159 | 0 | 71k| 0 |7851 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
32.40/32.63 c 32.6s| 31300 | 3222 |332906 | 10.6 | 48M | 95 | 693 |4138 | 415 | 72k| 2 |7851 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
32.50/32.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
32.50/32.70 c 32.7s| 31400 | 3238 |333523 | 10.6 | 48M | 95 | 693 |4145 | 428 | 72k| 3 |7870 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
32.50/32.78 c 32.8s| 31500 | 3245 |334181 | 10.6 | 48M | 95 | 693 |4161 | 0 | 72k| 0 |7888 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
32.60/32.85 c 32.8s| 31600 | 3241 |334911 | 10.6 | 48M | 95 | 693 |4179 | 431 | 72k| 2 |7912 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
32.70/32.91 c 32.9s| 31700 | 3246 |335408 | 10.5 | 48M | 95 | 693 |4183 | 423 | 72k| 1 |7931 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
32.70/32.98 c 33.0s| 31800 | 3241 |336067 | 10.5 | 48M | 95 | 693 |4187 | 439 | 72k| 2 |7953 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
32.80/33.04 c 33.0s| 31900 | 3237 |336486 | 10.5 | 48M | 95 | 693 |4170 | 425 | 73k| 1 |7963 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
32.90/33.11 c 33.1s| 32000 | 3245 |337018 | 10.5 | 48M | 95 | 693 |4163 | 0 | 73k| 0 |7966 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
32.90/33.17 c 33.2s| 32100 | 3237 |337395 | 10.5 | 48M | 95 | 693 |4162 | 0 | 73k| 0 |7987 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
33.00/33.25 c 33.2s| 32200 | 3241 |337933 | 10.5 | 48M | 95 | 693 |4147 | 0 | 73k| 0 |7989 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
33.10/33.31 c 33.3s| 32300 | 3245 |338479 | 10.4 | 48M | 95 | 693 |4126 | 421 | 73k| 1 |7989 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
33.10/33.36 c 33.3s| 32400 | 3243 |338784 | 10.4 | 48M | 95 | 693 |4113 | 434 | 73k| 2 |7989 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
33.20/33.41 c 33.4s| 32500 | 3249 |339120 | 10.4 | 48M | 95 | 693 |4111 | 0 | 73k| 0 |7995 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
33.30/33.50 c 33.5s| 32600 | 3247 |339546 | 10.4 | 48M | 95 | 693 |4110 | 430 | 73k| 1 |8005 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
33.30/33.56 c 33.5s| 32700 | 3251 |340082 | 10.4 | 48M | 95 | 693 |4116 | 0 | 74k| 0 |8015 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
33.50/33.73 c 33.7s| 32800 | 3206 |342709 | 10.4 | 48M | 95 | 693 |4092 | 399 | 74k| 2 |8024 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
33.60/33.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
33.60/33.86 c 33.8s| 32900 | 3237 |344171 | 10.4 | 48M | 95 | 693 |4080 | 456 | 74k| 2 |8047 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
33.70/34.00 c 34.0s| 33000 | 3321 |347039 | 10.5 | 48M | 95 | 693 |4080 | 423 | 75k| 2 |8065 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
33.90/34.11 c 34.1s| 33100 | 3385 |348878 | 10.5 | 48M | 95 | 693 |4100 | 425 | 75k| 1 |8092 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
33.99/34.22 c 34.2s| 33200 | 3429 |350554 | 10.5 | 48M | 95 | 693 |4083 | 0 | 75k| 0 |8092 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
34.09/34.35 c 34.3s| 33300 | 3441 |352147 | 10.5 | 49M | 95 | 693 |4089 | 391 | 76k| 1 |8109 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
34.29/34.52 c 34.5s| 33400 | 3501 |354754 | 10.6 | 49M | 95 | 693 |3392 | 0 | 76k| 0 |8133 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
34.39/34.63 c 34.6s| 33500 | 3533 |355998 | 10.6 | 49M | 95 | 693 |3431 | 420 | 76k| 2 |8189 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
34.49/34.72 c 34.7s| 33600 | 3570 |357085 | 10.6 | 49M | 95 | 693 |3475 | 445 | 76k| 3 |8236 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
34.49/34.79 c 34.8s| 33700 | 3605 |357463 | 10.6 | 49M | 95 | 693 |3473 | 454 | 77k| 1 |8236 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
34.59/34.83 c 34.8s| 33800 | 3635 |357630 | 10.6 | 49M | 95 | 693 |3473 | 459 | 77k| 1 |8236 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
34.59/34.88 c 34.9s| 33900 | 3643 |358170 | 10.5 | 49M | 95 | 693 |3472 | 0 | 77k| 0 |8236 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
34.69/34.94 c 34.9s| 34000 | 3657 |358544 | 10.5 | 49M | 95 | 693 |3471 | 437 | 77k| 2 |8236 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
34.79/35.01 c 35.0s| 34100 | 3681 |358838 | 10.5 | 49M | 95 | 693 |3471 | 0 | 77k| 0 |8236 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
34.79/35.04 c 35.0s| 34200 | 3687 |359005 | 10.5 | 49M | 95 | 693 |3470 | 447 | 77k| 1 |8236 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
34.90/35.12 c 35.1s| 34300 | 3707 |359248 | 10.4 | 49M | 95 | 693 |3467 | 0 | 77k| 0 |8236 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
34.90/35.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
34.90/35.15 c 35.1s| 34400 | 3713 |359428 | 10.4 | 49M | 95 | 693 |3465 | 452 | 77k| 1 |8236 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
34.99/35.20 c 35.2s| 34500 | 3713 |359633 | 10.4 | 49M | 95 | 693 |3464 | 449 | 77k| 2 |8236 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
34.99/35.25 c 35.2s| 34600 | 3709 |359878 | 10.4 | 49M | 95 | 693 |3463 | 0 | 77k| 0 |8236 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
35.09/35.32 c 35.3s| 34700 | 3703 |360425 | 10.4 | 49M | 95 | 693 |3493 | 439 | 77k| 3 |8266 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
35.09/35.39 c 35.4s| 34800 | 3726 |360834 | 10.3 | 49M | 95 | 693 |3498 | 0 | 77k| 0 |8273 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
35.19/35.46 c 35.4s| 34900 | 3742 |361162 | 10.3 | 49M | 95 | 693 |3493 | 0 | 78k| 0 |8280 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
35.29/35.52 c 35.5s| 35000 | 3733 |361537 | 10.3 | 49M | 95 | 693 |3493 | 461 | 78k| 2 |8286 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
35.29/35.59 c 35.6s| 35100 | 3754 |361963 | 10.3 | 49M | 95 | 693 |3497 | 0 | 78k| 0 |8293 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
35.39/35.65 c 35.6s| 35200 | 3758 |362310 | 10.3 | 49M | 95 | 693 |3501 | 435 | 78k| 2 |8300 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
35.49/35.72 c 35.7s| 35300 | 3779 |362683 | 10.2 | 49M | 95 | 693 |3510 | 455 | 78k| 2 |8310 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
35.49/35.78 c 35.8s| 35400 | 3795 |362989 | 10.2 | 49M | 95 | 693 |3516 | 436 | 78k| 1 |8316 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
35.59/35.83 c 35.8s| 35500 | 3819 |363243 | 10.2 | 49M | 95 | 693 |3514 | 449 | 78k| 2 |8316 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
35.59/35.89 c 35.9s| 35600 | 3859 |363534 | 10.2 | 49M | 95 | 693 |3520 | 442 | 78k| 1 |8322 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
35.69/35.94 c 35.9s| 35700 | 3877 |363728 | 10.2 | 49M | 95 | 693 |3533 | 443 | 79k| 2 |8335 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
35.69/35.98 c 36.0s| 35800 | 3896 |363908 | 10.1 | 49M | 95 | 693 |3539 | 447 | 79k| 1 |8342 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
35.79/36.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
35.79/36.03 c 36.0s| 35900 | 3922 |364115 | 10.1 | 49M | 95 | 693 |3539 | 0 | 79k| 0 |8342 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
35.79/36.08 c 36.1s| 36000 | 3941 |364315 | 10.1 | 49M | 95 | 693 |3552 | 0 | 79k| 0 |8358 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
35.89/36.12 c 36.1s| 36100 | 3943 |364477 | 10.1 | 49M | 95 | 693 |3551 | 452 | 79k| 1 |8358 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
35.89/36.17 c 36.1s| 36200 | 3943 |364683 | 10.0 | 49M | 95 | 693 |3549 | 452 | 79k| 2 |8358 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
35.98/36.22 c 36.2s| 36300 | 3957 |364881 | 10.0 | 49M | 95 | 693 |3545 | 447 | 79k| 1 |8358 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
35.98/36.25 c 36.2s| 36400 | 3965 |365014 | 10.0 | 49M | 95 | 693 |3550 | 449 | 79k| 1 |8365 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
36.08/36.30 c 36.3s| 36500 | 3983 |365213 | 10.0 | 49M | 95 | 693 |3549 | 448 | 79k| 1 |8365 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
36.08/36.36 c 36.3s| 36600 | 4009 |365404 | 10.0 | 49M | 95 | 693 |3548 | 0 | 79k| 0 |8365 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
36.08/36.39 c 36.4s| 36700 | 4009 |365535 | 9.9 | 49M | 95 | 693 |3552 | 0 | 79k| 0 |8370 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
36.18/36.45 c 36.4s| 36800 | 4031 |365751 | 9.9 | 49M | 95 | 693 |3551 | 447 | 79k| 1 |8370 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
36.18/36.49 c 36.5s| 36900 | 4028 |365909 | 9.9 | 49M | 95 | 693 |3562 | 0 | 79k| 0 |8381 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
36.28/36.54 c 36.5s| 37000 | 4020 |366215 | 9.9 | 49M | 95 | 693 |3579 | 0 | 79k| 0 |8402 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
36.38/36.60 c 36.6s| 37100 | 4012 |366490 | 9.9 | 49M | 95 | 693 |3590 | 0 | 79k| 0 |8416 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
36.38/36.65 c 36.6s| 37200 | 3996 |366696 | 9.8 | 49M | 95 | 693 |3581 | 0 | 80k| 0 |8416 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
36.48/36.70 c 36.7s| 37300 | 3987 |366960 | 9.8 | 49M | 95 | 693 |3584 | 452 | 80k| 1 |8421 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
36.48/36.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
36.48/36.75 c 36.7s| 37400 | 3973 |367222 | 9.8 | 49M | 95 | 693 |3589 | 450 | 80k| 2 |8429 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
36.58/36.80 c 36.8s| 37500 | 3964 |367498 | 9.8 | 49M | 95 | 693 |3587 | 451 | 80k| 2 |8433 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
36.58/36.88 c 36.9s| 37600 | 3969 |367801 | 9.8 | 49M | 95 | 693 |3572 | 441 | 80k| 2 |8438 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
36.68/36.94 c 36.9s| 37700 | 3977 |368100 | 9.7 | 49M | 95 | 693 |3564 | 444 | 80k| 1 |8438 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
36.68/37.00 c 37.0s| 37800 | 3981 |368333 | 9.7 | 49M | 95 | 693 |3560 | 0 | 80k| 0 |8438 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
36.78/37.06 c 37.0s| 37900 | 3983 |368626 | 9.7 | 49M | 95 | 693 |3557 | 447 | 80k| 2 |8438 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
36.88/37.11 c 37.1s| 38000 | 3979 |368837 | 9.7 | 49M | 95 | 693 |3548 | 0 | 80k| 0 |8438 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
36.88/37.16 c 37.1s| 38100 | 3967 |369059 | 9.7 | 49M | 95 | 693 |3548 | 0 | 81k| 0 |8446 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
36.98/37.24 c 37.2s| 38200 | 3991 |369437 | 9.6 | 49M | 95 | 693 |3544 | 471 | 81k| 2 |8456 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
37.08/37.31 c 37.3s| 38300 | 3996 |369813 | 9.6 | 49M | 95 | 693 |3545 | 455 | 81k| 2 |8464 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
37.08/37.37 c 37.4s| 38400 | 4008 |370203 | 9.6 | 49M | 95 | 693 |3561 | 0 | 81k| 0 |8481 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
37.18/37.44 c 37.4s| 38500 | 4019 |370507 | 9.6 | 49M | 95 | 693 |3567 | 0 | 81k| 0 |8494 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
37.28/37.50 c 37.5s| 38600 | 4021 |370842 | 9.6 | 49M | 95 | 693 |3573 | 455 | 81k| 1 |8503 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
37.28/37.57 c 37.5s| 38700 | 4027 |371270 | 9.6 | 49M | 95 | 693 |3574 | 0 | 81k| 0 |8508 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
37.38/37.64 c 37.6s| 38800 | 4035 |371615 | 9.6 | 49M | 95 | 693 |3570 | 472 | 81k| 2 |8508 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
37.48/37.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
37.48/37.71 c 37.7s| 38900 | 4058 |372017 | 9.5 | 49M | 95 | 693 |3561 | 0 | 82k| 0 |8516 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
37.48/37.78 c 37.8s| 39000 | 4052 |372419 | 9.5 | 49M | 95 | 693 |3574 | 450 | 82k| 2 |8533 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
37.58/37.84 c 37.8s| 39100 | 4065 |372802 | 9.5 | 49M | 95 | 693 |3578 | 0 | 82k| 0 |8548 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
37.68/37.91 c 37.9s| 39200 | 4063 |373142 | 9.5 | 49M | 95 | 693 |3581 | 467 | 82k| 2 |8557 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
37.68/37.99 c 38.0s| 39300 | 4070 |373512 | 9.5 | 49M | 95 | 693 |3577 | 459 | 82k| 1 |8561 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
37.78/38.06 c 38.0s| 39400 | 4083 |373938 | 9.5 | 49M | 95 | 693 |3580 | 464 | 82k| 3 |8575 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
37.88/38.12 c 38.1s| 39500 | 4083 |374302 | 9.5 | 49M | 95 | 693 |3575 | 461 | 83k| 1 |8576 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
37.88/38.19 c 38.2s| 39600 | 4083 |374615 | 9.4 | 49M | 95 | 693 |3579 | 466 | 83k| 2 |8585 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
37.97/38.26 c 38.2s| 39700 | 4092 |375023 | 9.4 | 49M | 95 | 693 |3579 | 472 | 83k| 2 |8595 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
38.07/38.33 c 38.3s| 39800 | 4098 |375362 | 9.4 | 49M | 95 | 693 |3574 | 461 | 83k| 2 |8595 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
38.17/38.40 c 38.4s| 39900 | 4097 |375794 | 9.4 | 49M | 95 | 693 |3579 | 0 | 83k| 0 |8604 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
38.17/38.47 c 38.5s| 40000 | 4095 |376193 | 9.4 | 49M | 95 | 693 |3569 | 0 | 83k| 0 |8604 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
38.27/38.54 c 38.5s| 40100 | 4107 |376523 | 9.4 | 49M | 95 | 693 |3588 | 0 | 83k| 0 |8629 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
38.37/38.60 c 38.6s| 40200 | 4115 |376910 | 9.4 | 49M | 95 | 693 |3583 | 0 | 84k| 0 |8629 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
38.37/38.67 c 38.6s| 40300 | 4113 |377283 | 9.3 | 49M | 95 | 693 |3582 | 464 | 84k| 2 |8639 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
38.47/38.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
38.47/38.73 c 38.7s| 40400 | 4105 |377623 | 9.3 | 49M | 95 | 693 |3592 | 0 | 84k| 0 |8662 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
38.57/38.80 c 38.8s| 40500 | 4120 |377988 | 9.3 | 49M | 95 | 693 |3591 | 466 | 84k| 3 |8665 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
38.57/38.86 c 38.8s| 40600 | 4120 |378373 | 9.3 | 49M | 95 | 693 |3587 | 0 | 84k| 0 |8665 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
38.67/38.93 c 38.9s| 40700 | 4114 |378715 | 9.3 | 49M | 95 | 693 |3595 | 474 | 84k| 2 |8680 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
38.67/38.99 c 39.0s| 40800 | 4116 |379077 | 9.3 | 49M | 95 | 693 |3591 | 451 | 84k| 2 |8682 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
38.78/39.06 c 39.0s| 40900 | 4126 |379499 | 9.3 | 49M | 95 | 693 |3583 | 458 | 85k| 2 |8688 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
38.88/39.13 c 39.1s| 41000 | 4141 |379921 | 9.2 | 49M | 95 | 693 |3606 | 459 | 85k| 1 |8720 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
38.97/39.20 c 39.2s| 41100 | 4154 |380383 | 9.2 | 49M | 95 | 693 |3621 | 453 | 85k| 2 |8741 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
38.97/39.26 c 39.2s| 41200 | 4161 |380748 | 9.2 | 49M | 95 | 693 |3625 | 459 | 85k| 2 |8753 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
39.07/39.33 c 39.3s| 41300 | 4167 |381013 | 9.2 | 49M | 95 | 693 |3613 | 0 | 85k| 0 |8753 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
39.07/39.39 c 39.4s| 41400 | 4175 |381323 | 9.2 | 49M | 95 | 693 |3616 | 0 | 85k| 0 |8769 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
39.17/39.45 c 39.4s| 41500 | 4182 |381726 | 9.2 | 49M | 95 | 693 |3617 | 0 | 85k| 0 |8777 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
39.27/39.52 c 39.5s| 41600 | 4184 |382212 | 9.2 | 49M | 95 | 693 |3627 | 0 | 85k| 0 |8800 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
39.27/39.58 c 39.6s| 41700 | 4185 |382536 | 9.1 | 49M | 95 | 693 |3636 | 0 | 86k| 0 |8819 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
39.37/39.65 c 39.6s| 41800 | 4191 |382923 | 9.1 | 49M | 95 | 693 |3645 | 0 | 86k| 0 |8844 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
39.47/39.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
39.47/39.71 c 39.7s| 41900 | 4204 |383269 | 9.1 | 49M | 95 | 693 |3642 | 457 | 86k| 1 |8850 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
39.47/39.78 c 39.8s| 42000 | 4198 |383538 | 9.1 | 49M | 95 | 693 |3633 | 468 | 86k| 2 |8850 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
39.57/39.84 c 39.8s| 42100 | 4190 |383844 | 9.1 | 49M | 95 | 693 |3637 | 460 | 86k| 2 |8868 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
39.57/39.89 c 39.9s| 42200 | 4180 |384119 | 9.1 | 49M | 95 | 693 |3646 | 444 | 86k| 3 |8888 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
39.67/39.95 c 39.9s| 42300 | 4184 |384441 | 9.1 | 49M | 95 | 693 |3632 | 469 | 86k| 3 |8893 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
39.77/40.02 c 40.0s| 42400 | 4196 |384826 | 9.1 | 49M | 95 | 693 |3638 | 0 | 87k| 0 |8907 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
39.77/40.09 c 40.1s| 42500 | 4204 |385153 | 9.0 | 49M | 95 | 693 |3634 | 0 | 87k| 0 |8907 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
39.87/40.16 c 40.1s| 42600 | 4215 |385477 | 9.0 | 49M | 95 | 693 |3652 | 0 | 87k| 0 |8926 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
39.97/40.21 c 40.2s| 42700 | 4207 |385696 | 9.0 | 49M | 95 | 693 |3677 | 0 | 87k| 0 |8953 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
40.07/40.31 c 40.3s| 42800 | 4215 |386121 | 9.0 | 49M | 95 | 693 |3680 | 0 | 87k| 0 |8973 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
40.07/40.37 c 40.3s| 42900 | 4213 |386632 | 9.0 | 49M | 95 | 693 |3669 | 454 | 87k| 3 |8973 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
40.16/40.45 c 40.4s| 43000 | 4220 |387303 | 9.0 | 49M | 95 | 693 |3662 | 462 | 88k| 2 |8976 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
40.26/40.52 c 40.5s| 43100 | 4215 |387896 | 9.0 | 49M | 95 | 693 |3666 | 456 | 88k| 2 |8985 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
40.26/40.59 c 40.6s| 43200 | 4226 |388367 | 9.0 | 49M | 95 | 693 |3658 | 0 | 88k| 0 |9003 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
40.36/40.67 c 40.6s| 43300 | 4246 |388884 | 9.0 | 49M | 95 | 693 |3659 | 437 | 88k| 1 |9026 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
40.46/40.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
40.46/40.72 c 40.7s| 43400 | 4250 |389237 | 8.9 | 49M | 95 | 693 |3642 | 432 | 88k| 2 |9026 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
40.46/40.79 c 40.8s| 43500 | 4262 |389620 | 8.9 | 49M | 95 | 693 |3646 | 464 | 88k| 2 |9045 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
40.56/40.85 c 40.8s| 43600 | 4248 |389865 | 8.9 | 49M | 95 | 693 |3639 | 0 | 88k| 0 |9055 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
40.66/40.91 c 40.9s| 43700 | 4250 |390275 | 8.9 | 49M | 95 | 693 |3628 | 457 | 89k| 2 |9065 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
40.66/40.98 c 41.0s| 43800 | 4258 |390700 | 8.9 | 49M | 95 | 693 |3624 | 463 | 89k| 2 |9065 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
40.77/41.04 c 41.0s| 43900 | 4252 |391093 | 8.9 | 49M | 95 | 693 |3616 | 462 | 89k| 2 |9069 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
40.87/41.11 c 41.1s| 44000 | 4248 |391524 | 8.9 | 49M | 95 | 693 |3621 | 0 | 89k| 0 |9088 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
40.87/41.18 c 41.2s| 44100 | 4248 |392036 | 8.9 | 49M | 95 | 693 |3632 | 0 | 89k| 0 |9106 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
40.96/41.24 c 41.2s| 44200 | 4245 |392478 | 8.9 | 49M | 95 | 693 |3632 | 464 | 89k| 2 |9111 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
41.06/41.31 c 41.3s| 44300 | 4254 |392959 | 8.8 | 49M | 95 | 693 |3628 | 454 | 89k| 2 |9124 | 241 | 2.000000e+00 | 3.000000e+00 | 50.00%| 38.08%
41.06/41.33 o 2
41.06/41.33 c *41.3s| 44314 | 0 |392989 | 8.8 | LP | 95 | 693 |3626 | 457 | 90k| 1 |9124 | 241 | 2.000000e+00 | 2.000000e+00 | 0.00%| 100.00%
41.06/41.33 c
41.06/41.33 c SCIP Status : problem is solved [optimal solution found]
41.06/41.33 c Solving Time (sec) : 41.31
41.06/41.33 c Solving Nodes : 44314
41.06/41.33 c Primal Bound : +2.00000000000000e+00 (3 solutions)
41.06/41.33 c Dual Bound : +2.00000000000000e+00
41.06/41.33 c Gap : 0.00 %
41.06/41.33 s OPTIMUM FOUND
41.06/41.33 v -x192 -x191 x190 -x189 -x188 x187 x186 -x185 -x184 x183 x182 -x181 x180 x179 -x178 x177 x128 -x127 -x126 -x125 -x124 -x123 x122
41.06/41.33 v -x121 -x176 -x175 -x174 x173 -x172 x171 -x170 x169 x120 x119 -x118 x117 -x116 x115 x114 -x113 -x168 -x167 -x166 -x165 -x164
41.06/41.33 v -x163 -x162 x161 x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 x160 -x159 x158 -x157 -x156 -x155 x154 -x153 -x104 -x103 -x102
41.06/41.33 v -x101 -x100 -x99 x98 -x97 -x152 -x151 -x150 -x149 x148 x147 x146 x145 x96 -x95 x94 x93 -x92 -x91 x90 -x89 -x144 -x143 -x142
41.06/41.33 v -x141 -x140 x139 -x138 -x137 -x88 x87 x86 -x85 -x84 -x83 x82 -x81 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x80 -x79 x78
41.06/41.33 v -x77 -x76 -x75 x74 -x73 -x72 x71 -x70 -x69 x68 -x67 x66 x65 x64 -x63 -x62 -x61 -x60 -x59 x58 x57 -x56 -x55 x54 -x53 x52 -x51
41.06/41.33 v x50 x49 x48 x47 -x46 -x45 -x44 -x43 -x42 x41 x40 x39 x38 -x37 x36 -x35 -x34 x33 -x32 -x31 x30 -x29 x28 -x27 -x26 x25 -x24
41.06/41.33 v -x23 x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1
41.06/41.33 c SCIP Status : problem is solved [optimal solution found]
41.06/41.33 c Total Time : 41.31
41.06/41.33 c solving : 41.31
41.06/41.33 c presolving : 0.01 (included in solving)
41.06/41.33 c reading : 0.00 (included in solving)
41.06/41.33 c copying : 1.11 (129 #copies) (minimal 0.00, maximal 0.01, average 0.01)
41.06/41.33 c Original Problem :
41.06/41.33 c Problem name : HOME/instance-4459696-1721939462.opb
41.06/41.33 c Variables : 704 (192 binary, 0 integer, 512 implicit integer, 0 continuous)
41.06/41.33 c Constraints : 537 initial, 537 maximal
41.06/41.33 c Objective : minimize, 8 non-zeros (abs.min = 1, abs.max = 128)
41.06/41.33 c Presolved Problem :
41.06/41.33 c Problem name : t_HOME/instance-4459696-1721939462.opb
41.06/41.33 c Variables : 693 (191 binary, 0 integer, 502 implicit integer, 0 continuous)
41.06/41.33 c Constraints : 544 initial, 5230 maximal
41.06/41.33 c Objective : minimize, 8 non-zeros (abs.min = 1, abs.max = 128)
41.06/41.33 c Nonzeros : 3852 constraint, 1374 clique table
41.06/41.33 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
41.06/41.33 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
41.06/41.33 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
41.06/41.33 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
41.06/41.33 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
41.06/41.33 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
41.06/41.33 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
41.06/41.33 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
41.06/41.33 c gateextraction : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
41.06/41.33 c implics : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
41.06/41.33 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
41.06/41.33 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
41.06/41.33 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
41.06/41.33 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
41.06/41.33 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
41.06/41.33 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
41.06/41.33 c trivial : 0.00 0.00 10 0 0 0 0 0 0 0 0 0
41.06/41.33 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
41.06/41.33 c dualfix : 0.00 0.00 10 0 0 0 0 0 0 0 0 0
41.06/41.33 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
41.06/41.33 c probing : 0.00 0.00 2 0 2 0 0 0 0 0 0 0
41.06/41.33 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
41.06/41.33 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
41.06/41.33 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
41.06/41.33 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
41.06/41.33 c setppc : 0.00 0.00 16 0 0 0 0 0 1 0 0 0
41.06/41.33 c and : 0.00 0.00 15 0 0 0 0 0 2 2 0 0
41.06/41.33 c linear : 0.00 0.00 14 1 8 0 0 0 0 16 0 54
41.06/41.33 c logicor : 0.00 0.00 12 0 0 0 0 0 8 0 0 0
41.06/41.33 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
41.06/41.33 c pseudoboolean : 0.00 0.00 6 0 0 0 0 0 9 0 0 0
41.06/41.33 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
41.06/41.33 c root node : - - - 146 - - 146 - - - - -
41.06/41.33 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
41.06/41.33 c benderslp : 0 0 0 0 25239 0 0 4811 0 0 0 0 0 0 0
41.06/41.33 c integral : 0 0 0 0 25239 0 0 4811 0 0 453 0 0 198 50362
41.06/41.33 c knapsack : 0+ 22 0 78081 0 0 0 0 97 11 973 0 0 0 0
41.06/41.33 c setppc : 2+ 15 12 79645 0 0 0 4805 113 2 299 7 0 0 0
41.06/41.33 c and : 509 509 47449 88503 1 0 0 420 81224 1477 177265 102313 82380 0 0
41.06/41.33 c linear : 8+ 30 12 87025 1 0 0 4741 15238 18393 67338 0 0 0 0
41.06/41.33 c logicor : 17+ 4797 12 35046 1 0 0 74 1603 231 6487 9 0 0 0
41.06/41.33 c benders : 0 0 0 0 1 0 0 76 0 0 0 0 0 0 0
41.06/41.33 c pseudoboolean : 8 8 0 0 1 0 0 74 0 0 0 0 0 0 0
41.06/41.33 c fixedvar : 0 0 0 0 1 0 0 4 0 0 0 0 0 0 0
41.06/41.33 c countsols : 0 0 0 0 1 0 0 4 0 0 0 0 0 0 0
41.06/41.33 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
41.06/41.33 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
41.06/41.33 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
41.06/41.33 c integral : 0.58 0.00 0.00 0.00 0.58 0.00 0.00 0.00 0.00 0.00
41.06/41.33 c knapsack : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
41.06/41.33 c setppc : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
41.06/41.33 c and : 1.03 0.00 0.62 0.39 0.00 0.00 0.00 0.00 0.01 0.01
41.06/41.33 c linear : 0.26 0.00 0.00 0.23 0.00 0.00 0.00 0.01 0.03 0.00
41.06/41.33 c logicor : 0.45 0.00 0.00 0.45 0.00 0.00 0.00 0.00 0.00 0.00
41.06/41.33 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
41.06/41.33 c pseudoboolean : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
41.06/41.33 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
41.06/41.33 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
41.06/41.33 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
41.06/41.33 c Propagators : #Propagate #ResProp Cutoffs DomReds
41.06/41.33 c dualfix : 2 0 0 0
41.06/41.33 c genvbounds : 0 0 0 0
41.06/41.33 c nlobbt : 0 0 0 0
41.06/41.33 c obbt : 0 0 0 0
41.06/41.33 c probing : 0 0 0 0
41.06/41.33 c pseudoobj : 107133 0 0 35
41.06/41.33 c redcost : 87273 0 0 94
41.06/41.33 c rootredcost : 2 0 0 69
41.06/41.33 c symmetry : 0 0 0 0
41.06/41.33 c vbounds : 49308 0 0 0
41.06/41.33 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
41.06/41.33 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
41.06/41.33 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
41.06/41.33 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
41.06/41.33 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
41.06/41.33 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
41.06/41.33 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
41.06/41.33 c redcost : 0.91 0.00 0.00 0.91 0.00 0.00
41.06/41.33 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
41.06/41.33 c symmetry : 0.01 0.00 0.00 0.01 0.00 0.00
41.06/41.33 c vbounds : 0.08 0.00 0.00 0.08 0.00 0.00
41.06/41.33 c Symmetry :
41.06/41.33 c orbitopal red. : 0 reductions applied, 0 cutoffs
41.06/41.33 c orbital reduction: 0 reductions applied, 0 cutoffs
41.06/41.33 c lexicographic red: 0 reductions applied, 0 cutoffs
41.06/41.33 c shadow tree time : 0.00 s
41.06/41.33 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
41.06/41.33 c propagation : 0.10 1753 1734 - 16998 40.5 227 30.5 - - -
41.06/41.33 c infeasible LP : 0.01 61 60 - 613 50.5 8 33.9 58 39.3 0
41.06/41.33 c bound exceed. LP : 0.00 5 1 - 0 0.0 0 0.0 1 61.0 50
41.06/41.33 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
41.06/41.33 c pseudo solution : 0.00 1 1 - 1 0.0 0 0.0 - - -
41.06/41.33 c applied globally : 0.05 - - 0 9065 29.1 - - 59 - -
41.06/41.33 c applied locally : - - - 0 0 0.0 - - 0 - -
41.06/41.33 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
41.06/41.33 c cut pool : 0.31 - 5780 23 - - 9640 55816 - - - - - (maximal pool size: 2271)
41.06/41.33 c aggregation : 0.40 0.00 238 12 0 0 4783 19230 2000 3250 2677 573 0
41.06/41.33 c > cmir : - - - - - - - 15625 359 1976 1942 34 -
41.06/41.33 c > flowcover : - - - - - - - 3219 1518 1101 621 480 -
41.06/41.33 c > knapsackcover : - - - - - - - 386 123 173 114 59 -
41.06/41.33 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
41.06/41.33 c clique : 0.00 0.00 12 12 0 0 7 17 0 1 1 0 0
41.06/41.33 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
41.06/41.33 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
41.06/41.33 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
41.06/41.33 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
41.06/41.33 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
41.06/41.33 c gomory : 1.07 0.00 235 10 0 0 10027 33301 4299 2062 1908 154 0
41.06/41.33 c > gomorymi : - - - - - - - 17672 2139 1084 990 94 -
41.06/41.33 c > strongcg : - - - - - - - 15629 2160 978 918 60 -
41.06/41.33 c impliedbounds : 0.01 0.00 238 12 0 0 1005 2561 0 2046 2046 0 0
41.06/41.33 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
41.06/41.33 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
41.06/41.33 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
41.06/41.33 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
41.06/41.33 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
41.06/41.33 c mixing : 0.00 0.00 238 12 0 0 0 0 0 0 0 0 0
41.06/41.33 c multilinear : 0.00 0.00 2427 12 0 0 0 0 0 0 0 0 0
41.06/41.33 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
41.06/41.33 c rapidlearning : 1.91 0.00 100 1 0 1554 0 0 0 0 0 0 10
41.06/41.33 c rlt : 0.04 0.00 106 10 0 0 106 247 52 170 149 21 0
41.06/41.33 c zerohalf : 0.04 0.00 232 12 0 0 179 460 117 87 68 19 0
41.06/41.33 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
41.06/41.33 c hybrid : 0.12 0.00 36521 12 90029 12 74538 245 0 1473
41.06/41.33 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
41.06/41.33 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
41.06/41.33 c Pricers : ExecTime SetupTime Calls Vars
41.06/41.33 c problem variables: 0.00 - 1 413
41.06/41.33 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
41.06/41.33 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
41.06/41.33 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
41.06/41.33 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
41.06/41.33 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
41.06/41.33 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
41.06/41.33 c inference : 0.00 0.00 0 0 18 0 0 0 0 36
41.06/41.33 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
41.06/41.33 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
41.06/41.33 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
41.06/41.33 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
41.06/41.33 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
41.06/41.33 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
41.06/41.33 c random : 0.00 0.00 0 0 0 0 0 0 0 0
41.06/41.33 c relpscost : 0.57 0.00 25220 0 0 0 453 0 198 50326
41.06/41.33 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
41.06/41.33 c Primal Heuristics : ExecTime SetupTime Calls Found Best
41.06/41.33 c LP solutions : 0.01 - - 1 1
41.06/41.33 c relax solutions : 0.00 - - 0 0
41.06/41.33 c pseudo solutions : 0.00 - - 0 0
41.06/41.33 c strong branching : 0.00 - - 0 0
41.06/41.33 c actconsdiving : 0.00 0.00 0 0 0
41.06/41.33 c adaptivediving : 0.07 0.00 22 0 0
41.06/41.33 c alns : 0.13 0.00 9 0 0
41.06/41.33 c bound : 0.00 0.00 0 0 0
41.06/41.33 c clique : 0.00 0.00 1 1 1
41.06/41.33 c coefdiving : 0.00 0.00 0 0 0
41.06/41.33 c completesol : 0.00 0.00 0 0 0
41.06/41.33 c conflictdiving : 0.04 0.00 18 0 0
41.06/41.33 c crossover : 0.00 0.00 0 0 0
41.06/41.33 c dins : 0.00 0.00 0 0 0
41.06/41.33 c distributiondivin: 0.07 0.00 18 0 0
41.06/41.33 c dps : 0.00 0.00 0 0 0
41.06/41.33 c dualval : 0.00 0.00 0 0 0
41.06/41.33 c farkasdiving : 0.03 0.00 1 0 0
41.06/41.33 c feasjump : 0.00 0.00 0 0 0
41.06/41.33 c feaspump : 0.06 0.00 9 0 0
41.06/41.33 c fixandinfer : 0.00 0.00 0 0 0
41.06/41.33 c fracdiving : 0.04 0.00 18 0 0
41.06/41.33 c gins : 0.01 0.00 0 0 0
41.06/41.33 c guideddiving : 0.02 0.00 18 0 0
41.06/41.33 c indcoefdiving : 0.00 0.00 0 0 0
41.06/41.33 c indicator : 0.01 0.00 0 0 0
41.06/41.33 c indicatordiving : 0.00 0.00 0 0 0
41.06/41.33 c indoneopt : 0.01 0.00 0 0 0
41.06/41.33 c indrounding : 0.00 0.00 0 0 0
41.06/41.33 c indtwoopt : 0.00 0.00 0 0 0
41.06/41.33 c intdiving : 0.00 0.00 0 0 0
41.06/41.33 c intshifting : 0.00 0.00 0 0 0
41.06/41.33 c linesearchdiving : 0.03 0.00 18 0 0
41.06/41.33 c localbranching : 0.00 0.00 0 0 0
41.06/41.33 c locks : 0.00 0.00 1 0 0
41.06/41.33 c lpface : 0.02 0.00 0 0 0
41.06/41.33 c mpec : 0.00 0.00 0 0 0
41.06/41.33 c multistart : 0.00 0.00 0 0 0
41.06/41.33 c mutation : 0.00 0.00 0 0 0
41.06/41.33 c nlpdiving : 0.00 0.00 0 0 0
41.06/41.33 c objpscostdiving : 0.06 0.00 10 0 0
41.06/41.33 c octane : 0.00 0.00 0 0 0
41.06/41.33 c ofins : 0.00 0.00 0 0 0
41.06/41.33 c oneopt : 0.01 0.00 2 0 0
41.06/41.33 c padm : 0.00 0.00 0 0 0
41.06/41.33 c proximity : 0.00 0.00 0 0 0
41.06/41.33 c pscostdiving : 0.07 0.00 18 0 0
41.06/41.33 c randrounding : 0.05 0.00 4743 0 0
41.06/41.33 c rens : 0.01 0.00 1 0 0
41.06/41.33 c reoptsols : 0.00 0.00 0 0 0
41.06/41.33 c repair : 0.00 0.00 0 0 0
41.06/41.33 c rins : 0.35 0.00 19 1 1
41.06/41.33 c rootsoldiving : 0.03 0.00 10 0 0
41.06/41.33 c rounding : 0.03 0.00 3434 0 0
41.06/41.33 c scheduler : 0.00 0.00 0 0 0
41.06/41.33 c shiftandpropagate: 0.00 0.00 0 0 0
41.06/41.33 c shifting : 0.63 0.00 1142 0 0
41.06/41.33 c simplerounding : 0.01 0.00 2 0 0
41.06/41.33 c smallcard : 0.00 0.00 0 0 0
41.06/41.33 c subnlp : 0.02 0.00 0 0 0
41.06/41.33 c trivial : 0.00 0.00 2 0 0
41.06/41.33 c trivialnegation : 0.00 0.00 0 0 0
41.06/41.33 c trustregion : 0.00 0.00 0 0 0
41.06/41.33 c trysol : 0.01 0.00 0 0 0
41.06/41.33 c twoopt : 0.00 0.00 0 0 0
41.06/41.33 c undercover : 0.03 0.00 1 0 0
41.06/41.33 c vbounds : 0.00 0.00 1 0 0
41.06/41.33 c veclendiving : 0.03 0.00 18 0 0
41.06/41.33 c zeroobj : 0.00 0.00 0 0 0
41.06/41.33 c zirounding : 0.01 0.00 1000 0 0
41.06/41.33 c other solutions : - - - 0 -
41.06/41.33 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
41.06/41.33 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
41.06/41.33 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
41.06/41.33 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
41.06/41.33 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
41.06/41.33 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
41.06/41.33 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
41.06/41.33 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
41.06/41.33 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
41.06/41.33 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
41.06/41.33 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
41.06/41.33 c primal LP : 2.27 9406 0 0.00 0.00 2.27 9406
41.06/41.33 c dual LP : 21.81 62149 360238 5.83 16516.41 0.07 359
41.06/41.33 c lex dual LP : 0.00 0 0 0.00 -
41.06/41.33 c barrier LP : 0.00 0 0 0.00 - 0.00 0
41.06/41.33 c resolve instable : 0.00 0 0 0.00 -
41.06/41.33 c diving/probing LP: 0.43 985 32751 33.25 75686.01
41.06/41.33 c strong branching : 0.13 241 3375 14.00 26773.60 - - 12
41.06/41.33 c (at root node) : - 25 1531 61.24 -
41.06/41.33 c conflict analysis: 0.00 5 50 10.00 -
41.06/41.33 c B&B Tree :
41.06/41.33 c number of runs : 1
41.06/41.33 c nodes : 44314 (25181 internal, 19133 leaves)
41.06/41.33 c feasible leaves : 1
41.06/41.33 c infeas. leaves : 19119
41.06/41.33 c objective leaves : 13
41.06/41.33 c nodes (total) : 44314 (25181 internal, 19133 leaves)
41.06/41.33 c nodes left : 0
41.06/41.33 c max depth : 95
41.06/41.33 c max depth (total): 95
41.06/41.33 c backtracks : 9772 (22.1%)
41.06/41.33 c early backtracks : 0 (0.0%)
41.06/41.33 c nodes exc. ref. : 0 (0.0%)
41.06/41.33 c delayed cutoffs : 953
41.06/41.33 c repropagations : 2818 (11975 domain reductions, 648 cutoffs)
41.06/41.33 c avg switch length: 3.88
41.06/41.33 c switching time : 3.45
41.06/41.33 c Root Node :
41.06/41.33 c First LP value : +2.00000000000000e+00
41.06/41.33 c First LP Iters : 25 (45871.56 Iter/sec)
41.06/41.33 c First LP Time : 0.00
41.06/41.33 c Final Dual Bound : +2.00000000000000e+00
41.06/41.33 c Final Root Iters : 1035
41.06/41.33 c Root LP Estimate : +2.05299229400312e+00
41.06/41.33 c Solution :
41.06/41.33 c Solutions found : 3 (3 improvements)
41.06/41.33 c First Solution : +1.29000000000000e+02 (in run 1, after 1 nodes, 0.02 seconds, depth 52, found by <clique>)
41.06/41.33 c Gap First Sol. : infinite
41.06/41.33 c Gap Last Sol. : 0.00 %
41.06/41.33 c Primal Bound : +2.00000000000000e+00 (in run 1, after 44314 nodes, 41.31 seconds, depth -1, found by <relaxation>)
41.06/41.33 c Dual Bound : +2.00000000000000e+00
41.06/41.33 c Gap : 0.00 %
41.06/41.33 c Integrals : Total Avg%
41.06/41.33 c primal-dual : 1871.81 45.31
41.06/41.33 c primal-ref : - - (not evaluated)
41.06/41.33 c dual-ref : - - (not evaluated)
41.06/41.34 c Time complete: 41.1156.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (49759 MiB free)
memory of node 1: 64510 MiB (58353 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459696-1721939462/watcher-4459696-1721939462 -o /tmp/evaluation-result-4459696-1721939462/solver-4459696-1721939462 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721939462-246704 --watchdog 3760 pbscip -f HOME/instance-4459696-1721939462.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=246719, runsolver pid=246716
[startup+0.104083 s]*
/proc/loadavg: 0.09 0.09 0.20 2/239 246721
/proc/meminfo: memFree=110687648/131524600 swapFree=131054736/131071996
[pid=246719] ppid=246716 vsize=72328 memory=33172 CPUtime=0.05 cores=1,3
/proc/246719/stat : 246719 (pbscip) R 246716 246719 246692 0 -1 4194304 4683 0 7 0 5 0 0 0 20 0 1 0 30470413 74063872 8293 134679101440 4194304 18693293 140726901434304 0 0 0 0 0 2 0 0 0 17 1 0 0 3 0 0 21375888 21430392 57413632 140726901441539 140726901441638 140726901441638 140726901448654 0
/proc/246719/statm: 18082 8293 3981 3540 0 6339 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 72328 KiB
Current children cumulated memory: 33172 KiB
[startup+0.205062 s]*
/proc/loadavg: 0.09 0.09 0.20 2/239 246721
/proc/meminfo: memFree=110687256/131524600 swapFree=131054736/131071996
[pid=246719] ppid=246716 vsize=72328 memory=33172 CPUtime=0.15 cores=1,3
/proc/246719/stat : 246719 (pbscip) R 246716 246719 246692 0 -1 4194304 4697 0 7 0 15 0 0 0 20 0 1 0 30470413 74063872 8293 134679101440 4194304 18693293 140726901434304 0 0 0 0 0 2 0 0 0 17 1 0 0 3 0 0 21375888 21430392 57413632 140726901441539 140726901441638 140726901441638 140726901448654 0
/proc/246719/statm: 18082 8293 3981 3540 0 6339 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 72328 KiB
Current children cumulated memory: 33172 KiB
[startup+0.304057 s]*
/proc/loadavg: 0.09 0.09 0.20 3/240 246726
/proc/meminfo: memFree=110667324/131524600 swapFree=131054736/131071996
[pid=246719] ppid=246716 vsize=72472 memory=33556 CPUtime=0.25 cores=1,3
/proc/246719/stat : 246719 (pbscip) R 246716 246719 246692 0 -1 4194304 4737 0 7 0 25 0 0 0 20 0 1 0 30470413 74211328 8389 134679101440 4194304 18693293 140726901434304 0 0 0 0 0 2 0 0 0 17 1 0 0 3 0 0 21375888 21430392 57413632 140726901441539 140726901441638 140726901441638 140726901448654 0
/proc/246719/statm: 18118 8389 4013 3540 0 6375 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 72472 KiB
Current children cumulated memory: 33556 KiB
[startup+0.700171 s]
/proc/loadavg: 0.09 0.09 0.20 4/251 246751
/proc/meminfo: memFree=110579456/131524600 swapFree=131054736/131071996
[pid=246719] ppid=246716 vsize=84120 memory=43320 CPUtime=0.64 cores=1,3
/proc/246719/stat : 246719 (pbscip) R 246716 246719 246692 0 -1 4194304 7160 0 7 0 64 0 0 0 20 0 1 0 30470413 86138880 10830 134679101440 4194304 18693293 140726901434304 0 0 0 0 0 2 0 0 0 17 1 0 0 3 0 0 21375888 21430392 57413632 140726901441539 140726901441638 140726901441638 140726901448654 0
/proc/246719/statm: 21030 10830 4013 3540 0 9287 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 84120 KiB
Current children cumulated memory: 43320 KiB
[startup+1.50022 s]
/proc/loadavg: 0.09 0.09 0.20 6/257 246766
/proc/meminfo: memFree=110280624/131524600 swapFree=131054736/131071996
[pid=246719] ppid=246716 vsize=90868 memory=50224 CPUtime=1.44 cores=1,3
/proc/246719/stat : 246719 (pbscip) R 246716 246719 246692 0 -1 4194304 9019 0 7 0 143 1 0 0 20 0 1 0 30470413 93048832 12556 134679101440 4194304 18693293 140726901434304 0 0 0 0 0 2 0 0 0 17 1 0 0 3 0 0 21375888 21430392 57413632 140726901441539 140726901441638 140726901441638 140726901448654 0
/proc/246719/statm: 22717 12556 4013 3540 0 10974 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 90868 KiB
Current children cumulated memory: 50224 KiB
[startup+3.1053 s]
/proc/loadavg: 0.40 0.16 0.22 5/257 246766
/proc/meminfo: memFree=110053628/131524600 swapFree=131054736/131071996
[pid=246719] ppid=246716 vsize=96816 memory=56232 CPUtime=3.04 cores=1,3
/proc/246719/stat : 246719 (pbscip) R 246716 246719 246692 0 -1 4194304 10559 0 7 0 303 1 0 0 20 0 1 0 30470413 99139584 14058 134679101440 4194304 18693293 140726901434304 0 0 0 0 0 2 0 0 0 17 1 0 0 3 0 0 21375888 21430392 57413632 140726901441539 140726901441638 140726901441638 140726901448654 0
/proc/246719/statm: 24204 14058 4013 3540 0 12461 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 96816 KiB
Current children cumulated memory: 56232 KiB
[startup+6.30022 s]
/proc/loadavg: 0.40 0.16 0.22 5/257 246766
/proc/meminfo: memFree=109996356/131524600 swapFree=131054736/131071996
[pid=246719] ppid=246716 vsize=103308 memory=63108 CPUtime=6.22 cores=1,3
/proc/246719/stat : 246719 (pbscip) R 246716 246719 246692 0 -1 4194304 12483 0 7 0 620 2 0 0 20 0 1 0 30470413 105787392 15777 134679101440 4194304 18693293 140726901434304 0 0 0 0 0 2 0 0 0 17 1 0 0 3 0 0 21375888 21430392 57413632 140726901441539 140726901441638 140726901441638 140726901448654 0
/proc/246719/statm: 25827 15777 4013 3540 0 14084 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 103308 KiB
Current children cumulated memory: 63108 KiB
[startup+12.7001 s]
/proc/loadavg: 1.04 0.30 0.27 5/257 246768
/proc/meminfo: memFree=109904016/131524600 swapFree=131054736/131071996
[pid=246719] ppid=246716 vsize=112356 memory=72384 CPUtime=12.59 cores=1,3
/proc/246719/stat : 246719 (pbscip) R 246716 246719 246692 0 -1 4194304 15379 0 7 0 1257 2 0 0 20 0 1 0 30470413 115052544 18096 134679101440 4194304 18693293 140726901434304 0 0 0 0 0 2 0 0 0 17 1 0 0 3 0 0 21375888 21430392 57413632 140726901441539 140726901441638 140726901441638 140726901448654 0
/proc/246719/statm: 28089 18096 4013 3540 0 16346 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 112356 KiB
Current children cumulated memory: 72384 KiB
[startup+25.5002 s]
/proc/loadavg: 1.49 0.42 0.31 5/257 246770
/proc/meminfo: memFree=109856380/131524600 swapFree=131054736/131071996
[pid=246719] ppid=246716 vsize=111016 memory=71332 CPUtime=25.34 cores=1,3
/proc/246719/stat : 246719 (pbscip) R 246716 246719 246692 0 -1 4194304 16659 0 7 0 2531 3 0 0 20 0 1 0 30470413 113680384 17833 134679101440 4194304 18693293 140726901434304 0 0 0 0 0 2 0 0 0 17 1 0 0 3 0 0 21375888 21430392 57413632 140726901441539 140726901441638 140726901441638 140726901448654 0
/proc/246719/statm: 27754 17833 4013 3540 0 16011 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 111016 KiB
Current children cumulated memory: 71332 KiB
[startup+41.3507 s]
# the end of solver process 246719 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=41.0591 s, system=0.062765 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 1.49 0.42 0.31 5/257 246770
/proc/meminfo: memFree=109856380/131524600 swapFree=131054736/131071996
[pid=246719] ppid=246716 vsize=111016 memory=71332 CPUtime=25.44 cores=1,3
/proc/246719/stat : 246719 (pbscip) R 246716 246719 246692 0 -1 4194304 16659 0 7 0 2541 3 0 0 20 0 1 0 30470413 113680384 17833 134679101440 4194304 18693293 140726901434304 0 0 0 0 0 2 0 0 0 17 1 0 0 3 0 0 21375888 21430392 57413632 140726901441539 140726901441638 140726901441638 140726901448654 0
/proc/246719/statm: 27754 17833 4013 3540 0 16011 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 111016 KiB
Current children cumulated memory: 71332 KiB
[startup+32.0002 s]*
/proc/loadavg: 1.88 0.54 0.35 5/257 246771
/proc/meminfo: memFree=109848412/131524600 swapFree=131054736/131071996
[pid=246719] ppid=246716 vsize=113468 memory=73788 CPUtime=31.81 cores=1,3
/proc/246719/stat : 246719 (pbscip) R 246716 246719 246692 0 -1 4194304 32020 0 7 0 3176 5 0 0 20 0 1 0 30470413 116191232 18447 134679101440 4194304 18693293 140726901434304 0 0 0 0 0 2 0 0 0 17 1 0 0 3 0 0 21375888 21430392 57413632 140726901441539 140726901441638 140726901441638 140726901448654 0
/proc/246719/statm: 28367 18447 4013 3540 0 16624 0
Current children cumulated CPU time: 31.81 s
Current children cumulated vsize: 113468 KiB
Current children cumulated memory: 73788 KiB
[startup+35.2002 s]
/proc/loadavg: 1.88 0.54 0.35 5/257 246771
/proc/meminfo: memFree=109846544/131524600 swapFree=131054736/131071996
[pid=246719] ppid=246716 vsize=116628 memory=76160 CPUtime=34.99 cores=1,3
/proc/246719/stat : 246719 (pbscip) R 246716 246719 246692 0 -1 4194304 32666 0 7 0 3494 5 0 0 20 0 1 0 30470413 119427072 19040 134679101440 4194304 18693293 140726901434304 0 0 0 0 0 2 0 0 0 17 1 0 0 3 0 0 21375888 21430392 57413632 140726901441539 140726901441638 140726901441638 140726901448654 0
/proc/246719/statm: 29157 19040 4013 3540 0 17414 0
Current children cumulated CPU time: 34.99 s
Current children cumulated vsize: 116628 KiB
Current children cumulated memory: 76160 KiB
[startup+38.4002 s]
/proc/loadavg: 2.05 0.60 0.37 5/257 246771
/proc/meminfo: memFree=109847952/131524600 swapFree=131054736/131071996
[pid=246719] ppid=246716 vsize=113468 memory=73804 CPUtime=38.17 cores=1,3
/proc/246719/stat : 246719 (pbscip) R 246716 246719 246692 0 -1 4194304 32717 0 7 0 3812 5 0 0 20 0 1 0 30470413 116191232 18451 134679101440 4194304 18693293 140726901434304 0 0 0 0 0 2 0 0 0 17 1 0 0 3 0 0 21375888 21430392 57413632 140726901441539 140726901441638 140726901441638 140726901448654 0
/proc/246719/statm: 28367 18451 4013 3540 0 16624 0
Current children cumulated CPU time: 38.17 s
Current children cumulated vsize: 113468 KiB
Current children cumulated memory: 73804 KiB
[startup+40.0001 s]*
/proc/loadavg: 2.05 0.60 0.37 5/257 246773
/proc/meminfo: memFree=109847764/131524600 swapFree=131054736/131071996
[pid=246719] ppid=246716 vsize=113468 memory=73804 CPUtime=39.77 cores=1,3
/proc/246719/stat : 246719 (pbscip) R 246716 246719 246692 0 -1 4194304 32717 0 7 0 3972 5 0 0 20 0 1 0 30470413 116191232 18451 134679101440 4194304 18693293 140726901434304 0 0 0 0 0 2 0 0 0 17 1 0 0 3 0 0 21375888 21430392 57413632 140726901441539 140726901441638 140726901441638 140726901448654 0
/proc/246719/statm: 28367 18451 4013 3540 0 16624 0
Current children cumulated CPU time: 39.77 s
Current children cumulated vsize: 113468 KiB
Current children cumulated memory: 73804 KiB
[startup+40.8001 s]
/proc/loadavg: 2.05 0.60 0.37 5/257 246773
/proc/meminfo: memFree=109847764/131524600 swapFree=131054736/131071996
[pid=246719] ppid=246716 vsize=113468 memory=73804 CPUtime=40.56 cores=1,3
/proc/246719/stat : 246719 (pbscip) R 246716 246719 246692 0 -1 4194304 33446 0 7 0 4051 5 0 0 20 0 1 0 30470413 116191232 18451 134679101440 4194304 18693293 140726901434304 0 0 0 0 0 2 0 0 0 17 1 0 0 3 0 0 21375888 21430392 57413632 140726901441539 140726901441638 140726901441638 140726901448654 0
/proc/246719/statm: 28367 18451 4013 3540 0 16624 0
Current children cumulated CPU time: 40.56 s
Current children cumulated vsize: 113468 KiB
Current children cumulated memory: 73804 KiB
[startup+41.2002 s]
/proc/loadavg: 2.05 0.60 0.37 5/257 246773
/proc/meminfo: memFree=109847764/131524600 swapFree=131054736/131071996
[pid=246719] ppid=246716 vsize=113468 memory=73804 CPUtime=40.96 cores=1,3
/proc/246719/stat : 246719 (pbscip) R 246716 246719 246692 0 -1 4194304 33446 0 7 0 4091 5 0 0 20 0 1 0 30470413 116191232 18451 134679101440 4194304 18693293 140726901434304 0 0 0 0 0 2 0 0 0 17 1 0 0 3 0 0 21375888 21430392 57413632 140726901441539 140726901441638 140726901441638 140726901448654 0
/proc/246719/statm: 28367 18451 4013 3540 0 16624 0
Current children cumulated CPU time: 40.96 s
Current children cumulated vsize: 113468 KiB
Current children cumulated memory: 73804 KiB
[startup+41.3001 s]
/proc/loadavg: 2.05 0.60 0.37 5/257 246773
/proc/meminfo: memFree=109847764/131524600 swapFree=131054736/131071996
[pid=246719] ppid=246716 vsize=113468 memory=73804 CPUtime=41.06 cores=1,3
/proc/246719/stat : 246719 (pbscip) R 246716 246719 246692 0 -1 4194304 33446 0 7 0 4101 5 0 0 20 0 1 0 30470413 116191232 18451 134679101440 4194304 18693293 140726901434304 0 0 0 0 0 2 0 0 0 17 1 0 0 3 0 0 21375888 21430392 57413632 140726901441539 140726901441638 140726901441638 140726901448654 0
/proc/246719/statm: 28367 18451 4013 3540 0 16624 0
Current children cumulated CPU time: 41.06 s
Current children cumulated vsize: 113468 KiB
Current children cumulated memory: 73804 KiB
Child status: 0
Real time (s): 41.3507
CPU time (s): 41.1219
CPU user time (s): 41.0591
CPU system time (s): 0.062765
CPU usage (%): 99.4467
Max. virtual memory (cumulated for all children) (KiB): 116628
Max. memory (cumulated for all children) (KiB): 76160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.0591
system time used= 0.062765
maximum resident set size= 76980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33463
page faults= 8
swaps= 0
block input operations= 4856
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42
involuntary context switches= 56
# summary of solver processes directly reported to runsolver:
# pid: 246719
# total CPU time (s): 41.1219
# total CPU user time (s): 41.0591
# total CPU system time (s): 0.062765
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.108576 second user time and 0.204922 second system time
The end