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-2705615-1278572959.wbo>
0.00/0.03 c original problem has 3945 variables (2088 bin, 0 int, 1857 impl, 0 cont) and 4565 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, 126 impls, 5 clqs
0.06/0.08 c (round 2) 0 del vars, 62 del conss, 1857 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 126 impls, 5 clqs
0.06/0.09 c (round 3) 50 del vars, 131 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 0 upgd conss, 126 impls, 5 clqs
0.09/0.10 c (round 4) 114 del vars, 131 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 834 upgd conss, 126 impls, 5 clqs
0.09/0.10 c (round 5) 114 del vars, 143 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 834 upgd conss, 126 impls, 5 clqs
0.09/0.15 c (0.1s) probing: 101/2031 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (6 rounds):
0.09/0.15 c 114 deleted vars, 143 deleted constraints, 1864 tightened bounds, 0 added holes, 62 changed sides, 0 changed coefficients
0.09/0.15 c 3708 implications, 5 cliques
0.09/0.15 c presolved problem has 3831 variables (2031 bin, 0 int, 1800 impl, 0 cont) and 4422 constraints
0.09/0.15 c 51 constraints of type <setppc>
0.09/0.15 c 1800 constraints of type <linear>
0.09/0.15 c 1800 constraints of type <indicator>
0.09/0.15 c 771 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.11
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.3
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1789.98
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 3420
0.09/0.15 c
0.09/0.15 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.15 c # [type: int, range: [1,2], default: 1]
0.09/0.15 c timing/clocktype = 2
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/indicator/addCouplingCons = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.15 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.15 c 0.1s| 1 | 0 | 12 | - | 14M| 0 | 3 |3831 |4422 |3831 | 822 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.25 c 0.2s| 1 | 0 | 63 | - | 14M| 0 | 18 |3831 |4422 |3831 | 844 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.27 c 0.2s| 1 | 0 | 102 | - | 14M| 0 | 36 |3831 |4422 |3831 | 874 | 52 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.32 c 0.3s| 1 | 0 | 132 | - | 14M| 0 | 47 |3831 |4422 |3831 | 895 | 73 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.39 c 0.4s| 1 | 0 | 172 | - | 15M| 0 | 52 |3831 |4422 |3831 | 906 | 84 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.47 c 0.4s| 1 | 0 | 242 | - | 15M| 0 | 51 |3831 |4422 |3831 | 921 | 99 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.56 c 0.5s| 1 | 0 | 386 | - | 16M| 0 | 45 |3831 |4422 |3831 | 933 | 111 | 0 | 0 | 0.000000e+00 | -- | Inf
1.59/1.65 c 1.6s| 1 | 2 | 386 | - | 16M| 0 | 45 |3831 |4422 |3831 | 933 | 111 | 0 | 25 | 0.000000e+00 | -- | Inf
5.99/6.02 o 90731
5.99/6.02 c y 6.0s| 38 | 37 | 3338 | 79.8 | 16M| 22 | - |3831 |4422 | 0 | 0 | 158 | 0 | 447 | 0.000000e+00 | 9.073100e+04 | Inf
17.50/17.52 o 225
17.50/17.52 c *17.5s| 5665 | 4457 | 22924 | 4.0 | 28M|1452 | - |3831 |4423 |3831 | 988 |2709 | 1 |1281 | 0.000000e+00 | 2.250000e+02 | Inf
18.99/19.00 o 214
18.99/19.00 c *19.0s| 6662 | 5295 | 24574 | 3.6 | 30M|1452 | - |3831 |4504 |3831 | 979 |2952 | 82 |1293 | 0.000000e+00 | 2.140000e+02 | Inf
20.09/20.11 o 212
20.09/20.11 c *20.1s| 7229 | 5695 | 26306 | 3.6 | 32M|1452 | - |3831 |4733 |3831 | 973 |3137 | 311 |1300 | 0.000000e+00 | 2.120000e+02 | Inf
22.89/22.95 o 211
22.89/22.95 c *22.9s| 8265 | 6003 | 32134 | 3.8 | 36M|1452 | - |3831 |5898 |3831 | 994 |3727 |1532 |1314 | 0.000000e+00 | 2.110000e+02 | Inf
26.50/26.56 o 210
26.50/26.56 c *26.5s| 9677 | 6684 | 40700 | 4.2 | 40M|1452 | - |3831 |6871 |3831 | 978 |4863 |2655 |1335 | 0.000000e+00 | 2.100000e+02 | Inf
27.39/27.43 c 27.4s| 10000 | 6849 | 43457 | 4.3 | 41M|1452 | 0 |3831 |7118 |3831 | 969 |5138 |2961 |1342 | 0.000000e+00 | 2.100000e+02 | Inf
31.69/31.74 o 205
31.69/31.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.69/31.74 c *31.7s| 11533 | 7518 | 58096 | 5.0 | 46M|1452 | - |3831 |8066 |3831 | 974 |6680 |4259 |1366 | 0.000000e+00 | 2.050000e+02 | Inf
34.29/34.31 o 197
34.29/34.31 c *34.3s| 12402 | 7865 | 67027 | 5.4 | 48M|1452 | - |3831 |8380 |3831 | 959 |7502 |4960 |1442 | 0.000000e+00 | 1.970000e+02 | Inf
34.29/34.31 o 191
34.29/34.31 c *34.3s| 12403 | 7724 | 67029 | 5.4 | 48M|1452 | - |3831 |8380 |3831 | 959 |7502 |4960 |1442 | 0.000000e+00 | 1.910000e+02 | Inf
34.89/34.98 o 183
34.89/34.98 c *34.9s| 12630 | 7636 | 69740 | 5.5 | 48M|1452 | - |3831 |8616 |3831 | 951 |7666 |5301 |1445 | 0.000000e+00 | 1.830000e+02 | Inf
34.89/34.98 o 179
34.89/34.98 c *35.0s| 12632 | 7555 | 69744 | 5.5 | 48M|1452 | - |3831 |8616 |3831 | 951 |7666 |5301 |1445 | 0.000000e+00 | 1.790000e+02 | Inf
34.89/34.99 o 175
34.89/34.99 c *35.0s| 12633 | 7450 | 69744 | 5.5 | 48M|1452 | - |3831 |8616 |3831 | 951 |7666 |5301 |1445 | 0.000000e+00 | 1.750000e+02 | Inf
40.29/40.31 o 170
40.29/40.31 c *40.3s| 14570 | 8178 | 86972 | 5.9 | 51M|1452 | - |3831 |8505 |3831 | 988 |9240 |6983 |1456 | 0.000000e+00 | 1.700000e+02 | Inf
40.39/40.43 o 161
40.39/40.43 c *40.4s| 14587 | 7989 | 87660 | 6.0 | 50M|1452 | - |3831 |8450 |3831 | 988 |9295 |6992 |1456 | 0.000000e+00 | 1.610000e+02 | Inf
40.49/40.50 o 155
40.49/40.50 c *40.5s| 14611 | 7864 | 87948 | 6.0 | 49M|1452 | - |3831 |8445 |3831 |1015 |9326 |7003 |1456 | 0.000000e+00 | 1.550000e+02 | Inf
40.49/40.50 o 150
40.49/40.50 c *40.5s| 14612 | 7764 | 87968 | 6.0 | 49M|1452 | - |3831 |8445 |3831 |1015 |9326 |7003 |1456 | 0.000000e+00 | 1.500000e+02 | Inf
40.79/40.88 o 148
40.79/40.88 c *40.9s| 14672 | 7756 | 90127 | 6.1 | 49M|1452 | - |3831 |8369 |3831 | 990 |9529 |7029 |1473 | 0.000000e+00 | 1.480000e+02 | Inf
40.79/40.89 o 142
40.79/40.89 c *40.9s| 14673 | 7617 | 90138 | 6.1 | 48M|1452 | - |3831 |8369 |3831 | 990 |9529 |7029 |1473 | 0.000000e+00 | 1.420000e+02 | Inf
41.89/41.99 o 136
41.89/41.99 c *42.0s| 14930 | 7597 | 96217 | 6.4 | 48M|1452 | - |3831 |8354 |3831 | 963 |9955 |7249 |1512 | 0.000000e+00 | 1.360000e+02 | Inf
41.89/41.99 o 133
41.89/41.99 c *42.0s| 14931 | 7503 | 96240 | 6.4 | 47M|1452 | - |3831 |8354 |3831 | 963 |9955 |7249 |1512 | 0.000000e+00 | 1.330000e+02 | Inf
45.10/45.16 o 123
45.10/45.16 c *45.1s| 15822 | 7522 |110573 | 7.0 | 49M|1452 | - |3831 |7808 |3831 | 987 | 11k|8083 |1534 | 0.000000e+00 | 1.230000e+02 | Inf
45.10/45.17 o 115
45.10/45.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.10/45.17 c *45.1s| 15823 | 7202 |110573 | 7.0 | 48M|1452 | - |3831 |7808 |3831 | 987 | 11k|8083 |1534 | 0.000000e+00 | 1.150000e+02 | Inf
46.59/46.70 o 105
46.59/46.70 c *46.7s| 16338 | 6882 |116417 | 7.1 | 48M|1452 | - |3831 |7666 |3831 | 959 | 11k|8663 |1534 | 0.000000e+00 | 1.050000e+02 | Inf
46.69/46.70 o 103
46.69/46.70 c *46.7s| 16339 | 6805 |116427 | 7.1 | 48M|1452 | - |3831 |7666 |3831 | 959 | 11k|8663 |1534 | 0.000000e+00 | 1.030000e+02 | Inf
47.69/47.75 o 77
47.69/47.75 c *47.7s| 16756 | 5237 |119505 | 7.1 | 43M|1452 | - |3831 |7835 |3831 | 961 | 12k|9108 |1534 | 0.000000e+00 | 7.700000e+01 | Inf
47.79/47.80 o 66
47.79/47.80 c *47.8s| 16761 | 4659 |119823 | 7.1 | 40M|1452 | - |3831 |7251 |3831 | 950 | 12k|9108 |1534 | 0.000000e+00 | 6.600000e+01 | Inf
47.79/47.85 o 65
47.79/47.85 c *47.8s| 16770 | 4543 |120065 | 7.1 | 40M|1452 | - |3831 |7021 |3831 | 962 | 12k|9108 |1534 | 0.000000e+00 | 6.500000e+01 | Inf
47.99/48.09 o 55
47.99/48.09 c *48.1s| 16831 | 3935 |121302 | 7.2 | 37M|1452 | - |3831 |6927 |3831 | 968 | 12k|9184 |1534 | 0.000000e+00 | 5.500000e+01 | Inf
48.09/48.14 o 36
48.09/48.14 c *48.1s| 16836 | 2680 |121596 | 7.2 | 34M|1452 | - |3831 |6687 |3831 | 981 | 12k|9184 |1536 | 0.000000e+00 | 3.600000e+01 | Inf
48.09/48.15 o 35
48.09/48.15 c *48.1s| 16837 | 1690 |121596 | 7.2 | 30M|1452 | - |3831 |6685 |3831 | 981 | 12k|9184 |1536 | 0.000000e+00 | 3.500000e+01 | Inf
54.29/54.39 c 54.4s| 20000 | 1752 |143559 | 7.2 | 31M|1452 | 16 |3831 |6844 |3831 | 959 | 13k| 13k|1537 | 0.000000e+00 | 3.500000e+01 | Inf
58.99/59.00 o 30
58.99/59.00 c *59.0s| 22453 | 1627 |157253 | 7.0 | 32M|1452 | - |3831 |7352 |3831 | 979 | 13k| 16k|1537 | 0.000000e+00 | 3.000000e+01 | Inf
73.09/73.15 c 73.1s| 30000 | 1751 |208219 | 6.9 | 34M|1452 | 16 |3831 |6238 |3831 | 936 | 15k| 26k|1545 | 0.000000e+00 | 3.000000e+01 | Inf
91.19/91.25 c 91.2s| 40000 | 1842 |264605 | 6.6 | 37M|1452 | 9 |3831 |6904 |3831 | 933 | 17k| 38k|1545 | 0.000000e+00 | 3.000000e+01 | Inf
109.39/109.40 c 109s| 50000 | 2070 |322128 | 6.4 | 41M|1452 | 1 |3831 |8773 |3831 | 970 | 19k| 52k|1545 | 0.000000e+00 | 3.000000e+01 | Inf
128.39/128.48 c 128s| 60000 | 2194 |383356 | 6.4 | 45M|1452 | 6 |3831 | 10k|3831 | 957 | 21k| 65k|1593 | 0.000000e+00 | 3.000000e+01 | Inf
133.79/133.82 o 29
133.79/133.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
133.79/133.82 c * 134s| 62852 | 2126 |398147 | 6.3 | 45M|1452 | - |3831 |9526 |3831 | 968 | 22k| 69k|1595 | 0.000000e+00 | 2.900000e+01 | Inf
146.99/147.05 c 147s| 70000 | 2140 |438764 | 6.3 | 45M|1452 | 4 |3831 |7713 |3831 | 976 | 23k| 79k|1695 | 0.000000e+00 | 2.900000e+01 | Inf
165.00/165.02 o 27
165.00/165.02 c * 165s| 79733 | 2094 |492121 | 6.2 | 47M|1452 | - |3831 |7821 |3831 | 958 | 25k| 91k|1814 | 0.000000e+00 | 2.700000e+01 | Inf
165.59/165.66 c 166s| 80000 | 2104 |494966 | 6.2 | 47M|1452 | - |3831 |7097 | 0 | 0 | 26k| 92k|1819 | 0.000000e+00 | 2.700000e+01 | Inf
185.19/185.24 c 185s| 90000 | 2277 |563533 | 6.3 | 49M|1452 | 22 |3831 |7231 |3831 | 950 | 27k| 104k|1950 | 0.000000e+00 | 2.700000e+01 | Inf
203.79/203.87 c 204s|100000 | 2289 |620608 | 6.2 | 50M|1452 | 14 |3831 |7968 |3831 | 963 | 29k| 117k|2087 | 0.000000e+00 | 2.700000e+01 | Inf
221.99/222.09 c 222s|110000 | 2310 |670948 | 6.1 | 52M|1452 | - |3831 |9572 | 0 | 0 | 31k| 130k|2175 | 0.000000e+00 | 2.700000e+01 | Inf
240.80/240.89 c 241s|120000 | 2284 |724986 | 6.0 | 52M|1452 | - |3831 |7624 | 0 | 0 | 33k| 143k|2277 | 0.000000e+00 | 2.700000e+01 | Inf
259.29/259.36 c 259s|130000 | 2418 |777214 | 6.0 | 55M|1452 | 16 |3831 |9859 |3831 | 929 | 35k| 154k|2406 | 0.000000e+00 | 2.700000e+01 | Inf
277.80/277.87 c 278s|140000 | 2394 |828298 | 5.9 | 56M|1452 | - |3831 |8726 | 0 | 0 | 38k| 167k|2484 | 0.000000e+00 | 2.700000e+01 | Inf
296.29/296.34 c 296s|150000 | 2436 |881816 | 5.9 | 58M|1452 | 1 |3831 |8587 |3831 | 934 | 40k| 180k|2558 | 0.000000e+00 | 2.700000e+01 | Inf
313.99/314.07 c 314s|160000 | 2496 |926651 | 5.8 | 60M|1452 | - |3831 |9704 | 0 | 0 | 43k| 193k|2631 | 0.000000e+00 | 2.700000e+01 | Inf
332.59/332.67 c 333s|170000 | 2468 |978786 | 5.8 | 60M|1452 | - |3831 |7674 | 0 | 0 | 44k| 205k|2736 | 0.000000e+00 | 2.700000e+01 | Inf
352.01/352.02 c 352s|180000 | 2526 | 1042k| 5.8 | 63M|1452 | - |3831 | 10k| 0 | 0 | 46k| 218k|2857 | 0.000000e+00 | 2.700000e+01 | Inf
370.99/371.06 c 371s|190000 | 2536 | 1102k| 5.8 | 63M|1452 | 11 |3831 |8712 |3831 | 943 | 48k| 230k|2941 | 0.000000e+00 | 2.700000e+01 | Inf
390.40/390.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
390.40/390.43 c 390s|200000 | 2534 | 1164k| 5.8 | 64M|1452 | - |3831 |8390 | 0 | 0 | 50k| 243k|3047 | 0.000000e+00 | 2.700000e+01 | Inf
410.20/410.25 c 410s|210000 | 2516 | 1228k| 5.8 | 66M|1452 | 1 |3831 |9507 |3831 | 940 | 52k| 255k|3161 | 0.000000e+00 | 2.700000e+01 | Inf
429.60/429.61 c 430s|220000 | 2607 | 1283k| 5.8 | 68M|1452 | 13 |3831 |9645 |3831 | 950 | 54k| 268k|3264 | 0.000000e+00 | 2.700000e+01 | Inf
448.70/448.79 c 449s|230000 | 2636 | 1337k| 5.8 | 70M|1452 | 14 |3831 |9663 |3831 | 956 | 56k| 281k|3367 | 0.000000e+00 | 2.700000e+01 | Inf
456.90/456.91 o 25
456.90/456.91 c * 457s|234137 | 2607 | 1363k| 5.8 | 70M|1452 | - |3831 |9225 |3831 | 956 | 57k| 286k|3409 | 0.000000e+00 | 2.500000e+01 | Inf
459.50/459.51 o 21
459.50/459.51 c * 459s|235560 | 2311 | 1372k| 5.8 | 61M|1452 | - |3831 |9186 |3831 | 955 | 57k| 288k|3409 | 0.000000e+00 | 2.100000e+01 | Inf
467.50/467.58 c 468s|240000 | 2327 | 1401k| 5.8 | 60M|1452 | 9 |3831 |7275 |3831 | 958 | 58k| 294k|3478 | 0.000000e+00 | 2.100000e+01 | Inf
485.30/485.39 c 485s|250000 | 2330 | 1459k| 5.8 | 62M|1452 | 21 |3831 |8040 |3831 | 972 | 61k| 307k|3570 | 0.000000e+00 | 2.100000e+01 | Inf
488.40/488.46 o 18
488.40/488.46 c * 488s|251691 | 2173 | 1469k| 5.8 | 60M|1452 | - |3831 |8934 |3831 | 955 | 61k| 310k|3572 | 0.000000e+00 | 1.800000e+01 | Inf
503.09/503.19 c 503s|260000 | 2220 | 1522k| 5.9 | 60M|1452 | 10 |3831 |9519 |3831 | 941 | 63k| 320k|3639 | 0.000000e+00 | 1.800000e+01 | Inf
521.10/521.17 c 521s|270000 | 2284 | 1576k| 5.8 | 62M|1452 | - |3831 | 11k| 0 | 0 | 66k| 333k|3699 | 0.000000e+00 | 1.800000e+01 | Inf
538.90/538.94 c 539s|280000 | 2304 | 1629k| 5.8 | 63M|1452 | - |3831 | 10k| 0 | 0 | 68k| 347k|3756 | 0.000000e+00 | 1.800000e+01 | Inf
557.30/557.37 c 557s|290000 | 2299 | 1685k| 5.8 | 64M|1452 | 9 |3831 | 11k|3831 | 954 | 70k| 360k|3880 | 0.000000e+00 | 1.800000e+01 | Inf
575.21/575.27 c 575s|300000 | 2363 | 1746k| 5.8 | 64M|1452 | 27 |3831 |9108 |3831 | 929 | 73k| 373k|3972 | 0.000000e+00 | 1.800000e+01 | Inf
593.40/593.43 c 593s|310000 | 2410 | 1808k| 5.8 | 66M|1452 | - |3831 |9282 | 0 | 0 | 75k| 385k|4058 | 0.000000e+00 | 1.800000e+01 | Inf
611.20/611.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
611.20/611.21 c 611s|320000 | 2440 | 1866k| 5.8 | 68M|1452 | 24 |3831 | 11k|3831 | 956 | 77k| 398k|4131 | 0.000000e+00 | 1.800000e+01 | Inf
628.50/628.50 o 17
628.50/628.50 c * 628s|329234 | 2409 | 1925k| 5.8 | 69M|1452 | - |3831 | 11k|3831 | 959 | 79k| 411k|4207 | 0.000000e+00 | 1.700000e+01 | Inf
629.90/629.91 c 630s|330000 | 2413 | 1929k| 5.8 | 69M|1452 | 15 |3831 | 11k|3831 | 970 | 80k| 412k|4211 | 0.000000e+00 | 1.700000e+01 | Inf
648.30/648.38 c 648s|340000 | 2394 | 1991k| 5.9 | 70M|1452 | - |3831 | 12k| 0 | 0 | 81k| 425k|4276 | 0.000000e+00 | 1.700000e+01 | Inf
667.20/667.23 c 667s|350000 | 2438 | 2054k| 5.9 | 72M|1452 | 1 |3831 | 16k|3831 | 964 | 84k| 438k|4337 | 0.000000e+00 | 1.700000e+01 | Inf
686.41/686.44 c 686s|360000 | 2223 | 2119k| 5.9 | 67M|1452 | 19 |3831 |6845 |3831 | 947 | 86k| 451k|4451 | 0.000000e+00 | 1.700000e+01 | Inf
704.11/704.11 c 704s|370000 | 2283 | 2185k| 5.9 | 68M|1452 | - |3831 |7828 | 0 | 0 | 88k| 463k|4516 | 0.000000e+00 | 1.700000e+01 | Inf
722.21/722.27 c 722s|380000 | 2210 | 2241k| 5.9 | 68M|1452 | - |3831 |8332 | 0 | 0 | 90k| 476k|4603 | 0.000000e+00 | 1.700000e+01 | Inf
739.60/739.69 c 740s|390000 | 2089 | 2298k| 5.9 | 68M|1452 | - |3831 |8462 | 0 | 0 | 93k| 489k|4655 | 0.000000e+00 | 1.700000e+01 | Inf
757.70/757.77 c 758s|400000 | 2194 | 2360k| 5.9 | 70M|1452 | 1 |3831 | 10k|3831 | 946 | 95k| 503k|4719 | 0.000000e+00 | 1.700000e+01 | Inf
776.51/776.53 c 777s|410000 | 2151 | 2424k| 5.9 | 71M|1452 | - |3831 | 12k| 0 | 0 | 98k| 518k|4782 | 0.000000e+00 | 1.700000e+01 | Inf
795.21/795.29 c 795s|420000 | 2217 | 2493k| 5.9 | 71M|1452 | 23 |3831 |9520 |3831 | 951 | 99k| 530k|4869 | 0.000000e+00 | 1.700000e+01 | Inf
813.90/813.92 c 814s|430000 | 2211 | 2554k| 5.9 | 73M|1452 | - |3831 | 10k| 0 | 0 | 101k| 542k|4937 | 0.000000e+00 | 1.700000e+01 | Inf
833.31/833.39 c 833s|440000 | 2276 | 2622k| 6.0 | 75M|1452 | - |3831 | 11k| 0 | 0 | 102k| 555k|5002 | 0.000000e+00 | 1.700000e+01 | Inf
851.50/851.50 c 851s|450000 | 2320 | 2675k| 5.9 | 76M|1452 | - |3831 | 12k| 0 | 0 | 104k| 568k|5067 | 0.000000e+00 | 1.700000e+01 | Inf
870.40/870.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
870.40/870.48 c 870s|460000 | 2333 | 2729k| 5.9 | 77M|1452 | - |3831 | 13k| 0 | 0 | 105k| 581k|5138 | 0.000000e+00 | 1.700000e+01 | Inf
890.01/890.02 c 890s|470000 | 2392 | 2789k| 5.9 | 79M|1452 | 21 |3831 | 13k|3831 | 950 | 106k| 594k|5174 | 0.000000e+00 | 1.700000e+01 | Inf
908.70/908.78 c 909s|480000 | 2394 | 2850k| 5.9 | 79M|1452 | 24 |3831 | 13k|3831 | 969 | 108k| 608k|5217 | 0.000000e+00 | 1.700000e+01 | Inf
927.11/927.12 c 927s|490000 | 2382 | 2898k| 5.9 | 80M|1452 | 12 |3831 | 12k|3831 | 938 | 109k| 621k|5276 | 0.000000e+00 | 1.700000e+01 | Inf
945.91/945.94 c 946s|500000 | 2445 | 2961k| 5.9 | 80M|1452 | - |3831 | 11k| 0 | 0 | 111k| 634k|5375 | 0.000000e+00 | 1.700000e+01 | Inf
963.90/963.90 c 964s|510000 | 2578 | 3018k| 5.9 | 82M|1452 | - |3831 | 12k| 0 | 0 | 113k| 647k|5401 | 0.000000e+00 | 1.700000e+01 | Inf
982.32/982.33 c 982s|520000 | 2674 | 3078k| 5.9 | 83M|1452 | - |3831 | 10k| 0 | 0 | 115k| 659k|5469 | 0.000000e+00 | 1.700000e+01 | Inf
1000.61/1000.64 c 1001s|530000 | 2785 | 3141k| 5.9 | 85M|1452 | - |3831 | 11k| 0 | 0 | 117k| 672k|5540 | 0.000000e+00 | 1.700000e+01 | Inf
1017.91/1017.99 c 1018s|540000 | 2956 | 3194k| 5.9 | 88M|1452 | 1 |3831 | 10k|3831 | 942 | 119k| 685k|5600 | 0.000000e+00 | 1.700000e+01 | Inf
1036.22/1036.25 c 1036s|550000 | 3069 | 3251k| 5.9 | 91M|1452 | 1 |3831 | 13k|3831 | 929 | 120k| 698k|5620 | 0.000000e+00 | 1.700000e+01 | Inf
1055.11/1055.10 c 1055s|560000 | 3279 | 3312k| 5.9 | 94M|1452 | 1 |3831 | 12k|3831 | 938 | 123k| 711k|5692 | 0.000000e+00 | 1.700000e+01 | Inf
1073.01/1073.00 c 1073s|570000 | 3447 | 3366k| 5.9 | 96M|1452 | 13 |3831 | 13k|3831 | 948 | 125k| 724k|5755 | 0.000000e+00 | 1.700000e+01 | Inf
1091.11/1091.14 c 1091s|580000 | 3581 | 3423k| 5.9 | 98M|1452 | - |3831 | 12k| 0 | 0 | 127k| 738k|5796 | 0.000000e+00 | 1.700000e+01 | Inf
1109.82/1109.85 c 1110s|590000 | 3667 | 3484k| 5.9 | 100M|1452 | 11 |3831 | 11k|3831 | 929 | 128k| 751k|5827 | 0.000000e+00 | 1.700000e+01 | Inf
1128.01/1128.01 c 1128s|600000 | 3706 | 3540k| 5.9 | 102M|1452 | - |3831 | 12k| 0 | 0 | 130k| 765k|5893 | 0.000000e+00 | 1.700000e+01 | Inf
1146.01/1146.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1146.01/1146.06 c 1146s|610000 | 3724 | 3590k| 5.9 | 103M|1452 | - |3831 | 13k| 0 | 0 | 132k| 778k|5936 | 0.000000e+00 | 1.700000e+01 | Inf
1164.01/1164.03 c 1164s|620000 | 3822 | 3644k| 5.9 | 105M|1452 | - |3831 | 11k| 0 | 0 | 134k| 791k|5961 | 0.000000e+00 | 1.700000e+01 | Inf
1182.01/1182.03 c 1182s|630000 | 3891 | 3693k| 5.9 | 107M|1452 | 21 |3831 | 12k|3831 | 953 | 136k| 805k|6035 | 0.000000e+00 | 1.700000e+01 | Inf
1200.71/1200.79 c 1201s|640000 | 3917 | 3755k| 5.9 | 108M|1452 | 32 |3831 | 11k|3831 | 969 | 138k| 818k|6073 | 0.000000e+00 | 1.700000e+01 | Inf
1219.41/1219.46 c 1219s|650000 | 3900 | 3809k| 5.9 | 109M|1452 | 1 |3831 | 13k|3831 | 946 | 140k| 832k|6108 | 0.000000e+00 | 1.700000e+01 | Inf
1238.02/1238.01 c 1238s|660000 | 3988 | 3863k| 5.9 | 111M|1452 | 13 |3831 | 12k|3831 | 937 | 142k| 845k|6172 | 0.000000e+00 | 1.700000e+01 | Inf
1255.91/1255.94 c 1256s|670000 | 4044 | 3916k| 5.8 | 112M|1452 | - |3831 | 12k| 0 | 0 | 143k| 859k|6195 | 0.000000e+00 | 1.700000e+01 | Inf
1273.91/1273.98 c 1274s|680000 | 4096 | 3972k| 5.8 | 114M|1452 | - |3831 | 12k| 0 | 0 | 145k| 872k|6255 | 0.000000e+00 | 1.700000e+01 | Inf
1293.12/1293.10 c 1293s|690000 | 4142 | 4028k| 5.8 | 115M|1452 | 16 |3831 | 13k|3831 | 963 | 147k| 886k|6307 | 0.000000e+00 | 1.700000e+01 | Inf
1311.61/1311.67 c 1312s|700000 | 4166 | 4084k| 5.8 | 116M|1452 | 6 |3831 | 12k|3831 | 929 | 149k| 899k|6330 | 0.000000e+00 | 1.700000e+01 | Inf
1329.82/1329.81 c 1330s|710000 | 4211 | 4134k| 5.8 | 118M|1452 | 15 |3831 | 14k|3831 | 972 | 151k| 913k|6402 | 0.000000e+00 | 1.700000e+01 | Inf
1347.52/1347.56 c 1348s|720000 | 4322 | 4180k| 5.8 | 120M|1452 | 21 |3831 | 15k|3831 | 970 | 152k| 927k|6412 | 0.000000e+00 | 1.700000e+01 | Inf
1365.81/1365.84 c 1366s|730000 | 4390 | 4227k| 5.8 | 121M|1452 | 15 |3831 | 15k|3831 | 953 | 154k| 942k|6476 | 0.000000e+00 | 1.700000e+01 | Inf
1384.41/1384.49 c 1384s|740000 | 4416 | 4273k| 5.8 | 123M|1452 | - |3831 | 16k| 0 | 0 | 155k| 957k|6491 | 0.000000e+00 | 1.700000e+01 | Inf
1403.71/1403.79 c 1404s|750000 | 4427 | 4326k| 5.8 | 124M|1452 | 14 |3831 | 17k|3831 | 954 | 157k| 972k|6540 | 0.000000e+00 | 1.700000e+01 | Inf
1422.81/1422.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1422.81/1422.90 c 1423s|760000 | 4529 | 4378k| 5.8 | 125M|1452 | - |3831 | 16k| 0 | 0 | 159k| 987k|6586 | 0.000000e+00 | 1.700000e+01 | Inf
1442.02/1442.01 c 1442s|770000 | 4615 | 4431k| 5.8 | 126M|1452 | - |3831 | 17k| 0 | 0 | 160k|1002k|6612 | 0.000000e+00 | 1.700000e+01 | Inf
1461.71/1461.78 c 1462s|780000 | 4695 | 4491k| 5.8 | 127M|1452 | 18 |3831 | 16k|3831 | 943 | 162k|1015k|6670 | 0.000000e+00 | 1.700000e+01 | Inf
1481.82/1481.84 c 1482s|790000 | 4725 | 4550k| 5.8 | 129M|1452 | - |3831 | 16k| 0 | 0 | 163k|1030k|6705 | 0.000000e+00 | 1.700000e+01 | Inf
1501.82/1501.83 c 1502s|800000 | 4803 | 4610k| 5.8 | 130M|1452 | - |3831 | 17k| 0 | 0 | 165k|1044k|6732 | 0.000000e+00 | 1.700000e+01 | Inf
1521.62/1521.60 c 1522s|810000 | 4851 | 4663k| 5.8 | 132M|1452 | 1 |3831 | 17k|3831 | 942 | 166k|1058k|6796 | 0.000000e+00 | 1.700000e+01 | Inf
1540.91/1541.00 c 1541s|820000 | 4885 | 4719k| 5.8 | 134M|1452 | 25 |3831 | 18k|3831 | 974 | 168k|1073k|6815 | 0.000000e+00 | 1.700000e+01 | Inf
1560.62/1560.61 c 1561s|830000 | 4905 | 4774k| 5.8 | 135M|1452 | 6 |3831 | 17k|3831 | 965 | 169k|1087k|6858 | 0.000000e+00 | 1.700000e+01 | Inf
1580.62/1580.64 c 1581s|840000 | 4948 | 4830k| 5.7 | 137M|1452 | 24 |3831 | 18k|3831 | 956 | 171k|1102k|6921 | 0.000000e+00 | 1.700000e+01 | Inf
1600.91/1600.99 c 1601s|850000 | 4982 | 4885k| 5.7 | 138M|1452 | 6 |3831 | 19k|3831 | 976 | 172k|1115k|6929 | 0.000000e+00 | 1.700000e+01 | Inf
1621.42/1621.42 c 1621s|860000 | 4976 | 4941k| 5.7 | 138M|1452 | 6 |3831 | 18k|3831 | 952 | 173k|1130k|6992 | 0.000000e+00 | 1.700000e+01 | Inf
1640.51/1640.52 c 1640s|870000 | 5033 | 4992k| 5.7 | 139M|1452 | - |3831 | 19k| 0 | 0 | 175k|1145k|7014 | 0.000000e+00 | 1.700000e+01 | Inf
1660.52/1660.53 c 1661s|880000 | 5048 | 5047k| 5.7 | 139M|1452 | 6 |3831 | 17k|3831 | 967 | 177k|1158k|7065 | 0.000000e+00 | 1.700000e+01 | Inf
1679.52/1679.56 c 1680s|890000 | 5133 | 5097k| 5.7 | 142M|1452 | - |3831 | 18k| 0 | 0 | 179k|1173k|7095 | 0.000000e+00 | 1.700000e+01 | Inf
1699.01/1699.03 c 1699s|900000 | 5108 | 5150k| 5.7 | 141M|1452 | 20 |3831 | 15k|3831 | 929 | 180k|1188k|7143 | 0.000000e+00 | 1.700000e+01 | Inf
1717.92/1717.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1717.92/1717.91 c 1718s|910000 | 5112 | 5203k| 5.7 | 142M|1452 | 1 |3831 | 15k|3831 | 942 | 182k|1202k|7180 | 0.000000e+00 | 1.700000e+01 | Inf
1727.32/1727.38 o 16
1727.32/1727.38 c *1727s|914800 | 5079 | 5227k| 5.7 | 142M|1452 | - |3831 | 15k|3831 | 929 | 183k|1209k|7207 | 0.000000e+00 | 1.600000e+01 | Inf
1737.62/1737.62 c 1738s|920000 | 5086 | 5258k| 5.7 | 142M|1452 | 21 |3831 | 13k|3831 | 952 | 184k|1216k|7214 | 0.000000e+00 | 1.600000e+01 | Inf
1756.52/1756.55 c 1757s|930000 | 5069 | 5320k| 5.7 | 142M|1452 | 1 |3831 | 13k|3831 | 962 | 185k|1230k|7278 | 0.000000e+00 | 1.600000e+01 | Inf
1775.33/1775.31 c 1775s|940000 | 5143 | 5370k| 5.7 | 144M|1452 | 10 |3831 | 15k|3831 | 929 | 187k|1243k|7299 | 0.000000e+00 | 1.600000e+01 | Inf
1790.02/1790.01 c
1790.02/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.02/1790.01 c Solving Time (sec) : 1789.98
1790.02/1790.01 c Solving Nodes : 947398
1790.02/1790.01 c Primal Bound : +1.60000000000000e+01 (138 solutions)
1790.02/1790.01 c Dual Bound : +0.00000000000000e+00
1790.02/1790.01 c Gap : infinite
1790.02/1790.05 s SATISFIABLE
1790.02/1790.05 v -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210
1790.02/1790.05 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1790.02/1790.05 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168
1790.02/1790.05 v -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147
1790.02/1790.05 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1790.02/1790.05 v -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105
1790.02/1790.05 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81
1790.02/1790.05 v -x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55
1790.02/1790.05 v -x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30
1790.02/1790.05 v x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3
1790.02/1790.05 v -x2 -x1
1790.02/1790.05 c SCIP Status : solving was interrupted [time limit reached]
1790.02/1790.05 c Solving Time : 1789.98
1790.02/1790.05 c Original Problem :
1790.02/1790.05 c Problem name : HOME/instance-2705615-1278572959.wbo
1790.02/1790.05 c Variables : 3945 (2088 binary, 0 integer, 1857 implicit integer, 0 continuous)
1790.02/1790.05 c Constraints : 4565 initial, 4565 maximal
1790.02/1790.05 c Presolved Problem :
1790.02/1790.05 c Problem name : t_HOME/instance-2705615-1278572959.wbo
1790.02/1790.05 c Variables : 3831 (2031 binary, 0 integer, 1800 implicit integer, 0 continuous)
1790.02/1790.05 c Constraints : 4422 initial, 20588 maximal
1790.02/1790.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.02/1790.05 c trivial : 0.00 57 0 0 0 0 0 0 0
1790.02/1790.05 c dualfix : 0.00 57 0 0 0 0 0 0 0
1790.02/1790.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.05 c implics : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.05 c probing : 0.04 0 0 0 0 0 0 0 0
1790.02/1790.05 c setppc : 0.00 0 0 0 0 0 12 0 0
1790.02/1790.05 c linear : 0.05 0 0 0 1864 0 74 62 0
1790.02/1790.05 c indicator : 0.00 0 0 0 0 0 57 0 0
1790.02/1790.05 c logicor : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.05 c root node : - 3050 - - 3050 - - - -
1790.02/1790.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.02/1790.05 c integral : 0 0 0 533154 0 37 547 0 0 1004108
1790.02/1790.05 c setppc : 51 6 5864314 29901 0 24490 711809 0 0 0
1790.02/1790.05 c linear : 1800 6 5853272 30614 0 185929 25159455 189037 0 0
1790.02/1790.05 c indicator : 1800 0 5662284 30589 0 1157 6003434 0 0 0
1790.02/1790.05 c logicor : 771+ 6 1742817 9599 0 242832 4388681 0 0 0
1790.02/1790.05 c bounddisjunction : 0+ 0 502311 0 0 139 6324 0 0 0
1790.02/1790.05 c countsols : 0 0 0 9599 0 0 0 0 0 0
1790.02/1790.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.02/1790.05 c integral : 23.18 0.00 0.00 23.18 0.00
1790.02/1790.05 c setppc : 7.89 0.00 7.87 0.03 0.00
1790.02/1790.05 c linear : 172.09 0.00 169.77 2.32 0.00
1790.02/1790.05 c indicator : 71.63 0.02 69.34 2.26 0.00
1790.02/1790.05 c logicor : 187.57 0.00 187.43 0.14 0.00
1790.02/1790.05 c bounddisjunction : 2.83 0.00 2.83 0.00 0.00
1790.02/1790.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.02/1790.05 c Propagators : Time Calls Cutoffs DomReds
1790.02/1790.05 c vbounds : 1.29 168859 2 11846
1790.02/1790.05 c rootredcost : 0.80 38 0 1525
1790.02/1790.05 c pseudoobj : 175.97 5893533 15764 6263499
1790.02/1790.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.02/1790.05 c propagation : 23.79 469154 468970 2925254 27.8 15474 24.3 -
1790.02/1790.05 c infeasible LP : 6.36 22192 22192 196048 42.4 159 21.1 0
1790.02/1790.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.02/1790.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.02/1790.05 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.02/1790.05 c applied globally : - - - 1253960 21.7 - - -
1790.02/1790.05 c applied locally : - - - 0 0.0 - - -
1790.02/1790.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.02/1790.05 c cut pool : 0.00 5 - - 28 - (maximal pool size: 499)
1790.02/1790.05 c redcost : 40.79 535919 0 93902 0 0
1790.02/1790.05 c impliedbounds : 0.00 6 0 0 0 0
1790.02/1790.05 c intobj : 0.00 0 0 0 0 0
1790.02/1790.05 c cgmip : 0.00 0 0 0 0 0
1790.02/1790.05 c gomory : 0.10 6 0 0 1170 0
1790.02/1790.05 c strongcg : 0.10 6 0 0 1490 0
1790.02/1790.05 c cmir : 0.02 6 0 0 0 0
1790.02/1790.05 c flowcover : 0.06 6 0 0 0 0
1790.02/1790.05 c clique : 0.00 6 0 0 0 0
1790.02/1790.05 c zerohalf : 0.00 0 0 0 0 0
1790.02/1790.05 c mcf : 0.00 1 0 0 0 0
1790.02/1790.05 c rapidlearning : 0.07 1 0 0 0 0
1790.02/1790.05 c Pricers : Time Calls Vars
1790.02/1790.05 c problem variables: 0.00 0 0
1790.02/1790.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.02/1790.05 c relpscost : 22.75 502520 37 547 0 0 1004108
1790.02/1790.05 c pscost : 0.00 0 0 0 0 0 0
1790.02/1790.05 c inference : 2.64 9562 0 0 0 0 19435
1790.02/1790.05 c mostinf : 0.00 0 0 0 0 0 0
1790.02/1790.05 c leastinf : 0.00 0 0 0 0 0 0
1790.02/1790.05 c fullstrong : 0.00 0 0 0 0 0 0
1790.02/1790.05 c allfullstrong : 0.00 0 0 0 0 0 0
1790.02/1790.05 c random : 0.00 0 0 0 0 0 0
1790.02/1790.05 c Primal Heuristics : Time Calls Found
1790.02/1790.05 c LP solutions : 0.04 - 37
1790.02/1790.05 c pseudo solutions : 0.00 - 0
1790.02/1790.05 c intshifting : 0.01 0 0
1790.02/1790.05 c feaspump : 0.02 1 0
1790.02/1790.05 c oneopt : 0.38 30 0
1790.02/1790.05 c veclendiving : 0.09 75 0
1790.02/1790.05 c linesearchdiving : 0.09 75 0
1790.02/1790.05 c guideddiving : 0.10 75 0
1790.02/1790.05 c fracdiving : 0.10 76 0
1790.02/1790.05 c coefdiving : 0.14 76 0
1790.02/1790.05 c pscostdiving : 0.12 76 0
1790.02/1790.05 c crossover : 1.48 37 0
1790.02/1790.05 c rootsoldiving : 0.13 67 0
1790.02/1790.05 c objpscostdiving : 0.11 68 0
1790.02/1790.05 c trivial : 0.00 2 0
1790.02/1790.05 c simplerounding : 0.71 503018 0
1790.02/1790.05 c zirounding : 0.33 1000 0
1790.02/1790.05 c rounding : 0.94 10048 0
1790.02/1790.05 c shifting : 0.67 3104 0
1790.02/1790.05 c twoopt : 0.00 0 0
1790.02/1790.05 c fixandinfer : 0.00 0 0
1790.02/1790.05 c intdiving : 0.00 0 0
1790.02/1790.05 c actconsdiving : 0.00 0 0
1790.02/1790.05 c octane : 0.00 0 0
1790.02/1790.05 c rens : 0.03 1 0
1790.02/1790.05 c rins : 0.00 0 0
1790.02/1790.05 c localbranching : 0.00 0 0
1790.02/1790.05 c mutation : 0.00 0 0
1790.02/1790.05 c dins : 0.00 0 0
1790.02/1790.05 c undercover : 0.00 0 0
1790.02/1790.05 c nlp : 0.14 0 0
1790.02/1790.05 c trysol : 0.33 210 101
1790.02/1790.05 c LP : Time Calls Iterations Iter/call Iter/sec
1790.02/1790.05 c primal LP : 0.00 0 0 0.00 -
1790.02/1790.05 c dual LP : 636.42 546448 5407992 9.90 8497.58
1790.02/1790.05 c lex dual LP : 0.00 0 0 0.00 -
1790.02/1790.05 c barrier LP : 0.00 0 0 0.00 -
1790.02/1790.05 c diving/probing LP: 0.23 124 2249 18.14 9586.00
1790.02/1790.05 c strong branching : 18.64 7345 208011 28.32 11160.87
1790.02/1790.05 c (at root node) : - 25 12820 512.80 -
1790.02/1790.05 c conflict analysis: 0.00 0 0 0.00 -
1790.02/1790.05 c B&B Tree :
1790.02/1790.05 c number of runs : 1
1790.02/1790.05 c nodes : 947398
1790.02/1790.05 c nodes (total) : 947398
1790.02/1790.05 c nodes left : 5149
1790.02/1790.05 c max depth : 1452
1790.02/1790.05 c max depth (total): 1452
1790.02/1790.05 c backtracks : 69533 (7.3%)
1790.02/1790.05 c delayed cutoffs : 60449
1790.02/1790.05 c repropagations : 3235029 (6791195 domain reductions, 56647 cutoffs)
1790.02/1790.05 c avg switch length: 8.26
1790.02/1790.05 c switching time : 236.75
1790.02/1790.05 c Solution :
1790.02/1790.05 c Solutions found : 138 (38 improvements)
1790.02/1790.05 c First Solution : +9.07310000000000e+04 (in run 1, after 37 nodes, 5.98 seconds, depth 23, found by <trysol>)
1790.02/1790.05 c Primal Bound : +1.60000000000000e+01 (in run 1, after 914800 nodes, 1727.36 seconds, depth 41, found by <relaxation>)
1790.02/1790.05 c Dual Bound : +0.00000000000000e+00
1790.02/1790.05 c Gap : infinite
1790.02/1790.05 c Root Dual Bound : +0.00000000000000e+00
1790.02/1790.05 c Root Iterations : 386
1790.12/1790.19 c Time complete: 1790.22.