0.84/0.99 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4529699-1752253455.opb
0.84/0.99 c Solving mode: decision
0.84/0.99 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
0.84/0.99 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.84/0.99 c original problem has 82 variables (82 bin, 0 int, 0 impl, 0 cont) and 2 constraints
0.84/0.99 c presolving:
0.84/0.99 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, 27 clqs
0.84/0.99 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, 27 clqs
0.84/0.99 c (round 3, fast) 0 del vars, 1 del conss, 1 add conss, 0 chg bounds, 72 chg sides, 71 chg coeffs, 0 upgd conss, 0 impls, 27 clqs
0.84/0.99 c (0.0s) probing: 51/82 (62.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.84/0.99 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.84/0.99 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.84/0.99 c (0.0s) no symmetry present (symcode time: 0.00)
0.84/0.99 c presolving (4 rounds: 4 fast, 2 medium, 2 exhaustive):
0.84/0.99 c 0 deleted vars, 1 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 72 changed sides, 71 changed coefficients
0.84/0.99 c 0 implications, 27 cliques
0.84/0.99 c presolved problem has 82 variables (82 bin, 0 int, 0 impl, 0 cont) and 2 constraints
0.84/0.99 c 2 constraints of type <linear>
0.84/0.99 c transformed objective value is always integral (scale: 1)
0.84/0.99 c Presolving Time: 0.00
0.84/0.99 c
0.84/0.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.84/0.99 c 0.0s| 1 | 0 | 3 | - | 1536k | 0 | 82 | 2 | 2 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.99 c 0.0s| 1 | 0 | 5 | - | 1567k | 0 | 82 | 2 | 3 | 1 | 1 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.99 c 0.0s| 1 | 0 | 8 | - | 1619k | 0 | 82 | 2 | 4 | 2 | 2 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.99 c 0.0s| 1 | 0 | 9 | - | 1666k | 0 | 82 | 2 | 5 | 3 | 3 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.99 c 0.0s| 1 | 0 | 11 | - | 1724k | 0 | 82 | 2 | 7 | 5 | 4 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.99 c 0.0s| 1 | 0 | 13 | - | 1749k | 0 | 82 | 2 | 9 | 7 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.99 c 0.0s| 1 | 0 | 17 | - | 1752k | 0 | 82 | 2 | 11 | 9 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.99 c 0.0s| 1 | 0 | 22 | - | 1862k | 0 | 82 | 2 | 13 | 11 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.99 c 0.0s| 1 | 0 | 26 | - | 1986k | 0 | 82 | 2 | 15 | 13 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.99 c 0.0s| 1 | 0 | 27 | - | 2140k | 0 | 82 | 2 | 16 | 14 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.99 c 0.0s| 1 | 0 | 30 | - | 2309k | 0 | 82 | 2 | 18 | 16 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.99 c 0.0s| 1 | 0 | 35 | - | 2311k | 0 | 82 | 2 | 19 | 17 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.99 c 0.0s| 1 | 0 | 39 | - | 2437k | 0 | 82 | 2 | 21 | 19 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.99 c 0.0s| 1 | 0 | 41 | - | 2441k | 0 | 82 | 2 | 23 | 21 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.99 c 0.0s| 1 | 0 | 43 | - | 2444k | 0 | 82 | 2 | 25 | 23 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.84/0.99 c 0.0s| 1 | 0 | 45 | - | 2450k | 0 | 82 | 2 | 27 | 25 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.99 c 0.0s| 1 | 0 | 47 | - | 2641k | 0 | 82 | 2 | 21 | 27 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.99 c 0.0s| 1 | 0 | 49 | - | 2641k | 0 | 82 | 2 | 23 | 29 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.99 c 0.0s| 1 | 2 | 60 | - | 2653k | 0 | 82 | 2 | 23 | 29 | 17 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
0.84/0.99 c 0.1s| 100 | 87 | 311 | 2.6 | 2699k | 42 | 82 | 2 | 5 | 39 | 1 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
0.84/0.99 c 0.1s| 200 | 137 | 471 | 2.1 | 3035k | 49 | 82 | 2 | 6 | 62 | 3 | 0 | 11 | 0.000000e+00 | -- | Inf | 6.25%
0.84/0.99 c 0.2s| 300 | 155 | 582 | 1.8 | 3175k | 49 | 82 | 2 | 0 | 80 | 0 | 0 | 11 | 0.000000e+00 | -- | Inf | 6.25%
0.84/0.99 c 0.2s| 400 | 177 | 676 | 1.6 | 3181k | 50 | 82 | 2 | 0 | 93 | 0 | 0 | 11 | 0.000000e+00 | -- | Inf | 10.55%
0.84/0.99 c 0.2s| 500 | 189 | 751 | 1.4 | 3537k | 51 | 82 | 2 | 4 | 97 | 1 | 0 | 11 | 0.000000e+00 | -- | Inf | 10.77%
0.84/0.99 c 0.3s| 600 | 205 | 826 | 1.3 | 3800k | 51 | 82 | 2 | 3 | 104 | 1 | 0 | 11 | 0.000000e+00 | -- | Inf | 10.79%
0.84/0.99 c 0.3s| 700 | 225 | 894 | 1.2 | 3873k | 51 | 82 | 2 | 3 | 104 | 1 | 0 | 11 | 0.000000e+00 | -- | Inf | 10.80%
0.84/0.99 c 0.4s| 800 | 263 | 969 | 1.2 | 3885k | 51 | 82 | 2 | 3 | 104 | 1 | 0 | 11 | 0.000000e+00 | -- | Inf | 10.80%
0.84/0.99 c 0.4s| 900 | 289 | 1075 | 1.1 | 3919k | 51 | 82 | 2 | 5 | 120 | 1 | 0 | 11 | 0.000000e+00 | -- | Inf | 10.80%
0.84/0.99 c 0.4s| 1000 | 307 | 1139 | 1.1 | 3923k | 51 | 82 | 2 | 0 | 120 | 0 | 0 | 11 | 0.000000e+00 | -- | Inf | 10.80%
0.84/0.99 c 0.5s| 1100 | 335 | 1219 | 1.1 | 3997k | 51 | 82 | 2 | 6 | 131 | 1 | 0 | 11 | 0.000000e+00 | -- | Inf | 10.80%
0.84/0.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.84/0.99 c 0.5s| 1200 | 347 | 1295 | 1.0 | 3997k | 51 | 82 | 2 | 3 | 131 | 1 | 0 | 11 | 0.000000e+00 | -- | Inf | 10.80%
0.84/0.99 c 0.5s| 1300 | 355 | 1351 | 1.0 | 3997k | 51 | 82 | 2 | 0 | 131 | 0 | 0 | 11 | 0.000000e+00 | -- | Inf | 10.80%
0.84/0.99 c 0.5s| 1400 | 379 | 1430 | 1.0 | 4004k | 52 | 82 | 2 | 1 | 138 | 1 | 0 | 11 | 0.000000e+00 | -- | Inf | 20.06%
0.84/0.99 c 0.6s| 1500 | 391 | 1502 | 1.0 | 4024k | 52 | 82 | 2 | 0 | 142 | 0 | 0 | 11 | 0.000000e+00 | -- | Inf | 27.72%
0.84/0.99 c 0.6s| 1600 | 423 | 1638 | 1.0 | 4046k | 52 | 82 | 2 | 3 | 158 | 1 | 0 | 11 | 0.000000e+00 | -- | Inf | 28.13%
0.84/0.99 c 0.7s| 1700 | 461 | 1766 | 1.0 | 4082k | 52 | 82 | 2 | 0 | 165 | 0 | 0 | 11 | 0.000000e+00 | -- | Inf | 28.22%
0.84/0.99 c 0.7s| 1800 | 481 | 1854 | 1.0 | 4106k | 52 | 82 | 2 | 0 | 174 | 0 | 0 | 11 | 0.000000e+00 | -- | Inf | 28.22%
0.84/0.99 c 0.7s| 1900 | 487 | 1922 | 1.0 | 4139k | 52 | 82 | 2 | 0 | 186 | 0 | 0 | 11 | 0.000000e+00 | -- | Inf | 28.22%
0.84/0.99 c 0.7s| 2000 | 507 | 1992 | 1.0 | 4272k | 52 | 82 | 2 | 3 | 189 | 1 | 0 | 11 | 0.000000e+00 | -- | Inf | 28.22%
0.84/0.99 c 0.8s| 2100 | 549 | 2145 | 1.0 | 4282k | 52 | 82 | 2 | 5 | 214 | 1 | 0 | 11 | 0.000000e+00 | -- | Inf | 28.22%
0.84/0.99 c 0.8s| 2200 | 587 | 2253 | 1.0 | 4337k | 53 | 82 | 2 | 3 | 220 | 1 | 0 | 11 | 0.000000e+00 | -- | Inf | 28.22%
1.44/1.51 c 0.8s| 2300 | 633 | 2373 | 1.0 | 4395k | 53 | 82 | 2 | 3 | 224 | 1 | 0 | 11 | 0.000000e+00 | -- | Inf | 28.25%
1.44/1.51 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1.44/1.51 c (run 1, node 2326) performing user restart
1.44/1.51 c
1.44/1.51 c (restart) converted 1 cuts from the global cut pool into linear constraints
1.44/1.51 c
1.44/1.51 c presolving:
1.44/1.51 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, 27 clqs
1.44/1.51 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, 27 clqs
1.44/1.51 c (round 3, exhaustive) 0 del vars, 0 del conss, 1 add conss, 0 chg bounds, 7 chg sides, 7 chg coeffs, 1 upgd conss, 0 impls, 27 clqs
1.44/1.51 c presolving (4 rounds: 4 fast, 2 medium, 2 exhaustive):
1.44/1.51 c 0 deleted vars, 0 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 7 changed coefficients
1.44/1.51 c 0 implications, 27 cliques
1.44/1.51 c presolved problem has 82 variables (82 bin, 0 int, 0 impl, 0 cont) and 4 constraints
1.44/1.51 c 3 constraints of type <linear>
1.44/1.51 c 1 constraints of type <logicor>
1.44/1.51 c transformed objective value is always integral (scale: 1)
1.44/1.51 c Presolving Time: 0.00
1.44/1.51 c
1.44/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.44/1.51 c 0.8s| 1 | 0 | 2399 | - | 4543k | 0 | 82 | 4 | 4 | 0 | 0 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.8s| 1 | 0 | 2401 | - | 4543k | 0 | 82 | 4 | 5 | 1 | 1 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.8s| 1 | 0 | 2402 | - | 4543k | 0 | 82 | 4 | 6 | 2 | 2 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.8s| 1 | 0 | 2403 | - | 4543k | 0 | 82 | 4 | 7 | 3 | 3 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.8s| 1 | 0 | 2404 | - | 4543k | 0 | 82 | 4 | 8 | 4 | 4 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.8s| 1 | 0 | 2407 | - | 4650k | 0 | 82 | 4 | 10 | 6 | 5 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.8s| 1 | 0 | 2409 | - | 4650k | 0 | 82 | 4 | 11 | 7 | 6 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.8s| 1 | 0 | 2410 | - | 4650k | 0 | 82 | 4 | 12 | 8 | 7 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.8s| 1 | 0 | 2411 | - | 4650k | 0 | 82 | 4 | 13 | 9 | 8 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.8s| 1 | 0 | 2412 | - | 4650k | 0 | 82 | 4 | 14 | 10 | 9 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.8s| 1 | 0 | 2414 | - | 4650k | 0 | 82 | 4 | 15 | 11 | 10 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.8s| 1 | 0 | 2418 | - | 4650k | 0 | 82 | 4 | 16 | 12 | 11 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.8s| 1 | 0 | 2419 | - | 4650k | 0 | 82 | 4 | 12 | 13 | 12 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.8s| 1 | 0 | 2420 | - | 4650k | 0 | 82 | 4 | 13 | 14 | 13 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.8s| 1 | 0 | 2422 | - | 4650k | 0 | 82 | 4 | 14 | 15 | 14 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/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.44/1.51 c 0.8s| 1 | 0 | 2423 | - | 4650k | 0 | 82 | 4 | 15 | 16 | 15 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.8s| 1 | 0 | 2424 | - | 4650k | 0 | 82 | 4 | 16 | 17 | 16 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.8s| 1 | 0 | 2427 | - | 4650k | 0 | 82 | 4 | 18 | 19 | 17 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.9s| 1 | 0 | 2433 | - | 4650k | 0 | 82 | 4 | 13 | 20 | 18 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.9s| 1 | 0 | 2434 | - | 4650k | 0 | 82 | 4 | 14 | 21 | 19 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.9s| 1 | 0 | 2435 | - | 4650k | 0 | 82 | 4 | 15 | 22 | 20 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.9s| 1 | 0 | 2436 | - | 4650k | 0 | 82 | 4 | 16 | 23 | 21 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.9s| 1 | 0 | 2437 | - | 4650k | 0 | 82 | 4 | 17 | 24 | 22 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.9s| 1 | 0 | 2438 | - | 4650k | 0 | 82 | 4 | 18 | 25 | 23 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.9s| 1 | 0 | 2440 | - | 4650k | 0 | 82 | 4 | 13 | 26 | 24 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.9s| 1 | 0 | 2442 | - | 4650k | 0 | 82 | 4 | 14 | 27 | 25 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.9s| 1 | 0 | 2444 | - | 4650k | 0 | 82 | 4 | 15 | 28 | 26 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.9s| 1 | 0 | 2445 | - | 4650k | 0 | 82 | 4 | 16 | 29 | 27 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.9s| 1 | 0 | 2446 | - | 4650k | 0 | 82 | 4 | 17 | 30 | 28 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.9s| 1 | 0 | 2447 | - | 4650k | 0 | 82 | 4 | 18 | 31 | 29 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/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.44/1.51 c 0.9s| 1 | 0 | 2449 | - | 4650k | 0 | 82 | 4 | 17 | 32 | 30 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.9s| 1 | 0 | 2452 | - | 4650k | 0 | 82 | 4 | 18 | 33 | 31 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.9s| 1 | 0 | 2454 | - | 4650k | 0 | 82 | 4 | 19 | 34 | 32 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.9s| 1 | 0 | 2456 | - | 4650k | 0 | 82 | 4 | 20 | 35 | 33 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.9s| 1 | 0 | 2458 | - | 4650k | 0 | 82 | 4 | 22 | 37 | 34 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.9s| 1 | 0 | 2460 | - | 4651k | 0 | 82 | 4 | 23 | 38 | 35 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.9s| 1 | 0 | 2462 | - | 4651k | 0 | 82 | 4 | 19 | 39 | 36 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.9s| 1 | 0 | 2464 | - | 4651k | 0 | 82 | 4 | 21 | 41 | 37 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.9s| 1 | 0 | 2465 | - | 4651k | 0 | 82 | 4 | 22 | 42 | 38 | 0 | 11 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.9s| 1 | 2 | 2480 | - | 4651k | 0 | 82 | 4 | 22 | 42 | 38 | 0 | 18 | 0.000000e+00 | -- | Inf | unknown
1.44/1.51 c 0.9s| 100 | 39 | 2607 | 1.0 | 4652k | 20 | 82 | 6 | 0 | 63 | 0 | 3 | 18 | 0.000000e+00 | -- | Inf | 6.32%
1.44/1.51 c 1.1s| 200 | 49 | 2702 | 1.0 | 4785k | 20 | 82 | 8 | 0 | 76 | 0 | 5 | 18 | 0.000000e+00 | -- | Inf | 11.04%
1.44/1.51 c 1.2s| 300 | 59 | 2787 | 1.0 | 4785k | 20 | 82 | 8 | 0 | 81 | 0 | 5 | 18 | 0.000000e+00 | -- | Inf | 11.79%
1.44/1.51 c 1.3s| 400 | 61 | 2887 | 1.0 | 4785k | 20 | 82 | 8 | 0 | 91 | 0 | 5 | 18 | 0.000000e+00 | -- | Inf | 22.69%
1.64/1.76 c 1.4s| 500 | 81 | 2982 | 1.0 | 4790k | 26 | 82 | 8 | 3 | 93 | 1 | 5 | 18 | 0.000000e+00 | -- | Inf | 22.79%
1.64/1.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.64/1.76 c 1.4s| 600 | 105 | 3096 | 1.0 | 4793k | 34 | 82 | 8 | 0 | 93 | 0 | 5 | 18 | 0.000000e+00 | -- | Inf | 22.80%
1.64/1.76 c 1.4s| 700 | 129 | 3183 | 1.0 | 4793k | 34 | 82 | 8 | 3 | 93 | 1 | 5 | 18 | 0.000000e+00 | -- | Inf | 22.80%
1.64/1.76 c 1.5s| 800 | 151 | 3250 | 1.0 | 4806k | 37 | 82 | 8 | 0 | 93 | 0 | 5 | 18 | 0.000000e+00 | -- | Inf | 22.80%
1.64/1.76 c 1.5s| 900 | 157 | 3306 | 1.0 | 4808k | 39 | 82 | 8 | 3 | 93 | 1 | 5 | 18 | 0.000000e+00 | -- | Inf | 22.80%
1.64/1.76 c 1.5s| 1000 | 183 | 3398 | 1.0 | 4811k | 39 | 82 | 6 | 3 | 93 | 1 | 5 | 18 | 0.000000e+00 | -- | Inf | 22.80%
1.64/1.76 c 1.6s| 1100 | 191 | 3454 | 1.0 | 4814k | 39 | 82 | 6 | 0 | 93 | 0 | 5 | 18 | 0.000000e+00 | -- | Inf | 22.80%
1.64/1.76 c 1.6s| 1200 | 199 | 3509 | 1.0 | 4814k | 39 | 82 | 6 | 3 | 93 | 1 | 5 | 18 | 0.000000e+00 | -- | Inf | 22.80%
1.64/1.76 c r 1.6s| 1204 | 0 | 3511 | 1.0 |rounding| 39 | 82 | 6 | 3 | 93 | 0 | 5 | 18 | 0.000000e+00 | 0.000000e+00 | 0.00%| 100.00%
1.64/1.76 c
1.64/1.76 c SCIP Status : problem is solved [optimal solution found]
1.64/1.76 c Solving Time (sec) : 1.61
1.64/1.76 c Solving Nodes : 1204 (total of 3530 nodes in 2 runs)
1.64/1.76 c Primal Bound : +0.00000000000000e+00 (1 solutions)
1.64/1.76 c Dual Bound : +0.00000000000000e+00
1.64/1.76 c Gap : 0.00 %
1.64/1.76 c [VIOLATION] Line 8: +48709 x1 +97418 x2 +194836 x3 +389672 x4 +779344 x5 +1558688 x6 +3117376 x7 +6234752 x8 +12469504 x9 +24939008 x10 +49878016 x11 +55893 x12 +111786 x13 +223572 x14 +447144 x15 +894288 x16 +1788576 x17 +3577152 x18 +7154304 x19 +14308608 x20 +28617216 x21 +57234432 x22 +62177 x23 +124354 x24 +248708 x25 +497416 x26 +994832 x27 +1989664 x28 +3979328 x29 +7958656 x30 +15917312 x31 +31834624 x32 +65919 x33 +131838 x34 +263676 x35 +527352 x36 +1054704 x37 +2109408 x38 +4218816 x39 +8437632 x40 +16875264 x41 +33750528 x42 +86271 x43 +172542 x44 +345084 x45 +690168 x46 +1380336 x47 +2760672 x48 +5521344 x49 +11042688 x50 +22085376 x51 +44170752 x52 +87692 x53 +175384 x54 +350768 x55 +701536 x56 +1403072 x57 +2806144 x58 +5612288 x59 +11224576 x60 +22449152 x61 +44898304 x62 +102881 x63 +205762 x64 +411524 x65 +823048 x66 +1646096 x67 +3292192 x68 +6584384 x69 +13168768 x70 +26337536 x71 +52675072 x72 +109765 x73 +219530 x74 +439060 x75 +878120 x76 +1756240 x77 +3512480 x78 +7024960 x79 +14049920 x80 +28099840 x81 +56199680 x82 >= 60575666 ;
1.64/1.76 c Computed activity: 60575655
1.64/1.76 c Required: activity >= 60575666
1.64/1.76 c Variable assignments: {x1=0, x2=0, x3=0, x4=0, x5=0, x6=0, x7=0, x8=0, x9=0, x10=0, x11=0, x12=1, x13=0, x14=1, 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=0, x29=0, x30=0, x31=0, x32=1, x33=0, x34=1, x35=0, x36=0, x37=0, x38=1, x39=0, x40=0, x41=1, x42=0, x43=0, x44=0, x45=0, x46=0, x47=0, x48=1, 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=0, x65=0, x66=0, x67=0, x68=0, x69=1, x70=0, x71=0, x72=0, x73=0, x74=0, x75=0, x76=0, x77=0, x78=0, x79=0, x80=0, x81=0, x82=0}}
1.64/1.76 c SCIP found a solution, but it is not feasible according to the original problem.
1.64/1.76 c ----------------------------------------------------------------------
1.64/1.76 c executing external solver (fallback): HOME/naps-1.03a6
1.64/1.76 c ----------------------------------------------------------------------
1.64/1.76 c command: HOME/naps-1.03a6 HOME/instance-4529699-1752253455.opb
1.64/1.77 c NaPS 1.03a6.
1.64/1.77 c Input file name: HOME/instance-4529699-1752253455.opb
669.84/672.11 c s SATISFIABLE
669.84/672.11 c _____________________________________________________________________________
669.84/672.11 c std/band forms : 0,1
669.84/672.11 c 2cl/3cl ITE-codings : 0,43545
669.84/672.11 c BDD/srt/adr Max costs : 45482,0,0
669.84/672.11 c BDDraw/bin/mul/srt/adr: 0,0,1,0,0
669.84/672.11 c BDD nodes : 45484
669.84/672.11 c Es1/CC detections : 0,0
669.84/672.11 c CC sort : 0
669.84/672.11 c SAT/UNSAT calls : 1,0
669.84/672.11 c regenrated variables : 0
669.84/672.11 c eliminated fixed lits : 0
669.84/672.11 c goal lit flips : 0
669.84/672.11 c goal stages : 0
669.84/672.11 c goal shrink : 0
669.84/672.11 c goal coeff separations: 0
669.84/672.11 c restarts : 60167
669.84/672.11 c conflicts : 2098519 (3141 /sec)
669.84/672.11 c decisions : 8723734 (13058 /sec)
669.84/672.11 c propagations : 6144603962 (9197815 /sec)
669.84/672.11 c inspects : 0 (0 /sec)
669.84/672.11 c CPU time (solving tm) : 668.1 s (667.7 s, SAT 667.7 s, UNSAT 0 s)
669.84/672.11 c Time for Opt-base : 0.06587 s
669.84/672.11 c Steps for Opt-base : 271830
669.84/672.11 c Time for BDD coding : 0.3218 s
669.84/672.11 c Time for srt coding : 0 s
669.84/672.11 c _____________________________________________________________________________
669.84/672.11 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
669.84/672.11 s SATISFIABLE
669.84/672.11 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
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 (56565 MiB free)
memory of node 1: 64465 MiB (58007 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529699-1752253455/watcher-4529699-1752253455 -o /tmp/evaluation-result-4529699-1752253455/solver-4529699-1752253455 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1752253388-109750 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529699-1752253455.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
Current StackSize limit: 8192 KiB
solver pid=110203, runsolver pid=110200
[startup+0.100062 s]*
/proc/loadavg: 3.45 3.12 3.17 5/269 110217
/proc/meminfo: memFree=117309920/131250000 swapFree=33010672/33010684
[pid=110203] ppid=110200 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/110203/stat : 110203 (scip-naps-1.00a) S 110200 110203 109737 0 -1 4194304 259 319 0 0 0 0 0 0 20 0 1 0 141024105 4292608 768 18446744073709551615 94213492514816 94213493409349 140720649248272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213493648400 94213493696144 94213501399040 140720649255323 140720649255422 140720649255422 140720649261026 0
/proc/110203/statm: 1048 768 704 219 0 110 0
[pid=110213] ppid=110203 vsize=1186292 memory=31196 CPUtime=0.06 cores=5,7
/proc/110213/stat : 110213 (python3) R 110203 110203 109737 0 -1 4194304 3554 0 0 0 5 1 0 0 20 0 1 0 141024107 1214763008 7799 18446744073709551615 94542447742976 94542447743353 140736174820112 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94542447754648 94542447755268 94542467547136 140736174827855 140736174828064 140736174828064 140736174833639 0
/proc/110213/statm: 296573 7799 4863 1 0 268595 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1190484 KiB
Current children cumulated memory: 34268 KiB
[startup+0.206015 s]*
/proc/loadavg: 3.45 3.12 3.17 5/269 110217
/proc/meminfo: memFree=117282956/131250000 swapFree=33010672/33010684
[pid=110203] ppid=110200 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/110203/stat : 110203 (scip-naps-1.00a) S 110200 110203 109737 0 -1 4194304 259 319 0 0 0 0 0 0 20 0 1 0 141024105 4292608 768 18446744073709551615 94213492514816 94213493409349 140720649248272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213493648400 94213493696144 94213501399040 140720649255323 140720649255422 140720649255422 140720649261026 0
/proc/110203/statm: 1048 768 704 219 0 110 0
[pid=110213] ppid=110203 vsize=1202700 memory=55516 CPUtime=0.16 cores=5,7
/proc/110213/stat : 110213 (python3) R 110203 110203 109737 0 -1 4194304 6612 0 0 0 15 1 0 0 20 0 1 0 141024107 1231564800 13879 18446744073709551615 94542447742976 94542447743353 140736174820112 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94542447754648 94542447755268 94542467547136 140736174827855 140736174828064 140736174828064 140736174833639 0
/proc/110213/statm: 300675 13879 8159 1 0 272033 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1206892 KiB
Current children cumulated memory: 58588 KiB
[startup+0.305928 s]*
/proc/loadavg: 3.45 3.12 3.17 5/269 110217
/proc/meminfo: memFree=117279932/131250000 swapFree=33010672/33010684
[pid=110203] ppid=110200 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/110203/stat : 110203 (scip-naps-1.00a) S 110200 110203 109737 0 -1 4194304 259 319 0 0 0 0 0 0 20 0 1 0 141024105 4292608 768 18446744073709551615 94213492514816 94213493409349 140720649248272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213493648400 94213493696144 94213501399040 140720649255323 140720649255422 140720649255422 140720649261026 0
/proc/110203/statm: 1048 768 704 219 0 110 0
[pid=110213] ppid=110203 vsize=1203124 memory=56028 CPUtime=0.25 cores=5,7
/proc/110213/stat : 110213 (python3) R 110203 110203 109737 0 -1 4194304 6745 0 0 0 24 1 0 0 20 0 1 0 141024107 1231998976 14007 18446744073709551615 94542447742976 94542447743353 140736174820112 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94542447754648 94542447755268 94542467547136 140736174827855 140736174828064 140736174828064 140736174833639 0
/proc/110213/statm: 300781 14007 8159 1 0 272139 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 1207316 KiB
Current children cumulated memory: 59100 KiB
[startup+0.700167 s]
/proc/loadavg: 3.45 3.12 3.17 5/269 110217
/proc/meminfo: memFree=117279932/131250000 swapFree=33010672/33010684
[pid=110203] ppid=110200 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/110203/stat : 110203 (scip-naps-1.00a) S 110200 110203 109737 0 -1 4194304 259 319 0 0 0 0 0 0 20 0 1 0 141024105 4292608 768 18446744073709551615 94213492514816 94213493409349 140720649248272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213493648400 94213493696144 94213501399040 140720649255323 140720649255422 140720649255422 140720649261026 0
/proc/110203/statm: 1048 768 704 219 0 110 0
[pid=110213] ppid=110203 vsize=1204120 memory=57308 CPUtime=0.64 cores=5,7
/proc/110213/stat : 110213 (python3) R 110203 110203 109737 0 -1 4194304 7070 0 0 0 63 1 0 0 20 0 1 0 141024107 1233018880 14327 18446744073709551615 94542447742976 94542447743353 140736174820112 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94542447754648 94542447755268 94542467547136 140736174827855 140736174828064 140736174828064 140736174833639 0
/proc/110213/statm: 301030 14327 8159 1 0 272388 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 1208312 KiB
Current children cumulated memory: 60380 KiB
[startup+1.50017 s]
/proc/loadavg: 3.45 3.12 3.17 5/269 110218
/proc/meminfo: memFree=117283316/131250000 swapFree=33010672/33010684
[pid=110203] ppid=110200 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/110203/stat : 110203 (scip-naps-1.00a) S 110200 110203 109737 0 -1 4194304 259 319 0 0 0 0 0 0 20 0 1 0 141024105 4292608 768 18446744073709551615 94213492514816 94213493409349 140720649248272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213493648400 94213493696144 94213501399040 140720649255323 140720649255422 140720649255422 140720649261026 0
/proc/110203/statm: 1048 768 704 219 0 110 0
[pid=110213] ppid=110203 vsize=1205144 memory=58204 CPUtime=1.44 cores=5,7
/proc/110213/stat : 110213 (python3) R 110203 110203 109737 0 -1 4194304 7282 0 0 0 143 1 0 0 20 0 1 0 141024107 1234067456 14551 18446744073709551615 94542447742976 94542447743353 140736174820112 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94542447754648 94542447755268 94542467547136 140736174827855 140736174828064 140736174828064 140736174833639 0
/proc/110213/statm: 301286 14551 8159 1 0 272644 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 1209336 KiB
Current children cumulated memory: 61276 KiB
[startup+3.10544 s]
/proc/loadavg: 3.49 3.14 3.18 5/270 110219
/proc/meminfo: memFree=116918744/131250000 swapFree=33010672/33010684
[pid=110203] ppid=110200 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/110203/stat : 110203 (scip-naps-1.00a) S 110200 110203 109737 0 -1 4194304 259 319 0 0 0 0 0 0 20 0 1 0 141024105 4292608 768 18446744073709551615 94213492514816 94213493409349 140720649248272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213493648400 94213493696144 94213501399040 140720649255323 140720649255422 140720649255422 140720649261026 0
/proc/110203/statm: 1048 768 704 219 0 110 0
[pid=110213] ppid=110203 vsize=1205144 memory=58460 CPUtime=1.71 cores=5,7
/proc/110213/stat : 110213 (python3) S 110203 110203 109737 0 -1 4194304 7472 0 0 0 170 1 0 0 20 0 1 0 141024107 1234067456 14615 18446744073709551615 94542447742976 94542447743353 140736174820112 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94542447754648 94542447755268 94542467547136 140736174827855 140736174828064 140736174828064 140736174833639 0
/proc/110213/statm: 301286 14615 8223 1 0 272644 0
[pid=110219] ppid=110213 vsize=65676 memory=59460 CPUtime=1.32 cores=5,7
/proc/110219/stat : 110219 (naps-1.03a6) R 110213 110219 110219 0 -1 4194304 16167 0 0 0 130 2 0 0 20 0 1 0 141024282 67252224 14865 18446744073709551615 4198400 7047149 140731031101600 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 14843904 140731031103871 140731031103985 140731031103985 140731031109577 0
/proc/110219/statm: 16419 14865 544 696 0 15580 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 1275012 KiB
Current children cumulated memory: 120992 KiB
[startup+6.30019 s]
/proc/loadavg: 3.49 3.14 3.18 5/270 110219
/proc/meminfo: memFree=115747116/131250000 swapFree=33010672/33010684
[pid=110203] ppid=110200 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/110203/stat : 110203 (scip-naps-1.00a) S 110200 110203 109737 0 -1 4194304 259 319 0 0 0 0 0 0 20 0 1 0 141024105 4292608 768 18446744073709551615 94213492514816 94213493409349 140720649248272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213493648400 94213493696144 94213501399040 140720649255323 140720649255422 140720649255422 140720649261026 0
/proc/110203/statm: 1048 768 704 219 0 110 0
[pid=110213] ppid=110203 vsize=1205144 memory=58460 CPUtime=1.71 cores=5,7
/proc/110213/stat : 110213 (python3) S 110203 110203 109737 0 -1 4194304 7472 0 0 0 170 1 0 0 20 0 1 0 141024107 1234067456 14615 18446744073709551615 94542447742976 94542447743353 140736174820112 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94542447754648 94542447755268 94542467547136 140736174827855 140736174828064 140736174828064 140736174833639 0
/proc/110213/statm: 301286 14615 8223 1 0 272644 0
[pid=110219] ppid=110213 vsize=65676 memory=59460 CPUtime=4.51 cores=5,7
/proc/110219/stat : 110219 (naps-1.03a6) R 110213 110219 110219 0 -1 4194304 16182 0 0 0 449 2 0 0 20 0 1 0 141024282 67252224 14865 18446744073709551615 4198400 7047149 140731031101600 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 14843904 140731031103871 140731031103985 140731031103985 140731031109577 0
/proc/110219/statm: 16419 14865 544 696 0 15580 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 1275012 KiB
Current children cumulated memory: 120992 KiB
[startup+12.7002 s]
/proc/loadavg: 3.65 3.18 3.19 5/271 110220
/proc/meminfo: memFree=115711628/131250000 swapFree=33010672/33010684
[pid=110203] ppid=110200 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/110203/stat : 110203 (scip-naps-1.00a) S 110200 110203 109737 0 -1 4194304 259 319 0 0 0 0 0 0 20 0 1 0 141024105 4292608 768 18446744073709551615 94213492514816 94213493409349 140720649248272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213493648400 94213493696144 94213501399040 140720649255323 140720649255422 140720649255422 140720649261026 0
/proc/110203/statm: 1048 768 704 219 0 110 0
[pid=110213] ppid=110203 vsize=1205144 memory=58460 CPUtime=1.71 cores=5,7
/proc/110213/stat : 110213 (python3) S 110203 110203 109737 0 -1 4194304 7472 0 0 0 170 1 0 0 20 0 1 0 141024107 1234067456 14615 18446744073709551615 94542447742976 94542447743353 140736174820112 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94542447754648 94542447755268 94542467547136 140736174827855 140736174828064 140736174828064 140736174833639 0
/proc/110213/statm: 301286 14615 8223 1 0 272644 0
[pid=110219] ppid=110213 vsize=65676 memory=59460 CPUtime=10.89 cores=5,7
/proc/110219/stat : 110219 (naps-1.03a6) R 110213 110219 110219 0 -1 4194304 16205 0 0 0 1087 2 0 0 20 0 1 0 141024282 67252224 14865 18446744073709551615 4198400 7047149 140731031101600 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 14843904 140731031103871 140731031103985 140731031103985 140731031109577 0
/proc/110219/statm: 16419 14865 544 696 0 15580 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 1275012 KiB
Current children cumulated memory: 120992 KiB
[startup+25.5003 s]
/proc/loadavg: 3.70 3.21 3.20 5/271 110220
/proc/meminfo: memFree=111944956/131250000 swapFree=33010672/33010684
[pid=110203] ppid=110200 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/110203/stat : 110203 (scip-naps-1.00a) S 110200 110203 109737 0 -1 4194304 259 319 0 0 0 0 0 0 20 0 1 0 141024105 4292608 768 18446744073709551615 94213492514816 94213493409349 140720649248272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213493648400 94213493696144 94213501399040 140720649255323 140720649255422 140720649255422 140720649261026 0
/proc/110203/statm: 1048 768 704 219 0 110 0
[pid=110213] ppid=110203 vsize=1205144 memory=58460 CPUtime=1.71 cores=5,7
/proc/110213/stat : 110213 (python3) S 110203 110203 109737 0 -1 4194304 7472 0 0 0 170 1 0 0 20 0 1 0 141024107 1234067456 14615 18446744073709551615 94542447742976 94542447743353 140736174820112 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94542447754648 94542447755268 94542467547136 140736174827855 140736174828064 140736174828064 140736174833639 0
/proc/110213/statm: 301286 14615 8223 1 0 272644 0
[pid=110219] ppid=110213 vsize=65676 memory=59460 CPUtime=23.65 cores=5,7
/proc/110219/stat : 110219 (naps-1.03a6) R 110213 110219 110219 0 -1 4194304 16206 0 0 0 2363 2 0 0 20 0 1 0 141024282 67252224 14865 18446744073709551615 4198400 7047149 140731031101600 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 14843904 140731031103871 140731031103985 140731031103985 140731031109577 0
/proc/110219/statm: 16419 14865 544 696 0 15580 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 1275012 KiB
Current children cumulated memory: 120992 KiB
[startup+51.1062 s]
/proc/loadavg: 3.81 3.28 3.22 5/271 110269
/proc/meminfo: memFree=118161504/131250000 swapFree=33010672/33010684
[pid=110203] ppid=110200 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/110203/stat : 110203 (scip-naps-1.00a) S 110200 110203 109737 0 -1 4194304 259 319 0 0 0 0 0 0 20 0 1 0 141024105 4292608 768 18446744073709551615 94213492514816 94213493409349 140720649248272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213493648400 94213493696144 94213501399040 140720649255323 140720649255422 140720649255422 140720649261026 0
/proc/110203/statm: 1048 768 704 219 0 110 0
[pid=110213] ppid=110203 vsize=1205144 memory=58460 CPUtime=1.71 cores=5,7
/proc/110213/stat : 110213 (python3) S 110203 110203 109737 0 -1 4194304 7472 0 0 0 170 1 0 0 20 0 1 0 141024107 1234067456 14615 18446744073709551615 94542447742976 94542447743353 140736174820112 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94542447754648 94542447755268 94542467547136 140736174827855 140736174828064 140736174828064 140736174833639 0
/proc/110213/statm: 301286 14615 8223 1 0 272644 0
[pid=110219] ppid=110213 vsize=66412 memory=61892 CPUtime=49.18 cores=5,7
/proc/110219/stat : 110219 (naps-1.03a6) R 110213 110219 110219 0 -1 4194304 16850 0 0 0 4916 2 0 0 20 0 1 0 141024282 68005888 15473 18446744073709551615 4198400 7047149 140731031101600 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 14843904 140731031103871 140731031103985 140731031103985 140731031109577 0
/proc/110219/statm: 16603 15473 544 696 0 15764 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 1275748 KiB
Current children cumulated memory: 123424 KiB
[startup+102.3 s]
/proc/loadavg: 4.32 3.52 3.31 5/271 110711
/proc/meminfo: memFree=123359248/131250000 swapFree=33010672/33010684
[pid=110203] ppid=110200 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/110203/stat : 110203 (scip-naps-1.00a) S 110200 110203 109737 0 -1 4194304 259 319 0 0 0 0 0 0 20 0 1 0 141024105 4292608 768 18446744073709551615 94213492514816 94213493409349 140720649248272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213493648400 94213493696144 94213501399040 140720649255323 140720649255422 140720649255422 140720649261026 0
/proc/110203/statm: 1048 768 704 219 0 110 0
[pid=110213] ppid=110203 vsize=1205144 memory=59868 CPUtime=1.71 cores=5,7
/proc/110213/stat : 110213 (python3) S 110203 110203 109737 0 -1 4194304 7472 0 0 0 170 1 0 0 20 0 1 0 141024107 1234067456 14967 18446744073709551615 94542447742976 94542447743353 140736174820112 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94542447754648 94542447755268 94542467547136 140736174827855 140736174828064 140736174828064 140736174833639 0
/proc/110213/statm: 301286 14967 8223 1 0 272644 0
[pid=110219] ppid=110213 vsize=82192 memory=74532 CPUtime=100.25 cores=5,7
/proc/110219/stat : 110219 (naps-1.03a6) R 110213 110219 110219 0 -1 4194304 21623 0 0 0 10020 5 0 0 20 0 1 0 141024282 84164608 18633 18446744073709551615 4198400 7047149 140731031101600 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 14843904 140731031103871 140731031103985 140731031103985 140731031109577 0
/proc/110219/statm: 20548 18633 544 696 0 19709 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1291528 KiB
Current children cumulated memory: 137472 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 3.61 3.36 5/271 110713
/proc/meminfo: memFree=123360412/131250000 swapFree=33010672/33010684
[pid=110203] ppid=110200 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/110203/stat : 110203 (scip-naps-1.00a) S 110200 110203 109737 0 -1 4194304 259 319 0 0 0 0 0 0 20 0 1 0 141024105 4292608 768 18446744073709551615 94213492514816 94213493409349 140720649248272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213493648400 94213493696144 94213501399040 140720649255323 140720649255422 140720649255422 140720649261026 0
/proc/110203/statm: 1048 768 704 219 0 110 0
[pid=110213] ppid=110203 vsize=1205144 memory=59868 CPUtime=1.71 cores=5,7
################
# More data... #
################
/proc/110219/statm: 21486 19177 544 696 0 20647 0
Current children cumulated CPU time: 580.34 s
Current children cumulated vsize: 1295280 KiB
Current children cumulated memory: 139648 KiB
[startup+642.3 s]
/proc/loadavg: 4.07 4.00 3.67 5/269 110786
/proc/meminfo: memFree=125153000/131250000 swapFree=33010672/33010684
[pid=110203] ppid=110200 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/110203/stat : 110203 (scip-naps-1.00a) S 110200 110203 109737 0 -1 4194304 259 319 0 0 0 0 0 0 20 0 1 0 141024105 4292608 768 18446744073709551615 94213492514816 94213493409349 140720649248272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213493648400 94213493696144 94213501399040 140720649255323 140720649255422 140720649255422 140720649261026 0
/proc/110203/statm: 1048 768 704 219 0 110 0
[pid=110213] ppid=110203 vsize=1205144 memory=59868 CPUtime=1.71 cores=5,7
/proc/110213/stat : 110213 (python3) S 110203 110203 109737 0 -1 4194304 7472 0 0 0 170 1 0 0 20 0 1 0 141024107 1234067456 14967 18446744073709551615 94542447742976 94542447743353 140736174820112 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94542447754648 94542447755268 94542467547136 140736174827855 140736174828064 140736174828064 140736174833639 0
/proc/110213/statm: 301286 14967 8223 1 0 272644 0
[pid=110219] ppid=110213 vsize=94140 memory=83348 CPUtime=638.43 cores=5,7
/proc/110219/stat : 110219 (naps-1.03a6) R 110213 110219 110219 0 -1 4194304 32679 0 0 0 63835 8 0 0 20 0 1 0 141024282 96399360 20837 18446744073709551615 4198400 7047149 140731031101600 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 14843904 140731031103871 140731031103985 140731031103985 140731031109577 0
/proc/110219/statm: 23535 20837 544 696 0 22696 0
Current children cumulated CPU time: 640.14 s
Current children cumulated vsize: 1303476 KiB
Current children cumulated memory: 146288 KiB
[startup+672.132 s]
# the end of solver process 110203 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=669.772 s, system=0.12858 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+652.8 s]
/proc/loadavg: 4.06 4.00 3.68 5/269 110786
/proc/meminfo: memFree=125159084/131250000 swapFree=33010672/33010684
[pid=110203] ppid=110200 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/110203/stat : 110203 (scip-naps-1.00a) S 110200 110203 109737 0 -1 4194304 259 319 0 0 0 0 0 0 20 0 1 0 141024105 4292608 768 18446744073709551615 94213492514816 94213493409349 140720649248272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213493648400 94213493696144 94213501399040 140720649255323 140720649255422 140720649255422 140720649261026 0
/proc/110203/statm: 1048 768 704 219 0 110 0
[pid=110213] ppid=110203 vsize=1205144 memory=59868 CPUtime=1.71 cores=5,7
/proc/110213/stat : 110213 (python3) S 110203 110203 109737 0 -1 4194304 7472 0 0 0 170 1 0 0 20 0 1 0 141024107 1234067456 14967 18446744073709551615 94542447742976 94542447743353 140736174820112 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94542447754648 94542447755268 94542467547136 140736174827855 140736174828064 140736174828064 140736174833639 0
/proc/110213/statm: 301286 14967 8223 1 0 272644 0
[pid=110219] ppid=110213 vsize=94140 memory=85396 CPUtime=648.89 cores=5,7
/proc/110219/stat : 110219 (naps-1.03a6) R 110213 110219 110219 0 -1 4194304 33318 0 0 0 64881 8 0 0 20 0 1 0 141024282 96399360 21349 18446744073709551615 4198400 7047149 140731031101600 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 14843904 140731031103871 140731031103985 140731031103985 140731031109577 0
/proc/110219/statm: 23535 21349 544 696 0 22696 0
Current children cumulated CPU time: 650.6 s
Current children cumulated vsize: 1303476 KiB
Current children cumulated memory: 148336 KiB
[startup+665.6 s]
/proc/loadavg: 4.12 4.02 3.68 5/268 110786
/proc/meminfo: memFree=125146840/131250000 swapFree=33010672/33010684
[pid=110203] ppid=110200 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/110203/stat : 110203 (scip-naps-1.00a) S 110200 110203 109737 0 -1 4194304 259 319 0 0 0 0 0 0 20 0 1 0 141024105 4292608 768 18446744073709551615 94213492514816 94213493409349 140720649248272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213493648400 94213493696144 94213501399040 140720649255323 140720649255422 140720649255422 140720649261026 0
/proc/110203/statm: 1048 768 704 219 0 110 0
[pid=110213] ppid=110203 vsize=1205144 memory=59868 CPUtime=1.71 cores=5,7
/proc/110213/stat : 110213 (python3) S 110203 110203 109737 0 -1 4194304 7472 0 0 0 170 1 0 0 20 0 1 0 141024107 1234067456 14967 18446744073709551615 94542447742976 94542447743353 140736174820112 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94542447754648 94542447755268 94542467547136 140736174827855 140736174828064 140736174828064 140736174833639 0
/proc/110213/statm: 301286 14967 8223 1 0 272644 0
[pid=110219] ppid=110213 vsize=102332 memory=89492 CPUtime=661.65 cores=5,7
/proc/110219/stat : 110219 (naps-1.03a6) R 110213 110219 110219 0 -1 4194304 36526 0 0 0 66156 9 0 0 20 0 1 0 141024282 104787968 22373 18446744073709551615 4198400 7047149 140731031101600 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 14843904 140731031103871 140731031103985 140731031103985 140731031109577 0
/proc/110219/statm: 25583 22373 544 696 0 24744 0
Current children cumulated CPU time: 663.36 s
Current children cumulated vsize: 1311668 KiB
Current children cumulated memory: 152432 KiB
[startup+668.8 s]
/proc/loadavg: 4.11 4.02 3.69 5/268 110786
/proc/meminfo: memFree=125146848/131250000 swapFree=33010672/33010684
[pid=110203] ppid=110200 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/110203/stat : 110203 (scip-naps-1.00a) S 110200 110203 109737 0 -1 4194304 259 319 0 0 0 0 0 0 20 0 1 0 141024105 4292608 768 18446744073709551615 94213492514816 94213493409349 140720649248272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213493648400 94213493696144 94213501399040 140720649255323 140720649255422 140720649255422 140720649261026 0
/proc/110203/statm: 1048 768 704 219 0 110 0
[pid=110213] ppid=110203 vsize=1205144 memory=59868 CPUtime=1.71 cores=5,7
/proc/110213/stat : 110213 (python3) S 110203 110203 109737 0 -1 4194304 7472 0 0 0 170 1 0 0 20 0 1 0 141024107 1234067456 14967 18446744073709551615 94542447742976 94542447743353 140736174820112 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94542447754648 94542447755268 94542467547136 140736174827855 140736174828064 140736174828064 140736174833639 0
/proc/110213/statm: 301286 14967 8223 1 0 272644 0
[pid=110219] ppid=110213 vsize=102332 memory=86932 CPUtime=664.84 cores=5,7
/proc/110219/stat : 110219 (naps-1.03a6) R 110213 110219 110219 0 -1 4194304 37819 0 0 0 66475 9 0 0 20 0 1 0 141024282 104787968 21733 18446744073709551615 4198400 7047149 140731031101600 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 14843904 140731031103871 140731031103985 140731031103985 140731031109577 0
/proc/110219/statm: 25583 21733 544 696 0 24744 0
Current children cumulated CPU time: 666.55 s
Current children cumulated vsize: 1311668 KiB
Current children cumulated memory: 149872 KiB
[startup+670.4 s]
/proc/loadavg: 4.11 4.02 3.69 5/268 110786
/proc/meminfo: memFree=125147268/131250000 swapFree=33010672/33010684
[pid=110203] ppid=110200 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/110203/stat : 110203 (scip-naps-1.00a) S 110200 110203 109737 0 -1 4194304 259 319 0 0 0 0 0 0 20 0 1 0 141024105 4292608 768 18446744073709551615 94213492514816 94213493409349 140720649248272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213493648400 94213493696144 94213501399040 140720649255323 140720649255422 140720649255422 140720649261026 0
/proc/110203/statm: 1048 768 704 219 0 110 0
[pid=110213] ppid=110203 vsize=1205144 memory=59868 CPUtime=1.71 cores=5,7
/proc/110213/stat : 110213 (python3) S 110203 110203 109737 0 -1 4194304 7472 0 0 0 170 1 0 0 20 0 1 0 141024107 1234067456 14967 18446744073709551615 94542447742976 94542447743353 140736174820112 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94542447754648 94542447755268 94542467547136 140736174827855 140736174828064 140736174828064 140736174833639 0
/proc/110213/statm: 301286 14967 8223 1 0 272644 0
[pid=110219] ppid=110213 vsize=102332 memory=86932 CPUtime=666.43 cores=5,7
/proc/110219/stat : 110219 (naps-1.03a6) R 110213 110219 110219 0 -1 4194304 37821 0 0 0 66634 9 0 0 20 0 1 0 141024282 104787968 21733 18446744073709551615 4198400 7047149 140731031101600 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 14843904 140731031103871 140731031103985 140731031103985 140731031109577 0
/proc/110219/statm: 25583 21733 544 696 0 24744 0
Current children cumulated CPU time: 668.14 s
Current children cumulated vsize: 1311668 KiB
Current children cumulated memory: 149872 KiB
[startup+671.2 s]
/proc/loadavg: 4.11 4.02 3.69 5/268 110786
/proc/meminfo: memFree=125147268/131250000 swapFree=33010672/33010684
[pid=110203] ppid=110200 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/110203/stat : 110203 (scip-naps-1.00a) S 110200 110203 109737 0 -1 4194304 259 319 0 0 0 0 0 0 20 0 1 0 141024105 4292608 768 18446744073709551615 94213492514816 94213493409349 140720649248272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213493648400 94213493696144 94213501399040 140720649255323 140720649255422 140720649255422 140720649261026 0
/proc/110203/statm: 1048 768 704 219 0 110 0
[pid=110213] ppid=110203 vsize=1205144 memory=59868 CPUtime=1.71 cores=5,7
/proc/110213/stat : 110213 (python3) S 110203 110203 109737 0 -1 4194304 7472 0 0 0 170 1 0 0 20 0 1 0 141024107 1234067456 14967 18446744073709551615 94542447742976 94542447743353 140736174820112 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94542447754648 94542447755268 94542467547136 140736174827855 140736174828064 140736174828064 140736174833639 0
/proc/110213/statm: 301286 14967 8223 1 0 272644 0
[pid=110219] ppid=110213 vsize=102332 memory=86932 CPUtime=667.23 cores=5,7
/proc/110219/stat : 110219 (naps-1.03a6) R 110213 110219 110219 0 -1 4194304 37827 0 0 0 66714 9 0 0 20 0 1 0 141024282 104787968 21733 18446744073709551615 4198400 7047149 140731031101600 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 14843904 140731031103871 140731031103985 140731031103985 140731031109577 0
/proc/110219/statm: 25583 21733 544 696 0 24744 0
Current children cumulated CPU time: 668.94 s
Current children cumulated vsize: 1311668 KiB
Current children cumulated memory: 149872 KiB
[startup+671.6 s]
/proc/loadavg: 4.11 4.02 3.69 5/268 110786
/proc/meminfo: memFree=125147268/131250000 swapFree=33010672/33010684
[pid=110203] ppid=110200 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/110203/stat : 110203 (scip-naps-1.00a) S 110200 110203 109737 0 -1 4194304 259 319 0 0 0 0 0 0 20 0 1 0 141024105 4292608 768 18446744073709551615 94213492514816 94213493409349 140720649248272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213493648400 94213493696144 94213501399040 140720649255323 140720649255422 140720649255422 140720649261026 0
/proc/110203/statm: 1048 768 704 219 0 110 0
[pid=110213] ppid=110203 vsize=1205144 memory=59868 CPUtime=1.71 cores=5,7
/proc/110213/stat : 110213 (python3) S 110203 110203 109737 0 -1 4194304 7472 0 0 0 170 1 0 0 20 0 1 0 141024107 1234067456 14967 18446744073709551615 94542447742976 94542447743353 140736174820112 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94542447754648 94542447755268 94542467547136 140736174827855 140736174828064 140736174828064 140736174833639 0
/proc/110213/statm: 301286 14967 8223 1 0 272644 0
[pid=110219] ppid=110213 vsize=102332 memory=87060 CPUtime=667.63 cores=5,7
/proc/110219/stat : 110219 (naps-1.03a6) R 110213 110219 110219 0 -1 4194304 37850 0 0 0 66754 9 0 0 20 0 1 0 141024282 104787968 21765 18446744073709551615 4198400 7047149 140731031101600 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 14843904 140731031103871 140731031103985 140731031103985 140731031109577 0
/proc/110219/statm: 25583 21765 544 696 0 24744 0
Current children cumulated CPU time: 669.34 s
Current children cumulated vsize: 1311668 KiB
Current children cumulated memory: 150000 KiB
[startup+672 s]*
/proc/loadavg: 4.10 4.02 3.69 5/268 110786
/proc/meminfo: memFree=125147268/131250000 swapFree=33010672/33010684
[pid=110203] ppid=110200 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/110203/stat : 110203 (scip-naps-1.00a) S 110200 110203 109737 0 -1 4194304 259 319 0 0 0 0 0 0 20 0 1 0 141024105 4292608 768 18446744073709551615 94213492514816 94213493409349 140720649248272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213493648400 94213493696144 94213501399040 140720649255323 140720649255422 140720649255422 140720649261026 0
/proc/110203/statm: 1048 768 704 219 0 110 0
[pid=110213] ppid=110203 vsize=1205144 memory=59868 CPUtime=1.71 cores=5,7
/proc/110213/stat : 110213 (python3) S 110203 110203 109737 0 -1 4194304 7472 0 0 0 170 1 0 0 20 0 1 0 141024107 1234067456 14967 18446744073709551615 94542447742976 94542447743353 140736174820112 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94542447754648 94542447755268 94542467547136 140736174827855 140736174828064 140736174828064 140736174833639 0
/proc/110213/statm: 301286 14967 8223 1 0 272644 0
[pid=110219] ppid=110213 vsize=102332 memory=87060 CPUtime=668.03 cores=5,7
/proc/110219/stat : 110219 (naps-1.03a6) R 110213 110219 110219 0 -1 4194304 37850 0 0 0 66794 9 0 0 20 0 1 0 141024282 104787968 21765 18446744073709551615 4198400 7047149 140731031101600 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 14843904 140731031103871 140731031103985 140731031103985 140731031109577 0
/proc/110219/statm: 25583 21765 544 696 0 24744 0
Current children cumulated CPU time: 669.74 s
Current children cumulated vsize: 1311668 KiB
Current children cumulated memory: 150000 KiB
[startup+672.106 s]
/proc/loadavg: 4.10 4.02 3.69 5/268 110786
/proc/meminfo: memFree=125147268/131250000 swapFree=33010672/33010684
[pid=110203] ppid=110200 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/110203/stat : 110203 (scip-naps-1.00a) S 110200 110203 109737 0 -1 4194304 259 319 0 0 0 0 0 0 20 0 1 0 141024105 4292608 768 18446744073709551615 94213492514816 94213493409349 140720649248272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213493648400 94213493696144 94213501399040 140720649255323 140720649255422 140720649255422 140720649261026 0
/proc/110203/statm: 1048 768 704 219 0 110 0
[pid=110213] ppid=110203 vsize=1205144 memory=59868 CPUtime=1.71 cores=5,7
/proc/110213/stat : 110213 (python3) S 110203 110203 109737 0 -1 4194304 7472 0 0 0 170 1 0 0 20 0 1 0 141024107 1234067456 14967 18446744073709551615 94542447742976 94542447743353 140736174820112 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94542447754648 94542447755268 94542467547136 140736174827855 140736174828064 140736174828064 140736174833639 0
/proc/110213/statm: 301286 14967 8223 1 0 272644 0
[pid=110219] ppid=110213 vsize=102332 memory=87060 CPUtime=668.13 cores=5,7
/proc/110219/stat : 110219 (naps-1.03a6) R 110213 110219 110219 0 -1 4194304 37850 0 0 0 66804 9 0 0 20 0 1 0 141024282 104787968 21765 18446744073709551615 4198400 7047149 140731031101600 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 14843904 140731031103871 140731031103985 140731031103985 140731031109577 0
/proc/110219/statm: 25583 21765 544 696 0 24744 0
Current children cumulated CPU time: 669.84 s
Current children cumulated vsize: 1311668 KiB
Current children cumulated memory: 150000 KiB
Child status: 0
Real time (s): 672.132
CPU time (s): 669.9
CPU user time (s): 669.772
CPU system time (s): 0.12858
CPU usage (%): 99.668
Max. virtual memory (cumulated for all children) (KiB): 1328052
Max. memory (cumulated for all children) (KiB): 156528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 669.772
system time used= 0.12858
maximum resident set size= 93588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48728
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= 389
involuntary context switches= 479
# summary of solver processes directly reported to runsolver:
# pid: 110203
# total CPU time (s): 669.9
# total CPU user time (s): 669.772
# total CPU system time (s): 0.12858
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.39962 second user time and 3.45463 second system time
The end