0.38/0.41 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4529696-1752253470.opb
0.38/0.41 c Solving mode: decision
0.38/0.41 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
0.38/0.41 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.38/0.41 c original problem has 77 variables (77 bin, 0 int, 0 impl, 0 cont) and 2 constraints
0.38/0.41 c presolving:
0.38/0.41 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.38/0.41 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.38/0.41 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.38/0.41 c (0.0s) probing: 51/77 (66.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.38/0.41 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.38/0.41 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.38/0.41 c (0.0s) no symmetry present (symcode time: 0.00)
0.38/0.41 c presolving (4 rounds: 4 fast, 2 medium, 2 exhaustive):
0.38/0.41 c 0 deleted vars, 1 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 49 changed sides, 48 changed coefficients
0.38/0.41 c 0 implications, 30 cliques
0.38/0.41 c presolved problem has 77 variables (77 bin, 0 int, 0 impl, 0 cont) and 2 constraints
0.38/0.41 c 2 constraints of type <linear>
0.38/0.41 c transformed objective value is always integral (scale: 1)
0.38/0.41 c Presolving Time: 0.00
0.38/0.41 c
0.38/0.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.38/0.41 c 0.0s| 1 | 0 | 4 | - | 1531k | 0 | 77 | 3 | 2 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.38/0.41 c 0.0s| 1 | 0 | 6 | - | 1553k | 0 | 77 | 3 | 3 | 1 | 1 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.38/0.41 c 0.0s| 1 | 0 | 8 | - | 1577k | 0 | 77 | 3 | 4 | 2 | 2 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.38/0.41 c 0.0s| 1 | 0 | 11 | - | 1616k | 0 | 77 | 3 | 5 | 3 | 3 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.38/0.41 c 0.0s| 1 | 0 | 12 | - | 1650k | 0 | 77 | 3 | 6 | 4 | 4 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.38/0.41 c 0.0s| 1 | 0 | 14 | - | 1685k | 0 | 77 | 3 | 7 | 5 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.38/0.41 c 0.0s| 1 | 0 | 18 | - | 1686k | 0 | 77 | 3 | 9 | 7 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.38/0.41 c 0.0s| 1 | 0 | 20 | - | 1749k | 0 | 77 | 3 | 11 | 9 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.38/0.41 c 0.0s| 1 | 0 | 26 | - | 1853k | 0 | 77 | 3 | 13 | 11 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.38/0.41 c 0.0s| 1 | 0 | 30 | - | 1881k | 0 | 77 | 3 | 15 | 13 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.38/0.41 c 0.0s| 1 | 0 | 31 | - | 1977k | 0 | 77 | 3 | 16 | 14 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.38/0.41 c 0.0s| 1 | 0 | 32 | - | 2005k | 0 | 77 | 3 | 17 | 15 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.38/0.41 c 0.0s| 1 | 0 | 36 | - | 2121k | 0 | 77 | 3 | 18 | 16 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.38/0.41 c 0.0s| 1 | 0 | 39 | - | 2170k | 0 | 77 | 3 | 20 | 18 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.38/0.41 c 0.0s| 1 | 0 | 41 | - | 2186k | 0 | 77 | 3 | 22 | 20 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.38/0.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.38/0.41 c 0.0s| 1 | 0 | 42 | - | 2188k | 0 | 77 | 3 | 20 | 21 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.38/0.41 c 0.0s| 1 | 0 | 44 | - | 2226k | 0 | 77 | 3 | 21 | 22 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.38/0.41 c 0.0s| 1 | 0 | 45 | - | 2333k | 0 | 77 | 3 | 22 | 23 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.38/0.41 c 0.0s| 1 | 0 | 48 | - | 2333k | 0 | 77 | 3 | 24 | 25 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.38/0.41 c 0.0s| 1 | 0 | 50 | - | 2365k | 0 | 77 | 3 | 25 | 26 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.38/0.41 c 0.0s| 1 | 0 | 54 | - | 2462k | 0 | 77 | 3 | 26 | 27 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.38/0.41 c 0.0s| 1 | 0 | 56 | - | 2462k | 0 | 77 | 3 | 18 | 28 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.38/0.41 c 0.0s| 1 | 0 | 58 | - | 2462k | 0 | 77 | 3 | 20 | 30 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.38/0.41 c 0.0s| 1 | 0 | 59 | - | 2462k | 0 | 77 | 3 | 21 | 31 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.38/0.41 c 0.0s| 1 | 0 | 60 | - | 2466k | 0 | 77 | 3 | 22 | 32 | 24 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.38/0.41 c 0.0s| 1 | 0 | 61 | - | 2466k | 0 | 77 | 3 | 23 | 33 | 25 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.38/0.41 c 0.0s| 1 | 0 | 62 | - | 2655k | 0 | 77 | 3 | 24 | 34 | 26 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.38/0.41 c 0.0s| 1 | 0 | 65 | - | 2655k | 0 | 77 | 3 | 17 | 35 | 27 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.38/0.41 c 0.0s| 1 | 0 | 66 | - | 2655k | 0 | 77 | 3 | 18 | 36 | 28 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.38/0.41 c 0.0s| 1 | 0 | 67 | - | 2655k | 0 | 77 | 3 | 19 | 37 | 29 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.38/0.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.38/0.41 c 0.0s| 1 | 0 | 68 | - | 2706k | 0 | 77 | 3 | 20 | 38 | 30 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.38/0.41 c 0.0s| 1 | 2 | 76 | - | 2716k | 0 | 77 | 3 | 20 | 38 | 30 | 0 | 12 | 0.000000e+00 | -- | Inf | unknown
0.38/0.41 c 0.1s| 100 | 63 | 238 | 1.7 | 2951k | 32 | 77 | 3 | 7 | 47 | 1 | 0 | 12 | 0.000000e+00 | -- | Inf | 1.23%
0.38/0.41 c 0.1s| 200 | 73 | 308 | 1.2 | 2986k | 34 | 77 | 3 | 0 | 48 | 0 | 0 | 12 | 0.000000e+00 | -- | Inf | 1.43%
0.38/0.41 c 0.2s| 300 | 105 | 424 | 1.2 | 3023k | 36 | 77 | 3 | 0 | 48 | 0 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.38/0.41 c 0.2s| 400 | 145 | 521 | 1.1 | 3023k | 38 | 77 | 3 | 0 | 48 | 0 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.38/0.41 c 0.2s| 500 | 151 | 595 | 1.1 | 3099k | 38 | 77 | 3 | 7 | 51 | 1 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.38/0.41 c 0.2s| 600 | 225 | 839 | 1.3 | 3254k | 42 | 77 | 3 | 7 | 57 | 1 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.38/0.41 c 0.2s| 700 | 269 | 958 | 1.3 | 3336k | 43 | 77 | 3 | 0 | 73 | 0 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.38/0.41 c 0.2s| 800 | 301 | 1083 | 1.3 | 3354k | 44 | 77 | 3 | 7 | 98 | 1 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.38/0.41 c 0.2s| 900 | 333 | 1193 | 1.3 | 3355k | 45 | 77 | 3 | 7 | 125 | 1 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.96/1.07 c 0.3s| 1000 | 361 | 1294 | 1.2 | 3424k | 45 | 77 | 3 | 0 | 132 | 0 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.96/1.07 c 0.3s| 1100 | 385 | 1399 | 1.2 | 3438k | 45 | 77 | 3 | 9 | 152 | 1 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.96/1.07 c 0.3s| 1200 | 401 | 1516 | 1.2 | 3548k | 45 | 77 | 3 | 9 | 177 | 1 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.96/1.07 c 0.3s| 1300 | 419 | 1612 | 1.2 | 3548k | 45 | 77 | 3 | 0 | 199 | 0 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.96/1.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.96/1.07 c 0.3s| 1400 | 439 | 1710 | 1.2 | 3577k | 45 | 77 | 3 | 7 | 219 | 1 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.96/1.07 c 0.3s| 1500 | 481 | 1869 | 1.2 | 3592k | 45 | 77 | 3 | 7 | 249 | 1 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.96/1.07 c 0.4s| 1600 | 495 | 1987 | 1.2 | 3688k | 45 | 77 | 3 | 7 | 285 | 1 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.96/1.07 c 0.4s| 1700 | 515 | 2073 | 1.2 | 3688k | 45 | 77 | 3 | 8 | 299 | 1 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.96/1.07 c 0.4s| 1800 | 555 | 2155 | 1.2 | 3833k | 45 | 77 | 3 | 7 | 299 | 1 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.96/1.07 c 0.4s| 1900 | 583 | 2241 | 1.1 | 3836k | 45 | 77 | 3 | 7 | 301 | 1 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.96/1.07 c 0.4s| 2000 | 593 | 2325 | 1.1 | 3836k | 45 | 77 | 3 | 7 | 314 | 1 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.96/1.07 c 0.4s| 2100 | 607 | 2399 | 1.1 | 3836k | 45 | 77 | 3 | 0 | 317 | 0 | 0 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.96/1.07 c 0.4s| 2200 | 637 | 2538 | 1.1 | 4111k | 45 | 77 | 3 | 7 | 349 | 1 | 1 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.96/1.07 c 0.5s| 2300 | 687 | 2683 | 1.1 | 4114k | 45 | 77 | 3 | 7 | 395 | 1 | 1 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.96/1.07 c 0.5s| 2400 | 725 | 2865 | 1.2 | 4252k | 45 | 77 | 3 | 7 | 450 | 1 | 1 | 12 | 0.000000e+00 | -- | Inf | 2.80%
0.96/1.07 c 0.5s| 2500 | 731 | 2953 | 1.2 | 4252k | 45 | 77 | 3 | 6 | 462 | 1 | 1 | 12 | 0.000000e+00 | -- | Inf | 3.19%
0.96/1.07 c 0.5s| 2600 | 731 | 3003 | 1.1 | 4283k | 45 | 77 | 3 | 6 | 462 | 1 | 1 | 12 | 0.000000e+00 | -- | Inf | 3.19%
0.96/1.07 c 0.5s| 2700 | 753 | 3129 | 1.1 | 4284k | 45 | 77 | 3 | 6 | 497 | 1 | 1 | 12 | 0.000000e+00 | -- | Inf | 3.19%
0.96/1.07 c 0.5s| 2800 | 769 | 3208 | 1.1 | 4286k | 45 | 77 | 3 | 0 | 500 | 0 | 1 | 12 | 0.000000e+00 | -- | Inf | 3.20%
0.96/1.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.96/1.07 c 0.5s| 2900 | 779 | 3265 | 1.1 | 4286k | 45 | 77 | 3 | 7 | 500 | 1 | 1 | 12 | 0.000000e+00 | -- | Inf | 3.20%
0.96/1.07 c 0.5s| 3000 | 791 | 3324 | 1.1 | 4286k | 46 | 77 | 3 | 0 | 500 | 0 | 1 | 12 | 0.000000e+00 | -- | Inf | 3.20%
0.96/1.07 c 0.6s| 3100 | 805 | 3439 | 1.1 | 4286k | 46 | 77 | 3 | 6 | 526 | 1 | 1 | 12 | 0.000000e+00 | -- | Inf | 3.20%
0.96/1.07 c 0.6s| 3200 | 823 | 3520 | 1.1 | 4288k | 46 | 77 | 3 | 6 | 528 | 1 | 1 | 12 | 0.000000e+00 | -- | Inf | 3.20%
0.96/1.07 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
0.96/1.07 c (run 1, node 3248) performing user restart
0.96/1.07 c
0.96/1.07 c (restart) converted 3 cuts from the global cut pool into linear constraints
0.96/1.07 c
0.96/1.07 c presolving:
0.96/1.07 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.96/1.07 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.96/1.07 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.96/1.07 c presolving (4 rounds: 4 fast, 2 medium, 2 exhaustive):
0.96/1.07 c 0 deleted vars, 0 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 5 changed sides, 5 changed coefficients
0.96/1.07 c 0 implications, 33 cliques
0.96/1.07 c presolved problem has 77 variables (77 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.96/1.07 c 4 constraints of type <linear>
0.96/1.07 c 3 constraints of type <logicor>
0.96/1.07 c transformed objective value is always integral (scale: 1)
0.96/1.07 c Presolving Time: 0.00
0.96/1.07 c
0.96/1.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.96/1.07 c 0.6s| 1 | 0 | 3571 | - | 4301k | 0 | 77 | 7 | 6 | 0 | 0 | 1 | 12 | 0.000000e+00 | -- | Inf | unknown
0.96/1.07 c 0.6s| 1 | 0 | 3573 | - | 4317k | 0 | 77 | 7 | 7 | 1 | 1 | 1 | 12 | 0.000000e+00 | -- | Inf | unknown
0.96/1.07 c 0.6s| 1 | 0 | 3574 | - | 4317k | 0 | 77 | 7 | 8 | 2 | 2 | 1 | 12 | 0.000000e+00 | -- | Inf | unknown
0.96/1.07 c 0.6s| 1 | 0 | 3575 | - | 4317k | 0 | 77 | 7 | 9 | 3 | 3 | 1 | 12 | 0.000000e+00 | -- | Inf | unknown
0.96/1.07 c 0.6s| 1 | 0 | 3576 | - | 4317k | 0 | 77 | 7 | 10 | 4 | 4 | 1 | 12 | 0.000000e+00 | -- | Inf | unknown
0.96/1.07 c 0.6s| 1 | 0 | 3577 | - | 4317k | 0 | 77 | 7 | 11 | 5 | 5 | 1 | 12 | 0.000000e+00 | -- | Inf | unknown
0.96/1.07 c 0.6s| 1 | 0 | 3578 | - | 4317k | 0 | 77 | 7 | 12 | 6 | 6 | 1 | 12 | 0.000000e+00 | -- | Inf | unknown
0.96/1.07 c 0.6s| 1 | 0 | 3580 | - | 4319k | 0 | 77 | 7 | 14 | 8 | 7 | 1 | 12 | 0.000000e+00 | -- | Inf | unknown
0.96/1.07 c 0.6s| 1 | 0 | 3582 | - | 4320k | 0 | 77 | 7 | 16 | 10 | 8 | 1 | 12 | 0.000000e+00 | -- | Inf | unknown
0.96/1.07 c 0.6s| 1 | 0 | 3583 | - | 4320k | 0 | 77 | 7 | 17 | 11 | 9 | 1 | 12 | 0.000000e+00 | -- | Inf | unknown
0.96/1.07 c 0.6s| 1 | 0 | 3586 | - | 4320k | 0 | 77 | 7 | 19 | 13 | 10 | 1 | 12 | 0.000000e+00 | -- | Inf | unknown
0.96/1.07 c 0.6s| 1 | 0 | 3588 | - | 4322k | 0 | 77 | 7 | 21 | 15 | 11 | 1 | 12 | 0.000000e+00 | -- | Inf | unknown
0.96/1.07 c 0.6s| 1 | 2 | 3635 | - | 4322k | 0 | 77 | 7 | 21 | 15 | 11 | 1 | 14 | 0.000000e+00 | -- | Inf | unknown
0.96/1.07 c 0.7s| 100 | 57 | 3777 | 1.1 | 4348k | 22 | 77 | 7 | 3 | 29 | 1 | 1 | 14 | 0.000000e+00 | -- | Inf | 10.39%
0.96/1.07 c 0.7s| 200 | 119 | 4091 | 1.2 | 4354k | 25 | 77 | 7 | 3 | 47 | 1 | 1 | 14 | 0.000000e+00 | -- | Inf | 10.87%
0.96/1.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.96/1.07 c 0.7s| 300 | 177 | 4218 | 1.2 | 4354k | 38 | 77 | 7 | 3 | 47 | 1 | 1 | 14 | 0.000000e+00 | -- | Inf | 10.88%
0.96/1.07 c 0.8s| 400 | 193 | 4322 | 1.2 | 4355k | 38 | 77 | 7 | 3 | 56 | 1 | 1 | 14 | 0.000000e+00 | -- | Inf | 12.83%
0.96/1.07 c 0.8s| 500 | 207 | 4391 | 1.1 | 4358k | 38 | 77 | 7 | 4 | 58 | 1 | 1 | 14 | 0.000000e+00 | -- | Inf | 13.09%
0.96/1.07 c 0.8s| 600 | 217 | 4454 | 1.1 | 4358k | 38 | 77 | 7 | 4 | 58 | 1 | 1 | 14 | 0.000000e+00 | -- | Inf | 13.11%
0.96/1.07 c 0.9s| 700 | 233 | 4529 | 1.1 | 4358k | 38 | 77 | 8 | 4 | 59 | 1 | 2 | 14 | 0.000000e+00 | -- | Inf | 13.12%
0.96/1.07 c 0.9s| 800 | 245 | 4599 | 1.1 | 4361k | 38 | 77 | 9 | 4 | 60 | 1 | 3 | 14 | 0.000000e+00 | -- | Inf | 13.14%
1.56/1.62 c 0.9s| 900 | 261 | 4665 | 1.1 | 4361k | 38 | 77 | 9 | 4 | 60 | 1 | 3 | 14 | 0.000000e+00 | -- | Inf | 13.14%
1.56/1.62 c 0.9s| 1000 | 267 | 4725 | 1.1 | 4365k | 38 | 77 | 9 | 4 | 63 | 1 | 3 | 14 | 0.000000e+00 | -- | Inf | 14.61%
1.56/1.62 c 1.0s| 1100 | 275 | 4823 | 1.1 | 4370k | 38 | 77 | 10 | 0 | 73 | 0 | 4 | 14 | 0.000000e+00 | -- | Inf | 15.45%
1.56/1.62 c 1.0s| 1200 | 281 | 4902 | 1.1 | 4382k | 38 | 77 | 11 | 0 | 77 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 17.02%
1.56/1.62 c 1.0s| 1300 | 295 | 4968 | 1.1 | 4390k | 38 | 77 | 11 | 4 | 81 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 17.17%
1.56/1.62 c 1.1s| 1400 | 297 | 5023 | 1.1 | 4390k | 38 | 77 | 11 | 0 | 81 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 17.20%
1.56/1.62 c 1.1s| 1500 | 295 | 5085 | 1.1 | 4390k | 38 | 77 | 11 | 0 | 85 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 17.33%
1.56/1.62 c 1.1s| 1600 | 303 | 5140 | 1.0 | 4390k | 38 | 77 | 11 | 0 | 85 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 17.34%
1.56/1.62 c 1.1s| 1700 | 305 | 5206 | 1.0 | 4390k | 38 | 77 | 11 | 4 | 89 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 20.56%
1.56/1.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.56/1.62 c 1.1s| 1800 | 315 | 5291 | 1.0 | 4404k | 38 | 77 | 11 | 0 | 97 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.15%
1.56/1.62 c 1.1s| 1900 | 341 | 5379 | 1.0 | 4404k | 38 | 77 | 11 | 4 | 102 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.38%
1.56/1.62 c 1.1s| 2000 | 347 | 5443 | 1.0 | 4404k | 38 | 77 | 11 | 4 | 104 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.47%
1.56/1.62 c 1.1s| 2100 | 359 | 5510 | 1.0 | 4411k | 38 | 77 | 11 | 0 | 104 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.48%
1.56/1.62 c 1.1s| 2200 | 367 | 5570 | 1.0 | 4411k | 38 | 77 | 11 | 0 | 105 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.48%
1.56/1.62 c 1.1s| 2300 | 371 | 5622 | 1.0 | 4411k | 38 | 77 | 11 | 0 | 105 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.48%
1.56/1.62 c 1.1s| 2400 | 377 | 5685 | 1.0 | 4411k | 38 | 77 | 11 | 0 | 109 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.64%
1.56/1.62 c 1.1s| 2500 | 393 | 5758 | 1.0 | 4444k | 38 | 77 | 11 | 0 | 109 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.65%
1.56/1.62 c 1.2s| 2600 | 417 | 5837 | 1.0 | 4444k | 38 | 77 | 11 | 4 | 109 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.65%
1.56/1.62 c 1.2s| 2700 | 435 | 5907 | 1.0 | 4444k | 38 | 77 | 11 | 4 | 109 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.65%
1.56/1.62 c 1.2s| 2800 | 445 | 5969 | 1.0 | 4451k | 38 | 77 | 11 | 4 | 111 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.70%
1.56/1.62 c 1.2s| 2900 | 453 | 6024 | 1.0 | 4451k | 38 | 77 | 11 | 4 | 111 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.70%
1.56/1.62 c 1.2s| 3000 | 465 | 6086 | 1.0 | 4451k | 38 | 77 | 11 | 4 | 111 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.70%
1.56/1.62 c 1.2s| 3100 | 473 | 6141 | 1.0 | 4451k | 38 | 77 | 11 | 4 | 111 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.70%
1.56/1.62 c 1.2s| 3200 | 471 | 6197 | 0.9 | 4451k | 38 | 77 | 11 | 0 | 111 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.70%
1.56/1.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.56/1.62 c 1.2s| 3300 | 479 | 6254 | 0.9 | 4451k | 38 | 77 | 11 | 0 | 111 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.70%
1.56/1.62 c 1.2s| 3400 | 491 | 6324 | 0.9 | 4451k | 38 | 77 | 11 | 0 | 111 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.70%
1.56/1.62 c 1.2s| 3500 | 491 | 6377 | 0.9 | 4451k | 38 | 77 | 11 | 4 | 111 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.70%
1.56/1.62 c 1.2s| 3600 | 511 | 6444 | 0.9 | 4451k | 38 | 77 | 11 | 4 | 111 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.70%
1.56/1.62 c 1.3s| 3700 | 517 | 6500 | 0.9 | 4451k | 38 | 77 | 11 | 0 | 113 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.90%
1.56/1.62 c 1.3s| 3800 | 535 | 6569 | 0.9 | 4451k | 38 | 77 | 11 | 4 | 115 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.92%
1.56/1.62 c 1.3s| 3900 | 569 | 6654 | 0.9 | 4459k | 38 | 77 | 11 | 4 | 115 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.92%
1.56/1.62 c 1.3s| 4000 | 567 | 6703 | 0.9 | 4459k | 38 | 77 | 11 | 4 | 115 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.92%
1.56/1.62 c 1.3s| 4100 | 573 | 6764 | 0.9 | 4459k | 38 | 77 | 11 | 3 | 115 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 21.97%
1.56/1.62 c 1.3s| 4200 | 577 | 6826 | 0.9 | 4459k | 38 | 77 | 11 | 0 | 115 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 22.01%
1.56/1.62 c 1.3s| 4300 | 569 | 6874 | 0.9 | 4459k | 38 | 77 | 11 | 4 | 115 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 22.05%
1.56/1.62 c 1.3s| 4400 | 573 | 6952 | 0.9 | 4459k | 38 | 77 | 11 | 0 | 123 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 23.54%
1.56/1.62 c 1.3s| 4500 | 573 | 7007 | 0.9 | 4459k | 38 | 77 | 11 | 4 | 123 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 23.57%
1.56/1.62 c 1.3s| 4600 | 579 | 7067 | 0.9 | 4464k | 38 | 77 | 11 | 2 | 123 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 24.75%
1.56/1.62 c 1.3s| 4700 | 595 | 7151 | 0.9 | 4468k | 38 | 77 | 11 | 5 | 139 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 27.09%
1.56/1.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.56/1.62 c 1.4s| 4800 | 627 | 7265 | 0.9 | 4476k | 38 | 77 | 11 | 0 | 152 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 27.27%
1.56/1.62 c 1.4s| 4900 | 635 | 7322 | 0.9 | 4481k | 38 | 77 | 11 | 4 | 154 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 27.33%
1.56/1.62 c 1.4s| 5000 | 645 | 7393 | 0.9 | 4481k | 38 | 77 | 11 | 4 | 160 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 27.47%
1.56/1.62 c 1.4s| 5100 | 655 | 7449 | 0.9 | 4494k | 38 | 77 | 11 | 0 | 160 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 27.52%
1.56/1.62 c 1.4s| 5200 | 667 | 7515 | 0.9 | 4494k | 38 | 77 | 11 | 4 | 164 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 27.59%
1.56/1.62 c 1.4s| 5300 | 687 | 7599 | 0.9 | 4494k | 38 | 77 | 11 | 4 | 166 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 27.61%
1.56/1.62 c 1.4s| 5400 | 737 | 7749 | 0.9 | 4496k | 38 | 77 | 11 | 4 | 166 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 27.62%
1.56/1.62 c 1.4s| 5500 | 775 | 7862 | 0.9 | 4496k | 39 | 77 | 11 | 4 | 166 | 1 | 5 | 14 | 0.000000e+00 | -- | Inf | 27.62%
1.56/1.62 c 1.4s| 5600 | 789 | 7957 | 0.9 | 4496k | 39 | 77 | 11 | 0 | 166 | 0 | 5 | 14 | 0.000000e+00 | -- | Inf | 27.62%
1.56/1.62 c 1.4s| 5700 | 805 | 8025 | 0.9 | 4496k | 39 | 77 | 12 | 0 | 166 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.63%
1.56/1.62 c 1.4s| 5800 | 809 | 8097 | 0.9 | 4496k | 39 | 77 | 12 | 0 | 166 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.66%
1.56/1.62 c 1.4s| 5900 | 827 | 8181 | 0.9 | 4496k | 39 | 77 | 12 | 5 | 171 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.67%
1.56/1.62 c 1.5s| 6000 | 835 | 8241 | 0.9 | 4496k | 39 | 77 | 12 | 0 | 171 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.68%
1.56/1.62 c 1.5s| 6100 | 839 | 8296 | 0.9 | 4496k | 39 | 77 | 12 | 4 | 171 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.69%
2.06/2.12 c 1.5s| 6200 | 859 | 8368 | 0.9 | 4499k | 39 | 77 | 12 | 4 | 171 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.69%
2.06/2.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.06/2.12 c 1.5s| 6300 | 875 | 8437 | 0.9 | 4499k | 42 | 77 | 12 | 0 | 177 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.69%
2.06/2.12 c 1.5s| 6400 | 879 | 8495 | 0.9 | 4499k | 42 | 77 | 12 | 0 | 179 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.69%
2.06/2.12 c 1.5s| 6500 | 895 | 8555 | 0.9 | 4499k | 42 | 77 | 12 | 0 | 179 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.69%
2.06/2.12 c 1.5s| 6600 | 903 | 8611 | 0.9 | 4513k | 42 | 77 | 12 | 0 | 180 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.69%
2.06/2.12 c 1.5s| 6700 | 917 | 8670 | 0.9 | 4513k | 42 | 77 | 12 | 4 | 182 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.69%
2.06/2.12 c 1.5s| 6800 | 919 | 8745 | 0.9 | 4513k | 42 | 77 | 12 | 4 | 192 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.69%
2.06/2.12 c 1.5s| 6900 | 925 | 8806 | 0.9 | 4513k | 43 | 77 | 12 | 5 | 196 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.69%
2.06/2.12 c 1.5s| 7000 | 925 | 8867 | 0.9 | 4771k | 43 | 77 | 12 | 0 | 203 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.69%
2.06/2.12 c 1.6s| 7100 | 931 | 8929 | 0.9 | 4771k | 43 | 77 | 12 | 4 | 211 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.69%
2.06/2.12 c 1.6s| 7200 | 935 | 8993 | 0.9 | 4845k | 43 | 77 | 12 | 4 | 221 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.69%
2.06/2.12 c 1.6s| 7300 | 939 | 9056 | 0.9 | 4845k | 43 | 77 | 12 | 0 | 227 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.70%
2.06/2.12 c 1.6s| 7400 | 947 | 9110 | 0.8 | 4845k | 43 | 77 | 12 | 4 | 227 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.70%
2.06/2.12 c 1.6s| 7500 | 957 | 9165 | 0.8 | 4845k | 43 | 77 | 12 | 0 | 227 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.70%
2.06/2.12 c 1.6s| 7600 | 967 | 9220 | 0.8 | 4845k | 43 | 77 | 12 | 4 | 227 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.70%
2.06/2.12 c 1.6s| 7700 | 973 | 9273 | 0.8 | 4845k | 43 | 77 | 12 | 4 | 227 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.70%
2.06/2.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.06/2.12 c 1.6s| 7800 | 971 | 9322 | 0.8 | 4845k | 43 | 77 | 12 | 0 | 227 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.70%
2.06/2.12 c 1.6s| 7900 | 987 | 9395 | 0.8 | 4849k | 43 | 77 | 12 | 0 | 233 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.70%
2.06/2.12 c 1.6s| 8000 | 991 | 9470 | 0.8 | 5108k | 43 | 77 | 12 | 0 | 243 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.70%
2.06/2.12 c 1.6s| 8100 | 991 | 9548 | 0.8 | 5108k | 46 | 77 | 12 | 4 | 255 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.70%
2.06/2.12 c 1.7s| 8200 | 995 | 9619 | 0.8 | 5108k | 46 | 77 | 12 | 0 | 271 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.70%
2.06/2.12 c 1.7s| 8300 | 993 | 9679 | 0.8 | 5108k | 46 | 77 | 12 | 4 | 281 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.70%
2.06/2.12 c 1.7s| 8400 | 995 | 9758 | 0.8 | 5115k | 46 | 77 | 12 | 4 | 299 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.70%
2.06/2.12 c 1.7s| 8500 | 1007 | 9826 | 0.8 | 5170k | 46 | 77 | 12 | 4 | 306 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.70%
2.06/2.12 c 1.7s| 8600 | 1009 | 9912 | 0.8 | 5396k | 46 | 77 | 12 | 4 | 328 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.70%
2.06/2.12 c 1.7s| 8700 | 1009 | 9974 | 0.8 | 5463k | 46 | 77 | 12 | 4 | 338 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.71%
2.06/2.12 c 1.7s| 8800 | 1005 | 10043 | 0.8 | 5473k | 46 | 77 | 12 | 4 | 354 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.71%
2.06/2.12 c 1.7s| 8900 | 1001 | 10099 | 0.8 | 5473k | 46 | 77 | 12 | 4 | 359 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.71%
2.06/2.12 c 1.7s| 9000 | 1005 | 10152 | 0.8 | 5482k | 46 | 77 | 12 | 0 | 359 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.71%
2.06/2.12 c 1.8s| 9100 | 1017 | 10211 | 0.8 | 5482k | 46 | 77 | 12 | 4 | 359 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
2.06/2.12 c 1.8s| 9200 | 1031 | 10268 | 0.8 | 5482k | 46 | 77 | 12 | 4 | 359 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
2.06/2.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.06/2.12 c 1.8s| 9300 | 1037 | 10321 | 0.8 | 5482k | 46 | 77 | 12 | 0 | 359 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
2.06/2.12 c 1.8s| 9400 | 1047 | 10377 | 0.8 | 5491k | 46 | 77 | 12 | 0 | 359 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
2.06/2.12 c 1.8s| 9500 | 1057 | 10433 | 0.8 | 5491k | 46 | 77 | 12 | 4 | 359 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
2.06/2.12 c 1.8s| 9600 | 1063 | 10486 | 0.8 | 5491k | 46 | 77 | 12 | 4 | 359 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
2.06/2.12 c 1.8s| 9700 | 1067 | 10538 | 0.8 | 5505k | 46 | 77 | 12 | 4 | 359 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
2.06/2.12 c 1.8s| 9800 | 1091 | 10626 | 0.8 | 5505k | 46 | 77 | 12 | 0 | 359 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
2.06/2.12 c 1.8s| 9900 | 1093 | 10677 | 0.8 | 5505k | 46 | 77 | 12 | 4 | 359 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
2.06/2.12 c 1.8s| 10000 | 1099 | 10734 | 0.8 | 5505k | 46 | 77 | 12 | 0 | 359 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
2.06/2.12 c 1.8s| 10100 | 1109 | 10789 | 0.8 | 5505k | 46 | 77 | 12 | 4 | 359 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
2.06/2.12 c 1.9s| 10200 | 1113 | 10841 | 0.8 | 5505k | 46 | 77 | 12 | 4 | 359 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
2.06/2.12 c 1.9s| 10300 | 1119 | 10900 | 0.8 | 5505k | 46 | 77 | 12 | 6 | 365 | 2 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
2.06/2.12 c 1.9s| 10400 | 1131 | 10958 | 0.8 | 5505k | 46 | 77 | 12 | 4 | 367 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
2.06/2.12 c 1.9s| 10500 | 1127 | 11019 | 0.8 | 5505k | 46 | 77 | 12 | 4 | 377 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
2.06/2.12 c 1.9s| 10600 | 1123 | 11073 | 0.8 | 5505k | 46 | 77 | 12 | 6 | 381 | 2 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
2.06/2.12 c 1.9s| 10700 | 1131 | 11131 | 0.8 | 5570k | 46 | 77 | 12 | 4 | 385 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
2.06/2.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.06/2.12 c 1.9s| 10800 | 1141 | 11216 | 0.8 | 5574k | 46 | 77 | 12 | 4 | 402 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
2.06/2.12 c 1.9s| 10900 | 1141 | 11302 | 0.8 | 5581k | 46 | 77 | 12 | 6 | 421 | 2 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.72%
2.06/2.12 c 1.9s| 11000 | 1147 | 11356 | 0.8 | 5581k | 46 | 77 | 12 | 0 | 421 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.73%
2.06/2.12 c 1.9s| 11100 | 1153 | 11409 | 0.8 | 5581k | 46 | 77 | 12 | 0 | 421 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.73%
2.06/2.12 c 2.0s| 11200 | 1159 | 11490 | 0.8 | 5581k | 46 | 77 | 12 | 4 | 436 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.73%
2.06/2.12 c 2.0s| 11300 | 1163 | 11542 | 0.8 | 5581k | 46 | 77 | 12 | 4 | 436 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.73%
2.45/2.57 c 2.0s| 11400 | 1167 | 11596 | 0.8 | 5581k | 46 | 77 | 12 | 0 | 436 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.75%
2.45/2.57 c 2.0s| 11500 | 1181 | 11659 | 0.8 | 5581k | 46 | 77 | 12 | 4 | 438 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.94%
2.45/2.57 c 2.0s| 11600 | 1189 | 11723 | 0.8 | 5581k | 46 | 77 | 12 | 0 | 446 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 27.94%
2.45/2.57 c 2.0s| 11700 | 1195 | 11780 | 0.8 | 5581k | 46 | 77 | 12 | 5 | 447 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.07%
2.45/2.57 c 2.0s| 11800 | 1193 | 11829 | 0.8 | 5581k | 46 | 77 | 12 | 0 | 447 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.07%
2.45/2.57 c 2.0s| 11900 | 1197 | 11900 | 0.8 | 5581k | 46 | 77 | 12 | 0 | 454 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.07%
2.45/2.57 c 2.0s| 12000 | 1197 | 11953 | 0.8 | 5581k | 46 | 77 | 12 | 0 | 454 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.07%
2.45/2.57 c 2.0s| 12100 | 1201 | 12007 | 0.8 | 5581k | 46 | 77 | 12 | 4 | 454 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.07%
2.45/2.57 c 2.0s| 12200 | 1201 | 12058 | 0.8 | 5581k | 46 | 77 | 12 | 0 | 454 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.07%
2.45/2.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.45/2.57 c 2.0s| 12300 | 1203 | 12110 | 0.8 | 5581k | 46 | 77 | 12 | 0 | 454 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.07%
2.45/2.57 c 2.1s| 12400 | 1199 | 12158 | 0.8 | 5581k | 46 | 77 | 12 | 4 | 454 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.07%
2.45/2.57 c 2.1s| 12500 | 1203 | 12216 | 0.8 | 5581k | 46 | 77 | 12 | 0 | 454 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.08%
2.45/2.57 c 2.1s| 12600 | 1205 | 12276 | 0.8 | 5586k | 46 | 77 | 12 | 3 | 458 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.24%
2.45/2.57 c 2.1s| 12700 | 1205 | 12327 | 0.8 | 5586k | 46 | 77 | 12 | 0 | 458 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.24%
2.45/2.57 c 2.1s| 12800 | 1205 | 12395 | 0.8 | 5586k | 46 | 77 | 12 | 4 | 465 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.26%
2.45/2.57 c 2.1s| 12900 | 1213 | 12450 | 0.8 | 5586k | 46 | 77 | 12 | 0 | 465 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.27%
2.45/2.57 c 2.1s| 13000 | 1213 | 12500 | 0.8 | 5586k | 46 | 77 | 12 | 4 | 465 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.27%
2.45/2.57 c 2.1s| 13100 | 1217 | 12553 | 0.8 | 5586k | 46 | 77 | 12 | 0 | 465 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.27%
2.45/2.57 c 2.1s| 13200 | 1223 | 12613 | 0.8 | 5596k | 46 | 77 | 12 | 0 | 465 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.27%
2.45/2.57 c 2.1s| 13300 | 1229 | 12669 | 0.8 | 5596k | 46 | 77 | 12 | 0 | 465 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.27%
2.45/2.57 c 2.1s| 13400 | 1231 | 12726 | 0.8 | 5596k | 46 | 77 | 12 | 0 | 465 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.27%
2.45/2.57 c 2.1s| 13500 | 1239 | 12780 | 0.8 | 5596k | 46 | 77 | 12 | 0 | 465 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.27%
2.45/2.57 c 2.1s| 13600 | 1241 | 12831 | 0.8 | 5596k | 46 | 77 | 12 | 4 | 465 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 31.27%
2.45/2.57 c 2.2s| 13700 | 1249 | 12912 | 0.8 | 5600k | 46 | 77 | 12 | 5 | 476 | 2 | 6 | 14 | 0.000000e+00 | -- | Inf | 35.72%
2.45/2.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.45/2.57 c 2.2s| 13800 | 1253 | 12969 | 0.8 | 5620k | 46 | 77 | 12 | 4 | 480 | 2 | 6 | 14 | 0.000000e+00 | -- | Inf | 35.97%
2.45/2.57 c 2.2s| 13900 | 1259 | 13026 | 0.8 | 5620k | 46 | 77 | 12 | 0 | 480 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 36.03%
2.45/2.57 c 2.2s| 14000 | 1263 | 13080 | 0.8 | 5620k | 46 | 77 | 12 | 0 | 482 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 36.13%
2.45/2.57 c 2.2s| 14100 | 1269 | 13141 | 0.8 | 5627k | 46 | 77 | 12 | 4 | 484 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 36.21%
2.45/2.57 c 2.2s| 14200 | 1271 | 13199 | 0.8 | 5692k | 46 | 77 | 12 | 0 | 485 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 36.23%
2.45/2.57 c 2.2s| 14300 | 1279 | 13259 | 0.8 | 5708k | 46 | 77 | 12 | 0 | 485 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 36.24%
2.45/2.57 c 2.2s| 14400 | 1281 | 13313 | 0.7 | 5708k | 46 | 77 | 12 | 0 | 485 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 36.25%
2.45/2.57 c 2.2s| 14500 | 1287 | 13376 | 0.7 | 5708k | 46 | 77 | 12 | 4 | 485 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 36.25%
2.45/2.57 c 2.2s| 14600 | 1299 | 13444 | 0.7 | 5708k | 46 | 77 | 12 | 0 | 485 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 36.25%
2.45/2.57 c 2.2s| 14700 | 1299 | 13499 | 0.7 | 5708k | 46 | 77 | 12 | 0 | 485 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 36.25%
2.45/2.57 c 2.3s| 14800 | 1301 | 13556 | 0.7 | 5712k | 46 | 77 | 12 | 0 | 488 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 37.52%
2.45/2.57 c 2.3s| 14900 | 1327 | 13681 | 0.7 | 5731k | 46 | 77 | 12 | 4 | 503 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.72%
2.45/2.57 c 2.3s| 15000 | 1351 | 13751 | 0.7 | 5738k | 46 | 77 | 12 | 4 | 503 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.73%
2.45/2.57 c 2.3s| 15100 | 1379 | 13828 | 0.7 | 5738k | 46 | 77 | 12 | 4 | 507 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.73%
2.45/2.57 c 2.3s| 15200 | 1433 | 13993 | 0.8 | 5751k | 46 | 77 | 12 | 4 | 515 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.73%
2.45/2.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.45/2.57 c 2.3s| 15300 | 1467 | 14165 | 0.8 | 5751k | 47 | 77 | 12 | 0 | 530 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.73%
2.45/2.57 c 2.3s| 15400 | 1481 | 14223 | 0.8 | 5759k | 47 | 77 | 12 | 4 | 531 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.73%
2.45/2.57 c 2.3s| 15500 | 1513 | 14324 | 0.8 | 5828k | 47 | 77 | 12 | 6 | 537 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.73%
2.45/2.57 c 2.3s| 15600 | 1523 | 14380 | 0.8 | 5834k | 48 | 77 | 12 | 4 | 537 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.73%
2.45/2.57 c 2.3s| 15700 | 1545 | 14454 | 0.8 | 5834k | 51 | 77 | 12 | 0 | 540 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.73%
2.45/2.57 c 2.3s| 15800 | 1557 | 14523 | 0.8 | 5834k | 51 | 77 | 12 | 0 | 542 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.73%
2.45/2.57 c 2.4s| 15900 | 1575 | 14627 | 0.8 | 5841k | 51 | 77 | 12 | 4 | 553 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.73%
2.45/2.57 c 2.4s| 16000 | 1589 | 14734 | 0.8 | 5841k | 52 | 77 | 12 | 4 | 573 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.73%
2.45/2.57 c 2.4s| 16100 | 1601 | 14814 | 0.8 | 5841k | 52 | 77 | 12 | 4 | 584 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.73%
2.45/2.57 c 2.4s| 16200 | 1605 | 14872 | 0.8 | 5852k | 52 | 77 | 12 | 0 | 584 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.73%
2.45/2.57 c 2.4s| 16300 | 1613 | 14938 | 0.8 | 5852k | 52 | 77 | 12 | 4 | 587 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.73%
2.45/2.57 c 2.4s| 16400 | 1633 | 15040 | 0.8 | 5852k | 52 | 77 | 12 | 0 | 604 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.73%
2.45/2.57 c 2.4s| 16500 | 1659 | 15142 | 0.8 | 5857k | 52 | 77 | 12 | 4 | 611 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.73%
2.45/2.57 c 2.4s| 16600 | 1667 | 15220 | 0.8 | 5857k | 52 | 77 | 12 | 5 | 625 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.74%
2.96/3.01 c 2.4s| 16700 | 1679 | 15309 | 0.8 | 5866k | 52 | 77 | 12 | 5 | 626 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.74%
2.96/3.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.96/3.01 c 2.4s| 16800 | 1687 | 15369 | 0.8 | 5866k | 52 | 77 | 12 | 0 | 626 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.74%
2.96/3.01 c 2.4s| 16900 | 1705 | 15454 | 0.8 | 5866k | 52 | 77 | 12 | 0 | 630 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.74%
2.96/3.01 c 2.4s| 17000 | 1727 | 15565 | 0.8 | 5882k | 52 | 77 | 12 | 4 | 644 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.74%
2.96/3.01 c 2.5s| 17100 | 1753 | 15652 | 0.8 | 5882k | 52 | 77 | 12 | 0 | 648 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.74%
2.96/3.01 c 2.5s| 17200 | 1787 | 15800 | 0.8 | 5891k | 52 | 77 | 12 | 5 | 672 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.74%
2.96/3.01 c 2.5s| 17300 | 1803 | 15873 | 0.8 | 5902k | 53 | 77 | 12 | 4 | 675 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.74%
2.96/3.01 c 2.5s| 17400 | 1819 | 15957 | 0.8 | 5902k | 53 | 77 | 12 | 0 | 689 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.74%
2.96/3.01 c 2.5s| 17500 | 1829 | 16021 | 0.8 | 5902k | 53 | 77 | 12 | 5 | 690 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.74%
2.96/3.01 c 2.5s| 17600 | 1841 | 16082 | 0.8 | 5902k | 53 | 77 | 12 | 4 | 694 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.74%
2.96/3.01 c 2.5s| 17700 | 1847 | 16142 | 0.8 | 5902k | 53 | 77 | 12 | 0 | 694 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.74%
2.96/3.01 c 2.5s| 17800 | 1851 | 16209 | 0.8 | 6419k | 53 | 77 | 12 | 0 | 705 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.74%
2.96/3.01 c 2.5s| 17900 | 1863 | 16294 | 0.8 | 6419k | 53 | 77 | 12 | 4 | 722 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.74%
2.96/3.01 c 2.5s| 18000 | 1887 | 16383 | 0.8 | 6443k | 53 | 77 | 12 | 4 | 730 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.5s| 18100 | 1901 | 16449 | 0.8 | 6443k | 53 | 77 | 12 | 4 | 734 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.5s| 18200 | 1911 | 16509 | 0.8 | 6443k | 53 | 77 | 12 | 4 | 734 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.96/3.01 c 2.6s| 18300 | 1925 | 16566 | 0.8 | 6443k | 53 | 77 | 12 | 0 | 734 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.6s| 18400 | 1935 | 16623 | 0.8 | 6443k | 53 | 77 | 12 | 4 | 735 | 1 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.6s| 18500 | 1939 | 16680 | 0.8 | 6867k | 53 | 77 | 12 | 0 | 735 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.6s| 18600 | 1959 | 16773 | 0.8 | 6867k | 53 | 77 | 12 | 0 | 742 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.6s| 18700 | 1989 | 16925 | 0.8 | 6867k | 53 | 77 | 12 | 0 | 765 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.6s| 18800 | 2003 | 17050 | 0.8 | 7119k | 53 | 77 | 12 | 0 | 804 | 0 | 6 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.6s| 18900 | 2009 | 17149 | 0.8 | 7165k | 53 | 77 | 13 | 0 | 823 | 0 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.6s| 19000 | 2007 | 17216 | 0.8 | 7165k | 53 | 77 | 13 | 5 | 829 | 1 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.6s| 19100 | 2015 | 17301 | 0.8 | 7176k | 53 | 77 | 13 | 6 | 848 | 1 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.6s| 19200 | 2031 | 17372 | 0.8 | 7176k | 53 | 77 | 13 | 6 | 855 | 1 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.6s| 19300 | 2081 | 17492 | 0.8 | 7226k | 53 | 77 | 13 | 5 | 874 | 1 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.7s| 19400 | 2105 | 17586 | 0.8 | 7226k | 53 | 77 | 13 | 6 | 893 | 1 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.7s| 19500 | 2123 | 17684 | 0.8 | 7226k | 53 | 77 | 13 | 8 | 909 | 1 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.7s| 19600 | 2141 | 17765 | 0.8 | 7226k | 53 | 77 | 13 | 5 | 913 | 1 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.7s| 19700 | 2157 | 17825 | 0.8 | 7226k | 53 | 77 | 13 | 4 | 913 | 1 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.96/3.01 c 2.7s| 19800 | 2161 | 17877 | 0.8 | 7226k | 53 | 77 | 13 | 0 | 913 | 0 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.7s| 19900 | 2175 | 17951 | 0.8 | 7242k | 53 | 77 | 13 | 0 | 923 | 0 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.7s| 20000 | 2189 | 18008 | 0.8 | 7242k | 53 | 77 | 13 | 0 | 923 | 0 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.7s| 20100 | 2223 | 18141 | 0.8 | 7242k | 53 | 77 | 13 | 4 | 944 | 1 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.7s| 20200 | 2225 | 18236 | 0.8 | 7242k | 53 | 77 | 13 | 4 | 970 | 1 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.7s| 20300 | 2231 | 18317 | 0.8 | 7242k | 53 | 77 | 13 | 4 | 988 | 1 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.7s| 20400 | 2233 | 18403 | 0.8 | 7242k | 53 | 77 | 13 | 0 |1000 | 0 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.7s| 20500 | 2241 | 18468 | 0.8 | 7242k | 53 | 77 | 13 | 0 |1007 | 0 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.8s| 20600 | 2245 | 18534 | 0.8 | 7242k | 53 | 77 | 13 | 0 |1015 | 0 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.8s| 20700 | 2247 | 18625 | 0.8 | 7242k | 53 | 77 | 13 | 0 |1033 | 0 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.8s| 20800 | 2253 | 18698 | 0.8 | 7242k | 53 | 77 | 13 | 5 |1044 | 1 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.8s| 20900 | 2257 | 18769 | 0.8 | 7250k | 53 | 77 | 13 | 4 |1052 | 1 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.8s| 21000 | 2265 | 18829 | 0.8 | 7253k | 53 | 77 | 13 | 4 |1058 | 1 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.8s| 21100 | 2269 | 18897 | 0.8 | 7253k | 53 | 77 | 13 | 0 |1068 | 0 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.8s| 21200 | 2277 | 18967 | 0.8 | 7253k | 53 | 77 | 13 | 4 |1079 | 1 | 7 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.96/3.01 c 2.8s| 21300 | 2281 | 19050 | 0.8 | 7318k | 53 | 77 | 14 | 6 |1093 | 1 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.8s| 21400 | 2283 | 19123 | 0.8 | 7318k | 53 | 77 | 14 | 0 |1101 | 0 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.8s| 21500 | 2289 | 19188 | 0.8 | 7324k | 53 | 77 | 14 | 0 |1104 | 0 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.8s| 21600 | 2299 | 19246 | 0.8 | 7324k | 53 | 77 | 14 | 4 |1104 | 1 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.8s| 21700 | 2317 | 19353 | 0.8 | 7324k | 53 | 77 | 14 | 4 |1123 | 1 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.01 c 2.9s| 21800 | 2321 | 19413 | 0.8 | 7324k | 53 | 77 | 14 | 4 |1127 | 1 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.10 c 2.9s| 21900 | 2329 | 19478 | 0.8 | 7324k | 53 | 77 | 14 | 4 |1134 | 1 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.10 c 2.9s| 22000 | 2341 | 19572 | 0.8 | 7324k | 53 | 77 | 14 | 0 |1157 | 0 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.10 c 2.9s| 22100 | 2343 | 19660 | 0.8 | 7341k | 53 | 77 | 14 | 6 |1171 | 1 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.10 c 2.9s| 22200 | 2353 | 19715 | 0.8 | 7341k | 53 | 77 | 14 | 4 |1171 | 1 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.10 c 2.9s| 22300 | 2373 | 19782 | 0.8 | 7341k | 53 | 77 | 14 | 0 |1180 | 0 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.10 c 2.9s| 22400 | 2393 | 19849 | 0.8 | 7341k | 53 | 77 | 14 | 4 |1181 | 1 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.10 c 2.9s| 22500 | 2417 | 19991 | 0.8 | 7361k | 53 | 77 | 14 | 9 |1227 | 3 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.10 c 2.9s| 22600 | 2421 | 20060 | 0.8 | 7371k | 53 | 77 | 14 | 0 |1236 | 0 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.10 c 2.9s| 22700 | 2429 | 20122 | 0.8 | 7371k | 53 | 77 | 14 | 4 |1239 | 1 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.96/3.10 c 2.9s| 22800 | 2433 | 20174 | 0.8 | 7371k | 53 | 77 | 14 | 0 |1239 | 0 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.10 c 2.9s| 22900 | 2435 | 20245 | 0.8 | 7371k | 53 | 77 | 14 | 0 |1247 | 0 | 8 | 14 | 0.000000e+00 | -- | Inf | 38.76%
2.96/3.10 c r 2.9s| 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.96/3.10 c
2.96/3.10 c SCIP Status : problem is solved [optimal solution found]
2.96/3.10 c Solving Time (sec) : 2.95
2.96/3.10 c Solving Nodes : 22966 (total of 26214 nodes in 2 runs)
2.96/3.10 c Primal Bound : +0.00000000000000e+00 (1 solutions)
2.96/3.10 c Dual Bound : +0.00000000000000e+00
2.96/3.10 c Gap : 0.00 %
2.96/3.10 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.96/3.10 c Computed activity: 33367310
2.96/3.10 c Required: activity >= 33367336
2.96/3.10 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.96/3.10 c SCIP found a solution, but it is not feasible according to the original problem.
2.96/3.10 c ----------------------------------------------------------------------
2.96/3.10 c executing external solver (fallback): HOME/naps-1.03a6
2.96/3.10 c ----------------------------------------------------------------------
2.96/3.10 c command: HOME/naps-1.03a6 HOME/instance-4529696-1752253470.opb
2.96/3.10 c NaPS 1.03a6.
2.96/3.10 c Input file name: HOME/instance-4529696-1752253470.opb
139.41/139.93 c s SATISFIABLE
139.41/139.93 c _____________________________________________________________________________
139.41/139.93 c std/band forms : 0,1
139.41/139.93 c 2cl/3cl ITE-codings : 0,42839
139.41/139.93 c BDD/srt/adr Max costs : 44816,0,0
139.41/139.93 c BDDraw/bin/mul/srt/adr: 0,0,1,0,0
139.41/139.93 c BDD nodes : 44818
139.41/139.93 c Es1/CC detections : 0,0
139.41/139.93 c CC sort : 0
139.41/139.93 c SAT/UNSAT calls : 1,0
139.41/139.93 c regenrated variables : 0
139.41/139.93 c eliminated fixed lits : 0
139.41/139.93 c goal lit flips : 0
139.41/139.93 c goal stages : 0
139.41/139.93 c goal shrink : 0
139.41/139.93 c goal coeff separations: 0
139.41/139.93 c restarts : 9869
139.41/139.93 c conflicts : 329031 (2414 /sec)
139.41/139.93 c decisions : 1644500 (12064 /sec)
139.41/139.93 c propagations : 1391438096 (10207203 /sec)
139.41/139.93 c inspects : 0 (0 /sec)
139.41/139.93 c CPU time (solving tm) : 136.3 s (135.9 s, SAT 135.9 s, UNSAT 0 s)
139.41/139.93 c Time for Opt-base : 0.05697 s
139.41/139.93 c Steps for Opt-base : 234542
139.41/139.93 c Time for BDD coding : 0.3229 s
139.41/139.93 c Time for srt coding : 0 s
139.41/139.93 c _____________________________________________________________________________
139.41/139.93 c 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
139.41/139.93 s SATISFIABLE
139.41/139.93 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: 63665 MiB (52448 MiB free)
memory of node 1: 64507 MiB (55915 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529696-1752253470/watcher-4529696-1752253470 -o /tmp/evaluation-result-4529696-1752253470/solver-4529696-1752253470 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1752253388-115874 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529696-1752253470.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
solver pid=116487, runsolver pid=116484
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 3.47 2.47 2.28 5/272 116492
/proc/meminfo: memFree=110958560/131249996 swapFree=33003468/33010684
[pid=116487] ppid=116484 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116487/stat : 116487 (scip-naps-1.00a) S 116484 116487 115863 0 -1 4194304 257 319 0 0 0 0 0 0 20 0 1 0 141024659 4292608 768 18446744073709551615 94192233615360 94192234509893 140737008988320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94192234748944 94192234796688 94192244838400 140737008994715 140737008994814 140737008994814 140737009000418 0
/proc/116487/statm: 1048 768 704 219 0 110 0
[pid=116492] ppid=116487 vsize=1187384 memory=32500 CPUtime=0.07 cores=4,6
/proc/116492/stat : 116492 (python3) R 116487 116487 115863 0 -1 4194304 3821 0 0 0 6 1 0 0 20 0 1 0 141024661 1215881216 8125 18446744073709551615 94221950861312 94221950861689 140735155407248 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94221950872984 94221950873604 94221957533696 140735155415375 140735155415584 140735155415584 140735155421159 0
/proc/116492/statm: 296846 8125 4934 1 0 268868 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1191576 KiB
Current children cumulated memory: 35572 KiB
[startup+0.206285 s]*
/proc/loadavg: 3.47 2.47 2.28 5/272 116492
/proc/meminfo: memFree=110946464/131249996 swapFree=33003468/33010684
[pid=116487] ppid=116484 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116487/stat : 116487 (scip-naps-1.00a) S 116484 116487 115863 0 -1 4194304 257 319 0 0 0 0 0 0 20 0 1 0 141024659 4292608 768 18446744073709551615 94192233615360 94192234509893 140737008988320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94192234748944 94192234796688 94192244838400 140737008994715 140737008994814 140737008994814 140737009000418 0
/proc/116487/statm: 1048 768 704 219 0 110 0
[pid=116492] ppid=116487 vsize=1202852 memory=55668 CPUtime=0.18 cores=4,6
/proc/116492/stat : 116492 (python3) R 116487 116487 115863 0 -1 4194304 6681 0 0 0 16 2 0 0 20 0 1 0 141024661 1231720448 13917 18446744073709551615 94221950861312 94221950861689 140735155407248 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94221950872984 94221950873604 94221957533696 140735155415375 140735155415584 140735155415584 140735155421159 0
/proc/116492/statm: 300713 13917 8134 1 0 272071 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 1207044 KiB
Current children cumulated memory: 58740 KiB
[startup+0.306248 s]*
/proc/loadavg: 3.47 2.47 2.28 5/272 116492
/proc/meminfo: memFree=110962896/131249996 swapFree=33003468/33010684
[pid=116487] ppid=116484 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116487/stat : 116487 (scip-naps-1.00a) S 116484 116487 115863 0 -1 4194304 257 319 0 0 0 0 0 0 20 0 1 0 141024659 4292608 768 18446744073709551615 94192233615360 94192234509893 140737008988320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94192234748944 94192234796688 94192244838400 140737008994715 140737008994814 140737008994814 140737009000418 0
/proc/116487/statm: 1048 768 704 219 0 110 0
[pid=116492] ppid=116487 vsize=1203012 memory=56052 CPUtime=0.28 cores=4,6
/proc/116492/stat : 116492 (python3) R 116487 116487 115863 0 -1 4194304 6787 0 0 0 26 2 0 0 20 0 1 0 141024661 1231884288 14013 18446744073709551615 94221950861312 94221950861689 140735155407248 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94221950872984 94221950873604 94221957533696 140735155415375 140735155415584 140735155415584 140735155421159 0
/proc/116492/statm: 300753 14013 8134 1 0 272111 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 1207204 KiB
Current children cumulated memory: 59124 KiB
[startup+0.700201 s]
/proc/loadavg: 3.51 2.50 2.29 5/272 116492
/proc/meminfo: memFree=110950800/131249996 swapFree=33003468/33010684
[pid=116487] ppid=116484 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116487/stat : 116487 (scip-naps-1.00a) S 116484 116487 115863 0 -1 4194304 257 319 0 0 0 0 0 0 20 0 1 0 141024659 4292608 768 18446744073709551615 94192233615360 94192234509893 140737008988320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94192234748944 94192234796688 94192244838400 140737008994715 140737008994814 140737008994814 140737009000418 0
/proc/116487/statm: 1048 768 704 219 0 110 0
[pid=116492] ppid=116487 vsize=1204268 memory=57460 CPUtime=0.66 cores=4,6
/proc/116492/stat : 116492 (python3) R 116487 116487 115863 0 -1 4194304 7140 0 0 0 64 2 0 0 20 0 1 0 141024661 1233170432 14365 18446744073709551615 94221950861312 94221950861689 140735155407248 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94221950872984 94221950873604 94221957533696 140735155415375 140735155415584 140735155415584 140735155421159 0
/proc/116492/statm: 301067 14365 8134 1 0 272425 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1208460 KiB
Current children cumulated memory: 60532 KiB
[startup+1.5002 s]
/proc/loadavg: 3.51 2.50 2.29 5/272 116492
/proc/meminfo: memFree=110946768/131249996 swapFree=33003468/33010684
[pid=116487] ppid=116484 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116487/stat : 116487 (scip-naps-1.00a) S 116484 116487 115863 0 -1 4194304 257 319 0 0 0 0 0 0 20 0 1 0 141024659 4292608 768 18446744073709551615 94192233615360 94192234509893 140737008988320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94192234748944 94192234796688 94192244838400 140737008994715 140737008994814 140737008994814 140737009000418 0
/proc/116487/statm: 1048 768 704 219 0 110 0
[pid=116492] ppid=116487 vsize=1204696 memory=58100 CPUtime=1.46 cores=4,6
/proc/116492/stat : 116492 (python3) R 116487 116487 115863 0 -1 4194304 7290 0 0 0 144 2 0 0 20 0 1 0 141024661 1233608704 14525 18446744073709551615 94221950861312 94221950861689 140735155407248 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94221950872984 94221950873604 94221957533696 140735155415375 140735155415584 140735155415584 140735155421159 0
/proc/116492/statm: 301174 14525 8134 1 0 272532 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1208888 KiB
Current children cumulated memory: 61172 KiB
[startup+3.10603 s]
/proc/loadavg: 3.51 2.50 2.29 5/272 116492
/proc/meminfo: memFree=109168668/131249996 swapFree=33003468/33010684
[pid=116487] ppid=116484 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116487/stat : 116487 (scip-naps-1.00a) S 116484 116487 115863 0 -1 4194304 257 319 0 0 0 0 0 0 20 0 1 0 141024659 4292608 768 18446744073709551615 94192233615360 94192234509893 140737008988320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94192234748944 94192234796688 94192244838400 140737008994715 140737008994814 140737008994814 140737009000418 0
/proc/116487/statm: 1048 768 704 219 0 110 0
[pid=116492] ppid=116487 vsize=1205852 memory=60020 CPUtime=3.05 cores=4,6
/proc/116492/stat : 116492 (python3) S 116487 116487 115863 0 -1 4194304 7841 0 0 0 303 2 0 0 20 0 1 0 141024661 1234792448 15005 18446744073709551615 94221950861312 94221950861689 140735155407248 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94221950872984 94221950873604 94221957533696 140735155415375 140735155415584 140735155415584 140735155421159 0
/proc/116492/statm: 301463 15005 8230 1 0 272821 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1210044 KiB
Current children cumulated memory: 63092 KiB
[startup+6.30023 s]
/proc/loadavg: 3.55 2.52 2.30 5/273 116493
/proc/meminfo: memFree=106204364/131249996 swapFree=33003468/33010684
[pid=116487] ppid=116484 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116487/stat : 116487 (scip-naps-1.00a) S 116484 116487 115863 0 -1 4194304 257 319 0 0 0 0 0 0 20 0 1 0 141024659 4292608 768 18446744073709551615 94192233615360 94192234509893 140737008988320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94192234748944 94192234796688 94192244838400 140737008994715 140737008994814 140737008994814 140737009000418 0
/proc/116487/statm: 1048 768 704 219 0 110 0
[pid=116492] ppid=116487 vsize=1205852 memory=60020 CPUtime=3.05 cores=4,6
/proc/116492/stat : 116492 (python3) S 116487 116487 115863 0 -1 4194304 7841 0 0 0 303 2 0 0 20 0 1 0 141024661 1234792448 15005 18446744073709551615 94221950861312 94221950861689 140735155407248 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94221950872984 94221950873604 94221957533696 140735155415375 140735155415584 140735155415584 140735155421159 0
/proc/116492/statm: 301463 15005 8230 1 0 272821 0
[pid=116493] ppid=116492 vsize=65728 memory=58668 CPUtime=3.17 cores=4,6
/proc/116493/stat : 116493 (naps-1.03a6) R 116492 116493 116493 0 -1 4194304 15945 0 0 0 315 2 0 0 20 0 1 0 141024970 67305472 14667 18446744073709551615 4198400 7047149 140722165343760 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 12746752 140722165348735 140722165348849 140722165348849 140722165354441 0
/proc/116493/statm: 16432 14667 544 696 0 15593 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 1275772 KiB
Current children cumulated memory: 121760 KiB
[startup+12.7002 s]
/proc/loadavg: 3.59 2.55 2.30 5/273 116494
/proc/meminfo: memFree=106210600/131249996 swapFree=33003468/33010684
[pid=116487] ppid=116484 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116487/stat : 116487 (scip-naps-1.00a) S 116484 116487 115863 0 -1 4194304 257 319 0 0 0 0 0 0 20 0 1 0 141024659 4292608 768 18446744073709551615 94192233615360 94192234509893 140737008988320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94192234748944 94192234796688 94192244838400 140737008994715 140737008994814 140737008994814 140737009000418 0
/proc/116487/statm: 1048 768 704 219 0 110 0
[pid=116492] ppid=116487 vsize=1205852 memory=60020 CPUtime=3.05 cores=4,6
/proc/116492/stat : 116492 (python3) S 116487 116487 115863 0 -1 4194304 7841 0 0 0 303 2 0 0 20 0 1 0 141024661 1234792448 15005 18446744073709551615 94221950861312 94221950861689 140735155407248 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94221950872984 94221950873604 94221957533696 140735155415375 140735155415584 140735155415584 140735155421159 0
/proc/116492/statm: 301463 15005 8230 1 0 272821 0
[pid=116493] ppid=116492 vsize=65728 memory=60772 CPUtime=9.55 cores=4,6
/proc/116493/stat : 116493 (naps-1.03a6) R 116492 116493 116493 0 -1 4194304 15975 0 0 0 953 2 0 0 20 0 1 0 141024970 67305472 15193 18446744073709551615 4198400 7047149 140722165343760 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 12746752 140722165348735 140722165348849 140722165348849 140722165354441 0
/proc/116493/statm: 16432 15193 544 696 0 15593 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 1275772 KiB
Current children cumulated memory: 123864 KiB
[startup+25.5002 s]
/proc/loadavg: 3.65 2.59 2.32 5/269 116522
/proc/meminfo: memFree=122161748/131249996 swapFree=33003468/33010684
[pid=116487] ppid=116484 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116487/stat : 116487 (scip-naps-1.00a) S 116484 116487 115863 0 -1 4194304 257 319 0 0 0 0 0 0 20 0 1 0 141024659 4292608 768 18446744073709551615 94192233615360 94192234509893 140737008988320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94192234748944 94192234796688 94192244838400 140737008994715 140737008994814 140737008994814 140737009000418 0
/proc/116487/statm: 1048 768 704 219 0 110 0
[pid=116492] ppid=116487 vsize=1205852 memory=60020 CPUtime=3.05 cores=4,6
/proc/116492/stat : 116492 (python3) S 116487 116487 115863 0 -1 4194304 7841 0 0 0 303 2 0 0 20 0 1 0 141024661 1234792448 15005 18446744073709551615 94221950861312 94221950861689 140735155407248 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94221950872984 94221950873604 94221957533696 140735155415375 140735155415584 140735155415584 140735155421159 0
/proc/116492/statm: 301463 15005 8230 1 0 272821 0
[pid=116493] ppid=116492 vsize=65728 memory=61668 CPUtime=22.32 cores=4,6
/proc/116493/stat : 116493 (naps-1.03a6) R 116492 116493 116493 0 -1 4194304 16213 0 0 0 2230 2 0 0 20 0 1 0 141024970 67305472 15417 18446744073709551615 4198400 7047149 140722165343760 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 12746752 140722165348735 140722165348849 140722165348849 140722165354441 0
/proc/116493/statm: 16432 15417 544 696 0 15593 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1275772 KiB
Current children cumulated memory: 124760 KiB
[startup+51.106 s]
/proc/loadavg: 3.85 2.75 2.38 5/273 116592
/proc/meminfo: memFree=122014496/131249996 swapFree=33003468/33010684
[pid=116487] ppid=116484 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116487/stat : 116487 (scip-naps-1.00a) S 116484 116487 115863 0 -1 4194304 257 319 0 0 0 0 0 0 20 0 1 0 141024659 4292608 768 18446744073709551615 94192233615360 94192234509893 140737008988320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94192234748944 94192234796688 94192244838400 140737008994715 140737008994814 140737008994814 140737009000418 0
/proc/116487/statm: 1048 768 704 219 0 110 0
[pid=116492] ppid=116487 vsize=1205852 memory=60020 CPUtime=3.05 cores=4,6
/proc/116492/stat : 116492 (python3) S 116487 116487 115863 0 -1 4194304 7841 0 0 0 303 2 0 0 20 0 1 0 141024661 1234792448 15005 18446744073709551615 94221950861312 94221950861689 140735155407248 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94221950872984 94221950873604 94221957533696 140735155415375 140735155415584 140735155415584 140735155421159 0
/proc/116492/statm: 301463 15005 8230 1 0 272821 0
[pid=116493] ppid=116492 vsize=65728 memory=61924 CPUtime=47.86 cores=4,6
/proc/116493/stat : 116493 (naps-1.03a6) R 116492 116493 116493 0 -1 4194304 16294 0 0 0 4784 2 0 0 20 0 1 0 141024970 67305472 15481 18446744073709551615 4198400 7047149 140722165343760 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 12746752 140722165348735 140722165348849 140722165348849 140722165354441 0
/proc/116493/statm: 16432 15481 544 696 0 15593 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1275772 KiB
Current children cumulated memory: 125016 KiB
[startup+102.3 s]
/proc/loadavg: 3.99 2.96 2.48 5/273 116692
/proc/meminfo: memFree=122109524/131249996 swapFree=33003468/33010684
[pid=116487] ppid=116484 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116487/stat : 116487 (scip-naps-1.00a) S 116484 116487 115863 0 -1 4194304 257 319 0 0 0 0 0 0 20 0 1 0 141024659 4292608 768 18446744073709551615 94192233615360 94192234509893 140737008988320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94192234748944 94192234796688 94192244838400 140737008994715 140737008994814 140737008994814 140737009000418 0
/proc/116487/statm: 1048 768 704 219 0 110 0
[pid=116492] ppid=116487 vsize=1205852 memory=60020 CPUtime=3.05 cores=4,6
/proc/116492/stat : 116492 (python3) S 116487 116487 115863 0 -1 4194304 7841 0 0 0 303 2 0 0 20 0 1 0 141024661 1234792448 15005 18446744073709551615 94221950861312 94221950861689 140735155407248 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94221950872984 94221950873604 94221957533696 140735155415375 140735155415584 140735155415584 140735155421159 0
/proc/116492/statm: 301463 15005 8230 1 0 272821 0
[pid=116493] ppid=116492 vsize=73920 memory=66132 CPUtime=98.88 cores=4,6
/proc/116493/stat : 116493 (naps-1.03a6) R 116492 116493 116493 0 -1 4194304 20914 0 0 0 9884 4 0 0 20 0 1 0 141024970 75694080 16533 18446744073709551615 4198400 7047149 140722165343760 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 12746752 140722165348735 140722165348849 140722165348849 140722165354441 0
/proc/116493/statm: 18480 16533 544 696 0 17641 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 1283964 KiB
Current children cumulated memory: 129224 KiB
[startup+139.956 s]
# the end of solver process 116487 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=139.372 s, system=0.123263 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 3.99 2.96 2.48 5/273 116692
/proc/meminfo: memFree=122109524/131249996 swapFree=33003468/33010684
[pid=116487] ppid=116484 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116487/stat : 116487 (scip-naps-1.00a) S 116484 116487 115863 0 -1 4194304 257 319 0 0 0 0 0 0 20 0 1 0 141024659 4292608 768 18446744073709551615 94192233615360 94192234509893 140737008988320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94192234748944 94192234796688 94192244838400 140737008994715 140737008994814 140737008994814 140737009000418 0
/proc/116487/statm: 1048 768 704 219 0 110 0
[pid=116492] ppid=116487 vsize=1205852 memory=60020 CPUtime=3.05 cores=4,6
/proc/116492/stat : 116492 (python3) S 116487 116487 115863 0 -1 4194304 7841 0 0 0 303 2 0 0 20 0 1 0 141024661 1234792448 15005 18446744073709551615 94221950861312 94221950861689 140735155407248 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94221950872984 94221950873604 94221957533696 140735155415375 140735155415584 140735155415584 140735155421159 0
/proc/116492/statm: 301463 15005 8230 1 0 272821 0
[pid=116493] ppid=116492 vsize=73920 memory=66132 CPUtime=98.98 cores=4,6
/proc/116493/stat : 116493 (naps-1.03a6) R 116492 116493 116493 0 -1 4194304 20914 0 0 0 9894 4 0 0 20 0 1 0 141024970 75694080 16533 18446744073709551615 4198400 7047149 140722165343760 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 12746752 140722165348735 140722165348849 140722165348849 140722165354441 0
/proc/116493/statm: 18480 16533 544 696 0 17641 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 1283964 KiB
Current children cumulated memory: 129224 KiB
[startup+115.2 s]
/proc/loadavg: 3.99 2.99 2.49 5/273 116692
/proc/meminfo: memFree=122046344/131249996 swapFree=33003468/33010684
[pid=116487] ppid=116484 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116487/stat : 116487 (scip-naps-1.00a) S 116484 116487 115863 0 -1 4194304 257 319 0 0 0 0 0 0 20 0 1 0 141024659 4292608 768 18446744073709551615 94192233615360 94192234509893 140737008988320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94192234748944 94192234796688 94192244838400 140737008994715 140737008994814 140737008994814 140737009000418 0
/proc/116487/statm: 1048 768 704 219 0 110 0
[pid=116492] ppid=116487 vsize=1205852 memory=60020 CPUtime=3.05 cores=4,6
/proc/116492/stat : 116492 (python3) S 116487 116487 115863 0 -1 4194304 7841 0 0 0 303 2 0 0 20 0 1 0 141024661 1234792448 15005 18446744073709551615 94221950861312 94221950861689 140735155407248 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94221950872984 94221950873604 94221957533696 140735155415375 140735155415584 140735155415584 140735155421159 0
/proc/116492/statm: 301463 15005 8230 1 0 272821 0
[pid=116493] ppid=116492 vsize=82116 memory=73516 CPUtime=111.74 cores=4,6
/proc/116493/stat : 116493 (naps-1.03a6) R 116492 116493 116493 0 -1 4194304 22773 0 0 0 11169 5 0 0 20 0 1 0 141024970 84086784 18379 18446744073709551615 4198400 7047149 140722165343760 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 12746752 140722165348735 140722165348849 140722165348849 140722165354441 0
/proc/116493/statm: 20529 18379 544 696 0 19690 0
Current children cumulated CPU time: 114.79 s
Current children cumulated vsize: 1292160 KiB
Current children cumulated memory: 136608 KiB
[startup+128 s]*
/proc/loadavg: 4.07 3.06 2.52 5/274 116693
/proc/meminfo: memFree=122047136/131249996 swapFree=33003468/33010684
[pid=116487] ppid=116484 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116487/stat : 116487 (scip-naps-1.00a) S 116484 116487 115863 0 -1 4194304 257 319 0 0 0 0 0 0 20 0 1 0 141024659 4292608 768 18446744073709551615 94192233615360 94192234509893 140737008988320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94192234748944 94192234796688 94192244838400 140737008994715 140737008994814 140737008994814 140737009000418 0
/proc/116487/statm: 1048 768 704 219 0 110 0
[pid=116492] ppid=116487 vsize=1205852 memory=60020 CPUtime=3.05 cores=4,6
/proc/116492/stat : 116492 (python3) S 116487 116487 115863 0 -1 4194304 7841 0 0 0 303 2 0 0 20 0 1 0 141024661 1234792448 15005 18446744073709551615 94221950861312 94221950861689 140735155407248 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94221950872984 94221950873604 94221957533696 140735155415375 140735155415584 140735155415584 140735155421159 0
/proc/116492/statm: 301463 15005 8230 1 0 272821 0
[pid=116493] ppid=116492 vsize=82116 memory=72748 CPUtime=124.5 cores=4,6
/proc/116493/stat : 116493 (naps-1.03a6) R 116492 116493 116493 0 -1 4194304 25950 0 0 0 12444 6 0 0 20 0 1 0 141024970 84086784 18187 18446744073709551615 4198400 7047149 140722165343760 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 12746752 140722165348735 140722165348849 140722165348849 140722165354441 0
/proc/116493/statm: 20529 18187 544 696 0 19690 0
Current children cumulated CPU time: 127.55 s
Current children cumulated vsize: 1292160 KiB
Current children cumulated memory: 135840 KiB
[startup+134.4 s]
/proc/loadavg: 4.06 3.07 2.53 5/274 116694
/proc/meminfo: memFree=122043420/131249996 swapFree=33003468/33010684
[pid=116487] ppid=116484 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116487/stat : 116487 (scip-naps-1.00a) S 116484 116487 115863 0 -1 4194304 257 319 0 0 0 0 0 0 20 0 1 0 141024659 4292608 768 18446744073709551615 94192233615360 94192234509893 140737008988320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94192234748944 94192234796688 94192244838400 140737008994715 140737008994814 140737008994814 140737009000418 0
/proc/116487/statm: 1048 768 704 219 0 110 0
[pid=116492] ppid=116487 vsize=1205852 memory=60020 CPUtime=3.05 cores=4,6
/proc/116492/stat : 116492 (python3) S 116487 116487 115863 0 -1 4194304 7841 0 0 0 303 2 0 0 20 0 1 0 141024661 1234792448 15005 18446744073709551615 94221950861312 94221950861689 140735155407248 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94221950872984 94221950873604 94221957533696 140735155415375 140735155415584 140735155415584 140735155421159 0
/proc/116492/statm: 301463 15005 8230 1 0 272821 0
[pid=116493] ppid=116492 vsize=82116 memory=72748 CPUtime=130.88 cores=4,6
/proc/116493/stat : 116493 (naps-1.03a6) R 116492 116493 116493 0 -1 4194304 29315 0 0 0 13080 8 0 0 20 0 1 0 141024970 84086784 18187 18446744073709551615 4198400 7047149 140722165343760 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 12746752 140722165348735 140722165348849 140722165348849 140722165354441 0
/proc/116493/statm: 20529 18187 544 696 0 19690 0
Current children cumulated CPU time: 133.93 s
Current children cumulated vsize: 1292160 KiB
Current children cumulated memory: 135840 KiB
[startup+137.6 s]
/proc/loadavg: 4.06 3.09 2.54 5/274 116694
/proc/meminfo: memFree=122043520/131249996 swapFree=33003468/33010684
[pid=116487] ppid=116484 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116487/stat : 116487 (scip-naps-1.00a) S 116484 116487 115863 0 -1 4194304 257 319 0 0 0 0 0 0 20 0 1 0 141024659 4292608 768 18446744073709551615 94192233615360 94192234509893 140737008988320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94192234748944 94192234796688 94192244838400 140737008994715 140737008994814 140737008994814 140737009000418 0
/proc/116487/statm: 1048 768 704 219 0 110 0
[pid=116492] ppid=116487 vsize=1205852 memory=60020 CPUtime=3.05 cores=4,6
/proc/116492/stat : 116492 (python3) S 116487 116487 115863 0 -1 4194304 7841 0 0 0 303 2 0 0 20 0 1 0 141024661 1234792448 15005 18446744073709551615 94221950861312 94221950861689 140735155407248 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94221950872984 94221950873604 94221957533696 140735155415375 140735155415584 140735155415584 140735155421159 0
/proc/116492/statm: 301463 15005 8230 1 0 272821 0
[pid=116493] ppid=116492 vsize=90308 memory=76844 CPUtime=134.07 cores=4,6
/proc/116493/stat : 116493 (naps-1.03a6) R 116492 116493 116493 0 -1 4194304 29829 0 0 0 13399 8 0 0 20 0 1 0 141024970 92475392 19211 18446744073709551615 4198400 7047149 140722165343760 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 12746752 140722165348735 140722165348849 140722165348849 140722165354441 0
/proc/116493/statm: 22577 19211 544 696 0 21738 0
Current children cumulated CPU time: 137.12 s
Current children cumulated vsize: 1300352 KiB
Current children cumulated memory: 139936 KiB
[startup+139.2 s]
/proc/loadavg: 4.06 3.09 2.54 5/274 116694
/proc/meminfo: memFree=122027188/131249996 swapFree=33003468/33010684
[pid=116487] ppid=116484 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116487/stat : 116487 (scip-naps-1.00a) S 116484 116487 115863 0 -1 4194304 257 319 0 0 0 0 0 0 20 0 1 0 141024659 4292608 768 18446744073709551615 94192233615360 94192234509893 140737008988320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94192234748944 94192234796688 94192244838400 140737008994715 140737008994814 140737008994814 140737009000418 0
/proc/116487/statm: 1048 768 704 219 0 110 0
[pid=116492] ppid=116487 vsize=1205852 memory=61172 CPUtime=3.05 cores=4,6
/proc/116492/stat : 116492 (python3) S 116487 116487 115863 0 -1 4194304 7841 0 0 0 303 2 0 0 20 0 1 0 141024661 1234792448 15293 18446744073709551615 94221950861312 94221950861689 140735155407248 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94221950872984 94221950873604 94221957533696 140735155415375 140735155415584 140735155415584 140735155421159 0
/proc/116492/statm: 301463 15293 8230 1 0 272821 0
[pid=116493] ppid=116492 vsize=90308 memory=76844 CPUtime=135.66 cores=4,6
/proc/116493/stat : 116493 (naps-1.03a6) R 116492 116493 116493 0 -1 4194304 29832 0 0 0 13558 8 0 0 20 0 1 0 141024970 92475392 19211 18446744073709551615 4198400 7047149 140722165343760 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 12746752 140722165348735 140722165348849 140722165348849 140722165354441 0
/proc/116493/statm: 22577 19211 544 696 0 21738 0
Current children cumulated CPU time: 138.71 s
Current children cumulated vsize: 1300352 KiB
Current children cumulated memory: 141088 KiB
[startup+139.6 s]
/proc/loadavg: 4.06 3.09 2.54 5/274 116694
/proc/meminfo: memFree=122027188/131249996 swapFree=33003468/33010684
[pid=116487] ppid=116484 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116487/stat : 116487 (scip-naps-1.00a) S 116484 116487 115863 0 -1 4194304 257 319 0 0 0 0 0 0 20 0 1 0 141024659 4292608 768 18446744073709551615 94192233615360 94192234509893 140737008988320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94192234748944 94192234796688 94192244838400 140737008994715 140737008994814 140737008994814 140737009000418 0
/proc/116487/statm: 1048 768 704 219 0 110 0
[pid=116492] ppid=116487 vsize=1205852 memory=61172 CPUtime=3.05 cores=4,6
/proc/116492/stat : 116492 (python3) S 116487 116487 115863 0 -1 4194304 7841 0 0 0 303 2 0 0 20 0 1 0 141024661 1234792448 15293 18446744073709551615 94221950861312 94221950861689 140735155407248 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94221950872984 94221950873604 94221957533696 140735155415375 140735155415584 140735155415584 140735155421159 0
/proc/116492/statm: 301463 15293 8230 1 0 272821 0
[pid=116493] ppid=116492 vsize=90308 memory=76844 CPUtime=136.06 cores=4,6
/proc/116493/stat : 116493 (naps-1.03a6) R 116492 116493 116493 0 -1 4194304 29832 0 0 0 13598 8 0 0 20 0 1 0 141024970 92475392 19211 18446744073709551615 4198400 7047149 140722165343760 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 12746752 140722165348735 140722165348849 140722165348849 140722165354441 0
/proc/116493/statm: 22577 19211 544 696 0 21738 0
Current children cumulated CPU time: 139.11 s
Current children cumulated vsize: 1300352 KiB
Current children cumulated memory: 141088 KiB
[startup+139.8 s]
/proc/loadavg: 4.06 3.09 2.54 5/274 116694
/proc/meminfo: memFree=122027188/131249996 swapFree=33003468/33010684
[pid=116487] ppid=116484 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116487/stat : 116487 (scip-naps-1.00a) S 116484 116487 115863 0 -1 4194304 257 319 0 0 0 0 0 0 20 0 1 0 141024659 4292608 768 18446744073709551615 94192233615360 94192234509893 140737008988320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94192234748944 94192234796688 94192244838400 140737008994715 140737008994814 140737008994814 140737009000418 0
/proc/116487/statm: 1048 768 704 219 0 110 0
[pid=116492] ppid=116487 vsize=1205852 memory=61172 CPUtime=3.05 cores=4,6
/proc/116492/stat : 116492 (python3) S 116487 116487 115863 0 -1 4194304 7841 0 0 0 303 2 0 0 20 0 1 0 141024661 1234792448 15293 18446744073709551615 94221950861312 94221950861689 140735155407248 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94221950872984 94221950873604 94221957533696 140735155415375 140735155415584 140735155415584 140735155421159 0
/proc/116492/statm: 301463 15293 8230 1 0 272821 0
[pid=116493] ppid=116492 vsize=90308 memory=76844 CPUtime=136.26 cores=4,6
/proc/116493/stat : 116493 (naps-1.03a6) R 116492 116493 116493 0 -1 4194304 29832 0 0 0 13618 8 0 0 20 0 1 0 141024970 92475392 19211 18446744073709551615 4198400 7047149 140722165343760 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 12746752 140722165348735 140722165348849 140722165348849 140722165354441 0
/proc/116493/statm: 22577 19211 544 696 0 21738 0
Current children cumulated CPU time: 139.31 s
Current children cumulated vsize: 1300352 KiB
Current children cumulated memory: 141088 KiB
[startup+139.9 s]
/proc/loadavg: 4.06 3.09 2.54 5/274 116694
/proc/meminfo: memFree=122027188/131249996 swapFree=33003468/33010684
[pid=116487] ppid=116484 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116487/stat : 116487 (scip-naps-1.00a) S 116484 116487 115863 0 -1 4194304 257 319 0 0 0 0 0 0 20 0 1 0 141024659 4292608 768 18446744073709551615 94192233615360 94192234509893 140737008988320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94192234748944 94192234796688 94192244838400 140737008994715 140737008994814 140737008994814 140737009000418 0
/proc/116487/statm: 1048 768 704 219 0 110 0
[pid=116492] ppid=116487 vsize=1205852 memory=61172 CPUtime=3.05 cores=4,6
/proc/116492/stat : 116492 (python3) S 116487 116487 115863 0 -1 4194304 7841 0 0 0 303 2 0 0 20 0 1 0 141024661 1234792448 15293 18446744073709551615 94221950861312 94221950861689 140735155407248 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94221950872984 94221950873604 94221957533696 140735155415375 140735155415584 140735155415584 140735155421159 0
/proc/116492/statm: 301463 15293 8230 1 0 272821 0
[pid=116493] ppid=116492 vsize=90308 memory=76844 CPUtime=136.36 cores=4,6
/proc/116493/stat : 116493 (naps-1.03a6) R 116492 116493 116493 0 -1 4194304 29832 0 0 0 13628 8 0 0 20 0 1 0 141024970 92475392 19211 18446744073709551615 4198400 7047149 140722165343760 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 12746752 140722165348735 140722165348849 140722165348849 140722165354441 0
/proc/116493/statm: 22577 19211 544 696 0 21738 0
Current children cumulated CPU time: 139.41 s
Current children cumulated vsize: 1300352 KiB
Current children cumulated memory: 141088 KiB
Child status: 0
Real time (s): 139.956
CPU time (s): 139.495
CPU user time (s): 139.372
CPU system time (s): 0.123263
CPU usage (%): 99.6705
Max. virtual memory (cumulated for all children) (KiB): 1300352
Max. memory (cumulated for all children) (KiB): 141088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 139.372
system time used= 0.123263
maximum resident set size= 76844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41154
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= 342
involuntary context switches= 158
# summary of solver processes directly reported to runsolver:
# pid: 116487
# total CPU time (s): 139.495
# total CPU user time (s): 139.372
# total CPU system time (s): 0.123263
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.336914 second user time and 0.700985 second system time
The end