0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705161-1278574759.wbo>
0.00/0.01 c original problem has 1505 variables (1112 bin, 0 int, 393 impl, 0 cont) and 987 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 236 impls, 0 clqs
0.00/0.02 c (round 2) 1 del vars, 3 del conss, 0 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 236 impls, 0 clqs
0.00/0.02 c (round 3) 1 del vars, 3 del conss, 393 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 236 impls, 0 clqs
0.00/0.03 c (round 4) 1 del vars, 3 del conss, 393 chg bounds, 115 chg sides, 230 chg coeffs, 199 upgd conss, 868 impls, 0 clqs
0.00/0.04 c (0.0s) probing: 101/1111 (9.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (5 rounds):
0.00/0.04 c 1 deleted vars, 3 deleted constraints, 393 tightened bounds, 0 added holes, 115 changed sides, 230 changed coefficients
0.00/0.04 c 876 implications, 0 cliques
0.00/0.04 c presolved problem has 1504 variables (1111 bin, 0 int, 393 impl, 0 cont) and 984 constraints
0.00/0.04 c 1 constraints of type <varbound>
0.00/0.04 c 68 constraints of type <knapsack>
0.00/0.04 c 80 constraints of type <setppc>
0.00/0.04 c 392 constraints of type <linear>
0.00/0.04 c 393 constraints of type <indicator>
0.00/0.04 c 50 constraints of type <logicor>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.02
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 1.2.1.3
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1789.99
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 3420
0.00/0.04 c
0.00/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.04 c # [type: int, range: [1,2], default: 1]
0.00/0.04 c timing/clocktype = 2
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/indicator/addCouplingCons = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.04 c 0.0s| 1 | 0 | 31 | - |5157k| 0 | 26 |1504 | 984 |1504 | 198 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.05/0.09 c 0.1s| 1 | 0 | 136 | - |5298k| 0 | 106 |1504 | 984 |1504 | 306 | 108 | 0 | 0 | 0.000000e+00 | -- | Inf
0.08/0.11 c 0.1s| 1 | 0 | 223 | - |5465k| 0 | 131 |1504 | 984 |1504 | 409 | 211 | 0 | 0 | 0.000000e+00 | -- | Inf
0.08/0.15 c 0.1s| 1 | 0 | 327 | - |5657k| 0 | 193 |1504 | 984 |1504 | 488 | 290 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.21 c 0.2s| 1 | 0 | 444 | - |5896k| 0 | 193 |1504 | 984 |1504 | 577 | 379 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.31 c 0.3s| 1 | 0 | 744 | - |6086k| 0 | 214 |1504 | 984 |1504 | 642 | 444 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.41 c 0.4s| 1 | 0 | 977 | - |6270k| 0 | 208 |1504 | 984 |1504 | 715 | 517 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.56 c 0.6s| 1 | 2 | 977 | - |6273k| 0 | 208 |1504 | 984 |1504 | 715 | 517 | 0 | 17 | 0.000000e+00 | -- | Inf
7.09/7.14 o 19359
7.09/7.14 c y 7.1s| 205 | 204 | 18431 | 85.6 |6699k| 31 | - |1504 |1004 | 0 | 0 | 517 | 20 |2351 | 0.000000e+00 | 1.935900e+04 | Inf
28.79/28.80 c 28.8s| 10000 | 10000 |160662 | 16.0 | 16M| 355 | 4 |1504 |1045 |1504 | 539 | 560 | 61 |3564 | 0.000000e+00 | 1.935900e+04 | Inf
35.39/35.45 c 35.4s| 20000 | 19998 |168473 | 8.4 | 26M| 355 | 0 |1504 |1046 |1504 | 539 | 625 | 62 |3658 | 0.000000e+00 | 1.935900e+04 | Inf
41.80/41.86 c 41.9s| 30000 | 29996 |172569 | 5.7 | 36M| 355 | 10 |1504 |1047 |1504 | 537 | 711 | 63 |3676 | 0.000000e+00 | 1.935900e+04 | Inf
48.30/48.36 c 48.4s| 40000 | 39996 |178333 | 4.4 | 45M| 355 | 5 |1504 |1047 |1504 | 539 | 815 | 63 |3690 | 0.000000e+00 | 1.935900e+04 | Inf
54.79/54.83 c 54.8s| 50000 | 49996 |183638 | 3.7 | 54M| 355 | 0 |1504 |1046 |1504 | 539 | 924 | 63 |3700 | 0.000000e+00 | 1.935900e+04 | Inf
61.19/61.27 c 61.3s| 60000 | 59996 |187965 | 3.1 | 64M| 355 | 0 |1504 |1045 |1504 | 539 |1052 | 63 |3700 | 0.000000e+00 | 1.935900e+04 | Inf
67.69/67.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.69/67.75 c 67.7s| 70000 | 69996 |193402 | 2.7 | 73M| 355 | 0 |1504 |1043 |1504 | 539 |1164 | 63 |3701 | 0.000000e+00 | 1.935900e+04 | Inf
74.29/74.37 c 74.4s| 80000 | 79996 |200925 | 2.5 | 82M| 355 | 0 |1504 |1042 |1504 | 539 |1273 | 63 |3702 | 0.000000e+00 | 1.935900e+04 | Inf
80.79/80.89 c 80.9s| 90000 | 89996 |205604 | 2.3 | 92M| 355 | 0 |1504 |1041 |1504 | 539 |1384 | 63 |3702 | 0.000000e+00 | 1.935900e+04 | Inf
87.39/87.41 c 87.4s|100000 | 99996 |210060 | 2.1 | 101M| 355 | 0 |1504 |1041 |1504 | 539 |1495 | 63 |3702 | 0.000000e+00 | 1.935900e+04 | Inf
93.99/94.03 c 94.0s|110000 |109996 |215676 | 2.0 | 110M| 355 | 0 |1504 |1040 |1504 | 539 |1611 | 63 |3703 | 0.000000e+00 | 1.935900e+04 | Inf
100.59/100.60 c 101s|120000 |119996 |220716 | 1.8 | 120M| 355 | 0 |1504 |1040 |1504 | 539 |1728 | 63 |3704 | 0.000000e+00 | 1.935900e+04 | Inf
107.19/107.25 c 107s|130000 |129996 |227347 | 1.7 | 129M| 355 | 0 |1504 |1036 |1504 | 540 |1843 | 63 |3706 | 0.000000e+00 | 1.935900e+04 | Inf
113.89/113.92 c 114s|140000 |139996 |234990 | 1.7 | 138M| 355 | 4 |1504 |1033 |1504 | 539 |1947 | 63 |3706 | 0.000000e+00 | 1.935900e+04 | Inf
120.39/120.47 c 120s|150000 |149996 |239534 | 1.6 | 148M| 355 | 0 |1504 |1033 |1504 | 540 |2066 | 63 |3707 | 0.000000e+00 | 1.935900e+04 | Inf
127.09/127.12 c 127s|160000 |159996 |246424 | 1.5 | 157M| 355 | 0 |1504 |1031 |1504 | 539 |2183 | 63 |3708 | 0.000000e+00 | 1.935900e+04 | Inf
133.80/133.84 c 134s|170000 |169996 |255404 | 1.5 | 166M| 355 | 0 |1504 |1024 |1504 | 539 |2285 | 63 |3708 | 0.000000e+00 | 1.935900e+04 | Inf
140.59/140.60 c 141s|180000 |179996 |264655 | 1.5 | 176M| 355 | 57 |1504 |1023 |1504 | 537 |2398 | 63 |3710 | 0.000000e+00 | 1.935900e+04 | Inf
147.30/147.39 c 147s|190000 |189996 |274114 | 1.4 | 185M| 355 | 0 |1504 |1024 |1504 | 539 |2511 | 65 |3711 | 0.000000e+00 | 1.935900e+04 | Inf
153.90/153.98 c 154s|200000 |199996 |279929 | 1.4 | 194M| 355 | 0 |1504 |1024 |1504 | 539 |2634 | 65 |3711 | 0.000000e+00 | 1.935900e+04 | Inf
160.60/160.63 c 161s|210000 |209996 |284920 | 1.4 | 204M| 355 | 0 |1504 |1023 |1504 | 540 |2765 | 65 |3805 | 0.000000e+00 | 1.935900e+04 | Inf
167.10/167.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
167.10/167.18 c 167s|220000 |219997 |289900 | 1.3 | 213M| 355 | 0 |1504 |1020 |1504 | 539 |2791 | 65 |3910 | 0.000000e+00 | 1.935900e+04 | Inf
173.80/173.81 c 174s|230000 |229997 |295711 | 1.3 | 222M| 355 | 0 |1504 |1020 |1504 | 539 |2899 | 65 |3964 | 0.000000e+00 | 1.935900e+04 | Inf
180.30/180.38 c 180s|240000 |239997 |300998 | 1.3 | 232M| 355 | 0 |1504 |1020 |1504 | 539 |3018 | 65 |3980 | 0.000000e+00 | 1.935900e+04 | Inf
187.09/187.10 c 187s|250000 |249997 |307386 | 1.2 | 241M| 355 | 0 |1504 |1020 |1504 | 539 |3135 | 65 |4093 | 0.000000e+00 | 1.935900e+04 | Inf
193.70/193.74 c 194s|260000 |259997 |312789 | 1.2 | 250M| 355 | 0 |1504 |1020 |1504 | 540 |3257 | 65 |4154 | 0.000000e+00 | 1.935900e+04 | Inf
200.19/200.27 c 200s|270000 |269997 |317680 | 1.2 | 260M| 355 | 0 |1504 |1020 |1504 | 539 |3366 | 65 |4160 | 0.000000e+00 | 1.935900e+04 | Inf
206.80/206.83 c 207s|280000 |279997 |323264 | 1.2 | 269M| 355 | 0 |1504 |1020 |1504 | 540 |3492 | 65 |4164 | 0.000000e+00 | 1.935900e+04 | Inf
213.39/213.48 c 213s|290000 |289997 |329203 | 1.1 | 278M| 355 | 0 |1504 |1020 |1504 | 539 |3611 | 65 |4252 | 0.000000e+00 | 1.935900e+04 | Inf
220.10/220.11 c 220s|300000 |299997 |334316 | 1.1 | 288M| 355 | 0 |1504 |1020 |1504 | 539 |3721 | 65 |4346 | 0.000000e+00 | 1.935900e+04 | Inf
226.60/226.66 c 227s|310000 |309997 |338869 | 1.1 | 297M| 361 | 1 |1504 |1020 |1504 | 539 |3843 | 65 |4367 | 0.000000e+00 | 1.935900e+04 | Inf
233.20/233.27 c 233s|320000 |319997 |344836 | 1.1 | 307M| 361 | 0 |1504 |1020 |1504 | 539 |3988 | 65 |4383 | 0.000000e+00 | 1.935900e+04 | Inf
239.89/239.90 c 240s|330000 |329997 |350920 | 1.1 | 316M| 361 | 0 |1504 |1020 |1504 | 539 |4093 | 65 |4418 | 0.000000e+00 | 1.935900e+04 | Inf
246.59/246.61 c 247s|340000 |339997 |356971 | 1.0 | 325M| 361 | 0 |1504 |1020 |1504 | 540 |4218 | 65 |4549 | 0.000000e+00 | 1.935900e+04 | Inf
253.19/253.20 c 253s|350000 |349997 |361949 | 1.0 | 335M| 361 | 0 |1504 |1020 |1504 | 539 |4352 | 65 |4572 | 0.000000e+00 | 1.935900e+04 | Inf
259.90/259.95 c 260s|360000 |359995 |368071 | 1.0 | 344M| 361 | 0 |1504 |1022 |1504 | 540 |4464 | 67 |4689 | 0.000000e+00 | 1.935900e+04 | Inf
266.59/266.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
266.59/266.64 c 267s|370000 |369995 |375438 | 1.0 | 353M| 361 | 0 |1504 |1022 |1504 | 539 |4584 | 67 |4704 | 0.000000e+00 | 1.935900e+04 | Inf
273.30/273.39 c 273s|380000 |379995 |382284 | 1.0 | 363M| 361 | 0 |1504 |1021 |1504 | 539 |4712 | 67 |4808 | 0.000000e+00 | 1.935900e+04 | Inf
279.99/280.05 c 280s|390000 |389995 |387918 | 1.0 | 372M| 361 | 0 |1504 |1021 |1504 | 539 |4820 | 67 |4871 | 0.000000e+00 | 1.935900e+04 | Inf
286.59/286.69 c 287s|400000 |399995 |393560 | 1.0 | 381M| 361 | 0 |1504 |1021 |1504 | 539 |4929 | 67 |4919 | 0.000000e+00 | 1.935900e+04 | Inf
293.30/293.31 c 293s|410000 |409995 |398820 | 1.0 | 391M| 361 | 0 |1504 |1021 |1504 | 540 |5043 | 67 |4934 | 0.000000e+00 | 1.935900e+04 | Inf
299.79/299.88 c 300s|420000 |419995 |403685 | 1.0 | 400M| 361 | 0 |1504 |1021 |1504 | 539 |5152 | 67 |4939 | 0.000000e+00 | 1.935900e+04 | Inf
306.49/306.50 c 306s|430000 |429995 |408521 | 0.9 | 410M| 361 | 0 |1504 |1021 |1504 | 539 |5276 | 67 |4990 | 0.000000e+00 | 1.935900e+04 | Inf
312.99/313.04 c 313s|440000 |439995 |413015 | 0.9 | 419M| 361 | 0 |1504 |1021 |1504 | 539 |5384 | 67 |4990 | 0.000000e+00 | 1.935900e+04 | Inf
319.59/319.61 c 320s|450000 |449995 |417850 | 0.9 | 428M| 361 | 0 |1504 |1021 |1504 | 540 |5508 | 67 |4994 | 0.000000e+00 | 1.935900e+04 | Inf
326.20/326.21 c 326s|460000 |459995 |422984 | 0.9 | 438M| 361 | 0 |1504 |1021 |1504 | 539 |5628 | 67 |4998 | 0.000000e+00 | 1.935900e+04 | Inf
332.99/333.05 c 333s|470000 |469995 |430103 | 0.9 | 447M| 361 | 0 |1504 |1021 |1504 | 540 |5741 | 67 |5179 | 0.000000e+00 | 1.935900e+04 | Inf
339.80/339.82 c 340s|480000 |479995 |437033 | 0.9 | 457M| 361 | 0 |1504 |1021 |1504 | 540 |5860 | 67 |5300 | 0.000000e+00 | 1.935900e+04 | Inf
346.51/346.54 c 347s|490000 |489995 |442404 | 0.9 | 466M| 361 | 0 |1504 |1021 |1504 | 539 |5977 | 67 |5434 | 0.000000e+00 | 1.935900e+04 | Inf
353.20/353.22 c 353s|500000 |499995 |449077 | 0.9 | 475M| 361 | 0 |1504 |1021 |1504 | 539 |6100 | 67 |5469 | 0.000000e+00 | 1.935900e+04 | Inf
359.90/359.98 c 360s|510000 |509995 |457512 | 0.9 | 485M| 361 | 53 |1504 |1021 |1504 | 537 |6231 | 67 |5513 | 0.000000e+00 | 1.935900e+04 | Inf
366.60/366.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
366.60/366.67 c 367s|520000 |519995 |464062 | 0.9 | 494M| 361 | 0 |1504 |1021 |1504 | 539 |6351 | 67 |5563 | 0.000000e+00 | 1.935900e+04 | Inf
373.30/373.30 c 373s|530000 |529995 |469383 | 0.9 | 503M| 361 | 0 |1504 |1021 |1504 | 539 |6470 | 67 |5597 | 0.000000e+00 | 1.935900e+04 | Inf
380.30/380.31 c 380s|540000 |539995 |475835 | 0.9 | 513M| 361 | 0 |1504 |1011 |1504 | 540 |6595 | 67 |5936 | 0.000000e+00 | 1.935900e+04 | Inf
386.90/386.91 c 387s|550000 |549995 |480963 | 0.9 | 522M| 361 | 0 |1504 |1011 |1504 | 539 |6708 | 67 |5949 | 0.000000e+00 | 1.935900e+04 | Inf
393.50/393.51 c 393s|560000 |559995 |486111 | 0.9 | 532M| 361 | 0 |1504 |1011 |1504 | 539 |6832 | 67 |5958 | 0.000000e+00 | 1.935900e+04 | Inf
400.00/400.01 c 400s|570000 |569995 |490752 | 0.9 | 541M| 361 | 0 |1504 |1011 |1504 | 539 |6864 | 67 |5959 | 0.000000e+00 | 1.935900e+04 | Inf
406.60/406.60 c 407s|580000 |579995 |495842 | 0.9 | 550M| 361 | 0 |1504 |1011 |1504 | 539 |6963 | 67 |5963 | 0.000000e+00 | 1.935900e+04 | Inf
413.20/413.22 c 413s|590000 |589995 |501080 | 0.8 | 560M| 361 | 0 |1504 |1011 |1504 | 539 |7096 | 67 |5964 | 0.000000e+00 | 1.935900e+04 | Inf
419.80/419.86 c 420s|600000 |599995 |506032 | 0.8 | 569M| 361 | 0 |1504 |1011 |1504 | 539 |7226 | 67 |6003 | 0.000000e+00 | 1.935900e+04 | Inf
426.40/426.49 c 426s|610000 |609995 |511276 | 0.8 | 578M| 361 | 0 |1504 |1011 |1504 | 540 |7339 | 67 |6015 | 0.000000e+00 | 1.935900e+04 | Inf
433.10/433.14 c 433s|620000 |619995 |516924 | 0.8 | 588M| 361 | 0 |1504 |1011 |1504 | 539 |7455 | 67 |6017 | 0.000000e+00 | 1.935900e+04 | Inf
439.70/439.76 c 440s|630000 |629995 |522171 | 0.8 | 597M| 361 | 0 |1504 |1011 |1504 | 539 |7563 | 67 |6031 | 0.000000e+00 | 1.935900e+04 | Inf
446.30/446.38 c 446s|640000 |639995 |527288 | 0.8 | 607M| 361 | 0 |1504 |1011 |1504 | 539 |7702 | 67 |6042 | 0.000000e+00 | 1.935900e+04 | Inf
453.00/453.02 c 453s|650000 |649995 |532424 | 0.8 | 616M| 361 | 0 |1504 |1011 |1504 | 540 |7827 | 67 |6086 | 0.000000e+00 | 1.935900e+04 | Inf
459.60/459.63 c 460s|660000 |659995 |537595 | 0.8 | 625M| 361 | 0 |1504 |1011 |1504 | 539 |7947 | 67 |6098 | 0.000000e+00 | 1.935900e+04 | Inf
466.20/466.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
466.20/466.22 c 466s|670000 |669995 |542632 | 0.8 | 635M| 361 | 0 |1504 |1011 |1504 | 539 |8045 | 67 |6104 | 0.000000e+00 | 1.935900e+04 | Inf
472.80/472.81 c 473s|680000 |679995 |547635 | 0.8 | 644M| 361 | 0 |1504 |1011 |1504 | 539 |8143 | 67 |6110 | 0.000000e+00 | 1.935900e+04 | Inf
479.40/479.42 c 479s|690000 |689995 |552720 | 0.8 | 654M| 361 | 0 |1504 |1011 |1504 | 539 |8239 | 67 |6145 | 0.000000e+00 | 1.935900e+04 | Inf
486.01/486.04 c 486s|700000 |699995 |557849 | 0.8 | 663M| 361 | 0 |1504 |1011 |1504 | 539 |8333 | 67 |6167 | 0.000000e+00 | 1.935900e+04 | Inf
492.60/492.69 c 493s|710000 |709995 |563216 | 0.8 | 672M| 361 | 9 |1504 |1011 |1504 | 537 |8456 | 67 |6201 | 0.000000e+00 | 1.935900e+04 | Inf
499.20/499.28 c 499s|720000 |719995 |568097 | 0.8 | 682M| 361 | 0 |1504 |1011 |1504 | 539 |8553 | 67 |6201 | 0.000000e+00 | 1.935900e+04 | Inf
505.80/505.88 c 506s|730000 |729993 |572931 | 0.8 | 691M| 361 | 0 |1504 |1012 |1504 | 539 |8633 | 68 |6227 | 0.000000e+00 | 1.935900e+04 | Inf
512.50/512.55 c 513s|740000 |739991 |577892 | 0.8 | 701M| 361 | 0 |1504 |1013 |1504 | 539 |8748 | 69 |6272 | 0.000000e+00 | 1.935900e+04 | Inf
519.11/519.12 c 519s|750000 |749991 |582662 | 0.8 | 710M| 361 | 0 |1504 |1013 |1504 | 539 |8803 | 69 |6292 | 0.000000e+00 | 1.935900e+04 | Inf
525.71/525.75 c 526s|760000 |759991 |587952 | 0.8 | 719M| 361 | 0 |1504 |1013 |1504 | 540 |8927 | 69 |6292 | 0.000000e+00 | 1.935900e+04 | Inf
532.41/532.49 c 532s|770000 |769991 |594271 | 0.8 | 729M| 361 | 0 |1504 |1013 |1504 | 540 |9045 | 69 |6354 | 0.000000e+00 | 1.935900e+04 | Inf
539.90/539.98 c 540s|780000 |779991 |608410 | 0.8 | 738M| 361 | 0 |1504 |1012 |1504 | 539 |9158 | 69 |6898 | 0.000000e+00 | 1.935900e+04 | Inf
547.61/547.68 c 548s|790000 |789991 |631141 | 0.8 | 747M| 361 | 4 |1504 |1011 |1504 | 537 |9256 | 69 |7292 | 0.000000e+00 | 1.935900e+04 | Inf
555.11/555.17 c 555s|800000 |799991 |655238 | 0.8 | 756M| 361 | 15 |1504 |1011 |1504 | 537 |9320 | 69 |7432 | 0.000000e+00 | 1.935900e+04 | Inf
562.70/562.70 c 563s|810000 |809991 |678347 | 0.8 | 765M| 361 | 39 |1504 |1011 |1504 | 537 |9401 | 69 |7691 | 0.000000e+00 | 1.935900e+04 | Inf
570.30/570.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
570.30/570.35 c 570s|820000 |819989 |705625 | 0.9 | 774M| 361 | 65 |1504 |1012 |1504 | 537 |9461 | 70 |7948 | 0.000000e+00 | 1.935900e+04 | Inf
578.61/578.64 c 579s|830000 |829987 |739415 | 0.9 | 783M| 361 | 65 |1504 |1008 |1504 | 537 |9544 | 71 |8433 | 0.000000e+00 | 1.935900e+04 | Inf
585.60/585.66 c 586s|840000 |839987 |751863 | 0.9 | 793M| 361 | 16 |1504 |1008 |1504 | 537 |9666 | 71 |8467 | 0.000000e+00 | 1.935900e+04 | Inf
593.10/593.14 c 593s|850000 |849985 |773918 | 0.9 | 802M| 361 | 4 |1504 |1007 |1504 | 540 |9777 | 72 |8650 | 0.000000e+00 | 1.935900e+04 | Inf
600.40/600.41 c 600s|860000 |859983 |790625 | 0.9 | 811M| 361 | 6 |1504 |1006 |1504 | 537 |9878 | 73 |8758 | 0.000000e+00 | 1.935900e+04 | Inf
607.71/607.73 c 608s|870000 |869981 |808847 | 0.9 | 820M| 361 | 40 |1504 |1006 |1504 | 537 |9952 | 74 |8859 | 0.000000e+00 | 1.935900e+04 | Inf
615.11/615.11 c 615s|880000 |879981 |825681 | 0.9 | 829M| 361 | 28 |1504 |1005 |1504 | 537 | 10k| 74 |9088 | 0.000000e+00 | 1.935900e+04 | Inf
622.20/622.25 c 622s|890000 |889979 |841791 | 0.9 | 838M| 361 | 0 |1504 |1006 |1504 | 538 | 10k| 75 |9112 | 0.000000e+00 | 1.935900e+04 | Inf
629.40/629.48 c 629s|900000 |899977 |856479 | 1.0 | 847M| 361 | 0 |1504 |1007 |1504 | 539 | 10k| 76 |9244 | 0.000000e+00 | 1.935900e+04 | Inf
636.61/636.66 c 637s|910000 |909977 |872442 | 1.0 | 856M| 361 | 7 |1504 |1006 |1504 | 537 | 10k| 76 |9260 | 0.000000e+00 | 1.935900e+04 | Inf
643.80/643.83 c 644s|920000 |919977 |887411 | 1.0 | 865M| 361 | 47 |1504 |1006 |1504 | 537 | 10k| 76 |9342 | 0.000000e+00 | 1.935900e+04 | Inf
651.11/651.20 c 651s|930000 |929975 |903451 | 1.0 | 875M| 361 | 0 |1504 |1006 |1504 | 539 | 10k| 77 |9590 | 0.000000e+00 | 1.935900e+04 | Inf
658.30/658.38 c 658s|940000 |939975 |918098 | 1.0 | 884M| 361 | 0 |1504 |1005 |1504 | 539 | 10k| 77 |9679 | 0.000000e+00 | 1.935900e+04 | Inf
665.31/665.38 c 665s|950000 |949973 |931323 | 1.0 | 893M| 361 | 0 |1504 |1006 |1504 | 540 | 10k| 78 |9698 | 0.000000e+00 | 1.935900e+04 | Inf
672.61/672.64 c 673s|960000 |959971 |946604 | 1.0 | 902M| 361 | 43 |1504 |1006 |1504 | 537 | 10k| 79 |9866 | 0.000000e+00 | 1.935900e+04 | Inf
679.71/679.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
679.71/679.79 c 680s|970000 |969971 |960936 | 1.0 | 911M| 361 | 0 |1504 |1004 |1504 | 539 | 10k| 80 | 10k| 0.000000e+00 | 1.935900e+04 | Inf
686.21/686.27 c 686s|980000 |979971 |964943 | 1.0 | 921M| 361 | 0 |1504 |1004 |1504 | 539 | 10k| 80 | 10k| 0.000000e+00 | 1.935900e+04 | Inf
692.70/692.76 c 693s|990000 |989971 |968956 | 1.0 | 930M| 361 | 0 |1504 |1003 |1504 | 539 | 10k| 80 | 10k| 0.000000e+00 | 1.935900e+04 | Inf
699.20/699.26 c 699s| 1000k|999971 |972905 | 1.0 | 939M| 361 | 0 |1504 |1003 |1504 | 539 | 10k| 80 | 10k| 0.000000e+00 | 1.935900e+04 | Inf
705.90/705.92 c 706s| 1010k| 1009k|979852 | 1.0 | 949M| 361 | 0 |1504 |1004 |1504 | 539 | 10k| 81 | 10k| 0.000000e+00 | 1.935900e+04 | Inf
713.01/713.04 c 713s| 1020k| 1019k|992359 | 1.0 | 958M| 361 | 0 |1504 |1004 |1504 | 539 | 10k| 81 | 10k| 0.000000e+00 | 1.935900e+04 | Inf
720.11/720.11 c 720s| 1030k| 1029k| 1005k| 1.0 | 967M| 361 | 21 |1504 |1004 |1504 | 537 | 10k| 81 | 10k| 0.000000e+00 | 1.935900e+04 | Inf
727.71/727.75 c 728s| 1040k| 1039k| 1027k| 1.0 | 976M| 361 | 79 |1504 |1004 |1504 | 537 | 10k| 81 | 10k| 0.000000e+00 | 1.935900e+04 | Inf
735.10/735.13 c 735s| 1050k| 1049k| 1048k| 1.0 | 985M| 361 | 0 |1504 |1001 |1504 | 538 | 11k| 81 | 10k| 0.000000e+00 | 1.935900e+04 | Inf
742.21/742.27 c 742s| 1060k| 1059k| 1060k| 1.0 | 994M| 361 | 0 |1504 |1001 |1504 | 539 | 11k| 81 | 10k| 0.000000e+00 | 1.935900e+04 | Inf
748.91/749.00 c 749s| 1070k| 1069k| 1068k| 1.0 |1003M| 369 | 0 |1504 |1003 |1504 | 539 | 11k| 83 | 10k| 0.000000e+00 | 1.935900e+04 | Inf
755.61/755.65 c 756s| 1080k| 1079k| 1075k| 1.0 |1013M| 369 | 0 |1504 |1003 |1504 | 539 | 11k| 83 | 10k| 0.000000e+00 | 1.935900e+04 | Inf
762.41/762.46 c 762s| 1090k| 1089k| 1085k| 1.0 |1022M| 369 | 13 |1504 |1004 |1504 | 537 | 11k| 84 | 10k| 0.000000e+00 | 1.935900e+04 | Inf
769.41/769.46 c 769s| 1100k| 1099k| 1097k| 1.0 |1031M| 369 | 0 |1504 |1004 |1504 | 539 | 11k| 84 | 10k| 0.000000e+00 | 1.935900e+04 | Inf
777.01/777.02 c 777s| 1110k| 1109k| 1119k| 1.0 |1040M| 369 | 8 |1504 |1003 |1504 | 537 | 11k| 84 | 11k| 0.000000e+00 | 1.935900e+04 | Inf
784.51/784.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
784.51/784.55 c 785s| 1120k| 1119k| 1143k| 1.0 |1049M| 369 | 0 |1504 |1005 |1504 | 539 | 11k| 86 | 11k| 0.000000e+00 | 1.935900e+04 | Inf
791.91/791.92 c 792s| 1130k| 1129k| 1162k| 1.0 |1058M| 369 | 0 |1504 |1007 |1504 | 538 | 11k| 88 | 11k| 0.000000e+00 | 1.935900e+04 | Inf
799.20/799.21 c 799s| 1140k| 1139k| 1181k| 1.0 |1067M| 369 | 17 |1504 |1006 |1504 | 537 | 11k| 88 | 11k| 0.000000e+00 | 1.935900e+04 | Inf
806.71/806.75 c 807s| 1150k| 1149k| 1204k| 1.0 |1076M| 369 | 58 |1504 |1004 |1504 | 537 | 11k| 88 | 11k| 0.000000e+00 | 1.935900e+04 | Inf
814.21/814.25 c 814s| 1160k| 1159k| 1227k| 1.1 |1085M| 369 | 0 |1504 |1005 |1504 | 543 | 11k| 89 | 11k| 0.000000e+00 | 1.935900e+04 | Inf
821.51/821.50 c 821s| 1170k| 1169k| 1246k| 1.1 |1095M| 369 | 88 |1504 |1009 |1504 | 537 | 11k| 93 | 11k| 0.000000e+00 | 1.935900e+04 | Inf
829.11/829.17 c 829s| 1180k| 1179k| 1272k| 1.1 |1104M| 369 | 0 |1504 |1006 |1504 | 539 | 12k| 93 | 11k| 0.000000e+00 | 1.935900e+04 | Inf
836.61/836.65 c 837s| 1190k| 1189k| 1296k| 1.1 |1113M| 369 | 0 |1504 |1006 |1504 | 538 | 12k| 93 | 12k| 0.000000e+00 | 1.935900e+04 | Inf
844.11/844.19 c 844s| 1200k| 1199k| 1317k| 1.1 |1122M| 369 | 0 |1504 |1004 |1504 | 539 | 12k| 93 | 12k| 0.000000e+00 | 1.935900e+04 | Inf
851.42/851.49 c 851s| 1210k| 1209k| 1337k| 1.1 |1131M| 369 | 20 |1504 |1003 |1504 | 537 | 12k| 93 | 12k| 0.000000e+00 | 1.935900e+04 | Inf
858.71/858.74 c 859s| 1220k| 1219k| 1356k| 1.1 |1140M| 369 | 0 |1504 |1003 |1504 | 538 | 12k| 93 | 12k| 0.000000e+00 | 1.935900e+04 | Inf
866.11/866.12 c 866s| 1230k| 1229k| 1375k| 1.1 |1149M| 369 | 48 |1504 |1003 |1504 | 537 | 12k| 93 | 12k| 0.000000e+00 | 1.935900e+04 | Inf
873.61/873.62 c 874s| 1240k| 1239k| 1398k| 1.1 |1158M| 369 | 28 |1504 |1002 |1504 | 537 | 12k| 93 | 12k| 0.000000e+00 | 1.935900e+04 | Inf
880.81/880.89 c 881s| 1250k| 1249k| 1417k| 1.1 |1168M| 369 | 0 |1504 |1002 |1504 | 538 | 12k| 93 | 12k| 0.000000e+00 | 1.935900e+04 | Inf
888.21/888.29 c 888s| 1260k| 1259k| 1436k| 1.1 |1177M| 369 | 0 |1504 |1002 |1504 | 537 | 12k| 93 | 12k| 0.000000e+00 | 1.935900e+04 | Inf
895.51/895.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
895.51/895.56 c 896s| 1270k| 1269k| 1455k| 1.1 |1186M| 369 | 34 |1504 |1002 |1504 | 537 | 12k| 93 | 13k| 0.000000e+00 | 1.935900e+04 | Inf
902.82/902.89 c 903s| 1280k| 1279k| 1475k| 1.2 |1195M| 369 | 0 |1504 |1002 |1504 | 539 | 12k| 93 | 13k| 0.000000e+00 | 1.935900e+04 | Inf
910.31/910.39 c 910s| 1290k| 1289k| 1495k| 1.2 |1204M| 369 | 0 |1504 |1004 |1504 | 539 | 12k| 96 | 13k| 0.000000e+00 | 1.935900e+04 | Inf
917.61/917.60 c 918s| 1300k| 1299k| 1512k| 1.2 |1213M| 369 | 1 |1504 |1004 |1504 | 538 | 12k| 96 | 13k| 0.000000e+00 | 1.935900e+04 | Inf
924.52/924.52 c 925s| 1310k| 1309k| 1524k| 1.2 |1222M| 369 | 0 |1504 |1006 |1504 | 539 | 13k| 98 | 13k| 0.000000e+00 | 1.935900e+04 | Inf
931.52/931.53 c 932s| 1320k| 1319k| 1536k| 1.2 |1232M| 369 | 0 |1504 |1005 |1504 | 538 | 13k| 98 | 13k| 0.000000e+00 | 1.935900e+04 | Inf
938.82/938.81 c 939s| 1330k| 1329k| 1553k| 1.2 |1241M| 369 | 39 |1504 |1005 |1504 | 537 | 13k| 98 | 13k| 0.000000e+00 | 1.935900e+04 | Inf
945.92/945.94 c 946s| 1340k| 1339k| 1570k| 1.2 |1250M| 369 | 20 |1504 |1005 |1504 | 537 | 13k| 98 | 13k| 0.000000e+00 | 1.935900e+04 | Inf
953.22/953.20 c 953s| 1350k| 1349k| 1589k| 1.2 |1259M| 369 | 0 |1504 |1003 |1504 | 537 | 13k| 99 | 13k| 0.000000e+00 | 1.935900e+04 | Inf
960.61/960.65 c 961s| 1360k| 1359k| 1608k| 1.2 |1268M| 369 | 0 |1504 |1002 |1504 | 538 | 13k| 99 | 13k| 0.000000e+00 | 1.935900e+04 | Inf
968.02/968.03 c 968s| 1370k| 1369k| 1628k| 1.2 |1277M| 369 | 0 |1504 |1002 |1504 | 540 | 13k| 99 | 13k| 0.000000e+00 | 1.935900e+04 | Inf
974.62/974.65 c 975s| 1380k| 1379k| 1634k| 1.2 |1287M| 369 | 0 |1504 |1002 |1504 | 539 | 13k| 99 | 13k| 0.000000e+00 | 1.935900e+04 | Inf
981.32/981.38 c 981s| 1390k| 1389k| 1642k| 1.2 |1296M| 373 | 3 |1504 |1004 |1504 | 539 | 13k| 101 | 13k| 0.000000e+00 | 1.935900e+04 | Inf
988.02/988.08 c 988s| 1400k| 1399k| 1649k| 1.2 |1305M| 373 | 2 |1504 |1004 |1504 | 537 | 13k| 102 | 13k| 0.000000e+00 | 1.935900e+04 | Inf
994.81/994.81 c 995s| 1410k| 1409k| 1656k| 1.2 |1314M| 373 | 0 |1504 |1004 |1504 | 539 | 13k| 102 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1001.41/1001.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1001.41/1001.48 c 1001s| 1420k| 1419k| 1663k| 1.2 |1323M| 373 | 0 |1504 |1004 |1504 | 538 | 13k| 102 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1008.11/1008.16 c 1008s| 1430k| 1429k| 1671k| 1.2 |1333M| 373 | 0 |1504 |1004 |1504 | 541 | 14k| 102 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1014.81/1014.82 c 1015s| 1440k| 1439k| 1678k| 1.2 |1342M| 373 | 0 |1504 |1004 |1504 | 538 | 14k| 102 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1021.42/1021.46 c 1021s| 1450k| 1449k| 1685k| 1.2 |1351M| 373 | 0 |1504 |1004 |1504 | 539 | 14k| 102 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1028.11/1028.14 c 1028s| 1460k| 1459k| 1692k| 1.2 |1360M| 373 | 0 |1504 |1004 |1504 | 540 | 14k| 102 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1034.92/1034.90 c 1035s| 1470k| 1469k| 1699k| 1.2 |1369M| 373 | 0 |1504 |1007 |1504 | 543 | 14k| 105 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1041.62/1041.67 c 1042s| 1480k| 1479k| 1705k| 1.2 |1379M| 373 | 1 |1504 |1006 |1504 | 538 | 15k| 106 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1048.42/1048.40 c 1048s| 1490k| 1489k| 1712k| 1.1 |1388M| 373 | 0 |1504 |1006 |1504 | 540 | 15k| 106 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1055.12/1055.16 c 1055s| 1500k| 1499k| 1718k| 1.1 |1397M| 373 | 0 |1504 |1006 |1504 | 538 | 15k| 106 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1061.91/1061.93 c 1062s| 1510k| 1509k| 1725k| 1.1 |1406M| 373 | 0 |1504 |1006 |1504 | 542 | 15k| 106 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1068.72/1068.70 c 1069s| 1520k| 1519k| 1731k| 1.1 |1416M| 373 | 0 |1504 |1006 |1504 | 539 | 15k| 106 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1075.52/1075.51 c 1075s| 1530k| 1529k| 1737k| 1.1 |1425M| 373 | 0 |1504 |1006 |1504 | 540 | 16k| 106 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1082.22/1082.28 c 1082s| 1540k| 1539k| 1744k| 1.1 |1434M| 373 | 0 |1504 |1006 |1504 | 540 | 16k| 106 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1089.02/1089.03 c 1089s| 1550k| 1549k| 1750k| 1.1 |1443M| 373 | 0 |1504 |1006 |1504 | 542 | 16k| 106 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1095.71/1095.77 c 1096s| 1560k| 1559k| 1757k| 1.1 |1453M| 373 | 0 |1504 |1006 |1504 | 542 | 16k| 106 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1102.52/1102.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1102.52/1102.58 c 1103s| 1570k| 1569k| 1764k| 1.1 |1462M| 373 | 2 |1504 |1006 |1504 | 538 | 17k| 106 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1109.32/1109.35 c 1109s| 1580k| 1579k| 1770k| 1.1 |1471M| 373 | 0 |1504 |1006 |1504 | 538 | 17k| 106 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1116.12/1116.12 c 1116s| 1590k| 1589k| 1777k| 1.1 |1480M| 373 | 0 |1504 |1006 |1504 | 542 | 17k| 106 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1122.91/1122.90 c 1123s| 1600k| 1599k| 1783k| 1.1 |1490M| 373 | 0 |1504 |1006 |1504 | 541 | 17k| 106 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1129.62/1129.61 c 1130s| 1610k| 1609k| 1789k| 1.1 |1499M| 373 | 0 |1504 |1006 |1504 | 544 | 17k| 106 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1136.42/1136.48 c 1136s| 1620k| 1619k| 1796k| 1.1 |1508M| 373 | 0 |1504 |1007 |1504 | 538 | 18k| 107 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1143.42/1143.44 c 1143s| 1630k| 1629k| 1805k| 1.1 |1517M| 373 | 0 |1504 |1006 |1504 | 540 | 18k| 107 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1150.22/1150.22 c 1150s| 1640k| 1639k| 1811k| 1.1 |1527M| 373 | 0 |1504 |1006 |1504 | 542 | 18k| 107 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1156.92/1156.96 c 1157s| 1650k| 1649k| 1817k| 1.1 |1536M| 373 | 0 |1504 |1006 |1504 | 539 | 18k| 107 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1163.62/1163.69 c 1164s| 1660k| 1659k| 1822k| 1.1 |1545M| 373 | 0 |1504 |1006 |1504 | 542 | 18k| 107 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1170.33/1170.40 c 1170s| 1670k| 1669k| 1828k| 1.1 |1555M| 373 | 0 |1504 |1006 |1504 | 539 | 18k| 107 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1177.12/1177.10 c 1177s| 1680k| 1679k| 1833k| 1.1 |1564M| 373 | 0 |1504 |1006 |1504 | 539 | 19k| 107 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1183.82/1183.83 c 1184s| 1690k| 1689k| 1839k| 1.1 |1573M| 373 | 0 |1504 |1006 |1504 | 539 | 19k| 107 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1190.52/1190.50 c 1190s| 1700k| 1699k| 1844k| 1.1 |1582M| 373 | 0 |1504 |1006 |1504 | 542 | 19k| 107 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1197.12/1197.18 c 1197s| 1710k| 1709k| 1849k| 1.1 |1592M| 373 | 0 |1504 |1006 |1504 | 540 | 19k| 107 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1203.82/1203.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1203.82/1203.85 c 1204s| 1720k| 1719k| 1855k| 1.1 |1601M| 373 | 0 |1504 |1006 |1504 | 539 | 19k| 107 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1210.52/1210.53 c 1211s| 1730k| 1729k| 1860k| 1.1 |1610M| 373 | 0 |1504 |1006 |1504 | 539 | 20k| 107 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1217.22/1217.24 c 1217s| 1740k| 1739k| 1865k| 1.1 |1620M| 373 | 2 |1504 |1006 |1504 | 538 | 20k| 107 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1223.92/1223.92 c 1224s| 1750k| 1749k| 1871k| 1.1 |1629M| 373 | 0 |1504 |1006 |1504 | 540 | 20k| 107 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1230.52/1230.59 c 1231s| 1760k| 1759k| 1876k| 1.1 |1638M| 373 | 0 |1504 |1006 |1504 | 539 | 20k| 107 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1237.21/1237.20 c 1237s| 1770k| 1769k| 1881k| 1.1 |1648M| 377 | 0 |1504 |1006 |1504 | 542 | 20k| 107 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1243.92/1243.91 c 1244s| 1780k| 1779k| 1887k| 1.1 |1657M| 379 | 0 |1504 |1006 |1504 | 540 | 20k| 107 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1250.63/1250.66 c 1251s| 1790k| 1789k| 1893k| 1.1 |1666M| 381 | 0 |1504 |1012 |1504 | 542 | 21k| 113 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1257.33/1257.38 c 1257s| 1800k| 1799k| 1899k| 1.1 |1675M| 381 | 0 |1504 |1011 |1504 | 540 | 21k| 113 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1264.02/1264.09 c 1264s| 1810k| 1809k| 1906k| 1.1 |1685M| 383 | 4 |1504 |1011 |1504 | 543 | 21k| 114 | 14k| 0.000000e+00 | 1.935900e+04 | Inf
1270.82/1270.81 c 1271s| 1820k| 1819k| 1912k| 1.1 |1694M| 383 | 3 |1504 |1011 |1504 | 539 | 21k| 114 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1277.42/1277.42 c 1277s| 1830k| 1829k| 1918k| 1.0 |1703M| 383 | 0 |1504 |1011 |1504 | 543 | 21k| 114 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1284.02/1284.08 c 1284s| 1840k| 1839k| 1924k| 1.0 |1713M| 383 | 0 |1504 |1011 |1504 | 542 | 21k| 114 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1290.73/1290.72 c 1291s| 1850k| 1849k| 1930k| 1.0 |1722M| 383 | 3 |1504 |1011 |1504 | 540 | 22k| 114 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1297.33/1297.35 c 1297s| 1860k| 1859k| 1936k| 1.0 |1731M| 387 | 10 |1504 |1010 |1504 | 537 | 22k| 114 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1303.92/1303.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1303.92/1303.96 c 1304s| 1870k| 1869k| 1943k| 1.0 |1741M| 389 | 0 |1504 |1013 |1504 | 540 | 22k| 117 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1310.62/1310.60 c 1311s| 1880k| 1879k| 1949k| 1.0 |1750M| 389 | 0 |1504 |1013 |1504 | 540 | 22k| 117 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1317.33/1317.32 c 1317s| 1890k| 1889k| 1956k| 1.0 |1759M| 389 | 0 |1504 |1013 |1504 | 543 | 22k| 117 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1323.92/1323.97 c 1324s| 1900k| 1899k| 1962k| 1.0 |1769M| 389 | 0 |1504 |1013 |1504 | 539 | 22k| 118 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1330.62/1330.63 c 1331s| 1910k| 1909k| 1968k| 1.0 |1778M| 389 | 0 |1504 |1013 |1504 | 539 | 23k| 118 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1337.22/1337.27 c 1337s| 1920k| 1919k| 1974k| 1.0 |1787M| 389 | 0 |1504 |1013 |1504 | 539 | 23k| 118 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1343.92/1343.92 c 1344s| 1930k| 1929k| 1980k| 1.0 |1797M| 389 | 0 |1504 |1013 |1504 | 539 | 23k| 118 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1350.52/1350.56 c 1351s| 1940k| 1939k| 1987k| 1.0 |1806M| 391 | 0 |1504 |1013 |1504 | 543 | 23k| 118 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1357.23/1357.24 c 1357s| 1950k| 1949k| 1994k| 1.0 |1815M| 391 | 0 |1504 |1013 |1504 | 543 | 23k| 118 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1363.82/1363.88 c 1364s| 1960k| 1959k| 2000k| 1.0 |1825M| 391 | 0 |1504 |1013 |1504 | 543 | 23k| 118 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1370.53/1370.59 c 1371s| 1970k| 1969k| 2007k| 1.0 |1834M| 391 | 0 |1504 |1013 |1504 | 539 | 24k| 118 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1377.23/1377.26 c 1377s| 1980k| 1979k| 2013k| 1.0 |1843M| 391 | 0 |1504 |1013 |1504 | 542 | 24k| 119 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1383.83/1383.88 c 1384s| 1990k| 1989k| 2020k| 1.0 |1853M| 391 | 0 |1504 |1013 |1504 | 542 | 24k| 119 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1390.53/1390.54 c 1391s| 2000k| 1999k| 2026k| 1.0 |1862M| 391 | 0 |1504 |1013 |1504 | 542 | 24k| 119 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1397.13/1397.19 c 1397s| 2010k| 2009k| 2033k| 1.0 |1871M| 391 | 0 |1504 |1013 |1504 | 542 | 24k| 119 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1403.83/1403.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1403.83/1403.86 c 1404s| 2020k| 2019k| 2039k| 1.0 |1881M| 391 | 0 |1504 |1013 |1504 | 540 | 24k| 119 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1410.53/1410.53 c 1411s| 2030k| 2029k| 2046k| 1.0 |1890M| 391 | 0 |1504 |1013 |1504 | 543 | 25k| 119 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1417.12/1417.19 c 1417s| 2040k| 2039k| 2052k| 1.0 |1899M| 391 | 0 |1504 |1013 |1504 | 542 | 25k| 119 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1423.83/1423.89 c 1424s| 2050k| 2049k| 2058k| 1.0 |1909M| 391 | 0 |1504 |1013 |1504 | 543 | 25k| 119 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1430.92/1430.94 c 1431s| 2060k| 2059k| 2064k| 1.0 |1918M| 391 | 0 |1504 |1013 |1504 | 542 | 25k| 119 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1437.63/1437.68 c 1438s| 2070k| 2069k| 2071k| 1.0 |1927M| 391 | 2 |1504 |1013 |1504 | 543 | 25k| 119 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1444.34/1444.36 c 1444s| 2080k| 2079k| 2078k| 1.0 |1937M| 391 | 0 |1504 |1012 |1504 | 540 | 25k| 119 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1451.03/1451.03 c 1451s| 2090k| 2089k| 2085k| 1.0 |1946M| 391 | 0 |1504 |1011 |1504 | 539 | 26k| 119 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1457.73/1457.71 c 1458s| 2100k| 2099k| 2092k| 1.0 |1955M| 391 | 0 |1504 |1011 |1504 | 539 | 26k| 119 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1464.32/1464.35 c 1464s| 2110k| 2109k| 2098k| 1.0 |1965M| 391 | 0 |1504 |1010 |1504 | 539 | 26k| 119 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1471.03/1471.03 c 1471s| 2120k| 2119k| 2104k| 1.0 |1974M| 391 | 3 |1504 |1014 |1504 | 540 | 26k| 123 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1477.63/1477.63 c 1478s| 2130k| 2129k| 2110k| 1.0 |1983M| 391 | 0 |1504 |1014 |1504 | 539 | 26k| 123 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1484.22/1484.28 c 1484s| 2140k| 2139k| 2116k| 1.0 |1993M| 391 | 0 |1504 |1014 |1504 | 540 | 26k| 123 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1490.82/1490.89 c 1491s| 2150k| 2149k| 2121k| 1.0 |2002M| 391 | 0 |1504 |1014 |1504 | 539 | 27k| 123 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1497.53/1497.50 c 1497s| 2160k| 2159k| 2127k| 1.0 |2011M| 391 | 0 |1504 |1016 |1504 | 541 | 27k| 125 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1504.13/1504.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1504.13/1504.14 c 1504s| 2170k| 2169k| 2133k| 1.0 |2021M| 391 | 0 |1504 |1016 |1504 | 543 | 27k| 125 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1510.73/1510.77 c 1511s| 2180k| 2179k| 2139k| 1.0 |2030M| 391 | 0 |1504 |1016 |1504 | 537 | 27k| 125 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1517.43/1517.40 c 1517s| 2190k| 2189k| 2144k| 1.0 |2039M| 391 | 0 |1504 |1016 |1504 | 539 | 27k| 125 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1524.03/1524.00 c 1524s| 2200k| 2199k| 2150k| 1.0 |2049M| 391 | 3 |1504 |1016 |1504 | 540 | 27k| 125 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1530.63/1530.63 c 1531s| 2210k| 2209k| 2155k| 1.0 |2058M| 391 | 0 |1504 |1016 |1504 | 542 | 28k| 125 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1537.33/1537.30 c 1537s| 2220k| 2219k| 2161k| 1.0 |2067M| 391 | 0 |1504 |1016 |1504 | 543 | 28k| 125 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1543.93/1543.91 c 1544s| 2230k| 2229k| 2166k| 1.0 |2077M| 391 | 0 |1504 |1016 |1504 | 542 | 28k| 125 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1550.53/1550.51 c 1550s| 2240k| 2239k| 2172k| 1.0 |2086M| 391 | 0 |1504 |1016 |1504 | 542 | 28k| 125 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1557.12/1557.12 c 1557s| 2250k| 2249k| 2177k| 1.0 |2095M| 391 | 0 |1504 |1016 |1504 | 544 | 28k| 125 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1563.83/1563.83 c 1564s| 2260k| 2259k| 2183k| 1.0 |2105M| 391 | 0 |1504 |1016 |1504 | 539 | 28k| 126 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1570.43/1570.49 c 1570s| 2270k| 2269k| 2189k| 1.0 |2114M| 391 | 0 |1504 |1014 |1504 | 541 | 29k| 126 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1577.13/1577.14 c 1577s| 2280k| 2279k| 2195k| 1.0 |2123M| 391 | 0 |1504 |1014 |1504 | 542 | 29k| 126 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1583.73/1583.76 c 1584s| 2290k| 2289k| 2201k| 1.0 |2133M| 391 | 0 |1504 |1014 |1504 | 541 | 29k| 126 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1590.43/1590.43 c 1590s| 2300k| 2299k| 2207k| 1.0 |2142M| 391 | 0 |1504 |1014 |1504 | 542 | 29k| 126 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1597.14/1597.17 c 1597s| 2310k| 2309k| 2213k| 1.0 |2151M| 391 | 0 |1504 |1014 |1504 | 539 | 29k| 126 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1603.73/1603.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1603.73/1603.80 c 1604s| 2320k| 2319k| 2219k| 1.0 |2161M| 391 | 0 |1504 |1013 |1504 | 541 | 29k| 126 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1610.44/1610.41 c 1610s| 2330k| 2329k| 2225k| 1.0 |2170M| 391 | 0 |1504 |1013 |1504 | 542 | 30k| 126 | 15k| 0.000000e+00 | 1.935900e+04 | Inf
1617.04/1617.04 c 1617s| 2340k| 2339k| 2231k| 1.0 |2180M| 391 | 0 |1504 |1013 |1504 | 541 | 30k| 126 | 16k| 0.000000e+00 | 1.935900e+04 | Inf
1623.73/1623.74 c 1624s| 2350k| 2349k| 2237k| 1.0 |2189M| 391 | 0 |1504 |1012 |1504 | 539 | 30k| 126 | 16k| 0.000000e+00 | 1.935900e+04 | Inf
1630.43/1630.46 c 1630s| 2360k| 2359k| 2243k| 1.0 |2198M| 391 | 0 |1504 |1011 |1504 | 543 | 30k| 126 | 16k| 0.000000e+00 | 1.935900e+04 | Inf
1637.13/1637.17 c 1637s| 2370k| 2369k| 2249k| 0.9 |2207M| 391 | 0 |1504 |1010 |1504 | 540 | 30k| 126 | 16k| 0.000000e+00 | 1.935900e+04 | Inf
1643.83/1643.89 c 1644s| 2380k| 2379k| 2255k| 0.9 |2217M| 391 | 0 |1504 |1011 |1504 | 543 | 30k| 127 | 16k| 0.000000e+00 | 1.935900e+04 | Inf
1650.53/1650.56 c 1651s| 2390k| 2389k| 2261k| 0.9 |2226M| 391 | 6 |1504 |1011 |1504 | 539 | 31k| 127 | 16k| 0.000000e+00 | 1.935900e+04 | Inf
1657.23/1657.23 c 1657s| 2400k| 2399k| 2266k| 0.9 |2235M| 391 | 0 |1504 |1011 |1504 | 539 | 31k| 127 | 16k| 0.000000e+00 | 1.935900e+04 | Inf
1663.93/1663.92 c 1664s| 2410k| 2409k| 2272k| 0.9 |2245M| 391 | 0 |1504 |1011 |1504 | 540 | 31k| 127 | 16k| 0.000000e+00 | 1.935900e+04 | Inf
1670.64/1670.63 c 1671s| 2420k| 2419k| 2278k| 0.9 |2254M| 391 | 0 |1504 |1012 |1504 | 543 | 31k| 128 | 16k| 0.000000e+00 | 1.935900e+04 | Inf
1677.23/1677.28 c 1677s| 2430k| 2429k| 2283k| 0.9 |2264M| 391 | 0 |1504 |1012 |1504 | 543 | 31k| 128 | 16k| 0.000000e+00 | 1.935900e+04 | Inf
1683.93/1683.91 c 1684s| 2440k| 2439k| 2289k| 0.9 |2273M| 399 | 2 |1504 |1012 |1504 | 544 | 31k| 128 | 16k| 0.000000e+00 | 1.935900e+04 | Inf
1690.53/1690.53 c 1691s| 2450k| 2449k| 2294k| 0.9 |2282M| 405 | 1 |1504 |1017 |1504 | 541 | 32k| 133 | 16k| 0.000000e+00 | 1.935900e+04 | Inf
1697.13/1697.10 c 1697s| 2460k| 2459k| 2299k| 0.9 |2292M| 405 | 0 |1504 |1017 |1504 | 540 | 32k| 133 | 16k| 0.000000e+00 | 1.935900e+04 | Inf
1703.73/1703.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1703.73/1703.70 c 1704s| 2470k| 2469k| 2304k| 0.9 |2301M| 405 | 0 |1504 |1017 |1504 | 543 | 32k| 133 | 16k| 0.000000e+00 | 1.935900e+04 | Inf
1710.23/1710.28 c 1710s| 2480k| 2479k| 2309k| 0.9 |2310M| 405 | 0 |1504 |1017 |1504 | 543 | 32k| 134 | 16k| 0.000000e+00 | 1.935900e+04 | Inf
1716.83/1716.85 c 1717s| 2490k| 2489k| 2314k| 0.9 |2320M| 405 | 0 |1504 |1017 |1504 | 543 | 32k| 134 | 16k| 0.000000e+00 | 1.935900e+04 | Inf
1723.43/1723.47 c 1723s| 2500k| 2499k| 2320k| 0.9 |2329M| 405 | 0 |1504 |1016 |1504 | 540 | 32k| 134 | 16k| 0.000000e+00 | 1.935900e+04 | Inf
1730.04/1730.02 c 1730s| 2510k| 2509k| 2325k| 0.9 |2339M| 405 | 0 |1504 |1016 |1504 | 543 | 32k| 135 | 16k| 0.000000e+00 | 1.935900e+04 | Inf
1736.53/1736.58 c 1737s| 2520k| 2519k| 2330k| 0.9 |2348M| 405 | 0 |1504 |1016 |1504 | 540 | 32k| 135 | 16k| 0.000000e+00 | 1.935900e+04 | Inf
1743.14/1743.13 c 1743s| 2530k| 2529k| 2335k| 0.9 |2357M| 405 | 0 |1504 |1016 |1504 | 541 | 33k| 135 | 16k| 0.000000e+00 | 1.935900e+04 | Inf
1749.63/1749.68 c 1750s| 2540k| 2539k| 2340k| 0.9 |2367M| 405 | 0 |1504 |1016 |1504 | 540 | 33k| 135 | 16k| 0.000000e+00 | 1.935900e+04 | Inf
1756.23/1756.28 c 1756s| 2550k| 2549k| 2345k| 0.9 |2376M| 405 | 0 |1504 |1014 |1504 | 544 | 33k| 135 | 16k| 0.000000e+00 | 1.935900e+04 | Inf
1762.84/1762.88 c 1763s| 2560k| 2559k| 2350k| 0.9 |2385M| 405 | 0 |1504 |1014 |1504 | 542 | 33k| 135 | 16k| 0.000000e+00 | 1.935900e+04 | Inf
1769.53/1769.53 c 1770s| 2570k| 2569k| 2355k| 0.9 |2395M| 405 | 0 |1504 |1014 |1504 | 539 | 33k| 135 | 16k| 0.000000e+00 | 1.935900e+04 | Inf
1776.13/1776.18 c 1776s| 2580k| 2579k| 2360k| 0.9 |2404M| 405 | 0 |1504 |1012 |1504 | 540 | 33k| 135 | 16k| 0.000000e+00 | 1.935900e+04 | Inf
1782.73/1782.78 c 1783s| 2590k| 2589k| 2366k| 0.9 |2414M| 405 | 0 |1504 |1012 |1504 | 543 | 33k| 135 | 16k| 0.000000e+00 | 1.935900e+04 | Inf
1789.33/1789.39 c 1789s| 2600k| 2599k| 2371k| 0.9 |2423M| 405 | 0 |1504 |1012 |1504 | 542 | 34k| 135 | 16k| 0.000000e+00 | 1.935900e+04 | Inf
1790.03/1790.00 c
1790.03/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1790.03/1790.00 c Solving Time (sec) : 1789.99
1790.03/1790.00 c Solving Nodes : 2600918
1790.03/1790.00 c Primal Bound : +1.93590000000000e+04 (100 solutions)
1790.03/1790.00 c Dual Bound : +0.00000000000000e+00
1790.03/1790.00 c Gap : infinite
1790.03/1790.00 s SATISFIABLE
1790.03/1790.00 v -x719 -x718 -x717 -x716 -x715 -x714 -x713 x712 x711 -x710 -x709 -x708 -x707 -x706 x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698
1790.03/1790.00 v -x697 -x696 -x695 x694 x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 x683 -x682 -x681 -x680 -x679 -x678 -x677
1790.03/1790.00 v -x676 -x675 x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656
1790.03/1790.00 v -x655 -x654 -x653 x652 -x651 -x650 x649 x648 x647 x646 -x645 -x644 -x643 x642 x641 x640 x639 -x638 -x637 -x636 -x635 -x634 -x633
1790.03/1790.00 v -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612
1790.03/1790.00 v -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592
1790.03/1790.00 v -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 x579 -x578 x577 x576 x575 -x574 -x573 -x572 -x571 -x570
1790.03/1790.00 v -x569 -x568 -x567 x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 x557 -x556 -x555 -x554 x553 x552 x551 x550 x549 -x548
1790.03/1790.00 v -x547 x546 x545 x544 x543 x542 x541 x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526
1790.03/1790.00 v -x525 x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 x513 -x512 -x511 x510 x509 -x508 -x507 -x506 -x505
1790.03/1790.00 v -x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 x492 x491 -x490 -x489 -x488 -x487 -x486 -x485 x484 x483
1790.03/1790.00 v x482 x481 x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462
1790.03/1790.00 v -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 x452 x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 x443 -x442 -x441 -x440
1790.03/1790.00 v -x439 -x438 -x437 x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 x428 x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419
1790.03/1790.00 v -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 x401 -x400 -x399 -x398
1790.03/1790.00 v -x397 x396 x395 x394 x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376
1790.03/1790.00 v -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 x357 -x356 -x355
1790.03/1790.00 v x354 x353 -x352 x351 -x350 x349 -x348 -x347 -x346 x345 x344 x343 -x342 -x341 -x340 x339 x338 -x337 -x336 -x335 -x334 -x333
1790.03/1790.00 v -x332 -x331 x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 x321 x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 x312 x311
1790.03/1790.00 v -x310 x309 -x308 -x307 x306 -x305 -x304 x303 x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 x294 x293 -x292 -x291 -x290 x289
1790.03/1790.00 v -x288 -x287 -x286 x285 -x284 -x283 x282 -x281 x280 -x279 -x278 -x277 x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268
1790.03/1790.00 v x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 x258 x257 -x256 -x255 -x254 -x253 x252 -x251 -x250 x249 x248 -x247 x246
1790.03/1790.00 v x245 x244 x243 x242 x241 -x240 x239 x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224
1790.03/1790.00 v -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203
1790.03/1790.00 v -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182
1790.03/1790.00 v -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161
1790.03/1790.00 v -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 -x146 -x145 -x144 -x143 -x142 x141 -x140
1790.03/1790.00 v -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 x120 -x119
1790.03/1790.00 v -x118 -x117 -x116 x115 -x114 x113 -x112 -x111 -x110 x109 -x108 -x107 x106 x105 -x104 x103 -x102 x101 -x100 -x99 -x98 -x97 -x96
1790.03/1790.00 v x95 x94 -x93 -x92 -x91 x90 -x89 x88 x87 -x86 -x85 -x84 x83 -x82 -x81 x80 -x79 -x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 -x69
1790.03/1790.00 v -x68 -x67 -x66 x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44
1790.03/1790.00 v -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 -x29 x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 x19 -x18
1790.03/1790.00 v -x17 -x16 -x15 x14 -x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 -x2 -x1
1790.03/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1790.03/1790.00 c Solving Time : 1789.99
1790.03/1790.00 c Original Problem :
1790.03/1790.00 c Problem name : HOME/instance-2705161-1278574759.wbo
1790.03/1790.00 c Variables : 1505 (1112 binary, 0 integer, 393 implicit integer, 0 continuous)
1790.03/1790.00 c Constraints : 987 initial, 987 maximal
1790.03/1790.00 c Presolved Problem :
1790.03/1790.00 c Problem name : t_HOME/instance-2705161-1278574759.wbo
1790.03/1790.00 c Variables : 1504 (1111 binary, 0 integer, 393 implicit integer, 0 continuous)
1790.03/1790.00 c Constraints : 984 initial, 1047 maximal
1790.03/1790.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.03/1790.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.00 c implics : 0.00 0 1 0 0 0 0 0 0
1790.03/1790.00 c probing : 0.01 0 0 0 0 0 0 0 0
1790.03/1790.00 c varbound : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.00 c knapsack : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.00 c linear : 0.01 0 0 0 393 0 3 115 230
1790.03/1790.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.00 c root node : - 0 - - 0 - - - -
1790.03/1790.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.03/1790.00 c integral : 0 0 0 2616319 0 0 151 0 0 1016196
1790.03/1790.00 c varbound : 1 6 800965 254645 0 0 13457 1 0 0
1790.03/1790.00 c knapsack : 68 6 4582871 2108070 0 51 133471 235 0 0
1790.03/1790.00 c setppc : 80 6 4582820 2108070 0 0 369979 0 0 0
1790.03/1790.00 c linear : 392 6 4582820 2108070 0 21 864269 33672 0 0
1790.03/1790.00 c indicator : 393 0 4582799 2108070 0 0 495884 0 0 0
1790.03/1790.00 c logicor : 50+ 6 265502 2092757 0 0 58654 0 0 0
1790.03/1790.00 c bounddisjunction : 0+ 0 78916 0 0 1 48206 0 0 0
1790.03/1790.00 c countsols : 0 0 0 2092757 0 0 0 0 0 0
1790.03/1790.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.03/1790.00 c integral : 22.54 0.00 0.00 22.54 0.00
1790.03/1790.00 c varbound : 0.25 0.00 0.20 0.05 0.00
1790.03/1790.00 c knapsack : 7.61 0.00 5.54 2.07 0.00
1790.03/1790.00 c setppc : 4.09 0.00 2.93 1.16 0.00
1790.03/1790.00 c linear : 62.41 0.00 12.36 50.05 0.00
1790.03/1790.00 c indicator : 93.37 0.05 41.08 52.24 0.00
1790.03/1790.00 c logicor : 1.93 0.00 0.25 1.68 0.00
1790.03/1790.00 c bounddisjunction : 0.18 0.00 0.18 0.00 0.00
1790.03/1790.00 c countsols : 0.28 0.00 0.00 0.28 0.00
1790.03/1790.00 c Propagators : Time Calls Cutoffs DomReds
1790.03/1790.00 c vbounds : 13.17 759328 0 605548
1790.03/1790.00 c rootredcost : 0.75 1 0 0
1790.03/1790.00 c pseudoobj : 35.19 4582671 0 0
1790.03/1790.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.03/1790.00 c propagation : 0.00 73 73 151 13.7 0 0.0 -
1790.03/1790.00 c infeasible LP : 0.00 49 48 48 4.1 0 0.0 0
1790.03/1790.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.03/1790.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.03/1790.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.03/1790.00 c applied globally : - - - 135 9.6 - - -
1790.03/1790.00 c applied locally : - - - 0 0.0 - - -
1790.03/1790.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.03/1790.00 c cut pool : 0.00 5 - - 338 - (maximal pool size: 1299)
1790.03/1790.00 c redcost : 84.39 2616324 0 0 0 0
1790.03/1790.00 c impliedbounds : 0.00 6 0 0 0 0
1790.03/1790.00 c intobj : 0.00 0 0 0 0 0
1790.03/1790.00 c cgmip : 0.00 0 0 0 0 0
1790.03/1790.00 c gomory : 0.03 6 0 0 158 0
1790.03/1790.00 c strongcg : 0.02 6 0 0 130 0
1790.03/1790.00 c cmir : 0.08 6 0 0 555 0
1790.03/1790.00 c flowcover : 0.13 6 0 0 844 0
1790.03/1790.00 c clique : 0.00 1 0 0 0 0
1790.03/1790.00 c zerohalf : 0.00 0 0 0 0 0
1790.03/1790.00 c mcf : 0.00 1 0 0 0 0
1790.03/1790.00 c rapidlearning : 0.03 1 0 0 0 0
1790.03/1790.00 c Pricers : Time Calls Vars
1790.03/1790.00 c problem variables: 0.00 0 0
1790.03/1790.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.03/1790.00 c relpscost : 21.67 508249 0 151 0 0 1016196
1790.03/1790.00 c pscost : 0.00 0 0 0 0 0 0
1790.03/1790.00 c inference : 171.66 2092757 0 0 0 0 4185527
1790.03/1790.00 c mostinf : 0.00 0 0 0 0 0 0
1790.03/1790.00 c leastinf : 0.00 0 0 0 0 0 0
1790.03/1790.00 c fullstrong : 0.00 0 0 0 0 0 0
1790.03/1790.00 c allfullstrong : 0.00 0 0 0 0 0 0
1790.03/1790.00 c random : 0.00 0 0 0 0 0 0
1790.03/1790.00 c Primal Heuristics : Time Calls Found
1790.03/1790.00 c LP solutions : 0.00 - 0
1790.03/1790.00 c pseudo solutions : 0.00 - 0
1790.03/1790.00 c intshifting : 0.00 0 0
1790.03/1790.00 c oneopt : 0.54 1 0
1790.03/1790.00 c feaspump : 0.02 3 0
1790.03/1790.00 c crossover : 0.72 13 0
1790.03/1790.00 c guideddiving : 7.38 12905 0
1790.03/1790.00 c coefdiving : 7.36 12906 0
1790.03/1790.00 c veclendiving : 7.22 12906 0
1790.03/1790.00 c linesearchdiving : 6.72 12911 0
1790.03/1790.00 c pscostdiving : 7.28 12927 0
1790.03/1790.00 c fracdiving : 7.51 12945 0
1790.03/1790.00 c objpscostdiving : 5.12 9934 0
1790.03/1790.00 c rootsoldiving : 5.34 11462 0
1790.03/1790.00 c trivial : 0.00 2 0
1790.03/1790.00 c simplerounding : 1.09 500331 0
1790.03/1790.00 c zirounding : 0.50 1000 0
1790.03/1790.00 c rounding : 0.89 9978 0
1790.03/1790.00 c shifting : 1.16 3169 0
1790.03/1790.00 c twoopt : 0.00 0 0
1790.03/1790.00 c fixandinfer : 0.00 0 0
1790.03/1790.00 c intdiving : 0.00 0 0
1790.03/1790.00 c actconsdiving : 0.00 0 0
1790.03/1790.00 c octane : 0.00 0 0
1790.03/1790.00 c rens : 0.02 1 0
1790.03/1790.00 c rins : 0.00 0 0
1790.03/1790.00 c localbranching : 0.00 0 0
1790.03/1790.00 c mutation : 0.00 0 0
1790.03/1790.00 c dins : 0.00 0 0
1790.03/1790.00 c undercover : 0.00 0 0
1790.03/1790.00 c nlp : 0.36 0 0
1790.03/1790.00 c trysol : 0.65 15281 100
1790.03/1790.00 c LP : Time Calls Iterations Iter/call Iter/sec
1790.03/1790.00 c primal LP : 0.00 0 0 0.00 -
1790.03/1790.00 c dual LP : 862.41 608020 2301387 3.79 2668.54
1790.03/1790.00 c lex dual LP : 0.00 0 0 0.00 -
1790.03/1790.00 c barrier LP : 0.00 0 0 0.00 -
1790.03/1790.00 c diving/probing LP: 10.16 17382 70378 4.05 6923.96
1790.03/1790.00 c strong branching : 17.59 16261 137860 8.48 7836.66
1790.03/1790.00 c (at root node) : - 17 1256 73.88 -
1790.03/1790.00 c conflict analysis: 0.00 0 0 0.00 -
1790.03/1790.00 c B&B Tree :
1790.03/1790.00 c number of runs : 1
1790.03/1790.00 c nodes : 2600918
1790.03/1790.00 c nodes (total) : 2600918
1790.03/1790.00 c nodes left : 2600806
1790.03/1790.00 c max depth : 405
1790.03/1790.00 c max depth (total): 405
1790.03/1790.00 c backtracks : 13726 (0.5%)
1790.03/1790.00 c delayed cutoffs : 0
1790.03/1790.00 c repropagations : 2377 (110 domain reductions, 0 cutoffs)
1790.03/1790.00 c avg switch length: 2.18
1790.03/1790.00 c switching time : 57.10
1790.03/1790.00 c Solution :
1790.03/1790.00 c Solutions found : 100 (1 improvements)
1790.03/1790.00 c First Solution : +1.93590000000000e+04 (in run 1, after 204 nodes, 7.13 seconds, depth 231, found by <trysol>)
1790.03/1790.00 c Primal Bound : +1.93590000000000e+04 (in run 1, after 204 nodes, 7.13 seconds, depth 231, found by <trysol>)
1790.03/1790.00 c Dual Bound : +0.00000000000000e+00
1790.03/1790.00 c Gap : infinite
1790.03/1790.00 c Root Dual Bound : +0.00000000000000e+00
1790.03/1790.00 c Root Iterations : 977
1794.23/1794.21 c Time complete: 1794.25.