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 | 189 | 3586.87 | 3597.16 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb |
| MD5SUM | 79a11fcf881101c51e0b67ee01609c80 |
| 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 | 179 |
| Best CPU time to get the best result obtained on this benchmark | 3586 |
| 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 | 470 |
| Total number of constraints | 470 |
| 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 | 470 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 470 |
| 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 | 470 |
| 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 | 470 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4489240-1751356075.opb>
0.00/0.01 c original problem has 470 variables (470 bin, 0 int, 0 impl, 0 cont) and 470 constraints
0.00/0.01 c problem read in 0.00
0.00/0.01 o 470
0.00/0.01 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 4.700000e+02
0.00/0.01 c presolving:
0.00/0.01 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 16 chg sides, 100 chg coeffs, 0 upgd conss, 0 impls, 112 clqs
0.00/0.01 c (0.0s) running MILP presolver
0.00/0.01 c (0.0s) MILP presolver found nothing
0.00/0.02 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 16 chg sides, 100 chg coeffs, 470 upgd conss, 0 impls, 112 clqs
0.00/0.02 c (round 3, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 125 chg sides, 382 chg coeffs, 470 upgd conss, 0 impls, 112 clqs
0.00/0.02 c (round 4, medium) 0 del vars, 116 del conss, 221 add conss, 0 chg bounds, 355 chg sides, 821 chg coeffs, 470 upgd conss, 0 impls, 113 clqs
0.00/0.02 c (round 5, fast) 0 del vars, 153 del conss, 237 add conss, 0 chg bounds, 449 chg sides, 1319 chg coeffs, 470 upgd conss, 0 impls, 113 clqs
0.00/0.02 c (round 6, fast) 0 del vars, 153 del conss, 237 add conss, 0 chg bounds, 449 chg sides, 1322 chg coeffs, 470 upgd conss, 0 impls, 113 clqs
0.00/0.02 c (round 7, exhaustive) 0 del vars, 153 del conss, 237 add conss, 0 chg bounds, 449 chg sides, 1325 chg coeffs, 470 upgd conss, 0 impls, 113 clqs
0.00/0.02 c (0.0s) probing: 51/470 (10.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.03 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.03 c (0.0s) no symmetry present (symcode time: 0.00)
0.00/0.03 c presolving (8 rounds: 8 fast, 4 medium, 3 exhaustive):
0.00/0.03 c 0 deleted vars, 153 deleted constraints, 237 added constraints, 0 tightened bounds, 0 added holes, 449 changed sides, 1325 changed coefficients
0.00/0.03 c 0 implications, 113 cliques
0.00/0.03 c presolved problem has 470 variables (470 bin, 0 int, 0 impl, 0 cont) and 554 constraints
0.00/0.03 c 426 constraints of type <knapsack>
0.00/0.03 c 110 constraints of type <setppc>
0.00/0.03 c 18 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 10.0.0
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.03 c limits/time = 3596.998015
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.03 c limits/memory = 27900
0.00/0.03 c
0.00/0.03 c # belongs reading time to solving time?
0.00/0.03 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c timing/reading = TRUE
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c transformed 1/1 original solutions to the transformed problem space
0.00/0.03 c
0.00/0.03 o 227
0.00/0.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.03 c p 0.0s| 1 | 0 | 0 | - | locks| 0 | 470 | 554 | 554 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.270000e+02 | Inf | unknown
0.00/0.03 o 207
0.00/0.03 c i 0.0s| 1 | 0 | 0 | - | oneopt| 0 | 470 | 554 | 554 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.070000e+02 | Inf | unknown
0.49/0.59 c 0.6s| 1 | 0 | 9645 | - | 7604k | 0 | 470 | 554 | 554 | 0 | 0 | 0 | 0 | 1.490466e+02 | 2.070000e+02 | 38.88%| unknown
0.68/0.72 c 0.7s| 1 | 0 | 10296 | - | 25M | 0 | 470 | 554 | 616 | 62 | 1 | 0 | 0 | 1.534159e+02 | 2.070000e+02 | 34.93%| unknown
0.79/0.85 c 0.8s| 1 | 0 | 10923 | - | 38M | 0 | 470 | 554 | 671 | 117 | 2 | 0 | 0 | 1.562638e+02 | 2.070000e+02 | 32.47%| unknown
0.88/0.98 c 1.0s| 1 | 0 | 11566 | - | 51M | 0 | 470 | 554 | 721 | 167 | 3 | 0 | 0 | 1.580178e+02 | 2.070000e+02 | 31.00%| unknown
1.08/1.11 c 1.1s| 1 | 0 | 12069 | - | 63M | 0 | 470 | 554 | 771 | 217 | 4 | 0 | 0 | 1.589783e+02 | 2.070000e+02 | 30.21%| unknown
1.18/1.23 c 1.2s| 1 | 0 | 12602 | - | 72M | 0 | 470 | 554 | 819 | 265 | 5 | 0 | 0 | 1.599324e+02 | 2.070000e+02 | 29.43%| unknown
1.28/1.35 c 1.3s| 1 | 0 | 13036 | - | 84M | 0 | 470 | 554 | 869 | 315 | 6 | 0 | 0 | 1.605789e+02 | 2.070000e+02 | 28.91%| unknown
1.38/1.46 c 1.5s| 1 | 0 | 13409 | - | 101M | 0 | 470 | 554 | 915 | 361 | 7 | 0 | 0 | 1.609377e+02 | 2.070000e+02 | 28.62%| unknown
1.48/1.56 c 1.6s| 1 | 0 | 13742 | - | 103M | 0 | 470 | 554 | 950 | 396 | 8 | 0 | 0 | 1.612207e+02 | 2.070000e+02 | 28.40%| unknown
1.58/1.68 c 1.7s| 1 | 0 | 14178 | - | 119M | 0 | 470 | 554 | 994 | 440 | 9 | 0 | 0 | 1.617554e+02 | 2.070000e+02 | 27.97%| unknown
1.68/1.79 c 1.8s| 1 | 0 | 14421 | - | 138M | 0 | 470 | 554 |1020 | 466 | 10 | 0 | 0 | 1.618871e+02 | 2.070000e+02 | 27.87%| unknown
1.78/1.85 c 1.8s| 1 | 0 | 14686 | - | 138M | 0 | 470 | 554 |1048 | 495 | 11 | 0 | 0 | 1.620416e+02 | 2.070000e+02 | 27.74%| unknown
1.87/1.90 c 1.9s| 1 | 0 | 14889 | - | 138M | 0 | 470 | 554 |1080 | 527 | 12 | 0 | 0 | 1.621648e+02 | 2.070000e+02 | 27.65%| unknown
1.87/1.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.87/1.96 c 2.0s| 1 | 0 | 15105 | - | 138M | 0 | 470 | 554 |1101 | 548 | 13 | 0 | 0 | 1.622667e+02 | 2.070000e+02 | 27.57%| unknown
1.98/2.01 c 2.0s| 1 | 0 | 15247 | - | 138M | 0 | 470 | 554 |1117 | 564 | 14 | 0 | 0 | 1.623072e+02 | 2.070000e+02 | 27.54%| unknown
1.98/2.06 c 2.1s| 1 | 0 | 15373 | - | 138M | 0 | 470 | 554 |1134 | 581 | 15 | 0 | 0 | 1.623654e+02 | 2.070000e+02 | 27.49%| unknown
1.98/2.10 c 2.1s| 1 | 0 | 15460 | - | 139M | 0 | 470 | 554 |1145 | 592 | 16 | 0 | 0 | 1.623806e+02 | 2.070000e+02 | 27.48%| unknown
2.08/2.14 c 2.1s| 1 | 0 | 15538 | - | 139M | 0 | 470 | 554 |1094 | 601 | 17 | 0 | 0 | 1.623914e+02 | 2.070000e+02 | 27.47%| unknown
2.08/2.17 c 2.2s| 1 | 0 | 15574 | - | 139M | 0 | 470 | 554 |1101 | 608 | 18 | 0 | 0 | 1.623953e+02 | 2.070000e+02 | 27.47%| unknown
2.17/2.21 c 2.2s| 1 | 0 | 15583 | - | 139M | 0 | 470 | 554 |1103 | 610 | 19 | 0 | 0 | 1.623957e+02 | 2.070000e+02 | 27.47%| unknown
3.09/3.17 c 3.2s| 1 | 2 | 15585 | - | 139M | 0 | 470 | 554 |1103 | 610 | 20 | 0 | 19 | 1.626535e+02 | 2.070000e+02 | 27.26%| unknown
13.45/13.57 o 205
13.45/13.57 c d13.6s| 23 | 24 | 24304 | 396.4 |pscostdi| 22 | 470 | 554 |1067 | 0 | 1 | 0 | 325 | 1.627993e+02 | 2.050000e+02 | 25.92%| unknown
13.45/13.57 o 203
13.45/13.57 c d13.6s| 23 | 24 | 24313 | 396.8 |pscostdi| 22 | 470 | 554 |1067 | 0 | 1 | 0 | 325 | 1.627993e+02 | 2.030000e+02 | 24.69%| unknown
13.45/13.57 o 201
13.45/13.57 c d13.6s| 23 | 24 | 24323 | 397.3 |pscostdi| 22 | 470 | 554 |1067 | 0 | 1 | 0 | 325 | 1.627993e+02 | 2.010000e+02 | 23.46%| unknown
13.45/13.57 o 200
13.45/13.57 c d13.6s| 23 | 24 | 24337 | 397.9 |pscostdi| 22 | 470 | 554 |1067 | 0 | 1 | 0 | 325 | 1.627993e+02 | 2.000000e+02 | 22.85%| unknown
19.73/19.89 c 19.9s| 100 | 101 | 72796 | 577.9 | 237M | 22 | 470 | 554 |1015 |1669 | 1 | 0 | 362 | 1.627993e+02 | 2.000000e+02 | 22.85%| unknown
21.72/21.88 o 199
21.72/21.88 c d21.9s| 142 | 143 | 90445 | 530.9 |adaptive| 32 | 470 | 554 |1124 | 0 | 1 | 0 | 372 | 1.627993e+02 | 1.990000e+02 | 22.24%| unknown
21.72/21.88 o 195
21.72/21.88 c d21.9s| 142 | 143 | 90449 | 531.0 |adaptive| 32 | 470 | 554 |1124 | 0 | 1 | 0 | 372 | 1.627993e+02 | 1.950000e+02 | 19.78%| unknown
24.51/24.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
24.51/24.68 c 24.7s| 200 | 201 |114055 | 494.8 | 232M | 33 | 470 | 554 |1076 |2428 | 1 | 1 | 393 | 1.627993e+02 | 1.950000e+02 | 19.78%| unknown
31.10/31.24 c 31.2s| 300 | 301 |181394 | 554.6 | 232M | 33 | 470 | 554 |1095 |3159 | 1 | 8 | 432 | 1.627993e+02 | 1.950000e+02 | 19.78%| unknown
31.60/31.79 c d31.8s| 305 | 306 |185322 | 558.4 |pscostdi| 33 | 470 | 554 |1091 | 0 | 1 | 8 | 441 | 1.627993e+02 | 1.950000e+02 | 19.78%| unknown
31.70/31.83 o 194
31.70/31.83 c i31.8s| 306 | 307 |185662 | 557.6 | oneopt| 33 | 470 | 554 |1079 |3159 | 1 | 8 | 441 | 1.627993e+02 | 1.940000e+02 | 19.17%| unknown
43.17/43.30 c 43.3s| 400 | 401 |305632 | 726.9 | 234M | 33 | 470 | 554 |1047 |3917 | 1 | 17 | 485 | 1.627993e+02 | 1.940000e+02 | 19.17%| unknown
58.73/58.99 c 59.0s| 500 | 501 |464458 | 899.5 | 237M | 36 | 470 | 554 |1126 |4539 | 1 | 25 | 531 | 1.627993e+02 | 1.940000e+02 | 19.17%| unknown
59.84/60.10 o 190
59.84/60.10 c L60.1s| 506 | 507 |472505 | 904.8 |crossove| 36 | 470 | 554 |1050 |4635 | 1 | 25 | 534 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
73.19/73.40 c 73.4s| 600 | 601 |605884 | 985.5 | 242M | 36 | 470 | 560 |1143 |5374 | 4 | 38 | 568 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
85.56/85.86 c 85.9s| 700 | 701 |753738 |1056.0 | 243M | 36 | 470 | 560 |1127 |5890 | 1 | 50 | 580 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
97.43/97.71 c 97.7s| 800 | 801 |898673 |1105.2 | 243M | 37 | 470 | 561 |1122 |6611 | 1 | 58 | 583 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
111.49/111.88 c 112s| 900 | 901 | 1061k|1163.4 | 244M | 37 | 470 | 564 |1096 |7249 | 1 | 72 | 610 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
121.17/121.56 c 122s| 1000 | 1001 | 1174k|1160.1 | 244M | 37 | 470 | 571 |1092 |7699 | 1 | 82 | 639 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
124.67/125.00 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
124.76/125.18 c (run 1, node 1049) performing user restart
124.76/125.18 c
124.76/125.19 c (restart) converted 338 cuts from the global cut pool into linear constraints
124.76/125.19 c
124.86/125.22 c presolving:
124.86/125.22 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 12 chg coeffs, 0 upgd conss, 0 impls, 113 clqs
124.86/125.22 c (round 2, exhaustive) 0 del vars, 2 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 12 chg coeffs, 0 upgd conss, 0 impls, 113 clqs
124.86/125.22 c (round 3, exhaustive) 0 del vars, 2 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 12 chg coeffs, 336 upgd conss, 0 impls, 113 clqs
124.86/125.22 c (round 4, fast) 0 del vars, 2 del conss, 0 add conss, 0 chg bounds, 6 chg sides, 20 chg coeffs, 336 upgd conss, 0 impls, 113 clqs
124.86/125.23 c (round 5, medium) 0 del vars, 3 del conss, 0 add conss, 0 chg bounds, 6 chg sides, 20 chg coeffs, 336 upgd conss, 0 impls, 113 clqs
124.86/125.23 c presolving (6 rounds: 6 fast, 4 medium, 3 exhaustive):
124.86/125.23 c 0 deleted vars, 3 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 6 changed sides, 20 changed coefficients
124.86/125.23 c 0 implications, 113 cliques
124.86/125.23 c presolved problem has 470 variables (470 bin, 0 int, 0 impl, 0 cont) and 906 constraints
124.86/125.23 c 645 constraints of type <knapsack>
124.86/125.23 c 110 constraints of type <setppc>
124.86/125.23 c 151 constraints of type <logicor>
124.86/125.23 c transformed objective value is always integral (scale: 1)
124.86/125.23 c Presolving Time: 0.03
124.86/125.24 c transformed 77/100 original solutions to the transformed problem space
124.86/125.24 c
126.06/126.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
126.06/126.42 c 126s| 1 | 0 | 1224k| - | 220M | 0 | 470 | 906 | 889 | 0 | 0 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
126.26/126.61 c 127s| 1 | 0 | 1225k| - | 221M | 0 | 470 | 906 | 930 | 41 | 1 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
126.36/126.72 c 127s| 1 | 0 | 1225k| - | 223M | 0 | 470 | 906 | 965 | 76 | 2 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
126.46/126.81 c 127s| 1 | 0 | 1226k| - | 220M | 0 | 470 | 906 | 986 | 97 | 3 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
126.56/126.91 c 127s| 1 | 0 | 1226k| - | 226M | 0 | 470 | 906 |1000 | 111 | 4 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
126.66/127.01 c 127s| 1 | 0 | 1226k| - | 230M | 0 | 470 | 906 |1015 | 126 | 5 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
126.76/127.11 c 127s| 1 | 0 | 1226k| - | 232M | 0 | 470 | 906 |1023 | 134 | 6 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
126.85/127.24 c 127s| 1 | 0 | 1226k| - | 230M | 0 | 470 | 906 |1033 | 144 | 7 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
126.95/127.36 c 127s| 1 | 0 | 1227k| - | 232M | 0 | 470 | 906 |1039 | 150 | 8 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
127.05/127.49 c 127s| 1 | 0 | 1227k| - | 230M | 0 | 470 | 906 |1048 | 159 | 9 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
127.25/127.62 c 128s| 1 | 0 | 1227k| - | 234M | 0 | 470 | 906 |1054 | 165 | 10 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
127.25/127.69 c 128s| 1 | 0 | 1227k| - | 234M | 0 | 470 | 906 |1059 | 170 | 11 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
127.35/127.77 c 128s| 1 | 0 | 1227k| - | 234M | 0 | 470 | 906 |1064 | 175 | 12 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
127.45/127.83 c 128s| 1 | 0 | 1227k| - | 234M | 0 | 470 | 906 |1067 | 178 | 13 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
127.55/127.91 c 128s| 1 | 0 | 1227k| - | 234M | 0 | 470 | 906 |1069 | 180 | 14 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
127.55/127.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
127.55/127.99 c 128s| 1 | 0 | 1227k| - | 234M | 0 | 470 | 906 | 987 | 181 | 15 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
127.66/128.07 c 128s| 1 | 0 | 1227k| - | 234M | 0 | 470 | 906 | 989 | 183 | 16 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
127.76/128.16 c 128s| 1 | 0 | 1227k| - | 235M | 0 | 470 | 906 | 992 | 186 | 17 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
127.85/128.25 c 128s| 1 | 0 | 1227k| - | 235M | 0 | 470 | 906 | 993 | 187 | 18 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
127.95/128.34 c 128s| 1 | 0 | 1227k| - | 235M | 0 | 470 | 906 | 995 | 189 | 19 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
128.65/129.06 c 129s| 1 | 2 | 1233k| - | 235M | 0 | 470 | 906 | 995 | 189 | 19 | 84 | 652 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
150.40/150.82 c 151s| 100 | 101 | 1371k|1171.3 | 259M | 38 | 470 | 906 | 982 | 541 | 1 | 85 | 818 | 1.629746e+02 | 1.900000e+02 | 16.58%| unknown
157.58/158.09 c 158s| 200 | 201 | 1432k|1125.9 | 253M | 63 | 470 | 906 |1028 | 648 | 1 | 90 | 851 | 1.632629e+02 | 1.900000e+02 | 16.38%| unknown
169.04/169.57 c 170s| 300 | 301 | 1509k|1099.8 | 254M | 93 | 470 | 908 | 958 |1037 | 1 | 95 | 894 | 1.634941e+02 | 1.900000e+02 | 16.21%| unknown
184.11/184.63 c 185s| 400 | 401 | 1605k|1090.2 | 255M | 93 | 470 | 908 | 972 |1630 | 1 | 101 | 941 | 1.636944e+02 | 1.900000e+02 | 16.07%| unknown
198.38/198.91 c 199s| 500 | 501 | 1699k|1080.6 | 258M | 93 | 470 | 908 | 979 |2148 | 1 | 107 | 984 | 1.639268e+02 | 1.900000e+02 | 15.91%| unknown
213.04/213.63 c 214s| 600 | 601 | 1791k|1070.6 | 260M | 93 | 470 | 908 | 992 |2793 | 1 | 111 |1031 | 1.640448e+02 | 1.900000e+02 | 15.82%| unknown
226.00/226.61 c 227s| 700 | 701 | 1879k|1059.7 | 261M | 93 | 470 | 908 | 986 |3315 | 1 | 119 |1058 | 1.641446e+02 | 1.900000e+02 | 15.75%| unknown
238.48/239.16 c 239s| 800 | 801 | 1976k|1055.1 | 262M | 93 | 470 | 908 | 988 |3871 | 1 | 121 |1072 | 1.641893e+02 | 1.900000e+02 | 15.72%| unknown
249.45/250.18 c 250s| 900 | 901 | 2061k|1044.7 | 262M | 93 | 470 | 908 | 996 |4498 | 1 | 124 |1083 | 1.642567e+02 | 1.900000e+02 | 15.67%| unknown
261.51/262.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
261.51/262.28 c 262s| 1000 | 1001 | 2149k|1036.4 | 262M | 93 | 470 | 908 | 978 |5076 | 1 | 125 |1091 | 1.643165e+02 | 1.900000e+02 | 15.63%| unknown
274.48/275.22 c 275s| 1100 | 1101 | 2249k|1034.8 | 263M | 93 | 470 | 908 | 980 |5704 | 1 | 133 |1096 | 1.643505e+02 | 1.900000e+02 | 15.61%| unknown
285.35/286.12 c 286s| 1200 | 1201 | 2335k|1027.1 | 263M | 93 | 470 | 908 | 977 |6278 | 1 | 139 |1098 | 1.643768e+02 | 1.900000e+02 | 15.59%| unknown
297.22/298.04 c 298s| 1300 | 1301 | 2426k|1021.8 | 263M | 93 | 470 | 908 |1006 |6978 | 1 | 145 |1105 | 1.644206e+02 | 1.900000e+02 | 15.56%| unknown
310.68/311.55 c 312s| 1400 | 1401 | 2520k|1018.8 | 265M | 93 | 470 | 909 |1002 |7580 | 1 | 151 |1132 | 1.644588e+02 | 1.900000e+02 | 15.53%| unknown
323.45/324.32 c 324s| 1500 | 1501 | 2605k|1011.9 | 265M | 93 | 470 | 909 | 974 |8251 | 1 | 154 |1154 | 1.644823e+02 | 1.900000e+02 | 15.51%| unknown
336.31/337.26 c 337s| 1600 | 1601 | 2706k|1012.1 | 265M | 93 | 470 | 909 | 993 |8902 | 1 | 158 |1161 | 1.645100e+02 | 1.900000e+02 | 15.49%| unknown
348.28/349.23 c 349s| 1700 | 1701 | 2799k|1008.9 | 266M | 93 | 470 | 909 | 984 |9478 | 1 | 161 |1165 | 1.645352e+02 | 1.900000e+02 | 15.48%| unknown
360.55/361.51 c 362s| 1800 | 1801 | 2890k|1005.4 | 304M | 93 | 470 | 906 |1002 | 10k| 1 | 167 |1167 | 1.645726e+02 | 1.900000e+02 | 15.45%| unknown
373.21/374.20 c 374s| 1900 | 1901 | 2983k|1003.0 | 306M | 93 | 470 | 904 |1002 | 10k| 1 | 168 |1173 | 1.646121e+02 | 1.900000e+02 | 15.42%| unknown
385.38/386.41 c 386s| 2000 | 2001 | 3081k|1002.2 | 306M | 93 | 470 | 904 |1026 | 11k| 1 | 173 |1174 | 1.646368e+02 | 1.900000e+02 | 15.41%| unknown
399.05/400.13 c 400s| 2100 | 2101 | 3181k|1002.0 | 306M | 93 | 470 | 901 | 983 | 12k| 1 | 176 |1188 | 1.646615e+02 | 1.900000e+02 | 15.39%| unknown
411.61/412.79 c 413s| 2200 | 2201 | 3275k|1000.3 | 306M | 93 | 470 | 901 |1010 | 12k| 1 | 177 |1208 | 1.646849e+02 | 1.900000e+02 | 15.37%| unknown
423.19/424.30 c 424s| 2300 | 2301 | 3367k| 997.7 | 307M | 93 | 470 | 900 |1001 | 13k| 1 | 181 |1213 | 1.647162e+02 | 1.900000e+02 | 15.35%| unknown
436.65/437.84 c 438s| 2400 | 2401 | 3464k| 996.9 | 307M | 93 | 470 | 900 |1020 | 14k| 1 | 186 |1221 | 1.647481e+02 | 1.900000e+02 | 15.33%| unknown
448.12/449.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
448.12/449.37 c 449s| 2500 | 2501 | 3552k| 993.7 | 310M | 93 | 470 | 896 |1009 | 15k| 1 | 197 |1226 | 1.647710e+02 | 1.900000e+02 | 15.31%| unknown
459.80/461.07 c 461s| 2600 | 2601 | 3644k| 991.7 | 317M | 93 | 470 | 897 | 998 | 15k| 1 | 198 |1227 | 1.648088e+02 | 1.900000e+02 | 15.29%| unknown
471.77/473.06 c 473s| 2700 | 2701 | 3739k| 990.5 | 318M | 93 | 470 | 897 | 993 | 16k| 1 | 203 |1228 | 1.648201e+02 | 1.900000e+02 | 15.28%| unknown
482.84/484.18 c 484s| 2800 | 2801 | 3829k| 988.1 | 318M | 93 | 470 | 895 |1045 | 17k| 4 | 208 |1232 | 1.648494e+02 | 1.900000e+02 | 15.26%| unknown
493.90/495.28 c 495s| 2900 | 2901 | 3915k| 985.1 | 319M | 93 | 470 | 895 |1019 | 17k| 1 | 213 |1253 | 1.648824e+02 | 1.900000e+02 | 15.23%| unknown
505.68/507.05 c 507s| 3000 | 3001 | 4007k| 983.4 | 319M | 93 | 470 | 895 |1005 | 18k| 1 | 218 |1273 | 1.648990e+02 | 1.900000e+02 | 15.22%| unknown
517.35/518.78 c 519s| 3100 | 3101 | 4103k| 982.9 | 319M | 93 | 470 | 896 | 999 | 19k| 1 | 220 |1281 | 1.649150e+02 | 1.900000e+02 | 15.21%| unknown
528.72/530.10 c 530s| 3200 | 3201 | 4200k| 982.6 | 319M | 93 | 470 | 896 |1067 | 19k| 4 | 223 |1289 | 1.649271e+02 | 1.900000e+02 | 15.20%| unknown
539.19/540.60 c 541s| 3300 | 3301 | 4292k| 981.0 | 320M | 93 | 470 | 895 |1021 | 20k| 1 | 227 |1290 | 1.649453e+02 | 1.900000e+02 | 15.19%| unknown
551.67/553.13 c 553s| 3400 | 3401 | 4387k| 980.4 | 320M | 93 | 470 | 896 | 995 | 21k| 1 | 234 |1295 | 1.649518e+02 | 1.900000e+02 | 15.19%| unknown
560.84/562.35 c 562s| 3500 | 3501 | 4476k| 978.4 | 320M | 93 | 470 | 896 |1015 | 22k| 1 | 235 |1296 | 1.649856e+02 | 1.900000e+02 | 15.16%| unknown
572.51/574.08 c 574s| 3600 | 3601 | 4571k| 977.8 | 320M | 93 | 470 | 895 | 984 | 22k| 1 | 239 |1296 | 1.649966e+02 | 1.900000e+02 | 15.15%| unknown
582.38/583.93 c 584s| 3700 | 3701 | 4670k| 978.0 | 320M | 93 | 470 | 895 | 993 | 23k| 1 | 241 |1296 | 1.650190e+02 | 1.900000e+02 | 15.14%| unknown
593.46/595.09 c 595s| 3800 | 3801 | 4761k| 976.6 | 320M | 93 | 470 | 895 |1006 | 24k| 1 | 244 |1299 | 1.650425e+02 | 1.900000e+02 | 15.12%| unknown
604.23/605.80 c 606s| 3900 | 3901 | 4854k| 975.7 | 321M | 93 | 470 | 895 |1021 | 24k| 1 | 250 |1300 | 1.650561e+02 | 1.900000e+02 | 15.11%| unknown
615.10/616.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
615.10/616.71 c 617s| 4000 | 4001 | 4941k| 973.6 | 321M | 93 | 470 | 894 |1055 | 25k| 4 | 254 |1301 | 1.650653e+02 | 1.900000e+02 | 15.11%| unknown
625.48/627.19 c 627s| 4100 | 4101 | 5033k| 972.6 | 321M | 93 | 470 | 894 |1017 | 26k| 1 | 259 |1302 | 1.650856e+02 | 1.900000e+02 | 15.09%| unknown
634.46/636.14 c 636s| 4200 | 4201 | 5121k| 970.7 | 321M | 93 | 470 | 894 |1032 | 26k| 1 | 260 |1310 | 1.650938e+02 | 1.900000e+02 | 15.09%| unknown
644.83/646.52 c 647s| 4300 | 4301 | 5208k| 968.9 | 321M | 93 | 470 | 894 |1064 | 27k| 5 | 267 |1321 | 1.651050e+02 | 1.900000e+02 | 15.08%| unknown
656.30/658.08 c 658s| 4400 | 4401 | 5306k| 969.1 | 321M | 93 | 470 | 894 | 990 | 28k| 1 | 269 |1325 | 1.651167e+02 | 1.900000e+02 | 15.07%| unknown
664.08/665.84 c 666s| 4500 | 4501 | 5393k| 967.4 | 322M | 93 | 470 | 894 |1069 | 28k| 5 | 271 |1327 | 1.651352e+02 | 1.900000e+02 | 15.06%| unknown
674.26/676.03 c 676s| 4600 | 4601 | 5488k| 967.0 | 322M | 93 | 470 | 894 |1027 | 29k| 1 | 276 |1331 | 1.651482e+02 | 1.900000e+02 | 15.05%| unknown
683.23/685.07 c 685s| 4700 | 4701 | 5576k| 965.5 | 322M | 93 | 470 | 899 |1017 | 30k| 1 | 285 |1334 | 1.651616e+02 | 1.900000e+02 | 15.04%| unknown
692.41/694.20 c 694s| 4800 | 4801 | 5663k| 963.8 | 322M | 93 | 470 | 898 |1014 | 30k| 1 | 289 |1339 | 1.651733e+02 | 1.900000e+02 | 15.03%| unknown
701.29/703.17 c 703s| 4900 | 4901 | 5752k| 962.6 | 322M | 93 | 470 | 898 |1042 | 31k| 1 | 291 |1341 | 1.651819e+02 | 1.900000e+02 | 15.02%| unknown
712.16/714.08 c 714s| 5000 | 5001 | 5849k| 962.8 | 322M | 93 | 470 | 901 |1028 | 32k| 1 | 295 |1341 | 1.651870e+02 | 1.900000e+02 | 15.02%| unknown
722.53/724.47 c 724s| 5100 | 5101 | 5942k| 962.2 | 322M | 93 | 470 | 903 |1063 | 32k| 4 | 299 |1353 | 1.651934e+02 | 1.900000e+02 | 15.02%| unknown
733.60/735.51 c 736s| 5200 | 5201 | 6046k| 963.5 | 323M | 93 | 470 | 903 |1018 | 33k| 1 | 303 |1361 | 1.652016e+02 | 1.900000e+02 | 15.01%| unknown
742.48/744.42 c 744s| 5300 | 5301 | 6135k| 962.2 | 323M | 93 | 470 | 903 |1027 | 34k| 1 | 303 |1367 | 1.652169e+02 | 1.900000e+02 | 15.00%| unknown
753.45/755.48 c 755s| 5400 | 5401 | 6228k| 961.8 | 323M | 93 | 470 | 902 |1018 | 34k| 1 | 306 |1371 | 1.652264e+02 | 1.900000e+02 | 14.99%| unknown
763.13/765.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
763.13/765.19 c 765s| 5500 | 5501 | 6321k| 961.2 | 323M | 93 | 470 | 902 |1019 | 35k| 1 | 311 |1373 | 1.652323e+02 | 1.900000e+02 | 14.99%| unknown
771.01/773.08 c 773s| 5600 | 5601 | 6407k| 959.8 | 323M | 93 | 470 | 902 |1001 | 36k| 1 | 313 |1376 | 1.652401e+02 | 1.900000e+02 | 14.98%| unknown
780.18/782.24 c 782s| 5700 | 5701 | 6498k| 959.1 | 323M | 93 | 470 | 902 |1014 | 36k| 1 | 321 |1377 | 1.652630e+02 | 1.900000e+02 | 14.97%| unknown
790.36/792.49 c 792s| 5800 | 5801 | 6609k| 961.3 | 323M | 93 | 470 | 902 |1048 | 37k| 1 | 325 |1377 | 1.652748e+02 | 1.900000e+02 | 14.96%| unknown
799.34/801.40 c 801s| 5900 | 5901 | 6702k| 960.8 | 324M | 93 | 470 | 901 |1001 | 38k| 1 | 331 |1377 | 1.652866e+02 | 1.900000e+02 | 14.95%| unknown
808.92/811.07 c 811s| 6000 | 6001 | 6794k| 960.2 | 324M | 93 | 470 | 900 |1003 | 38k| 1 | 335 |1385 | 1.652929e+02 | 1.900000e+02 | 14.95%| unknown
817.19/819.39 c 819s| 6100 | 6101 | 6883k| 959.2 | 324M | 93 | 470 | 900 |1045 | 39k| 1 | 339 |1397 | 1.652986e+02 | 1.900000e+02 | 14.94%| unknown
826.27/828.41 c 828s| 6200 | 6201 | 6967k| 957.6 | 324M | 93 | 470 | 900 |1003 | 39k| 1 | 344 |1403 | 1.653070e+02 | 1.900000e+02 | 14.94%| unknown
836.44/838.68 c 839s| 6300 | 6301 | 7093k| 961.7 | 324M | 93 | 470 | 900 |1046 | 40k| 1 | 345 |1407 | 1.653192e+02 | 1.900000e+02 | 14.93%| unknown
845.62/847.87 c 848s| 6400 | 6401 | 7182k| 960.7 | 325M | 93 | 470 | 900 |1030 | 41k| 1 | 349 |1409 | 1.653243e+02 | 1.900000e+02 | 14.93%| unknown
856.29/858.56 c 859s| 6500 | 6501 | 7300k| 963.7 | 325M | 93 | 470 | 900 |1033 | 41k| 1 | 350 |1409 | 1.653325e+02 | 1.900000e+02 | 14.92%| unknown
864.77/867.03 c 867s| 6600 | 6601 | 7401k| 964.3 | 325M | 93 | 470 | 900 |1003 | 42k| 1 | 351 |1412 | 1.653408e+02 | 1.900000e+02 | 14.91%| unknown
872.85/875.19 c 875s| 6700 | 6701 | 7483k| 962.4 | 325M | 93 | 470 | 900 |1019 | 42k| 1 | 356 |1415 | 1.653457e+02 | 1.900000e+02 | 14.91%| unknown
882.03/884.38 c 884s| 6800 | 6801 | 7582k| 962.7 | 325M | 93 | 470 | 900 |1045 | 43k| 1 | 359 |1417 | 1.653544e+02 | 1.900000e+02 | 14.90%| unknown
891.40/893.74 c 894s| 6900 | 6901 | 7685k| 963.6 | 325M | 93 | 470 | 900 |1049 | 44k| 1 | 364 |1417 | 1.653667e+02 | 1.900000e+02 | 14.90%| unknown
899.18/901.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
899.18/901.59 c 902s| 7000 | 7001 | 7768k| 962.0 | 325M | 93 | 470 | 900 |1072 | 44k| 5 | 364 |1424 | 1.653722e+02 | 1.900000e+02 | 14.89%| unknown
907.96/910.37 c 910s| 7100 | 7101 | 7862k| 961.7 | 325M | 93 | 470 | 900 |1057 | 45k| 1 | 368 |1430 | 1.653786e+02 | 1.900000e+02 | 14.89%| unknown
915.94/918.32 c 918s| 7200 | 7201 | 7944k| 960.0 | 325M | 93 | 470 | 900 |1058 | 45k| 1 | 371 |1436 | 1.653874e+02 | 1.900000e+02 | 14.88%| unknown
923.12/925.50 c 925s| 7300 | 7301 | 8029k| 958.6 | 325M | 93 | 470 | 900 |1049 | 46k| 1 | 372 |1438 | 1.653922e+02 | 1.900000e+02 | 14.88%| unknown
932.40/934.84 c 935s| 7400 | 7401 | 8114k| 957.4 | 325M | 93 | 470 | 900 |1009 | 47k| 1 | 377 |1444 | 1.654024e+02 | 1.900000e+02 | 14.87%| unknown
940.48/942.93 c 943s| 7500 | 7501 | 8201k| 956.3 | 326M | 93 | 470 | 898 |1017 | 47k| 1 | 379 |1447 | 1.654070e+02 | 1.900000e+02 | 14.87%| unknown
948.86/951.36 c 951s| 7600 | 7601 | 8292k| 955.7 | 326M | 93 | 470 | 898 |1018 | 48k| 1 | 384 |1450 | 1.654146e+02 | 1.900000e+02 | 14.86%| unknown
956.84/959.36 c 959s| 7700 | 7701 | 8379k| 954.8 | 326M | 93 | 470 | 898 |1027 | 48k| 1 | 385 |1450 | 1.654231e+02 | 1.900000e+02 | 14.86%| unknown
965.21/967.77 c 968s| 7800 | 7801 | 8468k| 954.1 | 327M | 93 | 470 | 898 |1059 | 49k| 1 | 387 |1451 | 1.654288e+02 | 1.900000e+02 | 14.85%| unknown
973.50/976.06 c 976s| 7900 | 7901 | 8559k| 953.6 | 327M | 93 | 470 | 898 |1037 | 49k| 1 | 387 |1454 | 1.654367e+02 | 1.900000e+02 | 14.85%| unknown
981.48/984.09 c 984s| 8000 | 8001 | 8645k| 952.5 | 327M | 93 | 470 | 898 |1007 | 50k| 1 | 387 |1456 | 1.654431e+02 | 1.900000e+02 | 14.84%| unknown
988.95/991.50 c 991s| 8100 | 8101 | 8724k| 950.8 | 327M | 93 | 470 | 898 |1046 | 50k| 3 | 388 |1466 | 1.654470e+02 | 1.900000e+02 | 14.84%| unknown
997.44/1000.05 c 1000s| 8200 | 8201 | 8808k| 949.6 | 327M | 93 | 470 | 898 |1066 | 51k| 1 | 397 |1474 | 1.654517e+02 | 1.900000e+02 | 14.84%| unknown
1005.31/1007.90 c 1008s| 8300 | 8301 | 8886k| 947.8 | 327M | 93 | 470 | 898 |1015 | 52k| 1 | 400 |1477 | 1.654579e+02 | 1.900000e+02 | 14.83%| unknown
1012.59/1015.23 c 1015s| 8400 | 8401 | 8973k| 946.9 | 327M | 93 | 470 | 898 |1049 | 52k| 1 | 406 |1483 | 1.654648e+02 | 1.900000e+02 | 14.83%| unknown
1021.97/1024.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1021.97/1024.65 c 1025s| 8500 | 8501 | 9075k| 947.7 | 327M | 93 | 470 | 898 |1034 | 53k| 1 | 409 |1488 | 1.654688e+02 | 1.900000e+02 | 14.83%| unknown
1029.75/1032.47 c 1032s| 8600 | 8601 | 9157k| 946.4 | 327M | 93 | 470 | 898 |1017 | 53k| 1 | 413 |1490 | 1.654755e+02 | 1.900000e+02 | 14.82%| unknown
1036.93/1039.64 c 1040s| 8700 | 8701 | 9237k| 944.9 | 327M | 93 | 470 | 898 |1045 | 54k| 1 | 417 |1490 | 1.654802e+02 | 1.900000e+02 | 14.82%| unknown
1044.61/1047.31 c 1047s| 8800 | 8801 | 9321k| 943.8 | 327M | 93 | 470 | 898 |1040 | 54k| 1 | 419 |1490 | 1.654852e+02 | 1.900000e+02 | 14.81%| unknown
1052.39/1055.18 c 1055s| 8900 | 8901 | 9405k| 942.8 | 328M | 93 | 470 | 898 |1003 | 55k| 1 | 419 |1491 | 1.654914e+02 | 1.900000e+02 | 14.81%| unknown
1060.96/1063.73 c 1064s| 9000 | 9001 | 9490k| 941.9 | 328M | 93 | 470 | 898 |1029 | 55k| 1 | 422 |1491 | 1.654987e+02 | 1.900000e+02 | 14.80%| unknown
1069.84/1072.68 c 1073s| 9100 | 9101 | 9576k| 941.0 | 329M | 93 | 470 | 897 |1001 | 56k| 1 | 424 |1493 | 1.655036e+02 | 1.900000e+02 | 14.80%| unknown
1075.63/1078.48 c 1078s| 9200 | 9201 | 9637k| 937.8 | 329M | 93 | 470 | 897 |1044 | 56k| 1 | 426 |1495 | 1.655058e+02 | 1.900000e+02 | 14.80%| unknown
1082.80/1085.69 c 1086s| 9300 | 9301 | 9712k| 935.9 | 329M | 93 | 470 | 897 |1047 | 57k| 1 | 428 |1506 | 1.655098e+02 | 1.900000e+02 | 14.80%| unknown
1089.78/1092.60 c 1093s| 9400 | 9401 | 9783k| 933.9 | 329M | 93 | 470 | 897 |1046 | 57k| 1 | 428 |1510 | 1.655145e+02 | 1.900000e+02 | 14.79%| unknown
1098.26/1101.18 c 1101s| 9500 | 9501 | 9869k| 933.1 | 329M | 93 | 470 | 897 |1051 | 58k| 1 | 430 |1516 | 1.655201e+02 | 1.900000e+02 | 14.79%| unknown
1104.24/1107.12 c 1107s| 9600 | 9601 | 9935k| 930.6 | 329M | 93 | 470 | 897 |1049 | 59k| 5 | 431 |1517 | 1.655234e+02 | 1.900000e+02 | 14.79%| unknown
1113.01/1115.91 c 1116s| 9700 | 9701 | 10039k| 931.6 | 329M | 93 | 470 | 897 |1028 | 59k| 1 | 434 |1517 | 1.655266e+02 | 1.900000e+02 | 14.79%| unknown
1119.39/1122.33 c 1122s| 9800 | 9801 | 10109k| 929.4 | 329M | 93 | 470 | 897 |1048 | 60k| 1 | 437 |1517 | 1.655314e+02 | 1.900000e+02 | 14.78%| unknown
1128.46/1131.44 c 1131s| 9900 | 9901 | 10195k| 928.8 | 329M | 93 | 470 | 897 |1028 | 60k| 1 | 440 |1522 | 1.655355e+02 | 1.900000e+02 | 14.78%| unknown
1135.74/1138.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1135.74/1138.76 c 1139s| 10000 | 10001 | 10269k| 927.1 | 330M | 93 | 470 | 897 |1065 | 61k| 1 | 447 |1525 | 1.655401e+02 | 1.900000e+02 | 14.78%| unknown
1142.12/1145.11 c 1145s| 10100 | 10101 | 10334k| 924.6 | 330M | 93 | 470 | 897 |1048 | 61k| 1 | 452 |1525 | 1.655436e+02 | 1.900000e+02 | 14.77%| unknown
1148.50/1151.54 c 1152s| 10200 | 10201 | 10403k| 922.5 | 330M | 93 | 470 | 897 |1060 | 62k| 1 | 456 |1526 | 1.655473e+02 | 1.900000e+02 | 14.77%| unknown
1156.57/1159.61 c 1160s| 10300 | 10301 | 10480k| 921.2 | 330M | 93 | 470 | 897 |1039 | 62k| 1 | 461 |1528 | 1.655511e+02 | 1.900000e+02 | 14.77%| unknown
1164.65/1167.73 c 1168s| 10400 | 10401 | 10562k| 920.3 | 330M | 93 | 470 | 897 |1051 | 63k| 1 | 463 |1536 | 1.655551e+02 | 1.900000e+02 | 14.77%| unknown
1172.72/1175.88 c 1176s| 10500 | 10501 | 10636k| 918.8 | 330M | 93 | 470 | 897 |1006 | 63k| 1 | 463 |1550 | 1.655588e+02 | 1.900000e+02 | 14.76%| unknown
1182.29/1185.47 c 1185s| 10600 | 10601 | 10722k| 918.3 | 330M | 93 | 470 | 897 | 997 | 64k| 1 | 469 |1557 | 1.655620e+02 | 1.900000e+02 | 14.76%| unknown
1190.07/1193.21 c 1193s| 10700 | 10701 | 10801k| 917.1 | 330M | 93 | 470 | 897 |1053 | 65k| 1 | 475 |1563 | 1.655662e+02 | 1.900000e+02 | 14.76%| unknown
1196.75/1199.97 c 1200s| 10800 | 10801 | 10873k| 915.5 | 330M | 93 | 470 | 897 |1052 | 65k| 1 | 477 |1567 | 1.655706e+02 | 1.900000e+02 | 14.75%| unknown
1202.63/1205.84 c 1206s| 10900 | 10901 | 10941k| 913.5 | 330M | 93 | 470 | 897 |1034 | 66k| 1 | 479 |1568 | 1.655747e+02 | 1.900000e+02 | 14.75%| unknown
1210.70/1213.94 c 1214s| 11000 | 11001 | 11012k| 911.8 | 330M | 93 | 470 | 897 |1025 | 66k| 1 | 480 |1570 | 1.655803e+02 | 1.900000e+02 | 14.75%| unknown
1217.58/1220.80 c 1221s| 11100 | 11101 | 11086k| 910.4 | 330M | 93 | 470 | 897 |1046 | 67k| 1 | 485 |1571 | 1.655839e+02 | 1.900000e+02 | 14.75%| unknown
1223.56/1226.89 c 1227s| 11200 | 11201 | 11152k| 908.3 | 330M | 93 | 470 | 897 |1049 | 67k| 1 | 488 |1571 | 1.655885e+02 | 1.900000e+02 | 14.74%| unknown
1230.64/1233.90 c 1234s| 11300 | 11301 | 11227k| 907.1 | 331M | 93 | 470 | 897 |1052 | 68k| 1 | 490 |1575 | 1.655934e+02 | 1.900000e+02 | 14.74%| unknown
1237.92/1241.28 c 1241s| 11400 | 11401 | 11316k| 907.0 | 331M | 93 | 470 | 897 |1049 | 68k| 1 | 494 |1575 | 1.655969e+02 | 1.900000e+02 | 14.74%| unknown
1245.49/1248.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1245.49/1248.84 c 1249s| 11500 | 11501 | 11397k| 906.2 | 331M | 93 | 470 | 897 |1063 | 69k| 1 | 494 |1575 | 1.656008e+02 | 1.900000e+02 | 14.73%| unknown
1251.28/1254.62 c 1255s| 11600 | 11601 | 11460k| 904.0 | 332M | 93 | 470 | 897 |1065 | 69k| 1 | 499 |1576 | 1.656052e+02 | 1.900000e+02 | 14.73%| unknown
1257.95/1261.38 c 1261s| 11700 | 11701 | 11536k| 902.9 | 332M | 93 | 470 | 897 |1050 | 70k| 1 | 501 |1578 | 1.656091e+02 | 1.900000e+02 | 14.73%| unknown
1264.33/1267.79 c 1268s| 11800 | 11801 | 11606k| 901.3 | 332M | 93 | 470 | 897 |1026 | 70k| 1 | 502 |1586 | 1.656129e+02 | 1.900000e+02 | 14.73%| unknown
1271.01/1274.41 c 1274s| 11900 | 11901 | 11674k| 899.6 | 332M | 93 | 470 | 897 |1052 | 71k| 1 | 505 |1599 | 1.656151e+02 | 1.900000e+02 | 14.72%| unknown
1277.60/1281.08 c 1281s| 12000 | 12001 | 11745k| 898.1 | 332M | 93 | 470 | 897 | 998 | 71k| 1 | 506 |1601 | 1.656181e+02 | 1.900000e+02 | 14.72%| unknown
1284.47/1287.94 c 1288s| 12100 | 12101 | 11815k| 896.6 | 332M | 93 | 470 | 897 |1054 | 72k| 1 | 509 |1609 | 1.656244e+02 | 1.900000e+02 | 14.72%| unknown
1290.75/1294.24 c 1294s| 12200 | 12201 | 11889k| 895.4 | 332M | 93 | 470 | 897 |1071 | 72k| 4 | 512 |1610 | 1.656269e+02 | 1.900000e+02 | 14.72%| unknown
1297.43/1300.93 c 1301s| 12300 | 12301 | 11959k| 894.0 | 332M | 93 | 470 | 897 |1005 | 73k| 1 | 515 |1611 | 1.656299e+02 | 1.900000e+02 | 14.71%| unknown
1304.11/1307.62 c 1308s| 12400 | 12401 | 12033k| 892.8 | 332M | 93 | 470 | 897 |1040 | 73k| 1 | 515 |1613 | 1.656341e+02 | 1.900000e+02 | 14.71%| unknown
1310.69/1314.25 c 1314s| 12500 | 12501 | 12105k| 891.5 | 332M | 93 | 470 | 897 |1030 | 74k| 1 | 520 |1613 | 1.656372e+02 | 1.900000e+02 | 14.71%| unknown
1317.47/1321.09 c 1321s| 12600 | 12601 | 12182k| 890.6 | 332M | 93 | 470 | 897 |1060 | 74k| 4 | 522 |1614 | 1.656407e+02 | 1.900000e+02 | 14.71%| unknown
1324.35/1327.99 c 1328s| 12700 | 12701 | 12256k| 889.5 | 332M | 93 | 470 | 897 |1048 | 75k| 3 | 525 |1616 | 1.656428e+02 | 1.900000e+02 | 14.70%| unknown
1330.63/1334.25 c 1334s| 12800 | 12801 | 12325k| 888.1 | 332M | 93 | 470 | 897 |1039 | 75k| 1 | 528 |1616 | 1.656453e+02 | 1.900000e+02 | 14.70%| unknown
1338.10/1341.71 c 1342s| 12900 | 12901 | 12403k| 887.3 | 332M | 93 | 470 | 897 |1040 | 75k| 1 | 529 |1617 | 1.656488e+02 | 1.900000e+02 | 14.70%| unknown
1343.99/1347.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1343.99/1347.66 c 1348s| 13000 | 13001 | 12478k| 886.3 | 332M | 93 | 470 | 897 |1037 | 76k| 1 | 529 |1619 | 1.656519e+02 | 1.900000e+02 | 14.70%| unknown
1350.47/1354.11 c 1354s| 13100 | 13101 | 12549k| 885.1 | 333M | 93 | 470 | 897 |1041 | 76k| 1 | 532 |1621 | 1.656550e+02 | 1.900000e+02 | 14.70%| unknown
1356.55/1360.26 c 1360s| 13200 | 13201 | 12613k| 883.4 | 333M | 93 | 470 | 897 |1033 | 77k| 1 | 535 |1629 | 1.656586e+02 | 1.900000e+02 | 14.69%| unknown
1362.53/1366.26 c 1366s| 13300 | 13301 | 12679k| 881.8 | 333M | 93 | 470 | 897 |1061 | 77k| 1 | 537 |1633 | 1.656611e+02 | 1.900000e+02 | 14.69%| unknown
1369.21/1372.98 c 1373s| 13400 | 13401 | 12745k| 880.3 | 333M | 93 | 470 | 897 |1029 | 78k| 1 | 541 |1634 | 1.656634e+02 | 1.900000e+02 | 14.69%| unknown
1375.39/1379.18 c 1379s| 13500 | 13501 | 12812k| 878.8 | 333M | 93 | 470 | 897 |1063 | 78k| 1 | 541 |1639 | 1.656668e+02 | 1.900000e+02 | 14.69%| unknown
1381.17/1384.94 c 1385s| 13600 | 13601 | 12874k| 877.1 | 333M | 93 | 470 | 897 |1044 | 79k| 1 | 543 |1640 | 1.656689e+02 | 1.900000e+02 | 14.69%| unknown
1388.75/1392.53 c 1393s| 13700 | 13701 | 12952k| 876.4 | 333M | 93 | 470 | 897 |1002 | 79k| 1 | 545 |1643 | 1.656709e+02 | 1.900000e+02 | 14.69%| unknown
1394.53/1398.31 c 1398s| 13800 | 13801 | 13018k| 875.0 | 333M | 93 | 470 | 897 |1050 | 80k| 1 | 546 |1643 | 1.656731e+02 | 1.900000e+02 | 14.68%| unknown
1400.81/1404.67 c 1405s| 13900 | 13901 | 13090k| 873.9 | 333M | 93 | 470 | 897 |1040 | 80k| 1 | 548 |1643 | 1.656755e+02 | 1.900000e+02 | 14.68%| unknown
1406.20/1410.01 c 1410s| 14000 | 14001 | 13149k| 872.1 | 333M | 93 | 470 | 897 |1038 | 80k| 1 | 548 |1644 | 1.656783e+02 | 1.900000e+02 | 14.68%| unknown
1411.67/1415.59 c 1416s| 14100 | 14101 | 13212k| 870.4 | 333M | 93 | 470 | 897 |1041 | 81k| 1 | 552 |1645 | 1.656833e+02 | 1.900000e+02 | 14.68%| unknown
1417.45/1421.39 c 1421s| 14200 | 14201 | 13277k| 869.0 | 334M | 93 | 470 | 897 |1047 | 81k| 1 | 555 |1646 | 1.656860e+02 | 1.900000e+02 | 14.67%| unknown
1424.03/1427.92 c 1428s| 14300 | 14301 | 13348k| 868.0 | 334M | 93 | 470 | 897 |1032 | 82k| 1 | 557 |1647 | 1.656889e+02 | 1.900000e+02 | 14.67%| unknown
1429.72/1433.63 c 1434s| 14400 | 14401 | 13406k| 866.1 | 334M | 93 | 470 | 897 |1054 | 82k| 1 | 560 |1653 | 1.656935e+02 | 1.900000e+02 | 14.67%| unknown
1436.00/1439.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1436.00/1439.94 c 1440s| 14500 | 14501 | 13473k| 864.8 | 334M | 93 | 470 | 897 |1055 | 83k| 4 | 562 |1655 | 1.656961e+02 | 1.900000e+02 | 14.67%| unknown
1443.18/1447.18 c 1447s| 14600 | 14601 | 13541k| 863.7 | 334M | 93 | 470 | 897 |1046 | 83k| 1 | 563 |1663 | 1.656989e+02 | 1.900000e+02 | 14.67%| unknown
1449.65/1453.63 c 1454s| 14700 | 14701 | 13612k| 862.7 | 334M | 93 | 470 | 897 |1051 | 83k| 1 | 566 |1667 | 1.657030e+02 | 1.900000e+02 | 14.66%| unknown
1454.34/1458.38 c 1458s| 14800 | 14801 | 13664k| 860.6 | 335M | 93 | 470 | 897 |1038 | 84k| 1 | 568 |1672 | 1.657053e+02 | 1.900000e+02 | 14.66%| unknown
1462.51/1466.50 c 1466s| 14900 | 14901 | 13757k| 861.0 | 335M | 93 | 470 | 897 |1054 | 84k| 1 | 569 |1673 | 1.657082e+02 | 1.900000e+02 | 14.66%| unknown
1469.79/1473.82 c 1474s| 15000 | 15001 | 13843k| 861.0 | 335M | 93 | 470 | 897 |1041 | 85k| 1 | 576 |1675 | 1.657114e+02 | 1.900000e+02 | 14.66%| unknown
1475.97/1480.04 c 1480s| 15100 | 15101 | 13911k| 859.8 | 336M | 93 | 470 | 897 |1050 | 85k| 1 | 580 |1679 | 1.657128e+02 | 1.900000e+02 | 14.66%| unknown
1481.85/1485.96 c 1486s| 15200 | 15201 | 13980k| 858.8 | 336M | 93 | 470 | 897 |1029 | 86k| 1 | 581 |1681 | 1.657161e+02 | 1.900000e+02 | 14.65%| unknown
1486.94/1491.04 c 1491s| 15300 | 15301 | 14035k| 856.9 | 336M | 93 | 470 | 897 |1043 | 86k| 1 | 583 |1684 | 1.657204e+02 | 1.900000e+02 | 14.65%| unknown
1493.92/1498.07 c 1498s| 15400 | 15401 | 14119k| 856.8 | 336M | 93 | 470 | 897 |1027 | 86k| 1 | 586 |1684 | 1.657224e+02 | 1.900000e+02 | 14.65%| unknown
1500.59/1504.79 c 1505s| 15500 | 15501 | 14186k| 855.7 | 336M | 93 | 470 | 897 |1029 | 87k| 1 | 587 |1685 | 1.657244e+02 | 1.900000e+02 | 14.65%| unknown
1505.88/1510.00 c 1510s| 15600 | 15601 | 14249k| 854.3 | 336M | 93 | 470 | 897 |1027 | 87k| 1 | 588 |1685 | 1.657260e+02 | 1.900000e+02 | 14.65%| unknown
1512.06/1516.24 c 1516s| 15700 | 15701 | 14316k| 853.2 | 336M | 93 | 470 | 897 |1031 | 88k| 1 | 589 |1686 | 1.657280e+02 | 1.900000e+02 | 14.65%| unknown
1518.04/1522.23 c 1522s| 15800 | 15801 | 14382k| 852.1 | 336M | 93 | 470 | 897 |1009 | 88k| 1 | 592 |1686 | 1.657302e+02 | 1.900000e+02 | 14.64%| unknown
1523.42/1527.69 c 1528s| 15900 | 15901 | 14443k| 850.6 | 336M | 93 | 470 | 897 |1009 | 88k| 1 | 595 |1686 | 1.657317e+02 | 1.900000e+02 | 14.64%| unknown
1530.60/1534.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1530.60/1534.89 c 1535s| 16000 | 16001 | 14518k| 850.0 | 336M | 93 | 470 | 897 |1057 | 89k| 1 | 600 |1692 | 1.657349e+02 | 1.900000e+02 | 14.64%| unknown
1537.38/1541.62 c 1542s| 16100 | 16101 | 14585k| 849.0 | 337M | 93 | 470 | 897 |1055 | 89k| 1 | 603 |1699 | 1.657378e+02 | 1.900000e+02 | 14.64%| unknown
1542.26/1546.50 c 1547s| 16200 | 16201 | 14638k| 847.2 | 337M | 93 | 470 | 897 |1046 | 90k| 1 | 605 |1703 | 1.657401e+02 | 1.900000e+02 | 14.64%| unknown
1548.94/1553.21 c 1553s| 16300 | 16301 | 14716k| 846.8 | 337M | 93 | 470 | 897 |1042 | 90k| 1 | 611 |1704 | 1.657428e+02 | 1.900000e+02 | 14.64%| unknown
1554.12/1558.42 c 1558s| 16400 | 16401 | 14775k| 845.3 | 337M | 93 | 470 | 897 |1030 | 90k| 1 | 614 |1707 | 1.657444e+02 | 1.900000e+02 | 14.63%| unknown
1561.20/1565.52 c 1566s| 16500 | 16501 | 14849k| 844.7 | 337M | 93 | 470 | 897 |1059 | 91k| 1 | 615 |1709 | 1.657468e+02 | 1.900000e+02 | 14.63%| unknown
1567.38/1571.79 c 1572s| 16600 | 16601 | 14916k| 843.7 | 337M | 93 | 470 | 897 |1012 | 91k| 1 | 618 |1711 | 1.657499e+02 | 1.900000e+02 | 14.63%| unknown
1572.77/1577.13 c 1577s| 16700 | 16701 | 14974k| 842.2 | 337M | 93 | 470 | 897 |1043 | 92k| 1 | 618 |1711 | 1.657546e+02 | 1.900000e+02 | 14.63%| unknown
1580.84/1585.29 c 1585s| 16800 | 16801 | 15084k| 843.7 | 337M | 93 | 470 | 897 |1031 | 92k| 1 | 619 |1711 | 1.657562e+02 | 1.900000e+02 | 14.63%| unknown
1587.72/1592.17 c 1592s| 16900 | 16901 | 15150k| 842.6 | 337M | 93 | 470 | 898 |1008 | 93k| 1 | 622 |1711 | 1.657586e+02 | 1.900000e+02 | 14.62%| unknown
1594.20/1598.64 c 1599s| 17000 | 17001 | 15220k| 841.9 | 337M | 93 | 470 | 898 |1027 | 93k| 1 | 624 |1712 | 1.657599e+02 | 1.900000e+02 | 14.62%| unknown
1599.59/1604.05 c 1604s| 17100 | 17101 | 15282k| 840.6 | 337M | 93 | 470 | 898 |1018 | 93k| 1 | 626 |1715 | 1.657616e+02 | 1.900000e+02 | 14.62%| unknown
1604.97/1609.46 c 1609s| 17200 | 17201 | 15342k| 839.3 | 337M | 93 | 470 | 898 |1056 | 94k| 1 | 628 |1715 | 1.657631e+02 | 1.900000e+02 | 14.62%| unknown
1610.05/1614.51 c 1615s| 17300 | 17301 | 15400k| 837.9 | 337M | 93 | 470 | 898 |1039 | 94k| 1 | 628 |1718 | 1.657653e+02 | 1.900000e+02 | 14.62%| unknown
1615.43/1619.96 c 1620s| 17400 | 17401 | 15459k| 836.5 | 337M | 93 | 470 | 898 |1039 | 95k| 1 | 631 |1720 | 1.657669e+02 | 1.900000e+02 | 14.62%| unknown
1621.41/1625.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1621.41/1625.98 c 1626s| 17500 | 17501 | 15522k| 835.4 | 337M | 93 | 470 | 898 |1054 | 95k| 1 | 634 |1720 | 1.657696e+02 | 1.900000e+02 | 14.62%| unknown
1628.29/1632.88 c 1633s| 17600 | 17601 | 15597k| 835.0 | 337M | 93 | 470 | 898 |1032 | 95k| 1 | 637 |1726 | 1.657739e+02 | 1.900000e+02 | 14.61%| unknown
1633.98/1638.58 c 1639s| 17700 | 17701 | 15659k| 833.8 | 337M | 93 | 470 | 898 |1041 | 96k| 1 | 642 |1731 | 1.657761e+02 | 1.900000e+02 | 14.61%| unknown
1640.06/1644.68 c 1645s| 17800 | 17801 | 15725k| 832.9 | 337M | 93 | 470 | 898 |1051 | 96k| 3 | 644 |1731 | 1.657779e+02 | 1.900000e+02 | 14.61%| unknown
1646.84/1651.43 c 1651s| 17900 | 17901 | 15804k| 832.7 | 337M | 93 | 470 | 898 |1039 | 97k| 1 | 646 |1733 | 1.657793e+02 | 1.900000e+02 | 14.61%| unknown
1652.42/1657.00 c 1657s| 18000 | 18001 | 15863k| 831.4 | 337M | 93 | 470 | 898 |1047 | 97k| 1 | 648 |1734 | 1.657809e+02 | 1.900000e+02 | 14.61%| unknown
1659.00/1663.64 c 1664s| 18100 | 18101 | 15938k| 831.0 | 339M | 93 | 470 | 898 |1049 | 98k| 1 | 653 |1735 | 1.657838e+02 | 1.900000e+02 | 14.61%| unknown
1664.88/1669.59 c 1670s| 18200 | 18201 | 16001k| 830.0 | 339M | 93 | 470 | 898 |1060 | 98k| 1 | 657 |1739 | 1.657867e+02 | 1.900000e+02 | 14.61%| unknown
1670.76/1675.48 c 1675s| 18300 | 18301 | 16059k| 828.7 | 339M | 93 | 470 | 898 |1003 | 98k| 1 | 661 |1741 | 1.657886e+02 | 1.900000e+02 | 14.60%| unknown
1676.35/1681.09 c 1681s| 18400 | 18401 | 16116k| 827.3 | 339M | 93 | 470 | 898 |1054 | 99k| 1 | 661 |1742 | 1.657906e+02 | 1.900000e+02 | 14.60%| unknown
1684.52/1689.25 c 1689s| 18500 | 18501 | 16218k| 828.3 | 339M | 93 | 470 | 898 |1044 | 99k| 1 | 665 |1742 | 1.657937e+02 | 1.900000e+02 | 14.60%| unknown
1689.00/1693.74 c 1694s| 18600 | 18601 | 16269k| 826.7 | 339M | 93 | 470 | 898 |1046 | 100k| 1 | 667 |1743 | 1.657957e+02 | 1.900000e+02 | 14.60%| unknown
1694.29/1699.03 c 1699s| 18700 | 18701 | 16325k| 825.3 | 339M | 93 | 470 | 898 |1023 | 100k| 1 | 669 |1745 | 1.657970e+02 | 1.900000e+02 | 14.60%| unknown
1700.47/1705.26 c 1705s| 18800 | 18801 | 16393k| 824.6 | 339M | 93 | 470 | 898 |1056 | 100k| 1 | 669 |1745 | 1.658000e+02 | 1.900000e+02 | 14.60%| unknown
1706.55/1711.38 c 1711s| 18900 | 18901 | 16462k| 823.9 | 339M | 93 | 470 | 898 |1043 | 101k| 1 | 671 |1745 | 1.658015e+02 | 1.900000e+02 | 14.59%| unknown
1712.03/1716.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1712.03/1716.84 c 1717s| 19000 | 19001 | 16524k| 822.9 | 339M | 93 | 470 | 898 |1056 | 101k| 1 | 671 |1745 | 1.658036e+02 | 1.900000e+02 | 14.59%| unknown
1717.22/1722.04 c 1722s| 19100 | 19101 | 16579k| 821.6 | 339M | 93 | 470 | 898 |1024 | 102k| 1 | 672 |1751 | 1.658049e+02 | 1.900000e+02 | 14.59%| unknown
1723.30/1728.15 c 1728s| 19200 | 19201 | 16648k| 820.9 | 339M | 93 | 470 | 898 |1053 | 102k| 1 | 674 |1755 | 1.658061e+02 | 1.900000e+02 | 14.59%| unknown
1728.78/1733.62 c 1734s| 19300 | 19301 | 16710k| 819.9 | 339M | 93 | 470 | 898 |1044 | 103k| 1 | 677 |1758 | 1.658077e+02 | 1.900000e+02 | 14.59%| unknown
1734.86/1739.79 c 1740s| 19400 | 19401 | 16772k| 818.9 | 339M | 93 | 470 | 898 |1050 | 103k| 1 | 680 |1763 | 1.658103e+02 | 1.900000e+02 | 14.59%| unknown
1741.04/1745.92 c 1746s| 19500 | 19501 | 16832k| 817.8 | 339M | 93 | 470 | 898 |1046 | 103k| 1 | 682 |1768 | 1.658120e+02 | 1.900000e+02 | 14.59%| unknown
1747.13/1752.06 c 1752s| 19600 | 19601 | 16898k| 817.1 | 340M | 93 | 470 | 898 |1054 | 104k| 1 | 683 |1771 | 1.658143e+02 | 1.900000e+02 | 14.59%| unknown
1752.80/1757.71 c 1758s| 19700 | 19701 | 16956k| 816.0 | 340M | 93 | 470 | 898 |1043 | 104k| 1 | 685 |1772 | 1.658158e+02 | 1.900000e+02 | 14.58%| unknown
1759.09/1764.08 c 1764s| 19800 | 19801 | 17023k| 815.3 | 340M | 93 | 470 | 898 |1035 | 105k| 1 | 688 |1773 | 1.658172e+02 | 1.900000e+02 | 14.58%| unknown
1765.56/1770.50 c 1770s| 19900 | 19901 | 17099k| 815.0 | 340M | 93 | 470 | 898 |1048 | 105k| 1 | 688 |1775 | 1.658192e+02 | 1.900000e+02 | 14.58%| unknown
1773.04/1778.05 c 1778s| 20000 | 20001 | 17164k| 814.2 | 340M | 93 | 470 | 898 |1038 | 106k| 1 | 692 |1777 | 1.658206e+02 | 1.900000e+02 | 14.58%| unknown
1778.62/1783.65 c 1784s| 20100 | 20101 | 17222k| 813.1 | 340M | 93 | 470 | 898 |1055 | 106k| 1 | 694 |1777 | 1.658220e+02 | 1.900000e+02 | 14.58%| unknown
1786.00/1791.05 c 1791s| 20200 | 20201 | 17294k| 812.7 | 340M | 93 | 470 | 898 |1035 | 106k| 1 | 699 |1780 | 1.658238e+02 | 1.900000e+02 | 14.58%| unknown
1791.58/1796.66 c 1797s| 20300 | 20301 | 17355k| 811.7 | 340M | 93 | 470 | 898 |1033 | 107k| 1 | 704 |1783 | 1.658254e+02 | 1.900000e+02 | 14.58%| unknown
1797.46/1802.56 c 1803s| 20400 | 20401 | 17417k| 810.8 | 340M | 93 | 470 | 898 |1041 | 107k| 1 | 708 |1783 | 1.658274e+02 | 1.900000e+02 | 14.58%| unknown
1802.75/1807.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1802.75/1807.82 c 1808s| 20500 | 20501 | 17478k| 809.9 | 340M | 93 | 470 | 898 |1058 | 107k| 1 | 708 |1783 | 1.658293e+02 | 1.900000e+02 | 14.58%| unknown
1808.83/1813.98 c 1814s| 20600 | 20601 | 17542k| 809.1 | 340M | 93 | 470 | 898 |1052 | 108k| 1 | 711 |1785 | 1.658307e+02 | 1.900000e+02 | 14.57%| unknown
1816.01/1821.15 c 1821s| 20700 | 20701 | 17633k| 809.6 | 340M | 93 | 470 | 898 |1020 | 108k| 1 | 715 |1785 | 1.658328e+02 | 1.900000e+02 | 14.57%| unknown
1823.38/1828.57 c 1829s| 20800 | 20801 | 17703k| 809.1 | 340M | 93 | 470 | 898 |1030 | 109k| 1 | 718 |1787 | 1.658347e+02 | 1.900000e+02 | 14.57%| unknown
1829.56/1834.79 c 1835s| 20900 | 20901 | 17771k| 808.5 | 340M | 93 | 470 | 898 |1035 | 109k| 1 | 718 |1790 | 1.658375e+02 | 1.900000e+02 | 14.57%| unknown
1836.04/1841.29 c 1841s| 21000 | 21001 | 17839k| 807.9 | 340M | 93 | 470 | 898 |1048 | 110k| 1 | 722 |1796 | 1.658387e+02 | 1.900000e+02 | 14.57%| unknown
1841.43/1846.66 c 1847s| 21100 | 21101 | 17892k| 806.7 | 340M | 93 | 470 | 896 |1035 | 110k| 1 | 724 |1803 | 1.658400e+02 | 1.900000e+02 | 14.57%| unknown
1848.21/1853.41 c 1853s| 21200 | 21201 | 17966k| 806.3 | 340M | 93 | 470 | 896 |1054 | 110k| 1 | 726 |1804 | 1.658414e+02 | 1.900000e+02 | 14.57%| unknown
1853.29/1858.52 c 1859s| 21300 | 21301 | 18028k| 805.5 | 340M | 93 | 470 | 896 |1044 | 111k| 1 | 728 |1804 | 1.658427e+02 | 1.900000e+02 | 14.57%| unknown
1859.37/1864.61 c 1865s| 21400 | 21401 | 18093k| 804.8 | 340M | 93 | 470 | 896 |1047 | 111k| 1 | 732 |1804 | 1.658441e+02 | 1.900000e+02 | 14.57%| unknown
1866.05/1871.33 c 1871s| 21500 | 21501 | 18165k| 804.5 | 340M | 93 | 470 | 896 |1012 | 112k| 1 | 738 |1804 | 1.658449e+02 | 1.900000e+02 | 14.56%| unknown
1872.53/1877.88 c 1878s| 21600 | 21601 | 18232k| 803.9 | 340M | 93 | 470 | 896 |1027 | 112k| 1 | 739 |1805 | 1.658467e+02 | 1.900000e+02 | 14.56%| unknown
1877.72/1883.03 c 1883s| 21700 | 21701 | 18291k| 802.9 | 340M | 93 | 470 | 896 |1056 | 113k| 1 | 741 |1805 | 1.658481e+02 | 1.900000e+02 | 14.56%| unknown
1882.90/1888.20 c 1888s| 21800 | 21801 | 18352k| 802.1 | 341M | 93 | 470 | 896 |1064 | 113k| 1 | 743 |1806 | 1.658495e+02 | 1.900000e+02 | 14.56%| unknown
1889.08/1894.43 c 1894s| 21900 | 21901 | 18418k| 801.4 | 341M | 93 | 470 | 896 |1042 | 113k| 1 | 746 |1807 | 1.658516e+02 | 1.900000e+02 | 14.56%| unknown
1895.26/1900.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1895.26/1900.68 c 1901s| 22000 | 22001 | 18483k| 800.8 | 341M | 93 | 470 | 896 |1049 | 114k| 1 | 748 |1808 | 1.658534e+02 | 1.900000e+02 | 14.56%| unknown
1901.45/1906.89 c 1907s| 22100 | 22101 | 18548k| 800.2 | 342M | 93 | 470 | 896 |1065 | 114k| 1 | 751 |1809 | 1.658551e+02 | 1.900000e+02 | 14.56%| unknown
1907.53/1913.00 c 1913s| 22200 | 22201 | 18617k| 799.7 | 342M | 93 | 470 | 896 |1042 | 115k| 1 | 755 |1810 | 1.658561e+02 | 1.900000e+02 | 14.56%| unknown
1914.40/1919.81 c 1920s| 22300 | 22301 | 18690k| 799.4 | 342M | 93 | 470 | 896 |1032 | 115k| 1 | 760 |1812 | 1.658588e+02 | 1.900000e+02 | 14.56%| unknown
1919.49/1924.96 c 1925s| 22400 | 22401 | 18746k| 798.3 | 342M | 93 | 470 | 896 |1028 | 115k| 1 | 760 |1817 | 1.658603e+02 | 1.900000e+02 | 14.55%| unknown
1925.97/1931.48 c 1931s| 22500 | 22501 | 18813k| 797.8 | 342M | 93 | 470 | 896 |1033 | 116k| 1 | 765 |1825 | 1.658622e+02 | 1.900000e+02 | 14.55%| unknown
1933.05/1938.55 c 1939s| 22600 | 22601 | 18885k| 797.5 | 342M | 93 | 470 | 896 |1046 | 116k| 1 | 771 |1828 | 1.658639e+02 | 1.900000e+02 | 14.55%| unknown
1940.92/1946.42 c 1946s| 22700 | 22701 | 18986k| 798.4 | 342M | 93 | 470 | 896 |1067 | 117k| 1 | 771 |1831 | 1.658654e+02 | 1.900000e+02 | 14.55%| unknown
1947.30/1952.85 c 1953s| 22800 | 22801 | 19057k| 798.0 | 342M | 93 | 470 | 896 |1052 | 117k| 1 | 774 |1835 | 1.658662e+02 | 1.900000e+02 | 14.55%| unknown
1952.98/1958.59 c 1959s| 22900 | 22901 | 19118k| 797.2 | 342M | 93 | 470 | 896 |1041 | 117k| 1 | 777 |1837 | 1.658682e+02 | 1.900000e+02 | 14.55%| unknown
1959.36/1964.91 c 1965s| 23000 | 23001 | 19188k| 796.8 | 342M | 93 | 470 | 896 |1047 | 118k| 1 | 777 |1845 | 1.658695e+02 | 1.900000e+02 | 14.55%| unknown
1965.45/1971.09 c 1971s| 23100 | 23101 | 19253k| 796.2 | 342M | 93 | 470 | 896 |1035 | 118k| 1 | 779 |1849 | 1.658719e+02 | 1.900000e+02 | 14.55%| unknown
1971.23/1976.83 c 1977s| 23200 | 23201 | 19319k| 795.6 | 342M | 93 | 470 | 896 |1015 | 119k| 1 | 781 |1852 | 1.658736e+02 | 1.900000e+02 | 14.55%| unknown
1976.81/1982.46 c 1982s| 23300 | 23301 | 19383k| 795.0 | 342M | 93 | 470 | 896 |1059 | 119k| 1 | 783 |1852 | 1.658747e+02 | 1.900000e+02 | 14.54%| unknown
1981.40/1987.07 c 1987s| 23400 | 23401 | 19437k| 793.9 | 343M | 93 | 470 | 896 |1045 | 119k| 1 | 784 |1852 | 1.658766e+02 | 1.900000e+02 | 14.54%| unknown
1987.67/1993.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1987.67/1993.35 c 1993s| 23500 | 23501 | 19508k| 793.6 | 343M | 93 | 470 | 896 |1035 | 120k| 1 | 788 |1854 | 1.658777e+02 | 1.900000e+02 | 14.54%| unknown
1993.56/1999.20 c 1999s| 23600 | 23601 | 19569k| 792.9 | 343M | 93 | 470 | 896 |1040 | 120k| 1 | 792 |1854 | 1.658787e+02 | 1.900000e+02 | 14.54%| unknown
1998.14/2003.85 c 2004s| 23700 | 23701 | 19624k| 791.9 | 343M | 93 | 470 | 896 |1034 | 121k| 1 | 792 |1854 | 1.658804e+02 | 1.900000e+02 | 14.54%| unknown
2004.92/2010.68 c 2011s| 23800 | 23801 | 19697k| 791.6 | 343M | 93 | 470 | 896 |1051 | 121k| 1 | 794 |1854 | 1.658830e+02 | 1.900000e+02 | 14.54%| unknown
2010.70/2016.43 c 2016s| 23900 | 23901 | 19760k| 791.0 | 343M | 93 | 470 | 896 |1053 | 121k| 1 | 796 |1854 | 1.658846e+02 | 1.900000e+02 | 14.54%| unknown
2016.48/2022.29 c 2022s| 24000 | 24001 | 19829k| 790.6 | 343M | 93 | 470 | 896 |1061 | 122k| 1 | 800 |1856 | 1.658861e+02 | 1.900000e+02 | 14.54%| unknown
2022.57/2028.35 c 2028s| 24100 | 24101 | 19892k| 790.0 | 343M | 93 | 470 | 896 |1021 | 122k| 1 | 802 |1858 | 1.658874e+02 | 1.900000e+02 | 14.54%| unknown
2029.35/2035.15 c 2035s| 24200 | 24201 | 19975k| 790.1 | 343M | 93 | 470 | 896 |1049 | 122k| 1 | 804 |1858 | 1.658888e+02 | 1.900000e+02 | 14.53%| unknown
2035.23/2041.05 c 2041s| 24300 | 24301 | 20042k| 789.6 | 343M | 93 | 470 | 896 |1041 | 123k| 1 | 805 |1861 | 1.658904e+02 | 1.900000e+02 | 14.53%| unknown
2041.90/2047.72 c 2048s| 24400 | 24401 | 20107k| 789.1 | 344M | 93 | 470 | 895 |1027 | 123k| 1 | 808 |1865 | 1.658914e+02 | 1.900000e+02 | 14.53%| unknown
2046.79/2052.65 c 2053s| 24500 | 24501 | 20162k| 788.2 | 344M | 93 | 470 | 895 |1048 | 124k| 1 | 808 |1868 | 1.658936e+02 | 1.900000e+02 | 14.53%| unknown
2052.77/2058.69 c 2059s| 24600 | 24601 | 20228k| 787.7 | 344M | 93 | 470 | 895 |1039 | 124k| 1 | 811 |1868 | 1.658956e+02 | 1.900000e+02 | 14.53%| unknown
2057.85/2063.75 c 2064s| 24700 | 24701 | 20286k| 786.9 | 344M | 93 | 470 | 895 |1037 | 124k| 1 | 813 |1870 | 1.658970e+02 | 1.900000e+02 | 14.53%| unknown
2064.73/2070.62 c 2071s| 24800 | 24801 | 20354k| 786.4 | 345M | 93 | 470 | 895 |1004 | 125k| 1 | 815 |1872 | 1.658992e+02 | 1.900000e+02 | 14.53%| unknown
2070.71/2076.61 c 2077s| 24900 | 24901 | 20421k| 786.0 | 345M | 93 | 470 | 895 |1040 | 125k| 1 | 820 |1875 | 1.659006e+02 | 1.900000e+02 | 14.53%| unknown
2076.99/2082.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2076.99/2082.95 c 2083s| 25000 | 25001 | 20490k| 785.6 | 345M | 93 | 470 | 895 |1058 | 126k| 1 | 825 |1878 | 1.659026e+02 | 1.900000e+02 | 14.53%| unknown
2081.78/2087.75 c 2088s| 25100 | 25101 | 20547k| 784.8 | 345M | 93 | 470 | 895 |1036 | 126k| 1 | 827 |1880 | 1.659035e+02 | 1.900000e+02 | 14.52%| unknown
2087.96/2093.95 c 2094s| 25200 | 25201 | 20616k| 784.4 | 345M | 93 | 470 | 895 |1028 | 126k| 1 | 831 |1884 | 1.659041e+02 | 1.900000e+02 | 14.52%| unknown
2093.05/2099.01 c 2099s| 25300 | 25301 | 20674k| 783.6 | 345M | 93 | 470 | 895 |1036 | 127k| 1 | 831 |1886 | 1.659059e+02 | 1.900000e+02 | 14.52%| unknown
2098.03/2104.08 c 2104s| 25400 | 25401 | 20732k| 782.9 | 345M | 93 | 470 | 895 |1052 | 127k| 1 | 832 |1890 | 1.659072e+02 | 1.900000e+02 | 14.52%| unknown
2103.81/2109.80 c 2110s| 25500 | 25501 | 20796k| 782.3 | 345M | 93 | 470 | 895 |1049 | 127k| 1 | 837 |1891 | 1.659094e+02 | 1.900000e+02 | 14.52%| unknown
2108.69/2114.73 c 2115s| 25600 | 25601 | 20854k| 781.6 | 345M | 93 | 470 | 895 |1039 | 128k| 1 | 837 |1891 | 1.659109e+02 | 1.900000e+02 | 14.52%| unknown
2115.77/2121.86 c 2122s| 25700 | 25701 | 20929k| 781.4 | 346M | 93 | 470 | 895 |1040 | 128k| 1 | 841 |1892 | 1.659131e+02 | 1.900000e+02 | 14.52%| unknown
2120.46/2126.51 c 2127s| 25800 | 25801 | 20984k| 780.6 | 346M | 93 | 470 | 895 |1025 | 129k| 1 | 841 |1894 | 1.659140e+02 | 1.900000e+02 | 14.52%| unknown
2126.24/2132.37 c 2132s| 25900 | 25901 | 21048k| 780.1 | 346M | 93 | 470 | 895 |1032 | 129k| 1 | 842 |1894 | 1.659149e+02 | 1.900000e+02 | 14.52%| unknown
2131.22/2137.39 c 2137s| 26000 | 26001 | 21105k| 779.3 | 346M | 93 | 470 | 895 |1033 | 129k| 1 | 842 |1895 | 1.659172e+02 | 1.900000e+02 | 14.51%| unknown
2136.51/2142.68 c 2143s| 26100 | 26101 | 21166k| 778.7 | 346M | 93 | 470 | 895 |1048 | 130k| 1 | 846 |1897 | 1.659188e+02 | 1.900000e+02 | 14.51%| unknown
2143.49/2149.65 c 2150s| 26200 | 26201 | 21242k| 778.6 | 346M | 93 | 470 | 895 |1019 | 130k| 1 | 849 |1900 | 1.659211e+02 | 1.900000e+02 | 14.51%| unknown
2148.87/2155.06 c 2155s| 26300 | 26301 | 21301k| 777.9 | 346M | 93 | 470 | 895 |1044 | 130k| 1 | 849 |1905 | 1.659222e+02 | 1.900000e+02 | 14.51%| unknown
2156.35/2162.59 c 2163s| 26400 | 26401 | 21391k| 778.4 | 346M | 93 | 470 | 895 |1035 | 131k| 1 | 851 |1909 | 1.659236e+02 | 1.900000e+02 | 14.51%| unknown
2162.73/2168.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2162.73/2168.96 c 2169s| 26500 | 26501 | 21462k| 778.1 | 346M | 93 | 470 | 895 |1064 | 131k| 1 | 852 |1911 | 1.659243e+02 | 1.900000e+02 | 14.51%| unknown
2169.70/2175.94 c 2176s| 26600 | 26601 | 21544k| 778.3 | 346M | 93 | 470 | 895 |1023 | 132k| 1 | 853 |1914 | 1.659256e+02 | 1.900000e+02 | 14.51%| unknown
2174.69/2180.96 c 2181s| 26700 | 26701 | 21601k| 777.5 | 346M | 93 | 470 | 895 |1045 | 132k| 1 | 853 |1920 | 1.659270e+02 | 1.900000e+02 | 14.51%| unknown
2180.47/2186.73 c 2187s| 26800 | 26801 | 21667k| 777.1 | 346M | 93 | 470 | 895 |1063 | 132k| 1 | 858 |1923 | 1.659280e+02 | 1.900000e+02 | 14.51%| unknown
2185.36/2191.63 c 2192s| 26900 | 26901 | 21723k| 776.3 | 346M | 93 | 470 | 895 |1035 | 133k| 1 | 858 |1923 | 1.659291e+02 | 1.900000e+02 | 14.51%| unknown
2191.54/2197.88 c 2198s| 27000 | 27001 | 21788k| 775.9 | 347M | 93 | 470 | 895 |1050 | 133k| 1 | 860 |1924 | 1.659308e+02 | 1.900000e+02 | 14.51%| unknown
2195.82/2202.14 c 2202s| 27100 | 27101 | 21838k| 774.9 | 347M | 93 | 470 | 895 |1044 | 133k| 1 | 860 |1925 | 1.659316e+02 | 1.900000e+02 | 14.51%| unknown
2202.00/2208.36 c 2208s| 27200 | 27201 | 21902k| 774.4 | 347M | 93 | 470 | 895 |1013 | 134k| 1 | 864 |1927 | 1.659327e+02 | 1.900000e+02 | 14.50%| unknown
2207.69/2214.03 c 2214s| 27300 | 27301 | 21963k| 773.8 | 347M | 93 | 470 | 895 |1023 | 134k| 1 | 866 |1927 | 1.659336e+02 | 1.900000e+02 | 14.50%| unknown
2212.67/2219.01 c 2219s| 27400 | 27401 | 22024k| 773.2 | 348M | 93 | 470 | 895 |1044 | 134k| 3 | 867 |1927 | 1.659351e+02 | 1.900000e+02 | 14.50%| unknown
2217.45/2223.88 c 2224s| 27500 | 27501 | 22080k| 772.5 | 348M | 93 | 470 | 895 |1051 | 135k| 1 | 871 |1928 | 1.659362e+02 | 1.900000e+02 | 14.50%| unknown
2223.74/2230.17 c 2230s| 27600 | 27601 | 22152k| 772.3 | 348M | 93 | 470 | 895 |1041 | 135k| 1 | 876 |1928 | 1.659368e+02 | 1.900000e+02 | 14.50%| unknown
2228.42/2234.89 c 2235s| 27700 | 27701 | 22207k| 771.6 | 348M | 93 | 470 | 895 |1005 | 135k| 1 | 878 |1928 | 1.659379e+02 | 1.900000e+02 | 14.50%| unknown
2234.10/2240.57 c 2241s| 27800 | 27801 | 22270k| 771.1 | 348M | 93 | 470 | 895 |1031 | 136k| 1 | 881 |1929 | 1.659395e+02 | 1.900000e+02 | 14.50%| unknown
2238.98/2245.44 c 2245s| 27900 | 27901 | 22326k| 770.3 | 348M | 93 | 470 | 895 |1062 | 136k| 1 | 882 |1930 | 1.659402e+02 | 1.900000e+02 | 14.50%| unknown
2245.36/2251.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2245.36/2251.84 c 2252s| 28000 | 28001 | 22401k| 770.3 | 348M | 93 | 470 | 895 |1026 | 136k| 1 | 886 |1930 | 1.659415e+02 | 1.900000e+02 | 14.50%| unknown
2251.35/2257.82 c 2258s| 28100 | 28101 | 22473k| 770.1 | 348M | 93 | 470 | 895 |1033 | 137k| 1 | 887 |1934 | 1.659424e+02 | 1.900000e+02 | 14.50%| unknown
2257.43/2263.90 c 2264s| 28200 | 28201 | 22540k| 769.8 | 348M | 93 | 470 | 895 |1041 | 137k| 3 | 890 |1939 | 1.659436e+02 | 1.900000e+02 | 14.50%| unknown
2264.01/2270.57 c 2271s| 28300 | 28301 | 22617k| 769.7 | 349M | 93 | 470 | 895 |1031 | 137k| 1 | 893 |1941 | 1.659449e+02 | 1.900000e+02 | 14.50%| unknown
2270.29/2276.83 c 2277s| 28400 | 28401 | 22690k| 769.6 | 349M | 93 | 470 | 895 |1006 | 138k| 1 | 895 |1943 | 1.659455e+02 | 1.900000e+02 | 14.50%| unknown
2276.07/2282.64 c 2283s| 28500 | 28501 | 22753k| 769.1 | 349M | 93 | 470 | 895 |1039 | 138k| 1 | 896 |1943 | 1.659478e+02 | 1.900000e+02 | 14.49%| unknown
2282.25/2288.83 c 2289s| 28600 | 28601 | 22821k| 768.8 | 349M | 93 | 470 | 895 |1049 | 138k| 1 | 898 |1947 | 1.659489e+02 | 1.900000e+02 | 14.49%| unknown
2288.23/2294.85 c 2295s| 28700 | 28701 | 22882k| 768.3 | 349M | 93 | 470 | 895 |1053 | 139k| 1 | 898 |1950 | 1.659498e+02 | 1.900000e+02 | 14.49%| unknown
2294.52/2301.18 c 2301s| 28800 | 28801 | 22951k| 768.0 | 349M | 93 | 470 | 895 |1044 | 139k| 1 | 900 |1950 | 1.659514e+02 | 1.900000e+02 | 14.49%| unknown
2301.19/2307.80 c 2308s| 28900 | 28901 | 23015k| 767.6 | 349M | 93 | 470 | 895 |1070 | 140k| 1 | 900 |1953 | 1.659529e+02 | 1.900000e+02 | 14.49%| unknown
2306.57/2313.26 c 2313s| 29000 | 29001 | 23075k| 767.1 | 349M | 93 | 470 | 895 |1039 | 140k| 1 | 904 |1953 | 1.659538e+02 | 1.900000e+02 | 14.49%| unknown
2311.86/2318.54 c 2319s| 29100 | 29101 | 23133k| 766.4 | 349M | 93 | 470 | 895 |1045 | 140k| 1 | 904 |1953 | 1.659550e+02 | 1.900000e+02 | 14.49%| unknown
2318.64/2325.35 c 2325s| 29200 | 29201 | 23204k| 766.2 | 349M | 93 | 470 | 895 |1053 | 141k| 1 | 909 |1956 | 1.659557e+02 | 1.900000e+02 | 14.49%| unknown
2323.52/2330.29 c 2330s| 29300 | 29301 | 23259k| 765.5 | 349M | 93 | 470 | 895 |1011 | 141k| 1 | 911 |1957 | 1.659570e+02 | 1.900000e+02 | 14.49%| unknown
2328.01/2334.77 c 2335s| 29400 | 29401 | 23307k| 764.6 | 349M | 93 | 470 | 895 |1058 | 141k| 1 | 911 |1960 | 1.659584e+02 | 1.900000e+02 | 14.49%| unknown
2334.19/2340.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2334.19/2340.96 c 2341s| 29500 | 29501 | 23376k| 764.4 | 349M | 93 | 470 | 895 |1028 | 142k| 1 | 913 |1960 | 1.659594e+02 | 1.900000e+02 | 14.49%| unknown
2339.77/2346.58 c 2347s| 29600 | 29601 | 23437k| 763.9 | 350M | 93 | 470 | 895 |1020 | 142k| 1 | 916 |1961 | 1.659605e+02 | 1.900000e+02 | 14.49%| unknown
2344.85/2351.63 c 2352s| 29700 | 29701 | 23497k| 763.3 | 351M | 93 | 470 | 895 |1035 | 142k| 4 | 916 |1961 | 1.659613e+02 | 1.900000e+02 | 14.48%| unknown
2351.24/2358.04 c 2358s| 29800 | 29801 | 23568k| 763.1 | 351M | 93 | 470 | 895 |1033 | 143k| 1 | 918 |1963 | 1.659627e+02 | 1.900000e+02 | 14.48%| unknown
2356.52/2363.30 c 2363s| 29900 | 29901 | 23624k| 762.5 | 351M | 93 | 470 | 895 |1050 | 143k| 4 | 918 |1963 | 1.659637e+02 | 1.900000e+02 | 14.48%| unknown
2362.50/2369.33 c 2369s| 30000 | 30001 | 23689k| 762.1 | 351M | 93 | 470 | 895 |1058 | 143k| 1 | 921 |1968 | 1.659648e+02 | 1.900000e+02 | 14.48%| unknown
2369.08/2375.99 c 2376s| 30100 | 30101 | 23764k| 762.1 | 351M | 93 | 470 | 895 |1015 | 144k| 1 | 926 |1973 | 1.659657e+02 | 1.900000e+02 | 14.48%| unknown
2374.36/2381.27 c 2381s| 30200 | 30201 | 23827k| 761.7 | 351M | 93 | 470 | 895 |1052 | 144k| 1 | 928 |1974 | 1.659664e+02 | 1.900000e+02 | 14.48%| unknown
2380.74/2387.61 c 2388s| 30300 | 30301 | 23891k| 761.3 | 352M | 93 | 470 | 895 |1030 | 144k| 1 | 931 |1977 | 1.659680e+02 | 1.900000e+02 | 14.48%| unknown
2385.82/2392.73 c 2393s| 30400 | 30401 | 23949k| 760.7 | 352M | 93 | 470 | 895 |1047 | 145k| 1 | 933 |1980 | 1.659696e+02 | 1.900000e+02 | 14.48%| unknown
2393.60/2400.51 c 2401s| 30500 | 30501 | 24041k| 761.2 | 352M | 93 | 470 | 895 |1045 | 145k| 1 | 938 |1985 | 1.659706e+02 | 1.900000e+02 | 14.48%| unknown
2399.19/2406.16 c 2406s| 30600 | 30601 | 24103k| 760.8 | 352M | 93 | 470 | 895 |1046 | 146k| 1 | 938 |1986 | 1.659720e+02 | 1.900000e+02 | 14.48%| unknown
2403.87/2410.89 c 2411s| 30700 | 30701 | 24157k| 760.1 | 352M | 93 | 470 | 895 |1066 | 146k| 1 | 940 |1987 | 1.659724e+02 | 1.900000e+02 | 14.48%| unknown
2409.06/2416.04 c 2416s| 30800 | 30801 | 24215k| 759.5 | 352M | 93 | 470 | 895 |1035 | 146k| 3 | 944 |1987 | 1.659738e+02 | 1.900000e+02 | 14.48%| unknown
2414.93/2421.99 c 2422s| 30900 | 30901 | 24283k| 759.2 | 352M | 93 | 470 | 895 |1034 | 147k| 1 | 947 |1988 | 1.659747e+02 | 1.900000e+02 | 14.48%| unknown
2419.32/2426.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2419.32/2426.36 c 2426s| 31000 | 31001 | 24332k| 758.4 | 352M | 93 | 470 | 895 |1028 | 147k| 1 | 952 |1989 | 1.659759e+02 | 1.900000e+02 | 14.47%| unknown
2425.50/2432.54 c 2433s| 31100 | 31101 | 24395k| 758.0 | 352M | 93 | 470 | 895 |1030 | 147k| 1 | 954 |1989 | 1.659773e+02 | 1.900000e+02 | 14.47%| unknown
2430.28/2437.38 c 2437s| 31200 | 31201 | 24451k| 757.4 | 352M | 93 | 470 | 895 |1048 | 148k| 1 | 959 |1989 | 1.659789e+02 | 1.900000e+02 | 14.47%| unknown
2436.17/2443.27 c 2443s| 31300 | 31301 | 24515k| 757.0 | 352M | 93 | 470 | 895 |1062 | 148k| 1 | 959 |1991 | 1.659806e+02 | 1.900000e+02 | 14.47%| unknown
2441.85/2449.00 c 2449s| 31400 | 31401 | 24578k| 756.6 | 352M | 93 | 470 | 895 |1048 | 148k| 1 | 965 |1991 | 1.659812e+02 | 1.900000e+02 | 14.47%| unknown
2446.94/2454.08 c 2454s| 31500 | 31501 | 24636k| 756.1 | 352M | 93 | 470 | 895 |1043 | 149k| 1 | 968 |1991 | 1.659821e+02 | 1.900000e+02 | 14.47%| unknown
2453.41/2460.59 c 2461s| 31600 | 31601 | 24712k| 756.1 | 352M | 93 | 470 | 895 |1040 | 149k| 1 | 969 |1991 | 1.659835e+02 | 1.900000e+02 | 14.47%| unknown
2458.40/2465.50 c 2465s| 31700 | 31701 | 24767k| 755.5 | 352M | 93 | 470 | 895 |1077 | 149k| 1 | 969 |1993 | 1.659851e+02 | 1.900000e+02 | 14.47%| unknown
2464.28/2471.40 c 2471s| 31800 | 31801 | 24831k| 755.1 | 352M | 93 | 470 | 895 |1049 | 150k| 1 | 972 |1995 | 1.659858e+02 | 1.900000e+02 | 14.47%| unknown
2470.46/2477.63 c 2478s| 31900 | 31901 | 24895k| 754.8 | 353M | 93 | 470 | 895 |1050 | 150k| 1 | 976 |1996 | 1.659866e+02 | 1.900000e+02 | 14.47%| unknown
2475.44/2482.65 c 2483s| 32000 | 32001 | 24951k| 754.2 | 353M | 93 | 470 | 895 |1029 | 150k| 1 | 976 |2000 | 1.659893e+02 | 1.900000e+02 | 14.47%| unknown
2481.43/2488.66 c 2489s| 32100 | 32101 | 25012k| 753.8 | 353M | 93 | 470 | 895 |1047 | 151k| 1 | 978 |2006 | 1.659899e+02 | 1.900000e+02 | 14.46%| unknown
2486.41/2493.68 c 2494s| 32200 | 32201 | 25069k| 753.2 | 353M | 93 | 470 | 895 |1038 | 151k| 1 | 980 |2008 | 1.659913e+02 | 1.900000e+02 | 14.46%| unknown
2491.59/2498.85 c 2499s| 32300 | 32301 | 25128k| 752.7 | 353M | 93 | 470 | 895 |1042 | 151k| 1 | 983 |2009 | 1.659920e+02 | 1.900000e+02 | 14.46%| unknown
2496.88/2504.19 c 2504s| 32400 | 32401 | 25188k| 752.3 | 353M | 93 | 470 | 895 |1052 | 152k| 1 | 988 |2010 | 1.659929e+02 | 1.900000e+02 | 14.46%| unknown
2502.36/2509.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2502.36/2509.63 c 2510s| 32500 | 32501 | 25252k| 751.9 | 353M | 93 | 470 | 894 |1045 | 152k| 1 | 989 |2011 | 1.659941e+02 | 1.900000e+02 | 14.46%| unknown
2507.24/2514.56 c 2515s| 32600 | 32601 | 25308k| 751.3 | 353M | 93 | 470 | 894 |1040 | 152k| 1 | 992 |2013 | 1.659951e+02 | 1.900000e+02 | 14.46%| unknown
2512.63/2519.90 c 2520s| 32700 | 32701 | 25368k| 750.9 | 353M | 93 | 470 | 894 |1051 | 153k| 1 | 995 |2013 | 1.659964e+02 | 1.900000e+02 | 14.46%| unknown
2518.61/2525.97 c 2526s| 32800 | 32801 | 25435k| 750.7 | 353M | 93 | 470 | 894 |1022 | 153k| 1 |1002 |2014 | 1.659989e+02 | 1.900000e+02 | 14.46%| unknown
2525.39/2532.75 c 2533s| 32900 | 32901 | 25517k| 750.9 | 353M | 93 | 470 | 894 |1042 | 153k| 1 |1002 |2016 | 1.660001e+02 | 1.900000e+02 | 14.46%| unknown
2531.07/2538.40 c 2538s| 33000 | 33001 | 25586k| 750.7 | 353M | 93 | 470 | 894 |1034 | 154k| 1 |1006 |2016 | 1.660014e+02 | 1.900000e+02 | 14.46%| unknown
2536.66/2544.01 c 2544s| 33100 | 33101 | 25650k| 750.4 | 353M | 93 | 470 | 894 |1026 | 154k| 1 |1010 |2017 | 1.660020e+02 | 1.900000e+02 | 14.46%| unknown
2542.04/2549.45 c 2549s| 33200 | 33201 | 25715k| 750.1 | 353M | 93 | 470 | 894 |1038 | 154k| 1 |1010 |2017 | 1.660028e+02 | 1.900000e+02 | 14.46%| unknown
2547.72/2555.15 c 2555s| 33300 | 33301 | 25779k| 749.8 | 353M | 93 | 470 | 894 |1067 | 155k| 1 |1013 |2017 | 1.660048e+02 | 1.900000e+02 | 14.45%| unknown
2553.50/2560.95 c 2561s| 33400 | 33401 | 25848k| 749.6 | 353M | 93 | 470 | 894 |1027 | 155k| 1 |1013 |2018 | 1.660054e+02 | 1.900000e+02 | 14.45%| unknown
2559.59/2567.10 c 2567s| 33500 | 33501 | 25912k| 749.3 | 353M | 93 | 470 | 894 |1044 | 155k| 1 |1015 |2018 | 1.660068e+02 | 1.900000e+02 | 14.45%| unknown
2565.06/2572.54 c 2573s| 33600 | 33601 | 25975k| 748.9 | 353M | 93 | 470 | 894 |1046 | 156k| 1 |1018 |2019 | 1.660079e+02 | 1.900000e+02 | 14.45%| unknown
2571.55/2579.02 c 2579s| 33700 | 33701 | 26047k| 748.8 | 353M | 93 | 470 | 894 |1067 | 156k| 1 |1020 |2021 | 1.660086e+02 | 1.900000e+02 | 14.45%| unknown
2577.43/2584.94 c 2585s| 33800 | 33801 | 26113k| 748.6 | 353M | 93 | 470 | 894 |1046 | 156k| 1 |1025 |2022 | 1.660093e+02 | 1.900000e+02 | 14.45%| unknown
2582.71/2590.24 c 2590s| 33900 | 33901 | 26172k| 748.1 | 353M | 93 | 470 | 894 |1050 | 157k| 1 |1027 |2027 | 1.660107e+02 | 1.900000e+02 | 14.45%| unknown
2587.99/2595.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2587.99/2595.55 c 2596s| 34000 | 34001 | 26228k| 747.6 | 353M | 93 | 470 | 894 |1060 | 157k| 1 |1030 |2031 | 1.660115e+02 | 1.900000e+02 | 14.45%| unknown
2593.97/2601.57 c 2602s| 34100 | 34101 | 26293k| 747.3 | 354M | 93 | 470 | 894 |1038 | 157k| 1 |1034 |2033 | 1.660123e+02 | 1.900000e+02 | 14.45%| unknown
2600.75/2608.33 c 2608s| 34200 | 34201 | 26368k| 747.3 | 354M | 93 | 470 | 894 |1042 | 158k| 1 |1034 |2036 | 1.660132e+02 | 1.900000e+02 | 14.45%| unknown
2606.44/2614.09 c 2614s| 34300 | 34301 | 26433k| 747.0 | 354M | 93 | 470 | 894 | 994 | 158k| 1 |1037 |2038 | 1.660142e+02 | 1.900000e+02 | 14.45%| unknown
2611.92/2619.51 c 2620s| 34400 | 34401 | 26491k| 746.6 | 354M | 93 | 470 | 894 |1037 | 158k| 1 |1038 |2040 | 1.660151e+02 | 1.900000e+02 | 14.45%| unknown
2617.70/2625.37 c 2625s| 34500 | 34501 | 26555k| 746.3 | 354M | 93 | 470 | 894 |1066 | 159k| 1 |1039 |2041 | 1.660159e+02 | 1.900000e+02 | 14.45%| unknown
2622.09/2629.71 c 2630s| 34600 | 34601 | 26605k| 745.6 | 354M | 93 | 470 | 894 |1049 | 159k| 1 |1040 |2042 | 1.660163e+02 | 1.900000e+02 | 14.45%| unknown
2627.77/2635.45 c 2635s| 34700 | 34701 | 26671k| 745.3 | 354M | 93 | 470 | 894 |1057 | 159k| 1 |1043 |2042 | 1.660173e+02 | 1.900000e+02 | 14.45%| unknown
2632.36/2640.06 c 2640s| 34800 | 34801 | 26725k| 744.8 | 354M | 93 | 470 | 894 |1050 | 160k| 1 |1045 |2044 | 1.660178e+02 | 1.900000e+02 | 14.45%| unknown
2638.63/2646.36 c 2646s| 34900 | 34901 | 26791k| 744.5 | 354M | 93 | 470 | 894 |1062 | 160k| 1 |1048 |2044 | 1.660183e+02 | 1.900000e+02 | 14.45%| unknown
2643.02/2650.79 c 2651s| 35000 | 35001 | 26844k| 743.9 | 354M | 93 | 470 | 894 |1038 | 160k| 1 |1048 |2045 | 1.660189e+02 | 1.900000e+02 | 14.44%| unknown
2648.31/2656.09 c 2656s| 35100 | 35101 | 26903k| 743.5 | 354M | 93 | 470 | 894 |1043 | 161k| 1 |1050 |2045 | 1.660198e+02 | 1.900000e+02 | 14.44%| unknown
2654.98/2662.76 c 2663s| 35200 | 35201 | 26994k| 744.0 | 354M | 93 | 470 | 894 |1032 | 161k| 1 |1052 |2048 | 1.660208e+02 | 1.900000e+02 | 14.44%| unknown
2661.56/2669.39 c 2669s| 35300 | 35301 | 27066k| 743.9 | 354M | 93 | 470 | 894 |1045 | 161k| 1 |1058 |2050 | 1.660223e+02 | 1.900000e+02 | 14.44%| unknown
2666.45/2674.27 c 2674s| 35400 | 35401 | 27124k| 743.5 | 354M | 93 | 470 | 894 |1046 | 162k| 1 |1060 |2050 | 1.660228e+02 | 1.900000e+02 | 14.44%| unknown
2672.53/2680.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2672.53/2680.38 c 2680s| 35500 | 35501 | 27192k| 743.3 | 354M | 93 | 470 | 894 |1040 | 162k| 1 |1064 |2050 | 1.660231e+02 | 1.900000e+02 | 14.44%| unknown
2677.71/2685.55 c 2686s| 35600 | 35601 | 27247k| 742.7 | 354M | 93 | 470 | 894 |1044 | 163k| 1 |1067 |2051 | 1.660236e+02 | 1.900000e+02 | 14.44%| unknown
2683.39/2691.27 c 2691s| 35700 | 35701 | 27315k| 742.6 | 354M | 93 | 470 | 894 |1052 | 163k| 1 |1069 |2051 | 1.660247e+02 | 1.900000e+02 | 14.44%| unknown
2689.28/2697.11 c 2697s| 35800 | 35801 | 27378k| 742.3 | 355M | 93 | 470 | 894 |1039 | 163k| 1 |1072 |2052 | 1.660260e+02 | 1.900000e+02 | 14.44%| unknown
2695.66/2703.53 c 2704s| 35900 | 35901 | 27450k| 742.2 | 355M | 93 | 470 | 894 |1057 | 164k| 1 |1077 |2056 | 1.660267e+02 | 1.900000e+02 | 14.44%| unknown
2702.24/2710.16 c 2710s| 36000 | 36001 | 27528k| 742.3 | 355M | 93 | 470 | 894 |1037 | 164k| 1 |1077 |2062 | 1.660277e+02 | 1.900000e+02 | 14.44%| unknown
2709.12/2717.09 c 2717s| 36100 | 36101 | 27602k| 742.3 | 355M | 93 | 470 | 894 |1029 | 164k| 1 |1080 |2064 | 1.660282e+02 | 1.900000e+02 | 14.44%| unknown
2714.80/2722.76 c 2723s| 36200 | 36201 | 27664k| 742.0 | 356M | 93 | 470 | 894 |1055 | 165k| 1 |1081 |2068 | 1.660287e+02 | 1.900000e+02 | 14.44%| unknown
2720.78/2728.73 c 2729s| 36300 | 36301 | 27730k| 741.8 | 356M | 93 | 470 | 894 |1052 | 165k| 3 |1085 |2069 | 1.660291e+02 | 1.900000e+02 | 14.44%| unknown
2725.66/2733.69 c 2734s| 36400 | 36401 | 27786k| 741.3 | 356M | 93 | 470 | 894 |1048 | 165k| 1 |1085 |2071 | 1.660298e+02 | 1.900000e+02 | 14.44%| unknown
2732.15/2740.16 c 2740s| 36500 | 36501 | 27852k| 741.1 | 356M | 93 | 470 | 894 |1061 | 166k| 1 |1087 |2072 | 1.660308e+02 | 1.900000e+02 | 14.44%| unknown
2736.83/2744.82 c 2745s| 36600 | 36601 | 27906k| 740.5 | 356M | 93 | 470 | 894 |1045 | 166k| 1 |1090 |2073 | 1.660318e+02 | 1.900000e+02 | 14.44%| unknown
2743.41/2751.45 c 2751s| 36700 | 36701 | 27975k| 740.4 | 356M | 93 | 470 | 894 |1027 | 166k| 1 |1097 |2075 | 1.660325e+02 | 1.900000e+02 | 14.44%| unknown
2748.69/2756.70 c 2757s| 36800 | 36801 | 28033k| 740.0 | 356M | 93 | 470 | 894 |1033 | 167k| 1 |1097 |2076 | 1.660334e+02 | 1.900000e+02 | 14.43%| unknown
2754.17/2762.25 c 2762s| 36900 | 36901 | 28094k| 739.6 | 356M | 93 | 470 | 894 |1045 | 167k| 1 |1102 |2078 | 1.660350e+02 | 1.900000e+02 | 14.43%| unknown
2760.45/2768.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2760.45/2768.50 c 2768s| 37000 | 37001 | 28167k| 739.6 | 356M | 93 | 470 | 894 |1047 | 167k| 1 |1102 |2078 | 1.660354e+02 | 1.900000e+02 | 14.43%| unknown
2766.63/2774.77 c 2775s| 37100 | 37101 | 28233k| 739.4 | 356M | 93 | 470 | 894 |1035 | 168k| 1 |1104 |2078 | 1.660364e+02 | 1.900000e+02 | 14.43%| unknown
2772.22/2780.30 c 2780s| 37200 | 37201 | 28294k| 739.1 | 356M | 93 | 470 | 894 |1050 | 168k| 1 |1106 |2081 | 1.660372e+02 | 1.900000e+02 | 14.43%| unknown
2777.70/2785.88 c 2786s| 37300 | 37301 | 28360k| 738.9 | 356M | 93 | 470 | 894 |1038 | 168k| 1 |1107 |2081 | 1.660379e+02 | 1.900000e+02 | 14.43%| unknown
2781.69/2789.88 o 189
2781.69/2789.88 c d2790s| 37360 | 37361 | 28403k| 738.8 |pscostdi| 93 | 470 | 894 |1032 | 0 | 1 |1111 |2084 | 1.660386e+02 | 1.890000e+02 | 13.83%| unknown
2784.08/2792.24 c 2792s| 37400 | 37401 | 28433k| 738.8 | 357M | 93 | 470 | 894 |1043 | 169k| 1 |1111 |2084 | 1.660388e+02 | 1.890000e+02 | 13.83%| unknown
2790.06/2798.25 c 2798s| 37500 | 37501 | 28509k| 738.9 | 358M | 93 | 470 | 894 |1026 | 169k| 1 |1111 |2084 | 1.660398e+02 | 1.890000e+02 | 13.83%| unknown
2797.04/2805.20 c 2805s| 37600 | 37601 | 28586k| 739.0 | 358M | 93 | 470 | 894 |1060 | 170k| 1 |1116 |2084 | 1.660406e+02 | 1.890000e+02 | 13.83%| unknown
2801.22/2809.41 c 2809s| 37700 | 37701 | 28635k| 738.3 | 359M | 93 | 470 | 894 |1054 | 170k| 1 |1116 |2084 | 1.660419e+02 | 1.890000e+02 | 13.83%| unknown
2806.81/2815.08 c 2815s| 37800 | 37801 | 28699k| 738.1 | 359M | 93 | 470 | 894 |1023 | 170k| 1 |1120 |2084 | 1.660424e+02 | 1.890000e+02 | 13.83%| unknown
2811.99/2820.20 c 2820s| 37900 | 37901 | 28759k| 737.7 | 359M | 93 | 470 | 894 |1030 | 170k| 1 |1124 |2085 | 1.660434e+02 | 1.890000e+02 | 13.83%| unknown
2817.47/2825.79 c 2826s| 38000 | 38001 | 28818k| 737.3 | 359M | 93 | 470 | 894 |1034 | 171k| 1 |1128 |2090 | 1.660439e+02 | 1.890000e+02 | 13.83%| unknown
2823.65/2831.91 c 2832s| 38100 | 38101 | 28887k| 737.2 | 359M | 93 | 470 | 897 |1056 | 171k| 1 |1132 |2093 | 1.660447e+02 | 1.890000e+02 | 13.82%| unknown
2829.14/2837.41 c 2837s| 38200 | 38201 | 28946k| 736.8 | 359M | 93 | 470 | 897 |1032 | 171k| 1 |1132 |2099 | 1.660453e+02 | 1.890000e+02 | 13.82%| unknown
2836.21/2844.55 c 2845s| 38300 | 38301 | 29037k| 737.3 | 359M | 93 | 470 | 897 |1028 | 172k| 1 |1137 |2099 | 1.660460e+02 | 1.890000e+02 | 13.82%| unknown
2841.10/2849.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2841.10/2849.46 c 2849s| 38400 | 38401 | 29090k| 736.8 | 359M | 93 | 470 | 897 |1049 | 172k| 1 |1139 |2101 | 1.660470e+02 | 1.890000e+02 | 13.82%| unknown
2846.69/2855.05 c 2855s| 38500 | 38501 | 29155k| 736.5 | 359M | 93 | 470 | 897 |1030 | 172k| 1 |1139 |2102 | 1.660479e+02 | 1.890000e+02 | 13.82%| unknown
2851.58/2859.91 c 2860s| 38600 | 38601 | 29205k| 735.9 | 359M | 93 | 470 | 897 | 994 | 173k| 1 |1142 |2103 | 1.660493e+02 | 1.890000e+02 | 13.82%| unknown
2857.36/2865.71 c 2866s| 38700 | 38701 | 29272k| 735.8 | 359M | 93 | 470 | 897 |1043 | 173k| 1 |1146 |2104 | 1.660503e+02 | 1.890000e+02 | 13.82%| unknown
2863.04/2871.45 c 2871s| 38800 | 38801 | 29332k| 735.4 | 359M | 93 | 470 | 897 |1054 | 173k| 1 |1150 |2106 | 1.660517e+02 | 1.890000e+02 | 13.82%| unknown
2869.82/2878.22 c 2878s| 38900 | 38901 | 29408k| 735.5 | 359M | 93 | 470 | 897 |1037 | 174k| 1 |1154 |2106 | 1.660523e+02 | 1.890000e+02 | 13.82%| unknown
2875.10/2883.59 c 2884s| 39000 | 39001 | 29468k| 735.2 | 359M | 93 | 470 | 897 |1050 | 174k| 1 |1157 |2106 | 1.660530e+02 | 1.890000e+02 | 13.82%| unknown
2880.59/2889.03 c 2889s| 39100 | 39101 | 29524k| 734.7 | 359M | 93 | 470 | 897 | 993 | 174k| 1 |1161 |2106 | 1.660540e+02 | 1.890000e+02 | 13.82%| unknown
2885.67/2894.15 c 2894s| 39200 | 39201 | 29585k| 734.4 | 359M | 93 | 470 | 897 |1030 | 175k| 1 |1163 |2107 | 1.660550e+02 | 1.890000e+02 | 13.82%| unknown
2891.15/2899.67 c 2900s| 39300 | 39301 | 29643k| 734.0 | 359M | 93 | 470 | 897 |1040 | 175k| 1 |1164 |2107 | 1.660558e+02 | 1.890000e+02 | 13.82%| unknown
2896.44/2904.94 c 2905s| 39400 | 39401 | 29705k| 733.8 | 359M | 93 | 470 | 897 |1040 | 175k| 1 |1167 |2107 | 1.660568e+02 | 1.890000e+02 | 13.82%| unknown
2901.82/2910.33 c 2910s| 39500 | 39501 | 29763k| 733.4 | 359M | 93 | 470 | 896 |1059 | 176k| 1 |1169 |2111 | 1.660577e+02 | 1.890000e+02 | 13.82%| unknown
2907.70/2916.24 c 2916s| 39600 | 39601 | 29833k| 733.3 | 359M | 93 | 470 | 896 |1057 | 176k| 1 |1174 |2112 | 1.660592e+02 | 1.890000e+02 | 13.81%| unknown
2913.78/2922.39 c 2922s| 39700 | 39701 | 29899k| 733.1 | 359M | 93 | 470 | 896 |1044 | 176k| 4 |1174 |2116 | 1.660598e+02 | 1.890000e+02 | 13.81%| unknown
2918.47/2927.03 c 2927s| 39800 | 39801 | 29953k| 732.6 | 359M | 93 | 470 | 896 |1053 | 177k| 1 |1176 |2116 | 1.660608e+02 | 1.890000e+02 | 13.81%| unknown
2923.25/2931.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2923.25/2931.86 c 2932s| 39900 | 39901 | 30008k| 732.2 | 359M | 93 | 470 | 894 |1034 | 177k| 1 |1176 |2118 | 1.660615e+02 | 1.890000e+02 | 13.81%| unknown
2929.13/2937.76 c 2938s| 40000 | 40001 | 30074k| 732.0 | 359M | 93 | 470 | 894 |1037 | 177k| 1 |1180 |2118 | 1.660625e+02 | 1.890000e+02 | 13.81%| unknown
2933.72/2942.34 c 2942s| 40100 | 40101 | 30126k| 731.5 | 360M | 93 | 470 | 894 |1054 | 178k| 1 |1183 |2120 | 1.660631e+02 | 1.890000e+02 | 13.81%| unknown
2939.90/2948.59 c 2949s| 40200 | 40201 | 30195k| 731.4 | 360M | 93 | 470 | 894 |1058 | 178k| 1 |1188 |2125 | 1.660640e+02 | 1.890000e+02 | 13.81%| unknown
2946.18/2954.89 c 2955s| 40300 | 40301 | 30258k| 731.1 | 360M | 93 | 470 | 894 |1048 | 178k| 1 |1192 |2127 | 1.660645e+02 | 1.890000e+02 | 13.81%| unknown
2951.16/2959.87 c 2960s| 40400 | 40401 | 30313k| 730.7 | 360M | 93 | 470 | 894 |1045 | 178k| 1 |1192 |2130 | 1.660654e+02 | 1.890000e+02 | 13.81%| unknown
2956.15/2964.86 c 2965s| 40500 | 40501 | 30370k| 730.3 | 360M | 93 | 470 | 894 |1054 | 179k| 1 |1192 |2133 | 1.660665e+02 | 1.890000e+02 | 13.81%| unknown
2962.73/2971.41 c 2971s| 40600 | 40601 | 30445k| 730.4 | 360M | 93 | 470 | 894 |1035 | 179k| 1 |1196 |2135 | 1.660673e+02 | 1.890000e+02 | 13.81%| unknown
2968.31/2977.03 c 2977s| 40700 | 40701 | 30513k| 730.3 | 360M | 93 | 470 | 894 |1041 | 179k| 1 |1196 |2138 | 1.660685e+02 | 1.890000e+02 | 13.81%| unknown
2974.09/2982.86 c 2983s| 40800 | 40801 | 30575k| 730.0 | 360M | 93 | 470 | 894 |1039 | 180k| 1 |1199 |2141 | 1.660695e+02 | 1.890000e+02 | 13.81%| unknown
2981.27/2990.10 c 2990s| 40900 | 40901 | 30674k| 730.6 | 360M | 93 | 470 | 894 |1034 | 180k| 3 |1199 |2141 | 1.660702e+02 | 1.890000e+02 | 13.81%| unknown
2986.85/2995.63 c 2996s| 41000 | 41001 | 30734k| 730.3 | 360M | 93 | 470 | 894 |1048 | 180k| 1 |1200 |2142 | 1.660708e+02 | 1.890000e+02 | 13.81%| unknown
2992.04/3000.84 c 3001s| 41100 | 41101 | 30795k| 730.0 | 360M | 93 | 470 | 894 |1037 | 181k| 1 |1200 |2143 | 1.660719e+02 | 1.890000e+02 | 13.81%| unknown
2996.92/3005.77 c 3006s| 41200 | 41201 | 30851k| 729.6 | 360M | 93 | 470 | 894 |1063 | 181k| 1 |1201 |2144 | 1.660728e+02 | 1.890000e+02 | 13.81%| unknown
3003.01/3011.86 c 3012s| 41300 | 41301 | 30915k| 729.4 | 361M | 93 | 470 | 894 |1035 | 181k| 1 |1202 |2145 | 1.660737e+02 | 1.890000e+02 | 13.80%| unknown
3007.79/3016.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3007.79/3016.63 c 3017s| 41400 | 41401 | 30972k| 729.0 | 361M | 93 | 470 | 894 |1054 | 182k| 1 |1203 |2146 | 1.660746e+02 | 1.890000e+02 | 13.80%| unknown
3012.28/3021.10 c 3021s| 41500 | 41501 | 31026k| 728.6 | 361M | 93 | 470 | 894 |1007 | 182k| 1 |1204 |2146 | 1.660758e+02 | 1.890000e+02 | 13.80%| unknown
3018.07/3026.92 c 3027s| 41600 | 41601 | 31089k| 728.3 | 361M | 93 | 470 | 894 |1035 | 182k| 1 |1205 |2146 | 1.660768e+02 | 1.890000e+02 | 13.80%| unknown
3023.45/3032.37 c 3032s| 41700 | 41701 | 31149k| 728.0 | 361M | 93 | 470 | 894 |1033 | 182k| 1 |1205 |2146 | 1.660779e+02 | 1.890000e+02 | 13.80%| unknown
3030.73/3039.61 c 3040s| 41800 | 41801 | 31236k| 728.4 | 361M | 93 | 470 | 894 |1060 | 183k| 1 |1208 |2146 | 1.660784e+02 | 1.890000e+02 | 13.80%| unknown
3035.62/3044.59 c 3045s| 41900 | 41901 | 31293k| 728.0 | 361M | 93 | 470 | 894 |1038 | 183k| 1 |1212 |2146 | 1.660790e+02 | 1.890000e+02 | 13.80%| unknown
3040.71/3049.60 c 3050s| 42000 | 42001 | 31347k| 727.6 | 361M | 93 | 470 | 894 |1053 | 183k| 1 |1213 |2148 | 1.660803e+02 | 1.890000e+02 | 13.80%| unknown
3046.39/3055.34 c 3055s| 42100 | 42101 | 31412k| 727.4 | 361M | 93 | 470 | 894 |1046 | 184k| 1 |1215 |2148 | 1.660807e+02 | 1.890000e+02 | 13.80%| unknown
3051.48/3060.43 c 3060s| 42200 | 42201 | 31468k| 727.0 | 361M | 93 | 470 | 894 |1065 | 184k| 1 |1218 |2150 | 1.660813e+02 | 1.890000e+02 | 13.80%| unknown
3057.36/3066.30 c 3066s| 42300 | 42301 | 31532k| 726.8 | 361M | 93 | 470 | 894 | 995 | 184k| 1 |1221 |2152 | 1.660823e+02 | 1.890000e+02 | 13.80%| unknown
3062.55/3071.52 c 3072s| 42400 | 42401 | 31590k| 726.5 | 362M | 93 | 470 | 894 |1033 | 185k| 1 |1221 |2153 | 1.660827e+02 | 1.890000e+02 | 13.80%| unknown
3068.34/3077.38 c 3077s| 42500 | 42501 | 31655k| 726.3 | 362M | 93 | 470 | 894 |1060 | 185k| 1 |1225 |2158 | 1.660839e+02 | 1.890000e+02 | 13.80%| unknown
3073.32/3082.31 c 3082s| 42600 | 42601 | 31708k| 725.9 | 362M | 93 | 470 | 894 |1041 | 185k| 1 |1226 |2161 | 1.660845e+02 | 1.890000e+02 | 13.80%| unknown
3079.31/3088.34 c 3088s| 42700 | 42701 | 31770k| 725.6 | 362M | 93 | 470 | 894 |1029 | 185k| 1 |1230 |2164 | 1.660851e+02 | 1.890000e+02 | 13.80%| unknown
3084.79/3093.87 c 3094s| 42800 | 42801 | 31827k| 725.3 | 362M | 93 | 470 | 894 |1035 | 186k| 1 |1232 |2168 | 1.660859e+02 | 1.890000e+02 | 13.80%| unknown
3090.88/3099.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3090.88/3099.92 c 3100s| 42900 | 42901 | 31891k| 725.1 | 362M | 93 | 470 | 894 |1049 | 186k| 1 |1235 |2171 | 1.660868e+02 | 1.890000e+02 | 13.80%| unknown
3097.46/3106.56 c 3107s| 43000 | 43001 | 31968k| 725.1 | 362M | 93 | 470 | 894 |1029 | 186k| 1 |1238 |2173 | 1.660873e+02 | 1.890000e+02 | 13.80%| unknown
3102.45/3111.54 c 3112s| 43100 | 43101 | 32021k| 724.7 | 362M | 93 | 470 | 894 |1046 | 187k| 1 |1243 |2173 | 1.660883e+02 | 1.890000e+02 | 13.79%| unknown
3108.23/3117.37 c 3117s| 43200 | 43201 | 32087k| 724.6 | 362M | 93 | 470 | 896 |1027 | 187k| 1 |1246 |2174 | 1.660889e+02 | 1.890000e+02 | 13.79%| unknown
3113.03/3122.17 c 3122s| 43300 | 43301 | 32142k| 724.2 | 362M | 93 | 470 | 896 | 992 | 187k| 1 |1247 |2174 | 1.660899e+02 | 1.890000e+02 | 13.79%| unknown
3117.61/3126.76 c 3127s| 43400 | 43401 | 32194k| 723.7 | 362M | 93 | 470 | 896 |1027 | 188k| 1 |1249 |2174 | 1.660905e+02 | 1.890000e+02 | 13.79%| unknown
3123.20/3132.33 c 3132s| 43500 | 43501 | 32258k| 723.5 | 362M | 93 | 470 | 896 |1048 | 188k| 1 |1251 |2174 | 1.660911e+02 | 1.890000e+02 | 13.79%| unknown
3128.38/3137.54 c 3138s| 43600 | 43601 | 32316k| 723.2 | 362M | 93 | 470 | 893 |1031 | 188k| 1 |1252 |2175 | 1.660918e+02 | 1.890000e+02 | 13.79%| unknown
3134.27/3143.49 c 3143s| 43700 | 43701 | 32381k| 723.0 | 362M | 93 | 470 | 893 |1012 | 189k| 1 |1256 |2175 | 1.660922e+02 | 1.890000e+02 | 13.79%| unknown
3139.45/3148.64 c 3149s| 43800 | 43801 | 32442k| 722.8 | 362M | 93 | 470 | 892 |1041 | 189k| 1 |1257 |2175 | 1.660934e+02 | 1.890000e+02 | 13.79%| unknown
3145.04/3154.27 c 3154s| 43900 | 43901 | 32505k| 722.6 | 362M | 93 | 470 | 892 |1055 | 189k| 1 |1260 |2177 | 1.660939e+02 | 1.890000e+02 | 13.79%| unknown
3150.83/3160.09 c 3160s| 44000 | 44001 | 32576k| 722.6 | 362M | 93 | 470 | 892 |1033 | 190k| 1 |1261 |2178 | 1.660948e+02 | 1.890000e+02 | 13.79%| unknown
3156.41/3165.69 c 3166s| 44100 | 44101 | 32640k| 722.4 | 363M | 93 | 470 | 892 |1048 | 190k| 1 |1262 |2180 | 1.660953e+02 | 1.890000e+02 | 13.79%| unknown
3161.40/3170.67 c 3171s| 44200 | 44201 | 32696k| 722.0 | 363M | 93 | 470 | 894 |1033 | 190k| 1 |1267 |2180 | 1.660959e+02 | 1.890000e+02 | 13.79%| unknown
3166.39/3175.62 c 3176s| 44300 | 44301 | 32755k| 721.7 | 363M | 93 | 470 | 894 |1049 | 191k| 1 |1269 |2181 | 1.660968e+02 | 1.890000e+02 | 13.79%| unknown
3172.27/3181.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3172.27/3181.54 c 3182s| 44400 | 44401 | 32821k| 721.6 | 363M | 93 | 470 | 894 |1038 | 191k| 1 |1273 |2181 | 1.660974e+02 | 1.890000e+02 | 13.79%| unknown
3177.36/3186.61 c 3187s| 44500 | 44501 | 32879k| 721.3 | 364M | 93 | 470 | 894 |1037 | 191k| 1 |1275 |2181 | 1.660981e+02 | 1.890000e+02 | 13.79%| unknown
3183.34/3192.66 c 3193s| 44600 | 44601 | 32943k| 721.1 | 364M | 93 | 470 | 897 |1061 | 192k| 1 |1279 |2183 | 1.660987e+02 | 1.890000e+02 | 13.79%| unknown
3188.83/3198.12 c 3198s| 44700 | 44701 | 33001k| 720.8 | 364M | 93 | 470 | 897 |1036 | 192k| 1 |1282 |2188 | 1.660993e+02 | 1.890000e+02 | 13.79%| unknown
3194.82/3204.11 c 3204s| 44800 | 44801 | 33066k| 720.6 | 364M | 93 | 470 | 897 |1039 | 192k| 1 |1283 |2191 | 1.661000e+02 | 1.890000e+02 | 13.79%| unknown
3200.80/3210.12 c 3210s| 44900 | 44901 | 33135k| 720.6 | 364M | 93 | 470 | 897 |1052 | 193k| 1 |1286 |2193 | 1.661008e+02 | 1.890000e+02 | 13.79%| unknown
3205.69/3215.03 c 3215s| 45000 | 45001 | 33191k| 720.2 | 364M | 93 | 470 | 897 |1038 | 193k| 1 |1288 |2195 | 1.661014e+02 | 1.890000e+02 | 13.79%| unknown
3211.27/3220.65 c 3221s| 45100 | 45101 | 33249k| 719.9 | 364M | 93 | 470 | 897 |1061 | 193k| 1 |1289 |2198 | 1.661018e+02 | 1.890000e+02 | 13.79%| unknown
3216.96/3226.33 c 3226s| 45200 | 45201 | 33312k| 719.7 | 364M | 93 | 470 | 897 |1032 | 194k| 1 |1292 |2200 | 1.661026e+02 | 1.890000e+02 | 13.79%| unknown
3221.84/3231.23 c 3231s| 45300 | 45301 | 33367k| 719.3 | 365M | 93 | 470 | 897 |1046 | 194k| 1 |1292 |2200 | 1.661030e+02 | 1.890000e+02 | 13.78%| unknown
3227.03/3236.44 c 3236s| 45400 | 45401 | 33423k| 719.0 | 365M | 93 | 470 | 897 |1044 | 194k| 1 |1294 |2204 | 1.661039e+02 | 1.890000e+02 | 13.78%| unknown
3232.12/3241.55 c 3242s| 45500 | 45501 | 33479k| 718.7 | 365M | 93 | 470 | 896 |1046 | 195k| 1 |1295 |2204 | 1.661046e+02 | 1.890000e+02 | 13.78%| unknown
3236.61/3246.07 c 3246s| 45600 | 45601 | 33531k| 718.2 | 365M | 93 | 470 | 896 |1033 | 195k| 1 |1297 |2205 | 1.661050e+02 | 1.890000e+02 | 13.78%| unknown
3242.39/3251.82 c 3252s| 45700 | 45701 | 33594k| 718.1 | 365M | 93 | 470 | 896 |1047 | 195k| 1 |1301 |2206 | 1.661060e+02 | 1.890000e+02 | 13.78%| unknown
3248.18/3257.63 c 3258s| 45800 | 45801 | 33659k| 717.9 | 365M | 93 | 470 | 896 |1034 | 195k| 1 |1304 |2206 | 1.661067e+02 | 1.890000e+02 | 13.78%| unknown
3253.67/3263.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3253.67/3263.16 c 3263s| 45900 | 45901 | 33718k| 717.6 | 365M | 93 | 470 | 895 |1039 | 196k| 1 |1306 |2211 | 1.661072e+02 | 1.890000e+02 | 13.78%| unknown
3259.25/3268.72 c 3269s| 46000 | 46001 | 33778k| 717.4 | 365M | 93 | 470 | 895 |1064 | 196k| 1 |1309 |2211 | 1.661079e+02 | 1.890000e+02 | 13.78%| unknown
3264.83/3274.31 c 3274s| 46100 | 46101 | 33834k| 717.1 | 365M | 93 | 470 | 895 |1065 | 196k| 1 |1311 |2214 | 1.661084e+02 | 1.890000e+02 | 13.78%| unknown
3272.11/3281.60 c 3282s| 46200 | 46201 | 33920k| 717.4 | 365M | 93 | 470 | 894 |1049 | 197k| 1 |1313 |2215 | 1.661087e+02 | 1.890000e+02 | 13.78%| unknown
3277.40/3286.96 c 3287s| 46300 | 46301 | 33975k| 717.0 | 365M | 93 | 470 | 894 |1042 | 197k| 1 |1315 |2215 | 1.661092e+02 | 1.890000e+02 | 13.78%| unknown
3282.09/3291.66 c 3292s| 46400 | 46401 | 34028k| 716.6 | 366M | 93 | 470 | 894 |1034 | 197k| 1 |1315 |2216 | 1.661100e+02 | 1.890000e+02 | 13.78%| unknown
3287.97/3297.57 c 3298s| 46500 | 46501 | 34092k| 716.4 | 366M | 93 | 470 | 894 | 997 | 198k| 1 |1316 |2216 | 1.661104e+02 | 1.890000e+02 | 13.78%| unknown
3293.66/3303.21 c 3303s| 46600 | 46601 | 34157k| 716.3 | 366M | 93 | 470 | 894 |1053 | 198k| 1 |1318 |2216 | 1.661112e+02 | 1.890000e+02 | 13.78%| unknown
3299.15/3308.75 c 3309s| 46700 | 46701 | 34218k| 716.1 | 366M | 93 | 470 | 894 |1040 | 198k| 1 |1322 |2216 | 1.661121e+02 | 1.890000e+02 | 13.78%| unknown
3304.44/3314.04 c 3314s| 46800 | 46801 | 34280k| 715.9 | 366M | 93 | 470 | 894 |1038 | 199k| 1 |1323 |2216 | 1.661130e+02 | 1.890000e+02 | 13.78%| unknown
3309.52/3319.18 c 3319s| 46900 | 46901 | 34341k| 715.7 | 366M | 93 | 470 | 894 |1044 | 199k| 1 |1324 |2216 | 1.661133e+02 | 1.890000e+02 | 13.78%| unknown
3315.30/3324.92 c 3325s| 47000 | 47001 | 34403k| 715.5 | 366M | 93 | 470 | 894 |1043 | 199k| 1 |1326 |2216 | 1.661137e+02 | 1.890000e+02 | 13.78%| unknown
3320.39/3330.04 c 3330s| 47100 | 47101 | 34458k| 715.1 | 366M | 93 | 470 | 894 |1051 | 200k| 1 |1326 |2221 | 1.661141e+02 | 1.890000e+02 | 13.78%| unknown
3326.38/3336.06 c 3336s| 47200 | 47201 | 34526k| 715.0 | 366M | 93 | 470 | 894 |1049 | 200k| 1 |1327 |2224 | 1.661147e+02 | 1.890000e+02 | 13.78%| unknown
3332.16/3341.82 c 3342s| 47300 | 47301 | 34585k| 714.8 | 366M | 93 | 470 | 894 |1038 | 200k| 1 |1329 |2226 | 1.661154e+02 | 1.890000e+02 | 13.78%| unknown
3338.05/3347.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3338.05/3347.75 c 3348s| 47400 | 47401 | 34648k| 714.6 | 367M | 93 | 470 | 894 |1055 | 200k| 1 |1331 |2226 | 1.661159e+02 | 1.890000e+02 | 13.78%| unknown
3343.44/3353.11 c 3353s| 47500 | 47501 | 34706k| 714.3 | 367M | 93 | 470 | 894 |1031 | 201k| 1 |1333 |2227 | 1.661164e+02 | 1.890000e+02 | 13.78%| unknown
3348.72/3358.40 c 3358s| 47600 | 47601 | 34767k| 714.1 | 367M | 93 | 470 | 894 |1050 | 201k| 1 |1335 |2228 | 1.661169e+02 | 1.890000e+02 | 13.78%| unknown
3353.51/3363.25 c 3363s| 47700 | 47701 | 34822k| 713.8 | 367M | 93 | 470 | 894 |1030 | 201k| 1 |1335 |2228 | 1.661173e+02 | 1.890000e+02 | 13.78%| unknown
3359.49/3369.23 c 3369s| 47800 | 47801 | 34887k| 713.7 | 367M | 93 | 470 | 894 |1061 | 202k| 1 |1340 |2230 | 1.661180e+02 | 1.890000e+02 | 13.77%| unknown
3363.98/3373.74 c 3374s| 47900 | 47901 | 34938k| 713.2 | 367M | 93 | 470 | 894 |1029 | 202k| 1 |1341 |2231 | 1.661184e+02 | 1.890000e+02 | 13.77%| unknown
3369.17/3378.99 c 3379s| 48000 | 48001 | 34996k| 713.0 | 367M | 93 | 470 | 894 |1050 | 202k| 1 |1344 |2233 | 1.661190e+02 | 1.890000e+02 | 13.77%| unknown
3373.95/3383.76 c 3384s| 48100 | 48101 | 35050k| 712.6 | 367M | 93 | 470 | 894 |1027 | 203k| 1 |1346 |2235 | 1.661195e+02 | 1.890000e+02 | 13.77%| unknown
3380.44/3390.23 c 3390s| 48200 | 48201 | 35122k| 712.6 | 367M | 93 | 470 | 894 |1034 | 203k| 1 |1350 |2236 | 1.661202e+02 | 1.890000e+02 | 13.77%| unknown
3385.42/3395.29 c 3395s| 48300 | 48301 | 35178k| 712.3 | 367M | 93 | 470 | 894 |1037 | 203k| 1 |1353 |2239 | 1.661208e+02 | 1.890000e+02 | 13.77%| unknown
3390.61/3400.48 c 3400s| 48400 | 48401 | 35238k| 712.1 | 367M | 93 | 470 | 894 |1037 | 203k| 1 |1358 |2239 | 1.661213e+02 | 1.890000e+02 | 13.77%| unknown
3395.60/3405.43 c 3405s| 48500 | 48501 | 35294k| 711.8 | 367M | 93 | 470 | 894 |1062 | 204k| 1 |1360 |2239 | 1.661218e+02 | 1.890000e+02 | 13.77%| unknown
3402.08/3411.93 c 3412s| 48600 | 48601 | 35375k| 712.0 | 367M | 93 | 470 | 894 |1059 | 204k| 1 |1363 |2240 | 1.661224e+02 | 1.890000e+02 | 13.77%| unknown
3407.17/3417.03 c 3417s| 48700 | 48701 | 35435k| 711.8 | 367M | 93 | 470 | 894 |1020 | 204k| 1 |1365 |2242 | 1.661230e+02 | 1.890000e+02 | 13.77%| unknown
3413.75/3423.66 c 3424s| 48800 | 48801 | 35503k| 711.7 | 367M | 93 | 470 | 894 |1061 | 205k| 1 |1366 |2246 | 1.661235e+02 | 1.890000e+02 | 13.77%| unknown
3418.64/3428.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3418.64/3428.59 c 3429s| 48900 | 48901 | 35559k| 711.4 | 367M | 93 | 470 | 894 |1057 | 205k| 1 |1368 |2247 | 1.661246e+02 | 1.890000e+02 | 13.77%| unknown
3424.23/3434.11 c 3434s| 49000 | 49001 | 35616k| 711.1 | 367M | 93 | 470 | 894 |1034 | 205k| 1 |1369 |2247 | 1.661255e+02 | 1.890000e+02 | 13.77%| unknown
3430.01/3439.96 c 3440s| 49100 | 49101 | 35675k| 710.9 | 367M | 93 | 470 | 894 |1051 | 206k| 1 |1373 |2247 | 1.661263e+02 | 1.890000e+02 | 13.77%| unknown
3435.70/3445.63 c 3446s| 49200 | 49201 | 35737k| 710.7 | 367M | 93 | 470 | 894 |1033 | 206k| 1 |1374 |2249 | 1.661268e+02 | 1.890000e+02 | 13.77%| unknown
3441.09/3451.09 c 3451s| 49300 | 49301 | 35799k| 710.5 | 367M | 93 | 470 | 894 |1028 | 206k| 1 |1379 |2250 | 1.661274e+02 | 1.890000e+02 | 13.77%| unknown
3445.87/3455.82 c 3456s| 49400 | 49401 | 35852k| 710.1 | 367M | 93 | 470 | 894 |1042 | 207k| 1 |1379 |2250 | 1.661278e+02 | 1.890000e+02 | 13.77%| unknown
3451.06/3461.02 c 3461s| 49500 | 49501 | 35907k| 709.8 | 367M | 93 | 470 | 894 |1031 | 207k| 1 |1381 |2254 | 1.661285e+02 | 1.890000e+02 | 13.77%| unknown
3456.54/3466.53 c 3467s| 49600 | 49601 | 35964k| 709.6 | 367M | 93 | 470 | 894 |1054 | 207k| 1 |1384 |2259 | 1.661289e+02 | 1.890000e+02 | 13.77%| unknown
3461.83/3471.80 c 3472s| 49700 | 49701 | 36023k| 709.3 | 368M | 93 | 470 | 894 |1041 | 207k| 1 |1386 |2261 | 1.661296e+02 | 1.890000e+02 | 13.77%| unknown
3466.42/3476.44 c 3476s| 49800 | 49801 | 36075k| 708.9 | 368M | 93 | 470 | 894 |1059 | 208k| 1 |1389 |2263 | 1.661302e+02 | 1.890000e+02 | 13.77%| unknown
3472.70/3482.79 c 3483s| 49900 | 49901 | 36142k| 708.9 | 368M | 93 | 470 | 894 |1059 | 208k| 1 |1394 |2265 | 1.661312e+02 | 1.890000e+02 | 13.77%| unknown
3478.19/3488.24 c 3488s| 50000 | 50001 | 36202k| 708.7 | 368M | 93 | 470 | 894 |1054 | 208k| 1 |1397 |2268 | 1.661316e+02 | 1.890000e+02 | 13.77%| unknown
3483.98/3494.05 c 3494s| 50100 | 50101 | 36263k| 708.5 | 368M | 93 | 470 | 894 |1043 | 209k| 1 |1399 |2271 | 1.661321e+02 | 1.890000e+02 | 13.76%| unknown
3489.26/3499.39 c 3499s| 50200 | 50201 | 36322k| 708.2 | 368M | 93 | 470 | 894 |1058 | 209k| 1 |1399 |2274 | 1.661329e+02 | 1.890000e+02 | 13.76%| unknown
3495.44/3505.52 c 3506s| 50300 | 50301 | 36390k| 708.2 | 368M | 93 | 470 | 894 |1042 | 209k| 1 |1402 |2276 | 1.661334e+02 | 1.890000e+02 | 13.76%| unknown
3500.73/3510.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3500.73/3510.88 c 3511s| 50400 | 50401 | 36450k| 708.0 | 368M | 93 | 470 | 894 |1047 | 210k| 1 |1406 |2278 | 1.661338e+02 | 1.890000e+02 | 13.76%| unknown
3505.92/3516.07 c 3516s| 50500 | 50501 | 36506k| 707.7 | 368M | 93 | 470 | 894 |1046 | 210k| 1 |1409 |2278 | 1.661343e+02 | 1.890000e+02 | 13.76%| unknown
3512.10/3522.22 c 3522s| 50600 | 50601 | 36575k| 707.6 | 368M | 93 | 470 | 894 |1032 | 210k| 1 |1413 |2278 | 1.661348e+02 | 1.890000e+02 | 13.76%| unknown
3517.39/3527.59 c 3528s| 50700 | 50701 | 36633k| 707.4 | 368M | 93 | 470 | 894 |1070 | 210k| 1 |1414 |2279 | 1.661354e+02 | 1.890000e+02 | 13.76%| unknown
3522.28/3532.44 c 3532s| 50800 | 50801 | 36690k| 707.1 | 368M | 93 | 470 | 894 |1040 | 211k| 1 |1415 |2280 | 1.661358e+02 | 1.890000e+02 | 13.76%| unknown
3528.96/3539.17 c 3539s| 50900 | 50901 | 36774k| 707.4 | 368M | 93 | 470 | 894 |1056 | 211k| 1 |1418 |2280 | 1.661363e+02 | 1.890000e+02 | 13.76%| unknown
3534.85/3545.08 c 3545s| 51000 | 51001 | 36834k| 707.2 | 368M | 93 | 470 | 894 |1043 | 211k| 1 |1419 |2285 | 1.661366e+02 | 1.890000e+02 | 13.76%| unknown
3540.63/3550.83 c 3551s| 51100 | 51101 | 36891k| 706.9 | 368M | 93 | 470 | 894 | 994 | 212k| 1 |1421 |2286 | 1.661371e+02 | 1.890000e+02 | 13.76%| unknown
3546.21/3556.40 c 3556s| 51200 | 51201 | 36955k| 706.8 | 370M | 93 | 470 | 894 |1020 | 212k| 1 |1424 |2286 | 1.661376e+02 | 1.890000e+02 | 13.76%| unknown
3551.30/3561.58 c 3562s| 51300 | 51301 | 37012k| 706.5 | 370M | 93 | 470 | 894 |1040 | 212k| 1 |1424 |2287 | 1.661383e+02 | 1.890000e+02 | 13.76%| unknown
3556.39/3566.66 c 3567s| 51400 | 51401 | 37068k| 706.3 | 370M | 93 | 470 | 894 |1033 | 213k| 1 |1427 |2289 | 1.661386e+02 | 1.890000e+02 | 13.76%| unknown
3561.28/3571.56 c 3572s| 51500 | 51501 | 37125k| 706.0 | 370M | 93 | 470 | 894 |1031 | 213k| 1 |1429 |2291 | 1.661397e+02 | 1.890000e+02 | 13.76%| unknown
3566.16/3576.41 c 3576s| 51600 | 51601 | 37179k| 705.7 | 370M | 93 | 470 | 894 |1051 | 213k| 1 |1431 |2292 | 1.661402e+02 | 1.890000e+02 | 13.76%| unknown
3572.55/3582.89 c 3583s| 51700 | 51701 | 37252k| 705.7 | 370M | 93 | 470 | 894 |1033 | 214k| 1 |1435 |2292 | 1.661406e+02 | 1.890000e+02 | 13.76%| unknown
3576.84/3587.19 c 3587s| 51800 | 51801 | 37301k| 705.3 | 370M | 93 | 470 | 894 |1054 | 214k| 1 |1435 |2292 | 1.661411e+02 | 1.890000e+02 | 13.76%| unknown
3582.62/3592.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3582.62/3592.98 c 3593s| 51900 | 51901 | 37365k| 705.2 | 370M | 93 | 470 | 894 |1042 | 214k| 1 |1439 |2293 | 1.661418e+02 | 1.890000e+02 | 13.76%| unknown
3586.71/3597.00 c
3586.71/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.71/3597.00 c Solving Time (sec) : 3597.00
3586.71/3597.00 c Solving Nodes : 51973 (total of 53022 nodes in 2 runs)
3586.71/3597.00 c Primal Bound : +1.89000000000000e+02 (1179 solutions)
3586.71/3597.00 c Dual Bound : +1.66142452019605e+02
3586.71/3597.00 c Gap : 13.76 %
3586.71/3597.00 s SATISFIABLE
3586.71/3597.00 v -x470 -x469 -x468 -x467 -x466 -x465 x464 x463 -x462 -x461 -x460 -x459 x458 x457 x456 -x455 -x454 x453 x452 x451 x450 -x449 -x448
3586.71/3597.00 v -x447 x446 -x445 -x444 -x443 -x442 x441 x440 -x439 -x438 x437 -x436 x435 -x434 x433 -x432 -x431 x430 x429 -x428 x427 -x426
3586.71/3597.00 v x425 -x424 -x423 -x422 -x421 x420 -x419 x418 -x417 x416 -x415 x414 -x413 -x412 -x411 x410 x409 -x408 -x407 x406 x405 x404 -x403
3586.71/3597.00 v -x402 -x401 x400 -x399 -x398 x397 x396 -x395 -x394 x393 -x392 -x391 -x390 x389 x388 -x387 -x386 x385 x384 -x383 -x382 -x381
3586.71/3597.00 v x380 -x379 -x378 -x377 x376 -x375 x374 x373 x372 -x371 -x370 -x369 -x368 -x367 x366 -x365 -x364 -x363 -x362 -x361 -x360 x359
3586.71/3597.00 v x358 -x357 -x356 -x355 x354 x353 x352 x351 x350 -x349 x348 -x347 -x346 -x345 x344 -x343 -x342 x341 -x340 -x339 x338 x337 x336
3586.71/3597.00 v -x335 -x334 x333 -x332 -x331 -x330 -x329 -x328 -x327 x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 x318 -x317 x316 -x315
3586.71/3597.00 v x314 x313 -x312 -x311 -x310 -x309 -x308 -x307 x306 -x305 x304 -x303 -x302 -x301 x300 x299 -x298 -x297 -x296 x295 -x294 x293 x292
3586.71/3597.00 v -x291 x290 -x289 x288 -x287 -x286 x285 -x284 x283 x282 -x281 -x280 -x279 -x278 x277 -x276 -x275 -x274 -x273 x272 x271 -x270
3586.71/3597.00 v -x269 -x268 -x267 -x266 x265 -x264 x263 -x262 -x261 -x260 -x259 -x258 x257 -x256 x255 x254 x253 -x252 -x251 x250 x249 -x248
3586.71/3597.00 v -x247 -x246 -x245 -x244 x243 x242 -x241 -x240 -x239 x238 x237 x236 -x235 -x234 -x233 -x232 x231 x230 -x229 x228 -x227 -x226
3586.71/3597.00 v x225 x224 -x223 x222 -x221 x220 -x219 -x218 -x217 -x216 x215 x214 -x213 -x212 x211 x210 -x209 -x208 x207 x206 x205 x204 x203
3586.71/3597.00 v -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 x190 x189 x188 -x187 x186 -x185 -x184 x183 -x182 -x181
3586.71/3597.00 v -x180 -x179 x178 -x177 x176 -x175 x174 x173 -x172 -x171 -x170 -x169 x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 x160 -x159
3586.71/3597.00 v -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 x150 -x149 x148 -x147 -x146 x145 x144 x143 -x142 x141 -x140 -x139 x138 -x137
3586.71/3597.00 v x136 -x135 x134 x133 -x132 x131 x130 -x129 x128 -x127 x126 -x125 -x124 x123 x122 -x121 -x120 x119 -x118 -x117 -x116 x115 -x114
3586.71/3597.00 v -x113 -x112 -x111 -x110 x109 -x108 x107 -x106 -x105 x104 x103 -x102 -x101 x100 -x99 x98 -x97 -x96 -x95 x94 -x93 x92 x91 -x90
3586.71/3597.00 v -x89 x88 x87 -x86 -x85 -x84 x83 -x82 x81 -x80 x79 x78 -x77 -x76 x75 -x74 -x73 -x72 x71 -x70 x69 x68 x67 -x66 x65 x64 -x63 x62
3586.71/3597.00 v -x61 -x60 x59 x58 x57 x56 x55 -x54 -x53 x52 -x51 -x50 x49 x48 -x47 -x46 x45 x44 -x43 x42 -x41 x40 -x39 x38 x37 x36 x35 -x34
3586.71/3597.00 v x33 -x32 -x31 x30 -x29 -x28 -x27 x26 x25 -x24 x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 x14 x13 -x12 x11 -x10 -x9 -x8 x7 -x6
3586.71/3597.00 v x5 x4 -x3 -x2 -x1
3586.71/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.71/3597.00 c Total Time : 3597.00
3586.71/3597.00 c solving : 3597.00
3586.71/3597.00 c presolving : 0.03 (included in solving)
3586.71/3597.00 c reading : 0.00 (included in solving)
3586.71/3597.00 c copying : 0.05 (15 #copies) (minimal 0.00, maximal 0.00, average 0.00)
3586.71/3597.00 c Original Problem :
3586.71/3597.00 c Problem name : HOME/instance-4489240-1751356075.opb
3586.71/3597.00 c Variables : 470 (470 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.71/3597.00 c Constraints : 470 initial, 470 maximal
3586.71/3597.00 c Objective : minimize, 470 non-zeros (abs.min = 1, abs.max = 1)
3586.71/3597.00 c Presolved Problem :
3586.71/3597.00 c Problem name : t_HOME/instance-4489240-1751356075.opb
3586.71/3597.00 c Variables : 470 (470 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.71/3597.00 c Constraints : 906 initial, 909 maximal
3586.71/3597.00 c Objective : minimize, 470 non-zeros (abs.min = 1, abs.max = 1)
3586.71/3597.00 c Nonzeros : 7289 constraint, 227 clique table
3586.71/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.71/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c gateextraction : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c implics : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c milp : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c trivial : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c dualfix : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c knapsack : 0.01 0.00 24 0 0 0 0 0 43 237 437 1233
3586.71/3597.00 c setppc : 0.00 0.00 21 0 0 0 0 0 111 0 0 0
3586.71/3597.00 c linear : 0.01 0.00 8 0 0 0 0 0 2 0 18 112
3586.71/3597.00 c logicor : 0.00 0.00 21 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c root node : - - - 0 - - 0 - - - - -
3586.71/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.71/3597.00 c benderslp : 0 0 0 0 53021 0 0 20242 0 0 0 0 0 0 0
3586.71/3597.00 c integral : 0 0 0 0 53021 0 0 20242 0 0 0 0 0 0 106042
3586.71/3597.00 c knapsack : 645 645 39 760541 0 0 0 20236 42218 0 10532 2397 108 0 0
3586.71/3597.00 c setppc : 110 110 39 759559 0 0 0 1257 21270 0 19329 0 0 0 0
3586.71/3597.00 c logicor : 151+ 156 39 189941 0 0 0 1257 729 168 139 0 0 0 0
3586.71/3597.00 c benders : 0 0 0 0 0 0 0 1260 0 0 0 0 0 0 0
3586.71/3597.00 c fixedvar : 0 0 0 0 0 0 0 1260 0 0 0 0 0 0 0
3586.71/3597.00 c countsols : 0 0 0 0 0 0 0 1260 0 0 0 0 0 0 0
3586.71/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.71/3597.00 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3586.71/3597.00 c integral : 114.34 0.00 0.00 0.00 114.33 0.00 0.00 0.01 0.00 0.00
3586.71/3597.00 c knapsack : 1.92 0.00 0.09 1.74 0.00 0.00 0.00 0.06 0.02 0.01
3586.71/3597.00 c setppc : 0.28 0.00 0.00 0.27 0.00 0.00 0.00 0.00 0.01 0.00
3586.71/3597.00 c logicor : 0.15 0.00 0.00 0.15 0.00 0.00 0.00 0.00 0.00 0.00
3586.71/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.71/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.71/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.71/3597.00 c components : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
3586.71/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.71/3597.00 c dualfix : 3 0 0 0
3586.71/3597.00 c genvbounds : 0 0 0 0
3586.71/3597.00 c nlobbt : 0 0 0 0
3586.71/3597.00 c obbt : 0 0 0 0
3586.71/3597.00 c probing : 0 0 0 0
3586.71/3597.00 c pseudoobj : 123527 0 0 0
3586.71/3597.00 c redcost : 42 0 0 0
3586.71/3597.00 c rootredcost : 7 0 0 0
3586.71/3597.00 c symmetry : 0 0 0 0
3586.71/3597.00 c vbounds : 123941 0 0 0
3586.71/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.71/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.71/3597.00 c genvbounds : 0.05 0.00 0.00 0.05 0.00 0.00
3586.71/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.71/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.71/3597.00 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
3586.71/3597.00 c pseudoobj : 0.11 0.00 0.00 0.11 0.00 0.00
3586.71/3597.00 c redcost : 0.07 0.00 0.00 0.06 0.00 0.00
3586.71/3597.00 c rootredcost : 0.05 0.00 0.00 0.05 0.00 0.00
3586.71/3597.00 c symmetry : 0.07 0.00 0.00 0.07 0.00 0.00
3586.71/3597.00 c vbounds : 0.09 0.00 0.00 0.09 0.00 0.00
3586.71/3597.00 c Symmetry :
3586.71/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.71/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.71/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.71/3597.00 c shadow tree time : 0.00 s
3586.71/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.71/3597.00 c propagation : 0.01 166 164 - 405 133.1 0 0.0 - - -
3586.71/3597.00 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.71/3597.00 c bound exceed. LP : 4.02 7126 1268 - 29706 106.5 0 0.0 0 0.0 55953
3586.71/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.71/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.71/3597.00 c applied globally : 0.00 - - 0 45 66.2 - - 0 - -
3586.71/3597.00 c applied locally : - - - 0 1395 90.3 - - 0 - -
3586.71/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.71/3597.00 c cut pool : 24.87 - 22840 69 - - 200046 953795 - - - - - (maximal pool size: 5593)
3586.71/3597.00 c aggregation : 185.25 0.00 4455 39 0 0 2267 110269 0 37527 37527 0 0
3586.71/3597.00 c > cmir : - - - - - - - 87158 0 25858 25858 0 -
3586.71/3597.00 c > flowcover : - - - - - - - 8202 0 2926 2926 0 -
3586.71/3597.00 c > knapsackcover : - - - - - - - 14909 0 8743 8743 0 -
3586.71/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c clique : 0.01 0.00 39 39 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c gomory : 46.32 0.00 3738 20 0 0 191264 201237 0 4467 4467 0 0
3586.71/3597.00 c > gomorymi : - - - - - - - 121406 0 3765 3765 0 -
3586.71/3597.00 c > strongcg : - - - - - - - 79831 0 702 702 0 -
3586.71/3597.00 c impliedbounds : 0.07 0.00 4455 39 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c multilinear : 0.00 0.00 3996 39 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c rapidlearning : 0.20 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c rlt : 0.01 0.00 820 20 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c zerohalf : 18.62 0.00 3757 39 0 0 6514 642289 0 180370 180370 0 0
3586.71/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.71/3597.00 c hybrid : 2.18 0.00 19051 38 222472 0 733720 799 0 11916
3586.71/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.71/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.71/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3586.71/3597.00 c problem variables: 0.00 - 0 0
3586.71/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.71/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.71/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.71/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.71/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.71/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.71/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.71/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.71/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.71/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.71/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.71/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.71/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.71/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.71/3597.00 c relpscost : 114.30 0.00 53021 0 0 0 0 0 0 106042
3586.71/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.71/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.71/3597.00 c LP solutions : 0.00 - - 0 0
3586.71/3597.00 c relax solutions : 0.00 - - 0 0
3586.71/3597.00 c pseudo solutions : 0.00 - - 0 0
3586.71/3597.00 c strong branching : 0.17 - - 537 0
3586.71/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3586.71/3597.00 c adaptivediving : 51.65 0.00 134 14 2
3586.71/3597.00 c alns : 0.08 0.00 7 0 0
3586.71/3597.00 c bound : 0.00 0.00 0 0 0
3586.71/3597.00 c clique : 0.00 0.00 1 0 0
3586.71/3597.00 c coefdiving : 0.00 0.00 0 0 0
3586.71/3597.00 c completesol : 0.00 0.00 0 0 0
3586.71/3597.00 c conflictdiving : 299.33 0.00 691 0 0
3586.71/3597.00 c crossover : 0.18 0.00 1 1 1
3586.71/3597.00 c dins : 0.00 0.00 0 0 0
3586.71/3597.00 c distributiondivin: 186.22 0.00 288 6 0
3586.71/3597.00 c dps : 0.00 0.00 0 0 0
3586.71/3597.00 c dualval : 0.00 0.00 0 0 0
3586.71/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3586.71/3597.00 c feasjump : 0.00 0.00 0 0 0
3586.71/3597.00 c feaspump : 0.00 0.00 0 0 0
3586.71/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3586.71/3597.00 c fracdiving : 113.45 0.00 252 2 0
3586.71/3597.00 c gins : 0.05 0.00 7 6 0
3586.71/3597.00 c guideddiving : 105.53 0.00 292 5 0
3586.71/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3586.71/3597.00 c indicator : 0.01 0.00 0 0 0
3586.71/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3586.71/3597.00 c indoneopt : 0.01 0.00 0 0 0
3586.71/3597.00 c indrounding : 0.00 0.00 0 0 0
3586.71/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3586.71/3597.00 c intdiving : 0.00 0.00 0 0 0
3586.71/3597.00 c intshifting : 0.00 0.00 0 0 0
3586.71/3597.00 c linesearchdiving : 86.07 0.00 354 2 0
3586.71/3597.00 c localbranching : 0.00 0.00 0 0 0
3586.71/3597.00 c locks : 0.00 0.00 1 1 1
3586.71/3597.00 c lpface : 0.01 0.00 0 0 0
3586.71/3597.00 c mpec : 0.00 0.00 0 0 0
3586.71/3597.00 c multistart : 0.00 0.00 0 0 0
3586.71/3597.00 c mutation : 0.00 0.00 0 0 0
3586.71/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3586.71/3597.00 c objpscostdiving : 46.32 0.00 39 279 0
3586.71/3597.00 c octane : 0.00 0.00 0 0 0
3586.71/3597.00 c ofins : 0.01 0.00 0 0 0
3586.71/3597.00 c oneopt : 0.02 0.00 6 2 2
3586.71/3597.00 c padm : 0.00 0.00 0 0 0
3586.71/3597.00 c proximity : 0.00 0.00 0 0 0
3586.71/3597.00 c pscostdiving : 223.60 0.00 977 210 5
3586.71/3597.00 c randrounding : 0.82 0.00 18997 0 0
3586.71/3597.00 c rens : 0.00 0.00 0 0 0
3586.71/3597.00 c reoptsols : 0.00 0.00 0 0 0
3586.71/3597.00 c repair : 0.00 0.00 0 0 0
3586.71/3597.00 c rins : 0.02 0.00 0 0 0
3586.71/3597.00 c rootsoldiving : 12.81 0.00 82 0 0
3586.71/3597.00 c rounding : 4.62 0.00 3722 0 0
3586.71/3597.00 c scheduler : 0.00 0.00 0 0 0
3586.71/3597.00 c shiftandpropagate: 0.00 0.00 0 0 0
3586.71/3597.00 c shifting : 2.63 0.00 1938 0 0
3586.71/3597.00 c simplerounding : 1.39 0.00 72072 21 0
3586.71/3597.00 c smallcard : 0.00 0.00 0 0 0
3586.71/3597.00 c subnlp : 0.02 0.00 0 0 0
3586.71/3597.00 c trivial : 0.00 0.00 4 1 1
3586.71/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3586.71/3597.00 c trustregion : 0.00 0.00 0 0 0
3586.71/3597.00 c trysol : 0.01 0.00 0 0 0
3586.71/3597.00 c twoopt : 0.00 0.00 0 0 0
3586.71/3597.00 c undercover : 0.00 0.00 0 0 0
3586.71/3597.00 c vbounds : 0.00 0.00 0 0 0
3586.71/3597.00 c veclendiving : 97.47 0.00 401 5 0
3586.71/3597.00 c zeroobj : 0.00 0.00 0 0 0
3586.71/3597.00 c zirounding : 0.85 0.00 4351 87 0
3586.71/3597.00 c other solutions : - - - 0 -
3586.71/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.71/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.71/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.71/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.71/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.71/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.71/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.71/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.71/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.71/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.71/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.71/3597.00 c primal LP : 2.24 10302 3 1.00 1.34 2.24 10299
3586.71/3597.00 c dual LP : 1952.37 72073 22337236 309.93 11441.07 0.00 2
3586.71/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3586.71/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.71/3597.00 c resolve instable : 0.00 0 0 0.00 -
3586.71/3597.00 c diving/probing LP: 1139.69 36743 15072392 410.21 13224.98
3586.71/3597.00 c strong branching : 107.65 2294 1245046 542.74 11565.49 - - 406
3586.71/3597.00 c (at root node) : - 20 11149 557.45 -
3586.71/3597.00 c conflict analysis: 2.93 5727 55953 9.77 19127.29
3586.71/3597.00 c B&B Tree :
3586.71/3597.00 c number of runs : 2
3586.71/3597.00 c nodes : 51973 (51972 internal, 1 leaves)
3586.71/3597.00 c feasible leaves : 0
3586.71/3597.00 c infeas. leaves : 0
3586.71/3597.00 c objective leaves : 0
3586.71/3597.00 c nodes (total) : 53022 (53021 internal, 1 leaves)
3586.71/3597.00 c nodes left : 51973
3586.71/3597.00 c max depth : 93
3586.71/3597.00 c max depth (total): 93
3586.71/3597.00 c backtracks : 5213 (10.0%)
3586.71/3597.00 c early backtracks : 0 (0.0%)
3586.71/3597.00 c nodes exc. ref. : 0 (0.0%)
3586.71/3597.00 c delayed cutoffs : 0
3586.71/3597.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3586.71/3597.00 c avg switch length: 4.28
3586.71/3597.00 c switching time : 3.90
3586.71/3597.00 c Root Node :
3586.71/3597.00 c First LP value : +1.49046594321659e+02
3586.71/3597.00 c First LP Iters : 9645 (17317.78 Iter/sec)
3586.71/3597.00 c First LP Time : 0.56
3586.71/3597.00 c Final Dual Bound : +1.62799333063538e+02
3586.71/3597.00 c Final Root Iters : 26888
3586.71/3597.00 c Root LP Estimate : +2.42288104152716e+02
3586.71/3597.00 c Solution :
3586.71/3597.00 c Solutions found : 1179 (12 improvements)
3586.71/3597.00 c First Solution : +4.70000000000000e+02 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
3586.71/3597.00 c Gap First Sol. : infinite
3586.71/3597.00 c Gap Last Sol. : 13.83 %
3586.71/3597.00 c Primal Bound : +1.89000000000000e+02 (in run 2, after 37360 nodes, 2789.88 seconds, depth 234, found by <pscostdiving>)
3586.71/3597.00 c Dual Bound : +1.66142452019605e+02
3586.71/3597.00 c Gap : 13.76 %
3586.71/3597.00 c Integrals : Total Avg%
3586.71/3597.00 c primal-dual : 46202.82 12.84
3586.71/3597.00 c primal-ref : - - (not evaluated)
3586.71/3597.00 c dual-ref : - - (not evaluated)
3586.82/3597.15 c Time complete: 3586.87.
OK 189
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: 63665 MiB (62589 MiB free)
memory of node 1: 64507 MiB (62488 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489240-1751356075/watcher-4489240-1751356075 -o /tmp/evaluation-result-4489240-1751356075/solver-4489240-1751356075 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751348876-53996 --watchdog 3760 pbscip -f HOME/instance-4489240-1751356075.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=54814, runsolver pid=54808
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.08 4.10 4.09 5/267 54829
/proc/meminfo: memFree=128058064/131249996 swapFree=33010684/33010684
[pid=54814] ppid=54808 vsize=51124 memory=25216 CPUtime=0.09 cores=0,2
/proc/54814/stat : 54814 (pbscip) R 54808 54814 53986 0 -1 4194304 2740 0 0 0 9 0 0 0 20 0 1 0 51285380 52350976 6304 18446744073709551615 4235264 18693293 140734730823184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57266176 140734730828169 140734730828268 140734730828268 140734730833870 0
/proc/54814/statm: 12781 6304 3936 3530 0 4232 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51124 KiB
Current children cumulated memory: 25216 KiB
[startup+0.205045 s]*
/proc/loadavg: 4.08 4.10 4.09 5/267 54829
/proc/meminfo: memFree=128054316/131249996 swapFree=33010684/33010684
[pid=54814] ppid=54808 vsize=51124 memory=25216 CPUtime=0.19 cores=0,2
/proc/54814/stat : 54814 (pbscip) R 54808 54814 53986 0 -1 4194304 2745 0 0 0 19 0 0 0 20 0 1 0 51285380 52350976 6304 18446744073709551615 4235264 18693293 140734730823184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57266176 140734730828169 140734730828268 140734730828268 140734730833870 0
/proc/54814/statm: 12781 6304 3936 3530 0 4232 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 51124 KiB
Current children cumulated memory: 25216 KiB
[startup+0.304615 s]*
/proc/loadavg: 4.08 4.10 4.09 5/267 54829
/proc/meminfo: memFree=128054316/131249996 swapFree=33010684/33010684
[pid=54814] ppid=54808 vsize=51440 memory=25472 CPUtime=0.29 cores=0,2
/proc/54814/stat : 54814 (pbscip) R 54808 54814 53986 0 -1 4194304 2801 0 0 0 29 0 0 0 20 0 1 0 51285380 52674560 6368 18446744073709551615 4235264 18693293 140734730823184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57266176 140734730828169 140734730828268 140734730828268 140734730833870 0
/proc/54814/statm: 12860 6368 3936 3530 0 4311 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 51440 KiB
Current children cumulated memory: 25472 KiB
[startup+0.700116 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 54829
/proc/meminfo: memFree=128054316/131249996 swapFree=33010684/33010684
[pid=54814] ppid=54808 vsize=69080 memory=43008 CPUtime=0.68 cores=0,2
/proc/54814/stat : 54814 (pbscip) R 54808 54814 53986 0 -1 4194304 7181 0 0 0 67 1 0 0 20 0 1 0 51285380 70737920 10752 18446744073709551615 4235264 18693293 140734730823184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57266176 140734730828169 140734730828268 140734730828268 140734730833870 0
/proc/54814/statm: 17270 10752 3936 3530 0 8721 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 69080 KiB
Current children cumulated memory: 43008 KiB
[startup+1.50017 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 54829
/proc/meminfo: memFree=127950240/131249996 swapFree=33010684/33010684
[pid=54814] ppid=54808 vsize=145260 memory=117872 CPUtime=1.48 cores=0,2
/proc/54814/stat : 54814 (pbscip) R 54808 54814 53986 0 -1 4194304 27075 0 0 0 144 4 0 0 20 0 1 0 51285380 148746240 29468 18446744073709551615 4235264 18693293 140734730823184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57266176 140734730828169 140734730828268 140734730828268 140734730833870 0
/proc/54814/statm: 36315 29468 3936 3530 0 27766 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 145260 KiB
Current children cumulated memory: 117872 KiB
[startup+3.10522 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 54829
/proc/meminfo: memFree=127663032/131249996 swapFree=33010684/33010684
[pid=54814] ppid=54808 vsize=185024 memory=154096 CPUtime=3.09 cores=0,2
/proc/54814/stat : 54814 (pbscip) R 54808 54814 53986 0 -1 4194304 36095 0 0 0 303 6 0 0 20 0 1 0 51285380 189464576 38524 18446744073709551615 4235264 18693293 140734730823184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57266176 140734730828169 140734730828268 140734730828268 140734730833870 0
/proc/54814/statm: 46256 38524 3968 3530 0 37707 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 185024 KiB
Current children cumulated memory: 154096 KiB
[startup+6.3001 s]
/proc/loadavg: 4.15 4.11 4.09 5/267 54829
/proc/meminfo: memFree=127663080/131249996 swapFree=33010684/33010684
[pid=54814] ppid=54808 vsize=185024 memory=154096 CPUtime=6.27 cores=0,2
/proc/54814/stat : 54814 (pbscip) R 54808 54814 53986 0 -1 4194304 36098 0 0 0 621 6 0 0 20 0 1 0 51285380 189464576 38524 18446744073709551615 4235264 18693293 140734730823184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57266176 140734730828169 140734730828268 140734730828268 140734730833870 0
/proc/54814/statm: 46256 38524 3968 3530 0 37707 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 185024 KiB
Current children cumulated memory: 154096 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.11 4.09 5/267 54830
/proc/meminfo: memFree=127661412/131249996 swapFree=33010684/33010684
[pid=54814] ppid=54808 vsize=190648 memory=161136 CPUtime=12.65 cores=0,2
/proc/54814/stat : 54814 (pbscip) R 54808 54814 53986 0 -1 4194304 37854 0 0 0 1259 6 0 0 20 0 1 0 51285380 195223552 40284 18446744073709551615 4235264 18693293 140734730823184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57266176 140734730828169 140734730828268 140734730828268 140734730833870 0
/proc/54814/statm: 47662 40284 3968 3530 0 39113 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 190648 KiB
Current children cumulated memory: 161136 KiB
[startup+25.5001 s]
/proc/loadavg: 4.11 4.10 4.09 5/267 54830
/proc/meminfo: memFree=127357508/131249996 swapFree=33010684/33010684
[pid=54814] ppid=54808 vsize=279604 memory=247136 CPUtime=25.41 cores=0,2
/proc/54814/stat : 54814 (pbscip) R 54808 54814 53986 0 -1 4194304 60247 0 0 0 2532 9 0 0 20 0 1 0 51285380 286314496 61784 18446744073709551615 4235264 18693293 140734730823184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57266176 140734730828169 140734730828268 140734730828268 140734730833870 0
/proc/54814/statm: 69901 61784 3968 3530 0 61352 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 279604 KiB
Current children cumulated memory: 247136 KiB
[startup+51.1052 s]
/proc/loadavg: 4.15 4.11 4.09 5/267 54830
/proc/meminfo: memFree=127341900/131249996 swapFree=33010684/33010684
[pid=54814] ppid=54808 vsize=279604 memory=247264 CPUtime=50.95 cores=0,2
/proc/54814/stat : 54814 (pbscip) R 54808 54814 53986 0 -1 4194304 60279 0 0 0 5086 9 0 0 20 0 1 0 51285380 286314496 61816 18446744073709551615 4235264 18693293 140734730823184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57266176 140734730828169 140734730828268 140734730828268 140734730833870 0
/proc/54814/statm: 69901 61816 3968 3530 0 61352 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 279604 KiB
Current children cumulated memory: 247264 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/266 54832
/proc/meminfo: memFree=127310636/131249996 swapFree=33010684/33010684
[pid=54814] ppid=54808 vsize=288296 memory=255328 CPUtime=102.02 cores=0,2
/proc/54814/stat : 54814 (pbscip) R 54808 54814 53986 0 -1 4194304 62288 0 0 0 10192 10 0 0 20 0 1 0 51285380 295215104 63832 18446744073709551615 4235264 18693293 140734730823184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57266176 140734730828169 140734730828268 140734730828268 140734730833870 0
/proc/54814/statm: 72074 63832 3968 3530 0 63525 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 288296 KiB
Current children cumulated memory: 255328 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/267 54835
/proc/meminfo: memFree=127217732/131249996 swapFree=33010684/33010684
[pid=54814] ppid=54808 vsize=329040 memory=300000 CPUtime=161.86 cores=0,2
/proc/54814/stat : 54814 (pbscip) R 54808 54814 53986 0 -1 4194304 73463 0 0 0 16175 11 0 0 20 0 1 0 51285380 336936960 75000 18446744073709551615 4235264 18693293 140734730823184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57266176 140734730828169 140734730828268 140734730828268 140734730833870 0
/proc/54814/statm: 82260 75000 3968 3530 0 73711 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 329040 KiB
Current children cumulated memory: 300000 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 54839
/proc/meminfo: memFree=127218156/131249996 swapFree=33010684/33010684
[pid=54814] ppid=54808 vsize=329040 memory=300256 CPUtime=221.72 cores=0,2
/proc/54814/stat : 54814 (pbscip) R 54808 54814 53986 0 -1 4194304 73527 0 0 0 22160 12 0 0 20 0 1 0 51285380 336936960 75064 18446744073709551615 4235264 18693293 140734730823184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57266176 140734730828169 140734730828268 140734730828268 140734730833870 0
/proc/54814/statm: 82260 75064 3968 3530 0 73711 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 329040 KiB
Current children cumulated memory: 300256 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 54842
/proc/meminfo: memFree=127199368/131249996 swapFree=33010684/33010684
[pid=54814] ppid=54808 vsize=329040 memory=302176 CPUtime=281.56 cores=0,2
/proc/54814/stat : 54814 (pbscip) R 54808 54814 53986 0 -1 4194304 73558 0 0 0 28144 12 0 0 20 0 1 0 51285380 336936960 75544 18446744073709551615 4235264 18693293 140734730823184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57266176 140734730828169 140734730828268 140734730828268 140734730833870 0
/proc/54814/statm: 82260 75544 3968 3530 0 73711 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 329040 KiB
Current children cumulated memory: 302176 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/267 54847
/proc/meminfo: memFree=127150120/131249996 swapFree=33010684/33010684
[pid=54814] ppid=54808 vsize=329040 memory=303328 CPUtime=341.4 cores=0,2
/proc/54814/stat : 54814 (pbscip) R 54808 54814 53986 0 -1 4194304 73588 0 0 0 34128 12 0 0 20 0 1 0 51285380 336936960 75832 18446744073709551615 4235264 18693293 140734730823184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57266176 140734730828169 140734730828268 140734730828268 140734730833870 0
/proc/54814/statm: 82260 75832 3968 3530 0 73711 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 329040 KiB
Current children cumulated memory: 303328 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/267 54849
/proc/meminfo: memFree=127127056/131249996 swapFree=33010684/33010684
[pid=54814] ppid=54808 vsize=350588 memory=323296 CPUtime=401.24 cores=0,2
/proc/54814/stat : 54814 (pbscip) R 54808 54814 53986 0 -1 4194304 78561 0 0 0 40112 12 0 0 20 0 1 0 51285380 359002112 80824 18446744073709551615 4235264 18693293 140734730823184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57266176 140734730828169 140734730828268 140734730828268 140734730833870 0
/proc/54814/statm: 87647 80824 3968 3530 0 79098 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 350588 KiB
Current children cumulated memory: 323296 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 54851
/proc/meminfo: memFree=127123332/131249996 swapFree=33010684/33010684
[pid=54814] ppid=54808 vsize=361736 memory=337888 CPUtime=461.09 cores=0,2
/proc/54814/stat : 54814 (pbscip) R 54808 54814 53986 0 -1 4194304 81434 0 0 0 46096 13 0 0 20 0 1 0 51285380 370417664 84472 18446744073709551615 4235264 18693293 140734730823184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57266176 140734730828169 140734730828268 140734730828268 140734730833870 0
/proc/54814/statm: 90434 84472 3968 3530 0 81885 0
Current children cumulated CPU time: 461.09 s
Current children cumulated vsize: 361736 KiB
################
# More data... #
################
/proc/loadavg: 4.09 4.10 4.09 5/264 55055
/proc/meminfo: memFree=126928804/131249996 swapFree=33010684/33010684
[pid=54814] ppid=54808 vsize=407468 memory=382696 CPUtime=3212.97 cores=0,2
/proc/54814/stat : 54814 (pbscip) R 54808 54814 53986 0 -1 4194304 94125 0 0 0 321281 16 0 0 20 0 1 0 51285380 417247232 95674 18446744073709551615 4235264 18693293 140734730823184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57266176 140734730828169 140734730828268 140734730828268 140734730833870 0
/proc/54814/statm: 101867 95674 3968 3530 0 93318 0
Current children cumulated CPU time: 3212.97 s
Current children cumulated vsize: 407468 KiB
Current children cumulated memory: 382696 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 55058
/proc/meminfo: memFree=126917616/131249996 swapFree=33010684/33010684
[pid=54814] ppid=54808 vsize=408428 memory=383976 CPUtime=3272.81 cores=0,2
/proc/54814/stat : 54814 (pbscip) R 54808 54814 53986 0 -1 4194304 94440 0 0 0 327265 16 0 0 20 0 1 0 51285380 418230272 95994 18446744073709551615 4235264 18693293 140734730823184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57266176 140734730828169 140734730828268 140734730828268 140734730833870 0
/proc/54814/statm: 102107 95994 3968 3530 0 93558 0
Current children cumulated CPU time: 3272.81 s
Current children cumulated vsize: 408428 KiB
Current children cumulated memory: 383976 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 55060
/proc/meminfo: memFree=126920124/131249996 swapFree=33010684/33010684
[pid=54814] ppid=54808 vsize=409380 memory=385128 CPUtime=3332.66 cores=0,2
/proc/54814/stat : 54814 (pbscip) R 54808 54814 53986 0 -1 4194304 94721 0 0 0 333250 16 0 0 20 0 1 0 51285380 419205120 96282 18446744073709551615 4235264 18693293 140734730823184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57266176 140734730828169 140734730828268 140734730828268 140734730833870 0
/proc/54814/statm: 102345 96282 3968 3530 0 93796 0
Current children cumulated CPU time: 3332.66 s
Current children cumulated vsize: 409380 KiB
Current children cumulated memory: 385128 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/264 55062
/proc/meminfo: memFree=126920004/131249996 swapFree=33010684/33010684
[pid=54814] ppid=54808 vsize=410224 memory=385896 CPUtime=3392.51 cores=0,2
/proc/54814/stat : 54814 (pbscip) R 54808 54814 53986 0 -1 4194304 94935 0 0 0 339235 16 0 0 20 0 1 0 51285380 420069376 96474 18446744073709551615 4235264 18693293 140734730823184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57266176 140734730828169 140734730828268 140734730828268 140734730833870 0
/proc/54814/statm: 102556 96474 3968 3530 0 94007 0
Current children cumulated CPU time: 3392.51 s
Current children cumulated vsize: 410224 KiB
Current children cumulated memory: 385896 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 55064
/proc/meminfo: memFree=126905100/131249996 swapFree=33010684/33010684
[pid=54814] ppid=54808 vsize=410436 memory=386152 CPUtime=3452.35 cores=0,2
/proc/54814/stat : 54814 (pbscip) R 54808 54814 53986 0 -1 4194304 94984 0 0 0 345219 16 0 0 20 0 1 0 51285380 420286464 96538 18446744073709551615 4235264 18693293 140734730823184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57266176 140734730828169 140734730828268 140734730828268 140734730833870 0
/proc/54814/statm: 102609 96538 3968 3530 0 94060 0
Current children cumulated CPU time: 3452.35 s
Current children cumulated vsize: 410436 KiB
Current children cumulated memory: 386152 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/265 55073
/proc/meminfo: memFree=126915724/131249996 swapFree=33010684/33010684
[pid=54814] ppid=54808 vsize=411008 memory=386792 CPUtime=3512.2 cores=0,2
/proc/54814/stat : 54814 (pbscip) R 54808 54814 53986 0 -1 4194304 95136 0 0 0 351204 16 0 0 20 0 1 0 51285380 420872192 96698 18446744073709551615 4235264 18693293 140734730823184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57266176 140734730828169 140734730828268 140734730828268 140734730833870 0
/proc/54814/statm: 102752 96698 3968 3530 0 94203 0
Current children cumulated CPU time: 3512.2 s
Current children cumulated vsize: 411008 KiB
Current children cumulated memory: 386792 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 55076
/proc/meminfo: memFree=126912056/131249996 swapFree=33010684/33010684
[pid=54814] ppid=54808 vsize=415580 memory=389352 CPUtime=3572.05 cores=0,2
/proc/54814/stat : 54814 (pbscip) R 54808 54814 53986 0 -1 4194304 95788 0 0 0 357189 16 0 0 20 0 1 0 51285380 425553920 97338 18446744073709551615 4235264 18693293 140734730823184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57266176 140734730828169 140734730828268 140734730828268 140734730833870 0
/proc/54814/statm: 103895 97338 3968 3530 0 95346 0
Current children cumulated CPU time: 3572.05 s
Current children cumulated vsize: 415580 KiB
Current children cumulated memory: 389352 KiB
[startup+3597.16 s]
# the end of solver process 54814 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.71 s, system=0.16844 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.11 4.09 5/265 55076
/proc/meminfo: memFree=126911808/131249996 swapFree=33010684/33010684
[pid=54814] ppid=54808 vsize=415580 memory=389352 CPUtime=3573.75 cores=0,2
/proc/54814/stat : 54814 (pbscip) R 54808 54814 53986 0 -1 4194304 95788 0 0 0 357359 16 0 0 20 0 1 0 51285380 425553920 97338 18446744073709551615 4235264 18693293 140734730823184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57266176 140734730828169 140734730828268 140734730828268 140734730833870 0
/proc/54814/statm: 103895 97338 3968 3530 0 95346 0
Current children cumulated CPU time: 3573.75 s
Current children cumulated vsize: 415580 KiB
Current children cumulated memory: 389352 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 55076
/proc/meminfo: memFree=126911816/131249996 swapFree=33010684/33010684
[pid=54814] ppid=54808 vsize=415580 memory=389352 CPUtime=3580.13 cores=0,2
/proc/54814/stat : 54814 (pbscip) R 54808 54814 53986 0 -1 4194304 95788 0 0 0 357997 16 0 0 20 0 1 0 51285380 425553920 97338 18446744073709551615 4235264 18693293 140734730823184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57266176 140734730828169 140734730828268 140734730828268 140734730833870 0
/proc/54814/statm: 103895 97338 3968 3530 0 95346 0
Current children cumulated CPU time: 3580.13 s
Current children cumulated vsize: 415580 KiB
Current children cumulated memory: 389352 KiB
[startup+3593.6 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 55076
/proc/meminfo: memFree=126911816/131249996 swapFree=33010684/33010684
[pid=54814] ppid=54808 vsize=415580 memory=389352 CPUtime=3583.32 cores=0,2
/proc/54814/stat : 54814 (pbscip) R 54808 54814 53986 0 -1 4194304 95788 0 0 0 358316 16 0 0 20 0 1 0 51285380 425553920 97338 18446744073709551615 4235264 18693293 140734730823184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57266176 140734730828169 140734730828268 140734730828268 140734730833870 0
/proc/54814/statm: 103895 97338 3968 3530 0 95346 0
Current children cumulated CPU time: 3583.32 s
Current children cumulated vsize: 415580 KiB
Current children cumulated memory: 389352 KiB
[startup+3595.2 s]
/proc/loadavg: 4.20 4.12 4.10 5/265 55076
/proc/meminfo: memFree=126911840/131249996 swapFree=33010684/33010684
[pid=54814] ppid=54808 vsize=415580 memory=389352 CPUtime=3584.91 cores=0,2
/proc/54814/stat : 54814 (pbscip) R 54808 54814 53986 0 -1 4194304 95788 0 0 0 358475 16 0 0 20 0 1 0 51285380 425553920 97338 18446744073709551615 4235264 18693293 140734730823184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57266176 140734730828169 140734730828268 140734730828268 140734730833870 0
/proc/54814/statm: 103895 97338 3968 3530 0 95346 0
Current children cumulated CPU time: 3584.91 s
Current children cumulated vsize: 415580 KiB
Current children cumulated memory: 389352 KiB
[startup+3596 s]*
/proc/loadavg: 4.20 4.12 4.10 6/265 55076
/proc/meminfo: memFree=126911840/131249996 swapFree=33010684/33010684
[pid=54814] ppid=54808 vsize=415580 memory=389352 CPUtime=3585.72 cores=0,2
/proc/54814/stat : 54814 (pbscip) R 54808 54814 53986 0 -1 4194304 95788 0 0 0 358556 16 0 0 20 0 1 0 51285380 425553920 97338 18446744073709551615 4235264 18693293 140734730823184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57266176 140734730828169 140734730828268 140734730828268 140734730833870 0
/proc/54814/statm: 103895 97338 3968 3530 0 95346 0
Current children cumulated CPU time: 3585.72 s
Current children cumulated vsize: 415580 KiB
Current children cumulated memory: 389352 KiB
[startup+3596.8 s]
/proc/loadavg: 4.20 4.12 4.10 6/265 55076
/proc/meminfo: memFree=126911840/131249996 swapFree=33010684/33010684
[pid=54814] ppid=54808 vsize=415580 memory=389352 CPUtime=3586.51 cores=0,2
/proc/54814/stat : 54814 (pbscip) R 54808 54814 53986 0 -1 4194304 95788 0 0 0 358635 16 0 0 20 0 1 0 51285380 425553920 97338 18446744073709551615 4235264 18693293 140734730823184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57266176 140734730828169 140734730828268 140734730828268 140734730833870 0
/proc/54814/statm: 103895 97338 3968 3530 0 95346 0
Current children cumulated CPU time: 3586.51 s
Current children cumulated vsize: 415580 KiB
Current children cumulated memory: 389352 KiB
[startup+3597 s]*
/proc/loadavg: 4.20 4.12 4.10 5/265 55076
/proc/meminfo: memFree=126911840/131249996 swapFree=33010684/33010684
[pid=54814] ppid=54808 vsize=415580 memory=389352 CPUtime=3586.71 cores=0,2
/proc/54814/stat : 54814 (pbscip) R 54808 54814 53986 0 -1 4194304 95788 0 0 0 358655 16 0 0 20 0 1 0 51285380 425553920 97338 18446744073709551615 4235264 18693293 140734730823184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57266176 140734730828169 140734730828268 140734730828268 140734730833870 0
/proc/54814/statm: 103895 97338 3968 3530 0 95346 0
Current children cumulated CPU time: 3586.71 s
Current children cumulated vsize: 415580 KiB
Current children cumulated memory: 389352 KiB
[startup+3597.1 s]
/proc/loadavg: 4.20 4.12 4.10 5/265 55076
/proc/meminfo: memFree=126911840/131249996 swapFree=33010684/33010684
[pid=54814] ppid=54808 vsize=412496 memory=386324 CPUtime=3586.82 cores=0,2
/proc/54814/stat : 54814 (pbscip) R 54808 54814 53986 0 -1 4194304 95788 0 0 0 358666 16 0 0 20 0 1 0 51285380 422395904 96581 18446744073709551615 4235264 18693293 140734730823184 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57266176 140734730828169 140734730828268 140734730828268 140734730833870 0
/proc/54814/statm: 103124 96581 3968 3530 0 94575 0
Current children cumulated CPU time: 3586.82 s
Current children cumulated vsize: 412496 KiB
Current children cumulated memory: 386324 KiB
Child status: 0
Real time (s): 3597.16
CPU time (s): 3586.87
CPU user time (s): 3586.71
CPU system time (s): 0.16844
CPU usage (%): 99.7142
Max. virtual memory (cumulated for all children) (KiB): 415580
Max. memory (cumulated for all children) (KiB): 389352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.71
system time used= 0.16844
maximum resident set size= 389352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95802
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= 114
involuntary context switches= 8211
# summary of solver processes directly reported to runsolver:
# pid: 54814
# total CPU time (s): 3586.87
# total CPU user time (s): 3586.71
# total CPU system time (s): 0.16844
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.2371 second user time and 14.075 second system time
The end
Begin job on nodeC024 at 2025-07-01 09:47:55 IDJOB=4489240 IDBENCH=147543 IDSOLVER=3365 FILE ID=nodeC024/4489240-1751356075 RUNJOBID= nodeC024-1751348876-53996 SLURM_JOB_ID= 9598123 Free space on /tmp= 432960 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489240-1751356075/watcher-4489240-1751356075 -o /tmp/evaluation-result-4489240-1751356075/solver-4489240-1751356075 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751348876-53996 --watchdog 3760 pbscip -f HOME/instance-4489240-1751356075.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 79a11fcf881101c51e0b67ee01609c80 RANDOM SEED=955077253 nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3596.736 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 0xb00002a cpu MHz : 3599.672 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 0xb00002a cpu MHz : 3599.650 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 0xb00002a cpu MHz : 3595.987 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 0xb00002a cpu MHz : 3599.675 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 0xb00002a cpu MHz : 3599.688 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 0xb00002a cpu MHz : 3600.417 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 0xb00002a cpu MHz : 3599.687 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 128104764 kB MemAvailable: 129484064 kB Buffers: 3280 kB Cached: 2172656 kB SwapCached: 0 kB Active: 619168 kB Inactive: 1916168 kB Active(anon): 377468 kB Inactive(anon): 0 kB Active(file): 241700 kB Inactive(file): 1916168 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 37120 kB Writeback: 0 kB AnonPages: 362916 kB Mapped: 116096 kB Shmem: 18064 kB KReclaimable: 120944 kB Slab: 209196 kB SReclaimable: 120944 kB SUnreclaim: 88252 kB KernelStack: 4128 kB PageTables: 3528 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 661100 kB VmallocTotal: 34359738367 kB VmallocUsed: 150472 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 284672 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 195284 kB DirectMap2M: 6916096 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 432904 MiB End job on nodeC024 at 2025-07-01 10:47:52