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-2692909-1277910031.wbo>
0.00/0.03 c original problem has 3797 variables (2014 bin, 0 int, 0 impl, 1783 cont) and 4491 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, 1931 impls, 11 clqs
0.05/0.09 c (round 2) 0 del vars, 72 del conss, 1783 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs
0.05/0.09 c (round 3) 55 del vars, 169 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs
0.09/0.11 c (round 4) 134 del vars, 193 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 890 upgd conss, 1931 impls, 11 clqs
0.09/0.12 c (round 5) 158 del vars, 193 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 890 upgd conss, 1931 impls, 11 clqs
0.09/0.17 c (0.1s) probing: 101/1935 (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 158 deleted vars, 193 deleted constraints, 1807 tightened bounds, 0 added holes, 97 changed sides, 0 changed coefficients
0.09/0.17 c 1931 implications, 11 cliques
0.09/0.17 c presolved problem has 3639 variables (1935 bin, 0 int, 0 impl, 1704 cont) and 4298 constraints
0.09/0.17 c 1704 constraints of type <indicator>
0.09/0.17 c 11 constraints of type <setppc>
0.09/0.17 c 1704 constraints of type <linear>
0.09/0.17 c 879 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.12
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 | 11 | - | 13M| 0 | 7 |3639 |4298 |3639 | 890 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 o 86790
0.09/0.19 c y 0.1s| 1 | 0 | 13 | - | 13M| 0 | 7 |3639 |4298 |3639 | 890 | 0 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 55 | - | 13M| 0 | 32 |3639 |4298 |3639 | 909 | 19 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
0.19/0.25 c 0.2s| 1 | 0 | 131 | - | 13M| 0 | 42 |3639 |4298 |3639 | 941 | 51 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
0.29/0.32 c 0.3s| 1 | 0 | 171 | - | 14M| 0 | 49 |3639 |4298 |3639 | 957 | 67 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
0.29/0.38 c 0.3s| 1 | 0 | 198 | - | 14M| 0 | 52 |3639 |4298 |3639 | 964 | 74 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
0.39/0.45 c 0.4s| 1 | 0 | 209 | - | 14M| 0 | 56 |3639 |4298 |3639 | 967 | 77 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
0.49/0.53 c 0.5s| 1 | 0 | 230 | - | 14M| 0 | 55 |3639 |4298 |3639 | 972 | 82 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
0.89/0.92 c 0.9s| 1 | 2 | 230 | - | 14M| 0 | 55 |3639 |4298 |3639 | 972 | 82 | 0 | 33 | 0.000000e+00 | 8.679000e+04 | Inf
21.59/21.65 c 21.3s| 10000 | 9947 | 22736 | 2.3 | 37M| 101 | 0 |3639 |4346 |3639 | 989 |2210 | 68 |1341 | 0.000000e+00 | 8.679000e+04 | Inf
36.69/36.70 c 36.2s| 20000 | 19935 | 35630 | 1.8 | 54M| 107 | 0 |3639 |4335 |3639 | 997 |3799 | 82 |1428 | 0.000000e+00 | 8.679000e+04 | Inf
51.39/51.45 c 50.8s| 30000 | 29913 | 46418 | 1.5 | 71M| 109 | 0 |3639 |4343 |3639 | 999 |5481 | 107 |1502 | 0.000000e+00 | 8.679000e+04 | Inf
65.60/65.67 c 64.9s| 40000 | 39899 | 54805 | 1.4 | 88M| 131 | 0 |3639 |4358 |3639 |1016 |6761 | 137 |1551 | 0.000000e+00 | 8.679000e+04 | Inf
79.70/79.78 c 78.9s| 50000 | 49895 | 63822 | 1.3 | 105M| 135 | 11 |3639 |4350 |3639 |1003 |7981 | 143 |1570 | 0.000000e+00 | 8.679000e+04 | Inf
93.80/93.85 c 92.8s| 60000 | 59891 | 71013 | 1.2 | 122M| 135 | 0 |3639 |4343 |3639 |1017 |9176 | 149 |1587 | 0.000000e+00 | 8.679000e+04 | Inf
107.60/107.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
107.60/107.62 c 106s| 70000 | 69885 | 76826 | 1.1 | 139M| 137 | 0 |3639 |4338 |3639 |1005 | 10k| 153 |1597 | 0.000000e+00 | 8.679000e+04 | Inf
121.29/121.31 c 120s| 80000 | 79885 | 82199 | 1.0 | 155M| 137 | 0 |3639 |4335 |3639 |1032 | 11k| 153 |1607 | 0.000000e+00 | 8.679000e+04 | Inf
135.49/135.60 c 134s| 90000 | 89883 | 92360 | 1.0 | 172M| 137 | 0 |3639 |4327 |3639 |1014 | 13k| 154 |1620 | 0.000000e+00 | 8.679000e+04 | Inf
150.09/150.14 c 149s|100000 | 99879 |104270 | 1.0 | 189M| 137 | 0 |3639 |4321 |3639 |1008 | 14k| 156 |1668 | 0.000000e+00 | 8.679000e+04 | Inf
164.19/164.20 c 162s|110000 |109873 |112107 | 1.0 | 205M| 137 | 0 |3639 |4324 |3639 |1005 | 16k| 160 |1668 | 0.000000e+00 | 8.679000e+04 | Inf
178.49/178.50 c 177s|120000 |119869 |121751 | 1.0 | 222M| 137 | 0 |3639 |4327 |3639 |1003 | 18k| 171 |1687 | 0.000000e+00 | 8.679000e+04 | Inf
192.51/192.58 c 191s|130000 |129869 |129888 | 1.0 | 238M| 137 | 0 |3639 |4324 |3639 |1016 | 19k| 171 |1688 | 0.000000e+00 | 8.679000e+04 | Inf
206.50/206.54 c 204s|140000 |139869 |137351 | 1.0 | 255M| 137 | 0 |3639 |4322 |3639 |1007 | 21k| 171 |1697 | 0.000000e+00 | 8.679000e+04 | Inf
220.30/220.31 c 218s|150000 |149867 |143305 | 1.0 | 271M| 137 | 0 |3639 |4317 |3639 | 989 | 22k| 172 |1698 | 0.000000e+00 | 8.679000e+04 | Inf
234.20/234.28 c 232s|160000 |159867 |151063 | 0.9 | 288M| 137 | 0 |3639 |4316 |3639 |1007 | 23k| 172 |1710 | 0.000000e+00 | 8.679000e+04 | Inf
248.10/248.19 c 246s|170000 |169867 |157936 | 0.9 | 304M| 137 | 0 |3639 |4314 |3639 | 995 | 25k| 172 |1713 | 0.000000e+00 | 8.679000e+04 | Inf
262.10/262.12 c 259s|180000 |179865 |164652 | 0.9 | 321M| 137 | 0 |3639 |4313 |3639 |1002 | 26k| 173 |1714 | 0.000000e+00 | 8.679000e+04 | Inf
276.00/276.01 c 273s|190000 |189863 |171493 | 0.9 | 337M| 137 | 0 |3639 |4313 |3639 | 996 | 28k| 174 |1714 | 0.000000e+00 | 8.679000e+04 | Inf
289.90/289.98 c 287s|200000 |199861 |178478 | 0.9 | 354M| 137 | 0 |3639 |4313 |3639 |1018 | 29k| 175 |1742 | 0.000000e+00 | 8.679000e+04 | Inf
303.80/303.89 c 301s|210000 |209861 |185363 | 0.9 | 370M| 137 | 0 |3639 |4311 |3639 | 997 | 31k| 175 |1768 | 0.000000e+00 | 8.679000e+04 | Inf
318.60/318.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
318.60/318.68 c 315s|220000 |219859 |199081 | 0.9 | 387M| 137 | 5 |3639 |4312 |3639 | 976 | 32k| 176 |1836 | 0.000000e+00 | 8.679000e+04 | Inf
334.21/334.28 c 331s|230000 |229855 |220264 | 1.0 | 404M| 137 | 0 |3639 |4326 |3639 | 998 | 34k| 192 |1912 | 0.000000e+00 | 8.679000e+04 | Inf
349.01/349.02 c 345s|240000 |239853 |233308 | 1.0 | 421M| 137 | 0 |3639 |4321 |3639 | 988 | 36k| 194 |1942 | 0.000000e+00 | 8.679000e+04 | Inf
362.81/362.86 c 359s|250000 |249851 |240280 | 1.0 | 437M| 137 | 0 |3639 |4322 |3639 | 995 | 37k| 195 |1981 | 0.000000e+00 | 8.679000e+04 | Inf
376.61/376.67 c 373s|260000 |259851 |246105 | 0.9 | 453M| 137 | 0 |3639 |4322 |3639 |1016 | 38k| 195 |1992 | 0.000000e+00 | 8.679000e+04 | Inf
390.52/390.52 c 386s|270000 |269851 |252253 | 0.9 | 470M| 137 | 0 |3639 |4318 |3639 |1015 | 39k| 195 |2024 | 0.000000e+00 | 8.679000e+04 | Inf
404.82/404.85 c 401s|280000 |279851 |262448 | 0.9 | 486M| 137 | 0 |3639 |4317 |3639 |1000 | 41k| 195 |2060 | 0.000000e+00 | 8.679000e+04 | Inf
419.21/419.25 c 415s|290000 |289851 |272659 | 0.9 | 503M| 137 | 0 |3639 |4315 |3639 |1007 | 43k| 195 |2094 | 0.000000e+00 | 8.679000e+04 | Inf
432.91/432.98 c 428s|300000 |299851 |277932 | 0.9 | 519M| 137 | 0 |3639 |4315 |3639 | 994 | 44k| 195 |2141 | 0.000000e+00 | 8.679000e+04 | Inf
447.21/447.27 c 442s|310000 |309851 |286820 | 0.9 | 536M| 137 | 0 |3639 |4315 |3639 | 993 | 46k| 195 |2157 | 0.000000e+00 | 8.679000e+04 | Inf
463.61/463.62 c 459s|320000 |319851 |313129 | 1.0 | 553M| 137 | 0 |3639 |4309 |3639 | 982 | 47k| 195 |2270 | 0.000000e+00 | 8.679000e+04 | Inf
478.11/478.19 c 473s|330000 |329849 |324882 | 1.0 | 569M| 137 | 0 |3639 |4316 |3639 | 993 | 49k| 203 |2332 | 0.000000e+00 | 8.679000e+04 | Inf
492.11/492.10 c 487s|340000 |339849 |331167 | 1.0 | 586M| 137 | 0 |3639 |4314 |3639 |1028 | 50k| 203 |2368 | 0.000000e+00 | 8.679000e+04 | Inf
506.11/506.14 c 501s|350000 |349849 |339574 | 1.0 | 602M| 137 | 0 |3639 |4314 |3639 | 992 | 51k| 203 |2387 | 0.000000e+00 | 8.679000e+04 | Inf
520.12/520.10 c 515s|360000 |359849 |346388 | 1.0 | 619M| 139 | 0 |3639 |4308 |3639 |1007 | 52k| 203 |2445 | 0.000000e+00 | 8.679000e+04 | Inf
534.61/534.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
534.61/534.65 c 529s|370000 |369849 |359604 | 1.0 | 636M| 139 | 0 |3639 |4307 |3639 | 991 | 55k| 203 |2484 | 0.000000e+00 | 8.679000e+04 | Inf
548.82/548.87 c 543s|380000 |379849 |369695 | 1.0 | 652M| 139 | 0 |3639 |4306 |3639 | 997 | 56k| 203 |2537 | 0.000000e+00 | 8.679000e+04 | Inf
563.02/563.00 c 557s|390000 |389849 |379368 | 1.0 | 669M| 139 | 7 |3639 |4305 |3639 | 976 | 58k| 203 |2566 | 0.000000e+00 | 8.679000e+04 | Inf
576.71/576.76 c 571s|400000 |399847 |386178 | 1.0 | 685M| 139 | 0 |3639 |4306 |3639 | 984 | 60k| 204 |2576 | 0.000000e+00 | 8.679000e+04 | Inf
591.12/591.13 c 585s|410000 |409845 |395462 | 1.0 | 701M| 139 | 0 |3639 |4306 |3639 | 987 | 61k| 205 |2635 | 0.000000e+00 | 8.679000e+04 | Inf
605.02/605.09 c 599s|420000 |419845 |402982 | 1.0 | 718M| 139 | 0 |3639 |4306 |3639 |1001 | 62k| 205 |2663 | 0.000000e+00 | 8.679000e+04 | Inf
619.62/619.64 c 613s|430000 |429845 |414832 | 1.0 | 735M| 139 | 0 |3639 |4306 |3639 | 981 | 64k| 205 |2688 | 0.000000e+00 | 8.679000e+04 | Inf
633.62/633.67 c 627s|440000 |439845 |422376 | 1.0 | 751M| 139 | 0 |3639 |4306 |3639 | 990 | 66k| 205 |2745 | 0.000000e+00 | 8.679000e+04 | Inf
647.82/647.88 c 641s|450000 |449843 |432146 | 1.0 | 768M| 139 | 0 |3639 |4308 |3639 | 995 | 67k| 207 |2756 | 0.000000e+00 | 8.679000e+04 | Inf
661.82/661.86 c 655s|460000 |459843 |439561 | 1.0 | 784M| 139 | 0 |3639 |4308 |3639 |1000 | 68k| 207 |2789 | 0.000000e+00 | 8.679000e+04 | Inf
676.02/676.05 c 669s|470000 |469841 |448663 | 1.0 | 801M| 139 | 0 |3639 |4309 |3639 | 997 | 70k| 208 |2842 | 0.000000e+00 | 8.679000e+04 | Inf
690.32/690.30 c 683s|480000 |479841 |458255 | 1.0 | 817M| 139 | 0 |3639 |4309 |3639 |1013 | 71k| 208 |2873 | 0.000000e+00 | 8.679000e+04 | Inf
704.12/704.19 c 697s|490000 |489839 |465257 | 0.9 | 834M| 139 | 0 |3639 |4310 |3639 | 988 | 73k| 209 |2878 | 0.000000e+00 | 8.679000e+04 | Inf
718.33/718.34 c 711s|500000 |499839 |473146 | 0.9 | 850M| 139 | 0 |3639 |4309 |3639 | 988 | 74k| 209 |2947 | 0.000000e+00 | 8.679000e+04 | Inf
732.92/732.99 c 725s|510000 |509837 |485514 | 1.0 | 867M| 139 | 0 |3639 |4311 |3639 | 991 | 76k| 212 |2971 | 0.000000e+00 | 8.679000e+04 | Inf
746.83/746.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
746.83/746.87 c 739s|520000 |519837 |492117 | 0.9 | 883M| 139 | 0 |3639 |4309 |3639 |1009 | 77k| 212 |2976 | 0.000000e+00 | 8.679000e+04 | Inf
761.02/761.03 c 753s|530000 |529837 |500529 | 0.9 | 900M| 139 | 0 |3639 |4308 |3639 | 991 | 78k| 212 |3028 | 0.000000e+00 | 8.679000e+04 | Inf
775.02/775.08 c 767s|540000 |539837 |509862 | 0.9 | 917M| 145 | 0 |3639 |4308 |3639 | 998 | 80k| 212 |3045 | 0.000000e+00 | 8.679000e+04 | Inf
789.22/789.29 c 781s|550000 |549835 |519689 | 0.9 | 933M| 145 | 0 |3639 |4310 |3639 | 978 | 81k| 214 |3060 | 0.000000e+00 | 8.679000e+04 | Inf
803.42/803.46 c 795s|560000 |559835 |529079 | 0.9 | 949M| 145 | 0 |3639 |4308 |3639 |1012 | 83k| 214 |3117 | 0.000000e+00 | 8.679000e+04 | Inf
817.42/817.46 c 809s|570000 |569835 |537275 | 0.9 | 966M| 151 | 0 |3639 |4308 |3639 | 980 | 84k| 214 |3144 | 0.000000e+00 | 8.679000e+04 | Inf
831.22/831.24 c 823s|580000 |579835 |543882 | 0.9 | 982M| 151 | 0 |3639 |4308 |3639 | 998 | 86k| 214 |3160 | 0.000000e+00 | 8.679000e+04 | Inf
845.12/845.18 c 836s|590000 |589835 |551693 | 0.9 | 999M| 151 | 0 |3639 |4308 |3639 |1007 | 87k| 214 |3191 | 0.000000e+00 | 8.679000e+04 | Inf
858.93/858.96 c 850s|600000 |599835 |557869 | 0.9 |1015M| 151 | 0 |3639 |4308 |3639 |1010 | 89k| 214 |3227 | 0.000000e+00 | 8.679000e+04 | Inf
873.03/873.04 c 864s|610000 |609835 |566547 | 0.9 |1032M| 151 | 0 |3639 |4308 |3639 | 995 | 90k| 214 |3237 | 0.000000e+00 | 8.679000e+04 | Inf
886.83/886.84 c 878s|620000 |619835 |573176 | 0.9 |1048M| 151 | 0 |3639 |4308 |3639 | 995 | 92k| 214 |3245 | 0.000000e+00 | 8.679000e+04 | Inf
901.13/901.14 c 892s|630000 |629831 |583369 | 0.9 |1065M| 151 | 0 |3639 |4311 |3639 | 990 | 93k| 217 |3295 | 0.000000e+00 | 8.679000e+04 | Inf
915.43/915.42 c 906s|640000 |639829 |593648 | 0.9 |1081M| 151 | 9 |3639 |4311 |3639 |1001 | 95k| 218 |3332 | 0.000000e+00 | 8.679000e+04 | Inf
930.33/930.36 c 921s|650000 |649829 |608927 | 0.9 |1098M| 151 | 0 |3639 |4311 |3639 | 994 | 96k| 218 |3351 | 0.000000e+00 | 8.679000e+04 | Inf
945.13/945.10 c 935s|660000 |659829 |622099 | 0.9 |1115M| 151 | 7 |3639 |4311 |3639 | 993 | 98k| 218 |3408 | 0.000000e+00 | 8.679000e+04 | Inf
958.83/958.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
958.83/958.89 c 949s|670000 |669827 |629423 | 0.9 |1131M| 151 | 0 |3639 |4312 |3639 | 996 | 99k| 221 |3414 | 0.000000e+00 | 8.679000e+04 | Inf
972.93/972.93 c 963s|680000 |679827 |637795 | 0.9 |1148M| 151 | 0 |3639 |4310 |3639 |1015 | 100k| 221 |3426 | 0.000000e+00 | 8.679000e+04 | Inf
986.83/986.86 c 977s|690000 |689827 |644874 | 0.9 |1164M| 151 | 0 |3639 |4309 |3639 | 996 | 102k| 221 |3474 | 0.000000e+00 | 8.679000e+04 | Inf
1000.53/1000.58 c 990s|700000 |699827 |650082 | 0.9 |1180M| 151 | 0 |3639 |4309 |3639 | 997 | 103k| 221 |3482 | 0.000000e+00 | 8.679000e+04 | Inf
1014.03/1014.07 c 1004s|710000 |709827 |655352 | 0.9 |1197M| 151 | 0 |3639 |4309 |3639 | 998 | 104k| 221 |3491 | 0.000000e+00 | 8.679000e+04 | Inf
1027.54/1027.52 c 1017s|720000 |719827 |660066 | 0.9 |1213M| 151 | 0 |3639 |4308 |3639 |1005 | 105k| 221 |3491 | 0.000000e+00 | 8.679000e+04 | Inf
1041.33/1041.36 c 1031s|730000 |729827 |667397 | 0.9 |1230M| 151 | 0 |3639 |4308 |3639 | 996 | 106k| 221 |3521 | 0.000000e+00 | 8.679000e+04 | Inf
1055.24/1055.28 c 1044s|740000 |739827 |674070 | 0.9 |1246M| 151 | 0 |3639 |4308 |3639 | 988 | 107k| 221 |3575 | 0.000000e+00 | 8.679000e+04 | Inf
1068.83/1068.86 c 1058s|750000 |749811 |679120 | 0.9 |1262M| 151 | 0 |3639 |4316 |3639 | 990 | 108k| 229 |3590 | 0.000000e+00 | 8.679000e+04 | Inf
1082.53/1082.56 c 1071s|760000 |759809 |685186 | 0.9 |1279M| 151 | 0 |3639 |4318 |3639 | 993 | 110k| 231 |3593 | 0.000000e+00 | 8.679000e+04 | Inf
1096.14/1096.18 c 1085s|770000 |769809 |690366 | 0.9 |1295M| 151 | 0 |3639 |4311 |3639 |1005 | 111k| 231 |3594 | 0.000000e+00 | 8.679000e+04 | Inf
1109.94/1109.95 c 1098s|780000 |779809 |696908 | 0.9 |1312M| 151 | 0 |3639 |4311 |3639 | 993 | 112k| 231 |3606 | 0.000000e+00 | 8.679000e+04 | Inf
1123.94/1123.97 c 1112s|790000 |789809 |703714 | 0.9 |1328M| 151 | 0 |3639 |4310 |3639 | 992 | 113k| 231 |3639 | 0.000000e+00 | 8.679000e+04 | Inf
1137.84/1137.86 c 1126s|800000 |799809 |710119 | 0.9 |1345M| 151 | 0 |3639 |4310 |3639 | 985 | 113k| 231 |3649 | 0.000000e+00 | 8.679000e+04 | Inf
1151.75/1151.71 c 1140s|810000 |809809 |716670 | 0.9 |1361M| 151 | 0 |3639 |4309 |3639 |1004 | 114k| 231 |3661 | 0.000000e+00 | 8.679000e+04 | Inf
1165.94/1165.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1165.94/1165.96 c 1154s|820000 |819809 |725495 | 0.9 |1378M| 151 | 0 |3639 |4309 |3639 | 991 | 115k| 231 |3686 | 0.000000e+00 | 8.679000e+04 | Inf
1179.94/1179.94 c 1168s|830000 |829809 |732317 | 0.9 |1394M| 151 | 0 |3639 |4309 |3639 |1005 | 116k| 231 |3725 | 0.000000e+00 | 8.679000e+04 | Inf
1194.24/1194.24 c 1182s|840000 |839807 |743122 | 0.9 |1411M| 151 | 0 |3639 |4310 |3639 |1002 | 118k| 232 |3753 | 0.000000e+00 | 8.679000e+04 | Inf
1208.34/1208.38 c 1196s|850000 |849807 |752152 | 0.9 |1427M| 151 | 0 |3639 |4310 |3639 | 994 | 120k| 232 |3753 | 0.000000e+00 | 8.679000e+04 | Inf
1222.04/1222.00 c 1209s|860000 |859807 |757323 | 0.9 |1444M| 151 | 0 |3639 |4310 |3639 |1002 | 122k| 232 |3764 | 0.000000e+00 | 8.679000e+04 | Inf
1235.85/1235.89 c 1223s|870000 |869807 |763719 | 0.9 |1460M| 151 | 0 |3639 |4310 |3639 | 984 | 123k| 232 |3814 | 0.000000e+00 | 8.679000e+04 | Inf
1249.85/1249.86 c 1237s|880000 |879805 |771348 | 0.9 |1477M| 151 | 0 |3639 |4311 |3639 | 995 | 124k| 233 |3828 | 0.000000e+00 | 8.679000e+04 | Inf
1263.74/1263.70 c 1251s|890000 |889805 |778133 | 0.9 |1493M| 151 | 0 |3639 |4310 |3639 |1004 | 124k| 233 |3829 | 0.000000e+00 | 8.679000e+04 | Inf
1277.84/1277.82 c 1265s|900000 |899805 |786805 | 0.9 |1510M| 151 | 0 |3639 |4310 |3639 |1009 | 125k| 233 |3861 | 0.000000e+00 | 8.679000e+04 | Inf
1292.14/1292.19 c 1279s|910000 |909805 |797583 | 0.9 |1526M| 151 | 0 |3639 |4310 |3639 | 983 | 127k| 233 |3894 | 0.000000e+00 | 8.679000e+04 | Inf
1306.04/1306.02 c 1292s|920000 |919805 |804230 | 0.9 |1543M| 151 | 0 |3639 |4310 |3639 |1011 | 128k| 233 |3910 | 0.000000e+00 | 8.679000e+04 | Inf
1319.64/1319.60 c 1306s|930000 |929801 |809032 | 0.9 |1559M| 151 | 0 |3639 |4313 |3639 | 993 | 129k| 236 |3911 | 0.000000e+00 | 8.679000e+04 | Inf
1333.94/1333.98 c 1320s|940000 |939801 |820096 | 0.9 |1576M| 153 | 0 |3639 |4312 |3639 |1001 | 131k| 236 |3941 | 0.000000e+00 | 8.679000e+04 | Inf
1347.85/1347.82 c 1334s|950000 |949801 |827626 | 0.9 |1592M| 155 | 0 |3639 |4309 |3639 | 997 | 132k| 236 |3971 | 0.000000e+00 | 8.679000e+04 | Inf
1361.95/1361.94 c 1348s|960000 |959801 |835958 | 0.9 |1608M| 155 | 0 |3639 |4308 |3639 | 995 | 133k| 236 |4000 | 0.000000e+00 | 8.679000e+04 | Inf
1375.75/1375.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1375.75/1375.71 c 1361s|970000 |969801 |842372 | 0.9 |1625M| 155 | 0 |3639 |4307 |3639 |1009 | 135k| 236 |4001 | 0.000000e+00 | 8.679000e+04 | Inf
1389.84/1389.89 c 1376s|980000 |979799 |852445 | 0.9 |1641M| 155 | 0 |3639 |4308 |3639 |1006 | 136k| 237 |4044 | 0.000000e+00 | 8.679000e+04 | Inf
1404.15/1404.17 c 1390s|990000 |989799 |863668 | 0.9 |1658M| 155 | 0 |3639 |4308 |3639 | 989 | 138k| 237 |4079 | 0.000000e+00 | 8.679000e+04 | Inf
1417.86/1417.84 c 1403s| 1000k|999795 |869754 | 0.9 |1674M| 155 | 0 |3639 |4310 |3639 | 997 | 139k| 239 |4090 | 0.000000e+00 | 8.679000e+04 | Inf
1431.65/1431.62 c 1417s| 1010k| 1009k|876046 | 0.9 |1690M| 155 | 0 |3639 |4311 |3639 |1018 | 140k| 241 |4113 | 0.000000e+00 | 8.679000e+04 | Inf
1445.25/1445.27 c 1430s| 1020k| 1019k|881755 | 0.9 |1707M| 155 | 0 |3639 |4312 |3639 | 997 | 142k| 243 |4114 | 0.000000e+00 | 8.679000e+04 | Inf
1458.95/1458.99 c 1444s| 1030k| 1029k|887757 | 0.9 |1723M| 155 | 0 |3639 |4313 |3639 |1010 | 143k| 245 |4150 | 0.000000e+00 | 8.679000e+04 | Inf
1472.55/1472.51 c 1457s| 1040k| 1039k|892175 | 0.9 |1739M| 155 | 0 |3639 |4314 |3639 | 990 | 144k| 247 |4176 | 0.000000e+00 | 8.679000e+04 | Inf
1486.55/1486.51 c 1471s| 1050k| 1049k|901245 | 0.9 |1756M| 155 | 0 |3639 |4314 |3639 |1005 | 144k| 248 |4183 | 0.000000e+00 | 8.679000e+04 | Inf
1500.55/1500.52 c 1485s| 1060k| 1059k|909781 | 0.9 |1772M| 155 | 0 |3639 |4314 |3639 |1015 | 145k| 249 |4200 | 0.000000e+00 | 8.679000e+04 | Inf
1514.66/1514.65 c 1499s| 1070k| 1069k|919456 | 0.9 |1789M| 155 | 0 |3639 |4314 |3639 |1011 | 146k| 249 |4229 | 0.000000e+00 | 8.679000e+04 | Inf
1528.26/1528.29 c 1513s| 1080k| 1079k|924669 | 0.9 |1805M| 155 | 0 |3639 |4314 |3639 | 995 | 147k| 249 |4257 | 0.000000e+00 | 8.679000e+04 | Inf
1541.75/1541.78 c 1526s| 1090k| 1089k|930342 | 0.9 |1822M| 175 | 0 |3639 |4313 |3639 |1005 | 149k| 249 |4268 | 0.000000e+00 | 8.679000e+04 | Inf
1555.36/1555.38 c 1539s| 1100k| 1099k|937368 | 0.9 |1838M| 175 | 0 |3639 |4313 |3639 | 986 | 150k| 251 |4282 | 0.000000e+00 | 8.679000e+04 | Inf
1568.76/1568.70 c 1553s| 1110k| 1109k|942019 | 0.8 |1854M| 175 | 0 |3639 |4312 |3639 |1005 | 151k| 251 |4288 | 0.000000e+00 | 8.679000e+04 | Inf
1582.25/1582.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1582.25/1582.26 c 1566s| 1120k| 1119k|947708 | 0.8 |1871M| 175 | 0 |3639 |4312 |3639 |1004 | 152k| 251 |4295 | 0.000000e+00 | 8.679000e+04 | Inf
1596.06/1596.01 c 1580s| 1130k| 1129k|954600 | 0.8 |1887M| 175 | 0 |3639 |4312 |3639 |1006 | 153k| 251 |4330 | 0.000000e+00 | 8.679000e+04 | Inf
1609.55/1609.52 c 1593s| 1140k| 1139k|960061 | 0.8 |1903M| 175 | 0 |3639 |4311 |3639 | 995 | 154k| 253 |4353 | 0.000000e+00 | 8.679000e+04 | Inf
1622.85/1622.88 c 1606s| 1150k| 1149k|964966 | 0.8 |1920M| 175 | 0 |3639 |4311 |3639 | 993 | 155k| 253 |4358 | 0.000000e+00 | 8.679000e+04 | Inf
1637.06/1637.04 c 1620s| 1160k| 1159k|976349 | 0.8 |1936M| 175 | 0 |3639 |4310 |3639 |1003 | 156k| 253 |4364 | 0.000000e+00 | 8.679000e+04 | Inf
1651.06/1651.08 c 1634s| 1170k| 1169k|986594 | 0.8 |1953M| 175 | 0 |3639 |4311 |3639 |1000 | 157k| 254 |4403 | 0.000000e+00 | 8.679000e+04 | Inf
1664.85/1664.89 c 1648s| 1180k| 1179k|994271 | 0.8 |1969M| 175 | 0 |3639 |4311 |3639 |1005 | 157k| 254 |4421 | 0.000000e+00 | 8.679000e+04 | Inf
1678.36/1678.37 c 1661s| 1190k| 1189k|999957 | 0.8 |1986M| 175 | 0 |3639 |4311 |3639 |1004 | 159k| 254 |4441 | 0.000000e+00 | 8.679000e+04 | Inf
1691.76/1691.74 c 1674s| 1200k| 1199k| 1004k| 0.8 |2002M| 175 | 0 |3639 |4311 |3639 | 989 | 160k| 254 |4446 | 0.000000e+00 | 8.679000e+04 | Inf
1705.26/1705.23 c 1688s| 1210k| 1209k| 1009k| 0.8 |2018M| 175 | 0 |3639 |4314 |3639 |1016 | 161k| 257 |4457 | 0.000000e+00 | 8.679000e+04 | Inf
1718.66/1718.63 c 1701s| 1220k| 1219k| 1014k| 0.8 |2035M| 175 | 0 |3639 |4315 |3639 |1018 | 161k| 258 |4457 | 0.000000e+00 | 8.679000e+04 | Inf
1732.86/1732.89 c 1715s| 1230k| 1229k| 1026k| 0.8 |2051M| 175 | 0 |3639 |4313 |3639 | 990 | 163k| 261 |4506 | 0.000000e+00 | 8.679000e+04 | Inf
1746.66/1746.68 c 1729s| 1240k| 1239k| 1034k| 0.8 |2068M| 175 | 0 |3639 |4313 |3639 |1001 | 164k| 261 |4517 | 0.000000e+00 | 8.679000e+04 | Inf
1760.16/1760.13 c 1742s| 1250k| 1249k| 1038k| 0.8 |2084M| 175 | 0 |3639 |4317 |3639 |1021 | 165k| 265 |4523 | 0.000000e+00 | 8.679000e+04 | Inf
1773.87/1773.84 c 1755s| 1260k| 1259k| 1045k| 0.8 |2100M| 175 | 0 |3639 |4315 |3639 |1008 | 166k| 265 |4526 | 0.000000e+00 | 8.679000e+04 | Inf
1787.27/1787.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1787.27/1787.20 c 1769s| 1270k| 1269k| 1050k| 0.8 |2116M| 175 | 0 |3639 |4314 |3639 | 994 | 167k| 265 |4535 | 0.000000e+00 | 8.679000e+04 | Inf
1800.07/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.00 c
1800.07/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.00 c Solving Time (sec) : 1781.37
1800.07/1800.00 c Solving Nodes : 1279569
1800.07/1800.00 c Primal Bound : +8.67900000000000e+04 (100 solutions)
1800.07/1800.00 c Dual Bound : +0.00000000000000e+00
1800.07/1800.00 c Gap : infinite
1800.07/1800.04 s SATISFIABLE
1800.07/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.07/1800.04 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190
1800.07/1800.04 v -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169
1800.07/1800.04 v -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
1800.07/1800.04 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1800.07/1800.04 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1800.07/1800.04 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82
1800.07/1800.04 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57
1800.07/1800.04 v -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32
1800.07/1800.04 v -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6
1800.07/1800.04 v -x5 -x4 -x3 -x2 -x1
1800.07/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.04 c Solving Time : 1781.37
1800.07/1800.04 c Original Problem :
1800.07/1800.04 c Problem name : HOME/instance-2692909-1277910031.wbo
1800.07/1800.04 c Variables : 3797 (2014 binary, 0 integer, 0 implicit integer, 1783 continuous)
1800.07/1800.04 c Constraints : 4491 initial, 4491 maximal
1800.07/1800.04 c Presolved Problem :
1800.07/1800.04 c Problem name : t_HOME/instance-2692909-1277910031.wbo
1800.07/1800.04 c Variables : 3639 (1935 binary, 0 integer, 0 implicit integer, 1704 continuous)
1800.07/1800.04 c Constraints : 4298 initial, 4371 maximal
1800.07/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.04 c trivial : 0.00 79 0 0 0 0 0 0 0
1800.07/1800.04 c dualfix : 0.00 79 0 0 0 0 0 0 0
1800.07/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.04 c probing : 0.04 0 0 0 0 0 0 0 0
1800.07/1800.04 c indicator : 0.00 0 0 0 0 0 79 0 0
1800.07/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.04 c linear : 0.06 0 0 0 1807 0 114 97 0
1800.07/1800.04 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.04 c root node : - 0 - - 0 - - - -
1800.07/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.04 c integral : 0 0 0 1321519 0 0 14 0 0 75614
1800.07/1800.04 c indicator : 1704 0 1804600 1283700 0 0 903506 0 0 0
1800.07/1800.04 c setppc : 11 6 1060158 705282 0 59 220900 0 0 0
1800.07/1800.04 c linear : 1704 6 1762084 1244738 0 10 494424 168410 0 0
1800.07/1800.04 c logicor : 879+ 6 501794 1241639 0 53 427954 0 0 0
1800.07/1800.04 c countsols : 0 0 0 1241639 0 0 0 0 0 0
1800.07/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.04 c integral : 11.59 0.00 0.00 11.59 0.00
1800.07/1800.04 c indicator : 205.02 0.01 35.10 169.91 0.00
1800.07/1800.04 c setppc : 1.69 0.00 1.44 0.25 0.00
1800.07/1800.04 c linear : 30.83 0.00 9.65 21.18 0.00
1800.07/1800.04 c logicor : 9.93 0.00 2.88 7.05 0.00
1800.07/1800.04 c countsols : 0.44 0.00 0.00 0.44 0.00
1800.07/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.04 c vbounds : 0.52 2 0 0
1800.07/1800.04 c rootredcost : 0.41 1 0 0
1800.07/1800.04 c pseudoobj : 54.42 1804400 0 0
1800.07/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.04 c propagation : 0.00 122 122 317 13.0 48 6.4 -
1800.07/1800.04 c infeasible LP : 0.00 1 1 8 31.9 1 4.0 0
1800.07/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.04 c applied globally : - - - 265 11.6 - - -
1800.07/1800.04 c applied locally : - - - 0 0.0 - - -
1800.07/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.04 c cut pool : 0.00 5 - - 58 - (maximal pool size: 101)
1800.07/1800.04 c redcost : 92.42 1321448 0 0 0 0
1800.07/1800.04 c impliedbounds : 0.00 6 0 0 0 0
1800.07/1800.04 c intobj : 0.00 0 0 0 0 0
1800.07/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.04 c gomory : 0.11 6 0 0 625 0
1800.07/1800.04 c strongcg : 0.08 6 0 0 116 0
1800.07/1800.04 c cmir : 0.03 6 0 0 1 0
1800.07/1800.04 c flowcover : 0.05 6 0 0 2 0
1800.07/1800.04 c clique : 0.01 6 0 0 0 0
1800.07/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.04 c mcf : 0.00 1 0 0 0 0
1800.07/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.04 c Pricers : Time Calls Vars
1800.07/1800.04 c problem variables: 0.00 0 0
1800.07/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.04 c relpscost : 11.12 37819 0 14 0 0 75614
1800.07/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.04 c inference : 182.80 1241639 0 0 0 0 2483278
1800.07/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.04 c random : 0.00 0 0 0 0 0 0
1800.07/1800.04 c Primal Heuristics : Time Calls Found
1800.07/1800.04 c LP solutions : 0.00 - 0
1800.07/1800.04 c pseudo solutions : 0.00 - 0
1800.07/1800.04 c oneopt : 0.90 1 0
1800.07/1800.04 c intshifting : 0.02 1 0
1800.07/1800.04 c feaspump : 0.00 1 0
1800.07/1800.04 c crossover : 0.68 12 0
1800.07/1800.04 c coefdiving : 15.69 16887 0
1800.07/1800.04 c pscostdiving : 15.70 16887 0
1800.07/1800.04 c fracdiving : 15.96 16887 0
1800.07/1800.04 c veclendiving : 15.73 16887 0
1800.07/1800.04 c linesearchdiving : 16.35 16887 0
1800.07/1800.04 c guideddiving : 15.90 16887 0
1800.07/1800.04 c objpscostdiving : 16.80 16887 0
1800.07/1800.04 c rootsoldiving : 17.12 16887 0
1800.07/1800.04 c trivial : 0.01 2 0
1800.07/1800.04 c simplerounding : 0.54 37786 0
1800.07/1800.04 c zirounding : 0.65 1000 0
1800.07/1800.04 c rounding : 1.13 2708 0
1800.07/1800.04 c shifting : 0.99 812 0
1800.07/1800.04 c twoopt : 0.00 0 0
1800.07/1800.04 c fixandinfer : 0.00 0 0
1800.07/1800.04 c intdiving : 0.00 0 0
1800.07/1800.04 c actconsdiving : 0.00 0 0
1800.07/1800.04 c octane : 0.00 0 0
1800.07/1800.04 c rens : 0.02 1 0
1800.07/1800.04 c rins : 0.00 0 0
1800.07/1800.04 c localbranching : 0.00 0 0
1800.07/1800.04 c mutation : 0.00 0 0
1800.07/1800.04 c dins : 0.00 0 0
1800.07/1800.04 c undercover : 0.00 0 0
1800.07/1800.04 c nlp : 0.37 0 0
1800.07/1800.04 c trysol : 0.79 18697 100
1800.07/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.04 c primal LP : 0.01 0 0 0.00 0.00
1800.07/1800.04 c dual LP : 648.66 103162 1054174 10.22 1625.16
1800.07/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.04 c diving/probing LP: 0.00 2 38 19.00 -
1800.07/1800.04 c strong branching : 10.94 4576 80190 17.52 7329.98
1800.07/1800.04 c (at root node) : - 33 3188 96.61 -
1800.07/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.04 c B&B Tree :
1800.07/1800.04 c number of runs : 1
1800.07/1800.04 c nodes : 1279569
1800.07/1800.04 c nodes (total) : 1279569
1800.07/1800.04 c nodes left : 1279324
1800.07/1800.04 c max depth : 175
1800.07/1800.04 c max depth (total): 175
1800.07/1800.04 c backtracks : 16889 (1.3%)
1800.07/1800.04 c delayed cutoffs : 0
1800.07/1800.04 c repropagations : 771 (266 domain reductions, 0 cutoffs)
1800.07/1800.04 c avg switch length: 2.20
1800.07/1800.04 c switching time : 67.71
1800.07/1800.04 c Solution :
1800.07/1800.04 c Solutions found : 100 (1 improvements)
1800.07/1800.04 c First Solution : +8.67900000000000e+04 (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>)
1800.07/1800.04 c Primal Bound : +8.67900000000000e+04 (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>)
1800.07/1800.04 c Dual Bound : +0.00000000000000e+00
1800.07/1800.04 c Gap : infinite
1800.07/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.04 c Root Iterations : 230