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 | 3587.64 | 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 | 3558 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 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.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4432635-1721080479.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.01
0.00/0.02 o 470
0.00/0.02 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 4.700000e+02
0.00/0.02 c presolving:
0.00/0.02 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 16 chg sides, 100 chg coeffs, 0 upgd conss, 0 impls, 112 clqs
0.00/0.03 c (0.0s) running MILP presolver
0.00/0.03 c (0.0s) MILP presolver found nothing
0.00/0.04 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.04 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.05 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.05 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.05 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.05 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.06 c (0.1s) probing: 51/470 (10.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.06 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.07 c (0.1s) no symmetry present (symcode time: 0.00)
0.00/0.07 c presolving (8 rounds: 8 fast, 4 medium, 3 exhaustive):
0.00/0.07 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.07 c 0 implications, 113 cliques
0.00/0.07 c presolved problem has 470 variables (470 bin, 0 int, 0 impl, 0 cont) and 554 constraints
0.00/0.07 c 426 constraints of type <knapsack>
0.00/0.07 c 110 constraints of type <setppc>
0.00/0.07 c 18 constraints of type <logicor>
0.00/0.07 c transformed objective value is always integral (scale: 1)
0.00/0.07 c Presolving Time: 0.06
0.00/0.07 c - non default parameters ----------------------------------------------------------------------
0.00/0.07 c # SCIP version 10.0.0
0.00/0.07 c
0.00/0.07 c # maximal time in seconds to run
0.00/0.07 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.07 c limits/time = 3596.994094
0.00/0.07 c
0.00/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.07 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.07 c limits/memory = 27900
0.00/0.07 c
0.00/0.07 c # belongs reading time to solving time?
0.00/0.07 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.07 c timing/reading = TRUE
0.00/0.07 c
0.00/0.07 c -----------------------------------------------------------------------------------------------
0.00/0.07 c start solving
0.00/0.07 c transformed 1/1 original solutions to the transformed problem space
0.00/0.07 c
0.00/0.08 o 227
0.00/0.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.08 c p 0.1s| 1 | 0 | 0 | - | locks| 0 | 470 | 554 | 554 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.270000e+02 | Inf | unknown
0.00/0.08 o 207
0.00/0.08 c i 0.1s| 1 | 0 | 0 | - | oneopt| 0 | 470 | 554 | 554 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.070000e+02 | Inf | unknown
0.68/0.74 c 0.7s| 1 | 0 | 9645 | - | 7604k | 0 | 470 | 554 | 554 | 0 | 0 | 0 | 0 | 1.490466e+02 | 2.070000e+02 | 38.88%| unknown
0.78/0.88 c 0.9s| 1 | 0 | 10296 | - | 25M | 0 | 470 | 554 | 616 | 62 | 1 | 0 | 0 | 1.534159e+02 | 2.070000e+02 | 34.93%| unknown
0.99/1.01 c 1.0s| 1 | 0 | 10923 | - | 38M | 0 | 470 | 554 | 671 | 117 | 2 | 0 | 0 | 1.562638e+02 | 2.070000e+02 | 32.47%| unknown
1.09/1.15 c 1.1s| 1 | 0 | 11566 | - | 51M | 0 | 470 | 554 | 721 | 167 | 3 | 0 | 0 | 1.580178e+02 | 2.070000e+02 | 31.00%| unknown
1.19/1.28 c 1.3s| 1 | 0 | 12069 | - | 63M | 0 | 470 | 554 | 771 | 217 | 4 | 0 | 0 | 1.589783e+02 | 2.070000e+02 | 30.21%| unknown
1.38/1.40 c 1.4s| 1 | 0 | 12602 | - | 72M | 0 | 470 | 554 | 819 | 265 | 5 | 0 | 0 | 1.599324e+02 | 2.070000e+02 | 29.43%| unknown
1.49/1.53 c 1.5s| 1 | 0 | 13036 | - | 84M | 0 | 470 | 554 | 869 | 315 | 6 | 0 | 0 | 1.605789e+02 | 2.070000e+02 | 28.91%| unknown
1.58/1.64 c 1.6s| 1 | 0 | 13409 | - | 101M | 0 | 470 | 554 | 915 | 361 | 7 | 0 | 0 | 1.609377e+02 | 2.070000e+02 | 28.62%| unknown
1.68/1.74 c 1.7s| 1 | 0 | 13742 | - | 103M | 0 | 470 | 554 | 950 | 396 | 8 | 0 | 0 | 1.612207e+02 | 2.070000e+02 | 28.40%| unknown
1.78/1.87 c 1.9s| 1 | 0 | 14178 | - | 119M | 0 | 470 | 554 | 994 | 440 | 9 | 0 | 0 | 1.617554e+02 | 2.070000e+02 | 27.97%| unknown
1.88/1.97 c 2.0s| 1 | 0 | 14421 | - | 138M | 0 | 470 | 554 |1020 | 466 | 10 | 0 | 0 | 1.618871e+02 | 2.070000e+02 | 27.87%| unknown
1.99/2.03 c 2.0s| 1 | 0 | 14686 | - | 138M | 0 | 470 | 554 |1048 | 495 | 11 | 0 | 0 | 1.620416e+02 | 2.070000e+02 | 27.74%| unknown
1.99/2.09 c 2.1s| 1 | 0 | 14889 | - | 138M | 0 | 470 | 554 |1080 | 527 | 12 | 0 | 0 | 1.621648e+02 | 2.070000e+02 | 27.65%| unknown
2.09/2.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.09/2.14 c 2.1s| 1 | 0 | 15105 | - | 138M | 0 | 470 | 554 |1101 | 548 | 13 | 0 | 0 | 1.622667e+02 | 2.070000e+02 | 27.57%| unknown
2.09/2.19 c 2.2s| 1 | 0 | 15247 | - | 138M | 0 | 470 | 554 |1117 | 564 | 14 | 0 | 0 | 1.623072e+02 | 2.070000e+02 | 27.54%| unknown
2.18/2.24 c 2.2s| 1 | 0 | 15373 | - | 138M | 0 | 470 | 554 |1134 | 581 | 15 | 0 | 0 | 1.623654e+02 | 2.070000e+02 | 27.49%| unknown
2.18/2.28 c 2.3s| 1 | 0 | 15460 | - | 139M | 0 | 470 | 554 |1145 | 592 | 16 | 0 | 0 | 1.623806e+02 | 2.070000e+02 | 27.48%| unknown
2.28/2.32 c 2.3s| 1 | 0 | 15538 | - | 139M | 0 | 470 | 554 |1094 | 601 | 17 | 0 | 0 | 1.623914e+02 | 2.070000e+02 | 27.47%| unknown
2.28/2.35 c 2.3s| 1 | 0 | 15574 | - | 139M | 0 | 470 | 554 |1101 | 608 | 18 | 0 | 0 | 1.623953e+02 | 2.070000e+02 | 27.47%| unknown
2.28/2.39 c 2.4s| 1 | 0 | 15583 | - | 139M | 0 | 470 | 554 |1103 | 610 | 19 | 0 | 0 | 1.623957e+02 | 2.070000e+02 | 27.47%| unknown
3.27/3.33 c 3.3s| 1 | 2 | 15585 | - | 139M | 0 | 470 | 554 |1103 | 610 | 20 | 0 | 19 | 1.626535e+02 | 2.070000e+02 | 27.26%| unknown
13.46/13.52 o 205
13.46/13.52 c d13.5s| 23 | 24 | 24304 | 396.4 |pscostdi| 22 | 470 | 554 |1067 | 0 | 1 | 0 | 325 | 1.627993e+02 | 2.050000e+02 | 25.92%| unknown
13.46/13.52 o 203
13.46/13.52 c d13.5s| 23 | 24 | 24313 | 396.8 |pscostdi| 22 | 470 | 554 |1067 | 0 | 1 | 0 | 325 | 1.627993e+02 | 2.030000e+02 | 24.69%| unknown
13.46/13.52 o 201
13.46/13.52 c d13.5s| 23 | 24 | 24323 | 397.3 |pscostdi| 22 | 470 | 554 |1067 | 0 | 1 | 0 | 325 | 1.627993e+02 | 2.010000e+02 | 23.46%| unknown
13.46/13.52 o 200
13.46/13.52 c d13.5s| 23 | 24 | 24337 | 397.9 |pscostdi| 22 | 470 | 554 |1067 | 0 | 1 | 0 | 325 | 1.627993e+02 | 2.000000e+02 | 22.85%| unknown
19.64/19.74 c 19.7s| 100 | 101 | 72796 | 577.9 | 237M | 22 | 470 | 554 |1015 |1669 | 1 | 0 | 362 | 1.627993e+02 | 2.000000e+02 | 22.85%| unknown
21.63/21.70 o 199
21.63/21.70 c d21.7s| 142 | 143 | 90445 | 530.9 |adaptive| 32 | 470 | 554 |1124 | 0 | 1 | 0 | 372 | 1.627993e+02 | 1.990000e+02 | 22.24%| unknown
21.63/21.70 o 195
21.63/21.70 c d21.7s| 142 | 143 | 90449 | 531.0 |adaptive| 32 | 470 | 554 |1124 | 0 | 1 | 0 | 372 | 1.627993e+02 | 1.950000e+02 | 19.78%| unknown
24.32/24.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
24.32/24.46 c 24.5s| 200 | 201 |114055 | 494.8 | 232M | 33 | 470 | 554 |1076 |2428 | 1 | 1 | 393 | 1.627993e+02 | 1.950000e+02 | 19.78%| unknown
30.81/30.93 c 30.9s| 300 | 301 |181394 | 554.6 | 232M | 33 | 470 | 554 |1095 |3159 | 1 | 8 | 432 | 1.627993e+02 | 1.950000e+02 | 19.78%| unknown
31.31/31.47 c d31.5s| 305 | 306 |185322 | 558.4 |pscostdi| 33 | 470 | 554 |1091 | 0 | 1 | 8 | 441 | 1.627993e+02 | 1.950000e+02 | 19.78%| unknown
31.41/31.51 o 194
31.41/31.51 c i31.5s| 306 | 307 |185662 | 557.6 | oneopt| 33 | 470 | 554 |1079 |3159 | 1 | 8 | 441 | 1.627993e+02 | 1.940000e+02 | 19.17%| unknown
42.58/42.77 c 42.8s| 400 | 401 |305632 | 726.9 | 234M | 33 | 470 | 554 |1047 |3917 | 1 | 17 | 485 | 1.627993e+02 | 1.940000e+02 | 19.17%| unknown
57.95/58.18 c 58.2s| 500 | 501 |464458 | 899.5 | 237M | 36 | 470 | 554 |1126 |4539 | 1 | 25 | 531 | 1.627993e+02 | 1.940000e+02 | 19.17%| unknown
59.03/59.27 o 190
59.03/59.27 c L59.3s| 506 | 507 |472505 | 904.8 |crossove| 36 | 470 | 554 |1050 |4635 | 1 | 25 | 534 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
72.10/72.33 c 72.3s| 600 | 601 |605884 | 985.5 | 242M | 36 | 470 | 560 |1143 |5374 | 4 | 38 | 568 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
84.25/84.50 c 84.5s| 700 | 701 |753738 |1056.0 | 243M | 36 | 470 | 560 |1127 |5890 | 1 | 50 | 580 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
95.74/96.07 c 96.1s| 800 | 801 |898673 |1105.2 | 243M | 37 | 470 | 561 |1122 |6611 | 1 | 58 | 583 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
109.50/109.86 c 110s| 900 | 901 | 1061k|1163.4 | 244M | 37 | 470 | 564 |1096 |7249 | 1 | 72 | 610 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
118.87/119.26 c 119s| 1000 | 1001 | 1174k|1160.1 | 244M | 37 | 470 | 571 |1092 |7699 | 1 | 82 | 639 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
122.27/122.60 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
122.37/122.78 c (run 1, node 1049) performing user restart
122.37/122.78 c
122.37/122.78 c (restart) converted 338 cuts from the global cut pool into linear constraints
122.37/122.78 c
122.46/122.81 c presolving:
122.46/122.81 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
122.46/122.81 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
122.46/122.81 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
122.46/122.81 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
122.46/122.81 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
122.46/122.82 c presolving (6 rounds: 6 fast, 4 medium, 3 exhaustive):
122.46/122.82 c 0 deleted vars, 3 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 6 changed sides, 20 changed coefficients
122.46/122.82 c 0 implications, 113 cliques
122.46/122.82 c presolved problem has 470 variables (470 bin, 0 int, 0 impl, 0 cont) and 906 constraints
122.46/122.82 c 645 constraints of type <knapsack>
122.46/122.82 c 110 constraints of type <setppc>
122.46/122.82 c 151 constraints of type <logicor>
122.46/122.82 c transformed objective value is always integral (scale: 1)
122.46/122.82 c Presolving Time: 0.07
122.46/122.83 c transformed 77/100 original solutions to the transformed problem space
122.46/122.83 c
123.56/123.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
123.56/123.96 c 124s| 1 | 0 | 1224k| - | 221M | 0 | 470 | 906 | 889 | 0 | 0 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
123.77/124.14 c 124s| 1 | 0 | 1225k| - | 221M | 0 | 470 | 906 | 930 | 41 | 1 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
123.86/124.25 c 124s| 1 | 0 | 1225k| - | 223M | 0 | 470 | 906 | 965 | 76 | 2 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
123.96/124.34 c 124s| 1 | 0 | 1226k| - | 220M | 0 | 470 | 906 | 986 | 97 | 3 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
124.06/124.44 c 124s| 1 | 0 | 1226k| - | 226M | 0 | 470 | 906 |1000 | 111 | 4 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
124.16/124.54 c 125s| 1 | 0 | 1226k| - | 230M | 0 | 470 | 906 |1015 | 126 | 5 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
124.26/124.64 c 125s| 1 | 0 | 1226k| - | 233M | 0 | 470 | 906 |1023 | 134 | 6 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
124.36/124.76 c 125s| 1 | 0 | 1226k| - | 230M | 0 | 470 | 906 |1033 | 144 | 7 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
124.46/124.88 c 125s| 1 | 0 | 1227k| - | 232M | 0 | 470 | 906 |1039 | 150 | 8 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
124.67/125.01 c 125s| 1 | 0 | 1227k| - | 230M | 0 | 470 | 906 |1048 | 159 | 9 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
124.77/125.14 c 125s| 1 | 0 | 1227k| - | 234M | 0 | 470 | 906 |1054 | 165 | 10 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
124.86/125.20 c 125s| 1 | 0 | 1227k| - | 234M | 0 | 470 | 906 |1059 | 170 | 11 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
124.86/125.28 c 125s| 1 | 0 | 1227k| - | 234M | 0 | 470 | 906 |1064 | 175 | 12 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
124.96/125.35 c 125s| 1 | 0 | 1227k| - | 234M | 0 | 470 | 906 |1067 | 178 | 13 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
125.06/125.42 c 125s| 1 | 0 | 1227k| - | 234M | 0 | 470 | 906 |1069 | 180 | 14 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
125.16/125.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
125.16/125.50 c 125s| 1 | 0 | 1227k| - | 235M | 0 | 470 | 906 | 987 | 181 | 15 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
125.16/125.58 c 126s| 1 | 0 | 1227k| - | 235M | 0 | 470 | 906 | 989 | 183 | 16 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
125.26/125.67 c 126s| 1 | 0 | 1227k| - | 235M | 0 | 470 | 906 | 992 | 186 | 17 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
125.36/125.76 c 126s| 1 | 0 | 1227k| - | 235M | 0 | 470 | 906 | 993 | 187 | 18 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
125.46/125.85 c 126s| 1 | 0 | 1227k| - | 235M | 0 | 470 | 906 | 995 | 189 | 19 | 84 | 651 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
126.16/126.55 c 127s| 1 | 2 | 1233k| - | 235M | 0 | 470 | 906 | 995 | 189 | 19 | 84 | 652 | 1.627993e+02 | 1.900000e+02 | 16.71%| unknown
147.31/147.73 c 148s| 100 | 101 | 1371k|1171.3 | 260M | 38 | 470 | 906 | 982 | 541 | 1 | 85 | 818 | 1.629746e+02 | 1.900000e+02 | 16.58%| unknown
154.38/154.83 c 155s| 200 | 201 | 1432k|1125.9 | 253M | 63 | 470 | 906 |1028 | 648 | 1 | 90 | 851 | 1.632629e+02 | 1.900000e+02 | 16.38%| unknown
165.57/166.02 c 166s| 300 | 301 | 1509k|1099.8 | 254M | 93 | 470 | 908 | 958 |1037 | 1 | 95 | 894 | 1.634941e+02 | 1.900000e+02 | 16.21%| unknown
180.22/180.74 c 181s| 400 | 401 | 1605k|1090.2 | 255M | 93 | 470 | 908 | 972 |1630 | 1 | 101 | 941 | 1.636944e+02 | 1.900000e+02 | 16.07%| unknown
194.08/194.64 c 195s| 500 | 501 | 1699k|1080.6 | 258M | 93 | 470 | 908 | 979 |2148 | 1 | 107 | 984 | 1.639268e+02 | 1.900000e+02 | 15.91%| unknown
208.35/208.92 c 209s| 600 | 601 | 1791k|1070.6 | 260M | 93 | 470 | 908 | 992 |2793 | 1 | 111 |1031 | 1.640448e+02 | 1.900000e+02 | 15.82%| unknown
220.82/221.49 c 221s| 700 | 701 | 1879k|1059.7 | 261M | 93 | 470 | 908 | 986 |3315 | 1 | 119 |1058 | 1.641446e+02 | 1.900000e+02 | 15.75%| unknown
233.20/233.80 c 234s| 800 | 801 | 1976k|1055.1 | 262M | 93 | 470 | 908 | 988 |3871 | 1 | 121 |1072 | 1.641893e+02 | 1.900000e+02 | 15.72%| unknown
243.77/244.45 c 244s| 900 | 901 | 2061k|1044.7 | 262M | 93 | 470 | 908 | 996 |4498 | 1 | 124 |1083 | 1.642567e+02 | 1.900000e+02 | 15.67%| unknown
255.46/256.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
255.46/256.19 c 256s| 1000 | 1001 | 2149k|1036.4 | 262M | 93 | 470 | 908 | 978 |5076 | 1 | 125 |1091 | 1.643165e+02 | 1.900000e+02 | 15.63%| unknown
268.02/268.71 c 269s| 1100 | 1101 | 2249k|1034.8 | 263M | 93 | 470 | 908 | 980 |5704 | 1 | 133 |1096 | 1.643505e+02 | 1.900000e+02 | 15.61%| unknown
278.59/279.31 c 279s| 1200 | 1201 | 2335k|1027.1 | 263M | 93 | 470 | 908 | 977 |6278 | 1 | 139 |1098 | 1.643768e+02 | 1.900000e+02 | 15.59%| unknown
290.17/290.91 c 291s| 1300 | 1301 | 2426k|1021.8 | 263M | 93 | 470 | 908 |1006 |6978 | 1 | 145 |1105 | 1.644206e+02 | 1.900000e+02 | 15.56%| unknown
303.25/304.03 c 304s| 1400 | 1401 | 2520k|1018.8 | 265M | 93 | 470 | 909 |1002 |7580 | 1 | 151 |1132 | 1.644588e+02 | 1.900000e+02 | 15.53%| unknown
315.61/316.46 c 316s| 1500 | 1501 | 2605k|1011.9 | 265M | 93 | 470 | 909 | 974 |8251 | 1 | 154 |1154 | 1.644823e+02 | 1.900000e+02 | 15.51%| unknown
328.29/329.11 c 329s| 1600 | 1601 | 2706k|1012.1 | 265M | 93 | 470 | 909 | 993 |8902 | 1 | 158 |1161 | 1.645100e+02 | 1.900000e+02 | 15.49%| unknown
339.95/340.81 c 341s| 1700 | 1701 | 2799k|1008.9 | 266M | 93 | 470 | 909 | 984 |9478 | 1 | 161 |1165 | 1.645352e+02 | 1.900000e+02 | 15.48%| unknown
351.93/352.80 c 353s| 1800 | 1801 | 2890k|1005.4 | 304M | 93 | 470 | 906 |1002 | 10k| 1 | 167 |1167 | 1.645726e+02 | 1.900000e+02 | 15.45%| unknown
364.21/365.19 c 365s| 1900 | 1901 | 2983k|1003.0 | 306M | 93 | 470 | 904 |1002 | 10k| 1 | 168 |1173 | 1.646121e+02 | 1.900000e+02 | 15.42%| unknown
376.18/377.16 c 377s| 2000 | 2001 | 3081k|1002.2 | 306M | 93 | 470 | 904 |1026 | 11k| 1 | 173 |1174 | 1.646368e+02 | 1.900000e+02 | 15.41%| unknown
389.64/390.65 c 391s| 2100 | 2101 | 3181k|1002.0 | 306M | 93 | 470 | 901 | 983 | 12k| 1 | 176 |1188 | 1.646615e+02 | 1.900000e+02 | 15.39%| unknown
402.02/403.05 c 403s| 2200 | 2201 | 3275k|1000.3 | 306M | 93 | 470 | 901 |1010 | 12k| 1 | 177 |1208 | 1.646849e+02 | 1.900000e+02 | 15.37%| unknown
413.39/414.40 c 414s| 2300 | 2301 | 3367k| 997.7 | 307M | 93 | 470 | 900 |1001 | 13k| 1 | 181 |1213 | 1.647162e+02 | 1.900000e+02 | 15.35%| unknown
426.66/427.79 c 428s| 2400 | 2401 | 3464k| 996.9 | 307M | 93 | 470 | 900 |1020 | 14k| 1 | 186 |1221 | 1.647481e+02 | 1.900000e+02 | 15.33%| unknown
438.05/439.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
438.05/439.14 c 439s| 2500 | 2501 | 3552k| 993.7 | 310M | 93 | 470 | 896 |1009 | 15k| 1 | 197 |1226 | 1.647710e+02 | 1.900000e+02 | 15.31%| unknown
449.61/450.75 c 451s| 2600 | 2601 | 3644k| 991.7 | 317M | 93 | 470 | 897 | 998 | 15k| 1 | 198 |1227 | 1.648088e+02 | 1.900000e+02 | 15.29%| unknown
461.48/462.63 c 463s| 2700 | 2701 | 3739k| 990.5 | 318M | 93 | 470 | 897 | 993 | 16k| 1 | 203 |1228 | 1.648201e+02 | 1.900000e+02 | 15.28%| unknown
472.46/473.63 c 474s| 2800 | 2801 | 3829k| 988.1 | 318M | 93 | 470 | 895 |1045 | 17k| 4 | 208 |1232 | 1.648494e+02 | 1.900000e+02 | 15.26%| unknown
483.33/484.56 c 485s| 2900 | 2901 | 3915k| 985.1 | 319M | 93 | 470 | 895 |1019 | 17k| 1 | 213 |1253 | 1.648824e+02 | 1.900000e+02 | 15.23%| unknown
495.00/496.20 c 496s| 3000 | 3001 | 4007k| 983.4 | 319M | 93 | 470 | 895 |1005 | 18k| 1 | 218 |1273 | 1.648990e+02 | 1.900000e+02 | 15.22%| unknown
506.48/507.78 c 508s| 3100 | 3101 | 4103k| 982.9 | 319M | 93 | 470 | 896 | 999 | 19k| 1 | 220 |1281 | 1.649150e+02 | 1.900000e+02 | 15.21%| unknown
517.76/519.09 c 519s| 3200 | 3201 | 4200k| 982.6 | 319M | 93 | 470 | 896 |1067 | 19k| 4 | 223 |1289 | 1.649271e+02 | 1.900000e+02 | 15.20%| unknown
528.13/529.49 c 529s| 3300 | 3301 | 4292k| 981.0 | 320M | 93 | 470 | 895 |1021 | 20k| 1 | 227 |1290 | 1.649453e+02 | 1.900000e+02 | 15.19%| unknown
540.60/541.94 c 542s| 3400 | 3401 | 4387k| 980.4 | 320M | 93 | 470 | 896 | 995 | 21k| 1 | 234 |1295 | 1.649518e+02 | 1.900000e+02 | 15.19%| unknown
549.69/551.01 c 551s| 3500 | 3501 | 4476k| 978.4 | 320M | 93 | 470 | 896 |1015 | 22k| 1 | 235 |1296 | 1.649856e+02 | 1.900000e+02 | 15.16%| unknown
561.25/562.62 c 563s| 3600 | 3601 | 4571k| 977.8 | 320M | 93 | 470 | 895 | 984 | 22k| 1 | 239 |1296 | 1.649966e+02 | 1.900000e+02 | 15.15%| unknown
570.93/572.33 c 572s| 3700 | 3701 | 4670k| 978.0 | 320M | 93 | 470 | 895 | 993 | 23k| 1 | 241 |1296 | 1.650190e+02 | 1.900000e+02 | 15.14%| unknown
581.90/583.38 c 583s| 3800 | 3801 | 4761k| 976.6 | 320M | 93 | 470 | 895 |1006 | 24k| 1 | 244 |1299 | 1.650425e+02 | 1.900000e+02 | 15.12%| unknown
592.48/593.98 c 594s| 3900 | 3901 | 4854k| 975.7 | 321M | 93 | 470 | 895 |1021 | 24k| 1 | 250 |1300 | 1.650561e+02 | 1.900000e+02 | 15.11%| unknown
603.35/604.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
603.35/604.80 c 605s| 4000 | 4001 | 4941k| 973.6 | 321M | 93 | 470 | 894 |1055 | 25k| 4 | 254 |1301 | 1.650653e+02 | 1.900000e+02 | 15.11%| unknown
613.64/615.17 c 615s| 4100 | 4101 | 5033k| 972.6 | 321M | 93 | 470 | 894 |1017 | 26k| 1 | 259 |1302 | 1.650856e+02 | 1.900000e+02 | 15.09%| unknown
622.41/623.96 c 624s| 4200 | 4201 | 5121k| 970.7 | 321M | 93 | 470 | 894 |1032 | 26k| 1 | 260 |1310 | 1.650938e+02 | 1.900000e+02 | 15.09%| unknown
632.60/634.19 c 634s| 4300 | 4301 | 5208k| 968.9 | 321M | 93 | 470 | 894 |1064 | 27k| 5 | 267 |1321 | 1.651050e+02 | 1.900000e+02 | 15.08%| unknown
644.06/645.61 c 646s| 4400 | 4401 | 5306k| 969.1 | 321M | 93 | 470 | 894 | 990 | 28k| 1 | 269 |1325 | 1.651167e+02 | 1.900000e+02 | 15.07%| unknown
651.64/653.24 c 653s| 4500 | 4501 | 5393k| 967.4 | 322M | 93 | 470 | 894 |1069 | 28k| 5 | 271 |1327 | 1.651352e+02 | 1.900000e+02 | 15.06%| unknown
661.72/663.31 c 663s| 4600 | 4601 | 5488k| 967.0 | 322M | 93 | 470 | 894 |1027 | 29k| 1 | 276 |1331 | 1.651482e+02 | 1.900000e+02 | 15.05%| unknown
670.60/672.22 c 672s| 4700 | 4701 | 5576k| 965.5 | 322M | 93 | 470 | 899 |1017 | 30k| 1 | 285 |1334 | 1.651616e+02 | 1.900000e+02 | 15.04%| unknown
679.58/681.22 c 681s| 4800 | 4801 | 5663k| 963.8 | 322M | 93 | 470 | 898 |1014 | 30k| 1 | 289 |1339 | 1.651733e+02 | 1.900000e+02 | 15.03%| unknown
688.56/690.21 c 690s| 4900 | 4901 | 5752k| 962.6 | 322M | 93 | 470 | 898 |1042 | 31k| 1 | 291 |1341 | 1.651819e+02 | 1.900000e+02 | 15.02%| unknown
699.34/701.05 c 701s| 5000 | 5001 | 5849k| 962.8 | 322M | 93 | 470 | 901 |1028 | 32k| 1 | 295 |1341 | 1.651870e+02 | 1.900000e+02 | 15.02%| unknown
709.51/711.27 c 711s| 5100 | 5101 | 5942k| 962.2 | 322M | 93 | 470 | 903 |1063 | 32k| 4 | 299 |1353 | 1.651934e+02 | 1.900000e+02 | 15.02%| unknown
720.40/722.16 c 722s| 5200 | 5201 | 6046k| 963.5 | 323M | 93 | 470 | 903 |1018 | 33k| 1 | 303 |1361 | 1.652016e+02 | 1.900000e+02 | 15.01%| unknown
729.16/730.92 c 731s| 5300 | 5301 | 6135k| 962.2 | 323M | 93 | 470 | 903 |1027 | 34k| 1 | 303 |1367 | 1.652169e+02 | 1.900000e+02 | 15.00%| unknown
740.04/741.88 c 742s| 5400 | 5401 | 6228k| 961.8 | 323M | 93 | 470 | 902 |1018 | 34k| 1 | 306 |1371 | 1.652264e+02 | 1.900000e+02 | 14.99%| unknown
749.62/751.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
749.62/751.47 c 751s| 5500 | 5501 | 6321k| 961.2 | 323M | 93 | 470 | 902 |1019 | 35k| 1 | 311 |1373 | 1.652323e+02 | 1.900000e+02 | 14.99%| unknown
757.40/759.24 c 759s| 5600 | 5601 | 6407k| 959.8 | 323M | 93 | 470 | 902 |1001 | 36k| 1 | 313 |1376 | 1.652401e+02 | 1.900000e+02 | 14.98%| unknown
766.48/768.37 c 768s| 5700 | 5701 | 6498k| 959.1 | 323M | 93 | 470 | 902 |1014 | 36k| 1 | 321 |1377 | 1.652630e+02 | 1.900000e+02 | 14.97%| unknown
776.56/778.47 c 778s| 5800 | 5801 | 6609k| 961.3 | 323M | 93 | 470 | 902 |1048 | 37k| 1 | 325 |1377 | 1.652748e+02 | 1.900000e+02 | 14.96%| unknown
785.34/787.23 c 787s| 5900 | 5901 | 6702k| 960.8 | 324M | 93 | 470 | 901 |1001 | 38k| 1 | 331 |1377 | 1.652866e+02 | 1.900000e+02 | 14.95%| unknown
794.81/796.75 c 797s| 6000 | 6001 | 6794k| 960.2 | 324M | 93 | 470 | 900 |1003 | 38k| 1 | 335 |1385 | 1.652929e+02 | 1.900000e+02 | 14.95%| unknown
803.00/804.91 c 805s| 6100 | 6101 | 6883k| 959.2 | 324M | 93 | 470 | 900 |1045 | 39k| 1 | 339 |1397 | 1.652986e+02 | 1.900000e+02 | 14.94%| unknown
811.88/813.80 c 814s| 6200 | 6201 | 6967k| 957.6 | 324M | 93 | 470 | 900 |1003 | 39k| 1 | 344 |1403 | 1.653070e+02 | 1.900000e+02 | 14.94%| unknown
821.95/823.91 c 824s| 6300 | 6301 | 7093k| 961.7 | 324M | 93 | 470 | 900 |1046 | 40k| 1 | 345 |1407 | 1.653192e+02 | 1.900000e+02 | 14.93%| unknown
830.93/832.96 c 833s| 6400 | 6401 | 7182k| 960.7 | 325M | 93 | 470 | 900 |1030 | 41k| 1 | 349 |1409 | 1.653243e+02 | 1.900000e+02 | 14.93%| unknown
841.51/843.51 c 844s| 6500 | 6501 | 7300k| 963.7 | 325M | 93 | 470 | 900 |1033 | 41k| 1 | 350 |1409 | 1.653325e+02 | 1.900000e+02 | 14.92%| unknown
849.79/851.82 c 852s| 6600 | 6601 | 7401k| 964.3 | 325M | 93 | 470 | 900 |1003 | 42k| 1 | 351 |1412 | 1.653408e+02 | 1.900000e+02 | 14.91%| unknown
857.77/859.86 c 860s| 6700 | 6701 | 7483k| 962.4 | 325M | 93 | 470 | 900 |1019 | 42k| 1 | 356 |1415 | 1.653457e+02 | 1.900000e+02 | 14.91%| unknown
866.75/868.89 c 869s| 6800 | 6801 | 7582k| 962.7 | 325M | 93 | 470 | 900 |1045 | 43k| 1 | 359 |1417 | 1.653544e+02 | 1.900000e+02 | 14.90%| unknown
875.94/878.09 c 878s| 6900 | 6901 | 7685k| 963.6 | 325M | 93 | 470 | 900 |1049 | 44k| 1 | 364 |1417 | 1.653667e+02 | 1.900000e+02 | 14.90%| unknown
883.71/885.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
883.71/885.89 c 886s| 7000 | 7001 | 7768k| 962.0 | 325M | 93 | 470 | 900 |1072 | 44k| 5 | 364 |1424 | 1.653722e+02 | 1.900000e+02 | 14.89%| unknown
892.39/894.50 c 894s| 7100 | 7101 | 7862k| 961.7 | 325M | 93 | 470 | 900 |1057 | 45k| 1 | 368 |1430 | 1.653786e+02 | 1.900000e+02 | 14.89%| unknown
900.17/902.34 c 902s| 7200 | 7201 | 7944k| 960.0 | 325M | 93 | 470 | 900 |1058 | 45k| 1 | 371 |1436 | 1.653874e+02 | 1.900000e+02 | 14.88%| unknown
907.25/909.41 c 909s| 7300 | 7301 | 8029k| 958.6 | 325M | 93 | 470 | 900 |1049 | 46k| 1 | 372 |1438 | 1.653922e+02 | 1.900000e+02 | 14.88%| unknown
916.44/918.63 c 919s| 7400 | 7401 | 8114k| 957.4 | 325M | 93 | 470 | 900 |1009 | 47k| 1 | 377 |1444 | 1.654024e+02 | 1.900000e+02 | 14.87%| unknown
924.42/926.60 c 927s| 7500 | 7501 | 8201k| 956.3 | 326M | 93 | 470 | 898 |1017 | 47k| 1 | 379 |1447 | 1.654070e+02 | 1.900000e+02 | 14.87%| unknown
932.60/934.88 c 935s| 7600 | 7601 | 8292k| 955.7 | 326M | 93 | 470 | 898 |1018 | 48k| 1 | 384 |1450 | 1.654146e+02 | 1.900000e+02 | 14.86%| unknown
940.48/942.74 c 943s| 7700 | 7701 | 8379k| 954.8 | 326M | 93 | 470 | 898 |1027 | 48k| 1 | 385 |1450 | 1.654231e+02 | 1.900000e+02 | 14.86%| unknown
948.77/951.02 c 951s| 7800 | 7801 | 8468k| 954.1 | 327M | 93 | 470 | 898 |1059 | 49k| 1 | 387 |1451 | 1.654288e+02 | 1.900000e+02 | 14.85%| unknown
956.86/959.15 c 959s| 7900 | 7901 | 8559k| 953.6 | 327M | 93 | 470 | 898 |1037 | 49k| 1 | 387 |1454 | 1.654367e+02 | 1.900000e+02 | 14.85%| unknown
964.74/967.06 c 967s| 8000 | 8001 | 8645k| 952.5 | 327M | 93 | 470 | 898 |1007 | 50k| 1 | 387 |1456 | 1.654431e+02 | 1.900000e+02 | 14.84%| unknown
972.01/974.32 c 974s| 8100 | 8101 | 8724k| 950.8 | 327M | 93 | 470 | 898 |1046 | 50k| 3 | 388 |1466 | 1.654470e+02 | 1.900000e+02 | 14.84%| unknown
980.39/982.73 c 983s| 8200 | 8201 | 8808k| 949.6 | 327M | 93 | 470 | 898 |1066 | 51k| 1 | 397 |1474 | 1.654517e+02 | 1.900000e+02 | 14.84%| unknown
988.07/990.49 c 990s| 8300 | 8301 | 8886k| 947.8 | 327M | 93 | 470 | 898 |1015 | 52k| 1 | 400 |1477 | 1.654579e+02 | 1.900000e+02 | 14.83%| unknown
995.35/997.73 c 998s| 8400 | 8401 | 8973k| 946.9 | 327M | 93 | 470 | 898 |1049 | 52k| 1 | 406 |1483 | 1.654648e+02 | 1.900000e+02 | 14.83%| unknown
1004.53/1006.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1004.53/1006.99 c 1007s| 8500 | 8501 | 9075k| 947.7 | 327M | 93 | 470 | 898 |1034 | 53k| 1 | 409 |1488 | 1.654688e+02 | 1.900000e+02 | 14.83%| unknown
1012.22/1014.68 c 1015s| 8600 | 8601 | 9157k| 946.4 | 327M | 93 | 470 | 898 |1017 | 53k| 1 | 413 |1490 | 1.654755e+02 | 1.900000e+02 | 14.82%| unknown
1019.30/1021.74 c 1022s| 8700 | 8701 | 9237k| 944.9 | 327M | 93 | 470 | 898 |1045 | 54k| 1 | 417 |1490 | 1.654802e+02 | 1.900000e+02 | 14.82%| unknown
1026.78/1029.27 c 1029s| 8800 | 8801 | 9321k| 943.8 | 327M | 93 | 470 | 898 |1040 | 54k| 1 | 419 |1490 | 1.654852e+02 | 1.900000e+02 | 14.81%| unknown
1034.57/1037.03 c 1037s| 8900 | 8901 | 9405k| 942.8 | 328M | 93 | 470 | 898 |1003 | 55k| 1 | 419 |1491 | 1.654914e+02 | 1.900000e+02 | 14.81%| unknown
1042.94/1045.47 c 1045s| 9000 | 9001 | 9490k| 941.9 | 328M | 93 | 470 | 898 |1029 | 55k| 1 | 422 |1491 | 1.654987e+02 | 1.900000e+02 | 14.80%| unknown
1051.82/1054.30 c 1054s| 9100 | 9101 | 9576k| 941.0 | 329M | 93 | 470 | 897 |1001 | 56k| 1 | 424 |1493 | 1.655036e+02 | 1.900000e+02 | 14.80%| unknown
1057.41/1059.98 c 1060s| 9200 | 9201 | 9637k| 937.8 | 329M | 93 | 470 | 897 |1044 | 56k| 1 | 426 |1495 | 1.655058e+02 | 1.900000e+02 | 14.80%| unknown
1064.50/1067.07 c 1067s| 9300 | 9301 | 9712k| 935.9 | 329M | 93 | 470 | 897 |1047 | 57k| 1 | 428 |1506 | 1.655098e+02 | 1.900000e+02 | 14.80%| unknown
1071.28/1073.87 c 1074s| 9400 | 9401 | 9783k| 933.9 | 329M | 93 | 470 | 897 |1046 | 57k| 1 | 428 |1510 | 1.655145e+02 | 1.900000e+02 | 14.79%| unknown
1079.76/1082.31 c 1082s| 9500 | 9501 | 9869k| 933.1 | 329M | 93 | 470 | 897 |1051 | 58k| 1 | 430 |1516 | 1.655201e+02 | 1.900000e+02 | 14.79%| unknown
1085.56/1088.14 c 1088s| 9600 | 9601 | 9935k| 930.6 | 329M | 93 | 470 | 897 |1049 | 59k| 5 | 431 |1517 | 1.655234e+02 | 1.900000e+02 | 14.79%| unknown
1094.22/1096.80 c 1097s| 9700 | 9701 | 10039k| 931.6 | 329M | 93 | 470 | 897 |1028 | 59k| 1 | 434 |1517 | 1.655266e+02 | 1.900000e+02 | 14.79%| unknown
1100.52/1103.11 c 1103s| 9800 | 9801 | 10109k| 929.4 | 329M | 93 | 470 | 897 |1048 | 60k| 1 | 437 |1517 | 1.655314e+02 | 1.900000e+02 | 14.78%| unknown
1109.40/1112.09 c 1112s| 9900 | 9901 | 10195k| 928.8 | 329M | 93 | 470 | 897 |1028 | 60k| 1 | 440 |1522 | 1.655355e+02 | 1.900000e+02 | 14.78%| unknown
1116.67/1119.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1116.67/1119.30 c 1119s| 10000 | 10001 | 10269k| 927.1 | 330M | 93 | 470 | 897 |1065 | 61k| 1 | 447 |1525 | 1.655401e+02 | 1.900000e+02 | 14.78%| unknown
1122.86/1125.52 c 1126s| 10100 | 10101 | 10334k| 924.6 | 330M | 93 | 470 | 897 |1048 | 61k| 1 | 452 |1525 | 1.655436e+02 | 1.900000e+02 | 14.77%| unknown
1129.14/1131.82 c 1132s| 10200 | 10201 | 10403k| 922.5 | 330M | 93 | 470 | 897 |1060 | 62k| 1 | 456 |1526 | 1.655473e+02 | 1.900000e+02 | 14.77%| unknown
1137.02/1139.75 c 1140s| 10300 | 10301 | 10480k| 921.2 | 330M | 93 | 470 | 897 |1039 | 62k| 1 | 461 |1528 | 1.655511e+02 | 1.900000e+02 | 14.77%| unknown
1145.01/1147.72 c 1148s| 10400 | 10401 | 10562k| 920.3 | 330M | 93 | 470 | 897 |1051 | 63k| 1 | 463 |1536 | 1.655551e+02 | 1.900000e+02 | 14.77%| unknown
1152.99/1155.73 c 1156s| 10500 | 10501 | 10636k| 918.8 | 330M | 93 | 470 | 897 |1006 | 63k| 1 | 463 |1550 | 1.655588e+02 | 1.900000e+02 | 14.76%| unknown
1162.46/1165.25 c 1165s| 10600 | 10601 | 10722k| 918.3 | 330M | 93 | 470 | 897 | 997 | 64k| 1 | 469 |1557 | 1.655620e+02 | 1.900000e+02 | 14.76%| unknown
1170.05/1172.88 c 1173s| 10700 | 10701 | 10801k| 917.1 | 330M | 93 | 470 | 897 |1053 | 65k| 1 | 475 |1563 | 1.655662e+02 | 1.900000e+02 | 14.76%| unknown
1176.73/1179.51 c 1180s| 10800 | 10801 | 10873k| 915.5 | 330M | 93 | 470 | 897 |1052 | 65k| 1 | 477 |1567 | 1.655706e+02 | 1.900000e+02 | 14.75%| unknown
1182.42/1185.26 c 1185s| 10900 | 10901 | 10941k| 913.5 | 330M | 93 | 470 | 897 |1034 | 66k| 1 | 479 |1568 | 1.655747e+02 | 1.900000e+02 | 14.75%| unknown
1190.40/1193.23 c 1193s| 11000 | 11001 | 11012k| 911.8 | 330M | 93 | 470 | 897 |1025 | 66k| 1 | 480 |1570 | 1.655803e+02 | 1.900000e+02 | 14.75%| unknown
1197.08/1199.95 c 1200s| 11100 | 11101 | 11086k| 910.4 | 330M | 93 | 470 | 897 |1046 | 67k| 1 | 485 |1571 | 1.655839e+02 | 1.900000e+02 | 14.75%| unknown
1203.07/1205.97 c 1206s| 11200 | 11201 | 11152k| 908.3 | 331M | 93 | 470 | 897 |1049 | 67k| 1 | 488 |1571 | 1.655885e+02 | 1.900000e+02 | 14.74%| unknown
1209.95/1212.85 c 1213s| 11300 | 11301 | 11227k| 907.1 | 331M | 93 | 470 | 897 |1052 | 68k| 1 | 490 |1575 | 1.655934e+02 | 1.900000e+02 | 14.74%| unknown
1217.15/1220.09 c 1220s| 11400 | 11401 | 11316k| 907.0 | 331M | 93 | 470 | 897 |1049 | 68k| 1 | 494 |1575 | 1.655969e+02 | 1.900000e+02 | 14.74%| unknown
1224.73/1227.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1224.73/1227.66 c 1228s| 11500 | 11501 | 11397k| 906.2 | 331M | 93 | 470 | 897 |1063 | 69k| 1 | 494 |1575 | 1.656008e+02 | 1.900000e+02 | 14.73%| unknown
1230.51/1233.49 c 1233s| 11600 | 11601 | 11460k| 904.0 | 332M | 93 | 470 | 897 |1065 | 69k| 1 | 499 |1576 | 1.656052e+02 | 1.900000e+02 | 14.73%| unknown
1237.30/1240.26 c 1240s| 11700 | 11701 | 11536k| 902.9 | 332M | 93 | 470 | 897 |1050 | 70k| 1 | 501 |1578 | 1.656091e+02 | 1.900000e+02 | 14.73%| unknown
1243.68/1246.68 c 1247s| 11800 | 11801 | 11606k| 901.3 | 332M | 93 | 470 | 897 |1026 | 70k| 1 | 502 |1586 | 1.656129e+02 | 1.900000e+02 | 14.73%| unknown
1250.37/1253.31 c 1253s| 11900 | 11901 | 11674k| 899.6 | 332M | 93 | 470 | 897 |1052 | 71k| 1 | 505 |1599 | 1.656151e+02 | 1.900000e+02 | 14.72%| unknown
1256.95/1259.98 c 1260s| 12000 | 12001 | 11745k| 898.1 | 332M | 93 | 470 | 897 | 998 | 71k| 1 | 506 |1601 | 1.656181e+02 | 1.900000e+02 | 14.72%| unknown
1263.84/1266.86 c 1267s| 12100 | 12101 | 11815k| 896.6 | 332M | 93 | 470 | 897 |1054 | 72k| 1 | 509 |1609 | 1.656244e+02 | 1.900000e+02 | 14.72%| unknown
1270.13/1273.17 c 1273s| 12200 | 12201 | 11889k| 895.4 | 332M | 93 | 470 | 897 |1071 | 72k| 4 | 512 |1610 | 1.656269e+02 | 1.900000e+02 | 14.72%| unknown
1276.81/1279.86 c 1280s| 12300 | 12301 | 11959k| 894.0 | 332M | 93 | 470 | 897 |1005 | 73k| 1 | 515 |1611 | 1.656299e+02 | 1.900000e+02 | 14.71%| unknown
1283.49/1286.53 c 1287s| 12400 | 12401 | 12033k| 892.8 | 332M | 93 | 470 | 897 |1040 | 73k| 1 | 515 |1613 | 1.656341e+02 | 1.900000e+02 | 14.71%| unknown
1290.09/1293.19 c 1293s| 12500 | 12501 | 12105k| 891.5 | 332M | 93 | 470 | 897 |1030 | 74k| 1 | 520 |1613 | 1.656372e+02 | 1.900000e+02 | 14.71%| unknown
1296.97/1300.03 c 1300s| 12600 | 12601 | 12182k| 890.6 | 332M | 93 | 470 | 897 |1060 | 74k| 4 | 522 |1614 | 1.656407e+02 | 1.900000e+02 | 14.71%| unknown
1303.74/1306.83 c 1307s| 12700 | 12701 | 12256k| 889.5 | 332M | 93 | 470 | 897 |1048 | 75k| 3 | 525 |1616 | 1.656428e+02 | 1.900000e+02 | 14.70%| unknown
1309.83/1312.94 c 1313s| 12800 | 12801 | 12325k| 888.1 | 332M | 93 | 470 | 897 |1039 | 75k| 1 | 528 |1616 | 1.656453e+02 | 1.900000e+02 | 14.70%| unknown
1317.21/1320.35 c 1320s| 12900 | 12901 | 12403k| 887.3 | 332M | 93 | 470 | 897 |1040 | 75k| 1 | 529 |1617 | 1.656488e+02 | 1.900000e+02 | 14.70%| unknown
1323.10/1326.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1323.10/1326.29 c 1326s| 13000 | 13001 | 12478k| 886.3 | 332M | 93 | 470 | 897 |1037 | 76k| 1 | 529 |1619 | 1.656519e+02 | 1.900000e+02 | 14.70%| unknown
1329.58/1332.73 c 1333s| 13100 | 13101 | 12549k| 885.1 | 333M | 93 | 470 | 897 |1041 | 76k| 1 | 532 |1621 | 1.656550e+02 | 1.900000e+02 | 14.70%| unknown
1335.67/1338.80 c 1339s| 13200 | 13201 | 12613k| 883.4 | 333M | 93 | 470 | 897 |1033 | 77k| 1 | 535 |1629 | 1.656586e+02 | 1.900000e+02 | 14.69%| unknown
1341.45/1344.67 c 1345s| 13300 | 13301 | 12679k| 881.8 | 333M | 93 | 470 | 897 |1061 | 77k| 1 | 537 |1633 | 1.656611e+02 | 1.900000e+02 | 14.69%| unknown
1348.04/1351.23 c 1351s| 13400 | 13401 | 12745k| 880.3 | 333M | 93 | 470 | 897 |1029 | 78k| 1 | 541 |1634 | 1.656634e+02 | 1.900000e+02 | 14.69%| unknown
1354.13/1357.32 c 1357s| 13500 | 13501 | 12812k| 878.8 | 333M | 93 | 470 | 897 |1063 | 78k| 1 | 541 |1639 | 1.656668e+02 | 1.900000e+02 | 14.69%| unknown
1359.71/1362.93 c 1363s| 13600 | 13601 | 12874k| 877.1 | 333M | 93 | 470 | 897 |1044 | 79k| 1 | 543 |1640 | 1.656689e+02 | 1.900000e+02 | 14.69%| unknown
1367.10/1370.36 c 1370s| 13700 | 13701 | 12952k| 876.4 | 333M | 93 | 470 | 897 |1002 | 79k| 1 | 545 |1643 | 1.656709e+02 | 1.900000e+02 | 14.69%| unknown
1372.79/1376.01 c 1376s| 13800 | 13801 | 13018k| 875.0 | 333M | 93 | 470 | 897 |1050 | 80k| 1 | 546 |1643 | 1.656731e+02 | 1.900000e+02 | 14.68%| unknown
1378.97/1382.25 c 1382s| 13900 | 13901 | 13090k| 873.9 | 333M | 93 | 470 | 897 |1040 | 80k| 1 | 548 |1643 | 1.656755e+02 | 1.900000e+02 | 14.68%| unknown
1384.25/1387.50 c 1387s| 14000 | 14001 | 13149k| 872.1 | 333M | 93 | 470 | 897 |1038 | 80k| 1 | 548 |1644 | 1.656783e+02 | 1.900000e+02 | 14.68%| unknown
1389.64/1392.96 c 1393s| 14100 | 14101 | 13212k| 870.4 | 333M | 93 | 470 | 897 |1041 | 81k| 1 | 552 |1645 | 1.656833e+02 | 1.900000e+02 | 14.68%| unknown
1395.32/1398.62 c 1399s| 14200 | 14201 | 13277k| 869.0 | 334M | 93 | 470 | 897 |1047 | 81k| 1 | 555 |1646 | 1.656860e+02 | 1.900000e+02 | 14.67%| unknown
1401.71/1405.03 c 1405s| 14300 | 14301 | 13348k| 868.0 | 334M | 93 | 470 | 897 |1032 | 82k| 1 | 557 |1647 | 1.656889e+02 | 1.900000e+02 | 14.67%| unknown
1407.29/1410.66 c 1411s| 14400 | 14401 | 13406k| 866.1 | 334M | 93 | 470 | 897 |1054 | 82k| 1 | 560 |1653 | 1.656935e+02 | 1.900000e+02 | 14.67%| unknown
1413.47/1416.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1413.47/1416.85 c 1417s| 14500 | 14501 | 13473k| 864.8 | 334M | 93 | 470 | 897 |1055 | 83k| 4 | 562 |1655 | 1.656961e+02 | 1.900000e+02 | 14.67%| unknown
1420.55/1423.94 c 1424s| 14600 | 14601 | 13541k| 863.7 | 334M | 93 | 470 | 897 |1046 | 83k| 1 | 563 |1663 | 1.656989e+02 | 1.900000e+02 | 14.67%| unknown
1426.93/1430.30 c 1430s| 14700 | 14701 | 13612k| 862.7 | 334M | 93 | 470 | 897 |1051 | 83k| 1 | 566 |1667 | 1.657030e+02 | 1.900000e+02 | 14.66%| unknown
1431.51/1434.95 c 1435s| 14800 | 14801 | 13664k| 860.6 | 335M | 93 | 470 | 897 |1038 | 84k| 1 | 568 |1672 | 1.657053e+02 | 1.900000e+02 | 14.66%| unknown
1439.49/1442.90 c 1443s| 14900 | 14901 | 13757k| 861.0 | 335M | 93 | 470 | 897 |1054 | 84k| 1 | 569 |1673 | 1.657082e+02 | 1.900000e+02 | 14.66%| unknown
1446.58/1450.05 c 1450s| 15000 | 15001 | 13843k| 861.0 | 335M | 93 | 470 | 897 |1041 | 85k| 1 | 576 |1675 | 1.657114e+02 | 1.900000e+02 | 14.66%| unknown
1452.66/1456.14 c 1456s| 15100 | 15101 | 13911k| 859.8 | 336M | 93 | 470 | 897 |1050 | 85k| 1 | 580 |1679 | 1.657128e+02 | 1.900000e+02 | 14.66%| unknown
1458.43/1461.92 c 1462s| 15200 | 15201 | 13980k| 858.8 | 336M | 93 | 470 | 897 |1029 | 86k| 1 | 581 |1681 | 1.657161e+02 | 1.900000e+02 | 14.65%| unknown
1463.32/1466.88 c 1467s| 15300 | 15301 | 14035k| 856.9 | 336M | 93 | 470 | 897 |1043 | 86k| 1 | 583 |1684 | 1.657204e+02 | 1.900000e+02 | 14.65%| unknown
1470.20/1473.75 c 1474s| 15400 | 15401 | 14119k| 856.8 | 336M | 93 | 470 | 897 |1027 | 86k| 1 | 586 |1684 | 1.657224e+02 | 1.900000e+02 | 14.65%| unknown
1476.78/1480.35 c 1480s| 15500 | 15501 | 14186k| 855.7 | 336M | 93 | 470 | 897 |1029 | 87k| 1 | 587 |1685 | 1.657244e+02 | 1.900000e+02 | 14.65%| unknown
1481.86/1485.43 c 1485s| 15600 | 15601 | 14249k| 854.3 | 336M | 93 | 470 | 897 |1027 | 87k| 1 | 588 |1685 | 1.657260e+02 | 1.900000e+02 | 14.65%| unknown
1487.95/1491.56 c 1492s| 15700 | 15701 | 14316k| 853.2 | 336M | 93 | 470 | 897 |1031 | 88k| 1 | 589 |1686 | 1.657280e+02 | 1.900000e+02 | 14.65%| unknown
1493.83/1497.45 c 1497s| 15800 | 15801 | 14382k| 852.1 | 336M | 93 | 470 | 897 |1009 | 88k| 1 | 592 |1686 | 1.657302e+02 | 1.900000e+02 | 14.64%| unknown
1499.21/1502.86 c 1503s| 15900 | 15901 | 14443k| 850.6 | 336M | 93 | 470 | 897 |1009 | 88k| 1 | 595 |1686 | 1.657317e+02 | 1.900000e+02 | 14.64%| unknown
1506.29/1509.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1506.29/1509.91 c 1510s| 16000 | 16001 | 14518k| 850.0 | 336M | 93 | 470 | 897 |1057 | 89k| 1 | 600 |1692 | 1.657349e+02 | 1.900000e+02 | 14.64%| unknown
1512.87/1516.51 c 1516s| 16100 | 16101 | 14585k| 849.0 | 337M | 93 | 470 | 897 |1055 | 89k| 1 | 603 |1699 | 1.657378e+02 | 1.900000e+02 | 14.64%| unknown
1517.56/1521.29 c 1521s| 16200 | 16201 | 14638k| 847.2 | 337M | 93 | 470 | 897 |1046 | 90k| 1 | 605 |1703 | 1.657401e+02 | 1.900000e+02 | 14.64%| unknown
1524.14/1527.86 c 1528s| 16300 | 16301 | 14716k| 846.8 | 337M | 93 | 470 | 897 |1042 | 90k| 1 | 611 |1704 | 1.657428e+02 | 1.900000e+02 | 14.64%| unknown
1529.23/1532.93 c 1533s| 16400 | 16401 | 14775k| 845.3 | 337M | 93 | 470 | 897 |1030 | 90k| 1 | 614 |1707 | 1.657444e+02 | 1.900000e+02 | 14.63%| unknown
1536.20/1539.97 c 1540s| 16500 | 16501 | 14849k| 844.7 | 337M | 93 | 470 | 897 |1059 | 91k| 1 | 615 |1709 | 1.657468e+02 | 1.900000e+02 | 14.63%| unknown
1542.49/1546.25 c 1546s| 16600 | 16601 | 14916k| 843.7 | 337M | 93 | 470 | 897 |1012 | 91k| 1 | 618 |1711 | 1.657499e+02 | 1.900000e+02 | 14.63%| unknown
1547.77/1551.56 c 1552s| 16700 | 16701 | 14974k| 842.2 | 337M | 93 | 470 | 897 |1043 | 92k| 1 | 618 |1711 | 1.657546e+02 | 1.900000e+02 | 14.63%| unknown
1555.75/1559.55 c 1560s| 16800 | 16801 | 15084k| 843.7 | 337M | 93 | 470 | 897 |1031 | 92k| 1 | 619 |1711 | 1.657562e+02 | 1.900000e+02 | 14.63%| unknown
1562.43/1566.28 c 1566s| 16900 | 16901 | 15150k| 842.6 | 337M | 93 | 470 | 898 |1008 | 93k| 1 | 622 |1711 | 1.657586e+02 | 1.900000e+02 | 14.62%| unknown
1568.81/1572.63 c 1573s| 17000 | 17001 | 15220k| 841.9 | 337M | 93 | 470 | 898 |1027 | 93k| 1 | 624 |1712 | 1.657599e+02 | 1.900000e+02 | 14.62%| unknown
1574.09/1577.92 c 1578s| 17100 | 17101 | 15282k| 840.6 | 337M | 93 | 470 | 898 |1018 | 93k| 1 | 626 |1715 | 1.657616e+02 | 1.900000e+02 | 14.62%| unknown
1579.38/1583.23 c 1583s| 17200 | 17201 | 15342k| 839.3 | 337M | 93 | 470 | 898 |1056 | 94k| 1 | 628 |1715 | 1.657631e+02 | 1.900000e+02 | 14.62%| unknown
1584.27/1588.15 c 1588s| 17300 | 17301 | 15400k| 837.9 | 337M | 93 | 470 | 898 |1039 | 94k| 1 | 628 |1718 | 1.657653e+02 | 1.900000e+02 | 14.62%| unknown
1589.55/1593.47 c 1593s| 17400 | 17401 | 15459k| 836.5 | 337M | 93 | 470 | 898 |1039 | 95k| 1 | 631 |1720 | 1.657669e+02 | 1.900000e+02 | 14.62%| unknown
1595.43/1599.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1595.43/1599.36 c 1599s| 17500 | 17501 | 15522k| 835.4 | 337M | 93 | 470 | 898 |1054 | 95k| 1 | 634 |1720 | 1.657696e+02 | 1.900000e+02 | 14.62%| unknown
1602.22/1606.14 c 1606s| 17600 | 17601 | 15597k| 835.0 | 337M | 93 | 470 | 898 |1032 | 95k| 1 | 637 |1726 | 1.657739e+02 | 1.900000e+02 | 14.61%| unknown
1607.69/1611.69 c 1612s| 17700 | 17701 | 15659k| 833.8 | 337M | 93 | 470 | 898 |1041 | 96k| 1 | 642 |1731 | 1.657761e+02 | 1.900000e+02 | 14.61%| unknown
1613.67/1617.67 c 1618s| 17800 | 17801 | 15725k| 832.9 | 337M | 93 | 470 | 898 |1051 | 96k| 3 | 644 |1731 | 1.657779e+02 | 1.900000e+02 | 14.61%| unknown
1620.25/1624.26 c 1624s| 17900 | 17901 | 15804k| 832.7 | 337M | 93 | 470 | 898 |1039 | 97k| 1 | 646 |1733 | 1.657793e+02 | 1.900000e+02 | 14.61%| unknown
1625.74/1629.74 c 1630s| 18000 | 18001 | 15863k| 831.4 | 337M | 93 | 470 | 898 |1047 | 97k| 1 | 648 |1734 | 1.657809e+02 | 1.900000e+02 | 14.61%| unknown
1632.22/1636.24 c 1636s| 18100 | 18101 | 15938k| 831.0 | 339M | 93 | 470 | 898 |1049 | 98k| 1 | 653 |1735 | 1.657838e+02 | 1.900000e+02 | 14.61%| unknown
1638.01/1642.05 c 1642s| 18200 | 18201 | 16001k| 830.0 | 339M | 93 | 470 | 898 |1060 | 98k| 1 | 657 |1739 | 1.657867e+02 | 1.900000e+02 | 14.61%| unknown
1643.79/1647.84 c 1648s| 18300 | 18301 | 16059k| 828.7 | 339M | 93 | 470 | 898 |1003 | 98k| 1 | 661 |1741 | 1.657886e+02 | 1.900000e+02 | 14.60%| unknown
1649.28/1653.33 c 1653s| 18400 | 18401 | 16116k| 827.3 | 339M | 93 | 470 | 898 |1054 | 99k| 1 | 661 |1742 | 1.657906e+02 | 1.900000e+02 | 14.60%| unknown
1657.25/1661.36 c 1661s| 18500 | 18501 | 16218k| 828.3 | 339M | 93 | 470 | 898 |1044 | 99k| 1 | 665 |1742 | 1.657937e+02 | 1.900000e+02 | 14.60%| unknown
1661.64/1665.73 c 1666s| 18600 | 18601 | 16269k| 826.7 | 339M | 93 | 470 | 898 |1046 | 100k| 1 | 667 |1743 | 1.657957e+02 | 1.900000e+02 | 14.60%| unknown
1666.82/1670.90 c 1671s| 18700 | 18701 | 16325k| 825.3 | 339M | 93 | 470 | 898 |1023 | 100k| 1 | 669 |1745 | 1.657970e+02 | 1.900000e+02 | 14.60%| unknown
1672.92/1677.02 c 1677s| 18800 | 18801 | 16393k| 824.6 | 339M | 93 | 470 | 898 |1056 | 100k| 1 | 669 |1745 | 1.658000e+02 | 1.900000e+02 | 14.60%| unknown
1678.79/1682.99 c 1683s| 18900 | 18901 | 16462k| 823.9 | 339M | 93 | 470 | 898 |1043 | 101k| 1 | 671 |1745 | 1.658015e+02 | 1.900000e+02 | 14.59%| unknown
1684.17/1688.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1684.17/1688.33 c 1688s| 19000 | 19001 | 16524k| 822.9 | 339M | 93 | 470 | 898 |1056 | 101k| 1 | 671 |1745 | 1.658036e+02 | 1.900000e+02 | 14.59%| unknown
1689.26/1693.40 c 1693s| 19100 | 19101 | 16579k| 821.6 | 339M | 93 | 470 | 898 |1024 | 102k| 1 | 672 |1751 | 1.658049e+02 | 1.900000e+02 | 14.59%| unknown
1695.14/1699.39 c 1699s| 19200 | 19201 | 16648k| 820.9 | 339M | 93 | 470 | 898 |1053 | 102k| 1 | 674 |1755 | 1.658061e+02 | 1.900000e+02 | 14.59%| unknown
1700.53/1704.72 c 1705s| 19300 | 19301 | 16710k| 819.9 | 339M | 93 | 470 | 898 |1044 | 103k| 1 | 677 |1758 | 1.658077e+02 | 1.900000e+02 | 14.59%| unknown
1706.51/1710.75 c 1711s| 19400 | 19401 | 16772k| 818.9 | 339M | 93 | 470 | 898 |1050 | 103k| 1 | 680 |1763 | 1.658103e+02 | 1.900000e+02 | 14.59%| unknown
1712.49/1716.79 c 1717s| 19500 | 19501 | 16832k| 817.8 | 339M | 93 | 470 | 898 |1046 | 103k| 1 | 682 |1768 | 1.658120e+02 | 1.900000e+02 | 14.59%| unknown
1718.47/1722.79 c 1723s| 19600 | 19601 | 16898k| 817.1 | 340M | 93 | 470 | 898 |1054 | 104k| 1 | 683 |1771 | 1.658143e+02 | 1.900000e+02 | 14.59%| unknown
1724.05/1728.31 c 1728s| 19700 | 19701 | 16956k| 816.0 | 340M | 93 | 470 | 898 |1043 | 104k| 1 | 685 |1772 | 1.658158e+02 | 1.900000e+02 | 14.58%| unknown
1730.24/1734.57 c 1735s| 19800 | 19801 | 17023k| 815.3 | 340M | 93 | 470 | 898 |1035 | 105k| 1 | 688 |1773 | 1.658172e+02 | 1.900000e+02 | 14.58%| unknown
1736.52/1740.84 c 1741s| 19900 | 19901 | 17099k| 815.0 | 340M | 93 | 470 | 898 |1048 | 105k| 1 | 688 |1775 | 1.658192e+02 | 1.900000e+02 | 14.58%| unknown
1743.90/1748.25 c 1748s| 20000 | 20001 | 17164k| 814.2 | 340M | 93 | 470 | 898 |1038 | 106k| 1 | 692 |1777 | 1.658206e+02 | 1.900000e+02 | 14.58%| unknown
1749.38/1753.71 c 1754s| 20100 | 20101 | 17222k| 813.1 | 340M | 93 | 470 | 898 |1055 | 106k| 1 | 694 |1777 | 1.658220e+02 | 1.900000e+02 | 14.58%| unknown
1756.56/1761.00 c 1761s| 20200 | 20201 | 17294k| 812.7 | 340M | 93 | 470 | 898 |1035 | 106k| 1 | 699 |1780 | 1.658238e+02 | 1.900000e+02 | 14.58%| unknown
1762.14/1766.58 c 1767s| 20300 | 20301 | 17355k| 811.7 | 340M | 93 | 470 | 898 |1033 | 107k| 1 | 704 |1783 | 1.658254e+02 | 1.900000e+02 | 14.58%| unknown
1767.93/1772.36 c 1772s| 20400 | 20401 | 17417k| 810.8 | 340M | 93 | 470 | 898 |1041 | 107k| 1 | 708 |1783 | 1.658274e+02 | 1.900000e+02 | 14.58%| unknown
1773.11/1777.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1773.11/1777.50 c 1777s| 20500 | 20501 | 17478k| 809.9 | 340M | 93 | 470 | 898 |1058 | 107k| 1 | 708 |1783 | 1.658293e+02 | 1.900000e+02 | 14.58%| unknown
1779.09/1783.53 c 1784s| 20600 | 20601 | 17542k| 809.1 | 340M | 93 | 470 | 898 |1052 | 108k| 1 | 711 |1785 | 1.658307e+02 | 1.900000e+02 | 14.57%| unknown
1786.07/1790.54 c 1791s| 20700 | 20701 | 17633k| 809.6 | 340M | 93 | 470 | 898 |1020 | 108k| 1 | 715 |1785 | 1.658328e+02 | 1.900000e+02 | 14.57%| unknown
1793.35/1797.85 c 1798s| 20800 | 20801 | 17703k| 809.1 | 340M | 93 | 470 | 898 |1030 | 109k| 1 | 718 |1787 | 1.658347e+02 | 1.900000e+02 | 14.57%| unknown
1799.43/1803.91 c 1804s| 20900 | 20901 | 17771k| 808.5 | 340M | 93 | 470 | 898 |1035 | 109k| 1 | 718 |1790 | 1.658375e+02 | 1.900000e+02 | 14.57%| unknown
1805.71/1810.29 c 1810s| 21000 | 21001 | 17839k| 807.9 | 340M | 93 | 470 | 898 |1048 | 110k| 1 | 722 |1796 | 1.658387e+02 | 1.900000e+02 | 14.57%| unknown
1811.00/1815.53 c 1816s| 21100 | 21101 | 17892k| 806.7 | 340M | 93 | 470 | 896 |1035 | 110k| 1 | 724 |1803 | 1.658400e+02 | 1.900000e+02 | 14.57%| unknown
1817.59/1822.17 c 1822s| 21200 | 21201 | 17966k| 806.3 | 340M | 93 | 470 | 896 |1054 | 110k| 1 | 726 |1804 | 1.658414e+02 | 1.900000e+02 | 14.57%| unknown
1822.58/1827.16 c 1827s| 21300 | 21301 | 18028k| 805.5 | 340M | 93 | 470 | 896 |1044 | 111k| 1 | 728 |1804 | 1.658427e+02 | 1.900000e+02 | 14.57%| unknown
1828.56/1833.11 c 1833s| 21400 | 21401 | 18093k| 804.8 | 340M | 93 | 470 | 896 |1047 | 111k| 1 | 732 |1804 | 1.658441e+02 | 1.900000e+02 | 14.57%| unknown
1835.03/1839.67 c 1840s| 21500 | 21501 | 18165k| 804.5 | 340M | 93 | 470 | 896 |1012 | 112k| 1 | 738 |1804 | 1.658449e+02 | 1.900000e+02 | 14.56%| unknown
1841.42/1846.08 c 1846s| 21600 | 21601 | 18232k| 803.9 | 340M | 93 | 470 | 896 |1027 | 112k| 1 | 739 |1805 | 1.658467e+02 | 1.900000e+02 | 14.56%| unknown
1846.41/1851.09 c 1851s| 21700 | 21701 | 18291k| 802.9 | 340M | 93 | 470 | 896 |1056 | 113k| 1 | 741 |1805 | 1.658481e+02 | 1.900000e+02 | 14.56%| unknown
1851.49/1856.14 c 1856s| 21800 | 21801 | 18352k| 802.1 | 341M | 93 | 470 | 896 |1064 | 113k| 1 | 743 |1806 | 1.658495e+02 | 1.900000e+02 | 14.56%| unknown
1857.56/1862.25 c 1862s| 21900 | 21901 | 18418k| 801.4 | 341M | 93 | 470 | 896 |1042 | 113k| 1 | 746 |1807 | 1.658516e+02 | 1.900000e+02 | 14.56%| unknown
1863.64/1868.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1863.64/1868.35 c 1868s| 22000 | 22001 | 18483k| 800.8 | 341M | 93 | 470 | 896 |1049 | 114k| 1 | 748 |1808 | 1.658534e+02 | 1.900000e+02 | 14.56%| unknown
1869.72/1874.43 c 1874s| 22100 | 22101 | 18548k| 800.2 | 342M | 93 | 470 | 896 |1065 | 114k| 1 | 751 |1809 | 1.658551e+02 | 1.900000e+02 | 14.56%| unknown
1875.61/1880.38 c 1880s| 22200 | 22201 | 18617k| 799.7 | 342M | 93 | 470 | 896 |1042 | 115k| 1 | 755 |1810 | 1.658561e+02 | 1.900000e+02 | 14.56%| unknown
1882.30/1887.05 c 1887s| 22300 | 22301 | 18690k| 799.4 | 342M | 93 | 470 | 896 |1032 | 115k| 1 | 760 |1812 | 1.658588e+02 | 1.900000e+02 | 14.56%| unknown
1887.28/1892.07 c 1892s| 22400 | 22401 | 18746k| 798.3 | 342M | 93 | 470 | 896 |1028 | 115k| 1 | 760 |1817 | 1.658603e+02 | 1.900000e+02 | 14.55%| unknown
1893.75/1898.51 c 1899s| 22500 | 22501 | 18813k| 797.8 | 342M | 93 | 470 | 896 |1033 | 116k| 1 | 765 |1825 | 1.658622e+02 | 1.900000e+02 | 14.55%| unknown
1900.63/1905.44 c 1905s| 22600 | 22601 | 18885k| 797.5 | 342M | 93 | 470 | 896 |1046 | 116k| 1 | 771 |1828 | 1.658639e+02 | 1.900000e+02 | 14.55%| unknown
1908.32/1913.16 c 1913s| 22700 | 22701 | 18986k| 798.4 | 342M | 93 | 470 | 896 |1067 | 117k| 1 | 771 |1831 | 1.658654e+02 | 1.900000e+02 | 14.55%| unknown
1914.59/1919.44 c 1919s| 22800 | 22801 | 19057k| 798.0 | 342M | 93 | 470 | 896 |1052 | 117k| 1 | 774 |1835 | 1.658662e+02 | 1.900000e+02 | 14.55%| unknown
1920.28/1925.18 c 1925s| 22900 | 22901 | 19118k| 797.2 | 342M | 93 | 470 | 896 |1041 | 117k| 1 | 777 |1837 | 1.658682e+02 | 1.900000e+02 | 14.55%| unknown
1926.45/1931.33 c 1931s| 23000 | 23001 | 19188k| 796.8 | 342M | 93 | 470 | 896 |1047 | 118k| 1 | 777 |1845 | 1.658695e+02 | 1.900000e+02 | 14.55%| unknown
1932.44/1937.37 c 1937s| 23100 | 23101 | 19253k| 796.2 | 342M | 93 | 470 | 896 |1035 | 118k| 1 | 779 |1849 | 1.658719e+02 | 1.900000e+02 | 14.55%| unknown
1938.02/1942.96 c 1943s| 23200 | 23201 | 19319k| 795.6 | 342M | 93 | 470 | 896 |1015 | 119k| 1 | 781 |1852 | 1.658736e+02 | 1.900000e+02 | 14.55%| unknown
1943.50/1948.48 c 1948s| 23300 | 23301 | 19383k| 795.0 | 342M | 93 | 470 | 896 |1059 | 119k| 1 | 783 |1852 | 1.658747e+02 | 1.900000e+02 | 14.54%| unknown
1947.99/1952.98 c 1953s| 23400 | 23401 | 19437k| 793.9 | 343M | 93 | 470 | 896 |1045 | 119k| 1 | 784 |1852 | 1.658766e+02 | 1.900000e+02 | 14.54%| unknown
1954.08/1959.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1954.08/1959.09 c 1959s| 23500 | 23501 | 19508k| 793.6 | 343M | 93 | 470 | 896 |1035 | 120k| 1 | 788 |1854 | 1.658777e+02 | 1.900000e+02 | 14.54%| unknown
1959.86/1964.81 c 1965s| 23600 | 23601 | 19569k| 792.9 | 343M | 93 | 470 | 896 |1040 | 120k| 1 | 792 |1854 | 1.658787e+02 | 1.900000e+02 | 14.54%| unknown
1964.34/1969.35 c 1969s| 23700 | 23701 | 19624k| 791.9 | 343M | 93 | 470 | 896 |1034 | 121k| 1 | 792 |1854 | 1.658804e+02 | 1.900000e+02 | 14.54%| unknown
1971.03/1976.06 c 1976s| 23800 | 23801 | 19697k| 791.6 | 343M | 93 | 470 | 896 |1051 | 121k| 1 | 794 |1854 | 1.658830e+02 | 1.900000e+02 | 14.54%| unknown
1976.71/1981.73 c 1982s| 23900 | 23901 | 19760k| 791.0 | 343M | 93 | 470 | 896 |1053 | 121k| 1 | 796 |1854 | 1.658846e+02 | 1.900000e+02 | 14.54%| unknown
1982.39/1987.46 c 1987s| 24000 | 24001 | 19829k| 790.6 | 343M | 93 | 470 | 896 |1061 | 122k| 1 | 800 |1856 | 1.658861e+02 | 1.900000e+02 | 14.54%| unknown
1988.37/1993.41 c 1993s| 24100 | 24101 | 19892k| 790.0 | 343M | 93 | 470 | 896 |1021 | 122k| 1 | 802 |1858 | 1.658874e+02 | 1.900000e+02 | 14.54%| unknown
1994.96/2000.07 c 2000s| 24200 | 24201 | 19975k| 790.1 | 343M | 93 | 470 | 896 |1049 | 122k| 1 | 804 |1858 | 1.658888e+02 | 1.900000e+02 | 14.53%| unknown
2000.73/2005.86 c 2006s| 24300 | 24301 | 20042k| 789.6 | 343M | 93 | 470 | 896 |1041 | 123k| 1 | 805 |1861 | 1.658904e+02 | 1.900000e+02 | 14.53%| unknown
2007.32/2012.41 c 2012s| 24400 | 24401 | 20107k| 789.1 | 344M | 93 | 470 | 895 |1027 | 123k| 1 | 808 |1865 | 1.658914e+02 | 1.900000e+02 | 14.53%| unknown
2012.10/2017.22 c 2017s| 24500 | 24501 | 20162k| 788.2 | 344M | 93 | 470 | 895 |1048 | 124k| 1 | 808 |1868 | 1.658936e+02 | 1.900000e+02 | 14.53%| unknown
2017.99/2023.13 c 2023s| 24600 | 24601 | 20228k| 787.7 | 344M | 93 | 470 | 895 |1039 | 124k| 1 | 811 |1868 | 1.658956e+02 | 1.900000e+02 | 14.53%| unknown
2022.88/2028.07 c 2028s| 24700 | 24701 | 20286k| 786.9 | 344M | 93 | 470 | 895 |1037 | 124k| 1 | 813 |1870 | 1.658970e+02 | 1.900000e+02 | 14.53%| unknown
2029.65/2034.80 c 2035s| 24800 | 24801 | 20354k| 786.4 | 345M | 93 | 470 | 895 |1004 | 125k| 1 | 815 |1872 | 1.658992e+02 | 1.900000e+02 | 14.53%| unknown
2035.43/2040.64 c 2041s| 24900 | 24901 | 20421k| 786.0 | 345M | 93 | 470 | 895 |1040 | 125k| 1 | 820 |1875 | 1.659006e+02 | 1.900000e+02 | 14.53%| unknown
2041.61/2046.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2041.61/2046.89 c 2047s| 25000 | 25001 | 20490k| 785.6 | 345M | 93 | 470 | 895 |1058 | 126k| 1 | 825 |1878 | 1.659026e+02 | 1.900000e+02 | 14.53%| unknown
2046.30/2051.57 c 2052s| 25100 | 25101 | 20547k| 784.8 | 345M | 93 | 470 | 895 |1036 | 126k| 1 | 827 |1880 | 1.659035e+02 | 1.900000e+02 | 14.52%| unknown
2052.38/2057.65 c 2058s| 25200 | 25201 | 20616k| 784.4 | 345M | 93 | 470 | 895 |1028 | 126k| 1 | 831 |1884 | 1.659041e+02 | 1.900000e+02 | 14.52%| unknown
2057.37/2062.60 c 2063s| 25300 | 25301 | 20674k| 783.6 | 345M | 93 | 470 | 895 |1036 | 127k| 1 | 831 |1886 | 1.659059e+02 | 1.900000e+02 | 14.52%| unknown
2062.25/2067.54 c 2068s| 25400 | 25401 | 20732k| 782.9 | 345M | 93 | 470 | 895 |1052 | 127k| 1 | 832 |1890 | 1.659072e+02 | 1.900000e+02 | 14.52%| unknown
2067.85/2073.14 c 2073s| 25500 | 25501 | 20796k| 782.3 | 345M | 93 | 470 | 895 |1049 | 127k| 1 | 837 |1891 | 1.659094e+02 | 1.900000e+02 | 14.52%| unknown
2072.62/2077.97 c 2078s| 25600 | 25601 | 20854k| 781.6 | 345M | 93 | 470 | 895 |1039 | 128k| 1 | 837 |1891 | 1.659109e+02 | 1.900000e+02 | 14.52%| unknown
2079.60/2084.94 c 2085s| 25700 | 25701 | 20929k| 781.4 | 346M | 93 | 470 | 895 |1040 | 128k| 1 | 841 |1892 | 1.659131e+02 | 1.900000e+02 | 14.52%| unknown
2084.09/2089.45 c 2089s| 25800 | 25801 | 20984k| 780.6 | 346M | 93 | 470 | 895 |1025 | 129k| 1 | 841 |1894 | 1.659140e+02 | 1.900000e+02 | 14.52%| unknown
2089.87/2095.20 c 2095s| 25900 | 25901 | 21048k| 780.1 | 346M | 93 | 470 | 895 |1032 | 129k| 1 | 842 |1894 | 1.659149e+02 | 1.900000e+02 | 14.52%| unknown
2094.67/2100.10 c 2100s| 26000 | 26001 | 21105k| 779.3 | 346M | 93 | 470 | 895 |1033 | 129k| 1 | 842 |1895 | 1.659172e+02 | 1.900000e+02 | 14.51%| unknown
2099.94/2105.30 c 2105s| 26100 | 26101 | 21166k| 778.7 | 346M | 93 | 470 | 895 |1048 | 130k| 1 | 846 |1897 | 1.659188e+02 | 1.900000e+02 | 14.51%| unknown
2106.73/2112.16 c 2112s| 26200 | 26201 | 21242k| 778.6 | 346M | 93 | 470 | 895 |1019 | 130k| 1 | 849 |1900 | 1.659211e+02 | 1.900000e+02 | 14.51%| unknown
2112.00/2117.45 c 2117s| 26300 | 26301 | 21301k| 777.9 | 346M | 93 | 470 | 895 |1044 | 130k| 1 | 849 |1905 | 1.659222e+02 | 1.900000e+02 | 14.51%| unknown
2119.38/2124.85 c 2125s| 26400 | 26401 | 21391k| 778.4 | 346M | 93 | 470 | 895 |1035 | 131k| 1 | 851 |1909 | 1.659236e+02 | 1.900000e+02 | 14.51%| unknown
2125.58/2131.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2125.58/2131.08 c 2131s| 26500 | 26501 | 21462k| 778.1 | 346M | 93 | 470 | 895 |1064 | 131k| 1 | 852 |1911 | 1.659243e+02 | 1.900000e+02 | 14.51%| unknown
2132.44/2137.92 c 2138s| 26600 | 26601 | 21544k| 778.3 | 346M | 93 | 470 | 895 |1023 | 132k| 1 | 853 |1914 | 1.659256e+02 | 1.900000e+02 | 14.51%| unknown
2137.33/2142.81 c 2143s| 26700 | 26701 | 21601k| 777.5 | 346M | 93 | 470 | 895 |1045 | 132k| 1 | 853 |1920 | 1.659270e+02 | 1.900000e+02 | 14.51%| unknown
2142.91/2148.49 c 2148s| 26800 | 26801 | 21667k| 777.1 | 346M | 93 | 470 | 895 |1063 | 132k| 1 | 858 |1923 | 1.659280e+02 | 1.900000e+02 | 14.51%| unknown
2147.70/2153.27 c 2153s| 26900 | 26901 | 21723k| 776.3 | 346M | 93 | 470 | 895 |1035 | 133k| 1 | 858 |1923 | 1.659291e+02 | 1.900000e+02 | 14.51%| unknown
2153.79/2159.38 c 2159s| 27000 | 27001 | 21788k| 775.9 | 347M | 93 | 470 | 895 |1050 | 133k| 1 | 860 |1924 | 1.659308e+02 | 1.900000e+02 | 14.51%| unknown
2157.98/2163.54 c 2164s| 27100 | 27101 | 21838k| 774.9 | 347M | 93 | 470 | 895 |1044 | 133k| 1 | 860 |1925 | 1.659316e+02 | 1.900000e+02 | 14.51%| unknown
2164.06/2169.62 c 2170s| 27200 | 27201 | 21902k| 774.4 | 347M | 93 | 470 | 895 |1013 | 134k| 1 | 864 |1927 | 1.659327e+02 | 1.900000e+02 | 14.50%| unknown
2169.64/2175.20 c 2175s| 27300 | 27301 | 21963k| 773.8 | 347M | 93 | 470 | 895 |1023 | 134k| 1 | 866 |1927 | 1.659336e+02 | 1.900000e+02 | 14.50%| unknown
2174.44/2180.09 c 2180s| 27400 | 27401 | 22024k| 773.2 | 348M | 93 | 470 | 895 |1044 | 134k| 3 | 867 |1927 | 1.659351e+02 | 1.900000e+02 | 14.50%| unknown
2179.21/2184.83 c 2185s| 27500 | 27501 | 22080k| 772.5 | 348M | 93 | 470 | 895 |1051 | 135k| 1 | 871 |1928 | 1.659362e+02 | 1.900000e+02 | 14.50%| unknown
2185.29/2190.99 c 2191s| 27600 | 27601 | 22152k| 772.3 | 348M | 93 | 470 | 895 |1041 | 135k| 1 | 876 |1928 | 1.659368e+02 | 1.900000e+02 | 14.50%| unknown
2189.98/2195.60 c 2196s| 27700 | 27701 | 22207k| 771.6 | 348M | 93 | 470 | 895 |1005 | 135k| 1 | 878 |1928 | 1.659379e+02 | 1.900000e+02 | 14.50%| unknown
2195.47/2201.17 c 2201s| 27800 | 27801 | 22270k| 771.1 | 348M | 93 | 470 | 895 |1031 | 136k| 1 | 881 |1929 | 1.659395e+02 | 1.900000e+02 | 14.50%| unknown
2200.25/2205.94 c 2206s| 27900 | 27901 | 22326k| 770.3 | 348M | 93 | 470 | 895 |1062 | 136k| 1 | 882 |1930 | 1.659402e+02 | 1.900000e+02 | 14.50%| unknown
2206.53/2212.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2206.53/2212.22 c 2212s| 28000 | 28001 | 22401k| 770.3 | 348M | 93 | 470 | 895 |1026 | 136k| 1 | 886 |1930 | 1.659415e+02 | 1.900000e+02 | 14.50%| unknown
2212.32/2218.05 c 2218s| 28100 | 28101 | 22473k| 770.1 | 348M | 93 | 470 | 895 |1033 | 137k| 1 | 887 |1934 | 1.659424e+02 | 1.900000e+02 | 14.50%| unknown
2218.20/2224.00 c 2224s| 28200 | 28201 | 22540k| 769.8 | 348M | 93 | 470 | 895 |1041 | 137k| 3 | 890 |1939 | 1.659436e+02 | 1.900000e+02 | 14.50%| unknown
2224.78/2230.54 c 2231s| 28300 | 28301 | 22617k| 769.7 | 349M | 93 | 470 | 895 |1031 | 137k| 1 | 893 |1941 | 1.659449e+02 | 1.900000e+02 | 14.50%| unknown
2230.86/2236.66 c 2237s| 28400 | 28401 | 22690k| 769.6 | 349M | 93 | 470 | 895 |1006 | 138k| 1 | 895 |1943 | 1.659455e+02 | 1.900000e+02 | 14.50%| unknown
2236.54/2242.31 c 2242s| 28500 | 28501 | 22753k| 769.1 | 349M | 93 | 470 | 895 |1039 | 138k| 1 | 896 |1943 | 1.659478e+02 | 1.900000e+02 | 14.49%| unknown
2242.52/2248.36 c 2248s| 28600 | 28601 | 22821k| 768.8 | 349M | 93 | 470 | 895 |1049 | 138k| 1 | 898 |1947 | 1.659489e+02 | 1.900000e+02 | 14.49%| unknown
2248.41/2254.25 c 2254s| 28700 | 28701 | 22882k| 768.3 | 349M | 93 | 470 | 895 |1053 | 139k| 1 | 898 |1950 | 1.659498e+02 | 1.900000e+02 | 14.49%| unknown
2254.59/2260.45 c 2260s| 28800 | 28801 | 22951k| 768.0 | 349M | 93 | 470 | 895 |1044 | 139k| 1 | 900 |1950 | 1.659514e+02 | 1.900000e+02 | 14.49%| unknown
2261.07/2266.94 c 2267s| 28900 | 28901 | 23015k| 767.6 | 349M | 93 | 470 | 895 |1070 | 140k| 1 | 900 |1953 | 1.659529e+02 | 1.900000e+02 | 14.49%| unknown
2266.35/2272.30 c 2272s| 29000 | 29001 | 23075k| 767.1 | 349M | 93 | 470 | 895 |1039 | 140k| 1 | 904 |1953 | 1.659538e+02 | 1.900000e+02 | 14.49%| unknown
2271.54/2277.46 c 2277s| 29100 | 29101 | 23133k| 766.4 | 349M | 93 | 470 | 895 |1045 | 140k| 1 | 904 |1953 | 1.659550e+02 | 1.900000e+02 | 14.49%| unknown
2278.23/2284.15 c 2284s| 29200 | 29201 | 23204k| 766.2 | 349M | 93 | 470 | 895 |1053 | 141k| 1 | 909 |1956 | 1.659557e+02 | 1.900000e+02 | 14.49%| unknown
2283.01/2288.97 c 2289s| 29300 | 29301 | 23259k| 765.5 | 349M | 93 | 470 | 895 |1011 | 141k| 1 | 911 |1957 | 1.659570e+02 | 1.900000e+02 | 14.49%| unknown
2287.39/2293.34 c 2293s| 29400 | 29401 | 23307k| 764.6 | 349M | 93 | 470 | 895 |1058 | 141k| 1 | 911 |1960 | 1.659584e+02 | 1.900000e+02 | 14.49%| unknown
2293.47/2299.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2293.47/2299.40 c 2299s| 29500 | 29501 | 23376k| 764.4 | 349M | 93 | 470 | 895 |1028 | 142k| 1 | 913 |1960 | 1.659594e+02 | 1.900000e+02 | 14.49%| unknown
2298.86/2304.89 c 2305s| 29600 | 29601 | 23437k| 763.9 | 350M | 93 | 470 | 895 |1020 | 142k| 1 | 916 |1961 | 1.659605e+02 | 1.900000e+02 | 14.49%| unknown
2303.84/2309.82 c 2310s| 29700 | 29701 | 23497k| 763.3 | 351M | 93 | 470 | 895 |1035 | 142k| 4 | 916 |1961 | 1.659613e+02 | 1.900000e+02 | 14.48%| unknown
2310.04/2316.11 c 2316s| 29800 | 29801 | 23568k| 763.1 | 351M | 93 | 470 | 895 |1033 | 143k| 1 | 918 |1963 | 1.659627e+02 | 1.900000e+02 | 14.48%| unknown
2315.21/2321.23 c 2321s| 29900 | 29901 | 23624k| 762.5 | 351M | 93 | 470 | 895 |1050 | 143k| 4 | 918 |1963 | 1.659637e+02 | 1.900000e+02 | 14.48%| unknown
2321.10/2327.16 c 2327s| 30000 | 30001 | 23689k| 762.1 | 351M | 93 | 470 | 895 |1058 | 143k| 1 | 921 |1968 | 1.659648e+02 | 1.900000e+02 | 14.48%| unknown
2327.57/2333.66 c 2334s| 30100 | 30101 | 23764k| 762.1 | 351M | 93 | 470 | 895 |1015 | 144k| 1 | 926 |1973 | 1.659657e+02 | 1.900000e+02 | 14.48%| unknown
2332.86/2338.92 c 2339s| 30200 | 30201 | 23827k| 761.7 | 351M | 93 | 470 | 895 |1052 | 144k| 1 | 928 |1974 | 1.659664e+02 | 1.900000e+02 | 14.48%| unknown
2339.05/2345.17 c 2345s| 30300 | 30301 | 23891k| 761.3 | 352M | 93 | 470 | 895 |1030 | 144k| 1 | 931 |1977 | 1.659680e+02 | 1.900000e+02 | 14.48%| unknown
2344.04/2350.18 c 2350s| 30400 | 30401 | 23949k| 760.7 | 352M | 93 | 470 | 895 |1047 | 145k| 1 | 933 |1980 | 1.659696e+02 | 1.900000e+02 | 14.48%| unknown
2351.60/2357.79 c 2358s| 30500 | 30501 | 24041k| 761.2 | 352M | 93 | 470 | 895 |1045 | 145k| 1 | 938 |1985 | 1.659706e+02 | 1.900000e+02 | 14.48%| unknown
2357.19/2363.35 c 2363s| 30600 | 30601 | 24103k| 760.8 | 352M | 93 | 470 | 895 |1046 | 146k| 1 | 938 |1986 | 1.659720e+02 | 1.900000e+02 | 14.48%| unknown
2361.77/2367.96 c 2368s| 30700 | 30701 | 24157k| 760.1 | 352M | 93 | 470 | 895 |1066 | 146k| 1 | 940 |1987 | 1.659724e+02 | 1.900000e+02 | 14.48%| unknown
2366.76/2372.98 c 2373s| 30800 | 30801 | 24215k| 759.5 | 352M | 93 | 470 | 895 |1035 | 146k| 3 | 944 |1987 | 1.659738e+02 | 1.900000e+02 | 14.48%| unknown
2372.64/2378.81 c 2379s| 30900 | 30901 | 24283k| 759.2 | 352M | 93 | 470 | 895 |1034 | 147k| 1 | 947 |1988 | 1.659747e+02 | 1.900000e+02 | 14.48%| unknown
2376.84/2383.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2376.84/2383.08 c 2383s| 31000 | 31001 | 24332k| 758.4 | 352M | 93 | 470 | 895 |1028 | 147k| 1 | 952 |1989 | 1.659759e+02 | 1.900000e+02 | 14.47%| unknown
2382.92/2389.15 c 2389s| 31100 | 31101 | 24395k| 758.0 | 352M | 93 | 470 | 895 |1030 | 147k| 1 | 954 |1989 | 1.659773e+02 | 1.900000e+02 | 14.47%| unknown
2387.60/2393.87 c 2394s| 31200 | 31201 | 24451k| 757.4 | 352M | 93 | 470 | 895 |1048 | 148k| 1 | 959 |1989 | 1.659789e+02 | 1.900000e+02 | 14.47%| unknown
2393.38/2399.63 c 2400s| 31300 | 31301 | 24515k| 757.0 | 352M | 93 | 470 | 895 |1062 | 148k| 1 | 959 |1991 | 1.659806e+02 | 1.900000e+02 | 14.47%| unknown
2398.96/2405.24 c 2405s| 31400 | 31401 | 24578k| 756.6 | 352M | 93 | 470 | 895 |1048 | 148k| 1 | 965 |1991 | 1.659812e+02 | 1.900000e+02 | 14.47%| unknown
2403.95/2410.21 c 2410s| 31500 | 31501 | 24636k| 756.1 | 352M | 93 | 470 | 895 |1043 | 149k| 1 | 968 |1991 | 1.659821e+02 | 1.900000e+02 | 14.47%| unknown
2410.23/2416.57 c 2417s| 31600 | 31601 | 24712k| 756.1 | 352M | 93 | 470 | 895 |1040 | 149k| 1 | 969 |1991 | 1.659835e+02 | 1.900000e+02 | 14.47%| unknown
2415.02/2421.37 c 2421s| 31700 | 31701 | 24767k| 755.5 | 352M | 93 | 470 | 895 |1077 | 149k| 1 | 969 |1993 | 1.659851e+02 | 1.900000e+02 | 14.47%| unknown
2420.81/2427.13 c 2427s| 31800 | 31801 | 24831k| 755.1 | 352M | 93 | 470 | 895 |1049 | 150k| 1 | 972 |1995 | 1.659858e+02 | 1.900000e+02 | 14.47%| unknown
2426.88/2433.26 c 2433s| 31900 | 31901 | 24895k| 754.8 | 353M | 93 | 470 | 895 |1050 | 150k| 1 | 976 |1996 | 1.659866e+02 | 1.900000e+02 | 14.47%| unknown
2431.78/2438.17 c 2438s| 32000 | 32001 | 24951k| 754.2 | 353M | 93 | 470 | 895 |1029 | 150k| 1 | 976 |2000 | 1.659893e+02 | 1.900000e+02 | 14.47%| unknown
2437.66/2444.05 c 2444s| 32100 | 32101 | 25012k| 753.8 | 353M | 93 | 470 | 895 |1047 | 151k| 1 | 978 |2006 | 1.659899e+02 | 1.900000e+02 | 14.46%| unknown
2442.54/2448.95 c 2449s| 32200 | 32201 | 25069k| 753.2 | 353M | 93 | 470 | 895 |1038 | 151k| 1 | 980 |2008 | 1.659913e+02 | 1.900000e+02 | 14.46%| unknown
2447.63/2454.03 c 2454s| 32300 | 32301 | 25128k| 752.7 | 353M | 93 | 470 | 895 |1042 | 151k| 1 | 983 |2009 | 1.659920e+02 | 1.900000e+02 | 14.46%| unknown
2452.80/2459.28 c 2459s| 32400 | 32401 | 25188k| 752.3 | 353M | 93 | 470 | 895 |1052 | 152k| 1 | 988 |2010 | 1.659929e+02 | 1.900000e+02 | 14.46%| unknown
2458.09/2464.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2458.09/2464.56 c 2465s| 32500 | 32501 | 25252k| 751.9 | 353M | 93 | 470 | 894 |1045 | 152k| 1 | 989 |2011 | 1.659941e+02 | 1.900000e+02 | 14.46%| unknown
2462.88/2469.39 c 2469s| 32600 | 32601 | 25308k| 751.3 | 353M | 93 | 470 | 894 |1040 | 152k| 1 | 992 |2013 | 1.659951e+02 | 1.900000e+02 | 14.46%| unknown
2468.16/2474.62 c 2475s| 32700 | 32701 | 25368k| 750.9 | 353M | 93 | 470 | 894 |1051 | 153k| 1 | 995 |2013 | 1.659964e+02 | 1.900000e+02 | 14.46%| unknown
2474.04/2480.56 c 2481s| 32800 | 32801 | 25435k| 750.7 | 353M | 93 | 470 | 894 |1022 | 153k| 1 |1002 |2014 | 1.659989e+02 | 1.900000e+02 | 14.46%| unknown
2480.72/2487.23 c 2487s| 32900 | 32901 | 25517k| 750.9 | 353M | 93 | 470 | 894 |1042 | 153k| 1 |1002 |2016 | 1.660001e+02 | 1.900000e+02 | 14.46%| unknown
2486.21/2492.73 c 2493s| 33000 | 33001 | 25586k| 750.7 | 353M | 93 | 470 | 894 |1034 | 154k| 1 |1006 |2016 | 1.660014e+02 | 1.900000e+02 | 14.46%| unknown
2491.69/2498.23 c 2498s| 33100 | 33101 | 25650k| 750.4 | 353M | 93 | 470 | 894 |1026 | 154k| 1 |1010 |2017 | 1.660020e+02 | 1.900000e+02 | 14.46%| unknown
2497.08/2503.61 c 2504s| 33200 | 33201 | 25715k| 750.1 | 353M | 93 | 470 | 894 |1038 | 154k| 1 |1010 |2017 | 1.660028e+02 | 1.900000e+02 | 14.46%| unknown
2502.66/2509.21 c 2509s| 33300 | 33301 | 25779k| 749.8 | 353M | 93 | 470 | 894 |1067 | 155k| 1 |1013 |2017 | 1.660048e+02 | 1.900000e+02 | 14.45%| unknown
2508.24/2514.87 c 2515s| 33400 | 33401 | 25848k| 749.6 | 353M | 93 | 470 | 894 |1027 | 155k| 1 |1013 |2018 | 1.660054e+02 | 1.900000e+02 | 14.45%| unknown
2514.33/2520.92 c 2521s| 33500 | 33501 | 25912k| 749.3 | 353M | 93 | 470 | 894 |1044 | 155k| 1 |1015 |2018 | 1.660068e+02 | 1.900000e+02 | 14.45%| unknown
2519.61/2526.23 c 2526s| 33600 | 33601 | 25975k| 748.9 | 353M | 93 | 470 | 894 |1046 | 156k| 1 |1018 |2019 | 1.660079e+02 | 1.900000e+02 | 14.45%| unknown
2525.89/2532.58 c 2533s| 33700 | 33701 | 26047k| 748.8 | 353M | 93 | 470 | 894 |1067 | 156k| 1 |1020 |2021 | 1.660086e+02 | 1.900000e+02 | 14.45%| unknown
2531.67/2538.37 c 2538s| 33800 | 33801 | 26113k| 748.6 | 353M | 93 | 470 | 894 |1046 | 156k| 1 |1025 |2022 | 1.660093e+02 | 1.900000e+02 | 14.45%| unknown
2536.86/2543.52 c 2544s| 33900 | 33901 | 26172k| 748.1 | 353M | 93 | 470 | 894 |1050 | 157k| 1 |1027 |2027 | 1.660107e+02 | 1.900000e+02 | 14.45%| unknown
2542.04/2548.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2542.04/2548.75 c 2549s| 34000 | 34001 | 26228k| 747.6 | 353M | 93 | 470 | 894 |1060 | 157k| 1 |1030 |2031 | 1.660115e+02 | 1.900000e+02 | 14.45%| unknown
2547.93/2554.63 c 2555s| 34100 | 34101 | 26293k| 747.3 | 354M | 93 | 470 | 894 |1038 | 157k| 1 |1034 |2033 | 1.660123e+02 | 1.900000e+02 | 14.45%| unknown
2554.51/2561.26 c 2561s| 34200 | 34201 | 26368k| 747.3 | 354M | 93 | 470 | 894 |1042 | 158k| 1 |1034 |2036 | 1.660132e+02 | 1.900000e+02 | 14.45%| unknown
2560.19/2566.92 c 2567s| 34300 | 34301 | 26433k| 747.0 | 354M | 93 | 470 | 894 | 994 | 158k| 1 |1037 |2038 | 1.660142e+02 | 1.900000e+02 | 14.45%| unknown
2565.48/2572.21 c 2572s| 34400 | 34401 | 26491k| 746.6 | 354M | 93 | 470 | 894 |1037 | 158k| 1 |1038 |2040 | 1.660151e+02 | 1.900000e+02 | 14.45%| unknown
2571.16/2577.97 c 2578s| 34500 | 34501 | 26555k| 746.3 | 354M | 93 | 470 | 894 |1066 | 159k| 1 |1039 |2041 | 1.660159e+02 | 1.900000e+02 | 14.45%| unknown
2575.45/2582.22 c 2582s| 34600 | 34601 | 26605k| 745.6 | 354M | 93 | 470 | 894 |1049 | 159k| 1 |1040 |2042 | 1.660163e+02 | 1.900000e+02 | 14.45%| unknown
2581.03/2587.84 c 2588s| 34700 | 34701 | 26671k| 745.3 | 354M | 93 | 470 | 894 |1057 | 159k| 1 |1043 |2042 | 1.660173e+02 | 1.900000e+02 | 14.45%| unknown
2585.52/2592.36 c 2592s| 34800 | 34801 | 26725k| 744.8 | 354M | 93 | 470 | 894 |1050 | 160k| 1 |1045 |2044 | 1.660178e+02 | 1.900000e+02 | 14.45%| unknown
2591.70/2598.55 c 2599s| 34900 | 34901 | 26791k| 744.5 | 354M | 93 | 470 | 894 |1062 | 160k| 1 |1048 |2044 | 1.660183e+02 | 1.900000e+02 | 14.45%| unknown
2595.99/2602.87 c 2603s| 35000 | 35001 | 26844k| 743.9 | 354M | 93 | 470 | 894 |1038 | 160k| 1 |1048 |2045 | 1.660189e+02 | 1.900000e+02 | 14.44%| unknown
2601.18/2608.08 c 2608s| 35100 | 35101 | 26903k| 743.5 | 354M | 93 | 470 | 894 |1043 | 161k| 1 |1050 |2045 | 1.660198e+02 | 1.900000e+02 | 14.44%| unknown
2607.65/2614.59 c 2615s| 35200 | 35201 | 26994k| 744.0 | 354M | 93 | 470 | 894 |1032 | 161k| 1 |1052 |2048 | 1.660208e+02 | 1.900000e+02 | 14.44%| unknown
2614.14/2621.10 c 2621s| 35300 | 35301 | 27066k| 743.9 | 354M | 93 | 470 | 894 |1045 | 161k| 1 |1058 |2050 | 1.660223e+02 | 1.900000e+02 | 14.44%| unknown
2618.92/2625.87 c 2626s| 35400 | 35401 | 27124k| 743.5 | 354M | 93 | 470 | 894 |1046 | 162k| 1 |1060 |2050 | 1.660228e+02 | 1.900000e+02 | 14.44%| unknown
2624.90/2631.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2624.90/2631.89 c 2632s| 35500 | 35501 | 27192k| 743.3 | 354M | 93 | 470 | 894 |1040 | 162k| 1 |1064 |2050 | 1.660231e+02 | 1.900000e+02 | 14.44%| unknown
2629.99/2636.94 c 2637s| 35600 | 35601 | 27247k| 742.7 | 354M | 93 | 470 | 894 |1044 | 163k| 1 |1067 |2051 | 1.660236e+02 | 1.900000e+02 | 14.44%| unknown
2635.57/2642.54 c 2643s| 35700 | 35701 | 27315k| 742.6 | 354M | 93 | 470 | 894 |1052 | 163k| 1 |1069 |2051 | 1.660247e+02 | 1.900000e+02 | 14.44%| unknown
2641.25/2648.28 c 2648s| 35800 | 35801 | 27378k| 742.3 | 355M | 93 | 470 | 894 |1039 | 163k| 1 |1072 |2052 | 1.660260e+02 | 1.900000e+02 | 14.44%| unknown
2647.53/2654.57 c 2655s| 35900 | 35901 | 27450k| 742.2 | 355M | 93 | 470 | 894 |1057 | 164k| 1 |1077 |2056 | 1.660267e+02 | 1.900000e+02 | 14.44%| unknown
2654.03/2661.07 c 2661s| 36000 | 36001 | 27528k| 742.3 | 355M | 93 | 470 | 894 |1037 | 164k| 1 |1077 |2062 | 1.660277e+02 | 1.900000e+02 | 14.44%| unknown
2660.80/2667.87 c 2668s| 36100 | 36101 | 27602k| 742.3 | 355M | 93 | 470 | 894 |1029 | 164k| 1 |1080 |2064 | 1.660282e+02 | 1.900000e+02 | 14.44%| unknown
2666.38/2673.43 c 2673s| 36200 | 36201 | 27664k| 742.0 | 356M | 93 | 470 | 894 |1055 | 165k| 1 |1081 |2068 | 1.660287e+02 | 1.900000e+02 | 14.44%| unknown
2672.17/2679.29 c 2679s| 36300 | 36301 | 27730k| 741.8 | 356M | 93 | 470 | 894 |1052 | 165k| 3 |1085 |2069 | 1.660291e+02 | 1.900000e+02 | 14.44%| unknown
2677.07/2684.15 c 2684s| 36400 | 36401 | 27786k| 741.3 | 356M | 93 | 470 | 894 |1048 | 165k| 1 |1085 |2071 | 1.660298e+02 | 1.900000e+02 | 14.44%| unknown
2683.44/2690.54 c 2691s| 36500 | 36501 | 27852k| 741.1 | 356M | 93 | 470 | 894 |1061 | 166k| 1 |1087 |2072 | 1.660308e+02 | 1.900000e+02 | 14.44%| unknown
2688.04/2695.17 c 2695s| 36600 | 36601 | 27906k| 740.5 | 356M | 93 | 470 | 894 |1045 | 166k| 1 |1090 |2073 | 1.660318e+02 | 1.900000e+02 | 14.44%| unknown
2694.50/2701.69 c 2702s| 36700 | 36701 | 27975k| 740.4 | 356M | 93 | 470 | 894 |1027 | 166k| 1 |1097 |2075 | 1.660325e+02 | 1.900000e+02 | 14.44%| unknown
2699.69/2706.81 c 2707s| 36800 | 36801 | 28033k| 740.0 | 356M | 93 | 470 | 894 |1033 | 167k| 1 |1097 |2076 | 1.660334e+02 | 1.900000e+02 | 14.43%| unknown
2705.07/2712.23 c 2712s| 36900 | 36901 | 28094k| 739.6 | 356M | 93 | 470 | 894 |1045 | 167k| 1 |1102 |2078 | 1.660350e+02 | 1.900000e+02 | 14.43%| unknown
2711.25/2718.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2711.25/2718.40 c 2718s| 37000 | 37001 | 28167k| 739.6 | 356M | 93 | 470 | 894 |1047 | 167k| 1 |1102 |2078 | 1.660354e+02 | 1.900000e+02 | 14.43%| unknown
2717.34/2724.56 c 2725s| 37100 | 37101 | 28233k| 739.4 | 356M | 93 | 470 | 894 |1035 | 168k| 1 |1104 |2078 | 1.660364e+02 | 1.900000e+02 | 14.43%| unknown
2722.72/2729.96 c 2730s| 37200 | 37201 | 28294k| 739.1 | 356M | 93 | 470 | 894 |1050 | 168k| 1 |1106 |2081 | 1.660372e+02 | 1.900000e+02 | 14.43%| unknown
2728.20/2735.40 c 2735s| 37300 | 37301 | 28360k| 738.9 | 356M | 93 | 470 | 894 |1038 | 168k| 1 |1107 |2081 | 1.660379e+02 | 1.900000e+02 | 14.43%| unknown
2732.09/2739.33 o 189
2732.09/2739.33 c d2739s| 37360 | 37361 | 28403k| 738.8 |pscostdi| 93 | 470 | 894 |1032 | 0 | 1 |1111 |2084 | 1.660386e+02 | 1.890000e+02 | 13.83%| unknown
2734.39/2741.62 c 2742s| 37400 | 37401 | 28433k| 738.8 | 357M | 93 | 470 | 894 |1043 | 169k| 1 |1111 |2084 | 1.660388e+02 | 1.890000e+02 | 13.83%| unknown
2740.17/2747.48 c 2747s| 37500 | 37501 | 28509k| 738.9 | 358M | 93 | 470 | 894 |1026 | 169k| 1 |1111 |2084 | 1.660398e+02 | 1.890000e+02 | 13.83%| unknown
2746.95/2754.26 c 2754s| 37600 | 37601 | 28586k| 739.0 | 358M | 93 | 470 | 894 |1060 | 170k| 1 |1116 |2084 | 1.660406e+02 | 1.890000e+02 | 13.83%| unknown
2751.04/2758.37 c 2758s| 37700 | 37701 | 28635k| 738.3 | 359M | 93 | 470 | 894 |1054 | 170k| 1 |1116 |2084 | 1.660419e+02 | 1.890000e+02 | 13.83%| unknown
2756.62/2763.91 c 2764s| 37800 | 37801 | 28699k| 738.1 | 359M | 93 | 470 | 894 |1023 | 170k| 1 |1120 |2084 | 1.660424e+02 | 1.890000e+02 | 13.83%| unknown
2761.61/2768.94 c 2769s| 37900 | 37901 | 28759k| 737.7 | 359M | 93 | 470 | 894 |1030 | 170k| 1 |1124 |2085 | 1.660434e+02 | 1.890000e+02 | 13.83%| unknown
2767.09/2774.41 c 2774s| 38000 | 38001 | 28818k| 737.3 | 359M | 93 | 470 | 894 |1034 | 171k| 1 |1128 |2090 | 1.660439e+02 | 1.890000e+02 | 13.83%| unknown
2772.97/2780.39 c 2780s| 38100 | 38101 | 28887k| 737.2 | 359M | 93 | 470 | 897 |1056 | 171k| 1 |1132 |2093 | 1.660447e+02 | 1.890000e+02 | 13.82%| unknown
2778.46/2785.80 c 2786s| 38200 | 38201 | 28946k| 736.8 | 359M | 93 | 470 | 897 |1032 | 171k| 1 |1132 |2099 | 1.660453e+02 | 1.890000e+02 | 13.82%| unknown
2785.34/2792.79 c 2793s| 38300 | 38301 | 29037k| 737.3 | 359M | 93 | 470 | 897 |1028 | 172k| 1 |1137 |2099 | 1.660460e+02 | 1.890000e+02 | 13.82%| unknown
2790.22/2797.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2790.22/2797.61 c 2798s| 38400 | 38401 | 29090k| 736.8 | 359M | 93 | 470 | 897 |1049 | 172k| 1 |1139 |2101 | 1.660470e+02 | 1.890000e+02 | 13.82%| unknown
2795.62/2803.08 c 2803s| 38500 | 38501 | 29155k| 736.5 | 359M | 93 | 470 | 897 |1030 | 172k| 1 |1139 |2102 | 1.660479e+02 | 1.890000e+02 | 13.82%| unknown
2800.39/2807.86 c 2808s| 38600 | 38601 | 29205k| 735.9 | 359M | 93 | 470 | 897 | 994 | 173k| 1 |1142 |2103 | 1.660493e+02 | 1.890000e+02 | 13.82%| unknown
2806.07/2813.53 c 2814s| 38700 | 38701 | 29272k| 735.8 | 359M | 93 | 470 | 897 |1043 | 173k| 1 |1146 |2104 | 1.660503e+02 | 1.890000e+02 | 13.82%| unknown
2811.67/2819.16 c 2819s| 38800 | 38801 | 29332k| 735.4 | 359M | 93 | 470 | 897 |1054 | 173k| 1 |1150 |2106 | 1.660517e+02 | 1.890000e+02 | 13.82%| unknown
2818.34/2825.80 c 2826s| 38900 | 38901 | 29408k| 735.5 | 359M | 93 | 470 | 897 |1037 | 174k| 1 |1154 |2106 | 1.660523e+02 | 1.890000e+02 | 13.82%| unknown
2823.53/2831.06 c 2831s| 39000 | 39001 | 29468k| 735.2 | 359M | 93 | 470 | 897 |1050 | 174k| 1 |1157 |2106 | 1.660530e+02 | 1.890000e+02 | 13.82%| unknown
2828.91/2836.41 c 2836s| 39100 | 39101 | 29524k| 734.7 | 359M | 93 | 470 | 897 | 993 | 174k| 1 |1161 |2106 | 1.660540e+02 | 1.890000e+02 | 13.82%| unknown
2833.89/2841.40 c 2841s| 39200 | 39201 | 29585k| 734.4 | 359M | 93 | 470 | 897 |1030 | 175k| 1 |1163 |2107 | 1.660550e+02 | 1.890000e+02 | 13.82%| unknown
2839.28/2846.83 c 2847s| 39300 | 39301 | 29643k| 734.0 | 359M | 93 | 470 | 897 |1040 | 175k| 1 |1164 |2107 | 1.660558e+02 | 1.890000e+02 | 13.82%| unknown
2844.36/2851.96 c 2852s| 39400 | 39401 | 29705k| 733.8 | 359M | 93 | 470 | 897 |1040 | 175k| 1 |1167 |2107 | 1.660568e+02 | 1.890000e+02 | 13.82%| unknown
2849.65/2857.23 c 2857s| 39500 | 39501 | 29763k| 733.4 | 359M | 93 | 470 | 896 |1059 | 176k| 1 |1169 |2111 | 1.660577e+02 | 1.890000e+02 | 13.82%| unknown
2855.44/2863.02 c 2863s| 39600 | 39601 | 29833k| 733.3 | 359M | 93 | 470 | 896 |1057 | 176k| 1 |1174 |2112 | 1.660592e+02 | 1.890000e+02 | 13.81%| unknown
2861.42/2869.06 c 2869s| 39700 | 39701 | 29899k| 733.1 | 359M | 93 | 470 | 896 |1044 | 176k| 4 |1174 |2116 | 1.660598e+02 | 1.890000e+02 | 13.81%| unknown
2865.90/2873.59 c 2874s| 39800 | 39801 | 29953k| 732.6 | 359M | 93 | 470 | 896 |1053 | 177k| 1 |1176 |2116 | 1.660608e+02 | 1.890000e+02 | 13.81%| unknown
2870.58/2878.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2870.58/2878.29 c 2878s| 39900 | 39901 | 30008k| 732.2 | 359M | 93 | 470 | 894 |1034 | 177k| 1 |1176 |2118 | 1.660615e+02 | 1.890000e+02 | 13.81%| unknown
2876.38/2884.07 c 2884s| 40000 | 40001 | 30074k| 732.0 | 359M | 93 | 470 | 894 |1037 | 177k| 1 |1180 |2118 | 1.660625e+02 | 1.890000e+02 | 13.81%| unknown
2880.85/2888.54 c 2889s| 40100 | 40101 | 30126k| 731.5 | 360M | 93 | 470 | 894 |1054 | 178k| 1 |1183 |2120 | 1.660631e+02 | 1.890000e+02 | 13.81%| unknown
2886.94/2894.65 c 2895s| 40200 | 40201 | 30195k| 731.4 | 360M | 93 | 470 | 894 |1058 | 178k| 1 |1188 |2125 | 1.660640e+02 | 1.890000e+02 | 13.81%| unknown
2893.12/2900.85 c 2901s| 40300 | 40301 | 30258k| 731.1 | 360M | 93 | 470 | 894 |1048 | 178k| 1 |1192 |2127 | 1.660645e+02 | 1.890000e+02 | 13.81%| unknown
2898.00/2905.72 c 2906s| 40400 | 40401 | 30313k| 730.7 | 360M | 93 | 470 | 894 |1045 | 178k| 1 |1192 |2130 | 1.660654e+02 | 1.890000e+02 | 13.81%| unknown
2902.79/2910.58 c 2911s| 40500 | 40501 | 30370k| 730.3 | 360M | 93 | 470 | 894 |1054 | 179k| 1 |1192 |2133 | 1.660665e+02 | 1.890000e+02 | 13.81%| unknown
2909.28/2917.01 c 2917s| 40600 | 40601 | 30445k| 730.4 | 360M | 93 | 470 | 894 |1035 | 179k| 1 |1196 |2135 | 1.660673e+02 | 1.890000e+02 | 13.81%| unknown
2914.75/2922.50 c 2922s| 40700 | 40701 | 30513k| 730.3 | 360M | 93 | 470 | 894 |1041 | 179k| 1 |1196 |2138 | 1.660685e+02 | 1.890000e+02 | 13.81%| unknown
2920.44/2928.20 c 2928s| 40800 | 40801 | 30575k| 730.0 | 360M | 93 | 470 | 894 |1039 | 180k| 1 |1199 |2141 | 1.660695e+02 | 1.890000e+02 | 13.81%| unknown
2927.41/2935.28 c 2935s| 40900 | 40901 | 30674k| 730.6 | 360M | 93 | 470 | 894 |1034 | 180k| 3 |1199 |2141 | 1.660702e+02 | 1.890000e+02 | 13.81%| unknown
2932.80/2940.69 c 2941s| 41000 | 41001 | 30734k| 730.3 | 360M | 93 | 470 | 894 |1048 | 180k| 1 |1200 |2142 | 1.660708e+02 | 1.890000e+02 | 13.81%| unknown
2937.88/2945.76 c 2946s| 41100 | 41101 | 30795k| 730.0 | 360M | 93 | 470 | 894 |1037 | 181k| 1 |1200 |2143 | 1.660719e+02 | 1.890000e+02 | 13.81%| unknown
2942.67/2950.58 c 2951s| 41200 | 41201 | 30851k| 729.6 | 360M | 93 | 470 | 894 |1063 | 181k| 1 |1201 |2144 | 1.660728e+02 | 1.890000e+02 | 13.81%| unknown
2948.65/2956.53 c 2957s| 41300 | 41301 | 30915k| 729.4 | 361M | 93 | 470 | 894 |1035 | 181k| 1 |1202 |2145 | 1.660737e+02 | 1.890000e+02 | 13.80%| unknown
2953.25/2961.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2953.25/2961.19 c 2961s| 41400 | 41401 | 30972k| 729.0 | 361M | 93 | 470 | 894 |1054 | 182k| 1 |1203 |2146 | 1.660746e+02 | 1.890000e+02 | 13.80%| unknown
2957.63/2965.56 c 2966s| 41500 | 41501 | 31026k| 728.6 | 361M | 93 | 470 | 894 |1007 | 182k| 1 |1204 |2146 | 1.660758e+02 | 1.890000e+02 | 13.80%| unknown
2963.31/2971.28 c 2971s| 41600 | 41601 | 31089k| 728.3 | 361M | 93 | 470 | 894 |1035 | 182k| 1 |1205 |2146 | 1.660768e+02 | 1.890000e+02 | 13.80%| unknown
2968.69/2976.60 c 2977s| 41700 | 41701 | 31149k| 728.0 | 361M | 93 | 470 | 894 |1033 | 182k| 1 |1205 |2146 | 1.660779e+02 | 1.890000e+02 | 13.80%| unknown
2975.67/2983.68 c 2984s| 41800 | 41801 | 31236k| 728.4 | 361M | 93 | 470 | 894 |1060 | 183k| 1 |1208 |2146 | 1.660784e+02 | 1.890000e+02 | 13.80%| unknown
2980.56/2988.54 c 2989s| 41900 | 41901 | 31293k| 728.0 | 361M | 93 | 470 | 894 |1038 | 183k| 1 |1212 |2146 | 1.660790e+02 | 1.890000e+02 | 13.80%| unknown
2985.44/2993.45 c 2993s| 42000 | 42001 | 31347k| 727.6 | 361M | 93 | 470 | 894 |1053 | 183k| 1 |1213 |2148 | 1.660803e+02 | 1.890000e+02 | 13.80%| unknown
2991.04/2999.06 c 2999s| 42100 | 42101 | 31412k| 727.4 | 361M | 93 | 470 | 894 |1046 | 184k| 1 |1215 |2148 | 1.660807e+02 | 1.890000e+02 | 13.80%| unknown
2996.02/3004.06 c 3004s| 42200 | 42201 | 31468k| 727.0 | 361M | 93 | 470 | 894 |1065 | 184k| 1 |1218 |2150 | 1.660813e+02 | 1.890000e+02 | 13.80%| unknown
3001.70/3009.79 c 3010s| 42300 | 42301 | 31532k| 726.8 | 361M | 93 | 470 | 894 | 995 | 184k| 1 |1221 |2152 | 1.660823e+02 | 1.890000e+02 | 13.80%| unknown
3006.88/3014.93 c 3015s| 42400 | 42401 | 31590k| 726.5 | 362M | 93 | 470 | 894 |1033 | 185k| 1 |1221 |2153 | 1.660827e+02 | 1.890000e+02 | 13.80%| unknown
3012.66/3020.70 c 3021s| 42500 | 42501 | 31655k| 726.3 | 362M | 93 | 470 | 894 |1060 | 185k| 1 |1225 |2158 | 1.660839e+02 | 1.890000e+02 | 13.80%| unknown
3017.45/3025.53 c 3026s| 42600 | 42601 | 31708k| 725.9 | 362M | 93 | 470 | 894 |1041 | 185k| 1 |1226 |2161 | 1.660845e+02 | 1.890000e+02 | 13.80%| unknown
3023.33/3031.47 c 3031s| 42700 | 42701 | 31770k| 725.6 | 362M | 93 | 470 | 894 |1029 | 185k| 1 |1230 |2164 | 1.660851e+02 | 1.890000e+02 | 13.80%| unknown
3028.72/3036.87 c 3037s| 42800 | 42801 | 31827k| 725.3 | 362M | 93 | 470 | 894 |1035 | 186k| 1 |1232 |2168 | 1.660859e+02 | 1.890000e+02 | 13.80%| unknown
3034.70/3042.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3034.70/3042.81 c 3043s| 42900 | 42901 | 31891k| 725.1 | 362M | 93 | 470 | 894 |1049 | 186k| 1 |1235 |2171 | 1.660868e+02 | 1.890000e+02 | 13.80%| unknown
3041.18/3049.31 c 3049s| 43000 | 43001 | 31968k| 725.1 | 362M | 93 | 470 | 894 |1029 | 186k| 1 |1238 |2173 | 1.660873e+02 | 1.890000e+02 | 13.80%| unknown
3045.98/3054.18 c 3054s| 43100 | 43101 | 32021k| 724.7 | 362M | 93 | 470 | 894 |1046 | 187k| 1 |1243 |2173 | 1.660883e+02 | 1.890000e+02 | 13.79%| unknown
3051.75/3059.92 c 3060s| 43200 | 43201 | 32087k| 724.6 | 362M | 93 | 470 | 896 |1027 | 187k| 1 |1246 |2174 | 1.660889e+02 | 1.890000e+02 | 13.79%| unknown
3056.43/3064.65 c 3065s| 43300 | 43301 | 32142k| 724.2 | 362M | 93 | 470 | 896 | 992 | 187k| 1 |1247 |2174 | 1.660899e+02 | 1.890000e+02 | 13.79%| unknown
3060.93/3069.15 c 3069s| 43400 | 43401 | 32194k| 723.7 | 362M | 93 | 470 | 896 |1027 | 188k| 1 |1249 |2174 | 1.660905e+02 | 1.890000e+02 | 13.79%| unknown
3066.31/3074.58 c 3075s| 43500 | 43501 | 32258k| 723.5 | 362M | 93 | 470 | 896 |1048 | 188k| 1 |1251 |2174 | 1.660911e+02 | 1.890000e+02 | 13.79%| unknown
3071.39/3079.69 c 3080s| 43600 | 43601 | 32316k| 723.2 | 362M | 93 | 470 | 893 |1031 | 188k| 1 |1252 |2175 | 1.660918e+02 | 1.890000e+02 | 13.79%| unknown
3077.27/3085.51 c 3086s| 43700 | 43701 | 32381k| 723.0 | 362M | 93 | 470 | 893 |1012 | 189k| 1 |1256 |2175 | 1.660922e+02 | 1.890000e+02 | 13.79%| unknown
3082.26/3090.54 c 3091s| 43800 | 43801 | 32442k| 722.8 | 362M | 93 | 470 | 892 |1041 | 189k| 1 |1257 |2175 | 1.660934e+02 | 1.890000e+02 | 13.79%| unknown
3087.75/3096.08 c 3096s| 43900 | 43901 | 32505k| 722.6 | 362M | 93 | 470 | 892 |1055 | 189k| 1 |1260 |2177 | 1.660939e+02 | 1.890000e+02 | 13.79%| unknown
3093.43/3101.77 c 3102s| 44000 | 44001 | 32576k| 722.6 | 362M | 93 | 470 | 892 |1033 | 190k| 1 |1261 |2178 | 1.660948e+02 | 1.890000e+02 | 13.79%| unknown
3098.91/3107.24 c 3107s| 44100 | 44101 | 32640k| 722.4 | 363M | 93 | 470 | 892 |1048 | 190k| 1 |1262 |2180 | 1.660953e+02 | 1.890000e+02 | 13.79%| unknown
3103.81/3112.14 c 3112s| 44200 | 44201 | 32696k| 722.0 | 363M | 93 | 470 | 894 |1033 | 190k| 1 |1267 |2180 | 1.660959e+02 | 1.890000e+02 | 13.79%| unknown
3108.58/3116.97 c 3117s| 44300 | 44301 | 32755k| 721.7 | 363M | 93 | 470 | 894 |1049 | 191k| 1 |1269 |2181 | 1.660968e+02 | 1.890000e+02 | 13.79%| unknown
3114.36/3122.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3114.36/3122.78 c 3123s| 44400 | 44401 | 32821k| 721.6 | 363M | 93 | 470 | 894 |1038 | 191k| 1 |1273 |2181 | 1.660974e+02 | 1.890000e+02 | 13.79%| unknown
3119.35/3127.72 c 3128s| 44500 | 44501 | 32879k| 721.3 | 364M | 93 | 470 | 894 |1037 | 191k| 1 |1275 |2181 | 1.660981e+02 | 1.890000e+02 | 13.79%| unknown
3125.23/3133.64 c 3134s| 44600 | 44601 | 32943k| 721.1 | 364M | 93 | 470 | 897 |1061 | 192k| 1 |1279 |2183 | 1.660987e+02 | 1.890000e+02 | 13.79%| unknown
3130.51/3138.97 c 3139s| 44700 | 44701 | 33001k| 720.8 | 364M | 93 | 470 | 897 |1036 | 192k| 1 |1282 |2188 | 1.660993e+02 | 1.890000e+02 | 13.79%| unknown
3136.40/3144.84 c 3145s| 44800 | 44801 | 33066k| 720.6 | 364M | 93 | 470 | 897 |1039 | 192k| 1 |1283 |2191 | 1.661000e+02 | 1.890000e+02 | 13.79%| unknown
3142.18/3150.69 c 3151s| 44900 | 44901 | 33135k| 720.6 | 364M | 93 | 470 | 897 |1052 | 193k| 1 |1286 |2193 | 1.661008e+02 | 1.890000e+02 | 13.79%| unknown
3146.97/3155.49 c 3155s| 45000 | 45001 | 33191k| 720.2 | 364M | 93 | 470 | 897 |1038 | 193k| 1 |1288 |2195 | 1.661014e+02 | 1.890000e+02 | 13.79%| unknown
3152.56/3161.02 c 3161s| 45100 | 45101 | 33249k| 719.9 | 364M | 93 | 470 | 897 |1061 | 193k| 1 |1289 |2198 | 1.661018e+02 | 1.890000e+02 | 13.79%| unknown
3158.03/3166.56 c 3167s| 45200 | 45201 | 33312k| 719.7 | 364M | 93 | 470 | 897 |1032 | 194k| 1 |1292 |2200 | 1.661026e+02 | 1.890000e+02 | 13.79%| unknown
3162.92/3171.41 c 3171s| 45300 | 45301 | 33367k| 719.3 | 365M | 93 | 470 | 897 |1046 | 194k| 1 |1292 |2200 | 1.661030e+02 | 1.890000e+02 | 13.78%| unknown
3167.90/3176.49 c 3176s| 45400 | 45401 | 33423k| 719.0 | 365M | 93 | 470 | 897 |1044 | 194k| 1 |1294 |2204 | 1.661039e+02 | 1.890000e+02 | 13.78%| unknown
3172.99/3181.51 c 3182s| 45500 | 45501 | 33479k| 718.7 | 365M | 93 | 470 | 896 |1046 | 195k| 1 |1295 |2204 | 1.661046e+02 | 1.890000e+02 | 13.78%| unknown
3177.38/3185.92 c 3186s| 45600 | 45601 | 33531k| 718.2 | 365M | 93 | 470 | 896 |1033 | 195k| 1 |1297 |2205 | 1.661050e+02 | 1.890000e+02 | 13.78%| unknown
3182.96/3191.57 c 3192s| 45700 | 45701 | 33594k| 718.1 | 365M | 93 | 470 | 896 |1047 | 195k| 1 |1301 |2206 | 1.661060e+02 | 1.890000e+02 | 13.78%| unknown
3188.64/3197.26 c 3197s| 45800 | 45801 | 33659k| 717.9 | 365M | 93 | 470 | 896 |1034 | 195k| 1 |1304 |2206 | 1.661067e+02 | 1.890000e+02 | 13.78%| unknown
3194.03/3202.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3194.03/3202.67 c 3203s| 45900 | 45901 | 33718k| 717.6 | 365M | 93 | 470 | 895 |1039 | 196k| 1 |1306 |2211 | 1.661072e+02 | 1.890000e+02 | 13.78%| unknown
3199.52/3208.11 c 3208s| 46000 | 46001 | 33778k| 717.4 | 365M | 93 | 470 | 895 |1064 | 196k| 1 |1309 |2211 | 1.661079e+02 | 1.890000e+02 | 13.78%| unknown
3204.90/3213.57 c 3214s| 46100 | 46101 | 33834k| 717.1 | 365M | 93 | 470 | 895 |1065 | 196k| 1 |1311 |2214 | 1.661084e+02 | 1.890000e+02 | 13.78%| unknown
3212.07/3220.74 c 3221s| 46200 | 46201 | 33920k| 717.4 | 365M | 93 | 470 | 894 |1049 | 197k| 1 |1313 |2215 | 1.661087e+02 | 1.890000e+02 | 13.78%| unknown
3217.26/3225.98 c 3226s| 46300 | 46301 | 33975k| 717.0 | 365M | 93 | 470 | 894 |1042 | 197k| 1 |1315 |2215 | 1.661092e+02 | 1.890000e+02 | 13.78%| unknown
3221.85/3230.56 c 3231s| 46400 | 46401 | 34028k| 716.6 | 366M | 93 | 470 | 894 |1034 | 197k| 1 |1315 |2216 | 1.661100e+02 | 1.890000e+02 | 13.78%| unknown
3227.63/3236.37 c 3236s| 46500 | 46501 | 34092k| 716.4 | 366M | 93 | 470 | 894 | 997 | 198k| 1 |1316 |2216 | 1.661104e+02 | 1.890000e+02 | 13.78%| unknown
3233.11/3241.89 c 3242s| 46600 | 46601 | 34157k| 716.3 | 366M | 93 | 470 | 894 |1053 | 198k| 1 |1318 |2216 | 1.661112e+02 | 1.890000e+02 | 13.78%| unknown
3238.60/3247.32 c 3247s| 46700 | 46701 | 34218k| 716.1 | 366M | 93 | 470 | 894 |1040 | 198k| 1 |1322 |2216 | 1.661121e+02 | 1.890000e+02 | 13.78%| unknown
3243.68/3252.48 c 3252s| 46800 | 46801 | 34280k| 715.9 | 366M | 93 | 470 | 894 |1038 | 199k| 1 |1323 |2216 | 1.661130e+02 | 1.890000e+02 | 13.78%| unknown
3248.67/3257.49 c 3257s| 46900 | 46901 | 34341k| 715.7 | 366M | 93 | 470 | 894 |1044 | 199k| 1 |1324 |2216 | 1.661133e+02 | 1.890000e+02 | 13.78%| unknown
3254.36/3263.12 c 3263s| 47000 | 47001 | 34403k| 715.5 | 366M | 93 | 470 | 894 |1043 | 199k| 1 |1326 |2216 | 1.661137e+02 | 1.890000e+02 | 13.78%| unknown
3259.35/3268.14 c 3268s| 47100 | 47101 | 34458k| 715.1 | 366M | 93 | 470 | 894 |1051 | 200k| 1 |1326 |2221 | 1.661141e+02 | 1.890000e+02 | 13.78%| unknown
3265.23/3274.02 c 3274s| 47200 | 47201 | 34526k| 715.0 | 366M | 93 | 470 | 894 |1049 | 200k| 1 |1327 |2224 | 1.661147e+02 | 1.890000e+02 | 13.78%| unknown
3270.90/3279.70 c 3280s| 47300 | 47301 | 34585k| 714.8 | 366M | 93 | 470 | 894 |1038 | 200k| 1 |1329 |2226 | 1.661154e+02 | 1.890000e+02 | 13.78%| unknown
3276.68/3285.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3276.68/3285.51 c 3286s| 47400 | 47401 | 34648k| 714.6 | 367M | 93 | 470 | 894 |1055 | 200k| 1 |1331 |2226 | 1.661159e+02 | 1.890000e+02 | 13.78%| unknown
3281.97/3290.80 c 3291s| 47500 | 47501 | 34706k| 714.3 | 367M | 93 | 470 | 894 |1031 | 201k| 1 |1333 |2227 | 1.661164e+02 | 1.890000e+02 | 13.78%| unknown
3287.05/3295.98 c 3296s| 47600 | 47601 | 34767k| 714.1 | 367M | 93 | 470 | 894 |1050 | 201k| 1 |1335 |2228 | 1.661169e+02 | 1.890000e+02 | 13.78%| unknown
3291.84/3300.71 c 3301s| 47700 | 47701 | 34822k| 713.8 | 367M | 93 | 470 | 894 |1030 | 201k| 1 |1335 |2228 | 1.661173e+02 | 1.890000e+02 | 13.78%| unknown
3297.63/3306.58 c 3307s| 47800 | 47801 | 34887k| 713.7 | 367M | 93 | 470 | 894 |1061 | 202k| 1 |1340 |2230 | 1.661180e+02 | 1.890000e+02 | 13.77%| unknown
3302.02/3310.98 c 3311s| 47900 | 47901 | 34938k| 713.2 | 367M | 93 | 470 | 894 |1029 | 202k| 1 |1341 |2231 | 1.661184e+02 | 1.890000e+02 | 13.77%| unknown
3307.22/3316.12 c 3316s| 48000 | 48001 | 34996k| 713.0 | 367M | 93 | 470 | 894 |1050 | 202k| 1 |1344 |2233 | 1.661190e+02 | 1.890000e+02 | 13.77%| unknown
3311.80/3320.78 c 3321s| 48100 | 48101 | 35050k| 712.6 | 367M | 93 | 470 | 894 |1027 | 203k| 1 |1346 |2235 | 1.661195e+02 | 1.890000e+02 | 13.77%| unknown
3318.20/3327.13 c 3327s| 48200 | 48201 | 35122k| 712.6 | 367M | 93 | 470 | 894 |1034 | 203k| 1 |1350 |2236 | 1.661202e+02 | 1.890000e+02 | 13.77%| unknown
3323.08/3332.06 c 3332s| 48300 | 48301 | 35178k| 712.3 | 367M | 93 | 470 | 894 |1037 | 203k| 1 |1353 |2239 | 1.661208e+02 | 1.890000e+02 | 13.77%| unknown
3328.17/3337.12 c 3337s| 48400 | 48401 | 35238k| 712.1 | 367M | 93 | 470 | 894 |1037 | 203k| 1 |1358 |2239 | 1.661213e+02 | 1.890000e+02 | 13.77%| unknown
3333.06/3342.01 c 3342s| 48500 | 48501 | 35294k| 711.8 | 367M | 93 | 470 | 894 |1062 | 204k| 1 |1360 |2239 | 1.661218e+02 | 1.890000e+02 | 13.77%| unknown
3339.33/3348.37 c 3348s| 48600 | 48601 | 35375k| 712.0 | 367M | 93 | 470 | 894 |1059 | 204k| 1 |1363 |2240 | 1.661224e+02 | 1.890000e+02 | 13.77%| unknown
3344.32/3353.35 c 3353s| 48700 | 48701 | 35435k| 711.8 | 367M | 93 | 470 | 894 |1020 | 204k| 1 |1365 |2242 | 1.661230e+02 | 1.890000e+02 | 13.77%| unknown
3350.81/3359.85 c 3360s| 48800 | 48801 | 35503k| 711.7 | 367M | 93 | 470 | 894 |1061 | 205k| 1 |1366 |2246 | 1.661235e+02 | 1.890000e+02 | 13.77%| unknown
3355.60/3364.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3355.60/3364.67 c 3365s| 48900 | 48901 | 35559k| 711.4 | 367M | 93 | 470 | 894 |1057 | 205k| 1 |1368 |2247 | 1.661246e+02 | 1.890000e+02 | 13.77%| unknown
3361.00/3370.09 c 3370s| 49000 | 49001 | 35616k| 711.1 | 367M | 93 | 470 | 894 |1034 | 205k| 1 |1369 |2247 | 1.661255e+02 | 1.890000e+02 | 13.77%| unknown
3366.77/3375.80 c 3376s| 49100 | 49101 | 35675k| 710.9 | 367M | 93 | 470 | 894 |1051 | 206k| 1 |1373 |2247 | 1.661263e+02 | 1.890000e+02 | 13.77%| unknown
3372.26/3381.36 c 3381s| 49200 | 49201 | 35737k| 710.7 | 367M | 93 | 470 | 894 |1033 | 206k| 1 |1374 |2249 | 1.661268e+02 | 1.890000e+02 | 13.77%| unknown
3377.55/3386.69 c 3387s| 49300 | 49301 | 35799k| 710.5 | 367M | 93 | 470 | 894 |1028 | 206k| 1 |1379 |2250 | 1.661274e+02 | 1.890000e+02 | 13.77%| unknown
3382.24/3391.30 c 3391s| 49400 | 49401 | 35852k| 710.1 | 367M | 93 | 470 | 894 |1042 | 207k| 1 |1379 |2250 | 1.661278e+02 | 1.890000e+02 | 13.77%| unknown
3387.22/3396.37 c 3396s| 49500 | 49501 | 35907k| 709.8 | 367M | 93 | 470 | 894 |1031 | 207k| 1 |1381 |2254 | 1.661285e+02 | 1.890000e+02 | 13.77%| unknown
3392.61/3401.77 c 3402s| 49600 | 49601 | 35964k| 709.6 | 367M | 93 | 470 | 894 |1054 | 207k| 1 |1384 |2259 | 1.661289e+02 | 1.890000e+02 | 13.77%| unknown
3397.80/3406.93 c 3407s| 49700 | 49701 | 36023k| 709.3 | 368M | 93 | 470 | 894 |1041 | 207k| 1 |1386 |2261 | 1.661296e+02 | 1.890000e+02 | 13.77%| unknown
3402.29/3411.46 c 3411s| 49800 | 49801 | 36075k| 708.9 | 368M | 93 | 470 | 894 |1059 | 208k| 1 |1389 |2263 | 1.661302e+02 | 1.890000e+02 | 13.77%| unknown
3408.57/3417.72 c 3418s| 49900 | 49901 | 36142k| 708.9 | 368M | 93 | 470 | 894 |1059 | 208k| 1 |1394 |2265 | 1.661312e+02 | 1.890000e+02 | 13.77%| unknown
3413.87/3423.03 c 3423s| 50000 | 50001 | 36202k| 708.7 | 368M | 93 | 470 | 894 |1054 | 208k| 1 |1397 |2268 | 1.661316e+02 | 1.890000e+02 | 13.77%| unknown
3419.55/3428.74 c 3429s| 50100 | 50101 | 36263k| 708.5 | 368M | 93 | 470 | 894 |1043 | 209k| 1 |1399 |2271 | 1.661321e+02 | 1.890000e+02 | 13.76%| unknown
3424.74/3433.96 c 3434s| 50200 | 50201 | 36322k| 708.2 | 368M | 93 | 470 | 894 |1058 | 209k| 1 |1399 |2274 | 1.661329e+02 | 1.890000e+02 | 13.76%| unknown
3430.72/3439.97 c 3440s| 50300 | 50301 | 36390k| 708.2 | 368M | 93 | 470 | 894 |1042 | 209k| 1 |1402 |2276 | 1.661334e+02 | 1.890000e+02 | 13.76%| unknown
3436.01/3445.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3436.01/3445.20 c 3445s| 50400 | 50401 | 36450k| 708.0 | 368M | 93 | 470 | 894 |1047 | 210k| 1 |1406 |2278 | 1.661338e+02 | 1.890000e+02 | 13.76%| unknown
3441.00/3450.29 c 3450s| 50500 | 50501 | 36506k| 707.7 | 368M | 93 | 470 | 894 |1046 | 210k| 1 |1409 |2278 | 1.661343e+02 | 1.890000e+02 | 13.76%| unknown
3446.99/3456.28 c 3456s| 50600 | 50601 | 36575k| 707.6 | 368M | 93 | 470 | 894 |1032 | 210k| 1 |1413 |2278 | 1.661348e+02 | 1.890000e+02 | 13.76%| unknown
3452.27/3461.54 c 3462s| 50700 | 50701 | 36633k| 707.4 | 368M | 93 | 470 | 894 |1070 | 210k| 1 |1414 |2279 | 1.661354e+02 | 1.890000e+02 | 13.76%| unknown
3456.96/3466.28 c 3466s| 50800 | 50801 | 36690k| 707.1 | 368M | 93 | 470 | 894 |1040 | 211k| 1 |1415 |2280 | 1.661358e+02 | 1.890000e+02 | 13.76%| unknown
3463.55/3472.84 c 3473s| 50900 | 50901 | 36774k| 707.4 | 368M | 93 | 470 | 894 |1056 | 211k| 1 |1418 |2280 | 1.661363e+02 | 1.890000e+02 | 13.76%| unknown
3469.34/3478.65 c 3479s| 51000 | 51001 | 36834k| 707.2 | 368M | 93 | 470 | 894 |1043 | 211k| 1 |1419 |2285 | 1.661366e+02 | 1.890000e+02 | 13.76%| unknown
3474.93/3484.28 c 3484s| 51100 | 51101 | 36891k| 706.9 | 368M | 93 | 470 | 894 | 994 | 212k| 1 |1421 |2286 | 1.661371e+02 | 1.890000e+02 | 13.76%| unknown
3480.42/3489.73 c 3490s| 51200 | 51201 | 36955k| 706.8 | 370M | 93 | 470 | 894 |1020 | 212k| 1 |1424 |2286 | 1.661376e+02 | 1.890000e+02 | 13.76%| unknown
3485.41/3494.79 c 3495s| 51300 | 51301 | 37012k| 706.5 | 370M | 93 | 470 | 894 |1040 | 212k| 1 |1424 |2287 | 1.661383e+02 | 1.890000e+02 | 13.76%| unknown
3490.40/3499.76 c 3500s| 51400 | 51401 | 37068k| 706.3 | 370M | 93 | 470 | 894 |1033 | 213k| 1 |1427 |2289 | 1.661386e+02 | 1.890000e+02 | 13.76%| unknown
3495.29/3504.60 c 3505s| 51500 | 51501 | 37125k| 706.0 | 370M | 93 | 470 | 894 |1031 | 213k| 1 |1429 |2291 | 1.661397e+02 | 1.890000e+02 | 13.76%| unknown
3499.97/3509.34 c 3509s| 51600 | 51601 | 37179k| 705.7 | 370M | 93 | 470 | 894 |1051 | 213k| 1 |1431 |2292 | 1.661402e+02 | 1.890000e+02 | 13.76%| unknown
3506.26/3515.69 c 3516s| 51700 | 51701 | 37252k| 705.7 | 370M | 93 | 470 | 894 |1033 | 214k| 1 |1435 |2292 | 1.661406e+02 | 1.890000e+02 | 13.76%| unknown
3510.55/3519.92 c 3520s| 51800 | 51801 | 37301k| 705.3 | 370M | 93 | 470 | 894 |1054 | 214k| 1 |1435 |2292 | 1.661411e+02 | 1.890000e+02 | 13.76%| unknown
3516.24/3525.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3516.24/3525.61 c 3526s| 51900 | 51901 | 37365k| 705.2 | 370M | 93 | 470 | 894 |1042 | 214k| 1 |1439 |2293 | 1.661418e+02 | 1.890000e+02 | 13.76%| unknown
3521.42/3530.82 c 3531s| 52000 | 52001 | 37424k| 705.0 | 370M | 93 | 470 | 894 |1049 | 214k| 1 |1440 |2294 | 1.661426e+02 | 1.890000e+02 | 13.76%| unknown
3527.11/3536.51 c 3537s| 52100 | 52101 | 37484k| 704.8 | 371M | 93 | 470 | 894 |1045 | 215k| 1 |1443 |2294 | 1.661433e+02 | 1.890000e+02 | 13.76%| unknown
3531.71/3541.15 c 3541s| 52200 | 52201 | 37537k| 704.4 | 371M | 93 | 470 | 894 |1039 | 215k| 1 |1445 |2296 | 1.661437e+02 | 1.890000e+02 | 13.76%| unknown
3535.89/3545.34 c 3545s| 52300 | 52301 | 37586k| 704.0 | 371M | 93 | 470 | 894 |1034 | 215k| 1 |1445 |2298 | 1.661447e+02 | 1.890000e+02 | 13.76%| unknown
3541.88/3551.30 c 3551s| 52400 | 52401 | 37651k| 704.0 | 371M | 93 | 470 | 894 |1059 | 216k| 1 |1450 |2301 | 1.661450e+02 | 1.890000e+02 | 13.76%| unknown
3546.68/3556.15 c 3556s| 52500 | 52501 | 37709k| 703.7 | 371M | 93 | 470 | 894 |1046 | 216k| 1 |1452 |2304 | 1.661455e+02 | 1.890000e+02 | 13.76%| unknown
3552.05/3561.55 c 3562s| 52600 | 52601 | 37765k| 703.4 | 371M | 93 | 470 | 891 |1028 | 216k| 1 |1452 |2305 | 1.661460e+02 | 1.890000e+02 | 13.76%| unknown
3557.94/3567.48 c 3567s| 52700 | 52701 | 37831k| 703.4 | 371M | 93 | 470 | 891 |1044 | 216k| 1 |1455 |2306 | 1.661465e+02 | 1.890000e+02 | 13.76%| unknown
3563.54/3573.05 c 3573s| 52800 | 52801 | 37895k| 703.2 | 371M | 93 | 470 | 893 |1048 | 217k| 1 |1459 |2306 | 1.661473e+02 | 1.890000e+02 | 13.75%| unknown
3567.92/3577.49 c 3577s| 52900 | 52901 | 37945k| 702.9 | 371M | 93 | 470 | 893 |1026 | 217k| 1 |1460 |2309 | 1.661480e+02 | 1.890000e+02 | 13.75%| unknown
3572.52/3582.03 c 3582s| 53000 | 53001 | 37997k| 702.5 | 371M | 93 | 470 | 893 |1051 | 217k| 1 |1461 |2310 | 1.661483e+02 | 1.890000e+02 | 13.75%| unknown
3577.50/3587.05 c 3587s| 53100 | 53101 | 38053k| 702.3 | 371M | 93 | 470 | 893 |1036 | 217k| 1 |1463 |2310 | 1.661493e+02 | 1.890000e+02 | 13.75%| unknown
3583.08/3592.64 c 3593s| 53200 | 53201 | 38117k| 702.2 | 371M | 93 | 470 | 893 |1048 | 218k| 1 |1467 |2310 | 1.661501e+02 | 1.890000e+02 | 13.75%| unknown
3587.37/3597.00 c
3587.37/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.37/3597.00 c Solving Time (sec) : 3596.99
3587.37/3597.00 c Solving Nodes : 53296 (total of 54345 nodes in 2 runs)
3587.37/3597.00 c Primal Bound : +1.89000000000000e+02 (1179 solutions)
3587.37/3597.00 c Dual Bound : +1.66150771875961e+02
3587.37/3597.00 c Gap : 13.75 %
3587.37/3597.00 s SATISFIABLE
3587.37/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
3587.37/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
3587.37/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
3587.37/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
3587.37/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
3587.37/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
3587.48/3597.02 v -x335 -x334 x333 -x332 -x331 -x330 -x329 -x328 -x327 x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 x318 -x317 x316 -x315
3587.48/3597.02 v x314 x313 -x312 -x311 -x310 -x309 -x308 -x307 x306 -x305 x304 -x303 -x302 -x301 x300 x299 -x298 -x297 -x296 x295 -x294 x293 x292
3587.48/3597.02 v -x291 x290 -x289 x288 -x287 -x286 x285 -x284 x283 x282 -x281 -x280 -x279 -x278 x277 -x276 -x275 -x274 -x273 x272 x271 -x270
3587.48/3597.02 v -x269 -x268 -x267 -x266 x265 -x264 x263 -x262 -x261 -x260 -x259 -x258 x257 -x256 x255 x254 x253 -x252 -x251 x250 x249 -x248
3587.48/3597.02 v -x247 -x246 -x245 -x244 x243 x242 -x241 -x240 -x239 x238 x237 x236 -x235 -x234 -x233 -x232 x231 x230 -x229 x228 -x227 -x226
3587.48/3597.02 v x225 x224 -x223 x222 -x221 x220 -x219 -x218 -x217 -x216 x215 x214 -x213 -x212 x211 x210 -x209 -x208 x207 x206 x205 x204 x203
3587.48/3597.02 v -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 x190 x189 x188 -x187 x186 -x185 -x184 x183 -x182 -x181
3587.48/3597.02 v -x180 -x179 x178 -x177 x176 -x175 x174 x173 -x172 -x171 -x170 -x169 x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 x160 -x159
3587.48/3597.02 v -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 x150 -x149 x148 -x147 -x146 x145 x144 x143 -x142 x141 -x140 -x139 x138 -x137
3587.48/3597.02 v x136 -x135 x134 x133 -x132 x131 x130 -x129 x128 -x127 x126 -x125 -x124 x123 x122 -x121 -x120 x119 -x118 -x117 -x116 x115 -x114
3587.48/3597.02 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
3587.48/3597.02 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
3587.48/3597.02 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
3587.48/3597.02 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
3587.48/3597.02 v x5 x4 -x3 -x2 -x1
3587.48/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3587.48/3597.02 c Total Time : 3596.99
3587.48/3597.02 c solving : 3596.99
3587.48/3597.02 c presolving : 0.07 (included in solving)
3587.48/3597.02 c reading : 0.01 (included in solving)
3587.48/3597.02 c copying : 0.06 (16 #copies) (minimal 0.00, maximal 0.00, average 0.00)
3587.48/3597.02 c Original Problem :
3587.48/3597.02 c Problem name : HOME/instance-4432635-1721080479.opb
3587.48/3597.02 c Variables : 470 (470 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.48/3597.02 c Constraints : 470 initial, 470 maximal
3587.48/3597.02 c Objective : minimize, 470 non-zeros (abs.min = 1, abs.max = 1)
3587.48/3597.02 c Presolved Problem :
3587.48/3597.02 c Problem name : t_HOME/instance-4432635-1721080479.opb
3587.48/3597.02 c Variables : 470 (470 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.48/3597.02 c Constraints : 906 initial, 909 maximal
3587.48/3597.02 c Objective : minimize, 470 non-zeros (abs.min = 1, abs.max = 1)
3587.48/3597.02 c Nonzeros : 7289 constraint, 227 clique table
3587.48/3597.02 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.48/3597.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c gateextraction : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c implics : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c trivial : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c dualfix : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c knapsack : 0.01 0.00 24 0 0 0 0 0 43 237 437 1233
3587.48/3597.02 c setppc : 0.00 0.00 21 0 0 0 0 0 111 0 0 0
3587.48/3597.02 c linear : 0.02 0.00 8 0 0 0 0 0 2 0 18 112
3587.48/3597.02 c logicor : 0.00 0.00 21 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c root node : - - - 0 - - 0 - - - - -
3587.48/3597.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.48/3597.02 c benderslp : 0 0 0 0 54344 0 0 20748 0 0 0 0 0 0 0
3587.48/3597.02 c integral : 0 0 0 0 54344 0 0 20748 0 0 0 0 0 0 108688
3587.48/3597.02 c knapsack : 645 645 39 773938 0 0 0 20742 42889 0 10778 2397 108 0 0
3587.48/3597.02 c setppc : 110 110 39 772956 0 0 0 1257 21654 0 19667 0 0 0 0
3587.48/3597.02 c logicor : 151+ 156 39 193356 0 0 0 1257 741 172 141 0 0 0 0
3587.48/3597.02 c benders : 0 0 0 0 0 0 0 1260 0 0 0 0 0 0 0
3587.48/3597.02 c fixedvar : 0 0 0 0 0 0 0 1260 0 0 0 0 0 0 0
3587.48/3597.02 c countsols : 0 0 0 0 0 0 0 1260 0 0 0 0 0 0 0
3587.48/3597.02 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.48/3597.02 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3587.48/3597.02 c integral : 112.67 0.00 0.00 0.00 112.66 0.00 0.00 0.01 0.00 0.00
3587.48/3597.02 c knapsack : 2.00 0.00 0.09 1.82 0.00 0.00 0.00 0.07 0.02 0.01
3587.48/3597.02 c setppc : 0.29 0.00 0.00 0.28 0.00 0.00 0.00 0.00 0.01 0.00
3587.48/3597.02 c logicor : 0.16 0.00 0.00 0.16 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.02 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.02 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.02 c components : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.48/3597.02 c dualfix : 3 0 0 0
3587.48/3597.02 c genvbounds : 0 0 0 0
3587.48/3597.02 c nlobbt : 0 0 0 0
3587.48/3597.02 c obbt : 0 0 0 0
3587.48/3597.02 c probing : 0 0 0 0
3587.48/3597.02 c pseudoobj : 126546 0 0 0
3587.48/3597.02 c redcost : 42 0 0 0
3587.48/3597.02 c rootredcost : 7 0 0 0
3587.48/3597.02 c symmetry : 0 0 0 0
3587.48/3597.02 c vbounds : 126152 0 0 0
3587.48/3597.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.48/3597.02 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.02 c genvbounds : 0.05 0.00 0.00 0.05 0.00 0.00
3587.48/3597.02 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.02 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.02 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
3587.48/3597.02 c pseudoobj : 0.12 0.00 0.00 0.12 0.00 0.00
3587.48/3597.02 c redcost : 0.07 0.00 0.00 0.07 0.00 0.00
3587.48/3597.02 c rootredcost : 0.04 0.00 0.00 0.04 0.00 0.00
3587.48/3597.02 c symmetry : 0.08 0.00 0.01 0.07 0.00 0.00
3587.48/3597.02 c vbounds : 0.09 0.00 0.00 0.09 0.00 0.00
3587.48/3597.02 c Symmetry :
3587.48/3597.02 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.48/3597.02 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.48/3597.02 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.48/3597.02 c shadow tree time : 0.00 s
3587.48/3597.02 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.48/3597.02 c propagation : 0.01 170 168 - 410 132.5 0 0.0 - - -
3587.48/3597.02 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.48/3597.02 c bound exceed. LP : 4.07 7255 1291 - 30250 106.5 0 0.0 0 0.0 57004
3587.48/3597.02 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.48/3597.02 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.48/3597.02 c applied globally : 0.00 - - 0 47 66.3 - - 0 - -
3587.48/3597.02 c applied locally : - - - 0 1420 90.4 - - 0 - -
3587.48/3597.02 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.48/3597.02 c cut pool : 24.16 - 23238 69 - - 200566 962576 - - - - - (maximal pool size: 5593)
3587.48/3597.02 c aggregation : 184.70 0.00 4466 39 0 0 2267 111264 0 38035 38035 0 0
3587.48/3597.02 c > cmir : - - - - - - - 88007 0 26272 26272 0 -
3587.48/3597.02 c > flowcover : - - - - - - - 8264 0 2951 2951 0 -
3587.48/3597.02 c > knapsackcover : - - - - - - - 14993 0 8812 8812 0 -
3587.48/3597.02 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c clique : 0.01 0.00 39 39 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c gomory : 46.64 0.00 3748 20 0 0 191768 201765 0 4478 4478 0 0
3587.48/3597.02 c > gomorymi : - - - - - - - 121744 0 3776 3776 0 -
3587.48/3597.02 c > strongcg : - - - - - - - 80021 0 702 702 0 -
3587.48/3597.02 c impliedbounds : 0.07 0.00 4466 39 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c multilinear : 0.00 0.00 4059 39 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c rapidlearning : 0.21 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c rlt : 0.01 0.00 822 20 0 0 0 0 0 0 0 0 0
3587.48/3597.02 c zerohalf : 18.63 0.00 3767 39 0 0 6530 649547 0 183623 183623 0 0
3587.48/3597.02 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.48/3597.02 c hybrid : 2.16 0.00 19438 38 226244 0 738729 799 0 11916
3587.48/3597.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.02 c Pricers : ExecTime SetupTime Calls Vars
3587.48/3597.02 c problem variables: 0.00 - 0 0
3587.48/3597.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.48/3597.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.02 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.02 c relpscost : 112.64 0.00 54344 0 0 0 0 0 0 108688
3587.48/3597.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.48/3597.02 c LP solutions : 0.00 - - 0 0
3587.48/3597.02 c relax solutions : 0.00 - - 0 0
3587.48/3597.02 c pseudo solutions : 0.00 - - 0 0
3587.48/3597.02 c strong branching : 0.18 - - 537 0
3587.48/3597.02 c actconsdiving : 0.00 0.00 0 0 0
3587.48/3597.02 c adaptivediving : 51.31 0.00 135 14 2
3587.48/3597.02 c alns : 0.29 0.00 8 0 0
3587.48/3597.02 c bound : 0.00 0.00 0 0 0
3587.48/3597.02 c clique : 0.01 0.00 1 0 0
3587.48/3597.02 c coefdiving : 0.00 0.00 0 0 0
3587.48/3597.02 c completesol : 0.00 0.00 0 0 0
3587.48/3597.02 c conflictdiving : 299.66 0.00 706 0 0
3587.48/3597.02 c crossover : 0.17 0.00 1 1 1
3587.48/3597.02 c dins : 0.00 0.00 0 0 0
3587.48/3597.02 c distributiondivin: 193.57 0.00 293 6 0
3587.48/3597.02 c dps : 0.00 0.00 0 0 0
3587.48/3597.02 c dualval : 0.00 0.00 0 0 0
3587.48/3597.02 c farkasdiving : 0.00 0.00 0 0 0
3587.48/3597.02 c feasjump : 0.00 0.00 0 0 0
3587.48/3597.02 c feaspump : 0.00 0.00 0 0 0
3587.48/3597.02 c fixandinfer : 0.00 0.00 0 0 0
3587.48/3597.02 c fracdiving : 113.64 0.00 257 2 0
3587.48/3597.02 c gins : 0.05 0.00 7 6 0
3587.48/3597.02 c guideddiving : 105.10 0.00 297 5 0
3587.48/3597.02 c indcoefdiving : 0.00 0.00 0 0 0
3587.48/3597.02 c indicator : 0.01 0.00 0 0 0
3587.48/3597.02 c indicatordiving : 0.00 0.00 0 0 0
3587.48/3597.02 c indoneopt : 0.01 0.00 0 0 0
3587.48/3597.02 c indrounding : 0.00 0.00 0 0 0
3587.48/3597.02 c indtwoopt : 0.00 0.00 0 0 0
3587.48/3597.02 c intdiving : 0.00 0.00 0 0 0
3587.48/3597.02 c intshifting : 0.00 0.00 0 0 0
3587.48/3597.02 c linesearchdiving : 85.91 0.00 362 2 0
3587.48/3597.02 c localbranching : 0.00 0.00 0 0 0
3587.48/3597.02 c locks : 0.00 0.00 1 1 1
3587.48/3597.02 c lpface : 0.01 0.00 0 0 0
3587.48/3597.02 c mpec : 0.00 0.00 0 0 0
3587.48/3597.02 c multistart : 0.00 0.00 0 0 0
3587.48/3597.02 c mutation : 0.00 0.00 0 0 0
3587.48/3597.02 c nlpdiving : 0.00 0.00 0 0 0
3587.48/3597.02 c objpscostdiving : 45.45 0.00 39 279 0
3587.48/3597.02 c octane : 0.00 0.00 0 0 0
3587.48/3597.02 c ofins : 0.01 0.00 0 0 0
3587.48/3597.02 c oneopt : 0.02 0.00 6 2 2
3587.48/3597.02 c padm : 0.00 0.00 0 0 0
3587.48/3597.02 c proximity : 0.00 0.00 0 0 0
3587.48/3597.02 c pscostdiving : 221.48 0.00 990 210 5
3587.48/3597.02 c randrounding : 0.84 0.00 19503 0 0
3587.48/3597.02 c rens : 0.00 0.00 0 0 0
3587.48/3597.02 c reoptsols : 0.00 0.00 0 0 0
3587.48/3597.02 c repair : 0.00 0.00 0 0 0
3587.48/3597.02 c rins : 0.02 0.00 0 0 0
3587.48/3597.02 c rootsoldiving : 12.85 0.00 84 0 0
3587.48/3597.02 c rounding : 4.46 0.00 3763 0 0
3587.48/3597.02 c scheduler : 0.00 0.00 0 0 0
3587.48/3597.02 c shiftandpropagate: 0.00 0.00 0 0 0
3587.48/3597.02 c shifting : 2.56 0.00 1938 0 0
3587.48/3597.02 c simplerounding : 1.43 0.00 73782 21 0
3587.48/3597.02 c smallcard : 0.00 0.00 0 0 0
3587.48/3597.02 c subnlp : 0.02 0.00 0 0 0
3587.48/3597.02 c trivial : 0.00 0.00 4 1 1
3587.48/3597.02 c trivialnegation : 0.00 0.00 0 0 0
3587.48/3597.02 c trustregion : 0.00 0.00 0 0 0
3587.48/3597.02 c trysol : 0.01 0.00 0 0 0
3587.48/3597.02 c twoopt : 0.00 0.00 0 0 0
3587.48/3597.02 c undercover : 0.00 0.00 0 0 0
3587.48/3597.02 c vbounds : 0.00 0.00 0 0 0
3587.48/3597.02 c veclendiving : 97.24 0.00 409 5 0
3587.48/3597.02 c zeroobj : 0.00 0.00 0 0 0
3587.48/3597.02 c zirounding : 0.87 0.00 4351 87 0
3587.48/3597.02 c other solutions : - - - 0 -
3587.48/3597.02 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.48/3597.02 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.48/3597.02 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.48/3597.02 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.48/3597.02 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.48/3597.02 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.48/3597.02 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.48/3597.02 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.48/3597.02 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.48/3597.02 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.48/3597.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.48/3597.02 c primal LP : 2.26 10559 3 1.00 1.33 2.26 10556
3587.48/3597.02 c dual LP : 1950.57 73783 22833737 309.48 11706.20 0.00 2
3587.48/3597.02 c lex dual LP : 0.00 0 0 0.00 -
3587.48/3597.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.48/3597.02 c resolve instable : 0.00 0 0 0.00 -
3587.48/3597.02 c diving/probing LP: 1135.73 37138 15337552 412.99 13504.54
3587.48/3597.02 c strong branching : 105.87 2310 1254367 543.02 11847.87 - - 411
3587.48/3597.02 c (at root node) : - 20 11149 557.45 -
3587.48/3597.02 c conflict analysis: 2.94 5835 57004 9.77 19420.16
3587.48/3597.02 c B&B Tree :
3587.48/3597.02 c number of runs : 2
3587.48/3597.02 c nodes : 53296 (53295 internal, 1 leaves)
3587.48/3597.02 c feasible leaves : 0
3587.48/3597.02 c infeas. leaves : 0
3587.48/3597.02 c objective leaves : 0
3587.48/3597.02 c nodes (total) : 54345 (54344 internal, 1 leaves)
3587.48/3597.02 c nodes left : 53296
3587.48/3597.02 c max depth : 93
3587.48/3597.02 c max depth (total): 93
3587.48/3597.02 c backtracks : 5345 (10.0%)
3587.48/3597.02 c early backtracks : 0 (0.0%)
3587.48/3597.02 c nodes exc. ref. : 0 (0.0%)
3587.48/3597.02 c delayed cutoffs : 0
3587.48/3597.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3587.48/3597.02 c avg switch length: 4.29
3587.48/3597.02 c switching time : 3.97
3587.48/3597.02 c Root Node :
3587.48/3597.02 c First LP value : +1.49046594321659e+02
3587.48/3597.02 c First LP Iters : 9645 (14737.03 Iter/sec)
3587.48/3597.02 c First LP Time : 0.65
3587.48/3597.02 c Final Dual Bound : +1.62799333063538e+02
3587.48/3597.02 c Final Root Iters : 26888
3587.48/3597.02 c Root LP Estimate : +2.42217247393014e+02
3587.48/3597.02 c Solution :
3587.48/3597.02 c Solutions found : 1179 (12 improvements)
3587.48/3597.02 c First Solution : +4.70000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
3587.48/3597.02 c Gap First Sol. : infinite
3587.48/3597.02 c Gap Last Sol. : 13.83 %
3587.48/3597.02 c Primal Bound : +1.89000000000000e+02 (in run 2, after 37360 nodes, 2739.32 seconds, depth 234, found by <pscostdiving>)
3587.48/3597.02 c Dual Bound : +1.66150771875961e+02
3587.48/3597.02 c Gap : 13.75 %
3587.48/3597.02 c Integrals : Total Avg%
3587.48/3597.02 c primal-dual : 46167.00 12.83
3587.48/3597.02 c primal-ref : - - (not evaluated)
3587.48/3597.02 c dual-ref : - - (not evaluated)
3587.58/3597.16 c Time complete: 3587.63.
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: 64096 MiB (62076 MiB free)
memory of node 1: 64473 MiB (62448 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432635-1721080479/watcher-4432635-1721080479 -o /tmp/evaluation-result-4432635-1721080479/solver-4432635-1721080479 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721073296-810248 --watchdog 3760 pbscip -f HOME/instance-4432635-1721080479.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=815798, runsolver pid=815795
[startup+0.1001 s]*
/proc/loadavg: 4.53 4.35 4.21 5/243 815799
/proc/meminfo: memFree=127503584/131655788 swapFree=131071996/131071996
[pid=815798] ppid=815795 vsize=63624 memory=24940 CPUtime=0.09 cores=4,6
/proc/815798/stat : 815798 (pbscip) R 815795 815798 810237 0 -1 4194304 2668 0 0 0 9 0 0 0 20 0 1 0 160203785 65150976 6235 134679101440 4194304 18693293 140724914379856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54607872 140724914381828 140724914381927 140724914381927 140724914388942 0
/proc/815798/statm: 15906 6235 3945 3540 0 4163 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 63624 KiB
Current children cumulated memory: 24940 KiB
[startup+0.212666 s]*
/proc/loadavg: 4.53 4.35 4.21 5/243 815799
/proc/meminfo: memFree=127503024/131655788 swapFree=131071996/131071996
[pid=815798] ppid=815795 vsize=63964 memory=25200 CPUtime=0.21 cores=4,6
/proc/815798/stat : 815798 (pbscip) R 815795 815798 810237 0 -1 4194304 2748 0 0 0 21 0 0 0 20 0 1 0 160203785 65499136 6300 134679101440 4194304 18693293 140724914379856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54607872 140724914381828 140724914381927 140724914381927 140724914388942 0
/proc/815798/statm: 15991 6300 3945 3540 0 4248 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 63964 KiB
Current children cumulated memory: 25200 KiB
[startup+0.312305 s]*
/proc/loadavg: 4.53 4.35 4.21 5/243 815799
/proc/meminfo: memFree=127502912/131655788 swapFree=131071996/131071996
[pid=815798] ppid=815795 vsize=63964 memory=25200 CPUtime=0.3 cores=4,6
/proc/815798/stat : 815798 (pbscip) R 815795 815798 810237 0 -1 4194304 2757 0 0 0 30 0 0 0 20 0 1 0 160203785 65499136 6300 134679101440 4194304 18693293 140724914379856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54607872 140724914381828 140724914381927 140724914381927 140724914388942 0
/proc/815798/statm: 15991 6300 3945 3540 0 4248 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 63964 KiB
Current children cumulated memory: 25200 KiB
[startup+0.700247 s]
/proc/loadavg: 4.53 4.35 4.21 5/243 815799
/proc/meminfo: memFree=127502436/131655788 swapFree=131071996/131071996
[pid=815798] ppid=815795 vsize=64500 memory=25728 CPUtime=0.68 cores=4,6
/proc/815798/stat : 815798 (pbscip) R 815795 815798 810237 0 -1 4194304 2851 0 0 0 68 0 0 0 20 0 1 0 160203785 66048000 6432 134679101440 4194304 18693293 140724914379856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54607872 140724914381828 140724914381927 140724914381927 140724914388942 0
/proc/815798/statm: 16125 6432 3945 3540 0 4382 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 64500 KiB
Current children cumulated memory: 25728 KiB
[startup+1.50033 s]
/proc/loadavg: 4.53 4.35 4.21 5/243 815799
/proc/meminfo: memFree=127471512/131655788 swapFree=131071996/131071996
[pid=815798] ppid=815795 vsize=140132 memory=100356 CPUtime=1.49 cores=4,6
/proc/815798/stat : 815798 (pbscip) R 815795 815798 810237 0 -1 4194304 22666 0 0 0 145 4 0 0 20 0 1 0 160203785 143495168 25089 134679101440 4194304 18693293 140724914379856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54607872 140724914381828 140724914381927 140724914381927 140724914388942 0
/proc/815798/statm: 35033 25089 3961 3540 0 23290 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 140132 KiB
Current children cumulated memory: 100356 KiB
[startup+3.11237 s]
/proc/loadavg: 4.57 4.36 4.22 5/243 815799
/proc/meminfo: memFree=127373824/131655788 swapFree=131071996/131071996
[pid=815798] ppid=815795 vsize=197780 memory=154004 CPUtime=3.09 cores=4,6
/proc/815798/stat : 815798 (pbscip) R 815795 815798 810237 0 -1 4194304 36038 0 0 0 304 5 0 0 20 0 1 0 160203785 202526720 38501 134679101440 4194304 18693293 140724914379856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54607872 140724914381828 140724914381927 140724914381927 140724914388942 0
/proc/815798/statm: 49445 38501 3976 3540 0 37702 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 197780 KiB
Current children cumulated memory: 154004 KiB
[startup+6.30024 s]
/proc/loadavg: 4.57 4.36 4.22 5/243 815800
/proc/meminfo: memFree=127373852/131655788 swapFree=131071996/131071996
[pid=815798] ppid=815795 vsize=197780 memory=154004 CPUtime=6.27 cores=4,6
/proc/815798/stat : 815798 (pbscip) R 815795 815798 810237 0 -1 4194304 36042 0 0 0 622 5 0 0 20 0 1 0 160203785 202526720 38501 134679101440 4194304 18693293 140724914379856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54607872 140724914381828 140724914381927 140724914381927 140724914388942 0
/proc/815798/statm: 49445 38501 3976 3540 0 37702 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 197780 KiB
Current children cumulated memory: 154004 KiB
[startup+12.7003 s]
/proc/loadavg: 4.60 4.37 4.22 5/244 816185
/proc/meminfo: memFree=127354396/131655788 swapFree=131071996/131071996
[pid=815798] ppid=815795 vsize=203432 memory=161192 CPUtime=12.66 cores=4,6
/proc/815798/stat : 815798 (pbscip) R 815795 815798 810237 0 -1 4194304 37809 0 0 0 1260 6 0 0 20 0 1 0 160203785 208314368 40298 134679101440 4194304 18693293 140724914379856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54607872 140724914381828 140724914381927 140724914381927 140724914388942 0
/proc/815798/statm: 50858 40298 3992 3540 0 39115 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 203432 KiB
Current children cumulated memory: 161192 KiB
[startup+25.5003 s]
/proc/loadavg: 4.68 4.40 4.24 5/244 816232
/proc/meminfo: memFree=127666672/131655788 swapFree=131071996/131071996
[pid=815798] ppid=815795 vsize=291336 memory=245920 CPUtime=25.42 cores=4,6
/proc/815798/stat : 815798 (pbscip) R 815795 815798 810237 0 -1 4194304 60417 0 0 0 2533 9 0 0 20 0 1 0 160203785 298328064 61480 134679101440 4194304 18693293 140724914379856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54607872 140724914381828 140724914381927 140724914381927 140724914388942 0
/proc/815798/statm: 72834 61480 3992 3540 0 61091 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 291336 KiB
Current children cumulated memory: 245920 KiB
[startup+51.1123 s]
/proc/loadavg: 4.45 4.37 4.23 5/243 816283
/proc/meminfo: memFree=128101688/131655788 swapFree=131071996/131071996
[pid=815798] ppid=815795 vsize=291336 memory=245920 CPUtime=50.98 cores=4,6
/proc/815798/stat : 815798 (pbscip) R 815795 815798 810237 0 -1 4194304 60460 0 0 0 5087 11 0 0 20 0 1 0 160203785 298328064 61480 134679101440 4194304 18693293 140724914379856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54607872 140724914381828 140724914381927 140724914381927 140724914388942 0
/proc/815798/statm: 72834 61480 3992 3540 0 61091 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 291336 KiB
Current children cumulated memory: 245920 KiB
[startup+102.3 s]
/proc/loadavg: 4.24 4.32 4.22 5/244 816338
/proc/meminfo: memFree=128387016/131655788 swapFree=131071996/131071996
[pid=815798] ppid=815795 vsize=301048 memory=258416 CPUtime=102.02 cores=4,6
/proc/815798/stat : 815798 (pbscip) R 815795 815798 810237 0 -1 4194304 62982 0 0 0 10189 13 0 0 20 0 1 0 160203785 308273152 64604 134679101440 4194304 18693293 140724914379856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54607872 140724914381828 140724914381927 140724914381927 140724914388942 0
/proc/815798/statm: 75262 64604 4013 3540 0 63519 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 301048 KiB
Current children cumulated memory: 258416 KiB
[startup+162.3 s]
/proc/loadavg: 4.25 4.31 4.22 5/244 816348
/proc/meminfo: memFree=128233104/131655788 swapFree=131071996/131071996
[pid=815798] ppid=815795 vsize=340748 memory=302176 CPUtime=161.87 cores=4,6
/proc/815798/stat : 815798 (pbscip) R 815795 815798 810237 0 -1 4194304 73801 0 0 0 16173 14 0 0 20 0 1 0 160203785 348925952 75544 134679101440 4194304 18693293 140724914379856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54607872 140724914381828 140724914381927 140724914381927 140724914388942 0
/proc/815798/statm: 85187 75544 4013 3540 0 73444 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 340748 KiB
Current children cumulated memory: 302176 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.27 4.21 5/246 816528
/proc/meminfo: memFree=128119248/131655788 swapFree=131071996/131071996
[pid=815798] ppid=815795 vsize=340748 memory=303632 CPUtime=221.72 cores=4,6
/proc/815798/stat : 815798 (pbscip) R 815795 815798 810237 0 -1 4194304 73984 0 0 0 22158 14 0 0 20 0 1 0 160203785 348925952 75908 134679101440 4194304 18693293 140724914379856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54607872 140724914381828 140724914381927 140724914381927 140724914388942 0
/proc/815798/statm: 85187 75908 4013 3540 0 73444 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 340748 KiB
Current children cumulated memory: 303632 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.25 4.20 5/246 816540
/proc/meminfo: memFree=128115604/131655788 swapFree=131071996/131071996
[pid=815798] ppid=815795 vsize=340748 memory=304252 CPUtime=281.59 cores=4,6
/proc/815798/stat : 815798 (pbscip) R 815795 815798 810237 0 -1 4194304 74118 0 0 0 28145 14 0 0 20 0 1 0 160203785 348925952 76063 134679101440 4194304 18693293 140724914379856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54607872 140724914381828 140724914381927 140724914381927 140724914388942 0
/proc/815798/statm: 85187 76063 4013 3540 0 73444 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 340748 KiB
Current children cumulated memory: 304252 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.22 4.19 5/244 816554
/proc/meminfo: memFree=128095304/131655788 swapFree=131071996/131071996
[pid=815798] ppid=815795 vsize=359604 memory=320976 CPUtime=341.45 cores=4,6
/proc/815798/stat : 815798 (pbscip) R 815795 815798 810237 0 -1 4194304 78475 0 0 0 34130 15 0 0 20 0 1 0 160203785 368234496 80244 134679101440 4194304 18693293 140724914379856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54607872 140724914381828 140724914381927 140724914381927 140724914388942 0
/proc/815798/statm: 89901 80244 4013 3540 0 78158 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 359604 KiB
Current children cumulated memory: 320976 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.19 4.18 5/243 816578
/proc/meminfo: memFree=128088340/131655788 swapFree=131071996/131071996
[pid=815798] ppid=815795 vsize=363284 memory=324752 CPUtime=401.31 cores=4,6
/proc/815798/stat : 815798 (pbscip) R 815795 815798 810237 0 -1 4194304 79505 0 0 0 40116 15 0 0 20 0 1 0 160203785 372002816 81188 134679101440 4194304 18693293 140724914379856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54607872 140724914381828 140724914381927 140724914381927 140724914388942 0
/proc/815798/statm: 90821 81188 4013 3540 0 79078 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 363284 KiB
Current children cumulated memory: 324752 KiB
[startup+462.3 s]
/proc/loadavg: 4.53 4.28 4.21 5/243 816589
/proc/meminfo: memFree=128072736/131655788 swapFree=131071996/131071996
[pid=815798] ppid=815795 vsize=374432 memory=335752 CPUtime=461.18 cores=4,6
/proc/815798/stat : 815798 (pbscip) R 815795 815798 810237 0 -1 4194304 82426 0 0 0 46102 16 0 0 20 0 1 0 160203785 383418368 83938 134679101440 4194304 18693293 140724914379856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54607872 140724914381828 140724914381927 140724914381927 140724914388942 0
/proc/815798/statm: 93608 83938 4013 3540 0 81865 0
################
# More data... #
################
/proc/loadavg: 4.12 4.13 4.14 5/241 818223
/proc/meminfo: memFree=127887840/131655788 swapFree=131071996/131071996
[pid=815798] ppid=815795 vsize=421184 memory=384244 CPUtime=3213.67 cores=4,6
/proc/815798/stat : 815798 (pbscip) R 815795 815798 810237 0 -1 4194304 101069 0 0 0 321346 21 0 0 20 0 1 0 160203785 431292416 96061 134679101440 4194304 18693293 140724914379856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54607872 140724914381828 140724914381927 140724914381927 140724914388942 0
/proc/815798/statm: 105296 96061 4013 3540 0 93553 0
Current children cumulated CPU time: 3213.67 s
Current children cumulated vsize: 421184 KiB
Current children cumulated memory: 384244 KiB
[startup+3282.3 s]
/proc/loadavg: 4.78 4.32 4.21 5/241 818234
/proc/meminfo: memFree=127884940/131655788 swapFree=131071996/131071996
[pid=815798] ppid=815795 vsize=421952 memory=385236 CPUtime=3273.49 cores=4,6
/proc/815798/stat : 815798 (pbscip) R 815795 815798 810237 0 -1 4194304 101465 0 0 0 327328 21 0 0 20 0 1 0 160203785 432078848 96309 134679101440 4194304 18693293 140724914379856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54607872 140724914381828 140724914381927 140724914381927 140724914388942 0
/proc/815798/statm: 105488 96309 4013 3540 0 93745 0
Current children cumulated CPU time: 3273.49 s
Current children cumulated vsize: 421952 KiB
Current children cumulated memory: 385236 KiB
[startup+3342.3 s]
/proc/loadavg: 4.39 4.29 4.20 5/243 818248
/proc/meminfo: memFree=127880972/131655788 swapFree=131071996/131071996
[pid=815798] ppid=815795 vsize=423040 memory=386360 CPUtime=3333.35 cores=4,6
/proc/815798/stat : 815798 (pbscip) R 815795 815798 810237 0 -1 4194304 101896 0 0 0 333314 21 0 0 20 0 1 0 160203785 433192960 96590 134679101440 4194304 18693293 140724914379856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54607872 140724914381828 140724914381927 140724914381927 140724914388942 0
/proc/815798/statm: 105760 96590 4013 3540 0 94017 0
Current children cumulated CPU time: 3333.35 s
Current children cumulated vsize: 423040 KiB
Current children cumulated memory: 386360 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.25 4.19 5/243 818258
/proc/meminfo: memFree=127877256/131655788 swapFree=131071996/131071996
[pid=815798] ppid=815795 vsize=423040 memory=386400 CPUtime=3393.21 cores=4,6
/proc/815798/stat : 815798 (pbscip) R 815795 815798 810237 0 -1 4194304 102070 0 0 0 339300 21 0 0 20 0 1 0 160203785 433192960 96600 134679101440 4194304 18693293 140724914379856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54607872 140724914381828 140724914381927 140724914381927 140724914388942 0
/proc/815798/statm: 105760 96600 4013 3540 0 94017 0
Current children cumulated CPU time: 3393.21 s
Current children cumulated vsize: 423040 KiB
Current children cumulated memory: 386400 KiB
[startup+3462.3 s]
/proc/loadavg: 4.29 4.27 4.20 5/243 818269
/proc/meminfo: memFree=127876492/131655788 swapFree=131071996/131071996
[pid=815798] ppid=815795 vsize=423380 memory=386828 CPUtime=3453.07 cores=4,6
/proc/815798/stat : 815798 (pbscip) R 815795 815798 810237 0 -1 4194304 102322 0 0 0 345286 21 0 0 20 0 1 0 160203785 433541120 96707 134679101440 4194304 18693293 140724914379856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54607872 140724914381828 140724914381927 140724914381927 140724914388942 0
/proc/815798/statm: 105845 96707 4013 3540 0 94102 0
Current children cumulated CPU time: 3453.07 s
Current children cumulated vsize: 423380 KiB
Current children cumulated memory: 386828 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.23 4.19 5/243 818279
/proc/meminfo: memFree=127871232/131655788 swapFree=131071996/131071996
[pid=815798] ppid=815795 vsize=428336 memory=389756 CPUtime=3512.94 cores=4,6
/proc/815798/stat : 815798 (pbscip) R 815795 815798 810237 0 -1 4194304 103212 0 0 0 351272 22 0 0 20 0 1 0 160203785 438616064 97439 134679101440 4194304 18693293 140724914379856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54607872 140724914381828 140724914381927 140724914381927 140724914388942 0
/proc/815798/statm: 107084 97439 4013 3540 0 95341 0
Current children cumulated CPU time: 3512.94 s
Current children cumulated vsize: 428336 KiB
Current children cumulated memory: 389756 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.20 4.18 5/243 818289
/proc/meminfo: memFree=127865768/131655788 swapFree=131071996/131071996
[pid=815798] ppid=815795 vsize=432756 memory=394240 CPUtime=3572.81 cores=4,6
/proc/815798/stat : 815798 (pbscip) R 815795 815798 810237 0 -1 4194304 104495 0 0 0 357259 22 0 0 20 0 1 0 160203785 443142144 98560 134679101440 4194304 18693293 140724914379856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54607872 140724914381828 140724914381927 140724914381927 140724914388942 0
/proc/815798/statm: 108189 98560 4013 3540 0 96446 0
Current children cumulated CPU time: 3572.81 s
Current children cumulated vsize: 432756 KiB
Current children cumulated memory: 394240 KiB
[startup+3597.16 s]
# the end of solver process 815798 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.41 s, system=0.225563 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.20 4.18 5/243 818289
/proc/meminfo: memFree=127865796/131655788 swapFree=131071996/131071996
[pid=815798] ppid=815795 vsize=432756 memory=394240 CPUtime=3574.51 cores=4,6
/proc/815798/stat : 815798 (pbscip) R 815795 815798 810237 0 -1 4194304 104496 0 0 0 357429 22 0 0 20 0 1 0 160203785 443142144 98560 134679101440 4194304 18693293 140724914379856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54607872 140724914381828 140724914381927 140724914381927 140724914388942 0
/proc/815798/statm: 108189 98560 4013 3540 0 96446 0
Current children cumulated CPU time: 3574.51 s
Current children cumulated vsize: 432756 KiB
Current children cumulated memory: 394240 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.19 4.18 5/243 818290
/proc/meminfo: memFree=127865716/131655788 swapFree=131071996/131071996
[pid=815798] ppid=815795 vsize=432756 memory=394240 CPUtime=3580.89 cores=4,6
/proc/815798/stat : 815798 (pbscip) R 815795 815798 810237 0 -1 4194304 104498 0 0 0 358067 22 0 0 20 0 1 0 160203785 443142144 98560 134679101440 4194304 18693293 140724914379856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54607872 140724914381828 140724914381927 140724914381927 140724914388942 0
/proc/815798/statm: 108189 98560 4013 3540 0 96446 0
Current children cumulated CPU time: 3580.89 s
Current children cumulated vsize: 432756 KiB
Current children cumulated memory: 394240 KiB
[startup+3593.6 s]
/proc/loadavg: 4.09 4.19 4.18 5/243 818290
/proc/meminfo: memFree=127865688/131655788 swapFree=131071996/131071996
[pid=815798] ppid=815795 vsize=432756 memory=394240 CPUtime=3584.08 cores=4,6
/proc/815798/stat : 815798 (pbscip) R 815795 815798 810237 0 -1 4194304 104498 0 0 0 358386 22 0 0 20 0 1 0 160203785 443142144 98560 134679101440 4194304 18693293 140724914379856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54607872 140724914381828 140724914381927 140724914381927 140724914388942 0
/proc/815798/statm: 108189 98560 4013 3540 0 96446 0
Current children cumulated CPU time: 3584.08 s
Current children cumulated vsize: 432756 KiB
Current children cumulated memory: 394240 KiB
[startup+3595.2 s]
/proc/loadavg: 4.16 4.21 4.18 5/243 818290
/proc/meminfo: memFree=127865680/131655788 swapFree=131071996/131071996
[pid=815798] ppid=815795 vsize=432756 memory=394240 CPUtime=3585.68 cores=4,6
/proc/815798/stat : 815798 (pbscip) R 815795 815798 810237 0 -1 4194304 104498 0 0 0 358546 22 0 0 20 0 1 0 160203785 443142144 98560 134679101440 4194304 18693293 140724914379856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54607872 140724914381828 140724914381927 140724914381927 140724914388942 0
/proc/815798/statm: 108189 98560 4013 3540 0 96446 0
Current children cumulated CPU time: 3585.68 s
Current children cumulated vsize: 432756 KiB
Current children cumulated memory: 394240 KiB
[startup+3596 s]*
/proc/loadavg: 4.16 4.21 4.18 5/243 818290
/proc/meminfo: memFree=127865696/131655788 swapFree=131071996/131071996
[pid=815798] ppid=815795 vsize=432756 memory=394240 CPUtime=3586.48 cores=4,6
/proc/815798/stat : 815798 (pbscip) R 815795 815798 810237 0 -1 4194304 104498 0 0 0 358626 22 0 0 20 0 1 0 160203785 443142144 98560 134679101440 4194304 18693293 140724914379856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54607872 140724914381828 140724914381927 140724914381927 140724914388942 0
/proc/815798/statm: 108189 98560 4013 3540 0 96446 0
Current children cumulated CPU time: 3586.48 s
Current children cumulated vsize: 432756 KiB
Current children cumulated memory: 394240 KiB
[startup+3596.8 s]
/proc/loadavg: 4.16 4.21 4.18 5/243 818290
/proc/meminfo: memFree=127865696/131655788 swapFree=131071996/131071996
[pid=815798] ppid=815795 vsize=432756 memory=394240 CPUtime=3587.27 cores=4,6
/proc/815798/stat : 815798 (pbscip) R 815795 815798 810237 0 -1 4194304 104499 0 0 0 358705 22 0 0 20 0 1 0 160203785 443142144 98560 134679101440 4194304 18693293 140724914379856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54607872 140724914381828 140724914381927 140724914381927 140724914388942 0
/proc/815798/statm: 108189 98560 4013 3540 0 96446 0
Current children cumulated CPU time: 3587.27 s
Current children cumulated vsize: 432756 KiB
Current children cumulated memory: 394240 KiB
[startup+3597 s]*
/proc/loadavg: 4.16 4.21 4.18 5/243 818290
/proc/meminfo: memFree=127865704/131655788 swapFree=131071996/131071996
[pid=815798] ppid=815795 vsize=432756 memory=394240 CPUtime=3587.48 cores=4,6
/proc/815798/stat : 815798 (pbscip) R 815795 815798 810237 0 -1 4194304 104499 0 0 0 358726 22 0 0 20 0 1 0 160203785 443142144 98560 134679101440 4194304 18693293 140724914379856 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54607872 140724914381828 140724914381927 140724914381927 140724914388942 0
/proc/815798/statm: 108189 98560 4013 3540 0 96446 0
Current children cumulated CPU time: 3587.48 s
Current children cumulated vsize: 432756 KiB
Current children cumulated memory: 394240 KiB
[startup+3597.11 s]
/proc/loadavg: 4.16 4.21 4.18 5/243 818290
/proc/meminfo: memFree=127865704/131655788 swapFree=131071996/131071996
[pid=815798] ppid=815795 vsize=429672 memory=391164 CPUtime=3587.58 cores=4,6
/proc/815798/stat : 815798 (pbscip) R 815795 815798 810237 0 -1 4194304 104499 0 0 0 358736 22 0 0 20 0 1 0 160203785 439984128 97791 134679101440 4194304 18693293 140724914379856 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54607872 140724914381828 140724914381927 140724914381927 140724914388942 0
/proc/815798/statm: 107418 97791 4013 3540 0 95675 0
Current children cumulated CPU time: 3587.58 s
Current children cumulated vsize: 429672 KiB
Current children cumulated memory: 391164 KiB
Child status: 0
Real time (s): 3597.16
CPU time (s): 3587.64
CPU user time (s): 3587.41
CPU system time (s): 0.225563
CPU usage (%): 99.7353
Max. virtual memory (cumulated for all children) (KiB): 432756
Max. memory (cumulated for all children) (KiB): 394240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.41
system time used= 0.225563
maximum resident set size= 394240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104517
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= 38
involuntary context switches= 3197
# summary of solver processes directly reported to runsolver:
# pid: 815798
# total CPU time (s): 3587.64
# total CPU user time (s): 3587.41
# total CPU system time (s): 0.225563
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4013 second user time and 32.902 second system time
The end
Begin job on nodeC004 at 2024-07-15 23:54:52 IDJOB=4432635 IDBENCH=147543 IDSOLVER=3059 FILE ID=nodeC004/4432635-1721080479 RUNJOBID= nodeC004-1721073296-810248 SLURM_JOB_ID= 7505545 Free space on /tmp= 723728 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 --file-size-limit 102400 -w /tmp/evaluation-result-4432635-1721080479/watcher-4432635-1721080479 -o /tmp/evaluation-result-4432635-1721080479/solver-4432635-1721080479 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721073296-810248 --watchdog 3760 pbscip -f HOME/instance-4432635-1721080479.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 79a11fcf881101c51e0b67ee01609c80 RANDOM SEED=577917281 nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3659.859 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3663.344 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.492 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.442 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3492.158 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3663.353 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.317 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.442 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 127513836 kB MemAvailable: 128146628 kB Buffers: 391084 kB Cached: 1081068 kB SwapCached: 0 kB Active: 651804 kB Inactive: 2958144 kB Active(anon): 3344 kB Inactive(anon): 2172148 kB Active(file): 648460 kB Inactive(file): 785996 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 18788 kB Writeback: 0 kB AnonPages: 2133564 kB Mapped: 138472 kB Shmem: 37700 kB KReclaimable: 77072 kB Slab: 171508 kB SReclaimable: 77072 kB SUnreclaim: 94436 kB KernelStack: 3872 kB PageTables: 13828 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 2380220 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 51392 kB HardwareCorrupted: 0 kB AnonHugePages: 1810432 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 189256 kB DirectMap2M: 14395392 kB DirectMap1G: 121634816 kB Free space on /tmp at the end= 723708 MiB End job on nodeC004 at 2024-07-16 00:54:49