95.38/95.78 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4489013-1751331287.opb
95.38/95.78 c Solving mode: optimization
95.38/95.78 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
95.38/95.78 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
95.38/95.78 c original problem has 481 variables (481 bin, 0 int, 0 impl, 0 cont) and 481 constraints
95.38/95.78 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 4.810000e+02
95.38/95.78 c presolving:
95.38/95.78 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
95.38/95.78 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
95.38/95.78 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
95.38/95.78 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
95.38/95.78 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
95.38/95.78 c (0.0s) probing: 51/481 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
95.38/95.78 c (0.0s) probing aborted: 50/50 successive totally useless probings
95.38/95.78 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
95.38/95.78 c (0.0s) no symmetry present (symcode time: 0.00)
95.38/95.78 c presolving (6 rounds: 6 fast, 3 medium, 2 exhaustive):
95.38/95.78 c 0 deleted vars, 178 deleted constraints, 274 added constraints, 0 tightened bounds, 0 added holes, 433 changed sides, 1142 changed coefficients
95.38/95.78 c 0 implications, 127 cliques
95.38/95.78 c presolved problem has 481 variables (481 bin, 0 int, 0 impl, 0 cont) and 577 constraints
95.38/95.78 c 430 constraints of type <knapsack>
95.38/95.78 c 127 constraints of type <setppc>
95.38/95.78 c 20 constraints of type <logicor>
95.38/95.78 c transformed objective value is always integral (scale: 1)
95.38/95.78 c Presolving Time: 0.02
95.38/95.78 c transformed 1/1 original solutions to the transformed problem space
95.38/95.78 c
95.38/95.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
95.38/95.78 c p 0.0s| 1 | 0 | 0 | - | locks| 0 | 481 | 577 | 577 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.270000e+02 | Inf | unknown
95.38/95.78 c i 0.0s| 1 | 0 | 0 | - | oneopt| 0 | 481 | 577 | 577 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.120000e+02 | Inf | unknown
95.38/95.78 c 0.6s| 1 | 0 | 10102 | - | 7482k | 0 | 481 | 577 | 577 | 0 | 0 | 0 | 0 | 1.555390e+02 | 2.120000e+02 | 36.30%| unknown
95.38/95.78 c 0.8s| 1 | 0 | 10836 | - | 23M | 0 | 481 | 577 | 641 | 64 | 1 | 0 | 0 | 1.595307e+02 | 2.120000e+02 | 32.89%| unknown
95.38/95.78 c 0.9s| 1 | 0 | 11385 | - | 37M | 0 | 481 | 577 | 702 | 125 | 2 | 0 | 0 | 1.621514e+02 | 2.120000e+02 | 30.74%| unknown
95.38/95.78 c 1.0s| 1 | 0 | 11854 | - | 50M | 0 | 481 | 577 | 756 | 179 | 3 | 0 | 0 | 1.637712e+02 | 2.120000e+02 | 29.45%| unknown
95.38/95.78 c 1.2s| 1 | 0 | 12391 | - | 62M | 0 | 481 | 577 | 815 | 238 | 4 | 0 | 0 | 1.649104e+02 | 2.120000e+02 | 28.55%| unknown
95.38/95.78 c 1.3s| 1 | 0 | 12852 | - | 73M | 0 | 481 | 577 | 864 | 287 | 5 | 0 | 0 | 1.658617e+02 | 2.120000e+02 | 27.82%| unknown
95.38/95.78 c 1.4s| 1 | 0 | 13252 | - | 87M | 0 | 481 | 577 | 911 | 334 | 6 | 0 | 0 | 1.663143e+02 | 2.120000e+02 | 27.47%| unknown
95.38/95.78 c 1.5s| 1 | 0 | 13606 | - | 100M | 0 | 481 | 577 | 946 | 369 | 7 | 0 | 0 | 1.666130e+02 | 2.120000e+02 | 27.24%| unknown
95.38/95.78 c 1.7s| 1 | 0 | 14058 | - | 104M | 0 | 481 | 577 | 990 | 413 | 8 | 0 | 0 | 1.670669e+02 | 2.120000e+02 | 26.90%| unknown
95.38/95.78 c 1.8s| 1 | 0 | 14310 | - | 122M | 0 | 481 | 577 |1017 | 440 | 9 | 0 | 0 | 1.671956e+02 | 2.120000e+02 | 26.80%| unknown
95.38/95.78 c 1.9s| 1 | 0 | 14511 | - | 139M | 0 | 481 | 577 |1046 | 469 | 10 | 0 | 0 | 1.673044e+02 | 2.120000e+02 | 26.72%| unknown
95.38/95.78 c 2.0s| 1 | 0 | 14769 | - | 139M | 0 | 481 | 577 |1064 | 490 | 11 | 0 | 0 | 1.674675e+02 | 2.120000e+02 | 26.59%| unknown
95.38/95.78 c 2.1s| 1 | 0 | 14993 | - | 139M | 0 | 481 | 577 |1091 | 517 | 12 | 0 | 0 | 1.675653e+02 | 2.120000e+02 | 26.52%| unknown
95.38/95.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
95.38/95.78 c 2.1s| 1 | 0 | 15186 | - | 139M | 0 | 481 | 577 |1119 | 545 | 13 | 0 | 0 | 1.676779e+02 | 2.120000e+02 | 26.43%| unknown
95.38/95.78 c 2.2s| 1 | 0 | 15427 | - | 139M | 0 | 481 | 577 |1142 | 568 | 14 | 0 | 0 | 1.678033e+02 | 2.120000e+02 | 26.34%| unknown
95.38/95.78 c 2.3s| 1 | 0 | 15608 | - | 140M | 0 | 481 | 577 |1164 | 590 | 15 | 0 | 0 | 1.678715e+02 | 2.120000e+02 | 26.29%| unknown
95.38/95.78 c 2.3s| 1 | 0 | 15744 | - | 140M | 0 | 481 | 577 |1176 | 602 | 16 | 0 | 0 | 1.679031e+02 | 2.120000e+02 | 26.26%| unknown
95.38/95.78 c 2.4s| 1 | 0 | 15905 | - | 140M | 0 | 481 | 577 |1116 | 615 | 17 | 0 | 0 | 1.679549e+02 | 2.120000e+02 | 26.22%| unknown
95.38/95.78 c 2.5s| 1 | 0 | 15972 | - | 140M | 0 | 481 | 577 |1128 | 627 | 18 | 0 | 0 | 1.679640e+02 | 2.120000e+02 | 26.22%| unknown
95.38/95.78 c 2.5s| 1 | 0 | 16059 | - | 140M | 0 | 481 | 577 |1135 | 634 | 19 | 0 | 0 | 1.679801e+02 | 2.120000e+02 | 26.21%| unknown
95.38/95.78 c 2.6s| 1 | 0 | 16112 | - | 140M | 0 | 481 | 577 |1140 | 639 | 20 | 0 | 0 | 1.679877e+02 | 2.120000e+02 | 26.20%| unknown
95.38/95.78 c 2.6s| 1 | 0 | 16150 | - | 140M | 0 | 481 | 577 |1141 | 640 | 21 | 0 | 0 | 1.679939e+02 | 2.120000e+02 | 26.20%| unknown
95.38/95.78 c 2.6s| 1 | 0 | 16154 | - | 140M | 0 | 481 | 577 |1143 | 642 | 22 | 0 | 0 | 1.679939e+02 | 2.120000e+02 | 26.20%| unknown
95.38/95.78 c 4.7s| 1 | 2 | 16154 | - | 141M | 0 | 481 | 577 |1143 | 642 | 23 | 0 | 32 | 1.682969e+02 | 2.120000e+02 | 25.97%| unknown
95.38/95.78 c d16.7s| 23 | 24 | 25651 | 431.7 |pscostdi| 22 | 481 | 577 |1095 | 0 | 1 | 0 | 323 | 1.684270e+02 | 2.090000e+02 | 24.09%| unknown
95.38/95.78 c i16.7s| 24 | 23 | 25657 | 413.2 | oneopt| 22 | 481 | 577 |1025 | 899 | 0 | 0 | 323 | 1.684270e+02 | 2.080000e+02 | 23.50%| unknown
95.38/95.78 c 23.3s| 100 | 101 | 71742 | 561.5 | 200M | 33 | 481 | 577 |1042 |1767 | 1 | 2 | 347 | 1.684778e+02 | 2.080000e+02 | 23.46%| unknown
95.38/95.78 c d29.4s| 167 | 168 |140886 | 751.4 |pscostdi| 36 | 481 | 577 | 965 | 0 | 1 | 2 | 372 | 1.684883e+02 | 2.070000e+02 | 22.86%| unknown
95.38/95.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
95.38/95.78 c d29.4s| 167 | 168 |140898 | 751.5 |pscostdi| 36 | 481 | 577 | 965 | 0 | 1 | 2 | 372 | 1.684883e+02 | 2.050000e+02 | 21.67%| unknown
95.38/95.78 c d29.4s| 167 | 168 |140922 | 751.6 |pscostdi| 36 | 481 | 577 | 965 | 0 | 1 | 2 | 372 | 1.684883e+02 | 2.050000e+02 | 21.67%| unknown
95.38/95.78 c d29.4s| 167 | 168 |140934 | 751.7 |pscostdi| 36 | 481 | 577 | 965 | 0 | 1 | 2 | 372 | 1.684883e+02 | 2.030000e+02 | 20.48%| unknown
95.38/95.78 c 35.4s| 200 | 201 |191783 | 882.6 | 201M | 36 | 481 | 577 |1065 |2278 | 1 | 4 | 392 | 1.684883e+02 | 2.030000e+02 | 20.48%| unknown
95.38/95.78 c 51.5s| 300 | 301 |346534 |1104.9 | 202M | 37 | 481 | 577 |1064 |2847 | 1 | 5 | 424 | 1.686627e+02 | 2.030000e+02 | 20.36%| unknown
95.38/95.78 c 68.3s| 400 | 401 |504054 |1222.8 | 201M | 41 | 481 | 577 |1094 |3415 | 1 | 17 | 460 | 1.688186e+02 | 2.030000e+02 | 20.25%| unknown
95.38/95.78 c 80.8s| 500 | 501 |635708 |1241.6 | 207M | 41 | 481 | 577 |1125 |4055 | 1 | 21 | 510 | 1.688186e+02 | 2.030000e+02 | 20.25%| unknown
95.38/95.78 c 91.5s| 600 | 601 |751257 |1227.2 | 209M | 41 | 481 | 577 |1183 |4778 | 1 | 25 | 526 | 1.688186e+02 | 2.030000e+02 | 20.25%| unknown
228.95/229.75 c d95.6s| 644 | 645 |797997 |1215.9 |pscostdi| 41 | 481 | 577 |1103 | 0 | 1 | 29 | 528 | 1.688186e+02 | 2.020000e+02 | 19.66%| unknown
228.95/229.75 c d95.6s| 644 | 645 |798005 |1215.9 |pscostdi| 41 | 481 | 577 |1103 | 0 | 1 | 29 | 528 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
228.95/229.75 c 101s| 700 | 701 |870687 |1222.5 | 212M | 41 | 481 | 577 |1138 |5175 | 1 | 34 | 528 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
228.95/229.75 c 111s| 800 | 801 |987126 |1215.2 | 213M | 41 | 481 | 577 |1184 |5586 | 1 | 41 | 529 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
228.95/229.75 c 123s| 900 | 901 | 1122k|1230.4 | 214M | 41 | 481 | 577 |1085 |6337 | 1 | 46 | 556 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
228.95/229.75 c 136s| 1000 | 1001 | 1247k|1232.2 | 216M | 41 | 481 | 577 |1025 |7210 | 1 | 46 | 595 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
228.95/229.75 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
228.95/229.75 c (run 1, node 1049) performing user restart
228.95/229.75 c
228.95/229.75 c (restart) converted 353 cuts from the global cut pool into linear constraints
228.95/229.75 c
228.95/229.75 c presolving:
228.95/229.75 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
228.95/229.75 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
228.95/229.75 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
228.95/229.75 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
228.95/229.75 c 0 deleted vars, 2 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 16 changed coefficients
228.95/229.75 c 0 implications, 127 cliques
228.95/229.75 c presolved problem has 481 variables (481 bin, 0 int, 0 impl, 0 cont) and 928 constraints
228.95/229.75 c 674 constraints of type <knapsack>
228.95/229.75 c 127 constraints of type <setppc>
228.95/229.75 c 3 constraints of type <linear>
228.95/229.75 c 124 constraints of type <logicor>
228.95/229.75 c transformed objective value is always integral (scale: 1)
228.95/229.75 c Presolving Time: 0.04
228.95/229.75 c transformed 88/100 original solutions to the transformed problem space
228.95/229.75 c
228.95/229.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
228.95/229.75 c 142s| 1 | 0 | 1299k| - | 199M | 0 | 481 | 928 | 928 | 0 | 0 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
228.95/229.75 c 143s| 1 | 0 | 1300k| - | 199M | 0 | 481 | 928 | 977 | 49 | 1 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
228.95/229.75 c 143s| 1 | 0 | 1300k| - | 201M | 0 | 481 | 928 |1010 | 82 | 2 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
228.95/229.75 c 143s| 1 | 0 | 1301k| - | 204M | 0 | 481 | 928 |1029 | 101 | 3 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
228.95/229.75 c 143s| 1 | 0 | 1301k| - | 209M | 0 | 481 | 928 |1043 | 115 | 4 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
228.95/229.75 c 143s| 1 | 0 | 1301k| - | 213M | 0 | 481 | 928 |1051 | 123 | 5 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
228.95/229.75 c 143s| 1 | 0 | 1301k| - | 218M | 0 | 481 | 928 |1056 | 128 | 6 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
228.95/229.75 c 143s| 1 | 0 | 1301k| - | 216M | 0 | 481 | 928 |1065 | 137 | 7 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
228.95/229.75 c 144s| 1 | 0 | 1301k| - | 216M | 0 | 481 | 928 |1072 | 144 | 8 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
228.95/229.75 c 144s| 1 | 0 | 1301k| - | 214M | 0 | 481 | 928 |1076 | 148 | 9 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
228.95/229.75 c 144s| 1 | 0 | 1302k| - | 214M | 0 | 481 | 928 |1078 | 150 | 10 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
228.95/229.75 c 144s| 1 | 0 | 1302k| - | 214M | 0 | 481 | 928 |1081 | 153 | 11 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
228.95/229.75 c 144s| 1 | 0 | 1302k| - | 214M | 0 | 481 | 928 |1085 | 157 | 12 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
228.95/229.75 c 144s| 1 | 0 | 1302k| - | 214M | 0 | 481 | 928 |1091 | 163 | 13 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
228.95/229.75 c 144s| 1 | 0 | 1302k| - | 214M | 0 | 481 | 928 |1010 | 168 | 14 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
228.95/229.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
228.95/229.75 c 144s| 1 | 0 | 1302k| - | 214M | 0 | 481 | 928 |1017 | 175 | 15 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
228.95/229.75 c 144s| 1 | 0 | 1302k| - | 214M | 0 | 481 | 928 |1029 | 187 | 16 | 51 | 599 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
228.95/229.75 c 145s| 1 | 2 | 1302k| - | 214M | 0 | 481 | 928 |1029 | 187 | 16 | 51 | 607 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
228.95/229.75 c 167s| 100 | 101 | 1396k|1192.6 | 235M | 44 | 481 | 928 |1016 | 442 | 1 | 54 | 820 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
228.95/229.75 c 173s| 200 | 201 | 1451k|1141.4 | 269M | 77 | 481 | 928 |1061 | 585 | 1 | 54 | 842 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
228.95/229.75 c 175s| 300 | 301 | 1474k|1073.5 | 269M | 107 | 481 | 928 |1070 | 608 | 1 | 56 | 865 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
228.95/229.75 c 177s| 400 | 401 | 1491k|1011.8 | 270M | 136 | 481 | 928 |1077 | 680 | 1 | 56 | 887 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
228.95/229.75 c 179s| 500 | 487 | 1506k| 955.7 | 270M | 148 | 481 | 928 |1075 | 758 | 1 | 56 | 911 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
228.95/229.75 c 182s| 600 | 577 | 1527k| 910.4 | 271M | 149 | 481 | 928 |1076 | 864 | 0 | 58 | 924 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
228.95/229.75 c 184s| 700 | 647 | 1536k| 863.4 | 271M | 151 | 481 | 928 |1076 | 915 | 1 | 58 | 934 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
228.95/229.75 c 186s| 800 | 717 | 1550k| 824.3 | 271M | 151 | 481 | 928 |1077 | 992 | 1 | 61 | 945 | 1.688186e+02 | 2.010000e+02 | 19.06%| unknown
228.95/229.75 c L 186s| 845 | 666 | 1551k| 805.5 | rins| 153 | 481 | 928 |1076 | 992 | 1 | 61 | 945 | 1.688186e+02 | 1.990000e+02 | 17.88%| unknown
228.95/229.75 c i 186s| 846 | 609 | 1551k| 805.1 | oneopt| 153 | 481 | 928 |1076 | 992 | 0 | 61 | 945 | 1.688186e+02 | 1.980000e+02 | 17.29%| unknown
228.95/229.75 c 190s| 900 | 633 | 1591k| 803.1 | 271M | 153 | 481 | 928 |1076 |1128 | 1 | 63 | 951 | 1.688186e+02 | 1.980000e+02 | 17.29%| unknown
228.95/229.75 c 194s| 1000 | 663 | 1614k| 775.2 | 272M | 153 | 481 | 928 |1076 |1290 | 1 | 64 | 968 | 1.688407e+02 | 1.980000e+02 | 17.27%| unknown
228.95/229.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
228.95/229.75 c 197s| 1100 | 691 | 1629k| 745.9 | 271M | 153 | 481 | 928 | 971 |1416 | 1 | 66 | 991 | 1.688617e+02 | 1.980000e+02 | 17.26%| unknown
228.95/229.75 c 200s| 1200 | 711 | 1652k| 723.1 | 272M | 153 | 481 | 928 | 972 |1604 | 1 | 76 |1015 | 1.688853e+02 | 1.980000e+02 | 17.24%| unknown
228.95/229.75 c 205s| 1300 | 761 | 1686k| 706.9 | 272M | 153 | 481 | 928 | 962 |1873 | 1 | 77 |1037 | 1.688892e+02 | 1.980000e+02 | 17.24%| unknown
228.95/229.75 c 212s| 1400 | 825 | 1729k| 695.5 | 273M | 153 | 481 | 929 |1076 |2091 | 2 | 79 |1062 | 1.689179e+02 | 1.980000e+02 | 17.22%| unknown
228.95/229.75 c 216s| 1500 | 857 | 1756k| 678.9 | 273M | 153 | 481 | 929 | 972 |2302 | 1 | 83 |1077 | 1.689678e+02 | 1.980000e+02 | 17.18%| unknown
228.95/229.75 c 219s| 1600 | 893 | 1778k| 661.4 | 273M | 153 | 481 | 929 |1076 |2434 | 3 | 85 |1088 | 1.689686e+02 | 1.980000e+02 | 17.18%| unknown
228.95/229.75 c 225s| 1700 | 945 | 1812k| 649.8 | 273M | 153 | 481 | 929 |1078 |2719 | 1 | 88 |1107 | 1.689976e+02 | 1.980000e+02 | 17.16%| unknown
228.95/229.75 c 227s| 1800 | 973 | 1826k| 631.9 | 274M | 153 | 481 | 929 |1077 |2817 | 1 | 90 |1112 | 1.690044e+02 | 1.980000e+02 | 17.16%| unknown
389.81/391.18 c 230s| 1900 | 1005 | 1848k| 617.9 | 274M | 153 | 481 | 929 |1076 |2994 | 2 | 92 |1117 | 1.690310e+02 | 1.980000e+02 | 17.14%| unknown
389.81/391.18 c 231s| 2000 | 1017 | 1863k| 602.5 | 274M | 153 | 481 | 929 |1077 |3109 | 2 | 94 |1118 | 1.690403e+02 | 1.980000e+02 | 17.13%| unknown
389.81/391.18 c 233s| 2100 | 1069 | 1878k| 588.2 | 274M | 153 | 481 | 929 |1077 |3201 | 1 | 97 |1118 | 1.690702e+02 | 1.980000e+02 | 17.11%| unknown
389.81/391.18 c 237s| 2200 | 1109 | 1907k| 579.0 | 275M | 153 | 481 | 929 |1077 |3404 | 1 | 101 |1118 | 1.690765e+02 | 1.980000e+02 | 17.11%| unknown
389.81/391.18 c 242s| 2300 | 1161 | 1942k| 572.3 | 275M | 153 | 481 | 929 | 970 |3711 | 1 | 103 |1123 | 1.690878e+02 | 1.980000e+02 | 17.10%| unknown
389.81/391.18 c 248s| 2400 | 1213 | 2002k| 572.8 | 275M | 153 | 481 | 929 |1078 |4013 | 1 | 106 |1127 | 1.690937e+02 | 1.980000e+02 | 17.09%| unknown
389.81/391.18 c 253s| 2500 | 1271 | 2037k| 566.8 | 275M | 153 | 481 | 929 | 977 |4326 | 1 | 107 |1130 | 1.691238e+02 | 1.980000e+02 | 17.07%| unknown
389.81/391.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
389.81/391.18 c 257s| 2600 | 1311 | 2066k| 559.1 | 275M | 153 | 481 | 929 |1078 |4546 | 1 | 108 |1130 | 1.691361e+02 | 1.980000e+02 | 17.07%| unknown
389.81/391.18 c 262s| 2700 | 1357 | 2101k| 553.6 | 276M | 153 | 481 | 929 |1077 |4833 | 2 | 110 |1130 | 1.691427e+02 | 1.980000e+02 | 17.06%| unknown
389.81/391.18 c 263s| 2800 | 1377 | 2116k| 543.1 | 276M | 153 | 481 | 929 |1079 |4927 | 1 | 113 |1130 | 1.691453e+02 | 1.980000e+02 | 17.06%| unknown
389.81/391.18 c 269s| 2900 | 1435 | 2159k| 540.3 | 276M | 153 | 481 | 929 |1076 |5263 | 1 | 113 |1133 | 1.691557e+02 | 1.980000e+02 | 17.05%| unknown
389.81/391.18 c 272s| 3000 | 1463 | 2183k| 532.8 | 276M | 153 | 481 | 929 |1078 |5447 | 1 | 115 |1134 | 1.691618e+02 | 1.980000e+02 | 17.05%| unknown
389.81/391.18 c 277s| 3100 | 1515 | 2218k| 528.4 | 276M | 153 | 481 | 929 |1078 |5733 | 1 | 117 |1134 | 1.691728e+02 | 1.980000e+02 | 17.04%| unknown
389.81/391.18 c 279s| 3200 | 1547 | 2235k| 520.0 | 276M | 153 | 481 | 929 |1079 |5827 | 2 | 120 |1134 | 1.691783e+02 | 1.980000e+02 | 17.04%| unknown
389.81/391.18 c 281s| 3300 | 1571 | 2252k| 511.8 | 276M | 153 | 481 | 929 |1079 |5926 | 2 | 125 |1135 | 1.691794e+02 | 1.980000e+02 | 17.04%| unknown
389.81/391.18 c 283s| 3400 | 1589 | 2266k| 503.6 | 276M | 153 | 481 | 929 |1079 |6031 | 1 | 128 |1135 | 1.691858e+02 | 1.980000e+02 | 17.03%| unknown
389.81/391.18 c 288s| 3500 | 1647 | 2306k| 501.3 | 276M | 153 | 481 | 929 | 963 |6331 | 1 | 129 |1143 | 1.691937e+02 | 1.980000e+02 | 17.03%| unknown
389.81/391.18 c 294s| 3600 | 1695 | 2354k| 500.7 | 277M | 153 | 481 | 929 |1079 |6546 | 3 | 132 |1152 | 1.692061e+02 | 1.980000e+02 | 17.02%| unknown
389.81/391.18 c 299s| 3700 | 1743 | 2386k| 496.9 | 277M | 153 | 481 | 929 |1078 |6812 | 2 | 135 |1169 | 1.692137e+02 | 1.980000e+02 | 17.01%| unknown
389.81/391.18 c 301s| 3800 | 1765 | 2397k| 489.0 | 277M | 153 | 481 | 929 |1083 |6921 | 2 | 136 |1176 | 1.692145e+02 | 1.980000e+02 | 17.01%| unknown
389.81/391.18 c 303s| 3900 | 1803 | 2418k| 483.4 | 277M | 153 | 481 | 929 |1079 |7088 | 0 | 137 |1179 | 1.692173e+02 | 1.980000e+02 | 17.01%| unknown
389.81/391.18 c 306s| 4000 | 1833 | 2436k| 477.3 | 277M | 153 | 481 | 929 |1080 |7206 | 3 | 138 |1180 | 1.692332e+02 | 1.980000e+02 | 17.00%| unknown
389.81/391.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
389.81/391.18 c 307s| 4100 | 1843 | 2451k| 471.0 | 277M | 153 | 481 | 929 |1079 |7294 | 0 | 142 |1184 | 1.692354e+02 | 1.980000e+02 | 17.00%| unknown
389.81/391.18 c 311s| 4200 | 1883 | 2478k| 467.2 | 277M | 153 | 481 | 929 |1081 |7485 | 1 | 145 |1185 | 1.692432e+02 | 1.980000e+02 | 16.99%| unknown
389.81/391.18 c 312s| 4300 | 1901 | 2494k| 461.4 | 277M | 153 | 481 | 929 |1080 |7595 | 1 | 147 |1186 | 1.692511e+02 | 1.980000e+02 | 16.99%| unknown
389.81/391.18 c 314s| 4400 | 1921 | 2509k| 455.6 | 277M | 153 | 481 | 929 |1079 |7690 | 3 | 148 |1187 | 1.692599e+02 | 1.980000e+02 | 16.98%| unknown
389.81/391.18 c 317s| 4500 | 1953 | 2536k| 452.3 | 277M | 153 | 481 | 929 |1082 |7883 | 1 | 151 |1187 | 1.692649e+02 | 1.980000e+02 | 16.98%| unknown
389.81/391.18 c 322s| 4600 | 1995 | 2565k| 449.5 | 277M | 153 | 481 | 929 | 971 |8141 | 1 | 155 |1187 | 1.692719e+02 | 1.980000e+02 | 16.97%| unknown
389.81/391.18 c 324s| 4700 | 2033 | 2589k| 445.8 | 277M | 153 | 481 | 929 | 977 |8329 | 1 | 157 |1188 | 1.692754e+02 | 1.980000e+02 | 16.97%| unknown
389.81/391.18 c 329s| 4800 | 2091 | 2622k| 443.8 | 277M | 153 | 481 | 929 |1081 |8561 | 1 | 159 |1188 | 1.692893e+02 | 1.980000e+02 | 16.96%| unknown
389.81/391.18 c 329s| 4900 | 2107 | 2629k| 437.6 | 277M | 153 | 481 | 929 |1078 |8580 | 0 | 162 |1188 | 1.692893e+02 | 1.980000e+02 | 16.96%| unknown
389.81/391.18 c 331s| 5000 | 2139 | 2645k| 433.0 | 277M | 153 | 481 | 929 |1081 |8707 | 1 | 163 |1190 | 1.692904e+02 | 1.980000e+02 | 16.96%| unknown
389.81/391.18 c 333s| 5100 | 2161 | 2666k| 429.3 | 278M | 153 | 481 | 929 |1081 |8814 | 1 | 164 |1190 | 1.692919e+02 | 1.980000e+02 | 16.96%| unknown
389.81/391.18 c 337s| 5200 | 2203 | 2700k| 427.9 | 278M | 153 | 481 | 929 |1081 |9052 | 1 | 168 |1190 | 1.693063e+02 | 1.980000e+02 | 16.95%| unknown
389.81/391.18 c 339s| 5300 | 2233 | 2717k| 423.8 | 278M | 153 | 481 | 929 |1081 |9169 | 1 | 174 |1190 | 1.693136e+02 | 1.980000e+02 | 16.94%| unknown
389.81/391.18 c 341s| 5400 | 2253 | 2732k| 419.6 | 278M | 153 | 481 | 929 |1079 |9267 | 1 | 177 |1191 | 1.693147e+02 | 1.980000e+02 | 16.94%| unknown
389.81/391.18 c 343s| 5500 | 2275 | 2745k| 415.1 | 278M | 153 | 481 | 929 |1079 |9353 | 1 | 178 |1191 | 1.693165e+02 | 1.980000e+02 | 16.94%| unknown
389.81/391.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
389.81/391.18 c 346s| 5600 | 2317 | 2772k| 413.0 | 278M | 153 | 481 | 929 |1081 |9525 | 3 | 187 |1191 | 1.693196e+02 | 1.980000e+02 | 16.94%| unknown
389.81/391.18 c 347s| 5700 | 2341 | 2787k| 409.0 | 278M | 153 | 481 | 929 |1079 |9638 | 1 | 189 |1191 | 1.693242e+02 | 1.980000e+02 | 16.94%| unknown
389.81/391.18 c 349s| 5800 | 2363 | 2800k| 405.1 | 278M | 153 | 481 | 929 |1079 |9747 | 1 | 191 |1191 | 1.693320e+02 | 1.980000e+02 | 16.93%| unknown
389.81/391.18 c 353s| 5900 | 2405 | 2829k| 403.4 | 278M | 153 | 481 | 929 | 975 |9966 | 1 | 196 |1191 | 1.693368e+02 | 1.980000e+02 | 16.93%| unknown
389.81/391.18 c 358s| 6000 | 2449 | 2880k| 404.9 | 278M | 153 | 481 | 929 |1081 | 10k| 1 | 204 |1207 | 1.693388e+02 | 1.980000e+02 | 16.93%| unknown
389.81/391.18 c 360s| 6100 | 2471 | 2898k| 401.7 | 278M | 153 | 481 | 929 |1077 | 10k| 1 | 209 |1208 | 1.693406e+02 | 1.980000e+02 | 16.92%| unknown
389.81/391.18 c 365s| 6200 | 2531 | 2931k| 400.8 | 278M | 153 | 481 | 929 |1079 | 10k| 3 | 210 |1220 | 1.693526e+02 | 1.980000e+02 | 16.92%| unknown
389.81/391.18 c 369s| 6300 | 2571 | 2959k| 399.1 | 278M | 153 | 481 | 929 |1083 | 10k| 1 | 213 |1233 | 1.693557e+02 | 1.980000e+02 | 16.91%| unknown
389.81/391.18 c 374s| 6400 | 2619 | 2993k| 398.3 | 279M | 153 | 481 | 929 |1084 | 11k| 2 | 216 |1236 | 1.693666e+02 | 1.980000e+02 | 16.91%| unknown
389.81/391.18 c 377s| 6500 | 2657 | 3017k| 396.2 | 279M | 153 | 481 | 929 |1080 | 11k| 2 | 221 |1236 | 1.693707e+02 | 1.980000e+02 | 16.90%| unknown
389.81/391.18 c 379s| 6600 | 2683 | 3035k| 393.4 | 279M | 153 | 481 | 929 |1083 | 11k| 2 | 222 |1240 | 1.693746e+02 | 1.980000e+02 | 16.90%| unknown
389.81/391.18 c 381s| 6700 | 2709 | 3052k| 390.5 | 279M | 153 | 481 | 929 | 977 | 11k| 1 | 223 |1240 | 1.693813e+02 | 1.980000e+02 | 16.90%| unknown
389.81/391.18 c 387s| 6800 | 2759 | 3099k| 391.5 | 279M | 153 | 481 | 931 |1079 | 11k| 3 | 231 |1240 | 1.693870e+02 | 1.980000e+02 | 16.89%| unknown
389.81/391.18 c 388s| 6900 | 2767 | 3106k| 387.4 | 279M | 153 | 481 | 931 |1082 | 11k| 1 | 237 |1240 | 1.693870e+02 | 1.980000e+02 | 16.89%| unknown
389.81/391.18 c 390s| 7000 | 2807 | 3129k| 385.5 | 279M | 153 | 481 | 931 |1081 | 11k| 2 | 239 |1241 | 1.693879e+02 | 1.980000e+02 | 16.89%| unknown
389.81/391.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
537.83/539.63 c 391s| 7100 | 2819 | 3138k| 381.9 | 279M | 153 | 481 | 931 | 974 | 12k| 1 | 245 |1242 | 1.693896e+02 | 1.980000e+02 | 16.89%| unknown
537.83/539.63 c 393s| 7200 | 2849 | 3162k| 380.1 | 279M | 153 | 481 | 931 |1082 | 12k| 1 | 246 |1242 | 1.693956e+02 | 1.980000e+02 | 16.89%| unknown
537.83/539.63 c 397s| 7300 | 2899 | 3194k| 379.4 | 279M | 153 | 481 | 931 |1083 | 12k| 2 | 247 |1242 | 1.694066e+02 | 1.980000e+02 | 16.88%| unknown
537.83/539.63 c 400s| 7400 | 2931 | 3212k| 377.1 | 279M | 153 | 481 | 932 | 986 | 12k| 1 | 248 |1242 | 1.694133e+02 | 1.980000e+02 | 16.87%| unknown
537.83/539.63 c 402s| 7500 | 2961 | 3231k| 374.9 | 279M | 153 | 481 | 932 |1084 | 12k| 1 | 255 |1242 | 1.694145e+02 | 1.980000e+02 | 16.87%| unknown
537.83/539.63 c 402s| 7600 | 2963 | 3236k| 371.2 | 279M | 153 | 481 | 932 |1082 | 12k| 1 | 255 |1242 | 1.694145e+02 | 1.980000e+02 | 16.87%| unknown
537.83/539.63 c 405s| 7700 | 2987 | 3259k| 369.6 | 279M | 153 | 481 | 932 |1081 | 12k| 2 | 258 |1242 | 1.694154e+02 | 1.980000e+02 | 16.87%| unknown
537.83/539.63 c 409s| 7800 | 3023 | 3285k| 368.3 | 279M | 153 | 481 | 932 |1080 | 13k| 1 | 258 |1242 | 1.694179e+02 | 1.980000e+02 | 16.87%| unknown
537.83/539.63 c 413s| 7900 | 3067 | 3320k| 368.1 | 279M | 153 | 481 | 932 |1079 | 13k| 3 | 264 |1242 | 1.694202e+02 | 1.980000e+02 | 16.87%| unknown
537.83/539.63 c 416s| 8000 | 3099 | 3343k| 366.5 | 279M | 153 | 481 | 932 |1083 | 13k| 2 | 265 |1242 | 1.694389e+02 | 1.980000e+02 | 16.86%| unknown
537.83/539.63 c 418s| 8100 | 3119 | 3363k| 364.8 | 279M | 153 | 481 | 932 | 970 | 13k| 1 | 267 |1242 | 1.694436e+02 | 1.980000e+02 | 16.85%| unknown
537.83/539.63 c 421s| 8200 | 3151 | 3385k| 363.2 | 279M | 153 | 481 | 932 | 964 | 13k| 1 | 270 |1242 | 1.694480e+02 | 1.980000e+02 | 16.85%| unknown
537.83/539.63 c 423s| 8300 | 3163 | 3400k| 360.9 | 279M | 153 | 481 | 932 | 967 | 14k| 1 | 271 |1242 | 1.694490e+02 | 1.980000e+02 | 16.85%| unknown
537.83/539.63 c 428s| 8400 | 3215 | 3441k| 361.4 | 279M | 153 | 481 | 932 |1086 | 14k| 3 | 272 |1253 | 1.694684e+02 | 1.980000e+02 | 16.84%| unknown
537.83/539.63 c 432s| 8500 | 3243 | 3466k| 360.2 | 279M | 153 | 481 | 932 |1078 | 14k| 1 | 273 |1260 | 1.694696e+02 | 1.980000e+02 | 16.84%| unknown
537.83/539.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
537.83/539.63 c 435s| 8600 | 3285 | 3491k| 359.1 | 279M | 153 | 481 | 932 |1087 | 14k| 1 | 276 |1264 | 1.694764e+02 | 1.980000e+02 | 16.83%| unknown
537.83/539.63 c 439s| 8700 | 3335 | 3521k| 358.5 | 279M | 153 | 481 | 932 |1081 | 14k| 2 | 279 |1267 | 1.694886e+02 | 1.980000e+02 | 16.82%| unknown
537.83/539.63 c 442s| 8800 | 3363 | 3543k| 357.1 | 279M | 153 | 481 | 932 |1082 | 15k| 0 | 280 |1269 | 1.694896e+02 | 1.980000e+02 | 16.82%| unknown
537.83/539.63 c 444s| 8900 | 3393 | 3564k| 355.6 | 279M | 153 | 481 | 932 | 980 | 15k| 1 | 281 |1272 | 1.694921e+02 | 1.980000e+02 | 16.82%| unknown
537.83/539.63 c 449s| 9000 | 3445 | 3604k| 356.0 | 279M | 153 | 481 | 932 |1083 | 15k| 2 | 283 |1272 | 1.694948e+02 | 1.980000e+02 | 16.82%| unknown
537.83/539.63 c 450s| 9100 | 3449 | 3611k| 353.2 | 280M | 153 | 481 | 932 |1087 | 15k| 3 | 283 |1273 | 1.694948e+02 | 1.980000e+02 | 16.82%| unknown
537.83/539.63 c 453s| 9200 | 3469 | 3633k| 351.9 | 280M | 153 | 481 | 932 | 976 | 15k| 1 | 287 |1273 | 1.695005e+02 | 1.980000e+02 | 16.81%| unknown
537.83/539.63 c 457s| 9300 | 3519 | 3670k| 352.1 | 280M | 153 | 481 | 932 |1083 | 16k| 2 | 290 |1275 | 1.695086e+02 | 1.980000e+02 | 16.81%| unknown
537.83/539.63 c 458s| 9400 | 3537 | 3685k| 350.1 | 280M | 153 | 481 | 932 |1085 | 16k| 1 | 293 |1277 | 1.695107e+02 | 1.980000e+02 | 16.81%| unknown
537.83/539.63 c 462s| 9500 | 3567 | 3712k| 349.4 | 280M | 153 | 481 | 932 |1079 | 16k| 3 | 296 |1278 | 1.695141e+02 | 1.980000e+02 | 16.80%| unknown
537.83/539.63 c 462s| 9600 | 3575 | 3719k| 346.8 | 280M | 153 | 481 | 932 |1085 | 16k| 2 | 299 |1278 | 1.695141e+02 | 1.980000e+02 | 16.80%| unknown
537.83/539.63 c 465s| 9700 | 3605 | 3751k| 346.6 | 280M | 153 | 481 | 932 |1090 | 16k| 3 | 300 |1279 | 1.695149e+02 | 1.980000e+02 | 16.80%| unknown
537.83/539.63 c 467s| 9800 | 3647 | 3774k| 345.5 | 280M | 153 | 481 | 932 |1089 | 16k| 2 | 302 |1279 | 1.695171e+02 | 1.980000e+02 | 16.80%| unknown
537.83/539.63 c 471s| 9900 | 3683 | 3802k| 344.8 | 280M | 153 | 481 | 932 |1089 | 16k| 0 | 304 |1280 | 1.695262e+02 | 1.980000e+02 | 16.80%| unknown
537.83/539.63 c 473s| 10000 | 3713 | 3826k| 344.0 | 280M | 153 | 481 | 932 |1087 | 17k| 3 | 308 |1282 | 1.695337e+02 | 1.980000e+02 | 16.79%| unknown
537.83/539.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
537.83/539.63 c 475s| 10100 | 3723 | 3842k| 342.3 | 280M | 153 | 481 | 932 |1090 | 17k| 1 | 309 |1283 | 1.695351e+02 | 1.980000e+02 | 16.79%| unknown
537.83/539.63 c 476s| 10200 | 3727 | 3847k| 339.7 | 280M | 153 | 481 | 932 |1087 | 17k| 3 | 311 |1283 | 1.695351e+02 | 1.980000e+02 | 16.79%| unknown
537.83/539.63 c 479s| 10300 | 3771 | 3876k| 339.3 | 280M | 153 | 481 | 932 | 985 | 17k| 1 | 314 |1284 | 1.695380e+02 | 1.980000e+02 | 16.79%| unknown
537.83/539.63 c 483s| 10400 | 3815 | 3908k| 339.1 | 280M | 153 | 481 | 932 |1084 | 17k| 2 | 316 |1285 | 1.695387e+02 | 1.980000e+02 | 16.79%| unknown
537.83/539.63 c 486s| 10500 | 3851 | 3933k| 338.3 | 280M | 153 | 481 | 935 |1082 | 17k| 3 | 321 |1285 | 1.695432e+02 | 1.980000e+02 | 16.78%| unknown
537.83/539.63 c 490s| 10600 | 3893 | 3967k| 338.3 | 281M | 153 | 481 | 935 |1086 | 18k| 3 | 322 |1285 | 1.695499e+02 | 1.980000e+02 | 16.78%| unknown
537.83/539.63 c 492s| 10700 | 3905 | 3983k| 336.8 | 281M | 153 | 481 | 935 |1087 | 18k| 0 | 322 |1285 | 1.695531e+02 | 1.980000e+02 | 16.78%| unknown
537.83/539.63 c 497s| 10800 | 3957 | 4021k| 337.1 | 281M | 153 | 481 | 935 | 977 | 18k| 1 | 323 |1286 | 1.695593e+02 | 1.980000e+02 | 16.77%| unknown
537.83/539.63 c 500s| 10900 | 3989 | 4046k| 336.5 | 282M | 153 | 481 | 935 |1016 | 18k| 4 | 327 |1288 | 1.695638e+02 | 1.980000e+02 | 16.77%| unknown
537.83/539.63 c 503s| 11000 | 4025 | 4073k| 335.8 | 282M | 153 | 481 | 935 | 976 | 18k| 1 | 327 |1288 | 1.695662e+02 | 1.980000e+02 | 16.77%| unknown
537.83/539.63 c 508s| 11100 | 4079 | 4116k| 336.6 | 282M | 153 | 481 | 935 |1082 | 19k| 1 | 331 |1288 | 1.695731e+02 | 1.980000e+02 | 16.76%| unknown
537.83/539.63 c 512s| 11200 | 4123 | 4146k| 336.3 | 282M | 153 | 481 | 935 | 974 | 19k| 1 | 334 |1288 | 1.695836e+02 | 1.980000e+02 | 16.76%| unknown
537.83/539.63 c 514s| 11300 | 4139 | 4168k| 335.4 | 282M | 153 | 481 | 934 |1082 | 19k| 1 | 342 |1288 | 1.695869e+02 | 1.980000e+02 | 16.75%| unknown
537.83/539.63 c 517s| 11400 | 4171 | 4194k| 334.8 | 282M | 153 | 481 | 934 |1081 | 19k| 3 | 349 |1288 | 1.695900e+02 | 1.980000e+02 | 16.75%| unknown
537.83/539.63 c 520s| 11500 | 4197 | 4218k| 334.0 | 282M | 153 | 481 | 934 |1080 | 19k| 1 | 355 |1288 | 1.695919e+02 | 1.980000e+02 | 16.75%| unknown
537.83/539.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
537.83/539.63 c 521s| 11600 | 4213 | 4232k| 332.5 | 282M | 153 | 481 | 934 |1083 | 19k| 0 | 355 |1288 | 1.695925e+02 | 1.980000e+02 | 16.75%| unknown
537.83/539.63 c 523s| 11700 | 4239 | 4252k| 331.5 | 282M | 153 | 481 | 934 | 970 | 20k| 1 | 360 |1288 | 1.695950e+02 | 1.980000e+02 | 16.75%| unknown
537.83/539.63 c 526s| 11800 | 4281 | 4280k| 331.0 | 283M | 153 | 481 | 935 |1090 | 20k| 1 | 366 |1288 | 1.695955e+02 | 1.980000e+02 | 16.75%| unknown
537.83/539.63 c 530s| 11900 | 4311 | 4307k| 330.6 | 283M | 153 | 481 | 935 |1084 | 20k| 1 | 372 |1290 | 1.696057e+02 | 1.980000e+02 | 16.74%| unknown
537.83/539.63 c 530s| 12000 | 4315 | 4316k| 328.8 | 283M | 153 | 481 | 935 |1090 | 20k| 2 | 375 |1292 | 1.696057e+02 | 1.980000e+02 | 16.74%| unknown
537.83/539.63 c 533s| 12100 | 4357 | 4345k| 328.5 | 283M | 153 | 481 | 935 | 970 | 20k| 1 | 379 |1293 | 1.696095e+02 | 1.980000e+02 | 16.74%| unknown
537.83/539.63 c 535s| 12200 | 4383 | 4366k| 327.6 | 283M | 153 | 481 | 934 |1087 | 20k| 0 | 381 |1302 | 1.696107e+02 | 1.980000e+02 | 16.74%| unknown
537.83/539.63 c 539s| 12300 | 4415 | 4392k| 327.0 | 283M | 153 | 481 | 934 |1082 | 20k| 1 | 383 |1308 | 1.696118e+02 | 1.980000e+02 | 16.74%| unknown
661.79/663.97 c 539s| 12400 | 4417 | 4400k| 325.2 | 283M | 153 | 481 | 934 |1082 | 20k| 1 | 395 |1309 | 1.696118e+02 | 1.980000e+02 | 16.74%| unknown
661.79/663.97 c 542s| 12500 | 4449 | 4422k| 324.4 | 283M | 153 | 481 | 934 |1082 | 21k| 2 | 397 |1310 | 1.696122e+02 | 1.980000e+02 | 16.74%| unknown
661.79/663.97 c 546s| 12600 | 4489 | 4462k| 325.0 | 283M | 153 | 481 | 934 |1080 | 21k| 2 | 400 |1313 | 1.696144e+02 | 1.980000e+02 | 16.74%| unknown
661.79/663.97 c 549s| 12700 | 4547 | 4490k| 324.7 | 283M | 153 | 481 | 934 |1086 | 21k| 1 | 403 |1314 | 1.696185e+02 | 1.980000e+02 | 16.73%| unknown
661.79/663.97 c 551s| 12800 | 4589 | 4511k| 323.9 | 283M | 153 | 481 | 934 |1088 | 21k| 2 | 408 |1314 | 1.696185e+02 | 1.980000e+02 | 16.73%| unknown
661.79/663.97 c 553s| 12900 | 4635 | 4529k| 322.8 | 283M | 153 | 481 | 934 |1090 | 21k| 1 | 413 |1315 | 1.696185e+02 | 1.980000e+02 | 16.73%| unknown
661.79/663.97 c 553s| 13000 | 4721 | 4539k| 321.2 | 283M | 153 | 481 | 934 |1092 | 21k| 1 | 414 |1317 | 1.696185e+02 | 1.980000e+02 | 16.73%| unknown
661.79/663.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
661.79/663.97 c 554s| 13100 | 4751 | 4546k| 319.4 | 283M | 153 | 481 | 934 |1095 | 21k| 1 | 423 |1318 | 1.696185e+02 | 1.980000e+02 | 16.73%| unknown
661.79/663.97 c 557s| 13200 | 4787 | 4572k| 319.0 | 283M | 153 | 481 | 934 |1094 | 21k| 0 | 428 |1320 | 1.696257e+02 | 1.980000e+02 | 16.73%| unknown
661.79/663.97 c 560s| 13300 | 4835 | 4600k| 318.8 | 283M | 153 | 481 | 933 | 981 | 22k| 1 | 433 |1321 | 1.696301e+02 | 1.980000e+02 | 16.72%| unknown
661.79/663.97 c 564s| 13400 | 4879 | 4632k| 318.8 | 283M | 153 | 481 | 933 |1094 | 22k| 1 | 440 |1321 | 1.696317e+02 | 1.980000e+02 | 16.72%| unknown
661.79/663.97 c 567s| 13500 | 4913 | 4655k| 318.2 | 283M | 153 | 481 | 933 |1096 | 22k| 2 | 447 |1322 | 1.696342e+02 | 1.980000e+02 | 16.72%| unknown
661.79/663.97 c 570s| 13600 | 4961 | 4682k| 317.8 | 283M | 153 | 481 | 933 | 978 | 22k| 1 | 451 |1322 | 1.696393e+02 | 1.980000e+02 | 16.72%| unknown
661.79/663.97 c 573s| 13700 | 4999 | 4705k| 317.2 | 283M | 153 | 481 | 933 |1095 | 22k| 1 | 456 |1323 | 1.696402e+02 | 1.980000e+02 | 16.72%| unknown
661.79/663.97 c 576s| 13800 | 5037 | 4733k| 317.0 | 283M | 153 | 481 | 933 |1094 | 22k| 1 | 460 |1323 | 1.696413e+02 | 1.980000e+02 | 16.72%| unknown
661.79/663.97 c 577s| 13900 | 5059 | 4748k| 315.9 | 283M | 153 | 481 | 933 |1095 | 22k| 1 | 464 |1323 | 1.696438e+02 | 1.980000e+02 | 16.72%| unknown
661.79/663.97 c 580s| 14000 | 5105 | 4772k| 315.4 | 283M | 153 | 481 | 932 |1095 | 23k| 1 | 468 |1323 | 1.696453e+02 | 1.980000e+02 | 16.71%| unknown
661.79/663.97 c 583s| 14100 | 5137 | 4798k| 315.0 | 283M | 153 | 481 | 931 |1097 | 23k| 1 | 478 |1323 | 1.696514e+02 | 1.980000e+02 | 16.71%| unknown
661.79/663.97 c 586s| 14200 | 5179 | 4821k| 314.4 | 283M | 153 | 481 | 929 |1098 | 23k| 1 | 480 |1324 | 1.696556e+02 | 1.980000e+02 | 16.71%| unknown
661.79/663.97 c 588s| 14300 | 5219 | 4845k| 314.0 | 283M | 153 | 481 | 929 |1098 | 23k| 1 | 483 |1324 | 1.696584e+02 | 1.980000e+02 | 16.71%| unknown
661.79/663.97 c 591s| 14400 | 5253 | 4869k| 313.5 | 283M | 153 | 481 | 929 |1098 | 23k| 1 | 488 |1325 | 1.696603e+02 | 1.980000e+02 | 16.70%| unknown
661.79/663.97 c 591s| 14500 | 5251 | 4875k| 311.8 | 283M | 153 | 481 | 929 |1098 | 23k| 0 | 496 |1325 | 1.696603e+02 | 1.980000e+02 | 16.70%| unknown
661.79/663.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
661.79/663.97 c 594s| 14600 | 5297 | 4900k| 311.4 | 283M | 153 | 481 | 929 |1014 | 23k| 3 | 497 |1334 | 1.696688e+02 | 1.980000e+02 | 16.70%| unknown
661.79/663.97 c 598s| 14700 | 5351 | 4934k| 311.6 | 283M | 153 | 481 | 929 |1012 | 24k| 1 | 498 |1339 | 1.696715e+02 | 1.980000e+02 | 16.70%| unknown
661.79/663.97 c 601s| 14800 | 5387 | 4961k| 311.4 | 284M | 153 | 481 | 929 |1099 | 24k| 2 | 501 |1344 | 1.696748e+02 | 1.980000e+02 | 16.69%| unknown
661.79/663.97 c 603s| 14900 | 5409 | 4978k| 310.5 | 284M | 153 | 481 | 929 |1101 | 24k| 2 | 509 |1344 | 1.696764e+02 | 1.980000e+02 | 16.69%| unknown
661.79/663.97 c 605s| 15000 | 5439 | 5002k| 310.1 | 284M | 153 | 481 | 929 |1098 | 24k| 0 | 512 |1344 | 1.696776e+02 | 1.980000e+02 | 16.69%| unknown
661.79/663.97 c 607s| 15100 | 5457 | 5017k| 309.0 | 284M | 153 | 481 | 929 |1099 | 24k| 1 | 517 |1346 | 1.696776e+02 | 1.980000e+02 | 16.69%| unknown
661.79/663.97 c 608s| 15200 | 5471 | 5031k| 308.0 | 284M | 153 | 481 | 929 |1097 | 24k| 1 | 520 |1347 | 1.696783e+02 | 1.980000e+02 | 16.69%| unknown
661.79/663.97 c 612s| 15300 | 5519 | 5065k| 308.2 | 284M | 153 | 481 | 929 |1098 | 24k| 1 | 527 |1349 | 1.696836e+02 | 1.980000e+02 | 16.69%| unknown
661.79/663.97 c 615s| 15400 | 5561 | 5089k| 307.8 | 284M | 153 | 481 | 929 |1098 | 24k| 2 | 528 |1350 | 1.696882e+02 | 1.980000e+02 | 16.68%| unknown
661.79/663.97 c 617s| 15500 | 5591 | 5121k| 307.8 | 284M | 153 | 481 | 929 |1099 | 25k| 1 | 534 |1350 | 1.696927e+02 | 1.980000e+02 | 16.68%| unknown
661.79/663.97 c 618s| 15600 | 5595 | 5127k| 306.4 | 284M | 153 | 481 | 929 |1098 | 25k| 3 | 545 |1350 | 1.696927e+02 | 1.980000e+02 | 16.68%| unknown
661.79/663.97 c 619s| 15700 | 5605 | 5141k| 305.4 | 284M | 153 | 481 | 929 |1098 | 25k| 1 | 551 |1350 | 1.696930e+02 | 1.980000e+02 | 16.68%| unknown
661.79/663.97 c 621s| 15800 | 5629 | 5158k| 304.6 | 284M | 153 | 481 | 929 | 966 | 25k| 1 | 555 |1350 | 1.696965e+02 | 1.980000e+02 | 16.68%| unknown
661.79/663.97 c 624s| 15900 | 5647 | 5182k| 304.2 | 284M | 153 | 481 | 929 |1098 | 25k| 1 | 562 |1350 | 1.696965e+02 | 1.980000e+02 | 16.68%| unknown
661.79/663.97 c 626s| 16000 | 5677 | 5199k| 303.4 | 284M | 153 | 481 | 929 |1096 | 25k| 1 | 571 |1351 | 1.696966e+02 | 1.980000e+02 | 16.68%| unknown
661.79/663.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
661.79/663.97 c 628s| 16100 | 5715 | 5224k| 303.1 | 284M | 153 | 481 | 929 |1098 | 25k| 0 | 572 |1352 | 1.696983e+02 | 1.980000e+02 | 16.68%| unknown
661.79/663.97 c 631s| 16200 | 5745 | 5251k| 302.9 | 284M | 153 | 481 | 929 |1096 | 25k| 1 | 581 |1352 | 1.696996e+02 | 1.980000e+02 | 16.68%| unknown
661.79/663.97 c 633s| 16300 | 5761 | 5266k| 302.0 | 284M | 153 | 481 | 929 |1096 | 25k| 2 | 587 |1352 | 1.697019e+02 | 1.980000e+02 | 16.68%| unknown
661.79/663.97 c 635s| 16400 | 5807 | 5290k| 301.7 | 284M | 153 | 481 | 929 |1098 | 26k| 1 | 593 |1352 | 1.697023e+02 | 1.980000e+02 | 16.67%| unknown
661.79/663.97 c 637s| 16500 | 5827 | 5306k| 300.8 | 284M | 153 | 481 | 929 |1097 | 26k| 1 | 594 |1352 | 1.697027e+02 | 1.980000e+02 | 16.67%| unknown
661.79/663.97 c 639s| 16600 | 5853 | 5323k| 300.1 | 285M | 153 | 481 | 929 |1094 | 26k| 1 | 600 |1352 | 1.697033e+02 | 1.980000e+02 | 16.67%| unknown
661.79/663.97 c L 640s| 16637 | 5290 | 5335k| 300.2 | rins| 153 | 481 | 929 |1117 | 26k| 1 | 603 |1352 | 1.697036e+02 | 1.960000e+02 | 15.50%| unknown
661.79/663.97 c 642s| 16700 | 5309 | 5351k| 300.0 | 285M | 153 | 481 | 929 |1017 | 26k| 4 | 606 |1352 | 1.697059e+02 | 1.960000e+02 | 15.49%| unknown
661.79/663.97 c 644s| 16800 | 5325 | 5366k| 299.2 | 285M | 153 | 481 | 929 |1098 | 26k| 1 | 613 |1352 | 1.697059e+02 | 1.960000e+02 | 15.49%| unknown
661.79/663.97 c 645s| 16900 | 5351 | 5384k| 298.5 | 285M | 153 | 481 | 929 | 972 | 26k| 1 | 616 |1352 | 1.697074e+02 | 1.960000e+02 | 15.49%| unknown
661.79/663.97 c 649s| 17000 | 5383 | 5419k| 298.8 | 285M | 153 | 481 | 929 |1095 | 26k| 1 | 619 |1352 | 1.697077e+02 | 1.960000e+02 | 15.49%| unknown
661.79/663.97 c 652s| 17100 | 5429 | 5448k| 298.8 | 285M | 153 | 481 | 929 |1003 | 26k| 1 | 622 |1354 | 1.697120e+02 | 1.960000e+02 | 15.49%| unknown
661.79/663.97 c 656s| 17200 | 5485 | 5485k| 299.1 | 285M | 153 | 481 | 929 |1097 | 27k| 1 | 626 |1357 | 1.697166e+02 | 1.960000e+02 | 15.49%| unknown
661.79/663.97 c 659s| 17300 | 5515 | 5510k| 298.8 | 285M | 153 | 481 | 929 |1097 | 27k| 3 | 635 |1359 | 1.697178e+02 | 1.960000e+02 | 15.49%| unknown
661.79/663.97 c 661s| 17400 | 5541 | 5535k| 298.6 | 285M | 153 | 481 | 929 |1097 | 27k| 0 | 638 |1361 | 1.697188e+02 | 1.960000e+02 | 15.49%| unknown
661.79/663.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
781.47/783.99 c 664s| 17500 | 5577 | 5556k| 298.1 | 285M | 153 | 481 | 929 | 978 | 27k| 1 | 641 |1364 | 1.697224e+02 | 1.960000e+02 | 15.48%| unknown
781.47/783.99 c 666s| 17600 | 5607 | 5579k| 297.8 | 285M | 153 | 481 | 929 |1099 | 27k| 2 | 647 |1365 | 1.697246e+02 | 1.960000e+02 | 15.48%| unknown
781.47/783.99 c 671s| 17700 | 5671 | 5626k| 298.7 | 285M | 153 | 481 | 928 |1099 | 27k| 2 | 652 |1367 | 1.697274e+02 | 1.960000e+02 | 15.48%| unknown
781.47/783.99 c 673s| 17800 | 5699 | 5644k| 298.0 | 285M | 153 | 481 | 928 |1098 | 27k| 0 | 659 |1369 | 1.697293e+02 | 1.960000e+02 | 15.48%| unknown
781.47/783.99 c 676s| 17900 | 5735 | 5673k| 298.0 | 285M | 153 | 481 | 928 |1098 | 28k| 0 | 662 |1370 | 1.697344e+02 | 1.960000e+02 | 15.47%| unknown
781.47/783.99 c 678s| 18000 | 5769 | 5696k| 297.7 | 285M | 153 | 481 | 928 |1098 | 28k| 3 | 667 |1371 | 1.697366e+02 | 1.960000e+02 | 15.47%| unknown
781.47/783.99 c 681s| 18100 | 5807 | 5721k| 297.4 | 285M | 153 | 481 | 928 |1098 | 28k| 1 | 674 |1372 | 1.697420e+02 | 1.960000e+02 | 15.47%| unknown
781.47/783.99 c 682s| 18200 | 5805 | 5729k| 296.3 | 285M | 153 | 481 | 928 |1098 | 28k| 0 | 680 |1372 | 1.697420e+02 | 1.960000e+02 | 15.47%| unknown
781.47/783.99 c 683s| 18300 | 5819 | 5745k| 295.6 | 285M | 153 | 481 | 928 |1097 | 28k| 1 | 683 |1372 | 1.697429e+02 | 1.960000e+02 | 15.47%| unknown
781.47/783.99 c 685s| 18400 | 5831 | 5763k| 295.0 | 285M | 153 | 481 | 928 |1098 | 28k| 2 | 694 |1373 | 1.697445e+02 | 1.960000e+02 | 15.47%| unknown
781.47/783.99 c 686s| 18500 | 5849 | 5782k| 294.4 | 285M | 153 | 481 | 928 |1098 | 28k| 2 | 701 |1373 | 1.697450e+02 | 1.960000e+02 | 15.47%| unknown
781.47/783.99 c 689s| 18600 | 5879 | 5807k| 294.2 | 285M | 153 | 481 | 928 |1098 | 28k| 1 | 708 |1374 | 1.697480e+02 | 1.960000e+02 | 15.47%| unknown
781.47/783.99 c 692s| 18700 | 5907 | 5851k| 295.0 | 285M | 153 | 481 | 928 |1097 | 28k| 2 | 711 |1376 | 1.697486e+02 | 1.960000e+02 | 15.46%| unknown
781.47/783.99 c 694s| 18800 | 5917 | 5869k| 294.4 | 285M | 153 | 481 | 928 |1098 | 28k| 3 | 717 |1376 | 1.697493e+02 | 1.960000e+02 | 15.46%| unknown
781.47/783.99 c 698s| 18900 | 5945 | 5896k| 294.2 | 285M | 153 | 481 | 928 |1099 | 29k| 1 | 721 |1376 | 1.697512e+02 | 1.960000e+02 | 15.46%| unknown
781.47/783.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
781.47/783.99 c 699s| 19000 | 5953 | 5907k| 293.3 | 285M | 153 | 481 | 928 | 979 | 29k| 1 | 724 |1376 | 1.697515e+02 | 1.960000e+02 | 15.46%| unknown
781.47/783.99 c 701s| 19100 | 5985 | 5931k| 293.1 | 285M | 153 | 481 | 928 |1097 | 29k| 1 | 731 |1376 | 1.697526e+02 | 1.960000e+02 | 15.46%| unknown
781.47/783.99 c 702s| 19200 | 5987 | 5940k| 292.1 | 285M | 153 | 481 | 928 |1099 | 29k| 1 | 734 |1376 | 1.697526e+02 | 1.960000e+02 | 15.46%| unknown
781.47/783.99 c 703s| 19300 | 6015 | 5956k| 291.4 | 285M | 153 | 481 | 928 |1097 | 29k| 1 | 741 |1376 | 1.697536e+02 | 1.960000e+02 | 15.46%| unknown
781.47/783.99 c 704s| 19400 | 6039 | 5972k| 290.7 | 285M | 153 | 481 | 928 |1098 | 29k| 0 | 746 |1377 | 1.697540e+02 | 1.960000e+02 | 15.46%| unknown
781.47/783.99 c 707s| 19500 | 6071 | 5996k| 290.5 | 285M | 153 | 481 | 928 |1098 | 29k| 1 | 751 |1385 | 1.697555e+02 | 1.960000e+02 | 15.46%| unknown
781.47/783.99 c 710s| 19600 | 6093 | 6018k| 290.2 | 285M | 153 | 481 | 928 | 980 | 29k| 1 | 756 |1389 | 1.697575e+02 | 1.960000e+02 | 15.46%| unknown
781.47/783.99 c 712s| 19700 | 6111 | 6034k| 289.6 | 285M | 153 | 481 | 928 | 996 | 29k| 1 | 765 |1389 | 1.697585e+02 | 1.960000e+02 | 15.46%| unknown
781.47/783.99 c 714s| 19800 | 6131 | 6057k| 289.3 | 285M | 153 | 481 | 928 |1100 | 29k| 1 | 770 |1391 | 1.697608e+02 | 1.960000e+02 | 15.46%| unknown
781.47/783.99 c 717s| 19900 | 6155 | 6085k| 289.2 | 285M | 153 | 481 | 928 |1099 | 29k| 2 | 780 |1393 | 1.697638e+02 | 1.960000e+02 | 15.45%| unknown
781.47/783.99 c 719s| 20000 | 6173 | 6100k| 288.6 | 285M | 153 | 481 | 928 |1096 | 29k| 2 | 790 |1393 | 1.697639e+02 | 1.960000e+02 | 15.45%| unknown
781.47/783.99 c 721s| 20100 | 6187 | 6118k| 288.1 | 285M | 153 | 481 | 928 |1095 | 30k| 1 | 795 |1394 | 1.697639e+02 | 1.960000e+02 | 15.45%| unknown
781.47/783.99 c 723s| 20200 | 6227 | 6141k| 287.8 | 285M | 153 | 481 | 928 |1096 | 30k| 1 | 799 |1396 | 1.697654e+02 | 1.960000e+02 | 15.45%| unknown
781.47/783.99 c 726s| 20300 | 6277 | 6175k| 288.0 | 285M | 153 | 481 | 928 |1099 | 30k| 3 | 802 |1397 | 1.697677e+02 | 1.960000e+02 | 15.45%| unknown
781.47/783.99 c 728s| 20400 | 6291 | 6193k| 287.5 | 285M | 153 | 481 | 928 |1099 | 30k| 0 | 809 |1397 | 1.697688e+02 | 1.960000e+02 | 15.45%| unknown
781.47/783.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
781.47/783.99 c 729s| 20500 | 6309 | 6205k| 286.8 | 285M | 153 | 481 | 928 | 979 | 30k| 1 | 812 |1397 | 1.697696e+02 | 1.960000e+02 | 15.45%| unknown
781.47/783.99 c 732s| 20600 | 6345 | 6234k| 286.7 | 285M | 153 | 481 | 928 |1000 | 30k| 1 | 812 |1399 | 1.697707e+02 | 1.960000e+02 | 15.45%| unknown
781.47/783.99 c 735s| 20700 | 6375 | 6256k| 286.4 | 285M | 153 | 481 | 928 |1098 | 30k| 1 | 817 |1402 | 1.697713e+02 | 1.960000e+02 | 15.45%| unknown
781.47/783.99 c 737s| 20800 | 6391 | 6275k| 286.0 | 285M | 153 | 481 | 928 |1096 | 30k| 1 | 825 |1402 | 1.697723e+02 | 1.960000e+02 | 15.45%| unknown
781.47/783.99 c 739s| 20900 | 6423 | 6297k| 285.7 | 286M | 153 | 481 | 928 | 982 | 31k| 1 | 830 |1402 | 1.697734e+02 | 1.960000e+02 | 15.45%| unknown
781.47/783.99 c 740s| 21000 | 6429 | 6309k| 285.0 | 286M | 153 | 481 | 928 |1099 | 31k| 1 | 836 |1402 | 1.697734e+02 | 1.960000e+02 | 15.45%| unknown
781.47/783.99 c 741s| 21100 | 6433 | 6317k| 284.0 | 286M | 153 | 481 | 928 |1098 | 31k| 3 | 839 |1402 | 1.697734e+02 | 1.960000e+02 | 15.45%| unknown
781.47/783.99 c 743s| 21200 | 6461 | 6341k| 283.8 | 286M | 153 | 481 | 928 |1099 | 31k| 1 | 842 |1402 | 1.697739e+02 | 1.960000e+02 | 15.45%| unknown
781.47/783.99 c 745s| 21300 | 6475 | 6360k| 283.4 | 286M | 153 | 481 | 928 |1098 | 31k| 1 | 850 |1402 | 1.697744e+02 | 1.960000e+02 | 15.45%| unknown
781.47/783.99 c 749s| 21400 | 6511 | 6390k| 283.5 | 286M | 153 | 481 | 928 |1100 | 31k| 1 | 857 |1407 | 1.697778e+02 | 1.960000e+02 | 15.45%| unknown
781.47/783.99 c 752s| 21500 | 6551 | 6420k| 283.5 | 286M | 153 | 481 | 928 | 977 | 31k| 1 | 862 |1408 | 1.697791e+02 | 1.960000e+02 | 15.44%| unknown
781.47/783.99 c 754s| 21600 | 6583 | 6444k| 283.4 | 286M | 153 | 481 | 928 |1101 | 31k| 1 | 868 |1408 | 1.697796e+02 | 1.960000e+02 | 15.44%| unknown
781.47/783.99 c 757s| 21700 | 6623 | 6470k| 283.3 | 286M | 153 | 481 | 928 |1099 | 31k| 0 | 873 |1408 | 1.697799e+02 | 1.960000e+02 | 15.44%| unknown
781.47/783.99 c 759s| 21800 | 6665 | 6497k| 283.2 | 286M | 153 | 481 | 928 |1097 | 32k| 1 | 881 |1408 | 1.697814e+02 | 1.960000e+02 | 15.44%| unknown
781.47/783.99 c 764s| 21900 | 6715 | 6534k| 283.6 | 286M | 153 | 481 | 928 |1100 | 32k| 1 | 885 |1413 | 1.697838e+02 | 1.960000e+02 | 15.44%| unknown
781.47/783.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
781.47/783.99 c 764s| 22000 | 6721 | 6544k| 282.8 | 286M | 153 | 481 | 928 |1102 | 32k| 2 | 887 |1413 | 1.697838e+02 | 1.960000e+02 | 15.44%| unknown
781.47/783.99 c 766s| 22100 | 6741 | 6565k| 282.5 | 286M | 153 | 481 | 928 |1100 | 32k| 1 | 896 |1417 | 1.697853e+02 | 1.960000e+02 | 15.44%| unknown
781.47/783.99 c 768s| 22200 | 6757 | 6584k| 282.1 | 286M | 153 | 481 | 928 |1100 | 32k| 1 | 910 |1419 | 1.697863e+02 | 1.960000e+02 | 15.44%| unknown
781.47/783.99 c 771s| 22300 | 6789 | 6631k| 282.9 | 286M | 153 | 481 | 928 |1101 | 32k| 2 | 919 |1420 | 1.697872e+02 | 1.960000e+02 | 15.44%| unknown
781.47/783.99 c 776s| 22400 | 6833 | 6668k| 283.2 | 286M | 153 | 481 | 928 |1099 | 32k| 1 | 927 |1423 | 1.697897e+02 | 1.960000e+02 | 15.44%| unknown
781.47/783.99 c 778s| 22500 | 6855 | 6686k| 282.8 | 286M | 153 | 481 | 928 | 972 | 32k| 1 | 931 |1425 | 1.697900e+02 | 1.960000e+02 | 15.44%| unknown
781.47/783.99 c 782s| 22600 | 6903 | 6720k| 283.0 | 290M | 153 | 481 | 928 |1099 | 33k| 1 | 937 |1425 | 1.697951e+02 | 1.960000e+02 | 15.43%| unknown
781.47/783.99 c 782s| 22700 | 6905 | 6729k| 282.2 | 290M | 153 | 481 | 928 |1100 | 33k| 1 | 949 |1425 | 1.697951e+02 | 1.960000e+02 | 15.43%| unknown
893.48/896.23 c 784s| 22800 | 6929 | 6750k| 281.9 | 290M | 153 | 481 | 928 |1101 | 33k| 1 | 958 |1427 | 1.697951e+02 | 1.960000e+02 | 15.43%| unknown
893.48/896.23 c 786s| 22900 | 6947 | 6768k| 281.5 | 290M | 153 | 481 | 928 |1101 | 33k| 1 | 963 |1427 | 1.697953e+02 | 1.960000e+02 | 15.43%| unknown
893.48/896.23 c 789s| 23000 | 6981 | 6798k| 281.6 | 290M | 153 | 481 | 930 |1103 | 33k| 1 | 971 |1430 | 1.697970e+02 | 1.960000e+02 | 15.43%| unknown
893.48/896.23 c 794s| 23100 | 7019 | 6833k| 281.9 | 290M | 153 | 481 | 930 | 983 | 33k| 1 | 979 |1432 | 1.698010e+02 | 1.960000e+02 | 15.43%| unknown
893.48/896.23 c 795s| 23200 | 7019 | 6849k| 281.4 | 290M | 153 | 481 | 930 |1103 | 33k| 1 | 988 |1434 | 1.698010e+02 | 1.960000e+02 | 15.43%| unknown
893.48/896.23 c 796s| 23300 | 7043 | 6871k| 281.1 | 290M | 153 | 481 | 930 |1008 | 33k| 3 | 993 |1434 | 1.698022e+02 | 1.960000e+02 | 15.43%| unknown
893.48/896.23 c 798s| 23400 | 7071 | 6894k| 280.9 | 290M | 153 | 481 | 930 |1106 | 33k| 2 | 997 |1434 | 1.698023e+02 | 1.960000e+02 | 15.43%| unknown
893.48/896.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
893.48/896.23 c 801s| 23500 | 7099 | 6921k| 280.9 | 290M | 153 | 481 | 930 |1105 | 33k| 2 |1001 |1434 | 1.698058e+02 | 1.960000e+02 | 15.43%| unknown
893.48/896.23 c 803s| 23600 | 7115 | 6941k| 280.5 | 290M | 153 | 481 | 930 |1098 | 34k| 2 |1007 |1435 | 1.698084e+02 | 1.960000e+02 | 15.42%| unknown
893.48/896.23 c 806s| 23700 | 7157 | 6967k| 280.4 | 290M | 153 | 481 | 930 |1098 | 34k| 0 |1010 |1436 | 1.698095e+02 | 1.960000e+02 | 15.42%| unknown
893.48/896.23 c 808s| 23800 | 7193 | 6993k| 280.4 | 290M | 153 | 481 | 930 |1098 | 34k| 1 |1020 |1436 | 1.698106e+02 | 1.960000e+02 | 15.42%| unknown
893.48/896.23 c 809s| 23900 | 7205 | 7009k| 279.9 | 290M | 153 | 481 | 930 |1098 | 34k| 1 |1030 |1436 | 1.698114e+02 | 1.960000e+02 | 15.42%| unknown
893.48/896.23 c 811s| 24000 | 7217 | 7027k| 279.5 | 290M | 153 | 481 | 930 |1098 | 34k| 2 |1034 |1436 | 1.698123e+02 | 1.960000e+02 | 15.42%| unknown
893.48/896.23 c 814s| 24100 | 7257 | 7062k| 279.8 | 290M | 153 | 481 | 930 |1098 | 34k| 1 |1042 |1436 | 1.698144e+02 | 1.960000e+02 | 15.42%| unknown
893.48/896.23 c 815s| 24200 | 7253 | 7072k| 279.1 | 290M | 153 | 481 | 930 |1102 | 34k| 3 |1049 |1436 | 1.698144e+02 | 1.960000e+02 | 15.42%| unknown
893.48/896.23 c 817s| 24300 | 7267 | 7091k| 278.7 | 290M | 153 | 481 | 930 |1102 | 34k| 2 |1054 |1439 | 1.698146e+02 | 1.960000e+02 | 15.42%| unknown
893.48/896.23 c 818s| 24400 | 7281 | 7108k| 278.3 | 290M | 153 | 481 | 930 |1102 | 34k| 1 |1059 |1443 | 1.698168e+02 | 1.960000e+02 | 15.42%| unknown
893.48/896.23 c 819s| 24500 | 7295 | 7119k| 277.6 | 290M | 153 | 481 | 930 |1100 | 34k| 4 |1069 |1443 | 1.698168e+02 | 1.960000e+02 | 15.42%| unknown
893.48/896.23 c 821s| 24600 | 7319 | 7138k| 277.3 | 291M | 153 | 481 | 930 |1098 | 34k| 2 |1076 |1445 | 1.698176e+02 | 1.960000e+02 | 15.42%| unknown
893.48/896.23 c 825s| 24700 | 7361 | 7170k| 277.4 | 291M | 153 | 481 | 930 | 971 | 35k| 1 |1080 |1451 | 1.698197e+02 | 1.960000e+02 | 15.42%| unknown
893.48/896.23 c 826s| 24800 | 7379 | 7182k| 276.8 | 291M | 153 | 481 | 930 |1101 | 35k| 1 |1082 |1452 | 1.698197e+02 | 1.960000e+02 | 15.42%| unknown
893.48/896.23 c 826s| 24900 | 7379 | 7189k| 276.0 | 291M | 153 | 481 | 930 |1102 | 35k| 2 |1090 |1452 | 1.698197e+02 | 1.960000e+02 | 15.42%| unknown
893.48/896.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
893.48/896.23 c 828s| 25000 | 7393 | 7204k| 275.6 | 291M | 153 | 481 | 930 |1099 | 35k| 2 |1097 |1455 | 1.698224e+02 | 1.960000e+02 | 15.41%| unknown
893.48/896.23 c 830s| 25100 | 7427 | 7230k| 275.5 | 291M | 153 | 481 | 930 |1101 | 35k| 2 |1103 |1458 | 1.698248e+02 | 1.960000e+02 | 15.41%| unknown
893.48/896.23 c 831s| 25200 | 7419 | 7240k| 274.8 | 291M | 153 | 481 | 930 |1105 | 35k| 2 |1112 |1458 | 1.698248e+02 | 1.960000e+02 | 15.41%| unknown
893.48/896.23 c 832s| 25300 | 7435 | 7258k| 274.5 | 291M | 153 | 481 | 930 |1104 | 35k| 3 |1118 |1458 | 1.698252e+02 | 1.960000e+02 | 15.41%| unknown
893.48/896.23 c 833s| 25400 | 7437 | 7272k| 274.0 | 291M | 153 | 481 | 930 | 996 | 35k| 1 |1132 |1459 | 1.698263e+02 | 1.960000e+02 | 15.41%| unknown
893.48/896.23 c 836s| 25500 | 7475 | 7301k| 274.0 | 291M | 153 | 481 | 930 |1106 | 35k| 2 |1134 |1464 | 1.698280e+02 | 1.960000e+02 | 15.41%| unknown
893.48/896.23 c 838s| 25600 | 7509 | 7321k| 273.7 | 291M | 153 | 481 | 930 |1103 | 35k| 2 |1141 |1464 | 1.698296e+02 | 1.960000e+02 | 15.41%| unknown
893.48/896.23 c 839s| 25700 | 7529 | 7339k| 273.4 | 291M | 153 | 481 | 930 |1095 | 35k| 1 |1150 |1465 | 1.698314e+02 | 1.960000e+02 | 15.41%| unknown
893.48/896.23 c 842s| 25800 | 7567 | 7367k| 273.4 | 291M | 153 | 481 | 930 |1099 | 35k| 1 |1161 |1466 | 1.698335e+02 | 1.960000e+02 | 15.41%| unknown
893.48/896.23 c 845s| 25900 | 7607 | 7394k| 273.4 | 292M | 153 | 481 | 930 |1099 | 35k| 1 |1165 |1469 | 1.698353e+02 | 1.960000e+02 | 15.41%| unknown
893.48/896.23 c 849s| 26000 | 7653 | 7435k| 273.9 | 292M | 153 | 481 | 930 |1100 | 36k| 0 |1168 |1470 | 1.698364e+02 | 1.960000e+02 | 15.41%| unknown
893.48/896.23 c 850s| 26100 | 7653 | 7446k| 273.3 | 292M | 153 | 481 | 930 |1097 | 36k| 1 |1174 |1470 | 1.698364e+02 | 1.960000e+02 | 15.41%| unknown
893.48/896.23 c 853s| 26200 | 7687 | 7486k| 273.8 | 292M | 153 | 481 | 930 |1099 | 36k| 2 |1179 |1470 | 1.698370e+02 | 1.960000e+02 | 15.40%| unknown
893.48/896.23 c 855s| 26300 | 7707 | 7505k| 273.5 | 292M | 153 | 481 | 930 |1099 | 36k| 1 |1187 |1471 | 1.698379e+02 | 1.960000e+02 | 15.40%| unknown
893.48/896.23 c 860s| 26400 | 7759 | 7544k| 273.9 | 292M | 153 | 481 | 930 |1097 | 36k| 2 |1193 |1471 | 1.698403e+02 | 1.960000e+02 | 15.40%| unknown
893.48/896.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
893.48/896.23 c 860s| 26500 | 7761 | 7555k| 273.3 | 292M | 153 | 481 | 930 |1100 | 36k| 2 |1202 |1471 | 1.698403e+02 | 1.960000e+02 | 15.40%| unknown
893.48/896.23 c 861s| 26600 | 7765 | 7565k| 272.7 | 292M | 153 | 481 | 930 |1098 | 36k| 2 |1210 |1471 | 1.698403e+02 | 1.960000e+02 | 15.40%| unknown
893.48/896.23 c 864s| 26700 | 7797 | 7596k| 272.8 | 292M | 153 | 481 | 930 |1100 | 36k| 1 |1214 |1471 | 1.698419e+02 | 1.960000e+02 | 15.40%| unknown
893.48/896.23 c 868s| 26800 | 7837 | 7629k| 273.0 | 292M | 153 | 481 | 930 | 979 | 37k| 1 |1220 |1471 | 1.698452e+02 | 1.960000e+02 | 15.40%| unknown
893.48/896.23 c 871s| 26900 | 7871 | 7660k| 273.1 | 292M | 153 | 481 | 930 | 974 | 37k| 1 |1224 |1471 | 1.698491e+02 | 1.960000e+02 | 15.40%| unknown
893.48/896.23 c 874s| 27000 | 7913 | 7692k| 273.3 | 292M | 153 | 481 | 930 |1100 | 37k| 2 |1225 |1480 | 1.698515e+02 | 1.960000e+02 | 15.39%| unknown
893.48/896.23 c 877s| 27100 | 7923 | 7715k| 273.1 | 292M | 153 | 481 | 930 |1102 | 37k| 1 |1230 |1482 | 1.698531e+02 | 1.960000e+02 | 15.39%| unknown
893.48/896.23 c 879s| 27200 | 7941 | 7734k| 272.8 | 292M | 153 | 481 | 930 |1101 | 37k| 1 |1235 |1484 | 1.698544e+02 | 1.960000e+02 | 15.39%| unknown
893.48/896.23 c 882s| 27300 | 7971 | 7762k| 272.9 | 292M | 153 | 481 | 930 |1097 | 37k| 1 |1241 |1486 | 1.698598e+02 | 1.960000e+02 | 15.39%| unknown
893.48/896.23 c 884s| 27400 | 8007 | 7782k| 272.6 | 292M | 153 | 481 | 930 |1096 | 37k| 3 |1251 |1487 | 1.698607e+02 | 1.960000e+02 | 15.39%| unknown
893.48/896.23 c 885s| 27500 | 8025 | 7797k| 272.2 | 292M | 153 | 481 | 930 |1027 | 37k| 4 |1259 |1488 | 1.698607e+02 | 1.960000e+02 | 15.39%| unknown
893.48/896.23 c 887s| 27600 | 8045 | 7818k| 272.0 | 292M | 153 | 481 | 930 |1001 | 38k| 1 |1269 |1489 | 1.698625e+02 | 1.960000e+02 | 15.39%| unknown
893.48/896.23 c 890s| 27700 | 8085 | 7854k| 272.3 | 292M | 153 | 481 | 930 |1103 | 38k| 1 |1281 |1491 | 1.698656e+02 | 1.960000e+02 | 15.39%| unknown
893.48/896.23 c 892s| 27800 | 8119 | 7883k| 272.3 | 292M | 153 | 481 | 930 |1104 | 38k| 2 |1285 |1491 | 1.698668e+02 | 1.960000e+02 | 15.38%| unknown
893.48/896.23 c 895s| 27900 | 8157 | 7912k| 272.4 | 293M | 153 | 481 | 930 |1105 | 38k| 1 |1292 |1493 | 1.698688e+02 | 1.960000e+02 | 15.38%| unknown
893.48/896.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
997.12/1000.19 c 896s| 28000 | 8163 | 7922k| 271.8 | 293M | 153 | 481 | 930 |1104 | 38k| 1 |1302 |1494 | 1.698688e+02 | 1.960000e+02 | 15.38%| unknown
997.12/1000.19 c 899s| 28100 | 8195 | 7948k| 271.8 | 293M | 153 | 481 | 930 |1105 | 38k| 2 |1306 |1495 | 1.698699e+02 | 1.960000e+02 | 15.38%| unknown
997.12/1000.19 c 901s| 28200 | 8229 | 7975k| 271.8 | 293M | 153 | 481 | 930 |1104 | 38k| 1 |1312 |1496 | 1.698710e+02 | 1.960000e+02 | 15.38%| unknown
997.12/1000.19 c 904s| 28300 | 8259 | 8003k| 271.8 | 293M | 153 | 481 | 930 |1104 | 38k| 2 |1318 |1496 | 1.698724e+02 | 1.960000e+02 | 15.38%| unknown
997.12/1000.19 c 906s| 28400 | 8273 | 8020k| 271.5 | 293M | 153 | 481 | 930 |1104 | 38k| 2 |1323 |1496 | 1.698735e+02 | 1.960000e+02 | 15.38%| unknown
997.12/1000.19 c 906s| 28500 | 8275 | 8031k| 270.9 | 293M | 153 | 481 | 930 |1103 | 38k| 1 |1333 |1497 | 1.698735e+02 | 1.960000e+02 | 15.38%| unknown
997.12/1000.19 c 910s| 28600 | 8309 | 8061k| 271.0 | 293M | 153 | 481 | 930 |1103 | 38k| 2 |1337 |1498 | 1.698740e+02 | 1.960000e+02 | 15.38%| unknown
997.12/1000.19 c 910s| 28700 | 8315 | 8072k| 270.5 | 293M | 153 | 481 | 930 |1101 | 38k| 2 |1352 |1499 | 1.698740e+02 | 1.960000e+02 | 15.38%| unknown
997.12/1000.19 c 913s| 28800 | 8351 | 8100k| 270.5 | 293M | 153 | 481 | 930 |1101 | 39k| 1 |1355 |1499 | 1.698771e+02 | 1.960000e+02 | 15.38%| unknown
997.12/1000.19 c 916s| 28900 | 8393 | 8134k| 270.7 | 293M | 153 | 481 | 930 |1101 | 39k| 3 |1358 |1499 | 1.698790e+02 | 1.960000e+02 | 15.38%| unknown
997.12/1000.19 c 918s| 29000 | 8403 | 8152k| 270.4 | 293M | 153 | 481 | 930 |1102 | 39k| 3 |1366 |1499 | 1.698799e+02 | 1.960000e+02 | 15.38%| unknown
997.12/1000.19 c 920s| 29100 | 8429 | 8171k| 270.2 | 293M | 153 | 481 | 930 |1014 | 39k| 1 |1370 |1499 | 1.698806e+02 | 1.960000e+02 | 15.38%| unknown
997.12/1000.19 c 921s| 29200 | 8431 | 8186k| 269.7 | 293M | 153 | 481 | 930 |1102 | 39k| 3 |1376 |1499 | 1.698806e+02 | 1.960000e+02 | 15.38%| unknown
997.12/1000.19 c 927s| 29300 | 8483 | 8255k| 271.1 | 293M | 153 | 481 | 930 | 988 | 39k| 1 |1378 |1500 | 1.698828e+02 | 1.960000e+02 | 15.37%| unknown
997.12/1000.19 c 928s| 29400 | 8489 | 8269k| 270.7 | 293M | 153 | 481 | 930 |1107 | 39k| 3 |1384 |1500 | 1.698828e+02 | 1.960000e+02 | 15.37%| unknown
997.12/1000.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
997.12/1000.19 c 932s| 29500 | 8529 | 8306k| 271.1 | 293M | 153 | 481 | 930 |1097 | 39k| 1 |1391 |1509 | 1.698848e+02 | 1.960000e+02 | 15.37%| unknown
997.12/1000.19 c 934s| 29600 | 8547 | 8323k| 270.7 | 293M | 153 | 481 | 930 |1099 | 39k| 1 |1396 |1512 | 1.698850e+02 | 1.960000e+02 | 15.37%| unknown
997.12/1000.19 c 936s| 29700 | 8577 | 8348k| 270.6 | 293M | 153 | 481 | 930 |1099 | 39k| 1 |1404 |1516 | 1.698861e+02 | 1.960000e+02 | 15.37%| unknown
997.12/1000.19 c 938s| 29800 | 8595 | 8367k| 270.4 | 293M | 153 | 481 | 930 |1105 | 39k| 2 |1407 |1518 | 1.698877e+02 | 1.960000e+02 | 15.37%| unknown
997.12/1000.19 c 940s| 29900 | 8637 | 8394k| 270.4 | 294M | 153 | 481 | 930 | 963 | 40k| 1 |1413 |1518 | 1.698924e+02 | 1.960000e+02 | 15.37%| unknown
997.12/1000.19 c 945s| 30000 | 8691 | 8436k| 270.9 | 294M | 153 | 481 | 930 |1105 | 40k| 2 |1420 |1520 | 1.698935e+02 | 1.960000e+02 | 15.37%| unknown
997.12/1000.19 c 947s| 30100 | 8711 | 8455k| 270.6 | 294M | 153 | 481 | 929 |1102 | 40k| 1 |1422 |1520 | 1.698947e+02 | 1.960000e+02 | 15.37%| unknown
997.12/1000.19 c 951s| 30200 | 8761 | 8489k| 270.8 | 294M | 153 | 481 | 929 |1096 | 40k| 1 |1424 |1522 | 1.698952e+02 | 1.960000e+02 | 15.37%| unknown
997.12/1000.19 c 951s| 30300 | 8769 | 8499k| 270.3 | 294M | 153 | 481 | 929 |1098 | 40k| 3 |1430 |1522 | 1.698952e+02 | 1.960000e+02 | 15.37%| unknown
997.12/1000.19 c 953s| 30400 | 8783 | 8517k| 270.0 | 294M | 153 | 481 | 929 |1098 | 40k| 1 |1436 |1522 | 1.698953e+02 | 1.960000e+02 | 15.37%| unknown
997.12/1000.19 c 955s| 30500 | 8809 | 8545k| 270.0 | 294M | 153 | 481 | 928 |1106 | 40k| 1 |1440 |1525 | 1.698973e+02 | 1.960000e+02 | 15.36%| unknown
997.12/1000.19 c 957s| 30600 | 8817 | 8563k| 269.7 | 294M | 153 | 481 | 928 |1099 | 40k| 1 |1449 |1526 | 1.698978e+02 | 1.960000e+02 | 15.36%| unknown
997.12/1000.19 c 960s| 30700 | 8849 | 8589k| 269.7 | 294M | 153 | 481 | 928 |1099 | 40k| 2 |1455 |1526 | 1.698982e+02 | 1.960000e+02 | 15.36%| unknown
997.12/1000.19 c 961s| 30800 | 8877 | 8609k| 269.5 | 294M | 153 | 481 | 928 | 993 | 40k| 1 |1460 |1528 | 1.699008e+02 | 1.960000e+02 | 15.36%| unknown
997.12/1000.19 c 963s| 30900 | 8903 | 8634k| 269.4 | 294M | 153 | 481 | 928 |1099 | 40k| 0 |1466 |1528 | 1.699021e+02 | 1.960000e+02 | 15.36%| unknown
997.12/1000.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
997.12/1000.19 c 965s| 31000 | 8917 | 8651k| 269.1 | 294M | 153 | 481 | 928 |1099 | 41k| 3 |1469 |1528 | 1.699022e+02 | 1.960000e+02 | 15.36%| unknown
997.12/1000.19 c 965s| 31100 | 8915 | 8660k| 268.6 | 294M | 153 | 481 | 928 |1099 | 41k| 2 |1475 |1528 | 1.699022e+02 | 1.960000e+02 | 15.36%| unknown
997.12/1000.19 c 967s| 31200 | 8935 | 8682k| 268.4 | 294M | 153 | 481 | 928 |1003 | 41k| 1 |1485 |1529 | 1.699032e+02 | 1.960000e+02 | 15.36%| unknown
997.12/1000.19 c 970s| 31300 | 8991 | 8708k| 268.4 | 295M | 153 | 481 | 928 |1099 | 41k| 2 |1492 |1529 | 1.699043e+02 | 1.960000e+02 | 15.36%| unknown
997.12/1000.19 c 970s| 31400 | 9001 | 8718k| 267.9 | 295M | 153 | 481 | 928 |1102 | 41k| 0 |1496 |1529 | 1.699043e+02 | 1.960000e+02 | 15.36%| unknown
997.12/1000.19 c 972s| 31500 | 9023 | 8735k| 267.6 | 295M | 153 | 481 | 928 |1101 | 41k| 1 |1501 |1529 | 1.699048e+02 | 1.960000e+02 | 15.36%| unknown
997.12/1000.19 c 975s| 31600 | 9059 | 8762k| 267.6 | 295M | 153 | 481 | 928 |1102 | 41k| 1 |1508 |1529 | 1.699056e+02 | 1.960000e+02 | 15.36%| unknown
997.12/1000.19 c 977s| 31700 | 9095 | 8788k| 267.5 | 295M | 153 | 481 | 928 |1101 | 41k| 1 |1510 |1529 | 1.699064e+02 | 1.960000e+02 | 15.36%| unknown
997.12/1000.19 c 979s| 31800 | 9131 | 8815k| 267.5 | 295M | 153 | 481 | 928 |1103 | 41k| 2 |1517 |1529 | 1.699085e+02 | 1.960000e+02 | 15.36%| unknown
997.12/1000.19 c 981s| 31900 | 9149 | 8834k| 267.3 | 295M | 153 | 481 | 928 |1102 | 41k| 2 |1522 |1529 | 1.699086e+02 | 1.960000e+02 | 15.36%| unknown
997.12/1000.19 c 982s| 32000 | 9167 | 8850k| 267.0 | 295M | 153 | 481 | 928 |1100 | 41k| 1 |1525 |1530 | 1.699086e+02 | 1.960000e+02 | 15.36%| unknown
997.12/1000.19 c 984s| 32100 | 9201 | 8877k| 267.0 | 295M | 153 | 481 | 928 |1102 | 41k| 2 |1530 |1530 | 1.699092e+02 | 1.960000e+02 | 15.36%| unknown
997.12/1000.19 c 988s| 32200 | 9249 | 8912k| 267.3 | 295M | 153 | 481 | 928 |1101 | 41k| 2 |1536 |1538 | 1.699120e+02 | 1.960000e+02 | 15.35%| unknown
997.12/1000.19 c 989s| 32300 | 9261 | 8931k| 267.0 | 295M | 153 | 481 | 928 |1097 | 41k| 2 |1547 |1540 | 1.699121e+02 | 1.960000e+02 | 15.35%| unknown
997.12/1000.19 c 991s| 32400 | 9273 | 8950k| 266.8 | 295M | 153 | 481 | 928 |1102 | 41k| 3 |1552 |1542 | 1.699122e+02 | 1.960000e+02 | 15.35%| unknown
997.12/1000.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
997.12/1000.19 c 991s| 32500 | 9275 | 8960k| 266.3 | 295M | 153 | 481 | 928 |1098 | 41k| 0 |1556 |1542 | 1.699122e+02 | 1.960000e+02 | 15.35%| unknown
997.12/1000.19 c 998s| 32600 | 9337 | 9029k| 267.6 | 296M | 153 | 481 | 928 |1100 | 42k| 2 |1560 |1544 | 1.699157e+02 | 1.960000e+02 | 15.35%| unknown
997.12/1000.19 c 999s| 32700 | 9339 | 9038k| 267.0 | 296M | 153 | 481 | 928 |1100 | 42k| 2 |1563 |1545 | 1.699157e+02 | 1.960000e+02 | 15.35%| unknown
997.12/1000.19 c
997.12/1000.19 c SCIP Status : solving was interrupted [time limit reached]
997.12/1000.19 c Solving Time (sec) : 1000.00
997.12/1000.19 c Solving Nodes : 32756 (total of 33805 nodes in 2 runs)
997.12/1000.19 c Primal Bound : +1.96000000000000e+02 (1080 solutions)
997.12/1000.19 c Dual Bound : +1.69915793014863e+02
997.12/1000.19 c Gap : 15.35 %
997.12/1000.19 c All original constraints are satisfied.
997.12/1000.19 c SCIP's best solution is verified feasible for the original problem.
997.12/1000.19 c ----------------------------------------------------------------------
997.12/1000.19 c dual bound: 169.9157930148632 -> 170
997.12/1000.19 c primal bound: 196.0 -> 196
997.12/1000.19 c scip-goal-lb: 170
997.12/1000.19 c scip-goal-ub: 196
997.12/1000.19 c writing output to: HOME/tmpl8gpz5ek.opb
997.12/1000.19 c appending fixed variable constraints
997.12/1000.19 c scip-fixed vars: 0.00% (0/481)
997.12/1000.19 c ----------------------------------------------------------------------
997.12/1000.19 c executing external solver: HOME/naps-1.03a6
997.12/1000.19 c ----------------------------------------------------------------------
997.12/1000.19 c command: HOME/naps-1.03a6 -goal-lb=170 -goal-ub=195 HOME/tmpl8gpz5ek.opb
997.12/1000.19 c NaPS 1.03a6.
997.12/1000.19 c Input file name: HOME/tmpl8gpz5ek.opb
997.21/1000.32 c single stage optimization mode
3600.02/3610.30 c
3600.02/3610.30 c *** TERMINATED *** by signal 15
3600.02/3610.30 c _____________________________________________________________________________
3600.02/3610.30 c std/band forms : 482,0
3600.02/3610.30 c 2cl/3cl ITE-codings : 12945,0
3600.02/3610.30 c BDD/srt/adr Max costs : 409,24337,0
3600.02/3610.30 c BDDraw/bin/mul/srt/adr: 349,0,131,2,0
3600.02/3610.30 c BDD nodes : 21844
3600.02/3610.30 c Es1/CC detections : 0,0
3600.02/3610.30 c CC sort : 1
3600.02/3610.30 c SAT/UNSAT calls : 0,0
3600.02/3610.30 c regenrated variables : 0
3600.02/3610.30 c eliminated fixed lits : 0
3600.02/3610.30 c goal lit flips : 0
3600.02/3610.30 c goal stages : 1
3600.02/3610.30 c goal shrink : 0
3600.02/3610.30 c goal coeff separations: 0
3600.02/3610.30 c restarts : 0
3600.02/3610.30 c conflicts : 0 (0 /sec)
3600.02/3610.30 c decisions : 0 (0 /sec)
3600.02/3610.30 c propagations : 0 (0 /sec)
3600.02/3610.30 c inspects : 0 (0 /sec)
3600.02/3610.30 c CPU time (solving tm) : 2602 s (2602 s, SAT 0 s, UNSAT 0 s)
3600.02/3610.30 c Time for Opt-base : 0.01705 s
3600.02/3610.30 c Steps for Opt-base : 46417
3600.02/3610.30 c Time for BDD coding : 0.0733 s
3600.02/3610.30 c Time for srt coding : 0.00304 s
3600.02/3610.30 c _____________________________________________________________________________
3600.02/3610.30 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.02/3610.30 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.02/3610.30 o 196
3600.02/3610.30 s SATISFIABLE
3600.02/3610.38 c received SIGTERM, forwarding to pbsolver...
3600.02/3610.38 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: 63708 MiB (61918 MiB free)
memory of node 1: 64465 MiB (62943 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489013-1751331287/watcher-4489013-1751331287 -o /tmp/evaluation-result-4489013-1751331287/solver-4489013-1751331287 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751326494-44953 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4489013-1751331287.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
Starting watchdog thread
solver pid=47130, runsolver pid=47127
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.11 4.12 4.10 5/268 47135
/proc/meminfo: memFree=127853064/131249988 swapFree=33010684/33010684
[pid=47130] ppid=47127 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47130/stat : 47130 (scip-naps-1.00.) S 47127 47130 44940 0 -1 4194304 258 332 0 0 0 0 0 0 20 0 1 0 48806292 4292608 736 18446744073709551615 94830610194432 94830611088965 140722101987504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94830611328016 94830611375760 94830623809536 140722101995937 140722101996034 140722101996034 140722102001636 0
/proc/47130/statm: 1048 736 672 219 0 110 0
[pid=47135] ppid=47130 vsize=60060 memory=22016 CPUtime=0.03 cores=5,7
/proc/47135/stat : 47135 (python3) R 47130 47130 44940 0 -1 4194304 2586 0 0 0 3 0 0 0 20 0 1 0 48806296 61501440 5504 18446744073709551615 94035524603904 94035524604281 140725831705328 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94035524615576 94035524616196 94035527901184 140725831706983 140725831707170 140725831707170 140725831712743 0
/proc/47135/statm: 15015 5504 3328 1 0 3731 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 64252 KiB
Current children cumulated memory: 24960 KiB
[startup+0.205597 s]*
/proc/loadavg: 4.11 4.12 4.10 5/268 47135
/proc/meminfo: memFree=127836964/131249988 swapFree=33010684/33010684
[pid=47130] ppid=47127 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47130/stat : 47130 (scip-naps-1.00.) S 47127 47130 44940 0 -1 4194304 258 332 0 0 0 0 0 0 20 0 1 0 48806292 4292608 736 18446744073709551615 94830610194432 94830611088965 140722101987504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94830611328016 94830611375760 94830623809536 140722101995937 140722101996034 140722101996034 140722102001636 0
/proc/47130/statm: 1048 736 672 219 0 110 0
[pid=47135] ppid=47130 vsize=1203364 memory=55400 CPUtime=0.13 cores=5,7
/proc/47135/stat : 47135 (python3) R 47130 47130 44940 0 -1 4194304 6825 0 0 0 12 1 0 0 20 0 1 0 48806296 1232244736 13850 18446744073709551615 94035524603904 94035524604281 140725831705328 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94035524615576 94035524616196 94035527901184 140725831706983 140725831707170 140725831707170 140725831712743 0
/proc/47135/statm: 300841 13850 7930 1 0 272199 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 1207556 KiB
Current children cumulated memory: 58344 KiB
[startup+0.305592 s]*
/proc/loadavg: 4.11 4.12 4.10 5/268 47135
/proc/meminfo: memFree=127836964/131249988 swapFree=33010684/33010684
[pid=47130] ppid=47127 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47130/stat : 47130 (scip-naps-1.00.) S 47127 47130 44940 0 -1 4194304 258 332 0 0 0 0 0 0 20 0 1 0 48806292 4292608 736 18446744073709551615 94830610194432 94830611088965 140722101987504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94830611328016 94830611375760 94830623809536 140722101995937 140722101996034 140722101996034 140722102001636 0
/proc/47130/statm: 1048 736 672 219 0 110 0
[pid=47135] ppid=47130 vsize=1206312 memory=58728 CPUtime=0.23 cores=5,7
/proc/47135/stat : 47135 (python3) R 47130 47130 44940 0 -1 4194304 7538 0 0 0 22 1 0 0 20 0 1 0 48806296 1235263488 14682 18446744073709551615 94035524603904 94035524604281 140725831705328 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94035524615576 94035524616196 94035527901184 140725831706983 140725831707170 140725831707170 140725831712743 0
/proc/47135/statm: 301578 14682 8058 1 0 272936 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 1210504 KiB
Current children cumulated memory: 61672 KiB
[startup+0.70017 s]
/proc/loadavg: 4.11 4.12 4.10 5/268 47135
/proc/meminfo: memFree=127836964/131249988 swapFree=33010684/33010684
[pid=47130] ppid=47127 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47130/stat : 47130 (scip-naps-1.00.) S 47127 47130 44940 0 -1 4194304 258 332 0 0 0 0 0 0 20 0 1 0 48806292 4292608 736 18446744073709551615 94830610194432 94830611088965 140722101987504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94830611328016 94830611375760 94830623809536 140722101995937 140722101996034 140722101996034 140722102001636 0
/proc/47130/statm: 1048 736 672 219 0 110 0
[pid=47135] ppid=47130 vsize=1206648 memory=58984 CPUtime=0.62 cores=5,7
/proc/47135/stat : 47135 (python3) R 47130 47130 44940 0 -1 4194304 7609 0 0 0 61 1 0 0 20 0 1 0 48806296 1235607552 14746 18446744073709551615 94035524603904 94035524604281 140725831705328 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94035524615576 94035524616196 94035527901184 140725831706983 140725831707170 140725831707170 140725831712743 0
/proc/47135/statm: 301662 14746 8058 1 0 273020 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 1210840 KiB
Current children cumulated memory: 61928 KiB
[startup+1.5002 s]
/proc/loadavg: 4.11 4.12 4.10 5/268 47135
/proc/meminfo: memFree=127821516/131249988 swapFree=33010684/33010684
[pid=47130] ppid=47127 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47130/stat : 47130 (scip-naps-1.00.) S 47127 47130 44940 0 -1 4194304 258 332 0 0 0 0 0 0 20 0 1 0 48806292 4292608 736 18446744073709551615 94830610194432 94830611088965 140722101987504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94830611328016 94830611375760 94830623809536 140722101995937 140722101996034 140722101996034 140722102001636 0
/proc/47130/statm: 1048 736 672 219 0 110 0
[pid=47135] ppid=47130 vsize=1272108 memory=124008 CPUtime=1.42 cores=5,7
/proc/47135/stat : 47135 (python3) R 47130 47130 44940 0 -1 4194304 23829 0 0 0 138 4 0 0 20 0 1 0 48806296 1302638592 31002 18446744073709551615 94035524603904 94035524604281 140725831705328 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94035524615576 94035524616196 94035527901184 140725831706983 140725831707170 140725831707170 140725831712743 0
/proc/47135/statm: 318027 31002 8090 1 0 289385 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 1276300 KiB
Current children cumulated memory: 126952 KiB
[startup+3.10536 s]
/proc/loadavg: 4.11 4.12 4.10 5/268 47135
/proc/meminfo: memFree=127717728/131249988 swapFree=33010684/33010684
[pid=47130] ppid=47127 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47130/stat : 47130 (scip-naps-1.00.) S 47127 47130 44940 0 -1 4194304 258 332 0 0 0 0 0 0 20 0 1 0 48806292 4292608 736 18446744073709551615 94830610194432 94830611088965 140722101987504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94830611328016 94830611375760 94830623809536 140722101995937 140722101996034 140722101996034 140722102001636 0
/proc/47130/statm: 1048 736 672 219 0 110 0
[pid=47135] ppid=47130 vsize=1339888 memory=189476 CPUtime=3.01 cores=5,7
/proc/47135/stat : 47135 (python3) R 47130 47130 44940 0 -1 4194304 40555 0 0 0 294 7 0 0 20 0 1 0 48806296 1372045312 47369 18446744073709551615 94035524603904 94035524604281 140725831705328 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94035524615576 94035524616196 94035527901184 140725831706983 140725831707170 140725831707170 140725831712743 0
/proc/47135/statm: 334972 47369 8090 1 0 306330 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 1344080 KiB
Current children cumulated memory: 192420 KiB
[startup+6.30016 s]
/proc/loadavg: 4.10 4.12 4.10 5/268 47135
/proc/meminfo: memFree=127717728/131249988 swapFree=33010684/33010684
[pid=47130] ppid=47127 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47130/stat : 47130 (scip-naps-1.00.) S 47127 47130 44940 0 -1 4194304 258 332 0 0 0 0 0 0 20 0 1 0 48806292 4292608 736 18446744073709551615 94830610194432 94830611088965 140722101987504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94830611328016 94830611375760 94830623809536 140722101995937 140722101996034 140722101996034 140722102001636 0
/proc/47130/statm: 1048 736 672 219 0 110 0
[pid=47135] ppid=47130 vsize=1339888 memory=189476 CPUtime=6.2 cores=5,7
/proc/47135/stat : 47135 (python3) R 47130 47130 44940 0 -1 4194304 40558 0 0 0 613 7 0 0 20 0 1 0 48806296 1372045312 47369 18446744073709551615 94035524603904 94035524604281 140725831705328 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94035524615576 94035524616196 94035527901184 140725831706983 140725831707170 140725831707170 140725831712743 0
/proc/47135/statm: 334972 47369 8090 1 0 306330 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 1344080 KiB
Current children cumulated memory: 192420 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.12 4.10 5/268 47135
/proc/meminfo: memFree=127701504/131249988 swapFree=33010684/33010684
[pid=47130] ppid=47127 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47130/stat : 47130 (scip-naps-1.00.) S 47127 47130 44940 0 -1 4194304 258 332 0 0 0 0 0 0 20 0 1 0 48806292 4292608 736 18446744073709551615 94830610194432 94830611088965 140722101987504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94830611328016 94830611375760 94830623809536 140722101995937 140722101996034 140722101996034 140722102001636 0
/proc/47130/statm: 1048 736 672 219 0 110 0
[pid=47135] ppid=47130 vsize=1345980 memory=195108 CPUtime=12.59 cores=5,7
/proc/47135/stat : 47135 (python3) R 47130 47130 44940 0 -1 4194304 41965 0 0 0 1251 8 0 0 20 0 1 0 48806296 1378283520 48777 18446744073709551615 94035524603904 94035524604281 140725831705328 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94035524615576 94035524616196 94035527901184 140725831706983 140725831707170 140725831707170 140725831712743 0
/proc/47135/statm: 336495 48777 8090 1 0 307853 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 1350172 KiB
Current children cumulated memory: 198052 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.11 4.09 5/268 47135
/proc/meminfo: memFree=127646228/131249988 swapFree=33010684/33010684
[pid=47130] ppid=47127 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47130/stat : 47130 (scip-naps-1.00.) S 47127 47130 44940 0 -1 4194304 258 332 0 0 0 0 0 0 20 0 1 0 48806292 4292608 736 18446744073709551615 94830610194432 94830611088965 140722101987504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94830611328016 94830611375760 94830623809536 140722101995937 140722101996034 140722101996034 140722102001636 0
/proc/47130/statm: 1048 736 672 219 0 110 0
[pid=47135] ppid=47130 vsize=1404156 memory=252196 CPUtime=25.36 cores=5,7
/proc/47135/stat : 47135 (python3) R 47130 47130 44940 0 -1 4194304 56248 0 0 0 2526 10 0 0 20 0 1 0 48806296 1437855744 63049 18446744073709551615 94035524603904 94035524604281 140725831705328 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94035524615576 94035524616196 94035527901184 140725831706983 140725831707170 140725831707170 140725831712743 0
/proc/47135/statm: 351039 63049 8090 1 0 322397 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 1408348 KiB
Current children cumulated memory: 255140 KiB
[startup+51.1054 s]
/proc/loadavg: 4.10 4.12 4.10 5/268 47136
/proc/meminfo: memFree=127614224/131249988 swapFree=33010684/33010684
[pid=47130] ppid=47127 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47130/stat : 47130 (scip-naps-1.00.) S 47127 47130 44940 0 -1 4194304 258 332 0 0 0 0 0 0 20 0 1 0 48806292 4292608 736 18446744073709551615 94830610194432 94830611088965 140722101987504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94830611328016 94830611375760 94830623809536 140722101995937 140722101996034 140722101996034 140722102001636 0
/proc/47130/statm: 1048 736 672 219 0 110 0
[pid=47135] ppid=47130 vsize=1404156 memory=252196 CPUtime=50.9 cores=5,7
/proc/47135/stat : 47135 (python3) R 47130 47130 44940 0 -1 4194304 56249 0 0 0 5080 10 0 0 20 0 1 0 48806296 1437855744 63049 18446744073709551615 94035524603904 94035524604281 140725831705328 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94035524615576 94035524616196 94035527901184 140725831706983 140725831707170 140725831707170 140725831712743 0
/proc/47135/statm: 351039 63049 8090 1 0 322397 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1408348 KiB
Current children cumulated memory: 255140 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/268 47138
/proc/meminfo: memFree=127582496/131249988 swapFree=33010684/33010684
[pid=47130] ppid=47127 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47130/stat : 47130 (scip-naps-1.00.) S 47127 47130 44940 0 -1 4194304 258 332 0 0 0 0 0 0 20 0 1 0 48806292 4292608 736 18446744073709551615 94830610194432 94830611088965 140722101987504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94830611328016 94830611375760 94830623809536 140722101995937 140722101996034 140722101996034 140722102001636 0
/proc/47130/statm: 1048 736 672 219 0 110 0
[pid=47135] ppid=47130 vsize=1411316 memory=259364 CPUtime=101.96 cores=5,7
/proc/47135/stat : 47135 (python3) R 47130 47130 44940 0 -1 4194304 58046 0 0 0 10186 10 0 0 20 0 1 0 48806296 1445187584 64841 18446744073709551615 94035524603904 94035524604281 140725831705328 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94035524615576 94035524616196 94035527901184 140725831706983 140725831707170 140725831707170 140725831712743 0
/proc/47135/statm: 352829 64841 8090 1 0 324187 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1415508 KiB
Current children cumulated memory: 262308 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/269 47142
/proc/meminfo: memFree=127454280/131249988 swapFree=33010684/33010684
[pid=47130] ppid=47127 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47130/stat : 47130 (scip-naps-1.00.) S 47127 47130 44940 0 -1 4194304 258 332 0 0 0 0 0 0 20 0 1 0 48806292 4292608 736 18446744073709551615 94830610194432 94830611088965 140722101987504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94830611328016 94830611375760 94830623809536 140722101995937 140722101996034 140722101996034 140722102001636 0
/proc/47130/statm: 1048 736 672 219 0 110 0
[pid=47135] ppid=47130 vsize=1430876 memory=280888 CPUtime=161.78 cores=5,7
/proc/47135/stat : 47135 (python3) R 47130 47130 44940 0 -1 4194304 63880 0 0 0 16167 11 0 0 20 0 1 0 48806296 1465217024 70222 18446744073709551615 94035524603904 94035524604281 140725831705328 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94035524615576 94035524616196 94035527901184 140725831706983 140725831707170 140725831707170 140725831712743 0
/proc/47135/statm: 357719 70222 8090 1 0 329077 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1435068 KiB
Current children cumulated memory: 283832 KiB
[startup+222.3 s]
/proc/loadavg: 4.45 4.19 4.12 5/269 47143
/proc/meminfo: memFree=127421340/131249988 swapFree=33010684/33010684
[pid=47130] ppid=47127 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47130/stat : 47130 (scip-naps-1.00.) S 47127 47130 44940 0 -1 4194304 258 332 0 0 0 0 0 0 20 0 1 0 48806292 4292608 736 18446744073709551615 94830610194432 94830611088965 140722101987504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94830611328016 94830611375760 94830623809536 140722101995937 140722101996034 140722101996034 140722102001636 0
/proc/47130/statm: 1048 736 672 219 0 110 0
[pid=47135] ppid=47130 vsize=1477360 memory=326456 CPUtime=221.57 cores=5,7
/proc/47135/stat : 47135 (python3) R 47130 47130 44940 0 -1 4194304 75263 0 0 0 22144 13 0 0 20 0 1 0 48806296 1512816640 81614 18446744073709551615 94035524603904 94035524604281 140725831705328 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94035524615576 94035524616196 94035527901184 140725831706983 140725831707170 140725831707170 140725831712743 0
/proc/47135/statm: 369340 81614 8090 1 0 340698 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 1481552 KiB
################
# More data... #
################
[pid=47198] ppid=47135 vsize=155772 memory=154384 CPUtime=2215.95 cores=5,7
/proc/47198/stat : 47198 (naps-1.03a6) R 47135 47198 47198 0 -1 4194304 53443 0 0 0 221566 29 0 0 20 0 1 0 48906312 159510528 38596 18446744073709551615 4198400 7047149 140734617265424 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 22454272 140734617274743 140734617274867 140734617274867 140734617280457 0
/proc/47198/statm: 38943 38596 640 696 0 38104 0
Current children cumulated CPU time: 3213.16 s
Current children cumulated vsize: 1656328 KiB
Current children cumulated memory: 508488 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/270 47454
/proc/meminfo: memFree=128040048/131249988 swapFree=33010684/33010684
[pid=47130] ppid=47127 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47130/stat : 47130 (scip-naps-1.00.) S 47127 47130 44940 0 -1 4194304 258 332 0 0 0 0 0 0 20 0 1 0 48806292 4292608 736 18446744073709551615 94830610194432 94830611088965 140722101987504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94830611328016 94830611375760 94830623809536 140722101995937 140722101996034 140722101996034 140722102001636 0
/proc/47130/statm: 1048 736 672 219 0 110 0
[pid=47135] ppid=47130 vsize=1496364 memory=351160 CPUtime=997.21 cores=5,7
/proc/47135/stat : 47135 (python3) S 47130 47130 44940 0 -1 4194304 81400 0 0 0 99706 15 0 0 20 0 1 0 48806296 1532276736 87790 18446744073709551615 94035524603904 94035524604281 140725831705328 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94035524615576 94035524616196 94035527901184 140725831706983 140725831707170 140725831707170 140725831712743 0
/proc/47135/statm: 374091 87790 8154 1 0 345449 0
[pid=47198] ppid=47135 vsize=108960 memory=107416 CPUtime=2275.79 cores=5,7
/proc/47198/stat : 47198 (naps-1.03a6) R 47135 47198 47198 0 -1 4194304 53635 0 0 0 227550 29 0 0 20 0 1 0 48906312 111575040 26854 18446744073709551615 4198400 7047149 140734617265424 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 22454272 140734617274743 140734617274867 140734617274867 140734617280457 0
/proc/47198/statm: 27240 26854 640 696 0 26401 0
Current children cumulated CPU time: 3273 s
Current children cumulated vsize: 1609516 KiB
Current children cumulated memory: 461520 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/267 47456
/proc/meminfo: memFree=128021800/131249988 swapFree=33010684/33010684
[pid=47130] ppid=47127 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47130/stat : 47130 (scip-naps-1.00.) S 47127 47130 44940 0 -1 4194304 258 332 0 0 0 0 0 0 20 0 1 0 48806292 4292608 736 18446744073709551615 94830610194432 94830611088965 140722101987504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94830611328016 94830611375760 94830623809536 140722101995937 140722101996034 140722101996034 140722102001636 0
/proc/47130/statm: 1048 736 672 219 0 110 0
[pid=47135] ppid=47130 vsize=1496364 memory=351160 CPUtime=997.21 cores=5,7
/proc/47135/stat : 47135 (python3) S 47130 47130 44940 0 -1 4194304 81400 0 0 0 99706 15 0 0 20 0 1 0 48806296 1532276736 87790 18446744073709551615 94035524603904 94035524604281 140725831705328 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94035524615576 94035524616196 94035527901184 140725831706983 140725831707170 140725831707170 140725831712743 0
/proc/47135/statm: 374091 87790 8154 1 0 345449 0
[pid=47198] ppid=47135 vsize=128052 memory=126616 CPUtime=2335.64 cores=5,7
/proc/47198/stat : 47198 (naps-1.03a6) R 47135 47198 47198 0 -1 4194304 54320 0 0 0 233534 30 0 0 20 0 1 0 48906312 131125248 31654 18446744073709551615 4198400 7047149 140734617265424 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 22454272 140734617274743 140734617274867 140734617274867 140734617280457 0
/proc/47198/statm: 32013 31654 640 696 0 31174 0
Current children cumulated CPU time: 3332.85 s
Current children cumulated vsize: 1628608 KiB
Current children cumulated memory: 480720 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/268 47462
/proc/meminfo: memFree=127939156/131249988 swapFree=33010684/33010684
[pid=47130] ppid=47127 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47130/stat : 47130 (scip-naps-1.00.) S 47127 47130 44940 0 -1 4194304 258 332 0 0 0 0 0 0 20 0 1 0 48806292 4292608 736 18446744073709551615 94830610194432 94830611088965 140722101987504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94830611328016 94830611375760 94830623809536 140722101995937 140722101996034 140722101996034 140722102001636 0
/proc/47130/statm: 1048 736 672 219 0 110 0
[pid=47135] ppid=47130 vsize=1496364 memory=351160 CPUtime=997.21 cores=5,7
/proc/47135/stat : 47135 (python3) S 47130 47130 44940 0 -1 4194304 81400 0 0 0 99706 15 0 0 20 0 1 0 48806296 1532276736 87790 18446744073709551615 94035524603904 94035524604281 140725831705328 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94035524615576 94035524616196 94035527901184 140725831706983 140725831707170 140725831707170 140725831712743 0
/proc/47135/statm: 374091 87790 8154 1 0 345449 0
[pid=47198] ppid=47135 vsize=187036 memory=185600 CPUtime=2395.49 cores=5,7
/proc/47198/stat : 47198 (naps-1.03a6) R 47135 47198 47198 0 -1 4194304 55983 0 0 0 239517 32 0 0 20 0 1 0 48906312 191524864 46400 18446744073709551615 4198400 7047149 140734617265424 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 22454272 140734617274743 140734617274867 140734617274867 140734617280457 0
/proc/47198/statm: 46759 46400 640 696 0 45920 0
Current children cumulated CPU time: 3392.7 s
Current children cumulated vsize: 1687592 KiB
Current children cumulated memory: 539704 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/269 47465
/proc/meminfo: memFree=127884168/131249988 swapFree=33010684/33010684
[pid=47130] ppid=47127 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47130/stat : 47130 (scip-naps-1.00.) S 47127 47130 44940 0 -1 4194304 258 332 0 0 0 0 0 0 20 0 1 0 48806292 4292608 736 18446744073709551615 94830610194432 94830611088965 140722101987504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94830611328016 94830611375760 94830623809536 140722101995937 140722101996034 140722101996034 140722102001636 0
/proc/47130/statm: 1048 736 672 219 0 110 0
[pid=47135] ppid=47130 vsize=1496364 memory=351160 CPUtime=997.21 cores=5,7
/proc/47135/stat : 47135 (python3) S 47130 47130 44940 0 -1 4194304 81400 0 0 0 99706 15 0 0 20 0 1 0 48806296 1532276736 87790 18446744073709551615 94035524603904 94035524604281 140725831705328 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94035524615576 94035524616196 94035527901184 140725831706983 140725831707170 140725831707170 140725831712743 0
/proc/47135/statm: 374091 87790 8154 1 0 345449 0
[pid=47198] ppid=47135 vsize=188868 memory=187432 CPUtime=2455.31 cores=5,7
/proc/47198/stat : 47198 (naps-1.03a6) R 47135 47198 47198 0 -1 4194304 59648 0 0 0 245494 37 0 0 20 0 1 0 48906312 193400832 46858 18446744073709551615 4198400 7047149 140734617265424 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 22454272 140734617274743 140734617274867 140734617274867 140734617280457 0
/proc/47198/statm: 47217 46858 640 696 0 46378 0
Current children cumulated CPU time: 3452.52 s
Current children cumulated vsize: 1689424 KiB
Current children cumulated memory: 541536 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/269 47471
/proc/meminfo: memFree=127886240/131249988 swapFree=33010684/33010684
[pid=47130] ppid=47127 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47130/stat : 47130 (scip-naps-1.00.) S 47127 47130 44940 0 -1 4194304 258 332 0 0 0 0 0 0 20 0 1 0 48806292 4292608 736 18446744073709551615 94830610194432 94830611088965 140722101987504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94830611328016 94830611375760 94830623809536 140722101995937 140722101996034 140722101996034 140722102001636 0
/proc/47130/statm: 1048 736 672 219 0 110 0
[pid=47135] ppid=47130 vsize=1496364 memory=351160 CPUtime=997.21 cores=5,7
/proc/47135/stat : 47135 (python3) S 47130 47130 44940 0 -1 4194304 81400 0 0 0 99706 15 0 0 20 0 1 0 48806296 1532276736 87790 18446744073709551615 94035524603904 94035524604281 140725831705328 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94035524615576 94035524616196 94035527901184 140725831706983 140725831707170 140725831707170 140725831712743 0
/proc/47135/statm: 374091 87790 8154 1 0 345449 0
[pid=47198] ppid=47135 vsize=187600 memory=186164 CPUtime=2515.11 cores=5,7
/proc/47198/stat : 47198 (naps-1.03a6) R 47135 47198 47198 0 -1 4194304 61823 0 0 0 251470 41 0 0 20 0 1 0 48906312 192102400 46541 18446744073709551615 4198400 7047149 140734617265424 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 22454272 140734617274743 140734617274867 140734617274867 140734617280457 0
/proc/47198/statm: 46900 46541 640 696 0 46061 0
Current children cumulated CPU time: 3512.32 s
Current children cumulated vsize: 1688156 KiB
Current children cumulated memory: 540268 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/270 47474
/proc/meminfo: memFree=127848756/131249988 swapFree=33010684/33010684
[pid=47130] ppid=47127 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47130/stat : 47130 (scip-naps-1.00.) S 47127 47130 44940 0 -1 4194304 258 332 0 0 0 0 0 0 20 0 1 0 48806292 4292608 736 18446744073709551615 94830610194432 94830611088965 140722101987504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94830611328016 94830611375760 94830623809536 140722101995937 140722101996034 140722101996034 140722102001636 0
/proc/47130/statm: 1048 736 672 219 0 110 0
[pid=47135] ppid=47130 vsize=1496364 memory=351160 CPUtime=997.21 cores=5,7
/proc/47135/stat : 47135 (python3) S 47130 47130 44940 0 -1 4194304 81400 0 0 0 99706 15 0 0 20 0 1 0 48806296 1532276736 87790 18446744073709551615 94035524603904 94035524604281 140725831705328 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94035524615576 94035524616196 94035527901184 140725831706983 140725831707170 140725831707170 140725831712743 0
/proc/47135/statm: 374091 87790 8154 1 0 345449 0
[pid=47198] ppid=47135 vsize=196544 memory=195108 CPUtime=2574.91 cores=5,7
/proc/47198/stat : 47198 (naps-1.03a6) R 47135 47198 47198 0 -1 4194304 65209 0 0 0 257444 47 0 0 20 0 1 0 48906312 201261056 48777 18446744073709551615 4198400 7047149 140734617265424 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 22454272 140734617274743 140734617274867 140734617274867 140734617280457 0
/proc/47198/statm: 49136 48777 640 696 0 48297 0
Current children cumulated CPU time: 3572.12 s
Current children cumulated vsize: 1697100 KiB
Current children cumulated memory: 549212 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/270 47476
/proc/meminfo: memFree=127855456/131249988 swapFree=33010684/33010684
[pid=47130] ppid=47127 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47130/stat : 47130 (scip-naps-1.00.) S 47127 47130 44940 0 -1 4194304 258 332 0 0 0 0 0 0 20 0 1 0 48806292 4292608 736 18446744073709551615 94830610194432 94830611088965 140722101987504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94830611328016 94830611375760 94830623809536 140722101995937 140722101996034 140722101996034 140722102001636 0
/proc/47130/statm: 1048 736 672 219 0 110 0
[pid=47135] ppid=47130 vsize=1496364 memory=351160 CPUtime=997.21 cores=5,7
/proc/47135/stat : 47135 (python3) S 47130 47130 44940 0 -1 4194304 81400 0 0 0 99706 15 0 0 20 0 1 0 48806296 1532276736 87790 18446744073709551615 94035524603904 94035524604281 140725831705328 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94035524615576 94035524616196 94035527901184 140725831706983 140725831707170 140725831707170 140725831712743 0
/proc/47135/statm: 374091 87790 8154 1 0 345449 0
[pid=47198] ppid=47135 vsize=191652 memory=190216 CPUtime=2602.81 cores=5,7
/proc/47198/stat : 47198 (naps-1.03a6) R 47135 47198 47198 0 -1 4194304 66491 0 0 0 260232 49 0 0 20 0 1 0 48906312 196251648 47554 18446744073709551615 4198400 7047149 140734617265424 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 22454272 140734617274743 140734617274867 140734617274867 140734617280457 0
/proc/47198/statm: 47913 47554 640 696 0 47074 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1692208 KiB
Current children cumulated memory: 544320 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.32 s]
# the end of solver process 47130 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001919 s, system=0.004169 s
[startup+3610.4 s]
# the end of solver process 47135 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.49 s, system=0.655093 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+3610.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/270 47476
/proc/meminfo: memFree=127855456/131249988 swapFree=33010684/33010684
[pid=47130] ppid=47127 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47130/stat : 47130 (scip-naps-1.00.) S 47127 47130 44940 0 -1 4194304 258 332 0 0 0 0 0 0 20 0 1 0 48806292 4292608 736 18446744073709551615 94830610194432 94830611088965 140722101987504 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94830611328016 94830611375760 94830623809536 140722101995937 140722101996034 140722101996034 140722102001636 0
/proc/47130/statm: 1048 736 672 219 0 110 0
[pid=47135] ppid=47130 vsize=1496364 memory=351160 CPUtime=997.21 cores=5,7
/proc/47135/stat : 47135 (python3) S 47130 47130 44940 0 -1 4194304 81400 0 0 0 99706 15 0 0 20 0 1 0 48806296 1532276736 87790 18446744073709551615 94035524603904 94035524604281 140725831705328 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94035524615576 94035524616196 94035527901184 140725831706983 140725831707170 140725831707170 140725831712743 0
/proc/47135/statm: 374091 87790 8154 1 0 345449 0
[pid=47198] ppid=47135 vsize=191652 memory=190216 CPUtime=2602.81 cores=5,7
/proc/47198/stat : 47198 (naps-1.03a6) R 47135 47198 47198 0 -1 4194304 66491 0 0 0 260232 49 0 0 20 0 1 0 48906312 196251648 47554 18446744073709551615 4198400 7047149 140734617265424 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 22454272 140734617274743 140734617274867 140734617274867 140734617280457 0
/proc/47198/statm: 47913 47554 640 696 0 47074 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1692208 KiB
Current children cumulated memory: 544320 KiB
Child status: 0
Real time (s): 3610.4
CPU time (s): 3600.14
CPU user time (s): 3599.49
CPU system time (s): 0.655093
CPU usage (%): 99.7158
Max. virtual memory (cumulated for all children) (KiB): 1748780
Max. memory (cumulated for all children) (KiB): 600796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.49
system time used= 0.655093
maximum resident set size= 351160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151631
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= 410
involuntary context switches= 1604
# summary of solver processes directly reported to runsolver:
# pid: 47130,47135
# total CPU time (s): 3600.14
# total CPU user time (s): 3599.49
# total CPU system time (s): 0.655093
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0129 second user time and 14.0143 second system time
The end