94.11/94.52 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4530134-1752252765.opb
94.11/94.52 c Solving mode: optimization
94.11/94.52 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
94.11/94.52 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
94.11/94.52 c original problem has 481 variables (481 bin, 0 int, 0 impl, 0 cont) and 481 constraints
94.11/94.52 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 4.810000e+02
94.11/94.52 c presolving:
94.11/94.52 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 70 chg coeffs, 0 upgd conss, 0 impls, 127 clqs
94.11/94.52 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 70 chg coeffs, 481 upgd conss, 0 impls, 127 clqs
94.11/94.52 c (round 3, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 91 chg sides, 317 chg coeffs, 481 upgd conss, 0 impls, 127 clqs
94.11/94.52 c (round 4, medium) 0 del vars, 137 del conss, 254 add conss, 0 chg bounds, 345 chg sides, 791 chg coeffs, 481 upgd conss, 0 impls, 127 clqs
94.11/94.52 c (round 5, fast) 0 del vars, 178 del conss, 274 add conss, 0 chg bounds, 433 chg sides, 1140 chg coeffs, 481 upgd conss, 0 impls, 127 clqs
94.11/94.52 c (0.0s) probing: 51/481 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
94.11/94.52 c (0.0s) probing aborted: 50/50 successive totally useless probings
94.11/94.52 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
94.11/94.52 c (0.1s) no symmetry present (symcode time: 0.00)
94.11/94.52 c presolving (6 rounds: 6 fast, 3 medium, 2 exhaustive):
94.11/94.52 c 0 deleted vars, 178 deleted constraints, 274 added constraints, 0 tightened bounds, 0 added holes, 433 changed sides, 1142 changed coefficients
94.11/94.52 c 0 implications, 127 cliques
94.11/94.52 c presolved problem has 481 variables (481 bin, 0 int, 0 impl, 0 cont) and 577 constraints
94.11/94.52 c 430 constraints of type <knapsack>
94.11/94.52 c 127 constraints of type <setppc>
94.11/94.52 c 20 constraints of type <logicor>
94.11/94.52 c transformed objective value is always integral (scale: 1)
94.11/94.52 c Presolving Time: 0.05
94.11/94.52 c transformed 1/1 original solutions to the transformed problem space
94.11/94.52 c
94.11/94.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
94.11/94.52 c p 0.1s| 1 | 0 | 0 | - | locks| 0 | 481 | 577 | 577 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.270000e+02 | Inf | unknown
94.11/94.52 c i 0.1s| 1 | 0 | 0 | - | oneopt| 0 | 481 | 577 | 577 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.120000e+02 | Inf | unknown
94.11/94.52 c 1.3s| 1 | 0 | 10102 | - | 7482k | 0 | 481 | 577 | 577 | 0 | 0 | 0 | 0 | 1.555390e+02 | 2.120000e+02 | 36.30%| unknown
94.11/94.52 c 1.5s| 1 | 0 | 10836 | - | 23M | 0 | 481 | 577 | 641 | 64 | 1 | 0 | 0 | 1.595307e+02 | 2.120000e+02 | 32.89%| unknown
94.11/94.52 c 1.7s| 1 | 0 | 11385 | - | 37M | 0 | 481 | 577 | 702 | 125 | 2 | 0 | 0 | 1.621514e+02 | 2.120000e+02 | 30.74%| unknown
94.11/94.52 c 1.8s| 1 | 0 | 11854 | - | 50M | 0 | 481 | 577 | 756 | 179 | 3 | 0 | 0 | 1.637712e+02 | 2.120000e+02 | 29.45%| unknown
94.11/94.52 c 2.0s| 1 | 0 | 12391 | - | 62M | 0 | 481 | 577 | 815 | 238 | 4 | 0 | 0 | 1.649104e+02 | 2.120000e+02 | 28.55%| unknown
94.11/94.52 c 2.1s| 1 | 0 | 12852 | - | 73M | 0 | 481 | 577 | 864 | 287 | 5 | 0 | 0 | 1.658617e+02 | 2.120000e+02 | 27.82%| unknown
94.11/94.52 c 2.3s| 1 | 0 | 13252 | - | 87M | 0 | 481 | 577 | 911 | 334 | 6 | 0 | 0 | 1.663143e+02 | 2.120000e+02 | 27.47%| unknown
94.11/94.52 c 2.4s| 1 | 0 | 13606 | - | 100M | 0 | 481 | 577 | 946 | 369 | 7 | 0 | 0 | 1.666130e+02 | 2.120000e+02 | 27.24%| unknown
94.11/94.52 c 2.5s| 1 | 0 | 14058 | - | 104M | 0 | 481 | 577 | 990 | 413 | 8 | 0 | 0 | 1.670669e+02 | 2.120000e+02 | 26.90%| unknown
94.11/94.52 c 2.7s| 1 | 0 | 14310 | - | 122M | 0 | 481 | 577 |1017 | 440 | 9 | 0 | 0 | 1.671956e+02 | 2.120000e+02 | 26.80%| unknown
94.11/94.52 c 2.8s| 1 | 0 | 14511 | - | 139M | 0 | 481 | 577 |1046 | 469 | 10 | 0 | 0 | 1.673044e+02 | 2.120000e+02 | 26.72%| unknown
94.11/94.52 c 2.9s| 1 | 0 | 14769 | - | 139M | 0 | 481 | 577 |1064 | 490 | 11 | 0 | 0 | 1.674675e+02 | 2.120000e+02 | 26.59%| unknown
94.11/94.52 c 2.9s| 1 | 0 | 14993 | - | 139M | 0 | 481 | 577 |1091 | 517 | 12 | 0 | 0 | 1.675653e+02 | 2.120000e+02 | 26.52%| unknown
94.11/94.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
94.11/94.52 c 3.0s| 1 | 0 | 15186 | - | 139M | 0 | 481 | 577 |1119 | 545 | 13 | 0 | 0 | 1.676779e+02 | 2.120000e+02 | 26.43%| unknown
94.11/94.52 c 3.1s| 1 | 0 | 15427 | - | 139M | 0 | 481 | 577 |1142 | 568 | 14 | 0 | 0 | 1.678033e+02 | 2.120000e+02 | 26.34%| unknown
94.11/94.52 c 3.2s| 1 | 0 | 15608 | - | 140M | 0 | 481 | 577 |1164 | 590 | 15 | 0 | 0 | 1.678715e+02 | 2.120000e+02 | 26.29%| unknown
94.11/94.52 c 3.2s| 1 | 0 | 15744 | - | 140M | 0 | 481 | 577 |1176 | 602 | 16 | 0 | 0 | 1.679031e+02 | 2.120000e+02 | 26.26%| unknown
94.11/94.52 c 3.3s| 1 | 0 | 15905 | - | 140M | 0 | 481 | 577 |1116 | 615 | 17 | 0 | 0 | 1.679549e+02 | 2.120000e+02 | 26.22%| unknown
94.11/94.52 c 3.4s| 1 | 0 | 15972 | - | 140M | 0 | 481 | 577 |1128 | 627 | 18 | 0 | 0 | 1.679640e+02 | 2.120000e+02 | 26.22%| unknown
94.11/94.52 c 3.4s| 1 | 0 | 16059 | - | 140M | 0 | 481 | 577 |1135 | 634 | 19 | 0 | 0 | 1.679801e+02 | 2.120000e+02 | 26.21%| unknown
94.11/94.52 c 3.4s| 1 | 0 | 16112 | - | 140M | 0 | 481 | 577 |1140 | 639 | 20 | 0 | 0 | 1.679877e+02 | 2.120000e+02 | 26.20%| unknown
94.11/94.52 c 3.5s| 1 | 0 | 16150 | - | 140M | 0 | 481 | 577 |1141 | 640 | 21 | 0 | 0 | 1.679939e+02 | 2.120000e+02 | 26.20%| unknown
94.11/94.52 c 3.5s| 1 | 0 | 16154 | - | 140M | 0 | 481 | 577 |1143 | 642 | 22 | 0 | 0 | 1.679939e+02 | 2.120000e+02 | 26.20%| unknown
94.11/94.52 c 5.5s| 1 | 2 | 16154 | - | 141M | 0 | 481 | 577 |1143 | 642 | 23 | 0 | 32 | 1.682969e+02 | 2.120000e+02 | 25.97%| unknown
94.11/94.52 c d17.2s| 23 | 24 | 25651 | 431.7 |pscostdi| 22 | 481 | 577 |1095 | 0 | 1 | 0 | 323 | 1.684270e+02 | 2.090000e+02 | 24.09%| unknown
94.11/94.52 c i17.3s| 24 | 23 | 25657 | 413.2 | oneopt| 22 | 481 | 577 |1025 | 899 | 0 | 0 | 323 | 1.684270e+02 | 2.080000e+02 | 23.50%| unknown
94.11/94.52 c 23.7s| 100 | 101 | 71742 | 561.5 | 200M | 33 | 481 | 577 |1042 |1767 | 1 | 2 | 347 | 1.684778e+02 | 2.080000e+02 | 23.46%| unknown
94.11/94.52 c d29.7s| 167 | 168 |140886 | 751.4 |pscostdi| 36 | 481 | 577 | 965 | 0 | 1 | 2 | 372 | 1.684883e+02 | 2.070000e+02 | 22.86%| unknown
94.11/94.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
94.11/94.52 c d29.7s| 167 | 168 |140898 | 751.5 |pscostdi| 36 | 481 | 577 | 965 | 0 | 1 | 2 | 372 | 1.684883e+02 | 2.050000e+02 | 21.67%| unknown
94.11/94.52 c d29.7s| 167 | 168 |140922 | 751.6 |pscostdi| 36 | 481 | 577 | 965 | 0 | 1 | 2 | 372 | 1.684883e+02 | 2.050000e+02 | 21.67%| unknown
94.11/94.52 c d29.7s| 167 | 168 |140934 | 751.7 |pscostdi| 36 | 481 | 577 | 965 | 0 | 1 | 2 | 372 | 1.684883e+02 | 2.030000e+02 | 20.48%| unknown
94.11/94.52 c 35.5s| 200 | 201 |191783 | 882.6 | 201M | 36 | 481 | 577 |1065 |2278 | 1 | 4 | 392 | 1.684883e+02 | 2.030000e+02 | 20.48%| unknown
94.11/94.52 c 51.2s| 300 | 301 |346534 |1104.9 | 202M | 37 | 481 | 577 |1064 |2847 | 1 | 5 | 424 | 1.686627e+02 | 2.030000e+02 | 20.36%| unknown
94.11/94.52 c 67.6s| 400 | 401 |504054 |1222.8 | 201M | 41 | 481 | 577 |1094 |3415 | 1 | 17 | 460 | 1.688186e+02 | 2.030000e+02 | 20.25%| unknown
94.11/94.52 c 79.7s| 500 | 501 |635708 |1241.6 | 207M | 41 | 481 | 577 |1125 |4055 | 1 | 21 | 510 | 1.688186e+02 | 2.030000e+02 | 20.25%| unknown
94.11/94.52 c 90.2s| 600 | 601 |751257 |1227.2 | 209M | 41 | 481 | 577 |1183 |4778 | 1 | 25 | 526 | 1.688186e+02 | 2.030000e+02 | 20.25%| unknown
224.39/225.20 c d94.1s| 644 | 645 |797997 |1215.9 |pscostdi| 41 | 481 | 577 |1103 | 0 | 1 | 29 | 528 | 1.688186e+02 | 2.020000e+02 | 19.66%| unknown
224.39/225.20 c d94.1s| 644 | 645 |798005 |1215.9 |pscostdi| 41 | 481 | 577 |1103 | 0 | 1 | 29 | 528 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
224.39/225.20 c 99.8s| 700 | 701 |870687 |1222.5 | 212M | 41 | 481 | 577 |1138 |5175 | 1 | 34 | 528 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
224.39/225.20 c 109s| 800 | 801 |987126 |1215.2 | 213M | 41 | 481 | 577 |1184 |5586 | 1 | 41 | 529 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
224.39/225.20 c 120s| 900 | 901 | 1122k|1230.4 | 214M | 41 | 481 | 577 |1085 |6337 | 1 | 46 | 556 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
224.39/225.20 c 134s| 1000 | 1001 | 1247k|1232.2 | 216M | 41 | 481 | 577 |1025 |7210 | 1 | 46 | 595 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
224.39/225.20 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
224.39/225.20 c (run 1, node 1049) performing user restart
224.39/225.20 c
224.39/225.20 c (restart) converted 353 cuts from the global cut pool into linear constraints
224.39/225.20 c
224.39/225.20 c presolving:
224.39/225.20 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 16 chg coeffs, 0 upgd conss, 0 impls, 127 clqs
224.39/225.20 c (round 2, exhaustive) 0 del vars, 2 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 16 chg coeffs, 0 upgd conss, 0 impls, 127 clqs
224.39/225.20 c (round 3, exhaustive) 0 del vars, 2 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 16 chg coeffs, 348 upgd conss, 0 impls, 127 clqs
224.39/225.20 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
224.39/225.20 c 0 deleted vars, 2 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 16 changed coefficients
224.39/225.20 c 0 implications, 127 cliques
224.39/225.20 c presolved problem has 481 variables (481 bin, 0 int, 0 impl, 0 cont) and 928 constraints
224.39/225.20 c 674 constraints of type <knapsack>
224.39/225.20 c 127 constraints of type <setppc>
224.39/225.20 c 3 constraints of type <linear>
224.39/225.20 c 124 constraints of type <logicor>
224.39/225.20 c transformed objective value is always integral (scale: 1)
224.39/225.20 c Presolving Time: 0.07
224.39/225.20 c transformed 88/100 original solutions to the transformed problem space
224.39/225.20 c
224.39/225.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
224.39/225.20 c 140s| 1 | 0 | 1299k| - | 199M | 0 | 481 | 928 | 928 | 0 | 0 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
224.39/225.20 c 140s| 1 | 0 | 1300k| - | 199M | 0 | 481 | 928 | 977 | 49 | 1 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
224.39/225.20 c 140s| 1 | 0 | 1300k| - | 201M | 0 | 481 | 928 |1010 | 82 | 2 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
224.39/225.20 c 140s| 1 | 0 | 1301k| - | 204M | 0 | 481 | 928 |1029 | 101 | 3 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
224.39/225.20 c 140s| 1 | 0 | 1301k| - | 209M | 0 | 481 | 928 |1043 | 115 | 4 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
224.39/225.20 c 140s| 1 | 0 | 1301k| - | 213M | 0 | 481 | 928 |1051 | 123 | 5 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
224.39/225.20 c 141s| 1 | 0 | 1301k| - | 218M | 0 | 481 | 928 |1056 | 128 | 6 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
224.39/225.20 c 141s| 1 | 0 | 1301k| - | 216M | 0 | 481 | 928 |1065 | 137 | 7 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
224.39/225.20 c 141s| 1 | 0 | 1301k| - | 216M | 0 | 481 | 928 |1072 | 144 | 8 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
224.39/225.20 c 141s| 1 | 0 | 1301k| - | 214M | 0 | 481 | 928 |1076 | 148 | 9 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
224.39/225.20 c 141s| 1 | 0 | 1302k| - | 214M | 0 | 481 | 928 |1078 | 150 | 10 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
224.39/225.20 c 141s| 1 | 0 | 1302k| - | 214M | 0 | 481 | 928 |1081 | 153 | 11 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
224.39/225.20 c 141s| 1 | 0 | 1302k| - | 214M | 0 | 481 | 928 |1085 | 157 | 12 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
224.39/225.20 c 141s| 1 | 0 | 1302k| - | 214M | 0 | 481 | 928 |1091 | 163 | 13 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
224.39/225.20 c 142s| 1 | 0 | 1302k| - | 214M | 0 | 481 | 928 |1010 | 168 | 14 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
224.39/225.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
224.39/225.20 c 142s| 1 | 0 | 1302k| - | 214M | 0 | 481 | 928 |1017 | 175 | 15 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
224.39/225.20 c 142s| 1 | 0 | 1302k| - | 214M | 0 | 481 | 928 |1029 | 187 | 16 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
224.39/225.20 c 143s| 1 | 2 | 1302k| - | 214M | 0 | 481 | 928 |1029 | 187 | 16 | 51 | 607 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
224.39/225.20 c 164s| 100 | 101 | 1396k|1192.6 | 235M | 44 | 481 | 928 |1016 | 442 | 1 | 54 | 820 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
224.39/225.20 c 169s| 200 | 201 | 1451k|1141.4 | 269M | 77 | 481 | 928 |1061 | 585 | 1 | 54 | 842 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
224.39/225.20 c 171s| 300 | 301 | 1474k|1073.5 | 269M | 107 | 481 | 928 |1070 | 608 | 1 | 56 | 865 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
224.39/225.20 c 173s| 400 | 401 | 1491k|1011.8 | 270M | 136 | 481 | 928 |1077 | 680 | 1 | 56 | 887 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
224.39/225.20 c 176s| 500 | 487 | 1506k| 955.7 | 270M | 148 | 481 | 928 |1075 | 758 | 1 | 56 | 911 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
224.39/225.20 c 179s| 600 | 577 | 1527k| 910.4 | 271M | 149 | 481 | 928 |1076 | 864 | 0 | 58 | 924 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
224.39/225.20 c 180s| 700 | 647 | 1536k| 863.4 | 271M | 151 | 481 | 928 |1076 | 915 | 1 | 58 | 934 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
224.39/225.20 c 182s| 800 | 717 | 1550k| 824.3 | 271M | 151 | 481 | 928 |1077 | 992 | 1 | 61 | 945 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
224.39/225.20 c L 183s| 845 | 666 | 1551k| 805.5 | rins| 153 | 481 | 928 |1076 | 992 | 1 | 61 | 945 | 1.688186e+02 | 1.990000e+02 | 17.88%| unknown
224.39/225.20 c i 183s| 846 | 609 | 1551k| 805.1 | oneopt| 153 | 481 | 928 |1076 | 992 | 0 | 61 | 945 | 1.688186e+02 | 1.980000e+02 | 17.29%| unknown
224.39/225.20 c 187s| 900 | 633 | 1591k| 803.1 | 271M | 153 | 481 | 928 |1076 |1128 | 1 | 63 | 951 | 1.688186e+02 | 1.980000e+02 | 17.29%| unknown
224.39/225.20 c 190s| 1000 | 663 | 1614k| 775.2 | 272M | 153 | 481 | 928 |1076 |1290 | 1 | 64 | 968 | 1.688407e+02 | 1.980000e+02 | 17.27%| unknown
224.39/225.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
224.39/225.20 c 193s| 1100 | 691 | 1629k| 745.9 | 271M | 153 | 481 | 928 | 971 |1416 | 1 | 66 | 991 | 1.688617e+02 | 1.980000e+02 | 17.26%| unknown
224.39/225.20 c 196s| 1200 | 711 | 1652k| 723.1 | 272M | 153 | 481 | 928 | 972 |1604 | 1 | 76 |1015 | 1.688853e+02 | 1.980000e+02 | 17.24%| unknown
224.39/225.20 c 201s| 1300 | 761 | 1686k| 706.9 | 272M | 153 | 481 | 928 | 962 |1873 | 1 | 77 |1037 | 1.688892e+02 | 1.980000e+02 | 17.24%| unknown
224.39/225.20 c 207s| 1400 | 825 | 1729k| 695.5 | 273M | 153 | 481 | 929 |1076 |2091 | 2 | 79 |1062 | 1.689179e+02 | 1.980000e+02 | 17.22%| unknown
224.39/225.20 c 212s| 1500 | 857 | 1756k| 678.9 | 273M | 153 | 481 | 929 | 972 |2302 | 1 | 83 |1077 | 1.689678e+02 | 1.980000e+02 | 17.18%| unknown
224.39/225.20 c 214s| 1600 | 893 | 1778k| 661.4 | 273M | 153 | 481 | 929 |1076 |2434 | 3 | 85 |1088 | 1.689686e+02 | 1.980000e+02 | 17.18%| unknown
224.39/225.20 c 220s| 1700 | 945 | 1812k| 649.8 | 273M | 153 | 481 | 929 |1078 |2719 | 1 | 88 |1107 | 1.689976e+02 | 1.980000e+02 | 17.16%| unknown
224.39/225.20 c 222s| 1800 | 973 | 1826k| 631.9 | 274M | 153 | 481 | 929 |1077 |2817 | 1 | 90 |1112 | 1.690044e+02 | 1.980000e+02 | 17.16%| unknown
380.35/381.73 c 225s| 1900 | 1005 | 1848k| 617.9 | 274M | 153 | 481 | 929 |1076 |2994 | 2 | 92 |1117 | 1.690310e+02 | 1.980000e+02 | 17.14%| unknown
380.35/381.73 c 227s| 2000 | 1017 | 1863k| 602.5 | 274M | 153 | 481 | 929 |1077 |3109 | 2 | 94 |1118 | 1.690403e+02 | 1.980000e+02 | 17.13%| unknown
380.35/381.73 c 228s| 2100 | 1069 | 1878k| 588.2 | 274M | 153 | 481 | 929 |1077 |3201 | 1 | 97 |1118 | 1.690702e+02 | 1.980000e+02 | 17.11%| unknown
380.35/381.73 c 232s| 2200 | 1109 | 1907k| 579.0 | 275M | 153 | 481 | 929 |1077 |3404 | 1 | 101 |1118 | 1.690765e+02 | 1.980000e+02 | 17.11%| unknown
380.35/381.73 c 237s| 2300 | 1161 | 1942k| 572.3 | 275M | 153 | 481 | 929 | 970 |3711 | 1 | 103 |1123 | 1.690878e+02 | 1.980000e+02 | 17.10%| unknown
380.35/381.73 c 243s| 2400 | 1213 | 2002k| 572.8 | 275M | 153 | 481 | 929 |1078 |4013 | 1 | 106 |1127 | 1.690937e+02 | 1.980000e+02 | 17.09%| unknown
380.35/381.73 c 248s| 2500 | 1271 | 2037k| 566.8 | 275M | 153 | 481 | 929 | 977 |4326 | 1 | 107 |1130 | 1.691238e+02 | 1.980000e+02 | 17.07%| unknown
380.35/381.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
380.35/381.73 c 251s| 2600 | 1311 | 2066k| 559.1 | 275M | 153 | 481 | 929 |1078 |4546 | 1 | 108 |1130 | 1.691361e+02 | 1.980000e+02 | 17.07%| unknown
380.35/381.73 c 256s| 2700 | 1357 | 2101k| 553.6 | 276M | 153 | 481 | 929 |1077 |4833 | 2 | 110 |1130 | 1.691427e+02 | 1.980000e+02 | 17.06%| unknown
380.35/381.73 c 257s| 2800 | 1377 | 2116k| 543.1 | 276M | 153 | 481 | 929 |1079 |4927 | 1 | 113 |1130 | 1.691453e+02 | 1.980000e+02 | 17.06%| unknown
380.35/381.73 c 263s| 2900 | 1435 | 2159k| 540.3 | 276M | 153 | 481 | 929 |1076 |5263 | 1 | 113 |1133 | 1.691557e+02 | 1.980000e+02 | 17.05%| unknown
380.35/381.73 c 266s| 3000 | 1463 | 2183k| 532.8 | 276M | 153 | 481 | 929 |1078 |5447 | 1 | 115 |1134 | 1.691618e+02 | 1.980000e+02 | 17.05%| unknown
380.35/381.73 c 271s| 3100 | 1515 | 2218k| 528.4 | 276M | 153 | 481 | 929 |1078 |5733 | 1 | 117 |1134 | 1.691728e+02 | 1.980000e+02 | 17.04%| unknown
380.35/381.73 c 272s| 3200 | 1547 | 2235k| 520.0 | 276M | 153 | 481 | 929 |1079 |5827 | 2 | 120 |1134 | 1.691783e+02 | 1.980000e+02 | 17.04%| unknown
380.35/381.73 c 275s| 3300 | 1571 | 2252k| 511.8 | 276M | 153 | 481 | 929 |1079 |5926 | 2 | 125 |1135 | 1.691794e+02 | 1.980000e+02 | 17.04%| unknown
380.35/381.73 c 276s| 3400 | 1589 | 2266k| 503.6 | 276M | 153 | 481 | 929 |1079 |6031 | 1 | 128 |1135 | 1.691858e+02 | 1.980000e+02 | 17.03%| unknown
380.35/381.73 c 282s| 3500 | 1647 | 2306k| 501.3 | 276M | 153 | 481 | 929 | 963 |6331 | 1 | 129 |1143 | 1.691937e+02 | 1.980000e+02 | 17.03%| unknown
380.35/381.73 c 287s| 3600 | 1695 | 2354k| 500.7 | 277M | 153 | 481 | 929 |1079 |6546 | 3 | 132 |1152 | 1.692061e+02 | 1.980000e+02 | 17.02%| unknown
380.35/381.73 c 292s| 3700 | 1743 | 2386k| 496.9 | 277M | 153 | 481 | 929 |1078 |6812 | 2 | 135 |1169 | 1.692137e+02 | 1.980000e+02 | 17.01%| unknown
380.35/381.73 c 294s| 3800 | 1765 | 2397k| 489.0 | 277M | 153 | 481 | 929 |1083 |6921 | 2 | 136 |1176 | 1.692145e+02 | 1.980000e+02 | 17.01%| unknown
380.35/381.73 c 296s| 3900 | 1803 | 2418k| 483.4 | 277M | 153 | 481 | 929 |1079 |7088 | 0 | 137 |1179 | 1.692173e+02 | 1.980000e+02 | 17.01%| unknown
380.35/381.73 c 299s| 4000 | 1833 | 2436k| 477.3 | 277M | 153 | 481 | 929 |1080 |7206 | 3 | 138 |1180 | 1.692332e+02 | 1.980000e+02 | 17.00%| unknown
380.35/381.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
380.35/381.73 c 300s| 4100 | 1843 | 2451k| 471.0 | 277M | 153 | 481 | 929 |1079 |7294 | 0 | 142 |1184 | 1.692354e+02 | 1.980000e+02 | 17.00%| unknown
380.35/381.73 c 303s| 4200 | 1883 | 2478k| 467.2 | 277M | 153 | 481 | 929 |1081 |7485 | 1 | 145 |1185 | 1.692432e+02 | 1.980000e+02 | 16.99%| unknown
380.35/381.73 c 305s| 4300 | 1901 | 2494k| 461.4 | 277M | 153 | 481 | 929 |1080 |7595 | 1 | 147 |1186 | 1.692511e+02 | 1.980000e+02 | 16.99%| unknown
380.35/381.73 c 307s| 4400 | 1921 | 2509k| 455.6 | 277M | 153 | 481 | 929 |1079 |7690 | 3 | 148 |1187 | 1.692599e+02 | 1.980000e+02 | 16.98%| unknown
380.35/381.73 c 310s| 4500 | 1953 | 2536k| 452.3 | 277M | 153 | 481 | 929 |1082 |7883 | 1 | 151 |1187 | 1.692649e+02 | 1.980000e+02 | 16.98%| unknown
380.35/381.73 c 314s| 4600 | 1995 | 2565k| 449.5 | 277M | 153 | 481 | 929 | 971 |8141 | 1 | 155 |1187 | 1.692719e+02 | 1.980000e+02 | 16.97%| unknown
380.35/381.73 c 317s| 4700 | 2033 | 2589k| 445.8 | 277M | 153 | 481 | 929 | 977 |8329 | 1 | 157 |1188 | 1.692754e+02 | 1.980000e+02 | 16.97%| unknown
380.35/381.73 c 321s| 4800 | 2091 | 2622k| 443.8 | 277M | 153 | 481 | 929 |1081 |8561 | 1 | 159 |1188 | 1.692893e+02 | 1.980000e+02 | 16.96%| unknown
380.35/381.73 c 321s| 4900 | 2107 | 2629k| 437.6 | 277M | 153 | 481 | 929 |1078 |8580 | 0 | 162 |1188 | 1.692893e+02 | 1.980000e+02 | 16.96%| unknown
380.35/381.73 c 323s| 5000 | 2139 | 2645k| 433.0 | 277M | 153 | 481 | 929 |1081 |8707 | 1 | 163 |1190 | 1.692904e+02 | 1.980000e+02 | 16.96%| unknown
380.35/381.73 c 325s| 5100 | 2161 | 2666k| 429.3 | 278M | 153 | 481 | 929 |1081 |8814 | 1 | 164 |1190 | 1.692919e+02 | 1.980000e+02 | 16.96%| unknown
380.35/381.73 c 330s| 5200 | 2203 | 2700k| 427.9 | 278M | 153 | 481 | 929 |1081 |9052 | 1 | 168 |1190 | 1.693063e+02 | 1.980000e+02 | 16.95%| unknown
380.35/381.73 c 331s| 5300 | 2233 | 2717k| 423.8 | 278M | 153 | 481 | 929 |1081 |9169 | 1 | 174 |1190 | 1.693136e+02 | 1.980000e+02 | 16.94%| unknown
380.35/381.73 c 333s| 5400 | 2253 | 2732k| 419.6 | 278M | 153 | 481 | 929 |1079 |9267 | 1 | 177 |1191 | 1.693147e+02 | 1.980000e+02 | 16.94%| unknown
380.35/381.73 c 334s| 5500 | 2275 | 2745k| 415.1 | 278M | 153 | 481 | 929 |1079 |9353 | 1 | 178 |1191 | 1.693165e+02 | 1.980000e+02 | 16.94%| unknown
380.35/381.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
380.35/381.73 c 337s| 5600 | 2317 | 2772k| 413.0 | 278M | 153 | 481 | 929 |1081 |9525 | 3 | 187 |1191 | 1.693196e+02 | 1.980000e+02 | 16.94%| unknown
380.35/381.73 c 339s| 5700 | 2341 | 2787k| 409.0 | 278M | 153 | 481 | 929 |1079 |9638 | 1 | 189 |1191 | 1.693242e+02 | 1.980000e+02 | 16.94%| unknown
380.35/381.73 c 341s| 5800 | 2363 | 2800k| 405.1 | 278M | 153 | 481 | 929 |1079 |9747 | 1 | 191 |1191 | 1.693320e+02 | 1.980000e+02 | 16.93%| unknown
380.35/381.73 c 344s| 5900 | 2405 | 2829k| 403.4 | 278M | 153 | 481 | 929 | 975 |9966 | 1 | 196 |1191 | 1.693368e+02 | 1.980000e+02 | 16.93%| unknown
380.35/381.73 c 350s| 6000 | 2449 | 2880k| 404.9 | 278M | 153 | 481 | 929 |1081 | 10k| 1 | 204 |1207 | 1.693388e+02 | 1.980000e+02 | 16.93%| unknown
380.35/381.73 c 352s| 6100 | 2471 | 2898k| 401.7 | 278M | 153 | 481 | 929 |1077 | 10k| 1 | 209 |1208 | 1.693406e+02 | 1.980000e+02 | 16.92%| unknown
380.35/381.73 c 356s| 6200 | 2531 | 2931k| 400.8 | 278M | 153 | 481 | 929 |1079 | 10k| 3 | 210 |1220 | 1.693526e+02 | 1.980000e+02 | 16.92%| unknown
380.35/381.73 c 360s| 6300 | 2571 | 2959k| 399.1 | 278M | 153 | 481 | 929 |1083 | 10k| 1 | 213 |1233 | 1.693557e+02 | 1.980000e+02 | 16.91%| unknown
380.35/381.73 c 365s| 6400 | 2619 | 2993k| 398.3 | 279M | 153 | 481 | 929 |1084 | 11k| 2 | 216 |1236 | 1.693666e+02 | 1.980000e+02 | 16.91%| unknown
380.35/381.73 c 368s| 6500 | 2657 | 3017k| 396.2 | 279M | 153 | 481 | 929 |1080 | 11k| 2 | 221 |1236 | 1.693707e+02 | 1.980000e+02 | 16.90%| unknown
380.35/381.73 c 370s| 6600 | 2683 | 3035k| 393.4 | 279M | 153 | 481 | 929 |1083 | 11k| 2 | 222 |1240 | 1.693746e+02 | 1.980000e+02 | 16.90%| unknown
380.35/381.73 c 372s| 6700 | 2709 | 3052k| 390.5 | 279M | 153 | 481 | 929 | 977 | 11k| 1 | 223 |1240 | 1.693813e+02 | 1.980000e+02 | 16.90%| unknown
380.35/381.73 c 377s| 6800 | 2759 | 3099k| 391.5 | 279M | 153 | 481 | 931 |1079 | 11k| 3 | 231 |1240 | 1.693870e+02 | 1.980000e+02 | 16.89%| unknown
380.35/381.73 c 378s| 6900 | 2767 | 3106k| 387.4 | 279M | 153 | 481 | 931 |1082 | 11k| 1 | 237 |1240 | 1.693870e+02 | 1.980000e+02 | 16.89%| unknown
380.35/381.73 c 380s| 7000 | 2807 | 3129k| 385.5 | 279M | 153 | 481 | 931 |1081 | 11k| 2 | 239 |1241 | 1.693879e+02 | 1.980000e+02 | 16.89%| unknown
380.35/381.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
524.06/525.97 c 381s| 7100 | 2819 | 3138k| 381.9 | 279M | 153 | 481 | 931 | 974 | 12k| 1 | 245 |1242 | 1.693896e+02 | 1.980000e+02 | 16.89%| unknown
524.06/525.97 c 384s| 7200 | 2849 | 3162k| 380.1 | 279M | 153 | 481 | 931 |1082 | 12k| 1 | 246 |1242 | 1.693956e+02 | 1.980000e+02 | 16.89%| unknown
524.06/525.97 c 387s| 7300 | 2899 | 3194k| 379.4 | 279M | 153 | 481 | 931 |1083 | 12k| 2 | 247 |1242 | 1.694066e+02 | 1.980000e+02 | 16.88%| unknown
524.06/525.97 c 390s| 7400 | 2931 | 3212k| 377.1 | 279M | 153 | 481 | 932 | 986 | 12k| 1 | 248 |1242 | 1.694133e+02 | 1.980000e+02 | 16.87%| unknown
524.06/525.97 c 392s| 7500 | 2961 | 3231k| 374.9 | 279M | 153 | 481 | 932 |1084 | 12k| 1 | 255 |1242 | 1.694145e+02 | 1.980000e+02 | 16.87%| unknown
524.06/525.97 c 392s| 7600 | 2963 | 3236k| 371.2 | 279M | 153 | 481 | 932 |1082 | 12k| 1 | 255 |1242 | 1.694145e+02 | 1.980000e+02 | 16.87%| unknown
524.06/525.97 c 395s| 7700 | 2987 | 3259k| 369.6 | 279M | 153 | 481 | 932 |1081 | 12k| 2 | 258 |1242 | 1.694154e+02 | 1.980000e+02 | 16.87%| unknown
524.06/525.97 c 398s| 7800 | 3023 | 3285k| 368.3 | 279M | 153 | 481 | 932 |1080 | 13k| 1 | 258 |1242 | 1.694179e+02 | 1.980000e+02 | 16.87%| unknown
524.06/525.97 c 402s| 7900 | 3067 | 3320k| 368.1 | 279M | 153 | 481 | 932 |1079 | 13k| 3 | 264 |1242 | 1.694202e+02 | 1.980000e+02 | 16.87%| unknown
524.06/525.97 c 405s| 8000 | 3099 | 3343k| 366.5 | 279M | 153 | 481 | 932 |1083 | 13k| 2 | 265 |1242 | 1.694389e+02 | 1.980000e+02 | 16.86%| unknown
524.06/525.97 c 408s| 8100 | 3119 | 3363k| 364.8 | 279M | 153 | 481 | 932 | 970 | 13k| 1 | 267 |1242 | 1.694436e+02 | 1.980000e+02 | 16.85%| unknown
524.06/525.97 c 411s| 8200 | 3151 | 3385k| 363.2 | 279M | 153 | 481 | 932 | 964 | 13k| 1 | 270 |1242 | 1.694480e+02 | 1.980000e+02 | 16.85%| unknown
524.06/525.97 c 412s| 8300 | 3163 | 3400k| 360.9 | 279M | 153 | 481 | 932 | 967 | 14k| 1 | 271 |1242 | 1.694490e+02 | 1.980000e+02 | 16.85%| unknown
524.06/525.97 c 417s| 8400 | 3215 | 3441k| 361.4 | 279M | 153 | 481 | 932 |1086 | 14k| 3 | 272 |1253 | 1.694684e+02 | 1.980000e+02 | 16.84%| unknown
524.06/525.97 c 421s| 8500 | 3243 | 3466k| 360.2 | 279M | 153 | 481 | 932 |1078 | 14k| 1 | 273 |1260 | 1.694696e+02 | 1.980000e+02 | 16.84%| unknown
524.06/525.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
524.06/525.97 c 424s| 8600 | 3285 | 3491k| 359.1 | 279M | 153 | 481 | 932 |1087 | 14k| 1 | 276 |1264 | 1.694764e+02 | 1.980000e+02 | 16.83%| unknown
524.06/525.97 c 428s| 8700 | 3335 | 3521k| 358.5 | 279M | 153 | 481 | 932 |1081 | 14k| 2 | 279 |1267 | 1.694886e+02 | 1.980000e+02 | 16.82%| unknown
524.06/525.97 c 430s| 8800 | 3363 | 3543k| 357.1 | 279M | 153 | 481 | 932 |1082 | 15k| 0 | 280 |1269 | 1.694896e+02 | 1.980000e+02 | 16.82%| unknown
524.06/525.97 c 433s| 8900 | 3393 | 3564k| 355.6 | 279M | 153 | 481 | 932 | 980 | 15k| 1 | 281 |1272 | 1.694921e+02 | 1.980000e+02 | 16.82%| unknown
524.06/525.97 c 438s| 9000 | 3445 | 3604k| 356.0 | 279M | 153 | 481 | 932 |1083 | 15k| 2 | 283 |1272 | 1.694948e+02 | 1.980000e+02 | 16.82%| unknown
524.06/525.97 c 438s| 9100 | 3449 | 3611k| 353.2 | 280M | 153 | 481 | 932 |1087 | 15k| 3 | 283 |1273 | 1.694948e+02 | 1.980000e+02 | 16.82%| unknown
524.06/525.97 c 441s| 9200 | 3469 | 3633k| 351.9 | 280M | 153 | 481 | 932 | 976 | 15k| 1 | 287 |1273 | 1.695005e+02 | 1.980000e+02 | 16.81%| unknown
524.06/525.97 c 445s| 9300 | 3519 | 3670k| 352.1 | 280M | 153 | 481 | 932 |1083 | 16k| 2 | 290 |1275 | 1.695086e+02 | 1.980000e+02 | 16.81%| unknown
524.06/525.97 c 447s| 9400 | 3537 | 3685k| 350.1 | 280M | 153 | 481 | 932 |1085 | 16k| 1 | 293 |1277 | 1.695107e+02 | 1.980000e+02 | 16.81%| unknown
524.06/525.97 c 450s| 9500 | 3567 | 3712k| 349.4 | 280M | 153 | 481 | 932 |1079 | 16k| 3 | 296 |1278 | 1.695141e+02 | 1.980000e+02 | 16.80%| unknown
524.06/525.97 c 450s| 9600 | 3575 | 3719k| 346.8 | 280M | 153 | 481 | 932 |1085 | 16k| 2 | 299 |1278 | 1.695141e+02 | 1.980000e+02 | 16.80%| unknown
524.06/525.97 c 453s| 9700 | 3605 | 3751k| 346.6 | 280M | 153 | 481 | 932 |1090 | 16k| 3 | 300 |1279 | 1.695149e+02 | 1.980000e+02 | 16.80%| unknown
524.06/525.97 c 455s| 9800 | 3647 | 3774k| 345.5 | 280M | 153 | 481 | 932 |1089 | 16k| 2 | 302 |1279 | 1.695171e+02 | 1.980000e+02 | 16.80%| unknown
524.06/525.97 c 458s| 9900 | 3683 | 3802k| 344.8 | 280M | 153 | 481 | 932 |1089 | 16k| 0 | 304 |1280 | 1.695262e+02 | 1.980000e+02 | 16.80%| unknown
524.06/525.97 c 461s| 10000 | 3713 | 3826k| 344.0 | 280M | 153 | 481 | 932 |1087 | 17k| 3 | 308 |1282 | 1.695337e+02 | 1.980000e+02 | 16.79%| unknown
524.06/525.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
524.06/525.97 c 463s| 10100 | 3723 | 3842k| 342.3 | 280M | 153 | 481 | 932 |1090 | 17k| 1 | 309 |1283 | 1.695351e+02 | 1.980000e+02 | 16.79%| unknown
524.06/525.97 c 463s| 10200 | 3727 | 3847k| 339.7 | 280M | 153 | 481 | 932 |1087 | 17k| 3 | 311 |1283 | 1.695351e+02 | 1.980000e+02 | 16.79%| unknown
524.06/525.97 c 467s| 10300 | 3771 | 3876k| 339.3 | 280M | 153 | 481 | 932 | 985 | 17k| 1 | 314 |1284 | 1.695380e+02 | 1.980000e+02 | 16.79%| unknown
524.06/525.97 c 471s| 10400 | 3815 | 3908k| 339.1 | 280M | 153 | 481 | 932 |1084 | 17k| 2 | 316 |1285 | 1.695387e+02 | 1.980000e+02 | 16.79%| unknown
524.06/525.97 c 473s| 10500 | 3851 | 3933k| 338.3 | 280M | 153 | 481 | 935 |1082 | 17k| 3 | 321 |1285 | 1.695432e+02 | 1.980000e+02 | 16.78%| unknown
524.06/525.97 c 478s| 10600 | 3893 | 3967k| 338.3 | 281M | 153 | 481 | 935 |1086 | 18k| 3 | 322 |1285 | 1.695499e+02 | 1.980000e+02 | 16.78%| unknown
524.06/525.97 c 480s| 10700 | 3905 | 3983k| 336.8 | 281M | 153 | 481 | 935 |1087 | 18k| 0 | 322 |1285 | 1.695531e+02 | 1.980000e+02 | 16.78%| unknown
524.06/525.97 c 484s| 10800 | 3957 | 4021k| 337.1 | 281M | 153 | 481 | 935 | 977 | 18k| 1 | 323 |1286 | 1.695593e+02 | 1.980000e+02 | 16.77%| unknown
524.06/525.97 c 487s| 10900 | 3989 | 4046k| 336.5 | 282M | 153 | 481 | 935 |1016 | 18k| 4 | 327 |1288 | 1.695638e+02 | 1.980000e+02 | 16.77%| unknown
524.06/525.97 c 490s| 11000 | 4025 | 4073k| 335.8 | 282M | 153 | 481 | 935 | 976 | 18k| 1 | 327 |1288 | 1.695662e+02 | 1.980000e+02 | 16.77%| unknown
524.06/525.97 c 495s| 11100 | 4079 | 4116k| 336.6 | 282M | 153 | 481 | 935 |1082 | 19k| 1 | 331 |1288 | 1.695731e+02 | 1.980000e+02 | 16.76%| unknown
524.06/525.97 c 499s| 11200 | 4123 | 4146k| 336.3 | 282M | 153 | 481 | 935 | 974 | 19k| 1 | 334 |1288 | 1.695836e+02 | 1.980000e+02 | 16.76%| unknown
524.06/525.97 c 501s| 11300 | 4139 | 4168k| 335.4 | 282M | 153 | 481 | 934 |1082 | 19k| 1 | 342 |1288 | 1.695869e+02 | 1.980000e+02 | 16.75%| unknown
524.06/525.97 c 504s| 11400 | 4171 | 4194k| 334.8 | 282M | 153 | 481 | 934 |1081 | 19k| 3 | 349 |1288 | 1.695900e+02 | 1.980000e+02 | 16.75%| unknown
524.06/525.97 c 507s| 11500 | 4197 | 4218k| 334.0 | 282M | 153 | 481 | 934 |1080 | 19k| 1 | 355 |1288 | 1.695919e+02 | 1.980000e+02 | 16.75%| unknown
524.06/525.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
524.06/525.97 c 508s| 11600 | 4213 | 4232k| 332.5 | 282M | 153 | 481 | 934 |1083 | 19k| 0 | 355 |1288 | 1.695925e+02 | 1.980000e+02 | 16.75%| unknown
524.06/525.97 c 510s| 11700 | 4239 | 4252k| 331.5 | 282M | 153 | 481 | 934 | 970 | 20k| 1 | 360 |1288 | 1.695950e+02 | 1.980000e+02 | 16.75%| unknown
524.06/525.97 c 513s| 11800 | 4281 | 4280k| 331.0 | 283M | 153 | 481 | 935 |1090 | 20k| 1 | 366 |1288 | 1.695955e+02 | 1.980000e+02 | 16.75%| unknown
524.06/525.97 c 516s| 11900 | 4311 | 4307k| 330.6 | 283M | 153 | 481 | 935 |1084 | 20k| 1 | 372 |1290 | 1.696057e+02 | 1.980000e+02 | 16.74%| unknown
524.06/525.97 c 516s| 12000 | 4315 | 4316k| 328.8 | 283M | 153 | 481 | 935 |1090 | 20k| 2 | 375 |1292 | 1.696057e+02 | 1.980000e+02 | 16.74%| unknown
524.06/525.97 c 519s| 12100 | 4357 | 4345k| 328.5 | 283M | 153 | 481 | 935 | 970 | 20k| 1 | 379 |1293 | 1.696095e+02 | 1.980000e+02 | 16.74%| unknown
524.06/525.97 c 522s| 12200 | 4383 | 4366k| 327.6 | 283M | 153 | 481 | 934 |1087 | 20k| 0 | 381 |1302 | 1.696107e+02 | 1.980000e+02 | 16.74%| unknown
524.06/525.97 c 525s| 12300 | 4415 | 4392k| 327.0 | 283M | 153 | 481 | 934 |1082 | 20k| 1 | 383 |1308 | 1.696118e+02 | 1.980000e+02 | 16.74%| unknown
646.55/648.80 c 526s| 12400 | 4417 | 4400k| 325.2 | 283M | 153 | 481 | 934 |1082 | 20k| 1 | 395 |1309 | 1.696118e+02 | 1.980000e+02 | 16.74%| unknown
646.55/648.80 c 528s| 12500 | 4449 | 4422k| 324.4 | 283M | 153 | 481 | 934 |1082 | 21k| 2 | 397 |1310 | 1.696122e+02 | 1.980000e+02 | 16.74%| unknown
646.55/648.80 c 532s| 12600 | 4489 | 4462k| 325.0 | 283M | 153 | 481 | 934 |1080 | 21k| 2 | 400 |1313 | 1.696144e+02 | 1.980000e+02 | 16.74%| unknown
646.55/648.80 c 535s| 12700 | 4547 | 4490k| 324.7 | 283M | 153 | 481 | 934 |1086 | 21k| 1 | 403 |1314 | 1.696185e+02 | 1.980000e+02 | 16.73%| unknown
646.55/648.80 c 537s| 12800 | 4589 | 4511k| 323.9 | 283M | 153 | 481 | 934 |1088 | 21k| 2 | 408 |1314 | 1.696185e+02 | 1.980000e+02 | 16.73%| unknown
646.55/648.80 c 538s| 12900 | 4635 | 4529k| 322.8 | 283M | 153 | 481 | 934 |1090 | 21k| 1 | 413 |1315 | 1.696185e+02 | 1.980000e+02 | 16.73%| unknown
646.55/648.80 c 539s| 13000 | 4721 | 4539k| 321.2 | 283M | 153 | 481 | 934 |1092 | 21k| 1 | 414 |1317 | 1.696185e+02 | 1.980000e+02 | 16.73%| unknown
646.55/648.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
646.55/648.80 c 539s| 13100 | 4751 | 4546k| 319.4 | 283M | 153 | 481 | 934 |1095 | 21k| 1 | 423 |1318 | 1.696185e+02 | 1.980000e+02 | 16.73%| unknown
646.55/648.80 c 543s| 13200 | 4787 | 4572k| 319.0 | 283M | 153 | 481 | 934 |1094 | 21k| 0 | 428 |1320 | 1.696257e+02 | 1.980000e+02 | 16.73%| unknown
646.55/648.80 c 546s| 13300 | 4835 | 4600k| 318.8 | 283M | 153 | 481 | 933 | 981 | 22k| 1 | 433 |1321 | 1.696301e+02 | 1.980000e+02 | 16.72%| unknown
646.55/648.80 c 550s| 13400 | 4879 | 4632k| 318.8 | 283M | 153 | 481 | 933 |1094 | 22k| 1 | 440 |1321 | 1.696317e+02 | 1.980000e+02 | 16.72%| unknown
646.55/648.80 c 552s| 13500 | 4913 | 4655k| 318.2 | 283M | 153 | 481 | 933 |1096 | 22k| 2 | 447 |1322 | 1.696342e+02 | 1.980000e+02 | 16.72%| unknown
646.55/648.80 c 556s| 13600 | 4961 | 4682k| 317.8 | 283M | 153 | 481 | 933 | 978 | 22k| 1 | 451 |1322 | 1.696393e+02 | 1.980000e+02 | 16.72%| unknown
646.55/648.80 c 558s| 13700 | 4999 | 4705k| 317.2 | 283M | 153 | 481 | 933 |1095 | 22k| 1 | 456 |1323 | 1.696402e+02 | 1.980000e+02 | 16.72%| unknown
646.55/648.80 c 561s| 13800 | 5037 | 4733k| 317.0 | 283M | 153 | 481 | 933 |1094 | 22k| 1 | 460 |1323 | 1.696413e+02 | 1.980000e+02 | 16.72%| unknown
646.55/648.80 c 563s| 13900 | 5059 | 4748k| 315.9 | 283M | 153 | 481 | 933 |1095 | 22k| 1 | 464 |1323 | 1.696438e+02 | 1.980000e+02 | 16.72%| unknown
646.55/648.80 c 565s| 14000 | 5105 | 4772k| 315.4 | 283M | 153 | 481 | 932 |1095 | 23k| 1 | 468 |1323 | 1.696453e+02 | 1.980000e+02 | 16.71%| unknown
646.55/648.80 c 568s| 14100 | 5137 | 4798k| 315.0 | 283M | 153 | 481 | 931 |1097 | 23k| 1 | 478 |1323 | 1.696514e+02 | 1.980000e+02 | 16.71%| unknown
646.55/648.80 c 571s| 14200 | 5179 | 4821k| 314.4 | 283M | 153 | 481 | 929 |1098 | 23k| 1 | 480 |1324 | 1.696556e+02 | 1.980000e+02 | 16.71%| unknown
646.55/648.80 c 574s| 14300 | 5219 | 4845k| 314.0 | 283M | 153 | 481 | 929 |1098 | 23k| 1 | 483 |1324 | 1.696584e+02 | 1.980000e+02 | 16.71%| unknown
646.55/648.80 c 576s| 14400 | 5253 | 4869k| 313.5 | 283M | 153 | 481 | 929 |1098 | 23k| 1 | 488 |1325 | 1.696603e+02 | 1.980000e+02 | 16.70%| unknown
646.55/648.80 c 577s| 14500 | 5251 | 4875k| 311.8 | 283M | 153 | 481 | 929 |1098 | 23k| 0 | 496 |1325 | 1.696603e+02 | 1.980000e+02 | 16.70%| unknown
646.55/648.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
646.55/648.80 c 580s| 14600 | 5297 | 4900k| 311.4 | 283M | 153 | 481 | 929 |1014 | 23k| 3 | 497 |1334 | 1.696688e+02 | 1.980000e+02 | 16.70%| unknown
646.55/648.80 c 583s| 14700 | 5351 | 4934k| 311.6 | 283M | 153 | 481 | 929 |1012 | 24k| 1 | 498 |1339 | 1.696715e+02 | 1.980000e+02 | 16.70%| unknown
646.55/648.80 c 587s| 14800 | 5387 | 4961k| 311.4 | 284M | 153 | 481 | 929 |1099 | 24k| 2 | 501 |1344 | 1.696748e+02 | 1.980000e+02 | 16.69%| unknown
646.55/648.80 c 588s| 14900 | 5409 | 4978k| 310.5 | 284M | 153 | 481 | 929 |1101 | 24k| 2 | 509 |1344 | 1.696764e+02 | 1.980000e+02 | 16.69%| unknown
646.55/648.80 c 591s| 15000 | 5439 | 5002k| 310.1 | 284M | 153 | 481 | 929 |1098 | 24k| 0 | 512 |1344 | 1.696776e+02 | 1.980000e+02 | 16.69%| unknown
646.55/648.80 c 592s| 15100 | 5457 | 5017k| 309.0 | 284M | 153 | 481 | 929 |1099 | 24k| 1 | 517 |1346 | 1.696776e+02 | 1.980000e+02 | 16.69%| unknown
646.55/648.80 c 594s| 15200 | 5471 | 5031k| 308.0 | 284M | 153 | 481 | 929 |1097 | 24k| 1 | 520 |1347 | 1.696783e+02 | 1.980000e+02 | 16.69%| unknown
646.55/648.80 c 597s| 15300 | 5519 | 5065k| 308.2 | 284M | 153 | 481 | 929 |1098 | 24k| 1 | 527 |1349 | 1.696836e+02 | 1.980000e+02 | 16.69%| unknown
646.55/648.80 c 600s| 15400 | 5561 | 5089k| 307.8 | 284M | 153 | 481 | 929 |1098 | 24k| 2 | 528 |1350 | 1.696882e+02 | 1.980000e+02 | 16.68%| unknown
646.55/648.80 c 602s| 15500 | 5591 | 5121k| 307.8 | 284M | 153 | 481 | 929 |1099 | 25k| 1 | 534 |1350 | 1.696927e+02 | 1.980000e+02 | 16.68%| unknown
646.55/648.80 c 603s| 15600 | 5595 | 5127k| 306.4 | 284M | 153 | 481 | 929 |1098 | 25k| 3 | 545 |1350 | 1.696927e+02 | 1.980000e+02 | 16.68%| unknown
646.55/648.80 c 604s| 15700 | 5605 | 5141k| 305.4 | 284M | 153 | 481 | 929 |1098 | 25k| 1 | 551 |1350 | 1.696930e+02 | 1.980000e+02 | 16.68%| unknown
646.55/648.80 c 606s| 15800 | 5629 | 5158k| 304.6 | 284M | 153 | 481 | 929 | 966 | 25k| 1 | 555 |1350 | 1.696965e+02 | 1.980000e+02 | 16.68%| unknown
646.55/648.80 c 609s| 15900 | 5647 | 5182k| 304.2 | 284M | 153 | 481 | 929 |1098 | 25k| 1 | 562 |1350 | 1.696965e+02 | 1.980000e+02 | 16.68%| unknown
646.55/648.80 c 611s| 16000 | 5677 | 5199k| 303.4 | 284M | 153 | 481 | 929 |1096 | 25k| 1 | 571 |1351 | 1.696966e+02 | 1.980000e+02 | 16.68%| unknown
646.55/648.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
646.55/648.80 c 613s| 16100 | 5715 | 5224k| 303.1 | 284M | 153 | 481 | 929 |1098 | 25k| 0 | 572 |1352 | 1.696983e+02 | 1.980000e+02 | 16.68%| unknown
646.55/648.80 c 616s| 16200 | 5745 | 5251k| 302.9 | 284M | 153 | 481 | 929 |1096 | 25k| 1 | 581 |1352 | 1.696996e+02 | 1.980000e+02 | 16.68%| unknown
646.55/648.80 c 618s| 16300 | 5761 | 5266k| 302.0 | 284M | 153 | 481 | 929 |1096 | 25k| 2 | 587 |1352 | 1.697019e+02 | 1.980000e+02 | 16.68%| unknown
646.55/648.80 c 620s| 16400 | 5807 | 5290k| 301.7 | 284M | 153 | 481 | 929 |1098 | 26k| 1 | 593 |1352 | 1.697023e+02 | 1.980000e+02 | 16.67%| unknown
646.55/648.80 c 622s| 16500 | 5827 | 5306k| 300.8 | 284M | 153 | 481 | 929 |1097 | 26k| 1 | 594 |1352 | 1.697027e+02 | 1.980000e+02 | 16.67%| unknown
646.55/648.80 c 624s| 16600 | 5853 | 5323k| 300.1 | 285M | 153 | 481 | 929 |1094 | 26k| 1 | 600 |1352 | 1.697033e+02 | 1.980000e+02 | 16.67%| unknown
646.55/648.80 c L 625s| 16637 | 5290 | 5335k| 300.2 | rins| 153 | 481 | 929 |1117 | 26k| 1 | 603 |1352 | 1.697036e+02 | 1.960000e+02 | 15.50%| unknown
646.55/648.80 c 627s| 16700 | 5309 | 5351k| 300.0 | 285M | 153 | 481 | 929 |1017 | 26k| 4 | 606 |1352 | 1.697059e+02 | 1.960000e+02 | 15.49%| unknown
646.55/648.80 c 628s| 16800 | 5325 | 5366k| 299.2 | 285M | 153 | 481 | 929 |1098 | 26k| 1 | 613 |1352 | 1.697059e+02 | 1.960000e+02 | 15.49%| unknown
646.55/648.80 c 630s| 16900 | 5351 | 5384k| 298.5 | 285M | 153 | 481 | 929 | 972 | 26k| 1 | 616 |1352 | 1.697074e+02 | 1.960000e+02 | 15.49%| unknown
646.55/648.80 c 633s| 17000 | 5383 | 5419k| 298.8 | 285M | 153 | 481 | 929 |1095 | 26k| 1 | 619 |1352 | 1.697077e+02 | 1.960000e+02 | 15.49%| unknown
646.55/648.80 c 637s| 17100 | 5429 | 5448k| 298.8 | 285M | 153 | 481 | 929 |1003 | 26k| 1 | 622 |1354 | 1.697120e+02 | 1.960000e+02 | 15.49%| unknown
646.55/648.80 c 641s| 17200 | 5485 | 5485k| 299.1 | 285M | 153 | 481 | 929 |1097 | 27k| 1 | 626 |1357 | 1.697166e+02 | 1.960000e+02 | 15.49%| unknown
646.55/648.80 c 643s| 17300 | 5515 | 5510k| 298.8 | 285M | 153 | 481 | 929 |1097 | 27k| 3 | 635 |1359 | 1.697178e+02 | 1.960000e+02 | 15.49%| unknown
646.55/648.80 c 646s| 17400 | 5541 | 5535k| 298.6 | 285M | 153 | 481 | 929 |1097 | 27k| 0 | 638 |1361 | 1.697188e+02 | 1.960000e+02 | 15.49%| unknown
646.55/648.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
765.46/768.17 c 648s| 17500 | 5577 | 5556k| 298.1 | 285M | 153 | 481 | 929 | 978 | 27k| 1 | 641 |1364 | 1.697224e+02 | 1.960000e+02 | 15.48%| unknown
765.46/768.17 c 650s| 17600 | 5607 | 5579k| 297.8 | 285M | 153 | 481 | 929 |1099 | 27k| 2 | 647 |1365 | 1.697246e+02 | 1.960000e+02 | 15.48%| unknown
765.46/768.17 c 656s| 17700 | 5671 | 5626k| 298.7 | 285M | 153 | 481 | 928 |1099 | 27k| 2 | 652 |1367 | 1.697274e+02 | 1.960000e+02 | 15.48%| unknown
765.46/768.17 c 658s| 17800 | 5699 | 5644k| 298.0 | 285M | 153 | 481 | 928 |1098 | 27k| 0 | 659 |1369 | 1.697293e+02 | 1.960000e+02 | 15.48%| unknown
765.46/768.17 c 661s| 17900 | 5735 | 5673k| 298.0 | 285M | 153 | 481 | 928 |1098 | 28k| 0 | 662 |1370 | 1.697344e+02 | 1.960000e+02 | 15.47%| unknown
765.46/768.17 c 663s| 18000 | 5769 | 5696k| 297.7 | 285M | 153 | 481 | 928 |1098 | 28k| 3 | 667 |1371 | 1.697366e+02 | 1.960000e+02 | 15.47%| unknown
765.46/768.17 c 666s| 18100 | 5807 | 5721k| 297.4 | 285M | 153 | 481 | 928 |1098 | 28k| 1 | 674 |1372 | 1.697420e+02 | 1.960000e+02 | 15.47%| unknown
765.46/768.17 c 666s| 18200 | 5805 | 5729k| 296.3 | 285M | 153 | 481 | 928 |1098 | 28k| 0 | 680 |1372 | 1.697420e+02 | 1.960000e+02 | 15.47%| unknown
765.46/768.17 c 667s| 18300 | 5819 | 5745k| 295.6 | 285M | 153 | 481 | 928 |1097 | 28k| 1 | 683 |1372 | 1.697429e+02 | 1.960000e+02 | 15.47%| unknown
765.46/768.17 c 669s| 18400 | 5831 | 5763k| 295.0 | 285M | 153 | 481 | 928 |1098 | 28k| 2 | 694 |1373 | 1.697445e+02 | 1.960000e+02 | 15.47%| unknown
765.46/768.17 c 671s| 18500 | 5849 | 5782k| 294.4 | 285M | 153 | 481 | 928 |1098 | 28k| 2 | 701 |1373 | 1.697450e+02 | 1.960000e+02 | 15.47%| unknown
765.46/768.17 c 674s| 18600 | 5879 | 5807k| 294.2 | 285M | 153 | 481 | 928 |1098 | 28k| 1 | 708 |1374 | 1.697480e+02 | 1.960000e+02 | 15.47%| unknown
765.46/768.17 c 677s| 18700 | 5907 | 5851k| 295.0 | 285M | 153 | 481 | 928 |1097 | 28k| 2 | 711 |1376 | 1.697486e+02 | 1.960000e+02 | 15.46%| unknown
765.46/768.17 c 679s| 18800 | 5917 | 5869k| 294.4 | 285M | 153 | 481 | 928 |1098 | 28k| 3 | 717 |1376 | 1.697493e+02 | 1.960000e+02 | 15.46%| unknown
765.46/768.17 c 682s| 18900 | 5945 | 5896k| 294.2 | 285M | 153 | 481 | 928 |1099 | 29k| 1 | 721 |1376 | 1.697512e+02 | 1.960000e+02 | 15.46%| unknown
765.46/768.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
765.46/768.17 c 683s| 19000 | 5953 | 5907k| 293.3 | 285M | 153 | 481 | 928 | 979 | 29k| 1 | 724 |1376 | 1.697515e+02 | 1.960000e+02 | 15.46%| unknown
765.46/768.17 c 685s| 19100 | 5985 | 5931k| 293.1 | 285M | 153 | 481 | 928 |1097 | 29k| 1 | 731 |1376 | 1.697526e+02 | 1.960000e+02 | 15.46%| unknown
765.46/768.17 c 686s| 19200 | 5987 | 5940k| 292.1 | 285M | 153 | 481 | 928 |1099 | 29k| 1 | 734 |1376 | 1.697526e+02 | 1.960000e+02 | 15.46%| unknown
765.46/768.17 c 687s| 19300 | 6015 | 5956k| 291.4 | 285M | 153 | 481 | 928 |1097 | 29k| 1 | 741 |1376 | 1.697536e+02 | 1.960000e+02 | 15.46%| unknown
765.46/768.17 c 689s| 19400 | 6039 | 5972k| 290.7 | 285M | 153 | 481 | 928 |1098 | 29k| 0 | 746 |1377 | 1.697540e+02 | 1.960000e+02 | 15.46%| unknown
765.46/768.17 c 692s| 19500 | 6071 | 5996k| 290.5 | 285M | 153 | 481 | 928 |1098 | 29k| 1 | 751 |1385 | 1.697555e+02 | 1.960000e+02 | 15.46%| unknown
765.46/768.17 c 695s| 19600 | 6093 | 6018k| 290.2 | 285M | 153 | 481 | 928 | 980 | 29k| 1 | 756 |1389 | 1.697575e+02 | 1.960000e+02 | 15.46%| unknown
765.46/768.17 c 696s| 19700 | 6111 | 6034k| 289.6 | 285M | 153 | 481 | 928 | 996 | 29k| 1 | 765 |1389 | 1.697585e+02 | 1.960000e+02 | 15.46%| unknown
765.46/768.17 c 699s| 19800 | 6131 | 6057k| 289.3 | 285M | 153 | 481 | 928 |1100 | 29k| 1 | 770 |1391 | 1.697608e+02 | 1.960000e+02 | 15.46%| unknown
765.46/768.17 c 701s| 19900 | 6155 | 6085k| 289.2 | 285M | 153 | 481 | 928 |1099 | 29k| 2 | 780 |1393 | 1.697638e+02 | 1.960000e+02 | 15.45%| unknown
765.46/768.17 c 703s| 20000 | 6173 | 6100k| 288.6 | 285M | 153 | 481 | 928 |1096 | 29k| 2 | 790 |1393 | 1.697639e+02 | 1.960000e+02 | 15.45%| unknown
765.46/768.17 c 705s| 20100 | 6187 | 6118k| 288.1 | 285M | 153 | 481 | 928 |1095 | 30k| 1 | 795 |1394 | 1.697639e+02 | 1.960000e+02 | 15.45%| unknown
765.46/768.17 c 707s| 20200 | 6227 | 6141k| 287.8 | 285M | 153 | 481 | 928 |1096 | 30k| 1 | 799 |1396 | 1.697654e+02 | 1.960000e+02 | 15.45%| unknown
765.46/768.17 c 711s| 20300 | 6277 | 6175k| 288.0 | 285M | 153 | 481 | 928 |1099 | 30k| 3 | 802 |1397 | 1.697677e+02 | 1.960000e+02 | 15.45%| unknown
765.46/768.17 c 712s| 20400 | 6291 | 6193k| 287.5 | 285M | 153 | 481 | 928 |1099 | 30k| 0 | 809 |1397 | 1.697688e+02 | 1.960000e+02 | 15.45%| unknown
765.46/768.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
765.46/768.17 c 714s| 20500 | 6309 | 6205k| 286.8 | 285M | 153 | 481 | 928 | 979 | 30k| 1 | 812 |1397 | 1.697696e+02 | 1.960000e+02 | 15.45%| unknown
765.46/768.17 c 717s| 20600 | 6345 | 6234k| 286.7 | 285M | 153 | 481 | 928 |1000 | 30k| 1 | 812 |1399 | 1.697707e+02 | 1.960000e+02 | 15.45%| unknown
765.46/768.17 c 719s| 20700 | 6375 | 6256k| 286.4 | 285M | 153 | 481 | 928 |1098 | 30k| 1 | 817 |1402 | 1.697713e+02 | 1.960000e+02 | 15.45%| unknown
765.46/768.17 c 721s| 20800 | 6391 | 6275k| 286.0 | 285M | 153 | 481 | 928 |1096 | 30k| 1 | 825 |1402 | 1.697723e+02 | 1.960000e+02 | 15.45%| unknown
765.46/768.17 c 724s| 20900 | 6423 | 6297k| 285.7 | 286M | 153 | 481 | 928 | 982 | 31k| 1 | 830 |1402 | 1.697734e+02 | 1.960000e+02 | 15.45%| unknown
765.46/768.17 c 725s| 21000 | 6429 | 6309k| 285.0 | 286M | 153 | 481 | 928 |1099 | 31k| 1 | 836 |1402 | 1.697734e+02 | 1.960000e+02 | 15.45%| unknown
765.46/768.17 c 725s| 21100 | 6433 | 6317k| 284.0 | 286M | 153 | 481 | 928 |1098 | 31k| 3 | 839 |1402 | 1.697734e+02 | 1.960000e+02 | 15.45%| unknown
765.46/768.17 c 728s| 21200 | 6461 | 6341k| 283.8 | 286M | 153 | 481 | 928 |1099 | 31k| 1 | 842 |1402 | 1.697739e+02 | 1.960000e+02 | 15.45%| unknown
765.46/768.17 c 729s| 21300 | 6475 | 6360k| 283.4 | 286M | 153 | 481 | 928 |1098 | 31k| 1 | 850 |1402 | 1.697744e+02 | 1.960000e+02 | 15.45%| unknown
765.46/768.17 c 733s| 21400 | 6511 | 6390k| 283.5 | 286M | 153 | 481 | 928 |1100 | 31k| 1 | 857 |1407 | 1.697778e+02 | 1.960000e+02 | 15.45%| unknown
765.46/768.17 c 736s| 21500 | 6551 | 6420k| 283.5 | 286M | 153 | 481 | 928 | 977 | 31k| 1 | 862 |1408 | 1.697791e+02 | 1.960000e+02 | 15.44%| unknown
765.46/768.17 c 738s| 21600 | 6583 | 6444k| 283.4 | 286M | 153 | 481 | 928 |1101 | 31k| 1 | 868 |1408 | 1.697796e+02 | 1.960000e+02 | 15.44%| unknown
765.46/768.17 c 741s| 21700 | 6623 | 6470k| 283.3 | 286M | 153 | 481 | 928 |1099 | 31k| 0 | 873 |1408 | 1.697799e+02 | 1.960000e+02 | 15.44%| unknown
765.46/768.17 c 743s| 21800 | 6665 | 6497k| 283.2 | 286M | 153 | 481 | 928 |1097 | 32k| 1 | 881 |1408 | 1.697814e+02 | 1.960000e+02 | 15.44%| unknown
765.46/768.17 c 748s| 21900 | 6715 | 6534k| 283.6 | 286M | 153 | 481 | 928 |1100 | 32k| 1 | 885 |1413 | 1.697838e+02 | 1.960000e+02 | 15.44%| unknown
765.46/768.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
765.46/768.17 c 748s| 22000 | 6721 | 6544k| 282.8 | 286M | 153 | 481 | 928 |1102 | 32k| 2 | 887 |1413 | 1.697838e+02 | 1.960000e+02 | 15.44%| unknown
765.46/768.17 c 750s| 22100 | 6741 | 6565k| 282.5 | 286M | 153 | 481 | 928 |1100 | 32k| 1 | 896 |1417 | 1.697853e+02 | 1.960000e+02 | 15.44%| unknown
765.46/768.17 c 752s| 22200 | 6757 | 6584k| 282.1 | 286M | 153 | 481 | 928 |1100 | 32k| 1 | 910 |1419 | 1.697863e+02 | 1.960000e+02 | 15.44%| unknown
765.46/768.17 c 755s| 22300 | 6789 | 6631k| 282.9 | 286M | 153 | 481 | 928 |1101 | 32k| 2 | 919 |1420 | 1.697872e+02 | 1.960000e+02 | 15.44%| unknown
765.46/768.17 c 760s| 22400 | 6833 | 6668k| 283.2 | 286M | 153 | 481 | 928 |1099 | 32k| 1 | 927 |1423 | 1.697897e+02 | 1.960000e+02 | 15.44%| unknown
765.46/768.17 c 762s| 22500 | 6855 | 6686k| 282.8 | 286M | 153 | 481 | 928 | 972 | 32k| 1 | 931 |1425 | 1.697900e+02 | 1.960000e+02 | 15.44%| unknown
765.46/768.17 c 766s| 22600 | 6903 | 6720k| 283.0 | 290M | 153 | 481 | 928 |1099 | 33k| 1 | 937 |1425 | 1.697951e+02 | 1.960000e+02 | 15.43%| unknown
765.46/768.17 c 766s| 22700 | 6905 | 6729k| 282.2 | 290M | 153 | 481 | 928 |1100 | 33k| 1 | 949 |1425 | 1.697951e+02 | 1.960000e+02 | 15.43%| unknown
876.37/879.44 c 768s| 22800 | 6929 | 6750k| 281.9 | 290M | 153 | 481 | 928 |1101 | 33k| 1 | 958 |1427 | 1.697951e+02 | 1.960000e+02 | 15.43%| unknown
876.37/879.44 c 770s| 22900 | 6947 | 6768k| 281.5 | 290M | 153 | 481 | 928 |1101 | 33k| 1 | 963 |1427 | 1.697953e+02 | 1.960000e+02 | 15.43%| unknown
876.37/879.44 c 773s| 23000 | 6981 | 6798k| 281.6 | 290M | 153 | 481 | 930 |1103 | 33k| 1 | 971 |1430 | 1.697970e+02 | 1.960000e+02 | 15.43%| unknown
876.37/879.44 c 777s| 23100 | 7019 | 6833k| 281.9 | 290M | 153 | 481 | 930 | 983 | 33k| 1 | 979 |1432 | 1.698010e+02 | 1.960000e+02 | 15.43%| unknown
876.37/879.44 c 778s| 23200 | 7019 | 6849k| 281.4 | 290M | 153 | 481 | 930 |1103 | 33k| 1 | 988 |1434 | 1.698010e+02 | 1.960000e+02 | 15.43%| unknown
876.37/879.44 c 780s| 23300 | 7043 | 6871k| 281.1 | 290M | 153 | 481 | 930 |1008 | 33k| 3 | 993 |1434 | 1.698022e+02 | 1.960000e+02 | 15.43%| unknown
876.37/879.44 c 782s| 23400 | 7071 | 6894k| 280.9 | 290M | 153 | 481 | 930 |1106 | 33k| 2 | 997 |1434 | 1.698023e+02 | 1.960000e+02 | 15.43%| unknown
876.37/879.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
876.37/879.44 c 785s| 23500 | 7099 | 6921k| 280.9 | 290M | 153 | 481 | 930 |1105 | 33k| 2 |1001 |1434 | 1.698058e+02 | 1.960000e+02 | 15.43%| unknown
876.37/879.44 c 786s| 23600 | 7115 | 6941k| 280.5 | 290M | 153 | 481 | 930 |1098 | 34k| 2 |1007 |1435 | 1.698084e+02 | 1.960000e+02 | 15.42%| unknown
876.37/879.44 c 790s| 23700 | 7157 | 6967k| 280.4 | 290M | 153 | 481 | 930 |1098 | 34k| 0 |1010 |1436 | 1.698095e+02 | 1.960000e+02 | 15.42%| unknown
876.37/879.44 c 792s| 23800 | 7193 | 6993k| 280.4 | 290M | 153 | 481 | 930 |1098 | 34k| 1 |1020 |1436 | 1.698106e+02 | 1.960000e+02 | 15.42%| unknown
876.37/879.44 c 793s| 23900 | 7205 | 7009k| 279.9 | 290M | 153 | 481 | 930 |1098 | 34k| 1 |1030 |1436 | 1.698114e+02 | 1.960000e+02 | 15.42%| unknown
876.37/879.44 c 794s| 24000 | 7217 | 7027k| 279.5 | 290M | 153 | 481 | 930 |1098 | 34k| 2 |1034 |1436 | 1.698123e+02 | 1.960000e+02 | 15.42%| unknown
876.37/879.44 c 798s| 24100 | 7257 | 7062k| 279.8 | 290M | 153 | 481 | 930 |1098 | 34k| 1 |1042 |1436 | 1.698144e+02 | 1.960000e+02 | 15.42%| unknown
876.37/879.44 c 799s| 24200 | 7253 | 7072k| 279.1 | 290M | 153 | 481 | 930 |1102 | 34k| 3 |1049 |1436 | 1.698144e+02 | 1.960000e+02 | 15.42%| unknown
876.37/879.44 c 800s| 24300 | 7267 | 7091k| 278.7 | 290M | 153 | 481 | 930 |1102 | 34k| 2 |1054 |1439 | 1.698146e+02 | 1.960000e+02 | 15.42%| unknown
876.37/879.44 c 802s| 24400 | 7281 | 7108k| 278.3 | 290M | 153 | 481 | 930 |1102 | 34k| 1 |1059 |1443 | 1.698168e+02 | 1.960000e+02 | 15.42%| unknown
876.37/879.44 c 803s| 24500 | 7295 | 7119k| 277.6 | 290M | 153 | 481 | 930 |1100 | 34k| 4 |1069 |1443 | 1.698168e+02 | 1.960000e+02 | 15.42%| unknown
876.37/879.44 c 804s| 24600 | 7319 | 7138k| 277.3 | 291M | 153 | 481 | 930 |1098 | 34k| 2 |1076 |1445 | 1.698176e+02 | 1.960000e+02 | 15.42%| unknown
876.37/879.44 c 809s| 24700 | 7361 | 7170k| 277.4 | 291M | 153 | 481 | 930 | 971 | 35k| 1 |1080 |1451 | 1.698197e+02 | 1.960000e+02 | 15.42%| unknown
876.37/879.44 c 810s| 24800 | 7379 | 7182k| 276.8 | 291M | 153 | 481 | 930 |1101 | 35k| 1 |1082 |1452 | 1.698197e+02 | 1.960000e+02 | 15.42%| unknown
876.37/879.44 c 810s| 24900 | 7379 | 7189k| 276.0 | 291M | 153 | 481 | 930 |1102 | 35k| 2 |1090 |1452 | 1.698197e+02 | 1.960000e+02 | 15.42%| unknown
876.37/879.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
876.37/879.44 c 811s| 25000 | 7393 | 7204k| 275.6 | 291M | 153 | 481 | 930 |1099 | 35k| 2 |1097 |1455 | 1.698224e+02 | 1.960000e+02 | 15.41%| unknown
876.37/879.44 c 814s| 25100 | 7427 | 7230k| 275.5 | 291M | 153 | 481 | 930 |1101 | 35k| 2 |1103 |1458 | 1.698248e+02 | 1.960000e+02 | 15.41%| unknown
876.37/879.44 c 814s| 25200 | 7419 | 7240k| 274.8 | 291M | 153 | 481 | 930 |1105 | 35k| 2 |1112 |1458 | 1.698248e+02 | 1.960000e+02 | 15.41%| unknown
876.37/879.44 c 816s| 25300 | 7435 | 7258k| 274.5 | 291M | 153 | 481 | 930 |1104 | 35k| 3 |1118 |1458 | 1.698252e+02 | 1.960000e+02 | 15.41%| unknown
876.37/879.44 c 817s| 25400 | 7437 | 7272k| 274.0 | 291M | 153 | 481 | 930 | 996 | 35k| 1 |1132 |1459 | 1.698263e+02 | 1.960000e+02 | 15.41%| unknown
876.37/879.44 c 819s| 25500 | 7475 | 7301k| 274.0 | 291M | 153 | 481 | 930 |1106 | 35k| 2 |1134 |1464 | 1.698280e+02 | 1.960000e+02 | 15.41%| unknown
876.37/879.44 c 821s| 25600 | 7509 | 7321k| 273.7 | 291M | 153 | 481 | 930 |1103 | 35k| 2 |1141 |1464 | 1.698296e+02 | 1.960000e+02 | 15.41%| unknown
876.37/879.44 c 823s| 25700 | 7529 | 7339k| 273.4 | 291M | 153 | 481 | 930 |1095 | 35k| 1 |1150 |1465 | 1.698314e+02 | 1.960000e+02 | 15.41%| unknown
876.37/879.44 c 825s| 25800 | 7567 | 7367k| 273.4 | 291M | 153 | 481 | 930 |1099 | 35k| 1 |1161 |1466 | 1.698335e+02 | 1.960000e+02 | 15.41%| unknown
876.37/879.44 c 828s| 25900 | 7607 | 7394k| 273.4 | 292M | 153 | 481 | 930 |1099 | 35k| 1 |1165 |1469 | 1.698353e+02 | 1.960000e+02 | 15.41%| unknown
876.37/879.44 c 833s| 26000 | 7653 | 7435k| 273.9 | 292M | 153 | 481 | 930 |1100 | 36k| 0 |1168 |1470 | 1.698364e+02 | 1.960000e+02 | 15.41%| unknown
876.37/879.44 c 833s| 26100 | 7653 | 7446k| 273.3 | 292M | 153 | 481 | 930 |1097 | 36k| 1 |1174 |1470 | 1.698364e+02 | 1.960000e+02 | 15.41%| unknown
876.37/879.44 c 837s| 26200 | 7687 | 7486k| 273.8 | 292M | 153 | 481 | 930 |1099 | 36k| 2 |1179 |1470 | 1.698370e+02 | 1.960000e+02 | 15.40%| unknown
876.37/879.44 c 838s| 26300 | 7707 | 7505k| 273.5 | 292M | 153 | 481 | 930 |1099 | 36k| 1 |1187 |1471 | 1.698379e+02 | 1.960000e+02 | 15.40%| unknown
876.37/879.44 c 843s| 26400 | 7759 | 7544k| 273.9 | 292M | 153 | 481 | 930 |1097 | 36k| 2 |1193 |1471 | 1.698403e+02 | 1.960000e+02 | 15.40%| unknown
876.37/879.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
876.37/879.44 c 844s| 26500 | 7761 | 7555k| 273.3 | 292M | 153 | 481 | 930 |1100 | 36k| 2 |1202 |1471 | 1.698403e+02 | 1.960000e+02 | 15.40%| unknown
876.37/879.44 c 844s| 26600 | 7765 | 7565k| 272.7 | 292M | 153 | 481 | 930 |1098 | 36k| 2 |1210 |1471 | 1.698403e+02 | 1.960000e+02 | 15.40%| unknown
876.37/879.44 c 847s| 26700 | 7797 | 7596k| 272.8 | 292M | 153 | 481 | 930 |1100 | 36k| 1 |1214 |1471 | 1.698419e+02 | 1.960000e+02 | 15.40%| unknown
876.37/879.44 c 852s| 26800 | 7837 | 7629k| 273.0 | 292M | 153 | 481 | 930 | 979 | 37k| 1 |1220 |1471 | 1.698452e+02 | 1.960000e+02 | 15.40%| unknown
876.37/879.44 c 854s| 26900 | 7871 | 7660k| 273.1 | 292M | 153 | 481 | 930 | 974 | 37k| 1 |1224 |1471 | 1.698491e+02 | 1.960000e+02 | 15.40%| unknown
876.37/879.44 c 858s| 27000 | 7913 | 7692k| 273.3 | 292M | 153 | 481 | 930 |1100 | 37k| 2 |1225 |1480 | 1.698515e+02 | 1.960000e+02 | 15.39%| unknown
876.37/879.44 c 860s| 27100 | 7923 | 7715k| 273.1 | 292M | 153 | 481 | 930 |1102 | 37k| 1 |1230 |1482 | 1.698531e+02 | 1.960000e+02 | 15.39%| unknown
876.37/879.44 c 862s| 27200 | 7941 | 7734k| 272.8 | 292M | 153 | 481 | 930 |1101 | 37k| 1 |1235 |1484 | 1.698544e+02 | 1.960000e+02 | 15.39%| unknown
876.37/879.44 c 865s| 27300 | 7971 | 7762k| 272.9 | 292M | 153 | 481 | 930 |1097 | 37k| 1 |1241 |1486 | 1.698598e+02 | 1.960000e+02 | 15.39%| unknown
876.37/879.44 c 867s| 27400 | 8007 | 7782k| 272.6 | 292M | 153 | 481 | 930 |1096 | 37k| 3 |1251 |1487 | 1.698607e+02 | 1.960000e+02 | 15.39%| unknown
876.37/879.44 c 868s| 27500 | 8025 | 7797k| 272.2 | 292M | 153 | 481 | 930 |1027 | 37k| 4 |1259 |1488 | 1.698607e+02 | 1.960000e+02 | 15.39%| unknown
876.37/879.44 c 870s| 27600 | 8045 | 7818k| 272.0 | 292M | 153 | 481 | 930 |1001 | 38k| 1 |1269 |1489 | 1.698625e+02 | 1.960000e+02 | 15.39%| unknown
876.37/879.44 c 873s| 27700 | 8085 | 7854k| 272.3 | 292M | 153 | 481 | 930 |1103 | 38k| 1 |1281 |1491 | 1.698656e+02 | 1.960000e+02 | 15.39%| unknown
876.37/879.44 c 876s| 27800 | 8119 | 7883k| 272.3 | 292M | 153 | 481 | 930 |1104 | 38k| 2 |1285 |1491 | 1.698668e+02 | 1.960000e+02 | 15.38%| unknown
876.37/879.44 c 878s| 27900 | 8157 | 7912k| 272.4 | 293M | 153 | 481 | 930 |1105 | 38k| 1 |1292 |1493 | 1.698688e+02 | 1.960000e+02 | 15.38%| unknown
876.37/879.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
993.65/997.05 c 879s| 28000 | 8163 | 7922k| 271.8 | 293M | 153 | 481 | 930 |1104 | 38k| 1 |1302 |1494 | 1.698688e+02 | 1.960000e+02 | 15.38%| unknown
993.65/997.05 c 882s| 28100 | 8195 | 7948k| 271.8 | 293M | 153 | 481 | 930 |1105 | 38k| 2 |1306 |1495 | 1.698699e+02 | 1.960000e+02 | 15.38%| unknown
993.65/997.05 c 884s| 28200 | 8229 | 7975k| 271.8 | 293M | 153 | 481 | 930 |1104 | 38k| 1 |1312 |1496 | 1.698710e+02 | 1.960000e+02 | 15.38%| unknown
993.65/997.05 c 887s| 28300 | 8259 | 8003k| 271.8 | 293M | 153 | 481 | 930 |1104 | 38k| 2 |1318 |1496 | 1.698724e+02 | 1.960000e+02 | 15.38%| unknown
993.65/997.05 c 889s| 28400 | 8273 | 8020k| 271.5 | 293M | 153 | 481 | 930 |1104 | 38k| 2 |1323 |1496 | 1.698735e+02 | 1.960000e+02 | 15.38%| unknown
993.65/997.05 c 889s| 28500 | 8275 | 8031k| 270.9 | 293M | 153 | 481 | 930 |1103 | 38k| 1 |1333 |1497 | 1.698735e+02 | 1.960000e+02 | 15.38%| unknown
993.65/997.05 c 892s| 28600 | 8309 | 8061k| 271.0 | 293M | 153 | 481 | 930 |1103 | 38k| 2 |1337 |1498 | 1.698740e+02 | 1.960000e+02 | 15.38%| unknown
993.65/997.05 c 893s| 28700 | 8315 | 8072k| 270.5 | 293M | 153 | 481 | 930 |1101 | 38k| 2 |1352 |1499 | 1.698740e+02 | 1.960000e+02 | 15.38%| unknown
993.65/997.05 c 896s| 28800 | 8351 | 8100k| 270.5 | 293M | 153 | 481 | 930 |1101 | 39k| 1 |1355 |1499 | 1.698771e+02 | 1.960000e+02 | 15.38%| unknown
993.65/997.05 c 899s| 28900 | 8393 | 8134k| 270.7 | 293M | 153 | 481 | 930 |1101 | 39k| 3 |1358 |1499 | 1.698790e+02 | 1.960000e+02 | 15.38%| unknown
993.65/997.05 c 901s| 29000 | 8403 | 8152k| 270.4 | 293M | 153 | 481 | 930 |1102 | 39k| 3 |1366 |1499 | 1.698799e+02 | 1.960000e+02 | 15.38%| unknown
993.65/997.05 c 902s| 29100 | 8429 | 8171k| 270.2 | 293M | 153 | 481 | 930 |1014 | 39k| 1 |1370 |1499 | 1.698806e+02 | 1.960000e+02 | 15.38%| unknown
993.65/997.05 c 903s| 29200 | 8431 | 8186k| 269.7 | 293M | 153 | 481 | 930 |1102 | 39k| 3 |1376 |1499 | 1.698806e+02 | 1.960000e+02 | 15.38%| unknown
993.65/997.05 c 909s| 29300 | 8483 | 8255k| 271.1 | 293M | 153 | 481 | 930 | 988 | 39k| 1 |1378 |1500 | 1.698828e+02 | 1.960000e+02 | 15.37%| unknown
993.65/997.05 c 910s| 29400 | 8489 | 8269k| 270.7 | 293M | 153 | 481 | 930 |1107 | 39k| 3 |1384 |1500 | 1.698828e+02 | 1.960000e+02 | 15.37%| unknown
993.65/997.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
993.65/997.05 c 915s| 29500 | 8529 | 8306k| 271.1 | 293M | 153 | 481 | 930 |1097 | 39k| 1 |1391 |1509 | 1.698848e+02 | 1.960000e+02 | 15.37%| unknown
993.65/997.05 c 916s| 29600 | 8547 | 8323k| 270.7 | 293M | 153 | 481 | 930 |1099 | 39k| 1 |1396 |1512 | 1.698850e+02 | 1.960000e+02 | 15.37%| unknown
993.65/997.05 c 919s| 29700 | 8577 | 8348k| 270.6 | 293M | 153 | 481 | 930 |1099 | 39k| 1 |1404 |1516 | 1.698861e+02 | 1.960000e+02 | 15.37%| unknown
993.65/997.05 c 920s| 29800 | 8595 | 8367k| 270.4 | 293M | 153 | 481 | 930 |1105 | 39k| 2 |1407 |1518 | 1.698877e+02 | 1.960000e+02 | 15.37%| unknown
993.65/997.05 c 923s| 29900 | 8637 | 8394k| 270.4 | 294M | 153 | 481 | 930 | 963 | 40k| 1 |1413 |1518 | 1.698924e+02 | 1.960000e+02 | 15.37%| unknown
993.65/997.05 c 927s| 30000 | 8691 | 8436k| 270.9 | 294M | 153 | 481 | 930 |1105 | 40k| 2 |1420 |1520 | 1.698935e+02 | 1.960000e+02 | 15.37%| unknown
993.65/997.05 c 929s| 30100 | 8711 | 8455k| 270.6 | 294M | 153 | 481 | 929 |1102 | 40k| 1 |1422 |1520 | 1.698947e+02 | 1.960000e+02 | 15.37%| unknown
993.65/997.05 c 933s| 30200 | 8761 | 8489k| 270.8 | 294M | 153 | 481 | 929 |1096 | 40k| 1 |1424 |1522 | 1.698952e+02 | 1.960000e+02 | 15.37%| unknown
993.65/997.05 c 933s| 30300 | 8769 | 8499k| 270.3 | 294M | 153 | 481 | 929 |1098 | 40k| 3 |1430 |1522 | 1.698952e+02 | 1.960000e+02 | 15.37%| unknown
993.65/997.05 c 935s| 30400 | 8783 | 8517k| 270.0 | 294M | 153 | 481 | 929 |1098 | 40k| 1 |1436 |1522 | 1.698953e+02 | 1.960000e+02 | 15.37%| unknown
993.65/997.05 c 937s| 30500 | 8809 | 8545k| 270.0 | 294M | 153 | 481 | 928 |1106 | 40k| 1 |1440 |1525 | 1.698973e+02 | 1.960000e+02 | 15.36%| unknown
993.65/997.05 c 939s| 30600 | 8817 | 8563k| 269.7 | 294M | 153 | 481 | 928 |1099 | 40k| 1 |1449 |1526 | 1.698978e+02 | 1.960000e+02 | 15.36%| unknown
993.65/997.05 c 942s| 30700 | 8849 | 8589k| 269.7 | 294M | 153 | 481 | 928 |1099 | 40k| 2 |1455 |1526 | 1.698982e+02 | 1.960000e+02 | 15.36%| unknown
993.65/997.05 c 943s| 30800 | 8877 | 8609k| 269.5 | 294M | 153 | 481 | 928 | 993 | 40k| 1 |1460 |1528 | 1.699008e+02 | 1.960000e+02 | 15.36%| unknown
993.65/997.05 c 945s| 30900 | 8903 | 8634k| 269.4 | 294M | 153 | 481 | 928 |1099 | 40k| 0 |1466 |1528 | 1.699021e+02 | 1.960000e+02 | 15.36%| unknown
993.65/997.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
993.65/997.05 c 947s| 31000 | 8917 | 8651k| 269.1 | 294M | 153 | 481 | 928 |1099 | 41k| 3 |1469 |1528 | 1.699022e+02 | 1.960000e+02 | 15.36%| unknown
993.65/997.05 c 947s| 31100 | 8915 | 8660k| 268.6 | 294M | 153 | 481 | 928 |1099 | 41k| 2 |1475 |1528 | 1.699022e+02 | 1.960000e+02 | 15.36%| unknown
993.65/997.05 c 949s| 31200 | 8935 | 8682k| 268.4 | 294M | 153 | 481 | 928 |1003 | 41k| 1 |1485 |1529 | 1.699032e+02 | 1.960000e+02 | 15.36%| unknown
993.65/997.05 c 951s| 31300 | 8991 | 8708k| 268.4 | 295M | 153 | 481 | 928 |1099 | 41k| 2 |1492 |1529 | 1.699043e+02 | 1.960000e+02 | 15.36%| unknown
993.65/997.05 c 952s| 31400 | 9001 | 8718k| 267.9 | 295M | 153 | 481 | 928 |1102 | 41k| 0 |1496 |1529 | 1.699043e+02 | 1.960000e+02 | 15.36%| unknown
993.65/997.05 c 954s| 31500 | 9023 | 8735k| 267.6 | 295M | 153 | 481 | 928 |1101 | 41k| 1 |1501 |1529 | 1.699048e+02 | 1.960000e+02 | 15.36%| unknown
993.65/997.05 c 956s| 31600 | 9059 | 8762k| 267.6 | 295M | 153 | 481 | 928 |1102 | 41k| 1 |1508 |1529 | 1.699056e+02 | 1.960000e+02 | 15.36%| unknown
993.65/997.05 c 959s| 31700 | 9095 | 8788k| 267.5 | 295M | 153 | 481 | 928 |1101 | 41k| 1 |1510 |1529 | 1.699064e+02 | 1.960000e+02 | 15.36%| unknown
993.65/997.05 c 961s| 31800 | 9131 | 8815k| 267.5 | 295M | 153 | 481 | 928 |1103 | 41k| 2 |1517 |1529 | 1.699085e+02 | 1.960000e+02 | 15.36%| unknown
993.65/997.05 c 962s| 31900 | 9149 | 8834k| 267.3 | 295M | 153 | 481 | 928 |1102 | 41k| 2 |1522 |1529 | 1.699086e+02 | 1.960000e+02 | 15.36%| unknown
993.65/997.05 c 964s| 32000 | 9167 | 8850k| 267.0 | 295M | 153 | 481 | 928 |1100 | 41k| 1 |1525 |1530 | 1.699086e+02 | 1.960000e+02 | 15.36%| unknown
993.65/997.05 c 966s| 32100 | 9201 | 8877k| 267.0 | 295M | 153 | 481 | 928 |1102 | 41k| 2 |1530 |1530 | 1.699092e+02 | 1.960000e+02 | 15.36%| unknown
993.65/997.05 c 969s| 32200 | 9249 | 8912k| 267.3 | 295M | 153 | 481 | 928 |1101 | 41k| 2 |1536 |1538 | 1.699120e+02 | 1.960000e+02 | 15.35%| unknown
993.65/997.05 c 971s| 32300 | 9261 | 8931k| 267.0 | 295M | 153 | 481 | 928 |1097 | 41k| 2 |1547 |1540 | 1.699121e+02 | 1.960000e+02 | 15.35%| unknown
993.65/997.05 c 972s| 32400 | 9273 | 8950k| 266.8 | 295M | 153 | 481 | 928 |1102 | 41k| 3 |1552 |1542 | 1.699122e+02 | 1.960000e+02 | 15.35%| unknown
993.65/997.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
993.65/997.05 c 973s| 32500 | 9275 | 8960k| 266.3 | 295M | 153 | 481 | 928 |1098 | 41k| 0 |1556 |1542 | 1.699122e+02 | 1.960000e+02 | 15.35%| unknown
993.65/997.05 c 979s| 32600 | 9337 | 9029k| 267.6 | 296M | 153 | 481 | 928 |1100 | 42k| 2 |1560 |1544 | 1.699157e+02 | 1.960000e+02 | 15.35%| unknown
993.65/997.05 c 980s| 32700 | 9339 | 9038k| 267.0 | 296M | 153 | 481 | 928 |1100 | 42k| 2 |1563 |1545 | 1.699157e+02 | 1.960000e+02 | 15.35%| unknown
993.65/997.05 c 982s| 32800 | 9367 | 9064k| 267.0 | 296M | 153 | 481 | 928 |1101 | 42k| 2 |1573 |1547 | 1.699159e+02 | 1.960000e+02 | 15.35%| unknown
993.65/997.05 c 985s| 32900 | 9415 | 9097k| 267.2 | 296M | 153 | 481 | 928 |1100 | 42k| 2 |1579 |1552 | 1.699165e+02 | 1.960000e+02 | 15.35%| unknown
993.65/997.05 c 987s| 33000 | 9425 | 9117k| 267.0 | 296M | 153 | 481 | 928 |1102 | 42k| 2 |1587 |1552 | 1.699168e+02 | 1.960000e+02 | 15.35%| unknown
993.65/997.05 c 990s| 33100 | 9449 | 9144k| 267.0 | 296M | 153 | 481 | 928 |1103 | 42k| 1 |1594 |1552 | 1.699178e+02 | 1.960000e+02 | 15.35%| unknown
993.65/997.05 c 993s| 33200 | 9501 | 9174k| 267.1 | 296M | 153 | 481 | 928 |1002 | 42k| 1 |1598 |1555 | 1.699200e+02 | 1.960000e+02 | 15.35%| unknown
996.92/1000.39 c 997s| 33300 | 9557 | 9216k| 267.5 | 296M | 153 | 481 | 928 |1101 | 42k| 1 |1602 |1555 | 1.699207e+02 | 1.960000e+02 | 15.35%| unknown
996.92/1000.39 c 999s| 33400 | 9591 | 9242k| 267.5 | 296M | 153 | 481 | 928 |1102 | 42k| 2 |1607 |1557 | 1.699210e+02 | 1.960000e+02 | 15.35%| unknown
996.92/1000.39 c
996.92/1000.39 c SCIP Status : solving was interrupted [time limit reached]
996.92/1000.39 c Solving Time (sec) : 1000.00
996.92/1000.39 c Solving Nodes : 33435 (total of 34484 nodes in 2 runs)
996.92/1000.39 c Primal Bound : +1.96000000000000e+02 (1080 solutions)
996.92/1000.39 c Dual Bound : +1.69921552109917e+02
996.92/1000.39 c Gap : 15.35 %
996.92/1000.39 c All original constraints are satisfied.
996.92/1000.39 c SCIP's best solution is verified feasible for the original problem.
996.92/1000.39 c ----------------------------------------------------------------------
996.92/1000.39 c dual bound: 169.9215521099171 -> 170
996.92/1000.39 c primal bound: 196.0 -> 196
996.92/1000.39 c scip-goal-lb: 170
996.92/1000.39 c scip-goal-ub: 196
996.92/1000.39 c writing output to: HOME/tmp55zskics.opb
996.92/1000.39 c appending fixed variable constraints
996.92/1000.39 c scip-fixed vars: 0.00% (0/481)
996.92/1000.39 c ----------------------------------------------------------------------
996.92/1000.39 c executing external solver: HOME/naps-1.03a6
996.92/1000.39 c ----------------------------------------------------------------------
996.92/1000.39 c command: HOME/naps-1.03a6 -goal-lb=170 -goal-ub=195 HOME/tmp55zskics.opb
997.03/1000.40 c NaPS 1.03a6.
997.03/1000.40 c Input file name: HOME/tmp55zskics.opb
997.03/1000.77 c single stage optimization mode
3600.04/3611.01 c
3600.04/3611.01 c *** TERMINATED *** by signal 15
3600.04/3611.01 c s UNKNOWN
3600.04/3611.01 c _____________________________________________________________________________
3600.04/3611.01 c std/band forms : 482,0
3600.04/3611.01 c 2cl/3cl ITE-codings : 12945,0
3600.04/3611.01 c BDD/srt/adr Max costs : 409,24337,0
3600.04/3611.01 c BDDraw/bin/mul/srt/adr: 349,0,131,2,0
3600.04/3611.01 c BDD nodes : 21844
3600.04/3611.01 c Es1/CC detections : 0,0
3600.04/3611.01 c CC sort : 1
3600.04/3611.01 c SAT/UNSAT calls : 0,0
3600.04/3611.01 c regenrated variables : 0
3600.04/3611.01 c eliminated fixed lits : 0
3600.04/3611.01 c goal lit flips : 0
3600.04/3611.01 c goal stages : 1
3600.04/3611.01 c goal shrink : 0
3600.04/3611.01 c goal coeff separations: 0
3600.04/3611.01 c restarts : 0
3600.04/3611.01 c conflicts : 0 (0 /sec)
3600.04/3611.01 c decisions : 0 (0 /sec)
3600.04/3611.01 c propagations : 0 (0 /sec)
3600.04/3611.01 c inspects : 0 (0 /sec)
3600.04/3611.01 c CPU time (solving tm) : 2602 s (2602 s, SAT 0 s, UNSAT 0 s)
3600.04/3611.01 c Time for Opt-base : 0.05109 s
3600.04/3611.01 c Steps for Opt-base : 46417
3600.04/3611.01 c Time for BDD coding : 0.2155 s
3600.04/3611.01 c Time for srt coding : 0.007505 s
3600.04/3611.01 c _____________________________________________________________________________
3600.04/3611.01 v -x1 -x2 x3 -x4 -x5 -x6 -x7 x8 x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 x17 x18 -x19 x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 x34 -x35 -x36 -x37 -x38 x39 x40 -x41 -x42 -x43 x44 -x45 x46 x47 -x48 -x49 -x50 -x51 x52 -x53 x54 x55 -x56 -x57 x58 -x59 x60 -x61 x62 x63 x64 -x65 -x66 -x67 -x68 x69 x70 -x71 -x72 x73 x74 -x75 -x76 x77 -x78 x79 -x80 -x81 -x82 x83 x84 -x85 -x86 -x87 x88 x89 x90 -x91 x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 x102 -x103 x104 -x105 x106 x107 x108 -x109 -x110 x111 x112 x113 x114 -x115 x116 x117 -x118 -x119 x120 x121 -x122 x123 -x124 x125 -x126 x127 x128 -x129 x130 x131 -x132 x133 x134 -x135 x136 -x137 -x138 -x139 -x140 x141 -x142 x143 -x144 -x145 x146 -x147 -x148 x149 x150 -x151 x152 -x153 x154 -x155 x156 x157 -x158 -x159 -x160 -x161 x162 x163 x164 x165 -x166 x167 -x168 x169 x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 x178 -x179 -x180 x181 x182 -x183 x184 x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 x199 x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 x208 x209 x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 x221 x222 -x223 -x224 -x225 x226 x227 x228 x229 x230 -x231 x232 x233 x234 -x235 x236 -x237 x238 x239 -x240 -x241 x242 -x243 x244 x245 x246 -x247 -x248 -x249 x250 -x251 x252 -x253 x254 -x255 x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 x269 x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 x278 x279 x280 x281 x282 x283 x284 -x285 -x286 -x287 -x288 x289 -x290 x291 x292 -x293 x294 x295 -x296 -x297 -x298 -x299 -x300 x301 x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 x311 x312 x313 -x314 -x315 -x316 x317 x318 x319 -x320 -x321 x322 -x323 -x324 x325 x326 -x327 -x328 -x329 -x330 -x331 x332 x333 x334 -x335 x336 -x337 x338 -x339 x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 x357 x358 x359 x360 -x361 -x362 x363 -x364 x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 x374 x375 x376 -x377
3600.04/3611.01 v x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 x389 x390 x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 x400 x401 x402 x403 -x404 x405 x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 x420 -x421 -x422 x423 -x424 x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 x438 x439 x440 -x441 x442 -x443 -x444 -x445 x446 x447 -x448 x449 -x450 -x451 -x452 x453 -x454 x455 -x456 x457 x458 -x459 -x460 -x461 x462 x463 x464 -x465 x466 -x467 -x468 -x469 -x470 x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 x479 -x480 -x481
3600.04/3611.01 o 196
3600.04/3611.01 s SATISFIABLE
3600.24/3611.26 c received SIGTERM, forwarding to pbsolver...
3600.24/3611.26 c failed to send SIGTERM to pbsolver: [Errno 3] No such process
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: 63837 MiB (62507 MiB free)
memory of node 1: 64465 MiB (63547 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530134-1752252765/watcher-4530134-1752252765 -o /tmp/evaluation-result-4530134-1752252765/solver-4530134-1752252765 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1752252765-119276 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530134-1752252765.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=119334, runsolver pid=119320
Current StackSize limit: 8192 KiB
[startup+0.100076 s]*
/proc/loadavg: 1.07 1.81 3.01 7/254 119348
/proc/meminfo: memFree=129074468/131382112 swapFree=33002444/33010684
[pid=119334] ppid=119320 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119334/stat : 119334 (scip-naps-1.00a) S 119320 119334 118248 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 140955912 4292608 768 18446744073709551615 94377186877440 94377187771973 140720603202480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94377188011024 94377188058768 94377210044416 140720603203995 140720603204094 140720603204094 140720603209698 0
/proc/119334/statm: 1048 768 704 219 0 110 0
[pid=119348] ppid=119334 vsize=12768 memory=9984 CPUtime=0.06 cores=5,7
/proc/119348/stat : 119348 (python3) R 119334 119334 118248 0 -1 4194304 1501 0 0 0 5 1 0 0 20 0 1 0 140955916 13074432 2496 18446744073709551615 94776643616768 94776643617145 140729316482928 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94776643628440 94776643629060 94776666337280 140729316485470 140729316485664 140729316485664 140729316491239 0
/proc/119348/statm: 3192 2496 1152 1 0 1404 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 16960 KiB
Current children cumulated memory: 13056 KiB
[startup+0.214036 s]*
/proc/loadavg: 1.07 1.81 3.01 7/254 119348
/proc/meminfo: memFree=129057568/131382112 swapFree=33002444/33010684
[pid=119334] ppid=119320 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119334/stat : 119334 (scip-naps-1.00a) S 119320 119334 118248 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 140955912 4292608 768 18446744073709551615 94377186877440 94377187771973 140720603202480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94377188011024 94377188058768 94377210044416 140720603203995 140720603204094 140720603204094 140720603209698 0
/proc/119334/statm: 1048 768 704 219 0 110 0
[pid=119348] ppid=119334 vsize=1186156 memory=30792 CPUtime=0.16 cores=5,7
/proc/119348/stat : 119348 (python3) R 119334 119334 118248 0 -1 4194304 3525 0 0 0 14 2 0 0 20 0 1 0 140955916 1214623744 7698 18446744073709551615 94776643616768 94776643617145 140729316482928 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94776643628440 94776643629060 94776666337280 140729316485470 140729316485664 140729316485664 140729316491239 0
/proc/119348/statm: 296539 7698 4828 1 0 268593 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1190348 KiB
Current children cumulated memory: 33864 KiB
[startup+0.313755 s]*
/proc/loadavg: 1.07 1.81 3.01 7/254 119348
/proc/meminfo: memFree=129048496/131382112 swapFree=33002444/33010684
[pid=119334] ppid=119320 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119334/stat : 119334 (scip-naps-1.00a) S 119320 119334 118248 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 140955912 4292608 768 18446744073709551615 94377186877440 94377187771973 140720603202480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94377188011024 94377188058768 94377210044416 140720603203995 140720603204094 140720603204094 140720603209698 0
/proc/119334/statm: 1048 768 704 219 0 110 0
[pid=119348] ppid=119334 vsize=1190188 memory=35272 CPUtime=0.25 cores=5,7
/proc/119348/stat : 119348 (python3) R 119334 119334 118248 0 -1 4194304 4440 0 0 0 22 3 0 0 20 0 1 0 140955916 1218752512 8818 18446744073709551615 94776643616768 94776643617145 140729316482928 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94776643628440 94776643629060 94776666337280 140729316485470 140729316485664 140729316485664 140729316491239 0
/proc/119348/statm: 297547 8818 5052 1 0 269456 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 1194380 KiB
Current children cumulated memory: 38344 KiB
[startup+0.700367 s]
/proc/loadavg: 1.07 1.81 3.01 7/254 119348
/proc/meminfo: memFree=128985496/131382112 swapFree=33002444/33010684
[pid=119334] ppid=119320 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119334/stat : 119334 (scip-naps-1.00a) S 119320 119334 118248 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 140955912 4292608 768 18446744073709551615 94377186877440 94377187771973 140720603202480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94377188011024 94377188058768 94377210044416 140720603203995 140720603204094 140720603204094 140720603209698 0
/proc/119334/statm: 1048 768 704 219 0 110 0
[pid=119348] ppid=119334 vsize=1206368 memory=58952 CPUtime=0.63 cores=5,7
/proc/119348/stat : 119348 (python3) R 119334 119334 118248 0 -1 4194304 7551 0 0 0 58 5 0 0 20 0 1 0 140955916 1235320832 14738 18446744073709551615 94776643616768 94776643617145 140729316482928 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94776643628440 94776643629060 94776666337280 140729316485470 140729316485664 140729316485664 140729316491239 0
/proc/119348/statm: 301592 14738 8092 1 0 272950 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 1210560 KiB
Current children cumulated memory: 62024 KiB
[startup+1.50034 s]
/proc/loadavg: 1.07 1.81 3.01 7/254 119348
/proc/meminfo: memFree=128961304/131382112 swapFree=33002444/33010684
[pid=119334] ppid=119320 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119334/stat : 119334 (scip-naps-1.00a) S 119320 119334 118248 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 140955912 4292608 768 18446744073709551615 94377186877440 94377187771973 140720603202480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94377188011024 94377188058768 94377210044416 140720603203995 140720603204094 140720603204094 140720603209698 0
/proc/119334/statm: 1048 768 704 219 0 110 0
[pid=119348] ppid=119334 vsize=1206704 memory=59208 CPUtime=1.43 cores=5,7
/proc/119348/stat : 119348 (python3) R 119334 119334 118248 0 -1 4194304 7622 0 0 0 138 5 0 0 20 0 1 0 140955916 1235664896 14802 18446744073709551615 94776643616768 94776643617145 140729316482928 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94776643628440 94776643629060 94776666337280 140729316485470 140729316485664 140729316485664 140729316491239 0
/proc/119348/statm: 301676 14802 8092 1 0 273034 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 1210896 KiB
Current children cumulated memory: 62280 KiB
[startup+3.11274 s]
/proc/loadavg: 1.38 1.87 3.02 7/254 119348
/proc/meminfo: memFree=128695864/131382112 swapFree=33002444/33010684
[pid=119334] ppid=119320 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119334/stat : 119334 (scip-naps-1.00a) S 119320 119334 118248 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 140955912 4292608 768 18446744073709551615 94377186877440 94377187771973 140720603202480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94377188011024 94377188058768 94377210044416 140720603203995 140720603204094 140720603204094 140720603209698 0
/proc/119334/statm: 1048 768 704 219 0 110 0
[pid=119348] ppid=119334 vsize=1326056 memory=176072 CPUtime=3.02 cores=5,7
/proc/119348/stat : 119348 (python3) R 119334 119334 118248 0 -1 4194304 36815 0 0 0 293 9 0 0 20 0 1 0 140955916 1357881344 44018 18446744073709551615 94776643616768 94776643617145 140729316482928 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94776643628440 94776643629060 94776666337280 140729316485470 140729316485664 140729316485664 140729316491239 0
/proc/119348/statm: 331514 44018 8124 1 0 302872 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 1330248 KiB
Current children cumulated memory: 179144 KiB
[startup+6.30031 s]
/proc/loadavg: 1.38 1.87 3.02 7/254 119348
/proc/meminfo: memFree=128591364/131382112 swapFree=33002444/33010684
[pid=119334] ppid=119320 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119334/stat : 119334 (scip-naps-1.00a) S 119320 119334 118248 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 140955912 4292608 768 18446744073709551615 94377186877440 94377187771973 140720603202480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94377188011024 94377188058768 94377210044416 140720603203995 140720603204094 140720603204094 140720603209698 0
/proc/119334/statm: 1048 768 704 219 0 110 0
[pid=119348] ppid=119334 vsize=1341516 memory=190920 CPUtime=6.21 cores=5,7
/proc/119348/stat : 119348 (python3) R 119334 119334 118248 0 -1 4194304 40512 0 0 0 611 10 0 0 20 0 1 0 140955916 1373712384 47730 18446744073709551615 94776643616768 94776643617145 140729316482928 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94776643628440 94776643629060 94776666337280 140729316485470 140729316485664 140729316485664 140729316491239 0
/proc/119348/statm: 335379 47730 8124 1 0 306737 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 1345708 KiB
Current children cumulated memory: 193992 KiB
[startup+12.7003 s]
/proc/loadavg: 1.59 1.90 3.03 7/254 119348
/proc/meminfo: memFree=128454780/131382112 swapFree=33002444/33010684
[pid=119334] ppid=119320 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119334/stat : 119334 (scip-naps-1.00a) S 119320 119334 118248 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 140955912 4292608 768 18446744073709551615 94377186877440 94377187771973 140720603202480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94377188011024 94377188058768 94377210044416 140720603203995 140720603204094 140720603204094 140720603209698 0
/proc/119334/statm: 1048 768 704 219 0 110 0
[pid=119348] ppid=119334 vsize=1341516 memory=190920 CPUtime=12.58 cores=5,7
/proc/119348/stat : 119348 (python3) R 119334 119334 118248 0 -1 4194304 40512 0 0 0 1248 10 0 0 20 0 1 0 140955916 1373712384 47730 18446744073709551615 94776643616768 94776643617145 140729316482928 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94776643628440 94776643629060 94776666337280 140729316485470 140729316485664 140729316485664 140729316491239 0
/proc/119348/statm: 335379 47730 8124 1 0 306737 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 1345708 KiB
Current children cumulated memory: 193992 KiB
[startup+25.5003 s]
/proc/loadavg: 2.13 2.00 3.04 7/254 119348
/proc/meminfo: memFree=128359556/131382112 swapFree=33002444/33010684
[pid=119334] ppid=119320 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119334/stat : 119334 (scip-naps-1.00a) S 119320 119334 118248 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 140955912 4292608 768 18446744073709551615 94377186877440 94377187771973 140720603202480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94377188011024 94377188058768 94377210044416 140720603203995 140720603204094 140720603204094 140720603209698 0
/proc/119334/statm: 1048 768 704 219 0 110 0
[pid=119348] ppid=119334 vsize=1404404 memory=253128 CPUtime=25.34 cores=5,7
/proc/119348/stat : 119348 (python3) R 119334 119334 118248 0 -1 4194304 56063 0 0 0 2521 13 0 0 20 0 1 0 140955916 1438109696 63282 18446744073709551615 94776643616768 94776643617145 140729316482928 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94776643628440 94776643629060 94776666337280 140729316485470 140729316485664 140729316485664 140729316491239 0
/proc/119348/statm: 351101 63282 8124 1 0 322459 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 1408596 KiB
Current children cumulated memory: 256200 KiB
[startup+51.1127 s]
/proc/loadavg: 2.85 2.18 3.08 7/254 119349
/proc/meminfo: memFree=128264344/131382112 swapFree=33002444/33010684
[pid=119334] ppid=119320 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119334/stat : 119334 (scip-naps-1.00a) S 119320 119334 118248 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 140955912 4292608 768 18446744073709551615 94377186877440 94377187771973 140720603202480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94377188011024 94377188058768 94377210044416 140720603203995 140720603204094 140720603204094 140720603209698 0
/proc/119334/statm: 1048 768 704 219 0 110 0
[pid=119348] ppid=119334 vsize=1404404 memory=253128 CPUtime=50.86 cores=5,7
/proc/119348/stat : 119348 (python3) R 119334 119334 118248 0 -1 4194304 56068 0 0 0 5073 13 0 0 20 0 1 0 140955916 1438109696 63282 18446744073709551615 94776643616768 94776643617145 140729316482928 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94776643628440 94776643629060 94776666337280 140729316485470 140729316485664 140729316485664 140729316491239 0
/proc/119348/statm: 351101 63282 8124 1 0 322459 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 1408596 KiB
Current children cumulated memory: 256200 KiB
[startup+102.3 s]
/proc/loadavg: 3.58 2.48 3.13 7/254 119351
/proc/meminfo: memFree=128148276/131382112 swapFree=33002444/33010684
[pid=119334] ppid=119320 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119334/stat : 119334 (scip-naps-1.00a) S 119320 119334 118248 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 140955912 4292608 768 18446744073709551615 94377186877440 94377187771973 140720603202480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94377188011024 94377188058768 94377210044416 140720603203995 140720603204094 140720603204094 140720603209698 0
/proc/119334/statm: 1048 768 704 219 0 110 0
[pid=119348] ppid=119334 vsize=1411560 memory=260296 CPUtime=101.89 cores=5,7
/proc/119348/stat : 119348 (python3) R 119334 119334 118248 0 -1 4194304 57864 0 0 0 10174 15 0 0 20 0 1 0 140955916 1445437440 65074 18446744073709551615 94776643616768 94776643617145 140729316482928 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94776643628440 94776643629060 94776666337280 140729316485470 140729316485664 140729316485664 140729316491239 0
/proc/119348/statm: 352890 65074 8124 1 0 324248 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 1415752 KiB
Current children cumulated memory: 263368 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 2.77 3.19 7/254 119353
/proc/meminfo: memFree=127949360/131382112 swapFree=33002444/33010684
[pid=119334] ppid=119320 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119334/stat : 119334 (scip-naps-1.00a) S 119320 119334 118248 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 140955912 4292608 768 18446744073709551615 94377186877440 94377187771973 140720603202480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94377188011024 94377188058768 94377210044416 140720603203995 140720603204094 140720603204094 140720603209698 0
/proc/119334/statm: 1048 768 704 219 0 110 0
[pid=119348] ppid=119334 vsize=1439124 memory=289352 CPUtime=161.69 cores=5,7
/proc/119348/stat : 119348 (python3) R 119334 119334 118248 0 -1 4194304 65123 0 0 0 16152 17 0 0 20 0 1 0 140955916 1473662976 72338 18446744073709551615 94776643616768 94776643617145 140729316482928 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94776643628440 94776643629060 94776666337280 140729316485470 140729316485664 140729316485664 140729316491239 0
/proc/119348/statm: 359781 72338 8124 1 0 331139 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 1443316 KiB
Current children cumulated memory: 292424 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 3.03 3.26 7/254 119355
/proc/meminfo: memFree=127837464/131382112 swapFree=33002444/33010684
[pid=119334] ppid=119320 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119334/stat : 119334 (scip-naps-1.00a) S 119320 119334 118248 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 140955912 4292608 768 18446744073709551615 94377186877440 94377187771973 140720603202480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94377188011024 94377188058768 94377210044416 140720603203995 140720603204094 140720603204094 140720603209698 0
/proc/119334/statm: 1048 768 704 219 0 110 0
[pid=119348] ppid=119334 vsize=1478012 memory=328008 CPUtime=221.49 cores=5,7
/proc/119348/stat : 119348 (python3) R 119334 119334 118248 0 -1 4194304 74808 0 0 0 22129 20 0 0 20 0 1 0 140955916 1513484288 82002 18446744073709551615 94776643616768 94776643617145 140729316482928 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94776643628440 94776643629060 94776666337280 140729316485470 140729316485664 140729316485664 140729316491239 0
/proc/119348/statm: 369503 82002 8124 1 0 340861 0
Current children cumulated CPU time: 221.49 s
################
# More data... #
################
/proc/119334/stat : 119334 (scip-naps-1.00a) S 119320 119334 118248 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 140955912 4292608 768 18446744073709551615 94377186877440 94377187771973 140720603202480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94377188011024 94377188058768 94377210044416 140720603203995 140720603204094 140720603204094 140720603209698 0
/proc/119334/statm: 1048 768 704 219 0 110 0
[pid=119348] ppid=119334 vsize=1498532 memory=351176 CPUtime=997.03 cores=5,7
/proc/119348/stat : 119348 (python3) S 119334 119334 118248 0 -1 4194304 80351 0 0 0 99668 35 0 0 20 0 1 0 140955916 1534496768 87794 18446744073709551615 94776643616768 94776643617145 140729316482928 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94776643628440 94776643629060 94776666337280 140729316485470 140729316485664 140729316485664 140729316491239 0
/proc/119348/statm: 374633 87794 8188 1 0 345991 0
[pid=119408] ppid=119348 vsize=155772 memory=154344 CPUtime=2215.4 cores=5,7
/proc/119408/stat : 119408 (naps-1.03a6) R 119348 119408 119408 0 -1 4194304 51111 0 0 0 221495 45 0 0 20 0 1 0 141055952 159510528 38586 18446744073709551615 4198400 7047149 140736808544448 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 14589952 140736808548725 140736808548849 140736808548849 140736808554441 0
/proc/119408/statm: 38943 38586 640 696 0 38104 0
Current children cumulated CPU time: 3212.43 s
Current children cumulated vsize: 1658496 KiB
Current children cumulated memory: 508592 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.09 7/258 119512
/proc/meminfo: memFree=126691328/131382112 swapFree=33002444/33010684
[pid=119334] ppid=119320 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119334/stat : 119334 (scip-naps-1.00a) S 119320 119334 118248 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 140955912 4292608 768 18446744073709551615 94377186877440 94377187771973 140720603202480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94377188011024 94377188058768 94377210044416 140720603203995 140720603204094 140720603204094 140720603209698 0
/proc/119334/statm: 1048 768 704 219 0 110 0
[pid=119348] ppid=119334 vsize=1498532 memory=351176 CPUtime=997.03 cores=5,7
/proc/119348/stat : 119348 (python3) S 119334 119334 118248 0 -1 4194304 80351 0 0 0 99668 35 0 0 20 0 1 0 140955916 1534496768 87794 18446744073709551615 94776643616768 94776643617145 140729316482928 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94776643628440 94776643629060 94776666337280 140729316485470 140729316485664 140729316485664 140729316491239 0
/proc/119348/statm: 374633 87794 8188 1 0 345991 0
[pid=119408] ppid=119348 vsize=155772 memory=154344 CPUtime=2275.23 cores=5,7
/proc/119408/stat : 119408 (naps-1.03a6) R 119348 119408 119408 0 -1 4194304 51120 0 0 0 227478 45 0 0 20 0 1 0 141055952 159510528 38586 18446744073709551615 4198400 7047149 140736808544448 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 14589952 140736808548725 140736808548849 140736808548849 140736808554441 0
/proc/119408/statm: 38943 38586 640 696 0 38104 0
Current children cumulated CPU time: 3272.26 s
Current children cumulated vsize: 1658496 KiB
Current children cumulated memory: 508592 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.11 4.09 7/258 119514
/proc/meminfo: memFree=126716344/131382112 swapFree=33002444/33010684
[pid=119334] ppid=119320 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119334/stat : 119334 (scip-naps-1.00a) S 119320 119334 118248 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 140955912 4292608 768 18446744073709551615 94377186877440 94377187771973 140720603202480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94377188011024 94377188058768 94377210044416 140720603203995 140720603204094 140720603204094 140720603209698 0
/proc/119334/statm: 1048 768 704 219 0 110 0
[pid=119348] ppid=119334 vsize=1498532 memory=351176 CPUtime=997.03 cores=5,7
/proc/119348/stat : 119348 (python3) S 119334 119334 118248 0 -1 4194304 80351 0 0 0 99668 35 0 0 20 0 1 0 140955916 1534496768 87794 18446744073709551615 94776643616768 94776643617145 140729316482928 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94776643628440 94776643629060 94776666337280 140729316485470 140729316485664 140729316485664 140729316491239 0
/proc/119348/statm: 374633 87794 8188 1 0 345991 0
[pid=119408] ppid=119348 vsize=155772 memory=154344 CPUtime=2335.06 cores=5,7
/proc/119408/stat : 119408 (naps-1.03a6) R 119348 119408 119408 0 -1 4194304 51120 0 0 0 233460 46 0 0 20 0 1 0 141055952 159510528 38586 18446744073709551615 4198400 7047149 140736808544448 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 14589952 140736808548725 140736808548849 140736808548849 140736808554441 0
/proc/119408/statm: 38943 38586 640 696 0 38104 0
Current children cumulated CPU time: 3332.09 s
Current children cumulated vsize: 1658496 KiB
Current children cumulated memory: 508592 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.09 7/258 119520
/proc/meminfo: memFree=126722772/131382112 swapFree=33002444/33010684
[pid=119334] ppid=119320 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119334/stat : 119334 (scip-naps-1.00a) S 119320 119334 118248 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 140955912 4292608 768 18446744073709551615 94377186877440 94377187771973 140720603202480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94377188011024 94377188058768 94377210044416 140720603203995 140720603204094 140720603204094 140720603209698 0
/proc/119334/statm: 1048 768 704 219 0 110 0
[pid=119348] ppid=119334 vsize=1498532 memory=351176 CPUtime=997.03 cores=5,7
/proc/119348/stat : 119348 (python3) S 119334 119334 118248 0 -1 4194304 80351 0 0 0 99668 35 0 0 20 0 1 0 140955916 1534496768 87794 18446744073709551615 94776643616768 94776643617145 140729316482928 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94776643628440 94776643629060 94776666337280 140729316485470 140729316485664 140729316485664 140729316491239 0
/proc/119348/statm: 374633 87794 8188 1 0 345991 0
[pid=119408] ppid=119348 vsize=128052 memory=126624 CPUtime=2394.89 cores=5,7
/proc/119408/stat : 119408 (naps-1.03a6) R 119348 119408 119408 0 -1 4194304 52508 0 0 0 239442 47 0 0 20 0 1 0 141055952 131125248 31656 18446744073709551615 4198400 7047149 140736808544448 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 14589952 140736808548725 140736808548849 140736808548849 140736808554441 0
/proc/119408/statm: 32013 31656 640 696 0 31174 0
Current children cumulated CPU time: 3391.92 s
Current children cumulated vsize: 1630776 KiB
Current children cumulated memory: 480872 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.11 4.09 7/258 119522
/proc/meminfo: memFree=126730900/131382112 swapFree=33002444/33010684
[pid=119334] ppid=119320 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119334/stat : 119334 (scip-naps-1.00a) S 119320 119334 118248 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 140955912 4292608 768 18446744073709551615 94377186877440 94377187771973 140720603202480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94377188011024 94377188058768 94377210044416 140720603203995 140720603204094 140720603204094 140720603209698 0
/proc/119334/statm: 1048 768 704 219 0 110 0
[pid=119348] ppid=119334 vsize=1498532 memory=351176 CPUtime=997.03 cores=5,7
/proc/119348/stat : 119348 (python3) S 119334 119334 118248 0 -1 4194304 80351 0 0 0 99668 35 0 0 20 0 1 0 140955916 1534496768 87794 18446744073709551615 94776643616768 94776643617145 140729316482928 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94776643628440 94776643629060 94776666337280 140729316485470 140729316485664 140729316485664 140729316491239 0
/proc/119348/statm: 374633 87794 8188 1 0 345991 0
[pid=119408] ppid=119348 vsize=128052 memory=126624 CPUtime=2454.71 cores=5,7
/proc/119408/stat : 119408 (naps-1.03a6) R 119348 119408 119408 0 -1 4194304 52508 0 0 0 245424 47 0 0 20 0 1 0 141055952 131125248 31656 18446744073709551615 4198400 7047149 140736808544448 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 14589952 140736808548725 140736808548849 140736808548849 140736808554441 0
/proc/119408/statm: 32013 31656 640 696 0 31174 0
Current children cumulated CPU time: 3451.74 s
Current children cumulated vsize: 1630776 KiB
Current children cumulated memory: 480872 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 7/259 119525
/proc/meminfo: memFree=126647432/131382112 swapFree=33002444/33010684
[pid=119334] ppid=119320 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119334/stat : 119334 (scip-naps-1.00a) S 119320 119334 118248 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 140955912 4292608 768 18446744073709551615 94377186877440 94377187771973 140720603202480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94377188011024 94377188058768 94377210044416 140720603203995 140720603204094 140720603204094 140720603209698 0
/proc/119334/statm: 1048 768 704 219 0 110 0
[pid=119348] ppid=119334 vsize=1498532 memory=351176 CPUtime=997.03 cores=5,7
/proc/119348/stat : 119348 (python3) S 119334 119334 118248 0 -1 4194304 80351 0 0 0 99668 35 0 0 20 0 1 0 140955916 1534496768 87794 18446744073709551615 94776643616768 94776643617145 140729316482928 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94776643628440 94776643629060 94776666337280 140729316485470 140729316485664 140729316485664 140729316491239 0
/proc/119348/statm: 374633 87794 8188 1 0 345991 0
[pid=119408] ppid=119348 vsize=194052 memory=192576 CPUtime=2514.55 cores=5,7
/proc/119408/stat : 119408 (naps-1.03a6) R 119348 119408 119408 0 -1 4194304 53678 0 0 0 251406 49 0 0 20 0 1 0 141055952 198709248 48144 18446744073709551615 4198400 7047149 140736808544448 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 14589952 140736808548725 140736808548849 140736808548849 140736808554441 0
/proc/119408/statm: 48513 48144 640 696 0 47674 0
Current children cumulated CPU time: 3511.58 s
Current children cumulated vsize: 1696776 KiB
Current children cumulated memory: 546824 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.09 7/259 119527
/proc/meminfo: memFree=126635488/131382112 swapFree=33002444/33010684
[pid=119334] ppid=119320 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119334/stat : 119334 (scip-naps-1.00a) S 119320 119334 118248 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 140955912 4292608 768 18446744073709551615 94377186877440 94377187771973 140720603202480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94377188011024 94377188058768 94377210044416 140720603203995 140720603204094 140720603204094 140720603209698 0
/proc/119334/statm: 1048 768 704 219 0 110 0
[pid=119348] ppid=119334 vsize=1498532 memory=351176 CPUtime=997.03 cores=5,7
/proc/119348/stat : 119348 (python3) S 119334 119334 118248 0 -1 4194304 80351 0 0 0 99668 35 0 0 20 0 1 0 140955916 1534496768 87794 18446744073709551615 94776643616768 94776643617145 140729316482928 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94776643628440 94776643629060 94776666337280 140729316485470 140729316485664 140729316485664 140729316491239 0
/proc/119348/statm: 374633 87794 8188 1 0 345991 0
[pid=119408] ppid=119348 vsize=195140 memory=193712 CPUtime=2574.38 cores=5,7
/proc/119408/stat : 119408 (naps-1.03a6) R 119348 119408 119408 0 -1 4194304 56928 0 0 0 257383 55 0 0 20 0 1 0 141055952 199823360 48428 18446744073709551615 4198400 7047149 140736808544448 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 14589952 140736808548725 140736808548849 140736808548849 140736808554441 0
/proc/119408/statm: 48785 48428 640 696 0 47946 0
Current children cumulated CPU time: 3571.41 s
Current children cumulated vsize: 1697864 KiB
Current children cumulated memory: 547960 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 4.09 4.11 4.09 4/247 119545
/proc/meminfo: memFree=127944692/131382112 swapFree=33002444/33010684
[pid=119334] ppid=119320 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119334/stat : 119334 (scip-naps-1.00a) S 119320 119334 118248 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 140955912 4292608 768 18446744073709551615 94377186877440 94377187771973 140720603202480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94377188011024 94377188058768 94377210044416 140720603203995 140720603204094 140720603204094 140720603209698 0
/proc/119334/statm: 1048 768 704 219 0 110 0
[pid=119348] ppid=119334 vsize=1498532 memory=351176 CPUtime=997.03 cores=5,7
/proc/119348/stat : 119348 (python3) S 119334 119334 118248 0 -1 4194304 80351 0 0 0 99668 35 0 0 20 0 1 0 140955916 1534496768 87794 18446744073709551615 94776643616768 94776643617145 140729316482928 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94776643628440 94776643629060 94776666337280 140729316485470 140729316485664 140729316485664 140729316491239 0
/proc/119348/statm: 374633 87794 8188 1 0 345991 0
[pid=119408] ppid=119348 vsize=140096 memory=138668 CPUtime=2603.01 cores=5,7
/proc/119408/stat : 119408 (naps-1.03a6) R 119348 119408 119408 0 -1 4194304 57380 0 0 0 260245 56 0 0 20 0 1 0 141055952 143458304 34667 18446744073709551615 4198400 7047149 140736808544448 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 14589952 140736808548725 140736808548849 140736808548849 140736808554441 0
/proc/119408/statm: 35024 34667 640 696 0 34185 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1642820 KiB
Current children cumulated memory: 492916 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.03 s]
# the end of solver process 119334 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.016403 s
Sleeping 2 seconds
[startup+3611.31 s]
# the end of solver process 119348 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.39 s, system=0.952943 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.22 s]
/proc/loadavg: 4.09 4.11 4.09 3/245 119545
/proc/meminfo: memFree=128082496/131382112 swapFree=33002444/33010684
[pid=119348] ppid=119320 vsize=1498532 memory=351176 CPUtime=3600.22 cores=5,7
/proc/119348/stat : 119348 (python3) R 119320 119334 118248 0 -1 4194304 86436 57381 0 0 99686 35 260245 56 20 0 1 0 140955916 1534496768 87794 18446744073709551615 94776643616768 94776643617145 140729316482928 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94776643628440 94776643629060 94776666337280 140729316485470 140729316485664 140729316485664 140729316491239 0
/proc/119348/statm: 374633 87794 8188 1 0 345991 0
Current cumulated CPU time of completed processes: 0.016403 s
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 1498532 KiB
Current children cumulated memory: 351176 KiB
Child status: 0
Real time (s): 3611.31
CPU time (s): 3600.34
CPU user time (s): 3599.39
CPU system time (s): 0.952943
CPU usage (%): 99.6962
Max. virtual memory (cumulated for all children) (KiB): 1748812
Max. memory (cumulated for all children) (KiB): 595884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.39
system time used= 0.952943
maximum resident set size= 351176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147680
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 414
involuntary context switches= 2071
# summary of solver processes directly reported to runsolver:
# pid: 119334,119348
# total CPU time (s): 3600.34
# total CPU user time (s): 3599.39
# total CPU system time (s): 0.952943
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.5595 second user time and 37.8365 second system time
The end