0.00/0.02 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.02 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.02 c
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c reading problem <HOME/instance-4488872-1751348876.opb>
0.00/0.03 c original problem has 1968 variables (1968 bin, 0 int, 0 impl, 0 cont) and 4000 constraints
0.00/0.03 c problem read in 0.01
0.00/0.03 o 1968
0.00/0.03 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 1.968000e+03
0.00/0.03 c presolving:
0.00/0.04 c (round 1, fast) 148 del vars, 148 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3851 clqs
0.00/0.04 c (round 2, fast) 313 del vars, 702 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3297 clqs
0.00/0.04 c (round 3, fast) 368 del vars, 825 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3174 clqs
0.00/0.04 c (round 4, fast) 408 del vars, 947 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3052 clqs
0.00/0.04 c (round 5, fast) 427 del vars, 988 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3011 clqs
0.00/0.04 c (round 6, fast) 436 del vars, 1018 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2981 clqs
0.00/0.04 c (round 7, fast) 440 del vars, 1033 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2966 clqs
0.00/0.04 c (round 8, fast) 441 del vars, 1038 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2961 clqs
0.00/0.05 c (0.0s) running MILP presolver
0.00/0.05 c (0.0s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.00/0.06 c (round 9, exhaustive) 441 del vars, 1039 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2961 upgd conss, 0 impls, 2961 clqs
0.00/0.08 c (0.1s) probing: 51/1527 (3.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.08 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.08 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.08 c (0.1s) no symmetry present (symcode time: 0.00)
0.00/0.08 c presolving (10 rounds: 10 fast, 2 medium, 2 exhaustive):
0.00/0.08 c 441 deleted vars, 1039 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.08 c 0 implications, 2961 cliques
0.00/0.08 c presolved problem has 1527 variables (1527 bin, 0 int, 0 impl, 0 cont) and 2961 constraints
0.00/0.08 c 2961 constraints of type <setppc>
0.00/0.08 c transformed objective value is always integral (scale: 1)
0.00/0.08 c Presolving Time: 0.05
0.00/0.08 c - non default parameters ----------------------------------------------------------------------
0.00/0.08 c # SCIP version 10.0.0
0.00/0.08 c
0.00/0.08 c # maximal time in seconds to run
0.00/0.08 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.08 c limits/time = 3596.997012
0.00/0.08 c
0.00/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.08 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.08 c limits/memory = 27900
0.00/0.08 c
0.00/0.08 c # belongs reading time to solving time?
0.00/0.08 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08 c timing/reading = TRUE
0.00/0.08 c
0.00/0.08 c -----------------------------------------------------------------------------------------------
0.00/0.08 c start solving
0.00/0.08 c
0.00/0.09 o 1744
0.00/0.09 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.09 c t 0.1s| 1 | 0 | 0 | - | trivial| 0 |1527 |2961 | 0 | 0 | 0 | 0 | 0 | 2.170000e+02 | 1.744000e+03 | 703.69%| unknown
0.08/0.11 o 1197
0.08/0.11 c p 0.1s| 1 | 0 | 0 | - | clique| 0 |1527 |2961 |2961 | 0 | 0 | 0 | 0 | 2.170000e+02 | 1.197000e+03 | 451.61%| unknown
0.08/0.11 o 1096
0.08/0.11 c p 0.1s| 1 | 0 | 0 | - | locks| 0 |1527 |2961 |2961 | 0 | 0 | 0 | 0 | 2.170000e+02 | 1.096000e+03 | 405.07%| unknown
0.08/0.14 o 1089
0.08/0.14 c i 0.1s| 1 | 0 | 0 | - | oneopt| 0 |1527 |2961 |2961 | 0 | 0 | 0 | 0 | 2.170000e+02 | 1.089000e+03 | 401.84%| unknown
0.08/0.17 c 0.1s| 1 | 0 | 1902 | - | 23M | 0 |1527 |2961 |2961 | 0 | 0 | 0 | 0 | 9.805000e+02 | 1.089000e+03 | 11.07%| unknown
0.38/0.42 c 0.4s| 1 | 0 | 2557 | - | 27M | 0 |1527 |2961 |2985 | 24 | 1 | 0 | 0 | 9.905000e+02 | 1.089000e+03 | 9.94%| unknown
0.67/0.76 c 0.7s| 1 | 0 | 3726 | - | 27M | 0 |1527 |2961 |3007 | 46 | 2 | 0 | 0 | 9.946250e+02 | 1.089000e+03 | 9.49%| unknown
1.07/1.17 c 1.2s| 1 | 0 | 4942 | - | 30M | 0 |1527 |2961 |3028 | 67 | 3 | 0 | 0 | 9.972500e+02 | 1.089000e+03 | 9.20%| unknown
1.77/1.87 c 1.9s| 1 | 0 | 6574 | - | 44M | 0 |1527 |2961 |3050 | 89 | 4 | 0 | 0 | 1.000735e+03 | 1.089000e+03 | 8.82%| unknown
2.56/2.63 c 2.6s| 1 | 0 | 7824 | - | 59M | 0 |1527 |2961 |3067 | 106 | 5 | 0 | 0 | 1.002445e+03 | 1.089000e+03 | 8.63%| unknown
3.27/3.39 c 3.4s| 1 | 0 | 9693 | - | 73M | 0 |1527 |2961 |3083 | 122 | 6 | 0 | 0 | 1.005234e+03 | 1.089000e+03 | 8.33%| unknown
4.26/4.32 c 4.3s| 1 | 0 | 10425 | - | 87M | 0 |1527 |2961 |3093 | 132 | 7 | 0 | 0 | 1.005941e+03 | 1.089000e+03 | 8.26%| unknown
5.56/5.67 c 5.7s| 1 | 0 | 10925 | - | 100M | 0 |1527 |2961 |3096 | 135 | 8 | 0 | 0 | 1.006173e+03 | 1.089000e+03 | 8.23%| unknown
7.06/7.10 c 7.1s| 1 | 0 | 11786 | - | 118M | 0 |1527 |2961 |3100 | 139 | 9 | 0 | 0 | 1.006359e+03 | 1.089000e+03 | 8.21%| unknown
8.45/8.50 c 8.5s| 1 | 0 | 12765 | - | 133M | 0 |1527 |2961 |3102 | 141 | 10 | 0 | 0 | 1.006739e+03 | 1.089000e+03 | 8.17%| unknown
8.65/8.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.65/8.72 c 8.7s| 1 | 0 | 12986 | - | 134M | 0 |1527 |2961 |3104 | 144 | 11 | 0 | 0 | 1.006798e+03 | 1.089000e+03 | 8.16%| unknown
8.85/8.92 c 8.9s| 1 | 0 | 13069 | - | 134M | 0 |1527 |2961 |3107 | 147 | 12 | 0 | 0 | 1.006801e+03 | 1.089000e+03 | 8.16%| unknown
9.05/9.14 c 9.1s| 1 | 0 | 13267 | - | 134M | 0 |1527 |2961 |3109 | 149 | 13 | 0 | 0 | 1.006847e+03 | 1.089000e+03 | 8.16%| unknown
9.25/9.34 c 9.3s| 1 | 0 | 13332 | - | 135M | 0 |1527 |2961 |3111 | 151 | 14 | 0 | 0 | 1.006849e+03 | 1.089000e+03 | 8.16%| unknown
9.45/9.56 c 9.5s| 1 | 0 | 13383 | - | 135M | 0 |1527 |2961 |3113 | 153 | 15 | 0 | 0 | 1.006850e+03 | 1.089000e+03 | 8.16%| unknown
9.75/9.86 c 9.8s| 1 | 0 | 13831 | - | 136M | 0 |1527 |2961 |3114 | 154 | 16 | 0 | 0 | 1.007024e+03 | 1.089000e+03 | 8.14%| unknown
10.05/10.12 c 10.1s| 1 | 0 | 13833 | - | 137M | 0 |1527 |2961 |3091 | 155 | 17 | 0 | 0 | 1.007024e+03 | 1.089000e+03 | 8.14%| unknown
10.24/10.37 c 10.4s| 1 | 0 | 13925 | - | 137M | 0 |1527 |2961 |3093 | 157 | 18 | 0 | 0 | 1.007028e+03 | 1.089000e+03 | 8.14%| unknown
10.54/10.62 c 10.6s| 1 | 0 | 13927 | - | 137M | 0 |1527 |2961 |3094 | 158 | 19 | 0 | 0 | 1.007028e+03 | 1.089000e+03 | 8.14%| unknown
10.74/10.90 c 10.9s| 1 | 0 | 14152 | - | 137M | 0 |1527 |2961 |3096 | 160 | 20 | 0 | 0 | 1.007088e+03 | 1.089000e+03 | 8.13%| unknown
11.05/11.13 c 11.1s| 1 | 0 | 14153 | - | 137M | 0 |1527 |2961 |3097 | 161 | 21 | 0 | 0 | 1.007088e+03 | 1.089000e+03 | 8.13%| unknown
13.44/13.58 c 13.6s| 1 | 2 | 14156 | - | 137M | 0 |1527 |2961 |3097 | 161 | 22 | 0 | 19 | 1.007561e+03 | 1.089000e+03 | 8.08%| unknown
29.80/30.00 o 1064
29.80/30.00 c d30.0s| 15 | 16 | 28410 |1018.4 |pscostdi| 14 |1527 |2961 |3127 | 0 | 1 | 0 | 181 | 1.007877e+03 | 1.064000e+03 | 5.57%| unknown
33.28/33.42 o 1062
33.28/33.42 c d33.4s| 27 | 28 | 42076 |1074.0 |adaptive| 14 |1527 |2961 |3129 | 0 | 1 | 0 | 197 | 1.008596e+03 | 1.062000e+03 | 5.29%| unknown
37.68/37.86 c 37.8s| 100 | 69 | 50749 | 369.7 | 160M | 62 |1527 |2961 |3157 | 277 | 0 | 0 | 197 | 1.008596e+03 | 1.062000e+03 | 5.29%| unknown
48.05/48.20 o 1061
48.05/48.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
48.05/48.20 c *48.2s| 184 | 95 | 84091 | 382.2 | LP | 62 |1527 |2980 |3157 | 413 | 1 | 19 | 211 | 1.009626e+03 | 1.061000e+03 | 5.09%| unknown
49.75/49.95 c 49.9s| 200 | 103 | 92037 | 391.4 | 188M | 62 |1527 |2982 |3157 | 413 | 0 | 21 | 218 | 1.009815e+03 | 1.061000e+03 | 5.07%| unknown
49.75/49.96 o 1060
49.75/49.96 c *49.9s| 202 | 99 | 92089 | 387.7 | LP | 62 |1527 |2982 |3157 | 413 | 1 | 21 | 218 | 1.009815e+03 | 1.060000e+03 | 4.97%| unknown
49.95/50.17 o 1059
49.95/50.17 c *50.2s| 231 | 97 | 93058 | 343.1 | LP | 62 |1527 |2982 |3157 | 413 | 1 | 21 | 218 | 1.009815e+03 | 1.059000e+03 | 4.87%| unknown
50.04/50.26 o 1058
50.04/50.26 c *50.2s| 238 | 98 | 93477 | 334.7 | LP | 62 |1527 |2982 |3158 | 414 | 3 | 21 | 218 | 1.009815e+03 | 1.058000e+03 | 4.77%| unknown
50.34/50.55 o 1057
50.34/50.55 c *50.5s| 270 | 94 | 95018 | 300.6 | LP | 62 |1527 |2993 |3157 | 415 | 1 | 32 | 218 | 1.009815e+03 | 1.057000e+03 | 4.67%| unknown
55.63/55.86 o 1056
55.63/55.86 c *55.8s| 296 | 107 |130531 | 394.5 | LP | 62 |1527 |3001 |3157 | 415 | 1 | 40 | 229 | 1.010103e+03 | 1.056000e+03 | 4.54%| unknown
55.73/55.90 c 55.9s| 300 | 109 |130748 | 389.9 | 188M | 62 |1527 |3001 |3157 | 415 | 1 | 40 | 229 | 1.010103e+03 | 1.056000e+03 | 4.54%| unknown
55.73/55.91 o 1055
55.73/55.91 c *55.9s| 301 | 107 |130792 | 388.8 | LP | 62 |1527 |3001 |3157 | 415 | 1 | 40 | 229 | 1.010103e+03 | 1.055000e+03 | 4.44%| unknown
55.73/55.91 o 1054
55.73/55.91 c *55.9s| 302 | 106 |130844 | 387.7 | LP | 62 |1527 |3001 |3157 | 415 | 1 | 40 | 229 | 1.010103e+03 | 1.054000e+03 | 4.35%| unknown
62.62/62.85 o 1053
62.62/62.85 c *62.8s| 378 | 106 |139586 | 332.7 | LP | 62 |1527 |3053 |3167 | 465 | 1 | 92 | 255 | 1.010103e+03 | 1.053000e+03 | 4.25%| unknown
67.71/67.95 c 67.9s| 400 | 106 |144232 | 326.0 | 226M | 62 |1527 |3064 |3172 | 536 | 2 | 103 | 255 | 1.010103e+03 | 1.053000e+03 | 4.25%| unknown
82.66/82.96 c 82.9s| 500 | 110 |170408 | 313.1 | 240M | 62 |1527 |3108 |3186 | 705 | 0 | 147 | 285 | 1.010242e+03 | 1.053000e+03 | 4.23%| unknown
99.82/100.16 o 1052
99.82/100.16 c L 100s| 578 | 130 |215289 | 348.6 |crossove| 62 |1527 |3144 |3189 | 979 | 0 | 183 | 313 | 1.010710e+03 | 1.052000e+03 | 4.09%| unknown
100.52/100.81 o 1051
100.52/100.81 c * 101s| 590 | 132 |216741 | 344.0 | LP | 62 |1527 |3144 |3161 | 989 | 2 | 183 | 313 | 1.010710e+03 | 1.051000e+03 | 3.99%| unknown
103.11/103.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
103.11/103.47 c 103s| 600 | 138 |229830 | 360.1 | 271M | 62 |1527 |3166 |3163 |1078 | 0 | 205 | 313 | 1.011089e+03 | 1.051000e+03 | 3.95%| unknown
110.89/111.26 o 1050
110.89/111.26 c * 111s| 635 | 150 |256623 | 382.4 | LP | 62 |1527 |3189 |3171 |1246 | 2 | 228 | 327 | 1.011506e+03 | 1.050000e+03 | 3.81%| unknown
112.39/112.71 c 113s| 700 | 145 |268052 | 363.2 | 289M | 62 |1527 |3212 |3173 |1301 | 1 | 251 | 332 | 1.011506e+03 | 1.050000e+03 | 3.81%| unknown
118.98/119.32 c 119s| 800 | 161 |298125 | 355.4 | 298M | 62 |1527 |3292 |3177 |1428 | 1 | 331 | 363 | 1.011704e+03 | 1.050000e+03 | 3.79%| unknown
130.85/131.26 c 131s| 900 | 181 |334463 | 356.3 | 308M | 62 |1527 |3309 |3172 |1662 | 1 | 348 | 394 | 1.012016e+03 | 1.050000e+03 | 3.75%| unknown
137.23/137.62 o 1049
137.23/137.62 c d 138s| 957 | 185 |354248 | 355.7 |guideddi| 62 |1527 |3309 |3218 | 0 | 1 | 348 | 407 | 1.012107e+03 | 1.049000e+03 | 3.65%| unknown
138.13/138.50 c 138s| 1000 | 186 |360515 | 346.7 | 310M | 62 |1527 |3309 |3162 |1864 | 0 | 348 | 407 | 1.012107e+03 | 1.049000e+03 | 3.65%| unknown
157.38/157.85 c 158s| 1100 | 214 |434810 | 382.8 | 312M | 62 |1527 |3339 |3183 |2227 | 0 | 378 | 446 | 1.012374e+03 | 1.049000e+03 | 3.62%| unknown
177.73/178.23 c 178s| 1200 | 244 |502985 | 407.7 | 317M | 62 |1527 |3434 |3190 |2735 | 0 | 479 | 490 | 1.012795e+03 | 1.049000e+03 | 3.57%| unknown
194.09/194.65 c 195s| 1300 | 270 |562293 | 422.0 | 321M | 62 |1527 |3526 |3172 |3171 | 1 | 590 | 540 | 1.013215e+03 | 1.049000e+03 | 3.53%| unknown
200.97/201.52 c 201s| 1400 | 270 |589672 | 411.4 | 320M | 62 |1527 |3536 |3161 |3406 | 1 | 601 | 553 | 1.013399e+03 | 1.049000e+03 | 3.51%| unknown
206.95/207.56 c 208s| 1500 | 274 |616832 | 402.1 | 322M | 62 |1527 |3550 |3186 |3615 | 0 | 620 | 577 | 1.013408e+03 | 1.049000e+03 | 3.51%| unknown
217.72/218.35 c 218s| 1600 | 290 |655162 | 400.9 | 323M | 62 |1527 |3571 |3194 |3889 | 2 | 647 | 603 | 1.013745e+03 | 1.049000e+03 | 3.48%| unknown
220.32/220.97 c 221s| 1700 | 288 |670008 | 386.0 | 323M | 62 |1527 |3612 |3194 |3932 | 0 | 699 | 633 | 1.013745e+03 | 1.049000e+03 | 3.48%| unknown
231.60/232.27 c 232s| 1800 | 304 |711149 | 387.4 | 325M | 62 |1527 |3622 |3191 |4246 | 0 | 710 | 671 | 1.013776e+03 | 1.049000e+03 | 3.47%| unknown
242.27/242.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
242.27/242.96 c 243s| 1900 | 320 |749464 | 387.2 | 325M | 62 |1527 |3622 |3205 |4508 | 1 | 713 | 686 | 1.013789e+03 | 1.049000e+03 | 3.47%| unknown
250.64/251.38 c 251s| 2000 | 326 |779803 | 383.0 | 326M | 62 |1527 |3664 |3209 |4674 | 1 | 763 | 719 | 1.013812e+03 | 1.049000e+03 | 3.47%| unknown
253.83/254.55 c 255s| 2100 | 326 |798909 | 373.9 | 326M | 62 |1527 |3730 |3193 |4720 | 1 | 844 | 750 | 1.013812e+03 | 1.049000e+03 | 3.47%| unknown
269.88/270.63 c 271s| 2200 | 346 |854894 | 382.3 | 327M | 62 |1527 |3770 |3198 |5104 | 1 | 895 | 790 | 1.013991e+03 | 1.049000e+03 | 3.45%| unknown
277.66/278.43 c 278s| 2300 | 352 |886541 | 379.5 | 327M | 62 |1527 |3819 |3200 |5277 | 0 | 952 | 822 | 1.014080e+03 | 1.049000e+03 | 3.44%| unknown
280.55/281.35 c 281s| 2400 | 352 |904571 | 371.2 | 328M | 62 |1527 |3912 |3206 |5338 | 0 |1059 | 851 | 1.014080e+03 | 1.049000e+03 | 3.44%| unknown
297.20/298.09 o 1048
297.20/298.09 c d 298s| 2467 | 372 |979080 | 391.3 |pscostdi| 62 |1527 |3912 |3210 | 0 | 1 |1059 | 876 | 1.014259e+03 | 1.048000e+03 | 3.33%| unknown
298.09/298.98 c 299s| 2500 | 373 |986444 | 389.1 | 329M | 62 |1527 |3912 |3190 |5713 | 1 |1059 | 876 | 1.014259e+03 | 1.048000e+03 | 3.33%| unknown
301.38/302.26 c 302s| 2600 | 373 | 1004k| 381.2 | 329M | 62 |1527 |3941 |3190 |5734 | 1 |1095 | 899 | 1.014259e+03 | 1.048000e+03 | 3.33%| unknown
308.96/309.82 c 310s| 2700 | 379 | 1033k| 377.7 | 327M | 62 |1527 |3969 |3205 |5928 | 0 |1132 | 922 | 1.014323e+03 | 1.048000e+03 | 3.32%| unknown
319.23/320.11 c 320s| 2800 | 393 | 1069k| 377.2 | 329M | 62 |1527 |3989 |3207 |6197 | 0 |1157 | 949 | 1.014341e+03 | 1.048000e+03 | 3.32%| unknown
325.01/325.94 c 326s| 2900 | 401 | 1097k| 373.8 | 330M | 62 |1527 |3999 |3207 |6326 | 0 |1169 | 962 | 1.014349e+03 | 1.048000e+03 | 3.32%| unknown
336.27/337.27 c 337s| 3000 | 413 | 1142k| 376.3 | 330M | 62 |1527 |4018 |3200 |6618 | 1 |1195 | 983 | 1.014580e+03 | 1.048000e+03 | 3.29%| unknown
354.02/355.05 c 355s| 3100 | 435 | 1201k| 383.1 | 332M | 62 |1527 |4099 |3190 |7028 | 1 |1289 |1040 | 1.014621e+03 | 1.048000e+03 | 3.29%| unknown
356.60/357.66 c 358s| 3200 | 433 | 1218k| 376.4 | 332M | 62 |1527 |4127 |3205 |7081 | 0 |1324 |1056 | 1.014621e+03 | 1.048000e+03 | 3.29%| unknown
364.18/365.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
364.18/365.21 c 365s| 3300 | 443 | 1251k| 375.0 | 332M | 62 |1527 |4147 |3201 |7290 | 0 |1347 |1078 | 1.014674e+03 | 1.048000e+03 | 3.28%| unknown
375.95/377.09 c 377s| 3400 | 455 | 1293k| 376.4 | 333M | 62 |1527 |4147 |3206 |7594 | 0 |1351 |1110 | 1.014743e+03 | 1.048000e+03 | 3.28%| unknown
378.83/379.93 c 380s| 3500 | 457 | 1312k| 371.2 | 333M | 62 |1527 |4147 |3195 |7660 | 1 |1351 |1122 | 1.014743e+03 | 1.048000e+03 | 3.28%| unknown
385.21/386.39 c 386s| 3600 | 465 | 1344k| 369.7 | 332M | 62 |1527 |4164 |3209 |7824 | 0 |1373 |1144 | 1.014857e+03 | 1.048000e+03 | 3.27%| unknown
391.10/392.21 c 392s| 3700 | 469 | 1369k| 366.5 | 332M | 62 |1527 |4164 |3212 |7996 | 0 |1373 |1162 | 1.014883e+03 | 1.048000e+03 | 3.26%| unknown
402.46/403.68 c 404s| 3800 | 485 | 1418k| 369.7 | 333M | 62 |1527 |4184 |3204 |8285 | 1 |1397 |1183 | 1.014956e+03 | 1.048000e+03 | 3.26%| unknown
409.14/410.35 c 410s| 3900 | 491 | 1449k| 368.2 | 333M | 62 |1527 |4194 |3216 |8477 | 1 |1410 |1204 | 1.014995e+03 | 1.048000e+03 | 3.25%| unknown
416.42/417.63 c 418s| 4000 | 499 | 1483k| 367.5 | 334M | 62 |1527 |4256 |3205 |8623 | 1 |1488 |1241 | 1.015010e+03 | 1.048000e+03 | 3.25%| unknown
433.96/435.24 c 435s| 4100 | 513 | 1558k| 376.9 | 335M | 62 |1527 |4288 |3225 |8992 | 2 |1532 |1280 | 1.015166e+03 | 1.048000e+03 | 3.23%| unknown
440.34/441.64 c 442s| 4200 | 521 | 1590k| 375.4 | 335M | 62 |1527 |4308 |3221 |9168 | 1 |1555 |1298 | 1.015200e+03 | 1.048000e+03 | 3.23%| unknown
451.60/452.91 c 453s| 4300 | 533 | 1630k| 376.1 | 335M | 62 |1527 |4328 |3223 |9453 | 0 |1578 |1330 | 1.015205e+03 | 1.048000e+03 | 3.23%| unknown
463.87/465.27 c 465s| 4400 | 545 | 1676k| 377.9 | 337M | 62 |1527 |4327 |3202 |9831 | 0 |1580 |1355 | 1.015364e+03 | 1.048000e+03 | 3.21%| unknown
466.56/468.00 c 468s| 4500 | 545 | 1693k| 373.3 | 337M | 62 |1527 |4368 |3203 |9863 | 0 |1625 |1372 | 1.015364e+03 | 1.048000e+03 | 3.21%| unknown
469.95/471.39 c 471s| 4600 | 547 | 1710k| 369.0 | 337M | 62 |1527 |4413 |3203 |9886 | 1 |1679 |1405 | 1.015364e+03 | 1.048000e+03 | 3.21%| unknown
482.21/483.64 c 484s| 4700 | 561 | 1752k| 370.0 | 338M | 62 |1527 |4427 |3205 | 10k| 1 |1697 |1422 | 1.015469e+03 | 1.048000e+03 | 3.20%| unknown
489.69/491.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
489.69/491.19 c 491s| 4800 | 567 | 1781k| 368.3 | 339M | 62 |1527 |4460 |3209 | 10k| 1 |1738 |1444 | 1.015471e+03 | 1.048000e+03 | 3.20%| unknown
498.86/500.32 c 500s| 4900 | 581 | 1822k| 369.1 | 339M | 62 |1527 |4562 |3213 | 10k| 1 |1862 |1490 | 1.015520e+03 | 1.048000e+03 | 3.20%| unknown
501.65/503.13 c 503s| 5000 | 585 | 1841k| 365.4 | 339M | 62 |1527 |4614 |3212 | 10k| 1 |1925 |1512 | 1.015520e+03 | 1.048000e+03 | 3.20%| unknown
511.81/513.34 c 513s| 5100 | 587 | 1874k| 364.8 | 340M | 62 |1527 |4666 |3207 | 10k| 1 |1997 |1550 | 1.015580e+03 | 1.048000e+03 | 3.19%| unknown
521.98/523.53 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
521.98/523.57 c (run 1, node 5196) performing user restart
521.98/523.57 c
521.98/523.57 c (restart) converted 245 cuts from the global cut pool into linear constraints
521.98/523.57 c
522.38/523.93 c presolving:
522.38/523.94 c (round 1, fast) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 5238 chg sides, 5568 chg coeffs, 0 upgd conss, 0 impls, 2969 clqs
522.38/523.96 c (round 2, exhaustive) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 5238 chg sides, 5568 chg coeffs, 254 upgd conss, 0 impls, 2969 clqs
522.48/524.04 c (round 3, exhaustive) 0 del vars, 91 del conss, 0 add conss, 0 chg bounds, 5238 chg sides, 5799 chg coeffs, 254 upgd conss, 0 impls, 2969 clqs
522.58/524.11 c (round 4, exhaustive) 0 del vars, 133 del conss, 0 add conss, 0 chg bounds, 5238 chg sides, 5799 chg coeffs, 254 upgd conss, 0 impls, 2969 clqs
522.58/524.13 c (round 5, exhaustive) 0 del vars, 133 del conss, 0 add conss, 0 chg bounds, 5238 chg sides, 6030 chg coeffs, 254 upgd conss, 0 impls, 2969 clqs
522.68/524.22 c presolving (6 rounds: 6 fast, 5 medium, 5 exhaustive):
522.68/524.22 c 0 deleted vars, 133 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 5238 changed sides, 6032 changed coefficients
522.68/524.22 c 0 implications, 2969 cliques
522.68/524.22 c presolved problem has 1527 variables (1527 bin, 0 int, 0 impl, 0 cont) and 4839 constraints
522.68/524.22 c 233 constraints of type <knapsack>
522.68/524.22 c 2969 constraints of type <setppc>
522.68/524.22 c 66 constraints of type <linear>
522.68/524.22 c 1571 constraints of type <logicor>
522.68/524.22 c transformed objective value is always integral (scale: 1)
522.68/524.22 c Presolving Time: 0.37
522.68/524.28 c transformed 100/100 original solutions to the transformed problem space
522.68/524.28 c
523.68/525.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
523.68/525.20 c 525s| 1 | 0 | 1930k| - | 320M | 0 |1527 |4839 |3206 | 0 | 0 |2086 |1593 | 1.015660e+03 | 1.048000e+03 | 3.18%| unknown
524.07/525.68 c 526s| 1 | 0 | 1930k| - | 320M | 0 |1527 |4839 |3207 | 1 | 1 |2086 |1593 | 1.015660e+03 | 1.048000e+03 | 3.18%| unknown
524.58/526.16 c 526s| 1 | 0 | 1930k| - | 320M | 0 |1527 |4839 |3208 | 2 | 2 |2086 |1593 | 1.015660e+03 | 1.048000e+03 | 3.18%| unknown
525.47/527.00 c 527s| 1 | 2 | 1932k| - | 320M | 0 |1527 |4841 |3208 | 2 | 3 |2088 |1594 | 1.015660e+03 | 1.048000e+03 | 3.18%| unknown
538.03/539.67 c 540s| 100 | 53 | 1987k| 371.1 | 330M | 37 |1527 |5069 |3151 | 19 | 1 |2344 |1655 | 1.015660e+03 | 1.048000e+03 | 3.18%| unknown
543.42/545.05 c 545s| 200 | 63 | 2021k| 370.5 | 330M | 40 |1527 |5252 |3151 | 19 | 0 |2573 |1713 | 1.015660e+03 | 1.048000e+03 | 3.18%| unknown
548.10/549.76 o 1046
548.10/549.76 c o 550s| 215 | 66 | 2048k| 374.5 |objpscos| 40 |1527 |5294 |3143 | 21 | 1 |2625 |1727 | 1.016497e+03 | 1.046000e+03 | 2.90%| unknown
553.08/554.79 c 555s| 300 | 68 | 2072k| 373.2 | 334M | 40 |1527 |5294 |3153 | 29 | 0 |2625 |1739 | 1.016552e+03 | 1.046000e+03 | 2.90%| unknown
557.27/558.99 c 559s| 400 | 76 | 2100k| 371.4 | 334M | 40 |1527 |5407 |3152 | 31 | 0 |2761 |1774 | 1.016620e+03 | 1.046000e+03 | 2.89%| unknown
562.45/564.19 c 564s| 500 | 80 | 2132k| 370.5 | 334M | 40 |1527 |5745 |3153 | 33 | 0 |3185 |1865 | 1.016620e+03 | 1.046000e+03 | 2.89%| unknown
567.14/568.80 c 569s| 600 | 86 | 2160k| 368.9 | 334M | 40 |1527 |5917 |3153 | 33 | 0 |3404 |1925 | 1.017003e+03 | 1.046000e+03 | 2.85%| unknown
577.41/579.12 c 579s| 700 | 92 | 2201k| 369.7 | 338M | 40 |1527 |6155 |3159 | 68 | 1 |3710 |2004 | 1.017155e+03 | 1.046000e+03 | 2.84%| unknown
581.89/583.60 c 584s| 800 | 94 | 2228k| 368.0 | 338M | 40 |1527 |6288 |3167 | 82 | 1 |3891 |2058 | 1.017155e+03 | 1.046000e+03 | 2.84%| unknown
588.48/590.28 c 590s| 900 | 100 | 2261k| 367.5 | 341M | 41 |1527 |6484 |3169 | 94 | 1 |4140 |2120 | 1.017166e+03 | 1.046000e+03 | 2.83%| unknown
595.85/597.65 c 598s| 1000 | 96 | 2289k| 366.0 | 354M | 42 |1527 |6632 |3163 | 102 | 1 |4342 |2182 | 1.017166e+03 | 1.046000e+03 | 2.83%| unknown
606.42/608.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
606.42/608.27 c 608s| 1100 | 118 | 2335k| 367.5 | 355M | 42 |1527 |6665 |3169 | 155 | 0 |4394 |2217 | 1.017718e+03 | 1.046000e+03 | 2.78%| unknown
610.80/612.63 c 613s| 1200 | 118 | 2357k| 365.2 | 355M | 42 |1527 |6783 |3168 | 170 | 1 |4540 |2250 | 1.017718e+03 | 1.046000e+03 | 2.78%| unknown
622.66/624.53 c 625s| 1300 | 128 | 2402k| 366.4 | 358M | 42 |1527 |6971 |3178 | 239 | 0 |4779 |2322 | 1.017869e+03 | 1.046000e+03 | 2.76%| unknown
632.53/634.41 c 634s| 1400 | 140 | 2439k| 366.6 | 358M | 42 |1527 |7091 |3183 | 292 | 0 |4925 |2371 | 1.017955e+03 | 1.046000e+03 | 2.76%| unknown
641.50/643.44 c 643s| 1500 | 144 | 2474k| 366.3 | 381M | 42 |1527 |7248 |3187 | 357 | 1 |5121 |2417 | 1.018033e+03 | 1.046000e+03 | 2.75%| unknown
650.67/652.63 c 653s| 1600 | 148 | 2509k| 366.1 | 395M | 42 |1527 |7381 |3197 | 394 | 0 |5295 |2465 | 1.018235e+03 | 1.046000e+03 | 2.73%| unknown
661.83/663.88 c 664s| 1700 | 162 | 2551k| 366.9 | 396M | 43 |1527 |7417 |3205 | 447 | 1 |5346 |2504 | 1.018427e+03 | 1.046000e+03 | 2.71%| unknown
671.70/673.77 c 674s| 1800 | 172 | 2596k| 368.0 | 409M | 44 |1527 |7550 |3200 | 488 | 1 |5525 |2557 | 1.018627e+03 | 1.046000e+03 | 2.69%| unknown
682.08/684.14 c 684s| 1900 | 184 | 2641k| 369.2 | 452M | 47 |1527 |7678 |3204 | 527 | 1 |5685 |2594 | 1.018771e+03 | 1.046000e+03 | 2.67%| unknown
694.43/696.58 c 697s| 2000 | 186 | 2682k| 369.8 | 482M | 47 |1527 |7803 |3222 | 612 | 1 |5857 |2637 | 1.018877e+03 | 1.046000e+03 | 2.66%| unknown
709.39/711.56 c 712s| 2100 | 214 | 2737k| 372.2 | 497M | 47 |1527 |7852 |3185 | 739 | 0 |5968 |2699 | 1.019002e+03 | 1.046000e+03 | 2.65%| unknown
716.18/718.37 c 718s| 2200 | 222 | 2772k| 371.9 | 498M | 47 |1527 |7861 |3182 | 786 | 0 |6019 |2713 | 1.019060e+03 | 1.046000e+03 | 2.64%| unknown
727.55/729.73 c 730s| 2300 | 232 | 2809k| 371.9 | 496M | 47 |1527 |7867 |3189 | 889 | 1 |6069 |2745 | 1.019228e+03 | 1.046000e+03 | 2.63%| unknown
735.63/737.85 c 738s| 2400 | 242 | 2846k| 371.9 | 474M | 47 |1527 |7897 |3186 | 951 | 1 |6144 |2777 | 1.019401e+03 | 1.046000e+03 | 2.61%| unknown
738.42/740.65 c 741s| 2500 | 244 | 2868k| 369.9 | 465M | 47 |1527 |7917 |3186 | 958 | 1 |6172 |2785 | 1.019401e+03 | 1.046000e+03 | 2.61%| unknown
750.39/752.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
750.39/752.65 c 753s| 2600 | 254 | 2908k| 370.3 | 452M | 47 |1527 |7958 |3191 |1086 | 0 |6273 |2842 | 1.019463e+03 | 1.046000e+03 | 2.60%| unknown
754.08/756.38 c 756s| 2700 | 250 | 2931k| 368.5 | 452M | 47 |1527 |8092 |3188 |1107 | 1 |6435 |2876 | 1.019463e+03 | 1.046000e+03 | 2.60%| unknown
765.86/768.18 c 768s| 2800 | 266 | 2979k| 369.9 | 452M | 47 |1527 |8135 |3187 |1269 | 1 |6552 |2910 | 1.019524e+03 | 1.046000e+03 | 2.60%| unknown
772.44/774.72 c 775s| 2900 | 276 | 3016k| 369.9 | 452M | 47 |1527 |8262 |3185 |1319 | 0 |6773 |2950 | 1.019572e+03 | 1.046000e+03 | 2.59%| unknown
780.42/782.77 c 783s| 3000 | 278 | 3049k| 369.4 | 452M | 47 |1527 |8355 |3189 |1383 | 0 |6957 |3008 | 1.019599e+03 | 1.046000e+03 | 2.59%| unknown
783.81/786.14 c 786s| 3100 | 282 | 3075k| 368.1 | 452M | 47 |1527 |8387 |3186 |1397 | 0 |7024 |3019 | 1.019671e+03 | 1.046000e+03 | 2.58%| unknown
797.28/799.68 c 800s| 3200 | 288 | 3145k| 372.1 | 452M | 47 |1527 |8404 |3188 |1464 | 1 |7086 |3060 | 1.019703e+03 | 1.046000e+03 | 2.58%| unknown
803.36/805.76 c 806s| 3300 | 302 | 3186k| 372.4 | 452M | 47 |1527 |8395 |3191 |1526 | 0 |7161 |3085 | 1.019714e+03 | 1.046000e+03 | 2.58%| unknown
810.74/813.11 c 813s| 3400 | 308 | 3219k| 372.0 | 452M | 47 |1527 |8520 |3191 |1586 | 1 |7379 |3135 | 1.019743e+03 | 1.046000e+03 | 2.57%| unknown
816.92/819.30 c 819s| 3500 | 312 | 3253k| 371.6 | 452M | 47 |1527 |8575 |3194 |1653 | 0 |7505 |3174 | 1.019753e+03 | 1.046000e+03 | 2.57%| unknown
827.00/829.47 c 829s| 3600 | 318 | 3291k| 371.7 | 452M | 47 |1527 |8557 |3189 |1730 | 0 |7676 |3238 | 1.019779e+03 | 1.046000e+03 | 2.57%| unknown
836.37/838.85 c 839s| 3700 | 322 | 3331k| 372.0 | 453M | 47 |1527 |8554 |3190 |1849 | 1 |7760 |3263 | 1.019797e+03 | 1.046000e+03 | 2.57%| unknown
844.95/847.49 c 847s| 3800 | 336 | 3378k| 373.1 | 453M | 47 |1527 |8533 |3189 |1976 | 0 |7865 |3283 | 1.019813e+03 | 1.046000e+03 | 2.57%| unknown
848.34/850.81 c 851s| 3900 | 340 | 3407k| 372.2 | 453M | 47 |1527 |8526 |3186 |1985 | 1 |7904 |3286 | 1.019823e+03 | 1.046000e+03 | 2.57%| unknown
851.14/853.63 c 854s| 4000 | 342 | 3429k| 370.6 | 453M | 47 |1527 |8562 |3186 |1990 | 1 |7950 |3297 | 1.019823e+03 | 1.046000e+03 | 2.57%| unknown
853.43/855.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
853.43/855.95 c 856s| 4100 | 342 | 3449k| 368.7 | 453M | 47 |1527 |8560 |3187 |1997 | 1 |7958 |3301 | 1.019823e+03 | 1.046000e+03 | 2.57%| unknown
856.42/858.90 c 859s| 4200 | 342 | 3472k| 367.3 | 453M | 47 |1527 |8612 |3188 |2002 | 0 |8023 |3313 | 1.019823e+03 | 1.046000e+03 | 2.57%| unknown
861.51/864.06 c 864s| 4300 | 346 | 3504k| 366.7 | 453M | 47 |1527 |8582 |3186 |2071 | 0 |8067 |3323 | 1.019838e+03 | 1.046000e+03 | 2.57%| unknown
864.30/866.82 c 867s| 4400 | 346 | 3526k| 365.3 | 453M | 47 |1527 |8590 |3186 |2076 | 1 |8086 |3330 | 1.019838e+03 | 1.046000e+03 | 2.57%| unknown
868.69/871.27 c 871s| 4500 | 360 | 3559k| 364.9 | 453M | 47 |1527 |8461 |3190 |2081 | 2 |8103 |3338 | 1.019869e+03 | 1.046000e+03 | 2.56%| unknown
874.68/877.20 c 877s| 4600 | 364 | 3591k| 364.3 | 453M | 47 |1527 |8451 |3190 |2134 | 1 |8173 |3352 | 1.019936e+03 | 1.046000e+03 | 2.56%| unknown
879.67/882.28 c 882s| 4700 | 368 | 3619k| 363.6 | 453M | 47 |1527 |8428 |3190 |2196 | 0 |8282 |3375 | 1.019960e+03 | 1.046000e+03 | 2.55%| unknown
886.45/889.10 c 889s| 4800 | 378 | 3655k| 363.5 | 453M | 47 |1527 |8300 |3192 |2266 | 1 |8332 |3391 | 1.020006e+03 | 1.046000e+03 | 2.55%| unknown
901.31/903.92 c 904s| 4900 | 390 | 3707k| 365.0 | 453M | 47 |1527 |8189 |3187 |2401 | 0 |8547 |3480 | 1.020069e+03 | 1.046000e+03 | 2.54%| unknown
906.60/909.29 c 909s| 5000 | 404 | 3741k| 364.8 | 453M | 47 |1527 |8109 |3192 |2454 | 2 |8584 |3489 | 1.020095e+03 | 1.046000e+03 | 2.54%| unknown
908.99/911.68 c 912s| 5100 | 402 | 3761k| 363.3 | 453M | 47 |1527 |8124 |3192 |2465 | 0 |8613 |3497 | 1.020095e+03 | 1.046000e+03 | 2.54%| unknown
911.59/914.26 c 914s| 5200 | 402 | 3783k| 361.9 | 453M | 47 |1527 |8179 |3192 |2468 | 1 |8699 |3516 | 1.020095e+03 | 1.046000e+03 | 2.54%| unknown
917.77/920.47 c 920s| 5300 | 406 | 3818k| 361.7 | 453M | 47 |1527 |8125 |3192 |2536 | 1 |8771 |3540 | 1.020114e+03 | 1.046000e+03 | 2.54%| unknown
921.26/923.97 c 924s| 5400 | 404 | 3845k| 360.8 | 453M | 47 |1527 |8275 |3193 |2546 | 1 |8977 |3587 | 1.020114e+03 | 1.046000e+03 | 2.54%| unknown
929.45/932.15 c 932s| 5500 | 424 | 3891k| 361.8 | 453M | 47 |1527 |8013 |3190 |2663 | 1 |9056 |3599 | 1.020274e+03 | 1.046000e+03 | 2.52%| unknown
937.22/939.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
937.22/939.93 c 940s| 5600 | 428 | 3921k| 361.2 | 453M | 47 |1527 |7931 |3191 |2716 | 1 |9173 |3666 | 1.020369e+03 | 1.046000e+03 | 2.51%| unknown
941.42/944.16 c 944s| 5700 | 432 | 3948k| 360.4 | 453M | 47 |1527 |7947 |3192 |2724 | 0 |9259 |3699 | 1.020370e+03 | 1.046000e+03 | 2.51%| unknown
944.70/947.42 c 947s| 5800 | 440 | 3970k| 359.1 | 453M | 47 |1527 |7854 |3194 |2737 | 2 |9281 |3711 | 1.020435e+03 | 1.046000e+03 | 2.51%| unknown
950.79/953.59 c 954s| 5900 | 444 | 3999k| 358.5 | 453M | 47 |1527 |7803 |3193 |2818 | 0 |9326 |3728 | 1.020436e+03 | 1.046000e+03 | 2.51%| unknown
957.77/960.53 c 961s| 6000 | 448 | 4054k| 360.2 | 453M | 47 |1527 |7780 |3192 |2825 | 1 |9370 |3734 | 1.020459e+03 | 1.046000e+03 | 2.50%| unknown
960.47/963.26 c 963s| 6100 | 448 | 4078k| 359.1 | 453M | 47 |1527 |7826 |3190 |2832 | 0 |9453 |3745 | 1.020459e+03 | 1.046000e+03 | 2.50%| unknown
967.05/969.84 c 970s| 6200 | 460 | 4117k| 359.4 | 453M | 47 |1527 |7737 |3192 |2901 | 1 |9530 |3762 | 1.020512e+03 | 1.046000e+03 | 2.50%| unknown
969.94/972.73 c 973s| 6300 | 460 | 4142k| 358.4 | 453M | 47 |1527 |7795 |3191 |2911 | 1 |9615 |3778 | 1.020512e+03 | 1.046000e+03 | 2.50%| unknown
980.02/982.84 c 983s| 6400 | 472 | 4186k| 359.1 | 453M | 47 |1527 |7539 |3191 |3072 | 0 |9620 |3789 | 1.020556e+03 | 1.046000e+03 | 2.49%| unknown
986.90/989.72 c 990s| 6500 | 484 | 4222k| 359.2 | 453M | 47 |1527 |7416 |3196 |3172 | 1 |9666 |3800 | 1.020589e+03 | 1.046000e+03 | 2.49%| unknown
999.37/1002.29 c 1002s| 6600 | 502 | 4282k| 361.2 | 453M | 47 |1527 |7203 |3192 |3354 | 0 |9754 |3813 | 1.020650e+03 | 1.046000e+03 | 2.48%| unknown
1002.46/1005.31 c 1005s| 6700 | 506 | 4308k| 360.3 | 453M | 47 |1527 |7229 |3195 |3383 | 1 |9794 |3822 | 1.020650e+03 | 1.046000e+03 | 2.48%| unknown
1010.94/1013.85 c 1014s| 6800 | 516 | 4349k| 360.8 | 453M | 47 |1527 |7158 |3195 |3507 | 0 |9906 |3839 | 1.020732e+03 | 1.046000e+03 | 2.48%| unknown
1016.23/1019.13 c 1019s| 6900 | 518 | 4382k| 360.5 | 453M | 47 |1527 |7123 |3195 |3568 | 0 |9960 |3848 | 1.020754e+03 | 1.046000e+03 | 2.47%| unknown
1025.81/1028.75 c 1029s| 7000 | 536 | 4434k| 361.8 | 453M | 47 |1527 |6825 |3193 |3736 | 0 |9990 |3859 | 1.020820e+03 | 1.046000e+03 | 2.47%| unknown
1044.56/1047.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1044.56/1047.52 c 1048s| 7100 | 560 | 4535k| 367.1 | 453M | 47 |1527 |6580 |3203 |4010 | 0 | 10k|3867 | 1.020861e+03 | 1.046000e+03 | 2.46%| unknown
1050.55/1053.50 c 1053s| 7200 | 566 | 4574k| 367.2 | 453M | 47 |1527 |6439 |3195 |4089 | 0 | 10k|3872 | 1.020903e+03 | 1.046000e+03 | 2.46%| unknown
1057.73/1060.79 c 1061s| 7300 | 584 | 4616k| 367.7 | 453M | 47 |1527 |6291 |3199 |4182 | 1 | 10k|3875 | 1.020939e+03 | 1.046000e+03 | 2.45%| unknown
1062.72/1065.74 c 1066s| 7400 | 588 | 4645k| 367.1 | 453M | 47 |1527 |6254 |3197 |4246 | 1 | 10k|3875 | 1.020947e+03 | 1.046000e+03 | 2.45%| unknown
1067.91/1070.98 c 1071s| 7500 | 594 | 4679k| 366.9 | 453M | 47 |1527 |6201 |3204 |4330 | 0 | 10k|3875 | 1.020990e+03 | 1.046000e+03 | 2.45%| unknown
1073.20/1076.29 c 1076s| 7600 | 600 | 4710k| 366.4 | 453M | 47 |1527 |6149 |3206 |4410 | 1 | 10k|3879 | 1.021034e+03 | 1.046000e+03 | 2.45%| unknown
1075.49/1078.55 c 1079s| 7700 | 596 | 4731k| 365.2 | 453M | 47 |1527 |6153 |3196 |4420 | 1 | 10k|3880 | 1.021034e+03 | 1.046000e+03 | 2.45%| unknown
1083.77/1086.80 c 1087s| 7800 | 606 | 4774k| 365.7 | 453M | 47 |1527 |6033 |3203 |4566 | 1 | 10k|3885 | 1.021048e+03 | 1.046000e+03 | 2.44%| unknown
1089.66/1092.77 c 1093s| 7900 | 610 | 4809k| 365.6 | 453M | 47 |1527 |5968 |3202 |4659 | 0 | 10k|3887 | 1.021092e+03 | 1.046000e+03 | 2.44%| unknown
1097.04/1100.13 c 1100s| 8000 | 614 | 4844k| 365.4 | 453M | 47 |1527 |5939 |3205 |4741 | 0 | 10k|3910 | 1.021106e+03 | 1.046000e+03 | 2.44%| unknown
1104.22/1107.32 c 1107s| 8100 | 624 | 4887k| 366.0 | 453M | 47 |1527 |5848 |3192 |4853 | 1 | 10k|3934 | 1.021139e+03 | 1.046000e+03 | 2.43%| unknown
1107.92/1111.05 c 1111s| 8200 | 630 | 4919k| 365.6 | 453M | 47 |1527 |5951 |3202 |4890 | 2 | 10k|3954 | 1.021139e+03 | 1.046000e+03 | 2.43%| unknown
1128.46/1131.69 c 1132s| 8300 | 656 | 4983k| 367.6 | 453M | 47 |1527 |5692 |3201 |5211 | 1 | 10k|4014 | 1.021195e+03 | 1.046000e+03 | 2.43%| unknown
1133.95/1137.19 c 1137s| 8400 | 660 | 5016k| 367.3 | 453M | 47 |1527 |5654 |3200 |5288 | 0 | 10k|4028 | 1.021202e+03 | 1.046000e+03 | 2.43%| unknown
1137.64/1140.80 c 1141s| 8500 | 666 | 5041k| 366.5 | 453M | 47 |1527 |5647 |3200 |5296 | 1 | 10k|4048 | 1.021261e+03 | 1.046000e+03 | 2.42%| unknown
1150.71/1153.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1150.71/1153.97 c 1154s| 8600 | 690 | 5093k| 367.6 | 454M | 47 |1527 |5489 |3201 |5499 | 0 | 10k|4092 | 1.021303e+03 | 1.046000e+03 | 2.42%| unknown
1152.70/1155.93 c 1156s| 8700 | 686 | 5110k| 366.2 | 454M | 47 |1527 |5525 |3201 |5515 | 0 | 10k|4104 | 1.021303e+03 | 1.046000e+03 | 2.42%| unknown
1154.80/1158.09 c 1158s| 8800 | 680 | 5131k| 365.0 | 454M | 47 |1527 |5526 |3201 |5531 | 0 | 10k|4106 | 1.021303e+03 | 1.046000e+03 | 2.42%| unknown
1164.67/1167.92 c 1168s| 8900 | 690 | 5197k| 367.1 | 454M | 47 |1527 |5433 |3207 |5631 | 1 | 10k|4107 | 1.021308e+03 | 1.046000e+03 | 2.42%| unknown
1168.17/1171.42 c 1171s| 9000 | 700 | 5227k| 366.7 | 454M | 47 |1527 |5482 |3205 |5660 | 0 | 10k|4122 | 1.021308e+03 | 1.046000e+03 | 2.42%| unknown
1175.85/1179.19 c 1179s| 9100 | 712 | 5266k| 366.9 | 454M | 47 |1527 |5404 |3207 |5726 | 1 | 10k|4150 | 1.021334e+03 | 1.046000e+03 | 2.42%| unknown
1181.03/1184.38 c 1184s| 9200 | 718 | 5300k| 366.7 | 454M | 47 |1527 |5399 |3204 |5810 | 0 | 10k|4168 | 1.021335e+03 | 1.046000e+03 | 2.41%| unknown
1191.31/1194.62 c 1195s| 9300 | 728 | 5336k| 366.6 | 454M | 47 |1527 |5345 |3208 |5933 | 1 | 11k|4218 | 1.021366e+03 | 1.046000e+03 | 2.41%| unknown
1193.20/1196.55 c 1197s| 9400 | 726 | 5354k| 365.3 | 454M | 47 |1527 |5382 |3208 |5946 | 0 | 11k|4225 | 1.021366e+03 | 1.046000e+03 | 2.41%| unknown
1201.08/1204.40 c 1204s| 9500 | 734 | 5383k| 364.9 | 454M | 47 |1527 |5371 |3203 |6034 | 0 | 11k|4255 | 1.021378e+03 | 1.046000e+03 | 2.41%| unknown
1203.88/1207.22 c 1207s| 9600 | 738 | 5408k| 364.1 | 454M | 47 |1527 |5372 |3206 |6060 | 0 | 11k|4262 | 1.021411e+03 | 1.046000e+03 | 2.41%| unknown
1206.37/1209.76 c 1210s| 9700 | 740 | 5431k| 363.2 | 454M | 47 |1527 |5378 |3207 |6081 | 1 | 11k|4266 | 1.021411e+03 | 1.046000e+03 | 2.41%| unknown
1215.55/1218.93 c 1219s| 9800 | 746 | 5472k| 363.4 | 454M | 47 |1527 |5287 |3208 |6227 | 1 | 11k|4291 | 1.021427e+03 | 1.046000e+03 | 2.41%| unknown
1222.83/1226.23 c 1226s| 9900 | 758 | 5514k| 363.8 | 454M | 47 |1527 |5240 |3210 |6304 | 0 | 11k|4305 | 1.021449e+03 | 1.046000e+03 | 2.40%| unknown
1231.81/1235.26 c 1235s| 10000 | 766 | 5544k| 363.4 | 454M | 47 |1527 |5231 |3207 |6387 | 0 | 11k|4345 | 1.021452e+03 | 1.046000e+03 | 2.40%| unknown
1241.49/1244.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1241.49/1244.91 c 1245s| 10100 | 778 | 5588k| 363.9 | 454M | 47 |1527 |5104 |3210 |6538 | 1 | 11k|4347 | 1.021503e+03 | 1.046000e+03 | 2.40%| unknown
1244.58/1248.03 c 1248s| 10200 | 784 | 5616k| 363.4 | 454M | 47 |1527 |5083 |3206 |6541 | 0 | 11k|4352 | 1.021517e+03 | 1.046000e+03 | 2.40%| unknown
1252.56/1256.04 c 1256s| 10300 | 794 | 5653k| 363.4 | 454M | 47 |1527 |5008 |3213 |6675 | 0 | 11k|4359 | 1.021535e+03 | 1.046000e+03 | 2.39%| unknown
1263.73/1267.22 c 1267s| 10400 | 810 | 5702k| 364.2 | 454M | 47 |1527 |4921 |3216 |6827 | 1 | 11k|4377 | 1.021585e+03 | 1.046000e+03 | 2.39%| unknown
1273.41/1276.93 c 1277s| 10500 | 818 | 5767k| 366.1 | 454M | 47 |1527 |4886 |3205 |6931 | 1 | 11k|4380 | 1.021603e+03 | 1.046000e+03 | 2.39%| unknown
1275.80/1279.32 c 1279s| 10600 | 814 | 5790k| 365.2 | 454M | 47 |1527 |4901 |3212 |6942 | 0 | 11k|4382 | 1.021603e+03 | 1.046000e+03 | 2.39%| unknown
1280.09/1283.61 c 1284s| 10700 | 820 | 5822k| 364.9 | 454M | 47 |1527 |4854 |3205 |7024 | 0 | 11k|4382 | 1.021641e+03 | 1.046000e+03 | 2.38%| unknown
1282.39/1285.95 c 1286s| 10800 | 820 | 5844k| 364.0 | 454M | 47 |1527 |4854 |3211 |7054 | 0 | 11k|4382 | 1.021641e+03 | 1.046000e+03 | 2.38%| unknown
1284.49/1288.06 c 1288s| 10900 | 814 | 5864k| 363.0 | 454M | 47 |1527 |4861 |3210 |7079 | 0 | 11k|4383 | 1.021641e+03 | 1.046000e+03 | 2.38%| unknown
1292.76/1296.37 c 1296s| 11000 | 832 | 5913k| 363.8 | 454M | 47 |1527 |4842 |3210 |7225 | 1 | 11k|4393 | 1.021673e+03 | 1.046000e+03 | 2.38%| unknown
1297.75/1301.33 c 1301s| 11100 | 836 | 5945k| 363.5 | 454M | 47 |1527 |4855 |3208 |7289 | 0 | 11k|4396 | 1.021684e+03 | 1.046000e+03 | 2.38%| unknown
1303.14/1306.79 c 1307s| 11200 | 842 | 5976k| 363.2 | 454M | 47 |1527 |4845 |3209 |7369 | 1 | 11k|4399 | 1.021701e+03 | 1.046000e+03 | 2.38%| unknown
1308.82/1312.40 c 1312s| 11300 | 844 | 6008k| 362.9 | 454M | 47 |1527 |4809 |3209 |7454 | 0 | 11k|4400 | 1.021713e+03 | 1.046000e+03 | 2.38%| unknown
1319.00/1322.65 c 1323s| 11400 | 856 | 6058k| 363.8 | 454M | 47 |1527 |4750 |3206 |7649 | 1 | 11k|4402 | 1.021734e+03 | 1.046000e+03 | 2.38%| unknown
1330.37/1334.09 c 1334s| 11500 | 870 | 6110k| 364.7 | 454M | 47 |1527 |4725 |3212 |7887 | 1 | 11k|4408 | 1.021774e+03 | 1.046000e+03 | 2.37%| unknown
1336.16/1339.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1336.16/1339.85 c 1340s| 11600 | 872 | 6145k| 364.6 | 454M | 47 |1527 |4722 |3202 |8011 | 0 | 11k|4413 | 1.021802e+03 | 1.046000e+03 | 2.37%| unknown
1339.55/1343.28 c 1343s| 11700 | 878 | 6177k| 364.4 | 454M | 47 |1527 |4702 |3206 |8064 | 1 | 11k|4414 | 1.021811e+03 | 1.046000e+03 | 2.37%| unknown
1343.04/1346.71 c 1347s| 11800 | 882 | 6211k| 364.2 | 454M | 47 |1527 |4729 |3209 |8080 | 1 | 11k|4414 | 1.021838e+03 | 1.046000e+03 | 2.36%| unknown
1351.32/1355.05 c 1355s| 11900 | 896 | 6256k| 364.7 | 455M | 47 |1527 |4687 |3213 |8250 | 1 | 11k|4416 | 1.021870e+03 | 1.046000e+03 | 2.36%| unknown
1353.81/1357.51 c 1357s| 12000 | 896 | 6279k| 363.9 | 455M | 47 |1527 |4684 |3213 |8260 | 0 | 11k|4417 | 1.021870e+03 | 1.046000e+03 | 2.36%| unknown
1363.59/1367.35 c 1367s| 12100 | 900 | 6342k| 365.4 | 455M | 47 |1527 |4658 |3214 |8358 | 1 | 11k|4417 | 1.021875e+03 | 1.046000e+03 | 2.36%| unknown
1370.28/1374.04 c 1374s| 12200 | 912 | 6390k| 366.1 | 455M | 47 |1527 |4629 |3197 |8460 | 1 | 11k|4418 | 1.021885e+03 | 1.046000e+03 | 2.36%| unknown
1373.07/1376.80 c 1377s| 12300 | 914 | 6416k| 365.5 | 455M | 47 |1527 |4665 |3205 |8516 | 0 | 11k|4423 | 1.021885e+03 | 1.046000e+03 | 2.36%| unknown
1375.16/1378.95 c 1379s| 12400 | 912 | 6436k| 364.5 | 455M | 47 |1527 |4696 |3210 |8537 | 0 | 11k|4428 | 1.021885e+03 | 1.046000e+03 | 2.36%| unknown
1378.95/1382.73 c 1383s| 12500 | 920 | 6468k| 364.3 | 455M | 47 |1527 |4666 |3206 |8549 | 0 | 11k|4432 | 1.021899e+03 | 1.046000e+03 | 2.36%| unknown
1384.64/1388.47 c 1388s| 12600 | 930 | 6506k| 364.4 | 455M | 47 |1527 |4644 |3206 |8671 | 1 | 11k|4435 | 1.021948e+03 | 1.046000e+03 | 2.35%| unknown
1386.83/1390.65 c 1391s| 12700 | 928 | 6528k| 363.6 | 455M | 47 |1527 |4666 |3212 |8695 | 0 | 11k|4439 | 1.021948e+03 | 1.046000e+03 | 2.35%| unknown
1390.23/1394.08 c 1394s| 12800 | 936 | 6558k| 363.2 | 455M | 47 |1527 |4687 |3210 |8762 | 1 | 11k|4444 | 1.021961e+03 | 1.046000e+03 | 2.35%| unknown
1392.32/1396.18 c 1396s| 12900 | 934 | 6577k| 362.3 | 455M | 47 |1527 |4700 |3210 |8773 | 1 | 11k|4447 | 1.021961e+03 | 1.046000e+03 | 2.35%| unknown
1394.61/1398.47 c 1398s| 13000 | 938 | 6601k| 361.6 | 455M | 47 |1527 |4700 |3210 |8787 | 1 | 11k|4447 | 1.021961e+03 | 1.046000e+03 | 2.35%| unknown
1403.20/1407.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1403.20/1407.07 c 1407s| 13100 | 952 | 6649k| 362.2 | 455M | 47 |1527 |4654 |3214 |8942 | 1 | 11k|4449 | 1.021970e+03 | 1.046000e+03 | 2.35%| unknown
1409.38/1413.29 c 1413s| 13200 | 968 | 6691k| 362.6 | 455M | 47 |1527 |4524 |3211 |9042 | 1 | 12k|4451 | 1.022003e+03 | 1.046000e+03 | 2.35%| unknown
1411.47/1415.30 c 1415s| 13300 | 966 | 6709k| 361.6 | 455M | 47 |1527 |4536 |3211 |9049 | 0 | 12k|4453 | 1.022003e+03 | 1.046000e+03 | 2.35%| unknown
1413.57/1417.41 c 1417s| 13400 | 968 | 6730k| 360.8 | 455M | 47 |1527 |4535 |3213 |9054 | 1 | 12k|4453 | 1.022003e+03 | 1.046000e+03 | 2.35%| unknown
1415.86/1419.71 c 1420s| 13500 | 964 | 6751k| 359.9 | 455M | 47 |1527 |4531 |3211 |9062 | 2 | 12k|4453 | 1.022003e+03 | 1.046000e+03 | 2.35%| unknown
1424.25/1428.14 c 1428s| 13600 | 974 | 6800k| 360.6 | 455M | 47 |1527 |4466 |3215 |9256 | 0 | 12k|4453 | 1.022036e+03 | 1.046000e+03 | 2.34%| unknown
1434.22/1438.15 c 1438s| 13700 | 982 | 6849k| 361.3 | 455M | 47 |1527 |4512 |3212 |9451 | 0 | 12k|4486 | 1.022043e+03 | 1.046000e+03 | 2.34%| unknown
1438.31/1442.28 c 1442s| 13800 | 986 | 6882k| 361.1 | 455M | 47 |1527 |4562 |3215 |9492 | 1 | 12k|4501 | 1.022043e+03 | 1.046000e+03 | 2.34%| unknown
1447.68/1451.63 c 1452s| 13900 | 1000 | 6937k| 362.1 | 456M | 47 |1527 |4621 |3218 |9590 | 1 | 12k|4554 | 1.022066e+03 | 1.046000e+03 | 2.34%| unknown
1452.57/1456.51 c 1456s| 14000 | 1004 | 6964k| 361.7 | 456M | 47 |1527 |4723 |3218 |9605 | 0 | 12k|4604 | 1.022066e+03 | 1.046000e+03 | 2.34%| unknown
1470.13/1474.12 c 1474s| 14100 | 1016 | 7039k| 363.7 | 456M | 47 |1527 |4678 |3218 |9812 | 0 | 12k|4655 | 1.022078e+03 | 1.046000e+03 | 2.34%| unknown
1481.40/1485.42 c 1485s| 14200 | 1034 | 7091k| 364.5 | 457M | 47 |1527 |4622 |3222 |9981 | 1 | 12k|4666 | 1.022112e+03 | 1.046000e+03 | 2.34%| unknown
1484.00/1488.09 c 1488s| 14300 | 1034 | 7117k| 363.9 | 457M | 47 |1527 |4615 |3221 | 10k| 0 | 12k|4666 | 1.022112e+03 | 1.046000e+03 | 2.34%| unknown
1487.19/1491.23 c 1491s| 14400 | 1040 | 7146k| 363.6 | 457M | 47 |1527 |4656 |3223 | 10k| 0 | 12k|4679 | 1.022134e+03 | 1.046000e+03 | 2.33%| unknown
1492.08/1496.18 c 1496s| 14500 | 1044 | 7173k| 363.1 | 457M | 47 |1527 |4656 |3220 | 10k| 0 | 12k|4700 | 1.022140e+03 | 1.046000e+03 | 2.33%| unknown
1495.17/1499.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1495.17/1499.25 c 1499s| 14600 | 1046 | 7195k| 362.4 | 457M | 47 |1527 |4702 |3222 | 10k| 0 | 12k|4722 | 1.022140e+03 | 1.046000e+03 | 2.33%| unknown
1506.05/1510.11 c 1510s| 14700 | 1062 | 7247k| 363.2 | 457M | 47 |1527 |4719 |3220 | 10k| 1 | 13k|4731 | 1.022151e+03 | 1.046000e+03 | 2.33%| unknown
1509.53/1513.63 c 1514s| 14800 | 1066 | 7277k| 362.9 | 457M | 47 |1527 |4819 |3220 | 10k| 1 | 13k|4752 | 1.022155e+03 | 1.046000e+03 | 2.33%| unknown
1516.32/1520.43 c 1520s| 14900 | 1076 | 7322k| 363.3 | 457M | 47 |1527 |4868 |3226 | 10k| 1 | 13k|4767 | 1.022165e+03 | 1.046000e+03 | 2.33%| unknown
1526.19/1530.35 c 1530s| 15000 | 1088 | 7371k| 363.9 | 457M | 47 |1527 |4983 |3220 | 10k| 1 | 13k|4807 | 1.022220e+03 | 1.046000e+03 | 2.33%| unknown
1535.47/1539.67 c 1540s| 15100 | 1104 | 7420k| 364.6 | 457M | 47 |1527 |4961 |3220 | 10k| 0 | 13k|4809 | 1.022258e+03 | 1.046000e+03 | 2.32%| unknown
1545.65/1549.81 c 1550s| 15200 | 1114 | 7492k| 366.3 | 457M | 47 |1527 |4940 |3223 | 10k| 0 | 13k|4810 | 1.022289e+03 | 1.046000e+03 | 2.32%| unknown
1548.94/1553.14 c 1553s| 15300 | 1120 | 7523k| 366.0 | 457M | 47 |1527 |4962 |3221 | 10k| 1 | 13k|4816 | 1.022296e+03 | 1.046000e+03 | 2.32%| unknown
1557.82/1562.04 c 1562s| 15400 | 1132 | 7568k| 366.4 | 457M | 47 |1527 |4970 |3223 | 11k| 0 | 13k|4827 | 1.022317e+03 | 1.046000e+03 | 2.32%| unknown
1564.30/1568.56 c 1569s| 15500 | 1138 | 7594k| 365.9 | 457M | 47 |1527 |4957 |3225 | 11k| 2 | 13k|4867 | 1.022338e+03 | 1.046000e+03 | 2.31%| unknown
1566.99/1571.22 c 1571s| 15600 | 1144 | 7619k| 365.3 | 457M | 47 |1527 |4942 |3225 | 11k| 0 | 13k|4867 | 1.022346e+03 | 1.046000e+03 | 2.31%| unknown
1572.18/1576.45 c 1576s| 15700 | 1152 | 7656k| 365.4 | 457M | 47 |1527 |4916 |3224 | 11k| 0 | 13k|4868 | 1.022359e+03 | 1.046000e+03 | 2.31%| unknown
1577.17/1581.42 c 1581s| 15800 | 1154 | 7688k| 365.2 | 457M | 47 |1527 |4888 |3226 | 11k| 0 | 13k|4868 | 1.022375e+03 | 1.046000e+03 | 2.31%| unknown
1587.94/1592.21 c 1592s| 15900 | 1170 | 7741k| 365.9 | 458M | 47 |1527 |4857 |3226 | 11k| 0 | 13k|4869 | 1.022412e+03 | 1.046000e+03 | 2.31%| unknown
1596.02/1600.30 c 1600s| 16000 | 1182 | 7784k| 366.2 | 458M | 47 |1527 |4791 |3227 | 11k| 0 | 13k|4869 | 1.022420e+03 | 1.046000e+03 | 2.31%| unknown
1599.12/1603.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1599.12/1603.49 c 1603s| 16100 | 1186 | 7812k| 365.8 | 458M | 47 |1527 |4787 |3229 | 11k| 0 | 13k|4871 | 1.022424e+03 | 1.046000e+03 | 2.31%| unknown
1603.61/1607.92 c 1608s| 16200 | 1194 | 7843k| 365.6 | 458M | 47 |1527 |4779 |3227 | 11k| 1 | 13k|4874 | 1.022430e+03 | 1.046000e+03 | 2.31%| unknown
1608.49/1612.85 c 1613s| 16300 | 1200 | 7874k| 365.3 | 458M | 47 |1527 |4767 |3230 | 11k| 1 | 13k|4875 | 1.022434e+03 | 1.046000e+03 | 2.30%| unknown
1613.78/1618.11 c 1618s| 16400 | 1204 | 7906k| 365.1 | 458M | 47 |1527 |4775 |3229 | 11k| 1 | 13k|4880 | 1.022452e+03 | 1.046000e+03 | 2.30%| unknown
1618.67/1623.04 c 1623s| 16500 | 1210 | 7938k| 364.9 | 458M | 47 |1527 |4767 |3231 | 12k| 2 | 13k|4887 | 1.022471e+03 | 1.046000e+03 | 2.30%| unknown
1630.24/1634.66 c 1635s| 16600 | 1220 | 8013k| 366.6 | 458M | 47 |1527 |4734 |3231 | 12k| 1 | 13k|4892 | 1.022487e+03 | 1.046000e+03 | 2.30%| unknown
1640.52/1644.95 c 1645s| 16700 | 1232 | 8060k| 367.1 | 458M | 47 |1527 |4673 |3233 | 12k| 1 | 13k|4912 | 1.022509e+03 | 1.046000e+03 | 2.30%| unknown
1643.61/1648.06 c 1648s| 16800 | 1238 | 8091k| 366.9 | 458M | 47 |1527 |4642 |3230 | 12k| 0 | 13k|4912 | 1.022545e+03 | 1.046000e+03 | 2.29%| unknown
1655.78/1660.29 c 1660s| 16900 | 1258 | 8150k| 367.9 | 458M | 47 |1527 |4516 |3232 | 12k| 0 | 13k|4913 | 1.022561e+03 | 1.046000e+03 | 2.29%| unknown
1659.77/1664.29 c 1664s| 17000 | 1268 | 8186k| 367.8 | 458M | 47 |1527 |4499 |3229 | 12k| 1 | 13k|4923 | 1.022583e+03 | 1.046000e+03 | 2.29%| unknown
1665.06/1669.56 c 1670s| 17100 | 1280 | 8223k| 367.8 | 458M | 47 |1527 |4471 |3232 | 12k| 1 | 13k|4942 | 1.022598e+03 | 1.046000e+03 | 2.29%| unknown
1677.43/1681.91 c 1682s| 17200 | 1296 | 8273k| 368.4 | 458M | 47 |1527 |4327 |3232 | 12k| 0 | 13k|4975 | 1.022625e+03 | 1.046000e+03 | 2.29%| unknown
1687.11/1691.68 c 1692s| 17300 | 1310 | 8324k| 369.1 | 458M | 47 |1527 |4292 |3233 | 13k| 0 | 14k|4977 | 1.022654e+03 | 1.046000e+03 | 2.28%| unknown
1694.69/1699.27 c 1699s| 17400 | 1320 | 8377k| 369.8 | 458M | 47 |1527 |4227 |3231 | 13k| 0 | 14k|4977 | 1.022682e+03 | 1.046000e+03 | 2.28%| unknown
1700.08/1704.66 c 1705s| 17500 | 1324 | 8408k| 369.5 | 458M | 47 |1527 |4195 |3236 | 13k| 0 | 14k|4977 | 1.022686e+03 | 1.046000e+03 | 2.28%| unknown
1703.27/1707.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1703.27/1707.83 c 1708s| 17600 | 1332 | 8439k| 369.2 | 458M | 47 |1527 |4171 |3228 | 13k| 1 | 14k|4977 | 1.022687e+03 | 1.046000e+03 | 2.28%| unknown
1710.75/1715.32 c 1715s| 17700 | 1342 | 8479k| 369.4 | 458M | 47 |1527 |4112 |3229 | 13k| 1 | 14k|4991 | 1.022716e+03 | 1.046000e+03 | 2.28%| unknown
1713.54/1718.16 c 1718s| 17800 | 1344 | 8506k| 369.0 | 460M | 47 |1527 |4087 |3240 | 13k| 0 | 14k|4991 | 1.022727e+03 | 1.046000e+03 | 2.28%| unknown
1717.23/1721.89 c 1722s| 17900 | 1352 | 8540k| 368.8 | 460M | 47 |1527 |4050 |3231 | 13k| 1 | 14k|4992 | 1.022754e+03 | 1.046000e+03 | 2.27%| unknown
1723.42/1728.05 c 1728s| 18000 | 1364 | 8578k| 368.9 | 460M | 47 |1527 |4026 |3233 | 13k| 0 | 14k|4992 | 1.022774e+03 | 1.046000e+03 | 2.27%| unknown
1730.70/1735.39 c 1735s| 18100 | 1368 | 8636k| 369.8 | 460M | 47 |1527 |4001 |3237 | 13k| 0 | 14k|4992 | 1.022796e+03 | 1.046000e+03 | 2.27%| unknown
1733.19/1737.88 c 1738s| 18200 | 1370 | 8659k| 369.2 | 460M | 47 |1527 |3979 |3232 | 13k| 1 | 14k|4992 | 1.022809e+03 | 1.046000e+03 | 2.27%| unknown
1743.47/1748.15 c 1748s| 18300 | 1382 | 8712k| 369.9 | 460M | 47 |1527 |3943 |3237 | 14k| 0 | 14k|4992 | 1.022824e+03 | 1.046000e+03 | 2.27%| unknown
1747.56/1752.24 c 1752s| 18400 | 1396 | 8746k| 369.7 | 460M | 47 |1527 |3907 |3229 | 14k| 0 | 14k|4995 | 1.022829e+03 | 1.046000e+03 | 2.27%| unknown
1754.64/1759.33 c 1759s| 18500 | 1412 | 8792k| 370.1 | 460M | 47 |1527 |3856 |3234 | 14k| 0 | 14k|5000 | 1.022867e+03 | 1.046000e+03 | 2.26%| unknown
1761.92/1766.60 c 1767s| 18600 | 1422 | 8829k| 370.1 | 461M | 47 |1527 |3836 |3234 | 14k| 1 | 14k|5000 | 1.022880e+03 | 1.046000e+03 | 2.26%| unknown
1767.11/1771.85 c 1772s| 18700 | 1430 | 8864k| 370.0 | 461M | 47 |1527 |3827 |3236 | 14k| 1 | 14k|5000 | 1.022881e+03 | 1.046000e+03 | 2.26%| unknown
1770.31/1775.05 c 1775s| 18800 | 1430 | 8896k| 369.8 | 461M | 47 |1527 |3811 |3235 | 14k| 1 | 14k|5000 | 1.022881e+03 | 1.046000e+03 | 2.26%| unknown
1772.80/1777.50 c 1777s| 18900 | 1434 | 8919k| 369.3 | 461M | 47 |1527 |3811 |3229 | 14k| 1 | 14k|5000 | 1.022881e+03 | 1.046000e+03 | 2.26%| unknown
1781.18/1785.94 c 1786s| 19000 | 1436 | 8977k| 370.1 | 461M | 47 |1527 |3797 |3230 | 14k| 0 | 14k|5000 | 1.022884e+03 | 1.046000e+03 | 2.26%| unknown
1790.56/1795.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1790.56/1795.35 c 1795s| 19100 | 1452 | 9026k| 370.6 | 461M | 47 |1527 |3777 |3232 | 14k| 0 | 14k|5004 | 1.022906e+03 | 1.046000e+03 | 2.26%| unknown
1797.74/1802.50 c 1802s| 19200 | 1464 | 9068k| 370.8 | 461M | 47 |1527 |3801 |3228 | 14k| 1 | 14k|5031 | 1.022932e+03 | 1.046000e+03 | 2.26%| unknown
1804.42/1809.27 c 1809s| 19300 | 1472 | 9107k| 370.9 | 461M | 47 |1527 |4034 |3228 | 14k| 1 | 14k|5082 | 1.022953e+03 | 1.046000e+03 | 2.25%| unknown
1807.42/1812.26 o 1045
1807.42/1812.26 c *1812s| 19393 | 1469 | 9132k| 370.5 | LP | 47 |1527 |4076 |3231 | 15k| 1 | 14k|5094 | 1.022955e+03 | 1.045000e+03 | 2.16%| unknown
1807.61/1812.45 c 1812s| 19400 | 1470 | 9134k| 370.5 | 461M | 47 |1527 |4075 |3231 | 15k| 0 | 14k|5094 | 1.022955e+03 | 1.045000e+03 | 2.16%| unknown
1818.99/1823.83 c 1824s| 19500 | 1490 | 9189k| 371.2 | 461M | 47 |1527 |4138 |3235 | 15k| 1 | 14k|5119 | 1.022969e+03 | 1.045000e+03 | 2.15%| unknown
1826.67/1831.57 c 1832s| 19600 | 1500 | 9230k| 371.4 | 461M | 47 |1527 |4177 |3235 | 15k| 0 | 14k|5157 | 1.022986e+03 | 1.045000e+03 | 2.15%| unknown
1831.26/1836.10 c 1836s| 19700 | 1504 | 9264k| 371.2 | 461M | 47 |1527 |4186 |3229 | 15k| 0 | 14k|5172 | 1.022989e+03 | 1.045000e+03 | 2.15%| unknown
1835.55/1840.46 c 1840s| 19800 | 1512 | 9299k| 371.2 | 461M | 47 |1527 |4213 |3234 | 15k| 1 | 14k|5188 | 1.022994e+03 | 1.045000e+03 | 2.15%| unknown
1843.33/1848.20 c 1848s| 19900 | 1518 | 9343k| 371.4 | 461M | 47 |1527 |4231 |3231 | 15k| 1 | 15k|5196 | 1.023023e+03 | 1.045000e+03 | 2.15%| unknown
1846.52/1851.40 c 1851s| 20000 | 1524 | 9373k| 371.2 | 461M | 47 |1527 |4224 |3228 | 15k| 1 | 15k|5196 | 1.023042e+03 | 1.045000e+03 | 2.15%| unknown
1848.72/1853.60 c 1854s| 20100 | 1520 | 9394k| 370.5 | 461M | 47 |1527 |4233 |3229 | 15k| 0 | 15k|5199 | 1.023042e+03 | 1.045000e+03 | 2.15%| unknown
1855.20/1860.14 c 1860s| 20200 | 1524 | 9436k| 370.7 | 461M | 47 |1527 |4234 |3235 | 15k| 1 | 15k|5201 | 1.023046e+03 | 1.045000e+03 | 2.15%| unknown
1864.78/1869.72 c 1870s| 20300 | 1530 | 9498k| 371.7 | 461M | 47 |1527 |4230 |3242 | 15k| 0 | 15k|5202 | 1.023046e+03 | 1.045000e+03 | 2.15%| unknown
1871.17/1876.10 c 1876s| 20400 | 1542 | 9536k| 371.7 | 461M | 47 |1527 |4208 |3239 | 16k| 1 | 15k|5202 | 1.023057e+03 | 1.045000e+03 | 2.14%| unknown
1882.14/1887.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1882.14/1887.16 c 1887s| 20500 | 1560 | 9598k| 372.7 | 462M | 47 |1527 |4239 |3235 | 16k| 0 | 15k|5209 | 1.023109e+03 | 1.045000e+03 | 2.14%| unknown
1884.93/1889.92 c 1890s| 20600 | 1560 | 9621k| 372.2 | 462M | 47 |1527 |4271 |3237 | 16k| 1 | 15k|5215 | 1.023109e+03 | 1.045000e+03 | 2.14%| unknown
1888.13/1893.15 c 1893s| 20700 | 1564 | 9649k| 371.8 | 462M | 47 |1527 |4267 |3238 | 16k| 1 | 15k|5215 | 1.023126e+03 | 1.045000e+03 | 2.14%| unknown
1895.60/1900.65 c 1901s| 20800 | 1574 | 9696k| 372.2 | 462M | 47 |1527 |4300 |3236 | 16k| 0 | 15k|5218 | 1.023165e+03 | 1.045000e+03 | 2.13%| unknown
1902.99/1908.08 c 1908s| 20900 | 1590 | 9744k| 372.6 | 462M | 47 |1527 |4312 |3242 | 16k| 0 | 15k|5222 | 1.023182e+03 | 1.045000e+03 | 2.13%| unknown
1910.17/1915.24 c 1915s| 21000 | 1606 | 9789k| 372.9 | 462M | 47 |1527 |4313 |3238 | 16k| 0 | 15k|5226 | 1.023195e+03 | 1.045000e+03 | 2.13%| unknown
1912.46/1917.59 c 1918s| 21100 | 1608 | 9812k| 372.3 | 462M | 47 |1527 |4310 |3238 | 16k| 0 | 15k|5226 | 1.023195e+03 | 1.045000e+03 | 2.13%| unknown
1918.25/1923.35 c 1923s| 21200 | 1614 | 9850k| 372.4 | 462M | 47 |1527 |4372 |3239 | 16k| 1 | 15k|5234 | 1.023198e+03 | 1.045000e+03 | 2.13%| unknown
1921.14/1926.23 c 1926s| 21300 | 1614 | 9876k| 371.9 | 462M | 47 |1527 |4459 |3238 | 16k| 0 | 15k|5258 | 1.023198e+03 | 1.045000e+03 | 2.13%| unknown
1928.22/1933.39 c 1933s| 21400 | 1624 | 9916k| 372.0 | 462M | 47 |1527 |4450 |3242 | 17k| 0 | 15k|5260 | 1.023208e+03 | 1.045000e+03 | 2.13%| unknown
1932.12/1937.28 c 1937s| 21500 | 1632 | 9951k| 372.0 | 462M | 47 |1527 |4477 |3240 | 17k| 1 | 15k|5274 | 1.023256e+03 | 1.045000e+03 | 2.13%| unknown
1943.59/1948.78 c 1949s| 21600 | 1642 | 10021k| 373.2 | 462M | 47 |1527 |4454 |3239 | 17k| 1 | 15k|5286 | 1.023260e+03 | 1.045000e+03 | 2.12%| unknown
1958.15/1963.37 c 1963s| 21700 | 1662 | 10084k| 374.1 | 463M | 47 |1527 |4419 |3243 | 17k| 0 | 15k|5328 | 1.023282e+03 | 1.045000e+03 | 2.12%| unknown
1961.64/1966.83 c 1967s| 21800 | 1672 | 10116k| 373.9 | 463M | 47 |1527 |4393 |3243 | 17k| 0 | 15k|5329 | 1.023293e+03 | 1.045000e+03 | 2.12%| unknown
1963.84/1969.05 c 1969s| 21900 | 1666 | 10137k| 373.3 | 463M | 47 |1527 |4392 |3240 | 17k| 0 | 15k|5330 | 1.023293e+03 | 1.045000e+03 | 2.12%| unknown
1973.71/1978.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1973.71/1978.98 c 1979s| 22000 | 1684 | 10188k| 373.8 | 463M | 47 |1527 |4376 |3250 | 17k| 1 | 15k|5363 | 1.023301e+03 | 1.045000e+03 | 2.12%| unknown
1983.79/1989.04 c 1989s| 22100 | 1698 | 10242k| 374.4 | 463M | 47 |1527 |4385 |3254 | 17k| 1 | 15k|5395 | 1.023346e+03 | 1.045000e+03 | 2.12%| unknown
1988.18/1993.46 c 1993s| 22200 | 1702 | 10278k| 374.4 | 463M | 47 |1527 |4375 |3251 | 17k| 0 | 15k|5397 | 1.023355e+03 | 1.045000e+03 | 2.12%| unknown
1997.46/2002.76 c 2003s| 22300 | 1716 | 10320k| 374.6 | 464M | 47 |1527 |4329 |3251 | 18k| 0 | 15k|5418 | 1.023367e+03 | 1.045000e+03 | 2.11%| unknown
2001.95/2007.27 c 2007s| 22400 | 1708 | 10347k| 374.2 | 464M | 47 |1527 |4404 |3254 | 18k| 0 | 15k|5444 | 1.023367e+03 | 1.045000e+03 | 2.11%| unknown
2015.12/2020.49 c 2020s| 22500 | 1728 | 10407k| 375.0 | 465M | 47 |1527 |4294 |3254 | 18k| 0 | 15k|5461 | 1.023383e+03 | 1.045000e+03 | 2.11%| unknown
2028.58/2033.92 c 2034s| 22600 | 1742 | 10483k| 376.4 | 465M | 47 |1527 |4267 |3253 | 18k| 0 | 15k|5461 | 1.023409e+03 | 1.045000e+03 | 2.11%| unknown
2034.47/2039.86 c 2040s| 22700 | 1746 | 10519k| 376.3 | 465M | 47 |1527 |4250 |3249 | 18k| 0 | 15k|5461 | 1.023410e+03 | 1.045000e+03 | 2.11%| unknown
2042.55/2047.95 c 2048s| 22800 | 1758 | 10564k| 376.6 | 465M | 47 |1527 |4240 |3254 | 18k| 1 | 16k|5464 | 1.023435e+03 | 1.045000e+03 | 2.11%| unknown
2051.13/2056.51 c 2056s| 22900 | 1768 | 10612k| 376.9 | 466M | 47 |1527 |4248 |3255 | 19k| 0 | 16k|5469 | 1.023445e+03 | 1.045000e+03 | 2.11%| unknown
2055.52/2060.91 c 2061s| 23000 | 1768 | 10639k| 376.6 | 466M | 47 |1527 |4293 |3253 | 19k| 1 | 16k|5504 | 1.023445e+03 | 1.045000e+03 | 2.11%| unknown
2064.20/2069.67 c 2070s| 23100 | 1776 | 10684k| 376.8 | 466M | 47 |1527 |4272 |3239 | 19k| 1 | 16k|5504 | 1.023454e+03 | 1.045000e+03 | 2.11%| unknown
2066.79/2072.23 c 2072s| 23200 | 1774 | 10708k| 376.3 | 466M | 47 |1527 |4272 |3244 | 19k| 1 | 16k|5504 | 1.023454e+03 | 1.045000e+03 | 2.11%| unknown
2070.69/2076.17 c 2076s| 23300 | 1786 | 10743k| 376.2 | 466M | 47 |1527 |4257 |3250 | 19k| 0 | 16k|5504 | 1.023458e+03 | 1.045000e+03 | 2.10%| unknown
2079.96/2085.46 c 2085s| 23400 | 1796 | 10793k| 376.7 | 466M | 47 |1527 |4217 |3252 | 19k| 0 | 16k|5504 | 1.023471e+03 | 1.045000e+03 | 2.10%| unknown
2082.45/2087.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2082.45/2087.99 c 2088s| 23500 | 1794 | 10817k| 376.2 | 466M | 47 |1527 |4205 |3240 | 19k| 0 | 16k|5504 | 1.023471e+03 | 1.045000e+03 | 2.10%| unknown
2090.14/2095.67 c 2096s| 23600 | 1808 | 10867k| 376.6 | 466M | 47 |1527 |4135 |3251 | 19k| 0 | 16k|5504 | 1.023492e+03 | 1.045000e+03 | 2.10%| unknown
2094.13/2099.60 c 2100s| 23700 | 1812 | 10901k| 376.5 | 467M | 47 |1527 |4171 |3248 | 19k| 0 | 16k|5518 | 1.023493e+03 | 1.045000e+03 | 2.10%| unknown
2097.42/2102.94 c 2103s| 23800 | 1812 | 10931k| 376.2 | 467M | 47 |1527 |4151 |3254 | 19k| 1 | 16k|5520 | 1.023497e+03 | 1.045000e+03 | 2.10%| unknown
2102.81/2108.32 c 2108s| 23900 | 1818 | 10964k| 376.1 | 467M | 47 |1527 |4119 |3242 | 20k| 1 | 16k|5520 | 1.023499e+03 | 1.045000e+03 | 2.10%| unknown
2105.40/2110.92 c 2111s| 24000 | 1820 | 10988k| 375.6 | 467M | 47 |1527 |4119 |3250 | 20k| 1 | 16k|5520 | 1.023499e+03 | 1.045000e+03 | 2.10%| unknown
2108.39/2113.97 c 2114s| 24100 | 1816 | 11015k| 375.3 | 467M | 47 |1527 |4083 |3230 | 20k| 1 | 16k|5520 | 1.023499e+03 | 1.045000e+03 | 2.10%| unknown
2118.17/2123.74 c 2124s| 24200 | 1826 | 11068k| 375.8 | 467M | 47 |1527 |4052 |3251 | 20k| 1 | 16k|5520 | 1.023514e+03 | 1.045000e+03 | 2.10%| unknown
2130.14/2135.72 c 2136s| 24300 | 1836 | 11151k| 377.3 | 467M | 47 |1527 |4004 |3238 | 20k| 0 | 16k|5520 | 1.023535e+03 | 1.045000e+03 | 2.10%| unknown
2133.13/2138.70 c 2139s| 24400 | 1836 | 11178k| 377.0 | 467M | 47 |1527 |4001 |3241 | 20k| 0 | 16k|5520 | 1.023535e+03 | 1.045000e+03 | 2.10%| unknown
2136.22/2141.80 c 2142s| 24500 | 1838 | 11207k| 376.7 | 467M | 47 |1527 |4001 |3238 | 20k| 1 | 16k|5520 | 1.023535e+03 | 1.045000e+03 | 2.10%| unknown
2139.82/2145.41 c 2145s| 24600 | 1842 | 11240k| 376.5 | 467M | 47 |1527 |4001 |3244 | 20k| 1 | 16k|5520 | 1.023536e+03 | 1.045000e+03 | 2.10%| unknown
2143.41/2149.06 c 2149s| 24700 | 1846 | 11273k| 376.4 | 467M | 47 |1527 |3956 |3238 | 20k| 1 | 16k|5520 | 1.023543e+03 | 1.045000e+03 | 2.10%| unknown
2149.40/2155.00 c 2155s| 24800 | 1848 | 11310k| 376.3 | 467M | 47 |1527 |3934 |3238 | 20k| 0 | 16k|5520 | 1.023559e+03 | 1.045000e+03 | 2.09%| unknown
2155.88/2161.54 c 2162s| 24900 | 1862 | 11353k| 376.5 | 467M | 47 |1527 |3912 |3245 | 21k| 1 | 16k|5520 | 1.023571e+03 | 1.045000e+03 | 2.09%| unknown
2162.26/2167.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2162.26/2167.96 c 2168s| 25000 | 1872 | 11398k| 376.8 | 467M | 47 |1527 |3875 |3243 | 21k| 1 | 16k|5520 | 1.023584e+03 | 1.045000e+03 | 2.09%| unknown
2165.85/2171.58 c 2172s| 25100 | 1878 | 11432k| 376.6 | 467M | 47 |1527 |3882 |3243 | 21k| 0 | 16k|5520 | 1.023588e+03 | 1.045000e+03 | 2.09%| unknown
2169.64/2175.30 c 2175s| 25200 | 1882 | 11465k| 376.5 | 467M | 47 |1527 |3873 |3243 | 21k| 1 | 16k|5521 | 1.023588e+03 | 1.045000e+03 | 2.09%| unknown
2172.04/2177.73 c 2178s| 25300 | 1878 | 11488k| 376.0 | 467M | 47 |1527 |3873 |3247 | 21k| 0 | 16k|5521 | 1.023588e+03 | 1.045000e+03 | 2.09%| unknown
2177.03/2182.70 c 2183s| 25400 | 1888 | 11532k| 376.2 | 467M | 47 |1527 |3861 |3232 | 21k| 0 | 16k|5522 | 1.023592e+03 | 1.045000e+03 | 2.09%| unknown
2184.81/2190.58 c 2191s| 25500 | 1898 | 11581k| 376.6 | 467M | 47 |1527 |3946 |3243 | 21k| 1 | 16k|5546 | 1.023594e+03 | 1.045000e+03 | 2.09%| unknown
2190.20/2195.95 c 2196s| 25600 | 1906 | 11617k| 376.5 | 467M | 47 |1527 |3969 |3249 | 21k| 0 | 16k|5570 | 1.023594e+03 | 1.045000e+03 | 2.09%| unknown
2196.88/2202.69 c 2203s| 25700 | 1914 | 11662k| 376.8 | 467M | 47 |1527 |3978 |3243 | 21k| 0 | 16k|5575 | 1.023620e+03 | 1.045000e+03 | 2.09%| unknown
2200.37/2206.18 c 2206s| 25800 | 1920 | 11694k| 376.6 | 467M | 47 |1527 |3984 |3248 | 21k| 0 | 16k|5581 | 1.023622e+03 | 1.045000e+03 | 2.09%| unknown
2204.36/2210.18 c 2210s| 25900 | 1924 | 11731k| 376.6 | 467M | 47 |1527 |3992 |3249 | 21k| 0 | 16k|5586 | 1.023628e+03 | 1.045000e+03 | 2.09%| unknown
2208.15/2213.90 c 2214s| 26000 | 1920 | 11762k| 376.3 | 467M | 47 |1527 |4004 |3225 | 21k| 0 | 16k|5593 | 1.023628e+03 | 1.045000e+03 | 2.09%| unknown
2226.11/2231.97 c 2232s| 26100 | 1936 | 11844k| 377.8 | 467M | 47 |1527 |4084 |3256 | 22k| 2 | 16k|5663 | 1.023630e+03 | 1.045000e+03 | 2.09%| unknown
2233.79/2239.62 c 2240s| 26200 | 1944 | 11889k| 378.0 | 467M | 47 |1527 |4079 |3256 | 22k| 0 | 16k|5676 | 1.023636e+03 | 1.045000e+03 | 2.09%| unknown
2240.08/2245.95 c 2246s| 26300 | 1950 | 11934k| 378.2 | 467M | 47 |1527 |4200 |3242 | 22k| 0 | 16k|5715 | 1.023654e+03 | 1.045000e+03 | 2.09%| unknown
2250.85/2256.77 c 2257s| 26400 | 1960 | 11976k| 378.4 | 467M | 47 |1527 |4230 |3262 | 22k| 0 | 17k|5788 | 1.023658e+03 | 1.045000e+03 | 2.08%| unknown
2254.15/2260.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2254.15/2260.06 c 2260s| 26500 | 1964 | 12004k| 378.0 | 467M | 47 |1527 |4229 |3263 | 22k| 0 | 17k|5788 | 1.023660e+03 | 1.045000e+03 | 2.08%| unknown
2265.31/2271.26 c 2271s| 26600 | 1978 | 12065k| 378.8 | 468M | 47 |1527 |4243 |3263 | 22k| 1 | 17k|5806 | 1.023666e+03 | 1.045000e+03 | 2.08%| unknown
2272.40/2278.34 c 2278s| 26700 | 1988 | 12115k| 379.1 | 468M | 47 |1527 |4280 |3262 | 22k| 2 | 17k|5818 | 1.023674e+03 | 1.045000e+03 | 2.08%| unknown
2282.18/2288.16 c 2288s| 26800 | 1994 | 12153k| 379.2 | 468M | 47 |1527 |4331 |3261 | 23k| 1 | 17k|5886 | 1.023676e+03 | 1.045000e+03 | 2.08%| unknown
2287.96/2293.93 c 2294s| 26900 | 1994 | 12181k| 378.9 | 468M | 47 |1527 |4389 |3264 | 23k| 0 | 17k|5929 | 1.023676e+03 | 1.045000e+03 | 2.08%| unknown
2296.24/2302.26 c 2302s| 27000 | 2000 | 12218k| 378.8 | 468M | 47 |1527 |4395 |3271 | 23k| 0 | 17k|5981 | 1.023682e+03 | 1.045000e+03 | 2.08%| unknown
2302.23/2308.29 c 2308s| 27100 | 2010 | 12255k| 378.8 | 468M | 47 |1527 |4418 |3272 | 23k| 0 | 17k|6005 | 1.023702e+03 | 1.045000e+03 | 2.08%| unknown
2305.22/2311.22 c 2311s| 27200 | 2006 | 12279k| 378.4 | 468M | 47 |1527 |4428 |3266 | 23k| 0 | 17k|6012 | 1.023702e+03 | 1.045000e+03 | 2.08%| unknown
2314.00/2320.08 c 2320s| 27300 | 2026 | 12342k| 379.1 | 468M | 47 |1527 |4471 |3263 | 23k| 0 | 17k|6018 | 1.023717e+03 | 1.045000e+03 | 2.08%| unknown
2320.88/2326.93 c 2327s| 27400 | 2038 | 12386k| 379.3 | 468M | 47 |1527 |4466 |3245 | 23k| 1 | 17k|6018 | 1.023717e+03 | 1.045000e+03 | 2.08%| unknown
2333.95/2340.07 c 2340s| 27500 | 2056 | 12484k| 381.2 | 469M | 47 |1527 |4502 |3272 | 23k| 1 | 17k|6029 | 1.023729e+03 | 1.045000e+03 | 2.08%| unknown
2339.84/2345.92 c 2346s| 27600 | 2056 | 12518k| 381.0 | 469M | 47 |1527 |4517 |3269 | 23k| 0 | 17k|6045 | 1.023732e+03 | 1.045000e+03 | 2.08%| unknown
2345.42/2351.58 c 2352s| 27700 | 2064 | 12559k| 381.1 | 469M | 47 |1527 |4547 |3264 | 23k| 1 | 17k|6063 | 1.023734e+03 | 1.045000e+03 | 2.08%| unknown
2350.01/2356.14 c 2356s| 27800 | 2070 | 12598k| 381.2 | 469M | 47 |1527 |4556 |3270 | 24k| 0 | 17k|6067 | 1.023734e+03 | 1.045000e+03 | 2.08%| unknown
2355.90/2362.08 c 2362s| 27900 | 2090 | 12650k| 381.6 | 469M | 47 |1527 |4566 |3277 | 24k| 1 | 17k|6067 | 1.023760e+03 | 1.045000e+03 | 2.07%| unknown
2359.09/2365.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2359.09/2365.22 c 2365s| 28000 | 2092 | 12677k| 381.2 | 469M | 47 |1527 |4601 |3276 | 24k| 1 | 17k|6076 | 1.023760e+03 | 1.045000e+03 | 2.07%| unknown
2361.68/2367.88 c 2368s| 28100 | 2088 | 12701k| 380.8 | 469M | 47 |1527 |4605 |3276 | 24k| 1 | 17k|6079 | 1.023760e+03 | 1.045000e+03 | 2.07%| unknown
2367.67/2373.81 c 2374s| 28200 | 2106 | 12752k| 381.2 | 469M | 47 |1527 |4583 |3279 | 24k| 1 | 17k|6079 | 1.023783e+03 | 1.045000e+03 | 2.07%| unknown
2370.46/2376.69 c 2377s| 28300 | 2106 | 12779k| 380.9 | 469M | 47 |1527 |4593 |3274 | 24k| 1 | 17k|6081 | 1.023783e+03 | 1.045000e+03 | 2.07%| unknown
2374.15/2380.33 c 2380s| 28400 | 2112 | 12812k| 380.7 | 469M | 47 |1527 |4603 |3274 | 24k| 1 | 17k|6084 | 1.023787e+03 | 1.045000e+03 | 2.07%| unknown
2383.53/2389.76 c 2390s| 28500 | 2128 | 12862k| 381.1 | 469M | 47 |1527 |4615 |3277 | 24k| 1 | 17k|6114 | 1.023800e+03 | 1.045000e+03 | 2.07%| unknown
2388.12/2394.39 c 2394s| 28600 | 2134 | 12894k| 380.9 | 469M | 47 |1527 |4627 |3280 | 24k| 1 | 17k|6119 | 1.023809e+03 | 1.045000e+03 | 2.07%| unknown
2397.30/2403.55 c 2404s| 28700 | 2142 | 12938k| 381.1 | 469M | 47 |1527 |4669 |3279 | 24k| 2 | 17k|6147 | 1.023822e+03 | 1.045000e+03 | 2.07%| unknown
2400.19/2406.40 c 2406s| 28800 | 2138 | 12964k| 380.7 | 469M | 47 |1527 |4695 |3274 | 24k| 1 | 17k|6157 | 1.023822e+03 | 1.045000e+03 | 2.07%| unknown
2403.08/2409.33 c 2409s| 28900 | 2134 | 12992k| 380.4 | 469M | 47 |1527 |4700 |3272 | 24k| 2 | 17k|6158 | 1.023822e+03 | 1.045000e+03 | 2.07%| unknown
2408.87/2415.16 c 2415s| 29000 | 2144 | 13038k| 380.6 | 469M | 47 |1527 |4707 |3273 | 24k| 1 | 17k|6166 | 1.023844e+03 | 1.045000e+03 | 2.07%| unknown
2419.94/2426.29 c 2426s| 29100 | 2150 | 13112k| 381.7 | 469M | 47 |1527 |4671 |3279 | 24k| 0 | 17k|6166 | 1.023851e+03 | 1.045000e+03 | 2.07%| unknown
2426.13/2432.48 c 2432s| 29200 | 2152 | 13153k| 381.8 | 469M | 47 |1527 |4653 |3272 | 24k| 1 | 17k|6167 | 1.023858e+03 | 1.045000e+03 | 2.06%| unknown
2429.12/2435.43 c 2435s| 29300 | 2152 | 13180k| 381.5 | 469M | 47 |1527 |4656 |3273 | 24k| 1 | 17k|6167 | 1.023858e+03 | 1.045000e+03 | 2.06%| unknown
2432.81/2439.19 c 2439s| 29400 | 2158 | 13212k| 381.3 | 469M | 47 |1527 |4651 |3272 | 25k| 1 | 18k|6173 | 1.023861e+03 | 1.045000e+03 | 2.06%| unknown
2436.80/2443.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2436.80/2443.12 c 2443s| 29500 | 2162 | 13248k| 381.2 | 469M | 47 |1527 |4631 |3279 | 25k| 1 | 18k|6173 | 1.023869e+03 | 1.045000e+03 | 2.06%| unknown
2441.29/2447.66 c 2448s| 29600 | 2170 | 13287k| 381.2 | 469M | 47 |1527 |4626 |3283 | 25k| 2 | 18k|6174 | 1.023878e+03 | 1.045000e+03 | 2.06%| unknown
2444.98/2451.30 c 2451s| 29700 | 2172 | 13318k| 381.0 | 469M | 47 |1527 |4650 |3282 | 25k| 0 | 18k|6186 | 1.023888e+03 | 1.045000e+03 | 2.06%| unknown
2448.27/2454.63 c 2455s| 29800 | 2174 | 13348k| 380.8 | 469M | 47 |1527 |4646 |3268 | 25k| 1 | 18k|6186 | 1.023888e+03 | 1.045000e+03 | 2.06%| unknown
2451.07/2457.44 c 2457s| 29900 | 2170 | 13373k| 380.4 | 469M | 47 |1527 |4644 |3276 | 25k| 2 | 18k|6186 | 1.023888e+03 | 1.045000e+03 | 2.06%| unknown
2454.56/2460.92 c 2461s| 30000 | 2166 | 13405k| 380.3 | 469M | 47 |1527 |4638 |3269 | 25k| 0 | 18k|6186 | 1.023888e+03 | 1.045000e+03 | 2.06%| unknown
2458.45/2464.89 c 2465s| 30100 | 2170 | 13440k| 380.2 | 467M | 47 |1527 |4621 |3269 | 25k| 0 | 18k|6186 | 1.023892e+03 | 1.045000e+03 | 2.06%| unknown
2464.44/2470.87 c 2471s| 30200 | 2176 | 13479k| 380.2 | 467M | 47 |1527 |4610 |3270 | 25k| 0 | 18k|6186 | 1.023896e+03 | 1.045000e+03 | 2.06%| unknown
2471.63/2478.06 c 2478s| 30300 | 2210 | 13534k| 380.7 | 467M | 47 |1527 |4587 |3262 | 25k| 0 | 18k|6188 | 1.023900e+03 | 1.045000e+03 | 2.06%| unknown
2477.41/2483.81 c 2484s| 30400 | 2220 | 13571k| 380.6 | 467M | 47 |1527 |4603 |3265 | 25k| 2 | 18k|6189 | 1.023904e+03 | 1.045000e+03 | 2.06%| unknown
2479.71/2486.12 c 2486s| 30500 | 2216 | 13593k| 380.2 | 467M | 47 |1527 |4627 |3262 | 25k| 0 | 18k|6194 | 1.023904e+03 | 1.045000e+03 | 2.06%| unknown
2481.90/2488.38 c 2488s| 30600 | 2214 | 13615k| 379.7 | 467M | 47 |1527 |4631 |3265 | 25k| 1 | 18k|6195 | 1.023904e+03 | 1.045000e+03 | 2.06%| unknown
2485.19/2491.64 c 2492s| 30700 | 2218 | 13645k| 379.5 | 467M | 47 |1527 |4619 |3263 | 25k| 1 | 18k|6195 | 1.023909e+03 | 1.045000e+03 | 2.06%| unknown
2490.38/2496.80 c 2497s| 30800 | 2222 | 13682k| 379.5 | 467M | 47 |1527 |4611 |3261 | 25k| 0 | 18k|6195 | 1.023927e+03 | 1.045000e+03 | 2.06%| unknown
2498.76/2505.23 c 2505s| 30900 | 2258 | 13746k| 380.2 | 467M | 47 |1527 |4602 |3266 | 25k| 1 | 18k|6196 | 1.023932e+03 | 1.045000e+03 | 2.06%| unknown
2503.15/2509.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2503.15/2509.63 c 2510s| 31000 | 2270 | 13783k| 380.2 | 467M | 47 |1527 |4562 |3268 | 25k| 1 | 18k|6197 | 1.023944e+03 | 1.045000e+03 | 2.06%| unknown
2514.42/2520.96 c 2521s| 31100 | 2284 | 13855k| 381.1 | 467M | 47 |1527 |4578 |3273 | 26k| 0 | 18k|6249 | 1.023947e+03 | 1.045000e+03 | 2.06%| unknown
2529.39/2535.97 c 2536s| 31200 | 2312 | 13935k| 382.3 | 468M | 47 |1527 |4546 |3274 | 26k| 1 | 18k|6265 | 1.023987e+03 | 1.045000e+03 | 2.05%| unknown
2536.17/2542.73 c 2543s| 31300 | 2320 | 13978k| 382.4 | 468M | 47 |1527 |4540 |3273 | 26k| 1 | 18k|6265 | 1.023991e+03 | 1.045000e+03 | 2.05%| unknown
2542.06/2548.61 c 2549s| 31400 | 2324 | 14016k| 382.4 | 468M | 47 |1527 |4562 |3271 | 26k| 1 | 18k|6270 | 1.023992e+03 | 1.045000e+03 | 2.05%| unknown
2545.35/2551.90 c 2552s| 31500 | 2322 | 14042k| 382.1 | 468M | 47 |1527 |4562 |3271 | 26k| 0 | 18k|6278 | 1.023992e+03 | 1.045000e+03 | 2.05%| unknown
2548.24/2554.89 c 2555s| 31600 | 2324 | 14070k| 381.8 | 468M | 47 |1527 |4566 |3272 | 26k| 2 | 18k|6279 | 1.023992e+03 | 1.045000e+03 | 2.05%| unknown
2550.83/2557.40 c 2557s| 31700 | 2320 | 14094k| 381.4 | 468M | 47 |1527 |4566 |3275 | 26k| 0 | 18k|6279 | 1.023992e+03 | 1.045000e+03 | 2.05%| unknown
2556.32/2562.93 c 2563s| 31800 | 2324 | 14130k| 381.4 | 468M | 47 |1527 |4563 |3271 | 26k| 1 | 18k|6279 | 1.024001e+03 | 1.045000e+03 | 2.05%| unknown
2564.80/2571.44 c 2571s| 31900 | 2332 | 14178k| 381.6 | 468M | 47 |1527 |4581 |3266 | 26k| 0 | 18k|6284 | 1.024017e+03 | 1.045000e+03 | 2.05%| unknown
2568.09/2574.74 c 2575s| 32000 | 2334 | 14207k| 381.4 | 468M | 47 |1527 |4588 |3266 | 26k| 0 | 18k|6289 | 1.024017e+03 | 1.045000e+03 | 2.05%| unknown
2575.18/2581.86 c 2582s| 32100 | 2340 | 14241k| 381.3 | 468M | 47 |1527 |4616 |3267 | 26k| 0 | 18k|6313 | 1.024019e+03 | 1.045000e+03 | 2.05%| unknown
2579.27/2585.92 c 2586s| 32200 | 2344 | 14268k| 381.0 | 468M | 47 |1527 |4629 |3263 | 26k| 1 | 18k|6328 | 1.024019e+03 | 1.045000e+03 | 2.05%| unknown
2582.46/2589.19 c 2589s| 32300 | 2348 | 14298k| 380.8 | 468M | 47 |1527 |4629 |3267 | 27k| 1 | 18k|6328 | 1.024019e+03 | 1.045000e+03 | 2.05%| unknown
2586.05/2592.72 c 2593s| 32400 | 2352 | 14330k| 380.6 | 468M | 47 |1527 |4612 |3269 | 27k| 0 | 18k|6328 | 1.024023e+03 | 1.045000e+03 | 2.05%| unknown
2594.44/2601.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2594.44/2601.12 c 2601s| 32500 | 2364 | 14374k| 380.7 | 468M | 47 |1527 |4605 |3271 | 27k| 0 | 18k|6328 | 1.024025e+03 | 1.045000e+03 | 2.05%| unknown
2599.92/2606.65 c 2607s| 32600 | 2370 | 14408k| 380.6 | 468M | 47 |1527 |4598 |3270 | 27k| 1 | 18k|6328 | 1.024039e+03 | 1.045000e+03 | 2.05%| unknown
2603.81/2610.52 c 2611s| 32700 | 2378 | 14442k| 380.5 | 468M | 47 |1527 |4595 |3273 | 27k| 1 | 18k|6328 | 1.024046e+03 | 1.045000e+03 | 2.05%| unknown
2609.69/2616.40 c 2616s| 32800 | 2378 | 14480k| 380.5 | 468M | 47 |1527 |4622 |3267 | 27k| 1 | 18k|6338 | 1.024049e+03 | 1.045000e+03 | 2.05%| unknown
2617.67/2624.42 c 2624s| 32900 | 2382 | 14545k| 381.2 | 468M | 47 |1527 |4603 |3268 | 27k| 0 | 18k|6338 | 1.024052e+03 | 1.045000e+03 | 2.05%| unknown
2624.56/2631.32 c 2631s| 33000 | 2390 | 14587k| 381.3 | 468M | 47 |1527 |4595 |3269 | 27k| 1 | 18k|6343 | 1.024067e+03 | 1.045000e+03 | 2.04%| unknown
2633.64/2640.47 c 2640s| 33100 | 2404 | 14639k| 381.7 | 468M | 47 |1527 |4623 |3268 | 27k| 1 | 18k|6379 | 1.024084e+03 | 1.045000e+03 | 2.04%| unknown
2636.13/2642.93 c 2643s| 33200 | 2400 | 14662k| 381.3 | 468M | 47 |1527 |4629 |3269 | 27k| 0 | 18k|6380 | 1.024084e+03 | 1.045000e+03 | 2.04%| unknown
2638.52/2645.31 c 2645s| 33300 | 2398 | 14683k| 380.9 | 468M | 47 |1527 |4623 |3268 | 27k| 1 | 18k|6380 | 1.024084e+03 | 1.045000e+03 | 2.04%| unknown
2644.41/2651.28 c 2651s| 33400 | 2406 | 14724k| 380.9 | 468M | 47 |1527 |4605 |3276 | 27k| 1 | 18k|6385 | 1.024100e+03 | 1.045000e+03 | 2.04%| unknown
2647.50/2654.38 c 2654s| 33500 | 2400 | 14751k| 380.6 | 468M | 47 |1527 |4567 |3270 | 27k| 0 | 18k|6385 | 1.024119e+03 | 1.045000e+03 | 2.04%| unknown
2650.60/2657.44 c 2657s| 33600 | 2396 | 14776k| 380.3 | 468M | 47 |1527 |4576 |3269 | 27k| 0 | 18k|6388 | 1.024119e+03 | 1.045000e+03 | 2.04%| unknown
2655.19/2662.01 c 2662s| 33700 | 2408 | 14815k| 380.3 | 468M | 47 |1527 |4583 |3267 | 27k| 1 | 18k|6388 | 1.024122e+03 | 1.045000e+03 | 2.04%| unknown
2658.28/2665.15 c 2665s| 33800 | 2408 | 14844k| 380.1 | 468M | 47 |1527 |4583 |3271 | 27k| 1 | 18k|6388 | 1.024122e+03 | 1.045000e+03 | 2.04%| unknown
2664.46/2671.32 c 2671s| 33900 | 2414 | 14884k| 380.2 | 468M | 47 |1527 |4571 |3263 | 28k| 0 | 18k|6389 | 1.024138e+03 | 1.045000e+03 | 2.04%| unknown
2667.36/2674.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2667.36/2674.28 c 2674s| 34000 | 2412 | 14911k| 379.9 | 468M | 47 |1527 |4598 |3267 | 28k| 0 | 18k|6395 | 1.024138e+03 | 1.045000e+03 | 2.04%| unknown
2672.15/2679.06 c 2679s| 34100 | 2424 | 14953k| 380.0 | 468M | 47 |1527 |4610 |3268 | 28k| 0 | 18k|6401 | 1.024146e+03 | 1.045000e+03 | 2.04%| unknown
2675.63/2682.52 c 2682s| 34200 | 2422 | 14981k| 379.7 | 468M | 47 |1527 |4710 |3268 | 28k| 1 | 19k|6421 | 1.024146e+03 | 1.045000e+03 | 2.04%| unknown
2684.01/2690.96 c 2691s| 34300 | 2436 | 15036k| 380.2 | 468M | 47 |1527 |4690 |3272 | 28k| 1 | 19k|6423 | 1.024186e+03 | 1.045000e+03 | 2.03%| unknown
2688.40/2695.31 c 2695s| 34400 | 2446 | 15073k| 380.1 | 468M | 47 |1527 |4706 |3269 | 28k| 1 | 19k|6429 | 1.024188e+03 | 1.045000e+03 | 2.03%| unknown
2691.90/2698.88 c 2699s| 34500 | 2446 | 15104k| 379.9 | 468M | 47 |1527 |4753 |3269 | 28k| 1 | 19k|6443 | 1.024188e+03 | 1.045000e+03 | 2.03%| unknown
2695.49/2702.48 c 2702s| 34600 | 2456 | 15136k| 379.8 | 468M | 47 |1527 |4798 |3273 | 28k| 1 | 19k|6451 | 1.024188e+03 | 1.045000e+03 | 2.03%| unknown
2699.78/2706.77 c 2707s| 34700 | 2458 | 15170k| 379.7 | 468M | 47 |1527 |4853 |3275 | 28k| 0 | 19k|6467 | 1.024200e+03 | 1.045000e+03 | 2.03%| unknown
2710.85/2717.85 c 2718s| 34800 | 2476 | 15248k| 380.7 | 468M | 47 |1527 |4844 |3276 | 28k| 0 | 19k|6473 | 1.024210e+03 | 1.045000e+03 | 2.03%| unknown
2715.94/2722.99 c 2723s| 34900 | 2482 | 15284k| 380.6 | 468M | 47 |1527 |4864 |3271 | 28k| 1 | 19k|6494 | 1.024214e+03 | 1.045000e+03 | 2.03%| unknown
2720.72/2727.73 c 2728s| 35000 | 2490 | 15325k| 380.7 | 468M | 47 |1527 |4950 |3270 | 28k| 1 | 19k|6511 | 1.024216e+03 | 1.045000e+03 | 2.03%| unknown
2725.71/2732.73 c 2733s| 35100 | 2488 | 15355k| 380.5 | 468M | 47 |1527 |5097 |3277 | 28k| 0 | 19k|6542 | 1.024216e+03 | 1.045000e+03 | 2.03%| unknown
2731.50/2738.56 c 2739s| 35200 | 2494 | 15394k| 380.6 | 468M | 47 |1527 |5155 |3279 | 28k| 0 | 19k|6553 | 1.024218e+03 | 1.045000e+03 | 2.03%| unknown
2735.09/2742.17 c 2742s| 35300 | 2496 | 15425k| 380.4 | 468M | 47 |1527 |5265 |3281 | 28k| 0 | 19k|6578 | 1.024218e+03 | 1.045000e+03 | 2.03%| unknown
2740.78/2747.86 c 2748s| 35400 | 2494 | 15453k| 380.1 | 468M | 47 |1527 |5399 |3291 | 28k| 2 | 20k|6614 | 1.024218e+03 | 1.045000e+03 | 2.03%| unknown
2751.25/2758.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2751.25/2758.37 c 2758s| 35500 | 2502 | 15506k| 380.5 | 469M | 47 |1527 |5526 |3284 | 29k| 0 | 20k|6652 | 1.024231e+03 | 1.045000e+03 | 2.03%| unknown
2755.84/2762.92 c 2763s| 35600 | 2518 | 15544k| 380.5 | 469M | 47 |1527 |5625 |3290 | 29k| 0 | 20k|6677 | 1.024236e+03 | 1.045000e+03 | 2.03%| unknown
2768.41/2775.55 c 2776s| 35700 | 2534 | 15593k| 380.8 | 469M | 47 |1527 |5608 |3291 | 29k| 0 | 20k|6756 | 1.024251e+03 | 1.045000e+03 | 2.03%| unknown
2775.59/2782.78 c 2783s| 35800 | 2540 | 15626k| 380.6 | 474M | 47 |1527 |5676 |3297 | 29k| 2 | 20k|6791 | 1.024251e+03 | 1.045000e+03 | 2.03%| unknown
2782.67/2789.80 c 2790s| 35900 | 2540 | 15667k| 380.7 | 484M | 47 |1527 |5747 |3294 | 29k| 1 | 20k|6812 | 1.024257e+03 | 1.045000e+03 | 2.03%| unknown
2785.76/2792.91 c 2793s| 36000 | 2540 | 15695k| 380.5 | 484M | 47 |1527 |5753 |3299 | 29k| 1 | 20k|6817 | 1.024257e+03 | 1.045000e+03 | 2.03%| unknown
2789.36/2796.58 c 2797s| 36100 | 2542 | 15726k| 380.3 | 484M | 47 |1527 |5827 |3296 | 29k| 1 | 20k|6837 | 1.024257e+03 | 1.045000e+03 | 2.03%| unknown
2796.24/2803.45 c 2803s| 36200 | 2546 | 15766k| 380.3 | 484M | 47 |1527 |5842 |3296 | 29k| 1 | 21k|6864 | 1.024257e+03 | 1.045000e+03 | 2.03%| unknown
2800.13/2807.38 c 2807s| 36300 | 2546 | 15795k| 380.1 | 485M | 47 |1527 |5871 |3300 | 29k| 1 | 21k|6871 | 1.024257e+03 | 1.045000e+03 | 2.03%| unknown
2806.61/2813.83 c 2814s| 36400 | 2550 | 15832k| 380.1 | 485M | 47 |1527 |5889 |3307 | 29k| 0 | 21k|6908 | 1.024260e+03 | 1.045000e+03 | 2.02%| unknown
2815.19/2822.43 c 2822s| 36500 | 2572 | 15889k| 380.6 | 486M | 47 |1527 |5839 |3309 | 29k| 0 | 21k|6915 | 1.024282e+03 | 1.045000e+03 | 2.02%| unknown
2822.67/2829.95 c 2830s| 36600 | 2580 | 15936k| 380.8 | 494M | 47 |1527 |5812 |3318 | 29k| 0 | 21k|6926 | 1.024290e+03 | 1.045000e+03 | 2.02%| unknown
2828.36/2835.63 c 2836s| 36700 | 2580 | 15971k| 380.7 | 501M | 47 |1527 |5859 |3311 | 29k| 1 | 21k|6940 | 1.024290e+03 | 1.045000e+03 | 2.02%| unknown
2836.94/2844.25 c 2844s| 36800 | 2590 | 16039k| 381.4 | 508M | 47 |1527 |5774 |3285 | 29k| 0 | 21k|6947 | 1.024292e+03 | 1.045000e+03 | 2.02%| unknown
2844.82/2852.19 c 2852s| 36900 | 2598 | 16086k| 381.6 | 508M | 47 |1527 |5648 |3295 | 30k| 0 | 21k|6967 | 1.024297e+03 | 1.045000e+03 | 2.02%| unknown
2851.70/2859.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2851.70/2859.06 c 2859s| 37000 | 2610 | 16132k| 381.8 | 508M | 47 |1527 |5469 |3295 | 30k| 1 | 21k|6972 | 1.024304e+03 | 1.045000e+03 | 2.02%| unknown
2856.69/2864.05 c 2864s| 37100 | 2610 | 16162k| 381.6 | 508M | 47 |1527 |5479 |3314 | 30k| 0 | 21k|6994 | 1.024304e+03 | 1.045000e+03 | 2.02%| unknown
2862.87/2870.20 c 2870s| 37200 | 2614 | 16200k| 381.6 | 510M | 47 |1527 |5332 |3275 | 30k| 1 | 21k|6995 | 1.024307e+03 | 1.045000e+03 | 2.02%| unknown
2866.96/2874.34 c 2874s| 37300 | 2616 | 16237k| 381.6 | 508M | 47 |1527 |5187 |3304 | 30k| 0 | 21k|6995 | 1.024310e+03 | 1.045000e+03 | 2.02%| unknown
2873.84/2881.24 c 2881s| 37400 | 2622 | 16281k| 381.7 | 504M | 47 |1527 |4882 |3279 | 30k| 0 | 21k|6995 | 1.024311e+03 | 1.045000e+03 | 2.02%| unknown
2877.83/2885.29 c 2885s| 37500 | 2628 | 16318k| 381.7 | 495M | 47 |1527 |4728 |3299 | 30k| 1 | 21k|6995 | 1.024315e+03 | 1.045000e+03 | 2.02%| unknown
2886.11/2893.59 c 2894s| 37600 | 2646 | 16376k| 382.2 | 495M | 47 |1527 |4555 |3293 | 30k| 0 | 21k|6995 | 1.024333e+03 | 1.045000e+03 | 2.02%| unknown
2889.41/2896.85 c 2897s| 37700 | 2642 | 16406k| 382.0 | 495M | 47 |1527 |4528 |3288 | 31k| 0 | 21k|6995 | 1.024333e+03 | 1.045000e+03 | 2.02%| unknown
2896.69/2904.11 c 2904s| 37800 | 2654 | 16452k| 382.1 | 494M | 47 |1527 |4417 |3302 | 31k| 0 | 21k|6996 | 1.024348e+03 | 1.045000e+03 | 2.02%| unknown
2903.87/2911.37 c 2911s| 37900 | 2676 | 16505k| 382.5 | 494M | 47 |1527 |4377 |3302 | 31k| 0 | 21k|6996 | 1.024354e+03 | 1.045000e+03 | 2.02%| unknown
2907.36/2914.82 c 2915s| 38000 | 2682 | 16534k| 382.3 | 494M | 47 |1527 |4385 |3306 | 31k| 1 | 21k|7001 | 1.024354e+03 | 1.045000e+03 | 2.02%| unknown
2911.65/2919.11 c 2919s| 38100 | 2680 | 16568k| 382.2 | 494M | 47 |1527 |4492 |3307 | 31k| 0 | 21k|7032 | 1.024354e+03 | 1.045000e+03 | 2.02%| unknown
2915.44/2922.95 c 2923s| 38200 | 2680 | 16603k| 382.1 | 494M | 47 |1527 |4499 |3301 | 31k| 0 | 21k|7042 | 1.024367e+03 | 1.045000e+03 | 2.01%| unknown
2927.52/2935.00 c 2935s| 38300 | 2692 | 16687k| 383.1 | 494M | 47 |1527 |4485 |3294 | 31k| 0 | 21k|7054 | 1.024372e+03 | 1.045000e+03 | 2.01%| unknown
2931.30/2938.88 c 2939s| 38400 | 2700 | 16722k| 383.1 | 494M | 47 |1527 |4471 |3307 | 31k| 2 | 21k|7054 | 1.024377e+03 | 1.045000e+03 | 2.01%| unknown
2934.69/2942.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2934.69/2942.23 c 2942s| 38500 | 2700 | 16753k| 382.9 | 494M | 47 |1527 |4471 |3308 | 31k| 1 | 21k|7054 | 1.024379e+03 | 1.045000e+03 | 2.01%| unknown
2938.38/2945.94 c 2946s| 38600 | 2706 | 16787k| 382.8 | 494M | 47 |1527 |4471 |3311 | 31k| 1 | 21k|7054 | 1.024379e+03 | 1.045000e+03 | 2.01%| unknown
2942.37/2949.92 c 2950s| 38700 | 2718 | 16824k| 382.8 | 494M | 47 |1527 |4462 |3306 | 31k| 0 | 21k|7054 | 1.024381e+03 | 1.045000e+03 | 2.01%| unknown
2947.06/2954.66 c 2955s| 38800 | 2728 | 16867k| 382.9 | 493M | 47 |1527 |4462 |3313 | 31k| 1 | 21k|7055 | 1.024392e+03 | 1.045000e+03 | 2.01%| unknown
2952.45/2960.09 c 2960s| 38900 | 2732 | 16903k| 382.8 | 493M | 47 |1527 |4495 |3310 | 31k| 0 | 22k|7073 | 1.024406e+03 | 1.045000e+03 | 2.01%| unknown
2957.64/2965.29 c 2965s| 39000 | 2736 | 16941k| 382.8 | 493M | 47 |1527 |4486 |3310 | 31k| 1 | 22k|7074 | 1.024413e+03 | 1.045000e+03 | 2.01%| unknown
2961.63/2969.23 c 2969s| 39100 | 2748 | 16979k| 382.8 | 493M | 47 |1527 |4503 |3311 | 31k| 1 | 22k|7079 | 1.024419e+03 | 1.045000e+03 | 2.01%| unknown
2967.91/2975.57 c 2976s| 39200 | 2756 | 17023k| 383.0 | 494M | 47 |1527 |4512 |3312 | 31k| 1 | 22k|7101 | 1.024420e+03 | 1.045000e+03 | 2.01%| unknown
2979.58/2987.29 c 2987s| 39300 | 2770 | 17079k| 383.4 | 494M | 47 |1527 |4479 |3316 | 32k| 0 | 22k|7112 | 1.024434e+03 | 1.045000e+03 | 2.01%| unknown
2986.97/2994.64 c 2995s| 39400 | 2774 | 17124k| 383.5 | 495M | 47 |1527 |4546 |3313 | 32k| 1 | 22k|7134 | 1.024438e+03 | 1.045000e+03 | 2.01%| unknown
2990.96/2998.69 c 2999s| 39500 | 2774 | 17161k| 383.5 | 496M | 47 |1527 |4543 |3317 | 32k| 1 | 22k|7134 | 1.024439e+03 | 1.045000e+03 | 2.01%| unknown
3000.93/3008.60 c 3009s| 39600 | 2782 | 17240k| 384.4 | 496M | 47 |1527 |4499 |3304 | 32k| 1 | 22k|7135 | 1.024445e+03 | 1.045000e+03 | 2.01%| unknown
3006.52/3014.20 c 3014s| 39700 | 2788 | 17291k| 384.7 | 496M | 47 |1527 |4445 |3285 | 32k| 0 | 22k|7135 | 1.024453e+03 | 1.045000e+03 | 2.01%| unknown
3014.80/3022.52 c 3022s| 39800 | 2798 | 17345k| 385.0 | 496M | 47 |1527 |4431 |3305 | 32k| 0 | 22k|7135 | 1.024460e+03 | 1.045000e+03 | 2.00%| unknown
3023.48/3031.26 c 3031s| 39900 | 2826 | 17409k| 385.6 | 495M | 47 |1527 |4370 |3325 | 32k| 1 | 22k|7135 | 1.024477e+03 | 1.045000e+03 | 2.00%| unknown
3027.17/3034.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3027.17/3034.91 c 3035s| 40000 | 2826 | 17439k| 385.4 | 492M | 47 |1527 |4460 |3324 | 32k| 1 | 22k|7164 | 1.024477e+03 | 1.045000e+03 | 2.00%| unknown
3031.96/3039.77 c 3040s| 40100 | 2830 | 17480k| 385.4 | 492M | 47 |1527 |4418 |3325 | 32k| 0 | 22k|7164 | 1.024482e+03 | 1.045000e+03 | 2.00%| unknown
3040.04/3047.88 c 3048s| 40200 | 2848 | 17535k| 385.8 | 492M | 47 |1527 |4315 |3300 | 33k| 1 | 22k|7165 | 1.024512e+03 | 1.045000e+03 | 2.00%| unknown
3046.32/3054.12 c 3054s| 40300 | 2854 | 17576k| 385.9 | 492M | 47 |1527 |4303 |3312 | 33k| 1 | 22k|7165 | 1.024512e+03 | 1.045000e+03 | 2.00%| unknown
3050.01/3057.80 c 3058s| 40400 | 2850 | 17610k| 385.8 | 492M | 47 |1527 |4278 |3313 | 33k| 0 | 22k|7165 | 1.024517e+03 | 1.045000e+03 | 2.00%| unknown
3060.39/3068.26 c 3068s| 40500 | 2866 | 17671k| 386.2 | 492M | 47 |1527 |4230 |3293 | 33k| 0 | 22k|7165 | 1.024528e+03 | 1.045000e+03 | 2.00%| unknown
3063.48/3071.36 c 3071s| 40600 | 2864 | 17701k| 386.0 | 492M | 47 |1527 |4223 |3310 | 33k| 0 | 22k|7165 | 1.024528e+03 | 1.045000e+03 | 2.00%| unknown
3068.87/3076.79 c 3077s| 40700 | 2874 | 17750k| 386.3 | 492M | 47 |1527 |4198 |3293 | 33k| 0 | 22k|7167 | 1.024539e+03 | 1.045000e+03 | 2.00%| unknown
3076.55/3084.40 c 3084s| 40800 | 2878 | 17812k| 386.8 | 492M | 47 |1527 |4189 |3287 | 33k| 0 | 22k|7167 | 1.024541e+03 | 1.045000e+03 | 2.00%| unknown
3082.03/3089.95 c 3090s| 40900 | 2888 | 17864k| 387.1 | 492M | 47 |1527 |4206 |3298 | 33k| 0 | 22k|7171 | 1.024545e+03 | 1.045000e+03 | 2.00%| unknown
3090.91/3098.81 c 3099s| 41000 | 2902 | 17917k| 387.4 | 492M | 47 |1527 |4167 |3304 | 34k| 0 | 22k|7171 | 1.024555e+03 | 1.045000e+03 | 2.00%| unknown
3094.40/3102.33 c 3102s| 41100 | 2898 | 17950k| 387.3 | 492M | 47 |1527 |4173 |3314 | 34k| 0 | 22k|7174 | 1.024555e+03 | 1.045000e+03 | 2.00%| unknown
3098.49/3106.44 c 3106s| 41200 | 2892 | 17985k| 387.2 | 492M | 47 |1527 |4173 |3307 | 34k| 1 | 22k|7178 | 1.024555e+03 | 1.045000e+03 | 2.00%| unknown
3103.58/3111.59 c 3112s| 41300 | 2900 | 18030k| 387.3 | 492M | 47 |1527 |4174 |3309 | 34k| 1 | 22k|7182 | 1.024560e+03 | 1.045000e+03 | 2.00%| unknown
3108.27/3116.27 c 3116s| 41400 | 2904 | 18071k| 387.4 | 492M | 47 |1527 |4174 |3326 | 34k| 0 | 22k|7186 | 1.024561e+03 | 1.045000e+03 | 1.99%| unknown
3112.76/3120.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3112.76/3120.78 c 3121s| 41500 | 2912 | 18109k| 387.4 | 492M | 47 |1527 |4176 |3327 | 34k| 1 | 22k|7192 | 1.024564e+03 | 1.045000e+03 | 1.99%| unknown
3120.24/3128.20 c 3128s| 41600 | 2928 | 18164k| 387.7 | 492M | 47 |1527 |4180 |3286 | 34k| 1 | 22k|7196 | 1.024569e+03 | 1.045000e+03 | 1.99%| unknown
3123.63/3131.61 c 3132s| 41700 | 2928 | 18196k| 387.5 | 492M | 47 |1527 |4180 |3296 | 34k| 0 | 22k|7196 | 1.024569e+03 | 1.045000e+03 | 1.99%| unknown
3131.61/3139.65 c 3140s| 41800 | 2952 | 18251k| 387.9 | 492M | 47 |1527 |4149 |3297 | 34k| 1 | 22k|7196 | 1.024575e+03 | 1.045000e+03 | 1.99%| unknown
3138.10/3146.14 c 3146s| 41900 | 2960 | 18297k| 388.1 | 492M | 47 |1527 |4140 |3309 | 34k| 2 | 22k|7196 | 1.024578e+03 | 1.045000e+03 | 1.99%| unknown
3143.88/3151.94 c 3152s| 42000 | 2968 | 18340k| 388.1 | 492M | 47 |1527 |4088 |3286 | 35k| 1 | 22k|7198 | 1.024585e+03 | 1.045000e+03 | 1.99%| unknown
3147.67/3155.79 c 3156s| 42100 | 2974 | 18376k| 388.1 | 492M | 47 |1527 |4081 |3298 | 35k| 0 | 22k|7199 | 1.024588e+03 | 1.045000e+03 | 1.99%| unknown
3150.57/3158.63 c 3159s| 42200 | 2970 | 18403k| 387.8 | 492M | 47 |1527 |4086 |3296 | 35k| 0 | 22k|7202 | 1.024588e+03 | 1.045000e+03 | 1.99%| unknown
3153.56/3161.68 c 3162s| 42300 | 2972 | 18431k| 387.6 | 492M | 47 |1527 |4084 |3307 | 35k| 2 | 22k|7202 | 1.024588e+03 | 1.045000e+03 | 1.99%| unknown
3159.64/3167.76 c 3168s| 42400 | 2982 | 18475k| 387.7 | 492M | 47 |1527 |4086 |3304 | 35k| 0 | 22k|7205 | 1.024602e+03 | 1.045000e+03 | 1.99%| unknown
3163.53/3171.61 c 3172s| 42500 | 2986 | 18511k| 387.7 | 492M | 47 |1527 |4080 |3295 | 35k| 1 | 22k|7205 | 1.024606e+03 | 1.045000e+03 | 1.99%| unknown
3167.62/3175.71 c 3176s| 42600 | 2984 | 18547k| 387.6 | 492M | 47 |1527 |4122 |3296 | 35k| 1 | 22k|7219 | 1.024606e+03 | 1.045000e+03 | 1.99%| unknown
3175.70/3183.80 c 3184s| 42700 | 2990 | 18614k| 388.2 | 492M | 47 |1527 |4115 |3308 | 35k| 2 | 22k|7219 | 1.024607e+03 | 1.045000e+03 | 1.99%| unknown
3181.99/3190.13 c 3190s| 42800 | 2994 | 18659k| 388.3 | 492M | 47 |1527 |4106 |3291 | 35k| 1 | 22k|7220 | 1.024638e+03 | 1.045000e+03 | 1.99%| unknown
3184.78/3192.93 c 3193s| 42900 | 2994 | 18686k| 388.1 | 492M | 47 |1527 |4106 |3298 | 35k| 0 | 22k|7220 | 1.024638e+03 | 1.045000e+03 | 1.99%| unknown
3189.27/3197.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3189.27/3197.44 c 3197s| 43000 | 3006 | 18725k| 388.1 | 492M | 47 |1527 |4094 |3299 | 35k| 0 | 22k|7220 | 1.024649e+03 | 1.045000e+03 | 1.99%| unknown
3192.76/3200.92 c 3201s| 43100 | 3008 | 18757k| 387.9 | 492M | 47 |1527 |4092 |3288 | 35k| 1 | 22k|7221 | 1.024664e+03 | 1.045000e+03 | 1.98%| unknown
3198.95/3207.17 c 3207s| 43200 | 3010 | 18794k| 387.9 | 492M | 47 |1527 |4080 |3287 | 35k| 0 | 22k|7221 | 1.024669e+03 | 1.045000e+03 | 1.98%| unknown
3203.04/3211.26 c 3211s| 43300 | 3014 | 18831k| 387.9 | 492M | 47 |1527 |4079 |3286 | 35k| 0 | 22k|7221 | 1.024685e+03 | 1.045000e+03 | 1.98%| unknown
3206.03/3214.26 c 3214s| 43400 | 3014 | 18858k| 387.6 | 492M | 47 |1527 |4078 |3286 | 35k| 1 | 22k|7221 | 1.024685e+03 | 1.045000e+03 | 1.98%| unknown
3210.92/3219.18 c 3219s| 43500 | 3030 | 18902k| 387.7 | 492M | 47 |1527 |4074 |3300 | 35k| 0 | 22k|7221 | 1.024689e+03 | 1.045000e+03 | 1.98%| unknown
3213.71/3221.98 c 3222s| 43600 | 3030 | 18929k| 387.5 | 492M | 47 |1527 |4085 |3302 | 35k| 1 | 22k|7223 | 1.024689e+03 | 1.045000e+03 | 1.98%| unknown
3216.81/3225.07 c 3225s| 43700 | 3032 | 18957k| 387.3 | 492M | 47 |1527 |4122 |3305 | 36k| 1 | 23k|7236 | 1.024689e+03 | 1.045000e+03 | 1.98%| unknown
3220.49/3228.75 c 3229s| 43800 | 3030 | 18988k| 387.1 | 492M | 47 |1527 |4137 |3295 | 36k| 0 | 23k|7248 | 1.024689e+03 | 1.045000e+03 | 1.98%| unknown
3223.29/3231.59 c 3232s| 43900 | 3030 | 19015k| 386.9 | 492M | 47 |1527 |4137 |3297 | 36k| 0 | 23k|7248 | 1.024689e+03 | 1.045000e+03 | 1.98%| unknown
3226.18/3234.48 c 3234s| 44000 | 3026 | 19041k| 386.6 | 492M | 47 |1527 |4137 |3294 | 36k| 1 | 23k|7248 | 1.024689e+03 | 1.045000e+03 | 1.98%| unknown
3231.27/3239.54 c 3240s| 44100 | 3038 | 19085k| 386.7 | 492M | 47 |1527 |4125 |3297 | 36k| 0 | 23k|7248 | 1.024699e+03 | 1.045000e+03 | 1.98%| unknown
3239.25/3247.57 c 3248s| 44200 | 3060 | 19140k| 387.1 | 493M | 47 |1527 |4086 |3302 | 36k| 0 | 23k|7248 | 1.024708e+03 | 1.045000e+03 | 1.98%| unknown
3245.43/3253.71 c 3254s| 44300 | 3070 | 19181k| 387.1 | 493M | 47 |1527 |4063 |3308 | 36k| 1 | 23k|7248 | 1.024717e+03 | 1.045000e+03 | 1.98%| unknown
3248.83/3257.15 c 3257s| 44400 | 3074 | 19213k| 387.0 | 493M | 47 |1527 |4076 |3306 | 36k| 1 | 23k|7253 | 1.024717e+03 | 1.045000e+03 | 1.98%| unknown
3252.12/3260.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3252.12/3260.46 c 3260s| 44500 | 3070 | 19241k| 386.7 | 493M | 47 |1527 |4136 |3304 | 36k| 0 | 23k|7274 | 1.024717e+03 | 1.045000e+03 | 1.98%| unknown
3255.21/3263.53 c 3264s| 44600 | 3070 | 19270k| 386.5 | 493M | 47 |1527 |4164 |3307 | 36k| 0 | 23k|7284 | 1.024717e+03 | 1.045000e+03 | 1.98%| unknown
3263.19/3271.58 c 3272s| 44700 | 3078 | 19315k| 386.7 | 493M | 47 |1527 |4301 |3298 | 36k| 1 | 23k|7366 | 1.024730e+03 | 1.045000e+03 | 1.98%| unknown
3268.97/3277.34 c 3277s| 44800 | 3082 | 19353k| 386.7 | 493M | 47 |1527 |4294 |3304 | 36k| 1 | 23k|7366 | 1.024742e+03 | 1.045000e+03 | 1.98%| unknown
3277.45/3285.84 c 3286s| 44900 | 3092 | 19419k| 387.2 | 493M | 47 |1527 |4264 |3303 | 36k| 1 | 23k|7367 | 1.024757e+03 | 1.045000e+03 | 1.98%| unknown
3280.55/3288.97 c 3289s| 45000 | 3090 | 19449k| 387.0 | 493M | 47 |1527 |4264 |3288 | 36k| 1 | 23k|7367 | 1.024757e+03 | 1.045000e+03 | 1.98%| unknown
3283.64/3292.07 c 3292s| 45100 | 3092 | 19477k| 386.8 | 493M | 47 |1527 |4264 |3289 | 36k| 1 | 23k|7367 | 1.024757e+03 | 1.045000e+03 | 1.98%| unknown
3287.53/3295.91 c 3296s| 45200 | 3094 | 19514k| 386.8 | 493M | 47 |1527 |4244 |3299 | 36k| 1 | 23k|7367 | 1.024766e+03 | 1.045000e+03 | 1.97%| unknown
3295.61/3304.04 c 3304s| 45300 | 3118 | 19569k| 387.1 | 493M | 47 |1527 |4200 |3292 | 37k| 1 | 23k|7367 | 1.024766e+03 | 1.045000e+03 | 1.97%| unknown
3300.00/3308.44 c 3308s| 45400 | 3126 | 19609k| 387.1 | 493M | 47 |1527 |4183 |3298 | 37k| 1 | 23k|7367 | 1.024776e+03 | 1.045000e+03 | 1.97%| unknown
3308.78/3317.21 c 3317s| 45500 | 3154 | 19671k| 387.6 | 493M | 47 |1527 |4069 |3299 | 37k| 0 | 23k|7367 | 1.024794e+03 | 1.045000e+03 | 1.97%| unknown
3313.86/3322.34 c 3322s| 45600 | 3170 | 19716k| 387.7 | 493M | 47 |1527 |4101 |3304 | 37k| 2 | 23k|7388 | 1.024794e+03 | 1.045000e+03 | 1.97%| unknown
3320.55/3329.08 c 3329s| 45700 | 3180 | 19757k| 387.8 | 493M | 47 |1527 |4109 |3301 | 37k| 0 | 23k|7434 | 1.024798e+03 | 1.045000e+03 | 1.97%| unknown
3323.24/3331.71 c 3332s| 45800 | 3182 | 19784k| 387.5 | 493M | 47 |1527 |4109 |3299 | 37k| 1 | 23k|7434 | 1.024798e+03 | 1.045000e+03 | 1.97%| unknown
3326.13/3334.62 c 3335s| 45900 | 3186 | 19814k| 387.4 | 493M | 47 |1527 |4132 |3304 | 37k| 0 | 23k|7439 | 1.024798e+03 | 1.045000e+03 | 1.97%| unknown
3334.22/3342.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3334.22/3342.73 c 3343s| 46000 | 3198 | 19861k| 387.5 | 493M | 47 |1527 |4098 |3304 | 37k| 1 | 23k|7449 | 1.024805e+03 | 1.045000e+03 | 1.97%| unknown
3343.29/3351.82 c 3352s| 46100 | 3210 | 19913k| 387.8 | 493M | 47 |1527 |4111 |3302 | 37k| 0 | 23k|7480 | 1.024815e+03 | 1.045000e+03 | 1.97%| unknown
3356.96/3365.55 c 3366s| 46200 | 3228 | 19988k| 388.5 | 493M | 47 |1527 |4094 |3303 | 37k| 1 | 23k|7514 | 1.024831e+03 | 1.045000e+03 | 1.97%| unknown
3363.55/3372.12 c 3372s| 46300 | 3228 | 20015k| 388.3 | 493M | 47 |1527 |4183 |3303 | 37k| 1 | 24k|7571 | 1.024831e+03 | 1.045000e+03 | 1.97%| unknown
3373.72/3382.39 c 3382s| 46400 | 3238 | 20057k| 388.3 | 493M | 47 |1527 |4299 |3315 | 37k| 0 | 24k|7647 | 1.024835e+03 | 1.045000e+03 | 1.97%| unknown
3384.29/3392.99 c 3393s| 46500 | 3244 | 20104k| 388.5 | 497M | 47 |1527 |4317 |3314 | 38k| 0 | 24k|7678 | 1.024839e+03 | 1.045000e+03 | 1.97%| unknown
3390.28/3398.96 c 3399s| 46600 | 3254 | 20147k| 388.6 | 497M | 47 |1527 |4304 |3320 | 38k| 1 | 24k|7684 | 1.024848e+03 | 1.045000e+03 | 1.97%| unknown
3397.26/3405.91 c 3406s| 46700 | 3264 | 20194k| 388.7 | 497M | 47 |1527 |4339 |3320 | 38k| 0 | 24k|7698 | 1.024855e+03 | 1.045000e+03 | 1.97%| unknown
3403.25/3411.95 c 3412s| 46800 | 3266 | 20228k| 388.6 | 498M | 47 |1527 |4348 |3323 | 38k| 0 | 24k|7720 | 1.024857e+03 | 1.045000e+03 | 1.97%| unknown
3408.34/3417.06 c 3417s| 46900 | 3270 | 20269k| 388.7 | 498M | 47 |1527 |4367 |3317 | 38k| 1 | 24k|7743 | 1.024860e+03 | 1.045000e+03 | 1.97%| unknown
3414.02/3422.71 c 3423s| 47000 | 3274 | 20305k| 388.6 | 498M | 47 |1527 |4449 |3329 | 38k| 0 | 24k|7766 | 1.024864e+03 | 1.045000e+03 | 1.96%| unknown
3422.90/3431.66 c 3432s| 47100 | 3288 | 20351k| 388.8 | 499M | 47 |1527 |4402 |3331 | 38k| 1 | 24k|7771 | 1.024866e+03 | 1.045000e+03 | 1.96%| unknown
3432.77/3441.57 c 3442s| 47200 | 3304 | 20405k| 389.0 | 500M | 47 |1527 |4337 |3325 | 38k| 0 | 24k|7801 | 1.024886e+03 | 1.045000e+03 | 1.96%| unknown
3438.66/3447.42 c 3447s| 47300 | 3308 | 20439k| 388.9 | 500M | 50 |1527 |4370 |3330 | 38k| 0 | 24k|7825 | 1.024892e+03 | 1.045000e+03 | 1.96%| unknown
3445.84/3454.63 c 3455s| 47400 | 3314 | 20480k| 389.0 | 504M | 51 |1527 |4430 |3324 | 38k| 1 | 25k|7861 | 1.024893e+03 | 1.045000e+03 | 1.96%| unknown
3455.42/3464.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3455.42/3464.26 c 3464s| 47500 | 3334 | 20559k| 389.7 | 507M | 51 |1527 |4309 |3321 | 39k| 0 | 25k|7861 | 1.024914e+03 | 1.045000e+03 | 1.96%| unknown
3461.40/3470.21 c 3470s| 47600 | 3342 | 20602k| 389.8 | 509M | 51 |1527 |4281 |3338 | 39k| 0 | 25k|7861 | 1.024915e+03 | 1.045000e+03 | 1.96%| unknown
3472.07/3480.96 c 3481s| 47700 | 3348 | 20651k| 390.0 | 524M | 51 |1527 |4310 |3343 | 39k| 1 | 25k|7906 | 1.024917e+03 | 1.045000e+03 | 1.96%| unknown
3480.46/3489.33 c 3489s| 47800 | 3356 | 20711k| 390.4 | 527M | 51 |1527 |4334 |3322 | 39k| 0 | 25k|7940 | 1.024921e+03 | 1.045000e+03 | 1.96%| unknown
3484.65/3493.50 c 3493s| 47900 | 3362 | 20751k| 390.4 | 525M | 51 |1527 |4288 |3329 | 39k| 1 | 25k|7940 | 1.024921e+03 | 1.045000e+03 | 1.96%| unknown
3490.44/3499.37 c 3499s| 48000 | 3372 | 20799k| 390.6 | 525M | 51 |1527 |4165 |3322 | 39k| 1 | 25k|7940 | 1.024923e+03 | 1.045000e+03 | 1.96%| unknown
3495.32/3504.21 c 3504s| 48100 | 3380 | 20842k| 390.7 | 525M | 51 |1527 |4082 |3300 | 39k| 1 | 25k|7940 | 1.024927e+03 | 1.045000e+03 | 1.96%| unknown
3498.82/3507.76 c 3508s| 48200 | 3378 | 20877k| 390.6 | 521M | 51 |1527 |4081 |3328 | 39k| 0 | 25k|7940 | 1.024927e+03 | 1.045000e+03 | 1.96%| unknown
3506.50/3515.42 c 3515s| 48300 | 3394 | 20928k| 390.8 | 513M | 51 |1527 |4025 |3336 | 40k| 1 | 25k|7940 | 1.024935e+03 | 1.045000e+03 | 1.96%| unknown
3509.99/3518.92 c 3519s| 48400 | 3392 | 20962k| 390.7 | 510M | 51 |1527 |4037 |3346 | 40k| 1 | 25k|7942 | 1.024935e+03 | 1.045000e+03 | 1.96%| unknown
3517.27/3526.20 c 3526s| 48500 | 3402 | 21013k| 390.9 | 507M | 51 |1527 |3937 |3321 | 40k| 0 | 25k|7942 | 1.024943e+03 | 1.045000e+03 | 1.96%| unknown
3522.36/3531.30 c 3531s| 48600 | 3416 | 21059k| 391.1 | 503M | 51 |1527 |3891 |3329 | 40k| 2 | 25k|7945 | 1.024951e+03 | 1.045000e+03 | 1.96%| unknown
3525.95/3534.97 c 3535s| 48700 | 3416 | 21093k| 391.0 | 500M | 51 |1527 |3901 |3334 | 40k| 0 | 25k|7948 | 1.024951e+03 | 1.045000e+03 | 1.96%| unknown
3531.24/3540.29 c 3540s| 48800 | 3428 | 21141k| 391.1 | 500M | 51 |1527 |3862 |3331 | 40k| 1 | 25k|7948 | 1.024961e+03 | 1.045000e+03 | 1.96%| unknown
3543.31/3552.38 c 3552s| 48900 | 3440 | 21223k| 391.9 | 500M | 51 |1527 |3851 |3325 | 40k| 1 | 25k|7960 | 1.024962e+03 | 1.045000e+03 | 1.96%| unknown
3550.39/3559.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3550.39/3559.47 c 3559s| 49000 | 3444 | 21275k| 392.2 | 500M | 51 |1527 |3854 |3324 | 40k| 1 | 25k|7964 | 1.024968e+03 | 1.045000e+03 | 1.95%| unknown
3555.58/3564.60 c 3565s| 49100 | 3456 | 21321k| 392.3 | 500M | 51 |1527 |3845 |3341 | 40k| 1 | 25k|7964 | 1.024969e+03 | 1.045000e+03 | 1.95%| unknown
3559.07/3568.11 c 3568s| 49200 | 3456 | 21355k| 392.2 | 500M | 51 |1527 |3914 |3338 | 41k| 1 | 25k|7976 | 1.024969e+03 | 1.045000e+03 | 1.95%| unknown
3562.96/3572.07 c 3572s| 49300 | 3460 | 21390k| 392.1 | 500M | 51 |1527 |3930 |3349 | 41k| 2 | 25k|7983 | 1.024973e+03 | 1.045000e+03 | 1.95%| unknown
3569.34/3578.44 c 3578s| 49400 | 3468 | 21434k| 392.2 | 500M | 51 |1527 |4015 |3340 | 41k| 1 | 25k|8016 | 1.024974e+03 | 1.045000e+03 | 1.95%| unknown
3574.73/3583.83 c 3584s| 49500 | 3472 | 21477k| 392.3 | 501M | 51 |1527 |4063 |3323 | 41k| 1 | 25k|8028 | 1.024977e+03 | 1.045000e+03 | 1.95%| unknown
3579.52/3588.64 c 3589s| 49600 | 3474 | 21515k| 392.3 | 502M | 51 |1527 |4113 |3347 | 41k| 1 | 25k|8042 | 1.024977e+03 | 1.045000e+03 | 1.95%| unknown
3586.20/3595.36 c 3595s| 49700 | 3472 | 21561k| 392.4 | 513M | 51 |1527 |4207 |3349 | 41k| 0 | 26k|8071 | 1.024977e+03 | 1.045000e+03 | 1.95%| unknown
3587.90/3597.02 c
3587.90/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3587.90/3597.02 c Solving Time (sec) : 3597.00
3587.90/3597.02 c Solving Nodes : 49714 (total of 54910 nodes in 2 runs)
3587.90/3597.02 c Primal Bound : +1.04500000000000e+03 (559 solutions)
3587.90/3597.02 c Dual Bound : +1.02498013692836e+03
3587.90/3597.02 c Gap : 1.95 %
3587.90/3597.02 s SATISFIABLE
3587.90/3597.02 v x1968 x1967 x1966 x1965 x1964 x1963 x1962 x1961 x1960 x1959 -x1958 x1957 -x1956 -x1955 x1954 x1953 x1952 -x1951 x1950 -x1949 -x1948
3587.90/3597.02 v -x1947 -x1946 x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 x1931 -x1930
3587.90/3597.02 v x1929 x1928 -x1927 x1926 x1925 x1924 x1923 x1922 -x1921 x1920 -x1919 -x1918 x1917 x1916 -x1915 x1914 -x1913 x1912 -x1911
3587.90/3597.02 v x1910 x1909 x1908 x1907 x1906 -x1905 -x1904 x1903 -x1902 -x1901 -x1900 x1899 x1898 -x1897 -x1896 x1895 x1894 -x1893 -x1892 x1891
3587.90/3597.02 v x1890 -x1889 x1888 x1887 x1886 -x1885 x1884 x1883 x1882 -x1881 x1880 -x1879 x1878 x1877 -x1876 -x1875 x1874 x1873 x1872 x1871
3587.90/3597.02 v x1870 x1869 -x1868 x1867 -x1866 -x1865 x1864 x1863 -x1862 x1861 x1860 x1859 x1858 -x1857 -x1856 -x1855 -x1854 x1853 x1852
3587.90/3597.02 v x1851 -x1850 x1849 -x1848 -x1847 -x1846 x1845 -x1844 x1843 x1842 -x1841 -x1840 -x1839 -x1838 x1837 x1836 x1835 x1834 -x1833
3587.90/3597.02 v -x1832 -x1831 x1830 -x1829 x1828 x1827 -x1826 x1825 x1824 -x1823 -x1822 -x1821 -x1820 x1819 x1818 -x1817 x1816 -x1815 x1814
3587.90/3597.02 v x1813 -x1812 -x1811 x1810 x1809 x1808 -x1807 -x1806 -x1805 -x1804 -x1803 x1802 x1801 x1800 -x1799 x1798 x1797 -x1796 -x1795 -x1794
3587.90/3597.02 v -x1793 x1792 -x1791 -x1790 -x1789 x1788 -x1787 -x1786 x1785 x1784 x1783 -x1782 -x1781 -x1780 x1779 -x1778 -x1777 x1776
3587.90/3597.02 v x1775 -x1774 -x1773 -x1772 x1771 x1770 x1769 x1768 -x1767 x1766 -x1765 x1764 -x1763 -x1762 x1761 -x1760 -x1759 -x1758 -x1757
3587.90/3597.02 v x1756 x1755 -x1754 x1753 x1752 -x1751 x1750 -x1749 -x1748 x1747 x1746 -x1745 x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738
3587.90/3597.02 v -x1737 x1736 -x1735 -x1734 -x1733 x1732 -x1731 -x1730 -x1729 -x1728 x1727 x1726 -x1725 x1724 -x1723 x1722 -x1721 x1720 x1719
3587.90/3597.02 v x1718 x1717 x1716 x1715 x1714 -x1713 -x1712 -x1711 x1710 -x1709 x1708 -x1707 -x1706 x1705 x1704 -x1703 -x1702 x1701 x1700 x1699
3587.90/3597.02 v x1698 x1697 x1696 -x1695 x1694 -x1693 x1692 x1691 x1690 x1689 -x1688 -x1687 -x1686 x1685 x1684 x1683 -x1682 -x1681 -x1680
3587.90/3597.02 v -x1679 x1678 x1677 -x1676 x1675 x1674 x1673 -x1672 -x1671 -x1670 x1669 x1668 x1667 -x1666 -x1665 -x1664 -x1663 x1662 x1661 x1660
3587.90/3597.02 v x1659 x1658 x1657 x1656 x1655 -x1654 -x1653 -x1652 x1651 -x1650 -x1649 -x1648 -x1647 x1646 -x1645 -x1644 x1643 x1642 x1641
3587.90/3597.02 v x1640 x1639 -x1638 -x1637 x1636 x1635 -x1634 -x1633 -x1632 x1631 x1630 x1629 x1628 -x1627 -x1626 x1625 -x1624 -x1623 -x1622
3587.90/3597.02 v x1621 x1620 -x1619 x1618 x1617 -x1616 -x1615 x1614 -x1613 x1612 x1611 x1610 -x1609 x1608 -x1607 x1606 -x1605 -x1604 x1603 -x1602
3587.90/3597.02 v x1601 x1600 -x1599 -x1598 -x1597 x1596 -x1595 x1594 x1593 x1592 x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583
3587.90/3597.02 v -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 x1576 -x1575 x1574 x1573 x1572 x1571 -x1570 x1569 x1568 x1567 x1566 -x1565 -x1564
3587.90/3597.02 v -x1563 -x1562 x1561 x1560 x1559 x1558 x1557 -x1556 -x1555 -x1554 -x1553 x1552 x1551 -x1550 x1549 x1548 x1547 x1546 -x1545
3587.90/3597.02 v x1544 -x1543 -x1542 x1541 -x1540 x1539 x1538 x1537 -x1536 x1535 -x1534 -x1533 x1532 -x1531 -x1530 x1529 -x1528 -x1527 x1526
3587.90/3597.02 v x1525 x1524 x1523 -x1522 -x1521 x1520 -x1519 x1518 x1517 -x1516 -x1515 -x1514 x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507
3587.90/3597.02 v x1506 -x1505 -x1504 -x1503 x1502 x1501 -x1500 -x1499 -x1498 -x1497 x1496 -x1495 -x1494 x1493 -x1492 -x1491 -x1490 x1489 x1488
3587.90/3597.02 v x1487 -x1486 x1485 x1484 -x1483 -x1482 -x1481 x1480 x1479 x1478 x1477 x1476 x1475 -x1474 -x1473 -x1472 -x1471 x1470 -x1469
3587.90/3597.02 v -x1468 -x1467 -x1466 x1465 x1464 -x1463 -x1462 x1461 -x1460 x1459 x1458 x1457 x1456 x1455 -x1454 x1453 -x1452 x1451 -x1450 x1449
3587.90/3597.02 v -x1448 x1447 x1446 -x1445 x1444 x1443 x1442 x1441 -x1440 -x1439 x1438 x1437 x1436 x1435 x1434 -x1433 -x1432 -x1431 -x1430
3587.90/3597.02 v -x1429 -x1428 -x1427 x1426 x1425 -x1424 x1423 x1422 x1421 x1420 x1419 x1418 x1417 -x1416 -x1415 -x1414 x1413 -x1412 x1411 -x1410
3587.90/3597.02 v -x1409 x1408 x1407 -x1406 -x1405 x1404 x1403 x1402 x1401 -x1400 x1399 x1398 x1397 x1396 -x1395 -x1394 x1393 x1392 -x1391
3587.90/3597.02 v -x1390 -x1389 -x1388 -x1387 -x1386 x1385 -x1384 -x1383 -x1382 x1381 x1380 x1379 -x1378 x1377 x1376 -x1375 -x1374 -x1373 x1372
3587.90/3597.02 v x1371 -x1370 x1369 -x1368 -x1367 x1366 x1365 x1364 x1363 x1362 -x1361 -x1360 x1359 x1358 x1357 -x1356 -x1355 x1354 x1353 x1352
3587.90/3597.02 v -x1351 -x1350 x1349 x1348 x1347 x1346 x1345 x1344 x1343 -x1342 -x1341 -x1340 -x1339 x1338 x1337 -x1336 x1335 x1334 -x1333
3587.90/3597.02 v -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 x1323 -x1322 -x1321 -x1320 -x1319 x1318 -x1317 x1316 x1315 -x1314
3587.90/3597.02 v -x1313 x1312 x1311 x1310 -x1309 -x1308 -x1307 x1306 x1305 x1304 x1303 -x1302 x1301 x1300 -x1299 -x1298 -x1297 x1296 -x1295
3587.90/3597.02 v x1294 x1293 -x1292 -x1291 x1290 x1289 x1288 -x1287 x1286 -x1285 x1284 -x1283 x1282 x1281 x1280 x1279 x1278 -x1277 x1276 -x1275
3587.90/3597.02 v x1274 x1273 x1272 x1271 x1270 x1269 x1268 x1267 -x1266 x1265 -x1264 x1263 x1262 x1261 -x1260 -x1259 -x1258 x1257 -x1256
3587.90/3597.02 v x1255 -x1254 x1253 -x1252 x1251 -x1250 x1249 x1248 -x1247 x1246 x1245 x1244 x1243 x1242 x1241 -x1240 x1239 -x1238 x1237 -x1236
3587.90/3597.02 v -x1235 -x1234 -x1233 x1232 x1231 x1230 -x1229 -x1228 x1227 x1226 x1225 x1224 -x1223 x1222 x1221 x1220 -x1219 x1218 -x1217
3587.90/3597.02 v x1216 x1215 x1214 -x1213 -x1212 -x1211 -x1210 x1209 x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 x1201 x1200 x1199 x1198 -x1197
3587.90/3597.02 v x1196 -x1195 x1194 -x1193 -x1192 x1191 x1190 x1189 -x1188 -x1187 x1186 x1185 x1184 -x1183 -x1182 x1181 x1180 -x1179 x1178
3587.90/3597.02 v x1177 x1176 x1175 -x1174 -x1173 x1172 -x1171 x1170 x1169 x1168 -x1167 x1166 x1165 -x1164 -x1163 x1162 x1161 x1160 -x1159 -x1158
3587.90/3597.02 v x1157 -x1156 -x1155 -x1154 -x1153 x1152 x1151 -x1150 x1149 x1148 -x1147 -x1146 -x1145 -x1144 x1143 x1142 -x1141 x1140 x1139
3587.90/3597.02 v x1138 -x1137 -x1136 x1135 x1134 -x1133 x1132 x1131 x1130 -x1129 -x1128 -x1127 -x1126 x1125 -x1124 x1123 x1122 x1121 x1120
3587.90/3597.02 v -x1119 x1118 -x1117 -x1116 -x1115 x1114 -x1113 x1112 x1111 -x1110 x1109 x1108 -x1107 -x1106 -x1105 x1104 x1103 -x1102 -x1101
3587.90/3597.02 v x1100 -x1099 x1098 -x1097 x1096 x1095 x1094 -x1093 -x1092 -x1091 x1090 -x1089 x1088 -x1087 x1086 -x1085 x1084 -x1083 -x1082
3587.90/3597.02 v x1081 x1080 x1079 x1078 x1077 x1076 -x1075 x1074 -x1073 -x1072 x1071 x1070 x1069 x1068 -x1067 -x1066 x1065 -x1064 x1063 x1062
3587.90/3597.02 v -x1061 -x1060 -x1059 x1058 x1057 x1056 -x1055 x1054 x1053 x1052 x1051 x1050 -x1049 -x1048 x1047 -x1046 x1045 -x1044 x1043 x1042
3587.90/3597.02 v -x1041 -x1040 -x1039 x1038 x1037 x1036 -x1035 x1034 -x1033 -x1032 -x1031 x1030 -x1029 x1028 x1027 x1026 x1025 -x1024 -x1023
3587.90/3597.02 v -x1022 x1021 x1020 x1019 -x1018 x1017 -x1016 -x1015 x1014 -x1013 x1012 x1011 x1010 -x1009 x1008 -x1007 x1006 -x1005 -x1004
3587.90/3597.02 v x1003 -x1002 x1001 x1000 x999 x998 -x997 -x996 -x995 x994 x993 x992 x991 -x990 x989 -x988 x987 x986 x985 -x984 x983 x982 -x981
3587.90/3597.02 v -x980 x979 -x978 x977 x976 x975 x974 -x973 x972 x971 x970 x969 -x968 x967 x966 -x965 -x964 -x963 -x962 -x961 -x960 x959 -x958
3587.90/3597.02 v -x957 -x956 x955 x954 -x953 x952 -x951 -x950 -x949 -x948 -x947 x946 -x945 x944 -x943 x942 x941 -x940 x939 x938 -x937 x936
3587.90/3597.02 v x935 x934 -x933 -x932 x931 x930 x929 -x928 x927 -x926 x925 x924 x923 x922 x921 x920 -x919 x918 x917 -x916 x915 -x914 -x913
3587.90/3597.02 v x912 -x911 x910 x909 x908 -x907 x906 -x905 x904 -x903 x902 -x901 x900 x899 -x898 x897 -x896 x895 x894 x893 x892 -x891 -x890 x889
3587.90/3597.02 v -x888 x887 -x886 -x885 -x884 -x883 -x882 x881 -x880 x879 x878 x877 -x876 -x875 -x874 x873 -x872 x871 x870 x869 -x868 x867
3587.90/3597.02 v -x866 -x865 x864 x863 -x862 x861 -x860 -x859 x858 -x857 x856 -x855 -x854 -x853 x852 -x851 x850 -x849 x848 -x847 -x846 x845 -x844
3587.90/3597.02 v -x843 x842 x841 x840 x839 -x838 x837 -x836 -x835 x834 -x833 -x832 x831 x830 -x829 -x828 x827 -x826 -x825 -x824 x823 -x822
3587.90/3597.02 v x821 x820 -x819 -x818 x817 -x816 x815 -x814 -x813 -x812 x811 -x810 x809 -x808 x807 -x806 x805 x804 x803 x802 -x801 -x800 -x799
3587.90/3597.02 v -x798 x797 x796 x795 -x794 -x793 x792 -x791 x790 x789 -x788 x787 x786 -x785 x784 -x783 x782 -x781 x780 -x779 x778 x777 x776
3587.90/3597.02 v -x775 -x774 -x773 x772 -x771 x770 x769 -x768 x767 x766 x765 -x764 -x763 x762 -x761 x760 -x759 x758 -x757 -x756 x755 x754 x753
3587.90/3597.02 v -x752 x751 -x750 x749 x748 -x747 x746 -x745 x744 x743 -x742 -x741 -x740 -x739 -x738 -x737 x736 -x735 x734 x733 x732 x731
3587.90/3597.02 v -x730 x729 x728 -x727 -x726 -x725 -x724 -x723 x722 -x721 -x720 -x719 x718 -x717 -x716 x715 x714 -x713 -x712 x711 x710 -x709 x708
3587.90/3597.02 v x707 x706 x705 -x704 x703 x702 x701 -x700 x699 x698 x697 x696 -x695 -x694 x693 x692 -x691 x690 -x689 -x688 -x687 x686 x685
3587.90/3597.02 v x684 -x683 -x682 x681 -x680 -x679 -x678 x677 -x676 x675 x674 -x673 x672 x671 -x670 x669 x668 -x667 x666 x665 -x664 -x663 x662
3587.90/3597.02 v x661 -x660 -x659 -x658 -x657 -x656 x655 -x654 x653 x652 x651 x650 -x649 -x648 x647 x646 -x645 x644 -x643 x642 x641 x640 x639
3587.90/3597.02 v -x638 x637 x636 x635 -x634 x633 x632 x631 x630 x629 -x628 x627 x626 x625 x624 -x623 x622 -x621 -x620 -x619 x618 x617 x616
3587.90/3597.02 v x615 x614 -x613 -x612 -x611 -x610 x609 x608 x607 -x606 -x605 -x604 -x603 x602 -x601 -x600 x599 x598 -x597 x596 -x595 -x594 x593
3587.90/3597.02 v -x592 x591 -x590 x589 -x588 -x587 -x586 x585 -x584 x583 x582 x581 x580 -x579 x578 x577 x576 -x575 x574 x573 x572 x571 -x570
3587.90/3597.02 v -x569 x568 -x567 x566 x565 -x564 -x563 -x562 x561 x560 -x559 x558 -x557 x556 x555 x554 x553 x552 -x551 -x550 -x549 x548 x547
3587.90/3597.02 v -x546 -x545 x544 -x543 x542 x541 x540 x539 -x538 -x537 -x536 x535 x534 -x533 x532 -x531 x530 x529 -x528 x527 -x526 x525 x524
3587.90/3597.02 v x523 x522 -x521 x520 -x519 -x518 -x517 x516 x515 -x514 x513 -x512 x511 x510 -x509 x508 -x507 x506 x505 x504 -x503 -x502 x501
3587.90/3597.02 v x500 x499 x498 x497 -x496 -x495 x494 -x493 x492 -x491 -x490 -x489 x488 -x487 x486 x485 x484 x483 -x482 x481 -x480 x479 -x478
3587.90/3597.02 v -x477 -x476 x475 -x474 x473 -x472 -x471 x470 -x469 -x468 x467 x466 x465 x464 -x463 x462 -x461 x460 -x459 -x458 x457 -x456 x455
3587.90/3597.02 v -x454 x453 x452 x451 x450 x449 x448 x447 x446 x445 x444 -x443 x442 -x441 x440 x439 x438 -x437 -x436 -x435 -x434 x433 -x432
3587.90/3597.02 v x431 x430 -x429 -x428 x427 x426 x425 -x424 -x423 x422 -x421 -x420 -x419 x418 -x417 x416 x415 x414 x413 x412 x411 x410 x409
3587.90/3597.02 v -x408 -x407 -x406 x405 x404 x403 -x402 x401 -x400 -x399 x398 x397 -x396 -x395 x394 x393 -x392 -x391 -x390 -x389 x388 -x387 x386
3587.90/3597.02 v x385 x384 x383 -x382 -x381 x380 -x379 x378 x377 -x376 -x375 -x374 -x373 -x372 x371 -x370 -x369 x368 x367 -x366 -x365 x364
3587.90/3597.02 v x363 -x362 x361 -x360 -x359 -x358 x357 x356 x355 -x354 -x353 x352 x351 -x350 x349 -x348 x347 x346 -x345 x344 x343 x342 x341 -x340
3587.90/3597.02 v x339 -x338 x337 -x336 x335 -x334 x333 x332 -x331 x330 -x329 -x328 x327 -x326 -x325 x324 x323 -x322 -x321 x320 x319 x318
3587.90/3597.02 v -x317 -x316 x315 -x314 -x313 -x312 x311 -x310 x309 x308 -x307 -x306 -x305 -x304 -x303 -x302 x301 x300 -x299 -x298 x297 x296 -x295
3587.90/3597.02 v -x294 x293 -x292 -x291 x290 x289 -x288 -x287 x286 -x285 -x284 x283 x282 -x281 x280 x279 x278 x277 x276 x275 -x274 x273 -x272
3587.90/3597.02 v -x271 -x270 x269 -x268 x267 -x266 -x265 -x264 x263 -x262 -x261 x260 -x259 -x258 x257 x256 x255 -x254 -x253 x252 -x251 x250
3587.90/3597.02 v x249 x248 -x247 -x246 x245 x244 -x243 x242 x241 -x240 -x239 x238 -x237 x236 -x235 x234 x233 x232 -x231 x230 x229 x228 x227
3587.90/3597.02 v -x226 x225 x224 x223 -x222 x221 -x220 x219 x218 -x217 x216 -x215 x214 x213 x212 x211 -x210 x209 x208 x207 x206 -x205 x204 x203
3587.90/3597.02 v x202 -x201 x200 -x199 -x198 x197 -x196 x195 -x194 -x193 x192 x191 x190 x189 x188 -x187 -x186 x185 x184 x183 x182 -x181 x180
3587.90/3597.02 v x179 x178 x177 x176 x175 x174 x173 x172 x171 -x170 -x169 x168 x167 -x166 x165 -x164 x163 x162 -x161 -x160 x159 x158 x157 -x156
3587.90/3597.02 v -x155 x154 x153 x152 -x151 -x150 x149 -x148 x147 -x146 -x145 -x144 x143 x142 -x141 x140 -x139 x138 -x137 x136 x135 x134 x133
3587.90/3597.02 v x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 x124 x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 x111
3587.90/3597.02 v -x110 x109 -x108 x107 x106 -x105 x104 x103 -x102 -x101 x100 x99 -x98 -x97 x96 x95 x94 -x93 x92 -x91 -x90 -x89 x88 -x87 -x86
3587.90/3597.02 v -x85 -x84 x83 -x82 x81 x80 x79 -x78 -x77 x76 x75 -x74 x73 -x72 -x71 -x70 x69 -x68 x67 -x66 x65 -x64 -x63 -x62 x61 -x60 x59
3587.90/3597.02 v x58 x57 x56 -x55 x54 x53 x52 x51 x50 x49 x48 x47 x46 -x45 -x44 x43 -x42 -x41 x40 x39 -x38 -x37 -x36 x35 -x34 x33 -x32 x31 x30
3587.90/3597.02 v x29 -x28 x27 x26 -x25 x24 x23 x22 x21 -x20 x19 -x18 -x17 x16 x15 x14 -x13 x12 x11 -x10 -x9 x8 -x7 -x6 x5 -x4 -x3 -x2 x1
3587.90/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3587.90/3597.02 c Total Time : 3597.00
3587.90/3597.02 c solving : 3597.00
3587.90/3597.02 c presolving : 0.37 (included in solving)
3587.90/3597.02 c reading : 0.01 (included in solving)
3587.90/3597.02 c copying : 0.27 (21 #copies) (minimal 0.01, maximal 0.03, average 0.01)
3587.90/3597.02 c Original Problem :
3587.90/3597.02 c Problem name : HOME/instance-4488872-1751348876.opb
3587.90/3597.02 c Variables : 1968 (1968 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.90/3597.02 c Constraints : 4000 initial, 4000 maximal
3587.90/3597.02 c Objective : minimize, 1968 non-zeros (abs.min = 1, abs.max = 1)
3587.90/3597.02 c Presolved Problem :
3587.90/3597.02 c Problem name : t_HOME/instance-4488872-1751348876.opb
3587.90/3597.02 c Variables : 1527 (1527 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.90/3597.02 c Constraints : 4839 initial, 8642 maximal
3587.90/3597.02 c Objective : minimize, 1527 non-zeros (abs.min = 1, abs.max = 1)
3587.90/3597.02 c Nonzeros : 112898 constraint, 5946 clique table
3587.90/3597.02 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.90/3597.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c gateextraction : 0.01 0.00 5 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c implics : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c trivial : 0.00 0.00 16 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c dualfix : 0.00 0.00 16 216 0 0 0 0 0 0 0 0
3587.90/3597.02 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c pseudoobj : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c knapsack : 0.02 0.00 12 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c setppc : 0.02 0.00 19 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c linear : 0.03 0.00 21 0 225 0 0 0 1039 0 5238 5568
3587.90/3597.02 c logicor : 0.19 0.03 15 0 0 0 0 0 133 0 0 464
3587.90/3597.02 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c root node : - - - 0 - - 0 - - - - -
3587.90/3597.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.90/3597.02 c benderslp : 0 0 0 0 31161 0 0 3069 0 0 0 0 0 0 0
3587.90/3597.02 c integral : 0 0 0 0 31161 0 0 3069 0 0 3948 0 0 16519 59010
3587.90/3597.02 c knapsack : 233+ 235 3 194169 0 0 0 0 19 14 1 0 0 0 0
3587.90/3597.02 c setppc : 2969 2969 25 235024 12 0 0 3063 256430 12 188603 0 0 0 0
3587.90/3597.02 c linear : 66+ 79 3 206300 0 0 0 2 526 386 891 0 0 0 0
3587.90/3597.02 c logicor : 1571+ 5361 3 41776 0 0 0 0 1966 120 235 0 0 0 0
3587.90/3597.02 c benders : 0 0 0 0 12 0 0 652 0 0 0 0 0 0 0
3587.90/3597.02 c fixedvar : 0 0 0 0 12 0 0 652 0 0 0 0 0 0 0
3587.90/3597.02 c countsols : 0 0 0 0 12 0 0 652 0 0 0 0 0 0 0
3587.90/3597.02 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.90/3597.02 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3587.90/3597.02 c integral : 414.57 0.00 0.00 0.00 414.55 0.00 0.00 0.02 0.00 0.00
3587.90/3597.02 c knapsack : 0.49 0.00 0.06 0.38 0.00 0.00 0.00 0.00 0.00 0.05
3587.90/3597.02 c setppc : 1.51 0.00 0.01 1.23 0.00 0.00 0.00 0.07 0.05 0.16
3587.90/3597.02 c linear : 0.33 0.00 0.00 0.26 0.00 0.00 0.00 0.00 0.00 0.07
3587.90/3597.02 c logicor : 0.58 0.03 0.00 0.51 0.00 0.00 0.00 0.00 0.00 0.04
3587.90/3597.02 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.90/3597.02 c fixedvar : 0.02 0.00 0.00 0.00 0.00 0.00 0.00 0.02 0.00 0.00
3587.90/3597.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.90/3597.02 c components : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.90/3597.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.90/3597.02 c dualfix : 3 0 0 0
3587.90/3597.02 c genvbounds : 0 0 0 0
3587.90/3597.02 c nlobbt : 0 0 0 0
3587.90/3597.02 c obbt : 0 0 0 0
3587.90/3597.02 c probing : 0 0 0 0
3587.90/3597.02 c pseudoobj : 117992 0 0 0
3587.90/3597.02 c redcost : 5636 0 0 420
3587.90/3597.02 c rootredcost : 17 0 0 0
3587.90/3597.02 c symmetry : 0 0 0 0
3587.90/3597.02 c vbounds : 87754 0 0 0
3587.90/3597.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.90/3597.02 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.90/3597.02 c genvbounds : 0.03 0.00 0.00 0.03 0.00 0.00
3587.90/3597.02 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.90/3597.02 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.90/3597.02 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
3587.90/3597.02 c pseudoobj : 0.11 0.00 0.00 0.11 0.00 0.00
3587.90/3597.02 c redcost : 0.21 0.00 0.00 0.21 0.00 0.00
3587.90/3597.02 c rootredcost : 0.03 0.00 0.00 0.03 0.00 0.00
3587.90/3597.02 c symmetry : 0.04 0.00 0.00 0.04 0.00 0.01
3587.90/3597.02 c vbounds : 0.06 0.00 0.00 0.05 0.00 0.01
3587.90/3597.02 c Symmetry :
3587.90/3597.02 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.90/3597.02 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.90/3597.02 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.90/3597.02 c shadow tree time : 0.00 s
3587.90/3597.02 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.90/3597.02 c propagation : 0.01 180 107 - 1052 76.2 0 0.0 - - -
3587.90/3597.02 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.90/3597.02 c bound exceed. LP : 4.38 5816 5813 - 51037 65.0 1 101.0 5813 94.2 14940
3587.90/3597.02 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.90/3597.02 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.90/3597.02 c applied globally : 0.24 - - 0 20230 49.5 - - 5813 - -
3587.90/3597.02 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.90/3597.02 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.90/3597.02 c cut pool : 16.59 - 9426 43 - - 58770 199875 - - - - - (maximal pool size: 4398)
3587.90/3597.02 c aggregation : 50.75 0.00 2405 25 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.90/3597.02 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.90/3597.02 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.90/3597.02 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c clique : 0.34 0.00 25 25 0 0 8 9 0 9 9 0 0
3587.90/3597.02 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c gomory : 661.38 0.00 2314 13 0 0 55694 81906 0 6619 6619 0 0
3587.90/3597.02 c > gomorymi : - - - - - - - 30875 0 358 358 0 -
3587.90/3597.02 c > strongcg : - - - - - - - 51031 0 6261 6261 0 -
3587.90/3597.02 c impliedbounds : 0.40 0.00 2405 25 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c multilinear : 0.00 0.00 333 25 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c rapidlearning : 0.06 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c rlt : 0.00 0.00 692 13 0 0 0 0 0 0 0 0 0
3587.90/3597.02 c zerohalf : 39.78 0.00 2324 23 0 0 3068 117960 0 45883 45883 0 0
3587.90/3597.02 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.90/3597.02 c hybrid : 1.13 0.00 6373 23 52511 0 147364 163 0 1581
3587.90/3597.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.90/3597.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.90/3597.02 c Pricers : ExecTime SetupTime Calls Vars
3587.90/3597.02 c problem variables: 0.00 - 0 0
3587.90/3597.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.90/3597.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.90/3597.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.90/3597.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.90/3597.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.90/3597.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.90/3597.02 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.90/3597.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.90/3597.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.90/3597.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.90/3597.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.90/3597.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.90/3597.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.90/3597.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.90/3597.02 c relpscost : 414.52 0.00 31149 0 0 0 3948 0 20332 59010
3587.90/3597.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.90/3597.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.90/3597.02 c LP solutions : 0.00 - - 12 12
3587.90/3597.02 c relax solutions : 0.00 - - 0 0
3587.90/3597.02 c pseudo solutions : 0.00 - - 0 0
3587.90/3597.02 c strong branching : 0.78 - - 132 0
3587.90/3597.02 c actconsdiving : 0.00 0.00 0 0 0
3587.90/3597.02 c adaptivediving : 20.28 0.00 136 2 1
3587.90/3597.02 c alns : 0.15 0.00 7 0 0
3587.90/3597.02 c bound : 0.00 0.00 0 0 0
3587.90/3597.02 c clique : 0.02 0.00 1 1 1
3587.90/3597.02 c coefdiving : 0.00 0.00 0 0 0
3587.90/3597.02 c completesol : 0.00 0.00 0 0 0
3587.90/3597.02 c conflictdiving : 5.33 0.00 69 0 0
3587.90/3597.02 c crossover : 0.44 0.00 13 10 1
3587.90/3597.02 c dins : 0.00 0.00 0 0 0
3587.90/3597.02 c distributiondivin: 9.31 0.00 69 0 0
3587.90/3597.02 c dps : 0.00 0.00 0 0 0
3587.90/3597.02 c dualval : 0.00 0.00 0 0 0
3587.90/3597.02 c farkasdiving : 0.00 0.00 0 0 0
3587.90/3597.02 c feasjump : 0.00 0.00 0 0 0
3587.90/3597.02 c feaspump : 0.00 0.00 0 0 0
3587.90/3597.02 c fixandinfer : 0.00 0.00 0 0 0
3587.90/3597.02 c fracdiving : 5.61 0.00 69 0 0
3587.90/3597.02 c gins : 0.01 0.00 0 0 0
3587.90/3597.02 c guideddiving : 7.84 0.00 68 1 1
3587.90/3597.02 c indcoefdiving : 0.00 0.00 0 0 0
3587.90/3597.02 c indicator : 0.01 0.00 0 0 0
3587.90/3597.02 c indicatordiving : 0.00 0.00 0 0 0
3587.90/3597.02 c indoneopt : 0.01 0.00 0 0 0
3587.90/3597.02 c indrounding : 0.00 0.00 0 0 0
3587.90/3597.02 c indtwoopt : 0.00 0.00 0 0 0
3587.90/3597.02 c intdiving : 0.00 0.00 0 0 0
3587.90/3597.02 c intshifting : 0.00 0.00 0 0 0
3587.90/3597.02 c linesearchdiving : 14.55 0.00 68 0 0
3587.90/3597.02 c localbranching : 0.00 0.00 0 0 0
3587.90/3597.02 c locks : 0.00 0.00 1 1 1
3587.90/3597.02 c lpface : 0.01 0.00 0 0 0
3587.90/3597.02 c mpec : 0.00 0.00 0 0 0
3587.90/3597.02 c multistart : 0.00 0.00 0 0 0
3587.90/3597.02 c mutation : 0.00 0.00 0 0 0
3587.90/3597.02 c nlpdiving : 0.00 0.00 0 0 0
3587.90/3597.02 c objpscostdiving : 142.71 0.00 35 83 1
3587.90/3597.02 c octane : 0.00 0.00 0 0 0
3587.90/3597.02 c ofins : 0.01 0.00 0 0 0
3587.90/3597.02 c oneopt : 0.02 0.00 19 1 1
3587.90/3597.02 c padm : 0.00 0.00 0 0 0
3587.90/3597.02 c proximity : 0.00 0.00 0 0 0
3587.90/3597.02 c pscostdiving : 14.24 0.00 69 4 2
3587.90/3597.02 c randrounding : 0.50 0.00 2436 22 0
3587.90/3597.02 c rens : 0.00 0.00 0 0 0
3587.90/3597.02 c reoptsols : 0.00 0.00 0 0 0
3587.90/3597.02 c repair : 0.00 0.00 0 0 0
3587.90/3597.02 c rins : 2.64 0.00 1 1 0
3587.90/3597.02 c rootsoldiving : 13.57 0.00 35 27 0
3587.90/3597.02 c rounding : 50.91 0.00 2698 0 0
3587.90/3597.02 c scheduler : 0.00 0.00 0 0 0
3587.90/3597.02 c shiftandpropagate: 0.00 0.00 0 0 0
3587.90/3597.02 c shifting : 27.04 0.00 1308 0 0
3587.90/3597.02 c simplerounding : 2.83 0.00 37535 109 0
3587.90/3597.02 c smallcard : 0.00 0.00 0 0 0
3587.90/3597.02 c subnlp : 0.02 0.00 0 0 0
3587.90/3597.02 c trivial : 0.00 0.00 4 2 2
3587.90/3597.02 c trivialnegation : 0.00 0.00 0 0 0
3587.90/3597.02 c trustregion : 0.00 0.00 0 0 0
3587.90/3597.02 c trysol : 0.01 0.00 0 0 0
3587.90/3597.02 c twoopt : 0.00 0.00 0 0 0
3587.90/3597.02 c undercover : 0.00 0.00 0 0 0
3587.90/3597.02 c vbounds : 0.02 0.00 2 0 0
3587.90/3597.02 c veclendiving : 6.39 0.00 68 0 0
3587.90/3597.02 c zeroobj : 0.00 0.00 0 0 0
3587.90/3597.02 c zirounding : 3.79 0.00 7551 151 0
3587.90/3597.02 c other solutions : - - - 0 -
3587.90/3597.02 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.90/3597.02 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.90/3597.02 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.90/3597.02 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.90/3597.02 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.90/3597.02 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.90/3597.02 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.90/3597.02 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.90/3597.02 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.90/3597.02 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.90/3597.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.90/3597.02 c primal LP : 3.16 4073 0 0.00 0.00 3.16 4073
3587.90/3597.02 c dual LP : 2050.64 63256 19765582 314.67 9638.76 0.41 443
3587.90/3597.02 c lex dual LP : 0.00 0 0 0.00 -
3587.90/3597.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.90/3597.02 c resolve instable : 0.00 0 0 0.00 -
3587.90/3597.02 c diving/probing LP: 251.00 7102 1807049 254.44 7199.39
3587.90/3597.02 c strong branching : 373.96 8077 3510020 434.57 9386.08 - - 3421
3587.90/3597.02 c (at root node) : - 20 17868 893.40 -
3587.90/3597.02 c conflict analysis: 1.91 1500 14940 9.96 7816.44
3587.90/3597.02 c B&B Tree :
3587.90/3597.02 c number of runs : 2
3587.90/3597.02 c nodes : 49714 (26599 internal, 23115 leaves)
3587.90/3597.02 c feasible leaves : 1
3587.90/3597.02 c infeas. leaves : 83
3587.90/3597.02 c objective leaves : 23030
3587.90/3597.02 c nodes (total) : 54910 (29505 internal, 25405 leaves)
3587.90/3597.02 c nodes left : 3475
3587.90/3597.02 c max depth : 51
3587.90/3597.02 c max depth (total): 62
3587.90/3597.02 c backtracks : 6735 (13.5%)
3587.90/3597.02 c early backtracks : 0 (0.0%)
3587.90/3597.02 c nodes exc. ref. : 0 (0.0%)
3587.90/3597.02 c delayed cutoffs : 0
3587.90/3597.02 c repropagations : 48 (43 domain reductions, 0 cutoffs)
3587.90/3597.02 c avg switch length: 3.00
3587.90/3597.02 c switching time : 7.16
3587.90/3597.02 c Root Node :
3587.90/3597.02 c First LP value : +9.80500000000000e+02
3587.90/3597.02 c First LP Iters : 1902 (60559.75 Iter/sec)
3587.90/3597.02 c First LP Time : 0.03
3587.90/3597.02 c Final Dual Bound : +1.01565965700788e+03
3587.90/3597.02 c Final Root Iters : 22199
3587.90/3597.02 c Root LP Estimate : +1.27745474956235e+03
3587.90/3597.02 c Solution :
3587.90/3597.02 c Solutions found : 559 (23 improvements)
3587.90/3597.02 c First Solution : +1.96800000000000e+03 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
3587.90/3597.02 c Gap First Sol. : infinite
3587.90/3597.02 c Gap Last Sol. : 2.16 %
3587.90/3597.02 c Primal Bound : +1.04500000000000e+03 (in run 2, after 19393 nodes, 1812.24 seconds, depth 36, found by <relaxation>)
3587.90/3597.02 c Dual Bound : +1.02498013692836e+03
3587.90/3597.02 c Gap : 1.95 %
3587.90/3597.02 c Integrals : Total Avg%
3587.90/3597.02 c primal-dual : 8610.30 2.39
3587.90/3597.02 c primal-ref : - - (not evaluated)
3587.90/3597.02 c dual-ref : - - (not evaluated)
3588.00/3597.18 c Time complete: 3588.08.
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 (62930 MiB free)
memory of node 1: 64507 MiB (62485 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488872-1751348876/watcher-4488872-1751348876 -o /tmp/evaluation-result-4488872-1751348876/solver-4488872-1751348876 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751348876-53999 --watchdog 3760 pbscip -f HOME/instance-4488872-1751348876.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=54054, runsolver pid=54038
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 0.76 2.73 3.57 6/265 54055
/proc/meminfo: memFree=128361688/131249996 swapFree=33010684/33010684
[pid=54054] ppid=54038 vsize=64828 memory=36636 CPUtime=0.08 cores=5,7
/proc/54054/stat : 54054 (pbscip) R 54038 54054 53986 0 -1 4194304 5953 0 0 0 7 1 0 0 20 0 1 0 50565515 66383872 9159 18446744073709551615 4235264 18693293 140727706183632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26730496 140727706188169 140727706188268 140727706188268 140727706193870 0
/proc/54054/statm: 16207 9159 3840 3530 0 7658 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 64828 KiB
Current children cumulated memory: 36636 KiB
[startup+0.204623 s]*
/proc/loadavg: 0.76 2.73 3.57 6/265 54055
/proc/meminfo: memFree=128354128/131249996 swapFree=33010684/33010684
[pid=54054] ppid=54038 vsize=68780 memory=40860 CPUtime=0.18 cores=5,7
/proc/54054/stat : 54054 (pbscip) R 54038 54054 53986 0 -1 4194304 6925 0 0 0 17 1 0 0 20 0 1 0 50565515 70430720 10215 18446744073709551615 4235264 18693293 140727706183632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26730496 140727706188169 140727706188268 140727706188268 140727706193870 0
/proc/54054/statm: 17195 10215 3936 3530 0 8646 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 68780 KiB
Current children cumulated memory: 40860 KiB
[startup+0.304605 s]*
/proc/loadavg: 0.76 2.73 3.57 6/265 54055
/proc/meminfo: memFree=128354128/131249996 swapFree=33010684/33010684
[pid=54054] ppid=54038 vsize=68972 memory=40860 CPUtime=0.28 cores=5,7
/proc/54054/stat : 54054 (pbscip) R 54038 54054 53986 0 -1 4194304 6944 0 0 0 27 1 0 0 20 0 1 0 50565515 70627328 10215 18446744073709551615 4235264 18693293 140727706183632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26730496 140727706188169 140727706188268 140727706188268 140727706193870 0
/proc/54054/statm: 17243 10215 3936 3530 0 8694 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 68972 KiB
Current children cumulated memory: 40860 KiB
[startup+0.700108 s]
/proc/loadavg: 0.76 2.73 3.57 6/265 54055
/proc/meminfo: memFree=128342032/131249996 swapFree=33010684/33010684
[pid=54054] ppid=54038 vsize=73920 memory=45084 CPUtime=0.67 cores=5,7
/proc/54054/stat : 54054 (pbscip) R 54038 54054 53986 0 -1 4194304 8017 0 0 0 66 1 0 0 20 0 1 0 50565515 75694080 11271 18446744073709551615 4235264 18693293 140727706183632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26730496 140727706188169 140727706188268 140727706188268 140727706193870 0
/proc/54054/statm: 18480 11271 3936 3530 0 9931 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 73920 KiB
Current children cumulated memory: 45084 KiB
[startup+1.50013 s]
/proc/loadavg: 0.76 2.73 3.57 6/265 54055
/proc/meminfo: memFree=128334220/131249996 swapFree=33010684/33010684
[pid=54054] ppid=54038 vsize=76920 memory=48028 CPUtime=1.46 cores=5,7
/proc/54054/stat : 54054 (pbscip) R 54038 54054 53986 0 -1 4194304 8755 0 0 0 145 1 0 0 20 0 1 0 50565515 78766080 12007 18446744073709551615 4235264 18693293 140727706183632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26730496 140727706188169 140727706188268 140727706188268 140727706193870 0
/proc/54054/statm: 19230 12007 3936 3530 0 10681 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 76920 KiB
Current children cumulated memory: 48028 KiB
[startup+3.10456 s]
/proc/loadavg: 1.02 2.75 3.58 6/265 54055
/proc/meminfo: memFree=128213800/131249996 swapFree=33010684/33010684
[pid=54054] ppid=54038 vsize=112708 memory=82716 CPUtime=3.06 cores=5,7
/proc/54054/stat : 54054 (pbscip) R 54038 54054 53986 0 -1 4194304 17409 0 0 0 304 2 0 0 20 0 1 0 50565515 115412992 20679 18446744073709551615 4235264 18693293 140727706183632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26730496 140727706188169 140727706188268 140727706188268 140727706193870 0
/proc/54054/statm: 28177 20679 3936 3530 0 19628 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 112708 KiB
Current children cumulated memory: 82716 KiB
[startup+6.3001 s]
/proc/loadavg: 1.02 2.75 3.58 6/265 54055
/proc/meminfo: memFree=128061376/131249996 swapFree=33010684/33010684
[pid=54054] ppid=54038 vsize=146512 memory=115228 CPUtime=6.25 cores=5,7
/proc/54054/stat : 54054 (pbscip) R 54038 54054 53986 0 -1 4194304 25538 0 0 0 622 3 0 0 20 0 1 0 50565515 150028288 28807 18446744073709551615 4235264 18693293 140727706183632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26730496 140727706188169 140727706188268 140727706188268 140727706193870 0
/proc/54054/statm: 36628 28807 3936 3530 0 28079 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 146512 KiB
Current children cumulated memory: 115228 KiB
[startup+12.7001 s]
/proc/loadavg: 1.56 2.81 3.59 6/265 54055
/proc/meminfo: memFree=127859312/131249996 swapFree=33010684/33010684
[pid=54054] ppid=54038 vsize=185800 memory=152060 CPUtime=12.64 cores=5,7
/proc/54054/stat : 54054 (pbscip) R 54038 54054 53986 0 -1 4194304 36165 0 0 0 1259 5 0 0 20 0 1 0 50565515 190259200 38015 18446744073709551615 4235264 18693293 140727706183632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26730496 140727706188169 140727706188268 140727706188268 140727706193870 0
/proc/54054/statm: 46450 38015 3968 3530 0 37901 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 185800 KiB
Current children cumulated memory: 152060 KiB
[startup+25.5001 s]
/proc/loadavg: 2.01 2.86 3.60 6/266 54057
/proc/meminfo: memFree=127859144/131249996 swapFree=33010684/33010684
[pid=54054] ppid=54038 vsize=186812 memory=153084 CPUtime=25.41 cores=5,7
/proc/54054/stat : 54054 (pbscip) R 54038 54054 53986 0 -1 4194304 36417 0 0 0 2536 5 0 0 20 0 1 0 50565515 191295488 38271 18446744073709551615 4235264 18693293 140727706183632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26730496 140727706188169 140727706188268 140727706188268 140727706193870 0
/proc/54054/statm: 46703 38271 3968 3530 0 38154 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 186812 KiB
Current children cumulated memory: 153084 KiB
[startup+51.1044 s]
/proc/loadavg: 2.69 2.96 3.61 6/265 54057
/proc/meminfo: memFree=127684260/131249996 swapFree=33010684/33010684
[pid=54054] ppid=54038 vsize=232960 memory=194484 CPUtime=50.95 cores=5,7
/proc/54054/stat : 54054 (pbscip) R 54038 54054 53986 0 -1 4194304 47661 0 0 0 5088 7 0 0 20 0 1 0 50565515 238551040 48621 18446744073709551615 4235264 18693293 140727706183632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26730496 140727706188169 140727706188268 140727706188268 140727706193870 0
/proc/54054/statm: 58240 48621 3968 3530 0 49691 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 232960 KiB
Current children cumulated memory: 194484 KiB
[startup+102.3 s]
/proc/loadavg: 3.52 3.15 3.64 6/265 54059
/proc/meminfo: memFree=127410712/131249996 swapFree=33010684/33010684
[pid=54054] ppid=54038 vsize=315648 memory=267148 CPUtime=102.02 cores=5,7
/proc/54054/stat : 54054 (pbscip) R 54038 54054 53986 0 -1 4194304 66979 0 0 0 10191 11 0 0 20 0 1 0 50565515 323223552 66787 18446744073709551615 4235264 18693293 140727706183632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26730496 140727706188169 140727706188268 140727706188268 140727706193870 0
/proc/54054/statm: 78912 66787 3968 3530 0 70363 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 315648 KiB
Current children cumulated memory: 267148 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 3.35 3.68 6/265 54062
/proc/meminfo: memFree=127286404/131249996 swapFree=33010684/33010684
[pid=54054] ppid=54038 vsize=365696 memory=316920 CPUtime=161.87 cores=5,7
/proc/54054/stat : 54054 (pbscip) R 54038 54054 53986 0 -1 4194304 81295 0 0 0 16173 14 0 0 20 0 1 0 50565515 374472704 79230 18446744073709551615 4235264 18693293 140727706183632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26730496 140727706188169 140727706188268 140727706188268 140727706193870 0
/proc/54054/statm: 91424 79230 3968 3530 0 82875 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 365696 KiB
Current children cumulated memory: 316920 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 3.49 3.71 6/266 54065
/proc/meminfo: memFree=127087160/131249996 swapFree=33010684/33010684
[pid=54054] ppid=54038 vsize=370200 memory=319752 CPUtime=221.71 cores=5,7
/proc/54054/stat : 54054 (pbscip) R 54038 54054 53986 0 -1 4194304 84682 0 0 0 22157 14 0 0 20 0 1 0 50565515 379084800 79938 18446744073709551615 4235264 18693293 140727706183632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26730496 140727706188169 140727706188268 140727706188268 140727706193870 0
/proc/54054/statm: 92550 79938 3968 3530 0 84001 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 370200 KiB
Current children cumulated memory: 319752 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 3.61 3.74 6/266 54067
/proc/meminfo: memFree=127036696/131249996 swapFree=33010684/33010684
[pid=54054] ppid=54038 vsize=373836 memory=320392 CPUtime=281.54 cores=5,7
/proc/54054/stat : 54054 (pbscip) R 54038 54054 53986 0 -1 4194304 84862 0 0 0 28139 15 0 0 20 0 1 0 50565515 382808064 80098 18446744073709551615 4235264 18693293 140727706183632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26730496 140727706188169 140727706188268 140727706188268 140727706193870 0
/proc/54054/statm: 93459 80098 3968 3530 0 84910 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 373836 KiB
Current children cumulated memory: 320392 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.70 3.76 6/266 54071
/proc/meminfo: memFree=126994784/131249996 swapFree=33010684/33010684
[pid=54054] ppid=54038 vsize=382364 memory=325896 CPUtime=341.35 cores=5,7
/proc/54054/stat : 54054 (pbscip) R 54038 54054 53986 0 -1 4194304 86245 0 0 0 34120 15 0 0 20 0 1 0 50565515 391540736 81474 18446744073709551615 4235264 18693293 140727706183632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26730496 140727706188169 140727706188268 140727706188268 140727706193870 0
/proc/54054/statm: 95591 81474 3968 3530 0 87042 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 382364 KiB
Current children cumulated memory: 325896 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.79 3.79 6/267 54080
/proc/meminfo: memFree=126976648/131249996 swapFree=33010684/33010684
[pid=54054] ppid=54038 vsize=382364 memory=326408 CPUtime=401.16 cores=5,7
/proc/54054/stat : 54054 (pbscip) R 54038 54054 53986 0 -1 4194304 86355 0 0 0 40101 15 0 0 20 0 1 0 50565515 391540736 81602 18446744073709551615 4235264 18693293 140727706183632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26730496 140727706188169 140727706188268 140727706188268 140727706193870 0
/proc/54054/statm: 95591 81602 3968 3530 0 87042 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 382364 KiB
Current children cumulated memory: 326408 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.85 3.81 6/266 54082
/proc/meminfo: memFree=126878236/131249996 swapFree=33010684/33010684
[pid=54054] ppid=54038 vsize=382364 memory=326408 CPUtime=460.98 cores=5,7
/proc/54054/stat : 54054 (pbscip) R 54038 54054 53986 0 -1 4194304 86374 0 0 0 46083 15 0 0 20 0 1 0 50565515 391540736 81602 18446744073709551615 4235264 18693293 140727706183632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26730496 140727706188169 140727706188268 140727706188268 140727706193870 0
/proc/54054/statm: 95591 81602 3968 3530 0 87042 0
Current children cumulated CPU time: 460.98 s
################
# More data... #
################
/proc/loadavg: 4.11 4.10 4.04 6/265 54236
/proc/meminfo: memFree=126113488/131249996 swapFree=33010684/33010684
[pid=54054] ppid=54038 vsize=550188 memory=524056 CPUtime=3214.11 cores=5,7
/proc/54054/stat : 54054 (pbscip) R 54038 54054 53986 0 -1 4194304 134861 0 0 0 321386 25 0 0 20 0 1 0 50565515 563392512 131014 18446744073709551615 4235264 18693293 140727706183632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26730496 140727706188169 140727706188268 140727706188268 140727706193870 0
/proc/54054/statm: 137547 131014 3968 3530 0 128998 0
Current children cumulated CPU time: 3214.11 s
Current children cumulated vsize: 550188 KiB
Current children cumulated memory: 524056 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.04 6/265 54239
/proc/meminfo: memFree=126118800/131249996 swapFree=33010684/33010684
[pid=54054] ppid=54038 vsize=550188 memory=524056 CPUtime=3273.96 cores=5,7
/proc/54054/stat : 54054 (pbscip) R 54038 54054 53986 0 -1 4194304 134861 0 0 0 327371 25 0 0 20 0 1 0 50565515 563392512 131014 18446744073709551615 4235264 18693293 140727706183632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26730496 140727706188169 140727706188268 140727706188268 140727706193870 0
/proc/54054/statm: 137547 131014 3968 3530 0 128998 0
Current children cumulated CPU time: 3273.96 s
Current children cumulated vsize: 550188 KiB
Current children cumulated memory: 524056 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.05 6/265 54241
/proc/meminfo: memFree=126119520/131249996 swapFree=33010684/33010684
[pid=54054] ppid=54038 vsize=550188 memory=524056 CPUtime=3333.82 cores=5,7
/proc/54054/stat : 54054 (pbscip) R 54038 54054 53986 0 -1 4194304 134861 0 0 0 333357 25 0 0 20 0 1 0 50565515 563392512 131014 18446744073709551615 4235264 18693293 140727706183632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26730496 140727706188169 140727706188268 140727706188268 140727706193870 0
/proc/54054/statm: 137547 131014 3968 3530 0 128998 0
Current children cumulated CPU time: 3333.82 s
Current children cumulated vsize: 550188 KiB
Current children cumulated memory: 524056 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.05 6/265 54250
/proc/meminfo: memFree=126118212/131249996 swapFree=33010684/33010684
[pid=54054] ppid=54038 vsize=550188 memory=524824 CPUtime=3393.67 cores=5,7
/proc/54054/stat : 54054 (pbscip) R 54038 54054 53986 0 -1 4194304 135055 0 0 0 339342 25 0 0 20 0 1 0 50565515 563392512 131206 18446744073709551615 4235264 18693293 140727706183632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26730496 140727706188169 140727706188268 140727706188268 140727706193870 0
/proc/54054/statm: 137547 131206 3968 3530 0 128998 0
Current children cumulated CPU time: 3393.67 s
Current children cumulated vsize: 550188 KiB
Current children cumulated memory: 524824 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.05 6/266 54253
/proc/meminfo: memFree=126118316/131249996 swapFree=33010684/33010684
[pid=54054] ppid=54038 vsize=550188 memory=525080 CPUtime=3453.52 cores=5,7
/proc/54054/stat : 54054 (pbscip) R 54038 54054 53986 0 -1 4194304 135143 0 0 0 345327 25 0 0 20 0 1 0 50565515 563392512 131270 18446744073709551615 4235264 18693293 140727706183632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26730496 140727706188169 140727706188268 140727706188268 140727706193870 0
/proc/54054/statm: 137547 131270 3968 3530 0 128998 0
Current children cumulated CPU time: 3453.52 s
Current children cumulated vsize: 550188 KiB
Current children cumulated memory: 525080 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.05 6/265 54255
/proc/meminfo: memFree=126075144/131249996 swapFree=33010684/33010684
[pid=54054] ppid=54038 vsize=567524 memory=540056 CPUtime=3513.38 cores=5,7
/proc/54054/stat : 54054 (pbscip) R 54038 54054 53986 0 -1 4194304 138869 0 0 0 351312 26 0 0 20 0 1 0 50565515 581144576 135014 18446744073709551615 4235264 18693293 140727706183632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26730496 140727706188169 140727706188268 140727706188268 140727706193870 0
/proc/54054/statm: 141881 135014 3968 3530 0 133332 0
Current children cumulated CPU time: 3513.38 s
Current children cumulated vsize: 567524 KiB
Current children cumulated memory: 540056 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.05 6/266 54259
/proc/meminfo: memFree=126089660/131249996 swapFree=33010684/33010684
[pid=54054] ppid=54038 vsize=565484 memory=538380 CPUtime=3573.23 cores=5,7
/proc/54054/stat : 54054 (pbscip) R 54038 54054 53986 0 -1 4194304 138992 0 0 0 357297 26 0 0 20 0 1 0 50565515 579055616 134595 18446744073709551615 4235264 18693293 140727706183632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26730496 140727706188169 140727706188268 140727706188268 140727706193870 0
/proc/54054/statm: 141371 134595 3968 3530 0 132822 0
Current children cumulated CPU time: 3573.23 s
Current children cumulated vsize: 565484 KiB
Current children cumulated memory: 538380 KiB
[startup+3597.18 s]
# the end of solver process 54054 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.82 s, system=0.26715 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.09 4.05 6/266 54259
/proc/meminfo: memFree=126089660/131249996 swapFree=33010684/33010684
[pid=54054] ppid=54038 vsize=565484 memory=538380 CPUtime=3574.93 cores=5,7
/proc/54054/stat : 54054 (pbscip) R 54038 54054 53986 0 -1 4194304 138992 0 0 0 357467 26 0 0 20 0 1 0 50565515 579055616 134595 18446744073709551615 4235264 18693293 140727706183632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26730496 140727706188169 140727706188268 140727706188268 140727706193870 0
/proc/54054/statm: 141371 134595 3968 3530 0 132822 0
Current children cumulated CPU time: 3574.93 s
Current children cumulated vsize: 565484 KiB
Current children cumulated memory: 538380 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.09 4.05 6/266 54259
/proc/meminfo: memFree=126089912/131249996 swapFree=33010684/33010684
[pid=54054] ppid=54038 vsize=565484 memory=538380 CPUtime=3581.31 cores=5,7
/proc/54054/stat : 54054 (pbscip) R 54038 54054 53986 0 -1 4194304 138992 0 0 0 358105 26 0 0 20 0 1 0 50565515 579055616 134595 18446744073709551615 4235264 18693293 140727706183632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26730496 140727706188169 140727706188268 140727706188268 140727706193870 0
/proc/54054/statm: 141371 134595 3968 3530 0 132822 0
Current children cumulated CPU time: 3581.31 s
Current children cumulated vsize: 565484 KiB
Current children cumulated memory: 538380 KiB
[startup+3593.6 s]
/proc/loadavg: 4.15 4.10 4.06 6/266 54259
/proc/meminfo: memFree=126089912/131249996 swapFree=33010684/33010684
[pid=54054] ppid=54038 vsize=565484 memory=538380 CPUtime=3584.51 cores=5,7
/proc/54054/stat : 54054 (pbscip) R 54038 54054 53986 0 -1 4194304 138992 0 0 0 358425 26 0 0 20 0 1 0 50565515 579055616 134595 18446744073709551615 4235264 18693293 140727706183632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26730496 140727706188169 140727706188268 140727706188268 140727706193870 0
/proc/54054/statm: 141371 134595 3968 3530 0 132822 0
Current children cumulated CPU time: 3584.51 s
Current children cumulated vsize: 565484 KiB
Current children cumulated memory: 538380 KiB
[startup+3595.2 s]
/proc/loadavg: 4.15 4.10 4.06 6/266 54259
/proc/meminfo: memFree=126089936/131249996 swapFree=33010684/33010684
[pid=54054] ppid=54038 vsize=565484 memory=538380 CPUtime=3586.1 cores=5,7
/proc/54054/stat : 54054 (pbscip) R 54038 54054 53986 0 -1 4194304 138992 0 0 0 358584 26 0 0 20 0 1 0 50565515 579055616 134595 18446744073709551615 4235264 18693293 140727706183632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26730496 140727706188169 140727706188268 140727706188268 140727706193870 0
/proc/54054/statm: 141371 134595 3968 3530 0 132822 0
Current children cumulated CPU time: 3586.1 s
Current children cumulated vsize: 565484 KiB
Current children cumulated memory: 538380 KiB
[startup+3596 s]*
/proc/loadavg: 4.15 4.10 4.06 6/266 54259
/proc/meminfo: memFree=126089936/131249996 swapFree=33010684/33010684
[pid=54054] ppid=54038 vsize=565484 memory=538380 CPUtime=3586.9 cores=5,7
/proc/54054/stat : 54054 (pbscip) R 54038 54054 53986 0 -1 4194304 138992 0 0 0 358664 26 0 0 20 0 1 0 50565515 579055616 134595 18446744073709551615 4235264 18693293 140727706183632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26730496 140727706188169 140727706188268 140727706188268 140727706193870 0
/proc/54054/statm: 141371 134595 3968 3530 0 132822 0
Current children cumulated CPU time: 3586.9 s
Current children cumulated vsize: 565484 KiB
Current children cumulated memory: 538380 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.10 4.06 6/266 54259
/proc/meminfo: memFree=126089936/131249996 swapFree=33010684/33010684
[pid=54054] ppid=54038 vsize=565484 memory=538380 CPUtime=3587.7 cores=5,7
/proc/54054/stat : 54054 (pbscip) R 54038 54054 53986 0 -1 4194304 138992 0 0 0 358744 26 0 0 20 0 1 0 50565515 579055616 134595 18446744073709551615 4235264 18693293 140727706183632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26730496 140727706188169 140727706188268 140727706188268 140727706193870 0
/proc/54054/statm: 141371 134595 3968 3530 0 132822 0
Current children cumulated CPU time: 3587.7 s
Current children cumulated vsize: 565484 KiB
Current children cumulated memory: 538380 KiB
[startup+3597 s]*
/proc/loadavg: 4.14 4.10 4.06 6/266 54259
/proc/meminfo: memFree=126089936/131249996 swapFree=33010684/33010684
[pid=54054] ppid=54038 vsize=565484 memory=538380 CPUtime=3587.9 cores=5,7
/proc/54054/stat : 54054 (pbscip) R 54038 54054 53986 0 -1 4194304 138992 0 0 0 358764 26 0 0 20 0 1 0 50565515 579055616 134595 18446744073709551615 4235264 18693293 140727706183632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26730496 140727706188169 140727706188268 140727706188268 140727706193870 0
/proc/54054/statm: 141371 134595 3968 3530 0 132822 0
Current children cumulated CPU time: 3587.9 s
Current children cumulated vsize: 565484 KiB
Current children cumulated memory: 538380 KiB
[startup+3597.1 s]
/proc/loadavg: 4.14 4.10 4.06 6/266 54259
/proc/meminfo: memFree=126089936/131249996 swapFree=33010684/33010684
[pid=54054] ppid=54038 vsize=565484 memory=538380 CPUtime=3588 cores=5,7
/proc/54054/stat : 54054 (pbscip) R 54038 54054 53986 0 -1 4194304 138992 0 0 0 358774 26 0 0 20 0 1 0 50565515 579055616 134595 18446744073709551615 4235264 18693293 140727706183632 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26730496 140727706188169 140727706188268 140727706188268 140727706193870 0
/proc/54054/statm: 141371 134595 3968 3530 0 132822 0
Current children cumulated CPU time: 3588 s
Current children cumulated vsize: 565484 KiB
Current children cumulated memory: 538380 KiB
Child status: 0
Real time (s): 3597.18
CPU time (s): 3588.09
CPU user time (s): 3587.82
CPU system time (s): 0.26715
CPU usage (%): 99.7471
Max. virtual memory (cumulated for all children) (KiB): 567524
Max. memory (cumulated for all children) (KiB): 540056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.82
system time used= 0.26715
maximum resident set size= 540056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139004
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= 134
involuntary context switches= 1518
# summary of solver processes directly reported to runsolver:
# pid: 54054
# total CPU time (s): 3588.09
# total CPU user time (s): 3587.82
# total CPU system time (s): 0.26715
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.06735 second user time and 11.3568 second system time
The end