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-2692847-1277906686.wbo>
0.00/0.03 c original problem has 3967 variables (2099 bin, 0 int, 0 impl, 1868 cont) and 4576 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.04/0.05 c presolving:
0.04/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2006 impls, 5 clqs
0.04/0.09 c (round 2) 0 del vars, 67 del conss, 1868 chg bounds, 49 chg sides, 0 chg coeffs, 0 upgd conss, 2006 impls, 5 clqs
0.04/0.10 c (round 3) 49 del vars, 134 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 0 upgd conss, 2006 impls, 5 clqs
0.09/0.11 c (round 4) 106 del vars, 142 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 812 upgd conss, 2006 impls, 5 clqs
0.09/0.12 c (round 5) 114 del vars, 142 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 812 upgd conss, 2006 impls, 5 clqs
0.09/0.16 c (0.1s) probing: 101/2042 (4.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16 c presolving (6 rounds):
0.09/0.16 c 114 deleted vars, 142 deleted constraints, 1876 tightened bounds, 0 added holes, 67 changed sides, 0 changed coefficients
0.09/0.16 c 2006 implications, 5 cliques
0.09/0.16 c presolved problem has 3853 variables (2042 bin, 0 int, 0 impl, 1811 cont) and 4434 constraints
0.09/0.16 c 1811 constraints of type <indicator>
0.09/0.16 c 5 constraints of type <setppc>
0.09/0.16 c 1811 constraints of type <linear>
0.09/0.16 c 807 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.11
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.2
0.09/0.16 c
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = 10000
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1799.98
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 3420
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.16 c
0.09/0.17 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.17 c 0.1s| 1 | 0 | 8 | - | 14M| 0 | 6 |3853 |4434 |3853 | 812 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 o 92548
0.09/0.18 c y 0.1s| 1 | 0 | 18 | - | 14M| 0 | 6 |3853 |4434 |3853 | 812 | 0 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.19/0.20 c 0.1s| 1 | 0 | 63 | - | 14M| 0 | 27 |3853 |4434 |3853 | 829 | 17 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 152 | - | 14M| 0 | 43 |3853 |4434 |3853 | 864 | 52 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.29/0.30 c 0.2s| 1 | 0 | 184 | - | 14M| 0 | 46 |3853 |4434 |3853 | 877 | 65 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.29/0.36 c 0.3s| 1 | 0 | 193 | - | 14M| 0 | 48 |3853 |4434 |3853 | 882 | 70 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.39/0.42 c 0.4s| 1 | 0 | 215 | - | 14M| 0 | 51 |3853 |4434 |3853 | 889 | 77 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.39/0.49 c 0.4s| 1 | 0 | 230 | - | 14M| 0 | 51 |3853 |4434 |3853 | 894 | 82 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.89/0.90 c 0.8s| 1 | 2 | 230 | - | 14M| 0 | 51 |3853 |4434 |3853 | 894 | 82 | 0 | 33 | 0.000000e+00 | 9.254800e+04 | Inf
32.09/32.15 c 30.9s| 10000 | 9997 | 96269 | 9.6 | 39M| 99 | 0 |3853 |4436 |3853 | 940 | 10k| 2 |1513 | 0.000000e+00 | 9.254800e+04 | Inf
51.89/51.97 c 50.1s| 20000 | 19990 |148992 | 7.4 | 57M| 151 | 1 |3853 |4441 |3853 | 914 | 16k| 7 |1536 | 0.000000e+00 | 9.254800e+04 | Inf
69.60/69.66 c 67.2s| 30000 | 29988 |184959 | 6.2 | 75M| 157 | 0 |3853 |4446 |3853 | 948 | 21k| 14 |1628 | 0.000000e+00 | 9.254800e+04 | Inf
87.09/87.18 c 84.1s| 40000 | 39978 |218178 | 5.4 | 93M| 169 | 0 |3853 |4465 |3853 | 935 | 25k| 44 |1812 | 0.000000e+00 | 9.254800e+04 | Inf
103.59/103.65 c 100s| 50000 | 49968 |242497 | 4.8 | 110M| 169 | 0 |3853 |4468 |3853 | 948 | 27k| 81 |2001 | 0.000000e+00 | 9.254800e+04 | Inf
120.09/120.14 c 116s| 60000 | 59966 |266415 | 4.4 | 128M| 169 | 0 |3853 |4454 |3853 | 918 | 30k| 87 |2132 | 0.000000e+00 | 9.254800e+04 | Inf
137.09/137.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
137.09/137.15 c 132s| 70000 | 69966 |293301 | 4.2 | 145M| 169 | 0 |3853 |4453 |3853 | 944 | 33k| 87 |2275 | 0.000000e+00 | 9.254800e+04 | Inf
153.69/153.71 c 148s| 80000 | 79966 |316690 | 4.0 | 163M| 169 | 0 |3853 |4448 |3853 | 929 | 36k| 87 |2412 | 0.000000e+00 | 9.254800e+04 | Inf
170.10/170.11 c 164s| 90000 | 89960 |338140 | 3.8 | 180M| 169 | 0 |3853 |4456 |3853 | 935 | 39k| 106 |2539 | 0.000000e+00 | 9.254800e+04 | Inf
185.90/185.94 c 180s|100000 | 99954 |356817 | 3.6 | 198M| 169 | 0 |3853 |4459 |3853 | 917 | 41k| 118 |2604 | 0.000000e+00 | 9.254800e+04 | Inf
201.09/201.12 c 194s|110000 |109952 |369719 | 3.4 | 215M| 169 | 0 |3853 |4458 |3853 | 957 | 43k| 123 |2676 | 0.000000e+00 | 9.254800e+04 | Inf
217.29/217.33 c 210s|120000 |119952 |390734 | 3.3 | 233M| 169 | 0 |3853 |4453 |3853 | 934 | 45k| 123 |2779 | 0.000000e+00 | 9.254800e+04 | Inf
233.39/233.48 c 226s|130000 |129952 |411370 | 3.2 | 250M| 169 | 0 |3853 |4449 |3853 | 927 | 48k| 123 |2862 | 0.000000e+00 | 9.254800e+04 | Inf
248.80/248.85 c 240s|140000 |139952 |425024 | 3.0 | 267M| 169 | 0 |3853 |4448 |3853 | 946 | 50k| 123 |2971 | 0.000000e+00 | 9.254800e+04 | Inf
264.00/264.09 c 255s|150000 |149952 |439232 | 2.9 | 285M| 169 | 0 |3853 |4447 |3853 | 939 | 52k| 123 |3042 | 0.000000e+00 | 9.254800e+04 | Inf
279.49/279.58 c 270s|160000 |159950 |454190 | 2.8 | 302M| 169 | 0 |3853 |4449 |3853 | 944 | 54k| 127 |3136 | 0.000000e+00 | 9.254800e+04 | Inf
295.40/295.43 c 285s|170000 |169946 |471684 | 2.8 | 320M| 169 | 0 |3853 |4454 |3853 | 939 | 56k| 133 |3207 | 0.000000e+00 | 9.254800e+04 | Inf
310.29/310.35 c 300s|180000 |179944 |482324 | 2.7 | 337M| 171 | 0 |3853 |4452 |3853 | 947 | 58k| 134 |3278 | 0.000000e+00 | 9.254800e+04 | Inf
324.80/324.87 c 314s|190000 |189942 |491404 | 2.6 | 354M| 175 | 1 |3853 |4450 |3853 | 927 | 60k| 135 |3299 | 0.000000e+00 | 9.254800e+04 | Inf
339.40/339.43 c 328s|200000 |199940 |500202 | 2.5 | 372M| 175 | 0 |3853 |4448 |3853 | 930 | 61k| 136 |3331 | 0.000000e+00 | 9.254800e+04 | Inf
354.50/354.56 c 343s|210000 |209938 |512035 | 2.4 | 389M| 177 | 0 |3853 |4448 |3853 | 916 | 62k| 137 |3392 | 0.000000e+00 | 9.254800e+04 | Inf
369.50/369.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
369.50/369.55 c 357s|220000 |219936 |524736 | 2.4 | 407M| 177 | 0 |3853 |4447 |3853 | 940 | 63k| 139 |3420 | 0.000000e+00 | 9.254800e+04 | Inf
383.70/383.71 c 371s|230000 |229934 |530705 | 2.3 | 424M| 177 | 0 |3853 |4445 |3853 | 948 | 64k| 140 |3427 | 0.000000e+00 | 9.254800e+04 | Inf
398.60/398.66 c 385s|240000 |239932 |541268 | 2.3 | 441M| 179 | 0 |3853 |4444 |3853 | 921 | 66k| 142 |3508 | 0.000000e+00 | 9.254800e+04 | Inf
413.40/413.48 c 400s|250000 |249930 |552878 | 2.2 | 458M| 179 | 0 |3853 |4446 |3853 | 943 | 67k| 144 |3528 | 0.000000e+00 | 9.254800e+04 | Inf
428.21/428.21 c 414s|260000 |259930 |564117 | 2.2 | 476M| 179 | 0 |3853 |4446 |3853 | 918 | 68k| 144 |3545 | 0.000000e+00 | 9.254800e+04 | Inf
442.90/442.96 c 428s|270000 |269924 |573040 | 2.1 | 493M| 179 | 0 |3853 |4448 |3853 | 935 | 69k| 147 |3643 | 0.000000e+00 | 9.254800e+04 | Inf
457.90/457.91 c 443s|280000 |279914 |585209 | 2.1 | 510M| 179 | 0 |3853 |4452 |3853 | 935 | 70k| 155 |3670 | 0.000000e+00 | 9.254800e+04 | Inf
473.40/473.42 c 458s|290000 |289908 |601704 | 2.1 | 527M| 179 | 0 |3853 |4451 |3853 | 929 | 72k| 160 |3724 | 0.000000e+00 | 9.254800e+04 | Inf
488.50/488.54 c 472s|300000 |299908 |614070 | 2.0 | 545M| 179 | 0 |3853 |4446 |3853 | 995 | 73k| 160 |3805 | 0.000000e+00 | 9.254800e+04 | Inf
504.11/504.12 c 488s|310000 |309904 |630166 | 2.0 | 562M| 179 | 0 |3853 |4448 |3853 | 926 | 75k| 164 |3854 | 0.000000e+00 | 9.254800e+04 | Inf
521.10/521.15 c 504s|320000 |319902 |649633 | 2.0 | 580M| 179 | 0 |3853 |4445 |3853 | 934 | 77k| 166 |4211 | 0.000000e+00 | 9.254800e+04 | Inf
536.21/536.21 c 519s|330000 |329900 |662571 | 2.0 | 597M| 179 | 0 |3853 |4445 |3853 | 955 | 79k| 167 |4213 | 0.000000e+00 | 9.254800e+04 | Inf
550.80/550.87 c 533s|340000 |339900 |673015 | 2.0 | 614M| 179 | 0 |3853 |4445 |3853 | 934 | 81k| 167 |4216 | 0.000000e+00 | 9.254800e+04 | Inf
565.90/565.94 c 547s|350000 |349896 |686637 | 2.0 | 632M| 179 | 0 |3853 |4447 |3853 | 918 | 82k| 169 |4216 | 0.000000e+00 | 9.254800e+04 | Inf
581.61/581.60 c 562s|360000 |359896 |705878 | 2.0 | 649M| 179 | 0 |3853 |4443 |3853 | 925 | 83k| 169 |4219 | 0.000000e+00 | 9.254800e+04 | Inf
596.80/596.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
596.80/596.82 c 577s|370000 |369896 |720678 | 1.9 | 666M| 179 | 0 |3853 |4442 |3853 | 938 | 84k| 169 |4219 | 0.000000e+00 | 9.254800e+04 | Inf
611.21/611.29 c 591s|380000 |379894 |729466 | 1.9 | 684M| 179 | 0 |3853 |4441 |3853 | 936 | 85k| 171 |4220 | 0.000000e+00 | 9.254800e+04 | Inf
626.21/626.29 c 606s|390000 |389894 |742417 | 1.9 | 701M| 179 | 0 |3853 |4440 |3853 | 944 | 86k| 171 |4251 | 0.000000e+00 | 9.254800e+04 | Inf
641.21/641.28 c 620s|400000 |399894 |754110 | 1.9 | 718M| 179 | 0 |3853 |4439 |3853 | 935 | 88k| 171 |4296 | 0.000000e+00 | 9.254800e+04 | Inf
656.71/656.72 c 635s|410000 |409894 |769258 | 1.9 | 736M| 179 | 0 |3853 |4439 |3853 | 945 | 89k| 171 |4318 | 0.000000e+00 | 9.254800e+04 | Inf
671.20/671.23 c 649s|420000 |419892 |775971 | 1.8 | 753M| 179 | 0 |3853 |4440 |3853 | 953 | 91k| 172 |4384 | 0.000000e+00 | 9.254800e+04 | Inf
685.51/685.55 c 663s|430000 |429892 |782508 | 1.8 | 770M| 179 | 0 |3853 |4439 |3853 | 950 | 92k| 172 |4396 | 0.000000e+00 | 9.254800e+04 | Inf
699.61/699.61 c 677s|440000 |439892 |787921 | 1.8 | 788M| 179 | 0 |3853 |4438 |3853 | 943 | 93k| 172 |4400 | 0.000000e+00 | 9.254800e+04 | Inf
714.51/714.59 c 691s|450000 |449890 |799905 | 1.8 | 805M| 179 | 0 |3853 |4445 |3853 | 930 | 95k| 180 |4415 | 0.000000e+00 | 9.254800e+04 | Inf
729.51/729.53 c 706s|460000 |459890 |810498 | 1.8 | 822M| 181 | 0 |3853 |4440 |3853 | 918 | 96k| 180 |4480 | 0.000000e+00 | 9.254800e+04 | Inf
744.81/744.89 c 721s|470000 |469890 |826869 | 1.8 | 840M| 181 | 11 |3853 |4439 |3853 | 937 | 97k| 180 |4490 | 0.000000e+00 | 9.254800e+04 | Inf
759.71/759.79 c 735s|480000 |479886 |838386 | 1.7 | 857M| 181 | 0 |3853 |4444 |3853 | 920 | 99k| 185 |4510 | 0.000000e+00 | 9.254800e+04 | Inf
774.71/774.75 c 749s|490000 |489884 |849981 | 1.7 | 874M| 181 | 0 |3853 |4445 |3853 | 937 | 100k| 188 |4560 | 0.000000e+00 | 9.254800e+04 | Inf
789.72/789.79 c 764s|500000 |499884 |862933 | 1.7 | 891M| 181 | 1 |3853 |4442 |3853 | 925 | 101k| 188 |4590 | 0.000000e+00 | 9.254800e+04 | Inf
804.61/804.66 c 778s|510000 |509882 |873936 | 1.7 | 909M| 181 | 0 |3853 |4441 |3853 | 950 | 103k| 189 |4614 | 0.000000e+00 | 9.254800e+04 | Inf
819.51/819.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
819.51/819.56 c 793s|520000 |519882 |884297 | 1.7 | 926M| 181 | 0 |3853 |4438 |3853 | 942 | 105k| 189 |4695 | 0.000000e+00 | 9.254800e+04 | Inf
834.41/834.44 c 807s|530000 |529878 |894583 | 1.7 | 943M| 181 | 0 |3853 |4440 |3853 | 957 | 106k| 191 |4706 | 0.000000e+00 | 9.254800e+04 | Inf
848.81/848.85 c 821s|540000 |539876 |902373 | 1.7 | 960M| 181 | 0 |3853 |4440 |3853 | 949 | 109k| 192 |4711 | 0.000000e+00 | 9.254800e+04 | Inf
863.71/863.77 c 836s|550000 |549876 |913051 | 1.7 | 977M| 183 | 0 |3853 |4439 |3853 | 920 | 111k| 192 |4752 | 0.000000e+00 | 9.254800e+04 | Inf
878.81/878.90 c 850s|560000 |559874 |925858 | 1.7 | 994M| 183 | 0 |3853 |4439 |3853 | 933 | 112k| 193 |4787 | 0.000000e+00 | 9.254800e+04 | Inf
893.91/893.94 c 865s|570000 |569874 |937967 | 1.6 |1012M| 183 | 0 |3853 |4438 |3853 | 931 | 113k| 193 |4815 | 0.000000e+00 | 9.254800e+04 | Inf
908.41/908.49 c 879s|580000 |579874 |946556 | 1.6 |1029M| 183 | 0 |3853 |4438 |3853 | 950 | 115k| 193 |4822 | 0.000000e+00 | 9.254800e+04 | Inf
922.82/922.89 c 893s|590000 |589874 |953901 | 1.6 |1046M| 183 | 0 |3853 |4438 |3853 | 921 | 117k| 193 |4827 | 0.000000e+00 | 9.254800e+04 | Inf
937.62/937.65 c 907s|600000 |599874 |963985 | 1.6 |1063M| 183 | 0 |3853 |4438 |3853 | 945 | 118k| 193 |4869 | 0.000000e+00 | 9.254800e+04 | Inf
952.42/952.47 c 922s|610000 |609872 |974746 | 1.6 |1080M| 183 | 0 |3853 |4439 |3853 | 914 | 119k| 194 |4887 | 0.000000e+00 | 9.254800e+04 | Inf
967.32/967.35 c 936s|620000 |619872 |986973 | 1.6 |1098M| 183 | 0 |3853 |4438 |3853 | 920 | 120k| 194 |4894 | 0.000000e+00 | 9.254800e+04 | Inf
982.11/982.16 c 950s|630000 |629870 |998075 | 1.6 |1115M| 183 | 0 |3853 |4439 |3853 | 930 | 121k| 195 |4924 | 0.000000e+00 | 9.254800e+04 | Inf
996.82/996.89 c 965s|640000 |639870 | 1007k| 1.6 |1132M| 183 | 0 |3853 |4438 |3853 | 925 | 123k| 195 |4967 | 0.000000e+00 | 9.254800e+04 | Inf
1011.52/1011.56 c 979s|650000 |649870 | 1016k| 1.6 |1149M| 183 | 0 |3853 |4437 |3853 | 926 | 124k| 195 |4986 | 0.000000e+00 | 9.254800e+04 | Inf
1026.51/1026.52 c 993s|660000 |659870 | 1029k| 1.6 |1167M| 185 | 0 |3853 |4437 |3853 | 924 | 125k| 195 |5010 | 0.000000e+00 | 9.254800e+04 | Inf
1041.02/1041.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1041.02/1041.01 c 1007s|670000 |669870 | 1038k| 1.5 |1184M| 185 | 0 |3853 |4437 |3853 | 953 | 127k| 195 |5017 | 0.000000e+00 | 9.254800e+04 | Inf
1055.81/1055.83 c 1022s|680000 |679870 | 1046k| 1.5 |1201M| 185 | 0 |3853 |4437 |3853 | 938 | 129k| 195 |5217 | 0.000000e+00 | 9.254800e+04 | Inf
1070.11/1070.14 c 1036s|690000 |689868 | 1054k| 1.5 |1218M| 185 | 0 |3853 |4440 |3853 | 948 | 131k| 198 |5244 | 0.000000e+00 | 9.254800e+04 | Inf
1084.22/1084.27 c 1049s|700000 |699866 | 1060k| 1.5 |1235M| 185 | 0 |3853 |4444 |3853 | 937 | 133k| 202 |5247 | 0.000000e+00 | 9.254800e+04 | Inf
1098.51/1098.58 c 1063s|710000 |709864 | 1066k| 1.5 |1252M| 185 | 0 |3853 |4448 |3853 | 939 | 134k| 206 |5282 | 0.000000e+00 | 9.254800e+04 | Inf
1112.72/1112.80 c 1077s|720000 |719864 | 1073k| 1.5 |1269M| 185 | 0 |3853 |4443 |3853 | 955 | 136k| 206 |5292 | 0.000000e+00 | 9.254800e+04 | Inf
1127.62/1127.67 c 1092s|730000 |729862 | 1084k| 1.5 |1287M| 185 | 0 |3853 |4443 |3853 | 976 | 137k| 207 |5304 | 0.000000e+00 | 9.254800e+04 | Inf
1142.21/1142.25 c 1106s|740000 |739862 | 1093k| 1.5 |1304M| 185 | 0 |3853 |4441 |3853 | 935 | 139k| 207 |5306 | 0.000000e+00 | 9.254800e+04 | Inf
1157.32/1157.37 c 1120s|750000 |749862 | 1107k| 1.5 |1321M| 185 | 0 |3853 |4440 |3853 | 925 | 140k| 207 |5320 | 0.000000e+00 | 9.254800e+04 | Inf
1172.12/1172.12 c 1135s|760000 |759862 | 1118k| 1.5 |1338M| 185 | 0 |3853 |4440 |3853 | 938 | 141k| 207 |5341 | 0.000000e+00 | 9.254800e+04 | Inf
1186.72/1186.70 c 1149s|770000 |769862 | 1126k| 1.5 |1356M| 187 | 0 |3853 |4439 |3853 | 924 | 142k| 207 |5407 | 0.000000e+00 | 9.254800e+04 | Inf
1201.32/1201.36 c 1163s|780000 |779862 | 1136k| 1.5 |1373M| 187 | 0 |3853 |4439 |3853 | 917 | 143k| 207 |5420 | 0.000000e+00 | 9.254800e+04 | Inf
1216.11/1216.18 c 1178s|790000 |789862 | 1148k| 1.5 |1390M| 187 | 0 |3853 |4439 |3853 | 921 | 144k| 207 |5423 | 0.000000e+00 | 9.254800e+04 | Inf
1231.22/1231.29 c 1192s|800000 |799860 | 1161k| 1.5 |1407M| 187 | 0 |3853 |4440 |3853 | 936 | 146k| 208 |5481 | 0.000000e+00 | 9.254800e+04 | Inf
1245.82/1245.88 c 1206s|810000 |809858 | 1169k| 1.4 |1424M| 187 | 0 |3853 |4441 |3853 | 946 | 147k| 211 |5497 | 0.000000e+00 | 9.254800e+04 | Inf
1260.82/1260.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1260.82/1260.80 c 1221s|820000 |819858 | 1181k| 1.4 |1441M| 187 | 0 |3853 |4439 |3853 | 924 | 149k| 211 |5511 | 0.000000e+00 | 9.254800e+04 | Inf
1275.42/1275.47 c 1235s|830000 |829858 | 1189k| 1.4 |1458M| 187 | 0 |3853 |4438 |3853 | 936 | 150k| 211 |5535 | 0.000000e+00 | 9.254800e+04 | Inf
1290.52/1290.53 c 1250s|840000 |839858 | 1202k| 1.4 |1475M| 187 | 0 |3853 |4438 |3853 | 927 | 151k| 211 |5572 | 0.000000e+00 | 9.254800e+04 | Inf
1305.32/1305.33 c 1264s|850000 |849858 | 1213k| 1.4 |1492M| 187 | 0 |3853 |4437 |3853 | 918 | 152k| 211 |5589 | 0.000000e+00 | 9.254800e+04 | Inf
1320.33/1320.36 c 1279s|860000 |859858 | 1225k| 1.4 |1509M| 187 | 0 |3853 |4437 |3853 | 918 | 153k| 211 |5596 | 0.000000e+00 | 9.254800e+04 | Inf
1336.12/1336.15 c 1294s|870000 |869858 | 1240k| 1.4 |1527M| 187 | 0 |3853 |4437 |3853 | 930 | 156k| 211 |5821 | 0.000000e+00 | 9.254800e+04 | Inf
1351.32/1351.30 c 1309s|880000 |879858 | 1255k| 1.4 |1544M| 187 | 0 |3853 |4437 |3853 | 926 | 157k| 211 |5821 | 0.000000e+00 | 9.254800e+04 | Inf
1366.33/1366.37 c 1323s|890000 |889856 | 1268k| 1.4 |1561M| 187 | 0 |3853 |4438 |3853 | 925 | 159k| 212 |5847 | 0.000000e+00 | 9.254800e+04 | Inf
1381.22/1381.21 c 1338s|900000 |899854 | 1281k| 1.4 |1578M| 187 | 0 |3853 |4439 |3853 | 917 | 162k| 213 |5851 | 0.000000e+00 | 9.254800e+04 | Inf
1395.83/1395.86 c 1352s|910000 |909854 | 1290k| 1.4 |1595M| 187 | 0 |3853 |4438 |3853 | 959 | 163k| 213 |5856 | 0.000000e+00 | 9.254800e+04 | Inf
1410.63/1410.63 c 1366s|920000 |919852 | 1300k| 1.4 |1613M| 187 | 0 |3853 |4439 |3853 | 923 | 164k| 214 |5905 | 0.000000e+00 | 9.254800e+04 | Inf
1415.42/1415.42 o 915
1415.42/1415.42 c *1371s|923104 |871544 | 1305k| 1.4 |1538M| 187 | - |3853 |4439 |3853 | 932 | 166k| 214 |5921 | 0.000000e+00 | 9.150000e+02 | Inf
1427.03/1427.01 c 1382s|930000 |878440 | 1318k| 1.4 |1550M| 187 | 0 |3853 |4439 |3853 | 933 | 169k| 214 |5925 | 0.000000e+00 | 9.150000e+02 | Inf
1444.23/1444.27 c 1399s|940000 |888438 | 1339k| 1.4 |1567M| 187 | 0 |3853 |4440 |3853 | 924 | 171k| 215 |5948 | 0.000000e+00 | 9.150000e+02 | Inf
1463.43/1463.47 c 1417s|950000 |898425 | 1373k| 1.4 |1584M| 187 | 0 |3853 |4454 |3853 | 932 | 176k| 265 |5996 | 0.000000e+00 | 9.150000e+02 | Inf
1483.03/1483.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1483.03/1483.07 c 1436s|960000 |908395 | 1412k| 1.5 |1602M| 187 | 0 |3853 |4463 |3853 | 943 | 180k| 294 |6069 | 0.000000e+00 | 9.150000e+02 | Inf
1502.03/1502.02 c 1455s|970000 |918387 | 1445k| 1.5 |1620M| 187 | 11 |3853 |4462 |3853 | 901 | 185k| 308 |6147 | 0.000000e+00 | 9.150000e+02 | Inf
1523.02/1523.01 c 1475s|980000 |928347 | 1494k| 1.5 |1638M| 187 | 0 |3853 |4505 |3853 | 944 | 193k| 413 |6215 | 0.000000e+00 | 9.150000e+02 | Inf
1544.73/1544.72 c 1496s|990000 |938259 | 1549k| 1.6 |1657M| 187 | 0 |3853 |4584 |3853 | 952 | 201k| 657 |6308 | 0.000000e+00 | 9.150000e+02 | Inf
1568.93/1568.97 c 1520s| 1000k|948161 | 1618k| 1.6 |1676M| 187 | 0 |3853 |4585 |3853 | 929 | 212k| 904 |6416 | 0.000000e+00 | 9.150000e+02 | Inf
1577.43/1577.49 o 904
1577.43/1577.49 c *1528s| 1003k|947939 | 1641k| 1.6 |1677M| 187 | - |3853 |4661 |3853 | 948 | 215k|1052 |6459 | 0.000000e+00 | 9.040000e+02 | Inf
1592.13/1592.15 c 1542s| 1010k|954247 | 1676k| 1.7 |1689M| 187 | 0 |3853 |4536 |3853 | 950 | 221k|1153 |6506 | 0.000000e+00 | 9.040000e+02 | Inf
1608.03/1608.00 o 903
1608.03/1608.00 c *1558s| 1016k|960548 | 1717k| 1.7 |1703M| 187 | - |3853 |4576 |3853 | 942 | 227k|1301 |6568 | 0.000000e+00 | 9.030000e+02 | Inf
1611.83/1611.86 o 900
1611.83/1611.86 c *1561s| 1018k|960846 | 1728k| 1.7 |1704M| 187 | - |3853 |4561 |3853 | 945 | 229k|1322 |6600 | 0.000000e+00 | 9.000000e+02 | Inf
1616.23/1616.25 c 1566s| 1020k|962696 | 1739k| 1.7 |1708M| 187 | 10 |3853 |4601 |3853 | 891 | 230k|1419 |6615 | 0.000000e+00 | 9.000000e+02 | Inf
1616.94/1616.93 o 897
1616.94/1616.93 c *1566s| 1020k|961907 | 1740k| 1.7 |1707M| 187 | - |3853 |4597 |3853 | 949 | 231k|1419 |6616 | 0.000000e+00 | 8.970000e+02 | Inf
1622.23/1622.23 o 878
1622.23/1622.23 c *1571s| 1023k|957015 | 1751k| 1.7 |1698M| 187 | - |3853 |4559 |3853 | 947 | 232k|1447 |6622 | 0.000000e+00 | 8.780000e+02 | Inf
1631.73/1631.77 o 870
1631.73/1631.77 c *1581s| 1027k|958139 | 1772k| 1.7 |1702M| 187 | - |3853 |4570 |3853 | 924 | 235k|1539 |6663 | 0.000000e+00 | 8.700000e+02 | Inf
1632.13/1632.12 o 860
1632.13/1632.12 c *1581s| 1027k|953804 | 1774k| 1.7 |1694M| 187 | - |3853 |4598 |3853 | 924 | 235k|1573 |6663 | 0.000000e+00 | 8.600000e+02 | Inf
1638.73/1638.74 c 1587s| 1030k|956054 | 1799k| 1.7 |1699M| 187 | 0 |3853 |4779 |3853 | 923 | 238k|1819 |6676 | 0.000000e+00 | 8.600000e+02 | Inf
1639.04/1639.02 o 858
1639.04/1639.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1639.04/1639.02 c *1588s| 1030k|955263 | 1800k| 1.7 |1698M| 187 | - |3853 |4779 |3853 | 955 | 238k|1822 |6676 | 0.000000e+00 | 8.580000e+02 | Inf
1656.13/1656.13 o 857
1656.13/1656.13 c *1604s| 1036k|960660 | 1865k| 1.8 |1709M| 187 | - |3853 |4717 |3853 | 916 | 246k|2195 |6780 | 0.000000e+00 | 8.570000e+02 | Inf
1666.93/1666.98 c 1615s| 1040k|964574 | 1902k| 1.8 |1716M| 187 | 0 |3853 |4640 |3853 | 958 | 251k|2312 |6852 | 0.000000e+00 | 8.570000e+02 | Inf
1681.43/1681.49 o 856
1681.43/1681.49 c *1629s| 1045k|969709 | 1949k| 1.9 |1727M| 187 | - |3853 |4698 |3853 | 952 | 258k|2517 |6899 | 0.000000e+00 | 8.560000e+02 | Inf
1692.33/1692.35 c 1640s| 1050k|973903 | 1980k| 1.9 |1735M| 187 | 0 |3853 |4786 |3853 | 947 | 262k|2868 |6917 | 0.000000e+00 | 8.560000e+02 | Inf
1694.23/1694.25 o 855
1694.23/1694.25 c *1641s| 1050k|974123 | 1987k| 1.9 |1736M| 187 | - |3853 |4805 |3853 | 931 | 263k|2929 |6920 | 0.000000e+00 | 8.550000e+02 | Inf
1711.53/1711.60 o 854
1711.53/1711.60 c *1658s| 1057k|980533 | 2038k| 1.9 |1749M| 187 | - |3853 |4651 |3853 | 957 | 270k|2982 |6961 | 0.000000e+00 | 8.540000e+02 | Inf
1717.43/1717.49 c 1664s| 1060k|982830 | 2054k| 1.9 |1753M| 187 | 6 |3853 |4909 |3853 | 950 | 272k|3404 |6974 | 0.000000e+00 | 8.540000e+02 | Inf
1741.43/1741.46 c 1687s| 1070k|992642 | 2116k| 2.0 |1774M| 187 | 0 |3853 |4761 |3853 | 926 | 279k|3974 |7056 | 0.000000e+00 | 8.540000e+02 | Inf
1754.63/1754.65 o 840
1754.63/1754.65 c *1700s| 1076k|991874 | 2141k| 2.0 |1772M| 187 | - |3853 |4716 |3853 | 947 | 282k|4029 |7067 | 0.000000e+00 | 8.400000e+02 | Inf
1754.63/1754.69 o 818
1754.63/1754.69 c *1700s| 1076k|980284 | 2141k| 2.0 |1750M| 187 | - |3853 |4716 |3853 | 947 | 282k|4029 |7067 | 0.000000e+00 | 8.180000e+02 | Inf
1754.74/1754.74 o 814
1754.74/1754.74 c *1700s| 1076k|978104 | 2141k| 2.0 |1747M| 187 | - |3853 |4734 |3853 | 947 | 282k|4047 |7067 | 0.000000e+00 | 8.140000e+02 | Inf
1759.83/1759.80 o 811
1759.83/1759.80 c *1705s| 1077k|978006 | 2160k| 2.0 |1747M| 187 | - |3853 |4800 |3853 | 952 | 285k|4200 |7102 | 0.000000e+00 | 8.110000e+02 | Inf
1761.73/1761.77 o 809
1761.73/1761.77 c *1707s| 1078k|977412 | 2168k| 2.0 |1746M| 187 | - |3853 |4809 |3853 | 956 | 286k|4249 |7107 | 0.000000e+00 | 8.090000e+02 | Inf
1761.73/1761.79 o 808
1761.73/1761.79 c *1707s| 1078k|976859 | 2168k| 2.0 |1746M| 187 | - |3853 |4809 |3853 | 957 | 286k|4249 |7107 | 0.000000e+00 | 8.080000e+02 | Inf
1765.64/1765.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1765.64/1765.65 c 1711s| 1080k|978380 | 2178k| 2.0 |1749M| 187 | 0 |3853 |4871 |3853 | 954 | 287k|4465 |7112 | 0.000000e+00 | 8.080000e+02 | Inf
1772.23/1772.24 o 807
1772.23/1772.24 c *1717s| 1082k|980323 | 2196k| 2.0 |1753M| 187 | - |3853 |4937 |3853 | 925 | 289k|4798 |7124 | 0.000000e+00 | 8.070000e+02 | Inf
1772.53/1772.53 o 805
1772.53/1772.53 c *1717s| 1082k|979344 | 2196k| 2.0 |1752M| 187 | - |3853 |4927 |3853 | 919 | 289k|4798 |7124 | 0.000000e+00 | 8.050000e+02 | Inf
1781.74/1781.78 o 798
1781.74/1781.78 c *1726s| 1085k|978064 | 2231k| 2.1 |1751M| 187 | - |3853 |4911 |3853 | 949 | 293k|5061 |7190 | 0.000000e+00 | 7.980000e+02 | Inf
1786.74/1786.72 o 797
1786.74/1786.72 c *1731s| 1087k|978992 | 2250k| 2.1 |1753M| 187 | - |3853 |4952 |3853 | 936 | 296k|5266 |7222 | 0.000000e+00 | 7.970000e+02 | Inf
1794.33/1794.35 c 1739s| 1090k|981467 | 2278k| 2.1 |1758M| 187 | 8 |3853 |4895 |3853 | 924 | 299k|5514 |7251 | 0.000000e+00 | 7.970000e+02 | Inf
1795.43/1795.40 o 796
1795.43/1795.40 c *1740s| 1090k|981153 | 2282k| 2.1 |1758M| 187 | - |3853 |4938 |3853 | 931 | 300k|5584 |7257 | 0.000000e+00 | 7.960000e+02 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time (sec) : 1744.20
1800.04/1800.01 c Solving Nodes : 1092066
1800.04/1800.01 c Primal Bound : +7.96000000000000e+02 (124 solutions)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.05 s SATISFIABLE
1800.04/1800.05 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.05 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.05 v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 x180 x179 -x178 x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167
1800.04/1800.05 v -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147 -x146
1800.04/1800.05 v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 x127 -x126 -x125
1800.04/1800.05 v -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.04/1800.05 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 -x79
1800.04/1800.05 v -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 -x53
1800.04/1800.05 v -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28
1800.04/1800.05 v -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 -x1
1800.04/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.05 c Solving Time : 1744.20
1800.04/1800.05 c Original Problem :
1800.04/1800.05 c Problem name : HOME/instance-2692847-1277906686.wbo
1800.04/1800.05 c Variables : 3967 (2099 binary, 0 integer, 0 implicit integer, 1868 continuous)
1800.04/1800.05 c Constraints : 4576 initial, 4576 maximal
1800.04/1800.05 c Presolved Problem :
1800.04/1800.05 c Problem name : t_HOME/instance-2692847-1277906686.wbo
1800.04/1800.05 c Variables : 3853 (2042 binary, 0 integer, 0 implicit integer, 1811 continuous)
1800.04/1800.05 c Constraints : 4434 initial, 5005 maximal
1800.04/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.05 c trivial : 0.00 57 0 0 0 0 0 0 0
1800.04/1800.05 c dualfix : 0.01 57 0 0 0 0 0 0 0
1800.04/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c probing : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.05 c indicator : 0.00 0 0 0 0 0 57 0 0
1800.04/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c linear : 0.04 0 0 0 1876 0 85 67 0
1800.04/1800.05 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.05 c root node : - 0 - - 0 - - - -
1800.04/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.05 c integral : 0 0 0 1152481 0 0 25 0 0 94528
1800.04/1800.05 c indicator : 1811 0 1619468 1105186 0 35 1573813 0 0 0
1800.04/1800.05 c setppc : 5 6 715365 450266 0 12 91926 0 0 0
1800.04/1800.05 c linear : 1811 6 1572607 1062269 0 346 874324 302609 0 0
1800.04/1800.05 c logicor : 807+ 6 490899 1043749 0 110 487412 0 0 0
1800.04/1800.05 c countsols : 0 0 0 1043749 0 0 0 0 0 0
1800.04/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.05 c integral : 17.23 0.00 0.00 17.23 0.00
1800.04/1800.05 c indicator : 193.69 0.00 33.29 160.40 0.00
1800.04/1800.05 c setppc : 0.46 0.00 0.46 0.00 0.00
1800.04/1800.05 c linear : 43.93 0.01 13.84 30.08 0.00
1800.04/1800.05 c logicor : 10.87 0.00 2.96 7.91 0.00
1800.04/1800.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.05 c vbounds : 0.00 2 0 0
1800.04/1800.05 c rootredcost : 0.00 25 0 0
1800.04/1800.05 c pseudoobj : 52.05 1619722 444 254379
1800.04/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.05 c propagation : 0.03 912 912 6116 31.0 595 4.8 -
1800.04/1800.05 c infeasible LP : 0.00 5 5 33 29.9 9 3.0 0
1800.04/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.05 c pseudo solution : 0.04 173 173 1467 22.5 161 4.7 -
1800.04/1800.05 c applied globally : - - - 5687 24.4 - - -
1800.04/1800.05 c applied locally : - - - 0 0.0 - - -
1800.04/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.05 c cut pool : 0.00 5 - - 23 - (maximal pool size: 58)
1800.04/1800.05 c redcost : 86.82 1153095 0 487192 0 0
1800.04/1800.05 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.05 c intobj : 0.00 0 0 0 0 0
1800.04/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.05 c gomory : 0.10 6 0 0 368 0
1800.04/1800.05 c strongcg : 0.06 6 0 0 78 0
1800.04/1800.05 c cmir : 0.03 6 0 0 0 0
1800.04/1800.05 c flowcover : 0.06 6 0 0 0 0
1800.04/1800.05 c clique : 0.00 6 0 0 0 0
1800.04/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.05 c mcf : 0.00 1 0 0 0 0
1800.04/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.05 c Pricers : Time Calls Vars
1800.04/1800.05 c problem variables: 0.00 0 0
1800.04/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.05 c relpscost : 17.22 47285 0 25 0 0 94528
1800.04/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.05 c inference : 161.37 1043725 0 0 0 0 2087450
1800.04/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.05 c random : 0.00 0 0 0 0 0 0
1800.04/1800.05 c Primal Heuristics : Time Calls Found
1800.04/1800.05 c LP solutions : 0.41 - 24
1800.04/1800.05 c pseudo solutions : 0.00 - 0
1800.04/1800.05 c oneopt : 0.24 24 0
1800.04/1800.05 c crossover : 1.18 57 0
1800.04/1800.05 c trivial : 0.00 2 0
1800.04/1800.05 c simplerounding : 0.10 47245 0
1800.04/1800.05 c zirounding : 0.27 1000 0
1800.04/1800.05 c rounding : 0.74 3059 0
1800.04/1800.05 c shifting : 1.02 940 0
1800.04/1800.05 c intshifting : 0.00 18 0
1800.04/1800.05 c twoopt : 0.00 0 0
1800.04/1800.05 c fixandinfer : 0.00 0 0
1800.04/1800.05 c feaspump : 0.00 1 0
1800.04/1800.05 c coefdiving : 16.19 15800 0
1800.04/1800.05 c pscostdiving : 15.35 15801 0
1800.04/1800.05 c fracdiving : 16.32 15800 0
1800.04/1800.05 c veclendiving : 15.93 15800 0
1800.04/1800.05 c intdiving : 0.00 0 0
1800.04/1800.05 c actconsdiving : 0.00 0 0
1800.04/1800.05 c objpscostdiving : 15.55 15648 0
1800.04/1800.05 c rootsoldiving : 16.87 15664 0
1800.04/1800.05 c linesearchdiving : 15.29 15801 0
1800.04/1800.05 c guideddiving : 16.16 15800 0
1800.04/1800.05 c octane : 0.00 0 0
1800.04/1800.05 c rens : 0.03 1 0
1800.04/1800.05 c rins : 0.00 0 0
1800.04/1800.05 c localbranching : 0.00 0 0
1800.04/1800.05 c mutation : 0.00 0 0
1800.04/1800.05 c dins : 0.00 0 0
1800.04/1800.05 c undercover : 0.00 0 0
1800.04/1800.05 c nlp : 0.00 0 0
1800.04/1800.05 c trysol : 0.28 17872 100
1800.04/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.05 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.05 c dual LP : 685.60 146827 2294473 15.63 3346.66
1800.04/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.05 c diving/probing LP: 0.41 364 1938 5.32 4726.83
1800.04/1800.05 c strong branching : 16.97 7297 121255 16.62 7145.26
1800.04/1800.05 c (at root node) : - 33 3577 108.39 -
1800.04/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.05 c B&B Tree :
1800.04/1800.05 c number of runs : 1
1800.04/1800.05 c nodes : 1092066
1800.04/1800.05 c nodes (total) : 1092066
1800.04/1800.05 c nodes left : 982849
1800.04/1800.05 c max depth : 187
1800.04/1800.05 c max depth (total): 187
1800.04/1800.05 c backtracks : 16188 (1.5%)
1800.04/1800.05 c delayed cutoffs : 68
1800.04/1800.05 c repropagations : 1926 (74759 domain reductions, 67 cutoffs)
1800.04/1800.05 c avg switch length: 2.29
1800.04/1800.05 c switching time : 63.72
1800.04/1800.05 c Solution :
1800.04/1800.05 c Solutions found : 124 (25 improvements)
1800.04/1800.05 c First Solution : +9.25480000000000e+04 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1800.04/1800.05 c Primal Bound : +7.96000000000000e+02 (in run 1, after 1090333 nodes, 1739.72 seconds, depth 88, found by <relaxation>)
1800.04/1800.05 c Dual Bound : +0.00000000000000e+00
1800.04/1800.05 c Gap : infinite
1800.04/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.05 c Root Iterations : 230
1801.83/1801.82 c Time complete: 1801.86.