0.47/0.54 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4495869-1751152620.opb
0.47/0.54 c Solving mode: decision
0.47/0.54 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
0.47/0.54 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.47/0.54 c original problem has 70 variables (70 bin, 0 int, 0 impl, 0 cont) and 2 constraints
0.47/0.54 c presolving:
0.47/0.54 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, 11 clqs
0.47/0.54 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, 11 clqs
0.47/0.54 c (round 3, fast) 0 del vars, 1 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 0 impls, 11 clqs
0.47/0.54 c (round 4, exhaustive) 0 del vars, 1 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 3 chg coeffs, 1 upgd conss, 0 impls, 11 clqs
0.47/0.54 c (0.0s) probing: 51/70 (72.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.47/0.54 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.47/0.54 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.47/0.54 c (0.0s) no symmetry present (symcode time: 0.00)
0.47/0.54 c presolving (5 rounds: 5 fast, 3 medium, 3 exhaustive):
0.47/0.54 c 0 deleted vars, 1 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 3 changed coefficients
0.47/0.54 c 0 implications, 11 cliques
0.47/0.54 c presolved problem has 70 variables (70 bin, 0 int, 0 impl, 0 cont) and 2 constraints
0.47/0.54 c 1 constraints of type <linear>
0.47/0.54 c 1 constraints of type <logicor>
0.47/0.54 c transformed objective value is always integral (scale: 1)
0.47/0.54 c Presolving Time: 0.00
0.47/0.54 c
0.47/0.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.47/0.54 c 0.0s| 1 | 0 | 2 | - | 1494k | 0 | 70 | 2 | 2 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.47/0.54 c 0.0s| 1 | 0 | 6 | - | 1515k | 0 | 70 | 2 | 3 | 1 | 1 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.47/0.54 c 0.0s| 1 | 0 | 8 | - | 1520k | 0 | 70 | 2 | 4 | 2 | 2 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.47/0.54 c 0.0s| 1 | 0 | 11 | - | 1532k | 0 | 70 | 2 | 6 | 4 | 3 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.47/0.54 c 0.0s| 1 | 0 | 12 | - | 1565k | 0 | 70 | 2 | 8 | 6 | 4 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.47/0.54 c 0.0s| 1 | 0 | 13 | - | 1583k | 0 | 70 | 2 | 10 | 8 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.47/0.54 c 0.0s| 1 | 0 | 16 | - | 1588k | 0 | 70 | 2 | 12 | 10 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.47/0.54 c 0.0s| 1 | 0 | 21 | - | 1622k | 0 | 70 | 2 | 13 | 11 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.47/0.54 c 0.0s| 1 | 0 | 24 | - | 1622k | 0 | 70 | 2 | 14 | 12 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.47/0.54 c 0.0s| 1 | 0 | 26 | - | 1645k | 0 | 70 | 2 | 15 | 13 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.47/0.54 c 0.0s| 1 | 0 | 27 | - | 1690k | 0 | 70 | 2 | 16 | 14 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.47/0.54 c 0.0s| 1 | 0 | 30 | - | 1723k | 0 | 70 | 2 | 18 | 16 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.47/0.54 c 0.0s| 1 | 0 | 31 | - | 1780k | 0 | 70 | 2 | 19 | 17 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.47/0.54 c 0.0s| 1 | 0 | 34 | - | 1805k | 0 | 70 | 2 | 21 | 19 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.47/0.54 c 0.0s| 1 | 2 | 39 | - | 1815k | 0 | 70 | 2 | 21 | 19 | 13 | 0 | 4 | 0.000000e+00 | -- | Inf | unknown
0.47/0.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.47/0.54 c 0.1s| 100 | 21 | 135 | 1.0 | 2014k | 20 | 70 | 2 | 0 | 34 | 0 | 0 | 4 | 0.000000e+00 | -- | Inf | 1.77%
0.47/0.54 c 0.1s| 200 | 37 | 232 | 1.0 | 2172k | 20 | 70 | 2 | 0 | 51 | 0 | 0 | 4 | 0.000000e+00 | -- | Inf | 2.70%
0.47/0.54 c 0.1s| 300 | 59 | 353 | 1.1 | 2184k | 20 | 70 | 2 | 4 | 63 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 3.58%
0.47/0.54 c 0.1s| 400 | 73 | 448 | 1.0 | 2320k | 20 | 70 | 2 | 4 | 70 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 3.70%
0.47/0.54 c 0.2s| 500 | 99 | 555 | 1.0 | 2580k | 33 | 70 | 2 | 5 | 73 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 3.70%
0.47/0.54 c 0.3s| 600 | 145 | 672 | 1.1 | 2584k | 35 | 70 | 4 | 6 | 78 | 1 | 2 | 4 | 0.000000e+00 | -- | Inf | 3.70%
0.47/0.54 c 0.3s| 700 | 159 | 732 | 1.0 | 2616k | 35 | 70 | 5 | 6 | 78 | 1 | 3 | 4 | 0.000000e+00 | -- | Inf | 3.75%
0.47/0.54 c 0.3s| 800 | 177 | 821 | 1.0 | 2626k | 35 | 70 | 5 | 0 | 78 | 0 | 3 | 4 | 0.000000e+00 | -- | Inf | 3.75%
0.47/0.54 c 0.3s| 900 | 191 | 968 | 1.0 | 2674k | 35 | 70 | 10 | 0 | 83 | 0 | 8 | 4 | 0.000000e+00 | -- | Inf | 5.21%
0.47/0.54 c 0.4s| 1000 | 213 | 1082 | 1.0 | 2709k | 35 | 70 | 10 | 4 | 102 | 1 | 8 | 4 | 0.000000e+00 | -- | Inf | 5.95%
0.47/0.54 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
0.47/0.54 c (run 1, node 1059) performing user restart
0.47/0.54 c
0.47/0.54 c presolving:
0.47/0.54 c (round 1, fast) 0 del vars, 2 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 11 clqs
0.47/0.54 c (round 2, fast) 0 del vars, 2 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 0 impls, 11 clqs
0.47/0.54 c (round 3, exhaustive) 0 del vars, 6 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 0 impls, 11 clqs
0.47/0.54 c (round 4, exhaustive) 0 del vars, 6 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 3 chg coeffs, 1 upgd conss, 0 impls, 11 clqs
0.47/0.54 c (round 5, fast) 0 del vars, 7 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 3 chg coeffs, 1 upgd conss, 0 impls, 11 clqs
0.47/0.54 c presolving (6 rounds: 6 fast, 3 medium, 3 exhaustive):
0.47/0.54 c 0 deleted vars, 7 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 3 changed coefficients
0.47/0.54 c 0 implications, 11 cliques
0.47/0.54 c presolved problem has 70 variables (70 bin, 0 int, 0 impl, 0 cont) and 4 constraints
0.47/0.54 c 2 constraints of type <linear>
0.47/0.54 c 2 constraints of type <logicor>
0.47/0.54 c transformed objective value is always integral (scale: 1)
0.47/0.54 c Presolving Time: 0.00
0.47/0.54 c
0.47/0.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.47/0.54 c 0.4s| 1 | 0 | 1141 | - | 2774k | 0 | 70 | 4 | 2 | 0 | 0 | 8 | 4 | 0.000000e+00 | -- | Inf | unknown
0.47/0.54 c 0.4s| 1 | 0 | 1143 | - | 2774k | 0 | 70 | 4 | 3 | 1 | 1 | 8 | 4 | 0.000000e+00 | -- | Inf | unknown
0.47/0.54 c 0.4s| 1 | 0 | 1144 | - | 2774k | 0 | 70 | 4 | 4 | 2 | 2 | 8 | 4 | 0.000000e+00 | -- | Inf | unknown
0.47/0.54 c 0.4s| 1 | 0 | 1145 | - | 2774k | 0 | 70 | 4 | 5 | 3 | 3 | 8 | 4 | 0.000000e+00 | -- | Inf | unknown
0.47/0.54 c 0.4s| 1 | 0 | 1146 | - | 2774k | 0 | 70 | 4 | 6 | 4 | 4 | 8 | 4 | 0.000000e+00 | -- | Inf | unknown
0.47/0.54 c 0.4s| 1 | 0 | 1147 | - | 2774k | 0 | 70 | 4 | 7 | 5 | 5 | 8 | 4 | 0.000000e+00 | -- | Inf | unknown
1.16/1.23 c 0.4s| 1 | 0 | 1148 | - | 2789k | 0 | 70 | 4 | 8 | 6 | 6 | 8 | 4 | 0.000000e+00 | -- | Inf | unknown
1.16/1.23 c 0.4s| 1 | 0 | 1149 | - | 2798k | 0 | 70 | 4 | 10 | 8 | 7 | 8 | 4 | 0.000000e+00 | -- | Inf | unknown
1.16/1.23 c 0.4s| 1 | 0 | 1151 | - | 2798k | 0 | 70 | 4 | 11 | 9 | 8 | 8 | 4 | 0.000000e+00 | -- | Inf | unknown
1.16/1.23 c 0.4s| 1 | 0 | 1152 | - | 2798k | 0 | 70 | 4 | 13 | 11 | 9 | 8 | 4 | 0.000000e+00 | -- | Inf | unknown
1.16/1.23 c 0.4s| 1 | 0 | 1157 | - | 2798k | 0 | 70 | 4 | 14 | 12 | 10 | 8 | 4 | 0.000000e+00 | -- | Inf | unknown
1.16/1.23 c 0.4s| 1 | 0 | 1160 | - | 2798k | 0 | 70 | 4 | 15 | 13 | 11 | 8 | 4 | 0.000000e+00 | -- | Inf | unknown
1.16/1.23 c 0.4s| 1 | 0 | 1161 | - | 2798k | 0 | 70 | 4 | 16 | 14 | 12 | 8 | 4 | 0.000000e+00 | -- | Inf | unknown
1.16/1.23 c 0.4s| 1 | 0 | 1163 | - | 2845k | 0 | 70 | 4 | 16 | 15 | 13 | 8 | 4 | 0.000000e+00 | -- | Inf | unknown
1.16/1.23 c 0.4s| 1 | 0 | 1167 | - | 2845k | 0 | 70 | 4 | 17 | 16 | 14 | 8 | 4 | 0.000000e+00 | -- | Inf | unknown
1.16/1.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.16/1.23 c 0.4s| 1 | 0 | 1169 | - | 2846k | 0 | 70 | 4 | 18 | 17 | 15 | 8 | 4 | 0.000000e+00 | -- | Inf | unknown
1.16/1.23 c 0.4s| 1 | 0 | 1171 | - | 2846k | 0 | 70 | 4 | 19 | 18 | 16 | 8 | 4 | 0.000000e+00 | -- | Inf | unknown
1.16/1.23 c 0.4s| 1 | 0 | 1173 | - | 2849k | 0 | 70 | 4 | 20 | 19 | 17 | 8 | 4 | 0.000000e+00 | -- | Inf | unknown
1.16/1.23 c 0.4s| 1 | 0 | 1174 | - | 2851k | 0 | 70 | 4 | 21 | 20 | 18 | 8 | 4 | 0.000000e+00 | -- | Inf | unknown
1.16/1.23 c 0.4s| 1 | 0 | 1175 | - | 2853k | 0 | 70 | 4 | 15 | 21 | 19 | 8 | 4 | 0.000000e+00 | -- | Inf | unknown
1.16/1.23 c 0.4s| 1 | 0 | 1177 | - | 2854k | 0 | 70 | 4 | 17 | 23 | 20 | 8 | 4 | 0.000000e+00 | -- | Inf | unknown
1.16/1.23 c 0.4s| 1 | 0 | 1178 | - | 2854k | 0 | 70 | 4 | 18 | 24 | 21 | 8 | 4 | 0.000000e+00 | -- | Inf | unknown
1.16/1.23 c 0.4s| 1 | 0 | 1179 | - | 2854k | 0 | 70 | 4 | 19 | 25 | 22 | 8 | 4 | 0.000000e+00 | -- | Inf | unknown
1.16/1.23 c 0.4s| 1 | 0 | 1180 | - | 2854k | 0 | 70 | 4 | 20 | 26 | 23 | 8 | 4 | 0.000000e+00 | -- | Inf | unknown
1.16/1.23 c 0.4s| 1 | 0 | 1183 | - | 2911k | 0 | 70 | 4 | 21 | 27 | 24 | 8 | 4 | 0.000000e+00 | -- | Inf | unknown
1.16/1.23 c 0.4s| 1 | 2 | 1257 | - | 2911k | 0 | 70 | 4 | 21 | 27 | 24 | 8 | 6 | 0.000000e+00 | -- | Inf | unknown
1.16/1.23 c 0.4s| 100 | 71 | 1445 | 1.2 | 3066k | 31 | 70 | 4 | 5 | 37 | 1 | 8 | 6 | 0.000000e+00 | -- | Inf | unknown
1.16/1.23 c 0.5s| 200 | 107 | 1575 | 1.2 | 3071k | 38 | 70 | 4 | 0 | 41 | 0 | 8 | 6 | 0.000000e+00 | -- | Inf | unknown
1.16/1.23 c 0.5s| 300 | 135 | 1670 | 1.2 | 3078k | 39 | 70 | 4 | 5 | 52 | 0 | 8 | 6 | 0.000000e+00 | -- | Inf | 1.85%
1.16/1.23 c 0.5s| 400 | 145 | 1747 | 1.1 | 3078k | 39 | 70 | 4 | 5 | 63 | 1 | 8 | 6 | 0.000000e+00 | -- | Inf | 2.93%
1.16/1.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.16/1.23 c 0.5s| 500 | 155 | 1803 | 1.1 | 3078k | 40 | 70 | 4 | 0 | 63 | 0 | 8 | 6 | 0.000000e+00 | -- | Inf | 2.93%
1.16/1.23 c 0.6s| 600 | 165 | 1884 | 1.1 | 3078k | 40 | 70 | 4 | 0 | 73 | 0 | 8 | 6 | 0.000000e+00 | -- | Inf | 3.14%
1.16/1.23 c 0.6s| 700 | 161 | 1935 | 1.1 | 3078k | 40 | 70 | 4 | 0 | 75 | 0 | 8 | 6 | 0.000000e+00 | -- | Inf | 3.18%
1.16/1.23 c 0.6s| 800 | 167 | 2003 | 1.0 | 3078k | 40 | 70 | 4 | 5 | 81 | 1 | 8 | 6 | 0.000000e+00 | -- | Inf | 3.26%
1.16/1.23 c 0.6s| 900 | 171 | 2058 | 1.0 | 3078k | 40 | 70 | 4 | 0 | 81 | 0 | 8 | 6 | 0.000000e+00 | -- | Inf | 3.27%
1.16/1.23 c 0.6s| 1000 | 181 | 2126 | 1.0 | 3079k | 40 | 70 | 4 | 0 | 81 | 0 | 8 | 6 | 0.000000e+00 | -- | Inf | 3.29%
1.16/1.23 c 0.6s| 1100 | 201 | 2197 | 1.0 | 3083k | 40 | 70 | 4 | 0 | 81 | 0 | 8 | 6 | 0.000000e+00 | -- | Inf | 3.29%
1.16/1.23 c 0.6s| 1200 | 225 | 2270 | 1.0 | 3090k | 43 | 70 | 4 | 5 | 85 | 1 | 8 | 6 | 0.000000e+00 | -- | Inf | 3.29%
1.16/1.23 c 0.7s| 1300 | 245 | 2353 | 1.0 | 3090k | 44 | 70 | 4 | 9 | 89 | 2 | 8 | 6 | 0.000000e+00 | -- | Inf | 3.29%
1.16/1.23 c 0.7s| 1400 | 261 | 2433 | 1.0 | 3090k | 44 | 70 | 4 | 5 | 99 | 1 | 8 | 6 | 0.000000e+00 | -- | Inf | 3.29%
1.16/1.23 c 0.7s| 1500 | 251 | 2489 | 0.9 | 3090k | 44 | 70 | 4 | 5 | 105 | 1 | 8 | 6 | 0.000000e+00 | -- | Inf | 3.29%
1.16/1.23 c 0.7s| 1600 | 255 | 2572 | 0.9 | 3090k | 44 | 70 | 4 | 0 | 122 | 0 | 8 | 6 | 0.000000e+00 | -- | Inf | 3.29%
1.16/1.23 c 0.8s| 1700 | 255 | 2633 | 0.9 | 3090k | 44 | 70 | 5 | 5 | 125 | 1 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.30%
1.16/1.23 c 0.8s| 1800 | 273 | 2706 | 0.9 | 3090k | 44 | 70 | 5 | 5 | 126 | 1 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.30%
1.16/1.23 c 0.8s| 1900 | 293 | 2781 | 0.9 | 3111k | 44 | 70 | 5 | 5 | 127 | 1 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.30%
1.16/1.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.16/1.23 c 0.8s| 2000 | 305 | 2841 | 0.9 | 3175k | 44 | 70 | 5 | 0 | 131 | 0 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.30%
1.16/1.23 c 0.8s| 2100 | 305 | 2900 | 0.9 | 3178k | 44 | 70 | 5 | 0 | 138 | 0 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.30%
1.16/1.23 c 0.9s| 2200 | 325 | 2962 | 0.9 | 3178k | 44 | 70 | 5 | 5 | 139 | 1 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.30%
1.16/1.23 c 0.9s| 2300 | 347 | 3026 | 0.9 | 3186k | 44 | 70 | 5 | 5 | 139 | 1 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.30%
1.16/1.23 c 0.9s| 2400 | 365 | 3096 | 0.9 | 3186k | 44 | 70 | 5 | 5 | 139 | 1 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.30%
1.16/1.23 c 0.9s| 2500 | 385 | 3163 | 0.9 | 3186k | 44 | 70 | 5 | 0 | 139 | 0 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.30%
1.16/1.23 c 0.9s| 2600 | 391 | 3216 | 0.9 | 3201k | 44 | 70 | 5 | 0 | 139 | 0 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.30%
1.16/1.23 c 0.9s| 2700 | 377 | 3259 | 0.8 | 3201k | 44 | 70 | 5 | 0 | 139 | 0 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.30%
1.16/1.23 c 1.0s| 2800 | 403 | 3339 | 0.8 | 3201k | 44 | 70 | 5 | 5 | 151 | 1 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.30%
1.16/1.23 c 1.0s| 2900 | 417 | 3458 | 0.9 | 3201k | 45 | 70 | 5 | 0 | 186 | 0 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.30%
1.16/1.23 c 1.0s| 3000 | 437 | 3555 | 0.9 | 3246k | 45 | 70 | 5 | 5 | 212 | 1 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.30%
1.16/1.23 c 1.0s| 3100 | 451 | 3669 | 0.9 | 3413k | 46 | 70 | 5 | 0 | 245 | 0 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.30%
1.16/1.23 c 1.0s| 3200 | 453 | 3723 | 0.9 | 3413k | 46 | 70 | 5 | 0 | 246 | 0 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.30%
1.16/1.23 c 1.1s| 3300 | 457 | 3780 | 0.8 | 3542k | 46 | 70 | 5 | 0 | 248 | 0 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.30%
2.25/2.32 c 1.1s| 3400 | 471 | 3854 | 0.8 | 3546k | 46 | 70 | 5 | 6 | 254 | 1 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.38%
2.25/2.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.25/2.32 c 1.1s| 3500 | 499 | 3986 | 0.9 | 3546k | 46 | 70 | 5 | 0 | 256 | 0 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.38%
2.25/2.32 c 1.1s| 3600 | 517 | 4059 | 0.9 | 3556k | 46 | 70 | 5 | 5 | 256 | 1 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.38%
2.25/2.32 c 1.1s| 3700 | 521 | 4113 | 0.8 | 3556k | 46 | 70 | 5 | 5 | 257 | 1 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.38%
2.25/2.32 c 1.2s| 3800 | 537 | 4178 | 0.8 | 3559k | 46 | 70 | 5 | 5 | 257 | 1 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.38%
2.25/2.32 c 1.2s| 3900 | 543 | 4233 | 0.8 | 3559k | 46 | 70 | 5 | 5 | 258 | 1 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.38%
2.25/2.32 c 1.2s| 4000 | 553 | 4309 | 0.8 | 3565k | 46 | 70 | 5 | 0 | 264 | 0 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.38%
2.25/2.32 c 1.2s| 4100 | 567 | 4369 | 0.8 | 3565k | 46 | 70 | 5 | 5 | 265 | 1 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.38%
2.25/2.32 c 1.2s| 4200 | 581 | 4442 | 0.8 | 3565k | 46 | 70 | 5 | 5 | 268 | 1 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.38%
2.25/2.32 c 1.2s| 4300 | 589 | 4519 | 0.8 | 3694k | 46 | 70 | 5 | 0 | 279 | 0 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.38%
2.25/2.32 c 1.3s| 4400 | 595 | 4580 | 0.8 | 3694k | 46 | 70 | 5 | 6 | 284 | 2 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.43%
2.25/2.32 c 1.3s| 4500 | 611 | 4641 | 0.8 | 3694k | 46 | 70 | 5 | 0 | 284 | 0 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.44%
2.25/2.32 c 1.3s| 4600 | 611 | 4699 | 0.8 | 3694k | 46 | 70 | 5 | 5 | 286 | 1 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.45%
2.25/2.32 c 1.3s| 4700 | 619 | 4763 | 0.8 | 3694k | 46 | 70 | 5 | 5 | 290 | 1 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.45%
2.25/2.32 c 1.3s| 4800 | 625 | 4821 | 0.8 | 3694k | 46 | 70 | 5 | 0 | 293 | 0 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.45%
2.25/2.32 c 1.3s| 4900 | 633 | 4884 | 0.8 | 3726k | 46 | 70 | 5 | 7 | 297 | 1 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.45%
2.25/2.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.25/2.32 c 1.4s| 5000 | 649 | 4954 | 0.8 | 3733k | 46 | 70 | 5 | 5 | 300 | 1 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.45%
2.25/2.32 c 1.4s| 5100 | 665 | 5030 | 0.8 | 3733k | 46 | 70 | 5 | 5 | 301 | 1 | 9 | 6 | 0.000000e+00 | -- | Inf | 3.45%
2.25/2.32 c 1.4s| 5200 | 675 | 5106 | 0.8 | 3733k | 46 | 70 | 6 | 5 | 301 | 1 | 10 | 6 | 0.000000e+00 | -- | Inf | 3.46%
2.25/2.32 c 1.4s| 5300 | 707 | 5203 | 0.8 | 3733k | 46 | 70 | 6 | 5 | 319 | 1 | 10 | 6 | 0.000000e+00 | -- | Inf | 3.46%
2.25/2.32 c 1.4s| 5400 | 713 | 5274 | 0.8 | 3733k | 46 | 70 | 6 | 0 | 327 | 0 | 10 | 6 | 0.000000e+00 | -- | Inf | 3.46%
2.25/2.32 c 1.5s| 5500 | 723 | 5349 | 0.8 | 3733k | 46 | 70 | 6 | 0 | 339 | 0 | 10 | 6 | 0.000000e+00 | -- | Inf | 3.46%
2.25/2.32 c 1.5s| 5600 | 735 | 5421 | 0.8 | 3764k | 46 | 70 | 6 | 6 | 344 | 1 | 10 | 6 | 0.000000e+00 | -- | Inf | 3.46%
2.25/2.32 c 1.5s| 5700 | 741 | 5489 | 0.8 | 3764k | 46 | 70 | 6 | 9 | 353 | 2 | 10 | 6 | 0.000000e+00 | -- | Inf | 3.46%
2.25/2.32 c 1.5s| 5800 | 751 | 5591 | 0.8 | 3772k | 46 | 70 | 6 | 0 | 380 | 0 | 10 | 6 | 0.000000e+00 | -- | Inf | 3.46%
2.25/2.32 c 1.5s| 5900 | 763 | 5700 | 0.8 | 3772k | 46 | 70 | 6 | 6 | 402 | 1 | 10 | 6 | 0.000000e+00 | -- | Inf | 3.46%
2.25/2.32 c 1.6s| 6000 | 771 | 5781 | 0.8 | 3772k | 46 | 70 | 6 | 6 | 414 | 1 | 10 | 6 | 0.000000e+00 | -- | Inf | 3.46%
2.25/2.32 c 1.6s| 6100 | 803 | 5858 | 0.8 | 3772k | 46 | 70 | 6 | 5 | 421 | 1 | 10 | 6 | 0.000000e+00 | -- | Inf | 3.46%
2.25/2.32 c 1.6s| 6200 | 809 | 5948 | 0.8 | 3772k | 46 | 70 | 6 | 7 | 433 | 1 | 10 | 6 | 0.000000e+00 | -- | Inf | 3.46%
2.25/2.32 c 1.6s| 6300 | 815 | 6035 | 0.8 | 3780k | 46 | 70 | 6 | 9 | 451 | 2 | 10 | 6 | 0.000000e+00 | -- | Inf | 3.48%
2.25/2.32 c 1.6s| 6400 | 817 | 6098 | 0.8 | 3780k | 46 | 70 | 6 | 5 | 460 | 1 | 10 | 6 | 0.000000e+00 | -- | Inf | 4.65%
2.25/2.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.25/2.32 c 1.7s| 6500 | 825 | 6195 | 0.8 | 3785k | 46 | 70 | 6 | 0 | 485 | 0 | 10 | 6 | 0.000000e+00 | -- | Inf | 4.65%
2.25/2.32 c 1.7s| 6600 | 833 | 6310 | 0.8 | 3789k | 46 | 70 | 6 | 5 | 517 | 1 | 10 | 6 | 0.000000e+00 | -- | Inf | 4.65%
2.25/2.32 c 1.7s| 6700 | 841 | 6384 | 0.8 | 3789k | 46 | 70 | 6 | 0 | 529 | 0 | 10 | 6 | 0.000000e+00 | -- | Inf | 4.65%
2.25/2.32 c 1.7s| 6800 | 855 | 6465 | 0.8 | 3806k | 46 | 70 | 6 | 0 | 541 | 0 | 10 | 6 | 0.000000e+00 | -- | Inf | 4.65%
2.25/2.32 c 1.8s| 6900 | 863 | 6544 | 0.8 | 3811k | 46 | 70 | 6 | 0 | 552 | 0 | 10 | 6 | 0.000000e+00 | -- | Inf | 4.82%
2.25/2.32 c 1.8s| 7000 | 885 | 6651 | 0.8 | 3864k | 48 | 70 | 6 | 5 | 579 | 1 | 10 | 6 | 0.000000e+00 | -- | Inf | 4.82%
2.25/2.32 c 1.8s| 7100 | 905 | 6780 | 0.8 | 3881k | 48 | 70 | 6 | 8 | 610 | 1 | 10 | 6 | 0.000000e+00 | -- | Inf | 4.82%
2.25/2.32 c 1.8s| 7200 | 917 | 6875 | 0.8 | 3884k | 48 | 70 | 7 | 0 | 627 | 0 | 12 | 6 | 0.000000e+00 | -- | Inf | 4.82%
2.25/2.32 c 1.8s| 7300 | 925 | 6946 | 0.8 | 4142k | 48 | 70 | 7 | 0 | 636 | 0 | 12 | 6 | 0.000000e+00 | -- | Inf | 4.82%
2.25/2.32 c 1.9s| 7400 | 931 | 7006 | 0.8 | 4150k | 48 | 70 | 7 | 5 | 638 | 1 | 12 | 6 | 0.000000e+00 | -- | Inf | 4.82%
2.25/2.32 c 1.9s| 7500 | 933 | 7073 | 0.8 | 4220k | 48 | 70 | 7 | 5 | 650 | 1 | 12 | 6 | 0.000000e+00 | -- | Inf | 4.82%
2.25/2.32 c 1.9s| 7600 | 941 | 7145 | 0.8 | 4228k | 48 | 70 | 7 | 6 | 660 | 2 | 12 | 6 | 0.000000e+00 | -- | Inf | 4.82%
2.25/2.32 c 1.9s| 7700 | 971 | 7216 | 0.8 | 4231k | 48 | 70 | 7 | 6 | 665 | 1 | 12 | 6 | 0.000000e+00 | -- | Inf | 4.82%
2.25/2.32 c 2.0s| 7800 | 989 | 7282 | 0.8 | 4235k | 48 | 70 | 7 | 0 | 666 | 0 | 12 | 6 | 0.000000e+00 | -- | Inf | 4.83%
2.25/2.32 c 2.0s| 7900 | 989 | 7349 | 0.8 | 4235k | 48 | 70 | 7 | 0 | 672 | 0 | 12 | 6 | 0.000000e+00 | -- | Inf | 4.85%
2.25/2.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.25/2.32 c 2.0s| 8000 | 1001 | 7438 | 0.8 | 4235k | 48 | 70 | 7 | 3 | 688 | 1 | 12 | 6 | 0.000000e+00 | -- | Inf | 4.85%
2.25/2.32 c 2.0s| 8100 | 1009 | 7518 | 0.8 | 4242k | 48 | 70 | 7 | 5 | 703 | 1 | 12 | 6 | 0.000000e+00 | -- | Inf | 5.00%
2.25/2.32 c 2.1s| 8200 | 1011 | 7585 | 0.8 | 4242k | 48 | 70 | 7 | 5 | 706 | 1 | 13 | 6 | 0.000000e+00 | -- | Inf | 5.01%
2.25/2.32 c 2.1s| 8300 | 1001 | 7639 | 0.8 | 4242k | 48 | 70 | 7 | 5 | 708 | 1 | 13 | 6 | 0.000000e+00 | -- | Inf | 5.06%
2.25/2.32 c 2.2s| 8400 | 1001 | 7692 | 0.8 | 4242k | 48 | 70 | 7 | 5 | 708 | 1 | 13 | 6 | 0.000000e+00 | -- | Inf | 5.09%
2.25/2.32 c 2.2s| 8500 | 1005 | 7787 | 0.8 | 4242k | 48 | 70 | 7 | 3 | 726 | 1 | 13 | 6 | 0.000000e+00 | -- | Inf | 7.68%
2.96/3.09 c 2.2s| 8600 | 1023 | 7908 | 0.8 | 4269k | 48 | 70 | 7 | 5 | 754 | 1 | 13 | 6 | 0.000000e+00 | -- | Inf | 9.10%
2.96/3.09 c 2.2s| 8700 | 1031 | 7978 | 0.8 | 4269k | 48 | 70 | 7 | 0 | 758 | 0 | 13 | 6 | 0.000000e+00 | -- | Inf | 9.23%
2.96/3.09 c 2.2s| 8800 | 1033 | 8038 | 0.8 | 4269k | 48 | 70 | 7 | 0 | 758 | 0 | 13 | 6 | 0.000000e+00 | -- | Inf | 9.26%
2.96/3.09 c 2.2s| 8900 | 1037 | 8106 | 0.8 | 4269k | 48 | 70 | 7 | 5 | 764 | 1 | 13 | 6 | 0.000000e+00 | -- | Inf | 9.38%
2.96/3.09 c 2.2s| 9000 | 1047 | 8186 | 0.8 | 4319k | 48 | 70 | 7 | 0 | 772 | 0 | 13 | 6 | 0.000000e+00 | -- | Inf | 9.50%
2.96/3.09 c 2.2s| 9100 | 1053 | 8239 | 0.8 | 4324k | 48 | 70 | 7 | 0 | 772 | 0 | 13 | 6 | 0.000000e+00 | -- | Inf | 9.51%
2.96/3.09 c 2.2s| 9200 | 1067 | 8322 | 0.8 | 4362k | 48 | 70 | 7 | 10 | 785 | 2 | 13 | 6 | 0.000000e+00 | -- | Inf | 9.55%
2.96/3.09 c 2.3s| 9300 | 1075 | 8397 | 0.8 | 4362k | 48 | 70 | 7 | 5 | 801 | 1 | 14 | 6 | 0.000000e+00 | -- | Inf | 9.55%
2.96/3.09 c 2.3s| 9400 | 1077 | 8467 | 0.8 | 4621k | 48 | 70 | 7 | 0 | 809 | 0 | 14 | 6 | 0.000000e+00 | -- | Inf | 9.58%
2.96/3.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.96/3.09 c 2.3s| 9500 | 1083 | 8528 | 0.8 | 4621k | 48 | 70 | 7 | 3 | 811 | 1 | 14 | 6 | 0.000000e+00 | -- | Inf | 9.64%
2.96/3.09 c 2.3s| 9600 | 1091 | 8595 | 0.8 | 4621k | 48 | 70 | 7 | 0 | 816 | 0 | 14 | 6 | 0.000000e+00 | -- | Inf | 9.72%
2.96/3.09 c 2.3s| 9700 | 1101 | 8674 | 0.8 | 4621k | 48 | 70 | 7 | 0 | 829 | 0 | 14 | 6 | 0.000000e+00 | -- | Inf | 9.73%
2.96/3.09 c 2.3s| 9800 | 1113 | 8770 | 0.8 | 4749k | 48 | 70 | 7 | 5 | 848 | 1 | 14 | 6 | 0.000000e+00 | -- | Inf | 9.74%
2.96/3.09 c 2.3s| 9900 | 1117 | 8826 | 0.8 | 4749k | 48 | 70 | 7 | 0 | 851 | 0 | 14 | 6 | 0.000000e+00 | -- | Inf | 9.75%
2.96/3.09 c 2.4s| 10000 | 1119 | 8882 | 0.8 | 4749k | 48 | 70 | 7 | 0 | 855 | 0 | 14 | 6 | 0.000000e+00 | -- | Inf | 9.76%
2.96/3.09 c 2.4s| 10100 | 1125 | 8963 | 0.8 | 4749k | 48 | 70 | 7 | 5 | 869 | 1 | 14 | 6 | 0.000000e+00 | -- | Inf | 9.81%
2.96/3.09 c 2.4s| 10200 | 1131 | 9042 | 0.8 | 4763k | 48 | 70 | 7 | 5 | 880 | 1 | 17 | 6 | 0.000000e+00 | -- | Inf | 9.85%
2.96/3.09 c 2.4s| 10300 | 1135 | 9100 | 0.8 | 4763k | 48 | 70 | 7 | 5 | 882 | 1 | 17 | 6 | 0.000000e+00 | -- | Inf | 9.85%
2.96/3.09 c 2.4s| 10400 | 1159 | 9197 | 0.8 | 4763k | 48 | 70 | 7 | 7 | 890 | 1 | 17 | 6 | 0.000000e+00 | -- | Inf | 9.85%
2.96/3.09 c 2.4s| 10500 | 1201 | 9379 | 0.8 | 4893k | 48 | 70 | 7 | 8 | 940 | 1 | 17 | 6 | 0.000000e+00 | -- | Inf | 9.85%
2.96/3.09 c 2.5s| 10600 | 1237 | 9602 | 0.8 | 5109k | 48 | 70 | 7 | 0 |1016 | 0 | 18 | 6 | 0.000000e+00 | -- | Inf | 9.85%
2.96/3.09 c 2.5s| 10700 | 1247 | 9702 | 0.8 | 5174k | 51 | 70 | 7 | 8 |1040 | 1 | 22 | 6 | 0.000000e+00 | -- | Inf | 9.85%
2.96/3.09 c 2.5s| 10800 | 1253 | 9789 | 0.8 | 5207k | 51 | 70 | 7 | 8 |1063 | 1 | 22 | 6 | 0.000000e+00 | -- | Inf | 9.85%
2.96/3.09 c 2.5s| 10900 | 1275 | 9870 | 0.8 | 5209k | 54 | 70 | 7 | 9 |1065 | 1 | 24 | 6 | 0.000000e+00 | -- | Inf | 9.85%
2.96/3.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.96/3.09 c 2.5s| 11000 | 1285 | 9934 | 0.8 | 5284k | 56 | 70 | 7 | 8 |1073 | 1 | 33 | 6 | 0.000000e+00 | -- | Inf | 9.85%
2.96/3.09 c 2.5s| 11100 | 1289 | 10017 | 0.8 | 5284k | 56 | 70 | 7 | 11 |1090 | 1 | 33 | 6 | 0.000000e+00 | -- | Inf | 9.85%
2.96/3.09 c 2.5s| 11200 | 1291 | 10101 | 0.8 | 5284k | 56 | 70 | 7 | 7 |1110 | 1 | 36 | 6 | 0.000000e+00 | -- | Inf | 9.85%
2.96/3.09 c 2.6s| 11300 | 1293 | 10208 | 0.8 | 5284k | 56 | 70 | 7 | 10 |1138 | 1 | 36 | 6 | 0.000000e+00 | -- | Inf | 9.85%
2.96/3.09 c 2.6s| 11400 | 1299 | 10269 | 0.8 | 5288k | 56 | 70 | 7 | 0 |1142 | 0 | 40 | 6 | 0.000000e+00 | -- | Inf | 9.85%
2.96/3.09 c 2.6s| 11500 | 1295 | 10325 | 0.8 | 5370k | 56 | 70 | 7 | 0 |1147 | 0 | 45 | 6 | 0.000000e+00 | -- | Inf | 9.85%
2.96/3.09 c 2.6s| 11600 | 1313 | 10396 | 0.8 | 5370k | 57 | 70 | 7 | 5 |1149 | 1 | 49 | 6 | 0.000000e+00 | -- | Inf | 9.85%
2.96/3.09 c 2.6s| 11700 | 1315 | 10468 | 0.8 | 5370k | 57 | 70 | 7 | 5 |1157 | 1 | 50 | 6 | 0.000000e+00 | -- | Inf | 9.94%
2.96/3.09 c 2.6s| 11800 | 1319 | 10529 | 0.8 | 5370k | 57 | 70 | 7 | 5 |1159 | 1 | 50 | 6 | 0.000000e+00 | -- | Inf | 9.97%
2.96/3.09 c 2.6s| 11900 | 1323 | 10587 | 0.8 | 5370k | 57 | 70 | 7 | 0 |1159 | 0 | 50 | 6 | 0.000000e+00 | -- | Inf | 9.97%
2.96/3.09 c 2.6s| 12000 | 1327 | 10649 | 0.8 | 5370k | 57 | 70 | 7 | 5 |1161 | 1 | 50 | 6 | 0.000000e+00 | -- | Inf | 10.00%
2.96/3.09 c 2.7s| 12100 | 1327 | 10700 | 0.8 | 5370k | 57 | 70 | 7 | 0 |1161 | 0 | 50 | 6 | 0.000000e+00 | -- | Inf | 10.01%
2.96/3.09 c 2.7s| 12200 | 1331 | 10759 | 0.8 | 5370k | 57 | 70 | 7 | 0 |1165 | 0 | 50 | 6 | 0.000000e+00 | -- | Inf | 10.02%
2.96/3.09 c 2.7s| 12300 | 1345 | 10819 | 0.8 | 5370k | 57 | 70 | 7 | 0 |1166 | 0 | 50 | 6 | 0.000000e+00 | -- | Inf | 10.05%
2.96/3.09 c 2.7s| 12400 | 1339 | 10872 | 0.8 | 5386k | 57 | 70 | 7 | 0 |1166 | 0 | 50 | 6 | 0.000000e+00 | -- | Inf | 10.05%
2.96/3.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.96/3.09 c 2.7s| 12500 | 1359 | 10934 | 0.8 | 5386k | 57 | 70 | 7 | 7 |1166 | 1 | 50 | 6 | 0.000000e+00 | -- | Inf | 10.05%
2.96/3.09 c 2.7s| 12600 | 1353 | 10983 | 0.8 | 5386k | 57 | 70 | 7 | 7 |1166 | 1 | 50 | 6 | 0.000000e+00 | -- | Inf | 10.05%
2.96/3.09 c 2.7s| 12700 | 1367 | 11040 | 0.8 | 5386k | 57 | 70 | 7 | 7 |1166 | 1 | 50 | 6 | 0.000000e+00 | -- | Inf | 10.05%
2.96/3.09 c 2.8s| 12800 | 1371 | 11092 | 0.8 | 5386k | 57 | 70 | 7 | 0 |1166 | 0 | 50 | 6 | 0.000000e+00 | -- | Inf | 10.05%
2.96/3.09 c 2.8s| 12900 | 1371 | 11144 | 0.8 | 5386k | 57 | 70 | 7 | 7 |1166 | 1 | 50 | 6 | 0.000000e+00 | -- | Inf | 10.06%
2.96/3.09 c 2.8s| 13000 | 1373 | 11196 | 0.8 | 5386k | 57 | 70 | 7 | 7 |1166 | 1 | 50 | 6 | 0.000000e+00 | -- | Inf | 10.06%
2.96/3.09 c 2.8s| 13100 | 1389 | 11254 | 0.8 | 5386k | 57 | 70 | 7 | 0 |1166 | 0 | 50 | 6 | 0.000000e+00 | -- | Inf | 10.06%
2.96/3.09 c 2.8s| 13200 | 1385 | 11302 | 0.8 | 5386k | 57 | 70 | 7 | 0 |1166 | 0 | 50 | 6 | 0.000000e+00 | -- | Inf | 10.06%
2.96/3.09 c 2.8s| 13300 | 1389 | 11365 | 0.8 | 5386k | 57 | 70 | 7 | 0 |1166 | 0 | 50 | 6 | 0.000000e+00 | -- | Inf | 10.06%
2.96/3.09 c 2.9s| 13400 | 1399 | 11429 | 0.8 | 5386k | 57 | 70 | 7 | 8 |1167 | 1 | 50 | 6 | 0.000000e+00 | -- | Inf | 10.06%
2.96/3.09 c 2.9s| 13500 | 1401 | 11480 | 0.8 | 5386k | 57 | 70 | 7 | 0 |1167 | 0 | 50 | 6 | 0.000000e+00 | -- | Inf | 10.06%
2.96/3.09 c 2.9s| 13600 | 1401 | 11530 | 0.8 | 5386k | 57 | 70 | 7 | 0 |1167 | 0 | 50 | 6 | 0.000000e+00 | -- | Inf | 10.06%
2.96/3.09 c 2.9s| 13700 | 1403 | 11581 | 0.8 | 5386k | 57 | 70 | 7 | 7 |1167 | 1 | 50 | 6 | 0.000000e+00 | -- | Inf | 10.06%
2.96/3.09 c 2.9s| 13800 | 1405 | 11632 | 0.8 | 5386k | 57 | 70 | 7 | 7 |1167 | 1 | 50 | 6 | 0.000000e+00 | -- | Inf | 10.06%
3.75/3.81 c 2.9s| 13900 | 1411 | 11685 | 0.8 | 5386k | 57 | 70 | 7 | 0 |1167 | 0 | 50 | 6 | 0.000000e+00 | -- | Inf | 10.06%
3.75/3.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.75/3.81 c 3.0s| 14000 | 1409 | 11734 | 0.8 | 5386k | 57 | 70 | 7 | 0 |1167 | 0 | 50 | 6 | 0.000000e+00 | -- | Inf | 10.06%
3.75/3.81 c 3.0s| 14100 | 1409 | 11784 | 0.8 | 5386k | 57 | 70 | 7 | 0 |1167 | 0 | 50 | 6 | 0.000000e+00 | -- | Inf | 10.06%
3.75/3.81 c 3.0s| 14200 | 1427 | 11846 | 0.8 | 5394k | 57 | 70 | 7 | 7 |1167 | 1 | 50 | 6 | 0.000000e+00 | -- | Inf | 10.06%
3.75/3.81 c 3.0s| 14300 | 1431 | 11904 | 0.8 | 5394k | 57 | 70 | 7 | 7 |1167 | 1 | 50 | 6 | 0.000000e+00 | -- | Inf | 10.06%
3.75/3.81 c 3.0s| 14400 | 1435 | 11958 | 0.8 | 5394k | 57 | 70 | 7 | 0 |1168 | 0 | 50 | 6 | 0.000000e+00 | -- | Inf | 10.06%
3.75/3.81 c 3.1s| 14500 | 1455 | 12032 | 0.8 | 5394k | 57 | 70 | 7 | 7 |1168 | 1 | 50 | 6 | 0.000000e+00 | -- | Inf | 10.06%
3.75/3.81 c 3.1s| 14600 | 1459 | 12093 | 0.8 | 5394k | 57 | 70 | 7 | 5 |1168 | 1 | 50 | 6 | 0.000000e+00 | -- | Inf | 10.08%
3.75/3.81 c 3.1s| 14700 | 1453 | 12145 | 0.8 | 5394k | 57 | 70 | 7 | 5 |1171 | 1 | 50 | 6 | 0.000000e+00 | -- | Inf | 10.09%
3.75/3.81 c 3.1s| 14800 | 1447 | 12194 | 0.8 | 5394k | 57 | 70 | 7 | 0 |1171 | 0 | 50 | 6 | 0.000000e+00 | -- | Inf | 10.12%
3.75/3.81 c 3.1s| 14900 | 1443 | 12265 | 0.8 | 5394k | 57 | 70 | 7 | 8 |1182 | 1 | 50 | 6 | 0.000000e+00 | -- | Inf | 10.14%
3.75/3.81 c 3.1s| 15000 | 1447 | 12323 | 0.8 | 5394k | 57 | 70 | 7 | 0 |1185 | 0 | 50 | 6 | 0.000000e+00 | -- | Inf | 10.16%
3.75/3.81 c 3.1s| 15100 | 1449 | 12376 | 0.8 | 5394k | 57 | 70 | 7 | 0 |1185 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.17%
3.75/3.81 c 3.1s| 15200 | 1451 | 12441 | 0.8 | 5394k | 57 | 70 | 7 | 5 |1195 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.22%
3.75/3.81 c 3.1s| 15300 | 1455 | 12497 | 0.8 | 5394k | 57 | 70 | 7 | 5 |1195 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.23%
3.75/3.81 c 3.2s| 15400 | 1453 | 12547 | 0.8 | 5394k | 57 | 70 | 7 | 0 |1195 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.23%
3.75/3.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.75/3.81 c 3.2s| 15500 | 1455 | 12603 | 0.8 | 5394k | 57 | 70 | 7 | 0 |1195 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.25%
3.75/3.81 c 3.2s| 15600 | 1459 | 12661 | 0.8 | 5394k | 57 | 70 | 7 | 5 |1195 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.25%
3.75/3.81 c 3.2s| 15700 | 1463 | 12724 | 0.8 | 5394k | 57 | 70 | 7 | 0 |1198 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.25%
3.75/3.81 c 3.2s| 15800 | 1467 | 12783 | 0.8 | 5394k | 57 | 70 | 7 | 5 |1198 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.25%
3.75/3.81 c 3.2s| 15900 | 1469 | 12845 | 0.8 | 5394k | 57 | 70 | 7 | 5 |1198 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.25%
3.75/3.81 c 3.2s| 16000 | 1471 | 12900 | 0.8 | 5394k | 57 | 70 | 7 | 0 |1198 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.26%
3.75/3.81 c 3.3s| 16100 | 1477 | 12956 | 0.8 | 5394k | 57 | 70 | 7 | 0 |1198 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.26%
3.75/3.81 c 3.3s| 16200 | 1485 | 13015 | 0.7 | 5394k | 57 | 70 | 7 | 8 |1198 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.26%
3.75/3.81 c 3.3s| 16300 | 1487 | 13072 | 0.7 | 5394k | 57 | 70 | 7 | 0 |1198 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.27%
3.75/3.81 c 3.3s| 16400 | 1489 | 13124 | 0.7 | 5394k | 57 | 70 | 7 | 0 |1198 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.27%
3.75/3.81 c 3.3s| 16500 | 1493 | 13176 | 0.7 | 5394k | 57 | 70 | 7 | 0 |1198 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.27%
3.75/3.81 c 3.3s| 16600 | 1503 | 13246 | 0.7 | 5424k | 57 | 70 | 7 | 0 |1202 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.34%
3.75/3.81 c 3.4s| 16700 | 1505 | 13297 | 0.7 | 5424k | 57 | 70 | 7 | 0 |1202 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.34%
3.75/3.81 c 3.4s| 16800 | 1505 | 13347 | 0.7 | 5424k | 57 | 70 | 7 | 0 |1202 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.34%
3.75/3.81 c 3.4s| 16900 | 1513 | 13403 | 0.7 | 5424k | 57 | 70 | 7 | 5 |1202 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.34%
3.75/3.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.75/3.81 c 3.4s| 17000 | 1517 | 13456 | 0.7 | 5424k | 57 | 70 | 7 | 0 |1202 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.34%
3.75/3.81 c 3.4s| 17100 | 1519 | 13507 | 0.7 | 5424k | 57 | 70 | 7 | 5 |1202 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.34%
3.75/3.81 c 3.4s| 17200 | 1527 | 13563 | 0.7 | 5424k | 57 | 70 | 7 | 5 |1202 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.34%
3.75/3.81 c 3.4s| 17300 | 1533 | 13618 | 0.7 | 5424k | 57 | 70 | 7 | 5 |1202 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.35%
3.75/3.81 c 3.4s| 17400 | 1531 | 13667 | 0.7 | 5424k | 57 | 70 | 7 | 0 |1202 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.35%
3.75/3.81 c 3.5s| 17500 | 1535 | 13721 | 0.7 | 5424k | 57 | 70 | 7 | 0 |1202 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.35%
3.75/3.81 c 3.5s| 17600 | 1545 | 13792 | 0.7 | 5425k | 60 | 70 | 7 | 0 |1202 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.37%
3.75/3.81 c 3.5s| 17700 | 1547 | 13853 | 0.7 | 5425k | 60 | 70 | 7 | 7 |1206 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.37%
3.75/3.81 c 3.5s| 17800 | 1549 | 13910 | 0.7 | 5433k | 60 | 70 | 7 | 0 |1206 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.37%
3.75/3.81 c 3.5s| 17900 | 1553 | 13964 | 0.7 | 5433k | 60 | 70 | 7 | 5 |1206 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.37%
3.75/3.81 c 3.5s| 18000 | 1555 | 14015 | 0.7 | 5433k | 60 | 70 | 7 | 5 |1206 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.37%
3.75/3.81 c 3.6s| 18100 | 1551 | 14063 | 0.7 | 5433k | 60 | 70 | 7 | 0 |1206 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.37%
3.75/3.81 c 3.6s| 18200 | 1551 | 14115 | 0.7 | 5433k | 60 | 70 | 7 | 0 |1206 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.38%
3.75/3.81 c 3.6s| 18300 | 1555 | 14171 | 0.7 | 5433k | 60 | 70 | 7 | 5 |1206 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.38%
3.75/3.81 c 3.6s| 18400 | 1555 | 14226 | 0.7 | 5433k | 60 | 70 | 7 | 0 |1206 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.39%
3.75/3.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.75/3.81 c 3.6s| 18500 | 1559 | 14280 | 0.7 | 5433k | 60 | 70 | 7 | 6 |1206 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.40%
3.75/3.81 c 3.6s| 18600 | 1559 | 14345 | 0.7 | 5433k | 60 | 70 | 7 | 5 |1216 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.41%
3.75/3.81 c 3.6s| 18700 | 1571 | 14405 | 0.7 | 5433k | 60 | 70 | 7 | 5 |1216 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.41%
3.75/3.81 c 3.6s| 18800 | 1573 | 14470 | 0.7 | 5433k | 60 | 70 | 7 | 5 |1223 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.43%
3.75/3.81 c 3.7s| 18900 | 1577 | 14522 | 0.7 | 5433k | 60 | 70 | 7 | 5 |1223 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.43%
3.75/3.81 c 3.7s| 19000 | 1589 | 14578 | 0.7 | 5495k | 60 | 70 | 7 | 0 |1223 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.43%
4.54/4.69 c 3.7s| 19100 | 1601 | 14634 | 0.7 | 5511k | 60 | 70 | 7 | 0 |1223 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.43%
4.54/4.69 c 3.7s| 19200 | 1603 | 14685 | 0.7 | 5511k | 60 | 70 | 7 | 0 |1223 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.43%
4.54/4.69 c 3.7s| 19300 | 1605 | 14736 | 0.7 | 5511k | 60 | 70 | 7 | 0 |1223 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.43%
4.54/4.69 c 3.7s| 19400 | 1603 | 14785 | 0.7 | 5511k | 60 | 70 | 7 | 0 |1223 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.43%
4.54/4.69 c 3.7s| 19500 | 1605 | 14836 | 0.7 | 5511k | 60 | 70 | 7 | 0 |1223 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.43%
4.54/4.69 c 3.8s| 19600 | 1605 | 14886 | 0.7 | 5511k | 60 | 70 | 7 | 0 |1223 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.43%
4.54/4.69 c 3.8s| 19700 | 1605 | 14936 | 0.7 | 5511k | 60 | 70 | 7 | 5 |1223 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.43%
4.54/4.69 c 3.8s| 19800 | 1603 | 14986 | 0.7 | 5511k | 60 | 70 | 7 | 0 |1223 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.43%
4.54/4.69 c 3.8s| 19900 | 1603 | 15036 | 0.7 | 5511k | 60 | 70 | 7 | 5 |1223 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.43%
4.54/4.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.54/4.69 c 3.8s| 20000 | 1603 | 15086 | 0.7 | 5511k | 60 | 70 | 7 | 5 |1223 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.43%
4.54/4.69 c 3.9s| 20100 | 1603 | 15140 | 0.7 | 5511k | 60 | 70 | 7 | 5 |1223 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.44%
4.54/4.69 c 3.9s| 20200 | 1607 | 15194 | 0.7 | 5511k | 60 | 70 | 7 | 5 |1223 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.44%
4.54/4.69 c 3.9s| 20300 | 1621 | 15257 | 0.7 | 5511k | 60 | 70 | 7 | 5 |1223 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.44%
4.54/4.69 c 3.9s| 20400 | 1625 | 15309 | 0.7 | 5511k | 60 | 70 | 7 | 5 |1223 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.44%
4.54/4.69 c 3.9s| 20500 | 1623 | 15358 | 0.7 | 5511k | 60 | 70 | 7 | 0 |1223 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.44%
4.54/4.69 c 3.9s| 20600 | 1623 | 15408 | 0.7 | 5511k | 60 | 70 | 7 | 5 |1223 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.44%
4.54/4.69 c 3.9s| 20700 | 1623 | 15458 | 0.7 | 5511k | 60 | 70 | 7 | 0 |1223 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.44%
4.54/4.69 c 4.0s| 20800 | 1637 | 15521 | 0.7 | 5511k | 60 | 70 | 7 | 0 |1227 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.44%
4.54/4.69 c 4.0s| 20900 | 1645 | 15575 | 0.7 | 5511k | 60 | 70 | 7 | 5 |1227 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.44%
4.54/4.69 c 4.0s| 21000 | 1647 | 15626 | 0.7 | 5511k | 60 | 70 | 7 | 0 |1227 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.44%
4.54/4.69 c 4.0s| 21100 | 1649 | 15677 | 0.7 | 5511k | 60 | 70 | 7 | 5 |1227 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.44%
4.54/4.69 c 4.0s| 21200 | 1649 | 15727 | 0.7 | 5511k | 60 | 70 | 7 | 0 |1227 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.44%
4.54/4.69 c 4.0s| 21300 | 1649 | 15777 | 0.7 | 5511k | 60 | 70 | 7 | 5 |1227 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.44%
4.54/4.69 c 4.0s| 21400 | 1651 | 15828 | 0.7 | 5511k | 60 | 70 | 7 | 0 |1227 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.44%
4.54/4.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.54/4.69 c 4.1s| 21500 | 1653 | 15879 | 0.7 | 5511k | 60 | 70 | 7 | 0 |1227 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.44%
4.54/4.69 c 4.1s| 21600 | 1655 | 15930 | 0.7 | 5511k | 60 | 70 | 7 | 0 |1227 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.44%
4.54/4.69 c 4.1s| 21700 | 1657 | 15981 | 0.7 | 5511k | 60 | 70 | 7 | 5 |1227 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.44%
4.54/4.69 c 4.1s| 21800 | 1655 | 16030 | 0.7 | 5511k | 60 | 70 | 7 | 5 |1227 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.44%
4.54/4.69 c 4.1s| 21900 | 1655 | 16080 | 0.7 | 5511k | 60 | 70 | 7 | 5 |1227 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.45%
4.54/4.69 c 4.2s| 22000 | 1653 | 16130 | 0.7 | 5511k | 60 | 70 | 7 | 0 |1227 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.46%
4.54/4.69 c 4.2s| 22100 | 1657 | 16193 | 0.7 | 5511k | 60 | 70 | 7 | 5 |1233 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.46%
4.54/4.69 c 4.2s| 22200 | 1655 | 16242 | 0.7 | 5511k | 60 | 70 | 7 | 0 |1233 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.46%
4.54/4.69 c 4.2s| 22300 | 1661 | 16295 | 0.7 | 5511k | 60 | 70 | 7 | 5 |1233 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.46%
4.54/4.69 c 4.2s| 22400 | 1661 | 16345 | 0.7 | 5511k | 60 | 70 | 7 | 5 |1233 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.46%
4.54/4.69 c 4.2s| 22500 | 1661 | 16395 | 0.7 | 5511k | 60 | 70 | 7 | 5 |1233 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.47%
4.54/4.69 c 4.3s| 22600 | 1659 | 16448 | 0.7 | 5511k | 60 | 70 | 7 | 0 |1233 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.47%
4.54/4.69 c 4.3s| 22700 | 1663 | 16500 | 0.7 | 5511k | 60 | 70 | 7 | 5 |1233 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.47%
4.54/4.69 c 4.3s| 22800 | 1661 | 16549 | 0.7 | 5511k | 60 | 70 | 7 | 0 |1233 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.47%
4.54/4.69 c 4.3s| 22900 | 1671 | 16610 | 0.7 | 5511k | 60 | 70 | 7 | 0 |1233 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.47%
4.54/4.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.54/4.69 c 4.3s| 23000 | 1679 | 16670 | 0.7 | 5571k | 60 | 70 | 7 | 0 |1233 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.47%
4.54/4.69 c 4.3s| 23100 | 1681 | 16721 | 0.7 | 5571k | 60 | 70 | 7 | 0 |1233 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.47%
4.54/4.69 c 4.3s| 23200 | 1683 | 16772 | 0.7 | 5571k | 60 | 70 | 7 | 0 |1233 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.47%
4.54/4.69 c 4.4s| 23300 | 1683 | 16822 | 0.7 | 5571k | 60 | 70 | 7 | 5 |1233 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.47%
4.54/4.69 c 4.4s| 23400 | 1685 | 16873 | 0.7 | 5571k | 60 | 70 | 7 | 0 |1233 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.47%
4.54/4.69 c 4.4s| 23500 | 1685 | 16923 | 0.7 | 5571k | 60 | 70 | 7 | 0 |1233 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 10.86%
4.54/4.69 c 4.4s| 23600 | 1687 | 16974 | 0.7 | 5571k | 60 | 70 | 7 | 5 |1233 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 11.05%
4.54/4.69 c 4.4s| 23700 | 1693 | 17031 | 0.7 | 5571k | 60 | 70 | 7 | 0 |1233 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 11.05%
4.54/4.69 c 4.5s| 23800 | 1703 | 17086 | 0.7 | 5571k | 60 | 70 | 7 | 0 |1233 | 0 | 52 | 6 | 0.000000e+00 | -- | Inf | 11.06%
4.54/4.69 c 4.5s| 23900 | 1717 | 17143 | 0.7 | 5571k | 60 | 70 | 7 | 5 |1233 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 11.06%
4.54/4.69 c 4.5s| 24000 | 1717 | 17193 | 0.7 | 5571k | 60 | 70 | 7 | 5 |1233 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 11.06%
4.54/4.69 c 4.5s| 24100 | 1719 | 17251 | 0.7 | 5571k | 60 | 70 | 7 | 5 |1240 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 11.06%
4.54/4.69 c 4.5s| 24200 | 1721 | 17308 | 0.7 | 5571k | 60 | 70 | 7 | 5 |1244 | 1 | 52 | 6 | 0.000000e+00 | -- | Inf | 11.06%
4.54/4.69 c 4.5s| 24300 | 1723 | 17368 | 0.7 | 5571k | 60 | 70 | 7 | 0 |1249 | 0 | 60 | 6 | 0.000000e+00 | -- | Inf | 11.06%
5.44/5.51 c 4.5s| 24400 | 1729 | 17421 | 0.7 | 5571k | 60 | 70 | 7 | 5 |1249 | 1 | 60 | 6 | 0.000000e+00 | -- | Inf | 11.06%
5.44/5.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.44/5.51 c 4.6s| 24500 | 1735 | 17476 | 0.7 | 5571k | 60 | 70 | 7 | 3 |1249 | 1 | 60 | 6 | 0.000000e+00 | -- | Inf | 11.28%
5.44/5.51 c 4.6s| 24600 | 1739 | 17536 | 0.7 | 5571k | 60 | 70 | 7 | 0 |1254 | 0 | 60 | 6 | 0.000000e+00 | -- | Inf | 11.42%
5.44/5.51 c 4.6s| 24700 | 1745 | 17592 | 0.7 | 5571k | 60 | 70 | 7 | 5 |1254 | 1 | 60 | 6 | 0.000000e+00 | -- | Inf | 11.42%
5.44/5.51 c 4.6s| 24800 | 1747 | 17643 | 0.7 | 5571k | 60 | 70 | 7 | 5 |1254 | 1 | 60 | 6 | 0.000000e+00 | -- | Inf | 11.42%
5.44/5.51 c 4.6s| 24900 | 1751 | 17697 | 0.7 | 5571k | 60 | 70 | 7 | 6 |1254 | 1 | 60 | 6 | 0.000000e+00 | -- | Inf | 11.47%
5.44/5.51 c 4.6s| 25000 | 1755 | 17777 | 0.7 | 5571k | 60 | 70 | 7 | 6 |1270 | 1 | 61 | 6 | 0.000000e+00 | -- | Inf | 11.47%
5.44/5.51 c 4.7s| 25100 | 1761 | 17832 | 0.7 | 5571k | 60 | 70 | 7 | 0 |1271 | 0 | 61 | 6 | 0.000000e+00 | -- | Inf | 11.47%
5.44/5.51 c 4.7s| 25200 | 1759 | 17891 | 0.7 | 5571k | 60 | 70 | 7 | 5 |1281 | 1 | 61 | 6 | 0.000000e+00 | -- | Inf | 11.47%
5.44/5.51 c 4.7s| 25300 | 1753 | 17938 | 0.7 | 5571k | 60 | 70 | 7 | 5 |1281 | 1 | 61 | 6 | 0.000000e+00 | -- | Inf | 11.51%
5.44/5.51 c 4.7s| 25400 | 1753 | 17988 | 0.7 | 5571k | 60 | 70 | 7 | 0 |1281 | 0 | 61 | 6 | 0.000000e+00 | -- | Inf | 11.51%
5.44/5.51 c 4.7s| 25500 | 1763 | 18056 | 0.7 | 5571k | 60 | 70 | 7 | 8 |1287 | 2 | 61 | 6 | 0.000000e+00 | -- | Inf | 11.52%
5.44/5.51 c 4.7s| 25600 | 1765 | 18130 | 0.7 | 5572k | 60 | 70 | 7 | 6 |1300 | 1 | 62 | 6 | 0.000000e+00 | -- | Inf | 11.55%
5.44/5.51 c 4.8s| 25700 | 1767 | 18192 | 0.7 | 5572k | 60 | 70 | 7 | 5 |1306 | 1 | 62 | 6 | 0.000000e+00 | -- | Inf | 11.56%
5.44/5.51 c 4.8s| 25800 | 1767 | 18243 | 0.7 | 5572k | 60 | 70 | 7 | 0 |1306 | 0 | 62 | 6 | 0.000000e+00 | -- | Inf | 11.56%
5.44/5.51 c 4.8s| 25900 | 1775 | 18335 | 0.7 | 5572k | 60 | 70 | 7 | 5 |1324 | 1 | 63 | 6 | 0.000000e+00 | -- | Inf | 11.56%
5.44/5.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.44/5.51 c 4.8s| 26000 | 1779 | 18387 | 0.7 | 5572k | 60 | 70 | 7 | 5 |1324 | 1 | 63 | 6 | 0.000000e+00 | -- | Inf | 11.56%
5.44/5.51 c 4.8s| 26100 | 1781 | 18438 | 0.7 | 5572k | 60 | 70 | 7 | 0 |1324 | 0 | 63 | 6 | 0.000000e+00 | -- | Inf | 11.56%
5.44/5.51 c 4.8s| 26200 | 1783 | 18491 | 0.7 | 5572k | 60 | 70 | 7 | 8 |1324 | 1 | 63 | 6 | 0.000000e+00 | -- | Inf | 11.58%
5.44/5.51 c 4.8s| 26300 | 1791 | 18545 | 0.7 | 5572k | 60 | 70 | 7 | 5 |1324 | 1 | 63 | 6 | 0.000000e+00 | -- | Inf | 11.58%
5.44/5.51 c 4.9s| 26400 | 1793 | 18596 | 0.7 | 5572k | 60 | 70 | 7 | 0 |1324 | 0 | 63 | 6 | 0.000000e+00 | -- | Inf | 11.58%
5.44/5.51 c 4.9s| 26500 | 1801 | 18652 | 0.7 | 5572k | 60 | 70 | 7 | 5 |1324 | 1 | 63 | 6 | 0.000000e+00 | -- | Inf | 11.61%
5.44/5.51 c 4.9s| 26600 | 1809 | 18710 | 0.7 | 5572k | 60 | 70 | 7 | 0 |1324 | 0 | 63 | 6 | 0.000000e+00 | -- | Inf | 11.61%
5.44/5.51 c 4.9s| 26700 | 1813 | 18764 | 0.7 | 5572k | 60 | 70 | 7 | 5 |1324 | 1 | 63 | 6 | 0.000000e+00 | -- | Inf | 11.61%
5.44/5.51 c 4.9s| 26800 | 1815 | 18817 | 0.7 | 5572k | 60 | 70 | 7 | 5 |1324 | 1 | 63 | 6 | 0.000000e+00 | -- | Inf | 11.61%
5.44/5.51 c 4.9s| 26900 | 1817 | 18888 | 0.7 | 6089k | 60 | 70 | 7 | 5 |1336 | 1 | 64 | 6 | 0.000000e+00 | -- | Inf | 11.61%
5.44/5.51 c 5.0s| 27000 | 1821 | 18940 | 0.7 | 6089k | 60 | 70 | 7 | 5 |1336 | 1 | 64 | 6 | 0.000000e+00 | -- | Inf | 11.61%
5.44/5.51 c 5.0s| 27100 | 1821 | 18990 | 0.7 | 6089k | 60 | 70 | 7 | 0 |1336 | 0 | 64 | 6 | 0.000000e+00 | -- | Inf | 11.61%
5.44/5.51 c 5.0s| 27200 | 1825 | 19042 | 0.7 | 6089k | 60 | 70 | 7 | 5 |1336 | 1 | 64 | 6 | 0.000000e+00 | -- | Inf | 11.61%
5.44/5.51 c 5.0s| 27300 | 1831 | 19095 | 0.7 | 6089k | 60 | 70 | 7 | 5 |1336 | 1 | 64 | 6 | 0.000000e+00 | -- | Inf | 11.61%
5.44/5.51 c 5.0s| 27400 | 1831 | 19145 | 0.7 | 6089k | 60 | 70 | 7 | 0 |1336 | 0 | 64 | 6 | 0.000000e+00 | -- | Inf | 11.61%
5.44/5.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.44/5.51 c 5.0s| 27500 | 1841 | 19202 | 0.7 | 6089k | 60 | 70 | 7 | 5 |1336 | 1 | 64 | 6 | 0.000000e+00 | -- | Inf | 11.61%
5.44/5.51 c 5.1s| 27600 | 1861 | 19263 | 0.7 | 6089k | 60 | 70 | 7 | 5 |1336 | 1 | 64 | 6 | 0.000000e+00 | -- | Inf | 11.61%
5.44/5.51 c 5.1s| 27700 | 1875 | 19321 | 0.7 | 6089k | 60 | 70 | 7 | 5 |1336 | 1 | 64 | 6 | 0.000000e+00 | -- | Inf | 11.61%
5.44/5.51 c 5.1s| 27800 | 1881 | 19374 | 0.7 | 6089k | 60 | 70 | 7 | 5 |1336 | 1 | 64 | 6 | 0.000000e+00 | -- | Inf | 11.61%
5.44/5.51 c 5.1s| 27900 | 1883 | 19425 | 0.7 | 6089k | 60 | 70 | 7 | 0 |1336 | 0 | 64 | 6 | 0.000000e+00 | -- | Inf | 11.61%
5.44/5.51 c 5.1s| 28000 | 1899 | 19485 | 0.7 | 6089k | 60 | 70 | 7 | 0 |1336 | 0 | 64 | 6 | 0.000000e+00 | -- | Inf | 11.61%
5.44/5.51 c 5.1s| 28100 | 1913 | 19542 | 0.7 | 6089k | 60 | 70 | 7 | 0 |1336 | 0 | 64 | 6 | 0.000000e+00 | -- | Inf | 11.61%
5.44/5.51 c 5.1s| 28200 | 1931 | 19606 | 0.7 | 6089k | 60 | 70 | 7 | 5 |1336 | 1 | 64 | 6 | 0.000000e+00 | -- | Inf | 11.61%
5.44/5.51 c 5.1s| 28300 | 1937 | 19660 | 0.7 | 6089k | 60 | 70 | 7 | 0 |1336 | 0 | 64 | 6 | 0.000000e+00 | -- | Inf | 11.61%
5.44/5.51 c 5.2s| 28400 | 1941 | 19712 | 0.7 | 6089k | 60 | 70 | 7 | 6 |1336 | 1 | 64 | 6 | 0.000000e+00 | -- | Inf | 11.61%
5.44/5.51 c 5.2s| 28500 | 1947 | 19779 | 0.7 | 6089k | 60 | 70 | 7 | 5 |1345 | 1 | 64 | 6 | 0.000000e+00 | -- | Inf | 11.61%
5.44/5.51 c 5.2s| 28600 | 1947 | 19829 | 0.7 | 6089k | 60 | 70 | 7 | 5 |1345 | 1 | 64 | 6 | 0.000000e+00 | -- | Inf | 11.61%
5.44/5.51 c 5.2s| 28700 | 1961 | 19921 | 0.7 | 6220k | 60 | 70 | 7 | 0 |1366 | 0 | 64 | 6 | 0.000000e+00 | -- | Inf | 11.61%
5.44/5.51 c 5.2s| 28800 | 1987 | 20004 | 0.7 | 6220k | 60 | 70 | 7 | 0 |1378 | 0 | 64 | 6 | 0.000000e+00 | -- | Inf | 11.61%
5.44/5.51 c 5.2s| 28900 | 2001 | 20081 | 0.7 | 6220k | 60 | 70 | 7 | 5 |1388 | 1 | 64 | 6 | 0.000000e+00 | -- | Inf | 11.61%
5.44/5.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.44/5.51 c 5.3s| 29000 | 2009 | 20139 | 0.7 | 6233k | 60 | 70 | 7 | 5 |1388 | 1 | 64 | 6 | 0.000000e+00 | -- | Inf | 11.61%
5.44/5.51 c 5.3s| 29100 | 2015 | 20192 | 0.7 | 6233k | 60 | 70 | 7 | 5 |1388 | 1 | 64 | 6 | 0.000000e+00 | -- | Inf | 11.61%
5.44/5.51 c 5.3s| 29200 | 2017 | 20249 | 0.7 | 6233k | 60 | 70 | 7 | 5 |1388 | 1 | 64 | 6 | 0.000000e+00 | -- | Inf | 11.61%
5.44/5.51 c 5.3s| 29300 | 2021 | 20304 | 0.7 | 6233k | 60 | 70 | 7 | 0 |1388 | 0 | 64 | 6 | 0.000000e+00 | -- | Inf | 11.61%
5.44/5.51 c 5.3s| 29400 | 2025 | 20357 | 0.7 | 6233k | 60 | 70 | 7 | 0 |1388 | 0 | 64 | 6 | 0.000000e+00 | -- | Inf | 11.61%
5.44/5.51 c 5.3s| 29500 | 2027 | 20408 | 0.7 | 6233k | 60 | 70 | 7 | 5 |1388 | 1 | 64 | 6 | 0.000000e+00 | -- | Inf | 11.61%
6.54/6.62 c 5.4s| 29600 | 2037 | 20496 | 0.7 | 6233k | 60 | 70 | 7 | 0 |1406 | 0 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.61%
6.54/6.62 c 5.4s| 29700 | 2037 | 20553 | 0.7 | 6233k | 60 | 70 | 7 | 5 |1406 | 1 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.62%
6.54/6.62 c 5.4s| 29800 | 2039 | 20607 | 0.7 | 6233k | 60 | 70 | 7 | 5 |1406 | 1 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 5.4s| 29900 | 2041 | 20663 | 0.7 | 6233k | 60 | 70 | 7 | 0 |1406 | 0 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 5.4s| 30000 | 2043 | 20720 | 0.7 | 6233k | 60 | 70 | 7 | 0 |1410 | 0 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 5.4s| 30100 | 2047 | 20807 | 0.7 | 6233k | 60 | 70 | 7 | 8 |1430 | 1 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 5.5s| 30200 | 2055 | 20903 | 0.7 | 6233k | 60 | 70 | 7 | 0 |1453 | 0 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 5.5s| 30300 | 2057 | 20954 | 0.7 | 6233k | 60 | 70 | 7 | 5 |1453 | 1 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 5.5s| 30400 | 2057 | 21004 | 0.7 | 6233k | 60 | 70 | 7 | 0 |1453 | 0 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.54/6.62 c 5.5s| 30500 | 2069 | 21077 | 0.7 | 6626k | 60 | 70 | 7 | 0 |1468 | 0 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 5.6s| 30600 | 2073 | 21129 | 0.7 | 6626k | 60 | 70 | 7 | 5 |1468 | 1 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 5.6s| 30700 | 2083 | 21184 | 0.7 | 6636k | 60 | 70 | 7 | 0 |1468 | 0 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 5.6s| 30800 | 2093 | 21239 | 0.7 | 6636k | 60 | 70 | 7 | 5 |1468 | 1 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 5.6s| 30900 | 2103 | 21319 | 0.7 | 6636k | 60 | 70 | 7 | 9 |1485 | 2 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 5.6s| 31000 | 2115 | 21393 | 0.7 | 6676k | 60 | 70 | 7 | 0 |1497 | 0 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 5.6s| 31100 | 2133 | 21508 | 0.7 | 6676k | 60 | 70 | 7 | 5 |1527 | 1 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 5.7s| 31200 | 2129 | 21583 | 0.7 | 6676k | 60 | 70 | 7 | 0 |1543 | 0 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 5.7s| 31300 | 2141 | 21687 | 0.7 | 6737k | 60 | 70 | 7 | 7 |1572 | 1 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 5.7s| 31400 | 2149 | 21791 | 0.7 | 6737k | 60 | 70 | 7 | 0 |1599 | 0 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 5.7s| 31500 | 2157 | 21868 | 0.7 | 6737k | 60 | 70 | 7 | 0 |1611 | 0 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 5.8s| 31600 | 2179 | 22009 | 0.7 | 6826k | 60 | 70 | 7 | 5 |1651 | 1 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 5.8s| 31700 | 2189 | 22112 | 0.7 | 6856k | 60 | 70 | 7 | 7 |1677 | 2 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 5.8s| 31800 | 2201 | 22219 | 0.7 | 6856k | 60 | 70 | 7 | 0 |1708 | 0 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 5.8s| 31900 | 2207 | 22305 | 0.7 | 6856k | 60 | 70 | 7 | 5 |1725 | 1 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.54/6.62 c 5.8s| 32000 | 2211 | 22428 | 0.7 | 6856k | 60 | 70 | 7 | 0 |1773 | 0 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 5.9s| 32100 | 2221 | 22535 | 0.7 | 6870k | 60 | 70 | 7 | 0 |1795 | 0 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 5.9s| 32200 | 2231 | 22608 | 0.7 | 6870k | 60 | 70 | 7 | 0 |1803 | 0 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 5.9s| 32300 | 2241 | 22697 | 0.7 | 6870k | 60 | 70 | 7 | 5 |1821 | 1 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 5.9s| 32400 | 2259 | 22822 | 0.7 | 7109k | 60 | 70 | 7 | 0 |1858 | 0 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 6.0s| 32500 | 2275 | 22928 | 0.7 | 7146k | 60 | 70 | 7 | 7 |1885 | 1 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 6.0s| 32600 | 2285 | 23023 | 0.7 | 7146k | 60 | 70 | 7 | 5 |1906 | 1 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 6.0s| 32700 | 2299 | 23135 | 0.7 | 7219k | 60 | 70 | 7 | 5 |1934 | 1 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 6.0s| 32800 | 2315 | 23257 | 0.7 | 7235k | 60 | 70 | 7 | 0 |1968 | 0 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 6.1s| 32900 | 2327 | 23367 | 0.7 | 7235k | 60 | 70 | 7 | 11 |2001 | 3 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 6.1s| 33000 | 2335 | 23453 | 0.7 | 7235k | 60 | 70 | 7 | 6 |2018 | 1 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 6.1s| 33100 | 2345 | 23562 | 0.7 | 7235k | 60 | 70 | 7 | 8 |2053 | 2 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 6.1s| 33200 | 2359 | 23671 | 0.7 | 7235k | 60 | 70 | 7 | 5 |2079 | 1 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 6.1s| 33300 | 2375 | 23792 | 0.7 | 7268k | 60 | 70 | 7 | 7 |2111 | 1 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 6.2s| 33400 | 2385 | 23914 | 0.7 | 7268k | 60 | 70 | 7 | 0 |2150 | 0 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.54/6.62 c 6.2s| 33500 | 2395 | 24009 | 0.7 | 7290k | 60 | 70 | 7 | 7 |2172 | 1 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 6.2s| 33600 | 2401 | 24127 | 0.7 | 7290k | 60 | 70 | 7 | 5 |2210 | 1 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 6.2s| 33700 | 2407 | 24209 | 0.7 | 7306k | 60 | 70 | 7 | 6 |2225 | 1 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 6.2s| 33800 | 2419 | 24290 | 0.7 | 7306k | 60 | 70 | 7 | 7 |2237 | 1 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 6.3s| 33900 | 2423 | 24355 | 0.7 | 7306k | 60 | 70 | 7 | 0 |2243 | 0 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 6.3s| 34000 | 2433 | 24419 | 0.7 | 7306k | 60 | 70 | 7 | 8 |2248 | 1 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 6.3s| 34100 | 2441 | 24534 | 0.7 | 7435k | 60 | 70 | 7 | 9 |2279 | 2 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 6.3s| 34200 | 2447 | 24646 | 0.7 | 7435k | 60 | 70 | 7 | 0 |2310 | 0 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 6.3s| 34300 | 2469 | 24775 | 0.7 | 7480k | 60 | 70 | 7 | 8 |2345 | 1 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 6.4s| 34400 | 2475 | 24873 | 0.7 | 7499k | 60 | 70 | 7 | 8 |2362 | 1 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 6.4s| 34500 | 2483 | 24971 | 0.7 | 7499k | 60 | 70 | 7 | 0 |2388 | 0 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 6.4s| 34600 | 2495 | 25083 | 0.7 | 7587k | 60 | 70 | 7 | 5 |2418 | 1 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 6.4s| 34700 | 2503 | 25204 | 0.7 | 7647k | 60 | 70 | 7 | 5 |2456 | 1 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.54/6.62 c 6.5s| 34800 | 2521 | 25307 | 0.7 | 7647k | 60 | 70 | 7 | 7 |2479 | 1 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.83/6.92 c 6.5s| 34900 | 2525 | 25407 | 0.7 | 7672k | 60 | 70 | 7 | 8 |2505 | 1 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.83/6.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.83/6.92 c 6.5s| 35000 | 2545 | 25494 | 0.7 | 7672k | 60 | 70 | 7 | 7 |2520 | 1 | 65 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.83/6.92 c 6.5s| 35100 | 2571 | 25607 | 0.7 | 7672k | 60 | 70 | 7 | 6 |2532 | 1 | 67 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.83/6.92 c 6.5s| 35200 | 2609 | 25758 | 0.7 | 7793k | 60 | 70 | 7 | 9 |2559 | 1 | 68 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.83/6.92 c 6.5s| 35300 | 2624 | 25883 | 0.7 | 7950k | 60 | 70 | 7 | 6 |2587 | 1 | 68 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.83/6.92 c 6.6s| 35400 | 2638 | 26028 | 0.7 | 8026k | 60 | 70 | 7 | 8 |2635 | 1 | 69 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.83/6.92 c 6.6s| 35500 | 2650 | 26134 | 0.7 | 8058k | 60 | 70 | 7 | 0 |2657 | 0 | 69 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.83/6.92 c 6.6s| 35600 | 2664 | 26210 | 0.7 | 8058k | 60 | 70 | 7 | 0 |2664 | 0 | 69 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.83/6.92 c 6.6s| 35700 | 2670 | 26296 | 0.7 | 8058k | 60 | 70 | 7 | 0 |2680 | 0 | 69 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.83/6.92 c 6.7s| 35800 | 2670 | 26360 | 0.7 | 8165k | 60 | 70 | 7 | 7 |2691 | 1 | 69 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.83/6.92 c 6.7s| 35900 | 2682 | 26455 | 0.7 | 8165k | 60 | 70 | 7 | 8 |2714 | 1 | 69 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.83/6.92 c 6.7s| 36000 | 2694 | 26552 | 0.7 | 8165k | 60 | 70 | 7 | 6 |2738 | 1 | 69 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.83/6.92 c 6.7s| 36100 | 2710 | 26693 | 0.7 | 8176k | 60 | 70 | 7 | 6 |2775 | 1 | 69 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.83/6.92 c 6.7s| 36200 | 2720 | 26788 | 0.7 | 8176k | 60 | 70 | 7 | 6 |2801 | 1 | 69 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.83/6.92 c 6.8s| 36300 | 2726 | 26887 | 0.7 | 8178k | 60 | 70 | 8 | 0 |2830 | 0 | 71 | 6 | 0.000000e+00 | -- | Inf | 11.63%
6.83/6.92 c r 6.8s| 36324 | 0 | 26914 | 0.7 |shifting| 60 | 70 | 8 | 8 |2838 | 1 | 71 | 6 | 0.000000e+00 | 0.000000e+00 | 0.00%| 100.00%
6.83/6.92 c
6.83/6.92 c SCIP Status : problem is solved [optimal solution found]
6.83/6.92 c Solving Time (sec) : 6.78
6.83/6.92 c Solving Nodes : 36324 (total of 37383 nodes in 2 runs)
6.83/6.92 c Primal Bound : +0.00000000000000e+00 (1 solutions)
6.83/6.92 c Dual Bound : +0.00000000000000e+00
6.83/6.92 c Gap : 0.00 %
6.83/6.92 c [VIOLATION] Line 8: +12228 x1 +24456 x2 +48912 x3 +97824 x4 +195648 x5 +391296 x6 +782592 x7 +1565184 x8 +3130368 x9 +6260736 x10 +12521472 x11 +25042944 x12 +50085888 x13 +36679 x14 +73358 x15 +146716 x16 +293432 x17 +586864 x18 +1173728 x19 +2347456 x20 +4694912 x21 +9389824 x22 +18779648 x23 +37559296 x24 +75118592 x25 +36682 x26 +73364 x27 +146728 x28 +293456 x29 +586912 x30 +1173824 x31 +2347648 x32 +4695296 x33 +9390592 x34 +18781184 x35 +37562368 x36 +75124736 x37 +48908 x38 +97816 x39 +195632 x40 +391264 x41 +782528 x42 +1565056 x43 +3130112 x44 +6260224 x45 +12520448 x46 +25040896 x47 +50081792 x48 +61139 x49 +122278 x50 +244556 x51 +489112 x52 +978224 x53 +1956448 x54 +3912896 x55 +7825792 x56 +15651584 x57 +31303168 x58 +62606336 x59 +73365 x60 +146730 x61 +293460 x62 +586920 x63 +1173840 x64 +2347680 x65 +4695360 x66 +9390720 x67 +18781440 x68 +37562880 x69 +75125760 x70 >= 89716839 ;
6.83/6.92 c Computed activity: 89716821
6.83/6.92 c Required: activity >= 89716839
6.83/6.92 c Variable assignments: {x1=0, x2=0, x3=0, x4=0, x5=0, x6=1, x7=0, x8=1, x9=0, x10=0, x11=1, x12=1, x13=1, x14=1, x15=1, 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=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}}
6.83/6.92 c SCIP found a solution, but it is not feasible according to the original problem.
6.83/6.92 c ----------------------------------------------------------------------
6.83/6.92 c executing external solver (fallback): HOME/naps-1.03a6
6.83/6.92 c ----------------------------------------------------------------------
6.83/6.92 c command: HOME/naps-1.03a6 HOME/instance-4495869-1751152620.opb
6.83/6.93 c NaPS 1.03a6.
6.83/6.93 c Input file name: HOME/instance-4495869-1751152620.opb
1918.16/1923.54 c _____________________________________________________________________________
1918.16/1923.54 c std/band forms : 0,1
1918.16/1923.54 c 2cl/3cl ITE-codings : 0,35183
1918.16/1923.54 c BDD/srt/adr Max costs : 36796,0,0
1918.16/1923.54 c BDDraw/bin/mul/srt/adr: 0,0,1,0,0
1918.16/1923.54 c BDD nodes : 36798
1918.16/1923.54 c Es1/CC detections : 0,0
1918.16/1923.54 c CC sort : 0
1918.16/1923.54 c SAT/UNSAT calls : 1,0
1918.16/1923.54 c regenrated variables : 0
1918.16/1923.54 c eliminated fixed lits : 0
1918.16/1923.54 c goal lit flips : 0
1918.16/1923.54 c goal stages : 0
1918.16/1923.54 c goal shrink : 0
1918.16/1923.54 c goal coeff separations: 0
1918.16/1923.54 c restarts : 272245
1918.16/1923.54 c conflicts : 9648099 (5049 /sec)
1918.16/1923.54 c decisions : 30763623 (16098 /sec)
1918.16/1923.54 c propagations : 17024527815 (8908492 /sec)
1918.16/1923.54 c inspects : 0 (0 /sec)
1918.16/1923.54 c CPU time (solving tm) : 1911 s (1911 s, SAT 1911 s, UNSAT 0 s)
1918.16/1923.54 c Time for Opt-base : 0.05458 s
1918.16/1923.54 c Steps for Opt-base : 231070
1918.16/1923.54 c Time for BDD coding : 0.2644 s
1918.16/1923.54 c Time for srt coding : 0 s
1918.16/1923.54 c _____________________________________________________________________________
1918.16/1923.54 s SATISFIABLE
1918.16/1923.54 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
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 (62494 MiB free)
memory of node 1: 64465 MiB (63712 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4495869-1751152620/watcher-4495869-1751152620 -o /tmp/evaluation-result-4495869-1751152620/solver-4495869-1751152620 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751145166-19821 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4495869-1751152620.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=25708, runsolver pid=25705
[startup+0.100063 s]*
/proc/loadavg: 4.42 4.20 4.12 5/271 25713
/proc/meminfo: memFree=129236072/131249992 swapFree=33010684/33010684
[pid=25708] ppid=25705 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/25708/stat : 25708 (scip-naps-1.00.) S 25705 25708 19810 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 30940767 4292608 736 18446744073709551615 94700213317632 94700214212165 140722589388032 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94700214451216 94700214498960 94700214751232 140722589391265 140722589391362 140722589391362 140722589396964 0
/proc/25708/statm: 1048 736 672 219 0 110 0
[pid=25713] ppid=25708 vsize=1187344 memory=32248 CPUtime=0.07 cores=4,6
/proc/25713/stat : 25713 (python3) R 25708 25708 19810 0 -1 4194304 3804 0 0 0 6 1 0 0 20 0 1 0 30940768 1215840256 8062 18446744073709551615 94663117651968 94663117652345 140732731980800 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94663117663640 94663117664260 94663138193408 140732731984216 140732731984418 140732731984418 140732731989991 0
/proc/25713/statm: 296836 8062 4926 1 0 268858 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1191536 KiB
Current children cumulated memory: 35192 KiB
[startup+0.205545 s]*
/proc/loadavg: 4.42 4.20 4.12 5/271 25713
/proc/meminfo: memFree=129226776/131249992 swapFree=33010684/33010684
[pid=25708] ppid=25705 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/25708/stat : 25708 (scip-naps-1.00.) S 25705 25708 19810 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 30940767 4292608 736 18446744073709551615 94700213317632 94700214212165 140722589388032 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94700214451216 94700214498960 94700214751232 140722589391265 140722589391362 140722589391362 140722589396964 0
/proc/25708/statm: 1048 736 672 219 0 110 0
[pid=25713] ppid=25708 vsize=1202008 memory=54648 CPUtime=0.17 cores=4,6
/proc/25713/stat : 25713 (python3) R 25708 25708 19810 0 -1 4194304 6449 0 0 0 16 1 0 0 20 0 1 0 30940768 1230856192 13662 18446744073709551615 94663117651968 94663117652345 140732731980800 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94663117663640 94663117664260 94663138193408 140732731984216 140732731984418 140732731984418 140732731989991 0
/proc/25713/statm: 300502 13662 8126 1 0 271860 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1206200 KiB
Current children cumulated memory: 57592 KiB
[startup+0.305523 s]*
/proc/loadavg: 4.42 4.20 4.12 5/271 25713
/proc/meminfo: memFree=129226776/131249992 swapFree=33010684/33010684
[pid=25708] ppid=25705 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/25708/stat : 25708 (scip-naps-1.00.) S 25705 25708 19810 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 30940767 4292608 736 18446744073709551615 94700213317632 94700214212165 140722589388032 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94700214451216 94700214498960 94700214751232 140722589391265 140722589391362 140722589391362 140722589396964 0
/proc/25708/statm: 1048 736 672 219 0 110 0
[pid=25713] ppid=25708 vsize=1202264 memory=55160 CPUtime=0.27 cores=4,6
/proc/25713/stat : 25713 (python3) R 25708 25708 19810 0 -1 4194304 6575 0 0 0 26 1 0 0 20 0 1 0 30940768 1231118336 13790 18446744073709551615 94663117651968 94663117652345 140732731980800 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94663117663640 94663117664260 94663138193408 140732731984216 140732731984418 140732731984418 140732731989991 0
/proc/25713/statm: 300566 13790 8126 1 0 271924 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1206456 KiB
Current children cumulated memory: 58104 KiB
[startup+0.700194 s]
/proc/loadavg: 4.42 4.20 4.12 5/271 25713
/proc/meminfo: memFree=129226776/131249992 swapFree=33010684/33010684
[pid=25708] ppid=25705 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/25708/stat : 25708 (scip-naps-1.00.) S 25705 25708 19810 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 30940767 4292608 736 18446744073709551615 94700213317632 94700214212165 140722589388032 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94700214451216 94700214498960 94700214751232 140722589391265 140722589391362 140722589391362 140722589396964 0
/proc/25708/statm: 1048 736 672 219 0 110 0
[pid=25713] ppid=25708 vsize=1203336 memory=55928 CPUtime=0.66 cores=4,6
/proc/25713/stat : 25713 (python3) R 25708 25708 19810 0 -1 4194304 6772 0 0 0 65 1 0 0 20 0 1 0 30940768 1232216064 13982 18446744073709551615 94663117651968 94663117652345 140732731980800 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94663117663640 94663117664260 94663138193408 140732731984216 140732731984418 140732731984418 140732731989991 0
/proc/25713/statm: 300834 13982 8126 1 0 272192 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1207528 KiB
Current children cumulated memory: 58872 KiB
[startup+1.50019 s]
/proc/loadavg: 4.42 4.20 4.12 5/271 25713
/proc/meminfo: memFree=129226776/131249992 swapFree=33010684/33010684
[pid=25708] ppid=25705 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/25708/stat : 25708 (scip-naps-1.00.) S 25705 25708 19810 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 30940767 4292608 736 18446744073709551615 94700213317632 94700214212165 140722589388032 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94700214451216 94700214498960 94700214751232 140722589391265 140722589391362 140722589391362 140722589396964 0
/proc/25708/statm: 1048 736 672 219 0 110 0
[pid=25713] ppid=25708 vsize=1203848 memory=56184 CPUtime=1.46 cores=4,6
/proc/25713/stat : 25713 (python3) R 25708 25708 19810 0 -1 4194304 6847 0 0 0 145 1 0 0 20 0 1 0 30940768 1232740352 14046 18446744073709551615 94663117651968 94663117652345 140732731980800 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94663117663640 94663117664260 94663138193408 140732731984216 140732731984418 140732731984418 140732731989991 0
/proc/25713/statm: 300962 14046 8126 1 0 272320 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1208040 KiB
Current children cumulated memory: 59128 KiB
[startup+3.10536 s]
/proc/loadavg: 4.42 4.20 4.12 5/271 25713
/proc/meminfo: memFree=129226836/131249992 swapFree=33010684/33010684
[pid=25708] ppid=25705 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/25708/stat : 25708 (scip-naps-1.00.) S 25705 25708 19810 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 30940767 4292608 736 18446744073709551615 94700213317632 94700214212165 140722589388032 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94700214451216 94700214498960 94700214751232 140722589391265 140722589391362 140722589391362 140722589396964 0
/proc/25708/statm: 1048 736 672 219 0 110 0
[pid=25713] ppid=25708 vsize=1204468 memory=57336 CPUtime=3.06 cores=4,6
/proc/25713/stat : 25713 (python3) R 25708 25708 19810 0 -1 4194304 7135 0 0 0 305 1 0 0 20 0 1 0 30940768 1233375232 14334 18446744073709551615 94663117651968 94663117652345 140732731980800 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94663117663640 94663117664260 94663138193408 140732731984216 140732731984418 140732731984418 140732731989991 0
/proc/25713/statm: 301117 14334 8126 1 0 272475 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1208660 KiB
Current children cumulated memory: 60280 KiB
[startup+6.30017 s]
/proc/loadavg: 4.38 4.19 4.12 5/271 25713
/proc/meminfo: memFree=129226332/131249992 swapFree=33010684/33010684
[pid=25708] ppid=25705 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/25708/stat : 25708 (scip-naps-1.00.) S 25705 25708 19810 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 30940767 4292608 736 18446744073709551615 94700213317632 94700214212165 140722589388032 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94700214451216 94700214498960 94700214751232 140722589391265 140722589391362 140722589391362 140722589396964 0
/proc/25708/statm: 1048 736 672 219 0 110 0
[pid=25713] ppid=25708 vsize=1206248 memory=58872 CPUtime=6.24 cores=4,6
/proc/25713/stat : 25713 (python3) R 25708 25708 19810 0 -1 4194304 7526 0 0 0 623 1 0 0 20 0 1 0 30940768 1235197952 14718 18446744073709551615 94663117651968 94663117652345 140732731980800 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94663117663640 94663117664260 94663138193408 140732731984216 140732731984418 140732731984418 140732731989991 0
/proc/25713/statm: 301562 14718 8126 1 0 272920 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1210440 KiB
Current children cumulated memory: 61816 KiB
[startup+12.7002 s]
/proc/loadavg: 4.43 4.21 4.13 5/272 25714
/proc/meminfo: memFree=129188532/131249992 swapFree=33010684/33010684
[pid=25708] ppid=25705 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/25708/stat : 25708 (scip-naps-1.00.) S 25705 25708 19810 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 30940767 4292608 736 18446744073709551615 94700213317632 94700214212165 140722589388032 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94700214451216 94700214498960 94700214751232 140722589391265 140722589391362 140722589391362 140722589396964 0
/proc/25708/statm: 1048 736 672 219 0 110 0
[pid=25713] ppid=25708 vsize=1206248 memory=60024 CPUtime=6.86 cores=4,6
/proc/25713/stat : 25713 (python3) S 25708 25708 19810 0 -1 4194304 7956 0 0 0 685 1 0 0 20 0 1 0 30940768 1235197952 15006 18446744073709551615 94663117651968 94663117652345 140732731980800 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94663117663640 94663117664260 94663138193408 140732731984216 140732731984418 140732731984418 140732731989991 0
/proc/25713/statm: 301562 15006 8190 1 0 272920 0
[pid=25714] ppid=25713 vsize=58736 memory=49776 CPUtime=5.74 cores=4,6
/proc/25714/stat : 25714 (naps-1.03a6) R 25713 25714 25714 0 -1 4194304 13351 0 0 0 572 2 0 0 20 0 1 0 30941460 60145664 12444 18446744073709551615 4198400 7047149 140732323092176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 37838848 140732323096961 140732323097075 140732323097075 140732323102665 0
/proc/25714/statm: 14684 12444 544 696 0 13845 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 1269176 KiB
Current children cumulated memory: 112744 KiB
[startup+25.5002 s]
/proc/loadavg: 4.34 4.20 4.12 5/272 25715
/proc/meminfo: memFree=129187280/131249992 swapFree=33010684/33010684
[pid=25708] ppid=25705 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/25708/stat : 25708 (scip-naps-1.00.) S 25705 25708 19810 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 30940767 4292608 736 18446744073709551615 94700213317632 94700214212165 140722589388032 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94700214451216 94700214498960 94700214751232 140722589391265 140722589391362 140722589391362 140722589396964 0
/proc/25708/statm: 1048 736 672 219 0 110 0
[pid=25713] ppid=25708 vsize=1206248 memory=60024 CPUtime=6.86 cores=4,6
/proc/25713/stat : 25713 (python3) S 25708 25708 19810 0 -1 4194304 7956 0 0 0 685 1 0 0 20 0 1 0 30940768 1235197952 15006 18446744073709551615 94663117651968 94663117652345 140732731980800 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94663117663640 94663117664260 94663138193408 140732731984216 140732731984418 140732731984418 140732731989991 0
/proc/25713/statm: 301562 15006 8190 1 0 272920 0
[pid=25714] ppid=25713 vsize=58368 memory=53532 CPUtime=18.5 cores=4,6
/proc/25714/stat : 25714 (naps-1.03a6) R 25713 25714 25714 0 -1 4194304 13813 0 0 0 1847 3 0 0 20 0 1 0 30941460 59768832 13383 18446744073709551615 4198400 7047149 140732323092176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 37838848 140732323096961 140732323097075 140732323097075 140732323102665 0
/proc/25714/statm: 14592 13383 544 696 0 13753 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 1268808 KiB
Current children cumulated memory: 116500 KiB
[startup+51.1054 s]
/proc/loadavg: 4.30 4.20 4.12 5/272 25715
/proc/meminfo: memFree=129189792/131249992 swapFree=33010684/33010684
[pid=25708] ppid=25705 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/25708/stat : 25708 (scip-naps-1.00.) S 25705 25708 19810 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 30940767 4292608 736 18446744073709551615 94700213317632 94700214212165 140722589388032 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94700214451216 94700214498960 94700214751232 140722589391265 140722589391362 140722589391362 140722589396964 0
/proc/25708/statm: 1048 736 672 219 0 110 0
[pid=25713] ppid=25708 vsize=1206248 memory=60024 CPUtime=6.86 cores=4,6
/proc/25713/stat : 25713 (python3) S 25708 25708 19810 0 -1 4194304 7956 0 0 0 685 1 0 0 20 0 1 0 30940768 1235197952 15006 18446744073709551615 94663117651968 94663117652345 140732731980800 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94663117663640 94663117664260 94663138193408 140732731984216 140732731984418 140732731984418 140732731989991 0
/proc/25713/statm: 301562 15006 8190 1 0 272920 0
[pid=25714] ppid=25713 vsize=58352 memory=53660 CPUtime=44.03 cores=4,6
/proc/25714/stat : 25714 (naps-1.03a6) R 25713 25714 25714 0 -1 4194304 13848 0 0 0 4400 3 0 0 20 0 1 0 30941460 59752448 13415 18446744073709551615 4198400 7047149 140732323092176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 37838848 140732323096961 140732323097075 140732323097075 140732323102665 0
/proc/25714/statm: 14588 13415 544 696 0 13749 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 1268792 KiB
Current children cumulated memory: 116628 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.18 4.12 5/274 25719
/proc/meminfo: memFree=129180136/131249992 swapFree=33010684/33010684
[pid=25708] ppid=25705 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/25708/stat : 25708 (scip-naps-1.00.) S 25705 25708 19810 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 30940767 4292608 736 18446744073709551615 94700213317632 94700214212165 140722589388032 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94700214451216 94700214498960 94700214751232 140722589391265 140722589391362 140722589391362 140722589396964 0
/proc/25708/statm: 1048 736 672 219 0 110 0
[pid=25713] ppid=25708 vsize=1206248 memory=60024 CPUtime=6.86 cores=4,6
/proc/25713/stat : 25713 (python3) S 25708 25708 19810 0 -1 4194304 7956 0 0 0 685 1 0 0 20 0 1 0 30940768 1235197952 15006 18446744073709551615 94663117651968 94663117652345 140732731980800 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94663117663640 94663117664260 94663138193408 140732731984216 140732731984418 140732731984418 140732731989991 0
/proc/25713/statm: 301562 15006 8190 1 0 272920 0
[pid=25714] ppid=25713 vsize=74548 memory=63396 CPUtime=95.09 cores=4,6
/proc/25714/stat : 25714 (naps-1.03a6) R 25713 25714 25714 0 -1 4194304 35999 0 0 0 9499 10 0 0 20 0 1 0 30941460 76337152 15849 18446744073709551615 4198400 7047149 140732323092176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 37838848 140732323096961 140732323097075 140732323097075 140732323102665 0
/proc/25714/statm: 18637 15849 544 696 0 17798 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1284988 KiB
Current children cumulated memory: 126364 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/273 25771
/proc/meminfo: memFree=129702560/131249992 swapFree=33010684/33010684
[pid=25708] ppid=25705 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/25708/stat : 25708 (scip-naps-1.00.) S 25705 25708 19810 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 30940767 4292608 736 18446744073709551615 94700213317632 94700214212165 140722589388032 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94700214451216 94700214498960 94700214751232 140722589391265 140722589391362 140722589391362 140722589396964 0
/proc/25708/statm: 1048 736 672 219 0 110 0
[pid=25713] ppid=25708 vsize=1206248 memory=60024 CPUtime=6.86 cores=4,6
/proc/25713/stat : 25713 (python3) S 25708 25708 19810 0 -1 4194304 7956 0 0 0 685 1 0 0 20 0 1 0 30940768 1235197952 15006 18446744073709551615 94663117651968 94663117652345 140732731980800 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94663117663640 94663117664260 94663138193408 140732731984216 140732731984418 140732731984418 140732731989991 0
/proc/25713/statm: 301562 15006 8190 1 0 272920 0
[pid=25714] ppid=25713 vsize=76084 memory=59732 CPUtime=154.91 cores=4,6
/proc/25714/stat : 25714 (naps-1.03a6) R 25713 25714 25714 0 -1 4194304 55093 0 0 0 15475 16 0 0 20 0 1 0 30941460 77910016 14933 18446744073709551615 4198400 7047149 140732323092176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 37838848 140732323096961 140732323097075 140732323097075 140732323102665 0
/proc/25714/statm: 19021 14933 544 696 0 18182 0
################
# More data... #
################
/proc/25714/statm: 19021 16711 544 696 0 18182 0
Current children cumulated CPU time: 1837.21 s
Current children cumulated vsize: 1286524 KiB
Current children cumulated memory: 131220 KiB
[startup+1902.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/273 26007
/proc/meminfo: memFree=129659404/131249992 swapFree=33010684/33010684
[pid=25708] ppid=25705 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/25708/stat : 25708 (scip-naps-1.00.) S 25705 25708 19810 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 30940767 4292608 736 18446744073709551615 94700213317632 94700214212165 140722589388032 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94700214451216 94700214498960 94700214751232 140722589391265 140722589391362 140722589391362 140722589396964 0
/proc/25708/statm: 1048 736 672 219 0 110 0
[pid=25713] ppid=25708 vsize=1206248 memory=61432 CPUtime=6.86 cores=4,6
/proc/25713/stat : 25713 (python3) S 25708 25708 19810 0 -1 4194304 7956 0 0 0 685 1 0 0 20 0 1 0 30940768 1235197952 15358 18446744073709551615 94663117651968 94663117652345 140732731980800 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94663117663640 94663117664260 94663138193408 140732731984216 140732731984418 140732731984418 140732731989991 0
/proc/25713/statm: 301562 15358 8190 1 0 272920 0
[pid=25714] ppid=25713 vsize=76084 memory=66844 CPUtime=1890.16 cores=4,6
/proc/25714/stat : 25714 (naps-1.03a6) R 25713 25714 25714 0 -1 4194304 58832 0 0 0 188986 30 0 0 20 0 1 0 30941460 77910016 16711 18446744073709551615 4198400 7047149 140732323092176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 37838848 140732323096961 140732323097075 140732323097075 140732323102665 0
/proc/25714/statm: 19021 16711 544 696 0 18182 0
Current children cumulated CPU time: 1897.02 s
Current children cumulated vsize: 1286524 KiB
Current children cumulated memory: 131220 KiB
[startup+1923.56 s]
# the end of solver process 25708 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1917.92 s, system=0.334169 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1907.2 s]
/proc/loadavg: 4.13 4.09 4.09 5/273 26007
/proc/meminfo: memFree=129657656/131249992 swapFree=33010684/33010684
[pid=25708] ppid=25705 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/25708/stat : 25708 (scip-naps-1.00.) S 25705 25708 19810 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 30940767 4292608 736 18446744073709551615 94700213317632 94700214212165 140722589388032 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94700214451216 94700214498960 94700214751232 140722589391265 140722589391362 140722589391362 140722589396964 0
/proc/25708/statm: 1048 736 672 219 0 110 0
[pid=25713] ppid=25708 vsize=1206248 memory=61432 CPUtime=6.86 cores=4,6
/proc/25713/stat : 25713 (python3) S 25708 25708 19810 0 -1 4194304 7956 0 0 0 685 1 0 0 20 0 1 0 30940768 1235197952 15358 18446744073709551615 94663117651968 94663117652345 140732731980800 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94663117663640 94663117664260 94663138193408 140732731984216 140732731984418 140732731984418 140732731989991 0
/proc/25713/statm: 301562 15358 8190 1 0 272920 0
[pid=25714] ppid=25713 vsize=76084 memory=66844 CPUtime=1895.05 cores=4,6
/proc/25714/stat : 25714 (naps-1.03a6) R 25713 25714 25714 0 -1 4194304 58832 0 0 0 189475 30 0 0 20 0 1 0 30941460 77910016 16711 18446744073709551615 4198400 7047149 140732323092176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 37838848 140732323096961 140732323097075 140732323097075 140732323102665 0
/proc/25714/statm: 19021 16711 544 696 0 18182 0
Current children cumulated CPU time: 1901.91 s
Current children cumulated vsize: 1286524 KiB
Current children cumulated memory: 131220 KiB
[startup+1913.6 s]
/proc/loadavg: 4.12 4.09 4.09 5/273 26007
/proc/meminfo: memFree=129657656/131249992 swapFree=33010684/33010684
[pid=25708] ppid=25705 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/25708/stat : 25708 (scip-naps-1.00.) S 25705 25708 19810 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 30940767 4292608 736 18446744073709551615 94700213317632 94700214212165 140722589388032 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94700214451216 94700214498960 94700214751232 140722589391265 140722589391362 140722589391362 140722589396964 0
/proc/25708/statm: 1048 736 672 219 0 110 0
[pid=25713] ppid=25708 vsize=1206248 memory=61432 CPUtime=6.86 cores=4,6
/proc/25713/stat : 25713 (python3) S 25708 25708 19810 0 -1 4194304 7956 0 0 0 685 1 0 0 20 0 1 0 30940768 1235197952 15358 18446744073709551615 94663117651968 94663117652345 140732731980800 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94663117663640 94663117664260 94663138193408 140732731984216 140732731984418 140732731984418 140732731989991 0
/proc/25713/statm: 301562 15358 8190 1 0 272920 0
[pid=25714] ppid=25713 vsize=76084 memory=66844 CPUtime=1901.43 cores=4,6
/proc/25714/stat : 25714 (naps-1.03a6) R 25713 25714 25714 0 -1 4194304 58832 0 0 0 190113 30 0 0 20 0 1 0 30941460 77910016 16711 18446744073709551615 4198400 7047149 140732323092176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 37838848 140732323096961 140732323097075 140732323097075 140732323102665 0
/proc/25714/statm: 19021 16711 544 696 0 18182 0
Current children cumulated CPU time: 1908.29 s
Current children cumulated vsize: 1286524 KiB
Current children cumulated memory: 131220 KiB
[startup+1920 s]*
/proc/loadavg: 4.10 4.09 4.09 5/273 26008
/proc/meminfo: memFree=129663576/131249992 swapFree=33010684/33010684
[pid=25708] ppid=25705 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/25708/stat : 25708 (scip-naps-1.00.) S 25705 25708 19810 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 30940767 4292608 736 18446744073709551615 94700213317632 94700214212165 140722589388032 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94700214451216 94700214498960 94700214751232 140722589391265 140722589391362 140722589391362 140722589396964 0
/proc/25708/statm: 1048 736 672 219 0 110 0
[pid=25713] ppid=25708 vsize=1206248 memory=61432 CPUtime=6.86 cores=4,6
/proc/25713/stat : 25713 (python3) S 25708 25708 19810 0 -1 4194304 7956 0 0 0 685 1 0 0 20 0 1 0 30940768 1235197952 15358 18446744073709551615 94663117651968 94663117652345 140732731980800 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94663117663640 94663117664260 94663138193408 140732731984216 140732731984418 140732731984418 140732731989991 0
/proc/25713/statm: 301562 15358 8190 1 0 272920 0
[pid=25714] ppid=25713 vsize=76084 memory=66844 CPUtime=1907.81 cores=4,6
/proc/25714/stat : 25714 (naps-1.03a6) R 25713 25714 25714 0 -1 4194304 58832 0 0 0 190751 30 0 0 20 0 1 0 30941460 77910016 16711 18446744073709551615 4198400 7047149 140732323092176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 37838848 140732323096961 140732323097075 140732323097075 140732323102665 0
/proc/25714/statm: 19021 16711 544 696 0 18182 0
Current children cumulated CPU time: 1914.67 s
Current children cumulated vsize: 1286524 KiB
Current children cumulated memory: 131220 KiB
[startup+1921.6 s]
/proc/loadavg: 4.10 4.09 4.09 5/273 26008
/proc/meminfo: memFree=129663576/131249992 swapFree=33010684/33010684
[pid=25708] ppid=25705 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/25708/stat : 25708 (scip-naps-1.00.) S 25705 25708 19810 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 30940767 4292608 736 18446744073709551615 94700213317632 94700214212165 140722589388032 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94700214451216 94700214498960 94700214751232 140722589391265 140722589391362 140722589391362 140722589396964 0
/proc/25708/statm: 1048 736 672 219 0 110 0
[pid=25713] ppid=25708 vsize=1206248 memory=61432 CPUtime=6.86 cores=4,6
/proc/25713/stat : 25713 (python3) S 25708 25708 19810 0 -1 4194304 7956 0 0 0 685 1 0 0 20 0 1 0 30940768 1235197952 15358 18446744073709551615 94663117651968 94663117652345 140732731980800 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94663117663640 94663117664260 94663138193408 140732731984216 140732731984418 140732731984418 140732731989991 0
/proc/25713/statm: 301562 15358 8190 1 0 272920 0
[pid=25714] ppid=25713 vsize=76084 memory=66844 CPUtime=1909.4 cores=4,6
/proc/25714/stat : 25714 (naps-1.03a6) R 25713 25714 25714 0 -1 4194304 58832 0 0 0 190910 30 0 0 20 0 1 0 30941460 77910016 16711 18446744073709551615 4198400 7047149 140732323092176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 37838848 140732323096961 140732323097075 140732323097075 140732323102665 0
/proc/25714/statm: 19021 16711 544 696 0 18182 0
Current children cumulated CPU time: 1916.26 s
Current children cumulated vsize: 1286524 KiB
Current children cumulated memory: 131220 KiB
[startup+1922.4 s]
/proc/loadavg: 4.10 4.09 4.09 5/273 26008
/proc/meminfo: memFree=129663584/131249992 swapFree=33010684/33010684
[pid=25708] ppid=25705 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/25708/stat : 25708 (scip-naps-1.00.) S 25705 25708 19810 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 30940767 4292608 736 18446744073709551615 94700213317632 94700214212165 140722589388032 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94700214451216 94700214498960 94700214751232 140722589391265 140722589391362 140722589391362 140722589396964 0
/proc/25708/statm: 1048 736 672 219 0 110 0
[pid=25713] ppid=25708 vsize=1206248 memory=61432 CPUtime=6.86 cores=4,6
/proc/25713/stat : 25713 (python3) S 25708 25708 19810 0 -1 4194304 7956 0 0 0 685 1 0 0 20 0 1 0 30940768 1235197952 15358 18446744073709551615 94663117651968 94663117652345 140732731980800 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94663117663640 94663117664260 94663138193408 140732731984216 140732731984418 140732731984418 140732731989991 0
/proc/25713/statm: 301562 15358 8190 1 0 272920 0
[pid=25714] ppid=25713 vsize=76084 memory=66844 CPUtime=1910.2 cores=4,6
/proc/25714/stat : 25714 (naps-1.03a6) R 25713 25714 25714 0 -1 4194304 58832 0 0 0 190990 30 0 0 20 0 1 0 30941460 77910016 16711 18446744073709551615 4198400 7047149 140732323092176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 37838848 140732323096961 140732323097075 140732323097075 140732323102665 0
/proc/25714/statm: 19021 16711 544 696 0 18182 0
Current children cumulated CPU time: 1917.06 s
Current children cumulated vsize: 1286524 KiB
Current children cumulated memory: 131220 KiB
[startup+1923.2 s]
/proc/loadavg: 4.10 4.09 4.09 5/273 26008
/proc/meminfo: memFree=129663584/131249992 swapFree=33010684/33010684
[pid=25708] ppid=25705 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/25708/stat : 25708 (scip-naps-1.00.) S 25705 25708 19810 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 30940767 4292608 736 18446744073709551615 94700213317632 94700214212165 140722589388032 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94700214451216 94700214498960 94700214751232 140722589391265 140722589391362 140722589391362 140722589396964 0
/proc/25708/statm: 1048 736 672 219 0 110 0
[pid=25713] ppid=25708 vsize=1206248 memory=61432 CPUtime=6.86 cores=4,6
/proc/25713/stat : 25713 (python3) S 25708 25708 19810 0 -1 4194304 7956 0 0 0 685 1 0 0 20 0 1 0 30940768 1235197952 15358 18446744073709551615 94663117651968 94663117652345 140732731980800 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94663117663640 94663117664260 94663138193408 140732731984216 140732731984418 140732731984418 140732731989991 0
/proc/25713/statm: 301562 15358 8190 1 0 272920 0
[pid=25714] ppid=25713 vsize=76084 memory=66844 CPUtime=1911 cores=4,6
/proc/25714/stat : 25714 (naps-1.03a6) R 25713 25714 25714 0 -1 4194304 58832 0 0 0 191070 30 0 0 20 0 1 0 30941460 77910016 16711 18446744073709551615 4198400 7047149 140732323092176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 37838848 140732323096961 140732323097075 140732323097075 140732323102665 0
/proc/25714/statm: 19021 16711 544 696 0 18182 0
Current children cumulated CPU time: 1917.86 s
Current children cumulated vsize: 1286524 KiB
Current children cumulated memory: 131220 KiB
[startup+1923.4 s]
/proc/loadavg: 4.10 4.09 4.09 5/273 26008
/proc/meminfo: memFree=129663584/131249992 swapFree=33010684/33010684
[pid=25708] ppid=25705 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/25708/stat : 25708 (scip-naps-1.00.) S 25705 25708 19810 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 30940767 4292608 736 18446744073709551615 94700213317632 94700214212165 140722589388032 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94700214451216 94700214498960 94700214751232 140722589391265 140722589391362 140722589391362 140722589396964 0
/proc/25708/statm: 1048 736 672 219 0 110 0
[pid=25713] ppid=25708 vsize=1206248 memory=61432 CPUtime=6.86 cores=4,6
/proc/25713/stat : 25713 (python3) S 25708 25708 19810 0 -1 4194304 7956 0 0 0 685 1 0 0 20 0 1 0 30940768 1235197952 15358 18446744073709551615 94663117651968 94663117652345 140732731980800 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94663117663640 94663117664260 94663138193408 140732731984216 140732731984418 140732731984418 140732731989991 0
/proc/25713/statm: 301562 15358 8190 1 0 272920 0
[pid=25714] ppid=25713 vsize=76084 memory=66844 CPUtime=1911.2 cores=4,6
/proc/25714/stat : 25714 (naps-1.03a6) R 25713 25714 25714 0 -1 4194304 58832 0 0 0 191090 30 0 0 20 0 1 0 30941460 77910016 16711 18446744073709551615 4198400 7047149 140732323092176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 37838848 140732323096961 140732323097075 140732323097075 140732323102665 0
/proc/25714/statm: 19021 16711 544 696 0 18182 0
Current children cumulated CPU time: 1918.06 s
Current children cumulated vsize: 1286524 KiB
Current children cumulated memory: 131220 KiB
[startup+1923.5 s]
/proc/loadavg: 4.10 4.09 4.09 5/273 26008
/proc/meminfo: memFree=129663584/131249992 swapFree=33010684/33010684
[pid=25708] ppid=25705 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/25708/stat : 25708 (scip-naps-1.00.) S 25705 25708 19810 0 -1 4194304 258 315 0 0 0 0 0 0 20 0 1 0 30940767 4292608 736 18446744073709551615 94700213317632 94700214212165 140722589388032 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94700214451216 94700214498960 94700214751232 140722589391265 140722589391362 140722589391362 140722589396964 0
/proc/25708/statm: 1048 736 672 219 0 110 0
[pid=25713] ppid=25708 vsize=1206248 memory=61432 CPUtime=6.86 cores=4,6
/proc/25713/stat : 25713 (python3) S 25708 25708 19810 0 -1 4194304 7956 0 0 0 685 1 0 0 20 0 1 0 30940768 1235197952 15358 18446744073709551615 94663117651968 94663117652345 140732731980800 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94663117663640 94663117664260 94663138193408 140732731984216 140732731984418 140732731984418 140732731989991 0
/proc/25713/statm: 301562 15358 8190 1 0 272920 0
[pid=25714] ppid=25713 vsize=76084 memory=66844 CPUtime=1911.3 cores=4,6
/proc/25714/stat : 25714 (naps-1.03a6) R 25713 25714 25714 0 -1 4194304 58832 0 0 0 191100 30 0 0 20 0 1 0 30941460 77910016 16711 18446744073709551615 4198400 7047149 140732323092176 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 37838848 140732323096961 140732323097075 140732323097075 140732323102665 0
/proc/25714/statm: 19021 16711 544 696 0 18182 0
Current children cumulated CPU time: 1918.16 s
Current children cumulated vsize: 1286524 KiB
Current children cumulated memory: 131220 KiB
Child status: 0
Real time (s): 1923.56
CPU time (s): 1918.26
CPU user time (s): 1917.92
CPU system time (s): 0.334169
CPU usage (%): 99.7242
Max. virtual memory (cumulated for all children) (KiB): 1319296
Max. memory (cumulated for all children) (KiB): 159464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1917.92
system time used= 0.334169
maximum resident set size= 95088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70708
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= 371
involuntary context switches= 10538
# summary of solver processes directly reported to runsolver:
# pid: 25708
# total CPU time (s): 1918.26
# total CPU user time (s): 1917.92
# total CPU system time (s): 0.334169
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.62325 second user time and 8.37149 second system time
The end