0.55/0.67 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4529695-1752253454.opb
0.55/0.67 c Solving mode: decision
0.55/0.67 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
0.55/0.67 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.55/0.67 c original problem has 106 variables (106 bin, 0 int, 0 impl, 0 cont) and 2 constraints
0.55/0.67 c presolving:
0.55/0.67 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.55/0.67 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.55/0.67 c (round 3, fast) 0 del vars, 1 del conss, 1 add conss, 0 chg bounds, 7 chg sides, 7 chg coeffs, 0 upgd conss, 0 impls, 30 clqs
0.55/0.67 c (round 4, exhaustive) 0 del vars, 1 del conss, 1 add conss, 0 chg bounds, 7 chg sides, 7 chg coeffs, 1 upgd conss, 0 impls, 30 clqs
0.55/0.67 c (0.0s) probing: 51/106 (48.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.55/0.67 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.55/0.67 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.55/0.67 c (0.0s) no symmetry present (symcode time: 0.00)
0.55/0.67 c presolving (5 rounds: 5 fast, 3 medium, 3 exhaustive):
0.55/0.67 c 0 deleted vars, 1 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 7 changed coefficients
0.55/0.67 c 0 implications, 30 cliques
0.55/0.67 c presolved problem has 106 variables (106 bin, 0 int, 0 impl, 0 cont) and 2 constraints
0.55/0.67 c 1 constraints of type <linear>
0.55/0.67 c 1 constraints of type <logicor>
0.55/0.67 c transformed objective value is always integral (scale: 1)
0.55/0.67 c Presolving Time: 0.00
0.55/0.67 c
0.55/0.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.55/0.67 c 0.0s| 1 | 0 | 1 | - | 1655k | 0 | 106 | 2 | 2 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.55/0.67 c 0.0s| 1 | 0 | 4 | - | 1689k | 0 | 106 | 2 | 3 | 1 | 1 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.55/0.67 c 0.0s| 1 | 0 | 5 | - | 1696k | 0 | 106 | 2 | 4 | 2 | 2 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.55/0.67 c 0.0s| 1 | 0 | 6 | - | 1703k | 0 | 106 | 2 | 5 | 3 | 3 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.55/0.67 c 0.0s| 1 | 0 | 7 | - | 1709k | 0 | 106 | 2 | 6 | 4 | 4 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.55/0.67 c 0.0s| 1 | 0 | 8 | - | 1728k | 0 | 106 | 2 | 7 | 5 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.55/0.67 c 0.0s| 1 | 0 | 10 | - | 1756k | 0 | 106 | 2 | 9 | 7 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.55/0.67 c 0.0s| 1 | 0 | 12 | - | 1759k | 0 | 106 | 2 | 10 | 8 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.55/0.67 c 0.0s| 1 | 0 | 14 | - | 1866k | 0 | 106 | 2 | 12 | 10 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.55/0.67 c 0.0s| 1 | 0 | 15 | - | 1987k | 0 | 106 | 2 | 13 | 11 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.55/0.67 c 0.0s| 1 | 0 | 17 | - | 2096k | 0 | 106 | 2 | 14 | 12 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.55/0.67 c 0.0s| 1 | 0 | 18 | - | 2099k | 0 | 106 | 2 | 15 | 13 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.55/0.67 c 0.0s| 1 | 2 | 21 | - | 2113k | 0 | 106 | 2 | 15 | 13 | 11 | 0 | 3 | 0.000000e+00 | -- | Inf | unknown
0.55/0.67 c 0.1s| 100 | 85 | 285 | 2.7 | 2385k | 30 | 106 | 2 | 5 | 22 | 1 | 0 | 3 | 0.000000e+00 | -- | Inf | 6.25%
0.55/0.67 c 0.2s| 200 | 151 | 712 | 3.5 | 2610k | 47 | 106 | 2 | 5 | 38 | 1 | 0 | 3 | 0.000000e+00 | -- | Inf | 6.26%
0.55/0.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.55/0.67 c 0.2s| 300 | 167 | 805 | 2.6 | 2869k | 47 | 106 | 2 | 5 | 38 | 1 | 0 | 3 | 0.000000e+00 | -- | Inf | 7.04%
0.55/0.67 c 0.2s| 400 | 209 | 991 | 2.4 | 2928k | 48 | 106 | 2 | 0 | 45 | 0 | 0 | 3 | 0.000000e+00 | -- | Inf | 7.04%
0.55/0.67 c 0.3s| 500 | 237 | 1123 | 2.2 | 3089k | 48 | 106 | 2 | 5 | 48 | 1 | 0 | 3 | 0.000000e+00 | -- | Inf | 7.04%
0.55/0.67 c 0.3s| 600 | 249 | 1229 | 2.0 | 3198k | 48 | 106 | 2 | 0 | 66 | 0 | 0 | 3 | 0.000000e+00 | -- | Inf | 7.41%
0.55/0.67 c 0.3s| 700 | 273 | 1316 | 1.9 | 3399k | 48 | 106 | 2 | 4 | 72 | 1 | 0 | 3 | 0.000000e+00 | -- | Inf | 7.99%
0.55/0.67 c 0.4s| 800 | 281 | 1386 | 1.7 | 3440k | 48 | 106 | 2 | 0 | 72 | 0 | 0 | 3 | 0.000000e+00 | -- | Inf | 8.01%
0.55/0.67 c 0.4s| 900 | 299 | 1465 | 1.6 | 3444k | 49 | 106 | 2 | 0 | 74 | 0 | 0 | 3 | 0.000000e+00 | -- | Inf | 8.11%
0.55/0.67 c 0.4s| 1000 | 313 | 1533 | 1.5 | 3449k | 49 | 106 | 2 | 4 | 76 | 1 | 0 | 3 | 0.000000e+00 | -- | Inf | 8.18%
0.55/0.67 c 0.5s| 1100 | 327 | 1591 | 1.4 | 3460k | 49 | 106 | 2 | 4 | 76 | 1 | 0 | 3 | 0.000000e+00 | -- | Inf | 8.18%
0.55/0.67 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
0.55/0.67 c 0.5s| 1200 | 343 | 1662 | 1.4 | 3535k | 49 | 106 | 2 | 4 | 79 | 1 | 0 | 3 | 0.000000e+00 | -- | Inf | 8.21%
0.55/0.67 c (run 1, node 1200) performing user restart
0.55/0.67 c
0.55/0.67 c (restart) converted 1 cuts from the global cut pool into linear constraints
0.55/0.67 c
0.55/0.67 c presolving:
0.55/0.67 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, 30 clqs
0.55/0.67 c (round 2, fast) 0 del vars, 0 del conss, 1 add conss, 0 chg bounds, 7 chg sides, 7 chg coeffs, 0 upgd conss, 0 impls, 30 clqs
0.55/0.67 c (round 3, exhaustive) 0 del vars, 0 del conss, 1 add conss, 0 chg bounds, 7 chg sides, 7 chg coeffs, 2 upgd conss, 0 impls, 30 clqs
0.55/0.67 c (round 4, fast) 0 del vars, 1 del conss, 1 add conss, 0 chg bounds, 7 chg sides, 7 chg coeffs, 2 upgd conss, 0 impls, 30 clqs
0.55/0.67 c presolving (5 rounds: 5 fast, 2 medium, 2 exhaustive):
0.55/0.67 c 0 deleted vars, 1 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 7 changed coefficients
0.55/0.67 c 0 implications, 30 cliques
0.55/0.67 c presolved problem has 106 variables (106 bin, 0 int, 0 impl, 0 cont) and 3 constraints
0.55/0.67 c 1 constraints of type <linear>
0.55/0.67 c 2 constraints of type <logicor>
0.55/0.67 c transformed objective value is always integral (scale: 1)
0.55/0.67 c Presolving Time: 0.00
0.55/0.67 c
0.55/0.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.55/0.67 c 0.5s| 1 | 0 | 1664 | - | 3541k | 0 | 106 | 3 | 3 | 0 | 0 | 0 | 3 | 0.000000e+00 | -- | Inf | unknown
0.55/0.67 c 0.5s| 1 | 0 | 1666 | - | 3541k | 0 | 106 | 3 | 4 | 1 | 1 | 0 | 3 | 0.000000e+00 | -- | Inf | unknown
0.55/0.67 c 0.5s| 1 | 0 | 1668 | - | 3558k | 0 | 106 | 3 | 5 | 2 | 2 | 0 | 3 | 0.000000e+00 | -- | Inf | unknown
0.55/0.67 c 0.5s| 1 | 0 | 1670 | - | 3566k | 0 | 106 | 3 | 7 | 4 | 3 | 0 | 3 | 0.000000e+00 | -- | Inf | unknown
0.55/0.67 c 0.5s| 1 | 0 | 1672 | - | 3566k | 0 | 106 | 3 | 8 | 5 | 4 | 0 | 3 | 0.000000e+00 | -- | Inf | unknown
0.55/0.67 c 0.5s| 1 | 0 | 1673 | - | 3566k | 0 | 106 | 3 | 9 | 6 | 5 | 0 | 3 | 0.000000e+00 | -- | Inf | unknown
0.55/0.67 c 0.5s| 1 | 0 | 1674 | - | 3566k | 0 | 106 | 3 | 10 | 7 | 6 | 0 | 3 | 0.000000e+00 | -- | Inf | unknown
1.74/1.85 c 0.5s| 1 | 0 | 1675 | - | 3582k | 0 | 106 | 3 | 11 | 8 | 7 | 0 | 3 | 0.000000e+00 | -- | Inf | unknown
1.74/1.85 c 0.5s| 1 | 0 | 1677 | - | 3582k | 0 | 106 | 3 | 13 | 10 | 8 | 0 | 3 | 0.000000e+00 | -- | Inf | unknown
1.74/1.85 c 0.5s| 1 | 0 | 1679 | - | 3582k | 0 | 106 | 3 | 15 | 12 | 9 | 0 | 3 | 0.000000e+00 | -- | Inf | unknown
1.74/1.85 c 0.5s| 1 | 0 | 1680 | - | 3582k | 0 | 106 | 3 | 14 | 13 | 10 | 0 | 3 | 0.000000e+00 | -- | Inf | unknown
1.74/1.85 c 0.5s| 1 | 0 | 1682 | - | 3582k | 0 | 106 | 3 | 15 | 14 | 11 | 0 | 3 | 0.000000e+00 | -- | Inf | unknown
1.74/1.85 c 0.5s| 1 | 0 | 1684 | - | 3582k | 0 | 106 | 3 | 16 | 15 | 12 | 0 | 3 | 0.000000e+00 | -- | Inf | unknown
1.74/1.85 c 0.5s| 1 | 0 | 1685 | - | 3584k | 0 | 106 | 3 | 17 | 16 | 13 | 0 | 3 | 0.000000e+00 | -- | Inf | unknown
1.74/1.85 c 0.5s| 1 | 2 | 1692 | - | 3584k | 0 | 106 | 3 | 17 | 16 | 13 | 0 | 10 | 0.000000e+00 | -- | Inf | unknown
1.74/1.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.74/1.85 c 0.6s| 100 | 33 | 1800 | 1.4 | 3585k | 34 | 106 | 3 | 3 | 18 | 1 | 0 | 10 | 0.000000e+00 | -- | Inf | unknown
1.74/1.85 c 0.6s| 200 | 49 | 1858 | 1.3 | 3585k | 34 | 106 | 3 | 3 | 18 | 1 | 0 | 10 | 0.000000e+00 | -- | Inf | unknown
1.74/1.85 c 0.6s| 300 | 67 | 1918 | 1.3 | 3587k | 38 | 106 | 3 | 3 | 18 | 1 | 0 | 10 | 0.000000e+00 | -- | Inf | unknown
1.74/1.85 c 0.7s| 400 | 89 | 1986 | 1.2 | 3587k | 39 | 106 | 3 | 3 | 18 | 1 | 0 | 10 | 0.000000e+00 | -- | Inf | unknown
1.74/1.85 c 0.7s| 500 | 103 | 2073 | 1.2 | 3587k | 40 | 106 | 3 | 3 | 19 | 1 | 0 | 10 | 0.000000e+00 | -- | Inf | unknown
1.74/1.85 c 0.7s| 600 | 121 | 2156 | 1.2 | 3735k | 45 | 106 | 3 | 5 | 32 | 1 | 0 | 10 | 0.000000e+00 | -- | Inf | 9.40%
1.74/1.85 c 0.7s| 700 | 133 | 2216 | 1.1 | 3738k | 45 | 106 | 3 | 0 | 32 | 0 | 0 | 10 | 0.000000e+00 | -- | Inf | 9.40%
1.74/1.85 c 0.8s| 800 | 141 | 2276 | 1.1 | 3738k | 45 | 106 | 3 | 3 | 36 | 1 | 0 | 10 | 0.000000e+00 | -- | Inf | 9.40%
1.74/1.85 c 0.8s| 900 | 147 | 2338 | 1.1 | 3743k | 45 | 106 | 3 | 0 | 38 | 0 | 0 | 10 | 0.000000e+00 | -- | Inf | 9.40%
1.74/1.85 c 0.8s| 1000 | 169 | 2414 | 1.1 | 3743k | 45 | 106 | 4 | 3 | 40 | 1 | 1 | 10 | 0.000000e+00 | -- | Inf | 9.40%
1.74/1.85 c 0.8s| 1100 | 177 | 2477 | 1.1 | 3743k | 45 | 106 | 4 | 0 | 47 | 0 | 1 | 10 | 0.000000e+00 | -- | Inf | 9.40%
1.74/1.85 c 0.8s| 1200 | 185 | 2538 | 1.0 | 3743k | 45 | 106 | 4 | 0 | 47 | 0 | 1 | 10 | 0.000000e+00 | -- | Inf | 12.53%
1.74/1.85 c 0.9s| 1300 | 189 | 2595 | 1.0 | 3743k | 45 | 106 | 4 | 0 | 47 | 0 | 1 | 10 | 0.000000e+00 | -- | Inf | 12.54%
1.74/1.85 c 0.9s| 1400 | 201 | 2652 | 1.0 | 3743k | 45 | 106 | 4 | 0 | 47 | 0 | 1 | 10 | 0.000000e+00 | -- | Inf | 12.54%
1.74/1.85 c 0.9s| 1500 | 203 | 2714 | 1.0 | 3743k | 45 | 106 | 4 | 3 | 50 | 1 | 1 | 10 | 0.000000e+00 | -- | Inf | 12.54%
1.74/1.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.74/1.85 c 1.0s| 1600 | 215 | 2793 | 1.0 | 3745k | 45 | 106 | 4 | 0 | 55 | 0 | 1 | 10 | 0.000000e+00 | -- | Inf | 23.28%
1.74/1.85 c 1.0s| 1700 | 233 | 2865 | 1.0 | 3749k | 45 | 106 | 4 | 0 | 57 | 0 | 1 | 10 | 0.000000e+00 | -- | Inf | 23.28%
1.74/1.85 c 1.0s| 1800 | 249 | 2932 | 1.0 | 3749k | 45 | 106 | 4 | 0 | 57 | 0 | 1 | 10 | 0.000000e+00 | -- | Inf | 23.28%
1.74/1.85 c 1.0s| 1900 | 269 | 3036 | 1.0 | 3749k | 46 | 106 | 4 | 0 | 76 | 0 | 1 | 10 | 0.000000e+00 | -- | Inf | 23.28%
1.74/1.85 c 1.0s| 2000 | 275 | 3133 | 1.0 | 3755k | 46 | 106 | 4 | 5 | 93 | 1 | 1 | 10 | 0.000000e+00 | -- | Inf | 24.14%
1.74/1.85 c 1.1s| 2100 | 303 | 3255 | 1.0 | 3755k | 46 | 106 | 4 | 3 | 107 | 1 | 1 | 10 | 0.000000e+00 | -- | Inf | 24.14%
1.74/1.85 c 1.1s| 2200 | 311 | 3318 | 1.0 | 3757k | 46 | 106 | 4 | 0 | 107 | 0 | 1 | 10 | 0.000000e+00 | -- | Inf | 24.16%
1.74/1.85 c 1.1s| 2300 | 323 | 3393 | 1.0 | 3765k | 46 | 106 | 5 | 3 | 107 | 1 | 2 | 10 | 0.000000e+00 | -- | Inf | 24.17%
1.74/1.85 c 1.1s| 2400 | 347 | 3494 | 1.0 | 3774k | 46 | 106 | 6 | 5 | 120 | 2 | 3 | 10 | 0.000000e+00 | -- | Inf | 24.23%
1.74/1.85 c 1.1s| 2500 | 353 | 3556 | 1.0 | 3774k | 46 | 106 | 6 | 0 | 126 | 0 | 3 | 10 | 0.000000e+00 | -- | Inf | 24.25%
1.74/1.85 c 1.2s| 2600 | 359 | 3612 | 0.9 | 3774k | 46 | 106 | 6 | 3 | 128 | 1 | 3 | 10 | 0.000000e+00 | -- | Inf | 24.25%
1.74/1.85 c 1.2s| 2700 | 365 | 3671 | 0.9 | 3774k | 46 | 106 | 6 | 0 | 134 | 0 | 3 | 10 | 0.000000e+00 | -- | Inf | 24.25%
1.74/1.85 c 1.2s| 2800 | 373 | 3751 | 0.9 | 3786k | 49 | 106 | 6 | 3 | 147 | 1 | 3 | 10 | 0.000000e+00 | -- | Inf | 24.25%
1.74/1.85 c 1.2s| 2900 | 407 | 3876 | 0.9 | 3970k | 50 | 106 | 6 | 0 | 155 | 0 | 3 | 10 | 0.000000e+00 | -- | Inf | 24.25%
1.74/1.85 c 1.3s| 3000 | 427 | 3969 | 0.9 | 3970k | 50 | 106 | 6 | 5 | 169 | 1 | 3 | 10 | 0.000000e+00 | -- | Inf | 24.25%
1.74/1.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.74/1.85 c 1.3s| 3100 | 431 | 4027 | 0.9 | 4030k | 50 | 106 | 6 | 5 | 174 | 2 | 3 | 10 | 0.000000e+00 | -- | Inf | 24.25%
1.74/1.85 c 1.4s| 3200 | 439 | 4121 | 0.9 | 4144k | 50 | 106 | 7 | 4 | 178 | 1 | 4 | 10 | 0.000000e+00 | -- | Inf | 24.27%
1.74/1.85 c 1.4s| 3300 | 457 | 4220 | 0.9 | 4144k | 50 | 106 | 7 | 4 | 180 | 1 | 4 | 10 | 0.000000e+00 | -- | Inf | 24.27%
1.74/1.85 c 1.4s| 3400 | 463 | 4285 | 0.9 | 4273k | 50 | 106 | 7 | 0 | 182 | 0 | 4 | 10 | 0.000000e+00 | -- | Inf | 24.27%
1.74/1.85 c 1.4s| 3500 | 467 | 4361 | 0.9 | 4273k | 50 | 106 | 7 | 3 | 191 | 1 | 4 | 10 | 0.000000e+00 | -- | Inf | 24.28%
1.74/1.85 c 1.5s| 3600 | 483 | 4437 | 0.9 | 4279k | 50 | 106 | 7 | 5 | 197 | 1 | 4 | 10 | 0.000000e+00 | -- | Inf | 24.28%
1.74/1.85 c 1.5s| 3700 | 487 | 4523 | 0.9 | 4279k | 50 | 106 | 7 | 0 | 211 | 0 | 4 | 10 | 0.000000e+00 | -- | Inf | 24.28%
1.74/1.85 c 1.5s| 3800 | 497 | 4595 | 0.9 | 4279k | 50 | 106 | 7 | 0 | 217 | 0 | 4 | 10 | 0.000000e+00 | -- | Inf | 24.28%
1.74/1.85 c 1.5s| 3900 | 505 | 4661 | 0.9 | 4279k | 50 | 106 | 7 | 5 | 224 | 1 | 4 | 10 | 0.000000e+00 | -- | Inf | 24.28%
1.74/1.85 c 1.6s| 4000 | 517 | 4735 | 0.9 | 4296k | 50 | 106 | 7 | 3 | 233 | 1 | 4 | 10 | 0.000000e+00 | -- | Inf | 24.28%
1.74/1.85 c 1.6s| 4100 | 525 | 4802 | 0.9 | 4296k | 50 | 106 | 7 | 5 | 239 | 1 | 4 | 10 | 0.000000e+00 | -- | Inf | 24.28%
1.74/1.85 c 1.6s| 4200 | 535 | 4863 | 0.9 | 4296k | 50 | 106 | 7 | 3 | 243 | 1 | 4 | 10 | 0.000000e+00 | -- | Inf | 24.28%
1.74/1.85 c 1.6s| 4300 | 539 | 4937 | 0.9 | 4296k | 50 | 106 | 7 | 0 | 253 | 0 | 4 | 10 | 0.000000e+00 | -- | Inf | 24.28%
1.74/1.85 c 1.6s| 4400 | 537 | 4998 | 0.9 | 4296k | 50 | 106 | 9 | 0 | 257 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.28%
1.74/1.85 c 1.7s| 4500 | 545 | 5074 | 0.9 | 4296k | 50 | 106 | 9 | 3 | 269 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.28%
3.14/3.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.14/3.23 c 1.7s| 4600 | 551 | 5152 | 0.9 | 4296k | 50 | 106 | 9 | 0 | 277 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.28%
3.14/3.23 c 1.7s| 4700 | 557 | 5227 | 0.9 | 4296k | 50 | 106 | 9 | 0 | 287 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.28%
3.14/3.23 c 1.7s| 4800 | 563 | 5293 | 0.9 | 4296k | 50 | 106 | 9 | 0 | 292 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.28%
3.14/3.23 c 1.8s| 4900 | 573 | 5358 | 0.9 | 4296k | 50 | 106 | 9 | 0 | 296 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.28%
3.14/3.23 c 1.8s| 5000 | 571 | 5417 | 0.9 | 4296k | 50 | 106 | 9 | 3 | 300 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.28%
3.14/3.23 c 1.8s| 5100 | 573 | 5472 | 0.9 | 4296k | 50 | 106 | 9 | 0 | 304 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.28%
3.14/3.23 c 1.8s| 5200 | 577 | 5533 | 0.9 | 4296k | 50 | 106 | 9 | 3 | 310 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.28%
3.14/3.23 c 1.9s| 5300 | 579 | 5597 | 0.9 | 4296k | 50 | 106 | 9 | 3 | 318 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.28%
3.14/3.23 c 1.9s| 5400 | 587 | 5656 | 0.9 | 4296k | 50 | 106 | 9 | 0 | 320 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.28%
3.14/3.23 c 1.9s| 5500 | 589 | 5720 | 0.8 | 4296k | 50 | 106 | 9 | 3 | 326 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.29%
3.14/3.23 c 1.9s| 5600 | 589 | 5786 | 0.8 | 4312k | 50 | 106 | 9 | 0 | 337 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.29%
3.14/3.23 c 2.0s| 5700 | 595 | 5883 | 0.8 | 4319k | 50 | 106 | 9 | 0 | 350 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.29%
3.14/3.23 c 2.0s| 5800 | 599 | 5971 | 0.8 | 4342k | 50 | 106 | 9 | 0 | 367 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.29%
3.14/3.23 c 2.0s| 5900 | 605 | 6038 | 0.8 | 4343k | 50 | 106 | 9 | 3 | 373 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.32%
3.14/3.23 c 2.1s| 6000 | 607 | 6094 | 0.8 | 4343k | 50 | 106 | 9 | 3 | 373 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.32%
3.14/3.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.14/3.23 c 2.1s| 6100 | 613 | 6147 | 0.8 | 4352k | 50 | 106 | 9 | 0 | 373 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.32%
3.14/3.23 c 2.1s| 6200 | 625 | 6234 | 0.8 | 4352k | 50 | 106 | 9 | 3 | 387 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.32%
3.14/3.23 c 2.2s| 6300 | 633 | 6321 | 0.8 | 4352k | 50 | 106 | 9 | 0 | 400 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.32%
3.14/3.23 c 2.2s| 6400 | 643 | 6418 | 0.8 | 4352k | 50 | 106 | 9 | 0 | 421 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.32%
3.14/3.23 c 2.3s| 6500 | 649 | 6512 | 0.8 | 4373k | 50 | 106 | 9 | 5 | 442 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.32%
3.14/3.23 c 2.3s| 6600 | 663 | 6585 | 0.8 | 4382k | 50 | 106 | 9 | 0 | 442 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.32%
3.14/3.23 c 2.3s| 6700 | 679 | 6693 | 0.8 | 4382k | 50 | 106 | 9 | 0 | 469 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.32%
3.14/3.23 c 2.3s| 6800 | 679 | 6765 | 0.8 | 4382k | 50 | 106 | 9 | 0 | 480 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.32%
3.14/3.23 c 2.3s| 6900 | 683 | 6820 | 0.8 | 4382k | 50 | 106 | 9 | 0 | 482 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.32%
3.14/3.23 c 2.4s| 7000 | 699 | 6906 | 0.8 | 4382k | 50 | 106 | 9 | 3 | 494 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.32%
3.14/3.23 c 2.4s| 7100 | 705 | 7034 | 0.8 | 4382k | 50 | 106 | 9 | 3 | 529 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.32%
3.14/3.23 c 2.4s| 7200 | 707 | 7114 | 0.8 | 4382k | 50 | 106 | 9 | 0 | 543 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.32%
3.14/3.23 c 2.5s| 7300 | 713 | 7183 | 0.8 | 4382k | 50 | 106 | 9 | 3 | 544 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.33%
3.14/3.23 c 2.5s| 7400 | 729 | 7241 | 0.8 | 4382k | 50 | 106 | 9 | 3 | 544 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.33%
3.14/3.23 c 2.6s| 7500 | 733 | 7328 | 0.8 | 4382k | 50 | 106 | 9 | 6 | 562 | 2 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.33%
3.14/3.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.14/3.23 c 2.6s| 7600 | 739 | 7408 | 0.8 | 4382k | 50 | 106 | 9 | 3 | 575 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.33%
3.14/3.23 c 2.6s| 7700 | 743 | 7505 | 0.8 | 4382k | 50 | 106 | 9 | 0 | 595 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.33%
3.14/3.23 c 2.6s| 7800 | 747 | 7598 | 0.8 | 4640k | 50 | 106 | 9 | 0 | 613 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.33%
3.14/3.23 c 2.7s| 7900 | 751 | 7660 | 0.8 | 4640k | 50 | 106 | 9 | 0 | 615 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.33%
3.14/3.23 c 2.7s| 8000 | 771 | 7768 | 0.8 | 4737k | 50 | 106 | 9 | 5 | 633 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.33%
3.14/3.23 c 2.7s| 8100 | 783 | 7861 | 0.8 | 4737k | 50 | 106 | 9 | 0 | 651 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.33%
3.14/3.23 c 2.7s| 8200 | 805 | 7939 | 0.8 | 4748k | 54 | 106 | 9 | 0 | 660 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.33%
3.14/3.23 c 2.8s| 8300 | 823 | 8025 | 0.8 | 4895k | 54 | 106 | 9 | 0 | 675 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.33%
3.14/3.23 c 2.8s| 8400 | 829 | 8082 | 0.8 | 5153k | 54 | 106 | 9 | 5 | 677 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.33%
3.14/3.23 c 2.8s| 8500 | 837 | 8156 | 0.8 | 5170k | 54 | 106 | 9 | 0 | 688 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.33%
3.14/3.23 c 2.9s| 8600 | 839 | 8238 | 0.8 | 5177k | 54 | 106 | 9 | 0 | 704 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.33%
3.14/3.23 c 2.9s| 8700 | 839 | 8289 | 0.8 | 5177k | 54 | 106 | 9 | 3 | 704 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.33%
3.14/3.23 c 2.9s| 8800 | 847 | 8366 | 0.8 | 5177k | 54 | 106 | 9 | 4 | 714 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.33%
3.14/3.23 c 2.9s| 8900 | 845 | 8422 | 0.8 | 5185k | 54 | 106 | 9 | 3 | 714 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.35%
3.14/3.23 c 2.9s| 9000 | 847 | 8495 | 0.8 | 5185k | 54 | 106 | 9 | 3 | 724 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.35%
3.14/3.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.14/3.23 c 3.0s| 9100 | 853 | 8560 | 0.8 | 5185k | 54 | 106 | 9 | 0 | 733 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.38%
3.14/3.23 c 3.0s| 9200 | 861 | 8640 | 0.8 | 5251k | 54 | 106 | 9 | 0 | 744 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.38%
3.14/3.23 c 3.0s| 9300 | 869 | 8712 | 0.8 | 5263k | 54 | 106 | 9 | 3 | 749 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 24.38%
3.14/3.23 c 3.0s| 9400 | 873 | 8776 | 0.8 | 5263k | 54 | 106 | 9 | 3 | 753 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 29.61%
3.14/3.23 c 3.0s| 9500 | 883 | 8876 | 0.8 | 5269k | 54 | 106 | 9 | 3 | 765 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 30.34%
3.14/3.23 c 3.0s| 9600 | 895 | 8968 | 0.8 | 5269k | 54 | 106 | 9 | 0 | 765 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 30.35%
3.14/3.23 c 3.0s| 9700 | 915 | 9059 | 0.8 | 5271k | 54 | 106 | 9 | 3 | 765 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 30.35%
3.83/3.99 c 3.1s| 9800 | 935 | 9128 | 0.8 | 5271k | 54 | 106 | 9 | 3 | 767 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 30.35%
3.83/3.99 c 3.1s| 9900 | 933 | 9177 | 0.8 | 5271k | 54 | 106 | 9 | 0 | 767 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 30.35%
3.83/3.99 c 3.1s| 10000 | 937 | 9231 | 0.8 | 5271k | 54 | 106 | 9 | 0 | 767 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 30.36%
3.83/3.99 c 3.1s| 10100 | 953 | 9289 | 0.8 | 5271k | 54 | 106 | 9 | 3 | 767 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 30.36%
3.83/3.99 c 3.1s| 10200 | 965 | 9345 | 0.8 | 5271k | 54 | 106 | 9 | 0 | 767 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 30.36%
3.83/3.99 c 3.1s| 10300 | 971 | 9402 | 0.8 | 5271k | 54 | 106 | 9 | 0 | 767 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 30.36%
3.83/3.99 c 3.2s| 10400 | 975 | 9458 | 0.8 | 5271k | 54 | 106 | 9 | 3 | 767 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 30.36%
3.83/3.99 c 3.2s| 10500 | 989 | 9548 | 0.8 | 5271k | 54 | 106 | 9 | 3 | 767 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 30.36%
3.83/3.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.83/3.99 c 3.2s| 10600 | 991 | 9604 | 0.8 | 5271k | 54 | 106 | 9 | 3 | 767 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 30.37%
3.83/3.99 c 3.2s| 10700 | 1009 | 9677 | 0.8 | 5271k | 54 | 106 | 9 | 3 | 773 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 30.68%
3.83/3.99 c 3.2s| 10800 | 1015 | 9732 | 0.8 | 5271k | 54 | 106 | 9 | 3 | 773 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 30.69%
3.83/3.99 c 3.2s| 10900 | 1019 | 9785 | 0.8 | 5271k | 54 | 106 | 9 | 0 | 773 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 30.69%
3.83/3.99 c 3.3s| 11000 | 1025 | 9850 | 0.8 | 5271k | 54 | 106 | 9 | 0 | 773 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 30.70%
3.83/3.99 c 3.3s| 11100 | 1029 | 9902 | 0.8 | 5271k | 54 | 106 | 9 | 3 | 773 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 30.70%
3.83/3.99 c 3.3s| 11200 | 1041 | 9960 | 0.8 | 5278k | 54 | 106 | 9 | 3 | 773 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 30.70%
3.83/3.99 c 3.3s| 11300 | 1053 | 10026 | 0.8 | 5278k | 54 | 106 | 9 | 3 | 773 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 30.70%
3.83/3.99 c 3.4s| 11400 | 1069 | 10084 | 0.8 | 5278k | 54 | 106 | 9 | 0 | 773 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 30.70%
3.83/3.99 c 3.4s| 11500 | 1077 | 10138 | 0.8 | 5278k | 54 | 106 | 9 | 3 | 773 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 30.70%
3.83/3.99 c 3.4s| 11600 | 1089 | 10198 | 0.8 | 5278k | 54 | 106 | 9 | 0 | 773 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 30.70%
3.83/3.99 c 3.4s| 11700 | 1095 | 10256 | 0.8 | 5294k | 54 | 106 | 9 | 0 | 774 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 30.70%
3.83/3.99 c 3.4s| 11800 | 1105 | 10312 | 0.8 | 5294k | 54 | 106 | 9 | 0 | 774 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 30.70%
3.83/3.99 c 3.5s| 11900 | 1119 | 10386 | 0.8 | 5294k | 54 | 106 | 9 | 0 | 774 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 30.70%
3.83/3.99 c 3.5s| 12000 | 1139 | 10465 | 0.8 | 5294k | 54 | 106 | 9 | 0 | 774 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 30.70%
3.83/3.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.83/3.99 c 3.5s| 12100 | 1153 | 10525 | 0.8 | 5302k | 54 | 106 | 9 | 3 | 778 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 30.70%
3.83/3.99 c 3.5s| 12200 | 1163 | 10585 | 0.8 | 5307k | 54 | 106 | 9 | 0 | 778 | 0 | 6 | 10 | 0.000000e+00 | -- | Inf | 30.71%
3.83/3.99 c 3.5s| 12300 | 1177 | 10663 | 0.8 | 5340k | 54 | 106 | 9 | 3 | 778 | 1 | 6 | 10 | 0.000000e+00 | -- | Inf | 30.71%
3.83/3.99 c 3.5s| 12400 | 1189 | 10728 | 0.8 | 5350k | 54 | 106 | 9 | 3 | 782 | 1 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
3.83/3.99 c 3.5s| 12500 | 1199 | 10784 | 0.8 | 5358k | 54 | 106 | 9 | 3 | 782 | 1 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
3.83/3.99 c 3.5s| 12600 | 1205 | 10859 | 0.8 | 5366k | 54 | 106 | 9 | 0 | 799 | 0 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
3.83/3.99 c 3.5s| 12700 | 1217 | 10916 | 0.8 | 5366k | 54 | 106 | 9 | 0 | 799 | 0 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
3.83/3.99 c 3.5s| 12800 | 1231 | 10976 | 0.8 | 5382k | 54 | 106 | 9 | 0 | 799 | 0 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
3.83/3.99 c 3.5s| 12900 | 1247 | 11043 | 0.8 | 5382k | 54 | 106 | 9 | 3 | 806 | 1 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
3.83/3.99 c 3.6s| 13000 | 1277 | 11169 | 0.8 | 5389k | 54 | 106 | 9 | 0 | 824 | 0 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
3.83/3.99 c 3.6s| 13100 | 1283 | 11228 | 0.8 | 5389k | 54 | 106 | 9 | 3 | 825 | 1 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
3.83/3.99 c 3.6s| 13200 | 1305 | 11316 | 0.8 | 5405k | 54 | 106 | 9 | 3 | 839 | 1 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
3.83/3.99 c 3.6s| 13300 | 1321 | 11395 | 0.8 | 5470k | 54 | 106 | 9 | 5 | 852 | 1 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
3.83/3.99 c 3.6s| 13400 | 1327 | 11461 | 0.8 | 5470k | 54 | 106 | 9 | 3 | 855 | 1 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
3.83/3.99 c 3.6s| 13500 | 1337 | 11573 | 0.8 | 5518k | 54 | 106 | 9 | 0 | 876 | 0 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
3.83/3.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.83/3.99 c 3.6s| 13600 | 1359 | 11656 | 0.8 | 5536k | 54 | 106 | 9 | 3 | 876 | 1 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
3.83/3.99 c 3.6s| 13700 | 1381 | 11801 | 0.8 | 5536k | 54 | 106 | 9 | 3 | 908 | 1 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
3.83/3.99 c 3.6s| 13800 | 1391 | 11916 | 0.8 | 5548k | 54 | 106 | 9 | 0 | 930 | 0 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
3.83/3.99 c 3.6s| 13900 | 1405 | 11988 | 0.8 | 5548k | 54 | 106 | 9 | 0 | 935 | 0 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
3.83/3.99 c 3.6s| 14000 | 1413 | 12067 | 0.8 | 5548k | 54 | 106 | 9 | 3 | 949 | 1 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
3.83/3.99 c 3.7s| 14100 | 1421 | 12129 | 0.8 | 5548k | 54 | 106 | 9 | 0 | 956 | 0 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
3.83/3.99 c 3.7s| 14200 | 1429 | 12200 | 0.8 | 5548k | 54 | 106 | 9 | 3 | 959 | 1 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
3.83/3.99 c 3.7s| 14300 | 1431 | 12276 | 0.8 | 5548k | 54 | 106 | 9 | 3 | 969 | 1 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
3.83/3.99 c 3.7s| 14400 | 1447 | 12336 | 0.8 | 5548k | 54 | 106 | 9 | 0 | 969 | 0 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
3.83/3.99 c 3.7s| 14500 | 1461 | 12402 | 0.8 | 5548k | 54 | 106 | 9 | 3 | 969 | 1 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
3.83/3.99 c 3.7s| 14600 | 1465 | 12454 | 0.8 | 5548k | 54 | 106 | 9 | 0 | 969 | 0 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
3.83/3.99 c 3.8s| 14700 | 1471 | 12507 | 0.8 | 5548k | 54 | 106 | 9 | 0 | 969 | 0 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
3.83/3.99 c 3.8s| 14800 | 1481 | 12565 | 0.8 | 5548k | 54 | 106 | 9 | 3 | 969 | 1 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
3.83/3.99 c 3.8s| 14900 | 1483 | 12616 | 0.8 | 5548k | 54 | 106 | 9 | 3 | 969 | 1 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
3.83/3.99 c 3.8s| 15000 | 1497 | 12677 | 0.8 | 5548k | 54 | 106 | 9 | 3 | 970 | 1 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
4.43/4.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.43/4.50 c 3.8s| 15100 | 1507 | 12733 | 0.8 | 5548k | 54 | 106 | 9 | 0 | 970 | 0 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
4.43/4.50 c 3.9s| 15200 | 1511 | 12791 | 0.8 | 5548k | 54 | 106 | 9 | 3 | 973 | 1 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
4.43/4.50 c 3.9s| 15300 | 1523 | 12863 | 0.8 | 5548k | 54 | 106 | 9 | 3 | 976 | 1 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
4.43/4.50 c 3.9s| 15400 | 1527 | 12924 | 0.8 | 5548k | 54 | 106 | 9 | 3 | 979 | 1 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
4.43/4.50 c 3.9s| 15500 | 1537 | 12996 | 0.8 | 5548k | 54 | 106 | 9 | 3 | 991 | 1 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
4.43/4.50 c 3.9s| 15600 | 1547 | 13065 | 0.8 | 5548k | 54 | 106 | 9 | 0 |1004 | 0 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
4.43/4.50 c 3.9s| 15700 | 1555 | 13174 | 0.8 | 5548k | 54 | 106 | 9 | 3 |1020 | 1 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
4.43/4.50 c 4.0s| 15800 | 1565 | 13243 | 0.8 | 6064k | 54 | 106 | 9 | 3 |1027 | 1 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
4.43/4.50 c 4.0s| 15900 | 1575 | 13303 | 0.8 | 6064k | 54 | 106 | 9 | 0 |1028 | 0 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
4.43/4.50 c 4.0s| 16000 | 1585 | 13358 | 0.8 | 6064k | 54 | 106 | 9 | 3 |1028 | 1 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
4.43/4.50 c 4.0s| 16100 | 1597 | 13445 | 0.8 | 6064k | 54 | 106 | 9 | 3 |1042 | 1 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
4.43/4.50 c 4.0s| 16200 | 1599 | 13504 | 0.8 | 6471k | 54 | 106 | 9 | 3 |1045 | 1 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
4.43/4.50 c 4.1s| 16300 | 1599 | 13613 | 0.8 | 6471k | 54 | 106 | 9 | 3 |1075 | 1 | 8 | 10 | 0.000000e+00 | -- | Inf | 30.71%
4.43/4.50 c 4.1s| 16400 | 1599 | 13670 | 0.8 | 6477k | 54 | 106 | 9 | 0 |1080 | 0 | 9 | 10 | 0.000000e+00 | -- | Inf | 30.71%
4.43/4.50 c 4.1s| 16500 | 1607 | 13745 | 0.8 | 6538k | 54 | 106 | 9 | 3 |1092 | 1 | 9 | 10 | 0.000000e+00 | -- | Inf | 30.71%
4.43/4.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.43/4.50 c 4.1s| 16600 | 1617 | 13832 | 0.8 | 6551k | 54 | 106 | 9 | 3 |1109 | 1 | 9 | 10 | 0.000000e+00 | -- | Inf | 30.71%
4.43/4.50 c 4.1s| 16700 | 1627 | 13907 | 0.8 | 6559k | 54 | 106 | 9 | 3 |1116 | 1 | 9 | 10 | 0.000000e+00 | -- | Inf | 30.71%
4.43/4.50 c 4.2s| 16800 | 1637 | 13978 | 0.8 | 6626k | 54 | 106 | 9 | 3 |1126 | 1 | 9 | 10 | 0.000000e+00 | -- | Inf | 30.71%
4.43/4.50 c 4.2s| 16900 | 1645 | 14072 | 0.8 | 6672k | 54 | 106 | 9 | 0 |1150 | 0 | 9 | 10 | 0.000000e+00 | -- | Inf | 30.71%
4.43/4.50 c 4.2s| 17000 | 1655 | 14151 | 0.8 | 6803k | 54 | 106 | 9 | 5 |1165 | 1 | 9 | 10 | 0.000000e+00 | -- | Inf | 30.71%
4.43/4.50 c 4.2s| 17100 | 1663 | 14205 | 0.8 | 6820k | 54 | 106 | 9 | 0 |1165 | 0 | 9 | 10 | 0.000000e+00 | -- | Inf | 30.71%
4.43/4.50 c 4.2s| 17200 | 1665 | 14283 | 0.8 | 6820k | 54 | 106 | 9 | 3 |1178 | 1 | 9 | 10 | 0.000000e+00 | -- | Inf | 30.71%
4.43/4.50 c 4.3s| 17300 | 1683 | 14351 | 0.8 | 7054k | 54 | 106 | 9 | 0 |1182 | 0 | 9 | 10 | 0.000000e+00 | -- | Inf | 30.71%
4.43/4.50 c 4.3s| 17400 | 1691 | 14437 | 0.8 | 7054k | 54 | 106 | 9 | 0 |1200 | 0 | 9 | 10 | 0.000000e+00 | -- | Inf | 30.71%
4.43/4.50 c 4.3s| 17500 | 1699 | 14501 | 0.8 | 7054k | 54 | 106 | 9 | 3 |1200 | 1 | 9 | 10 | 0.000000e+00 | -- | Inf | 30.71%
4.43/4.50 c 4.3s| 17600 | 1705 | 14586 | 0.8 | 7054k | 54 | 106 | 9 | 0 |1219 | 0 | 9 | 10 | 0.000000e+00 | -- | Inf | 30.71%
4.43/4.50 c r 4.3s| 17664 | 0 | 14633 | 0.8 |randroun| 54 | 106 | 9 | 3 |1225 | 0 | 9 | 10 | 0.000000e+00 | 0.000000e+00 | 0.00%| 100.00%
4.43/4.50 c
4.43/4.50 c SCIP Status : problem is solved [optimal solution found]
4.43/4.50 c Solving Time (sec) : 4.34
4.43/4.50 c Solving Nodes : 17664 (total of 18864 nodes in 2 runs)
4.43/4.50 c Primal Bound : +0.00000000000000e+00 (1 solutions)
4.43/4.50 c Dual Bound : +0.00000000000000e+00
4.43/4.50 c Gap : 0.00 %
4.43/4.50 c [VIOLATION] Line 7: -45276 x1 -90552 x2 -181104 x3 -362208 x4 -724416 x5 -1448832 x6 -2897664 x7 -5795328 x8 -11590656 x9 -23181312 x10 -46362624 x11 -92725248 x12 -70778 x13 -141556 x14 -283112 x15 -566224 x16 -1132448 x17 -2264896 x18 -4529792 x19 -9059584 x20 -18119168 x21 -36238336 x22 -72476672 x23 -86911 x24 -173822 x25 -347644 x26 -695288 x27 -1390576 x28 -2781152 x29 -5562304 x30 -11124608 x31 -22249216 x32 -44498432 x33 -88996864 x34 -92634 x35 -185268 x36 -370536 x37 -741072 x38 -1482144 x39 -2964288 x40 -5928576 x41 -11857152 x42 -23714304 x43 -47428608 x44 -94857216 x45 -97839 x46 -195678 x47 -391356 x48 -782712 x49 -1565424 x50 -3130848 x51 -6261696 x52 -12523392 x53 -25046784 x54 -50093568 x55 -100187136 x56 -125941 x57 -251882 x58 -503764 x59 -1007528 x60 -2015056 x61 -4030112 x62 -8060224 x63 -16120448 x64 -32240896 x65 -64481792 x66 -134269 x67 -268538 x68 -537076 x69 -1074152 x70 -2148304 x71 -4296608 x72 -8593216 x73 -17186432 x74 -34372864 x75 -68745728 x76 -141033 x77 -282066 x78 -564132 x79 -1128264 x80 -2256528 x81 -4513056 x82 -9026112 x83 -18052224 x84 -36104448 x85 -72208896 x86 -147279 x87 -294558 x88 -589116 x89 -1178232 x90 -2356464 x91 -4712928 x92 -9425856 x93 -18851712 x94 -37703424 x95 -75406848 x96 -153525 x97 -307050 x98 -614100 x99 -1228200 x100 -2456400 x101 -4912800 x102 -9825600 x103 -19651200 x104 -39302400 x105 -78604800 x106 >= -106925262 ;
4.43/4.50 c Computed activity: -106925349
4.43/4.50 c Required: activity >= -106925262
4.43/4.50 c Variable assignments: {x1=0, x2=0, x3=1, x4=0, x5=0, x6=0, x7=0, x8=0, x9=0, x10=0, x11=0, x12=0, x13=1, x14=0, x15=0, x16=0, x17=0, x18=0, x19=0, x20=0, x21=0, x22=0, x23=0, x24=0, x25=0, x26=0, x27=0, x28=1, x29=0, x30=0, x31=0, x32=0, x33=0, x34=1, x35=0, x36=0, x37=0, x38=0, x39=0, x40=0, x41=0, x42=0, x43=0, x44=0, x45=0, x46=1, x47=0, x48=0, x49=0, x50=0, x51=1, x52=0, x53=1, x54=0, x55=0, x56=0, x57=0, x58=1, x59=0, x60=0, x61=0, x62=0, x63=0, x64=0, x65=0, x66=0, x67=0, x68=0, x69=0, x70=0, x71=0, x72=0, x73=0, x74=0, x75=0, x76=0, x77=0, x78=1, x79=0, x80=0, x81=0, x82=0, x83=0, x84=0, x85=0, x86=0, x87=0, x88=0, x89=0, x90=0, x91=0, x92=0, x93=0, x94=0, x95=0, x96=0, x97=0, x98=0, x99=0, x100=0, x101=0, x102=0, x103=0, x104=0, x105=0, x106=0}}
4.43/4.50 c SCIP found a solution, but it is not feasible according to the original problem.
4.43/4.50 c ----------------------------------------------------------------------
4.43/4.50 c executing external solver (fallback): HOME/naps-1.03a6
4.43/4.50 c ----------------------------------------------------------------------
4.43/4.50 c command: HOME/naps-1.03a6 HOME/instance-4529695-1752253454.opb
4.43/4.50 c NaPS 1.03a6.
4.43/4.50 c Input file name: HOME/instance-4529695-1752253454.opb
1087.23/1090.94 c s SATISFIABLE
1087.23/1090.94 c _____________________________________________________________________________
1087.23/1090.94 c std/band forms : 0,1
1087.23/1090.94 c 2cl/3cl ITE-codings : 0,63874
1087.23/1090.94 c BDD/srt/adr Max costs : 66117,0,0
1087.23/1090.94 c BDDraw/bin/mul/srt/adr: 0,0,1,0,0
1087.23/1090.94 c BDD nodes : 66119
1087.23/1090.94 c Es1/CC detections : 0,0
1087.23/1090.94 c CC sort : 0
1087.23/1090.94 c SAT/UNSAT calls : 1,0
1087.23/1090.94 c regenrated variables : 0
1087.23/1090.94 c eliminated fixed lits : 0
1087.23/1090.94 c goal lit flips : 0
1087.23/1090.94 c goal stages : 0
1087.23/1090.94 c goal shrink : 0
1087.23/1090.94 c goal coeff separations: 0
1087.23/1090.94 c restarts : 77256
1087.23/1090.94 c conflicts : 2514704 (2322 /sec)
1087.23/1090.94 c decisions : 13677304 (12632 /sec)
1087.23/1090.94 c propagations : 11115184139 (10265562 /sec)
1087.23/1090.94 c inspects : 0 (0 /sec)
1087.23/1090.94 c CPU time (solving tm) : 1083 s (1082 s, SAT 1082 s, UNSAT 0 s)
1087.23/1090.94 c Time for Opt-base : 0.09169 s
1087.23/1090.94 c Steps for Opt-base : 384568
1087.23/1090.94 c Time for BDD coding : 0.4833 s
1087.23/1090.94 c Time for srt coding : 0 s
1087.23/1090.94 c _____________________________________________________________________________
1087.23/1090.94 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 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 x98 -x99 x100 -x101 -x102 x103 x104 -x105 -x106
1087.23/1090.95 s SATISFIABLE
1087.23/1090.95 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 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 x98 -x99 x100 -x101 -x102 x103 x104 -x105 -x106
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 (53793 MiB free)
memory of node 1: 64507 MiB (57427 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529695-1752253454/watcher-4529695-1752253454 -o /tmp/evaluation-result-4529695-1752253454/solver-4529695-1752253454 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1752253388-115876 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529695-1752253454.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=116437, runsolver pid=116434
[startup+0.100064 s]*
/proc/loadavg: 3.23 2.37 2.24 5/271 116442
/proc/meminfo: memFree=113889408/131249996 swapFree=33003468/33010684
[pid=116437] ppid=116434 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116437/stat : 116437 (scip-naps-1.00a) S 116434 116437 115863 0 -1 4194304 261 315 0 0 0 0 0 0 20 0 1 0 141023122 4292608 768 18446744073709551615 94228369776640 94228370671173 140721737012704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94228370910224 94228370957968 94228377350144 140721737021851 140721737021950 140721737021950 140721737027554 0
/proc/116437/statm: 1048 768 704 219 0 110 0
[pid=116442] ppid=116437 vsize=1186152 memory=30944 CPUtime=0.05 cores=5,7
/proc/116442/stat : 116442 (python3) R 116437 116437 115863 0 -1 4194304 3519 0 0 0 4 1 0 0 20 0 1 0 141023125 1214619648 7736 18446744073709551615 94642281803776 94642281804153 140724955217680 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94642281815448 94642281816068 94642295070720 140724955220303 140724955220512 140724955220512 140724955226087 0
/proc/116442/statm: 296538 7736 4832 1 0 268592 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 1190344 KiB
Current children cumulated memory: 34016 KiB
[startup+0.20576 s]*
/proc/loadavg: 3.23 2.37 2.24 5/271 116442
/proc/meminfo: memFree=113875484/131249996 swapFree=33003468/33010684
[pid=116437] ppid=116434 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116437/stat : 116437 (scip-naps-1.00a) S 116434 116437 115863 0 -1 4194304 261 315 0 0 0 0 0 0 20 0 1 0 141023122 4292608 768 18446744073709551615 94228369776640 94228370671173 140721737012704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94228370910224 94228370957968 94228377350144 140721737021851 140721737021950 140721737021950 140721737027554 0
/proc/116437/statm: 1048 768 704 219 0 110 0
[pid=116442] ppid=116437 vsize=1202376 memory=55264 CPUtime=0.16 cores=5,7
/proc/116442/stat : 116442 (python3) R 116437 116437 115863 0 -1 4194304 6553 0 0 0 13 3 0 0 20 0 1 0 141023125 1231233024 13816 18446744073709551615 94642281803776 94642281804153 140724955217680 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94642281815448 94642281816068 94642295070720 140724955220303 140724955220512 140724955220512 140724955226087 0
/proc/116442/statm: 300594 13816 8160 1 0 271952 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1206568 KiB
Current children cumulated memory: 58336 KiB
[startup+0.306014 s]*
/proc/loadavg: 3.23 2.37 2.24 5/271 116442
/proc/meminfo: memFree=113875484/131249996 swapFree=33003468/33010684
[pid=116437] ppid=116434 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116437/stat : 116437 (scip-naps-1.00a) S 116434 116437 115863 0 -1 4194304 261 315 0 0 0 0 0 0 20 0 1 0 141023122 4292608 768 18446744073709551615 94228369776640 94228370671173 140721737012704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94228370910224 94228370957968 94228377350144 140721737021851 140721737021950 140721737021950 140721737027554 0
/proc/116437/statm: 1048 768 704 219 0 110 0
[pid=116442] ppid=116437 vsize=1202652 memory=55776 CPUtime=0.26 cores=5,7
/proc/116442/stat : 116442 (python3) R 116437 116437 115863 0 -1 4194304 6669 0 0 0 23 3 0 0 20 0 1 0 141023125 1231515648 13944 18446744073709551615 94642281803776 94642281804153 140724955217680 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94642281815448 94642281816068 94642295070720 140724955220303 140724955220512 140724955220512 140724955226087 0
/proc/116442/statm: 300663 13944 8160 1 0 272021 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1206844 KiB
Current children cumulated memory: 58848 KiB
[startup+0.700231 s]
/proc/loadavg: 3.23 2.37 2.24 5/271 116442
/proc/meminfo: memFree=113875484/131249996 swapFree=33003468/33010684
[pid=116437] ppid=116434 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116437/stat : 116437 (scip-naps-1.00a) S 116434 116437 115863 0 -1 4194304 261 315 0 0 0 0 0 0 20 0 1 0 141023122 4292608 768 18446744073709551615 94228369776640 94228370671173 140721737012704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94228370910224 94228370957968 94228377350144 140721737021851 140721737021950 140721737021950 140721737027554 0
/proc/116437/statm: 1048 768 704 219 0 110 0
[pid=116442] ppid=116437 vsize=1203804 memory=56800 CPUtime=0.65 cores=5,7
/proc/116442/stat : 116442 (python3) R 116437 116437 115863 0 -1 4194304 6928 0 0 0 62 3 0 0 20 0 1 0 141023125 1232695296 14200 18446744073709551615 94642281803776 94642281804153 140724955217680 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94642281815448 94642281816068 94642295070720 140724955220303 140724955220512 140724955220512 140724955226087 0
/proc/116442/statm: 300951 14200 8160 1 0 272309 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1207996 KiB
Current children cumulated memory: 59872 KiB
[startup+1.5002 s]
/proc/loadavg: 3.37 2.42 2.26 5/271 116442
/proc/meminfo: memFree=113537504/131249996 swapFree=33003468/33010684
[pid=116437] ppid=116434 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116437/stat : 116437 (scip-naps-1.00a) S 116434 116437 115863 0 -1 4194304 261 315 0 0 0 0 0 0 20 0 1 0 141023122 4292608 768 18446744073709551615 94228369776640 94228370671173 140721737012704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94228370910224 94228370957968 94228377350144 140721737021851 140721737021950 140721737021950 140721737027554 0
/proc/116437/statm: 1048 768 704 219 0 110 0
[pid=116442] ppid=116437 vsize=1204424 memory=57184 CPUtime=1.44 cores=5,7
/proc/116442/stat : 116442 (python3) R 116437 116437 115863 0 -1 4194304 7047 0 0 0 141 3 0 0 20 0 1 0 141023125 1233330176 14296 18446744073709551615 94642281803776 94642281804153 140724955217680 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94642281815448 94642281816068 94642295070720 140724955220303 140724955220512 140724955220512 140724955226087 0
/proc/116442/statm: 301106 14296 8160 1 0 272464 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 1208616 KiB
Current children cumulated memory: 60256 KiB
[startup+3.10554 s]
/proc/loadavg: 3.37 2.42 2.26 5/271 116442
/proc/meminfo: memFree=113138540/131249996 swapFree=33003468/33010684
[pid=116437] ppid=116434 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116437/stat : 116437 (scip-naps-1.00a) S 116434 116437 115863 0 -1 4194304 261 315 0 0 0 0 0 0 20 0 1 0 141023122 4292608 768 18446744073709551615 94228369776640 94228370671173 140721737012704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94228370910224 94228370957968 94228377350144 140721737021851 140721737021950 140721737021950 140721737027554 0
/proc/116437/statm: 1048 768 704 219 0 110 0
[pid=116442] ppid=116437 vsize=1204856 memory=58080 CPUtime=3.04 cores=5,7
/proc/116442/stat : 116442 (python3) R 116437 116437 115863 0 -1 4194304 7253 0 0 0 301 3 0 0 20 0 1 0 141023125 1233772544 14520 18446744073709551615 94642281803776 94642281804153 140724955217680 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94642281815448 94642281816068 94642295070720 140724955220303 140724955220512 140724955220512 140724955226087 0
/proc/116442/statm: 301214 14520 8160 1 0 272572 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 1209048 KiB
Current children cumulated memory: 61152 KiB
[startup+6.30024 s]
/proc/loadavg: 3.42 2.44 2.27 5/272 116443
/proc/meminfo: memFree=110973108/131249996 swapFree=33003468/33010684
[pid=116437] ppid=116434 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116437/stat : 116437 (scip-naps-1.00a) S 116434 116437 115863 0 -1 4194304 261 315 0 0 0 0 0 0 20 0 1 0 141023122 4292608 768 18446744073709551615 94228369776640 94228370671173 140721737012704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94228370910224 94228370957968 94228377350144 140721737021851 140721737021950 140721737021950 140721737027554 0
/proc/116437/statm: 1048 768 704 219 0 110 0
[pid=116442] ppid=116437 vsize=1207136 memory=60000 CPUtime=4.43 cores=5,7
/proc/116442/stat : 116442 (python3) S 116437 116437 115863 0 -1 4194304 7840 0 0 0 440 3 0 0 20 0 1 0 141023125 1236107264 15000 18446744073709551615 94642281803776 94642281804153 140724955217680 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94642281815448 94642281816068 94642295070720 140724955220303 140724955220512 140724955220512 140724955226087 0
/proc/116442/statm: 301784 15000 8224 1 0 273142 0
[pid=116443] ppid=116442 vsize=81180 memory=77008 CPUtime=1.78 cores=5,7
/proc/116443/stat : 116443 (naps-1.03a6) R 116442 116443 116443 0 -1 4194304 20995 0 0 0 174 4 0 0 20 0 1 0 141023572 83128320 19252 18446744073709551615 4198400 7047149 140726162770928 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 29511680 140726162774399 140726162774513 140726162774513 140726162780105 0
/proc/116443/statm: 20295 19252 544 696 0 19456 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 1292508 KiB
Current children cumulated memory: 140080 KiB
[startup+12.7002 s]
/proc/loadavg: 3.47 2.47 2.28 5/272 116443
/proc/meminfo: memFree=110830184/131249996 swapFree=33003468/33010684
[pid=116437] ppid=116434 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116437/stat : 116437 (scip-naps-1.00a) S 116434 116437 115863 0 -1 4194304 261 315 0 0 0 0 0 0 20 0 1 0 141023122 4292608 768 18446744073709551615 94228369776640 94228370671173 140721737012704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94228370910224 94228370957968 94228377350144 140721737021851 140721737021950 140721737021950 140721737027554 0
/proc/116437/statm: 1048 768 704 219 0 110 0
[pid=116442] ppid=116437 vsize=1207136 memory=60000 CPUtime=4.43 cores=5,7
/proc/116442/stat : 116442 (python3) S 116437 116437 115863 0 -1 4194304 7840 0 0 0 440 3 0 0 20 0 1 0 141023125 1236107264 15000 18446744073709551615 94642281803776 94642281804153 140724955217680 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94642281815448 94642281816068 94642295070720 140724955220303 140724955220512 140724955220512 140724955226087 0
/proc/116442/statm: 301784 15000 8224 1 0 273142 0
[pid=116443] ppid=116442 vsize=88368 memory=82480 CPUtime=8.16 cores=5,7
/proc/116443/stat : 116443 (naps-1.03a6) R 116442 116443 116443 0 -1 4194304 22858 0 0 0 812 4 0 0 20 0 1 0 141023572 90488832 20620 18446744073709551615 4198400 7047149 140726162770928 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 29511680 140726162774399 140726162774513 140726162774513 140726162780105 0
/proc/116443/statm: 22092 20620 544 696 0 21253 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 1299696 KiB
Current children cumulated memory: 145552 KiB
[startup+25.5002 s]
/proc/loadavg: 3.55 2.52 2.30 5/273 116494
/proc/meminfo: memFree=106195040/131249996 swapFree=33003468/33010684
[pid=116437] ppid=116434 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116437/stat : 116437 (scip-naps-1.00a) S 116434 116437 115863 0 -1 4194304 261 315 0 0 0 0 0 0 20 0 1 0 141023122 4292608 768 18446744073709551615 94228369776640 94228370671173 140721737012704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94228370910224 94228370957968 94228377350144 140721737021851 140721737021950 140721737021950 140721737027554 0
/proc/116437/statm: 1048 768 704 219 0 110 0
[pid=116442] ppid=116437 vsize=1207136 memory=60000 CPUtime=4.43 cores=5,7
/proc/116442/stat : 116442 (python3) S 116437 116437 115863 0 -1 4194304 7840 0 0 0 440 3 0 0 20 0 1 0 141023125 1236107264 15000 18446744073709551615 94642281803776 94642281804153 140724955217680 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94642281815448 94642281816068 94642295070720 140724955220303 140724955220512 140724955220512 140724955226087 0
/proc/116442/statm: 301784 15000 8224 1 0 273142 0
[pid=116443] ppid=116442 vsize=96564 memory=90012 CPUtime=20.92 cores=5,7
/proc/116443/stat : 116443 (naps-1.03a6) R 116442 116443 116443 0 -1 4194304 23544 0 0 0 2087 5 0 0 20 0 1 0 141023572 98881536 22503 18446744073709551615 4198400 7047149 140726162770928 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 29511680 140726162774399 140726162774513 140726162774513 140726162780105 0
/proc/116443/statm: 24141 22503 544 696 0 23302 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 1307892 KiB
Current children cumulated memory: 153084 KiB
[startup+51.1055 s]
/proc/loadavg: 3.80 2.68 2.36 5/273 116592
/proc/meminfo: memFree=122103656/131249996 swapFree=33003468/33010684
[pid=116437] ppid=116434 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116437/stat : 116437 (scip-naps-1.00a) S 116434 116437 115863 0 -1 4194304 261 315 0 0 0 0 0 0 20 0 1 0 141023122 4292608 768 18446744073709551615 94228369776640 94228370671173 140721737012704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94228370910224 94228370957968 94228377350144 140721737021851 140721737021950 140721737021950 140721737027554 0
/proc/116437/statm: 1048 768 704 219 0 110 0
[pid=116442] ppid=116437 vsize=1207136 memory=60000 CPUtime=4.43 cores=5,7
/proc/116442/stat : 116442 (python3) S 116437 116437 115863 0 -1 4194304 7840 0 0 0 440 3 0 0 20 0 1 0 141023125 1236107264 15000 18446744073709551615 94642281803776 94642281804153 140724955217680 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94642281815448 94642281816068 94642295070720 140724955220303 140724955220512 140724955220512 140724955226087 0
/proc/116442/statm: 301784 15000 8224 1 0 273142 0
[pid=116443] ppid=116442 vsize=104756 memory=91264 CPUtime=46.45 cores=5,7
/proc/116443/stat : 116443 (naps-1.03a6) R 116442 116443 116443 0 -1 4194304 25293 0 0 0 4639 6 0 0 20 0 1 0 141023572 107270144 22816 18446744073709551615 4198400 7047149 140726162770928 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 29511680 140726162774399 140726162774513 140726162774513 140726162780105 0
/proc/116443/statm: 26189 22816 544 696 0 25350 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 1316084 KiB
Current children cumulated memory: 154336 KiB
[startup+102.3 s]
/proc/loadavg: 3.98 2.90 2.45 5/273 116643
/proc/meminfo: memFree=122022452/131249996 swapFree=33003468/33010684
[pid=116437] ppid=116434 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116437/stat : 116437 (scip-naps-1.00a) S 116434 116437 115863 0 -1 4194304 261 315 0 0 0 0 0 0 20 0 1 0 141023122 4292608 768 18446744073709551615 94228369776640 94228370671173 140721737012704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94228370910224 94228370957968 94228377350144 140721737021851 140721737021950 140721737021950 140721737027554 0
/proc/116437/statm: 1048 768 704 219 0 110 0
[pid=116442] ppid=116437 vsize=1207136 memory=61024 CPUtime=4.43 cores=5,7
/proc/116442/stat : 116442 (python3) S 116437 116437 115863 0 -1 4194304 7840 0 0 0 440 3 0 0 20 0 1 0 141023125 1236107264 15256 18446744073709551615 94642281803776 94642281804153 140724955217680 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94642281815448 94642281816068 94642295070720 140724955220303 140724955220512 140724955220512 140724955226087 0
/proc/116442/statm: 301784 15256 8224 1 0 273142 0
[pid=116443] ppid=116442 vsize=117252 memory=100820 CPUtime=97.49 cores=5,7
/proc/116443/stat : 116443 (naps-1.03a6) R 116442 116443 116443 0 -1 4194304 27279 0 0 0 9743 6 0 0 20 0 1 0 141023572 120066048 25205 18446744073709551615 4198400 7047149 140726162770928 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 29511680 140726162774399 140726162774513 140726162774513 140726162780105 0
/proc/116443/statm: 29313 25205 544 696 0 28474 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 1328580 KiB
Current children cumulated memory: 164916 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 3.12 2.56 6/273 116743
/proc/meminfo: memFree=121681812/131249996 swapFree=33003468/33010684
[pid=116437] ppid=116434 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116437/stat : 116437 (scip-naps-1.00a) S 116434 116437 115863 0 -1 4194304 261 315 0 0 0 0 0 0 20 0 1 0 141023122 4292608 768 18446744073709551615 94228369776640 94228370671173 140721737012704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94228370910224 94228370957968 94228377350144 140721737021851 140721737021950 140721737021950 140721737027554 0
/proc/116437/statm: 1048 768 704 219 0 110 0
[pid=116442] ppid=116437 vsize=1207136 memory=61024 CPUtime=4.43 cores=5,7
/proc/116442/stat : 116442 (python3) S 116437 116437 115863 0 -1 4194304 7840 0 0 0 440 3 0 0 20 0 1 0 141023125 1236107264 15256 18446744073709551615 94642281803776 94642281804153 140724955217680 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94642281815448 94642281816068 94642295070720 140724955220303 140724955220512 140724955220512 140724955226087 0
/proc/116442/statm: 301784 15256 8224 1 0 273142 0
################
# More data... #
################
/proc/116443/statm: 26132 24770 544 696 0 25293 0
Current children cumulated CPU time: 998.87 s
Current children cumulated vsize: 1315856 KiB
Current children cumulated memory: 163176 KiB
[startup+1062.3 s]
/proc/loadavg: 4.07 4.14 3.59 5/269 116935
/proc/meminfo: memFree=121720696/131249996 swapFree=33003468/33010684
[pid=116437] ppid=116434 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116437/stat : 116437 (scip-naps-1.00a) S 116434 116437 115863 0 -1 4194304 261 315 0 0 0 0 0 0 20 0 1 0 141023122 4292608 768 18446744073709551615 94228369776640 94228370671173 140721737012704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94228370910224 94228370957968 94228377350144 140721737021851 140721737021950 140721737021950 140721737027554 0
/proc/116437/statm: 1048 768 704 219 0 110 0
[pid=116442] ppid=116437 vsize=1207136 memory=61024 CPUtime=4.43 cores=5,7
/proc/116442/stat : 116442 (python3) S 116437 116437 115863 0 -1 4194304 7840 0 0 0 440 3 0 0 20 0 1 0 141023125 1236107264 15256 18446744073709551615 94642281803776 94642281804153 140724955217680 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94642281815448 94642281816068 94642295070720 140724955220303 140724955220512 140724955220512 140724955226087 0
/proc/116442/statm: 301784 15256 8224 1 0 273142 0
[pid=116443] ppid=116442 vsize=104528 memory=99080 CPUtime=1054.29 cores=5,7
/proc/116443/stat : 116443 (naps-1.03a6) R 116442 116443 116443 0 -1 4194304 33966 0 0 0 105420 9 0 0 20 0 1 0 141023572 107036672 24770 18446744073709551615 4198400 7047149 140726162770928 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 29511680 140726162774399 140726162774513 140726162774513 140726162780105 0
/proc/116443/statm: 26132 24770 544 696 0 25293 0
Current children cumulated CPU time: 1058.72 s
Current children cumulated vsize: 1315856 KiB
Current children cumulated memory: 163176 KiB
[startup+1090.97 s]
# the end of solver process 116437 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1087.19 s, system=0.145498 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1075.2 s]
/proc/loadavg: 4.06 4.13 3.60 5/271 116939
/proc/meminfo: memFree=121691168/131249996 swapFree=33003468/33010684
[pid=116437] ppid=116434 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116437/stat : 116437 (scip-naps-1.00a) S 116434 116437 115863 0 -1 4194304 261 315 0 0 0 0 0 0 20 0 1 0 141023122 4292608 768 18446744073709551615 94228369776640 94228370671173 140721737012704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94228370910224 94228370957968 94228377350144 140721737021851 140721737021950 140721737021950 140721737027554 0
/proc/116437/statm: 1048 768 704 219 0 110 0
[pid=116442] ppid=116437 vsize=1207136 memory=61024 CPUtime=4.43 cores=5,7
/proc/116442/stat : 116442 (python3) S 116437 116437 115863 0 -1 4194304 7840 0 0 0 440 3 0 0 20 0 1 0 141023125 1236107264 15256 18446744073709551615 94642281803776 94642281804153 140724955217680 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94642281815448 94642281816068 94642295070720 140724955220303 140724955220512 140724955220512 140724955226087 0
/proc/116442/statm: 301784 15256 8224 1 0 273142 0
[pid=116443] ppid=116442 vsize=104528 memory=99080 CPUtime=1067.15 cores=5,7
/proc/116443/stat : 116443 (naps-1.03a6) R 116442 116443 116443 0 -1 4194304 33966 0 0 0 106706 9 0 0 20 0 1 0 141023572 107036672 24770 18446744073709551615 4198400 7047149 140726162770928 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 29511680 140726162774399 140726162774513 140726162774513 140726162780105 0
/proc/116443/statm: 26132 24770 544 696 0 25293 0
Current children cumulated CPU time: 1071.58 s
Current children cumulated vsize: 1315856 KiB
Current children cumulated memory: 163176 KiB
[startup+1081.6 s]
/proc/loadavg: 4.14 4.15 3.61 5/271 116939
/proc/meminfo: memFree=121689056/131249996 swapFree=33003468/33010684
[pid=116437] ppid=116434 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116437/stat : 116437 (scip-naps-1.00a) S 116434 116437 115863 0 -1 4194304 261 315 0 0 0 0 0 0 20 0 1 0 141023122 4292608 768 18446744073709551615 94228369776640 94228370671173 140721737012704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94228370910224 94228370957968 94228377350144 140721737021851 140721737021950 140721737021950 140721737027554 0
/proc/116437/statm: 1048 768 704 219 0 110 0
[pid=116442] ppid=116437 vsize=1207136 memory=61024 CPUtime=4.43 cores=5,7
/proc/116442/stat : 116442 (python3) S 116437 116437 115863 0 -1 4194304 7840 0 0 0 440 3 0 0 20 0 1 0 141023125 1236107264 15256 18446744073709551615 94642281803776 94642281804153 140724955217680 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94642281815448 94642281816068 94642295070720 140724955220303 140724955220512 140724955220512 140724955226087 0
/proc/116442/statm: 301784 15256 8224 1 0 273142 0
[pid=116443] ppid=116442 vsize=104528 memory=99080 CPUtime=1073.53 cores=5,7
/proc/116443/stat : 116443 (naps-1.03a6) R 116442 116443 116443 0 -1 4194304 33966 0 0 0 107344 9 0 0 20 0 1 0 141023572 107036672 24770 18446744073709551615 4198400 7047149 140726162770928 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 29511680 140726162774399 140726162774513 140726162774513 140726162780105 0
/proc/116443/statm: 26132 24770 544 696 0 25293 0
Current children cumulated CPU time: 1077.96 s
Current children cumulated vsize: 1315856 KiB
Current children cumulated memory: 163176 KiB
[startup+1084.8 s]
/proc/loadavg: 4.12 4.14 3.61 5/271 116939
/proc/meminfo: memFree=121687388/131249996 swapFree=33003468/33010684
[pid=116437] ppid=116434 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116437/stat : 116437 (scip-naps-1.00a) S 116434 116437 115863 0 -1 4194304 261 315 0 0 0 0 0 0 20 0 1 0 141023122 4292608 768 18446744073709551615 94228369776640 94228370671173 140721737012704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94228370910224 94228370957968 94228377350144 140721737021851 140721737021950 140721737021950 140721737027554 0
/proc/116437/statm: 1048 768 704 219 0 110 0
[pid=116442] ppid=116437 vsize=1207136 memory=61024 CPUtime=4.43 cores=5,7
/proc/116442/stat : 116442 (python3) S 116437 116437 115863 0 -1 4194304 7840 0 0 0 440 3 0 0 20 0 1 0 141023125 1236107264 15256 18446744073709551615 94642281803776 94642281804153 140724955217680 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94642281815448 94642281816068 94642295070720 140724955220303 140724955220512 140724955220512 140724955226087 0
/proc/116442/statm: 301784 15256 8224 1 0 273142 0
[pid=116443] ppid=116442 vsize=104528 memory=99080 CPUtime=1076.72 cores=5,7
/proc/116443/stat : 116443 (naps-1.03a6) R 116442 116443 116443 0 -1 4194304 33966 0 0 0 107663 9 0 0 20 0 1 0 141023572 107036672 24770 18446744073709551615 4198400 7047149 140726162770928 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 29511680 140726162774399 140726162774513 140726162774513 140726162780105 0
/proc/116443/statm: 26132 24770 544 696 0 25293 0
Current children cumulated CPU time: 1081.15 s
Current children cumulated vsize: 1315856 KiB
Current children cumulated memory: 163176 KiB
[startup+1088 s]*
/proc/loadavg: 4.11 4.14 3.61 6/271 116939
/proc/meminfo: memFree=121687244/131249996 swapFree=33003468/33010684
[pid=116437] ppid=116434 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116437/stat : 116437 (scip-naps-1.00a) S 116434 116437 115863 0 -1 4194304 261 315 0 0 0 0 0 0 20 0 1 0 141023122 4292608 768 18446744073709551615 94228369776640 94228370671173 140721737012704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94228370910224 94228370957968 94228377350144 140721737021851 140721737021950 140721737021950 140721737027554 0
/proc/116437/statm: 1048 768 704 219 0 110 0
[pid=116442] ppid=116437 vsize=1207136 memory=61024 CPUtime=4.43 cores=5,7
/proc/116442/stat : 116442 (python3) S 116437 116437 115863 0 -1 4194304 7840 0 0 0 440 3 0 0 20 0 1 0 141023125 1236107264 15256 18446744073709551615 94642281803776 94642281804153 140724955217680 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94642281815448 94642281816068 94642295070720 140724955220303 140724955220512 140724955220512 140724955226087 0
/proc/116442/statm: 301784 15256 8224 1 0 273142 0
[pid=116443] ppid=116442 vsize=104528 memory=99080 CPUtime=1079.91 cores=5,7
/proc/116443/stat : 116443 (naps-1.03a6) R 116442 116443 116443 0 -1 4194304 33966 0 0 0 107982 9 0 0 20 0 1 0 141023572 107036672 24770 18446744073709551615 4198400 7047149 140726162770928 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 29511680 140726162774399 140726162774513 140726162774513 140726162780105 0
/proc/116443/statm: 26132 24770 544 696 0 25293 0
Current children cumulated CPU time: 1084.34 s
Current children cumulated vsize: 1315856 KiB
Current children cumulated memory: 163176 KiB
[startup+1089.6 s]
/proc/loadavg: 4.11 4.14 3.61 5/271 116939
/proc/meminfo: memFree=121687292/131249996 swapFree=33003468/33010684
[pid=116437] ppid=116434 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116437/stat : 116437 (scip-naps-1.00a) S 116434 116437 115863 0 -1 4194304 261 315 0 0 0 0 0 0 20 0 1 0 141023122 4292608 768 18446744073709551615 94228369776640 94228370671173 140721737012704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94228370910224 94228370957968 94228377350144 140721737021851 140721737021950 140721737021950 140721737027554 0
/proc/116437/statm: 1048 768 704 219 0 110 0
[pid=116442] ppid=116437 vsize=1207136 memory=61024 CPUtime=4.43 cores=5,7
/proc/116442/stat : 116442 (python3) S 116437 116437 115863 0 -1 4194304 7840 0 0 0 440 3 0 0 20 0 1 0 141023125 1236107264 15256 18446744073709551615 94642281803776 94642281804153 140724955217680 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94642281815448 94642281816068 94642295070720 140724955220303 140724955220512 140724955220512 140724955226087 0
/proc/116442/statm: 301784 15256 8224 1 0 273142 0
[pid=116443] ppid=116442 vsize=104528 memory=99080 CPUtime=1081.5 cores=5,7
/proc/116443/stat : 116443 (naps-1.03a6) R 116442 116443 116443 0 -1 4194304 33966 0 0 0 108141 9 0 0 20 0 1 0 141023572 107036672 24770 18446744073709551615 4198400 7047149 140726162770928 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 29511680 140726162774399 140726162774513 140726162774513 140726162780105 0
/proc/116443/statm: 26132 24770 544 696 0 25293 0
Current children cumulated CPU time: 1085.93 s
Current children cumulated vsize: 1315856 KiB
Current children cumulated memory: 163176 KiB
[startup+1090.4 s]
/proc/loadavg: 4.11 4.14 3.61 6/271 116939
/proc/meminfo: memFree=121687372/131249996 swapFree=33003468/33010684
[pid=116437] ppid=116434 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116437/stat : 116437 (scip-naps-1.00a) S 116434 116437 115863 0 -1 4194304 261 315 0 0 0 0 0 0 20 0 1 0 141023122 4292608 768 18446744073709551615 94228369776640 94228370671173 140721737012704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94228370910224 94228370957968 94228377350144 140721737021851 140721737021950 140721737021950 140721737027554 0
/proc/116437/statm: 1048 768 704 219 0 110 0
[pid=116442] ppid=116437 vsize=1207136 memory=61024 CPUtime=4.43 cores=5,7
/proc/116442/stat : 116442 (python3) S 116437 116437 115863 0 -1 4194304 7840 0 0 0 440 3 0 0 20 0 1 0 141023125 1236107264 15256 18446744073709551615 94642281803776 94642281804153 140724955217680 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94642281815448 94642281816068 94642295070720 140724955220303 140724955220512 140724955220512 140724955226087 0
/proc/116442/statm: 301784 15256 8224 1 0 273142 0
[pid=116443] ppid=116442 vsize=104528 memory=99080 CPUtime=1082.3 cores=5,7
/proc/116443/stat : 116443 (naps-1.03a6) R 116442 116443 116443 0 -1 4194304 33966 0 0 0 108221 9 0 0 20 0 1 0 141023572 107036672 24770 18446744073709551615 4198400 7047149 140726162770928 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 29511680 140726162774399 140726162774513 140726162774513 140726162780105 0
/proc/116443/statm: 26132 24770 544 696 0 25293 0
Current children cumulated CPU time: 1086.73 s
Current children cumulated vsize: 1315856 KiB
Current children cumulated memory: 163176 KiB
[startup+1090.8 s]
/proc/loadavg: 4.11 4.14 3.61 6/271 116939
/proc/meminfo: memFree=121687372/131249996 swapFree=33003468/33010684
[pid=116437] ppid=116434 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116437/stat : 116437 (scip-naps-1.00a) S 116434 116437 115863 0 -1 4194304 261 315 0 0 0 0 0 0 20 0 1 0 141023122 4292608 768 18446744073709551615 94228369776640 94228370671173 140721737012704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94228370910224 94228370957968 94228377350144 140721737021851 140721737021950 140721737021950 140721737027554 0
/proc/116437/statm: 1048 768 704 219 0 110 0
[pid=116442] ppid=116437 vsize=1207136 memory=61024 CPUtime=4.43 cores=5,7
/proc/116442/stat : 116442 (python3) S 116437 116437 115863 0 -1 4194304 7840 0 0 0 440 3 0 0 20 0 1 0 141023125 1236107264 15256 18446744073709551615 94642281803776 94642281804153 140724955217680 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94642281815448 94642281816068 94642295070720 140724955220303 140724955220512 140724955220512 140724955226087 0
/proc/116442/statm: 301784 15256 8224 1 0 273142 0
[pid=116443] ppid=116442 vsize=104528 memory=99080 CPUtime=1082.7 cores=5,7
/proc/116443/stat : 116443 (naps-1.03a6) R 116442 116443 116443 0 -1 4194304 33966 0 0 0 108261 9 0 0 20 0 1 0 141023572 107036672 24770 18446744073709551615 4198400 7047149 140726162770928 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 29511680 140726162774399 140726162774513 140726162774513 140726162780105 0
/proc/116443/statm: 26132 24770 544 696 0 25293 0
Current children cumulated CPU time: 1087.13 s
Current children cumulated vsize: 1315856 KiB
Current children cumulated memory: 163176 KiB
[startup+1090.9 s]
/proc/loadavg: 4.11 4.14 3.61 6/271 116939
/proc/meminfo: memFree=121687372/131249996 swapFree=33003468/33010684
[pid=116437] ppid=116434 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116437/stat : 116437 (scip-naps-1.00a) S 116434 116437 115863 0 -1 4194304 261 315 0 0 0 0 0 0 20 0 1 0 141023122 4292608 768 18446744073709551615 94228369776640 94228370671173 140721737012704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94228370910224 94228370957968 94228377350144 140721737021851 140721737021950 140721737021950 140721737027554 0
/proc/116437/statm: 1048 768 704 219 0 110 0
[pid=116442] ppid=116437 vsize=1207136 memory=61024 CPUtime=4.43 cores=5,7
/proc/116442/stat : 116442 (python3) S 116437 116437 115863 0 -1 4194304 7840 0 0 0 440 3 0 0 20 0 1 0 141023125 1236107264 15256 18446744073709551615 94642281803776 94642281804153 140724955217680 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94642281815448 94642281816068 94642295070720 140724955220303 140724955220512 140724955220512 140724955226087 0
/proc/116442/statm: 301784 15256 8224 1 0 273142 0
[pid=116443] ppid=116442 vsize=104528 memory=99080 CPUtime=1082.8 cores=5,7
/proc/116443/stat : 116443 (naps-1.03a6) R 116442 116443 116443 0 -1 4194304 33966 0 0 0 108271 9 0 0 20 0 1 0 141023572 107036672 24770 18446744073709551615 4198400 7047149 140726162770928 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 29511680 140726162774399 140726162774513 140726162774513 140726162780105 0
/proc/116443/statm: 26132 24770 544 696 0 25293 0
Current children cumulated CPU time: 1087.23 s
Current children cumulated vsize: 1315856 KiB
Current children cumulated memory: 163176 KiB
Child status: 0
Real time (s): 1090.97
CPU time (s): 1087.34
CPU user time (s): 1087.19
CPU system time (s): 0.145498
CPU usage (%): 99.6668
Max. virtual memory (cumulated for all children) (KiB): 1348628
Max. memory (cumulated for all children) (KiB): 180884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1087.19
system time used= 0.145498
maximum resident set size= 116788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45540
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= 361
involuntary context switches= 5618
# summary of solver processes directly reported to runsolver:
# pid: 116437
# total CPU time (s): 1087.34
# total CPU user time (s): 1087.19
# total CPU system time (s): 0.145498
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.37595 second user time and 5.23369 second system time
The end