0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4459912-1721939463.opb>
0.00/0.01 c original problem has 1576 variables (100 bin, 0 int, 1476 impl, 0 cont) and 1727 constraints
0.00/0.01 c problem read in 0.00
0.00/0.01 o 0
0.00/0.01 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 0.000000e+00
0.00/0.01 c presolving:
0.00/0.02 c (round 1, medium) 0 del vars, 1676 del conss, 100 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 50 clqs
0.00/0.02 c (round 2, fast) 1476 del vars, 1676 del conss, 100 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 50 clqs
0.00/0.02 c (round 3, exhaustive) 1476 del vars, 1676 del conss, 100 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 150 upgd conss, 0 impls, 50 clqs
0.00/0.02 c (0.0s) probing: 51/100 (51.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.02 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.02 c (0.0s) no symmetry present (symcode time: 0.00)
0.00/0.02 c presolving (4 rounds: 4 fast, 3 medium, 2 exhaustive):
0.00/0.02 c 1476 deleted vars, 1676 deleted constraints, 100 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 50 cliques
0.00/0.02 c presolved problem has 100 variables (100 bin, 0 int, 0 impl, 0 cont) and 151 constraints
0.00/0.02 c 100 constraints of type <knapsack>
0.00/0.02 c 50 constraints of type <setppc>
0.00/0.02 c 1 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 10.0.0
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.02 c limits/time = 3596.997012
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.02 c limits/memory = 27900
0.00/0.02 c
0.00/0.02 c # belongs reading time to solving time?
0.00/0.02 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c timing/reading = TRUE
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c transformed 1/1 original solutions to the transformed problem space
0.00/0.02 c
0.00/0.03 o -4
0.00/0.03 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.03 c p 0.0s| 1 | 0 | 0 | - | clique| 0 | 100 | 151 | 151 | 0 | 0 | 0 | 0 |-5.000000e+01 |-4.000000e+00 |1150.00%| unknown
0.00/0.03 c 0.0s| 1 | 0 | 244 | - | 9946k | 0 | 100 | 163 | 151 | 0 | 0 | 12 | 0 |-2.500000e+01 |-4.000000e+00 | 525.00%| unknown
0.00/0.03 c r 0.0s| 1 | 0 | 244 | - |randroun| 0 | 100 | 163 | 151 | 0 | 0 | 12 | 0 |-2.500000e+01 |-4.000000e+00 | 525.00%| unknown
0.00/0.06 c 0.1s| 1 | 0 | 368 | - | 13M | 0 | 100 | 163 | 200 | 49 | 1 | 12 | 0 |-2.254650e+01 |-4.000000e+00 | 463.66%| unknown
0.09/0.11 c 0.1s| 1 | 0 | 469 | - | 17M | 0 | 100 | 163 | 233 | 82 | 2 | 12 | 0 |-1.972739e+01 |-4.000000e+00 | 393.18%| unknown
0.09/0.17 c 0.2s| 1 | 0 | 479 | - | 22M | 0 | 100 | 163 | 235 | 84 | 3 | 12 | 0 |-1.961612e+01 |-4.000000e+00 | 390.40%| unknown
0.19/0.22 c 0.2s| 1 | 0 | 486 | - | 26M | 0 | 100 | 163 | 237 | 86 | 4 | 12 | 0 |-1.959942e+01 |-4.000000e+00 | 389.99%| unknown
0.19/0.28 c 0.3s| 1 | 0 | 492 | - | 29M | 0 | 100 | 163 | 239 | 88 | 5 | 12 | 0 |-1.958399e+01 |-4.000000e+00 | 389.60%| unknown
0.29/0.34 c 0.3s| 1 | 0 | 501 | - | 34M | 0 | 100 | 163 | 240 | 89 | 6 | 12 | 0 |-1.954321e+01 |-4.000000e+00 | 388.58%| unknown
0.29/0.39 c 0.4s| 1 | 0 | 512 | - | 37M | 0 | 100 | 163 | 241 | 90 | 7 | 12 | 0 |-1.948549e+01 |-4.000000e+00 | 387.14%| unknown
0.39/0.45 c 0.5s| 1 | 0 | 522 | - | 41M | 0 | 100 | 163 | 242 | 91 | 8 | 12 | 0 |-1.943446e+01 |-4.000000e+00 | 385.86%| unknown
0.50/0.51 c 0.5s| 1 | 0 | 537 | - | 44M | 0 | 100 | 163 | 243 | 92 | 9 | 12 | 0 |-1.937320e+01 |-4.000000e+00 | 384.33%| unknown
0.50/0.57 c 0.6s| 1 | 0 | 551 | - | 50M | 0 | 100 | 163 | 244 | 93 | 10 | 12 | 0 |-1.932383e+01 |-4.000000e+00 | 383.10%| unknown
0.59/0.60 c 0.6s| 1 | 0 | 570 | - | 50M | 0 | 100 | 163 | 245 | 94 | 11 | 12 | 0 |-1.926810e+01 |-4.000000e+00 | 381.70%| unknown
0.59/0.60 o -5
0.59/0.60 c r 0.6s| 1 | 0 | 570 | - |randroun| 0 | 100 | 157 | 245 | 0 | 11 | 12 | 0 |-1.926810e+01 |-5.000000e+00 | 285.36%| unknown
0.59/0.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.59/0.64 c 0.6s| 1 | 0 | 595 | - | 50M | 0 | 100 | 157 | 246 | 95 | 12 | 12 | 0 |-1.922820e+01 |-5.000000e+00 | 284.56%| unknown
0.59/0.67 c 0.7s| 1 | 0 | 602 | - | 50M | 0 | 100 | 157 | 247 | 96 | 13 | 12 | 0 |-1.919181e+01 |-5.000000e+00 | 283.84%| unknown
0.59/0.67 c r 0.7s| 1 | 0 | 602 | - |randroun| 0 | 100 | 157 | 247 | 0 | 13 | 12 | 0 |-1.919181e+01 |-5.000000e+00 | 283.84%| unknown
0.69/0.71 c 0.7s| 1 | 0 | 612 | - | 50M | 0 | 100 | 157 | 248 | 97 | 14 | 12 | 0 |-1.915547e+01 |-5.000000e+00 | 283.11%| unknown
0.69/0.74 c 0.7s| 1 | 0 | 616 | - | 50M | 0 | 100 | 157 | 244 | 98 | 15 | 12 | 0 |-1.914600e+01 |-5.000000e+00 | 282.92%| unknown
0.69/0.77 c 0.8s| 1 | 0 | 618 | - | 50M | 0 | 100 | 157 | 245 | 99 | 16 | 12 | 0 |-1.913153e+01 |-5.000000e+00 | 282.63%| unknown
0.79/0.81 c 0.8s| 1 | 0 | 623 | - | 50M | 0 | 100 | 157 | 246 | 100 | 17 | 12 | 0 |-1.909695e+01 |-5.000000e+00 | 281.94%| unknown
0.79/0.84 c 0.8s| 1 | 0 | 627 | - | 50M | 0 | 100 | 157 | 248 | 102 | 18 | 12 | 0 |-1.908640e+01 |-5.000000e+00 | 281.73%| unknown
0.79/0.88 c 0.9s| 1 | 0 | 631 | - | 50M | 0 | 100 | 157 | 250 | 104 | 19 | 12 | 0 |-1.906581e+01 |-5.000000e+00 | 281.32%| unknown
0.88/0.92 c 0.9s| 1 | 0 | 634 | - | 50M | 0 | 100 | 157 | 252 | 106 | 20 | 12 | 0 |-1.904609e+01 |-5.000000e+00 | 280.92%| unknown
0.88/0.95 c 1.0s| 1 | 0 | 637 | - | 50M | 0 | 100 | 157 | 249 | 107 | 21 | 12 | 0 |-1.902880e+01 |-5.000000e+00 | 280.58%| unknown
0.88/0.99 c 1.0s| 1 | 0 | 640 | - | 50M | 0 | 100 | 157 | 250 | 108 | 22 | 12 | 0 |-1.901313e+01 |-5.000000e+00 | 280.26%| unknown
0.99/1.02 c 1.0s| 1 | 0 | 643 | - | 50M | 0 | 100 | 157 | 252 | 110 | 23 | 12 | 0 |-1.898127e+01 |-5.000000e+00 | 279.63%| unknown
0.99/1.06 c 1.1s| 1 | 0 | 648 | - | 50M | 0 | 100 | 157 | 255 | 113 | 24 | 12 | 0 |-1.894807e+01 |-5.000000e+00 | 278.96%| unknown
0.99/1.10 c 1.1s| 1 | 0 | 650 | - | 50M | 0 | 100 | 157 | 256 | 114 | 25 | 12 | 0 |-1.893297e+01 |-5.000000e+00 | 278.66%| unknown
1.09/1.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.09/1.13 c 1.1s| 1 | 0 | 656 | - | 50M | 0 | 100 | 157 | 258 | 116 | 26 | 12 | 0 |-1.889278e+01 |-5.000000e+00 | 277.86%| unknown
1.09/1.17 c 1.2s| 1 | 0 | 667 | - | 50M | 0 | 100 | 157 | 254 | 119 | 27 | 12 | 0 |-1.884408e+01 |-5.000000e+00 | 276.88%| unknown
1.18/1.21 c 1.2s| 1 | 0 | 674 | - | 51M | 0 | 100 | 157 | 255 | 120 | 28 | 12 | 0 |-1.881527e+01 |-5.000000e+00 | 276.31%| unknown
1.18/1.24 c 1.2s| 1 | 0 | 679 | - | 51M | 0 | 100 | 157 | 258 | 123 | 29 | 12 | 0 |-1.877276e+01 |-5.000000e+00 | 275.46%| unknown
1.18/1.28 c 1.3s| 1 | 0 | 681 | - | 51M | 0 | 100 | 157 | 259 | 124 | 30 | 12 | 0 |-1.875810e+01 |-5.000000e+00 | 275.16%| unknown
1.28/1.32 c 1.3s| 1 | 0 | 683 | - | 51M | 0 | 100 | 157 | 260 | 125 | 31 | 12 | 0 |-1.874974e+01 |-5.000000e+00 | 274.99%| unknown
1.28/1.35 c 1.4s| 1 | 0 | 691 | - | 51M | 0 | 100 | 157 | 264 | 129 | 32 | 12 | 0 |-1.872093e+01 |-5.000000e+00 | 274.42%| unknown
1.28/1.39 c 1.4s| 1 | 0 | 696 | - | 52M | 0 | 100 | 157 | 252 | 131 | 33 | 12 | 0 |-1.870954e+01 |-5.000000e+00 | 274.19%| unknown
1.38/1.43 c 1.4s| 1 | 0 | 699 | - | 52M | 0 | 100 | 157 | 253 | 132 | 34 | 12 | 0 |-1.870556e+01 |-5.000000e+00 | 274.11%| unknown
1.38/1.46 c 1.5s| 1 | 0 | 700 | - | 52M | 0 | 100 | 157 | 254 | 133 | 35 | 12 | 0 |-1.870061e+01 |-5.000000e+00 | 274.01%| unknown
1.38/1.49 c 1.5s| 1 | 0 | 703 | - | 52M | 0 | 100 | 157 | 255 | 134 | 36 | 12 | 0 |-1.868494e+01 |-5.000000e+00 | 273.70%| unknown
1.48/1.53 c 1.5s| 1 | 0 | 710 | - | 52M | 0 | 100 | 157 | 256 | 135 | 37 | 12 | 0 |-1.867312e+01 |-5.000000e+00 | 273.46%| unknown
1.48/1.56 c 1.6s| 1 | 0 | 719 | - | 52M | 0 | 100 | 157 | 264 | 143 | 38 | 12 | 0 |-1.864851e+01 |-5.000000e+00 | 272.97%| unknown
1.58/1.60 c 1.6s| 1 | 0 | 721 | - | 52M | 0 | 100 | 157 | 250 | 145 | 39 | 12 | 0 |-1.864446e+01 |-5.000000e+00 | 272.89%| unknown
1.58/1.63 c 1.6s| 1 | 0 | 725 | - | 52M | 0 | 100 | 157 | 251 | 146 | 40 | 12 | 0 |-1.863893e+01 |-5.000000e+00 | 272.78%| unknown
1.58/1.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.58/1.66 c 1.7s| 1 | 0 | 726 | - | 52M | 0 | 100 | 157 | 252 | 147 | 41 | 12 | 0 |-1.863861e+01 |-5.000000e+00 | 272.77%| unknown
1.58/1.69 c 1.7s| 1 | 0 | 731 | - | 52M | 0 | 100 | 157 | 254 | 149 | 42 | 12 | 0 |-1.863571e+01 |-5.000000e+00 | 272.71%| unknown
1.68/1.72 c 1.7s| 1 | 0 | 736 | - | 52M | 0 | 100 | 157 | 255 | 150 | 43 | 12 | 0 |-1.863342e+01 |-5.000000e+00 | 272.67%| unknown
1.68/1.75 c 1.8s| 1 | 0 | 741 | - | 52M | 0 | 100 | 157 | 257 | 152 | 44 | 12 | 0 |-1.863139e+01 |-5.000000e+00 | 272.63%| unknown
1.68/1.79 c 1.8s| 1 | 0 | 752 | - | 52M | 0 | 100 | 157 | 252 | 155 | 45 | 12 | 0 |-1.861991e+01 |-5.000000e+00 | 272.40%| unknown
1.78/1.82 c 1.8s| 1 | 0 | 755 | - | 52M | 0 | 100 | 157 | 253 | 156 | 46 | 12 | 0 |-1.861930e+01 |-5.000000e+00 | 272.39%| unknown
1.78/1.85 c 1.8s| 1 | 0 | 759 | - | 52M | 0 | 100 | 157 | 256 | 159 | 47 | 12 | 0 |-1.860751e+01 |-5.000000e+00 | 272.15%| unknown
1.78/1.88 c 1.9s| 1 | 0 | 763 | - | 52M | 0 | 100 | 157 | 258 | 161 | 48 | 12 | 0 |-1.859272e+01 |-5.000000e+00 | 271.85%| unknown
1.88/1.91 c 1.9s| 1 | 0 | 765 | - | 52M | 0 | 100 | 157 | 259 | 162 | 49 | 12 | 0 |-1.859208e+01 |-5.000000e+00 | 271.84%| unknown
1.88/1.94 c 1.9s| 1 | 0 | 768 | - | 52M | 0 | 100 | 157 | 260 | 163 | 50 | 12 | 0 |-1.859187e+01 |-5.000000e+00 | 271.84%| unknown
1.88/1.97 c 2.0s| 1 | 0 | 776 | - | 52M | 0 | 100 | 157 | 254 | 164 | 51 | 12 | 0 |-1.858693e+01 |-5.000000e+00 | 271.74%| unknown
1.88/2.00 c 2.0s| 1 | 0 | 784 | - | 52M | 0 | 100 | 157 | 255 | 165 | 52 | 12 | 0 |-1.858191e+01 |-5.000000e+00 | 271.64%| unknown
1.99/2.03 c 2.0s| 1 | 0 | 790 | - | 52M | 0 | 100 | 157 | 258 | 168 | 53 | 12 | 0 |-1.857958e+01 |-5.000000e+00 | 271.59%| unknown
1.99/2.06 c 2.1s| 1 | 0 | 791 | - | 52M | 0 | 100 | 157 | 259 | 169 | 54 | 12 | 0 |-1.857783e+01 |-5.000000e+00 | 271.56%| unknown
1.99/2.09 c 2.1s| 1 | 0 | 801 | - | 52M | 0 | 100 | 157 | 260 | 170 | 55 | 12 | 0 |-1.857468e+01 |-5.000000e+00 | 271.49%| unknown
2.09/2.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.09/2.12 c 2.1s| 1 | 0 | 812 | - | 52M | 0 | 100 | 157 | 263 | 173 | 56 | 12 | 0 |-1.857287e+01 |-5.000000e+00 | 271.46%| unknown
2.09/2.16 c 2.2s| 1 | 0 | 828 | - | 52M | 0 | 100 | 157 | 260 | 178 | 57 | 12 | 0 |-1.856789e+01 |-5.000000e+00 | 271.36%| unknown
2.09/2.19 c 2.2s| 1 | 0 | 830 | - | 52M | 0 | 100 | 157 | 261 | 179 | 58 | 12 | 0 |-1.856777e+01 |-5.000000e+00 | 271.36%| unknown
2.18/2.22 c 2.2s| 1 | 0 | 839 | - | 52M | 0 | 100 | 157 | 263 | 181 | 59 | 12 | 0 |-1.856649e+01 |-5.000000e+00 | 271.33%| unknown
2.18/2.24 c 2.2s| 1 | 0 | 846 | - | 52M | 0 | 100 | 157 | 264 | 182 | 60 | 12 | 0 |-1.856366e+01 |-5.000000e+00 | 271.27%| unknown
2.18/2.27 c 2.3s| 1 | 0 | 853 | - | 52M | 0 | 100 | 157 | 265 | 183 | 61 | 12 | 0 |-1.856223e+01 |-5.000000e+00 | 271.24%| unknown
2.28/2.30 c 2.3s| 1 | 0 | 864 | - | 52M | 0 | 100 | 157 | 270 | 188 | 62 | 12 | 0 |-1.855906e+01 |-5.000000e+00 | 271.18%| unknown
2.28/2.34 c 2.3s| 1 | 0 | 867 | - | 52M | 0 | 100 | 157 | 267 | 189 | 63 | 12 | 0 |-1.855808e+01 |-5.000000e+00 | 271.16%| unknown
2.28/2.37 c 2.4s| 1 | 0 | 868 | - | 52M | 0 | 100 | 157 | 268 | 190 | 64 | 12 | 0 |-1.855799e+01 |-5.000000e+00 | 271.16%| unknown
2.38/2.40 c 2.4s| 1 | 0 | 869 | - | 52M | 0 | 100 | 157 | 269 | 191 | 65 | 12 | 0 |-1.855796e+01 |-5.000000e+00 | 271.16%| unknown
2.38/2.43 c 2.4s| 1 | 0 | 871 | - | 52M | 0 | 100 | 157 | 270 | 192 | 66 | 12 | 0 |-1.855755e+01 |-5.000000e+00 | 271.15%| unknown
2.38/2.46 c 2.5s| 1 | 0 | 873 | - | 52M | 0 | 100 | 157 | 271 | 193 | 67 | 12 | 0 |-1.855754e+01 |-5.000000e+00 | 271.15%| unknown
2.38/2.50 c 2.5s| 1 | 0 | 875 | - | 52M | 0 | 100 | 157 | 273 | 195 | 68 | 12 | 0 |-1.855702e+01 |-5.000000e+00 | 271.14%| unknown
2.48/2.53 c 2.5s| 1 | 0 | 878 | - | 52M | 0 | 100 | 157 | 259 | 198 | 69 | 12 | 0 |-1.855547e+01 |-5.000000e+00 | 271.11%| unknown
2.48/2.56 c 2.6s| 1 | 0 | 879 | - | 52M | 0 | 100 | 157 | 260 | 199 | 70 | 12 | 0 |-1.855546e+01 |-5.000000e+00 | 271.11%| unknown
2.48/2.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.48/2.59 c 2.6s| 1 | 0 | 880 | - | 52M | 0 | 100 | 157 | 261 | 200 | 71 | 12 | 0 |-1.855538e+01 |-5.000000e+00 | 271.11%| unknown
2.58/2.62 c 2.6s| 1 | 0 | 885 | - | 52M | 0 | 100 | 157 | 268 | 207 | 72 | 12 | 0 |-1.855516e+01 |-5.000000e+00 | 271.10%| unknown
3.47/3.59 c 3.6s| 1 | 2 | 1079 | - | 52M | 0 | 100 | 157 | 268 | 207 | 72 | 12 | 63 |-1.848798e+01 |-5.000000e+00 | 269.76%| unknown
3.67/3.76 o -6
3.67/3.76 c * 3.8s| 5 | 4 | 1432 | 140.8 |strongbr| 4 | 100 | 157 | 241 | 207 | 2 | 15 | 153 |-1.848798e+01 |-6.000000e+00 | 208.13%| unknown
5.08/5.17 c 5.2s| 100 | 27 | 4826 | 40.0 | 58M | 15 | 100 | 210 | 241 | 305 | 0 | 68 | 562 |-1.834501e+01 |-6.000000e+00 | 205.75%| 25.63%
5.87/5.93 c 5.9s| 200 | 51 | 8832 | 40.0 | 58M | 23 | 100 | 213 | 264 | 579 | 1 | 71 | 604 |-1.788791e+01 |-6.000000e+00 | 198.13%| 26.44%
6.08/6.13 c 6.1s| 300 | 63 | 10729 | 33.0 | 58M | 28 | 100 | 216 | 264 | 607 | 1 | 75 | 621 |-1.784823e+01 |-6.000000e+00 | 197.47%| 26.47%
6.17/6.29 c 6.3s| 400 | 81 | 13368 | 31.3 | 58M | 31 | 100 | 217 | 271 | 693 | 1 | 76 | 625 |-1.775115e+01 |-6.000000e+00 | 195.85%| 26.52%
6.27/6.38 c 6.4s| 500 | 97 | 15621 | 29.6 | 58M | 38 | 100 | 217 | 271 | 719 | 0 | 77 | 625 |-1.759420e+01 |-6.000000e+00 | 193.24%| 26.62%
6.37/6.49 c 6.5s| 600 | 105 | 17956 | 28.5 | 58M | 40 | 100 | 217 | 274 | 764 | 1 | 77 | 625 |-1.737973e+01 |-6.000000e+00 | 189.66%| 26.75%
6.87/6.99 c 7.0s| 700 | 137 | 21335 | 29.3 | 59M | 47 | 100 | 219 | 301 | 992 | 1 | 79 | 625 |-1.615277e+01 |-6.000000e+00 | 169.21%| 27.56%
7.07/7.17 c 7.2s| 800 | 165 | 23741 | 28.6 | 59M | 58 | 100 | 219 | 320 |1057 | 0 | 79 | 625 |-1.583636e+01 |-6.000000e+00 | 163.94%| 27.80%
7.17/7.26 c 7.3s| 900 | 189 | 25866 | 27.8 | 59M | 64 | 100 | 219 | 273 |1102 | 2 | 79 | 625 |-1.558138e+01 |-6.000000e+00 | 159.69%| 28.00%
7.37/7.43 c 7.4s| 1000 | 209 | 28351 | 27.5 | 59M | 66 | 100 | 219 | 293 |1158 | 0 | 79 | 625 |-1.558138e+01 |-6.000000e+00 | 159.69%| 28.00%
7.47/7.52 c 7.5s| 1100 | 237 | 30794 | 27.2 | 59M | 66 | 100 | 223 | 266 |1179 | 1 | 83 | 625 |-1.555609e+01 |-6.000000e+00 | 159.27%| 28.02%
7.76/7.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.76/7.82 c 7.8s| 1200 | 261 | 34346 | 27.9 | 59M | 66 | 100 | 223 | 273 |1324 | 1 | 84 | 625 |-1.534088e+01 |-6.000000e+00 | 155.68%| 28.56%
7.86/7.90 c 7.9s| 1300 | 279 | 36230 | 27.2 | 59M | 69 | 100 | 223 | 272 |1349 | 1 | 84 | 625 |-1.527416e+01 |-6.000000e+00 | 154.57%| 28.62%
7.97/8.07 c 8.1s| 1400 | 303 | 39253 | 27.4 | 59M | 69 | 100 | 223 | 256 |1409 | 0 | 84 | 625 |-1.493189e+01 |-6.000000e+00 | 148.86%| 28.96%
8.07/8.17 c 8.2s| 1500 | 331 | 41778 | 27.3 | 59M | 69 | 100 | 223 | 263 |1442 | 1 | 84 | 625 |-1.457915e+01 |-6.000000e+00 | 142.99%| 29.26%
8.26/8.33 c 8.3s| 1600 | 349 | 44009 | 27.0 | 59M | 69 | 100 | 223 | 276 |1531 | 0 | 85 | 625 |-1.457450e+01 |-6.000000e+00 | 142.91%| 29.34%
8.36/8.40 c 8.4s| 1700 | 375 | 45803 | 26.4 | 59M | 69 | 100 | 223 | 0 |1574 | 0 | 86 | 625 |-1.457450e+01 |-6.000000e+00 | 142.91%| 29.34%
8.56/8.64 c 8.6s| 1800 | 395 | 47893 | 26.1 | 60M | 72 | 100 | 223 | 265 |1705 | 1 | 87 | 625 |-1.456452e+01 |-6.000000e+00 | 142.74%| 29.36%
8.66/8.71 c 8.7s| 1900 | 411 | 49510 | 25.6 | 60M | 72 | 100 | 223 | 264 |1752 | 1 | 89 | 625 |-1.456452e+01 |-6.000000e+00 | 142.74%| 29.36%
8.96/9.04 c 9.0s| 2000 | 421 | 52653 | 25.9 | 60M | 72 | 100 | 223 | 319 |1947 | 0 | 89 | 625 |-1.456452e+01 |-6.000000e+00 | 142.74%| 29.36%
9.26/9.31 c 9.3s| 2100 | 439 | 55316 | 25.9 | 60M | 72 | 100 | 223 | 312 |2142 | 1 | 89 | 625 |-1.429986e+01 |-6.000000e+00 | 138.33%| 29.62%
9.36/9.45 c 9.4s| 2200 | 449 | 57396 | 25.7 | 60M | 72 | 100 | 223 | 289 |2261 | 0 | 89 | 625 |-1.416148e+01 |-6.000000e+00 | 136.02%| 29.74%
9.56/9.65 c 9.6s| 2300 | 465 | 59800 | 25.6 | 60M | 72 | 100 | 224 | 279 |2377 | 1 | 90 | 625 |-1.404251e+01 |-6.000000e+00 | 134.04%| 29.93%
9.76/9.81 c 9.8s| 2400 | 487 | 62148 | 25.5 | 61M | 72 | 100 | 224 | 266 |2467 | 1 | 90 | 625 |-1.404251e+01 |-6.000000e+00 | 134.04%| 29.93%
10.06/10.16 c 10.2s| 2500 | 511 | 65445 | 25.8 | 62M | 72 | 100 | 224 | 301 |2687 | 1 | 93 | 625 |-1.404251e+01 |-6.000000e+00 | 134.04%| 29.93%
10.35/10.44 c 10.4s| 2600 | 529 | 68310 | 25.9 | 62M | 72 | 100 | 224 | 274 |2832 | 1 | 94 | 625 |-1.399202e+01 |-6.000000e+00 | 133.20%| 30.04%
10.85/10.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.85/10.90 c 10.9s| 2700 | 545 | 71111 | 26.0 | 62M | 74 | 100 | 226 | 273 |3127 | 0 | 97 | 625 |-1.375073e+01 |-6.000000e+00 | 129.18%| 30.34%
11.06/11.13 c 11.1s| 2800 | 561 | 74174 | 26.2 | 62M | 74 | 100 | 227 | 273 |3299 | 1 | 99 | 625 |-1.363641e+01 |-6.000000e+00 | 127.27%| 30.47%
11.15/11.27 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
11.15/11.27 c (run 1, node 2854) performing user restart
11.15/11.27 c
11.15/11.27 c (restart) converted 151 cuts from the global cut pool into linear constraints
11.15/11.27 c
11.15/11.29 c presolving:
11.15/11.29 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 69 upgd conss, 0 impls, 50 clqs
11.15/11.29 c (round 2, exhaustive) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 11 chg coeffs, 69 upgd conss, 0 impls, 50 clqs
11.25/11.30 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
11.25/11.30 c 0 deleted vars, 1 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 11 changed coefficients
11.25/11.30 c 0 implications, 50 cliques
11.25/11.30 c presolved problem has 100 variables (100 bin, 0 int, 0 impl, 0 cont) and 377 constraints
11.25/11.30 c 167 constraints of type <knapsack>
11.25/11.30 c 50 constraints of type <setppc>
11.25/11.30 c 83 constraints of type <linear>
11.25/11.30 c 77 constraints of type <logicor>
11.25/11.30 c transformed objective value is always integral (scale: 1)
11.25/11.30 c Presolving Time: 0.03
11.25/11.31 c transformed 70/100 original solutions to the transformed problem space
11.25/11.31 c
11.25/11.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.25/11.33 c 11.3s| 1 | 0 | 76171 | - | 62M | 0 | 100 | 377 | 302 | 0 | 0 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
11.25/11.39 c 11.4s| 1 | 0 | 76179 | - | 62M | 0 | 100 | 377 | 303 | 1 | 1 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
11.35/11.44 c 11.4s| 1 | 0 | 76184 | - | 62M | 0 | 100 | 377 | 304 | 2 | 2 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
11.45/11.50 c 11.5s| 1 | 0 | 76189 | - | 62M | 0 | 100 | 377 | 305 | 3 | 3 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
11.45/11.56 c 11.6s| 1 | 0 | 76207 | - | 62M | 0 | 100 | 377 | 306 | 4 | 4 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
11.55/11.62 c 11.6s| 1 | 0 | 76216 | - | 62M | 0 | 100 | 377 | 307 | 5 | 5 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
11.55/11.67 c 11.7s| 1 | 0 | 76223 | - | 62M | 0 | 100 | 377 | 308 | 6 | 6 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
11.65/11.73 c 11.7s| 1 | 0 | 76239 | - | 64M | 0 | 100 | 377 | 309 | 7 | 7 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
11.65/11.79 c 11.8s| 1 | 0 | 76255 | - | 64M | 0 | 100 | 377 | 310 | 8 | 8 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
11.75/11.85 c 11.8s| 1 | 0 | 76270 | - | 64M | 0 | 100 | 377 | 311 | 9 | 9 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
11.85/11.91 c 11.9s| 1 | 0 | 76275 | - | 64M | 0 | 100 | 377 | 312 | 10 | 10 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
11.85/11.94 c 11.9s| 1 | 0 | 76285 | - | 64M | 0 | 100 | 377 | 313 | 11 | 11 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
11.85/11.98 c 12.0s| 1 | 0 | 76313 | - | 64M | 0 | 100 | 377 | 314 | 12 | 12 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
11.95/12.02 c 12.0s| 1 | 0 | 76316 | - | 64M | 0 | 100 | 377 | 315 | 13 | 13 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
11.95/12.05 c 12.1s| 1 | 0 | 76344 | - | 64M | 0 | 100 | 377 | 250 | 14 | 14 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
11.95/12.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.95/12.09 c 12.1s| 1 | 0 | 76388 | - | 64M | 0 | 100 | 377 | 256 | 20 | 15 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
12.05/12.12 c 12.1s| 1 | 0 | 76440 | - | 64M | 0 | 100 | 377 | 259 | 23 | 16 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
12.05/12.16 c 12.2s| 1 | 0 | 76457 | - | 64M | 0 | 100 | 377 | 261 | 25 | 17 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
12.05/12.19 c 12.2s| 1 | 0 | 76474 | - | 64M | 0 | 100 | 377 | 262 | 26 | 18 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
12.15/12.22 c 12.2s| 1 | 0 | 76486 | - | 64M | 0 | 100 | 377 | 263 | 27 | 19 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
12.15/12.25 c 12.3s| 1 | 0 | 76494 | - | 64M | 0 | 100 | 377 | 255 | 30 | 20 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
12.15/12.28 c 12.3s| 1 | 0 | 76504 | - | 64M | 0 | 100 | 377 | 258 | 33 | 21 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
12.25/12.32 c 12.3s| 1 | 0 | 76512 | - | 64M | 0 | 100 | 377 | 264 | 39 | 22 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
12.25/12.35 c 12.3s| 1 | 0 | 76534 | - | 64M | 0 | 100 | 377 | 268 | 43 | 23 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
12.25/12.38 c 12.4s| 1 | 0 | 76553 | - | 64M | 0 | 100 | 377 | 270 | 45 | 24 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
12.35/12.41 c 12.4s| 1 | 0 | 76562 | - | 64M | 0 | 100 | 377 | 272 | 47 | 25 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
12.35/12.44 c 12.4s| 1 | 0 | 76566 | - | 64M | 0 | 100 | 377 | 256 | 48 | 26 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
12.35/12.47 c 12.5s| 1 | 0 | 76567 | - | 64M | 0 | 100 | 377 | 257 | 49 | 27 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
12.45/12.50 c 12.5s| 1 | 0 | 76575 | - | 64M | 0 | 100 | 377 | 258 | 50 | 28 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
12.45/12.53 c 12.5s| 1 | 0 | 76601 | - | 64M | 0 | 100 | 377 | 259 | 51 | 29 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
12.45/12.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.45/12.56 c 12.6s| 1 | 0 | 76635 | - | 64M | 0 | 100 | 377 | 262 | 54 | 30 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
12.45/12.59 c 12.6s| 1 | 0 | 76655 | - | 64M | 0 | 100 | 377 | 265 | 57 | 31 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
12.55/12.62 c 12.6s| 1 | 0 | 76659 | - | 64M | 0 | 100 | 377 | 255 | 58 | 32 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
12.55/12.65 c 12.6s| 1 | 0 | 76683 | - | 64M | 0 | 100 | 377 | 257 | 60 | 33 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
12.55/12.68 c 12.7s| 1 | 0 | 76692 | - | 64M | 0 | 100 | 377 | 258 | 61 | 34 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
12.65/12.71 c 12.7s| 1 | 0 | 76710 | - | 64M | 0 | 100 | 377 | 259 | 62 | 35 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
12.65/12.73 c 12.7s| 1 | 0 | 76740 | - | 64M | 0 | 100 | 377 | 265 | 68 | 36 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
12.65/12.76 c 12.8s| 1 | 0 | 76741 | - | 64M | 0 | 100 | 377 | 266 | 69 | 37 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
12.65/12.79 c 12.8s| 1 | 0 | 76742 | - | 64M | 0 | 100 | 377 | 257 | 70 | 38 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
12.75/12.82 c 12.8s| 1 | 0 | 76745 | - | 64M | 0 | 100 | 377 | 258 | 71 | 39 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
12.75/12.85 c 12.8s| 1 | 0 | 76746 | - | 64M | 0 | 100 | 377 | 259 | 72 | 40 | 99 | 625 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
13.24/13.38 c 13.4s| 1 | 2 | 77290 | - | 64M | 0 | 100 | 381 | 259 | 72 | 40 | 103 | 655 |-1.342983e+01 |-6.000000e+00 | 123.83%| unknown
16.23/16.33 c 16.3s| 100 | 75 | 82801 | 27.4 | 66M | 23 | 100 | 395 | 236 | 147 | 0 | 119 |1017 |-1.342983e+01 |-6.000000e+00 | 123.83%| 3.73%
17.13/17.29 c 17.3s| 200 | 137 | 91834 | 29.5 | 70M | 23 | 100 | 398 | 242 | 570 | 1 | 122 |1049 |-1.342983e+01 |-6.000000e+00 | 123.83%| 6.16%
17.63/17.76 c 17.8s| 300 | 179 | 98657 | 30.7 | 70M | 27 | 100 | 404 | 236 | 736 | 1 | 128 |1062 |-1.342983e+01 |-6.000000e+00 | 123.83%| 7.81%
18.32/18.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
18.32/18.40 c 18.4s| 400 | 237 |106312 | 32.1 | 70M | 32 | 100 | 412 | 291 |1089 | 1 | 138 |1074 |-1.342983e+01 |-6.000000e+00 | 123.83%| 12.54%
18.82/18.96 c 19.0s| 500 | 267 |111284 | 32.6 | 70M | 33 | 100 | 416 | 266 |1393 | 0 | 142 |1079 |-1.342983e+01 |-6.000000e+00 | 123.83%| 13.44%
19.12/19.28 c 19.3s| 600 | 307 |115102 | 32.8 | 70M | 35 | 100 | 419 | 259 |1569 | 1 | 145 |1081 |-1.342983e+01 |-6.000000e+00 | 123.83%| 13.65%
19.52/19.69 c 19.7s| 700 | 347 |119517 | 33.1 | 71M | 35 | 100 | 424 | 258 |1743 | 0 | 150 |1081 |-1.342983e+01 |-6.000000e+00 | 123.83%| 13.80%
19.72/19.82 c 19.8s| 800 | 377 |122395 | 33.0 | 71M | 36 | 100 | 427 | 249 |1778 | 1 | 153 |1086 |-1.342983e+01 |-6.000000e+00 | 123.83%| 13.80%
19.82/19.92 c 19.9s| 900 | 409 |124957 | 32.8 | 71M | 36 | 100 | 430 | 242 |1791 | 1 | 157 |1087 |-1.342983e+01 |-6.000000e+00 | 123.83%| 13.80%
19.92/20.04 c 20.0s| 1000 | 445 |128086 | 32.7 | 71M | 36 | 100 | 433 | 0 |1820 | 0 | 161 |1087 |-1.342983e+01 |-6.000000e+00 | 123.83%| 13.80%
20.42/20.54 c 20.5s| 1100 | 477 |132704 | 33.1 | 71M | 44 | 100 | 433 | 245 |2051 | 0 | 162 |1107 |-1.342983e+01 |-6.000000e+00 | 123.83%| 13.94%
20.62/20.76 c 20.8s| 1200 | 493 |134892 | 32.8 | 71M | 44 | 100 | 433 | 246 |2185 | 0 | 162 |1110 |-1.342983e+01 |-6.000000e+00 | 123.83%| 13.94%
20.82/20.98 c 21.0s| 1300 | 525 |138515 | 32.9 | 71M | 44 | 100 | 434 | 254 |2301 | 1 | 163 |1111 |-1.342983e+01 |-6.000000e+00 | 123.83%| 14.03%
21.11/21.29 c 21.3s| 1400 | 567 |142162 | 33.0 | 71M | 44 | 100 | 434 | 305 |2477 | 17 | 163 |1111 |-1.342983e+01 |-6.000000e+00 | 123.83%| 14.09%
21.41/21.60 c 21.6s| 1500 | 599 |144964 | 32.9 | 71M | 58 | 100 | 434 | 282 |2662 | 1 | 164 |1111 |-1.342983e+01 |-6.000000e+00 | 123.83%| 14.09%
21.71/21.82 c 21.8s| 1600 | 623 |147319 | 32.7 | 71M | 62 | 100 | 436 | 292 |2746 | 1 | 166 |1111 |-1.342983e+01 |-6.000000e+00 | 123.83%| 14.17%
21.81/21.96 c 22.0s| 1700 | 637 |149755 | 32.5 | 71M | 64 | 100 | 436 | 251 |2831 | 1 | 166 |1113 |-1.342983e+01 |-6.000000e+00 | 123.83%| 14.18%
21.92/22.03 c 22.0s| 1800 | 657 |151670 | 32.2 | 71M | 64 | 100 | 438 | 248 |2851 | 1 | 168 |1113 |-1.342983e+01 |-6.000000e+00 | 123.83%| 14.18%
22.21/22.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
22.21/22.31 c 22.3s| 1900 | 677 |155374 | 32.3 | 71M | 64 | 100 | 439 | 241 |2979 | 1 | 169 |1113 |-1.342983e+01 |-6.000000e+00 | 123.83%| 14.26%
22.31/22.48 c 22.5s| 2000 | 697 |158395 | 32.2 | 71M | 64 | 100 | 439 | 256 |3039 | 0 | 169 |1113 |-1.342983e+01 |-6.000000e+00 | 123.83%| 14.29%
22.41/22.57 c 22.6s| 2100 | 719 |160617 | 32.0 | 71M | 64 | 100 | 439 | 263 |3067 | 1 | 169 |1113 |-1.342983e+01 |-6.000000e+00 | 123.83%| 14.29%
22.71/22.80 c 22.8s| 2200 | 737 |163060 | 31.9 | 71M | 64 | 100 | 440 | 260 |3185 | 0 | 171 |1113 |-1.342983e+01 |-6.000000e+00 | 123.83%| 14.29%
22.91/23.06 c 23.1s| 2300 | 755 |166053 | 31.9 | 71M | 66 | 100 | 440 | 266 |3383 | 0 | 171 |1113 |-1.342983e+01 |-6.000000e+00 | 123.83%| 14.29%
23.01/23.17 c 23.2s| 2400 | 771 |168230 | 31.7 | 71M | 66 | 100 | 440 | 260 |3435 | 0 | 172 |1113 |-1.342983e+01 |-6.000000e+00 | 123.83%| 14.29%
23.31/23.44 c 23.4s| 2500 | 797 |170940 | 31.6 | 71M | 66 | 100 | 440 | 284 |3552 | 0 | 172 |1113 |-1.342983e+01 |-6.000000e+00 | 123.83%| 14.29%
23.41/23.54 c 23.5s| 2600 | 813 |173368 | 31.4 | 71M | 66 | 100 | 440 | 251 |3669 | 1 | 174 |1113 |-1.342983e+01 |-6.000000e+00 | 123.83%| 14.29%
23.41/23.59 c 23.6s| 2700 | 833 |175018 | 31.2 | 71M | 66 | 100 | 440 | 252 |3676 | 1 | 176 |1113 |-1.342983e+01 |-6.000000e+00 | 123.83%| 14.29%
23.61/23.73 c 23.7s| 2800 | 853 |177368 | 31.0 | 71M | 66 | 100 | 441 | 248 |3726 | 1 | 177 |1113 |-1.342983e+01 |-6.000000e+00 | 123.83%| 14.31%
23.71/23.83 c 23.8s| 2900 | 879 |179794 | 30.9 | 71M | 66 | 100 | 440 | 255 |3767 | 5 | 177 |1113 |-1.342983e+01 |-6.000000e+00 | 123.83%| 14.31%
23.80/23.92 c 23.9s| 3000 | 897 |182152 | 30.8 | 71M | 66 | 100 | 440 | 260 |3829 | 1 | 177 |1113 |-1.342983e+01 |-6.000000e+00 | 123.83%| 14.31%
23.91/24.09 c 24.1s| 3100 | 909 |184413 | 30.7 | 71M | 66 | 100 | 441 | 254 |3903 | 1 | 179 |1113 |-1.342983e+01 |-6.000000e+00 | 123.83%| 14.31%
24.10/24.21 c 24.2s| 3200 | 925 |186306 | 30.5 | 71M | 66 | 100 | 440 | 244 |3953 | 0 | 179 |1113 |-1.342983e+01 |-6.000000e+00 | 123.83%| 14.31%
24.10/24.28 c 24.3s| 3300 | 939 |187890 | 30.2 | 71M | 66 | 100 | 439 | 264 |3996 | 3 | 179 |1113 |-1.342983e+01 |-6.000000e+00 | 123.83%| 14.31%
24.20/24.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
24.20/24.35 c 24.3s| 3400 | 955 |189243 | 30.0 | 71M | 66 | 100 | 439 | 252 |4038 | 1 | 179 |1113 |-1.342983e+01 |-6.000000e+00 | 123.83%| 14.31%
24.50/24.63 c 24.6s| 3500 | 977 |191854 | 29.9 | 71M | 66 | 100 | 439 | 291 |4190 | 1 | 179 |1113 |-1.342983e+01 |-6.000000e+00 | 123.83%| 14.31%
24.60/24.78 c 24.8s| 3600 | 993 |194561 | 29.9 | 71M | 66 | 100 | 439 | 276 |4331 | 1 | 180 |1113 |-1.342983e+01 |-6.000000e+00 | 123.83%| 14.31%
24.70/24.85 c 24.9s| 3700 | 1011 |196249 | 29.7 | 71M | 66 | 100 | 440 | 254 |4379 | 0 | 181 |1113 |-1.342983e+01 |-6.000000e+00 | 123.83%| 14.31%
24.80/24.93 o -7
24.80/24.93 c L24.9s| 3752 | 547 |197409 | 29.6 | rins| 66 | 100 | 336 | 248 |4409 | 1 | 181 |1113 |-1.342983e+01 |-7.000000e+00 | 91.85%| 33.53%
24.80/24.97 c 25.0s| 3800 | 551 |198238 | 29.5 | 71M | 66 | 100 | 336 | 264 |4457 | 1 | 181 |1113 |-1.342983e+01 |-7.000000e+00 | 91.85%| 33.68%
25.00/25.11 c 25.1s| 3900 | 561 |200038 | 29.3 | 71M | 66 | 100 | 336 | 256 |4499 | 1 | 181 |1113 |-1.342983e+01 |-7.000000e+00 | 91.85%| 33.71%
25.21/25.30 c 25.3s| 4000 | 569 |202097 | 29.2 | 71M | 66 | 100 | 336 | 254 |4576 | 1 | 182 |1113 |-1.342983e+01 |-7.000000e+00 | 91.85%| 33.74%
25.31/25.49 c 25.5s| 4100 | 581 |203963 | 29.1 | 71M | 66 | 100 | 336 | 283 |4674 | 1 | 183 |1113 |-1.342983e+01 |-7.000000e+00 | 91.85%| 33.99%
25.41/25.56 c 25.6s| 4200 | 589 |205361 | 28.8 | 71M | 66 | 100 | 336 | 260 |4732 | 0 | 183 |1113 |-1.342983e+01 |-7.000000e+00 | 91.85%| 34.07%
25.51/25.67 c 25.7s| 4300 | 591 |206990 | 28.7 | 71M | 66 | 100 | 336 | 256 |4807 | 1 | 183 |1113 |-1.342983e+01 |-7.000000e+00 | 91.85%| 34.37%
25.71/25.89 c 25.9s| 4400 | 605 |209884 | 28.7 | 72M | 66 | 100 | 336 | 254 |4932 | 0 | 183 |1113 |-1.342983e+01 |-7.000000e+00 | 91.85%| 34.46%
26.10/26.28 c 26.3s| 4500 | 611 |212619 | 28.7 | 72M | 66 | 100 | 336 | 245 |5174 | 1 | 187 |1113 |-1.342983e+01 |-7.000000e+00 | 91.85%| 34.52%
26.20/26.39 c 26.4s| 4600 | 621 |214158 | 28.5 | 72M | 66 | 100 | 336 | 270 |5265 | 1 | 187 |1113 |-1.342983e+01 |-7.000000e+00 | 91.85%| 34.63%
26.40/26.53 c 26.5s| 4700 | 629 |215796 | 28.3 | 72M | 66 | 100 | 335 | 251 |5372 | 0 | 187 |1113 |-1.342983e+01 |-7.000000e+00 | 91.85%| 34.71%
26.50/26.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
26.50/26.65 c 26.7s| 4800 | 637 |217537 | 28.2 | 72M | 66 | 100 | 336 | 250 |5472 | 1 | 189 |1113 |-1.342983e+01 |-7.000000e+00 | 91.85%| 34.88%
26.60/26.73 c 26.7s| 4900 | 647 |219452 | 28.1 | 72M | 66 | 100 | 336 | 268 |5500 | 1 | 189 |1113 |-1.342983e+01 |-7.000000e+00 | 91.85%| 34.95%
26.80/26.95 c 26.9s| 5000 | 651 |221302 | 27.9 | 72M | 66 | 100 | 337 | 0 |5606 | 0 | 193 |1113 |-1.342983e+01 |-7.000000e+00 | 91.85%| 34.99%
27.01/27.15 c 27.2s| 5100 | 659 |223092 | 27.8 | 72M | 66 | 100 | 337 | 249 |5745 | 0 | 193 |1113 |-1.342983e+01 |-7.000000e+00 | 91.85%| 35.20%
27.10/27.22 c 27.2s| 5200 | 665 |224497 | 27.6 | 72M | 66 | 100 | 337 | 254 |5767 | 1 | 193 |1113 |-1.342983e+01 |-7.000000e+00 | 91.85%| 35.39%
27.50/27.64 c 27.6s| 5300 | 675 |227841 | 27.7 | 72M | 66 | 100 | 338 | 269 |5988 | 0 | 194 |1113 |-1.342983e+01 |-7.000000e+00 | 91.85%| 35.39%
27.80/27.94 c 27.9s| 5400 | 691 |230943 | 27.8 | 72M | 66 | 100 | 338 | 300 |6140 | 0 | 194 |1113 |-1.342983e+01 |-7.000000e+00 | 91.85%| 35.39%
27.90/28.02 c 28.0s| 5500 | 713 |232726 | 27.6 | 72M | 66 | 100 | 337 | 314 |6207 | 1 | 194 |1113 |-1.264130e+01 |-7.000000e+00 | 80.59%| 35.40%
28.10/28.21 c 28.2s| 5600 | 725 |235024 | 27.6 | 72M | 68 | 100 | 337 | 308 |6295 | 0 | 196 |1113 |-1.240725e+01 |-7.000000e+00 | 77.25%| 40.03%
28.20/28.39 c 28.4s| 5700 | 733 |237277 | 27.5 | 72M | 72 | 100 | 337 | 256 |6416 | 0 | 196 |1113 |-1.240725e+01 |-7.000000e+00 | 77.25%| 40.17%
28.29/28.46 c 28.5s| 5800 | 741 |238804 | 27.4 | 72M | 72 | 100 | 337 | 320 |6466 | 0 | 196 |1113 |-1.225250e+01 |-7.000000e+00 | 75.04%| 40.31%
28.49/28.68 c 28.7s| 5900 | 745 |240668 | 27.3 | 73M | 72 | 100 | 339 | 259 |6624 | 0 | 198 |1113 |-1.177646e+01 |-7.000000e+00 | 68.24%| 40.87%
28.69/28.89 c 28.9s| 6000 | 749 |242571 | 27.2 | 73M | 72 | 100 | 341 | 313 |6736 | 1 | 200 |1113 |-1.162907e+01 |-7.000000e+00 | 66.13%| 41.24%
28.90/29.10 c 29.1s| 6100 | 753 |244554 | 27.1 | 73M | 72 | 100 | 339 | 266 |6898 | 0 | 200 |1113 |-1.162907e+01 |-7.000000e+00 | 66.13%| 41.47%
29.00/29.17 c 29.2s| 6200 | 759 |245970 | 27.0 | 73M | 72 | 100 | 339 | 299 |6989 | 0 | 200 |1113 |-1.162907e+01 |-7.000000e+00 | 66.13%| 41.49%
29.09/29.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
29.09/29.24 c 29.2s| 6300 | 763 |247551 | 26.8 | 73M | 72 | 100 | 340 | 260 |7047 | 0 | 201 |1113 |-1.156714e+01 |-7.000000e+00 | 65.24%| 41.64%
29.19/29.39 c 29.4s| 6400 | 763 |250101 | 26.8 | 73M | 72 | 100 | 340 | 292 |7165 | 1 | 201 |1113 |-1.150027e+01 |-7.000000e+00 | 64.29%| 41.97%
29.39/29.54 c 29.5s| 6500 | 769 |251876 | 26.7 | 73M | 72 | 100 | 340 | 266 |7259 | 0 | 201 |1113 |-1.150027e+01 |-7.000000e+00 | 64.29%| 42.17%
29.39/29.60 c 29.6s| 6600 | 771 |253100 | 26.6 | 73M | 72 | 100 | 340 | 261 |7311 | 0 | 202 |1113 |-1.150027e+01 |-7.000000e+00 | 64.29%| 42.30%
29.59/29.71 c 29.7s| 6700 | 775 |254701 | 26.5 | 73M | 72 | 100 | 340 | 270 |7397 | 1 | 202 |1113 |-1.147068e+01 |-7.000000e+00 | 63.87%| 42.50%
29.59/29.77 c 29.8s| 6800 | 777 |255863 | 26.3 | 73M | 72 | 100 | 340 | 305 |7468 | 0 | 202 |1113 |-1.147068e+01 |-7.000000e+00 | 63.87%| 42.56%
29.69/29.84 c 29.8s| 6900 | 783 |257343 | 26.2 | 73M | 72 | 100 | 340 | 259 |7532 | 1 | 202 |1113 |-1.136231e+01 |-7.000000e+00 | 62.32%| 42.62%
29.79/29.93 c 29.9s| 7000 | 791 |259133 | 26.1 | 73M | 72 | 100 | 340 | 257 |7593 | 1 | 202 |1113 |-1.135925e+01 |-7.000000e+00 | 62.28%| 42.68%
29.89/30.08 c 30.1s| 7100 | 795 |261989 | 26.1 | 73M | 72 | 100 | 340 | 259 |7729 | 1 | 203 |1113 |-1.135925e+01 |-7.000000e+00 | 62.28%| 42.94%
29.99/30.14 c 30.1s| 7200 | 795 |262990 | 26.0 | 73M | 72 | 100 | 340 | 251 |7764 | 0 | 203 |1113 |-1.135925e+01 |-7.000000e+00 | 62.28%| 43.74%
30.09/30.25 c 30.3s| 7300 | 797 |264534 | 25.9 | 73M | 72 | 100 | 340 | 275 |7838 | 1 | 205 |1113 |-1.135925e+01 |-7.000000e+00 | 62.28%| 44.50%
30.29/30.47 c 30.5s| 7400 | 807 |266563 | 25.8 | 73M | 72 | 100 | 340 | 279 |7987 | 0 | 205 |1113 |-1.133777e+01 |-7.000000e+00 | 61.97%| 44.63%
30.39/30.57 c 30.6s| 7500 | 811 |267983 | 25.7 | 73M | 72 | 100 | 340 | 301 |8061 | 0 | 205 |1113 |-1.125712e+01 |-7.000000e+00 | 60.82%| 45.00%
30.59/30.75 c 30.7s| 7600 | 823 |269744 | 25.6 | 73M | 75 | 100 | 339 | 252 |8176 | 1 | 206 |1113 |-1.123560e+01 |-7.000000e+00 | 60.51%| 45.09%
30.69/30.81 c 30.8s| 7700 | 829 |270875 | 25.5 | 73M | 75 | 100 | 341 | 264 |8234 | 1 | 208 |1113 |-1.120381e+01 |-7.000000e+00 | 60.05%| 45.15%
30.69/30.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
30.69/30.88 c 30.9s| 7800 | 831 |272045 | 25.4 | 73M | 75 | 100 | 341 | 0 |8256 | 0 | 208 |1113 |-1.120381e+01 |-7.000000e+00 | 60.05%| 45.25%
30.79/30.95 c 30.9s| 7900 | 835 |273383 | 25.2 | 73M | 75 | 100 | 341 | 264 |8291 | 4 | 208 |1113 |-1.120381e+01 |-7.000000e+00 | 60.05%| 45.34%
30.89/31.07 c 31.1s| 8000 | 839 |275371 | 25.2 | 73M | 75 | 100 | 341 | 302 |8333 | 0 | 208 |1113 |-1.120381e+01 |-7.000000e+00 | 60.05%| 45.38%
30.99/31.16 c 31.2s| 8100 | 841 |276726 | 25.1 | 73M | 75 | 100 | 342 | 256 |8407 | 4 | 210 |1113 |-1.118525e+01 |-7.000000e+00 | 59.79%| 45.54%
31.08/31.28 c 31.3s| 8200 | 843 |278734 | 25.0 | 73M | 75 | 100 | 342 | 256 |8471 | 0 | 210 |1113 |-1.117187e+01 |-7.000000e+00 | 59.60%| 45.74%
31.28/31.40 c 31.4s| 8300 | 843 |279846 | 24.9 | 73M | 75 | 100 | 342 | 283 |8533 | 0 | 210 |1113 |-1.117187e+01 |-7.000000e+00 | 59.60%| 45.91%
31.38/31.52 c 31.5s| 8400 | 849 |281547 | 24.8 | 73M | 75 | 100 | 342 | 253 |8591 | 1 | 210 |1113 |-1.109255e+01 |-7.000000e+00 | 58.46%| 46.15%
31.38/31.58 c 31.6s| 8500 | 849 |282653 | 24.7 | 73M | 75 | 100 | 342 | 285 |8620 | 1 | 210 |1113 |-1.109255e+01 |-7.000000e+00 | 58.46%| 46.31%
31.58/31.71 c 31.7s| 8600 | 847 |284346 | 24.7 | 73M | 75 | 100 | 342 | 269 |8704 | 0 | 210 |1113 |-1.109255e+01 |-7.000000e+00 | 58.46%| 46.45%
31.68/31.89 c 31.9s| 8700 | 849 |286235 | 24.6 | 73M | 75 | 100 | 342 | 251 |8810 | 0 | 210 |1113 |-1.103771e+01 |-7.000000e+00 | 57.68%| 46.69%
31.78/31.96 c 32.0s| 8800 | 855 |287609 | 24.5 | 73M | 75 | 100 | 342 | 300 |8863 | 1 | 211 |1113 |-1.092015e+01 |-7.000000e+00 | 56.00%| 46.80%
31.99/32.12 c 32.1s| 8900 | 853 |289314 | 24.5 | 73M | 75 | 100 | 342 | 244 |8953 | 1 | 211 |1113 |-1.092015e+01 |-7.000000e+00 | 56.00%| 47.05%
32.08/32.24 c 32.2s| 9000 | 855 |290642 | 24.4 | 73M | 75 | 100 | 343 | 247 |9044 | 1 | 213 |1113 |-1.092015e+01 |-7.000000e+00 | 56.00%| 47.88%
32.18/32.30 c 32.3s| 9100 | 853 |291724 | 24.2 | 73M | 75 | 100 | 344 | 258 |9105 | 1 | 216 |1113 |-1.092015e+01 |-7.000000e+00 | 56.00%| 48.10%
32.18/32.37 c 32.4s| 9200 | 853 |292666 | 24.1 | 73M | 75 | 100 | 343 | 269 |9170 | 5 | 216 |1113 |-1.092015e+01 |-7.000000e+00 | 56.00%| 48.32%
32.38/32.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
32.38/32.57 c 32.6s| 9300 | 855 |294892 | 24.1 | 73M | 75 | 100 | 342 | 256 |9258 | 0 | 217 |1113 |-1.083548e+01 |-7.000000e+00 | 54.79%| 48.52%
32.48/32.63 c 32.6s| 9400 | 857 |296276 | 24.0 | 73M | 75 | 100 | 342 | 253 |9313 | 0 | 217 |1113 |-1.082870e+01 |-7.000000e+00 | 54.70%| 48.78%
32.68/32.80 c 32.8s| 9500 | 859 |298281 | 24.0 | 73M | 75 | 100 | 343 | 258 |9430 | 1 | 218 |1113 |-1.082870e+01 |-7.000000e+00 | 54.70%| 49.18%
32.68/32.85 c 32.9s| 9600 | 863 |299527 | 23.9 | 73M | 75 | 100 | 343 | 270 |9453 | 6 | 218 |1113 |-1.082445e+01 |-7.000000e+00 | 54.64%| 49.27%
32.78/32.99 c 33.0s| 9700 | 869 |301723 | 23.9 | 73M | 75 | 100 | 344 | 253 |9552 | 0 | 220 |1113 |-1.075036e+01 |-7.000000e+00 | 53.58%| 49.39%
32.98/33.18 c 33.2s| 9800 | 871 |302969 | 23.8 | 73M | 75 | 100 | 344 | 261 |9672 | 1 | 221 |1113 |-1.073419e+01 |-7.000000e+00 | 53.35%| 49.53%
33.08/33.29 c 33.3s| 9900 | 869 |304029 | 23.7 | 73M | 75 | 100 | 344 | 276 |9755 | 1 | 222 |1113 |-1.073419e+01 |-7.000000e+00 | 53.35%| 49.83%
33.38/33.55 c 33.6s| 10000 | 867 |306355 | 23.7 | 73M | 75 | 100 | 345 | 264 |9937 | 0 | 224 |1113 |-1.073419e+01 |-7.000000e+00 | 53.35%| 50.04%
33.68/33.82 c 33.8s| 10100 | 871 |308333 | 23.7 | 74M | 75 | 100 | 347 | 258 | 10k| 1 | 227 |1113 |-1.073416e+01 |-7.000000e+00 | 53.35%| 50.24%
33.68/33.87 c 33.9s| 10200 | 875 |309300 | 23.5 | 74M | 75 | 100 | 351 | 245 | 10k| 1 | 231 |1113 |-1.067845e+01 |-7.000000e+00 | 52.55%| 50.28%
33.88/34.00 c 34.0s| 10300 | 877 |310991 | 23.5 | 74M | 75 | 100 | 351 | 260 | 10k| 1 | 233 |1113 |-1.067148e+01 |-7.000000e+00 | 52.45%| 51.05%
33.98/34.17 c 34.2s| 10400 | 873 |312581 | 23.4 | 74M | 75 | 100 | 352 | 267 | 10k| 1 | 235 |1113 |-1.067148e+01 |-7.000000e+00 | 52.45%| 51.46%
34.07/34.26 c 34.3s| 10500 | 873 |313832 | 23.4 | 74M | 75 | 100 | 352 | 316 | 10k| 0 | 235 |1113 |-1.067148e+01 |-7.000000e+00 | 52.45%| 51.49%
34.17/34.36 c 34.4s| 10600 | 871 |314764 | 23.3 | 74M | 75 | 100 | 352 | 276 | 10k| 3 | 236 |1113 |-1.067148e+01 |-7.000000e+00 | 52.45%| 51.69%
34.37/34.57 c 34.6s| 10700 | 869 |316453 | 23.2 | 74M | 75 | 100 | 352 | 254 | 10k| 0 | 236 |1113 |-1.064257e+01 |-7.000000e+00 | 52.04%| 51.98%
34.57/34.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
34.57/34.70 c 34.7s| 10800 | 869 |317782 | 23.1 | 74M | 75 | 100 | 352 | 259 | 10k| 1 | 237 |1113 |-1.063410e+01 |-7.000000e+00 | 51.92%| 52.15%
34.67/34.81 c 34.8s| 10900 | 867 |318950 | 23.1 | 74M | 75 | 100 | 352 | 262 | 10k| 0 | 237 |1113 |-1.063410e+01 |-7.000000e+00 | 51.92%| 52.46%
34.87/35.04 c 35.0s| 11000 | 867 |320416 | 23.0 | 75M | 75 | 100 | 356 | 275 | 10k| 1 | 242 |1113 |-1.063410e+01 |-7.000000e+00 | 51.92%| 52.74%
34.87/35.09 c 35.1s| 11100 | 869 |321488 | 22.9 | 75M | 75 | 100 | 355 | 278 | 10k| 0 | 242 |1113 |-1.059997e+01 |-7.000000e+00 | 51.43%| 52.79%
35.07/35.25 c 35.2s| 11200 | 865 |323433 | 22.9 | 75M | 75 | 100 | 355 | 259 | 11k| 0 | 242 |1113 |-1.059997e+01 |-7.000000e+00 | 51.43%| 53.03%
35.27/35.45 c 35.4s| 11300 | 861 |325240 | 22.8 | 75M | 75 | 100 | 354 | 249 | 11k| 1 | 244 |1113 |-1.044417e+01 |-7.000000e+00 | 49.20%| 53.54%
35.47/35.64 c 35.6s| 11400 | 859 |326650 | 22.8 | 75M | 75 | 100 | 354 | 254 | 11k| 1 | 244 |1113 |-1.035225e+01 |-7.000000e+00 | 47.89%| 53.89%
35.57/35.70 c 35.7s| 11500 | 861 |328015 | 22.7 | 75M | 75 | 100 | 355 | 0 | 11k| 0 | 246 |1113 |-1.035225e+01 |-7.000000e+00 | 47.89%| 53.99%
35.67/35.82 c 35.8s| 11600 | 861 |329392 | 22.7 | 75M | 75 | 100 | 356 | 291 | 11k| 0 | 248 |1113 |-1.032753e+01 |-7.000000e+00 | 47.54%| 54.13%
35.67/35.87 c 35.9s| 11700 | 865 |330439 | 22.6 | 75M | 75 | 100 | 356 | 255 | 11k| 0 | 248 |1113 |-1.026560e+01 |-7.000000e+00 | 46.65%| 54.19%
35.77/35.98 c 36.0s| 11800 | 871 |331723 | 22.5 | 75M | 75 | 100 | 356 | 0 | 11k| 0 | 252 |1113 |-1.026273e+01 |-7.000000e+00 | 46.61%| 54.23%
35.97/36.13 c 36.1s| 11900 | 867 |332861 | 22.4 | 75M | 75 | 100 | 356 | 246 | 11k| 0 | 252 |1113 |-1.026273e+01 |-7.000000e+00 | 46.61%| 54.39%
36.07/36.20 c 36.2s| 12000 | 867 |334128 | 22.4 | 75M | 75 | 100 | 355 | 257 | 11k| 1 | 252 |1113 |-1.026273e+01 |-7.000000e+00 | 46.61%| 54.58%
36.16/36.39 c 36.4s| 12100 | 869 |335561 | 22.3 | 75M | 75 | 100 | 355 | 270 | 11k| 0 | 252 |1113 |-1.026273e+01 |-7.000000e+00 | 46.61%| 54.63%
36.26/36.46 c 36.5s| 12200 | 869 |336403 | 22.2 | 75M | 75 | 100 | 355 | 267 | 11k| 0 | 253 |1113 |-1.026273e+01 |-7.000000e+00 | 46.61%| 54.83%
36.36/36.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
36.36/36.54 c 36.5s| 12300 | 867 |337723 | 22.2 | 75M | 75 | 100 | 355 | 298 | 11k| 0 | 255 |1113 |-1.024088e+01 |-7.000000e+00 | 46.30%| 55.07%
36.36/36.58 c 36.6s| 12400 | 871 |338579 | 22.1 | 75M | 75 | 100 | 355 | 248 | 11k| 1 | 257 |1113 |-1.024088e+01 |-7.000000e+00 | 46.30%| 55.14%
36.56/36.71 c 36.7s| 12500 | 871 |339874 | 22.0 | 75M | 75 | 100 | 358 | 263 | 11k| 1 | 265 |1113 |-1.024088e+01 |-7.000000e+00 | 46.30%| 55.32%
36.76/36.93 c 36.9s| 12600 | 865 |341280 | 22.0 | 75M | 75 | 100 | 358 | 282 | 12k| 1 | 267 |1113 |-1.024088e+01 |-7.000000e+00 | 46.30%| 55.57%
37.06/37.24 c 37.2s| 12700 | 859 |343547 | 22.0 | 76M | 75 | 100 | 359 | 273 | 12k| 0 | 270 |1113 |-1.023993e+01 |-7.000000e+00 | 46.28%| 56.00%
37.16/37.35 c 37.4s| 12800 | 863 |345139 | 21.9 | 76M | 75 | 100 | 361 | 259 | 12k| 5 | 272 |1113 |-1.017212e+01 |-7.000000e+00 | 45.32%| 56.16%
37.36/37.54 c 37.5s| 12900 | 863 |346964 | 21.9 | 76M | 75 | 100 | 366 | 256 | 12k| 1 | 278 |1113 |-1.011726e+01 |-7.000000e+00 | 44.53%| 56.40%
37.56/37.72 c 37.7s| 13000 | 859 |348663 | 21.9 | 76M | 75 | 100 | 367 | 283 | 12k| 0 | 280 |1113 |-1.005769e+01 |-7.000000e+00 | 43.68%| 56.83%
37.56/37.78 c 37.8s| 13100 | 861 |349700 | 21.8 | 76M | 75 | 100 | 367 | 257 | 12k| 0 | 280 |1113 |-1.005769e+01 |-7.000000e+00 | 43.68%| 57.02%
37.66/37.85 c 37.8s| 13200 | 859 |350688 | 21.7 | 76M | 75 | 100 | 367 | 306 | 12k| 0 | 280 |1113 |-1.003230e+01 |-7.000000e+00 | 43.32%| 57.95%
37.76/37.91 c 37.9s| 13300 | 861 |352131 | 21.7 | 76M | 75 | 100 | 367 | 303 | 12k| 0 | 280 |1113 |-1.002481e+01 |-7.000000e+00 | 43.21%| 58.12%
37.96/38.11 c 38.1s| 13400 | 859 |353525 | 21.6 | 76M | 75 | 100 | 367 | 314 | 12k| 18 | 281 |1113 |-1.000135e+01 |-7.000000e+00 | 42.88%| 58.28%
37.96/38.16 c 38.2s| 13500 | 863 |354476 | 21.6 | 76M | 75 | 100 | 367 | 0 | 12k| 0 | 282 |1113 |-1.000000e+01 |-7.000000e+00 | 42.86%| 58.31%
38.06/38.27 c 38.3s| 13600 | 861 |355501 | 21.5 | 76M | 75 | 100 | 367 | 263 | 12k| 1 | 282 |1113 |-1.000000e+01 |-7.000000e+00 | 42.86%| 59.10%
38.16/38.36 c 38.4s| 13700 | 857 |356677 | 21.4 | 76M | 75 | 100 | 367 | 262 | 13k| 0 | 282 |1113 |-1.000000e+01 |-7.000000e+00 | 42.86%| 59.29%
38.26/38.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
38.26/38.44 c 38.4s| 13800 | 855 |357644 | 21.4 | 76M | 75 | 100 | 367 | 274 | 13k| 1 | 284 |1113 |-9.979619e+00 |-7.000000e+00 | 42.57%| 59.50%
38.46/38.60 c 38.6s| 13900 | 855 |359112 | 21.3 | 76M | 75 | 100 | 367 | 258 | 13k| 0 | 284 |1113 |-9.933147e+00 |-7.000000e+00 | 41.90%| 59.58%
38.55/38.75 c 38.8s| 14000 | 853 |360318 | 21.3 | 76M | 75 | 100 | 367 | 268 | 13k| 0 | 286 |1113 |-9.922180e+00 |-7.000000e+00 | 41.75%| 59.76%
38.65/38.81 c 38.8s| 14100 | 849 |361149 | 21.2 | 76M | 75 | 100 | 366 | 242 | 13k| 0 | 286 |1113 |-9.919001e+00 |-7.000000e+00 | 41.70%| 60.11%
38.75/38.93 c 38.9s| 14200 | 849 |362752 | 21.2 | 76M | 75 | 100 | 366 | 282 | 13k| 0 | 287 |1113 |-9.881939e+00 |-7.000000e+00 | 41.17%| 60.12%
38.86/39.02 c 39.0s| 14300 | 851 |364233 | 21.1 | 76M | 75 | 100 | 366 | 254 | 13k| 0 | 287 |1113 |-9.862029e+00 |-7.000000e+00 | 40.89%| 60.19%
38.86/39.09 c 39.1s| 14400 | 849 |365187 | 21.1 | 76M | 75 | 100 | 366 | 292 | 13k| 0 | 287 |1113 |-9.861892e+00 |-7.000000e+00 | 40.88%| 60.36%
38.96/39.19 c 39.2s| 14500 | 847 |366283 | 21.0 | 76M | 75 | 100 | 366 | 283 | 13k| 1 | 288 |1113 |-9.861892e+00 |-7.000000e+00 | 40.88%| 60.57%
39.15/39.30 c 39.3s| 14600 | 841 |367210 | 20.9 | 76M | 75 | 100 | 366 | 257 | 13k| 0 | 290 |1113 |-9.861892e+00 |-7.000000e+00 | 40.88%| 60.64%
39.15/39.38 c 39.4s| 14700 | 839 |368420 | 20.9 | 76M | 75 | 100 | 366 | 268 | 13k| 0 | 294 |1113 |-9.825226e+00 |-7.000000e+00 | 40.36%| 60.96%
39.25/39.43 c 39.4s| 14800 | 839 |369399 | 20.8 | 76M | 75 | 100 | 367 | 296 | 13k| 1 | 296 |1113 |-9.820412e+00 |-7.000000e+00 | 40.29%| 61.08%
39.25/39.48 c 39.5s| 14900 | 831 |370207 | 20.7 | 76M | 75 | 100 | 367 | 250 | 13k| 0 | 297 |1113 |-9.820412e+00 |-7.000000e+00 | 40.29%| 61.35%
39.45/39.66 c 39.7s| 15000 | 831 |371960 | 20.7 | 76M | 75 | 100 | 369 | 297 | 13k| 0 | 299 |1113 |-9.802236e+00 |-7.000000e+00 | 40.03%| 61.52%
39.55/39.75 c 39.7s| 15100 | 825 |372867 | 20.7 | 76M | 75 | 100 | 369 | 262 | 13k| 1 | 300 |1113 |-9.787635e+00 |-7.000000e+00 | 39.82%| 61.76%
39.65/39.82 c 39.8s| 15200 | 825 |374003 | 20.6 | 76M | 75 | 100 | 369 | 295 | 13k| 1 | 302 |1113 |-9.776268e+00 |-7.000000e+00 | 39.66%| 61.98%
39.65/39.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
39.65/39.87 c 39.9s| 15300 | 821 |375034 | 20.6 | 76M | 75 | 100 | 372 | 257 | 13k| 0 | 306 |1113 |-9.776268e+00 |-7.000000e+00 | 39.66%| 62.09%
39.75/39.94 c 39.9s| 15400 | 821 |376038 | 20.5 | 76M | 75 | 100 | 372 | 251 | 13k| 1 | 308 |1113 |-9.773408e+00 |-7.000000e+00 | 39.62%| 62.32%
39.85/40.01 c 40.0s| 15500 | 819 |377035 | 20.4 | 76M | 75 | 100 | 372 | 251 | 14k| 1 | 308 |1113 |-9.759953e+00 |-7.000000e+00 | 39.43%| 62.43%
39.85/40.07 c 40.1s| 15600 | 819 |378044 | 20.4 | 76M | 75 | 100 | 372 | 247 | 14k| 0 | 309 |1113 |-9.759953e+00 |-7.000000e+00 | 39.43%| 62.62%
39.95/40.14 c 40.1s| 15700 | 817 |379333 | 20.3 | 76M | 75 | 100 | 371 | 266 | 14k| 1 | 310 |1113 |-9.759953e+00 |-7.000000e+00 | 39.43%| 62.67%
40.05/40.23 c 40.2s| 15800 | 817 |380590 | 20.3 | 76M | 75 | 100 | 372 | 260 | 14k| 0 | 311 |1113 |-9.736269e+00 |-7.000000e+00 | 39.09%| 62.76%
40.05/40.27 c 40.3s| 15900 | 819 |381559 | 20.2 | 76M | 75 | 100 | 374 | 0 | 14k| 0 | 314 |1113 |-9.734723e+00 |-7.000000e+00 | 39.07%| 62.78%
40.15/40.35 c 40.3s| 16000 | 817 |382582 | 20.2 | 76M | 75 | 100 | 376 | 259 | 14k| 0 | 317 |1113 |-9.707800e+00 |-7.000000e+00 | 38.68%| 62.99%
40.35/40.53 c 40.5s| 16100 | 813 |383756 | 20.1 | 76M | 75 | 100 | 377 | 274 | 14k| 0 | 319 |1113 |-9.659735e+00 |-7.000000e+00 | 38.00%| 63.17%
40.35/40.57 c 40.6s| 16200 | 805 |384317 | 20.1 | 76M | 76 | 100 | 377 | 273 | 14k| 0 | 319 |1113 |-9.644506e+00 |-7.000000e+00 | 37.78%| 63.44%
40.45/40.67 c 40.7s| 16300 | 805 |385683 | 20.0 | 76M | 76 | 100 | 377 | 267 | 14k| 1 | 321 |1113 |-9.624708e+00 |-7.000000e+00 | 37.50%| 63.60%
40.65/40.80 c 40.8s| 16400 | 803 |386492 | 20.0 | 76M | 76 | 100 | 377 | 291 | 14k| 4 | 321 |1113 |-9.616320e+00 |-7.000000e+00 | 37.38%| 63.61%
40.65/40.86 c 40.9s| 16500 | 795 |387260 | 19.9 | 76M | 78 | 100 | 377 | 289 | 14k| 1 | 324 |1113 |-9.616320e+00 |-7.000000e+00 | 37.38%| 63.88%
40.74/41.00 c 41.0s| 16600 | 793 |388899 | 19.9 | 76M | 78 | 100 | 376 | 247 | 14k| 0 | 326 |1113 |-9.599410e+00 |-7.000000e+00 | 37.13%| 65.11%
40.85/41.10 c 41.1s| 16700 | 795 |389995 | 19.8 | 76M | 78 | 100 | 376 | 278 | 14k| 1 | 326 |1113 |-9.582433e+00 |-7.000000e+00 | 36.89%| 65.13%
40.95/41.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
40.95/41.15 c 41.2s| 16800 | 797 |390892 | 19.8 | 77M | 78 | 100 | 377 | 249 | 14k| 1 | 328 |1113 |-9.582433e+00 |-7.000000e+00 | 36.89%| 65.14%
41.04/41.21 c 41.2s| 16900 | 801 |392038 | 19.8 | 77M | 78 | 100 | 376 | 250 | 14k| 0 | 328 |1113 |-9.573940e+00 |-7.000000e+00 | 36.77%| 65.16%
41.04/41.27 c 41.3s| 17000 | 801 |393296 | 19.7 | 77M | 78 | 100 | 376 | 248 | 14k| 0 | 329 |1113 |-9.558605e+00 |-7.000000e+00 | 36.55%| 65.23%
41.14/41.32 c 41.3s| 17100 | 797 |394283 | 19.7 | 77M | 78 | 100 | 376 | 260 | 14k| 0 | 330 |1113 |-9.544590e+00 |-7.000000e+00 | 36.35%| 66.50%
41.24/41.45 c 41.4s| 17200 | 797 |395342 | 19.6 | 77M | 78 | 100 | 377 | 285 | 14k| 1 | 338 |1113 |-9.519219e+00 |-7.000000e+00 | 35.99%| 66.63%
41.34/41.51 c 41.5s| 17300 | 797 |396329 | 19.6 | 77M | 78 | 100 | 377 | 274 | 14k| 1 | 340 |1113 |-9.519219e+00 |-7.000000e+00 | 35.99%| 66.65%
41.34/41.58 c 41.6s| 17400 | 789 |397899 | 19.6 | 77M | 78 | 100 | 377 | 293 | 14k| 0 | 340 |1113 |-9.504046e+00 |-7.000000e+00 | 35.77%| 66.91%
41.44/41.65 c 41.6s| 17500 | 783 |398723 | 19.5 | 77M | 78 | 100 | 377 | 266 | 14k| 1 | 341 |1113 |-9.500056e+00 |-7.000000e+00 | 35.72%| 67.26%
41.54/41.71 c 41.7s| 17600 | 779 |399395 | 19.4 | 77M | 78 | 100 | 376 | 309 | 14k| 0 | 341 |1113 |-9.497838e+00 |-7.000000e+00 | 35.68%| 67.55%
41.64/41.86 c 41.9s| 17700 | 779 |400644 | 19.4 | 77M | 78 | 100 | 377 | 263 | 15k| 0 | 344 |1113 |-9.479390e+00 |-7.000000e+00 | 35.42%| 67.67%
41.74/41.98 c 42.0s| 17800 | 781 |401767 | 19.4 | 77M | 78 | 100 | 378 | 257 | 15k| 0 | 347 |1113 |-9.479390e+00 |-7.000000e+00 | 35.42%| 67.70%
41.84/42.03 c 42.0s| 17900 | 777 |402622 | 19.3 | 77M | 78 | 100 | 379 | 313 | 15k| 1 | 348 |1113 |-9.479390e+00 |-7.000000e+00 | 35.42%| 67.92%
41.84/42.07 c 42.1s| 18000 | 773 |403399 | 19.3 | 77M | 78 | 100 | 380 | 265 | 15k| 1 | 349 |1113 |-9.474313e+00 |-7.000000e+00 | 35.35%| 68.06%
41.94/42.13 c 42.1s| 18100 | 771 |404264 | 19.2 | 77M | 78 | 100 | 380 | 268 | 15k| 1 | 349 |1113 |-9.472925e+00 |-7.000000e+00 | 35.33%| 68.25%
41.94/42.17 c 42.2s| 18200 | 767 |404867 | 19.1 | 77M | 78 | 100 | 380 | 286 | 15k| 1 | 349 |1113 |-9.472925e+00 |-7.000000e+00 | 35.33%| 68.48%
42.24/42.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
42.24/42.48 c 42.5s| 18300 | 765 |406339 | 19.1 | 77M | 78 | 100 | 380 | 0 | 15k| 0 | 349 |1113 |-9.472925e+00 |-7.000000e+00 | 35.33%| 69.20%
42.44/42.61 c 42.6s| 18400 | 769 |407660 | 19.1 | 77M | 78 | 100 | 380 | 263 | 15k| 1 | 349 |1113 |-9.464502e+00 |-7.000000e+00 | 35.21%| 69.27%
42.53/42.74 c 42.7s| 18500 | 765 |408496 | 19.0 | 77M | 78 | 100 | 380 | 315 | 15k| 1 | 350 |1113 |-9.464502e+00 |-7.000000e+00 | 35.21%| 69.38%
42.63/42.89 c 42.9s| 18600 | 761 |409494 | 19.0 | 77M | 78 | 100 | 382 | 251 | 15k| 0 | 352 |1113 |-9.464502e+00 |-7.000000e+00 | 35.21%| 69.56%
42.84/43.04 c 43.0s| 18700 | 755 |410705 | 19.0 | 77M | 78 | 100 | 383 | 296 | 15k| 1 | 353 |1113 |-9.464502e+00 |-7.000000e+00 | 35.21%| 69.75%
42.94/43.15 c 43.1s| 18800 | 745 |411920 | 18.9 | 77M | 78 | 100 | 383 | 259 | 15k| 1 | 354 |1113 |-9.464502e+00 |-7.000000e+00 | 35.21%| 69.94%
43.03/43.20 c 43.2s| 18900 | 737 |412851 | 18.9 | 77M | 78 | 100 | 383 | 246 | 15k| 0 | 356 |1113 |-9.459228e+00 |-7.000000e+00 | 35.13%| 70.88%
43.03/43.25 c 43.2s| 19000 | 733 |413570 | 18.8 | 77M | 78 | 100 | 385 | 264 | 15k| 1 | 358 |1113 |-9.459228e+00 |-7.000000e+00 | 35.13%| 71.07%
43.13/43.30 c 43.3s| 19100 | 735 |414310 | 18.8 | 77M | 78 | 100 | 385 | 298 | 15k| 1 | 364 |1113 |-9.459228e+00 |-7.000000e+00 | 35.13%| 71.08%
43.13/43.35 c 43.4s| 19200 | 741 |415188 | 18.7 | 77M | 78 | 100 | 389 | 250 | 15k| 1 | 369 |1113 |-9.429445e+00 |-7.000000e+00 | 34.71%| 71.08%
43.23/43.42 c 43.4s| 19300 | 741 |416027 | 18.7 | 77M | 78 | 100 | 392 | 287 | 15k| 1 | 372 |1113 |-9.419343e+00 |-7.000000e+00 | 34.56%| 71.14%
43.43/43.62 c 43.6s| 19400 | 737 |417371 | 18.7 | 77M | 78 | 100 | 392 | 316 | 16k| 1 | 373 |1113 |-9.417003e+00 |-7.000000e+00 | 34.53%| 71.69%
43.53/43.74 c 43.7s| 19500 | 733 |418096 | 18.6 | 77M | 78 | 100 | 392 | 262 | 16k| 1 | 375 |1113 |-9.414908e+00 |-7.000000e+00 | 34.50%| 71.79%
43.73/43.94 c 43.9s| 19600 | 731 |419777 | 18.6 | 77M | 78 | 100 | 392 | 281 | 16k| 0 | 375 |1113 |-9.386192e+00 |-7.000000e+00 | 34.09%| 71.83%
43.83/44.04 c 44.0s| 19700 | 725 |420392 | 18.6 | 77M | 78 | 100 | 392 | 247 | 16k| 1 | 376 |1113 |-9.383104e+00 |-7.000000e+00 | 34.04%| 71.98%
43.83/44.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
43.83/44.09 c 44.1s| 19800 | 717 |421207 | 18.5 | 77M | 78 | 100 | 393 | 279 | 16k| 1 | 379 |1113 |-9.383104e+00 |-7.000000e+00 | 34.04%| 72.20%
43.93/44.16 c 44.2s| 19900 | 711 |421961 | 18.5 | 77M | 78 | 100 | 393 | 300 | 16k| 1 | 381 |1113 |-9.383104e+00 |-7.000000e+00 | 34.04%| 72.41%
44.03/44.22 c 44.2s| 20000 | 703 |422651 | 18.4 | 77M | 78 | 100 | 393 | 254 | 16k| 1 | 381 |1113 |-9.370471e+00 |-7.000000e+00 | 33.86%| 72.61%
44.13/44.38 c 44.4s| 20100 | 687 |423439 | 18.4 | 77M | 78 | 100 | 393 | 285 | 16k| 1 | 384 |1113 |-9.358749e+00 |-7.000000e+00 | 33.70%| 73.23%
44.23/44.42 c 44.4s| 20200 | 681 |424042 | 18.3 | 77M | 78 | 100 | 395 | 296 | 16k| 0 | 386 |1113 |-9.358749e+00 |-7.000000e+00 | 33.70%| 73.29%
44.33/44.50 c 44.5s| 20300 | 675 |424675 | 18.3 | 77M | 78 | 100 | 398 | 260 | 16k| 0 | 389 |1113 |-9.358749e+00 |-7.000000e+00 | 33.70%| 73.33%
44.33/44.59 c 44.6s| 20400 | 667 |425602 | 18.2 | 77M | 78 | 100 | 398 | 246 | 16k| 0 | 393 |1113 |-9.353269e+00 |-7.000000e+00 | 33.62%| 73.53%
44.43/44.64 c 44.6s| 20500 | 667 |426494 | 18.2 | 77M | 78 | 100 | 399 | 271 | 16k| 1 | 395 |1113 |-9.353269e+00 |-7.000000e+00 | 33.62%| 73.62%
44.53/44.78 c 44.8s| 20600 | 657 |427962 | 18.2 | 77M | 78 | 100 | 399 | 276 | 16k| 0 | 397 |1113 |-9.353269e+00 |-7.000000e+00 | 33.62%| 73.70%
44.63/44.85 c 44.8s| 20700 | 651 |429117 | 18.1 | 77M | 78 | 100 | 399 | 291 | 16k| 0 | 398 |1113 |-9.352295e+00 |-7.000000e+00 | 33.60%| 73.85%
44.72/44.93 c 44.9s| 20800 | 647 |430110 | 18.1 | 77M | 78 | 100 | 399 | 297 | 16k| 0 | 398 |1113 |-9.352295e+00 |-7.000000e+00 | 33.60%| 74.11%
44.83/45.06 c 45.1s| 20900 | 635 |431122 | 18.1 | 77M | 78 | 100 | 399 | 0 | 16k| 0 | 399 |1115 |-9.335201e+00 |-7.000000e+00 | 33.36%| 74.64%
44.93/45.18 c 45.2s| 21000 | 625 |432068 | 18.0 | 77M | 78 | 100 | 399 | 256 | 17k| 0 | 400 |1115 |-9.334288e+00 |-7.000000e+00 | 33.35%| 75.20%
45.02/45.25 c 45.3s| 21100 | 621 |433057 | 18.0 | 77M | 78 | 100 | 398 | 287 | 17k| 0 | 400 |1116 |-9.307749e+00 |-7.000000e+00 | 32.97%| 75.41%
45.12/45.38 c 45.4s| 21200 | 609 |434033 | 18.0 | 77M | 78 | 100 | 398 | 288 | 17k| 0 | 401 |1117 |-9.307749e+00 |-7.000000e+00 | 32.97%| 75.60%
45.22/45.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
45.22/45.44 c 45.4s| 21300 | 597 |434721 | 17.9 | 77M | 78 | 100 | 399 | 259 | 17k| 0 | 403 |1117 |-9.240787e+00 |-7.000000e+00 | 32.01%| 76.10%
45.32/45.56 c 45.6s| 21400 | 593 |435736 | 17.9 | 77M | 78 | 100 | 399 | 262 | 17k| 0 | 403 |1119 |-9.240787e+00 |-7.000000e+00 | 32.01%| 76.32%
45.42/45.61 c 45.6s| 21500 | 583 |436450 | 17.8 | 77M | 78 | 100 | 399 | 279 | 17k| 0 | 406 |1122 |-9.240787e+00 |-7.000000e+00 | 32.01%| 76.61%
45.42/45.67 c 45.7s| 21600 | 581 |437438 | 17.8 | 77M | 78 | 100 | 400 | 277 | 17k| 7 | 407 |1125 |-9.240787e+00 |-7.000000e+00 | 32.01%| 76.71%
45.52/45.74 c 45.7s| 21700 | 577 |438202 | 17.8 | 77M | 78 | 100 | 400 | 250 | 17k| 1 | 407 |1126 |-9.237800e+00 |-7.000000e+00 | 31.97%| 77.37%
45.62/45.80 c 45.8s| 21800 | 567 |438960 | 17.7 | 77M | 78 | 100 | 402 | 257 | 17k| 0 | 411 |1129 |-9.237800e+00 |-7.000000e+00 | 31.97%| 77.54%
45.72/45.94 c 45.9s| 21900 | 559 |439949 | 17.7 | 77M | 78 | 100 | 402 | 269 | 17k| 0 | 413 |1130 |-9.237800e+00 |-7.000000e+00 | 31.97%| 77.78%
45.82/46.07 c 46.1s| 22000 | 553 |441012 | 17.7 | 77M | 78 | 100 | 403 | 261 | 17k| 1 | 414 |1132 |-9.222283e+00 |-7.000000e+00 | 31.75%| 78.03%
46.02/46.24 c 46.2s| 22100 | 545 |442282 | 17.6 | 77M | 78 | 100 | 403 | 263 | 17k| 4 | 414 |1134 |-9.209182e+00 |-7.000000e+00 | 31.56%| 78.21%
46.22/46.42 c 46.4s| 22200 | 535 |443562 | 17.6 | 77M | 78 | 100 | 403 | 300 | 17k| 0 | 416 |1136 |-9.199040e+00 |-7.000000e+00 | 31.41%| 78.60%
46.32/46.51 c 46.5s| 22300 | 531 |444251 | 17.6 | 77M | 78 | 100 | 403 | 297 | 17k| 1 | 416 |1139 |-9.199040e+00 |-7.000000e+00 | 31.41%| 78.69%
46.32/46.58 c 46.6s| 22400 | 517 |445078 | 17.5 | 77M | 78 | 100 | 403 | 261 | 17k| 1 | 416 |1139 |-9.138474e+00 |-7.000000e+00 | 30.55%| 79.24%
46.42/46.67 c 46.7s| 22500 | 513 |446026 | 17.5 | 77M | 78 | 100 | 402 | 249 | 17k| 0 | 418 |1139 |-9.138313e+00 |-7.000000e+00 | 30.55%| 79.37%
46.52/46.73 c 46.7s| 22600 | 513 |446974 | 17.5 | 77M | 78 | 100 | 401 | 252 | 17k| 1 | 419 |1139 |-9.122500e+00 |-7.000000e+00 | 30.32%| 79.39%
46.71/47.00 c 47.0s| 22700 | 497 |448485 | 17.5 | 77M | 78 | 100 | 401 | 279 | 18k| 0 | 420 |1139 |-9.088465e+00 |-7.000000e+00 | 29.84%| 79.95%
46.82/47.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
46.82/47.07 c 47.1s| 22800 | 489 |449393 | 17.4 | 77M | 78 | 100 | 401 | 295 | 18k| 0 | 421 |1139 |-9.084411e+00 |-7.000000e+00 | 29.78%| 80.19%
46.92/47.18 c 47.2s| 22900 | 475 |450103 | 17.4 | 77M | 78 | 100 | 401 | 281 | 18k| 0 | 423 |1139 |-9.061850e+00 |-7.000000e+00 | 29.46%| 80.66%
47.01/47.28 c 47.3s| 23000 | 467 |451285 | 17.4 | 77M | 78 | 100 | 401 | 306 | 18k| 4 | 425 |1139 |-9.061850e+00 |-7.000000e+00 | 29.46%| 80.83%
47.11/47.35 c 47.3s| 23100 | 455 |452116 | 17.3 | 77M | 78 | 100 | 400 | 249 | 18k| 0 | 428 |1139 |-9.050681e+00 |-7.000000e+00 | 29.30%| 81.08%
47.21/47.47 c 47.5s| 23200 | 443 |453061 | 17.3 | 77M | 78 | 100 | 400 | 261 | 18k| 0 | 430 |1139 |-9.001640e+00 |-7.000000e+00 | 28.59%| 81.32%
47.31/47.55 c 47.6s| 23300 | 435 |454100 | 17.3 | 77M | 78 | 100 | 400 | 333 | 18k| 1 | 430 |1139 |-8.979500e+00 |-7.000000e+00 | 28.28%| 81.61%
47.41/47.60 c 47.6s| 23400 | 425 |454674 | 17.2 | 77M | 78 | 100 | 400 | 280 | 18k| 0 | 431 |1139 |-8.979500e+00 |-7.000000e+00 | 28.28%| 84.14%
47.41/47.64 c 47.6s| 23500 | 417 |455360 | 17.2 | 77M | 78 | 100 | 400 | 277 | 18k| 1 | 431 |1139 |-8.979500e+00 |-7.000000e+00 | 28.28%| 84.32%
47.51/47.72 c 47.7s| 23600 | 405 |456088 | 17.2 | 77M | 78 | 100 | 402 | 299 | 18k| 1 | 433 |1139 |-8.940367e+00 |-7.000000e+00 | 27.72%| 84.60%
47.61/47.85 c 47.8s| 23700 | 395 |457380 | 17.2 | 77M | 78 | 100 | 402 | 0 | 18k| 0 | 435 |1139 |-8.912307e+00 |-7.000000e+00 | 27.32%| 84.81%
47.71/47.96 c 48.0s| 23800 | 379 |458421 | 17.1 | 77M | 78 | 100 | 401 | 261 | 18k| 0 | 436 |1139 |-8.912307e+00 |-7.000000e+00 | 27.32%| 85.18%
47.81/48.00 c 48.0s| 23900 | 365 |459070 | 17.1 | 77M | 78 | 100 | 401 | 264 | 18k| 0 | 437 |1139 |-8.860266e+00 |-7.000000e+00 | 26.58%| 85.49%
47.81/48.07 c 48.1s| 24000 | 361 |459634 | 17.0 | 77M | 78 | 100 | 404 | 270 | 18k| 1 | 441 |1139 |-8.844120e+00 |-7.000000e+00 | 26.34%| 85.58%
48.01/48.29 c 48.3s| 24100 | 351 |462248 | 17.1 | 77M | 78 | 100 | 405 | 249 | 18k| 1 | 443 |1139 |-8.823018e+00 |-7.000000e+00 | 26.04%| 85.95%
48.21/48.43 c 48.4s| 24200 | 337 |463212 | 17.1 | 77M | 78 | 100 | 405 | 0 | 18k| 0 | 444 |1139 |-8.799052e+00 |-7.000000e+00 | 25.70%| 86.23%
48.21/48.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
48.21/48.48 c 48.5s| 24300 | 335 |463908 | 17.0 | 77M | 78 | 100 | 405 | 303 | 18k| 1 | 445 |1139 |-8.795899e+00 |-7.000000e+00 | 25.66%| 86.36%
48.31/48.57 c 48.6s| 24400 | 325 |464652 | 17.0 | 77M | 78 | 100 | 406 | 311 | 18k| 1 | 447 |1139 |-8.795899e+00 |-7.000000e+00 | 25.66%| 86.60%
48.41/48.65 c 48.6s| 24500 | 315 |465104 | 16.9 | 77M | 78 | 100 | 407 | 276 | 18k| 1 | 451 |1139 |-8.794231e+00 |-7.000000e+00 | 25.63%| 86.91%
48.51/48.75 c 48.7s| 24600 | 307 |465996 | 16.9 | 77M | 78 | 100 | 407 | 314 | 18k| 1 | 452 |1139 |-8.781843e+00 |-7.000000e+00 | 25.45%| 87.03%
48.51/48.79 c 48.8s| 24700 | 297 |466435 | 16.9 | 77M | 78 | 100 | 411 | 325 | 18k| 0 | 463 |1139 |-8.777497e+00 |-7.000000e+00 | 25.39%| 87.20%
48.61/48.89 c 48.9s| 24800 | 279 |467216 | 16.8 | 77M | 78 | 100 | 411 | 255 | 19k| 0 | 463 |1139 |-8.762998e+00 |-7.000000e+00 | 25.19%| 87.60%
48.71/48.97 c 49.0s| 24900 | 265 |468068 | 16.8 | 77M | 78 | 100 | 412 | 291 | 19k| 0 | 466 |1139 |-8.729287e+00 |-7.000000e+00 | 24.70%| 88.01%
48.81/49.02 c 49.0s| 25000 | 259 |469298 | 16.8 | 77M | 78 | 100 | 412 | 265 | 19k| 0 | 466 |1139 |-8.729022e+00 |-7.000000e+00 | 24.70%| 88.29%
48.81/49.08 c 49.1s| 25100 | 245 |469838 | 16.7 | 77M | 78 | 100 | 412 | 259 | 19k| 1 | 468 |1139 |-8.709557e+00 |-7.000000e+00 | 24.42%| 88.74%
48.91/49.13 c 49.1s| 25200 | 233 |470385 | 16.7 | 77M | 78 | 100 | 413 | 276 | 19k| 1 | 469 |1139 |-8.709557e+00 |-7.000000e+00 | 24.42%| 89.05%
49.00/49.29 c 49.3s| 25300 | 221 |471345 | 16.7 | 77M | 78 | 100 | 411 | 287 | 19k| 1 | 469 |1139 |-8.696439e+00 |-7.000000e+00 | 24.23%| 89.38%
49.10/49.34 c 49.3s| 25400 | 205 |472088 | 16.6 | 77M | 78 | 100 | 412 | 250 | 19k| 0 | 472 |1139 |-8.677822e+00 |-7.000000e+00 | 23.97%| 89.81%
49.10/49.39 c 49.4s| 25500 | 201 |473364 | 16.6 | 77M | 78 | 100 | 411 | 265 | 19k| 3 | 473 |1139 |-8.677822e+00 |-7.000000e+00 | 23.97%| 90.00%
49.20/49.48 c 49.5s| 25600 | 187 |474133 | 16.6 | 77M | 78 | 100 | 412 | 275 | 19k| 0 | 475 |1139 |-8.638092e+00 |-7.000000e+00 | 23.40%| 90.35%
49.30/49.54 c 49.5s| 25700 | 177 |474900 | 16.6 | 77M | 78 | 100 | 413 | 245 | 19k| 0 | 477 |1139 |-8.631597e+00 |-7.000000e+00 | 23.31%| 90.66%
49.30/49.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
49.30/49.58 c 49.6s| 25800 | 175 |475797 | 16.5 | 77M | 78 | 100 | 414 | 246 | 19k| 1 | 478 |1139 |-8.629086e+00 |-7.000000e+00 | 23.27%| 90.83%
49.40/49.65 c 49.7s| 25900 | 167 |476685 | 16.5 | 77M | 78 | 100 | 415 | 256 | 19k| 0 | 479 |1139 |-8.617301e+00 |-7.000000e+00 | 23.10%| 91.01%
49.50/49.74 c 49.7s| 26000 | 153 |477367 | 16.5 | 77M | 78 | 100 | 415 | 250 | 19k| 0 | 479 |1139 |-8.590539e+00 |-7.000000e+00 | 22.72%| 91.48%
49.50/49.79 c 49.8s| 26100 | 133 |478022 | 16.4 | 77M | 78 | 100 | 415 | 247 | 19k| 1 | 484 |1139 |-8.578760e+00 |-7.000000e+00 | 22.55%| 92.10%
49.60/49.88 c 49.9s| 26200 | 113 |479402 | 16.4 | 77M | 78 | 100 | 415 | 388 | 19k| 0 | 485 |1139 |-8.577449e+00 |-7.000000e+00 | 22.53%| 92.45%
49.70/49.94 c 49.9s| 26300 | 95 |480405 | 16.4 | 77M | 78 | 100 | 415 | 256 | 19k| 0 | 485 |1139 |-8.573825e+00 |-7.000000e+00 | 22.48%| 92.93%
49.70/50.00 c 50.0s| 26400 | 75 |481259 | 16.4 | 77M | 78 | 100 | 417 | 267 | 19k| 0 | 488 |1139 |-8.539161e+00 |-7.000000e+00 | 21.99%| 95.94%
49.81/50.04 c 50.0s| 26500 | 46 |481884 | 16.4 | 77M | 78 | 100 | 417 | 377 | 19k| 1 | 488 |1139 |-8.531623e+00 |-7.000000e+00 | 21.88%| 98.21%
49.91/50.13 c 50.1s| 26600 | 24 |482884 | 16.3 | 77M | 78 | 100 | 417 | 544 | 19k| 1 | 488 |1139 |-8.517936e+00 |-7.000000e+00 | 21.68%| 99.08%
49.91/50.15 c
49.91/50.15 c SCIP Status : problem is solved [optimal solution found]
49.91/50.15 c Solving Time (sec) : 50.14
49.91/50.15 c Solving Nodes : 26626 (total of 29480 nodes in 2 runs)
49.91/50.15 c Primal Bound : -7.00000000000000e+00 (298 solutions)
49.91/50.15 c Dual Bound : -7.00000000000000e+00
49.91/50.15 c Gap : 0.00 %
49.91/50.15 s OPTIMUM FOUND
49.91/50.15 v -x70 -x61 x84 -x78 -x64 -x63 -x58 -x54 -x72 -x100 -x83 x82 -x95 -x79 -x62 -x51 -x85 -x81 -x80 -x71 x68 -x67 -x60 -x57 -x56 -x87
49.91/50.15 v -x55 x99 -x88 x98 -x74 -x89 -x93 -x66 x96 x92 -x53 -x90 -x94 -x75 -x59 -x65 -x52 -x77 -x73 -x76 -x91 -x69 -x86 -x97 -x50 -x49
49.91/50.15 v -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 -x23
49.91/50.15 v -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
49.91/50.15 c SCIP Status : problem is solved [optimal solution found]
49.91/50.15 c Total Time : 50.14
49.91/50.15 c solving : 50.14
49.91/50.15 c presolving : 0.03 (included in solving)
49.91/50.15 c reading : 0.00 (included in solving)
49.91/50.15 c copying : 0.08 (30 #copies) (minimal 0.00, maximal 0.00, average 0.00)
49.91/50.15 c Original Problem :
49.91/50.15 c Problem name : HOME/instance-4459912-1721939463.opb
49.91/50.15 c Variables : 1576 (100 binary, 0 integer, 1476 implicit integer, 0 continuous)
49.91/50.15 c Constraints : 1727 initial, 1727 maximal
49.91/50.15 c Objective : minimize, 50 non-zeros (abs.min = 1, abs.max = 1)
49.91/50.15 c Presolved Problem :
49.91/50.15 c Problem name : t_HOME/instance-4459912-1721939463.opb
49.91/50.15 c Variables : 100 (100 binary, 0 integer, 0 implicit integer, 0 continuous)
49.91/50.15 c Constraints : 377 initial, 441 maximal
49.91/50.15 c Objective : minimize, 50 non-zeros (abs.min = 1, abs.max = 1)
49.91/50.15 c Nonzeros : 12461 constraint, 102 clique table
49.91/50.15 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
49.91/50.15 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
49.91/50.15 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
49.91/50.15 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
49.91/50.15 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
49.91/50.15 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
49.91/50.15 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
49.91/50.15 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
49.91/50.15 c gateextraction : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
49.91/50.15 c implics : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
49.91/50.15 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
49.91/50.15 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
49.91/50.15 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
49.91/50.15 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
49.91/50.15 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
49.91/50.15 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
49.91/50.15 c trivial : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
49.91/50.15 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
49.91/50.15 c dualfix : 0.00 0.00 7 1476 0 0 0 0 0 0 0 0
49.91/50.15 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
49.91/50.15 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
49.91/50.15 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
49.91/50.15 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
49.91/50.15 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
49.91/50.15 c knapsack : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
49.91/50.15 c setppc : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
49.91/50.15 c linear : 0.01 0.00 12 0 0 0 0 0 0 0 0 0
49.91/50.15 c logicor : 0.00 0.00 8 0 0 0 0 0 1 0 0 11
49.91/50.15 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
49.91/50.15 c pseudoboolean : 0.00 0.00 1 0 0 0 0 0 1676 100 0 0
49.91/50.15 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
49.91/50.15 c root node : - - - 90 - - 90 - - - - -
49.91/50.15 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
49.91/50.15 c benderslp : 0 0 0 0 15406 0 0 5038 0 0 0 0 0 0 0
49.91/50.15 c integral : 0 0 0 0 15406 0 0 5038 0 0 300 0 0 64 30518
49.91/50.15 c knapsack : 167 167 112 52653 0 0 0 5031 8103 292 175676 4 0 0 0
49.91/50.15 c setppc : 50+ 51 112 50831 0 0 0 392 756 0 7252 0 0 0 0
49.91/50.15 c linear : 83 83 112 52310 0 0 0 391 45 348 288 3 1 0 0
49.91/50.15 c logicor : 77+ 141 112 19327 0 0 0 0 15 23 494 0 0 0 0
49.91/50.15 c benders : 0 0 0 0 0 0 0 384 0 0 0 0 0 0 0
49.91/50.15 c fixedvar : 0 0 0 0 0 0 0 384 0 0 0 0 0 0 0
49.91/50.15 c countsols : 0 0 0 0 0 0 0 384 0 0 0 0 0 0 0
49.91/50.15 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
49.91/50.15 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
49.91/50.15 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
49.91/50.15 c integral : 5.89 0.00 0.00 0.00 5.89 0.00 0.00 0.00 0.00 0.00
49.91/50.15 c knapsack : 1.12 0.00 0.08 0.95 0.00 0.00 0.00 0.04 0.00 0.04
49.91/50.15 c setppc : 0.05 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.00
49.91/50.15 c linear : 0.47 0.00 0.11 0.34 0.00 0.00 0.00 0.00 0.00 0.01
49.91/50.15 c logicor : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
49.91/50.15 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
49.91/50.15 c fixedvar : 0.02 0.00 0.00 0.00 0.00 0.00 0.00 0.02 0.00 0.00
49.91/50.15 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
49.91/50.15 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
49.91/50.15 c Propagators : #Propagate #ResProp Cutoffs DomReds
49.91/50.15 c dualfix : 3 0 0 0
49.91/50.15 c genvbounds : 0 0 0 0
49.91/50.15 c nlobbt : 0 0 0 0
49.91/50.15 c obbt : 0 0 0 0
49.91/50.15 c probing : 0 0 0 0
49.91/50.15 c pseudoobj : 61380 544 485 2918
49.91/50.15 c redcost : 5754 0 0 3331
49.91/50.15 c rootredcost : 4 0 0 0
49.91/50.15 c symmetry : 0 0 0 0
49.91/50.15 c vbounds : 21692 0 0 0
49.91/50.15 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
49.91/50.15 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
49.91/50.15 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
49.91/50.15 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
49.91/50.15 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
49.91/50.15 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
49.91/50.15 c pseudoobj : 0.05 0.00 0.00 0.04 0.00 0.00
49.91/50.15 c redcost : 0.04 0.00 0.00 0.04 0.00 0.00
49.91/50.15 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
49.91/50.15 c symmetry : 0.01 0.00 0.00 0.01 0.00 0.00
49.91/50.15 c vbounds : 0.01 0.00 0.00 0.01 0.00 0.00
49.91/50.15 c Symmetry :
49.91/50.15 c orbitopal red. : 0 reductions applied, 0 cutoffs
49.91/50.15 c orbital reduction: 0 reductions applied, 0 cutoffs
49.91/50.15 c lexicographic red: 0 reductions applied, 0 cutoffs
49.91/50.15 c shadow tree time : 0.00 s
49.91/50.15 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
49.91/50.15 c propagation : 0.01 316 307 - 1059 27.7 0 0.0 - - -
49.91/50.15 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
49.91/50.15 c bound exceed. LP : 0.22 1065 147 - 348 14.1 1 49.0 0 0.0 8846
49.91/50.15 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
49.91/50.15 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
49.91/50.15 c applied globally : 0.00 - - 0 272 9.7 - - 0 - -
49.91/50.15 c applied locally : - - - 0 218 23.1 - - 0 - -
49.91/50.15 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
49.91/50.15 c cut pool : 2.23 - 10961 201 - - 131318 333256 - - - - - (maximal pool size: 3682)
49.91/50.15 c aggregation : 15.12 0.00 3995 112 0 0 26672 145820 0 20339 20339 0 0
49.91/50.15 c > cmir : - - - - - - - 129271 0 17897 17897 0 -
49.91/50.15 c > flowcover : - - - - - - - 15145 0 2260 2260 0 -
49.91/50.15 c > knapsackcover : - - - - - - - 1404 0 182 182 0 -
49.91/50.15 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
49.91/50.15 c clique : 0.01 0.00 112 112 0 0 0 0 0 0 0 0 0
49.91/50.15 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
49.91/50.15 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
49.91/50.15 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
49.91/50.15 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
49.91/50.15 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
49.91/50.15 c gomory : 4.49 0.00 1989 20 0 0 102570 183738 0 2310 2310 0 0
49.91/50.15 c > gomorymi : - - - - - - - 142545 0 2288 2288 0 -
49.91/50.15 c > strongcg : - - - - - - - 41193 0 22 22 0 -
49.91/50.15 c impliedbounds : 0.01 0.00 3995 112 0 0 22 122 0 60 60 0 0
49.91/50.15 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
49.91/50.15 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
49.91/50.15 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
49.91/50.15 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
49.91/50.15 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
49.91/50.15 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
49.91/50.15 c multilinear : 0.00 0.00 465 112 0 0 0 0 0 0 0 0 0
49.91/50.15 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
49.91/50.15 c rapidlearning : 0.02 0.00 1 0 0 0 0 0 0 0 0 0 0
49.91/50.15 c rlt : 0.00 0.00 557 20 0 0 0 0 0 0 0 0 0
49.91/50.15 c zerohalf : 0.57 0.00 2009 40 0 0 2091 3576 37 242 242 0 0
49.91/50.15 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
49.91/50.15 c hybrid : 0.23 0.00 7715 112 22952 0 310348 279 0 45202
49.91/50.15 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
49.91/50.15 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
49.91/50.15 c Pricers : ExecTime SetupTime Calls Vars
49.91/50.15 c problem variables: 0.00 - 0 0
49.91/50.15 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
49.91/50.15 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
49.91/50.15 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
49.91/50.15 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
49.91/50.15 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
49.91/50.15 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
49.91/50.15 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
49.91/50.15 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
49.91/50.15 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
49.91/50.15 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
49.91/50.15 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
49.91/50.15 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
49.91/50.15 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
49.91/50.15 c random : 0.00 0.00 0 0 0 0 0 0 0 0
49.91/50.15 c relpscost : 5.89 0.00 15406 0 0 0 300 0 64 30518
49.91/50.15 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
49.91/50.15 c Primal Heuristics : ExecTime SetupTime Calls Found Best
49.91/50.15 c LP solutions : 0.00 - - 0 0
49.91/50.15 c relax solutions : 0.00 - - 0 0
49.91/50.15 c pseudo solutions : 0.00 - - 0 0
49.91/50.15 c strong branching : 0.00 - - 1 1
49.91/50.15 c actconsdiving : 0.00 0.00 0 0 0
49.91/50.15 c adaptivediving : 0.07 0.00 36 0 0
49.91/50.15 c alns : 0.02 0.00 5 0 0
49.91/50.15 c bound : 0.00 0.00 0 0 0
49.91/50.15 c clique : 0.00 0.00 1 1 1
49.91/50.15 c coefdiving : 0.00 0.00 0 0 0
49.91/50.15 c completesol : 0.00 0.00 0 0 0
49.91/50.15 c conflictdiving : 0.07 0.00 19 0 0
49.91/50.15 c crossover : 0.07 0.00 10 5 0
49.91/50.15 c dins : 0.00 0.00 0 0 0
49.91/50.15 c distributiondivin: 0.16 0.00 18 0 0
49.91/50.15 c dps : 0.00 0.00 0 0 0
49.91/50.15 c dualval : 0.00 0.00 0 0 0
49.91/50.15 c farkasdiving : 0.00 0.00 0 0 0
49.91/50.15 c feasjump : 0.00 0.00 0 0 0
49.91/50.15 c feaspump : 0.00 0.00 0 0 0
49.91/50.15 c fixandinfer : 0.00 0.00 0 0 0
49.91/50.15 c fracdiving : 0.04 0.00 18 0 0
49.91/50.15 c gins : 0.00 0.00 0 0 0
49.91/50.15 c guideddiving : 0.03 0.00 18 0 0
49.91/50.15 c indcoefdiving : 0.00 0.00 0 0 0
49.91/50.15 c indicator : 0.00 0.00 0 0 0
49.91/50.15 c indicatordiving : 0.00 0.00 0 0 0
49.91/50.15 c indoneopt : 0.00 0.00 0 0 0
49.91/50.15 c indrounding : 0.00 0.00 0 0 0
49.91/50.15 c indtwoopt : 0.00 0.00 0 0 0
49.91/50.15 c intdiving : 0.00 0.00 0 0 0
49.91/50.15 c intshifting : 0.00 0.00 0 0 0
49.91/50.15 c linesearchdiving : 0.04 0.00 18 0 0
49.91/50.15 c localbranching : 0.00 0.00 0 0 0
49.91/50.15 c locks : 0.00 0.00 1 0 0
49.91/50.15 c lpface : 0.00 0.00 0 0 0
49.91/50.15 c mpec : 0.00 0.00 0 0 0
49.91/50.15 c multistart : 0.00 0.00 0 0 0
49.91/50.15 c mutation : 0.00 0.00 0 0 0
49.91/50.15 c nlpdiving : 0.00 0.00 0 0 0
49.91/50.15 c objpscostdiving : 0.06 0.00 10 6 0
49.91/50.15 c octane : 0.00 0.00 0 0 0
49.91/50.15 c ofins : 0.00 0.00 0 0 0
49.91/50.15 c oneopt : 0.00 0.00 6 0 0
49.91/50.15 c padm : 0.00 0.00 0 0 0
49.91/50.15 c proximity : 0.00 0.00 0 0 0
49.91/50.15 c pscostdiving : 0.02 0.00 18 0 0
49.91/50.15 c randrounding : 0.13 0.00 4742 39 1
49.91/50.15 c rens : 0.00 0.00 0 0 0
49.91/50.15 c reoptsols : 0.00 0.00 0 0 0
49.91/50.15 c repair : 0.00 0.00 0 0 0
49.91/50.15 c rins : 0.22 0.00 14 11 1
49.91/50.15 c rootsoldiving : 0.03 0.00 10 6 0
49.91/50.15 c rounding : 0.10 0.00 2148 0 0
49.91/50.15 c scheduler : 0.00 0.00 0 0 0
49.91/50.15 c shiftandpropagate: 0.00 0.00 0 0 0
49.91/50.15 c shifting : 0.92 0.00 9085 228 0
49.91/50.15 c simplerounding : 0.00 0.00 0 0 0
49.91/50.15 c smallcard : 0.00 0.00 0 0 0
49.91/50.15 c subnlp : 0.01 0.00 0 0 0
49.91/50.15 c trivial : 0.00 0.00 4 1 1
49.91/50.15 c trivialnegation : 0.00 0.00 0 0 0
49.91/50.15 c trustregion : 0.00 0.00 0 0 0
49.91/50.15 c trysol : 0.00 0.00 0 0 0
49.91/50.15 c twoopt : 0.00 0.00 0 0 0
49.91/50.15 c undercover : 0.00 0.00 0 0 0
49.91/50.15 c vbounds : 0.00 0.00 2 0 0
49.91/50.15 c veclendiving : 0.04 0.00 18 0 0
49.91/50.15 c zeroobj : 0.00 0.00 0 0 0
49.91/50.15 c zirounding : 0.01 0.00 1000 0 0
49.91/50.15 c other solutions : - - - 0 -
49.91/50.15 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
49.91/50.15 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
49.91/50.15 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
49.91/50.15 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
49.91/50.15 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
49.91/50.15 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
49.91/50.15 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
49.91/50.15 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
49.91/50.15 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
49.91/50.15 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
49.91/50.15 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
49.91/50.15 c primal LP : 0.26 3078 1 1.00 3.83 0.26 3077
49.91/50.15 c dual LP : 13.08 37534 475970 13.01 36401.74 0.08 949
49.91/50.15 c lex dual LP : 0.00 0 0 0.00 -
49.91/50.15 c barrier LP : 0.00 0 0 0.00 - 0.00 0
49.91/50.15 c resolve instable : 0.00 0 0 0.00 -
49.91/50.15 c diving/probing LP: 0.31 896 7095 7.92 22676.64
49.91/50.15 c strong branching : 5.40 1139 106120 93.17 19663.84 - - 209
49.91/50.15 c (at root node) : - 93 21473 230.89 -
49.91/50.15 c conflict analysis: 0.18 1008 8846 8.78 47960.36
49.91/50.15 c B&B Tree :
49.91/50.15 c number of runs : 2
49.91/50.15 c nodes : 26626 (13548 internal, 13078 leaves)
49.91/50.15 c feasible leaves : 0
49.91/50.15 c infeas. leaves : 870
49.91/50.15 c objective leaves : 12208
49.91/50.15 c nodes (total) : 29480 (15259 internal, 14221 leaves)
49.91/50.15 c nodes left : 0
49.91/50.15 c max depth : 78
49.91/50.15 c max depth (total): 78
49.91/50.15 c backtracks : 2821 (10.6%)
49.91/50.15 c early backtracks : 0 (0.0%)
49.91/50.15 c nodes exc. ref. : 0 (0.0%)
49.91/50.15 c delayed cutoffs : 1
49.91/50.15 c repropagations : 1026 (289 domain reductions, 0 cutoffs)
49.91/50.15 c avg switch length: 5.95
49.91/50.15 c switching time : 1.73
49.91/50.15 c Root Node :
49.91/50.15 c First LP value : -2.50000000000000e+01
49.91/50.15 c First LP Iters : 228 (54979.50 Iter/sec)
49.91/50.15 c First LP Time : 0.00
49.91/50.15 c Final Dual Bound : -1.34298286760328e+01
49.91/50.15 c Final Root Iters : 1911
49.91/50.15 c Root LP Estimate : -1.21098321230181e+01
49.91/50.15 c Solution :
49.91/50.15 c Solutions found : 298 (5 improvements)
49.91/50.15 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
49.91/50.15 c Gap First Sol. : infinite
49.91/50.15 c Gap Last Sol. : 91.85 %
49.91/50.15 c Primal Bound : -7.00000000000000e+00 (in run 2, after 3752 nodes, 24.93 seconds, depth 25, found by <rins>)
49.91/50.15 c Dual Bound : -7.00000000000000e+00
49.91/50.15 c Gap : 0.00 %
49.91/50.15 c Integrals : Total Avg%
49.91/50.15 c primal-dual : 2304.48 45.96
49.91/50.15 c primal-ref : - - (not evaluated)
49.91/50.15 c dual-ref : - - (not evaluated)
49.91/50.16 c Time complete: 49.9737.
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: 63968 MiB (61332 MiB free)
memory of node 1: 64473 MiB (62204 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459912-1721939463/watcher-4459912-1721939463 -o /tmp/evaluation-result-4459912-1721939463/solver-4459912-1721939463 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721939462-308651 --watchdog 3760 pbscip -f HOME/instance-4459912-1721939463.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=308721, runsolver pid=308716
[startup+0.100042 s]*
/proc/loadavg: 0.12 0.11 0.17 4/253 308722
/proc/meminfo: memFree=126481032/131524600 swapFree=131056796/131071996
[pid=308721] ppid=308716 vsize=73352 memory=34820 CPUtime=0.09 cores=0,2
/proc/308721/stat : 308721 (pbscip) R 308716 308721 308641 0 -1 4194304 5203 0 0 0 9 0 0 0 20 0 1 0 30470239 75112448 8705 134679101440 4194304 18693293 140728781993312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41820160 140728781997059 140728781997158 140728781997158 140728782004174 0
/proc/308721/statm: 18338 8705 3869 3540 0 6595 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 73352 KiB
Current children cumulated memory: 34820 KiB
[startup+0.205504 s]*
/proc/loadavg: 0.12 0.11 0.17 4/253 308722
/proc/meminfo: memFree=126467240/131524600 swapFree=131056796/131071996
[pid=308721] ppid=308716 vsize=83024 memory=43788 CPUtime=0.19 cores=0,2
/proc/308721/stat : 308721 (pbscip) R 308716 308721 308641 0 -1 4194304 7457 0 0 0 19 0 0 0 20 0 1 0 30470239 85016576 10947 134679101440 4194304 18693293 140728781993312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41820160 140728781997059 140728781997158 140728781997158 140728782004174 0
/proc/308721/statm: 20756 10947 3869 3540 0 9013 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 83024 KiB
Current children cumulated memory: 43788 KiB
[startup+0.305423 s]*
/proc/loadavg: 0.12 0.11 0.17 4/253 308722
/proc/meminfo: memFree=126456740/131524600 swapFree=131056796/131071996
[pid=308721] ppid=308716 vsize=90420 memory=50916 CPUtime=0.29 cores=0,2
/proc/308721/stat : 308721 (pbscip) R 308716 308721 308641 0 -1 4194304 9202 0 0 0 29 0 0 0 20 0 1 0 30470239 92590080 12729 134679101440 4194304 18693293 140728781993312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41820160 140728781997059 140728781997158 140728781997158 140728782004174 0
/proc/308721/statm: 22605 12729 3869 3540 0 10862 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 90420 KiB
Current children cumulated memory: 50916 KiB
[startup+0.700169 s]
/proc/loadavg: 0.12 0.11 0.17 4/255 308728
/proc/meminfo: memFree=126444196/131524600 swapFree=131056796/131071996
[pid=308721] ppid=308716 vsize=107492 memory=66492 CPUtime=0.69 cores=0,2
/proc/308721/stat : 308721 (pbscip) R 308716 308721 308641 0 -1 4194304 13121 0 0 0 68 1 0 0 20 0 1 0 30470239 110071808 16623 134679101440 4194304 18693293 140728781993312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41820160 140728781997059 140728781997158 140728781997158 140728782004174 0
/proc/308721/statm: 26873 16623 3869 3540 0 15130 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 107492 KiB
Current children cumulated memory: 66492 KiB
[startup+1.50018 s]
/proc/loadavg: 0.12 0.11 0.17 5/258 308760
/proc/meminfo: memFree=126404156/131524600 swapFree=131056796/131071996
[pid=308721] ppid=308716 vsize=109428 memory=68604 CPUtime=1.48 cores=0,2
/proc/308721/stat : 308721 (pbscip) R 308716 308721 308641 0 -1 4194304 13614 0 0 0 147 1 0 0 20 0 1 0 30470239 112054272 17151 134679101440 4194304 18693293 140728781993312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41820160 140728781997059 140728781997158 140728781997158 140728782004174 0
/proc/308721/statm: 27357 17151 3869 3540 0 15614 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 109428 KiB
Current children cumulated memory: 68604 KiB
[startup+3.10528 s]
/proc/loadavg: 0.12 0.11 0.17 4/256 308760
/proc/meminfo: memFree=126302676/131524600 swapFree=131056796/131071996
[pid=308721] ppid=308716 vsize=111420 memory=69716 CPUtime=3.08 cores=0,2
/proc/308721/stat : 308721 (pbscip) R 308716 308721 308641 0 -1 4194304 13875 0 0 0 307 1 0 0 20 0 1 0 30470239 114094080 17429 134679101440 4194304 18693293 140728781993312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41820160 140728781997059 140728781997158 140728781997158 140728782004174 0
/proc/308721/statm: 27855 17429 3884 3540 0 16112 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 111420 KiB
Current children cumulated memory: 69716 KiB
[startup+6.30017 s]
/proc/loadavg: 0.43 0.17 0.19 4/251 308839
/proc/meminfo: memFree=126386744/131524600 swapFree=131056796/131071996
[pid=308721] ppid=308716 vsize=120344 memory=79252 CPUtime=6.27 cores=0,2
/proc/308721/stat : 308721 (pbscip) R 308716 308721 308641 0 -1 4194304 16200 0 0 0 625 2 0 0 20 0 1 0 30470239 123232256 19813 134679101440 4194304 18693293 140728781993312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41820160 140728781997059 140728781997158 140728781997158 140728782004174 0
/proc/308721/statm: 30086 19813 4023 3540 0 18343 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 120344 KiB
Current children cumulated memory: 79252 KiB
[startup+12.7001 s]
/proc/loadavg: 0.64 0.22 0.21 4/251 308839
/proc/meminfo: memFree=126377272/131524600 swapFree=131056796/131071996
[pid=308721] ppid=308716 vsize=122648 memory=81688 CPUtime=12.65 cores=0,2
/proc/308721/stat : 308721 (pbscip) R 308716 308721 308641 0 -1 4194304 17063 0 0 0 1263 2 0 0 20 0 1 0 30470239 125591552 20422 134679101440 4194304 18693293 140728781993312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41820160 140728781997059 140728781997158 140728781997158 140728782004174 0
/proc/308721/statm: 30662 20422 4039 3540 0 18919 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 122648 KiB
Current children cumulated memory: 81688 KiB
[startup+25.5002 s]
/proc/loadavg: 1.16 0.36 0.25 4/251 308842
/proc/meminfo: memFree=126333716/131524600 swapFree=131056796/131071996
[pid=308721] ppid=308716 vsize=133616 memory=91768 CPUtime=25.41 cores=0,2
/proc/308721/stat : 308721 (pbscip) R 308716 308721 308641 0 -1 4194304 19653 0 0 0 2538 3 0 0 20 0 1 0 30470239 136822784 22942 134679101440 4194304 18693293 140728781993312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41820160 140728781997059 140728781997158 140728781997158 140728782004174 0
/proc/308721/statm: 33404 22942 4039 3540 0 21661 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 133616 KiB
Current children cumulated memory: 91768 KiB
[startup+50.1687 s]
# the end of solver process 308721 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=49.9385 s, system=0.040832 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 1.16 0.36 0.25 4/251 308842
/proc/meminfo: memFree=126333716/131524600 swapFree=131056796/131071996
[pid=308721] ppid=308716 vsize=133616 memory=91768 CPUtime=25.51 cores=0,2
/proc/308721/stat : 308721 (pbscip) R 308716 308721 308641 0 -1 4194304 19653 0 0 0 2548 3 0 0 20 0 1 0 30470239 136822784 22942 134679101440 4194304 18693293 140728781993312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41820160 140728781997059 140728781997158 140728781997158 140728782004174 0
/proc/308721/statm: 33404 22942 4039 3540 0 21661 0
Current children cumulated CPU time: 25.51 s
Current children cumulated vsize: 133616 KiB
Current children cumulated memory: 91768 KiB
[startup+38.4001 s]
/proc/loadavg: 1.44 0.44 0.28 4/251 308844
/proc/meminfo: memFree=126272368/131524600 swapFree=131056796/131071996
[pid=308721] ppid=308716 vsize=138148 memory=96248 CPUtime=38.26 cores=0,2
/proc/308721/stat : 308721 (pbscip) R 308716 308721 308641 0 -1 4194304 20751 0 0 0 3823 3 0 0 20 0 1 0 30470239 141463552 24062 134679101440 4194304 18693293 140728781993312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41820160 140728781997059 140728781997158 140728781997158 140728782004174 0
/proc/308721/statm: 34537 24062 4039 3540 0 22794 0
Current children cumulated CPU time: 38.26 s
Current children cumulated vsize: 138148 KiB
Current children cumulated memory: 96248 KiB
[startup+44.8001 s]
/proc/loadavg: 1.76 0.54 0.32 4/251 308844
/proc/meminfo: memFree=126270604/131524600 swapFree=131056796/131071996
[pid=308721] ppid=308716 vsize=138540 memory=96516 CPUtime=44.63 cores=0,2
/proc/308721/stat : 308721 (pbscip) R 308716 308721 308641 0 -1 4194304 20888 0 0 0 4460 3 0 0 20 0 1 0 30470239 141864960 24129 134679101440 4194304 18693293 140728781993312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41820160 140728781997059 140728781997158 140728781997158 140728782004174 0
/proc/308721/statm: 34635 24129 4039 3540 0 22892 0
Current children cumulated CPU time: 44.63 s
Current children cumulated vsize: 138540 KiB
Current children cumulated memory: 96516 KiB
[startup+48.0001 s]*
/proc/loadavg: 1.76 0.54 0.32 4/251 308845
/proc/meminfo: memFree=126262116/131524600 swapFree=131056796/131071996
[pid=308721] ppid=308716 vsize=138540 memory=96516 CPUtime=47.81 cores=0,2
/proc/308721/stat : 308721 (pbscip) R 308716 308721 308641 0 -1 4194304 20889 0 0 0 4778 3 0 0 20 0 1 0 30470239 141864960 24129 134679101440 4194304 18693293 140728781993312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41820160 140728781997059 140728781997158 140728781997158 140728782004174 0
/proc/308721/statm: 34635 24129 4039 3540 0 22892 0
Current children cumulated CPU time: 47.81 s
Current children cumulated vsize: 138540 KiB
Current children cumulated memory: 96516 KiB
[startup+48.8001 s]
/proc/loadavg: 1.76 0.54 0.32 4/251 308845
/proc/meminfo: memFree=126262116/131524600 swapFree=131056796/131071996
[pid=308721] ppid=308716 vsize=138540 memory=96516 CPUtime=48.61 cores=0,2
/proc/308721/stat : 308721 (pbscip) R 308716 308721 308641 0 -1 4194304 20889 0 0 0 4858 3 0 0 20 0 1 0 30470239 141864960 24129 134679101440 4194304 18693293 140728781993312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41820160 140728781997059 140728781997158 140728781997158 140728782004174 0
/proc/308721/statm: 34635 24129 4039 3540 0 22892 0
Current children cumulated CPU time: 48.61 s
Current children cumulated vsize: 138540 KiB
Current children cumulated memory: 96516 KiB
[startup+49.6001 s]
/proc/loadavg: 1.86 0.59 0.33 4/251 308845
/proc/meminfo: memFree=126261444/131524600 swapFree=131056796/131071996
[pid=308721] ppid=308716 vsize=138540 memory=96516 CPUtime=49.4 cores=0,2
/proc/308721/stat : 308721 (pbscip) R 308716 308721 308641 0 -1 4194304 20890 0 0 0 4937 3 0 0 20 0 1 0 30470239 141864960 24129 134679101440 4194304 18693293 140728781993312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41820160 140728781997059 140728781997158 140728781997158 140728782004174 0
/proc/308721/statm: 34635 24129 4039 3540 0 22892 0
Current children cumulated CPU time: 49.4 s
Current children cumulated vsize: 138540 KiB
Current children cumulated memory: 96516 KiB
[startup+50.0001 s]*
/proc/loadavg: 1.86 0.59 0.33 4/251 308845
/proc/meminfo: memFree=126259988/131524600 swapFree=131056796/131071996
[pid=308721] ppid=308716 vsize=139640 memory=97304 CPUtime=49.81 cores=0,2
/proc/308721/stat : 308721 (pbscip) R 308716 308721 308641 0 -1 4194304 21081 0 0 0 4978 3 0 0 20 0 1 0 30470239 142991360 24326 134679101440 4194304 18693293 140728781993312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41820160 140728781997059 140728781997158 140728781997158 140728782004174 0
/proc/308721/statm: 34910 24326 4039 3540 0 23167 0
Current children cumulated CPU time: 49.81 s
Current children cumulated vsize: 139640 KiB
Current children cumulated memory: 97304 KiB
[startup+50.1052 s]
/proc/loadavg: 1.86 0.59 0.33 4/251 308845
/proc/meminfo: memFree=126259988/131524600 swapFree=131056796/131071996
[pid=308721] ppid=308716 vsize=139640 memory=97304 CPUtime=49.91 cores=0,2
/proc/308721/stat : 308721 (pbscip) R 308716 308721 308641 0 -1 4194304 21081 0 0 0 4988 3 0 0 20 0 1 0 30470239 142991360 24326 134679101440 4194304 18693293 140728781993312 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41820160 140728781997059 140728781997158 140728781997158 140728782004174 0
/proc/308721/statm: 34910 24326 4039 3540 0 23167 0
Current children cumulated CPU time: 49.91 s
Current children cumulated vsize: 139640 KiB
Current children cumulated memory: 97304 KiB
Child status: 0
Real time (s): 50.1688
CPU time (s): 49.9793
CPU user time (s): 49.9385
CPU system time (s): 0.040832
CPU usage (%): 99.6224
Max. virtual memory (cumulated for all children) (KiB): 139640
Max. memory (cumulated for all children) (KiB): 97304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.9385
system time used= 0.040832
maximum resident set size= 97304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21097
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 361
# summary of solver processes directly reported to runsolver:
# pid: 308721
# total CPU time (s): 49.9793
# total CPU user time (s): 49.9385
# total CPU system time (s): 0.040832
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.106316 second user time and 0.237753 second system time
The end