0.54/0.61 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4529693-1752253455.opb
0.54/0.61 c Solving mode: decision
0.54/0.61 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
0.54/0.61 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.54/0.61 c original problem has 82 variables (82 bin, 0 int, 0 impl, 0 cont) and 2 constraints
0.54/0.61 c presolving:
0.54/0.61 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, 18 clqs
0.54/0.61 c (round 2, fast) 1 del vars, 1 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 18 clqs
0.54/0.61 c (round 3, fast) 1 del vars, 1 del conss, 1 add conss, 0 chg bounds, 3 chg sides, 3 chg coeffs, 0 upgd conss, 0 impls, 18 clqs
0.54/0.61 c (round 4, exhaustive) 1 del vars, 1 del conss, 1 add conss, 0 chg bounds, 3 chg sides, 3 chg coeffs, 1 upgd conss, 0 impls, 18 clqs
0.54/0.61 c (round 5, exhaustive) 2 del vars, 1 del conss, 1 add conss, 0 chg bounds, 3 chg sides, 3 chg coeffs, 1 upgd conss, 0 impls, 18 clqs
0.54/0.61 c (round 6, fast) 2 del vars, 1 del conss, 2 add conss, 0 chg bounds, 3 chg sides, 3 chg coeffs, 1 upgd conss, 0 impls, 18 clqs
0.54/0.61 c (round 7, fast) 2 del vars, 1 del conss, 2 add conss, 0 chg bounds, 60 chg sides, 60 chg coeffs, 1 upgd conss, 0 impls, 18 clqs
0.54/0.61 c (0.0s) probing: 51/80 (63.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.54/0.61 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.54/0.61 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.54/0.61 c (0.0s) symmetry computation finished: 10 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
0.54/0.61 c dynamic symmetry handling statistics:
0.54/0.61 c orbitopal reduction: no components
0.54/0.61 c orbital reduction: no components
0.54/0.61 c lexicographic reduction: no permutations
0.54/0.61 c handled 10 out of 10 symmetry components
0.54/0.61 c (round 8, exhaustive) 2 del vars, 1 del conss, 12 add conss, 0 chg bounds, 60 chg sides, 60 chg coeffs, 1 upgd conss, 0 impls, 28 clqs
0.54/0.61 c (round 9, fast) 2 del vars, 1 del conss, 13 add conss, 0 chg bounds, 60 chg sides, 60 chg coeffs, 1 upgd conss, 0 impls, 28 clqs
0.54/0.61 c (round 10, fast) 2 del vars, 1 del conss, 13 add conss, 0 chg bounds, 117 chg sides, 117 chg coeffs, 1 upgd conss, 0 impls, 28 clqs
0.54/0.61 c (round 11, exhaustive) 2 del vars, 2 del conss, 13 add conss, 0 chg bounds, 117 chg sides, 117 chg coeffs, 1 upgd conss, 0 impls, 28 clqs
0.54/0.61 c (round 12, exhaustive) 2 del vars, 2 del conss, 13 add conss, 0 chg bounds, 117 chg sides, 117 chg coeffs, 11 upgd conss, 0 impls, 28 clqs
0.54/0.61 c presolving (13 rounds: 13 fast, 7 medium, 7 exhaustive):
0.54/0.61 c 2 deleted vars, 2 deleted constraints, 13 added constraints, 0 tightened bounds, 0 added holes, 117 changed sides, 117 changed coefficients
0.54/0.61 c 0 implications, 28 cliques
0.54/0.61 c presolved problem has 80 variables (80 bin, 0 int, 0 impl, 0 cont) and 13 constraints
0.54/0.61 c 10 constraints of type <setppc>
0.54/0.61 c 2 constraints of type <linear>
0.54/0.61 c 1 constraints of type <logicor>
0.54/0.61 c transformed objective value is always integral (scale: 1)
0.54/0.61 c Presolving Time: 0.00
0.54/0.61 c
0.54/0.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.54/0.61 c 0.0s| 1 | 0 | 2 | - | 2620k | 0 | 80 | 14 | 13 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.54/0.61 c 0.0s| 1 | 0 | 8 | - | 2655k | 0 | 80 | 14 | 14 | 1 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.54/0.61 c 0.0s| 1 | 0 | 9 | - | 2658k | 0 | 80 | 14 | 15 | 2 | 2 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.54/0.61 c 0.0s| 1 | 0 | 11 | - | 2682k | 0 | 80 | 14 | 17 | 4 | 3 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.54/0.61 c 0.0s| 1 | 0 | 12 | - | 2695k | 0 | 80 | 14 | 18 | 5 | 4 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.54/0.61 c 0.0s| 1 | 0 | 14 | - | 2740k | 0 | 80 | 14 | 20 | 7 | 5 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.54/0.61 c 0.0s| 1 | 0 | 17 | - | 2742k | 0 | 80 | 14 | 21 | 8 | 6 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.54/0.61 c 0.0s| 1 | 0 | 19 | - | 2774k | 0 | 80 | 14 | 22 | 9 | 7 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.54/0.61 c 0.0s| 1 | 0 | 21 | - | 2799k | 0 | 80 | 14 | 23 | 10 | 8 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.54/0.61 c 0.0s| 1 | 0 | 22 | - | 2802k | 0 | 80 | 14 | 24 | 11 | 9 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.54/0.61 c 0.0s| 1 | 0 | 23 | - | 2843k | 0 | 80 | 14 | 25 | 12 | 10 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.54/0.61 c 0.0s| 1 | 0 | 24 | - | 2845k | 0 | 80 | 14 | 26 | 13 | 11 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.54/0.61 c 0.0s| 1 | 0 | 27 | - | 2850k | 0 | 80 | 14 | 27 | 14 | 12 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.54/0.61 c 0.0s| 1 | 0 | 28 | - | 2959k | 0 | 80 | 14 | 28 | 15 | 13 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.54/0.61 c 0.0s| 1 | 0 | 33 | - | 2962k | 0 | 80 | 14 | 22 | 16 | 14 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.54/0.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.54/0.61 c 0.0s| 1 | 0 | 34 | - | 2962k | 0 | 80 | 14 | 23 | 17 | 15 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.54/0.61 c 0.0s| 1 | 0 | 38 | - | 2962k | 0 | 80 | 14 | 24 | 18 | 16 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.54/0.61 c 0.0s| 1 | 0 | 39 | - | 2990k | 0 | 80 | 14 | 25 | 19 | 17 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.54/0.61 c 0.0s| 1 | 0 | 41 | - | 3052k | 0 | 80 | 14 | 27 | 21 | 18 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.54/0.61 c 0.0s| 1 | 2 | 99 | - | 3053k | 0 | 80 | 14 | 27 | 21 | 18 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.54/0.61 c 0.1s| 100 | 71 | 368 | 3.3 | 3402k | 20 | 80 | 14 | 14 | 49 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.54/0.61 c 0.1s| 200 | 105 | 566 | 2.6 | 3601k | 23 | 80 | 14 | 0 | 55 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.54/0.61 c 0.2s| 300 | 137 | 741 | 2.3 | 3772k | 29 | 80 | 14 | 0 | 67 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 3.45%
0.54/0.61 c 0.2s| 400 | 163 | 860 | 2.1 | 3949k | 34 | 80 | 14 | 14 | 80 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 3.66%
0.54/0.61 c 0.2s| 500 | 191 | 1008 | 1.9 | 3993k | 34 | 80 | 14 | 13 | 101 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 4.51%
0.54/0.61 c 0.3s| 600 | 209 | 1121 | 1.8 | 4010k | 34 | 80 | 14 | 14 | 121 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 7.46%
0.54/0.61 c 0.3s| 700 | 223 | 1208 | 1.7 | 4012k | 35 | 80 | 14 | 0 | 127 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 7.67%
0.54/0.61 c 0.3s| 800 | 241 | 1271 | 1.5 | 4084k | 35 | 80 | 14 | 14 | 127 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 7.73%
0.54/0.61 c 0.4s| 900 | 255 | 1372 | 1.5 | 4094k | 35 | 80 | 14 | 13 | 129 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 7.94%
0.54/0.61 c 0.4s| 1000 | 269 | 1465 | 1.4 | 4126k | 35 | 80 | 14 | 14 | 140 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 8.13%
0.54/0.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.94/1.10 c 0.4s| 1100 | 285 | 1556 | 1.4 | 4131k | 35 | 80 | 14 | 0 | 150 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 8.29%
0.94/1.10 c 0.5s| 1200 | 303 | 1665 | 1.4 | 4143k | 36 | 80 | 14 | 14 | 160 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 8.44%
0.94/1.10 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
0.94/1.10 c (run 1, node 1268) performing user restart
0.94/1.10 c
0.94/1.10 c (restart) converted 1 cuts from the global cut pool into linear constraints
0.94/1.10 c
0.94/1.10 c presolving:
0.94/1.10 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, 28 clqs
0.94/1.10 c (round 2, fast) 0 del vars, 0 del conss, 1 add conss, 0 chg bounds, 3 chg sides, 3 chg coeffs, 0 upgd conss, 0 impls, 28 clqs
0.94/1.10 c (round 3, exhaustive) 0 del vars, 0 del conss, 1 add conss, 0 chg bounds, 3 chg sides, 3 chg coeffs, 2 upgd conss, 0 impls, 28 clqs
0.94/1.10 c (round 4, fast) 0 del vars, 1 del conss, 1 add conss, 0 chg bounds, 3 chg sides, 3 chg coeffs, 2 upgd conss, 0 impls, 28 clqs
0.94/1.10 c presolving (5 rounds: 5 fast, 2 medium, 2 exhaustive):
0.94/1.10 c 0 deleted vars, 1 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 3 changed sides, 3 changed coefficients
0.94/1.10 c 0 implications, 28 cliques
0.94/1.10 c presolved problem has 80 variables (80 bin, 0 int, 0 impl, 0 cont) and 15 constraints
0.94/1.10 c 10 constraints of type <setppc>
0.94/1.10 c 2 constraints of type <linear>
0.94/1.10 c 3 constraints of type <logicor>
0.94/1.10 c transformed objective value is always integral (scale: 1)
0.94/1.10 c Presolving Time: 0.00
0.94/1.10 c
0.94/1.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.94/1.10 c 0.5s| 1 | 0 | 1715 | - | 4218k | 0 | 80 | 15 | 14 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.94/1.10 c 0.5s| 1 | 0 | 1717 | - | 4218k | 0 | 80 | 15 | 15 | 1 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.94/1.10 c 0.5s| 1 | 0 | 1718 | - | 4218k | 0 | 80 | 15 | 16 | 2 | 2 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.94/1.10 c 0.5s| 1 | 0 | 1719 | - | 4220k | 0 | 80 | 15 | 17 | 3 | 3 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.94/1.10 c 0.5s| 1 | 0 | 1720 | - | 4220k | 0 | 80 | 15 | 18 | 4 | 4 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.94/1.10 c 0.5s| 1 | 0 | 1721 | - | 4220k | 0 | 80 | 15 | 19 | 5 | 5 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.94/1.10 c 0.5s| 1 | 0 | 1723 | - | 4222k | 0 | 80 | 15 | 21 | 7 | 6 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.94/1.10 c 0.5s| 1 | 0 | 1725 | - | 4222k | 0 | 80 | 15 | 23 | 9 | 7 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.94/1.10 c 0.5s| 1 | 0 | 1727 | - | 4222k | 0 | 80 | 15 | 24 | 10 | 8 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.94/1.10 c 0.5s| 1 | 0 | 1728 | - | 4222k | 0 | 80 | 15 | 25 | 11 | 9 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.94/1.10 c 0.5s| 1 | 0 | 1730 | - | 4238k | 0 | 80 | 15 | 27 | 13 | 10 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.94/1.10 c 0.5s| 1 | 0 | 1731 | - | 4238k | 0 | 80 | 15 | 28 | 14 | 11 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.94/1.10 c 0.5s| 1 | 2 | 1779 | - | 4238k | 0 | 80 | 15 | 28 | 14 | 11 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.94/1.10 c 0.6s| 100 | 57 | 1959 | 1.4 | 4245k | 20 | 80 | 15 | 0 | 37 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | unknown
0.94/1.10 c 0.6s| 200 | 79 | 2056 | 1.4 | 4273k | 20 | 80 | 15 | 0 | 46 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 0.60%
0.94/1.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.94/1.10 c 0.6s| 300 | 93 | 2160 | 1.3 | 4273k | 20 | 80 | 15 | 13 | 55 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 1.78%
0.94/1.10 c 0.6s| 400 | 109 | 2254 | 1.3 | 4273k | 20 | 80 | 15 | 0 | 72 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 3.12%
0.94/1.10 c 0.7s| 500 | 113 | 2326 | 1.3 | 4273k | 20 | 80 | 15 | 13 | 72 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 3.16%
0.94/1.10 c 0.7s| 600 | 103 | 2393 | 1.2 | 4273k | 22 | 80 | 15 | 0 | 79 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 3.60%
0.94/1.10 c 0.7s| 700 | 119 | 2463 | 1.2 | 4273k | 24 | 80 | 15 | 13 | 83 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 3.66%
0.94/1.10 c 0.7s| 800 | 135 | 2585 | 1.2 | 4273k | 24 | 80 | 15 | 0 | 106 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 3.87%
0.94/1.10 c 0.7s| 900 | 145 | 2646 | 1.2 | 4273k | 25 | 80 | 15 | 13 | 108 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 3.93%
0.94/1.10 c 0.7s| 1000 | 149 | 2698 | 1.2 | 4273k | 28 | 80 | 15 | 11 | 108 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 3.93%
0.94/1.10 c 0.7s| 1100 | 169 | 2830 | 1.2 | 4273k | 28 | 80 | 15 | 11 | 133 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 5.03%
0.94/1.10 c 0.7s| 1200 | 185 | 2916 | 1.2 | 4275k | 28 | 80 | 15 | 13 | 152 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 5.75%
0.94/1.10 c 0.8s| 1300 | 209 | 3017 | 1.2 | 4275k | 28 | 80 | 15 | 13 | 152 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 5.78%
0.94/1.10 c 0.8s| 1400 | 197 | 3098 | 1.1 | 4281k | 28 | 80 | 15 | 13 | 160 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 5.97%
0.94/1.10 c 0.8s| 1500 | 205 | 3201 | 1.1 | 4281k | 28 | 80 | 15 | 11 | 170 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 10.61%
0.94/1.10 c 0.8s| 1600 | 197 | 3280 | 1.1 | 4281k | 28 | 80 | 15 | 0 | 181 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 10.80%
0.94/1.10 c 0.8s| 1700 | 201 | 3342 | 1.1 | 4304k | 28 | 80 | 15 | 13 | 181 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 10.86%
0.94/1.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.94/1.10 c 0.8s| 1800 | 205 | 3411 | 1.1 | 4304k | 28 | 80 | 15 | 12 | 186 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 10.88%
0.94/1.10 c 0.8s| 1900 | 199 | 3497 | 1.1 | 4304k | 28 | 80 | 15 | 11 | 200 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 21.65%
0.94/1.10 c 0.8s| 2000 | 205 | 3582 | 1.1 | 4307k | 28 | 80 | 15 | 0 | 213 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 22.13%
0.94/1.10 c 0.8s| 2100 | 207 | 3669 | 1.1 | 4307k | 28 | 80 | 15 | 13 | 221 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 23.03%
0.94/1.10 c 0.9s| 2200 | 215 | 3731 | 1.1 | 4307k | 29 | 80 | 15 | 0 | 221 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 23.08%
0.94/1.10 c 0.9s| 2300 | 215 | 3790 | 1.0 | 4307k | 29 | 80 | 15 | 0 | 221 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 23.29%
0.94/1.10 c 0.9s| 2400 | 223 | 3883 | 1.0 | 4307k | 29 | 80 | 15 | 12 | 233 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 29.05%
0.94/1.10 c 0.9s| 2500 | 233 | 3952 | 1.0 | 4310k | 29 | 80 | 15 | 13 | 237 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 29.28%
0.94/1.10 c 0.9s| 2600 | 237 | 4004 | 1.0 | 4310k | 29 | 80 | 15 | 0 | 237 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 29.29%
0.94/1.10 c 0.9s| 2700 | 257 | 4067 | 1.0 | 4310k | 32 | 80 | 15 | 0 | 237 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 29.29%
0.94/1.10 c 0.9s| 2800 | 259 | 4122 | 1.0 | 4310k | 32 | 80 | 15 | 13 | 237 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 29.29%
0.94/1.10 c 0.9s| 2900 | 283 | 4188 | 1.0 | 4317k | 32 | 80 | 15 | 13 | 237 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 29.29%
1.43/1.54 c 0.9s| 3000 | 305 | 4251 | 1.0 | 4317k | 32 | 80 | 15 | 13 | 237 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 29.29%
1.43/1.54 c 0.9s| 3100 | 315 | 4307 | 1.0 | 4317k | 32 | 80 | 15 | 0 | 237 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 29.30%
1.43/1.54 c 0.9s| 3200 | 307 | 4353 | 1.0 | 4317k | 32 | 80 | 15 | 13 | 237 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 29.30%
1.43/1.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.43/1.54 c 1.0s| 3300 | 307 | 4430 | 1.0 | 4317k | 32 | 80 | 15 | 0 | 252 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 31.46%
1.43/1.54 c 1.0s| 3400 | 341 | 4550 | 1.0 | 4350k | 32 | 80 | 15 | 13 | 264 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 31.53%
1.43/1.54 c 1.0s| 3500 | 363 | 4629 | 1.0 | 4350k | 32 | 80 | 15 | 13 | 264 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 31.59%
1.43/1.54 c 1.0s| 3600 | 381 | 4743 | 1.0 | 4350k | 32 | 80 | 15 | 0 | 272 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 31.75%
1.43/1.54 c 1.0s| 3700 | 397 | 4820 | 1.0 | 4526k | 32 | 80 | 15 | 0 | 280 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 32.49%
1.43/1.54 c 1.0s| 3800 | 423 | 4930 | 1.0 | 4528k | 32 | 80 | 15 | 0 | 285 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 32.85%
1.43/1.54 c 1.0s| 3900 | 445 | 5013 | 1.0 | 4528k | 32 | 80 | 15 | 0 | 287 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 32.90%
1.43/1.54 c 1.0s| 4000 | 461 | 5071 | 1.0 | 4532k | 32 | 80 | 15 | 13 | 287 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 32.91%
1.43/1.54 c 1.0s| 4100 | 465 | 5143 | 0.9 | 4532k | 32 | 80 | 15 | 13 | 294 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 33.31%
1.43/1.54 c 1.0s| 4200 | 485 | 5216 | 0.9 | 4540k | 32 | 80 | 15 | 0 | 294 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 33.33%
1.43/1.54 c 1.0s| 4300 | 505 | 5288 | 0.9 | 4669k | 32 | 80 | 15 | 13 | 294 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 33.33%
1.43/1.54 c 1.1s| 4400 | 521 | 5354 | 0.9 | 4669k | 33 | 80 | 15 | 13 | 294 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 33.33%
1.43/1.54 c 1.1s| 4500 | 525 | 5412 | 0.9 | 4669k | 34 | 80 | 15 | 13 | 294 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 33.33%
1.43/1.54 c 1.1s| 4600 | 527 | 5470 | 0.9 | 4669k | 34 | 80 | 15 | 0 | 294 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 33.33%
1.43/1.54 c 1.1s| 4700 | 519 | 5518 | 0.9 | 4669k | 34 | 80 | 15 | 0 | 294 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 33.33%
1.43/1.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.43/1.54 c 1.1s| 4800 | 515 | 5571 | 0.9 | 4669k | 34 | 80 | 15 | 0 | 294 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 33.34%
1.43/1.54 c 1.1s| 4900 | 529 | 5647 | 0.9 | 4669k | 34 | 80 | 15 | 13 | 300 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 33.44%
1.43/1.54 c 1.1s| 5000 | 541 | 5718 | 0.9 | 4669k | 34 | 80 | 15 | 13 | 300 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 33.44%
1.43/1.54 c 1.1s| 5100 | 557 | 5792 | 0.9 | 4675k | 34 | 80 | 15 | 13 | 300 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 33.44%
1.43/1.54 c 1.1s| 5200 | 575 | 5852 | 0.9 | 4678k | 34 | 80 | 15 | 0 | 300 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 33.45%
1.43/1.54 c 1.1s| 5300 | 581 | 5906 | 0.9 | 4678k | 34 | 80 | 15 | 13 | 300 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 33.45%
1.43/1.54 c 1.1s| 5400 | 591 | 5962 | 0.9 | 4710k | 34 | 80 | 15 | 13 | 300 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 33.45%
1.43/1.54 c 1.1s| 5500 | 605 | 6035 | 0.9 | 4710k | 34 | 80 | 15 | 13 | 300 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 33.45%
1.43/1.54 c 1.2s| 5600 | 617 | 6097 | 0.9 | 4710k | 34 | 80 | 15 | 13 | 302 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 33.50%
1.43/1.54 c 1.2s| 5700 | 627 | 6162 | 0.9 | 4713k | 34 | 80 | 15 | 0 | 302 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 33.52%
1.43/1.54 c 1.2s| 5800 | 609 | 6203 | 0.9 | 4713k | 34 | 80 | 15 | 13 | 302 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 33.52%
1.43/1.54 c 1.2s| 5900 | 625 | 6262 | 0.9 | 4713k | 34 | 80 | 15 | 13 | 302 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 33.52%
1.43/1.54 c 1.2s| 6000 | 589 | 6294 | 0.9 | 4713k | 34 | 80 | 15 | 0 | 302 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 33.53%
1.43/1.54 c 1.2s| 6100 | 603 | 6367 | 0.9 | 4713k | 34 | 80 | 15 | 13 | 302 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 33.54%
1.43/1.54 c 1.2s| 6200 | 585 | 6431 | 0.9 | 4713k | 34 | 80 | 15 | 0 | 302 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 33.69%
1.43/1.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.43/1.54 c 1.2s| 6300 | 599 | 6556 | 0.9 | 4722k | 34 | 80 | 15 | 13 | 323 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 35.11%
1.43/1.54 c 1.2s| 6400 | 617 | 6626 | 0.9 | 4787k | 34 | 80 | 15 | 13 | 323 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 35.18%
1.43/1.54 c 1.2s| 6500 | 633 | 6719 | 0.9 | 4787k | 34 | 80 | 15 | 0 | 332 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 35.46%
1.43/1.54 c 1.2s| 6600 | 649 | 6777 | 0.9 | 4787k | 34 | 80 | 15 | 0 | 332 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 35.47%
1.43/1.54 c 1.2s| 6700 | 661 | 6833 | 0.9 | 4787k | 34 | 80 | 15 | 0 | 332 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 35.47%
1.43/1.54 c 1.3s| 6800 | 665 | 6894 | 0.8 | 4849k | 34 | 80 | 15 | 13 | 336 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 35.70%
1.43/1.54 c 1.3s| 6900 | 683 | 6957 | 0.8 | 4864k | 34 | 80 | 15 | 13 | 336 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 35.71%
1.43/1.54 c 1.3s| 7000 | 699 | 7015 | 0.8 | 4872k | 34 | 80 | 15 | 13 | 336 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 35.71%
1.43/1.54 c 1.3s| 7100 | 709 | 7077 | 0.8 | 4872k | 34 | 80 | 15 | 13 | 338 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 35.75%
1.43/1.54 c 1.3s| 7200 | 701 | 7125 | 0.8 | 4872k | 34 | 80 | 15 | 0 | 338 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 35.75%
1.43/1.54 c 1.3s| 7300 | 671 | 7161 | 0.8 | 4872k | 34 | 80 | 15 | 0 | 338 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 35.79%
1.43/1.54 c 1.3s| 7400 | 685 | 7228 | 0.8 | 4872k | 34 | 80 | 15 | 13 | 338 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 35.81%
1.43/1.54 c 1.3s| 7500 | 703 | 7301 | 0.8 | 4872k | 34 | 80 | 15 | 13 | 338 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 35.82%
1.43/1.54 c 1.3s| 7600 | 715 | 7363 | 0.8 | 4872k | 34 | 80 | 15 | 13 | 338 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 35.83%
1.43/1.54 c 1.3s| 7700 | 659 | 7388 | 0.8 | 4872k | 34 | 80 | 15 | 13 | 338 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 35.90%
1.43/1.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.43/1.54 c 1.3s| 7800 | 655 | 7452 | 0.8 | 4872k | 34 | 80 | 15 | 0 | 338 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 35.93%
1.43/1.54 c 1.3s| 7900 | 663 | 7538 | 0.8 | 4882k | 34 | 80 | 15 | 0 | 354 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 36.72%
1.43/1.54 c 1.3s| 8000 | 671 | 7608 | 0.8 | 4882k | 34 | 80 | 15 | 0 | 359 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 36.82%
1.43/1.54 c 1.4s| 8100 | 677 | 7669 | 0.8 | 4882k | 34 | 80 | 15 | 13 | 361 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 36.84%
1.43/1.58 c 1.4s| 8200 | 687 | 7736 | 0.8 | 4889k | 34 | 80 | 15 | 13 | 361 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 36.88%
1.43/1.58 c 1.4s| 8300 | 691 | 7794 | 0.8 | 4889k | 34 | 80 | 15 | 13 | 363 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 36.93%
1.43/1.58 c 1.4s| 8400 | 665 | 7832 | 0.8 | 4889k | 34 | 80 | 15 | 0 | 363 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 36.98%
1.43/1.58 c 1.4s| 8500 | 661 | 7894 | 0.8 | 4889k | 34 | 80 | 15 | 13 | 363 | 1 | 1 | 0 | 0.000000e+00 | -- | Inf | 37.02%
1.43/1.58 c 1.4s| 8600 | 649 | 7938 | 0.8 | 4889k | 34 | 80 | 15 | 0 | 363 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 37.02%
1.43/1.58 c 1.4s| 8700 | 669 | 8021 | 0.8 | 4889k | 34 | 80 | 15 | 0 | 367 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf | 37.09%
1.43/1.58 c r 1.4s| 8735 | 0 | 8057 | 0.8 |shifting| 34 | 80 | 15 | 13 | 367 | 0 | 1 | 0 | 0.000000e+00 | 0.000000e+00 | 0.00%| 100.00%
1.43/1.58 c
1.43/1.58 c SCIP Status : problem is solved [optimal solution found]
1.43/1.58 c Solving Time (sec) : 1.41
1.43/1.58 c Solving Nodes : 8735 (total of 10003 nodes in 2 runs)
1.43/1.58 c Primal Bound : +0.00000000000000e+00 (1 solutions)
1.43/1.58 c Dual Bound : +0.00000000000000e+00
1.43/1.58 c Gap : 0.00 %
1.43/1.58 c [VIOLATION] Line 7: -13211 x1 -26422 x2 -52844 x3 -105688 x4 -211376 x5 -422752 x6 -845504 x7 -1691008 x8 -3382016 x9 -6764032 x10 -13528064 x11 -27056128 x12 -54112256 x13 -13212 x14 -26424 x15 -52848 x16 -105696 x17 -211392 x18 -422784 x19 -845568 x20 -1691136 x21 -3382272 x22 -6764544 x23 -13529088 x24 -27058176 x25 -54116352 x26 -39638 x27 -79276 x28 -158552 x29 -317104 x30 -634208 x31 -1268416 x32 -2536832 x33 -5073664 x34 -10147328 x35 -20294656 x36 -40589312 x37 -81178624 x38 -52844 x39 -105688 x40 -211376 x41 -422752 x42 -845504 x43 -1691008 x44 -3382016 x45 -6764032 x46 -13528064 x47 -27056128 x48 -54112256 x49 -66060 x50 -132120 x51 -264240 x52 -528480 x53 -1056960 x54 -2113920 x55 -4227840 x56 -8455680 x57 -16911360 x58 -33822720 x59 -67645440 x60 -79268 x61 -158536 x62 -317072 x63 -634144 x64 -1268288 x65 -2536576 x66 -5073152 x67 -10146304 x68 -20292608 x69 -40585216 x70 -81170432 x71 -92482 x72 -184964 x73 -369928 x74 -739856 x75 -1479712 x76 -2959424 x77 -5918848 x78 -11837696 x79 -23675392 x80 -47350784 x81 -94701568 x82 >= -104723596 ;
1.43/1.58 c Computed activity: -104723604
1.43/1.58 c Required: activity >= -104723596
1.43/1.58 c Variable assignments: {x1=0, x2=0, x3=0, x4=0, x5=1, x6=1, x7=1, x8=1, x9=0, x10=1, x11=1, x12=1, x13=1, x14=1, x15=1, 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=0, x32=0, x33=0, x34=0, x35=0, x36=0, x37=0, x38=0, x39=0, x40=0, x41=0, x42=0, x43=0, x44=0, x45=0, x46=0, x47=0, x48=0, x49=0, x50=0, x51=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=0, 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.43/1.58 c SCIP found a solution, but it is not feasible according to the original problem.
1.43/1.58 c ----------------------------------------------------------------------
1.43/1.58 c executing external solver (fallback): HOME/naps-1.03a6
1.43/1.58 c ----------------------------------------------------------------------
1.43/1.58 c command: HOME/naps-1.03a6 HOME/instance-4529693-1752253455.opb
1.43/1.59 c NaPS 1.03a6.
1.43/1.59 c Input file name: HOME/instance-4529693-1752253455.opb
3600.06/3611.20 c
3600.06/3611.20 c *** TERMINATED *** by signal 15
3600.06/3611.20 c s UNKNOWN
3600.06/3611.20 c _____________________________________________________________________________
3600.06/3611.20 c std/band forms : 0,1
3600.06/3611.20 c 2cl/3cl ITE-codings : 0,44830
3600.06/3611.20 c BDD/srt/adr Max costs : 46724,0,0
3600.06/3611.20 c BDDraw/bin/mul/srt/adr: 0,0,1,0,0
3600.06/3611.20 c BDD nodes : 46726
3600.06/3611.20 c Es1/CC detections : 0,0
3600.06/3611.20 c CC sort : 0
3600.06/3611.20 c SAT/UNSAT calls : 0,0
3600.06/3611.20 c regenrated variables : 0
3600.06/3611.20 c eliminated fixed lits : 0
3600.06/3611.20 c goal lit flips : 0
3600.06/3611.20 c goal stages : 0
3600.06/3611.20 c goal shrink : 0
3600.06/3611.20 c goal coeff separations: 0
3600.06/3611.20 c restarts : 0
3600.06/3611.20 c conflicts : 0 (0 /sec)
3600.06/3611.20 c decisions : 0 (0 /sec)
3600.06/3611.20 c propagations : 0 (0 /sec)
3600.06/3611.20 c inspects : 0 (0 /sec)
3600.06/3611.20 c CPU time (solving tm) : 3598 s (3598 s, SAT 0 s, UNSAT 0 s)
3600.06/3611.20 c Time for Opt-base : 0.06089 s
3600.06/3611.20 c Steps for Opt-base : 259694
3600.06/3611.20 c Time for BDD coding : 0.3317 s
3600.06/3611.20 c Time for srt coding : 0 s
3600.06/3611.20 c _____________________________________________________________________________
3600.06/3611.20 s UNKNOWN
3600.06/3611.21 Terminated
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 (49911 MiB free)
memory of node 1: 64465 MiB (54509 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529693-1752253455/watcher-4529693-1752253455 -o /tmp/evaluation-result-4529693-1752253455/solver-4529693-1752253455 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1752253448-111529 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529693-1752253455.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
Starting watchdog thread
solver pid=111921, runsolver pid=111915
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 0.87 2.45 3.43 5/265 111933
/proc/meminfo: memFree=106927336/131249988 swapFree=33010416/33010684
[pid=111921] ppid=111915 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111921/stat : 111921 (scip-naps-1.00a) S 111915 111921 111519 0 -1 4194304 258 317 0 0 0 0 0 0 20 0 1 0 141024045 4292608 736 18446744073709551615 94379850428416 94379851322949 140734283007696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94379851562000 94379851609744 94379855908864 140734283012507 140734283012606 140734283012606 140734283018210 0
/proc/111921/statm: 1048 736 672 219 0 110 0
[pid=111929] ppid=111921 vsize=1176112 memory=28128 CPUtime=0.05 cores=0,2
/proc/111929/stat : 111929 (python3) R 111921 111921 111519 0 -1 4194304 3115 0 0 0 4 1 0 0 20 0 1 0 141024049 1204338688 7032 18446744073709551615 94811483070464 94811483070841 140728277759120 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94811483082136 94811483082756 94811506569216 140728277764431 140728277764640 140728277764640 140728277770215 0
/proc/111929/statm: 294028 7032 4512 1 0 266125 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 1180304 KiB
Current children cumulated memory: 31072 KiB
[startup+0.20561 s]*
/proc/loadavg: 0.87 2.45 3.43 4/269 111945
/proc/meminfo: memFree=106922652/131249988 swapFree=33010416/33010684
[pid=111921] ppid=111915 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111921/stat : 111921 (scip-naps-1.00a) S 111915 111921 111519 0 -1 4194304 258 317 0 0 0 0 0 0 20 0 1 0 141024045 4292608 736 18446744073709551615 94379850428416 94379851322949 140734283007696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94379851562000 94379851609744 94379855908864 140734283012507 140734283012606 140734283012606 140734283018210 0
/proc/111921/statm: 1048 736 672 219 0 110 0
[pid=111929] ppid=111921 vsize=1203532 memory=55520 CPUtime=0.15 cores=0,2
/proc/111929/stat : 111929 (python3) R 111921 111921 111519 0 -1 4194304 6615 0 0 0 13 2 0 0 20 0 1 0 141024049 1232416768 13880 18446744073709551615 94811483070464 94811483070841 140728277759120 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94811483082136 94811483082756 94811506569216 140728277764431 140728277764640 140728277764640 140728277770215 0
/proc/111929/statm: 300883 13880 8160 1 0 272241 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 1207724 KiB
Current children cumulated memory: 58464 KiB
[startup+0.305589 s]*
/proc/loadavg: 0.87 2.45 3.43 6/270 111949
/proc/meminfo: memFree=106909204/131249988 swapFree=33010416/33010684
[pid=111921] ppid=111915 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111921/stat : 111921 (scip-naps-1.00a) S 111915 111921 111519 0 -1 4194304 258 317 0 0 0 0 0 0 20 0 1 0 141024045 4292608 736 18446744073709551615 94379850428416 94379851322949 140734283007696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94379851562000 94379851609744 94379855908864 140734283012507 140734283012606 140734283012606 140734283018210 0
/proc/111921/statm: 1048 736 672 219 0 110 0
[pid=111929] ppid=111921 vsize=1204044 memory=56288 CPUtime=0.25 cores=0,2
/proc/111929/stat : 111929 (python3) R 111921 111921 111519 0 -1 4194304 6824 0 0 0 23 2 0 0 20 0 1 0 141024049 1232941056 14072 18446744073709551615 94811483070464 94811483070841 140728277759120 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94811483082136 94811483082756 94811506569216 140728277764431 140728277764640 140728277764640 140728277770215 0
/proc/111929/statm: 301011 14072 8160 1 0 272369 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 1208236 KiB
Current children cumulated memory: 59232 KiB
[startup+0.700202 s]
/proc/loadavg: 0.87 2.45 3.43 5/270 111949
/proc/meminfo: memFree=106897540/131249988 swapFree=33010416/33010684
[pid=111921] ppid=111915 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111921/stat : 111921 (scip-naps-1.00a) S 111915 111921 111519 0 -1 4194304 258 317 0 0 0 0 0 0 20 0 1 0 141024045 4292608 736 18446744073709551615 94379850428416 94379851322949 140734283007696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94379851562000 94379851609744 94379855908864 140734283012507 140734283012606 140734283012606 140734283018210 0
/proc/111921/statm: 1048 736 672 219 0 110 0
[pid=111929] ppid=111921 vsize=1204612 memory=57312 CPUtime=0.63 cores=0,2
/proc/111929/stat : 111929 (python3) R 111921 111921 111519 0 -1 4194304 7080 0 0 0 61 2 0 0 20 0 1 0 141024049 1233522688 14328 18446744073709551615 94811483070464 94811483070841 140728277759120 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94811483082136 94811483082756 94811506569216 140728277764431 140728277764640 140728277764640 140728277770215 0
/proc/111929/statm: 301153 14328 8160 1 0 272511 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 1208804 KiB
Current children cumulated memory: 60256 KiB
[startup+1.5002 s]
/proc/loadavg: 0.87 2.45 3.43 5/271 111950
/proc/meminfo: memFree=106877380/131249988 swapFree=33010416/33010684
[pid=111921] ppid=111915 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111921/stat : 111921 (scip-naps-1.00a) S 111915 111921 111519 0 -1 4194304 258 317 0 0 0 0 0 0 20 0 1 0 141024045 4292608 736 18446744073709551615 94379850428416 94379851322949 140734283007696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94379851562000 94379851609744 94379855908864 140734283012507 140734283012606 140734283012606 140734283018210 0
/proc/111921/statm: 1048 736 672 219 0 110 0
[pid=111929] ppid=111921 vsize=1204612 memory=57568 CPUtime=1.43 cores=0,2
/proc/111929/stat : 111929 (python3) R 111921 111921 111519 0 -1 4194304 7140 0 0 0 141 2 0 0 20 0 1 0 141024049 1233522688 14392 18446744073709551615 94811483070464 94811483070841 140728277759120 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94811483082136 94811483082756 94811506569216 140728277764431 140728277764640 140728277764640 140728277770215 0
/proc/111929/statm: 301153 14392 8160 1 0 272511 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 1208804 KiB
Current children cumulated memory: 60512 KiB
[startup+3.10551 s]
/proc/loadavg: 1.20 2.50 3.44 5/272 111951
/proc/meminfo: memFree=106799324/131249988 swapFree=33010416/33010684
[pid=111921] ppid=111915 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111921/stat : 111921 (scip-naps-1.00a) S 111915 111921 111519 0 -1 4194304 258 317 0 0 0 0 0 0 20 0 1 0 141024045 4292608 736 18446744073709551615 94379850428416 94379851322949 140734283007696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94379851562000 94379851609744 94379855908864 140734283012507 140734283012606 140734283012606 140734283018210 0
/proc/111921/statm: 1048 736 672 219 0 110 0
[pid=111929] ppid=111921 vsize=1204872 memory=58208 CPUtime=1.52 cores=0,2
/proc/111929/stat : 111929 (python3) S 111921 111921 111519 0 -1 4194304 7399 0 0 0 150 2 0 0 20 0 1 0 141024049 1233788928 14552 18446744073709551615 94811483070464 94811483070841 140728277759120 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94811483082136 94811483082756 94811506569216 140728277764431 140728277764640 140728277764640 140728277770215 0
/proc/111929/statm: 301218 14552 8224 1 0 272576 0
[pid=111951] ppid=111929 vsize=62956 memory=56048 CPUtime=1.5 cores=0,2
/proc/111951/stat : 111951 (naps-1.03a6) R 111929 111951 111951 0 -1 4194304 16531 0 0 0 148 2 0 0 20 0 1 0 141024204 64466944 14012 18446744073709551615 4198400 7047149 140732931115728 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 12902400 140732931119487 140732931119601 140732931119601 140732931125193 0
/proc/111951/statm: 15739 14012 544 696 0 14900 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 1272020 KiB
Current children cumulated memory: 117200 KiB
[startup+6.3002 s]
/proc/loadavg: 1.20 2.50 3.44 5/272 111951
/proc/meminfo: memFree=106785380/131249988 swapFree=33010416/33010684
[pid=111921] ppid=111915 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111921/stat : 111921 (scip-naps-1.00a) S 111915 111921 111519 0 -1 4194304 258 317 0 0 0 0 0 0 20 0 1 0 141024045 4292608 736 18446744073709551615 94379850428416 94379851322949 140734283007696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94379851562000 94379851609744 94379855908864 140734283012507 140734283012606 140734283012606 140734283018210 0
/proc/111921/statm: 1048 736 672 219 0 110 0
[pid=111929] ppid=111921 vsize=1204872 memory=58208 CPUtime=1.52 cores=0,2
/proc/111929/stat : 111929 (python3) S 111921 111921 111519 0 -1 4194304 7399 0 0 0 150 2 0 0 20 0 1 0 141024049 1233788928 14552 18446744073709551615 94811483070464 94811483070841 140728277759120 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94811483082136 94811483082756 94811506569216 140728277764431 140728277764640 140728277764640 140728277770215 0
/proc/111929/statm: 301218 14552 8224 1 0 272576 0
[pid=111951] ppid=111929 vsize=65152 memory=61372 CPUtime=4.69 cores=0,2
/proc/111951/stat : 111951 (naps-1.03a6) R 111929 111951 111951 0 -1 4194304 17665 0 0 0 466 3 0 0 20 0 1 0 141024204 66715648 15343 18446744073709551615 4198400 7047149 140732931115728 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 12902400 140732931119487 140732931119601 140732931119601 140732931125193 0
/proc/111951/statm: 16288 15343 544 696 0 15449 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 1274216 KiB
Current children cumulated memory: 122524 KiB
[startup+12.7002 s]
/proc/loadavg: 1.63 2.55 3.45 5/272 112000
/proc/meminfo: memFree=106839184/131249988 swapFree=33010416/33010684
[pid=111921] ppid=111915 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111921/stat : 111921 (scip-naps-1.00a) S 111915 111921 111519 0 -1 4194304 258 317 0 0 0 0 0 0 20 0 1 0 141024045 4292608 736 18446744073709551615 94379850428416 94379851322949 140734283007696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94379851562000 94379851609744 94379855908864 140734283012507 140734283012606 140734283012606 140734283018210 0
/proc/111921/statm: 1048 736 672 219 0 110 0
[pid=111929] ppid=111921 vsize=1204872 memory=58208 CPUtime=1.52 cores=0,2
/proc/111929/stat : 111929 (python3) S 111921 111921 111519 0 -1 4194304 7399 0 0 0 150 2 0 0 20 0 1 0 141024049 1233788928 14552 18446744073709551615 94811483070464 94811483070841 140728277759120 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94811483082136 94811483082756 94811506569216 140728277764431 140728277764640 140728277764640 140728277770215 0
/proc/111929/statm: 301218 14552 8224 1 0 272576 0
[pid=111951] ppid=111929 vsize=65152 memory=61372 CPUtime=11.06 cores=0,2
/proc/111951/stat : 111951 (naps-1.03a6) R 111929 111951 111951 0 -1 4194304 17673 0 0 0 1102 4 0 0 20 0 1 0 141024204 66715648 15343 18446744073709551615 4198400 7047149 140732931115728 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 12902400 140732931119487 140732931119601 140732931119601 140732931125193 0
/proc/111951/statm: 16288 15343 544 696 0 15449 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 1274216 KiB
Current children cumulated memory: 122524 KiB
[startup+25.5002 s]
/proc/loadavg: 1.92 2.58 3.45 5/272 112443
/proc/meminfo: memFree=106520452/131249988 swapFree=33010416/33010684
[pid=111921] ppid=111915 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111921/stat : 111921 (scip-naps-1.00a) S 111915 111921 111519 0 -1 4194304 258 317 0 0 0 0 0 0 20 0 1 0 141024045 4292608 736 18446744073709551615 94379850428416 94379851322949 140734283007696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94379851562000 94379851609744 94379855908864 140734283012507 140734283012606 140734283012606 140734283018210 0
/proc/111921/statm: 1048 736 672 219 0 110 0
[pid=111929] ppid=111921 vsize=1204872 memory=58208 CPUtime=1.52 cores=0,2
/proc/111929/stat : 111929 (python3) S 111921 111921 111519 0 -1 4194304 7399 0 0 0 150 2 0 0 20 0 1 0 141024049 1233788928 14552 18446744073709551615 94811483070464 94811483070841 140728277759120 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94811483082136 94811483082756 94811506569216 140728277764431 140728277764640 140728277764640 140728277770215 0
/proc/111929/statm: 301218 14552 8224 1 0 272576 0
[pid=111951] ppid=111929 vsize=65152 memory=61372 CPUtime=23.8 cores=0,2
/proc/111951/stat : 111951 (naps-1.03a6) R 111929 111951 111951 0 -1 4194304 17694 0 0 0 2375 5 0 0 20 0 1 0 141024204 66715648 15343 18446744073709551615 4198400 7047149 140732931115728 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 12902400 140732931119487 140732931119601 140732931119601 140732931125193 0
/proc/111951/statm: 16288 15343 544 696 0 15449 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 1274216 KiB
Current children cumulated memory: 122524 KiB
[startup+51.1051 s]
/proc/loadavg: 2.71 2.71 3.47 5/272 112443
/proc/meminfo: memFree=106193216/131249988 swapFree=33010416/33010684
[pid=111921] ppid=111915 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111921/stat : 111921 (scip-naps-1.00a) S 111915 111921 111519 0 -1 4194304 258 317 0 0 0 0 0 0 20 0 1 0 141024045 4292608 736 18446744073709551615 94379850428416 94379851322949 140734283007696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94379851562000 94379851609744 94379855908864 140734283012507 140734283012606 140734283012606 140734283018210 0
/proc/111921/statm: 1048 736 672 219 0 110 0
[pid=111929] ppid=111921 vsize=1204872 memory=60128 CPUtime=1.52 cores=0,2
/proc/111929/stat : 111929 (python3) S 111921 111921 111519 0 -1 4194304 7399 0 0 0 150 2 0 0 20 0 1 0 141024049 1233788928 15032 18446744073709551615 94811483070464 94811483070841 140728277759120 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94811483082136 94811483082756 94811506569216 140728277764431 140728277764640 140728277764640 140728277770215 0
/proc/111929/statm: 301218 15032 8224 1 0 272576 0
[pid=111951] ppid=111929 vsize=65832 memory=62012 CPUtime=49.32 cores=0,2
/proc/111951/stat : 111951 (naps-1.03a6) R 111929 111951 111951 0 -1 4194304 17849 0 0 0 4927 5 0 0 20 0 1 0 141024204 67411968 15503 18446744073709551615 4198400 7047149 140732931115728 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 12902400 140732931119487 140732931119601 140732931119601 140732931125193 0
/proc/111951/statm: 16458 15503 544 696 0 15619 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 1274896 KiB
Current children cumulated memory: 125084 KiB
[startup+102.3 s]
/proc/loadavg: 3.89 3.04 3.54 5/272 112689
/proc/meminfo: memFree=106327968/131249988 swapFree=33010416/33010684
[pid=111921] ppid=111915 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111921/stat : 111921 (scip-naps-1.00a) S 111915 111921 111519 0 -1 4194304 258 317 0 0 0 0 0 0 20 0 1 0 141024045 4292608 736 18446744073709551615 94379850428416 94379851322949 140734283007696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94379851562000 94379851609744 94379855908864 140734283012507 140734283012606 140734283012606 140734283018210 0
/proc/111921/statm: 1048 736 672 219 0 110 0
[pid=111929] ppid=111921 vsize=1204872 memory=60128 CPUtime=1.52 cores=0,2
/proc/111929/stat : 111929 (python3) S 111921 111921 111519 0 -1 4194304 7399 0 0 0 150 2 0 0 20 0 1 0 141024049 1233788928 15032 18446744073709551615 94811483070464 94811483070841 140728277759120 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94811483082136 94811483082756 94811506569216 140728277764431 140728277764640 140728277764640 140728277770215 0
/proc/111929/statm: 301218 15032 8224 1 0 272576 0
[pid=111951] ppid=111929 vsize=89832 memory=77196 CPUtime=100.35 cores=0,2
/proc/111951/stat : 111951 (naps-1.03a6) R 111929 111951 111951 0 -1 4194304 18800 0 0 0 10027 8 0 0 20 0 1 0 141024204 91987968 19299 18446744073709551615 4198400 7047149 140732931115728 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 12902400 140732931119487 140732931119601 140732931119601 140732931125193 0
/proc/111951/statm: 22458 19299 544 696 0 21619 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 1298896 KiB
Current children cumulated memory: 140268 KiB
[startup+162.3 s]
/proc/loadavg: 4.01 3.23 3.58 5/273 112692
/proc/meminfo: memFree=106246048/131249988 swapFree=33010416/33010684
[pid=111921] ppid=111915 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111921/stat : 111921 (scip-naps-1.00a) S 111915 111921 111519 0 -1 4194304 258 317 0 0 0 0 0 0 20 0 1 0 141024045 4292608 736 18446744073709551615 94379850428416 94379851322949 140734283007696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94379851562000 94379851609744 94379855908864 140734283012507 140734283012606 140734283012606 140734283018210 0
/proc/111921/statm: 1048 736 672 219 0 110 0
################
# More data... #
################
/proc/meminfo: memFree=101100876/131249988 swapFree=33010416/33010684
[pid=111921] ppid=111915 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111921/stat : 111921 (scip-naps-1.00a) S 111915 111921 111519 0 -1 4194304 258 317 0 0 0 0 0 0 20 0 1 0 141024045 4292608 736 18446744073709551615 94379850428416 94379851322949 140734283007696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94379851562000 94379851609744 94379855908864 140734283012507 140734283012606 140734283012606 140734283018210 0
/proc/111921/statm: 1048 736 672 219 0 110 0
[pid=111929] ppid=111921 vsize=1204872 memory=60128 CPUtime=1.52 cores=0,2
/proc/111929/stat : 111929 (python3) S 111921 111921 111519 0 -1 4194304 7399 0 0 0 150 2 0 0 20 0 1 0 141024049 1233788928 15032 18446744073709551615 94811483070464 94811483070841 140728277759120 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94811483082136 94811483082756 94811506569216 140728277764431 140728277764640 140728277764640 140728277770215 0
/proc/111929/statm: 301218 15032 8224 1 0 272576 0
[pid=111951] ppid=111929 vsize=89832 memory=83308 CPUtime=3151.04 cores=0,2
/proc/111951/stat : 111951 (naps-1.03a6) R 111929 111951 111951 0 -1 4194304 47029 0 0 0 315084 20 0 0 20 0 1 0 141024204 91987968 20827 18446744073709551615 4198400 7047149 140732931115728 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 12902400 140732931119487 140732931119601 140732931119601 140732931125193 0
/proc/111951/statm: 22458 20827 544 696 0 21619 0
Current children cumulated CPU time: 3152.56 s
Current children cumulated vsize: 1298896 KiB
Current children cumulated memory: 146380 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/273 112984
/proc/meminfo: memFree=101131840/131249988 swapFree=33010416/33010684
[pid=111921] ppid=111915 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111921/stat : 111921 (scip-naps-1.00a) S 111915 111921 111519 0 -1 4194304 258 317 0 0 0 0 0 0 20 0 1 0 141024045 4292608 736 18446744073709551615 94379850428416 94379851322949 140734283007696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94379851562000 94379851609744 94379855908864 140734283012507 140734283012606 140734283012606 140734283018210 0
/proc/111921/statm: 1048 736 672 219 0 110 0
[pid=111929] ppid=111921 vsize=1204872 memory=60128 CPUtime=1.52 cores=0,2
/proc/111929/stat : 111929 (python3) S 111921 111921 111519 0 -1 4194304 7399 0 0 0 150 2 0 0 20 0 1 0 141024049 1233788928 15032 18446744073709551615 94811483070464 94811483070841 140728277759120 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94811483082136 94811483082756 94811506569216 140728277764431 140728277764640 140728277764640 140728277770215 0
/proc/111929/statm: 301218 15032 8224 1 0 272576 0
[pid=111951] ppid=111929 vsize=89832 memory=83308 CPUtime=3210.86 cores=0,2
/proc/111951/stat : 111951 (naps-1.03a6) R 111929 111951 111951 0 -1 4194304 47029 0 0 0 321066 20 0 0 20 0 1 0 141024204 91987968 20827 18446744073709551615 4198400 7047149 140732931115728 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 12902400 140732931119487 140732931119601 140732931119601 140732931125193 0
/proc/111951/statm: 22458 20827 544 696 0 21619 0
Current children cumulated CPU time: 3212.38 s
Current children cumulated vsize: 1298896 KiB
Current children cumulated memory: 146380 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/272 112986
/proc/meminfo: memFree=101106984/131249988 swapFree=33010416/33010684
[pid=111921] ppid=111915 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111921/stat : 111921 (scip-naps-1.00a) S 111915 111921 111519 0 -1 4194304 258 317 0 0 0 0 0 0 20 0 1 0 141024045 4292608 736 18446744073709551615 94379850428416 94379851322949 140734283007696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94379851562000 94379851609744 94379855908864 140734283012507 140734283012606 140734283012606 140734283018210 0
/proc/111921/statm: 1048 736 672 219 0 110 0
[pid=111929] ppid=111921 vsize=1204872 memory=60128 CPUtime=1.52 cores=0,2
/proc/111929/stat : 111929 (python3) S 111921 111921 111519 0 -1 4194304 7399 0 0 0 150 2 0 0 20 0 1 0 141024049 1233788928 15032 18446744073709551615 94811483070464 94811483070841 140728277759120 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94811483082136 94811483082756 94811506569216 140728277764431 140728277764640 140728277764640 140728277770215 0
/proc/111929/statm: 301218 15032 8224 1 0 272576 0
[pid=111951] ppid=111929 vsize=122604 memory=98568 CPUtime=3270.67 cores=0,2
/proc/111951/stat : 111951 (naps-1.03a6) R 111929 111951 111951 0 -1 4194304 56002 0 0 0 327044 23 0 0 20 0 1 0 141024204 125546496 24642 18446744073709551615 4198400 7047149 140732931115728 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 12902400 140732931119487 140732931119601 140732931119601 140732931125193 0
/proc/111951/statm: 30651 24642 544 696 0 29812 0
Current children cumulated CPU time: 3272.19 s
Current children cumulated vsize: 1331668 KiB
Current children cumulated memory: 161640 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/273 112993
/proc/meminfo: memFree=101117364/131249988 swapFree=33010416/33010684
[pid=111921] ppid=111915 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111921/stat : 111921 (scip-naps-1.00a) S 111915 111921 111519 0 -1 4194304 258 317 0 0 0 0 0 0 20 0 1 0 141024045 4292608 736 18446744073709551615 94379850428416 94379851322949 140734283007696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94379851562000 94379851609744 94379855908864 140734283012507 140734283012606 140734283012606 140734283018210 0
/proc/111921/statm: 1048 736 672 219 0 110 0
[pid=111929] ppid=111921 vsize=1204872 memory=60128 CPUtime=1.52 cores=0,2
/proc/111929/stat : 111929 (python3) S 111921 111921 111519 0 -1 4194304 7399 0 0 0 150 2 0 0 20 0 1 0 141024049 1233788928 15032 18446744073709551615 94811483070464 94811483070841 140728277759120 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94811483082136 94811483082756 94811506569216 140728277764431 140728277764640 140728277764640 140728277770215 0
/proc/111929/statm: 301218 15032 8224 1 0 272576 0
[pid=111951] ppid=111929 vsize=98028 memory=90476 CPUtime=3330.48 cores=0,2
/proc/111951/stat : 111951 (naps-1.03a6) R 111929 111951 111951 0 -1 4194304 58073 0 0 0 333024 24 0 0 20 0 1 0 141024204 100380672 22619 18446744073709551615 4198400 7047149 140732931115728 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 12902400 140732931119487 140732931119601 140732931119601 140732931125193 0
/proc/111951/statm: 24507 22619 544 696 0 23668 0
Current children cumulated CPU time: 3332 s
Current children cumulated vsize: 1307092 KiB
Current children cumulated memory: 153548 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/273 112995
/proc/meminfo: memFree=101119228/131249988 swapFree=33010416/33010684
[pid=111921] ppid=111915 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111921/stat : 111921 (scip-naps-1.00a) S 111915 111921 111519 0 -1 4194304 258 317 0 0 0 0 0 0 20 0 1 0 141024045 4292608 736 18446744073709551615 94379850428416 94379851322949 140734283007696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94379851562000 94379851609744 94379855908864 140734283012507 140734283012606 140734283012606 140734283018210 0
/proc/111921/statm: 1048 736 672 219 0 110 0
[pid=111929] ppid=111921 vsize=1204872 memory=60128 CPUtime=1.52 cores=0,2
/proc/111929/stat : 111929 (python3) S 111921 111921 111519 0 -1 4194304 7399 0 0 0 150 2 0 0 20 0 1 0 141024049 1233788928 15032 18446744073709551615 94811483070464 94811483070841 140728277759120 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94811483082136 94811483082756 94811506569216 140728277764431 140728277764640 140728277764640 140728277770215 0
/proc/111929/statm: 301218 15032 8224 1 0 272576 0
[pid=111951] ppid=111929 vsize=89832 memory=83308 CPUtime=3390.29 cores=0,2
/proc/111951/stat : 111951 (naps-1.03a6) R 111929 111951 111951 0 -1 4194304 63095 0 0 0 339003 26 0 0 20 0 1 0 141024204 91987968 20827 18446744073709551615 4198400 7047149 140732931115728 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 12902400 140732931119487 140732931119601 140732931119601 140732931125193 0
/proc/111951/statm: 22458 20827 544 696 0 21619 0
Current children cumulated CPU time: 3391.81 s
Current children cumulated vsize: 1298896 KiB
Current children cumulated memory: 146380 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/271 113008
/proc/meminfo: memFree=101126448/131249988 swapFree=33010416/33010684
[pid=111921] ppid=111915 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111921/stat : 111921 (scip-naps-1.00a) S 111915 111921 111519 0 -1 4194304 258 317 0 0 0 0 0 0 20 0 1 0 141024045 4292608 736 18446744073709551615 94379850428416 94379851322949 140734283007696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94379851562000 94379851609744 94379855908864 140734283012507 140734283012606 140734283012606 140734283018210 0
/proc/111921/statm: 1048 736 672 219 0 110 0
[pid=111929] ppid=111921 vsize=1204872 memory=60128 CPUtime=1.52 cores=0,2
/proc/111929/stat : 111929 (python3) S 111921 111921 111519 0 -1 4194304 7399 0 0 0 150 2 0 0 20 0 1 0 141024049 1233788928 15032 18446744073709551615 94811483070464 94811483070841 140728277759120 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94811483082136 94811483082756 94811506569216 140728277764431 140728277764640 140728277764640 140728277770215 0
/proc/111929/statm: 301218 15032 8224 1 0 272576 0
[pid=111951] ppid=111929 vsize=106220 memory=93132 CPUtime=3450.11 cores=0,2
/proc/111951/stat : 111951 (naps-1.03a6) R 111929 111951 111951 0 -1 4194304 66590 0 0 0 344983 28 0 0 20 0 1 0 141024204 108769280 23283 18446744073709551615 4198400 7047149 140732931115728 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 12902400 140732931119487 140732931119601 140732931119601 140732931125193 0
/proc/111951/statm: 26555 23283 544 696 0 25716 0
Current children cumulated CPU time: 3451.63 s
Current children cumulated vsize: 1315284 KiB
Current children cumulated memory: 156204 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/271 113010
/proc/meminfo: memFree=101122752/131249988 swapFree=33010416/33010684
[pid=111921] ppid=111915 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111921/stat : 111921 (scip-naps-1.00a) S 111915 111921 111519 0 -1 4194304 258 317 0 0 0 0 0 0 20 0 1 0 141024045 4292608 736 18446744073709551615 94379850428416 94379851322949 140734283007696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94379851562000 94379851609744 94379855908864 140734283012507 140734283012606 140734283012606 140734283018210 0
/proc/111921/statm: 1048 736 672 219 0 110 0
[pid=111929] ppid=111921 vsize=1204872 memory=60128 CPUtime=1.52 cores=0,2
/proc/111929/stat : 111929 (python3) S 111921 111921 111519 0 -1 4194304 7399 0 0 0 150 2 0 0 20 0 1 0 141024049 1233788928 15032 18446744073709551615 94811483070464 94811483070841 140728277759120 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94811483082136 94811483082756 94811506569216 140728277764431 140728277764640 140728277764640 140728277770215 0
/proc/111929/statm: 301218 15032 8224 1 0 272576 0
[pid=111951] ppid=111929 vsize=98028 memory=91468 CPUtime=3509.92 cores=0,2
/proc/111951/stat : 111951 (naps-1.03a6) R 111929 111951 111951 0 -1 4194304 80389 0 0 0 350961 31 0 0 20 0 1 0 141024204 100380672 22867 18446744073709551615 4198400 7047149 140732931115728 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 12902400 140732931119487 140732931119601 140732931119601 140732931125193 0
/proc/111951/statm: 24507 22867 544 696 0 23668 0
Current children cumulated CPU time: 3511.44 s
Current children cumulated vsize: 1307092 KiB
Current children cumulated memory: 154540 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/271 113012
/proc/meminfo: memFree=101135984/131249988 swapFree=33010416/33010684
[pid=111921] ppid=111915 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111921/stat : 111921 (scip-naps-1.00a) S 111915 111921 111519 0 -1 4194304 258 317 0 0 0 0 0 0 20 0 1 0 141024045 4292608 736 18446744073709551615 94379850428416 94379851322949 140734283007696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94379851562000 94379851609744 94379855908864 140734283012507 140734283012606 140734283012606 140734283018210 0
/proc/111921/statm: 1048 736 672 219 0 110 0
[pid=111929] ppid=111921 vsize=1204872 memory=60128 CPUtime=1.52 cores=0,2
/proc/111929/stat : 111929 (python3) S 111921 111921 111519 0 -1 4194304 7399 0 0 0 150 2 0 0 20 0 1 0 141024049 1233788928 15032 18446744073709551615 94811483070464 94811483070841 140728277759120 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94811483082136 94811483082756 94811506569216 140728277764431 140728277764640 140728277764640 140728277770215 0
/proc/111929/statm: 301218 15032 8224 1 0 272576 0
[pid=111951] ppid=111929 vsize=98028 memory=91468 CPUtime=3569.73 cores=0,2
/proc/111951/stat : 111951 (naps-1.03a6) R 111929 111951 111951 0 -1 4194304 84078 0 0 0 356941 32 0 0 20 0 1 0 141024204 100380672 22867 18446744073709551615 4198400 7047149 140732931115728 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 12902400 140732931119487 140732931119601 140732931119601 140732931125193 0
/proc/111951/statm: 24507 22867 544 696 0 23668 0
Current children cumulated CPU time: 3571.25 s
Current children cumulated vsize: 1307092 KiB
Current children cumulated memory: 154540 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.2 s]
/proc/loadavg: 4.10 4.11 4.09 5/271 113012
/proc/meminfo: memFree=101116672/131249988 swapFree=33010416/33010684
[pid=111921] ppid=111915 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111921/stat : 111921 (scip-naps-1.00a) S 111915 111921 111519 0 -1 4194304 258 317 0 0 0 0 0 0 20 0 1 0 141024045 4292608 736 18446744073709551615 94379850428416 94379851322949 140734283007696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94379851562000 94379851609744 94379855908864 140734283012507 140734283012606 140734283012606 140734283018210 0
/proc/111921/statm: 1048 736 672 219 0 110 0
[pid=111929] ppid=111921 vsize=1204872 memory=60128 CPUtime=1.52 cores=0,2
/proc/111929/stat : 111929 (python3) S 111921 111921 111519 0 -1 4194304 7399 0 0 0 150 2 0 0 20 0 1 0 141024049 1233788928 15032 18446744073709551615 94811483070464 94811483070841 140728277759120 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94811483082136 94811483082756 94811506569216 140728277764431 140728277764640 140728277764640 140728277770215 0
/proc/111929/statm: 301218 15032 8224 1 0 272576 0
[pid=111951] ppid=111929 vsize=98028 memory=91468 CPUtime=3598.54 cores=0,2
/proc/111951/stat : 111951 (naps-1.03a6) R 111929 111951 111951 0 -1 4194304 84078 0 0 0 359822 32 0 0 20 0 1 0 141024204 100380672 22867 18446744073709551615 4198400 7047149 140732931115728 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 12902400 140732931119487 140732931119601 140732931119601 140732931125193 0
/proc/111951/statm: 24507 22867 544 696 0 23668 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1307092 KiB
Current children cumulated memory: 154540 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.22 s]
# the end of solver process 111921 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3599.74 s, system=0.363844 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3611.22
CPU time (s): 3600.1
CPU user time (s): 3599.74
CPU system time (s): 0.363844
CPU usage (%): 99.6923
Max. virtual memory (cumulated for all children) (KiB): 1348052
Max. memory (cumulated for all children) (KiB): 180172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.74
system time used= 0.363844
maximum resident set size= 117100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94667
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= 433
involuntary context switches= 7867
# summary of solver processes directly reported to runsolver:
# pid: 111921
# total CPU time (s): 3600.1
# total CPU user time (s): 3599.74
# total CPU system time (s): 0.363844
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.6112 second user time and 15.4728 second system time
The end