Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2025-06-13 | SAT | 196 | 3587.47 | 3597.16 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb |
| MD5SUM | 1da12ebdd4ab5e725928f3bf845b8b1e |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 186 |
| Best CPU time to get the best result obtained on this benchmark | 3585.57 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 479 |
| Total number of constraints | 479 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 479 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 17 |
| Number of terms in the objective function | 479 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 479 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 479 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4489149-1751353076.opb>
0.00/0.01 c original problem has 479 variables (479 bin, 0 int, 0 cont) and 479 constraints
0.00/0.01 c problem read in 0.005 seconds
0.00/0.01 o 479
0.00/0.01 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 4.790000e+02
0.00/0.01 c presolving:
0.00/0.02 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.02 c (0.0s) running MILP presolver
0.00/0.02 c (0.0s) MILP presolver found nothing
0.00/0.03 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.04 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.04 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.04 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.04 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.05 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.05 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.06 c (0.1s) probing: 51/479 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.06 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.07 c (0.1s) no symmetry present (symcode time: 0.00)
0.00/0.07 c presolving (9 rounds: 9 fast, 4 medium, 3 exhaustive):
0.00/0.07 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.07 c 0 implications, 138 cliques
0.00/0.07 c presolved problem has 479 variables (479 bin, 0 int, 0 cont) and 577 constraints
0.00/0.07 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.00/0.07 c 418 constraints of type <knapsack>
0.00/0.07 c 138 constraints of type <setppc>
0.00/0.07 c 21 constraints of type <logicor>
0.00/0.07 c transformed objective value is always integral (scale: 1)
0.00/0.07 c Presolving Time: 0.06
0.00/0.07 c
0.00/0.07 c - non default parameters ----------------------------------------------------------------------
0.00/0.07 c
0.00/0.07 c # SCIP version 10.0.0
0.00/0.07 c
0.00/0.07 c # maximal time in seconds to run
0.00/0.07 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.07 c limits/time = 3596.995054
0.00/0.07 c
0.00/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.07 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.07 c limits/memory = 27900
0.00/0.07 c
0.00/0.07 c # belongs reading time to solving time?
0.00/0.07 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.07 c timing/reading = TRUE
0.00/0.07 c
0.00/0.07 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.00/0.07 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.00/0.07 c reading/opbreader/maxintsize = 47
0.00/0.07 c
0.00/0.07 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.00/0.07 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.00/0.07 c propagating/genvbounds/timingmask = 0
0.00/0.07 c
0.00/0.07 c -----------------------------------------------------------------------------------------------
0.00/0.07 c transformed 1/1 original solutions to the transformed problem space
0.00/0.07 c
0.00/0.08 o 228
0.00/0.08 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.08 c p 0.1s| 1 | 0 | 0 | - | locks| 0 | 479 | 577 | 577 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.280000e+02 | Inf | unknown
0.00/0.08 o 214
0.00/0.08 c i 0.1s| 1 | 0 | 0 | - | oneopt| 0 | 479 | 577 | 577 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.140000e+02 | Inf | unknown
0.31/0.40 c 0.4s| 1 | 0 | 1920 | - | 7947k | 0 | 479 | 577 | 577 | 0 | 0 | 0 | 0 | 1.561797e+02 | 2.140000e+02 | 37.02%| unknown
0.60/0.67 c 0.7s| 1 | 0 | 2549 | - | 26M | 0 | 479 | 577 | 640 | 63 | 1 | 0 | 0 | 1.596207e+02 | 2.140000e+02 | 34.07%| unknown
0.88/0.93 c 0.9s| 1 | 0 | 3290 | - | 40M | 0 | 479 | 577 | 698 | 121 | 2 | 0 | 0 | 1.618284e+02 | 2.140000e+02 | 32.24%| unknown
1.10/1.14 c 1.1s| 1 | 0 | 4013 | - | 53M | 0 | 479 | 577 | 755 | 178 | 3 | 0 | 0 | 1.636560e+02 | 2.140000e+02 | 30.76%| unknown
1.29/1.33 c 1.3s| 1 | 0 | 4552 | - | 64M | 0 | 479 | 577 | 815 | 238 | 4 | 0 | 0 | 1.648556e+02 | 2.140000e+02 | 29.81%| unknown
1.48/1.50 c 1.5s| 1 | 0 | 5004 | - | 77M | 0 | 479 | 577 | 862 | 285 | 5 | 0 | 0 | 1.657388e+02 | 2.140000e+02 | 29.12%| unknown
1.58/1.65 c 1.6s| 1 | 0 | 5420 | - | 91M | 0 | 479 | 577 | 912 | 335 | 6 | 0 | 0 | 1.664428e+02 | 2.140000e+02 | 28.57%| unknown
1.68/1.79 c 1.8s| 1 | 0 | 5763 | - | 105M | 0 | 479 | 577 | 949 | 372 | 7 | 0 | 0 | 1.668049e+02 | 2.140000e+02 | 28.29%| unknown
1.88/1.93 c 1.9s| 1 | 0 | 6106 | - | 109M | 0 | 479 | 577 | 984 | 407 | 8 | 0 | 0 | 1.670736e+02 | 2.140000e+02 | 28.09%| unknown
1.99/2.07 c 2.1s| 1 | 0 | 6452 | - | 125M | 0 | 479 | 577 |1014 | 437 | 9 | 0 | 0 | 1.672858e+02 | 2.140000e+02 | 27.92%| unknown
2.18/2.22 c 2.2s| 1 | 0 | 6785 | - | 142M | 0 | 479 | 577 |1043 | 466 | 10 | 0 | 0 | 1.674938e+02 | 2.140000e+02 | 27.77%| unknown
2.28/2.30 c 2.3s| 1 | 0 | 7118 | - | 142M | 0 | 479 | 577 |1075 | 500 | 11 | 0 | 0 | 1.676241e+02 | 2.140000e+02 | 27.67%| unknown
2.28/2.38 c 2.4s| 1 | 0 | 7507 | - | 142M | 0 | 479 | 577 |1106 | 531 | 12 | 0 | 0 | 1.678282e+02 | 2.140000e+02 | 27.51%| unknown
2.38/2.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.38/2.43 c 2.4s| 1 | 0 | 7652 | - | 142M | 0 | 479 | 577 |1130 | 555 | 13 | 0 | 0 | 1.678791e+02 | 2.140000e+02 | 27.47%| unknown
2.48/2.50 c 2.5s| 1 | 0 | 7887 | - | 142M | 0 | 479 | 577 |1152 | 577 | 14 | 0 | 0 | 1.679785e+02 | 2.140000e+02 | 27.40%| unknown
2.48/2.55 c 2.5s| 1 | 0 | 7975 | - | 142M | 0 | 479 | 577 |1166 | 591 | 15 | 0 | 0 | 1.680003e+02 | 2.140000e+02 | 27.38%| unknown
2.48/2.59 c 2.6s| 1 | 0 | 7994 | - | 142M | 0 | 479 | 577 |1170 | 595 | 16 | 0 | 0 | 1.680021e+02 | 2.140000e+02 | 27.38%| unknown
2.58/2.64 c 2.6s| 1 | 0 | 8032 | - | 142M | 0 | 479 | 577 |1095 | 600 | 17 | 0 | 0 | 1.680034e+02 | 2.140000e+02 | 27.38%| unknown
2.58/2.68 c 2.7s| 1 | 0 | 8082 | - | 143M | 0 | 479 | 577 |1097 | 602 | 18 | 0 | 0 | 1.680102e+02 | 2.140000e+02 | 27.37%| unknown
2.68/2.72 c 2.7s| 1 | 0 | 8088 | - | 143M | 0 | 479 | 577 |1100 | 605 | 19 | 0 | 0 | 1.680102e+02 | 2.140000e+02 | 27.37%| unknown
4.38/4.44 c 4.4s| 1 | 2 | 8088 | - | 144M | 0 | 479 | 577 |1100 | 605 | 20 | 0 | 29 | 1.682693e+02 | 2.140000e+02 | 27.18%| unknown
16.24/16.32 o 213
16.24/16.32 c d16.3s| 23 | 24 | 22605 | 659.9 |pscostdi| 22 | 479 | 577 |1094 | 0 | 1 | 0 | 251 | 1.682693e+02 | 2.130000e+02 | 26.58%| unknown
16.24/16.32 o 211
16.24/16.32 c d16.3s| 23 | 24 | 22610 | 660.1 |pscostdi| 22 | 479 | 577 |1094 | 0 | 1 | 0 | 251 | 1.682693e+02 | 2.110000e+02 | 25.39%| unknown
16.24/16.33 o 210
16.24/16.33 c i16.3s| 24 | 23 | 22619 | 631.8 | oneopt| 22 | 479 | 577 |1033 | 838 | 0 | 0 | 251 | 1.682693e+02 | 2.100000e+02 | 24.80%| unknown
23.03/23.19 c 23.2s| 100 | 101 | 75396 | 679.9 | 206M | 32 | 479 | 577 |1059 |1562 | 6 | 1 | 277 | 1.682693e+02 | 2.100000e+02 | 24.80%| unknown
24.61/24.79 o 209
24.61/24.79 c o24.8s| 104 | 105 |102390 | 915.6 |objpscos| 32 | 479 | 577 |1026 |1562 | 1 | 1 | 277 | 1.682693e+02 | 2.090000e+02 | 24.21%| unknown
24.61/24.79 o 208
24.61/24.79 c o24.8s| 104 | 105 |102410 | 915.7 |objpscos| 32 | 479 | 577 |1026 |1562 | 1 | 1 | 277 | 1.682693e+02 | 2.080000e+02 | 23.61%| unknown
24.61/24.79 o 207
24.61/24.79 c o24.8s| 104 | 105 |102421 | 915.9 |objpscos| 32 | 479 | 577 |1026 |1562 | 1 | 1 | 277 | 1.682693e+02 | 2.070000e+02 | 23.02%| unknown
24.61/24.79 o 206
24.61/24.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
24.61/24.79 c o24.8s| 104 | 105 |102453 | 916.2 |objpscos| 32 | 479 | 577 |1026 |1562 | 1 | 1 | 277 | 1.682693e+02 | 2.060000e+02 | 22.42%| unknown
24.71/24.80 o 205
24.71/24.80 c o24.8s| 104 | 105 |102591 | 917.5 |objpscos| 32 | 479 | 577 |1026 |1562 | 1 | 1 | 277 | 1.682693e+02 | 2.050000e+02 | 21.83%| unknown
24.71/24.80 o 204
24.71/24.80 c o24.8s| 104 | 105 |102657 | 918.1 |objpscos| 32 | 479 | 577 |1026 |1562 | 1 | 1 | 277 | 1.682693e+02 | 2.040000e+02 | 21.23%| unknown
24.71/24.80 c o24.8s| 104 | 105 |102672 | 918.3 |objpscos| 32 | 479 | 577 |1026 |1562 | 1 | 1 | 277 | 1.682693e+02 | 2.040000e+02 | 21.23%| unknown
24.71/24.80 c o24.8s| 104 | 105 |102804 | 919.6 |objpscos| 32 | 479 | 577 |1026 |1562 | 1 | 1 | 277 | 1.682693e+02 | 2.040000e+02 | 21.23%| unknown
24.71/24.85 o 202
24.71/24.85 c i24.8s| 104 | 105 |104352 | 934.6 | oneopt| 32 | 479 | 577 |1026 |1562 | 1 | 1 | 277 | 1.682693e+02 | 2.020000e+02 | 20.05%| unknown
35.18/35.31 c 35.3s| 200 | 201 |195041 | 939.5 | 200M | 33 | 479 | 577 |1058 |2166 | 6 | 3 | 327 | 1.682693e+02 | 2.020000e+02 | 20.05%| unknown
51.14/51.30 c 51.3s| 300 | 301 |380721 |1246.3 | 201M | 35 | 479 | 577 |1108 |2953 | 1 | 12 | 364 | 1.682693e+02 | 2.020000e+02 | 20.05%| unknown
51.74/51.96 o 197
51.74/51.96 c L52.0s| 304 | 305 |387097 |1250.9 |crossove| 35 | 479 | 577 |1094 |3029 | 1 | 12 | 364 | 1.682693e+02 | 1.970000e+02 | 17.07%| unknown
65.91/66.13 c 66.1s| 400 | 401 |549475 |1356.9 | 201M | 35 | 479 | 580 |1110 |3814 | 1 | 19 | 404 | 1.682693e+02 | 1.970000e+02 | 17.07%| unknown
79.67/79.91 c 79.9s| 500 | 501 |689372 |1365.3 | 216M | 44 | 479 | 581 |1105 |4357 | 1 | 26 | 445 | 1.682693e+02 | 1.970000e+02 | 17.07%| unknown
93.84/94.16 c 94.2s| 600 | 601 |834770 |1380.1 | 226M | 44 | 479 | 581 |1148 |5180 | 1 | 31 | 490 | 1.682693e+02 | 1.970000e+02 | 17.07%| unknown
107.28/107.62 c 108s| 700 | 701 |977600 |1387.0 | 227M | 44 | 479 | 584 |1149 |5957 | 1 | 39 | 529 | 1.682693e+02 | 1.970000e+02 | 17.07%| unknown
119.25/119.68 c 120s| 800 | 801 | 1109k|1378.7 | 229M | 44 | 479 | 594 |1041 |6708 | 1 | 53 | 543 | 1.682693e+02 | 1.970000e+02 | 17.07%| unknown
130.22/130.64 c 131s| 900 | 901 | 1231k|1361.3 | 233M | 44 | 479 | 596 |1189 |7372 | 1 | 57 | 548 | 1.682693e+02 | 1.970000e+02 | 17.07%| unknown
140.20/140.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
140.20/140.64 c 141s| 1000 | 1001 | 1341k|1335.2 | 239M | 55 | 479 | 601 |1192 |8249 | 1 | 66 | 551 | 1.685071e+02 | 1.970000e+02 | 16.91%| unknown
146.29/146.72 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
146.29/146.72 c (run 1, node 1049) performing user restart
146.29/146.72 c
146.29/146.72 c (restart) converted 425 cuts from the global cut pool into linear constraints
146.29/146.72 c
146.29/146.76 c presolving:
146.29/146.76 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 5 chg sides, 28 chg coeffs, 0 upgd conss, 0 impls, 138 clqs
146.29/146.76 c (round 2, exhaustive) 0 del vars, 2 del conss, 0 add conss, 0 chg bounds, 6 chg sides, 28 chg coeffs, 0 upgd conss, 0 impls, 138 clqs
146.29/146.76 c (round 3, exhaustive) 0 del vars, 2 del conss, 0 add conss, 0 chg bounds, 6 chg sides, 28 chg coeffs, 423 upgd conss, 0 impls, 138 clqs
146.29/146.76 c (round 4, fast) 0 del vars, 2 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 39 chg coeffs, 423 upgd conss, 0 impls, 138 clqs
146.29/146.77 c (round 5, medium) 0 del vars, 2 del conss, 0 add conss, 0 chg bounds, 10 chg sides, 40 chg coeffs, 423 upgd conss, 0 impls, 138 clqs
146.29/146.77 c presolving (6 rounds: 6 fast, 4 medium, 3 exhaustive):
146.29/146.77 c 0 deleted vars, 2 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 10 changed sides, 41 changed coefficients
146.29/146.77 c 0 implications, 138 cliques
146.29/146.77 c presolved problem has 479 variables (479 bin, 0 int, 0 cont) and 1024 constraints
146.29/146.77 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
146.29/146.77 c 698 constraints of type <knapsack>
146.29/146.77 c 138 constraints of type <setppc>
146.29/146.77 c 188 constraints of type <logicor>
146.29/146.77 c transformed objective value is always integral (scale: 1)
146.29/146.77 c Presolving Time: 0.07
146.29/146.78 c transformed 72/100 original solutions to the transformed problem space
146.29/146.78 c
147.48/147.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
147.48/147.94 c 148s| 1 | 0 | 1414k| - | 206M | 0 | 479 |1024 |1000 | 0 | 0 | 71 | 573 | 1.685071e+02 | 1.970000e+02 | 16.91%| unknown
147.70/148.14 c 148s| 1 | 0 | 1415k| - | 206M | 0 | 479 |1024 |1043 | 43 | 1 | 71 | 573 | 1.685071e+02 | 1.970000e+02 | 16.91%| unknown
147.79/148.24 c 148s| 1 | 0 | 1416k| - | 207M | 0 | 479 |1024 |1061 | 61 | 2 | 71 | 573 | 1.685071e+02 | 1.970000e+02 | 16.91%| unknown
147.88/148.34 c 148s| 1 | 0 | 1416k| - | 209M | 0 | 479 |1024 |1078 | 78 | 3 | 71 | 573 | 1.685071e+02 | 1.970000e+02 | 16.91%| unknown
147.98/148.46 c 148s| 1 | 0 | 1416k| - | 216M | 0 | 479 |1024 |1086 | 86 | 4 | 71 | 573 | 1.685071e+02 | 1.970000e+02 | 16.91%| unknown
148.08/148.57 c 149s| 1 | 0 | 1416k| - | 219M | 0 | 479 |1024 |1096 | 96 | 5 | 71 | 573 | 1.685071e+02 | 1.970000e+02 | 16.91%| unknown
148.18/148.68 c 149s| 1 | 0 | 1417k| - | 223M | 0 | 479 |1024 |1101 | 101 | 6 | 71 | 573 | 1.685071e+02 | 1.970000e+02 | 16.91%| unknown
148.38/148.81 c 149s| 1 | 0 | 1417k| - | 222M | 0 | 479 |1024 |1109 | 109 | 7 | 71 | 573 | 1.685071e+02 | 1.970000e+02 | 16.91%| unknown
148.48/148.96 c 149s| 1 | 0 | 1417k| - | 224M | 0 | 479 |1024 |1117 | 117 | 8 | 71 | 573 | 1.685071e+02 | 1.970000e+02 | 16.91%| unknown
148.60/149.10 c 149s| 1 | 0 | 1417k| - | 224M | 0 | 479 |1024 |1125 | 125 | 9 | 71 | 573 | 1.685071e+02 | 1.970000e+02 | 16.91%| unknown
148.78/149.23 c 149s| 1 | 0 | 1418k| - | 231M | 0 | 479 |1024 |1037 | 134 | 10 | 71 | 573 | 1.685071e+02 | 1.970000e+02 | 16.91%| unknown
148.88/149.31 c 149s| 1 | 0 | 1418k| - | 231M | 0 | 479 |1024 |1039 | 136 | 11 | 71 | 573 | 1.685071e+02 | 1.970000e+02 | 16.91%| unknown
148.88/149.39 c 149s| 1 | 0 | 1418k| - | 231M | 0 | 479 |1024 |1042 | 139 | 12 | 71 | 573 | 1.685071e+02 | 1.970000e+02 | 16.91%| unknown
148.98/149.47 c 149s| 1 | 0 | 1418k| - | 231M | 0 | 479 |1024 |1047 | 144 | 13 | 71 | 573 | 1.685071e+02 | 1.970000e+02 | 16.91%| unknown
149.08/149.55 c 150s| 1 | 0 | 1418k| - | 232M | 0 | 479 |1024 |1054 | 151 | 14 | 71 | 573 | 1.685071e+02 | 1.970000e+02 | 16.91%| unknown
149.18/149.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
149.18/149.64 c 150s| 1 | 0 | 1418k| - | 232M | 0 | 479 |1024 |1055 | 152 | 15 | 71 | 573 | 1.685071e+02 | 1.970000e+02 | 16.91%| unknown
149.28/149.75 c 150s| 1 | 0 | 1418k| - | 232M | 0 | 479 |1024 |1010 | 156 | 16 | 71 | 573 | 1.685071e+02 | 1.970000e+02 | 16.91%| unknown
149.38/149.84 c 150s| 1 | 0 | 1418k| - | 232M | 0 | 479 |1024 |1019 | 165 | 17 | 71 | 573 | 1.685071e+02 | 1.970000e+02 | 16.91%| unknown
149.48/149.94 c 150s| 1 | 0 | 1418k| - | 232M | 0 | 479 |1024 |1028 | 174 | 18 | 71 | 573 | 1.685071e+02 | 1.970000e+02 | 16.91%| unknown
149.59/150.03 c 150s| 1 | 0 | 1418k| - | 232M | 0 | 479 |1024 |1030 | 176 | 19 | 71 | 573 | 1.685071e+02 | 1.970000e+02 | 16.91%| unknown
149.69/150.13 c 150s| 1 | 0 | 1419k| - | 232M | 0 | 479 |1024 |1036 | 182 | 20 | 71 | 573 | 1.685071e+02 | 1.970000e+02 | 16.91%| unknown
149.78/150.23 c 150s| 1 | 0 | 1419k| - | 232M | 0 | 479 |1024 |1038 | 184 | 21 | 71 | 573 | 1.685071e+02 | 1.970000e+02 | 16.91%| unknown
149.88/150.34 c 150s| 1 | 0 | 1419k| - | 232M | 0 | 479 |1024 | 997 | 187 | 22 | 71 | 573 | 1.685071e+02 | 1.970000e+02 | 16.91%| unknown
149.98/150.44 c 150s| 1 | 0 | 1419k| - | 232M | 0 | 479 |1024 |1001 | 191 | 23 | 71 | 573 | 1.685071e+02 | 1.970000e+02 | 16.91%| unknown
150.08/150.54 c 151s| 1 | 0 | 1419k| - | 232M | 0 | 479 |1024 |1008 | 198 | 24 | 71 | 573 | 1.685071e+02 | 1.970000e+02 | 16.91%| unknown
150.18/150.63 c 151s| 1 | 0 | 1419k| - | 232M | 0 | 479 |1024 |1011 | 201 | 25 | 71 | 573 | 1.685071e+02 | 1.970000e+02 | 16.91%| unknown
150.28/150.73 c 151s| 1 | 0 | 1419k| - | 232M | 0 | 479 |1024 |1012 | 202 | 26 | 71 | 573 | 1.685071e+02 | 1.970000e+02 | 16.91%| unknown
151.38/151.83 c 152s| 1 | 2 | 1424k| - | 232M | 0 | 479 |1024 |1012 | 202 | 26 | 71 | 579 | 1.685071e+02 | 1.970000e+02 | 16.91%| unknown
169.92/170.41 c 170s| 100 | 101 | 1515k|1302.2 | 263M | 55 | 479 |1024 |1045 | 494 | 1 | 71 | 734 | 1.685986e+02 | 1.970000e+02 | 16.85%| unknown
173.11/173.68 c 174s| 200 | 201 | 1554k|1228.9 | 263M | 93 | 479 |1024 |1057 | 523 | 1 | 76 | 761 | 1.685986e+02 | 1.970000e+02 | 16.85%| unknown
174.71/175.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
174.71/175.26 c 175s| 300 | 301 | 1576k|1154.3 | 260M | 99 | 479 |1024 |1059 | 537 | 1 | 81 | 785 | 1.685986e+02 | 1.970000e+02 | 16.85%| unknown
188.49/189.11 c 189s| 400 | 401 | 1684k|1149.0 | 262M | 99 | 479 |1024 | 966 | 932 | 1 | 85 | 827 | 1.689215e+02 | 1.970000e+02 | 16.62%| unknown
200.74/201.37 c 201s| 500 | 501 | 1771k|1131.0 | 278M | 99 | 479 |1027 | 979 |1393 | 1 | 89 | 863 | 1.691858e+02 | 1.970000e+02 | 16.44%| unknown
214.32/214.93 c 215s| 600 | 601 | 1861k|1116.8 | 282M | 99 | 479 |1027 |1002 |1891 | 1 | 94 | 905 | 1.693281e+02 | 1.970000e+02 | 16.34%| unknown
227.68/228.39 c 228s| 700 | 701 | 1949k|1103.4 | 284M | 99 | 479 |1027 |1002 |2438 | 1 | 97 | 947 | 1.695208e+02 | 1.970000e+02 | 16.21%| unknown
241.95/242.68 c 243s| 800 | 801 | 2050k|1098.0 | 285M | 99 | 479 |1027 | 991 |2984 | 1 | 101 | 989 | 1.696579e+02 | 1.970000e+02 | 16.12%| unknown
253.62/254.36 c 254s| 900 | 901 | 2133k|1084.5 | 285M | 99 | 479 |1027 | 984 |3491 | 1 | 102 |1029 | 1.697057e+02 | 1.970000e+02 | 16.08%| unknown
267.68/268.49 c 268s| 1000 | 1001 | 2250k|1088.9 | 286M | 99 | 479 |1028 |1003 |4078 | 1 | 109 |1049 | 1.697734e+02 | 1.970000e+02 | 16.04%| unknown
280.36/281.16 c 281s| 1100 | 1101 | 2357k|1087.6 | 287M | 99 | 479 |1027 |1004 |4663 | 1 | 109 |1065 | 1.698272e+02 | 1.970000e+02 | 16.00%| unknown
293.92/294.73 c 295s| 1200 | 1201 | 2486k|1096.9 | 287M | 99 | 479 |1026 |1008 |5239 | 1 | 113 |1070 | 1.699062e+02 | 1.970000e+02 | 15.95%| unknown
300.40/301.23 c d 301s| 1250 | 1251 | 2535k|1094.3 |pscostdi| 99 | 479 |1026 |1011 | 0 | 1 | 114 |1074 | 1.699178e+02 | 1.970000e+02 | 15.94%| unknown
300.40/301.23 o 196
300.40/301.23 c d 301s| 1250 | 1251 | 2535k|1094.3 |pscostdi| 99 | 479 |1026 |1011 | 0 | 1 | 114 |1074 | 1.699178e+02 | 1.960000e+02 | 15.35%| unknown
305.69/306.55 c 307s| 1300 | 1301 | 2580k|1090.1 | 287M | 99 | 479 |1025 |1005 |5823 | 1 | 114 |1075 | 1.699414e+02 | 1.960000e+02 | 15.33%| unknown
319.35/320.29 c 320s| 1400 | 1401 | 2700k|1094.8 | 288M | 99 | 479 |1026 |1005 |6435 | 1 | 118 |1078 | 1.699799e+02 | 1.960000e+02 | 15.31%| unknown
330.03/330.97 c 331s| 1500 | 1501 | 2792k|1087.9 | 288M | 99 | 479 |1027 |1062 |7128 | 4 | 124 |1080 | 1.700096e+02 | 1.960000e+02 | 15.29%| unknown
341.21/342.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
341.21/342.14 c 342s| 1600 | 1601 | 2885k|1081.8 | 288M | 99 | 479 |1028 |1026 |7699 | 1 | 130 |1082 | 1.700631e+02 | 1.960000e+02 | 15.25%| unknown
353.56/354.50 c 355s| 1700 | 1701 | 2971k|1073.7 | 303M | 99 | 479 |1025 |1009 |8223 | 1 | 132 |1109 | 1.701017e+02 | 1.960000e+02 | 15.23%| unknown
366.15/367.14 c 367s| 1800 | 1801 | 3063k|1068.3 | 306M | 99 | 479 |1026 |1011 |8867 | 1 | 134 |1137 | 1.701568e+02 | 1.960000e+02 | 15.19%| unknown
377.90/378.98 c 379s| 1900 | 1901 | 3153k|1062.7 | 307M | 99 | 479 |1027 |1033 |9511 | 1 | 142 |1145 | 1.701945e+02 | 1.960000e+02 | 15.16%| unknown
388.57/389.61 c 390s| 2000 | 2001 | 3247k|1058.7 | 307M | 99 | 479 |1028 |1020 | 10k| 1 | 146 |1149 | 1.702171e+02 | 1.960000e+02 | 15.15%| unknown
398.25/399.38 c 399s| 2100 | 2101 | 3331k|1051.6 | 307M | 99 | 479 |1029 | 997 | 10k| 1 | 153 |1155 | 1.702470e+02 | 1.960000e+02 | 15.13%| unknown
410.03/411.17 c 411s| 2200 | 2201 | 3444k|1054.2 | 308M | 99 | 479 |1030 |1045 | 11k| 1 | 158 |1160 | 1.702638e+02 | 1.960000e+02 | 15.12%| unknown
421.69/422.81 c 423s| 2300 | 2301 | 3545k|1052.9 | 308M | 99 | 479 |1032 |1008 | 12k| 1 | 165 |1161 | 1.702880e+02 | 1.960000e+02 | 15.10%| unknown
431.66/432.82 c 433s| 2400 | 2401 | 3641k|1049.9 | 308M | 99 | 479 |1032 |1013 | 12k| 1 | 168 |1162 | 1.703255e+02 | 1.960000e+02 | 15.07%| unknown
442.14/443.34 c 443s| 2500 | 2501 | 3725k|1044.1 | 309M | 99 | 479 |1036 |1006 | 13k| 1 | 173 |1163 | 1.703534e+02 | 1.960000e+02 | 15.05%| unknown
454.01/455.28 c 455s| 2600 | 2601 | 3816k|1040.6 | 309M | 99 | 479 |1032 |1063 | 13k| 4 | 175 |1187 | 1.703722e+02 | 1.960000e+02 | 15.04%| unknown
465.48/466.71 c 467s| 2700 | 2701 | 3906k|1036.7 | 309M | 99 | 479 |1034 |1066 | 14k| 1 | 178 |1211 | 1.704030e+02 | 1.960000e+02 | 15.02%| unknown
475.35/476.66 c 477s| 2800 | 2801 | 3984k|1030.1 | 310M | 99 | 479 |1034 |1044 | 15k| 1 | 180 |1221 | 1.704252e+02 | 1.960000e+02 | 15.01%| unknown
485.74/487.08 c 487s| 2900 | 2901 | 4065k|1024.5 | 310M | 99 | 479 |1032 |1069 | 15k| 4 | 185 |1229 | 1.704535e+02 | 1.960000e+02 | 14.99%| unknown
497.10/498.49 c 498s| 3000 | 3001 | 4188k|1029.6 | 310M | 99 | 479 |1034 |1034 | 16k| 1 | 191 |1234 | 1.704824e+02 | 1.960000e+02 | 14.97%| unknown
507.37/508.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
507.37/508.74 c 509s| 3100 | 3101 | 4284k|1027.9 | 310M | 99 | 479 |1037 |1024 | 17k| 1 | 197 |1236 | 1.705035e+02 | 1.960000e+02 | 14.95%| unknown
516.25/517.64 c 518s| 3200 | 3201 | 4359k|1021.3 | 311M | 99 | 479 |1039 |1020 | 17k| 1 | 203 |1239 | 1.705200e+02 | 1.960000e+02 | 14.94%| unknown
525.12/526.55 c 527s| 3300 | 3301 | 4445k|1017.6 | 312M | 99 | 479 |1036 |1061 | 18k| 1 | 208 |1241 | 1.705409e+02 | 1.960000e+02 | 14.93%| unknown
536.10/537.52 c 538s| 3400 | 3401 | 4557k|1020.0 | 312M | 99 | 479 |1034 |1043 | 18k| 1 | 212 |1242 | 1.705591e+02 | 1.960000e+02 | 14.92%| unknown
544.37/545.86 c 546s| 3500 | 3501 | 4636k|1014.9 | 312M | 99 | 479 |1034 |1025 | 19k| 1 | 212 |1244 | 1.705784e+02 | 1.960000e+02 | 14.90%| unknown
556.33/557.85 c 558s| 3600 | 3601 | 4735k|1014.2 | 312M | 99 | 479 |1034 |1001 | 20k| 1 | 218 |1264 | 1.705907e+02 | 1.960000e+02 | 14.89%| unknown
566.20/567.77 c 568s| 3700 | 3701 | 4813k|1009.5 | 312M | 99 | 479 |1038 |1040 | 20k| 1 | 224 |1283 | 1.706095e+02 | 1.960000e+02 | 14.88%| unknown
576.58/578.14 c 578s| 3800 | 3801 | 4902k|1006.9 | 312M | 99 | 479 |1040 |1066 | 21k| 1 | 227 |1296 | 1.706172e+02 | 1.960000e+02 | 14.88%| unknown
586.63/588.27 c 588s| 3900 | 3901 | 4996k|1005.5 | 313M | 99 | 479 |1040 |1061 | 22k| 1 | 229 |1305 | 1.706343e+02 | 1.960000e+02 | 14.87%| unknown
597.51/599.14 c 599s| 4000 | 4001 | 5121k|1010.4 | 313M | 99 | 479 |1040 |1033 | 22k| 1 | 232 |1307 | 1.706549e+02 | 1.960000e+02 | 14.85%| unknown
608.26/609.99 c 610s| 4100 | 4101 | 5232k|1012.3 | 313M | 99 | 479 |1045 |1072 | 23k| 4 | 238 |1313 | 1.706727e+02 | 1.960000e+02 | 14.84%| unknown
618.63/620.33 c 620s| 4200 | 4201 | 5349k|1015.3 | 313M | 99 | 479 |1045 |1090 | 23k| 3 | 242 |1315 | 1.706886e+02 | 1.960000e+02 | 14.83%| unknown
628.10/629.86 c 630s| 4300 | 4301 | 5448k|1015.0 | 313M | 99 | 479 |1047 |1051 | 24k| 1 | 247 |1321 | 1.706973e+02 | 1.960000e+02 | 14.82%| unknown
636.87/638.61 c 639s| 4400 | 4401 | 5531k|1011.4 | 314M | 99 | 479 |1046 |1022 | 25k| 1 | 251 |1328 | 1.707091e+02 | 1.960000e+02 | 14.82%| unknown
645.95/647.79 c 648s| 4500 | 4501 | 5631k|1011.3 | 314M | 99 | 479 |1050 |1047 | 25k| 1 | 256 |1329 | 1.707194e+02 | 1.960000e+02 | 14.81%| unknown
654.92/656.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
654.92/656.76 c 657s| 4600 | 4601 | 5719k|1008.9 | 315M | 99 | 479 |1048 |1023 | 26k| 1 | 261 |1330 | 1.707343e+02 | 1.960000e+02 | 14.80%| unknown
661.99/663.82 c 664s| 4700 | 4701 | 5792k|1004.1 | 315M | 99 | 479 |1047 |1053 | 26k| 1 | 262 |1330 | 1.707463e+02 | 1.960000e+02 | 14.79%| unknown
670.76/672.61 c 673s| 4800 | 4801 | 5894k|1004.3 | 315M | 99 | 479 |1048 |1090 | 27k| 4 | 267 |1331 | 1.707600e+02 | 1.960000e+02 | 14.78%| unknown
678.74/680.66 c 681s| 4900 | 4901 | 5977k|1001.4 | 315M | 99 | 479 |1048 |1049 | 28k| 1 | 273 |1333 | 1.707698e+02 | 1.960000e+02 | 14.77%| unknown
686.61/688.54 c 689s| 5000 | 5001 | 6055k| 997.9 | 315M | 99 | 479 |1048 |1019 | 28k| 1 | 276 |1333 | 1.707853e+02 | 1.960000e+02 | 14.76%| unknown
696.10/698.10 c 698s| 5100 | 5101 | 6161k| 998.8 | 315M | 99 | 479 |1049 |1076 | 29k| 1 | 279 |1336 | 1.708039e+02 | 1.960000e+02 | 14.75%| unknown
703.86/705.84 c 706s| 5200 | 5201 | 6241k| 995.6 | 315M | 99 | 479 |1050 |1048 | 29k| 1 | 282 |1336 | 1.708112e+02 | 1.960000e+02 | 14.75%| unknown
711.05/713.08 c 713s| 5300 | 5301 | 6306k| 990.2 | 315M | 99 | 479 |1049 |1067 | 30k| 1 | 286 |1346 | 1.708191e+02 | 1.960000e+02 | 14.74%| unknown
719.02/721.05 c 721s| 5400 | 5401 | 6390k| 987.9 | 316M | 99 | 479 |1048 |1050 | 30k| 1 | 290 |1352 | 1.708342e+02 | 1.960000e+02 | 14.73%| unknown
727.88/729.96 c 730s| 5500 | 5501 | 6486k| 987.4 | 316M | 99 | 479 |1051 |1058 | 31k| 1 | 295 |1357 | 1.708465e+02 | 1.960000e+02 | 14.72%| unknown
736.36/738.42 c 738s| 5600 | 5601 | 6564k| 984.3 | 316M | 99 | 479 |1056 |1063 | 31k| 1 | 305 |1361 | 1.708509e+02 | 1.960000e+02 | 14.72%| unknown
744.54/746.60 c 747s| 5700 | 5701 | 6640k| 980.9 | 316M | 99 | 479 |1057 |1060 | 32k| 4 | 311 |1367 | 1.708593e+02 | 1.960000e+02 | 14.71%| unknown
752.61/754.76 c 755s| 5800 | 5801 | 6719k| 978.2 | 316M | 99 | 479 |1058 |1066 | 33k| 4 | 313 |1372 | 1.708715e+02 | 1.960000e+02 | 14.71%| unknown
761.09/763.28 c 763s| 5900 | 5901 | 6807k| 976.8 | 316M | 99 | 479 |1058 |1067 | 33k| 1 | 316 |1373 | 1.708776e+02 | 1.960000e+02 | 14.70%| unknown
768.66/770.81 c 771s| 6000 | 6001 | 6891k| 974.9 | 316M | 99 | 479 |1057 |1048 | 34k| 1 | 319 |1375 | 1.708909e+02 | 1.960000e+02 | 14.69%| unknown
777.53/779.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
777.53/779.72 c 780s| 6100 | 6101 | 6979k| 973.5 | 316M | 99 | 479 |1055 |1054 | 34k| 1 | 321 |1375 | 1.708983e+02 | 1.960000e+02 | 14.69%| unknown
784.61/786.81 c 787s| 6200 | 6201 | 7048k| 969.6 | 317M | 99 | 479 |1055 |1028 | 35k| 1 | 324 |1377 | 1.709028e+02 | 1.960000e+02 | 14.69%| unknown
794.28/796.52 c 797s| 6300 | 6301 | 7156k| 971.1 | 317M | 99 | 479 |1052 |1037 | 35k| 1 | 327 |1387 | 1.709091e+02 | 1.960000e+02 | 14.68%| unknown
804.25/806.52 c 807s| 6400 | 6401 | 7241k| 969.5 | 317M | 99 | 479 |1054 |1029 | 36k| 1 | 334 |1402 | 1.709188e+02 | 1.960000e+02 | 14.67%| unknown
812.12/814.45 c 814s| 6500 | 6501 | 7325k| 967.7 | 317M | 99 | 479 |1054 |1071 | 37k| 1 | 338 |1407 | 1.709271e+02 | 1.960000e+02 | 14.67%| unknown
819.10/821.41 c 821s| 6600 | 6601 | 7396k| 964.4 | 317M | 99 | 479 |1055 |1026 | 37k| 1 | 341 |1410 | 1.709374e+02 | 1.960000e+02 | 14.66%| unknown
825.88/828.20 c 828s| 6700 | 6701 | 7469k| 961.4 | 317M | 99 | 479 |1052 |1050 | 38k| 1 | 342 |1413 | 1.709409e+02 | 1.960000e+02 | 14.66%| unknown
835.55/837.95 c 838s| 6800 | 6801 | 7577k| 962.9 | 317M | 99 | 479 |1052 |1059 | 38k| 1 | 344 |1420 | 1.709491e+02 | 1.960000e+02 | 14.65%| unknown
843.03/845.41 c 845s| 6900 | 6901 | 7653k| 960.3 | 317M | 99 | 479 |1051 |1064 | 39k| 1 | 350 |1421 | 1.709531e+02 | 1.960000e+02 | 14.65%| unknown
849.90/852.38 c 852s| 7000 | 7001 | 7720k| 956.7 | 317M | 99 | 479 |1049 |1006 | 40k| 1 | 352 |1422 | 1.709593e+02 | 1.960000e+02 | 14.65%| unknown
857.69/860.14 c 860s| 7100 | 7101 | 7795k| 954.2 | 318M | 99 | 479 |1049 |1066 | 40k| 1 | 354 |1424 | 1.709688e+02 | 1.960000e+02 | 14.64%| unknown
866.05/868.55 c 869s| 7200 | 7201 | 7874k| 952.2 | 318M | 99 | 479 |1048 |1075 | 41k| 1 | 358 |1427 | 1.709763e+02 | 1.960000e+02 | 14.64%| unknown
875.63/878.17 c 878s| 7300 | 7301 | 7978k| 953.3 | 318M | 99 | 479 |1049 |1063 | 41k| 1 | 362 |1430 | 1.709835e+02 | 1.960000e+02 | 14.63%| unknown
881.80/884.35 c 884s| 7400 | 7401 | 8045k| 949.9 | 319M | 99 | 479 |1052 |1040 | 42k| 1 | 368 |1434 | 1.709911e+02 | 1.960000e+02 | 14.63%| unknown
890.67/893.20 c 893s| 7500 | 7501 | 8131k| 948.8 | 319M | 99 | 479 |1054 |1051 | 42k| 1 | 375 |1446 | 1.709997e+02 | 1.960000e+02 | 14.62%| unknown
900.04/902.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
900.04/902.64 c 903s| 7600 | 7601 | 8222k| 948.3 | 320M | 99 | 479 |1056 |1076 | 43k| 1 | 379 |1460 | 1.710029e+02 | 1.960000e+02 | 14.62%| unknown
908.31/910.94 c 911s| 7700 | 7701 | 8312k| 947.9 | 320M | 99 | 479 |1055 |1014 | 43k| 1 | 381 |1470 | 1.710097e+02 | 1.960000e+02 | 14.61%| unknown
915.79/918.43 c 918s| 7800 | 7801 | 8390k| 946.0 | 320M | 99 | 479 |1060 |1067 | 44k| 4 | 388 |1473 | 1.710163e+02 | 1.960000e+02 | 14.61%| unknown
922.97/925.65 c 926s| 7900 | 7901 | 8468k| 944.1 | 320M | 99 | 479 |1059 |1064 | 44k| 1 | 391 |1478 | 1.710227e+02 | 1.960000e+02 | 14.60%| unknown
930.84/933.59 c 934s| 8000 | 8001 | 8565k| 944.4 | 320M | 99 | 479 |1061 |1062 | 45k| 1 | 395 |1479 | 1.710254e+02 | 1.960000e+02 | 14.60%| unknown
938.52/941.23 c 941s| 8100 | 8101 | 8644k| 942.7 | 320M | 99 | 479 |1061 |1079 | 45k| 1 | 397 |1482 | 1.710370e+02 | 1.960000e+02 | 14.60%| unknown
945.50/948.28 c 948s| 8200 | 8201 | 8720k| 940.7 | 320M | 99 | 479 |1061 |1061 | 46k| 1 | 399 |1482 | 1.710425e+02 | 1.960000e+02 | 14.59%| unknown
953.87/956.64 c 957s| 8300 | 8301 | 8818k| 941.1 | 320M | 99 | 479 |1061 |1045 | 47k| 1 | 403 |1483 | 1.710470e+02 | 1.960000e+02 | 14.59%| unknown
961.44/964.22 c 964s| 8400 | 8401 | 8900k| 939.9 | 320M | 99 | 479 |1061 |1055 | 47k| 1 | 408 |1485 | 1.710543e+02 | 1.960000e+02 | 14.58%| unknown
967.82/970.65 c 971s| 8500 | 8501 | 8967k| 937.0 | 320M | 99 | 479 |1062 |1051 | 48k| 1 | 410 |1487 | 1.710604e+02 | 1.960000e+02 | 14.58%| unknown
976.90/979.79 c 980s| 8600 | 8601 | 9051k| 936.0 | 320M | 99 | 479 |1065 |1044 | 48k| 1 | 418 |1488 | 1.710680e+02 | 1.960000e+02 | 14.57%| unknown
984.78/987.62 c 988s| 8700 | 8701 | 9145k| 936.1 | 320M | 99 | 479 |1065 |1055 | 49k| 1 | 418 |1493 | 1.710739e+02 | 1.960000e+02 | 14.57%| unknown
991.76/994.69 c 995s| 8800 | 8801 | 9214k| 933.6 | 320M | 99 | 479 |1065 |1059 | 49k| 1 | 420 |1506 | 1.710836e+02 | 1.960000e+02 | 14.56%| unknown
999.74/1002.65 c 1003s| 8900 | 8901 | 9289k| 931.7 | 320M | 99 | 479 |1064 |1091 | 50k| 3 | 422 |1517 | 1.710894e+02 | 1.960000e+02 | 14.56%| unknown
1007.24/1010.15 c 1010s| 9000 | 9001 | 9367k| 930.2 | 321M | 99 | 479 |1064 |1069 | 50k| 1 | 428 |1518 | 1.710973e+02 | 1.960000e+02 | 14.55%| unknown
1015.22/1018.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1015.22/1018.13 c 1018s| 9100 | 9101 | 9439k| 928.1 | 321M | 99 | 479 |1063 |1065 | 51k| 1 | 432 |1522 | 1.711003e+02 | 1.960000e+02 | 14.55%| unknown
1023.98/1026.93 c 1027s| 9200 | 9201 | 9541k| 929.0 | 321M | 99 | 479 |1062 |1077 | 51k| 5 | 440 |1524 | 1.711063e+02 | 1.960000e+02 | 14.55%| unknown
1030.36/1033.32 c 1033s| 9300 | 9301 | 9609k| 926.6 | 321M | 99 | 479 |1059 |1066 | 52k| 1 | 441 |1525 | 1.711116e+02 | 1.960000e+02 | 14.55%| unknown
1038.94/1041.98 c 1042s| 9400 | 9401 | 9691k| 925.6 | 322M | 99 | 479 |1057 |1086 | 53k| 4 | 444 |1530 | 1.711172e+02 | 1.960000e+02 | 14.54%| unknown
1046.92/1049.93 c 1050s| 9500 | 9501 | 9783k| 925.5 | 322M | 99 | 479 |1059 |1013 | 53k| 1 | 447 |1533 | 1.711246e+02 | 1.960000e+02 | 14.54%| unknown
1054.20/1057.28 c 1057s| 9600 | 9601 | 9865k| 924.5 | 322M | 99 | 479 |1055 |1067 | 54k| 1 | 448 |1534 | 1.711335e+02 | 1.960000e+02 | 14.53%| unknown
1061.59/1064.67 c 1065s| 9700 | 9701 | 9947k| 923.6 | 322M | 99 | 479 |1055 |1074 | 54k| 4 | 452 |1535 | 1.711423e+02 | 1.960000e+02 | 14.52%| unknown
1069.66/1072.74 c 1073s| 9800 | 9801 | 10033k| 923.0 | 322M | 99 | 479 |1055 |1078 | 55k| 1 | 455 |1536 | 1.711461e+02 | 1.960000e+02 | 14.52%| unknown
1076.45/1079.57 c 1080s| 9900 | 9901 | 10105k| 921.1 | 322M | 99 | 479 |1054 |1060 | 55k| 1 | 459 |1537 | 1.711517e+02 | 1.960000e+02 | 14.52%| unknown
1085.43/1088.57 c 1089s| 10000 | 10001 | 10201k| 921.5 | 322M | 99 | 479 |1053 |1030 | 56k| 1 | 462 |1543 | 1.711556e+02 | 1.960000e+02 | 14.52%| unknown
1093.61/1096.74 c 1097s| 10100 | 10101 | 10278k| 920.2 | 323M | 99 | 479 |1048 |1077 | 56k| 1 | 465 |1556 | 1.711636e+02 | 1.960000e+02 | 14.51%| unknown
1100.79/1103.91 c 1104s| 10200 | 10201 | 10347k| 918.1 | 323M | 99 | 479 |1052 |1067 | 57k| 1 | 469 |1570 | 1.711672e+02 | 1.960000e+02 | 14.51%| unknown
1107.77/1110.98 c 1111s| 10300 | 10301 | 10418k| 916.3 | 323M | 99 | 479 |1052 |1073 | 58k| 1 | 470 |1574 | 1.711705e+02 | 1.960000e+02 | 14.51%| unknown
1116.75/1119.97 c 1120s| 10400 | 10401 | 10520k| 917.2 | 323M | 99 | 479 |1058 |1079 | 58k| 1 | 477 |1577 | 1.711745e+02 | 1.960000e+02 | 14.50%| unknown
1123.73/1126.96 c 1127s| 10500 | 10501 | 10591k| 915.3 | 323M | 99 | 479 |1060 |1073 | 59k| 4 | 480 |1578 | 1.711763e+02 | 1.960000e+02 | 14.50%| unknown
1132.01/1135.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1132.01/1135.29 c 1135s| 10600 | 10601 | 10676k| 914.8 | 323M | 99 | 479 |1061 |1015 | 59k| 1 | 485 |1583 | 1.711813e+02 | 1.960000e+02 | 14.50%| unknown
1139.39/1142.68 c 1143s| 10700 | 10701 | 10754k| 913.7 | 323M | 99 | 479 |1062 |1013 | 60k| 1 | 488 |1585 | 1.711868e+02 | 1.960000e+02 | 14.49%| unknown
1146.97/1150.22 c 1150s| 10800 | 10801 | 10828k| 912.2 | 323M | 99 | 479 |1062 |1071 | 60k| 1 | 491 |1592 | 1.711924e+02 | 1.960000e+02 | 14.49%| unknown
1154.15/1157.47 c 1157s| 10900 | 10901 | 10899k| 910.5 | 323M | 99 | 479 |1064 |1068 | 61k| 1 | 494 |1592 | 1.711972e+02 | 1.960000e+02 | 14.49%| unknown
1162.43/1165.75 c 1166s| 11000 | 11001 | 11001k| 911.4 | 323M | 99 | 479 |1066 |1082 | 61k| 1 | 500 |1592 | 1.712006e+02 | 1.960000e+02 | 14.49%| unknown
1169.61/1172.91 c 1173s| 11100 | 11101 | 11077k| 910.2 | 324M | 99 | 479 |1065 |1062 | 62k| 1 | 502 |1592 | 1.712092e+02 | 1.960000e+02 | 14.48%| unknown
1176.89/1180.21 c 1180s| 11200 | 11201 | 11155k| 909.1 | 324M | 99 | 479 |1065 |1018 | 62k| 1 | 502 |1594 | 1.712117e+02 | 1.960000e+02 | 14.48%| unknown
1184.28/1187.62 c 1188s| 11300 | 11301 | 11225k| 907.4 | 324M | 99 | 479 |1064 | 996 | 63k| 1 | 505 |1598 | 1.712145e+02 | 1.960000e+02 | 14.48%| unknown
1191.56/1194.97 c 1195s| 11400 | 11401 | 11302k| 906.3 | 324M | 99 | 479 |1064 |1049 | 63k| 1 | 505 |1600 | 1.712177e+02 | 1.960000e+02 | 14.47%| unknown
1200.34/1203.76 c 1204s| 11500 | 11501 | 11398k| 906.8 | 324M | 99 | 479 |1063 |1059 | 64k| 1 | 508 |1612 | 1.712224e+02 | 1.960000e+02 | 14.47%| unknown
1208.73/1212.17 c 1212s| 11600 | 11601 | 11477k| 905.8 | 324M | 99 | 479 |1064 |1030 | 64k| 1 | 509 |1620 | 1.712260e+02 | 1.960000e+02 | 14.47%| unknown
1215.61/1219.02 c 1219s| 11700 | 11701 | 11548k| 904.2 | 325M | 99 | 479 |1063 |1059 | 65k| 1 | 510 |1624 | 1.712300e+02 | 1.960000e+02 | 14.47%| unknown
1224.08/1227.52 c 1228s| 11800 | 11801 | 11626k| 903.3 | 325M | 99 | 479 |1063 |1055 | 65k| 1 | 515 |1632 | 1.712351e+02 | 1.960000e+02 | 14.46%| unknown
1230.36/1233.81 c 1234s| 11900 | 11901 | 11695k| 901.7 | 325M | 99 | 479 |1065 |1052 | 66k| 1 | 519 |1634 | 1.712389e+02 | 1.960000e+02 | 14.46%| unknown
1238.65/1242.13 c 1242s| 12000 | 12001 | 11786k| 901.7 | 325M | 99 | 479 |1069 |1067 | 66k| 1 | 526 |1634 | 1.712428e+02 | 1.960000e+02 | 14.46%| unknown
1245.82/1249.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1245.82/1249.38 c 1249s| 12100 | 12101 | 11864k| 900.8 | 325M | 99 | 479 |1068 |1050 | 67k| 1 | 528 |1636 | 1.712476e+02 | 1.960000e+02 | 14.45%| unknown
1253.52/1257.08 c 1257s| 12200 | 12201 | 11947k| 900.2 | 325M | 99 | 479 |1067 |1023 | 68k| 1 | 530 |1638 | 1.712513e+02 | 1.960000e+02 | 14.45%| unknown
1260.38/1263.93 c 1264s| 12300 | 12301 | 12019k| 898.9 | 325M | 99 | 479 |1067 |1071 | 68k| 1 | 534 |1641 | 1.712552e+02 | 1.960000e+02 | 14.45%| unknown
1268.37/1271.99 c 1272s| 12400 | 12401 | 12110k| 899.0 | 325M | 99 | 479 |1066 |1046 | 69k| 1 | 534 |1642 | 1.712575e+02 | 1.960000e+02 | 14.45%| unknown
1274.95/1278.54 c 1279s| 12500 | 12501 | 12180k| 897.5 | 325M | 99 | 479 |1068 |1043 | 69k| 1 | 537 |1642 | 1.712598e+02 | 1.960000e+02 | 14.45%| unknown
1281.83/1285.48 c 1285s| 12600 | 12601 | 12256k| 896.5 | 325M | 99 | 479 |1070 |1057 | 70k| 1 | 542 |1642 | 1.712634e+02 | 1.960000e+02 | 14.44%| unknown
1287.92/1291.51 c 1292s| 12700 | 12701 | 12321k| 894.8 | 325M | 99 | 479 |1072 |1059 | 70k| 1 | 548 |1643 | 1.712658e+02 | 1.960000e+02 | 14.44%| unknown
1294.80/1298.49 c 1298s| 12800 | 12801 | 12391k| 893.3 | 325M | 99 | 479 |1073 |1086 | 71k| 1 | 553 |1646 | 1.712698e+02 | 1.960000e+02 | 14.44%| unknown
1302.39/1306.01 c 1306s| 12900 | 12901 | 12467k| 892.4 | 325M | 99 | 479 |1072 |1057 | 71k| 1 | 556 |1658 | 1.712718e+02 | 1.960000e+02 | 14.44%| unknown
1311.65/1315.33 c 1315s| 13000 | 13001 | 12567k| 893.1 | 325M | 99 | 479 |1073 |1057 | 72k| 1 | 561 |1663 | 1.712762e+02 | 1.960000e+02 | 14.44%| unknown
1318.14/1321.88 c 1322s| 13100 | 13101 | 12638k| 891.8 | 325M | 99 | 479 |1069 |1087 | 72k| 3 | 561 |1666 | 1.712830e+02 | 1.960000e+02 | 14.43%| unknown
1326.02/1329.78 c 1330s| 13200 | 13201 | 12718k| 891.2 | 325M | 99 | 479 |1075 |1073 | 73k| 1 | 568 |1670 | 1.712879e+02 | 1.960000e+02 | 14.43%| unknown
1332.70/1336.41 c 1336s| 13300 | 13301 | 12786k| 889.7 | 325M | 99 | 479 |1075 |1055 | 73k| 1 | 570 |1673 | 1.712909e+02 | 1.960000e+02 | 14.43%| unknown
1340.40/1344.16 c 1344s| 13400 | 13401 | 12864k| 888.9 | 325M | 99 | 479 |1075 |1020 | 74k| 1 | 574 |1674 | 1.712950e+02 | 1.960000e+02 | 14.42%| unknown
1348.76/1352.53 c 1353s| 13500 | 13501 | 12962k| 889.6 | 326M | 99 | 479 |1073 |1065 | 74k| 1 | 574 |1675 | 1.712972e+02 | 1.960000e+02 | 14.42%| unknown
1355.55/1359.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1355.55/1359.38 c 1359s| 13600 | 13601 | 13033k| 888.4 | 326M | 99 | 479 |1074 |1058 | 75k| 1 | 579 |1677 | 1.712996e+02 | 1.960000e+02 | 14.42%| unknown
1362.34/1366.18 c 1366s| 13700 | 13701 | 13105k| 887.2 | 326M | 99 | 479 |1073 |1086 | 76k| 1 | 582 |1679 | 1.713039e+02 | 1.960000e+02 | 14.42%| unknown
1369.91/1373.76 c 1374s| 13800 | 13801 | 13185k| 886.6 | 326M | 99 | 479 |1073 |1067 | 76k| 1 | 584 |1681 | 1.713082e+02 | 1.960000e+02 | 14.41%| unknown
1376.39/1380.25 c 1380s| 13900 | 13901 | 13253k| 885.3 | 326M | 99 | 479 |1069 |1072 | 77k| 1 | 589 |1681 | 1.713112e+02 | 1.960000e+02 | 14.41%| unknown
1383.97/1387.87 c 1388s| 14000 | 14001 | 13343k| 885.3 | 326M | 99 | 479 |1069 |1020 | 77k| 1 | 593 |1681 | 1.713152e+02 | 1.960000e+02 | 14.41%| unknown
1391.06/1394.90 c 1395s| 14100 | 14101 | 13419k| 884.5 | 326M | 99 | 479 |1069 |1059 | 78k| 1 | 593 |1682 | 1.713203e+02 | 1.960000e+02 | 14.41%| unknown
1397.94/1401.82 c 1402s| 14200 | 14201 | 13492k| 883.5 | 326M | 99 | 479 |1068 |1067 | 78k| 1 | 596 |1687 | 1.713223e+02 | 1.960000e+02 | 14.40%| unknown
1404.82/1408.71 c 1409s| 14300 | 14301 | 13561k| 882.2 | 326M | 99 | 479 |1071 |1067 | 79k| 1 | 602 |1694 | 1.713267e+02 | 1.960000e+02 | 14.40%| unknown
1411.70/1415.65 c 1416s| 14400 | 14401 | 13635k| 881.3 | 326M | 99 | 479 |1076 |1077 | 79k| 1 | 613 |1700 | 1.713294e+02 | 1.960000e+02 | 14.40%| unknown
1418.59/1422.57 c 1423s| 14500 | 14501 | 13708k| 880.3 | 326M | 99 | 479 |1075 |1070 | 80k| 1 | 616 |1706 | 1.713322e+02 | 1.960000e+02 | 14.40%| unknown
1426.47/1430.48 c 1430s| 14600 | 14601 | 13802k| 880.7 | 326M | 99 | 479 |1072 |1056 | 80k| 1 | 616 |1708 | 1.713348e+02 | 1.960000e+02 | 14.40%| unknown
1432.85/1436.86 c 1437s| 14700 | 14701 | 13870k| 879.4 | 326M | 99 | 479 |1076 |1059 | 81k| 1 | 623 |1711 | 1.713378e+02 | 1.960000e+02 | 14.39%| unknown
1440.23/1444.27 c 1444s| 14800 | 14801 | 13951k| 879.0 | 327M | 99 | 479 |1086 |1070 | 81k| 1 | 635 |1711 | 1.713414e+02 | 1.960000e+02 | 14.39%| unknown
1447.91/1451.97 c 1452s| 14900 | 14901 | 14028k| 878.4 | 327M | 99 | 479 |1088 |1069 | 82k| 3 | 641 |1715 | 1.713435e+02 | 1.960000e+02 | 14.39%| unknown
1454.60/1458.61 c 1459s| 15000 | 15001 | 14101k| 877.4 | 327M | 99 | 479 |1084 |1063 | 82k| 1 | 645 |1716 | 1.713459e+02 | 1.960000e+02 | 14.39%| unknown
1462.68/1466.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1462.68/1466.77 c 1467s| 15100 | 15101 | 14194k| 877.7 | 327M | 99 | 479 |1085 |1048 | 83k| 1 | 646 |1720 | 1.713479e+02 | 1.960000e+02 | 14.39%| unknown
1469.97/1474.04 c 1474s| 15200 | 15201 | 14269k| 877.0 | 327M | 99 | 479 |1088 |1040 | 83k| 1 | 653 |1723 | 1.713513e+02 | 1.960000e+02 | 14.38%| unknown
1477.34/1481.44 c 1481s| 15300 | 15301 | 14341k| 876.0 | 327M | 99 | 479 |1089 |1071 | 84k| 1 | 655 |1723 | 1.713543e+02 | 1.960000e+02 | 14.38%| unknown
1483.82/1488.00 c 1488s| 15400 | 15401 | 14417k| 875.3 | 327M | 99 | 479 |1087 |1059 | 84k| 1 | 657 |1723 | 1.713582e+02 | 1.960000e+02 | 14.38%| unknown
1490.41/1494.51 c 1495s| 15500 | 15501 | 14486k| 874.2 | 327M | 99 | 479 |1087 |1052 | 85k| 1 | 657 |1725 | 1.713626e+02 | 1.960000e+02 | 14.38%| unknown
1497.29/1501.40 c 1501s| 15600 | 15601 | 14556k| 873.1 | 327M | 99 | 479 |1089 |1075 | 85k| 1 | 661 |1726 | 1.713645e+02 | 1.960000e+02 | 14.38%| unknown
1506.47/1510.69 c 1511s| 15700 | 15701 | 14659k| 874.0 | 327M | 99 | 479 |1094 |1073 | 86k| 1 | 669 |1730 | 1.713663e+02 | 1.960000e+02 | 14.37%| unknown
1512.96/1517.14 c 1517s| 15800 | 15801 | 14723k| 872.7 | 327M | 99 | 479 |1092 |1081 | 86k| 1 | 670 |1738 | 1.713694e+02 | 1.960000e+02 | 14.37%| unknown
1519.43/1523.67 c 1524s| 15900 | 15901 | 14790k| 871.5 | 328M | 99 | 479 |1090 |1077 | 87k| 1 | 671 |1743 | 1.713732e+02 | 1.960000e+02 | 14.37%| unknown
1526.22/1530.42 c 1530s| 16000 | 16001 | 14862k| 870.6 | 328M | 99 | 479 |1090 |1063 | 87k| 1 | 675 |1746 | 1.713749e+02 | 1.960000e+02 | 14.37%| unknown
1533.50/1537.74 c 1538s| 16100 | 16101 | 14936k| 869.8 | 328M | 99 | 479 |1087 |1073 | 88k| 1 | 676 |1747 | 1.713786e+02 | 1.960000e+02 | 14.37%| unknown
1539.38/1543.62 c 1544s| 16200 | 16201 | 15002k| 868.6 | 328M | 99 | 479 |1087 |1086 | 88k| 1 | 677 |1747 | 1.713821e+02 | 1.960000e+02 | 14.36%| unknown
1545.88/1550.18 c 1550s| 16300 | 16301 | 15075k| 867.8 | 328M | 99 | 479 |1089 |1062 | 89k| 1 | 680 |1748 | 1.713849e+02 | 1.960000e+02 | 14.36%| unknown
1554.24/1558.51 c 1559s| 16400 | 16401 | 15172k| 868.4 | 328M | 99 | 479 |1092 |1071 | 90k| 1 | 687 |1751 | 1.713880e+02 | 1.960000e+02 | 14.36%| unknown
1560.92/1565.29 c 1565s| 16500 | 16501 | 15243k| 867.5 | 328M | 99 | 479 |1092 |1071 | 90k| 1 | 690 |1755 | 1.713912e+02 | 1.960000e+02 | 14.36%| unknown
1568.59/1572.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1568.59/1572.97 c 1573s| 16600 | 16601 | 15319k| 866.9 | 329M | 99 | 479 |1093 |1039 | 91k| 1 | 693 |1757 | 1.713939e+02 | 1.960000e+02 | 14.36%| unknown
1576.97/1581.35 c 1581s| 16700 | 16701 | 15412k| 867.3 | 329M | 99 | 479 |1095 |1089 | 91k| 1 | 695 |1759 | 1.713969e+02 | 1.960000e+02 | 14.35%| unknown
1583.84/1588.23 c 1588s| 16800 | 16801 | 15485k| 866.4 | 329M | 99 | 479 |1099 |1050 | 92k| 3 | 704 |1759 | 1.714002e+02 | 1.960000e+02 | 14.35%| unknown
1589.93/1594.37 c 1594s| 16900 | 16901 | 15551k| 865.3 | 329M | 99 | 479 |1096 |1070 | 92k| 1 | 707 |1759 | 1.714019e+02 | 1.960000e+02 | 14.35%| unknown
1597.20/1601.66 c 1602s| 17000 | 17001 | 15624k| 864.5 | 329M | 99 | 479 |1099 |1067 | 93k| 1 | 716 |1760 | 1.714048e+02 | 1.960000e+02 | 14.35%| unknown
1604.48/1608.93 c 1609s| 17100 | 17101 | 15702k| 864.1 | 329M | 99 | 479 |1095 |1065 | 93k| 1 | 723 |1761 | 1.714070e+02 | 1.960000e+02 | 14.35%| unknown
1610.67/1615.15 c 1615s| 17200 | 17201 | 15765k| 862.8 | 329M | 99 | 479 |1097 |1089 | 94k| 1 | 727 |1765 | 1.714093e+02 | 1.960000e+02 | 14.35%| unknown
1618.24/1622.71 c 1623s| 17300 | 17301 | 15842k| 862.3 | 329M | 99 | 479 |1099 |1069 | 94k| 1 | 730 |1774 | 1.714129e+02 | 1.960000e+02 | 14.34%| unknown
1626.91/1631.49 c 1631s| 17400 | 17401 | 15938k| 862.8 | 329M | 99 | 479 |1096 |1058 | 95k| 1 | 730 |1782 | 1.714167e+02 | 1.960000e+02 | 14.34%| unknown
1634.50/1639.03 c 1639s| 17500 | 17501 | 16018k| 862.5 | 329M | 99 | 479 |1097 |1050 | 95k| 1 | 736 |1787 | 1.714198e+02 | 1.960000e+02 | 14.34%| unknown
1641.26/1645.87 c 1646s| 17600 | 17601 | 16092k| 861.8 | 330M | 99 | 479 |1096 |1068 | 96k| 1 | 742 |1788 | 1.714232e+02 | 1.960000e+02 | 14.34%| unknown
1648.04/1652.62 c 1653s| 17700 | 17701 | 16163k| 861.0 | 330M | 99 | 479 |1097 |1066 | 96k| 1 | 747 |1790 | 1.714245e+02 | 1.960000e+02 | 14.34%| unknown
1654.72/1659.37 c 1659s| 17800 | 17801 | 16233k| 860.2 | 330M | 99 | 479 |1097 |1048 | 97k| 1 | 747 |1791 | 1.714265e+02 | 1.960000e+02 | 14.33%| unknown
1661.10/1665.70 c 1666s| 17900 | 17901 | 16302k| 859.3 | 330M | 99 | 479 |1101 |1063 | 97k| 1 | 751 |1793 | 1.714292e+02 | 1.960000e+02 | 14.33%| unknown
1668.68/1673.33 c 1673s| 18000 | 18001 | 16393k| 859.6 | 330M | 99 | 479 |1101 |1081 | 98k| 1 | 751 |1796 | 1.714311e+02 | 1.960000e+02 | 14.33%| unknown
1675.95/1680.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1675.95/1680.61 c 1681s| 18100 | 18101 | 16466k| 858.9 | 331M | 99 | 479 |1105 |1073 | 98k| 1 | 759 |1799 | 1.714328e+02 | 1.960000e+02 | 14.33%| unknown
1682.35/1687.05 c 1687s| 18200 | 18201 | 16534k| 857.9 | 331M | 99 | 479 |1107 |1073 | 99k| 1 | 763 |1800 | 1.714363e+02 | 1.960000e+02 | 14.33%| unknown
1689.51/1694.29 c 1694s| 18300 | 18301 | 16607k| 857.3 | 331M | 99 | 479 |1110 |1078 | 99k| 1 | 770 |1802 | 1.714394e+02 | 1.960000e+02 | 14.33%| unknown
1696.09/1700.86 c 1701s| 18400 | 18401 | 16675k| 856.4 | 331M | 99 | 479 |1109 |1089 | 100k| 1 | 771 |1803 | 1.714408e+02 | 1.960000e+02 | 14.33%| unknown
1703.28/1708.07 c 1708s| 18500 | 18501 | 16751k| 855.9 | 331M | 99 | 479 |1107 |1056 | 100k| 1 | 772 |1803 | 1.714423e+02 | 1.960000e+02 | 14.32%| unknown
1710.84/1715.63 c 1716s| 18600 | 18601 | 16839k| 856.0 | 331M | 99 | 479 |1104 |1077 | 101k| 1 | 773 |1804 | 1.714436e+02 | 1.960000e+02 | 14.32%| unknown
1717.62/1722.46 c 1722s| 18700 | 18701 | 16910k| 855.3 | 331M | 99 | 479 |1110 |1066 | 101k| 1 | 780 |1806 | 1.714456e+02 | 1.960000e+02 | 14.32%| unknown
1724.50/1729.34 c 1729s| 18800 | 18801 | 16982k| 854.6 | 331M | 99 | 479 |1108 |1059 | 102k| 1 | 782 |1810 | 1.714495e+02 | 1.960000e+02 | 14.32%| unknown
1730.58/1735.44 c 1735s| 18900 | 18901 | 17043k| 853.3 | 331M | 99 | 479 |1105 |1052 | 102k| 1 | 784 |1816 | 1.714520e+02 | 1.960000e+02 | 14.32%| unknown
1737.86/1742.73 c 1743s| 19000 | 19001 | 17121k| 853.0 | 331M | 99 | 479 |1107 |1063 | 103k| 3 | 793 |1818 | 1.714536e+02 | 1.960000e+02 | 14.32%| unknown
1744.44/1749.39 c 1749s| 19100 | 19101 | 17193k| 852.3 | 331M | 99 | 479 |1107 |1074 | 103k| 1 | 796 |1820 | 1.714559e+02 | 1.960000e+02 | 14.32%| unknown
1751.02/1755.90 c 1756s| 19200 | 19201 | 17260k| 851.4 | 331M | 99 | 479 |1107 |1060 | 104k| 1 | 797 |1822 | 1.714587e+02 | 1.960000e+02 | 14.31%| unknown
1758.69/1763.60 c 1764s| 19300 | 19301 | 17349k| 851.6 | 331M | 99 | 479 |1107 |1062 | 104k| 1 | 801 |1824 | 1.714609e+02 | 1.960000e+02 | 14.31%| unknown
1765.67/1770.65 c 1771s| 19400 | 19401 | 17419k| 850.9 | 332M | 99 | 479 |1107 |1094 | 105k| 1 | 806 |1826 | 1.714633e+02 | 1.960000e+02 | 14.31%| unknown
1772.85/1777.80 c 1778s| 19500 | 19501 | 17496k| 850.5 | 332M | 99 | 479 |1109 |1071 | 105k| 1 | 814 |1828 | 1.714653e+02 | 1.960000e+02 | 14.31%| unknown
1780.73/1785.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1780.73/1785.74 c 1786s| 19600 | 19601 | 17576k| 850.2 | 332M | 99 | 479 |1108 |1058 | 106k| 1 | 817 |1838 | 1.714673e+02 | 1.960000e+02 | 14.31%| unknown
1787.02/1792.08 c 1792s| 19700 | 19701 | 17646k| 849.5 | 332M | 99 | 479 |1108 |1062 | 106k| 1 | 820 |1839 | 1.714701e+02 | 1.960000e+02 | 14.31%| unknown
1792.79/1797.86 c 1798s| 19800 | 19801 | 17706k| 848.3 | 332M | 99 | 479 |1106 |1042 | 107k| 1 | 821 |1842 | 1.714713e+02 | 1.960000e+02 | 14.30%| unknown
1801.46/1806.58 c 1807s| 19900 | 19901 | 17808k| 849.1 | 332M | 99 | 479 |1104 |1079 | 107k| 1 | 825 |1846 | 1.714762e+02 | 1.960000e+02 | 14.30%| unknown
1807.54/1812.69 c 1813s| 20000 | 20001 | 17873k| 848.2 | 332M | 99 | 479 |1108 |1047 | 108k| 1 | 831 |1846 | 1.714776e+02 | 1.960000e+02 | 14.30%| unknown
1814.82/1819.93 c 1820s| 20100 | 20101 | 17951k| 847.9 | 333M | 99 | 479 |1109 |1077 | 108k| 1 | 835 |1849 | 1.714791e+02 | 1.960000e+02 | 14.30%| unknown
1821.10/1826.24 c 1826s| 20200 | 20201 | 18019k| 847.1 | 334M | 99 | 479 |1108 |1076 | 109k| 1 | 835 |1850 | 1.714810e+02 | 1.960000e+02 | 14.30%| unknown
1829.17/1834.35 c 1834s| 20300 | 20301 | 18108k| 847.3 | 334M | 99 | 479 |1108 |1047 | 109k| 1 | 838 |1855 | 1.714831e+02 | 1.960000e+02 | 14.30%| unknown
1835.75/1841.01 c 1841s| 20400 | 20401 | 18177k| 846.5 | 334M | 99 | 479 |1106 |1052 | 110k| 1 | 843 |1856 | 1.714861e+02 | 1.960000e+02 | 14.29%| unknown
1842.73/1847.99 c 1848s| 20500 | 20501 | 18251k| 846.1 | 334M | 99 | 479 |1106 |1055 | 110k| 1 | 847 |1856 | 1.714877e+02 | 1.960000e+02 | 14.29%| unknown
1849.01/1854.20 c 1854s| 20600 | 20601 | 18316k| 845.2 | 334M | 99 | 479 |1107 |1085 | 111k| 1 | 852 |1859 | 1.714902e+02 | 1.960000e+02 | 14.29%| unknown
1856.49/1861.74 c 1862s| 20700 | 20701 | 18394k| 844.8 | 334M | 99 | 479 |1106 |1071 | 111k| 1 | 855 |1866 | 1.714929e+02 | 1.960000e+02 | 14.29%| unknown
1864.08/1869.32 c 1869s| 20800 | 20801 | 18481k| 845.0 | 334M | 99 | 479 |1100 |1013 | 112k| 1 | 857 |1869 | 1.714956e+02 | 1.960000e+02 | 14.29%| unknown
1872.16/1877.49 c 1877s| 20900 | 20901 | 18584k| 845.8 | 334M | 99 | 479 |1097 |1059 | 112k| 1 | 859 |1870 | 1.714973e+02 | 1.960000e+02 | 14.29%| unknown
1879.34/1884.60 c 1885s| 21000 | 21001 | 18666k| 845.7 | 334M | 99 | 479 |1091 |1070 | 113k| 1 | 860 |1873 | 1.714996e+02 | 1.960000e+02 | 14.29%| unknown
1886.92/1892.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1886.92/1892.21 c 1892s| 21100 | 21101 | 18750k| 845.7 | 334M | 99 | 479 |1092 |1073 | 113k| 1 | 867 |1874 | 1.715012e+02 | 1.960000e+02 | 14.28%| unknown
1894.50/1899.90 c 1900s| 21200 | 21201 | 18828k| 845.4 | 334M | 99 | 479 |1094 |1065 | 114k| 1 | 872 |1877 | 1.715034e+02 | 1.960000e+02 | 14.28%| unknown
1901.18/1906.59 c 1907s| 21300 | 21301 | 18901k| 844.9 | 334M | 99 | 479 |1092 |1063 | 114k| 1 | 876 |1878 | 1.715043e+02 | 1.960000e+02 | 14.28%| unknown
1907.97/1913.40 c 1913s| 21400 | 21401 | 18973k| 844.3 | 334M | 99 | 479 |1092 |1067 | 115k| 1 | 882 |1880 | 1.715066e+02 | 1.960000e+02 | 14.28%| unknown
1914.66/1920.04 c 1920s| 21500 | 21501 | 19047k| 843.8 | 334M | 99 | 479 |1087 |1084 | 115k| 1 | 884 |1881 | 1.715094e+02 | 1.960000e+02 | 14.28%| unknown
1922.33/1927.74 c 1928s| 21600 | 21601 | 19135k| 844.0 | 334M | 99 | 479 |1083 |1010 | 116k| 1 | 884 |1881 | 1.715111e+02 | 1.960000e+02 | 14.28%| unknown
1929.51/1934.98 c 1935s| 21700 | 21701 | 19211k| 843.6 | 335M | 99 | 479 |1075 |1089 | 116k| 1 | 886 |1884 | 1.715129e+02 | 1.960000e+02 | 14.28%| unknown
1936.00/1941.47 c 1941s| 21800 | 21801 | 19282k| 843.0 | 335M | 99 | 479 |1073 |1072 | 117k| 1 | 887 |1885 | 1.715153e+02 | 1.960000e+02 | 14.28%| unknown
1942.08/1947.50 c 1948s| 21900 | 21901 | 19348k| 842.2 | 335M | 99 | 479 |1073 |1074 | 117k| 1 | 887 |1885 | 1.715171e+02 | 1.960000e+02 | 14.27%| unknown
1948.76/1954.26 c 1954s| 22000 | 22001 | 19420k| 841.7 | 335M | 99 | 479 |1080 |1072 | 118k| 4 | 894 |1887 | 1.715192e+02 | 1.960000e+02 | 14.27%| unknown
1955.56/1961.05 c 1961s| 22100 | 22101 | 19495k| 841.3 | 335M | 99 | 479 |1092 |1061 | 119k| 1 | 909 |1891 | 1.715207e+02 | 1.960000e+02 | 14.27%| unknown
1964.32/1969.83 c 1970s| 22200 | 22201 | 19595k| 842.0 | 335M | 99 | 479 |1092 |1079 | 119k| 4 | 913 |1894 | 1.715227e+02 | 1.960000e+02 | 14.27%| unknown
1971.41/1976.93 c 1977s| 22300 | 22301 | 19666k| 841.4 | 335M | 99 | 479 |1102 |1045 | 120k| 1 | 927 |1899 | 1.715237e+02 | 1.960000e+02 | 14.27%| unknown
1978.60/1984.11 c 1984s| 22400 | 22401 | 19738k| 840.9 | 335M | 99 | 479 |1104 |1019 | 120k| 1 | 930 |1903 | 1.715252e+02 | 1.960000e+02 | 14.27%| unknown
1985.59/1991.14 c 1991s| 22500 | 22501 | 19813k| 840.5 | 335M | 99 | 479 |1112 |1063 | 121k| 1 | 941 |1906 | 1.715279e+02 | 1.960000e+02 | 14.27%| unknown
1993.16/1998.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1993.16/1998.76 c 1999s| 22600 | 22601 | 19900k| 840.6 | 335M | 99 | 479 |1113 |1093 | 121k| 1 | 943 |1906 | 1.715289e+02 | 1.960000e+02 | 14.27%| unknown
2000.64/2006.24 c 2006s| 22700 | 22701 | 19982k| 840.5 | 335M | 99 | 479 |1112 |1075 | 121k| 1 | 946 |1909 | 1.715308e+02 | 1.960000e+02 | 14.27%| unknown
2007.73/2013.38 c 2013s| 22800 | 22801 | 20057k| 840.2 | 335M | 99 | 479 |1109 |1065 | 122k| 1 | 947 |1912 | 1.715328e+02 | 1.960000e+02 | 14.26%| unknown
2014.42/2020.09 c 2020s| 22900 | 22901 | 20129k| 839.7 | 335M | 99 | 479 |1106 |1066 | 123k| 1 | 955 |1913 | 1.715357e+02 | 1.960000e+02 | 14.26%| unknown
2022.79/2028.41 c 2028s| 23000 | 23001 | 20223k| 840.1 | 335M | 99 | 479 |1106 |1048 | 123k| 1 | 962 |1913 | 1.715380e+02 | 1.960000e+02 | 14.26%| unknown
2029.77/2035.41 c 2035s| 23100 | 23101 | 20294k| 839.6 | 335M | 99 | 479 |1105 |1007 | 124k| 1 | 962 |1916 | 1.715408e+02 | 1.960000e+02 | 14.26%| unknown
2036.26/2041.98 c 2042s| 23200 | 23201 | 20366k| 839.1 | 335M | 99 | 479 |1101 |1067 | 124k| 1 | 964 |1916 | 1.715435e+02 | 1.960000e+02 | 14.26%| unknown
2042.84/2048.56 c 2049s| 23300 | 23301 | 20435k| 838.4 | 336M | 99 | 479 |1102 |1064 | 124k| 1 | 968 |1917 | 1.715453e+02 | 1.960000e+02 | 14.26%| unknown
2050.52/2056.29 c 2056s| 23400 | 23401 | 20516k| 838.3 | 336M | 99 | 479 |1095 |1071 | 125k| 1 | 973 |1917 | 1.715472e+02 | 1.960000e+02 | 14.25%| unknown
2056.80/2062.58 c 2063s| 23500 | 23501 | 20582k| 837.6 | 336M | 99 | 479 |1092 |1048 | 125k| 1 | 973 |1918 | 1.715499e+02 | 1.960000e+02 | 14.25%| unknown
2063.99/2069.72 c 2070s| 23600 | 23601 | 20659k| 837.3 | 336M | 99 | 479 |1092 |1059 | 126k| 1 | 977 |1918 | 1.715516e+02 | 1.960000e+02 | 14.25%| unknown
2071.47/2077.29 c 2077s| 23700 | 23701 | 20748k| 837.6 | 336M | 99 | 479 |1092 |1067 | 126k| 3 | 981 |1920 | 1.715543e+02 | 1.960000e+02 | 14.25%| unknown
2078.15/2083.97 c 2084s| 23800 | 23801 | 20817k| 836.9 | 336M | 99 | 479 |1093 |1055 | 127k| 1 | 982 |1923 | 1.715563e+02 | 1.960000e+02 | 14.25%| unknown
2084.53/2090.36 c 2090s| 23900 | 23901 | 20887k| 836.4 | 337M | 99 | 479 |1091 |1055 | 127k| 1 | 987 |1927 | 1.715579e+02 | 1.960000e+02 | 14.25%| unknown
2091.72/2097.59 c 2098s| 24000 | 24001 | 20963k| 836.1 | 337M | 99 | 479 |1087 |1064 | 128k| 1 | 991 |1929 | 1.715595e+02 | 1.960000e+02 | 14.25%| unknown
2098.70/2104.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2098.70/2104.50 c 2104s| 24100 | 24101 | 21037k| 835.7 | 337M | 99 | 479 |1084 |1076 | 128k| 1 | 991 |1930 | 1.715616e+02 | 1.960000e+02 | 14.24%| unknown
2105.08/2110.90 c 2111s| 24200 | 24201 | 21107k| 835.2 | 337M | 99 | 479 |1088 |1083 | 129k| 3 | 995 |1932 | 1.715637e+02 | 1.960000e+02 | 14.24%| unknown
2112.28/2118.19 c 2118s| 24300 | 24301 | 21186k| 835.0 | 337M | 99 | 479 |1095 |1076 | 129k| 1 |1003 |1933 | 1.715654e+02 | 1.960000e+02 | 14.24%| unknown
2120.04/2125.98 c 2126s| 24400 | 24401 | 21275k| 835.2 | 338M | 99 | 479 |1097 |1060 | 130k| 1 |1010 |1936 | 1.715674e+02 | 1.960000e+02 | 14.24%| unknown
2126.24/2132.11 c 2132s| 24500 | 24501 | 21344k| 834.6 | 338M | 99 | 479 |1104 |1069 | 130k| 1 |1021 |1938 | 1.715691e+02 | 1.960000e+02 | 14.24%| unknown
2133.41/2139.30 c 2139s| 24600 | 24601 | 21417k| 834.2 | 338M | 99 | 479 |1102 |1072 | 131k| 1 |1023 |1940 | 1.715711e+02 | 1.960000e+02 | 14.24%| unknown
2140.69/2146.64 c 2147s| 24700 | 24701 | 21495k| 834.0 | 338M | 99 | 479 |1113 |1052 | 131k| 1 |1042 |1940 | 1.715740e+02 | 1.960000e+02 | 14.24%| unknown
2146.78/2152.75 c 2153s| 24800 | 24801 | 21565k| 833.5 | 338M | 99 | 479 |1115 |1065 | 132k| 1 |1050 |1940 | 1.715757e+02 | 1.960000e+02 | 14.24%| unknown
2153.76/2159.77 c 2160s| 24900 | 24901 | 21638k| 833.1 | 338M | 99 | 479 |1110 |1088 | 132k| 1 |1050 |1944 | 1.715770e+02 | 1.960000e+02 | 14.23%| unknown
2162.24/2168.20 c 2168s| 25000 | 25001 | 21739k| 833.8 | 338M | 99 | 479 |1107 |1063 | 133k| 1 |1052 |1944 | 1.715782e+02 | 1.960000e+02 | 14.23%| unknown
2168.62/2174.64 c 2175s| 25100 | 25101 | 21812k| 833.4 | 338M | 99 | 479 |1108 |1083 | 133k| 1 |1055 |1945 | 1.715804e+02 | 1.960000e+02 | 14.23%| unknown
2175.02/2181.10 c 2181s| 25200 | 25201 | 21884k| 833.0 | 338M | 99 | 479 |1108 |1053 | 134k| 1 |1058 |1946 | 1.715812e+02 | 1.960000e+02 | 14.23%| unknown
2181.89/2187.95 c 2188s| 25300 | 25301 | 21960k| 832.7 | 338M | 99 | 479 |1106 |1071 | 134k| 1 |1061 |1948 | 1.715823e+02 | 1.960000e+02 | 14.23%| unknown
2187.57/2193.67 c 2194s| 25400 | 25401 | 22024k| 832.0 | 338M | 99 | 479 |1102 |1044 | 135k| 1 |1065 |1951 | 1.715835e+02 | 1.960000e+02 | 14.23%| unknown
2194.86/2200.95 c 2201s| 25500 | 25501 | 22102k| 831.8 | 339M | 99 | 479 |1099 |1062 | 135k| 1 |1069 |1955 | 1.715856e+02 | 1.960000e+02 | 14.23%| unknown
2202.05/2208.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2202.05/2208.12 c 2208s| 25600 | 25601 | 22185k| 831.8 | 339M | 99 | 479 |1096 |1081 | 136k| 1 |1069 |1959 | 1.715869e+02 | 1.960000e+02 | 14.23%| unknown
2210.72/2216.81 c 2217s| 25700 | 25701 | 22285k| 832.4 | 339M | 99 | 479 |1088 |1089 | 136k| 1 |1077 |1960 | 1.715879e+02 | 1.960000e+02 | 14.23%| unknown
2216.20/2222.30 c 2222s| 25800 | 25801 | 22347k| 831.6 | 339M | 99 | 479 |1092 |1075 | 137k| 1 |1081 |1960 | 1.715897e+02 | 1.960000e+02 | 14.23%| unknown
2223.78/2230.00 c 2230s| 25900 | 25901 | 22431k| 831.6 | 339M | 99 | 479 |1092 |1061 | 138k| 1 |1088 |1962 | 1.715913e+02 | 1.960000e+02 | 14.22%| unknown
2230.27/2236.41 c 2236s| 26000 | 26001 | 22501k| 831.1 | 339M | 99 | 479 |1091 |1078 | 138k| 1 |1090 |1962 | 1.715936e+02 | 1.960000e+02 | 14.22%| unknown
2237.05/2243.26 c 2243s| 26100 | 26101 | 22576k| 830.8 | 339M | 99 | 479 |1096 |1074 | 138k| 1 |1095 |1963 | 1.715951e+02 | 1.960000e+02 | 14.22%| unknown
2243.63/2249.85 c 2250s| 26200 | 26201 | 22649k| 830.5 | 339M | 99 | 479 |1100 |1089 | 139k| 1 |1100 |1964 | 1.715969e+02 | 1.960000e+02 | 14.22%| unknown
2249.93/2256.17 c 2256s| 26300 | 26301 | 22718k| 830.0 | 340M | 99 | 479 |1100 |1062 | 139k| 1 |1102 |1966 | 1.715990e+02 | 1.960000e+02 | 14.22%| unknown
2258.50/2264.75 c 2265s| 26400 | 26401 | 22813k| 830.4 | 340M | 99 | 479 |1095 |1069 | 140k| 1 |1103 |1971 | 1.716015e+02 | 1.960000e+02 | 14.22%| unknown
2264.98/2271.25 c 2271s| 26500 | 26501 | 22886k| 830.0 | 340M | 99 | 479 |1102 |1056 | 140k| 1 |1110 |1972 | 1.716025e+02 | 1.960000e+02 | 14.22%| unknown
2271.56/2277.80 c 2278s| 26600 | 26601 | 22959k| 829.7 | 340M | 99 | 479 |1105 |1037 | 141k| 1 |1116 |1973 | 1.716045e+02 | 1.960000e+02 | 14.22%| unknown
2278.45/2284.74 c 2285s| 26700 | 26701 | 23036k| 829.4 | 340M | 99 | 479 |1102 |1070 | 141k| 1 |1119 |1975 | 1.716059e+02 | 1.960000e+02 | 14.22%| unknown
2284.74/2291.10 c 2291s| 26800 | 26801 | 23104k| 828.9 | 340M | 99 | 479 |1102 |1082 | 142k| 1 |1121 |1977 | 1.716079e+02 | 1.960000e+02 | 14.21%| unknown
2291.61/2297.90 c 2298s| 26900 | 26901 | 23173k| 828.4 | 340M | 99 | 479 |1098 |1057 | 142k| 1 |1121 |1978 | 1.716097e+02 | 1.960000e+02 | 14.21%| unknown
2298.10/2304.42 c 2304s| 27000 | 27001 | 23247k| 828.1 | 340M | 99 | 479 |1099 |1079 | 143k| 1 |1126 |1978 | 1.716118e+02 | 1.960000e+02 | 14.21%| unknown
2304.38/2310.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2304.38/2310.76 c 2311s| 27100 | 27101 | 23317k| 827.6 | 341M | 99 | 479 |1099 |1060 | 143k| 1 |1129 |1982 | 1.716132e+02 | 1.960000e+02 | 14.21%| unknown
2313.26/2319.69 c 2320s| 27200 | 27201 | 23412k| 828.1 | 341M | 99 | 479 |1084 |1041 | 144k| 1 |1135 |1987 | 1.716150e+02 | 1.960000e+02 | 14.21%| unknown
2319.24/2325.65 c 2326s| 27300 | 27301 | 23479k| 827.5 | 341M | 99 | 479 |1082 |1077 | 144k| 1 |1135 |1989 | 1.716171e+02 | 1.960000e+02 | 14.21%| unknown
2326.42/2332.83 c 2333s| 27400 | 27401 | 23557k| 827.4 | 341M | 99 | 479 |1087 |1072 | 145k| 1 |1143 |1989 | 1.716192e+02 | 1.960000e+02 | 14.21%| unknown
2332.62/2339.08 c 2339s| 27500 | 27501 | 23622k| 826.7 | 341M | 99 | 479 |1086 |1078 | 145k| 1 |1143 |1990 | 1.716209e+02 | 1.960000e+02 | 14.21%| unknown
2339.79/2346.24 c 2346s| 27600 | 27601 | 23697k| 826.5 | 341M | 99 | 479 |1085 |1068 | 146k| 1 |1145 |1990 | 1.716225e+02 | 1.960000e+02 | 14.20%| unknown
2345.69/2352.14 c 2352s| 27700 | 27701 | 23760k| 825.8 | 341M | 99 | 479 |1084 |1047 | 146k| 1 |1147 |1994 | 1.716235e+02 | 1.960000e+02 | 14.20%| unknown
2352.76/2359.28 c 2359s| 27800 | 27801 | 23835k| 825.5 | 341M | 99 | 479 |1083 |1057 | 147k| 1 |1152 |1996 | 1.716255e+02 | 1.960000e+02 | 14.20%| unknown
2360.34/2366.84 c 2367s| 27900 | 27901 | 23926k| 825.8 | 341M | 99 | 479 |1086 |1059 | 147k| 1 |1160 |1996 | 1.716266e+02 | 1.960000e+02 | 14.20%| unknown
2367.42/2374.00 c 2374s| 28000 | 28001 | 24003k| 825.6 | 341M | 99 | 479 |1083 |1065 | 148k| 1 |1164 |1997 | 1.716281e+02 | 1.960000e+02 | 14.20%| unknown
2374.10/2380.61 c 2381s| 28100 | 28101 | 24071k| 825.1 | 341M | 99 | 479 |1083 |1077 | 148k| 1 |1165 |1997 | 1.716305e+02 | 1.960000e+02 | 14.20%| unknown
2380.39/2387.01 c 2387s| 28200 | 28201 | 24142k| 824.7 | 341M | 99 | 479 |1083 |1051 | 149k| 1 |1166 |1997 | 1.716323e+02 | 1.960000e+02 | 14.20%| unknown
2387.27/2393.87 c 2394s| 28300 | 28301 | 24214k| 824.4 | 341M | 99 | 479 |1083 |1068 | 149k| 1 |1168 |1997 | 1.716333e+02 | 1.960000e+02 | 14.20%| unknown
2393.35/2399.98 c 2400s| 28400 | 28401 | 24285k| 824.0 | 341M | 99 | 479 |1085 |1068 | 149k| 1 |1172 |1997 | 1.716354e+02 | 1.960000e+02 | 14.20%| unknown
2400.33/2406.99 c 2407s| 28500 | 28501 | 24358k| 823.7 | 341M | 99 | 479 |1086 |1067 | 150k| 1 |1178 |1998 | 1.716379e+02 | 1.960000e+02 | 14.19%| unknown
2407.92/2414.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2407.92/2414.59 c 2415s| 28600 | 28601 | 24449k| 824.0 | 341M | 99 | 479 |1088 |1069 | 150k| 1 |1181 |2001 | 1.716397e+02 | 1.960000e+02 | 14.19%| unknown
2414.51/2421.18 c 2421s| 28700 | 28701 | 24516k| 823.4 | 341M | 99 | 479 |1089 |1063 | 151k| 1 |1184 |2002 | 1.716406e+02 | 1.960000e+02 | 14.19%| unknown
2421.58/2428.22 c 2428s| 28800 | 28801 | 24590k| 823.1 | 341M | 99 | 479 |1087 |1071 | 151k| 1 |1187 |2005 | 1.716422e+02 | 1.960000e+02 | 14.19%| unknown
2428.06/2434.78 c 2435s| 28900 | 28901 | 24659k| 822.7 | 341M | 99 | 479 |1087 |1046 | 152k| 1 |1193 |2006 | 1.716433e+02 | 1.960000e+02 | 14.19%| unknown
2436.54/2443.21 c 2443s| 29000 | 29001 | 24759k| 823.3 | 341M | 99 | 479 |1087 |1075 | 152k| 1 |1196 |2010 | 1.716452e+02 | 1.960000e+02 | 14.19%| unknown
2443.53/2450.23 c 2450s| 29100 | 29101 | 24825k| 822.8 | 342M | 99 | 479 |1090 |1029 | 153k| 1 |1200 |2010 | 1.716459e+02 | 1.960000e+02 | 14.19%| unknown
2450.51/2457.26 c 2457s| 29200 | 29201 | 24901k| 822.5 | 342M | 99 | 479 |1093 |1065 | 153k| 3 |1204 |2010 | 1.716474e+02 | 1.960000e+02 | 14.19%| unknown
2456.49/2463.26 c 2463s| 29300 | 29301 | 24967k| 822.0 | 342M | 99 | 479 |1099 |1068 | 154k| 1 |1211 |2012 | 1.716496e+02 | 1.960000e+02 | 14.19%| unknown
2463.58/2470.37 c 2470s| 29400 | 29401 | 25045k| 821.9 | 342M | 99 | 479 |1100 |1075 | 154k| 1 |1215 |2014 | 1.716510e+02 | 1.960000e+02 | 14.19%| unknown
2469.66/2476.46 c 2476s| 29500 | 29501 | 25111k| 821.3 | 342M | 99 | 479 |1102 |1059 | 155k| 1 |1222 |2016 | 1.716526e+02 | 1.960000e+02 | 14.18%| unknown
2476.64/2483.43 c 2483s| 29600 | 29601 | 25185k| 821.1 | 343M | 99 | 479 |1097 |1089 | 155k| 4 |1224 |2016 | 1.716541e+02 | 1.960000e+02 | 14.18%| unknown
2483.92/2490.77 c 2491s| 29700 | 29701 | 25271k| 821.2 | 343M | 99 | 479 |1103 |1078 | 156k| 1 |1232 |2016 | 1.716549e+02 | 1.960000e+02 | 14.18%| unknown
2490.91/2497.79 c 2498s| 29800 | 29801 | 25346k| 821.0 | 344M | 99 | 479 |1109 |1051 | 156k| 1 |1241 |2016 | 1.716563e+02 | 1.960000e+02 | 14.18%| unknown
2497.09/2503.94 c 2504s| 29900 | 29901 | 25415k| 820.6 | 344M | 99 | 479 |1112 |1062 | 157k| 1 |1244 |2017 | 1.716578e+02 | 1.960000e+02 | 14.18%| unknown
2504.29/2511.18 c 2511s| 30000 | 30001 | 25491k| 820.4 | 344M | 99 | 479 |1116 |1073 | 157k| 1 |1251 |2018 | 1.716586e+02 | 1.960000e+02 | 14.18%| unknown
2511.65/2518.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2511.65/2518.55 c 2519s| 30100 | 30101 | 25573k| 820.4 | 344M | 99 | 479 |1114 |1084 | 158k| 1 |1255 |2019 | 1.716605e+02 | 1.960000e+02 | 14.18%| unknown
2517.84/2524.70 c 2525s| 30200 | 30201 | 25639k| 819.9 | 344M | 99 | 479 |1111 |1080 | 158k| 1 |1256 |2022 | 1.716619e+02 | 1.960000e+02 | 14.18%| unknown
2525.42/2532.39 c 2532s| 30300 | 30301 | 25728k| 820.1 | 344M | 99 | 479 |1113 |1068 | 159k| 1 |1262 |2024 | 1.716635e+02 | 1.960000e+02 | 14.18%| unknown
2532.30/2539.22 c 2539s| 30400 | 30401 | 25800k| 819.8 | 344M | 99 | 479 |1113 |1074 | 159k| 1 |1271 |2025 | 1.716642e+02 | 1.960000e+02 | 14.18%| unknown
2538.78/2545.70 c 2546s| 30500 | 30501 | 25873k| 819.5 | 344M | 99 | 479 |1109 |1061 | 160k| 1 |1272 |2025 | 1.716658e+02 | 1.960000e+02 | 14.18%| unknown
2546.18/2553.15 c 2553s| 30600 | 30601 | 25953k| 819.4 | 344M | 99 | 479 |1111 |1074 | 160k| 1 |1275 |2028 | 1.716685e+02 | 1.960000e+02 | 14.17%| unknown
2553.25/2560.26 c 2560s| 30700 | 30701 | 26032k| 819.3 | 344M | 99 | 479 |1106 |1082 | 160k| 1 |1275 |2028 | 1.716710e+02 | 1.960000e+02 | 14.17%| unknown
2560.15/2567.19 c 2567s| 30800 | 30801 | 26106k| 819.1 | 344M | 99 | 479 |1101 |1094 | 161k| 3 |1275 |2028 | 1.716723e+02 | 1.960000e+02 | 14.17%| unknown
2565.62/2572.61 c 2573s| 30900 | 30901 | 26165k| 818.3 | 344M | 99 | 479 |1101 |1083 | 161k| 3 |1277 |2028 | 1.716737e+02 | 1.960000e+02 | 14.17%| unknown
2573.20/2580.24 c 2580s| 31000 | 31001 | 26248k| 818.4 | 345M | 99 | 479 |1105 |1052 | 162k| 1 |1284 |2029 | 1.716755e+02 | 1.960000e+02 | 14.17%| unknown
2580.38/2587.47 c 2587s| 31100 | 31101 | 26338k| 818.6 | 345M | 99 | 479 |1106 |1075 | 162k| 1 |1288 |2029 | 1.716771e+02 | 1.960000e+02 | 14.17%| unknown
2587.26/2594.35 c 2594s| 31200 | 31201 | 26411k| 818.4 | 345M | 99 | 479 |1098 |1091 | 163k| 1 |1293 |2029 | 1.716780e+02 | 1.960000e+02 | 14.17%| unknown
2593.96/2601.06 c 2601s| 31300 | 31301 | 26484k| 818.1 | 345M | 99 | 479 |1097 |1067 | 163k| 1 |1293 |2030 | 1.716804e+02 | 1.960000e+02 | 14.17%| unknown
2601.13/2608.29 c 2608s| 31400 | 31401 | 26563k| 818.0 | 345M | 99 | 479 |1093 |1075 | 164k| 1 |1294 |2034 | 1.716826e+02 | 1.960000e+02 | 14.16%| unknown
2607.41/2614.56 c 2615s| 31500 | 31501 | 26631k| 817.6 | 345M | 99 | 479 |1091 |1048 | 164k| 1 |1294 |2037 | 1.716843e+02 | 1.960000e+02 | 14.16%| unknown
2613.91/2621.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2613.91/2621.03 c 2621s| 31600 | 31601 | 26703k| 817.3 | 345M | 99 | 479 |1095 |1044 | 165k| 1 |1298 |2037 | 1.716853e+02 | 1.960000e+02 | 14.16%| unknown
2621.58/2628.75 c 2629s| 31700 | 31701 | 26780k| 817.1 | 345M | 99 | 479 |1091 |1065 | 165k| 1 |1302 |2039 | 1.716872e+02 | 1.960000e+02 | 14.16%| unknown
2628.56/2635.74 c 2636s| 31800 | 31801 | 26865k| 817.2 | 345M | 99 | 479 |1095 |1068 | 166k| 1 |1306 |2042 | 1.716891e+02 | 1.960000e+02 | 14.16%| unknown
2635.85/2643.03 c 2643s| 31900 | 31901 | 26944k| 817.1 | 345M | 99 | 479 |1092 |1086 | 166k| 1 |1312 |2042 | 1.716901e+02 | 1.960000e+02 | 14.16%| unknown
2642.32/2649.59 c 2650s| 32000 | 32001 | 27016k| 816.9 | 345M | 99 | 479 |1091 |1081 | 167k| 1 |1315 |2042 | 1.716908e+02 | 1.960000e+02 | 14.16%| unknown
2648.21/2655.45 c 2655s| 32100 | 32101 | 27079k| 816.3 | 345M | 99 | 479 |1093 |1084 | 167k| 1 |1319 |2046 | 1.716921e+02 | 1.960000e+02 | 14.16%| unknown
2654.49/2661.79 c 2662s| 32200 | 32201 | 27154k| 816.1 | 345M | 99 | 479 |1094 |1063 | 168k| 1 |1321 |2046 | 1.716933e+02 | 1.960000e+02 | 14.16%| unknown
2661.67/2669.00 c 2669s| 32300 | 32301 | 27232k| 816.0 | 345M | 99 | 479 |1100 |1082 | 168k| 1 |1328 |2047 | 1.716948e+02 | 1.960000e+02 | 14.16%| unknown
2667.66/2674.93 c 2675s| 32400 | 32401 | 27298k| 815.5 | 345M | 99 | 479 |1098 |1061 | 169k| 1 |1328 |2048 | 1.716964e+02 | 1.960000e+02 | 14.15%| unknown
2674.54/2681.84 c 2682s| 32500 | 32501 | 27370k| 815.2 | 345M | 99 | 479 |1100 |1070 | 169k| 1 |1332 |2051 | 1.716974e+02 | 1.960000e+02 | 14.15%| unknown
2682.84/2690.18 c 2690s| 32600 | 32601 | 27466k| 815.7 | 345M | 99 | 479 |1098 |1061 | 170k| 1 |1332 |2053 | 1.716987e+02 | 1.960000e+02 | 14.15%| unknown
2689.90/2697.23 c 2697s| 32700 | 32701 | 27541k| 815.5 | 345M | 99 | 479 |1096 |1066 | 170k| 1 |1337 |2054 | 1.716999e+02 | 1.960000e+02 | 14.15%| unknown
2695.99/2703.36 c 2703s| 32800 | 32801 | 27606k| 815.0 | 345M | 99 | 479 |1099 |1085 | 171k| 1 |1342 |2056 | 1.717011e+02 | 1.960000e+02 | 14.15%| unknown
2702.27/2709.64 c 2710s| 32900 | 32901 | 27679k| 814.7 | 345M | 99 | 479 |1100 |1095 | 171k| 1 |1344 |2058 | 1.717027e+02 | 1.960000e+02 | 14.15%| unknown
2709.16/2716.56 c 2717s| 33000 | 33001 | 27753k| 814.5 | 345M | 99 | 479 |1106 |1081 | 171k| 1 |1356 |2060 | 1.717043e+02 | 1.960000e+02 | 14.15%| unknown
2715.44/2722.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2715.44/2722.80 c 2723s| 33100 | 33101 | 27822k| 814.1 | 345M | 99 | 479 |1113 |1046 | 172k| 1 |1367 |2062 | 1.717068e+02 | 1.960000e+02 | 14.15%| unknown
2722.02/2729.46 c 2729s| 33200 | 33201 | 27891k| 813.8 | 346M | 99 | 479 |1114 |1074 | 172k| 1 |1372 |2064 | 1.717080e+02 | 1.960000e+02 | 14.15%| unknown
2730.40/2737.80 c 2738s| 33300 | 33301 | 27987k| 814.2 | 346M | 99 | 479 |1117 |1082 | 173k| 1 |1381 |2068 | 1.717092e+02 | 1.960000e+02 | 14.15%| unknown
2736.79/2744.26 c 2744s| 33400 | 33401 | 28058k| 813.9 | 346M | 99 | 479 |1117 |1080 | 173k| 4 |1382 |2069 | 1.717111e+02 | 1.960000e+02 | 14.15%| unknown
2743.27/2750.72 c 2751s| 33500 | 33501 | 28129k| 813.6 | 347M | 99 | 479 |1115 |1062 | 174k| 1 |1382 |2070 | 1.717130e+02 | 1.960000e+02 | 14.14%| unknown
2749.25/2756.78 c 2757s| 33600 | 33601 | 28192k| 813.1 | 347M | 99 | 479 |1117 |1075 | 174k| 1 |1386 |2072 | 1.717143e+02 | 1.960000e+02 | 14.14%| unknown
2756.83/2764.36 c 2764s| 33700 | 33701 | 28269k| 813.0 | 347M | 99 | 479 |1111 |1065 | 175k| 1 |1388 |2081 | 1.717153e+02 | 1.960000e+02 | 14.14%| unknown
2763.11/2770.63 c 2771s| 33800 | 33801 | 28331k| 812.4 | 348M | 99 | 479 |1115 |1015 | 175k| 1 |1393 |2086 | 1.717168e+02 | 1.960000e+02 | 14.14%| unknown
2770.40/2777.97 c 2778s| 33900 | 33901 | 28407k| 812.3 | 348M | 99 | 479 |1116 |1097 | 176k| 1 |1400 |2090 | 1.717183e+02 | 1.960000e+02 | 14.14%| unknown
2776.98/2784.59 c 2785s| 34000 | 34001 | 28477k| 811.9 | 348M | 99 | 479 |1117 |1048 | 176k| 1 |1403 |2091 | 1.717192e+02 | 1.960000e+02 | 14.14%| unknown
2783.76/2791.30 c 2791s| 34100 | 34101 | 28548k| 811.6 | 348M | 99 | 479 |1119 |1081 | 177k| 1 |1406 |2093 | 1.717200e+02 | 1.960000e+02 | 14.14%| unknown
2790.94/2798.56 c 2799s| 34200 | 34201 | 28633k| 811.8 | 348M | 99 | 479 |1119 |1080 | 177k| 1 |1409 |2095 | 1.717207e+02 | 1.960000e+02 | 14.14%| unknown
2797.83/2805.41 c 2805s| 34300 | 34301 | 28709k| 811.6 | 348M | 99 | 479 |1115 |1077 | 178k| 1 |1414 |2096 | 1.717225e+02 | 1.960000e+02 | 14.14%| unknown
2803.71/2811.34 c 2811s| 34400 | 34401 | 28776k| 811.2 | 348M | 99 | 479 |1118 |1079 | 178k| 1 |1419 |2096 | 1.717245e+02 | 1.960000e+02 | 14.14%| unknown
2811.09/2818.77 c 2819s| 34500 | 34501 | 28855k| 811.1 | 348M | 99 | 479 |1114 |1085 | 178k| 1 |1423 |2097 | 1.717264e+02 | 1.960000e+02 | 14.14%| unknown
2817.39/2825.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2817.39/2825.04 c 2825s| 34600 | 34601 | 28922k| 810.8 | 348M | 99 | 479 |1108 |1053 | 179k| 1 |1425 |2102 | 1.717276e+02 | 1.960000e+02 | 14.13%| unknown
2824.26/2831.91 c 2832s| 34700 | 34701 | 28999k| 810.6 | 348M | 99 | 479 |1104 |1065 | 179k| 1 |1430 |2102 | 1.717290e+02 | 1.960000e+02 | 14.13%| unknown
2830.15/2837.86 c 2838s| 34800 | 34801 | 29066k| 810.2 | 348M | 99 | 479 |1099 |1086 | 180k| 1 |1434 |2103 | 1.717302e+02 | 1.960000e+02 | 14.13%| unknown
2837.53/2845.28 c 2845s| 34900 | 34901 | 29158k| 810.5 | 348M | 99 | 479 |1103 |1064 | 180k| 1 |1444 |2103 | 1.717312e+02 | 1.960000e+02 | 14.13%| unknown
2843.81/2851.55 c 2852s| 35000 | 35001 | 29226k| 810.2 | 348M | 99 | 479 |1105 |1053 | 181k| 1 |1449 |2103 | 1.717327e+02 | 1.960000e+02 | 14.13%| unknown
2849.80/2857.51 c 2858s| 35100 | 35101 | 29294k| 809.8 | 348M | 99 | 479 |1103 |1086 | 181k| 1 |1453 |2103 | 1.717341e+02 | 1.960000e+02 | 14.13%| unknown
2855.88/2863.65 c 2864s| 35200 | 35201 | 29362k| 809.5 | 348M | 99 | 479 |1106 |1045 | 182k| 1 |1457 |2103 | 1.717355e+02 | 1.960000e+02 | 14.13%| unknown
2862.67/2870.44 c 2870s| 35300 | 35301 | 29435k| 809.3 | 348M | 99 | 479 |1106 |1081 | 182k| 1 |1463 |2103 | 1.717367e+02 | 1.960000e+02 | 14.13%| unknown
2870.05/2877.83 c 2878s| 35400 | 35401 | 29525k| 809.5 | 348M | 99 | 479 |1113 |1081 | 183k| 1 |1474 |2105 | 1.717377e+02 | 1.960000e+02 | 14.13%| unknown
2876.73/2884.57 c 2885s| 35500 | 35501 | 29599k| 809.3 | 348M | 99 | 479 |1110 |1050 | 183k| 1 |1475 |2107 | 1.717387e+02 | 1.960000e+02 | 14.13%| unknown
2883.23/2891.10 c 2891s| 35600 | 35601 | 29671k| 809.1 | 348M | 99 | 479 |1112 |1060 | 183k| 1 |1480 |2110 | 1.717400e+02 | 1.960000e+02 | 14.13%| unknown
2889.31/2897.13 c 2897s| 35700 | 35701 | 29736k| 808.6 | 348M | 99 | 479 |1121 |1067 | 184k| 1 |1493 |2116 | 1.717411e+02 | 1.960000e+02 | 14.13%| unknown
2897.58/2905.41 c 2905s| 35800 | 35801 | 29836k| 809.1 | 348M | 99 | 479 |1115 |1084 | 184k| 1 |1494 |2117 | 1.717418e+02 | 1.960000e+02 | 14.12%| unknown
2902.87/2910.76 c 2911s| 35900 | 35901 | 29896k| 808.6 | 348M | 99 | 479 |1112 |1042 | 185k| 1 |1497 |2117 | 1.717441e+02 | 1.960000e+02 | 14.12%| unknown
2909.65/2917.54 c 2918s| 36000 | 36001 | 29972k| 808.5 | 348M | 99 | 479 |1110 |1076 | 185k| 1 |1500 |2119 | 1.717457e+02 | 1.960000e+02 | 14.12%| unknown
2915.93/2923.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2915.93/2923.89 c 2924s| 36100 | 36101 | 30043k| 808.2 | 348M | 99 | 479 |1110 |1067 | 186k| 1 |1504 |2120 | 1.717468e+02 | 1.960000e+02 | 14.12%| unknown
2922.13/2930.08 c 2930s| 36200 | 36201 | 30112k| 807.9 | 349M | 99 | 479 |1108 |1062 | 186k| 1 |1512 |2122 | 1.717481e+02 | 1.960000e+02 | 14.12%| unknown
2927.70/2935.69 c 2936s| 36300 | 36301 | 30176k| 807.4 | 349M | 99 | 479 |1101 |1048 | 186k| 1 |1515 |2123 | 1.717494e+02 | 1.960000e+02 | 14.12%| unknown
2933.49/2941.46 c 2941s| 36400 | 36401 | 30242k| 807.0 | 349M | 99 | 479 |1103 |1050 | 187k| 1 |1518 |2124 | 1.717510e+02 | 1.960000e+02 | 14.12%| unknown
2939.58/2947.52 c 2948s| 36500 | 36501 | 30309k| 806.7 | 349M | 99 | 479 |1109 |1045 | 187k| 1 |1528 |2124 | 1.717517e+02 | 1.960000e+02 | 14.12%| unknown
2947.26/2955.22 c 2955s| 36600 | 36601 | 30402k| 807.0 | 349M | 99 | 479 |1110 |1047 | 188k| 1 |1534 |2124 | 1.717525e+02 | 1.960000e+02 | 14.12%| unknown
2952.74/2960.76 c 2961s| 36700 | 36701 | 30469k| 806.6 | 349M | 99 | 479 |1103 |1035 | 188k| 1 |1536 |2124 | 1.717538e+02 | 1.960000e+02 | 14.12%| unknown
2959.52/2967.51 c 2968s| 36800 | 36801 | 30545k| 806.5 | 349M | 99 | 479 |1104 |1073 | 189k| 3 |1542 |2124 | 1.717548e+02 | 1.960000e+02 | 14.12%| unknown
2965.51/2973.50 c 2973s| 36900 | 36901 | 30613k| 806.2 | 349M | 99 | 479 |1100 |1075 | 189k| 1 |1546 |2125 | 1.717560e+02 | 1.960000e+02 | 14.12%| unknown
2972.11/2980.13 c 2980s| 37000 | 37001 | 30681k| 805.8 | 349M | 99 | 479 |1104 |1070 | 190k| 1 |1552 |2126 | 1.717570e+02 | 1.960000e+02 | 14.11%| unknown
2979.37/2987.45 c 2987s| 37100 | 37101 | 30764k| 805.9 | 349M | 99 | 479 |1108 |1066 | 190k| 1 |1558 |2126 | 1.717587e+02 | 1.960000e+02 | 14.11%| unknown
2985.16/2993.23 c 2993s| 37200 | 37201 | 30829k| 805.5 | 349M | 99 | 479 |1109 |1069 | 190k| 1 |1562 |2129 | 1.717593e+02 | 1.960000e+02 | 14.11%| unknown
2991.06/2999.11 c 2999s| 37300 | 37301 | 30893k| 805.1 | 349M | 99 | 479 |1111 |1043 | 191k| 1 |1565 |2132 | 1.717601e+02 | 1.960000e+02 | 14.11%| unknown
2999.82/3007.94 c 3008s| 37400 | 37401 | 30996k| 805.6 | 350M | 99 | 479 |1107 |1095 | 191k| 1 |1567 |2134 | 1.717614e+02 | 1.960000e+02 | 14.11%| unknown
3006.61/3014.77 c 3015s| 37500 | 37501 | 31065k| 805.3 | 350M | 99 | 479 |1105 |1028 | 192k| 1 |1573 |2138 | 1.717629e+02 | 1.960000e+02 | 14.11%| unknown
3013.49/3021.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3013.49/3021.62 c 3022s| 37600 | 37601 | 31142k| 805.3 | 350M | 99 | 479 |1100 |1067 | 192k| 1 |1577 |2140 | 1.717639e+02 | 1.960000e+02 | 14.11%| unknown
3020.27/3028.49 c 3028s| 37700 | 37701 | 31220k| 805.2 | 350M | 99 | 479 |1098 |1072 | 193k| 1 |1580 |2141 | 1.717648e+02 | 1.960000e+02 | 14.11%| unknown
3027.35/3035.53 c 3036s| 37800 | 37801 | 31294k| 805.0 | 350M | 99 | 479 |1089 |1038 | 193k| 1 |1581 |2141 | 1.717660e+02 | 1.960000e+02 | 14.11%| unknown
3033.54/3041.74 c 3042s| 37900 | 37901 | 31361k| 804.7 | 350M | 99 | 479 |1089 |1077 | 193k| 1 |1584 |2144 | 1.717672e+02 | 1.960000e+02 | 14.11%| unknown
3040.62/3048.87 c 3049s| 38000 | 38001 | 31441k| 804.7 | 351M | 99 | 479 |1089 |1076 | 194k| 1 |1588 |2146 | 1.717680e+02 | 1.960000e+02 | 14.11%| unknown
3047.81/3056.02 c 3056s| 38100 | 38101 | 31522k| 804.7 | 351M | 99 | 479 |1090 |1037 | 194k| 1 |1592 |2147 | 1.717692e+02 | 1.960000e+02 | 14.11%| unknown
3055.08/3063.36 c 3063s| 38200 | 38201 | 31598k| 804.6 | 351M | 99 | 479 |1089 |1061 | 195k| 1 |1598 |2148 | 1.717704e+02 | 1.960000e+02 | 14.11%| unknown
3062.88/3071.19 c 3071s| 38300 | 38301 | 31695k| 805.0 | 351M | 99 | 479 |1087 |1069 | 195k| 1 |1601 |2148 | 1.717714e+02 | 1.960000e+02 | 14.11%| unknown
3070.94/3079.22 c 3079s| 38400 | 38401 | 31780k| 805.1 | 351M | 99 | 479 |1082 |1065 | 196k| 1 |1602 |2148 | 1.717726e+02 | 1.960000e+02 | 14.10%| unknown
3077.13/3085.46 c 3085s| 38500 | 38501 | 31854k| 804.9 | 352M | 99 | 479 |1087 |1079 | 196k| 1 |1610 |2150 | 1.717746e+02 | 1.960000e+02 | 14.10%| unknown
3084.42/3092.79 c 3093s| 38600 | 38601 | 31934k| 804.9 | 352M | 99 | 479 |1091 |1061 | 196k| 1 |1616 |2150 | 1.717759e+02 | 1.960000e+02 | 14.10%| unknown
3090.30/3098.64 c 3099s| 38700 | 38701 | 31997k| 804.5 | 352M | 99 | 479 |1095 |1069 | 197k| 1 |1620 |2152 | 1.717771e+02 | 1.960000e+02 | 14.10%| unknown
3097.29/3105.67 c 3106s| 38800 | 38801 | 32073k| 804.4 | 352M | 99 | 479 |1092 |1070 | 197k| 1 |1622 |2153 | 1.717779e+02 | 1.960000e+02 | 14.10%| unknown
3103.27/3111.64 c 3112s| 38900 | 38901 | 32145k| 804.2 | 352M | 99 | 479 |1090 |1067 | 198k| 1 |1624 |2154 | 1.717790e+02 | 1.960000e+02 | 14.10%| unknown
3111.05/3119.48 c 3119s| 39000 | 39001 | 32231k| 804.3 | 352M | 99 | 479 |1092 |1047 | 198k| 1 |1631 |2155 | 1.717799e+02 | 1.960000e+02 | 14.10%| unknown
3117.75/3126.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3117.75/3126.16 c 3126s| 39100 | 39101 | 32316k| 804.4 | 352M | 99 | 479 |1092 |1066 | 199k| 1 |1631 |2155 | 1.717804e+02 | 1.960000e+02 | 14.10%| unknown
3124.82/3133.26 c 3133s| 39200 | 39201 | 32395k| 804.4 | 352M | 99 | 479 |1094 |1065 | 199k| 1 |1634 |2159 | 1.717816e+02 | 1.960000e+02 | 14.10%| unknown
3131.30/3139.79 c 3140s| 39300 | 39301 | 32474k| 804.3 | 352M | 99 | 479 |1096 |1064 | 200k| 1 |1636 |2160 | 1.717828e+02 | 1.960000e+02 | 14.10%| unknown
3138.38/3146.81 c 3147s| 39400 | 39401 | 32563k| 804.6 | 352M | 99 | 479 |1096 |1075 | 200k| 1 |1637 |2162 | 1.717836e+02 | 1.960000e+02 | 14.10%| unknown
3145.86/3154.37 c 3154s| 39500 | 39501 | 32651k| 804.7 | 352M | 99 | 479 |1098 |1059 | 200k| 1 |1639 |2165 | 1.717849e+02 | 1.960000e+02 | 14.10%| unknown
3153.34/3161.87 c 3162s| 39600 | 39601 | 32735k| 804.8 | 352M | 99 | 479 |1093 |1064 | 201k| 1 |1643 |2165 | 1.717860e+02 | 1.960000e+02 | 14.10%| unknown
3159.54/3168.03 c 3168s| 39700 | 39701 | 32800k| 804.5 | 352M | 99 | 479 |1094 |1060 | 201k| 1 |1649 |2169 | 1.717867e+02 | 1.960000e+02 | 14.09%| unknown
3166.41/3175.00 c 3175s| 39800 | 39801 | 32878k| 804.4 | 352M | 99 | 479 |1094 |1073 | 202k| 1 |1653 |2170 | 1.717880e+02 | 1.960000e+02 | 14.09%| unknown
3172.51/3181.04 c 3181s| 39900 | 39901 | 32943k| 804.0 | 352M | 99 | 479 |1098 |1044 | 202k| 1 |1658 |2171 | 1.717896e+02 | 1.960000e+02 | 14.09%| unknown
3179.78/3188.32 c 3188s| 40000 | 40001 | 33036k| 804.3 | 352M | 99 | 479 |1102 |1090 | 203k| 1 |1665 |2171 | 1.717910e+02 | 1.960000e+02 | 14.09%| unknown
3185.16/3193.74 c 3194s| 40100 | 40101 | 33095k| 803.8 | 352M | 99 | 479 |1104 |1055 | 203k| 1 |1670 |2171 | 1.717917e+02 | 1.960000e+02 | 14.09%| unknown
3192.56/3201.17 c 3201s| 40200 | 40201 | 33174k| 803.8 | 352M | 99 | 479 |1106 |1067 | 203k| 1 |1676 |2172 | 1.717932e+02 | 1.960000e+02 | 14.09%| unknown
3198.63/3207.26 c 3207s| 40300 | 40301 | 33241k| 803.4 | 352M | 99 | 479 |1108 |1058 | 204k| 1 |1679 |2174 | 1.717949e+02 | 1.960000e+02 | 14.09%| unknown
3205.12/3213.70 c 3214s| 40400 | 40401 | 33313k| 803.2 | 352M | 99 | 479 |1108 |1066 | 204k| 1 |1685 |2174 | 1.717963e+02 | 1.960000e+02 | 14.09%| unknown
3210.70/3219.33 c 3219s| 40500 | 40501 | 33377k| 802.8 | 352M | 99 | 479 |1110 |1077 | 205k| 1 |1687 |2174 | 1.717973e+02 | 1.960000e+02 | 14.09%| unknown
3217.98/3226.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3217.98/3226.63 c 3227s| 40600 | 40601 | 33451k| 802.7 | 352M | 99 | 479 |1115 |1008 | 205k| 1 |1696 |2175 | 1.717983e+02 | 1.960000e+02 | 14.09%| unknown
3224.27/3232.91 c 3233s| 40700 | 40701 | 33526k| 802.6 | 352M | 99 | 479 |1107 |1052 | 206k| 1 |1696 |2178 | 1.717989e+02 | 1.960000e+02 | 14.09%| unknown
3231.25/3239.96 c 3240s| 40800 | 40801 | 33600k| 802.4 | 352M | 99 | 479 |1106 |1088 | 206k| 1 |1706 |2180 | 1.717999e+02 | 1.960000e+02 | 14.09%| unknown
3237.45/3246.18 c 3246s| 40900 | 40901 | 33669k| 802.1 | 352M | 99 | 479 |1113 |1056 | 206k| 1 |1714 |2182 | 1.718012e+02 | 1.960000e+02 | 14.09%| unknown
3244.61/3253.34 c 3253s| 41000 | 41001 | 33752k| 802.2 | 352M | 99 | 479 |1112 |1083 | 207k| 1 |1716 |2183 | 1.718022e+02 | 1.960000e+02 | 14.08%| unknown
3251.50/3260.21 c 3260s| 41100 | 41101 | 33829k| 802.1 | 352M | 99 | 479 |1113 |1070 | 207k| 1 |1720 |2185 | 1.718035e+02 | 1.960000e+02 | 14.08%| unknown
3257.88/3266.66 c 3267s| 41200 | 41201 | 33901k| 801.9 | 353M | 99 | 479 |1112 |1054 | 208k| 1 |1721 |2186 | 1.718047e+02 | 1.960000e+02 | 14.08%| unknown
3265.46/3274.24 c 3274s| 41300 | 41301 | 33979k| 801.9 | 353M | 99 | 479 |1112 |1057 | 208k| 1 |1727 |2190 | 1.718056e+02 | 1.960000e+02 | 14.08%| unknown
3272.26/3281.07 c 3281s| 41400 | 41401 | 34057k| 801.8 | 353M | 99 | 479 |1112 |1065 | 208k| 1 |1729 |2190 | 1.718064e+02 | 1.960000e+02 | 14.08%| unknown
3279.63/3288.44 c 3288s| 41500 | 41501 | 34142k| 802.0 | 353M | 99 | 479 |1102 |1066 | 209k| 1 |1731 |2194 | 1.718073e+02 | 1.960000e+02 | 14.08%| unknown
3286.01/3294.84 c 3295s| 41600 | 41601 | 34210k| 801.7 | 353M | 99 | 479 |1099 |1068 | 209k| 1 |1731 |2196 | 1.718079e+02 | 1.960000e+02 | 14.08%| unknown
3292.21/3301.09 c 3301s| 41700 | 41701 | 34281k| 801.4 | 353M | 99 | 479 |1098 |1061 | 210k| 1 |1735 |2197 | 1.718090e+02 | 1.960000e+02 | 14.08%| unknown
3300.08/3308.94 c 3309s| 41800 | 41801 | 34365k| 801.5 | 353M | 99 | 479 |1095 |1061 | 210k| 1 |1740 |2197 | 1.718102e+02 | 1.960000e+02 | 14.08%| unknown
3305.86/3314.76 c 3315s| 41900 | 41901 | 34429k| 801.2 | 353M | 99 | 479 |1094 |1060 | 211k| 1 |1742 |2199 | 1.718111e+02 | 1.960000e+02 | 14.08%| unknown
3311.26/3320.12 c 3320s| 42000 | 42001 | 34490k| 800.7 | 354M | 99 | 479 |1094 |1069 | 211k| 4 |1744 |2200 | 1.718120e+02 | 1.960000e+02 | 14.08%| unknown
3317.93/3326.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3317.93/3326.83 c 3327s| 42100 | 42101 | 34563k| 800.6 | 354M | 99 | 479 |1096 |1041 | 212k| 1 |1751 |2201 | 1.718132e+02 | 1.960000e+02 | 14.08%| unknown
3323.32/3332.25 c 3332s| 42200 | 42201 | 34625k| 800.2 | 354M | 99 | 479 |1093 |1061 | 212k| 1 |1751 |2202 | 1.718145e+02 | 1.960000e+02 | 14.08%| unknown
3330.80/3339.79 c 3340s| 42300 | 42301 | 34708k| 800.2 | 355M | 99 | 479 |1092 |1072 | 212k| 1 |1754 |2202 | 1.718160e+02 | 1.960000e+02 | 14.08%| unknown
3336.98/3345.94 c 3346s| 42400 | 42401 | 34782k| 800.1 | 355M | 99 | 479 |1085 |1066 | 213k| 1 |1754 |2207 | 1.718175e+02 | 1.960000e+02 | 14.07%| unknown
3343.67/3352.65 c 3353s| 42500 | 42501 | 34854k| 799.9 | 356M | 99 | 479 |1085 |1068 | 213k| 1 |1759 |2208 | 1.718182e+02 | 1.960000e+02 | 14.07%| unknown
3349.75/3358.73 c 3359s| 42600 | 42601 | 34922k| 799.6 | 356M | 99 | 479 |1085 |1043 | 214k| 1 |1763 |2210 | 1.718192e+02 | 1.960000e+02 | 14.07%| unknown
3355.05/3364.01 c 3364s| 42700 | 42701 | 34981k| 799.1 | 356M | 99 | 479 |1086 |1048 | 214k| 1 |1768 |2210 | 1.718199e+02 | 1.960000e+02 | 14.07%| unknown
3361.52/3370.53 c 3371s| 42800 | 42801 | 35052k| 798.9 | 356M | 99 | 479 |1086 |1062 | 215k| 1 |1774 |2211 | 1.718212e+02 | 1.960000e+02 | 14.07%| unknown
3367.12/3376.12 c 3376s| 42900 | 42901 | 35116k| 798.6 | 356M | 99 | 479 |1090 |1051 | 215k| 1 |1778 |2213 | 1.718218e+02 | 1.960000e+02 | 14.07%| unknown
3374.00/3383.05 c 3383s| 43000 | 43001 | 35196k| 798.6 | 356M | 99 | 479 |1087 |1070 | 215k| 1 |1778 |2213 | 1.718230e+02 | 1.960000e+02 | 14.07%| unknown
3380.36/3389.49 c 3389s| 43100 | 43101 | 35264k| 798.3 | 356M | 99 | 479 |1086 |1060 | 216k| 1 |1782 |2216 | 1.718237e+02 | 1.960000e+02 | 14.07%| unknown
3387.24/3396.36 c 3396s| 43200 | 43201 | 35335k| 798.1 | 356M | 99 | 479 |1079 |1082 | 216k| 1 |1786 |2219 | 1.718246e+02 | 1.960000e+02 | 14.07%| unknown
3395.12/3404.28 c 3404s| 43300 | 43301 | 35429k| 798.4 | 356M | 99 | 479 |1077 |1092 | 217k| 1 |1789 |2220 | 1.718257e+02 | 1.960000e+02 | 14.07%| unknown
3402.29/3411.42 c 3411s| 43400 | 43401 | 35497k| 798.2 | 356M | 99 | 479 |1078 |1079 | 217k| 1 |1792 |2224 | 1.718268e+02 | 1.960000e+02 | 14.07%| unknown
3408.08/3417.29 c 3417s| 43500 | 43501 | 35560k| 797.8 | 356M | 99 | 479 |1079 |1086 | 218k| 1 |1796 |2224 | 1.718276e+02 | 1.960000e+02 | 14.07%| unknown
3414.87/3424.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3414.87/3424.10 c 3424s| 43600 | 43601 | 35635k| 797.7 | 356M | 99 | 479 |1078 |1069 | 218k| 1 |1798 |2225 | 1.718284e+02 | 1.960000e+02 | 14.07%| unknown
3421.33/3430.56 c 3431s| 43700 | 43701 | 35704k| 797.4 | 356M | 99 | 479 |1080 |1061 | 218k| 1 |1804 |2228 | 1.718297e+02 | 1.960000e+02 | 14.07%| unknown
3429.11/3438.37 c 3438s| 43800 | 43801 | 35785k| 797.5 | 356M | 99 | 479 |1073 |1082 | 219k| 1 |1811 |2228 | 1.718306e+02 | 1.960000e+02 | 14.07%| unknown
3434.90/3444.17 c 3444s| 43900 | 43901 | 35847k| 797.1 | 356M | 99 | 479 |1073 |1057 | 219k| 1 |1815 |2229 | 1.718316e+02 | 1.960000e+02 | 14.07%| unknown
3441.88/3451.16 c 3451s| 44000 | 44001 | 35924k| 797.0 | 356M | 99 | 479 |1075 |1062 | 220k| 1 |1819 |2232 | 1.718329e+02 | 1.960000e+02 | 14.06%| unknown
3447.45/3456.75 c 3457s| 44100 | 44101 | 35986k| 796.6 | 356M | 99 | 479 |1077 |1068 | 220k| 1 |1822 |2234 | 1.718340e+02 | 1.960000e+02 | 14.06%| unknown
3453.53/3462.89 c 3463s| 44200 | 44201 | 36055k| 796.4 | 356M | 99 | 479 |1078 |1087 | 221k| 1 |1828 |2234 | 1.718354e+02 | 1.960000e+02 | 14.06%| unknown
3461.41/3470.79 c 3471s| 44300 | 44301 | 36147k| 796.7 | 356M | 99 | 479 |1076 |1052 | 221k| 1 |1830 |2237 | 1.718363e+02 | 1.960000e+02 | 14.06%| unknown
3466.99/3476.36 c 3476s| 44400 | 44401 | 36210k| 796.3 | 356M | 99 | 479 |1075 |1086 | 221k| 1 |1833 |2237 | 1.718375e+02 | 1.960000e+02 | 14.06%| unknown
3473.78/3483.14 c 3483s| 44500 | 44501 | 36285k| 796.2 | 356M | 99 | 479 |1075 |1063 | 222k| 1 |1838 |2237 | 1.718386e+02 | 1.960000e+02 | 14.06%| unknown
3480.05/3489.43 c 3489s| 44600 | 44601 | 36354k| 796.0 | 356M | 99 | 479 |1078 |1051 | 222k| 1 |1844 |2238 | 1.718398e+02 | 1.960000e+02 | 14.06%| unknown
3486.43/3495.85 c 3496s| 44700 | 44701 | 36424k| 795.8 | 356M | 99 | 479 |1082 |1056 | 223k| 1 |1849 |2238 | 1.718406e+02 | 1.960000e+02 | 14.06%| unknown
3493.21/3502.68 c 3503s| 44800 | 44801 | 36502k| 795.7 | 356M | 99 | 479 |1082 |1082 | 223k| 1 |1850 |2238 | 1.718413e+02 | 1.960000e+02 | 14.06%| unknown
3499.49/3508.90 c 3509s| 44900 | 44901 | 36570k| 795.5 | 356M | 99 | 479 |1086 |1076 | 224k| 1 |1854 |2239 | 1.718422e+02 | 1.960000e+02 | 14.06%| unknown
3505.17/3514.63 c 3515s| 45000 | 45001 | 36632k| 795.1 | 356M | 99 | 479 |1089 |1064 | 224k| 1 |1860 |2240 | 1.718431e+02 | 1.960000e+02 | 14.06%| unknown
3512.66/3522.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3512.66/3522.16 c 3522s| 45100 | 45101 | 36721k| 795.3 | 356M | 99 | 479 |1087 |1079 | 224k| 1 |1863 |2241 | 1.718441e+02 | 1.960000e+02 | 14.06%| unknown
3518.54/3528.06 c 3528s| 45200 | 45201 | 36785k| 794.9 | 357M | 99 | 479 |1083 |1037 | 225k| 1 |1865 |2243 | 1.718452e+02 | 1.960000e+02 | 14.06%| unknown
3524.52/3534.03 c 3534s| 45300 | 45301 | 36854k| 794.7 | 357M | 99 | 479 |1080 |1055 | 225k| 1 |1870 |2244 | 1.718461e+02 | 1.960000e+02 | 14.06%| unknown
3531.60/3541.12 c 3541s| 45400 | 45401 | 36930k| 794.6 | 357M | 99 | 479 |1083 |1088 | 226k| 1 |1874 |2245 | 1.718472e+02 | 1.960000e+02 | 14.05%| unknown
3537.17/3546.77 c 3547s| 45500 | 45501 | 36992k| 794.3 | 357M | 99 | 479 |1085 |1070 | 226k| 1 |1881 |2248 | 1.718482e+02 | 1.960000e+02 | 14.05%| unknown
3544.15/3553.75 c 3554s| 45600 | 45601 | 37071k| 794.3 | 357M | 99 | 479 |1086 |1083 | 227k| 1 |1887 |2248 | 1.718495e+02 | 1.960000e+02 | 14.05%| unknown
3550.03/3559.62 c 3560s| 45700 | 45701 | 37137k| 794.0 | 357M | 99 | 479 |1087 |1047 | 227k| 1 |1890 |2249 | 1.718505e+02 | 1.960000e+02 | 14.05%| unknown
3556.21/3565.84 c 3566s| 45800 | 45801 | 37207k| 793.8 | 357M | 99 | 479 |1087 |1077 | 227k| 1 |1892 |2251 | 1.718512e+02 | 1.960000e+02 | 14.05%| unknown
3562.79/3572.40 c 3572s| 45900 | 45901 | 37280k| 793.6 | 357M | 99 | 479 |1083 |1068 | 228k| 1 |1893 |2251 | 1.718518e+02 | 1.960000e+02 | 14.05%| unknown
3569.66/3579.37 c 3579s| 46000 | 46001 | 37366k| 793.8 | 357M | 99 | 479 |1082 |1052 | 228k| 1 |1896 |2252 | 1.718529e+02 | 1.960000e+02 | 14.05%| unknown
3576.46/3586.12 c 3586s| 46100 | 46101 | 37437k| 793.6 | 358M | 99 | 479 |1084 |1063 | 229k| 1 |1903 |2254 | 1.718545e+02 | 1.960000e+02 | 14.05%| unknown
3582.02/3591.71 c 3592s| 46200 | 46201 | 37503k| 793.3 | 358M | 99 | 479 |1086 |1049 | 229k| 1 |1905 |2254 | 1.718552e+02 | 1.960000e+02 | 14.05%| unknown
3587.21/3597.00 c
3587.21/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.21/3597.00 c Solving Time (sec) : 3597.00
3587.21/3597.00 c Solving Nodes : 46280 (total of 47329 nodes in 2 runs)
3587.21/3597.00 c Primal Bound : +1.96000000000000e+02 (1147 solutions)
3587.21/3597.00 c Dual Bound : +1.71855964997370e+02
3587.21/3597.00 c Gap : 14.05 %
3587.21/3597.00 s SATISFIABLE
3587.21/3597.00 v x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 x13 -x14 -x15 x16 -x17 x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 x28 -x29
3587.21/3597.00 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 x46 x47 x48 -x49 -x50 x51 -x52 x53 -x54 x55 -x56
3587.21/3597.00 v x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 x65 x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83
3587.21/3597.00 v x84 -x85 -x86 -x87 x88 -x89 x90 -x91 x92 -x93 x94 x95 x96 -x97 x98 -x99 -x100 -x101 -x102 x103 -x104 x105 -x106 -x107 -x108 -x109
3587.21/3597.00 v -x110 -x111 x112 -x113 x114 -x115 x116 x117 x118 x119 -x120 x121 x122 x123 x124 -x125 -x126 x127 -x128 x129 x130 -x131 -x132 -x133
3587.21/3597.00 v -x134 -x135 x136 x137 -x138 x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 x152 -x153 -x154 x155 x156
3587.21/3597.00 v x157 -x158 x159 -x160 -x161 x162 -x163 x164 -x165 -x166 x167 -x168 -x169 x170 -x171 x172 x173 -x174 -x175 -x176 -x177 x178 -x179
3587.21/3597.00 v -x180 -x181 x182 -x183 x184 -x185 x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 x198 -x199 x200 x201 -x202
3587.21/3597.00 v -x203 x204 x205 x206 -x207 x208 -x209 -x210 x211 x212 -x213 -x214 -x215 x216 x217 -x218 x219 x220 x221 -x222 x223 -x224 -x225 x226
3587.21/3597.00 v x227 x228 x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 x238 -x239 -x240 -x241 -x242 x243 x244 x245 -x246 x247 -x248 x249 -x250
3587.21/3597.00 v -x251 x252 -x253 -x254 x255 x256 -x257 x258 x259 x260 -x261 -x262 x263 x264 x265 x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274
3587.21/3597.00 v x275 x276 -x277 -x278 -x279 -x280 x281 x282 -x283 -x284 -x285 x286 x287 x288 x289 -x290 -x291 x292 x293 x294 -x295 -x296 -x297 x298
3587.21/3597.00 v -x299 -x300 x301 -x302 -x303 x304 x305 -x306 x307 x308 x309 -x310 -x311 x312 -x313 -x314 x315 x316 -x317 x318 x319 x320 -x321 x322
3587.21/3597.00 v -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 x334 x335 x336 x337 x338 -x339 x340 -x341 -x342 -x343 -x344 -x345
3587.21/3597.00 v -x346 -x347 x348 -x349 x350 x351 x352 -x353 x354 -x355 -x356 -x357 x358 -x359 x360 -x361 -x362 -x363 x364 -x365 x366 x367 -x368
3587.21/3597.00 v -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 x379 x380 x381 -x382 x383 -x384 x385 x386 x387 x388 -x389 -x390 x391
3587.21/3597.00 v -x392 -x393 -x394 -x395 x396 x397 x398 x399 x400 x401 -x402 x403 -x404 -x405 x406 -x407 -x408 x409 -x410 -x411 x412 -x413 -x414
3587.21/3597.00 v -x415 -x416 -x417 -x418 x419 -x420 x421 -x422 -x423 x424 -x425 -x426 x427 -x428 -x429 -x430 x431 -x432 x433 -x434 x435 -x436 x437
3587.21/3597.00 v x438 x439 -x440 x441 x442 x443 -x444 x445 -x446 -x447 x448 -x449 x450 x451 -x452 -x453 x454 -x455 -x456 x457 -x458 -x459 -x460 x461
3587.21/3597.00 v x462 -x463 -x464 -x465 x466 -x467 -x468 x469 x470 x471 -x472 -x473 -x474 x475 x476 x477 -x478 -x479
3587.21/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.21/3597.00 c Total Time : 3597.00
3587.21/3597.00 c solving : 3597.00
3587.21/3597.00 c presolving : 0.07 (included in solving)
3587.21/3597.00 c reading : 0.01 (included in solving)
3587.21/3597.00 c copying : 0.04 (16 #copies) (minimal 0.00, maximal 0.00, average 0.00)
3587.21/3597.00 c Original Problem :
3587.21/3597.00 c Problem name : HOME/instance-4489149-1751353076.opb
3587.21/3597.00 c Variables : 479 (479 binary, 0 integer, 0 continuous)
3587.21/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.21/3597.00 c Constraints : 479 initial, 479 maximal
3587.21/3597.00 c Objective : minimize, 479 non-zeros (abs.min = 1, abs.max = 1)
3587.21/3597.00 c Presolved Problem :
3587.21/3597.00 c Problem name : t_HOME/instance-4489149-1751353076.opb
3587.21/3597.00 c Variables : 479 (479 binary, 0 integer, 0 continuous)
3587.21/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.21/3597.00 c Constraints : 1024 initial, 1121 maximal
3587.21/3597.00 c Objective : minimize, 479 non-zeros (abs.min = 1, abs.max = 1)
3587.21/3597.00 c Nonzeros : 8366 constraint, 276 clique table
3587.21/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.21/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c gateextraction : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c implics : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c trivial : 0.00 0.00 15 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c dualfix : 0.00 0.00 15 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c knapsack : 0.01 0.00 25 0 0 0 0 0 59 293 456 1310
3587.21/3597.00 c setppc : 0.00 0.00 21 0 0 0 0 0 136 0 0 0
3587.21/3597.00 c linear : 0.02 0.00 8 0 0 0 0 0 2 0 17 92
3587.21/3597.00 c logicor : 0.00 0.00 22 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c root node : - - - 0 - - 0 - - - - -
3587.21/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.21/3597.00 c integral : 0 0 0 0 47329 0 0 19908 0 0 0 0 0 0 94658
3587.21/3597.00 c knapsack : 698 698 46 637393 0 0 0 19902 38525 0 11046 2263 128 0 0
3587.21/3597.00 c setppc : 138 138 46 636141 0 0 0 1221 20747 0 11738 0 0 0 0
3587.21/3597.00 c logicor : 188+ 286 46 166716 0 0 0 1221 1028 351 34 2 1 0 0
3587.21/3597.00 c fixedvar : 0 0 0 0 0 0 0 1224 0 0 0 0 0 0 0
3587.21/3597.00 c countsols : 0 0 0 0 0 0 0 1224 0 0 0 0 0 0 0
3587.21/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.21/3597.00 c integral : 126.14 0.00 0.00 0.00 126.13 0.00 0.00 0.01 0.00 0.00
3587.21/3597.00 c knapsack : 1.91 0.00 0.11 1.67 0.00 0.00 0.00 0.10 0.02 0.01
3587.21/3597.00 c setppc : 0.29 0.00 0.00 0.27 0.00 0.00 0.00 0.01 0.01 0.00
3587.21/3597.00 c logicor : 0.24 0.00 0.00 0.24 0.00 0.00 0.00 0.00 0.00 0.00
3587.21/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.21/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.21/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.21/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.21/3597.00 c dualfix : 3 0 0 0
3587.21/3597.00 c genvbounds : 0 0 0 0
3587.21/3597.00 c nlobbt : 0 0 0 0
3587.21/3597.00 c obbt : 0 0 0 0
3587.21/3597.00 c probing : 0 0 0 0
3587.21/3597.00 c pseudoobj : 111035 0 0 0
3587.21/3597.00 c redcost : 55 0 0 0
3587.21/3597.00 c rootredcost : 7 0 0 0
3587.21/3597.00 c symmetry : 0 0 0 0
3587.21/3597.00 c vbounds : 110523 0 0 0
3587.21/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.21/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.21/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.21/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.21/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.21/3597.00 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
3587.21/3597.00 c pseudoobj : 0.13 0.00 0.00 0.13 0.00 0.00
3587.21/3597.00 c redcost : 0.07 0.00 0.00 0.07 0.00 0.00
3587.21/3597.00 c rootredcost : 0.05 0.00 0.00 0.05 0.00 0.00
3587.21/3597.00 c symmetry : 0.06 0.00 0.01 0.05 0.00 0.00
3587.21/3597.00 c vbounds : 0.08 0.00 0.00 0.07 0.00 0.00
3587.21/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.21/3597.00 c propagation : 0.01 351 349 - 838 124.6 0 0.0 - - -
3587.21/3597.00 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.21/3597.00 c bound exceed. LP : 3.66 6514 1204 - 27226 97.1 0 0.0 0 0.0 51296
3587.21/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.21/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.21/3597.00 c applied globally : 0.01 - - 0 1049 65.4 - - 0 - -
3587.21/3597.00 c applied locally : - - - 0 859 89.2 - - 0 - -
3587.21/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.21/3597.00 c cut pool : 21.64 - 21135 77 - - 163526 899450 - - - - - (maximal pool size: 4862)
3587.21/3597.00 c aggregation : 93.84 0.00 3462 46 0 0 2295 83888 0 33723 33723 0 0
3587.21/3597.00 c > cmir : - - - - - - - 63755 0 24954 24954 0 -
3587.21/3597.00 c > flowcover : - - - - - - - 8692 0 3002 3002 0 -
3587.21/3597.00 c > knapsackcover : - - - - - - - 11441 0 5767 5767 0 -
3587.21/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c clique : 0.01 0.00 46 46 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c gomory : 40.78 0.00 3040 20 0 0 156086 164433 0 3229 3229 0 0
3587.21/3597.00 c > gomorymi : - - - - - - - 105139 0 3173 3173 0 -
3587.21/3597.00 c > strongcg : - - - - - - - 59294 0 56 56 0 -
3587.21/3597.00 c impliedbounds : 0.05 0.00 3462 46 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c multilinear : 0.00 0.00 3570 46 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c rapidlearning : 0.20 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c zerohalf : 15.68 0.00 3060 40 0 0 5145 651129 0 201527 201527 0 0
3587.21/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.21/3597.00 c hybrid : 1.81 0.00 18051 45 238608 0 663107 807 0 11664
3587.21/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3587.21/3597.00 c problem variables: 0.00 - 0 0
3587.21/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.21/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c relpscost : 126.10 0.00 47329 0 0 0 0 0 0 94658
3587.21/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.21/3597.00 c LP solutions : 0.00 - - 0 0
3587.21/3597.00 c relax solutions : 0.00 - - 0 0
3587.21/3597.00 c pseudo solutions : 0.00 - - 0 0
3587.21/3597.00 c strong branching : 0.18 - - 437 0
3587.21/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3587.21/3597.00 c adaptivediving : 15.97 0.00 40 2 0
3587.21/3597.00 c alns : 0.05 0.00 7 0 0
3587.21/3597.00 c bound : 0.00 0.00 0 0 0
3587.21/3597.00 c clique : 0.01 0.00 1 0 0
3587.21/3597.00 c coefdiving : 0.00 0.00 0 0 0
3587.21/3597.00 c completesol : 0.00 0.00 0 0 0
3587.21/3597.00 c conflictdiving : 346.46 0.00 894 2 0
3587.21/3597.00 c crossover : 0.28 0.00 2 2 1
3587.21/3597.00 c dins : 0.00 0.00 0 0 0
3587.21/3597.00 c distributiondivin: 179.49 0.00 265 4 0
3587.21/3597.00 c dks : 0.00 0.00 0 0 0
3587.21/3597.00 c dps : 0.00 0.00 0 0 0
3587.21/3597.00 c dualval : 0.00 0.00 0 0 0
3587.21/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3587.21/3597.00 c feaspump : 0.00 0.00 0 0 0
3587.21/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3587.21/3597.00 c fracdiving : 120.97 0.00 255 2 0
3587.21/3597.00 c gins : 0.05 0.00 7 5 0
3587.21/3597.00 c guideddiving : 96.03 0.00 253 0 0
3587.21/3597.00 c indicator : 0.00 0.00 0 0 0
3587.21/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3587.21/3597.00 c intdiving : 0.00 0.00 0 0 0
3587.21/3597.00 c intshifting : 0.00 0.00 0 0 0
3587.21/3597.00 c linesearchdiving : 82.67 0.00 317 0 0
3587.21/3597.00 c localbranching : 0.00 0.00 0 0 0
3587.21/3597.00 c locks : 0.00 0.00 1 1 1
3587.21/3597.00 c lpface : 0.01 0.00 0 0 0
3587.21/3597.00 c mpec : 0.00 0.00 0 0 0
3587.21/3597.00 c multistart : 0.00 0.00 0 0 0
3587.21/3597.00 c mutation : 0.00 0.00 0 0 0
3587.21/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3587.21/3597.00 c objpscostdiving : 120.19 0.00 101 466 6
3587.21/3597.00 c octane : 0.00 0.00 0 0 0
3587.21/3597.00 c ofins : 0.00 0.00 0 0 0
3587.21/3597.00 c oneopt : 0.01 0.00 5 3 3
3587.21/3597.00 c padm : 0.00 0.00 0 0 0
3587.21/3597.00 c proximity : 0.00 0.00 0 0 0
3587.21/3597.00 c pscostdiving : 165.32 0.00 701 90 3
3587.21/3597.00 c randrounding : 0.90 0.00 18709 0 0
3587.21/3597.00 c rens : 0.00 0.00 0 0 0
3587.21/3597.00 c reoptsols : 0.00 0.00 0 0 0
3587.21/3597.00 c repair : 0.00 0.00 0 0 0
3587.21/3597.00 c rins : 0.02 0.00 0 0 0
3587.21/3597.00 c rootsoldiving : 12.71 0.00 82 0 0
3587.21/3597.00 c rounding : 4.71 0.00 3516 0 0
3587.21/3597.00 c scheduler : 0.00 0.00 0 0 0
3587.21/3597.00 c shiftandpropagate: 0.00 0.00 0 0 0
3587.21/3597.00 c shifting : 3.01 0.00 1917 0 0
3587.21/3597.00 c simplerounding : 1.29 0.00 65380 34 0
3587.21/3597.00 c subnlp : 0.00 0.00 0 0 0
3587.21/3597.00 c trivial : 0.00 0.00 4 1 1
3587.21/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3587.21/3597.00 c trustregion : 0.00 0.00 0 0 0
3587.21/3597.00 c trysol : 0.01 0.00 0 0 0
3587.21/3597.00 c twoopt : 0.00 0.00 0 0 0
3587.21/3597.00 c undercover : 0.00 0.00 0 0 0
3587.21/3597.00 c vbounds : 0.00 0.00 0 0 0
3587.21/3597.00 c veclendiving : 92.30 0.00 360 1 0
3587.21/3597.00 c zeroobj : 0.00 0.00 0 0 0
3587.21/3597.00 c zirounding : 0.97 0.00 4851 97 0
3587.21/3597.00 c other solutions : - - - 0 -
3587.21/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.21/3597.00 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.21/3597.00 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.21/3597.00 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.21/3597.00 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.21/3597.00 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.21/3597.00 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.21/3597.00 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.21/3597.00 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.21/3597.00 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.21/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.21/3597.00 c primal LP : 2.19 9158 1 1.00 0.46 2.19 9157
3587.21/3597.00 c dual LP : 2035.03 65380 22692271 347.08 11150.84 0.00 0
3587.21/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3587.21/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.21/3597.00 c resolve instable : 0.00 0 0 0.00 -
3587.21/3597.00 c diving/probing LP: 1159.58 52347 14866608 284.00 12820.70
3587.21/3597.00 c strong branching : 119.38 2255 1345206 596.54 11268.47 - - 467
3587.21/3597.00 c (at root node) : - 35 23740 678.29 -
3587.21/3597.00 c conflict analysis: 2.66 5216 51296 9.83 19296.42
3587.21/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3587.21/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3587.21/3597.00 c B&B Tree :
3587.21/3597.00 c number of runs : 2
3587.21/3597.00 c nodes : 46280 (46280 internal, 0 leaves)
3587.21/3597.00 c feasible leaves : 0
3587.21/3597.00 c infeas. leaves : 0
3587.21/3597.00 c objective leaves : 0
3587.21/3597.00 c nodes (total) : 47329 (47329 internal, 0 leaves)
3587.21/3597.00 c nodes left : 46281
3587.21/3597.00 c max depth : 99
3587.21/3597.00 c max depth (total): 99
3587.21/3597.00 c backtracks : 4630 (10.0%)
3587.21/3597.00 c early backtracks : 0 (0.0%)
3587.21/3597.00 c nodes exc. ref. : 0 (0.0%)
3587.21/3597.00 c delayed cutoffs : 0
3587.21/3597.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3587.21/3597.00 c avg switch length: 4.24
3587.21/3597.00 c switching time : 3.76
3587.21/3597.00 c Root Node :
3587.21/3597.00 c First LP value : +1.56179690855966e+02
3587.21/3597.00 c First LP Iters : 1920 (5946.92 Iter/sec)
3587.21/3597.00 c First LP Time : 0.32
3587.21/3597.00 c Final Dual Bound : +1.68507144501350e+02
3587.21/3597.00 c Final Root Iters : 20926
3587.21/3597.00 c Root LP Estimate : +2.50609194964805e+02
3587.21/3597.00 c Solution :
3587.21/3597.00 c Solutions found : 1147 (15 improvements)
3587.21/3597.00 c First Solution : +4.79000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
3587.21/3597.00 c Gap First Sol. : infinite
3587.21/3597.00 c Gap Last Sol. : 15.35 %
3587.21/3597.00 c Primal Bound : +1.96000000000000e+02 (in run 2, after 1250 nodes, 301.23 seconds, depth 229, found by <pscostdiving>)
3587.21/3597.00 c Dual Bound : +1.71855964997370e+02
3587.21/3597.00 c Gap : 14.05 %
3587.21/3597.00 c Integrals : Total Avg%
3587.21/3597.00 c primal-dual : 45959.50 12.78
3587.21/3597.00 c primal-ref : - - (not evaluated)
3587.21/3597.00 c dual-ref : - - (not evaluated)
3587.42/3597.15 c Time complete (sec): 3587.466
OK 196
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (62981 MiB free)
memory of node 1: 64465 MiB (63675 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489149-1751353076/watcher-4489149-1751353076 -o /tmp/evaluation-result-4489149-1751353076/solver-4489149-1751353076 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751349476-60198 --watchdog 3760 pbsolver -f HOME/instance-4489149-1751353076.opb -t 3600 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=60595, runsolver pid=60590
Current StackSize limit: 8192 KiB
[startup+0.100101 s]*
/proc/loadavg: 4.27 4.15 4.07 4/247 60614
/proc/meminfo: memFree=129680744/131382112 swapFree=33010684/33010684
[pid=60595] ppid=60590 vsize=28672 memory=19584 CPUtime=0.1 cores=4,6
/proc/60595/stat : 60595 (pbsolver) R 60590 60595 60187 0 -1 4194304 2482 0 0 0 10 0 0 0 20 0 1 0 50986751 29360128 4896 18446744073709551615 4198400 14743177 140727986897216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24535040 140727986899338 140727986899434 140727986899434 140727986905036 0
/proc/60595/statm: 7168 4896 2656 2575 0 4075 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28672 KiB
Current children cumulated memory: 19584 KiB
[startup+0.214044 s]*
/proc/loadavg: 4.27 4.15 4.07 5/251 60618
/proc/meminfo: memFree=129665124/131382112 swapFree=33010684/33010684
[pid=60595] ppid=60590 vsize=29108 memory=19840 CPUtime=0.21 cores=4,6
/proc/60595/stat : 60595 (pbsolver) R 60590 60595 60187 0 -1 4194304 2565 0 0 0 21 0 0 0 20 0 1 0 50986751 29806592 4960 18446744073709551615 4198400 14743177 140727986897216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24535040 140727986899338 140727986899434 140727986899434 140727986905036 0
/proc/60595/statm: 7277 4960 2656 2575 0 4184 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29108 KiB
Current children cumulated memory: 19840 KiB
[startup+0.313114 s]*
/proc/loadavg: 4.27 4.15 4.07 6/251 60618
/proc/meminfo: memFree=129665796/131382112 swapFree=33010684/33010684
[pid=60595] ppid=60590 vsize=29108 memory=19840 CPUtime=0.31 cores=4,6
/proc/60595/stat : 60595 (pbsolver) R 60590 60595 60187 0 -1 4194304 2566 0 0 0 31 0 0 0 20 0 1 0 50986751 29806592 4960 18446744073709551615 4198400 14743177 140727986897216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24535040 140727986899338 140727986899434 140727986899434 140727986905036 0
/proc/60595/statm: 7277 4960 2656 2575 0 4184 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29108 KiB
Current children cumulated memory: 19840 KiB
[startup+0.700287 s]
/proc/loadavg: 4.27 4.15 4.07 6/251 60618
/proc/meminfo: memFree=129657944/131382112 swapFree=33010684/33010684
[pid=60595] ppid=60590 vsize=47912 memory=38656 CPUtime=0.69 cores=4,6
/proc/60595/stat : 60595 (pbsolver) R 60590 60595 60187 0 -1 4194304 7233 0 0 0 68 1 0 0 20 0 1 0 50986751 49061888 9664 18446744073709551615 4198400 14743177 140727986897216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24535040 140727986899338 140727986899434 140727986899434 140727986905036 0
/proc/60595/statm: 11978 9664 2688 2575 0 8885 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 47912 KiB
Current children cumulated memory: 38656 KiB
[startup+1.5003 s]
/proc/loadavg: 4.27 4.15 4.07 5/251 60618
/proc/meminfo: memFree=129631988/131382112 swapFree=33010684/33010684
[pid=60595] ppid=60590 vsize=97856 memory=88060 CPUtime=1.48 cores=4,6
/proc/60595/stat : 60595 (pbsolver) R 60590 60595 60187 0 -1 4194304 20027 0 0 0 144 4 0 0 20 0 1 0 50986751 100204544 22015 18446744073709551615 4198400 14743177 140727986897216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24535040 140727986899338 140727986899434 140727986899434 140727986905036 0
/proc/60595/statm: 24464 22015 2688 2575 0 21371 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 97856 KiB
Current children cumulated memory: 88060 KiB
[startup+3.1134 s]
/proc/loadavg: 4.27 4.15 4.07 5/251 60618
/proc/meminfo: memFree=129142380/131382112 swapFree=33010684/33010684
[pid=60595] ppid=60590 vsize=166380 memory=153212 CPUtime=3.09 cores=4,6
/proc/60595/stat : 60595 (pbsolver) R 60590 60595 60187 0 -1 4194304 36334 0 0 0 301 8 0 0 20 0 1 0 50986751 170373120 38303 18446744073709551615 4198400 14743177 140727986897216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24535040 140727986899338 140727986899434 140727986899434 140727986905036 0
/proc/60595/statm: 41595 38303 2688 2575 0 38502 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 166380 KiB
Current children cumulated memory: 153212 KiB
[startup+6.30026 s]
/proc/loadavg: 4.25 4.15 4.07 5/251 60618
/proc/meminfo: memFree=129127308/131382112 swapFree=33010684/33010684
[pid=60595] ppid=60590 vsize=166380 memory=153980 CPUtime=6.27 cores=4,6
/proc/60595/stat : 60595 (pbsolver) R 60590 60595 60187 0 -1 4194304 36521 0 0 0 619 8 0 0 20 0 1 0 50986751 170373120 38495 18446744073709551615 4198400 14743177 140727986897216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24535040 140727986899338 140727986899434 140727986899434 140727986905036 0
/proc/60595/statm: 41595 38495 2688 2575 0 38502 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 166380 KiB
Current children cumulated memory: 153980 KiB
[startup+12.7003 s]
/proc/loadavg: 4.23 4.14 4.07 5/251 60618
/proc/meminfo: memFree=129127308/131382112 swapFree=33010684/33010684
[pid=60595] ppid=60590 vsize=166380 memory=154236 CPUtime=12.66 cores=4,6
/proc/60595/stat : 60595 (pbsolver) R 60590 60595 60187 0 -1 4194304 36564 0 0 0 1258 8 0 0 20 0 1 0 50986751 170373120 38559 18446744073709551615 4198400 14743177 140727986897216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24535040 140727986899338 140727986899434 140727986899434 140727986905036 0
/proc/60595/statm: 41595 38559 2688 2575 0 38502 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 166380 KiB
Current children cumulated memory: 154236 KiB
[startup+25.5003 s]
/proc/loadavg: 4.24 4.15 4.07 5/251 60618
/proc/meminfo: memFree=128841604/131382112 swapFree=33010684/33010684
[pid=60595] ppid=60590 vsize=232740 memory=220924 CPUtime=25.41 cores=4,6
/proc/60595/stat : 60595 (pbsolver) R 60590 60595 60187 0 -1 4194304 52752 0 0 0 2531 10 0 0 20 0 1 0 50986751 238325760 55231 18446744073709551615 4198400 14743177 140727986897216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24535040 140727986899338 140727986899434 140727986899434 140727986905036 0
/proc/60595/statm: 58185 55231 2688 2575 0 55092 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 232740 KiB
Current children cumulated memory: 220924 KiB
[startup+51.1129 s]
/proc/loadavg: 4.24 4.16 4.08 5/251 60619
/proc/meminfo: memFree=128784824/131382112 swapFree=33010684/33010684
[pid=60595] ppid=60590 vsize=229116 memory=218164 CPUtime=50.95 cores=4,6
/proc/60595/stat : 60595 (pbsolver) R 60590 60595 60187 0 -1 4194304 52850 0 0 0 5085 10 0 0 20 0 1 0 50986751 234614784 54541 18446744073709551615 4198400 14743177 140727986897216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24535040 140727986899338 140727986899434 140727986899434 140727986905036 0
/proc/60595/statm: 57279 54541 2688 2575 0 54186 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 229116 KiB
Current children cumulated memory: 218164 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.15 4.08 5/251 60620
/proc/meminfo: memFree=128749504/131382112 swapFree=33010684/33010684
[pid=60595] ppid=60590 vsize=246632 memory=238772 CPUtime=102 cores=4,6
/proc/60595/stat : 60595 (pbsolver) R 60590 60595 60187 0 -1 4194304 57339 0 0 0 10189 11 0 0 20 0 1 0 50986751 252551168 59693 18446744073709551615 4198400 14743177 140727986897216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24535040 140727986899338 140727986899434 140727986899434 140727986905036 0
/proc/60595/statm: 61658 59693 2688 2575 0 58565 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 246632 KiB
Current children cumulated memory: 238772 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.08 5/252 60625
/proc/meminfo: memFree=128610548/131382112 swapFree=33010684/33010684
[pid=60595] ppid=60590 vsize=269276 memory=261416 CPUtime=161.85 cores=4,6
/proc/60595/stat : 60595 (pbsolver) R 60590 60595 60187 0 -1 4194304 63224 0 0 0 16173 12 0 0 20 0 1 0 50986751 275738624 65354 18446744073709551615 4198400 14743177 140727986897216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24535040 140727986899338 140727986899434 140727986899434 140727986905036 0
/proc/60595/statm: 67319 65354 2688 2575 0 64226 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 269276 KiB
Current children cumulated memory: 261416 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.12 4.08 5/252 60638
/proc/meminfo: memFree=128485452/131382112 swapFree=33010684/33010684
[pid=60595] ppid=60590 vsize=317232 memory=308008 CPUtime=221.7 cores=4,6
/proc/60595/stat : 60595 (pbsolver) R 60590 60595 60187 0 -1 4194304 74872 0 0 0 22156 14 0 0 20 0 1 0 50986751 324845568 77002 18446744073709551615 4198400 14743177 140727986897216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24535040 140727986899338 140727986899434 140727986899434 140727986905036 0
/proc/60595/statm: 79308 77002 2688 2575 0 76215 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 317232 KiB
Current children cumulated memory: 308008 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.13 4.08 5/252 60640
/proc/meminfo: memFree=128459384/131382112 swapFree=33010684/33010684
[pid=60595] ppid=60590 vsize=317232 memory=308264 CPUtime=281.55 cores=4,6
/proc/60595/stat : 60595 (pbsolver) R 60590 60595 60187 0 -1 4194304 75030 0 0 0 28141 14 0 0 20 0 1 0 50986751 324845568 77066 18446744073709551615 4198400 14743177 140727986897216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24535040 140727986899338 140727986899434 140727986899434 140727986905036 0
/proc/60595/statm: 79308 77066 2688 2575 0 76215 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 317232 KiB
Current children cumulated memory: 308264 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.12 4.08 5/250 60646
/proc/meminfo: memFree=128442624/131382112 swapFree=33010684/33010684
[pid=60595] ppid=60590 vsize=317232 memory=308392 CPUtime=341.4 cores=4,6
/proc/60595/stat : 60595 (pbsolver) R 60590 60595 60187 0 -1 4194304 75051 0 0 0 34126 14 0 0 20 0 1 0 50986751 324845568 77098 18446744073709551615 4198400 14743177 140727986897216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24535040 140727986899338 140727986899434 140727986899434 140727986905036 0
/proc/60595/statm: 79308 77098 2688 2575 0 76215 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 317232 KiB
Current children cumulated memory: 308392 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/250 60648
/proc/meminfo: memFree=128445824/131382112 swapFree=33010684/33010684
[pid=60595] ppid=60590 vsize=328864 memory=318248 CPUtime=401.24 cores=4,6
/proc/60595/stat : 60595 (pbsolver) R 60590 60595 60187 0 -1 4194304 77619 0 0 0 40110 14 0 0 20 0 1 0 50986751 336756736 79562 18446744073709551615 4198400 14743177 140727986897216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24535040 140727986899338 140727986899434 140727986899434 140727986905036 0
/proc/60595/statm: 82216 79562 2688 2575 0 79123 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 328864 KiB
Current children cumulated memory: 318248 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/250 60651
/proc/meminfo: memFree=128444260/131382112 swapFree=33010684/33010684
[pid=60595] ppid=60590 vsize=329848 memory=319272 CPUtime=461.09 cores=4,6
/proc/60595/stat : 60595 (pbsolver) R 60590 60595 60187 0 -1 4194304 77876 0 0 0 46095 14 0 0 20 0 1 0 50986751 337764352 79818 18446744073709551615 4198400 14743177 140727986897216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24535040 140727986899338 140727986899434 140727986899434 140727986905036 0
/proc/60595/statm: 82462 79818 2688 2575 0 79369 0
################
# More data... #
################
/proc/loadavg: 4.15 4.32 4.25 5/249 60781
/proc/meminfo: memFree=128295776/131382112 swapFree=33010684/33010684
[pid=60595] ppid=60590 vsize=373596 memory=365244 CPUtime=3213.69 cores=4,6
/proc/60595/stat : 60595 (pbsolver) R 60590 60595 60187 0 -1 4194304 91050 0 0 0 321352 17 0 0 20 0 1 0 50986751 382562304 91311 18446744073709551615 4198400 14743177 140727986897216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24535040 140727986899338 140727986899434 140727986899434 140727986905036 0
/proc/60595/statm: 93399 91311 2688 2575 0 90306 0
Current children cumulated CPU time: 3213.69 s
Current children cumulated vsize: 373596 KiB
Current children cumulated memory: 365244 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.29 4.25 5/249 60783
/proc/meminfo: memFree=128289224/131382112 swapFree=33010684/33010684
[pid=60595] ppid=60590 vsize=374776 memory=366652 CPUtime=3273.54 cores=4,6
/proc/60595/stat : 60595 (pbsolver) R 60590 60595 60187 0 -1 4194304 91408 0 0 0 327337 17 0 0 20 0 1 0 50986751 383770624 91663 18446744073709551615 4198400 14743177 140727986897216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24535040 140727986899338 140727986899434 140727986899434 140727986905036 0
/proc/60595/statm: 93694 91663 2688 2575 0 90601 0
Current children cumulated CPU time: 3273.54 s
Current children cumulated vsize: 374776 KiB
Current children cumulated memory: 366652 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.26 4.24 5/250 60790
/proc/meminfo: memFree=128290752/131382112 swapFree=33010684/33010684
[pid=60595] ppid=60590 vsize=374776 memory=367036 CPUtime=3333.39 cores=4,6
/proc/60595/stat : 60595 (pbsolver) R 60590 60595 60187 0 -1 4194304 91525 0 0 0 333322 17 0 0 20 0 1 0 50986751 383770624 91759 18446744073709551615 4198400 14743177 140727986897216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24535040 140727986899338 140727986899434 140727986899434 140727986905036 0
/proc/60595/statm: 93694 91759 2688 2575 0 90601 0
Current children cumulated CPU time: 3333.39 s
Current children cumulated vsize: 374776 KiB
Current children cumulated memory: 367036 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.23 4.23 5/250 60792
/proc/meminfo: memFree=128270912/131382112 swapFree=33010684/33010684
[pid=60595] ppid=60590 vsize=375008 memory=367292 CPUtime=3393.22 cores=4,6
/proc/60595/stat : 60595 (pbsolver) R 60590 60595 60187 0 -1 4194304 91585 0 0 0 339305 17 0 0 20 0 1 0 50986751 384008192 91823 18446744073709551615 4198400 14743177 140727986897216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24535040 140727986899338 140727986899434 140727986899434 140727986905036 0
/proc/60595/statm: 93752 91823 2688 2575 0 90659 0
Current children cumulated CPU time: 3393.22 s
Current children cumulated vsize: 375008 KiB
Current children cumulated memory: 367292 KiB
[startup+3462.3 s]
/proc/loadavg: 4.22 4.24 4.23 5/251 60795
/proc/meminfo: memFree=128267384/131382112 swapFree=33010684/33010684
[pid=60595] ppid=60590 vsize=375344 memory=367420 CPUtime=3453.04 cores=4,6
/proc/60595/stat : 60595 (pbsolver) R 60590 60595 60187 0 -1 4194304 91609 0 0 0 345287 17 0 0 20 0 1 0 50986751 384352256 91855 18446744073709551615 4198400 14743177 140727986897216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24535040 140727986899338 140727986899434 140727986899434 140727986905036 0
/proc/60595/statm: 93836 91855 2688 2575 0 90743 0
Current children cumulated CPU time: 3453.04 s
Current children cumulated vsize: 375344 KiB
Current children cumulated memory: 367420 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.21 4.22 5/251 60797
/proc/meminfo: memFree=128261684/131382112 swapFree=33010684/33010684
[pid=60595] ppid=60590 vsize=375344 memory=367420 CPUtime=3512.84 cores=4,6
/proc/60595/stat : 60595 (pbsolver) R 60590 60595 60187 0 -1 4194304 91610 0 0 0 351267 17 0 0 20 0 1 0 50986751 384352256 91855 18446744073709551615 4198400 14743177 140727986897216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24535040 140727986899338 140727986899434 140727986899434 140727986905036 0
/proc/60595/statm: 93836 91855 2688 2575 0 90743 0
Current children cumulated CPU time: 3512.84 s
Current children cumulated vsize: 375344 KiB
Current children cumulated memory: 367420 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.20 4.22 5/251 60799
/proc/meminfo: memFree=128256644/131382112 swapFree=33010684/33010684
[pid=60595] ppid=60590 vsize=376116 memory=368444 CPUtime=3572.66 cores=4,6
/proc/60595/stat : 60595 (pbsolver) R 60590 60595 60187 0 -1 4194304 92021 0 0 0 357249 17 0 0 20 0 1 0 50986751 385142784 92111 18446744073709551615 4198400 14743177 140727986897216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24535040 140727986899338 140727986899434 140727986899434 140727986905036 0
/proc/60595/statm: 94029 92111 2688 2575 0 90936 0
Current children cumulated CPU time: 3572.66 s
Current children cumulated vsize: 376116 KiB
Current children cumulated memory: 368444 KiB
[startup+3597.16 s]
# the end of solver process 60595 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.29 s, system=0.176357 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.17 4.20 4.22 5/251 60799
/proc/meminfo: memFree=128256896/131382112 swapFree=33010684/33010684
[pid=60595] ppid=60590 vsize=376940 memory=369212 CPUtime=3574.36 cores=4,6
/proc/60595/stat : 60595 (pbsolver) R 60590 60595 60187 0 -1 4194304 92204 0 0 0 357419 17 0 0 20 0 1 0 50986751 385986560 92303 18446744073709551615 4198400 14743177 140727986897216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24535040 140727986899338 140727986899434 140727986899434 140727986905036 0
/proc/60595/statm: 94235 92303 2688 2575 0 91142 0
Current children cumulated CPU time: 3574.36 s
Current children cumulated vsize: 376940 KiB
Current children cumulated memory: 369212 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.20 4.22 5/251 60799
/proc/meminfo: memFree=128257148/131382112 swapFree=33010684/33010684
[pid=60595] ppid=60590 vsize=376940 memory=369212 CPUtime=3580.73 cores=4,6
/proc/60595/stat : 60595 (pbsolver) R 60590 60595 60187 0 -1 4194304 92217 0 0 0 358056 17 0 0 20 0 1 0 50986751 385986560 92303 18446744073709551615 4198400 14743177 140727986897216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24535040 140727986899338 140727986899434 140727986899434 140727986905036 0
/proc/60595/statm: 94235 92303 2688 2575 0 91142 0
Current children cumulated CPU time: 3580.73 s
Current children cumulated vsize: 376940 KiB
Current children cumulated memory: 369212 KiB
[startup+3593.6 s]
/proc/loadavg: 4.14 4.20 4.21 5/251 60799
/proc/meminfo: memFree=128257400/131382112 swapFree=33010684/33010684
[pid=60595] ppid=60590 vsize=376940 memory=369212 CPUtime=3583.92 cores=4,6
/proc/60595/stat : 60595 (pbsolver) R 60590 60595 60187 0 -1 4194304 92217 0 0 0 358375 17 0 0 20 0 1 0 50986751 385986560 92303 18446744073709551615 4198400 14743177 140727986897216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24535040 140727986899338 140727986899434 140727986899434 140727986905036 0
/proc/60595/statm: 94235 92303 2688 2575 0 91142 0
Current children cumulated CPU time: 3583.92 s
Current children cumulated vsize: 376940 KiB
Current children cumulated memory: 369212 KiB
[startup+3595.2 s]
/proc/loadavg: 4.14 4.20 4.21 5/251 60799
/proc/meminfo: memFree=128257400/131382112 swapFree=33010684/33010684
[pid=60595] ppid=60590 vsize=376940 memory=369212 CPUtime=3585.51 cores=4,6
/proc/60595/stat : 60595 (pbsolver) R 60590 60595 60187 0 -1 4194304 92217 0 0 0 358534 17 0 0 20 0 1 0 50986751 385986560 92303 18446744073709551615 4198400 14743177 140727986897216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24535040 140727986899338 140727986899434 140727986899434 140727986905036 0
/proc/60595/statm: 94235 92303 2688 2575 0 91142 0
Current children cumulated CPU time: 3585.51 s
Current children cumulated vsize: 376940 KiB
Current children cumulated memory: 369212 KiB
[startup+3596 s]*
/proc/loadavg: 4.13 4.19 4.21 5/251 60799
/proc/meminfo: memFree=128257400/131382112 swapFree=33010684/33010684
[pid=60595] ppid=60590 vsize=376940 memory=369212 CPUtime=3586.32 cores=4,6
/proc/60595/stat : 60595 (pbsolver) R 60590 60595 60187 0 -1 4194304 92217 0 0 0 358615 17 0 0 20 0 1 0 50986751 385986560 92303 18446744073709551615 4198400 14743177 140727986897216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24535040 140727986899338 140727986899434 140727986899434 140727986905036 0
/proc/60595/statm: 94235 92303 2688 2575 0 91142 0
Current children cumulated CPU time: 3586.32 s
Current children cumulated vsize: 376940 KiB
Current children cumulated memory: 369212 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.19 4.21 5/251 60799
/proc/meminfo: memFree=128257400/131382112 swapFree=33010684/33010684
[pid=60595] ppid=60590 vsize=376940 memory=369212 CPUtime=3587.11 cores=4,6
/proc/60595/stat : 60595 (pbsolver) R 60590 60595 60187 0 -1 4194304 92217 0 0 0 358694 17 0 0 20 0 1 0 50986751 385986560 92303 18446744073709551615 4198400 14743177 140727986897216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24535040 140727986899338 140727986899434 140727986899434 140727986905036 0
/proc/60595/statm: 94235 92303 2688 2575 0 91142 0
Current children cumulated CPU time: 3587.11 s
Current children cumulated vsize: 376940 KiB
Current children cumulated memory: 369212 KiB
[startup+3597 s]*
/proc/loadavg: 4.13 4.19 4.21 5/251 60799
/proc/meminfo: memFree=128257400/131382112 swapFree=33010684/33010684
[pid=60595] ppid=60590 vsize=376940 memory=369212 CPUtime=3587.32 cores=4,6
/proc/60595/stat : 60595 (pbsolver) R 60590 60595 60187 0 -1 4194304 92217 0 0 0 358715 17 0 0 20 0 1 0 50986751 385986560 92303 18446744073709551615 4198400 14743177 140727986897216 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24535040 140727986899338 140727986899434 140727986899434 140727986905036 0
/proc/60595/statm: 94235 92303 2688 2575 0 91142 0
Current children cumulated CPU time: 3587.32 s
Current children cumulated vsize: 376940 KiB
Current children cumulated memory: 369212 KiB
[startup+3597.11 s]
/proc/loadavg: 4.13 4.19 4.21 5/251 60799
/proc/meminfo: memFree=128257400/131382112 swapFree=33010684/33010684
[pid=60595] ppid=60590 vsize=370896 memory=363356 CPUtime=3587.42 cores=4,6
/proc/60595/stat : 60595 (pbsolver) R 60590 60595 60187 0 -1 4194304 92217 0 0 0 358725 17 0 0 20 0 1 0 50986751 379797504 90839 18446744073709551615 4198400 14743177 140727986897216 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24535040 140727986899338 140727986899434 140727986899434 140727986905036 0
/proc/60595/statm: 92724 90839 2688 2575 0 89631 0
Current children cumulated CPU time: 3587.42 s
Current children cumulated vsize: 370896 KiB
Current children cumulated memory: 363356 KiB
Child status: 0
Real time (s): 3597.16
CPU time (s): 3587.47
CPU user time (s): 3587.29
CPU system time (s): 0.176357
CPU usage (%): 99.7307
Max. virtual memory (cumulated for all children) (KiB): 376940
Max. memory (cumulated for all children) (KiB): 369212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.29
system time used= 0.176357
maximum resident set size= 369212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92231
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= 37
involuntary context switches= 2937
# summary of solver processes directly reported to runsolver:
# pid: 60595
# total CPU time (s): 3587.47
# total CPU user time (s): 3587.29
# total CPU system time (s): 0.176357
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3821 second user time and 32.4966 second system time
The end
Begin job on nodeC007 at 2025-07-01 08:57:56 IDJOB=4489149 IDBENCH=147541 IDSOLVER=3366 FILE ID=nodeC007/4489149-1751353076 RUNJOBID= nodeC007-1751349476-60198 SLURM_JOB_ID= 9598128 Free space on /tmp= 433016 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489149-1751353076/watcher-4489149-1751353076 -o /tmp/evaluation-result-4489149-1751353076/solver-4489149-1751353076 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751349476-60198 --watchdog 3760 pbsolver -f HOME/instance-4489149-1751353076.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1da12ebdd4ab5e725928f3bf845b8b1e RANDOM SEED=1474502887 nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.198 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.203 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.401 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.352 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.334 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.103 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.520 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.188 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 129705308 kB MemAvailable: 129927448 kB Buffers: 3280 kB Cached: 1028716 kB SwapCached: 0 kB Active: 318020 kB Inactive: 782196 kB Active(anon): 86184 kB Inactive(anon): 0 kB Active(file): 231836 kB Inactive(file): 782196 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 37580 kB Writeback: 52 kB AnonPages: 70892 kB Mapped: 102936 kB Shmem: 17960 kB KReclaimable: 95468 kB Slab: 179304 kB SReclaimable: 95468 kB SUnreclaim: 83836 kB KernelStack: 3888 kB PageTables: 2896 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 333260 kB VmallocTotal: 34359738367 kB VmallocUsed: 149240 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 201544 kB DirectMap2M: 10186752 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 432956 MiB End job on nodeC007 at 2025-07-01 09:57:54