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-4488781-1751321393.opb>
0.00/0.01 c original problem has 1963 variables (1963 bin, 0 int, 0 cont) and 4000 constraints
0.00/0.01 c problem read in 0.007 seconds
0.00/0.01 o 1963
0.00/0.01 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 1.963000e+03
0.00/0.01 c presolving:
0.00/0.02 c (round 1, fast) 159 del vars, 159 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3840 clqs
0.00/0.02 c (round 2, fast) 323 del vars, 764 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3235 clqs
0.00/0.02 c (round 3, fast) 373 del vars, 857 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3142 clqs
0.00/0.02 c (round 4, fast) 408 del vars, 952 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3047 clqs
0.00/0.02 c (round 5, fast) 424 del vars, 1000 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2999 clqs
0.00/0.02 c (round 6, fast) 435 del vars, 1031 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2968 clqs
0.00/0.02 c (round 7, fast) 441 del vars, 1049 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2950 clqs
0.00/0.02 c (round 8, fast) 444 del vars, 1053 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2946 clqs
0.00/0.02 c (round 9, fast) 447 del vars, 1065 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2934 clqs
0.00/0.02 c (round 10, fast) 448 del vars, 1070 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2929 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) 448 del vars, 1071 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2929 upgd conss, 0 impls, 2929 clqs
0.00/0.05 c (0.1s) probing: 51/1515 (3.4%) - 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.05 c (0.1s) no symmetry present (symcode time: 0.00)
0.00/0.05 c presolving (12 rounds: 12 fast, 2 medium, 2 exhaustive):
0.00/0.05 c 448 deleted vars, 1071 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 0 implications, 2929 cliques
0.00/0.05 c presolved problem has 1515 variables (1515 bin, 0 int, 0 cont) and 2929 constraints
0.00/0.05 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.00/0.05 c 2929 constraints of type <setppc>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.04
0.00/0.05 c
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c
0.00/0.05 c # SCIP version 10.0.0
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.05 c limits/time = 3596.998498
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.05 c limits/memory = 27900
0.00/0.05 c
0.00/0.05 c # belongs reading time to solving time?
0.00/0.05 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c timing/reading = TRUE
0.00/0.05 c
0.00/0.05 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.05 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.00/0.05 c reading/opbreader/maxintsize = 47
0.00/0.05 c
0.00/0.05 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.00/0.05 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.00/0.05 c propagating/genvbounds/timingmask = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c
0.00/0.06 o 1735
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 |1515 |2929 | 0 | 0 | 0 | 0 | 0 | 2.200000e+02 | 1.735000e+03 | 688.64%| unknown
0.00/0.07 o 1193
0.00/0.07 c p 0.1s| 1 | 0 | 0 | - | clique| 0 |1515 |2929 |2929 | 0 | 0 | 0 | 0 | 2.200000e+02 | 1.193000e+03 | 442.27%| unknown
0.00/0.08 o 1090
0.00/0.08 c p 0.1s| 1 | 0 | 0 | - | locks| 0 |1515 |2929 |2929 | 0 | 0 | 0 | 0 | 2.200000e+02 | 1.090000e+03 | 395.45%| unknown
0.00/0.09 o 1085
0.00/0.09 c i 0.1s| 1 | 0 | 0 | - | oneopt| 0 |1515 |2929 |2929 | 0 | 0 | 0 | 0 | 2.200000e+02 | 1.085000e+03 | 393.18%| unknown
0.10/0.12 c 0.1s| 1 | 0 | 1891 | - | 24M | 0 |1515 |2929 |2929 | 0 | 0 | 0 | 0 | 9.775000e+02 | 1.085000e+03 | 11.00%| unknown
0.30/0.35 c 0.4s| 1 | 0 | 2459 | - | 27M | 0 |1515 |2929 |2954 | 25 | 1 | 0 | 0 | 9.885000e+02 | 1.085000e+03 | 9.76%| unknown
0.59/0.61 c 0.6s| 1 | 0 | 3124 | - | 28M | 0 |1515 |2929 |2978 | 49 | 2 | 0 | 0 | 9.940000e+02 | 1.085000e+03 | 9.15%| unknown
0.89/0.97 c 1.0s| 1 | 0 | 4505 | - | 29M | 0 |1515 |2929 |3000 | 71 | 3 | 0 | 0 | 9.972500e+02 | 1.085000e+03 | 8.80%| unknown
1.59/1.62 c 1.6s| 1 | 0 | 5821 | - | 34M | 0 |1515 |2929 |3018 | 89 | 4 | 0 | 0 | 1.000096e+03 | 1.085000e+03 | 8.49%| unknown
2.19/2.28 c 2.3s| 1 | 0 | 7546 | - | 48M | 0 |1515 |2929 |3039 | 110 | 5 | 0 | 0 | 1.002505e+03 | 1.085000e+03 | 8.23%| unknown
3.38/3.48 c 3.5s| 1 | 0 | 8121 | - | 65M | 0 |1515 |2929 |3043 | 114 | 6 | 0 | 0 | 1.003033e+03 | 1.085000e+03 | 8.17%| unknown
4.78/4.89 c 4.9s| 1 | 0 | 8564 | - | 85M | 0 |1515 |2929 |3045 | 116 | 7 | 0 | 0 | 1.003170e+03 | 1.085000e+03 | 8.16%| unknown
6.37/6.44 c 6.4s| 1 | 0 | 9636 | - | 103M | 0 |1515 |2929 |3050 | 121 | 8 | 0 | 0 | 1.003430e+03 | 1.085000e+03 | 8.13%| unknown
7.87/7.91 c 7.9s| 1 | 0 | 10301 | - | 121M | 0 |1515 |2929 |3053 | 124 | 9 | 0 | 0 | 1.003552e+03 | 1.085000e+03 | 8.12%| unknown
9.27/9.37 c 9.4s| 1 | 0 | 11069 | - | 137M | 0 |1515 |2929 |3056 | 127 | 10 | 0 | 0 | 1.003674e+03 | 1.085000e+03 | 8.10%| unknown
9.46/9.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.46/9.55 c 9.6s| 1 | 0 | 11173 | - | 137M | 0 |1515 |2929 |3058 | 129 | 11 | 0 | 0 | 1.003676e+03 | 1.085000e+03 | 8.10%| unknown
9.66/9.78 c 9.8s| 1 | 0 | 11497 | - | 137M | 0 |1515 |2929 |3060 | 131 | 12 | 0 | 0 | 1.003697e+03 | 1.085000e+03 | 8.10%| unknown
9.97/10.01 c 10.0s| 1 | 0 | 11591 | - | 138M | 0 |1515 |2929 |3063 | 134 | 13 | 0 | 0 | 1.003702e+03 | 1.085000e+03 | 8.10%| unknown
10.16/10.25 c 10.3s| 1 | 0 | 11654 | - | 138M | 0 |1515 |2929 |3065 | 136 | 14 | 0 | 0 | 1.003703e+03 | 1.085000e+03 | 8.10%| unknown
10.36/10.49 c 10.5s| 1 | 0 | 11661 | - | 139M | 0 |1515 |2929 |3067 | 138 | 15 | 0 | 0 | 1.003703e+03 | 1.085000e+03 | 8.10%| unknown
10.66/10.76 c 10.8s| 1 | 0 | 11691 | - | 139M | 0 |1515 |2929 |3069 | 140 | 16 | 0 | 0 | 1.003703e+03 | 1.085000e+03 | 8.10%| unknown
10.96/11.05 c 11.1s| 1 | 0 | 11715 | - | 140M | 0 |1515 |2929 |3059 | 142 | 17 | 0 | 0 | 1.003703e+03 | 1.085000e+03 | 8.10%| unknown
11.25/11.35 c 11.3s| 1 | 0 | 11757 | - | 140M | 0 |1515 |2929 |3061 | 144 | 18 | 0 | 0 | 1.003703e+03 | 1.085000e+03 | 8.10%| unknown
11.55/11.66 c 11.7s| 1 | 0 | 11765 | - | 140M | 0 |1515 |2929 |3063 | 146 | 19 | 0 | 0 | 1.003703e+03 | 1.085000e+03 | 8.10%| unknown
11.96/12.03 c 12.0s| 1 | 0 | 12268 | - | 140M | 0 |1515 |2929 |3065 | 148 | 20 | 0 | 0 | 1.003746e+03 | 1.085000e+03 | 8.10%| unknown
17.74/17.81 c 17.8s| 1 | 2 | 12271 | - | 140M | 0 |1515 |2929 |3065 | 148 | 20 | 0 | 43 | 1.004149e+03 | 1.085000e+03 | 8.05%| unknown
33.10/33.25 o 1061
33.10/33.25 c d33.3s| 15 | 16 | 26436 |1012.0 |pscostdi| 14 |1515 |2929 |3058 | 0 | 1 | 0 | 197 | 1.004149e+03 | 1.061000e+03 | 5.66%| unknown
33.10/33.26 o 1059
33.10/33.26 c d33.3s| 15 | 16 | 26445 |1012.6 |pscostdi| 14 |1515 |2929 |3058 | 0 | 1 | 0 | 197 | 1.004149e+03 | 1.059000e+03 | 5.46%| unknown
37.30/37.44 o 1055
37.30/37.44 c d37.4s| 27 | 28 | 38649 |1014.7 |adaptive| 14 |1515 |2929 |3068 | 0 | 1 | 0 | 211 | 1.004149e+03 | 1.055000e+03 | 5.06%| unknown
45.97/46.15 c 46.2s| 100 | 73 | 72801 | 611.4 | 176M | 40 |1515 |2964 |3072 | 232 | 0 | 35 | 226 | 1.004149e+03 | 1.055000e+03 | 5.06%| unknown
52.66/52.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
52.66/52.84 c 52.8s| 200 | 85 | 95587 | 418.7 | 190M | 40 |1515 |2985 |3078 | 279 | 0 | 56 | 243 | 1.004739e+03 | 1.055000e+03 | 5.00%| unknown
57.74/57.94 o 1050
57.74/57.94 c o57.9s| 225 | 96 |127464 | 514.3 |objpscos| 40 |1515 |3000 |3058 | 285 | 1 | 71 | 243 | 1.006000e+03 | 1.050000e+03 | 4.37%| unknown
60.14/60.35 c 60.4s| 300 | 101 |141041 | 430.7 | 192M | 40 |1515 |3021 |3086 | 330 | 0 | 92 | 265 | 1.006000e+03 | 1.050000e+03 | 4.37%| unknown
66.43/66.65 c 66.7s| 400 | 121 |172740 | 402.2 | 192M | 40 |1515 |3152 |3088 | 372 | 0 | 223 | 312 | 1.007273e+03 | 1.050000e+03 | 4.24%| unknown
68.12/68.37 o 1048
68.12/68.38 c L68.4s| 425 | 127 |186443 | 410.8 |crossove| 40 |1515 |3197 |3083 | 388 | 1 | 268 | 312 | 1.007336e+03 | 1.048000e+03 | 4.04%| unknown
68.22/68.49 o 1047
68.22/68.49 c i68.5s| 426 | 127 |187405 | 412.1 | oneopt| 40 |1515 |3197 |3079 | 388 | 1 | 268 | 312 | 1.007336e+03 | 1.047000e+03 | 3.94%| unknown
75.70/76.00 c 76.0s| 500 | 157 |235947 | 448.3 | 193M | 40 |1515 |3254 |3077 | 417 | 1 | 325 | 327 | 1.007660e+03 | 1.047000e+03 | 3.90%| unknown
98.45/98.79 c 98.8s| 600 | 201 |308061 | 493.8 | 200M | 40 |1515 |3424 |3090 | 653 | 1 | 495 | 381 | 1.009252e+03 | 1.047000e+03 | 3.74%| unknown
105.73/106.01 c 106s| 700 | 211 |337273 | 465.0 | 201M | 40 |1515 |3464 |3101 | 738 | 1 | 539 | 395 | 1.009327e+03 | 1.047000e+03 | 3.73%| unknown
114.81/115.12 c 115s| 800 | 255 |393281 | 476.9 | 202M | 40 |1515 |3549 |3099 | 798 | 0 | 636 | 430 | 1.009449e+03 | 1.047000e+03 | 3.72%| unknown
128.27/128.67 c 129s| 900 | 291 |452274 | 489.4 | 204M | 40 |1515 |3627 |3100 | 972 | 0 | 722 | 458 | 1.009925e+03 | 1.047000e+03 | 3.67%| unknown
136.15/136.55 c 137s| 1000 | 301 |483092 | 471.3 | 206M | 40 |1515 |3632 |3107 |1067 | 1 | 729 | 473 | 1.010015e+03 | 1.047000e+03 | 3.66%| unknown
138.95/139.35 c 139s| 1100 | 305 |500254 | 444.0 | 206M | 40 |1515 |3720 |3104 |1094 | 1 | 840 | 499 | 1.010015e+03 | 1.047000e+03 | 3.66%| unknown
141.54/141.92 c 142s| 1200 | 305 |513314 | 417.9 | 206M | 40 |1515 |3742 |3107 |1113 | 1 | 867 | 520 | 1.010015e+03 | 1.047000e+03 | 3.66%| unknown
148.63/149.02 c 149s| 1300 | 313 |541866 | 407.7 | 207M | 40 |1515 |3762 |3102 |1198 | 1 | 891 | 535 | 1.010432e+03 | 1.047000e+03 | 3.62%| unknown
151.02/151.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
151.02/151.43 c 151s| 1400 | 313 |555589 | 388.4 | 207M | 40 |1515 |3778 |3102 |1223 | 0 | 913 | 555 | 1.010432e+03 | 1.047000e+03 | 3.62%| unknown
158.20/158.62 c 159s| 1500 | 317 |579370 | 378.3 | 207M | 40 |1515 |3778 |3112 |1333 | 1 | 913 | 585 | 1.010446e+03 | 1.047000e+03 | 3.62%| unknown
160.19/160.66 c 161s| 1600 | 313 |596506 | 365.4 | 207M | 40 |1515 |3778 |3105 |1365 | 0 | 913 | 585 | 1.010446e+03 | 1.047000e+03 | 3.62%| unknown
162.29/162.76 c 163s| 1700 | 309 |610446 | 352.1 | 207M | 40 |1515 |3778 |3095 |1372 | 0 | 913 | 600 | 1.010446e+03 | 1.047000e+03 | 3.62%| unknown
166.58/167.02 c 167s| 1800 | 311 |634276 | 345.8 | 207M | 40 |1515 |3817 |3118 |1427 | 0 | 960 | 640 | 1.010446e+03 | 1.047000e+03 | 3.62%| unknown
169.18/169.62 c 170s| 1900 | 311 |650615 | 336.1 | 207M | 40 |1515 |3850 |3119 |1451 | 2 | 996 | 660 | 1.010446e+03 | 1.047000e+03 | 3.62%| unknown
175.36/175.84 o 1045
175.36/175.84 c d 176s| 1945 | 313 |671238 | 339.0 |pscostdi| 40 |1515 |3850 |3145 | 0 | 1 | 996 | 675 | 1.010450e+03 | 1.045000e+03 | 3.42%| unknown
175.36/175.86 o 1044
175.36/175.86 c i 176s| 1946 | 312 |671252 | 338.8 | oneopt| 40 |1515 |3850 |3140 |1520 | 0 | 996 | 675 | 1.010450e+03 | 1.044000e+03 | 3.32%| unknown
176.36/176.87 c 177s| 2000 | 312 |680279 | 334.2 | 208M | 40 |1515 |3850 |3126 |1535 | 0 | 996 | 675 | 1.010450e+03 | 1.044000e+03 | 3.32%| unknown
186.73/187.21 c 187s| 2100 | 320 |715424 | 335.0 | 209M | 40 |1515 |3860 |3134 |1695 | 0 |1008 | 690 | 1.010460e+03 | 1.044000e+03 | 3.32%| unknown
194.31/194.84 c 195s| 2200 | 332 |749222 | 335.1 | 211M | 40 |1515 |3860 |3137 |1782 | 1 |1010 | 720 | 1.010500e+03 | 1.044000e+03 | 3.32%| unknown
200.79/201.33 c 201s| 2300 | 336 |776460 | 332.4 | 211M | 40 |1515 |3860 |3144 |1893 | 1 |1010 | 735 | 1.010500e+03 | 1.044000e+03 | 3.32%| unknown
209.27/209.87 c 210s| 2400 | 370 |825648 | 339.0 | 213M | 40 |1515 |3876 |3150 |2003 | 1 |1033 | 763 | 1.010923e+03 | 1.044000e+03 | 3.27%| unknown
224.34/224.92 c 225s| 2500 | 392 |902716 | 356.3 | 218M | 40 |1515 |3876 |3153 |2211 | 1 |1035 | 791 | 1.011000e+03 | 1.044000e+03 | 3.26%| unknown
228.33/229.00 c 229s| 2600 | 398 |926461 | 351.7 | 218M | 40 |1515 |3903 |3161 |2233 | 1 |1069 | 824 | 1.011045e+03 | 1.044000e+03 | 3.26%| unknown
231.42/232.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
231.42/232.01 c 232s| 2700 | 400 |945798 | 345.9 | 218M | 40 |1515 |3937 |3157 |2248 | 0 |1113 | 848 | 1.011045e+03 | 1.044000e+03 | 3.26%| unknown
234.42/235.03 c 235s| 2800 | 396 |963248 | 339.8 | 219M | 40 |1515 |3982 |3153 |2286 | 1 |1170 | 875 | 1.011045e+03 | 1.044000e+03 | 3.26%| unknown
242.19/242.87 c 243s| 2900 | 404 |991758 | 337.9 | 220M | 40 |1515 |3982 |3155 |2416 | 0 |1171 | 902 | 1.011093e+03 | 1.044000e+03 | 3.25%| unknown
250.97/251.61 c 252s| 3000 | 420 | 1028k| 338.9 | 220M | 40 |1515 |4029 |3160 |2548 | 1 |1231 | 922 | 1.011417e+03 | 1.044000e+03 | 3.22%| unknown
254.56/255.20 c 255s| 3100 | 422 | 1047k| 334.2 | 220M | 40 |1515 |4045 |3159 |2569 | 1 |1251 | 954 | 1.011417e+03 | 1.044000e+03 | 3.22%| unknown
261.95/262.60 c 263s| 3200 | 436 | 1085k| 335.4 | 221M | 40 |1515 |4100 |3158 |2673 | 1 |1318 | 983 | 1.011564e+03 | 1.044000e+03 | 3.21%| unknown
268.83/269.51 c 270s| 3300 | 438 | 1110k| 332.8 | 222M | 40 |1515 |4117 |3161 |2767 | 0 |1337 | 996 | 1.011672e+03 | 1.044000e+03 | 3.20%| unknown
275.11/275.80 c 276s| 3400 | 448 | 1143k| 332.9 | 222M | 40 |1515 |4152 |3163 |2890 | 0 |1381 |1026 | 1.011734e+03 | 1.044000e+03 | 3.19%| unknown
295.37/296.14 c 296s| 3500 | 466 | 1206k| 341.4 | 231M | 42 |1515 |4209 |3175 |3379 | 0 |1448 |1069 | 1.012003e+03 | 1.044000e+03 | 3.16%| unknown
300.45/301.21 c 301s| 3600 | 468 | 1237k| 340.5 | 236M | 42 |1515 |4209 |3180 |3500 | 1 |1450 |1082 | 1.012057e+03 | 1.044000e+03 | 3.16%| unknown
309.43/310.27 c 310s| 3700 | 492 | 1280k| 342.8 | 243M | 42 |1515 |4216 |3197 |3670 | 1 |1458 |1121 | 1.012064e+03 | 1.044000e+03 | 3.16%| unknown
323.69/324.58 c 325s| 3800 | 506 | 1327k| 346.1 | 252M | 42 |1515 |4230 |3202 |3999 | 0 |1477 |1146 | 1.012175e+03 | 1.044000e+03 | 3.14%| unknown
327.68/328.54 c 329s| 3900 | 522 | 1353k| 344.0 | 252M | 42 |1515 |4249 |3195 |4001 | 0 |1501 |1166 | 1.012175e+03 | 1.044000e+03 | 3.14%| unknown
336.27/337.12 c 337s| 4000 | 538 | 1391k| 345.0 | 253M | 42 |1515 |4249 |3201 |4173 | 0 |1501 |1191 | 1.012250e+03 | 1.044000e+03 | 3.14%| unknown
338.76/339.64 c 340s| 4100 | 536 | 1407k| 340.5 | 253M | 42 |1515 |4249 |3202 |4173 | 1 |1501 |1203 | 1.012250e+03 | 1.044000e+03 | 3.14%| unknown
349.33/350.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
349.33/350.26 c 350s| 4200 | 542 | 1464k| 345.9 | 253M | 42 |1515 |4249 |3207 |4334 | 1 |1501 |1226 | 1.012339e+03 | 1.044000e+03 | 3.13%| unknown
365.59/366.55 c 367s| 4300 | 550 | 1519k| 350.6 | 256M | 42 |1515 |4307 |3199 |4769 | 0 |1573 |1267 | 1.012454e+03 | 1.044000e+03 | 3.12%| unknown
373.87/374.84 c 375s| 4400 | 556 | 1559k| 351.7 | 256M | 42 |1515 |4357 |3216 |5011 | 0 |1634 |1296 | 1.012518e+03 | 1.044000e+03 | 3.11%| unknown
381.45/382.44 c 382s| 4500 | 560 | 1591k| 351.0 | 258M | 42 |1515 |4377 |3211 |5226 | 0 |1657 |1308 | 1.012527e+03 | 1.044000e+03 | 3.11%| unknown
393.44/394.48 c 394s| 4600 | 570 | 1636k| 353.1 | 260M | 42 |1515 |4388 |3209 |5554 | 1 |1671 |1332 | 1.012555e+03 | 1.044000e+03 | 3.11%| unknown
405.81/406.84 c 407s| 4700 | 576 | 1681k| 355.1 | 261M | 42 |1515 |4393 |3206 |5884 | 0 |1679 |1355 | 1.012582e+03 | 1.044000e+03 | 3.10%| unknown
409.80/410.80 c 411s| 4800 | 572 | 1707k| 353.3 | 261M | 42 |1515 |4424 |3201 |5933 | 0 |1718 |1374 | 1.012599e+03 | 1.044000e+03 | 3.10%| unknown
417.68/418.75 c 419s| 4900 | 576 | 1741k| 353.0 | 262M | 42 |1515 |4495 |3220 |6053 | 1 |1806 |1409 | 1.012636e+03 | 1.044000e+03 | 3.10%| unknown
428.25/429.39 c 429s| 5000 | 612 | 1793k| 356.3 | 263M | 42 |1515 |4535 |3243 |6227 | 0 |1859 |1441 | 1.012684e+03 | 1.044000e+03 | 3.09%| unknown
431.84/432.99 c 433s| 5100 | 616 | 1816k| 353.9 | 263M | 42 |1515 |4616 |3243 |6251 | 1 |1960 |1476 | 1.012684e+03 | 1.044000e+03 | 3.09%| unknown
453.19/454.39 c 454s| 5200 | 628 | 1904k| 364.0 | 265M | 42 |1515 |4743 |3243 |6665 | 0 |2120 |1543 | 1.012891e+03 | 1.044000e+03 | 3.07%| unknown
460.17/461.39 c 461s| 5300 | 638 | 1945k| 364.9 | 266M | 42 |1515 |4743 |3245 |6791 | 1 |2120 |1565 | 1.012923e+03 | 1.044000e+03 | 3.07%| unknown
463.37/464.58 c 465s| 5400 | 640 | 1965k| 361.8 | 267M | 42 |1515 |4857 |3248 |6802 | 0 |2250 |1597 | 1.012923e+03 | 1.044000e+03 | 3.07%| unknown
482.62/483.88 c 484s| 5500 | 654 | 2027k| 366.4 | 275M | 42 |1515 |4956 |3251 |7257 | 1 |2375 |1649 | 1.012990e+03 | 1.044000e+03 | 3.06%| unknown
497.48/498.71 c 499s| 5600 | 678 | 2088k| 370.9 | 281M | 42 |1515 |5005 |3255 |7666 | 0 |2433 |1687 | 1.013100e+03 | 1.044000e+03 | 3.05%| unknown
502.28/503.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
502.28/503.57 c 504s| 5700 | 674 | 2108k| 367.8 | 286M | 42 |1515 |5119 |3253 |7696 | 1 |2574 |1732 | 1.013100e+03 | 1.044000e+03 | 3.05%| unknown
510.15/511.42 c 511s| 5800 | 684 | 2146k| 368.0 | 301M | 42 |1515 |5254 |3271 |7749 | 1 |2743 |1791 | 1.013361e+03 | 1.044000e+03 | 3.02%| unknown
532.00/533.35 c 533s| 5900 | 694 | 2208k| 372.3 | 341M | 44 |1515 |5340 |3263 |8269 | 0 |2859 |1853 | 1.013481e+03 | 1.044000e+03 | 3.01%| unknown
544.27/545.68 c 546s| 6000 | 706 | 2261k| 375.0 | 342M | 44 |1515 |5435 |3269 |8545 | 1 |2992 |1906 | 1.013643e+03 | 1.044000e+03 | 2.99%| unknown
554.84/556.25 c 556s| 6100 | 712 | 2306k| 376.1 | 343M | 44 |1515 |5575 |3247 |8866 | 1 |3168 |1962 | 1.013662e+03 | 1.044000e+03 | 2.99%| unknown
559.43/560.88 c 561s| 6200 | 708 | 2334k| 374.6 | 343M | 44 |1515 |5690 |3271 |8974 | 0 |3312 |2003 | 1.013662e+03 | 1.044000e+03 | 2.99%| unknown
573.00/574.46 c 574s| 6300 | 718 | 2387k| 377.0 | 339M | 44 |1515 |5817 |3250 |9306 | 1 |3472 |2056 | 1.013785e+03 | 1.044000e+03 | 2.98%| unknown
595.65/597.19 c 597s| 6400 | 742 | 2460k| 382.5 | 341M | 44 |1515 |5839 |3267 |9957 | 2 |3519 |2111 | 1.013962e+03 | 1.044000e+03 | 2.96%| unknown
600.93/602.40 c 602s| 6500 | 742 | 2491k| 381.6 | 341M | 44 |1515 |5980 |3257 | 10k| 0 |3697 |2173 | 1.013962e+03 | 1.044000e+03 | 2.96%| unknown
605.42/606.90 c 607s| 6600 | 744 | 2518k| 379.8 | 341M | 44 |1515 |6093 |3270 | 10k| 0 |3834 |2218 | 1.013962e+03 | 1.044000e+03 | 2.96%| unknown
614.40/615.97 c 616s| 6700 | 750 | 2553k| 379.4 | 342M | 44 |1515 |6184 |3273 | 10k| 0 |3958 |2258 | 1.013975e+03 | 1.044000e+03 | 2.96%| unknown
627.67/629.21 c 629s| 6800 | 760 | 2606k| 381.6 | 341M | 44 |1515 |6297 |3272 | 10k| 0 |4115 |2309 | 1.014088e+03 | 1.044000e+03 | 2.95%| unknown
637.84/639.47 c 639s| 6900 | 764 | 2643k| 381.4 | 341M | 44 |1515 |6488 |3274 | 10k| 0 |4365 |2413 | 1.014118e+03 | 1.044000e+03 | 2.95%| unknown
645.13/646.79 c 647s| 7000 | 768 | 2681k| 381.4 | 342M | 44 |1515 |6542 |3276 | 10k| 0 |4447 |2434 | 1.014129e+03 | 1.044000e+03 | 2.95%| unknown
652.11/653.71 c 654s| 7100 | 774 | 2720k| 381.4 | 343M | 44 |1515 |6563 |3279 | 11k| 2 |4482 |2441 | 1.014162e+03 | 1.044000e+03 | 2.94%| unknown
662.29/663.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
662.29/663.91 c 664s| 7200 | 784 | 2765k| 382.5 | 345M | 44 |1515 |6559 |3282 | 11k| 1 |4492 |2442 | 1.014200e+03 | 1.044000e+03 | 2.94%| unknown
669.17/670.84 c 671s| 7300 | 790 | 2806k| 382.9 | 345M | 44 |1515 |6656 |3282 | 11k| 0 |4617 |2461 | 1.014213e+03 | 1.044000e+03 | 2.94%| unknown
691.22/692.95 c 693s| 7400 | 802 | 2909k| 391.6 | 346M | 44 |1515 |6725 |3281 | 12k| 0 |4712 |2481 | 1.014327e+03 | 1.044000e+03 | 2.93%| unknown
702.09/703.81 c 704s| 7500 | 816 | 2961k| 393.3 | 347M | 44 |1515 |6745 |3281 | 12k| 1 |4751 |2487 | 1.014342e+03 | 1.044000e+03 | 2.92%| unknown
707.28/709.09 c 709s| 7600 | 816 | 2991k| 392.0 | 347M | 44 |1515 |6804 |3284 | 12k| 1 |4824 |2511 | 1.014342e+03 | 1.044000e+03 | 2.92%| unknown
724.04/725.85 c 726s| 7700 | 824 | 3046k| 394.1 | 357M | 46 |1515 |6844 |3263 | 12k| 1 |4889 |2535 | 1.014344e+03 | 1.044000e+03 | 2.92%| unknown
730.83/732.66 c 733s| 7800 | 828 | 3081k| 393.5 | 357M | 46 |1515 |6838 |3286 | 12k| 0 |4891 |2535 | 1.014347e+03 | 1.044000e+03 | 2.92%| unknown
738.11/739.98 c 740s| 7900 | 828 | 3121k| 393.6 | 357M | 46 |1515 |6867 |3279 | 13k| 0 |4930 |2540 | 1.014361e+03 | 1.044000e+03 | 2.92%| unknown
745.20/747.08 c 747s| 8000 | 832 | 3162k| 393.8 | 357M | 46 |1515 |6898 |3283 | 13k| 0 |4982 |2552 | 1.014383e+03 | 1.044000e+03 | 2.92%| unknown
755.67/757.56 c 758s| 8100 | 850 | 3217k| 395.8 | 358M | 46 |1515 |6919 |3259 | 13k| 1 |5014 |2562 | 1.014445e+03 | 1.044000e+03 | 2.91%| unknown
765.54/767.48 c 767s| 8200 | 874 | 3275k| 398.0 | 359M | 46 |1515 |6947 |3262 | 14k| 0 |5068 |2565 | 1.014460e+03 | 1.044000e+03 | 2.91%| unknown
768.34/770.29 c 770s| 8300 | 874 | 3299k| 396.1 | 359M | 46 |1515 |6955 |3275 | 14k| 1 |5081 |2569 | 1.014460e+03 | 1.044000e+03 | 2.91%| unknown
777.71/779.60 c 780s| 8400 | 886 | 3344k| 396.7 | 359M | 46 |1515 |6998 |3276 | 14k| 0 |5141 |2576 | 1.014500e+03 | 1.044000e+03 | 2.91%| unknown
784.30/786.22 c 786s| 8500 | 890 | 3376k| 395.9 | 360M | 46 |1515 |7031 |3268 | 14k| 0 |5190 |2613 | 1.014500e+03 | 1.044000e+03 | 2.91%| unknown
787.49/789.44 c 789s| 8600 | 896 | 3404k| 394.5 | 360M | 46 |1515 |7075 |3274 | 14k| 1 |5248 |2619 | 1.014500e+03 | 1.044000e+03 | 2.91%| unknown
791.58/793.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
791.58/793.56 c 794s| 8700 | 894 | 3427k| 392.6 | 360M | 46 |1515 |7141 |3272 | 14k| 0 |5339 |2651 | 1.014500e+03 | 1.044000e+03 | 2.91%| unknown
806.94/808.91 c 809s| 8800 | 910 | 3488k| 395.1 | 361M | 46 |1515 |7179 |3275 | 14k| 1 |5411 |2674 | 1.014679e+03 | 1.044000e+03 | 2.89%| unknown
817.41/819.43 c 819s| 8900 | 914 | 3520k| 394.2 | 362M | 46 |1515 |7180 |3283 | 15k| 1 |5420 |2678 | 1.014687e+03 | 1.044000e+03 | 2.89%| unknown
831.57/833.65 c 834s| 9000 | 918 | 3584k| 397.0 | 362M | 46 |1515 |7218 |3279 | 15k| 0 |5468 |2687 | 1.014698e+03 | 1.044000e+03 | 2.89%| unknown
849.81/851.97 c 852s| 9100 | 930 | 3656k| 400.5 | 362M | 46 |1515 |7238 |3288 | 15k| 0 |5517 |2718 | 1.014783e+03 | 1.044000e+03 | 2.88%| unknown
854.50/856.60 c 857s| 9200 | 936 | 3688k| 399.6 | 362M | 46 |1515 |7275 |3288 | 15k| 1 |5569 |2739 | 1.014783e+03 | 1.044000e+03 | 2.88%| unknown
859.28/861.43 c 861s| 9300 | 934 | 3717k| 398.4 | 362M | 46 |1515 |7338 |3286 | 15k| 0 |5656 |2768 | 1.014783e+03 | 1.044000e+03 | 2.88%| unknown
870.45/872.66 c 873s| 9400 | 944 | 3768k| 399.6 | 362M | 46 |1515 |7363 |3292 | 16k| 1 |5721 |2811 | 1.014790e+03 | 1.044000e+03 | 2.88%| unknown
886.70/888.99 c 889s| 9500 | 964 | 3835k| 402.5 | 364M | 46 |1515 |7345 |3296 | 16k| 0 |5735 |2841 | 1.015000e+03 | 1.044000e+03 | 2.86%| unknown
892.29/894.57 c 895s| 9600 | 966 | 3859k| 400.8 | 364M | 46 |1515 |7365 |3299 | 16k| 1 |5775 |2882 | 1.015000e+03 | 1.044000e+03 | 2.86%| unknown
899.87/902.17 c 902s| 9700 | 964 | 3894k| 400.3 | 368M | 46 |1515 |7369 |3293 | 16k| 1 |5782 |2886 | 1.015000e+03 | 1.044000e+03 | 2.86%| unknown
906.94/909.23 c 909s| 9800 | 966 | 3936k| 400.4 | 374M | 46 |1515 |7397 |3279 | 17k| 0 |5837 |2902 | 1.015056e+03 | 1.044000e+03 | 2.85%| unknown
917.21/919.58 c 920s| 9900 | 970 | 3981k| 401.0 | 374M | 46 |1515 |7441 |3298 | 17k| 1 |5911 |2937 | 1.015114e+03 | 1.044000e+03 | 2.85%| unknown
930.17/932.54 c 933s| 10000 | 976 | 4029k| 401.7 | 390M | 46 |1515 |7471 |3306 | 17k| 1 |5974 |2970 | 1.015150e+03 | 1.044000e+03 | 2.84%| unknown
936.66/939.08 o 1043
936.66/939.08 c d 939s| 10035 | 967 | 4050k| 402.4 |pscostdi| 47 |1515 |7474 |3188 | 0 | 1 |5995 |2983 | 1.015165e+03 | 1.043000e+03 | 2.74%| unknown
945.53/947.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
945.53/947.96 c 948s| 10100 | 982 | 4090k| 403.9 | 397M | 47 |1515 |7468 |3294 | 17k| 2 |6005 |2992 | 1.015167e+03 | 1.043000e+03 | 2.74%| unknown
950.11/952.50 c 952s| 10200 | 980 | 4118k| 402.6 | 397M | 47 |1515 |7568 |3294 | 17k| 1 |6134 |3031 | 1.015167e+03 | 1.043000e+03 | 2.74%| unknown
956.19/958.67 c 959s| 10300 | 982 | 4151k| 401.9 | 397M | 47 |1515 |7623 |3289 | 17k| 1 |6207 |3068 | 1.015167e+03 | 1.043000e+03 | 2.74%| unknown
961.08/963.50 c 964s| 10400 | 982 | 4179k| 400.7 | 397M | 47 |1515 |7635 |3294 | 17k| 1 |6223 |3089 | 1.015167e+03 | 1.043000e+03 | 2.74%| unknown
970.85/973.38 c 973s| 10500 | 984 | 4225k| 401.3 | 398M | 47 |1515 |7723 |3297 | 18k| 1 |6409 |3144 | 1.015174e+03 | 1.043000e+03 | 2.74%| unknown
978.43/980.91 c 981s| 10600 | 988 | 4264k| 401.2 | 391M | 47 |1515 |7696 |3304 | 18k| 1 |6460 |3157 | 1.015208e+03 | 1.043000e+03 | 2.74%| unknown
981.92/984.42 c 984s| 10700 | 986 | 4296k| 400.4 | 391M | 47 |1515 |7694 |3302 | 18k| 0 |6462 |3158 | 1.015208e+03 | 1.043000e+03 | 2.74%| unknown
988.00/990.50 c 990s| 10800 | 988 | 4336k| 400.5 | 391M | 47 |1515 |7655 |3302 | 18k| 2 |6478 |3161 | 1.015231e+03 | 1.043000e+03 | 2.74%| unknown
1002.46/1005.02 c 1005s| 10900 | 996 | 4390k| 401.7 | 392M | 47 |1515 |7630 |3301 | 18k| 1 |6480 |3188 | 1.015252e+03 | 1.043000e+03 | 2.73%| unknown
1009.44/1012.00 c 1012s| 11000 | 1012 | 4442k| 402.8 | 392M | 47 |1515 |7628 |3288 | 19k| 0 |6496 |3189 | 1.015256e+03 | 1.043000e+03 | 2.73%| unknown
1013.02/1015.67 c 1016s| 11100 | 1014 | 4474k| 402.0 | 392M | 47 |1515 |7623 |3305 | 19k| 0 |6496 |3189 | 1.015256e+03 | 1.043000e+03 | 2.73%| unknown
1017.42/1020.01 o 1041
1017.42/1020.01 c d1020s| 11105 | 990 | 4490k| 403.3 |adaptive| 47 |1515 |7618 |3244 | 0 | 1 |6496 |3190 | 1.015267e+03 | 1.041000e+03 | 2.53%| unknown
1017.42/1020.08 o 1040
1017.42/1020.08 c i1020s| 11106 | 974 | 4491k| 403.3 | oneopt| 47 |1515 |7615 |3304 | 19k| 1 |6496 |3190 | 1.015267e+03 | 1.040000e+03 | 2.44%| unknown
1019.60/1022.21 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1019.60/1022.21 c (run 1, node 11155) performing user restart
1019.60/1022.21 c
1019.60/1022.21 c (restart) converted 282 cuts from the global cut pool into linear constraints
1019.60/1022.21 c
1019.70/1022.39 c presolving:
1019.80/1022.41 c (round 1, fast) 0 del vars, 39 del conss, 0 add conss, 0 chg bounds, 5395 chg sides, 5850 chg coeffs, 0 upgd conss, 0 impls, 2938 clqs
1019.80/1022.44 c (round 2, exhaustive) 0 del vars, 39 del conss, 0 add conss, 0 chg bounds, 5395 chg sides, 5850 chg coeffs, 321 upgd conss, 0 impls, 2938 clqs
1019.90/1022.59 c (round 3, exhaustive) 0 del vars, 323 del conss, 0 add conss, 0 chg bounds, 5395 chg sides, 7322 chg coeffs, 321 upgd conss, 0 impls, 2938 clqs
1020.10/1022.72 c (round 4, exhaustive) 0 del vars, 420 del conss, 0 add conss, 0 chg bounds, 5395 chg sides, 7322 chg coeffs, 321 upgd conss, 0 impls, 2938 clqs
1020.10/1022.74 c (round 5, exhaustive) 0 del vars, 420 del conss, 0 add conss, 0 chg bounds, 5395 chg sides, 7688 chg coeffs, 321 upgd conss, 0 impls, 2938 clqs
1020.20/1022.87 c (round 6, exhaustive) 0 del vars, 430 del conss, 0 add conss, 0 chg bounds, 5395 chg sides, 7713 chg coeffs, 321 upgd conss, 0 impls, 2938 clqs
1020.51/1023.10 c presolving (7 rounds: 7 fast, 6 medium, 6 exhaustive):
1020.51/1023.10 c 0 deleted vars, 430 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 5395 changed sides, 7713 changed coefficients
1020.51/1023.10 c 0 implications, 2938 cliques
1020.51/1023.10 c presolved problem has 1515 variables (1515 bin, 0 int, 0 cont) and 7464 constraints
1020.51/1023.10 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
1020.51/1023.10 c 266 constraints of type <knapsack>
1020.51/1023.10 c 2938 constraints of type <setppc>
1020.51/1023.10 c 36 constraints of type <linear>
1020.51/1023.10 c 4224 constraints of type <logicor>
1020.51/1023.10 c transformed objective value is always integral (scale: 1)
1020.51/1023.10 c Presolving Time: 0.78
1020.51/1023.16 c transformed 98/100 original solutions to the transformed problem space
1020.51/1023.16 c
1021.50/1024.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1021.50/1024.19 c 1024s| 1 | 0 | 4519k| - | 369M | 0 |1515 |7464 |3211 | 0 | 0 |6496 |3190 | 1.015267e+03 | 1.040000e+03 | 2.44%| unknown
1022.00/1024.69 c 1025s| 1 | 0 | 4519k| - | 369M | 0 |1515 |7464 |3212 | 1 | 1 |6496 |3190 | 1.015267e+03 | 1.040000e+03 | 2.44%| unknown
1022.50/1025.18 c 1025s| 1 | 0 | 4519k| - | 369M | 0 |1515 |7464 |3213 | 2 | 2 |6496 |3190 | 1.015267e+03 | 1.040000e+03 | 2.44%| unknown
1023.40/1026.01 c 1026s| 1 | 2 | 4521k| - | 369M | 0 |1515 |7465 |3213 | 2 | 3 |6497 |3191 | 1.015267e+03 | 1.040000e+03 | 2.44%| unknown
1041.04/1043.73 c 1044s| 100 | 27 | 4572k| 404.4 | 369M | 32 |1515 |7894 |3141 | 4 | 1 |6980 |3394 | 1.015267e+03 | 1.040000e+03 | 2.44%| unknown
1047.22/1049.91 c 1050s| 200 | 37 | 4607k| 403.9 | 369M | 35 |1515 |8251 |3141 | 4 | 2 |7426 |3493 | 1.015267e+03 | 1.040000e+03 | 2.44%| unknown
1053.21/1055.90 c 1056s| 300 | 33 | 4635k| 402.8 | 369M | 36 |1515 |8566 |3141 | 4 | 0 |7842 |3614 | 1.015267e+03 | 1.040000e+03 | 2.44%| unknown
1058.79/1061.52 c 1062s| 400 | 33 | 4664k| 401.9 | 369M | 36 |1515 |8910 |3141 | 4 | 1 |8290 |3730 | 1.015267e+03 | 1.040000e+03 | 2.44%| unknown
1063.87/1066.68 c 1067s| 500 | 43 | 4699k| 401.4 | 369M | 36 |1515 |9132 |3141 | 4 | 0 |8577 |3796 | 1.015267e+03 | 1.040000e+03 | 2.44%| unknown
1078.83/1081.62 c 1082s| 600 | 49 | 4768k| 403.9 | 370M | 36 |1515 |9345 |3141 | 4 | 1 |8875 |3935 | 1.015267e+03 | 1.040000e+03 | 2.44%| unknown
1086.51/1089.30 c 1089s| 700 | 59 | 4803k| 403.4 | 370M | 36 |1515 |9662 |3141 | 4 | 1 |9271 |4059 | 1.015267e+03 | 1.040000e+03 | 2.44%| unknown
1091.69/1094.55 c 1095s| 800 | 57 | 4828k| 402.2 | 370M | 39 |1515 | 10k|3141 | 4 | 2 |9765 |4189 | 1.015267e+03 | 1.040000e+03 | 2.44%| unknown
1097.67/1100.51 c 1101s| 900 | 73 | 4862k| 401.6 | 370M | 39 |1515 | 10k|3141 | 4 | 1 | 10k|4257 | 1.015267e+03 | 1.040000e+03 | 2.44%| unknown
1107.25/1110.17 c 1110s| 1000 | 77 | 4901k| 401.5 | 394M | 40 |1515 | 10k|3149 | 29 | 0 | 10k|4380 | 1.015267e+03 | 1.040000e+03 | 2.44%| unknown
1113.83/1116.74 c 1117s| 1100 | 87 | 4935k| 401.0 | 395M | 40 |1515 | 10k|3145 | 45 | 0 | 10k|4411 | 1.015267e+03 | 1.040000e+03 | 2.44%| unknown
1116.03/1118.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1116.03/1118.98 c 1119s| 1200 | 85 | 4953k| 399.2 | 395M | 40 |1515 | 10k|3145 | 58 | 0 | 10k|4430 | 1.015267e+03 | 1.040000e+03 | 2.44%| unknown
1120.51/1123.42 c 1123s| 1300 | 95 | 4985k| 398.6 | 395M | 40 |1515 | 10k|3145 | 69 | 0 | 10k|4441 | 1.015355e+03 | 1.040000e+03 | 2.43%| unknown
1124.70/1127.64 c 1128s| 1400 | 99 | 5011k| 397.5 | 395M | 40 |1515 | 10k|3145 | 74 | 0 | 10k|4480 | 1.015366e+03 | 1.040000e+03 | 2.43%| unknown
1132.08/1135.08 c 1135s| 1500 | 127 | 5052k| 397.6 | 395M | 40 |1515 | 10k|3145 | 78 | 1 | 10k|4502 | 1.015645e+03 | 1.040000e+03 | 2.40%| unknown
1134.47/1137.40 c 1137s| 1600 | 125 | 5071k| 396.0 | 395M | 40 |1515 | 10k|3145 | 78 | 0 | 10k|4523 | 1.015645e+03 | 1.040000e+03 | 2.40%| unknown
1145.14/1148.12 c 1148s| 1700 | 129 | 5142k| 398.4 | 395M | 40 |1515 | 11k|3145 | 87 | 1 | 11k|4586 | 1.015778e+03 | 1.040000e+03 | 2.38%| unknown
1151.03/1154.05 c 1154s| 1800 | 131 | 5171k| 397.6 | 392M | 41 |1515 | 11k|3150 | 107 | 1 | 11k|4647 | 1.015787e+03 | 1.040000e+03 | 2.38%| unknown
1154.71/1157.71 c 1158s| 1900 | 133 | 5197k| 396.5 | 392M | 41 |1515 | 11k|3149 | 129 | 1 | 11k|4654 | 1.015958e+03 | 1.040000e+03 | 2.37%| unknown
1157.80/1160.82 c 1161s| 2000 | 139 | 5227k| 395.8 | 392M | 41 |1515 | 11k|3151 | 139 | 0 | 11k|4657 | 1.015958e+03 | 1.040000e+03 | 2.37%| unknown
1162.99/1166.00 c 1166s| 2100 | 149 | 5263k| 395.5 | 392M | 41 |1515 | 10k|3151 | 155 | 0 | 11k|4672 | 1.016018e+03 | 1.040000e+03 | 2.36%| unknown
1167.57/1170.65 c 1171s| 2200 | 159 | 5293k| 394.8 | 392M | 41 |1515 | 10k|3151 | 175 | 0 | 11k|4693 | 1.016046e+03 | 1.040000e+03 | 2.36%| unknown
1173.35/1176.46 c 1176s| 2300 | 163 | 5323k| 394.1 | 396M | 41 |1515 | 10k|3156 | 200 | 0 | 11k|4740 | 1.016176e+03 | 1.040000e+03 | 2.34%| unknown
1179.94/1183.02 c 1183s| 2400 | 165 | 5358k| 393.8 | 398M | 43 |1515 | 10k|3155 | 218 | 3 | 12k|4801 | 1.016289e+03 | 1.040000e+03 | 2.33%| unknown
1185.82/1188.97 c 1189s| 2500 | 175 | 5394k| 393.5 | 398M | 43 |1515 | 10k|3155 | 256 | 1 | 12k|4810 | 1.016325e+03 | 1.040000e+03 | 2.33%| unknown
1188.11/1191.27 c 1191s| 2600 | 169 | 5415k| 392.2 | 398M | 43 |1515 | 10k|3152 | 272 | 0 | 12k|4817 | 1.016325e+03 | 1.040000e+03 | 2.33%| unknown
1190.50/1193.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1190.50/1193.67 c 1194s| 2700 | 169 | 5437k| 391.0 | 398M | 43 |1515 | 10k|3158 | 291 | 0 | 12k|4820 | 1.016325e+03 | 1.040000e+03 | 2.33%| unknown
1193.49/1196.63 c 1197s| 2800 | 167 | 5459k| 389.8 | 396M | 43 |1515 | 10k|3151 | 302 | 1 | 12k|4843 | 1.016325e+03 | 1.040000e+03 | 2.33%| unknown
1198.18/1201.32 c 1201s| 2900 | 175 | 5491k| 389.2 | 396M | 43 |1515 |9909 |3151 | 334 | 1 | 12k|4848 | 1.016335e+03 | 1.040000e+03 | 2.33%| unknown
1201.37/1204.58 c 1205s| 3000 | 183 | 5519k| 388.5 | 396M | 43 |1515 |9839 |3152 | 343 | 0 | 12k|4855 | 1.016417e+03 | 1.040000e+03 | 2.32%| unknown
1203.87/1207.07 c 1207s| 3100 | 185 | 5541k| 387.3 | 394M | 43 |1515 |9878 |3153 | 352 | 1 | 12k|4868 | 1.016417e+03 | 1.040000e+03 | 2.32%| unknown
1207.15/1210.34 c 1210s| 3200 | 187 | 5565k| 386.2 | 394M | 43 |1515 |9946 |3151 | 365 | 0 | 12k|4888 | 1.016417e+03 | 1.040000e+03 | 2.32%| unknown
1211.54/1214.77 c 1215s| 3300 | 193 | 5594k| 385.6 | 394M | 43 |1515 |9697 |3158 | 404 | 1 | 12k|4902 | 1.016439e+03 | 1.040000e+03 | 2.32%| unknown
1214.53/1217.74 c 1218s| 3400 | 193 | 5616k| 384.5 | 394M | 43 |1515 |9813 |3160 | 411 | 2 | 12k|4945 | 1.016439e+03 | 1.040000e+03 | 2.32%| unknown
1221.01/1224.21 c 1224s| 3500 | 209 | 5653k| 384.4 | 394M | 43 |1515 |9096 |3155 | 453 | 0 | 12k|4971 | 1.016588e+03 | 1.040000e+03 | 2.30%| unknown
1228.00/1231.28 c 1231s| 3600 | 227 | 5696k| 384.6 | 394M | 43 |1515 |8651 |3158 | 498 | 1 | 13k|5008 | 1.016630e+03 | 1.040000e+03 | 2.30%| unknown
1239.87/1243.19 c 1243s| 3700 | 233 | 5734k| 384.6 | 394M | 43 |1515 |8255 |3162 | 584 | 1 | 13k|5122 | 1.016679e+03 | 1.040000e+03 | 2.29%| unknown
1247.35/1250.66 c 1251s| 3800 | 243 | 5778k| 385.0 | 394M | 43 |1515 |8157 |3160 | 631 | 1 | 13k|5148 | 1.016827e+03 | 1.040000e+03 | 2.28%| unknown
1255.83/1259.17 c 1259s| 3900 | 255 | 5818k| 385.1 | 396M | 45 |1515 |7739 |3172 | 681 | 2 | 13k|5215 | 1.016832e+03 | 1.040000e+03 | 2.28%| unknown
1259.72/1263.08 c 1263s| 4000 | 257 | 5841k| 384.1 | 400M | 48 |1515 |7780 |3180 | 704 | 1 | 13k|5227 | 1.016832e+03 | 1.040000e+03 | 2.28%| unknown
1265.80/1269.12 c 1269s| 4100 | 257 | 5873k| 383.6 | 414M | 48 |1515 |7535 |3164 | 787 | 0 | 13k|5239 | 1.016843e+03 | 1.040000e+03 | 2.28%| unknown
1270.89/1274.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1270.89/1274.28 c 1274s| 4200 | 269 | 5903k| 383.1 | 422M | 48 |1515 |7404 |3183 | 819 | 1 | 13k|5267 | 1.016843e+03 | 1.040000e+03 | 2.28%| unknown
1279.36/1282.75 c 1283s| 4300 | 285 | 5945k| 383.3 | 452M | 48 |1515 |6760 |3184 | 886 | 0 | 13k|5278 | 1.016905e+03 | 1.040000e+03 | 2.27%| unknown
1290.84/1294.20 c 1294s| 4400 | 307 | 5998k| 384.3 | 462M | 48 |1515 |6175 |3176 | 966 | 1 | 14k|5303 | 1.017113e+03 | 1.040000e+03 | 2.25%| unknown
1296.52/1299.94 c 1300s| 4500 | 307 | 6030k| 383.9 | 471M | 48 |1515 |6001 |3182 |1021 | 0 | 14k|5314 | 1.017151e+03 | 1.040000e+03 | 2.25%| unknown
1305.71/1309.11 c 1309s| 4600 | 315 | 6079k| 384.5 | 473M | 48 |1515 |5654 |3159 |1127 | 0 | 14k|5346 | 1.017214e+03 | 1.040000e+03 | 2.24%| unknown
1314.08/1317.59 c 1318s| 4700 | 323 | 6120k| 384.7 | 470M | 48 |1515 |5425 |3182 |1288 | 0 | 14k|5376 | 1.017261e+03 | 1.040000e+03 | 2.24%| unknown
1325.35/1328.85 c 1329s| 4800 | 331 | 6191k| 386.7 | 462M | 48 |1515 |5143 |3173 |1388 | 1 | 14k|5395 | 1.017286e+03 | 1.040000e+03 | 2.23%| unknown
1329.55/1333.01 c 1333s| 4900 | 341 | 6228k| 386.6 | 455M | 48 |1515 |5060 |3179 |1470 | 1 | 14k|5414 | 1.017286e+03 | 1.040000e+03 | 2.23%| unknown
1337.32/1340.86 c 1341s| 5000 | 349 | 6263k| 386.4 | 450M | 48 |1515 |5036 |3194 |1548 | 2 | 14k|5471 | 1.017309e+03 | 1.040000e+03 | 2.23%| unknown
1344.21/1347.76 c 1348s| 5100 | 359 | 6302k| 386.4 | 443M | 48 |1515 |4944 |3195 |1622 | 1 | 14k|5495 | 1.017316e+03 | 1.040000e+03 | 2.23%| unknown
1349.99/1353.59 c 1354s| 5200 | 361 | 6330k| 385.8 | 443M | 48 |1515 |4862 |3195 |1657 | 0 | 14k|5516 | 1.017324e+03 | 1.040000e+03 | 2.23%| unknown
1356.88/1360.42 c 1360s| 5300 | 375 | 6372k| 386.0 | 443M | 48 |1515 |4727 |3196 |1715 | 0 | 14k|5547 | 1.017396e+03 | 1.040000e+03 | 2.22%| unknown
1363.36/1366.99 c 1367s| 5400 | 373 | 6410k| 386.0 | 443M | 48 |1515 |4710 |3191 |1776 | 0 | 14k|5608 | 1.017422e+03 | 1.040000e+03 | 2.22%| unknown
1368.55/1372.11 c 1372s| 5500 | 379 | 6438k| 385.3 | 443M | 48 |1515 |4872 |3202 |1800 | 0 | 15k|5673 | 1.017422e+03 | 1.040000e+03 | 2.22%| unknown
1378.93/1382.52 c 1383s| 5600 | 387 | 6481k| 385.6 | 446M | 48 |1515 |4728 |3200 |1885 | 0 | 15k|5717 | 1.017448e+03 | 1.040000e+03 | 2.22%| unknown
1382.72/1386.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1382.72/1386.37 c 1386s| 5700 | 387 | 6508k| 384.9 | 449M | 48 |1515 |4778 |3204 |1917 | 1 | 15k|5743 | 1.017448e+03 | 1.040000e+03 | 2.22%| unknown
1390.60/1394.20 c 1394s| 5800 | 395 | 6547k| 385.0 | 452M | 48 |1515 |4788 |3210 |1963 | 0 | 15k|5782 | 1.017454e+03 | 1.040000e+03 | 2.22%| unknown
1396.78/1400.44 c 1400s| 5900 | 395 | 6585k| 384.9 | 462M | 48 |1515 |4895 |3207 |2001 | 0 | 15k|5817 | 1.017517e+03 | 1.040000e+03 | 2.21%| unknown
1402.57/1406.22 c 1406s| 6000 | 399 | 6619k| 384.6 | 472M | 48 |1515 |4865 |3210 |2076 | 2 | 15k|5821 | 1.017564e+03 | 1.040000e+03 | 2.20%| unknown
1406.06/1409.76 c 1410s| 6100 | 397 | 6648k| 384.1 | 476M | 48 |1515 |4895 |3198 |2118 | 0 | 15k|5834 | 1.017564e+03 | 1.040000e+03 | 2.20%| unknown
1412.45/1416.19 c 1416s| 6200 | 405 | 6689k| 384.2 | 476M | 48 |1515 |4845 |3194 |2236 | 1 | 15k|5837 | 1.017629e+03 | 1.040000e+03 | 2.20%| unknown
1417.73/1421.40 c 1421s| 6300 | 407 | 6725k| 384.1 | 474M | 48 |1515 |4831 |3189 |2319 | 1 | 15k|5838 | 1.017683e+03 | 1.040000e+03 | 2.19%| unknown
1423.52/1427.25 c 1427s| 6400 | 415 | 6765k| 384.2 | 474M | 48 |1515 |4797 |3204 |2419 | 0 | 15k|5838 | 1.017707e+03 | 1.040000e+03 | 2.19%| unknown
1428.70/1432.42 c 1432s| 6500 | 421 | 6804k| 384.2 | 470M | 48 |1515 |4836 |3194 |2490 | 1 | 15k|5857 | 1.017745e+03 | 1.040000e+03 | 2.19%| unknown
1433.49/1437.25 c 1437s| 6600 | 425 | 6838k| 384.0 | 462M | 48 |1515 |4815 |3208 |2598 | 1 | 15k|5857 | 1.017815e+03 | 1.040000e+03 | 2.18%| unknown
1443.38/1447.13 c 1447s| 6700 | 443 | 6887k| 384.6 | 452M | 48 |1515 |4715 |3209 |2769 | 1 | 15k|5857 | 1.017901e+03 | 1.040000e+03 | 2.17%| unknown
1446.46/1450.25 c 1450s| 6800 | 439 | 6912k| 383.8 | 452M | 48 |1515 |4811 |3209 |2780 | 0 | 16k|5875 | 1.017901e+03 | 1.040000e+03 | 2.17%| unknown
1456.34/1460.16 c 1460s| 6900 | 443 | 6979k| 385.4 | 452M | 48 |1515 |4701 |3190 |2839 | 0 | 16k|5876 | 1.017902e+03 | 1.040000e+03 | 2.17%| unknown
1459.63/1463.42 c 1463s| 7000 | 443 | 7010k| 385.0 | 452M | 48 |1515 |4660 |3186 |2932 | 0 | 16k|5881 | 1.017902e+03 | 1.040000e+03 | 2.17%| unknown
1462.23/1466.00 c 1466s| 7100 | 445 | 7035k| 384.3 | 452M | 48 |1515 |4665 |3200 |2975 | 0 | 16k|5882 | 1.017902e+03 | 1.040000e+03 | 2.17%| unknown
1467.51/1471.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1467.51/1471.37 c 1471s| 7200 | 451 | 7074k| 384.3 | 451M | 48 |1515 |4604 |3196 |3057 | 1 | 16k|5885 | 1.017920e+03 | 1.040000e+03 | 2.17%| unknown
1473.40/1477.20 c 1477s| 7300 | 455 | 7108k| 384.1 | 451M | 48 |1515 |4561 |3195 |3137 | 1 | 16k|5887 | 1.017938e+03 | 1.040000e+03 | 2.17%| unknown
1477.49/1481.30 c 1481s| 7400 | 461 | 7146k| 384.0 | 451M | 48 |1515 |4509 |3186 |3158 | 0 | 16k|5895 | 1.017944e+03 | 1.040000e+03 | 2.17%| unknown
1484.47/1488.34 c 1488s| 7500 | 481 | 7192k| 384.4 | 451M | 48 |1515 |4395 |3207 |3269 | 1 | 16k|5914 | 1.017981e+03 | 1.040000e+03 | 2.16%| unknown
1488.56/1492.40 c 1492s| 7600 | 485 | 7222k| 384.0 | 451M | 48 |1515 |4420 |3201 |3307 | 1 | 16k|5932 | 1.018026e+03 | 1.040000e+03 | 2.16%| unknown
1496.94/1500.89 c 1501s| 7700 | 491 | 7267k| 384.3 | 451M | 48 |1515 |4286 |3210 |3420 | 1 | 16k|5958 | 1.018079e+03 | 1.040000e+03 | 2.15%| unknown
1507.72/1511.64 c 1512s| 7800 | 503 | 7315k| 384.8 | 451M | 48 |1515 |4107 |3207 |3583 | 1 | 16k|5962 | 1.018087e+03 | 1.040000e+03 | 2.15%| unknown
1514.80/1518.74 c 1519s| 7900 | 509 | 7357k| 385.0 | 451M | 48 |1515 |4054 |3187 |3706 | 1 | 16k|5964 | 1.018164e+03 | 1.040000e+03 | 2.14%| unknown
1518.20/1522.16 c 1522s| 8000 | 509 | 7390k| 384.7 | 451M | 48 |1515 |4060 |3186 |3788 | 0 | 16k|5965 | 1.018164e+03 | 1.040000e+03 | 2.14%| unknown
1520.89/1524.83 c 1525s| 8100 | 509 | 7417k| 384.2 | 451M | 48 |1515 |4060 |3200 |3847 | 0 | 16k|5965 | 1.018164e+03 | 1.040000e+03 | 2.14%| unknown
1527.18/1531.11 c 1531s| 8200 | 519 | 7459k| 384.3 | 448M | 48 |1515 |4031 |3197 |3949 | 0 | 16k|5967 | 1.018211e+03 | 1.040000e+03 | 2.14%| unknown
1535.06/1539.04 c 1539s| 8300 | 535 | 7507k| 384.8 | 448M | 48 |1515 |4019 |3199 |4093 | 1 | 16k|5967 | 1.018247e+03 | 1.040000e+03 | 2.14%| unknown
1541.04/1545.01 c 1545s| 8400 | 541 | 7547k| 384.9 | 448M | 48 |1515 |4009 |3192 |4189 | 0 | 16k|5969 | 1.018248e+03 | 1.040000e+03 | 2.14%| unknown
1545.23/1549.24 c 1549s| 8500 | 541 | 7583k| 384.8 | 448M | 48 |1515 |4009 |3194 |4232 | 1 | 16k|5969 | 1.018248e+03 | 1.040000e+03 | 2.14%| unknown
1547.92/1551.91 c 1552s| 8600 | 541 | 7607k| 384.1 | 448M | 48 |1515 |4009 |3204 |4294 | 0 | 16k|5971 | 1.018248e+03 | 1.040000e+03 | 2.14%| unknown
1550.72/1554.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1550.72/1554.79 c 1555s| 8700 | 543 | 7634k| 383.5 | 448M | 48 |1515 |4031 |3207 |4330 | 2 | 16k|5975 | 1.018248e+03 | 1.040000e+03 | 2.14%| unknown
1553.21/1557.29 c 1557s| 8800 | 543 | 7658k| 382.8 | 448M | 48 |1515 |4031 |3197 |4367 | 1 | 16k|5975 | 1.018248e+03 | 1.040000e+03 | 2.14%| unknown
1559.79/1563.89 c 1564s| 8900 | 557 | 7705k| 383.2 | 448M | 48 |1515 |4080 |3213 |4478 | 1 | 16k|5991 | 1.018268e+03 | 1.040000e+03 | 2.13%| unknown
1569.27/1573.33 c 1573s| 9000 | 569 | 7750k| 383.5 | 448M | 48 |1515 |4092 |3211 |4586 | 1 | 16k|6019 | 1.018281e+03 | 1.040000e+03 | 2.13%| unknown
1579.05/1583.10 c 1583s| 9100 | 575 | 7798k| 384.0 | 452M | 48 |1515 |4070 |3209 |4711 | 1 | 16k|6030 | 1.018299e+03 | 1.040000e+03 | 2.13%| unknown
1585.73/1589.84 c 1590s| 9200 | 587 | 7843k| 384.3 | 453M | 48 |1515 |4004 |3200 |4764 | 1 | 16k|6032 | 1.018365e+03 | 1.040000e+03 | 2.12%| unknown
1591.02/1595.13 c 1595s| 9300 | 591 | 7877k| 384.1 | 453M | 48 |1515 |3975 |3211 |4869 | 1 | 16k|6035 | 1.018376e+03 | 1.040000e+03 | 2.12%| unknown
1596.11/1600.25 c 1600s| 9400 | 595 | 7913k| 384.0 | 454M | 48 |1515 |3952 |3198 |4965 | 1 | 16k|6036 | 1.018388e+03 | 1.040000e+03 | 2.12%| unknown
1599.20/1603.35 c 1603s| 9500 | 593 | 7941k| 383.5 | 454M | 48 |1515 |3932 |3185 |5051 | 0 | 16k|6037 | 1.018388e+03 | 1.040000e+03 | 2.12%| unknown
1609.68/1613.83 c 1614s| 9600 | 621 | 8001k| 384.5 | 454M | 48 |1515 |3845 |3198 |5251 | 1 | 16k|6037 | 1.018433e+03 | 1.040000e+03 | 2.12%| unknown
1613.17/1617.36 c 1617s| 9700 | 623 | 8030k| 384.1 | 454M | 48 |1515 |3863 |3203 |5276 | 1 | 16k|6047 | 1.018433e+03 | 1.040000e+03 | 2.12%| unknown
1617.16/1621.31 c 1621s| 9800 | 623 | 8061k| 383.7 | 454M | 48 |1515 |3863 |3187 |5303 | 1 | 16k|6053 | 1.018446e+03 | 1.040000e+03 | 2.12%| unknown
1620.35/1624.59 c 1625s| 9900 | 617 | 8090k| 383.3 | 454M | 48 |1515 |3912 |3187 |5361 | 0 | 17k|6062 | 1.018446e+03 | 1.040000e+03 | 2.12%| unknown
1627.43/1631.66 c 1632s| 10000 | 625 | 8135k| 383.6 | 453M | 48 |1515 |3924 |3187 |5481 | 0 | 17k|6074 | 1.018460e+03 | 1.040000e+03 | 2.11%| unknown
1636.41/1640.67 c 1641s| 10100 | 631 | 8177k| 383.7 | 453M | 48 |1515 |3916 |3172 |5640 | 1 | 17k|6097 | 1.018493e+03 | 1.040000e+03 | 2.11%| unknown
1647.98/1652.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1647.98/1652.22 c 1652s| 10200 | 651 | 8263k| 386.0 | 453M | 48 |1515 |3922 |3214 |5779 | 0 | 17k|6100 | 1.018496e+03 | 1.040000e+03 | 2.11%| unknown
1658.46/1662.74 c 1663s| 10300 | 661 | 8313k| 386.5 | 453M | 48 |1515 |3948 |3212 |5918 | 0 | 17k|6137 | 1.018517e+03 | 1.040000e+03 | 2.11%| unknown
1662.15/1666.47 c 1666s| 10400 | 665 | 8347k| 386.3 | 452M | 48 |1515 |4007 |3216 |5967 | 0 | 17k|6147 | 1.018517e+03 | 1.040000e+03 | 2.11%| unknown
1668.24/1672.51 c 1673s| 10500 | 683 | 8395k| 386.7 | 452M | 48 |1515 |4076 |3214 |5995 | 2 | 17k|6177 | 1.018581e+03 | 1.040000e+03 | 2.10%| unknown
1685.89/1690.24 c 1690s| 10600 | 705 | 8462k| 388.1 | 453M | 48 |1515 |4128 |3215 |6191 | 1 | 17k|6271 | 1.018622e+03 | 1.040000e+03 | 2.10%| unknown
1691.48/1695.85 c 1696s| 10700 | 719 | 8503k| 388.1 | 453M | 48 |1515 |4113 |3223 |6243 | 0 | 17k|6290 | 1.018643e+03 | 1.040000e+03 | 2.10%| unknown
1697.57/1701.96 c 1702s| 10800 | 727 | 8543k| 388.2 | 453M | 48 |1515 |4264 |3225 |6279 | 0 | 17k|6339 | 1.018646e+03 | 1.040000e+03 | 2.10%| unknown
1712.83/1717.22 c 1717s| 10900 | 749 | 8611k| 389.5 | 453M | 48 |1515 |4369 |3225 |6469 | 1 | 18k|6406 | 1.018668e+03 | 1.040000e+03 | 2.09%| unknown
1727.70/1732.13 c 1732s| 11000 | 761 | 8669k| 390.4 | 481M | 48 |1515 |4503 |3236 |6631 | 1 | 18k|6474 | 1.018678e+03 | 1.040000e+03 | 2.09%| unknown
1738.58/1743.05 c 1743s| 11100 | 763 | 8721k| 390.9 | 529M | 48 |1515 |4684 |3231 |6732 | 1 | 18k|6557 | 1.018681e+03 | 1.040000e+03 | 2.09%| unknown
1749.35/1753.84 c 1754s| 11200 | 771 | 8771k| 391.4 | 535M | 48 |1515 |4685 |3235 |6887 | 1 | 18k|6571 | 1.018691e+03 | 1.040000e+03 | 2.09%| unknown
1762.42/1766.93 c 1767s| 11300 | 781 | 8855k| 393.4 | 535M | 48 |1515 |4605 |3229 |7015 | 0 | 18k|6579 | 1.018772e+03 | 1.040000e+03 | 2.08%| unknown
1772.39/1776.98 c 1777s| 11400 | 783 | 8905k| 393.9 | 532M | 48 |1515 |4559 |3220 |7169 | 1 | 18k|6589 | 1.018788e+03 | 1.040000e+03 | 2.08%| unknown
1778.58/1783.13 c 1783s| 11500 | 789 | 8945k| 393.9 | 523M | 48 |1515 |4491 |3232 |7340 | 2 | 18k|6589 | 1.018789e+03 | 1.040000e+03 | 2.08%| unknown
1784.46/1789.10 c 1789s| 11600 | 791 | 8985k| 394.0 | 512M | 48 |1515 |4465 |3216 |7453 | 1 | 19k|6591 | 1.018796e+03 | 1.040000e+03 | 2.08%| unknown
1790.84/1795.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1790.84/1795.47 c 1795s| 11700 | 793 | 9028k| 394.1 | 508M | 48 |1515 |4406 |3232 |7613 | 0 | 19k|6591 | 1.018818e+03 | 1.040000e+03 | 2.08%| unknown
1796.83/1801.40 c 1801s| 11800 | 805 | 9068k| 394.1 | 504M | 48 |1515 |4127 |3216 |7747 | 0 | 19k|6591 | 1.018850e+03 | 1.040000e+03 | 2.08%| unknown
1799.72/1804.35 c 1804s| 11900 | 809 | 9094k| 393.5 | 501M | 48 |1515 |4130 |3219 |7781 | 1 | 19k|6593 | 1.018850e+03 | 1.040000e+03 | 2.08%| unknown
1802.52/1807.13 c 1807s| 12000 | 813 | 9118k| 392.9 | 500M | 48 |1515 |4128 |3224 |7799 | 1 | 19k|6594 | 1.018850e+03 | 1.040000e+03 | 2.08%| unknown
1813.29/1818.00 c 1818s| 12100 | 827 | 9173k| 393.6 | 498M | 48 |1515 |4025 |3225 |8017 | 0 | 19k|6598 | 1.018859e+03 | 1.040000e+03 | 2.07%| unknown
1816.49/1821.18 c 1821s| 12200 | 833 | 9200k| 393.0 | 498M | 48 |1515 |4019 |3226 |8038 | 1 | 19k|6601 | 1.018869e+03 | 1.040000e+03 | 2.07%| unknown
1821.97/1826.65 c 1827s| 12300 | 833 | 9233k| 392.8 | 498M | 48 |1515 |4016 |3224 |8125 | 0 | 19k|6604 | 1.018873e+03 | 1.040000e+03 | 2.07%| unknown
1825.47/1830.11 c 1830s| 12400 | 833 | 9264k| 392.4 | 498M | 48 |1515 |4022 |3232 |8204 | 0 | 19k|6605 | 1.018873e+03 | 1.040000e+03 | 2.07%| unknown
1828.55/1833.21 c 1833s| 12500 | 829 | 9294k| 392.0 | 498M | 48 |1515 |3955 |3238 |8290 | 2 | 19k|6606 | 1.018873e+03 | 1.040000e+03 | 2.07%| unknown
1832.04/1836.79 c 1837s| 12600 | 833 | 9327k| 391.8 | 498M | 48 |1515 |3846 |3214 |8336 | 0 | 19k|6609 | 1.018873e+03 | 1.040000e+03 | 2.07%| unknown
1836.23/1840.96 c 1841s| 12700 | 845 | 9365k| 391.7 | 498M | 48 |1515 |3790 |3226 |8406 | 1 | 19k|6609 | 1.018882e+03 | 1.040000e+03 | 2.07%| unknown
1842.92/1847.64 c 1848s| 12800 | 853 | 9410k| 392.0 | 498M | 48 |1515 |3709 |3228 |8540 | 0 | 19k|6610 | 1.018906e+03 | 1.040000e+03 | 2.07%| unknown
1849.20/1853.98 c 1854s| 12900 | 859 | 9454k| 392.2 | 498M | 48 |1515 |3689 |3228 |8632 | 0 | 19k|6610 | 1.018911e+03 | 1.040000e+03 | 2.07%| unknown
1853.30/1858.10 c 1858s| 13000 | 863 | 9489k| 392.0 | 498M | 48 |1515 |3704 |3210 |8704 | 1 | 19k|6614 | 1.018911e+03 | 1.040000e+03 | 2.07%| unknown
1856.09/1860.88 c 1861s| 13100 | 863 | 9514k| 391.4 | 498M | 48 |1515 |3721 |3211 |8749 | 0 | 19k|6618 | 1.018911e+03 | 1.040000e+03 | 2.07%| unknown
1858.98/1863.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1858.98/1863.76 c 1864s| 13200 | 869 | 9541k| 390.9 | 498M | 48 |1515 |3732 |3213 |8783 | 1 | 19k|6620 | 1.018911e+03 | 1.040000e+03 | 2.07%| unknown
1862.38/1867.12 c 1867s| 13300 | 869 | 9568k| 390.4 | 498M | 48 |1515 |3800 |3214 |8811 | 1 | 19k|6641 | 1.018911e+03 | 1.040000e+03 | 2.07%| unknown
1864.77/1869.53 c 1870s| 13400 | 865 | 9591k| 389.7 | 498M | 48 |1515 |3808 |3218 |8833 | 0 | 19k|6644 | 1.018911e+03 | 1.040000e+03 | 2.07%| unknown
1867.16/1871.98 c 1872s| 13500 | 863 | 9615k| 389.1 | 498M | 48 |1515 |3808 |3216 |8855 | 1 | 19k|6644 | 1.018911e+03 | 1.040000e+03 | 2.07%| unknown
1874.74/1879.52 c 1880s| 13600 | 875 | 9676k| 390.1 | 498M | 48 |1515 |3814 |3212 |8915 | 1 | 19k|6645 | 1.018929e+03 | 1.040000e+03 | 2.07%| unknown
1879.73/1884.56 c 1885s| 13700 | 881 | 9713k| 390.0 | 498M | 48 |1515 |3819 |3214 |8988 | 0 | 19k|6648 | 1.018931e+03 | 1.040000e+03 | 2.07%| unknown
1882.42/1887.25 c 1887s| 13800 | 883 | 9737k| 389.4 | 498M | 48 |1515 |3858 |3215 |9010 | 0 | 19k|6659 | 1.018931e+03 | 1.040000e+03 | 2.07%| unknown
1890.90/1895.73 c 1896s| 13900 | 897 | 9788k| 389.8 | 498M | 48 |1515 |3950 |3222 |9135 | 2 | 19k|6687 | 1.018979e+03 | 1.040000e+03 | 2.06%| unknown
1896.89/1901.78 c 1902s| 14000 | 909 | 9832k| 390.0 | 498M | 48 |1515 |4036 |3219 |9152 | 0 | 19k|6723 | 1.018988e+03 | 1.040000e+03 | 2.06%| unknown
1902.18/1907.09 c 1907s| 14100 | 919 | 9870k| 390.0 | 498M | 48 |1515 |4030 |3214 |9260 | 0 | 19k|6725 | 1.018998e+03 | 1.040000e+03 | 2.06%| unknown
1904.37/1909.26 o 1039
1904.37/1909.26 c L1909s| 14106 | 913 | 9880k| 390.3 |crossove| 48 |1515 |4025 |3220 |9308 | 1 | 19k|6725 | 1.019002e+03 | 1.039000e+03 | 1.96%| unknown
1909.87/1914.70 c 1915s| 14200 | 929 | 9923k| 390.5 | 498M | 48 |1515 |3996 |3211 |9408 | 0 | 19k|6725 | 1.019017e+03 | 1.039000e+03 | 1.96%| unknown
1915.35/1920.22 c 1920s| 14300 | 941 | 9966k| 390.7 | 498M | 48 |1515 |3971 |3214 |9474 | 0 | 19k|6729 | 1.019022e+03 | 1.039000e+03 | 1.96%| unknown
1921.04/1925.99 c 1926s| 14400 | 955 | 10004k| 390.7 | 498M | 48 |1515 |3950 |3220 |9545 | 1 | 19k|6732 | 1.019068e+03 | 1.039000e+03 | 1.96%| unknown
1926.63/1931.51 c 1932s| 14500 | 971 | 10044k| 390.7 | 498M | 48 |1515 |3927 |3224 |9589 | 1 | 19k|6748 | 1.019085e+03 | 1.039000e+03 | 1.95%| unknown
1931.32/1936.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1931.32/1936.25 c 1936s| 14600 | 971 | 10075k| 390.4 | 498M | 48 |1515 |3908 |3215 |9657 | 1 | 19k|6752 | 1.019087e+03 | 1.039000e+03 | 1.95%| unknown
1940.10/1945.01 c 1945s| 14700 | 979 | 10138k| 391.3 | 498M | 48 |1515 |3877 |3218 |9712 | 1 | 19k|6754 | 1.019095e+03 | 1.039000e+03 | 1.95%| unknown
1944.29/1949.22 c 1949s| 14800 | 985 | 10178k| 391.3 | 498M | 48 |1515 |3859 |3223 |9747 | 1 | 19k|6758 | 1.019098e+03 | 1.039000e+03 | 1.95%| unknown
1947.68/1952.69 c 1953s| 14900 | 983 | 10205k| 390.9 | 498M | 48 |1515 |3906 |3224 |9777 | 1 | 19k|6776 | 1.019098e+03 | 1.039000e+03 | 1.95%| unknown
1952.57/1957.51 c 1958s| 15000 | 983 | 10241k| 390.8 | 498M | 48 |1515 |4044 |3223 |9780 | 0 | 20k|6833 | 1.019098e+03 | 1.039000e+03 | 1.95%| unknown
1956.76/1961.79 c 1962s| 15100 | 979 | 10273k| 390.5 | 498M | 48 |1515 |4139 |3210 |9809 | 0 | 20k|6864 | 1.019098e+03 | 1.039000e+03 | 1.95%| unknown
1959.95/1964.90 c 1965s| 15200 | 987 | 10303k| 390.1 | 498M | 48 |1515 |4137 |3221 |9844 | 2 | 20k|6864 | 1.019098e+03 | 1.039000e+03 | 1.95%| unknown
1965.34/1970.36 c 1970s| 15300 | 997 | 10340k| 390.1 | 498M | 48 |1515 |4083 |3218 |9899 | 1 | 20k|6864 | 1.019118e+03 | 1.039000e+03 | 1.95%| unknown
1968.13/1973.12 c 1973s| 15400 | 997 | 10365k| 389.6 | 498M | 48 |1515 |4087 |3220 |9936 | 1 | 20k|6865 | 1.019118e+03 | 1.039000e+03 | 1.95%| unknown
1975.71/1980.72 c 1981s| 15500 | 1011 | 10413k| 389.9 | 498M | 48 |1515 |4057 |3216 | 10k| 0 | 20k|6881 | 1.019146e+03 | 1.039000e+03 | 1.95%| unknown
1980.50/1985.51 c 1986s| 15600 | 1021 | 10448k| 389.7 | 498M | 48 |1515 |4051 |3216 | 10k| 0 | 20k|6887 | 1.019215e+03 | 1.039000e+03 | 1.94%| unknown
1985.89/1990.96 c 1991s| 15700 | 1025 | 10483k| 389.6 | 498M | 48 |1515 |4121 |3213 | 10k| 0 | 20k|6923 | 1.019219e+03 | 1.039000e+03 | 1.94%| unknown
1994.17/1999.29 c 1999s| 15800 | 1047 | 10535k| 390.1 | 498M | 48 |1515 |4036 |3213 | 10k| 1 | 20k|6931 | 1.019279e+03 | 1.039000e+03 | 1.93%| unknown
1998.76/2003.85 c 2004s| 15900 | 1051 | 10564k| 389.7 | 498M | 48 |1515 |4047 |3213 | 10k| 0 | 20k|6958 | 1.019282e+03 | 1.039000e+03 | 1.93%| unknown
2002.85/2007.93 c 2008s| 16000 | 1051 | 10593k| 389.4 | 498M | 48 |1515 |4149 |3217 | 10k| 1 | 20k|6997 | 1.019282e+03 | 1.039000e+03 | 1.93%| unknown
2010.93/2016.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2010.93/2016.09 c 2016s| 16100 | 1059 | 10640k| 389.6 | 498M | 48 |1515 |4177 |3219 | 10k| 0 | 20k|7053 | 1.019296e+03 | 1.039000e+03 | 1.93%| unknown
2014.32/2019.41 c 2019s| 16200 | 1063 | 10669k| 389.3 | 498M | 48 |1515 |4190 |3224 | 10k| 1 | 20k|7063 | 1.019296e+03 | 1.039000e+03 | 1.93%| unknown
2017.91/2023.03 c 2023s| 16300 | 1061 | 10696k| 388.8 | 498M | 48 |1515 |4295 |3226 | 10k| 2 | 21k|7103 | 1.019296e+03 | 1.039000e+03 | 1.93%| unknown
2024.49/2029.68 c 2030s| 16400 | 1075 | 10737k| 388.9 | 498M | 48 |1515 |4260 |3224 | 10k| 1 | 21k|7124 | 1.019321e+03 | 1.039000e+03 | 1.93%| unknown
2030.68/2035.84 c 2036s| 16500 | 1083 | 10769k| 388.7 | 498M | 48 |1515 |4287 |3229 | 10k| 0 | 21k|7148 | 1.019326e+03 | 1.039000e+03 | 1.93%| unknown
2034.67/2039.89 c 2040s| 16600 | 1087 | 10804k| 388.5 | 498M | 48 |1515 |4310 |3223 | 10k| 1 | 21k|7164 | 1.019345e+03 | 1.039000e+03 | 1.93%| unknown
2039.96/2045.12 c 2045s| 16700 | 1091 | 10839k| 388.4 | 498M | 48 |1515 |4338 |3229 | 10k| 0 | 21k|7185 | 1.019347e+03 | 1.039000e+03 | 1.93%| unknown
2051.63/2056.87 c 2057s| 16800 | 1101 | 10911k| 389.6 | 498M | 48 |1515 |4337 |3224 | 10k| 1 | 21k|7225 | 1.019368e+03 | 1.039000e+03 | 1.93%| unknown
2059.31/2064.54 c 2065s| 16900 | 1117 | 10959k| 389.9 | 498M | 48 |1515 |4300 |3232 | 10k| 1 | 21k|7238 | 1.019396e+03 | 1.039000e+03 | 1.92%| unknown
2064.50/2069.75 c 2070s| 17000 | 1123 | 10991k| 389.6 | 498M | 48 |1515 |4315 |3229 | 11k| 1 | 21k|7283 | 1.019402e+03 | 1.039000e+03 | 1.92%| unknown
2070.48/2075.73 c 2076s| 17100 | 1131 | 11029k| 389.6 | 498M | 48 |1515 |4429 |3229 | 11k| 1 | 21k|7335 | 1.019407e+03 | 1.039000e+03 | 1.92%| unknown
2075.67/2080.92 c 2081s| 17200 | 1129 | 11053k| 389.1 | 498M | 48 |1515 |4484 |3232 | 11k| 1 | 21k|7376 | 1.019407e+03 | 1.039000e+03 | 1.92%| unknown
2079.66/2084.95 c 2085s| 17300 | 1133 | 11082k| 388.7 | 498M | 48 |1515 |4493 |3231 | 11k| 1 | 22k|7390 | 1.019437e+03 | 1.039000e+03 | 1.92%| unknown
2085.45/2090.70 c 2091s| 17400 | 1137 | 11115k| 388.5 | 498M | 48 |1515 |4573 |3236 | 11k| 2 | 22k|7424 | 1.019444e+03 | 1.039000e+03 | 1.92%| unknown
2093.83/2099.16 c 2099s| 17500 | 1153 | 11166k| 389.0 | 498M | 48 |1515 |4595 |3238 | 11k| 1 | 22k|7459 | 1.019450e+03 | 1.039000e+03 | 1.92%| unknown
2110.09/2115.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2110.09/2115.45 c 2115s| 17600 | 1169 | 11231k| 389.9 | 507M | 48 |1515 |4562 |3251 | 11k| 1 | 22k|7529 | 1.019467e+03 | 1.039000e+03 | 1.92%| unknown
2113.28/2118.67 c 2119s| 17700 | 1163 | 11258k| 389.5 | 509M | 48 |1515 |4586 |3246 | 11k| 1 | 22k|7538 | 1.019467e+03 | 1.039000e+03 | 1.92%| unknown
2117.27/2122.62 c 2123s| 17800 | 1167 | 11294k| 389.3 | 509M | 48 |1515 |4561 |3253 | 11k| 1 | 22k|7546 | 1.019472e+03 | 1.039000e+03 | 1.92%| unknown
2120.77/2126.13 c 2126s| 17900 | 1167 | 11321k| 388.9 | 510M | 48 |1515 |4560 |3255 | 11k| 0 | 22k|7549 | 1.019472e+03 | 1.039000e+03 | 1.92%| unknown
2125.15/2130.55 c 2131s| 18000 | 1165 | 11353k| 388.7 | 518M | 48 |1515 |4522 |3249 | 11k| 1 | 22k|7550 | 1.019472e+03 | 1.039000e+03 | 1.92%| unknown
2130.74/2136.16 c 2136s| 18100 | 1175 | 11390k| 388.6 | 518M | 48 |1515 |4396 |3238 | 11k| 1 | 22k|7550 | 1.019481e+03 | 1.039000e+03 | 1.91%| unknown
2134.23/2139.64 c 2140s| 18200 | 1173 | 11418k| 388.3 | 518M | 48 |1515 |4402 |3247 | 11k| 0 | 22k|7553 | 1.019481e+03 | 1.039000e+03 | 1.91%| unknown
2137.32/2142.71 c 2143s| 18300 | 1173 | 11447k| 387.9 | 518M | 48 |1515 |4341 |3233 | 11k| 0 | 22k|7553 | 1.019481e+03 | 1.039000e+03 | 1.91%| unknown
2140.41/2145.81 c 2146s| 18400 | 1173 | 11475k| 387.6 | 516M | 48 |1515 |4338 |3250 | 11k| 0 | 22k|7553 | 1.019481e+03 | 1.039000e+03 | 1.91%| unknown
2145.40/2150.82 c 2151s| 18500 | 1177 | 11510k| 387.4 | 509M | 48 |1515 |4273 |3232 | 12k| 1 | 22k|7553 | 1.019483e+03 | 1.039000e+03 | 1.91%| unknown
2148.89/2154.35 c 2154s| 18600 | 1175 | 11539k| 387.1 | 504M | 48 |1515 |4290 |3234 | 12k| 0 | 22k|7559 | 1.019483e+03 | 1.039000e+03 | 1.91%| unknown
2151.69/2157.18 c 2157s| 18700 | 1179 | 11567k| 386.8 | 504M | 48 |1515 |4287 |3249 | 12k| 1 | 22k|7559 | 1.019483e+03 | 1.039000e+03 | 1.91%| unknown
2156.17/2161.68 c 2162s| 18800 | 1177 | 11598k| 386.5 | 504M | 48 |1515 |4310 |3247 | 12k| 1 | 22k|7573 | 1.019483e+03 | 1.039000e+03 | 1.91%| unknown
2161.06/2166.57 c 2167s| 18900 | 1185 | 11636k| 386.5 | 504M | 48 |1515 |4141 |3247 | 12k| 1 | 22k|7576 | 1.019522e+03 | 1.039000e+03 | 1.91%| unknown
2169.44/2174.93 c 2175s| 19000 | 1193 | 11703k| 387.4 | 504M | 48 |1515 |3977 |3251 | 12k| 0 | 22k|7576 | 1.019582e+03 | 1.039000e+03 | 1.90%| unknown
2174.03/2179.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2174.03/2179.53 c 2180s| 19100 | 1205 | 11746k| 387.5 | 504M | 48 |1515 |3872 |3228 | 12k| 1 | 22k|7576 | 1.019582e+03 | 1.039000e+03 | 1.90%| unknown
2179.02/2184.51 c 2185s| 19200 | 1213 | 11784k| 387.5 | 504M | 48 |1515 |3863 |3225 | 12k| 1 | 22k|7576 | 1.019582e+03 | 1.039000e+03 | 1.90%| unknown
2181.81/2187.39 c 2187s| 19300 | 1213 | 11810k| 387.1 | 504M | 48 |1515 |3863 |3226 | 12k| 0 | 22k|7576 | 1.019582e+03 | 1.039000e+03 | 1.90%| unknown
2187.00/2192.56 c 2193s| 19400 | 1219 | 11843k| 386.9 | 504M | 48 |1515 |3847 |3229 | 12k| 1 | 22k|7576 | 1.019588e+03 | 1.039000e+03 | 1.90%| unknown
2190.60/2196.18 c 2196s| 19500 | 1223 | 11875k| 386.7 | 504M | 48 |1515 |3837 |3234 | 12k| 1 | 22k|7576 | 1.019592e+03 | 1.039000e+03 | 1.90%| unknown
2196.48/2202.00 c 2202s| 19600 | 1229 | 11914k| 386.7 | 504M | 48 |1515 |3830 |3236 | 12k| 1 | 22k|7576 | 1.019603e+03 | 1.039000e+03 | 1.90%| unknown
2201.96/2207.53 c 2208s| 19700 | 1233 | 11948k| 386.6 | 502M | 48 |1515 |3821 |3237 | 12k| 1 | 22k|7579 | 1.019638e+03 | 1.039000e+03 | 1.90%| unknown
2204.66/2210.22 c 2210s| 19800 | 1229 | 11973k| 386.1 | 502M | 48 |1515 |3815 |3229 | 12k| 0 | 22k|7579 | 1.019638e+03 | 1.039000e+03 | 1.90%| unknown
2211.55/2217.17 c 2217s| 19900 | 1243 | 12014k| 386.2 | 502M | 48 |1515 |3808 |3234 | 12k| 1 | 22k|7579 | 1.019666e+03 | 1.039000e+03 | 1.90%| unknown
2215.13/2220.74 c 2221s| 20000 | 1249 | 12046k| 386.0 | 502M | 48 |1515 |3809 |3234 | 12k| 2 | 22k|7579 | 1.019675e+03 | 1.039000e+03 | 1.90%| unknown
2219.02/2224.61 c 2225s| 20100 | 1255 | 12081k| 385.9 | 502M | 48 |1515 |3785 |3225 | 12k| 0 | 22k|7579 | 1.019675e+03 | 1.039000e+03 | 1.90%| unknown
2222.61/2228.22 c 2228s| 20200 | 1261 | 12115k| 385.7 | 502M | 48 |1515 |3793 |3230 | 13k| 0 | 22k|7579 | 1.019682e+03 | 1.039000e+03 | 1.89%| unknown
2228.00/2233.67 c 2234s| 20300 | 1271 | 12159k| 385.9 | 502M | 48 |1515 |3791 |3237 | 13k| 2 | 22k|7580 | 1.019700e+03 | 1.039000e+03 | 1.89%| unknown
2231.29/2236.97 c 2237s| 20400 | 1277 | 12190k| 385.7 | 502M | 48 |1515 |3787 |3236 | 13k| 1 | 22k|7581 | 1.019702e+03 | 1.039000e+03 | 1.89%| unknown
2234.79/2240.45 c 2240s| 20500 | 1283 | 12222k| 385.5 | 502M | 48 |1515 |3786 |3230 | 13k| 1 | 22k|7581 | 1.019702e+03 | 1.039000e+03 | 1.89%| unknown
2237.98/2243.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2237.98/2243.68 c 2244s| 20600 | 1283 | 12252k| 385.2 | 502M | 48 |1515 |3778 |3235 | 13k| 0 | 22k|7581 | 1.019739e+03 | 1.039000e+03 | 1.89%| unknown
2242.47/2248.19 c 2248s| 20700 | 1285 | 12282k| 384.9 | 502M | 48 |1515 |3772 |3238 | 13k| 1 | 22k|7581 | 1.019744e+03 | 1.039000e+03 | 1.89%| unknown
2245.96/2251.60 c 2252s| 20800 | 1291 | 12314k| 384.7 | 502M | 48 |1515 |3770 |3234 | 13k| 0 | 22k|7581 | 1.019752e+03 | 1.039000e+03 | 1.89%| unknown
2258.23/2263.90 c 2264s| 20900 | 1307 | 12393k| 386.0 | 502M | 48 |1515 |3760 |3232 | 13k| 1 | 22k|7585 | 1.019797e+03 | 1.039000e+03 | 1.88%| unknown
2261.82/2267.51 c 2268s| 21000 | 1313 | 12428k| 385.9 | 502M | 48 |1515 |3760 |3231 | 13k| 1 | 22k|7587 | 1.019798e+03 | 1.039000e+03 | 1.88%| unknown
2267.11/2272.80 c 2273s| 21100 | 1317 | 12462k| 385.7 | 502M | 48 |1515 |3780 |3233 | 13k| 1 | 22k|7598 | 1.019799e+03 | 1.039000e+03 | 1.88%| unknown
2270.41/2276.18 c 2276s| 21200 | 1317 | 12493k| 385.5 | 502M | 48 |1515 |3791 |3231 | 13k| 0 | 22k|7603 | 1.019799e+03 | 1.039000e+03 | 1.88%| unknown
2273.89/2279.61 c 2280s| 21300 | 1323 | 12527k| 385.3 | 502M | 48 |1515 |3810 |3235 | 13k| 1 | 22k|7608 | 1.019805e+03 | 1.039000e+03 | 1.88%| unknown
2281.07/2286.88 c 2287s| 21400 | 1333 | 12572k| 385.6 | 502M | 48 |1515 |3840 |3237 | 13k| 0 | 22k|7621 | 1.019834e+03 | 1.039000e+03 | 1.88%| unknown
2287.56/2293.36 c 2293s| 21500 | 1347 | 12618k| 385.8 | 503M | 48 |1515 |3832 |3230 | 13k| 1 | 22k|7622 | 1.019858e+03 | 1.039000e+03 | 1.88%| unknown
2292.75/2298.52 c 2299s| 21600 | 1357 | 12653k| 385.7 | 503M | 48 |1515 |3826 |3237 | 13k| 1 | 22k|7623 | 1.019883e+03 | 1.039000e+03 | 1.87%| unknown
2296.34/2302.13 c 2302s| 21700 | 1363 | 12685k| 385.5 | 503M | 48 |1515 |3819 |3235 | 13k| 1 | 22k|7623 | 1.019906e+03 | 1.039000e+03 | 1.87%| unknown
2304.42/2310.24 c 2310s| 21800 | 1373 | 12726k| 385.6 | 503M | 48 |1515 |3849 |3239 | 13k| 2 | 22k|7642 | 1.019917e+03 | 1.039000e+03 | 1.87%| unknown
2313.10/2318.91 c 2319s| 21900 | 1383 | 12773k| 385.8 | 503M | 48 |1515 |3874 |3239 | 14k| 1 | 23k|7661 | 1.019924e+03 | 1.039000e+03 | 1.87%| unknown
2318.49/2324.35 c 2324s| 22000 | 1393 | 12814k| 385.9 | 503M | 48 |1515 |3872 |3242 | 14k| 1 | 23k|7661 | 1.019934e+03 | 1.039000e+03 | 1.87%| unknown
2323.77/2329.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2323.77/2329.61 c 2330s| 22100 | 1401 | 12854k| 385.9 | 503M | 48 |1515 |3909 |3242 | 14k| 1 | 23k|7692 | 1.019947e+03 | 1.039000e+03 | 1.87%| unknown
2334.55/2340.40 c 2340s| 22200 | 1409 | 12908k| 386.4 | 503M | 48 |1515 |3928 |3241 | 14k| 0 | 23k|7728 | 1.019948e+03 | 1.039000e+03 | 1.87%| unknown
2344.62/2350.51 c 2351s| 22300 | 1407 | 12979k| 387.3 | 503M | 48 |1515 |3963 |3242 | 14k| 1 | 23k|7753 | 1.019951e+03 | 1.039000e+03 | 1.87%| unknown
2350.61/2356.50 c 2357s| 22400 | 1411 | 13026k| 387.6 | 503M | 48 |1515 |3967 |3236 | 14k| 0 | 23k|7768 | 1.019952e+03 | 1.039000e+03 | 1.87%| unknown
2353.70/2359.69 c 2360s| 22500 | 1411 | 13054k| 387.3 | 503M | 48 |1515 |3967 |3243 | 14k| 0 | 23k|7768 | 1.019952e+03 | 1.039000e+03 | 1.87%| unknown
2358.20/2364.13 c 2364s| 22600 | 1415 | 13088k| 387.1 | 503M | 48 |1515 |3941 |3237 | 14k| 1 | 23k|7768 | 1.019967e+03 | 1.039000e+03 | 1.87%| unknown
2362.88/2368.89 c 2369s| 22700 | 1421 | 13124k| 387.1 | 503M | 48 |1515 |3940 |3244 | 14k| 0 | 23k|7768 | 1.019976e+03 | 1.039000e+03 | 1.87%| unknown
2366.18/2372.14 c 2372s| 22800 | 1421 | 13152k| 386.7 | 501M | 48 |1515 |3993 |3249 | 14k| 0 | 23k|7781 | 1.019976e+03 | 1.039000e+03 | 1.87%| unknown
2369.76/2375.73 c 2376s| 22900 | 1421 | 13182k| 386.5 | 501M | 48 |1515 |4063 |3243 | 14k| 1 | 23k|7800 | 1.019976e+03 | 1.039000e+03 | 1.87%| unknown
2382.23/2388.26 c 2388s| 23000 | 1439 | 13244k| 387.2 | 504M | 48 |1515 |4065 |3234 | 14k| 1 | 23k|7814 | 1.019987e+03 | 1.039000e+03 | 1.86%| unknown
2385.43/2391.46 c 2391s| 23100 | 1439 | 13274k| 386.9 | 504M | 48 |1515 |4063 |3237 | 14k| 1 | 23k|7814 | 1.019987e+03 | 1.039000e+03 | 1.86%| unknown
2393.31/2399.37 c 2399s| 23200 | 1449 | 13320k| 387.1 | 504M | 48 |1515 |4035 |3253 | 15k| 0 | 23k|7817 | 1.019997e+03 | 1.039000e+03 | 1.86%| unknown
2397.60/2403.65 c 2404s| 23300 | 1455 | 13355k| 387.0 | 504M | 48 |1515 |4022 |3237 | 15k| 1 | 23k|7826 | 1.019997e+03 | 1.039000e+03 | 1.86%| unknown
2400.69/2406.70 c 2407s| 23400 | 1455 | 13385k| 386.8 | 504M | 48 |1515 |4021 |3247 | 15k| 0 | 23k|7827 | 1.019997e+03 | 1.039000e+03 | 1.86%| unknown
2405.98/2412.09 c 2412s| 23500 | 1457 | 13421k| 386.7 | 504M | 48 |1515 |4027 |3243 | 15k| 0 | 23k|7839 | 1.020005e+03 | 1.039000e+03 | 1.86%| unknown
2409.27/2415.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2409.27/2415.32 c 2415s| 23600 | 1457 | 13451k| 386.4 | 504M | 48 |1515 |4018 |3238 | 15k| 1 | 23k|7841 | 1.020005e+03 | 1.039000e+03 | 1.86%| unknown
2416.15/2422.26 c 2422s| 23700 | 1461 | 13492k| 386.5 | 504M | 48 |1515 |3974 |3232 | 15k| 0 | 23k|7841 | 1.020040e+03 | 1.039000e+03 | 1.86%| unknown
2419.24/2425.31 c 2425s| 23800 | 1461 | 13519k| 386.2 | 504M | 48 |1515 |3954 |3234 | 15k| 0 | 23k|7841 | 1.020040e+03 | 1.039000e+03 | 1.86%| unknown
2424.63/2430.72 c 2431s| 23900 | 1469 | 13562k| 386.3 | 504M | 48 |1515 |3921 |3233 | 15k| 1 | 23k|7841 | 1.020046e+03 | 1.039000e+03 | 1.86%| unknown
2427.72/2433.81 c 2434s| 24000 | 1469 | 13590k| 386.0 | 504M | 48 |1515 |3921 |3236 | 15k| 0 | 23k|7841 | 1.020046e+03 | 1.039000e+03 | 1.86%| unknown
2431.22/2437.35 c 2437s| 24100 | 1473 | 13625k| 385.9 | 504M | 48 |1515 |3929 |3237 | 15k| 1 | 23k|7845 | 1.020046e+03 | 1.039000e+03 | 1.86%| unknown
2436.10/2442.24 c 2442s| 24200 | 1479 | 13665k| 385.9 | 504M | 48 |1515 |3929 |3237 | 15k| 1 | 23k|7853 | 1.020051e+03 | 1.039000e+03 | 1.86%| unknown
2440.09/2446.29 c 2446s| 24300 | 1483 | 13702k| 385.9 | 504M | 48 |1515 |3883 |3229 | 15k| 2 | 23k|7853 | 1.020057e+03 | 1.039000e+03 | 1.86%| unknown
2443.78/2449.96 c 2450s| 24400 | 1487 | 13736k| 385.8 | 504M | 48 |1515 |3877 |3237 | 15k| 0 | 23k|7854 | 1.020057e+03 | 1.039000e+03 | 1.86%| unknown
2448.47/2454.60 c 2455s| 24500 | 1489 | 13771k| 385.6 | 504M | 48 |1515 |3856 |3231 | 15k| 0 | 23k|7855 | 1.020057e+03 | 1.039000e+03 | 1.86%| unknown
2453.46/2459.61 c 2460s| 24600 | 1495 | 13806k| 385.6 | 504M | 48 |1515 |3836 |3238 | 15k| 1 | 23k|7856 | 1.020062e+03 | 1.039000e+03 | 1.86%| unknown
2459.35/2465.51 c 2466s| 24700 | 1499 | 13842k| 385.5 | 504M | 48 |1515 |3850 |3242 | 15k| 0 | 23k|7866 | 1.020066e+03 | 1.039000e+03 | 1.86%| unknown
2468.43/2474.64 c 2475s| 24800 | 1507 | 13915k| 386.4 | 504M | 48 |1515 |3846 |3231 | 16k| 1 | 23k|7880 | 1.020078e+03 | 1.039000e+03 | 1.85%| unknown
2473.71/2479.94 c 2480s| 24900 | 1511 | 13949k| 386.3 | 504M | 48 |1515 |3827 |3228 | 16k| 1 | 23k|7880 | 1.020081e+03 | 1.039000e+03 | 1.85%| unknown
2477.60/2483.85 c 2484s| 25000 | 1515 | 13984k| 386.2 | 504M | 48 |1515 |3830 |3231 | 16k| 0 | 23k|7880 | 1.020101e+03 | 1.039000e+03 | 1.85%| unknown
2480.80/2487.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2480.80/2487.04 c 2487s| 25100 | 1515 | 14015k| 386.0 | 504M | 48 |1515 |3824 |3243 | 16k| 0 | 23k|7880 | 1.020101e+03 | 1.039000e+03 | 1.85%| unknown
2484.09/2490.32 c 2490s| 25200 | 1515 | 14045k| 385.8 | 504M | 48 |1515 |3824 |3244 | 16k| 1 | 23k|7880 | 1.020101e+03 | 1.039000e+03 | 1.85%| unknown
2489.58/2495.83 c 2496s| 25300 | 1525 | 14090k| 385.9 | 504M | 48 |1515 |3828 |3243 | 16k| 1 | 23k|7889 | 1.020103e+03 | 1.039000e+03 | 1.85%| unknown
2497.56/2503.84 c 2504s| 25400 | 1535 | 14139k| 386.2 | 504M | 48 |1515 |3798 |3238 | 16k| 0 | 23k|7891 | 1.020115e+03 | 1.039000e+03 | 1.85%| unknown
2503.44/2509.78 c 2510s| 25500 | 1541 | 14182k| 386.3 | 504M | 48 |1515 |3771 |3234 | 16k| 1 | 23k|7891 | 1.020125e+03 | 1.039000e+03 | 1.85%| unknown
2506.93/2513.21 c 2513s| 25600 | 1543 | 14212k| 386.1 | 504M | 48 |1515 |3771 |3233 | 16k| 1 | 23k|7891 | 1.020125e+03 | 1.039000e+03 | 1.85%| unknown
2512.72/2519.08 c 2519s| 25700 | 1549 | 14256k| 386.3 | 504M | 48 |1515 |3758 |3237 | 16k| 1 | 23k|7891 | 1.020129e+03 | 1.039000e+03 | 1.85%| unknown
2518.61/2524.98 c 2525s| 25800 | 1549 | 14293k| 386.2 | 504M | 48 |1515 |3756 |3233 | 16k| 0 | 23k|7895 | 1.020150e+03 | 1.039000e+03 | 1.85%| unknown
2522.70/2529.06 c 2529s| 25900 | 1553 | 14332k| 386.2 | 504M | 48 |1515 |3749 |3220 | 16k| 1 | 23k|7895 | 1.020158e+03 | 1.039000e+03 | 1.85%| unknown
2526.99/2533.33 c 2533s| 26000 | 1557 | 14371k| 386.2 | 504M | 48 |1515 |3749 |3235 | 16k| 1 | 23k|7895 | 1.020158e+03 | 1.039000e+03 | 1.85%| unknown
2529.88/2536.29 c 2536s| 26100 | 1557 | 14398k| 385.9 | 504M | 48 |1515 |3749 |3242 | 16k| 1 | 23k|7895 | 1.020158e+03 | 1.039000e+03 | 1.85%| unknown
2534.77/2541.16 c 2541s| 26200 | 1563 | 14440k| 386.0 | 504M | 48 |1515 |3753 |3230 | 16k| 1 | 23k|7896 | 1.020159e+03 | 1.039000e+03 | 1.85%| unknown
2542.65/2549.02 c 2549s| 26300 | 1575 | 14485k| 386.2 | 504M | 48 |1515 |3736 |3235 | 17k| 1 | 23k|7896 | 1.020169e+03 | 1.039000e+03 | 1.85%| unknown
2546.54/2552.90 c 2553s| 26400 | 1577 | 14520k| 386.1 | 504M | 48 |1515 |3740 |3240 | 17k| 0 | 23k|7897 | 1.020169e+03 | 1.039000e+03 | 1.85%| unknown
2552.63/2559.08 c 2559s| 26500 | 1591 | 14564k| 386.2 | 504M | 48 |1515 |3738 |3244 | 17k| 1 | 23k|7897 | 1.020184e+03 | 1.039000e+03 | 1.84%| unknown
2558.41/2564.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2558.41/2564.81 c 2565s| 26600 | 1599 | 14604k| 386.3 | 504M | 48 |1515 |3754 |3237 | 17k| 1 | 24k|7904 | 1.020215e+03 | 1.039000e+03 | 1.84%| unknown
2561.40/2567.82 c 2568s| 26700 | 1599 | 14633k| 386.0 | 504M | 48 |1515 |3764 |3246 | 17k| 0 | 24k|7907 | 1.020215e+03 | 1.039000e+03 | 1.84%| unknown
2565.79/2572.28 c 2572s| 26800 | 1605 | 14672k| 386.0 | 504M | 48 |1515 |3814 |3240 | 17k| 1 | 24k|7922 | 1.020222e+03 | 1.039000e+03 | 1.84%| unknown
2575.07/2581.53 c 2582s| 26900 | 1615 | 14743k| 386.9 | 504M | 48 |1515 |3829 |3241 | 17k| 0 | 24k|7935 | 1.020238e+03 | 1.039000e+03 | 1.84%| unknown
2586.74/2593.29 c 2593s| 27000 | 1631 | 14800k| 387.4 | 504M | 48 |1515 |3872 |3243 | 17k| 1 | 24k|7984 | 1.020252e+03 | 1.039000e+03 | 1.84%| unknown
2590.43/2596.99 c 2597s| 27100 | 1625 | 14830k| 387.1 | 504M | 48 |1515 |3921 |3239 | 17k| 0 | 24k|8003 | 1.020252e+03 | 1.039000e+03 | 1.84%| unknown
2594.92/2601.44 c 2601s| 27200 | 1635 | 14871k| 387.2 | 504M | 48 |1515 |3913 |3244 | 17k| 0 | 24k|8003 | 1.020259e+03 | 1.039000e+03 | 1.84%| unknown
2600.21/2606.79 c 2607s| 27300 | 1651 | 14918k| 387.4 | 504M | 48 |1515 |3894 |3241 | 17k| 0 | 24k|8003 | 1.020284e+03 | 1.039000e+03 | 1.83%| unknown
2603.30/2609.87 c 2610s| 27400 | 1649 | 14948k| 387.2 | 504M | 48 |1515 |3893 |3238 | 17k| 0 | 24k|8003 | 1.020284e+03 | 1.039000e+03 | 1.83%| unknown
2608.50/2615.05 c 2615s| 27500 | 1647 | 14984k| 387.1 | 504M | 48 |1515 |3889 |3236 | 17k| 0 | 24k|8003 | 1.020297e+03 | 1.039000e+03 | 1.83%| unknown
2616.97/2623.56 c 2624s| 27600 | 1659 | 15036k| 387.4 | 504M | 48 |1515 |3882 |3236 | 17k| 0 | 24k|8003 | 1.020299e+03 | 1.039000e+03 | 1.83%| unknown
2622.96/2629.57 c 2630s| 27700 | 1669 | 15079k| 387.6 | 504M | 48 |1515 |3864 |3239 | 17k| 1 | 24k|8003 | 1.020339e+03 | 1.039000e+03 | 1.83%| unknown
2628.64/2635.22 c 2635s| 27800 | 1677 | 15119k| 387.6 | 504M | 48 |1515 |3800 |3241 | 18k| 0 | 24k|8003 | 1.020342e+03 | 1.039000e+03 | 1.83%| unknown
2636.72/2643.30 c 2643s| 27900 | 1689 | 15166k| 387.8 | 504M | 48 |1515 |3739 |3244 | 18k| 2 | 24k|8003 | 1.020350e+03 | 1.039000e+03 | 1.83%| unknown
2640.02/2646.65 c 2647s| 28000 | 1689 | 15196k| 387.6 | 504M | 48 |1515 |3744 |3237 | 18k| 0 | 24k|8004 | 1.020350e+03 | 1.039000e+03 | 1.83%| unknown
2643.61/2650.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2643.61/2650.24 c 2650s| 28100 | 1691 | 15228k| 387.4 | 504M | 48 |1515 |3754 |3242 | 18k| 1 | 24k|8007 | 1.020350e+03 | 1.039000e+03 | 1.83%| unknown
2650.40/2657.10 c 2657s| 28200 | 1695 | 15272k| 387.5 | 504M | 48 |1515 |3804 |3239 | 18k| 2 | 24k|8032 | 1.020367e+03 | 1.039000e+03 | 1.83%| unknown
2658.57/2665.29 c 2665s| 28300 | 1701 | 15332k| 388.1 | 504M | 48 |1515 |3774 |3237 | 18k| 0 | 24k|8032 | 1.020372e+03 | 1.039000e+03 | 1.83%| unknown
2663.96/2670.62 c 2671s| 28400 | 1705 | 15370k| 388.1 | 504M | 48 |1515 |3757 |3243 | 18k| 0 | 24k|8038 | 1.020387e+03 | 1.039000e+03 | 1.82%| unknown
2669.15/2675.82 c 2676s| 28500 | 1715 | 15415k| 388.2 | 504M | 48 |1515 |3733 |3211 | 18k| 1 | 24k|8041 | 1.020397e+03 | 1.039000e+03 | 1.82%| unknown
2672.34/2679.09 c 2679s| 28600 | 1717 | 15445k| 388.0 | 504M | 48 |1515 |3742 |3219 | 18k| 0 | 24k|8041 | 1.020404e+03 | 1.039000e+03 | 1.82%| unknown
2677.33/2684.04 c 2684s| 28700 | 1737 | 15489k| 388.1 | 504M | 48 |1515 |3742 |3226 | 18k| 1 | 24k|8041 | 1.020404e+03 | 1.039000e+03 | 1.82%| unknown
2680.02/2686.79 c 2687s| 28800 | 1737 | 15515k| 387.8 | 504M | 48 |1515 |3744 |3231 | 18k| 0 | 24k|8043 | 1.020404e+03 | 1.039000e+03 | 1.82%| unknown
2683.01/2689.76 c 2690s| 28900 | 1733 | 15543k| 387.5 | 504M | 48 |1515 |3756 |3219 | 18k| 0 | 24k|8048 | 1.020404e+03 | 1.039000e+03 | 1.82%| unknown
2686.60/2693.33 c 2693s| 29000 | 1735 | 15574k| 387.4 | 504M | 48 |1515 |3759 |3218 | 18k| 0 | 24k|8049 | 1.020404e+03 | 1.039000e+03 | 1.82%| unknown
2692.59/2699.30 c 2699s| 29100 | 1747 | 15617k| 387.5 | 504M | 48 |1515 |3748 |3222 | 18k| 1 | 24k|8050 | 1.020417e+03 | 1.039000e+03 | 1.82%| unknown
2695.28/2702.09 c 2702s| 29200 | 1745 | 15644k| 387.1 | 504M | 48 |1515 |3749 |3225 | 18k| 0 | 24k|8051 | 1.020417e+03 | 1.039000e+03 | 1.82%| unknown
2700.97/2707.76 c 2708s| 29300 | 1755 | 15685k| 387.2 | 504M | 48 |1515 |3761 |3219 | 18k| 1 | 24k|8052 | 1.020419e+03 | 1.039000e+03 | 1.82%| unknown
2704.06/2710.80 c 2711s| 29400 | 1755 | 15713k| 387.0 | 504M | 48 |1515 |3761 |3227 | 18k| 1 | 24k|8052 | 1.020419e+03 | 1.039000e+03 | 1.82%| unknown
2710.54/2717.32 c 2717s| 29500 | 1769 | 15758k| 387.1 | 504M | 48 |1515 |3762 |3228 | 18k| 1 | 24k|8052 | 1.020451e+03 | 1.039000e+03 | 1.82%| unknown
2714.63/2721.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2714.63/2721.49 c 2721s| 29600 | 1779 | 15797k| 387.1 | 504M | 48 |1515 |3779 |3236 | 19k| 0 | 24k|8052 | 1.020467e+03 | 1.039000e+03 | 1.82%| unknown
2723.51/2730.39 c 2730s| 29700 | 1793 | 15849k| 387.4 | 504M | 48 |1515 |3766 |3227 | 19k| 0 | 24k|8056 | 1.020477e+03 | 1.039000e+03 | 1.82%| unknown
2726.80/2733.67 c 2734s| 29800 | 1793 | 15880k| 387.2 | 504M | 48 |1515 |3771 |3233 | 19k| 0 | 24k|8058 | 1.020477e+03 | 1.039000e+03 | 1.82%| unknown
2730.30/2737.16 c 2737s| 29900 | 1797 | 15912k| 387.1 | 504M | 48 |1515 |3768 |3232 | 19k| 0 | 24k|8062 | 1.020486e+03 | 1.039000e+03 | 1.81%| unknown
2735.98/2742.86 c 2743s| 30000 | 1799 | 15950k| 387.1 | 504M | 48 |1515 |3781 |3221 | 19k| 0 | 24k|8087 | 1.020492e+03 | 1.039000e+03 | 1.81%| unknown
2739.07/2745.98 c 2746s| 30100 | 1799 | 15981k| 386.9 | 504M | 48 |1515 |3781 |3220 | 19k| 1 | 24k|8087 | 1.020492e+03 | 1.039000e+03 | 1.81%| unknown
2746.96/2753.81 c 2754s| 30200 | 1799 | 16043k| 387.4 | 504M | 48 |1515 |3772 |3221 | 19k| 1 | 24k|8087 | 1.020498e+03 | 1.039000e+03 | 1.81%| unknown
2752.94/2759.81 c 2760s| 30300 | 1807 | 16088k| 387.6 | 504M | 48 |1515 |3768 |3221 | 19k| 0 | 24k|8087 | 1.020507e+03 | 1.039000e+03 | 1.81%| unknown
2756.43/2763.34 c 2763s| 30400 | 1811 | 16119k| 387.4 | 504M | 48 |1515 |3765 |3218 | 19k| 1 | 24k|8087 | 1.020507e+03 | 1.039000e+03 | 1.81%| unknown
2761.13/2768.01 c 2768s| 30500 | 1821 | 16157k| 387.4 | 504M | 48 |1515 |3763 |3210 | 19k| 1 | 24k|8088 | 1.020519e+03 | 1.039000e+03 | 1.81%| unknown
2764.22/2771.13 c 2771s| 30600 | 1821 | 16185k| 387.1 | 504M | 48 |1515 |3763 |3217 | 19k| 1 | 24k|8088 | 1.020519e+03 | 1.039000e+03 | 1.81%| unknown
2768.21/2775.18 c 2775s| 30700 | 1829 | 16220k| 387.0 | 504M | 48 |1515 |3761 |3228 | 19k| 1 | 24k|8088 | 1.020522e+03 | 1.039000e+03 | 1.81%| unknown
2772.89/2779.86 c 2780s| 30800 | 1837 | 16257k| 387.0 | 504M | 48 |1515 |3759 |3224 | 19k| 1 | 24k|8088 | 1.020528e+03 | 1.039000e+03 | 1.81%| unknown
2778.68/2785.67 c 2786s| 30900 | 1835 | 16289k| 386.8 | 504M | 48 |1515 |3752 |3220 | 19k| 0 | 24k|8090 | 1.020530e+03 | 1.039000e+03 | 1.81%| unknown
2784.97/2791.92 c 2792s| 31000 | 1849 | 16335k| 387.0 | 504M | 48 |1515 |3749 |3223 | 19k| 1 | 24k|8090 | 1.020532e+03 | 1.039000e+03 | 1.81%| unknown
2787.66/2794.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2787.66/2794.66 c 2795s| 31100 | 1847 | 16361k| 386.7 | 504M | 48 |1515 |3751 |3224 | 19k| 0 | 24k|8093 | 1.020532e+03 | 1.039000e+03 | 1.81%| unknown
2793.35/2800.30 c 2800s| 31200 | 1855 | 16399k| 386.7 | 504M | 48 |1515 |3748 |3232 | 20k| 2 | 24k|8093 | 1.020534e+03 | 1.039000e+03 | 1.81%| unknown
2800.83/2807.89 c 2808s| 31300 | 1865 | 16443k| 386.8 | 504M | 48 |1515 |3743 |3232 | 20k| 1 | 24k|8095 | 1.020550e+03 | 1.039000e+03 | 1.81%| unknown
2807.21/2814.21 c 2814s| 31400 | 1877 | 16489k| 387.0 | 504M | 48 |1515 |3742 |3227 | 20k| 0 | 24k|8114 | 1.020562e+03 | 1.039000e+03 | 1.81%| unknown
2810.80/2817.86 c 2818s| 31500 | 1885 | 16522k| 386.9 | 504M | 48 |1515 |3764 |3229 | 20k| 0 | 24k|8120 | 1.020563e+03 | 1.039000e+03 | 1.81%| unknown
2817.79/2824.85 c 2825s| 31600 | 1903 | 16572k| 387.1 | 504M | 48 |1515 |3768 |3230 | 20k| 1 | 25k|8130 | 1.020588e+03 | 1.039000e+03 | 1.80%| unknown
2827.97/2835.04 c 2835s| 31700 | 1909 | 16645k| 387.9 | 504M | 48 |1515 |3818 |3228 | 20k| 1 | 25k|8177 | 1.020596e+03 | 1.039000e+03 | 1.80%| unknown
2834.85/2841.98 c 2842s| 31800 | 1913 | 16691k| 388.1 | 504M | 48 |1515 |3803 |3228 | 20k| 0 | 25k|8181 | 1.020611e+03 | 1.039000e+03 | 1.80%| unknown
2838.54/2845.61 c 2846s| 31900 | 1919 | 16725k| 388.0 | 504M | 48 |1515 |3801 |3228 | 20k| 1 | 25k|8182 | 1.020631e+03 | 1.039000e+03 | 1.80%| unknown
2844.22/2851.34 c 2851s| 32000 | 1925 | 16766k| 388.0 | 504M | 48 |1515 |3809 |3230 | 20k| 0 | 25k|8189 | 1.020636e+03 | 1.039000e+03 | 1.80%| unknown
2849.02/2856.16 c 2856s| 32100 | 1937 | 16809k| 388.1 | 504M | 48 |1515 |3831 |3230 | 20k| 1 | 25k|8191 | 1.020643e+03 | 1.039000e+03 | 1.80%| unknown
2852.80/2859.96 c 2860s| 32200 | 1939 | 16840k| 388.0 | 504M | 48 |1515 |3825 |3234 | 20k| 0 | 25k|8193 | 1.020644e+03 | 1.039000e+03 | 1.80%| unknown
2858.99/2866.15 c 2866s| 32300 | 1947 | 16883k| 388.1 | 504M | 48 |1515 |3832 |3224 | 20k| 0 | 25k|8198 | 1.020658e+03 | 1.039000e+03 | 1.80%| unknown
2862.28/2869.43 c 2869s| 32400 | 1945 | 16912k| 387.8 | 501M | 48 |1515 |3849 |3227 | 20k| 0 | 25k|8208 | 1.020658e+03 | 1.039000e+03 | 1.80%| unknown
2867.77/2875.00 c 2875s| 32500 | 1947 | 16948k| 387.8 | 501M | 48 |1515 |3830 |3222 | 20k| 0 | 25k|8208 | 1.020663e+03 | 1.039000e+03 | 1.80%| unknown
2875.05/2882.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2875.05/2882.24 c 2882s| 32600 | 1957 | 16993k| 387.9 | 501M | 48 |1515 |3819 |3224 | 20k| 0 | 25k|8208 | 1.020667e+03 | 1.039000e+03 | 1.80%| unknown
2879.34/2886.59 c 2887s| 32700 | 1965 | 17032k| 387.9 | 501M | 48 |1515 |3801 |3222 | 21k| 0 | 25k|8209 | 1.020671e+03 | 1.039000e+03 | 1.80%| unknown
2882.93/2890.14 c 2890s| 32800 | 1969 | 17065k| 387.8 | 501M | 48 |1515 |3806 |3223 | 21k| 0 | 25k|8213 | 1.020671e+03 | 1.039000e+03 | 1.80%| unknown
2888.51/2895.73 c 2896s| 32900 | 1973 | 17105k| 387.8 | 501M | 48 |1515 |3816 |3223 | 21k| 0 | 25k|8216 | 1.020671e+03 | 1.039000e+03 | 1.80%| unknown
2893.81/2901.10 c 2901s| 33000 | 1985 | 17149k| 387.9 | 501M | 48 |1515 |3819 |3224 | 21k| 1 | 25k|8224 | 1.020673e+03 | 1.039000e+03 | 1.80%| unknown
2898.19/2905.47 c 2905s| 33100 | 1985 | 17186k| 387.9 | 501M | 48 |1515 |3834 |3224 | 21k| 0 | 25k|8245 | 1.020681e+03 | 1.039000e+03 | 1.79%| unknown
2905.88/2913.11 c 2913s| 33200 | 1995 | 17235k| 388.1 | 501M | 48 |1515 |3824 |3237 | 21k| 1 | 25k|8245 | 1.020699e+03 | 1.039000e+03 | 1.79%| unknown
2913.45/2920.73 c 2921s| 33300 | 2001 | 17297k| 388.6 | 501M | 48 |1515 |3825 |3247 | 21k| 0 | 25k|8247 | 1.020702e+03 | 1.039000e+03 | 1.79%| unknown
2920.03/2927.33 c 2927s| 33400 | 2013 | 17345k| 388.8 | 502M | 48 |1515 |3875 |3248 | 21k| 1 | 25k|8266 | 1.020707e+03 | 1.039000e+03 | 1.79%| unknown
2924.62/2931.97 c 2932s| 33500 | 2019 | 17384k| 388.8 | 502M | 48 |1515 |3904 |3238 | 21k| 1 | 25k|8281 | 1.020709e+03 | 1.039000e+03 | 1.79%| unknown
2927.91/2935.29 c 2935s| 33600 | 2017 | 17415k| 388.7 | 502M | 48 |1515 |3904 |3240 | 21k| 0 | 25k|8281 | 1.020709e+03 | 1.039000e+03 | 1.79%| unknown
2935.40/2942.72 c 2943s| 33700 | 2029 | 17463k| 388.9 | 502M | 48 |1515 |3958 |3239 | 21k| 0 | 25k|8303 | 1.020721e+03 | 1.039000e+03 | 1.79%| unknown
2939.69/2947.04 c 2947s| 33800 | 2033 | 17501k| 388.8 | 502M | 48 |1515 |3977 |3239 | 21k| 0 | 25k|8310 | 1.020726e+03 | 1.039000e+03 | 1.79%| unknown
2943.78/2951.15 c 2951s| 33900 | 2037 | 17538k| 388.8 | 502M | 48 |1515 |3986 |3241 | 21k| 1 | 25k|8312 | 1.020734e+03 | 1.039000e+03 | 1.79%| unknown
2948.06/2955.42 c 2955s| 34000 | 2045 | 17577k| 388.8 | 502M | 48 |1515 |4033 |3247 | 21k| 2 | 25k|8325 | 1.020754e+03 | 1.039000e+03 | 1.79%| unknown
2954.95/2962.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2954.95/2962.39 c 2962s| 34100 | 2049 | 17619k| 388.9 | 502M | 48 |1515 |4102 |3245 | 21k| 0 | 25k|8354 | 1.020761e+03 | 1.039000e+03 | 1.79%| unknown
2964.23/2971.60 c 2972s| 34200 | 2057 | 17668k| 389.1 | 502M | 48 |1515 |4162 |3243 | 21k| 0 | 26k|8387 | 1.020765e+03 | 1.039000e+03 | 1.79%| unknown
2968.63/2976.03 c 2976s| 34300 | 2057 | 17703k| 389.0 | 502M | 48 |1515 |4266 |3241 | 21k| 0 | 26k|8423 | 1.020765e+03 | 1.039000e+03 | 1.79%| unknown
2974.21/2981.62 c 2982s| 34400 | 2067 | 17747k| 389.1 | 502M | 48 |1515 |4353 |3245 | 21k| 1 | 26k|8460 | 1.020772e+03 | 1.039000e+03 | 1.79%| unknown
2983.98/2991.44 c 2991s| 34500 | 2075 | 17796k| 389.4 | 502M | 48 |1515 |4430 |3247 | 21k| 1 | 26k|8533 | 1.020781e+03 | 1.039000e+03 | 1.78%| unknown
2988.87/2996.33 c 2996s| 34600 | 2071 | 17834k| 389.3 | 502M | 48 |1515 |4511 |3247 | 22k| 0 | 26k|8568 | 1.020781e+03 | 1.039000e+03 | 1.78%| unknown
2992.06/2999.52 c 3000s| 34700 | 2071 | 17863k| 389.1 | 502M | 48 |1515 |4508 |3239 | 22k| 1 | 26k|8568 | 1.020781e+03 | 1.039000e+03 | 1.78%| unknown
2996.15/3003.69 c 3004s| 34800 | 2077 | 17901k| 389.1 | 502M | 48 |1515 |4505 |3213 | 22k| 1 | 26k|8569 | 1.020782e+03 | 1.039000e+03 | 1.78%| unknown
3000.34/3007.87 c 3008s| 34900 | 2085 | 17936k| 389.0 | 502M | 48 |1515 |4502 |3214 | 22k| 1 | 26k|8569 | 1.020785e+03 | 1.039000e+03 | 1.78%| unknown
3004.33/3011.88 c 3012s| 35000 | 2089 | 17972k| 388.9 | 502M | 48 |1515 |4500 |3215 | 22k| 0 | 26k|8569 | 1.020788e+03 | 1.039000e+03 | 1.78%| unknown
3012.31/3019.82 c 3020s| 35100 | 2103 | 18018k| 389.1 | 502M | 48 |1515 |4498 |3215 | 22k| 1 | 26k|8569 | 1.020811e+03 | 1.039000e+03 | 1.78%| unknown
3021.09/3028.65 c 3029s| 35200 | 2107 | 18082k| 389.6 | 502M | 48 |1515 |4484 |3222 | 22k| 0 | 26k|8569 | 1.020814e+03 | 1.039000e+03 | 1.78%| unknown
3025.18/3032.73 c 3033s| 35300 | 2109 | 18120k| 389.6 | 502M | 48 |1515 |4466 |3216 | 22k| 1 | 26k|8572 | 1.020814e+03 | 1.039000e+03 | 1.78%| unknown
3029.07/3036.62 c 3037s| 35400 | 2117 | 18156k| 389.5 | 502M | 48 |1515 |4466 |3199 | 22k| 1 | 26k|8572 | 1.020814e+03 | 1.039000e+03 | 1.78%| unknown
3031.86/3039.40 c 3039s| 35500 | 2117 | 18183k| 389.3 | 502M | 48 |1515 |4466 |3204 | 22k| 0 | 26k|8572 | 1.020814e+03 | 1.039000e+03 | 1.78%| unknown
3034.65/3042.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3034.65/3042.24 c 3042s| 35600 | 2111 | 18210k| 389.0 | 502M | 48 |1515 |4481 |3204 | 22k| 1 | 26k|8577 | 1.020814e+03 | 1.039000e+03 | 1.78%| unknown
3039.14/3046.73 c 3047s| 35700 | 2119 | 18249k| 389.1 | 502M | 48 |1515 |4482 |3205 | 22k| 0 | 26k|8579 | 1.020815e+03 | 1.039000e+03 | 1.78%| unknown
3044.93/3052.58 c 3053s| 35800 | 2131 | 18295k| 389.2 | 502M | 48 |1515 |4475 |3206 | 22k| 0 | 26k|8579 | 1.020819e+03 | 1.039000e+03 | 1.78%| unknown
3050.71/3058.31 c 3058s| 35900 | 2143 | 18337k| 389.3 | 502M | 48 |1515 |4476 |3207 | 22k| 0 | 26k|8582 | 1.020842e+03 | 1.039000e+03 | 1.78%| unknown
3056.30/3063.99 c 3064s| 36000 | 2151 | 18375k| 389.2 | 502M | 48 |1515 |4440 |3206 | 22k| 1 | 26k|8584 | 1.020858e+03 | 1.039000e+03 | 1.78%| unknown
3060.29/3067.90 c 3068s| 36100 | 2157 | 18411k| 389.2 | 502M | 48 |1515 |4434 |3194 | 22k| 1 | 26k|8584 | 1.020873e+03 | 1.039000e+03 | 1.78%| unknown
3063.18/3070.85 c 3071s| 36200 | 2157 | 18437k| 388.9 | 502M | 48 |1515 |4433 |3206 | 22k| 0 | 26k|8584 | 1.020873e+03 | 1.039000e+03 | 1.78%| unknown
3066.77/3074.47 c 3074s| 36300 | 2161 | 18469k| 388.8 | 502M | 48 |1515 |4411 |3197 | 22k| 1 | 26k|8584 | 1.020874e+03 | 1.039000e+03 | 1.78%| unknown
3072.66/3080.34 c 3080s| 36400 | 2173 | 18511k| 388.8 | 502M | 48 |1515 |4406 |3201 | 22k| 0 | 26k|8585 | 1.020896e+03 | 1.039000e+03 | 1.77%| unknown
3074.95/3082.69 c 3083s| 36500 | 2167 | 18533k| 388.5 | 502M | 48 |1515 |4396 |3207 | 22k| 0 | 26k|8585 | 1.020896e+03 | 1.039000e+03 | 1.77%| unknown
3080.44/3088.18 c 3088s| 36600 | 2179 | 18572k| 388.5 | 502M | 48 |1515 |4394 |3205 | 23k| 1 | 26k|8586 | 1.020899e+03 | 1.039000e+03 | 1.77%| unknown
3083.43/3091.15 c 3091s| 36700 | 2181 | 18601k| 388.3 | 502M | 48 |1515 |4402 |3208 | 23k| 1 | 26k|8589 | 1.020899e+03 | 1.039000e+03 | 1.77%| unknown
3088.52/3096.22 c 3096s| 36800 | 2187 | 18637k| 388.2 | 502M | 48 |1515 |4407 |3208 | 23k| 0 | 26k|8590 | 1.020903e+03 | 1.039000e+03 | 1.77%| unknown
3093.60/3101.38 c 3101s| 36900 | 2201 | 18675k| 388.2 | 502M | 48 |1515 |4387 |3210 | 23k| 1 | 26k|8591 | 1.020904e+03 | 1.039000e+03 | 1.77%| unknown
3096.30/3104.09 c 3104s| 37000 | 2201 | 18702k| 387.9 | 502M | 48 |1515 |4390 |3211 | 23k| 0 | 26k|8595 | 1.020904e+03 | 1.039000e+03 | 1.77%| unknown
3101.88/3109.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3101.88/3109.65 c 3110s| 37100 | 2205 | 18738k| 387.9 | 502M | 48 |1515 |4373 |3212 | 23k| 1 | 26k|8610 | 1.020905e+03 | 1.039000e+03 | 1.77%| unknown
3104.58/3112.36 c 3112s| 37200 | 2201 | 18764k| 387.6 | 502M | 48 |1515 |4353 |3199 | 23k| 0 | 26k|8611 | 1.020905e+03 | 1.039000e+03 | 1.77%| unknown
3107.87/3115.63 c 3116s| 37300 | 2203 | 18795k| 387.5 | 502M | 48 |1515 |4347 |3203 | 23k| 0 | 26k|8611 | 1.020910e+03 | 1.039000e+03 | 1.77%| unknown
3116.15/3123.98 c 3124s| 37400 | 2219 | 18863k| 388.1 | 502M | 48 |1515 |4336 |3215 | 23k| 0 | 26k|8611 | 1.020912e+03 | 1.039000e+03 | 1.77%| unknown
3120.24/3128.03 c 3128s| 37500 | 2225 | 18902k| 388.1 | 502M | 48 |1515 |4326 |3210 | 23k| 1 | 26k|8611 | 1.020917e+03 | 1.039000e+03 | 1.77%| unknown
3124.63/3132.44 c 3132s| 37600 | 2233 | 18940k| 388.0 | 502M | 48 |1515 |4308 |3214 | 23k| 0 | 26k|8619 | 1.020922e+03 | 1.039000e+03 | 1.77%| unknown
3128.02/3135.80 c 3136s| 37700 | 2237 | 18973k| 387.9 | 502M | 48 |1515 |4312 |3217 | 23k| 0 | 26k|8633 | 1.020922e+03 | 1.039000e+03 | 1.77%| unknown
3138.39/3146.23 c 3146s| 37800 | 2251 | 19027k| 388.3 | 502M | 48 |1515 |4288 |3219 | 23k| 0 | 26k|8660 | 1.020927e+03 | 1.039000e+03 | 1.77%| unknown
3145.68/3153.52 c 3154s| 37900 | 2259 | 19068k| 388.3 | 502M | 48 |1515 |4301 |3216 | 23k| 0 | 27k|8695 | 1.020930e+03 | 1.039000e+03 | 1.77%| unknown
3150.77/3158.68 c 3159s| 38000 | 2267 | 19109k| 388.3 | 504M | 48 |1515 |4262 |3219 | 23k| 1 | 27k|8701 | 1.020941e+03 | 1.039000e+03 | 1.77%| unknown
3154.27/3162.19 c 3162s| 38100 | 2271 | 19140k| 388.2 | 504M | 48 |1515 |4248 |3211 | 23k| 0 | 27k|8701 | 1.020948e+03 | 1.039000e+03 | 1.77%| unknown
3157.45/3165.37 c 3165s| 38200 | 2271 | 19172k| 388.0 | 504M | 48 |1515 |4243 |3219 | 23k| 0 | 27k|8702 | 1.020948e+03 | 1.039000e+03 | 1.77%| unknown
3160.45/3168.34 c 3168s| 38300 | 2273 | 19200k| 387.8 | 504M | 48 |1515 |4249 |3203 | 23k| 1 | 27k|8705 | 1.020948e+03 | 1.039000e+03 | 1.77%| unknown
3162.54/3170.46 c 3170s| 38400 | 2263 | 19220k| 387.4 | 504M | 48 |1515 |4249 |3203 | 23k| 0 | 27k|8705 | 1.020948e+03 | 1.039000e+03 | 1.77%| unknown
3166.53/3174.45 c 3174s| 38500 | 2275 | 19257k| 387.4 | 504M | 48 |1515 |4240 |3221 | 23k| 2 | 27k|8705 | 1.020948e+03 | 1.039000e+03 | 1.77%| unknown
3171.42/3179.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3171.42/3179.31 c 3179s| 38600 | 2281 | 19290k| 387.3 | 504M | 48 |1515 |4264 |3218 | 24k| 2 | 27k|8711 | 1.020953e+03 | 1.039000e+03 | 1.77%| unknown
3176.01/3183.95 c 3184s| 38700 | 2291 | 19329k| 387.3 | 503M | 48 |1515 |4288 |3216 | 24k| 0 | 27k|8719 | 1.020956e+03 | 1.039000e+03 | 1.77%| unknown
3180.00/3187.95 c 3188s| 38800 | 2295 | 19362k| 387.2 | 503M | 48 |1515 |4335 |3226 | 24k| 0 | 27k|8731 | 1.020957e+03 | 1.039000e+03 | 1.77%| unknown
3183.39/3191.37 c 3191s| 38900 | 2297 | 19392k| 387.0 | 503M | 48 |1515 |4367 |3218 | 24k| 0 | 27k|8736 | 1.020958e+03 | 1.039000e+03 | 1.77%| unknown
3188.77/3196.74 c 3197s| 39000 | 2299 | 19427k| 386.9 | 503M | 48 |1515 |4419 |3224 | 24k| 0 | 27k|8744 | 1.020958e+03 | 1.039000e+03 | 1.77%| unknown
3192.46/3200.46 c 3200s| 39100 | 2305 | 19461k| 386.8 | 503M | 48 |1515 |4422 |3211 | 24k| 0 | 27k|8744 | 1.020970e+03 | 1.039000e+03 | 1.77%| unknown
3195.96/3203.90 c 3204s| 39200 | 2311 | 19493k| 386.7 | 503M | 48 |1515 |4419 |3213 | 24k| 0 | 27k|8744 | 1.020970e+03 | 1.039000e+03 | 1.77%| unknown
3205.93/3213.92 c 3214s| 39300 | 2321 | 19567k| 387.4 | 503M | 48 |1515 |4415 |3206 | 24k| 1 | 27k|8744 | 1.020974e+03 | 1.039000e+03 | 1.77%| unknown
3210.32/3218.30 c 3218s| 39400 | 2329 | 19606k| 387.4 | 503M | 48 |1515 |4364 |3213 | 24k| 1 | 27k|8745 | 1.020976e+03 | 1.039000e+03 | 1.77%| unknown
3213.31/3221.38 c 3221s| 39500 | 2329 | 19634k| 387.2 | 503M | 48 |1515 |4396 |3212 | 24k| 1 | 27k|8749 | 1.020976e+03 | 1.039000e+03 | 1.77%| unknown
3216.90/3224.95 c 3225s| 39600 | 2333 | 19667k| 387.1 | 503M | 48 |1515 |4446 |3212 | 24k| 0 | 27k|8757 | 1.020979e+03 | 1.039000e+03 | 1.77%| unknown
3220.29/3228.35 c 3228s| 39700 | 2335 | 19698k| 386.9 | 503M | 48 |1515 |4492 |3219 | 24k| 0 | 27k|8765 | 1.020979e+03 | 1.039000e+03 | 1.77%| unknown
3228.08/3236.11 c 3236s| 39800 | 2341 | 19747k| 387.1 | 503M | 48 |1515 |4506 |3216 | 24k| 1 | 27k|8788 | 1.020979e+03 | 1.039000e+03 | 1.77%| unknown
3232.46/3240.53 c 3241s| 39900 | 2351 | 19785k| 387.1 | 503M | 48 |1515 |4544 |3220 | 24k| 2 | 27k|8794 | 1.020990e+03 | 1.039000e+03 | 1.76%| unknown
3240.84/3248.96 c 3249s| 40000 | 2365 | 19831k| 387.3 | 503M | 48 |1515 |4572 |3223 | 24k| 1 | 27k|8804 | 1.021002e+03 | 1.039000e+03 | 1.76%| unknown
3244.13/3252.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3244.13/3252.27 c 3252s| 40100 | 2363 | 19859k| 387.1 | 503M | 48 |1515 |4680 |3219 | 24k| 0 | 27k|8828 | 1.021002e+03 | 1.039000e+03 | 1.76%| unknown
3247.03/3255.11 c 3255s| 40200 | 2363 | 19885k| 386.8 | 503M | 48 |1515 |4702 |3219 | 24k| 1 | 27k|8832 | 1.021002e+03 | 1.039000e+03 | 1.76%| unknown
3251.12/3259.22 c 3259s| 40300 | 2371 | 19921k| 386.8 | 503M | 48 |1515 |4701 |3225 | 24k| 1 | 27k|8833 | 1.021011e+03 | 1.039000e+03 | 1.76%| unknown
3256.60/3264.77 c 3265s| 40400 | 2381 | 19962k| 386.8 | 503M | 48 |1515 |4768 |3225 | 24k| 0 | 28k|8846 | 1.021029e+03 | 1.039000e+03 | 1.76%| unknown
3263.19/3271.31 c 3271s| 40500 | 2391 | 20002k| 386.8 | 503M | 48 |1515 |4749 |3228 | 24k| 2 | 28k|8854 | 1.021031e+03 | 1.039000e+03 | 1.76%| unknown
3266.38/3274.50 c 3275s| 40600 | 2391 | 20032k| 386.7 | 503M | 48 |1515 |4805 |3229 | 24k| 1 | 28k|8864 | 1.021031e+03 | 1.039000e+03 | 1.76%| unknown
3272.36/3280.58 c 3281s| 40700 | 2397 | 20075k| 386.7 | 503M | 48 |1515 |4925 |3230 | 24k| 1 | 28k|8893 | 1.021031e+03 | 1.039000e+03 | 1.76%| unknown
3280.85/3289.02 c 3289s| 40800 | 2407 | 20126k| 387.0 | 504M | 48 |1515 |5005 |3230 | 25k| 1 | 28k|8915 | 1.021047e+03 | 1.039000e+03 | 1.76%| unknown
3285.73/3293.96 c 3294s| 40900 | 2415 | 20165k| 387.0 | 504M | 48 |1515 |4941 |3219 | 25k| 1 | 28k|8916 | 1.021080e+03 | 1.039000e+03 | 1.75%| unknown
3299.20/3307.41 c 3307s| 41000 | 2435 | 20251k| 387.9 | 504M | 48 |1515 |4803 |3218 | 25k| 0 | 28k|8917 | 1.021096e+03 | 1.039000e+03 | 1.75%| unknown
3301.99/3310.21 c 3310s| 41100 | 2431 | 20277k| 387.7 | 504M | 48 |1515 |4752 |3216 | 25k| 0 | 28k|8919 | 1.021096e+03 | 1.039000e+03 | 1.75%| unknown
3305.68/3313.96 c 3314s| 41200 | 2439 | 20311k| 387.6 | 504M | 48 |1515 |4637 |3217 | 25k| 1 | 28k|8919 | 1.021097e+03 | 1.039000e+03 | 1.75%| unknown
3308.27/3316.58 c 3317s| 41300 | 2435 | 20336k| 387.3 | 504M | 48 |1515 |4595 |3214 | 25k| 0 | 28k|8920 | 1.021097e+03 | 1.039000e+03 | 1.75%| unknown
3312.26/3320.56 c 3321s| 41400 | 2443 | 20371k| 387.2 | 504M | 48 |1515 |4536 |3225 | 25k| 0 | 28k|8920 | 1.021099e+03 | 1.039000e+03 | 1.75%| unknown
3317.75/3326.03 c 3326s| 41500 | 2459 | 20419k| 387.4 | 504M | 48 |1515 |4461 |3220 | 25k| 1 | 28k|8922 | 1.021113e+03 | 1.039000e+03 | 1.75%| unknown
3321.34/3329.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3321.34/3329.64 c 3330s| 41600 | 2461 | 20452k| 387.3 | 504M | 48 |1515 |4407 |3210 | 25k| 1 | 28k|8925 | 1.021113e+03 | 1.039000e+03 | 1.75%| unknown
3327.62/3335.95 c 3336s| 41700 | 2481 | 20502k| 387.5 | 504M | 48 |1515 |4283 |3216 | 25k| 1 | 28k|8925 | 1.021141e+03 | 1.039000e+03 | 1.75%| unknown
3331.32/3339.60 c 3340s| 41800 | 2485 | 20534k| 387.4 | 504M | 48 |1515 |4259 |3216 | 25k| 0 | 28k|8926 | 1.021145e+03 | 1.039000e+03 | 1.75%| unknown
3335.81/3344.16 c 3344s| 41900 | 2495 | 20571k| 387.3 | 504M | 48 |1515 |4203 |3214 | 25k| 0 | 28k|8927 | 1.021145e+03 | 1.039000e+03 | 1.75%| unknown
3339.20/3347.54 c 3348s| 42000 | 2501 | 20600k| 387.2 | 504M | 48 |1515 |4196 |3215 | 25k| 1 | 28k|8928 | 1.021146e+03 | 1.039000e+03 | 1.75%| unknown
3344.88/3353.21 c 3353s| 42100 | 2507 | 20640k| 387.2 | 504M | 48 |1515 |4144 |3223 | 25k| 0 | 28k|8934 | 1.021151e+03 | 1.039000e+03 | 1.75%| unknown
3357.85/3366.21 c 3366s| 42200 | 2529 | 20726k| 388.1 | 504M | 48 |1515 |4116 |3216 | 25k| 0 | 28k|8936 | 1.021160e+03 | 1.039000e+03 | 1.75%| unknown
3362.74/3371.12 c 3371s| 42300 | 2539 | 20768k| 388.1 | 504M | 48 |1515 |4108 |3223 | 25k| 0 | 28k|8940 | 1.021164e+03 | 1.039000e+03 | 1.75%| unknown
3368.32/3376.78 c 3377s| 42400 | 2549 | 20807k| 388.1 | 504M | 48 |1515 |4075 |3221 | 25k| 1 | 28k|8947 | 1.021167e+03 | 1.039000e+03 | 1.75%| unknown
3372.11/3380.56 c 3381s| 42500 | 2555 | 20841k| 388.0 | 504M | 48 |1515 |4103 |3215 | 25k| 1 | 28k|8953 | 1.021167e+03 | 1.039000e+03 | 1.75%| unknown
3375.22/3383.66 c 3384s| 42600 | 2553 | 20870k| 387.9 | 504M | 48 |1515 |4121 |3215 | 25k| 1 | 28k|8957 | 1.021167e+03 | 1.039000e+03 | 1.75%| unknown
3378.71/3387.11 c 3387s| 42700 | 2555 | 20904k| 387.8 | 504M | 48 |1515 |4126 |3218 | 25k| 0 | 28k|8958 | 1.021167e+03 | 1.039000e+03 | 1.75%| unknown
3386.19/3394.67 c 3395s| 42800 | 2573 | 20958k| 388.1 | 504M | 48 |1515 |4052 |3215 | 25k| 0 | 29k|8961 | 1.021176e+03 | 1.039000e+03 | 1.75%| unknown
3391.87/3400.30 c 3400s| 42900 | 2585 | 21001k| 388.1 | 504M | 48 |1515 |4044 |3226 | 25k| 2 | 29k|8962 | 1.021185e+03 | 1.039000e+03 | 1.74%| unknown
3394.87/3403.37 c 3403s| 43000 | 2585 | 21029k| 387.9 | 504M | 48 |1515 |4062 |3226 | 26k| 0 | 29k|8964 | 1.021185e+03 | 1.039000e+03 | 1.74%| unknown
3397.76/3406.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3397.76/3406.24 c 3406s| 43100 | 2585 | 21055k| 387.7 | 504M | 48 |1515 |4138 |3222 | 26k| 0 | 29k|8974 | 1.021185e+03 | 1.039000e+03 | 1.74%| unknown
3408.73/3417.26 c 3417s| 43200 | 2615 | 21122k| 388.2 | 504M | 48 |1515 |4204 |3226 | 26k| 0 | 29k|8997 | 1.021222e+03 | 1.039000e+03 | 1.74%| unknown
3420.20/3428.78 c 3429s| 43300 | 2631 | 21204k| 389.0 | 504M | 48 |1515 |4291 |3230 | 26k| 0 | 29k|9023 | 1.021232e+03 | 1.039000e+03 | 1.74%| unknown
3425.60/3434.18 c 3434s| 43400 | 2639 | 21251k| 389.2 | 504M | 48 |1515 |4409 |3230 | 26k| 0 | 29k|9049 | 1.021233e+03 | 1.039000e+03 | 1.74%| unknown
3432.67/3441.27 c 3441s| 43500 | 2647 | 21299k| 389.3 | 504M | 48 |1515 |4630 |3229 | 26k| 1 | 29k|9111 | 1.021234e+03 | 1.039000e+03 | 1.74%| unknown
3437.57/3446.10 c 3446s| 43600 | 2645 | 21334k| 389.3 | 504M | 48 |1515 |4716 |3233 | 26k| 0 | 30k|9129 | 1.021240e+03 | 1.039000e+03 | 1.74%| unknown
3446.74/3455.35 c 3455s| 43700 | 2659 | 21386k| 389.5 | 504M | 48 |1515 |4717 |3224 | 26k| 0 | 30k|9139 | 1.021254e+03 | 1.039000e+03 | 1.74%| unknown
3449.73/3458.32 c 3458s| 43800 | 2659 | 21414k| 389.3 | 504M | 48 |1515 |4743 |3221 | 26k| 0 | 30k|9144 | 1.021254e+03 | 1.039000e+03 | 1.74%| unknown
3454.52/3463.15 c 3463s| 43900 | 2665 | 21450k| 389.2 | 504M | 48 |1515 |4780 |3225 | 26k| 0 | 30k|9160 | 1.021255e+03 | 1.039000e+03 | 1.74%| unknown
3462.20/3470.83 c 3471s| 44000 | 2683 | 21500k| 389.4 | 504M | 48 |1515 |4777 |3227 | 26k| 0 | 30k|9182 | 1.021261e+03 | 1.039000e+03 | 1.74%| unknown
3468.88/3477.50 c 3478s| 44100 | 2693 | 21539k| 389.4 | 504M | 48 |1515 |4894 |3228 | 26k| 1 | 30k|9248 | 1.021287e+03 | 1.039000e+03 | 1.73%| unknown
3472.87/3481.50 c 3481s| 44200 | 2689 | 21566k| 389.2 | 504M | 48 |1515 |5016 |3225 | 26k| 2 | 30k|9277 | 1.021287e+03 | 1.039000e+03 | 1.73%| unknown
3476.26/3484.92 c 3485s| 44300 | 2693 | 21597k| 389.1 | 504M | 48 |1515 |5021 |3226 | 26k| 2 | 30k|9278 | 1.021287e+03 | 1.039000e+03 | 1.73%| unknown
3479.95/3488.67 c 3489s| 44400 | 2695 | 21628k| 388.9 | 504M | 48 |1515 |4971 |3235 | 26k| 2 | 30k|9283 | 1.021287e+03 | 1.039000e+03 | 1.73%| unknown
3483.35/3492.02 c 3492s| 44500 | 2693 | 21655k| 388.7 | 504M | 48 |1515 |5023 |3229 | 26k| 0 | 31k|9293 | 1.021287e+03 | 1.039000e+03 | 1.73%| unknown
3495.61/3504.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3495.61/3504.37 c 3504s| 44600 | 2725 | 21724k| 389.3 | 504M | 48 |1515 |4697 |3233 | 26k| 2 | 31k|9302 | 1.021318e+03 | 1.039000e+03 | 1.73%| unknown
3506.78/3515.55 c 3516s| 44700 | 2735 | 21807k| 390.1 | 504M | 48 |1515 |4679 |3233 | 26k| 1 | 31k|9324 | 1.021321e+03 | 1.039000e+03 | 1.73%| unknown
3513.67/3522.43 c 3522s| 44800 | 2747 | 21852k| 390.2 | 504M | 48 |1515 |4716 |3234 | 27k| 0 | 31k|9352 | 1.021327e+03 | 1.039000e+03 | 1.73%| unknown
3520.95/3529.72 c 3530s| 44900 | 2755 | 21895k| 390.2 | 504M | 48 |1515 |4703 |3229 | 27k| 1 | 31k|9374 | 1.021331e+03 | 1.039000e+03 | 1.73%| unknown
3529.73/3538.57 c 3539s| 45000 | 2765 | 21945k| 390.4 | 504M | 48 |1515 |4677 |3240 | 27k| 0 | 31k|9390 | 1.021334e+03 | 1.039000e+03 | 1.73%| unknown
3539.81/3548.61 c 3549s| 45100 | 2769 | 21995k| 390.6 | 504M | 48 |1515 |4975 |3240 | 27k| 0 | 32k|9495 | 1.021337e+03 | 1.039000e+03 | 1.73%| unknown
3549.49/3558.33 c 3558s| 45200 | 2781 | 22045k| 390.8 | 504M | 48 |1515 |4930 |3242 | 27k| 1 | 32k|9529 | 1.021337e+03 | 1.039000e+03 | 1.73%| unknown
3557.86/3566.72 c 3567s| 45300 | 2783 | 22088k| 390.9 | 520M | 48 |1515 |4998 |3240 | 27k| 0 | 32k|9570 | 1.021341e+03 | 1.039000e+03 | 1.73%| unknown
3561.65/3570.52 c 3571s| 45400 | 2785 | 22122k| 390.8 | 520M | 48 |1515 |5026 |3238 | 27k| 1 | 32k|9581 | 1.021341e+03 | 1.039000e+03 | 1.73%| unknown
3570.03/3578.94 c 3579s| 45500 | 2795 | 22169k| 390.9 | 534M | 48 |1515 |4976 |3237 | 27k| 1 | 32k|9604 | 1.021346e+03 | 1.039000e+03 | 1.73%| unknown
3574.62/3583.55 c 3584s| 45600 | 2797 | 22208k| 390.9 | 535M | 48 |1515 |4934 |3246 | 27k| 0 | 32k|9614 | 1.021353e+03 | 1.039000e+03 | 1.73%| unknown
3579.91/3588.88 c 3589s| 45700 | 2807 | 22254k| 391.1 | 535M | 48 |1515 |4831 |3218 | 27k| 1 | 32k|9625 | 1.021360e+03 | 1.039000e+03 | 1.73%| unknown
3583.50/3592.45 c 3592s| 45800 | 2807 | 22286k| 390.9 | 535M | 48 |1515 |4825 |3238 | 27k| 1 | 32k|9625 | 1.021360e+03 | 1.039000e+03 | 1.73%| unknown
3586.99/3595.98 c 3596s| 45900 | 2809 | 22318k| 390.8 | 534M | 48 |1515 |4719 |3238 | 27k| 1 | 32k|9625 | 1.021360e+03 | 1.039000e+03 | 1.73%| unknown
3588.09/3597.00 c
3588.09/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3588.09/3597.00 c Solving Time (sec) : 3597.01
3588.09/3597.00 c Solving Nodes : 45930 (total of 57085 nodes in 2 runs)
3588.09/3597.00 c Primal Bound : +1.03900000000000e+03 (601 solutions)
3588.09/3597.00 c Dual Bound : +1.02135993262497e+03
3588.09/3597.00 c Gap : 1.73 %
3588.09/3597.00 s SATISFIABLE
3588.09/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 x32
3588.09/3597.00 v -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
3588.09/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
3588.09/3597.00 v x90 x91 -x92 x93 x94 x95 x96 x97 x98 x99 x100 -x101 x102 x103 x104 x105 -x106 -x107 -x108 -x109 x110 x111 -x112 -x113 -x114 -x115
3588.09/3597.00 v x116 x117 -x118 x119 -x120 x121 -x122 x123 -x124 x125 -x126 x127 -x128 -x129 -x130 x131 -x132 x133 -x134 -x135 x136 x137 x138 -x139
3588.09/3597.00 v -x140 -x141 x142 -x143 -x144 x145 -x146 x147 x148 -x149 -x150 x151 x152 x153 x154 x155 -x156 x157 x158 -x159 -x160 -x161 -x162 x163
3588.09/3597.00 v -x164 x165 -x166 -x167 -x168 -x169 x170 -x171 x172 x173 -x174 -x175 x176 x177 -x178 x179 x180 x181 -x182 x183 -x184 -x185 -x186
3588.09/3597.00 v -x187 -x188 x189 -x190 -x191 -x192 x193 x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 x204 -x205 -x206 x207 -x208 -x209
3588.09/3597.00 v -x210 x211 x212 x213 -x214 x215 -x216 -x217 x218 x219 x220 x221 -x222 -x223 x224 -x225 x226 -x227 x228 -x229 -x230 x231 x232 -x233
3588.09/3597.00 v x234 -x235 x236 -x237 x238 -x239 x240 -x241 -x242 x243 -x244 -x245 x246 -x247 -x248 x249 x250 -x251 -x252 x253 -x254 x255 x256 x257
3588.09/3597.00 v -x258 x259 x260 x261 -x262 x263 -x264 x265 x266 x267 x268 -x269 x270 x271 x272 -x273 x274 x275 x276 x277 x278 -x279 -x280 x281 -x282
3588.09/3597.00 v -x283 -x284 x285 -x286 -x287 x288 -x289 x290 -x291 -x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 -x303 -x304 x305 x306
3588.09/3597.00 v -x307 x308 -x309 x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 x325 -x326 -x327 x328 x329
3588.09/3597.00 v x330 x331 x332 x333 x334 x335 -x336 x337 x338 x339 -x340 -x341 x342 x343 x344 x345 x346 x347 x348 -x349 x350 x351 x352 x353 -x354
3588.09/3597.00 v -x355 -x356 x357 x358 x359 -x360 -x361 x362 x363 x364 -x365 -x366 x367 -x368 x369 x370 -x371 x372 x373 x374 x375 -x376 -x377 x378
3588.09/3597.00 v -x379 x380 -x381 x382 -x383 x384 x385 -x386 -x387 -x388 x389 -x390 x391 -x392 x393 x394 -x395 -x396 x397 -x398 x399 x400 x401 -x402
3588.09/3597.00 v x403 -x404 x405 -x406 x407 x408 -x409 -x410 x411 x412 x413 -x414 -x415 x416 -x417 -x418 -x419 x420 -x421 x422 -x423 x424 x425 x426
3588.09/3597.00 v -x427 x428 x429 -x430 -x431 -x432 -x433 x434 -x435 -x436 -x437 -x438 x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 x449
3588.09/3597.00 v -x450 -x451 x452 x453 x454 x455 -x456 -x457 -x458 x459 -x460 x461 x462 x463 -x464 x465 x466 x467 x468 -x469 x470 x471 x472 x473
3588.09/3597.00 v -x474 x475 -x476 -x477 x478 x479 x480 -x481 x482 x483 x484 x485 x486 x487 -x488 x489 -x490 -x491 -x492 -x493 x494 x495 x496 x497
3588.09/3597.00 v x498 -x499 x500 -x501 x502 -x503 -x504 -x505 x506 x507 x508 -x509 x510 -x511 x512 -x513 -x514 x515 x516 x517 x518 x519 x520 -x521
3588.09/3597.00 v x522 x523 -x524 -x525 x526 -x527 x528 x529 x530 x531 x532 x533 x534 -x535 x536 x537 x538 -x539 -x540 -x541 -x542 x543 x544 -x545
3588.09/3597.00 v -x546 -x547 x548 x549 x550 -x551 -x552 x553 -x554 x555 -x556 -x557 -x558 x559 x560 -x561 x562 -x563 x564 -x565 -x566 -x567 x568
3588.09/3597.00 v -x569 -x570 -x571 -x572 -x573 x574 x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 x584 x585 x586 x587 x588 -x589 x590 -x591
3588.09/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 x615
3588.09/3597.00 v -x616 x617 x618 x619 x620 x621 x622 -x623 -x624 -x625 -x626 -x627 x628 x629 -x630 -x631 -x632 x633 -x634 x635 -x636 x637 -x638 x639
3588.09/3597.00 v -x640 x641 x642 x643 x644 -x645 x646 x647 x648 -x649 -x650 -x651 -x652 x653 x654 x655 x656 x657 x658 x659 x660 -x661 x662 -x663
3588.09/3597.00 v -x664 x665 x666 -x667 -x668 -x669 -x670 -x671 x672 -x673 -x674 -x675 x676 x677 -x678 -x679 x680 -x681 -x682 -x683 x684 -x685 x686
3588.09/3597.00 v -x687 x688 x689 -x690 -x691 -x692 -x693 x694 x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 x703 x704 -x705 x706 -x707 x708 x709
3588.09/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
3588.09/3597.00 v x733 x734 x735 x736 x737 x738 -x739 -x740 x741 x742 x743 x744 -x745 x746 x747 -x748 -x749 x750 -x751 -x752 x753 x754 x755 x756 x757
3588.09/3597.00 v x758 -x759 x760 -x761 -x762 -x763 x764 -x765 -x766 x767 -x768 x769 -x770 x771 -x772 -x773 -x774 x775 -x776 x777 -x778 -x779 x780
3588.09/3597.00 v x781 x782 x783 -x784 x785 x786 -x787 x788 x789 x790 x791 x792 -x793 -x794 x795 x796 -x797 -x798 x799 -x800 -x801 -x802 x803 x804
3588.09/3597.00 v x805 -x806 x807 x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 x817 x818 x819 x820 x821 x822 x823 x824 x825 x826 -x827 -x828
3588.09/3597.00 v x829 -x830 x831 x832 x833 -x834 -x835 -x836 x837 -x838 -x839 x840 -x841 -x842 -x843 x844 x845 -x846 x847 -x848 x849 -x850 x851 x852
3588.09/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
3588.09/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
3588.09/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
3588.09/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
3588.09/3597.00 v x948 x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 x962 -x963 x964 x965 -x966 -x967 -x968 x969 -x970
3588.09/3597.00 v x971 -x972 x973 x974 -x975 -x976 x977 x978 x979 x980 -x981 x982 x983 -x984 x985 -x986 -x987 x988 -x989 x990 x991 x992 x993 x994
3588.09/3597.00 v x995 -x996 x997 -x998 -x999 -x1000 x1001 x1002 x1003 x1004 x1005 x1006 -x1007 -x1008 -x1009 -x1010 x1011 -x1012 -x1013 -x1014 x1015
3588.09/3597.00 v x1016 x1017 x1018 x1019 -x1020 x1021 x1022 x1023 x1024 -x1025 -x1026 -x1027 x1028 x1029 x1030 x1031 -x1032 x1033 x1034 x1035 -x1036
3588.09/3597.00 v -x1037 -x1038 -x1039 x1040 -x1041 x1042 x1043 x1044 x1045 x1046 -x1047 -x1048 -x1049 x1050 -x1051 x1052 -x1053 -x1054 x1055 x1056
3588.09/3597.00 v -x1057 x1058 x1059 -x1060 x1061 x1062 x1063 -x1064 x1065 -x1066 x1067 x1068 x1069 x1070 x1071 x1072 x1073 -x1074 -x1075 -x1076 x1077
3588.09/3597.00 v -x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 x1086 x1087 x1088 x1089 x1090 x1091 -x1092 x1093 x1094 -x1095 x1096 -x1097
3588.09/3597.00 v -x1098 -x1099 -x1100 -x1101 x1102 -x1103 x1104 x1105 -x1106 x1107 -x1108 x1109 -x1110 x1111 -x1112 -x1113 -x1114 x1115 -x1116 x1117
3588.09/3597.00 v -x1118 -x1119 x1120 -x1121 x1122 x1123 x1124 x1125 -x1126 x1127 -x1128 x1129 x1130 -x1131 x1132 x1133 -x1134 x1135 x1136 x1137 -x1138
3588.09/3597.00 v -x1139 x1140 -x1141 -x1142 x1143 x1144 -x1145 x1146 x1147 -x1148 x1149 -x1150 -x1151 x1152 -x1153 x1154 x1155 -x1156 x1157 x1158
3588.09/3597.00 v -x1159 x1160 -x1161 x1162 x1163 -x1164 x1165 -x1166 x1167 x1168 -x1169 x1170 x1171 -x1172 x1173 -x1174 x1175 -x1176 -x1177 x1178
3588.09/3597.00 v x1179 -x1180 -x1181 -x1182 x1183 -x1184 x1185 -x1186 -x1187 -x1188 x1189 x1190 -x1191 x1192 -x1193 x1194 x1195 x1196 x1197 -x1198
3588.09/3597.00 v -x1199 -x1200 -x1201 -x1202 x1203 -x1204 x1205 -x1206 -x1207 x1208 x1209 x1210 x1211 x1212 x1213 -x1214 x1215 -x1216 x1217 x1218
3588.09/3597.00 v -x1219 x1220 -x1221 x1222 x1223 x1224 x1225 x1226 x1227 -x1228 x1229 -x1230 x1231 x1232 x1233 x1234 -x1235 -x1236 -x1237 x1238 x1239
3588.09/3597.00 v x1240 -x1241 x1242 x1243 -x1244 -x1245 x1246 x1247 -x1248 x1249 -x1250 x1251 x1252 -x1253 x1254 -x1255 x1256 x1257 -x1258 x1259
3588.09/3597.00 v x1260 x1261 x1262 -x1263 x1264 -x1265 x1266 x1267 -x1268 -x1269 -x1270 x1271 x1272 -x1273 x1274 x1275 -x1276 -x1277 -x1278 x1279
3588.09/3597.00 v -x1280 -x1281 -x1282 -x1283 x1284 x1285 -x1286 -x1287 -x1288 -x1289 x1290 x1291 x1292 x1293 x1294 x1295 x1296 x1297 -x1298 -x1299
3588.09/3597.00 v x1300 x1301 -x1302 x1303 x1304 -x1305 -x1306 -x1307 -x1308 x1309 x1310 x1311 -x1312 -x1313 -x1314 -x1315 -x1316 x1317 -x1318 -x1319
3588.09/3597.00 v x1320 -x1321 x1322 x1323 -x1324 -x1325 x1326 x1327 -x1328 x1329 x1330 x1331 -x1332 -x1333 x1334 -x1335 -x1336 x1337 x1338 x1339
3588.09/3597.00 v -x1340 -x1341 x1342 -x1343 x1344 -x1345 -x1346 x1347 -x1348 -x1349 -x1350 x1351 -x1352 x1353 -x1354 -x1355 x1356 x1357 -x1358 -x1359
3588.09/3597.00 v x1360 -x1361 x1362 x1363 x1364 x1365 x1366 -x1367 x1368 x1369 -x1370 -x1371 -x1372 -x1373 x1374 -x1375 -x1376 -x1377 -x1378 x1379
3588.09/3597.00 v x1380 -x1381 -x1382 -x1383 -x1384 x1385 -x1386 -x1387 x1388 x1389 x1390 x1391 -x1392 x1393 x1394 x1395 -x1396 -x1397 -x1398 x1399
3588.09/3597.00 v -x1400 -x1401 -x1402 -x1403 x1404 -x1405 x1406 -x1407 -x1408 x1409 -x1410 x1411 x1412 x1413 -x1414 -x1415 -x1416 x1417 x1418 -x1419
3588.09/3597.00 v x1420 -x1421 x1422 -x1423 -x1424 -x1425 x1426 -x1427 x1428 x1429 x1430 x1431 x1432 -x1433 x1434 x1435 x1436 -x1437 -x1438 x1439
3588.09/3597.00 v -x1440 -x1441 -x1442 -x1443 x1444 -x1445 -x1446 x1447 -x1448 -x1449 x1450 x1451 -x1452 x1453 -x1454 -x1455 x1456 -x1457 x1458 -x1459
3588.09/3597.00 v -x1460 -x1461 -x1462 x1463 x1464 -x1465 -x1466 x1467 x1468 x1469 x1470 -x1471 x1472 x1473 x1474 x1475 x1476 x1477 -x1478 x1479 x1480
3588.09/3597.00 v -x1481 -x1482 -x1483 x1484 -x1485 x1486 x1487 x1488 -x1489 -x1490 -x1491 -x1492 x1493 x1494 -x1495 x1496 -x1497 x1498 -x1499 x1500
3588.09/3597.00 v -x1501 -x1502 -x1503 -x1504 x1505 -x1506 -x1507 x1508 x1509 x1510 x1511 x1512 x1513 x1514 x1515 -x1516 x1517 x1518 x1519 -x1520
3588.09/3597.00 v x1521 x1522 -x1523 -x1524 x1525 -x1526 -x1527 x1528 -x1529 x1530 -x1531 x1532 x1533 x1534 x1535 x1536 x1537 -x1538 x1539 x1540 x1541
3588.09/3597.00 v -x1542 -x1543 -x1544 -x1545 -x1546 x1547 x1548 -x1549 -x1550 x1551 x1552 x1553 x1554 x1555 x1556 x1557 -x1558 -x1559 x1560 -x1561
3588.09/3597.00 v x1562 x1563 -x1564 x1565 x1566 -x1567 x1568 x1569 x1570 -x1571 -x1572 -x1573 x1574 -x1575 x1576 x1577 x1578 x1579 -x1580 x1581 x1582
3588.09/3597.00 v -x1583 x1584 -x1585 x1586 x1587 x1588 x1589 x1590 -x1591 -x1592 x1593 x1594 x1595 x1596 x1597 x1598 x1599 -x1600 x1601 x1602 x1603
3588.09/3597.00 v x1604 x1605 x1606 x1607 x1608 x1609 x1610 x1611 -x1612 -x1613 -x1614 x1615 -x1616 x1617 -x1618 x1619 x1620 -x1621 -x1622 -x1623
3588.09/3597.00 v -x1624 x1625 x1626 -x1627 x1628 -x1629 x1630 -x1631 -x1632 x1633 -x1634 -x1635 -x1636 -x1637 x1638 -x1639 x1640 x1641 x1642 x1643
3588.09/3597.00 v -x1644 -x1645 x1646 -x1647 -x1648 x1649 x1650 x1651 -x1652 -x1653 -x1654 -x1655 x1656 -x1657 x1658 x1659 -x1660 -x1661 -x1662 x1663
3588.09/3597.00 v -x1664 x1665 x1666 -x1667 -x1668 x1669 -x1670 x1671 x1672 -x1673 -x1674 x1675 -x1676 -x1677 x1678 x1679 x1680 x1681 -x1682 x1683
3588.09/3597.00 v x1684 x1685 -x1686 x1687 x1688 -x1689 x1690 x1691 x1692 -x1693 x1694 -x1695 x1696 -x1697 x1698 x1699 x1700 x1701 x1702 -x1703 x1704
3588.09/3597.00 v x1705 -x1706 -x1707 -x1708 x1709 -x1710 x1711 -x1712 -x1713 -x1714 -x1715 x1716 -x1717 -x1718 -x1719 -x1720 -x1721 x1722 -x1723
3588.09/3597.00 v x1724 -x1725 -x1726 -x1727 x1728 -x1729 x1730 x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 x1739 x1740 x1741 x1742 x1743
3588.09/3597.00 v x1744 -x1745 x1746 x1747 -x1748 x1749 -x1750 -x1751 x1752 -x1753 x1754 -x1755 -x1756 x1757 -x1758 x1759 -x1760 -x1761 x1762 x1763
3588.09/3597.00 v -x1764 -x1765 x1766 x1767 x1768 -x1769 x1770 -x1771 -x1772 -x1773 x1774 x1775 -x1776 x1777 x1778 x1779 x1780 -x1781 x1782 -x1783
3588.09/3597.00 v x1784 x1785 x1786 -x1787 x1788 -x1789 x1790 x1791 -x1792 x1793 x1794 -x1795 -x1796 x1797 -x1798 -x1799 -x1800 x1801 x1802 -x1803
3588.09/3597.00 v -x1804 -x1805 x1806 x1807 x1808 x1809 -x1810 x1811 x1812 x1813 x1814 -x1815 x1816 x1817 -x1818 x1819 -x1820 -x1821 -x1822 x1823
3588.09/3597.00 v -x1824 -x1825 x1826 x1827 -x1828 -x1829 -x1830 x1831 -x1832 -x1833 x1834 x1835 -x1836 x1837 x1838 -x1839 x1840 -x1841 -x1842 -x1843
3588.09/3597.00 v x1844 x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 x1852 -x1853 x1854 -x1855 -x1856 -x1857 x1858 x1859 -x1860 x1861 -x1862 -x1863
3588.09/3597.00 v x1864 x1865 x1866 x1867 x1868 x1869 -x1870 x1871 x1872 x1873 x1874 x1875 x1876 -x1877 x1878 -x1879 x1880 x1881 x1882 x1883 -x1884
3588.09/3597.00 v -x1885 x1886 x1887 x1888 -x1889 x1890 x1891 x1892 -x1893 x1894 -x1895 x1896 -x1897 -x1898 x1899 x1900 x1901 x1902 x1903 -x1904 x1905
3588.09/3597.00 v x1906 -x1907 -x1908 -x1909 -x1910 x1911 -x1912 x1913 -x1914 -x1915 -x1916 x1917 x1918 -x1919 -x1920 -x1921 -x1922 x1923 -x1924 -x1925
3588.09/3597.00 v -x1926 -x1927 -x1928 x1929 -x1930 -x1931 -x1932 x1933 -x1934 x1935 x1936 -x1937 -x1938 -x1939 x1940 -x1941 -x1942 x1943 x1944 x1945
3588.09/3597.00 v -x1946 -x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 x1954 x1955 -x1956 x1957 x1958 -x1959 x1960 -x1961 x1962 x1963
3588.09/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3588.09/3597.00 c Total Time : 3597.01
3588.09/3597.00 c solving : 3597.01
3588.09/3597.00 c presolving : 0.78 (included in solving)
3588.09/3597.00 c reading : 0.01 (included in solving)
3588.09/3597.00 c copying : 0.13 (16 #copies) (minimal 0.01, maximal 0.01, average 0.01)
3588.09/3597.00 c Original Problem :
3588.09/3597.00 c Problem name : HOME/instance-4488781-1751321393.opb
3588.09/3597.00 c Variables : 1963 (1963 binary, 0 integer, 0 continuous)
3588.09/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3588.09/3597.00 c Constraints : 4000 initial, 4000 maximal
3588.09/3597.00 c Objective : minimize, 1963 non-zeros (abs.min = 1, abs.max = 1)
3588.09/3597.00 c Presolved Problem :
3588.09/3597.00 c Problem name : t_HOME/instance-4488781-1751321393.opb
3588.09/3597.00 c Variables : 1515 (1515 binary, 0 integer, 0 continuous)
3588.09/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3588.09/3597.00 c Constraints : 7464 initial, 11185 maximal
3588.09/3597.00 c Objective : minimize, 1515 non-zeros (abs.min = 1, abs.max = 1)
3588.09/3597.00 c Nonzeros : 237947 constraint, 5885 clique table
3588.09/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3588.09/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.09/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.09/3597.00 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3588.09/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.09/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.09/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.09/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.09/3597.00 c gateextraction : 0.03 0.00 6 0 0 0 0 0 0 0 0 0
3588.09/3597.00 c implics : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
3588.09/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.09/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.09/3597.00 c milp : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.09/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.09/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.09/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.09/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.09/3597.00 c trivial : 0.00 0.00 19 0 0 0 0 0 0 0 0 0
3588.09/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.09/3597.00 c dualfix : 0.00 0.00 19 214 0 0 0 0 0 0 0 0
3588.09/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.09/3597.00 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3588.09/3597.00 c pseudoobj : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
3588.09/3597.00 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.09/3597.00 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3588.09/3597.00 c knapsack : 0.00 0.00 15 0 0 0 0 0 0 0 0 0
3588.09/3597.00 c setppc : 0.03 0.00 22 0 0 0 0 0 0 0 0 0
3588.09/3597.00 c linear : 0.03 0.00 25 0 234 0 0 0 1071 0 5395 5850
3588.09/3597.00 c logicor : 0.54 0.10 18 0 0 0 0 0 430 0 0 1863
3588.09/3597.00 c components : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3588.09/3597.00 c root node : - - - 0 - - 0 - - - - -
3588.09/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3588.09/3597.00 c integral : 0 0 0 0 32842 0 0 2827 0 0 5704 0 0 21001 60950
3588.09/3597.00 c knapsack : 266+ 267 3 178834 0 0 0 0 9 13 2 0 0 0 0
3588.09/3597.00 c setppc : 2938 2938 23 240302 0 0 0 2821 276724 18 197532 0 0 0 0
3588.09/3597.00 c linear : 36+ 82 3 202573 0 0 0 2 692 418 1156 0 0 0 0
3588.09/3597.00 c logicor : 4224+ 7899 3 42877 0 0 0 0 3100 156 313 0 0 0 0
3588.09/3597.00 c fixedvar : 0 0 0 0 0 0 0 709 0 0 0 0 0 0 0
3588.09/3597.00 c countsols : 0 0 0 0 0 0 0 709 0 0 0 0 0 0 0
3588.09/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.09/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3588.09/3597.01 c integral : 391.94 0.00 0.00 0.00 391.92 0.00 0.00 0.02 0.00 0.00
3588.09/3597.01 c knapsack : 0.31 0.00 0.01 0.27 0.00 0.00 0.00 0.00 0.00 0.04
3588.09/3597.01 c setppc : 1.76 0.00 0.01 1.36 0.00 0.00 0.00 0.15 0.05 0.19
3588.09/3597.01 c linear : 0.38 0.00 0.00 0.28 0.00 0.00 0.00 0.00 0.00 0.09
3588.09/3597.01 c logicor : 0.67 0.10 0.00 0.51 0.00 0.00 0.00 0.00 0.01 0.05
3588.09/3597.01 c fixedvar : 0.02 0.00 0.00 0.00 0.00 0.00 0.00 0.02 0.00 0.00
3588.09/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.09/3597.01 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.09/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3588.09/3597.01 c dualfix : 3 0 0 0
3588.09/3597.01 c genvbounds : 0 0 0 0
3588.09/3597.01 c nlobbt : 0 0 0 0
3588.09/3597.01 c obbt : 0 0 0 0
3588.09/3597.01 c probing : 0 0 0 0
3588.09/3597.01 c pseudoobj : 126612 0 0 0
3588.09/3597.01 c redcost : 28 0 0 0
3588.09/3597.01 c rootredcost : 0 0 0 0
3588.09/3597.01 c symmetry : 0 0 0 0
3588.09/3597.01 c vbounds : 89229 0 0 0
3588.09/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3588.09/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3588.09/3597.01 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3588.09/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.09/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.09/3597.01 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
3588.09/3597.01 c pseudoobj : 0.15 0.00 0.00 0.15 0.00 0.00
3588.09/3597.01 c redcost : 0.05 0.00 0.00 0.05 0.00 0.00
3588.09/3597.01 c rootredcost : 0.03 0.00 0.00 0.03 0.00 0.00
3588.09/3597.01 c symmetry : 0.04 0.00 0.00 0.03 0.00 0.01
3588.09/3597.01 c vbounds : 0.06 0.00 0.00 0.05 0.00 0.01
3588.09/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3588.09/3597.01 c propagation : 0.01 234 134 - 1169 70.3 0 0.0 - - -
3588.09/3597.01 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3588.09/3597.01 c bound exceed. LP : 4.62 7775 7772 - 62969 58.5 0 0.0 7772 82.8 16220
3588.09/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3588.09/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3588.09/3597.01 c applied globally : 0.26 - - 0 24936 48.6 - - 7772 - -
3588.09/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3588.09/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3588.09/3597.01 c cut pool : 21.81 - 9633 43 - - 74529 207318 - - - - - (maximal pool size: 3579)
3588.09/3597.01 c aggregation : 126.26 0.00 2473 23 0 0 0 0 0 0 0 0 0
3588.09/3597.01 c > cmir : - - - - - - - 0 0 0 0 0 -
3588.09/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3588.09/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3588.09/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.09/3597.01 c clique : 0.26 0.00 23 23 0 0 5 5 0 5 5 0 0
3588.09/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.09/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.09/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.09/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.09/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.09/3597.01 c gomory : 552.16 0.00 2367 13 0 0 71353 98197 0 5110 5110 0 0
3588.09/3597.01 c > gomorymi : - - - - - - - 40492 0 554 554 0 -
3588.09/3597.01 c > strongcg : - - - - - - - 57705 0 4556 4556 0 -
3588.09/3597.01 c impliedbounds : 0.42 0.00 2473 23 0 0 0 0 0 0 0 0 0
3588.09/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.09/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.09/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.09/3597.01 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3588.09/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.09/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.09/3597.01 c multilinear : 0.00 0.00 252 23 0 0 0 0 0 0 0 0 0
3588.09/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.09/3597.01 c rapidlearning : 0.04 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.09/3597.01 c rlt : 0.00 0.00 13 13 0 0 0 0 0 0 0 0 0
3588.09/3597.01 c zerohalf : 37.42 0.00 2377 23 0 0 3171 109116 0 42020 42020 0 0
3588.09/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3588.09/3597.01 c hybrid : 1.35 0.00 6744 22 47135 0 160183 150 0 1568
3588.09/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3588.09/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3588.09/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3588.09/3597.01 c problem variables: 0.00 - 0 0
3588.09/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3588.09/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.09/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3588.09/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3588.09/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.09/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3588.09/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3588.09/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.09/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3588.09/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.09/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3588.09/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3588.09/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3588.09/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3588.09/3597.01 c relpscost : 391.89 0.00 32842 0 0 0 5704 0 26486 60950
3588.09/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3588.09/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3588.09/3597.01 c LP solutions : 0.00 - - 0 0
3588.09/3597.01 c relax solutions : 0.00 - - 0 0
3588.09/3597.01 c pseudo solutions : 0.00 - - 0 0
3588.09/3597.01 c strong branching : 0.75 - - 121 0
3588.09/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3588.09/3597.01 c adaptivediving : 17.87 0.00 138 3 2
3588.09/3597.01 c alns : 0.10 0.00 7 0 0
3588.09/3597.01 c bound : 0.00 0.00 0 0 0
3588.09/3597.01 c clique : 0.02 0.00 1 1 1
3588.09/3597.01 c coefdiving : 0.00 0.00 0 0 0
3588.09/3597.01 c completesol : 0.00 0.00 0 0 0
3588.09/3597.01 c conflictdiving : 4.81 0.00 70 0 0
3588.09/3597.01 c crossover : 0.27 0.00 11 3 2
3588.09/3597.01 c dins : 0.00 0.00 0 0 0
3588.09/3597.01 c distributiondivin: 10.45 0.00 70 0 0
3588.09/3597.01 c dks : 0.00 0.00 0 0 0
3588.09/3597.01 c dps : 0.00 0.00 0 0 0
3588.09/3597.01 c dualval : 0.00 0.00 0 0 0
3588.09/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3588.09/3597.01 c feaspump : 0.00 0.00 0 0 0
3588.09/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3588.09/3597.01 c fracdiving : 5.42 0.00 70 0 0
3588.09/3597.01 c gins : 0.01 0.00 0 0 0
3588.09/3597.01 c guideddiving : 7.61 0.00 70 0 0
3588.09/3597.01 c indicator : 0.00 0.00 0 0 0
3588.09/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3588.09/3597.01 c intdiving : 0.00 0.00 0 0 0
3588.09/3597.01 c intshifting : 0.00 0.00 0 0 0
3588.09/3597.01 c linesearchdiving : 12.20 0.00 70 0 0
3588.09/3597.01 c localbranching : 0.00 0.00 0 0 0
3588.09/3597.01 c locks : 0.00 0.00 1 1 1
3588.09/3597.01 c lpface : 0.01 0.00 0 0 0
3588.09/3597.01 c mpec : 0.00 0.00 0 0 0
3588.09/3597.01 c multistart : 0.00 0.00 0 0 0
3588.09/3597.01 c mutation : 0.00 0.00 0 0 0
3588.09/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3588.09/3597.01 c objpscostdiving : 138.11 0.00 35 137 1
3588.09/3597.01 c octane : 0.00 0.00 0 0 0
3588.09/3597.01 c ofins : 0.00 0.00 0 0 0
3588.09/3597.01 c oneopt : 0.02 0.00 9 4 4
3588.09/3597.01 c padm : 0.00 0.00 0 0 0
3588.09/3597.01 c proximity : 0.00 0.00 0 0 0
3588.09/3597.01 c pscostdiving : 13.97 0.00 70 5 4
3588.09/3597.01 c randrounding : 0.44 0.00 2136 21 0
3588.09/3597.01 c rens : 0.00 0.00 0 0 0
3588.09/3597.01 c reoptsols : 0.00 0.00 0 0 0
3588.09/3597.01 c repair : 0.00 0.00 0 0 0
3588.09/3597.01 c rins : 0.05 0.00 0 0 0
3588.09/3597.01 c rootsoldiving : 12.18 0.00 35 29 0
3588.09/3597.01 c rounding : 53.45 0.00 2782 0 0
3588.09/3597.01 c scheduler : 0.00 0.00 0 0 0
3588.09/3597.01 c shiftandpropagate: 0.00 0.00 0 0 0
3588.09/3597.01 c shifting : 30.10 0.00 1368 0 0
3588.09/3597.01 c simplerounding : 2.90 0.00 39585 62 0
3588.09/3597.01 c subnlp : 0.00 0.00 0 0 0
3588.09/3597.01 c trivial : 0.00 0.00 4 2 2
3588.09/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3588.09/3597.01 c trustregion : 0.00 0.00 0 0 0
3588.09/3597.01 c trysol : 0.01 0.00 0 0 0
3588.09/3597.01 c twoopt : 0.00 0.00 0 0 0
3588.09/3597.01 c undercover : 0.00 0.00 0 0 0
3588.09/3597.01 c vbounds : 0.02 0.00 2 0 0
3588.09/3597.01 c veclendiving : 6.17 0.00 70 0 0
3588.09/3597.01 c zeroobj : 0.00 0.00 0 0 0
3588.09/3597.01 c zirounding : 5.27 0.00 10601 212 0
3588.09/3597.01 c other solutions : - - - 0 -
3588.09/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3588.09/3597.01 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.09/3597.01 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.09/3597.01 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.09/3597.01 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.09/3597.01 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.09/3597.01 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.09/3597.01 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.09/3597.01 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.09/3597.01 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3588.09/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3588.09/3597.01 c primal LP : 3.24 4328 0 0.00 0.00 3.23 4328
3588.09/3597.01 c dual LP : 2108.93 66074 20618751 312.13 9776.88 0.02 15
3588.09/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3588.09/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3588.09/3597.01 c resolve instable : 0.00 0 0 0.00 -
3588.09/3597.01 c diving/probing LP: 242.44 7968 1708426 214.41 7046.87
3588.09/3597.01 c strong branching : 345.32 9625 3393306 352.55 9826.63 - - 2799
3588.09/3597.01 c (at root node) : - 44 41630 946.14 -
3588.09/3597.01 c conflict analysis: 1.75 1622 16220 10.00 9278.06
3588.09/3597.01 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3588.09/3597.01 c benders : 0.00 0 0 0 0.00 0 0 0
3588.09/3597.01 c B&B Tree :
3588.09/3597.01 c number of runs : 2
3588.09/3597.01 c nodes : 45930 (24374 internal, 21556 leaves)
3588.09/3597.01 c feasible leaves : 0
3588.09/3597.01 c infeas. leaves : 54
3588.09/3597.01 c objective leaves : 21501
3588.09/3597.01 c nodes (total) : 57085 (30475 internal, 26610 leaves)
3588.09/3597.01 c nodes left : 2808
3588.09/3597.01 c max depth : 48
3588.09/3597.01 c max depth (total): 48
3588.09/3597.01 c backtracks : 6068 (13.2%)
3588.09/3597.01 c early backtracks : 0 (0.0%)
3588.09/3597.01 c nodes exc. ref. : 0 (0.0%)
3588.09/3597.01 c delayed cutoffs : 0
3588.09/3597.01 c repropagations : 27 (22 domain reductions, 0 cutoffs)
3588.09/3597.01 c avg switch length: 2.93
3588.09/3597.01 c switching time : 7.58
3588.09/3597.01 c Root Node :
3588.09/3597.01 c First LP value : +9.77500000000000e+02
3588.09/3597.01 c First LP Iters : 1891 (63661.46 Iter/sec)
3588.09/3597.01 c First LP Time : 0.03
3588.09/3597.01 c Final Dual Bound : +1.01526693321910e+03
3588.09/3597.01 c Final Root Iters : 21288
3588.09/3597.01 c Root LP Estimate : +1.29331246202798e+03
3588.09/3597.01 c Solution :
3588.09/3597.01 c Solutions found : 601 (17 improvements)
3588.09/3597.01 c First Solution : +1.96300000000000e+03 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
3588.09/3597.01 c Gap First Sol. : infinite
3588.09/3597.01 c Gap Last Sol. : 1.96 %
3588.09/3597.01 c Primal Bound : +1.03900000000000e+03 (in run 2, after 14106 nodes, 1909.26 seconds, depth 27, found by <crossover>)
3588.09/3597.01 c Dual Bound : +1.02135993262497e+03
3588.09/3597.01 c Gap : 1.73 %
3588.09/3597.01 c Integrals : Total Avg%
3588.09/3597.01 c primal-dual : 8205.26 2.28
3588.09/3597.01 c primal-ref : - - (not evaluated)
3588.09/3597.01 c dual-ref : - - (not evaluated)
3588.19/3597.12 c Time complete (sec): 3588.218
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 (62118 MiB free)
memory of node 1: 64507 MiB (62171 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488781-1751321393/watcher-4488781-1751321393 -o /tmp/evaluation-result-4488781-1751321393/solver-4488781-1751321393 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751314195-46561 --watchdog 3760 pbsolver -f HOME/instance-4488781-1751321393.opb -t 3600 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=49470, runsolver pid=49467
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 4.11 4.12 4.09 5/263 49471
/proc/meminfo: memFree=127259632/131250000 swapFree=33010684/33010684
[pid=49470] ppid=49467 vsize=46380 memory=35084 CPUtime=0.1 cores=4,6
/proc/49470/stat : 49470 (pbsolver) R 49467 49470 46545 0 -1 4194304 6620 0 0 0 9 1 0 0 20 0 1 0 47819544 47493120 8771 18446744073709551615 4198400 14743177 140733554775824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49692672 140733554784650 140733554784746 140733554784746 140733554790348 0
/proc/49470/statm: 11595 8771 2688 2575 0 8502 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 46380 KiB
Current children cumulated memory: 35084 KiB
[startup+0.205398 s]*
/proc/loadavg: 4.11 4.12 4.09 5/263 49471
/proc/meminfo: memFree=127259632/131250000 swapFree=33010684/33010684
[pid=49470] ppid=49467 vsize=47248 memory=35852 CPUtime=0.2 cores=4,6
/proc/49470/stat : 49470 (pbsolver) R 49467 49470 46545 0 -1 4194304 6790 0 0 0 19 1 0 0 20 0 1 0 47819544 48381952 8963 18446744073709551615 4198400 14743177 140733554775824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49692672 140733554784650 140733554784746 140733554784746 140733554790348 0
/proc/49470/statm: 11812 8963 2688 2575 0 8719 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 47248 KiB
Current children cumulated memory: 35852 KiB
[startup+0.305321 s]*
/proc/loadavg: 4.10 4.12 4.09 5/263 49471
/proc/meminfo: memFree=127255600/131250000 swapFree=33010684/33010684
[pid=49470] ppid=49467 vsize=50924 memory=39180 CPUtime=0.3 cores=4,6
/proc/49470/stat : 49470 (pbsolver) R 49467 49470 46545 0 -1 4194304 7644 0 0 0 29 1 0 0 20 0 1 0 47819544 52146176 9795 18446744073709551615 4198400 14743177 140733554775824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49692672 140733554784650 140733554784746 140733554784746 140733554790348 0
/proc/49470/statm: 12731 9795 2688 2575 0 9638 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50924 KiB
Current children cumulated memory: 39180 KiB
[startup+0.700139 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 49471
/proc/meminfo: memFree=127255600/131250000 swapFree=33010684/33010684
[pid=49470] ppid=49467 vsize=52308 memory=40332 CPUtime=0.69 cores=4,6
/proc/49470/stat : 49470 (pbsolver) R 49467 49470 46545 0 -1 4194304 7922 0 0 0 68 1 0 0 20 0 1 0 47819544 53563392 10083 18446744073709551615 4198400 14743177 140733554775824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49692672 140733554784650 140733554784746 140733554784746 140733554790348 0
/proc/49470/statm: 13077 10083 2688 2575 0 9984 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 52308 KiB
Current children cumulated memory: 40332 KiB
[startup+1.50012 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 49471
/proc/meminfo: memFree=127247536/131250000 swapFree=33010684/33010684
[pid=49470] ppid=49467 vsize=55728 memory=43532 CPUtime=1.49 cores=4,6
/proc/49470/stat : 49470 (pbsolver) R 49467 49470 46545 0 -1 4194304 8725 0 0 0 148 1 0 0 20 0 1 0 47819544 57065472 10883 18446744073709551615 4198400 14743177 140733554775824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49692672 140733554784650 140733554784746 140733554784746 140733554790348 0
/proc/49470/statm: 13932 10883 2688 2575 0 10839 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 55728 KiB
Current children cumulated memory: 43532 KiB
[startup+3.10465 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 49471
/proc/meminfo: memFree=127231664/131250000 swapFree=33010684/33010684
[pid=49470] ppid=49467 vsize=77376 memory=63884 CPUtime=3.09 cores=4,6
/proc/49470/stat : 49470 (pbsolver) R 49467 49470 46545 0 -1 4194304 13811 0 0 0 307 2 0 0 20 0 1 0 47819544 79233024 15971 18446744073709551615 4198400 14743177 140733554775824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49692672 140733554784650 140733554784746 140733554784746 140733554790348 0
/proc/49470/statm: 19344 15971 2688 2575 0 16251 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 77376 KiB
Current children cumulated memory: 63884 KiB
[startup+6.30011 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 49471
/proc/meminfo: memFree=127190596/131250000 swapFree=33010684/33010684
[pid=49470] ppid=49467 vsize=124260 memory=110208 CPUtime=6.27 cores=4,6
/proc/49470/stat : 49470 (pbsolver) R 49467 49470 46545 0 -1 4194304 26579 0 0 0 623 4 0 0 20 0 1 0 47819544 127242240 27552 18446744073709551615 4198400 14743177 140733554775824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49692672 140733554784650 140733554784746 140733554784746 140733554790348 0
/proc/49470/statm: 31065 27552 2688 2575 0 27972 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 124260 KiB
Current children cumulated memory: 110208 KiB
[startup+12.7001 s]
/proc/loadavg: 4.08 4.11 4.09 6/263 49516
/proc/meminfo: memFree=128546812/131250000 swapFree=33010684/33010684
[pid=49470] ppid=49467 vsize=172196 memory=157336 CPUtime=12.65 cores=4,6
/proc/49470/stat : 49470 (pbsolver) R 49467 49470 46545 0 -1 4194304 38665 0 0 0 1257 8 0 0 20 0 1 0 47819544 176328704 39334 18446744073709551615 4198400 14743177 140733554775824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49692672 140733554784650 140733554784746 140733554784746 140733554790348 0
/proc/49470/statm: 43049 39334 2688 2575 0 39956 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 172196 KiB
Current children cumulated memory: 157336 KiB
[startup+25.5001 s]
/proc/loadavg: 4.07 4.11 4.09 5/263 49517
/proc/meminfo: memFree=128433964/131250000 swapFree=33010684/33010684
[pid=49470] ppid=49467 vsize=172196 memory=157592 CPUtime=25.42 cores=4,6
/proc/49470/stat : 49470 (pbsolver) R 49467 49470 46545 0 -1 4194304 38726 0 0 0 2534 8 0 0 20 0 1 0 47819544 176328704 39398 18446744073709551615 4198400 14743177 140733554775824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49692672 140733554784650 140733554784746 140733554784746 140733554790348 0
/proc/49470/statm: 43049 39398 2688 2575 0 39956 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 172196 KiB
Current children cumulated memory: 157592 KiB
[startup+51.1052 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 49562
/proc/meminfo: memFree=128601408/131250000 swapFree=33010684/33010684
[pid=49470] ppid=49467 vsize=208540 memory=191092 CPUtime=50.97 cores=4,6
/proc/49470/stat : 49470 (pbsolver) R 49467 49470 46545 0 -1 4194304 47375 0 0 0 5087 10 0 0 20 0 1 0 47819544 213544960 47773 18446744073709551615 4198400 14743177 140733554775824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49692672 140733554784650 140733554784746 140733554784746 140733554790348 0
/proc/49470/statm: 52135 47773 2688 2575 0 49042 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 208540 KiB
Current children cumulated memory: 191092 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 49570
/proc/meminfo: memFree=128450020/131250000 swapFree=33010684/33010684
[pid=49470] ppid=49467 vsize=226508 memory=208892 CPUtime=102.04 cores=4,6
/proc/49470/stat : 49470 (pbsolver) R 49467 49470 46545 0 -1 4194304 52685 0 0 0 10193 11 0 0 20 0 1 0 47819544 231944192 52223 18446744073709551615 4198400 14743177 140733554775824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49692672 140733554784650 140733554784746 140733554784746 140733554790348 0
/proc/49470/statm: 56627 52223 2688 2575 0 53534 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 226508 KiB
Current children cumulated memory: 208892 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 49617
/proc/meminfo: memFree=128886032/131250000 swapFree=33010684/33010684
[pid=49470] ppid=49467 vsize=234604 memory=216200 CPUtime=161.89 cores=4,6
/proc/49470/stat : 49470 (pbsolver) R 49467 49470 46545 0 -1 4194304 54635 0 0 0 16178 11 0 0 20 0 1 0 47819544 240234496 54050 18446744073709551615 4198400 14743177 140733554775824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49692672 140733554784650 140733554784746 140733554784746 140733554790348 0
/proc/49470/statm: 58651 54050 2688 2575 0 55558 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 234604 KiB
Current children cumulated memory: 216200 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/265 49619
/proc/meminfo: memFree=128557016/131250000 swapFree=33010684/33010684
[pid=49470] ppid=49467 vsize=244576 memory=229868 CPUtime=221.74 cores=4,6
/proc/49470/stat : 49470 (pbsolver) R 49467 49470 46545 0 -1 4194304 57601 0 0 0 22162 12 0 0 20 0 1 0 47819544 250445824 57467 18446744073709551615 4198400 14743177 140733554775824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49692672 140733554784650 140733554784746 140733554784746 140733554790348 0
/proc/49470/statm: 61144 57467 2688 2575 0 58051 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 244576 KiB
Current children cumulated memory: 229868 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 49621
/proc/meminfo: memFree=128503140/131250000 swapFree=33010684/33010684
[pid=49470] ppid=49467 vsize=247120 memory=236012 CPUtime=281.6 cores=4,6
/proc/49470/stat : 49470 (pbsolver) R 49467 49470 46545 0 -1 4194304 57915 0 0 0 28148 12 0 0 20 0 1 0 47819544 253050880 59003 18446744073709551615 4198400 14743177 140733554775824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49692672 140733554784650 140733554784746 140733554784746 140733554790348 0
/proc/49470/statm: 61780 59003 2688 2575 0 58687 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 247120 KiB
Current children cumulated memory: 236012 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 49623
/proc/meminfo: memFree=128410856/131250000 swapFree=33010684/33010684
[pid=49470] ppid=49467 vsize=275116 memory=260588 CPUtime=341.45 cores=4,6
/proc/49470/stat : 49470 (pbsolver) R 49467 49470 46545 0 -1 4194304 63376 0 0 0 34132 13 0 0 20 0 1 0 47819544 281718784 65147 18446744073709551615 4198400 14743177 140733554775824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49692672 140733554784650 140733554784746 140733554784746 140733554790348 0
/proc/49470/statm: 68779 65147 2688 2575 0 65686 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 275116 KiB
Current children cumulated memory: 260588 KiB
[startup+402.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/263 49625
/proc/meminfo: memFree=128366644/131250000 swapFree=33010684/33010684
[pid=49470] ppid=49467 vsize=283260 memory=263532 CPUtime=401.32 cores=4,6
/proc/49470/stat : 49470 (pbsolver) R 49467 49470 46545 0 -1 4194304 64163 0 0 0 40118 14 0 0 20 0 1 0 47819544 290058240 65883 18446744073709551615 4198400 14743177 140733554775824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49692672 140733554784650 140733554784746 140733554784746 140733554790348 0
/proc/49470/statm: 70815 65883 2688 2575 0 67722 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 283260 KiB
Current children cumulated memory: 263532 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/262 49627
/proc/meminfo: memFree=128348304/131250000 swapFree=33010684/33010684
[pid=49470] ppid=49467 vsize=287828 memory=265196 CPUtime=461.17 cores=4,6
/proc/49470/stat : 49470 (pbsolver) R 49467 49470 46545 0 -1 4194304 64592 0 0 0 46103 14 0 0 20 0 1 0 47819544 294735872 66299 18446744073709551615 4198400 14743177 140733554775824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49692672 140733554784650 140733554784746 140733554784746 140733554790348 0
/proc/49470/statm: 71957 66299 2688 2575 0 68864 0
Current children cumulated CPU time: 461.17 s
################
# More data... #
################
/proc/loadavg: 4.07 4.10 4.09 5/264 49774
/proc/meminfo: memFree=127353552/131250000 swapFree=33010684/33010684
[pid=49470] ppid=49467 vsize=556724 memory=547604 CPUtime=3214.31 cores=4,6
/proc/49470/stat : 49470 (pbsolver) R 49467 49470 46545 0 -1 4194304 131254 0 0 0 321403 28 0 0 20 0 1 0 47819544 570085376 136901 18446744073709551615 4198400 14743177 140733554775824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49692672 140733554784650 140733554784746 140733554784746 140733554790348 0
/proc/49470/statm: 139181 136901 2688 2575 0 136088 0
Current children cumulated CPU time: 3214.31 s
Current children cumulated vsize: 556724 KiB
Current children cumulated memory: 547604 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 49776
/proc/meminfo: memFree=127337284/131250000 swapFree=33010684/33010684
[pid=49470] ppid=49467 vsize=556724 memory=547604 CPUtime=3274.16 cores=4,6
/proc/49470/stat : 49470 (pbsolver) R 49467 49470 46545 0 -1 4194304 131261 0 0 0 327388 28 0 0 20 0 1 0 47819544 570085376 136901 18446744073709551615 4198400 14743177 140733554775824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49692672 140733554784650 140733554784746 140733554784746 140733554790348 0
/proc/49470/statm: 139181 136901 2688 2575 0 136088 0
Current children cumulated CPU time: 3274.16 s
Current children cumulated vsize: 556724 KiB
Current children cumulated memory: 547604 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 49778
/proc/meminfo: memFree=127361620/131250000 swapFree=33010684/33010684
[pid=49470] ppid=49467 vsize=556724 memory=547604 CPUtime=3334.01 cores=4,6
/proc/49470/stat : 49470 (pbsolver) R 49467 49470 46545 0 -1 4194304 131373 0 0 0 333373 28 0 0 20 0 1 0 47819544 570085376 136901 18446744073709551615 4198400 14743177 140733554775824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49692672 140733554784650 140733554784746 140733554784746 140733554790348 0
/proc/49470/statm: 139181 136901 2688 2575 0 136088 0
Current children cumulated CPU time: 3334.01 s
Current children cumulated vsize: 556724 KiB
Current children cumulated memory: 547604 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 49780
/proc/meminfo: memFree=127362116/131250000 swapFree=33010684/33010684
[pid=49470] ppid=49467 vsize=556724 memory=547604 CPUtime=3393.87 cores=4,6
/proc/49470/stat : 49470 (pbsolver) R 49467 49470 46545 0 -1 4194304 131508 0 0 0 339358 29 0 0 20 0 1 0 47819544 570085376 136901 18446744073709551615 4198400 14743177 140733554775824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49692672 140733554784650 140733554784746 140733554784746 140733554790348 0
/proc/49470/statm: 139181 136901 2688 2575 0 136088 0
Current children cumulated CPU time: 3393.87 s
Current children cumulated vsize: 556724 KiB
Current children cumulated memory: 547604 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 49783
/proc/meminfo: memFree=127361260/131250000 swapFree=33010684/33010684
[pid=49470] ppid=49467 vsize=556724 memory=547988 CPUtime=3453.72 cores=4,6
/proc/49470/stat : 49470 (pbsolver) R 49467 49470 46545 0 -1 4194304 131756 0 0 0 345343 29 0 0 20 0 1 0 47819544 570085376 136997 18446744073709551615 4198400 14743177 140733554775824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49692672 140733554784650 140733554784746 140733554784746 140733554790348 0
/proc/49470/statm: 139181 136997 2688 2575 0 136088 0
Current children cumulated CPU time: 3453.72 s
Current children cumulated vsize: 556724 KiB
Current children cumulated memory: 547988 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 49785
/proc/meminfo: memFree=127359608/131250000 swapFree=33010684/33010684
[pid=49470] ppid=49467 vsize=556724 memory=547988 CPUtime=3513.57 cores=4,6
/proc/49470/stat : 49470 (pbsolver) R 49467 49470 46545 0 -1 4194304 131877 0 0 0 351328 29 0 0 20 0 1 0 47819544 570085376 136997 18446744073709551615 4198400 14743177 140733554775824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49692672 140733554784650 140733554784746 140733554784746 140733554790348 0
/proc/49470/statm: 139181 136997 2688 2575 0 136088 0
Current children cumulated CPU time: 3513.57 s
Current children cumulated vsize: 556724 KiB
Current children cumulated memory: 547988 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 49789
/proc/meminfo: memFree=127351480/131250000 swapFree=33010684/33010684
[pid=49470] ppid=49467 vsize=559780 memory=550292 CPUtime=3573.43 cores=4,6
/proc/49470/stat : 49470 (pbsolver) R 49467 49470 46545 0 -1 4194304 132699 0 0 0 357313 30 0 0 20 0 1 0 47819544 573214720 137573 18446744073709551615 4198400 14743177 140733554775824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49692672 140733554784650 140733554784746 140733554784746 140733554790348 0
/proc/49470/statm: 139945 137573 2688 2575 0 136852 0
Current children cumulated CPU time: 3573.43 s
Current children cumulated vsize: 559780 KiB
Current children cumulated memory: 550292 KiB
[startup+3597.13 s]
# the end of solver process 49470 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.92 s, system=0.303348 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.09 4.09 5/264 49789
/proc/meminfo: memFree=127351480/131250000 swapFree=33010684/33010684
[pid=49470] ppid=49467 vsize=559780 memory=550292 CPUtime=3575.13 cores=4,6
/proc/49470/stat : 49470 (pbsolver) R 49467 49470 46545 0 -1 4194304 132700 0 0 0 357483 30 0 0 20 0 1 0 47819544 573214720 137573 18446744073709551615 4198400 14743177 140733554775824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49692672 140733554784650 140733554784746 140733554784746 140733554790348 0
/proc/49470/statm: 139945 137573 2688 2575 0 136852 0
Current children cumulated CPU time: 3575.13 s
Current children cumulated vsize: 559780 KiB
Current children cumulated memory: 550292 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 49789
/proc/meminfo: memFree=127351520/131250000 swapFree=33010684/33010684
[pid=49470] ppid=49467 vsize=559780 memory=550292 CPUtime=3581.51 cores=4,6
/proc/49470/stat : 49470 (pbsolver) R 49467 49470 46545 0 -1 4194304 132700 0 0 0 358121 30 0 0 20 0 1 0 47819544 573214720 137573 18446744073709551615 4198400 14743177 140733554775824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49692672 140733554784650 140733554784746 140733554784746 140733554790348 0
/proc/49470/statm: 139945 137573 2688 2575 0 136852 0
Current children cumulated CPU time: 3581.51 s
Current children cumulated vsize: 559780 KiB
Current children cumulated memory: 550292 KiB
[startup+3593.6 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 49789
/proc/meminfo: memFree=127351520/131250000 swapFree=33010684/33010684
[pid=49470] ppid=49467 vsize=559780 memory=550292 CPUtime=3584.7 cores=4,6
/proc/49470/stat : 49470 (pbsolver) R 49467 49470 46545 0 -1 4194304 132700 0 0 0 358440 30 0 0 20 0 1 0 47819544 573214720 137573 18446744073709551615 4198400 14743177 140733554775824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49692672 140733554784650 140733554784746 140733554784746 140733554790348 0
/proc/49470/statm: 139945 137573 2688 2575 0 136852 0
Current children cumulated CPU time: 3584.7 s
Current children cumulated vsize: 559780 KiB
Current children cumulated memory: 550292 KiB
[startup+3595.2 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 49789
/proc/meminfo: memFree=127351520/131250000 swapFree=33010684/33010684
[pid=49470] ppid=49467 vsize=559780 memory=550292 CPUtime=3586.29 cores=4,6
/proc/49470/stat : 49470 (pbsolver) R 49467 49470 46545 0 -1 4194304 132700 0 0 0 358599 30 0 0 20 0 1 0 47819544 573214720 137573 18446744073709551615 4198400 14743177 140733554775824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49692672 140733554784650 140733554784746 140733554784746 140733554790348 0
/proc/49470/statm: 139945 137573 2688 2575 0 136852 0
Current children cumulated CPU time: 3586.29 s
Current children cumulated vsize: 559780 KiB
Current children cumulated memory: 550292 KiB
[startup+3596 s]*
/proc/loadavg: 4.08 4.09 4.09 5/264 49789
/proc/meminfo: memFree=127351520/131250000 swapFree=33010684/33010684
[pid=49470] ppid=49467 vsize=559780 memory=550292 CPUtime=3587.1 cores=4,6
/proc/49470/stat : 49470 (pbsolver) R 49467 49470 46545 0 -1 4194304 132700 0 0 0 358680 30 0 0 20 0 1 0 47819544 573214720 137573 18446744073709551615 4198400 14743177 140733554775824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49692672 140733554784650 140733554784746 140733554784746 140733554790348 0
/proc/49470/statm: 139945 137573 2688 2575 0 136852 0
Current children cumulated CPU time: 3587.1 s
Current children cumulated vsize: 559780 KiB
Current children cumulated memory: 550292 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 49789
/proc/meminfo: memFree=127351520/131250000 swapFree=33010684/33010684
[pid=49470] ppid=49467 vsize=559780 memory=550292 CPUtime=3587.89 cores=4,6
/proc/49470/stat : 49470 (pbsolver) R 49467 49470 46545 0 -1 4194304 132700 0 0 0 358759 30 0 0 20 0 1 0 47819544 573214720 137573 18446744073709551615 4198400 14743177 140733554775824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49692672 140733554784650 140733554784746 140733554784746 140733554790348 0
/proc/49470/statm: 139945 137573 2688 2575 0 136852 0
Current children cumulated CPU time: 3587.89 s
Current children cumulated vsize: 559780 KiB
Current children cumulated memory: 550292 KiB
[startup+3597 s]*
/proc/loadavg: 4.08 4.09 4.09 5/264 49789
/proc/meminfo: memFree=127351520/131250000 swapFree=33010684/33010684
[pid=49470] ppid=49467 vsize=559780 memory=550292 CPUtime=3588.09 cores=4,6
/proc/49470/stat : 49470 (pbsolver) R 49467 49470 46545 0 -1 4194304 132700 0 0 0 358779 30 0 0 20 0 1 0 47819544 573214720 137573 18446744073709551615 4198400 14743177 140733554775824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49692672 140733554784650 140733554784746 140733554784746 140733554790348 0
/proc/49470/statm: 139945 137573 2688 2575 0 136852 0
Current children cumulated CPU time: 3588.09 s
Current children cumulated vsize: 559780 KiB
Current children cumulated memory: 550292 KiB
[startup+3597.11 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 49789
/proc/meminfo: memFree=127351520/131250000 swapFree=33010684/33010684
[pid=49470] ppid=49467 vsize=559196 memory=549800 CPUtime=3588.19 cores=4,6
/proc/49470/stat : 49470 (pbsolver) R 49467 49470 46545 0 -1 4194304 132700 0 0 0 358789 30 0 0 20 0 1 0 47819544 572616704 137450 18446744073709551615 4198400 14743177 140733554775824 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 49692672 140733554784650 140733554784746 140733554784746 140733554790348 0
/proc/49470/statm: 139799 137450 2688 2575 0 136706 0
Current children cumulated CPU time: 3588.19 s
Current children cumulated vsize: 559196 KiB
Current children cumulated memory: 549800 KiB
Child status: 0
Real time (s): 3597.13
CPU time (s): 3588.22
CPU user time (s): 3587.92
CPU system time (s): 0.303348
CPU usage (%): 99.7525
Max. virtual memory (cumulated for all children) (KiB): 564136
Max. memory (cumulated for all children) (KiB): 553004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.92
system time used= 0.303348
maximum resident set size= 553004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132704
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= 36
involuntary context switches= 2158
# summary of solver processes directly reported to runsolver:
# pid: 49470
# total CPU time (s): 3588.22
# total CPU user time (s): 3587.92
# total CPU system time (s): 0.303348
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.97901 second user time and 13.7862 second system time
The end