0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2692829-1277905805.wbo>
0.00/0.03 c original problem has 3785 variables (2008 bin, 0 int, 0 impl, 1777 cont) and 4485 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.05 c presolving:
0.00/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.08/0.09 c (round 2) 0 del vars, 68 del conss, 1777 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.09/0.10 c (round 3) 53 del vars, 144 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.09/0.11 c (round 4) 118 del vars, 156 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 905 upgd conss, 1913 impls, 7 clqs
0.09/0.12 c (round 5) 130 del vars, 156 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 905 upgd conss, 1913 impls, 7 clqs
0.09/0.17 c (0.1s) probing: 101/1943 (5.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (6 rounds):
0.09/0.17 c 130 deleted vars, 156 deleted constraints, 1789 tightened bounds, 0 added holes, 76 changed sides, 0 changed coefficients
0.09/0.17 c 1913 implications, 7 cliques
0.09/0.17 c presolved problem has 3655 variables (1943 bin, 0 int, 0 impl, 1712 cont) and 4329 constraints
0.09/0.17 c 1712 constraints of type <indicator>
0.09/0.17 c 7 constraints of type <setppc>
0.09/0.17 c 1712 constraints of type <linear>
0.09/0.17 c 898 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.11
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.98
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.18 c 0.1s| 1 | 0 | 22 | - | 13M| 0 | 8 |3655 |4329 |3655 | 905 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 o 86784
0.09/0.19 c y 0.1s| 1 | 0 | 32 | - | 13M| 0 | 8 |3655 |4329 |3655 | 905 | 0 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.19/0.21 c 0.1s| 1 | 0 | 71 | - | 13M| 0 | 36 |3655 |4329 |3655 | 928 | 23 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.19/0.27 c 0.2s| 1 | 0 | 139 | - | 14M| 0 | 42 |3655 |4329 |3655 | 949 | 44 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.29/0.33 c 0.3s| 1 | 0 | 187 | - | 14M| 0 | 48 |3655 |4329 |3655 | 960 | 55 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.39/0.40 c 0.3s| 1 | 0 | 231 | - | 14M| 0 | 54 |3655 |4329 |3655 | 967 | 62 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.39/0.50 c 0.4s| 1 | 0 | 279 | - | 14M| 0 | 49 |3655 |4329 |3655 | 969 | 64 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.49/0.59 c 0.5s| 1 | 0 | 303 | - | 14M| 0 | 49 |3655 |4329 |3655 | 972 | 67 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
1.19/1.25 c 1.1s| 1 | 2 | 303 | - | 14M| 0 | 49 |3655 |4329 |3655 | 972 | 67 | 0 | 33 | 0.000000e+00 | 8.678400e+04 | Inf
25.90/25.90 c 24.9s| 10000 | 9967 | 36456 | 3.6 | 38M| 267 | 0 |3655 |4399 |3655 |1011 |3031 | 77 |1651 | 0.000000e+00 | 8.678400e+04 | Inf
40.49/40.56 c 39.0s| 20000 | 19965 | 54224 | 2.7 | 55M| 267 | 0 |3655 |4385 |3655 |1030 |4545 | 82 |1724 | 0.000000e+00 | 8.678400e+04 | Inf
54.49/54.58 c 52.6s| 30000 | 29955 | 68704 | 2.3 | 72M| 267 | 0 |3655 |4382 |3655 | 980 |6073 | 101 |1755 | 0.000000e+00 | 8.678400e+04 | Inf
68.10/68.13 c 65.7s| 40000 | 39951 | 78487 | 2.0 | 89M| 267 | 0 |3655 |4372 |3655 |1008 |7359 | 106 |1767 | 0.000000e+00 | 8.678400e+04 | Inf
81.49/81.57 c 78.8s| 50000 | 49947 | 85946 | 1.7 | 106M| 267 | 0 |3655 |4376 |3655 | 996 |8668 | 114 |1775 | 0.000000e+00 | 8.678400e+04 | Inf
94.60/94.66 c 91.4s| 60000 | 59943 | 90623 | 1.5 | 123M| 267 | 0 |3655 |4376 |3655 |1001 |9507 | 121 |1782 | 0.000000e+00 | 8.678400e+04 | Inf
107.80/107.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
107.80/107.84 c 104s| 70000 | 69935 | 96817 | 1.4 | 139M| 267 | 0 |3655 |4381 |3655 | 999 | 10k| 134 |1784 | 0.000000e+00 | 8.678400e+04 | Inf
120.90/120.99 c 117s| 80000 | 79933 |102181 | 1.3 | 156M| 267 | 0 |3655 |4379 |3655 |1028 | 11k| 135 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
134.00/134.05 c 130s| 90000 | 89933 |107367 | 1.2 | 172M| 267 | 0 |3655 |4377 |3655 |1011 | 13k| 135 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
147.30/147.33 c 142s|100000 | 99927 |114181 | 1.1 | 189M| 267 | 0 |3655 |4383 |3655 | 993 | 14k| 147 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
160.69/160.70 c 155s|110000 |109921 |122211 | 1.1 | 206M| 267 | 0 |3655 |4383 |3655 | 985 | 15k| 157 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
173.80/173.85 c 168s|120000 |119915 |127828 | 1.1 | 223M| 267 | 0 |3655 |4394 |3655 | 988 | 16k| 171 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
186.90/186.92 c 181s|130000 |129913 |132120 | 1.0 | 239M| 269 | 0 |3655 |4393 |3655 |1016 | 17k| 172 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
199.80/199.87 c 193s|140000 |139909 |136418 | 1.0 | 256M| 269 | 0 |3655 |4393 |3655 | 982 | 18k| 174 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
212.90/212.92 c 206s|150000 |149909 |140938 | 0.9 | 272M| 269 | 0 |3655 |4389 |3655 |1023 | 20k| 174 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
226.00/226.01 c 219s|160000 |159909 |145733 | 0.9 | 289M| 269 | 0 |3655 |4387 |3655 | 998 | 21k| 174 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
239.09/239.16 c 231s|170000 |169901 |151423 | 0.9 | 305M| 269 | 0 |3655 |4387 |3655 | 990 | 22k| 178 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
252.30/252.34 c 244s|180000 |179899 |157211 | 0.9 | 322M| 269 | 0 |3655 |4384 |3655 | 986 | 24k| 179 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
265.20/265.27 c 257s|190000 |189899 |161045 | 0.8 | 339M| 269 | 0 |3655 |4380 |3655 | 992 | 25k| 179 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
278.20/278.28 c 269s|200000 |199893 |165634 | 0.8 | 355M| 269 | 0 |3655 |4384 |3655 | 980 | 25k| 184 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
291.40/291.43 c 282s|210000 |209891 |171544 | 0.8 | 372M| 269 | 0 |3655 |4381 |3655 | 986 | 26k| 185 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
304.40/304.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
304.40/304.48 c 294s|220000 |219887 |176466 | 0.8 | 388M| 269 | 0 |3655 |4383 |3655 |1024 | 28k| 191 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
317.40/317.45 c 307s|230000 |229883 |180892 | 0.8 | 405M| 269 | 0 |3655 |4384 |3655 | 991 | 29k| 193 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
330.40/330.42 c 320s|240000 |239881 |185185 | 0.8 | 422M| 269 | 0 |3655 |4384 |3655 |1013 | 29k| 197 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
343.50/343.56 c 332s|250000 |249881 |191284 | 0.8 | 438M| 269 | 0 |3655 |4379 |3655 | 998 | 31k| 197 |1785 | 0.000000e+00 | 8.678400e+04 | Inf
356.60/356.68 c 345s|260000 |259881 |197446 | 0.8 | 455M| 269 | 0 |3655 |4373 |3655 |1006 | 32k| 197 |1786 | 0.000000e+00 | 8.678400e+04 | Inf
369.70/369.73 c 358s|270000 |269879 |204056 | 0.8 | 472M| 269 | 0 |3655 |4371 |3655 |1006 | 33k| 198 |1786 | 0.000000e+00 | 8.678400e+04 | Inf
376.21/376.25 o 897
376.21/376.25 c * 364s|274921 |227892 |208188 | 0.8 | 408M| 269 | - |3655 |4374 |3655 | 975 | 33k| 202 |1786 | 0.000000e+00 | 8.970000e+02 | Inf
386.00/386.04 c 373s|280000 |232710 |227487 | 0.8 | 419M| 269 | 1 |3655 |5008 |3655 | 974 | 37k| 964 |1786 | 0.000000e+00 | 8.970000e+02 | Inf
393.40/393.41 o 896
393.40/393.41 c * 381s|283773 |236087 |241290 | 0.8 | 426M| 269 | - |3655 |5020 |3655 | 999 | 41k|1461 |1786 | 0.000000e+00 | 8.960000e+02 | Inf
404.81/404.82 c 392s|290000 |242060 |259106 | 0.9 | 438M| 269 | 0 |3655 |5020 |3655 | 998 | 45k|2239 |1786 | 0.000000e+00 | 8.960000e+02 | Inf
405.20/405.26 o 875
405.20/405.26 c * 392s|290236 |237161 |259706 | 0.9 | 430M| 269 | - |3655 |5021 |3655 | 980 | 45k|2276 |1786 | 0.000000e+00 | 8.750000e+02 | Inf
405.20/405.29 o 844
405.20/405.29 c * 392s|290237 |229620 |259706 | 0.9 | 417M| 269 | - |3655 |5018 |3655 | 980 | 45k|2276 |1786 | 0.000000e+00 | 8.440000e+02 | Inf
410.10/410.20 o 843
410.10/410.20 c * 397s|292751 |231732 |268576 | 0.9 | 422M| 269 | - |3655 |5070 |3655 | 989 | 47k|2684 |1786 | 0.000000e+00 | 8.430000e+02 | Inf
412.20/412.26 o 827
412.20/412.26 c * 399s|293722 |228419 |272898 | 0.9 | 417M| 269 | - |3655 |5074 |3655 | 986 | 48k|2829 |1796 | 0.000000e+00 | 8.270000e+02 | Inf
414.80/414.89 o 826
414.80/414.89 c * 401s|294961 |229325 |278912 | 0.9 | 419M| 269 | - |3655 |5102 |3655 |1001 | 49k|3100 |1812 | 0.000000e+00 | 8.260000e+02 | Inf
415.20/415.23 o 813
415.20/415.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
415.20/415.23 c * 402s|295126 |226025 |279428 | 0.9 | 413M| 269 | - |3655 |5113 |3655 | 988 | 49k|3156 |1813 | 0.000000e+00 | 8.130000e+02 | Inf
417.80/417.82 o 793
417.80/417.82 c * 404s|296388 |221827 |284069 | 1.0 | 406M| 269 | - |3655 |5121 |3655 |1013 | 50k|3415 |1815 | 0.000000e+00 | 7.930000e+02 | Inf
417.80/417.83 o 778
417.80/417.83 c * 404s|296389 |217394 |284069 | 1.0 | 399M| 269 | - |3655 |5121 |3655 |1013 | 50k|3415 |1815 | 0.000000e+00 | 7.780000e+02 | Inf
417.90/417.97 o 657
417.90/417.97 c * 404s|296411 |175628 |284459 | 1.0 | 331M| 269 | - |3655 |5107 |3655 | 975 | 50k|3415 |1815 | 0.000000e+00 | 6.570000e+02 | Inf
418.10/418.17 o 627
418.10/418.17 c * 404s|296465 |162704 |285271 | 1.0 | 311M| 269 | - |3655 |5104 |3655 | 974 | 50k|3425 |1815 | 0.000000e+00 | 6.270000e+02 | Inf
419.80/419.84 o 617
419.80/419.84 c * 406s|297197 |158946 |289450 | 1.0 | 305M| 269 | - |3655 |5259 |3655 | 978 | 50k|3749 |1816 | 0.000000e+00 | 6.170000e+02 | Inf
419.80/419.86 o 600
419.80/419.86 c * 406s|297198 |151478 |289450 | 1.0 | 293M| 269 | - |3655 |5259 |3655 | 978 | 50k|3749 |1816 | 0.000000e+00 | 6.000000e+02 | Inf
422.10/422.13 o 598
422.10/422.13 c * 408s|298128 |151313 |295993 | 1.0 | 294M| 269 | - |3655 |5610 |3655 | 989 | 51k|4433 |1845 | 0.000000e+00 | 5.980000e+02 | Inf
422.70/422.78 o 592
422.70/422.78 c * 409s|298433 |149068 |297454 | 1.0 | 291M| 269 | - |3655 |5750 |3655 | 989 | 52k|4668 |1847 | 0.000000e+00 | 5.920000e+02 | Inf
424.00/424.00 o 580
424.00/424.00 c * 410s|299018 |144321 |299691 | 1.0 | 284M| 269 | - |3655 |5868 |3655 |1001 | 52k|5034 |1849 | 0.000000e+00 | 5.800000e+02 | Inf
424.20/424.23 o 569
424.20/424.23 c * 410s|299108 |139823 |300295 | 1.0 | 276M| 269 | - |3655 |5928 |3655 | 981 | 52k|5151 |1849 | 0.000000e+00 | 5.690000e+02 | Inf
424.90/424.98 o 562
424.90/424.98 c * 411s|299441 |137157 |302002 | 1.0 | 272M| 269 | - |3655 |5942 |3655 | 991 | 52k|5344 |1851 | 0.000000e+00 | 5.620000e+02 | Inf
426.20/426.28 c 412s|300000 |137600 |305390 | 1.0 | 273M| 269 | 0 |3655 |5871 |3655 | 993 | 53k|5616 |1852 | 0.000000e+00 | 5.620000e+02 | Inf
428.30/428.39 o 557
428.30/428.39 c * 414s|300975 |136383 |309628 | 1.0 | 272M| 269 | - |3655 |5763 |3655 | 983 | 54k|6013 |1854 | 0.000000e+00 | 5.570000e+02 | Inf
430.30/430.36 o 555
430.30/430.36 c * 416s|301881 |136384 |314417 | 1.0 | 272M| 269 | - |3655 |5602 |3655 | 974 | 54k|6309 |1854 | 0.000000e+00 | 5.550000e+02 | Inf
433.50/433.59 o 535
433.50/433.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
433.50/433.59 c * 419s|303490 |129928 |319216 | 1.1 | 262M| 269 | - |3655 |5536 |3655 |1016 | 56k|6613 |1901 | 0.000000e+00 | 5.350000e+02 | Inf
433.60/433.68 o 532
433.60/433.68 c * 419s|303517 |128710 |319476 | 1.1 | 260M| 269 | - |3655 |5535 |3655 |1008 | 56k|6622 |1903 | 0.000000e+00 | 5.320000e+02 | Inf
437.81/437.87 o 529
437.81/437.87 c * 423s|305606 |129446 |326521 | 1.1 | 263M| 269 | - |3655 |5659 |3655 |1002 | 57k|7191 |1910 | 0.000000e+00 | 5.290000e+02 | Inf
439.60/439.64 o 523
439.60/439.64 c * 425s|306443 |127836 |329788 | 1.1 | 261M| 269 | - |3655 |5672 |3655 |1001 | 58k|7553 |1910 | 0.000000e+00 | 5.230000e+02 | Inf
439.60/439.65 o 521
439.60/439.65 c * 425s|306444 |127053 |329788 | 1.1 | 260M| 269 | - |3655 |5672 |3655 |1001 | 58k|7553 |1910 | 0.000000e+00 | 5.210000e+02 | Inf
441.70/441.76 o 515
441.70/441.76 c * 427s|307426 |125480 |334288 | 1.1 | 258M| 269 | - |3655 |5747 |3655 |1008 | 59k|7900 |1911 | 0.000000e+00 | 5.150000e+02 | Inf
441.70/441.77 o 513
441.70/441.77 c * 427s|307427 |124726 |334288 | 1.1 | 256M| 269 | - |3655 |5747 |3655 |1008 | 59k|7900 |1911 | 0.000000e+00 | 5.130000e+02 | Inf
443.80/443.80 o 508
443.80/443.80 c * 429s|308361 |123580 |338239 | 1.1 | 255M| 269 | - |3655 |5886 |3655 | 988 | 60k|8522 |1935 | 0.000000e+00 | 5.080000e+02 | Inf
443.80/443.81 o 506
443.80/443.81 c * 429s|308362 |122837 |338239 | 1.1 | 254M| 269 | - |3655 |5886 |3655 | 988 | 60k|8522 |1935 | 0.000000e+00 | 5.060000e+02 | Inf
445.00/445.05 o 505
445.00/445.05 c * 430s|308898 |122913 |341136 | 1.1 | 254M| 269 | - |3655 |5838 |3655 |1007 | 60k|8589 |1951 | 0.000000e+00 | 5.050000e+02 | Inf
445.60/445.64 o 504
445.60/445.64 c * 431s|309181 |122739 |341939 | 1.1 | 254M| 269 | - |3655 |5860 |3655 | 996 | 60k|8714 |1953 | 0.000000e+00 | 5.040000e+02 | Inf
445.81/445.82 o 503
445.81/445.82 c * 431s|309262 |122356 |342173 | 1.1 | 254M| 269 | - |3655 |5840 |3655 |1006 | 60k|8717 |1953 | 0.000000e+00 | 5.030000e+02 | Inf
446.00/446.03 o 502
446.00/446.03 c * 431s|309348 |121978 |342490 | 1.1 | 253M| 269 | - |3655 |5815 |3655 |1004 | 61k|8722 |1957 | 0.000000e+00 | 5.020000e+02 | Inf
447.50/447.50 c 433s|310000 |122539 |345203 | 1.1 | 255M| 269 | 0 |3655 |5760 |3655 | 977 | 61k|8948 |1959 | 0.000000e+00 | 5.020000e+02 | Inf
453.71/453.79 o 498
453.71/453.79 c * 439s|312355 |122559 |366327 | 1.2 | 257M| 269 | - |3655 |5809 |3655 | 986 | 64k| 10k|2005 | 0.000000e+00 | 4.980000e+02 | Inf
453.91/453.94 o 477
453.91/453.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
453.91/453.94 c * 439s|312404 |114188 |366603 | 1.2 | 241M| 269 | - |3655 |5810 |3655 | 999 | 64k| 10k|2005 | 0.000000e+00 | 4.770000e+02 | Inf
453.91/453.96 o 468
453.91/453.96 c * 439s|312405 |110617 |366603 | 1.2 | 234M| 269 | - |3655 |5810 |3655 | 999 | 64k| 10k|2005 | 0.000000e+00 | 4.680000e+02 | Inf
454.00/454.02 o 466
454.00/454.02 c * 439s|312424 |109760 |366826 | 1.2 | 233M| 269 | - |3655 |5801 |3655 |1014 | 64k| 10k|2006 | 0.000000e+00 | 4.660000e+02 | Inf
454.21/454.26 o 464
454.21/454.26 c * 439s|312509 |108954 |367246 | 1.2 | 231M| 269 | - |3655 |5796 |3655 | 997 | 64k| 10k|2011 | 0.000000e+00 | 4.640000e+02 | Inf
454.21/454.26 o 462
454.21/454.26 c * 439s|312510 |108159 |367246 | 1.2 | 230M| 269 | - |3655 |5796 |3655 | 997 | 64k| 10k|2011 | 0.000000e+00 | 4.620000e+02 | Inf
454.31/454.36 o 448
454.31/454.36 c * 439s|312548 |102612 |367543 | 1.2 | 220M| 269 | - |3655 |5782 |3655 | 985 | 64k| 10k|2011 | 0.000000e+00 | 4.480000e+02 | Inf
455.90/455.98 o 447
455.90/455.98 c * 441s|313263 |102826 |370485 | 1.2 | 221M| 269 | - |3655 |5753 |3655 |1015 | 65k| 10k|2015 | 0.000000e+00 | 4.470000e+02 | Inf
456.30/456.36 o 424
456.30/456.36 c * 441s|313426 | 93975 |371168 | 1.2 | 205M| 269 | - |3655 |5739 |3655 | 992 | 65k| 10k|2015 | 0.000000e+00 | 4.240000e+02 | Inf
457.10/457.13 o 417
457.10/457.13 c * 442s|313757 | 91487 |372789 | 1.2 | 200M| 269 | - |3655 |5735 |3655 |1002 | 65k| 10k|2017 | 0.000000e+00 | 4.170000e+02 | Inf
457.80/457.80 o 412
457.80/457.80 c * 443s|314006 | 89605 |374647 | 1.2 | 197M| 269 | - |3655 |5797 |3655 |1007 | 66k| 11k|2017 | 0.000000e+00 | 4.120000e+02 | Inf
457.90/457.93 o 409
457.90/457.93 c * 443s|314059 | 88594 |374982 | 1.2 | 195M| 269 | - |3655 |5833 |3655 | 994 | 66k| 11k|2017 | 0.000000e+00 | 4.090000e+02 | Inf
460.21/460.29 o 408
460.21/460.29 c * 445s|314721 | 88587 |385234 | 1.2 | 197M| 269 | - |3655 |5826 |3655 | 989 | 66k| 11k|2025 | 0.000000e+00 | 4.080000e+02 | Inf
461.01/461.01 o 400
461.01/461.01 c * 446s|314927 | 85765 |387690 | 1.2 | 192M| 269 | - |3655 |5837 |3655 | 992 | 66k| 11k|2037 | 0.000000e+00 | 4.000000e+02 | Inf
461.70/461.71 o 399
461.70/461.71 c * 446s|315210 | 85684 |389071 | 1.2 | 192M| 269 | - |3655 |5820 |3655 | 997 | 67k| 11k|2050 | 0.000000e+00 | 3.990000e+02 | Inf
462.41/462.43 o 394
462.41/462.43 c * 447s|315534 | 84080 |389866 | 1.2 | 188M| 269 | - |3655 |5913 |3655 |1000 | 67k| 12k|2057 | 0.000000e+00 | 3.940000e+02 | Inf
462.41/462.44 o 392
462.41/462.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
462.41/462.44 c * 447s|315535 | 83419 |389866 | 1.2 | 187M| 269 | - |3655 |5913 |3655 |1000 | 67k| 12k|2057 | 0.000000e+00 | 3.920000e+02 | Inf
462.70/462.78 o 385
462.70/462.78 c * 447s|315680 | 81124 |390426 | 1.2 | 183M| 269 | - |3655 |5935 |3655 | 996 | 67k| 12k|2059 | 0.000000e+00 | 3.850000e+02 | Inf
462.80/462.87 o 380
462.80/462.87 c * 447s|315709 | 79478 |390687 | 1.2 | 180M| 269 | - |3655 |5912 |3655 |1005 | 67k| 12k|2060 | 0.000000e+00 | 3.800000e+02 | Inf
462.80/462.88 o 378
462.80/462.88 c * 447s|315710 | 78850 |390687 | 1.2 | 179M| 269 | - |3655 |5912 |3655 |1005 | 67k| 12k|2060 | 0.000000e+00 | 3.780000e+02 | Inf
463.01/463.05 o 375
463.01/463.05 c * 448s|315785 | 77868 |390896 | 1.2 | 177M| 269 | - |3655 |5906 |3655 | 992 | 67k| 12k|2063 | 0.000000e+00 | 3.750000e+02 | Inf
463.01/463.05 o 373
463.01/463.05 c * 448s|315786 | 77176 |390896 | 1.2 | 176M| 269 | - |3655 |5906 |3655 | 992 | 67k| 12k|2063 | 0.000000e+00 | 3.730000e+02 | Inf
463.11/463.18 o 368
463.11/463.18 c * 448s|315840 | 75516 |391041 | 1.2 | 173M| 269 | - |3655 |5913 |3655 | 999 | 67k| 12k|2063 | 0.000000e+00 | 3.680000e+02 | Inf
463.11/463.18 o 366
463.11/463.18 c * 448s|315841 | 74882 |391041 | 1.2 | 172M| 269 | - |3655 |5913 |3655 | 999 | 67k| 12k|2063 | 0.000000e+00 | 3.660000e+02 | Inf
463.20/463.28 o 364
463.20/463.28 c * 448s|315884 | 74291 |391141 | 1.2 | 170M| 269 | - |3655 |5909 |3655 | 984 | 67k| 12k|2063 | 0.000000e+00 | 3.640000e+02 | Inf
463.31/463.35 o 348
463.31/463.35 c * 448s|315916 | 69287 |391200 | 1.2 | 161M| 269 | - |3655 |5906 |3655 | 995 | 67k| 12k|2063 | 0.000000e+00 | 3.480000e+02 | Inf
464.30/464.34 o 339
464.30/464.34 c * 449s|316396 | 66655 |392579 | 1.2 | 156M| 269 | - |3655 |5884 |3655 | 996 | 68k| 12k|2064 | 0.000000e+00 | 3.390000e+02 | Inf
464.81/464.89 o 333
464.81/464.89 c * 449s|316673 | 65109 |393115 | 1.2 | 153M| 269 | - |3655 |5882 |3655 | 993 | 68k| 12k|2064 | 0.000000e+00 | 3.330000e+02 | Inf
464.90/464.92 o 318
464.90/464.92 c * 449s|316683 | 60542 |393115 | 1.2 | 144M| 269 | - |3655 |5882 |3655 | 993 | 68k| 12k|2064 | 0.000000e+00 | 3.180000e+02 | Inf
465.90/465.93 o 317
465.90/465.93 c * 450s|317095 | 60400 |395015 | 1.2 | 145M| 269 | - |3655 |6020 |3655 |1000 | 68k| 12k|2069 | 0.000000e+00 | 3.170000e+02 | Inf
465.90/465.98 o 310
465.90/465.98 c * 450s|317116 | 58344 |395093 | 1.2 | 141M| 269 | - |3655 |6030 |3655 |1007 | 68k| 12k|2069 | 0.000000e+00 | 3.100000e+02 | Inf
466.21/466.23 o 290
466.21/466.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
466.21/466.23 c * 451s|317210 | 52385 |395604 | 1.2 | 130M| 269 | - |3655 |6048 |3655 | 993 | 68k| 12k|2069 | 0.000000e+00 | 2.900000e+02 | Inf
466.21/466.24 o 284
466.21/466.24 c * 451s|317211 | 50531 |395604 | 1.2 | 127M| 269 | - |3655 |6048 |3655 | 993 | 68k| 12k|2069 | 0.000000e+00 | 2.840000e+02 | Inf
466.31/466.34 o 280
466.31/466.34 c * 451s|317252 | 49472 |395835 | 1.2 | 125M| 269 | - |3655 |6054 |3655 | 989 | 68k| 12k|2069 | 0.000000e+00 | 2.800000e+02 | Inf
466.31/466.38 o 269
466.31/466.38 c * 451s|317261 | 46391 |395901 | 1.2 | 119M| 269 | - |3655 |6058 |3655 | 991 | 68k| 12k|2069 | 0.000000e+00 | 2.690000e+02 | Inf
466.41/466.45 o 259
466.41/466.45 c * 451s|317285 | 43535 |395995 | 1.2 | 114M| 269 | - |3655 |6054 |3655 | 985 | 68k| 12k|2069 | 0.000000e+00 | 2.590000e+02 | Inf
466.41/466.46 o 236
466.41/466.46 c * 451s|317286 | 37677 |395995 | 1.2 | 102M| 269 | - |3655 |6054 |3655 | 985 | 68k| 12k|2069 | 0.000000e+00 | 2.360000e+02 | Inf
466.70/466.76 o 234
466.70/466.76 c * 451s|317406 | 37185 |396670 | 1.2 | 102M| 269 | - |3655 |5988 |3655 | 998 | 68k| 13k|2070 | 0.000000e+00 | 2.340000e+02 | Inf
466.70/466.77 o 232
466.70/466.77 c * 451s|317407 | 36725 |396670 | 1.2 | 101M| 269 | - |3655 |5988 |3655 | 998 | 68k| 13k|2070 | 0.000000e+00 | 2.320000e+02 | Inf
467.30/467.31 o 231
467.30/467.31 c * 452s|317632 | 36517 |397575 | 1.3 | 101M| 269 | - |3655 |6019 |3655 | 981 | 69k| 13k|2071 | 0.000000e+00 | 2.310000e+02 | Inf
467.30/467.38 o 224
467.30/467.38 c * 452s|317657 | 34543 |397605 | 1.3 | 97M| 269 | - |3655 |6019 |3655 | 983 | 69k| 13k|2071 | 0.000000e+00 | 2.240000e+02 | Inf
467.41/467.47 o 223
467.41/467.47 c * 452s|317689 | 34362 |397661 | 1.3 | 97M| 269 | - |3655 |6017 |3655 | 980 | 69k| 13k|2071 | 0.000000e+00 | 2.230000e+02 | Inf
467.41/467.47 o 221
467.41/467.47 c * 452s|317690 | 33928 |397661 | 1.3 | 96M| 269 | - |3655 |6017 |3655 | 980 | 69k| 13k|2071 | 0.000000e+00 | 2.210000e+02 | Inf
467.51/467.58 o 219
467.51/467.58 c * 452s|317745 | 33557 |397780 | 1.3 | 96M| 269 | - |3655 |6031 |3655 | 974 | 69k| 13k|2071 | 0.000000e+00 | 2.190000e+02 | Inf
467.71/467.70 o 218
467.71/467.70 c * 452s|317800 | 33399 |397914 | 1.3 | 96M| 269 | - |3655 |6035 |3655 | 982 | 69k| 13k|2071 | 0.000000e+00 | 2.180000e+02 | Inf
467.80/467.84 o 211
467.80/467.84 c * 452s|317861 | 31943 |398030 | 1.3 | 93M| 269 | - |3655 |6053 |3655 | 982 | 69k| 13k|2071 | 0.000000e+00 | 2.110000e+02 | Inf
468.10/468.15 o 198
468.10/468.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
468.10/468.15 c * 452s|317990 | 29476 |398558 | 1.3 | 88M| 269 | - |3655 |6091 |3655 | 988 | 69k| 13k|2071 | 0.000000e+00 | 1.980000e+02 | Inf
468.71/468.76 o 197
468.71/468.76 c * 453s|318235 | 29355 |399695 | 1.3 | 88M| 269 | - |3655 |6066 |3655 | 977 | 69k| 13k|2071 | 0.000000e+00 | 1.970000e+02 | Inf
469.70/469.79 o 194
469.70/469.79 c * 454s|318681 | 29105 |401256 | 1.3 | 88M| 269 | - |3655 |6054 |3655 | 979 | 69k| 13k|2071 | 0.000000e+00 | 1.940000e+02 | Inf
469.81/469.80 o 192
469.81/469.80 c * 454s|318682 | 28723 |401256 | 1.3 | 87M| 269 | - |3655 |6054 |3655 | 979 | 69k| 13k|2071 | 0.000000e+00 | 1.920000e+02 | Inf
469.81/469.85 o 181
469.81/469.85 c * 454s|318695 | 26790 |401355 | 1.3 | 83M| 269 | - |3655 |6052 |3655 | 988 | 69k| 13k|2071 | 0.000000e+00 | 1.810000e+02 | Inf
470.00/470.05 o 180
470.00/470.05 c * 454s|318773 | 26481 |401725 | 1.3 | 83M| 269 | - |3655 |6058 |3655 | 982 | 70k| 13k|2071 | 0.000000e+00 | 1.800000e+02 | Inf
470.00/470.07 o 165
470.00/470.07 c * 454s|318780 | 22429 |401725 | 1.3 | 74M| 269 | - |3655 |6058 |3655 | 982 | 70k| 13k|2071 | 0.000000e+00 | 1.650000e+02 | Inf
470.10/470.13 o 153
470.10/470.13 c * 454s|318799 | 20008 |401792 | 1.3 | 69M| 269 | - |3655 |6041 |3655 | 980 | 70k| 13k|2071 | 0.000000e+00 | 1.530000e+02 | Inf
470.10/470.16 o 143
470.10/470.16 c * 454s|318809 | 18220 |401815 | 1.3 | 65M| 269 | - |3655 |6039 |3655 | 983 | 70k| 13k|2071 | 0.000000e+00 | 1.430000e+02 | Inf
470.10/470.19 o 139
470.10/470.19 c * 454s|318814 | 17577 |401824 | 1.3 | 64M| 269 | - |3655 |6036 |3655 | 975 | 70k| 13k|2071 | 0.000000e+00 | 1.390000e+02 | Inf
470.10/470.20 o 137
470.10/470.20 c * 454s|318815 | 16722 |401824 | 1.3 | 62M| 269 | - |3655 |6036 |3655 | 975 | 70k| 13k|2071 | 0.000000e+00 | 1.370000e+02 | Inf
470.20/470.22 o 132
470.20/470.22 c * 454s|318818 | 15808 |401829 | 1.3 | 60M| 269 | - |3655 |6034 |3655 | 974 | 70k| 13k|2071 | 0.000000e+00 | 1.320000e+02 | Inf
470.20/470.22 o 130
470.20/470.22 c * 454s|318819 | 15569 |401829 | 1.3 | 60M| 269 | - |3655 |6034 |3655 | 974 | 70k| 13k|2071 | 0.000000e+00 | 1.300000e+02 | Inf
470.40/470.49 o 120
470.40/470.49 c * 455s|318929 | 14616 |402180 | 1.3 | 57M| 269 | - |3655 |5869 |3655 | 974 | 70k| 13k|2071 | 0.000000e+00 | 1.200000e+02 | Inf
471.20/471.21 o 105
471.20/471.21 c * 455s|319171 | 13043 |403330 | 1.3 | 55M| 269 | - |3655 |5741 |3655 |1000 | 70k| 14k|2072 | 0.000000e+00 | 1.050000e+02 | Inf
471.70/471.80 o 103
471.70/471.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
471.70/471.80 c * 456s|319456 | 12960 |403947 | 1.3 | 55M| 269 | - |3655 |5688 |3655 | 974 | 70k| 14k|2072 | 0.000000e+00 | 1.030000e+02 | Inf
471.81/471.81 o 101
471.81/471.81 c * 456s|319457 | 12573 |403947 | 1.3 | 54M| 269 | - |3655 |5688 |3655 | 974 | 70k| 14k|2072 | 0.000000e+00 | 1.010000e+02 | Inf
471.91/471.92 o 100
471.91/471.92 c * 456s|319482 | 12516 |404398 | 1.3 | 54M| 269 | - |3655 |5650 |3655 | 984 | 70k| 14k|2072 | 0.000000e+00 | 1.000000e+02 | Inf
472.30/472.33 o 90
472.30/472.33 c * 456s|319643 | 11216 |405001 | 1.3 | 51M| 269 | - |3655 |5492 |3655 | 981 | 70k| 14k|2072 | 0.000000e+00 | 9.000000e+01 | Inf
473.10/473.11 o 82
473.10/473.11 c * 457s|319894 | 5703 |406679 | 1.3 | 40M| 269 | - |3655 |5088 |3655 | 970 | 70k| 14k|2072 | 0.000000e+00 | 8.200000e+01 | Inf
473.40/473.44 c 458s|320000 | 5698 |407382 | 1.3 | 40M| 269 | 1 |3655 |4880 |3655 | 970 | 70k| 14k|2072 | 0.000000e+00 | 8.200000e+01 | Inf
478.21/478.20 o 67
478.21/478.20 c * 462s|321819 | 5191 |417541 | 1.3 | 43M| 269 | - |3655 |5481 |3655 | 974 | 70k| 17k|2120 | 0.000000e+00 | 6.700000e+01 | Inf
494.20/494.23 c 477s|330000 | 5138 |443120 | 1.3 | 49M| 269 | 4 |3655 |6355 |3655 | 971 | 72k| 27k|2165 | 0.000000e+00 | 6.700000e+01 | Inf
514.01/514.05 c 496s|340000 | 5217 |474890 | 1.4 | 54M| 269 | 8 |3655 |8009 |3655 | 970 | 74k| 40k|2210 | 0.000000e+00 | 6.700000e+01 | Inf
516.91/516.91 o 65
516.91/516.91 c * 499s|341407 | 5053 |478988 | 1.4 | 54M| 269 | - |3655 |8394 |3655 | 991 | 74k| 41k|2210 | 0.000000e+00 | 6.500000e+01 | Inf
519.30/519.38 o 51
519.30/519.38 c * 501s|342681 | 4088 |481864 | 1.4 | 50M| 269 | - |3655 |8537 |3655 | 982 | 74k| 43k|2210 | 0.000000e+00 | 5.100000e+01 | Inf
533.60/533.67 c 515s|350000 | 3930 |508872 | 1.5 | 51M| 269 | - |3655 |8447 | 0 | 0 | 75k| 52k|2255 | 0.000000e+00 | 5.100000e+01 | Inf
534.71/534.71 o 42
534.71/534.71 c * 516s|350525 | 3611 |510512 | 1.5 | 50M| 269 | - |3655 |8711 |3655 | 975 | 75k| 53k|2269 | 0.000000e+00 | 4.200000e+01 | Inf
537.10/537.12 o 40
537.10/537.12 c * 518s|351680 | 3552 |514936 | 1.5 | 50M| 269 | - |3655 |7485 |3655 | 970 | 75k| 54k|2301 | 0.000000e+00 | 4.000000e+01 | Inf
537.41/537.44 o 37
537.41/537.44 c * 519s|351871 | 3494 |515407 | 1.5 | 49M| 269 | - |3655 |7543 |3655 | 970 | 75k| 54k|2301 | 0.000000e+00 | 3.700000e+01 | Inf
549.70/549.71 o 30
549.70/549.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
549.70/549.71 c * 530s|358169 | 3176 |541164 | 1.5 | 48M| 269 | - |3655 |7379 |3655 | 970 | 76k| 62k|2359 | 0.000000e+00 | 3.000000e+01 | Inf
553.21/553.29 c 534s|360000 | 3170 |549791 | 1.5 | 48M| 269 | - |3655 |7388 | 0 | 0 | 76k| 64k|2370 | 0.000000e+00 | 3.000000e+01 | Inf
557.61/557.68 o 25
557.61/557.68 c * 538s|362302 | 2911 |560645 | 1.5 | 48M| 269 | - |3655 |7925 |3655 | 970 | 77k| 67k|2370 | 0.000000e+00 | 2.500000e+01 | Inf
561.40/561.46 o 24
561.40/561.46 c * 542s|364320 | 2895 |569337 | 1.6 | 48M| 269 | - |3655 |8573 |3655 | 980 | 77k| 70k|2413 | 0.000000e+00 | 2.400000e+01 | Inf
561.40/561.48 o 21
561.40/561.48 c * 542s|364322 | 2878 |569339 | 1.6 | 48M| 269 | - |3655 |8450 |3655 | 981 | 77k| 70k|2413 | 0.000000e+00 | 2.100000e+01 | Inf
561.40/561.48 o 15
561.40/561.48 c * 542s|364323 | 2766 |569340 | 1.6 | 46M| 269 | - |3655 |8450 |3655 | 981 | 77k| 70k|2413 | 0.000000e+00 | 1.500000e+01 | Inf
570.51/570.59 c 550s|370000 | 2765 |588815 | 1.6 | 47M| 269 | 23 |3655 | 11k|3655 | 970 | 78k| 77k|2420 | 0.000000e+00 | 1.500000e+01 | Inf
578.71/578.78 o 12
578.71/578.78 c * 558s|374691 | 2722 |606032 | 1.6 | 47M| 269 | - |3655 | 13k|3655 | 970 | 78k| 83k|2463 | 0.000000e+00 | 1.200000e+01 | Inf
588.00/588.08 c 567s|380000 | 2715 |624935 | 1.6 | 48M| 269 | 21 |3655 | 15k|3655 | 982 | 78k| 90k|2509 | 0.000000e+00 | 1.200000e+01 | Inf
599.71/599.73 o 2
599.71/599.73 c * 578s|386604 | 2529 |647128 | 1.7 | 47M| 269 | - |3655 | 14k|3655 | 972 | 79k| 98k|2556 | 0.000000e+00 | 2.000000e+00 | Inf
605.40/605.42 c 584s|390000 | 2503 |658498 | 1.7 | 46M| 269 | 15 |3655 | 12k|3655 | 970 | 79k| 102k|2611 | 0.000000e+00 | 2.000000e+00 | Inf
621.81/621.82 c 599s|400000 | 2436 |699144 | 1.7 | 45M| 269 | 20 |3655 |9749 |3655 | 970 | 80k| 115k|2694 | 0.000000e+00 | 2.000000e+00 | Inf
637.71/637.79 c 615s|410000 | 2373 |740272 | 1.8 | 46M| 269 | 17 |3655 | 11k|3655 | 979 | 81k| 127k|2771 | 0.000000e+00 | 2.000000e+00 | Inf
653.71/653.72 c 630s|420000 | 2349 |775565 | 1.8 | 48M| 269 | 1 |3655 | 16k|3655 | 970 | 81k| 140k|2861 | 0.000000e+00 | 2.000000e+00 | Inf
665.91/665.90 o 1
665.91/665.90 c * 642s|426953 | 2249 |800185 | 1.9 | 48M| 269 | - |3655 | 19k|3655 | 970 | 82k| 149k|2906 | 0.000000e+00 | 1.000000e+00 | Inf
671.31/671.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
671.31/671.37 c 647s|430000 | 2261 |811083 | 1.9 | 47M| 269 | - |3655 | 16k| 0 | 0 | 82k| 153k|2961 | 0.000000e+00 | 1.000000e+00 | Inf
689.90/689.90 c 665s|440000 | 2282 |849468 | 1.9 | 50M| 269 | - |3655 | 22k| 0 | 0 | 83k| 165k|3044 | 0.000000e+00 | 1.000000e+00 | Inf
707.70/707.76 c 682s|450000 | 2169 |889059 | 2.0 | 48M| 269 | - |3655 | 16k| 0 | 0 | 83k| 178k|3167 | 0.000000e+00 | 1.000000e+00 | Inf
725.51/725.54 c 699s|460000 | 2192 |924615 | 2.0 | 50M| 269 | - |3655 | 22k| 0 | 0 | 84k| 192k|3226 | 0.000000e+00 | 1.000000e+00 | Inf
744.62/744.62 c 717s|470000 | 2194 |963123 | 2.0 | 50M| 269 | 1 |3655 | 21k|3655 | 970 | 85k| 205k|3292 | 0.000000e+00 | 1.000000e+00 | Inf
764.31/764.39 c 736s|480000 | 2186 | 1001k| 2.1 | 50M| 269 | 14 |3655 | 21k|3655 | 970 | 86k| 218k|3379 | 0.000000e+00 | 1.000000e+00 | Inf
783.91/783.99 c 755s|490000 | 2194 | 1031k| 2.1 | 53M| 269 | 21 |3655 | 27k|3655 | 970 | 86k| 232k|3441 | 0.000000e+00 | 1.000000e+00 | Inf
806.22/806.21 c 777s|500000 | 2242 | 1068k| 2.1 | 55M| 269 | 15 |3655 | 31k|3655 | 970 | 87k| 245k|3501 | 0.000000e+00 | 1.000000e+00 | Inf
829.21/829.20 c 799s|510000 | 2235 | 1103k| 2.2 | 55M| 269 | 7 |3655 | 32k|3655 | 970 | 87k| 259k|3563 | 0.000000e+00 | 1.000000e+00 | Inf
852.51/852.54 c 822s|520000 | 2241 | 1139k| 2.2 | 56M| 269 | - |3655 | 34k| 0 | 0 | 88k| 272k|3625 | 0.000000e+00 | 1.000000e+00 | Inf
875.41/875.43 c 844s|530000 | 2233 | 1172k| 2.2 | 58M| 269 | 24 |3655 | 37k|3655 | 970 | 89k| 286k|3675 | 0.000000e+00 | 1.000000e+00 | Inf
902.31/902.35 c 870s|540000 | 2258 | 1215k| 2.2 | 59M| 269 | - |3655 | 40k| 0 | 0 | 90k| 299k|3742 | 0.000000e+00 | 1.000000e+00 | Inf
930.31/930.35 c 897s|550000 | 2257 | 1255k| 2.3 | 60M| 269 | 1 |3655 | 41k|3655 | 970 | 90k| 313k|3821 | 0.000000e+00 | 1.000000e+00 | Inf
957.61/957.63 c 924s|560000 | 2268 | 1289k| 2.3 | 62M| 269 | 6 |3655 | 45k|3655 | 970 | 91k| 327k|3885 | 0.000000e+00 | 1.000000e+00 | Inf
987.72/987.72 c 953s|570000 | 2290 | 1326k| 2.3 | 64M| 269 | 8 |3655 | 50k|3655 | 970 | 92k| 341k|3949 | 0.000000e+00 | 1.000000e+00 | Inf
1015.42/1015.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1015.42/1015.43 c 980s|580000 | 2250 | 1360k| 2.3 | 59M| 269 | - |3655 | 35k| 0 | 0 | 93k| 354k|4049 | 0.000000e+00 | 1.000000e+00 | Inf
1041.01/1041.07 c 1005s|590000 | 2185 | 1398k| 2.4 | 53M| 269 | 1 |3655 | 19k|3655 | 970 | 93k| 367k|4144 | 0.000000e+00 | 1.000000e+00 | Inf
1061.02/1061.01 c 1024s|600000 | 2173 | 1435k| 2.4 | 54M| 269 | - |3655 | 21k| 0 | 0 | 94k| 379k|4233 | 0.000000e+00 | 1.000000e+00 | Inf
1081.32/1081.32 c 1044s|610000 | 2181 | 1468k| 2.4 | 55M| 269 | 10 |3655 | 24k|3655 | 970 | 95k| 392k|4303 | 0.000000e+00 | 1.000000e+00 | Inf
1103.72/1103.79 c 1066s|620000 | 2186 | 1504k| 2.4 | 57M| 269 | - |3655 | 29k| 0 | 0 | 95k| 405k|4374 | 0.000000e+00 | 1.000000e+00 | Inf
1129.32/1129.35 c 1091s|630000 | 2194 | 1542k| 2.4 | 58M| 269 | - |3655 | 32k| 0 | 0 | 96k| 417k|4437 | 0.000000e+00 | 1.000000e+00 | Inf
1155.82/1155.89 c 1116s|640000 | 2155 | 1578k| 2.5 | 56M| 269 | 7 |3655 | 28k|3655 | 970 | 96k| 430k|4517 | 0.000000e+00 | 1.000000e+00 | Inf
1177.72/1177.75 c 1138s|650000 | 2173 | 1612k| 2.5 | 58M| 269 | 1 |3655 | 31k|3655 | 970 | 97k| 443k|4589 | 0.000000e+00 | 1.000000e+00 | Inf
1200.92/1200.91 c 1160s|660000 | 2021 | 1652k| 2.5 | 54M| 269 | 15 |3655 | 21k|3655 | 970 | 98k| 456k|4688 | 0.000000e+00 | 1.000000e+00 | Inf
1221.82/1221.84 c 1180s|670000 | 2031 | 1692k| 2.5 | 54M| 269 | 6 |3655 | 21k|3655 | 970 | 99k| 468k|4745 | 0.000000e+00 | 1.000000e+00 | Inf
1243.42/1243.47 c 1201s|680000 | 2068 | 1729k| 2.5 | 56M| 269 | 18 |3655 | 26k|3655 | 970 | 99k| 481k|4790 | 0.000000e+00 | 1.000000e+00 | Inf
1268.82/1268.86 c 1226s|690000 | 2119 | 1772k| 2.6 | 58M| 269 | 22 |3655 | 30k|3655 | 970 | 100k| 494k|4862 | 0.000000e+00 | 1.000000e+00 | Inf
1295.92/1295.95 c 1252s|700000 | 2180 | 1812k| 2.6 | 61M| 269 | - |3655 | 35k| 0 | 0 | 100k| 508k|4942 | 0.000000e+00 | 1.000000e+00 | Inf
1323.13/1323.17 c 1278s|710000 | 2170 | 1852k| 2.6 | 60M| 269 | - |3655 | 33k| 0 | 0 | 101k| 522k|5028 | 0.000000e+00 | 1.000000e+00 | Inf
1348.63/1348.64 c 1303s|720000 | 2124 | 1895k| 2.6 | 59M| 269 | 29 |3655 | 29k|3655 | 970 | 101k| 535k|5106 | 0.000000e+00 | 1.000000e+00 | Inf
1372.22/1372.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1372.22/1372.22 c 1326s|730000 | 2143 | 1933k| 2.6 | 61M| 269 | 1 |3655 | 34k|3655 | 970 | 102k| 548k|5135 | 0.000000e+00 | 1.000000e+00 | Inf
1397.43/1397.47 c 1350s|740000 | 2143 | 1968k| 2.7 | 62M| 269 | 8 |3655 | 39k|3655 | 970 | 103k| 562k|5190 | 0.000000e+00 | 1.000000e+00 | Inf
1425.03/1425.07 c 1377s|750000 | 2172 | 2003k| 2.7 | 64M| 269 | 12 |3655 | 44k|3655 | 970 | 103k| 575k|5252 | 0.000000e+00 | 1.000000e+00 | Inf
1454.23/1454.27 c 1406s|760000 | 2146 | 2040k| 2.7 | 64M| 269 | - |3655 | 44k| 0 | 0 | 104k| 589k|5323 | 0.000000e+00 | 1.000000e+00 | Inf
1484.03/1484.09 c 1435s|770000 | 2169 | 2075k| 2.7 | 66M| 269 | - |3655 | 48k| 0 | 0 | 105k| 602k|5358 | 0.000000e+00 | 1.000000e+00 | Inf
1514.93/1514.92 c 1465s|780000 | 2174 | 2113k| 2.7 | 67M| 269 | 19 |3655 | 50k|3655 | 970 | 106k| 616k|5395 | 0.000000e+00 | 1.000000e+00 | Inf
1546.93/1546.91 c 1496s|790000 | 2179 | 2153k| 2.7 | 69M| 269 | - |3655 | 55k| 0 | 0 | 107k| 630k|5455 | 0.000000e+00 | 1.000000e+00 | Inf
1581.23/1581.20 c 1530s|800000 | 2195 | 2188k| 2.7 | 70M| 269 | - |3655 | 57k| 0 | 0 | 107k| 644k|5530 | 0.000000e+00 | 1.000000e+00 | Inf
1615.13/1615.19 c 1563s|810000 | 2185 | 2224k| 2.7 | 71M| 269 | - |3655 | 59k| 0 | 0 | 108k| 659k|5575 | 0.000000e+00 | 1.000000e+00 | Inf
1650.43/1650.42 c 1597s|820000 | 2187 | 2261k| 2.8 | 71M| 269 | 12 |3655 | 59k|3655 | 970 | 109k| 672k|5608 | 0.000000e+00 | 1.000000e+00 | Inf
1684.64/1684.60 c 1631s|830000 | 2229 | 2298k| 2.8 | 73M| 269 | - |3655 | 64k| 0 | 0 | 110k| 685k|5677 | 0.000000e+00 | 1.000000e+00 | Inf
1720.73/1720.75 c 1666s|840000 | 2233 | 2332k| 2.8 | 75M| 269 | 1 |3655 | 67k|3655 | 970 | 111k| 700k|5740 | 0.000000e+00 | 1.000000e+00 | Inf
1758.94/1758.93 c 1704s|850000 | 2223 | 2368k| 2.8 | 74M| 269 | 20 |3655 | 65k|3655 | 970 | 112k| 713k|5765 | 0.000000e+00 | 1.000000e+00 | Inf
1798.94/1798.93 c 1743s|860000 | 2264 | 2404k| 2.8 | 77M| 269 | - |3655 | 71k| 0 | 0 | 112k| 728k|5819 | 0.000000e+00 | 1.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1744.03
1800.04/1800.00 c Solving Nodes : 860264
1800.04/1800.00 c Primal Bound : +1.00000000000000e+00 (217 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.04 s SATISFIABLE
1800.04/1800.04 v -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.04/1800.04 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189
1800.04/1800.04 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.04/1800.04 v -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147
1800.04/1800.04 v x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.04/1800.04 v -x125 -x124 -x123 x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104
1800.04/1800.04 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.04/1800.04 v -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 -x54
1800.04/1800.04 v -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29
1800.04/1800.04 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.04/1800.04 v -x1
1800.04/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.04 c Solving Time : 1744.03
1800.04/1800.04 c Original Problem :
1800.04/1800.04 c Problem name : HOME/instance-2692829-1277905805.wbo
1800.04/1800.04 c Variables : 3785 (2008 binary, 0 integer, 0 implicit integer, 1777 continuous)
1800.04/1800.04 c Constraints : 4485 initial, 4485 maximal
1800.04/1800.04 c Presolved Problem :
1800.04/1800.04 c Problem name : t_HOME/instance-2692829-1277905805.wbo
1800.04/1800.04 c Variables : 3655 (1943 binary, 0 integer, 0 implicit integer, 1712 continuous)
1800.04/1800.04 c Constraints : 4329 initial, 71646 maximal
1800.04/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.04 c trivial : 0.00 65 0 0 0 0 0 0 0
1800.04/1800.04 c dualfix : 0.00 65 0 0 0 0 0 0 0
1800.04/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c probing : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.04 c indicator : 0.00 0 0 0 0 0 65 0 0
1800.04/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c linear : 0.05 0 0 0 1789 0 91 76 0
1800.04/1800.04 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c root node : - 1712 - - 3424 - - - -
1800.04/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.04 c integral : 0 0 0 630666 0 9 330 0 0 625316
1800.04/1800.04 c indicator : 1712 0 1062611 314153 0 421 3423410 0 0 0
1800.04/1800.04 c setppc : 7 6 3031742 93208 0 22879 810654 0 0 0
1800.04/1800.04 c linear : 1712 6 3264190 282706 0 126499 14394063 112911 0 0
1800.04/1800.04 c logicor : 898+ 6 1200498 299609 0 132844 2934001 0 0 0
1800.04/1800.04 c bounddisjunction : 0+ 0 9919 0 0 0 803 0 0 0
1800.04/1800.04 c countsols : 0 0 0 299609 0 0 0 0 0 0
1800.04/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.04 c integral : 19.32 0.00 0.00 19.32 0.00
1800.04/1800.04 c indicator : 53.52 0.00 14.06 39.46 0.00
1800.04/1800.04 c setppc : 6.68 0.00 6.67 0.01 0.00
1800.04/1800.04 c linear : 112.44 0.01 107.00 5.43 0.00
1800.04/1800.04 c logicor : 325.47 0.00 323.42 2.05 0.00
1800.04/1800.04 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.04 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.04 c vbounds : 0.00 2 0 0
1800.04/1800.04 c rootredcost : 0.00 115 0 1712
1800.04/1800.04 c pseudoobj : 105.09 3333422 7057 2152673
1800.04/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.04 c propagation : 14.94 289279 288856 1903087 27.9 12390 19.1 -
1800.04/1800.04 c infeasible LP : 1.89 7002 7002 62168 40.1 30 12.2 0
1800.04/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c pseudo solution : 0.03 258 258 1835 20.0 240 4.2 -
1800.04/1800.04 c applied globally : - - - 728726 21.3 - - -
1800.04/1800.04 c applied locally : - - - 0 0.0 - - -
1800.04/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.04 c cut pool : 0.00 5 - - 62 - (maximal pool size: 99)
1800.04/1800.04 c redcost : 36.83 633233 0 978427 0 0
1800.04/1800.04 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.04 c intobj : 0.00 0 0 0 0 0
1800.04/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.04 c gomory : 0.15 6 0 0 605 0
1800.04/1800.04 c strongcg : 0.09 6 0 0 120 0
1800.04/1800.04 c cmir : 0.03 6 0 0 0 0
1800.04/1800.04 c flowcover : 0.07 6 0 0 0 0
1800.04/1800.04 c clique : 0.00 6 0 0 0 0
1800.04/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.04 c mcf : 0.00 1 0 0 0 0
1800.04/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.04 c Pricers : Time Calls Vars
1800.04/1800.04 c problem variables: 0.00 0 0
1800.04/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.04 c relpscost : 19.25 312933 9 330 0 0 625316
1800.04/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.04 c inference : 39.87 299495 0 0 0 0 598990
1800.04/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.04 c random : 0.00 0 0 0 0 0 0
1800.04/1800.04 c Primal Heuristics : Time Calls Found
1800.04/1800.04 c LP solutions : 0.65 - 114
1800.04/1800.04 c pseudo solutions : 0.00 - 0
1800.04/1800.04 c feaspump : 0.00 1 0
1800.04/1800.04 c intshifting : 0.00 4 0
1800.04/1800.04 c oneopt : 0.58 94 0
1800.04/1800.04 c crossover : 2.17 109 0
1800.04/1800.04 c pscostdiving : 3.18 3177 0
1800.04/1800.04 c fracdiving : 2.82 3177 0
1800.04/1800.04 c veclendiving : 2.87 3177 0
1800.04/1800.04 c linesearchdiving : 3.08 3177 0
1800.04/1800.04 c guideddiving : 3.12 3177 0
1800.04/1800.04 c coefdiving : 3.11 3178 0
1800.04/1800.04 c rootsoldiving : 3.28 3168 0
1800.04/1800.04 c objpscostdiving : 3.22 3169 0
1800.04/1800.04 c trivial : 0.00 2 0
1800.04/1800.04 c simplerounding : 0.35 313722 0
1800.04/1800.04 c zirounding : 0.12 1000 0
1800.04/1800.04 c rounding : 1.26 7921 0
1800.04/1800.04 c shifting : 1.23 2452 0
1800.04/1800.04 c twoopt : 0.00 0 0
1800.04/1800.04 c fixandinfer : 0.00 0 0
1800.04/1800.04 c intdiving : 0.00 0 0
1800.04/1800.04 c actconsdiving : 0.00 0 0
1800.04/1800.04 c octane : 0.00 0 0
1800.04/1800.04 c rens : 0.02 1 0
1800.04/1800.04 c rins : 0.00 0 0
1800.04/1800.04 c localbranching : 0.00 0 0
1800.04/1800.04 c mutation : 0.00 0 0
1800.04/1800.04 c dins : 0.00 0 0
1800.04/1800.04 c undercover : 0.00 0 0
1800.04/1800.04 c nlp : 0.00 0 0
1800.04/1800.04 c trysol : 0.26 5468 103
1800.04/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.04 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.04 c dual LP : 478.90 345068 2402595 6.96 5016.90
1800.04/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.04 c diving/probing LP: 0.39 118 2757 23.36 7069.23
1800.04/1800.04 c strong branching : 16.28 5819 118950 20.44 7306.51
1800.04/1800.04 c (at root node) : - 33 5632 170.67 -
1800.04/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.04 c B&B Tree :
1800.04/1800.04 c number of runs : 1
1800.04/1800.04 c nodes : 860264
1800.04/1800.04 c nodes (total) : 860264
1800.04/1800.04 c nodes left : 2261
1800.04/1800.04 c max depth : 269
1800.04/1800.04 c max depth (total): 269
1800.04/1800.04 c backtracks : 57442 (6.7%)
1800.04/1800.04 c delayed cutoffs : 51246
1800.04/1800.04 c repropagations : 1455654 (4147314 domain reductions, 48921 cutoffs)
1800.04/1800.04 c avg switch length: 4.95
1800.04/1800.04 c switching time : 262.48
1800.04/1800.04 c Solution :
1800.04/1800.04 c Solutions found : 217 (115 improvements)
1800.04/1800.04 c First Solution : +8.67840000000000e+04 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1800.04/1800.04 c Primal Bound : +1.00000000000000e+00 (in run 1, after 426953 nodes, 641.57 seconds, depth 42, found by <relaxation>)
1800.04/1800.04 c Dual Bound : +0.00000000000000e+00
1800.04/1800.04 c Gap : infinite
1800.04/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.04 c Root Iterations : 303
1800.14/1800.17 c Time complete: 1800.22.