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 | 194 | 3587.86 | 3597.19 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb |
| MD5SUM | 1da12ebdd4ab5e725928f3bf845b8b1e |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 186 |
| Best CPU time to get the best result obtained on this benchmark | 3585.57 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 479 |
| Total number of constraints | 479 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 479 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 17 |
| Number of terms in the objective function | 479 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 479 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 479 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.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-4489148-1751352476.opb>
0.00/0.02 c original problem has 479 variables (479 bin, 0 int, 0 impl, 0 cont) and 479 constraints
0.00/0.02 c problem read in 0.00
0.00/0.02 o 479
0.00/0.02 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 4.790000e+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, 11 chg sides, 64 chg coeffs, 0 upgd conss, 0 impls, 138 clqs
0.00/0.02 c (0.0s) running MILP presolver
0.00/0.02 c (0.0s) MILP presolver found nothing
0.00/0.03 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 11 chg sides, 64 chg coeffs, 479 upgd conss, 0 impls, 138 clqs
0.00/0.03 c (round 3, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 130 chg sides, 391 chg coeffs, 479 upgd conss, 0 impls, 138 clqs
0.00/0.03 c (round 4, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 131 chg sides, 395 chg coeffs, 479 upgd conss, 0 impls, 138 clqs
0.00/0.03 c (round 5, medium) 0 del vars, 153 del conss, 274 add conss, 0 chg bounds, 375 chg sides, 855 chg coeffs, 479 upgd conss, 0 impls, 138 clqs
0.00/0.03 c (round 6, fast) 0 del vars, 195 del conss, 293 add conss, 0 chg bounds, 462 chg sides, 1345 chg coeffs, 479 upgd conss, 0 impls, 138 clqs
0.00/0.03 c (round 7, exhaustive) 0 del vars, 195 del conss, 293 add conss, 0 chg bounds, 462 chg sides, 1355 chg coeffs, 479 upgd conss, 0 impls, 138 clqs
0.00/0.03 c (round 8, fast) 0 del vars, 195 del conss, 293 add conss, 0 chg bounds, 463 chg sides, 1361 chg coeffs, 479 upgd conss, 0 impls, 138 clqs
0.00/0.03 c (0.0s) probing: 51/479 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.04 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.04 c (0.0s) no symmetry present (symcode time: 0.00)
0.00/0.04 c presolving (9 rounds: 9 fast, 4 medium, 3 exhaustive):
0.00/0.04 c 0 deleted vars, 195 deleted constraints, 293 added constraints, 0 tightened bounds, 0 added holes, 463 changed sides, 1361 changed coefficients
0.00/0.04 c 0 implications, 138 cliques
0.00/0.04 c presolved problem has 479 variables (479 bin, 0 int, 0 impl, 0 cont) and 577 constraints
0.00/0.04 c 418 constraints of type <knapsack>
0.00/0.04 c 138 constraints of type <setppc>
0.00/0.04 c 21 constraints of type <logicor>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.02
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 10.0.0
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.04 c limits/time = 3596.997026
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.04 c limits/memory = 27900
0.00/0.04 c
0.00/0.04 c # belongs reading time to solving time?
0.00/0.04 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c timing/reading = TRUE
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c transformed 1/1 original solutions to the transformed problem space
0.00/0.04 c
0.00/0.04 o 228
0.00/0.04 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.04 c p 0.0s| 1 | 0 | 0 | - | locks| 0 | 479 | 577 | 577 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.280000e+02 | Inf | unknown
0.00/0.04 o 214
0.00/0.04 c i 0.0s| 1 | 0 | 0 | - | oneopt| 0 | 479 | 577 | 577 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.140000e+02 | Inf | unknown
0.08/0.16 c 0.1s| 1 | 0 | 1920 | - | 7595k | 0 | 479 | 577 | 577 | 0 | 0 | 0 | 0 | 1.561797e+02 | 2.140000e+02 | 37.02%| unknown
0.19/0.29 c 0.3s| 1 | 0 | 2549 | - | 26M | 0 | 479 | 577 | 640 | 63 | 1 | 0 | 0 | 1.596207e+02 | 2.140000e+02 | 34.07%| unknown
0.39/0.42 c 0.4s| 1 | 0 | 3290 | - | 40M | 0 | 479 | 577 | 698 | 121 | 2 | 0 | 0 | 1.618284e+02 | 2.140000e+02 | 32.24%| unknown
0.49/0.56 c 0.6s| 1 | 0 | 4013 | - | 53M | 0 | 479 | 577 | 755 | 178 | 3 | 0 | 0 | 1.636560e+02 | 2.140000e+02 | 30.76%| unknown
0.58/0.69 c 0.7s| 1 | 0 | 4552 | - | 65M | 0 | 479 | 577 | 815 | 238 | 4 | 0 | 0 | 1.648556e+02 | 2.140000e+02 | 29.81%| unknown
0.78/0.82 c 0.8s| 1 | 0 | 5004 | - | 77M | 0 | 479 | 577 | 862 | 285 | 5 | 0 | 0 | 1.657388e+02 | 2.140000e+02 | 29.12%| unknown
0.87/0.94 c 0.9s| 1 | 0 | 5420 | - | 91M | 0 | 479 | 577 | 912 | 335 | 6 | 0 | 0 | 1.664428e+02 | 2.140000e+02 | 28.57%| unknown
0.97/1.05 c 1.0s| 1 | 0 | 5763 | - | 105M | 0 | 479 | 577 | 949 | 372 | 7 | 0 | 0 | 1.668049e+02 | 2.140000e+02 | 28.29%| unknown
1.08/1.17 c 1.2s| 1 | 0 | 6106 | - | 109M | 0 | 479 | 577 | 984 | 407 | 8 | 0 | 0 | 1.670736e+02 | 2.140000e+02 | 28.09%| unknown
1.27/1.30 c 1.3s| 1 | 0 | 6452 | - | 125M | 0 | 479 | 577 |1014 | 437 | 9 | 0 | 0 | 1.672858e+02 | 2.140000e+02 | 27.92%| unknown
1.37/1.44 c 1.4s| 1 | 0 | 6785 | - | 142M | 0 | 479 | 577 |1043 | 466 | 10 | 0 | 0 | 1.674938e+02 | 2.140000e+02 | 27.77%| unknown
1.47/1.52 c 1.5s| 1 | 0 | 7118 | - | 142M | 0 | 479 | 577 |1075 | 500 | 11 | 0 | 0 | 1.676241e+02 | 2.140000e+02 | 27.67%| unknown
1.57/1.60 c 1.6s| 1 | 0 | 7507 | - | 142M | 0 | 479 | 577 |1106 | 531 | 12 | 0 | 0 | 1.678282e+02 | 2.140000e+02 | 27.51%| unknown
1.57/1.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.57/1.65 c 1.6s| 1 | 0 | 7652 | - | 142M | 0 | 479 | 577 |1130 | 555 | 13 | 0 | 0 | 1.678791e+02 | 2.140000e+02 | 27.47%| unknown
1.67/1.71 c 1.7s| 1 | 0 | 7887 | - | 142M | 0 | 479 | 577 |1152 | 577 | 14 | 0 | 0 | 1.679785e+02 | 2.140000e+02 | 27.40%| unknown
1.67/1.76 c 1.7s| 1 | 0 | 7975 | - | 142M | 0 | 479 | 577 |1166 | 591 | 15 | 0 | 0 | 1.680003e+02 | 2.140000e+02 | 27.38%| unknown
1.77/1.80 c 1.8s| 1 | 0 | 7994 | - | 142M | 0 | 479 | 577 |1170 | 595 | 16 | 0 | 0 | 1.680021e+02 | 2.140000e+02 | 27.38%| unknown
1.77/1.84 c 1.8s| 1 | 0 | 8032 | - | 142M | 0 | 479 | 577 |1095 | 600 | 17 | 0 | 0 | 1.680034e+02 | 2.140000e+02 | 27.38%| unknown
1.77/1.88 c 1.9s| 1 | 0 | 8082 | - | 143M | 0 | 479 | 577 |1097 | 602 | 18 | 0 | 0 | 1.680102e+02 | 2.140000e+02 | 27.37%| unknown
1.87/1.92 c 1.9s| 1 | 0 | 8088 | - | 143M | 0 | 479 | 577 |1100 | 605 | 19 | 0 | 0 | 1.680102e+02 | 2.140000e+02 | 27.37%| unknown
3.57/3.65 c 3.6s| 1 | 2 | 8088 | - | 144M | 0 | 479 | 577 |1100 | 605 | 20 | 0 | 29 | 1.682693e+02 | 2.140000e+02 | 27.18%| unknown
15.73/15.83 o 213
15.73/15.83 c d15.8s| 23 | 24 | 22605 | 659.9 |pscostdi| 22 | 479 | 577 |1094 | 0 | 1 | 0 | 251 | 1.682693e+02 | 2.130000e+02 | 26.58%| unknown
15.73/15.83 o 211
15.73/15.83 c d15.8s| 23 | 24 | 22610 | 660.1 |pscostdi| 22 | 479 | 577 |1094 | 0 | 1 | 0 | 251 | 1.682693e+02 | 2.110000e+02 | 25.39%| unknown
15.73/15.84 o 210
15.73/15.84 c i15.8s| 24 | 23 | 22619 | 631.8 | oneopt| 22 | 479 | 577 |1033 | 838 | 0 | 0 | 251 | 1.682693e+02 | 2.100000e+02 | 24.80%| unknown
22.82/22.95 c 22.9s| 100 | 101 | 76179 | 687.8 | 209M | 32 | 479 | 577 |1096 |1589 | 8 | 2 | 278 | 1.682693e+02 | 2.100000e+02 | 24.80%| unknown
24.22/24.39 o 209
24.22/24.39 c o24.4s| 104 | 105 |100893 | 901.0 |objpscos| 32 | 479 | 577 |1044 |1589 | 1 | 2 | 278 | 1.682693e+02 | 2.090000e+02 | 24.21%| unknown
24.22/24.39 c o24.4s| 104 | 105 |100943 | 901.5 |objpscos| 32 | 479 | 577 |1044 |1589 | 1 | 2 | 278 | 1.682693e+02 | 2.090000e+02 | 24.21%| unknown
24.22/24.39 o 208
24.22/24.39 c o24.4s| 104 | 105 |100946 | 901.5 |objpscos| 32 | 479 | 577 |1044 |1589 | 1 | 2 | 278 | 1.682693e+02 | 2.080000e+02 | 23.61%| unknown
24.32/24.42 o 205
24.32/24.42 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.42 c i24.4s| 104 | 105 |101582 | 907.7 | oneopt| 32 | 479 | 577 |1044 |1589 | 1 | 2 | 278 | 1.682693e+02 | 2.050000e+02 | 21.83%| unknown
33.69/33.85 c 33.8s| 200 | 201 |186071 | 894.4 | 204M | 33 | 479 | 580 |1034 |2141 | 1 | 8 | 312 | 1.683107e+02 | 2.050000e+02 | 21.80%| unknown
37.89/38.03 o 204
37.89/38.03 c d38.0s| 218 | 219 |235137 |1046.3 |pscostdi| 33 | 479 | 580 |1025 | 0 | 1 | 8 | 321 | 1.685863e+02 | 2.040000e+02 | 21.01%| unknown
51.25/51.47 c 51.5s| 300 | 301 |374898 |1226.8 | 205M | 33 | 479 | 580 |1097 |2892 | 1 | 16 | 351 | 1.687314e+02 | 2.040000e+02 | 20.90%| unknown
65.12/65.30 o 203
65.12/65.30 c d65.3s| 398 | 399 |527102 |1307.3 |pscostdi| 37 | 479 | 580 |1100 | 0 | 1 | 25 | 382 | 1.689749e+02 | 2.030000e+02 | 20.14%| unknown
65.12/65.30 o 202
65.12/65.30 c d65.3s| 398 | 399 |527106 |1307.4 |pscostdi| 37 | 479 | 580 |1100 | 0 | 1 | 25 | 382 | 1.689749e+02 | 2.020000e+02 | 19.54%| unknown
65.12/65.35 c 65.3s| 400 | 401 |527537 |1301.9 | 206M | 37 | 479 | 580 |1123 |3423 | 1 | 25 | 382 | 1.689749e+02 | 2.020000e+02 | 19.54%| unknown
76.29/76.57 o 201
76.29/76.57 c d76.6s| 474 | 475 |643989 |1344.4 |pscostdi| 37 | 479 | 580 | 974 | 0 | 1 | 31 | 408 | 1.690337e+02 | 2.010000e+02 | 18.91%| unknown
76.29/76.57 o 199
76.29/76.57 c d76.6s| 474 | 475 |643996 |1344.4 |pscostdi| 37 | 479 | 580 | 974 | 0 | 1 | 31 | 408 | 1.690337e+02 | 1.990000e+02 | 17.73%| unknown
80.08/80.34 c 80.3s| 500 | 501 |679659 |1345.8 | 207M | 37 | 479 | 582 |1119 |4170 | 4 | 34 | 423 | 1.690628e+02 | 1.990000e+02 | 17.71%| unknown
93.55/93.89 c 93.9s| 600 | 601 |805738 |1331.6 | 208M | 37 | 479 | 584 |1105 |5153 | 1 | 37 | 458 | 1.691038e+02 | 1.990000e+02 | 17.68%| unknown
104.52/104.80 o 195
104.52/104.80 c L 105s| 674 | 675 |922258 |1358.4 |crossove| 37 | 479 | 587 |1046 |5854 | 1 | 41 | 470 | 1.691395e+02 | 1.950000e+02 | 15.29%| unknown
108.62/108.99 c 109s| 700 | 701 |965875 |1370.2 | 211M | 37 | 479 | 593 |1116 |6073 | 1 | 49 | 472 | 1.691395e+02 | 1.950000e+02 | 15.29%| unknown
121.09/121.41 c 121s| 800 | 801 | 1097k|1363.2 | 211M | 37 | 479 | 598 |1129 |6827 | 1 | 56 | 479 | 1.691849e+02 | 1.950000e+02 | 15.26%| unknown
136.05/136.46 c 136s| 900 | 901 | 1252k|1384.6 | 212M | 37 | 479 | 608 |1098 |7877 | 1 | 69 | 500 | 1.692140e+02 | 1.950000e+02 | 15.24%| unknown
148.32/148.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
148.32/148.75 c 149s| 1000 | 1001 | 1365k|1358.9 | 213M | 37 | 479 | 620 |1056 |8573 | 1 | 81 | 526 | 1.693086e+02 | 1.950000e+02 | 15.17%| unknown
152.90/153.32 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
152.90/153.32 c (run 1, node 1049) performing user restart
152.90/153.32 c
152.90/153.32 c (restart) converted 316 cuts from the global cut pool into linear constraints
152.90/153.32 c
153.00/153.46 c presolving:
153.00/153.46 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 20 chg coeffs, 0 upgd conss, 0 impls, 138 clqs
153.00/153.47 c (round 2, exhaustive) 0 del vars, 2 del conss, 0 add conss, 0 chg bounds, 5 chg sides, 20 chg coeffs, 0 upgd conss, 0 impls, 138 clqs
153.00/153.47 c (round 3, exhaustive) 0 del vars, 2 del conss, 0 add conss, 0 chg bounds, 5 chg sides, 20 chg coeffs, 314 upgd conss, 0 impls, 138 clqs
153.00/153.47 c (round 4, fast) 0 del vars, 2 del conss, 0 add conss, 0 chg bounds, 6 chg sides, 21 chg coeffs, 314 upgd conss, 0 impls, 138 clqs
153.00/153.47 c presolving (5 rounds: 5 fast, 3 medium, 3 exhaustive):
153.00/153.47 c 0 deleted vars, 2 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 6 changed sides, 22 changed coefficients
153.00/153.47 c 0 implications, 138 cliques
153.00/153.47 c presolved problem has 479 variables (479 bin, 0 int, 0 impl, 0 cont) and 936 constraints
153.00/153.47 c 632 constraints of type <knapsack>
153.00/153.47 c 138 constraints of type <setppc>
153.00/153.47 c 166 constraints of type <logicor>
153.00/153.47 c transformed objective value is always integral (scale: 1)
153.00/153.47 c Presolving Time: 0.04
153.00/153.49 c transformed 98/100 original solutions to the transformed problem space
153.00/153.49 c
154.20/154.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
154.20/154.65 c 155s| 1 | 0 | 1420k| - | 189M | 0 | 479 | 936 | 891 | 0 | 0 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
154.40/154.84 c 155s| 1 | 0 | 1421k| - | 189M | 0 | 479 | 936 | 930 | 39 | 1 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
154.50/154.98 c 155s| 1 | 0 | 1422k| - | 191M | 0 | 479 | 936 | 968 | 77 | 2 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
154.61/155.09 c 155s| 1 | 0 | 1422k| - | 193M | 0 | 479 | 936 | 991 | 100 | 3 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
154.80/155.21 c 155s| 1 | 0 | 1423k| - | 199M | 0 | 479 | 936 |1005 | 114 | 4 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
154.90/155.34 c 155s| 1 | 0 | 1423k| - | 202M | 0 | 479 | 936 |1021 | 130 | 5 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
155.00/155.46 c 155s| 1 | 0 | 1423k| - | 206M | 0 | 479 | 936 |1026 | 135 | 6 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
155.19/155.60 c 156s| 1 | 0 | 1423k| - | 205M | 0 | 479 | 936 |1032 | 141 | 7 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
155.29/155.73 c 156s| 1 | 0 | 1424k| - | 206M | 0 | 479 | 936 |1036 | 145 | 8 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
155.39/155.89 c 156s| 1 | 0 | 1424k| - | 203M | 0 | 479 | 936 |1047 | 156 | 9 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
155.60/156.04 c 156s| 1 | 0 | 1424k| - | 208M | 0 | 479 | 936 |1053 | 162 | 10 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
155.70/156.12 c 156s| 1 | 0 | 1424k| - | 208M | 0 | 479 | 936 |1057 | 166 | 11 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
155.79/156.20 c 156s| 1 | 0 | 1424k| - | 208M | 0 | 479 | 936 |1061 | 170 | 12 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
155.79/156.28 c 156s| 1 | 0 | 1424k| - | 208M | 0 | 479 | 936 |1014 | 177 | 13 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
155.89/156.37 c 156s| 1 | 0 | 1425k| - | 209M | 0 | 479 | 936 |1020 | 183 | 14 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
155.99/156.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
155.99/156.46 c 156s| 1 | 0 | 1425k| - | 209M | 0 | 479 | 936 |1030 | 193 | 15 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
156.09/156.57 c 157s| 1 | 0 | 1425k| - | 209M | 0 | 479 | 936 |1039 | 202 | 16 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
156.19/156.67 c 157s| 1 | 0 | 1425k| - | 209M | 0 | 479 | 936 |1046 | 209 | 17 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
156.29/156.78 c 157s| 1 | 0 | 1425k| - | 209M | 0 | 479 | 936 |1052 | 215 | 18 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
156.49/156.90 c 157s| 1 | 0 | 1425k| - | 209M | 0 | 479 | 936 |1019 | 223 | 19 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
156.60/157.01 c 157s| 1 | 0 | 1425k| - | 209M | 0 | 479 | 936 |1028 | 232 | 20 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
156.60/157.10 c 157s| 1 | 0 | 1425k| - | 209M | 0 | 479 | 936 |1032 | 236 | 21 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
156.70/157.19 c 157s| 1 | 0 | 1425k| - | 209M | 0 | 479 | 936 |1039 | 243 | 22 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
156.79/157.29 c 157s| 1 | 0 | 1425k| - | 209M | 0 | 479 | 936 |1040 | 244 | 23 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
156.89/157.38 c 157s| 1 | 0 | 1425k| - | 209M | 0 | 479 | 936 |1041 | 245 | 24 | 83 | 538 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
159.48/159.91 c 160s| 1 | 2 | 1431k| - | 209M | 0 | 479 | 940 |1041 | 245 | 25 | 87 | 558 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
178.94/179.44 c 179s| 100 | 101 | 1544k|1327.2 | 226M | 35 | 479 | 942 |1012 | 613 | 1 | 91 | 736 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
188.11/188.64 c 189s| 200 | 201 | 1613k|1275.7 | 256M | 54 | 479 | 943 |1099 |1087 | 1 | 92 | 779 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
195.61/196.16 c 196s| 300 | 301 | 1694k|1241.8 | 258M | 55 | 479 | 943 |1045 |1556 | 1 | 94 | 831 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
200.99/201.52 c 202s| 400 | 401 | 1754k|1197.2 | 258M | 73 | 479 | 943 |1133 |1745 | 1 | 98 | 859 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
204.18/204.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
204.18/204.71 c 205s| 500 | 463 | 1787k|1141.1 | 258M | 87 | 479 | 943 |1136 |1827 | 0 | 107 | 891 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
206.97/207.55 c 208s| 600 | 517 | 1812k|1087.3 | 258M | 91 | 479 | 943 | 980 |1910 | 1 | 124 | 924 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
221.94/222.54 c 223s| 700 | 617 | 1931k|1093.2 | 260M | 91 | 479 | 947 | 975 |2456 | 1 | 128 | 966 | 1.693228e+02 | 1.950000e+02 | 15.16%| unknown
235.80/236.41 c 236s| 800 | 717 | 2027k|1085.9 | 304M | 91 | 479 | 968 | 978 |3036 | 1 | 151 |1013 | 1.693597e+02 | 1.950000e+02 | 15.14%| unknown
250.06/250.72 c 251s| 900 | 817 | 2137k|1086.3 | 298M | 91 | 479 | 976 | 983 |3555 | 1 | 163 |1055 | 1.694622e+02 | 1.950000e+02 | 15.07%| unknown
262.63/263.31 c 263s| 1000 | 917 | 2224k|1075.9 | 302M | 91 | 479 | 980 | 994 |4150 | 1 | 168 |1085 | 1.695506e+02 | 1.950000e+02 | 15.01%| unknown
274.42/275.14 c 275s| 1100 | 1017 | 2321k|1070.9 | 302M | 91 | 479 | 982 |1007 |4755 | 1 | 175 |1089 | 1.696472e+02 | 1.950000e+02 | 14.94%| unknown
285.68/286.43 c 286s| 1200 | 1117 | 2411k|1063.6 | 303M | 91 | 479 | 984 | 986 |5362 | 1 | 179 |1096 | 1.697018e+02 | 1.950000e+02 | 14.91%| unknown
297.65/298.40 c 298s| 1300 | 1217 | 2507k|1058.8 | 305M | 91 | 479 | 984 |1000 |5902 | 1 | 180 |1106 | 1.697883e+02 | 1.950000e+02 | 14.85%| unknown
309.02/309.81 c 310s| 1400 | 1317 | 2600k|1053.6 | 308M | 91 | 479 | 988 | 987 |6466 | 1 | 185 |1111 | 1.698460e+02 | 1.950000e+02 | 14.81%| unknown
319.80/320.66 c 321s| 1500 | 1417 | 2694k|1049.1 | 308M | 91 | 479 | 992 |1001 |7077 | 1 | 190 |1111 | 1.698863e+02 | 1.950000e+02 | 14.78%| unknown
331.18/332.08 c 332s| 1600 | 1517 | 2788k|1045.3 | 308M | 91 | 479 | 993 | 998 |7690 | 1 | 198 |1113 | 1.699330e+02 | 1.950000e+02 | 14.75%| unknown
345.14/346.00 c 346s| 1700 | 1617 | 2893k|1045.4 | 308M | 91 | 479 |1001 |1008 |8345 | 1 | 211 |1146 | 1.699769e+02 | 1.950000e+02 | 14.72%| unknown
357.80/358.71 c 359s| 1800 | 1717 | 2990k|1042.5 | 308M | 91 | 479 |1002 |1007 |9000 | 1 | 214 |1161 | 1.700216e+02 | 1.950000e+02 | 14.69%| unknown
369.28/370.26 c 370s| 1900 | 1817 | 3083k|1039.0 | 308M | 91 | 479 |1002 |1006 |9606 | 1 | 218 |1164 | 1.700508e+02 | 1.950000e+02 | 14.67%| unknown
380.06/381.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
380.06/381.05 c 381s| 2000 | 1917 | 3178k|1035.9 | 309M | 91 | 479 |1007 |1017 | 10k| 1 | 224 |1173 | 1.700930e+02 | 1.950000e+02 | 14.64%| unknown
391.62/392.65 c 393s| 2100 | 2017 | 3274k|1033.5 | 309M | 91 | 479 |1009 |1049 | 10k| 4 | 232 |1175 | 1.701434e+02 | 1.950000e+02 | 14.61%| unknown
402.59/403.66 c 404s| 2200 | 2117 | 3368k|1030.6 | 309M | 91 | 479 |1014 |1006 | 11k| 1 | 239 |1176 | 1.701877e+02 | 1.950000e+02 | 14.58%| unknown
413.67/414.71 c 415s| 2300 | 2217 | 3464k|1028.4 | 310M | 91 | 479 |1012 |1011 | 12k| 1 | 241 |1182 | 1.702209e+02 | 1.950000e+02 | 14.56%| unknown
424.44/425.56 c 426s| 2400 | 2317 | 3552k|1024.2 | 310M | 91 | 479 |1011 |1020 | 12k| 1 | 245 |1183 | 1.702413e+02 | 1.950000e+02 | 14.54%| unknown
436.21/437.30 c 437s| 2500 | 2417 | 3635k|1018.6 | 310M | 91 | 479 |1016 |1076 | 13k| 4 | 253 |1212 | 1.702720e+02 | 1.950000e+02 | 14.52%| unknown
446.78/447.98 c 448s| 2600 | 2517 | 3715k|1012.8 | 310M | 91 | 479 |1026 |1009 | 14k| 1 | 264 |1230 | 1.703102e+02 | 1.950000e+02 | 14.50%| unknown
457.96/459.19 c 459s| 2700 | 2617 | 3811k|1011.4 | 310M | 91 | 479 |1023 | 997 | 14k| 1 | 269 |1240 | 1.703329e+02 | 1.950000e+02 | 14.48%| unknown
468.03/469.23 c 469s| 2800 | 2717 | 3904k|1009.2 | 310M | 91 | 479 |1015 |1057 | 15k| 1 | 272 |1244 | 1.703606e+02 | 1.950000e+02 | 14.46%| unknown
478.50/479.73 c 480s| 2900 | 2817 | 3991k|1005.7 | 310M | 91 | 479 |1013 |1032 | 15k| 1 | 280 |1249 | 1.703924e+02 | 1.950000e+02 | 14.44%| unknown
489.27/490.53 c 491s| 3000 | 2917 | 4080k|1002.9 | 311M | 91 | 479 |1016 |1014 | 16k| 1 | 288 |1255 | 1.704116e+02 | 1.950000e+02 | 14.43%| unknown
497.65/498.99 c 499s| 3100 | 3017 | 4158k| 997.5 | 311M | 91 | 479 |1015 |1054 | 17k| 5 | 293 |1258 | 1.704441e+02 | 1.950000e+02 | 14.41%| unknown
506.93/508.29 c 508s| 3200 | 3117 | 4241k| 993.6 | 311M | 91 | 479 |1012 |1017 | 17k| 1 | 295 |1261 | 1.704520e+02 | 1.950000e+02 | 14.40%| unknown
516.30/517.68 c 518s| 3300 | 3217 | 4333k| 991.7 | 311M | 91 | 479 |1008 |1020 | 18k| 1 | 295 |1266 | 1.704765e+02 | 1.950000e+02 | 14.39%| unknown
526.18/527.55 c 528s| 3400 | 3317 | 4421k| 989.4 | 311M | 91 | 479 |1003 |1041 | 18k| 1 | 297 |1276 | 1.704884e+02 | 1.950000e+02 | 14.38%| unknown
537.85/539.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
537.85/539.28 c 539s| 3500 | 3417 | 4515k| 988.2 | 311M | 91 | 479 |1000 |1005 | 19k| 1 | 304 |1302 | 1.705105e+02 | 1.950000e+02 | 14.36%| unknown
547.23/548.60 c 549s| 3600 | 3517 | 4605k| 986.3 | 311M | 91 | 479 |1008 |1041 | 20k| 1 | 315 |1313 | 1.705228e+02 | 1.950000e+02 | 14.35%| unknown
557.20/558.67 c 559s| 3700 | 3617 | 4697k| 985.0 | 311M | 91 | 479 |1012 |1071 | 20k| 5 | 322 |1324 | 1.705437e+02 | 1.950000e+02 | 14.34%| unknown
567.37/568.83 c 569s| 3800 | 3717 | 4789k| 983.7 | 312M | 91 | 479 |1014 |1017 | 21k| 1 | 328 |1328 | 1.705603e+02 | 1.950000e+02 | 14.33%| unknown
575.75/577.24 c 577s| 3900 | 3817 | 4863k| 978.7 | 312M | 91 | 479 |1012 |1066 | 21k| 4 | 330 |1335 | 1.705774e+02 | 1.950000e+02 | 14.32%| unknown
585.33/586.85 c 587s| 4000 | 3917 | 4956k| 977.7 | 313M | 91 | 479 |1012 |1072 | 22k| 4 | 341 |1337 | 1.705870e+02 | 1.950000e+02 | 14.31%| unknown
594.31/595.86 c 596s| 4100 | 4017 | 5043k| 975.7 | 313M | 91 | 479 |1013 |1025 | 23k| 1 | 345 |1339 | 1.706012e+02 | 1.950000e+02 | 14.30%| unknown
602.89/604.46 c 604s| 4200 | 4117 | 5117k| 971.2 | 313M | 91 | 479 |1018 |1020 | 23k| 1 | 352 |1342 | 1.706344e+02 | 1.950000e+02 | 14.28%| unknown
611.27/612.83 c 613s| 4300 | 4217 | 5200k| 968.5 | 314M | 91 | 479 |1021 |1034 | 24k| 1 | 357 |1342 | 1.706461e+02 | 1.950000e+02 | 14.27%| unknown
621.05/622.66 c 623s| 4400 | 4317 | 5288k| 966.9 | 314M | 91 | 479 |1023 |1033 | 25k| 1 | 360 |1342 | 1.706521e+02 | 1.950000e+02 | 14.27%| unknown
629.72/631.31 c 631s| 4500 | 4417 | 5370k| 964.2 | 314M | 91 | 479 |1019 |1019 | 25k| 1 | 363 |1345 | 1.706618e+02 | 1.950000e+02 | 14.26%| unknown
639.60/641.27 c 641s| 4600 | 4517 | 5465k| 963.9 | 315M | 91 | 479 |1018 |1010 | 26k| 1 | 371 |1347 | 1.706766e+02 | 1.950000e+02 | 14.25%| unknown
647.49/649.11 c 649s| 4700 | 4617 | 5540k| 960.2 | 315M | 91 | 479 |1018 |1022 | 26k| 1 | 375 |1354 | 1.706924e+02 | 1.950000e+02 | 14.24%| unknown
654.67/656.35 c 656s| 4800 | 4717 | 5614k| 956.4 | 315M | 91 | 479 |1026 |1034 | 27k| 1 | 384 |1356 | 1.707054e+02 | 1.950000e+02 | 14.23%| unknown
663.05/664.71 c 665s| 4900 | 4817 | 5696k| 954.1 | 315M | 91 | 479 |1035 |1034 | 27k| 1 | 394 |1356 | 1.707205e+02 | 1.950000e+02 | 14.22%| unknown
671.92/673.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
671.92/673.60 c 674s| 5000 | 4917 | 5777k| 951.9 | 315M | 91 | 479 |1035 |1078 | 28k| 4 | 396 |1363 | 1.707289e+02 | 1.950000e+02 | 14.22%| unknown
681.00/682.75 c 683s| 5100 | 5017 | 5851k| 948.3 | 315M | 91 | 479 |1035 |1018 | 29k| 1 | 400 |1379 | 1.707424e+02 | 1.950000e+02 | 14.21%| unknown
690.29/692.06 c 692s| 5200 | 5117 | 5934k| 946.4 | 315M | 91 | 479 |1031 |1055 | 29k| 1 | 405 |1384 | 1.707525e+02 | 1.950000e+02 | 14.20%| unknown
699.97/701.77 c 702s| 5300 | 5217 | 6033k| 947.1 | 316M | 91 | 479 |1028 |1019 | 30k| 1 | 408 |1393 | 1.707698e+02 | 1.950000e+02 | 14.19%| unknown
709.25/711.03 c 711s| 5400 | 5317 | 6119k| 945.8 | 316M | 91 | 479 |1032 |1018 | 30k| 1 | 416 |1401 | 1.707834e+02 | 1.950000e+02 | 14.18%| unknown
716.53/718.39 c 718s| 5500 | 5417 | 6197k| 943.2 | 316M | 91 | 479 |1029 |1012 | 31k| 1 | 416 |1404 | 1.707933e+02 | 1.950000e+02 | 14.17%| unknown
726.40/728.26 c 728s| 5600 | 5517 | 6298k| 944.2 | 316M | 91 | 479 |1032 |1009 | 31k| 1 | 421 |1406 | 1.708021e+02 | 1.950000e+02 | 14.17%| unknown
737.18/739.06 c 739s| 5700 | 5617 | 6405k| 946.1 | 316M | 91 | 479 |1037 |1071 | 32k| 1 | 428 |1408 | 1.708171e+02 | 1.950000e+02 | 14.16%| unknown
745.56/747.42 c 747s| 5800 | 5717 | 6481k| 943.5 | 316M | 91 | 479 |1040 |1062 | 33k| 1 | 435 |1408 | 1.708284e+02 | 1.950000e+02 | 14.15%| unknown
754.84/756.78 c 757s| 5900 | 5817 | 6583k| 944.5 | 317M | 91 | 479 |1038 |1028 | 33k| 1 | 435 |1410 | 1.708325e+02 | 1.950000e+02 | 14.15%| unknown
764.41/766.39 c 766s| 6000 | 5917 | 6686k| 945.7 | 317M | 91 | 479 |1037 |1054 | 34k| 1 | 441 |1413 | 1.708411e+02 | 1.950000e+02 | 14.14%| unknown
775.09/777.06 c 777s| 6100 | 6017 | 6795k| 947.8 | 317M | 91 | 479 |1032 |1053 | 34k| 1 | 444 |1426 | 1.708465e+02 | 1.950000e+02 | 14.14%| unknown
783.47/785.40 c 785s| 6200 | 6117 | 6872k| 945.3 | 317M | 91 | 479 |1032 |1001 | 35k| 1 | 447 |1442 | 1.708538e+02 | 1.950000e+02 | 14.13%| unknown
792.85/794.87 c 795s| 6300 | 6217 | 6968k| 945.5 | 317M | 91 | 479 |1027 |1015 | 36k| 1 | 447 |1451 | 1.708612e+02 | 1.950000e+02 | 14.13%| unknown
803.42/805.48 c 805s| 6400 | 6317 | 7053k| 944.3 | 317M | 91 | 479 |1020 |1009 | 36k| 1 | 449 |1461 | 1.708700e+02 | 1.950000e+02 | 14.12%| unknown
811.60/813.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
811.60/813.67 c 814s| 6500 | 6417 | 7144k| 943.7 | 352M | 91 | 479 |1021 |1053 | 37k| 1 | 453 |1464 | 1.708798e+02 | 1.950000e+02 | 14.12%| unknown
821.28/823.37 c 823s| 6600 | 6517 | 7259k| 946.4 | 352M | 91 | 479 |1019 |1026 | 37k| 1 | 454 |1465 | 1.708879e+02 | 1.950000e+02 | 14.11%| unknown
829.46/831.53 c 832s| 6700 | 6617 | 7338k| 944.4 | 352M | 91 | 479 |1023 |1023 | 38k| 1 | 462 |1468 | 1.708946e+02 | 1.950000e+02 | 14.11%| unknown
833.45/835.51 o 194
833.45/835.51 c d 835s| 6740 | 6639 | 7371k| 943.8 |pscostdi| 91 | 479 |1023 |1080 | 0 | 4 | 463 |1474 | 1.708976e+02 | 1.940000e+02 | 13.52%| unknown
839.04/841.11 c 841s| 6800 | 6699 | 7426k| 943.7 | 353M | 91 | 479 |1025 |1060 | 38k| 1 | 472 |1476 | 1.709024e+02 | 1.940000e+02 | 13.52%| unknown
847.31/849.45 c 849s| 6900 | 6799 | 7508k| 942.1 | 353M | 91 | 479 |1024 |1054 | 39k| 1 | 475 |1480 | 1.709168e+02 | 1.940000e+02 | 13.51%| unknown
855.00/857.12 c 857s| 7000 | 6899 | 7585k| 939.9 | 353M | 91 | 479 |1036 |1031 | 39k| 1 | 488 |1483 | 1.709307e+02 | 1.940000e+02 | 13.50%| unknown
864.17/866.31 c 866s| 7100 | 6999 | 7682k| 940.3 | 353M | 91 | 479 |1041 |1046 | 40k| 1 | 496 |1485 | 1.709374e+02 | 1.940000e+02 | 13.49%| unknown
873.35/875.58 c 876s| 7200 | 7099 | 7763k| 938.7 | 353M | 91 | 479 |1046 |1013 | 41k| 1 | 503 |1486 | 1.709412e+02 | 1.940000e+02 | 13.49%| unknown
880.84/883.08 c 883s| 7300 | 7199 | 7835k| 936.1 | 354M | 91 | 479 |1045 |1045 | 41k| 1 | 507 |1487 | 1.709509e+02 | 1.940000e+02 | 13.48%| unknown
892.21/894.40 c 894s| 7400 | 7299 | 7983k| 942.6 | 354M | 91 | 479 |1049 |1048 | 42k| 1 | 511 |1499 | 1.709597e+02 | 1.940000e+02 | 13.48%| unknown
901.29/903.58 c 904s| 7500 | 7399 | 8086k| 943.5 | 354M | 91 | 479 |1052 |1014 | 42k| 1 | 516 |1508 | 1.709640e+02 | 1.940000e+02 | 13.47%| unknown
909.47/911.74 c 912s| 7600 | 7499 | 8160k| 941.2 | 354M | 91 | 479 |1054 |1057 | 43k| 1 | 523 |1516 | 1.709702e+02 | 1.940000e+02 | 13.47%| unknown
918.15/920.44 c 920s| 7700 | 7599 | 8234k| 938.9 | 354M | 91 | 479 |1055 |1051 | 43k| 1 | 527 |1526 | 1.709739e+02 | 1.940000e+02 | 13.47%| unknown
927.62/929.99 c 930s| 7800 | 7699 | 8332k| 939.4 | 354M | 91 | 479 |1056 |1042 | 44k| 1 | 532 |1529 | 1.709822e+02 | 1.940000e+02 | 13.46%| unknown
934.91/937.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
934.91/937.21 c 937s| 7900 | 7799 | 8415k| 938.1 | 354M | 91 | 479 |1065 |1041 | 44k| 1 | 545 |1531 | 1.709893e+02 | 1.940000e+02 | 13.46%| unknown
941.99/944.37 c 944s| 8000 | 7899 | 8491k| 936.2 | 354M | 91 | 479 |1065 |1077 | 45k| 4 | 547 |1533 | 1.709968e+02 | 1.940000e+02 | 13.45%| unknown
948.37/950.76 c 951s| 8100 | 7999 | 8558k| 933.3 | 354M | 91 | 479 |1063 |1012 | 45k| 1 | 547 |1533 | 1.710026e+02 | 1.940000e+02 | 13.45%| unknown
956.16/958.58 c 959s| 8200 | 8099 | 8645k| 932.6 | 354M | 91 | 479 |1061 |1070 | 46k| 4 | 549 |1536 | 1.710132e+02 | 1.940000e+02 | 13.44%| unknown
965.23/967.66 c 968s| 8300 | 8199 | 8738k| 932.5 | 354M | 91 | 479 |1065 |1070 | 46k| 4 | 554 |1536 | 1.710157e+02 | 1.940000e+02 | 13.44%| unknown
973.02/975.41 c 975s| 8400 | 8299 | 8820k| 931.4 | 354M | 91 | 479 |1063 |1069 | 47k| 1 | 557 |1538 | 1.710214e+02 | 1.940000e+02 | 13.44%| unknown
980.20/982.61 c 983s| 8500 | 8399 | 8887k| 928.6 | 354M | 91 | 479 |1068 |1017 | 47k| 1 | 569 |1542 | 1.710250e+02 | 1.940000e+02 | 13.43%| unknown
988.38/990.89 c 991s| 8600 | 8499 | 8968k| 927.4 | 355M | 91 | 479 |1066 |1045 | 48k| 1 | 571 |1545 | 1.710350e+02 | 1.940000e+02 | 13.43%| unknown
995.86/998.35 c 998s| 8700 | 8599 | 9049k| 926.2 | 355M | 91 | 479 |1063 |1065 | 48k| 3 | 574 |1557 | 1.710407e+02 | 1.940000e+02 | 13.42%| unknown
1004.84/1007.34 c 1007s| 8800 | 8699 | 9151k| 927.2 | 355M | 91 | 479 |1071 |1046 | 49k| 1 | 583 |1567 | 1.710451e+02 | 1.940000e+02 | 13.42%| unknown
1012.63/1015.14 c 1015s| 8900 | 8799 | 9225k| 925.3 | 355M | 91 | 479 |1069 |1050 | 49k| 1 | 584 |1572 | 1.710515e+02 | 1.940000e+02 | 13.42%| unknown
1019.30/1021.83 c 1022s| 9000 | 8899 | 9298k| 923.3 | 355M | 91 | 479 |1066 |1038 | 50k| 1 | 589 |1577 | 1.710562e+02 | 1.940000e+02 | 13.41%| unknown
1027.49/1030.05 c 1030s| 9100 | 8999 | 9371k| 921.4 | 355M | 91 | 479 |1066 |1048 | 50k| 1 | 593 |1581 | 1.710636e+02 | 1.940000e+02 | 13.41%| unknown
1034.27/1036.80 c 1037s| 9200 | 9099 | 9445k| 919.7 | 356M | 91 | 479 |1068 |1039 | 51k| 1 | 597 |1586 | 1.710663e+02 | 1.940000e+02 | 13.41%| unknown
1041.05/1043.69 c 1044s| 9300 | 9199 | 9514k| 917.5 | 357M | 91 | 479 |1072 |1048 | 51k| 1 | 606 |1588 | 1.710696e+02 | 1.940000e+02 | 13.40%| unknown
1048.93/1051.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1048.93/1051.54 c 1052s| 9400 | 9299 | 9605k| 917.3 | 357M | 91 | 479 |1068 |1009 | 52k| 1 | 611 |1593 | 1.710763e+02 | 1.940000e+02 | 13.40%| unknown
1056.91/1059.53 c 1060s| 9500 | 9399 | 9685k| 916.2 | 357M | 91 | 479 |1067 |1042 | 52k| 1 | 611 |1596 | 1.710821e+02 | 1.940000e+02 | 13.40%| unknown
1063.39/1066.10 c 1066s| 9600 | 9499 | 9751k| 913.8 | 357M | 91 | 479 |1066 |1015 | 53k| 1 | 613 |1597 | 1.710912e+02 | 1.940000e+02 | 13.39%| unknown
1070.66/1073.38 c 1073s| 9700 | 9599 | 9827k| 912.4 | 357M | 91 | 479 |1074 |1058 | 53k| 1 | 624 |1597 | 1.710952e+02 | 1.940000e+02 | 13.39%| unknown
1077.24/1079.96 c 1080s| 9800 | 9699 | 9898k| 910.5 | 357M | 91 | 479 |1075 |1038 | 54k| 1 | 627 |1597 | 1.711019e+02 | 1.940000e+02 | 13.38%| unknown
1085.22/1087.93 c 1088s| 9900 | 9799 | 9978k| 909.5 | 357M | 91 | 479 |1087 |1041 | 54k| 1 | 640 |1600 | 1.711086e+02 | 1.940000e+02 | 13.38%| unknown
1091.30/1094.04 c 1094s| 10000 | 9899 | 10043k| 907.1 | 357M | 91 | 479 |1084 |1059 | 55k| 1 | 641 |1603 | 1.711146e+02 | 1.940000e+02 | 13.37%| unknown
1098.88/1101.61 c 1102s| 10100 | 9999 | 10113k| 905.4 | 357M | 91 | 479 |1084 |1067 | 55k| 1 | 644 |1614 | 1.711201e+02 | 1.940000e+02 | 13.37%| unknown
1107.55/1110.30 c 1110s| 10200 | 10099 | 10207k| 905.6 | 357M | 91 | 479 |1089 |1013 | 56k| 1 | 650 |1621 | 1.711233e+02 | 1.940000e+02 | 13.37%| unknown
1116.42/1119.21 c 1119s| 10300 | 10199 | 10288k| 904.8 | 358M | 91 | 479 |1093 |1013 | 56k| 1 | 657 |1634 | 1.711261e+02 | 1.940000e+02 | 13.37%| unknown
1123.70/1126.50 c 1126s| 10400 | 10299 | 10352k| 902.5 | 358M | 91 | 479 |1096 |1014 | 57k| 1 | 664 |1644 | 1.711307e+02 | 1.940000e+02 | 13.36%| unknown
1130.88/1133.78 c 1134s| 10500 | 10399 | 10429k| 901.4 | 358M | 91 | 479 |1096 |1069 | 57k| 1 | 667 |1645 | 1.711373e+02 | 1.940000e+02 | 13.36%| unknown
1137.16/1140.01 c 1140s| 10600 | 10499 | 10494k| 899.2 | 358M | 91 | 479 |1103 |1039 | 58k| 1 | 676 |1646 | 1.711443e+02 | 1.940000e+02 | 13.35%| unknown
1144.03/1146.92 c 1147s| 10700 | 10599 | 10567k| 897.7 | 358M | 91 | 479 |1106 |1016 | 58k| 1 | 686 |1648 | 1.711486e+02 | 1.940000e+02 | 13.35%| unknown
1151.41/1154.34 c 1154s| 10800 | 10699 | 10645k| 896.7 | 358M | 91 | 479 |1117 |1056 | 59k| 1 | 699 |1649 | 1.711560e+02 | 1.940000e+02 | 13.35%| unknown
1159.29/1162.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1159.29/1162.28 c 1162s| 10900 | 10799 | 10735k| 896.8 | 358M | 91 | 479 |1120 |1060 | 59k| 1 | 705 |1650 | 1.711613e+02 | 1.940000e+02 | 13.34%| unknown
1167.26/1170.23 c 1170s| 11000 | 10899 | 10813k| 895.8 | 358M | 91 | 479 |1123 |1010 | 60k| 1 | 710 |1651 | 1.711670e+02 | 1.940000e+02 | 13.34%| unknown
1174.94/1177.92 c 1178s| 11100 | 10999 | 10888k| 894.6 | 358M | 91 | 479 |1122 |1017 | 60k| 1 | 711 |1655 | 1.711709e+02 | 1.940000e+02 | 13.34%| unknown
1182.52/1185.57 c 1186s| 11200 | 11099 | 10966k| 893.6 | 358M | 91 | 479 |1122 |1060 | 61k| 1 | 713 |1657 | 1.711764e+02 | 1.940000e+02 | 13.33%| unknown
1188.50/1191.55 c 1192s| 11300 | 11199 | 11030k| 891.6 | 358M | 91 | 479 |1123 |1079 | 61k| 1 | 717 |1660 | 1.711799e+02 | 1.940000e+02 | 13.33%| unknown
1196.37/1199.45 c 1199s| 11400 | 11299 | 11106k| 890.5 | 358M | 91 | 479 |1125 |1055 | 62k| 1 | 725 |1660 | 1.711860e+02 | 1.940000e+02 | 13.33%| unknown
1203.35/1206.49 c 1206s| 11500 | 11399 | 11178k| 889.2 | 358M | 91 | 479 |1129 |1052 | 62k| 1 | 730 |1663 | 1.711903e+02 | 1.940000e+02 | 13.32%| unknown
1212.42/1215.54 c 1216s| 11600 | 11499 | 11271k| 889.5 | 359M | 91 | 479 |1128 |1074 | 63k| 1 | 734 |1674 | 1.711928e+02 | 1.940000e+02 | 13.32%| unknown
1220.00/1223.13 c 1223s| 11700 | 11599 | 11347k| 888.5 | 359M | 91 | 479 |1129 | 992 | 63k| 1 | 743 |1680 | 1.711975e+02 | 1.940000e+02 | 13.32%| unknown
1227.18/1230.36 c 1230s| 11800 | 11699 | 11421k| 887.3 | 359M | 91 | 479 |1129 |1074 | 64k| 1 | 748 |1681 | 1.712005e+02 | 1.940000e+02 | 13.32%| unknown
1234.86/1238.04 c 1238s| 11900 | 11799 | 11492k| 885.9 | 359M | 91 | 479 |1130 |1040 | 64k| 1 | 752 |1687 | 1.712063e+02 | 1.940000e+02 | 13.31%| unknown
1242.33/1245.54 c 1246s| 12000 | 11899 | 11569k| 885.1 | 359M | 91 | 479 |1131 |1051 | 65k| 1 | 758 |1693 | 1.712107e+02 | 1.940000e+02 | 13.31%| unknown
1250.20/1253.49 c 1253s| 12100 | 11999 | 11645k| 884.2 | 359M | 91 | 479 |1137 |1051 | 65k| 1 | 767 |1696 | 1.712140e+02 | 1.940000e+02 | 13.31%| unknown
1258.68/1262.00 c 1262s| 12200 | 12099 | 11726k| 883.5 | 359M | 91 | 479 |1147 |1060 | 66k| 1 | 781 |1699 | 1.712174e+02 | 1.940000e+02 | 13.31%| unknown
1265.96/1269.29 c 1269s| 12300 | 12199 | 11809k| 883.2 | 359M | 91 | 479 |1145 |1048 | 67k| 1 | 785 |1701 | 1.712221e+02 | 1.940000e+02 | 13.30%| unknown
1272.34/1275.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1272.34/1275.66 c 1276s| 12400 | 12299 | 11882k| 882.0 | 359M | 91 | 479 |1149 |1043 | 67k| 1 | 790 |1701 | 1.712239e+02 | 1.940000e+02 | 13.30%| unknown
1279.41/1282.72 c 1283s| 12500 | 12399 | 11954k| 880.9 | 359M | 91 | 479 |1148 |1040 | 68k| 1 | 791 |1704 | 1.712284e+02 | 1.940000e+02 | 13.30%| unknown
1285.20/1288.56 c 1289s| 12600 | 12499 | 12019k| 879.2 | 359M | 91 | 479 |1153 |1042 | 68k| 1 | 798 |1704 | 1.712325e+02 | 1.940000e+02 | 13.30%| unknown
1290.88/1294.20 c 1294s| 12700 | 12599 | 12083k| 877.4 | 359M | 91 | 479 |1153 |1052 | 69k| 4 | 801 |1704 | 1.712367e+02 | 1.940000e+02 | 13.29%| unknown
1298.26/1301.61 c 1302s| 12800 | 12699 | 12170k| 877.3 | 359M | 91 | 479 |1156 |1011 | 69k| 1 | 804 |1705 | 1.712408e+02 | 1.940000e+02 | 13.29%| unknown
1305.43/1308.82 c 1309s| 12900 | 12799 | 12243k| 876.3 | 359M | 91 | 479 |1158 |1003 | 69k| 1 | 808 |1706 | 1.712454e+02 | 1.940000e+02 | 13.29%| unknown
1311.12/1314.58 c 1315s| 13000 | 12899 | 12305k| 874.4 | 360M | 91 | 479 |1162 |1070 | 70k| 1 | 814 |1709 | 1.712476e+02 | 1.940000e+02 | 13.29%| unknown
1318.79/1322.22 c 1322s| 13100 | 12999 | 12377k| 873.4 | 360M | 91 | 479 |1163 |1065 | 70k| 1 | 818 |1719 | 1.712545e+02 | 1.940000e+02 | 13.28%| unknown
1325.87/1329.38 c 1329s| 13200 | 13099 | 12460k| 873.0 | 361M | 91 | 479 |1157 |1057 | 71k| 1 | 820 |1723 | 1.712591e+02 | 1.940000e+02 | 13.28%| unknown
1333.25/1336.70 c 1337s| 13300 | 13199 | 12530k| 871.9 | 361M | 91 | 479 |1159 |1054 | 71k| 1 | 826 |1726 | 1.712638e+02 | 1.940000e+02 | 13.28%| unknown
1339.73/1343.22 c 1343s| 13400 | 13299 | 12602k| 870.8 | 361M | 91 | 479 |1164 |1042 | 72k| 1 | 839 |1729 | 1.712682e+02 | 1.940000e+02 | 13.27%| unknown
1346.21/1349.73 c 1350s| 13500 | 13399 | 12666k| 869.2 | 361M | 91 | 479 |1162 |1049 | 72k| 1 | 842 |1733 | 1.712715e+02 | 1.940000e+02 | 13.27%| unknown
1351.99/1355.52 c 1356s| 13600 | 13499 | 12730k| 867.7 | 361M | 91 | 479 |1162 |1062 | 73k| 1 | 847 |1734 | 1.712761e+02 | 1.940000e+02 | 13.27%| unknown
1358.07/1361.68 c 1362s| 13700 | 13599 | 12794k| 866.1 | 361M | 91 | 479 |1160 |1035 | 73k| 1 | 851 |1738 | 1.712794e+02 | 1.940000e+02 | 13.27%| unknown
1364.95/1368.53 c 1369s| 13800 | 13699 | 12866k| 865.1 | 361M | 91 | 479 |1166 |1059 | 74k| 1 | 859 |1739 | 1.712825e+02 | 1.940000e+02 | 13.26%| unknown
1373.02/1376.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1373.02/1376.60 c 1377s| 13900 | 13799 | 12957k| 865.4 | 362M | 91 | 479 |1163 |1062 | 74k| 1 | 867 |1741 | 1.712843e+02 | 1.940000e+02 | 13.26%| unknown
1378.71/1382.38 c 1382s| 14000 | 13899 | 13021k| 864.0 | 362M | 91 | 479 |1157 |1052 | 75k| 1 | 870 |1743 | 1.712872e+02 | 1.940000e+02 | 13.26%| unknown
1385.88/1389.51 c 1389s| 14100 | 13999 | 13097k| 863.3 | 362M | 91 | 479 |1162 |1034 | 75k| 1 | 880 |1743 | 1.712903e+02 | 1.940000e+02 | 13.26%| unknown
1393.66/1397.33 c 1397s| 14200 | 14099 | 13179k| 862.9 | 362M | 91 | 479 |1169 |1042 | 76k| 1 | 892 |1743 | 1.712956e+02 | 1.940000e+02 | 13.25%| unknown
1399.74/1403.48 c 1403s| 14300 | 14199 | 13258k| 862.5 | 362M | 91 | 479 |1169 |1050 | 76k| 1 | 894 |1745 | 1.712984e+02 | 1.940000e+02 | 13.25%| unknown
1408.11/1411.85 c 1412s| 14400 | 14299 | 13337k| 862.0 | 362M | 91 | 479 |1172 |1069 | 77k| 1 | 900 |1746 | 1.713013e+02 | 1.940000e+02 | 13.25%| unknown
1415.30/1419.02 c 1419s| 14500 | 14399 | 13406k| 860.9 | 362M | 91 | 479 |1170 |1056 | 77k| 1 | 907 |1755 | 1.713043e+02 | 1.940000e+02 | 13.25%| unknown
1421.97/1425.71 c 1426s| 14600 | 14499 | 13477k| 859.9 | 362M | 91 | 479 |1173 |1055 | 78k| 1 | 914 |1764 | 1.713064e+02 | 1.940000e+02 | 13.25%| unknown
1428.75/1432.56 c 1433s| 14700 | 14599 | 13549k| 859.1 | 362M | 91 | 479 |1173 |1028 | 78k| 1 | 915 |1769 | 1.713088e+02 | 1.940000e+02 | 13.25%| unknown
1435.43/1439.25 c 1439s| 14800 | 14699 | 13621k| 858.2 | 362M | 91 | 479 |1167 |1056 | 79k| 1 | 922 |1772 | 1.713113e+02 | 1.940000e+02 | 13.24%| unknown
1440.92/1444.79 c 1445s| 14900 | 14799 | 13679k| 856.5 | 362M | 91 | 479 |1165 |1049 | 79k| 1 | 924 |1774 | 1.713167e+02 | 1.940000e+02 | 13.24%| unknown
1447.60/1451.49 c 1451s| 15000 | 14899 | 13746k| 855.3 | 363M | 91 | 479 |1165 |1064 | 79k| 1 | 933 |1777 | 1.713191e+02 | 1.940000e+02 | 13.24%| unknown
1455.29/1459.16 c 1459s| 15100 | 14999 | 13834k| 855.4 | 363M | 91 | 479 |1160 |1047 | 80k| 1 | 938 |1779 | 1.713223e+02 | 1.940000e+02 | 13.24%| unknown
1460.57/1464.45 c 1464s| 15200 | 15099 | 13891k| 853.7 | 363M | 91 | 479 |1160 |1071 | 80k| 1 | 946 |1785 | 1.713246e+02 | 1.940000e+02 | 13.24%| unknown
1467.35/1471.29 c 1471s| 15300 | 15199 | 13966k| 853.0 | 363M | 91 | 479 |1162 |1052 | 81k| 1 | 953 |1786 | 1.713277e+02 | 1.940000e+02 | 13.23%| unknown
1473.44/1477.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1473.44/1477.31 c 1477s| 15400 | 15299 | 14026k| 851.5 | 363M | 91 | 479 |1159 |1074 | 81k| 1 | 956 |1790 | 1.713308e+02 | 1.940000e+02 | 13.23%| unknown
1479.23/1483.13 c 1483s| 15500 | 15399 | 14087k| 850.1 | 363M | 91 | 479 |1171 |1062 | 82k| 1 | 971 |1795 | 1.713329e+02 | 1.940000e+02 | 13.23%| unknown
1486.51/1490.47 c 1490s| 15600 | 15499 | 14159k| 849.3 | 363M | 91 | 479 |1175 |1052 | 82k| 3 | 977 |1798 | 1.713369e+02 | 1.940000e+02 | 13.23%| unknown
1492.00/1496.00 c 1496s| 15700 | 15599 | 14221k| 847.9 | 363M | 91 | 479 |1171 |1054 | 83k| 1 | 977 |1800 | 1.713401e+02 | 1.940000e+02 | 13.23%| unknown
1498.98/1502.98 c 1503s| 15800 | 15699 | 14291k| 847.0 | 363M | 91 | 479 |1176 |1049 | 83k| 1 | 986 |1802 | 1.713443e+02 | 1.940000e+02 | 13.22%| unknown
1506.46/1510.42 c 1510s| 15900 | 15799 | 14383k| 847.5 | 363M | 91 | 479 |1186 |1048 | 83k| 1 | 999 |1802 | 1.713469e+02 | 1.940000e+02 | 13.22%| unknown
1513.54/1517.55 c 1518s| 16000 | 15899 | 14461k| 847.1 | 364M | 91 | 479 |1190 |1052 | 84k| 1 |1006 |1802 | 1.713505e+02 | 1.940000e+02 | 13.22%| unknown
1520.43/1524.48 c 1524s| 16100 | 15999 | 14537k| 846.5 | 364M | 91 | 479 |1187 |1045 | 84k| 1 |1009 |1804 | 1.713531e+02 | 1.940000e+02 | 13.22%| unknown
1526.91/1530.98 c 1531s| 16200 | 16099 | 14601k| 845.4 | 364M | 91 | 479 |1188 |1050 | 85k| 1 |1013 |1809 | 1.713554e+02 | 1.940000e+02 | 13.22%| unknown
1533.50/1537.56 c 1538s| 16300 | 16199 | 14669k| 844.4 | 364M | 91 | 479 |1187 |1059 | 85k| 1 |1021 |1814 | 1.713585e+02 | 1.940000e+02 | 13.21%| unknown
1542.08/1546.19 c 1546s| 16400 | 16299 | 14764k| 845.0 | 364M | 91 | 479 |1180 |1067 | 86k| 3 |1022 |1823 | 1.713600e+02 | 1.940000e+02 | 13.21%| unknown
1547.86/1551.96 c 1552s| 16500 | 16399 | 14826k| 843.7 | 364M | 91 | 479 |1182 |1049 | 86k| 1 |1031 |1829 | 1.713635e+02 | 1.940000e+02 | 13.21%| unknown
1555.05/1559.16 c 1559s| 16600 | 16499 | 14899k| 843.1 | 365M | 91 | 479 |1183 |1054 | 87k| 1 |1038 |1837 | 1.713652e+02 | 1.940000e+02 | 13.21%| unknown
1562.03/1566.10 c 1566s| 16700 | 16599 | 14970k| 842.3 | 365M | 91 | 479 |1184 |1079 | 87k| 1 |1043 |1838 | 1.713704e+02 | 1.940000e+02 | 13.21%| unknown
1568.41/1572.53 c 1573s| 16800 | 16699 | 15040k| 841.5 | 365M | 91 | 479 |1176 |1052 | 87k| 1 |1043 |1840 | 1.713729e+02 | 1.940000e+02 | 13.20%| unknown
1573.90/1578.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1573.90/1578.08 c 1578s| 16900 | 16799 | 15100k| 840.2 | 365M | 91 | 479 |1177 |1070 | 88k| 1 |1047 |1842 | 1.713764e+02 | 1.940000e+02 | 13.20%| unknown
1580.89/1585.06 c 1585s| 17000 | 16899 | 15177k| 839.8 | 365M | 91 | 479 |1180 |1050 | 88k| 3 |1057 |1844 | 1.713786e+02 | 1.940000e+02 | 13.20%| unknown
1588.36/1592.58 c 1593s| 17100 | 16999 | 15261k| 839.8 | 365M | 91 | 479 |1177 |1011 | 89k| 1 |1062 |1844 | 1.713811e+02 | 1.940000e+02 | 13.20%| unknown
1594.45/1598.69 c 1599s| 17200 | 17099 | 15327k| 838.8 | 365M | 91 | 479 |1176 |1049 | 89k| 1 |1065 |1846 | 1.713837e+02 | 1.940000e+02 | 13.20%| unknown
1601.23/1605.45 c 1605s| 17300 | 17199 | 15399k| 838.2 | 365M | 91 | 479 |1182 |1046 | 89k| 1 |1074 |1848 | 1.713862e+02 | 1.940000e+02 | 13.19%| unknown
1607.62/1611.80 c 1612s| 17400 | 17299 | 15468k| 837.4 | 365M | 91 | 479 |1186 |1074 | 90k| 3 |1079 |1848 | 1.713888e+02 | 1.940000e+02 | 13.19%| unknown
1613.60/1617.89 c 1618s| 17500 | 17399 | 15532k| 836.3 | 365M | 91 | 479 |1186 |1044 | 90k| 1 |1086 |1848 | 1.713920e+02 | 1.940000e+02 | 13.19%| unknown
1620.29/1624.53 c 1625s| 17600 | 17499 | 15601k| 835.5 | 365M | 91 | 479 |1190 |1056 | 91k| 1 |1093 |1851 | 1.713943e+02 | 1.940000e+02 | 13.19%| unknown
1626.88/1631.13 c 1631s| 17700 | 17599 | 15669k| 834.7 | 366M | 91 | 479 |1192 |1063 | 91k| 1 |1101 |1851 | 1.713960e+02 | 1.940000e+02 | 13.19%| unknown
1633.26/1637.53 c 1638s| 17800 | 17699 | 15737k| 833.9 | 366M | 91 | 479 |1189 |1057 | 92k| 1 |1103 |1851 | 1.713980e+02 | 1.940000e+02 | 13.19%| unknown
1641.04/1645.35 c 1645s| 17900 | 17799 | 15831k| 834.4 | 366M | 91 | 479 |1205 |1042 | 92k| 1 |1120 |1855 | 1.714010e+02 | 1.940000e+02 | 13.18%| unknown
1647.83/1652.14 c 1652s| 18000 | 17899 | 15903k| 833.8 | 366M | 91 | 479 |1208 |1051 | 92k| 4 |1124 |1860 | 1.714042e+02 | 1.940000e+02 | 13.18%| unknown
1654.20/1658.57 c 1659s| 18100 | 17999 | 15969k| 832.9 | 366M | 91 | 479 |1204 |1046 | 93k| 1 |1125 |1863 | 1.714068e+02 | 1.940000e+02 | 13.18%| unknown
1660.39/1664.79 c 1665s| 18200 | 18099 | 16038k| 832.2 | 366M | 91 | 479 |1201 |1067 | 93k| 1 |1130 |1865 | 1.714099e+02 | 1.940000e+02 | 13.18%| unknown
1666.38/1670.77 c 1671s| 18300 | 18199 | 16098k| 831.0 | 367M | 91 | 479 |1197 |1065 | 94k| 1 |1131 |1868 | 1.714139e+02 | 1.940000e+02 | 13.18%| unknown
1672.86/1677.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1672.86/1677.24 c 1677s| 18400 | 18299 | 16172k| 830.5 | 367M | 91 | 479 |1195 |1063 | 94k| 1 |1142 |1870 | 1.714172e+02 | 1.940000e+02 | 13.17%| unknown
1679.75/1684.19 c 1684s| 18500 | 18399 | 16247k| 830.1 | 367M | 91 | 479 |1196 |1076 | 95k| 1 |1149 |1872 | 1.714208e+02 | 1.940000e+02 | 13.17%| unknown
1686.63/1691.09 c 1691s| 18600 | 18499 | 16319k| 829.5 | 367M | 91 | 479 |1189 |1050 | 95k| 1 |1155 |1877 | 1.714236e+02 | 1.940000e+02 | 13.17%| unknown
1693.81/1698.28 c 1698s| 18700 | 18599 | 16406k| 829.7 | 367M | 91 | 479 |1183 |1068 | 95k| 1 |1158 |1879 | 1.714255e+02 | 1.940000e+02 | 13.17%| unknown
1699.39/1703.86 c 1704s| 18800 | 18699 | 16469k| 828.7 | 367M | 91 | 479 |1184 |1058 | 96k| 1 |1161 |1881 | 1.714263e+02 | 1.940000e+02 | 13.17%| unknown
1705.78/1710.25 c 1710s| 18900 | 18799 | 16538k| 828.0 | 367M | 91 | 479 |1190 |1008 | 96k| 1 |1170 |1882 | 1.714288e+02 | 1.940000e+02 | 13.17%| unknown
1712.58/1717.00 c 1717s| 19000 | 18899 | 16605k| 827.2 | 367M | 91 | 479 |1190 |1048 | 97k| 1 |1179 |1884 | 1.714317e+02 | 1.940000e+02 | 13.16%| unknown
1719.85/1724.39 c 1724s| 19100 | 18999 | 16676k| 826.6 | 367M | 91 | 479 |1191 |1040 | 97k| 1 |1184 |1887 | 1.714337e+02 | 1.940000e+02 | 13.16%| unknown
1726.44/1730.90 c 1731s| 19200 | 19099 | 16751k| 826.3 | 367M | 91 | 479 |1189 |1038 | 98k| 1 |1186 |1887 | 1.714362e+02 | 1.940000e+02 | 13.16%| unknown
1733.12/1737.60 c 1738s| 19300 | 19199 | 16822k| 825.7 | 367M | 91 | 479 |1189 |1059 | 98k| 1 |1188 |1890 | 1.714381e+02 | 1.940000e+02 | 13.16%| unknown
1739.01/1743.54 c 1744s| 19400 | 19299 | 16888k| 824.9 | 367M | 91 | 479 |1195 |1062 | 98k| 1 |1199 |1890 | 1.714415e+02 | 1.940000e+02 | 13.16%| unknown
1744.09/1748.69 c 1749s| 19500 | 19399 | 16947k| 823.7 | 367M | 91 | 479 |1196 |1047 | 99k| 1 |1203 |1893 | 1.714427e+02 | 1.940000e+02 | 13.16%| unknown
1753.07/1757.61 c 1758s| 19600 | 19499 | 17050k| 824.7 | 367M | 91 | 479 |1197 |1058 | 99k| 1 |1208 |1896 | 1.714450e+02 | 1.940000e+02 | 13.16%| unknown
1760.26/1764.88 c 1765s| 19700 | 19599 | 17119k| 824.1 | 367M | 91 | 479 |1195 |1069 | 100k| 4 |1213 |1903 | 1.714474e+02 | 1.940000e+02 | 13.15%| unknown
1766.94/1771.59 c 1772s| 19800 | 19699 | 17186k| 823.4 | 368M | 91 | 479 |1191 |1050 | 100k| 1 |1214 |1909 | 1.714494e+02 | 1.940000e+02 | 13.15%| unknown
1773.12/1777.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1773.12/1777.73 c 1778s| 19900 | 19799 | 17248k| 822.4 | 368M | 91 | 479 |1192 |1056 | 101k| 1 |1220 |1915 | 1.714506e+02 | 1.940000e+02 | 13.15%| unknown
1779.51/1784.16 c 1784s| 20000 | 19899 | 17317k| 821.8 | 368M | 91 | 479 |1192 |1054 | 101k| 1 |1227 |1917 | 1.714519e+02 | 1.940000e+02 | 13.15%| unknown
1785.99/1790.66 c 1791s| 20100 | 19999 | 17388k| 821.2 | 368M | 91 | 479 |1184 |1050 | 101k| 1 |1227 |1920 | 1.714538e+02 | 1.940000e+02 | 13.15%| unknown
1792.67/1797.30 c 1797s| 20200 | 20099 | 17458k| 820.7 | 368M | 91 | 479 |1182 |1030 | 102k| 1 |1233 |1921 | 1.714555e+02 | 1.940000e+02 | 13.15%| unknown
1798.86/1803.54 c 1804s| 20300 | 20199 | 17529k| 820.1 | 369M | 91 | 479 |1184 |1058 | 102k| 1 |1239 |1923 | 1.714577e+02 | 1.940000e+02 | 13.15%| unknown
1804.35/1809.05 c 1809s| 20400 | 20299 | 17589k| 819.1 | 369M | 91 | 479 |1179 |1046 | 103k| 1 |1239 |1927 | 1.714603e+02 | 1.940000e+02 | 13.15%| unknown
1812.02/1816.71 c 1817s| 20500 | 20399 | 17675k| 819.3 | 369M | 91 | 479 |1178 |1046 | 103k| 1 |1246 |1928 | 1.714624e+02 | 1.940000e+02 | 13.14%| unknown
1817.21/1821.91 c 1822s| 20600 | 20499 | 17738k| 818.4 | 369M | 91 | 479 |1176 |1050 | 103k| 1 |1247 |1928 | 1.714644e+02 | 1.940000e+02 | 13.14%| unknown
1823.30/1828.01 c 1828s| 20700 | 20599 | 17803k| 817.7 | 369M | 91 | 479 |1180 |1065 | 104k| 1 |1251 |1930 | 1.714672e+02 | 1.940000e+02 | 13.14%| unknown
1828.49/1833.29 c 1833s| 20800 | 20699 | 17861k| 816.6 | 369M | 91 | 479 |1181 |1038 | 104k| 1 |1256 |1932 | 1.714688e+02 | 1.940000e+02 | 13.14%| unknown
1836.17/1840.99 c 1841s| 20900 | 20799 | 17952k| 817.0 | 369M | 91 | 479 |1183 |1064 | 105k| 1 |1261 |1934 | 1.714713e+02 | 1.940000e+02 | 13.14%| unknown
1842.75/1847.57 c 1848s| 21000 | 20899 | 18027k| 816.7 | 369M | 91 | 479 |1186 |1057 | 105k| 1 |1265 |1934 | 1.714725e+02 | 1.940000e+02 | 13.14%| unknown
1849.73/1854.53 c 1855s| 21100 | 20999 | 18100k| 816.3 | 369M | 91 | 479 |1186 |1052 | 105k| 1 |1268 |1934 | 1.714756e+02 | 1.940000e+02 | 13.14%| unknown
1855.92/1860.77 c 1861s| 21200 | 21099 | 18167k| 815.6 | 370M | 91 | 479 |1182 |1060 | 106k| 1 |1268 |1934 | 1.714774e+02 | 1.940000e+02 | 13.13%| unknown
1863.90/1868.70 c 1869s| 21300 | 21199 | 18241k| 815.3 | 370M | 91 | 479 |1175 | 996 | 106k| 1 |1270 |1934 | 1.714783e+02 | 1.940000e+02 | 13.13%| unknown
1870.19/1875.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1870.19/1875.01 c 1875s| 21400 | 21299 | 18308k| 814.7 | 370M | 91 | 479 |1175 |1049 | 107k| 1 |1274 |1944 | 1.714797e+02 | 1.940000e+02 | 13.13%| unknown
1878.36/1883.27 c 1883s| 21500 | 21399 | 18386k| 814.5 | 370M | 91 | 479 |1179 | 996 | 107k| 1 |1284 |1947 | 1.714819e+02 | 1.940000e+02 | 13.13%| unknown
1884.65/1889.56 c 1890s| 21600 | 21499 | 18456k| 814.0 | 370M | 91 | 479 |1178 |1061 | 107k| 1 |1290 |1950 | 1.714837e+02 | 1.940000e+02 | 13.13%| unknown
1891.03/1895.98 c 1896s| 21700 | 21599 | 18524k| 813.4 | 370M | 91 | 479 |1175 |1059 | 108k| 1 |1290 |1950 | 1.714866e+02 | 1.940000e+02 | 13.13%| unknown
1898.52/1903.41 c 1903s| 21800 | 21699 | 18617k| 813.9 | 370M | 91 | 479 |1173 |1052 | 108k| 1 |1293 |1953 | 1.714894e+02 | 1.940000e+02 | 13.13%| unknown
1904.50/1909.43 c 1909s| 21900 | 21799 | 18683k| 813.3 | 370M | 91 | 479 |1181 |1064 | 109k| 1 |1304 |1954 | 1.714916e+02 | 1.940000e+02 | 13.13%| unknown
1910.79/1915.76 c 1916s| 22000 | 21899 | 18755k| 812.8 | 370M | 91 | 479 |1188 |1051 | 109k| 1 |1312 |1955 | 1.714930e+02 | 1.940000e+02 | 13.12%| unknown
1916.67/1921.63 c 1922s| 22100 | 21999 | 18817k| 812.0 | 370M | 91 | 479 |1188 |1063 | 109k| 1 |1315 |1956 | 1.714962e+02 | 1.940000e+02 | 13.12%| unknown
1924.16/1929.15 c 1929s| 22200 | 22099 | 18903k| 812.2 | 370M | 91 | 479 |1189 |1062 | 110k| 1 |1322 |1957 | 1.714984e+02 | 1.940000e+02 | 13.12%| unknown
1929.84/1934.84 c 1935s| 22300 | 22199 | 18968k| 811.5 | 370M | 91 | 479 |1189 |1073 | 110k| 1 |1326 |1960 | 1.715001e+02 | 1.940000e+02 | 13.12%| unknown
1936.03/1941.02 c 1941s| 22400 | 22299 | 19034k| 810.9 | 370M | 91 | 479 |1192 |1054 | 111k| 1 |1332 |1961 | 1.715020e+02 | 1.940000e+02 | 13.12%| unknown
1942.11/1947.11 c 1947s| 22500 | 22399 | 19101k| 810.3 | 370M | 91 | 479 |1198 |1067 | 111k| 1 |1342 |1963 | 1.715039e+02 | 1.940000e+02 | 13.12%| unknown
1947.80/1952.87 c 1953s| 22600 | 22499 | 19167k| 809.6 | 370M | 91 | 479 |1199 |1046 | 111k| 1 |1346 |1965 | 1.715059e+02 | 1.940000e+02 | 13.12%| unknown
1954.98/1960.02 c 1960s| 22700 | 22599 | 19243k| 809.4 | 370M | 91 | 479 |1192 |1046 | 112k| 1 |1350 |1967 | 1.715091e+02 | 1.940000e+02 | 13.11%| unknown
1960.66/1965.76 c 1966s| 22800 | 22699 | 19307k| 808.7 | 370M | 91 | 479 |1189 |1059 | 112k| 1 |1350 |1969 | 1.715107e+02 | 1.940000e+02 | 13.11%| unknown
1967.45/1972.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1967.45/1972.59 c 1973s| 22900 | 22799 | 19376k| 808.2 | 370M | 91 | 479 |1187 |1051 | 113k| 1 |1351 |1978 | 1.715129e+02 | 1.940000e+02 | 13.11%| unknown
1974.04/1979.12 c 1979s| 23000 | 22899 | 19446k| 807.8 | 370M | 91 | 479 |1197 |1056 | 113k| 3 |1363 |1980 | 1.715150e+02 | 1.940000e+02 | 13.11%| unknown
1979.92/1985.00 c 1985s| 23100 | 22999 | 19510k| 807.1 | 370M | 91 | 479 |1195 |1053 | 113k| 1 |1363 |1981 | 1.715179e+02 | 1.940000e+02 | 13.11%| unknown
1986.90/1992.07 c 1992s| 23200 | 23099 | 19593k| 807.2 | 370M | 91 | 479 |1196 |1059 | 114k| 1 |1367 |1982 | 1.715197e+02 | 1.940000e+02 | 13.11%| unknown
1993.09/1998.27 c 1998s| 23300 | 23199 | 19659k| 806.6 | 370M | 91 | 479 |1201 |1045 | 114k| 1 |1376 |1990 | 1.715220e+02 | 1.940000e+02 | 13.11%| unknown
1998.77/2003.91 c 2004s| 23400 | 23299 | 19722k| 805.8 | 370M | 91 | 479 |1210 |1054 | 115k| 1 |1388 |1993 | 1.715234e+02 | 1.940000e+02 | 13.10%| unknown
2005.55/2010.73 c 2011s| 23500 | 23399 | 19794k| 805.5 | 370M | 91 | 479 |1209 |1063 | 115k| 1 |1390 |1998 | 1.715249e+02 | 1.940000e+02 | 13.10%| unknown
2011.14/2016.36 c 2016s| 23600 | 23499 | 19853k| 804.6 | 370M | 91 | 479 |1217 |1037 | 115k| 1 |1400 |2002 | 1.715263e+02 | 1.940000e+02 | 13.10%| unknown
2018.22/2023.48 c 2023s| 23700 | 23599 | 19930k| 804.5 | 370M | 91 | 479 |1219 |1063 | 116k| 1 |1406 |2002 | 1.715279e+02 | 1.940000e+02 | 13.10%| unknown
2024.21/2029.45 c 2029s| 23800 | 23699 | 19997k| 804.0 | 371M | 91 | 479 |1217 |1052 | 116k| 1 |1410 |2003 | 1.715288e+02 | 1.940000e+02 | 13.10%| unknown
2031.09/2036.33 c 2036s| 23900 | 23799 | 20069k| 803.6 | 371M | 91 | 479 |1216 |1064 | 117k| 3 |1418 |2005 | 1.715308e+02 | 1.940000e+02 | 13.10%| unknown
2036.48/2041.78 c 2042s| 24000 | 23899 | 20130k| 802.9 | 371M | 91 | 479 |1215 |1047 | 117k| 1 |1420 |2005 | 1.715322e+02 | 1.940000e+02 | 13.10%| unknown
2043.16/2048.44 c 2048s| 24100 | 23999 | 20215k| 803.0 | 371M | 91 | 479 |1211 |1070 | 117k| 1 |1421 |2006 | 1.715341e+02 | 1.940000e+02 | 13.10%| unknown
2049.25/2054.58 c 2055s| 24200 | 24099 | 20283k| 802.5 | 371M | 91 | 479 |1216 |1051 | 118k| 1 |1428 |2006 | 1.715357e+02 | 1.940000e+02 | 13.10%| unknown
2055.74/2061.09 c 2061s| 24300 | 24199 | 20351k| 802.0 | 372M | 91 | 479 |1213 |1053 | 118k| 1 |1431 |2007 | 1.715367e+02 | 1.940000e+02 | 13.10%| unknown
2062.02/2067.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2062.02/2067.34 c 2067s| 24400 | 24299 | 20419k| 801.6 | 372M | 91 | 479 |1215 |1069 | 119k| 1 |1437 |2008 | 1.715378e+02 | 1.940000e+02 | 13.09%| unknown
2068.20/2073.53 c 2074s| 24500 | 24399 | 20488k| 801.2 | 372M | 91 | 479 |1213 |1044 | 119k| 1 |1440 |2008 | 1.715397e+02 | 1.940000e+02 | 13.09%| unknown
2075.58/2080.91 c 2081s| 24600 | 24499 | 20562k| 800.9 | 372M | 91 | 479 |1205 |1064 | 120k| 1 |1445 |2010 | 1.715416e+02 | 1.940000e+02 | 13.09%| unknown
2082.07/2087.41 c 2087s| 24700 | 24599 | 20637k| 800.7 | 372M | 91 | 479 |1200 |1061 | 120k| 1 |1447 |2010 | 1.715443e+02 | 1.940000e+02 | 13.09%| unknown
2087.16/2092.50 c 2092s| 24800 | 24699 | 20694k| 799.8 | 373M | 91 | 479 |1201 |1048 | 120k| 1 |1451 |2013 | 1.715454e+02 | 1.940000e+02 | 13.09%| unknown
2093.94/2099.33 c 2099s| 24900 | 24799 | 20765k| 799.4 | 373M | 91 | 479 |1194 |1071 | 121k| 1 |1451 |2013 | 1.715469e+02 | 1.940000e+02 | 13.09%| unknown
2100.42/2105.81 c 2106s| 25000 | 24899 | 20838k| 799.2 | 373M | 91 | 479 |1195 |1043 | 121k| 1 |1455 |2014 | 1.715485e+02 | 1.940000e+02 | 13.09%| unknown
2107.80/2113.28 c 2113s| 25100 | 24999 | 20928k| 799.6 | 373M | 91 | 479 |1190 |1064 | 122k| 1 |1457 |2018 | 1.715497e+02 | 1.940000e+02 | 13.09%| unknown
2114.99/2120.44 c 2120s| 25200 | 25099 | 21002k| 799.3 | 373M | 91 | 479 |1190 |1043 | 122k| 1 |1462 |2026 | 1.715507e+02 | 1.940000e+02 | 13.09%| unknown
2120.37/2125.86 c 2126s| 25300 | 25199 | 21061k| 798.6 | 373M | 91 | 479 |1185 |1033 | 122k| 1 |1463 |2026 | 1.715514e+02 | 1.940000e+02 | 13.09%| unknown
2126.36/2131.88 c 2132s| 25400 | 25299 | 21128k| 798.1 | 373M | 91 | 479 |1179 |1063 | 123k| 4 |1468 |2030 | 1.715532e+02 | 1.940000e+02 | 13.08%| unknown
2132.65/2138.11 c 2138s| 25500 | 25399 | 21196k| 797.6 | 373M | 91 | 479 |1181 |1064 | 123k| 1 |1477 |2032 | 1.715551e+02 | 1.940000e+02 | 13.08%| unknown
2138.83/2144.35 c 2144s| 25600 | 25499 | 21264k| 797.2 | 373M | 91 | 479 |1180 |1044 | 124k| 1 |1481 |2032 | 1.715560e+02 | 1.940000e+02 | 13.08%| unknown
2144.62/2150.16 c 2150s| 25700 | 25599 | 21328k| 796.6 | 373M | 91 | 479 |1182 |1081 | 124k| 1 |1490 |2033 | 1.715573e+02 | 1.940000e+02 | 13.08%| unknown
2150.00/2155.57 c 2156s| 25800 | 25699 | 21388k| 795.9 | 373M | 91 | 479 |1184 |1053 | 124k| 1 |1498 |2034 | 1.715588e+02 | 1.940000e+02 | 13.08%| unknown
2156.39/2162.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2156.39/2162.00 c 2162s| 25900 | 25799 | 21455k| 795.4 | 373M | 91 | 479 |1178 |1045 | 125k| 1 |1499 |2036 | 1.715619e+02 | 1.940000e+02 | 13.08%| unknown
2163.97/2169.57 c 2170s| 26000 | 25899 | 21546k| 795.8 | 373M | 91 | 479 |1179 |1062 | 125k| 1 |1506 |2038 | 1.715633e+02 | 1.940000e+02 | 13.08%| unknown
2170.46/2176.09 c 2176s| 26100 | 25999 | 21613k| 795.4 | 374M | 91 | 479 |1178 |1046 | 126k| 1 |1509 |2040 | 1.715656e+02 | 1.940000e+02 | 13.08%| unknown
2176.94/2182.56 c 2183s| 26200 | 26099 | 21683k| 795.0 | 374M | 91 | 479 |1177 |1040 | 126k| 1 |1514 |2042 | 1.715677e+02 | 1.940000e+02 | 13.07%| unknown
2182.02/2187.61 c 2188s| 26300 | 26199 | 21741k| 794.2 | 374M | 91 | 479 |1172 |1063 | 126k| 1 |1515 |2042 | 1.715688e+02 | 1.940000e+02 | 13.07%| unknown
2188.61/2194.26 c 2194s| 26400 | 26299 | 21813k| 794.0 | 374M | 91 | 479 |1177 |1056 | 127k| 1 |1525 |2043 | 1.715709e+02 | 1.940000e+02 | 13.07%| unknown
2194.40/2200.07 c 2200s| 26500 | 26399 | 21875k| 793.3 | 374M | 91 | 479 |1184 |1050 | 127k| 1 |1534 |2044 | 1.715723e+02 | 1.940000e+02 | 13.07%| unknown
2202.27/2207.93 c 2208s| 26600 | 26499 | 21960k| 793.5 | 374M | 91 | 479 |1179 |1069 | 128k| 1 |1539 |2044 | 1.715733e+02 | 1.940000e+02 | 13.07%| unknown
2207.56/2213.28 c 2213s| 26700 | 26599 | 22019k| 792.8 | 374M | 91 | 479 |1182 |1065 | 128k| 1 |1545 |2046 | 1.715755e+02 | 1.940000e+02 | 13.07%| unknown
2214.64/2220.39 c 2220s| 26800 | 26699 | 22094k| 792.7 | 374M | 91 | 479 |1182 |1059 | 128k| 1 |1547 |2053 | 1.715777e+02 | 1.940000e+02 | 13.07%| unknown
2220.44/2226.14 c 2226s| 26900 | 26799 | 22153k| 791.9 | 374M | 91 | 479 |1185 |1056 | 129k| 1 |1553 |2058 | 1.715798e+02 | 1.940000e+02 | 13.07%| unknown
2228.81/2234.57 c 2235s| 27000 | 26899 | 22250k| 792.6 | 374M | 91 | 479 |1193 |1051 | 129k| 1 |1562 |2062 | 1.715812e+02 | 1.940000e+02 | 13.07%| unknown
2234.59/2240.32 c 2240s| 27100 | 26999 | 22307k| 791.8 | 374M | 91 | 479 |1189 |1006 | 129k| 1 |1562 |2067 | 1.715832e+02 | 1.940000e+02 | 13.06%| unknown
2241.48/2247.21 c 2247s| 27200 | 27099 | 22377k| 791.4 | 374M | 91 | 479 |1192 |1056 | 130k| 1 |1568 |2068 | 1.715854e+02 | 1.940000e+02 | 13.06%| unknown
2247.37/2253.14 c 2253s| 27300 | 27199 | 22443k| 791.0 | 375M | 91 | 479 |1192 |1058 | 130k| 1 |1569 |2071 | 1.715862e+02 | 1.940000e+02 | 13.06%| unknown
2253.65/2259.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2253.65/2259.42 c 2259s| 27400 | 27299 | 22516k| 790.8 | 375M | 91 | 479 |1193 |1050 | 131k| 1 |1574 |2072 | 1.715880e+02 | 1.940000e+02 | 13.06%| unknown
2260.53/2266.30 c 2266s| 27500 | 27399 | 22582k| 790.3 | 375M | 91 | 479 |1195 |1045 | 131k| 1 |1579 |2077 | 1.715890e+02 | 1.940000e+02 | 13.06%| unknown
2267.22/2273.06 c 2273s| 27600 | 27499 | 22652k| 790.0 | 375M | 91 | 479 |1191 |1060 | 131k| 1 |1582 |2078 | 1.715903e+02 | 1.940000e+02 | 13.06%| unknown
2273.10/2278.90 c 2279s| 27700 | 27599 | 22716k| 789.4 | 375M | 91 | 479 |1189 |1086 | 132k| 4 |1584 |2081 | 1.715917e+02 | 1.940000e+02 | 13.06%| unknown
2278.49/2284.36 c 2284s| 27800 | 27699 | 22774k| 788.8 | 375M | 91 | 479 |1187 |1052 | 132k| 1 |1586 |2085 | 1.715931e+02 | 1.940000e+02 | 13.06%| unknown
2284.18/2290.02 c 2290s| 27900 | 27799 | 22833k| 788.0 | 375M | 91 | 479 |1190 |1066 | 132k| 1 |1594 |2089 | 1.715940e+02 | 1.940000e+02 | 13.06%| unknown
2289.96/2295.82 c 2296s| 28000 | 27899 | 22898k| 787.6 | 376M | 91 | 479 |1187 |1071 | 133k| 4 |1598 |2090 | 1.715951e+02 | 1.940000e+02 | 13.06%| unknown
2297.64/2303.54 c 2304s| 28100 | 27999 | 22989k| 788.0 | 376M | 91 | 479 |1185 |1072 | 133k| 4 |1600 |2093 | 1.715963e+02 | 1.940000e+02 | 13.06%| unknown
2303.52/2309.41 c 2309s| 28200 | 28099 | 23051k| 787.4 | 376M | 91 | 479 |1182 |1057 | 134k| 1 |1600 |2093 | 1.715973e+02 | 1.940000e+02 | 13.06%| unknown
2309.51/2315.46 c 2315s| 28300 | 28199 | 23121k| 787.1 | 376M | 91 | 479 |1181 |1067 | 134k| 3 |1604 |2093 | 1.715989e+02 | 1.940000e+02 | 13.05%| unknown
2315.60/2321.50 c 2321s| 28400 | 28299 | 23185k| 786.6 | 376M | 91 | 479 |1178 |1064 | 134k| 1 |1606 |2096 | 1.716009e+02 | 1.940000e+02 | 13.05%| unknown
2321.48/2327.42 c 2327s| 28500 | 28399 | 23250k| 786.1 | 377M | 91 | 479 |1176 |1046 | 135k| 1 |1606 |2097 | 1.716018e+02 | 1.940000e+02 | 13.05%| unknown
2327.17/2333.13 c 2333s| 28600 | 28499 | 23311k| 785.6 | 377M | 91 | 479 |1178 |1052 | 135k| 1 |1610 |2100 | 1.716026e+02 | 1.940000e+02 | 13.05%| unknown
2333.85/2339.84 c 2340s| 28700 | 28599 | 23383k| 785.3 | 377M | 91 | 479 |1182 |1054 | 136k| 1 |1621 |2101 | 1.716043e+02 | 1.940000e+02 | 13.05%| unknown
2339.74/2345.78 c 2346s| 28800 | 28699 | 23449k| 784.9 | 377M | 91 | 479 |1187 |1038 | 136k| 1 |1629 |2103 | 1.716061e+02 | 1.940000e+02 | 13.05%| unknown
2345.72/2351.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2345.72/2351.78 c 2352s| 28900 | 28799 | 23512k| 784.4 | 377M | 91 | 479 |1184 |1045 | 136k| 1 |1631 |2103 | 1.716080e+02 | 1.940000e+02 | 13.05%| unknown
2351.11/2357.17 c 2357s| 29000 | 28899 | 23572k| 783.8 | 377M | 91 | 479 |1183 |1048 | 137k| 1 |1631 |2105 | 1.716106e+02 | 1.940000e+02 | 13.05%| unknown
2358.39/2364.40 c 2364s| 29100 | 28999 | 23643k| 783.5 | 377M | 91 | 479 |1188 |1067 | 137k| 1 |1642 |2111 | 1.716122e+02 | 1.940000e+02 | 13.05%| unknown
2365.87/2371.97 c 2372s| 29200 | 29099 | 23725k| 783.7 | 377M | 91 | 479 |1187 |1036 | 137k| 1 |1645 |2118 | 1.716137e+02 | 1.940000e+02 | 13.04%| unknown
2372.76/2378.82 c 2379s| 29300 | 29199 | 23798k| 783.5 | 377M | 91 | 479 |1190 |1060 | 138k| 1 |1652 |2123 | 1.716147e+02 | 1.940000e+02 | 13.04%| unknown
2379.14/2385.28 c 2385s| 29400 | 29299 | 23862k| 783.0 | 377M | 91 | 479 |1192 |1052 | 138k| 1 |1661 |2125 | 1.716159e+02 | 1.940000e+02 | 13.04%| unknown
2385.72/2391.86 c 2392s| 29500 | 29399 | 23933k| 782.8 | 377M | 91 | 479 |1198 |1054 | 139k| 1 |1669 |2127 | 1.716174e+02 | 1.940000e+02 | 13.04%| unknown
2391.11/2397.29 c 2397s| 29600 | 29499 | 23994k| 782.2 | 377M | 91 | 479 |1202 |1057 | 139k| 1 |1676 |2127 | 1.716186e+02 | 1.940000e+02 | 13.04%| unknown
2398.49/2404.67 c 2405s| 29700 | 29599 | 24066k| 782.0 | 378M | 91 | 479 |1204 |1050 | 139k| 1 |1683 |2130 | 1.716199e+02 | 1.940000e+02 | 13.04%| unknown
2403.78/2409.95 c 2410s| 29800 | 29699 | 24129k| 781.5 | 378M | 91 | 479 |1207 |1040 | 140k| 1 |1688 |2132 | 1.716212e+02 | 1.940000e+02 | 13.04%| unknown
2410.76/2416.99 c 2417s| 29900 | 29799 | 24200k| 781.3 | 378M | 91 | 479 |1206 |1044 | 140k| 1 |1690 |2133 | 1.716221e+02 | 1.940000e+02 | 13.04%| unknown
2416.55/2422.78 c 2423s| 30000 | 29899 | 24263k| 780.8 | 378M | 91 | 479 |1209 |1036 | 141k| 1 |1695 |2134 | 1.716233e+02 | 1.940000e+02 | 13.04%| unknown
2422.84/2429.08 c 2429s| 30100 | 29999 | 24341k| 780.8 | 378M | 91 | 479 |1211 |1066 | 141k| 1 |1697 |2136 | 1.716250e+02 | 1.940000e+02 | 13.04%| unknown
2429.02/2435.20 c 2435s| 30200 | 30099 | 24413k| 780.6 | 378M | 91 | 479 |1208 |1050 | 141k| 1 |1699 |2137 | 1.716259e+02 | 1.940000e+02 | 13.04%| unknown
2435.30/2441.50 c 2441s| 30300 | 30199 | 24476k| 780.1 | 379M | 91 | 479 |1209 |1066 | 142k| 1 |1705 |2139 | 1.716268e+02 | 1.940000e+02 | 13.04%| unknown
2440.69/2446.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2440.69/2446.97 c 2447s| 30400 | 30299 | 24533k| 779.5 | 379M | 91 | 479 |1209 |1056 | 142k| 1 |1707 |2141 | 1.716277e+02 | 1.940000e+02 | 13.04%| unknown
2447.78/2454.03 c 2454s| 30500 | 30399 | 24606k| 779.3 | 379M | 91 | 479 |1218 |1071 | 143k| 1 |1718 |2141 | 1.716289e+02 | 1.940000e+02 | 13.03%| unknown
2453.76/2460.07 c 2460s| 30600 | 30499 | 24672k| 778.9 | 379M | 91 | 479 |1217 |1050 | 143k| 1 |1718 |2141 | 1.716300e+02 | 1.940000e+02 | 13.03%| unknown
2460.44/2466.79 c 2467s| 30700 | 30599 | 24743k| 778.7 | 379M | 91 | 479 |1219 |1050 | 143k| 1 |1722 |2145 | 1.716312e+02 | 1.940000e+02 | 13.03%| unknown
2466.23/2472.57 c 2473s| 30800 | 30699 | 24808k| 778.3 | 379M | 91 | 479 |1222 |1056 | 144k| 1 |1726 |2147 | 1.716320e+02 | 1.940000e+02 | 13.03%| unknown
2473.01/2479.30 c 2479s| 30900 | 30799 | 24881k| 778.2 | 379M | 91 | 479 |1227 |1038 | 144k| 1 |1731 |2148 | 1.716330e+02 | 1.940000e+02 | 13.03%| unknown
2479.00/2485.40 c 2485s| 31000 | 30899 | 24949k| 777.8 | 380M | 91 | 479 |1230 |1060 | 144k| 1 |1735 |2150 | 1.716350e+02 | 1.940000e+02 | 13.03%| unknown
2484.38/2490.72 c 2491s| 31100 | 30999 | 25006k| 777.2 | 380M | 91 | 479 |1223 |1049 | 145k| 1 |1739 |2151 | 1.716360e+02 | 1.940000e+02 | 13.03%| unknown
2492.46/2498.89 c 2499s| 31200 | 31099 | 25101k| 777.8 | 380M | 91 | 479 |1217 |1045 | 145k| 1 |1744 |2158 | 1.716374e+02 | 1.940000e+02 | 13.03%| unknown
2498.25/2504.61 c 2505s| 31300 | 31199 | 25162k| 777.2 | 380M | 91 | 479 |1211 |1065 | 145k| 1 |1745 |2163 | 1.716390e+02 | 1.940000e+02 | 13.03%| unknown
2503.54/2510.00 c 2510s| 31400 | 31299 | 25220k| 776.6 | 380M | 91 | 479 |1206 |1029 | 146k| 3 |1749 |2169 | 1.716398e+02 | 1.940000e+02 | 13.03%| unknown
2511.02/2517.49 c 2517s| 31500 | 31399 | 25308k| 776.9 | 380M | 91 | 479 |1211 |1034 | 146k| 1 |1758 |2172 | 1.716411e+02 | 1.940000e+02 | 13.03%| unknown
2516.71/2523.19 c 2523s| 31600 | 31499 | 25369k| 776.4 | 380M | 91 | 479 |1212 |1053 | 147k| 1 |1764 |2176 | 1.716424e+02 | 1.940000e+02 | 13.03%| unknown
2522.29/2528.75 c 2529s| 31700 | 31599 | 25432k| 776.0 | 380M | 91 | 479 |1215 |1056 | 147k| 3 |1768 |2176 | 1.716440e+02 | 1.940000e+02 | 13.02%| unknown
2528.38/2534.84 c 2535s| 31800 | 31699 | 25496k| 775.6 | 380M | 91 | 479 |1212 |1063 | 147k| 1 |1770 |2179 | 1.716457e+02 | 1.940000e+02 | 13.02%| unknown
2534.76/2541.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2534.76/2541.29 c 2541s| 31900 | 31799 | 25564k| 775.3 | 380M | 91 | 479 |1206 |1042 | 148k| 1 |1772 |2180 | 1.716469e+02 | 1.940000e+02 | 13.02%| unknown
2540.85/2547.31 c 2547s| 32000 | 31899 | 25625k| 774.8 | 380M | 91 | 479 |1204 |1056 | 148k| 1 |1777 |2183 | 1.716483e+02 | 1.940000e+02 | 13.02%| unknown
2546.74/2553.26 c 2553s| 32100 | 31999 | 25689k| 774.4 | 380M | 91 | 479 |1207 |1056 | 149k| 1 |1781 |2186 | 1.716493e+02 | 1.940000e+02 | 13.02%| unknown
2553.22/2559.77 c 2560s| 32200 | 32099 | 25759k| 774.1 | 380M | 91 | 479 |1207 |1055 | 149k| 1 |1789 |2189 | 1.716504e+02 | 1.940000e+02 | 13.02%| unknown
2558.41/2564.92 c 2565s| 32300 | 32199 | 25817k| 773.6 | 380M | 91 | 479 |1207 |1086 | 149k| 3 |1790 |2190 | 1.716524e+02 | 1.940000e+02 | 13.02%| unknown
2564.09/2570.60 c 2571s| 32400 | 32299 | 25877k| 773.0 | 380M | 91 | 479 |1214 |1063 | 150k| 1 |1800 |2191 | 1.716538e+02 | 1.940000e+02 | 13.02%| unknown
2570.48/2577.05 c 2577s| 32500 | 32399 | 25960k| 773.2 | 380M | 91 | 479 |1214 |1060 | 150k| 1 |1803 |2192 | 1.716544e+02 | 1.940000e+02 | 13.02%| unknown
2576.36/2582.99 c 2583s| 32600 | 32499 | 26026k| 772.9 | 380M | 91 | 479 |1212 |1033 | 150k| 1 |1804 |2193 | 1.716547e+02 | 1.940000e+02 | 13.02%| unknown
2582.35/2588.91 c 2589s| 32700 | 32599 | 26092k| 772.5 | 380M | 91 | 479 |1212 |1056 | 151k| 1 |1809 |2196 | 1.716563e+02 | 1.940000e+02 | 13.02%| unknown
2587.14/2593.75 c 2594s| 32800 | 32699 | 26145k| 771.8 | 380M | 91 | 479 |1208 |1063 | 151k| 1 |1809 |2197 | 1.716578e+02 | 1.940000e+02 | 13.02%| unknown
2593.32/2599.92 c 2600s| 32900 | 32799 | 26213k| 771.5 | 380M | 91 | 479 |1209 |1060 | 151k| 1 |1814 |2197 | 1.716588e+02 | 1.940000e+02 | 13.01%| unknown
2599.91/2606.58 c 2607s| 33000 | 32899 | 26285k| 771.4 | 380M | 91 | 479 |1205 |1051 | 152k| 1 |1816 |2198 | 1.716594e+02 | 1.940000e+02 | 13.01%| unknown
2606.19/2612.80 c 2613s| 33100 | 32999 | 26351k| 771.1 | 380M | 91 | 479 |1208 |1064 | 152k| 1 |1822 |2199 | 1.716605e+02 | 1.940000e+02 | 13.01%| unknown
2611.58/2618.23 c 2618s| 33200 | 33099 | 26412k| 770.6 | 380M | 91 | 479 |1209 |1059 | 152k| 1 |1826 |2201 | 1.716619e+02 | 1.940000e+02 | 13.01%| unknown
2617.47/2624.19 c 2624s| 33300 | 33199 | 26473k| 770.1 | 380M | 91 | 479 |1207 |1047 | 153k| 1 |1829 |2203 | 1.716636e+02 | 1.940000e+02 | 13.01%| unknown
2622.25/2628.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2622.25/2628.90 c 2629s| 33400 | 33299 | 26529k| 769.5 | 380M | 91 | 479 |1201 |1056 | 153k| 1 |1830 |2203 | 1.716645e+02 | 1.940000e+02 | 13.01%| unknown
2627.54/2634.24 c 2634s| 33500 | 33399 | 26587k| 769.0 | 380M | 91 | 479 |1196 |1049 | 153k| 1 |1833 |2206 | 1.716657e+02 | 1.940000e+02 | 13.01%| unknown
2633.33/2640.06 c 2640s| 33600 | 33499 | 26650k| 768.6 | 381M | 91 | 479 |1200 |1054 | 154k| 1 |1842 |2207 | 1.716671e+02 | 1.940000e+02 | 13.01%| unknown
2640.71/2647.40 c 2647s| 33700 | 33599 | 26735k| 768.8 | 381M | 91 | 479 |1196 |1041 | 154k| 1 |1844 |2212 | 1.716685e+02 | 1.940000e+02 | 13.01%| unknown
2646.10/2652.87 c 2653s| 33800 | 33699 | 26795k| 768.3 | 381M | 91 | 479 |1198 |1077 | 154k| 1 |1849 |2214 | 1.716691e+02 | 1.940000e+02 | 13.01%| unknown
2651.78/2658.51 c 2658s| 33900 | 33799 | 26857k| 767.9 | 381M | 91 | 479 |1199 |1037 | 155k| 1 |1854 |2217 | 1.716699e+02 | 1.940000e+02 | 13.01%| unknown
2657.66/2664.47 c 2664s| 34000 | 33899 | 26920k| 767.5 | 381M | 91 | 479 |1198 |1070 | 155k| 3 |1858 |2219 | 1.716713e+02 | 1.940000e+02 | 13.01%| unknown
2664.74/2671.55 c 2672s| 34100 | 33999 | 27008k| 767.8 | 381M | 91 | 479 |1195 |1065 | 155k| 1 |1859 |2222 | 1.716729e+02 | 1.940000e+02 | 13.01%| unknown
2670.52/2677.30 c 2677s| 34200 | 34099 | 27069k| 767.4 | 381M | 91 | 479 |1202 |1043 | 156k| 1 |1869 |2222 | 1.716741e+02 | 1.940000e+02 | 13.00%| unknown
2674.81/2681.64 c 2682s| 34300 | 34199 | 27117k| 766.6 | 381M | 91 | 479 |1201 |1062 | 156k| 1 |1869 |2224 | 1.716750e+02 | 1.940000e+02 | 13.00%| unknown
2681.09/2687.91 c 2688s| 34400 | 34299 | 27185k| 766.3 | 381M | 91 | 479 |1201 |1056 | 156k| 1 |1875 |2225 | 1.716761e+02 | 1.940000e+02 | 13.00%| unknown
2686.37/2693.23 c 2693s| 34500 | 34399 | 27244k| 765.8 | 381M | 91 | 479 |1205 |1069 | 157k| 1 |1884 |2226 | 1.716781e+02 | 1.940000e+02 | 13.00%| unknown
2693.45/2700.35 c 2700s| 34600 | 34499 | 27318k| 765.8 | 381M | 91 | 479 |1209 |1051 | 157k| 4 |1891 |2227 | 1.716794e+02 | 1.940000e+02 | 13.00%| unknown
2698.94/2705.82 c 2706s| 34700 | 34599 | 27376k| 765.2 | 382M | 91 | 479 |1214 |1077 | 157k| 1 |1899 |2228 | 1.716804e+02 | 1.940000e+02 | 13.00%| unknown
2705.42/2712.38 c 2712s| 34800 | 34699 | 27446k| 765.1 | 382M | 91 | 479 |1213 |1050 | 158k| 1 |1901 |2228 | 1.716814e+02 | 1.940000e+02 | 13.00%| unknown
2711.60/2718.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2711.60/2718.52 c 2719s| 34900 | 34799 | 27514k| 764.8 | 382M | 91 | 479 |1210 |1042 | 158k| 1 |1902 |2229 | 1.716829e+02 | 1.940000e+02 | 13.00%| unknown
2717.29/2724.22 c 2724s| 35000 | 34899 | 27575k| 764.4 | 382M | 91 | 479 |1209 |1035 | 158k| 1 |1902 |2231 | 1.716837e+02 | 1.940000e+02 | 13.00%| unknown
2722.37/2729.39 c 2729s| 35100 | 34999 | 27633k| 763.9 | 382M | 91 | 479 |1208 |1062 | 159k| 1 |1905 |2231 | 1.716857e+02 | 1.940000e+02 | 13.00%| unknown
2729.95/2736.92 c 2737s| 35200 | 35099 | 27719k| 764.1 | 382M | 91 | 479 |1212 |1054 | 159k| 1 |1914 |2236 | 1.716869e+02 | 1.940000e+02 | 13.00%| unknown
2734.63/2741.68 c 2742s| 35300 | 35199 | 27773k| 763.5 | 382M | 91 | 479 |1211 |1037 | 159k| 1 |1917 |2236 | 1.716887e+02 | 1.940000e+02 | 13.00%| unknown
2740.52/2747.59 c 2748s| 35400 | 35299 | 27837k| 763.2 | 382M | 91 | 479 |1206 |1068 | 160k| 1 |1920 |2236 | 1.716894e+02 | 1.940000e+02 | 12.99%| unknown
2745.80/2752.80 c 2753s| 35500 | 35399 | 27896k| 762.7 | 382M | 91 | 479 |1206 |1042 | 160k| 1 |1922 |2237 | 1.716902e+02 | 1.940000e+02 | 12.99%| unknown
2753.68/2760.72 c 2761s| 35600 | 35499 | 27991k| 763.2 | 382M | 91 | 479 |1208 |1055 | 161k| 1 |1931 |2239 | 1.716915e+02 | 1.940000e+02 | 12.99%| unknown
2758.96/2766.07 c 2766s| 35700 | 35599 | 28049k| 762.7 | 382M | 91 | 479 |1210 |1051 | 161k| 1 |1936 |2243 | 1.716924e+02 | 1.940000e+02 | 12.99%| unknown
2764.84/2771.95 c 2772s| 35800 | 35699 | 28112k| 762.4 | 382M | 91 | 479 |1209 |1057 | 161k| 1 |1940 |2244 | 1.716941e+02 | 1.940000e+02 | 12.99%| unknown
2770.93/2778.09 c 2778s| 35900 | 35799 | 28177k| 762.1 | 383M | 91 | 479 |1203 |1056 | 162k| 1 |1940 |2245 | 1.716951e+02 | 1.940000e+02 | 12.99%| unknown
2776.20/2783.37 c 2783s| 36000 | 35899 | 28234k| 761.5 | 383M | 91 | 479 |1206 |1066 | 162k| 1 |1948 |2246 | 1.716962e+02 | 1.940000e+02 | 12.99%| unknown
2782.49/2789.65 c 2790s| 36100 | 35999 | 28303k| 761.4 | 384M | 91 | 479 |1215 |1045 | 162k| 1 |1959 |2248 | 1.716971e+02 | 1.940000e+02 | 12.99%| unknown
2788.07/2795.22 c 2795s| 36200 | 36099 | 28365k| 761.0 | 384M | 91 | 479 |1209 |1059 | 163k| 1 |1959 |2252 | 1.716982e+02 | 1.940000e+02 | 12.99%| unknown
2793.85/2801.02 c 2801s| 36300 | 36199 | 28428k| 760.6 | 384M | 91 | 479 |1207 |1047 | 163k| 1 |1964 |2252 | 1.716998e+02 | 1.940000e+02 | 12.99%| unknown
2799.03/2806.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2799.03/2806.29 c 2806s| 36400 | 36299 | 28490k| 760.2 | 385M | 91 | 479 |1203 |1072 | 163k| 1 |1964 |2252 | 1.717008e+02 | 1.940000e+02 | 12.99%| unknown
2805.02/2812.21 c 2812s| 36500 | 36399 | 28550k| 759.8 | 385M | 91 | 479 |1198 |1051 | 164k| 1 |1968 |2253 | 1.717018e+02 | 1.940000e+02 | 12.99%| unknown
2812.09/2819.36 c 2819s| 36600 | 36499 | 28623k| 759.7 | 385M | 91 | 479 |1197 |1046 | 164k| 1 |1971 |2254 | 1.717024e+02 | 1.940000e+02 | 12.99%| unknown
2818.18/2825.46 c 2825s| 36700 | 36599 | 28698k| 759.7 | 385M | 91 | 479 |1196 |1072 | 164k| 1 |1972 |2255 | 1.717034e+02 | 1.940000e+02 | 12.99%| unknown
2824.46/2831.72 c 2832s| 36800 | 36699 | 28768k| 759.5 | 385M | 91 | 479 |1193 |1080 | 165k| 1 |1975 |2256 | 1.717047e+02 | 1.940000e+02 | 12.98%| unknown
2829.54/2836.80 c 2837s| 36900 | 36799 | 28826k| 759.1 | 385M | 91 | 479 |1191 |1050 | 165k| 1 |1978 |2256 | 1.717056e+02 | 1.940000e+02 | 12.98%| unknown
2835.32/2842.61 c 2843s| 37000 | 36899 | 28892k| 758.8 | 385M | 91 | 479 |1192 |1042 | 165k| 1 |1979 |2256 | 1.717072e+02 | 1.940000e+02 | 12.98%| unknown
2840.61/2847.99 c 2848s| 37100 | 36999 | 28952k| 758.4 | 385M | 91 | 479 |1196 |1045 | 165k| 1 |1985 |2257 | 1.717080e+02 | 1.940000e+02 | 12.98%| unknown
2846.09/2853.45 c 2853s| 37200 | 37099 | 29013k| 758.0 | 385M | 91 | 479 |1196 |1054 | 166k| 1 |1988 |2258 | 1.717096e+02 | 1.940000e+02 | 12.98%| unknown
2850.87/2858.21 c 2858s| 37300 | 37199 | 29066k| 757.4 | 385M | 91 | 479 |1193 |1051 | 166k| 1 |1988 |2258 | 1.717104e+02 | 1.940000e+02 | 12.98%| unknown
2857.45/2864.88 c 2865s| 37400 | 37299 | 29141k| 757.4 | 385M | 91 | 479 |1199 |1061 | 166k| 1 |2001 |2258 | 1.717112e+02 | 1.940000e+02 | 12.98%| unknown
2862.54/2869.97 c 2870s| 37500 | 37399 | 29198k| 756.9 | 385M | 91 | 479 |1195 |1047 | 167k| 1 |2001 |2260 | 1.717124e+02 | 1.940000e+02 | 12.98%| unknown
2868.92/2876.32 c 2876s| 37600 | 37499 | 29268k| 756.8 | 385M | 91 | 479 |1200 |1057 | 167k| 1 |2008 |2264 | 1.717138e+02 | 1.940000e+02 | 12.98%| unknown
2874.61/2882.10 c 2882s| 37700 | 37599 | 29331k| 756.4 | 386M | 91 | 479 |1202 |1072 | 167k| 1 |2013 |2267 | 1.717150e+02 | 1.940000e+02 | 12.98%| unknown
2880.98/2888.48 c 2888s| 37800 | 37699 | 29402k| 756.3 | 386M | 91 | 479 |1197 |1058 | 168k| 1 |2015 |2270 | 1.717157e+02 | 1.940000e+02 | 12.98%| unknown
2887.96/2895.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2887.96/2895.43 c 2895s| 37900 | 37799 | 29486k| 756.5 | 386M | 91 | 479 |1198 |1046 | 168k| 1 |2017 |2270 | 1.717173e+02 | 1.940000e+02 | 12.98%| unknown
2894.44/2901.93 c 2902s| 38000 | 37899 | 29557k| 756.4 | 386M | 91 | 479 |1195 |1075 | 168k| 1 |2020 |2270 | 1.717187e+02 | 1.940000e+02 | 12.98%| unknown
2901.12/2908.68 c 2909s| 38100 | 37999 | 29628k| 756.3 | 387M | 91 | 479 |1196 |1061 | 169k| 1 |2025 |2272 | 1.717195e+02 | 1.940000e+02 | 12.97%| unknown
2906.90/2914.44 c 2914s| 38200 | 38099 | 29691k| 756.0 | 387M | 91 | 479 |1202 |1065 | 169k| 1 |2031 |2272 | 1.717204e+02 | 1.940000e+02 | 12.97%| unknown
2912.08/2919.63 c 2920s| 38300 | 38199 | 29749k| 755.5 | 387M | 91 | 479 |1203 |1059 | 170k| 1 |2032 |2273 | 1.717211e+02 | 1.940000e+02 | 12.97%| unknown
2918.76/2926.30 c 2926s| 38400 | 38299 | 29819k| 755.4 | 387M | 91 | 479 |1209 |1061 | 170k| 1 |2039 |2276 | 1.717219e+02 | 1.940000e+02 | 12.97%| unknown
2924.05/2931.65 c 2932s| 38500 | 38399 | 29879k| 755.0 | 387M | 91 | 479 |1202 |1044 | 170k| 1 |2039 |2276 | 1.717232e+02 | 1.940000e+02 | 12.97%| unknown
2930.03/2937.60 c 2938s| 38600 | 38499 | 29945k| 754.8 | 387M | 91 | 479 |1193 |1047 | 170k| 1 |2041 |2276 | 1.717242e+02 | 1.940000e+02 | 12.97%| unknown
2935.71/2943.30 c 2943s| 38700 | 38599 | 30007k| 754.4 | 387M | 91 | 479 |1199 |1073 | 171k| 1 |2053 |2278 | 1.717252e+02 | 1.940000e+02 | 12.97%| unknown
2941.79/2949.42 c 2949s| 38800 | 38699 | 30074k| 754.2 | 387M | 91 | 479 |1199 |1062 | 171k| 1 |2054 |2279 | 1.717258e+02 | 1.940000e+02 | 12.97%| unknown
2947.87/2955.58 c 2956s| 38900 | 38799 | 30138k| 753.9 | 387M | 91 | 479 |1201 |1019 | 172k| 1 |2058 |2282 | 1.717267e+02 | 1.940000e+02 | 12.97%| unknown
2955.95/2963.61 c 2964s| 39000 | 38899 | 30228k| 754.3 | 387M | 91 | 479 |1208 |1054 | 172k| 1 |2069 |2287 | 1.717276e+02 | 1.940000e+02 | 12.97%| unknown
2961.93/2969.61 c 2970s| 39100 | 38999 | 30294k| 754.1 | 387M | 91 | 479 |1214 |1012 | 172k| 1 |2078 |2288 | 1.717282e+02 | 1.940000e+02 | 12.97%| unknown
2967.71/2975.41 c 2975s| 39200 | 39099 | 30361k| 753.8 | 387M | 91 | 479 |1217 |1051 | 173k| 1 |2082 |2288 | 1.717292e+02 | 1.940000e+02 | 12.97%| unknown
2974.09/2981.83 c 2982s| 39300 | 39199 | 30429k| 753.7 | 387M | 91 | 479 |1214 |1056 | 173k| 1 |2086 |2294 | 1.717300e+02 | 1.940000e+02 | 12.97%| unknown
2981.57/2989.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2981.57/2989.33 c 2989s| 39400 | 39299 | 30498k| 753.5 | 387M | 91 | 479 |1209 |1056 | 173k| 1 |2092 |2307 | 1.717313e+02 | 1.940000e+02 | 12.97%| unknown
2987.15/2994.90 c 2995s| 39500 | 39399 | 30566k| 753.3 | 387M | 91 | 479 |1202 |1052 | 174k| 1 |2094 |2307 | 1.717320e+02 | 1.940000e+02 | 12.97%| unknown
2993.73/3001.52 c 3002s| 39600 | 39499 | 30637k| 753.2 | 387M | 91 | 479 |1201 |1045 | 174k| 1 |2100 |2307 | 1.717325e+02 | 1.940000e+02 | 12.97%| unknown
2998.71/3006.52 c 3007s| 39700 | 39599 | 30692k| 752.7 | 387M | 91 | 479 |1197 |1062 | 174k| 1 |2100 |2311 | 1.717331e+02 | 1.940000e+02 | 12.97%| unknown
3004.70/3012.55 c 3013s| 39800 | 39699 | 30758k| 752.5 | 387M | 91 | 479 |1195 |1050 | 175k| 1 |2108 |2315 | 1.717347e+02 | 1.940000e+02 | 12.96%| unknown
3010.98/3018.81 c 3019s| 39900 | 39799 | 30827k| 752.3 | 387M | 91 | 479 |1196 |1074 | 175k| 1 |2114 |2315 | 1.717360e+02 | 1.940000e+02 | 12.96%| unknown
3016.86/3024.73 c 3025s| 40000 | 39899 | 30892k| 752.1 | 387M | 91 | 479 |1193 |1047 | 175k| 1 |2116 |2319 | 1.717373e+02 | 1.940000e+02 | 12.96%| unknown
3023.94/3031.86 c 3032s| 40100 | 39999 | 30976k| 752.3 | 388M | 91 | 479 |1195 |1041 | 176k| 1 |2119 |2320 | 1.717383e+02 | 1.940000e+02 | 12.96%| unknown
3029.23/3037.14 c 3037s| 40200 | 40099 | 31035k| 751.9 | 388M | 91 | 479 |1196 |1060 | 176k| 1 |2123 |2322 | 1.717388e+02 | 1.940000e+02 | 12.96%| unknown
3035.30/3043.21 c 3043s| 40300 | 40199 | 31100k| 751.7 | 388M | 91 | 479 |1199 |1038 | 176k| 1 |2128 |2324 | 1.717402e+02 | 1.940000e+02 | 12.96%| unknown
3040.49/3048.48 c 3048s| 40400 | 40299 | 31157k| 751.2 | 388M | 91 | 479 |1200 |1047 | 176k| 1 |2132 |2327 | 1.717412e+02 | 1.940000e+02 | 12.96%| unknown
3046.87/3054.87 c 3055s| 40500 | 40399 | 31225k| 751.1 | 388M | 91 | 479 |1194 |1071 | 177k| 1 |2133 |2330 | 1.717423e+02 | 1.940000e+02 | 12.96%| unknown
3052.55/3060.59 c 3061s| 40600 | 40499 | 31281k| 750.6 | 388M | 91 | 479 |1191 |1066 | 177k| 1 |2134 |2336 | 1.717437e+02 | 1.940000e+02 | 12.96%| unknown
3058.73/3066.71 c 3067s| 40700 | 40599 | 31348k| 750.4 | 388M | 91 | 479 |1182 |1057 | 177k| 1 |2135 |2338 | 1.717446e+02 | 1.940000e+02 | 12.96%| unknown
3066.70/3074.76 c 3075s| 40800 | 40699 | 31432k| 750.6 | 388M | 91 | 479 |1184 |1058 | 178k| 1 |2140 |2342 | 1.717459e+02 | 1.940000e+02 | 12.96%| unknown
3072.69/3080.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3072.69/3080.78 c 3081s| 40900 | 40799 | 31502k| 750.5 | 388M | 91 | 479 |1188 |1053 | 178k| 1 |2149 |2342 | 1.717467e+02 | 1.940000e+02 | 12.96%| unknown
3079.66/3087.77 c 3088s| 41000 | 40899 | 31579k| 750.5 | 388M | 91 | 479 |1187 |1053 | 179k| 1 |2153 |2343 | 1.717477e+02 | 1.940000e+02 | 12.96%| unknown
3085.25/3093.37 c 3093s| 41100 | 40999 | 31644k| 750.3 | 388M | 91 | 479 |1183 |1064 | 179k| 1 |2153 |2344 | 1.717483e+02 | 1.940000e+02 | 12.96%| unknown
3093.22/3101.38 c 3101s| 41200 | 41099 | 31730k| 750.6 | 388M | 91 | 479 |1186 |1051 | 179k| 1 |2162 |2346 | 1.717497e+02 | 1.940000e+02 | 12.96%| unknown
3099.10/3107.26 c 3107s| 41300 | 41199 | 31794k| 750.3 | 388M | 91 | 479 |1181 |1021 | 179k| 1 |2164 |2349 | 1.717508e+02 | 1.940000e+02 | 12.95%| unknown
3105.78/3113.96 c 3114s| 41400 | 41299 | 31868k| 750.3 | 388M | 91 | 479 |1183 |1056 | 180k| 1 |2173 |2351 | 1.717521e+02 | 1.940000e+02 | 12.95%| unknown
3111.47/3119.63 c 3120s| 41500 | 41399 | 31930k| 750.0 | 388M | 91 | 479 |1183 |1046 | 180k| 1 |2182 |2352 | 1.717531e+02 | 1.940000e+02 | 12.95%| unknown
3118.05/3126.21 c 3126s| 41600 | 41499 | 32001k| 749.9 | 388M | 91 | 479 |1179 |1071 | 181k| 1 |2189 |2357 | 1.717547e+02 | 1.940000e+02 | 12.95%| unknown
3124.43/3132.63 c 3133s| 41700 | 41599 | 32074k| 749.8 | 388M | 91 | 479 |1179 |1069 | 181k| 1 |2193 |2357 | 1.717555e+02 | 1.940000e+02 | 12.95%| unknown
3130.01/3138.28 c 3138s| 41800 | 41699 | 32138k| 749.6 | 388M | 91 | 479 |1182 |1057 | 181k| 1 |2202 |2357 | 1.717568e+02 | 1.940000e+02 | 12.95%| unknown
3135.99/3144.20 c 3144s| 41900 | 41799 | 32201k| 749.3 | 388M | 91 | 479 |1181 |1047 | 182k| 1 |2203 |2359 | 1.717572e+02 | 1.940000e+02 | 12.95%| unknown
3141.47/3149.72 c 3150s| 42000 | 41899 | 32262k| 749.0 | 388M | 91 | 479 |1184 |1052 | 182k| 1 |2208 |2360 | 1.717586e+02 | 1.940000e+02 | 12.95%| unknown
3147.66/3155.96 c 3156s| 42100 | 41999 | 32330k| 748.8 | 388M | 91 | 479 |1181 |1048 | 182k| 1 |2210 |2363 | 1.717597e+02 | 1.940000e+02 | 12.95%| unknown
3154.24/3162.57 c 3163s| 42200 | 42099 | 32395k| 748.6 | 388M | 91 | 479 |1183 |1062 | 183k| 1 |2214 |2363 | 1.717605e+02 | 1.940000e+02 | 12.95%| unknown
3159.82/3168.11 c 3168s| 42300 | 42199 | 32458k| 748.3 | 388M | 91 | 479 |1177 |1066 | 183k| 1 |2220 |2365 | 1.717615e+02 | 1.940000e+02 | 12.95%| unknown
3167.10/3175.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3167.10/3175.48 c 3175s| 42400 | 42299 | 32543k| 748.5 | 388M | 91 | 479 |1180 |1036 | 183k| 1 |2230 |2366 | 1.717621e+02 | 1.940000e+02 | 12.95%| unknown
3172.48/3180.88 c 3181s| 42500 | 42399 | 32605k| 748.3 | 388M | 91 | 479 |1178 |1063 | 184k| 1 |2231 |2366 | 1.717630e+02 | 1.940000e+02 | 12.95%| unknown
3178.26/3186.61 c 3187s| 42600 | 42499 | 32668k| 748.0 | 388M | 91 | 479 |1178 |1061 | 184k| 1 |2237 |2366 | 1.717637e+02 | 1.940000e+02 | 12.95%| unknown
3185.94/3194.32 c 3194s| 42700 | 42599 | 32758k| 748.3 | 388M | 91 | 479 |1177 |1062 | 184k| 1 |2245 |2367 | 1.717645e+02 | 1.940000e+02 | 12.95%| unknown
3191.42/3199.86 c 3200s| 42800 | 42699 | 32821k| 748.1 | 388M | 91 | 479 |1168 |1055 | 185k| 1 |2247 |2372 | 1.717654e+02 | 1.940000e+02 | 12.94%| unknown
3199.10/3207.52 c 3208s| 42900 | 42799 | 32909k| 748.4 | 388M | 91 | 479 |1167 |1058 | 185k| 1 |2256 |2374 | 1.717660e+02 | 1.940000e+02 | 12.94%| unknown
3205.89/3214.31 c 3214s| 43000 | 42899 | 32984k| 748.3 | 388M | 91 | 479 |1172 |1056 | 185k| 1 |2266 |2377 | 1.717667e+02 | 1.940000e+02 | 12.94%| unknown
3211.68/3220.11 c 3220s| 43100 | 42999 | 33043k| 748.0 | 389M | 91 | 479 |1177 |1060 | 186k| 1 |2272 |2377 | 1.717677e+02 | 1.940000e+02 | 12.94%| unknown
3217.86/3226.36 c 3226s| 43200 | 43099 | 33112k| 747.9 | 389M | 91 | 479 |1177 |1039 | 186k| 1 |2278 |2378 | 1.717691e+02 | 1.940000e+02 | 12.94%| unknown
3224.24/3232.72 c 3233s| 43300 | 43199 | 33178k| 747.7 | 389M | 91 | 479 |1177 |1058 | 186k| 1 |2283 |2380 | 1.717703e+02 | 1.940000e+02 | 12.94%| unknown
3230.43/3238.99 c 3239s| 43400 | 43299 | 33245k| 747.5 | 390M | 91 | 479 |1178 |1051 | 187k| 1 |2286 |2382 | 1.717708e+02 | 1.940000e+02 | 12.94%| unknown
3236.31/3244.85 c 3245s| 43500 | 43399 | 33309k| 747.2 | 390M | 91 | 479 |1177 |1061 | 187k| 1 |2289 |2385 | 1.717713e+02 | 1.940000e+02 | 12.94%| unknown
3243.00/3251.54 c 3252s| 43600 | 43499 | 33379k| 747.1 | 390M | 91 | 479 |1175 |1060 | 187k| 1 |2293 |2387 | 1.717724e+02 | 1.940000e+02 | 12.94%| unknown
3248.49/3257.09 c 3257s| 43700 | 43599 | 33440k| 746.8 | 390M | 91 | 479 |1183 |1034 | 188k| 1 |2301 |2388 | 1.717734e+02 | 1.940000e+02 | 12.94%| unknown
3255.07/3263.66 c 3264s| 43800 | 43699 | 33515k| 746.8 | 390M | 91 | 479 |1180 |1051 | 188k| 1 |2303 |2389 | 1.717741e+02 | 1.940000e+02 | 12.94%| unknown
3260.35/3268.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3260.35/3268.91 c 3269s| 43900 | 43799 | 33575k| 746.5 | 390M | 91 | 479 |1177 |1059 | 188k| 1 |2304 |2389 | 1.717747e+02 | 1.940000e+02 | 12.94%| unknown
3268.44/3277.07 c 3277s| 44000 | 43899 | 33668k| 746.9 | 390M | 91 | 479 |1174 |1054 | 189k| 1 |2305 |2390 | 1.717754e+02 | 1.940000e+02 | 12.94%| unknown
3273.72/3282.38 c 3282s| 44100 | 43999 | 33726k| 746.6 | 390M | 91 | 479 |1174 |1057 | 189k| 1 |2310 |2390 | 1.717763e+02 | 1.940000e+02 | 12.94%| unknown
3280.11/3288.73 c 3289s| 44200 | 44099 | 33794k| 746.4 | 390M | 91 | 479 |1184 |1058 | 189k| 1 |2324 |2392 | 1.717773e+02 | 1.940000e+02 | 12.94%| unknown
3287.09/3295.73 c 3296s| 44300 | 44199 | 33865k| 746.3 | 390M | 91 | 479 |1179 |1064 | 190k| 1 |2324 |2393 | 1.717782e+02 | 1.940000e+02 | 12.94%| unknown
3292.97/3301.69 c 3302s| 44400 | 44299 | 33930k| 746.1 | 390M | 91 | 479 |1180 |1049 | 190k| 1 |2327 |2394 | 1.717788e+02 | 1.940000e+02 | 12.94%| unknown
3299.86/3308.58 c 3309s| 44500 | 44399 | 34003k| 746.1 | 390M | 91 | 479 |1172 |1049 | 190k| 4 |2329 |2397 | 1.717799e+02 | 1.940000e+02 | 12.94%| unknown
3305.84/3314.58 c 3315s| 44600 | 44499 | 34068k| 745.9 | 390M | 91 | 479 |1176 |1064 | 191k| 1 |2335 |2399 | 1.717805e+02 | 1.940000e+02 | 12.93%| unknown
3311.93/3320.65 c 3321s| 44700 | 44599 | 34135k| 745.7 | 390M | 91 | 479 |1171 |1049 | 191k| 1 |2335 |2403 | 1.717811e+02 | 1.940000e+02 | 12.93%| unknown
3319.11/3327.88 c 3328s| 44800 | 44699 | 34213k| 745.8 | 390M | 91 | 479 |1167 |1044 | 191k| 1 |2341 |2404 | 1.717817e+02 | 1.940000e+02 | 12.93%| unknown
3324.80/3333.57 c 3334s| 44900 | 44799 | 34278k| 745.6 | 390M | 91 | 479 |1162 |1051 | 192k| 1 |2345 |2404 | 1.717826e+02 | 1.940000e+02 | 12.93%| unknown
3330.98/3339.74 c 3340s| 45000 | 44899 | 34347k| 745.4 | 390M | 91 | 479 |1159 |1077 | 192k| 1 |2346 |2406 | 1.717842e+02 | 1.940000e+02 | 12.93%| unknown
3337.47/3346.21 c 3346s| 45100 | 44999 | 34431k| 745.7 | 390M | 91 | 479 |1157 |1042 | 192k| 1 |2352 |2408 | 1.717850e+02 | 1.940000e+02 | 12.93%| unknown
3344.35/3353.17 c 3353s| 45200 | 45099 | 34497k| 745.5 | 391M | 91 | 479 |1155 |1056 | 193k| 1 |2358 |2413 | 1.717857e+02 | 1.940000e+02 | 12.93%| unknown
3350.43/3359.27 c 3359s| 45300 | 45199 | 34563k| 745.3 | 391M | 91 | 479 |1157 |1059 | 193k| 1 |2361 |2418 | 1.717865e+02 | 1.940000e+02 | 12.93%| unknown
3356.82/3365.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3356.82/3365.70 c 3366s| 45400 | 45299 | 34630k| 745.1 | 391M | 91 | 479 |1155 |1040 | 193k| 1 |2368 |2423 | 1.717872e+02 | 1.940000e+02 | 12.93%| unknown
3362.40/3371.27 c 3371s| 45500 | 45399 | 34694k| 744.9 | 392M | 91 | 479 |1161 |1040 | 194k| 1 |2377 |2426 | 1.717883e+02 | 1.940000e+02 | 12.93%| unknown
3368.89/3377.70 c 3378s| 45600 | 45499 | 34765k| 744.8 | 392M | 91 | 479 |1165 |1063 | 194k| 1 |2384 |2428 | 1.717890e+02 | 1.940000e+02 | 12.93%| unknown
3374.57/3383.40 c 3383s| 45700 | 45599 | 34828k| 744.6 | 392M | 91 | 479 |1158 |1053 | 194k| 1 |2387 |2432 | 1.717896e+02 | 1.940000e+02 | 12.93%| unknown
3381.66/3390.52 c 3391s| 45800 | 45699 | 34906k| 744.7 | 392M | 91 | 479 |1163 |1058 | 195k| 1 |2396 |2435 | 1.717904e+02 | 1.940000e+02 | 12.93%| unknown
3387.34/3396.24 c 3396s| 45900 | 45799 | 34971k| 744.5 | 392M | 91 | 479 |1162 |1049 | 195k| 1 |2404 |2436 | 1.717911e+02 | 1.940000e+02 | 12.93%| unknown
3392.73/3401.65 c 3402s| 46000 | 45899 | 35029k| 744.1 | 392M | 91 | 479 |1165 |1055 | 195k| 1 |2409 |2438 | 1.717915e+02 | 1.940000e+02 | 12.93%| unknown
3399.01/3407.90 c 3408s| 46100 | 45999 | 35103k| 744.1 | 392M | 91 | 479 |1164 |1082 | 196k| 2 |2416 |2438 | 1.717928e+02 | 1.940000e+02 | 12.93%| unknown
3406.00/3414.97 c 3415s| 46200 | 46099 | 35183k| 744.2 | 392M | 91 | 479 |1156 |1007 | 196k| 1 |2418 |2442 | 1.717935e+02 | 1.940000e+02 | 12.93%| unknown
3411.78/3420.75 c 3421s| 46300 | 46199 | 35247k| 744.0 | 392M | 91 | 479 |1158 |1061 | 196k| 1 |2426 |2442 | 1.717945e+02 | 1.940000e+02 | 12.93%| unknown
3417.77/3426.70 c 3427s| 46400 | 46299 | 35313k| 743.8 | 392M | 91 | 479 |1159 |1049 | 197k| 1 |2431 |2443 | 1.717954e+02 | 1.940000e+02 | 12.93%| unknown
3424.25/3433.23 c 3433s| 46500 | 46399 | 35385k| 743.8 | 392M | 91 | 479 |1165 |1040 | 197k| 1 |2437 |2446 | 1.717963e+02 | 1.940000e+02 | 12.92%| unknown
3429.54/3438.59 c 3439s| 46600 | 46499 | 35445k| 743.5 | 392M | 91 | 479 |1174 |1038 | 197k| 1 |2449 |2446 | 1.717977e+02 | 1.940000e+02 | 12.92%| unknown
3435.33/3444.34 c 3444s| 46700 | 46599 | 35510k| 743.3 | 392M | 91 | 479 |1172 |1029 | 198k| 1 |2454 |2448 | 1.717982e+02 | 1.940000e+02 | 12.92%| unknown
3441.12/3450.13 c 3450s| 46800 | 46699 | 35571k| 743.0 | 392M | 91 | 479 |1171 |1048 | 198k| 1 |2456 |2450 | 1.717990e+02 | 1.940000e+02 | 12.92%| unknown
3447.60/3456.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3447.60/3456.62 c 3457s| 46900 | 46799 | 35643k| 742.9 | 392M | 91 | 479 |1170 |1067 | 198k| 1 |2463 |2453 | 1.717996e+02 | 1.940000e+02 | 12.92%| unknown
3453.78/3462.80 c 3463s| 47000 | 46899 | 35705k| 742.7 | 392M | 91 | 479 |1168 |1059 | 199k| 1 |2465 |2453 | 1.718006e+02 | 1.940000e+02 | 12.92%| unknown
3459.77/3468.83 c 3469s| 47100 | 46999 | 35768k| 742.5 | 392M | 91 | 479 |1165 |1047 | 199k| 1 |2467 |2455 | 1.718015e+02 | 1.940000e+02 | 12.92%| unknown
3465.96/3475.00 c 3475s| 47200 | 47099 | 35834k| 742.3 | 392M | 91 | 479 |1166 |1060 | 199k| 1 |2474 |2456 | 1.718026e+02 | 1.940000e+02 | 12.92%| unknown
3471.34/3480.49 c 3480s| 47300 | 47199 | 35897k| 742.0 | 392M | 91 | 479 |1162 |1057 | 200k| 1 |2476 |2457 | 1.718034e+02 | 1.940000e+02 | 12.92%| unknown
3479.02/3488.19 c 3488s| 47400 | 47299 | 35986k| 742.4 | 392M | 91 | 479 |1172 |1057 | 200k| 1 |2489 |2457 | 1.718042e+02 | 1.940000e+02 | 12.92%| unknown
3484.91/3494.09 c 3494s| 47500 | 47399 | 36053k| 742.2 | 392M | 91 | 479 |1171 |1057 | 200k| 1 |2492 |2458 | 1.718049e+02 | 1.940000e+02 | 12.92%| unknown
3490.99/3500.12 c 3500s| 47600 | 47499 | 36121k| 742.1 | 392M | 91 | 479 |1173 |1062 | 201k| 1 |2496 |2460 | 1.718056e+02 | 1.940000e+02 | 12.92%| unknown
3497.37/3506.54 c 3507s| 47700 | 47599 | 36189k| 741.9 | 392M | 91 | 479 |1173 |1075 | 201k| 1 |2501 |2466 | 1.718060e+02 | 1.940000e+02 | 12.92%| unknown
3502.97/3512.19 c 3512s| 47800 | 47699 | 36250k| 741.7 | 392M | 91 | 479 |1168 |1059 | 201k| 1 |2504 |2471 | 1.718067e+02 | 1.940000e+02 | 12.92%| unknown
3509.64/3518.82 c 3519s| 47900 | 47799 | 36319k| 741.6 | 392M | 91 | 479 |1161 |1044 | 202k| 1 |2508 |2474 | 1.718077e+02 | 1.940000e+02 | 12.92%| unknown
3514.33/3523.55 c 3524s| 48000 | 47899 | 36375k| 741.2 | 392M | 91 | 479 |1154 |1064 | 202k| 1 |2508 |2474 | 1.718083e+02 | 1.940000e+02 | 12.92%| unknown
3520.72/3529.97 c 3530s| 48100 | 47999 | 36442k| 741.1 | 393M | 91 | 479 |1156 |1038 | 202k| 1 |2512 |2479 | 1.718088e+02 | 1.940000e+02 | 12.92%| unknown
3526.00/3535.28 c 3535s| 48200 | 48099 | 36499k| 740.7 | 393M | 91 | 479 |1156 |1041 | 203k| 1 |2519 |2486 | 1.718095e+02 | 1.940000e+02 | 12.92%| unknown
3532.39/3541.64 c 3542s| 48300 | 48199 | 36569k| 740.6 | 393M | 91 | 479 |1154 |1070 | 203k| 1 |2521 |2486 | 1.718105e+02 | 1.940000e+02 | 12.92%| unknown
3538.27/3547.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3538.27/3547.57 c 3548s| 48400 | 48299 | 36636k| 740.5 | 393M | 91 | 479 |1151 |1060 | 203k| 1 |2524 |2489 | 1.718115e+02 | 1.940000e+02 | 12.91%| unknown
3545.86/3555.11 c 3555s| 48500 | 48399 | 36724k| 740.8 | 393M | 91 | 479 |1153 |1057 | 204k| 1 |2531 |2489 | 1.718123e+02 | 1.940000e+02 | 12.91%| unknown
3552.04/3561.34 c 3561s| 48600 | 48499 | 36795k| 740.7 | 393M | 91 | 479 |1150 |1066 | 204k| 1 |2532 |2489 | 1.718129e+02 | 1.940000e+02 | 12.91%| unknown
3558.13/3567.43 c 3567s| 48700 | 48599 | 36861k| 740.5 | 393M | 91 | 479 |1146 |1069 | 204k| 1 |2534 |2490 | 1.718143e+02 | 1.940000e+02 | 12.91%| unknown
3563.72/3573.09 c 3573s| 48800 | 48699 | 36923k| 740.3 | 393M | 91 | 479 |1144 |1054 | 205k| 1 |2535 |2492 | 1.718150e+02 | 1.940000e+02 | 12.91%| unknown
3569.40/3578.78 c 3579s| 48900 | 48799 | 36991k| 740.2 | 393M | 91 | 479 |1145 |1066 | 205k| 1 |2537 |2492 | 1.718159e+02 | 1.940000e+02 | 12.91%| unknown
3574.89/3584.20 c 3584s| 49000 | 48899 | 37050k| 739.9 | 393M | 91 | 479 |1142 |1051 | 205k| 1 |2538 |2492 | 1.718166e+02 | 1.940000e+02 | 12.91%| unknown
3580.97/3590.39 c 3590s| 49100 | 48999 | 37120k| 739.8 | 394M | 91 | 479 |1150 |1054 | 206k| 1 |2547 |2493 | 1.718173e+02 | 1.940000e+02 | 12.91%| unknown
3587.06/3596.49 c 3596s| 49200 | 49099 | 37185k| 739.6 | 394M | 91 | 479 |1161 |1057 | 206k| 1 |2561 |2494 | 1.718180e+02 | 1.940000e+02 | 12.91%| unknown
3587.66/3597.01 c
3587.66/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.66/3597.01 c Solving Time (sec) : 3597.00
3587.66/3597.01 c Solving Nodes : 49210 (total of 50259 nodes in 2 runs)
3587.66/3597.01 c Primal Bound : +1.94000000000000e+02 (1235 solutions)
3587.66/3597.01 c Dual Bound : +1.71818151698765e+02
3587.66/3597.01 c Gap : 12.91 %
3587.66/3597.01 s SATISFIABLE
3587.66/3597.01 v -x479 -x478 x477 -x476 x475 x474 -x473 -x472 x471 x470 x469 -x468 -x467 x466 -x465 -x464 -x463 x462 -x461 -x460 -x459 -x458 -x457
3587.66/3597.01 v -x456 -x455 x454 x453 -x452 -x451 x450 -x449 x448 -x447 -x446 -x445 -x444 x443 -x442 x441 -x440 x439 -x438 x437 -x436 x435
3587.66/3597.01 v x434 x433 -x432 -x431 -x430 x429 -x428 x427 -x426 -x425 x424 x423 x422 x421 -x420 -x419 x418 -x417 -x416 -x415 -x414 -x413 x412
3587.66/3597.01 v -x411 -x410 x409 -x408 -x407 x406 -x405 -x404 x403 x402 x401 x400 -x399 x398 x397 x396 -x395 -x394 -x393 -x392 x391 -x390
3587.66/3597.01 v -x389 x388 x387 x386 x385 x384 x383 -x382 x381 x380 x379 -x378 x377 x376 -x375 -x374 -x373 -x372 -x371 -x370 x369 -x368 -x367
3587.66/3597.01 v x366 -x365 x364 -x363 -x362 x361 x360 -x359 x358 -x357 -x356 -x355 x354 -x353 x352 x351 -x350 -x349 -x348 -x347 x346 x345 -x344
3587.66/3597.01 v x343 -x342 -x341 x340 -x339 x338 -x337 x336 x335 x334 -x333 -x332 x331 -x330 x329 -x328 x327 -x326 -x325 -x324 -x323 x322
3587.66/3597.01 v -x321 x320 x319 x318 -x317 x316 -x315 -x314 x313 x312 -x311 -x310 x309 x308 -x307 -x306 x305 -x304 -x303 -x302 -x301 -x300
3587.66/3597.01 v -x299 x298 x297 -x296 -x295 x294 x293 -x292 -x291 -x290 -x289 x288 -x287 x286 -x285 -x284 x283 x282 x281 -x280 x279 -x278 x277
3587.66/3597.01 v x276 x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 x266 x265 x264 x263 -x262 -x261 x260 -x259 x258 -x257 x256 -x255
3587.66/3597.01 v -x254 -x253 -x252 -x251 -x250 x249 x248 x247 x246 x245 x244 x243 -x242 -x241 -x240 -x239 x238 x237 x236 -x235 x234 -x233 -x232
3587.66/3597.01 v -x231 x230 x229 x228 -x227 x226 x225 -x224 x223 -x222 -x221 x220 -x219 -x218 -x217 x216 -x215 -x214 x213 x212 x211 -x210 -x209
3587.66/3597.01 v x208 -x207 x206 x205 x204 -x203 x202 x201 -x200 -x199 -x198 x197 -x196 x195 -x194 -x193 -x192 -x191 x190 x189 -x188 -x187
3587.66/3597.01 v -x186 -x185 x184 -x183 x182 -x181 -x180 x179 x178 -x177 x176 x175 -x174 x173 x172 x171 x170 -x169 -x168 -x167 -x166 -x165 -x164
3587.66/3597.01 v -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 -x146 x145 x144 -x143
3587.66/3597.01 v -x142 -x141 -x140 x139 -x138 -x137 x136 x135 x134 -x133 -x132 -x131 x130 x129 x128 -x127 -x126 -x125 x124 x123 x122 x121 -x120
3587.66/3597.01 v x119 x118 x117 x116 -x115 -x114 -x113 x112 x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 x103 -x102 -x101 x100 -x99 x98 -x97
3587.66/3597.01 v -x96 x95 x94 -x93 x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 x81 x80 -x79 -x78 -x77 -x76 x75 x74 -x73 -x72 -x71
3587.66/3597.01 v -x70 x69 -x68 -x67 -x66 x65 -x64 -x63 x62 -x61 -x60 -x59 x58 x57 x56 -x55 -x54 x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 x45 -x44
3587.66/3597.01 v -x43 -x42 -x41 -x40 x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 x31 x30 -x29 x28 -x27 -x26 x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17
3587.66/3597.01 v -x16 x15 -x14 x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 x4 -x3 x2 -x1
3587.66/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.66/3597.01 c Total Time : 3597.00
3587.66/3597.01 c solving : 3597.00
3587.66/3597.01 c presolving : 0.04 (included in solving)
3587.66/3597.01 c reading : 0.00 (included in solving)
3587.66/3597.01 c copying : 0.05 (12 #copies) (minimal 0.00, maximal 0.01, average 0.00)
3587.66/3597.01 c Original Problem :
3587.66/3597.01 c Problem name : HOME/instance-4489148-1751352476.opb
3587.66/3597.01 c Variables : 479 (479 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.66/3597.01 c Constraints : 479 initial, 479 maximal
3587.66/3597.01 c Objective : minimize, 479 non-zeros (abs.min = 1, abs.max = 1)
3587.66/3597.01 c Presolved Problem :
3587.66/3597.01 c Problem name : t_HOME/instance-4489148-1751352476.opb
3587.66/3597.01 c Variables : 479 (479 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.66/3597.01 c Constraints : 936 initial, 1230 maximal
3587.66/3597.01 c Objective : minimize, 479 non-zeros (abs.min = 1, abs.max = 1)
3587.66/3597.01 c Nonzeros : 8890 constraint, 276 clique table
3587.66/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.66/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c gateextraction : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c implics : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c milp : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c trivial : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c dualfix : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c knapsack : 0.01 0.00 23 0 0 0 0 0 59 293 453 1299
3587.66/3597.01 c setppc : 0.00 0.00 19 0 0 0 0 0 136 0 0 0
3587.66/3597.01 c linear : 0.01 0.00 8 0 0 0 0 0 2 0 16 84
3587.66/3597.01 c logicor : 0.00 0.00 20 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c root node : - - - 0 - - 0 - - - - -
3587.66/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.66/3597.01 c benderslp : 0 0 0 0 50220 0 0 19250 0 0 0 0 0 0 0
3587.66/3597.01 c integral : 0 0 0 0 50220 0 0 19250 0 0 6 0 0 3 100434
3587.66/3597.01 c knapsack : 632 632 45 636444 0 0 0 19244 37886 0 5809 2308 124 0 0
3587.66/3597.01 c setppc : 138 138 45 635125 0 0 0 1333 22912 0 20368 0 0 0 0
3587.66/3597.01 c logicor : 166+ 460 45 142070 0 0 0 1333 216 425 10 3 0 0 0
3587.66/3597.01 c benders : 0 0 0 0 0 0 0 1336 0 0 0 0 0 0 0
3587.66/3597.01 c fixedvar : 0 0 0 0 0 0 0 1336 0 0 0 0 0 0 0
3587.66/3597.01 c countsols : 0 0 0 0 0 0 0 1336 0 0 0 0 0 0 0
3587.66/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.66/3597.01 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3587.66/3597.01 c integral : 133.40 0.00 0.00 0.00 133.39 0.00 0.00 0.01 0.00 0.00
3587.66/3597.01 c knapsack : 1.66 0.00 0.10 1.46 0.00 0.00 0.00 0.06 0.01 0.01
3587.66/3597.01 c setppc : 0.29 0.00 0.00 0.27 0.00 0.00 0.00 0.00 0.01 0.00
3587.66/3597.01 c logicor : 0.34 0.00 0.00 0.34 0.00 0.00 0.00 0.00 0.00 0.00
3587.66/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.66/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.66/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.66/3597.01 c components : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3587.66/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.66/3597.01 c dualfix : 3 0 0 0
3587.66/3597.01 c genvbounds : 0 0 0 0
3587.66/3597.01 c nlobbt : 0 0 0 0
3587.66/3597.01 c obbt : 0 0 0 0
3587.66/3597.01 c probing : 0 0 0 0
3587.66/3597.01 c pseudoobj : 115485 0 0 0
3587.66/3597.01 c redcost : 576 0 0 1912
3587.66/3597.01 c rootredcost : 10 0 0 0
3587.66/3597.01 c symmetry : 0 0 0 0
3587.66/3597.01 c vbounds : 111873 0 0 0
3587.66/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.66/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.66/3597.01 c genvbounds : 0.05 0.00 0.00 0.05 0.00 0.00
3587.66/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.66/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.66/3597.01 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
3587.66/3597.01 c pseudoobj : 0.11 0.00 0.00 0.11 0.00 0.00
3587.66/3597.01 c redcost : 0.07 0.00 0.00 0.07 0.00 0.00
3587.66/3597.01 c rootredcost : 0.04 0.00 0.00 0.04 0.00 0.00
3587.66/3597.01 c symmetry : 0.06 0.00 0.00 0.06 0.00 0.00
3587.66/3597.01 c vbounds : 0.08 0.00 0.00 0.07 0.00 0.00
3587.66/3597.01 c Symmetry :
3587.66/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.66/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.66/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.66/3597.01 c shadow tree time : 0.00 s
3587.66/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.66/3597.01 c propagation : 0.01 425 424 - 641 94.2 0 0.0 - - -
3587.66/3597.01 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.66/3597.01 c bound exceed. LP : 4.10 6637 1302 - 25471 93.4 0 0.0 0 0.0 51476
3587.66/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.66/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.66/3597.01 c applied globally : 0.01 - - 0 1864 63.5 - - 0 - -
3587.66/3597.01 c applied locally : - - - 0 697 95.1 - - 0 - -
3587.66/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.66/3597.01 c cut pool : 25.71 - 21417 79 - - 187615 866808 - - - - - (maximal pool size: 4867)
3587.66/3597.01 c aggregation : 94.89 0.00 4050 45 0 0 2337 103247 0 40580 40580 0 0
3587.66/3597.01 c > cmir : - - - - - - - 75176 0 24613 24613 0 -
3587.66/3597.01 c > flowcover : - - - - - - - 7295 0 2913 2913 0 -
3587.66/3597.01 c > knapsackcover : - - - - - - - 20776 0 13054 13054 0 -
3587.66/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c clique : 0.01 0.00 45 45 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c gomory : 48.66 0.00 3510 20 0 0 179627 188469 0 3755 3755 0 0
3587.66/3597.01 c > gomorymi : - - - - - - - 120734 0 3710 3710 0 -
3587.66/3597.01 c > strongcg : - - - - - - - 67735 0 45 45 0 -
3587.66/3597.01 c impliedbounds : 0.06 0.00 4050 45 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c multilinear : 0.00 0.00 3861 45 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c rapidlearning : 0.19 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c rlt : 0.00 0.00 766 20 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c zerohalf : 17.94 0.00 3530 40 0 0 5651 575092 0 170631 170631 0 0
3587.66/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.66/3597.01 c hybrid : 2.08 0.00 17818 43 215090 0 654029 850 0 11833
3587.66/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3587.66/3597.01 c problem variables: 0.00 - 0 0
3587.66/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.66/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.01 c relpscost : 133.36 0.00 50220 0 0 0 6 0 3 100434
3587.66/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.66/3597.01 c LP solutions : 0.00 - - 0 0
3587.66/3597.01 c relax solutions : 0.00 - - 0 0
3587.66/3597.01 c pseudo solutions : 0.00 - - 0 0
3587.66/3597.01 c strong branching : 0.19 - - 437 0
3587.66/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3587.66/3597.01 c adaptivediving : 15.48 0.00 40 2 0
3587.66/3597.01 c alns : 0.09 0.00 9 0 0
3587.66/3597.01 c bound : 0.00 0.00 0 0 0
3587.66/3597.01 c clique : 0.00 0.00 1 0 0
3587.66/3597.01 c coefdiving : 0.00 0.00 0 0 0
3587.66/3597.01 c completesol : 0.00 0.00 0 0 0
3587.66/3597.01 c conflictdiving : 341.58 0.00 918 2 0
3587.66/3597.01 c crossover : 0.04 0.00 2 2 1
3587.66/3597.01 c dins : 0.00 0.00 0 0 0
3587.66/3597.01 c distributiondivin: 186.54 0.00 275 3 0
3587.66/3597.01 c dps : 0.00 0.00 0 0 0
3587.66/3597.01 c dualval : 0.00 0.00 0 0 0
3587.66/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3587.66/3597.01 c feasjump : 0.00 0.00 0 0 0
3587.66/3597.01 c feaspump : 0.00 0.00 0 0 0
3587.66/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3587.66/3597.01 c fracdiving : 123.47 0.00 288 2 0
3587.66/3597.01 c gins : 0.01 0.00 1 1 0
3587.66/3597.01 c guideddiving : 97.10 0.00 266 0 0
3587.66/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3587.66/3597.01 c indicator : 0.01 0.00 0 0 0
3587.66/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3587.66/3597.01 c indoneopt : 0.01 0.00 0 0 0
3587.66/3597.01 c indrounding : 0.00 0.00 0 0 0
3587.66/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3587.66/3597.01 c intdiving : 0.00 0.00 0 0 0
3587.66/3597.01 c intshifting : 0.00 0.00 0 0 0
3587.66/3597.01 c linesearchdiving : 84.48 0.00 319 0 0
3587.66/3597.01 c localbranching : 0.00 0.00 0 0 0
3587.66/3597.01 c locks : 0.00 0.00 1 1 1
3587.66/3597.01 c lpface : 0.01 0.00 0 0 0
3587.66/3597.01 c mpec : 0.00 0.00 0 0 0
3587.66/3597.01 c multistart : 0.00 0.00 0 0 0
3587.66/3597.01 c mutation : 0.00 0.00 0 0 0
3587.66/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3587.66/3597.01 c objpscostdiving : 95.02 0.00 80 555 2
3587.66/3597.01 c octane : 0.00 0.00 0 0 0
3587.66/3597.01 c ofins : 0.01 0.00 0 0 0
3587.66/3597.01 c oneopt : 0.01 0.00 8 3 3
3587.66/3597.01 c padm : 0.00 0.00 0 0 0
3587.66/3597.01 c proximity : 0.00 0.00 0 0 0
3587.66/3597.01 c pscostdiving : 168.37 0.00 705 93 8
3587.66/3597.01 c randrounding : 0.81 0.00 17937 0 0
3587.66/3597.01 c rens : 0.00 0.00 0 0 0
3587.66/3597.01 c reoptsols : 0.00 0.00 0 0 0
3587.66/3597.01 c repair : 0.00 0.00 0 0 0
3587.66/3597.01 c rins : 0.02 0.00 0 0 0
3587.66/3597.01 c rootsoldiving : 12.90 0.00 81 0 0
3587.66/3597.01 c rounding : 4.89 0.00 3649 0 0
3587.66/3597.01 c scheduler : 0.00 0.00 0 0 0
3587.66/3597.01 c shiftandpropagate: 0.00 0.00 0 0 0
3587.66/3597.01 c shifting : 2.90 0.00 1941 0 0
3587.66/3597.01 c simplerounding : 1.39 0.00 68087 32 0
3587.66/3597.01 c smallcard : 0.00 0.00 0 0 0
3587.66/3597.01 c subnlp : 0.02 0.00 0 0 0
3587.66/3597.01 c trivial : 0.00 0.00 4 1 1
3587.66/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3587.66/3597.01 c trustregion : 0.00 0.00 0 0 0
3587.66/3597.01 c trysol : 0.01 0.00 0 0 0
3587.66/3597.01 c twoopt : 0.00 0.00 0 0 0
3587.66/3597.01 c undercover : 0.00 0.00 0 0 0
3587.66/3597.01 c vbounds : 0.00 0.00 0 0 0
3587.66/3597.01 c veclendiving : 93.03 0.00 354 1 0
3587.66/3597.01 c zeroobj : 0.00 0.00 0 0 0
3587.66/3597.01 c zirounding : 0.99 0.00 5001 100 0
3587.66/3597.01 c other solutions : - - - 0 -
3587.66/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.66/3597.01 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.66/3597.01 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.66/3597.01 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.66/3597.01 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.66/3597.01 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.66/3597.01 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.66/3597.01 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.66/3597.01 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.66/3597.01 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.66/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.66/3597.01 c primal LP : 2.00 9785 2 1.00 1.00 2.00 9783
3587.66/3597.01 c dual LP : 2025.86 68229 22784428 334.43 11246.80 0.02 100
3587.66/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3587.66/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.66/3597.01 c resolve instable : 0.00 0 0 0.00 -
3587.66/3597.01 c diving/probing LP: 1138.08 43857 14406249 328.48 12658.42
3587.66/3597.01 c strong branching : 126.51 2494 1442200 578.27 11399.69 - - 413
3587.66/3597.01 c (at root node) : - 49 36329 741.41 -
3587.66/3597.01 c conflict analysis: 3.12 5196 51476 9.91 16519.82
3587.66/3597.01 c B&B Tree :
3587.66/3597.01 c number of runs : 2
3587.66/3597.01 c nodes : 49210 (49168 internal, 42 leaves)
3587.66/3597.01 c feasible leaves : 0
3587.66/3597.01 c infeas. leaves : 0
3587.66/3597.01 c objective leaves : 42
3587.66/3597.01 c nodes (total) : 50259 (50217 internal, 42 leaves)
3587.66/3597.01 c nodes left : 49109
3587.66/3597.01 c max depth : 91
3587.66/3597.01 c max depth (total): 91
3587.66/3597.01 c backtracks : 4954 (10.1%)
3587.66/3597.01 c early backtracks : 0 (0.0%)
3587.66/3597.01 c nodes exc. ref. : 0 (0.0%)
3587.66/3597.01 c delayed cutoffs : 0
3587.66/3597.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3587.66/3597.01 c avg switch length: 4.17
3587.66/3597.01 c switching time : 3.65
3587.66/3597.01 c Root Node :
3587.66/3597.01 c First LP value : +1.56179690855966e+02
3587.66/3597.01 c First LP Iters : 1920 (16997.17 Iter/sec)
3587.66/3597.01 c First LP Time : 0.11
3587.66/3597.01 c Final Dual Bound : +1.69322774939188e+02
3587.66/3597.01 c Final Root Iters : 21016
3587.66/3597.01 c Root LP Estimate : +2.46916115165498e+02
3587.66/3597.01 c Solution :
3587.66/3597.01 c Solutions found : 1235 (16 improvements)
3587.66/3597.01 c First Solution : +4.79000000000000e+02 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
3587.66/3597.01 c Gap First Sol. : infinite
3587.66/3597.01 c Gap Last Sol. : 13.52 %
3587.66/3597.01 c Primal Bound : +1.94000000000000e+02 (in run 2, after 6740 nodes, 835.49 seconds, depth 216, found by <pscostdiving>)
3587.66/3597.01 c Dual Bound : +1.71818151698765e+02
3587.66/3597.01 c Gap : 12.91 %
3587.66/3597.01 c Integrals : Total Avg%
3587.66/3597.01 c primal-dual : 43147.48 12.00
3587.66/3597.01 c primal-ref : - - (not evaluated)
3587.66/3597.01 c dual-ref : - - (not evaluated)
3587.76/3597.18 c Time complete: 3587.85.
OK 194
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62954 MiB free)
memory of node 1: 64507 MiB (62464 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489148-1751352476/watcher-4489148-1751352476 -o /tmp/evaluation-result-4489148-1751352476/solver-4489148-1751352476 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751348876-53999 --watchdog 3760 pbscip -f HOME/instance-4489148-1751352476.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=54435, runsolver pid=54423
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.14 4.10 4.06 5/267 54440
/proc/meminfo: memFree=128419952/131249996 swapFree=33010684/33010684
[pid=54435] ppid=54423 vsize=50980 memory=25216 CPUtime=0.08 cores=5,7
/proc/54435/stat : 54435 (pbscip) R 54423 54435 53986 0 -1 4194304 2700 0 0 0 8 0 0 0 20 0 1 0 50925496 52203520 6304 18446744073709551615 4235264 18693293 140724001774000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140724001782153 140724001782252 140724001782252 140724001787854 0
/proc/54435/statm: 12745 6304 3968 3530 0 4196 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 25216 KiB
[startup+0.205419 s]*
/proc/loadavg: 4.14 4.10 4.06 5/267 54440
/proc/meminfo: memFree=128420048/131249996 swapFree=33010684/33010684
[pid=54435] ppid=54423 vsize=62624 memory=36736 CPUtime=0.19 cores=5,7
/proc/54435/stat : 54435 (pbscip) R 54423 54435 53986 0 -1 4194304 5594 0 0 0 18 1 0 0 20 0 1 0 50925496 64126976 9184 18446744073709551615 4235264 18693293 140724001774000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140724001782153 140724001782252 140724001782252 140724001787854 0
/proc/54435/statm: 15656 9184 3968 3530 0 7107 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 62624 KiB
Current children cumulated memory: 36736 KiB
[startup+0.305275 s]*
/proc/loadavg: 4.14 4.10 4.06 5/267 54440
/proc/meminfo: memFree=128412236/131249996 swapFree=33010684/33010684
[pid=54435] ppid=54423 vsize=71944 memory=45952 CPUtime=0.28 cores=5,7
/proc/54435/stat : 54435 (pbscip) R 54423 54435 53986 0 -1 4194304 7902 0 0 0 27 1 0 0 20 0 1 0 50925496 73670656 11488 18446744073709551615 4235264 18693293 140724001774000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140724001782153 140724001782252 140724001782252 140724001787854 0
/proc/54435/statm: 17986 11488 3968 3530 0 9437 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 71944 KiB
Current children cumulated memory: 45952 KiB
[startup+0.700157 s]
/proc/loadavg: 4.14 4.10 4.06 5/267 54440
/proc/meminfo: memFree=128380024/131249996 swapFree=33010684/33010684
[pid=54435] ppid=54423 vsize=108636 memory=82300 CPUtime=0.67 cores=5,7
/proc/54435/stat : 54435 (pbscip) R 54423 54435 53986 0 -1 4194304 18143 0 0 0 65 2 0 0 20 0 1 0 50925496 111243264 20575 18446744073709551615 4235264 18693293 140724001774000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140724001782153 140724001782252 140724001782252 140724001787854 0
/proc/54435/statm: 27159 20575 3968 3530 0 18610 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 108636 KiB
Current children cumulated memory: 82300 KiB
[startup+1.50017 s]
/proc/loadavg: 4.14 4.10 4.06 5/267 54440
/proc/meminfo: memFree=128219752/131249996 swapFree=33010684/33010684
[pid=54435] ppid=54423 vsize=184720 memory=155132 CPUtime=1.47 cores=5,7
/proc/54435/stat : 54435 (pbscip) R 54423 54435 53986 0 -1 4194304 36343 0 0 0 142 5 0 0 20 0 1 0 50925496 189153280 38783 18446744073709551615 4235264 18693293 140724001774000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140724001782153 140724001782252 140724001782252 140724001787854 0
/proc/54435/statm: 46180 38783 3968 3530 0 37631 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 184720 KiB
Current children cumulated memory: 155132 KiB
[startup+3.10523 s]
/proc/loadavg: 4.13 4.10 4.06 5/267 54440
/proc/meminfo: memFree=127893648/131249996 swapFree=33010684/33010684
[pid=54435] ppid=54423 vsize=188532 memory=158588 CPUtime=3.07 cores=5,7
/proc/54435/stat : 54435 (pbscip) R 54423 54435 53986 0 -1 4194304 37185 0 0 0 302 5 0 0 20 0 1 0 50925496 193056768 39647 18446744073709551615 4235264 18693293 140724001774000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140724001782153 140724001782252 140724001782252 140724001787854 0
/proc/54435/statm: 47133 39647 4000 3530 0 38584 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 188532 KiB
Current children cumulated memory: 158588 KiB
[startup+6.3001 s]
/proc/loadavg: 4.13 4.10 4.06 5/267 54440
/proc/meminfo: memFree=127894272/131249996 swapFree=33010684/33010684
[pid=54435] ppid=54423 vsize=188532 memory=158588 CPUtime=6.26 cores=5,7
/proc/54435/stat : 54435 (pbscip) R 54423 54435 53986 0 -1 4194304 37185 0 0 0 621 5 0 0 20 0 1 0 50925496 193056768 39647 18446744073709551615 4235264 18693293 140724001774000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140724001782153 140724001782252 140724001782252 140724001787854 0
/proc/54435/statm: 47133 39647 4000 3530 0 38584 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 188532 KiB
Current children cumulated memory: 158588 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.10 4.06 5/267 54440
/proc/meminfo: memFree=127894304/131249996 swapFree=33010684/33010684
[pid=54435] ppid=54423 vsize=188532 memory=158588 CPUtime=12.64 cores=5,7
/proc/54435/stat : 54435 (pbscip) R 54423 54435 53986 0 -1 4194304 37193 0 0 0 1259 5 0 0 20 0 1 0 50925496 193056768 39647 18446744073709551615 4235264 18693293 140724001774000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140724001782153 140724001782252 140724001782252 140724001787854 0
/proc/54435/statm: 47133 39647 4000 3530 0 38584 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 188532 KiB
Current children cumulated memory: 158588 KiB
[startup+25.5001 s]
/proc/loadavg: 4.09 4.09 4.06 5/267 54440
/proc/meminfo: memFree=127685500/131249996 swapFree=33010684/33010684
[pid=54435] ppid=54423 vsize=254668 memory=223100 CPUtime=25.42 cores=5,7
/proc/54435/stat : 54435 (pbscip) R 54423 54435 53986 0 -1 4194304 53320 0 0 0 2534 8 0 0 20 0 1 0 50925496 260780032 55775 18446744073709551615 4235264 18693293 140724001774000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140724001782153 140724001782252 140724001782252 140724001787854 0
/proc/54435/statm: 63667 55775 4000 3530 0 55118 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 254668 KiB
Current children cumulated memory: 223100 KiB
[startup+51.1052 s]
/proc/loadavg: 4.18 4.12 4.06 5/267 54441
/proc/meminfo: memFree=127685400/131249996 swapFree=33010684/33010684
[pid=54435] ppid=54423 vsize=251044 memory=219588 CPUtime=50.96 cores=5,7
/proc/54435/stat : 54435 (pbscip) R 54423 54435 53986 0 -1 4194304 53324 0 0 0 5088 8 0 0 20 0 1 0 50925496 257069056 54897 18446744073709551615 4235264 18693293 140724001774000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140724001782153 140724001782252 140724001782252 140724001787854 0
/proc/54435/statm: 62761 54897 4000 3530 0 54212 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 251044 KiB
Current children cumulated memory: 219588 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.07 5/266 54442
/proc/meminfo: memFree=127635344/131249996 swapFree=33010684/33010684
[pid=54435] ppid=54423 vsize=252180 memory=220740 CPUtime=102.03 cores=5,7
/proc/54435/stat : 54435 (pbscip) R 54423 54435 53986 0 -1 4194304 53615 0 0 0 10195 8 0 0 20 0 1 0 50925496 258232320 55185 18446744073709551615 4235264 18693293 140724001774000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140724001782153 140724001782252 140724001782252 140724001787854 0
/proc/54435/statm: 63045 55185 4000 3530 0 54496 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 252180 KiB
Current children cumulated memory: 220740 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.12 4.07 5/266 54444
/proc/meminfo: memFree=127366532/131249996 swapFree=33010684/33010684
[pid=54435] ppid=54423 vsize=267852 memory=240068 CPUtime=161.88 cores=5,7
/proc/54435/stat : 54435 (pbscip) R 54423 54435 53986 0 -1 4194304 58451 0 0 0 16179 9 0 0 20 0 1 0 50925496 274280448 60017 18446744073709551615 4235264 18693293 140724001774000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140724001782153 140724001782252 140724001782252 140724001787854 0
/proc/54435/statm: 66963 60017 4000 3530 0 58414 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 267852 KiB
Current children cumulated memory: 240068 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.07 5/266 54447
/proc/meminfo: memFree=127270728/131249996 swapFree=33010684/33010684
[pid=54435] ppid=54423 vsize=310688 memory=282180 CPUtime=221.74 cores=5,7
/proc/54435/stat : 54435 (pbscip) R 54423 54435 53986 0 -1 4194304 68995 0 0 0 22162 12 0 0 20 0 1 0 50925496 318144512 70545 18446744073709551615 4235264 18693293 140724001774000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140724001782153 140724001782252 140724001782252 140724001787854 0
/proc/54435/statm: 77672 70545 4000 3530 0 69123 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 310688 KiB
Current children cumulated memory: 282180 KiB
[startup+282.3 s]
/proc/loadavg: 4.40 4.17 4.09 5/266 54449
/proc/meminfo: memFree=127229508/131249996 swapFree=33010684/33010684
[pid=54435] ppid=54423 vsize=355592 memory=327876 CPUtime=281.59 cores=5,7
/proc/54435/stat : 54435 (pbscip) R 54423 54435 53986 0 -1 4194304 80403 0 0 0 28144 15 0 0 20 0 1 0 50925496 364126208 81969 18446744073709551615 4235264 18693293 140724001774000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140724001782153 140724001782252 140724001782252 140724001787854 0
/proc/54435/statm: 88898 81969 4000 3530 0 80349 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 355592 KiB
Current children cumulated memory: 327876 KiB
[startup+342.3 s]
/proc/loadavg: 4.99 4.40 4.18 5/265 54452
/proc/meminfo: memFree=127227796/131249996 swapFree=33010684/33010684
[pid=54435] ppid=54423 vsize=359676 memory=331460 CPUtime=341.45 cores=5,7
/proc/54435/stat : 54435 (pbscip) R 54423 54435 53986 0 -1 4194304 81288 0 0 0 34130 15 0 0 20 0 1 0 50925496 368308224 82865 18446744073709551615 4235264 18693293 140724001774000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140724001782153 140724001782252 140724001782252 140724001787854 0
/proc/54435/statm: 89919 82865 4000 3530 0 81370 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 359676 KiB
Current children cumulated memory: 331460 KiB
[startup+402.3 s]
/proc/loadavg: 4.42 4.34 4.17 5/265 54454
/proc/meminfo: memFree=127216564/131249996 swapFree=33010684/33010684
[pid=54435] ppid=54423 vsize=359676 memory=332356 CPUtime=401.3 cores=5,7
/proc/54435/stat : 54435 (pbscip) R 54423 54435 53986 0 -1 4194304 81321 0 0 0 40115 15 0 0 20 0 1 0 50925496 368308224 83089 18446744073709551615 4235264 18693293 140724001774000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140724001782153 140724001782252 140724001782252 140724001787854 0
/proc/54435/statm: 89919 83089 4000 3530 0 81370 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 359676 KiB
Current children cumulated memory: 332356 KiB
[startup+462.3 s]
/proc/loadavg: 4.20 4.29 4.17 5/267 54465
/proc/meminfo: memFree=127211932/131249996 swapFree=33010684/33010684
[pid=54435] ppid=54423 vsize=359676 memory=333892 CPUtime=461.15 cores=5,7
/proc/54435/stat : 54435 (pbscip) R 54423 54435 53986 0 -1 4194304 81346 0 0 0 46100 15 0 0 20 0 1 0 50925496 368308224 83473 18446744073709551615 4235264 18693293 140724001774000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140724001782153 140724001782252 140724001782252 140724001787854 0
/proc/54435/statm: 89919 83473 4000 3530 0 81370 0
Current children cumulated CPU time: 461.15 s
################
# More data... #
################
/proc/loadavg: 4.15 4.11 4.09 5/264 54670
/proc/meminfo: memFree=126948536/131249996 swapFree=33010684/33010684
[pid=54435] ppid=54423 vsize=430576 memory=405700 CPUtime=3213.87 cores=5,7
/proc/54435/stat : 54435 (pbscip) R 54423 54435 53986 0 -1 4194304 99623 0 0 0 321368 19 0 0 20 0 1 0 50925496 440909824 101425 18446744073709551615 4235264 18693293 140724001774000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140724001782153 140724001782252 140724001782252 140724001787854 0
/proc/54435/statm: 107644 101425 4000 3530 0 99095 0
Current children cumulated CPU time: 3213.87 s
Current children cumulated vsize: 430576 KiB
Current children cumulated memory: 405700 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 54673
/proc/meminfo: memFree=126948636/131249996 swapFree=33010684/33010684
[pid=54435] ppid=54423 vsize=430736 memory=406596 CPUtime=3273.72 cores=5,7
/proc/54435/stat : 54435 (pbscip) R 54423 54435 53986 0 -1 4194304 99837 0 0 0 327353 19 0 0 20 0 1 0 50925496 441073664 101649 18446744073709551615 4235264 18693293 140724001774000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140724001782153 140724001782252 140724001782252 140724001787854 0
/proc/54435/statm: 107684 101649 4000 3530 0 99135 0
Current children cumulated CPU time: 3273.72 s
Current children cumulated vsize: 430736 KiB
Current children cumulated memory: 406596 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 54675
/proc/meminfo: memFree=126949196/131249996 swapFree=33010684/33010684
[pid=54435] ppid=54423 vsize=430736 memory=406596 CPUtime=3333.57 cores=5,7
/proc/54435/stat : 54435 (pbscip) R 54423 54435 53986 0 -1 4194304 100003 0 0 0 333338 19 0 0 20 0 1 0 50925496 441073664 101649 18446744073709551615 4235264 18693293 140724001774000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140724001782153 140724001782252 140724001782252 140724001787854 0
/proc/54435/statm: 107684 101649 4000 3530 0 99135 0
Current children cumulated CPU time: 3333.57 s
Current children cumulated vsize: 430736 KiB
Current children cumulated memory: 406596 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 54678
/proc/meminfo: memFree=126931076/131249996 swapFree=33010684/33010684
[pid=54435] ppid=54423 vsize=431600 memory=407492 CPUtime=3393.43 cores=5,7
/proc/54435/stat : 54435 (pbscip) R 54423 54435 53986 0 -1 4194304 100241 0 0 0 339324 19 0 0 20 0 1 0 50925496 441958400 101873 18446744073709551615 4235264 18693293 140724001774000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140724001782153 140724001782252 140724001782252 140724001787854 0
/proc/54435/statm: 107900 101873 4000 3530 0 99351 0
Current children cumulated CPU time: 3393.43 s
Current children cumulated vsize: 431600 KiB
Current children cumulated memory: 407492 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 54687
/proc/meminfo: memFree=126947216/131249996 swapFree=33010684/33010684
[pid=54435] ppid=54423 vsize=432220 memory=408132 CPUtime=3453.28 cores=5,7
/proc/54435/stat : 54435 (pbscip) R 54423 54435 53986 0 -1 4194304 100390 0 0 0 345309 19 0 0 20 0 1 0 50925496 442593280 102033 18446744073709551615 4235264 18693293 140724001774000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140724001782153 140724001782252 140724001782252 140724001787854 0
/proc/54435/statm: 108055 102033 4000 3530 0 99506 0
Current children cumulated CPU time: 3453.28 s
Current children cumulated vsize: 432220 KiB
Current children cumulated memory: 408132 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/266 54690
/proc/meminfo: memFree=126934896/131249996 swapFree=33010684/33010684
[pid=54435] ppid=54423 vsize=437072 memory=411972 CPUtime=3513.14 cores=5,7
/proc/54435/stat : 54435 (pbscip) R 54423 54435 53986 0 -1 4194304 101348 0 0 0 351295 19 0 0 20 0 1 0 50925496 447561728 102993 18446744073709551615 4235264 18693293 140724001774000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140724001782153 140724001782252 140724001782252 140724001787854 0
/proc/54435/statm: 109268 102993 4000 3530 0 100719 0
Current children cumulated CPU time: 3513.14 s
Current children cumulated vsize: 437072 KiB
Current children cumulated memory: 411972 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 54693
/proc/meminfo: memFree=126933812/131249996 swapFree=33010684/33010684
[pid=54435] ppid=54423 vsize=437072 memory=411972 CPUtime=3572.99 cores=5,7
/proc/54435/stat : 54435 (pbscip) R 54423 54435 53986 0 -1 4194304 101348 0 0 0 357280 19 0 0 20 0 1 0 50925496 447561728 102993 18446744073709551615 4235264 18693293 140724001774000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140724001782153 140724001782252 140724001782252 140724001787854 0
/proc/54435/statm: 109268 102993 4000 3530 0 100719 0
Current children cumulated CPU time: 3572.99 s
Current children cumulated vsize: 437072 KiB
Current children cumulated memory: 411972 KiB
[startup+3597.19 s]
# the end of solver process 54435 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.66 s, system=0.199381 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.10 4.09 5/266 54693
/proc/meminfo: memFree=126933860/131249996 swapFree=33010684/33010684
[pid=54435] ppid=54423 vsize=437072 memory=411972 CPUtime=3574.69 cores=5,7
/proc/54435/stat : 54435 (pbscip) R 54423 54435 53986 0 -1 4194304 101348 0 0 0 357450 19 0 0 20 0 1 0 50925496 447561728 102993 18446744073709551615 4235264 18693293 140724001774000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140724001782153 140724001782252 140724001782252 140724001787854 0
/proc/54435/statm: 109268 102993 4000 3530 0 100719 0
Current children cumulated CPU time: 3574.69 s
Current children cumulated vsize: 437072 KiB
Current children cumulated memory: 411972 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 54693
/proc/meminfo: memFree=126940628/131249996 swapFree=33010684/33010684
[pid=54435] ppid=54423 vsize=437072 memory=411972 CPUtime=3581.07 cores=5,7
/proc/54435/stat : 54435 (pbscip) R 54423 54435 53986 0 -1 4194304 101348 0 0 0 358088 19 0 0 20 0 1 0 50925496 447561728 102993 18446744073709551615 4235264 18693293 140724001774000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140724001782153 140724001782252 140724001782252 140724001787854 0
/proc/54435/statm: 109268 102993 4000 3530 0 100719 0
Current children cumulated CPU time: 3581.07 s
Current children cumulated vsize: 437072 KiB
Current children cumulated memory: 411972 KiB
[startup+3593.6 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 54693
/proc/meminfo: memFree=126940408/131249996 swapFree=33010684/33010684
[pid=54435] ppid=54423 vsize=437072 memory=411972 CPUtime=3584.26 cores=5,7
/proc/54435/stat : 54435 (pbscip) R 54423 54435 53986 0 -1 4194304 101348 0 0 0 358407 19 0 0 20 0 1 0 50925496 447561728 102993 18446744073709551615 4235264 18693293 140724001774000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140724001782153 140724001782252 140724001782252 140724001787854 0
/proc/54435/statm: 109268 102993 4000 3530 0 100719 0
Current children cumulated CPU time: 3584.26 s
Current children cumulated vsize: 437072 KiB
Current children cumulated memory: 411972 KiB
[startup+3595.2 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 54693
/proc/meminfo: memFree=126940408/131249996 swapFree=33010684/33010684
[pid=54435] ppid=54423 vsize=437072 memory=411972 CPUtime=3585.86 cores=5,7
/proc/54435/stat : 54435 (pbscip) R 54423 54435 53986 0 -1 4194304 101348 0 0 0 358567 19 0 0 20 0 1 0 50925496 447561728 102993 18446744073709551615 4235264 18693293 140724001774000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140724001782153 140724001782252 140724001782252 140724001787854 0
/proc/54435/statm: 109268 102993 4000 3530 0 100719 0
Current children cumulated CPU time: 3585.86 s
Current children cumulated vsize: 437072 KiB
Current children cumulated memory: 411972 KiB
[startup+3596 s]*
/proc/loadavg: 4.09 4.10 4.09 5/266 54693
/proc/meminfo: memFree=126940408/131249996 swapFree=33010684/33010684
[pid=54435] ppid=54423 vsize=437072 memory=411972 CPUtime=3586.66 cores=5,7
/proc/54435/stat : 54435 (pbscip) R 54423 54435 53986 0 -1 4194304 101348 0 0 0 358647 19 0 0 20 0 1 0 50925496 447561728 102993 18446744073709551615 4235264 18693293 140724001774000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140724001782153 140724001782252 140724001782252 140724001787854 0
/proc/54435/statm: 109268 102993 4000 3530 0 100719 0
Current children cumulated CPU time: 3586.66 s
Current children cumulated vsize: 437072 KiB
Current children cumulated memory: 411972 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 54693
/proc/meminfo: memFree=126940408/131249996 swapFree=33010684/33010684
[pid=54435] ppid=54423 vsize=437072 memory=411972 CPUtime=3587.45 cores=5,7
/proc/54435/stat : 54435 (pbscip) R 54423 54435 53986 0 -1 4194304 101348 0 0 0 358726 19 0 0 20 0 1 0 50925496 447561728 102993 18446744073709551615 4235264 18693293 140724001774000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140724001782153 140724001782252 140724001782252 140724001787854 0
/proc/54435/statm: 109268 102993 4000 3530 0 100719 0
Current children cumulated CPU time: 3587.45 s
Current children cumulated vsize: 437072 KiB
Current children cumulated memory: 411972 KiB
[startup+3597 s]*
/proc/loadavg: 4.09 4.10 4.09 5/266 54693
/proc/meminfo: memFree=126940440/131249996 swapFree=33010684/33010684
[pid=54435] ppid=54423 vsize=437072 memory=411972 CPUtime=3587.66 cores=5,7
/proc/54435/stat : 54435 (pbscip) R 54423 54435 53986 0 -1 4194304 101348 0 0 0 358747 19 0 0 20 0 1 0 50925496 447561728 102993 18446744073709551615 4235264 18693293 140724001774000 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140724001782153 140724001782252 140724001782252 140724001787854 0
/proc/54435/statm: 109268 102993 4000 3530 0 100719 0
Current children cumulated CPU time: 3587.66 s
Current children cumulated vsize: 437072 KiB
Current children cumulated memory: 411972 KiB
[startup+3597.11 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 54693
/proc/meminfo: memFree=126940440/131249996 swapFree=33010684/33010684
[pid=54435] ppid=54423 vsize=436044 memory=411004 CPUtime=3587.76 cores=5,7
/proc/54435/stat : 54435 (pbscip) R 54423 54435 53986 0 -1 4194304 101348 0 0 0 358757 19 0 0 20 0 1 0 50925496 446509056 102751 18446744073709551615 4235264 18693293 140724001774000 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140724001782153 140724001782252 140724001782252 140724001787854 0
/proc/54435/statm: 109011 102751 4000 3530 0 100462 0
Current children cumulated CPU time: 3587.76 s
Current children cumulated vsize: 436044 KiB
Current children cumulated memory: 411004 KiB
Child status: 0
Real time (s): 3597.19
CPU time (s): 3587.86
CPU user time (s): 3587.66
CPU system time (s): 0.199381
CPU usage (%): 99.7405
Max. virtual memory (cumulated for all children) (KiB): 437072
Max. memory (cumulated for all children) (KiB): 411972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.66
system time used= 0.199381
maximum resident set size= 411972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101364
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= 168
involuntary context switches= 1817
# summary of solver processes directly reported to runsolver:
# pid: 54435
# total CPU time (s): 3587.86
# total CPU user time (s): 3587.66
# total CPU system time (s): 0.199381
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.12207 second user time and 14.331 second system time
The end
Begin job on nodeC024 at 2025-07-01 08:47:56 IDJOB=4489148 IDBENCH=147541 IDSOLVER=3365 FILE ID=nodeC024/4489148-1751352476 RUNJOBID= nodeC024-1751348876-53999 SLURM_JOB_ID= 9598123 Free space on /tmp= 433060 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489148-1751352476/watcher-4489148-1751352476 -o /tmp/evaluation-result-4489148-1751352476/solver-4489148-1751352476 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751348876-53999 --watchdog 3760 pbscip -f HOME/instance-4489148-1751352476.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1da12ebdd4ab5e725928f3bf845b8b1e RANDOM SEED=719154434 nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3679.894 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.564 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.665 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.473 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3439.439 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.678 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.679 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3618.101 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 128434328 kB MemAvailable: 129745672 kB Buffers: 3280 kB Cached: 2104704 kB SwapCached: 0 kB Active: 321396 kB Inactive: 1849200 kB Active(anon): 80676 kB Inactive(anon): 0 kB Active(file): 240720 kB Inactive(file): 1849200 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 74704 kB Writeback: 4 kB AnonPages: 65708 kB Mapped: 103136 kB Shmem: 18064 kB KReclaimable: 120924 kB Slab: 209108 kB SReclaimable: 120924 kB SUnreclaim: 88184 kB KernelStack: 4080 kB PageTables: 2768 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 329708 kB VmallocTotal: 34359738367 kB VmallocUsed: 150392 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 195284 kB DirectMap2M: 6916096 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 432904 MiB End job on nodeC024 at 2025-07-01 09:47:53