Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | SAT | 184 | 3587.95 | 3597.19 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb |
| MD5SUM | 62fadc113b966a642e431cfbd80ddcdc |
| 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 | 176 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| 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 | 465 |
| Total number of constraints | 465 |
| 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 | 465 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 465 |
| 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 | 465 |
| 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 | 465 |
| 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.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4432629-1721078616.opb>
0.00/0.01 c original problem has 465 variables (465 bin, 0 int, 0 impl, 0 cont) and 465 constraints
0.00/0.01 c problem read in 0.01
0.00/0.02 o 465
0.00/0.02 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 4.650000e+02
0.00/0.02 c presolving:
0.00/0.02 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 13 chg sides, 109 chg coeffs, 0 upgd conss, 0 impls, 110 clqs
0.00/0.02 c (0.0s) running MILP presolver
0.00/0.03 c (0.0s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.00/0.03 c (round 2, exhaustive) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 14 chg sides, 109 chg coeffs, 0 upgd conss, 0 impls, 110 clqs
0.00/0.04 c (round 3, exhaustive) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 14 chg sides, 109 chg coeffs, 464 upgd conss, 0 impls, 110 clqs
0.00/0.04 c (round 4, fast) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 166 chg sides, 494 chg coeffs, 464 upgd conss, 0 impls, 110 clqs
0.00/0.05 c (round 5, medium) 0 del vars, 121 del conss, 220 add conss, 0 chg bounds, 410 chg sides, 932 chg coeffs, 464 upgd conss, 0 impls, 110 clqs
0.00/0.05 c (round 6, fast) 0 del vars, 159 del conss, 237 add conss, 0 chg bounds, 484 chg sides, 1324 chg coeffs, 464 upgd conss, 0 impls, 110 clqs
0.00/0.05 c (round 7, exhaustive) 0 del vars, 159 del conss, 237 add conss, 0 chg bounds, 484 chg sides, 1327 chg coeffs, 464 upgd conss, 0 impls, 110 clqs
0.00/0.06 c (0.1s) probing: 51/465 (11.0%) - 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 (8 rounds: 8 fast, 5 medium, 4 exhaustive):
0.00/0.07 c 0 deleted vars, 159 deleted constraints, 237 added constraints, 0 tightened bounds, 0 added holes, 484 changed sides, 1327 changed coefficients
0.00/0.07 c 0 implications, 110 cliques
0.00/0.07 c presolved problem has 465 variables (465 bin, 0 int, 0 impl, 0 cont) and 543 constraints
0.00/0.07 c 415 constraints of type <knapsack>
0.00/0.07 c 110 constraints of type <setppc>
0.00/0.07 c 18 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.05
0.00/0.07 c - non default parameters ----------------------------------------------------------------------
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.994089
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 -----------------------------------------------------------------------------------------------
0.00/0.07 c start solving
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 215
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 | 465 | 543 | 543 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.150000e+02 | Inf | unknown
0.00/0.08 o 204
0.00/0.08 c i 0.1s| 1 | 0 | 0 | - | oneopt| 0 | 465 | 543 | 543 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.040000e+02 | Inf | unknown
1.08/1.16 c 1.2s| 1 | 0 | 10018 | - | 7297k | 0 | 465 | 543 | 543 | 0 | 0 | 0 | 0 | 1.470413e+02 | 2.040000e+02 | 38.74%| unknown
1.27/1.35 c 1.3s| 1 | 0 | 10804 | - | 27M | 0 | 465 | 543 | 605 | 62 | 1 | 0 | 0 | 1.512845e+02 | 2.040000e+02 | 34.85%| unknown
1.47/1.51 c 1.5s| 1 | 0 | 11411 | - | 38M | 0 | 465 | 543 | 662 | 119 | 2 | 0 | 0 | 1.540116e+02 | 2.040000e+02 | 32.46%| unknown
1.57/1.66 c 1.7s| 1 | 0 | 11985 | - | 50M | 0 | 465 | 543 | 721 | 178 | 3 | 0 | 0 | 1.554622e+02 | 2.040000e+02 | 31.22%| unknown
1.76/1.81 c 1.8s| 1 | 0 | 12571 | - | 60M | 0 | 465 | 543 | 773 | 230 | 4 | 0 | 0 | 1.564670e+02 | 2.040000e+02 | 30.38%| unknown
1.87/1.94 c 1.9s| 1 | 0 | 13111 | - | 69M | 0 | 465 | 543 | 821 | 278 | 5 | 0 | 0 | 1.572360e+02 | 2.040000e+02 | 29.74%| unknown
1.98/2.06 c 2.1s| 1 | 0 | 13551 | - | 81M | 0 | 465 | 543 | 863 | 320 | 6 | 0 | 0 | 1.578313e+02 | 2.040000e+02 | 29.25%| unknown
2.08/2.17 c 2.2s| 1 | 0 | 13918 | - | 96M | 0 | 465 | 543 | 905 | 362 | 7 | 0 | 0 | 1.581964e+02 | 2.040000e+02 | 28.95%| unknown
2.16/2.28 c 2.3s| 1 | 0 | 14276 | - | 100M | 0 | 465 | 543 | 934 | 391 | 8 | 0 | 0 | 1.585265e+02 | 2.040000e+02 | 28.69%| unknown
2.26/2.38 c 2.4s| 1 | 0 | 14468 | - | 116M | 0 | 465 | 543 | 960 | 417 | 9 | 0 | 0 | 1.586696e+02 | 2.040000e+02 | 28.57%| unknown
2.36/2.49 c 2.5s| 1 | 0 | 14702 | - | 133M | 0 | 465 | 543 | 988 | 445 | 10 | 0 | 0 | 1.587900e+02 | 2.040000e+02 | 28.47%| unknown
2.47/2.55 c 2.5s| 1 | 0 | 14932 | - | 133M | 0 | 465 | 543 |1008 | 467 | 11 | 0 | 0 | 1.589465e+02 | 2.040000e+02 | 28.35%| unknown
2.57/2.61 c 2.6s| 1 | 0 | 15123 | - | 133M | 0 | 465 | 543 |1029 | 488 | 12 | 0 | 0 | 1.590605e+02 | 2.040000e+02 | 28.25%| unknown
2.57/2.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.57/2.66 c 2.7s| 1 | 0 | 15260 | - | 133M | 0 | 465 | 543 |1053 | 512 | 13 | 0 | 0 | 1.591091e+02 | 2.040000e+02 | 28.21%| unknown
2.66/2.72 c 2.7s| 1 | 0 | 15448 | - | 133M | 0 | 465 | 543 |1073 | 532 | 14 | 0 | 0 | 1.591585e+02 | 2.040000e+02 | 28.17%| unknown
2.66/2.76 c 2.8s| 1 | 0 | 15526 | - | 133M | 0 | 465 | 543 |1086 | 545 | 15 | 0 | 0 | 1.591656e+02 | 2.040000e+02 | 28.17%| unknown
2.76/2.81 c 2.8s| 1 | 0 | 15587 | - | 133M | 0 | 465 | 543 |1097 | 556 | 16 | 0 | 0 | 1.591714e+02 | 2.040000e+02 | 28.16%| unknown
2.76/2.85 c 2.8s| 1 | 0 | 15652 | - | 134M | 0 | 465 | 543 |1035 | 558 | 17 | 0 | 0 | 1.591863e+02 | 2.040000e+02 | 28.15%| unknown
2.76/2.89 c 2.9s| 1 | 0 | 15743 | - | 134M | 0 | 465 | 543 |1039 | 562 | 18 | 0 | 0 | 1.591977e+02 | 2.040000e+02 | 28.14%| unknown
2.86/2.93 c 2.9s| 1 | 0 | 15816 | - | 134M | 0 | 465 | 543 |1045 | 568 | 19 | 0 | 0 | 1.592047e+02 | 2.040000e+02 | 28.14%| unknown
2.86/2.98 c 3.0s| 1 | 0 | 15824 | - | 134M | 0 | 465 | 543 |1046 | 569 | 20 | 0 | 0 | 1.592048e+02 | 2.040000e+02 | 28.14%| unknown
2.98/3.01 c 3.0s| 1 | 0 | 15829 | - | 134M | 0 | 465 | 543 |1047 | 570 | 21 | 0 | 0 | 1.592048e+02 | 2.040000e+02 | 28.14%| unknown
5.76/5.87 c 5.9s| 1 | 2 | 15832 | - | 134M | 0 | 465 | 543 |1047 | 570 | 22 | 0 | 53 | 1.596255e+02 | 2.040000e+02 | 27.80%| unknown
15.83/15.99 o 200
15.83/15.99 c d16.0s| 23 | 24 | 24513 | 394.7 |pscostdi| 22 | 465 | 543 |1030 | 0 | 1 | 0 | 355 | 1.596255e+02 | 2.000000e+02 | 25.29%| unknown
15.83/15.99 o 192
15.83/15.99 c d16.0s| 23 | 24 | 24521 | 395.1 |pscostdi| 22 | 465 | 543 |1030 | 0 | 1 | 0 | 355 | 1.596255e+02 | 1.920000e+02 | 20.28%| unknown
15.83/15.99 o 191
15.83/15.99 c d16.0s| 23 | 24 | 24529 | 395.5 |pscostdi| 22 | 465 | 543 |1030 | 0 | 1 | 0 | 355 | 1.596255e+02 | 1.910000e+02 | 19.66%| unknown
15.83/15.99 o 189
15.83/15.99 c d16.0s| 23 | 24 | 24540 | 396.0 |pscostdi| 22 | 465 | 543 |1030 | 0 | 1 | 0 | 355 | 1.596255e+02 | 1.890000e+02 | 18.40%| unknown
20.03/20.18 c 20.2s| 100 | 101 | 53269 | 378.2 | 196M | 32 | 465 | 544 | 989 |1573 | 1 | 4 | 382 | 1.596541e+02 | 1.890000e+02 | 18.38%| unknown
26.30/26.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
26.30/26.40 c 26.4s| 200 | 201 |106230 | 454.3 | 192M | 33 | 465 | 544 | 985 |2478 | 1 | 7 | 430 | 1.598364e+02 | 1.890000e+02 | 18.25%| unknown
30.39/30.57 o 188
30.39/30.57 c L30.6s| 265 | 266 |135247 | 452.3 | rins| 35 | 465 | 544 |1030 |2738 | 1 | 9 | 446 | 1.598364e+02 | 1.880000e+02 | 17.62%| unknown
32.39/32.57 c 32.6s| 300 | 301 |157764 | 474.7 | 192M | 35 | 465 | 550 |1064 |2794 | 1 | 17 | 460 | 1.598364e+02 | 1.880000e+02 | 17.62%| unknown
39.27/39.44 c 39.4s| 400 | 401 |232785 | 543.7 | 194M | 36 | 465 | 550 |1073 |3339 | 3 | 26 | 493 | 1.599221e+02 | 1.880000e+02 | 17.56%| unknown
50.34/50.51 o 185
50.34/50.51 c L50.5s| 465 | 466 |331670 | 680.7 |crossove| 36 | 465 | 552 | 922 |4023 | 1 | 33 | 526 | 1.599888e+02 | 1.850000e+02 | 15.63%| unknown
55.03/55.22 c 55.2s| 500 | 501 |377355 | 724.5 | 199M | 36 | 465 | 552 | 990 |4183 | 1 | 35 | 538 | 1.599920e+02 | 1.850000e+02 | 15.63%| unknown
66.81/67.03 c 67.0s| 600 | 601 |498995 | 806.6 | 199M | 36 | 465 | 564 | 995 |4607 | 1 | 53 | 580 | 1.600953e+02 | 1.850000e+02 | 15.56%| unknown
78.88/79.14 c 79.1s| 700 | 701 |628231 | 876.1 | 200M | 36 | 465 | 567 |1098 |5304 | 4 | 66 | 620 | 1.601662e+02 | 1.850000e+02 | 15.50%| unknown
89.76/90.07 c 90.1s| 800 | 801 |752032 | 921.4 | 201M | 37 | 465 | 575 | 928 |6142 | 1 | 79 | 639 | 1.601967e+02 | 1.850000e+02 | 15.48%| unknown
101.22/101.52 c 102s| 900 | 901 |876352 | 957.2 | 202M | 37 | 465 | 577 |1046 |7211 | 1 | 89 | 643 | 1.602309e+02 | 1.850000e+02 | 15.46%| unknown
114.19/114.58 c 115s| 1000 | 1001 | 1020k|1005.6 | 203M | 37 | 465 | 577 |1005 |8565 | 1 | 98 | 660 | 1.602733e+02 | 1.850000e+02 | 15.43%| unknown
118.88/119.27 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
118.88/119.27 c (run 1, node 1049) performing user restart
118.88/119.27 c
118.88/119.28 c (restart) converted 324 cuts from the global cut pool into linear constraints
118.88/119.28 c
118.98/119.38 c presolving:
118.98/119.38 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 15 chg coeffs, 0 upgd conss, 0 impls, 110 clqs
118.98/119.38 c (round 2, exhaustive) 0 del vars, 2 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 15 chg coeffs, 0 upgd conss, 0 impls, 110 clqs
118.98/119.38 c (round 3, exhaustive) 0 del vars, 2 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 15 chg coeffs, 322 upgd conss, 0 impls, 110 clqs
118.98/119.39 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
118.98/119.39 c 0 deleted vars, 2 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 2 changed sides, 17 changed coefficients
118.98/119.39 c 0 implications, 110 cliques
118.98/119.39 c presolved problem has 465 variables (465 bin, 0 int, 0 impl, 0 cont) and 908 constraints
118.98/119.39 c 648 constraints of type <knapsack>
118.98/119.39 c 110 constraints of type <setppc>
118.98/119.39 c 150 constraints of type <logicor>
118.98/119.39 c transformed objective value is always integral (scale: 1)
118.98/119.39 c Presolving Time: 0.07
119.07/119.41 c transformed 93/100 original solutions to the transformed problem space
119.07/119.41 c
120.17/120.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
120.17/120.55 c 121s| 1 | 0 | 1079k| - | 194M | 0 | 465 | 908 | 865 | 0 | 0 | 107 | 675 | 1.603006e+02 | 1.850000e+02 | 15.41%| unknown
120.27/120.70 c 121s| 1 | 0 | 1080k| - | 194M | 0 | 465 | 908 | 910 | 45 | 1 | 107 | 675 | 1.603006e+02 | 1.850000e+02 | 15.41%| unknown
120.37/120.79 c 121s| 1 | 0 | 1080k| - | 196M | 0 | 465 | 908 | 931 | 66 | 2 | 107 | 675 | 1.603006e+02 | 1.850000e+02 | 15.41%| unknown
120.47/120.89 c 121s| 1 | 0 | 1080k| - | 189M | 0 | 465 | 908 | 949 | 84 | 3 | 107 | 675 | 1.603006e+02 | 1.850000e+02 | 15.41%| unknown
120.57/120.99 c 121s| 1 | 0 | 1080k| - | 198M | 0 | 465 | 908 | 957 | 92 | 4 | 107 | 675 | 1.603006e+02 | 1.850000e+02 | 15.41%| unknown
120.68/121.10 c 121s| 1 | 0 | 1080k| - | 203M | 0 | 465 | 908 | 972 | 107 | 5 | 107 | 675 | 1.603006e+02 | 1.850000e+02 | 15.41%| unknown
120.87/121.23 c 121s| 1 | 0 | 1081k| - | 208M | 0 | 465 | 908 | 982 | 117 | 6 | 107 | 675 | 1.603006e+02 | 1.850000e+02 | 15.41%| unknown
120.97/121.36 c 121s| 1 | 0 | 1081k| - | 207M | 0 | 465 | 908 | 991 | 126 | 7 | 107 | 675 | 1.603006e+02 | 1.850000e+02 | 15.41%| unknown
121.07/121.49 c 121s| 1 | 0 | 1081k| - | 209M | 0 | 465 | 908 |1004 | 139 | 8 | 107 | 675 | 1.603006e+02 | 1.850000e+02 | 15.41%| unknown
121.26/121.63 c 122s| 1 | 0 | 1082k| - | 209M | 0 | 465 | 908 |1014 | 149 | 9 | 107 | 675 | 1.603006e+02 | 1.850000e+02 | 15.41%| unknown
121.36/121.76 c 122s| 1 | 0 | 1082k| - | 212M | 0 | 465 | 908 |1022 | 157 | 10 | 107 | 675 | 1.603006e+02 | 1.850000e+02 | 15.41%| unknown
121.46/121.83 c 122s| 1 | 0 | 1082k| - | 212M | 0 | 465 | 908 |1028 | 163 | 11 | 107 | 675 | 1.603006e+02 | 1.850000e+02 | 15.41%| unknown
121.56/121.91 c 122s| 1 | 0 | 1082k| - | 212M | 0 | 465 | 908 |1033 | 168 | 12 | 107 | 675 | 1.603006e+02 | 1.850000e+02 | 15.41%| unknown
121.56/121.99 c 122s| 1 | 0 | 1082k| - | 212M | 0 | 465 | 908 | 982 | 171 | 13 | 107 | 675 | 1.603006e+02 | 1.850000e+02 | 15.41%| unknown
121.68/122.07 c 122s| 1 | 0 | 1082k| - | 212M | 0 | 465 | 908 | 986 | 175 | 14 | 107 | 675 | 1.603006e+02 | 1.850000e+02 | 15.41%| unknown
121.78/122.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
121.78/122.15 c 122s| 1 | 0 | 1082k| - | 212M | 0 | 465 | 908 | 991 | 180 | 15 | 107 | 675 | 1.603006e+02 | 1.850000e+02 | 15.41%| unknown
121.87/122.24 c 122s| 1 | 0 | 1082k| - | 212M | 0 | 465 | 908 | 993 | 182 | 16 | 107 | 675 | 1.603006e+02 | 1.850000e+02 | 15.41%| unknown
121.97/122.34 c 122s| 1 | 0 | 1082k| - | 212M | 0 | 465 | 908 | 997 | 186 | 17 | 107 | 675 | 1.603006e+02 | 1.850000e+02 | 15.41%| unknown
122.07/122.45 c 122s| 1 | 0 | 1082k| - | 212M | 0 | 465 | 908 |1004 | 193 | 18 | 107 | 675 | 1.603006e+02 | 1.850000e+02 | 15.41%| unknown
122.17/122.55 c 123s| 1 | 0 | 1082k| - | 212M | 0 | 465 | 908 | 957 | 196 | 19 | 107 | 675 | 1.603006e+02 | 1.850000e+02 | 15.41%| unknown
122.27/122.64 c 123s| 1 | 0 | 1083k| - | 212M | 0 | 465 | 908 | 961 | 200 | 20 | 107 | 675 | 1.603006e+02 | 1.850000e+02 | 15.41%| unknown
122.37/122.73 c 123s| 1 | 0 | 1083k| - | 212M | 0 | 465 | 908 | 964 | 203 | 21 | 107 | 675 | 1.603006e+02 | 1.850000e+02 | 15.41%| unknown
122.47/122.82 c 123s| 1 | 0 | 1083k| - | 212M | 0 | 465 | 908 | 966 | 205 | 22 | 107 | 675 | 1.603006e+02 | 1.850000e+02 | 15.41%| unknown
122.57/122.93 c 123s| 1 | 0 | 1083k| - | 212M | 0 | 465 | 908 | 972 | 211 | 23 | 107 | 675 | 1.603006e+02 | 1.850000e+02 | 15.41%| unknown
122.68/123.02 c 123s| 1 | 0 | 1083k| - | 212M | 0 | 465 | 908 | 976 | 215 | 24 | 107 | 675 | 1.603006e+02 | 1.850000e+02 | 15.41%| unknown
122.78/123.12 c 123s| 1 | 0 | 1083k| - | 212M | 0 | 465 | 908 | 949 | 218 | 25 | 107 | 675 | 1.603006e+02 | 1.850000e+02 | 15.41%| unknown
122.87/123.21 c 123s| 1 | 0 | 1083k| - | 212M | 0 | 465 | 908 | 950 | 219 | 26 | 107 | 675 | 1.603006e+02 | 1.850000e+02 | 15.41%| unknown
124.96/125.33 c 125s| 1 | 2 | 1091k| - | 212M | 0 | 465 | 909 | 950 | 219 | 27 | 108 | 692 | 1.603006e+02 | 1.850000e+02 | 15.41%| unknown
140.92/141.35 c 141s| 100 | 101 | 1170k| 995.1 | 247M | 55 | 465 | 909 |1014 | 617 | 1 | 110 | 875 | 1.603006e+02 | 1.850000e+02 | 15.41%| unknown
144.11/144.52 c 145s| 200 | 201 | 1203k| 941.7 | 247M | 86 | 465 | 909 |1029 | 730 | 1 | 113 | 906 | 1.603006e+02 | 1.850000e+02 | 15.41%| unknown
152.99/153.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
152.99/153.45 c 153s| 300 | 301 | 1269k| 921.3 | 250M | 92 | 465 | 910 | 940 |1282 | 1 | 117 | 938 | 1.603006e+02 | 1.850000e+02 | 15.41%| unknown
165.76/166.26 c 166s| 400 | 401 | 1356k| 917.8 | 260M | 92 | 465 | 911 | 948 |1879 | 1 | 123 | 979 | 1.603006e+02 | 1.850000e+02 | 15.41%| unknown
179.23/179.78 c 180s| 500 | 501 | 1465k| 928.4 | 264M | 92 | 465 | 911 | 964 |2548 | 1 | 125 |1019 | 1.604294e+02 | 1.850000e+02 | 15.32%| unknown
190.70/191.27 c 191s| 600 | 601 | 1546k| 921.3 | 268M | 92 | 465 | 913 | 959 |3145 | 1 | 133 |1062 | 1.604994e+02 | 1.850000e+02 | 15.27%| unknown
202.87/203.44 c 203s| 700 | 701 | 1636k| 920.5 | 270M | 92 | 465 | 913 | 983 |3838 | 1 | 138 |1111 | 1.605951e+02 | 1.850000e+02 | 15.20%| unknown
215.55/216.20 c 216s| 800 | 801 | 1727k| 919.9 | 271M | 92 | 465 | 914 | 961 |4429 | 1 | 145 |1151 | 1.606724e+02 | 1.850000e+02 | 15.14%| unknown
226.01/226.64 c 227s| 900 | 901 | 1808k| 913.8 | 271M | 92 | 465 | 914 | 972 |4919 | 1 | 147 |1181 | 1.607539e+02 | 1.850000e+02 | 15.08%| unknown
237.08/237.78 c 238s| 1000 | 1001 | 1889k| 908.9 | 272M | 92 | 465 | 916 | 966 |5566 | 1 | 156 |1197 | 1.607889e+02 | 1.850000e+02 | 15.06%| unknown
247.65/248.35 c 248s| 1100 | 1101 | 1978k| 907.9 | 272M | 92 | 465 | 916 | 975 |6161 | 1 | 163 |1201 | 1.608372e+02 | 1.850000e+02 | 15.02%| unknown
258.23/258.96 c 259s| 1200 | 1201 | 2069k| 908.1 | 272M | 92 | 465 | 917 | 979 |6805 | 1 | 169 |1203 | 1.608671e+02 | 1.850000e+02 | 15.00%| unknown
267.71/268.49 c 268s| 1300 | 1301 | 2152k| 904.8 | 273M | 92 | 465 | 917 | 953 |7437 | 1 | 174 |1205 | 1.609149e+02 | 1.850000e+02 | 14.97%| unknown
278.68/279.45 c 279s| 1400 | 1401 | 2241k| 904.3 | 273M | 92 | 465 | 915 | 971 |8079 | 1 | 181 |1208 | 1.609637e+02 | 1.850000e+02 | 14.93%| unknown
288.66/289.48 c 289s| 1500 | 1501 | 2334k| 905.3 | 273M | 92 | 465 | 908 | 981 |8744 | 1 | 186 |1213 | 1.610170e+02 | 1.850000e+02 | 14.89%| unknown
299.93/300.71 c 301s| 1600 | 1601 | 2418k| 902.9 | 273M | 92 | 465 | 902 | 986 |9440 | 1 | 191 |1242 | 1.610671e+02 | 1.850000e+02 | 14.86%| unknown
310.60/311.41 c 311s| 1700 | 1701 | 2502k| 900.4 | 274M | 92 | 465 | 898 | 973 | 10k| 1 | 195 |1262 | 1.610990e+02 | 1.850000e+02 | 14.84%| unknown
320.97/321.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
320.97/321.83 c 322s| 1800 | 1801 | 2588k| 899.1 | 274M | 92 | 465 | 896 | 990 | 10k| 1 | 199 |1267 | 1.611262e+02 | 1.850000e+02 | 14.82%| unknown
331.55/332.45 c 332s| 1900 | 1901 | 2682k| 900.4 | 274M | 92 | 465 | 894 | 969 | 11k| 1 | 203 |1269 | 1.611601e+02 | 1.850000e+02 | 14.79%| unknown
340.52/341.45 c 341s| 2000 | 2001 | 2768k| 899.2 | 275M | 92 | 465 | 894 | 966 | 12k| 1 | 204 |1273 | 1.611836e+02 | 1.850000e+02 | 14.78%| unknown
350.99/351.96 c 352s| 2100 | 2101 | 2853k| 897.6 | 275M | 92 | 465 | 893 | 979 | 12k| 1 | 211 |1283 | 1.612187e+02 | 1.850000e+02 | 14.75%| unknown
360.27/361.24 c 361s| 2200 | 2201 | 2937k| 895.8 | 275M | 92 | 465 | 892 | 966 | 13k| 1 | 213 |1284 | 1.612393e+02 | 1.850000e+02 | 14.74%| unknown
369.94/370.99 c 371s| 2300 | 2301 | 3024k| 895.1 | 294M | 92 | 465 | 892 | 970 | 13k| 1 | 216 |1284 | 1.612527e+02 | 1.850000e+02 | 14.73%| unknown
380.13/381.14 c 381s| 2400 | 2401 | 3126k| 898.5 | 294M | 92 | 465 | 889 | 963 | 14k| 1 | 219 |1299 | 1.612637e+02 | 1.850000e+02 | 14.72%| unknown
391.00/392.08 c 392s| 2500 | 2501 | 3212k| 897.7 | 294M | 92 | 465 | 887 | 994 | 15k| 1 | 223 |1320 | 1.612803e+02 | 1.850000e+02 | 14.71%| unknown
401.36/402.42 c 402s| 2600 | 2601 | 3299k| 896.7 | 294M | 92 | 465 | 886 | 988 | 16k| 1 | 227 |1329 | 1.613003e+02 | 1.850000e+02 | 14.69%| unknown
411.24/412.35 c 412s| 2700 | 2701 | 3392k| 897.7 | 293M | 92 | 465 | 885 |1001 | 16k| 1 | 234 |1330 | 1.613341e+02 | 1.850000e+02 | 14.67%| unknown
420.92/422.02 c 422s| 2800 | 2801 | 3493k| 900.7 | 293M | 92 | 465 | 885 | 967 | 17k| 1 | 236 |1332 | 1.613569e+02 | 1.850000e+02 | 14.65%| unknown
431.29/432.46 c 432s| 2900 | 2901 | 3584k| 901.0 | 294M | 92 | 465 | 884 | 998 | 18k| 1 | 238 |1337 | 1.613695e+02 | 1.850000e+02 | 14.64%| unknown
440.66/441.83 c 442s| 3000 | 3001 | 3668k| 899.3 | 294M | 92 | 465 | 884 | 996 | 18k| 1 | 242 |1339 | 1.613870e+02 | 1.850000e+02 | 14.63%| unknown
449.73/451.00 c 451s| 3100 | 3101 | 3759k| 899.6 | 294M | 92 | 465 | 884 |1007 | 19k| 1 | 244 |1341 | 1.614086e+02 | 1.850000e+02 | 14.62%| unknown
460.31/461.55 c 462s| 3200 | 3201 | 3868k| 904.0 | 294M | 92 | 465 | 884 |1000 | 20k| 1 | 246 |1343 | 1.614295e+02 | 1.850000e+02 | 14.60%| unknown
469.48/470.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
469.48/470.70 c 471s| 3300 | 3301 | 3949k| 902.0 | 294M | 92 | 465 | 885 | 991 | 20k| 1 | 253 |1362 | 1.614500e+02 | 1.850000e+02 | 14.59%| unknown
479.87/481.16 c 481s| 3400 | 3401 | 4051k| 904.5 | 294M | 92 | 465 | 884 | 978 | 21k| 1 | 253 |1377 | 1.614755e+02 | 1.850000e+02 | 14.57%| unknown
489.54/490.85 c 491s| 3500 | 3501 | 4139k| 904.0 | 295M | 92 | 465 | 883 | 953 | 22k| 1 | 258 |1383 | 1.614941e+02 | 1.850000e+02 | 14.56%| unknown
498.31/499.61 c 500s| 3600 | 3601 | 4222k| 902.4 | 315M | 92 | 465 | 882 | 993 | 22k| 1 | 261 |1387 | 1.615139e+02 | 1.850000e+02 | 14.54%| unknown
508.29/509.63 c 510s| 3700 | 3701 | 4321k| 904.3 | 315M | 92 | 465 | 882 |1023 | 23k| 1 | 268 |1391 | 1.615277e+02 | 1.850000e+02 | 14.53%| unknown
517.96/519.31 c 519s| 3800 | 3801 | 4413k| 904.6 | 316M | 92 | 465 | 881 |1043 | 24k| 4 | 272 |1394 | 1.615379e+02 | 1.850000e+02 | 14.52%| unknown
526.24/527.64 c 528s| 3900 | 3901 | 4499k| 903.8 | 316M | 92 | 465 | 881 |1028 | 24k| 1 | 276 |1396 | 1.615521e+02 | 1.850000e+02 | 14.51%| unknown
535.32/536.75 c 537s| 4000 | 4001 | 4584k| 902.6 | 317M | 92 | 465 | 880 |1016 | 25k| 4 | 282 |1399 | 1.615662e+02 | 1.850000e+02 | 14.50%| unknown
545.30/546.79 c 547s| 4100 | 4101 | 4680k| 903.7 | 317M | 92 | 465 | 880 |1030 | 26k| 1 | 284 |1403 | 1.615784e+02 | 1.850000e+02 | 14.50%| unknown
553.08/554.58 c 555s| 4200 | 4201 | 4759k| 901.6 | 317M | 92 | 465 | 880 | 999 | 26k| 1 | 290 |1404 | 1.615953e+02 | 1.850000e+02 | 14.48%| unknown
562.06/563.51 c 564s| 4300 | 4301 | 4846k| 901.0 | 318M | 92 | 465 | 880 | 983 | 27k| 1 | 292 |1404 | 1.616128e+02 | 1.850000e+02 | 14.47%| unknown
571.14/572.68 c 573s| 4400 | 4401 | 4934k| 900.7 | 318M | 92 | 465 | 881 | 982 | 28k| 1 | 294 |1408 | 1.616206e+02 | 1.850000e+02 | 14.47%| unknown
581.12/582.69 c 583s| 4500 | 4501 | 5027k| 901.2 | 316M | 92 | 465 | 881 |1001 | 28k| 1 | 299 |1408 | 1.616432e+02 | 1.850000e+02 | 14.45%| unknown
590.29/591.86 c 592s| 4600 | 4601 | 5135k| 904.4 | 316M | 92 | 465 | 881 |1009 | 29k| 1 | 301 |1409 | 1.616558e+02 | 1.850000e+02 | 14.44%| unknown
599.37/600.92 c 601s| 4700 | 4701 | 5223k| 903.9 | 316M | 92 | 465 | 883 | 991 | 30k| 1 | 305 |1410 | 1.616703e+02 | 1.850000e+02 | 14.43%| unknown
609.46/611.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
609.46/611.05 c 611s| 4800 | 4801 | 5312k| 903.6 | 316M | 92 | 465 | 884 | 976 | 31k| 1 | 312 |1419 | 1.616778e+02 | 1.850000e+02 | 14.43%| unknown
617.54/619.13 c 619s| 4900 | 4901 | 5387k| 901.1 | 316M | 92 | 465 | 885 |1019 | 31k| 1 | 316 |1428 | 1.616935e+02 | 1.850000e+02 | 14.41%| unknown
625.71/627.32 c 627s| 5000 | 5001 | 5474k| 900.5 | 317M | 92 | 465 | 889 |1040 | 32k| 1 | 322 |1431 | 1.617043e+02 | 1.850000e+02 | 14.41%| unknown
634.78/636.42 c 636s| 5100 | 5101 | 5577k| 902.6 | 317M | 92 | 465 | 889 | 988 | 32k| 1 | 326 |1433 | 1.617138e+02 | 1.850000e+02 | 14.40%| unknown
643.56/645.25 c 645s| 5200 | 5201 | 5660k| 901.5 | 317M | 92 | 465 | 891 |1018 | 33k| 1 | 332 |1433 | 1.617252e+02 | 1.850000e+02 | 14.39%| unknown
652.24/653.95 c 654s| 5300 | 5301 | 5744k| 900.5 | 317M | 92 | 465 | 890 | 997 | 34k| 1 | 334 |1436 | 1.617378e+02 | 1.850000e+02 | 14.38%| unknown
660.22/661.96 c 662s| 5400 | 5401 | 5822k| 898.6 | 318M | 92 | 465 | 889 | 962 | 34k| 1 | 334 |1440 | 1.617457e+02 | 1.850000e+02 | 14.38%| unknown
669.31/671.06 c 671s| 5500 | 5501 | 5916k| 899.3 | 318M | 92 | 465 | 889 | 991 | 35k| 1 | 335 |1440 | 1.617583e+02 | 1.850000e+02 | 14.37%| unknown
678.29/680.04 c 680s| 5600 | 5601 | 5999k| 898.2 | 318M | 92 | 465 | 893 | 977 | 36k| 1 | 342 |1445 | 1.617705e+02 | 1.850000e+02 | 14.36%| unknown
686.76/688.54 c 689s| 5700 | 5701 | 6079k| 896.7 | 318M | 92 | 465 | 893 |1014 | 36k| 1 | 350 |1450 | 1.617816e+02 | 1.850000e+02 | 14.35%| unknown
696.63/698.46 c 698s| 5800 | 5801 | 6166k| 896.5 | 318M | 92 | 465 | 893 |1021 | 37k| 1 | 350 |1465 | 1.617906e+02 | 1.850000e+02 | 14.35%| unknown
705.23/707.05 c 707s| 5900 | 5901 | 6245k| 894.8 | 318M | 92 | 465 | 893 |1020 | 38k| 1 | 352 |1478 | 1.618065e+02 | 1.850000e+02 | 14.33%| unknown
713.49/715.38 c 715s| 6000 | 6001 | 6319k| 892.7 | 318M | 92 | 465 | 893 | 998 | 38k| 1 | 359 |1482 | 1.618149e+02 | 1.850000e+02 | 14.33%| unknown
721.97/723.82 c 724s| 6100 | 6101 | 6396k| 890.9 | 318M | 92 | 465 | 894 | 990 | 39k| 1 | 362 |1486 | 1.618262e+02 | 1.850000e+02 | 14.32%| unknown
729.65/731.55 c 732s| 6200 | 6201 | 6471k| 889.0 | 318M | 92 | 465 | 894 |1038 | 40k| 1 | 367 |1487 | 1.618341e+02 | 1.850000e+02 | 14.31%| unknown
736.15/738.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
736.15/738.07 c 738s| 6300 | 6301 | 6544k| 886.9 | 318M | 92 | 465 | 895 |1009 | 40k| 1 | 368 |1487 | 1.618406e+02 | 1.850000e+02 | 14.31%| unknown
744.32/746.25 c 746s| 6400 | 6401 | 6623k| 885.6 | 318M | 92 | 465 | 899 |1029 | 41k| 1 | 373 |1491 | 1.618565e+02 | 1.850000e+02 | 14.30%| unknown
752.89/754.80 c 755s| 6500 | 6501 | 6713k| 885.8 | 318M | 92 | 465 | 900 |1036 | 42k| 4 | 376 |1492 | 1.618609e+02 | 1.850000e+02 | 14.30%| unknown
761.19/763.13 c 763s| 6600 | 6601 | 6799k| 885.4 | 318M | 92 | 465 | 900 | 997 | 42k| 1 | 382 |1493 | 1.618715e+02 | 1.850000e+02 | 14.29%| unknown
767.36/769.35 c 769s| 6700 | 6701 | 6872k| 883.4 | 318M | 92 | 465 | 903 |1005 | 43k| 1 | 387 |1496 | 1.618789e+02 | 1.850000e+02 | 14.28%| unknown
777.05/779.04 c 779s| 6800 | 6801 | 6974k| 885.2 | 318M | 92 | 465 | 904 |1025 | 43k| 1 | 390 |1507 | 1.618866e+02 | 1.850000e+02 | 14.28%| unknown
784.52/786.53 c 787s| 6900 | 6901 | 7043k| 882.7 | 318M | 92 | 465 | 906 | 974 | 44k| 1 | 392 |1520 | 1.618975e+02 | 1.850000e+02 | 14.27%| unknown
791.80/793.80 c 794s| 7000 | 7001 | 7118k| 881.0 | 318M | 92 | 465 | 906 |1014 | 45k| 1 | 396 |1526 | 1.619036e+02 | 1.850000e+02 | 14.27%| unknown
798.38/800.40 c 800s| 7100 | 7101 | 7185k| 878.4 | 319M | 92 | 465 | 905 |1031 | 45k| 1 | 399 |1530 | 1.619143e+02 | 1.850000e+02 | 14.26%| unknown
806.97/809.07 c 809s| 7200 | 7201 | 7268k| 877.8 | 319M | 92 | 465 | 912 | 989 | 46k| 1 | 407 |1538 | 1.619211e+02 | 1.850000e+02 | 14.25%| unknown
810.46/812.52 o 184
810.46/812.52 c d 813s| 7250 | 7251 | 7305k| 877.1 |pscostdi| 92 | 465 | 912 |1018 | 0 | 1 | 409 |1543 | 1.619259e+02 | 1.840000e+02 | 13.63%| unknown
813.55/815.67 c 816s| 7300 | 7301 | 7343k| 876.3 | 320M | 92 | 465 | 912 | 999 | 46k| 1 | 410 |1545 | 1.619286e+02 | 1.840000e+02 | 13.63%| unknown
821.63/823.77 c 824s| 7400 | 7401 | 7427k| 875.8 | 320M | 92 | 465 | 912 |1002 | 47k| 1 | 415 |1547 | 1.619376e+02 | 1.840000e+02 | 13.62%| unknown
829.81/831.95 c 832s| 7500 | 7501 | 7515k| 876.0 | 321M | 92 | 465 | 916 | 992 | 48k| 1 | 421 |1547 | 1.619407e+02 | 1.840000e+02 | 13.62%| unknown
836.59/838.74 c 839s| 7600 | 7601 | 7590k| 874.5 | 321M | 92 | 465 | 915 |1018 | 48k| 1 | 423 |1548 | 1.619489e+02 | 1.840000e+02 | 13.62%| unknown
844.37/846.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
844.37/846.54 c 847s| 7700 | 7701 | 7665k| 873.1 | 323M | 92 | 465 | 920 |1041 | 49k| 1 | 431 |1549 | 1.619526e+02 | 1.840000e+02 | 13.61%| unknown
852.25/854.40 c 854s| 7800 | 7801 | 7742k| 871.9 | 323M | 92 | 465 | 919 | 987 | 50k| 1 | 434 |1551 | 1.619595e+02 | 1.840000e+02 | 13.61%| unknown
859.04/861.26 c 861s| 7900 | 7901 | 7828k| 871.8 | 323M | 92 | 465 | 922 |1017 | 50k| 1 | 438 |1551 | 1.619645e+02 | 1.840000e+02 | 13.61%| unknown
866.72/868.99 c 869s| 8000 | 8001 | 7904k| 870.6 | 323M | 92 | 465 | 922 |1017 | 51k| 1 | 438 |1563 | 1.619705e+02 | 1.840000e+02 | 13.60%| unknown
873.40/875.68 c 876s| 8100 | 8101 | 7974k| 868.7 | 323M | 92 | 465 | 925 |1026 | 52k| 1 | 442 |1572 | 1.619752e+02 | 1.840000e+02 | 13.60%| unknown
881.18/883.42 c 883s| 8200 | 8201 | 8063k| 868.9 | 323M | 92 | 465 | 923 |1018 | 52k| 1 | 443 |1579 | 1.619855e+02 | 1.840000e+02 | 13.59%| unknown
888.96/891.26 c 891s| 8300 | 8301 | 8145k| 868.4 | 323M | 92 | 465 | 923 | 995 | 53k| 1 | 446 |1583 | 1.619950e+02 | 1.840000e+02 | 13.58%| unknown
895.35/897.66 c 898s| 8400 | 8401 | 8214k| 866.5 | 323M | 92 | 465 | 925 |1038 | 54k| 1 | 448 |1589 | 1.620029e+02 | 1.840000e+02 | 13.58%| unknown
904.43/906.77 c 907s| 8500 | 8501 | 8316k| 868.0 | 323M | 92 | 465 | 925 |1039 | 54k| 1 | 451 |1592 | 1.620101e+02 | 1.840000e+02 | 13.57%| unknown
911.11/913.47 c 913s| 8600 | 8601 | 8384k| 866.2 | 323M | 92 | 465 | 927 | 970 | 55k| 1 | 455 |1594 | 1.620179e+02 | 1.840000e+02 | 13.57%| unknown
917.71/920.03 c 920s| 8700 | 8701 | 8454k| 864.4 | 323M | 92 | 465 | 937 |1051 | 56k| 4 | 467 |1597 | 1.620226e+02 | 1.840000e+02 | 13.56%| unknown
925.58/927.91 c 928s| 8800 | 8801 | 8537k| 864.0 | 323M | 92 | 465 | 940 | 982 | 56k| 1 | 477 |1597 | 1.620253e+02 | 1.840000e+02 | 13.56%| unknown
932.26/934.60 c 935s| 8900 | 8901 | 8608k| 862.6 | 323M | 92 | 465 | 940 |1041 | 57k| 1 | 482 |1599 | 1.620330e+02 | 1.840000e+02 | 13.56%| unknown
938.66/941.06 c 941s| 9000 | 9001 | 8678k| 860.9 | 323M | 92 | 465 | 945 |1046 | 57k| 1 | 489 |1600 | 1.620411e+02 | 1.840000e+02 | 13.55%| unknown
945.83/948.27 c 948s| 9100 | 9101 | 8757k| 860.2 | 324M | 92 | 465 | 947 | 993 | 58k| 1 | 493 |1600 | 1.620477e+02 | 1.840000e+02 | 13.55%| unknown
953.41/955.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
953.41/955.83 c 956s| 9200 | 9201 | 8828k| 858.7 | 324M | 92 | 465 | 947 |1069 | 59k| 5 | 493 |1612 | 1.620572e+02 | 1.840000e+02 | 13.54%| unknown
960.79/963.22 c 963s| 9300 | 9301 | 8904k| 857.8 | 324M | 92 | 465 | 950 |1005 | 59k| 1 | 498 |1620 | 1.620642e+02 | 1.840000e+02 | 13.54%| unknown
966.78/969.29 c 969s| 9400 | 9401 | 8970k| 855.9 | 324M | 92 | 465 | 952 |1021 | 60k| 1 | 502 |1626 | 1.620723e+02 | 1.840000e+02 | 13.53%| unknown
974.26/976.74 c 977s| 9500 | 9501 | 9042k| 854.6 | 324M | 92 | 465 | 951 |1066 | 61k| 1 | 504 |1632 | 1.620785e+02 | 1.840000e+02 | 13.53%| unknown
981.44/983.97 c 984s| 9600 | 9601 | 9136k| 855.4 | 324M | 92 | 465 | 949 |1061 | 61k| 4 | 506 |1634 | 1.620841e+02 | 1.840000e+02 | 13.52%| unknown
989.42/992.00 c 992s| 9700 | 9701 | 9218k| 855.1 | 324M | 92 | 465 | 952 |1065 | 62k| 4 | 510 |1642 | 1.620903e+02 | 1.840000e+02 | 13.52%| unknown
995.91/998.49 c 998s| 9800 | 9801 | 9287k| 853.6 | 324M | 92 | 465 | 951 |1031 | 63k| 1 | 511 |1644 | 1.620946e+02 | 1.840000e+02 | 13.51%| unknown
1003.19/1005.70 c 1006s| 9900 | 9901 | 9368k| 853.2 | 325M | 92 | 465 | 952 |1033 | 63k| 1 | 515 |1645 | 1.620975e+02 | 1.840000e+02 | 13.51%| unknown
1009.97/1012.57 c 1013s| 10000 | 10001 | 9439k| 851.9 | 325M | 92 | 465 | 955 |1045 | 64k| 1 | 522 |1646 | 1.621029e+02 | 1.840000e+02 | 13.51%| unknown
1017.05/1019.65 c 1020s| 10100 | 10101 | 9508k| 850.4 | 325M | 92 | 465 | 957 |1012 | 64k| 1 | 530 |1647 | 1.621065e+02 | 1.840000e+02 | 13.51%| unknown
1022.45/1025.07 c 1025s| 10200 | 10201 | 9569k| 848.3 | 325M | 92 | 465 | 954 |1035 | 65k| 1 | 530 |1648 | 1.621096e+02 | 1.840000e+02 | 13.50%| unknown
1029.72/1032.35 c 1032s| 10300 | 10301 | 9642k| 847.3 | 325M | 92 | 465 | 956 |1043 | 66k| 4 | 537 |1648 | 1.621132e+02 | 1.840000e+02 | 13.50%| unknown
1035.21/1037.87 c 1038s| 10400 | 10401 | 9705k| 845.4 | 325M | 92 | 465 | 955 |1043 | 66k| 1 | 541 |1651 | 1.621216e+02 | 1.840000e+02 | 13.50%| unknown
1043.09/1045.76 c 1046s| 10500 | 10501 | 9785k| 844.9 | 325M | 92 | 465 | 951 |1083 | 67k| 4 | 541 |1661 | 1.621260e+02 | 1.840000e+02 | 13.49%| unknown
1049.97/1052.64 c 1053s| 10600 | 10601 | 9850k| 843.3 | 325M | 92 | 465 | 951 | 999 | 67k| 1 | 544 |1670 | 1.621309e+02 | 1.840000e+02 | 13.49%| unknown
1057.95/1060.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1057.95/1060.68 c 1061s| 10700 | 10701 | 9937k| 843.5 | 325M | 92 | 465 | 956 |1043 | 68k| 1 | 553 |1673 | 1.621345e+02 | 1.840000e+02 | 13.49%| unknown
1065.03/1067.79 c 1068s| 10800 | 10801 | 10019k| 843.3 | 325M | 92 | 465 | 960 |1049 | 69k| 4 | 558 |1678 | 1.621380e+02 | 1.840000e+02 | 13.48%| unknown
1072.72/1075.44 c 1075s| 10900 | 10901 | 10095k| 842.6 | 326M | 92 | 465 | 960 | 997 | 69k| 1 | 560 |1683 | 1.621443e+02 | 1.840000e+02 | 13.48%| unknown
1077.90/1080.69 c 1081s| 11000 | 11001 | 10157k| 840.8 | 326M | 92 | 465 | 959 |1035 | 70k| 1 | 561 |1684 | 1.621510e+02 | 1.840000e+02 | 13.47%| unknown
1084.99/1087.73 c 1088s| 11100 | 11101 | 10233k| 840.1 | 326M | 92 | 465 | 963 |1007 | 71k| 1 | 568 |1686 | 1.621566e+02 | 1.840000e+02 | 13.47%| unknown
1090.87/1093.68 c 1094s| 11200 | 11201 | 10306k| 839.2 | 326M | 92 | 465 | 961 |1039 | 71k| 1 | 570 |1686 | 1.621618e+02 | 1.840000e+02 | 13.47%| unknown
1097.27/1100.10 c 1100s| 11300 | 11301 | 10378k| 838.2 | 326M | 92 | 465 | 970 | 983 | 72k| 1 | 581 |1686 | 1.621650e+02 | 1.840000e+02 | 13.46%| unknown
1102.25/1105.03 c 1105s| 11400 | 11401 | 10432k| 835.8 | 326M | 92 | 465 | 967 | 994 | 72k| 1 | 583 |1689 | 1.621720e+02 | 1.840000e+02 | 13.46%| unknown
1109.42/1112.22 c 1112s| 11500 | 11501 | 10509k| 835.3 | 326M | 92 | 465 | 967 |1032 | 73k| 1 | 583 |1690 | 1.621763e+02 | 1.840000e+02 | 13.46%| unknown
1114.81/1117.61 c 1118s| 11600 | 11601 | 10570k| 833.5 | 326M | 92 | 465 | 974 |1033 | 73k| 1 | 590 |1692 | 1.621807e+02 | 1.840000e+02 | 13.45%| unknown
1121.60/1124.40 c 1124s| 11700 | 11701 | 10646k| 832.9 | 327M | 92 | 465 | 977 |1051 | 74k| 1 | 599 |1694 | 1.621845e+02 | 1.840000e+02 | 13.45%| unknown
1127.59/1130.47 c 1130s| 11800 | 11801 | 10709k| 831.4 | 327M | 92 | 465 | 981 |1034 | 75k| 1 | 608 |1701 | 1.621883e+02 | 1.840000e+02 | 13.45%| unknown
1133.87/1136.77 c 1137s| 11900 | 11901 | 10775k| 830.1 | 327M | 92 | 465 | 983 |1053 | 75k| 4 | 614 |1708 | 1.621938e+02 | 1.840000e+02 | 13.44%| unknown
1139.75/1142.68 c 1143s| 12000 | 12001 | 10839k| 828.6 | 327M | 92 | 465 | 984 |1028 | 76k| 1 | 617 |1715 | 1.621977e+02 | 1.840000e+02 | 13.44%| unknown
1146.15/1149.04 c 1149s| 12100 | 12101 | 10906k| 827.4 | 327M | 92 | 465 | 984 | 995 | 76k| 1 | 617 |1721 | 1.622031e+02 | 1.840000e+02 | 13.44%| unknown
1153.62/1156.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1153.62/1156.56 c 1157s| 12200 | 12201 | 10982k| 826.9 | 327M | 92 | 465 | 988 |1054 | 77k| 1 | 626 |1727 | 1.622073e+02 | 1.840000e+02 | 13.44%| unknown
1162.11/1165.01 c 1165s| 12300 | 12301 | 11073k| 827.5 | 328M | 92 | 465 | 991 | 993 | 77k| 1 | 631 |1730 | 1.622107e+02 | 1.840000e+02 | 13.43%| unknown
1168.88/1171.87 c 1172s| 12400 | 12401 | 11147k| 826.9 | 328M | 92 | 465 | 991 |1004 | 78k| 1 | 634 |1732 | 1.622161e+02 | 1.840000e+02 | 13.43%| unknown
1174.97/1177.91 c 1178s| 12500 | 12501 | 11211k| 825.5 | 328M | 92 | 465 | 989 |1037 | 79k| 1 | 640 |1735 | 1.622194e+02 | 1.840000e+02 | 13.43%| unknown
1181.17/1184.12 c 1184s| 12600 | 12601 | 11282k| 824.6 | 328M | 92 | 465 | 991 |1039 | 79k| 1 | 643 |1736 | 1.622234e+02 | 1.840000e+02 | 13.42%| unknown
1188.24/1191.28 c 1191s| 12700 | 12701 | 11360k| 824.3 | 328M | 92 | 465 | 993 |1050 | 80k| 1 | 650 |1739 | 1.622299e+02 | 1.840000e+02 | 13.42%| unknown
1194.82/1197.82 c 1198s| 12800 | 12801 | 11435k| 823.8 | 328M | 92 | 465 | 992 |1023 | 80k| 1 | 652 |1739 | 1.622339e+02 | 1.840000e+02 | 13.42%| unknown
1200.61/1203.69 c 1204s| 12900 | 12901 | 11498k| 822.4 | 328M | 92 | 465 | 991 |1014 | 81k| 1 | 655 |1741 | 1.622377e+02 | 1.840000e+02 | 13.41%| unknown
1207.10/1210.13 c 1210s| 13000 | 13001 | 11564k| 821.2 | 329M | 92 | 465 | 995 |1018 | 82k| 1 | 662 |1742 | 1.622424e+02 | 1.840000e+02 | 13.41%| unknown
1214.09/1217.14 c 1217s| 13100 | 13101 | 11635k| 820.4 | 329M | 92 | 465 | 991 |1026 | 82k| 1 | 667 |1746 | 1.622450e+02 | 1.840000e+02 | 13.41%| unknown
1219.66/1222.77 c 1223s| 13200 | 13201 | 11697k| 819.1 | 329M | 92 | 465 | 994 |1057 | 83k| 1 | 673 |1748 | 1.622475e+02 | 1.840000e+02 | 13.41%| unknown
1226.64/1229.71 c 1230s| 13300 | 13301 | 11773k| 818.6 | 330M | 92 | 465 | 995 |1055 | 83k| 1 | 677 |1756 | 1.622516e+02 | 1.840000e+02 | 13.40%| unknown
1234.22/1237.34 c 1237s| 13400 | 13401 | 11846k| 818.0 | 330M | 92 | 465 | 997 | 997 | 84k| 1 | 686 |1769 | 1.622556e+02 | 1.840000e+02 | 13.40%| unknown
1242.80/1246.00 c 1246s| 13500 | 13501 | 11944k| 819.1 | 330M | 92 | 465 | 995 |1034 | 84k| 1 | 689 |1776 | 1.622575e+02 | 1.840000e+02 | 13.40%| unknown
1250.18/1253.32 c 1253s| 13600 | 13601 | 12023k| 818.9 | 330M | 92 | 465 | 993 |1026 | 85k| 1 | 690 |1780 | 1.622603e+02 | 1.840000e+02 | 13.40%| unknown
1255.98/1259.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1255.98/1259.19 c 1259s| 13700 | 13701 | 12084k| 817.5 | 330M | 92 | 465 | 995 |1063 | 86k| 1 | 694 |1787 | 1.622647e+02 | 1.840000e+02 | 13.39%| unknown
1263.25/1266.45 c 1266s| 13800 | 13801 | 12158k| 817.0 | 330M | 92 | 465 | 994 |1046 | 86k| 1 | 694 |1794 | 1.622686e+02 | 1.840000e+02 | 13.39%| unknown
1268.54/1271.73 c 1272s| 13900 | 13901 | 12220k| 815.7 | 330M | 92 | 465 |1000 |1019 | 87k| 1 | 702 |1796 | 1.622723e+02 | 1.840000e+02 | 13.39%| unknown
1274.13/1277.39 c 1277s| 14000 | 14001 | 12285k| 814.6 | 330M | 92 | 465 |1000 |1012 | 87k| 1 | 704 |1799 | 1.622758e+02 | 1.840000e+02 | 13.39%| unknown
1280.31/1283.50 c 1283s| 14100 | 14101 | 12358k| 814.0 | 330M | 92 | 465 |1006 |1015 | 88k| 1 | 711 |1802 | 1.622788e+02 | 1.840000e+02 | 13.39%| unknown
1285.70/1288.92 c 1289s| 14200 | 14201 | 12416k| 812.5 | 330M | 92 | 465 |1007 |1012 | 88k| 1 | 714 |1809 | 1.622809e+02 | 1.840000e+02 | 13.38%| unknown
1292.08/1295.36 c 1295s| 14300 | 14301 | 12486k| 811.7 | 330M | 92 | 465 |1011 |1034 | 89k| 1 | 721 |1810 | 1.622851e+02 | 1.840000e+02 | 13.38%| unknown
1297.97/1301.23 c 1301s| 14400 | 14401 | 12558k| 811.1 | 330M | 92 | 465 |1008 |1007 | 89k| 1 | 724 |1810 | 1.622882e+02 | 1.840000e+02 | 13.38%| unknown
1303.46/1306.73 c 1307s| 14500 | 14501 | 12623k| 810.1 | 330M | 92 | 465 |1010 |1023 | 90k| 1 | 729 |1811 | 1.622909e+02 | 1.840000e+02 | 13.38%| unknown
1309.85/1313.15 c 1313s| 14600 | 14601 | 12696k| 809.6 | 330M | 92 | 465 |1010 |1037 | 90k| 1 | 732 |1811 | 1.622930e+02 | 1.840000e+02 | 13.38%| unknown
1317.02/1320.31 c 1320s| 14700 | 14701 | 12778k| 809.7 | 330M | 92 | 465 |1010 |1023 | 91k| 1 | 734 |1814 | 1.622964e+02 | 1.840000e+02 | 13.37%| unknown
1323.31/1326.61 c 1327s| 14800 | 14801 | 12847k| 808.9 | 330M | 92 | 465 |1012 |1041 | 92k| 1 | 741 |1814 | 1.622993e+02 | 1.840000e+02 | 13.37%| unknown
1330.39/1333.78 c 1334s| 14900 | 14901 | 12922k| 808.5 | 330M | 92 | 465 |1011 |1021 | 92k| 1 | 747 |1816 | 1.623032e+02 | 1.840000e+02 | 13.37%| unknown
1336.87/1340.30 c 1340s| 15000 | 15001 | 12994k| 808.0 | 330M | 92 | 465 |1013 |1022 | 93k| 1 | 754 |1820 | 1.623056e+02 | 1.840000e+02 | 13.37%| unknown
1342.67/1346.04 c 1346s| 15100 | 15101 | 13057k| 806.9 | 330M | 92 | 465 |1010 |1041 | 93k| 1 | 756 |1825 | 1.623092e+02 | 1.840000e+02 | 13.36%| unknown
1349.34/1352.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1349.34/1352.77 c 1353s| 15200 | 15201 | 13127k| 806.2 | 330M | 92 | 465 |1007 |1039 | 94k| 1 | 759 |1831 | 1.623122e+02 | 1.840000e+02 | 13.36%| unknown
1355.53/1358.94 c 1359s| 15300 | 15301 | 13199k| 805.7 | 330M | 92 | 465 |1006 |1037 | 94k| 1 | 761 |1831 | 1.623183e+02 | 1.840000e+02 | 13.36%| unknown
1362.51/1365.96 c 1366s| 15400 | 15401 | 13269k| 805.1 | 330M | 92 | 465 |1008 |1044 | 95k| 1 | 769 |1836 | 1.623210e+02 | 1.840000e+02 | 13.36%| unknown
1368.40/1371.83 c 1372s| 15500 | 15501 | 13337k| 804.3 | 331M | 92 | 465 |1005 |1031 | 95k| 1 | 770 |1837 | 1.623245e+02 | 1.840000e+02 | 13.35%| unknown
1375.59/1379.01 c 1379s| 15600 | 15601 | 13410k| 803.9 | 331M | 92 | 465 |1005 |1030 | 96k| 4 | 775 |1838 | 1.623292e+02 | 1.840000e+02 | 13.35%| unknown
1381.87/1385.30 c 1385s| 15700 | 15701 | 13480k| 803.2 | 331M | 92 | 465 |1009 |1040 | 96k| 1 | 780 |1840 | 1.623327e+02 | 1.840000e+02 | 13.35%| unknown
1388.45/1391.99 c 1392s| 15800 | 15801 | 13546k| 802.4 | 331M | 92 | 465 |1008 | 991 | 97k| 1 | 782 |1842 | 1.623359e+02 | 1.840000e+02 | 13.35%| unknown
1394.34/1397.86 c 1398s| 15900 | 15901 | 13609k| 801.4 | 331M | 92 | 465 |1012 | 982 | 98k| 1 | 789 |1843 | 1.623394e+02 | 1.840000e+02 | 13.34%| unknown
1399.72/1403.25 c 1403s| 16000 | 16001 | 13670k| 800.2 | 331M | 92 | 465 |1011 |1027 | 98k| 1 | 790 |1846 | 1.623414e+02 | 1.840000e+02 | 13.34%| unknown
1407.30/1410.88 c 1411s| 16100 | 16101 | 13765k| 801.1 | 331M | 92 | 465 |1010 |1037 | 99k| 1 | 795 |1847 | 1.623435e+02 | 1.840000e+02 | 13.34%| unknown
1414.30/1417.81 c 1418s| 16200 | 16201 | 13847k| 801.2 | 331M | 92 | 465 |1004 |1041 | 99k| 1 | 797 |1847 | 1.623479e+02 | 1.840000e+02 | 13.34%| unknown
1420.59/1424.13 c 1424s| 16300 | 16301 | 13920k| 800.8 | 332M | 92 | 465 |1002 |1019 | 100k| 1 | 798 |1847 | 1.623511e+02 | 1.840000e+02 | 13.33%| unknown
1427.26/1430.84 c 1431s| 16400 | 16401 | 13986k| 800.0 | 332M | 92 | 465 | 998 |1022 | 100k| 1 | 798 |1855 | 1.623546e+02 | 1.840000e+02 | 13.33%| unknown
1433.35/1436.91 c 1437s| 16500 | 16501 | 14057k| 799.5 | 332M | 92 | 465 | 996 |1052 | 101k| 1 | 800 |1859 | 1.623582e+02 | 1.840000e+02 | 13.33%| unknown
1439.34/1442.99 c 1443s| 16600 | 16601 | 14121k| 798.6 | 332M | 92 | 465 | 993 |1052 | 101k| 1 | 800 |1863 | 1.623611e+02 | 1.840000e+02 | 13.33%| unknown
1445.82/1449.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1445.82/1449.43 c 1449s| 16700 | 16701 | 14192k| 798.1 | 332M | 92 | 465 | 996 |1022 | 102k| 1 | 804 |1872 | 1.623641e+02 | 1.840000e+02 | 13.33%| unknown
1451.21/1454.86 c 1455s| 16800 | 16801 | 14252k| 797.0 | 332M | 92 | 465 | 997 |1016 | 102k| 1 | 809 |1876 | 1.623677e+02 | 1.840000e+02 | 13.32%| unknown
1457.89/1461.54 c 1462s| 16900 | 16901 | 14323k| 796.5 | 332M | 92 | 465 | 994 |1030 | 103k| 1 | 811 |1878 | 1.623695e+02 | 1.840000e+02 | 13.32%| unknown
1463.28/1466.96 c 1467s| 17000 | 17001 | 14389k| 795.7 | 332M | 92 | 465 | 988 |1019 | 103k| 1 | 813 |1879 | 1.623712e+02 | 1.840000e+02 | 13.32%| unknown
1469.06/1472.71 c 1473s| 17100 | 17101 | 14456k| 795.1 | 332M | 92 | 465 | 991 |1016 | 104k| 1 | 822 |1879 | 1.623745e+02 | 1.840000e+02 | 13.32%| unknown
1474.25/1477.94 c 1478s| 17200 | 17201 | 14517k| 794.1 | 332M | 92 | 465 | 990 |1017 | 104k| 1 | 826 |1879 | 1.623760e+02 | 1.840000e+02 | 13.32%| unknown
1480.04/1483.78 c 1484s| 17300 | 17301 | 14582k| 793.2 | 332M | 92 | 465 | 990 |1019 | 105k| 1 | 829 |1882 | 1.623789e+02 | 1.840000e+02 | 13.32%| unknown
1485.63/1489.37 c 1489s| 17400 | 17401 | 14649k| 792.6 | 332M | 92 | 465 | 989 |1059 | 105k| 1 | 830 |1882 | 1.623815e+02 | 1.840000e+02 | 13.31%| unknown
1492.61/1496.32 c 1496s| 17500 | 17501 | 14720k| 792.1 | 332M | 92 | 465 | 993 |1069 | 106k| 1 | 839 |1884 | 1.623846e+02 | 1.840000e+02 | 13.31%| unknown
1501.30/1505.07 c 1505s| 17600 | 17601 | 14822k| 793.4 | 332M | 92 | 465 | 994 |1052 | 106k| 4 | 848 |1886 | 1.623871e+02 | 1.840000e+02 | 13.31%| unknown
1507.97/1511.75 c 1512s| 17700 | 17701 | 14895k| 793.0 | 332M | 92 | 465 | 995 | 979 | 107k| 1 | 851 |1887 | 1.623898e+02 | 1.840000e+02 | 13.31%| unknown
1513.27/1517.07 c 1517s| 17800 | 17801 | 14959k| 792.2 | 332M | 92 | 465 | 997 |1013 | 108k| 1 | 858 |1887 | 1.623945e+02 | 1.840000e+02 | 13.30%| unknown
1520.04/1523.81 c 1524s| 17900 | 17901 | 15032k| 791.9 | 332M | 92 | 465 | 992 |1020 | 108k| 1 | 858 |1892 | 1.623966e+02 | 1.840000e+02 | 13.30%| unknown
1526.53/1530.36 c 1530s| 18000 | 18001 | 15099k| 791.2 | 332M | 92 | 465 | 995 |1033 | 109k| 1 | 864 |1900 | 1.623990e+02 | 1.840000e+02 | 13.30%| unknown
1532.22/1536.08 c 1536s| 18100 | 18101 | 15159k| 790.3 | 333M | 92 | 465 | 993 |1044 | 109k| 1 | 864 |1907 | 1.624013e+02 | 1.840000e+02 | 13.30%| unknown
1537.80/1541.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1537.80/1541.60 c 1542s| 18200 | 18201 | 15224k| 789.5 | 333M | 92 | 465 | 996 |1010 | 110k| 1 | 868 |1908 | 1.624051e+02 | 1.840000e+02 | 13.30%| unknown
1543.68/1547.57 c 1548s| 18300 | 18301 | 15285k| 788.6 | 333M | 92 | 465 | 996 |1044 | 110k| 1 | 872 |1912 | 1.624078e+02 | 1.840000e+02 | 13.30%| unknown
1550.47/1554.39 c 1554s| 18400 | 18401 | 15358k| 788.3 | 333M | 92 | 465 | 995 |1025 | 111k| 1 | 874 |1914 | 1.624096e+02 | 1.840000e+02 | 13.29%| unknown
1556.75/1560.66 c 1561s| 18500 | 18501 | 15430k| 787.9 | 333M | 92 | 465 | 994 |1007 | 111k| 1 | 880 |1918 | 1.624118e+02 | 1.840000e+02 | 13.29%| unknown
1562.54/1566.43 c 1566s| 18600 | 18601 | 15499k| 787.4 | 333M | 92 | 465 | 990 |1039 | 112k| 1 | 882 |1919 | 1.624137e+02 | 1.840000e+02 | 13.29%| unknown
1568.72/1572.63 c 1573s| 18700 | 18701 | 15568k| 787.0 | 333M | 92 | 465 | 991 |1032 | 112k| 1 | 886 |1919 | 1.624176e+02 | 1.840000e+02 | 13.29%| unknown
1574.01/1577.93 c 1578s| 18800 | 18801 | 15630k| 786.1 | 334M | 92 | 465 | 991 |1032 | 113k| 1 | 886 |1921 | 1.624199e+02 | 1.840000e+02 | 13.29%| unknown
1581.29/1585.26 c 1585s| 18900 | 18901 | 15706k| 786.0 | 334M | 92 | 465 | 991 |1030 | 113k| 1 | 895 |1921 | 1.624228e+02 | 1.840000e+02 | 13.28%| unknown
1587.88/1591.81 c 1592s| 19000 | 19001 | 15783k| 785.9 | 334M | 92 | 465 | 992 |1006 | 114k| 1 | 904 |1922 | 1.624242e+02 | 1.840000e+02 | 13.28%| unknown
1595.56/1599.56 c 1600s| 19100 | 19101 | 15881k| 786.8 | 334M | 92 | 465 | 989 |1023 | 114k| 1 | 905 |1927 | 1.624273e+02 | 1.840000e+02 | 13.28%| unknown
1601.34/1605.31 c 1605s| 19200 | 19201 | 15951k| 786.4 | 334M | 92 | 465 | 989 |1047 | 115k| 1 | 906 |1929 | 1.624293e+02 | 1.840000e+02 | 13.28%| unknown
1606.83/1610.86 c 1611s| 19300 | 19301 | 16012k| 785.6 | 335M | 92 | 465 | 990 |1044 | 115k| 1 | 909 |1930 | 1.624314e+02 | 1.840000e+02 | 13.28%| unknown
1613.22/1617.26 c 1617s| 19400 | 19401 | 16084k| 785.2 | 335M | 92 | 465 | 990 |1034 | 116k| 1 | 912 |1932 | 1.624338e+02 | 1.840000e+02 | 13.28%| unknown
1618.50/1622.59 c 1623s| 19500 | 19501 | 16145k| 784.4 | 335M | 92 | 465 | 990 |1041 | 116k| 1 | 914 |1935 | 1.624347e+02 | 1.840000e+02 | 13.28%| unknown
1624.88/1628.97 c 1629s| 19600 | 19601 | 16217k| 784.1 | 335M | 92 | 465 | 994 |1051 | 117k| 1 | 922 |1939 | 1.624371e+02 | 1.840000e+02 | 13.27%| unknown
1630.56/1634.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1630.56/1634.67 c 1635s| 19700 | 19701 | 16282k| 783.4 | 335M | 92 | 465 | 998 |1054 | 117k| 4 | 928 |1944 | 1.624400e+02 | 1.840000e+02 | 13.27%| unknown
1637.44/1641.53 c 1642s| 19800 | 19801 | 16353k| 783.1 | 335M | 92 | 465 | 997 | 971 | 118k| 1 | 928 |1951 | 1.624423e+02 | 1.840000e+02 | 13.27%| unknown
1643.12/1647.25 c 1647s| 19900 | 19901 | 16415k| 782.3 | 335M | 92 | 465 | 998 |1043 | 118k| 1 | 931 |1959 | 1.624440e+02 | 1.840000e+02 | 13.27%| unknown
1649.30/1653.49 c 1653s| 20000 | 20001 | 16483k| 781.8 | 335M | 92 | 465 |1003 |1013 | 119k| 1 | 938 |1963 | 1.624474e+02 | 1.840000e+02 | 13.27%| unknown
1655.79/1659.92 c 1660s| 20100 | 20101 | 16552k| 781.4 | 335M | 92 | 465 |1002 |1027 | 119k| 1 | 942 |1964 | 1.624500e+02 | 1.840000e+02 | 13.27%| unknown
1661.07/1665.22 c 1665s| 20200 | 20201 | 16616k| 780.7 | 335M | 92 | 465 |1002 |1003 | 120k| 1 | 943 |1965 | 1.624534e+02 | 1.840000e+02 | 13.26%| unknown
1667.15/1671.38 c 1671s| 20300 | 20301 | 16685k| 780.3 | 335M | 92 | 465 |1001 |1055 | 120k| 1 | 948 |1966 | 1.624570e+02 | 1.840000e+02 | 13.26%| unknown
1673.23/1677.46 c 1677s| 20400 | 20401 | 16751k| 779.7 | 335M | 92 | 465 | 999 |1051 | 121k| 1 | 950 |1970 | 1.624593e+02 | 1.840000e+02 | 13.26%| unknown
1678.83/1683.09 c 1683s| 20500 | 20501 | 16814k| 779.0 | 335M | 92 | 465 |1002 |1039 | 121k| 1 | 954 |1971 | 1.624622e+02 | 1.840000e+02 | 13.26%| unknown
1686.19/1690.44 c 1690s| 20600 | 20601 | 16893k| 779.1 | 335M | 92 | 465 |1007 |1045 | 122k| 1 | 963 |1972 | 1.624644e+02 | 1.840000e+02 | 13.26%| unknown
1691.97/1696.22 c 1696s| 20700 | 20701 | 16968k| 778.9 | 335M | 92 | 465 |1004 |1041 | 122k| 1 | 966 |1973 | 1.624684e+02 | 1.840000e+02 | 13.25%| unknown
1698.65/1702.90 c 1703s| 20800 | 20801 | 17043k| 778.8 | 336M | 92 | 465 |1006 |1052 | 123k| 1 | 970 |1978 | 1.624718e+02 | 1.840000e+02 | 13.25%| unknown
1703.85/1708.12 c 1708s| 20900 | 20901 | 17105k| 778.1 | 336M | 92 | 465 |1006 |1050 | 123k| 1 | 972 |1980 | 1.624735e+02 | 1.840000e+02 | 13.25%| unknown
1709.22/1713.59 c 1714s| 21000 | 21001 | 17169k| 777.5 | 336M | 92 | 465 |1006 |1045 | 124k| 1 | 976 |1983 | 1.624751e+02 | 1.840000e+02 | 13.25%| unknown
1715.00/1719.35 c 1719s| 21100 | 21101 | 17235k| 776.9 | 336M | 92 | 465 |1010 |1054 | 124k| 4 | 980 |1984 | 1.624769e+02 | 1.840000e+02 | 13.25%| unknown
1720.29/1724.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1720.29/1724.62 c 1725s| 21200 | 21201 | 17297k| 776.2 | 336M | 92 | 465 |1012 |1029 | 125k| 1 | 985 |1985 | 1.624785e+02 | 1.840000e+02 | 13.25%| unknown
1726.27/1730.62 c 1731s| 21300 | 21301 | 17368k| 775.9 | 336M | 92 | 465 |1010 |1027 | 125k| 1 | 986 |1986 | 1.624804e+02 | 1.840000e+02 | 13.24%| unknown
1730.35/1734.76 c 1735s| 21400 | 21401 | 17417k| 774.7 | 336M | 92 | 465 |1010 |1055 | 126k| 1 | 986 |1986 | 1.624829e+02 | 1.840000e+02 | 13.24%| unknown
1737.23/1741.63 c 1742s| 21500 | 21501 | 17491k| 774.5 | 336M | 92 | 465 |1008 |1039 | 126k| 1 | 989 |1991 | 1.624845e+02 | 1.840000e+02 | 13.24%| unknown
1742.51/1746.96 c 1747s| 21600 | 21601 | 17552k| 773.8 | 336M | 92 | 465 |1009 |1021 | 127k| 1 | 991 |1997 | 1.624865e+02 | 1.840000e+02 | 13.24%| unknown
1748.00/1752.43 c 1752s| 21700 | 21701 | 17614k| 773.1 | 336M | 92 | 465 |1015 |1032 | 127k| 1 |1004 |1998 | 1.624883e+02 | 1.840000e+02 | 13.24%| unknown
1753.88/1758.30 c 1758s| 21800 | 21801 | 17680k| 772.6 | 336M | 92 | 465 |1020 |1027 | 127k| 1 |1010 |2001 | 1.624909e+02 | 1.840000e+02 | 13.24%| unknown
1759.96/1764.45 c 1764s| 21900 | 21901 | 17748k| 772.2 | 336M | 92 | 465 |1028 |1028 | 128k| 1 |1020 |2004 | 1.624919e+02 | 1.840000e+02 | 13.24%| unknown
1764.56/1769.07 c 1769s| 22000 | 22001 | 17801k| 771.1 | 336M | 92 | 465 |1027 |1027 | 128k| 1 |1020 |2007 | 1.624938e+02 | 1.840000e+02 | 13.24%| unknown
1771.43/1775.98 c 1776s| 22100 | 22101 | 17875k| 771.0 | 337M | 92 | 465 |1030 |1015 | 129k| 1 |1025 |2010 | 1.624956e+02 | 1.840000e+02 | 13.23%| unknown
1777.31/1781.81 c 1782s| 22200 | 22201 | 17938k| 770.4 | 337M | 92 | 465 |1030 |1046 | 129k| 1 |1026 |2013 | 1.624974e+02 | 1.840000e+02 | 13.23%| unknown
1783.39/1787.97 c 1788s| 22300 | 22301 | 18009k| 770.2 | 337M | 92 | 465 |1031 |1032 | 130k| 1 |1029 |2013 | 1.624986e+02 | 1.840000e+02 | 13.23%| unknown
1791.07/1795.61 c 1796s| 22400 | 22401 | 18100k| 770.8 | 337M | 92 | 465 |1028 |1040 | 130k| 1 |1029 |2015 | 1.625001e+02 | 1.840000e+02 | 13.23%| unknown
1797.05/1801.63 c 1802s| 22500 | 22501 | 18170k| 770.4 | 337M | 92 | 465 |1023 |1025 | 131k| 1 |1031 |2016 | 1.625029e+02 | 1.840000e+02 | 13.23%| unknown
1803.93/1808.51 c 1809s| 22600 | 22601 | 18244k| 770.3 | 337M | 92 | 465 |1028 | 989 | 131k| 1 |1040 |2017 | 1.625043e+02 | 1.840000e+02 | 13.23%| unknown
1809.21/1813.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1809.21/1813.86 c 1814s| 22700 | 22701 | 18308k| 769.8 | 338M | 92 | 465 |1032 |1017 | 132k| 1 |1044 |2017 | 1.625063e+02 | 1.840000e+02 | 13.23%| unknown
1815.19/1819.83 c 1820s| 22800 | 22801 | 18372k| 769.2 | 338M | 92 | 465 |1032 |1018 | 132k| 1 |1048 |2018 | 1.625096e+02 | 1.840000e+02 | 13.22%| unknown
1821.17/1825.81 c 1826s| 22900 | 22901 | 18439k| 768.8 | 338M | 92 | 465 |1031 |1012 | 133k| 1 |1048 |2018 | 1.625120e+02 | 1.840000e+02 | 13.22%| unknown
1827.65/1832.32 c 1832s| 23000 | 23001 | 18506k| 768.4 | 339M | 92 | 465 |1031 |1013 | 133k| 1 |1055 |2018 | 1.625148e+02 | 1.840000e+02 | 13.22%| unknown
1832.94/1837.65 c 1838s| 23100 | 23101 | 18567k| 767.8 | 339M | 92 | 465 |1034 |1038 | 134k| 1 |1060 |2019 | 1.625176e+02 | 1.840000e+02 | 13.22%| unknown
1840.11/1844.82 c 1845s| 23200 | 23201 | 18639k| 767.6 | 339M | 92 | 465 |1034 |1049 | 134k| 1 |1067 |2026 | 1.625195e+02 | 1.840000e+02 | 13.22%| unknown
1844.80/1849.57 c 1850s| 23300 | 23301 | 18691k| 766.5 | 339M | 92 | 465 |1034 |1028 | 135k| 1 |1067 |2034 | 1.625210e+02 | 1.840000e+02 | 13.22%| unknown
1851.39/1856.12 c 1856s| 23400 | 23401 | 18763k| 766.3 | 339M | 92 | 465 |1037 |1035 | 135k| 1 |1075 |2038 | 1.625234e+02 | 1.840000e+02 | 13.21%| unknown
1856.86/1861.65 c 1862s| 23500 | 23501 | 18825k| 765.8 | 339M | 92 | 465 |1036 |1016 | 136k| 1 |1077 |2042 | 1.625249e+02 | 1.840000e+02 | 13.21%| unknown
1863.36/1868.15 c 1868s| 23600 | 23601 | 18896k| 765.5 | 339M | 92 | 465 |1044 |1043 | 136k| 1 |1088 |2046 | 1.625264e+02 | 1.840000e+02 | 13.21%| unknown
1868.63/1873.48 c 1873s| 23700 | 23701 | 18961k| 765.0 | 339M | 92 | 465 |1044 |1017 | 137k| 1 |1088 |2048 | 1.625287e+02 | 1.840000e+02 | 13.21%| unknown
1874.41/1879.24 c 1879s| 23800 | 23801 | 19022k| 764.4 | 340M | 92 | 465 |1040 |1051 | 137k| 1 |1090 |2049 | 1.625313e+02 | 1.840000e+02 | 13.21%| unknown
1878.89/1883.72 c 1884s| 23900 | 23901 | 19075k| 763.5 | 340M | 92 | 465 |1041 |1032 | 138k| 1 |1093 |2050 | 1.625333e+02 | 1.840000e+02 | 13.21%| unknown
1887.57/1892.42 c 1892s| 24000 | 24001 | 19184k| 764.8 | 340M | 92 | 465 |1033 |1055 | 138k| 1 |1094 |2052 | 1.625347e+02 | 1.840000e+02 | 13.21%| unknown
1892.16/1897.04 c 1897s| 24100 | 24101 | 19238k| 763.9 | 340M | 92 | 465 |1029 |1015 | 139k| 1 |1094 |2054 | 1.625370e+02 | 1.840000e+02 | 13.21%| unknown
1898.43/1903.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1898.43/1903.37 c 1903s| 24200 | 24201 | 19308k| 763.6 | 340M | 92 | 465 |1034 |1004 | 139k| 1 |1104 |2055 | 1.625390e+02 | 1.840000e+02 | 13.20%| unknown
1904.72/1909.63 c 1910s| 24300 | 24301 | 19382k| 763.6 | 340M | 92 | 465 |1035 |1042 | 140k| 4 |1109 |2057 | 1.625409e+02 | 1.840000e+02 | 13.20%| unknown
1911.11/1916.04 c 1916s| 24400 | 24401 | 19451k| 763.3 | 340M | 92 | 465 |1032 |1041 | 140k| 1 |1112 |2058 | 1.625422e+02 | 1.840000e+02 | 13.20%| unknown
1915.79/1920.78 c 1921s| 24500 | 24501 | 19508k| 762.5 | 340M | 92 | 465 |1032 |1049 | 140k| 1 |1113 |2059 | 1.625436e+02 | 1.840000e+02 | 13.20%| unknown
1921.18/1926.17 c 1926s| 24600 | 24601 | 19569k| 761.9 | 340M | 92 | 465 |1028 |1053 | 141k| 1 |1114 |2061 | 1.625462e+02 | 1.840000e+02 | 13.20%| unknown
1927.35/1932.35 c 1932s| 24700 | 24701 | 19638k| 761.6 | 340M | 92 | 465 |1027 |1021 | 141k| 1 |1114 |2063 | 1.625480e+02 | 1.840000e+02 | 13.20%| unknown
1932.83/1937.89 c 1938s| 24800 | 24801 | 19700k| 761.1 | 340M | 92 | 465 |1029 | 997 | 142k| 1 |1118 |2064 | 1.625493e+02 | 1.840000e+02 | 13.20%| unknown
1939.51/1944.52 c 1945s| 24900 | 24901 | 19774k| 761.0 | 340M | 92 | 465 |1027 |1032 | 142k| 1 |1120 |2067 | 1.625501e+02 | 1.840000e+02 | 13.20%| unknown
1946.11/1951.12 c 1951s| 25000 | 25001 | 19848k| 760.9 | 340M | 92 | 465 |1025 |1034 | 143k| 1 |1121 |2068 | 1.625514e+02 | 1.840000e+02 | 13.19%| unknown
1952.37/1957.42 c 1957s| 25100 | 25101 | 19921k| 760.8 | 340M | 92 | 465 |1026 |1023 | 143k| 1 |1127 |2069 | 1.625526e+02 | 1.840000e+02 | 13.19%| unknown
1957.36/1962.43 c 1962s| 25200 | 25201 | 19978k| 760.1 | 340M | 92 | 465 |1026 |1046 | 144k| 1 |1127 |2075 | 1.625546e+02 | 1.840000e+02 | 13.19%| unknown
1963.74/1968.86 c 1969s| 25300 | 25301 | 20055k| 760.1 | 341M | 92 | 465 |1025 |1027 | 144k| 1 |1131 |2080 | 1.625570e+02 | 1.840000e+02 | 13.19%| unknown
1968.72/1973.85 c 1974s| 25400 | 25401 | 20115k| 759.5 | 341M | 92 | 465 |1029 |1007 | 145k| 1 |1136 |2082 | 1.625583e+02 | 1.840000e+02 | 13.19%| unknown
1973.81/1978.97 c 1979s| 25500 | 25501 | 20178k| 759.0 | 341M | 92 | 465 |1025 |1033 | 145k| 1 |1138 |2082 | 1.625592e+02 | 1.840000e+02 | 13.19%| unknown
1980.00/1985.13 c 1985s| 25600 | 25601 | 20251k| 758.9 | 341M | 92 | 465 |1023 |1037 | 146k| 1 |1142 |2085 | 1.625611e+02 | 1.840000e+02 | 13.19%| unknown
1984.67/1989.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1984.67/1989.87 c 1990s| 25700 | 25701 | 20307k| 758.2 | 341M | 92 | 465 |1022 |1008 | 146k| 1 |1143 |2085 | 1.625626e+02 | 1.840000e+02 | 13.19%| unknown
1990.46/1995.65 c 1996s| 25800 | 25801 | 20376k| 757.9 | 341M | 92 | 465 |1020 |1041 | 146k| 1 |1143 |2087 | 1.625638e+02 | 1.840000e+02 | 13.19%| unknown
1995.24/2000.41 c 2000s| 25900 | 25901 | 20430k| 757.1 | 341M | 92 | 465 |1020 |1028 | 147k| 1 |1145 |2089 | 1.625651e+02 | 1.840000e+02 | 13.19%| unknown
2001.12/2006.36 c 2006s| 26000 | 26001 | 20501k| 756.9 | 341M | 92 | 465 |1022 |1037 | 147k| 1 |1148 |2090 | 1.625670e+02 | 1.840000e+02 | 13.18%| unknown
2007.50/2012.73 c 2013s| 26100 | 26101 | 20572k| 756.8 | 341M | 92 | 465 |1021 |1030 | 148k| 1 |1148 |2094 | 1.625688e+02 | 1.840000e+02 | 13.18%| unknown
2012.69/2017.95 c 2018s| 26200 | 26201 | 20634k| 756.3 | 341M | 92 | 465 |1025 |1041 | 148k| 1 |1154 |2096 | 1.625697e+02 | 1.840000e+02 | 13.18%| unknown
2018.47/2023.71 c 2024s| 26300 | 26301 | 20698k| 755.8 | 341M | 92 | 465 |1029 |1017 | 149k| 1 |1160 |2098 | 1.625706e+02 | 1.840000e+02 | 13.18%| unknown
2024.95/2030.24 c 2030s| 26400 | 26401 | 20771k| 755.7 | 341M | 92 | 465 |1031 |1012 | 149k| 4 |1167 |2099 | 1.625715e+02 | 1.840000e+02 | 13.18%| unknown
2029.85/2035.19 c 2035s| 26500 | 26501 | 20832k| 755.2 | 341M | 92 | 465 |1029 |1014 | 150k| 1 |1167 |2101 | 1.625720e+02 | 1.840000e+02 | 13.18%| unknown
2035.52/2040.83 c 2041s| 26600 | 26601 | 20896k| 754.8 | 341M | 92 | 465 |1028 |1010 | 150k| 1 |1169 |2104 | 1.625743e+02 | 1.840000e+02 | 13.18%| unknown
2041.00/2046.35 c 2046s| 26700 | 26701 | 20964k| 754.5 | 341M | 92 | 465 |1025 |1003 | 150k| 1 |1170 |2105 | 1.625766e+02 | 1.840000e+02 | 13.18%| unknown
2046.88/2052.25 c 2052s| 26800 | 26801 | 21031k| 754.2 | 341M | 92 | 465 |1027 |1022 | 151k| 1 |1174 |2110 | 1.625777e+02 | 1.840000e+02 | 13.18%| unknown
2052.46/2057.84 c 2058s| 26900 | 26901 | 21096k| 753.9 | 341M | 92 | 465 |1030 |1026 | 151k| 1 |1179 |2110 | 1.625795e+02 | 1.840000e+02 | 13.18%| unknown
2058.55/2063.96 c 2064s| 27000 | 27001 | 21173k| 753.9 | 341M | 92 | 465 |1028 |1051 | 152k| 1 |1181 |2111 | 1.625805e+02 | 1.840000e+02 | 13.17%| unknown
2063.83/2069.22 c 2069s| 27100 | 27101 | 21235k| 753.4 | 342M | 92 | 465 |1027 |1021 | 152k| 1 |1183 |2115 | 1.625817e+02 | 1.840000e+02 | 13.17%| unknown
2070.41/2075.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2070.41/2075.87 c 2076s| 27200 | 27201 | 21307k| 753.3 | 342M | 92 | 465 |1032 |1044 | 153k| 1 |1191 |2120 | 1.625843e+02 | 1.840000e+02 | 13.17%| unknown
2075.71/2081.15 c 2081s| 27300 | 27301 | 21368k| 752.8 | 342M | 92 | 465 |1034 |1047 | 153k| 1 |1196 |2123 | 1.625859e+02 | 1.840000e+02 | 13.17%| unknown
2081.77/2087.21 c 2087s| 27400 | 27401 | 21433k| 752.4 | 342M | 92 | 465 |1032 |1038 | 154k| 1 |1198 |2128 | 1.625869e+02 | 1.840000e+02 | 13.17%| unknown
2087.36/2092.83 c 2093s| 27500 | 27501 | 21495k| 752.0 | 342M | 92 | 465 |1032 |1032 | 154k| 1 |1201 |2133 | 1.625884e+02 | 1.840000e+02 | 13.17%| unknown
2093.74/2099.23 c 2099s| 27600 | 27601 | 21566k| 751.8 | 342M | 92 | 465 |1031 |1032 | 154k| 1 |1205 |2135 | 1.625900e+02 | 1.840000e+02 | 13.17%| unknown
2099.53/2105.03 c 2105s| 27700 | 27701 | 21633k| 751.6 | 343M | 92 | 465 |1031 |1024 | 155k| 1 |1206 |2138 | 1.625913e+02 | 1.840000e+02 | 13.17%| unknown
2104.70/2110.23 c 2110s| 27800 | 27801 | 21691k| 751.0 | 343M | 92 | 465 |1031 |1030 | 155k| 1 |1210 |2141 | 1.625929e+02 | 1.840000e+02 | 13.17%| unknown
2110.19/2115.77 c 2116s| 27900 | 27901 | 21754k| 750.5 | 343M | 92 | 465 |1032 |1035 | 156k| 1 |1213 |2143 | 1.625946e+02 | 1.840000e+02 | 13.16%| unknown
2116.58/2122.17 c 2122s| 28000 | 28001 | 21825k| 750.4 | 343M | 92 | 465 |1030 | 981 | 156k| 1 |1214 |2144 | 1.625957e+02 | 1.840000e+02 | 13.16%| unknown
2122.05/2127.63 c 2128s| 28100 | 28101 | 21890k| 750.1 | 343M | 92 | 465 |1032 |1044 | 157k| 1 |1218 |2144 | 1.625967e+02 | 1.840000e+02 | 13.16%| unknown
2128.73/2134.35 c 2134s| 28200 | 28201 | 21960k| 749.9 | 343M | 92 | 465 |1025 |1044 | 157k| 1 |1219 |2145 | 1.625985e+02 | 1.840000e+02 | 13.16%| unknown
2133.91/2139.53 c 2140s| 28300 | 28301 | 22018k| 749.3 | 343M | 92 | 465 |1022 |1051 | 158k| 1 |1224 |2145 | 1.625996e+02 | 1.840000e+02 | 13.16%| unknown
2139.00/2144.65 c 2145s| 28400 | 28401 | 22079k| 748.8 | 343M | 92 | 465 |1022 |1015 | 158k| 1 |1227 |2147 | 1.626009e+02 | 1.840000e+02 | 13.16%| unknown
2145.08/2150.74 c 2151s| 28500 | 28501 | 22149k| 748.7 | 343M | 92 | 465 |1021 |1028 | 158k| 1 |1229 |2150 | 1.626023e+02 | 1.840000e+02 | 13.16%| unknown
2151.56/2157.27 c 2157s| 28600 | 28601 | 22232k| 748.9 | 343M | 92 | 465 |1019 |1017 | 159k| 1 |1229 |2157 | 1.626029e+02 | 1.840000e+02 | 13.16%| unknown
2157.54/2163.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2157.54/2163.25 c 2163s| 28700 | 28701 | 22301k| 748.7 | 344M | 92 | 465 |1020 |1040 | 159k| 1 |1234 |2159 | 1.626046e+02 | 1.840000e+02 | 13.16%| unknown
2162.62/2168.30 c 2168s| 28800 | 28801 | 22361k| 748.3 | 344M | 92 | 465 |1021 |1029 | 160k| 1 |1236 |2161 | 1.626062e+02 | 1.840000e+02 | 13.16%| unknown
2166.91/2172.66 c 2173s| 28900 | 28901 | 22412k| 747.4 | 344M | 92 | 465 |1020 |1032 | 160k| 1 |1236 |2163 | 1.626077e+02 | 1.840000e+02 | 13.16%| unknown
2173.59/2179.33 c 2179s| 29000 | 29001 | 22489k| 747.5 | 344M | 92 | 465 |1029 |1021 | 161k| 1 |1253 |2164 | 1.626088e+02 | 1.840000e+02 | 13.15%| unknown
2178.58/2184.33 c 2184s| 29100 | 29101 | 22550k| 747.1 | 344M | 92 | 465 |1027 |1016 | 161k| 1 |1254 |2166 | 1.626099e+02 | 1.840000e+02 | 13.15%| unknown
2184.37/2190.18 c 2190s| 29200 | 29201 | 22615k| 746.8 | 345M | 92 | 465 |1027 |1006 | 161k| 1 |1257 |2168 | 1.626118e+02 | 1.840000e+02 | 13.15%| unknown
2190.14/2195.99 c 2196s| 29300 | 29301 | 22683k| 746.5 | 345M | 92 | 465 |1026 |1036 | 162k| 1 |1258 |2169 | 1.626133e+02 | 1.840000e+02 | 13.15%| unknown
2196.62/2202.41 c 2202s| 29400 | 29401 | 22757k| 746.5 | 345M | 92 | 465 |1027 |1005 | 162k| 1 |1262 |2175 | 1.626151e+02 | 1.840000e+02 | 13.15%| unknown
2203.00/2208.82 c 2209s| 29500 | 29501 | 22835k| 746.6 | 345M | 92 | 465 |1032 |1022 | 163k| 1 |1267 |2177 | 1.626163e+02 | 1.840000e+02 | 13.15%| unknown
2209.38/2215.29 c 2215s| 29600 | 29601 | 22909k| 746.6 | 346M | 92 | 465 |1035 |1039 | 163k| 1 |1275 |2180 | 1.626177e+02 | 1.840000e+02 | 13.15%| unknown
2214.76/2220.67 c 2221s| 29700 | 29701 | 22971k| 746.2 | 346M | 92 | 465 |1035 |1039 | 164k| 1 |1278 |2180 | 1.626194e+02 | 1.840000e+02 | 13.15%| unknown
2220.55/2226.46 c 2226s| 29800 | 29801 | 23035k| 745.8 | 346M | 92 | 465 |1038 |1033 | 164k| 1 |1284 |2182 | 1.626204e+02 | 1.840000e+02 | 13.15%| unknown
2225.33/2231.28 c 2231s| 29900 | 29901 | 23092k| 745.3 | 346M | 92 | 465 |1034 |1035 | 164k| 1 |1284 |2185 | 1.626212e+02 | 1.840000e+02 | 13.15%| unknown
2231.01/2236.94 c 2237s| 30000 | 30001 | 23158k| 745.0 | 346M | 92 | 465 |1032 |1047 | 165k| 1 |1287 |2187 | 1.626235e+02 | 1.840000e+02 | 13.14%| unknown
2236.60/2242.52 c 2243s| 30100 | 30101 | 23220k| 744.6 | 346M | 92 | 465 |1036 |1031 | 165k| 1 |1293 |2191 | 1.626248e+02 | 1.840000e+02 | 13.14%| unknown
2242.38/2248.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2242.38/2248.36 c 2248s| 30200 | 30201 | 23291k| 744.5 | 346M | 92 | 465 |1038 |1027 | 166k| 1 |1296 |2191 | 1.626261e+02 | 1.840000e+02 | 13.14%| unknown
2251.45/2257.48 c 2257s| 30300 | 30301 | 23426k| 746.4 | 346M | 92 | 465 |1047 |1016 | 166k| 1 |1306 |2192 | 1.626278e+02 | 1.840000e+02 | 13.14%| unknown
2257.53/2263.50 c 2263s| 30400 | 30401 | 23486k| 746.0 | 347M | 92 | 465 |1042 |1014 | 166k| 1 |1312 |2194 | 1.626293e+02 | 1.840000e+02 | 13.14%| unknown
2264.21/2270.21 c 2270s| 30500 | 30501 | 23565k| 746.1 | 347M | 92 | 465 |1040 |1060 | 167k| 1 |1318 |2194 | 1.626307e+02 | 1.840000e+02 | 13.14%| unknown
2269.69/2275.73 c 2276s| 30600 | 30601 | 23633k| 745.9 | 347M | 92 | 465 |1039 |1028 | 167k| 1 |1321 |2195 | 1.626319e+02 | 1.840000e+02 | 13.14%| unknown
2274.09/2280.18 c 2280s| 30700 | 30701 | 23686k| 745.2 | 347M | 92 | 465 |1035 |1015 | 168k| 1 |1321 |2195 | 1.626335e+02 | 1.840000e+02 | 13.14%| unknown
2280.16/2286.24 c 2286s| 30800 | 30801 | 23757k| 745.1 | 347M | 92 | 465 |1033 |1009 | 168k| 1 |1323 |2196 | 1.626345e+02 | 1.840000e+02 | 13.14%| unknown
2285.06/2291.18 c 2291s| 30900 | 30901 | 23815k| 744.6 | 347M | 92 | 465 |1031 |1028 | 169k| 1 |1323 |2199 | 1.626365e+02 | 1.840000e+02 | 13.14%| unknown
2291.23/2297.36 c 2297s| 31000 | 31001 | 23885k| 744.4 | 347M | 92 | 465 |1032 |1043 | 169k| 1 |1327 |2199 | 1.626374e+02 | 1.840000e+02 | 13.14%| unknown
2296.92/2303.10 c 2303s| 31100 | 31101 | 23953k| 744.2 | 347M | 92 | 465 |1030 |1007 | 169k| 1 |1329 |2200 | 1.626398e+02 | 1.840000e+02 | 13.13%| unknown
2303.79/2310.00 c 2310s| 31200 | 31201 | 24039k| 744.6 | 348M | 92 | 465 |1027 |1026 | 170k| 1 |1340 |2202 | 1.626417e+02 | 1.840000e+02 | 13.13%| unknown
2308.77/2314.98 c 2315s| 31300 | 31301 | 24097k| 744.1 | 348M | 92 | 465 |1028 |1040 | 170k| 1 |1343 |2205 | 1.626427e+02 | 1.840000e+02 | 13.13%| unknown
2314.76/2320.99 c 2321s| 31400 | 31401 | 24157k| 743.6 | 348M | 92 | 465 |1026 |1040 | 171k| 1 |1345 |2208 | 1.626439e+02 | 1.840000e+02 | 13.13%| unknown
2320.04/2326.22 c 2326s| 31500 | 31501 | 24217k| 743.2 | 348M | 92 | 465 |1021 |1053 | 171k| 1 |1350 |2210 | 1.626455e+02 | 1.840000e+02 | 13.13%| unknown
2326.93/2333.19 c 2333s| 31600 | 31601 | 24299k| 743.4 | 348M | 92 | 465 |1021 | 963 | 172k| 1 |1350 |2211 | 1.626471e+02 | 1.840000e+02 | 13.13%| unknown
2333.00/2339.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2333.00/2339.22 c 2339s| 31700 | 31701 | 24371k| 743.4 | 348M | 92 | 465 |1023 |1048 | 172k| 1 |1355 |2214 | 1.626481e+02 | 1.840000e+02 | 13.13%| unknown
2338.58/2344.86 c 2345s| 31800 | 31801 | 24434k| 743.0 | 349M | 92 | 465 |1019 |1017 | 172k| 1 |1358 |2214 | 1.626497e+02 | 1.840000e+02 | 13.13%| unknown
2344.16/2350.44 c 2350s| 31900 | 31901 | 24497k| 742.7 | 349M | 92 | 465 |1016 | 986 | 173k| 1 |1364 |2215 | 1.626509e+02 | 1.840000e+02 | 13.13%| unknown
2349.15/2355.46 c 2355s| 32000 | 32001 | 24557k| 742.2 | 349M | 92 | 465 |1019 |1027 | 173k| 1 |1369 |2217 | 1.626521e+02 | 1.840000e+02 | 13.12%| unknown
2355.13/2361.42 c 2361s| 32100 | 32101 | 24626k| 742.1 | 349M | 92 | 465 |1017 |1040 | 174k| 1 |1372 |2218 | 1.626538e+02 | 1.840000e+02 | 13.12%| unknown
2360.51/2366.81 c 2367s| 32200 | 32201 | 24691k| 741.8 | 349M | 92 | 465 |1016 |1031 | 174k| 1 |1375 |2219 | 1.626548e+02 | 1.840000e+02 | 13.12%| unknown
2366.10/2372.47 c 2372s| 32300 | 32301 | 24758k| 741.6 | 349M | 92 | 465 |1017 |1030 | 175k| 1 |1378 |2221 | 1.626557e+02 | 1.840000e+02 | 13.12%| unknown
2370.88/2377.23 c 2377s| 32400 | 32401 | 24816k| 741.1 | 349M | 92 | 465 |1015 |1009 | 175k| 3 |1378 |2221 | 1.626568e+02 | 1.840000e+02 | 13.12%| unknown
2376.17/2382.52 c 2383s| 32500 | 32501 | 24882k| 740.9 | 349M | 92 | 465 |1017 |1054 | 175k| 1 |1381 |2221 | 1.626584e+02 | 1.840000e+02 | 13.12%| unknown
2382.35/2388.79 c 2389s| 32600 | 32601 | 24951k| 740.7 | 349M | 92 | 465 |1017 |1019 | 176k| 1 |1385 |2226 | 1.626595e+02 | 1.840000e+02 | 13.12%| unknown
2386.94/2393.36 c 2393s| 32700 | 32701 | 25005k| 740.1 | 349M | 92 | 465 |1018 |1043 | 176k| 4 |1389 |2226 | 1.626604e+02 | 1.840000e+02 | 13.12%| unknown
2393.63/2400.06 c 2400s| 32800 | 32801 | 25092k| 740.5 | 349M | 92 | 465 |1017 |1060 | 177k| 1 |1391 |2226 | 1.626608e+02 | 1.840000e+02 | 13.12%| unknown
2399.11/2405.59 c 2406s| 32900 | 32901 | 25156k| 740.2 | 349M | 92 | 465 |1015 |1032 | 177k| 1 |1393 |2227 | 1.626616e+02 | 1.840000e+02 | 13.12%| unknown
2404.19/2410.69 c 2411s| 33000 | 33001 | 25217k| 739.8 | 350M | 92 | 465 |1012 |1006 | 177k| 1 |1395 |2228 | 1.626622e+02 | 1.840000e+02 | 13.12%| unknown
2409.48/2415.92 c 2416s| 33100 | 33101 | 25275k| 739.4 | 350M | 92 | 465 |1008 |1012 | 178k| 1 |1396 |2234 | 1.626638e+02 | 1.840000e+02 | 13.12%| unknown
2415.77/2422.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2415.77/2422.24 c 2422s| 33200 | 33201 | 25345k| 739.2 | 350M | 92 | 465 |1009 |1033 | 178k| 1 |1398 |2238 | 1.626664e+02 | 1.840000e+02 | 13.11%| unknown
2420.86/2427.35 c 2427s| 33300 | 33301 | 25403k| 738.8 | 350M | 92 | 465 |1003 |1036 | 179k| 1 |1399 |2242 | 1.626671e+02 | 1.840000e+02 | 13.11%| unknown
2426.44/2432.96 c 2433s| 33400 | 33401 | 25467k| 738.5 | 350M | 92 | 465 |1003 |1012 | 179k| 1 |1403 |2245 | 1.626687e+02 | 1.840000e+02 | 13.11%| unknown
2431.73/2438.29 c 2438s| 33500 | 33501 | 25530k| 738.2 | 350M | 92 | 465 |1002 |1024 | 179k| 1 |1407 |2250 | 1.626696e+02 | 1.840000e+02 | 13.11%| unknown
2437.02/2443.51 c 2444s| 33600 | 33601 | 25588k| 737.7 | 350M | 92 | 465 |1009 |1005 | 180k| 1 |1415 |2252 | 1.626712e+02 | 1.840000e+02 | 13.11%| unknown
2442.31/2448.87 c 2449s| 33700 | 33701 | 25652k| 737.4 | 350M | 92 | 465 |1009 |1051 | 180k| 1 |1417 |2253 | 1.626720e+02 | 1.840000e+02 | 13.11%| unknown
2447.79/2454.39 c 2454s| 33800 | 33801 | 25717k| 737.2 | 350M | 92 | 465 |1008 |1021 | 181k| 1 |1420 |2253 | 1.626738e+02 | 1.840000e+02 | 13.11%| unknown
2453.78/2460.34 c 2460s| 33900 | 33901 | 25788k| 737.1 | 350M | 92 | 465 |1009 |1024 | 181k| 1 |1426 |2254 | 1.626755e+02 | 1.840000e+02 | 13.11%| unknown
2459.07/2465.69 c 2466s| 34000 | 34001 | 25849k| 736.7 | 350M | 92 | 465 |1015 |1029 | 181k| 1 |1434 |2255 | 1.626768e+02 | 1.840000e+02 | 13.11%| unknown
2464.05/2470.67 c 2471s| 34100 | 34101 | 25908k| 736.3 | 350M | 92 | 465 |1015 |1004 | 182k| 1 |1435 |2255 | 1.626776e+02 | 1.840000e+02 | 13.11%| unknown
2469.74/2476.35 c 2476s| 34200 | 34201 | 25973k| 736.1 | 350M | 92 | 465 |1015 |1041 | 182k| 1 |1442 |2257 | 1.626791e+02 | 1.840000e+02 | 13.11%| unknown
2475.44/2482.11 c 2482s| 34300 | 34301 | 26039k| 735.9 | 350M | 92 | 465 |1017 |1021 | 182k| 1 |1445 |2257 | 1.626802e+02 | 1.840000e+02 | 13.11%| unknown
2482.01/2488.60 c 2489s| 34400 | 34401 | 26119k| 736.1 | 350M | 92 | 465 |1016 |1014 | 183k| 1 |1447 |2260 | 1.626812e+02 | 1.840000e+02 | 13.10%| unknown
2487.30/2493.95 c 2494s| 34500 | 34501 | 26185k| 735.8 | 350M | 92 | 465 |1016 |1055 | 183k| 1 |1447 |2260 | 1.626827e+02 | 1.840000e+02 | 13.10%| unknown
2492.88/2499.53 c 2500s| 34600 | 34601 | 26249k| 735.6 | 350M | 92 | 465 |1016 |1056 | 184k| 1 |1448 |2262 | 1.626847e+02 | 1.840000e+02 | 13.10%| unknown
2499.77/2506.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2499.77/2506.41 c 2506s| 34700 | 34701 | 26325k| 735.6 | 351M | 92 | 465 |1013 |1020 | 184k| 1 |1451 |2263 | 1.626858e+02 | 1.840000e+02 | 13.10%| unknown
2505.65/2512.35 c 2512s| 34800 | 34801 | 26395k| 735.5 | 351M | 92 | 465 |1020 |1023 | 184k| 1 |1460 |2263 | 1.626874e+02 | 1.840000e+02 | 13.10%| unknown
2510.84/2517.55 c 2518s| 34900 | 34901 | 26450k| 735.0 | 351M | 92 | 465 |1021 |1030 | 185k| 1 |1464 |2263 | 1.626892e+02 | 1.840000e+02 | 13.10%| unknown
2516.53/2523.22 c 2523s| 35000 | 35001 | 26517k| 734.8 | 351M | 92 | 465 |1020 |1042 | 185k| 1 |1467 |2265 | 1.626906e+02 | 1.840000e+02 | 13.10%| unknown
2522.11/2528.85 c 2529s| 35100 | 35101 | 26579k| 734.5 | 351M | 92 | 465 |1019 |1044 | 186k| 1 |1470 |2269 | 1.626917e+02 | 1.840000e+02 | 13.10%| unknown
2527.60/2534.36 c 2534s| 35200 | 35201 | 26643k| 734.3 | 351M | 92 | 465 |1026 |1032 | 186k| 1 |1477 |2272 | 1.626925e+02 | 1.840000e+02 | 13.10%| unknown
2533.78/2540.52 c 2541s| 35300 | 35301 | 26711k| 734.1 | 351M | 92 | 465 |1021 |1027 | 187k| 1 |1480 |2274 | 1.626933e+02 | 1.840000e+02 | 13.10%| unknown
2539.67/2546.43 c 2546s| 35400 | 35401 | 26780k| 734.0 | 351M | 92 | 465 |1027 |1049 | 187k| 1 |1487 |2279 | 1.626957e+02 | 1.840000e+02 | 13.09%| unknown
2546.15/2552.95 c 2553s| 35500 | 35501 | 26862k| 734.2 | 351M | 92 | 465 |1029 |1008 | 187k| 1 |1490 |2280 | 1.626980e+02 | 1.840000e+02 | 13.09%| unknown
2552.04/2558.85 c 2559s| 35600 | 35601 | 26929k| 734.1 | 351M | 92 | 465 |1025 | 971 | 188k| 1 |1491 |2283 | 1.626995e+02 | 1.840000e+02 | 13.09%| unknown
2556.73/2563.58 c 2564s| 35700 | 35701 | 26985k| 733.6 | 351M | 92 | 465 |1030 |1020 | 188k| 1 |1496 |2284 | 1.627008e+02 | 1.840000e+02 | 13.09%| unknown
2562.61/2569.46 c 2569s| 35800 | 35801 | 27052k| 733.4 | 351M | 92 | 465 |1028 |1038 | 189k| 1 |1496 |2286 | 1.627020e+02 | 1.840000e+02 | 13.09%| unknown
2568.40/2575.24 c 2575s| 35900 | 35901 | 27124k| 733.4 | 351M | 92 | 465 |1029 |1041 | 189k| 1 |1498 |2288 | 1.627029e+02 | 1.840000e+02 | 13.09%| unknown
2574.09/2580.96 c 2581s| 36000 | 36001 | 27191k| 733.2 | 351M | 92 | 465 |1031 |1041 | 189k| 1 |1503 |2289 | 1.627042e+02 | 1.840000e+02 | 13.09%| unknown
2579.77/2586.65 c 2587s| 36100 | 36101 | 27258k| 733.0 | 351M | 92 | 465 |1037 |1020 | 190k| 1 |1511 |2289 | 1.627051e+02 | 1.840000e+02 | 13.09%| unknown
2584.86/2591.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2584.86/2591.79 c 2592s| 36200 | 36201 | 27317k| 732.7 | 352M | 92 | 465 |1038 |1008 | 190k| 1 |1515 |2289 | 1.627064e+02 | 1.840000e+02 | 13.09%| unknown
2590.05/2596.97 c 2597s| 36300 | 36301 | 27379k| 732.3 | 352M | 92 | 465 |1038 |1018 | 191k| 1 |1515 |2290 | 1.627072e+02 | 1.840000e+02 | 13.09%| unknown
2595.84/2602.78 c 2603s| 36400 | 36401 | 27444k| 732.1 | 352M | 92 | 465 |1040 |1034 | 191k| 1 |1520 |2291 | 1.627085e+02 | 1.840000e+02 | 13.09%| unknown
2601.52/2608.41 c 2608s| 36500 | 36501 | 27510k| 731.9 | 352M | 92 | 465 |1043 |1046 | 192k| 1 |1525 |2291 | 1.627107e+02 | 1.840000e+02 | 13.08%| unknown
2607.22/2614.16 c 2614s| 36600 | 36601 | 27577k| 731.8 | 352M | 92 | 465 |1043 |1026 | 192k| 1 |1525 |2292 | 1.627120e+02 | 1.840000e+02 | 13.08%| unknown
2614.39/2621.32 c 2621s| 36700 | 36701 | 27673k| 732.4 | 352M | 92 | 465 |1049 |1044 | 192k| 1 |1534 |2293 | 1.627137e+02 | 1.840000e+02 | 13.08%| unknown
2620.28/2627.20 c 2627s| 36800 | 36801 | 27737k| 732.1 | 352M | 92 | 465 |1049 | 994 | 193k| 1 |1534 |2294 | 1.627146e+02 | 1.840000e+02 | 13.08%| unknown
2625.56/2632.57 c 2633s| 36900 | 36901 | 27802k| 731.9 | 352M | 92 | 465 |1047 |1015 | 193k| 1 |1534 |2294 | 1.627151e+02 | 1.840000e+02 | 13.08%| unknown
2631.35/2638.37 c 2638s| 37000 | 37001 | 27865k| 731.6 | 353M | 92 | 465 |1045 |1029 | 193k| 1 |1537 |2296 | 1.627159e+02 | 1.840000e+02 | 13.08%| unknown
2636.74/2643.79 c 2644s| 37100 | 37101 | 27930k| 731.4 | 353M | 92 | 465 |1049 |1028 | 194k| 1 |1545 |2298 | 1.627164e+02 | 1.840000e+02 | 13.08%| unknown
2641.32/2648.32 c 2648s| 37200 | 37201 | 27982k| 730.9 | 353M | 92 | 465 |1049 |1029 | 194k| 1 |1549 |2300 | 1.627175e+02 | 1.840000e+02 | 13.08%| unknown
2647.12/2654.12 c 2654s| 37300 | 37301 | 28049k| 730.7 | 353M | 92 | 465 |1048 |1025 | 195k| 1 |1552 |2304 | 1.627182e+02 | 1.840000e+02 | 13.08%| unknown
2652.11/2659.15 c 2659s| 37400 | 37401 | 28110k| 730.4 | 353M | 92 | 465 |1048 |1044 | 195k| 1 |1556 |2304 | 1.627189e+02 | 1.840000e+02 | 13.08%| unknown
2658.00/2665.01 c 2665s| 37500 | 37501 | 28175k| 730.2 | 353M | 92 | 465 |1048 |1022 | 196k| 1 |1557 |2304 | 1.627196e+02 | 1.840000e+02 | 13.08%| unknown
2663.57/2670.63 c 2671s| 37600 | 37601 | 28238k| 729.9 | 353M | 92 | 465 |1048 |1017 | 196k| 1 |1561 |2309 | 1.627209e+02 | 1.840000e+02 | 13.08%| unknown
2668.86/2675.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2668.86/2675.97 c 2676s| 37700 | 37701 | 28305k| 729.8 | 353M | 92 | 465 |1047 |1028 | 196k| 1 |1564 |2309 | 1.627221e+02 | 1.840000e+02 | 13.08%| unknown
2673.64/2680.74 c 2681s| 37800 | 37801 | 28361k| 729.3 | 353M | 92 | 465 |1049 |1041 | 197k| 1 |1567 |2310 | 1.627229e+02 | 1.840000e+02 | 13.08%| unknown
2680.13/2687.27 c 2687s| 37900 | 37901 | 28435k| 729.4 | 353M | 92 | 465 |1048 |1041 | 197k| 1 |1568 |2311 | 1.627238e+02 | 1.840000e+02 | 13.08%| unknown
2685.22/2692.33 c 2692s| 38000 | 38001 | 28494k| 729.0 | 353M | 92 | 465 |1050 |1009 | 198k| 1 |1574 |2311 | 1.627241e+02 | 1.840000e+02 | 13.07%| unknown
2691.80/2698.96 c 2699s| 38100 | 38101 | 28579k| 729.3 | 353M | 92 | 465 |1054 |1045 | 198k| 1 |1579 |2311 | 1.627253e+02 | 1.840000e+02 | 13.07%| unknown
2697.59/2704.70 c 2705s| 38200 | 38201 | 28643k| 729.1 | 353M | 92 | 465 |1062 |1033 | 198k| 1 |1589 |2312 | 1.627262e+02 | 1.840000e+02 | 13.07%| unknown
2703.67/2710.81 c 2711s| 38300 | 38301 | 28715k| 729.1 | 353M | 92 | 465 |1066 |1019 | 199k| 1 |1594 |2312 | 1.627273e+02 | 1.840000e+02 | 13.07%| unknown
2708.87/2716.06 c 2716s| 38400 | 38401 | 28771k| 728.6 | 353M | 92 | 465 |1066 |1039 | 199k| 1 |1596 |2316 | 1.627286e+02 | 1.840000e+02 | 13.07%| unknown
2714.15/2721.37 c 2721s| 38500 | 38501 | 28835k| 728.4 | 353M | 92 | 465 |1064 |1063 | 199k| 1 |1597 |2319 | 1.627289e+02 | 1.840000e+02 | 13.07%| unknown
2719.85/2727.10 c 2727s| 38600 | 38601 | 28901k| 728.2 | 353M | 92 | 465 |1061 |1016 | 200k| 1 |1602 |2322 | 1.627302e+02 | 1.840000e+02 | 13.07%| unknown
2724.73/2731.95 c 2732s| 38700 | 38701 | 28957k| 727.8 | 353M | 92 | 465 |1060 |1011 | 200k| 1 |1602 |2324 | 1.627307e+02 | 1.840000e+02 | 13.07%| unknown
2729.52/2736.71 c 2737s| 38800 | 38801 | 29015k| 727.5 | 353M | 92 | 465 |1062 |1009 | 201k| 1 |1604 |2325 | 1.627322e+02 | 1.840000e+02 | 13.07%| unknown
2735.91/2743.19 c 2743s| 38900 | 38901 | 29089k| 727.5 | 353M | 92 | 465 |1061 |1045 | 201k| 1 |1606 |2325 | 1.627334e+02 | 1.840000e+02 | 13.07%| unknown
2740.80/2748.07 c 2748s| 39000 | 39001 | 29148k| 727.1 | 353M | 92 | 465 |1060 |1047 | 201k| 1 |1606 |2325 | 1.627342e+02 | 1.840000e+02 | 13.07%| unknown
2747.08/2754.36 c 2754s| 39100 | 39101 | 29215k| 727.0 | 353M | 92 | 465 |1056 |1068 | 202k| 1 |1608 |2327 | 1.627358e+02 | 1.840000e+02 | 13.07%| unknown
2752.46/2759.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2752.46/2759.73 c 2760s| 39200 | 39201 | 29275k| 726.7 | 353M | 92 | 465 |1056 | 985 | 202k| 1 |1612 |2332 | 1.627369e+02 | 1.840000e+02 | 13.07%| unknown
2756.95/2764.26 c 2764s| 39300 | 39301 | 29327k| 726.2 | 353M | 92 | 465 |1055 |1038 | 202k| 1 |1612 |2335 | 1.627378e+02 | 1.840000e+02 | 13.07%| unknown
2762.75/2770.04 c 2770s| 39400 | 39401 | 29395k| 726.1 | 353M | 92 | 465 |1052 |1021 | 203k| 1 |1612 |2338 | 1.627385e+02 | 1.840000e+02 | 13.06%| unknown
2768.62/2775.98 c 2776s| 39500 | 39501 | 29464k| 726.0 | 353M | 92 | 465 |1049 |1004 | 203k| 1 |1615 |2342 | 1.627401e+02 | 1.840000e+02 | 13.06%| unknown
2773.91/2781.24 c 2781s| 39600 | 39601 | 29524k| 725.7 | 353M | 92 | 465 |1046 |1017 | 204k| 1 |1616 |2344 | 1.627414e+02 | 1.840000e+02 | 13.06%| unknown
2779.60/2786.99 c 2787s| 39700 | 39701 | 29589k| 725.5 | 353M | 92 | 465 |1045 |1022 | 204k| 1 |1618 |2345 | 1.627420e+02 | 1.840000e+02 | 13.06%| unknown
2784.98/2792.32 c 2792s| 39800 | 39801 | 29653k| 725.3 | 354M | 92 | 465 |1043 |1048 | 205k| 1 |1620 |2346 | 1.627429e+02 | 1.840000e+02 | 13.06%| unknown
2791.57/2798.90 c 2799s| 39900 | 39901 | 29734k| 725.5 | 354M | 92 | 465 |1042 |1042 | 205k| 1 |1623 |2347 | 1.627446e+02 | 1.840000e+02 | 13.06%| unknown
2796.96/2804.31 c 2804s| 40000 | 40001 | 29799k| 725.3 | 354M | 92 | 465 |1041 |1040 | 205k| 1 |1623 |2348 | 1.627460e+02 | 1.840000e+02 | 13.06%| unknown
2801.66/2809.06 c 2809s| 40100 | 40101 | 29855k| 724.9 | 354M | 92 | 465 |1039 |1025 | 206k| 1 |1625 |2351 | 1.627466e+02 | 1.840000e+02 | 13.06%| unknown
2807.93/2815.34 c 2815s| 40200 | 40201 | 29923k| 724.8 | 355M | 92 | 465 |1039 |1016 | 206k| 1 |1630 |2352 | 1.627483e+02 | 1.840000e+02 | 13.06%| unknown
2814.21/2821.63 c 2822s| 40300 | 40301 | 29990k| 724.6 | 355M | 92 | 465 |1039 | 973 | 206k| 1 |1635 |2355 | 1.627487e+02 | 1.840000e+02 | 13.06%| unknown
2818.50/2825.97 c 2826s| 40400 | 40401 | 30043k| 724.2 | 355M | 92 | 465 |1035 |1025 | 207k| 1 |1636 |2356 | 1.627496e+02 | 1.840000e+02 | 13.06%| unknown
2825.19/2832.67 c 2833s| 40500 | 40501 | 30115k| 724.2 | 355M | 92 | 465 |1035 |1048 | 207k| 1 |1638 |2356 | 1.627504e+02 | 1.840000e+02 | 13.06%| unknown
2830.77/2838.26 c 2838s| 40600 | 40601 | 30181k| 724.0 | 355M | 92 | 465 |1034 |1025 | 208k| 1 |1641 |2357 | 1.627512e+02 | 1.840000e+02 | 13.06%| unknown
2835.46/2842.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2835.46/2842.98 c 2843s| 40700 | 40701 | 30238k| 723.6 | 354M | 92 | 465 |1034 |1054 | 208k| 1 |1641 |2358 | 1.627519e+02 | 1.840000e+02 | 13.06%| unknown
2842.66/2850.14 c 2850s| 40800 | 40801 | 30319k| 723.8 | 354M | 92 | 465 |1029 |1025 | 208k| 1 |1643 |2358 | 1.627527e+02 | 1.840000e+02 | 13.05%| unknown
2847.33/2854.86 c 2855s| 40900 | 40901 | 30375k| 723.5 | 354M | 92 | 465 |1034 |1055 | 209k| 1 |1648 |2359 | 1.627541e+02 | 1.840000e+02 | 13.05%| unknown
2853.12/2860.63 c 2861s| 41000 | 41001 | 30443k| 723.3 | 354M | 92 | 465 |1033 |1047 | 209k| 1 |1652 |2363 | 1.627544e+02 | 1.840000e+02 | 13.05%| unknown
2858.11/2865.62 c 2866s| 41100 | 41101 | 30499k| 723.0 | 354M | 92 | 465 |1035 |1039 | 210k| 1 |1655 |2363 | 1.627550e+02 | 1.840000e+02 | 13.05%| unknown
2863.51/2871.09 c 2871s| 41200 | 41201 | 30564k| 722.8 | 354M | 92 | 465 |1030 |1035 | 210k| 1 |1658 |2363 | 1.627559e+02 | 1.840000e+02 | 13.05%| unknown
2869.28/2876.88 c 2877s| 41300 | 41301 | 30634k| 722.7 | 354M | 92 | 465 |1028 |1027 | 210k| 1 |1658 |2364 | 1.627566e+02 | 1.840000e+02 | 13.05%| unknown
2874.67/2882.23 c 2882s| 41400 | 41401 | 30694k| 722.5 | 354M | 92 | 465 |1029 |1044 | 211k| 4 |1665 |2366 | 1.627583e+02 | 1.840000e+02 | 13.05%| unknown
2880.36/2887.95 c 2888s| 41500 | 41501 | 30762k| 722.4 | 354M | 92 | 465 |1029 |1036 | 211k| 1 |1665 |2370 | 1.627593e+02 | 1.840000e+02 | 13.05%| unknown
2887.45/2895.02 c 2895s| 41600 | 41601 | 30846k| 722.6 | 354M | 92 | 465 |1028 |1021 | 211k| 1 |1667 |2374 | 1.627599e+02 | 1.840000e+02 | 13.05%| unknown
2892.83/2900.48 c 2900s| 41700 | 41701 | 30907k| 722.4 | 354M | 92 | 465 |1028 |1001 | 212k| 1 |1669 |2379 | 1.627613e+02 | 1.840000e+02 | 13.05%| unknown
2899.52/2907.11 c 2907s| 41800 | 41801 | 30984k| 722.5 | 354M | 92 | 465 |1027 |1037 | 212k| 1 |1669 |2380 | 1.627620e+02 | 1.840000e+02 | 13.05%| unknown
2905.20/2912.89 c 2913s| 41900 | 41901 | 31051k| 722.4 | 354M | 92 | 465 |1031 |1012 | 213k| 1 |1674 |2380 | 1.627633e+02 | 1.840000e+02 | 13.05%| unknown
2909.99/2917.65 c 2918s| 42000 | 42001 | 31106k| 722.0 | 354M | 92 | 465 |1030 |1038 | 213k| 1 |1674 |2382 | 1.627638e+02 | 1.840000e+02 | 13.05%| unknown
2916.17/2923.89 c 2924s| 42100 | 42101 | 31175k| 721.9 | 354M | 92 | 465 |1029 |1023 | 213k| 1 |1680 |2383 | 1.627655e+02 | 1.840000e+02 | 13.05%| unknown
2921.76/2929.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2921.76/2929.43 c 2929s| 42200 | 42201 | 31240k| 721.7 | 354M | 92 | 465 |1034 |1036 | 214k| 1 |1689 |2386 | 1.627663e+02 | 1.840000e+02 | 13.05%| unknown
2927.24/2934.93 c 2935s| 42300 | 42301 | 31305k| 721.6 | 354M | 92 | 465 |1035 |1022 | 214k| 1 |1692 |2388 | 1.627673e+02 | 1.840000e+02 | 13.04%| unknown
2932.44/2940.12 c 2940s| 42400 | 42401 | 31362k| 721.2 | 356M | 92 | 465 |1035 |1011 | 215k| 1 |1696 |2391 | 1.627681e+02 | 1.840000e+02 | 13.04%| unknown
2938.51/2946.22 c 2946s| 42500 | 42501 | 31430k| 721.1 | 356M | 92 | 465 |1044 |1028 | 215k| 1 |1706 |2394 | 1.627695e+02 | 1.840000e+02 | 13.04%| unknown
2944.50/2952.23 c 2952s| 42600 | 42601 | 31500k| 721.1 | 356M | 92 | 465 |1041 |1029 | 215k| 1 |1706 |2395 | 1.627703e+02 | 1.840000e+02 | 13.04%| unknown
2950.49/2958.22 c 2958s| 42700 | 42701 | 31569k| 721.0 | 356M | 92 | 465 |1041 |1040 | 216k| 1 |1709 |2397 | 1.627712e+02 | 1.840000e+02 | 13.04%| unknown
2955.47/2963.22 c 2963s| 42800 | 42801 | 31629k| 720.7 | 356M | 92 | 465 |1044 |1031 | 216k| 3 |1714 |2397 | 1.627727e+02 | 1.840000e+02 | 13.04%| unknown
2962.46/2970.20 c 2970s| 42900 | 42901 | 31706k| 720.8 | 356M | 92 | 465 |1044 |1048 | 217k| 1 |1718 |2400 | 1.627736e+02 | 1.840000e+02 | 13.04%| unknown
2966.85/2974.61 c 2975s| 43000 | 43001 | 31761k| 720.4 | 356M | 92 | 465 |1044 |1043 | 217k| 1 |1718 |2402 | 1.627753e+02 | 1.840000e+02 | 13.04%| unknown
2973.53/2981.30 c 2981s| 43100 | 43101 | 31841k| 720.6 | 356M | 92 | 465 |1045 |1025 | 217k| 1 |1726 |2404 | 1.627760e+02 | 1.840000e+02 | 13.04%| unknown
2978.23/2986.04 c 2986s| 43200 | 43201 | 31899k| 720.3 | 356M | 92 | 465 |1047 |1046 | 218k| 1 |1729 |2406 | 1.627769e+02 | 1.840000e+02 | 13.04%| unknown
2984.40/2992.20 c 2992s| 43300 | 43301 | 31979k| 720.5 | 356M | 92 | 465 |1046 |1055 | 218k| 1 |1732 |2406 | 1.627779e+02 | 1.840000e+02 | 13.04%| unknown
2990.49/2998.36 c 2998s| 43400 | 43401 | 32046k| 720.4 | 356M | 92 | 465 |1047 |1023 | 219k| 1 |1737 |2406 | 1.627794e+02 | 1.840000e+02 | 13.04%| unknown
2996.88/3004.78 c 3005s| 43500 | 43501 | 32120k| 720.4 | 356M | 92 | 465 |1047 |1008 | 219k| 1 |1740 |2408 | 1.627805e+02 | 1.840000e+02 | 13.04%| unknown
3001.36/3009.24 c 3009s| 43600 | 43601 | 32174k| 720.0 | 356M | 92 | 465 |1044 |1026 | 219k| 1 |1743 |2409 | 1.627808e+02 | 1.840000e+02 | 13.04%| unknown
3007.26/3015.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3007.26/3015.16 c 3015s| 43700 | 43701 | 32241k| 719.9 | 356M | 92 | 465 |1041 |1022 | 220k| 1 |1747 |2411 | 1.627826e+02 | 1.840000e+02 | 13.03%| unknown
3013.63/3021.51 c 3021s| 43800 | 43801 | 32314k| 719.9 | 357M | 92 | 465 |1044 |1052 | 220k| 4 |1753 |2416 | 1.627830e+02 | 1.840000e+02 | 13.03%| unknown
3018.82/3026.70 c 3027s| 43900 | 43901 | 32376k| 719.7 | 357M | 92 | 465 |1045 |1028 | 220k| 1 |1757 |2420 | 1.627838e+02 | 1.840000e+02 | 13.03%| unknown
3024.41/3032.31 c 3032s| 44000 | 44001 | 32439k| 719.5 | 357M | 92 | 465 |1042 |1049 | 221k| 1 |1760 |2421 | 1.627847e+02 | 1.840000e+02 | 13.03%| unknown
3029.90/3037.89 c 3038s| 44100 | 44101 | 32506k| 719.4 | 357M | 92 | 465 |1041 |1035 | 221k| 1 |1762 |2423 | 1.627856e+02 | 1.840000e+02 | 13.03%| unknown
3035.48/3043.42 c 3043s| 44200 | 44201 | 32569k| 719.2 | 357M | 92 | 465 |1046 |1018 | 221k| 1 |1772 |2425 | 1.627867e+02 | 1.840000e+02 | 13.03%| unknown
3041.27/3049.29 c 3049s| 44300 | 44301 | 32637k| 719.1 | 357M | 92 | 465 |1054 |1034 | 222k| 1 |1785 |2429 | 1.627874e+02 | 1.840000e+02 | 13.03%| unknown
3047.25/3055.25 c 3055s| 44400 | 44401 | 32708k| 719.1 | 357M | 92 | 465 |1060 |1052 | 222k| 1 |1793 |2429 | 1.627888e+02 | 1.840000e+02 | 13.03%| unknown
3052.84/3060.88 c 3061s| 44500 | 44501 | 32774k| 718.9 | 357M | 92 | 465 |1058 |1021 | 223k| 1 |1797 |2432 | 1.627895e+02 | 1.840000e+02 | 13.03%| unknown
3058.23/3066.29 c 3066s| 44600 | 44601 | 32837k| 718.7 | 357M | 92 | 465 |1064 |1050 | 223k| 1 |1803 |2433 | 1.627902e+02 | 1.840000e+02 | 13.03%| unknown
3065.51/3073.59 c 3074s| 44700 | 44701 | 32919k| 719.0 | 357M | 92 | 465 |1069 |1044 | 223k| 1 |1811 |2438 | 1.627910e+02 | 1.840000e+02 | 13.03%| unknown
3069.80/3077.81 c 3078s| 44800 | 44801 | 32969k| 718.5 | 357M | 92 | 465 |1068 |1028 | 224k| 1 |1811 |2438 | 1.627917e+02 | 1.840000e+02 | 13.03%| unknown
3075.69/3083.79 c 3084s| 44900 | 44901 | 33039k| 718.5 | 357M | 92 | 465 |1066 |1029 | 224k| 1 |1812 |2439 | 1.627929e+02 | 1.840000e+02 | 13.03%| unknown
3080.87/3088.98 c 3089s| 45000 | 45001 | 33102k| 718.3 | 357M | 92 | 465 |1067 |1063 | 224k| 1 |1815 |2440 | 1.627938e+02 | 1.840000e+02 | 13.03%| unknown
3087.56/3095.66 c 3096s| 45100 | 45101 | 33185k| 718.5 | 357M | 92 | 465 |1067 |1014 | 225k| 1 |1822 |2440 | 1.627949e+02 | 1.840000e+02 | 13.03%| unknown
3093.64/3101.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3093.64/3101.73 c 3102s| 45200 | 45201 | 33256k| 718.5 | 357M | 92 | 465 |1065 |1040 | 225k| 1 |1824 |2441 | 1.627960e+02 | 1.840000e+02 | 13.02%| unknown
3099.23/3107.30 c 3107s| 45300 | 45301 | 33321k| 718.3 | 358M | 92 | 465 |1057 |1027 | 225k| 1 |1826 |2443 | 1.627966e+02 | 1.840000e+02 | 13.02%| unknown
3104.62/3112.79 c 3113s| 45400 | 45401 | 33384k| 718.2 | 358M | 92 | 465 |1056 |1033 | 226k| 1 |1828 |2444 | 1.627982e+02 | 1.840000e+02 | 13.02%| unknown
3110.02/3118.11 c 3118s| 45500 | 45501 | 33446k| 717.9 | 358M | 92 | 465 |1057 |1055 | 226k| 1 |1830 |2446 | 1.627996e+02 | 1.840000e+02 | 13.02%| unknown
3116.68/3124.81 c 3125s| 45600 | 45601 | 33521k| 718.0 | 358M | 92 | 465 |1061 |1031 | 227k| 1 |1837 |2446 | 1.628013e+02 | 1.840000e+02 | 13.02%| unknown
3121.88/3130.06 c 3130s| 45700 | 45701 | 33583k| 717.8 | 358M | 92 | 465 |1066 |1021 | 227k| 1 |1842 |2447 | 1.628026e+02 | 1.840000e+02 | 13.02%| unknown
3126.66/3134.88 c 3135s| 45800 | 45801 | 33643k| 717.5 | 358M | 92 | 465 |1063 |1018 | 227k| 1 |1846 |2447 | 1.628033e+02 | 1.840000e+02 | 13.02%| unknown
3132.55/3140.77 c 3141s| 45900 | 45901 | 33707k| 717.4 | 358M | 92 | 465 |1063 |1065 | 228k| 1 |1852 |2451 | 1.628043e+02 | 1.840000e+02 | 13.02%| unknown
3137.95/3146.18 c 3146s| 46000 | 46001 | 33769k| 717.2 | 358M | 92 | 465 |1062 |1021 | 228k| 1 |1854 |2454 | 1.628049e+02 | 1.840000e+02 | 13.02%| unknown
3143.42/3151.62 c 3152s| 46100 | 46101 | 33831k| 717.0 | 359M | 92 | 465 |1061 |1045 | 228k| 1 |1858 |2457 | 1.628058e+02 | 1.840000e+02 | 13.02%| unknown
3149.11/3157.32 c 3157s| 46200 | 46201 | 33900k| 716.9 | 359M | 92 | 465 |1060 |1051 | 229k| 1 |1858 |2458 | 1.628067e+02 | 1.840000e+02 | 13.02%| unknown
3155.19/3163.41 c 3163s| 46300 | 46301 | 33967k| 716.8 | 359M | 92 | 465 |1058 |1031 | 229k| 1 |1867 |2461 | 1.628075e+02 | 1.840000e+02 | 13.02%| unknown
3160.48/3168.78 c 3169s| 46400 | 46401 | 34032k| 716.7 | 359M | 92 | 465 |1060 |1030 | 230k| 1 |1870 |2465 | 1.628083e+02 | 1.840000e+02 | 13.02%| unknown
3166.66/3174.95 c 3175s| 46500 | 46501 | 34107k| 716.7 | 359M | 92 | 465 |1057 |1027 | 230k| 1 |1875 |2466 | 1.628089e+02 | 1.840000e+02 | 13.02%| unknown
3172.05/3180.31 c 3180s| 46600 | 46601 | 34171k| 716.6 | 359M | 92 | 465 |1054 |1039 | 230k| 1 |1876 |2468 | 1.628098e+02 | 1.840000e+02 | 13.02%| unknown
3178.85/3187.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3178.85/3187.19 c 3187s| 46700 | 46701 | 34257k| 716.9 | 359M | 92 | 465 |1056 | 997 | 231k| 1 |1884 |2469 | 1.628105e+02 | 1.840000e+02 | 13.01%| unknown
3184.32/3192.61 c 3193s| 46800 | 46801 | 34320k| 716.7 | 359M | 92 | 465 |1052 |1042 | 231k| 1 |1886 |2471 | 1.628111e+02 | 1.840000e+02 | 13.01%| unknown
3190.22/3198.59 c 3199s| 46900 | 46901 | 34386k| 716.6 | 359M | 92 | 465 |1052 |1021 | 231k| 1 |1890 |2475 | 1.628121e+02 | 1.840000e+02 | 13.01%| unknown
3195.50/3203.88 c 3204s| 47000 | 47001 | 34450k| 716.4 | 359M | 92 | 465 |1050 |1033 | 232k| 1 |1893 |2476 | 1.628132e+02 | 1.840000e+02 | 13.01%| unknown
3201.80/3210.15 c 3210s| 47100 | 47101 | 34524k| 716.5 | 359M | 92 | 465 |1056 |1048 | 232k| 1 |1902 |2476 | 1.628142e+02 | 1.840000e+02 | 13.01%| unknown
3207.28/3215.60 c 3216s| 47200 | 47201 | 34592k| 716.4 | 359M | 92 | 465 |1057 |1013 | 232k| 1 |1908 |2476 | 1.628147e+02 | 1.840000e+02 | 13.01%| unknown
3213.06/3221.49 c 3221s| 47300 | 47301 | 34661k| 716.3 | 359M | 92 | 465 |1058 |1034 | 233k| 1 |1912 |2477 | 1.628156e+02 | 1.840000e+02 | 13.01%| unknown
3218.25/3226.60 c 3227s| 47400 | 47401 | 34722k| 716.1 | 359M | 92 | 465 |1056 |1019 | 233k| 1 |1913 |2477 | 1.628162e+02 | 1.840000e+02 | 13.01%| unknown
3223.65/3232.07 c 3232s| 47500 | 47501 | 34789k| 716.0 | 359M | 92 | 465 |1061 |1030 | 234k| 1 |1921 |2478 | 1.628170e+02 | 1.840000e+02 | 13.01%| unknown
3229.02/3237.40 c 3237s| 47600 | 47601 | 34850k| 715.8 | 359M | 92 | 465 |1057 |1031 | 234k| 1 |1928 |2479 | 1.628180e+02 | 1.840000e+02 | 13.01%| unknown
3235.72/3244.15 c 3244s| 47700 | 47701 | 34932k| 716.0 | 359M | 92 | 465 |1056 |1044 | 234k| 1 |1931 |2479 | 1.628192e+02 | 1.840000e+02 | 13.01%| unknown
3240.19/3248.64 c 3249s| 47800 | 47801 | 34986k| 715.7 | 359M | 92 | 465 |1062 |1037 | 235k| 1 |1938 |2482 | 1.628201e+02 | 1.840000e+02 | 13.01%| unknown
3245.48/3253.91 c 3254s| 47900 | 47901 | 35052k| 715.5 | 359M | 92 | 465 |1059 |1016 | 235k| 1 |1939 |2482 | 1.628207e+02 | 1.840000e+02 | 13.01%| unknown
3251.17/3259.60 c 3260s| 48000 | 48001 | 35116k| 715.4 | 360M | 92 | 465 |1059 |1008 | 235k| 1 |1942 |2484 | 1.628218e+02 | 1.840000e+02 | 13.01%| unknown
3256.35/3264.84 c 3265s| 48100 | 48101 | 35181k| 715.3 | 360M | 92 | 465 |1058 |1013 | 236k| 1 |1944 |2485 | 1.628227e+02 | 1.840000e+02 | 13.01%| unknown
3263.34/3271.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3263.34/3271.87 c 3272s| 48200 | 48201 | 35259k| 715.4 | 360M | 92 | 465 |1059 |1045 | 236k| 1 |1953 |2491 | 1.628236e+02 | 1.840000e+02 | 13.01%| unknown
3267.73/3276.25 c 3276s| 48300 | 48301 | 35311k| 715.0 | 360M | 92 | 465 |1058 |1024 | 236k| 1 |1953 |2494 | 1.628244e+02 | 1.840000e+02 | 13.01%| unknown
3273.81/3282.32 c 3282s| 48400 | 48401 | 35381k| 715.0 | 360M | 92 | 465 |1064 |1036 | 237k| 1 |1960 |2495 | 1.628257e+02 | 1.840000e+02 | 13.00%| unknown
3280.20/3288.75 c 3289s| 48500 | 48501 | 35459k| 715.1 | 360M | 92 | 465 |1064 |1032 | 237k| 1 |1964 |2501 | 1.628267e+02 | 1.840000e+02 | 13.00%| unknown
3285.98/3294.50 c 3294s| 48600 | 48601 | 35523k| 714.9 | 360M | 92 | 465 |1069 |1027 | 238k| 1 |1972 |2504 | 1.628276e+02 | 1.840000e+02 | 13.00%| unknown
3292.27/3300.81 c 3301s| 48700 | 48701 | 35597k| 715.0 | 360M | 92 | 465 |1067 |1031 | 238k| 1 |1973 |2508 | 1.628285e+02 | 1.840000e+02 | 13.00%| unknown
3297.66/3306.27 c 3306s| 48800 | 48801 | 35663k| 714.9 | 360M | 92 | 465 |1066 |1011 | 238k| 1 |1973 |2509 | 1.628293e+02 | 1.840000e+02 | 13.00%| unknown
3303.55/3312.16 c 3312s| 48900 | 48901 | 35729k| 714.8 | 360M | 92 | 465 |1066 |1024 | 239k| 3 |1975 |2510 | 1.628304e+02 | 1.840000e+02 | 13.00%| unknown
3308.83/3317.46 c 3317s| 49000 | 49001 | 35794k| 714.6 | 360M | 92 | 465 |1066 |1032 | 239k| 1 |1975 |2510 | 1.628318e+02 | 1.840000e+02 | 13.00%| unknown
3315.01/3323.63 c 3324s| 49100 | 49101 | 35862k| 714.6 | 361M | 92 | 465 |1062 |1044 | 239k| 1 |1976 |2511 | 1.628328e+02 | 1.840000e+02 | 13.00%| unknown
3321.80/3330.43 c 3330s| 49200 | 49201 | 35939k| 714.7 | 361M | 92 | 465 |1063 |1040 | 240k| 1 |1979 |2511 | 1.628336e+02 | 1.840000e+02 | 13.00%| unknown
3326.78/3335.47 c 3335s| 49300 | 49301 | 36002k| 714.5 | 361M | 92 | 465 |1063 |1024 | 240k| 1 |1981 |2512 | 1.628340e+02 | 1.840000e+02 | 13.00%| unknown
3332.48/3341.13 c 3341s| 49400 | 49401 | 36068k| 714.4 | 361M | 92 | 465 |1065 |1031 | 240k| 1 |1985 |2515 | 1.628345e+02 | 1.840000e+02 | 13.00%| unknown
3337.37/3346.10 c 3346s| 49500 | 49501 | 36129k| 714.2 | 361M | 92 | 465 |1065 |1035 | 241k| 1 |1986 |2518 | 1.628352e+02 | 1.840000e+02 | 13.00%| unknown
3343.36/3352.07 c 3352s| 49600 | 49601 | 36200k| 714.2 | 361M | 92 | 465 |1064 |1042 | 241k| 1 |1989 |2519 | 1.628364e+02 | 1.840000e+02 | 13.00%| unknown
3349.53/3358.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3349.53/3358.29 c 3358s| 49700 | 49701 | 36271k| 714.2 | 361M | 92 | 465 |1067 |1011 | 242k| 1 |1994 |2523 | 1.628370e+02 | 1.840000e+02 | 13.00%| unknown
3355.12/3363.81 c 3364s| 49800 | 49801 | 36333k| 714.0 | 361M | 92 | 465 |1071 |1016 | 242k| 1 |2001 |2524 | 1.628377e+02 | 1.840000e+02 | 13.00%| unknown
3362.00/3370.78 c 3371s| 49900 | 49901 | 36411k| 714.1 | 361M | 92 | 465 |1066 |1010 | 242k| 1 |2005 |2528 | 1.628393e+02 | 1.840000e+02 | 12.99%| unknown
3366.99/3375.73 c 3376s| 50000 | 50001 | 36473k| 713.9 | 361M | 92 | 465 |1065 |1016 | 243k| 1 |2007 |2529 | 1.628398e+02 | 1.840000e+02 | 12.99%| unknown
3372.87/3381.63 c 3382s| 50100 | 50101 | 36540k| 713.9 | 361M | 92 | 465 |1063 |1033 | 243k| 1 |2010 |2531 | 1.628412e+02 | 1.840000e+02 | 12.99%| unknown
3379.27/3388.02 c 3388s| 50200 | 50201 | 36623k| 714.1 | 361M | 92 | 465 |1060 |1069 | 243k| 4 |2012 |2532 | 1.628419e+02 | 1.840000e+02 | 12.99%| unknown
3385.14/3393.98 c 3394s| 50300 | 50301 | 36693k| 714.1 | 361M | 92 | 465 |1061 |1050 | 244k| 1 |2015 |2534 | 1.628431e+02 | 1.840000e+02 | 12.99%| unknown
3390.73/3399.58 c 3400s| 50400 | 50401 | 36761k| 714.0 | 361M | 92 | 465 |1059 |1037 | 244k| 1 |2018 |2537 | 1.628441e+02 | 1.840000e+02 | 12.99%| unknown
3396.52/3405.33 c 3405s| 50500 | 50501 | 36829k| 713.9 | 361M | 92 | 465 |1059 | 975 | 244k| 2 |2022 |2538 | 1.628447e+02 | 1.840000e+02 | 12.99%| unknown
3402.60/3411.41 c 3411s| 50600 | 50601 | 36898k| 713.9 | 361M | 92 | 465 |1066 |1037 | 245k| 1 |2029 |2539 | 1.628455e+02 | 1.840000e+02 | 12.99%| unknown
3408.79/3417.61 c 3418s| 50700 | 50701 | 36971k| 713.9 | 362M | 92 | 465 |1066 |1046 | 245k| 1 |2032 |2539 | 1.628463e+02 | 1.840000e+02 | 12.99%| unknown
3414.18/3423.04 c 3423s| 50800 | 50801 | 37032k| 713.7 | 362M | 92 | 465 |1066 | 999 | 245k| 1 |2036 |2541 | 1.628471e+02 | 1.840000e+02 | 12.99%| unknown
3420.46/3429.30 c 3429s| 50900 | 50901 | 37104k| 713.7 | 362M | 92 | 465 |1062 |1029 | 246k| 1 |2042 |2543 | 1.628477e+02 | 1.840000e+02 | 12.99%| unknown
3425.94/3434.84 c 3435s| 51000 | 51001 | 37168k| 713.6 | 362M | 92 | 465 |1059 |1034 | 246k| 1 |2044 |2546 | 1.628484e+02 | 1.840000e+02 | 12.99%| unknown
3431.43/3440.33 c 3440s| 51100 | 51101 | 37234k| 713.5 | 362M | 92 | 465 |1053 |1048 | 246k| 1 |2046 |2546 | 1.628493e+02 | 1.840000e+02 | 12.99%| unknown
3438.23/3447.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3438.23/3447.19 c 3447s| 51200 | 51201 | 37310k| 713.6 | 362M | 92 | 465 |1057 |1054 | 247k| 1 |2054 |2551 | 1.628501e+02 | 1.840000e+02 | 12.99%| unknown
3443.50/3452.41 c 3452s| 51300 | 51301 | 37374k| 713.4 | 362M | 92 | 465 |1060 |1018 | 247k| 1 |2061 |2551 | 1.628507e+02 | 1.840000e+02 | 12.99%| unknown
3448.39/3457.38 c 3457s| 51400 | 51401 | 37433k| 713.2 | 362M | 92 | 465 |1060 |1037 | 247k| 1 |2064 |2552 | 1.628513e+02 | 1.840000e+02 | 12.99%| unknown
3454.27/3463.27 c 3463s| 51500 | 51501 | 37500k| 713.1 | 362M | 92 | 465 |1061 | 972 | 248k| 1 |2066 |2555 | 1.628520e+02 | 1.840000e+02 | 12.99%| unknown
3461.07/3470.05 c 3470s| 51600 | 51601 | 37575k| 713.2 | 362M | 92 | 465 |1057 |1005 | 248k| 5 |2068 |2557 | 1.628527e+02 | 1.840000e+02 | 12.99%| unknown
3466.34/3475.38 c 3475s| 51700 | 51701 | 37649k| 713.2 | 362M | 92 | 465 |1055 |1041 | 249k| 3 |2069 |2557 | 1.628539e+02 | 1.840000e+02 | 12.98%| unknown
3472.23/3481.23 c 3481s| 51800 | 51801 | 37715k| 713.1 | 362M | 92 | 465 |1061 |1055 | 249k| 1 |2077 |2558 | 1.628552e+02 | 1.840000e+02 | 12.98%| unknown
3477.03/3486.02 c 3486s| 51900 | 51901 | 37772k| 712.9 | 362M | 92 | 465 |1064 |1037 | 249k| 1 |2084 |2559 | 1.628560e+02 | 1.840000e+02 | 12.98%| unknown
3482.41/3491.46 c 3491s| 52000 | 52001 | 37837k| 712.7 | 363M | 92 | 465 |1066 |1029 | 250k| 1 |2088 |2559 | 1.628568e+02 | 1.840000e+02 | 12.98%| unknown
3488.01/3497.01 c 3497s| 52100 | 52101 | 37902k| 712.6 | 363M | 92 | 465 |1068 |1027 | 250k| 1 |2093 |2559 | 1.628574e+02 | 1.840000e+02 | 12.98%| unknown
3493.69/3502.70 c 3503s| 52200 | 52201 | 37974k| 712.6 | 364M | 92 | 465 |1072 |1027 | 250k| 1 |2098 |2559 | 1.628586e+02 | 1.840000e+02 | 12.98%| unknown
3498.99/3508.02 c 3508s| 52300 | 52301 | 38038k| 712.5 | 364M | 92 | 465 |1071 |1032 | 251k| 1 |2100 |2559 | 1.628592e+02 | 1.840000e+02 | 12.98%| unknown
3503.86/3512.98 c 3513s| 52400 | 52401 | 38100k| 712.3 | 364M | 92 | 465 |1071 |1036 | 251k| 4 |2100 |2559 | 1.628603e+02 | 1.840000e+02 | 12.98%| unknown
3508.65/3517.79 c 3518s| 52500 | 52501 | 38158k| 712.1 | 364M | 92 | 465 |1069 |1033 | 251k| 1 |2101 |2561 | 1.628610e+02 | 1.840000e+02 | 12.98%| unknown
3514.74/3523.89 c 3524s| 52600 | 52601 | 38229k| 712.1 | 364M | 92 | 465 |1067 |1019 | 252k| 1 |2103 |2562 | 1.628618e+02 | 1.840000e+02 | 12.98%| unknown
3519.23/3528.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3519.23/3528.34 c 3528s| 52700 | 52701 | 38285k| 711.8 | 364M | 92 | 465 |1064 |1033 | 252k| 1 |2105 |2563 | 1.628624e+02 | 1.840000e+02 | 12.98%| unknown
3525.61/3534.77 c 3535s| 52800 | 52801 | 38359k| 711.8 | 364M | 92 | 465 |1062 | 988 | 252k| 1 |2106 |2564 | 1.628630e+02 | 1.840000e+02 | 12.98%| unknown
3531.40/3540.51 c 3541s| 52900 | 52901 | 38422k| 711.7 | 364M | 92 | 465 |1059 |1036 | 253k| 1 |2109 |2569 | 1.628638e+02 | 1.840000e+02 | 12.98%| unknown
3537.38/3546.52 c 3547s| 53000 | 53001 | 38492k| 711.7 | 364M | 92 | 465 |1059 |1007 | 253k| 1 |2112 |2574 | 1.628645e+02 | 1.840000e+02 | 12.98%| unknown
3543.17/3552.30 c 3552s| 53100 | 53101 | 38561k| 711.6 | 364M | 92 | 465 |1060 |1006 | 253k| 1 |2116 |2578 | 1.628651e+02 | 1.840000e+02 | 12.98%| unknown
3548.97/3558.17 c 3558s| 53200 | 53201 | 38629k| 711.6 | 364M | 92 | 465 |1064 |1015 | 254k| 1 |2120 |2580 | 1.628657e+02 | 1.840000e+02 | 12.98%| unknown
3554.44/3563.67 c 3564s| 53300 | 53301 | 38692k| 711.4 | 365M | 92 | 465 |1063 |1025 | 254k| 1 |2124 |2583 | 1.628665e+02 | 1.840000e+02 | 12.98%| unknown
3560.43/3569.66 c 3570s| 53400 | 53401 | 38772k| 711.6 | 365M | 92 | 465 |1063 |1025 | 254k| 3 |2125 |2584 | 1.628673e+02 | 1.840000e+02 | 12.98%| unknown
3566.01/3575.28 c 3575s| 53500 | 53501 | 38837k| 711.5 | 365M | 92 | 465 |1067 |1023 | 255k| 1 |2130 |2585 | 1.628680e+02 | 1.840000e+02 | 12.97%| unknown
3571.81/3581.07 c 3581s| 53600 | 53601 | 38905k| 711.4 | 365M | 92 | 465 |1066 |1034 | 255k| 1 |2133 |2587 | 1.628687e+02 | 1.840000e+02 | 12.97%| unknown
3576.99/3586.22 c 3586s| 53700 | 53701 | 38965k| 711.2 | 366M | 92 | 465 |1064 |1018 | 255k| 1 |2134 |2587 | 1.628695e+02 | 1.840000e+02 | 12.97%| unknown
3582.37/3591.68 c 3592s| 53800 | 53801 | 39033k| 711.2 | 366M | 92 | 465 |1072 |1029 | 256k| 1 |2146 |2588 | 1.628701e+02 | 1.840000e+02 | 12.97%| unknown
3587.66/3597.00 c
3587.66/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.66/3597.00 c Solving Time (sec) : 3596.99
3587.66/3597.00 c Solving Nodes : 53878 (total of 54927 nodes in 2 runs)
3587.66/3597.00 c Primal Bound : +1.84000000000000e+02 (1208 solutions)
3587.66/3597.00 c Dual Bound : +1.62870371780640e+02
3587.66/3597.00 c Gap : 12.97 %
3587.66/3597.00 s SATISFIABLE
3587.77/3597.01 v x465 x464 x463 -x462 -x461 x460 -x459 -x458 -x457 -x456 x455 -x454 x453 x452 -x451 -x450 x449 -x448 -x447 x446 -x445 x444 -x443
3587.77/3597.01 v -x442 -x441 -x440 x439 -x438 x437 -x436 -x435 -x434 x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 x423 -x422 -x421
3587.77/3597.01 v x420 x419 -x418 x417 x416 -x415 -x414 -x413 x412 x411 x410 -x409 -x408 x407 -x406 -x405 -x404 x403 -x402 -x401 x400 x399
3587.77/3597.01 v -x398 x397 -x396 x395 -x394 -x393 -x392 -x391 -x390 -x389 x388 -x387 -x386 -x385 x384 x383 x382 x381 -x380 -x379 -x378 -x377
3587.77/3597.01 v -x376 x375 -x374 x373 x372 x371 x370 x369 -x368 -x367 -x366 -x365 x364 -x363 -x362 -x361 x360 -x359 x358 x357 x356 x355 -x354
3587.77/3597.01 v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 x340 x339 x338 x337 x336 -x335 x334 -x333 x332
3587.77/3597.01 v -x331 x330 x329 -x328 -x327 x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 x316 x315 -x314 -x313 -x312 -x311 -x310
3587.77/3597.01 v x309 -x308 -x307 -x306 x305 x304 -x303 -x302 -x301 x300 x299 -x298 -x297 x296 -x295 -x294 -x293 x292 x291 -x290 -x289 -x288
3587.77/3597.01 v -x287 -x286 -x285 x284 -x283 x282 x281 x280 x279 x278 x277 -x276 -x275 -x274 x273 -x272 -x271 -x270 -x269 x268 -x267 x266 -x265
3587.77/3597.01 v x264 -x263 -x262 -x261 x260 x259 -x258 -x257 -x256 x255 -x254 -x253 x252 -x251 -x250 x249 -x248 -x247 -x246 -x245 -x244
3587.77/3597.01 v -x243 x242 -x241 x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 -x232 -x231 -x230 -x229 x228 -x227 x226 x225 x224 -x223 x222 x221
3587.77/3597.01 v -x220 -x219 x218 x217 -x216 x215 x214 x213 -x212 x211 x210 x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 x201 -x200 x199
3587.77/3597.01 v -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 x190 x189 x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 x180 x179 x178 x177 -x176
3587.77/3597.01 v -x175 -x174 x173 -x172 x171 x170 x169 -x168 -x167 x166 -x165 -x164 -x163 x162 x161 x160 -x159 x158 -x157 x156 -x155 x154
3587.77/3597.01 v -x153 x152 -x151 -x150 -x149 x148 -x147 x146 x145 -x144 -x143 x142 -x141 -x140 x139 -x138 -x137 -x136 x135 -x134 -x133 -x132
3587.77/3597.01 v -x131 x130 x129 -x128 x127 -x126 -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 x115 x114 -x113 x112 x111 -x110 x109
3587.77/3597.01 v -x108 x107 -x106 -x105 x104 x103 x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 x92 x91 x90 x89 x88 x87 x86 -x85 -x84
3587.77/3597.01 v x83 -x82 x81 x80 x79 x78 -x77 -x76 -x75 x74 -x73 x72 x71 -x70 -x69 x68 -x67 x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 x57 x56
3587.77/3597.01 v -x55 -x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 x45 -x44 x43 x42 -x41 -x40 -x39 x38 -x37 -x36 -x35 x34 x33 -x32 -x31 x30 -x29
3587.77/3597.01 v x28 -x27 -x26 x25 x24 -x23 x22 -x21 -x20 x19 -x18 -x17 -x16 x15 -x14 -x13 x12 x11 -x10 x9 x8 -x7 x6 -x5 x4 -x3 -x2 x1
3587.77/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.77/3597.01 c Total Time : 3596.99
3587.77/3597.01 c solving : 3596.99
3587.77/3597.01 c presolving : 0.07 (included in solving)
3587.77/3597.01 c reading : 0.01 (included in solving)
3587.77/3597.01 c copying : 0.10 (26 #copies) (minimal 0.00, maximal 0.00, average 0.00)
3587.77/3597.01 c Original Problem :
3587.77/3597.01 c Problem name : HOME/instance-4432629-1721078616.opb
3587.77/3597.01 c Variables : 465 (465 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.77/3597.01 c Constraints : 465 initial, 465 maximal
3587.77/3597.01 c Objective : minimize, 465 non-zeros (abs.min = 1, abs.max = 1)
3587.77/3597.01 c Presolved Problem :
3587.77/3597.01 c Problem name : t_HOME/instance-4432629-1721078616.opb
3587.77/3597.01 c Variables : 465 (465 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.77/3597.01 c Constraints : 908 initial, 1073 maximal
3587.77/3597.01 c Objective : minimize, 465 non-zeros (abs.min = 1, abs.max = 1)
3587.77/3597.01 c Nonzeros : 8830 constraint, 220 clique table
3587.77/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.77/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c gateextraction : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c implics : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c trivial : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c dualfix : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c knapsack : 0.01 0.00 20 0 0 0 0 0 47 237 470 1220
3587.77/3597.01 c setppc : 0.00 0.00 19 0 0 0 0 0 111 0 0 0
3587.77/3597.01 c linear : 0.02 0.00 10 0 0 0 0 0 3 0 16 124
3587.77/3597.01 c logicor : 0.00 0.00 17 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c root node : - - - 0 - - 0 - - - - -
3587.77/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.77/3597.01 c benderslp : 0 0 0 0 54926 0 0 22112 0 0 0 0 0 0 0
3587.77/3597.01 c integral : 0 0 0 0 54926 0 0 22112 0 0 0 0 0 0 109852
3587.77/3597.01 c knapsack : 648 648 49 686808 0 0 0 22106 38358 0 7025 2440 111 0 0
3587.77/3597.01 c setppc : 110 110 49 685613 0 0 0 1306 17793 0 18309 0 0 0 0
3587.77/3597.01 c logicor : 150+ 316 49 144331 0 0 0 1306 563 320 140 0 0 0 0
3587.77/3597.01 c benders : 0 0 0 0 0 0 0 1309 0 0 0 0 0 0 0
3587.77/3597.01 c fixedvar : 0 0 0 0 0 0 0 1309 0 0 0 0 0 0 0
3587.77/3597.01 c countsols : 0 0 0 0 0 0 0 1309 0 0 0 0 0 0 0
3587.77/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.77/3597.01 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3587.77/3597.01 c integral : 121.35 0.00 0.00 0.00 121.34 0.00 0.00 0.01 0.00 0.00
3587.77/3597.01 c knapsack : 1.91 0.00 0.11 1.69 0.00 0.00 0.00 0.08 0.02 0.01
3587.77/3597.01 c setppc : 0.27 0.00 0.00 0.26 0.00 0.00 0.00 0.00 0.01 0.00
3587.77/3597.01 c logicor : 0.25 0.00 0.00 0.24 0.00 0.00 0.00 0.00 0.00 0.00
3587.77/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.77/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.77/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.77/3597.01 c components : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
3587.77/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.77/3597.01 c dualfix : 3 0 0 0
3587.77/3597.01 c genvbounds : 0 0 0 0
3587.77/3597.01 c nlobbt : 0 0 0 0
3587.77/3597.01 c obbt : 0 0 0 0
3587.77/3597.01 c probing : 0 0 0 0
3587.77/3597.01 c pseudoobj : 126279 0 0 0
3587.77/3597.01 c redcost : 60 0 0 0
3587.77/3597.01 c rootredcost : 6 0 0 0
3587.77/3597.01 c symmetry : 0 0 0 0
3587.77/3597.01 c vbounds : 114578 0 0 0
3587.77/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.77/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.77/3597.01 c genvbounds : 0.05 0.00 0.00 0.05 0.00 0.00
3587.77/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.77/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.77/3597.01 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
3587.77/3597.01 c pseudoobj : 0.12 0.00 0.00 0.12 0.00 0.00
3587.77/3597.01 c redcost : 0.06 0.00 0.00 0.06 0.00 0.00
3587.77/3597.01 c rootredcost : 0.04 0.00 0.00 0.04 0.00 0.00
3587.77/3597.01 c symmetry : 0.07 0.00 0.01 0.07 0.00 0.00
3587.77/3597.01 c vbounds : 0.08 0.00 0.00 0.08 0.00 0.00
3587.77/3597.01 c Symmetry :
3587.77/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.77/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.77/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.77/3597.01 c shadow tree time : 0.00 s
3587.77/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.77/3597.01 c propagation : 0.01 319 316 - 610 108.5 0 0.0 - - -
3587.77/3597.01 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.77/3597.01 c bound exceed. LP : 4.70 7702 1341 - 24543 94.0 0 0.0 0 0.0 61754
3587.77/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.77/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.77/3597.01 c applied globally : 0.01 - - 0 1091 60.5 - - 0 - -
3587.77/3597.01 c applied locally : - - - 0 1057 89.9 - - 0 - -
3587.77/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.77/3597.01 c cut pool : 28.90 - 25658 78 - - 222955 1103131 - - - - - (maximal pool size: 5034)
3587.77/3597.01 c aggregation : 103.55 0.00 5054 49 0 0 2271 173410 0 66655 66655 0 0
3587.77/3597.01 c > cmir : - - - - - - - 121280 0 37826 37826 0 -
3587.77/3597.01 c > flowcover : - - - - - - - 6771 0 2172 2172 0 -
3587.77/3597.01 c > knapsackcover : - - - - - - - 45359 0 26657 26657 0 -
3587.77/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c clique : 0.01 0.00 49 49 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c gomory : 51.81 0.00 4185 20 0 0 213742 223598 0 4443 4443 0 0
3587.77/3597.01 c > gomorymi : - - - - - - - 136530 0 4304 4304 0 -
3587.77/3597.01 c > strongcg : - - - - - - - 87068 0 139 139 0 -
3587.77/3597.01 c impliedbounds : 0.07 0.00 5054 49 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c multilinear : 0.00 0.00 4124 49 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c rapidlearning : 0.22 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c rlt : 0.01 0.00 889 20 0 0 0 0 0 0 0 0 0
3587.77/3597.01 c zerohalf : 19.92 0.00 4205 40 0 0 6942 706123 0 194106 194106 0 0
3587.77/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.77/3597.01 c hybrid : 2.40 0.00 21398 47 265315 0 840256 789 0 11559
3587.77/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.77/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.77/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3587.77/3597.01 c problem variables: 0.00 - 0 0
3587.77/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.77/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.77/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.77/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.77/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.77/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.77/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.77/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.77/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.77/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.77/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.77/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.77/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.77/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.77/3597.01 c relpscost : 121.31 0.00 54926 0 0 0 0 0 0 109852
3587.77/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.77/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.77/3597.01 c LP solutions : 0.00 - - 0 0
3587.77/3597.01 c relax solutions : 0.00 - - 0 0
3587.77/3597.01 c pseudo solutions : 0.00 - - 0 0
3587.77/3597.01 c strong branching : 0.20 - - 511 0
3587.77/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3587.77/3597.01 c adaptivediving : 15.06 0.00 45 2 0
3587.77/3597.01 c alns : 0.07 0.00 8 0 0
3587.77/3597.01 c bound : 0.00 0.00 0 0 0
3587.77/3597.01 c clique : 0.00 0.00 1 0 0
3587.77/3597.01 c coefdiving : 0.00 0.00 0 0 0
3587.77/3597.01 c completesol : 0.00 0.00 0 0 0
3587.77/3597.01 c conflictdiving : 355.42 0.00 936 1 0
3587.77/3597.01 c crossover : 0.22 0.00 1 1 1
3587.77/3597.01 c dins : 0.00 0.00 0 0 0
3587.77/3597.01 c distributiondivin: 190.29 0.00 295 2 0
3587.77/3597.01 c dps : 0.00 0.00 0 0 0
3587.77/3597.01 c dualval : 0.00 0.00 0 0 0
3587.77/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3587.77/3597.01 c feasjump : 0.00 0.00 0 0 0
3587.77/3597.01 c feaspump : 0.00 0.00 0 0 0
3587.77/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3587.77/3597.01 c fracdiving : 119.78 0.00 314 1 0
3587.77/3597.01 c gins : 0.11 0.00 13 8 0
3587.77/3597.01 c guideddiving : 107.83 0.00 306 2 0
3587.77/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3587.77/3597.01 c indicator : 0.02 0.00 0 0 0
3587.77/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3587.77/3597.01 c indoneopt : 0.01 0.00 0 0 0
3587.77/3597.01 c indrounding : 0.00 0.00 0 0 0
3587.77/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3587.77/3597.01 c intdiving : 0.00 0.00 0 0 0
3587.77/3597.01 c intshifting : 0.00 0.00 0 0 0
3587.77/3597.01 c linesearchdiving : 86.89 0.00 387 0 0
3587.77/3597.01 c localbranching : 0.00 0.00 0 0 0
3587.77/3597.01 c locks : 0.00 0.00 1 1 1
3587.77/3597.01 c lpface : 0.01 0.00 0 0 0
3587.77/3597.01 c mpec : 0.00 0.00 0 0 0
3587.77/3597.01 c multistart : 0.00 0.00 0 0 0
3587.77/3597.01 c mutation : 0.00 0.00 0 0 0
3587.77/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3587.77/3597.01 c objpscostdiving : 56.33 0.00 54 388 0
3587.77/3597.01 c octane : 0.00 0.00 0 0 0
3587.77/3597.01 c ofins : 0.01 0.00 0 0 0
3587.77/3597.01 c oneopt : 0.01 0.00 5 1 1
3587.77/3597.01 c padm : 0.00 0.00 0 0 0
3587.77/3597.01 c proximity : 0.00 0.00 0 0 0
3587.77/3597.01 c pscostdiving : 174.25 0.00 818 110 5
3587.77/3597.01 c randrounding : 0.91 0.00 20835 0 0
3587.77/3597.01 c rens : 0.00 0.00 0 0 0
3587.77/3597.01 c reoptsols : 0.00 0.00 0 0 0
3587.77/3597.01 c repair : 0.00 0.00 0 0 0
3587.77/3597.01 c rins : 2.78 0.00 4 4 1
3587.77/3597.01 c rootsoldiving : 13.89 0.00 104 3 0
3587.77/3597.01 c rounding : 4.39 0.00 3845 0 0
3587.77/3597.01 c scheduler : 0.00 0.00 0 0 0
3587.77/3597.01 c shiftandpropagate: 0.00 0.00 0 0 0
3587.77/3597.01 c shifting : 2.59 0.00 1999 0 0
3587.77/3597.01 c simplerounding : 1.45 0.00 76324 67 0
3587.77/3597.01 c smallcard : 0.00 0.00 0 0 0
3587.77/3597.01 c subnlp : 0.02 0.00 0 0 0
3587.77/3597.01 c trivial : 0.00 0.00 4 1 1
3587.77/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3587.77/3597.01 c trustregion : 0.00 0.00 0 0 0
3587.77/3597.01 c trysol : 0.01 0.00 0 0 0
3587.77/3597.01 c twoopt : 0.00 0.00 0 0 0
3587.77/3597.01 c undercover : 0.00 0.00 0 0 0
3587.77/3597.01 c vbounds : 0.00 0.00 0 0 0
3587.77/3597.01 c veclendiving : 93.27 0.00 415 1 0
3587.77/3597.01 c zeroobj : 0.00 0.00 0 0 0
3587.77/3597.01 c zirounding : 0.99 0.00 5201 104 0
3587.77/3597.01 c other solutions : - - - 0 -
3587.77/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.77/3597.01 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.77/3597.01 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.77/3597.01 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.77/3597.01 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.77/3597.01 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.77/3597.01 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.77/3597.01 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.77/3597.01 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.77/3597.01 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.77/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.77/3597.01 c primal LP : 2.39 10541 2 1.00 0.84 2.39 10539
3587.77/3597.01 c dual LP : 2021.46 76325 24439973 320.21 12090.25 0.00 0
3587.77/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3587.77/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.77/3597.01 c resolve instable : 0.00 0 0 0.00 -
3587.77/3597.01 c diving/probing LP: 1124.78 40035 14655779 366.07 13029.94
3587.77/3597.01 c strong branching : 114.37 2588 1382976 534.38 12092.05 - - 364
3587.77/3597.01 c (at root node) : - 70 43655 623.64 -
3587.77/3597.01 c conflict analysis: 3.61 6242 61754 9.89 17108.92
3587.77/3597.01 c B&B Tree :
3587.77/3597.01 c number of runs : 2
3587.77/3597.01 c nodes : 53878 (53877 internal, 1 leaves)
3587.77/3597.01 c feasible leaves : 0
3587.77/3597.01 c infeas. leaves : 0
3587.77/3597.01 c objective leaves : 0
3587.77/3597.01 c nodes (total) : 54927 (54926 internal, 1 leaves)
3587.77/3597.01 c nodes left : 53878
3587.77/3597.01 c max depth : 92
3587.77/3597.01 c max depth (total): 92
3587.77/3597.01 c backtracks : 5393 (10.0%)
3587.77/3597.01 c early backtracks : 0 (0.0%)
3587.77/3597.01 c nodes exc. ref. : 0 (0.0%)
3587.77/3597.01 c delayed cutoffs : 0
3587.77/3597.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3587.77/3597.01 c avg switch length: 4.27
3587.77/3597.01 c switching time : 4.16
3587.77/3597.01 c Root Node :
3587.77/3597.01 c First LP value : +1.47041270300124e+02
3587.77/3597.01 c First LP Iters : 10018 (9248.79 Iter/sec)
3587.77/3597.01 c First LP Time : 1.08
3587.77/3597.01 c Final Dual Bound : +1.60300631842726e+02
3587.77/3597.01 c Final Root Iters : 27932
3587.77/3597.01 c Root LP Estimate : +2.34333793270568e+02
3587.77/3597.01 c Solution :
3587.77/3597.01 c Solutions found : 1208 (10 improvements)
3587.77/3597.01 c First Solution : +4.65000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
3587.77/3597.01 c Gap First Sol. : infinite
3587.77/3597.01 c Gap Last Sol. : 13.63 %
3587.77/3597.01 c Primal Bound : +1.84000000000000e+02 (in run 2, after 7250 nodes, 812.52 seconds, depth 215, found by <pscostdiving>)
3587.77/3597.01 c Dual Bound : +1.62870371780640e+02
3587.77/3597.01 c Gap : 12.97 %
3587.77/3597.01 c Integrals : Total Avg%
3587.77/3597.01 c primal-dual : 43215.81 12.01
3587.77/3597.01 c primal-ref : - - (not evaluated)
3587.77/3597.01 c dual-ref : - - (not evaluated)
3587.87/3597.18 c Time complete: 3587.95.
OK 184
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (62257 MiB free)
memory of node 1: 64510 MiB (61160 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432629-1721078616/watcher-4432629-1721078616 -o /tmp/evaluation-result-4432629-1721078616/solver-4432629-1721078616 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721071433-807175 --watchdog 3760 pbscip -f HOME/instance-4432629-1721078616.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=811250, runsolver pid=811247
[startup+0.100348 s]*
/proc/loadavg: 4.16 4.17 4.17 5/243 811251
/proc/meminfo: memFree=126370424/131655788 swapFree=131071996/131071996
[pid=811250] ppid=811247 vsize=63208 memory=24896 CPUtime=0.09 cores=5,7
/proc/811250/stat : 811250 (pbscip) R 811247 811250 807162 0 -1 4194304 2588 0 0 0 9 0 0 0 20 0 1 0 160018574 64724992 6224 134679101440 4194304 18693293 140720789339392 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 45092864 140720789345284 140720789345383 140720789345383 140720789352398 0
/proc/811250/statm: 15802 6224 3993 3540 0 4059 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 63208 KiB
Current children cumulated memory: 24896 KiB
[startup+0.213348 s]*
/proc/loadavg: 4.16 4.17 4.17 6/243 811251
/proc/meminfo: memFree=126369836/131655788 swapFree=131071996/131071996
[pid=811250] ppid=811247 vsize=63524 memory=25160 CPUtime=0.19 cores=5,7
/proc/811250/stat : 811250 (pbscip) R 811247 811250 807162 0 -1 4194304 2647 0 0 0 19 0 0 0 20 0 1 0 160018574 65048576 6290 134679101440 4194304 18693293 140720789339392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45092864 140720789345284 140720789345383 140720789345383 140720789352398 0
/proc/811250/statm: 15881 6290 3993 3540 0 4138 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 63524 KiB
Current children cumulated memory: 25160 KiB
[startup+0.311769 s]*
/proc/loadavg: 4.16 4.17 4.17 6/243 811251
/proc/meminfo: memFree=126369604/131655788 swapFree=131071996/131071996
[pid=811250] ppid=811247 vsize=63524 memory=25160 CPUtime=0.29 cores=5,7
/proc/811250/stat : 811250 (pbscip) R 811247 811250 807162 0 -1 4194304 2647 0 0 0 29 0 0 0 20 0 1 0 160018574 65048576 6290 134679101440 4194304 18693293 140720789339392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45092864 140720789345284 140720789345383 140720789345383 140720789352398 0
/proc/811250/statm: 15881 6290 3993 3540 0 4138 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 63524 KiB
Current children cumulated memory: 25160 KiB
[startup+0.700275 s]
/proc/loadavg: 4.16 4.17 4.17 5/243 811251
/proc/meminfo: memFree=126369352/131655788 swapFree=131071996/131071996
[pid=811250] ppid=811247 vsize=63804 memory=25424 CPUtime=0.67 cores=5,7
/proc/811250/stat : 811250 (pbscip) R 811247 811250 807162 0 -1 4194304 2727 0 0 0 67 0 0 0 20 0 1 0 160018574 65335296 6356 134679101440 4194304 18693293 140720789339392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45092864 140720789345284 140720789345383 140720789345383 140720789352398 0
/proc/811250/statm: 15951 6356 3993 3540 0 4208 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 63804 KiB
Current children cumulated memory: 25424 KiB
[startup+1.5003 s]
/proc/loadavg: 4.16 4.17 4.17 5/243 811251
/proc/meminfo: memFree=126318372/131655788 swapFree=131071996/131071996
[pid=811250] ppid=811247 vsize=94896 memory=56272 CPUtime=1.47 cores=5,7
/proc/811250/stat : 811250 (pbscip) R 811247 811250 807162 0 -1 4194304 10645 0 0 0 145 2 0 0 20 0 1 0 160018574 97173504 14068 134679101440 4194304 18693293 140720789339392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45092864 140720789345284 140720789345383 140720789345383 140720789352398 0
/proc/811250/statm: 23724 14068 4009 3540 0 11981 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 94896 KiB
Current children cumulated memory: 56272 KiB
[startup+3.1127 s]
/proc/loadavg: 4.16 4.17 4.17 6/243 811299
/proc/meminfo: memFree=126274348/131655788 swapFree=131071996/131071996
[pid=811250] ppid=811247 vsize=192776 memory=150236 CPUtime=3.08 cores=5,7
/proc/811250/stat : 811250 (pbscip) R 811247 811250 807162 0 -1 4194304 35316 0 0 0 303 5 0 0 20 0 1 0 160018574 197402624 37559 134679101440 4194304 18693293 140720789339392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45092864 140720789345284 140720789345383 140720789345383 140720789352398 0
/proc/811250/statm: 48194 37559 4009 3540 0 36451 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 192776 KiB
Current children cumulated memory: 150236 KiB
[startup+6.30025 s]
/proc/loadavg: 4.15 4.17 4.17 5/243 811299
/proc/meminfo: memFree=126249820/131655788 swapFree=131071996/131071996
[pid=811250] ppid=811247 vsize=192776 memory=150236 CPUtime=6.26 cores=5,7
/proc/811250/stat : 811250 (pbscip) R 811247 811250 807162 0 -1 4194304 35322 0 0 0 621 5 0 0 20 0 1 0 160018574 197402624 37559 134679101440 4194304 18693293 140720789339392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45092864 140720789345284 140720789345383 140720789345383 140720789352398 0
/proc/811250/statm: 48194 37559 4009 3540 0 36451 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 192776 KiB
Current children cumulated memory: 150236 KiB
[startup+12.7003 s]
/proc/loadavg: 4.14 4.16 4.17 5/243 811299
/proc/meminfo: memFree=126247568/131655788 swapFree=131071996/131071996
[pid=811250] ppid=811247 vsize=192776 memory=150236 CPUtime=12.64 cores=5,7
/proc/811250/stat : 811250 (pbscip) R 811247 811250 807162 0 -1 4194304 35322 0 0 0 1259 5 0 0 20 0 1 0 160018574 197402624 37559 134679101440 4194304 18693293 140720789339392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45092864 140720789345284 140720789345383 140720789345383 140720789352398 0
/proc/811250/statm: 48194 37559 4009 3540 0 36451 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 192776 KiB
Current children cumulated memory: 150236 KiB
[startup+25.5003 s]
/proc/loadavg: 4.11 4.15 4.16 5/243 811303
/proc/meminfo: memFree=126054636/131655788 swapFree=131071996/131071996
[pid=811250] ppid=811247 vsize=255004 memory=212964 CPUtime=25.41 cores=5,7
/proc/811250/stat : 811250 (pbscip) R 811247 811250 807162 0 -1 4194304 51871 0 0 0 2533 8 0 0 20 0 1 0 160018574 261124096 53241 134679101440 4194304 18693293 140720789339392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45092864 140720789345284 140720789345383 140720789345383 140720789352398 0
/proc/811250/statm: 63751 53241 4040 3540 0 52008 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 255004 KiB
Current children cumulated memory: 212964 KiB
[startup+51.112 s]
/proc/loadavg: 4.13 4.16 4.16 5/243 811306
/proc/meminfo: memFree=126044840/131655788 swapFree=131071996/131071996
[pid=811250] ppid=811247 vsize=260468 memory=218236 CPUtime=50.95 cores=5,7
/proc/811250/stat : 811250 (pbscip) R 811247 811250 807162 0 -1 4194304 53220 0 0 0 5087 8 0 0 20 0 1 0 160018574 266719232 54559 134679101440 4194304 18693293 140720789339392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45092864 140720789345284 140720789345383 140720789345383 140720789352398 0
/proc/811250/statm: 65117 54559 4040 3540 0 53374 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 260468 KiB
Current children cumulated memory: 218236 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.15 4.16 5/243 811315
/proc/meminfo: memFree=126007844/131655788 swapFree=131071996/131071996
[pid=811250] ppid=811247 vsize=265476 memory=222984 CPUtime=102.02 cores=5,7
/proc/811250/stat : 811250 (pbscip) R 811247 811250 807162 0 -1 4194304 54410 0 0 0 10193 9 0 0 20 0 1 0 160018574 271847424 55746 134679101440 4194304 18693293 140720789339392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45092864 140720789345284 140720789345383 140720789345383 140720789352398 0
/proc/811250/statm: 66369 55746 4040 3540 0 54626 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 265476 KiB
Current children cumulated memory: 222984 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.16 4.17 5/243 811709
/proc/meminfo: memFree=125697932/131655788 swapFree=131071996/131071996
[pid=811250] ppid=811247 vsize=339248 memory=297048 CPUtime=161.86 cores=5,7
/proc/811250/stat : 811250 (pbscip) R 811247 811250 807162 0 -1 4194304 73412 0 0 0 16174 12 0 0 20 0 1 0 160018574 347389952 74262 134679101440 4194304 18693293 140720789339392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45092864 140720789345284 140720789345383 140720789345383 140720789352398 0
/proc/811250/statm: 84812 74262 4040 3540 0 73069 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 339248 KiB
Current children cumulated memory: 297048 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.15 4.16 5/243 811721
/proc/meminfo: memFree=125641596/131655788 swapFree=131071996/131071996
[pid=811250] ppid=811247 vsize=349468 memory=306596 CPUtime=221.72 cores=5,7
/proc/811250/stat : 811250 (pbscip) R 811247 811250 807162 0 -1 4194304 76126 0 0 0 22158 14 0 0 20 0 1 0 160018574 357855232 76649 134679101440 4194304 18693293 140720789339392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45092864 140720789345284 140720789345383 140720789345383 140720789352398 0
/proc/811250/statm: 87367 76649 4040 3540 0 75624 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 349468 KiB
Current children cumulated memory: 306596 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/243 811731
/proc/meminfo: memFree=125596860/131655788 swapFree=131071996/131071996
[pid=811250] ppid=811247 vsize=349468 memory=306872 CPUtime=281.58 cores=5,7
/proc/811250/stat : 811250 (pbscip) R 811247 811250 807162 0 -1 4194304 76216 0 0 0 28143 15 0 0 20 0 1 0 160018574 357855232 76718 134679101440 4194304 18693293 140720789339392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45092864 140720789345284 140720789345383 140720789345383 140720789352398 0
/proc/811250/statm: 87367 76718 4040 3540 0 75624 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 349468 KiB
Current children cumulated memory: 306872 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.14 4.15 5/245 811911
/proc/meminfo: memFree=125587764/131655788 swapFree=131071996/131071996
[pid=811250] ppid=811247 vsize=349468 memory=309056 CPUtime=341.42 cores=5,7
/proc/811250/stat : 811250 (pbscip) R 811247 811250 807162 0 -1 4194304 76242 0 0 0 34127 15 0 0 20 0 1 0 160018574 357855232 77264 134679101440 4194304 18693293 140720789339392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45092864 140720789345284 140720789345383 140720789345383 140720789352398 0
/proc/811250/statm: 87367 77264 4040 3540 0 75624 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 349468 KiB
Current children cumulated memory: 309056 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.14 4.15 5/245 811922
/proc/meminfo: memFree=125582296/131655788 swapFree=131071996/131071996
[pid=811250] ppid=811247 vsize=352536 memory=313104 CPUtime=401.26 cores=5,7
/proc/811250/stat : 811250 (pbscip) R 811247 811250 807162 0 -1 4194304 77082 0 0 0 40111 15 0 0 20 0 1 0 160018574 360996864 78276 134679101440 4194304 18693293 140720789339392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45092864 140720789345284 140720789345383 140720789345383 140720789352398 0
/proc/811250/statm: 88134 78276 4040 3540 0 76391 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 352536 KiB
Current children cumulated memory: 313104 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/243 811989
/proc/meminfo: memFree=125577540/131655788 swapFree=131071996/131071996
[pid=811250] ppid=811247 vsize=353872 memory=316404 CPUtime=461.11 cores=5,7
/proc/811250/stat : 811250 (pbscip) R 811247 811250 807162 0 -1 4194304 77707 0 0 0 46095 16 0 0 20 0 1 0 160018574 362364928 79101 134679101440 4194304 18693293 140720789339392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45092864 140720789345284 140720789345383 140720789345383 140720789352398 0
/proc/811250/statm: 88468 79101 4040 3540 0 76725 0
################
# More data... #
################
/proc/loadavg: 4.17 4.15 4.16 5/242 813644
/proc/meminfo: memFree=125321004/131655788 swapFree=131071996/131071996
[pid=811250] ppid=811247 vsize=413036 memory=376176 CPUtime=3213.96 cores=5,7
/proc/811250/stat : 811250 (pbscip) R 811247 811250 807162 0 -1 4194304 99162 0 0 0 321372 24 0 0 20 0 1 0 160018574 422948864 94044 134679101440 4194304 18693293 140720789339392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45092864 140720789345284 140720789345383 140720789345383 140720789352398 0
/proc/811250/statm: 103259 94044 4040 3540 0 91516 0
Current children cumulated CPU time: 3213.96 s
Current children cumulated vsize: 413036 KiB
Current children cumulated memory: 376176 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/242 813654
/proc/meminfo: memFree=125319600/131655788 swapFree=131071996/131071996
[pid=811250] ppid=811247 vsize=413720 memory=376916 CPUtime=3273.81 cores=5,7
/proc/811250/stat : 811250 (pbscip) R 811247 811250 807162 0 -1 4194304 99492 0 0 0 327357 24 0 0 20 0 1 0 160018574 423649280 94229 134679101440 4194304 18693293 140720789339392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45092864 140720789345284 140720789345383 140720789345383 140720789352398 0
/proc/811250/statm: 103430 94229 4040 3540 0 91687 0
Current children cumulated CPU time: 3273.81 s
Current children cumulated vsize: 413720 KiB
Current children cumulated memory: 376916 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/242 813664
/proc/meminfo: memFree=125313140/131655788 swapFree=131071996/131071996
[pid=811250] ppid=811247 vsize=414392 memory=377616 CPUtime=3333.67 cores=5,7
/proc/811250/stat : 811250 (pbscip) R 811247 811250 807162 0 -1 4194304 99814 0 0 0 333343 24 0 0 20 0 1 0 160018574 424337408 94404 134679101440 4194304 18693293 140720789339392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45092864 140720789345284 140720789345383 140720789345383 140720789352398 0
/proc/811250/statm: 103598 94404 4040 3540 0 91855 0
Current children cumulated CPU time: 3333.67 s
Current children cumulated vsize: 414392 KiB
Current children cumulated memory: 377616 KiB
[startup+3402.3 s]
/proc/loadavg: 4.65 4.26 4.19 5/241 813674
/proc/meminfo: memFree=125312016/131655788 swapFree=131071996/131071996
[pid=811250] ppid=811247 vsize=414392 memory=377616 CPUtime=3393.52 cores=5,7
/proc/811250/stat : 811250 (pbscip) R 811247 811250 807162 0 -1 4194304 99962 0 0 0 339328 24 0 0 20 0 1 0 160018574 424337408 94404 134679101440 4194304 18693293 140720789339392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45092864 140720789345284 140720789345383 140720789345383 140720789352398 0
/proc/811250/statm: 103598 94404 4040 3540 0 91855 0
Current children cumulated CPU time: 3393.52 s
Current children cumulated vsize: 414392 KiB
Current children cumulated memory: 377616 KiB
[startup+3462.3 s]
/proc/loadavg: 4.55 4.33 4.22 5/244 813690
/proc/meminfo: memFree=125298660/131655788 swapFree=131071996/131071996
[pid=811250] ppid=811247 vsize=419076 memory=381120 CPUtime=3453.37 cores=5,7
/proc/811250/stat : 811250 (pbscip) R 811247 811250 807162 0 -1 4194304 102139 0 0 0 345313 24 0 0 20 0 1 0 160018574 429133824 95280 134679101440 4194304 18693293 140720789339392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45092864 140720789345284 140720789345383 140720789345383 140720789352398 0
/proc/811250/statm: 104769 95280 4040 3540 0 93026 0
Current children cumulated CPU time: 3453.37 s
Current children cumulated vsize: 419076 KiB
Current children cumulated memory: 381120 KiB
[startup+3522.3 s]
/proc/loadavg: 4.32 4.30 4.21 5/244 813700
/proc/meminfo: memFree=125296708/131655788 swapFree=131071996/131071996
[pid=811250] ppid=811247 vsize=419908 memory=382744 CPUtime=3513.24 cores=5,7
/proc/811250/stat : 811250 (pbscip) R 811247 811250 807162 0 -1 4194304 102660 0 0 0 351299 25 0 0 20 0 1 0 160018574 429985792 95686 134679101440 4194304 18693293 140720789339392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45092864 140720789345284 140720789345383 140720789345383 140720789352398 0
/proc/811250/statm: 104977 95686 4040 3540 0 93234 0
Current children cumulated CPU time: 3513.24 s
Current children cumulated vsize: 419908 KiB
Current children cumulated memory: 382744 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.26 4.20 5/244 813710
/proc/meminfo: memFree=125295168/131655788 swapFree=131071996/131071996
[pid=811250] ppid=811247 vsize=420936 memory=383768 CPUtime=3573.1 cores=5,7
/proc/811250/stat : 811250 (pbscip) R 811247 811250 807162 0 -1 4194304 103086 0 0 0 357285 25 0 0 20 0 1 0 160018574 431038464 95942 134679101440 4194304 18693293 140720789339392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45092864 140720789345284 140720789345383 140720789345383 140720789352398 0
/proc/811250/statm: 105234 95942 4040 3540 0 93491 0
Current children cumulated CPU time: 3573.1 s
Current children cumulated vsize: 420936 KiB
Current children cumulated memory: 383768 KiB
[startup+3597.19 s]
# the end of solver process 811250 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.7 s, system=0.256663 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.18 4.26 4.20 5/244 813711
/proc/meminfo: memFree=125295100/131655788 swapFree=131071996/131071996
[pid=811250] ppid=811247 vsize=420936 memory=383768 CPUtime=3574.8 cores=5,7
/proc/811250/stat : 811250 (pbscip) R 811247 811250 807162 0 -1 4194304 103086 0 0 0 357455 25 0 0 20 0 1 0 160018574 431038464 95942 134679101440 4194304 18693293 140720789339392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45092864 140720789345284 140720789345383 140720789345383 140720789352398 0
/proc/811250/statm: 105234 95942 4040 3540 0 93491 0
Current children cumulated CPU time: 3574.8 s
Current children cumulated vsize: 420936 KiB
Current children cumulated memory: 383768 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.25 4.20 5/244 813711
/proc/meminfo: memFree=125295124/131655788 swapFree=131071996/131071996
[pid=811250] ppid=811247 vsize=420936 memory=383768 CPUtime=3581.18 cores=5,7
/proc/811250/stat : 811250 (pbscip) R 811247 811250 807162 0 -1 4194304 103086 0 0 0 358093 25 0 0 20 0 1 0 160018574 431038464 95942 134679101440 4194304 18693293 140720789339392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45092864 140720789345284 140720789345383 140720789345383 140720789352398 0
/proc/811250/statm: 105234 95942 4040 3540 0 93491 0
Current children cumulated CPU time: 3581.18 s
Current children cumulated vsize: 420936 KiB
Current children cumulated memory: 383768 KiB
[startup+3593.6 s]
/proc/loadavg: 4.15 4.25 4.20 5/244 813713
/proc/meminfo: memFree=125295012/131655788 swapFree=131071996/131071996
[pid=811250] ppid=811247 vsize=420936 memory=383768 CPUtime=3584.37 cores=5,7
/proc/811250/stat : 811250 (pbscip) R 811247 811250 807162 0 -1 4194304 103087 0 0 0 358412 25 0 0 20 0 1 0 160018574 431038464 95942 134679101440 4194304 18693293 140720789339392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45092864 140720789345284 140720789345383 140720789345383 140720789352398 0
/proc/811250/statm: 105234 95942 4040 3540 0 93491 0
Current children cumulated CPU time: 3584.37 s
Current children cumulated vsize: 420936 KiB
Current children cumulated memory: 383768 KiB
[startup+3595.2 s]
/proc/loadavg: 4.14 4.24 4.20 5/244 813713
/proc/meminfo: memFree=125292996/131655788 swapFree=131071996/131071996
[pid=811250] ppid=811247 vsize=420936 memory=383768 CPUtime=3585.96 cores=5,7
/proc/811250/stat : 811250 (pbscip) R 811247 811250 807162 0 -1 4194304 103087 0 0 0 358571 25 0 0 20 0 1 0 160018574 431038464 95942 134679101440 4194304 18693293 140720789339392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45092864 140720789345284 140720789345383 140720789345383 140720789352398 0
/proc/811250/statm: 105234 95942 4040 3540 0 93491 0
Current children cumulated CPU time: 3585.96 s
Current children cumulated vsize: 420936 KiB
Current children cumulated memory: 383768 KiB
[startup+3596 s]*
/proc/loadavg: 4.14 4.24 4.20 5/244 813713
/proc/meminfo: memFree=125292872/131655788 swapFree=131071996/131071996
[pid=811250] ppid=811247 vsize=420936 memory=383768 CPUtime=3586.77 cores=5,7
/proc/811250/stat : 811250 (pbscip) R 811247 811250 807162 0 -1 4194304 103087 0 0 0 358652 25 0 0 20 0 1 0 160018574 431038464 95942 134679101440 4194304 18693293 140720789339392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45092864 140720789345284 140720789345383 140720789345383 140720789352398 0
/proc/811250/statm: 105234 95942 4040 3540 0 93491 0
Current children cumulated CPU time: 3586.77 s
Current children cumulated vsize: 420936 KiB
Current children cumulated memory: 383768 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.24 4.20 5/244 813713
/proc/meminfo: memFree=125292872/131655788 swapFree=131071996/131071996
[pid=811250] ppid=811247 vsize=420936 memory=383768 CPUtime=3587.56 cores=5,7
/proc/811250/stat : 811250 (pbscip) R 811247 811250 807162 0 -1 4194304 103087 0 0 0 358731 25 0 0 20 0 1 0 160018574 431038464 95942 134679101440 4194304 18693293 140720789339392 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45092864 140720789345284 140720789345383 140720789345383 140720789352398 0
/proc/811250/statm: 105234 95942 4040 3540 0 93491 0
Current children cumulated CPU time: 3587.56 s
Current children cumulated vsize: 420936 KiB
Current children cumulated memory: 383768 KiB
[startup+3597 s]*
/proc/loadavg: 4.14 4.24 4.20 5/244 813713
/proc/meminfo: memFree=125292904/131655788 swapFree=131071996/131071996
[pid=811250] ppid=811247 vsize=420936 memory=383768 CPUtime=3587.77 cores=5,7
/proc/811250/stat : 811250 (pbscip) R 811247 811250 807162 0 -1 4194304 103087 0 0 0 358752 25 0 0 20 0 1 0 160018574 431038464 95942 134679101440 4194304 18693293 140720789339392 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45092864 140720789345284 140720789345383 140720789345383 140720789352398 0
/proc/811250/statm: 105234 95942 4040 3540 0 93491 0
Current children cumulated CPU time: 3587.77 s
Current children cumulated vsize: 420936 KiB
Current children cumulated memory: 383768 KiB
[startup+3597.11 s]
/proc/loadavg: 4.14 4.24 4.20 5/244 813713
/proc/meminfo: memFree=125292904/131655788 swapFree=131071996/131071996
[pid=811250] ppid=811247 vsize=416824 memory=379724 CPUtime=3587.87 cores=5,7
/proc/811250/stat : 811250 (pbscip) R 811247 811250 807162 0 -1 4194304 103087 0 0 0 358762 25 0 0 20 0 1 0 160018574 426827776 94931 134679101440 4194304 18693293 140720789339392 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45092864 140720789345284 140720789345383 140720789345383 140720789352398 0
/proc/811250/statm: 104206 94931 4040 3540 0 92463 0
Current children cumulated CPU time: 3587.87 s
Current children cumulated vsize: 416824 KiB
Current children cumulated memory: 379724 KiB
Child status: 0
Real time (s): 3597.19
CPU time (s): 3587.95
CPU user time (s): 3587.7
CPU system time (s): 0.256663
CPU usage (%): 99.7433
Max. virtual memory (cumulated for all children) (KiB): 420936
Max. memory (cumulated for all children) (KiB): 383768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.7
system time used= 0.256663
maximum resident set size= 383768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103106
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= 44
involuntary context switches= 2046
# summary of solver processes directly reported to runsolver:
# pid: 811250
# total CPU time (s): 3587.95
# total CPU user time (s): 3587.7
# total CPU system time (s): 0.256663
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1697 second user time and 31.758 second system time
The end
Begin job on nodeC012 at 2024-07-15 23:23:49 IDJOB=4432629 IDBENCH=147540 IDSOLVER=3059 FILE ID=nodeC012/4432629-1721078616 RUNJOBID= nodeC012-1721071433-807175 SLURM_JOB_ID= 7505533 Free space on /tmp= 723720 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432629-1721078616/watcher-4432629-1721078616 -o /tmp/evaluation-result-4432629-1721078616/solver-4432629-1721078616 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721071433-807175 --watchdog 3760 pbscip -f HOME/instance-4432629-1721078616.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 62fadc113b966a642e431cfbd80ddcdc RANDOM SEED=283295705 nodeC012.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /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.321 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.37 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 : 3492.187 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 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.530 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.37 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.345 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 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 : 3664.244 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.37 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 : 3492.193 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 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.334 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.37 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.327 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 126380892 kB MemAvailable: 129481572 kB Buffers: 378168 kB Cached: 3528036 kB SwapCached: 0 kB Active: 626500 kB Inactive: 4045176 kB Active(anon): 1464 kB Inactive(anon): 801432 kB Active(file): 625036 kB Inactive(file): 3243744 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 55936 kB Writeback: 0 kB AnonPages: 757896 kB Mapped: 137572 kB Shmem: 37704 kB KReclaimable: 143864 kB Slab: 246312 kB SReclaimable: 143864 kB SUnreclaim: 102448 kB KernelStack: 3832 kB PageTables: 10704 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1147152 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 51520 kB HardwareCorrupted: 0 kB AnonHugePages: 964608 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 275272 kB DirectMap2M: 24795136 kB DirectMap1G: 111149056 kB Free space on /tmp at the end= 723704 MiB End job on nodeC012 at 2024-07-16 00:23:46