0.47/0.52 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4495905-1751152750.opb
0.47/0.52 c Solving mode: decision
0.47/0.52 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
0.47/0.52 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.47/0.52 c original problem has 80 variables (80 bin, 0 int, 0 impl, 0 cont) and 2 constraints
0.47/0.52 c presolving:
0.47/0.52 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, 24 clqs
0.47/0.52 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, 24 clqs
0.47/0.52 c (round 3, fast) 0 del vars, 1 del conss, 1 add conss, 0 chg bounds, 40 chg sides, 39 chg coeffs, 0 upgd conss, 0 impls, 24 clqs
0.47/0.52 c (0.0s) probing: 51/80 (63.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.47/0.52 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.47/0.52 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.47/0.52 c (0.0s) no symmetry present (symcode time: 0.00)
0.47/0.52 c presolving (4 rounds: 4 fast, 2 medium, 2 exhaustive):
0.47/0.52 c 0 deleted vars, 1 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 40 changed sides, 39 changed coefficients
0.47/0.52 c 0 implications, 24 cliques
0.47/0.52 c presolved problem has 80 variables (80 bin, 0 int, 0 impl, 0 cont) and 2 constraints
0.47/0.52 c 2 constraints of type <linear>
0.47/0.52 c transformed objective value is always integral (scale: 1)
0.47/0.52 c Presolving Time: 0.00
0.47/0.52 c
0.47/0.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.47/0.52 c 0.0s| 1 | 0 | 5 | - | 1532k | 0 | 80 | 3 | 2 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.47/0.52 c 0.0s| 1 | 0 | 7 | - | 1555k | 0 | 80 | 3 | 3 | 1 | 1 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.47/0.52 c 0.0s| 1 | 0 | 8 | - | 1579k | 0 | 80 | 3 | 4 | 2 | 2 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.47/0.52 c 0.0s| 1 | 0 | 11 | - | 1613k | 0 | 80 | 3 | 6 | 4 | 3 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.47/0.52 c 0.0s| 1 | 0 | 13 | - | 1646k | 0 | 80 | 3 | 8 | 6 | 4 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.47/0.52 c 0.0s| 1 | 0 | 16 | - | 1692k | 0 | 80 | 3 | 10 | 8 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.47/0.52 c 0.0s| 1 | 0 | 17 | - | 1732k | 0 | 80 | 3 | 12 | 10 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.47/0.52 c 0.0s| 1 | 0 | 19 | - | 1846k | 0 | 80 | 3 | 14 | 12 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.47/0.52 c 0.0s| 1 | 0 | 22 | - | 1955k | 0 | 80 | 3 | 16 | 14 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.47/0.52 c 0.0s| 1 | 0 | 24 | - | 1960k | 0 | 80 | 3 | 18 | 16 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.47/0.52 c 0.0s| 1 | 0 | 26 | - | 1977k | 0 | 80 | 3 | 19 | 17 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.47/0.52 c 0.0s| 1 | 0 | 27 | - | 1996k | 0 | 80 | 3 | 20 | 18 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.47/0.52 c 0.0s| 1 | 2 | 37 | - | 2006k | 0 | 80 | 3 | 20 | 18 | 11 | 0 | 10 | 0.000000e+00 | -- | Inf | unknown
0.47/0.52 c 0.1s| 100 | 95 | 407 | 3.9 | 2218k | 30 | 80 | 3 | 3 | 31 | 1 | 0 | 10 | 0.000000e+00 | -- | Inf | unknown
0.47/0.52 c 0.1s| 200 | 125 | 511 | 2.4 | 2271k | 40 | 80 | 3 | 0 | 32 | 0 | 0 | 10 | 0.000000e+00 | -- | Inf | unknown
0.47/0.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.47/0.52 c 0.1s| 300 | 173 | 689 | 2.2 | 2280k | 40 | 80 | 3 | 3 | 36 | 1 | 0 | 10 | 0.000000e+00 | -- | Inf | unknown
0.47/0.52 c 0.2s| 400 | 213 | 812 | 2.0 | 2511k | 44 | 80 | 3 | 3 | 52 | 1 | 0 | 10 | 0.000000e+00 | -- | Inf | unknown
0.47/0.52 c 0.2s| 500 | 257 | 913 | 1.8 | 2527k | 44 | 80 | 3 | 0 | 52 | 0 | 0 | 10 | 0.000000e+00 | -- | Inf | unknown
0.47/0.52 c 0.2s| 600 | 297 | 1022 | 1.7 | 2722k | 45 | 80 | 3 | 3 | 54 | 1 | 0 | 10 | 0.000000e+00 | -- | Inf | unknown
0.47/0.52 c 0.2s| 700 | 331 | 1124 | 1.6 | 2725k | 45 | 80 | 3 | 0 | 59 | 0 | 0 | 10 | 0.000000e+00 | -- | Inf | unknown
0.47/0.52 c 0.2s| 800 | 351 | 1198 | 1.5 | 2732k | 45 | 80 | 3 | 3 | 61 | 1 | 0 | 10 | 0.000000e+00 | -- | Inf | unknown
0.47/0.52 c 0.2s| 900 | 373 | 1285 | 1.4 | 2744k | 45 | 80 | 3 | 0 | 69 | 0 | 0 | 10 | 0.000000e+00 | -- | Inf | 0.74%
0.47/0.52 c 0.2s| 1000 | 429 | 1464 | 1.4 | 2809k | 45 | 80 | 3 | 0 | 75 | 0 | 0 | 10 | 0.000000e+00 | -- | Inf | 0.74%
0.47/0.52 c 0.3s| 1100 | 479 | 1636 | 1.5 | 2864k | 45 | 80 | 3 | 6 | 108 | 1 | 0 | 10 | 0.000000e+00 | -- | Inf | 0.74%
0.47/0.52 c 0.3s| 1200 | 515 | 1760 | 1.4 | 3168k | 45 | 80 | 3 | 3 | 133 | 1 | 0 | 10 | 0.000000e+00 | -- | Inf | 0.74%
0.47/0.52 c 0.3s| 1300 | 547 | 1861 | 1.4 | 3168k | 45 | 80 | 3 | 3 | 139 | 1 | 0 | 10 | 0.000000e+00 | -- | Inf | 0.75%
0.47/0.52 c 0.3s| 1400 | 573 | 1956 | 1.4 | 3200k | 46 | 80 | 3 | 0 | 147 | 0 | 0 | 10 | 0.000000e+00 | -- | Inf | 0.75%
0.47/0.52 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
0.47/0.52 c (run 1, node 1483) performing user restart
0.47/0.52 c
0.47/0.52 c presolving:
0.47/0.52 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, 24 clqs
0.47/0.52 c (round 2, fast) 0 del vars, 0 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 0 impls, 24 clqs
0.47/0.52 c (round 3, exhaustive) 0 del vars, 0 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 3 chg coeffs, 1 upgd conss, 0 impls, 24 clqs
0.47/0.52 c presolving (4 rounds: 4 fast, 2 medium, 2 exhaustive):
0.47/0.52 c 0 deleted vars, 0 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 3 changed coefficients
0.47/0.52 c 0 implications, 24 cliques
0.47/0.52 c presolved problem has 80 variables (80 bin, 0 int, 0 impl, 0 cont) and 4 constraints
0.47/0.52 c 2 constraints of type <linear>
0.47/0.52 c 2 constraints of type <logicor>
0.47/0.52 c transformed objective value is always integral (scale: 1)
0.47/0.52 c Presolving Time: 0.00
0.47/0.52 c
0.47/0.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.47/0.52 c 0.4s| 1 | 0 | 2014 | - | 3203k | 0 | 80 | 4 | 3 | 0 | 0 | 0 | 10 | 0.000000e+00 | -- | Inf | unknown
0.47/0.52 c 0.4s| 1 | 0 | 2016 | - | 3203k | 0 | 80 | 4 | 4 | 1 | 1 | 0 | 10 | 0.000000e+00 | -- | Inf | unknown
0.47/0.52 c 0.4s| 1 | 0 | 2017 | - | 3203k | 0 | 80 | 4 | 6 | 3 | 2 | 0 | 10 | 0.000000e+00 | -- | Inf | unknown
0.47/0.52 c 0.4s| 1 | 0 | 2018 | - | 3203k | 0 | 80 | 4 | 7 | 4 | 3 | 0 | 10 | 0.000000e+00 | -- | Inf | unknown
0.47/0.52 c 0.4s| 1 | 0 | 2020 | - | 3203k | 0 | 80 | 4 | 9 | 6 | 4 | 0 | 10 | 0.000000e+00 | -- | Inf | unknown
0.47/0.52 c 0.4s| 1 | 0 | 2026 | - | 3203k | 0 | 80 | 4 | 10 | 7 | 5 | 0 | 10 | 0.000000e+00 | -- | Inf | unknown
0.47/0.52 c 0.4s| 1 | 0 | 2028 | - | 3203k | 0 | 80 | 4 | 11 | 8 | 6 | 0 | 10 | 0.000000e+00 | -- | Inf | unknown
0.96/1.08 c 0.4s| 1 | 0 | 2029 | - | 3203k | 0 | 80 | 4 | 12 | 9 | 7 | 0 | 10 | 0.000000e+00 | -- | Inf | unknown
0.96/1.08 c 0.4s| 1 | 0 | 2032 | - | 3203k | 0 | 80 | 4 | 13 | 10 | 8 | 0 | 10 | 0.000000e+00 | -- | Inf | unknown
0.96/1.08 c 0.4s| 1 | 0 | 2033 | - | 3203k | 0 | 80 | 4 | 14 | 11 | 9 | 0 | 10 | 0.000000e+00 | -- | Inf | unknown
0.96/1.08 c 0.4s| 1 | 0 | 2034 | - | 3203k | 0 | 80 | 4 | 14 | 12 | 10 | 0 | 10 | 0.000000e+00 | -- | Inf | unknown
0.96/1.08 c 0.4s| 1 | 0 | 2035 | - | 3203k | 0 | 80 | 4 | 15 | 13 | 11 | 0 | 10 | 0.000000e+00 | -- | Inf | unknown
0.96/1.08 c 0.4s| 1 | 2 | 2042 | - | 3203k | 0 | 80 | 4 | 15 | 13 | 11 | 0 | 18 | 0.000000e+00 | -- | Inf | unknown
0.96/1.08 c 0.4s| 100 | 43 | 2134 | 1.3 | 3212k | 33 | 80 | 4 | 5 | 17 | 1 | 0 | 18 | 0.000000e+00 | -- | Inf | unknown
0.96/1.08 c 0.4s| 200 | 83 | 2235 | 1.3 | 3224k | 41 | 80 | 4 | 7 | 21 | 2 | 0 | 18 | 0.000000e+00 | -- | Inf | unknown
0.96/1.08 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.08 c 0.4s| 300 | 109 | 2350 | 1.3 | 3224k | 44 | 80 | 4 | 0 | 35 | 0 | 0 | 18 | 0.000000e+00 | -- | Inf | unknown
0.96/1.08 c 0.4s| 400 | 125 | 2425 | 1.3 | 3226k | 44 | 80 | 4 | 5 | 43 | 1 | 0 | 18 | 0.000000e+00 | -- | Inf | unknown
0.96/1.08 c 0.4s| 500 | 151 | 2517 | 1.2 | 3230k | 47 | 80 | 4 | 0 | 52 | 0 | 0 | 18 | 0.000000e+00 | -- | Inf | unknown
0.96/1.08 c 0.5s| 600 | 177 | 2630 | 1.2 | 3238k | 48 | 80 | 4 | 0 | 68 | 0 | 0 | 18 | 0.000000e+00 | -- | Inf | 4.70%
0.96/1.08 c 0.5s| 700 | 205 | 2723 | 1.2 | 3260k | 48 | 80 | 4 | 0 | 68 | 0 | 0 | 18 | 0.000000e+00 | -- | Inf | 4.71%
0.96/1.08 c 0.5s| 800 | 227 | 2824 | 1.2 | 3260k | 48 | 80 | 4 | 0 | 78 | 0 | 0 | 18 | 0.000000e+00 | -- | Inf | 4.74%
0.96/1.08 c 0.5s| 900 | 233 | 2880 | 1.2 | 3260k | 48 | 80 | 4 | 5 | 78 | 1 | 0 | 18 | 0.000000e+00 | -- | Inf | 4.74%
0.96/1.08 c 0.5s| 1000 | 231 | 2934 | 1.2 | 3260k | 48 | 80 | 4 | 0 | 79 | 0 | 0 | 18 | 0.000000e+00 | -- | Inf | 4.78%
0.96/1.08 c 0.5s| 1100 | 239 | 3005 | 1.1 | 3260k | 48 | 80 | 4 | 5 | 85 | 1 | 0 | 18 | 0.000000e+00 | -- | Inf | 4.79%
0.96/1.08 c 0.6s| 1200 | 247 | 3093 | 1.1 | 3260k | 48 | 80 | 4 | 5 | 98 | 1 | 0 | 18 | 0.000000e+00 | -- | Inf | 4.79%
0.96/1.08 c 0.6s| 1300 | 255 | 3167 | 1.1 | 3260k | 48 | 80 | 4 | 5 | 104 | 1 | 0 | 18 | 0.000000e+00 | -- | Inf | 4.79%
0.96/1.08 c 0.6s| 1400 | 269 | 3243 | 1.1 | 3266k | 48 | 80 | 4 | 0 | 110 | 0 | 0 | 18 | 0.000000e+00 | -- | Inf | 4.79%
0.96/1.08 c 0.6s| 1500 | 271 | 3312 | 1.1 | 3266k | 48 | 80 | 4 | 5 | 117 | 1 | 0 | 18 | 0.000000e+00 | -- | Inf | 4.79%
0.96/1.08 c 0.6s| 1600 | 277 | 3373 | 1.1 | 3266k | 48 | 80 | 4 | 5 | 117 | 1 | 0 | 18 | 0.000000e+00 | -- | Inf | 4.79%
0.96/1.08 c 0.6s| 1700 | 287 | 3437 | 1.1 | 3272k | 48 | 80 | 4 | 5 | 119 | 1 | 0 | 18 | 0.000000e+00 | -- | Inf | 4.79%
0.96/1.08 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.08 c 0.6s| 1800 | 301 | 3517 | 1.1 | 3272k | 48 | 80 | 4 | 0 | 119 | 0 | 0 | 18 | 0.000000e+00 | -- | Inf | 4.80%
0.96/1.08 c 0.6s| 1900 | 305 | 3577 | 1.0 | 3272k | 48 | 80 | 4 | 6 | 122 | 1 | 0 | 18 | 0.000000e+00 | -- | Inf | 4.83%
0.96/1.08 c 0.7s| 2000 | 311 | 3638 | 1.0 | 3272k | 48 | 80 | 4 | 5 | 122 | 1 | 0 | 18 | 0.000000e+00 | -- | Inf | 4.83%
0.96/1.08 c 0.7s| 2100 | 321 | 3701 | 1.0 | 3287k | 48 | 80 | 4 | 5 | 122 | 1 | 0 | 18 | 0.000000e+00 | -- | Inf | 4.83%
0.96/1.08 c 0.7s| 2200 | 333 | 3765 | 1.0 | 3292k | 48 | 80 | 4 | 5 | 122 | 1 | 0 | 18 | 0.000000e+00 | -- | Inf | 4.83%
0.96/1.08 c 0.7s| 2300 | 341 | 3848 | 1.0 | 3296k | 48 | 80 | 4 | 5 | 137 | 1 | 0 | 18 | 0.000000e+00 | -- | Inf | 4.83%
0.96/1.08 c 0.7s| 2400 | 359 | 3969 | 1.0 | 3304k | 48 | 80 | 4 | 5 | 168 | 1 | 0 | 18 | 0.000000e+00 | -- | Inf | 4.83%
0.96/1.08 c 0.7s| 2500 | 369 | 4043 | 1.0 | 3307k | 48 | 80 | 4 | 0 | 176 | 0 | 0 | 18 | 0.000000e+00 | -- | Inf | 4.98%
0.96/1.08 c 0.7s| 2600 | 377 | 4097 | 1.0 | 3307k | 48 | 80 | 4 | 0 | 176 | 0 | 0 | 18 | 0.000000e+00 | -- | Inf | 4.98%
0.96/1.08 c 0.7s| 2700 | 379 | 4160 | 1.0 | 3307k | 48 | 80 | 4 | 5 | 181 | 1 | 0 | 18 | 0.000000e+00 | -- | Inf | 4.98%
0.96/1.08 c 0.7s| 2800 | 385 | 4214 | 1.0 | 3307k | 48 | 80 | 4 | 5 | 181 | 1 | 0 | 18 | 0.000000e+00 | -- | Inf | 4.98%
0.96/1.08 c 0.8s| 2900 | 393 | 4275 | 1.0 | 3354k | 48 | 80 | 4 | 6 | 183 | 1 | 0 | 18 | 0.000000e+00 | -- | Inf | 4.99%
0.96/1.08 c 0.8s| 3000 | 395 | 4363 | 1.0 | 3354k | 48 | 80 | 4 | 0 | 185 | 0 | 0 | 18 | 0.000000e+00 | -- | Inf | 5.08%
0.96/1.08 c 0.8s| 3100 | 401 | 4416 | 1.0 | 3483k | 48 | 80 | 4 | 0 | 185 | 0 | 0 | 18 | 0.000000e+00 | -- | Inf | 5.08%
0.96/1.08 c 0.8s| 3200 | 405 | 4489 | 0.9 | 3543k | 48 | 80 | 4 | 5 | 192 | 1 | 0 | 18 | 0.000000e+00 | -- | Inf | 5.08%
0.96/1.08 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.08 c 0.8s| 3300 | 419 | 4566 | 0.9 | 3546k | 48 | 80 | 4 | 6 | 202 | 1 | 0 | 18 | 0.000000e+00 | -- | Inf | 6.57%
0.96/1.08 c 0.8s| 3400 | 429 | 4657 | 0.9 | 3551k | 48 | 80 | 4 | 0 | 214 | 0 | 0 | 18 | 0.000000e+00 | -- | Inf | 7.29%
0.96/1.08 c 0.8s| 3500 | 439 | 4720 | 0.9 | 3556k | 48 | 80 | 5 | 0 | 214 | 0 | 1 | 18 | 0.000000e+00 | -- | Inf | 7.31%
0.96/1.08 c 0.9s| 3600 | 449 | 4780 | 0.9 | 3561k | 48 | 80 | 5 | 5 | 216 | 1 | 1 | 18 | 0.000000e+00 | -- | Inf | 7.31%
0.96/1.08 c 0.9s| 3700 | 451 | 4835 | 0.9 | 3561k | 48 | 80 | 5 | 5 | 216 | 1 | 1 | 18 | 0.000000e+00 | -- | Inf | 7.31%
0.96/1.08 c 0.9s| 3800 | 467 | 4903 | 0.9 | 3698k | 48 | 80 | 5 | 5 | 216 | 1 | 1 | 18 | 0.000000e+00 | -- | Inf | 7.31%
0.96/1.08 c 0.9s| 3900 | 477 | 4962 | 0.9 | 3698k | 48 | 80 | 5 | 0 | 216 | 0 | 1 | 18 | 0.000000e+00 | -- | Inf | 7.31%
0.96/1.08 c 0.9s| 4000 | 491 | 5025 | 0.9 | 3698k | 48 | 80 | 5 | 0 | 216 | 0 | 1 | 18 | 0.000000e+00 | -- | Inf | 7.31%
0.96/1.08 c 0.9s| 4100 | 513 | 5093 | 0.9 | 3698k | 48 | 80 | 5 | 5 | 216 | 1 | 1 | 18 | 0.000000e+00 | -- | Inf | 7.31%
0.96/1.08 c 0.9s| 4200 | 531 | 5164 | 0.9 | 3701k | 48 | 80 | 6 | 0 | 216 | 0 | 2 | 18 | 0.000000e+00 | -- | Inf | 7.32%
0.96/1.08 c 0.9s| 4300 | 541 | 5233 | 0.9 | 3708k | 48 | 80 | 6 | 5 | 222 | 1 | 2 | 18 | 0.000000e+00 | -- | Inf | 7.32%
0.96/1.08 c 0.9s| 4400 | 557 | 5311 | 0.9 | 3738k | 48 | 80 | 6 | 0 | 230 | 0 | 2 | 18 | 0.000000e+00 | -- | Inf | 7.32%
0.96/1.08 c 0.9s| 4500 | 573 | 5423 | 0.9 | 3739k | 49 | 80 | 6 | 0 | 249 | 0 | 2 | 18 | 0.000000e+00 | -- | Inf | 7.32%
0.96/1.08 c 0.9s| 4600 | 579 | 5487 | 0.9 | 3739k | 49 | 80 | 6 | 5 | 254 | 1 | 2 | 18 | 0.000000e+00 | -- | Inf | 7.32%
0.96/1.08 c 0.9s| 4700 | 593 | 5603 | 0.9 | 3770k | 49 | 80 | 6 | 5 | 276 | 1 | 2 | 18 | 0.000000e+00 | -- | Inf | 7.32%
1.36/1.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.36/1.41 c 0.9s| 4800 | 603 | 5673 | 0.9 | 3773k | 49 | 80 | 6 | 5 | 283 | 1 | 2 | 18 | 0.000000e+00 | -- | Inf | 7.32%
1.36/1.41 c 0.9s| 4900 | 613 | 5734 | 0.9 | 3806k | 49 | 80 | 6 | 5 | 287 | 1 | 2 | 18 | 0.000000e+00 | -- | Inf | 7.32%
1.36/1.41 c 1.0s| 5000 | 633 | 5839 | 0.9 | 3857k | 49 | 80 | 6 | 0 | 307 | 0 | 2 | 18 | 0.000000e+00 | -- | Inf | 7.33%
1.36/1.41 c 1.0s| 5100 | 635 | 5891 | 0.9 | 3857k | 49 | 80 | 6 | 6 | 307 | 1 | 2 | 18 | 0.000000e+00 | -- | Inf | 7.33%
1.36/1.41 c 1.0s| 5200 | 639 | 5947 | 0.9 | 3857k | 49 | 80 | 6 | 0 | 307 | 0 | 2 | 18 | 0.000000e+00 | -- | Inf | 7.33%
1.36/1.41 c 1.0s| 5300 | 645 | 6002 | 0.9 | 3857k | 49 | 80 | 6 | 0 | 307 | 0 | 2 | 18 | 0.000000e+00 | -- | Inf | 7.33%
1.36/1.41 c 1.0s| 5400 | 651 | 6059 | 0.9 | 3857k | 49 | 80 | 6 | 0 | 307 | 0 | 2 | 18 | 0.000000e+00 | -- | Inf | 7.33%
1.36/1.41 c 1.0s| 5500 | 671 | 6128 | 0.9 | 3868k | 49 | 80 | 6 | 5 | 309 | 1 | 2 | 18 | 0.000000e+00 | -- | Inf | 7.38%
1.36/1.41 c 1.0s| 5600 | 689 | 6193 | 0.9 | 3868k | 49 | 80 | 6 | 0 | 309 | 0 | 2 | 18 | 0.000000e+00 | -- | Inf | 7.38%
1.36/1.41 c 1.0s| 5700 | 695 | 6278 | 0.9 | 3868k | 49 | 80 | 6 | 0 | 322 | 0 | 2 | 18 | 0.000000e+00 | -- | Inf | 7.38%
1.36/1.41 c 1.0s| 5800 | 699 | 6342 | 0.9 | 3868k | 49 | 80 | 6 | 0 | 326 | 0 | 2 | 18 | 0.000000e+00 | -- | Inf | 7.38%
1.36/1.41 c 1.0s| 5900 | 709 | 6418 | 0.9 | 3871k | 49 | 80 | 6 | 5 | 335 | 1 | 2 | 18 | 0.000000e+00 | -- | Inf | 7.38%
1.36/1.41 c 1.0s| 6000 | 715 | 6484 | 0.9 | 3879k | 49 | 80 | 6 | 5 | 335 | 1 | 2 | 18 | 0.000000e+00 | -- | Inf | 7.38%
1.36/1.41 c 1.0s| 6100 | 721 | 6547 | 0.9 | 3879k | 49 | 80 | 6 | 0 | 337 | 0 | 2 | 18 | 0.000000e+00 | -- | Inf | 7.43%
1.36/1.41 c 1.0s| 6200 | 739 | 6619 | 0.9 | 3879k | 49 | 80 | 6 | 0 | 339 | 0 | 2 | 18 | 0.000000e+00 | -- | Inf | 7.43%
1.36/1.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.36/1.41 c 1.0s| 6300 | 743 | 6674 | 0.9 | 3879k | 49 | 80 | 6 | 0 | 339 | 0 | 2 | 18 | 0.000000e+00 | -- | Inf | 7.43%
1.36/1.41 c 1.0s| 6400 | 755 | 6732 | 0.8 | 3879k | 49 | 80 | 6 | 5 | 339 | 1 | 2 | 18 | 0.000000e+00 | -- | Inf | 7.43%
1.36/1.41 c 1.0s| 6500 | 757 | 6786 | 0.8 | 3879k | 49 | 80 | 6 | 0 | 339 | 0 | 2 | 18 | 0.000000e+00 | -- | Inf | 7.43%
1.36/1.41 c 1.0s| 6600 | 781 | 6867 | 0.8 | 3879k | 49 | 80 | 6 | 0 | 347 | 0 | 2 | 18 | 0.000000e+00 | -- | Inf | 8.21%
1.36/1.41 c 1.1s| 6700 | 797 | 6944 | 0.8 | 3884k | 49 | 80 | 6 | 5 | 354 | 1 | 2 | 18 | 0.000000e+00 | -- | Inf | 8.38%
1.36/1.41 c 1.1s| 6800 | 813 | 7010 | 0.8 | 3884k | 49 | 80 | 6 | 5 | 354 | 1 | 2 | 18 | 0.000000e+00 | -- | Inf | 8.39%
1.36/1.41 c 1.1s| 6900 | 833 | 7078 | 0.8 | 3884k | 49 | 80 | 6 | 5 | 354 | 1 | 2 | 18 | 0.000000e+00 | -- | Inf | 8.39%
1.36/1.41 c 1.1s| 7000 | 849 | 7157 | 0.8 | 3884k | 49 | 80 | 6 | 5 | 354 | 1 | 2 | 18 | 0.000000e+00 | -- | Inf | 8.39%
1.36/1.41 c 1.1s| 7100 | 865 | 7216 | 0.8 | 4142k | 49 | 80 | 6 | 5 | 354 | 1 | 2 | 18 | 0.000000e+00 | -- | Inf | 8.39%
1.36/1.41 c 1.1s| 7200 | 903 | 7321 | 0.8 | 4142k | 49 | 80 | 6 | 0 | 354 | 0 | 2 | 18 | 0.000000e+00 | -- | Inf | 8.39%
1.36/1.41 c 1.1s| 7300 | 917 | 7384 | 0.8 | 4208k | 49 | 80 | 6 | 5 | 354 | 1 | 2 | 18 | 0.000000e+00 | -- | Inf | 8.42%
1.36/1.41 c 1.1s| 7400 | 933 | 7473 | 0.8 | 4208k | 49 | 80 | 6 | 6 | 357 | 1 | 2 | 18 | 0.000000e+00 | -- | Inf | 8.48%
1.36/1.41 c 1.1s| 7500 | 947 | 7549 | 0.8 | 4220k | 49 | 80 | 6 | 0 | 357 | 0 | 2 | 18 | 0.000000e+00 | -- | Inf | 8.50%
1.36/1.41 c 1.1s| 7600 | 971 | 7630 | 0.8 | 4478k | 49 | 80 | 6 | 6 | 357 | 1 | 2 | 18 | 0.000000e+00 | -- | Inf | 8.50%
1.36/1.41 c 1.1s| 7700 | 981 | 7700 | 0.8 | 4491k | 49 | 80 | 6 | 6 | 357 | 1 | 2 | 18 | 0.000000e+00 | -- | Inf | 8.50%
1.36/1.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.36/1.41 c 1.1s| 7800 | 999 | 7767 | 0.8 | 4491k | 49 | 80 | 6 | 6 | 357 | 1 | 2 | 18 | 0.000000e+00 | -- | Inf | 8.50%
1.36/1.41 c 1.1s| 7900 | 1011 | 7854 | 0.8 | 4491k | 49 | 80 | 6 | 6 | 357 | 1 | 2 | 18 | 0.000000e+00 | -- | Inf | 8.50%
1.36/1.41 c 1.1s| 8000 | 1035 | 7945 | 0.8 | 4491k | 49 | 80 | 6 | 5 | 357 | 1 | 2 | 18 | 0.000000e+00 | -- | Inf | 8.50%
1.36/1.41 c 1.1s| 8100 | 1049 | 8009 | 0.8 | 4491k | 49 | 80 | 6 | 5 | 357 | 1 | 2 | 18 | 0.000000e+00 | -- | Inf | 8.50%
1.36/1.41 c 1.1s| 8200 | 1065 | 8083 | 0.8 | 4491k | 49 | 80 | 6 | 5 | 366 | 1 | 2 | 18 | 0.000000e+00 | -- | Inf | 8.50%
1.36/1.41 c 1.2s| 8300 | 1085 | 8153 | 0.8 | 4491k | 49 | 80 | 6 | 5 | 370 | 1 | 2 | 18 | 0.000000e+00 | -- | Inf | 8.50%
1.36/1.41 c 1.2s| 8400 | 1099 | 8231 | 0.8 | 4491k | 49 | 80 | 6 | 0 | 383 | 0 | 2 | 18 | 0.000000e+00 | -- | Inf | 8.50%
1.36/1.41 c 1.2s| 8500 | 1121 | 8323 | 0.8 | 4496k | 49 | 80 | 6 | 5 | 389 | 1 | 2 | 18 | 0.000000e+00 | -- | Inf | 8.50%
1.36/1.41 c 1.2s| 8600 | 1139 | 8411 | 0.8 | 4496k | 49 | 80 | 6 | 6 | 400 | 1 | 2 | 18 | 0.000000e+00 | -- | Inf | 8.51%
1.36/1.41 c 1.2s| 8700 | 1161 | 8474 | 0.8 | 4496k | 49 | 80 | 6 | 0 | 401 | 0 | 2 | 18 | 0.000000e+00 | -- | Inf | 8.51%
1.36/1.41 c 1.2s| 8800 | 1183 | 8573 | 0.8 | 4523k | 49 | 80 | 6 | 0 | 413 | 0 | 2 | 18 | 0.000000e+00 | -- | Inf | 8.51%
1.36/1.41 c 1.2s| 8900 | 1195 | 8646 | 0.8 | 4523k | 49 | 80 | 6 | 6 | 416 | 1 | 2 | 18 | 0.000000e+00 | -- | Inf | 8.51%
1.36/1.41 c 1.2s| 9000 | 1215 | 8718 | 0.8 | 4529k | 49 | 80 | 6 | 6 | 416 | 1 | 2 | 18 | 0.000000e+00 | -- | Inf | 8.51%
1.36/1.41 c 1.2s| 9100 | 1231 | 8785 | 0.8 | 4541k | 49 | 80 | 6 | 5 | 418 | 1 | 2 | 18 | 0.000000e+00 | -- | Inf | 8.55%
1.36/1.41 c 1.2s| 9200 | 1235 | 8839 | 0.8 | 4552k | 49 | 80 | 6 | 5 | 418 | 1 | 2 | 18 | 0.000000e+00 | -- | Inf | 8.55%
1.36/1.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.36/1.41 c 1.2s| 9300 | 1239 | 8892 | 0.8 | 4558k | 49 | 80 | 7 | 0 | 418 | 0 | 3 | 18 | 0.000000e+00 | -- | Inf | 8.55%
1.36/1.41 c 1.2s| 9400 | 1263 | 8968 | 0.8 | 4558k | 49 | 80 | 7 | 5 | 421 | 1 | 3 | 18 | 0.000000e+00 | -- | Inf | 8.55%
1.36/1.41 c 1.2s| 9500 | 1269 | 9023 | 0.8 | 4558k | 49 | 80 | 7 | 5 | 421 | 1 | 3 | 18 | 0.000000e+00 | -- | Inf | 8.55%
1.36/1.41 c 1.2s| 9600 | 1277 | 9079 | 0.8 | 4568k | 49 | 80 | 7 | 0 | 421 | 0 | 3 | 18 | 0.000000e+00 | -- | Inf | 8.55%
1.36/1.41 c 1.2s| 9700 | 1291 | 9143 | 0.8 | 4568k | 49 | 80 | 7 | 5 | 425 | 1 | 3 | 18 | 0.000000e+00 | -- | Inf | 8.55%
1.36/1.41 c 1.3s| 9800 | 1313 | 9246 | 0.8 | 4632k | 49 | 80 | 7 | 5 | 437 | 1 | 3 | 18 | 0.000000e+00 | -- | Inf | 8.55%
1.36/1.41 c 1.3s| 9900 | 1321 | 9312 | 0.8 | 4632k | 49 | 80 | 7 | 5 | 442 | 1 | 3 | 18 | 0.000000e+00 | -- | Inf | 8.55%
1.46/1.51 c 1.3s| 10000 | 1331 | 9379 | 0.8 | 4632k | 49 | 80 | 7 | 0 | 442 | 0 | 3 | 18 | 0.000000e+00 | -- | Inf | 8.55%
1.46/1.51 c 1.3s| 10100 | 1373 | 9526 | 0.8 | 4694k | 49 | 80 | 7 | 7 | 468 | 1 | 3 | 18 | 0.000000e+00 | -- | Inf | 8.55%
1.46/1.51 c 1.3s| 10200 | 1379 | 9618 | 0.8 | 4694k | 49 | 80 | 7 | 0 | 479 | 0 | 3 | 18 | 0.000000e+00 | -- | Inf | 8.55%
1.46/1.51 c 1.3s| 10300 | 1391 | 9693 | 0.8 | 4700k | 49 | 80 | 7 | 5 | 484 | 1 | 3 | 18 | 0.000000e+00 | -- | Inf | 8.55%
1.46/1.51 c 1.3s| 10400 | 1407 | 9786 | 0.8 | 4730k | 49 | 80 | 7 | 0 | 503 | 0 | 3 | 18 | 0.000000e+00 | -- | Inf | 8.55%
1.46/1.51 c 1.3s| 10500 | 1439 | 9941 | 0.8 | 4779k | 49 | 80 | 7 | 8 | 531 | 1 | 3 | 18 | 0.000000e+00 | -- | Inf | 8.55%
1.46/1.51 c 1.3s| 10600 | 1451 | 10051 | 0.8 | 4807k | 49 | 80 | 7 | 5 | 547 | 1 | 3 | 18 | 0.000000e+00 | -- | Inf | 8.55%
1.46/1.51 c 1.3s| 10700 | 1457 | 10124 | 0.8 | 4823k | 49 | 80 | 7 | 0 | 553 | 0 | 3 | 18 | 0.000000e+00 | -- | Inf | 8.55%
1.46/1.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.46/1.51 c 1.3s| 10800 | 1471 | 10196 | 0.8 | 4823k | 49 | 80 | 7 | 5 | 559 | 1 | 3 | 18 | 0.000000e+00 | -- | Inf | 8.55%
1.46/1.51 c 1.4s| 10900 | 1485 | 10322 | 0.8 | 4973k | 49 | 80 | 7 | 7 | 596 | 1 | 3 | 18 | 0.000000e+00 | -- | Inf | 8.55%
1.46/1.51 c 1.4s| 11000 | 1489 | 10381 | 0.8 | 4973k | 49 | 80 | 8 | 0 | 596 | 0 | 4 | 18 | 0.000000e+00 | -- | Inf | 8.55%
1.46/1.51 c 1.4s| 11100 | 1497 | 10449 | 0.8 | 4973k | 49 | 80 | 8 | 0 | 603 | 0 | 4 | 18 | 0.000000e+00 | -- | Inf | 8.55%
1.46/1.51 c r 1.4s| 11148 | 0 | 10492 | 0.8 |randroun| 49 | 80 | 8 | 5 | 611 | 0 | 4 | 18 | 0.000000e+00 | 0.000000e+00 | 0.00%| 100.00%
1.46/1.51 c
1.46/1.51 c SCIP Status : problem is solved [optimal solution found]
1.46/1.51 c Solving Time (sec) : 1.37
1.46/1.51 c Solving Nodes : 11148 (total of 12631 nodes in 2 runs)
1.46/1.51 c Primal Bound : +0.00000000000000e+00 (1 solutions)
1.46/1.51 c Dual Bound : +0.00000000000000e+00
1.46/1.51 c Gap : 0.00 %
1.46/1.51 c [VIOLATION] Line 8: +28637 x1 +57274 x2 +114548 x3 +229096 x4 +458192 x5 +916384 x6 +1832768 x7 +3665536 x8 +7331072 x9 +14662144 x10 +29324288 x11 +58648576 x12 +48198 x13 +96396 x14 +192792 x15 +385584 x16 +771168 x17 +1542336 x18 +3084672 x19 +6169344 x20 +12338688 x21 +24677376 x22 +49354752 x23 +80330 x24 +160660 x25 +321320 x26 +642640 x27 +1285280 x28 +2570560 x29 +5141120 x30 +10282240 x31 +20564480 x32 +41128960 x33 +91980 x34 +183960 x35 +367920 x36 +735840 x37 +1471680 x38 +2943360 x39 +5886720 x40 +11773440 x41 +23546880 x42 +47093760 x43 +102221 x44 +204442 x45 +408884 x46 +817768 x47 +1635536 x48 +3271072 x49 +6542144 x50 +13084288 x51 +26168576 x52 +52337152 x53 +135518 x54 +271036 x55 +542072 x56 +1084144 x57 +2168288 x58 +4336576 x59 +8673152 x60 +17346304 x61 +34692608 x62 +165564 x63 +331128 x64 +662256 x65 +1324512 x66 +2649024 x67 +5298048 x68 +10596096 x69 +21192192 x70 +42384384 x71 +176049 x72 +352098 x73 +704196 x74 +1408392 x75 +2816784 x76 +5633568 x77 +11267136 x78 +22534272 x79 +45068544 x80 >= 62442885 ;
1.46/1.51 c Computed activity: 62442845
1.46/1.51 c Required: activity >= 62442885
1.46/1.51 c Variable assignments: {x1=1, x2=0, x3=0, x4=1, x5=0, x6=0, x7=1, x8=0, x9=0, x10=0, x11=0, x12=0, x13=0, x14=0, x15=0, x16=1, x17=0, x18=0, x19=0, x20=0, x21=0, x22=0, x23=0, x24=0, x25=0, x26=0, x27=0, x28=0, x29=0, x30=0, x31=1, x32=1, x33=0, x34=0, x35=0, x36=1, x37=0, x38=0, x39=0, x40=1, x41=0, x42=0, x43=0, x44=0, x45=0, x46=0, x47=0, x48=0, x49=0, x50=0, x51=0, 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=0, x70=0, x71=0, x72=0, x73=0, x74=0, x75=0, x76=0, x77=0, x78=0, x79=1, x80=0}}
1.46/1.51 c SCIP found a solution, but it is not feasible according to the original problem.
1.46/1.51 c ----------------------------------------------------------------------
1.46/1.51 c executing external solver (fallback): HOME/naps-1.03a6
1.46/1.51 c ----------------------------------------------------------------------
1.46/1.51 c command: HOME/naps-1.03a6 HOME/instance-4495905-1751152750.opb
1.46/1.52 c NaPS 1.03a6.
1.46/1.52 c Input file name: HOME/instance-4495905-1751152750.opb
135.88/136.36 c _____________________________________________________________________________
135.88/136.36 c std/band forms : 0,1
135.88/136.36 c 2cl/3cl ITE-codings : 0,37129
135.88/136.36 c BDD/srt/adr Max costs : 38788,0,0
135.88/136.36 c BDDraw/bin/mul/srt/adr: 0,0,1,0,0
135.88/136.36 c BDD nodes : 38790
135.88/136.36 c Es1/CC detections : 0,0
135.88/136.36 c CC sort : 0
135.88/136.36 c SAT/UNSAT calls : 1,0
135.88/136.36 c regenrated variables : 0
135.88/136.36 c eliminated fixed lits : 0
135.88/136.36 c goal lit flips : 0
135.88/136.36 c goal stages : 0
135.88/136.36 c goal shrink : 0
135.88/136.36 c goal coeff separations: 0
135.88/136.36 c restarts : 19208
135.88/136.36 c conflicts : 526951 (3922 /sec)
135.88/136.36 c decisions : 2587759 (19263 /sec)
135.88/136.36 c propagations : 1329606342 (9897205 /sec)
135.88/136.36 c inspects : 0 (0 /sec)
135.88/136.36 c CPU time (solving tm) : 134.3 s (134 s, SAT 134 s, UNSAT 0 s)
135.88/136.36 c Time for Opt-base : 0.05278 s
135.88/136.36 c Steps for Opt-base : 219120
135.88/136.36 c Time for BDD coding : 0.2711 s
135.88/136.36 c Time for srt coding : 0 s
135.88/136.36 c _____________________________________________________________________________
135.88/136.37 s SATISFIABLE
135.88/136.37 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
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (63010 MiB free)
memory of node 1: 64465 MiB (63720 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4495905-1751152750/watcher-4495905-1751152750 -o /tmp/evaluation-result-4495905-1751152750/solver-4495905-1751152750 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751145166-19820 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4495905-1751152750.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=25764, runsolver pid=25761
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.12 4.16 4.11 5/273 25769
/proc/meminfo: memFree=129762508/131249992 swapFree=33010684/33010684
[pid=25764] ppid=25761 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/25764/stat : 25764 (scip-naps-1.00.) S 25761 25764 19810 0 -1 4194304 256 315 0 0 0 0 0 0 20 0 1 0 30953751 4292608 736 18446744073709551615 94137102196736 94137103091269 140722642529680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94137103330320 94137103378064 94137134460928 140722642532769 140722642532866 140722642532866 140722642538468 0
/proc/25764/statm: 1048 736 672 219 0 110 0
[pid=25769] ppid=25764 vsize=1187600 memory=32436 CPUtime=0.07 cores=0,2
/proc/25769/stat : 25769 (python3) R 25764 25764 19810 0 -1 4194304 3844 0 0 0 5 2 0 0 20 0 1 0 30953753 1216102400 8109 18446744073709551615 94501704269824 94501704270201 140724070979424 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94501704281496 94501704282116 94501709361152 140724070984024 140724070984226 140724070984226 140724070989799 0
/proc/25769/statm: 296900 8109 4909 1 0 268922 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1191792 KiB
Current children cumulated memory: 35380 KiB
[startup+0.205581 s]*
/proc/loadavg: 4.12 4.16 4.11 5/273 25769
/proc/meminfo: memFree=129754696/131249992 swapFree=33010684/33010684
[pid=25764] ppid=25761 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/25764/stat : 25764 (scip-naps-1.00.) S 25761 25764 19810 0 -1 4194304 256 315 0 0 0 0 0 0 20 0 1 0 30953751 4292608 736 18446744073709551615 94137102196736 94137103091269 140722642529680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94137103330320 94137103378064 94137134460928 140722642532769 140722642532866 140722642532866 140722642538468 0
/proc/25764/statm: 1048 736 672 219 0 110 0
[pid=25769] ppid=25764 vsize=1202128 memory=54836 CPUtime=0.17 cores=0,2
/proc/25769/stat : 25769 (python3) R 25764 25764 19810 0 -1 4194304 6498 0 0 0 14 3 0 0 20 0 1 0 30953753 1230979072 13709 18446744073709551615 94501704269824 94501704270201 140724070979424 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94501704281496 94501704282116 94501709361152 140724070984024 140724070984226 140724070984226 140724070989799 0
/proc/25769/statm: 300532 13709 8141 1 0 271890 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1206320 KiB
Current children cumulated memory: 57780 KiB
[startup+0.305316 s]*
/proc/loadavg: 4.12 4.16 4.11 5/273 25769
/proc/meminfo: memFree=129754696/131249992 swapFree=33010684/33010684
[pid=25764] ppid=25761 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/25764/stat : 25764 (scip-naps-1.00.) S 25761 25764 19810 0 -1 4194304 256 315 0 0 0 0 0 0 20 0 1 0 30953751 4292608 736 18446744073709551615 94137102196736 94137103091269 140722642529680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94137103330320 94137103378064 94137134460928 140722642532769 140722642532866 140722642532866 140722642538468 0
/proc/25764/statm: 1048 736 672 219 0 110 0
[pid=25769] ppid=25764 vsize=1202508 memory=55476 CPUtime=0.27 cores=0,2
/proc/25769/stat : 25769 (python3) R 25764 25764 19810 0 -1 4194304 6638 0 0 0 24 3 0 0 20 0 1 0 30953753 1231368192 13869 18446744073709551615 94501704269824 94501704270201 140724070979424 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94501704281496 94501704282116 94501709361152 140724070984024 140724070984226 140724070984226 140724070989799 0
/proc/25769/statm: 300627 13869 8141 1 0 271985 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1206700 KiB
Current children cumulated memory: 58420 KiB
[startup+0.7002 s]
/proc/loadavg: 4.12 4.16 4.11 5/273 25769
/proc/meminfo: memFree=129754696/131249992 swapFree=33010684/33010684
[pid=25764] ppid=25761 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/25764/stat : 25764 (scip-naps-1.00.) S 25761 25764 19810 0 -1 4194304 256 315 0 0 0 0 0 0 20 0 1 0 30953751 4292608 736 18446744073709551615 94137102196736 94137103091269 140722642529680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94137103330320 94137103378064 94137134460928 140722642532769 140722642532866 140722642532866 140722642538468 0
/proc/25764/statm: 1048 736 672 219 0 110 0
[pid=25769] ppid=25764 vsize=1203576 memory=56500 CPUtime=0.66 cores=0,2
/proc/25769/stat : 25769 (python3) R 25764 25764 19810 0 -1 4194304 6898 0 0 0 63 3 0 0 20 0 1 0 30953753 1232461824 14125 18446744073709551615 94501704269824 94501704270201 140724070979424 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94501704281496 94501704282116 94501709361152 140724070984024 140724070984226 140724070984226 140724070989799 0
/proc/25769/statm: 300894 14125 8141 1 0 272252 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1207768 KiB
Current children cumulated memory: 59444 KiB
[startup+1.50018 s]
/proc/loadavg: 4.12 4.16 4.11 5/273 25769
/proc/meminfo: memFree=129754696/131249992 swapFree=33010684/33010684
[pid=25764] ppid=25761 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/25764/stat : 25764 (scip-naps-1.00.) S 25761 25764 19810 0 -1 4194304 256 315 0 0 0 0 0 0 20 0 1 0 30953751 4292608 736 18446744073709551615 94137102196736 94137103091269 140722642529680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94137103330320 94137103378064 94137134460928 140722642532769 140722642532866 140722642532866 140722642538468 0
/proc/25764/statm: 1048 736 672 219 0 110 0
[pid=25769] ppid=25764 vsize=1203576 memory=56884 CPUtime=1.46 cores=0,2
/proc/25769/stat : 25769 (python3) R 25764 25764 19810 0 -1 4194304 6994 0 0 0 143 3 0 0 20 0 1 0 30953753 1232461824 14221 18446744073709551615 94501704269824 94501704270201 140724070979424 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94501704281496 94501704282116 94501709361152 140724070984024 140724070984226 140724070984226 140724070989799 0
/proc/25769/statm: 300894 14221 8141 1 0 272252 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1207768 KiB
Current children cumulated memory: 59828 KiB
[startup+3.10541 s]
/proc/loadavg: 4.12 4.16 4.11 5/274 25770
/proc/meminfo: memFree=129713192/131249992 swapFree=33010684/33010684
[pid=25764] ppid=25761 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/25764/stat : 25764 (scip-naps-1.00.) S 25761 25764 19810 0 -1 4194304 256 315 0 0 0 0 0 0 20 0 1 0 30953751 4292608 736 18446744073709551615 94137102196736 94137103091269 140722642529680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94137103330320 94137103378064 94137134460928 140722642532769 140722642532866 140722642532866 140722642538468 0
/proc/25764/statm: 1048 736 672 219 0 110 0
[pid=25769] ppid=25764 vsize=1203576 memory=57140 CPUtime=1.47 cores=0,2
/proc/25769/stat : 25769 (python3) S 25764 25764 19810 0 -1 4194304 7211 0 0 0 144 3 0 0 20 0 1 0 30953753 1232461824 14285 18446744073709551615 94501704269824 94501704270201 140724070979424 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94501704281496 94501704282116 94501709361152 140724070984024 140724070984226 140724070984226 140724070989799 0
/proc/25769/statm: 300894 14285 8205 1 0 272252 0
[pid=25770] ppid=25769 vsize=54560 memory=46200 CPUtime=1.56 cores=0,2
/proc/25770/stat : 25770 (naps-1.03a6) R 25769 25770 25770 0 -1 4194304 13622 0 0 0 154 2 0 0 20 0 1 0 30953903 55869440 11550 18446744073709551615 4198400 7047149 140733005537728 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 13930496 140733005539713 140733005539827 140733005539827 140733005545417 0
/proc/25770/statm: 13640 11550 544 696 0 12801 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 1262328 KiB
Current children cumulated memory: 106284 KiB
[startup+6.30015 s]
/proc/loadavg: 4.19 4.18 4.12 5/274 25770
/proc/meminfo: memFree=129712940/131249992 swapFree=33010684/33010684
[pid=25764] ppid=25761 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/25764/stat : 25764 (scip-naps-1.00.) S 25761 25764 19810 0 -1 4194304 256 315 0 0 0 0 0 0 20 0 1 0 30953751 4292608 736 18446744073709551615 94137102196736 94137103091269 140722642529680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94137103330320 94137103378064 94137134460928 140722642532769 140722642532866 140722642532866 140722642538468 0
/proc/25764/statm: 1048 736 672 219 0 110 0
[pid=25769] ppid=25764 vsize=1203576 memory=57140 CPUtime=1.47 cores=0,2
/proc/25769/stat : 25769 (python3) S 25764 25764 19810 0 -1 4194304 7211 0 0 0 144 3 0 0 20 0 1 0 30953753 1232461824 14285 18446744073709551615 94501704269824 94501704270201 140724070979424 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94501704281496 94501704282116 94501709361152 140724070984024 140724070984226 140724070984226 140724070989799 0
/proc/25769/statm: 300894 14285 8205 1 0 272252 0
[pid=25770] ppid=25769 vsize=58656 memory=49588 CPUtime=4.75 cores=0,2
/proc/25770/stat : 25770 (naps-1.03a6) R 25769 25770 25770 0 -1 4194304 13971 0 0 0 473 2 0 0 20 0 1 0 30953903 60063744 12397 18446744073709551615 4198400 7047149 140733005537728 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 13930496 140733005539713 140733005539827 140733005539827 140733005545417 0
/proc/25770/statm: 14664 12397 544 696 0 13825 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 1266424 KiB
Current children cumulated memory: 109672 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.17 4.12 5/274 25771
/proc/meminfo: memFree=129712452/131249992 swapFree=33010684/33010684
[pid=25764] ppid=25761 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/25764/stat : 25764 (scip-naps-1.00.) S 25761 25764 19810 0 -1 4194304 256 315 0 0 0 0 0 0 20 0 1 0 30953751 4292608 736 18446744073709551615 94137102196736 94137103091269 140722642529680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94137103330320 94137103378064 94137134460928 140722642532769 140722642532866 140722642532866 140722642538468 0
/proc/25764/statm: 1048 736 672 219 0 110 0
[pid=25769] ppid=25764 vsize=1203576 memory=57140 CPUtime=1.47 cores=0,2
/proc/25769/stat : 25769 (python3) S 25764 25764 19810 0 -1 4194304 7211 0 0 0 144 3 0 0 20 0 1 0 30953753 1232461824 14285 18446744073709551615 94501704269824 94501704270201 140724070979424 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94501704281496 94501704282116 94501709361152 140724070984024 140724070984226 140724070984226 140724070989799 0
/proc/25769/statm: 300894 14285 8205 1 0 272252 0
[pid=25770] ppid=25769 vsize=58656 memory=52332 CPUtime=11.13 cores=0,2
/proc/25770/stat : 25770 (naps-1.03a6) R 25769 25770 25770 0 -1 4194304 14136 0 0 0 1111 2 0 0 20 0 1 0 30953903 60063744 13083 18446744073709551615 4198400 7047149 140733005537728 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 13930496 140733005539713 140733005539827 140733005539827 140733005545417 0
/proc/25770/statm: 14664 13083 544 696 0 13825 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 1266424 KiB
Current children cumulated memory: 112416 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.16 4.11 5/274 25771
/proc/meminfo: memFree=129703300/131249992 swapFree=33010684/33010684
[pid=25764] ppid=25761 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/25764/stat : 25764 (scip-naps-1.00.) S 25761 25764 19810 0 -1 4194304 256 315 0 0 0 0 0 0 20 0 1 0 30953751 4292608 736 18446744073709551615 94137102196736 94137103091269 140722642529680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94137103330320 94137103378064 94137134460928 140722642532769 140722642532866 140722642532866 140722642538468 0
/proc/25764/statm: 1048 736 672 219 0 110 0
[pid=25769] ppid=25764 vsize=1203576 memory=57140 CPUtime=1.47 cores=0,2
/proc/25769/stat : 25769 (python3) S 25764 25764 19810 0 -1 4194304 7211 0 0 0 144 3 0 0 20 0 1 0 30953753 1232461824 14285 18446744073709551615 94501704269824 94501704270201 140724070979424 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94501704281496 94501704282116 94501709361152 140724070984024 140724070984226 140724070984226 140724070989799 0
/proc/25769/statm: 300894 14285 8205 1 0 272252 0
[pid=25770] ppid=25769 vsize=56572 memory=52444 CPUtime=23.89 cores=0,2
/proc/25770/stat : 25770 (naps-1.03a6) R 25769 25770 25770 0 -1 4194304 14662 0 0 0 2387 2 0 0 20 0 1 0 30953903 57929728 13111 18446744073709551615 4198400 7047149 140733005537728 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 13930496 140733005539713 140733005539827 140733005539827 140733005545417 0
/proc/25770/statm: 14143 13111 544 696 0 13304 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 1264340 KiB
Current children cumulated memory: 112528 KiB
[startup+51.1053 s]
/proc/loadavg: 4.17 4.17 4.12 5/273 25771
/proc/meminfo: memFree=129710548/131249992 swapFree=33010684/33010684
[pid=25764] ppid=25761 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/25764/stat : 25764 (scip-naps-1.00.) S 25761 25764 19810 0 -1 4194304 256 315 0 0 0 0 0 0 20 0 1 0 30953751 4292608 736 18446744073709551615 94137102196736 94137103091269 140722642529680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94137103330320 94137103378064 94137134460928 140722642532769 140722642532866 140722642532866 140722642538468 0
/proc/25764/statm: 1048 736 672 219 0 110 0
[pid=25769] ppid=25764 vsize=1203576 memory=57140 CPUtime=1.47 cores=0,2
/proc/25769/stat : 25769 (python3) S 25764 25764 19810 0 -1 4194304 7211 0 0 0 144 3 0 0 20 0 1 0 30953753 1232461824 14285 18446744073709551615 94501704269824 94501704270201 140724070979424 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94501704281496 94501704282116 94501709361152 140724070984024 140724070984226 140724070984226 140724070989799 0
/proc/25769/statm: 300894 14285 8205 1 0 272252 0
[pid=25770] ppid=25769 vsize=56832 memory=53596 CPUtime=49.43 cores=0,2
/proc/25770/stat : 25770 (naps-1.03a6) R 25769 25770 25770 0 -1 4194304 15070 0 0 0 4941 2 0 0 20 0 1 0 30953903 58195968 13399 18446744073709551615 4198400 7047149 140733005537728 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 13930496 140733005539713 140733005539827 140733005539827 140733005545417 0
/proc/25770/statm: 14208 13399 544 696 0 13369 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1264600 KiB
Current children cumulated memory: 113680 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/273 25773
/proc/meminfo: memFree=129688628/131249992 swapFree=33010684/33010684
[pid=25764] ppid=25761 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/25764/stat : 25764 (scip-naps-1.00.) S 25761 25764 19810 0 -1 4194304 256 315 0 0 0 0 0 0 20 0 1 0 30953751 4292608 736 18446744073709551615 94137102196736 94137103091269 140722642529680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94137103330320 94137103378064 94137134460928 140722642532769 140722642532866 140722642532866 140722642538468 0
/proc/25764/statm: 1048 736 672 219 0 110 0
[pid=25769] ppid=25764 vsize=1203576 memory=57140 CPUtime=1.47 cores=0,2
/proc/25769/stat : 25769 (python3) S 25764 25764 19810 0 -1 4194304 7211 0 0 0 144 3 0 0 20 0 1 0 30953753 1232461824 14285 18446744073709551615 94501704269824 94501704270201 140724070979424 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94501704281496 94501704282116 94501709361152 140724070984024 140724070984226 140724070984226 140724070989799 0
/proc/25769/statm: 300894 14285 8205 1 0 272252 0
[pid=25770] ppid=25769 vsize=73028 memory=63176 CPUtime=100.49 cores=0,2
/proc/25770/stat : 25770 (naps-1.03a6) R 25769 25770 25770 0 -1 4194304 33355 0 0 0 10042 7 0 0 20 0 1 0 30953903 74780672 15794 18446744073709551615 4198400 7047149 140733005537728 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 13930496 140733005539713 140733005539827 140733005539827 140733005545417 0
/proc/25770/statm: 18257 15794 544 696 0 17418 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1280796 KiB
Current children cumulated memory: 123260 KiB
[startup+136.392 s]
# the end of solver process 25764 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=135.809 s, system=0.190486 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 4.15 4.16 4.11 5/273 25773
/proc/meminfo: memFree=129688628/131249992 swapFree=33010684/33010684
[pid=25764] ppid=25761 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/25764/stat : 25764 (scip-naps-1.00.) S 25761 25764 19810 0 -1 4194304 256 315 0 0 0 0 0 0 20 0 1 0 30953751 4292608 736 18446744073709551615 94137102196736 94137103091269 140722642529680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94137103330320 94137103378064 94137134460928 140722642532769 140722642532866 140722642532866 140722642538468 0
/proc/25764/statm: 1048 736 672 219 0 110 0
[pid=25769] ppid=25764 vsize=1203576 memory=57140 CPUtime=1.47 cores=0,2
/proc/25769/stat : 25769 (python3) S 25764 25764 19810 0 -1 4194304 7211 0 0 0 144 3 0 0 20 0 1 0 30953753 1232461824 14285 18446744073709551615 94501704269824 94501704270201 140724070979424 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94501704281496 94501704282116 94501709361152 140724070984024 140724070984226 140724070984226 140724070989799 0
/proc/25769/statm: 300894 14285 8205 1 0 272252 0
[pid=25770] ppid=25769 vsize=73028 memory=63176 CPUtime=100.59 cores=0,2
/proc/25770/stat : 25770 (naps-1.03a6) R 25769 25770 25770 0 -1 4194304 33355 0 0 0 10052 7 0 0 20 0 1 0 30953903 74780672 15794 18446744073709551615 4198400 7047149 140733005537728 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 13930496 140733005539713 140733005539827 140733005539827 140733005545417 0
/proc/25770/statm: 18257 15794 544 696 0 17418 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 1280796 KiB
Current children cumulated memory: 123260 KiB
[startup+115.2 s]
/proc/loadavg: 4.11 4.15 4.11 5/274 25774
/proc/meminfo: memFree=129688668/131249992 swapFree=33010684/33010684
[pid=25764] ppid=25761 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/25764/stat : 25764 (scip-naps-1.00.) S 25761 25764 19810 0 -1 4194304 256 315 0 0 0 0 0 0 20 0 1 0 30953751 4292608 736 18446744073709551615 94137102196736 94137103091269 140722642529680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94137103330320 94137103378064 94137134460928 140722642532769 140722642532866 140722642532866 140722642538468 0
/proc/25764/statm: 1048 736 672 219 0 110 0
[pid=25769] ppid=25764 vsize=1203576 memory=57140 CPUtime=1.47 cores=0,2
/proc/25769/stat : 25769 (python3) S 25764 25764 19810 0 -1 4194304 7211 0 0 0 144 3 0 0 20 0 1 0 30953753 1232461824 14285 18446744073709551615 94501704269824 94501704270201 140724070979424 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94501704281496 94501704282116 94501709361152 140724070984024 140724070984226 140724070984226 140724070989799 0
/proc/25769/statm: 300894 14285 8205 1 0 272252 0
[pid=25770] ppid=25769 vsize=73028 memory=59756 CPUtime=113.36 cores=0,2
/proc/25770/stat : 25770 (naps-1.03a6) R 25769 25770 25770 0 -1 4194304 39745 0 0 0 11327 9 0 0 20 0 1 0 30953903 74780672 14939 18446744073709551615 4198400 7047149 140733005537728 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 13930496 140733005539713 140733005539827 140733005539827 140733005545417 0
/proc/25770/statm: 18257 14939 544 696 0 17418 0
Current children cumulated CPU time: 114.83 s
Current children cumulated vsize: 1280796 KiB
Current children cumulated memory: 119840 KiB
[startup+128 s]*
/proc/loadavg: 4.10 4.14 4.11 5/274 25777
/proc/meminfo: memFree=129688520/131249992 swapFree=33010684/33010684
[pid=25764] ppid=25761 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/25764/stat : 25764 (scip-naps-1.00.) S 25761 25764 19810 0 -1 4194304 256 315 0 0 0 0 0 0 20 0 1 0 30953751 4292608 736 18446744073709551615 94137102196736 94137103091269 140722642529680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94137103330320 94137103378064 94137134460928 140722642532769 140722642532866 140722642532866 140722642538468 0
/proc/25764/statm: 1048 736 672 219 0 110 0
[pid=25769] ppid=25764 vsize=1203576 memory=57140 CPUtime=1.47 cores=0,2
/proc/25769/stat : 25769 (python3) S 25764 25764 19810 0 -1 4194304 7211 0 0 0 144 3 0 0 20 0 1 0 30953753 1232461824 14285 18446744073709551615 94501704269824 94501704270201 140724070979424 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94501704281496 94501704282116 94501709361152 140724070984024 140724070984226 140724070984226 140724070989799 0
/proc/25769/statm: 300894 14285 8205 1 0 272252 0
[pid=25770] ppid=25769 vsize=81220 memory=63968 CPUtime=126.13 cores=0,2
/proc/25770/stat : 25770 (naps-1.03a6) R 25769 25770 25770 0 -1 4194304 44645 0 0 0 12602 11 0 0 20 0 1 0 30953903 83169280 15992 18446744073709551615 4198400 7047149 140733005537728 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 13930496 140733005539713 140733005539827 140733005539827 140733005545417 0
/proc/25770/statm: 20305 15992 544 696 0 19466 0
Current children cumulated CPU time: 127.6 s
Current children cumulated vsize: 1288988 KiB
Current children cumulated memory: 124052 KiB
[startup+131.2 s]
/proc/loadavg: 4.17 4.16 4.11 5/275 25779
/proc/meminfo: memFree=129688520/131249992 swapFree=33010684/33010684
[pid=25764] ppid=25761 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/25764/stat : 25764 (scip-naps-1.00.) S 25761 25764 19810 0 -1 4194304 256 315 0 0 0 0 0 0 20 0 1 0 30953751 4292608 736 18446744073709551615 94137102196736 94137103091269 140722642529680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94137103330320 94137103378064 94137134460928 140722642532769 140722642532866 140722642532866 140722642538468 0
/proc/25764/statm: 1048 736 672 219 0 110 0
[pid=25769] ppid=25764 vsize=1203576 memory=57140 CPUtime=1.47 cores=0,2
/proc/25769/stat : 25769 (python3) S 25764 25764 19810 0 -1 4194304 7211 0 0 0 144 3 0 0 20 0 1 0 30953753 1232461824 14285 18446744073709551615 94501704269824 94501704270201 140724070979424 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94501704281496 94501704282116 94501709361152 140724070984024 140724070984226 140724070984226 140724070989799 0
/proc/25769/statm: 300894 14285 8205 1 0 272252 0
[pid=25770] ppid=25769 vsize=73028 memory=63508 CPUtime=129.32 cores=0,2
/proc/25770/stat : 25770 (naps-1.03a6) R 25769 25770 25770 0 -1 4194304 47853 0 0 0 12920 12 0 0 20 0 1 0 30953903 74780672 15877 18446744073709551615 4198400 7047149 140733005537728 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 13930496 140733005539713 140733005539827 140733005539827 140733005545417 0
/proc/25770/statm: 18257 15877 544 696 0 17418 0
Current children cumulated CPU time: 130.79 s
Current children cumulated vsize: 1280796 KiB
Current children cumulated memory: 123592 KiB
[startup+134.4 s]
/proc/loadavg: 4.17 4.16 4.11 5/275 25779
/proc/meminfo: memFree=129688032/131249992 swapFree=33010684/33010684
[pid=25764] ppid=25761 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/25764/stat : 25764 (scip-naps-1.00.) S 25761 25764 19810 0 -1 4194304 256 315 0 0 0 0 0 0 20 0 1 0 30953751 4292608 736 18446744073709551615 94137102196736 94137103091269 140722642529680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94137103330320 94137103378064 94137134460928 140722642532769 140722642532866 140722642532866 140722642538468 0
/proc/25764/statm: 1048 736 672 219 0 110 0
[pid=25769] ppid=25764 vsize=1203576 memory=57140 CPUtime=1.47 cores=0,2
/proc/25769/stat : 25769 (python3) S 25764 25764 19810 0 -1 4194304 7211 0 0 0 144 3 0 0 20 0 1 0 30953753 1232461824 14285 18446744073709551615 94501704269824 94501704270201 140724070979424 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94501704281496 94501704282116 94501709361152 140724070984024 140724070984226 140724070984226 140724070989799 0
/proc/25769/statm: 300894 14285 8205 1 0 272252 0
[pid=25770] ppid=25769 vsize=73028 memory=60600 CPUtime=132.51 cores=0,2
/proc/25770/stat : 25770 (naps-1.03a6) R 25769 25770 25770 0 -1 4194304 50988 0 0 0 13237 14 0 0 20 0 1 0 30953903 74780672 15150 18446744073709551615 4198400 7047149 140733005537728 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 13930496 140733005539713 140733005539827 140733005539827 140733005545417 0
/proc/25770/statm: 18257 15150 544 696 0 17418 0
Current children cumulated CPU time: 133.98 s
Current children cumulated vsize: 1280796 KiB
Current children cumulated memory: 120684 KiB
[startup+135.2 s]
/proc/loadavg: 4.15 4.15 4.11 5/275 25779
/proc/meminfo: memFree=129688032/131249992 swapFree=33010684/33010684
[pid=25764] ppid=25761 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/25764/stat : 25764 (scip-naps-1.00.) S 25761 25764 19810 0 -1 4194304 256 315 0 0 0 0 0 0 20 0 1 0 30953751 4292608 736 18446744073709551615 94137102196736 94137103091269 140722642529680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94137103330320 94137103378064 94137134460928 140722642532769 140722642532866 140722642532866 140722642538468 0
/proc/25764/statm: 1048 736 672 219 0 110 0
[pid=25769] ppid=25764 vsize=1203576 memory=57140 CPUtime=1.47 cores=0,2
/proc/25769/stat : 25769 (python3) S 25764 25764 19810 0 -1 4194304 7211 0 0 0 144 3 0 0 20 0 1 0 30953753 1232461824 14285 18446744073709551615 94501704269824 94501704270201 140724070979424 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94501704281496 94501704282116 94501709361152 140724070984024 140724070984226 140724070984226 140724070989799 0
/proc/25769/statm: 300894 14285 8205 1 0 272252 0
[pid=25770] ppid=25769 vsize=73028 memory=63508 CPUtime=133.31 cores=0,2
/proc/25770/stat : 25770 (naps-1.03a6) R 25769 25770 25770 0 -1 4194304 51192 0 0 0 13317 14 0 0 20 0 1 0 30953903 74780672 15877 18446744073709551615 4198400 7047149 140733005537728 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 13930496 140733005539713 140733005539827 140733005539827 140733005545417 0
/proc/25770/statm: 18257 15877 544 696 0 17418 0
Current children cumulated CPU time: 134.78 s
Current children cumulated vsize: 1280796 KiB
Current children cumulated memory: 123592 KiB
[startup+136 s]*
/proc/loadavg: 4.15 4.15 4.11 5/275 25779
/proc/meminfo: memFree=129688032/131249992 swapFree=33010684/33010684
[pid=25764] ppid=25761 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/25764/stat : 25764 (scip-naps-1.00.) S 25761 25764 19810 0 -1 4194304 256 315 0 0 0 0 0 0 20 0 1 0 30953751 4292608 736 18446744073709551615 94137102196736 94137103091269 140722642529680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94137103330320 94137103378064 94137134460928 140722642532769 140722642532866 140722642532866 140722642538468 0
/proc/25764/statm: 1048 736 672 219 0 110 0
[pid=25769] ppid=25764 vsize=1203576 memory=57140 CPUtime=1.47 cores=0,2
/proc/25769/stat : 25769 (python3) S 25764 25764 19810 0 -1 4194304 7211 0 0 0 144 3 0 0 20 0 1 0 30953753 1232461824 14285 18446744073709551615 94501704269824 94501704270201 140724070979424 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94501704281496 94501704282116 94501709361152 140724070984024 140724070984226 140724070984226 140724070989799 0
/proc/25769/statm: 300894 14285 8205 1 0 272252 0
[pid=25770] ppid=25769 vsize=81220 memory=64020 CPUtime=134.11 cores=0,2
/proc/25770/stat : 25770 (naps-1.03a6) R 25769 25770 25770 0 -1 4194304 51328 0 0 0 13397 14 0 0 20 0 1 0 30953903 83169280 16005 18446744073709551615 4198400 7047149 140733005537728 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 13930496 140733005539713 140733005539827 140733005539827 140733005545417 0
/proc/25770/statm: 20305 16005 544 696 0 19466 0
Current children cumulated CPU time: 135.58 s
Current children cumulated vsize: 1288988 KiB
Current children cumulated memory: 124104 KiB
[startup+136.2 s]
/proc/loadavg: 4.15 4.15 4.11 5/275 25779
/proc/meminfo: memFree=129688032/131249992 swapFree=33010684/33010684
[pid=25764] ppid=25761 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/25764/stat : 25764 (scip-naps-1.00.) S 25761 25764 19810 0 -1 4194304 256 315 0 0 0 0 0 0 20 0 1 0 30953751 4292608 736 18446744073709551615 94137102196736 94137103091269 140722642529680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94137103330320 94137103378064 94137134460928 140722642532769 140722642532866 140722642532866 140722642538468 0
/proc/25764/statm: 1048 736 672 219 0 110 0
[pid=25769] ppid=25764 vsize=1203576 memory=57140 CPUtime=1.47 cores=0,2
/proc/25769/stat : 25769 (python3) S 25764 25764 19810 0 -1 4194304 7211 0 0 0 144 3 0 0 20 0 1 0 30953753 1232461824 14285 18446744073709551615 94501704269824 94501704270201 140724070979424 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94501704281496 94501704282116 94501709361152 140724070984024 140724070984226 140724070984226 140724070989799 0
/proc/25769/statm: 300894 14285 8205 1 0 272252 0
[pid=25770] ppid=25769 vsize=81220 memory=64532 CPUtime=134.31 cores=0,2
/proc/25770/stat : 25770 (naps-1.03a6) R 25769 25770 25770 0 -1 4194304 51455 0 0 0 13417 14 0 0 20 0 1 0 30953903 83169280 16133 18446744073709551615 4198400 7047149 140733005537728 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 13930496 140733005539713 140733005539827 140733005539827 140733005545417 0
/proc/25770/statm: 20305 16133 544 696 0 19466 0
Current children cumulated CPU time: 135.78 s
Current children cumulated vsize: 1288988 KiB
Current children cumulated memory: 124616 KiB
[startup+136.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/275 25779
/proc/meminfo: memFree=129688032/131249992 swapFree=33010684/33010684
[pid=25764] ppid=25761 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/25764/stat : 25764 (scip-naps-1.00.) S 25761 25764 19810 0 -1 4194304 256 315 0 0 0 0 0 0 20 0 1 0 30953751 4292608 736 18446744073709551615 94137102196736 94137103091269 140722642529680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94137103330320 94137103378064 94137134460928 140722642532769 140722642532866 140722642532866 140722642538468 0
/proc/25764/statm: 1048 736 672 219 0 110 0
[pid=25769] ppid=25764 vsize=1203576 memory=57140 CPUtime=1.47 cores=0,2
/proc/25769/stat : 25769 (python3) S 25764 25764 19810 0 -1 4194304 7211 0 0 0 144 3 0 0 20 0 1 0 30953753 1232461824 14285 18446744073709551615 94501704269824 94501704270201 140724070979424 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94501704281496 94501704282116 94501709361152 140724070984024 140724070984226 140724070984226 140724070989799 0
/proc/25769/statm: 300894 14285 8205 1 0 272252 0
[pid=25770] ppid=25769 vsize=81220 memory=64660 CPUtime=134.41 cores=0,2
/proc/25770/stat : 25770 (naps-1.03a6) R 25769 25770 25770 0 -1 4194304 51485 0 0 0 13427 14 0 0 20 0 1 0 30953903 83169280 16165 18446744073709551615 4198400 7047149 140733005537728 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 13930496 140733005539713 140733005539827 140733005539827 140733005545417 0
/proc/25770/statm: 20305 16165 544 696 0 19466 0
Current children cumulated CPU time: 135.88 s
Current children cumulated vsize: 1288988 KiB
Current children cumulated memory: 124744 KiB
Child status: 0
Real time (s): 136.392
CPU time (s): 135.999
CPU user time (s): 135.809
CPU system time (s): 0.190486
CPU usage (%): 99.712
Max. virtual memory (cumulated for all children) (KiB): 1288988
Max. memory (cumulated for all children) (KiB): 131452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 135.809
system time used= 0.190486
maximum resident set size= 71368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63702
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= 354
involuntary context switches= 208
# summary of solver processes directly reported to runsolver:
# pid: 25764
# total CPU time (s): 135.999
# total CPU user time (s): 135.809
# total CPU system time (s): 0.190486
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.276574 second user time and 0.633578 second system time
The end