0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4488827-1751321404.opb>
0.00/0.01 c original problem has 1965 variables (1965 bin, 0 int, 0 cont) and 4000 constraints
0.00/0.01 c problem read in 0.007 seconds
0.00/0.01 o 1965
0.00/0.01 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 1.965000e+03
0.00/0.01 c presolving:
0.00/0.02 c (round 1, fast) 146 del vars, 146 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3853 clqs
0.00/0.02 c (round 2, fast) 297 del vars, 647 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3352 clqs
0.00/0.02 c (round 3, fast) 352 del vars, 762 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3237 clqs
0.00/0.02 c (round 4, fast) 386 del vars, 886 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3113 clqs
0.00/0.02 c (round 5, fast) 396 del vars, 909 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3090 clqs
0.00/0.02 c (round 6, fast) 402 del vars, 926 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3073 clqs
0.00/0.02 c (round 7, fast) 407 del vars, 936 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3063 clqs
0.00/0.02 c (round 8, fast) 411 del vars, 948 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3051 clqs
0.00/0.02 c (round 9, fast) 413 del vars, 953 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3046 clqs
0.00/0.02 c (round 10, fast) 414 del vars, 956 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3043 clqs
0.00/0.02 c (0.0s) running MILP presolver
0.00/0.03 c (0.0s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.00/0.04 c (round 11, exhaustive) 414 del vars, 957 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3043 upgd conss, 0 impls, 3043 clqs
0.00/0.05 c (0.1s) probing: 51/1551 (3.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.05 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.06 c (0.1s) no symmetry present (symcode time: 0.00)
0.00/0.06 c presolving (12 rounds: 12 fast, 2 medium, 2 exhaustive):
0.00/0.06 c 414 deleted vars, 957 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 0 implications, 3043 cliques
0.00/0.06 c presolved problem has 1551 variables (1551 bin, 0 int, 0 cont) and 3043 constraints
0.00/0.06 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.00/0.06 c 3043 constraints of type <setppc>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.05
0.00/0.06 c
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c
0.00/0.06 c # SCIP version 10.0.0
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.06 c limits/time = 3596.998018
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.06 c limits/memory = 27900
0.00/0.06 c
0.00/0.06 c # belongs reading time to solving time?
0.00/0.06 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c timing/reading = TRUE
0.00/0.06 c
0.00/0.06 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.00/0.06 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.00/0.06 c reading/opbreader/maxintsize = 47
0.00/0.06 c
0.00/0.06 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.00/0.06 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.00/0.06 c propagating/genvbounds/timingmask = 0
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c
0.00/0.06 o 1753
0.00/0.06 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.06 c t 0.1s| 1 | 0 | 0 | - | trivial| 0 |1551 |3043 | 0 | 0 | 0 | 0 | 0 | 2.020000e+02 | 1.753000e+03 | 767.82%| unknown
0.00/0.08 o 1202
0.00/0.08 c p 0.1s| 1 | 0 | 0 | - | clique| 0 |1551 |3043 |3043 | 0 | 0 | 0 | 0 | 2.020000e+02 | 1.202000e+03 | 495.05%| unknown
0.00/0.08 o 1080
0.00/0.08 c p 0.1s| 1 | 0 | 0 | - | locks| 0 |1551 |3043 |3043 | 0 | 0 | 0 | 0 | 2.020000e+02 | 1.080000e+03 | 434.65%| unknown
0.09/0.12 o 1075
0.09/0.12 c i 0.1s| 1 | 0 | 0 | - | oneopt| 0 |1551 |3043 |3043 | 0 | 0 | 0 | 0 | 2.020000e+02 | 1.075000e+03 | 432.18%| unknown
0.09/0.15 c 0.2s| 1 | 0 | 1961 | - | 24M | 0 |1551 |3043 |3043 | 0 | 0 | 0 | 0 | 9.775000e+02 | 1.075000e+03 | 9.97%| unknown
0.40/0.46 c 0.5s| 1 | 0 | 2986 | - | 28M | 0 |1551 |3043 |3072 | 29 | 1 | 0 | 0 | 9.885000e+02 | 1.075000e+03 | 8.75%| unknown
1.28/1.35 c 1.4s| 1 | 0 | 4481 | - | 45M | 0 |1551 |3043 |3096 | 53 | 2 | 0 | 0 | 9.940000e+02 | 1.075000e+03 | 8.15%| unknown
1.78/1.83 c 1.8s| 1 | 0 | 6061 | - | 46M | 0 |1551 |3043 |3117 | 74 | 3 | 0 | 0 | 9.966667e+02 | 1.075000e+03 | 7.86%| unknown
2.28/2.39 c 2.4s| 1 | 0 | 7928 | - | 52M | 0 |1551 |3043 |3136 | 93 | 4 | 0 | 0 | 9.991298e+02 | 1.075000e+03 | 7.59%| unknown
3.18/3.23 c 3.2s| 1 | 0 | 9766 | - | 65M | 0 |1551 |3043 |3151 | 108 | 5 | 0 | 0 | 1.001562e+03 | 1.075000e+03 | 7.33%| unknown
4.27/4.35 c 4.3s| 1 | 0 | 10120 | - | 79M | 0 |1551 |3043 |3153 | 110 | 6 | 0 | 0 | 1.001683e+03 | 1.075000e+03 | 7.32%| unknown
5.47/5.52 c 5.5s| 1 | 0 | 10695 | - | 91M | 0 |1551 |3043 |3156 | 113 | 7 | 0 | 0 | 1.001872e+03 | 1.075000e+03 | 7.30%| unknown
6.77/6.86 c 6.9s| 1 | 0 | 11038 | - | 107M | 0 |1551 |3043 |3160 | 117 | 8 | 0 | 0 | 1.001947e+03 | 1.075000e+03 | 7.29%| unknown
7.77/7.86 c 7.9s| 1 | 0 | 11200 | - | 125M | 0 |1551 |3043 |3161 | 118 | 9 | 0 | 0 | 1.002011e+03 | 1.075000e+03 | 7.28%| unknown
8.97/9.08 c 9.1s| 1 | 0 | 11750 | - | 140M | 0 |1551 |3043 |3162 | 119 | 10 | 0 | 0 | 1.002126e+03 | 1.075000e+03 | 7.27%| unknown
9.26/9.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.26/9.33 c 9.3s| 1 | 0 | 12437 | - | 141M | 0 |1551 |3043 |3165 | 127 | 11 | 0 | 0 | 1.002338e+03 | 1.075000e+03 | 7.25%| unknown
9.46/9.54 c 9.5s| 1 | 0 | 12697 | - | 142M | 0 |1551 |3043 |3168 | 130 | 12 | 0 | 0 | 1.002374e+03 | 1.075000e+03 | 7.25%| unknown
9.66/9.76 c 9.8s| 1 | 0 | 12963 | - | 143M | 0 |1551 |3043 |3170 | 132 | 13 | 0 | 0 | 1.002435e+03 | 1.075000e+03 | 7.24%| unknown
9.86/9.95 c 10.0s| 1 | 0 | 12967 | - | 143M | 0 |1551 |3043 |3171 | 133 | 14 | 0 | 0 | 1.002435e+03 | 1.075000e+03 | 7.24%| unknown
10.06/10.17 c 10.2s| 1 | 0 | 13174 | - | 144M | 0 |1551 |3043 |3172 | 134 | 15 | 0 | 0 | 1.002478e+03 | 1.075000e+03 | 7.23%| unknown
10.26/10.37 c 10.4s| 1 | 0 | 13195 | - | 145M | 0 |1551 |3043 |3174 | 136 | 16 | 0 | 0 | 1.002478e+03 | 1.075000e+03 | 7.23%| unknown
10.46/10.57 c 10.6s| 1 | 0 | 13199 | - | 145M | 0 |1551 |3043 |3157 | 137 | 17 | 0 | 0 | 1.002478e+03 | 1.075000e+03 | 7.23%| unknown
10.66/10.76 c 10.8s| 1 | 0 | 13215 | - | 145M | 0 |1551 |3043 |3158 | 138 | 18 | 0 | 0 | 1.002478e+03 | 1.075000e+03 | 7.23%| unknown
10.86/10.97 c 11.0s| 1 | 0 | 13423 | - | 146M | 0 |1551 |3043 |3159 | 139 | 19 | 0 | 0 | 1.002510e+03 | 1.075000e+03 | 7.23%| unknown
11.06/11.15 c 11.2s| 1 | 0 | 13425 | - | 146M | 0 |1551 |3043 |3160 | 140 | 20 | 0 | 0 | 1.002510e+03 | 1.075000e+03 | 7.23%| unknown
13.55/13.62 c 13.6s| 1 | 2 | 13431 | - | 146M | 0 |1551 |3043 |3160 | 140 | 21 | 0 | 20 | 1.002971e+03 | 1.075000e+03 | 7.18%| unknown
33.39/33.56 o 1047
33.39/33.56 c *33.6s| 50 | 48 | 32950 | 398.5 | LP | 49 |1551 |3043 |3183 | 183 | 1 | 0 | 170 | 1.003470e+03 | 1.047000e+03 | 4.34%| unknown
38.67/38.84 o 1045
38.67/38.84 c d38.8s| 65 | 60 | 46677 | 519.6 |pscostdi| 49 |1551 |3043 |3172 | 0 | 1 | 0 | 187 | 1.003615e+03 | 1.045000e+03 | 4.12%| unknown
38.98/39.19 c 39.2s| 100 | 59 | 48165 | 350.9 | 167M | 50 |1551 |3043 |3183 | 207 | 1 | 0 | 187 | 1.003615e+03 | 1.045000e+03 | 4.12%| unknown
60.60/60.84 c 60.8s| 200 | 95 | 91647 | 393.1 | 218M | 50 |1551 |3064 |3190 | 390 | 1 | 21 | 212 | 1.004618e+03 | 1.045000e+03 | 4.02%| unknown
78.55/78.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
78.55/78.83 c 78.8s| 300 | 111 |142786 | 432.6 | 255M | 50 |1551 |3126 |3207 | 603 | 0 | 83 | 243 | 1.005197e+03 | 1.045000e+03 | 3.96%| unknown
92.50/92.84 c 92.8s| 400 | 145 |178914 | 414.8 | 264M | 50 |1551 |3205 |3230 | 886 | 4 | 162 | 273 | 1.005303e+03 | 1.045000e+03 | 3.95%| unknown
101.86/102.21 c 102s| 500 | 161 |205337 | 384.6 | 265M | 50 |1551 |3257 |3183 |1011 | 0 | 214 | 289 | 1.005855e+03 | 1.045000e+03 | 3.89%| unknown
107.84/108.20 o 1040
107.84/108.20 c L 108s| 525 | 140 |220192 | 394.6 | rins| 50 |1551 |3281 |3211 |1139 | 1 | 238 | 289 | 1.006111e+03 | 1.040000e+03 | 3.37%| unknown
116.72/117.16 c 117s| 600 | 195 |270949 | 429.9 | 269M | 50 |1551 |3360 |3212 |1408 | 1 | 317 | 321 | 1.006437e+03 | 1.040000e+03 | 3.33%| unknown
142.44/142.96 o 1039
142.44/142.96 c d 143s| 696 | 282 |362677 | 502.5 |adaptive| 50 |1551 |3410 |3239 | 0 | 1 | 376 | 369 | 1.007011e+03 | 1.039000e+03 | 3.18%| unknown
142.54/143.04 c 143s| 700 | 282 |363280 | 500.5 | 273M | 50 |1551 |3410 |3219 |2001 | 0 | 376 | 369 | 1.007011e+03 | 1.039000e+03 | 3.18%| unknown
160.78/161.39 c 161s| 800 | 372 |456533 | 554.6 | 279M | 50 |1551 |3475 |3217 |2443 | 1 | 456 | 416 | 1.007201e+03 | 1.039000e+03 | 3.16%| unknown
190.09/190.70 c 191s| 900 | 446 |570368 | 619.5 | 295M | 50 |1551 |3577 |3206 |2927 | 1 | 582 | 497 | 1.007598e+03 | 1.039000e+03 | 3.12%| unknown
199.96/200.62 c 201s| 1000 | 462 |609739 | 596.9 | 309M | 50 |1551 |3601 |3205 |3129 | 1 | 611 | 527 | 1.007600e+03 | 1.039000e+03 | 3.12%| unknown
207.93/208.65 c 209s| 1100 | 482 |646125 | 575.7 | 314M | 50 |1551 |3631 |3211 |3234 | 1 | 648 | 542 | 1.007821e+03 | 1.039000e+03 | 3.09%| unknown
217.71/218.49 c 218s| 1200 | 494 |679612 | 555.6 | 335M | 50 |1551 |3651 |3206 |3445 | 1 | 670 | 556 | 1.008047e+03 | 1.039000e+03 | 3.07%| unknown
219.31/220.07 c 220s| 1300 | 490 |691377 | 521.9 | 335M | 50 |1551 |3651 |3209 |3480 | 0 | 670 | 556 | 1.008047e+03 | 1.039000e+03 | 3.07%| unknown
225.88/226.66 c 227s| 1400 | 512 |724960 | 508.6 | 335M | 50 |1551 |3706 |3273 |3547 | 1 | 733 | 591 | 1.008047e+03 | 1.039000e+03 | 3.07%| unknown
233.55/234.34 c 234s| 1500 | 522 |763140 | 500.1 | 336M | 50 |1551 |3740 |3279 |3704 | 0 | 776 | 611 | 1.008086e+03 | 1.039000e+03 | 3.07%| unknown
242.92/243.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
242.92/243.70 c 244s| 1600 | 534 |804152 | 494.5 | 336M | 50 |1551 |3760 |3279 |3867 | 1 | 800 | 640 | 1.008476e+03 | 1.039000e+03 | 3.03%| unknown
246.61/247.40 c 247s| 1700 | 542 |828717 | 479.9 | 335M | 50 |1551 |3760 |3280 |3930 | 0 | 800 | 654 | 1.008476e+03 | 1.039000e+03 | 3.03%| unknown
255.88/256.74 c 257s| 1800 | 554 |868186 | 475.1 | 335M | 50 |1551 |3820 |3276 |4132 | 1 | 870 | 686 | 1.008560e+03 | 1.039000e+03 | 3.02%| unknown
265.16/266.05 c 266s| 1900 | 558 |915796 | 475.2 | 336M | 50 |1551 |3844 |3286 |4278 | 0 | 900 | 710 | 1.008638e+03 | 1.039000e+03 | 3.01%| unknown
273.03/273.93 c 274s| 2000 | 572 |956073 | 471.6 | 337M | 50 |1551 |3844 |3286 |4458 | 0 | 902 | 734 | 1.008722e+03 | 1.039000e+03 | 3.00%| unknown
276.61/277.59 c 278s| 2100 | 572 |975459 | 458.3 | 337M | 50 |1551 |3854 |3284 |4503 | 1 | 913 | 759 | 1.008722e+03 | 1.039000e+03 | 3.00%| unknown
287.38/288.32 c 288s| 2200 | 586 | 1018k| 457.1 | 338M | 50 |1551 |3923 |3306 |4732 | 1 |1006 | 807 | 1.008853e+03 | 1.039000e+03 | 2.99%| unknown
293.96/294.98 c 295s| 2300 | 600 | 1050k| 451.2 | 340M | 50 |1551 |3923 |3309 |4859 | 0 |1008 | 817 | 1.008961e+03 | 1.039000e+03 | 2.98%| unknown
309.70/310.73 c 311s| 2400 | 630 | 1107k| 456.2 | 341M | 50 |1551 |3958 |3318 |5229 | 1 |1050 | 842 | 1.009137e+03 | 1.039000e+03 | 2.96%| unknown
316.49/317.56 o 1038
316.49/317.56 c * 318s| 2479 | 620 | 1131k| 451.3 | LP | 50 |1551 |4001 |3314 |5376 | 1 |1101 | 877 | 1.009323e+03 | 1.038000e+03 | 2.84%| unknown
316.99/318.09 c 318s| 2500 | 619 | 1135k| 449.1 | 342M | 50 |1551 |4001 |3323 |5390 | 0 |1101 | 877 | 1.009323e+03 | 1.038000e+03 | 2.84%| unknown
317.58/318.69 o 1037
317.58/318.69 c * 319s| 2539 | 609 | 1140k| 444.0 | LP | 50 |1551 |4001 |3323 |5390 | 1 |1101 | 877 | 1.009323e+03 | 1.037000e+03 | 2.74%| unknown
324.46/325.52 c 326s| 2600 | 614 | 1161k| 441.6 | 343M | 50 |1551 |4001 |3316 |5534 | 0 |1103 | 891 | 1.009344e+03 | 1.037000e+03 | 2.74%| unknown
335.74/336.86 c 337s| 2700 | 624 | 1208k| 442.8 | 343M | 50 |1551 |4056 |3314 |5797 | 0 |1172 | 926 | 1.009502e+03 | 1.037000e+03 | 2.72%| unknown
339.83/340.97 c 341s| 2800 | 626 | 1234k| 436.1 | 343M | 50 |1551 |4085 |3322 |5864 | 1 |1211 | 952 | 1.009502e+03 | 1.037000e+03 | 2.72%| unknown
347.51/348.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
347.51/348.63 c 349s| 2900 | 632 | 1268k| 433.0 | 344M | 50 |1551 |4134 |3325 |6013 | 1 |1272 | 989 | 1.009546e+03 | 1.037000e+03 | 2.72%| unknown
354.50/355.60 c 356s| 3000 | 638 | 1304k| 430.4 | 345M | 50 |1551 |4150 |3324 |6167 | 1 |1294 |1013 | 1.009677e+03 | 1.037000e+03 | 2.71%| unknown
362.28/363.47 c 363s| 3100 | 646 | 1338k| 427.6 | 346M | 50 |1551 |4174 |3323 |6317 | 2 |1323 |1048 | 1.009752e+03 | 1.037000e+03 | 2.70%| unknown
372.75/373.95 c 374s| 3200 | 658 | 1386k| 429.1 | 346M | 50 |1551 |4237 |3330 |6528 | 1 |1407 |1093 | 1.009784e+03 | 1.037000e+03 | 2.70%| unknown
379.84/381.06 c 381s| 3300 | 664 | 1419k| 426.1 | 347M | 50 |1551 |4250 |3334 |6673 | 0 |1424 |1113 | 1.009799e+03 | 1.037000e+03 | 2.69%| unknown
390.50/391.72 c 392s| 3400 | 670 | 1470k| 428.8 | 347M | 50 |1551 |4272 |3332 |6789 | 0 |1450 |1139 | 1.010000e+03 | 1.037000e+03 | 2.67%| unknown
402.17/403.44 c 403s| 3500 | 682 | 1516k| 429.4 | 349M | 50 |1551 |4272 |3343 |6991 | 1 |1453 |1167 | 1.010209e+03 | 1.037000e+03 | 2.65%| unknown
406.66/407.93 c 408s| 3600 | 682 | 1537k| 423.6 | 350M | 50 |1551 |4280 |3344 |7005 | 1 |1464 |1183 | 1.010209e+03 | 1.037000e+03 | 2.65%| unknown
415.94/417.24 c 417s| 3700 | 686 | 1577k| 422.9 | 354M | 50 |1551 |4379 |3340 |7170 | 1 |1588 |1225 | 1.010219e+03 | 1.037000e+03 | 2.65%| unknown
420.63/421.94 c 422s| 3800 | 688 | 1606k| 419.4 | 354M | 50 |1551 |4451 |3279 |7234 | 0 |1681 |1264 | 1.010219e+03 | 1.037000e+03 | 2.65%| unknown
425.61/426.99 c 427s| 3900 | 694 | 1634k| 415.6 | 353M | 50 |1551 |4513 |3291 |7349 | 1 |1760 |1304 | 1.010219e+03 | 1.037000e+03 | 2.65%| unknown
433.39/434.71 c 435s| 4000 | 700 | 1670k| 414.4 | 354M | 50 |1551 |4524 |3294 |7524 | 1 |1775 |1320 | 1.010276e+03 | 1.037000e+03 | 2.65%| unknown
437.38/438.71 c 439s| 4100 | 698 | 1694k| 410.2 | 354M | 50 |1551 |4669 |3292 |7568 | 0 |1947 |1359 | 1.010276e+03 | 1.037000e+03 | 2.65%| unknown
445.67/447.01 c 447s| 4200 | 704 | 1729k| 408.6 | 355M | 50 |1551 |4718 |3292 |7742 | 0 |2018 |1398 | 1.010283e+03 | 1.037000e+03 | 2.64%| unknown
453.75/455.15 c 455s| 4300 | 710 | 1763k| 407.2 | 355M | 50 |1551 |4757 |3296 |7897 | 0 |2070 |1435 | 1.010286e+03 | 1.037000e+03 | 2.64%| unknown
463.92/465.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
463.92/465.33 c 465s| 4400 | 722 | 1803k| 407.0 | 356M | 50 |1551 |4767 |3301 |8165 | 0 |2081 |1453 | 1.010347e+03 | 1.037000e+03 | 2.64%| unknown
475.79/477.23 c 477s| 4500 | 736 | 1855k| 409.5 | 357M | 50 |1551 |4835 |3303 |8424 | 1 |2161 |1498 | 1.010508e+03 | 1.037000e+03 | 2.62%| unknown
483.58/485.03 c 485s| 4600 | 742 | 1890k| 408.2 | 357M | 50 |1551 |4884 |3301 |8570 | 1 |2225 |1528 | 1.010539e+03 | 1.037000e+03 | 2.62%| unknown
487.86/489.38 c 489s| 4700 | 740 | 1920k| 405.9 | 357M | 50 |1551 |4996 |3305 |8611 | 0 |2366 |1565 | 1.010539e+03 | 1.037000e+03 | 2.62%| unknown
505.92/507.46 c 507s| 4800 | 766 | 1987k| 411.3 | 358M | 50 |1551 |5042 |3309 |9084 | 1 |2425 |1613 | 1.010607e+03 | 1.037000e+03 | 2.61%| unknown
520.28/521.85 c 522s| 4900 | 782 | 2039k| 413.5 | 359M | 50 |1551 |5064 |3310 |9411 | 1 |2453 |1643 | 1.010776e+03 | 1.037000e+03 | 2.59%| unknown
530.95/532.56 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
530.95/532.56 c (run 1, node 4990) performing user restart
530.95/532.56 c
530.95/532.56 c (restart) converted 205 cuts from the global cut pool into linear constraints
530.95/532.56 c
531.15/532.70 c presolving:
531.15/532.71 c (round 1, fast) 0 del vars, 18 del conss, 0 add conss, 0 chg bounds, 4692 chg sides, 5131 chg coeffs, 0 upgd conss, 0 impls, 3045 clqs
531.15/532.73 c (round 2, exhaustive) 0 del vars, 18 del conss, 0 add conss, 0 chg bounds, 4692 chg sides, 5131 chg coeffs, 233 upgd conss, 0 impls, 3045 clqs
531.15/532.79 c (round 3, exhaustive) 0 del vars, 168 del conss, 0 add conss, 0 chg bounds, 4692 chg sides, 5492 chg coeffs, 233 upgd conss, 0 impls, 3045 clqs
531.25/532.84 c (round 4, exhaustive) 0 del vars, 209 del conss, 0 add conss, 0 chg bounds, 4692 chg sides, 5493 chg coeffs, 233 upgd conss, 0 impls, 3045 clqs
531.35/532.90 c (round 5, exhaustive) 0 del vars, 209 del conss, 0 add conss, 0 chg bounds, 4692 chg sides, 5645 chg coeffs, 233 upgd conss, 0 impls, 3045 clqs
531.35/532.96 c (round 6, exhaustive) 0 del vars, 216 del conss, 0 add conss, 0 chg bounds, 4692 chg sides, 5645 chg coeffs, 233 upgd conss, 0 impls, 3045 clqs
531.35/532.99 c presolving (7 rounds: 7 fast, 6 medium, 6 exhaustive):
531.35/532.99 c 0 deleted vars, 216 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 4692 changed sides, 5645 changed coefficients
531.35/532.99 c 0 implications, 3045 cliques
531.35/532.99 c presolved problem has 1551 variables (1551 bin, 0 int, 0 cont) and 5073 constraints
531.35/532.99 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
531.35/532.99 c 201 constraints of type <knapsack>
531.35/532.99 c 3045 constraints of type <setppc>
531.35/532.99 c 47 constraints of type <linear>
531.35/532.99 c 1780 constraints of type <logicor>
531.35/532.99 c transformed objective value is always integral (scale: 1)
531.35/532.99 c Presolving Time: 0.36
531.46/533.04 c transformed 93/100 original solutions to the transformed problem space
531.46/533.05 c
532.15/533.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
532.15/533.77 c 534s| 1 | 0 | 2092k| - | 351M | 0 |1551 |5073 |3248 | 0 | 0 |2475 |1668 | 1.010853e+03 | 1.037000e+03 | 2.59%| unknown
532.65/534.26 c 534s| 1 | 0 | 2092k| - | 351M | 0 |1551 |5073 |3249 | 1 | 1 |2475 |1668 | 1.010853e+03 | 1.037000e+03 | 2.59%| unknown
533.15/534.74 c 535s| 1 | 0 | 2092k| - | 351M | 0 |1551 |5073 |3251 | 3 | 2 |2475 |1668 | 1.010853e+03 | 1.037000e+03 | 2.59%| unknown
533.65/535.22 c 535s| 1 | 0 | 2092k| - | 351M | 0 |1551 |5073 |3253 | 5 | 3 |2475 |1668 | 1.010853e+03 | 1.037000e+03 | 2.59%| unknown
534.14/535.70 c 536s| 1 | 0 | 2092k| - | 351M | 0 |1551 |5073 |3254 | 6 | 4 |2475 |1668 | 1.010853e+03 | 1.037000e+03 | 2.59%| unknown
535.24/536.84 c 537s| 1 | 2 | 2094k| - | 351M | 0 |1551 |5096 |3254 | 6 | 5 |2498 |1672 | 1.010853e+03 | 1.037000e+03 | 2.59%| unknown
543.03/544.61 c 545s| 100 | 31 | 2135k| 415.6 | 360M | 28 |1551 |5327 |3208 | 10 | 0 |2744 |1723 | 1.010853e+03 | 1.037000e+03 | 2.59%| unknown
547.52/549.12 c 549s| 200 | 41 | 2160k| 412.4 | 360M | 32 |1551 |5533 |3208 | 10 | 1 |2987 |1769 | 1.010853e+03 | 1.037000e+03 | 2.59%| unknown
551.31/552.98 c 553s| 300 | 45 | 2183k| 408.9 | 360M | 32 |1551 |5708 |3208 | 10 | 1 |3199 |1821 | 1.010853e+03 | 1.037000e+03 | 2.59%| unknown
554.80/556.46 c 556s| 400 | 51 | 2202k| 404.9 | 360M | 32 |1551 |5809 |3208 | 10 | 1 |3317 |1851 | 1.010853e+03 | 1.037000e+03 | 2.59%| unknown
561.68/563.37 c 563s| 500 | 59 | 2254k| 407.0 | 360M | 32 |1551 |5866 |3208 | 10 | 1 |3383 |1864 | 1.010853e+03 | 1.037000e+03 | 2.59%| unknown
565.27/566.92 c 567s| 600 | 63 | 2275k| 403.5 | 360M | 32 |1551 |5929 |3208 | 10 | 0 |3457 |1886 | 1.010853e+03 | 1.037000e+03 | 2.59%| unknown
569.07/570.70 c 571s| 700 | 69 | 2298k| 400.4 | 360M | 32 |1551 |6073 |3208 | 10 | 1 |3633 |1918 | 1.010853e+03 | 1.037000e+03 | 2.59%| unknown
573.75/575.44 c 575s| 800 | 83 | 2326k| 398.3 | 360M | 32 |1551 |6239 |3208 | 10 | 1 |3847 |1966 | 1.010853e+03 | 1.037000e+03 | 2.59%| unknown
576.15/577.84 c 578s| 900 | 79 | 2340k| 393.9 | 360M | 33 |1551 |6355 |3208 | 10 | 0 |3991 |2001 | 1.010853e+03 | 1.037000e+03 | 2.59%| unknown
579.35/581.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
579.35/581.03 c 581s| 1000 | 83 | 2359k| 390.5 | 360M | 36 |1551 |6501 |3208 | 10 | 0 |4179 |2048 | 1.010853e+03 | 1.037000e+03 | 2.59%| unknown
584.13/585.89 c 586s| 1100 | 87 | 2382k| 387.9 | 369M | 36 |1551 |6609 |3211 | 22 | 1 |4315 |2087 | 1.010853e+03 | 1.037000e+03 | 2.59%| unknown
589.61/591.31 c 591s| 1200 | 91 | 2406k| 385.6 | 371M | 36 |1551 |6714 |3210 | 32 | 1 |4452 |2125 | 1.010853e+03 | 1.037000e+03 | 2.59%| unknown
596.40/598.13 c 598s| 1300 | 97 | 2435k| 384.0 | 373M | 36 |1551 |6944 |3209 | 49 | 0 |4735 |2184 | 1.010878e+03 | 1.037000e+03 | 2.58%| unknown
600.68/602.44 c 602s| 1400 | 103 | 2460k| 381.9 | 373M | 36 |1551 |7210 |3209 | 63 | 2 |5062 |2251 | 1.011035e+03 | 1.037000e+03 | 2.57%| unknown
603.57/605.30 c 605s| 1500 | 101 | 2476k| 378.5 | 373M | 36 |1551 |7312 |3209 | 71 | 0 |5189 |2288 | 1.011035e+03 | 1.037000e+03 | 2.57%| unknown
606.77/608.50 c 609s| 1600 | 105 | 2496k| 375.7 | 373M | 36 |1551 |7536 |3209 | 75 | 1 |5462 |2343 | 1.011035e+03 | 1.037000e+03 | 2.57%| unknown
610.26/612.05 c 612s| 1700 | 103 | 2515k| 373.0 | 373M | 36 |1551 |7894 |3210 | 78 | 1 |5879 |2411 | 1.011035e+03 | 1.037000e+03 | 2.57%| unknown
614.65/616.48 c 616s| 1800 | 117 | 2542k| 371.5 | 373M | 36 |1551 |7985 |3209 | 79 | 0 |5994 |2447 | 1.011075e+03 | 1.037000e+03 | 2.56%| unknown
619.43/621.23 c 621s| 1900 | 135 | 2571k| 370.2 | 373M | 36 |1551 |8098 |3209 | 80 | 0 |6137 |2487 | 1.011152e+03 | 1.037000e+03 | 2.56%| unknown
623.82/625.64 c 626s| 2000 | 143 | 2591k| 367.9 | 372M | 36 |1551 |8151 |3210 | 90 | 1 |6202 |2513 | 1.011333e+03 | 1.037000e+03 | 2.54%| unknown
629.32/631.17 c 631s| 2100 | 147 | 2616k| 366.2 | 372M | 36 |1551 |8245 |3210 | 111 | 0 |6326 |2544 | 1.011375e+03 | 1.037000e+03 | 2.53%| unknown
633.70/635.56 c 636s| 2200 | 151 | 2642k| 364.7 | 372M | 36 |1551 |8458 |3211 | 112 | 0 |6587 |2598 | 1.011385e+03 | 1.037000e+03 | 2.53%| unknown
637.09/638.95 c 639s| 2300 | 159 | 2662k| 362.5 | 373M | 36 |1551 |8537 |3212 | 116 | 2 |6690 |2621 | 1.011418e+03 | 1.037000e+03 | 2.53%| unknown
639.58/641.40 c 641s| 2400 | 157 | 2681k| 360.1 | 373M | 36 |1551 |8687 |3211 | 121 | 0 |6872 |2649 | 1.011418e+03 | 1.037000e+03 | 2.53%| unknown
647.18/649.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
647.18/649.03 c 649s| 2500 | 191 | 2715k| 359.9 | 379M | 36 |1551 |8688 |3212 | 150 | 1 |6926 |2681 | 1.011558e+03 | 1.037000e+03 | 2.52%| unknown
655.26/657.11 c 657s| 2600 | 213 | 2754k| 360.3 | 382M | 36 |1551 |8747 |3213 | 192 | 1 |7126 |2731 | 1.011750e+03 | 1.037000e+03 | 2.50%| unknown
665.33/667.28 c 667s| 2700 | 225 | 2806k| 362.3 | 401M | 37 |1551 |8807 |3214 | 239 | 1 |7343 |2789 | 1.011864e+03 | 1.037000e+03 | 2.48%| unknown
670.91/672.84 c 673s| 2800 | 231 | 2833k| 361.1 | 401M | 37 |1551 |8872 |3212 | 266 | 1 |7591 |2849 | 1.011997e+03 | 1.037000e+03 | 2.47%| unknown
676.21/678.12 c 678s| 2900 | 249 | 2865k| 360.6 | 401M | 37 |1551 |8839 |3214 | 273 | 1 |7755 |2895 | 1.012061e+03 | 1.037000e+03 | 2.46%| unknown
684.18/686.14 c 686s| 3000 | 267 | 2898k| 360.2 | 404M | 37 |1551 |8750 |3215 | 335 | 1 |7873 |2929 | 1.012078e+03 | 1.037000e+03 | 2.46%| unknown
686.77/688.75 c 689s| 3100 | 263 | 2918k| 358.3 | 404M | 37 |1551 |8805 |3215 | 339 | 0 |7941 |2944 | 1.012078e+03 | 1.037000e+03 | 2.46%| unknown
694.95/696.98 c 697s| 3200 | 275 | 2949k| 357.6 | 404M | 37 |1551 |8894 |3215 | 377 | 3 |8196 |3019 | 1.012157e+03 | 1.037000e+03 | 2.45%| unknown
701.33/703.35 c 703s| 3300 | 283 | 2977k| 356.8 | 404M | 39 |1551 |8803 |3215 | 441 | 1 |8366 |3052 | 1.012175e+03 | 1.037000e+03 | 2.45%| unknown
705.13/707.19 c 707s| 3400 | 283 | 3000k| 355.2 | 404M | 39 |1551 |8808 |3215 | 443 | 0 |8480 |3085 | 1.012212e+03 | 1.037000e+03 | 2.45%| unknown
711.31/713.30 c 713s| 3500 | 295 | 3028k| 354.4 | 405M | 39 |1551 |8890 |3217 | 490 | 0 |8690 |3134 | 1.012215e+03 | 1.037000e+03 | 2.45%| unknown
718.79/720.84 c 721s| 3600 | 313 | 3061k| 354.0 | 405M | 39 |1551 |8789 |3220 | 537 | 1 |8833 |3175 | 1.012256e+03 | 1.037000e+03 | 2.44%| unknown
724.18/726.20 c 726s| 3700 | 323 | 3092k| 353.5 | 405M | 39 |1551 |8858 |3220 | 569 | 1 |9084 |3232 | 1.012296e+03 | 1.037000e+03 | 2.44%| unknown
726.27/728.38 c 728s| 3800 | 327 | 3112k| 351.8 | 405M | 39 |1551 |8735 |3220 | 570 | 1 |9119 |3238 | 1.012298e+03 | 1.037000e+03 | 2.44%| unknown
728.47/730.51 c 731s| 3900 | 329 | 3131k| 350.0 | 405M | 39 |1551 |8677 |3221 | 572 | 0 |9148 |3241 | 1.012316e+03 | 1.037000e+03 | 2.44%| unknown
734.06/736.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
734.06/736.18 c 736s| 4000 | 333 | 3156k| 348.9 | 405M | 39 |1551 |8617 |3220 | 613 | 1 |9296 |3294 | 1.012377e+03 | 1.037000e+03 | 2.43%| unknown
741.73/743.85 c 744s| 4100 | 345 | 3191k| 348.8 | 405M | 39 |1551 |8555 |3218 | 682 | 1 |9501 |3358 | 1.012390e+03 | 1.037000e+03 | 2.43%| unknown
748.62/750.74 c 751s| 4200 | 353 | 3220k| 348.2 | 405M | 39 |1551 |8565 |3219 | 730 | 1 |9700 |3402 | 1.012401e+03 | 1.037000e+03 | 2.43%| unknown
760.99/763.18 c 763s| 4300 | 371 | 3286k| 351.6 | 405M | 39 |1551 |8234 |3221 | 800 | 1 |9861 |3472 | 1.012449e+03 | 1.037000e+03 | 2.42%| unknown
766.88/769.07 c 769s| 4400 | 373 | 3314k| 350.9 | 405M | 39 |1551 |8260 |3220 | 839 | 0 | 10k|3543 | 1.012478e+03 | 1.037000e+03 | 2.42%| unknown
770.97/773.13 c 773s| 4500 | 377 | 3336k| 349.4 | 405M | 39 |1551 |8565 |3220 | 841 | 1 | 10k|3628 | 1.012478e+03 | 1.037000e+03 | 2.42%| unknown
777.44/779.65 c 780s| 4600 | 381 | 3363k| 348.6 | 405M | 40 |1551 |8261 |3222 | 894 | 0 | 10k|3689 | 1.012526e+03 | 1.037000e+03 | 2.42%| unknown
784.03/786.21 c 786s| 4700 | 395 | 3393k| 348.2 | 405M | 40 |1551 |8024 |3225 | 939 | 1 | 11k|3757 | 1.012619e+03 | 1.037000e+03 | 2.41%| unknown
791.31/793.57 c 794s| 4800 | 401 | 3425k| 347.8 | 405M | 40 |1551 |8148 |3228 |1005 | 0 | 11k|3830 | 1.012740e+03 | 1.037000e+03 | 2.40%| unknown
806.68/809.00 c 809s| 4900 | 423 | 3472k| 349.1 | 417M | 42 |1551 |7878 |3232 |1165 | 1 | 11k|3895 | 1.012899e+03 | 1.037000e+03 | 2.38%| unknown
813.96/816.23 c 816s| 5000 | 421 | 3499k| 348.2 | 429M | 44 |1551 |7884 |3222 |1232 | 1 | 11k|3959 | 1.012957e+03 | 1.037000e+03 | 2.37%| unknown
820.94/823.25 c 823s| 5100 | 445 | 3537k| 348.6 | 436M | 44 |1551 |7740 |3238 |1381 | 1 | 11k|3979 | 1.012985e+03 | 1.037000e+03 | 2.37%| unknown
827.32/829.62 c 830s| 5200 | 449 | 3565k| 347.9 | 438M | 44 |1551 |7839 |3241 |1423 | 0 | 12k|4065 | 1.013008e+03 | 1.037000e+03 | 2.37%| unknown
833.31/835.68 c 836s| 5300 | 455 | 3594k| 347.3 | 439M | 44 |1551 |7829 |3242 |1486 | 1 | 12k|4105 | 1.013046e+03 | 1.037000e+03 | 2.36%| unknown
840.70/843.02 c 843s| 5400 | 459 | 3622k| 346.7 | 442M | 48 |1551 |7805 |3236 |1562 | 1 | 12k|4136 | 1.013063e+03 | 1.037000e+03 | 2.36%| unknown
844.98/847.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
844.98/847.37 c 847s| 5500 | 465 | 3652k| 346.2 | 442M | 48 |1551 |7751 |3243 |1690 | 0 | 12k|4155 | 1.013106e+03 | 1.037000e+03 | 2.36%| unknown
847.28/849.68 c 850s| 5600 | 459 | 3670k| 344.7 | 442M | 48 |1551 |7750 |3240 |1770 | 1 | 12k|4156 | 1.013106e+03 | 1.037000e+03 | 2.36%| unknown
851.77/854.16 c 854s| 5700 | 461 | 3697k| 344.0 | 442M | 48 |1551 |7682 |3247 |1868 | 0 | 12k|4156 | 1.013187e+03 | 1.037000e+03 | 2.35%| unknown
854.26/856.67 c 857s| 5800 | 463 | 3717k| 342.7 | 442M | 48 |1551 |7696 |3241 |1911 | 0 | 12k|4160 | 1.013187e+03 | 1.037000e+03 | 2.35%| unknown
859.94/862.32 c 862s| 5900 | 467 | 3749k| 342.4 | 440M | 48 |1551 |7588 |3223 |1976 | 0 | 12k|4167 | 1.013214e+03 | 1.037000e+03 | 2.35%| unknown
866.63/869.04 c 869s| 6000 | 479 | 3785k| 342.6 | 440M | 48 |1551 |7416 |3246 |2114 | 0 | 12k|4169 | 1.013238e+03 | 1.037000e+03 | 2.35%| unknown
871.22/873.64 c 874s| 6100 | 483 | 3812k| 342.0 | 440M | 48 |1551 |7341 |3243 |2207 | 1 | 12k|4170 | 1.013240e+03 | 1.037000e+03 | 2.34%| unknown
877.80/880.29 c 880s| 6200 | 485 | 3858k| 343.0 | 440M | 48 |1551 |7254 |3237 |2273 | 0 | 12k|4170 | 1.013263e+03 | 1.037000e+03 | 2.34%| unknown
884.59/887.04 c 887s| 6300 | 497 | 3899k| 343.6 | 440M | 48 |1551 |7018 |3242 |2433 | 1 | 12k|4173 | 1.013313e+03 | 1.037000e+03 | 2.34%| unknown
889.77/892.22 c 892s| 6400 | 503 | 3926k| 342.9 | 440M | 48 |1551 |6969 |3246 |2532 | 0 | 12k|4179 | 1.013333e+03 | 1.037000e+03 | 2.34%| unknown
892.86/895.37 c 895s| 6500 | 509 | 3950k| 342.1 | 441M | 48 |1551 |6900 |3251 |2591 | 0 | 12k|4183 | 1.013344e+03 | 1.037000e+03 | 2.33%| unknown
896.66/899.13 c 899s| 6600 | 515 | 3973k| 341.0 | 441M | 48 |1551 |6806 |3252 |2622 | 1 | 12k|4185 | 1.013344e+03 | 1.037000e+03 | 2.33%| unknown
900.74/903.23 c 903s| 6700 | 523 | 4000k| 340.5 | 441M | 48 |1551 |6546 |3253 |2692 | 1 | 12k|4186 | 1.013369e+03 | 1.037000e+03 | 2.33%| unknown
905.64/908.16 c 908s| 6800 | 535 | 4033k| 340.4 | 441M | 48 |1551 |6435 |3255 |2768 | 2 | 12k|4188 | 1.013401e+03 | 1.037000e+03 | 2.33%| unknown
908.32/910.82 c 911s| 6900 | 533 | 4051k| 339.1 | 441M | 48 |1551 |6461 |3256 |2793 | 0 | 12k|4192 | 1.013401e+03 | 1.037000e+03 | 2.33%| unknown
912.31/914.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
912.31/914.82 c 915s| 7000 | 535 | 4080k| 338.6 | 441M | 48 |1551 |6314 |3247 |2892 | 1 | 12k|4193 | 1.013434e+03 | 1.037000e+03 | 2.33%| unknown
914.51/917.05 c 917s| 7100 | 537 | 4100k| 337.5 | 441M | 48 |1551 |6314 |3252 |2928 | 1 | 12k|4193 | 1.013434e+03 | 1.037000e+03 | 2.33%| unknown
918.00/920.58 c 921s| 7200 | 541 | 4127k| 337.0 | 441M | 48 |1551 |6170 |3251 |2991 | 2 | 12k|4193 | 1.013463e+03 | 1.037000e+03 | 2.32%| unknown
922.09/924.61 c 925s| 7300 | 543 | 4154k| 336.4 | 441M | 48 |1551 |6159 |3242 |3080 | 1 | 12k|4195 | 1.013487e+03 | 1.037000e+03 | 2.32%| unknown
929.27/931.85 c 932s| 7400 | 555 | 4197k| 337.1 | 441M | 48 |1551 |5967 |3241 |3261 | 0 | 12k|4196 | 1.013514e+03 | 1.037000e+03 | 2.32%| unknown
932.06/934.68 c 935s| 7500 | 565 | 4223k| 336.6 | 441M | 48 |1551 |5963 |3242 |3316 | 0 | 12k|4197 | 1.013514e+03 | 1.037000e+03 | 2.32%| unknown
937.25/939.85 c 940s| 7600 | 571 | 4249k| 335.9 | 441M | 48 |1551 |5875 |3244 |3396 | 1 | 12k|4205 | 1.013545e+03 | 1.037000e+03 | 2.31%| unknown
940.84/943.48 c 943s| 7700 | 575 | 4272k| 335.1 | 441M | 48 |1551 |5765 |3248 |3466 | 1 | 12k|4206 | 1.013605e+03 | 1.037000e+03 | 2.31%| unknown
942.64/945.28 c 945s| 7800 | 573 | 4287k| 333.7 | 441M | 48 |1551 |5765 |3244 |3488 | 1 | 12k|4207 | 1.013605e+03 | 1.037000e+03 | 2.31%| unknown
946.33/948.95 c 949s| 7900 | 575 | 4314k| 333.2 | 441M | 48 |1551 |5628 |3242 |3538 | 0 | 12k|4208 | 1.013653e+03 | 1.037000e+03 | 2.30%| unknown
951.02/953.68 c 954s| 8000 | 581 | 4341k| 332.7 | 441M | 48 |1551 |5612 |3251 |3627 | 2 | 12k|4209 | 1.013666e+03 | 1.037000e+03 | 2.30%| unknown
959.80/962.41 c 962s| 8100 | 595 | 4385k| 333.5 | 441M | 48 |1551 |5218 |3245 |3784 | 1 | 12k|4213 | 1.013706e+03 | 1.037000e+03 | 2.30%| unknown
969.48/972.13 c 972s| 8200 | 613 | 4450k| 335.8 | 441M | 48 |1551 |4871 |3245 |3953 | 0 | 12k|4213 | 1.013812e+03 | 1.037000e+03 | 2.29%| unknown
980.05/982.73 c 983s| 8300 | 631 | 4500k| 337.1 | 442M | 48 |1551 |4671 |3258 |4204 | 1 | 12k|4215 | 1.013857e+03 | 1.037000e+03 | 2.28%| unknown
983.84/986.58 c 987s| 8400 | 639 | 4527k| 336.6 | 442M | 48 |1551 |4578 |3257 |4256 | 1 | 12k|4215 | 1.013874e+03 | 1.037000e+03 | 2.28%| unknown
988.33/991.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
988.33/991.07 c 991s| 8500 | 643 | 4554k| 336.1 | 443M | 48 |1551 |4512 |3261 |4344 | 1 | 12k|4218 | 1.013927e+03 | 1.037000e+03 | 2.28%| unknown
990.72/993.48 c 993s| 8600 | 649 | 4577k| 335.3 | 443M | 48 |1551 |4531 |3256 |4369 | 0 | 13k|4221 | 1.013927e+03 | 1.037000e+03 | 2.28%| unknown
993.51/996.24 c 996s| 8700 | 651 | 4597k| 334.3 | 443M | 48 |1551 |4560 |3269 |4405 | 2 | 13k|4227 | 1.013927e+03 | 1.037000e+03 | 2.28%| unknown
1001.19/1003.90 c 1004s| 8800 | 661 | 4632k| 334.5 | 443M | 48 |1551 |4427 |3263 |4583 | 1 | 13k|4233 | 1.013972e+03 | 1.037000e+03 | 2.27%| unknown
1011.06/1013.88 c 1014s| 8900 | 675 | 4676k| 335.2 | 443M | 48 |1551 |4264 |3266 |4786 | 1 | 13k|4262 | 1.014006e+03 | 1.037000e+03 | 2.27%| unknown
1015.15/1017.93 c 1018s| 9000 | 683 | 4707k| 335.1 | 443M | 48 |1551 |4238 |3266 |4812 | 0 | 13k|4295 | 1.014028e+03 | 1.037000e+03 | 2.27%| unknown
1025.93/1028.77 c 1029s| 9100 | 703 | 4754k| 336.0 | 444M | 48 |1551 |4187 |3267 |5023 | 1 | 13k|4323 | 1.014075e+03 | 1.037000e+03 | 2.26%| unknown
1031.41/1034.26 c 1034s| 9200 | 707 | 4787k| 336.0 | 444M | 48 |1551 |4374 |3273 |5056 | 0 | 13k|4402 | 1.014115e+03 | 1.037000e+03 | 2.26%| unknown
1038.80/1041.63 o 1036
1038.80/1041.63 c *1042s| 9285 | 692 | 4819k| 336.2 | LP | 48 |1551 |4446 |3275 |5163 | 1 | 13k|4439 | 1.014138e+03 | 1.036000e+03 | 2.16%| unknown
1039.00/1041.86 c 1042s| 9300 | 691 | 4821k| 336.0 | 444M | 48 |1551 |4446 |3275 |5163 | 0 | 13k|4439 | 1.014138e+03 | 1.036000e+03 | 2.16%| unknown
1045.88/1048.70 c 1049s| 9400 | 699 | 4860k| 336.3 | 444M | 48 |1551 |4572 |3277 |5269 | 0 | 14k|4488 | 1.014142e+03 | 1.036000e+03 | 2.16%| unknown
1051.96/1054.83 c 1055s| 9500 | 697 | 4884k| 335.7 | 444M | 48 |1551 |4715 |3277 |5292 | 0 | 14k|4573 | 1.014142e+03 | 1.036000e+03 | 2.16%| unknown
1060.94/1063.81 c 1064s| 9600 | 707 | 4928k| 336.4 | 444M | 48 |1551 |4667 |3269 |5497 | 1 | 14k|4577 | 1.014173e+03 | 1.036000e+03 | 2.15%| unknown
1071.61/1074.51 c 1075s| 9700 | 725 | 4996k| 338.8 | 444M | 48 |1551 |4652 |3261 |5701 | 0 | 14k|4585 | 1.014217e+03 | 1.036000e+03 | 2.15%| unknown
1077.11/1080.06 c 1080s| 9800 | 735 | 5034k| 339.1 | 444M | 48 |1551 |4659 |3268 |5832 | 0 | 14k|4586 | 1.014277e+03 | 1.036000e+03 | 2.14%| unknown
1084.88/1087.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1084.88/1087.89 c 1088s| 9900 | 747 | 5073k| 339.3 | 446M | 48 |1551 |4687 |3265 |5993 | 1 | 14k|4601 | 1.014306e+03 | 1.036000e+03 | 2.14%| unknown
1088.67/1091.63 c 1092s| 10000 | 745 | 5094k| 338.5 | 446M | 48 |1551 |4789 |3266 |6020 | 1 | 14k|4644 | 1.014306e+03 | 1.036000e+03 | 2.14%| unknown
1090.97/1093.91 c 1094s| 10100 | 737 | 5114k| 337.6 | 446M | 48 |1551 |4790 |3258 |6062 | 1 | 14k|4645 | 1.014306e+03 | 1.036000e+03 | 2.14%| unknown
1101.64/1104.69 c 1105s| 10200 | 747 | 5159k| 338.3 | 447M | 48 |1551 |4735 |3270 |6261 | 1 | 14k|4669 | 1.014367e+03 | 1.036000e+03 | 2.13%| unknown
1108.52/1111.53 c 1112s| 10300 | 751 | 5197k| 338.6 | 447M | 48 |1551 |4608 |3281 |6494 | 0 | 14k|4675 | 1.014372e+03 | 1.036000e+03 | 2.13%| unknown
1114.31/1117.30 c 1117s| 10400 | 759 | 5234k| 338.8 | 447M | 48 |1551 |4619 |3281 |6617 | 0 | 14k|4681 | 1.014415e+03 | 1.036000e+03 | 2.13%| unknown
1121.79/1124.82 c 1125s| 10500 | 771 | 5275k| 339.3 | 447M | 48 |1551 |4535 |3285 |6777 | 0 | 14k|4690 | 1.014443e+03 | 1.036000e+03 | 2.12%| unknown
1125.09/1128.18 c 1128s| 10600 | 775 | 5303k| 338.9 | 447M | 48 |1551 |4548 |3285 |6809 | 2 | 14k|4699 | 1.014443e+03 | 1.036000e+03 | 2.12%| unknown
1128.37/1131.47 c 1131s| 10700 | 775 | 5329k| 338.4 | 447M | 48 |1551 |4583 |3288 |6836 | 0 | 14k|4712 | 1.014443e+03 | 1.036000e+03 | 2.12%| unknown
1131.17/1134.20 c 1134s| 10800 | 771 | 5353k| 337.8 | 447M | 48 |1551 |4610 |3270 |6857 | 1 | 14k|4717 | 1.014443e+03 | 1.036000e+03 | 2.12%| unknown
1133.66/1136.72 c 1137s| 10900 | 771 | 5375k| 337.0 | 447M | 48 |1551 |4617 |3270 |6904 | 0 | 14k|4718 | 1.014443e+03 | 1.036000e+03 | 2.12%| unknown
1139.45/1142.53 c 1143s| 11000 | 779 | 5414k| 337.3 | 447M | 48 |1551 |4605 |3274 |7031 | 1 | 14k|4720 | 1.014451e+03 | 1.036000e+03 | 2.12%| unknown
1147.93/1151.08 c 1151s| 11100 | 791 | 5455k| 337.8 | 448M | 48 |1551 |4540 |3289 |7225 | 0 | 14k|4731 | 1.014498e+03 | 1.036000e+03 | 2.12%| unknown
1159.30/1162.47 c 1162s| 11200 | 811 | 5511k| 339.2 | 448M | 48 |1551 |4489 |3287 |7512 | 1 | 14k|4740 | 1.014516e+03 | 1.036000e+03 | 2.12%| unknown
1164.29/1167.42 c 1167s| 11300 | 819 | 5541k| 338.9 | 448M | 48 |1551 |4555 |3290 |7524 | 1 | 14k|4791 | 1.014553e+03 | 1.036000e+03 | 2.11%| unknown
1173.06/1176.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1173.06/1176.25 c 1176s| 11400 | 827 | 5579k| 339.2 | 448M | 48 |1551 |4636 |3290 |7641 | 0 | 15k|4857 | 1.014564e+03 | 1.036000e+03 | 2.11%| unknown
1179.95/1183.15 c 1183s| 11500 | 823 | 5604k| 338.7 | 448M | 48 |1551 |4800 |3290 |7665 | 1 | 15k|4967 | 1.014564e+03 | 1.036000e+03 | 2.11%| unknown
1190.02/1193.28 c 1193s| 11600 | 831 | 5659k| 339.9 | 448M | 48 |1551 |4709 |3288 |7737 | 1 | 15k|5002 | 1.014655e+03 | 1.036000e+03 | 2.10%| unknown
1194.92/1198.13 c 1198s| 11700 | 831 | 5693k| 339.9 | 448M | 48 |1551 |4592 |3282 |7807 | 0 | 15k|5002 | 1.014661e+03 | 1.036000e+03 | 2.10%| unknown
1200.90/1204.19 c 1204s| 11800 | 837 | 5730k| 340.1 | 448M | 48 |1551 |4572 |3282 |7945 | 1 | 15k|5006 | 1.014705e+03 | 1.036000e+03 | 2.10%| unknown
1205.29/1208.57 c 1209s| 11900 | 839 | 5759k| 339.8 | 448M | 48 |1551 |4550 |3278 |8083 | 1 | 15k|5006 | 1.014719e+03 | 1.036000e+03 | 2.10%| unknown
1213.96/1217.26 c 1217s| 12000 | 847 | 5805k| 340.5 | 448M | 48 |1551 |4502 |3271 |8252 | 1 | 15k|5009 | 1.014756e+03 | 1.036000e+03 | 2.09%| unknown
1223.74/1227.09 c 1227s| 12100 | 855 | 5841k| 340.6 | 448M | 48 |1551 |4539 |3285 |8374 | 1 | 15k|5077 | 1.014757e+03 | 1.036000e+03 | 2.09%| unknown
1227.53/1230.85 c 1231s| 12200 | 861 | 5873k| 340.5 | 448M | 48 |1551 |4539 |3295 |8408 | 0 | 15k|5077 | 1.014757e+03 | 1.036000e+03 | 2.09%| unknown
1235.31/1238.65 c 1239s| 12300 | 879 | 5920k| 341.3 | 448M | 48 |1551 |4512 |3296 |8532 | 0 | 15k|5105 | 1.014778e+03 | 1.036000e+03 | 2.09%| unknown
1246.69/1250.07 c 1250s| 12400 | 897 | 5972k| 342.3 | 448M | 48 |1551 |4542 |3298 |8683 | 1 | 15k|5151 | 1.014847e+03 | 1.036000e+03 | 2.08%| unknown
1255.46/1258.88 c 1259s| 12500 | 891 | 6003k| 342.1 | 448M | 48 |1551 |4740 |3296 |8691 | 2 | 15k|5292 | 1.014847e+03 | 1.036000e+03 | 2.08%| unknown
1266.43/1269.80 c 1270s| 12600 | 913 | 6058k| 343.3 | 449M | 48 |1551 |4663 |3295 |8873 | 0 | 15k|5305 | 1.014902e+03 | 1.036000e+03 | 2.08%| unknown
1272.22/1275.69 c 1276s| 12700 | 925 | 6095k| 343.4 | 449M | 48 |1551 |4649 |3300 |8978 | 2 | 16k|5307 | 1.014907e+03 | 1.036000e+03 | 2.08%| unknown
1276.61/1280.05 c 1280s| 12800 | 929 | 6128k| 343.3 | 449M | 48 |1551 |4663 |3294 |9077 | 1 | 16k|5319 | 1.014911e+03 | 1.036000e+03 | 2.08%| unknown
1279.30/1282.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1279.30/1282.73 c 1283s| 12900 | 929 | 6152k| 342.8 | 449M | 48 |1551 |4670 |3295 |9091 | 0 | 16k|5322 | 1.014911e+03 | 1.036000e+03 | 2.08%| unknown
1284.89/1288.36 c 1288s| 13000 | 933 | 6183k| 342.6 | 449M | 48 |1551 |4627 |3294 |9184 | 0 | 16k|5326 | 1.014928e+03 | 1.036000e+03 | 2.08%| unknown
1290.87/1294.31 c 1294s| 13100 | 935 | 6221k| 342.8 | 449M | 48 |1551 |4570 |3289 |9291 | 0 | 16k|5326 | 1.014954e+03 | 1.036000e+03 | 2.07%| unknown
1301.84/1305.30 c 1305s| 13200 | 949 | 6286k| 344.5 | 449M | 48 |1551 |4498 |3303 |9471 | 1 | 16k|5333 | 1.014977e+03 | 1.036000e+03 | 2.07%| unknown
1308.03/1311.55 c 1312s| 13300 | 955 | 6323k| 344.6 | 449M | 48 |1551 |4446 |3303 |9575 | 0 | 16k|5334 | 1.014989e+03 | 1.036000e+03 | 2.07%| unknown
1313.72/1317.30 c 1317s| 13400 | 953 | 6349k| 344.2 | 449M | 48 |1551 |4578 |3302 |9613 | 2 | 16k|5410 | 1.014989e+03 | 1.036000e+03 | 2.07%| unknown
1328.98/1332.57 c 1333s| 13500 | 955 | 6385k| 344.2 | 449M | 48 |1551 |4589 |3279 |9728 | 0 | 16k|5587 | 1.015000e+03 | 1.036000e+03 | 2.07%| unknown
1336.56/1340.19 c 1340s| 13600 | 975 | 6431k| 344.9 | 449M | 48 |1551 |4575 |3306 |9873 | 1 | 16k|5601 | 1.015005e+03 | 1.036000e+03 | 2.07%| unknown
1340.65/1344.26 c 1344s| 13700 | 975 | 6456k| 344.3 | 449M | 48 |1551 |4762 |3306 |9902 | 0 | 16k|5656 | 1.015005e+03 | 1.036000e+03 | 2.07%| unknown
1352.62/1356.24 c 1356s| 13800 | 977 | 6485k| 344.1 | 450M | 48 |1551 |5091 |3310 |9934 | 0 | 17k|5871 | 1.015005e+03 | 1.036000e+03 | 2.07%| unknown
1374.17/1377.89 c 1378s| 13900 | 991 | 6537k| 345.0 | 451M | 48 |1551 |5103 |3309 | 10k| 1 | 17k|6168 | 1.015031e+03 | 1.036000e+03 | 2.07%| unknown
1384.14/1387.87 c 1388s| 14000 | 991 | 6563k| 344.6 | 451M | 48 |1551 |5309 |3305 | 10k| 0 | 17k|6339 | 1.015031e+03 | 1.036000e+03 | 2.07%| unknown
1393.42/1397.12 c 1397s| 14100 | 997 | 6595k| 344.4 | 451M | 48 |1551 |5352 |3309 | 10k| 1 | 18k|6410 | 1.015086e+03 | 1.036000e+03 | 2.06%| unknown
1402.30/1406.10 c 1406s| 14200 | 1013 | 6640k| 345.0 | 451M | 48 |1551 |5288 |3314 | 10k| 2 | 18k|6423 | 1.015174e+03 | 1.036000e+03 | 2.05%| unknown
1411.57/1415.32 c 1415s| 14300 | 1017 | 6669k| 344.7 | 451M | 48 |1551 |5312 |3313 | 10k| 0 | 18k|6533 | 1.015176e+03 | 1.036000e+03 | 2.05%| unknown
1424.54/1428.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1424.54/1428.33 c 1428s| 14400 | 1021 | 6703k| 344.7 | 451M | 48 |1551 |5437 |3313 | 10k| 0 | 18k|6697 | 1.015185e+03 | 1.036000e+03 | 2.05%| unknown
1437.31/1441.11 c 1441s| 14500 | 1027 | 6743k| 345.0 | 452M | 48 |1551 |5468 |3307 | 10k| 1 | 18k|6842 | 1.015203e+03 | 1.036000e+03 | 2.05%| unknown
1439.90/1443.72 c 1444s| 14600 | 1025 | 6765k| 344.3 | 452M | 48 |1551 |5429 |3307 | 10k| 0 | 18k|6846 | 1.015203e+03 | 1.036000e+03 | 2.05%| unknown
1446.39/1450.21 c 1450s| 14700 | 1037 | 6808k| 344.7 | 452M | 48 |1551 |5203 |3312 | 10k| 1 | 18k|6858 | 1.015240e+03 | 1.036000e+03 | 2.04%| unknown
1453.17/1457.06 c 1457s| 14800 | 1049 | 6853k| 345.3 | 452M | 48 |1551 |5036 |3317 | 10k| 0 | 18k|6862 | 1.015250e+03 | 1.036000e+03 | 2.04%| unknown
1461.25/1465.19 c 1465s| 14900 | 1053 | 6888k| 345.3 | 452M | 48 |1551 |4834 |3308 | 11k| 1 | 18k|6908 | 1.015273e+03 | 1.036000e+03 | 2.04%| unknown
1464.84/1468.76 c 1469s| 15000 | 1049 | 6916k| 345.0 | 452M | 48 |1551 |4426 |3306 | 11k| 1 | 18k|6910 | 1.015273e+03 | 1.036000e+03 | 2.04%| unknown
1469.93/1473.80 c 1474s| 15100 | 1051 | 6953k| 345.1 | 451M | 48 |1551 |4206 |3280 | 11k| 1 | 18k|6910 | 1.015274e+03 | 1.036000e+03 | 2.04%| unknown
1475.71/1479.66 c 1480s| 15200 | 1053 | 6990k| 345.2 | 451M | 48 |1551 |4083 |3305 | 11k| 0 | 18k|6910 | 1.015276e+03 | 1.036000e+03 | 2.04%| unknown
1481.80/1485.78 c 1486s| 15300 | 1061 | 7039k| 345.9 | 450M | 48 |1551 |3993 |3302 | 11k| 1 | 18k|6915 | 1.015285e+03 | 1.036000e+03 | 2.04%| unknown
1488.28/1492.27 c 1492s| 15400 | 1065 | 7080k| 346.3 | 450M | 48 |1551 |3865 |3306 | 11k| 0 | 18k|6915 | 1.015305e+03 | 1.036000e+03 | 2.04%| unknown
1499.95/1503.96 c 1504s| 15500 | 1081 | 7140k| 347.5 | 450M | 48 |1551 |3752 |3314 | 11k| 0 | 19k|6919 | 1.015322e+03 | 1.036000e+03 | 2.04%| unknown
1506.93/1510.98 c 1511s| 15600 | 1093 | 7183k| 347.9 | 450M | 48 |1551 |3707 |3320 | 11k| 0 | 19k|6937 | 1.015340e+03 | 1.036000e+03 | 2.03%| unknown
1516.21/1520.21 c 1520s| 15700 | 1107 | 7234k| 348.7 | 450M | 48 |1551 |3686 |3308 | 12k| 0 | 19k|6939 | 1.015366e+03 | 1.036000e+03 | 2.03%| unknown
1519.70/1523.79 c 1524s| 15800 | 1109 | 7264k| 348.4 | 450M | 48 |1551 |3685 |3316 | 12k| 0 | 19k|6939 | 1.015366e+03 | 1.036000e+03 | 2.03%| unknown
1528.27/1532.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1528.27/1532.34 c 1532s| 15900 | 1119 | 7309k| 348.9 | 450M | 48 |1551 |3688 |3321 | 12k| 1 | 19k|6943 | 1.015374e+03 | 1.036000e+03 | 2.03%| unknown
1533.97/1538.09 c 1538s| 16000 | 1123 | 7345k| 349.0 | 450M | 48 |1551 |3638 |3309 | 12k| 0 | 19k|6943 | 1.015392e+03 | 1.036000e+03 | 2.03%| unknown
1537.15/1541.24 c 1541s| 16100 | 1121 | 7374k| 348.7 | 450M | 48 |1551 |3626 |3307 | 12k| 0 | 19k|6943 | 1.015392e+03 | 1.036000e+03 | 2.03%| unknown
1545.33/1549.47 c 1549s| 16200 | 1123 | 7407k| 348.6 | 450M | 48 |1551 |3747 |3319 | 12k| 2 | 19k|7065 | 1.015392e+03 | 1.036000e+03 | 2.03%| unknown
1551.12/1555.25 c 1555s| 16300 | 1133 | 7450k| 349.0 | 450M | 48 |1551 |3768 |3320 | 12k| 1 | 19k|7073 | 1.015392e+03 | 1.036000e+03 | 2.03%| unknown
1557.70/1561.81 c 1562s| 16400 | 1137 | 7488k| 349.1 | 450M | 48 |1551 |3772 |3315 | 12k| 1 | 19k|7077 | 1.015431e+03 | 1.036000e+03 | 2.03%| unknown
1562.69/1566.81 c 1567s| 16500 | 1153 | 7531k| 349.5 | 450M | 48 |1551 |3770 |3322 | 12k| 1 | 19k|7078 | 1.015471e+03 | 1.036000e+03 | 2.02%| unknown
1568.27/1572.43 c 1572s| 16600 | 1159 | 7565k| 349.5 | 450M | 48 |1551 |3817 |3323 | 12k| 1 | 19k|7114 | 1.015484e+03 | 1.036000e+03 | 2.02%| unknown
1577.45/1581.67 c 1582s| 16700 | 1169 | 7610k| 349.9 | 450M | 48 |1551 |3860 |3333 | 13k| 1 | 19k|7135 | 1.015513e+03 | 1.036000e+03 | 2.02%| unknown
1585.83/1590.01 c 1590s| 16800 | 1167 | 7642k| 349.8 | 450M | 48 |1551 |3943 |3322 | 13k| 1 | 19k|7245 | 1.015513e+03 | 1.036000e+03 | 2.02%| unknown
1588.84/1593.08 c 1593s| 16900 | 1165 | 7668k| 349.4 | 450M | 48 |1551 |3965 |3325 | 13k| 1 | 19k|7250 | 1.015513e+03 | 1.036000e+03 | 2.02%| unknown
1591.83/1596.06 c 1596s| 17000 | 1161 | 7694k| 349.0 | 450M | 48 |1551 |3978 |3324 | 13k| 1 | 19k|7253 | 1.015513e+03 | 1.036000e+03 | 2.02%| unknown
1597.41/1601.60 c 1602s| 17100 | 1163 | 7730k| 349.1 | 450M | 48 |1551 |3973 |3318 | 13k| 0 | 19k|7253 | 1.015522e+03 | 1.036000e+03 | 2.02%| unknown
1600.40/1604.65 c 1605s| 17200 | 1159 | 7757k| 348.7 | 450M | 48 |1551 |3964 |3307 | 13k| 0 | 19k|7253 | 1.015522e+03 | 1.036000e+03 | 2.02%| unknown
1603.49/1607.75 c 1608s| 17300 | 1155 | 7783k| 348.3 | 450M | 48 |1551 |3968 |3317 | 13k| 0 | 19k|7258 | 1.015522e+03 | 1.036000e+03 | 2.02%| unknown
1606.69/1610.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1606.69/1610.95 c 1611s| 17400 | 1157 | 7812k| 348.0 | 450M | 48 |1551 |3987 |3304 | 13k| 1 | 19k|7265 | 1.015522e+03 | 1.036000e+03 | 2.02%| unknown
1616.77/1621.08 o 1035
1616.77/1621.08 c L1621s| 17476 | 1150 | 7876k| 349.7 |crossove| 48 |1551 |3996 |3330 | 13k| 1 | 19k|7277 | 1.015545e+03 | 1.035000e+03 | 1.92%| unknown
1617.56/1621.83 c 1622s| 17500 | 1150 | 7882k| 349.6 | 451M | 48 |1551 |3996 |3320 | 13k| 1 | 19k|7277 | 1.015545e+03 | 1.035000e+03 | 1.92%| unknown
1621.75/1626.06 c 1626s| 17600 | 1148 | 7913k| 349.4 | 451M | 48 |1551 |3999 |3315 | 13k| 0 | 19k|7290 | 1.015545e+03 | 1.035000e+03 | 1.92%| unknown
1638.31/1642.66 c 1643s| 17700 | 1152 | 7950k| 349.5 | 451M | 48 |1551 |4124 |3324 | 13k| 1 | 19k|7535 | 1.015545e+03 | 1.035000e+03 | 1.92%| unknown
1643.29/1647.63 c 1648s| 17800 | 1154 | 7990k| 349.7 | 451M | 48 |1551 |4179 |3323 | 13k| 0 | 19k|7558 | 1.015596e+03 | 1.035000e+03 | 1.91%| unknown
1652.78/1657.10 c 1657s| 17900 | 1168 | 8039k| 350.4 | 451M | 48 |1551 |4193 |3324 | 13k| 1 | 19k|7565 | 1.015599e+03 | 1.035000e+03 | 1.91%| unknown
1655.86/1660.28 c 1660s| 18000 | 1164 | 8068k| 350.1 | 451M | 48 |1551 |4226 |3323 | 13k| 0 | 20k|7573 | 1.015599e+03 | 1.035000e+03 | 1.91%| unknown
1659.35/1663.72 o 1034
1659.35/1663.72 c L1664s| 18076 | 1151 | 8096k| 350.1 |crossove| 48 |1551 |4258 |3305 | 13k| 0 | 20k|7584 | 1.015599e+03 | 1.034000e+03 | 1.81%| unknown
1660.25/1664.65 c 1665s| 18100 | 1151 | 8104k| 350.1 | 451M | 48 |1551 |4263 |3323 | 13k| 1 | 20k|7585 | 1.015599e+03 | 1.034000e+03 | 1.81%| unknown
1667.33/1671.72 c 1672s| 18200 | 1161 | 8150k| 350.6 | 451M | 48 |1551 |4255 |3323 | 13k| 2 | 20k|7585 | 1.015603e+03 | 1.034000e+03 | 1.81%| unknown
1678.71/1683.16 c 1683s| 18300 | 1173 | 8206k| 351.5 | 452M | 48 |1551 |4217 |3310 | 14k| 0 | 20k|7587 | 1.015635e+03 | 1.034000e+03 | 1.81%| unknown
1683.49/1687.97 c 1688s| 18400 | 1181 | 8245k| 351.6 | 452M | 48 |1551 |4243 |3294 | 14k| 0 | 20k|7597 | 1.015635e+03 | 1.034000e+03 | 1.81%| unknown
1690.08/1694.58 c 1695s| 18500 | 1193 | 8289k| 352.0 | 452M | 48 |1551 |4233 |3337 | 14k| 2 | 20k|7597 | 1.015647e+03 | 1.034000e+03 | 1.81%| unknown
1694.07/1698.53 c 1699s| 18600 | 1193 | 8322k| 351.9 | 452M | 48 |1551 |4249 |3310 | 14k| 0 | 20k|7602 | 1.015647e+03 | 1.034000e+03 | 1.81%| unknown
1700.25/1704.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1700.25/1704.71 c 1705s| 18700 | 1197 | 8364k| 352.2 | 452M | 48 |1551 |4259 |3327 | 14k| 1 | 20k|7608 | 1.015660e+03 | 1.034000e+03 | 1.81%| unknown
1705.84/1710.35 c 1710s| 18800 | 1203 | 8401k| 352.3 | 452M | 48 |1551 |4235 |3314 | 14k| 1 | 20k|7608 | 1.015663e+03 | 1.034000e+03 | 1.81%| unknown
1722.10/1726.62 c 1727s| 18900 | 1229 | 8473k| 353.8 | 453M | 48 |1551 |4233 |3312 | 15k| 0 | 20k|7642 | 1.015748e+03 | 1.034000e+03 | 1.80%| unknown
1725.89/1730.40 c 1730s| 19000 | 1233 | 8506k| 353.7 | 453M | 48 |1551 |4237 |3311 | 15k| 0 | 20k|7645 | 1.015755e+03 | 1.034000e+03 | 1.80%| unknown
1730.48/1735.09 c 1735s| 19100 | 1239 | 8546k| 353.9 | 453M | 48 |1551 |4203 |3314 | 15k| 1 | 20k|7645 | 1.015760e+03 | 1.034000e+03 | 1.80%| unknown
1734.57/1739.18 c 1739s| 19200 | 1243 | 8581k| 353.9 | 453M | 48 |1551 |4202 |3330 | 15k| 0 | 20k|7645 | 1.015760e+03 | 1.034000e+03 | 1.80%| unknown
1740.15/1744.71 c 1745s| 19300 | 1249 | 8616k| 353.9 | 453M | 48 |1551 |4216 |3331 | 15k| 1 | 20k|7650 | 1.015767e+03 | 1.034000e+03 | 1.80%| unknown
1743.34/1747.91 c 1748s| 19400 | 1249 | 8640k| 353.4 | 453M | 48 |1551 |4253 |3334 | 15k| 0 | 20k|7661 | 1.015767e+03 | 1.034000e+03 | 1.80%| unknown
1747.14/1751.74 c 1752s| 19500 | 1249 | 8672k| 353.3 | 453M | 48 |1551 |4286 |3268 | 15k| 1 | 20k|7674 | 1.015767e+03 | 1.034000e+03 | 1.80%| unknown
1755.61/1760.27 c 1760s| 19600 | 1253 | 8730k| 354.2 | 453M | 48 |1551 |4279 |3303 | 15k| 0 | 20k|7674 | 1.015778e+03 | 1.034000e+03 | 1.79%| unknown
1763.99/1768.62 c 1769s| 19700 | 1271 | 8786k| 355.0 | 453M | 48 |1551 |4247 |3285 | 15k| 1 | 20k|7674 | 1.015823e+03 | 1.034000e+03 | 1.79%| unknown
1769.39/1774.03 c 1774s| 19800 | 1273 | 8824k| 355.2 | 453M | 48 |1551 |4239 |3279 | 15k| 0 | 20k|7674 | 1.015834e+03 | 1.034000e+03 | 1.79%| unknown
1773.17/1777.87 c 1778s| 19900 | 1277 | 8858k| 355.1 | 453M | 48 |1551 |4254 |3298 | 15k| 1 | 20k|7679 | 1.015834e+03 | 1.034000e+03 | 1.79%| unknown
1776.37/1781.06 c 1781s| 20000 | 1273 | 8885k| 354.8 | 453M | 48 |1551 |4265 |3298 | 15k| 0 | 20k|7685 | 1.015834e+03 | 1.034000e+03 | 1.79%| unknown
1779.75/1784.40 c 1784s| 20100 | 1273 | 8915k| 354.5 | 453M | 48 |1551 |4265 |3332 | 15k| 1 | 20k|7685 | 1.015834e+03 | 1.034000e+03 | 1.79%| unknown
1787.64/1792.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1787.64/1792.30 c 1792s| 20200 | 1289 | 8965k| 355.1 | 453M | 48 |1551 |4233 |3337 | 16k| 1 | 20k|7685 | 1.015882e+03 | 1.034000e+03 | 1.78%| unknown
1792.92/1797.68 c 1798s| 20300 | 1293 | 8997k| 355.0 | 453M | 48 |1551 |4231 |3337 | 16k| 1 | 20k|7686 | 1.015928e+03 | 1.034000e+03 | 1.78%| unknown
1798.61/1803.31 c 1803s| 20400 | 1293 | 9032k| 354.9 | 453M | 48 |1551 |4227 |3338 | 16k| 0 | 20k|7686 | 1.015949e+03 | 1.034000e+03 | 1.78%| unknown
1812.57/1817.38 c 1817s| 20500 | 1311 | 9093k| 355.9 | 454M | 48 |1551 |4221 |3314 | 16k| 2 | 20k|7748 | 1.015970e+03 | 1.034000e+03 | 1.77%| unknown
1834.33/1839.12 c 1839s| 20600 | 1321 | 9143k| 356.5 | 454M | 48 |1551 |4354 |3313 | 16k| 1 | 20k|7949 | 1.015992e+03 | 1.034000e+03 | 1.77%| unknown
1841.00/1845.84 c 1846s| 20700 | 1329 | 9188k| 356.9 | 454M | 48 |1551 |4345 |3323 | 16k| 1 | 20k|7953 | 1.015992e+03 | 1.034000e+03 | 1.77%| unknown
1852.97/1857.89 c 1858s| 20800 | 1345 | 9238k| 357.4 | 454M | 48 |1551 |4255 |3328 | 17k| 1 | 20k|7955 | 1.016047e+03 | 1.034000e+03 | 1.77%| unknown
1859.26/1864.15 c 1864s| 20900 | 1355 | 9277k| 357.6 | 454M | 48 |1551 |4255 |3330 | 17k| 0 | 20k|7959 | 1.016051e+03 | 1.034000e+03 | 1.77%| unknown
1863.55/1868.41 c 1868s| 21000 | 1357 | 9306k| 357.3 | 454M | 48 |1551 |4245 |3293 | 17k| 0 | 20k|7959 | 1.016061e+03 | 1.034000e+03 | 1.77%| unknown
1866.54/1871.44 c 1871s| 21100 | 1359 | 9335k| 357.0 | 454M | 48 |1551 |4245 |3298 | 17k| 1 | 20k|7959 | 1.016061e+03 | 1.034000e+03 | 1.77%| unknown
1872.03/1876.98 c 1877s| 21200 | 1363 | 9373k| 357.1 | 454M | 48 |1551 |4241 |3292 | 17k| 0 | 20k|7959 | 1.016077e+03 | 1.034000e+03 | 1.76%| unknown
1877.02/1881.97 c 1882s| 21300 | 1371 | 9413k| 357.3 | 454M | 48 |1551 |4214 |3304 | 17k| 1 | 20k|7959 | 1.016081e+03 | 1.034000e+03 | 1.76%| unknown
1880.11/1885.04 c 1885s| 21400 | 1375 | 9443k| 357.1 | 454M | 48 |1551 |4245 |3308 | 17k| 1 | 20k|7964 | 1.016081e+03 | 1.034000e+03 | 1.76%| unknown
1887.10/1892.06 c 1892s| 21500 | 1375 | 9500k| 357.9 | 454M | 48 |1551 |4237 |3305 | 17k| 0 | 20k|7964 | 1.016088e+03 | 1.034000e+03 | 1.76%| unknown
1889.98/1894.92 c 1895s| 21600 | 1379 | 9528k| 357.6 | 454M | 48 |1551 |4233 |3298 | 17k| 0 | 20k|7964 | 1.016088e+03 | 1.034000e+03 | 1.76%| unknown
1892.68/1897.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1892.68/1897.60 c 1898s| 21700 | 1381 | 9553k| 357.2 | 454M | 48 |1551 |4246 |3297 | 17k| 1 | 20k|7967 | 1.016088e+03 | 1.034000e+03 | 1.76%| unknown
1899.96/1904.90 c 1905s| 21800 | 1393 | 9602k| 357.7 | 454M | 48 |1551 |4230 |3306 | 17k| 3 | 20k|7967 | 1.016136e+03 | 1.034000e+03 | 1.76%| unknown
1903.95/1908.96 c 1909s| 21900 | 1399 | 9631k| 357.4 | 454M | 48 |1551 |4228 |3312 | 17k| 1 | 20k|7985 | 1.016136e+03 | 1.034000e+03 | 1.76%| unknown
1909.54/1914.53 c 1915s| 22000 | 1403 | 9667k| 357.4 | 454M | 48 |1551 |4252 |3315 | 17k| 2 | 20k|7990 | 1.016145e+03 | 1.034000e+03 | 1.76%| unknown
1913.62/1918.64 c 1919s| 22100 | 1411 | 9703k| 357.4 | 454M | 48 |1551 |4236 |3308 | 17k| 0 | 20k|7990 | 1.016182e+03 | 1.034000e+03 | 1.75%| unknown
1916.52/1921.53 c 1922s| 22200 | 1419 | 9730k| 357.1 | 455M | 48 |1551 |4257 |3311 | 17k| 1 | 20k|7996 | 1.016182e+03 | 1.034000e+03 | 1.75%| unknown
1931.68/1936.79 c 1937s| 22300 | 1443 | 9798k| 358.3 | 455M | 48 |1551 |4123 |3310 | 18k| 1 | 20k|7996 | 1.016255e+03 | 1.034000e+03 | 1.75%| unknown
1938.16/1943.22 c 1943s| 22400 | 1451 | 9842k| 358.6 | 455M | 48 |1551 |4136 |3314 | 18k| 0 | 21k|8011 | 1.016260e+03 | 1.034000e+03 | 1.75%| unknown
1943.45/1948.54 c 1949s| 22500 | 1451 | 9875k| 358.5 | 455M | 48 |1551 |4125 |3309 | 18k| 0 | 21k|8012 | 1.016262e+03 | 1.034000e+03 | 1.75%| unknown
1946.34/1951.40 c 1951s| 22600 | 1449 | 9900k| 358.1 | 455M | 48 |1551 |4112 |3296 | 18k| 0 | 21k|8012 | 1.016262e+03 | 1.034000e+03 | 1.75%| unknown
1949.84/1954.95 c 1955s| 22700 | 1445 | 9933k| 358.0 | 455M | 48 |1551 |4101 |3300 | 18k| 0 | 21k|8012 | 1.016262e+03 | 1.034000e+03 | 1.75%| unknown
1961.21/1966.39 c 1966s| 22800 | 1459 | 9989k| 358.7 | 455M | 48 |1551 |4027 |3305 | 18k| 0 | 21k|8012 | 1.016272e+03 | 1.034000e+03 | 1.74%| unknown
1964.90/1970.06 c 1970s| 22900 | 1463 | 10022k| 358.6 | 455M | 48 |1551 |4003 |3280 | 19k| 0 | 21k|8012 | 1.016273e+03 | 1.034000e+03 | 1.74%| unknown
1968.49/1973.63 c 1974s| 23000 | 1465 | 10054k| 358.5 | 455M | 48 |1551 |3998 |3338 | 19k| 0 | 21k|8012 | 1.016273e+03 | 1.034000e+03 | 1.74%| unknown
1974.77/1979.95 c 1980s| 23100 | 1473 | 10095k| 358.7 | 455M | 48 |1551 |3943 |3312 | 19k| 1 | 21k|8012 | 1.016273e+03 | 1.034000e+03 | 1.74%| unknown
1978.37/1983.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1978.37/1983.55 c 1984s| 23200 | 1479 | 10127k| 358.5 | 455M | 48 |1551 |3940 |3311 | 19k| 0 | 21k|8012 | 1.016273e+03 | 1.034000e+03 | 1.74%| unknown
1982.56/1987.75 c 1988s| 23300 | 1483 | 10163k| 358.5 | 455M | 48 |1551 |3908 |3313 | 19k| 0 | 21k|8012 | 1.016284e+03 | 1.034000e+03 | 1.74%| unknown
1992.73/1997.98 c 1998s| 23400 | 1491 | 10226k| 359.5 | 455M | 48 |1551 |3884 |3313 | 19k| 1 | 21k|8012 | 1.016304e+03 | 1.034000e+03 | 1.74%| unknown
2000.61/2005.80 c 2006s| 23500 | 1503 | 10278k| 360.1 | 455M | 48 |1551 |3853 |3305 | 19k| 0 | 21k|8012 | 1.016345e+03 | 1.034000e+03 | 1.74%| unknown
2004.10/2009.34 c 2009s| 23600 | 1505 | 10310k| 359.9 | 455M | 48 |1551 |3847 |3305 | 19k| 1 | 21k|8012 | 1.016348e+03 | 1.034000e+03 | 1.74%| unknown
2007.59/2012.83 c 2013s| 23700 | 1505 | 10342k| 359.8 | 455M | 48 |1551 |3839 |3335 | 19k| 0 | 21k|8012 | 1.016348e+03 | 1.034000e+03 | 1.74%| unknown
2011.98/2017.25 c 2017s| 23800 | 1511 | 10382k| 359.9 | 455M | 48 |1551 |3836 |3337 | 19k| 0 | 21k|8012 | 1.016350e+03 | 1.034000e+03 | 1.74%| unknown
2015.47/2020.72 c 2021s| 23900 | 1511 | 10412k| 359.7 | 455M | 48 |1551 |3836 |3344 | 19k| 0 | 21k|8012 | 1.016350e+03 | 1.034000e+03 | 1.74%| unknown
2019.26/2024.54 c 2025s| 24000 | 1515 | 10444k| 359.6 | 455M | 48 |1551 |3840 |3344 | 19k| 1 | 21k|8013 | 1.016350e+03 | 1.034000e+03 | 1.74%| unknown
2022.86/2028.16 c 2028s| 24100 | 1511 | 10473k| 359.3 | 455M | 48 |1551 |3867 |3344 | 19k| 1 | 21k|8023 | 1.016350e+03 | 1.034000e+03 | 1.74%| unknown
2026.85/2032.15 c 2032s| 24200 | 1509 | 10506k| 359.2 | 455M | 48 |1551 |3900 |3312 | 20k| 1 | 21k|8033 | 1.016350e+03 | 1.034000e+03 | 1.74%| unknown
2031.43/2036.72 c 2037s| 24300 | 1511 | 10537k| 359.1 | 455M | 48 |1551 |3904 |3333 | 20k| 1 | 21k|8045 | 1.016350e+03 | 1.034000e+03 | 1.74%| unknown
2043.20/2048.52 c 2049s| 24400 | 1525 | 10590k| 359.6 | 455M | 48 |1551 |3952 |3324 | 20k| 1 | 21k|8077 | 1.016368e+03 | 1.034000e+03 | 1.73%| unknown
2052.88/2058.25 c 2058s| 24500 | 1535 | 10643k| 360.2 | 455M | 48 |1551 |3937 |3335 | 20k| 0 | 21k|8080 | 1.016392e+03 | 1.034000e+03 | 1.73%| unknown
2059.26/2064.61 c 2065s| 24600 | 1541 | 10681k| 360.3 | 455M | 48 |1551 |3950 |3340 | 20k| 1 | 21k|8086 | 1.016394e+03 | 1.034000e+03 | 1.73%| unknown
2065.75/2071.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2065.75/2071.12 c 2071s| 24700 | 1551 | 10723k| 360.5 | 455M | 48 |1551 |4020 |3339 | 20k| 0 | 21k|8107 | 1.016415e+03 | 1.034000e+03 | 1.73%| unknown
2071.74/2077.17 c 2077s| 24800 | 1549 | 10757k| 360.4 | 455M | 48 |1551 |4173 |3336 | 20k| 1 | 21k|8161 | 1.016415e+03 | 1.034000e+03 | 1.73%| unknown
2083.71/2089.16 c 2089s| 24900 | 1563 | 10819k| 361.3 | 455M | 48 |1551 |4181 |3319 | 20k| 0 | 21k|8176 | 1.016437e+03 | 1.034000e+03 | 1.73%| unknown
2090.89/2096.38 c 2096s| 25000 | 1575 | 10864k| 361.6 | 455M | 48 |1551 |4196 |3326 | 20k| 1 | 21k|8184 | 1.016483e+03 | 1.034000e+03 | 1.72%| unknown
2097.27/2102.79 c 2103s| 25100 | 1587 | 10915k| 362.1 | 455M | 48 |1551 |4217 |3335 | 21k| 1 | 21k|8184 | 1.016501e+03 | 1.034000e+03 | 1.72%| unknown
2101.06/2106.56 c 2107s| 25200 | 1591 | 10946k| 361.9 | 455M | 48 |1551 |4222 |3334 | 21k| 1 | 21k|8187 | 1.016501e+03 | 1.034000e+03 | 1.72%| unknown
2115.63/2121.13 c 2121s| 25300 | 1609 | 11011k| 362.9 | 455M | 48 |1551 |4201 |3336 | 21k| 0 | 21k|8210 | 1.016532e+03 | 1.034000e+03 | 1.72%| unknown
2125.10/2130.65 c 2131s| 25400 | 1611 | 11066k| 363.5 | 455M | 48 |1551 |4256 |3338 | 21k| 0 | 21k|8241 | 1.016539e+03 | 1.034000e+03 | 1.72%| unknown
2128.89/2134.44 c 2134s| 25500 | 1613 | 11097k| 363.3 | 455M | 48 |1551 |4256 |3331 | 21k| 1 | 21k|8241 | 1.016539e+03 | 1.034000e+03 | 1.72%| unknown
2135.38/2140.92 c 2141s| 25600 | 1617 | 11138k| 363.5 | 455M | 48 |1551 |4230 |3323 | 21k| 1 | 21k|8242 | 1.016586e+03 | 1.034000e+03 | 1.71%| unknown
2139.57/2145.12 c 2145s| 25700 | 1617 | 11175k| 363.5 | 455M | 48 |1551 |4230 |3335 | 21k| 0 | 21k|8242 | 1.016586e+03 | 1.034000e+03 | 1.71%| unknown
2146.85/2152.44 c 2152s| 25800 | 1621 | 11217k| 363.7 | 455M | 48 |1551 |4226 |3313 | 21k| 1 | 21k|8249 | 1.016606e+03 | 1.034000e+03 | 1.71%| unknown
2150.64/2156.25 c 2156s| 25900 | 1623 | 11249k| 363.5 | 455M | 48 |1551 |4225 |3328 | 21k| 1 | 21k|8249 | 1.016606e+03 | 1.034000e+03 | 1.71%| unknown
2155.03/2160.62 c 2161s| 26000 | 1627 | 11286k| 363.6 | 455M | 48 |1551 |4225 |3318 | 21k| 0 | 21k|8250 | 1.016606e+03 | 1.034000e+03 | 1.71%| unknown
2165.20/2170.89 c 2171s| 26100 | 1641 | 11343k| 364.2 | 455M | 48 |1551 |4214 |3333 | 22k| 1 | 21k|8251 | 1.016621e+03 | 1.034000e+03 | 1.71%| unknown
2171.79/2177.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2171.79/2177.41 c 2177s| 26200 | 1641 | 11382k| 364.3 | 455M | 48 |1551 |4219 |3321 | 22k| 0 | 21k|8265 | 1.016631e+03 | 1.034000e+03 | 1.71%| unknown
2176.18/2181.83 c 2182s| 26300 | 1641 | 11419k| 364.3 | 455M | 48 |1551 |4207 |3327 | 22k| 0 | 21k|8268 | 1.016694e+03 | 1.034000e+03 | 1.70%| unknown
2184.86/2190.54 c 2191s| 26400 | 1649 | 11467k| 364.7 | 455M | 48 |1551 |4192 |3338 | 22k| 1 | 21k|8272 | 1.016712e+03 | 1.034000e+03 | 1.70%| unknown
2188.45/2194.19 c 2194s| 26500 | 1647 | 11499k| 364.5 | 455M | 48 |1551 |4184 |3329 | 22k| 1 | 21k|8273 | 1.016712e+03 | 1.034000e+03 | 1.70%| 11.25%
2193.13/2198.82 c 2199s| 26600 | 1653 | 11539k| 364.6 | 455M | 48 |1551 |4183 |3343 | 22k| 0 | 21k|8273 | 1.016727e+03 | 1.034000e+03 | 1.70%| 11.26%
2198.22/2203.93 c 2204s| 26700 | 1655 | 11579k| 364.8 | 455M | 48 |1551 |4244 |3337 | 22k| 1 | 22k|8291 | 1.016749e+03 | 1.034000e+03 | 1.70%| 11.27%
2205.50/2211.29 c 2211s| 26800 | 1659 | 11625k| 365.0 | 455M | 48 |1551 |4227 |3340 | 22k| 0 | 22k|8291 | 1.016757e+03 | 1.034000e+03 | 1.70%| 11.28%
2209.69/2215.40 c 2215s| 26900 | 1661 | 11659k| 365.0 | 455M | 48 |1551 |4226 |3340 | 22k| 1 | 22k|8291 | 1.016757e+03 | 1.034000e+03 | 1.70%| 11.28%
2214.88/2220.61 c 2221s| 27000 | 1659 | 11693k| 364.9 | 455M | 48 |1551 |4222 |3343 | 22k| 0 | 22k|8310 | 1.016757e+03 | 1.034000e+03 | 1.70%| 11.29%
2220.37/2226.18 c 2226s| 27100 | 1663 | 11732k| 365.0 | 455M | 48 |1551 |4206 |3299 | 23k| 1 | 22k|8322 | 1.016764e+03 | 1.034000e+03 | 1.70%| 11.32%
2231.44/2237.23 c 2237s| 27200 | 1675 | 11789k| 365.6 | 455M | 48 |1551 |4189 |3343 | 23k| 0 | 22k|8333 | 1.016775e+03 | 1.034000e+03 | 1.69%| 11.36%
2237.42/2243.30 c 2243s| 27300 | 1675 | 11822k| 365.5 | 455M | 48 |1551 |4209 |3318 | 23k| 1 | 22k|8369 | 1.016775e+03 | 1.034000e+03 | 1.69%| 11.37%
2241.51/2247.31 c 2247s| 27400 | 1675 | 11858k| 365.5 | 455M | 48 |1551 |4191 |3288 | 23k| 1 | 22k|8369 | 1.016785e+03 | 1.034000e+03 | 1.69%| 11.38%
2248.00/2253.81 c 2254s| 27500 | 1673 | 11902k| 365.7 | 455M | 48 |1551 |4146 |3325 | 23k| 1 | 22k|8369 | 1.016786e+03 | 1.034000e+03 | 1.69%| 11.42%
2256.48/2262.33 c 2262s| 27600 | 1687 | 11952k| 366.1 | 455M | 48 |1551 |4110 |3353 | 23k| 2 | 22k|8372 | 1.016804e+03 | 1.034000e+03 | 1.69%| 11.44%
2265.26/2271.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2265.26/2271.18 c 2271s| 27700 | 1697 | 11996k| 366.4 | 455M | 48 |1551 |4145 |3350 | 23k| 1 | 22k|8431 | 1.016821e+03 | 1.034000e+03 | 1.69%| 11.44%
2279.13/2285.07 c 2285s| 27800 | 1705 | 12077k| 367.7 | 456M | 48 |1551 |4120 |3349 | 24k| 2 | 22k|8431 | 1.016852e+03 | 1.034000e+03 | 1.69%| 11.46%
2289.10/2295.10 c 2295s| 27900 | 1719 | 12138k| 368.5 | 456M | 48 |1551 |4089 |3324 | 24k| 1 | 22k|8434 | 1.016864e+03 | 1.034000e+03 | 1.69%| 11.49%
2296.08/2302.06 c 2302s| 28000 | 1725 | 12179k| 368.6 | 456M | 48 |1551 |4075 |3344 | 24k| 2 | 22k|8438 | 1.016871e+03 | 1.034000e+03 | 1.68%| 11.52%
2299.87/2305.81 c 2306s| 28100 | 1725 | 12209k| 368.4 | 456M | 48 |1551 |4077 |3336 | 24k| 2 | 22k|8443 | 1.016871e+03 | 1.034000e+03 | 1.68%| 11.52%
2306.75/2312.71 c 2313s| 28200 | 1727 | 12247k| 368.4 | 456M | 48 |1551 |4062 |3320 | 24k| 0 | 22k|8454 | 1.016871e+03 | 1.034000e+03 | 1.68%| 11.56%
2311.34/2317.32 c 2317s| 28300 | 1729 | 12285k| 368.4 | 456M | 48 |1551 |4085 |3327 | 24k| 1 | 22k|8462 | 1.016871e+03 | 1.034000e+03 | 1.68%| 11.57%
2318.52/2324.57 c 2325s| 28400 | 1733 | 12334k| 368.8 | 456M | 48 |1551 |4106 |3337 | 24k| 1 | 22k|8475 | 1.016884e+03 | 1.034000e+03 | 1.68%| 11.59%
2322.81/2328.86 c 2329s| 28500 | 1731 | 12371k| 368.8 | 456M | 48 |1551 |4106 |3336 | 24k| 0 | 22k|8476 | 1.016884e+03 | 1.034000e+03 | 1.68%| 11.59%
2327.50/2333.50 c 2334s| 28600 | 1739 | 12411k| 368.9 | 456M | 48 |1551 |4112 |3345 | 25k| 1 | 22k|8477 | 1.016894e+03 | 1.034000e+03 | 1.68%| 11.60%
2331.89/2337.93 c 2338s| 28700 | 1733 | 12443k| 368.8 | 456M | 48 |1551 |4108 |3330 | 25k| 0 | 22k|8486 | 1.016894e+03 | 1.034000e+03 | 1.68%| 11.60%
2338.37/2344.47 c 2344s| 28800 | 1737 | 12484k| 368.9 | 456M | 48 |1551 |4102 |3337 | 25k| 1 | 22k|8486 | 1.016897e+03 | 1.034000e+03 | 1.68%| 11.61%
2341.67/2347.76 c 2348s| 28900 | 1737 | 12515k| 368.7 | 456M | 48 |1551 |4117 |3339 | 25k| 1 | 22k|8491 | 1.016897e+03 | 1.034000e+03 | 1.68%| 11.62%
2350.05/2356.18 c 2356s| 29000 | 1747 | 12566k| 369.1 | 456M | 48 |1551 |4127 |3331 | 25k| 1 | 22k|8501 | 1.016915e+03 | 1.034000e+03 | 1.68%| 11.64%
2362.61/2368.73 c 2369s| 29100 | 1751 | 12610k| 369.3 | 456M | 48 |1551 |4137 |3345 | 25k| 0 | 22k|8582 | 1.016939e+03 | 1.034000e+03 | 1.68%| 11.66%
2369.70/2375.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2369.70/2375.87 c 2376s| 29200 | 1753 | 12651k| 369.4 | 456M | 48 |1551 |4129 |3354 | 25k| 0 | 22k|8588 | 1.016940e+03 | 1.034000e+03 | 1.68%| 11.67%
2379.98/2386.18 c 2386s| 29300 | 1765 | 12708k| 370.0 | 456M | 48 |1551 |4107 |3351 | 25k| 1 | 22k|8589 | 1.016957e+03 | 1.034000e+03 | 1.68%| 11.70%
2384.76/2390.99 c 2391s| 29400 | 1769 | 12749k| 370.1 | 456M | 48 |1551 |4112 |3330 | 25k| 1 | 22k|8594 | 1.016971e+03 | 1.034000e+03 | 1.67%| 11.72%
2388.65/2394.82 c 2395s| 29500 | 1765 | 12780k| 370.0 | 456M | 48 |1551 |4102 |3309 | 25k| 0 | 22k|8595 | 1.016971e+03 | 1.034000e+03 | 1.67%| 11.73%
2392.94/2399.20 c 2399s| 29600 | 1765 | 12820k| 370.1 | 456M | 48 |1551 |4087 |3298 | 25k| 1 | 22k|8595 | 1.016976e+03 | 1.034000e+03 | 1.67%| 11.76%
2404.01/2410.22 c 2410s| 29700 | 1781 | 12876k| 370.6 | 456M | 48 |1551 |4124 |3302 | 26k| 1 | 22k|8621 | 1.016991e+03 | 1.034000e+03 | 1.67%| 11.79%
2414.09/2420.38 c 2420s| 29800 | 1789 | 12926k| 371.0 | 456M | 48 |1551 |4117 |3318 | 26k| 0 | 22k|8625 | 1.016994e+03 | 1.034000e+03 | 1.67%| 11.83%
2420.17/2426.45 c 2426s| 29900 | 1797 | 12970k| 371.2 | 456M | 48 |1551 |4106 |3309 | 26k| 0 | 22k|8626 | 1.016998e+03 | 1.034000e+03 | 1.67%| 11.86%
2427.55/2433.85 c 2434s| 30000 | 1805 | 13015k| 371.4 | 457M | 48 |1551 |4109 |3318 | 26k| 0 | 22k|8627 | 1.017001e+03 | 1.034000e+03 | 1.67%| 11.89%
2432.64/2438.98 c 2439s| 30100 | 1815 | 13059k| 371.6 | 457M | 48 |1551 |4099 |3331 | 26k| 1 | 22k|8627 | 1.017044e+03 | 1.034000e+03 | 1.67%| 11.90%
2443.91/2450.29 c 2450s| 30200 | 1821 | 13129k| 372.5 | 457M | 48 |1551 |4113 |3313 | 26k| 0 | 22k|8646 | 1.017070e+03 | 1.034000e+03 | 1.66%| 11.93%
2450.90/2457.26 c 2457s| 30300 | 1829 | 13177k| 372.8 | 457M | 48 |1551 |4097 |3331 | 27k| 1 | 22k|8646 | 1.017090e+03 | 1.034000e+03 | 1.66%| 11.94%
2457.58/2463.94 c 2464s| 30400 | 1849 | 13228k| 373.2 | 457M | 48 |1551 |4071 |3330 | 27k| 1 | 22k|8647 | 1.017105e+03 | 1.034000e+03 | 1.66%| 11.96%
2460.37/2466.75 c 2467s| 30500 | 1843 | 13254k| 372.9 | 457M | 48 |1551 |4086 |3330 | 27k| 0 | 22k|8652 | 1.017105e+03 | 1.034000e+03 | 1.66%| 11.96%
2469.25/2475.65 c 2476s| 30600 | 1857 | 13306k| 373.3 | 457M | 48 |1551 |4067 |3325 | 27k| 1 | 22k|8657 | 1.017120e+03 | 1.034000e+03 | 1.66%| 11.99%
2473.24/2479.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2473.24/2479.68 c 2480s| 30700 | 1859 | 13340k| 373.2 | 457M | 48 |1551 |4072 |3321 | 27k| 0 | 22k|8658 | 1.017120e+03 | 1.034000e+03 | 1.66%| 12.00%
2477.23/2483.65 c 2484s| 30800 | 1857 | 13372k| 373.1 | 457M | 48 |1551 |4096 |3328 | 27k| 1 | 22k|8662 | 1.017120e+03 | 1.034000e+03 | 1.66%| 12.01%
2482.42/2488.81 c 2489s| 30900 | 1855 | 13405k| 373.0 | 457M | 48 |1551 |4122 |3342 | 27k| 0 | 22k|8684 | 1.017120e+03 | 1.034000e+03 | 1.66%| 12.02%
2495.69/2502.15 c 2502s| 31000 | 1879 | 13473k| 373.8 | 457M | 48 |1551 |4071 |3344 | 27k| 1 | 22k|8701 | 1.017156e+03 | 1.034000e+03 | 1.66%| 12.08%
2500.77/2507.22 c 2507s| 31100 | 1883 | 13515k| 373.9 | 457M | 48 |1551 |4104 |3350 | 27k| 0 | 22k|8705 | 1.017162e+03 | 1.034000e+03 | 1.66%| 12.09%
2507.96/2514.48 c 2514s| 31200 | 1889 | 13563k| 374.2 | 458M | 48 |1551 |4180 |3308 | 27k| 2 | 22k|8734 | 1.017203e+03 | 1.034000e+03 | 1.65%| 12.11%
2517.43/2523.99 c 2524s| 31300 | 1893 | 13608k| 374.4 | 458M | 48 |1551 |4296 |3292 | 28k| 0 | 23k|8785 | 1.017222e+03 | 1.034000e+03 | 1.65%| 12.15%
2525.52/2532.03 c 2532s| 31400 | 1899 | 13651k| 374.6 | 458M | 48 |1551 |4371 |3293 | 28k| 0 | 23k|8825 | 1.017231e+03 | 1.034000e+03 | 1.65%| 12.16%
2531.20/2537.75 c 2538s| 31500 | 1903 | 13695k| 374.8 | 458M | 48 |1551 |4451 |3321 | 28k| 1 | 23k|8857 | 1.017243e+03 | 1.034000e+03 | 1.65%| 12.19%
2539.08/2545.60 c 2546s| 31600 | 1907 | 13738k| 374.9 | 458M | 48 |1551 |4446 |3300 | 28k| 1 | 23k|8884 | 1.017243e+03 | 1.034000e+03 | 1.65%| 12.21%
2546.16/2552.71 c 2553s| 31700 | 1911 | 13784k| 375.2 | 458M | 48 |1551 |4515 |3346 | 28k| 0 | 23k|8904 | 1.017243e+03 | 1.034000e+03 | 1.65%| 12.25%
2551.85/2558.49 c 2558s| 31800 | 1911 | 13825k| 375.2 | 458M | 48 |1551 |4590 |3338 | 28k| 1 | 23k|8936 | 1.017243e+03 | 1.034000e+03 | 1.65%| 12.25%
2559.63/2566.25 c 2566s| 31900 | 1929 | 13879k| 375.7 | 458M | 48 |1551 |4587 |3341 | 28k| 1 | 23k|8958 | 1.017260e+03 | 1.034000e+03 | 1.65%| 12.27%
2564.42/2571.01 c 2571s| 32000 | 1927 | 13913k| 375.6 | 458M | 48 |1551 |4649 |3349 | 28k| 0 | 23k|8990 | 1.017260e+03 | 1.034000e+03 | 1.65%| 12.27%
2570.10/2576.75 c 2577s| 32100 | 1937 | 13955k| 375.7 | 458M | 48 |1551 |4682 |3345 | 28k| 1 | 23k|9011 | 1.017264e+03 | 1.034000e+03 | 1.65%| 12.28%
2576.19/2582.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2576.19/2582.88 c 2583s| 32200 | 1937 | 13995k| 375.8 | 458M | 48 |1551 |4666 |3323 | 28k| 0 | 23k|9016 | 1.017270e+03 | 1.034000e+03 | 1.64%| 12.30%
2587.06/2593.73 c 2594s| 32300 | 1943 | 14076k| 376.9 | 458M | 48 |1551 |4753 |3344 | 28k| 1 | 23k|9043 | 1.017297e+03 | 1.034000e+03 | 1.64%| 12.31%
2595.64/2602.32 c 2602s| 32400 | 1955 | 14125k| 377.2 | 458M | 48 |1551 |4736 |3329 | 29k| 1 | 23k|9043 | 1.017312e+03 | 1.034000e+03 | 1.64%| 12.33%
2609.31/2616.01 c 2616s| 32500 | 1967 | 14179k| 377.7 | 458M | 48 |1551 |4766 |3336 | 29k| 0 | 24k|9121 | 1.017333e+03 | 1.034000e+03 | 1.64%| 12.36%
2649.31/2656.14 c 2656s| 32600 | 1987 | 14242k| 378.4 | 458M | 48 |1551 |4946 |3337 | 29k| 1 | 24k|9498 | 1.017356e+03 | 1.034000e+03 | 1.64%| 12.39%
2668.17/2675.01 c 2675s| 32700 | 1991 | 14290k| 378.6 | 458M | 48 |1551 |5069 |3337 | 29k| 1 | 24k|9683 | 1.017368e+03 | 1.034000e+03 | 1.63%| 12.43%
2698.78/2705.73 c 2706s| 32800 | 1995 | 14333k| 378.7 | 459M | 48 |1551 |5451 |3325 | 29k| 1 | 24k| 10k| 1.017373e+03 | 1.034000e+03 | 1.63%| 12.46%
2710.66/2717.61 c 2718s| 32900 | 1999 | 14376k| 378.9 | 459M | 48 |1551 |5468 |3330 | 30k| 0 | 24k| 10k| 1.017378e+03 | 1.034000e+03 | 1.63%| 12.49%
2716.05/2723.03 c 2723s| 33000 | 1997 | 14407k| 378.7 | 459M | 48 |1551 |5458 |3326 | 30k| 0 | 24k| 10k| 1.017378e+03 | 1.034000e+03 | 1.63%| 12.50%
2721.33/2728.33 c 2728s| 33100 | 2009 | 14453k| 378.9 | 459M | 48 |1551 |5425 |3328 | 30k| 1 | 24k| 10k| 1.017379e+03 | 1.034000e+03 | 1.63%| 12.52%
2725.62/2732.67 c 2733s| 33200 | 2011 | 14490k| 378.9 | 459M | 48 |1551 |5394 |3314 | 30k| 1 | 24k| 10k| 1.017379e+03 | 1.034000e+03 | 1.63%| 12.53%
2730.11/2737.10 c 2737s| 33300 | 2013 | 14526k| 378.8 | 459M | 48 |1551 |5385 |3337 | 30k| 1 | 24k| 10k| 1.017379e+03 | 1.034000e+03 | 1.63%| 12.54%
2735.19/2742.29 c 2742s| 33400 | 2025 | 14571k| 379.0 | 459M | 48 |1551 |5380 |3335 | 30k| 1 | 25k| 10k| 1.017407e+03 | 1.034000e+03 | 1.63%| 12.56%
2742.18/2749.26 c 2749s| 33500 | 2033 | 14617k| 379.2 | 459M | 48 |1551 |5411 |3332 | 30k| 0 | 25k| 10k| 1.017415e+03 | 1.034000e+03 | 1.63%| 12.57%
2753.15/2760.23 c 2760s| 33600 | 2045 | 14674k| 379.7 | 459M | 48 |1551 |5379 |3292 | 30k| 0 | 25k| 10k| 1.017435e+03 | 1.034000e+03 | 1.63%| 12.65%
2762.23/2769.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2762.23/2769.34 c 2769s| 33700 | 2051 | 14729k| 380.2 | 459M | 48 |1551 |5385 |3322 | 30k| 1 | 25k| 10k| 1.017437e+03 | 1.034000e+03 | 1.63%| 12.69%
2768.61/2775.76 c 2776s| 33800 | 2047 | 14762k| 380.1 | 459M | 48 |1551 |5429 |3302 | 30k| 0 | 25k| 10k| 1.017437e+03 | 1.034000e+03 | 1.63%| 12.72%
2791.46/2798.67 c 2799s| 33900 | 2047 | 14802k| 380.1 | 459M | 48 |1551 |5779 |3316 | 30k| 0 | 25k| 10k| 1.017437e+03 | 1.034000e+03 | 1.63%| 12.73%
2798.04/2805.22 c 2805s| 34000 | 2047 | 14840k| 380.1 | 459M | 48 |1551 |5903 |3320 | 30k| 0 | 25k| 10k| 1.017437e+03 | 1.034000e+03 | 1.63%| 12.74%
2803.23/2810.49 c 2810s| 34100 | 2051 | 14884k| 380.3 | 459M | 48 |1551 |5960 |3310 | 31k| 0 | 25k| 10k| 1.017457e+03 | 1.034000e+03 | 1.63%| 12.75%
2814.30/2821.50 c 2822s| 34200 | 2063 | 14940k| 380.7 | 459M | 48 |1551 |5937 |3325 | 31k| 1 | 25k| 10k| 1.017469e+03 | 1.034000e+03 | 1.62%| 12.79%
2820.68/2827.97 c 2828s| 34300 | 2069 | 14980k| 380.8 | 459M | 48 |1551 |5935 |3307 | 31k| 1 | 25k| 10k| 1.017476e+03 | 1.034000e+03 | 1.62%| 12.81%
2824.37/2831.68 c 2832s| 34400 | 2071 | 15011k| 380.6 | 459M | 48 |1551 |5965 |3311 | 31k| 1 | 25k| 10k| 1.017476e+03 | 1.034000e+03 | 1.62%| 12.82%
2827.77/2835.07 c 2835s| 34500 | 2071 | 15040k| 380.3 | 459M | 48 |1551 |5981 |3324 | 31k| 0 | 25k| 10k| 1.017476e+03 | 1.034000e+03 | 1.62%| 12.82%
2835.16/2842.41 c 2842s| 34600 | 2081 | 15085k| 380.5 | 463M | 48 |1551 |5974 |3316 | 31k| 0 | 25k| 10k| 1.017496e+03 | 1.034000e+03 | 1.62%| 12.84%
2850.52/2857.87 c 2858s| 34700 | 2083 | 15127k| 380.6 | 463M | 48 |1551 |6057 |3320 | 31k| 1 | 26k| 10k| 1.017506e+03 | 1.034000e+03 | 1.62%| 12.85%
2868.87/2876.20 c 2876s| 34800 | 2089 | 15177k| 380.9 | 463M | 48 |1551 |6220 |3331 | 32k| 1 | 26k| 11k| 1.017518e+03 | 1.034000e+03 | 1.62%| 12.87%
2875.56/2882.92 c 2883s| 34900 | 2103 | 15223k| 381.1 | 463M | 48 |1551 |6284 |3322 | 32k| 1 | 26k| 11k| 1.017520e+03 | 1.034000e+03 | 1.62%| 12.88%
2884.74/2892.18 c 2892s| 35000 | 2109 | 15251k| 380.9 | 463M | 48 |1551 |6350 |3322 | 32k| 0 | 26k| 11k| 1.017533e+03 | 1.034000e+03 | 1.62%| 12.89%
2888.22/2895.67 c 2896s| 35100 | 2111 | 15282k| 380.7 | 463M | 48 |1551 |6348 |3325 | 32k| 0 | 26k| 11k| 1.017536e+03 | 1.034000e+03 | 1.62%| 12.90%
2894.71/2902.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2894.71/2902.10 c 2902s| 35200 | 2115 | 15318k| 380.7 | 463M | 48 |1551 |6343 |3309 | 32k| 1 | 26k| 11k| 1.017536e+03 | 1.034000e+03 | 1.62%| 12.92%
2899.80/2907.28 c 2907s| 35300 | 2119 | 15357k| 380.7 | 463M | 48 |1551 |6292 |3317 | 32k| 1 | 26k| 11k| 1.017536e+03 | 1.034000e+03 | 1.62%| 12.93%
2904.18/2911.60 c 2912s| 35400 | 2121 | 15394k| 380.6 | 463M | 48 |1551 |6294 |3312 | 32k| 0 | 26k| 11k| 1.017538e+03 | 1.034000e+03 | 1.62%| 12.93%
2911.57/2919.06 c 2919s| 35500 | 2127 | 15437k| 380.8 | 463M | 48 |1551 |6239 |3355 | 32k| 1 | 26k| 11k| 1.017546e+03 | 1.034000e+03 | 1.62%| 12.95%
2919.05/2926.57 c 2927s| 35600 | 2131 | 15478k| 380.8 | 463M | 48 |1551 |6186 |3311 | 32k| 0 | 26k| 11k| 1.017560e+03 | 1.034000e+03 | 1.62%| 12.98%
2923.54/2931.06 c 2931s| 35700 | 2135 | 15515k| 380.8 | 463M | 48 |1551 |6219 |3315 | 32k| 1 | 26k| 11k| 1.017560e+03 | 1.034000e+03 | 1.62%| 12.99%
2930.62/2938.13 c 2938s| 35800 | 2139 | 15557k| 380.9 | 463M | 48 |1551 |6177 |3326 | 32k| 1 | 26k| 11k| 1.017569e+03 | 1.034000e+03 | 1.61%| 13.01%
2941.39/2948.96 c 2949s| 35900 | 2153 | 15615k| 381.4 | 463M | 48 |1551 |6135 |3324 | 33k| 0 | 26k| 11k| 1.017611e+03 | 1.034000e+03 | 1.61%| 13.06%
2948.77/2956.38 c 2956s| 36000 | 2173 | 15669k| 381.8 | 463M | 48 |1551 |6055 |3302 | 33k| 1 | 26k| 11k| 1.017626e+03 | 1.034000e+03 | 1.61%| 13.09%
2953.06/2960.69 c 2961s| 36100 | 2175 | 15706k| 381.7 | 463M | 48 |1551 |6069 |3341 | 33k| 1 | 26k| 11k| 1.017626e+03 | 1.034000e+03 | 1.61%| 13.10%
2961.14/2968.73 c 2969s| 36200 | 2181 | 15756k| 382.0 | 463M | 48 |1551 |6056 |3359 | 33k| 0 | 26k| 11k| 1.017635e+03 | 1.034000e+03 | 1.61%| 13.12%
2974.11/2981.72 c 2982s| 36300 | 2191 | 15837k| 383.1 | 464M | 48 |1551 |6058 |3305 | 33k| 0 | 26k| 11k| 1.017659e+03 | 1.034000e+03 | 1.61%| 13.15%
2977.51/2985.17 c 2985s| 36400 | 2189 | 15865k| 382.8 | 464M | 48 |1551 |6076 |3302 | 33k| 0 | 26k| 11k| 1.017659e+03 | 1.034000e+03 | 1.61%| 13.16%
2982.99/2990.60 c 2991s| 36500 | 2199 | 15914k| 383.1 | 464M | 48 |1551 |6073 |3297 | 33k| 0 | 26k| 11k| 1.017659e+03 | 1.034000e+03 | 1.61%| 13.18%
2987.78/2995.49 c 2995s| 36600 | 2199 | 15955k| 383.2 | 464M | 48 |1551 |6065 |3357 | 34k| 1 | 26k| 11k| 1.017659e+03 | 1.034000e+03 | 1.61%| 13.19%
2995.96/3003.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2995.96/3003.63 c 3004s| 36700 | 2215 | 16011k| 383.6 | 464M | 48 |1551 |5972 |3315 | 34k| 0 | 26k| 11k| 1.017691e+03 | 1.034000e+03 | 1.60%| 13.25%
3002.14/3009.88 c 3010s| 36800 | 2219 | 16050k| 383.6 | 464M | 48 |1551 |5949 |3321 | 34k| 1 | 26k| 11k| 1.017691e+03 | 1.034000e+03 | 1.60%| 13.27%
3016.01/3023.76 c 3024s| 36900 | 2241 | 16121k| 384.4 | 464M | 48 |1551 |5954 |3335 | 34k| 1 | 26k| 11k| 1.017709e+03 | 1.034000e+03 | 1.60%| 13.32%
3019.60/3027.38 c 3027s| 37000 | 2237 | 16151k| 384.2 | 464M | 48 |1551 |5955 |3326 | 34k| 0 | 26k| 11k| 1.017709e+03 | 1.034000e+03 | 1.60%| 13.32%
3024.39/3032.15 c 3032s| 37100 | 2245 | 16194k| 384.3 | 464M | 48 |1551 |5946 |3329 | 34k| 1 | 26k| 11k| 1.017717e+03 | 1.034000e+03 | 1.60%| 13.35%
3031.38/3039.17 c 3039s| 37200 | 2251 | 16243k| 384.5 | 464M | 48 |1551 |5913 |3305 | 34k| 1 | 27k| 11k| 1.017736e+03 | 1.034000e+03 | 1.60%| 13.40%
3038.85/3046.65 c 3047s| 37300 | 2257 | 16292k| 384.8 | 464M | 48 |1551 |5875 |3342 | 35k| 0 | 27k| 11k| 1.017740e+03 | 1.034000e+03 | 1.60%| 13.43%
3048.63/3056.43 c 3056s| 37400 | 2273 | 16355k| 385.4 | 464M | 48 |1551 |5766 |3340 | 35k| 1 | 27k| 11k| 1.017754e+03 | 1.034000e+03 | 1.60%| 13.49%
3054.91/3062.78 c 3063s| 37500 | 2281 | 16401k| 385.5 | 464M | 48 |1551 |5728 |3296 | 35k| 0 | 27k| 11k| 1.017759e+03 | 1.034000e+03 | 1.60%| 13.52%
3066.19/3074.04 c 3074s| 37600 | 2293 | 16460k| 386.0 | 465M | 48 |1551 |5718 |3297 | 35k| 0 | 27k| 11k| 1.017770e+03 | 1.034000e+03 | 1.59%| 13.59%
3073.27/3081.14 c 3081s| 37700 | 2299 | 16507k| 386.2 | 465M | 48 |1551 |5681 |3348 | 35k| 2 | 27k| 11k| 1.017772e+03 | 1.034000e+03 | 1.59%| 13.62%
3085.44/3093.34 c 3093s| 37800 | 2315 | 16592k| 387.3 | 465M | 48 |1551 |5669 |3351 | 35k| 0 | 27k| 11k| 1.017803e+03 | 1.034000e+03 | 1.59%| 13.67%
3091.02/3098.98 c 3099s| 37900 | 2317 | 16635k| 387.4 | 465M | 48 |1551 |5618 |3321 | 35k| 1 | 27k| 11k| 1.017806e+03 | 1.034000e+03 | 1.59%| 13.69%
3096.81/3104.70 c 3105s| 38000 | 2319 | 16676k| 387.5 | 465M | 48 |1551 |5537 |3310 | 36k| 1 | 27k| 11k| 1.017806e+03 | 1.034000e+03 | 1.59%| 13.75%
3101.60/3109.59 c 3110s| 38100 | 2319 | 16719k| 387.5 | 465M | 48 |1551 |5525 |3310 | 36k| 0 | 27k| 11k| 1.017806e+03 | 1.034000e+03 | 1.59%| 13.77%
3108.48/3116.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3108.48/3116.44 c 3116s| 38200 | 2327 | 16763k| 387.7 | 465M | 48 |1551 |5459 |3367 | 36k| 0 | 27k| 11k| 1.017809e+03 | 1.034000e+03 | 1.59%| 13.78%
3119.75/3127.72 c 3128s| 38300 | 2341 | 16825k| 388.2 | 466M | 48 |1551 |5411 |3316 | 36k| 1 | 27k| 11k| 1.017827e+03 | 1.034000e+03 | 1.59%| 13.85%
3132.42/3140.41 c 3140s| 38400 | 2365 | 16902k| 389.1 | 467M | 48 |1551 |5323 |3289 | 36k| 0 | 27k| 11k| 1.017849e+03 | 1.034000e+03 | 1.59%| 13.89%
3140.11/3148.19 c 3148s| 38500 | 2371 | 16949k| 389.3 | 467M | 48 |1551 |5255 |3354 | 37k| 1 | 27k| 11k| 1.017850e+03 | 1.034000e+03 | 1.59%| 13.91%
3149.58/3157.61 c 3158s| 38600 | 2383 | 17005k| 389.7 | 467M | 48 |1551 |5170 |3337 | 37k| 0 | 27k| 11k| 1.017852e+03 | 1.034000e+03 | 1.59%| 13.94%
3160.25/3168.33 c 3168s| 38700 | 2397 | 17066k| 390.2 | 467M | 48 |1551 |5066 |3326 | 37k| 1 | 27k| 11k| 1.017876e+03 | 1.034000e+03 | 1.58%| 13.98%
3170.53/3178.65 c 3179s| 38800 | 2407 | 17121k| 390.5 | 467M | 48 |1551 |5049 |3356 | 37k| 2 | 27k| 11k| 1.017928e+03 | 1.034000e+03 | 1.58%| 14.00%
3179.31/3187.46 c 3187s| 38900 | 2429 | 17182k| 391.0 | 467M | 48 |1551 |5052 |3287 | 37k| 1 | 27k| 11k| 1.017965e+03 | 1.034000e+03 | 1.58%| 14.02%
3189.08/3197.20 c 3197s| 39000 | 2433 | 17248k| 391.7 | 467M | 48 |1551 |4963 |3349 | 37k| 0 | 27k| 11k| 1.017976e+03 | 1.034000e+03 | 1.57%| 14.05%
3194.67/3202.83 c 3203s| 39100 | 2443 | 17296k| 391.8 | 467M | 48 |1551 |4970 |3351 | 38k| 0 | 27k| 11k| 1.017978e+03 | 1.034000e+03 | 1.57%| 14.06%
3201.15/3209.35 c 3209s| 39200 | 2441 | 17333k| 391.8 | 467M | 48 |1551 |4959 |3325 | 38k| 1 | 27k| 11k| 1.017984e+03 | 1.034000e+03 | 1.57%| 14.08%
3208.43/3216.67 c 3217s| 39300 | 2451 | 17378k| 391.9 | 468M | 48 |1551 |4976 |3341 | 38k| 1 | 27k| 11k| 1.017991e+03 | 1.034000e+03 | 1.57%| 14.11%
3215.72/3223.92 c 3224s| 39400 | 2459 | 17428k| 392.2 | 468M | 48 |1551 |4936 |3337 | 38k| 0 | 27k| 11k| 1.018001e+03 | 1.034000e+03 | 1.57%| 14.13%
3220.31/3228.56 c 3229s| 39500 | 2469 | 17469k| 392.2 | 468M | 48 |1551 |4935 |3346 | 38k| 1 | 27k| 11k| 1.018018e+03 | 1.034000e+03 | 1.57%| 14.15%
3224.49/3232.75 c 3233s| 39600 | 2471 | 17505k| 392.1 | 468M | 48 |1551 |4955 |3374 | 38k| 0 | 27k| 11k| 1.018018e+03 | 1.034000e+03 | 1.57%| 14.15%
3228.89/3237.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3228.89/3237.13 c 3237s| 39700 | 2473 | 17544k| 392.1 | 468M | 48 |1551 |4953 |3310 | 38k| 1 | 27k| 11k| 1.018018e+03 | 1.034000e+03 | 1.57%| 14.15%
3234.87/3243.11 c 3243s| 39800 | 2489 | 17597k| 392.4 | 468M | 48 |1551 |4875 |3339 | 38k| 1 | 27k| 11k| 1.018031e+03 | 1.034000e+03 | 1.57%| 14.19%
3242.15/3250.42 c 3250s| 39900 | 2503 | 17645k| 392.6 | 468M | 48 |1551 |4863 |3304 | 38k| 1 | 27k| 11k| 1.018060e+03 | 1.034000e+03 | 1.57%| 14.21%
3246.64/3254.92 c 3255s| 40000 | 2499 | 17684k| 392.6 | 468M | 48 |1551 |4837 |3288 | 38k| 1 | 27k| 11k| 1.018060e+03 | 1.034000e+03 | 1.57%| 14.25%
3253.42/3261.78 c 3262s| 40100 | 2507 | 17729k| 392.8 | 468M | 48 |1551 |4825 |3323 | 39k| 0 | 27k| 11k| 1.018064e+03 | 1.034000e+03 | 1.57%| 14.27%
3258.20/3266.58 c 3267s| 40200 | 2511 | 17771k| 392.8 | 468M | 48 |1551 |4793 |3306 | 39k| 0 | 27k| 11k| 1.018065e+03 | 1.034000e+03 | 1.57%| 14.30%
3263.28/3271.60 c 3272s| 40300 | 2513 | 17815k| 392.9 | 468M | 48 |1551 |4796 |3328 | 39k| 0 | 27k| 11k| 1.018067e+03 | 1.034000e+03 | 1.57%| 14.34%
3267.97/3276.36 c 3276s| 40400 | 2525 | 17856k| 393.0 | 468M | 48 |1551 |4796 |3340 | 39k| 1 | 27k| 11k| 1.018067e+03 | 1.034000e+03 | 1.57%| 14.35%
3272.26/3280.67 c 3281s| 40500 | 2529 | 17895k| 392.9 | 468M | 48 |1551 |4795 |3350 | 39k| 1 | 27k| 11k| 1.018080e+03 | 1.034000e+03 | 1.56%| 14.36%
3277.84/3286.27 c 3286s| 40600 | 2529 | 17936k| 393.0 | 468M | 48 |1551 |4785 |3347 | 39k| 0 | 27k| 11k| 1.018082e+03 | 1.034000e+03 | 1.56%| 14.37%
3281.93/3290.39 c 3290s| 40700 | 2521 | 17972k| 392.9 | 468M | 48 |1551 |4773 |3335 | 39k| 0 | 27k| 11k| 1.018102e+03 | 1.034000e+03 | 1.56%| 14.40%
3289.10/3297.55 c 3298s| 40800 | 2541 | 18034k| 393.4 | 468M | 48 |1551 |4708 |3337 | 39k| 1 | 27k| 11k| 1.018112e+03 | 1.034000e+03 | 1.56%| 14.45%
3293.60/3302.05 c 3302s| 40900 | 2541 | 18073k| 393.4 | 468M | 48 |1551 |4702 |3358 | 39k| 0 | 27k| 11k| 1.018112e+03 | 1.034000e+03 | 1.56%| 14.46%
3306.75/3315.25 c 3315s| 41000 | 2559 | 18163k| 394.5 | 468M | 48 |1551 |4699 |3364 | 39k| 0 | 27k| 11k| 1.018129e+03 | 1.034000e+03 | 1.56%| 14.49%
3313.23/3321.76 c 3322s| 41100 | 2563 | 18204k| 394.5 | 468M | 48 |1551 |4692 |3340 | 40k| 1 | 27k| 11k| 1.018135e+03 | 1.034000e+03 | 1.56%| 14.52%
3318.11/3326.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3318.11/3326.65 c 3327s| 41200 | 2569 | 18246k| 394.6 | 468M | 48 |1551 |4690 |3359 | 40k| 1 | 27k| 11k| 1.018135e+03 | 1.034000e+03 | 1.56%| 14.54%
3325.79/3334.32 c 3334s| 41300 | 2573 | 18285k| 394.6 | 468M | 48 |1551 |4683 |3356 | 40k| 0 | 27k| 11k| 1.018154e+03 | 1.034000e+03 | 1.56%| 14.55%
3329.38/3337.94 c 3338s| 41400 | 2577 | 18318k| 394.4 | 468M | 48 |1551 |4678 |3368 | 40k| 1 | 27k| 11k| 1.018186e+03 | 1.034000e+03 | 1.55%| 14.56%
3343.14/3351.76 c 3352s| 41500 | 2599 | 18396k| 395.3 | 468M | 48 |1551 |4559 |3298 | 40k| 0 | 27k| 11k| 1.018216e+03 | 1.034000e+03 | 1.55%| 14.65%
3348.02/3356.66 c 3357s| 41600 | 2597 | 18437k| 395.3 | 468M | 48 |1551 |4601 |3342 | 40k| 1 | 27k| 11k| 1.018216e+03 | 1.034000e+03 | 1.55%| 14.68%
3352.41/3361.01 c 3361s| 41700 | 2599 | 18475k| 395.3 | 468M | 48 |1551 |4589 |3331 | 40k| 1 | 27k| 11k| 1.018222e+03 | 1.034000e+03 | 1.55%| 14.71%
3357.59/3366.21 c 3366s| 41800 | 2601 | 18518k| 395.3 | 468M | 48 |1551 |4666 |3334 | 40k| 2 | 27k| 11k| 1.018222e+03 | 1.034000e+03 | 1.55%| 14.73%
3365.47/3374.16 c 3374s| 41900 | 2597 | 18556k| 395.3 | 468M | 48 |1551 |4827 |3339 | 40k| 4 | 27k| 11k| 1.018222e+03 | 1.034000e+03 | 1.55%| 14.73%
3377.03/3385.73 c 3386s| 42000 | 2615 | 18621k| 395.9 | 468M | 48 |1551 |4887 |3323 | 41k| 1 | 27k| 11k| 1.018297e+03 | 1.034000e+03 | 1.54%| 14.77%
3385.11/3393.87 c 3394s| 42100 | 2625 | 18668k| 396.0 | 468M | 48 |1551 |4930 |3342 | 41k| 1 | 28k| 11k| 1.018300e+03 | 1.034000e+03 | 1.54%| 14.79%
3391.89/3400.60 c 3401s| 42200 | 2625 | 18706k| 396.0 | 468M | 48 |1551 |4952 |3349 | 41k| 0 | 28k| 11k| 1.018303e+03 | 1.034000e+03 | 1.54%| 14.79%
3406.54/3415.36 c 3415s| 42300 | 2641 | 18794k| 397.0 | 468M | 48 |1551 |4951 |3361 | 41k| 0 | 28k| 11k| 1.018317e+03 | 1.034000e+03 | 1.54%| 14.83%
3414.32/3423.15 c 3423s| 42400 | 2649 | 18846k| 397.3 | 469M | 48 |1551 |4950 |3321 | 41k| 0 | 28k| 11k| 1.018323e+03 | 1.034000e+03 | 1.54%| 14.85%
3420.00/3428.81 c 3429s| 42500 | 2655 | 18893k| 397.4 | 469M | 48 |1551 |4975 |3365 | 41k| 1 | 28k| 11k| 1.018323e+03 | 1.034000e+03 | 1.54%| 14.89%
3423.59/3432.43 c 3432s| 42600 | 2655 | 18924k| 397.2 | 469M | 48 |1551 |4986 |3365 | 41k| 0 | 28k| 11k| 1.018329e+03 | 1.034000e+03 | 1.54%| 14.91%
3429.87/3438.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3429.87/3438.74 c 3439s| 42700 | 2665 | 18971k| 397.4 | 469M | 48 |1551 |4934 |3370 | 42k| 1 | 28k| 11k| 1.018333e+03 | 1.034000e+03 | 1.54%| 14.92%
3436.45/3445.37 c 3445s| 42800 | 2677 | 19016k| 397.5 | 469M | 48 |1551 |4948 |3373 | 42k| 1 | 28k| 11k| 1.018339e+03 | 1.034000e+03 | 1.54%| 14.93%
3444.72/3453.68 c 3454s| 42900 | 2679 | 19055k| 397.5 | 469M | 48 |1551 |5032 |3377 | 42k| 1 | 28k| 11k| 1.018346e+03 | 1.034000e+03 | 1.54%| 14.95%
3447.91/3456.82 c 3457s| 43000 | 2675 | 19082k| 397.2 | 469M | 48 |1551 |5026 |3289 | 42k| 0 | 28k| 11k| 1.018346e+03 | 1.034000e+03 | 1.54%| 14.95%
3452.10/3461.02 c 3461s| 43100 | 2675 | 19118k| 397.1 | 469M | 48 |1551 |5005 |3252 | 42k| 0 | 28k| 11k| 1.018346e+03 | 1.034000e+03 | 1.54%| 14.99%
3456.49/3465.43 c 3465s| 43200 | 2673 | 19156k| 397.1 | 469M | 48 |1551 |5012 |3317 | 42k| 0 | 28k| 11k| 1.018346e+03 | 1.034000e+03 | 1.54%| 15.04%
3460.47/3469.45 c 3469s| 43300 | 2673 | 19190k| 397.0 | 469M | 48 |1551 |5026 |3317 | 42k| 1 | 28k| 11k| 1.018346e+03 | 1.034000e+03 | 1.54%| 15.07%
3469.45/3478.46 c 3478s| 43400 | 2679 | 19244k| 397.3 | 469M | 48 |1551 |4975 |3326 | 42k| 0 | 28k| 11k| 1.018365e+03 | 1.034000e+03 | 1.54%| 15.13%
3474.43/3483.43 c 3483s| 43500 | 2683 | 19288k| 397.4 | 469M | 48 |1551 |4995 |3375 | 42k| 0 | 28k| 11k| 1.018372e+03 | 1.034000e+03 | 1.53%| 15.14%
3479.02/3488.08 c 3488s| 43600 | 2683 | 19328k| 397.4 | 469M | 48 |1551 |5006 |3305 | 42k| 1 | 28k| 11k| 1.018372e+03 | 1.034000e+03 | 1.53%| 15.15%
3485.49/3494.51 c 3495s| 43700 | 2699 | 19384k| 397.7 | 469M | 48 |1551 |5022 |3331 | 43k| 1 | 28k| 11k| 1.018399e+03 | 1.034000e+03 | 1.53%| 15.16%
3495.26/3504.32 c 3504s| 43800 | 2705 | 19434k| 397.9 | 469M | 48 |1551 |4984 |3332 | 43k| 0 | 28k| 11k| 1.018410e+03 | 1.034000e+03 | 1.53%| 15.18%
3506.33/3515.47 c 3515s| 43900 | 2715 | 19492k| 398.3 | 469M | 48 |1551 |4966 |3312 | 43k| 0 | 28k| 11k| 1.018414e+03 | 1.034000e+03 | 1.53%| 15.21%
3511.21/3520.32 c 3520s| 44000 | 2715 | 19534k| 398.3 | 469M | 48 |1551 |4963 |3342 | 43k| 2 | 28k| 11k| 1.018414e+03 | 1.034000e+03 | 1.53%| 15.23%
3517.90/3527.03 c 3527s| 44100 | 2719 | 19579k| 398.4 | 469M | 48 |1551 |4953 |3364 | 43k| 0 | 28k| 11k| 1.018418e+03 | 1.034000e+03 | 1.53%| 15.26%
3523.08/3532.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3523.08/3532.21 c 3532s| 44200 | 2723 | 19624k| 398.5 | 469M | 48 |1551 |4946 |3289 | 43k| 1 | 28k| 11k| 1.018418e+03 | 1.034000e+03 | 1.53%| 15.29%
3527.87/3537.01 c 3537s| 44300 | 2733 | 19665k| 398.6 | 469M | 48 |1551 |4949 |3338 | 43k| 1 | 28k| 11k| 1.018418e+03 | 1.034000e+03 | 1.53%| 15.29%
3536.54/3545.72 c 3546s| 44400 | 2745 | 19724k| 398.9 | 470M | 48 |1551 |4948 |3353 | 44k| 1 | 28k| 11k| 1.018438e+03 | 1.034000e+03 | 1.53%| 15.32%
3540.62/3549.85 c 3550s| 44500 | 2747 | 19759k| 398.9 | 470M | 48 |1551 |4939 |3341 | 44k| 0 | 28k| 11k| 1.018448e+03 | 1.034000e+03 | 1.53%| 15.33%
3545.01/3554.28 c 3554s| 44600 | 2747 | 19797k| 398.8 | 470M | 48 |1551 |4909 |3365 | 44k| 1 | 28k| 11k| 1.018448e+03 | 1.034000e+03 | 1.53%| 15.36%
3551.09/3560.34 c 3560s| 44700 | 2755 | 19847k| 399.0 | 470M | 48 |1551 |4908 |3355 | 44k| 0 | 28k| 11k| 1.018448e+03 | 1.034000e+03 | 1.53%| 15.36%
3559.17/3568.48 c 3568s| 44800 | 2763 | 19911k| 399.5 | 470M | 48 |1551 |4898 |3355 | 44k| 1 | 28k| 11k| 1.018450e+03 | 1.034000e+03 | 1.53%| 15.37%
3563.25/3572.54 c 3573s| 44900 | 2767 | 19949k| 399.5 | 470M | 48 |1551 |4879 |3355 | 44k| 1 | 28k| 11k| 1.018460e+03 | 1.034000e+03 | 1.53%| 15.38%
3569.54/3578.86 c 3579s| 45000 | 2777 | 19990k| 399.5 | 470M | 48 |1551 |4888 |3361 | 44k| 0 | 28k| 11k| 1.018473e+03 | 1.034000e+03 | 1.52%| 15.39%
3575.42/3584.75 c 3585s| 45100 | 2779 | 20027k| 399.4 | 471M | 48 |1551 |4919 |3358 | 44k| 0 | 28k| 11k| 1.018485e+03 | 1.034000e+03 | 1.52%| 15.40%
3579.40/3588.72 c 3589s| 45200 | 2779 | 20063k| 399.3 | 471M | 48 |1551 |4912 |3323 | 44k| 0 | 28k| 11k| 1.018485e+03 | 1.034000e+03 | 1.52%| 15.42%
3583.29/3592.69 c 3593s| 45300 | 2785 | 20098k| 399.3 | 471M | 48 |1551 |4909 |3306 | 44k| 0 | 28k| 11k| 1.018517e+03 | 1.034000e+03 | 1.52%| 15.43%
3586.69/3596.05 c 3596s| 45400 | 2783 | 20126k| 399.0 | 471M | 48 |1551 |4902 |3317 | 44k| 1 | 28k| 11k| 1.018517e+03 | 1.034000e+03 | 1.52%| 15.44%
3587.58/3597.00 c
3587.58/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.58/3597.00 c Solving Time (sec) : 3597.00
3587.58/3597.00 c Solving Nodes : 45420 (total of 50410 nodes in 2 runs)
3587.58/3597.00 c Primal Bound : +1.03400000000000e+03 (599 solutions)
3587.58/3597.00 c Dual Bound : +1.01851678963257e+03
3587.58/3597.00 c Gap : 1.52 %
3587.58/3597.00 s SATISFIABLE
3587.58/3597.00 v x1 -x2 x3 -x4 -x5 x6 x7 x8 -x9 -x10 x11 x12 x13 -x14 -x15 x16 x17 -x18 -x19 x20 x21 -x22 -x23 -x24 x25 -x26 -x27 x28 -x29 -x30 -x31
3587.58/3597.00 v -x32 -x33 -x34 x35 x36 -x37 -x38 -x39 x40 x41 x42 -x43 -x44 x45 x46 x47 -x48 x49 -x50 x51 -x52 -x53 x54 -x55 x56 -x57 -x58 x59 -x60
3587.58/3597.00 v x61 -x62 x63 x64 -x65 x66 x67 x68 x69 x70 -x71 x72 x73 -x74 x75 x76 -x77 x78 x79 x80 x81 x82 -x83 x84 x85 -x86 -x87 x88 x89 -x90
3587.58/3597.00 v -x91 x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 x100 x101 -x102 -x103 x104 -x105 -x106 -x107 x108 -x109 x110 -x111 -x112 -x113 -x114
3587.58/3597.00 v -x115 -x116 x117 -x118 x119 x120 -x121 x122 -x123 x124 -x125 -x126 x127 -x128 x129 x130 -x131 x132 x133 x134 -x135 x136 -x137 -x138
3587.58/3597.00 v x139 x140 x141 -x142 x143 x144 -x145 -x146 -x147 -x148 -x149 x150 x151 -x152 -x153 -x154 x155 x156 -x157 -x158 x159 -x160 -x161
3587.58/3597.00 v x162 x163 x164 -x165 x166 x167 -x168 x169 x170 x171 x172 -x173 -x174 x175 x176 -x177 -x178 x179 x180 x181 -x182 x183 x184 -x185
3587.58/3597.00 v x186 x187 x188 -x189 x190 x191 -x192 -x193 x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 x202 x203 -x204 -x205 x206 -x207 -x208
3587.58/3597.00 v x209 x210 -x211 -x212 x213 -x214 -x215 x216 -x217 -x218 x219 -x220 x221 -x222 x223 -x224 -x225 x226 x227 -x228 x229 -x230 -x231
3587.58/3597.00 v x232 -x233 -x234 x235 -x236 x237 -x238 x239 x240 -x241 -x242 x243 x244 x245 -x246 -x247 x248 x249 x250 x251 -x252 x253 -x254 x255
3587.58/3597.00 v x256 x257 x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 x268 x269 -x270 -x271 x272 x273 x274 -x275 -x276 x277 -x278 -x279
3587.58/3597.00 v x280 x281 x282 -x283 -x284 x285 -x286 -x287 x288 x289 -x290 -x291 x292 -x293 x294 -x295 x296 x297 x298 -x299 x300 x301 -x302 -x303
3587.58/3597.00 v x304 -x305 -x306 -x307 -x308 x309 x310 x311 -x312 x313 x314 x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 x323 -x324 -x325 x326
3587.58/3597.00 v -x327 x328 x329 x330 x331 x332 -x333 x334 x335 x336 x337 x338 -x339 -x340 x341 -x342 x343 x344 -x345 x346 -x347 x348 x349 -x350
3587.58/3597.00 v -x351 x352 x353 -x354 -x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 -x367 x368 -x369 -x370 -x371 x372 x373 x374 -x375
3587.58/3597.00 v -x376 x377 x378 x379 x380 x381 x382 x383 -x384 x385 -x386 x387 x388 x389 -x390 x391 x392 -x393 -x394 x395 -x396 -x397 x398 x399
3587.58/3597.00 v -x400 -x401 -x402 x403 x404 -x405 -x406 x407 x408 -x409 -x410 x411 -x412 x413 -x414 x415 -x416 x417 x418 x419 x420 x421 -x422 x423
3587.58/3597.00 v x424 x425 -x426 x427 -x428 -x429 x430 -x431 -x432 x433 x434 x435 x436 -x437 -x438 -x439 x440 x441 -x442 x443 x444 x445 x446 -x447
3587.58/3597.00 v -x448 -x449 x450 -x451 x452 x453 -x454 -x455 -x456 x457 -x458 -x459 x460 x461 x462 x463 -x464 x465 x466 x467 -x468 x469 x470 -x471
3587.58/3597.00 v -x472 -x473 x474 x475 x476 -x477 x478 x479 x480 -x481 -x482 x483 x484 -x485 -x486 x487 -x488 x489 x490 -x491 -x492 -x493 -x494 x495
3587.58/3597.00 v x496 x497 -x498 -x499 -x500 x501 x502 x503 x504 -x505 -x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 x515 x516 -x517 x518 x519
3587.58/3597.00 v x520 -x521 -x522 x523 -x524 x525 x526 -x527 x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 -x540 -x541 -x542
3587.58/3597.00 v -x543 -x544 x545 x546 x547 x548 x549 x550 x551 x552 x553 -x554 x555 -x556 -x557 x558 x559 x560 x561 x562 x563 x564 -x565 x566 -x567
3587.58/3597.00 v -x568 x569 -x570 x571 x572 -x573 x574 -x575 -x576 x577 -x578 x579 -x580 -x581 x582 x583 -x584 x585 x586 -x587 x588 -x589 -x590 -x591
3587.58/3597.00 v -x592 x593 x594 -x595 x596 x597 -x598 x599 x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 x608 -x609 -x610 -x611 x612 x613 -x614
3587.58/3597.00 v -x615 -x616 -x617 x618 x619 -x620 x621 -x622 x623 -x624 -x625 -x626 -x627 x628 -x629 x630 x631 -x632 x633 -x634 x635 x636 -x637
3587.58/3597.00 v x638 x639 x640 x641 -x642 x643 x644 x645 x646 x647 -x648 -x649 x650 x651 -x652 x653 x654 x655 x656 -x657 x658 -x659 x660 -x661 -x662
3587.58/3597.00 v -x663 x664 -x665 -x666 x667 x668 -x669 -x670 -x671 x672 x673 -x674 x675 -x676 -x677 x678 x679 x680 -x681 -x682 -x683 x684 -x685
3587.58/3597.00 v x686 -x687 x688 -x689 -x690 x691 x692 -x693 -x694 x695 x696 x697 -x698 -x699 x700 -x701 x702 x703 x704 x705 x706 -x707 x708 -x709
3587.58/3597.00 v x710 x711 -x712 x713 -x714 -x715 -x716 x717 x718 -x719 x720 x721 x722 x723 -x724 -x725 x726 -x727 x728 -x729 -x730 x731 x732 x733
3587.58/3597.00 v x734 -x735 -x736 x737 -x738 x739 x740 -x741 x742 -x743 x744 x745 x746 x747 x748 x749 -x750 -x751 x752 x753 x754 x755 x756 x757 -x758
3587.58/3597.00 v -x759 -x760 x761 -x762 -x763 x764 x765 x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 x774 x775 x776 -x777 -x778 -x779 x780 x781
3587.58/3597.00 v x782 x783 -x784 x785 x786 x787 x788 -x789 x790 -x791 x792 -x793 -x794 -x795 x796 x797 -x798 -x799 x800 -x801 -x802 x803 x804 x805
3587.58/3597.00 v x806 -x807 -x808 -x809 -x810 x811 -x812 x813 x814 x815 x816 x817 -x818 x819 x820 x821 x822 x823 -x824 x825 x826 -x827 -x828 x829
3587.58/3597.00 v x830 -x831 x832 -x833 -x834 x835 -x836 -x837 -x838 x839 -x840 x841 -x842 -x843 x844 x845 x846 -x847 x848 x849 -x850 -x851 -x852
3587.58/3597.00 v -x853 x854 x855 x856 x857 x858 x859 x860 -x861 x862 x863 x864 -x865 x866 -x867 x868 -x869 -x870 -x871 x872 -x873 -x874 -x875 -x876
3587.58/3597.00 v -x877 x878 -x879 -x880 x881 -x882 x883 x884 x885 -x886 x887 -x888 x889 -x890 -x891 x892 x893 -x894 x895 x896 x897 x898 x899 -x900
3587.58/3597.00 v x901 x902 -x903 x904 x905 x906 -x907 -x908 x909 x910 -x911 x912 x913 -x914 -x915 -x916 -x917 x918 -x919 x920 -x921 x922 x923 x924
3587.58/3597.00 v -x925 x926 x927 -x928 x929 -x930 x931 x932 -x933 x934 -x935 x936 -x937 x938 x939 x940 x941 -x942 -x943 x944 x945 x946 x947 x948
3587.58/3597.00 v -x949 x950 -x951 -x952 x953 -x954 x955 x956 -x957 x958 -x959 -x960 -x961 x962 -x963 x964 -x965 -x966 -x967 x968 -x969 x970 -x971
3587.58/3597.00 v x972 -x973 -x974 -x975 x976 x977 x978 x979 x980 x981 -x982 x983 x984 x985 x986 x987 -x988 x989 x990 x991 x992 x993 x994 -x995 x996
3587.58/3597.00 v -x997 -x998 -x999 -x1000 x1001 x1002 -x1003 -x1004 -x1005 x1006 -x1007 -x1008 -x1009 -x1010 x1011 x1012 x1013 -x1014 -x1015 x1016
3587.58/3597.00 v -x1017 -x1018 -x1019 -x1020 x1021 x1022 -x1023 -x1024 x1025 x1026 x1027 -x1028 -x1029 -x1030 x1031 x1032 -x1033 x1034 -x1035 -x1036
3587.58/3597.00 v x1037 x1038 -x1039 x1040 -x1041 x1042 x1043 x1044 -x1045 x1046 x1047 -x1048 -x1049 -x1050 x1051 -x1052 x1053 x1054 x1055 x1056 -x1057
3587.58/3597.00 v -x1058 -x1059 -x1060 x1061 -x1062 x1063 -x1064 x1065 x1066 x1067 x1068 -x1069 x1070 x1071 x1072 x1073 x1074 -x1075 -x1076 x1077
3587.58/3597.00 v x1078 -x1079 x1080 -x1081 -x1082 -x1083 x1084 x1085 -x1086 x1087 x1088 x1089 x1090 x1091 x1092 x1093 x1094 -x1095 x1096 -x1097 x1098
3587.58/3597.00 v x1099 x1100 x1101 -x1102 x1103 -x1104 x1105 x1106 x1107 -x1108 -x1109 x1110 -x1111 x1112 x1113 x1114 x1115 x1116 x1117 -x1118 x1119
3587.58/3597.00 v x1120 x1121 x1122 -x1123 -x1124 -x1125 -x1126 x1127 x1128 -x1129 -x1130 -x1131 x1132 -x1133 x1134 -x1135 x1136 -x1137 x1138 x1139
3587.58/3597.00 v -x1140 x1141 -x1142 -x1143 x1144 -x1145 x1146 -x1147 x1148 -x1149 -x1150 x1151 -x1152 x1153 x1154 -x1155 -x1156 x1157 x1158 x1159
3587.58/3597.00 v x1160 -x1161 -x1162 -x1163 -x1164 x1165 x1166 -x1167 x1168 x1169 -x1170 x1171 -x1172 x1173 x1174 x1175 -x1176 -x1177 -x1178 x1179
3587.58/3597.00 v x1180 x1181 x1182 x1183 -x1184 -x1185 x1186 -x1187 -x1188 x1189 x1190 -x1191 x1192 x1193 -x1194 x1195 x1196 x1197 -x1198 x1199 x1200
3587.58/3597.00 v x1201 x1202 x1203 -x1204 -x1205 x1206 x1207 -x1208 x1209 -x1210 x1211 x1212 x1213 x1214 -x1215 x1216 -x1217 x1218 x1219 x1220 x1221
3587.58/3597.00 v x1222 x1223 x1224 x1225 -x1226 -x1227 x1228 x1229 -x1230 x1231 -x1232 -x1233 -x1234 -x1235 -x1236 x1237 -x1238 -x1239 x1240 -x1241
3587.58/3597.00 v -x1242 -x1243 x1244 x1245 x1246 -x1247 x1248 -x1249 -x1250 x1251 -x1252 -x1253 -x1254 -x1255 x1256 x1257 x1258 -x1259 -x1260 x1261
3587.58/3597.00 v -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 x1270 -x1271 -x1272 x1273 -x1274 -x1275 -x1276 -x1277 x1278 -x1279 -x1280
3587.58/3597.00 v -x1281 x1282 x1283 x1284 x1285 -x1286 -x1287 -x1288 -x1289 -x1290 x1291 x1292 x1293 x1294 -x1295 x1296 -x1297 x1298 -x1299 -x1300
3587.58/3597.00 v -x1301 x1302 x1303 -x1304 x1305 x1306 x1307 x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 x1315 -x1316 -x1317 -x1318 -x1319 x1320
3587.58/3597.00 v -x1321 x1322 x1323 -x1324 x1325 -x1326 x1327 -x1328 -x1329 -x1330 x1331 x1332 -x1333 -x1334 -x1335 x1336 -x1337 x1338 -x1339 x1340
3587.58/3597.00 v x1341 x1342 x1343 x1344 -x1345 x1346 -x1347 x1348 -x1349 -x1350 x1351 x1352 -x1353 x1354 -x1355 -x1356 x1357 -x1358 -x1359 -x1360
3587.58/3597.00 v x1361 x1362 x1363 -x1364 x1365 x1366 -x1367 -x1368 x1369 -x1370 -x1371 x1372 x1373 x1374 x1375 -x1376 -x1377 x1378 -x1379 x1380
3587.58/3597.00 v -x1381 -x1382 x1383 x1384 x1385 x1386 x1387 x1388 x1389 x1390 x1391 x1392 -x1393 -x1394 -x1395 -x1396 x1397 x1398 -x1399 -x1400
3587.58/3597.00 v x1401 -x1402 x1403 x1404 x1405 x1406 x1407 x1408 -x1409 -x1410 x1411 -x1412 x1413 x1414 x1415 x1416 x1417 -x1418 x1419 -x1420 x1421
3587.58/3597.00 v -x1422 -x1423 -x1424 -x1425 x1426 x1427 -x1428 -x1429 -x1430 -x1431 x1432 x1433 x1434 x1435 x1436 x1437 -x1438 -x1439 x1440 -x1441
3587.58/3597.00 v -x1442 x1443 x1444 -x1445 -x1446 -x1447 x1448 -x1449 x1450 -x1451 -x1452 -x1453 -x1454 x1455 x1456 x1457 -x1458 x1459 x1460 -x1461
3587.58/3597.00 v -x1462 -x1463 -x1464 -x1465 -x1466 x1467 x1468 x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 x1476 -x1477 x1478 -x1479 x1480 x1481
3587.58/3597.00 v -x1482 -x1483 -x1484 x1485 x1486 x1487 x1488 x1489 x1490 x1491 x1492 x1493 -x1494 x1495 x1496 x1497 x1498 -x1499 -x1500 -x1501 x1502
3587.58/3597.00 v x1503 -x1504 x1505 x1506 -x1507 x1508 -x1509 x1510 x1511 x1512 -x1513 x1514 -x1515 -x1516 x1517 -x1518 x1519 x1520 -x1521 x1522
3587.58/3597.00 v -x1523 -x1524 x1525 -x1526 -x1527 -x1528 -x1529 x1530 x1531 -x1532 x1533 x1534 x1535 x1536 x1537 x1538 x1539 x1540 -x1541 x1542
3587.58/3597.00 v x1543 -x1544 -x1545 x1546 -x1547 -x1548 -x1549 x1550 -x1551 x1552 x1553 -x1554 -x1555 -x1556 -x1557 x1558 -x1559 -x1560 x1561 -x1562
3587.58/3597.00 v x1563 -x1564 -x1565 -x1566 x1567 -x1568 x1569 x1570 -x1571 x1572 x1573 x1574 x1575 -x1576 -x1577 -x1578 -x1579 x1580 x1581 x1582
3587.58/3597.00 v -x1583 x1584 x1585 x1586 -x1587 x1588 x1589 -x1590 x1591 x1592 x1593 x1594 -x1595 -x1596 x1597 -x1598 x1599 x1600 -x1601 x1602 x1603
3587.58/3597.00 v x1604 x1605 -x1606 x1607 x1608 x1609 x1610 -x1611 -x1612 -x1613 x1614 x1615 x1616 -x1617 x1618 -x1619 x1620 -x1621 x1622 x1623 -x1624
3587.58/3597.00 v x1625 -x1626 x1627 x1628 x1629 -x1630 -x1631 x1632 x1633 -x1634 -x1635 x1636 -x1637 -x1638 x1639 x1640 -x1641 -x1642 -x1643 x1644
3587.58/3597.00 v -x1645 x1646 -x1647 x1648 x1649 x1650 -x1651 x1652 -x1653 x1654 -x1655 -x1656 -x1657 x1658 -x1659 -x1660 x1661 x1662 -x1663 -x1664
3587.58/3597.00 v -x1665 -x1666 x1667 x1668 -x1669 x1670 x1671 -x1672 x1673 -x1674 -x1675 x1676 x1677 -x1678 -x1679 -x1680 x1681 x1682 x1683 -x1684
3587.58/3597.00 v x1685 -x1686 x1687 x1688 x1689 x1690 -x1691 x1692 x1693 x1694 -x1695 x1696 -x1697 x1698 -x1699 -x1700 -x1701 -x1702 x1703 x1704
3587.58/3597.00 v -x1705 -x1706 -x1707 x1708 -x1709 -x1710 -x1711 x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x1720 x1721 -x1722 -x1723
3587.58/3597.00 v x1724 -x1725 -x1726 -x1727 x1728 -x1729 -x1730 -x1731 -x1732 -x1733 x1734 x1735 x1736 x1737 x1738 -x1739 -x1740 -x1741 -x1742 x1743
3587.58/3597.00 v -x1744 x1745 x1746 -x1747 -x1748 x1749 -x1750 -x1751 -x1752 x1753 x1754 x1755 -x1756 -x1757 x1758 -x1759 x1760 x1761 -x1762 x1763
3587.58/3597.00 v -x1764 -x1765 x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 x1773 x1774 x1775 x1776 x1777 -x1778 -x1779 -x1780 x1781 x1782 x1783
3587.58/3597.00 v -x1784 -x1785 -x1786 x1787 -x1788 x1789 x1790 -x1791 -x1792 -x1793 x1794 -x1795 x1796 -x1797 x1798 -x1799 x1800 -x1801 -x1802 x1803
3587.58/3597.00 v x1804 x1805 -x1806 -x1807 -x1808 x1809 -x1810 x1811 x1812 -x1813 -x1814 x1815 x1816 -x1817 x1818 x1819 x1820 -x1821 -x1822 x1823
3587.58/3597.00 v -x1824 -x1825 x1826 x1827 -x1828 x1829 x1830 -x1831 -x1832 -x1833 x1834 x1835 x1836 -x1837 x1838 x1839 -x1840 x1841 -x1842 -x1843
3587.58/3597.00 v x1844 -x1845 -x1846 -x1847 x1848 -x1849 -x1850 x1851 x1852 -x1853 -x1854 x1855 -x1856 -x1857 -x1858 -x1859 x1860 x1861 -x1862 -x1863
3587.58/3597.00 v -x1864 -x1865 x1866 x1867 x1868 x1869 x1870 -x1871 x1872 x1873 -x1874 x1875 -x1876 -x1877 x1878 x1879 -x1880 -x1881 x1882 -x1883
3587.58/3597.00 v -x1884 x1885 x1886 -x1887 x1888 x1889 x1890 -x1891 -x1892 x1893 x1894 x1895 -x1896 x1897 -x1898 x1899 x1900 x1901 x1902 -x1903 -x1904
3587.58/3597.00 v -x1905 -x1906 x1907 x1908 -x1909 x1910 x1911 -x1912 -x1913 -x1914 x1915 x1916 x1917 x1918 -x1919 -x1920 -x1921 x1922 x1923 x1924
3587.58/3597.00 v -x1925 x1926 -x1927 -x1928 x1929 x1930 x1931 x1932 -x1933 x1934 x1935 -x1936 -x1937 x1938 -x1939 x1940 -x1941 x1942 x1943 x1944
3587.58/3597.00 v x1945 x1946 -x1947 -x1948 -x1949 x1950 x1951 -x1952 x1953 -x1954 x1955 -x1956 -x1957 x1958 x1959 -x1960 -x1961 x1962 -x1963 -x1964
3587.58/3597.00 v -x1965
3587.58/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.58/3597.00 c Total Time : 3597.00
3587.58/3597.00 c solving : 3597.00
3587.58/3597.00 c presolving : 0.36 (included in solving)
3587.58/3597.00 c reading : 0.01 (included in solving)
3587.58/3597.00 c copying : 0.13 (17 #copies) (minimal 0.00, maximal 0.01, average 0.01)
3587.58/3597.00 c Original Problem :
3587.58/3597.00 c Problem name : HOME/instance-4488827-1751321404.opb
3587.58/3597.00 c Variables : 1965 (1965 binary, 0 integer, 0 continuous)
3587.58/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.58/3597.00 c Constraints : 4000 initial, 4000 maximal
3587.58/3597.00 c Objective : minimize, 1965 non-zeros (abs.min = 1, abs.max = 1)
3587.58/3597.00 c Presolved Problem :
3587.58/3597.00 c Problem name : t_HOME/instance-4488827-1751321404.opb
3587.58/3597.00 c Variables : 1551 (1551 binary, 0 integer, 0 continuous)
3587.58/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.58/3597.00 c Constraints : 5073 initial, 8962 maximal
3587.58/3597.00 c Objective : minimize, 1551 non-zeros (abs.min = 1, abs.max = 1)
3587.58/3597.00 c Nonzeros : 105663 constraint, 6092 clique table
3587.58/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.58/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c gateextraction : 0.01 0.00 6 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c implics : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c milp : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c trivial : 0.00 0.00 19 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c dualfix : 0.00 0.00 19 195 0 0 0 0 0 0 0 0
3587.58/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c pseudoobj : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c knapsack : 0.01 0.00 15 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c setppc : 0.03 0.00 22 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c linear : 0.02 0.00 25 0 219 0 0 0 957 0 4692 5131
3587.58/3597.00 c logicor : 0.21 0.02 18 0 0 0 0 0 216 0 0 514
3587.58/3597.00 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c root node : - - - 0 - - 0 - - - - -
3587.58/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.58/3597.00 c integral : 0 0 0 0 28886 0 0 4953 0 0 4925 0 0 20392 54130
3587.58/3597.00 c knapsack : 201+ 204 5 178255 0 0 0 0 15 7 144 0 0 0 0
3587.58/3597.00 c setppc : 3045 3045 26 225384 4 0 0 4947 248492 21 189780 0 0 0 0
3587.58/3597.00 c linear : 47+ 77 5 193891 0 0 0 2 614 482 892 0 0 0 0
3587.58/3597.00 c logicor : 1780+ 5639 5 40837 0 0 0 0 2459 230 299 0 0 0 0
3587.58/3597.00 c fixedvar : 0 0 0 0 4 0 0 695 0 0 0 0 0 0 0
3587.58/3597.00 c countsols : 0 0 0 0 4 0 0 695 0 0 0 0 0 0 0
3587.58/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.58/3597.00 c integral : 574.76 0.00 0.00 0.00 574.74 0.00 0.00 0.02 0.00 0.00
3587.58/3597.00 c knapsack : 0.37 0.00 0.05 0.27 0.00 0.00 0.00 0.00 0.00 0.05
3587.58/3597.00 c setppc : 1.52 0.00 0.01 1.10 0.00 0.00 0.00 0.19 0.04 0.18
3587.58/3597.00 c linear : 0.28 0.00 0.00 0.20 0.00 0.00 0.00 0.00 0.00 0.08
3587.58/3597.00 c logicor : 0.61 0.02 0.00 0.54 0.00 0.00 0.00 0.00 0.00 0.05
3587.58/3597.00 c fixedvar : 0.02 0.00 0.00 0.00 0.00 0.00 0.00 0.02 0.00 0.00
3587.58/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.58/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.58/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.58/3597.00 c dualfix : 3 0 0 0
3587.58/3597.00 c genvbounds : 0 0 0 0
3587.58/3597.00 c nlobbt : 0 0 0 0
3587.58/3597.00 c obbt : 0 0 0 0
3587.58/3597.00 c probing : 0 0 0 0
3587.58/3597.00 c pseudoobj : 111650 0 0 0
3587.58/3597.00 c redcost : 875 0 0 145
3587.58/3597.00 c rootredcost : 7 0 0 0
3587.58/3597.00 c symmetry : 0 0 0 0
3587.58/3597.00 c vbounds : 84914 0 0 0
3587.58/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.58/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.58/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.58/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.58/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.58/3597.00 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
3587.58/3597.00 c pseudoobj : 0.14 0.00 0.00 0.13 0.00 0.00
3587.58/3597.00 c redcost : 0.07 0.00 0.00 0.06 0.00 0.00
3587.58/3597.00 c rootredcost : 0.04 0.00 0.00 0.03 0.00 0.00
3587.58/3597.00 c symmetry : 0.05 0.00 0.00 0.04 0.00 0.01
3587.58/3597.00 c vbounds : 0.06 0.00 0.00 0.05 0.00 0.01
3587.58/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.58/3597.00 c propagation : 0.01 311 169 - 1404 60.9 0 0.0 - - -
3587.58/3597.00 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.58/3597.00 c bound exceed. LP : 3.60 6040 6037 - 50582 56.1 0 0.0 6037 80.2 12346
3587.58/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.58/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.58/3597.00 c applied globally : 0.21 - - 0 22679 44.1 - - 6037 - -
3587.58/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.58/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.58/3597.00 c cut pool : 16.62 - 8758 47 - - 55594 192774 - - - - - (maximal pool size: 4494)
3587.58/3597.00 c aggregation : 32.74 0.00 2213 26 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.58/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.58/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.58/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c clique : 0.31 0.00 26 26 0 0 2 2 0 2 2 0 0
3587.58/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c gomory : 631.38 0.00 2107 15 0 0 52666 75072 0 6742 6742 0 0
3587.58/3597.00 c > gomorymi : - - - - - - - 27437 0 395 395 0 -
3587.58/3597.00 c > strongcg : - - - - - - - 47635 0 6347 6347 0 -
3587.58/3597.00 c impliedbounds : 0.36 0.00 2213 26 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c multilinear : 0.00 0.00 1112 26 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c rapidlearning : 0.15 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c rlt : 0.00 0.00 15 15 0 0 0 0 0 0 0 0 0
3587.58/3597.00 c zerohalf : 35.83 0.00 2117 25 0 0 2926 117700 0 47875 47875 0 0
3587.58/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.58/3597.00 c hybrid : 1.12 0.00 6189 24 54619 0 138155 146 0 2217
3587.58/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.58/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.58/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3587.58/3597.00 c problem variables: 0.00 - 0 0
3587.58/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.58/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.58/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.58/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.58/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.58/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.58/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.58/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.58/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.58/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.58/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.58/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.58/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.58/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.58/3597.00 c relpscost : 574.71 0.00 28882 0 0 0 4925 0 24801 54130
3587.58/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.58/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.58/3597.00 c LP solutions : 0.00 - - 4 4
3587.58/3597.00 c relax solutions : 0.00 - - 0 0
3587.58/3597.00 c pseudo solutions : 0.00 - - 0 0
3587.58/3597.00 c strong branching : 1.44 - - 84 0
3587.58/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3587.58/3597.00 c adaptivediving : 12.51 0.00 116 2 1
3587.58/3597.00 c alns : 0.13 0.00 7 0 0
3587.58/3597.00 c bound : 0.00 0.00 0 0 0
3587.58/3597.00 c clique : 0.02 0.00 1 1 1
3587.58/3597.00 c coefdiving : 0.00 0.00 0 0 0
3587.58/3597.00 c completesol : 0.00 0.00 0 0 0
3587.58/3597.00 c conflictdiving : 3.20 0.00 59 0 0
3587.58/3597.00 c crossover : 0.21 0.00 9 4 2
3587.58/3597.00 c dins : 0.00 0.00 0 0 0
3587.58/3597.00 c distributiondivin: 8.64 0.00 59 0 0
3587.58/3597.00 c dks : 0.00 0.00 0 0 0
3587.58/3597.00 c dps : 0.00 0.00 0 0 0
3587.58/3597.00 c dualval : 0.00 0.00 0 0 0
3587.58/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3587.58/3597.00 c feaspump : 0.00 0.00 0 0 0
3587.58/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3587.58/3597.00 c fracdiving : 3.32 0.00 59 0 0
3587.58/3597.00 c gins : 0.01 0.00 0 0 0
3587.58/3597.00 c guideddiving : 4.84 0.00 58 0 0
3587.58/3597.00 c indicator : 0.00 0.00 0 0 0
3587.58/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3587.58/3597.00 c intdiving : 0.00 0.00 0 0 0
3587.58/3597.00 c intshifting : 0.00 0.00 0 0 0
3587.58/3597.00 c linesearchdiving : 9.06 0.00 58 0 0
3587.58/3597.00 c localbranching : 0.00 0.00 0 0 0
3587.58/3597.00 c locks : 0.00 0.00 1 1 1
3587.58/3597.00 c lpface : 0.01 0.00 0 0 0
3587.58/3597.00 c mpec : 0.00 0.00 0 0 0
3587.58/3597.00 c multistart : 0.00 0.00 0 0 0
3587.58/3597.00 c mutation : 0.00 0.00 0 0 0
3587.58/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3587.58/3597.00 c objpscostdiving : 91.81 0.00 30 101 0
3587.58/3597.00 c octane : 0.00 0.00 0 0 0
3587.58/3597.00 c ofins : 0.00 0.00 0 0 0
3587.58/3597.00 c oneopt : 0.01 0.00 10 1 1
3587.58/3597.00 c padm : 0.00 0.00 0 0 0
3587.58/3597.00 c proximity : 0.00 0.00 0 0 0
3587.58/3597.00 c pscostdiving : 9.68 0.00 59 2 1
3587.58/3597.00 c randrounding : 0.80 0.00 4278 21 0
3587.58/3597.00 c rens : 0.00 0.00 0 0 0
3587.58/3597.00 c reoptsols : 0.00 0.00 0 0 0
3587.58/3597.00 c repair : 0.00 0.00 0 0 0
3587.58/3597.00 c rins : 1.18 0.00 1 1 1
3587.58/3597.00 c rootsoldiving : 8.89 0.00 30 30 0
3587.58/3597.00 c rounding : 53.83 0.00 2589 0 0
3587.58/3597.00 c scheduler : 0.00 0.00 0 0 0
3587.58/3597.00 c shiftandpropagate: 0.00 0.00 0 0 0
3587.58/3597.00 c shifting : 28.16 0.00 1210 0 0
3587.58/3597.00 c simplerounding : 2.51 0.00 35075 75 0
3587.58/3597.00 c subnlp : 0.00 0.00 0 0 0
3587.58/3597.00 c trivial : 0.00 0.00 4 2 2
3587.58/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3587.58/3597.00 c trustregion : 0.00 0.00 0 0 0
3587.58/3597.00 c trysol : 0.01 0.00 0 0 0
3587.58/3597.00 c twoopt : 0.00 0.00 0 0 0
3587.58/3597.00 c undercover : 0.00 0.00 0 0 0
3587.58/3597.00 c vbounds : 0.03 0.00 2 0 0
3587.58/3597.00 c veclendiving : 4.57 0.00 58 0 0
3587.58/3597.00 c zeroobj : 0.00 0.00 0 0 0
3587.58/3597.00 c zirounding : 6.36 0.00 13501 270 0
3587.58/3597.00 c other solutions : - - - 0 -
3587.58/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.58/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.58/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.58/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.58/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.58/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.58/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.58/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.58/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.58/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.58/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.58/3597.00 c primal LP : 3.06 4067 0 0.00 0.00 3.06 4067
3587.58/3597.00 c dual LP : 2023.49 58410 18990067 326.19 9384.82 0.18 192
3587.58/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3587.58/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.58/3597.00 c resolve instable : 0.00 0 0 0.00 -
3587.58/3597.00 c diving/probing LP: 171.54 6334 1145195 180.80 6675.82
3587.58/3597.00 c strong branching : 528.85 11725 5083779 433.58 9612.98 - - 3170
3587.58/3597.00 c (at root node) : - 24 22889 953.71 -
3587.58/3597.00 c conflict analysis: 1.41 1242 12346 9.94 8734.13
3587.58/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3587.58/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3587.58/3597.00 c B&B Tree :
3587.58/3597.00 c number of runs : 2
3587.58/3597.00 c nodes : 45420 (24133 internal, 21287 leaves)
3587.58/3597.00 c feasible leaves : 1
3587.58/3597.00 c infeas. leaves : 156
3587.58/3597.00 c objective leaves : 21129
3587.58/3597.00 c nodes (total) : 50410 (27065 internal, 23345 leaves)
3587.58/3597.00 c nodes left : 2784
3587.58/3597.00 c max depth : 48
3587.58/3597.00 c max depth (total): 50
3587.58/3597.00 c backtracks : 5743 (12.6%)
3587.58/3597.00 c early backtracks : 0 (0.0%)
3587.58/3597.00 c nodes exc. ref. : 0 (0.0%)
3587.58/3597.00 c delayed cutoffs : 0
3587.58/3597.00 c repropagations : 30 (26 domain reductions, 0 cutoffs)
3587.58/3597.00 c avg switch length: 3.01
3587.58/3597.00 c switching time : 6.85
3587.58/3597.00 c Root Node :
3587.58/3597.00 c First LP value : +9.77500000000000e+02
3587.58/3597.00 c First LP Iters : 1961 (56313.36 Iter/sec)
3587.58/3597.00 c First LP Time : 0.03
3587.58/3597.00 c Final Dual Bound : +1.01085288640596e+03
3587.58/3597.00 c Final Root Iters : 20681
3587.58/3597.00 c Root LP Estimate : +1.36953210756416e+03
3587.68/3597.00 c Solution :
3587.68/3597.00 c Solutions found : 599 (14 improvements)
3587.68/3597.00 c First Solution : +1.96500000000000e+03 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
3587.68/3597.00 c Gap First Sol. : infinite
3587.68/3597.00 c Gap Last Sol. : 1.81 %
3587.68/3597.00 c Primal Bound : +1.03400000000000e+03 (in run 2, after 18076 nodes, 1663.72 seconds, depth 19, found by <crossover>)
3587.68/3597.00 c Dual Bound : +1.01851678963257e+03
3587.68/3597.00 c Gap : 1.52 %
3587.68/3597.00 c Integrals : Total Avg%
3587.68/3597.00 c primal-dual : 7311.38 2.03
3587.68/3597.00 c primal-ref : - - (not evaluated)
3587.68/3597.00 c dual-ref : - - (not evaluated)
3587.68/3597.05 c Time complete (sec): 3587.747
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 (61980 MiB free)
memory of node 1: 64507 MiB (63572 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488827-1751321404/watcher-4488827-1751321404 -o /tmp/evaluation-result-4488827-1751321404/solver-4488827-1751321404 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751314195-46562 --watchdog 3760 pbsolver -f HOME/instance-4488827-1751321404.opb -t 3600 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=49515, runsolver pid=49512
[startup+0.100069 s]*
/proc/loadavg: 4.08 4.11 4.09 5/263 49516
/proc/meminfo: memFree=128562480/131250000 swapFree=33010684/33010684
[pid=49515] ppid=49512 vsize=46252 memory=35192 CPUtime=0.09 cores=1,3
/proc/49515/stat : 49515 (pbsolver) R 49512 49515 46545 0 -1 4194304 6650 0 0 0 8 1 0 0 20 0 1 0 47820650 47362048 8798 18446744073709551615 4198400 14743177 140721556439856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22949888 140721556445578 140721556445674 140721556445674 140721556451276 0
/proc/49515/statm: 11563 8798 2688 2575 0 8470 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46252 KiB
Current children cumulated memory: 35192 KiB
[startup+0.205613 s]*
/proc/loadavg: 4.08 4.11 4.09 5/263 49516
/proc/meminfo: memFree=128562480/131250000 swapFree=33010684/33010684
[pid=49515] ppid=49512 vsize=47224 memory=35960 CPUtime=0.2 cores=1,3
/proc/49515/stat : 49515 (pbsolver) R 49512 49515 46545 0 -1 4194304 6870 0 0 0 19 1 0 0 20 0 1 0 47820650 48357376 8990 18446744073709551615 4198400 14743177 140721556439856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22949888 140721556445578 140721556445674 140721556445674 140721556451276 0
/proc/49515/statm: 11806 8990 2688 2575 0 8713 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 47224 KiB
Current children cumulated memory: 35960 KiB
[startup+0.305516 s]*
/proc/loadavg: 4.08 4.11 4.09 5/263 49516
/proc/meminfo: memFree=128562480/131250000 swapFree=33010684/33010684
[pid=49515] ppid=49512 vsize=47448 memory=35960 CPUtime=0.3 cores=1,3
/proc/49515/stat : 49515 (pbsolver) R 49512 49515 46545 0 -1 4194304 6875 0 0 0 29 1 0 0 20 0 1 0 47820650 48586752 8990 18446744073709551615 4198400 14743177 140721556439856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22949888 140721556445578 140721556445674 140721556445674 140721556451276 0
/proc/49515/statm: 11862 8990 2688 2575 0 8769 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47448 KiB
Current children cumulated memory: 35960 KiB
[startup+0.700186 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 49516
/proc/meminfo: memFree=128562688/131250000 swapFree=33010684/33010684
[pid=49515] ppid=49512 vsize=56004 memory=44152 CPUtime=0.68 cores=1,3
/proc/49515/stat : 49515 (pbsolver) R 49512 49515 46545 0 -1 4194304 8922 0 0 0 67 1 0 0 20 0 1 0 47820650 57348096 11038 18446744073709551615 4198400 14743177 140721556439856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22949888 140721556445578 140721556445674 140721556445674 140721556451276 0
/proc/49515/statm: 14001 11038 2688 2575 0 10908 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 56004 KiB
Current children cumulated memory: 44152 KiB
[startup+1.50019 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 49516
/proc/meminfo: memFree=128546812/131250000 swapFree=33010684/33010684
[pid=49515] ppid=49512 vsize=68512 memory=56056 CPUtime=1.48 cores=1,3
/proc/49515/stat : 49515 (pbsolver) R 49512 49515 46545 0 -1 4194304 11905 0 0 0 147 1 0 0 20 0 1 0 47820650 70156288 14014 18446744073709551615 4198400 14743177 140721556439856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22949888 140721556445578 140721556445674 140721556445674 140721556451276 0
/proc/49515/statm: 17128 14014 2688 2575 0 14035 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 68512 KiB
Current children cumulated memory: 56056 KiB
[startup+3.10525 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 49516
/proc/meminfo: memFree=128522620/131250000 swapFree=33010684/33010684
[pid=49515] ppid=49512 vsize=89112 memory=75768 CPUtime=3.09 cores=1,3
/proc/49515/stat : 49515 (pbsolver) R 49512 49515 46545 0 -1 4194304 16821 0 0 0 306 3 0 0 20 0 1 0 47820650 91250688 18942 18446744073709551615 4198400 14743177 140721556439856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22949888 140721556445578 140721556445674 140721556445674 140721556451276 0
/proc/49515/statm: 22278 18942 2688 2575 0 19185 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 89112 KiB
Current children cumulated memory: 75768 KiB
[startup+6.30013 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 49516
/proc/meminfo: memFree=128490396/131250000 swapFree=33010684/33010684
[pid=49515] ppid=49512 vsize=119536 memory=104824 CPUtime=6.27 cores=1,3
/proc/49515/stat : 49515 (pbsolver) R 49512 49515 46545 0 -1 4194304 24095 0 0 0 623 4 0 0 20 0 1 0 47820650 122404864 26206 18446744073709551615 4198400 14743177 140721556439856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22949888 140721556445578 140721556445674 140721556445674 140721556451276 0
/proc/49515/statm: 29884 26206 2688 2575 0 26791 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 119536 KiB
Current children cumulated memory: 104824 KiB
[startup+12.7001 s]
/proc/loadavg: 4.07 4.11 4.09 5/263 49517
/proc/meminfo: memFree=128433964/131250000 swapFree=33010684/33010684
[pid=49515] ppid=49512 vsize=172144 memory=154096 CPUtime=12.65 cores=1,3
/proc/49515/stat : 49515 (pbsolver) R 49512 49515 46545 0 -1 4194304 37826 0 0 0 1259 6 0 0 20 0 1 0 47820650 176275456 38524 18446744073709551615 4198400 14743177 140721556439856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22949888 140721556445578 140721556445674 140721556445674 140721556451276 0
/proc/49515/statm: 43036 38524 2688 2575 0 39943 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 172144 KiB
Current children cumulated memory: 154096 KiB
[startup+25.5001 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 49562
/proc/meminfo: memFree=128741856/131250000 swapFree=33010684/33010684
[pid=49515] ppid=49512 vsize=173156 memory=155248 CPUtime=25.42 cores=1,3
/proc/49515/stat : 49515 (pbsolver) R 49512 49515 46545 0 -1 4194304 38089 0 0 0 2535 7 0 0 20 0 1 0 47820650 177311744 38812 18446744073709551615 4198400 14743177 140721556439856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22949888 140721556445578 140721556445674 140721556445674 140721556451276 0
/proc/49515/statm: 43289 38812 2688 2575 0 40196 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 173156 KiB
Current children cumulated memory: 155248 KiB
[startup+51.1053 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 49562
/proc/meminfo: memFree=128569800/131250000 swapFree=33010684/33010684
[pid=49515] ppid=49512 vsize=214208 memory=192104 CPUtime=50.93 cores=1,3
/proc/49515/stat : 49515 (pbsolver) R 49512 49515 46545 0 -1 4194304 47611 0 0 0 5085 8 0 0 20 0 1 0 47820650 219348992 48026 18446744073709551615 4198400 14743177 140721556439856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22949888 140721556445578 140721556445674 140721556445674 140721556451276 0
/proc/49515/statm: 53552 48026 2688 2575 0 50459 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 214208 KiB
Current children cumulated memory: 192104 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 49570
/proc/meminfo: memFree=128441964/131250000 swapFree=33010684/33010684
[pid=49515] ppid=49512 vsize=287068 memory=254532 CPUtime=101.96 cores=1,3
/proc/49515/stat : 49515 (pbsolver) R 49512 49515 46545 0 -1 4194304 64069 0 0 0 10185 11 0 0 20 0 1 0 47820650 293957632 63633 18446744073709551615 4198400 14743177 140721556439856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22949888 140721556445578 140721556445674 140721556445674 140721556451276 0
/proc/49515/statm: 71767 63633 2688 2575 0 68674 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 287068 KiB
Current children cumulated memory: 254532 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/265 49617
/proc/meminfo: memFree=128813524/131250000 swapFree=33010684/33010684
[pid=49515] ppid=49512 vsize=307224 memory=273452 CPUtime=161.77 cores=1,3
/proc/49515/stat : 49515 (pbsolver) R 49512 49515 46545 0 -1 4194304 70244 0 0 0 16165 12 0 0 20 0 1 0 47820650 314597376 68363 18446744073709551615 4198400 14743177 140721556439856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22949888 140721556445578 140721556445674 140721556445674 140721556451276 0
/proc/49515/statm: 76806 68363 2688 2575 0 73713 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 307224 KiB
Current children cumulated memory: 273452 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 49619
/proc/meminfo: memFree=128506500/131250000 swapFree=33010684/33010684
[pid=49515] ppid=49512 vsize=357332 memory=319072 CPUtime=221.59 cores=1,3
/proc/49515/stat : 49515 (pbsolver) R 49512 49515 46545 0 -1 4194304 83388 0 0 0 22145 14 0 0 20 0 1 0 47820650 365907968 79768 18446744073709551615 4198400 14743177 140721556439856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22949888 140721556445578 140721556445674 140721556445674 140721556451276 0
/proc/49515/statm: 89333 79768 2688 2575 0 86240 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 357332 KiB
Current children cumulated memory: 319072 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 49621
/proc/meminfo: memFree=128497940/131250000 swapFree=33010684/33010684
[pid=49515] ppid=49512 vsize=358760 memory=320684 CPUtime=281.4 cores=1,3
/proc/49515/stat : 49515 (pbsolver) R 49512 49515 46545 0 -1 4194304 85578 0 0 0 28126 14 0 0 20 0 1 0 47820650 367370240 80171 18446744073709551615 4198400 14743177 140721556439856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22949888 140721556445578 140721556445674 140721556445674 140721556451276 0
/proc/49515/statm: 89690 80171 2688 2575 0 86597 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 358760 KiB
Current children cumulated memory: 320684 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 49623
/proc/meminfo: memFree=128379780/131250000 swapFree=33010684/33010684
[pid=49515] ppid=49512 vsize=364016 memory=330540 CPUtime=341.22 cores=1,3
/proc/49515/stat : 49515 (pbsolver) R 49512 49515 46545 0 -1 4194304 85808 0 0 0 34108 14 0 0 20 0 1 0 47820650 372752384 82635 18446744073709551615 4198400 14743177 140721556439856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22949888 140721556445578 140721556445674 140721556445674 140721556451276 0
/proc/49515/statm: 91004 82635 2688 2575 0 87911 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 364016 KiB
Current children cumulated memory: 330540 KiB
[startup+402.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/263 49625
/proc/meminfo: memFree=128356080/131250000 swapFree=33010684/33010684
[pid=49515] ppid=49512 vsize=368976 memory=355884 CPUtime=401.08 cores=1,3
/proc/49515/stat : 49515 (pbsolver) R 49512 49515 46545 0 -1 4194304 86559 0 0 0 40093 15 0 0 20 0 1 0 47820650 377831424 88971 18446744073709551615 4198400 14743177 140721556439856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22949888 140721556445578 140721556445674 140721556445674 140721556451276 0
/proc/49515/statm: 92244 88971 2688 2575 0 89151 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 368976 KiB
Current children cumulated memory: 355884 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/262 49627
/proc/meminfo: memFree=128340728/131250000 swapFree=33010684/33010684
[pid=49515] ppid=49512 vsize=376868 memory=360016 CPUtime=460.93 cores=1,3
/proc/49515/stat : 49515 (pbsolver) R 49512 49515 46545 0 -1 4194304 87292 0 0 0 46078 15 0 0 20 0 1 0 47820650 385912832 90004 18446744073709551615 4198400 14743177 140721556439856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22949888 140721556445578 140721556445674 140721556445674 140721556451276 0
/proc/49515/statm: 94217 90004 2688 2575 0 91124 0
################
# More data... #
################
/proc/loadavg: 4.08 4.11 4.09 5/264 49772
/proc/meminfo: memFree=127369824/131250000 swapFree=33010684/33010684
[pid=49515] ppid=49512 vsize=495436 memory=485756 CPUtime=3154.27 cores=1,3
/proc/49515/stat : 49515 (pbsolver) R 49512 49515 46545 0 -1 4194304 120207 0 0 0 315405 22 0 0 20 0 1 0 47820650 507326464 121439 18446744073709551615 4198400 14743177 140721556439856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22949888 140721556445578 140721556445674 140721556445674 140721556451276 0
/proc/49515/statm: 123859 121439 2688 2575 0 120766 0
Current children cumulated CPU time: 3154.27 s
Current children cumulated vsize: 495436 KiB
Current children cumulated memory: 485756 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 49774
/proc/meminfo: memFree=127337420/131250000 swapFree=33010684/33010684
[pid=49515] ppid=49512 vsize=495436 memory=485756 CPUtime=3214.12 cores=1,3
/proc/49515/stat : 49515 (pbsolver) R 49512 49515 46545 0 -1 4194304 120243 0 0 0 321390 22 0 0 20 0 1 0 47820650 507326464 121439 18446744073709551615 4198400 14743177 140721556439856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22949888 140721556445578 140721556445674 140721556445674 140721556451276 0
/proc/49515/statm: 123859 121439 2688 2575 0 120766 0
Current children cumulated CPU time: 3214.12 s
Current children cumulated vsize: 495436 KiB
Current children cumulated memory: 485756 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 49776
/proc/meminfo: memFree=127336848/131250000 swapFree=33010684/33010684
[pid=49515] ppid=49512 vsize=495436 memory=485756 CPUtime=3273.95 cores=1,3
/proc/49515/stat : 49515 (pbsolver) R 49512 49515 46545 0 -1 4194304 120246 0 0 0 327373 22 0 0 20 0 1 0 47820650 507326464 121439 18446744073709551615 4198400 14743177 140721556439856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22949888 140721556445578 140721556445674 140721556445674 140721556451276 0
/proc/49515/statm: 123859 121439 2688 2575 0 120766 0
Current children cumulated CPU time: 3273.95 s
Current children cumulated vsize: 495436 KiB
Current children cumulated memory: 485756 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 49778
/proc/meminfo: memFree=127361860/131250000 swapFree=33010684/33010684
[pid=49515] ppid=49512 vsize=495436 memory=485756 CPUtime=3333.77 cores=1,3
/proc/49515/stat : 49515 (pbsolver) R 49512 49515 46545 0 -1 4194304 120257 0 0 0 333355 22 0 0 20 0 1 0 47820650 507326464 121439 18446744073709551615 4198400 14743177 140721556439856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22949888 140721556445578 140721556445674 140721556445674 140721556451276 0
/proc/49515/statm: 123859 121439 2688 2575 0 120766 0
Current children cumulated CPU time: 3333.77 s
Current children cumulated vsize: 495436 KiB
Current children cumulated memory: 485756 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 49780
/proc/meminfo: memFree=127362212/131250000 swapFree=33010684/33010684
[pid=49515] ppid=49512 vsize=495436 memory=485756 CPUtime=3393.58 cores=1,3
/proc/49515/stat : 49515 (pbsolver) R 49512 49515 46545 0 -1 4194304 120257 0 0 0 339336 22 0 0 20 0 1 0 47820650 507326464 121439 18446744073709551615 4198400 14743177 140721556439856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22949888 140721556445578 140721556445674 140721556445674 140721556451276 0
/proc/49515/statm: 123859 121439 2688 2575 0 120766 0
Current children cumulated CPU time: 3393.58 s
Current children cumulated vsize: 495436 KiB
Current children cumulated memory: 485756 KiB
[startup+3462.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/264 49783
/proc/meminfo: memFree=127361324/131250000 swapFree=33010684/33010684
[pid=49515] ppid=49512 vsize=495436 memory=485884 CPUtime=3453.4 cores=1,3
/proc/49515/stat : 49515 (pbsolver) R 49512 49515 46545 0 -1 4194304 120402 0 0 0 345318 22 0 0 20 0 1 0 47820650 507326464 121471 18446744073709551615 4198400 14743177 140721556439856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22949888 140721556445578 140721556445674 140721556445674 140721556451276 0
/proc/49515/statm: 123859 121471 2688 2575 0 120766 0
Current children cumulated CPU time: 3453.4 s
Current children cumulated vsize: 495436 KiB
Current children cumulated memory: 485884 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 49785
/proc/meminfo: memFree=127359688/131250000 swapFree=33010684/33010684
[pid=49515] ppid=49512 vsize=496796 memory=487412 CPUtime=3513.21 cores=1,3
/proc/49515/stat : 49515 (pbsolver) R 49512 49515 46545 0 -1 4194304 121401 0 0 0 351299 22 0 0 20 0 1 0 47820650 508719104 121853 18446744073709551615 4198400 14743177 140721556439856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22949888 140721556445578 140721556445674 140721556445674 140721556451276 0
/proc/49515/statm: 124199 121853 2688 2575 0 121106 0
Current children cumulated CPU time: 3513.21 s
Current children cumulated vsize: 496796 KiB
Current children cumulated memory: 487412 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 49789
/proc/meminfo: memFree=127351520/131250000 swapFree=33010684/33010684
[pid=49515] ppid=49512 vsize=496796 memory=487412 CPUtime=3573.02 cores=1,3
/proc/49515/stat : 49515 (pbsolver) R 49512 49515 46545 0 -1 4194304 121416 0 0 0 357280 22 0 0 20 0 1 0 47820650 508719104 121853 18446744073709551615 4198400 14743177 140721556439856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22949888 140721556445578 140721556445674 140721556445674 140721556451276 0
/proc/49515/statm: 124199 121853 2688 2575 0 121106 0
Current children cumulated CPU time: 3573.02 s
Current children cumulated vsize: 496796 KiB
Current children cumulated memory: 487412 KiB
[startup+3597.06 s]
# the end of solver process 49515 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.52 s, system=0.233279 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.09 4.09 5/264 49789
/proc/meminfo: memFree=127351520/131250000 swapFree=33010684/33010684
[pid=49515] ppid=49512 vsize=496796 memory=487412 CPUtime=3574.72 cores=1,3
/proc/49515/stat : 49515 (pbsolver) R 49512 49515 46545 0 -1 4194304 121416 0 0 0 357450 22 0 0 20 0 1 0 47820650 508719104 121853 18446744073709551615 4198400 14743177 140721556439856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22949888 140721556445578 140721556445674 140721556445674 140721556451276 0
/proc/49515/statm: 124199 121853 2688 2575 0 121106 0
Current children cumulated CPU time: 3574.72 s
Current children cumulated vsize: 496796 KiB
Current children cumulated memory: 487412 KiB
[startup+3590.4 s]
/proc/loadavg: 4.00 4.07 4.08 4/258 49820
/proc/meminfo: memFree=127915140/131250000 swapFree=33010684/33010684
[pid=49515] ppid=49512 vsize=496796 memory=487540 CPUtime=3581.1 cores=1,3
/proc/49515/stat : 49515 (pbsolver) R 49512 49515 46545 0 -1 4194304 121425 0 0 0 358088 22 0 0 20 0 1 0 47820650 508719104 121885 18446744073709551615 4198400 14743177 140721556439856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22949888 140721556445578 140721556445674 140721556445674 140721556451276 0
/proc/49515/statm: 124199 121885 2688 2575 0 121106 0
Current children cumulated CPU time: 3581.1 s
Current children cumulated vsize: 496796 KiB
Current children cumulated memory: 487540 KiB
[startup+3593.6 s]
/proc/loadavg: 4.00 4.07 4.08 4/258 49820
/proc/meminfo: memFree=127915140/131250000 swapFree=33010684/33010684
[pid=49515] ppid=49512 vsize=496796 memory=487540 CPUtime=3584.29 cores=1,3
/proc/49515/stat : 49515 (pbsolver) R 49512 49515 46545 0 -1 4194304 121425 0 0 0 358407 22 0 0 20 0 1 0 47820650 508719104 121885 18446744073709551615 4198400 14743177 140721556439856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22949888 140721556445578 140721556445674 140721556445674 140721556451276 0
/proc/49515/statm: 124199 121885 2688 2575 0 121106 0
Current children cumulated CPU time: 3584.29 s
Current children cumulated vsize: 496796 KiB
Current children cumulated memory: 487540 KiB
[startup+3595.2 s]
/proc/loadavg: 3.92 4.05 4.08 4/258 49820
/proc/meminfo: memFree=127915140/131250000 swapFree=33010684/33010684
[pid=49515] ppid=49512 vsize=496796 memory=487540 CPUtime=3585.88 cores=1,3
/proc/49515/stat : 49515 (pbsolver) R 49512 49515 46545 0 -1 4194304 121425 0 0 0 358566 22 0 0 20 0 1 0 47820650 508719104 121885 18446744073709551615 4198400 14743177 140721556439856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22949888 140721556445578 140721556445674 140721556445674 140721556451276 0
/proc/49515/statm: 124199 121885 2688 2575 0 121106 0
Current children cumulated CPU time: 3585.88 s
Current children cumulated vsize: 496796 KiB
Current children cumulated memory: 487540 KiB
[startup+3596 s]*
/proc/loadavg: 3.92 4.05 4.08 4/258 49820
/proc/meminfo: memFree=127915140/131250000 swapFree=33010684/33010684
[pid=49515] ppid=49512 vsize=496796 memory=487540 CPUtime=3586.69 cores=1,3
/proc/49515/stat : 49515 (pbsolver) R 49512 49515 46545 0 -1 4194304 121425 0 0 0 358647 22 0 0 20 0 1 0 47820650 508719104 121885 18446744073709551615 4198400 14743177 140721556439856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22949888 140721556445578 140721556445674 140721556445674 140721556451276 0
/proc/49515/statm: 124199 121885 2688 2575 0 121106 0
Current children cumulated CPU time: 3586.69 s
Current children cumulated vsize: 496796 KiB
Current children cumulated memory: 487540 KiB
[startup+3596.8 s]
/proc/loadavg: 3.92 4.05 4.08 4/258 49820
/proc/meminfo: memFree=127915140/131250000 swapFree=33010684/33010684
[pid=49515] ppid=49512 vsize=496796 memory=487540 CPUtime=3587.48 cores=1,3
/proc/49515/stat : 49515 (pbsolver) R 49512 49515 46545 0 -1 4194304 121425 0 0 0 358726 22 0 0 20 0 1 0 47820650 508719104 121885 18446744073709551615 4198400 14743177 140721556439856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22949888 140721556445578 140721556445674 140721556445674 140721556451276 0
/proc/49515/statm: 124199 121885 2688 2575 0 121106 0
Current children cumulated CPU time: 3587.48 s
Current children cumulated vsize: 496796 KiB
Current children cumulated memory: 487540 KiB
[startup+3597 s]*
/proc/loadavg: 3.92 4.05 4.08 4/258 49820
/proc/meminfo: memFree=127915140/131250000 swapFree=33010684/33010684
[pid=49515] ppid=49512 vsize=496796 memory=487540 CPUtime=3587.68 cores=1,3
/proc/49515/stat : 49515 (pbsolver) R 49512 49515 46545 0 -1 4194304 121425 0 0 0 358746 22 0 0 20 0 1 0 47820650 508719104 121885 18446744073709551615 4198400 14743177 140721556439856 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22949888 140721556445578 140721556445674 140721556445674 140721556451276 0
/proc/49515/statm: 124199 121885 2688 2575 0 121106 0
Current children cumulated CPU time: 3587.68 s
Current children cumulated vsize: 496796 KiB
Current children cumulated memory: 487540 KiB
Child status: 0
Real time (s): 3597.06
CPU time (s): 3587.75
CPU user time (s): 3587.52
CPU system time (s): 0.233279
CPU usage (%): 99.7411
Max. virtual memory (cumulated for all children) (KiB): 496796
Max. memory (cumulated for all children) (KiB): 487540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.52
system time used= 0.233279
maximum resident set size= 489468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121429
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= 42
involuntary context switches= 5554
# summary of solver processes directly reported to runsolver:
# pid: 49515
# total CPU time (s): 3587.75
# total CPU user time (s): 3587.52
# total CPU system time (s): 0.233279
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.01447 second user time and 14.0869 second system time
The end