0.32/1.15 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4496157-1751159326.opb
0.32/1.15 c Solving mode: decision
0.32/1.15 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
0.32/1.15 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.32/1.15 c original problem has 77 variables (77 bin, 0 int, 0 impl, 0 cont) and 2 constraints
0.32/1.15 c presolving:
0.32/1.15 c (round 1, exhaustive) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 30 clqs
0.32/1.15 c (round 2, fast) 0 del vars, 1 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 30 clqs
0.32/1.15 c (round 3, fast) 0 del vars, 1 del conss, 1 add conss, 0 chg bounds, 49 chg sides, 48 chg coeffs, 0 upgd conss, 0 impls, 30 clqs
0.32/1.15 c (0.0s) probing: 51/77 (66.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.32/1.15 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.32/1.15 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.32/1.15 c (0.0s) no symmetry present (symcode time: 0.00)
0.32/1.15 c presolving (4 rounds: 4 fast, 2 medium, 2 exhaustive):
0.32/1.15 c 0 deleted vars, 1 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 49 changed sides, 48 changed coefficients
0.32/1.15 c 0 implications, 30 cliques
0.32/1.15 c presolved problem has 77 variables (77 bin, 0 int, 0 impl, 0 cont) and 2 constraints
0.32/1.15 c 2 constraints of type <linear>
0.32/1.15 c transformed objective value is always integral (scale: 1)
0.32/1.15 c Presolving Time: 0.00
0.32/1.15 c
0.32/1.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.32/1.15 c 0.0s| 1 | 0 | 4 | - | 1531k | 0 | 77 | 3 | 2 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.32/1.15 c 0.0s| 1 | 0 | 6 | - | 1553k | 0 | 77 | 3 | 3 | 1 | 1 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.32/1.15 c 0.0s| 1 | 0 | 8 | - | 1577k | 0 | 77 | 3 | 4 | 2 | 2 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.32/1.15 c 0.0s| 1 | 0 | 11 | - | 1616k | 0 | 77 | 3 | 5 | 3 | 3 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.32/1.15 c 0.0s| 1 | 0 | 12 | - | 1650k | 0 | 77 | 3 | 6 | 4 | 4 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.32/1.15 c 0.0s| 1 | 0 | 14 | - | 1685k | 0 | 77 | 3 | 7 | 5 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.32/1.15 c 0.0s| 1 | 0 | 18 | - | 1686k | 0 | 77 | 3 | 9 | 7 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.32/1.15 c 0.0s| 1 | 0 | 20 | - | 1749k | 0 | 77 | 3 | 11 | 9 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.32/1.15 c 0.0s| 1 | 0 | 26 | - | 1853k | 0 | 77 | 3 | 13 | 11 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.32/1.15 c 0.0s| 1 | 0 | 30 | - | 1881k | 0 | 77 | 3 | 15 | 13 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.32/1.15 c 0.0s| 1 | 0 | 31 | - | 1977k | 0 | 77 | 3 | 16 | 14 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.32/1.15 c 0.0s| 1 | 0 | 32 | - | 2005k | 0 | 77 | 3 | 17 | 15 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.32/1.15 c 0.0s| 1 | 0 | 36 | - | 2121k | 0 | 77 | 3 | 18 | 16 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.32/1.15 c 0.0s| 1 | 0 | 39 | - | 2170k | 0 | 77 | 3 | 20 | 18 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.32/1.15 c 0.0s| 1 | 0 | 41 | - | 2186k | 0 | 77 | 3 | 22 | 20 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.32/1.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.32/1.15 c 0.0s| 1 | 0 | 42 | - | 2188k | 0 | 77 | 3 | 20 | 21 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.32/1.15 c 0.0s| 1 | 0 | 44 | - | 2226k | 0 | 77 | 3 | 21 | 22 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.32/1.15 c 0.0s| 1 | 0 | 45 | - | 2333k | 0 | 77 | 3 | 22 | 23 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.32/1.15 c 0.0s| 1 | 0 | 48 | - | 2333k | 0 | 77 | 3 | 24 | 25 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.32/1.15 c 0.0s| 1 | 0 | 50 | - | 2365k | 0 | 77 | 3 | 25 | 26 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.32/1.15 c 0.0s| 1 | 0 | 54 | - | 2462k | 0 | 77 | 3 | 26 | 27 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.32/1.15 c 0.0s| 1 | 0 | 56 | - | 2462k | 0 | 77 | 3 | 18 | 28 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.32/1.15 c 0.0s| 1 | 0 | 58 | - | 2462k | 0 | 77 | 3 | 20 | 30 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.32/1.15 c 0.0s| 1 | 0 | 59 | - | 2462k | 0 | 77 | 3 | 21 | 31 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.32/1.15 c 0.0s| 1 | 0 | 60 | - | 2466k | 0 | 77 | 3 | 22 | 32 | 24 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.32/1.15 c 0.0s| 1 | 0 | 61 | - | 2466k | 0 | 77 | 3 | 23 | 33 | 25 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.32/1.15 c 0.0s| 1 | 0 | 62 | - | 2655k | 0 | 77 | 3 | 24 | 34 | 26 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.32/1.15 c 0.0s| 1 | 0 | 65 | - | 2655k | 0 | 77 | 3 | 17 | 35 | 27 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.32/1.15 c 0.0s| 1 | 0 | 66 | - | 2655k | 0 | 77 | 3 | 18 | 36 | 28 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.32/1.15 c 0.0s| 1 | 0 | 67 | - | 2655k | 0 | 77 | 3 | 19 | 37 | 29 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.32/1.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.32/1.15 c 0.0s| 1 | 0 | 68 | - | 2706k | 0 | 77 | 3 | 20 | 38 | 30 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.32/1.15 c 0.0s| 1 | 2 | 76 | - | 2716k | 0 | 77 | 3 | 20 | 38 | 30 | 0 | 12 | 0.000000e+00 | -- | Inf | unknown
0.32/1.15 c 0.1s| 100 | 63 | 238 | 1.7 | 2951k | 32 | 77 | 3 | 7 | 47 | 1 | 0 | 12 | 0.000000e+00 | -- | Inf | 1.23%
0.32/1.15 c 0.1s| 200 | 73 | 308 | 1.2 | 2986k | 34 | 77 | 3 | 0 | 48 | 0 | 0 | 12 | 0.000000e+00 | -- | Inf | 1.43%
0.32/1.15 c 0.1s| 300 | 105 | 424 | 1.2 | 3023k | 36 | 77 | 3 | 0 | 48 | 0 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.32/1.15 c 0.1s| 400 | 145 | 521 | 1.1 | 3023k | 38 | 77 | 3 | 0 | 48 | 0 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.32/1.15 c 0.2s| 500 | 151 | 595 | 1.1 | 3099k | 38 | 77 | 3 | 7 | 51 | 1 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.32/1.15 c 0.2s| 600 | 225 | 839 | 1.3 | 3254k | 42 | 77 | 3 | 7 | 57 | 1 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.32/1.15 c 0.2s| 700 | 269 | 958 | 1.3 | 3336k | 43 | 77 | 3 | 0 | 73 | 0 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.32/1.15 c 0.2s| 800 | 301 | 1083 | 1.3 | 3354k | 44 | 77 | 3 | 7 | 98 | 1 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.32/1.15 c 0.2s| 900 | 333 | 1193 | 1.3 | 3355k | 45 | 77 | 3 | 7 | 125 | 1 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.91/1.75 c 0.2s| 1000 | 361 | 1294 | 1.2 | 3424k | 45 | 77 | 3 | 0 | 132 | 0 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.91/1.75 c 0.3s| 1100 | 385 | 1399 | 1.2 | 3438k | 45 | 77 | 3 | 9 | 152 | 1 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.91/1.75 c 0.3s| 1200 | 401 | 1516 | 1.2 | 3548k | 45 | 77 | 3 | 9 | 177 | 1 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.91/1.75 c 0.3s| 1300 | 419 | 1612 | 1.2 | 3548k | 45 | 77 | 3 | 0 | 199 | 0 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.91/1.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.91/1.75 c 0.3s| 1400 | 439 | 1710 | 1.2 | 3577k | 45 | 77 | 3 | 7 | 219 | 1 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.91/1.75 c 0.3s| 1500 | 481 | 1869 | 1.2 | 3592k | 45 | 77 | 3 | 7 | 249 | 1 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.91/1.75 c 0.3s| 1600 | 495 | 1987 | 1.2 | 3688k | 45 | 77 | 3 | 7 | 285 | 1 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.91/1.75 c 0.4s| 1700 | 515 | 2073 | 1.2 | 3688k | 45 | 77 | 3 | 8 | 299 | 1 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.91/1.75 c 0.4s| 1800 | 555 | 2155 | 1.2 | 3833k | 45 | 77 | 3 | 7 | 299 | 1 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.91/1.75 c 0.4s| 1900 | 583 | 2241 | 1.1 | 3836k | 45 | 77 | 3 | 7 | 301 | 1 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.91/1.75 c 0.4s| 2000 | 593 | 2325 | 1.1 | 3836k | 45 | 77 | 3 | 7 | 314 | 1 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.91/1.75 c 0.4s| 2100 | 607 | 2399 | 1.1 | 3836k | 45 | 77 | 3 | 0 | 317 | 0 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.91/1.75 c 0.4s| 2200 | 637 | 2538 | 1.1 | 4111k | 45 | 77 | 3 | 7 | 349 | 1 | 1 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.91/1.75 c 0.4s| 2300 | 687 | 2683 | 1.1 | 4114k | 45 | 77 | 3 | 7 | 395 | 1 | 1 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.91/1.75 c 0.5s| 2400 | 725 | 2865 | 1.2 | 4252k | 45 | 77 | 3 | 7 | 450 | 1 | 1 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.91/1.75 c 0.5s| 2500 | 731 | 2953 | 1.2 | 4252k | 45 | 77 | 3 | 6 | 462 | 1 | 1 | 12 | 0.000000e+00 | -- | Inf | 3.19%
0.91/1.75 c 0.5s| 2600 | 731 | 3003 | 1.1 | 4283k | 45 | 77 | 3 | 6 | 462 | 1 | 1 | 12 | 0.000000e+00 | -- | Inf | 3.19%
0.91/1.75 c 0.5s| 2700 | 753 | 3129 | 1.1 | 4284k | 45 | 77 | 3 | 6 | 497 | 1 | 1 | 12 | 0.000000e+00 | -- | Inf | 3.19%
0.91/1.75 c 0.5s| 2800 | 769 | 3208 | 1.1 | 4286k | 45 | 77 | 3 | 0 | 500 | 0 | 1 | 12 | 0.000000e+00 | -- | Inf | 3.20%
0.91/1.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.91/1.75 c 0.5s| 2900 | 779 | 3265 | 1.1 | 4286k | 45 | 77 | 3 | 7 | 500 | 1 | 1 | 12 | 0.000000e+00 | -- | Inf | 3.20%
0.91/1.75 c 0.5s| 3000 | 791 | 3324 | 1.1 | 4286k | 46 | 77 | 3 | 0 | 500 | 0 | 1 | 12 | 0.000000e+00 | -- | Inf | 3.20%
0.91/1.75 c 0.5s| 3100 | 805 | 3439 | 1.1 | 4286k | 46 | 77 | 3 | 6 | 526 | 1 | 1 | 12 | 0.000000e+00 | -- | Inf | 3.20%
0.91/1.75 c 0.5s| 3200 | 823 | 3520 | 1.1 | 4288k | 46 | 77 | 3 | 6 | 528 | 1 | 1 | 12 | 0.000000e+00 | -- | Inf | 3.20%
0.91/1.75 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
0.91/1.75 c (run 1, node 3248) performing user restart
0.91/1.75 c
0.91/1.75 c (restart) converted 3 cuts from the global cut pool into linear constraints
0.91/1.75 c
0.91/1.75 c presolving:
0.91/1.75 c (round 1, fast) 0 del vars, 0 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 33 clqs
0.91/1.75 c (round 2, fast) 0 del vars, 0 del conss, 1 add conss, 0 chg bounds, 5 chg sides, 5 chg coeffs, 0 upgd conss, 0 impls, 33 clqs
0.91/1.75 c (round 3, exhaustive) 0 del vars, 0 del conss, 1 add conss, 0 chg bounds, 5 chg sides, 5 chg coeffs, 2 upgd conss, 0 impls, 33 clqs
0.91/1.75 c presolving (4 rounds: 4 fast, 2 medium, 2 exhaustive):
0.91/1.75 c 0 deleted vars, 0 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 5 changed sides, 5 changed coefficients
0.91/1.75 c 0 implications, 33 cliques
0.91/1.75 c presolved problem has 77 variables (77 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.91/1.75 c 4 constraints of type <linear>
0.91/1.75 c 3 constraints of type <logicor>
0.91/1.75 c transformed objective value is always integral (scale: 1)
0.91/1.75 c Presolving Time: 0.00
0.91/1.75 c
0.91/1.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.91/1.75 c 0.6s| 1 | 0 | 3571 | - | 4301k | 0 | 77 | 7 | 6 | 0 | 0 | 1 | 12 | 0.000000e+00 | -- | Inf | unknown
0.91/1.75 c 0.6s| 1 | 0 | 3573 | - | 4317k | 0 | 77 | 7 | 7 | 1 | 1 | 1 | 12 | 0.000000e+00 | -- | Inf | unknown
0.91/1.75 c 0.6s| 1 | 0 | 3574 | - | 4317k | 0 | 77 | 7 | 8 | 2 | 2 | 1 | 12 | 0.000000e+00 | -- | Inf | unknown
0.91/1.75 c 0.6s| 1 | 0 | 3575 | - | 4317k | 0 | 77 | 7 | 9 | 3 | 3 | 1 | 12 | 0.000000e+00 | -- | Inf | unknown
0.91/1.75 c 0.6s| 1 | 0 | 3576 | - | 4317k | 0 | 77 | 7 | 10 | 4 | 4 | 1 | 12 | 0.000000e+00 | -- | Inf | unknown
0.91/1.75 c 0.6s| 1 | 0 | 3577 | - | 4317k | 0 | 77 | 7 | 11 | 5 | 5 | 1 | 12 | 0.000000e+00 | -- | Inf | unknown
0.91/1.75 c 0.6s| 1 | 0 | 3578 | - | 4317k | 0 | 77 | 7 | 12 | 6 | 6 | 1 | 12 | 0.000000e+00 | -- | Inf | unknown
0.91/1.75 c 0.6s| 1 | 0 | 3580 | - | 4319k | 0 | 77 | 7 | 14 | 8 | 7 | 1 | 12 | 0.000000e+00 | -- | Inf | unknown
0.91/1.75 c 0.6s| 1 | 0 | 3582 | - | 4320k | 0 | 77 | 7 | 16 | 10 | 8 | 1 | 12 | 0.000000e+00 | -- | Inf | unknown
0.91/1.75 c 0.6s| 1 | 0 | 3583 | - | 4320k | 0 | 77 | 7 | 17 | 11 | 9 | 1 | 12 | 0.000000e+00 | -- | Inf | unknown
0.91/1.75 c 0.6s| 1 | 0 | 3586 | - | 4320k | 0 | 77 | 7 | 19 | 13 | 10 | 1 | 12 | 0.000000e+00 | -- | Inf | unknown
0.91/1.75 c 0.6s| 1 | 0 | 3588 | - | 4322k | 0 | 77 | 7 | 21 | 15 | 11 | 1 | 12 | 0.000000e+00 | -- | Inf | unknown
0.91/1.75 c 0.6s| 1 | 2 | 3635 | - | 4322k | 0 | 77 | 7 | 21 | 15 | 11 | 1 | 14 | 0.000000e+00 | -- | Inf | unknown
0.91/1.75 c 0.6s| 100 | 57 | 3777 | 1.1 | 4348k | 22 | 77 | 7 | 3 | 29 | 1 | 1 | 14 | 0.000000e+00 | -- | Inf | 10.39%
0.91/1.75 c 0.7s| 200 | 119 | 4091 | 1.2 | 4354k | 25 | 77 | 7 | 3 | 47 | 1 | 1 | 14 | 0.000000e+00 | -- | Inf | 10.87%
0.91/1.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.91/1.75 c 0.7s| 300 | 177 | 4218 | 1.2 | 4354k | 38 | 77 | 7 | 3 | 47 | 1 | 1 | 14 | 0.000000e+00 | -- | Inf | 10.88%
0.91/1.75 c 0.7s| 400 | 193 | 4322 | 1.2 | 4355k | 38 | 77 | 7 | 3 | 56 | 1 | 1 | 14 | 0.000000e+00 | -- | Inf | 12.83%
0.91/1.75 c 0.7s| 500 | 207 | 4391 | 1.1 | 4358k | 38 | 77 | 7 | 4 | 58 | 1 | 1 | 14 | 0.000000e+00 | -- | Inf | 13.09%
0.91/1.75 c 0.7s| 600 | 217 | 4454 | 1.1 | 4358k | 38 | 77 | 7 | 4 | 58 | 1 | 1 | 14 | 0.000000e+00 | -- | Inf | 13.11%
0.91/1.75 c 0.8s| 700 | 233 | 4529 | 1.1 | 4358k | 38 | 77 | 8 | 4 | 59 | 1 | 2 | 14 | 0.000000e+00 | -- | Inf | 13.12%
0.91/1.75 c 0.8s| 800 | 245 | 4599 | 1.1 | 4361k | 38 | 77 | 9 | 4 | 60 | 1 | 3 | 14 | 0.000000e+00 | -- | Inf | 13.14%
1.41/2.28 c 0.8s| 900 | 261 | 4665 | 1.1 | 4361k | 38 | 77 | 9 | 4 | 60 | 1 | 3 | 14 | 0.000000e+00 | -- | Inf | 13.14%
1.41/2.28 c 0.9s| 1000 | 267 | 4725 | 1.1 | 4365k | 38 | 77 | 9 | 4 | 63 | 1 | 3 | 14 | 0.000000e+00 | -- | Inf | 14.61%
1.41/2.28 c 0.9s| 1100 | 275 | 4823 | 1.1 | 4370k | 38 | 77 | 10 | 0 | 73 | 0 | 4 | 14 | 0.000000e+00 | -- | Inf | 15.45%
1.41/2.28 c 0.9s| 1200 | 281 | 4902 | 1.1 | 4382k | 38 | 77 | 11 | 0 | 77 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 17.02%
1.41/2.28 c 0.9s| 1300 | 295 | 4968 | 1.1 | 4390k | 38 | 77 | 11 | 4 | 81 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 17.17%
1.41/2.28 c 1.0s| 1400 | 297 | 5023 | 1.1 | 4390k | 38 | 77 | 11 | 0 | 81 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 17.20%
1.41/2.28 c 1.0s| 1500 | 295 | 5085 | 1.1 | 4390k | 38 | 77 | 11 | 0 | 85 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 17.33%
1.41/2.28 c 1.0s| 1600 | 303 | 5140 | 1.0 | 4390k | 38 | 77 | 11 | 0 | 85 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 17.34%
1.41/2.28 c 1.0s| 1700 | 305 | 5206 | 1.0 | 4390k | 38 | 77 | 11 | 4 | 89 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 20.56%
1.41/2.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.41/2.28 c 1.0s| 1800 | 315 | 5291 | 1.0 | 4404k | 38 | 77 | 11 | 0 | 97 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.15%
1.41/2.28 c 1.0s| 1900 | 341 | 5379 | 1.0 | 4404k | 38 | 77 | 11 | 4 | 102 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.38%
1.41/2.28 c 1.0s| 2000 | 347 | 5443 | 1.0 | 4404k | 38 | 77 | 11 | 4 | 104 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.47%
1.41/2.28 c 1.0s| 2100 | 359 | 5510 | 1.0 | 4411k | 38 | 77 | 11 | 0 | 104 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.48%
1.41/2.28 c 1.0s| 2200 | 367 | 5570 | 1.0 | 4411k | 38 | 77 | 11 | 0 | 105 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.48%
1.41/2.28 c 1.0s| 2300 | 371 | 5622 | 1.0 | 4411k | 38 | 77 | 11 | 0 | 105 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.48%
1.41/2.28 c 1.0s| 2400 | 377 | 5685 | 1.0 | 4411k | 38 | 77 | 11 | 0 | 109 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.64%
1.41/2.28 c 1.0s| 2500 | 393 | 5758 | 1.0 | 4444k | 38 | 77 | 11 | 0 | 109 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.65%
1.41/2.28 c 1.1s| 2600 | 417 | 5837 | 1.0 | 4444k | 38 | 77 | 11 | 4 | 109 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.65%
1.41/2.28 c 1.1s| 2700 | 435 | 5907 | 1.0 | 4444k | 38 | 77 | 11 | 4 | 109 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.65%
1.41/2.28 c 1.1s| 2800 | 445 | 5969 | 1.0 | 4451k | 38 | 77 | 11 | 4 | 111 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.70%
1.41/2.28 c 1.1s| 2900 | 453 | 6024 | 1.0 | 4451k | 38 | 77 | 11 | 4 | 111 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.70%
1.41/2.28 c 1.1s| 3000 | 465 | 6086 | 1.0 | 4451k | 38 | 77 | 11 | 4 | 111 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.70%
1.41/2.28 c 1.1s| 3100 | 473 | 6141 | 1.0 | 4451k | 38 | 77 | 11 | 4 | 111 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.70%
1.41/2.28 c 1.1s| 3200 | 471 | 6197 | 0.9 | 4451k | 38 | 77 | 11 | 0 | 111 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.70%
1.41/2.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.41/2.28 c 1.1s| 3300 | 479 | 6254 | 0.9 | 4451k | 38 | 77 | 11 | 0 | 111 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.70%
1.41/2.28 c 1.1s| 3400 | 491 | 6324 | 0.9 | 4451k | 38 | 77 | 11 | 0 | 111 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.70%
1.41/2.28 c 1.1s| 3500 | 491 | 6377 | 0.9 | 4451k | 38 | 77 | 11 | 4 | 111 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.70%
1.41/2.28 c 1.1s| 3600 | 511 | 6444 | 0.9 | 4451k | 38 | 77 | 11 | 4 | 111 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.70%
1.41/2.28 c 1.2s| 3700 | 517 | 6500 | 0.9 | 4451k | 38 | 77 | 11 | 0 | 113 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.90%
1.41/2.28 c 1.2s| 3800 | 535 | 6569 | 0.9 | 4451k | 38 | 77 | 11 | 4 | 115 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.92%
1.41/2.28 c 1.2s| 3900 | 569 | 6654 | 0.9 | 4459k | 38 | 77 | 11 | 4 | 115 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.92%
1.41/2.28 c 1.2s| 4000 | 567 | 6703 | 0.9 | 4459k | 38 | 77 | 11 | 4 | 115 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.92%
1.41/2.28 c 1.2s| 4100 | 573 | 6764 | 0.9 | 4459k | 38 | 77 | 11 | 3 | 115 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.97%
1.41/2.28 c 1.2s| 4200 | 577 | 6826 | 0.9 | 4459k | 38 | 77 | 11 | 0 | 115 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 22.01%
1.41/2.28 c 1.2s| 4300 | 569 | 6874 | 0.9 | 4459k | 38 | 77 | 11 | 4 | 115 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 22.05%
1.41/2.28 c 1.2s| 4400 | 573 | 6952 | 0.9 | 4459k | 38 | 77 | 11 | 0 | 123 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 23.54%
1.41/2.28 c 1.2s| 4500 | 573 | 7007 | 0.9 | 4459k | 38 | 77 | 11 | 4 | 123 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 23.57%
1.41/2.28 c 1.2s| 4600 | 579 | 7067 | 0.9 | 4464k | 38 | 77 | 11 | 2 | 123 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 24.75%
1.41/2.28 c 1.2s| 4700 | 595 | 7151 | 0.9 | 4468k | 38 | 77 | 11 | 5 | 139 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 27.09%
1.41/2.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.41/2.28 c 1.3s| 4800 | 627 | 7265 | 0.9 | 4476k | 38 | 77 | 11 | 0 | 152 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 27.27%
1.41/2.28 c 1.3s| 4900 | 635 | 7322 | 0.9 | 4481k | 38 | 77 | 11 | 4 | 154 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 27.33%
1.41/2.28 c 1.3s| 5000 | 645 | 7393 | 0.9 | 4481k | 38 | 77 | 11 | 4 | 160 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 27.47%
1.41/2.28 c 1.3s| 5100 | 655 | 7449 | 0.9 | 4494k | 38 | 77 | 11 | 0 | 160 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 27.52%
1.41/2.28 c 1.3s| 5200 | 667 | 7515 | 0.9 | 4494k | 38 | 77 | 11 | 4 | 164 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 27.59%
1.41/2.28 c 1.3s| 5300 | 687 | 7599 | 0.9 | 4494k | 38 | 77 | 11 | 4 | 166 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 27.61%
1.41/2.28 c 1.3s| 5400 | 737 | 7749 | 0.9 | 4496k | 38 | 77 | 11 | 4 | 166 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 27.62%
1.41/2.28 c 1.3s| 5500 | 775 | 7862 | 0.9 | 4496k | 39 | 77 | 11 | 4 | 166 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 27.62%
1.41/2.28 c 1.3s| 5600 | 789 | 7957 | 0.9 | 4496k | 39 | 77 | 11 | 0 | 166 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 27.62%
1.41/2.28 c 1.3s| 5700 | 805 | 8025 | 0.9 | 4496k | 39 | 77 | 12 | 0 | 166 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.63%
1.41/2.28 c 1.3s| 5800 | 809 | 8097 | 0.9 | 4496k | 39 | 77 | 12 | 0 | 166 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.66%
1.41/2.28 c 1.3s| 5900 | 827 | 8181 | 0.9 | 4496k | 39 | 77 | 12 | 5 | 171 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.67%
1.41/2.28 c 1.4s| 6000 | 835 | 8241 | 0.9 | 4496k | 39 | 77 | 12 | 0 | 171 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.68%
1.41/2.28 c 1.4s| 6100 | 839 | 8296 | 0.9 | 4496k | 39 | 77 | 12 | 4 | 171 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.69%
1.91/2.76 c 1.4s| 6200 | 859 | 8368 | 0.9 | 4499k | 39 | 77 | 12 | 4 | 171 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.69%
1.91/2.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.91/2.76 c 1.4s| 6300 | 875 | 8437 | 0.9 | 4499k | 42 | 77 | 12 | 0 | 177 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.69%
1.91/2.76 c 1.4s| 6400 | 879 | 8495 | 0.9 | 4499k | 42 | 77 | 12 | 0 | 179 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.69%
1.91/2.76 c 1.4s| 6500 | 895 | 8555 | 0.9 | 4499k | 42 | 77 | 12 | 0 | 179 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.69%
1.91/2.76 c 1.4s| 6600 | 903 | 8611 | 0.9 | 4513k | 42 | 77 | 12 | 0 | 180 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.69%
1.91/2.76 c 1.4s| 6700 | 917 | 8670 | 0.9 | 4513k | 42 | 77 | 12 | 4 | 182 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.69%
1.91/2.76 c 1.4s| 6800 | 919 | 8745 | 0.9 | 4513k | 42 | 77 | 12 | 4 | 192 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.69%
1.91/2.76 c 1.4s| 6900 | 925 | 8806 | 0.9 | 4513k | 43 | 77 | 12 | 5 | 196 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.69%
1.91/2.76 c 1.4s| 7000 | 925 | 8867 | 0.9 | 4771k | 43 | 77 | 12 | 0 | 203 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.69%
1.91/2.76 c 1.5s| 7100 | 931 | 8929 | 0.9 | 4771k | 43 | 77 | 12 | 4 | 211 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.69%
1.91/2.76 c 1.5s| 7200 | 935 | 8993 | 0.9 | 4845k | 43 | 77 | 12 | 4 | 221 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.69%
1.91/2.76 c 1.5s| 7300 | 939 | 9056 | 0.9 | 4845k | 43 | 77 | 12 | 0 | 227 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.70%
1.91/2.76 c 1.5s| 7400 | 947 | 9110 | 0.8 | 4845k | 43 | 77 | 12 | 4 | 227 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.70%
1.91/2.76 c 1.5s| 7500 | 957 | 9165 | 0.8 | 4845k | 43 | 77 | 12 | 0 | 227 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.70%
1.91/2.76 c 1.5s| 7600 | 967 | 9220 | 0.8 | 4845k | 43 | 77 | 12 | 4 | 227 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.70%
1.91/2.76 c 1.5s| 7700 | 973 | 9273 | 0.8 | 4845k | 43 | 77 | 12 | 4 | 227 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.70%
1.91/2.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.91/2.76 c 1.5s| 7800 | 971 | 9322 | 0.8 | 4845k | 43 | 77 | 12 | 0 | 227 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.70%
1.91/2.76 c 1.5s| 7900 | 987 | 9395 | 0.8 | 4849k | 43 | 77 | 12 | 0 | 233 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.70%
1.91/2.76 c 1.5s| 8000 | 991 | 9470 | 0.8 | 5108k | 43 | 77 | 12 | 0 | 243 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.70%
1.91/2.76 c 1.5s| 8100 | 991 | 9548 | 0.8 | 5108k | 46 | 77 | 12 | 4 | 255 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.70%
1.91/2.76 c 1.5s| 8200 | 995 | 9619 | 0.8 | 5108k | 46 | 77 | 12 | 0 | 271 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.70%
1.91/2.76 c 1.6s| 8300 | 993 | 9679 | 0.8 | 5108k | 46 | 77 | 12 | 4 | 281 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.70%
1.91/2.76 c 1.6s| 8400 | 995 | 9758 | 0.8 | 5115k | 46 | 77 | 12 | 4 | 299 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.70%
1.91/2.76 c 1.6s| 8500 | 1007 | 9826 | 0.8 | 5170k | 46 | 77 | 12 | 4 | 306 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.70%
1.91/2.76 c 1.6s| 8600 | 1009 | 9912 | 0.8 | 5396k | 46 | 77 | 12 | 4 | 328 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.70%
1.91/2.76 c 1.6s| 8700 | 1009 | 9974 | 0.8 | 5463k | 46 | 77 | 12 | 4 | 338 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.71%
1.91/2.76 c 1.6s| 8800 | 1005 | 10043 | 0.8 | 5473k | 46 | 77 | 12 | 4 | 354 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.71%
1.91/2.76 c 1.6s| 8900 | 1001 | 10099 | 0.8 | 5473k | 46 | 77 | 12 | 4 | 359 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.71%
1.91/2.76 c 1.6s| 9000 | 1005 | 10152 | 0.8 | 5482k | 46 | 77 | 12 | 0 | 359 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.71%
1.91/2.76 c 1.6s| 9100 | 1017 | 10211 | 0.8 | 5482k | 46 | 77 | 12 | 4 | 359 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
1.91/2.76 c 1.7s| 9200 | 1031 | 10268 | 0.8 | 5482k | 46 | 77 | 12 | 4 | 359 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
1.91/2.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.91/2.76 c 1.7s| 9300 | 1037 | 10321 | 0.8 | 5482k | 46 | 77 | 12 | 0 | 359 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
1.91/2.76 c 1.7s| 9400 | 1047 | 10377 | 0.8 | 5491k | 46 | 77 | 12 | 0 | 359 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
1.91/2.76 c 1.7s| 9500 | 1057 | 10433 | 0.8 | 5491k | 46 | 77 | 12 | 4 | 359 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
1.91/2.76 c 1.7s| 9600 | 1063 | 10486 | 0.8 | 5491k | 46 | 77 | 12 | 4 | 359 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
1.91/2.76 c 1.7s| 9700 | 1067 | 10538 | 0.8 | 5505k | 46 | 77 | 12 | 4 | 359 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
1.91/2.76 c 1.7s| 9800 | 1091 | 10626 | 0.8 | 5505k | 46 | 77 | 12 | 0 | 359 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
1.91/2.76 c 1.7s| 9900 | 1093 | 10677 | 0.8 | 5505k | 46 | 77 | 12 | 4 | 359 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
1.91/2.76 c 1.7s| 10000 | 1099 | 10734 | 0.8 | 5505k | 46 | 77 | 12 | 0 | 359 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
1.91/2.76 c 1.7s| 10100 | 1109 | 10789 | 0.8 | 5505k | 46 | 77 | 12 | 4 | 359 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
1.91/2.76 c 1.7s| 10200 | 1113 | 10841 | 0.8 | 5505k | 46 | 77 | 12 | 4 | 359 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
1.91/2.76 c 1.7s| 10300 | 1119 | 10900 | 0.8 | 5505k | 46 | 77 | 12 | 6 | 365 | 2 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
1.91/2.76 c 1.8s| 10400 | 1131 | 10958 | 0.8 | 5505k | 46 | 77 | 12 | 4 | 367 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
1.91/2.76 c 1.8s| 10500 | 1127 | 11019 | 0.8 | 5505k | 46 | 77 | 12 | 4 | 377 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
1.91/2.76 c 1.8s| 10600 | 1123 | 11073 | 0.8 | 5505k | 46 | 77 | 12 | 6 | 381 | 2 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
1.91/2.76 c 1.8s| 10700 | 1131 | 11131 | 0.8 | 5570k | 46 | 77 | 12 | 4 | 385 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
1.91/2.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.91/2.76 c 1.8s| 10800 | 1141 | 11216 | 0.8 | 5574k | 46 | 77 | 12 | 4 | 402 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
1.91/2.76 c 1.8s| 10900 | 1141 | 11302 | 0.8 | 5581k | 46 | 77 | 12 | 6 | 421 | 2 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
1.91/2.76 c 1.8s| 11000 | 1147 | 11356 | 0.8 | 5581k | 46 | 77 | 12 | 0 | 421 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.73%
1.91/2.76 c 1.8s| 11100 | 1153 | 11409 | 0.8 | 5581k | 46 | 77 | 12 | 0 | 421 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.73%
1.91/2.76 c 1.8s| 11200 | 1159 | 11490 | 0.8 | 5581k | 46 | 77 | 12 | 4 | 436 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.73%
1.91/2.76 c 1.8s| 11300 | 1163 | 11542 | 0.8 | 5581k | 46 | 77 | 12 | 4 | 436 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.73%
2.41/3.20 c 1.9s| 11400 | 1167 | 11596 | 0.8 | 5581k | 46 | 77 | 12 | 0 | 436 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.75%
2.41/3.20 c 1.9s| 11500 | 1181 | 11659 | 0.8 | 5581k | 46 | 77 | 12 | 4 | 438 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.94%
2.41/3.20 c 1.9s| 11600 | 1189 | 11723 | 0.8 | 5581k | 46 | 77 | 12 | 0 | 446 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.94%
2.41/3.20 c 1.9s| 11700 | 1195 | 11780 | 0.8 | 5581k | 46 | 77 | 12 | 5 | 447 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.07%
2.41/3.20 c 1.9s| 11800 | 1193 | 11829 | 0.8 | 5581k | 46 | 77 | 12 | 0 | 447 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.07%
2.41/3.20 c 1.9s| 11900 | 1197 | 11900 | 0.8 | 5581k | 46 | 77 | 12 | 0 | 454 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.07%
2.41/3.20 c 1.9s| 12000 | 1197 | 11953 | 0.8 | 5581k | 46 | 77 | 12 | 0 | 454 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.07%
2.41/3.20 c 1.9s| 12100 | 1201 | 12007 | 0.8 | 5581k | 46 | 77 | 12 | 4 | 454 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.07%
2.41/3.20 c 1.9s| 12200 | 1201 | 12058 | 0.8 | 5581k | 46 | 77 | 12 | 0 | 454 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.07%
2.41/3.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.41/3.20 c 1.9s| 12300 | 1203 | 12110 | 0.8 | 5581k | 46 | 77 | 12 | 0 | 454 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.07%
2.41/3.20 c 1.9s| 12400 | 1199 | 12158 | 0.8 | 5581k | 46 | 77 | 12 | 4 | 454 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.07%
2.41/3.20 c 1.9s| 12500 | 1203 | 12216 | 0.8 | 5581k | 46 | 77 | 12 | 0 | 454 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.08%
2.41/3.20 c 1.9s| 12600 | 1205 | 12276 | 0.8 | 5586k | 46 | 77 | 12 | 3 | 458 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.24%
2.41/3.20 c 2.0s| 12700 | 1205 | 12327 | 0.8 | 5586k | 46 | 77 | 12 | 0 | 458 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.24%
2.41/3.20 c 2.0s| 12800 | 1205 | 12395 | 0.8 | 5586k | 46 | 77 | 12 | 4 | 465 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.26%
2.41/3.20 c 2.0s| 12900 | 1213 | 12450 | 0.8 | 5586k | 46 | 77 | 12 | 0 | 465 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.27%
2.41/3.20 c 2.0s| 13000 | 1213 | 12500 | 0.8 | 5586k | 46 | 77 | 12 | 4 | 465 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.27%
2.41/3.20 c 2.0s| 13100 | 1217 | 12553 | 0.8 | 5586k | 46 | 77 | 12 | 0 | 465 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.27%
2.41/3.20 c 2.0s| 13200 | 1223 | 12613 | 0.8 | 5596k | 46 | 77 | 12 | 0 | 465 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.27%
2.41/3.20 c 2.0s| 13300 | 1229 | 12669 | 0.8 | 5596k | 46 | 77 | 12 | 0 | 465 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.27%
2.41/3.20 c 2.0s| 13400 | 1231 | 12726 | 0.8 | 5596k | 46 | 77 | 12 | 0 | 465 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.27%
2.41/3.20 c 2.0s| 13500 | 1239 | 12780 | 0.8 | 5596k | 46 | 77 | 12 | 0 | 465 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.27%
2.41/3.20 c 2.0s| 13600 | 1241 | 12831 | 0.8 | 5596k | 46 | 77 | 12 | 4 | 465 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.27%
2.41/3.20 c 2.0s| 13700 | 1249 | 12912 | 0.8 | 5600k | 46 | 77 | 12 | 5 | 476 | 2 | 6 | 14 | 0.000000e+00 | -- | Inf | 35.72%
2.41/3.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.41/3.20 c 2.0s| 13800 | 1253 | 12969 | 0.8 | 5620k | 46 | 77 | 12 | 4 | 480 | 2 | 6 | 14 | 0.000000e+00 | -- | Inf | 35.97%
2.41/3.20 c 2.1s| 13900 | 1259 | 13026 | 0.8 | 5620k | 46 | 77 | 12 | 0 | 480 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 36.03%
2.41/3.20 c 2.1s| 14000 | 1263 | 13080 | 0.8 | 5620k | 46 | 77 | 12 | 0 | 482 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 36.13%
2.41/3.20 c 2.1s| 14100 | 1269 | 13141 | 0.8 | 5627k | 46 | 77 | 12 | 4 | 484 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 36.21%
2.41/3.20 c 2.1s| 14200 | 1271 | 13199 | 0.8 | 5692k | 46 | 77 | 12 | 0 | 485 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 36.23%
2.41/3.20 c 2.1s| 14300 | 1279 | 13259 | 0.8 | 5708k | 46 | 77 | 12 | 0 | 485 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 36.24%
2.41/3.20 c 2.1s| 14400 | 1281 | 13313 | 0.7 | 5708k | 46 | 77 | 12 | 0 | 485 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 36.25%
2.41/3.20 c 2.1s| 14500 | 1287 | 13376 | 0.7 | 5708k | 46 | 77 | 12 | 4 | 485 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 36.25%
2.41/3.20 c 2.1s| 14600 | 1299 | 13444 | 0.7 | 5708k | 46 | 77 | 12 | 0 | 485 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 36.25%
2.41/3.20 c 2.1s| 14700 | 1299 | 13499 | 0.7 | 5708k | 46 | 77 | 12 | 0 | 485 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 36.25%
2.41/3.20 c 2.1s| 14800 | 1301 | 13556 | 0.7 | 5712k | 46 | 77 | 12 | 0 | 488 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 37.52%
2.41/3.20 c 2.1s| 14900 | 1327 | 13681 | 0.7 | 5731k | 46 | 77 | 12 | 4 | 503 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.72%
2.41/3.20 c 2.1s| 15000 | 1351 | 13751 | 0.7 | 5738k | 46 | 77 | 12 | 4 | 503 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.73%
2.41/3.20 c 2.2s| 15100 | 1379 | 13828 | 0.7 | 5738k | 46 | 77 | 12 | 4 | 507 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.73%
2.41/3.20 c 2.2s| 15200 | 1433 | 13993 | 0.8 | 5751k | 46 | 77 | 12 | 4 | 515 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.73%
2.41/3.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.41/3.20 c 2.2s| 15300 | 1467 | 14165 | 0.8 | 5751k | 47 | 77 | 12 | 0 | 530 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.73%
2.41/3.20 c 2.2s| 15400 | 1481 | 14223 | 0.8 | 5759k | 47 | 77 | 12 | 4 | 531 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.73%
2.41/3.20 c 2.2s| 15500 | 1513 | 14324 | 0.8 | 5828k | 47 | 77 | 12 | 6 | 537 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.73%
2.41/3.20 c 2.2s| 15600 | 1523 | 14380 | 0.8 | 5834k | 48 | 77 | 12 | 4 | 537 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.73%
2.41/3.20 c 2.2s| 15700 | 1545 | 14454 | 0.8 | 5834k | 51 | 77 | 12 | 0 | 540 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.73%
2.41/3.20 c 2.2s| 15800 | 1557 | 14523 | 0.8 | 5834k | 51 | 77 | 12 | 0 | 542 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.73%
2.41/3.20 c 2.2s| 15900 | 1575 | 14627 | 0.8 | 5841k | 51 | 77 | 12 | 4 | 553 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.73%
2.41/3.20 c 2.2s| 16000 | 1589 | 14734 | 0.8 | 5841k | 52 | 77 | 12 | 4 | 573 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.73%
2.41/3.20 c 2.2s| 16100 | 1601 | 14814 | 0.8 | 5841k | 52 | 77 | 12 | 4 | 584 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.73%
2.41/3.20 c 2.3s| 16200 | 1605 | 14872 | 0.8 | 5852k | 52 | 77 | 12 | 0 | 584 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.73%
2.41/3.20 c 2.3s| 16300 | 1613 | 14938 | 0.8 | 5852k | 52 | 77 | 12 | 4 | 587 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.73%
2.41/3.20 c 2.3s| 16400 | 1633 | 15040 | 0.8 | 5852k | 52 | 77 | 12 | 0 | 604 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.73%
2.41/3.20 c 2.3s| 16500 | 1659 | 15142 | 0.8 | 5857k | 52 | 77 | 12 | 4 | 611 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.73%
2.41/3.20 c 2.3s| 16600 | 1667 | 15220 | 0.8 | 5857k | 52 | 77 | 12 | 5 | 625 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.74%
2.81/3.63 c 2.3s| 16700 | 1679 | 15309 | 0.8 | 5866k | 52 | 77 | 12 | 5 | 626 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.74%
2.81/3.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.81/3.63 c 2.3s| 16800 | 1687 | 15369 | 0.8 | 5866k | 52 | 77 | 12 | 0 | 626 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.74%
2.81/3.63 c 2.3s| 16900 | 1705 | 15454 | 0.8 | 5866k | 52 | 77 | 12 | 0 | 630 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.74%
2.81/3.63 c 2.3s| 17000 | 1727 | 15565 | 0.8 | 5882k | 52 | 77 | 12 | 4 | 644 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.74%
2.81/3.63 c 2.3s| 17100 | 1753 | 15652 | 0.8 | 5882k | 52 | 77 | 12 | 0 | 648 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.74%
2.81/3.63 c 2.3s| 17200 | 1787 | 15800 | 0.8 | 5891k | 52 | 77 | 12 | 5 | 672 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.74%
2.81/3.63 c 2.3s| 17300 | 1803 | 15873 | 0.8 | 5902k | 53 | 77 | 12 | 4 | 675 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.74%
2.81/3.63 c 2.4s| 17400 | 1819 | 15957 | 0.8 | 5902k | 53 | 77 | 12 | 0 | 689 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.74%
2.81/3.63 c 2.4s| 17500 | 1829 | 16021 | 0.8 | 5902k | 53 | 77 | 12 | 5 | 690 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.74%
2.81/3.63 c 2.4s| 17600 | 1841 | 16082 | 0.8 | 5902k | 53 | 77 | 12 | 4 | 694 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.74%
2.81/3.63 c 2.4s| 17700 | 1847 | 16142 | 0.8 | 5902k | 53 | 77 | 12 | 0 | 694 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.74%
2.81/3.63 c 2.4s| 17800 | 1851 | 16209 | 0.8 | 6419k | 53 | 77 | 12 | 0 | 705 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.74%
2.81/3.63 c 2.4s| 17900 | 1863 | 16294 | 0.8 | 6419k | 53 | 77 | 12 | 4 | 722 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.74%
2.81/3.63 c 2.4s| 18000 | 1887 | 16383 | 0.8 | 6443k | 53 | 77 | 12 | 4 | 730 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.4s| 18100 | 1901 | 16449 | 0.8 | 6443k | 53 | 77 | 12 | 4 | 734 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.4s| 18200 | 1911 | 16509 | 0.8 | 6443k | 53 | 77 | 12 | 4 | 734 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.81/3.63 c 2.4s| 18300 | 1925 | 16566 | 0.8 | 6443k | 53 | 77 | 12 | 0 | 734 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.4s| 18400 | 1935 | 16623 | 0.8 | 6443k | 53 | 77 | 12 | 4 | 735 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.4s| 18500 | 1939 | 16680 | 0.8 | 6867k | 53 | 77 | 12 | 0 | 735 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.4s| 18600 | 1959 | 16773 | 0.8 | 6867k | 53 | 77 | 12 | 0 | 742 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.5s| 18700 | 1989 | 16925 | 0.8 | 6867k | 53 | 77 | 12 | 0 | 765 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.5s| 18800 | 2003 | 17050 | 0.8 | 7119k | 53 | 77 | 12 | 0 | 804 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.5s| 18900 | 2009 | 17149 | 0.8 | 7165k | 53 | 77 | 13 | 0 | 823 | 0 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.5s| 19000 | 2007 | 17216 | 0.8 | 7165k | 53 | 77 | 13 | 5 | 829 | 1 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.5s| 19100 | 2015 | 17301 | 0.8 | 7176k | 53 | 77 | 13 | 6 | 848 | 1 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.5s| 19200 | 2031 | 17372 | 0.8 | 7176k | 53 | 77 | 13 | 6 | 855 | 1 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.5s| 19300 | 2081 | 17492 | 0.8 | 7226k | 53 | 77 | 13 | 5 | 874 | 1 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.5s| 19400 | 2105 | 17586 | 0.8 | 7226k | 53 | 77 | 13 | 6 | 893 | 1 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.5s| 19500 | 2123 | 17684 | 0.8 | 7226k | 53 | 77 | 13 | 8 | 909 | 1 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.5s| 19600 | 2141 | 17765 | 0.8 | 7226k | 53 | 77 | 13 | 5 | 913 | 1 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.5s| 19700 | 2157 | 17825 | 0.8 | 7226k | 53 | 77 | 13 | 4 | 913 | 1 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.81/3.63 c 2.6s| 19800 | 2161 | 17877 | 0.8 | 7226k | 53 | 77 | 13 | 0 | 913 | 0 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.6s| 19900 | 2175 | 17951 | 0.8 | 7242k | 53 | 77 | 13 | 0 | 923 | 0 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.6s| 20000 | 2189 | 18008 | 0.8 | 7242k | 53 | 77 | 13 | 0 | 923 | 0 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.6s| 20100 | 2223 | 18141 | 0.8 | 7242k | 53 | 77 | 13 | 4 | 944 | 1 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.6s| 20200 | 2225 | 18236 | 0.8 | 7242k | 53 | 77 | 13 | 4 | 970 | 1 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.6s| 20300 | 2231 | 18317 | 0.8 | 7242k | 53 | 77 | 13 | 4 | 988 | 1 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.6s| 20400 | 2233 | 18403 | 0.8 | 7242k | 53 | 77 | 13 | 0 |1000 | 0 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.6s| 20500 | 2241 | 18468 | 0.8 | 7242k | 53 | 77 | 13 | 0 |1007 | 0 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.6s| 20600 | 2245 | 18534 | 0.8 | 7242k | 53 | 77 | 13 | 0 |1015 | 0 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.6s| 20700 | 2247 | 18625 | 0.8 | 7242k | 53 | 77 | 13 | 0 |1033 | 0 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.6s| 20800 | 2253 | 18698 | 0.8 | 7242k | 53 | 77 | 13 | 5 |1044 | 1 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.6s| 20900 | 2257 | 18769 | 0.8 | 7250k | 53 | 77 | 13 | 4 |1052 | 1 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.7s| 21000 | 2265 | 18829 | 0.8 | 7253k | 53 | 77 | 13 | 4 |1058 | 1 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.7s| 21100 | 2269 | 18897 | 0.8 | 7253k | 53 | 77 | 13 | 0 |1068 | 0 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.7s| 21200 | 2277 | 18967 | 0.8 | 7253k | 53 | 77 | 13 | 4 |1079 | 1 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.81/3.63 c 2.7s| 21300 | 2281 | 19050 | 0.8 | 7318k | 53 | 77 | 14 | 6 |1093 | 1 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.7s| 21400 | 2283 | 19123 | 0.8 | 7318k | 53 | 77 | 14 | 0 |1101 | 0 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.7s| 21500 | 2289 | 19188 | 0.8 | 7324k | 53 | 77 | 14 | 0 |1104 | 0 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.7s| 21600 | 2299 | 19246 | 0.8 | 7324k | 53 | 77 | 14 | 4 |1104 | 1 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.7s| 21700 | 2317 | 19353 | 0.8 | 7324k | 53 | 77 | 14 | 4 |1123 | 1 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.81/3.63 c 2.7s| 21800 | 2321 | 19413 | 0.8 | 7324k | 53 | 77 | 14 | 4 |1127 | 1 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.91/3.72 c 2.7s| 21900 | 2329 | 19478 | 0.8 | 7324k | 53 | 77 | 14 | 4 |1134 | 1 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.91/3.72 c 2.7s| 22000 | 2341 | 19572 | 0.8 | 7324k | 53 | 77 | 14 | 0 |1157 | 0 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.91/3.72 c 2.7s| 22100 | 2343 | 19660 | 0.8 | 7341k | 53 | 77 | 14 | 6 |1171 | 1 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.91/3.72 c 2.7s| 22200 | 2353 | 19715 | 0.8 | 7341k | 53 | 77 | 14 | 4 |1171 | 1 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.91/3.72 c 2.8s| 22300 | 2373 | 19782 | 0.8 | 7341k | 53 | 77 | 14 | 0 |1180 | 0 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.91/3.72 c 2.8s| 22400 | 2393 | 19849 | 0.8 | 7341k | 53 | 77 | 14 | 4 |1181 | 1 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.91/3.72 c 2.8s| 22500 | 2417 | 19991 | 0.8 | 7361k | 53 | 77 | 14 | 9 |1227 | 3 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.91/3.72 c 2.8s| 22600 | 2421 | 20060 | 0.8 | 7371k | 53 | 77 | 14 | 0 |1236 | 0 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.91/3.72 c 2.8s| 22700 | 2429 | 20122 | 0.8 | 7371k | 53 | 77 | 14 | 4 |1239 | 1 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.91/3.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.91/3.72 c 2.8s| 22800 | 2433 | 20174 | 0.8 | 7371k | 53 | 77 | 14 | 0 |1239 | 0 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.91/3.72 c 2.8s| 22900 | 2435 | 20245 | 0.8 | 7371k | 53 | 77 | 14 | 0 |1247 | 0 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.91/3.72 c r 2.8s| 22966 | 0 | 20283 | 0.8 |randroun| 53 | 77 | 14 | 4 |1249 | 0 | 8 | 14 | 0.000000e+00 | 0.000000e+00 | 0.00%| 100.00%
2.91/3.72 c
2.91/3.72 c SCIP Status : problem is solved [optimal solution found]
2.91/3.72 c Solving Time (sec) : 2.81
2.91/3.72 c Solving Nodes : 22966 (total of 26214 nodes in 2 runs)
2.91/3.72 c Primal Bound : +0.00000000000000e+00 (1 solutions)
2.91/3.72 c Dual Bound : +0.00000000000000e+00
2.91/3.72 c Gap : 0.00 %
2.91/3.72 c [VIOLATION] Line 8: +25067 x1 +50134 x2 +100268 x3 +200536 x4 +401072 x5 +802144 x6 +1604288 x7 +3208576 x8 +6417152 x9 +12834304 x10 +25668608 x11 +49300 x12 +98600 x13 +197200 x14 +394400 x15 +788800 x16 +1577600 x17 +3155200 x18 +6310400 x19 +12620800 x20 +25241600 x21 +49717 x22 +99434 x23 +198868 x24 +397736 x25 +795472 x26 +1590944 x27 +3181888 x28 +6363776 x29 +12727552 x30 +25455104 x31 +62124 x32 +124248 x33 +248496 x34 +496992 x35 +993984 x36 +1987968 x37 +3975936 x38 +7951872 x39 +15903744 x40 +31807488 x41 +87608 x42 +175216 x43 +350432 x44 +700864 x45 +1401728 x46 +2803456 x47 +5606912 x48 +11213824 x49 +22427648 x50 +88025 x51 +176050 x52 +352100 x53 +704200 x54 +1408400 x55 +2816800 x56 +5633600 x57 +11267200 x58 +22534400 x59 +113673 x60 +227346 x61 +454692 x62 +909384 x63 +1818768 x64 +3637536 x65 +7275072 x66 +14550144 x67 +29100288 x68 +119169 x69 +238338 x70 +476676 x71 +953352 x72 +1906704 x73 +3813408 x74 +7626816 x75 +15253632 x76 +30507264 x77 >= 33367336 ;
2.91/3.72 c Computed activity: 33367310
2.91/3.72 c Required: activity >= 33367336
2.91/3.72 c Variable assignments: {x1=1, x2=0, x3=0, x4=0, x5=0, x6=0, x7=0, x8=0, x9=0, x10=0, x11=0, x12=0, x13=0, x14=0, x15=0, x16=1, x17=1, x18=0, x19=0, x20=0, x21=1, x22=1, x23=0, x24=0, x25=0, x26=0, x27=0, x28=1, x29=0, x30=0, x31=0, x32=0, x33=0, x34=0, x35=0, x36=0, x37=0, x38=0, x39=0, x40=0, x41=0, x42=0, x43=0, x44=0, x45=0, x46=0, x47=0, x48=0, x49=0, x50=0, x51=1, x52=0, x53=0, x54=0, x55=0, x56=0, x57=0, x58=0, x59=0, x60=0, x61=0, x62=0, x63=0, x64=1, x65=0, x66=0, x67=0, x68=0, x69=1, x70=0, x71=1, x72=0, x73=0, x74=0, x75=0, x76=0, x77=0}}
2.91/3.72 c SCIP found a solution, but it is not feasible according to the original problem.
2.91/3.72 c ----------------------------------------------------------------------
2.91/3.72 c executing external solver (fallback): HOME/naps-1.03a6
2.91/3.72 c ----------------------------------------------------------------------
2.91/3.72 c command: HOME/naps-1.03a6 HOME/instance-4496157-1751159326.opb
2.91/3.72 c NaPS 1.03a6.
2.91/3.72 c Input file name: HOME/instance-4496157-1751159326.opb
137.26/138.44 c _____________________________________________________________________________
137.26/138.44 c std/band forms : 0,1
137.26/138.44 c 2cl/3cl ITE-codings : 0,42839
137.26/138.44 c BDD/srt/adr Max costs : 44816,0,0
137.26/138.44 c BDDraw/bin/mul/srt/adr: 0,0,1,0,0
137.26/138.44 c BDD nodes : 44818
137.26/138.44 c Es1/CC detections : 0,0
137.26/138.44 c CC sort : 0
137.26/138.44 c SAT/UNSAT calls : 1,0
137.26/138.44 c regenrated variables : 0
137.26/138.44 c eliminated fixed lits : 0
137.26/138.44 c goal lit flips : 0
137.26/138.44 c goal stages : 0
137.26/138.44 c goal shrink : 0
137.26/138.44 c goal coeff separations: 0
137.26/138.44 c restarts : 9869
137.26/138.44 c conflicts : 329031 (2450 /sec)
137.26/138.44 c decisions : 1644500 (12243 /sec)
137.26/138.44 c propagations : 1391438096 (10358936 /sec)
137.26/138.44 c inspects : 0 (0 /sec)
137.26/138.44 c CPU time (solving tm) : 134.3 s (134 s, SAT 134 s, UNSAT 0 s)
137.26/138.44 c Time for Opt-base : 0.05702 s
137.26/138.44 c Steps for Opt-base : 234542
137.26/138.44 c Time for BDD coding : 0.3039 s
137.26/138.44 c Time for srt coding : 0 s
137.26/138.44 c _____________________________________________________________________________
137.26/138.45 s SATISFIABLE
137.26/138.45 v -x1 x2 -x3 -x4 -x5 x6 -x7 x8 x9 x10 -x11 x12 x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 x24 x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77
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 (62970 MiB free)
memory of node 1: 64465 MiB (63806 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4496157-1751159326/watcher-4496157-1751159326 -o /tmp/evaluation-result-4496157-1751159326/solver-4496157-1751159326 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751159326-19843 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4496157-1751159326.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19902, runsolver pid=19883
[startup+0.100059 s]*
/proc/loadavg: 0.52 0.95 1.61 2/276 19915
/proc/meminfo: memFree=129803988/131249988 swapFree=33010684/33010684
[pid=19902] ppid=19883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19902/stat : 19902 (scip-naps-1.00.) S 19883 19902 19830 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 31610220 4292608 768 18446744073709551615 94044383817728 94044384712261 140720718613584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94044384951312 94044384999056 94044414730240 140720718621089 140720718621186 140720718621186 140720718626788 0
/proc/19902/statm: 1048 768 704 219 0 110 0
[pid=19914] ppid=19902 vsize=59268 memory=21120 CPUtime=0.02 cores=5,7
/proc/19914/stat : 19914 (python3) D 19902 19902 19830 0 -1 4194304 2375 0 0 0 2 0 0 0 20 0 1 0 31610224 60690432 5280 18446744073709551615 94479480172544 94479480172921 140730736434032 0 0 0 0 16781312 2 1 0 0 17 5 0 0 0 0 0 94479480184216 94479480184836 94479482580992 140730736437592 140730736437794 140730736437794 140730736443367 0
/proc/19914/statm: 14817 5280 3328 1 0 3537 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 63460 KiB
Current children cumulated memory: 24192 KiB
[startup+0.205746 s]*
/proc/loadavg: 0.52 0.95 1.61 2/276 19915
/proc/meminfo: memFree=129800068/131249988 swapFree=33010684/33010684
[pid=19902] ppid=19883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19902/stat : 19902 (scip-naps-1.00.) S 19883 19902 19830 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 31610220 4292608 768 18446744073709551615 94044383817728 94044384712261 140720718613584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94044384951312 94044384999056 94044414730240 140720718621089 140720718621186 140720718621186 140720718626788 0
/proc/19902/statm: 1048 768 704 219 0 110 0
[pid=19914] ppid=19902 vsize=64080 memory=22656 CPUtime=0.04 cores=5,7
/proc/19914/stat : 19914 (python3) D 19902 19902 19830 0 -1 4194304 2765 0 0 0 3 1 0 0 20 0 1 0 31610224 65617920 5664 18446744073709551615 94479480172544 94479480172921 140730736434032 0 0 0 0 16781312 2 1 0 0 17 5 0 0 0 0 0 94479480184216 94479480184836 94479482580992 140730736437592 140730736437794 140730736437794 140730736443367 0
/proc/19914/statm: 16020 5664 3328 1 0 3827 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 68272 KiB
Current children cumulated memory: 25728 KiB
[startup+0.305744 s]*
/proc/loadavg: 0.52 0.95 1.61 5/276 19915
/proc/meminfo: memFree=129795800/131249988 swapFree=33010684/33010684
[pid=19902] ppid=19883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19902/stat : 19902 (scip-naps-1.00.) S 19883 19902 19830 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 31610220 4292608 768 18446744073709551615 94044383817728 94044384712261 140720718613584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94044384951312 94044384999056 94044414730240 140720718621089 140720718621186 140720718621186 140720718626788 0
/proc/19902/statm: 1048 768 704 219 0 110 0
[pid=19914] ppid=19902 vsize=75760 memory=24576 CPUtime=0.04 cores=5,7
/proc/19914/stat : 19914 (python3) D 19902 19902 19830 0 -1 4194304 2859 0 9 0 3 1 0 0 20 0 1 0 31610224 77578240 6144 18446744073709551615 94479480172544 94479480172921 140730736434032 0 0 0 0 16781312 2 1 0 0 17 5 0 0 0 0 0 94479480184216 94479480184836 94479482580992 140730736437592 140730736437794 140730736437794 140730736443367 0
/proc/19914/statm: 18940 6144 3744 1 0 3881 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 79952 KiB
Current children cumulated memory: 27648 KiB
[startup+0.70016 s]
/proc/loadavg: 0.52 0.95 1.61 2/276 19915
/proc/meminfo: memFree=129775140/131249988 swapFree=33010684/33010684
[pid=19902] ppid=19883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19902/stat : 19902 (scip-naps-1.00.) S 19883 19902 19830 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 31610220 4292608 768 18446744073709551615 94044383817728 94044384712261 140720718613584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94044384951312 94044384999056 94044414730240 140720718621089 140720718621186 140720718621186 140720718626788 0
/proc/19902/statm: 1048 768 704 219 0 110 0
[pid=19914] ppid=19902 vsize=1188928 memory=33952 CPUtime=0.09 cores=5,7
/proc/19914/stat : 19914 (python3) D 19902 19902 19830 0 -1 4194304 4167 0 26 0 7 2 0 0 20 0 1 0 31610224 1217462272 8488 18446744073709551615 94479480172544 94479480172921 140730736434032 0 0 0 0 16781312 2 1 0 0 17 5 0 0 0 0 0 94479480184216 94479480184836 94479482580992 140730736437592 140730736437794 140730736437794 140730736443367 0
/proc/19914/statm: 297232 8488 4968 1 0 269183 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 1193120 KiB
Current children cumulated memory: 37024 KiB
[startup+1.50015 s]
/proc/loadavg: 0.52 0.95 1.61 5/273 19916
/proc/meminfo: memFree=129707912/131249988 swapFree=33010684/33010684
[pid=19902] ppid=19883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19902/stat : 19902 (scip-naps-1.00.) S 19883 19902 19830 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 31610220 4292608 768 18446744073709551615 94044383817728 94044384712261 140720718613584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94044384951312 94044384999056 94044414730240 140720718621089 140720718621186 140720718621186 140720718626788 0
/proc/19902/statm: 1048 768 704 219 0 110 0
[pid=19914] ppid=19902 vsize=1204360 memory=57376 CPUtime=0.71 cores=5,7
/proc/19914/stat : 19914 (python3) R 19902 19902 19830 0 -1 4194304 7162 0 138 0 68 3 0 0 20 0 1 0 31610224 1233264640 14344 18446744073709551615 94479480172544 94479480172921 140730736434032 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94479480184216 94479480184836 94479482580992 140730736437592 140730736437794 140730736437794 140730736443367 0
/proc/19914/statm: 301090 14344 8040 1 0 272448 0
Current children cumulated CPU time: 0.71 s
Current children cumulated vsize: 1208552 KiB
Current children cumulated memory: 60448 KiB
[startup+3.1056 s]
/proc/loadavg: 0.80 1.00 1.63 6/279 19967
/proc/meminfo: memFree=129564984/131249988 swapFree=33010684/33010684
[pid=19902] ppid=19883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19902/stat : 19902 (scip-naps-1.00.) S 19883 19902 19830 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 31610220 4292608 768 18446744073709551615 94044383817728 94044384712261 140720718613584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94044384951312 94044384999056 94044414730240 140720718621089 140720718621186 140720718621186 140720718626788 0
/proc/19902/statm: 1048 768 704 219 0 110 0
[pid=19914] ppid=19902 vsize=1205792 memory=58144 CPUtime=2.31 cores=5,7
/proc/19914/stat : 19914 (python3) R 19902 19902 19830 0 -1 4194304 7385 0 138 0 228 3 0 0 20 0 1 0 31610224 1234731008 14536 18446744073709551615 94479480172544 94479480172921 140730736434032 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94479480184216 94479480184836 94479482580992 140730736437592 140730736437794 140730736437794 140730736443367 0
/proc/19914/statm: 301448 14536 8040 1 0 272806 0
Current children cumulated CPU time: 2.31 s
Current children cumulated vsize: 1209984 KiB
Current children cumulated memory: 61216 KiB
heavy processes:
[startup+6.30016 s]
/proc/loadavg: 0.80 1.00 1.63 6/280 20066
/proc/meminfo: memFree=129507368/131249988 swapFree=33010684/33010684
[pid=19902] ppid=19883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19902/stat : 19902 (scip-naps-1.00.) S 19883 19902 19830 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 31610220 4292608 768 18446744073709551615 94044383817728 94044384712261 140720718613584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94044384951312 94044384999056 94044414730240 140720718621089 140720718621186 140720718621186 140720718626788 0
/proc/19902/statm: 1048 768 704 219 0 110 0
[pid=19914] ppid=19902 vsize=1205792 memory=59424 CPUtime=2.93 cores=5,7
/proc/19914/stat : 19914 (python3) S 19902 19902 19830 0 -1 4194304 7833 0 138 0 290 3 0 0 20 0 1 0 31610224 1234731008 14856 18446744073709551615 94479480172544 94479480172921 140730736434032 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94479480184216 94479480184836 94479482580992 140730736437592 140730736437794 140730736437794 140730736443367 0
/proc/19914/statm: 301448 14856 8104 1 0 272806 0
[pid=19968] ppid=19914 vsize=65728 memory=57300 CPUtime=2.56 cores=5,7
/proc/19968/stat : 19968 (naps-1.03a6) R 19914 19968 19968 0 -1 4194304 16213 0 0 0 254 2 0 0 20 0 1 0 31610593 67305472 14325 18446744073709551615 4198400 7047149 140737376303104 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 29061120 140737376307585 140737376307699 140737376307699 140737376313289 0
/proc/19968/statm: 16432 14325 544 696 0 15593 0
Current children cumulated CPU time: 5.49 s
Current children cumulated vsize: 1275712 KiB
Current children cumulated memory: 119796 KiB
[startup+12.7002 s]
/proc/loadavg: 1.29 1.10 1.65 6/280 20066
/proc/meminfo: memFree=129497576/131249988 swapFree=33010684/33010684
[pid=19902] ppid=19883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19902/stat : 19902 (scip-naps-1.00.) S 19883 19902 19830 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 31610220 4292608 768 18446744073709551615 94044383817728 94044384712261 140720718613584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94044384951312 94044384999056 94044414730240 140720718621089 140720718621186 140720718621186 140720718626788 0
/proc/19902/statm: 1048 768 704 219 0 110 0
[pid=19914] ppid=19902 vsize=1205792 memory=59424 CPUtime=2.93 cores=5,7
/proc/19914/stat : 19914 (python3) S 19902 19902 19830 0 -1 4194304 7833 0 138 0 290 3 0 0 20 0 1 0 31610224 1234731008 14856 18446744073709551615 94479480172544 94479480172921 140730736434032 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94479480184216 94479480184836 94479482580992 140730736437592 140730736437794 140730736437794 140730736443367 0
/proc/19914/statm: 301448 14856 8104 1 0 272806 0
[pid=19968] ppid=19914 vsize=65728 memory=58196 CPUtime=8.94 cores=5,7
/proc/19968/stat : 19968 (naps-1.03a6) R 19914 19968 19968 0 -1 4194304 16440 0 0 0 892 2 0 0 20 0 1 0 31610593 67305472 14549 18446744073709551615 4198400 7047149 140737376303104 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 29061120 140737376307585 140737376307699 140737376307699 140737376313289 0
/proc/19968/statm: 16432 14549 544 696 0 15593 0
Current children cumulated CPU time: 11.87 s
Current children cumulated vsize: 1275712 KiB
Current children cumulated memory: 120692 KiB
[startup+25.5002 s]
/proc/loadavg: 1.71 1.20 1.68 6/280 20066
/proc/meminfo: memFree=129406100/131249988 swapFree=33010684/33010684
[pid=19902] ppid=19883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19902/stat : 19902 (scip-naps-1.00.) S 19883 19902 19830 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 31610220 4292608 768 18446744073709551615 94044383817728 94044384712261 140720718613584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94044384951312 94044384999056 94044414730240 140720718621089 140720718621186 140720718621186 140720718626788 0
/proc/19902/statm: 1048 768 704 219 0 110 0
[pid=19914] ppid=19902 vsize=1205792 memory=59424 CPUtime=2.93 cores=5,7
/proc/19914/stat : 19914 (python3) S 19902 19902 19830 0 -1 4194304 7833 0 138 0 290 3 0 0 20 0 1 0 31610224 1234731008 14856 18446744073709551615 94479480172544 94479480172921 140730736434032 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94479480184216 94479480184836 94479482580992 140730736437592 140730736437794 140730736437794 140730736443367 0
/proc/19914/statm: 301448 14856 8104 1 0 272806 0
[pid=19968] ppid=19914 vsize=65728 memory=59476 CPUtime=21.71 cores=5,7
/proc/19968/stat : 19968 (naps-1.03a6) R 19914 19968 19968 0 -1 4194304 16750 0 0 0 2169 2 0 0 20 0 1 0 31610593 67305472 14869 18446744073709551615 4198400 7047149 140737376303104 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 29061120 140737376307585 140737376307699 140737376307699 140737376313289 0
/proc/19968/statm: 16432 14869 544 696 0 15593 0
Current children cumulated CPU time: 24.64 s
Current children cumulated vsize: 1275712 KiB
Current children cumulated memory: 121972 KiB
[startup+51.1056 s]
/proc/loadavg: 2.55 1.44 1.75 6/279 20067
/proc/meminfo: memFree=129370932/131249988 swapFree=33010684/33010684
[pid=19902] ppid=19883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19902/stat : 19902 (scip-naps-1.00.) S 19883 19902 19830 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 31610220 4292608 768 18446744073709551615 94044383817728 94044384712261 140720718613584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94044384951312 94044384999056 94044414730240 140720718621089 140720718621186 140720718621186 140720718626788 0
/proc/19902/statm: 1048 768 704 219 0 110 0
[pid=19914] ppid=19902 vsize=1205792 memory=59424 CPUtime=2.93 cores=5,7
/proc/19914/stat : 19914 (python3) S 19902 19902 19830 0 -1 4194304 7833 0 138 0 290 3 0 0 20 0 1 0 31610224 1234731008 14856 18446744073709551615 94479480172544 94479480172921 140730736434032 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94479480184216 94479480184836 94479482580992 140730736437592 140730736437794 140730736437794 140730736443367 0
/proc/19914/statm: 301448 14856 8104 1 0 272806 0
[pid=19968] ppid=19914 vsize=65728 memory=60884 CPUtime=47.25 cores=5,7
/proc/19968/stat : 19968 (naps-1.03a6) R 19914 19968 19968 0 -1 4194304 17117 0 0 0 4723 2 0 0 20 0 1 0 31610593 67305472 15221 18446744073709551615 4198400 7047149 140737376303104 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 29061120 140737376307585 140737376307699 140737376307699 140737376313289 0
/proc/19968/statm: 16432 15221 544 696 0 15593 0
Current children cumulated CPU time: 50.18 s
Current children cumulated vsize: 1275712 KiB
Current children cumulated memory: 123380 KiB
[startup+102.3 s]
/proc/loadavg: 3.47 1.89 1.88 6/281 20073
/proc/meminfo: memFree=129308260/131249988 swapFree=33010684/33010684
[pid=19902] ppid=19883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19902/stat : 19902 (scip-naps-1.00.) S 19883 19902 19830 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 31610220 4292608 768 18446744073709551615 94044383817728 94044384712261 140720718613584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94044384951312 94044384999056 94044414730240 140720718621089 140720718621186 140720718621186 140720718626788 0
/proc/19902/statm: 1048 768 704 219 0 110 0
[pid=19914] ppid=19902 vsize=1205792 memory=59424 CPUtime=2.93 cores=5,7
/proc/19914/stat : 19914 (python3) S 19902 19902 19830 0 -1 4194304 7833 0 138 0 290 3 0 0 20 0 1 0 31610224 1234731008 14856 18446744073709551615 94479480172544 94479480172921 140730736434032 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94479480184216 94479480184836 94479482580992 140730736437592 140730736437794 140730736437794 140730736443367 0
/proc/19914/statm: 301448 14856 8104 1 0 272806 0
[pid=19968] ppid=19914 vsize=82116 memory=72796 CPUtime=98.33 cores=5,7
/proc/19968/stat : 19968 (naps-1.03a6) R 19914 19968 19968 0 -1 4194304 24463 0 0 0 9828 5 0 0 20 0 1 0 31610593 84086784 18199 18446744073709551615 4198400 7047149 140737376303104 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 29061120 140737376307585 140737376307699 140737376307699 140737376313289 0
/proc/19968/statm: 20529 18199 544 696 0 19690 0
Current children cumulated CPU time: 101.26 s
Current children cumulated vsize: 1292100 KiB
Current children cumulated memory: 135292 KiB
[startup+138.47 s]
# the end of solver process 19902 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=137.238 s, system=0.122095 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 3.47 1.89 1.88 6/281 20073
/proc/meminfo: memFree=129308260/131249988 swapFree=33010684/33010684
[pid=19902] ppid=19883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19902/stat : 19902 (scip-naps-1.00.) S 19883 19902 19830 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 31610220 4292608 768 18446744073709551615 94044383817728 94044384712261 140720718613584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94044384951312 94044384999056 94044414730240 140720718621089 140720718621186 140720718621186 140720718626788 0
/proc/19902/statm: 1048 768 704 219 0 110 0
[pid=19914] ppid=19902 vsize=1205792 memory=59424 CPUtime=2.93 cores=5,7
/proc/19914/stat : 19914 (python3) S 19902 19902 19830 0 -1 4194304 7833 0 138 0 290 3 0 0 20 0 1 0 31610224 1234731008 14856 18446744073709551615 94479480172544 94479480172921 140730736434032 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94479480184216 94479480184836 94479482580992 140730736437592 140730736437794 140730736437794 140730736443367 0
/proc/19914/statm: 301448 14856 8104 1 0 272806 0
[pid=19968] ppid=19914 vsize=82116 memory=72796 CPUtime=98.43 cores=5,7
/proc/19968/stat : 19968 (naps-1.03a6) R 19914 19968 19968 0 -1 4194304 24463 0 0 0 9838 5 0 0 20 0 1 0 31610593 84086784 18199 18446744073709551615 4198400 7047149 140737376303104 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 29061120 140737376307585 140737376307699 140737376307699 140737376313289 0
/proc/19968/statm: 20529 18199 544 696 0 19690 0
Current children cumulated CPU time: 101.36 s
Current children cumulated vsize: 1292100 KiB
Current children cumulated memory: 135292 KiB
[startup+115.2 s]
/proc/loadavg: 3.63 1.97 1.91 6/281 20073
/proc/meminfo: memFree=129301880/131249988 swapFree=33010684/33010684
[pid=19902] ppid=19883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19902/stat : 19902 (scip-naps-1.00.) S 19883 19902 19830 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 31610220 4292608 768 18446744073709551615 94044383817728 94044384712261 140720718613584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94044384951312 94044384999056 94044414730240 140720718621089 140720718621186 140720718621186 140720718626788 0
/proc/19902/statm: 1048 768 704 219 0 110 0
[pid=19914] ppid=19902 vsize=1205792 memory=59424 CPUtime=2.93 cores=5,7
/proc/19914/stat : 19914 (python3) S 19902 19902 19830 0 -1 4194304 7833 0 138 0 290 3 0 0 20 0 1 0 31610224 1234731008 14856 18446744073709551615 94479480172544 94479480172921 140730736434032 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94479480184216 94479480184836 94479482580992 140730736437592 140730736437794 140730736437794 140730736443367 0
/proc/19914/statm: 301448 14856 8104 1 0 272806 0
[pid=19968] ppid=19914 vsize=82116 memory=72796 CPUtime=111.2 cores=5,7
/proc/19968/stat : 19968 (naps-1.03a6) R 19914 19968 19968 0 -1 4194304 26283 0 0 0 11115 5 0 0 20 0 1 0 31610593 84086784 18199 18446744073709551615 4198400 7047149 140737376303104 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 29061120 140737376307585 140737376307699 140737376307699 140737376313289 0
/proc/19968/statm: 20529 18199 544 696 0 19690 0
Current children cumulated CPU time: 114.13 s
Current children cumulated vsize: 1292100 KiB
Current children cumulated memory: 135292 KiB
[startup+128 s]*
/proc/loadavg: 3.71 2.07 1.95 6/281 20074
/proc/meminfo: memFree=129331220/131249988 swapFree=33010684/33010684
[pid=19902] ppid=19883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19902/stat : 19902 (scip-naps-1.00.) S 19883 19902 19830 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 31610220 4292608 768 18446744073709551615 94044383817728 94044384712261 140720718613584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94044384951312 94044384999056 94044414730240 140720718621089 140720718621186 140720718621186 140720718626788 0
/proc/19902/statm: 1048 768 704 219 0 110 0
[pid=19914] ppid=19902 vsize=1205792 memory=59424 CPUtime=2.93 cores=5,7
/proc/19914/stat : 19914 (python3) S 19902 19902 19830 0 -1 4194304 7833 0 138 0 290 3 0 0 20 0 1 0 31610224 1234731008 14856 18446744073709551615 94479480172544 94479480172921 140730736434032 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94479480184216 94479480184836 94479482580992 140730736437592 140730736437794 140730736437794 140730736443367 0
/proc/19914/statm: 301448 14856 8104 1 0 272806 0
[pid=19968] ppid=19914 vsize=90308 memory=74076 CPUtime=123.97 cores=5,7
/proc/19968/stat : 19968 (naps-1.03a6) R 19914 19968 19968 0 -1 4194304 30958 0 0 0 12391 6 0 0 20 0 1 0 31610593 92475392 18519 18446744073709551615 4198400 7047149 140737376303104 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 29061120 140737376307585 140737376307699 140737376307699 140737376313289 0
/proc/19968/statm: 22577 18519 544 696 0 21738 0
Current children cumulated CPU time: 126.9 s
Current children cumulated vsize: 1300292 KiB
Current children cumulated memory: 136572 KiB
[startup+134.4 s]
/proc/loadavg: 3.73 2.11 1.96 6/281 20074
/proc/meminfo: memFree=129322212/131249988 swapFree=33010684/33010684
[pid=19902] ppid=19883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19902/stat : 19902 (scip-naps-1.00.) S 19883 19902 19830 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 31610220 4292608 768 18446744073709551615 94044383817728 94044384712261 140720718613584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94044384951312 94044384999056 94044414730240 140720718621089 140720718621186 140720718621186 140720718626788 0
/proc/19902/statm: 1048 768 704 219 0 110 0
[pid=19914] ppid=19902 vsize=1205792 memory=59424 CPUtime=2.93 cores=5,7
/proc/19914/stat : 19914 (python3) S 19902 19902 19830 0 -1 4194304 7833 0 138 0 290 3 0 0 20 0 1 0 31610224 1234731008 14856 18446744073709551615 94479480172544 94479480172921 140730736434032 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94479480184216 94479480184836 94479482580992 140730736437592 140730736437794 140730736437794 140730736443367 0
/proc/19914/statm: 301448 14856 8104 1 0 272806 0
[pid=19968] ppid=19914 vsize=90308 memory=73308 CPUtime=130.34 cores=5,7
/proc/19968/stat : 19968 (naps-1.03a6) R 19914 19968 19968 0 -1 4194304 34016 0 0 0 13028 6 0 0 20 0 1 0 31610593 92475392 18327 18446744073709551615 4198400 7047149 140737376303104 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 29061120 140737376307585 140737376307699 140737376307699 140737376313289 0
/proc/19968/statm: 22577 18327 544 696 0 21738 0
Current children cumulated CPU time: 133.27 s
Current children cumulated vsize: 1300292 KiB
Current children cumulated memory: 135804 KiB
[startup+136 s]*
/proc/loadavg: 3.73 2.11 1.96 6/281 20074
/proc/meminfo: memFree=129330076/131249988 swapFree=33010684/33010684
[pid=19902] ppid=19883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19902/stat : 19902 (scip-naps-1.00.) S 19883 19902 19830 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 31610220 4292608 768 18446744073709551615 94044383817728 94044384712261 140720718613584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94044384951312 94044384999056 94044414730240 140720718621089 140720718621186 140720718621186 140720718626788 0
/proc/19902/statm: 1048 768 704 219 0 110 0
[pid=19914] ppid=19902 vsize=1205792 memory=59424 CPUtime=2.93 cores=5,7
/proc/19914/stat : 19914 (python3) S 19902 19902 19830 0 -1 4194304 7833 0 138 0 290 3 0 0 20 0 1 0 31610224 1234731008 14856 18446744073709551615 94479480172544 94479480172921 140730736434032 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94479480184216 94479480184836 94479482580992 140730736437592 140730736437794 140730736437794 140730736443367 0
/proc/19914/statm: 301448 14856 8104 1 0 272806 0
[pid=19968] ppid=19914 vsize=90308 memory=73308 CPUtime=131.94 cores=5,7
/proc/19968/stat : 19968 (naps-1.03a6) R 19914 19968 19968 0 -1 4194304 34030 0 0 0 13188 6 0 0 20 0 1 0 31610593 92475392 18327 18446744073709551615 4198400 7047149 140737376303104 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 29061120 140737376307585 140737376307699 140737376307699 140737376313289 0
/proc/19968/statm: 22577 18327 544 696 0 21738 0
Current children cumulated CPU time: 134.87 s
Current children cumulated vsize: 1300292 KiB
Current children cumulated memory: 135804 KiB
[startup+137.6 s]
/proc/loadavg: 3.75 2.14 1.97 6/281 20074
/proc/meminfo: memFree=129330328/131249988 swapFree=33010684/33010684
[pid=19902] ppid=19883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19902/stat : 19902 (scip-naps-1.00.) S 19883 19902 19830 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 31610220 4292608 768 18446744073709551615 94044383817728 94044384712261 140720718613584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94044384951312 94044384999056 94044414730240 140720718621089 140720718621186 140720718621186 140720718626788 0
/proc/19902/statm: 1048 768 704 219 0 110 0
[pid=19914] ppid=19902 vsize=1205792 memory=59424 CPUtime=2.93 cores=5,7
/proc/19914/stat : 19914 (python3) S 19902 19902 19830 0 -1 4194304 7833 0 138 0 290 3 0 0 20 0 1 0 31610224 1234731008 14856 18446744073709551615 94479480172544 94479480172921 140730736434032 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94479480184216 94479480184836 94479482580992 140730736437592 140730736437794 140730736437794 140730736443367 0
/proc/19914/statm: 301448 14856 8104 1 0 272806 0
[pid=19968] ppid=19914 vsize=90308 memory=73436 CPUtime=133.53 cores=5,7
/proc/19968/stat : 19968 (naps-1.03a6) R 19914 19968 19968 0 -1 4194304 34058 0 0 0 13347 6 0 0 20 0 1 0 31610593 92475392 18359 18446744073709551615 4198400 7047149 140737376303104 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 29061120 140737376307585 140737376307699 140737376307699 140737376313289 0
/proc/19968/statm: 22577 18359 544 696 0 21738 0
Current children cumulated CPU time: 136.46 s
Current children cumulated vsize: 1300292 KiB
Current children cumulated memory: 135932 KiB
[startup+138 s]*
/proc/loadavg: 3.75 2.14 1.97 6/281 20074
/proc/meminfo: memFree=129330400/131249988 swapFree=33010684/33010684
[pid=19902] ppid=19883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19902/stat : 19902 (scip-naps-1.00.) S 19883 19902 19830 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 31610220 4292608 768 18446744073709551615 94044383817728 94044384712261 140720718613584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94044384951312 94044384999056 94044414730240 140720718621089 140720718621186 140720718621186 140720718626788 0
/proc/19902/statm: 1048 768 704 219 0 110 0
[pid=19914] ppid=19902 vsize=1205792 memory=59424 CPUtime=2.93 cores=5,7
/proc/19914/stat : 19914 (python3) S 19902 19902 19830 0 -1 4194304 7833 0 138 0 290 3 0 0 20 0 1 0 31610224 1234731008 14856 18446744073709551615 94479480172544 94479480172921 140730736434032 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94479480184216 94479480184836 94479482580992 140730736437592 140730736437794 140730736437794 140730736443367 0
/proc/19914/statm: 301448 14856 8104 1 0 272806 0
[pid=19968] ppid=19914 vsize=90308 memory=73436 CPUtime=133.93 cores=5,7
/proc/19968/stat : 19968 (naps-1.03a6) R 19914 19968 19968 0 -1 4194304 34067 0 0 0 13387 6 0 0 20 0 1 0 31610593 92475392 18359 18446744073709551615 4198400 7047149 140737376303104 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 29061120 140737376307585 140737376307699 140737376307699 140737376313289 0
/proc/19968/statm: 22577 18359 544 696 0 21738 0
Current children cumulated CPU time: 136.86 s
Current children cumulated vsize: 1300292 KiB
Current children cumulated memory: 135932 KiB
[startup+138.4 s]
/proc/loadavg: 3.75 2.14 1.97 6/281 20074
/proc/meminfo: memFree=129330400/131249988 swapFree=33010684/33010684
[pid=19902] ppid=19883 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19902/stat : 19902 (scip-naps-1.00.) S 19883 19902 19830 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 31610220 4292608 768 18446744073709551615 94044383817728 94044384712261 140720718613584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94044384951312 94044384999056 94044414730240 140720718621089 140720718621186 140720718621186 140720718626788 0
/proc/19902/statm: 1048 768 704 219 0 110 0
[pid=19914] ppid=19902 vsize=1205792 memory=59424 CPUtime=2.93 cores=5,7
/proc/19914/stat : 19914 (python3) S 19902 19902 19830 0 -1 4194304 7833 0 138 0 290 3 0 0 20 0 1 0 31610224 1234731008 14856 18446744073709551615 94479480172544 94479480172921 140730736434032 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94479480184216 94479480184836 94479482580992 140730736437592 140730736437794 140730736437794 140730736443367 0
/proc/19914/statm: 301448 14856 8104 1 0 272806 0
[pid=19968] ppid=19914 vsize=90308 memory=73436 CPUtime=134.33 cores=5,7
/proc/19968/stat : 19968 (naps-1.03a6) R 19914 19968 19968 0 -1 4194304 34067 0 0 0 13427 6 0 0 20 0 1 0 31610593 92475392 18359 18446744073709551615 4198400 7047149 140737376303104 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 29061120 140737376307585 140737376307699 140737376307699 140737376313289 0
/proc/19968/statm: 22577 18359 544 696 0 21738 0
Current children cumulated CPU time: 137.26 s
Current children cumulated vsize: 1300292 KiB
Current children cumulated memory: 135932 KiB
Child status: 0
Real time (s): 138.47
CPU time (s): 137.36
CPU user time (s): 137.238
CPU system time (s): 0.122095
CPU usage (%): 99.1988
Max. virtual memory (cumulated for all children) (KiB): 1300292
Max. memory (cumulated for all children) (KiB): 139388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 137.238
system time used= 0.122095
maximum resident set size= 76892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45754
page faults= 138
swaps= 0
block input operations= 18448
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 820
involuntary context switches= 130
# summary of solver processes directly reported to runsolver:
# pid: 19902
# total CPU time (s): 137.36
# total CPU user time (s): 137.238
# total CPU system time (s): 0.122095
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.294475 second user time and 0.626274 second system time
The end