1.65/1.70 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4542826-1753219354.opb
1.65/1.70 c Solving mode: decision
1.65/1.70 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
1.65/1.70 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
1.65/1.70 c original problem has 421 variables (421 bin, 0 int, 0 impl, 0 cont) and 212 constraints
1.65/1.70 c presolving:
1.65/1.70 c (round 1, medium) 1 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.65/1.70 c (round 2, fast) 1 del vars, 2 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.65/1.70 c (round 3, exhaustive) 1 del vars, 107 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.65/1.70 c (0.0s) probing: 51/420 (12.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.65/1.70 c (0.0s) probing aborted: 50/50 successive totally useless probings
1.65/1.70 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.65/1.70 c (0.0s) no symmetry present (symcode time: 0.00)
1.65/1.70 c presolving (4 rounds: 4 fast, 3 medium, 2 exhaustive):
1.65/1.70 c 1 deleted vars, 107 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.65/1.70 c 0 implications, 0 cliques
1.65/1.70 c presolved problem has 420 variables (420 bin, 0 int, 0 impl, 0 cont) and 105 constraints
1.65/1.70 c 105 constraints of type <linear>
1.65/1.70 c transformed objective value is always integral (scale: 1)
1.65/1.70 c Presolving Time: 0.00
1.65/1.70 c
1.65/1.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.65/1.70 c 0.0s| 1 | 0 | 133 | - | 4419k | 0 | 420 | 141 | 105 | 0 | 0 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
1.65/1.70 c 0.0s| 1 | 0 | 260 | - | 4523k | 0 | 420 | 141 | 118 | 13 | 1 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
1.65/1.70 c 0.0s| 1 | 0 | 271 | - | 4590k | 0 | 420 | 141 | 125 | 20 | 2 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
1.65/1.70 c 0.0s| 1 | 0 | 281 | - | 5051k | 0 | 420 | 141 | 131 | 26 | 3 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
1.65/1.70 c 0.0s| 1 | 0 | 285 | - | 5166k | 0 | 420 | 141 | 133 | 28 | 4 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
1.65/1.70 c 0.0s| 1 | 0 | 288 | - | 5563k | 0 | 420 | 141 | 135 | 30 | 5 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
1.65/1.70 c 0.0s| 1 | 0 | 292 | - | 5577k | 0 | 420 | 141 | 136 | 31 | 6 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
1.65/1.70 c 0.0s| 1 | 0 | 310 | - | 6654k | 0 | 420 | 141 | 138 | 33 | 7 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
1.65/1.70 c 0.0s| 1 | 0 | 318 | - | 7424k | 0 | 420 | 141 | 140 | 35 | 8 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
1.65/1.70 c 0.0s| 1 | 0 | 320 | - | 7954k | 0 | 420 | 141 | 142 | 37 | 9 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
1.65/1.70 c 0.0s| 1 | 0 | 323 | - | 8168k | 0 | 420 | 141 | 143 | 38 | 10 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
1.65/1.70 c 0.1s| 1 | 0 | 331 | - | 8183k | 0 | 420 | 141 | 144 | 39 | 11 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
1.65/1.70 c 0.1s| 1 | 0 | 332 | - | 8198k | 0 | 420 | 141 | 145 | 40 | 12 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
1.65/1.70 c 0.1s| 1 | 0 | 334 | - | 8214k | 0 | 420 | 141 | 147 | 42 | 13 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
1.65/1.70 c 0.1s| 1 | 0 | 349 | - | 8229k | 0 | 420 | 141 | 149 | 44 | 14 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
1.65/1.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.65/1.70 c 0.1s| 1 | 0 | 350 | - | 8245k | 0 | 420 | 141 | 150 | 45 | 15 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
1.65/1.70 c 0.1s| 1 | 0 | 357 | - | 8261k | 0 | 420 | 141 | 132 | 46 | 16 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
1.65/1.70 c 0.1s| 1 | 0 | 358 | - | 8274k | 0 | 420 | 141 | 133 | 47 | 17 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
1.65/1.70 c 0.1s| 1 | 0 | 364 | - | 8274k | 0 | 420 | 141 | 134 | 48 | 18 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
1.65/1.70 c 0.1s| 1 | 0 | 365 | - | 8288k | 0 | 420 | 141 | 135 | 49 | 19 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
1.65/1.70 c 0.1s| 1 | 0 | 372 | - | 8288k | 0 | 420 | 141 | 136 | 50 | 20 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
1.65/1.70 c 0.1s| 1 | 2 | 598 | - | 8292k | 0 | 420 | 155 | 136 | 50 | 21 | 50 | 16 | 0.000000e+00 | -- | Inf | unknown
1.65/1.70 c 0.6s| 100 | 101 | 9693 | 94.2 | 9240k | 24 | 420 | 341 | 110 | 89 | 1 | 239 | 16 | 0.000000e+00 | -- | Inf | unknown
1.65/1.70 c 0.7s| 200 | 201 | 11848 | 57.7 | 9312k | 56 | 420 | 364 | 113 | 92 | 1 | 262 | 16 | 0.000000e+00 | -- | Inf | unknown
1.65/1.70 c 0.8s| 300 | 301 | 13164 | 42.8 | 9543k | 66 | 420 | 398 | 115 | 123 | 1 | 296 | 16 | 0.000000e+00 | -- | Inf | unknown
1.65/1.70 c 0.9s| 400 | 401 | 14140 | 34.5 | 9552k | 84 | 420 | 400 | 113 | 123 | 1 | 298 | 16 | 0.000000e+00 | -- | Inf | unknown
1.65/1.70 c 1.1s| 500 | 501 | 15084 | 29.5 | 9617k | 87 | 420 | 400 | 113 | 123 | 1 | 298 | 16 | 0.000000e+00 | -- | Inf | unknown
1.65/1.70 c 1.1s| 600 | 601 | 16089 | 26.2 | 9778k | 87 | 420 | 400 | 113 | 128 | 1 | 298 | 16 | 0.000000e+00 | -- | Inf | unknown
1.65/1.70 c 1.2s| 700 | 701 | 17269 | 24.2 | 9885k | 87 | 420 | 444 | 113 | 134 | 1 | 342 | 16 | 0.000000e+00 | -- | Inf | unknown
1.65/1.70 c 1.4s| 800 | 801 | 18458 | 22.6 | 9893k | 92 | 420 | 445 | 114 | 147 | 1 | 344 | 16 | 0.000000e+00 | -- | Inf | unknown
1.65/1.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.65/1.70 c 1.4s| 900 | 901 | 18786 | 20.5 | 9893k | 92 | 420 | 445 | 113 | 147 | 1 | 344 | 16 | 0.000000e+00 | -- | Inf | unknown
1.65/1.70 c 1.5s| 1000 | 1001 | 19340 | 19.0 | 10M | 92 | 420 | 449 | 117 | 154 | 3 | 348 | 16 | 0.000000e+00 | -- | Inf | unknown
1.65/1.70 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1.65/1.70 c (run 1, node 1049) performing user restart
1.65/1.70 c
1.65/1.70 c (restart) converted 7 cuts from the global cut pool into linear constraints
1.65/1.70 c
1.65/1.70 c presolving:
1.65/1.70 c (round 1, fast) 0 del vars, 5 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.65/1.70 c (round 2, exhaustive) 0 del vars, 5 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 7 upgd conss, 0 impls, 0 clqs
1.65/1.70 c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
1.65/1.70 c 0 deleted vars, 5 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.65/1.70 c 0 implications, 0 cliques
1.65/1.70 c presolved problem has 420 variables (420 bin, 0 int, 0 impl, 0 cont) and 457 constraints
1.65/1.70 c 11 constraints of type <knapsack>
1.65/1.70 c 105 constraints of type <linear>
1.65/1.70 c 341 constraints of type <logicor>
1.65/1.70 c transformed objective value is always integral (scale: 1)
1.65/1.70 c Presolving Time: 0.02
1.65/1.70 c
1.65/1.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.65/1.70 c 1.5s| 1 | 0 | 20121 | - | 10M | 0 | 420 | 478 | 112 | 0 | 0 | 375 | 16 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 1.5s| 1 | 0 | 20132 | - | 10M | 0 | 420 | 478 | 124 | 12 | 1 | 375 | 16 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 1.6s| 1 | 0 | 20135 | - | 10M | 0 | 420 | 478 | 128 | 16 | 2 | 375 | 16 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 1.6s| 1 | 0 | 20145 | - | 10M | 0 | 420 | 478 | 133 | 21 | 3 | 375 | 16 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 1.6s| 1 | 0 | 20153 | - | 10M | 0 | 420 | 478 | 139 | 27 | 4 | 375 | 16 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 1.6s| 1 | 0 | 20161 | - | 10M | 0 | 420 | 478 | 144 | 32 | 5 | 375 | 16 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 1.6s| 1 | 0 | 20164 | - | 10M | 0 | 420 | 478 | 148 | 36 | 6 | 375 | 16 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 1.6s| 1 | 0 | 20167 | - | 10M | 0 | 420 | 478 | 150 | 38 | 7 | 375 | 16 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 1.6s| 1 | 0 | 20169 | - | 10M | 0 | 420 | 478 | 153 | 41 | 8 | 375 | 16 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 1.6s| 1 | 0 | 20174 | - | 10M | 0 | 420 | 478 | 155 | 43 | 9 | 375 | 16 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 1.6s| 1 | 0 | 20178 | - | 10M | 0 | 420 | 478 | 156 | 44 | 10 | 375 | 16 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 1.6s| 1 | 0 | 20192 | - | 10M | 0 | 420 | 478 | 142 | 45 | 11 | 375 | 16 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 1.6s| 1 | 0 | 20193 | - | 10M | 0 | 420 | 478 | 143 | 46 | 12 | 375 | 16 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 1.6s| 1 | 0 | 20198 | - | 10M | 0 | 420 | 478 | 144 | 47 | 13 | 375 | 16 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 1.6s| 1 | 0 | 20207 | - | 11M | 0 | 420 | 478 | 145 | 48 | 14 | 375 | 16 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.74/3.82 c 1.6s| 1 | 0 | 20210 | - | 11M | 0 | 420 | 478 | 146 | 49 | 15 | 375 | 16 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 1.6s| 1 | 0 | 20219 | - | 11M | 0 | 420 | 478 | 147 | 50 | 16 | 375 | 16 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 1.6s| 1 | 2 | 20635 | - | 11M | 0 | 420 | 481 | 147 | 50 | 16 | 379 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 1.7s| 100 | 101 | 21067 | 17.8 | 11M | 54 | 420 | 481 | 112 | 80 | 2 | 379 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 1.7s| 200 | 201 | 21856 | 17.0 | 11M | 79 | 420 | 488 | 111 | 95 | 1 | 387 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 1.8s| 300 | 301 | 22398 | 16.2 | 11M | 79 | 420 | 500 | 111 | 95 | 1 | 399 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 1.8s| 400 | 401 | 23190 | 15.6 | 11M | 99 | 420 | 517 | 111 | 95 | 1 | 416 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 1.9s| 500 | 501 | 23457 | 14.8 | 11M | 99 | 420 | 517 | 111 | 95 | 1 | 416 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 2.0s| 600 | 601 | 23783 | 14.1 | 11M | 101 | 420 | 517 | 111 | 95 | 1 | 416 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 2.0s| 700 | 701 | 24117 | 13.5 | 11M | 105 | 420 | 517 | 111 | 95 | 1 | 416 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 2.1s| 800 | 801 | 24698 | 13.0 | 11M | 131 | 420 | 525 | 111 | 95 | 1 | 426 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 2.1s| 900 | 901 | 25081 | 12.6 | 11M | 152 | 420 | 525 | 111 | 95 | 1 | 426 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 2.2s| 1000 | 1001 | 26048 | 12.4 | 11M | 155 | 420 | 549 | 111 | 95 | 1 | 450 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 2.3s| 1100 | 1101 | 26674 | 12.1 | 11M | 155 | 420 | 554 | 111 | 105 | 1 | 455 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 2.4s| 1200 | 1201 | 27117 | 11.8 | 11M | 155 | 420 | 559 | 111 | 105 | 1 | 460 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.74/3.82 c 2.4s| 1300 | 1301 | 27655 | 11.5 | 11M | 155 | 420 | 562 | 111 | 105 | 1 | 463 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 2.4s| 1400 | 1401 | 28115 | 11.2 | 11M | 155 | 420 | 582 | 111 | 105 | 1 | 483 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 2.5s| 1500 | 1501 | 28683 | 11.0 | 11M | 155 | 420 | 609 | 111 | 105 | 1 | 511 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 2.5s| 1600 | 1601 | 29015 | 10.7 | 11M | 155 | 420 | 609 | 111 | 105 | 1 | 511 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 2.5s| 1700 | 1701 | 29677 | 10.6 | 11M | 155 | 420 | 620 | 111 | 105 | 1 | 522 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 2.6s| 1800 | 1801 | 30238 | 10.4 | 11M | 155 | 420 | 622 | 111 | 105 | 1 | 525 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 2.6s| 1900 | 1901 | 31052 | 10.3 | 12M | 155 | 420 | 632 | 111 | 105 | 1 | 537 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 2.7s| 2000 | 2001 | 31638 | 10.2 | 12M | 155 | 420 | 654 | 111 | 105 | 1 | 559 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 2.7s| 2100 | 2101 | 32104 | 10.0 | 12M | 155 | 420 | 660 | 111 | 105 | 1 | 565 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 2.7s| 2200 | 2201 | 32495 | 9.8 | 12M | 162 | 420 | 660 | 111 | 109 | 1 | 565 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 2.8s| 2300 | 2301 | 33197 | 9.7 | 12M | 162 | 420 | 665 | 110 | 118 | 1 | 571 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 2.8s| 2400 | 2401 | 34138 | 9.7 | 12M | 162 | 420 | 703 | 110 | 118 | 1 | 612 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 2.9s| 2500 | 2501 | 34593 | 9.6 | 12M | 162 | 420 | 707 | 110 | 118 | 1 | 617 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 2.9s| 2600 | 2601 | 34974 | 9.4 | 12M | 162 | 420 | 707 | 111 | 118 | 1 | 617 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 3.0s| 2700 | 2701 | 35511 | 9.3 | 12M | 165 | 420 | 708 | 111 | 123 | 1 | 619 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.74/3.82 c 3.0s| 2800 | 2799 | 36094 | 9.2 | 12M | 191 | 420 | 708 | 113 | 150 | 1 | 622 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 3.1s| 2900 | 2899 | 36672 | 9.1 | 12M | 191 | 420 | 712 | 113 | 150 | 1 | 626 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 3.1s| 3000 | 2999 | 37107 | 9.0 | 12M | 191 | 420 | 712 | 113 | 150 | 1 | 626 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 3.3s| 3100 | 3099 | 38356 | 9.1 | 13M | 191 | 420 | 733 | 113 | 150 | 1 | 648 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 3.3s| 3200 | 3199 | 39022 | 9.0 | 13M | 191 | 420 | 739 | 113 | 150 | 1 | 654 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 3.4s| 3300 | 3299 | 39342 | 8.9 | 13M | 191 | 420 | 739 | 113 | 150 | 1 | 654 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 3.4s| 3400 | 3399 | 39860 | 8.8 | 13M | 191 | 420 | 770 | 113 | 161 | 1 | 685 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 3.5s| 3500 | 3499 | 40652 | 8.8 | 13M | 191 | 420 | 800 | 113 | 161 | 1 | 715 | 19 | 0.000000e+00 | -- | Inf | unknown
3.74/3.82 c 3.6s| 3600 | 3599 | 41093 | 8.7 | 13M | 191 | 420 | 800 | 113 | 165 | 1 | 715 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 3.7s| 3700 | 3699 | 41469 | 8.6 | 13M | 191 | 420 | 800 | 112 | 169 | 1 | 715 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 3.7s| 3800 | 3799 | 42251 | 8.6 | 14M | 191 | 420 | 809 | 112 | 169 | 1 | 727 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 3.8s| 3900 | 3899 | 42978 | 8.6 | 14M | 191 | 420 | 812 | 111 | 176 | 1 | 730 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 3.9s| 4000 | 3999 | 43574 | 8.5 | 14M | 191 | 420 | 817 | 111 | 176 | 1 | 736 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 4.0s| 4100 | 4099 | 44084 | 8.4 | 14M | 191 | 420 | 823 | 111 | 176 | 1 | 742 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 4.0s| 4200 | 4199 | 44397 | 8.3 | 14M | 191 | 420 | 823 | 111 | 176 | 1 | 742 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.14/6.29 c 4.0s| 4300 | 4299 | 44898 | 8.3 | 14M | 191 | 420 | 827 | 111 | 176 | 1 | 746 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 4.1s| 4400 | 4399 | 45314 | 8.2 | 14M | 191 | 420 | 827 | 108 | 176 | 1 | 747 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 4.1s| 4500 | 4499 | 45736 | 8.1 | 14M | 191 | 420 | 828 | 111 | 202 | 1 | 748 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 4.2s| 4600 | 4599 | 46350 | 8.1 | 14M | 191 | 420 | 829 | 111 | 202 | 1 | 752 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 4.3s| 4700 | 4699 | 46867 | 8.0 | 14M | 191 | 420 | 831 | 111 | 202 | 1 | 754 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 4.3s| 4800 | 4799 | 47320 | 8.0 | 14M | 191 | 420 | 833 | 113 | 202 | 1 | 756 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 4.3s| 4900 | 4899 | 47674 | 7.9 | 14M | 191 | 420 | 833 | 110 | 206 | 1 | 756 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 4.4s| 5000 | 4999 | 48335 | 7.9 | 14M | 191 | 420 | 848 | 113 | 206 | 1 | 771 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 4.5s| 5100 | 5097 | 49365 | 7.9 | 14M | 191 | 420 | 864 | 115 | 229 | 1 | 787 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 4.5s| 5200 | 5195 | 49821 | 7.9 | 14M | 191 | 420 | 867 | 115 | 247 | 0 | 790 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 4.6s| 5300 | 5293 | 50120 | 7.8 | 14M | 191 | 420 | 867 | 111 | 251 | 1 | 791 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 4.6s| 5400 | 5393 | 50855 | 7.8 | 14M | 191 | 420 | 878 | 114 | 260 | 1 | 804 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 4.7s| 5500 | 5487 | 51402 | 7.8 | 14M | 192 | 420 | 893 | 111 | 260 | 1 | 823 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 4.7s| 5600 | 5587 | 51748 | 7.7 | 14M | 192 | 420 | 893 | 117 | 267 | 1 | 823 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 4.8s| 5700 | 5685 | 52137 | 7.6 | 14M | 192 | 420 | 898 | 116 | 279 | 1 | 828 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.14/6.29 c 4.8s| 5800 | 5785 | 53011 | 7.7 | 14M | 192 | 420 | 912 | 111 | 283 | 1 | 842 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 4.9s| 5900 | 5885 | 53606 | 7.6 | 14M | 192 | 420 | 913 | 111 | 283 | 1 | 843 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 5.1s| 6000 | 5985 | 53921 | 7.6 | 14M | 192 | 420 | 913 | 113 | 283 | 1 | 843 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 5.1s| 6100 | 6083 | 54672 | 7.6 | 15M | 192 | 420 | 914 | 116 | 298 | 1 | 845 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 5.1s| 6200 | 6183 | 55044 | 7.5 | 15M | 192 | 420 | 921 | 114 | 298 | 1 | 852 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 5.2s| 6300 | 6283 | 55827 | 7.5 | 15M | 192 | 420 | 958 | 111 | 298 | 1 | 890 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 5.2s| 6400 | 6383 | 56155 | 7.5 | 15M | 192 | 420 | 958 | 111 | 298 | 1 | 890 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 5.3s| 6500 | 6483 | 57146 | 7.5 | 15M | 192 | 420 |1001 | 111 | 298 | 1 | 937 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 5.3s| 6600 | 6581 | 57547 | 7.4 | 15M | 192 | 420 |1001 | 111 | 308 | 1 | 938 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 5.4s| 6700 | 6681 | 58485 | 7.5 | 16M | 192 | 420 |1016 | 111 | 308 | 1 | 953 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 5.4s| 6800 | 6781 | 58994 | 7.4 | 16M | 192 | 420 |1027 | 113 | 308 | 1 | 964 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 5.4s| 6900 | 6881 | 59361 | 7.4 | 16M | 192 | 420 |1027 | 111 | 308 | 1 | 964 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 5.4s| 7000 | 6977 | 59791 | 7.4 | 16M | 192 | 420 |1035 | 111 | 308 | 1 | 973 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 5.5s| 7100 | 7077 | 60575 | 7.4 | 16M | 192 | 420 |1042 | 113 | 312 | 1 | 980 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 5.5s| 7200 | 7177 | 61024 | 7.3 | 16M | 192 | 420 |1042 | 112 | 318 | 1 | 980 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.14/6.29 c 5.6s| 7300 | 7277 | 61692 | 7.3 | 16M | 192 | 420 |1044 | 110 | 318 | 1 | 983 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 5.6s| 7400 | 7377 | 62065 | 7.3 | 16M | 192 | 420 |1044 | 111 | 324 | 1 | 983 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 5.6s| 7500 | 7477 | 62864 | 7.3 | 16M | 192 | 420 |1057 | 112 | 324 | 1 | 996 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 5.7s| 7600 | 7577 | 63638 | 7.3 | 16M | 192 | 420 |1069 | 110 | 324 | 1 |1009 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 5.7s| 7700 | 7677 | 64028 | 7.3 | 16M | 192 | 420 |1073 | 113 | 324 | 1 |1013 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 5.8s| 7800 | 7777 | 64623 | 7.2 | 16M | 192 | 420 |1075 | 111 | 324 | 1 |1016 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 5.8s| 7900 | 7877 | 64998 | 7.2 | 16M | 192 | 420 |1075 | 111 | 324 | 1 |1016 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 5.8s| 8000 | 7977 | 65487 | 7.2 | 16M | 192 | 420 |1085 | 111 | 324 | 1 |1026 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 5.8s| 8100 | 8077 | 65866 | 7.1 | 16M | 192 | 420 |1085 | 111 | 324 | 1 |1026 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 5.9s| 8200 | 8177 | 66296 | 7.1 | 17M | 192 | 420 |1092 | 114 | 329 | 1 |1033 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 5.9s| 8300 | 8277 | 66919 | 7.1 | 17M | 192 | 420 |1114 | 113 | 337 | 1 |1055 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 6.0s| 8400 | 8377 | 67509 | 7.1 | 17M | 192 | 420 |1120 | 110 | 337 | 1 |1064 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 6.0s| 8500 | 8477 | 68116 | 7.1 | 17M | 192 | 420 |1124 | 111 | 342 | 1 |1068 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 6.0s| 8600 | 8577 | 68791 | 7.1 | 17M | 192 | 420 |1141 | 111 | 342 | 1 |1085 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c 6.1s| 8700 | 8677 | 69258 | 7.0 | 17M | 192 | 420 |1141 | 112 | 351 | 1 |1088 | 19 | 0.000000e+00 | -- | Inf | unknown
6.14/6.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.14/6.29 c 6.1s| 8800 | 8777 | 69841 | 7.0 | 17M | 192 | 420 |1141 | 111 | 351 | 1 |1089 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 6.1s| 8900 | 8877 | 70241 | 7.0 | 17M | 192 | 420 |1141 | 111 | 355 | 1 |1089 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 6.2s| 9000 | 8977 | 70880 | 7.0 | 17M | 192 | 420 |1145 | 112 | 355 | 1 |1094 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 6.2s| 9100 | 9077 | 71528 | 7.0 | 17M | 192 | 420 |1163 | 111 | 355 | 1 |1112 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 6.2s| 9200 | 9177 | 71899 | 7.0 | 17M | 192 | 420 |1171 | 111 | 355 | 1 |1121 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 6.3s| 9300 | 9277 | 72372 | 6.9 | 17M | 192 | 420 |1206 | 115 | 369 | 1 |1157 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 6.3s| 9400 | 9377 | 72871 | 6.9 | 17M | 192 | 420 |1205 | 111 | 383 | 1 |1158 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 6.4s| 9500 | 9477 | 73408 | 6.9 | 17M | 192 | 420 |1210 | 111 | 387 | 1 |1165 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 6.4s| 9600 | 9575 | 74006 | 6.9 | 18M | 192 | 420 |1233 | 110 | 395 | 1 |1189 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 6.4s| 9700 | 9675 | 74320 | 6.9 | 18M | 192 | 420 |1232 | 111 | 395 | 1 |1189 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 6.5s| 9800 | 9775 | 74805 | 6.8 | 18M | 192 | 420 |1237 | 111 | 395 | 1 |1195 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 6.5s| 9900 | 9873 | 75255 | 6.8 | 18M | 192 | 420 |1244 | 111 | 409 | 1 |1206 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 6.5s| 10000 | 9973 | 75757 | 6.8 | 18M | 192 | 420 |1264 | 111 | 409 | 1 |1227 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 6.6s| 10100 | 10073 | 76261 | 6.8 | 18M | 192 | 420 |1267 | 111 | 409 | 1 |1230 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 6.6s| 10200 | 10173 | 76917 | 6.8 | 18M | 192 | 420 |1268 | 113 | 409 | 1 |1235 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.23/8.31 c 6.7s| 10300 | 10273 | 77458 | 6.8 | 18M | 192 | 420 |1271 | 108 | 424 | 1 |1242 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 6.7s| 10400 | 10373 | 78189 | 6.8 | 18M | 192 | 420 |1279 | 111 | 424 | 1 |1251 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 6.7s| 10500 | 10473 | 78745 | 6.8 | 18M | 192 | 420 |1297 | 113 | 424 | 1 |1269 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 6.8s| 10600 | 10573 | 79064 | 6.7 | 18M | 192 | 420 |1296 | 111 | 424 | 1 |1269 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 6.8s| 10700 | 10673 | 79637 | 6.7 | 19M | 192 | 420 |1297 | 115 | 439 | 1 |1274 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 6.8s| 10800 | 10773 | 80164 | 6.7 | 19M | 192 | 420 |1300 | 111 | 450 | 1 |1279 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 6.9s| 10900 | 10873 | 80641 | 6.7 | 19M | 192 | 420 |1308 | 122 | 469 | 1 |1287 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 6.9s| 11000 | 10969 | 81297 | 6.7 | 19M | 192 | 420 |1311 | 110 | 477 | 1 |1293 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 7.0s| 11100 | 11069 | 81887 | 6.7 | 19M | 192 | 420 |1312 | 116 | 484 | 1 |1298 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 7.0s| 11200 | 11169 | 82296 | 6.7 | 19M | 192 | 420 |1316 | 111 | 484 | 1 |1304 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 7.0s| 11300 | 11269 | 82836 | 6.7 | 19M | 192 | 420 |1330 | 110 | 484 | 1 |1320 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 7.1s| 11400 | 11369 | 83398 | 6.7 | 19M | 192 | 420 |1360 | 115 | 491 | 1 |1351 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 7.1s| 11500 | 11467 | 83863 | 6.6 | 19M | 192 | 420 |1381 | 111 | 491 | 1 |1377 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 7.2s| 11600 | 11567 | 84719 | 6.7 | 19M | 192 | 420 |1399 | 111 | 493 | 1 |1399 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 7.2s| 11700 | 11667 | 85180 | 6.6 | 19M | 192 | 420 |1399 | 118 | 527 | 1 |1399 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.23/8.31 c 7.2s| 11800 | 11759 | 85641 | 6.6 | 19M | 194 | 420 |1402 | 113 | 542 | 1 |1407 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 7.3s| 11900 | 11859 | 86115 | 6.6 | 19M | 194 | 420 |1401 | 110 | 542 | 1 |1408 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 7.3s| 12000 | 11959 | 86940 | 6.6 | 19M | 194 | 420 |1454 | 114 | 548 | 1 |1465 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 7.4s| 12100 | 12059 | 87360 | 6.6 | 19M | 194 | 420 |1452 | 110 | 548 | 1 |1465 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 7.4s| 12200 | 12159 | 87848 | 6.6 | 19M | 194 | 420 |1453 | 111 | 554 | 1 |1471 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 7.4s| 12300 | 12259 | 88254 | 6.6 | 19M | 194 | 420 |1452 | 110 | 554 | 1 |1471 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 7.5s| 12400 | 12359 | 89244 | 6.6 | 20M | 194 | 420 |1485 | 115 | 583 | 1 |1509 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 7.5s| 12500 | 12453 | 89681 | 6.6 | 20M | 195 | 420 |1492 | 111 | 583 | 1 |1525 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 7.6s| 12600 | 12553 | 90025 | 6.6 | 20M | 195 | 420 |1491 | 113 | 592 | 1 |1525 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 7.6s| 12700 | 12653 | 90449 | 6.5 | 20M | 195 | 420 |1492 | 113 | 592 | 1 |1530 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 7.6s| 12800 | 12751 | 91083 | 6.5 | 20M | 195 | 420 |1502 | 111 | 602 | 1 |1543 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 7.7s| 12900 | 12851 | 91603 | 6.5 | 20M | 195 | 420 |1504 | 112 | 609 | 1 |1550 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 7.7s| 13000 | 12951 | 91965 | 6.5 | 20M | 195 | 420 |1500 | 111 | 609 | 1 |1550 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 7.7s| 13100 | 13051 | 92540 | 6.5 | 20M | 195 | 420 |1503 | 111 | 609 | 1 |1554 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 7.8s| 13200 | 13151 | 93113 | 6.5 | 20M | 195 | 420 |1507 | 111 | 609 | 1 |1561 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.23/8.31 c 7.8s| 13300 | 13251 | 93582 | 6.5 | 20M | 195 | 420 |1503 | 111 | 609 | 1 |1562 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 7.9s| 13400 | 13351 | 94300 | 6.5 | 20M | 195 | 420 |1523 | 112 | 609 | 1 |1587 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 7.9s| 13500 | 13451 | 94920 | 6.5 | 20M | 195 | 420 |1530 | 113 | 609 | 1 |1598 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 7.9s| 13600 | 13551 | 95224 | 6.5 | 20M | 195 | 420 |1526 | 110 | 609 | 1 |1598 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 8.0s| 13700 | 13651 | 95616 | 6.4 | 20M | 195 | 420 |1526 | 111 | 609 | 1 |1598 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 8.0s| 13800 | 13751 | 96320 | 6.4 | 20M | 195 | 420 |1521 | 111 | 609 | 1 |1603 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 8.0s| 13900 | 13851 | 96663 | 6.4 | 20M | 195 | 420 |1518 | 113 | 609 | 1 |1603 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 8.1s| 14000 | 13951 | 97397 | 6.4 | 20M | 195 | 420 |1534 | 110 | 609 | 1 |1625 | 19 | 0.000000e+00 | -- | Inf | unknown
8.23/8.31 c 8.1s| 14100 | 14051 | 97771 | 6.4 | 20M | 195 | 420 |1527 | 111 | 609 | 1 |1625 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 8.2s| 14200 | 14149 | 98196 | 6.4 | 20M | 195 | 420 |1529 | 111 | 613 | 1 |1636 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 8.2s| 14300 | 14249 | 98671 | 6.4 | 20M | 195 | 420 |1538 | 111 | 613 | 1 |1653 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 8.2s| 14400 | 14349 | 99381 | 6.4 | 20M | 195 | 420 |1545 | 114 | 617 | 1 |1664 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 8.3s| 14500 | 14447 | 99777 | 6.4 | 20M | 195 | 420 |1544 | 113 | 617 | 1 |1673 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 8.3s| 14600 | 14547 |100679 | 6.4 | 21M | 195 | 420 |1555 | 111 | 617 | 1 |1695 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 8.4s| 14700 | 14647 |101814 | 6.4 | 21M | 195 | 420 |1553 | 118 | 660 | 1 |1697 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.12/10.29 c 8.4s| 14800 | 14747 |102275 | 6.4 | 21M | 195 | 420 |1547 | 112 | 700 | 1 |1697 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 8.5s| 14900 | 14847 |102854 | 6.4 | 21M | 195 | 420 |1533 | 111 | 700 | 1 |1700 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 8.5s| 15000 | 14947 |103261 | 6.4 | 21M | 195 | 420 |1535 | 111 | 700 | 1 |1710 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 8.6s| 15100 | 15047 |103763 | 6.4 | 22M | 195 | 420 |1528 | 113 | 712 | 1 |1717 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 8.6s| 15200 | 15147 |104309 | 6.4 | 22M | 195 | 420 |1525 | 111 | 712 | 1 |1718 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 8.7s| 15300 | 15247 |104797 | 6.4 | 22M | 195 | 420 |1526 | 113 | 712 | 1 |1723 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 8.7s| 15400 | 15347 |105377 | 6.4 | 22M | 195 | 420 |1518 | 110 | 720 | 1 |1724 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 8.7s| 15500 | 15447 |105666 | 6.3 | 22M | 195 | 420 |1516 | 111 | 720 | 1 |1724 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 8.8s| 15600 | 15547 |106141 | 6.3 | 22M | 195 | 420 |1515 | 111 | 722 | 1 |1727 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 8.8s| 15700 | 15647 |106670 | 6.3 | 22M | 195 | 420 |1524 | 111 | 739 | 1 |1738 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 8.8s| 15800 | 15747 |107207 | 6.3 | 22M | 195 | 420 |1515 | 114 | 746 | 1 |1739 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 8.9s| 15900 | 15847 |107745 | 6.3 | 22M | 195 | 420 |1522 | 111 | 746 | 1 |1752 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 8.9s| 16000 | 15947 |108335 | 6.3 | 22M | 195 | 420 |1522 | 113 | 746 | 1 |1757 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 8.9s| 16100 | 16047 |108746 | 6.3 | 22M | 195 | 420 |1524 | 114 | 746 | 1 |1767 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 9.0s| 16200 | 16145 |109520 | 6.3 | 22M | 195 | 420 |1538 | 115 | 746 | 1 |1791 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.12/10.29 c 9.0s| 16300 | 16241 |109861 | 6.3 | 23M | 196 | 420 |1529 | 111 | 746 | 1 |1794 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 9.0s| 16400 | 16341 |110446 | 6.3 | 23M | 196 | 420 |1544 | 113 | 747 | 1 |1815 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 9.1s| 16500 | 16441 |110799 | 6.3 | 23M | 196 | 420 |1543 | 113 | 755 | 1 |1815 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 9.1s| 16600 | 16541 |111313 | 6.3 | 24M | 196 | 420 |1563 | 111 | 768 | 1 |1845 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 9.2s| 16700 | 16639 |111851 | 6.3 | 24M | 196 | 420 |1562 | 110 | 776 | 1 |1857 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 9.2s| 16800 | 16735 |112292 | 6.3 | 24M | 196 | 420 |1565 | 111 | 776 | 1 |1866 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 9.2s| 16900 | 16835 |112816 | 6.3 | 24M | 196 | 420 |1568 | 111 | 776 | 1 |1879 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 9.3s| 17000 | 16935 |113646 | 6.3 | 24M | 196 | 420 |1584 | 112 | 780 | 1 |1907 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 9.3s| 17100 | 17033 |114137 | 6.3 | 24M | 196 | 420 |1589 | 113 | 780 | 1 |1914 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 9.3s| 17200 | 17133 |114631 | 6.2 | 24M | 196 | 420 |1590 | 112 | 780 | 1 |1923 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 9.4s| 17300 | 17233 |115295 | 6.3 | 24M | 196 | 420 |1585 | 111 | 780 | 1 |1923 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 9.4s| 17400 | 17333 |115608 | 6.2 | 24M | 196 | 420 |1582 | 112 | 780 | 1 |1923 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 9.5s| 17500 | 17433 |116441 | 6.2 | 24M | 196 | 420 |1588 | 113 | 780 | 1 |1936 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 9.5s| 17600 | 17533 |116827 | 6.2 | 24M | 196 | 420 |1585 | 111 | 780 | 1 |1936 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 9.5s| 17700 | 17633 |117422 | 6.2 | 24M | 196 | 420 |1590 | 111 | 780 | 1 |1951 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.12/10.29 c 9.6s| 17800 | 17733 |118117 | 6.2 | 24M | 196 | 420 |1595 | 111 | 789 | 1 |1968 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 9.6s| 17900 | 17833 |118445 | 6.2 | 24M | 196 | 420 |1591 | 111 | 789 | 1 |1968 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 9.6s| 18000 | 17933 |118934 | 6.2 | 24M | 196 | 420 |1588 | 111 | 789 | 1 |1973 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 9.7s| 18100 | 18033 |119385 | 6.2 | 25M | 196 | 420 |1581 | 112 | 821 | 1 |1973 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 9.7s| 18200 | 18133 |119979 | 6.2 | 25M | 196 | 420 |1590 | 111 | 821 | 1 |1993 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 9.7s| 18300 | 18233 |120367 | 6.2 | 25M | 196 | 420 |1583 | 113 | 834 | 1 |1993 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 9.8s| 18400 | 18333 |120876 | 6.2 | 25M | 196 | 420 |1584 | 110 | 834 | 1 |1997 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 9.8s| 18500 | 18433 |121487 | 6.2 | 25M | 196 | 420 |1580 | 111 | 834 | 1 |2001 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 9.8s| 18600 | 18533 |121806 | 6.2 | 25M | 196 | 420 |1578 | 111 | 834 | 1 |2001 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 9.9s| 18700 | 18633 |122197 | 6.2 | 25M | 196 | 420 |1574 | 111 | 839 | 1 |2001 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 9.9s| 18800 | 18733 |122856 | 6.2 | 26M | 196 | 420 |1576 | 113 | 850 | 1 |2015 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 10.0s| 18900 | 18833 |123508 | 6.2 | 26M | 196 | 420 |1590 | 113 | 854 | 1 |2038 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 10.0s| 19000 | 18933 |124115 | 6.2 | 26M | 196 | 420 |1584 | 113 | 854 | 1 |2040 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 10.0s| 19100 | 19033 |124601 | 6.2 | 26M | 196 | 420 |1577 | 111 | 854 | 1 |2044 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c 10.1s| 19200 | 19133 |124944 | 6.1 | 26M | 196 | 420 |1570 | 113 | 854 | 1 |2044 | 19 | 0.000000e+00 | -- | Inf | unknown
10.12/10.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.12/10.29 c 10.1s| 19300 | 19233 |125737 | 6.1 | 26M | 196 | 420 |1573 | 113 | 854 | 1 |2057 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 10.1s| 19400 | 19333 |126326 | 6.1 | 26M | 196 | 420 |1573 | 113 | 854 | 1 |2062 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 10.2s| 19500 | 19433 |126827 | 6.1 | 26M | 196 | 420 |1577 | 112 | 854 | 1 |2072 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 10.2s| 19600 | 19533 |127163 | 6.1 | 26M | 196 | 420 |1572 | 111 | 854 | 1 |2072 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 10.2s| 19700 | 19633 |127671 | 6.1 | 26M | 196 | 420 |1569 | 111 | 869 | 1 |2075 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 10.3s| 19800 | 19733 |128019 | 6.1 | 26M | 196 | 420 |1565 | 114 | 875 | 1 |2084 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 10.3s| 19900 | 19831 |128610 | 6.1 | 26M | 196 | 420 |1564 | 111 | 875 | 1 |2090 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 10.3s| 20000 | 19925 |128942 | 6.1 | 26M | 196 | 420 |1566 | 112 | 884 | 1 |2101 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 10.4s| 20100 | 20025 |129483 | 6.1 | 26M | 196 | 420 |1560 | 111 | 884 | 1 |2102 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 10.4s| 20200 | 20125 |130155 | 6.1 | 26M | 196 | 420 |1554 | 111 | 884 | 1 |2111 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 10.5s| 20300 | 20225 |130714 | 6.1 | 26M | 196 | 420 |1548 | 113 | 888 | 1 |2112 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 10.5s| 20400 | 20321 |131116 | 6.1 | 26M | 196 | 420 |1554 | 112 | 903 | 1 |2124 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 10.6s| 20500 | 20421 |132049 | 6.1 | 26M | 196 | 420 |1546 | 111 | 903 | 1 |2128 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 10.6s| 20600 | 20521 |132463 | 6.1 | 26M | 196 | 420 |1540 | 111 | 903 | 1 |2131 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 10.6s| 20700 | 20617 |132822 | 6.1 | 26M | 196 | 420 |1539 | 111 | 910 | 1 |2137 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.21/12.30 c 10.7s| 20800 | 20717 |133477 | 6.1 | 26M | 196 | 420 |1548 | 114 | 910 | 1 |2162 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 10.7s| 20900 | 20811 |133807 | 6.1 | 26M | 196 | 420 |1539 | 111 | 910 | 1 |2165 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 10.7s| 21000 | 20911 |134379 | 6.1 | 26M | 196 | 420 |1540 | 111 | 916 | 1 |2177 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 10.8s| 21100 | 21011 |134957 | 6.1 | 26M | 196 | 420 |1539 | 116 | 926 | 1 |2181 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 10.8s| 21200 | 21111 |135414 | 6.1 | 27M | 196 | 420 |1552 | 111 | 926 | 1 |2204 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 10.9s| 21300 | 21211 |135934 | 6.1 | 27M | 196 | 420 |1556 | 113 | 926 | 1 |2210 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 10.9s| 21400 | 21311 |136467 | 6.1 | 27M | 196 | 420 |1559 | 111 | 926 | 1 |2222 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 10.9s| 21500 | 21411 |136877 | 6.0 | 27M | 196 | 420 |1553 | 111 | 926 | 1 |2223 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 11.0s| 21600 | 21511 |137230 | 6.0 | 27M | 196 | 420 |1545 | 111 | 926 | 1 |2223 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 11.0s| 21700 | 21611 |137625 | 6.0 | 27M | 196 | 420 |1548 | 111 | 932 | 1 |2234 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 11.1s| 21800 | 21711 |138307 | 6.0 | 27M | 196 | 420 |1588 | 113 | 932 | 1 |2290 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 11.1s| 21900 | 21811 |138699 | 6.0 | 27M | 196 | 420 |1578 | 113 | 932 | 1 |2290 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 11.1s| 22000 | 21911 |139373 | 6.0 | 27M | 196 | 420 |1569 | 112 | 932 | 1 |2290 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 11.2s| 22100 | 22011 |139840 | 6.0 | 27M | 196 | 420 |1572 | 111 | 932 | 1 |2303 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 11.2s| 22200 | 22111 |140163 | 6.0 | 27M | 196 | 420 |1568 | 115 | 932 | 1 |2303 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.21/12.30 c 11.2s| 22300 | 22205 |141128 | 6.0 | 27M | 196 | 420 |1570 | 111 | 938 | 1 |2324 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 11.3s| 22400 | 22305 |141494 | 6.0 | 27M | 196 | 420 |1558 | 110 | 943 | 1 |2324 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 11.4s| 22500 | 22405 |142714 | 6.0 | 27M | 196 | 420 |1588 | 111 | 943 | 1 |2366 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 11.4s| 22600 | 22505 |143244 | 6.0 | 27M | 196 | 420 |1582 | 115 | 948 | 1 |2368 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 11.4s| 22700 | 22603 |143536 | 6.0 | 27M | 196 | 420 |1581 | 111 | 948 | 1 |2370 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 11.4s| 22800 | 22703 |143849 | 6.0 | 27M | 196 | 420 |1577 | 110 | 948 | 1 |2371 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 11.5s| 22900 | 22803 |144380 | 6.0 | 28M | 196 | 420 |1574 | 111 | 958 | 1 |2383 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 11.5s| 23000 | 22903 |144994 | 6.0 | 28M | 196 | 420 |1565 | 111 | 967 | 1 |2384 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 11.6s| 23100 | 23003 |145632 | 6.0 | 28M | 196 | 420 |1565 | 113 | 993 | 1 |2392 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 11.6s| 23200 | 23103 |145971 | 6.0 | 28M | 196 | 420 |1560 | 111 | 993 | 1 |2392 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 11.6s| 23300 | 23203 |146336 | 6.0 | 28M | 196 | 420 |1553 | 114 | 997 | 1 |2394 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 11.7s| 23400 | 23303 |146667 | 6.0 | 28M | 196 | 420 |1544 | 111 | 997 | 1 |2394 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 11.7s| 23500 | 23403 |147250 | 6.0 | 28M | 196 | 420 |1531 | 111 | 997 | 1 |2396 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 11.7s| 23600 | 23503 |147849 | 6.0 | 28M | 196 | 420 |1531 | 113 |1007 | 1 |2404 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 11.8s| 23700 | 23593 |148547 | 6.0 | 28M | 196 | 420 |1540 | 112 |1010 | 1 |2427 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.21/12.30 c 11.8s| 23800 | 23693 |149134 | 6.0 | 28M | 196 | 420 |1541 | 111 |1010 | 1 |2436 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 11.9s| 23900 | 23793 |149622 | 6.0 | 28M | 196 | 420 |1543 | 110 |1010 | 1 |2447 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 11.9s| 24000 | 23893 |149968 | 6.0 | 28M | 196 | 420 |1539 | 111 |1010 | 1 |2447 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 11.9s| 24100 | 23993 |150318 | 6.0 | 28M | 196 | 420 |1530 | 111 |1010 | 1 |2447 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 12.0s| 24200 | 24081 |150923 | 6.0 | 28M | 196 | 420 |1521 | 113 |1010 | 1 |2458 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 12.0s| 24300 | 24181 |151432 | 6.0 | 29M | 196 | 420 |1510 | 111 |1016 | 1 |2461 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 12.0s| 24400 | 24281 |151832 | 5.9 | 29M | 196 | 420 |1503 | 111 |1034 | 1 |2462 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 12.1s| 24500 | 24381 |152314 | 5.9 | 29M | 196 | 420 |1495 | 111 |1034 | 1 |2463 | 19 | 0.000000e+00 | -- | Inf | unknown
12.21/12.30 c 12.1s| 24600 | 24469 |152638 | 5.9 | 29M | 198 | 420 |1482 | 110 |1034 | 1 |2469 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 12.1s| 24700 | 24569 |153203 | 5.9 | 29M | 198 | 420 |1482 | 111 |1034 | 1 |2478 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 12.2s| 24800 | 24669 |153794 | 5.9 | 29M | 198 | 420 |1486 | 112 |1034 | 1 |2487 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 12.2s| 24900 | 24769 |154309 | 5.9 | 29M | 198 | 420 |1474 | 111 |1034 | 1 |2490 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 12.3s| 25000 | 24869 |154678 | 5.9 | 30M | 198 | 420 |1474 | 111 |1034 | 1 |2495 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 12.3s| 25100 | 24967 |155322 | 5.9 | 30M | 198 | 420 |1479 | 111 |1034 | 1 |2513 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 12.3s| 25200 | 25067 |155676 | 5.9 | 30M | 198 | 420 |1471 | 111 |1034 | 1 |2513 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.10/14.25 c 12.4s| 25300 | 25167 |156309 | 5.9 | 30M | 198 | 420 |1485 | 111 |1034 | 1 |2539 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 12.4s| 25400 | 25267 |156717 | 5.9 | 30M | 198 | 420 |1483 | 113 |1034 | 1 |2544 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 12.5s| 25500 | 25367 |157661 | 5.9 | 30M | 198 | 420 |1502 | 111 |1034 | 1 |2573 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 12.5s| 25600 | 25467 |157974 | 5.9 | 30M | 198 | 420 |1496 | 111 |1034 | 1 |2573 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 12.5s| 25700 | 25567 |158686 | 5.9 | 30M | 198 | 420 |1510 | 111 |1034 | 1 |2596 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 12.6s| 25800 | 25667 |159008 | 5.9 | 30M | 198 | 420 |1505 | 111 |1034 | 1 |2596 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 12.6s| 25900 | 25767 |159391 | 5.9 | 30M | 198 | 420 |1501 | 111 |1034 | 1 |2596 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 12.6s| 26000 | 25867 |159871 | 5.9 | 30M | 198 | 420 |1514 | 111 |1034 | 1 |2616 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 12.7s| 26100 | 25967 |160444 | 5.9 | 30M | 198 | 420 |1510 | 113 |1034 | 1 |2622 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 12.7s| 26200 | 26067 |160896 | 5.9 | 30M | 198 | 420 |1504 | 111 |1034 | 1 |2632 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 12.7s| 26300 | 26167 |161263 | 5.9 | 30M | 198 | 420 |1501 | 111 |1034 | 1 |2636 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 12.8s| 26400 | 26267 |161668 | 5.9 | 30M | 198 | 420 |1499 | 111 |1034 | 1 |2642 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 12.8s| 26500 | 26363 |162195 | 5.9 | 30M | 198 | 420 |1502 | 116 |1073 | 1 |2651 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 12.9s| 26600 | 26461 |162777 | 5.9 | 30M | 198 | 420 |1514 | 113 |1077 | 1 |2671 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 12.9s| 26700 | 26561 |163559 | 5.9 | 30M | 198 | 420 |1514 | 111 |1083 | 1 |2678 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.10/14.25 c 13.0s| 26800 | 26661 |164462 | 5.9 | 30M | 198 | 420 |1507 | 111 |1083 | 1 |2688 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 13.0s| 26900 | 26761 |165003 | 5.9 | 30M | 198 | 420 |1505 | 111 |1083 | 1 |2689 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 13.0s| 27000 | 26861 |165386 | 5.9 | 30M | 198 | 420 |1496 | 112 |1083 | 1 |2689 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 13.1s| 27100 | 26961 |165957 | 5.9 | 30M | 198 | 420 |1507 | 113 |1083 | 1 |2705 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 13.1s| 27200 | 27061 |166302 | 5.9 | 30M | 198 | 420 |1501 | 112 |1083 | 1 |2705 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 13.2s| 27300 | 27161 |166949 | 5.9 | 31M | 198 | 420 |1491 | 111 |1088 | 1 |2707 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 13.2s| 27400 | 27261 |167292 | 5.9 | 31M | 198 | 420 |1488 | 111 |1088 | 1 |2707 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 13.2s| 27500 | 27361 |167992 | 5.9 | 31M | 198 | 420 |1480 | 112 |1088 | 1 |2714 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 13.3s| 27600 | 27461 |168286 | 5.9 | 31M | 198 | 420 |1472 | 111 |1088 | 1 |2714 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 13.3s| 27700 | 27561 |168632 | 5.8 | 31M | 198 | 420 |1469 | 111 |1088 | 1 |2714 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 13.3s| 27800 | 27661 |169268 | 5.8 | 31M | 198 | 420 |1464 | 111 |1088 | 1 |2716 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 13.4s| 27900 | 27761 |169931 | 5.8 | 31M | 198 | 420 |1464 | 113 |1099 | 1 |2726 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 13.4s| 28000 | 27861 |170431 | 5.8 | 31M | 198 | 420 |1473 | 113 |1099 | 1 |2743 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 13.5s| 28100 | 27961 |171081 | 5.8 | 31M | 198 | 420 |1474 | 111 |1099 | 1 |2753 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 13.5s| 28200 | 28061 |171724 | 5.9 | 31M | 198 | 420 |1486 | 113 |1099 | 1 |2769 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.10/14.25 c 13.5s| 28300 | 28161 |172214 | 5.8 | 31M | 198 | 420 |1481 | 114 |1099 | 1 |2775 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 13.6s| 28400 | 28261 |172780 | 5.8 | 31M | 198 | 420 |1478 | 111 |1099 | 1 |2787 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 13.6s| 28500 | 28361 |173130 | 5.8 | 31M | 198 | 420 |1475 | 112 |1099 | 1 |2787 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 13.6s| 28600 | 28461 |173466 | 5.8 | 31M | 198 | 420 |1464 | 110 |1099 | 1 |2787 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 13.7s| 28700 | 28561 |174155 | 5.8 | 31M | 198 | 420 |1453 | 111 |1099 | 1 |2787 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 13.7s| 28800 | 28661 |175085 | 5.8 | 31M | 198 | 420 |1450 | 111 |1099 | 1 |2803 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 13.8s| 28900 | 28761 |175657 | 5.8 | 31M | 198 | 420 |1455 | 113 |1099 | 1 |2812 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 13.8s| 29000 | 28861 |176203 | 5.8 | 31M | 198 | 420 |1450 | 111 |1099 | 1 |2816 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 13.8s| 29100 | 28961 |176711 | 5.8 | 31M | 198 | 420 |1443 | 111 |1099 | 1 |2818 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 13.9s| 29200 | 29059 |177109 | 5.8 | 31M | 198 | 420 |1439 | 111 |1099 | 1 |2824 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 13.9s| 29300 | 29159 |177479 | 5.8 | 31M | 198 | 420 |1427 | 113 |1107 | 1 |2824 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 13.9s| 29400 | 29259 |177930 | 5.8 | 31M | 198 | 420 |1422 | 111 |1107 | 1 |2834 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 14.0s| 29500 | 29359 |178295 | 5.8 | 31M | 198 | 420 |1416 | 111 |1107 | 1 |2834 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 14.0s| 29600 | 29459 |179142 | 5.8 | 31M | 198 | 420 |1405 | 111 |1107 | 1 |2849 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c 14.0s| 29700 | 29559 |179465 | 5.8 | 31M | 198 | 420 |1397 | 111 |1107 | 1 |2849 | 19 | 0.000000e+00 | -- | Inf | unknown
14.10/14.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.10/14.25 c 14.1s| 29800 | 29659 |179838 | 5.8 | 31M | 198 | 420 |1393 | 113 |1107 | 1 |2849 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c 14.1s| 29900 | 29759 |180352 | 5.8 | 31M | 198 | 420 |1385 | 112 |1107 | 1 |2850 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c 14.1s| 30000 | 29859 |180853 | 5.8 | 31M | 198 | 420 |1393 | 115 |1118 | 1 |2862 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c 14.2s| 30100 | 29957 |181711 | 5.8 | 31M | 198 | 420 |1391 | 114 |1125 | 1 |2873 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c 14.2s| 30200 | 30057 |182135 | 5.8 | 32M | 198 | 420 |1394 | 111 |1125 | 1 |2877 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c 14.3s| 30300 | 30157 |182686 | 5.8 | 32M | 198 | 420 |1394 | 111 |1136 | 1 |2883 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c 14.3s| 30400 | 30257 |183396 | 5.8 | 32M | 198 | 420 |1403 | 111 |1136 | 1 |2898 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c 14.3s| 30500 | 30357 |183937 | 5.8 | 32M | 198 | 420 |1408 | 111 |1136 | 1 |2914 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c 14.4s| 30600 | 30457 |184272 | 5.8 | 32M | 198 | 420 |1403 | 112 |1136 | 1 |2914 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c 14.4s| 30700 | 30557 |184765 | 5.8 | 32M | 198 | 420 |1410 | 111 |1136 | 1 |2925 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c 14.4s| 30800 | 30653 |185134 | 5.8 | 32M | 198 | 420 |1408 | 111 |1136 | 1 |2928 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c 14.5s| 30900 | 30753 |185614 | 5.8 | 32M | 198 | 420 |1408 | 111 |1136 | 1 |2932 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c 14.5s| 31000 | 30853 |185992 | 5.8 | 32M | 198 | 420 |1405 | 112 |1136 | 1 |2932 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c 14.5s| 31100 | 30953 |186356 | 5.8 | 32M | 198 | 420 |1394 | 113 |1136 | 1 |2932 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c 14.6s| 31200 | 31053 |187318 | 5.8 | 32M | 198 | 420 |1411 | 113 |1136 | 1 |2960 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.40/15.50 c 14.6s| 31300 | 31153 |187662 | 5.8 | 32M | 198 | 420 |1408 | 111 |1142 | 1 |2960 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c 14.6s| 31400 | 31253 |188237 | 5.8 | 32M | 198 | 420 |1400 | 112 |1142 | 1 |2962 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c 14.7s| 31500 | 31353 |188626 | 5.8 | 32M | 198 | 420 |1402 | 110 |1142 | 1 |2973 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c 14.7s| 31600 | 31447 |189095 | 5.8 | 32M | 198 | 420 |1403 | 111 |1147 | 1 |2983 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c 14.8s| 31700 | 31547 |189559 | 5.8 | 32M | 198 | 420 |1416 | 113 |1152 | 1 |3001 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c 14.8s| 31800 | 31647 |190145 | 5.8 | 32M | 198 | 420 |1416 | 113 |1158 | 1 |3015 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c 14.8s| 31900 | 31747 |190681 | 5.8 | 32M | 198 | 420 |1431 | 111 |1158 | 1 |3037 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c 14.9s| 32000 | 31847 |190987 | 5.8 | 32M | 198 | 420 |1426 | 110 |1158 | 1 |3037 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c 14.9s| 32100 | 31945 |191733 | 5.8 | 32M | 198 | 420 |1443 | 114 |1158 | 1 |3061 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c 14.9s| 32200 | 32045 |192109 | 5.8 | 32M | 198 | 420 |1437 | 114 |1158 | 1 |3061 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c 15.0s| 32300 | 32145 |192712 | 5.8 | 32M | 198 | 420 |1438 | 111 |1158 | 1 |3067 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c 15.0s| 32400 | 32245 |193086 | 5.8 | 32M | 198 | 420 |1428 | 111 |1158 | 1 |3067 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c 15.0s| 32500 | 32345 |193550 | 5.8 | 32M | 198 | 420 |1424 | 112 |1158 | 1 |3068 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c 15.1s| 32600 | 32445 |194211 | 5.8 | 32M | 198 | 420 |1417 | 111 |1158 | 1 |3072 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c 15.1s| 32700 | 32545 |194716 | 5.8 | 32M | 198 | 420 |1413 | 111 |1170 | 1 |3081 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.40/15.50 c 15.1s| 32800 | 32645 |195272 | 5.8 | 32M | 198 | 420 |1410 | 111 |1170 | 1 |3088 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c 15.2s| 32900 | 32741 |195618 | 5.7 | 33M | 198 | 420 |1408 | 110 |1176 | 1 |3098 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c 15.2s| 33000 | 32841 |195983 | 5.7 | 33M | 198 | 420 |1404 | 110 |1176 | 1 |3098 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c 15.3s| 33100 | 32941 |196773 | 5.7 | 33M | 198 | 420 |1428 | 111 |1183 | 1 |3130 | 19 | 0.000000e+00 | -- | Inf | unknown
15.40/15.50 c
15.40/15.50 c SCIP Status : problem is solved [infeasible]
15.40/15.50 c Solving Time (sec) : 15.35
15.40/15.50 c Solving Nodes : 33143 (total of 34192 nodes in 2 runs)
15.40/15.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
15.40/15.50 c Dual Bound : +1.00000000000000e+20
15.40/15.50 c Gap : 0.00 %
15.40/15.50 c SCIP found the problem to be infeasible.
15.40/15.50 s UNSATISFIABLE
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: 63708 MiB (58949 MiB free)
memory of node 1: 64465 MiB (56505 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542826-1753219354/watcher-4542826-1753219354 -o /tmp/evaluation-result-4542826-1753219354/solver-4542826-1753219354 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1753211271-184957 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4542826-1753219354.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=186032, runsolver pid=186029
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.12 4.11 4.09 5/271 186037
/proc/meminfo: memFree=118215456/131249996 swapFree=33010160/33010684
[pid=186032] ppid=186029 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/186032/stat : 186032 (scip-naps-1.00.) S 186029 186032 184945 0 -1 4194304 257 321 0 0 0 0 0 0 20 0 1 0 237613872 4292608 736 18446744073709551615 93989571493888 93989572388421 140731677891872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93989572627472 93989572675216 93989575172096 140731677899167 140731677899264 140731677899264 140731677904868 0
/proc/186032/statm: 1048 736 672 219 0 110 0
[pid=186037] ppid=186032 vsize=1186920 memory=31696 CPUtime=0.06 cores=1,3
/proc/186037/stat : 186037 (python3) R 186032 186032 184945 0 -1 4194304 3699 0 0 0 5 1 0 0 20 0 1 0 237613874 1215406080 7924 18446744073709551615 94409394044928 94409394045305 140725589264656 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94409394056600 94409394057220 94409413251072 140725589272918 140725589273120 140725589273120 140725589278695 0
/proc/186037/statm: 296730 7924 4884 1 0 268752 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1191112 KiB
Current children cumulated memory: 34640 KiB
[startup+0.205652 s]*
/proc/loadavg: 4.12 4.11 4.09 5/271 186037
/proc/meminfo: memFree=118215472/131249996 swapFree=33010160/33010684
[pid=186032] ppid=186029 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/186032/stat : 186032 (scip-naps-1.00.) S 186029 186032 184945 0 -1 4194304 257 321 0 0 0 0 0 0 20 0 1 0 237613872 4292608 736 18446744073709551615 93989571493888 93989572388421 140731677891872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93989572627472 93989572675216 93989575172096 140731677899167 140731677899264 140731677899264 140731677904868 0
/proc/186032/statm: 1048 736 672 219 0 110 0
[pid=186037] ppid=186032 vsize=1206316 memory=58832 CPUtime=0.16 cores=1,3
/proc/186037/stat : 186037 (python3) R 186032 186032 184945 0 -1 4194304 7494 0 0 0 14 2 0 0 20 0 1 0 237613874 1235267584 14708 18446744073709551615 94409394044928 94409394045305 140725589264656 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94409394056600 94409394057220 94409413251072 140725589272918 140725589273120 140725589273120 140725589278695 0
/proc/186037/statm: 301579 14708 8116 1 0 272937 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1210508 KiB
Current children cumulated memory: 61776 KiB
[startup+0.305569 s]*
/proc/loadavg: 4.12 4.11 4.09 5/271 186037
/proc/meminfo: memFree=118215472/131249996 swapFree=33010160/33010684
[pid=186032] ppid=186029 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/186032/stat : 186032 (scip-naps-1.00.) S 186029 186032 184945 0 -1 4194304 257 321 0 0 0 0 0 0 20 0 1 0 237613872 4292608 736 18446744073709551615 93989571493888 93989572388421 140731677891872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93989572627472 93989572675216 93989575172096 140731677899167 140731677899264 140731677899264 140731677904868 0
/proc/186032/statm: 1048 736 672 219 0 110 0
[pid=186037] ppid=186032 vsize=1207552 memory=60076 CPUtime=0.26 cores=1,3
/proc/186037/stat : 186037 (python3) R 186032 186032 184945 0 -1 4194304 8971 0 0 0 24 2 0 0 20 0 1 0 237613874 1236533248 15019 18446744073709551615 94409394044928 94409394045305 140725589264656 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94409394056600 94409394057220 94409413251072 140725589272918 140725589273120 140725589273120 140725589278695 0
/proc/186037/statm: 301888 15019 8116 1 0 273246 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1211744 KiB
Current children cumulated memory: 63020 KiB
[startup+0.700164 s]
/proc/loadavg: 4.12 4.11 4.09 5/271 186037
/proc/meminfo: memFree=118215472/131249996 swapFree=33010160/33010684
[pid=186032] ppid=186029 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/186032/stat : 186032 (scip-naps-1.00.) S 186029 186032 184945 0 -1 4194304 257 321 0 0 0 0 0 0 20 0 1 0 237613872 4292608 736 18446744073709551615 93989571493888 93989572388421 140731677891872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93989572627472 93989572675216 93989575172096 140731677899167 140731677899264 140731677899264 140731677904868 0
/proc/186032/statm: 1048 736 672 219 0 110 0
[pid=186037] ppid=186032 vsize=1213076 memory=65476 CPUtime=0.65 cores=1,3
/proc/186037/stat : 186037 (python3) R 186032 186032 184945 0 -1 4194304 10668 0 0 0 63 2 0 0 20 0 1 0 237613874 1242189824 16369 18446744073709551615 94409394044928 94409394045305 140725589264656 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94409394056600 94409394057220 94409413251072 140725589272918 140725589273120 140725589273120 140725589278695 0
/proc/186037/statm: 303269 16369 8116 1 0 274627 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1217268 KiB
Current children cumulated memory: 68420 KiB
[startup+1.50019 s]
/proc/loadavg: 4.12 4.11 4.09 5/271 186037
/proc/meminfo: memFree=118211376/131249996 swapFree=33010160/33010684
[pid=186032] ppid=186029 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/186032/stat : 186032 (scip-naps-1.00.) S 186029 186032 184945 0 -1 4194304 257 321 0 0 0 0 0 0 20 0 1 0 237613872 4292608 736 18446744073709551615 93989571493888 93989572388421 140731677891872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93989572627472 93989572675216 93989575172096 140731677899167 140731677899264 140731677899264 140731677904868 0
/proc/186032/statm: 1048 736 672 219 0 110 0
[pid=186037] ppid=186032 vsize=1214304 memory=66496 CPUtime=1.45 cores=1,3
/proc/186037/stat : 186037 (python3) R 186032 186032 184945 0 -1 4194304 12716 0 0 0 142 3 0 0 20 0 1 0 237613874 1243447296 16624 18446744073709551615 94409394044928 94409394045305 140725589264656 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94409394056600 94409394057220 94409413251072 140725589272918 140725589273120 140725589273120 140725589278695 0
/proc/186037/statm: 303576 16624 8116 1 0 274934 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1218496 KiB
Current children cumulated memory: 69440 KiB
[startup+3.10543 s]
/proc/loadavg: 4.19 4.12 4.10 5/271 186037
/proc/meminfo: memFree=118195560/131249996 swapFree=33010160/33010684
[pid=186032] ppid=186029 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/186032/stat : 186032 (scip-naps-1.00.) S 186029 186032 184945 0 -1 4194304 257 321 0 0 0 0 0 0 20 0 1 0 237613872 4292608 736 18446744073709551615 93989571493888 93989572388421 140731677891872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93989572627472 93989572675216 93989575172096 140731677899167 140731677899264 140731677899264 140731677904868 0
/proc/186032/statm: 1048 736 672 219 0 110 0
[pid=186037] ppid=186032 vsize=1218180 memory=70028 CPUtime=3.05 cores=1,3
/proc/186037/stat : 186037 (python3) R 186032 186032 184945 0 -1 4194304 15160 0 0 0 302 3 0 0 20 0 1 0 237613874 1247416320 17507 18446744073709551615 94409394044928 94409394045305 140725589264656 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94409394056600 94409394057220 94409413251072 140725589272918 140725589273120 140725589273120 140725589278695 0
/proc/186037/statm: 304545 17507 8116 1 0 275903 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1222372 KiB
Current children cumulated memory: 72972 KiB
[startup+6.30013 s]
/proc/loadavg: 4.19 4.12 4.10 5/271 186037
/proc/meminfo: memFree=118199392/131249996 swapFree=33010160/33010684
[pid=186032] ppid=186029 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/186032/stat : 186032 (scip-naps-1.00.) S 186029 186032 184945 0 -1 4194304 257 321 0 0 0 0 0 0 20 0 1 0 237613872 4292608 736 18446744073709551615 93989571493888 93989572388421 140731677891872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93989572627472 93989572675216 93989575172096 140731677899167 140731677899264 140731677899264 140731677904868 0
/proc/186032/statm: 1048 736 672 219 0 110 0
[pid=186037] ppid=186032 vsize=1221484 memory=74268 CPUtime=6.24 cores=1,3
/proc/186037/stat : 186037 (python3) R 186032 186032 184945 0 -1 4194304 17948 0 0 0 620 4 0 0 20 0 1 0 237613874 1250799616 18567 18446744073709551615 94409394044928 94409394045305 140725589264656 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94409394056600 94409394057220 94409413251072 140725589272918 140725589273120 140725589273120 140725589278695 0
/proc/186037/statm: 305371 18567 8116 1 0 276729 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1225676 KiB
Current children cumulated memory: 77212 KiB
[startup+12.7001 s]
/proc/loadavg: 4.16 4.12 4.09 5/271 186037
/proc/meminfo: memFree=118522704/131249996 swapFree=33010160/33010684
[pid=186032] ppid=186029 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/186032/stat : 186032 (scip-naps-1.00.) S 186029 186032 184945 0 -1 4194304 257 321 0 0 0 0 0 0 20 0 1 0 237613872 4292608 736 18446744073709551615 93989571493888 93989572388421 140731677891872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93989572627472 93989572675216 93989575172096 140731677899167 140731677899264 140731677899264 140731677904868 0
/proc/186032/statm: 1048 736 672 219 0 110 0
[pid=186037] ppid=186032 vsize=1228700 memory=81692 CPUtime=12.61 cores=1,3
/proc/186037/stat : 186037 (python3) R 186032 186032 184945 0 -1 4194304 19827 0 0 0 1257 4 0 0 20 0 1 0 237613874 1258188800 20423 18446744073709551615 94409394044928 94409394045305 140725589264656 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94409394056600 94409394057220 94409413251072 140725589272918 140725589273120 140725589273120 140725589278695 0
/proc/186037/statm: 307175 20423 8116 1 0 278533 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1232892 KiB
Current children cumulated memory: 84636 KiB
[startup+15.5254 s]
# the end of solver process 186032 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=15.3852 s, system=0.056117 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8002 s]
/proc/loadavg: 4.16 4.12 4.09 5/271 186037
/proc/meminfo: memFree=118522704/131249996 swapFree=33010160/33010684
[pid=186032] ppid=186029 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/186032/stat : 186032 (scip-naps-1.00.) S 186029 186032 184945 0 -1 4194304 257 321 0 0 0 0 0 0 20 0 1 0 237613872 4292608 736 18446744073709551615 93989571493888 93989572388421 140731677891872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93989572627472 93989572675216 93989575172096 140731677899167 140731677899264 140731677899264 140731677904868 0
/proc/186032/statm: 1048 736 672 219 0 110 0
[pid=186037] ppid=186032 vsize=1228700 memory=81692 CPUtime=12.71 cores=1,3
/proc/186037/stat : 186037 (python3) R 186032 186032 184945 0 -1 4194304 19828 0 0 0 1267 4 0 0 20 0 1 0 237613874 1258188800 20423 18446744073709551615 94409394044928 94409394045305 140725589264656 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94409394056600 94409394057220 94409413251072 140725589272918 140725589273120 140725589273120 140725589278695 0
/proc/186037/statm: 307175 20423 8116 1 0 278533 0
Current children cumulated CPU time: 12.71 s
Current children cumulated vsize: 1232892 KiB
Current children cumulated memory: 84636 KiB
[startup+14.4001 s]
/proc/loadavg: 4.16 4.12 4.09 5/271 186038
/proc/meminfo: memFree=118510552/131249996 swapFree=33010160/33010684
[pid=186032] ppid=186029 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/186032/stat : 186032 (scip-naps-1.00.) S 186029 186032 184945 0 -1 4194304 257 321 0 0 0 0 0 0 20 0 1 0 237613872 4292608 736 18446744073709551615 93989571493888 93989572388421 140731677891872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93989572627472 93989572675216 93989575172096 140731677899167 140731677899264 140731677899264 140731677904868 0
/proc/186032/statm: 1048 736 672 219 0 110 0
[pid=186037] ppid=186032 vsize=1233652 memory=85788 CPUtime=14.3 cores=1,3
/proc/186037/stat : 186037 (python3) R 186032 186032 184945 0 -1 4194304 20821 0 0 0 1426 4 0 0 20 0 1 0 237613874 1263259648 21447 18446744073709551615 94409394044928 94409394045305 140725589264656 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94409394056600 94409394057220 94409413251072 140725589272918 140725589273120 140725589273120 140725589278695 0
/proc/186037/statm: 308413 21447 8116 1 0 279771 0
Current children cumulated CPU time: 14.3 s
Current children cumulated vsize: 1237844 KiB
Current children cumulated memory: 88732 KiB
[startup+15.2002 s]
/proc/loadavg: 4.16 4.12 4.09 5/271 186038
/proc/meminfo: memFree=118510552/131249996 swapFree=33010160/33010684
[pid=186032] ppid=186029 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/186032/stat : 186032 (scip-naps-1.00.) S 186029 186032 184945 0 -1 4194304 257 321 0 0 0 0 0 0 20 0 1 0 237613872 4292608 736 18446744073709551615 93989571493888 93989572388421 140731677891872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93989572627472 93989572675216 93989575172096 140731677899167 140731677899264 140731677899264 140731677904868 0
/proc/186032/statm: 1048 736 672 219 0 110 0
[pid=186037] ppid=186032 vsize=1233652 memory=85788 CPUtime=15.1 cores=1,3
/proc/186037/stat : 186037 (python3) R 186032 186032 184945 0 -1 4194304 20832 0 0 0 1506 4 0 0 20 0 1 0 237613874 1263259648 21447 18446744073709551615 94409394044928 94409394045305 140725589264656 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94409394056600 94409394057220 94409413251072 140725589272918 140725589273120 140725589273120 140725589278695 0
/proc/186037/statm: 308413 21447 8116 1 0 279771 0
Current children cumulated CPU time: 15.1 s
Current children cumulated vsize: 1237844 KiB
Current children cumulated memory: 88732 KiB
[startup+15.4001 s]
/proc/loadavg: 4.16 4.12 4.09 5/271 186038
/proc/meminfo: memFree=118510552/131249996 swapFree=33010160/33010684
[pid=186032] ppid=186029 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/186032/stat : 186032 (scip-naps-1.00.) S 186029 186032 184945 0 -1 4194304 257 321 0 0 0 0 0 0 20 0 1 0 237613872 4292608 736 18446744073709551615 93989571493888 93989572388421 140731677891872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93989572627472 93989572675216 93989575172096 140731677899167 140731677899264 140731677899264 140731677904868 0
/proc/186032/statm: 1048 736 672 219 0 110 0
[pid=186037] ppid=186032 vsize=1233652 memory=85788 CPUtime=15.3 cores=1,3
/proc/186037/stat : 186037 (python3) R 186032 186032 184945 0 -1 4194304 20833 0 0 0 1526 4 0 0 20 0 1 0 237613874 1263259648 21447 18446744073709551615 94409394044928 94409394045305 140725589264656 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94409394056600 94409394057220 94409413251072 140725589272918 140725589273120 140725589273120 140725589278695 0
/proc/186037/statm: 308413 21447 8116 1 0 279771 0
Current children cumulated CPU time: 15.3 s
Current children cumulated vsize: 1237844 KiB
Current children cumulated memory: 88732 KiB
[startup+15.5002 s]
/proc/loadavg: 4.16 4.12 4.09 5/271 186038
/proc/meminfo: memFree=118510552/131249996 swapFree=33010160/33010684
[pid=186032] ppid=186029 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/186032/stat : 186032 (scip-naps-1.00.) S 186029 186032 184945 0 -1 4194304 257 321 0 0 0 0 0 0 20 0 1 0 237613872 4292608 736 18446744073709551615 93989571493888 93989572388421 140731677891872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93989572627472 93989572675216 93989575172096 140731677899167 140731677899264 140731677899264 140731677904868 0
/proc/186032/statm: 1048 736 672 219 0 110 0
[pid=186037] ppid=186032 vsize=1233652 memory=85788 CPUtime=15.4 cores=1,3
/proc/186037/stat : 186037 (python3) R 186032 186032 184945 0 -1 4194304 20843 0 0 0 1536 4 0 0 20 0 1 0 237613874 1263259648 21447 18446744073709551615 94409394044928 94409394045305 140725589264656 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94409394056600 94409394057220 94409413251072 140725589272918 140725589273120 140725589273120 140725589278695 0
/proc/186037/statm: 308413 21447 8116 1 0 279771 0
Current children cumulated CPU time: 15.4 s
Current children cumulated vsize: 1237844 KiB
Current children cumulated memory: 88732 KiB
Child status: 0
Real time (s): 15.5254
CPU time (s): 15.4414
CPU user time (s): 15.3852
CPU system time (s): 0.056117
CPU usage (%): 99.4587
Max. virtual memory (cumulated for all children) (KiB): 1237844
Max. memory (cumulated for all children) (KiB): 88732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.3852
system time used= 0.056117
maximum resident set size= 86300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21463
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 350
involuntary context switches= 40
# summary of solver processes directly reported to runsolver:
# pid: 186032
# total CPU time (s): 15.4414
# total CPU user time (s): 15.3852
# total CPU system time (s): 0.056117
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041298 second user time and 0.093396 second system time
The end