0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4432590-1721073284.opb>
0.00/0.10 c original problem has 6352 variables (6352 bin, 0 int, 0 impl, 0 cont) and 13429 constraints
0.00/0.10 c problem read in 0.09
0.10/0.16 c presolving:
0.10/0.21 c (round 1, fast) 426 del vars, 502 del conss, 0 add conss, 331 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 5763 clqs
0.10/0.22 c (round 2, fast) 758 del vars, 973 del conss, 0 add conss, 351 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 5732 clqs
0.22/0.23 c (round 3, fast) 1170 del vars, 1811 del conss, 0 add conss, 448 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 5528 clqs
0.22/0.23 c (round 4, fast) 1357 del vars, 1906 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 5454 clqs
0.22/0.24 c (round 5, fast) 1609 del vars, 2479 del conss, 0 add conss, 534 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 5278 clqs
0.22/0.24 c (round 6, fast) 1773 del vars, 2539 del conss, 0 add conss, 536 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 5215 clqs
0.22/0.25 c (round 7, fast) 2001 del vars, 3063 del conss, 0 add conss, 607 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 5053 clqs
0.22/0.25 c (round 8, fast) 2154 del vars, 3111 del conss, 0 add conss, 608 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 4991 clqs
0.22/0.26 c (round 9, fast) 2371 del vars, 3612 del conss, 0 add conss, 673 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 4836 clqs
0.22/0.26 c (round 10, fast) 2412 del vars, 3653 del conss, 0 add conss, 673 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 4942 clqs
0.22/0.30 c (0.3s) running MILP presolver
0.41/0.48 c (0.5s) MILP presolver (3 rounds): 2857 aggregations, 4 fixings, 0 bound changes
0.41/0.49 c (round 11, medium) 5288 del vars, 13429 del conss, 5947 add conss, 673 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 975 clqs
0.41/0.51 c (round 12, fast) 5288 del vars, 13571 del conss, 5947 add conss, 673 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 977 clqs
0.51/0.55 c (round 13, exhaustive) 5288 del vars, 13572 del conss, 5947 add conss, 673 chg bounds, 1 chg sides, 0 chg coeffs, 5804 upgd conss, 0 impls, 977 clqs
0.51/0.57 c (round 14, exhaustive) 5288 del vars, 13761 del conss, 6010 add conss, 673 chg bounds, 1 chg sides, 0 chg coeffs, 5804 upgd conss, 0 impls, 977 clqs
0.51/0.59 c (round 15, exhaustive) 5288 del vars, 13761 del conss, 6010 add conss, 673 chg bounds, 1 chg sides, 182 chg coeffs, 5804 upgd conss, 0 impls, 977 clqs
0.51/0.61 c (round 16, exhaustive) 5288 del vars, 13822 del conss, 6071 add conss, 673 chg bounds, 1 chg sides, 182 chg coeffs, 5804 upgd conss, 0 impls, 1038 clqs
0.68/0.77 c (0.8s) probing: 298/1908 (15.6%) - 0 fixings, 0 aggregations, 5707 implications, 0 bound changes
0.68/0.77 c (0.8s) probing aborted: 50/50 successive totally useless probings
0.68/0.77 c (0.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.68/0.78 c (0.8s) no symmetry present (symcode time: 0.00)
0.68/0.78 c presolving (17 rounds: 17 fast, 6 medium, 5 exhaustive):
0.68/0.78 c 5288 deleted vars, 13822 deleted constraints, 6071 added constraints, 673 tightened bounds, 0 added holes, 1 changed sides, 182 changed coefficients
0.68/0.78 c 0 implications, 6805 cliques
0.68/0.78 c presolved problem has 1908 variables (1908 bin, 0 int, 0 impl, 0 cont) and 5678 constraints
0.68/0.78 c 912 constraints of type <setppc>
0.68/0.78 c 2 constraints of type <and>
0.68/0.78 c 4764 constraints of type <logicor>
0.68/0.78 c transformed objective value is always integral (scale: 1)
0.68/0.78 c Presolving Time: 0.63
0.68/0.78 c - non default parameters ----------------------------------------------------------------------
0.68/0.78 c # SCIP version 10.0.0
0.68/0.78 c
0.68/0.78 c # maximal time in seconds to run
0.68/0.78 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.68/0.78 c limits/time = 3596.993109
0.68/0.78 c
0.68/0.78 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.68/0.78 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.68/0.78 c limits/memory = 27900
0.68/0.78 c
0.68/0.78 c # belongs reading time to solving time?
0.68/0.78 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.68/0.78 c timing/reading = TRUE
0.68/0.78 c
0.68/0.78 c -----------------------------------------------------------------------------------------------
0.68/0.78 c start solving
0.68/0.78 c
0.88/0.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.88/0.98 c 1.0s| 1 | 0 | 2095 | - | 49M | 0 |1908 |5716 |5680 | 0 | 0 | 37 | 0 | 2.833692e+03 | -- | Inf | unknown
1.98/2.06 c 2.0s| 1 | 0 | 8019 | - | 52M | 0 |1908 |5918 |5848 | 168 | 1 | 39 | 0 | 2.888000e+03 | -- | Inf | unknown
2.08/2.16 c 2.1s| 1 | 0 | 8531 | - | 54M | 0 |1908 |5921 |5953 | 273 | 2 | 42 | 0 | 2.926958e+03 | -- | Inf | unknown
2.17/2.27 c 2.3s| 1 | 0 | 9183 | - | 55M | 0 |1908 |5922 |6080 | 400 | 3 | 43 | 0 | 2.972184e+03 | -- | Inf | unknown
2.27/2.39 c 2.4s| 1 | 0 | 9887 | - | 56M | 0 |1908 |5923 |6191 | 511 | 4 | 44 | 0 | 3.006192e+03 | -- | Inf | unknown
2.47/2.50 c 2.5s| 1 | 0 | 10428 | - | 57M | 0 |1908 |5924 |6267 | 587 | 5 | 45 | 0 | 3.035449e+03 | -- | Inf | unknown
2.57/2.61 c 2.6s| 1 | 0 | 10902 | - | 59M | 0 |1908 |5925 |6313 | 633 | 6 | 46 | 0 | 3.051286e+03 | -- | Inf | unknown
2.67/2.73 c 2.7s| 1 | 0 | 11460 | - | 59M | 0 |1908 |5927 |6361 | 681 | 7 | 48 | 0 | 3.060563e+03 | -- | Inf | unknown
2.77/2.83 c 2.8s| 1 | 0 | 11995 | - | 61M | 0 |1908 |5929 |6404 | 724 | 8 | 50 | 0 | 3.067558e+03 | -- | Inf | unknown
2.87/2.94 c 2.9s| 1 | 0 | 12379 | - | 62M | 0 |1908 |5930 |6444 | 764 | 9 | 51 | 0 | 3.072218e+03 | -- | Inf | unknown
2.98/3.06 c 3.0s| 1 | 0 | 12804 | - | 63M | 0 |1908 |5931 |6470 | 790 | 10 | 52 | 0 | 3.076574e+03 | -- | Inf | unknown
2.98/3.11 c 3.1s| 1 | 0 | 13068 | - | 63M | 0 |1908 |5934 |6491 | 811 | 11 | 55 | 0 | 3.077993e+03 | -- | Inf | unknown
3.08/3.15 c 3.1s| 1 | 0 | 13332 | - | 64M | 0 |1908 |5935 |6519 | 839 | 12 | 56 | 0 | 3.080327e+03 | -- | Inf | unknown
3.08/3.19 c 3.2s| 1 | 0 | 13516 | - | 65M | 0 |1908 |5937 |6542 | 862 | 13 | 58 | 0 | 3.082176e+03 | -- | Inf | unknown
3.17/3.23 c 3.2s| 1 | 0 | 13631 | - | 66M | 0 |1908 |5938 |6464 | 876 | 14 | 59 | 0 | 3.083194e+03 | -- | Inf | unknown
3.17/3.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.17/3.27 c 3.3s| 1 | 0 | 13752 | - | 67M | 0 |1908 |5940 |6475 | 887 | 15 | 61 | 0 | 3.084074e+03 | -- | Inf | unknown
3.27/3.30 c 3.3s| 1 | 0 | 13881 | - | 67M | 0 |1908 |5941 |6491 | 903 | 16 | 62 | 0 | 3.084742e+03 | -- | Inf | unknown
3.27/3.34 c 3.3s| 1 | 0 | 14021 | - | 67M | 0 |1908 |5943 |6505 | 917 | 17 | 64 | 0 | 3.085539e+03 | -- | Inf | unknown
3.27/3.37 c 3.4s| 1 | 0 | 14192 | - | 68M | 0 |1908 |5945 |6514 | 926 | 18 | 66 | 0 | 3.086766e+03 | -- | Inf | unknown
3.37/3.41 c 3.4s| 1 | 0 | 14387 | - | 69M | 0 |1908 |5946 |6546 | 958 | 19 | 67 | 0 | 3.087671e+03 | -- | Inf | unknown
3.37/3.45 c 3.4s| 1 | 0 | 14539 | - | 69M | 0 |1908 |5947 |6316 | 977 | 20 | 68 | 0 | 3.089602e+03 | -- | Inf | unknown
3.37/3.47 c 3.5s| 1 | 0 | 14546 | - | 69M | 0 |1908 |5948 |6318 | 979 | 21 | 69 | 0 | 3.089602e+03 | -- | Inf | unknown
3.37/3.49 c 3.5s| 1 | 0 | 14547 | - | 70M | 0 |1908 |5950 |6319 | 980 | 22 | 71 | 0 | 3.089602e+03 | -- | Inf | unknown
3.67/3.70 c 3.7s| 1 | 2 | 14577 | - | 70M | 0 |1908 |5953 |6319 | 980 | 23 | 74 | 24 | 3.090602e+03 | -- | Inf | unknown
26.59/26.70 c 26.7s| 100 | 101 |125394 |1119.7 | 101M | 15 |1908 |6098 |6409 |2042 | 5 | 219 | 393 | 3.119777e+03 | -- | Inf | unknown
40.15/40.30 c 40.3s| 200 | 193 |202329 | 943.6 | 106M | 19 |1908 |6323 |6341 |2202 | 1 | 456 | 553 | 3.120604e+03 | -- | Inf | 0.98%
53.30/53.59 c 53.6s| 300 | 216 |250914 | 790.5 | 108M | 34 |1908 |6492 | 0 |2430 | 0 | 673 | 762 | 3.120604e+03 | -- | Inf | 0.98%
64.88/65.14 c 65.1s| 400 | 255 |330561 | 792.0 | 109M | 34 |1908 |6702 |6387 |2586 | 1 | 986 | 852 | 3.120777e+03 | -- | Inf | 0.98%
75.14/75.40 c 75.4s| 500 | 297 |398726 | 769.9 | 113M | 34 |1908 |6752 |6387 |3138 | 1 |1151 | 960 | 3.120777e+03 | -- | Inf | 0.98%
85.82/86.16 c 86.1s| 600 | 382 |461638 | 746.4 | 117M | 34 |1908 |6681 |6408 |3786 | 1 |1444 |1069 | 3.123104e+03 | -- | Inf | 0.98%
99.97/100.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
99.97/100.34 c 100s| 700 | 467 |543736 | 757.1 | 123M | 34 |1908 |6632 |6393 |4756 | 1 |1629 |1209 | 3.123948e+03 | -- | Inf | 0.98%
113.14/113.55 c 114s| 800 | 554 |629187 | 769.3 | 128M | 34 |1908 |6672 |6345 |5339 | 1 |1875 |1346 | 3.124281e+03 | -- | Inf | 0.98%
127.31/127.77 c 128s| 900 | 623 |722508 | 787.5 | 144M | 34 |1908 |6724 |6360 |6533 | 1 |2063 |1509 | 3.125116e+03 | -- | Inf | 0.98%
142.27/142.71 c 143s| 1000 | 691 |827360 | 813.6 | 154M | 34 |1908 |6812 |6373 |7527 | 1 |2319 |1624 | 3.125467e+03 | -- | Inf | 0.98%
158.33/158.84 c 159s| 1100 | 756 |932893 | 835.6 | 166M | 34 |1908 |6848 |6392 |8458 | 1 |2554 |1752 | 3.125469e+03 | -- | Inf | 0.98%
182.28/182.85 c 183s| 1200 | 829 | 1088k| 896.0 | 178M | 34 |1908 |6908 |6421 |9594 | 1 |2842 |1863 | 3.125968e+03 | -- | Inf | 0.98%
205.03/205.69 c 206s| 1300 | 899 | 1226k| 933.2 | 188M | 34 |1908 |6877 |6421 | 10k| 0 |3095 |2025 | 3.126365e+03 | -- | Inf | 0.98%
219.59/220.20 c 220s| 1400 | 975 | 1330k| 940.8 | 191M | 34 |1908 |6900 |6431 | 11k| 1 |3332 |2119 | 3.126984e+03 | -- | Inf | 0.98%
234.05/234.70 c 235s| 1500 | 1061 | 1453k| 959.8 | 195M | 34 |1908 |6880 |6446 | 13k| 3 |3600 |2124 | 3.127272e+03 | -- | Inf | 0.98%
250.52/251.24 c 251s| 1600 | 1141 | 1586k| 983.2 | 201M | 34 |1908 |6971 |6450 | 14k| 1 |3889 |2125 | 3.127453e+03 | -- | Inf | 0.98%
272.76/273.56 c 274s| 1700 | 1233 | 1740k|1016.0 | 206M | 34 |1908 |7039 |6436 | 16k| 3 |4172 |2155 | 3.127668e+03 | -- | Inf | 0.98%
295.91/296.70 c 297s| 1800 | 1297 | 1881k|1037.5 | 213M | 34 |1908 |7066 |6449 | 17k| 1 |4406 |2282 | 3.127668e+03 | -- | Inf | 0.98%
322.54/323.41 c 323s| 1900 | 1375 | 2027k|1059.9 | 226M | 34 |1908 |7091 |6418 | 18k| 1 |4683 |2436 | 3.127970e+03 | -- | Inf | 0.98%
347.20/348.11 c 348s| 2000 | 1463 | 2163k|1075.2 | 228M | 34 |1908 |7112 |6476 | 20k| 1 |4893 |2597 | 3.128134e+03 | -- | Inf | 0.98%
374.82/375.83 c 376s| 2100 | 1549 | 2320k|1098.8 | 230M | 34 |1908 |7148 |6470 | 21k| 1 |5149 |2709 | 3.128543e+03 | -- | Inf | 0.98%
397.36/398.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
397.36/398.49 c 398s| 2200 | 1641 | 2466k|1114.9 | 231M | 34 |1908 |7079 |6444 | 23k| 1 |5345 |2847 | 3.129093e+03 | -- | Inf | 0.98%
422.49/423.69 c 424s| 2300 | 1736 | 2621k|1134.1 | 236M | 34 |1908 |7167 |6417 | 24k| 1 |5697 |2967 | 3.129567e+03 | -- | Inf | 0.98%
451.10/452.31 c 452s| 2400 | 1817 | 2788k|1156.2 | 241M | 34 |1908 |7212 |6409 | 26k| 1 |6028 |3108 | 3.130111e+03 | -- | Inf | 0.98%
473.24/474.53 c 475s| 2500 | 1890 | 2924k|1164.4 | 242M | 34 |1908 |7183 |6471 | 27k| 1 |6259 |3229 | 3.130386e+03 | -- | Inf | 0.98%
490.89/492.20 c 492s| 2600 | 1924 | 3034k|1161.8 | 243M | 34 |1908 |7297 |6449 | 28k| 2 |6524 |3304 | 3.130639e+03 | -- | Inf | 0.98%
504.25/505.62 c 506s| 2700 | 1967 | 3146k|1160.3 | 244M | 34 |1908 |7393 |6430 | 29k| 1 |6799 |3309 | 3.130646e+03 | -- | Inf | 0.98%
517.91/519.32 c 519s| 2800 | 2007 | 3262k|1160.3 | 246M | 34 |1908 |7427 |6438 | 30k| 0 |7022 |3310 | 3.131067e+03 | -- | Inf | 0.98%
527.29/528.77 c 529s| 2900 | 2010 | 3346k|1149.5 | 247M | 34 |1908 |7568 |6449 | 30k| 0 |7237 |3311 | 3.131067e+03 | -- | Inf | 0.98%
538.05/539.59 c 540s| 3000 | 2024 | 3441k|1142.7 | 247M | 34 |1908 |7733 |6443 | 31k| 1 |7510 |3311 | 3.131129e+03 | -- | Inf | 0.98%
553.31/554.89 c 555s| 3100 | 2031 | 3574k|1148.7 | 247M | 34 |1908 |7929 |6443 | 31k| 1 |7785 |3311 | 3.131139e+03 | -- | Inf | 0.98%
565.67/567.26 c 567s| 3200 | 2034 | 3670k|1142.9 | 247M | 34 |1908 |8095 |6443 | 31k| 1 |8061 |3331 | 3.131226e+03 | -- | Inf | 0.98%
579.54/581.14 c 581s| 3300 | 2045 | 3761k|1135.9 | 248M | 34 |1908 |8042 |6419 | 32k| 0 |8287 |3416 | 3.131390e+03 | -- | Inf | 0.98%
595.50/597.18 c 597s| 3400 | 2066 | 3866k|1133.4 | 252M | 34 |1908 |7948 |6399 | 32k| 1 |8583 |3476 | 3.131587e+03 | -- | Inf | 0.98%
611.04/612.79 c 613s| 3500 | 2077 | 3972k|1131.2 | 253M | 34 |1908 |7976 |6485 | 33k| 0 |8953 |3536 | 3.131694e+03 | -- | Inf | 0.98%
627.69/629.46 c 629s| 3600 | 2099 | 4084k|1130.9 | 256M | 34 |1908 |7912 |6459 | 34k| 1 |9255 |3599 | 3.131815e+03 | -- | Inf | 0.98%
641.05/642.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
641.05/642.85 c 643s| 3700 | 2129 | 4178k|1125.8 | 257M | 34 |1908 |7787 |6430 | 34k| 1 |9473 |3649 | 3.131842e+03 | -- | Inf | 0.98%
655.41/657.27 c 657s| 3800 | 2159 | 4273k|1121.1 | 257M | 34 |1908 |7701 |6372 | 35k| 1 |9698 |3736 | 3.132074e+03 | -- | Inf | 0.98%
670.07/671.98 c 672s| 3900 | 2181 | 4372k|1117.6 | 258M | 34 |1908 |7719 |6435 | 36k| 1 |9945 |3799 | 3.132205e+03 | -- | Inf | 0.98%
684.33/686.25 c 686s| 4000 | 2193 | 4463k|1112.5 | 259M | 34 |1908 |7658 |6407 | 36k| 1 | 10k|3878 | 3.132275e+03 | -- | Inf | 0.98%
696.69/698.67 c 699s| 4100 | 2203 | 4544k|1105.1 | 261M | 34 |1908 |7857 |6413 | 36k| 0 | 10k|3918 | 3.132278e+03 | -- | Inf | 0.98%
709.85/711.81 c 712s| 4200 | 2224 | 4636k|1100.7 | 262M | 34 |1908 |7858 |6446 | 37k| 0 | 10k|3965 | 3.132382e+03 | -- | Inf | 0.98%
725.90/727.99 c 728s| 4300 | 2244 | 4744k|1100.3 | 262M | 34 |1908 |7786 |6424 | 38k| 0 | 11k|4047 | 3.132690e+03 | -- | Inf | 0.98%
741.86/743.97 c 744s| 4400 | 2290 | 4846k|1098.5 | 263M | 34 |1908 |7588 |6410 | 38k| 1 | 11k|4127 | 3.132872e+03 | -- | Inf | 0.98%
755.41/757.51 c 757s| 4500 | 2306 | 4945k|1096.0 | 263M | 34 |1908 |7599 |6486 | 39k| 0 | 11k|4194 | 3.133057e+03 | -- | Inf | 0.98%
765.58/767.72 c 768s| 4600 | 2311 | 5013k|1087.1 | 264M | 34 |1908 |7762 |6410 | 39k| 1 | 11k|4243 | 3.133129e+03 | -- | Inf | 0.98%
778.05/780.22 c 780s| 4700 | 2329 | 5103k|1082.9 | 264M | 34 |1908 |7899 |6431 | 39k| 0 | 12k|4295 | 3.133129e+03 | -- | Inf | 0.98%
791.31/793.58 c 794s| 4800 | 2355 | 5188k|1078.2 | 267M | 34 |1908 |7945 |6415 | 40k| 0 | 12k|4371 | 3.133718e+03 | -- | Inf | 0.98%
808.56/810.87 c 811s| 4900 | 2375 | 5303k|1079.6 | 267M | 34 |1908 |7889 |6428 | 41k| 0 | 12k|4451 | 3.134464e+03 | -- | Inf | 0.98%
822.32/824.66 c 825s| 5000 | 2382 | 5388k|1075.0 | 269M | 34 |1908 |7882 |6431 | 41k| 0 | 12k|4528 | 3.134464e+03 | -- | Inf | 0.98%
834.70/837.09 c 837s| 5100 | 2405 | 5469k|1069.9 | 269M | 34 |1908 |7842 | 0 | 41k| 0 | 13k|4576 | 3.134546e+03 | -- | Inf | 0.98%
843.46/845.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
843.46/845.87 c 846s| 5200 | 2416 | 5548k|1064.5 | 269M | 34 |1908 |7880 |6404 | 41k| 1 | 13k|4587 | 3.134546e+03 | -- | Inf | 0.98%
854.33/856.79 c 857s| 5300 | 2449 | 5641k|1061.9 | 270M | 34 |1908 |7834 |6478 | 42k| 0 | 13k|4587 | 3.135217e+03 | -- | Inf | 0.98%
862.21/864.60 c 865s| 5400 | 2444 | 5711k|1055.2 | 271M | 34 |1908 |7971 |6430 | 42k| 0 | 13k|4587 | 3.135298e+03 | -- | Inf | 0.98%
869.89/872.36 c 872s| 5500 | 2458 | 5782k|1048.9 | 271M | 34 |1908 |7975 |6431 | 42k| 0 | 14k|4587 | 3.135549e+03 | -- | Inf | 0.98%
881.57/884.09 c 884s| 5600 | 2490 | 5883k|1048.2 | 274M | 34 |1908 |7885 |6422 | 43k| 1 | 14k|4587 | 3.135569e+03 | -- | Inf | 0.98%
898.53/901.08 c 901s| 5700 | 2512 | 6015k|1052.9 | 275M | 34 |1908 |7863 |6485 | 43k| 1 | 14k|4587 | 3.136071e+03 | -- | Inf | 0.98%
910.30/912.82 c 913s| 5800 | 2535 | 6115k|1052.1 | 276M | 34 |1908 |7816 |6481 | 44k| 1 | 14k|4587 | 3.136220e+03 | -- | Inf | 0.98%
921.27/923.87 c 924s| 5900 | 2541 | 6214k|1051.0 | 276M | 34 |1908 |7797 |6410 | 44k| 1 | 15k|4587 | 3.136688e+03 | -- | Inf | 0.98%
928.75/931.35 c 931s| 6000 | 2560 | 6287k|1045.6 | 276M | 34 |1908 |7897 |6505 | 44k| 1 | 15k|4587 | 3.136688e+03 | -- | Inf | 0.98%
940.13/942.76 c 943s| 6100 | 2572 | 6375k|1043.0 | 279M | 34 |1908 |7971 |6505 | 45k| 0 | 15k|4597 | 3.136876e+03 | -- | Inf | 0.98%
953.90/956.56 c 957s| 6200 | 2588 | 6468k|1041.1 | 283M | 34 |1908 |8040 |6507 | 45k| 0 | 15k|4632 | 3.137225e+03 | -- | Inf | 0.98%
964.97/967.64 c 968s| 6300 | 2600 | 6549k|1037.4 | 284M | 34 |1908 |8015 |6409 | 45k| 0 | 15k|4673 | 3.137235e+03 | -- | Inf | 0.98%
978.04/980.71 c 981s| 6400 | 2628 | 6637k|1035.0 | 284M | 34 |1908 |7986 |6429 | 46k| 1 | 16k|4724 | 3.137367e+03 | -- | Inf | 1.37%
993.21/996.01 c 996s| 6500 | 2651 | 6736k|1034.3 | 287M | 34 |1908 |7824 |6458 | 46k| 1 | 16k|4801 | 3.137567e+03 | -- | Inf | 1.56%
1008.67/1011.42 c 1011s| 6600 | 2651 | 6840k|1034.3 | 287M | 34 |1908 |7909 |6455 | 46k| 1 | 16k|4863 | 3.137603e+03 | -- | Inf | 1.56%
1019.26/1022.03 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1019.26/1022.03 c (run 1, node 6664) performing user restart
1019.26/1022.03 c
1019.26/1022.04 c (restart) converted 605 cuts from the global cut pool into linear constraints
1019.26/1022.04 c
1019.26/1022.09 c presolving:
1019.26/1022.10 c (round 1, fast) 0 del vars, 62 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 54 chg coeffs, 0 upgd conss, 0 impls, 6930 clqs
1019.26/1022.11 c (round 2, medium) 118 del vars, 62 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 55 chg coeffs, 0 upgd conss, 0 impls, 6670 clqs
1019.36/1022.11 c (round 3, fast) 118 del vars, 333 del conss, 0 add conss, 0 chg bounds, 6 chg sides, 256 chg coeffs, 0 upgd conss, 0 impls, 6674 clqs
1019.36/1022.13 c (round 4, exhaustive) 118 del vars, 378 del conss, 15 add conss, 0 chg bounds, 6 chg sides, 256 chg coeffs, 0 upgd conss, 0 impls, 6674 clqs
1019.36/1022.14 c (round 5, exhaustive) 118 del vars, 385 del conss, 15 add conss, 0 chg bounds, 13 chg sides, 256 chg coeffs, 0 upgd conss, 0 impls, 6674 clqs
1019.36/1022.15 c (round 6, exhaustive) 118 del vars, 385 del conss, 15 add conss, 0 chg bounds, 13 chg sides, 256 chg coeffs, 653 upgd conss, 0 impls, 6674 clqs
1019.36/1022.18 c (round 7, exhaustive) 118 del vars, 713 del conss, 16 add conss, 0 chg bounds, 13 chg sides, 1549 chg coeffs, 653 upgd conss, 0 impls, 6674 clqs
1019.36/1022.19 c (round 8, exhaustive) 120 del vars, 719 del conss, 18 add conss, 0 chg bounds, 13 chg sides, 1551 chg coeffs, 653 upgd conss, 0 impls, 6672 clqs
1019.36/1022.19 c (round 9, fast) 120 del vars, 724 del conss, 20 add conss, 0 chg bounds, 13 chg sides, 1551 chg coeffs, 653 upgd conss, 0 impls, 6672 clqs
1019.44/1022.22 c (round 10, exhaustive) 120 del vars, 736 del conss, 20 add conss, 0 chg bounds, 13 chg sides, 1552 chg coeffs, 653 upgd conss, 0 impls, 6672 clqs
1019.44/1022.27 c presolving (11 rounds: 11 fast, 8 medium, 7 exhaustive):
1019.44/1022.27 c 120 deleted vars, 736 deleted constraints, 20 added constraints, 0 tightened bounds, 0 added holes, 13 changed sides, 1572 changed coefficients
1019.44/1022.27 c 0 implications, 6672 cliques
1019.44/1022.27 c presolved problem has 1788 variables (1788 bin, 0 int, 0 impl, 0 cont) and 7778 constraints
1019.44/1022.27 c 324 constraints of type <knapsack>
1019.44/1022.27 c 801 constraints of type <setppc>
1019.44/1022.27 c 18 constraints of type <and>
1019.44/1022.27 c 67 constraints of type <linear>
1019.44/1022.27 c 6568 constraints of type <logicor>
1019.44/1022.27 c transformed objective value is always integral (scale: 1)
1019.44/1022.27 c Presolving Time: 0.81
1019.44/1022.27 c
1019.54/1022.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1019.54/1022.37 c 1022s| 1 | 0 | 6908k| - | 288M | 0 |1788 |7788 |6022 | 0 | 0 | 16k|4893 | 3.137725e+03 | -- | Inf | unknown
1019.64/1022.48 c 1022s| 1 | 0 | 6908k| - | 289M | 0 |1788 |7788 |6070 | 48 | 1 | 16k|4893 | 3.137725e+03 | -- | Inf | unknown
1019.74/1022.57 c 1023s| 1 | 0 | 6909k| - | 290M | 0 |1788 |7790 |6094 | 72 | 2 | 16k|4893 | 3.137725e+03 | -- | Inf | unknown
1019.84/1022.67 c 1023s| 1 | 0 | 6909k| - | 290M | 0 |1788 |7791 |6126 | 104 | 3 | 16k|4893 | 3.137725e+03 | -- | Inf | unknown
1019.94/1022.76 c 1023s| 1 | 0 | 6909k| - | 291M | 0 |1788 |7794 |6157 | 135 | 4 | 16k|4893 | 3.137725e+03 | -- | Inf | unknown
1020.04/1022.87 c 1023s| 1 | 0 | 6910k| - | 292M | 0 |1788 |7795 |6186 | 164 | 5 | 16k|4893 | 3.137725e+03 | -- | Inf | unknown
1020.14/1022.96 c 1023s| 1 | 0 | 6910k| - | 292M | 0 |1788 |7796 |6204 | 182 | 6 | 16k|4893 | 3.137725e+03 | -- | Inf | unknown
1020.25/1023.07 c 1023s| 1 | 0 | 6911k| - | 293M | 0 |1788 |7798 |6229 | 207 | 7 | 16k|4893 | 3.137725e+03 | -- | Inf | unknown
1020.35/1023.17 c 1023s| 1 | 0 | 6912k| - | 293M | 0 |1788 |7799 |6256 | 234 | 8 | 16k|4893 | 3.137725e+03 | -- | Inf | unknown
1020.44/1023.27 c 1023s| 1 | 0 | 6912k| - | 294M | 0 |1788 |7802 |6281 | 259 | 9 | 16k|4893 | 3.137725e+03 | -- | Inf | unknown
1020.54/1023.36 c 1023s| 1 | 0 | 6912k| - | 295M | 0 |1788 |7804 |6304 | 282 | 10 | 16k|4893 | 3.137725e+03 | -- | Inf | unknown
1020.64/1023.41 c 1023s| 1 | 0 | 6912k| - | 295M | 0 |1788 |7805 |6158 | 300 | 11 | 16k|4893 | 3.137725e+03 | -- | Inf | unknown
1020.64/1023.46 c 1023s| 1 | 0 | 6913k| - | 296M | 0 |1788 |7807 |6170 | 312 | 12 | 16k|4893 | 3.137725e+03 | -- | Inf | unknown
1020.74/1023.53 c 1024s| 1 | 0 | 6913k| - | 296M | 0 |1788 |7809 |6191 | 333 | 13 | 16k|4893 | 3.137725e+03 | -- | Inf | unknown
1020.74/1023.57 c 1024s| 1 | 0 | 6913k| - | 296M | 0 |1788 |7810 |6204 | 346 | 14 | 16k|4893 | 3.137725e+03 | -- | Inf | unknown
1020.84/1023.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1020.84/1023.62 c 1024s| 1 | 0 | 6914k| - | 296M | 0 |1788 |7812 |6231 | 373 | 15 | 16k|4893 | 3.138194e+03 | -- | Inf | unknown
1020.84/1023.67 c 1024s| 1 | 0 | 6914k| - | 297M | 0 |1788 |7813 |6246 | 388 | 16 | 16k|4893 | 3.138497e+03 | -- | Inf | unknown
1020.94/1023.72 c 1024s| 1 | 0 | 6914k| - | 298M | 0 |1788 |7815 |6137 | 405 | 17 | 16k|4893 | 3.139987e+03 | -- | Inf | unknown
1020.94/1023.76 c 1024s| 1 | 0 | 6915k| - | 298M | 0 |1788 |7816 |6158 | 426 | 18 | 16k|4893 | 3.140820e+03 | -- | Inf | unknown
1021.04/1023.81 c 1024s| 1 | 0 | 6915k| - | 298M | 0 |1788 |7818 |6167 | 435 | 19 | 16k|4893 | 3.141594e+03 | -- | Inf | unknown
1021.04/1023.85 c 1024s| 1 | 0 | 6915k| - | 299M | 0 |1788 |7819 |6174 | 442 | 20 | 16k|4893 | 3.141844e+03 | -- | Inf | unknown
1021.04/1023.87 c 1024s| 1 | 0 | 6915k| - | 299M | 0 |1788 |7819 |6179 | 447 | 21 | 16k|4893 | 3.141844e+03 | -- | Inf | unknown
1021.04/1023.89 c 1024s| 1 | 0 | 6915k| - | 299M | 0 |1788 |7819 |6185 | 453 | 22 | 16k|4893 | 3.141844e+03 | -- | Inf | unknown
1021.54/1024.38 c 1024s| 1 | 2 | 6917k| - | 299M | 0 |1788 |7831 |6185 | 453 | 23 | 16k|4899 | 3.145444e+03 | -- | Inf | unknown
1057.66/1060.50 c 1060s| 100 | 47 | 6984k|1029.0 | 303M | 31 |1788 |7818 |6035 | 541 | 1 | 17k|5809 | 3.150186e+03 | -- | Inf | unknown
1086.69/1089.63 c 1090s| 200 | 71 | 7071k|1026.8 | 303M | 31 |1788 |8040 |6030 | 568 | 1 | 17k|6467 | 3.150186e+03 | -- | Inf | unknown
1117.82/1120.81 c 1121s| 300 | 135 | 7142k|1022.2 | 307M | 31 |1788 |7761 |6037 | 728 | 1 | 17k|7443 | 3.150186e+03 | -- | Inf | unknown
1154.83/1157.96 c 1158s| 400 | 175 | 7221k|1018.9 | 307M | 32 |1788 |7582 |6034 | 766 | 1 | 18k|8176 | 3.150186e+03 | -- | Inf | unknown
1192.95/1196.15 c 1196s| 500 | 208 | 7285k|1013.7 | 311M | 33 |1788 |8001 |6049 | 923 | 0 | 18k|8993 | 3.150320e+03 | -- | Inf | unknown
1204.41/1207.66 c 1208s| 600 | 257 | 7362k|1010.3 | 314M | 33 |1788 |7690 |6050 |1135 | 2 | 18k|9061 | 3.150408e+03 | -- | Inf | unknown
1215.69/1218.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1215.69/1218.95 c 1219s| 700 | 333 | 7439k|1007.0 | 315M | 33 |1788 |7420 |6053 |1275 | 0 | 19k|9143 | 3.150575e+03 | -- | Inf | unknown
1227.77/1231.07 c 1231s| 800 | 396 | 7521k|1004.5 | 317M | 33 |1788 |7252 |6051 |1414 | 1 | 19k|9245 | 3.150606e+03 | -- | Inf | unknown
1239.23/1242.57 c 1243s| 900 | 448 | 7593k|1000.8 | 318M | 33 |1788 |7185 |6043 |1528 | 1 | 19k|9368 | 3.150786e+03 | -- | Inf | unknown
1250.19/1253.51 c 1253s| 1000 | 518 | 7663k| 996.8 | 322M | 33 |1788 |7091 |6056 |1766 | 1 | 19k|9460 | 3.150994e+03 | -- | Inf | unknown
1258.68/1262.01 c 1262s| 1100 | 565 | 7740k| 993.9 | 326M | 33 |1788 |7175 |6031 |1920 | 1 | 19k|9478 | 3.151020e+03 | -- | Inf | unknown
1265.85/1269.28 c 1269s| 1200 | 602 | 7821k| 991.6 | 326M | 33 |1788 |7264 |6044 |1980 | 1 | 20k|9481 | 3.151167e+03 | -- | Inf | unknown
1274.22/1277.66 c 1278s| 1300 | 628 | 7910k| 990.3 | 333M | 33 |1788 |7352 |6057 |2316 | 0 | 20k|9484 | 3.151224e+03 | -- | Inf | unknown
1280.50/1283.98 c 1284s| 1400 | 642 | 7979k| 986.5 | 335M | 33 |1788 |7483 |6051 |2517 | 1 | 20k|9485 | 3.151224e+03 | -- | Inf | unknown
1286.48/1289.91 c 1290s| 1500 | 652 | 8037k| 981.6 | 338M | 33 |1788 |7595 |6057 |2837 | 0 | 20k|9487 | 3.151333e+03 | -- | Inf | unknown
1293.67/1297.17 c 1297s| 1600 | 669 | 8108k| 978.4 | 344M | 33 |1788 |7676 |6055 |3162 | 2 | 21k|9487 | 3.151333e+03 | -- | Inf | unknown
1301.74/1305.29 c 1305s| 1700 | 682 | 8189k| 976.3 | 345M | 33 |1788 |7690 |6049 |3425 | 1 | 21k|9488 | 3.151376e+03 | -- | Inf | unknown
1309.42/1312.90 c 1313s| 1800 | 701 | 8270k| 974.4 | 345M | 33 |1788 |7688 |6057 |3544 | 1 | 21k|9489 | 3.151575e+03 | -- | Inf | unknown
1316.51/1320.04 c 1320s| 1900 | 717 | 8344k| 971.6 | 348M | 33 |1788 |7721 |6064 |3781 | 1 | 21k|9489 | 3.151583e+03 | -- | Inf | unknown
1328.37/1331.98 c 1332s| 2000 | 732 | 8448k| 972.4 | 351M | 33 |1788 |7759 |6056 |4127 | 1 | 22k|9492 | 3.151592e+03 | -- | Inf | unknown
1335.94/1339.50 c 1339s| 2100 | 739 | 8526k| 970.2 | 354M | 33 |1788 |7839 |6047 |4379 | 0 | 22k|9492 | 3.151736e+03 | -- | Inf | unknown
1343.32/1346.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1343.32/1346.96 c 1347s| 2200 | 779 | 8600k| 967.6 | 355M | 33 |1788 |7777 |6074 |4444 | 0 | 22k|9492 | 3.151835e+03 | -- | Inf | unknown
1349.01/1352.64 c 1353s| 2300 | 783 | 8657k| 963.1 | 355M | 33 |1788 |7920 |6067 |4450 | 1 | 22k|9492 | 3.151840e+03 | -- | Inf | unknown
1355.19/1358.86 c 1359s| 2400 | 791 | 8716k| 959.1 | 355M | 33 |1788 |8032 |6065 |4633 | 1 | 23k|9492 | 3.151840e+03 | -- | Inf | unknown
1363.16/1366.85 c 1367s| 2500 | 801 | 8788k| 956.5 | 357M | 33 |1788 |8095 |6079 |4847 | 1 | 23k|9494 | 3.151853e+03 | -- | Inf | unknown
1369.74/1373.41 c 1373s| 2600 | 801 | 8855k| 953.3 | 357M | 33 |1788 |8256 |6075 |4859 | 0 | 23k|9494 | 3.151853e+03 | -- | Inf | unknown
1379.81/1383.54 c 1384s| 2700 | 821 | 8939k| 952.1 | 361M | 33 |1788 |8228 |6080 |5294 | 1 | 23k|9494 | 3.151906e+03 | -- | Inf | unknown
1390.48/1394.24 c 1394s| 2800 | 835 | 9030k| 951.7 | 370M | 33 |1788 |8188 |6077 |5750 | 0 | 23k|9494 | 3.151959e+03 | -- | Inf | unknown
1397.37/1401.20 c 1401s| 2900 | 841 | 9095k| 948.6 | 375M | 33 |1788 |8251 |6081 |5963 | 0 | 24k|9494 | 3.151959e+03 | -- | Inf | unknown
1406.24/1410.05 c 1410s| 3000 | 861 | 9171k| 946.6 | 376M | 33 |1788 |8187 |6072 |6377 | 0 | 24k|9494 | 3.152092e+03 | -- | Inf | unknown
1413.02/1416.88 c 1417s| 3100 | 877 | 9248k| 944.8 | 376M | 33 |1788 |8151 |6062 |6531 | 1 | 24k|9494 | 3.152127e+03 | -- | Inf | unknown
1419.70/1423.51 c 1423s| 3200 | 885 | 9320k| 942.5 | 377M | 33 |1788 |8068 |6054 |6555 | 1 | 24k|9494 | 3.152127e+03 | -- | Inf | unknown
1426.68/1430.53 c 1431s| 3300 | 897 | 9388k| 939.9 | 378M | 33 |1788 |8081 |6047 |6851 | 1 | 25k|9494 | 3.152127e+03 | -- | Inf | unknown
1433.56/1437.40 c 1437s| 3400 | 920 | 9464k| 938.1 | 378M | 33 |1788 |8074 |6063 |6935 | 0 | 25k|9494 | 3.152127e+03 | -- | Inf | unknown
1440.44/1444.38 c 1444s| 3500 | 932 | 9536k| 936.0 | 378M | 33 |1788 |8109 |6070 |7042 | 1 | 25k|9494 | 3.152340e+03 | -- | Inf | unknown
1451.31/1455.21 c 1455s| 3600 | 937 | 9608k| 933.8 | 378M | 33 |1788 |8190 |6070 |7150 | 1 | 25k|9562 | 3.152351e+03 | -- | Inf | unknown
1460.58/1464.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1460.58/1464.52 c 1465s| 3700 | 937 | 9678k| 931.6 | 378M | 33 |1788 |8344 |6068 |7176 | 0 | 25k|9605 | 3.152351e+03 | -- | Inf | unknown
1474.34/1478.35 c 1478s| 3800 | 959 | 9763k| 930.8 | 379M | 33 |1788 |8274 |6069 |7590 | 0 | 26k|9667 | 3.152376e+03 | -- | Inf | unknown
1490.59/1494.64 c 1495s| 3900 | 997 | 9872k| 932.3 | 380M | 33 |1788 |8320 |6073 |7889 | 0 | 26k|9746 | 3.152401e+03 | -- | Inf | unknown
1503.96/1508.08 c 1508s| 4000 | 1020 | 9963k| 932.1 | 380M | 33 |1788 |8392 |6118 |7915 | 0 | 26k|9816 | 3.152436e+03 | -- | Inf | unknown
1516.81/1520.97 c 1521s| 4100 | 1033 | 10051k| 931.6 | 380M | 33 |1788 |8412 |6071 |8148 | 0 | 27k|9889 | 3.152625e+03 | -- | Inf | unknown
1529.47/1533.69 c 1534s| 4200 | 1051 | 10134k| 930.6 | 385M | 33 |1788 |8516 |6069 |8473 | 1 | 27k|9968 | 3.152628e+03 | -- | Inf | unknown
1545.64/1549.84 c 1550s| 4300 | 1087 | 10244k| 932.2 | 390M | 33 |1788 |8646 |6110 |8674 | 1 | 27k| 10k| 3.152632e+03 | -- | Inf | unknown
1565.28/1569.57 c 1570s| 4400 | 1144 | 10367k| 934.9 | 390M | 33 |1788 |8781 |6117 |8856 | 0 | 27k| 10k| 3.152642e+03 | -- | Inf | unknown
1583.03/1587.36 c 1587s| 4500 | 1174 | 10485k| 937.1 | 391M | 33 |1788 |8849 |6121 |9036 | 0 | 28k| 10k| 3.152661e+03 | -- | Inf | unknown
1596.19/1600.51 c 1600s| 4600 | 1192 | 10600k| 939.0 | 391M | 33 |1788 |8951 |6116 |9094 | 1 | 28k| 10k| 3.152686e+03 | -- | Inf | unknown
1609.85/1614.25 c 1614s| 4700 | 1202 | 10723k| 941.6 | 391M | 33 |1788 |9104 |6116 |9144 | 1 | 28k| 10k| 3.152704e+03 | -- | Inf | unknown
1621.91/1626.36 c 1626s| 4800 | 1204 | 10845k| 944.0 | 391M | 33 |1788 |9240 |6115 |9201 | 0 | 28k| 10k| 3.152704e+03 | -- | Inf | unknown
1636.27/1640.77 c 1641s| 4900 | 1230 | 10965k| 946.2 | 392M | 33 |1788 |9372 |6111 |9334 | 0 | 29k| 10k| 3.152724e+03 | -- | Inf | unknown
1647.44/1651.96 c 1652s| 5000 | 1237 | 11079k| 947.8 | 393M | 33 |1788 |9527 |6112 |9387 | 1 | 29k| 10k| 3.152724e+03 | -- | Inf | unknown
1658.20/1662.77 c 1663s| 5100 | 1250 | 11183k| 948.6 | 393M | 33 |1788 |9510 |6116 |9481 | 1 | 29k| 10k| 3.152809e+03 | -- | Inf | unknown
1670.86/1675.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1670.86/1675.40 c 1675s| 5200 | 1264 | 11307k| 951.1 | 393M | 33 |1788 |9446 |6119 |9608 | 0 | 30k| 10k| 3.152821e+03 | -- | Inf | unknown
1682.73/1687.31 c 1687s| 5300 | 1280 | 11427k| 953.2 | 393M | 33 |1788 |9519 |6117 |9611 | 1 | 30k| 10k| 3.152853e+03 | -- | Inf | unknown
1693.60/1698.26 c 1698s| 5400 | 1288 | 11539k| 954.5 | 393M | 33 |1788 |9463 |6119 |9686 | 1 | 30k| 10k| 3.152854e+03 | -- | Inf | unknown
1707.06/1711.77 c 1712s| 5500 | 1318 | 11669k| 957.4 | 394M | 33 |1788 |9262 |6123 |9823 | 0 | 30k| 10k| 3.152854e+03 | -- | Inf | unknown
1719.82/1724.51 c 1724s| 5600 | 1328 | 11797k| 960.1 | 394M | 33 |1788 |9299 |6122 |9919 | 0 | 31k| 10k| 3.152871e+03 | -- | Inf | unknown
1735.88/1740.62 c 1741s| 5700 | 1328 | 11947k| 964.4 | 394M | 33 |1788 |9303 |6120 |9971 | 0 | 31k| 10k| 3.152871e+03 | -- | Inf | unknown
1749.44/1754.28 c 1754s| 5800 | 1340 | 12083k| 967.6 | 395M | 33 |1788 |9234 |6123 | 10k| 1 | 31k| 10k| 3.152874e+03 | -- | Inf | unknown
1760.50/1765.30 c 1765s| 5900 | 1355 | 12190k| 968.4 | 395M | 33 |1788 |9273 |6123 | 10k| 0 | 31k| 10k| 3.152874e+03 | -- | Inf | unknown
1773.28/1778.17 c 1778s| 6000 | 1365 | 12318k| 970.9 | 395M | 33 |1788 |9305 |6123 | 10k| 0 | 31k| 10k| 3.152877e+03 | -- | Inf | unknown
1788.33/1793.27 c 1793s| 6100 | 1377 | 12461k| 974.5 | 396M | 33 |1788 |9160 |6125 | 10k| 1 | 32k| 10k| 3.153055e+03 | -- | Inf | unknown
1805.78/1810.80 c 1811s| 6200 | 1381 | 12592k| 977.1 | 396M | 33 |1788 |9089 |6126 | 10k| 1 | 32k| 10k| 3.153081e+03 | -- | Inf | unknown
1823.93/1828.96 c 1829s| 6300 | 1387 | 12728k| 980.0 | 396M | 33 |1788 |9175 |6124 | 10k| 0 | 32k| 10k| 3.153218e+03 | -- | Inf | unknown
1843.57/1848.67 c 1849s| 6400 | 1393 | 12870k| 983.4 | 396M | 33 |1788 |9142 |6125 | 10k| 1 | 32k| 10k| 3.153261e+03 | -- | Inf | unknown
1863.71/1868.81 c 1869s| 6500 | 1399 | 13012k| 986.7 | 396M | 33 |1788 |8978 |6117 | 10k| 1 | 33k| 10k| 3.153351e+03 | -- | Inf | unknown
1881.97/1887.19 c 1887s| 6600 | 1403 | 13152k| 989.8 | 396M | 33 |1788 |9045 |6118 | 10k| 0 | 33k| 10k| 3.153351e+03 | -- | Inf | unknown
1901.91/1907.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1901.91/1907.14 c 1907s| 6700 | 1407 | 13294k| 993.1 | 396M | 33 |1788 |9040 |6121 | 11k| 2 | 33k| 10k| 3.153351e+03 | -- | Inf | unknown
1919.55/1924.84 c 1925s| 6800 | 1425 | 13415k| 994.6 | 398M | 33 |1788 |9109 |6120 | 11k| 1 | 33k| 10k| 3.153353e+03 | -- | Inf | unknown
1936.71/1942.10 c 1942s| 6900 | 1428 | 13537k| 996.3 | 398M | 33 |1788 |9183 |6121 | 11k| 1 | 33k| 10k| 3.153379e+03 | -- | Inf | unknown
1955.45/1960.89 c 1961s| 7000 | 1432 | 13668k| 998.6 | 398M | 33 |1788 |8855 |6117 | 11k| 1 | 34k| 11k| 3.153381e+03 | -- | Inf | unknown
1974.41/1979.89 c 1980s| 7100 | 1444 | 13798k|1000.8 | 398M | 33 |1788 |8528 |6111 | 11k| 1 | 34k| 11k| 3.153621e+03 | -- | Inf | unknown
1988.87/1994.39 c 1994s| 7200 | 1460 | 13900k|1000.9 | 398M | 33 |1788 |8753 | 0 | 11k| 0 | 34k| 11k| 3.153621e+03 | -- | Inf | unknown
2012.11/2017.61 c 2018s| 7300 | 1468 | 14058k|1005.1 | 398M | 33 |1788 |8701 |6121 | 11k| 1 | 35k| 11k| 3.153653e+03 | -- | Inf | unknown
2033.86/2039.46 c 2039s| 7400 | 1462 | 14209k|1008.7 | 398M | 33 |1788 |8879 |6121 | 11k| 0 | 35k| 11k| 3.153677e+03 | -- | Inf | unknown
2061.20/2066.81 c 2067s| 7500 | 1498 | 14385k|1014.0 | 399M | 33 |1788 |8717 |6123 | 12k| 1 | 35k| 11k| 3.153796e+03 | -- | Inf | unknown
2082.05/2087.71 c 2088s| 7600 | 1516 | 14539k|1017.7 | 399M | 33 |1788 |8712 |6129 | 12k| 1 | 35k| 11k| 3.153880e+03 | -- | Inf | unknown
2100.02/2105.73 c 2106s| 7700 | 1526 | 14684k|1020.7 | 399M | 33 |1788 |8632 |6125 | 12k| 0 | 36k| 11k| 3.153880e+03 | -- | Inf | unknown
2117.17/2123.00 c 2123s| 7800 | 1542 | 14829k|1023.7 | 399M | 33 |1788 |8647 |6124 | 12k| 0 | 36k| 11k| 3.153883e+03 | -- | Inf | unknown
2133.35/2139.18 c 2139s| 7900 | 1546 | 14978k|1026.8 | 399M | 33 |1788 |8776 |6123 | 12k| 0 | 36k| 11k| 3.153962e+03 | -- | Inf | unknown
2149.10/2155.00 c 2155s| 8000 | 1550 | 15121k|1029.6 | 399M | 33 |1788 |8744 |6117 | 12k| 0 | 36k| 11k| 3.153988e+03 | -- | Inf | unknown
2162.96/2168.81 c 2169s| 8100 | 1558 | 15251k|1031.5 | 400M | 33 |1788 |8800 |6116 | 12k| 0 | 37k| 11k| 3.153988e+03 | -- | Inf | unknown
2176.33/2182.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2176.33/2182.24 c 2182s| 8200 | 1572 | 15375k|1032.8 | 400M | 33 |1788 |8800 |6125 | 12k| 2 | 37k| 11k| 3.154080e+03 | -- | Inf | unknown
2194.77/2200.72 c 2201s| 8300 | 1580 | 15539k|1036.9 | 400M | 33 |1788 |8867 |6129 | 13k| 0 | 37k| 11k| 3.154083e+03 | -- | Inf | unknown
2212.62/2218.61 c 2219s| 8400 | 1584 | 15699k|1040.7 | 401M | 33 |1788 |8834 |6125 | 13k| 1 | 37k| 11k| 3.154092e+03 | -- | Inf | unknown
2230.37/2236.42 c 2236s| 8500 | 1590 | 15856k|1044.1 | 401M | 33 |1788 |8841 |6128 | 13k| 0 | 38k| 11k| 3.154092e+03 | -- | Inf | unknown
2250.02/2256.17 c 2256s| 8600 | 1608 | 16023k|1048.2 | 402M | 33 |1788 |8603 |6134 | 13k| 2 | 38k| 11k| 3.154135e+03 | -- | Inf | unknown
2270.96/2277.11 c 2277s| 8700 | 1636 | 16207k|1053.4 | 402M | 33 |1788 |8425 |6132 | 13k| 1 | 38k| 11k| 3.154158e+03 | -- | Inf | unknown
2293.79/2300.10 c 2300s| 8800 | 1653 | 16396k|1058.8 | 402M | 33 |1788 |8459 |6137 | 13k| 0 | 38k| 11k| 3.154296e+03 | -- | Inf | unknown
2314.62/2320.91 c 2321s| 8900 | 1660 | 16572k|1063.3 | 403M | 33 |1788 |8484 |6134 | 13k| 0 | 38k| 11k| 3.154298e+03 | -- | Inf | unknown
2336.46/2342.80 c 2343s| 9000 | 1670 | 16759k|1068.4 | 403M | 33 |1788 |8453 |6134 | 13k| 0 | 39k| 11k| 3.154310e+03 | -- | Inf | unknown
2353.11/2359.58 c 2360s| 9100 | 1664 | 16887k|1069.8 | 403M | 33 |1788 |8516 |6134 | 14k| 0 | 39k| 11k| 3.154318e+03 | -- | Inf | unknown
2369.57/2376.08 c 2376s| 9200 | 1664 | 16991k|1069.6 | 403M | 33 |1788 |8323 |6132 | 14k| 0 | 39k| 11k| 3.154357e+03 | -- | Inf | unknown
2384.32/2390.88 c 2391s| 9300 | 1711 | 17083k|1068.7 | 404M | 33 |1788 |7970 |6082 | 14k| 1 | 39k| 11k| 3.154358e+03 | -- | Inf | unknown
2395.09/2401.61 c 2402s| 9400 | 1756 | 17160k|1066.8 | 405M | 33 |1788 |8060 |6097 | 14k| 0 | 39k| 11k| 3.154358e+03 | -- | Inf | unknown
2405.06/2411.66 c 2412s| 9500 | 1769 | 17224k|1064.1 | 407M | 33 |1788 |8253 |6100 | 14k| 1 | 40k| 11k| 3.154385e+03 | -- | Inf | unknown
2413.33/2420.00 c 2420s| 9600 | 1778 | 17279k|1061.0 | 407M | 33 |1788 |8422 |6100 | 14k| 1 | 40k| 11k| 3.154412e+03 | -- | Inf | unknown
2421.42/2428.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2421.42/2428.03 c 2428s| 9700 | 1779 | 17334k|1057.8 | 407M | 33 |1788 |8647 |6094 | 15k| 0 | 40k| 11k| 3.154412e+03 | -- | Inf | unknown
2431.49/2438.17 c 2438s| 9800 | 1801 | 17400k|1055.4 | 407M | 33 |1788 |8661 |6095 | 15k| 0 | 40k| 11k| 3.154527e+03 | -- | Inf | unknown
2441.06/2447.73 c 2448s| 9900 | 1811 | 17461k|1052.8 | 407M | 33 |1788 |8701 |6096 | 15k| 0 | 41k| 11k| 3.154535e+03 | -- | Inf | unknown
2448.64/2455.32 c 2455s| 10000 | 1815 | 17514k|1049.6 | 407M | 33 |1788 |8680 |6101 | 15k| 1 | 41k| 11k| 3.154540e+03 | -- | Inf | unknown
2458.21/2464.93 c 2465s| 10100 | 1826 | 17576k|1047.0 | 408M | 33 |1788 |8702 |6101 | 15k| 0 | 41k| 11k| 3.154580e+03 | -- | Inf | unknown
2467.19/2473.98 c 2474s| 10200 | 1840 | 17636k|1044.4 | 408M | 33 |1788 |8766 |6104 | 15k| 1 | 41k| 12k| 3.154587e+03 | -- | Inf | unknown
2475.56/2482.36 c 2482s| 10300 | 1851 | 17698k|1041.9 | 409M | 33 |1788 |8820 |6110 | 15k| 1 | 42k| 12k| 3.154587e+03 | -- | Inf | unknown
2486.83/2493.65 c 2494s| 10400 | 1863 | 17774k|1040.3 | 409M | 33 |1788 |8849 |6109 | 16k| 1 | 42k| 12k| 3.154629e+03 | -- | Inf | unknown
2500.09/2506.95 c 2507s| 10500 | 1886 | 17863k|1039.4 | 409M | 33 |1788 |8921 |6110 | 16k| 1 | 42k| 12k| 3.154644e+03 | -- | Inf | unknown
2508.66/2515.52 c 2516s| 10600 | 1906 | 17923k|1036.8 | 409M | 33 |1788 |8860 |6106 | 16k| 0 | 43k| 12k| 3.154645e+03 | -- | Inf | unknown
2516.54/2523.44 c 2523s| 10700 | 1914 | 17976k|1033.9 | 409M | 33 |1788 |8927 |6107 | 16k| 0 | 43k| 12k| 3.154645e+03 | -- | Inf | unknown
2525.61/2532.56 c 2533s| 10800 | 1928 | 18044k|1031.9 | 410M | 33 |1788 |8777 |6112 | 16k| 0 | 43k| 12k| 3.154802e+03 | -- | Inf | unknown
2534.49/2541.45 c 2541s| 10900 | 1936 | 18102k|1029.3 | 410M | 33 |1788 |8722 |6112 | 16k| 0 | 43k| 12k| 3.154927e+03 | -- | Inf | unknown
2543.96/2550.91 c 2551s| 11000 | 1944 | 18163k|1027.0 | 411M | 33 |1788 |8561 |6113 | 16k| 0 | 44k| 12k| 3.155124e+03 | -- | Inf | unknown
2552.93/2559.94 c 2560s| 11100 | 1961 | 18224k|1024.6 | 411M | 33 |1788 |8454 |6113 | 17k| 0 | 44k| 12k| 3.155284e+03 | -- | Inf | unknown
2560.81/2567.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2560.81/2567.82 c 2568s| 11200 | 1962 | 18276k|1021.8 | 411M | 33 |1788 |8564 |6110 | 17k| 1 | 44k| 12k| 3.155284e+03 | -- | Inf | unknown
2568.79/2575.81 c 2576s| 11300 | 1970 | 18333k|1019.2 | 411M | 33 |1788 |8542 |6108 | 17k| 1 | 44k| 12k| 3.155302e+03 | -- | Inf | unknown
2578.26/2585.36 c 2585s| 11400 | 1974 | 18396k|1017.1 | 412M | 33 |1788 |8445 |6108 | 17k| 1 | 45k| 12k| 3.155303e+03 | -- | Inf | unknown
2586.54/2593.68 c 2594s| 11500 | 1978 | 18451k|1014.5 | 412M | 33 |1788 |8544 |6110 | 17k| 1 | 45k| 12k| 3.155330e+03 | -- | Inf | unknown
2595.31/2602.40 c 2602s| 11600 | 1989 | 18511k|1012.3 | 412M | 33 |1788 |8391 |6109 | 17k| 0 | 45k| 12k| 3.155624e+03 | -- | Inf | unknown
2603.49/2610.61 c 2611s| 11700 | 1999 | 18568k|1009.8 | 412M | 33 |1788 |8429 |6106 | 17k| 0 | 45k| 12k| 3.155624e+03 | -- | Inf | unknown
2613.46/2620.61 c 2621s| 11800 | 2010 | 18637k|1008.1 | 412M | 33 |1788 |8358 |6106 | 17k| 1 | 46k| 12k| 3.156054e+03 | -- | Inf | unknown
2621.84/2629.01 c 2629s| 11900 | 2026 | 18695k|1005.8 | 413M | 33 |1788 |8243 |6108 | 18k| 0 | 46k| 12k| 3.156054e+03 | -- | Inf | unknown
2631.41/2638.62 c 2639s| 12000 | 2040 | 18758k|1003.8 | 413M | 33 |1788 |8254 |6109 | 18k| 1 | 46k| 12k| 3.156200e+03 | -- | Inf | unknown
2642.37/2649.66 c 2650s| 12100 | 2056 | 18829k|1002.2 | 413M | 33 |1788 |8185 |6107 | 18k| 1 | 46k| 12k| 3.156676e+03 | -- | Inf | unknown
2653.04/2660.40 c 2660s| 12200 | 2070 | 18905k|1001.0 | 414M | 33 |1788 |8076 |6112 | 18k| 0 | 47k| 12k| 3.157132e+03 | -- | Inf | unknown
2663.11/2670.47 c 2670s| 12300 | 2085 | 18971k| 999.1 | 415M | 33 |1788 |7982 |6109 | 18k| 0 | 47k| 12k| 3.157417e+03 | -- | Inf | unknown
2673.38/2680.79 c 2681s| 12400 | 2105 | 19042k| 997.7 | 415M | 33 |1788 |7962 |6108 | 19k| 0 | 47k| 12k| 3.159624e+03 | -- | Inf | unknown
2682.95/2690.38 c 2690s| 12500 | 2112 | 19114k| 996.2 | 416M | 33 |1788 |8001 |6111 | 19k| 0 | 47k| 12k| 3.161238e+03 | -- | Inf | unknown
2689.83/2697.22 c 2697s| 12600 | 2120 | 19172k| 994.0 | 416M | 33 |1788 |8078 |6110 | 19k| 0 | 48k| 12k| 3.161820e+03 | -- | Inf | unknown
2697.41/2704.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2697.41/2704.84 c 2705s| 12700 | 2129 | 19235k| 992.1 | 416M | 33 |1788 |8114 |6111 | 19k| 1 | 48k| 12k| 3.163271e+03 | -- | Inf | unknown
2704.19/2711.63 c 2712s| 12800 | 2145 | 19296k| 990.2 | 416M | 33 |1788 |8214 |6111 | 19k| 0 | 48k| 12k| 3.163967e+03 | -- | Inf | unknown
2710.97/2718.44 c 2718s| 12900 | 2152 | 19356k| 988.2 | 416M | 33 |1788 |8266 |6111 | 19k| 1 | 48k| 12k| 3.164144e+03 | -- | Inf | unknown
2717.35/2724.84 c 2725s| 13000 | 2158 | 19414k| 986.1 | 416M | 33 |1788 |8349 |6110 | 19k| 0 | 49k| 12k| 3.164167e+03 | -- | Inf | unknown
2725.54/2733.05 c 2733s| 13100 | 2182 | 19490k| 985.0 | 417M | 33 |1788 |8191 |6092 | 19k| 0 | 49k| 12k| 3.164500e+03 | -- | Inf | unknown
2731.71/2739.23 c 2739s| 13200 | 2195 | 19550k| 983.1 | 417M | 33 |1788 |8228 |6086 | 19k| 0 | 49k| 12k| 3.164608e+03 | -- | Inf | unknown
2737.61/2745.19 c 2745s| 13300 | 2216 | 19608k| 981.0 | 417M | 33 |1788 |8190 |6095 | 19k| 1 | 49k| 12k| 3.164729e+03 | -- | Inf | unknown
2743.38/2751.00 c 2751s| 13400 | 2220 | 19668k| 979.1 | 417M | 33 |1788 |8284 |6092 | 20k| 0 | 50k| 12k| 3.165167e+03 | -- | Inf | unknown
2748.96/2756.52 c 2757s| 13500 | 2238 | 19724k| 977.0 | 417M | 33 |1788 |8405 |6097 | 20k| 2 | 50k| 12k| 3.165167e+03 | -- | Inf | unknown
2758.03/2765.66 c 2766s| 13600 | 2295 | 19798k| 975.9 | 417M | 33 |1788 |8562 |6105 | 20k| 0 | 50k| 12k| 3.165333e+03 | -- | Inf | unknown
2763.72/2771.39 c 2771s| 13700 | 2296 | 19850k| 973.6 | 417M | 33 |1788 |8742 |6104 | 20k| 0 | 50k| 12k| 3.165333e+03 | -- | Inf | unknown
2771.59/2779.28 c 2779s| 13800 | 2310 | 19917k| 972.1 | 417M | 33 |1788 |8843 |6107 | 20k| 1 | 51k| 12k| 3.165333e+03 | -- | Inf | unknown
2778.17/2785.80 c 2786s| 13900 | 2318 | 19973k| 970.2 | 417M | 35 |1788 |9057 |6103 | 20k| 0 | 51k| 12k| 3.165333e+03 | -- | Inf | unknown
2785.75/2793.42 c 2793s| 14000 | 2339 | 20041k| 968.7 | 418M | 35 |1788 |9197 |6117 | 20k| 0 | 51k| 12k| 3.165500e+03 | -- | Inf | unknown
2791.64/2799.39 c 2799s| 14100 | 2343 | 20094k| 966.6 | 418M | 35 |1788 |9310 |6111 | 20k| 1 | 51k| 12k| 3.165555e+03 | -- | Inf | unknown
2799.21/2806.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2799.21/2806.92 c 2807s| 14200 | 2347 | 20158k| 965.0 | 418M | 35 |1788 |9336 |6116 | 21k| 0 | 52k| 12k| 3.165611e+03 | -- | Inf | unknown
2808.09/2815.89 c 2816s| 14300 | 2363 | 20231k| 963.9 | 418M | 35 |1788 |9305 |6119 | 21k| 1 | 52k| 12k| 3.165667e+03 | -- | Inf | unknown
2814.97/2822.76 c 2823s| 14400 | 2367 | 20293k| 962.3 | 418M | 35 |1788 |9284 |6101 | 21k| 0 | 52k| 12k| 3.165667e+03 | -- | Inf | unknown
2822.26/2830.04 c 2830s| 14500 | 2374 | 20358k| 960.8 | 418M | 35 |1788 |9292 |6096 | 21k| 0 | 53k| 12k| 3.165683e+03 | -- | Inf | unknown
2828.44/2836.27 c 2836s| 14600 | 2375 | 20414k| 958.9 | 418M | 35 |1788 |9368 | 0 | 21k| 0 | 53k| 12k| 3.165683e+03 | -- | Inf | unknown
2836.23/2844.01 c 2844s| 14700 | 2388 | 20478k| 957.5 | 420M | 35 |1788 |9371 |6107 | 21k| 0 | 53k| 12k| 3.165889e+03 | -- | Inf | unknown
2846.59/2854.42 c 2854s| 14800 | 2406 | 20553k| 956.5 | 420M | 35 |1788 |9321 |6108 | 21k| 1 | 53k| 12k| 3.166037e+03 | -- | Inf | unknown
2855.76/2863.63 c 2864s| 14900 | 2429 | 20630k| 955.6 | 421M | 35 |1788 |9038 |6100 | 22k| 1 | 54k| 12k| 3.166211e+03 | -- | Inf | unknown
2862.34/2870.21 c 2870s| 15000 | 2427 | 20688k| 953.9 | 421M | 35 |1788 |9145 |6103 | 22k| 0 | 54k| 12k| 3.166211e+03 | -- | Inf | unknown
2869.72/2877.68 c 2878s| 15100 | 2436 | 20752k| 952.4 | 421M | 35 |1788 |9065 |6096 | 22k| 1 | 54k| 12k| 3.166211e+03 | -- | Inf | unknown
2878.00/2885.90 c 2886s| 15200 | 2452 | 20821k| 951.2 | 421M | 35 |1788 |8936 |6109 | 22k| 0 | 55k| 12k| 3.166303e+03 | -- | Inf | unknown
2886.47/2894.42 c 2894s| 15300 | 2472 | 20893k| 950.2 | 422M | 35 |1788 |8880 |6111 | 23k| 1 | 55k| 12k| 3.166333e+03 | -- | Inf | unknown
2892.45/2900.42 c 2900s| 15400 | 2465 | 20950k| 948.4 | 422M | 35 |1788 |9031 |6102 | 23k| 1 | 55k| 12k| 3.166333e+03 | -- | Inf | unknown
2899.63/2907.67 c 2908s| 15500 | 2466 | 21013k| 947.0 | 422M | 35 |1788 |9131 |6107 | 23k| 0 | 55k| 12k| 3.166333e+03 | -- | Inf | unknown
2907.02/2915.08 c 2915s| 15600 | 2476 | 21076k| 945.6 | 423M | 35 |1788 |9150 |6100 | 23k| 1 | 56k| 12k| 3.166333e+03 | -- | Inf | unknown
2915.10/2923.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2915.10/2923.19 c 2923s| 15700 | 2493 | 21143k| 944.4 | 423M | 35 |1788 |9106 |6100 | 23k| 1 | 56k| 12k| 3.166333e+03 | -- | Inf | unknown
2921.67/2929.71 c 2930s| 15800 | 2493 | 21200k| 942.7 | 423M | 35 |1788 |9096 |6102 | 23k| 0 | 56k| 12k| 3.166333e+03 | -- | Inf | unknown
2930.14/2938.25 c 2938s| 15900 | 2502 | 21276k| 941.9 | 423M | 35 |1788 |9014 |6116 | 23k| 0 | 56k| 12k| 3.166333e+03 | -- | Inf | unknown
2937.22/2945.32 c 2945s| 16000 | 2506 | 21338k| 940.5 | 423M | 35 |1788 |9053 |6105 | 24k| 1 | 57k| 12k| 3.166333e+03 | -- | Inf | unknown
2944.70/2952.85 c 2953s| 16100 | 2512 | 21400k| 939.1 | 423M | 35 |1788 |9037 |6106 | 24k| 0 | 57k| 12k| 3.166333e+03 | -- | Inf | unknown
2953.98/2962.16 c 2962s| 16200 | 2547 | 21485k| 938.7 | 423M | 35 |1788 |8959 |6104 | 24k| 1 | 57k| 12k| 3.166333e+03 | -- | Inf | unknown
2962.35/2970.59 c 2971s| 16300 | 2561 | 21554k| 937.6 | 425M | 35 |1788 |8904 |6110 | 24k| 1 | 58k| 12k| 3.166509e+03 | -- | Inf | unknown
2969.43/2977.60 c 2978s| 16400 | 2571 | 21615k| 936.2 | 425M | 35 |1788 |8815 |6110 | 24k| 1 | 58k| 12k| 3.166556e+03 | -- | Inf | unknown
2974.82/2983.07 c 2983s| 16500 | 2571 | 21667k| 934.4 | 425M | 35 |1788 |8969 |6110 | 24k| 1 | 58k| 12k| 3.166556e+03 | -- | Inf | unknown
2986.79/2995.05 c 2995s| 16600 | 2613 | 21761k| 934.4 | 425M | 35 |1788 |9038 |6108 | 25k| 1 | 58k| 12k| 3.166556e+03 | -- | Inf | unknown
2993.56/3001.89 c 3002s| 16700 | 2625 | 21822k| 933.0 | 425M | 35 |1788 |9209 |6105 | 25k| 0 | 59k| 12k| 3.166556e+03 | -- | Inf | unknown
3003.13/3011.41 c 3011s| 16800 | 2641 | 21901k| 932.4 | 425M | 35 |1788 |9043 |6107 | 25k| 0 | 59k| 12k| 3.166556e+03 | -- | Inf | unknown
3010.01/3018.33 c 3018s| 16900 | 2655 | 21963k| 931.1 | 425M | 35 |1788 |9005 |6101 | 25k| 0 | 59k| 12k| 3.166667e+03 | -- | Inf | unknown
3020.19/3028.52 c 3029s| 17000 | 2672 | 22037k| 930.3 | 428M | 35 |1788 |8698 |6106 | 26k| 1 | 59k| 12k| 3.166833e+03 | -- | Inf | unknown
3031.45/3039.80 c 3040s| 17100 | 2704 | 22112k| 929.5 | 428M | 35 |1788 |8727 |6102 | 26k| 1 | 60k| 12k| 3.166833e+03 | -- | Inf | unknown
3041.42/3049.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3041.42/3049.88 c 3050s| 17200 | 2734 | 22183k| 928.6 | 428M | 35 |1788 |8750 |6105 | 26k| 1 | 60k| 12k| 3.166833e+03 | -- | Inf | unknown
3052.89/3061.38 c 3061s| 17300 | 2748 | 22264k| 928.1 | 428M | 35 |1788 |8916 |6110 | 26k| 1 | 60k| 12k| 3.166833e+03 | -- | Inf | unknown
3062.86/3071.30 c 3071s| 17400 | 2764 | 22335k| 927.2 | 428M | 35 |1788 |8985 |6110 | 26k| 1 | 60k| 12k| 3.166833e+03 | -- | Inf | unknown
3073.23/3081.72 c 3082s| 17500 | 2780 | 22409k| 926.4 | 428M | 35 |1788 |9106 |6111 | 26k| 0 | 61k| 12k| 3.166833e+03 | -- | Inf | unknown
3082.40/3090.97 c 3091s| 17600 | 2790 | 22478k| 925.4 | 428M | 35 |1788 |9234 |6110 | 26k| 0 | 61k| 13k| 3.166848e+03 | -- | Inf | unknown
3094.27/3102.89 c 3103s| 17700 | 2832 | 22555k| 924.8 | 428M | 35 |1788 |9052 |6112 | 27k| 2 | 61k| 13k| 3.167000e+03 | -- | Inf | unknown
3105.93/3114.50 c 3114s| 17800 | 2858 | 22632k| 924.2 | 428M | 35 |1788 |9048 |6112 | 27k| 1 | 62k| 13k| 3.167009e+03 | -- | Inf | unknown
3115.91/3124.53 c 3125s| 17900 | 2870 | 22700k| 923.2 | 428M | 35 |1788 |9264 |6112 | 27k| 0 | 62k| 13k| 3.167175e+03 | -- | Inf | unknown
3126.28/3134.94 c 3135s| 18000 | 2890 | 22770k| 922.3 | 428M | 35 |1788 |9198 |6114 | 27k| 1 | 62k| 13k| 3.167437e+03 | -- | Inf | unknown
3136.05/3144.72 c 3145s| 18100 | 2900 | 22844k| 921.5 | 428M | 35 |1788 |9386 |6113 | 27k| 0 | 63k| 13k| 3.167500e+03 | -- | Inf | unknown
3145.62/3154.38 c 3154s| 18200 | 2904 | 22912k| 920.6 | 428M | 35 |1788 |9319 |6116 | 27k| 0 | 63k| 13k| 3.167515e+03 | -- | Inf | unknown
3156.30/3165.02 c 3165s| 18300 | 2926 | 22982k| 919.7 | 428M | 35 |1788 |9059 |6119 | 27k| 1 | 63k| 13k| 3.167667e+03 | -- | Inf | unknown
3165.06/3173.89 c 3174s| 18400 | 2942 | 23046k| 918.5 | 428M | 35 |1788 |9058 |6111 | 27k| 0 | 63k| 13k| 3.167667e+03 | -- | Inf | unknown
3176.83/3185.66 c 3186s| 18500 | 2948 | 23119k| 917.8 | 429M | 35 |1788 |8762 |6111 | 28k| 1 | 64k| 13k| 3.167667e+03 | -- | Inf | unknown
3189.39/3198.26 c 3198s| 18600 | 2970 | 23209k| 917.7 | 429M | 35 |1788 |8821 |6114 | 28k| 0 | 64k| 13k| 3.167667e+03 | -- | Inf | unknown
3201.75/3210.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3201.75/3210.63 c 3211s| 18700 | 2970 | 23294k| 917.5 | 430M | 35 |1788 |9103 |6115 | 28k| 0 | 65k| 13k| 3.167667e+03 | -- | Inf | unknown
3211.93/3220.85 c 3221s| 18800 | 2993 | 23369k| 916.8 | 430M | 35 |1788 |8842 |6111 | 28k| 1 | 65k| 13k| 3.167833e+03 | -- | Inf | unknown
3220.31/3229.20 c 3229s| 18900 | 2999 | 23429k| 915.6 | 430M | 35 |1788 |8895 |6111 | 28k| 1 | 65k| 13k| 3.167833e+03 | -- | Inf | unknown
3233.09/3242.03 c 3242s| 19000 | 3023 | 23502k| 914.8 | 431M | 35 |1788 |8534 |6113 | 29k| 0 | 66k| 13k| 3.167844e+03 | -- | Inf | unknown
3241.86/3250.87 c 3251s| 19100 | 3035 | 23569k| 913.9 | 431M | 35 |1788 |8624 |6114 | 29k| 1 | 66k| 13k| 3.167844e+03 | -- | Inf | unknown
3250.74/3259.71 c 3260s| 19200 | 3051 | 23633k| 912.8 | 431M | 35 |1788 |8538 |6110 | 29k| 1 | 66k| 13k| 3.167888e+03 | -- | Inf | unknown
3257.42/3266.43 c 3266s| 19300 | 3052 | 23691k| 911.6 | 432M | 35 |1788 |8403 |6112 | 29k| 1 | 66k| 13k| 3.168000e+03 | -- | Inf | unknown
3268.29/3277.37 c 3277s| 19400 | 3068 | 23757k| 910.6 | 432M | 35 |1788 |8353 |6112 | 29k| 0 | 67k| 13k| 3.168014e+03 | -- | Inf | unknown
3277.87/3286.98 c 3287s| 19500 | 3085 | 23831k| 909.9 | 432M | 35 |1788 |8314 |6109 | 29k| 0 | 67k| 13k| 3.168014e+03 | -- | Inf | unknown
3285.46/3294.50 c 3294s| 19600 | 3116 | 23895k| 908.9 | 432M | 35 |1788 |8310 |6110 | 29k| 1 | 67k| 13k| 3.168056e+03 | -- | Inf | unknown
3291.95/3301.09 c 3301s| 19700 | 3124 | 23955k| 907.7 | 432M | 35 |1788 |8478 |6110 | 29k| 0 | 67k| 13k| 3.168167e+03 | -- | Inf | unknown
3300.32/3309.47 c 3309s| 19800 | 3130 | 24025k| 907.0 | 432M | 35 |1788 |8547 |6112 | 29k| 1 | 68k| 13k| 3.168167e+03 | -- | Inf | unknown
3308.10/3317.27 c 3317s| 19900 | 3138 | 24090k| 906.0 | 433M | 35 |1788 |8604 |6111 | 29k| 1 | 68k| 13k| 3.168213e+03 | -- | Inf | unknown
3314.39/3323.57 c 3324s| 20000 | 3146 | 24148k| 904.8 | 433M | 35 |1788 |8702 |6111 | 29k| 0 | 68k| 13k| 3.168213e+03 | -- | Inf | unknown
3320.68/3329.89 c 3330s| 20100 | 3142 | 24208k| 903.6 | 433M | 35 |1788 |8878 |6110 | 29k| 0 | 68k| 13k| 3.168213e+03 | -- | Inf | unknown
3328.46/3337.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3328.46/3337.62 c 3338s| 20200 | 3152 | 24274k| 902.7 | 433M | 35 |1788 |8766 |6112 | 30k| 1 | 69k| 13k| 3.168333e+03 | -- | Inf | unknown
3341.63/3350.81 c 3351s| 20300 | 3174 | 24375k| 903.1 | 433M | 35 |1788 |8780 |6113 | 30k| 0 | 69k| 13k| 3.168333e+03 | -- | Inf | unknown
3349.31/3358.58 c 3359s| 20400 | 3192 | 24444k| 902.3 | 433M | 35 |1788 |8746 |6108 | 30k| 1 | 69k| 13k| 3.168333e+03 | -- | Inf | unknown
3360.09/3369.40 c 3369s| 20500 | 3212 | 24530k| 902.2 | 433M | 35 |1788 |8461 |6117 | 30k| 0 | 69k| 13k| 3.168333e+03 | -- | Inf | unknown
3369.08/3378.39 c 3378s| 20600 | 3215 | 24607k| 901.7 | 433M | 35 |1788 |8401 |6107 | 30k| 0 | 70k| 13k| 3.168333e+03 | -- | Inf | unknown
3376.96/3386.29 c 3386s| 20700 | 3234 | 24672k| 900.8 | 433M | 35 |1788 |8434 |6098 | 30k| 0 | 70k| 13k| 3.168333e+03 | -- | Inf | unknown
3383.85/3393.18 c 3393s| 20800 | 3238 | 24734k| 899.8 | 433M | 35 |1788 |8573 |6098 | 30k| 0 | 70k| 13k| 3.168553e+03 | -- | Inf | unknown
3391.03/3400.35 c 3400s| 20900 | 3249 | 24798k| 898.8 | 433M | 35 |1788 |8737 |6101 | 31k| 0 | 70k| 13k| 3.168556e+03 | -- | Inf | unknown
3396.51/3405.82 c 3406s| 21000 | 3256 | 24850k| 897.4 | 433M | 35 |1788 |9017 |6101 | 31k| 1 | 71k| 13k| 3.168556e+03 | -- | Inf | unknown
3404.20/3413.56 c 3414s| 21100 | 3264 | 24916k| 896.6 | 433M | 35 |1788 |9119 |6103 | 31k| 0 | 71k| 13k| 3.168705e+03 | -- | Inf | unknown
3409.98/3419.33 c 3419s| 21200 | 3268 | 24971k| 895.3 | 433M | 35 |1788 |9326 |6101 | 31k| 0 | 71k| 13k| 3.168705e+03 | -- | Inf | unknown
3416.68/3426.01 c 3426s| 21300 | 3277 | 25030k| 894.2 | 433M | 35 |1788 |9295 |6100 | 31k| 0 | 72k| 13k| 3.168711e+03 | -- | Inf | unknown
3424.45/3433.88 c 3434s| 21400 | 3291 | 25092k| 893.3 | 434M | 35 |1788 |9211 |6102 | 31k| 1 | 72k| 13k| 3.168799e+03 | -- | Inf | unknown
3430.53/3439.96 c 3440s| 21500 | 3297 | 25148k| 892.1 | 434M | 35 |1788 |9057 |6101 | 31k| 0 | 72k| 13k| 3.168909e+03 | -- | Inf | unknown
3437.73/3447.20 c 3447s| 21600 | 3315 | 25212k| 891.2 | 435M | 35 |1788 |8761 |6098 | 31k| 1 | 72k| 13k| 3.169167e+03 | -- | Inf | unknown
3444.40/3453.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3444.40/3453.86 c 3454s| 21700 | 3321 | 25272k| 890.2 | 435M | 35 |1788 |8759 |6099 | 31k| 0 | 73k| 13k| 3.169211e+03 | -- | Inf | unknown
3452.28/3461.74 c 3462s| 21800 | 3337 | 25338k| 889.4 | 435M | 35 |1788 |8577 |6098 | 32k| 1 | 73k| 13k| 3.169299e+03 | -- | Inf | unknown
3459.47/3468.93 c 3469s| 21900 | 3351 | 25401k| 888.5 | 435M | 35 |1788 |8537 |6098 | 32k| 0 | 73k| 13k| 3.169344e+03 | -- | Inf | unknown
3466.45/3475.98 c 3476s| 22000 | 3373 | 25461k| 887.5 | 435M | 35 |1788 |8536 |6099 | 32k| 0 | 73k| 13k| 3.169354e+03 | -- | Inf | unknown
3474.23/3483.74 c 3484s| 22100 | 3378 | 25531k| 886.8 | 435M | 35 |1788 |8489 |6103 | 32k| 1 | 74k| 13k| 3.169354e+03 | -- | Inf | unknown
3483.11/3492.62 c 3493s| 22200 | 3382 | 25608k| 886.4 | 436M | 35 |1788 |8425 |6100 | 32k| 0 | 74k| 13k| 3.169417e+03 | -- | Inf | unknown
3491.61/3501.12 c 3501s| 22300 | 3404 | 25682k| 885.9 | 436M | 35 |1788 |8141 |6123 | 32k| 2 | 74k| 13k| 3.169431e+03 | -- | Inf | unknown
3500.37/3509.92 c 3510s| 22400 | 3426 | 25758k| 885.5 | 436M | 35 |1788 |8251 |6119 | 33k| 0 | 74k| 13k| 3.169458e+03 | -- | Inf | unknown
3510.56/3520.13 c 3520s| 22500 | 3454 | 25844k| 885.4 | 436M | 35 |1788 |8181 |6126 | 33k| 1 | 75k| 13k| 3.169492e+03 | -- | Inf | unknown
3518.33/3527.92 c 3528s| 22600 | 3460 | 25918k| 884.9 | 436M | 35 |1788 |8328 |6126 | 33k| 1 | 75k| 13k| 3.169492e+03 | -- | Inf | unknown
3529.21/3538.85 c 3539s| 22700 | 3502 | 26010k| 885.0 | 436M | 35 |1788 |8411 |6126 | 33k| 0 | 75k| 13k| 3.169504e+03 | -- | Inf | unknown
3538.40/3548.01 c 3548s| 22800 | 3510 | 26091k| 884.7 | 436M | 35 |1788 |8491 |6127 | 33k| 1 | 76k| 13k| 3.169559e+03 | -- | Inf | unknown
3545.97/3555.68 c 3556s| 22900 | 3523 | 26160k| 884.1 | 436M | 35 |1788 |8572 |6117 | 33k| 1 | 76k| 13k| 3.169569e+03 | -- | Inf | unknown
3552.75/3562.49 c 3562s| 23000 | 3518 | 26224k| 883.3 | 437M | 35 |1788 |8681 |6118 | 33k| 0 | 76k| 13k| 3.169569e+03 | -- | Inf | unknown
3561.23/3570.93 c 3571s| 23100 | 3534 | 26303k| 882.9 | 437M | 35 |1788 |8600 |6128 | 33k| 0 | 76k| 13k| 3.169630e+03 | -- | Inf | unknown
3570.91/3580.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3570.91/3580.62 c 3581s| 23200 | 3545 | 26387k| 882.8 | 437M | 35 |1788 |8419 |6115 | 33k| 1 | 77k| 13k| 3.169667e+03 | -- | Inf | unknown
3579.69/3589.47 c 3589s| 23300 | 3554 | 26460k| 882.3 | 437M | 35 |1788 |8270 |6123 | 33k| 0 | 77k| 13k| 3.169736e+03 | -- | Inf | unknown
3587.29/3597.01 c
3587.29/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.29/3597.01 c Solving Time (sec) : 3596.99
3587.29/3597.01 c Solving Nodes : 23370 (total of 30034 nodes in 2 runs)
3587.29/3597.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.29/3597.01 c Dual Bound : +3.16983333333333e+03
3587.29/3597.01 c Gap : infinite
3587.29/3597.01 s UNKNOWN
3587.29/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.29/3597.01 c Total Time : 3596.99
3587.29/3597.01 c solving : 3596.99
3587.29/3597.01 c presolving : 0.81 (included in solving)
3587.29/3597.01 c reading : 0.09 (included in solving)
3587.29/3597.01 c copying : 1.30 (105 #copies) (minimal 0.01, maximal 0.01, average 0.01)
3587.29/3597.01 c Original Problem :
3587.29/3597.01 c Problem name : HOME/instance-4432590-1721073284.opb
3587.29/3597.01 c Variables : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.29/3597.01 c Constraints : 13429 initial, 13429 maximal
3587.29/3597.01 c Objective : minimize, 6352 non-zeros (abs.min = 1, abs.max = 1)
3587.29/3597.01 c Presolved Problem :
3587.29/3597.01 c Problem name : t_HOME/instance-4432590-1721073284.opb
3587.29/3597.01 c Variables : 1788 (1788 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.29/3597.01 c Constraints : 7778 initial, 9572 maximal
3587.29/3597.01 c Objective : minimize, 976 non-zeros (abs.min = 1, abs.max = 1)
3587.29/3597.01 c Nonzeros : 67382 constraint, 13469 clique table
3587.29/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.29/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c gateextraction : 0.05 0.00 11 0 0 0 0 0 241 81 0 0
3587.29/3597.01 c implics : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c milp : 0.22 0.00 1 4 2857 0 0 0 9776 5947 0 0
3587.29/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c trivial : 0.00 0.00 28 844 0 0 0 0 0 0 0 0
3587.29/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c dualfix : 0.00 0.00 28 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c probing : 0.14 0.00 1 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c vbounds : 0.01 0.00 2 0 133 0 0 0 0 0 0 0
3587.29/3597.01 c knapsack : 0.01 0.00 25 0 0 0 0 0 2 2 5 267
3587.29/3597.01 c setppc : 0.02 0.00 36 0 2 0 0 0 144 0 0 0
3587.29/3597.01 c and : 0.00 0.00 22 0 0 0 0 0 61 61 0 0
3587.29/3597.01 c linear : 0.17 0.01 30 673 51 0 673 0 3929 0 9 1
3587.29/3597.01 c logicor : 0.14 0.02 32 0 0 0 0 0 405 0 0 1486
3587.29/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c root node : - - - 0 - - 0 - - - - -
3587.29/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.29/3597.01 c benderslp : 0 0 0 0 18642 0 0 1133 0 0 0 0 0 0 0
3587.29/3597.01 c integral : 0 0 0 0 18642 0 0 1133 0 0 14516 0 0 1986 36706
3587.29/3597.01 c knapsack : 324+ 347 23 724190 0 0 0 0 548118 525 415027 11 5 0 0
3587.29/3597.01 c setppc : 801+ 842 46 735465 0 0 0 1128 569908 805 418805 6 0 0 0
3587.29/3597.01 c and : 18 18 16967 532389 0 0 0 0 14545 46 4121 1841 1385 0 0
3587.29/3597.01 c linear : 67+ 95 23 732786 0 0 0 3 1154 20 1874 17 9 0 0
3587.29/3597.01 c logicor : 6568+ 8338 46 635002 0 0 0 0 2774913 2684 1677791 55 33 0 0
3587.29/3597.01 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.29/3597.01 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3587.29/3597.01 c integral : 658.13 0.00 0.00 0.00 658.13 0.00 0.00 0.00 0.00 0.00
3587.29/3597.01 c knapsack : 4.02 0.00 0.02 3.15 0.00 0.00 0.00 0.00 0.27 0.58
3587.29/3597.01 c setppc : 3.58 0.00 0.00 2.74 0.00 0.00 0.00 0.00 0.22 0.62
3587.29/3597.01 c and : 0.27 0.00 0.07 0.14 0.00 0.00 0.00 0.00 0.01 0.04
3587.29/3597.01 c linear : 1.40 0.01 0.00 1.24 0.00 0.00 0.00 0.00 0.00 0.14
3587.29/3597.01 c logicor : 17.15 0.02 0.03 13.61 0.00 0.00 0.00 0.00 1.20 2.30
3587.29/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.29/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.29/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.29/3597.01 c components : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.29/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.29/3597.01 c dualfix : 2 0 0 0
3587.29/3597.01 c genvbounds : 0 0 0 0
3587.29/3597.01 c nlobbt : 0 0 0 0
3587.29/3597.01 c obbt : 0 0 0 0
3587.29/3597.01 c probing : 0 0 0 0
3587.29/3597.01 c pseudoobj : 321145 0 0 0
3587.29/3597.01 c redcost : 48 0 0 0
3587.29/3597.01 c rootredcost : 2 0 0 0
3587.29/3597.01 c symmetry : 0 0 0 0
3587.29/3597.01 c vbounds : 561518 0 0 0
3587.29/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.29/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.29/3597.01 c genvbounds : 0.05 0.00 0.00 0.04 0.00 0.01
3587.29/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.29/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.29/3597.01 c probing : 0.14 0.00 0.14 0.00 0.00 0.00
3587.29/3597.01 c pseudoobj : 0.18 0.00 0.00 0.18 0.00 0.01
3587.29/3597.01 c redcost : 0.06 0.00 0.00 0.05 0.00 0.01
3587.29/3597.01 c rootredcost : 0.06 0.00 0.00 0.04 0.00 0.01
3587.29/3597.01 c symmetry : 0.11 0.00 0.01 0.07 0.00 0.02
3587.29/3597.01 c vbounds : 3.82 0.00 0.01 3.75 0.00 0.06
3587.29/3597.01 c Symmetry :
3587.29/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.29/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.29/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.29/3597.01 c shadow tree time : 0.00 s
3587.29/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.29/3597.01 c propagation : 0.30 4063 3829 - 20642 28.9 631 6.5 - - -
3587.29/3597.01 c infeasible LP : 8.46 12073 12073 - 180140 39.2 17 7.3 12074 63.6 0
3587.29/3597.01 c bound exceed. LP : 0.00 2 2 - 1 31.0 0 0.0 1 115.0 12
3587.29/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.29/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.29/3597.01 c applied globally : 0.39 - - 0 65591 33.8 - - 12074 - -
3587.29/3597.01 c applied locally : - - - 0 1 5.0 - - 1 - -
3587.29/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.29/3597.01 c cut pool : 7.44 - 5378 86 - - 88237 897073 - - - - - (maximal pool size: 5512)
3587.29/3597.01 c aggregation : 2.71 0.00 1581 46 0 0 34 873 0 20 20 0 0
3587.29/3597.01 c > cmir : - - - - - - - 542 0 18 18 0 -
3587.29/3597.01 c > flowcover : - - - - - - - 1 0 1 1 0 -
3587.29/3597.01 c > knapsackcover : - - - - - - - 330 0 1 1 0 -
3587.29/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c clique : 0.39 0.00 46 46 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c gomory : 17.93 0.00 1480 20 0 0 77488 715021 136 29392 29388 4 0
3587.29/3597.01 c > gomorymi : - - - - - - - 119069 68 1215 1213 2 -
3587.29/3597.01 c > strongcg : - - - - - - - 595952 68 28177 28175 2 -
3587.29/3597.01 c impliedbounds : 0.48 0.00 1581 46 0 0 1233 6399 0 4082 4082 0 0
3587.29/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c multilinear : 0.00 0.00 274 46 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.29/3597.01 c rapidlearning : 29.10 0.00 100 1 0 186 0 0 0 0 0 0 1190
3587.29/3597.01 c rlt : 13.66 0.00 701 20 0 0 45 167 4 49 49 0 0
3587.29/3597.01 c zerohalf : 16.24 0.00 1500 40 0 0 9647 174613 72 46507 46443 64 0
3587.29/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.29/3597.01 c hybrid : 1.11 0.00 4866 44 81502 0 817713 1433 0 5774
3587.29/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.29/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.29/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3587.29/3597.01 c problem variables: 0.00 - 0 0
3587.29/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.29/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.29/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.29/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.29/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.29/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.29/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.29/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.29/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.29/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.29/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.29/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.29/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.29/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.29/3597.01 c relpscost : 658.11 0.00 18642 0 0 0 14516 0 2188 36706
3587.29/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.29/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.29/3597.01 c LP solutions : 0.00 - - 0 0
3587.29/3597.01 c relax solutions : 0.00 - - 0 0
3587.29/3597.01 c pseudo solutions : 0.00 - - 0 0
3587.29/3597.01 c strong branching : 0.03 - - 0 0
3587.29/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3587.29/3597.01 c adaptivediving : 11.32 0.00 30 0 0
3587.29/3597.01 c alns : 0.14 0.00 5 0 0
3587.29/3597.01 c bound : 0.00 0.00 0 0 0
3587.29/3597.01 c clique : 0.02 0.00 1 0 0
3587.29/3597.01 c coefdiving : 0.00 0.00 0 0 0
3587.29/3597.01 c completesol : 0.00 0.00 0 0 0
3587.29/3597.01 c conflictdiving : 91.83 0.00 256 0 0
3587.29/3597.01 c crossover : 0.01 0.00 0 0 0
3587.29/3597.01 c dins : 0.00 0.00 0 0 0
3587.29/3597.01 c distributiondivin: 93.12 0.00 256 0 0
3587.29/3597.01 c dps : 0.00 0.00 0 0 0
3587.29/3597.01 c dualval : 0.00 0.00 0 0 0
3587.29/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3587.29/3597.01 c feasjump : 0.04 0.00 2 0 0
3587.29/3597.01 c feaspump : 27.17 0.00 55 0 0
3587.29/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3587.29/3597.01 c fracdiving : 40.37 0.00 256 0 0
3587.29/3597.01 c gins : 0.00 0.00 0 0 0
3587.29/3597.01 c guideddiving : 0.00 0.00 0 0 0
3587.29/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3587.29/3597.01 c indicator : 0.01 0.00 0 0 0
3587.29/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3587.29/3597.01 c indoneopt : 0.01 0.00 0 0 0
3587.29/3597.01 c indrounding : 0.00 0.00 0 0 0
3587.29/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3587.29/3597.01 c intdiving : 0.00 0.00 0 0 0
3587.29/3597.01 c intshifting : 0.00 0.00 0 0 0
3587.29/3597.01 c linesearchdiving : 37.89 0.00 256 0 0
3587.29/3597.01 c localbranching : 0.00 0.00 0 0 0
3587.29/3597.01 c locks : 0.01 0.00 1 0 0
3587.29/3597.01 c lpface : 0.01 0.00 0 0 0
3587.29/3597.01 c mpec : 0.00 0.00 0 0 0
3587.29/3597.01 c multistart : 0.00 0.00 0 0 0
3587.29/3597.01 c mutation : 0.00 0.00 0 0 0
3587.29/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3587.29/3597.01 c objpscostdiving : 62.87 0.00 15 0 0
3587.29/3597.01 c octane : 0.00 0.00 0 0 0
3587.29/3597.01 c ofins : 0.01 0.00 0 0 0
3587.29/3597.01 c oneopt : 0.01 0.00 0 0 0
3587.29/3597.01 c padm : 0.00 0.00 0 0 0
3587.29/3597.01 c proximity : 0.00 0.00 0 0 0
3587.29/3597.01 c pscostdiving : 46.81 0.00 256 0 0
3587.29/3597.01 c randrounding : 0.34 0.00 1165 0 0
3587.29/3597.01 c rens : 0.00 0.00 0 0 0
3587.29/3597.01 c reoptsols : 0.00 0.00 0 0 0
3587.29/3597.01 c repair : 0.00 0.00 0 0 0
3587.29/3597.01 c rins : 0.01 0.00 0 0 0
3587.29/3597.01 c rootsoldiving : 33.29 0.00 35 0 0
3587.29/3597.01 c rounding : 0.50 0.00 2056 0 0
3587.29/3597.01 c scheduler : 0.00 0.00 0 0 0
3587.29/3597.01 c shiftandpropagate: 0.03 0.00 2 0 0
3587.29/3597.01 c shifting : 0.97 0.00 907 0 0
3587.29/3597.01 c simplerounding : 0.01 0.00 0 0 0
3587.29/3597.01 c smallcard : 0.00 0.00 0 0 0
3587.29/3597.01 c subnlp : 0.02 0.00 0 0 0
3587.29/3597.01 c trivial : 0.01 0.00 4 0 0
3587.29/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3587.29/3597.01 c trustregion : 0.00 0.00 0 0 0
3587.29/3597.01 c trysol : 0.01 0.00 0 0 0
3587.29/3597.01 c twoopt : 0.00 0.00 0 0 0
3587.29/3597.01 c undercover : 0.00 0.00 1 0 0
3587.29/3597.01 c vbounds : 0.01 0.00 2 0 0
3587.29/3597.01 c veclendiving : 78.52 0.00 256 0 0
3587.29/3597.01 c zeroobj : 0.00 0.00 0 0 0
3587.29/3597.01 c zirounding : 0.22 0.00 1000 0 0
3587.29/3597.01 c other solutions : - - - 0 -
3587.29/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.29/3597.01 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.29/3597.01 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.29/3597.01 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.29/3597.01 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.29/3597.01 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.29/3597.01 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.29/3597.01 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.29/3597.01 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.29/3597.01 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.29/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.29/3597.01 c primal LP : 2.28 3405 102 3.19 44.69 2.23 3373
3587.29/3597.01 c dual LP : 2249.20 34810 23046553 663.52 10246.55 0.09 76
3587.29/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3587.29/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.29/3597.01 c resolve instable : 0.01 0 0 0.00 0.00
3587.29/3597.01 c diving/probing LP: 585.62 7530 3473287 461.26 5930.97
3587.29/3597.01 c strong branching : 529.57 13763 5158901 374.84 9741.68 - - 4752
3587.29/3597.01 c (at root node) : - 30 4022 134.07 -
3587.29/3597.01 c conflict analysis: 0.00 2 12 6.00 -
3587.29/3597.01 c B&B Tree :
3587.29/3597.01 c number of runs : 2
3587.29/3597.01 c nodes : 23370 (13598 internal, 9772 leaves)
3587.29/3597.01 c feasible leaves : 0
3587.29/3597.01 c infeas. leaves : 9751
3587.29/3597.01 c objective leaves : 20
3587.29/3597.01 c nodes (total) : 30034 (18353 internal, 11681 leaves)
3587.29/3597.01 c nodes left : 3568
3587.29/3597.01 c max depth : 35
3587.29/3597.01 c max depth (total): 35
3587.29/3597.01 c backtracks : 6201 (26.5%)
3587.29/3597.01 c early backtracks : 0 (0.0%)
3587.29/3597.01 c nodes exc. ref. : 0 (0.0%)
3587.29/3597.01 c delayed cutoffs : 260
3587.29/3597.01 c repropagations : 15615 (851358 domain reductions, 255 cutoffs)
3587.29/3597.01 c avg switch length: 4.58
3587.29/3597.01 c switching time : 17.09
3587.29/3597.01 c Root Node :
3587.29/3597.01 c First LP value : +2.83369173721340e+03
3587.29/3597.01 c First LP Iters : 2095 (17087.67 Iter/sec)
3587.29/3597.01 c First LP Time : 0.12
3587.29/3597.01 c Final Dual Bound : +3.14544437500000e+03
3587.29/3597.01 c Final Root Iters : 24621
3587.29/3597.01 c Root LP Estimate : +3.25966893398722e+03
3587.29/3597.01 c Solution :
3587.29/3597.01 c Solutions found : 0 (0 improvements)
3587.29/3597.01 c Primal Bound : -
3587.29/3597.01 c Dual Bound : +3.16983333333333e+03
3587.29/3597.01 c Gap : infinite
3587.29/3597.01 c Integrals : Total Avg%
3587.29/3597.01 c primal-dual : 359699.34 100.00
3587.29/3597.01 c primal-ref : - - (not evaluated)
3587.29/3597.01 c dual-ref : - - (not evaluated)
3587.29/3597.11 c Time complete: 3587.39.