0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4432636-1721078617.opb>
0.00/0.00 c original problem has 479 variables (479 bin, 0 int, 0 impl, 0 cont) and 479 constraints
0.00/0.00 c problem read in 0.00
0.00/0.00 o 479
0.00/0.00 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 4.790000e+02
0.00/0.00 c presolving:
0.00/0.01 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 11 chg sides, 64 chg coeffs, 0 upgd conss, 0 impls, 138 clqs
0.00/0.01 c (0.0s) running MILP presolver
0.00/0.01 c (0.0s) MILP presolver found nothing
0.00/0.01 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 11 chg sides, 64 chg coeffs, 479 upgd conss, 0 impls, 138 clqs
0.00/0.01 c (round 3, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 130 chg sides, 391 chg coeffs, 479 upgd conss, 0 impls, 138 clqs
0.00/0.01 c (round 4, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 131 chg sides, 395 chg coeffs, 479 upgd conss, 0 impls, 138 clqs
0.00/0.02 c (round 5, medium) 0 del vars, 153 del conss, 274 add conss, 0 chg bounds, 375 chg sides, 855 chg coeffs, 479 upgd conss, 0 impls, 138 clqs
0.00/0.02 c (round 6, fast) 0 del vars, 195 del conss, 293 add conss, 0 chg bounds, 462 chg sides, 1345 chg coeffs, 479 upgd conss, 0 impls, 138 clqs
0.00/0.02 c (round 7, exhaustive) 0 del vars, 195 del conss, 293 add conss, 0 chg bounds, 462 chg sides, 1355 chg coeffs, 479 upgd conss, 0 impls, 138 clqs
0.00/0.02 c (round 8, fast) 0 del vars, 195 del conss, 293 add conss, 0 chg bounds, 463 chg sides, 1361 chg coeffs, 479 upgd conss, 0 impls, 138 clqs
0.00/0.02 c (0.0s) probing: 51/479 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.02 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.03 c (0.0s) no symmetry present (symcode time: 0.00)
0.00/0.03 c presolving (9 rounds: 9 fast, 4 medium, 3 exhaustive):
0.00/0.03 c 0 deleted vars, 195 deleted constraints, 293 added constraints, 0 tightened bounds, 0 added holes, 463 changed sides, 1361 changed coefficients
0.00/0.03 c 0 implications, 138 cliques
0.00/0.03 c presolved problem has 479 variables (479 bin, 0 int, 0 impl, 0 cont) and 577 constraints
0.00/0.03 c 418 constraints of type <knapsack>
0.00/0.03 c 138 constraints of type <setppc>
0.00/0.03 c 21 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 10.0.0
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.03 c limits/time = 3596.997049
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.03 c limits/memory = 27900
0.00/0.03 c
0.00/0.03 c # belongs reading time to solving time?
0.00/0.03 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c timing/reading = TRUE
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c transformed 1/1 original solutions to the transformed problem space
0.00/0.03 c
0.00/0.03 o 228
0.00/0.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.03 c p 0.0s| 1 | 0 | 0 | - | locks| 0 | 479 | 577 | 577 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.280000e+02 | Inf | unknown
0.00/0.03 o 214
0.00/0.03 c i 0.0s| 1 | 0 | 0 | - | oneopt| 0 | 479 | 577 | 577 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.140000e+02 | Inf | unknown
0.10/0.15 c 0.1s| 1 | 0 | 1920 | - | 7595k | 0 | 479 | 577 | 577 | 0 | 0 | 0 | 0 | 1.561797e+02 | 2.140000e+02 | 37.02%| unknown
0.21/0.30 c 0.3s| 1 | 0 | 2549 | - | 26M | 0 | 479 | 577 | 640 | 63 | 1 | 0 | 0 | 1.596207e+02 | 2.140000e+02 | 34.07%| unknown
0.41/0.45 c 0.5s| 1 | 0 | 3290 | - | 40M | 0 | 479 | 577 | 698 | 121 | 2 | 0 | 0 | 1.618284e+02 | 2.140000e+02 | 32.24%| unknown
0.60/0.62 c 0.6s| 1 | 0 | 4013 | - | 53M | 0 | 479 | 577 | 755 | 178 | 3 | 0 | 0 | 1.636560e+02 | 2.140000e+02 | 30.76%| unknown
0.69/0.76 c 0.8s| 1 | 0 | 4552 | - | 65M | 0 | 479 | 577 | 815 | 238 | 4 | 0 | 0 | 1.648556e+02 | 2.140000e+02 | 29.81%| unknown
0.79/0.89 c 0.9s| 1 | 0 | 5004 | - | 77M | 0 | 479 | 577 | 862 | 285 | 5 | 0 | 0 | 1.657388e+02 | 2.140000e+02 | 29.12%| unknown
1.00/1.02 c 1.0s| 1 | 0 | 5420 | - | 91M | 0 | 479 | 577 | 912 | 335 | 6 | 0 | 0 | 1.664428e+02 | 2.140000e+02 | 28.57%| unknown
1.10/1.15 c 1.1s| 1 | 0 | 5763 | - | 105M | 0 | 479 | 577 | 949 | 372 | 7 | 0 | 0 | 1.668049e+02 | 2.140000e+02 | 28.29%| unknown
1.19/1.27 c 1.3s| 1 | 0 | 6106 | - | 109M | 0 | 479 | 577 | 984 | 407 | 8 | 0 | 0 | 1.670736e+02 | 2.140000e+02 | 28.09%| unknown
1.38/1.41 c 1.4s| 1 | 0 | 6452 | - | 125M | 0 | 479 | 577 |1014 | 437 | 9 | 0 | 0 | 1.672858e+02 | 2.140000e+02 | 27.92%| unknown
1.48/1.55 c 1.6s| 1 | 0 | 6785 | - | 142M | 0 | 479 | 577 |1043 | 466 | 10 | 0 | 0 | 1.674938e+02 | 2.140000e+02 | 27.77%| unknown
1.58/1.63 c 1.6s| 1 | 0 | 7118 | - | 142M | 0 | 479 | 577 |1075 | 500 | 11 | 0 | 0 | 1.676241e+02 | 2.140000e+02 | 27.67%| unknown
1.68/1.70 c 1.7s| 1 | 0 | 7507 | - | 142M | 0 | 479 | 577 |1106 | 531 | 12 | 0 | 0 | 1.678282e+02 | 2.140000e+02 | 27.51%| unknown
1.68/1.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.68/1.75 c 1.8s| 1 | 0 | 7652 | - | 142M | 0 | 479 | 577 |1130 | 555 | 13 | 0 | 0 | 1.678791e+02 | 2.140000e+02 | 27.47%| unknown
1.78/1.81 c 1.8s| 1 | 0 | 7887 | - | 142M | 0 | 479 | 577 |1152 | 577 | 14 | 0 | 0 | 1.679785e+02 | 2.140000e+02 | 27.40%| unknown
1.78/1.86 c 1.9s| 1 | 0 | 7975 | - | 142M | 0 | 479 | 577 |1166 | 591 | 15 | 0 | 0 | 1.680003e+02 | 2.140000e+02 | 27.38%| unknown
1.88/1.90 c 1.9s| 1 | 0 | 7994 | - | 142M | 0 | 479 | 577 |1170 | 595 | 16 | 0 | 0 | 1.680021e+02 | 2.140000e+02 | 27.38%| unknown
1.88/1.94 c 1.9s| 1 | 0 | 8032 | - | 142M | 0 | 479 | 577 |1095 | 600 | 17 | 0 | 0 | 1.680034e+02 | 2.140000e+02 | 27.38%| unknown
1.88/1.98 c 2.0s| 1 | 0 | 8082 | - | 143M | 0 | 479 | 577 |1097 | 602 | 18 | 0 | 0 | 1.680102e+02 | 2.140000e+02 | 27.37%| unknown
2.00/2.02 c 2.0s| 1 | 0 | 8088 | - | 143M | 0 | 479 | 577 |1100 | 605 | 19 | 0 | 0 | 1.680102e+02 | 2.140000e+02 | 27.37%| unknown
3.68/3.72 c 3.7s| 1 | 2 | 8088 | - | 144M | 0 | 479 | 577 |1100 | 605 | 20 | 0 | 29 | 1.682693e+02 | 2.140000e+02 | 27.18%| unknown
15.56/15.63 o 213
15.56/15.63 c d15.6s| 23 | 24 | 22605 | 659.9 |pscostdi| 22 | 479 | 577 |1094 | 0 | 1 | 0 | 251 | 1.682693e+02 | 2.130000e+02 | 26.58%| unknown
15.56/15.63 o 211
15.56/15.63 c d15.6s| 23 | 24 | 22610 | 660.1 |pscostdi| 22 | 479 | 577 |1094 | 0 | 1 | 0 | 251 | 1.682693e+02 | 2.110000e+02 | 25.39%| unknown
15.56/15.64 o 210
15.56/15.64 c i15.6s| 24 | 23 | 22619 | 631.8 | oneopt| 22 | 479 | 577 |1033 | 838 | 0 | 0 | 251 | 1.682693e+02 | 2.100000e+02 | 24.80%| unknown
22.54/22.62 c 22.6s| 100 | 101 | 76179 | 687.8 | 209M | 32 | 479 | 577 |1096 |1589 | 8 | 2 | 278 | 1.682693e+02 | 2.100000e+02 | 24.80%| unknown
23.94/24.04 o 209
23.94/24.04 c o24.0s| 104 | 105 |100893 | 901.0 |objpscos| 32 | 479 | 577 |1044 |1589 | 1 | 2 | 278 | 1.682693e+02 | 2.090000e+02 | 24.21%| unknown
23.94/24.04 c o24.0s| 104 | 105 |100943 | 901.5 |objpscos| 32 | 479 | 577 |1044 |1589 | 1 | 2 | 278 | 1.682693e+02 | 2.090000e+02 | 24.21%| unknown
23.94/24.04 o 208
23.94/24.04 c o24.0s| 104 | 105 |100946 | 901.5 |objpscos| 32 | 479 | 577 |1044 |1589 | 1 | 2 | 278 | 1.682693e+02 | 2.080000e+02 | 23.61%| unknown
23.94/24.07 o 205
23.94/24.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
23.94/24.07 c i24.1s| 104 | 105 |101582 | 907.7 | oneopt| 32 | 479 | 577 |1044 |1589 | 1 | 2 | 278 | 1.682693e+02 | 2.050000e+02 | 21.83%| unknown
33.20/33.32 c 33.3s| 200 | 201 |186071 | 894.4 | 204M | 33 | 479 | 580 |1034 |2141 | 1 | 8 | 312 | 1.683107e+02 | 2.050000e+02 | 21.80%| unknown
37.30/37.41 o 204
37.30/37.41 c d37.4s| 218 | 219 |235137 |1046.3 |pscostdi| 33 | 479 | 580 |1025 | 0 | 1 | 8 | 321 | 1.685863e+02 | 2.040000e+02 | 21.01%| unknown
50.46/50.62 c 50.6s| 300 | 301 |374898 |1226.8 | 205M | 33 | 479 | 580 |1097 |2892 | 1 | 16 | 351 | 1.687314e+02 | 2.040000e+02 | 20.90%| unknown
63.94/64.19 o 203
63.94/64.19 c d64.2s| 398 | 399 |527102 |1307.3 |pscostdi| 37 | 479 | 580 |1100 | 0 | 1 | 25 | 382 | 1.689749e+02 | 2.030000e+02 | 20.14%| unknown
63.94/64.19 o 202
63.94/64.19 c d64.2s| 398 | 399 |527106 |1307.4 |pscostdi| 37 | 479 | 580 |1100 | 0 | 1 | 25 | 382 | 1.689749e+02 | 2.020000e+02 | 19.54%| unknown
64.03/64.23 c 64.2s| 400 | 401 |527537 |1301.9 | 206M | 37 | 479 | 580 |1123 |3423 | 1 | 25 | 382 | 1.689749e+02 | 2.020000e+02 | 19.54%| unknown
75.00/75.21 o 201
75.00/75.21 c d75.2s| 474 | 475 |643989 |1344.4 |pscostdi| 37 | 479 | 580 | 974 | 0 | 1 | 31 | 408 | 1.690337e+02 | 2.010000e+02 | 18.91%| unknown
75.00/75.21 o 199
75.00/75.21 c d75.2s| 474 | 475 |643996 |1344.4 |pscostdi| 37 | 479 | 580 | 974 | 0 | 1 | 31 | 408 | 1.690337e+02 | 1.990000e+02 | 17.73%| unknown
78.70/78.90 c 78.9s| 500 | 501 |679659 |1345.8 | 207M | 37 | 479 | 582 |1119 |4170 | 4 | 34 | 423 | 1.690628e+02 | 1.990000e+02 | 17.71%| unknown
91.88/92.16 c 92.2s| 600 | 601 |805738 |1331.6 | 208M | 37 | 479 | 584 |1105 |5153 | 1 | 37 | 458 | 1.691038e+02 | 1.990000e+02 | 17.68%| unknown
102.54/102.85 o 195
102.54/102.85 c L 103s| 674 | 675 |922258 |1358.4 |crossove| 37 | 479 | 587 |1046 |5854 | 1 | 41 | 470 | 1.691395e+02 | 1.950000e+02 | 15.29%| unknown
106.63/106.98 c 107s| 700 | 701 |965875 |1370.2 | 211M | 37 | 479 | 593 |1116 |6073 | 1 | 49 | 472 | 1.691395e+02 | 1.950000e+02 | 15.29%| unknown
118.90/119.22 c 119s| 800 | 801 | 1097k|1363.2 | 211M | 37 | 479 | 598 |1129 |6827 | 1 | 56 | 479 | 1.691849e+02 | 1.950000e+02 | 15.26%| unknown
133.56/134.01 c 134s| 900 | 901 | 1252k|1384.6 | 212M | 37 | 479 | 608 |1098 |7877 | 1 | 69 | 500 | 1.692140e+02 | 1.950000e+02 | 15.24%| unknown
145.64/146.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
145.64/146.06 c 146s| 1000 | 1001 | 1365k|1358.9 | 213M | 37 | 479 | 620 |1056 |8573 | 1 | 81 | 526 | 1.693086e+02 | 1.950000e+02 | 15.17%| unknown
150.12/150.53 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
150.12/150.53 c (run 1, node 1049) performing user restart
150.12/150.53 c
150.12/150.54 c (restart) converted 316 cuts from the global cut pool into linear constraints
150.12/150.54 c
150.22/150.68 c presolving:
150.22/150.68 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 20 chg coeffs, 0 upgd conss, 0 impls, 138 clqs
150.22/150.68 c (round 2, exhaustive) 0 del vars, 2 del conss, 0 add conss, 0 chg bounds, 5 chg sides, 20 chg coeffs, 0 upgd conss, 0 impls, 138 clqs
150.22/150.69 c (round 3, exhaustive) 0 del vars, 2 del conss, 0 add conss, 0 chg bounds, 5 chg sides, 20 chg coeffs, 314 upgd conss, 0 impls, 138 clqs
150.22/150.69 c (round 4, fast) 0 del vars, 2 del conss, 0 add conss, 0 chg bounds, 6 chg sides, 21 chg coeffs, 314 upgd conss, 0 impls, 138 clqs
150.22/150.69 c presolving (5 rounds: 5 fast, 3 medium, 3 exhaustive):
150.22/150.69 c 0 deleted vars, 2 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 6 changed sides, 22 changed coefficients
150.22/150.69 c 0 implications, 138 cliques
150.22/150.69 c presolved problem has 479 variables (479 bin, 0 int, 0 impl, 0 cont) and 936 constraints
150.22/150.69 c 632 constraints of type <knapsack>
150.22/150.69 c 138 constraints of type <setppc>
150.22/150.69 c 166 constraints of type <logicor>
150.22/150.69 c transformed objective value is always integral (scale: 1)
150.22/150.69 c Presolving Time: 0.04
150.33/150.71 c transformed 98/100 original solutions to the transformed problem space
150.33/150.71 c
151.43/151.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
151.43/151.84 c 152s| 1 | 0 | 1420k| - | 189M | 0 | 479 | 936 | 891 | 0 | 0 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
151.64/152.03 c 152s| 1 | 0 | 1421k| - | 189M | 0 | 479 | 936 | 930 | 39 | 1 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
151.74/152.16 c 152s| 1 | 0 | 1422k| - | 191M | 0 | 479 | 936 | 968 | 77 | 2 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
151.83/152.28 c 152s| 1 | 0 | 1422k| - | 193M | 0 | 479 | 936 | 991 | 100 | 3 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
152.02/152.40 c 152s| 1 | 0 | 1423k| - | 199M | 0 | 479 | 936 |1005 | 114 | 4 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
152.12/152.52 c 153s| 1 | 0 | 1423k| - | 202M | 0 | 479 | 936 |1021 | 130 | 5 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
152.22/152.65 c 153s| 1 | 0 | 1423k| - | 206M | 0 | 479 | 936 |1026 | 135 | 6 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
152.32/152.79 c 153s| 1 | 0 | 1423k| - | 205M | 0 | 479 | 936 |1032 | 141 | 7 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
152.52/152.92 c 153s| 1 | 0 | 1424k| - | 206M | 0 | 479 | 936 |1036 | 145 | 8 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
152.63/153.08 c 153s| 1 | 0 | 1424k| - | 203M | 0 | 479 | 936 |1047 | 156 | 9 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
152.82/153.22 c 153s| 1 | 0 | 1424k| - | 208M | 0 | 479 | 936 |1053 | 162 | 10 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
152.92/153.30 c 153s| 1 | 0 | 1424k| - | 208M | 0 | 479 | 936 |1057 | 166 | 11 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
152.92/153.38 c 153s| 1 | 0 | 1424k| - | 208M | 0 | 479 | 936 |1061 | 170 | 12 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
153.02/153.45 c 153s| 1 | 0 | 1424k| - | 208M | 0 | 479 | 936 |1014 | 177 | 13 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
153.12/153.54 c 154s| 1 | 0 | 1425k| - | 209M | 0 | 479 | 936 |1020 | 183 | 14 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
153.22/153.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
153.22/153.63 c 154s| 1 | 0 | 1425k| - | 209M | 0 | 479 | 936 |1030 | 193 | 15 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
153.32/153.74 c 154s| 1 | 0 | 1425k| - | 209M | 0 | 479 | 936 |1039 | 202 | 16 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
153.42/153.83 c 154s| 1 | 0 | 1425k| - | 209M | 0 | 479 | 936 |1046 | 209 | 17 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
153.52/153.94 c 154s| 1 | 0 | 1425k| - | 209M | 0 | 479 | 936 |1052 | 215 | 18 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
153.63/154.06 c 154s| 1 | 0 | 1425k| - | 209M | 0 | 479 | 936 |1019 | 223 | 19 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
153.73/154.16 c 154s| 1 | 0 | 1425k| - | 209M | 0 | 479 | 936 |1028 | 232 | 20 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
153.82/154.25 c 154s| 1 | 0 | 1425k| - | 209M | 0 | 479 | 936 |1032 | 236 | 21 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
153.92/154.35 c 154s| 1 | 0 | 1425k| - | 209M | 0 | 479 | 936 |1039 | 243 | 22 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
154.02/154.44 c 154s| 1 | 0 | 1425k| - | 209M | 0 | 479 | 936 |1040 | 244 | 23 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
154.12/154.53 c 155s| 1 | 0 | 1425k| - | 209M | 0 | 479 | 936 |1041 | 245 | 24 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
156.51/157.00 c 157s| 1 | 2 | 1431k| - | 209M | 0 | 479 | 940 |1041 | 245 | 25 | 87 | 558 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
175.67/176.13 c 176s| 100 | 101 | 1544k|1327.2 | 226M | 35 | 479 | 942 |1012 | 613 | 1 | 91 | 736 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
184.74/185.26 c 185s| 200 | 201 | 1613k|1275.7 | 256M | 54 | 479 | 943 |1099 |1087 | 1 | 92 | 779 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
192.22/192.70 c 193s| 300 | 301 | 1694k|1241.8 | 258M | 55 | 479 | 943 |1045 |1556 | 1 | 94 | 831 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
197.41/197.99 c 198s| 400 | 401 | 1754k|1197.2 | 258M | 73 | 479 | 943 |1133 |1745 | 1 | 98 | 859 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
200.61/201.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
200.61/201.11 c 201s| 500 | 463 | 1787k|1141.1 | 258M | 87 | 479 | 943 |1136 |1827 | 0 | 107 | 891 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
203.29/203.89 c 204s| 600 | 517 | 1812k|1087.3 | 258M | 91 | 479 | 943 | 980 |1910 | 1 | 124 | 924 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
218.06/218.65 c 219s| 700 | 617 | 1931k|1093.2 | 260M | 91 | 479 | 947 | 975 |2456 | 1 | 128 | 966 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
231.63/232.29 c 232s| 800 | 717 | 2027k|1085.9 | 304M | 91 | 479 | 968 | 978 |3036 | 1 | 151 |1013 | 1.693597e+02 | 1.950000e+02 | 15.14%| unknown
245.79/246.44 c 246s| 900 | 817 | 2137k|1086.3 | 298M | 91 | 479 | 976 | 983 |3555 | 1 | 163 |1055 | 1.694622e+02 | 1.950000e+02 | 15.07%| unknown
258.16/258.86 c 259s| 1000 | 917 | 2224k|1075.9 | 302M | 91 | 479 | 980 | 994 |4150 | 1 | 168 |1085 | 1.695506e+02 | 1.950000e+02 | 15.01%| unknown
269.83/270.54 c 271s| 1100 | 1017 | 2321k|1070.9 | 302M | 91 | 479 | 982 |1007 |4755 | 1 | 175 |1089 | 1.696472e+02 | 1.950000e+02 | 14.94%| unknown
281.01/281.74 c 282s| 1200 | 1117 | 2411k|1063.6 | 303M | 91 | 479 | 984 | 986 |5362 | 1 | 179 |1096 | 1.697018e+02 | 1.950000e+02 | 14.91%| unknown
292.78/293.55 c 294s| 1300 | 1217 | 2507k|1058.8 | 305M | 91 | 479 | 984 |1000 |5902 | 1 | 180 |1106 | 1.697883e+02 | 1.950000e+02 | 14.85%| unknown
304.06/304.87 c 305s| 1400 | 1317 | 2600k|1053.6 | 308M | 91 | 479 | 988 | 987 |6466 | 1 | 185 |1111 | 1.698460e+02 | 1.950000e+02 | 14.81%| unknown
314.73/315.58 c 316s| 1500 | 1417 | 2694k|1049.1 | 308M | 91 | 479 | 992 |1001 |7077 | 1 | 190 |1111 | 1.698863e+02 | 1.950000e+02 | 14.78%| unknown
326.00/326.88 c 327s| 1600 | 1517 | 2788k|1045.3 | 308M | 91 | 479 | 993 | 998 |7690 | 1 | 198 |1113 | 1.699330e+02 | 1.950000e+02 | 14.75%| unknown
339.77/340.61 c 341s| 1700 | 1617 | 2893k|1045.4 | 308M | 91 | 479 |1001 |1008 |8345 | 1 | 211 |1146 | 1.699769e+02 | 1.950000e+02 | 14.72%| unknown
352.25/353.18 c 353s| 1800 | 1717 | 2990k|1042.5 | 308M | 91 | 479 |1002 |1007 |9000 | 1 | 214 |1161 | 1.700216e+02 | 1.950000e+02 | 14.69%| unknown
363.71/364.63 c 365s| 1900 | 1817 | 3083k|1039.0 | 308M | 91 | 479 |1002 |1006 |9606 | 1 | 218 |1164 | 1.700508e+02 | 1.950000e+02 | 14.67%| unknown
374.28/375.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
374.28/375.26 c 375s| 2000 | 1917 | 3178k|1035.9 | 309M | 91 | 479 |1007 |1017 | 10k| 1 | 224 |1173 | 1.700930e+02 | 1.950000e+02 | 14.64%| unknown
385.75/386.74 c 387s| 2100 | 2017 | 3274k|1033.5 | 309M | 91 | 479 |1009 |1049 | 10k| 4 | 232 |1175 | 1.701434e+02 | 1.950000e+02 | 14.61%| unknown
396.63/397.63 c 398s| 2200 | 2117 | 3368k|1030.6 | 309M | 91 | 479 |1014 |1006 | 11k| 1 | 239 |1176 | 1.701877e+02 | 1.950000e+02 | 14.58%| unknown
407.50/408.55 c 409s| 2300 | 2217 | 3464k|1028.4 | 310M | 91 | 479 |1012 |1011 | 12k| 1 | 241 |1182 | 1.702209e+02 | 1.950000e+02 | 14.56%| unknown
418.27/419.30 c 419s| 2400 | 2317 | 3552k|1024.2 | 310M | 91 | 479 |1011 |1020 | 12k| 1 | 245 |1183 | 1.702413e+02 | 1.950000e+02 | 14.54%| unknown
429.85/430.98 c 431s| 2500 | 2417 | 3635k|1018.6 | 310M | 91 | 479 |1016 |1076 | 13k| 4 | 253 |1212 | 1.702720e+02 | 1.950000e+02 | 14.52%| unknown
440.42/441.59 c 442s| 2600 | 2517 | 3715k|1012.8 | 310M | 91 | 479 |1026 |1009 | 14k| 1 | 264 |1230 | 1.703102e+02 | 1.950000e+02 | 14.50%| unknown
451.59/452.70 c 453s| 2700 | 2617 | 3811k|1011.4 | 310M | 91 | 479 |1023 | 997 | 14k| 1 | 269 |1240 | 1.703329e+02 | 1.950000e+02 | 14.48%| unknown
461.47/462.65 c 463s| 2800 | 2717 | 3904k|1009.2 | 310M | 91 | 479 |1015 |1057 | 15k| 1 | 272 |1244 | 1.703606e+02 | 1.950000e+02 | 14.46%| unknown
471.85/473.08 c 473s| 2900 | 2817 | 3991k|1005.7 | 310M | 91 | 479 |1013 |1032 | 15k| 1 | 280 |1249 | 1.703924e+02 | 1.950000e+02 | 14.44%| unknown
482.61/483.81 c 484s| 3000 | 2917 | 4080k|1002.9 | 311M | 91 | 479 |1016 |1014 | 16k| 1 | 288 |1255 | 1.704116e+02 | 1.950000e+02 | 14.43%| unknown
490.90/492.19 c 492s| 3100 | 3017 | 4158k| 997.5 | 311M | 91 | 479 |1015 |1054 | 17k| 5 | 293 |1258 | 1.704441e+02 | 1.950000e+02 | 14.41%| unknown
500.16/501.42 c 501s| 3200 | 3117 | 4241k| 993.6 | 311M | 91 | 479 |1012 |1017 | 17k| 1 | 295 |1261 | 1.704520e+02 | 1.950000e+02 | 14.40%| unknown
509.34/510.67 c 511s| 3300 | 3217 | 4333k| 991.7 | 311M | 91 | 479 |1008 |1020 | 18k| 1 | 295 |1266 | 1.704765e+02 | 1.950000e+02 | 14.39%| unknown
519.11/520.43 c 520s| 3400 | 3317 | 4421k| 989.4 | 311M | 91 | 479 |1003 |1041 | 18k| 1 | 297 |1276 | 1.704884e+02 | 1.950000e+02 | 14.38%| unknown
530.70/532.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
530.70/532.08 c 532s| 3500 | 3417 | 4515k| 988.2 | 311M | 91 | 479 |1000 |1005 | 19k| 1 | 304 |1302 | 1.705105e+02 | 1.950000e+02 | 14.36%| unknown
539.86/541.27 c 541s| 3600 | 3517 | 4605k| 986.3 | 311M | 91 | 479 |1008 |1041 | 20k| 1 | 315 |1313 | 1.705228e+02 | 1.950000e+02 | 14.35%| unknown
549.83/551.24 c 551s| 3700 | 3617 | 4697k| 985.0 | 311M | 91 | 479 |1012 |1071 | 20k| 5 | 322 |1324 | 1.705437e+02 | 1.950000e+02 | 14.34%| unknown
559.81/561.27 c 561s| 3800 | 3717 | 4789k| 983.7 | 312M | 91 | 479 |1014 |1017 | 21k| 1 | 328 |1328 | 1.705603e+02 | 1.950000e+02 | 14.33%| unknown
568.19/569.64 c 570s| 3900 | 3817 | 4863k| 978.7 | 312M | 91 | 479 |1012 |1066 | 21k| 4 | 330 |1335 | 1.705774e+02 | 1.950000e+02 | 14.32%| unknown
577.76/579.26 c 579s| 4000 | 3917 | 4956k| 977.7 | 313M | 91 | 479 |1012 |1072 | 22k| 4 | 341 |1337 | 1.705870e+02 | 1.950000e+02 | 14.31%| unknown
586.74/588.23 c 588s| 4100 | 4017 | 5043k| 975.7 | 313M | 91 | 479 |1013 |1025 | 23k| 1 | 345 |1339 | 1.706012e+02 | 1.950000e+02 | 14.30%| unknown
595.22/596.77 c 597s| 4200 | 4117 | 5117k| 971.2 | 313M | 91 | 479 |1018 |1020 | 23k| 1 | 352 |1342 | 1.706344e+02 | 1.950000e+02 | 14.28%| unknown
603.60/605.11 c 605s| 4300 | 4217 | 5200k| 968.5 | 314M | 91 | 479 |1021 |1034 | 24k| 1 | 357 |1342 | 1.706461e+02 | 1.950000e+02 | 14.27%| unknown
613.27/614.88 c 615s| 4400 | 4317 | 5288k| 966.9 | 314M | 91 | 479 |1023 |1033 | 25k| 1 | 360 |1342 | 1.706521e+02 | 1.950000e+02 | 14.27%| unknown
621.85/623.47 c 623s| 4500 | 4417 | 5370k| 964.2 | 314M | 91 | 479 |1019 |1019 | 25k| 1 | 363 |1345 | 1.706618e+02 | 1.950000e+02 | 14.26%| unknown
631.72/633.38 c 633s| 4600 | 4517 | 5465k| 963.9 | 315M | 91 | 479 |1018 |1010 | 26k| 1 | 371 |1347 | 1.706766e+02 | 1.950000e+02 | 14.25%| unknown
639.52/641.12 c 641s| 4700 | 4617 | 5540k| 960.2 | 315M | 91 | 479 |1018 |1022 | 26k| 1 | 375 |1354 | 1.706924e+02 | 1.950000e+02 | 14.24%| unknown
646.59/648.28 c 648s| 4800 | 4717 | 5614k| 956.4 | 315M | 91 | 479 |1026 |1034 | 27k| 1 | 384 |1356 | 1.707054e+02 | 1.950000e+02 | 14.23%| unknown
654.87/656.52 c 657s| 4900 | 4817 | 5696k| 954.1 | 315M | 91 | 479 |1035 |1034 | 27k| 1 | 394 |1356 | 1.707205e+02 | 1.950000e+02 | 14.22%| unknown
663.55/665.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
663.55/665.23 c 665s| 5000 | 4917 | 5777k| 951.9 | 315M | 91 | 479 |1035 |1078 | 28k| 4 | 396 |1363 | 1.707289e+02 | 1.950000e+02 | 14.22%| unknown
672.53/674.24 c 674s| 5100 | 5017 | 5851k| 948.3 | 315M | 91 | 479 |1035 |1018 | 29k| 1 | 400 |1379 | 1.707424e+02 | 1.950000e+02 | 14.21%| unknown
681.71/683.40 c 683s| 5200 | 5117 | 5934k| 946.4 | 315M | 91 | 479 |1031 |1055 | 29k| 1 | 405 |1384 | 1.707525e+02 | 1.950000e+02 | 14.20%| unknown
691.19/692.93 c 693s| 5300 | 5217 | 6033k| 947.1 | 316M | 91 | 479 |1028 |1019 | 30k| 1 | 408 |1393 | 1.707698e+02 | 1.950000e+02 | 14.19%| unknown
700.28/702.03 c 702s| 5400 | 5317 | 6119k| 945.8 | 316M | 91 | 479 |1032 |1018 | 30k| 1 | 416 |1401 | 1.707834e+02 | 1.950000e+02 | 14.18%| unknown
707.45/709.25 c 709s| 5500 | 5417 | 6197k| 943.2 | 316M | 91 | 479 |1029 |1012 | 31k| 1 | 416 |1404 | 1.707933e+02 | 1.950000e+02 | 14.17%| unknown
717.12/718.98 c 719s| 5600 | 5517 | 6298k| 944.2 | 316M | 91 | 479 |1032 |1009 | 31k| 1 | 421 |1406 | 1.708021e+02 | 1.950000e+02 | 14.17%| unknown
727.80/729.62 c 730s| 5700 | 5617 | 6405k| 946.1 | 316M | 91 | 479 |1037 |1071 | 32k| 1 | 428 |1408 | 1.708171e+02 | 1.950000e+02 | 14.16%| unknown
735.98/737.84 c 738s| 5800 | 5717 | 6481k| 943.5 | 316M | 91 | 479 |1040 |1062 | 33k| 1 | 435 |1408 | 1.708284e+02 | 1.950000e+02 | 14.15%| unknown
745.17/747.05 c 747s| 5900 | 5817 | 6583k| 944.5 | 317M | 91 | 479 |1038 |1028 | 33k| 1 | 435 |1410 | 1.708325e+02 | 1.950000e+02 | 14.15%| unknown
754.63/756.50 c 756s| 6000 | 5917 | 6686k| 945.7 | 317M | 91 | 479 |1037 |1054 | 34k| 1 | 441 |1413 | 1.708411e+02 | 1.950000e+02 | 14.14%| unknown
765.01/766.94 c 767s| 6100 | 6017 | 6795k| 947.8 | 317M | 91 | 479 |1032 |1053 | 34k| 1 | 444 |1426 | 1.708465e+02 | 1.950000e+02 | 14.14%| unknown
773.20/775.12 c 775s| 6200 | 6117 | 6872k| 945.3 | 317M | 91 | 479 |1032 |1001 | 35k| 1 | 447 |1442 | 1.708538e+02 | 1.950000e+02 | 14.13%| unknown
782.37/784.40 c 784s| 6300 | 6217 | 6968k| 945.5 | 317M | 91 | 479 |1027 |1015 | 36k| 1 | 447 |1451 | 1.708612e+02 | 1.950000e+02 | 14.13%| unknown
792.84/794.88 c 795s| 6400 | 6317 | 7053k| 944.3 | 317M | 91 | 479 |1020 |1009 | 36k| 1 | 449 |1461 | 1.708700e+02 | 1.950000e+02 | 14.12%| unknown
800.92/802.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
800.92/802.93 c 803s| 6500 | 6417 | 7144k| 943.7 | 352M | 91 | 479 |1021 |1053 | 37k| 1 | 453 |1464 | 1.708798e+02 | 1.950000e+02 | 14.12%| unknown
810.40/812.48 c 812s| 6600 | 6517 | 7259k| 946.4 | 352M | 91 | 479 |1019 |1026 | 37k| 1 | 454 |1465 | 1.708879e+02 | 1.950000e+02 | 14.11%| unknown
818.38/820.48 c 820s| 6700 | 6617 | 7338k| 944.4 | 352M | 91 | 479 |1023 |1023 | 38k| 1 | 462 |1468 | 1.708946e+02 | 1.950000e+02 | 14.11%| unknown
822.37/824.42 o 194
822.37/824.42 c d 824s| 6740 | 6639 | 7371k| 943.8 |pscostdi| 91 | 479 |1023 |1080 | 0 | 4 | 463 |1474 | 1.708976e+02 | 1.940000e+02 | 13.52%| unknown
827.86/829.90 c 830s| 6800 | 6699 | 7426k| 943.7 | 353M | 91 | 479 |1025 |1060 | 38k| 1 | 472 |1476 | 1.709024e+02 | 1.940000e+02 | 13.52%| unknown
836.05/838.11 c 838s| 6900 | 6799 | 7508k| 942.1 | 353M | 91 | 479 |1024 |1054 | 39k| 1 | 475 |1480 | 1.709168e+02 | 1.940000e+02 | 13.51%| unknown
843.52/845.64 c 846s| 7000 | 6899 | 7585k| 939.9 | 353M | 91 | 479 |1036 |1031 | 39k| 1 | 488 |1483 | 1.709307e+02 | 1.940000e+02 | 13.50%| unknown
852.50/854.67 c 855s| 7100 | 6999 | 7682k| 940.3 | 353M | 91 | 479 |1041 |1046 | 40k| 1 | 496 |1485 | 1.709374e+02 | 1.940000e+02 | 13.49%| unknown
861.57/863.78 c 864s| 7200 | 7099 | 7763k| 938.7 | 353M | 91 | 479 |1046 |1013 | 41k| 1 | 503 |1486 | 1.709412e+02 | 1.940000e+02 | 13.49%| unknown
868.97/871.19 c 871s| 7300 | 7199 | 7835k| 936.1 | 354M | 91 | 479 |1045 |1045 | 41k| 1 | 507 |1487 | 1.709509e+02 | 1.940000e+02 | 13.48%| unknown
880.03/882.29 c 882s| 7400 | 7299 | 7983k| 942.6 | 354M | 91 | 479 |1049 |1048 | 42k| 1 | 511 |1499 | 1.709597e+02 | 1.940000e+02 | 13.48%| unknown
889.11/891.32 c 891s| 7500 | 7399 | 8086k| 943.5 | 354M | 91 | 479 |1052 |1014 | 42k| 1 | 516 |1508 | 1.709640e+02 | 1.940000e+02 | 13.47%| unknown
897.09/899.32 c 899s| 7600 | 7499 | 8160k| 941.2 | 354M | 91 | 479 |1054 |1057 | 43k| 1 | 523 |1516 | 1.709702e+02 | 1.940000e+02 | 13.47%| unknown
905.57/907.89 c 908s| 7700 | 7599 | 8234k| 938.9 | 354M | 91 | 479 |1055 |1051 | 43k| 1 | 527 |1526 | 1.709739e+02 | 1.940000e+02 | 13.47%| unknown
914.95/917.29 c 917s| 7800 | 7699 | 8332k| 939.4 | 354M | 91 | 479 |1056 |1042 | 44k| 1 | 532 |1529 | 1.709822e+02 | 1.940000e+02 | 13.46%| unknown
922.03/924.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
922.03/924.36 c 924s| 7900 | 7799 | 8415k| 938.1 | 354M | 91 | 479 |1065 |1041 | 44k| 1 | 545 |1531 | 1.709893e+02 | 1.940000e+02 | 13.46%| unknown
929.01/931.38 c 931s| 8000 | 7899 | 8491k| 936.2 | 354M | 91 | 479 |1065 |1077 | 45k| 4 | 547 |1533 | 1.709968e+02 | 1.940000e+02 | 13.45%| unknown
935.30/937.64 c 938s| 8100 | 7999 | 8558k| 933.3 | 354M | 91 | 479 |1063 |1012 | 45k| 1 | 547 |1533 | 1.710026e+02 | 1.940000e+02 | 13.45%| unknown
942.98/945.34 c 945s| 8200 | 8099 | 8645k| 932.6 | 354M | 91 | 479 |1061 |1070 | 46k| 4 | 549 |1536 | 1.710132e+02 | 1.940000e+02 | 13.44%| unknown
951.86/954.25 c 954s| 8300 | 8199 | 8738k| 932.5 | 354M | 91 | 479 |1065 |1070 | 46k| 4 | 554 |1536 | 1.710157e+02 | 1.940000e+02 | 13.44%| unknown
959.44/961.88 c 962s| 8400 | 8299 | 8820k| 931.4 | 354M | 91 | 479 |1063 |1069 | 47k| 1 | 557 |1538 | 1.710214e+02 | 1.940000e+02 | 13.44%| unknown
966.52/968.95 c 969s| 8500 | 8399 | 8887k| 928.6 | 354M | 91 | 479 |1068 |1017 | 47k| 1 | 569 |1542 | 1.710250e+02 | 1.940000e+02 | 13.43%| unknown
974.61/977.09 c 977s| 8600 | 8499 | 8968k| 927.4 | 355M | 91 | 479 |1066 |1045 | 48k| 1 | 571 |1545 | 1.710350e+02 | 1.940000e+02 | 13.43%| unknown
981.88/984.38 c 984s| 8700 | 8599 | 9049k| 926.2 | 355M | 91 | 479 |1063 |1065 | 48k| 3 | 574 |1557 | 1.710407e+02 | 1.940000e+02 | 13.42%| unknown
990.67/993.19 c 993s| 8800 | 8699 | 9151k| 927.2 | 355M | 91 | 479 |1071 |1046 | 49k| 1 | 583 |1567 | 1.710451e+02 | 1.940000e+02 | 13.42%| unknown
998.34/1000.86 c 1001s| 8900 | 8799 | 9225k| 925.3 | 355M | 91 | 479 |1069 |1050 | 49k| 1 | 584 |1572 | 1.710515e+02 | 1.940000e+02 | 13.42%| unknown
1004.92/1007.40 c 1007s| 9000 | 8899 | 9298k| 923.3 | 355M | 91 | 479 |1066 |1038 | 50k| 1 | 589 |1577 | 1.710562e+02 | 1.940000e+02 | 13.41%| unknown
1013.00/1015.50 c 1016s| 9100 | 8999 | 9371k| 921.4 | 355M | 91 | 479 |1066 |1048 | 50k| 1 | 593 |1581 | 1.710636e+02 | 1.940000e+02 | 13.41%| unknown
1019.59/1022.11 c 1022s| 9200 | 9099 | 9445k| 919.7 | 356M | 91 | 479 |1068 |1039 | 51k| 1 | 597 |1586 | 1.710663e+02 | 1.940000e+02 | 13.41%| unknown
1026.26/1028.88 c 1029s| 9300 | 9199 | 9514k| 917.5 | 357M | 91 | 479 |1072 |1048 | 51k| 1 | 606 |1588 | 1.710696e+02 | 1.940000e+02 | 13.40%| unknown
1034.03/1036.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1034.03/1036.61 c 1037s| 9400 | 9299 | 9605k| 917.3 | 357M | 91 | 479 |1068 |1009 | 52k| 1 | 611 |1593 | 1.710763e+02 | 1.940000e+02 | 13.40%| unknown
1041.81/1044.46 c 1044s| 9500 | 9399 | 9685k| 916.2 | 357M | 91 | 479 |1067 |1042 | 52k| 1 | 611 |1596 | 1.710821e+02 | 1.940000e+02 | 13.40%| unknown
1048.19/1050.90 c 1051s| 9600 | 9499 | 9751k| 913.8 | 357M | 91 | 479 |1066 |1015 | 53k| 1 | 613 |1597 | 1.710912e+02 | 1.940000e+02 | 13.39%| unknown
1055.38/1058.05 c 1058s| 9700 | 9599 | 9827k| 912.4 | 357M | 91 | 479 |1074 |1058 | 53k| 1 | 624 |1597 | 1.710952e+02 | 1.940000e+02 | 13.39%| unknown
1061.85/1064.51 c 1065s| 9800 | 9699 | 9898k| 910.5 | 357M | 91 | 479 |1075 |1038 | 54k| 1 | 627 |1597 | 1.711019e+02 | 1.940000e+02 | 13.38%| unknown
1069.63/1072.32 c 1072s| 9900 | 9799 | 9978k| 909.5 | 357M | 91 | 479 |1087 |1041 | 54k| 1 | 640 |1600 | 1.711086e+02 | 1.940000e+02 | 13.38%| unknown
1075.51/1078.29 c 1078s| 10000 | 9899 | 10043k| 907.1 | 357M | 91 | 479 |1084 |1059 | 55k| 1 | 641 |1603 | 1.711146e+02 | 1.940000e+02 | 13.37%| unknown
1082.99/1085.74 c 1086s| 10100 | 9999 | 10113k| 905.4 | 357M | 91 | 479 |1084 |1067 | 55k| 1 | 644 |1614 | 1.711201e+02 | 1.940000e+02 | 13.37%| unknown
1091.46/1094.24 c 1094s| 10200 | 10099 | 10207k| 905.6 | 357M | 91 | 479 |1089 |1013 | 56k| 1 | 650 |1621 | 1.711233e+02 | 1.940000e+02 | 13.37%| unknown
1100.14/1102.99 c 1103s| 10300 | 10199 | 10288k| 904.8 | 358M | 91 | 479 |1093 |1013 | 56k| 1 | 657 |1634 | 1.711261e+02 | 1.940000e+02 | 13.37%| unknown
1107.33/1110.14 c 1110s| 10400 | 10299 | 10352k| 902.5 | 358M | 91 | 479 |1096 |1014 | 57k| 1 | 664 |1644 | 1.711307e+02 | 1.940000e+02 | 13.36%| unknown
1114.49/1117.30 c 1117s| 10500 | 10399 | 10429k| 901.4 | 358M | 91 | 479 |1096 |1069 | 57k| 1 | 667 |1645 | 1.711373e+02 | 1.940000e+02 | 13.36%| unknown
1120.58/1123.40 c 1123s| 10600 | 10499 | 10494k| 899.2 | 358M | 91 | 479 |1103 |1039 | 58k| 1 | 676 |1646 | 1.711443e+02 | 1.940000e+02 | 13.35%| unknown
1127.36/1130.20 c 1130s| 10700 | 10599 | 10567k| 897.7 | 358M | 91 | 479 |1106 |1016 | 58k| 1 | 686 |1648 | 1.711486e+02 | 1.940000e+02 | 13.35%| unknown
1134.53/1137.47 c 1137s| 10800 | 10699 | 10645k| 896.7 | 358M | 91 | 479 |1117 |1056 | 59k| 1 | 699 |1649 | 1.711560e+02 | 1.940000e+02 | 13.35%| unknown
1142.31/1145.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1142.31/1145.25 c 1145s| 10900 | 10799 | 10735k| 896.8 | 358M | 91 | 479 |1120 |1060 | 59k| 1 | 705 |1650 | 1.711613e+02 | 1.940000e+02 | 13.34%| unknown
1150.10/1153.07 c 1153s| 11000 | 10899 | 10813k| 895.8 | 358M | 91 | 479 |1123 |1010 | 60k| 1 | 710 |1651 | 1.711670e+02 | 1.940000e+02 | 13.34%| unknown
1157.67/1160.60 c 1161s| 11100 | 10999 | 10888k| 894.6 | 358M | 91 | 479 |1122 |1017 | 60k| 1 | 711 |1655 | 1.711709e+02 | 1.940000e+02 | 13.34%| unknown
1165.16/1168.13 c 1168s| 11200 | 11099 | 10966k| 893.6 | 358M | 91 | 479 |1122 |1060 | 61k| 1 | 713 |1657 | 1.711764e+02 | 1.940000e+02 | 13.33%| unknown
1170.93/1173.97 c 1174s| 11300 | 11199 | 11030k| 891.6 | 358M | 91 | 479 |1123 |1079 | 61k| 1 | 717 |1660 | 1.711799e+02 | 1.940000e+02 | 13.33%| unknown
1178.70/1181.75 c 1182s| 11400 | 11299 | 11106k| 890.5 | 358M | 91 | 479 |1125 |1055 | 62k| 1 | 725 |1660 | 1.711860e+02 | 1.940000e+02 | 13.33%| unknown
1185.58/1188.63 c 1189s| 11500 | 11399 | 11178k| 889.2 | 358M | 91 | 479 |1129 |1052 | 62k| 1 | 730 |1663 | 1.711903e+02 | 1.940000e+02 | 13.32%| unknown
1194.46/1197.56 c 1198s| 11600 | 11499 | 11271k| 889.5 | 359M | 91 | 479 |1128 |1074 | 63k| 1 | 734 |1674 | 1.711928e+02 | 1.940000e+02 | 13.32%| unknown
1201.84/1205.00 c 1205s| 11700 | 11599 | 11347k| 888.5 | 359M | 91 | 479 |1129 | 992 | 63k| 1 | 743 |1680 | 1.711975e+02 | 1.940000e+02 | 13.32%| unknown
1208.93/1212.10 c 1212s| 11800 | 11699 | 11421k| 887.3 | 359M | 91 | 479 |1129 |1074 | 64k| 1 | 748 |1681 | 1.712005e+02 | 1.940000e+02 | 13.32%| unknown
1216.49/1219.64 c 1220s| 11900 | 11799 | 11492k| 885.9 | 359M | 91 | 479 |1130 |1040 | 64k| 1 | 752 |1687 | 1.712063e+02 | 1.940000e+02 | 13.31%| unknown
1223.88/1227.02 c 1227s| 12000 | 11899 | 11569k| 885.1 | 359M | 91 | 479 |1131 |1051 | 65k| 1 | 758 |1693 | 1.712107e+02 | 1.940000e+02 | 13.31%| unknown
1231.65/1234.83 c 1235s| 12100 | 11999 | 11645k| 884.2 | 359M | 91 | 479 |1137 |1051 | 65k| 1 | 767 |1696 | 1.712140e+02 | 1.940000e+02 | 13.31%| unknown
1240.02/1243.23 c 1243s| 12200 | 12099 | 11726k| 883.5 | 359M | 91 | 479 |1147 |1060 | 66k| 1 | 781 |1699 | 1.712174e+02 | 1.940000e+02 | 13.31%| unknown
1247.20/1250.41 c 1250s| 12300 | 12199 | 11809k| 883.2 | 359M | 91 | 479 |1145 |1048 | 67k| 1 | 785 |1701 | 1.712221e+02 | 1.940000e+02 | 13.30%| unknown
1253.38/1256.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1253.38/1256.66 c 1257s| 12400 | 12299 | 11882k| 882.0 | 359M | 91 | 479 |1149 |1043 | 67k| 1 | 790 |1701 | 1.712239e+02 | 1.940000e+02 | 13.30%| unknown
1260.26/1263.59 c 1264s| 12500 | 12399 | 11954k| 880.9 | 359M | 91 | 479 |1148 |1040 | 68k| 1 | 791 |1704 | 1.712284e+02 | 1.940000e+02 | 13.30%| unknown
1265.95/1269.29 c 1269s| 12600 | 12499 | 12019k| 879.2 | 359M | 91 | 479 |1153 |1042 | 68k| 1 | 798 |1704 | 1.712325e+02 | 1.940000e+02 | 13.30%| unknown
1271.53/1274.83 c 1275s| 12700 | 12599 | 12083k| 877.4 | 359M | 91 | 479 |1153 |1052 | 69k| 4 | 801 |1704 | 1.712367e+02 | 1.940000e+02 | 13.29%| unknown
1278.72/1282.07 c 1282s| 12800 | 12699 | 12170k| 877.3 | 359M | 91 | 479 |1156 |1011 | 69k| 1 | 804 |1705 | 1.712408e+02 | 1.940000e+02 | 13.29%| unknown
1285.80/1289.18 c 1289s| 12900 | 12799 | 12243k| 876.3 | 359M | 91 | 479 |1158 |1003 | 69k| 1 | 808 |1706 | 1.712454e+02 | 1.940000e+02 | 13.29%| unknown
1291.47/1294.81 c 1295s| 13000 | 12899 | 12305k| 874.4 | 360M | 91 | 479 |1162 |1070 | 70k| 1 | 814 |1709 | 1.712476e+02 | 1.940000e+02 | 13.29%| unknown
1298.95/1302.30 c 1302s| 13100 | 12999 | 12377k| 873.4 | 360M | 91 | 479 |1163 |1065 | 70k| 1 | 818 |1719 | 1.712545e+02 | 1.940000e+02 | 13.28%| unknown
1305.93/1309.32 c 1309s| 13200 | 13099 | 12460k| 873.0 | 361M | 91 | 479 |1157 |1057 | 71k| 1 | 820 |1723 | 1.712591e+02 | 1.940000e+02 | 13.28%| unknown
1313.11/1316.53 c 1317s| 13300 | 13199 | 12530k| 871.9 | 361M | 91 | 479 |1159 |1054 | 71k| 1 | 826 |1726 | 1.712638e+02 | 1.940000e+02 | 13.28%| unknown
1319.49/1322.92 c 1323s| 13400 | 13299 | 12602k| 870.8 | 361M | 91 | 479 |1164 |1042 | 72k| 1 | 839 |1729 | 1.712682e+02 | 1.940000e+02 | 13.27%| unknown
1325.87/1329.32 c 1329s| 13500 | 13399 | 12666k| 869.2 | 361M | 91 | 479 |1162 |1049 | 72k| 1 | 842 |1733 | 1.712715e+02 | 1.940000e+02 | 13.27%| unknown
1331.46/1334.99 c 1335s| 13600 | 13499 | 12730k| 867.7 | 361M | 91 | 479 |1162 |1062 | 73k| 1 | 847 |1734 | 1.712761e+02 | 1.940000e+02 | 13.27%| unknown
1337.55/1341.03 c 1341s| 13700 | 13599 | 12794k| 866.1 | 361M | 91 | 479 |1160 |1035 | 73k| 1 | 851 |1738 | 1.712794e+02 | 1.940000e+02 | 13.27%| unknown
1344.22/1347.73 c 1348s| 13800 | 13699 | 12866k| 865.1 | 361M | 91 | 479 |1166 |1059 | 74k| 1 | 859 |1739 | 1.712825e+02 | 1.940000e+02 | 13.26%| unknown
1352.09/1355.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1352.09/1355.66 c 1356s| 13900 | 13799 | 12957k| 865.4 | 362M | 91 | 479 |1163 |1062 | 74k| 1 | 867 |1741 | 1.712843e+02 | 1.940000e+02 | 13.26%| unknown
1357.78/1361.32 c 1361s| 14000 | 13899 | 13021k| 864.0 | 362M | 91 | 479 |1157 |1052 | 75k| 1 | 870 |1743 | 1.712872e+02 | 1.940000e+02 | 13.26%| unknown
1364.76/1368.32 c 1368s| 14100 | 13999 | 13097k| 863.3 | 362M | 91 | 479 |1162 |1034 | 75k| 1 | 880 |1743 | 1.712903e+02 | 1.940000e+02 | 13.26%| unknown
1372.44/1376.01 c 1376s| 14200 | 14099 | 13179k| 862.9 | 362M | 91 | 479 |1169 |1042 | 76k| 1 | 892 |1743 | 1.712956e+02 | 1.940000e+02 | 13.25%| unknown
1378.43/1382.05 c 1382s| 14300 | 14199 | 13258k| 862.5 | 362M | 91 | 479 |1169 |1050 | 76k| 1 | 894 |1745 | 1.712984e+02 | 1.940000e+02 | 13.25%| unknown
1386.59/1390.27 c 1390s| 14400 | 14299 | 13337k| 862.0 | 362M | 91 | 479 |1172 |1069 | 77k| 1 | 900 |1746 | 1.713013e+02 | 1.940000e+02 | 13.25%| unknown
1393.57/1397.28 c 1397s| 14500 | 14399 | 13406k| 860.9 | 362M | 91 | 479 |1170 |1056 | 77k| 1 | 907 |1755 | 1.713043e+02 | 1.940000e+02 | 13.25%| unknown
1400.15/1403.84 c 1404s| 14600 | 14499 | 13477k| 859.9 | 362M | 91 | 479 |1173 |1055 | 78k| 1 | 914 |1764 | 1.713064e+02 | 1.940000e+02 | 13.25%| unknown
1406.83/1410.54 c 1411s| 14700 | 14599 | 13549k| 859.1 | 362M | 91 | 479 |1173 |1028 | 78k| 1 | 915 |1769 | 1.713088e+02 | 1.940000e+02 | 13.25%| unknown
1413.42/1417.12 c 1417s| 14800 | 14699 | 13621k| 858.2 | 362M | 91 | 479 |1167 |1056 | 79k| 1 | 922 |1772 | 1.713113e+02 | 1.940000e+02 | 13.24%| unknown
1418.80/1422.54 c 1423s| 14900 | 14799 | 13679k| 856.5 | 362M | 91 | 479 |1165 |1049 | 79k| 1 | 924 |1774 | 1.713167e+02 | 1.940000e+02 | 13.24%| unknown
1425.40/1429.12 c 1429s| 15000 | 14899 | 13746k| 855.3 | 363M | 91 | 479 |1165 |1064 | 79k| 1 | 933 |1777 | 1.713191e+02 | 1.940000e+02 | 13.24%| unknown
1432.86/1436.68 c 1437s| 15100 | 14999 | 13834k| 855.4 | 363M | 91 | 479 |1160 |1047 | 80k| 1 | 938 |1779 | 1.713223e+02 | 1.940000e+02 | 13.24%| unknown
1438.05/1441.87 c 1442s| 15200 | 15099 | 13891k| 853.7 | 363M | 91 | 479 |1160 |1071 | 80k| 1 | 946 |1785 | 1.713246e+02 | 1.940000e+02 | 13.24%| unknown
1444.73/1448.57 c 1449s| 15300 | 15199 | 13966k| 853.0 | 363M | 91 | 479 |1162 |1052 | 81k| 1 | 953 |1786 | 1.713277e+02 | 1.940000e+02 | 13.23%| unknown
1450.61/1454.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1450.61/1454.47 c 1454s| 15400 | 15299 | 14026k| 851.5 | 363M | 91 | 479 |1159 |1074 | 81k| 1 | 956 |1790 | 1.713308e+02 | 1.940000e+02 | 13.23%| unknown
1456.31/1460.17 c 1460s| 15500 | 15399 | 14087k| 850.1 | 363M | 91 | 479 |1171 |1062 | 82k| 1 | 971 |1795 | 1.713329e+02 | 1.940000e+02 | 13.23%| unknown
1463.57/1467.40 c 1467s| 15600 | 15499 | 14159k| 849.3 | 363M | 91 | 479 |1175 |1052 | 82k| 3 | 977 |1798 | 1.713369e+02 | 1.940000e+02 | 13.23%| unknown
1468.96/1472.82 c 1473s| 15700 | 15599 | 14221k| 847.9 | 363M | 91 | 479 |1171 |1054 | 83k| 1 | 977 |1800 | 1.713401e+02 | 1.940000e+02 | 13.23%| unknown
1475.84/1479.72 c 1480s| 15800 | 15699 | 14291k| 847.0 | 363M | 91 | 479 |1176 |1049 | 83k| 1 | 986 |1802 | 1.713443e+02 | 1.940000e+02 | 13.22%| unknown
1483.13/1487.01 c 1487s| 15900 | 15799 | 14383k| 847.5 | 363M | 91 | 479 |1186 |1048 | 83k| 1 | 999 |1802 | 1.713469e+02 | 1.940000e+02 | 13.22%| unknown
1490.11/1494.02 c 1494s| 16000 | 15899 | 14461k| 847.1 | 364M | 91 | 479 |1190 |1052 | 84k| 1 |1006 |1802 | 1.713505e+02 | 1.940000e+02 | 13.22%| unknown
1496.87/1500.80 c 1501s| 16100 | 15999 | 14537k| 846.5 | 364M | 91 | 479 |1187 |1045 | 84k| 1 |1009 |1804 | 1.713531e+02 | 1.940000e+02 | 13.22%| unknown
1503.17/1507.18 c 1507s| 16200 | 16099 | 14601k| 845.4 | 364M | 91 | 479 |1188 |1050 | 85k| 1 |1013 |1809 | 1.713554e+02 | 1.940000e+02 | 13.22%| unknown
1509.64/1513.62 c 1514s| 16300 | 16199 | 14669k| 844.4 | 364M | 91 | 479 |1187 |1059 | 85k| 1 |1021 |1814 | 1.713585e+02 | 1.940000e+02 | 13.21%| unknown
1518.02/1522.10 c 1522s| 16400 | 16299 | 14764k| 845.0 | 364M | 91 | 479 |1180 |1067 | 86k| 3 |1022 |1823 | 1.713600e+02 | 1.940000e+02 | 13.21%| unknown
1523.70/1527.75 c 1528s| 16500 | 16399 | 14826k| 843.7 | 364M | 91 | 479 |1182 |1049 | 86k| 1 |1031 |1829 | 1.713635e+02 | 1.940000e+02 | 13.21%| unknown
1530.77/1534.80 c 1535s| 16600 | 16499 | 14899k| 843.1 | 365M | 91 | 479 |1183 |1054 | 87k| 1 |1038 |1837 | 1.713652e+02 | 1.940000e+02 | 13.21%| unknown
1537.56/1541.65 c 1542s| 16700 | 16599 | 14970k| 842.3 | 365M | 91 | 479 |1184 |1079 | 87k| 1 |1043 |1838 | 1.713704e+02 | 1.940000e+02 | 13.21%| unknown
1543.84/1547.93 c 1548s| 16800 | 16699 | 15040k| 841.5 | 365M | 91 | 479 |1176 |1052 | 87k| 1 |1043 |1840 | 1.713729e+02 | 1.940000e+02 | 13.20%| unknown
1549.22/1553.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1549.22/1553.38 c 1553s| 16900 | 16799 | 15100k| 840.2 | 365M | 91 | 479 |1177 |1070 | 88k| 1 |1047 |1842 | 1.713764e+02 | 1.940000e+02 | 13.20%| unknown
1556.10/1560.21 c 1560s| 17000 | 16899 | 15177k| 839.8 | 365M | 91 | 479 |1180 |1050 | 88k| 3 |1057 |1844 | 1.713786e+02 | 1.940000e+02 | 13.20%| unknown
1563.48/1567.64 c 1568s| 17100 | 16999 | 15261k| 839.8 | 365M | 91 | 479 |1177 |1011 | 89k| 1 |1062 |1844 | 1.713811e+02 | 1.940000e+02 | 13.20%| unknown
1569.46/1573.65 c 1574s| 17200 | 17099 | 15327k| 838.8 | 365M | 91 | 479 |1176 |1049 | 89k| 1 |1065 |1846 | 1.713837e+02 | 1.940000e+02 | 13.20%| unknown
1576.04/1580.27 c 1580s| 17300 | 17199 | 15399k| 838.2 | 365M | 91 | 479 |1182 |1046 | 89k| 1 |1074 |1848 | 1.713862e+02 | 1.940000e+02 | 13.19%| unknown
1582.22/1586.50 c 1586s| 17400 | 17299 | 15468k| 837.4 | 365M | 91 | 479 |1186 |1074 | 90k| 3 |1079 |1848 | 1.713888e+02 | 1.940000e+02 | 13.19%| unknown
1588.21/1592.49 c 1592s| 17500 | 17399 | 15532k| 836.3 | 365M | 91 | 479 |1186 |1044 | 90k| 1 |1086 |1848 | 1.713920e+02 | 1.940000e+02 | 13.19%| unknown
1594.69/1598.99 c 1599s| 17600 | 17499 | 15601k| 835.5 | 365M | 91 | 479 |1190 |1056 | 91k| 1 |1093 |1851 | 1.713943e+02 | 1.940000e+02 | 13.19%| unknown
1601.17/1605.49 c 1605s| 17700 | 17599 | 15669k| 834.7 | 366M | 91 | 479 |1192 |1063 | 91k| 1 |1101 |1851 | 1.713960e+02 | 1.940000e+02 | 13.19%| unknown
1607.45/1611.76 c 1612s| 17800 | 17699 | 15737k| 833.9 | 366M | 91 | 479 |1189 |1057 | 92k| 1 |1103 |1851 | 1.713980e+02 | 1.940000e+02 | 13.19%| unknown
1615.12/1619.42 c 1619s| 17900 | 17799 | 15831k| 834.4 | 366M | 91 | 479 |1205 |1042 | 92k| 1 |1120 |1855 | 1.714010e+02 | 1.940000e+02 | 13.18%| unknown
1621.72/1626.09 c 1626s| 18000 | 17899 | 15903k| 833.8 | 366M | 91 | 479 |1208 |1051 | 92k| 4 |1124 |1860 | 1.714042e+02 | 1.940000e+02 | 13.18%| unknown
1628.09/1632.42 c 1632s| 18100 | 17999 | 15969k| 832.9 | 366M | 91 | 479 |1204 |1046 | 93k| 1 |1125 |1863 | 1.714068e+02 | 1.940000e+02 | 13.18%| unknown
1634.18/1638.51 c 1639s| 18200 | 18099 | 16038k| 832.2 | 366M | 91 | 479 |1201 |1067 | 93k| 1 |1130 |1865 | 1.714099e+02 | 1.940000e+02 | 13.18%| unknown
1639.96/1644.38 c 1644s| 18300 | 18199 | 16098k| 831.0 | 367M | 91 | 479 |1197 |1065 | 94k| 1 |1131 |1868 | 1.714139e+02 | 1.940000e+02 | 13.18%| unknown
1646.35/1650.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1646.35/1650.73 c 1651s| 18400 | 18299 | 16172k| 830.5 | 367M | 91 | 479 |1195 |1063 | 94k| 1 |1142 |1870 | 1.714172e+02 | 1.940000e+02 | 13.17%| unknown
1653.13/1657.55 c 1658s| 18500 | 18399 | 16247k| 830.1 | 367M | 91 | 479 |1196 |1076 | 95k| 1 |1149 |1872 | 1.714208e+02 | 1.940000e+02 | 13.17%| unknown
1659.92/1664.30 c 1664s| 18600 | 18499 | 16319k| 829.5 | 367M | 91 | 479 |1189 |1050 | 95k| 1 |1155 |1877 | 1.714236e+02 | 1.940000e+02 | 13.17%| unknown
1666.90/1671.38 c 1671s| 18700 | 18599 | 16406k| 829.7 | 367M | 91 | 479 |1183 |1068 | 95k| 1 |1158 |1879 | 1.714255e+02 | 1.940000e+02 | 13.17%| unknown
1672.39/1676.84 c 1677s| 18800 | 18699 | 16469k| 828.7 | 367M | 91 | 479 |1184 |1058 | 96k| 1 |1161 |1881 | 1.714263e+02 | 1.940000e+02 | 13.17%| unknown
1678.68/1683.12 c 1683s| 18900 | 18799 | 16538k| 828.0 | 367M | 91 | 479 |1190 |1008 | 96k| 1 |1170 |1882 | 1.714288e+02 | 1.940000e+02 | 13.17%| unknown
1685.25/1689.76 c 1690s| 19000 | 18899 | 16605k| 827.2 | 367M | 91 | 479 |1190 |1048 | 97k| 1 |1179 |1884 | 1.714317e+02 | 1.940000e+02 | 13.16%| unknown
1692.55/1697.02 c 1697s| 19100 | 18999 | 16676k| 826.6 | 367M | 91 | 479 |1191 |1040 | 97k| 1 |1184 |1887 | 1.714337e+02 | 1.940000e+02 | 13.16%| unknown
1698.82/1703.39 c 1703s| 19200 | 19099 | 16751k| 826.3 | 367M | 91 | 479 |1189 |1038 | 98k| 1 |1186 |1887 | 1.714362e+02 | 1.940000e+02 | 13.16%| unknown
1705.41/1709.98 c 1710s| 19300 | 19199 | 16822k| 825.7 | 367M | 91 | 479 |1189 |1059 | 98k| 1 |1188 |1890 | 1.714381e+02 | 1.940000e+02 | 13.16%| unknown
1711.19/1715.79 c 1716s| 19400 | 19299 | 16888k| 824.9 | 367M | 91 | 479 |1195 |1062 | 98k| 1 |1199 |1890 | 1.714415e+02 | 1.940000e+02 | 13.16%| unknown
1716.28/1720.82 c 1721s| 19500 | 19399 | 16947k| 823.7 | 367M | 91 | 479 |1196 |1047 | 99k| 1 |1203 |1893 | 1.714427e+02 | 1.940000e+02 | 13.16%| unknown
1724.96/1729.55 c 1730s| 19600 | 19499 | 17050k| 824.7 | 367M | 91 | 479 |1197 |1058 | 99k| 1 |1208 |1896 | 1.714450e+02 | 1.940000e+02 | 13.16%| unknown
1732.04/1736.68 c 1737s| 19700 | 19599 | 17119k| 824.1 | 367M | 91 | 479 |1195 |1069 | 100k| 4 |1213 |1903 | 1.714474e+02 | 1.940000e+02 | 13.15%| unknown
1738.73/1743.30 c 1743s| 19800 | 19699 | 17186k| 823.4 | 368M | 91 | 479 |1191 |1050 | 100k| 1 |1214 |1909 | 1.714494e+02 | 1.940000e+02 | 13.15%| unknown
1744.71/1749.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1744.71/1749.30 c 1749s| 19900 | 19799 | 17248k| 822.4 | 368M | 91 | 479 |1192 |1056 | 101k| 1 |1220 |1915 | 1.714506e+02 | 1.940000e+02 | 13.15%| unknown
1751.00/1755.62 c 1756s| 20000 | 19899 | 17317k| 821.8 | 368M | 91 | 479 |1192 |1054 | 101k| 1 |1227 |1917 | 1.714519e+02 | 1.940000e+02 | 13.15%| unknown
1757.28/1761.98 c 1762s| 20100 | 19999 | 17388k| 821.2 | 368M | 91 | 479 |1184 |1050 | 101k| 1 |1227 |1920 | 1.714538e+02 | 1.940000e+02 | 13.15%| unknown
1763.87/1768.51 c 1769s| 20200 | 20099 | 17458k| 820.7 | 368M | 91 | 479 |1182 |1030 | 102k| 1 |1233 |1921 | 1.714555e+02 | 1.940000e+02 | 13.15%| unknown
1769.95/1774.61 c 1775s| 20300 | 20199 | 17529k| 820.1 | 369M | 91 | 479 |1184 |1058 | 102k| 1 |1239 |1923 | 1.714577e+02 | 1.940000e+02 | 13.15%| unknown
1775.24/1780.00 c 1780s| 20400 | 20299 | 17589k| 819.1 | 369M | 91 | 479 |1179 |1046 | 103k| 1 |1239 |1927 | 1.714603e+02 | 1.940000e+02 | 13.15%| unknown
1782.82/1787.52 c 1788s| 20500 | 20399 | 17675k| 819.3 | 369M | 91 | 479 |1178 |1046 | 103k| 1 |1246 |1928 | 1.714624e+02 | 1.940000e+02 | 13.14%| unknown
1787.91/1792.61 c 1793s| 20600 | 20499 | 17738k| 818.4 | 369M | 91 | 479 |1176 |1050 | 103k| 1 |1247 |1928 | 1.714644e+02 | 1.940000e+02 | 13.14%| unknown
1793.80/1798.59 c 1799s| 20700 | 20599 | 17803k| 817.7 | 369M | 91 | 479 |1180 |1065 | 104k| 1 |1251 |1930 | 1.714672e+02 | 1.940000e+02 | 13.14%| unknown
1798.98/1803.76 c 1804s| 20800 | 20699 | 17861k| 816.6 | 369M | 91 | 479 |1181 |1038 | 104k| 1 |1256 |1932 | 1.714688e+02 | 1.940000e+02 | 13.14%| unknown
1806.57/1811.31 c 1811s| 20900 | 20799 | 17952k| 817.0 | 369M | 91 | 479 |1183 |1064 | 105k| 1 |1261 |1934 | 1.714713e+02 | 1.940000e+02 | 13.14%| unknown
1812.95/1817.74 c 1818s| 21000 | 20899 | 18027k| 816.7 | 369M | 91 | 479 |1186 |1057 | 105k| 1 |1265 |1934 | 1.714725e+02 | 1.940000e+02 | 13.14%| unknown
1819.73/1824.58 c 1825s| 21100 | 20999 | 18100k| 816.3 | 369M | 91 | 479 |1186 |1052 | 105k| 1 |1268 |1934 | 1.714756e+02 | 1.940000e+02 | 13.14%| unknown
1825.82/1830.69 c 1831s| 21200 | 21099 | 18167k| 815.6 | 370M | 91 | 479 |1182 |1060 | 106k| 1 |1268 |1934 | 1.714774e+02 | 1.940000e+02 | 13.13%| unknown
1833.70/1838.51 c 1839s| 21300 | 21199 | 18241k| 815.3 | 370M | 91 | 479 |1175 | 996 | 106k| 1 |1270 |1934 | 1.714783e+02 | 1.940000e+02 | 13.13%| unknown
1839.79/1844.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1839.79/1844.68 c 1845s| 21400 | 21299 | 18308k| 814.7 | 370M | 91 | 479 |1175 |1049 | 107k| 1 |1274 |1944 | 1.714797e+02 | 1.940000e+02 | 13.13%| unknown
1847.87/1852.78 c 1853s| 21500 | 21399 | 18386k| 814.5 | 370M | 91 | 479 |1179 | 996 | 107k| 1 |1284 |1947 | 1.714819e+02 | 1.940000e+02 | 13.13%| unknown
1854.05/1858.93 c 1859s| 21600 | 21499 | 18456k| 814.0 | 370M | 91 | 479 |1178 |1061 | 107k| 1 |1290 |1950 | 1.714837e+02 | 1.940000e+02 | 13.13%| unknown
1860.34/1865.21 c 1865s| 21700 | 21599 | 18524k| 813.4 | 370M | 91 | 479 |1175 |1059 | 108k| 1 |1290 |1950 | 1.714866e+02 | 1.940000e+02 | 13.13%| unknown
1867.53/1872.47 c 1872s| 21800 | 21699 | 18617k| 813.9 | 370M | 91 | 479 |1173 |1052 | 108k| 1 |1293 |1953 | 1.714894e+02 | 1.940000e+02 | 13.13%| unknown
1873.42/1878.36 c 1878s| 21900 | 21799 | 18683k| 813.3 | 370M | 91 | 479 |1181 |1064 | 109k| 1 |1304 |1954 | 1.714916e+02 | 1.940000e+02 | 13.13%| unknown
1879.70/1884.67 c 1885s| 22000 | 21899 | 18755k| 812.8 | 370M | 91 | 479 |1188 |1051 | 109k| 1 |1312 |1955 | 1.714930e+02 | 1.940000e+02 | 13.12%| unknown
1885.49/1890.42 c 1890s| 22100 | 21999 | 18817k| 812.0 | 370M | 91 | 479 |1188 |1063 | 109k| 1 |1315 |1956 | 1.714962e+02 | 1.940000e+02 | 13.12%| unknown
1892.87/1897.80 c 1898s| 22200 | 22099 | 18903k| 812.2 | 370M | 91 | 479 |1189 |1062 | 110k| 1 |1322 |1957 | 1.714984e+02 | 1.940000e+02 | 13.12%| unknown
1898.36/1903.35 c 1903s| 22300 | 22199 | 18968k| 811.5 | 370M | 91 | 479 |1189 |1073 | 110k| 1 |1326 |1960 | 1.715001e+02 | 1.940000e+02 | 13.12%| unknown
1904.44/1909.42 c 1909s| 22400 | 22299 | 19034k| 810.9 | 370M | 91 | 479 |1192 |1054 | 111k| 1 |1332 |1961 | 1.715020e+02 | 1.940000e+02 | 13.12%| unknown
1910.33/1915.37 c 1915s| 22500 | 22399 | 19101k| 810.3 | 370M | 91 | 479 |1198 |1067 | 111k| 1 |1342 |1963 | 1.715039e+02 | 1.940000e+02 | 13.12%| unknown
1916.03/1921.02 c 1921s| 22600 | 22499 | 19167k| 809.6 | 370M | 91 | 479 |1199 |1046 | 111k| 1 |1346 |1965 | 1.715059e+02 | 1.940000e+02 | 13.12%| unknown
1923.01/1928.03 c 1928s| 22700 | 22599 | 19243k| 809.4 | 370M | 91 | 479 |1192 |1046 | 112k| 1 |1350 |1967 | 1.715091e+02 | 1.940000e+02 | 13.11%| unknown
1928.59/1933.66 c 1934s| 22800 | 22699 | 19307k| 808.7 | 370M | 91 | 479 |1189 |1059 | 112k| 1 |1350 |1969 | 1.715107e+02 | 1.940000e+02 | 13.11%| unknown
1935.27/1940.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1935.27/1940.34 c 1940s| 22900 | 22799 | 19376k| 808.2 | 370M | 91 | 479 |1187 |1051 | 113k| 1 |1351 |1978 | 1.715129e+02 | 1.940000e+02 | 13.11%| unknown
1941.66/1946.74 c 1947s| 23000 | 22899 | 19446k| 807.8 | 370M | 91 | 479 |1197 |1056 | 113k| 3 |1363 |1980 | 1.715150e+02 | 1.940000e+02 | 13.11%| unknown
1947.44/1952.54 c 1953s| 23100 | 22999 | 19510k| 807.1 | 370M | 91 | 479 |1195 |1053 | 113k| 1 |1363 |1981 | 1.715179e+02 | 1.940000e+02 | 13.11%| unknown
1954.33/1959.46 c 1959s| 23200 | 23099 | 19593k| 807.2 | 370M | 91 | 479 |1196 |1059 | 114k| 1 |1367 |1982 | 1.715197e+02 | 1.940000e+02 | 13.11%| unknown
1960.41/1965.55 c 1966s| 23300 | 23199 | 19659k| 806.6 | 370M | 91 | 479 |1201 |1045 | 114k| 1 |1376 |1990 | 1.715220e+02 | 1.940000e+02 | 13.11%| unknown
1965.91/1971.07 c 1971s| 23400 | 23299 | 19722k| 805.8 | 370M | 91 | 479 |1210 |1054 | 115k| 1 |1388 |1993 | 1.715234e+02 | 1.940000e+02 | 13.10%| unknown
1972.58/1977.76 c 1978s| 23500 | 23399 | 19794k| 805.5 | 370M | 91 | 479 |1209 |1063 | 115k| 1 |1390 |1998 | 1.715249e+02 | 1.940000e+02 | 13.10%| unknown
1978.07/1983.27 c 1983s| 23600 | 23499 | 19853k| 804.6 | 370M | 91 | 479 |1217 |1037 | 115k| 1 |1400 |2002 | 1.715263e+02 | 1.940000e+02 | 13.10%| unknown
1985.05/1990.26 c 1990s| 23700 | 23599 | 19930k| 804.5 | 370M | 91 | 479 |1219 |1063 | 116k| 1 |1406 |2002 | 1.715279e+02 | 1.940000e+02 | 13.10%| unknown
1990.85/1996.10 c 1996s| 23800 | 23699 | 19997k| 804.0 | 371M | 91 | 479 |1217 |1052 | 116k| 1 |1410 |2003 | 1.715288e+02 | 1.940000e+02 | 13.10%| unknown
1997.62/2002.84 c 2003s| 23900 | 23799 | 20069k| 803.6 | 371M | 91 | 479 |1216 |1064 | 117k| 3 |1418 |2005 | 1.715308e+02 | 1.940000e+02 | 13.10%| unknown
2002.92/2008.18 c 2008s| 24000 | 23899 | 20130k| 802.9 | 371M | 91 | 479 |1215 |1047 | 117k| 1 |1420 |2005 | 1.715322e+02 | 1.940000e+02 | 13.10%| unknown
2009.49/2014.71 c 2015s| 24100 | 23999 | 20215k| 803.0 | 371M | 91 | 479 |1211 |1070 | 117k| 1 |1421 |2006 | 1.715341e+02 | 1.940000e+02 | 13.10%| unknown
2015.48/2020.75 c 2021s| 24200 | 24099 | 20283k| 802.5 | 371M | 91 | 479 |1216 |1051 | 118k| 1 |1428 |2006 | 1.715357e+02 | 1.940000e+02 | 13.10%| unknown
2021.88/2027.12 c 2027s| 24300 | 24199 | 20351k| 802.0 | 372M | 91 | 479 |1213 |1053 | 118k| 1 |1431 |2007 | 1.715367e+02 | 1.940000e+02 | 13.10%| unknown
2027.95/2033.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2027.95/2033.27 c 2033s| 24400 | 24299 | 20419k| 801.6 | 372M | 91 | 479 |1215 |1069 | 119k| 1 |1437 |2008 | 1.715378e+02 | 1.940000e+02 | 13.09%| unknown
2034.03/2039.33 c 2039s| 24500 | 24399 | 20488k| 801.2 | 372M | 91 | 479 |1213 |1044 | 119k| 1 |1440 |2008 | 1.715397e+02 | 1.940000e+02 | 13.09%| unknown
2041.22/2046.57 c 2047s| 24600 | 24499 | 20562k| 800.9 | 372M | 91 | 479 |1205 |1064 | 120k| 1 |1445 |2010 | 1.715416e+02 | 1.940000e+02 | 13.09%| unknown
2047.60/2052.96 c 2053s| 24700 | 24599 | 20637k| 800.7 | 372M | 91 | 479 |1200 |1061 | 120k| 1 |1447 |2010 | 1.715443e+02 | 1.940000e+02 | 13.09%| unknown
2052.59/2057.94 c 2058s| 24800 | 24699 | 20694k| 799.8 | 373M | 91 | 479 |1201 |1048 | 120k| 1 |1451 |2013 | 1.715454e+02 | 1.940000e+02 | 13.09%| unknown
2059.28/2064.65 c 2065s| 24900 | 24799 | 20765k| 799.4 | 373M | 91 | 479 |1194 |1071 | 121k| 1 |1451 |2013 | 1.715469e+02 | 1.940000e+02 | 13.09%| unknown
2065.67/2071.01 c 2071s| 25000 | 24899 | 20838k| 799.2 | 373M | 91 | 479 |1195 |1043 | 121k| 1 |1455 |2014 | 1.715485e+02 | 1.940000e+02 | 13.09%| unknown
2072.94/2078.33 c 2078s| 25100 | 24999 | 20928k| 799.6 | 373M | 91 | 479 |1190 |1064 | 122k| 1 |1457 |2018 | 1.715497e+02 | 1.940000e+02 | 13.09%| unknown
2079.93/2085.38 c 2085s| 25200 | 25099 | 21002k| 799.3 | 373M | 91 | 479 |1190 |1043 | 122k| 1 |1462 |2026 | 1.715507e+02 | 1.940000e+02 | 13.09%| unknown
2085.21/2090.69 c 2091s| 25300 | 25199 | 21061k| 798.6 | 373M | 91 | 479 |1185 |1033 | 122k| 1 |1463 |2026 | 1.715514e+02 | 1.940000e+02 | 13.09%| unknown
2091.20/2096.62 c 2097s| 25400 | 25299 | 21128k| 798.1 | 373M | 91 | 479 |1179 |1063 | 123k| 4 |1468 |2030 | 1.715532e+02 | 1.940000e+02 | 13.08%| unknown
2097.28/2102.74 c 2103s| 25500 | 25399 | 21196k| 797.6 | 373M | 91 | 479 |1181 |1064 | 123k| 1 |1477 |2032 | 1.715551e+02 | 1.940000e+02 | 13.08%| unknown
2103.37/2108.86 c 2109s| 25600 | 25499 | 21264k| 797.2 | 373M | 91 | 479 |1180 |1044 | 124k| 1 |1481 |2032 | 1.715560e+02 | 1.940000e+02 | 13.08%| unknown
2109.06/2114.57 c 2115s| 25700 | 25599 | 21328k| 796.6 | 373M | 91 | 479 |1182 |1081 | 124k| 1 |1490 |2033 | 1.715573e+02 | 1.940000e+02 | 13.08%| unknown
2114.34/2119.85 c 2120s| 25800 | 25699 | 21388k| 795.9 | 373M | 91 | 479 |1184 |1053 | 124k| 1 |1498 |2034 | 1.715588e+02 | 1.940000e+02 | 13.08%| unknown
2120.64/2126.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2120.64/2126.17 c 2126s| 25900 | 25799 | 21455k| 795.4 | 373M | 91 | 479 |1178 |1045 | 125k| 1 |1499 |2036 | 1.715619e+02 | 1.940000e+02 | 13.08%| unknown
2128.11/2133.60 c 2134s| 26000 | 25899 | 21546k| 795.8 | 373M | 91 | 479 |1179 |1062 | 125k| 1 |1506 |2038 | 1.715633e+02 | 1.940000e+02 | 13.08%| unknown
2134.51/2140.03 c 2140s| 26100 | 25999 | 21613k| 795.4 | 374M | 91 | 479 |1178 |1046 | 126k| 1 |1509 |2040 | 1.715656e+02 | 1.940000e+02 | 13.08%| unknown
2140.78/2146.34 c 2146s| 26200 | 26099 | 21683k| 795.0 | 374M | 91 | 479 |1177 |1040 | 126k| 1 |1514 |2042 | 1.715677e+02 | 1.940000e+02 | 13.07%| unknown
2145.67/2151.29 c 2151s| 26300 | 26199 | 21741k| 794.2 | 374M | 91 | 479 |1172 |1063 | 126k| 1 |1515 |2042 | 1.715688e+02 | 1.940000e+02 | 13.07%| unknown
2152.25/2157.81 c 2158s| 26400 | 26299 | 21813k| 794.0 | 374M | 91 | 479 |1177 |1056 | 127k| 1 |1525 |2043 | 1.715709e+02 | 1.940000e+02 | 13.07%| unknown
2157.94/2163.50 c 2163s| 26500 | 26399 | 21875k| 793.3 | 374M | 91 | 479 |1184 |1050 | 127k| 1 |1534 |2044 | 1.715723e+02 | 1.940000e+02 | 13.07%| unknown
2165.62/2171.22 c 2171s| 26600 | 26499 | 21960k| 793.5 | 374M | 91 | 479 |1179 |1069 | 128k| 1 |1539 |2044 | 1.715733e+02 | 1.940000e+02 | 13.07%| unknown
2170.81/2176.45 c 2176s| 26700 | 26599 | 22019k| 792.8 | 374M | 91 | 479 |1182 |1065 | 128k| 1 |1545 |2046 | 1.715755e+02 | 1.940000e+02 | 13.07%| unknown
2177.79/2183.43 c 2183s| 26800 | 26699 | 22094k| 792.7 | 374M | 91 | 479 |1182 |1059 | 128k| 1 |1547 |2053 | 1.715777e+02 | 1.940000e+02 | 13.07%| unknown
2183.39/2189.06 c 2189s| 26900 | 26799 | 22153k| 791.9 | 374M | 91 | 479 |1185 |1056 | 129k| 1 |1553 |2058 | 1.715798e+02 | 1.940000e+02 | 13.07%| unknown
2191.66/2197.34 c 2197s| 27000 | 26899 | 22250k| 792.6 | 374M | 91 | 479 |1193 |1051 | 129k| 1 |1562 |2062 | 1.715812e+02 | 1.940000e+02 | 13.07%| unknown
2197.25/2202.99 c 2203s| 27100 | 26999 | 22307k| 791.8 | 374M | 91 | 479 |1189 |1006 | 129k| 1 |1562 |2067 | 1.715832e+02 | 1.940000e+02 | 13.06%| unknown
2204.03/2209.77 c 2210s| 27200 | 27099 | 22377k| 791.4 | 374M | 91 | 479 |1192 |1056 | 130k| 1 |1568 |2068 | 1.715854e+02 | 1.940000e+02 | 13.06%| unknown
2209.82/2215.58 c 2216s| 27300 | 27199 | 22443k| 791.0 | 375M | 91 | 479 |1192 |1058 | 130k| 1 |1569 |2071 | 1.715862e+02 | 1.940000e+02 | 13.06%| unknown
2216.00/2221.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2216.00/2221.75 c 2222s| 27400 | 27299 | 22516k| 790.8 | 375M | 91 | 479 |1193 |1050 | 131k| 1 |1574 |2072 | 1.715880e+02 | 1.940000e+02 | 13.06%| unknown
2222.69/2228.49 c 2228s| 27500 | 27399 | 22582k| 790.3 | 375M | 91 | 479 |1195 |1045 | 131k| 1 |1579 |2077 | 1.715890e+02 | 1.940000e+02 | 13.06%| unknown
2229.38/2235.13 c 2235s| 27600 | 27499 | 22652k| 790.0 | 375M | 91 | 479 |1191 |1060 | 131k| 1 |1582 |2078 | 1.715903e+02 | 1.940000e+02 | 13.06%| unknown
2235.06/2240.84 c 2241s| 27700 | 27599 | 22716k| 789.4 | 375M | 91 | 479 |1189 |1086 | 132k| 4 |1584 |2081 | 1.715917e+02 | 1.940000e+02 | 13.06%| unknown
2240.36/2246.19 c 2246s| 27800 | 27699 | 22774k| 788.8 | 375M | 91 | 479 |1187 |1052 | 132k| 1 |1586 |2085 | 1.715931e+02 | 1.940000e+02 | 13.06%| unknown
2245.93/2251.74 c 2252s| 27900 | 27799 | 22833k| 788.0 | 375M | 91 | 479 |1190 |1066 | 132k| 1 |1594 |2089 | 1.715940e+02 | 1.940000e+02 | 13.06%| unknown
2251.62/2257.41 c 2257s| 28000 | 27899 | 22898k| 787.6 | 376M | 91 | 479 |1187 |1071 | 133k| 4 |1598 |2090 | 1.715951e+02 | 1.940000e+02 | 13.06%| unknown
2259.10/2264.98 c 2265s| 28100 | 27999 | 22989k| 788.0 | 376M | 91 | 479 |1185 |1072 | 133k| 4 |1600 |2093 | 1.715963e+02 | 1.940000e+02 | 13.06%| unknown
2264.89/2270.77 c 2271s| 28200 | 28099 | 23051k| 787.4 | 376M | 91 | 479 |1182 |1057 | 134k| 1 |1600 |2093 | 1.715973e+02 | 1.940000e+02 | 13.06%| unknown
2270.77/2276.67 c 2277s| 28300 | 28199 | 23121k| 787.1 | 376M | 91 | 479 |1181 |1067 | 134k| 3 |1604 |2093 | 1.715989e+02 | 1.940000e+02 | 13.05%| unknown
2276.76/2282.61 c 2283s| 28400 | 28299 | 23185k| 786.6 | 376M | 91 | 479 |1178 |1064 | 134k| 1 |1606 |2096 | 1.716009e+02 | 1.940000e+02 | 13.05%| unknown
2282.45/2288.39 c 2288s| 28500 | 28399 | 23250k| 786.1 | 377M | 91 | 479 |1176 |1046 | 135k| 1 |1606 |2097 | 1.716018e+02 | 1.940000e+02 | 13.05%| unknown
2288.03/2293.97 c 2294s| 28600 | 28499 | 23311k| 785.6 | 377M | 91 | 479 |1178 |1052 | 135k| 1 |1610 |2100 | 1.716026e+02 | 1.940000e+02 | 13.05%| unknown
2294.62/2300.55 c 2301s| 28700 | 28599 | 23383k| 785.3 | 377M | 91 | 479 |1182 |1054 | 136k| 1 |1621 |2101 | 1.716043e+02 | 1.940000e+02 | 13.05%| unknown
2300.40/2306.36 c 2306s| 28800 | 28699 | 23449k| 784.9 | 377M | 91 | 479 |1187 |1038 | 136k| 1 |1629 |2103 | 1.716061e+02 | 1.940000e+02 | 13.05%| unknown
2306.29/2312.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2306.29/2312.28 c 2312s| 28900 | 28799 | 23512k| 784.4 | 377M | 91 | 479 |1184 |1045 | 136k| 1 |1631 |2103 | 1.716080e+02 | 1.940000e+02 | 13.05%| unknown
2311.58/2317.55 c 2318s| 29000 | 28899 | 23572k| 783.8 | 377M | 91 | 479 |1183 |1048 | 137k| 1 |1631 |2105 | 1.716106e+02 | 1.940000e+02 | 13.05%| unknown
2318.66/2324.65 c 2325s| 29100 | 28999 | 23643k| 783.5 | 377M | 91 | 479 |1188 |1067 | 137k| 1 |1642 |2111 | 1.716122e+02 | 1.940000e+02 | 13.05%| unknown
2326.05/2332.07 c 2332s| 29200 | 29099 | 23725k| 783.7 | 377M | 91 | 479 |1187 |1036 | 137k| 1 |1645 |2118 | 1.716137e+02 | 1.940000e+02 | 13.04%| unknown
2332.83/2338.82 c 2339s| 29300 | 29199 | 23798k| 783.5 | 377M | 91 | 479 |1190 |1060 | 138k| 1 |1652 |2123 | 1.716147e+02 | 1.940000e+02 | 13.04%| unknown
2339.12/2345.15 c 2345s| 29400 | 29299 | 23862k| 783.0 | 377M | 91 | 479 |1192 |1052 | 138k| 1 |1661 |2125 | 1.716159e+02 | 1.940000e+02 | 13.04%| unknown
2345.60/2351.63 c 2352s| 29500 | 29399 | 23933k| 782.8 | 377M | 91 | 479 |1198 |1054 | 139k| 1 |1669 |2127 | 1.716174e+02 | 1.940000e+02 | 13.04%| unknown
2350.88/2356.95 c 2357s| 29600 | 29499 | 23994k| 782.2 | 377M | 91 | 479 |1202 |1057 | 139k| 1 |1676 |2127 | 1.716186e+02 | 1.940000e+02 | 13.04%| unknown
2358.17/2364.21 c 2364s| 29700 | 29599 | 24066k| 782.0 | 378M | 91 | 479 |1204 |1050 | 139k| 1 |1683 |2130 | 1.716199e+02 | 1.940000e+02 | 13.04%| unknown
2363.25/2369.38 c 2369s| 29800 | 29699 | 24129k| 781.5 | 378M | 91 | 479 |1207 |1040 | 140k| 1 |1688 |2132 | 1.716212e+02 | 1.940000e+02 | 13.04%| unknown
2370.24/2376.30 c 2376s| 29900 | 29799 | 24200k| 781.3 | 378M | 91 | 479 |1206 |1044 | 140k| 1 |1690 |2133 | 1.716221e+02 | 1.940000e+02 | 13.04%| unknown
2375.82/2381.97 c 2382s| 30000 | 29899 | 24263k| 780.8 | 378M | 91 | 479 |1209 |1036 | 141k| 1 |1695 |2134 | 1.716233e+02 | 1.940000e+02 | 13.04%| unknown
2382.02/2388.15 c 2388s| 30100 | 29999 | 24341k| 780.8 | 378M | 91 | 479 |1211 |1066 | 141k| 1 |1697 |2136 | 1.716250e+02 | 1.940000e+02 | 13.04%| unknown
2388.00/2394.14 c 2394s| 30200 | 30099 | 24413k| 780.6 | 378M | 91 | 479 |1208 |1050 | 141k| 1 |1699 |2137 | 1.716259e+02 | 1.940000e+02 | 13.04%| unknown
2394.17/2400.35 c 2400s| 30300 | 30199 | 24476k| 780.1 | 379M | 91 | 479 |1209 |1066 | 142k| 1 |1705 |2139 | 1.716268e+02 | 1.940000e+02 | 13.04%| unknown
2399.56/2405.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2399.56/2405.70 c 2406s| 30400 | 30299 | 24533k| 779.5 | 379M | 91 | 479 |1209 |1056 | 142k| 1 |1707 |2141 | 1.716277e+02 | 1.940000e+02 | 13.04%| unknown
2406.44/2412.64 c 2413s| 30500 | 30399 | 24606k| 779.3 | 379M | 91 | 479 |1218 |1071 | 143k| 1 |1718 |2141 | 1.716289e+02 | 1.940000e+02 | 13.03%| unknown
2412.32/2418.55 c 2419s| 30600 | 30499 | 24672k| 778.9 | 379M | 91 | 479 |1217 |1050 | 143k| 1 |1718 |2141 | 1.716300e+02 | 1.940000e+02 | 13.03%| unknown
2418.91/2425.16 c 2425s| 30700 | 30599 | 24743k| 778.7 | 379M | 91 | 479 |1219 |1050 | 143k| 1 |1722 |2145 | 1.716312e+02 | 1.940000e+02 | 13.03%| unknown
2424.58/2430.82 c 2431s| 30800 | 30699 | 24808k| 778.3 | 379M | 91 | 479 |1222 |1056 | 144k| 1 |1726 |2147 | 1.716320e+02 | 1.940000e+02 | 13.03%| unknown
2431.16/2437.42 c 2437s| 30900 | 30799 | 24881k| 778.2 | 379M | 91 | 479 |1227 |1038 | 144k| 1 |1731 |2148 | 1.716330e+02 | 1.940000e+02 | 13.03%| unknown
2437.05/2443.39 c 2443s| 31000 | 30899 | 24949k| 777.8 | 380M | 91 | 479 |1230 |1060 | 144k| 1 |1735 |2150 | 1.716350e+02 | 1.940000e+02 | 13.03%| unknown
2442.33/2448.62 c 2449s| 31100 | 30999 | 25006k| 777.2 | 380M | 91 | 479 |1223 |1049 | 145k| 1 |1739 |2151 | 1.716360e+02 | 1.940000e+02 | 13.03%| unknown
2450.31/2456.63 c 2457s| 31200 | 31099 | 25101k| 777.8 | 380M | 91 | 479 |1217 |1045 | 145k| 1 |1744 |2158 | 1.716374e+02 | 1.940000e+02 | 13.03%| unknown
2455.89/2462.27 c 2462s| 31300 | 31199 | 25162k| 777.2 | 380M | 91 | 479 |1211 |1065 | 145k| 1 |1745 |2163 | 1.716390e+02 | 1.940000e+02 | 13.03%| unknown
2461.18/2467.54 c 2468s| 31400 | 31299 | 25220k| 776.6 | 380M | 91 | 479 |1206 |1029 | 146k| 3 |1749 |2169 | 1.716398e+02 | 1.940000e+02 | 13.03%| unknown
2468.55/2474.91 c 2475s| 31500 | 31399 | 25308k| 776.9 | 380M | 91 | 479 |1211 |1034 | 146k| 1 |1758 |2172 | 1.716411e+02 | 1.940000e+02 | 13.03%| unknown
2474.04/2480.48 c 2480s| 31600 | 31499 | 25369k| 776.4 | 380M | 91 | 479 |1212 |1053 | 147k| 1 |1764 |2176 | 1.716424e+02 | 1.940000e+02 | 13.03%| unknown
2479.52/2485.91 c 2486s| 31700 | 31599 | 25432k| 776.0 | 380M | 91 | 479 |1215 |1056 | 147k| 3 |1768 |2176 | 1.716440e+02 | 1.940000e+02 | 13.02%| unknown
2485.51/2491.90 c 2492s| 31800 | 31699 | 25496k| 775.6 | 380M | 91 | 479 |1212 |1063 | 147k| 1 |1770 |2179 | 1.716457e+02 | 1.940000e+02 | 13.02%| unknown
2491.79/2498.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2491.79/2498.20 c 2498s| 31900 | 31799 | 25564k| 775.3 | 380M | 91 | 479 |1206 |1042 | 148k| 1 |1772 |2180 | 1.716469e+02 | 1.940000e+02 | 13.02%| unknown
2497.68/2504.14 c 2504s| 32000 | 31899 | 25625k| 774.8 | 380M | 91 | 479 |1204 |1056 | 148k| 1 |1777 |2183 | 1.716483e+02 | 1.940000e+02 | 13.02%| unknown
2503.45/2509.96 c 2510s| 32100 | 31999 | 25689k| 774.4 | 380M | 91 | 479 |1207 |1056 | 149k| 1 |1781 |2186 | 1.716493e+02 | 1.940000e+02 | 13.02%| unknown
2509.83/2516.37 c 2516s| 32200 | 32099 | 25759k| 774.1 | 380M | 91 | 479 |1207 |1055 | 149k| 1 |1789 |2189 | 1.716504e+02 | 1.940000e+02 | 13.02%| unknown
2514.92/2521.42 c 2521s| 32300 | 32199 | 25817k| 773.6 | 380M | 91 | 479 |1207 |1086 | 149k| 3 |1790 |2190 | 1.716524e+02 | 1.940000e+02 | 13.02%| unknown
2520.51/2527.03 c 2527s| 32400 | 32299 | 25877k| 773.0 | 380M | 91 | 479 |1214 |1063 | 150k| 1 |1800 |2191 | 1.716538e+02 | 1.940000e+02 | 13.02%| unknown
2526.78/2533.33 c 2533s| 32500 | 32399 | 25960k| 773.2 | 380M | 91 | 479 |1214 |1060 | 150k| 1 |1803 |2192 | 1.716544e+02 | 1.940000e+02 | 13.02%| unknown
2532.58/2539.17 c 2539s| 32600 | 32499 | 26026k| 772.9 | 380M | 91 | 479 |1212 |1033 | 150k| 1 |1804 |2193 | 1.716547e+02 | 1.940000e+02 | 13.02%| unknown
2538.35/2544.96 c 2545s| 32700 | 32599 | 26092k| 772.5 | 380M | 91 | 479 |1212 |1056 | 151k| 1 |1809 |2196 | 1.716563e+02 | 1.940000e+02 | 13.02%| unknown
2543.14/2549.70 c 2550s| 32800 | 32699 | 26145k| 771.8 | 380M | 91 | 479 |1208 |1063 | 151k| 1 |1809 |2197 | 1.716578e+02 | 1.940000e+02 | 13.02%| unknown
2549.12/2555.76 c 2556s| 32900 | 32799 | 26213k| 771.5 | 380M | 91 | 479 |1209 |1060 | 151k| 1 |1814 |2197 | 1.716588e+02 | 1.940000e+02 | 13.01%| unknown
2555.60/2562.27 c 2562s| 33000 | 32899 | 26285k| 771.4 | 380M | 91 | 479 |1205 |1051 | 152k| 1 |1816 |2198 | 1.716594e+02 | 1.940000e+02 | 13.01%| unknown
2561.68/2568.37 c 2568s| 33100 | 32999 | 26351k| 771.1 | 380M | 91 | 479 |1208 |1064 | 152k| 1 |1822 |2199 | 1.716605e+02 | 1.940000e+02 | 13.01%| unknown
2566.97/2573.69 c 2574s| 33200 | 33099 | 26412k| 770.6 | 380M | 91 | 479 |1209 |1059 | 152k| 1 |1826 |2201 | 1.716619e+02 | 1.940000e+02 | 13.01%| unknown
2572.85/2579.52 c 2580s| 33300 | 33199 | 26473k| 770.1 | 380M | 91 | 479 |1207 |1047 | 153k| 1 |1829 |2203 | 1.716636e+02 | 1.940000e+02 | 13.01%| unknown
2577.45/2584.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2577.45/2584.13 c 2584s| 33400 | 33299 | 26529k| 769.5 | 380M | 91 | 479 |1201 |1056 | 153k| 1 |1830 |2203 | 1.716645e+02 | 1.940000e+02 | 13.01%| unknown
2582.62/2589.34 c 2589s| 33500 | 33399 | 26587k| 769.0 | 380M | 91 | 479 |1196 |1049 | 153k| 1 |1833 |2206 | 1.716657e+02 | 1.940000e+02 | 13.01%| unknown
2588.32/2595.07 c 2595s| 33600 | 33499 | 26650k| 768.6 | 381M | 91 | 479 |1200 |1054 | 154k| 1 |1842 |2207 | 1.716671e+02 | 1.940000e+02 | 13.01%| unknown
2595.49/2602.26 c 2602s| 33700 | 33599 | 26735k| 768.8 | 381M | 91 | 479 |1196 |1041 | 154k| 1 |1844 |2212 | 1.716685e+02 | 1.940000e+02 | 13.01%| unknown
2600.87/2607.64 c 2608s| 33800 | 33699 | 26795k| 768.3 | 381M | 91 | 479 |1198 |1077 | 154k| 1 |1849 |2214 | 1.716691e+02 | 1.940000e+02 | 13.01%| unknown
2606.37/2613.15 c 2613s| 33900 | 33799 | 26857k| 767.9 | 381M | 91 | 479 |1199 |1037 | 155k| 1 |1854 |2217 | 1.716699e+02 | 1.940000e+02 | 13.01%| unknown
2612.14/2618.99 c 2619s| 34000 | 33899 | 26920k| 767.5 | 381M | 91 | 479 |1198 |1070 | 155k| 3 |1858 |2219 | 1.716713e+02 | 1.940000e+02 | 13.01%| unknown
2619.13/2625.92 c 2626s| 34100 | 33999 | 27008k| 767.8 | 381M | 91 | 479 |1195 |1065 | 155k| 1 |1859 |2222 | 1.716729e+02 | 1.940000e+02 | 13.01%| unknown
2624.71/2631.55 c 2632s| 34200 | 34099 | 27069k| 767.4 | 381M | 91 | 479 |1202 |1043 | 156k| 1 |1869 |2222 | 1.716741e+02 | 1.940000e+02 | 13.00%| unknown
2628.90/2635.78 c 2636s| 34300 | 34199 | 27117k| 766.6 | 381M | 91 | 479 |1201 |1062 | 156k| 1 |1869 |2224 | 1.716750e+02 | 1.940000e+02 | 13.00%| unknown
2635.09/2641.92 c 2642s| 34400 | 34299 | 27185k| 766.3 | 381M | 91 | 479 |1201 |1056 | 156k| 1 |1875 |2225 | 1.716761e+02 | 1.940000e+02 | 13.00%| unknown
2640.29/2647.12 c 2647s| 34500 | 34399 | 27244k| 765.8 | 381M | 91 | 479 |1205 |1069 | 157k| 1 |1884 |2226 | 1.716781e+02 | 1.940000e+02 | 13.00%| unknown
2647.27/2654.11 c 2654s| 34600 | 34499 | 27318k| 765.8 | 381M | 91 | 479 |1209 |1051 | 157k| 4 |1891 |2227 | 1.716794e+02 | 1.940000e+02 | 13.00%| unknown
2652.55/2659.46 c 2659s| 34700 | 34599 | 27376k| 765.2 | 382M | 91 | 479 |1214 |1077 | 157k| 1 |1899 |2228 | 1.716804e+02 | 1.940000e+02 | 13.00%| unknown
2659.03/2665.90 c 2666s| 34800 | 34699 | 27446k| 765.1 | 382M | 91 | 479 |1213 |1050 | 158k| 1 |1901 |2228 | 1.716814e+02 | 1.940000e+02 | 13.00%| unknown
2665.02/2671.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2665.02/2671.93 c 2672s| 34900 | 34799 | 27514k| 764.8 | 382M | 91 | 479 |1210 |1042 | 158k| 1 |1902 |2229 | 1.716829e+02 | 1.940000e+02 | 13.00%| unknown
2670.61/2677.51 c 2678s| 35000 | 34899 | 27575k| 764.4 | 382M | 91 | 479 |1209 |1035 | 158k| 1 |1902 |2231 | 1.716837e+02 | 1.940000e+02 | 13.00%| unknown
2675.59/2682.57 c 2683s| 35100 | 34999 | 27633k| 763.9 | 382M | 91 | 479 |1208 |1062 | 159k| 1 |1905 |2231 | 1.716857e+02 | 1.940000e+02 | 13.00%| unknown
2682.98/2689.96 c 2690s| 35200 | 35099 | 27719k| 764.1 | 382M | 91 | 479 |1212 |1054 | 159k| 1 |1914 |2236 | 1.716869e+02 | 1.940000e+02 | 13.00%| unknown
2687.66/2694.61 c 2695s| 35300 | 35199 | 27773k| 763.5 | 382M | 91 | 479 |1211 |1037 | 159k| 1 |1917 |2236 | 1.716887e+02 | 1.940000e+02 | 13.00%| unknown
2693.45/2700.40 c 2700s| 35400 | 35299 | 27837k| 763.2 | 382M | 91 | 479 |1206 |1068 | 160k| 1 |1920 |2236 | 1.716894e+02 | 1.940000e+02 | 12.99%| unknown
2698.44/2705.49 c 2705s| 35500 | 35399 | 27896k| 762.7 | 382M | 91 | 479 |1206 |1042 | 160k| 1 |1922 |2237 | 1.716902e+02 | 1.940000e+02 | 12.99%| unknown
2706.22/2713.27 c 2713s| 35600 | 35499 | 27991k| 763.2 | 382M | 91 | 479 |1208 |1055 | 161k| 1 |1931 |2239 | 1.716915e+02 | 1.940000e+02 | 12.99%| unknown
2711.51/2718.50 c 2718s| 35700 | 35599 | 28049k| 762.7 | 382M | 91 | 479 |1210 |1051 | 161k| 1 |1936 |2243 | 1.716924e+02 | 1.940000e+02 | 12.99%| unknown
2717.20/2724.28 c 2724s| 35800 | 35699 | 28112k| 762.4 | 382M | 91 | 479 |1209 |1057 | 161k| 1 |1940 |2244 | 1.716941e+02 | 1.940000e+02 | 12.99%| unknown
2723.28/2730.30 c 2730s| 35900 | 35799 | 28177k| 762.1 | 383M | 91 | 479 |1203 |1056 | 162k| 1 |1940 |2245 | 1.716951e+02 | 1.940000e+02 | 12.99%| unknown
2728.37/2735.46 c 2735s| 36000 | 35899 | 28234k| 761.5 | 383M | 91 | 479 |1206 |1066 | 162k| 1 |1948 |2246 | 1.716962e+02 | 1.940000e+02 | 12.99%| unknown
2734.55/2741.61 c 2742s| 36100 | 35999 | 28303k| 761.4 | 384M | 91 | 479 |1215 |1045 | 162k| 1 |1959 |2248 | 1.716971e+02 | 1.940000e+02 | 12.99%| unknown
2739.95/2747.04 c 2747s| 36200 | 36099 | 28365k| 761.0 | 384M | 91 | 479 |1209 |1059 | 163k| 1 |1959 |2252 | 1.716982e+02 | 1.940000e+02 | 12.99%| unknown
2745.63/2752.73 c 2753s| 36300 | 36199 | 28428k| 760.6 | 384M | 91 | 479 |1207 |1047 | 163k| 1 |1964 |2252 | 1.716998e+02 | 1.940000e+02 | 12.99%| unknown
2750.72/2757.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2750.72/2757.87 c 2758s| 36400 | 36299 | 28490k| 760.2 | 385M | 91 | 479 |1203 |1072 | 163k| 1 |1964 |2252 | 1.717008e+02 | 1.940000e+02 | 12.99%| unknown
2756.50/2763.66 c 2764s| 36500 | 36399 | 28550k| 759.8 | 385M | 91 | 479 |1198 |1051 | 164k| 1 |1968 |2253 | 1.717018e+02 | 1.940000e+02 | 12.99%| unknown
2763.48/2770.67 c 2771s| 36600 | 36499 | 28623k| 759.7 | 385M | 91 | 479 |1197 |1046 | 164k| 1 |1971 |2254 | 1.717024e+02 | 1.940000e+02 | 12.99%| unknown
2769.47/2776.64 c 2777s| 36700 | 36599 | 28698k| 759.7 | 385M | 91 | 479 |1196 |1072 | 164k| 1 |1972 |2255 | 1.717034e+02 | 1.940000e+02 | 12.99%| unknown
2775.56/2782.77 c 2783s| 36800 | 36699 | 28768k| 759.5 | 385M | 91 | 479 |1193 |1080 | 165k| 1 |1975 |2256 | 1.717047e+02 | 1.940000e+02 | 12.98%| unknown
2780.54/2787.72 c 2788s| 36900 | 36799 | 28826k| 759.1 | 385M | 91 | 479 |1191 |1050 | 165k| 1 |1978 |2256 | 1.717056e+02 | 1.940000e+02 | 12.98%| unknown
2786.24/2793.42 c 2793s| 37000 | 36899 | 28892k| 758.8 | 385M | 91 | 479 |1192 |1042 | 165k| 1 |1979 |2256 | 1.717072e+02 | 1.940000e+02 | 12.98%| unknown
2791.43/2798.68 c 2799s| 37100 | 36999 | 28952k| 758.4 | 385M | 91 | 479 |1196 |1045 | 165k| 1 |1985 |2257 | 1.717080e+02 | 1.940000e+02 | 12.98%| unknown
2796.83/2804.03 c 2804s| 37200 | 37099 | 29013k| 758.0 | 385M | 91 | 479 |1196 |1054 | 166k| 1 |1988 |2258 | 1.717096e+02 | 1.940000e+02 | 12.98%| unknown
2801.40/2808.67 c 2809s| 37300 | 37199 | 29066k| 757.4 | 385M | 91 | 479 |1193 |1051 | 166k| 1 |1988 |2258 | 1.717104e+02 | 1.940000e+02 | 12.98%| unknown
2807.90/2815.19 c 2815s| 37400 | 37299 | 29141k| 757.4 | 385M | 91 | 479 |1199 |1061 | 166k| 1 |2001 |2258 | 1.717112e+02 | 1.940000e+02 | 12.98%| unknown
2812.89/2820.17 c 2820s| 37500 | 37399 | 29198k| 756.9 | 385M | 91 | 479 |1195 |1047 | 167k| 1 |2001 |2260 | 1.717124e+02 | 1.940000e+02 | 12.98%| unknown
2819.06/2826.39 c 2826s| 37600 | 37499 | 29268k| 756.8 | 385M | 91 | 479 |1200 |1057 | 167k| 1 |2008 |2264 | 1.717138e+02 | 1.940000e+02 | 12.98%| unknown
2824.76/2832.08 c 2832s| 37700 | 37599 | 29331k| 756.4 | 386M | 91 | 479 |1202 |1072 | 167k| 1 |2013 |2267 | 1.717150e+02 | 1.940000e+02 | 12.98%| unknown
2831.03/2838.30 c 2838s| 37800 | 37699 | 29402k| 756.3 | 386M | 91 | 479 |1197 |1058 | 168k| 1 |2015 |2270 | 1.717157e+02 | 1.940000e+02 | 12.98%| unknown
2837.73/2845.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2837.73/2845.10 c 2845s| 37900 | 37799 | 29486k| 756.5 | 386M | 91 | 479 |1198 |1046 | 168k| 1 |2017 |2270 | 1.717173e+02 | 1.940000e+02 | 12.98%| unknown
2844.10/2851.48 c 2851s| 38000 | 37899 | 29557k| 756.4 | 386M | 91 | 479 |1195 |1075 | 168k| 1 |2020 |2270 | 1.717187e+02 | 1.940000e+02 | 12.98%| unknown
2850.70/2858.09 c 2858s| 38100 | 37999 | 29628k| 756.3 | 387M | 91 | 479 |1196 |1061 | 169k| 1 |2025 |2272 | 1.717195e+02 | 1.940000e+02 | 12.97%| unknown
2856.37/2863.71 c 2864s| 38200 | 38099 | 29691k| 756.0 | 387M | 91 | 479 |1202 |1065 | 169k| 1 |2031 |2272 | 1.717204e+02 | 1.940000e+02 | 12.97%| unknown
2861.46/2868.81 c 2869s| 38300 | 38199 | 29749k| 755.5 | 387M | 91 | 479 |1203 |1059 | 170k| 1 |2032 |2273 | 1.717211e+02 | 1.940000e+02 | 12.97%| unknown
2867.95/2875.32 c 2875s| 38400 | 38299 | 29819k| 755.4 | 387M | 91 | 479 |1209 |1061 | 170k| 1 |2039 |2276 | 1.717219e+02 | 1.940000e+02 | 12.97%| unknown
2873.13/2880.54 c 2881s| 38500 | 38399 | 29879k| 755.0 | 387M | 91 | 479 |1202 |1044 | 170k| 1 |2039 |2276 | 1.717232e+02 | 1.940000e+02 | 12.97%| unknown
2878.92/2886.37 c 2886s| 38600 | 38499 | 29945k| 754.8 | 387M | 91 | 479 |1193 |1047 | 170k| 1 |2041 |2276 | 1.717242e+02 | 1.940000e+02 | 12.97%| unknown
2884.50/2891.95 c 2892s| 38700 | 38599 | 30007k| 754.4 | 387M | 91 | 479 |1199 |1073 | 171k| 1 |2053 |2278 | 1.717252e+02 | 1.940000e+02 | 12.97%| unknown
2890.49/2897.98 c 2898s| 38800 | 38699 | 30074k| 754.2 | 387M | 91 | 479 |1199 |1062 | 171k| 1 |2054 |2279 | 1.717258e+02 | 1.940000e+02 | 12.97%| unknown
2896.48/2904.01 c 2904s| 38900 | 38799 | 30138k| 753.9 | 387M | 91 | 479 |1201 |1019 | 172k| 1 |2058 |2282 | 1.717267e+02 | 1.940000e+02 | 12.97%| unknown
2904.36/2911.88 c 2912s| 39000 | 38899 | 30228k| 754.3 | 387M | 91 | 479 |1208 |1054 | 172k| 1 |2069 |2287 | 1.717276e+02 | 1.940000e+02 | 12.97%| unknown
2910.24/2917.76 c 2918s| 39100 | 38999 | 30294k| 754.1 | 387M | 91 | 479 |1214 |1012 | 172k| 1 |2078 |2288 | 1.717282e+02 | 1.940000e+02 | 12.97%| unknown
2915.93/2923.45 c 2923s| 39200 | 39099 | 30361k| 753.8 | 387M | 91 | 479 |1217 |1051 | 173k| 1 |2082 |2288 | 1.717292e+02 | 1.940000e+02 | 12.97%| unknown
2922.21/2929.72 c 2930s| 39300 | 39199 | 30429k| 753.7 | 387M | 91 | 479 |1214 |1056 | 173k| 1 |2086 |2294 | 1.717300e+02 | 1.940000e+02 | 12.97%| unknown
2929.51/2937.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2929.51/2937.08 c 2937s| 39400 | 39299 | 30498k| 753.5 | 387M | 91 | 479 |1209 |1056 | 173k| 1 |2092 |2307 | 1.717313e+02 | 1.940000e+02 | 12.97%| unknown
2934.98/2942.53 c 2943s| 39500 | 39399 | 30566k| 753.3 | 387M | 91 | 479 |1202 |1052 | 174k| 1 |2094 |2307 | 1.717320e+02 | 1.940000e+02 | 12.97%| unknown
2941.48/2949.03 c 2949s| 39600 | 39499 | 30637k| 753.2 | 387M | 91 | 479 |1201 |1045 | 174k| 1 |2100 |2307 | 1.717325e+02 | 1.940000e+02 | 12.97%| unknown
2946.36/2953.92 c 2954s| 39700 | 39599 | 30692k| 752.7 | 387M | 91 | 479 |1197 |1062 | 174k| 1 |2100 |2311 | 1.717331e+02 | 1.940000e+02 | 12.97%| unknown
2952.24/2959.81 c 2960s| 39800 | 39699 | 30758k| 752.5 | 387M | 91 | 479 |1195 |1050 | 175k| 1 |2108 |2315 | 1.717347e+02 | 1.940000e+02 | 12.96%| unknown
2958.33/2965.97 c 2966s| 39900 | 39799 | 30827k| 752.3 | 387M | 91 | 479 |1196 |1074 | 175k| 1 |2114 |2315 | 1.717360e+02 | 1.940000e+02 | 12.96%| unknown
2964.12/2971.75 c 2972s| 40000 | 39899 | 30892k| 752.1 | 387M | 91 | 479 |1193 |1047 | 175k| 1 |2116 |2319 | 1.717373e+02 | 1.940000e+02 | 12.96%| unknown
2971.10/2978.76 c 2979s| 40100 | 39999 | 30976k| 752.3 | 388M | 91 | 479 |1195 |1041 | 176k| 1 |2119 |2320 | 1.717383e+02 | 1.940000e+02 | 12.96%| unknown
2976.29/2983.92 c 2984s| 40200 | 40099 | 31035k| 751.9 | 388M | 91 | 479 |1196 |1060 | 176k| 1 |2123 |2322 | 1.717388e+02 | 1.940000e+02 | 12.96%| unknown
2982.27/2989.90 c 2990s| 40300 | 40199 | 31100k| 751.7 | 388M | 91 | 479 |1199 |1038 | 176k| 1 |2128 |2324 | 1.717402e+02 | 1.940000e+02 | 12.96%| unknown
2987.37/2995.04 c 2995s| 40400 | 40299 | 31157k| 751.2 | 388M | 91 | 479 |1200 |1047 | 176k| 1 |2132 |2327 | 1.717412e+02 | 1.940000e+02 | 12.96%| unknown
2993.64/3001.31 c 3001s| 40500 | 40399 | 31225k| 751.1 | 388M | 91 | 479 |1194 |1071 | 177k| 1 |2133 |2330 | 1.717423e+02 | 1.940000e+02 | 12.96%| unknown
2999.23/3006.92 c 3007s| 40600 | 40499 | 31281k| 750.6 | 388M | 91 | 479 |1191 |1066 | 177k| 1 |2134 |2336 | 1.717437e+02 | 1.940000e+02 | 12.96%| unknown
3005.22/3012.91 c 3013s| 40700 | 40599 | 31348k| 750.4 | 388M | 91 | 479 |1182 |1057 | 177k| 1 |2135 |2338 | 1.717446e+02 | 1.940000e+02 | 12.96%| unknown
3013.10/3020.82 c 3021s| 40800 | 40699 | 31432k| 750.6 | 388M | 91 | 479 |1184 |1058 | 178k| 1 |2140 |2342 | 1.717459e+02 | 1.940000e+02 | 12.96%| unknown
3018.98/3026.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3018.98/3026.72 c 3027s| 40900 | 40799 | 31502k| 750.5 | 388M | 91 | 479 |1188 |1053 | 178k| 1 |2149 |2342 | 1.717467e+02 | 1.940000e+02 | 12.96%| unknown
3025.77/3033.59 c 3034s| 41000 | 40899 | 31579k| 750.5 | 388M | 91 | 479 |1187 |1053 | 179k| 1 |2153 |2343 | 1.717477e+02 | 1.940000e+02 | 12.96%| unknown
3031.27/3039.06 c 3039s| 41100 | 40999 | 31644k| 750.3 | 388M | 91 | 479 |1183 |1064 | 179k| 1 |2153 |2344 | 1.717483e+02 | 1.940000e+02 | 12.96%| unknown
3039.14/3046.93 c 3047s| 41200 | 41099 | 31730k| 750.6 | 388M | 91 | 479 |1186 |1051 | 179k| 1 |2162 |2346 | 1.717497e+02 | 1.940000e+02 | 12.96%| unknown
3044.82/3052.67 c 3053s| 41300 | 41199 | 31794k| 750.3 | 388M | 91 | 479 |1181 |1021 | 179k| 1 |2164 |2349 | 1.717508e+02 | 1.940000e+02 | 12.95%| unknown
3051.41/3059.25 c 3059s| 41400 | 41299 | 31868k| 750.3 | 388M | 91 | 479 |1183 |1056 | 180k| 1 |2173 |2351 | 1.717521e+02 | 1.940000e+02 | 12.95%| unknown
3056.90/3064.79 c 3065s| 41500 | 41399 | 31930k| 750.0 | 388M | 91 | 479 |1183 |1046 | 180k| 1 |2182 |2352 | 1.717531e+02 | 1.940000e+02 | 12.95%| unknown
3063.38/3071.23 c 3071s| 41600 | 41499 | 32001k| 749.9 | 388M | 91 | 479 |1179 |1071 | 181k| 1 |2189 |2357 | 1.717547e+02 | 1.940000e+02 | 12.95%| unknown
3069.67/3077.50 c 3077s| 41700 | 41599 | 32074k| 749.8 | 388M | 91 | 479 |1179 |1069 | 181k| 1 |2193 |2357 | 1.717555e+02 | 1.940000e+02 | 12.95%| unknown
3075.17/3083.03 c 3083s| 41800 | 41699 | 32138k| 749.6 | 388M | 91 | 479 |1182 |1057 | 181k| 1 |2202 |2357 | 1.717568e+02 | 1.940000e+02 | 12.95%| unknown
3080.95/3088.85 c 3089s| 41900 | 41799 | 32201k| 749.3 | 388M | 91 | 479 |1181 |1047 | 182k| 1 |2203 |2359 | 1.717572e+02 | 1.940000e+02 | 12.95%| unknown
3086.34/3094.24 c 3094s| 42000 | 41899 | 32262k| 749.0 | 388M | 91 | 479 |1184 |1052 | 182k| 1 |2208 |2360 | 1.717586e+02 | 1.940000e+02 | 12.95%| unknown
3092.42/3100.37 c 3100s| 42100 | 41999 | 32330k| 748.8 | 388M | 91 | 479 |1181 |1048 | 182k| 1 |2210 |2363 | 1.717597e+02 | 1.940000e+02 | 12.95%| unknown
3098.91/3106.85 c 3107s| 42200 | 42099 | 32395k| 748.6 | 388M | 91 | 479 |1183 |1062 | 183k| 1 |2214 |2363 | 1.717605e+02 | 1.940000e+02 | 12.95%| unknown
3104.29/3112.25 c 3112s| 42300 | 42199 | 32458k| 748.3 | 388M | 91 | 479 |1177 |1066 | 183k| 1 |2220 |2365 | 1.717615e+02 | 1.940000e+02 | 12.95%| unknown
3111.48/3119.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3111.48/3119.48 c 3119s| 42400 | 42299 | 32543k| 748.5 | 388M | 91 | 479 |1180 |1036 | 183k| 1 |2230 |2366 | 1.717621e+02 | 1.940000e+02 | 12.95%| unknown
3116.76/3124.76 c 3125s| 42500 | 42399 | 32605k| 748.3 | 388M | 91 | 479 |1178 |1063 | 184k| 1 |2231 |2366 | 1.717630e+02 | 1.940000e+02 | 12.95%| unknown
3122.35/3130.38 c 3130s| 42600 | 42499 | 32668k| 748.0 | 388M | 91 | 479 |1178 |1061 | 184k| 1 |2237 |2366 | 1.717637e+02 | 1.940000e+02 | 12.95%| unknown
3129.93/3137.90 c 3138s| 42700 | 42599 | 32758k| 748.3 | 388M | 91 | 479 |1177 |1062 | 184k| 1 |2245 |2367 | 1.717645e+02 | 1.940000e+02 | 12.95%| unknown
3135.32/3143.31 c 3143s| 42800 | 42699 | 32821k| 748.1 | 388M | 91 | 479 |1168 |1055 | 185k| 1 |2247 |2372 | 1.717654e+02 | 1.940000e+02 | 12.94%| unknown
3142.80/3150.84 c 3151s| 42900 | 42799 | 32909k| 748.4 | 388M | 91 | 479 |1167 |1058 | 185k| 1 |2256 |2374 | 1.717660e+02 | 1.940000e+02 | 12.94%| unknown
3149.38/3157.49 c 3157s| 43000 | 42899 | 32984k| 748.3 | 388M | 91 | 479 |1172 |1056 | 185k| 1 |2266 |2377 | 1.717667e+02 | 1.940000e+02 | 12.94%| unknown
3155.08/3163.19 c 3163s| 43100 | 42999 | 33043k| 748.0 | 389M | 91 | 479 |1177 |1060 | 186k| 1 |2272 |2377 | 1.717677e+02 | 1.940000e+02 | 12.94%| unknown
3161.26/3169.30 c 3169s| 43200 | 43099 | 33112k| 747.9 | 389M | 91 | 479 |1177 |1039 | 186k| 1 |2278 |2378 | 1.717691e+02 | 1.940000e+02 | 12.94%| unknown
3167.44/3175.55 c 3176s| 43300 | 43199 | 33178k| 747.7 | 389M | 91 | 479 |1177 |1058 | 186k| 1 |2283 |2380 | 1.717703e+02 | 1.940000e+02 | 12.94%| unknown
3173.62/3181.70 c 3182s| 43400 | 43299 | 33245k| 747.5 | 390M | 91 | 479 |1178 |1051 | 187k| 1 |2286 |2382 | 1.717708e+02 | 1.940000e+02 | 12.94%| unknown
3179.31/3187.44 c 3187s| 43500 | 43399 | 33309k| 747.2 | 390M | 91 | 479 |1177 |1061 | 187k| 1 |2289 |2385 | 1.717713e+02 | 1.940000e+02 | 12.94%| unknown
3185.79/3193.98 c 3194s| 43600 | 43499 | 33379k| 747.1 | 390M | 91 | 479 |1175 |1060 | 187k| 1 |2293 |2387 | 1.717724e+02 | 1.940000e+02 | 12.94%| unknown
3191.27/3199.40 c 3199s| 43700 | 43599 | 33440k| 746.8 | 390M | 91 | 479 |1183 |1034 | 188k| 1 |2301 |2388 | 1.717734e+02 | 1.940000e+02 | 12.94%| unknown
3197.65/3205.86 c 3206s| 43800 | 43699 | 33515k| 746.8 | 390M | 91 | 479 |1180 |1051 | 188k| 1 |2303 |2389 | 1.717741e+02 | 1.940000e+02 | 12.94%| unknown
3202.74/3210.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3202.74/3210.99 c 3211s| 43900 | 43799 | 33575k| 746.5 | 390M | 91 | 479 |1177 |1059 | 188k| 1 |2304 |2389 | 1.717747e+02 | 1.940000e+02 | 12.94%| unknown
3210.72/3219.00 c 3219s| 44000 | 43899 | 33668k| 746.9 | 390M | 91 | 479 |1174 |1054 | 189k| 1 |2305 |2390 | 1.717754e+02 | 1.940000e+02 | 12.94%| unknown
3215.91/3224.19 c 3224s| 44100 | 43999 | 33726k| 746.6 | 390M | 91 | 479 |1174 |1057 | 189k| 1 |2310 |2390 | 1.717763e+02 | 1.940000e+02 | 12.94%| unknown
3222.18/3230.43 c 3230s| 44200 | 44099 | 33794k| 746.4 | 390M | 91 | 479 |1184 |1058 | 189k| 1 |2324 |2392 | 1.717773e+02 | 1.940000e+02 | 12.94%| unknown
3229.06/3237.30 c 3237s| 44300 | 44199 | 33865k| 746.3 | 390M | 91 | 479 |1179 |1064 | 190k| 1 |2324 |2393 | 1.717782e+02 | 1.940000e+02 | 12.94%| unknown
3234.86/3243.18 c 3243s| 44400 | 44299 | 33930k| 746.1 | 390M | 91 | 479 |1180 |1049 | 190k| 1 |2327 |2394 | 1.717788e+02 | 1.940000e+02 | 12.94%| unknown
3241.63/3249.94 c 3250s| 44500 | 44399 | 34003k| 746.1 | 390M | 91 | 479 |1172 |1049 | 190k| 4 |2329 |2397 | 1.717799e+02 | 1.940000e+02 | 12.94%| unknown
3247.51/3255.80 c 3256s| 44600 | 44499 | 34068k| 745.9 | 390M | 91 | 479 |1176 |1064 | 191k| 1 |2335 |2399 | 1.717805e+02 | 1.940000e+02 | 12.93%| unknown
3253.39/3261.74 c 3262s| 44700 | 44599 | 34135k| 745.7 | 390M | 91 | 479 |1171 |1049 | 191k| 1 |2335 |2403 | 1.717811e+02 | 1.940000e+02 | 12.93%| unknown
3260.47/3268.85 c 3269s| 44800 | 44699 | 34213k| 745.8 | 390M | 91 | 479 |1167 |1044 | 191k| 1 |2341 |2404 | 1.717817e+02 | 1.940000e+02 | 12.93%| unknown
3266.05/3274.41 c 3274s| 44900 | 44799 | 34278k| 745.6 | 390M | 91 | 479 |1162 |1051 | 192k| 1 |2345 |2404 | 1.717826e+02 | 1.940000e+02 | 12.93%| unknown
3272.14/3280.50 c 3280s| 45000 | 44899 | 34347k| 745.4 | 390M | 91 | 479 |1159 |1077 | 192k| 1 |2346 |2406 | 1.717842e+02 | 1.940000e+02 | 12.93%| unknown
3278.42/3286.81 c 3287s| 45100 | 44999 | 34431k| 745.7 | 390M | 91 | 479 |1157 |1042 | 192k| 1 |2352 |2408 | 1.717850e+02 | 1.940000e+02 | 12.93%| unknown
3285.20/3293.66 c 3294s| 45200 | 45099 | 34497k| 745.5 | 391M | 91 | 479 |1155 |1056 | 193k| 1 |2358 |2413 | 1.717857e+02 | 1.940000e+02 | 12.93%| unknown
3291.18/3299.63 c 3300s| 45300 | 45199 | 34563k| 745.3 | 391M | 91 | 479 |1157 |1059 | 193k| 1 |2361 |2418 | 1.717865e+02 | 1.940000e+02 | 12.93%| unknown
3297.46/3305.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3297.46/3305.95 c 3306s| 45400 | 45299 | 34630k| 745.1 | 391M | 91 | 479 |1155 |1040 | 193k| 1 |2368 |2423 | 1.717872e+02 | 1.940000e+02 | 12.93%| unknown
3302.95/3311.40 c 3311s| 45500 | 45399 | 34694k| 744.9 | 392M | 91 | 479 |1161 |1040 | 194k| 1 |2377 |2426 | 1.717883e+02 | 1.940000e+02 | 12.93%| unknown
3309.23/3317.71 c 3318s| 45600 | 45499 | 34765k| 744.8 | 392M | 91 | 479 |1165 |1063 | 194k| 1 |2384 |2428 | 1.717890e+02 | 1.940000e+02 | 12.93%| unknown
3314.71/3323.29 c 3323s| 45700 | 45599 | 34828k| 744.6 | 392M | 91 | 479 |1158 |1053 | 194k| 1 |2387 |2432 | 1.717896e+02 | 1.940000e+02 | 12.93%| unknown
3321.79/3330.30 c 3330s| 45800 | 45699 | 34906k| 744.7 | 392M | 91 | 479 |1163 |1058 | 195k| 1 |2396 |2435 | 1.717904e+02 | 1.940000e+02 | 12.93%| unknown
3327.38/3335.90 c 3336s| 45900 | 45799 | 34971k| 744.5 | 392M | 91 | 479 |1162 |1049 | 195k| 1 |2404 |2436 | 1.717911e+02 | 1.940000e+02 | 12.93%| unknown
3332.66/3341.22 c 3341s| 46000 | 45899 | 35029k| 744.1 | 392M | 91 | 479 |1165 |1055 | 195k| 1 |2409 |2438 | 1.717915e+02 | 1.940000e+02 | 12.93%| unknown
3338.74/3347.33 c 3347s| 46100 | 45999 | 35103k| 744.1 | 392M | 91 | 479 |1164 |1082 | 196k| 2 |2416 |2438 | 1.717928e+02 | 1.940000e+02 | 12.93%| unknown
3345.62/3354.28 c 3354s| 46200 | 46099 | 35183k| 744.2 | 392M | 91 | 479 |1156 |1007 | 196k| 1 |2418 |2442 | 1.717935e+02 | 1.940000e+02 | 12.93%| unknown
3351.31/3359.97 c 3360s| 46300 | 46199 | 35247k| 744.0 | 392M | 91 | 479 |1158 |1061 | 196k| 1 |2426 |2442 | 1.717945e+02 | 1.940000e+02 | 12.93%| unknown
3357.09/3365.78 c 3366s| 46400 | 46299 | 35313k| 743.8 | 392M | 91 | 479 |1159 |1049 | 197k| 1 |2431 |2443 | 1.717954e+02 | 1.940000e+02 | 12.93%| unknown
3363.48/3372.16 c 3372s| 46500 | 46399 | 35385k| 743.8 | 392M | 91 | 479 |1165 |1040 | 197k| 1 |2437 |2446 | 1.717963e+02 | 1.940000e+02 | 12.92%| unknown
3368.76/3377.41 c 3377s| 46600 | 46499 | 35445k| 743.5 | 392M | 91 | 479 |1174 |1038 | 197k| 1 |2449 |2446 | 1.717977e+02 | 1.940000e+02 | 12.92%| unknown
3374.35/3383.02 c 3383s| 46700 | 46599 | 35510k| 743.3 | 392M | 91 | 479 |1172 |1029 | 198k| 1 |2454 |2448 | 1.717982e+02 | 1.940000e+02 | 12.92%| unknown
3380.02/3388.74 c 3389s| 46800 | 46699 | 35571k| 743.0 | 392M | 91 | 479 |1171 |1048 | 198k| 1 |2456 |2450 | 1.717990e+02 | 1.940000e+02 | 12.92%| unknown
3386.32/3395.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3386.32/3395.08 c 3395s| 46900 | 46799 | 35643k| 742.9 | 392M | 91 | 479 |1170 |1067 | 198k| 1 |2463 |2453 | 1.717996e+02 | 1.940000e+02 | 12.92%| unknown
3392.40/3401.17 c 3401s| 47000 | 46899 | 35705k| 742.7 | 392M | 91 | 479 |1168 |1059 | 199k| 1 |2465 |2453 | 1.718006e+02 | 1.940000e+02 | 12.92%| unknown
3398.28/3407.07 c 3407s| 47100 | 46999 | 35768k| 742.5 | 392M | 91 | 479 |1165 |1047 | 199k| 1 |2467 |2455 | 1.718015e+02 | 1.940000e+02 | 12.92%| unknown
3404.37/3413.13 c 3413s| 47200 | 47099 | 35834k| 742.3 | 392M | 91 | 479 |1166 |1060 | 199k| 1 |2474 |2456 | 1.718026e+02 | 1.940000e+02 | 12.92%| unknown
3409.74/3418.51 c 3419s| 47300 | 47199 | 35897k| 742.0 | 392M | 91 | 479 |1162 |1057 | 200k| 1 |2476 |2457 | 1.718034e+02 | 1.940000e+02 | 12.92%| unknown
3417.23/3426.08 c 3426s| 47400 | 47299 | 35986k| 742.4 | 392M | 91 | 479 |1172 |1057 | 200k| 1 |2489 |2457 | 1.718042e+02 | 1.940000e+02 | 12.92%| unknown
3423.00/3431.84 c 3432s| 47500 | 47399 | 36053k| 742.2 | 392M | 91 | 479 |1171 |1057 | 200k| 1 |2492 |2458 | 1.718049e+02 | 1.940000e+02 | 12.92%| unknown
3428.88/3437.77 c 3438s| 47600 | 47499 | 36121k| 742.1 | 392M | 91 | 479 |1173 |1062 | 201k| 1 |2496 |2460 | 1.718056e+02 | 1.940000e+02 | 12.92%| unknown
3435.17/3444.04 c 3444s| 47700 | 47599 | 36189k| 741.9 | 392M | 91 | 479 |1173 |1075 | 201k| 1 |2501 |2466 | 1.718060e+02 | 1.940000e+02 | 12.92%| unknown
3440.65/3449.56 c 3450s| 47800 | 47699 | 36250k| 741.7 | 392M | 91 | 479 |1168 |1059 | 201k| 1 |2504 |2471 | 1.718067e+02 | 1.940000e+02 | 12.92%| unknown
3447.14/3456.09 c 3456s| 47900 | 47799 | 36319k| 741.6 | 392M | 91 | 479 |1161 |1044 | 202k| 1 |2508 |2474 | 1.718077e+02 | 1.940000e+02 | 12.92%| unknown
3451.82/3460.71 c 3461s| 48000 | 47899 | 36375k| 741.2 | 392M | 91 | 479 |1154 |1064 | 202k| 1 |2508 |2474 | 1.718083e+02 | 1.940000e+02 | 12.92%| unknown
3458.11/3467.03 c 3467s| 48100 | 47999 | 36442k| 741.1 | 393M | 91 | 479 |1156 |1038 | 202k| 1 |2512 |2479 | 1.718088e+02 | 1.940000e+02 | 12.92%| unknown
3463.28/3472.23 c 3472s| 48200 | 48099 | 36499k| 740.7 | 393M | 91 | 479 |1156 |1041 | 203k| 1 |2519 |2486 | 1.718095e+02 | 1.940000e+02 | 12.92%| unknown
3469.46/3478.47 c 3478s| 48300 | 48199 | 36569k| 740.6 | 393M | 91 | 479 |1154 |1070 | 203k| 1 |2521 |2486 | 1.718105e+02 | 1.940000e+02 | 12.92%| unknown
3475.25/3484.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3475.25/3484.27 c 3484s| 48400 | 48299 | 36636k| 740.5 | 393M | 91 | 479 |1151 |1060 | 203k| 1 |2524 |2489 | 1.718115e+02 | 1.940000e+02 | 12.91%| unknown
3482.63/3491.65 c 3492s| 48500 | 48399 | 36724k| 740.8 | 393M | 91 | 479 |1153 |1057 | 204k| 1 |2531 |2489 | 1.718123e+02 | 1.940000e+02 | 12.91%| unknown
3488.71/3497.74 c 3498s| 48600 | 48499 | 36795k| 740.7 | 393M | 91 | 479 |1150 |1066 | 204k| 1 |2532 |2489 | 1.718129e+02 | 1.940000e+02 | 12.91%| unknown
3494.69/3503.71 c 3504s| 48700 | 48599 | 36861k| 740.5 | 393M | 91 | 479 |1146 |1069 | 204k| 1 |2534 |2490 | 1.718143e+02 | 1.940000e+02 | 12.91%| unknown
3500.18/3509.24 c 3509s| 48800 | 48699 | 36923k| 740.3 | 393M | 91 | 479 |1144 |1054 | 205k| 1 |2535 |2492 | 1.718150e+02 | 1.940000e+02 | 12.91%| unknown
3505.66/3514.79 c 3515s| 48900 | 48799 | 36991k| 740.2 | 393M | 91 | 479 |1145 |1066 | 205k| 1 |2537 |2492 | 1.718159e+02 | 1.940000e+02 | 12.91%| unknown
3511.06/3520.13 c 3520s| 49000 | 48899 | 37050k| 739.9 | 393M | 91 | 479 |1142 |1051 | 205k| 1 |2538 |2492 | 1.718166e+02 | 1.940000e+02 | 12.91%| unknown
3517.04/3526.18 c 3526s| 49100 | 48999 | 37120k| 739.8 | 394M | 91 | 479 |1150 |1054 | 206k| 1 |2547 |2493 | 1.718173e+02 | 1.940000e+02 | 12.91%| unknown
3523.02/3532.17 c 3532s| 49200 | 49099 | 37185k| 739.6 | 394M | 91 | 479 |1161 |1057 | 206k| 1 |2561 |2494 | 1.718180e+02 | 1.940000e+02 | 12.91%| unknown
3529.29/3538.43 c 3538s| 49300 | 49199 | 37255k| 739.5 | 394M | 91 | 479 |1158 |1017 | 206k| 1 |2565 |2495 | 1.718191e+02 | 1.940000e+02 | 12.91%| unknown
3535.57/3544.75 c 3545s| 49400 | 49299 | 37319k| 739.3 | 394M | 91 | 479 |1155 |1039 | 207k| 1 |2566 |2496 | 1.718200e+02 | 1.940000e+02 | 12.91%| unknown
3541.66/3550.82 c 3551s| 49500 | 49399 | 37390k| 739.3 | 394M | 91 | 479 |1154 |1062 | 207k| 1 |2570 |2496 | 1.718206e+02 | 1.940000e+02 | 12.91%| unknown
3547.54/3556.74 c 3557s| 49600 | 49499 | 37452k| 739.0 | 394M | 91 | 479 |1153 |1048 | 207k| 1 |2571 |2496 | 1.718216e+02 | 1.940000e+02 | 12.91%| unknown
3554.72/3563.91 c 3564s| 49700 | 49599 | 37544k| 739.4 | 394M | 91 | 479 |1152 |1051 | 207k| 1 |2573 |2498 | 1.718221e+02 | 1.940000e+02 | 12.91%| unknown
3560.30/3569.54 c 3570s| 49800 | 49699 | 37605k| 739.2 | 394M | 91 | 479 |1149 |1062 | 208k| 1 |2575 |2499 | 1.718231e+02 | 1.940000e+02 | 12.91%| unknown
3566.58/3575.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3566.58/3575.85 c 3576s| 49900 | 49799 | 37679k| 739.2 | 394M | 91 | 479 |1150 |1035 | 208k| 1 |2579 |2499 | 1.718236e+02 | 1.940000e+02 | 12.91%| unknown
3572.78/3582.10 c 3582s| 50000 | 49899 | 37745k| 739.0 | 394M | 91 | 479 |1148 |1068 | 208k| 1 |2579 |2501 | 1.718240e+02 | 1.940000e+02 | 12.91%| unknown
3578.05/3587.34 c 3587s| 50100 | 49999 | 37803k| 738.7 | 394M | 91 | 479 |1144 |1054 | 209k| 1 |2581 |2506 | 1.718247e+02 | 1.940000e+02 | 12.91%| unknown
3584.13/3593.47 c 3593s| 50200 | 50099 | 37873k| 738.6 | 394M | 91 | 479 |1139 |1061 | 209k| 1 |2583 |2506 | 1.718255e+02 | 1.940000e+02 | 12.91%| unknown
3587.62/3597.00 c
3587.62/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.62/3597.00 c Solving Time (sec) : 3597.00
3587.62/3597.00 c Solving Nodes : 50269 (total of 51318 nodes in 2 runs)
3587.62/3597.00 c Primal Bound : +1.94000000000000e+02 (1235 solutions)
3587.62/3597.00 c Dual Bound : +1.71825710872852e+02
3587.62/3597.00 c Gap : 12.91 %
3587.62/3597.00 s SATISFIABLE
3587.62/3597.00 v -x479 -x478 x477 -x476 x475 x474 -x473 -x472 x471 x470 x469 -x468 -x467 x466 -x465 -x464 -x463 x462 -x461 -x460 -x459 -x458 -x457
3587.62/3597.00 v -x456 -x455 x454 x453 -x452 -x451 x450 -x449 x448 -x447 -x446 -x445 -x444 x443 -x442 x441 -x440 x439 -x438 x437 -x436 x435
3587.62/3597.00 v x434 x433 -x432 -x431 -x430 x429 -x428 x427 -x426 -x425 x424 x423 x422 x421 -x420 -x419 x418 -x417 -x416 -x415 -x414 -x413 x412
3587.62/3597.00 v -x411 -x410 x409 -x408 -x407 x406 -x405 -x404 x403 x402 x401 x400 -x399 x398 x397 x396 -x395 -x394 -x393 -x392 x391 -x390
3587.62/3597.00 v -x389 x388 x387 x386 x385 x384 x383 -x382 x381 x380 x379 -x378 x377 x376 -x375 -x374 -x373 -x372 -x371 -x370 x369 -x368 -x367
3587.62/3597.00 v x366 -x365 x364 -x363 -x362 x361 x360 -x359 x358 -x357 -x356 -x355 x354 -x353 x352 x351 -x350 -x349 -x348 -x347 x346 x345 -x344
3587.62/3597.00 v x343 -x342 -x341 x340 -x339 x338 -x337 x336 x335 x334 -x333 -x332 x331 -x330 x329 -x328 x327 -x326 -x325 -x324 -x323 x322
3587.62/3597.00 v -x321 x320 x319 x318 -x317 x316 -x315 -x314 x313 x312 -x311 -x310 x309 x308 -x307 -x306 x305 -x304 -x303 -x302 -x301 -x300
3587.62/3597.00 v -x299 x298 x297 -x296 -x295 x294 x293 -x292 -x291 -x290 -x289 x288 -x287 x286 -x285 -x284 x283 x282 x281 -x280 x279 -x278 x277
3587.62/3597.00 v x276 x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 x266 x265 x264 x263 -x262 -x261 x260 -x259 x258 -x257 x256 -x255
3587.62/3597.00 v -x254 -x253 -x252 -x251 -x250 x249 x248 x247 x246 x245 x244 x243 -x242 -x241 -x240 -x239 x238 x237 x236 -x235 x234 -x233 -x232
3587.62/3597.00 v -x231 x230 x229 x228 -x227 x226 x225 -x224 x223 -x222 -x221 x220 -x219 -x218 -x217 x216 -x215 -x214 x213 x212 x211 -x210 -x209
3587.62/3597.00 v x208 -x207 x206 x205 x204 -x203 x202 x201 -x200 -x199 -x198 x197 -x196 x195 -x194 -x193 -x192 -x191 x190 x189 -x188 -x187
3587.62/3597.00 v -x186 -x185 x184 -x183 x182 -x181 -x180 x179 x178 -x177 x176 x175 -x174 x173 x172 x171 x170 -x169 -x168 -x167 -x166 -x165 -x164
3587.62/3597.00 v -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 -x146 x145 x144 -x143
3587.62/3597.00 v -x142 -x141 -x140 x139 -x138 -x137 x136 x135 x134 -x133 -x132 -x131 x130 x129 x128 -x127 -x126 -x125 x124 x123 x122 x121 -x120
3587.62/3597.00 v x119 x118 x117 x116 -x115 -x114 -x113 x112 x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 x103 -x102 -x101 x100 -x99 x98 -x97
3587.62/3597.00 v -x96 x95 x94 -x93 x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 x81 x80 -x79 -x78 -x77 -x76 x75 x74 -x73 -x72 -x71
3587.62/3597.00 v -x70 x69 -x68 -x67 -x66 x65 -x64 -x63 x62 -x61 -x60 -x59 x58 x57 x56 -x55 -x54 x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 x45 -x44
3587.62/3597.00 v -x43 -x42 -x41 -x40 x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 x31 x30 -x29 x28 -x27 -x26 x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17
3587.62/3597.00 v -x16 x15 -x14 x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 x4 -x3 x2 -x1
3587.62/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.62/3597.00 c Total Time : 3597.00
3587.62/3597.00 c solving : 3597.00
3587.62/3597.00 c presolving : 0.04 (included in solving)
3587.62/3597.00 c reading : 0.00 (included in solving)
3587.62/3597.00 c copying : 0.05 (12 #copies) (minimal 0.00, maximal 0.01, average 0.00)
3587.62/3597.00 c Original Problem :
3587.62/3597.00 c Problem name : HOME/instance-4432636-1721078617.opb
3587.62/3597.00 c Variables : 479 (479 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.62/3597.00 c Constraints : 479 initial, 479 maximal
3587.62/3597.00 c Objective : minimize, 479 non-zeros (abs.min = 1, abs.max = 1)
3587.62/3597.00 c Presolved Problem :
3587.62/3597.00 c Problem name : t_HOME/instance-4432636-1721078617.opb
3587.62/3597.00 c Variables : 479 (479 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.62/3597.00 c Constraints : 936 initial, 1230 maximal
3587.62/3597.00 c Objective : minimize, 479 non-zeros (abs.min = 1, abs.max = 1)
3587.62/3597.00 c Nonzeros : 8890 constraint, 276 clique table
3587.62/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.62/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c gateextraction : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c implics : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c milp : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c trivial : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c dualfix : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c knapsack : 0.01 0.00 23 0 0 0 0 0 59 293 453 1299
3587.62/3597.00 c setppc : 0.00 0.00 19 0 0 0 0 0 136 0 0 0
3587.62/3597.00 c linear : 0.01 0.00 8 0 0 0 0 0 2 0 16 84
3587.62/3597.00 c logicor : 0.00 0.00 20 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c root node : - - - 0 - - 0 - - - - -
3587.62/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.62/3597.00 c benderslp : 0 0 0 0 51278 0 0 19653 0 0 0 0 0 0 0
3587.62/3597.00 c integral : 0 0 0 0 51278 0 0 19653 0 0 6 0 0 3 102550
3587.62/3597.00 c knapsack : 632 632 45 647696 0 0 0 19647 38325 0 5917 2308 124 0 0
3587.62/3597.00 c setppc : 138 138 45 646377 0 0 0 1333 23224 0 20874 0 0 0 0
3587.62/3597.00 c logicor : 166+ 460 45 144514 0 0 0 1333 221 430 10 3 0 0 0
3587.62/3597.00 c benders : 0 0 0 0 0 0 0 1336 0 0 0 0 0 0 0
3587.62/3597.00 c fixedvar : 0 0 0 0 0 0 0 1336 0 0 0 0 0 0 0
3587.62/3597.00 c countsols : 0 0 0 0 0 0 0 1336 0 0 0 0 0 0 0
3587.62/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.62/3597.00 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3587.62/3597.00 c integral : 131.18 0.00 0.00 0.00 131.17 0.00 0.00 0.01 0.00 0.00
3587.62/3597.00 c knapsack : 1.78 0.00 0.10 1.58 0.00 0.00 0.00 0.07 0.01 0.01
3587.62/3597.00 c setppc : 0.31 0.00 0.00 0.29 0.00 0.00 0.00 0.00 0.01 0.00
3587.62/3597.00 c logicor : 0.38 0.00 0.00 0.37 0.00 0.00 0.00 0.00 0.00 0.00
3587.62/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.62/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.62/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.62/3597.00 c components : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
3587.62/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.62/3597.00 c dualfix : 3 0 0 0
3587.62/3597.00 c genvbounds : 0 0 0 0
3587.62/3597.00 c nlobbt : 0 0 0 0
3587.62/3597.00 c obbt : 0 0 0 0
3587.62/3597.00 c probing : 0 0 0 0
3587.62/3597.00 c pseudoobj : 117917 0 0 0
3587.62/3597.00 c redcost : 576 0 0 1912
3587.62/3597.00 c rootredcost : 10 0 0 0
3587.62/3597.00 c symmetry : 0 0 0 0
3587.62/3597.00 c vbounds : 113880 0 0 0
3587.62/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.62/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.62/3597.00 c genvbounds : 0.04 0.00 0.00 0.04 0.00 0.00
3587.62/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.62/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.62/3597.00 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
3587.62/3597.00 c pseudoobj : 0.12 0.00 0.00 0.12 0.00 0.00
3587.62/3597.00 c redcost : 0.07 0.00 0.00 0.07 0.00 0.00
3587.62/3597.00 c rootredcost : 0.04 0.00 0.00 0.04 0.00 0.00
3587.62/3597.00 c symmetry : 0.06 0.00 0.00 0.06 0.00 0.00
3587.62/3597.00 c vbounds : 0.08 0.00 0.00 0.08 0.00 0.00
3587.62/3597.00 c Symmetry :
3587.62/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.62/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.62/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.62/3597.00 c shadow tree time : 0.00 s
3587.62/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.62/3597.00 c propagation : 0.01 430 429 - 646 94.2 0 0.0 - - -
3587.62/3597.00 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.62/3597.00 c bound exceed. LP : 4.20 6765 1319 - 25785 93.5 0 0.0 0 0.0 52551
3587.62/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.62/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.62/3597.00 c applied globally : 0.01 - - 0 1868 63.5 - - 0 - -
3587.62/3597.00 c applied locally : - - - 0 715 95.0 - - 0 - -
3587.62/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.62/3597.00 c cut pool : 27.92 - 21763 79 - - 188548 875231 - - - - - (maximal pool size: 4867)
3587.62/3597.00 c aggregation : 94.44 0.00 4069 45 0 0 2337 103978 0 41014 41014 0 0
3587.62/3597.00 c > cmir : - - - - - - - 75648 0 24863 24863 0 -
3587.62/3597.00 c > flowcover : - - - - - - - 7349 0 2939 2939 0 -
3587.62/3597.00 c > knapsackcover : - - - - - - - 20981 0 13212 13212 0 -
3587.62/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c clique : 0.01 0.00 45 45 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c gomory : 49.66 0.00 3528 20 0 0 180533 189450 0 3773 3773 0 0
3587.62/3597.00 c > gomorymi : - - - - - - - 121348 0 3727 3727 0 -
3587.62/3597.00 c > strongcg : - - - - - - - 68102 0 46 46 0 -
3587.62/3597.00 c impliedbounds : 0.07 0.00 4069 45 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.00 c multilinear : 0.00 0.00 3919 45 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c rapidlearning : 0.20 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c rlt : 0.01 0.00 770 20 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c zerohalf : 18.24 0.00 3548 40 0 0 5678 581803 0 173566 173566 0 0
3587.73/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.73/3597.01 c hybrid : 2.05 0.00 18144 43 218477 0 659065 850 0 11833
3587.73/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3587.73/3597.01 c problem variables: 0.00 - 0 0
3587.73/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.73/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c relpscost : 131.14 0.00 51278 0 0 0 6 0 3 102550
3587.73/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.73/3597.01 c LP solutions : 0.00 - - 0 0
3587.73/3597.01 c relax solutions : 0.00 - - 0 0
3587.73/3597.01 c pseudo solutions : 0.00 - - 0 0
3587.73/3597.01 c strong branching : 0.20 - - 437 0
3587.73/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3587.73/3597.01 c adaptivediving : 15.57 0.00 41 2 0
3587.73/3597.01 c alns : 0.09 0.00 9 0 0
3587.73/3597.01 c bound : 0.00 0.00 0 0 0
3587.73/3597.01 c clique : 0.00 0.00 1 0 0
3587.73/3597.01 c coefdiving : 0.00 0.00 0 0 0
3587.73/3597.01 c completesol : 0.00 0.00 0 0 0
3587.73/3597.01 c conflictdiving : 340.39 0.00 937 2 0
3587.73/3597.01 c crossover : 0.04 0.00 2 2 1
3587.73/3597.01 c dins : 0.00 0.00 0 0 0
3587.73/3597.01 c distributiondivin: 193.85 0.00 280 3 0
3587.73/3597.01 c dps : 0.00 0.00 0 0 0
3587.73/3597.01 c dualval : 0.00 0.00 0 0 0
3587.73/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3587.73/3597.01 c feasjump : 0.00 0.00 0 0 0
3587.73/3597.01 c feaspump : 0.00 0.00 0 0 0
3587.73/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3587.73/3597.01 c fracdiving : 123.10 0.00 293 2 0
3587.73/3597.01 c gins : 0.01 0.00 1 1 0
3587.73/3597.01 c guideddiving : 97.11 0.00 272 0 0
3587.73/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3587.73/3597.01 c indicator : 0.01 0.00 0 0 0
3587.73/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3587.73/3597.01 c indoneopt : 0.01 0.00 0 0 0
3587.73/3597.01 c indrounding : 0.00 0.00 0 0 0
3587.73/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3587.73/3597.01 c intdiving : 0.00 0.00 0 0 0
3587.73/3597.01 c intshifting : 0.00 0.00 0 0 0
3587.73/3597.01 c linesearchdiving : 84.14 0.00 325 0 0
3587.73/3597.01 c localbranching : 0.00 0.00 0 0 0
3587.73/3597.01 c locks : 0.00 0.00 1 1 1
3587.73/3597.01 c lpface : 0.01 0.00 0 0 0
3587.73/3597.01 c mpec : 0.00 0.00 0 0 0
3587.73/3597.01 c multistart : 0.00 0.00 0 0 0
3587.73/3597.01 c mutation : 0.00 0.00 0 0 0
3587.73/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3587.73/3597.01 c objpscostdiving : 94.42 0.00 81 555 2
3587.73/3597.01 c octane : 0.00 0.00 0 0 0
3587.73/3597.01 c ofins : 0.01 0.00 0 0 0
3587.73/3597.01 c oneopt : 0.01 0.00 8 3 3
3587.73/3597.01 c padm : 0.00 0.00 0 0 0
3587.73/3597.01 c proximity : 0.00 0.00 0 0 0
3587.73/3597.01 c pscostdiving : 166.78 0.00 715 93 8
3587.73/3597.01 c randrounding : 0.86 0.00 18342 0 0
3587.73/3597.01 c rens : 0.00 0.00 0 0 0
3587.73/3597.01 c reoptsols : 0.00 0.00 0 0 0
3587.73/3597.01 c repair : 0.00 0.00 0 0 0
3587.73/3597.01 c rins : 0.02 0.00 0 0 0
3587.73/3597.01 c rootsoldiving : 12.95 0.00 83 0 0
3587.73/3597.01 c rounding : 4.72 0.00 3680 0 0
3587.73/3597.01 c scheduler : 0.00 0.00 0 0 0
3587.73/3597.01 c shiftandpropagate: 0.00 0.00 0 0 0
3587.73/3597.01 c shifting : 2.82 0.00 1950 0 0
3587.73/3597.01 c simplerounding : 1.45 0.00 69471 32 0
3587.73/3597.01 c smallcard : 0.00 0.00 0 0 0
3587.73/3597.01 c subnlp : 0.02 0.00 0 0 0
3587.73/3597.01 c trivial : 0.00 0.00 4 1 1
3587.73/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3587.73/3597.01 c trustregion : 0.00 0.00 0 0 0
3587.73/3597.01 c trysol : 0.01 0.00 0 0 0
3587.73/3597.01 c twoopt : 0.00 0.00 0 0 0
3587.73/3597.01 c undercover : 0.00 0.00 0 0 0
3587.73/3597.01 c vbounds : 0.00 0.00 0 0 0
3587.73/3597.01 c veclendiving : 92.62 0.00 361 1 0
3587.73/3597.01 c zeroobj : 0.00 0.00 0 0 0
3587.73/3597.01 c zirounding : 1.04 0.00 5001 100 0
3587.73/3597.01 c other solutions : - - - 0 -
3587.73/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.73/3597.01 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.73/3597.01 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.73/3597.01 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.73/3597.01 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.73/3597.01 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.73/3597.01 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.73/3597.01 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.73/3597.01 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.73/3597.01 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.73/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.73/3597.01 c primal LP : 2.02 9989 2 1.00 0.99 2.02 9987
3587.73/3597.01 c dual LP : 2020.66 69614 23255536 334.54 11508.87 0.02 100
3587.73/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3587.73/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.73/3597.01 c resolve instable : 0.00 0 0 0.00 -
3587.73/3597.01 c diving/probing LP: 1132.68 44513 14662688 329.40 12945.15
3587.73/3597.01 c strong branching : 124.14 2507 1449817 578.31 11678.76 - - 415
3587.73/3597.01 c (at root node) : - 49 36329 741.41 -
3587.73/3597.01 c conflict analysis: 3.15 5307 52551 9.90 16701.92
3587.73/3597.01 c B&B Tree :
3587.73/3597.01 c number of runs : 2
3587.73/3597.01 c nodes : 50269 (50226 internal, 43 leaves)
3587.73/3597.01 c feasible leaves : 0
3587.73/3597.01 c infeas. leaves : 0
3587.73/3597.01 c objective leaves : 42
3587.73/3597.01 c nodes (total) : 51318 (51275 internal, 43 leaves)
3587.73/3597.01 c nodes left : 50167
3587.73/3597.01 c max depth : 91
3587.73/3597.01 c max depth (total): 91
3587.73/3597.01 c backtracks : 5060 (10.1%)
3587.73/3597.01 c early backtracks : 0 (0.0%)
3587.73/3597.01 c nodes exc. ref. : 0 (0.0%)
3587.73/3597.01 c delayed cutoffs : 0
3587.73/3597.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3587.73/3597.01 c avg switch length: 4.18
3587.73/3597.01 c switching time : 3.77
3587.73/3597.01 c Root Node :
3587.73/3597.01 c First LP value : +1.56179690855966e+02
3587.73/3597.01 c First LP Iters : 1920 (16478.00 Iter/sec)
3587.73/3597.01 c First LP Time : 0.12
3587.73/3597.01 c Final Dual Bound : +1.69322774939188e+02
3587.73/3597.01 c Final Root Iters : 21016
3587.73/3597.01 c Root LP Estimate : +2.46878125986605e+02
3587.73/3597.01 c Solution :
3587.73/3597.01 c Solutions found : 1235 (16 improvements)
3587.73/3597.01 c First Solution : +4.79000000000000e+02 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
3587.73/3597.01 c Gap First Sol. : infinite
3587.73/3597.01 c Gap Last Sol. : 13.52 %
3587.73/3597.01 c Primal Bound : +1.94000000000000e+02 (in run 2, after 6740 nodes, 824.41 seconds, depth 216, found by <pscostdiving>)
3587.73/3597.01 c Dual Bound : +1.71825710872852e+02
3587.73/3597.01 c Gap : 12.91 %
3587.73/3597.01 c Integrals : Total Avg%
3587.73/3597.01 c primal-dual : 43116.96 11.99
3587.73/3597.01 c primal-ref : - - (not evaluated)
3587.73/3597.01 c dual-ref : - - (not evaluated)
3587.83/3597.17 c Time complete: 3587.9.
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: 64059 MiB (62614 MiB free)
memory of node 1: 64510 MiB (61015 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432636-1721078617/watcher-4432636-1721078617 -o /tmp/evaluation-result-4432636-1721078617/solver-4432636-1721078617 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721071433-807173 --watchdog 3760 pbscip -f HOME/instance-4432636-1721078617.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=811296, runsolver pid=811293
[startup+0.100095 s]*
/proc/loadavg: 4.16 4.17 4.17 5/243 811297
/proc/meminfo: memFree=126561260/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=63732 memory=25012 CPUtime=0.1 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 2677 0 0 0 10 0 0 0 20 0 1 0 160018732 65261568 6253 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 15933 6253 3960 3540 0 4190 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 63732 KiB
Current children cumulated memory: 25012 KiB
[startup+0.212813 s]*
/proc/loadavg: 4.16 4.17 4.17 5/243 811297
/proc/meminfo: memFree=126519756/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=79580 memory=40912 CPUtime=0.21 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 6620 0 0 0 21 0 0 0 20 0 1 0 160018732 81489920 10228 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 19895 10228 3976 3540 0 8152 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 79580 KiB
Current children cumulated memory: 40912 KiB
[startup+0.312793 s]*
/proc/loadavg: 4.16 4.17 4.17 5/243 811297
/proc/meminfo: memFree=126498252/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=86756 memory=48040 CPUtime=0.32 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 8395 0 0 0 31 1 0 0 20 0 1 0 160018732 88838144 12010 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 21689 12010 3976 3540 0 9946 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 86756 KiB
Current children cumulated memory: 48040 KiB
[startup+0.700313 s]
/proc/loadavg: 4.16 4.17 4.17 5/243 811299
/proc/meminfo: memFree=126433600/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=121432 memory=82344 CPUtime=0.69 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 18112 0 0 0 66 3 0 0 20 0 1 0 160018732 124346368 20586 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 30358 20586 3976 3540 0 18615 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 121432 KiB
Current children cumulated memory: 82344 KiB
[startup+1.50029 s]
/proc/loadavg: 4.16 4.17 4.17 5/243 811299
/proc/meminfo: memFree=126308468/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=197516 memory=154944 CPUtime=1.48 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 36298 0 0 0 143 5 0 0 20 0 1 0 160018732 202256384 38736 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 49379 38736 3976 3540 0 37636 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 197516 KiB
Current children cumulated memory: 154944 KiB
[startup+3.11335 s]
/proc/loadavg: 4.15 4.17 4.17 5/243 811299
/proc/meminfo: memFree=126249768/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=201284 memory=158436 CPUtime=3.09 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 37144 0 0 0 304 5 0 0 20 0 1 0 160018732 206114816 39609 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 50321 39609 3992 3540 0 38578 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 201284 KiB
Current children cumulated memory: 158436 KiB
[startup+6.30025 s]
/proc/loadavg: 4.15 4.17 4.17 5/243 811299
/proc/meminfo: memFree=126249828/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=201284 memory=158436 CPUtime=6.27 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 37144 0 0 0 622 5 0 0 20 0 1 0 160018732 206114816 39609 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 50321 39609 3992 3540 0 38578 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 201284 KiB
Current children cumulated memory: 158436 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.16 4.17 5/243 811300
/proc/meminfo: memFree=126238916/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=201284 memory=158436 CPUtime=12.66 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 37147 0 0 0 1261 5 0 0 20 0 1 0 160018732 206114816 39609 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 50321 39609 3992 3540 0 38578 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 201284 KiB
Current children cumulated memory: 158436 KiB
[startup+25.5003 s]
/proc/loadavg: 4.11 4.15 4.16 5/243 811303
/proc/meminfo: memFree=126057136/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=267420 memory=222844 CPUtime=25.43 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 53272 0 0 0 2535 8 0 0 20 0 1 0 160018732 273838080 55711 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 66855 55711 3992 3540 0 55112 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 267420 KiB
Current children cumulated memory: 222844 KiB
[startup+51.1131 s]
/proc/loadavg: 4.13 4.16 4.16 5/243 811307
/proc/meminfo: memFree=126044648/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=263796 memory=219468 CPUtime=50.97 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 53507 0 0 0 5087 10 0 0 20 0 1 0 160018732 270127104 54867 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 65949 54867 3992 3540 0 54206 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 263796 KiB
Current children cumulated memory: 219468 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.15 4.16 5/243 811317
/proc/meminfo: memFree=126007732/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=264628 memory=220200 CPUtime=102.04 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 53948 0 0 0 10193 11 0 0 20 0 1 0 160018732 270979072 55050 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 66157 55050 3992 3540 0 54414 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 264628 KiB
Current children cumulated memory: 220200 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.16 4.17 5/243 811711
/proc/meminfo: memFree=125696372/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=280592 memory=239424 CPUtime=161.9 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 59788 0 0 0 16178 12 0 0 20 0 1 0 160018732 287326208 59856 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 70148 59856 4015 3540 0 58405 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 280592 KiB
Current children cumulated memory: 239424 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.15 4.16 5/243 811722
/proc/meminfo: memFree=125638320/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=328532 memory=287724 CPUtime=221.75 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 71881 0 0 0 22161 14 0 0 20 0 1 0 160018732 336416768 71931 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 82133 71931 4015 3540 0 70390 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 328532 KiB
Current children cumulated memory: 287724 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/243 811733
/proc/meminfo: memFree=125596692/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=368332 memory=327576 CPUtime=281.6 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 81822 0 0 0 28144 16 0 0 20 0 1 0 160018732 377171968 81894 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 92083 81894 4015 3540 0 80340 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 368332 KiB
Current children cumulated memory: 327576 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.14 4.15 5/245 811913
/proc/meminfo: memFree=125587616/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=372416 memory=331008 CPUtime=341.46 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 82705 0 0 0 34129 17 0 0 20 0 1 0 160018732 381353984 82752 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 93104 82752 4015 3540 0 81361 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 372416 KiB
Current children cumulated memory: 331008 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.14 4.15 5/245 811923
/proc/meminfo: memFree=125582824/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=372416 memory=331272 CPUtime=401.32 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 82734 0 0 0 40115 17 0 0 20 0 1 0 160018732 381353984 82818 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 93104 82818 4015 3540 0 81361 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 372416 KiB
Current children cumulated memory: 331272 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/243 811990
/proc/meminfo: memFree=125577540/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=372416 memory=331272 CPUtime=461.17 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 82739 0 0 0 46100 17 0 0 20 0 1 0 160018732 381353984 82818 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 93104 82818 4015 3540 0 81361 0
################
# More data... #
################
/proc/loadavg: 4.17 4.15 4.16 5/242 813645
/proc/meminfo: memFree=125320920/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=443332 memory=406876 CPUtime=3214.11 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 106650 0 0 0 321388 23 0 0 20 0 1 0 160018732 453971968 101719 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 110833 101719 4015 3540 0 99090 0
Current children cumulated CPU time: 3214.11 s
Current children cumulated vsize: 443332 KiB
Current children cumulated memory: 406876 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/242 813655
/proc/meminfo: memFree=125319536/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=443332 memory=406900 CPUtime=3273.93 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 106815 0 0 0 327370 23 0 0 20 0 1 0 160018732 453971968 101725 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 110833 101725 4015 3540 0 99090 0
Current children cumulated CPU time: 3273.93 s
Current children cumulated vsize: 443332 KiB
Current children cumulated memory: 406900 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/242 813665
/proc/meminfo: memFree=125313040/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=444216 memory=407784 CPUtime=3333.76 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 107198 0 0 0 333353 23 0 0 20 0 1 0 160018732 454877184 101946 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 111054 101946 4015 3540 0 99311 0
Current children cumulated CPU time: 3333.76 s
Current children cumulated vsize: 444216 KiB
Current children cumulated memory: 407784 KiB
[startup+3402.3 s]
/proc/loadavg: 4.65 4.26 4.19 5/241 813675
/proc/meminfo: memFree=125311948/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=444592 memory=408276 CPUtime=3393.59 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 107483 0 0 0 339336 23 0 0 20 0 1 0 160018732 455262208 102069 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 111148 102069 4015 3540 0 99405 0
Current children cumulated CPU time: 3393.59 s
Current children cumulated vsize: 444592 KiB
Current children cumulated memory: 408276 KiB
[startup+3462.3 s]
/proc/loadavg: 4.55 4.33 4.22 5/244 813691
/proc/meminfo: memFree=125298568/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=449828 memory=412468 CPUtime=3453.41 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 108665 0 0 0 345318 23 0 0 20 0 1 0 160018732 460623872 103117 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 112457 103117 4015 3540 0 100714 0
Current children cumulated CPU time: 3453.41 s
Current children cumulated vsize: 449828 KiB
Current children cumulated memory: 412468 KiB
[startup+3522.3 s]
/proc/loadavg: 4.32 4.30 4.21 5/244 813701
/proc/meminfo: memFree=125296664/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=449828 memory=412468 CPUtime=3513.24 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 108815 0 0 0 351301 23 0 0 20 0 1 0 160018732 460623872 103117 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 112457 103117 4015 3540 0 100714 0
Current children cumulated CPU time: 3513.24 s
Current children cumulated vsize: 449828 KiB
Current children cumulated memory: 412468 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.26 4.20 5/244 813711
/proc/meminfo: memFree=125295092/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=449828 memory=412496 CPUtime=3573.07 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 108983 0 0 0 357284 23 0 0 20 0 1 0 160018732 460623872 103124 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 112457 103124 4015 3540 0 100714 0
Current children cumulated CPU time: 3573.07 s
Current children cumulated vsize: 449828 KiB
Current children cumulated memory: 412496 KiB
[startup+3597.17 s]
# the end of solver process 811296 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.67 s, system=0.240777 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.16 4.25 4.20 5/244 813711
/proc/meminfo: memFree=125295100/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=449828 memory=412496 CPUtime=3574.77 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 109025 0 0 0 357454 23 0 0 20 0 1 0 160018732 460623872 103124 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 112457 103124 4015 3540 0 100714 0
Current children cumulated CPU time: 3574.77 s
Current children cumulated vsize: 449828 KiB
Current children cumulated memory: 412496 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.25 4.20 5/244 813711
/proc/meminfo: memFree=125295088/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=449828 memory=412496 CPUtime=3581.14 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 109027 0 0 0 358091 23 0 0 20 0 1 0 160018732 460623872 103124 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 112457 103124 4015 3540 0 100714 0
Current children cumulated CPU time: 3581.14 s
Current children cumulated vsize: 449828 KiB
Current children cumulated memory: 412496 KiB
[startup+3593.6 s]
/proc/loadavg: 4.15 4.25 4.20 5/244 813713
/proc/meminfo: memFree=125295012/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=449828 memory=412496 CPUtime=3584.33 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 109027 0 0 0 358410 23 0 0 20 0 1 0 160018732 460623872 103124 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 112457 103124 4015 3540 0 100714 0
Current children cumulated CPU time: 3584.33 s
Current children cumulated vsize: 449828 KiB
Current children cumulated memory: 412496 KiB
[startup+3595.2 s]
/proc/loadavg: 4.14 4.24 4.20 5/244 813713
/proc/meminfo: memFree=125292872/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=449828 memory=412496 CPUtime=3585.93 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 109027 0 0 0 358570 23 0 0 20 0 1 0 160018732 460623872 103124 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 112457 103124 4015 3540 0 100714 0
Current children cumulated CPU time: 3585.93 s
Current children cumulated vsize: 449828 KiB
Current children cumulated memory: 412496 KiB
[startup+3596 s]*
/proc/loadavg: 4.14 4.24 4.20 3/230 813775
/proc/meminfo: memFree=126060408/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=449828 memory=412496 CPUtime=3586.74 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 109027 0 0 0 358651 23 0 0 20 0 1 0 160018732 460623872 103124 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 112457 103124 4015 3540 0 100714 0
Current children cumulated CPU time: 3586.74 s
Current children cumulated vsize: 449828 KiB
Current children cumulated memory: 412496 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.24 4.20 3/230 813775
/proc/meminfo: memFree=126060408/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=449828 memory=412496 CPUtime=3587.52 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 109027 0 0 0 358729 23 0 0 20 0 1 0 160018732 460623872 103124 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 112457 103124 4015 3540 0 100714 0
Current children cumulated CPU time: 3587.52 s
Current children cumulated vsize: 449828 KiB
Current children cumulated memory: 412496 KiB
[startup+3597 s]*
/proc/loadavg: 4.14 4.24 4.20 3/230 813775
/proc/meminfo: memFree=126060544/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=449828 memory=412496 CPUtime=3587.73 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 109027 0 0 0 358750 23 0 0 20 0 1 0 160018732 460623872 103124 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 112457 103124 4015 3540 0 100714 0
Current children cumulated CPU time: 3587.73 s
Current children cumulated vsize: 449828 KiB
Current children cumulated memory: 412496 KiB
[startup+3597.11 s]
/proc/loadavg: 4.14 4.24 4.20 3/230 813775
/proc/meminfo: memFree=126060544/131655788 swapFree=131071996/131071996
[pid=811296] ppid=811293 vsize=448800 memory=411472 CPUtime=3587.83 cores=4,6
/proc/811296/stat : 811296 (pbscip) R 811293 811296 807162 0 -1 4194304 109028 0 0 0 358760 23 0 0 20 0 1 0 160018732 459571200 102868 134679101440 4194304 18693293 140734999925472 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58974208 140734999933956 140734999934055 140734999934055 140734999941070 0
/proc/811296/statm: 112200 102868 4015 3540 0 100457 0
Current children cumulated CPU time: 3587.83 s
Current children cumulated vsize: 448800 KiB
Current children cumulated memory: 411472 KiB
Child status: 0
Real time (s): 3597.17
CPU time (s): 3587.91
CPU user time (s): 3587.67
CPU system time (s): 0.240777
CPU usage (%): 99.7424
Max. virtual memory (cumulated for all children) (KiB): 449828
Max. memory (cumulated for all children) (KiB): 412496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.67
system time used= 0.240777
maximum resident set size= 412496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109050
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39
involuntary context switches= 2516
# summary of solver processes directly reported to runsolver:
# pid: 811296
# total CPU time (s): 3587.91
# total CPU user time (s): 3587.67
# total CPU system time (s): 0.240777
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3524 second user time and 33.1038 second system time
The end