0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2693525-1277908734.wbo>
0.00/0.03 c original problem has 3785 variables (2008 bin, 0 int, 0 impl, 1777 cont) and 4485 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.03/0.05 c presolving:
0.03/0.06 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.03/0.09 c (round 2) 0 del vars, 68 del conss, 1777 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.09/0.10 c (round 3) 53 del vars, 144 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.09/0.11 c (round 4) 118 del vars, 156 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 905 upgd conss, 1913 impls, 7 clqs
0.09/0.12 c (round 5) 130 del vars, 156 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 905 upgd conss, 1913 impls, 7 clqs
0.09/0.17 c (0.1s) probing: 101/1943 (5.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (6 rounds):
0.09/0.17 c 130 deleted vars, 156 deleted constraints, 1789 tightened bounds, 0 added holes, 76 changed sides, 0 changed coefficients
0.09/0.17 c 1913 implications, 7 cliques
0.09/0.17 c presolved problem has 3655 variables (1943 bin, 0 int, 0 impl, 1712 cont) and 4329 constraints
0.09/0.17 c 1712 constraints of type <indicator>
0.09/0.17 c 7 constraints of type <setppc>
0.09/0.17 c 1712 constraints of type <linear>
0.09/0.17 c 898 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.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 | 18 | - | 13M| 0 | 8 |3655 |4329 |3655 | 905 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 o 86784
0.19/0.20 c y 0.1s| 1 | 0 | 18 | - | 13M| 0 | 8 |3655 |4329 |3655 | 905 | 0 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.19/0.22 c 0.2s| 1 | 0 | 55 | - | 13M| 0 | 25 |3655 |4329 |3655 | 926 | 21 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.19/0.26 c 0.2s| 1 | 0 | 107 | - | 13M| 0 | 31 |3655 |4329 |3655 | 947 | 42 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.29/0.31 c 0.3s| 1 | 0 | 155 | - | 14M| 0 | 39 |3655 |4329 |3655 | 956 | 51 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.29/0.37 c 0.3s| 1 | 0 | 185 | - | 14M| 0 | 47 |3655 |4329 |3655 | 965 | 60 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.39/0.44 c 0.4s| 1 | 0 | 212 | - | 14M| 0 | 46 |3655 |4329 |3655 | 970 | 65 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.48/0.50 c 0.5s| 1 | 0 | 217 | - | 14M| 0 | 46 |3655 |4329 |3655 | 974 | 69 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.99/1.08 c 1.0s| 1 | 2 | 217 | - | 14M| 0 | 46 |3655 |4329 |3655 | 974 | 69 | 0 | 33 | 0.000000e+00 | 8.678400e+04 | Inf
18.08/18.19 c 17.8s| 10000 | 9988 | 9430 | 0.9 | 35M| 948 | 0 |3655 |4347 |3655 |1019 |1371 | 18 |1414 | 0.000000e+00 | 8.678400e+04 | Inf
29.59/29.66 c 29.2s| 20000 | 19984 | 11571 | 0.6 | 53M| 948 | 0 |3655 |4356 |3655 |1004 |1822 | 27 |1505 | 0.000000e+00 | 8.678400e+04 | Inf
30.89/30.98 o 1287
30.89/30.98 c *30.5s| 21092 | 18551 | 11998 | 0.6 | 51M| 948 | - |3655 |4436 |3655 |1010 |1913 | 107 |1525 | 0.000000e+00 | 1.287000e+03 | Inf
31.89/31.99 o 861
31.89/31.99 c *31.4s| 21707 | 14673 | 12884 | 0.6 | 45M| 948 | - |3655 |4436 |3655 |1014 |2135 | 107 |1545 | 0.000000e+00 | 8.610000e+02 | Inf
33.09/33.13 o 858
33.09/33.13 c *32.5s| 22329 | 15241 | 14497 | 0.6 | 46M| 948 | - |3655 |4485 |3655 |1017 |2398 | 156 |1570 | 0.000000e+00 | 8.580000e+02 | Inf
33.39/33.42 o 824
33.39/33.42 c *32.8s| 22514 | 14816 | 14792 | 0.6 | 46M| 948 | - |3655 |4522 |3655 |1004 |2458 | 193 |1576 | 0.000000e+00 | 8.240000e+02 | Inf
34.89/34.95 o 797
34.89/34.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.89/34.95 c *34.3s| 23344 | 14895 | 16853 | 0.7 | 46M| 948 | - |3655 |4629 |3655 |1013 |2922 | 301 |1612 | 0.000000e+00 | 7.970000e+02 | Inf
34.89/34.97 o 795
34.89/34.97 c *34.3s| 23347 | 14859 | 16854 | 0.7 | 46M| 948 | - |3655 |4629 |3655 |1013 |2922 | 301 |1612 | 0.000000e+00 | 7.950000e+02 | Inf
34.89/34.98 o 767
34.89/34.98 c *34.3s| 23348 | 14195 | 16854 | 0.7 | 45M| 948 | - |3655 |4629 |3655 |1013 |2922 | 301 |1612 | 0.000000e+00 | 7.670000e+02 | Inf
35.59/35.61 o 762
35.59/35.61 c *35.0s| 23731 | 14431 | 17520 | 0.7 | 46M| 948 | - |3655 |4680 |3655 |1010 |3032 | 357 |1617 | 0.000000e+00 | 7.620000e+02 | Inf
35.69/35.79 o 728
35.69/35.79 c *35.1s| 23825 | 13724 | 17644 | 0.7 | 44M| 948 | - |3655 |4694 |3655 |1035 |3067 | 371 |1618 | 0.000000e+00 | 7.280000e+02 | Inf
35.79/35.81 o 718
35.79/35.81 c *35.1s| 23826 | 13559 | 17657 | 0.7 | 44M| 948 | - |3655 |4694 |3655 |1037 |3069 | 371 |1620 | 0.000000e+00 | 7.180000e+02 | Inf
37.59/37.68 o 634
37.59/37.68 c *37.0s| 25135 | 12479 | 18421 | 0.7 | 42M| 948 | - |3655 |4689 |3655 |1016 |3247 | 389 |1628 | 0.000000e+00 | 6.340000e+02 | Inf
39.79/39.82 o 617
39.79/39.82 c *39.1s| 26501 | 13199 | 19945 | 0.7 | 44M| 948 | - |3655 |4810 |3655 | 998 |3600 | 544 |1648 | 0.000000e+00 | 6.170000e+02 | Inf
39.79/39.83 o 615
39.79/39.83 c *39.1s| 26502 | 13138 | 19947 | 0.7 | 44M| 948 | - |3655 |4810 |3655 | 998 |3600 | 544 |1648 | 0.000000e+00 | 6.150000e+02 | Inf
40.89/40.93 o 551
40.89/40.93 c *40.1s| 26949 | 11848 | 21735 | 0.8 | 42M| 948 | - |3655 |5044 |3655 | 994 |4037 | 811 |1674 | 0.000000e+00 | 5.510000e+02 | Inf
41.09/41.17 o 503
41.09/41.17 c *40.4s| 27099 | 10749 | 21943 | 0.8 | 40M| 948 | - |3655 |5042 |3655 |1002 |4109 | 818 |1676 | 0.000000e+00 | 5.030000e+02 | Inf
41.19/41.24 o 499
41.19/41.24 c *40.5s| 27133 | 10657 | 22032 | 0.8 | 40M| 948 | - |3655 |5048 |3655 |1008 |4138 | 825 |1676 | 0.000000e+00 | 4.990000e+02 | Inf
41.29/41.31 o 483
41.29/41.31 c *40.5s| 27159 | 10285 | 22122 | 0.8 | 39M| 948 | - |3655 |5060 |3655 |1006 |4165 | 839 |1676 | 0.000000e+00 | 4.830000e+02 | Inf
41.39/41.42 o 469
41.39/41.42 c *40.6s| 27240 | 9955 | 22152 | 0.8 | 39M| 948 | - |3655 |5063 |3655 |1001 |4165 | 844 |1676 | 0.000000e+00 | 4.690000e+02 | Inf
41.49/41.59 o 439
41.49/41.59 c *40.8s| 27322 | 9121 | 22305 | 0.8 | 37M| 948 | - |3655 |5078 |3655 |1007 |4240 | 866 |1676 | 0.000000e+00 | 4.390000e+02 | Inf
41.59/41.68 o 403
41.59/41.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.59/41.68 c *40.9s| 27356 | 8134 | 22392 | 0.8 | 36M| 948 | - |3655 |5085 |3655 |1013 |4274 | 874 |1676 | 0.000000e+00 | 4.030000e+02 | Inf
41.70/41.74 o 379
41.70/41.74 c *40.9s| 27373 | 7559 | 22485 | 0.8 | 35M| 948 | - |3655 |5084 |3655 |1018 |4313 | 874 |1676 | 0.000000e+00 | 3.790000e+02 | Inf
41.80/41.82 o 371
41.80/41.82 c *41.0s| 27399 | 7377 | 22580 | 0.8 | 34M| 948 | - |3655 |5094 |3655 |1004 |4331 | 891 |1678 | 0.000000e+00 | 3.710000e+02 | Inf
42.39/42.47 o 337
42.39/42.47 c *41.6s| 27683 | 6629 | 23450 | 0.8 | 33M| 948 | - |3655 |5162 |3655 |1005 |4562 |1003 |1680 | 0.000000e+00 | 3.370000e+02 | Inf
42.39/42.48 o 325
42.39/42.48 c *41.7s| 27684 | 6269 | 23450 | 0.8 | 33M| 948 | - |3655 |5162 |3655 |1005 |4562 |1003 |1680 | 0.000000e+00 | 3.250000e+02 | Inf
42.49/42.56 o 316
42.49/42.56 c *41.7s| 27719 | 6036 | 23591 | 0.8 | 33M| 948 | - |3655 |5160 |3655 |1016 |4591 |1006 |1680 | 0.000000e+00 | 3.160000e+02 | Inf
42.59/42.60 o 314
42.59/42.60 c *41.8s| 27738 | 5975 | 23601 | 0.8 | 32M| 948 | - |3655 |5160 |3655 |1017 |4592 |1006 |1680 | 0.000000e+00 | 3.140000e+02 | Inf
43.29/43.38 o 311
43.29/43.38 c *42.5s| 28070 | 6109 | 25001 | 0.9 | 33M| 948 | - |3655 |5219 |3655 |1002 |4943 |1163 |1689 | 0.000000e+00 | 3.110000e+02 | Inf
43.29/43.39 o 269
43.29/43.39 c *42.5s| 28071 | 4782 | 25001 | 0.9 | 31M| 948 | - |3655 |5218 |3655 |1002 |4943 |1163 |1689 | 0.000000e+00 | 2.690000e+02 | Inf
43.69/43.74 o 247
43.69/43.74 c *42.9s| 28264 | 4230 | 25477 | 0.9 | 29M| 948 | - |3655 |5349 |3655 |1006 |5030 |1345 |1689 | 0.000000e+00 | 2.470000e+02 | Inf
43.69/43.75 o 230
43.69/43.75 c *42.9s| 28265 | 3792 | 25477 | 0.9 | 29M| 948 | - |3655 |5349 |3655 |1006 |5030 |1345 |1689 | 0.000000e+00 | 2.300000e+02 | Inf
43.79/43.88 o 226
43.79/43.88 c *43.0s| 28307 | 3737 | 25727 | 0.9 | 29M| 948 | - |3655 |5358 |3655 |1013 |5113 |1365 |1689 | 0.000000e+00 | 2.260000e+02 | Inf
43.89/43.91 o 162
43.89/43.91 c *43.1s| 28320 | 2381 | 25731 | 0.9 | 26M| 948 | - |3655 |5358 |3655 |1013 |5113 |1365 |1689 | 0.000000e+00 | 1.620000e+02 | Inf
44.19/44.25 o 159
44.19/44.25 c *43.4s| 28433 | 2371 | 26354 | 0.9 | 26M| 948 | - |3655 |5311 |3655 |1029 |5237 |1419 |1691 | 0.000000e+00 | 1.590000e+02 | Inf
44.39/44.44 o 153
44.39/44.44 c *43.6s| 28550 | 2322 | 26494 | 0.9 | 27M| 948 | - |3655 |5276 |3655 |1032 |5262 |1434 |1691 | 0.000000e+00 | 1.530000e+02 | Inf
44.39/44.49 o 142
44.39/44.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.39/44.49 c *43.6s| 28562 | 2102 | 26613 | 0.9 | 26M| 948 | - |3655 |5272 |3655 |1009 |5264 |1434 |1693 | 0.000000e+00 | 1.420000e+02 | Inf
44.39/44.49 o 134
44.39/44.49 c *43.6s| 28563 | 1983 | 26613 | 0.9 | 26M| 948 | - |3655 |5272 |3655 |1009 |5264 |1434 |1693 | 0.000000e+00 | 1.340000e+02 | Inf
44.69/44.73 o 132
44.69/44.73 c *43.9s| 28645 | 1962 | 26964 | 0.9 | 26M| 948 | - |3655 |5209 |3655 | 999 |5304 |1479 |1699 | 0.000000e+00 | 1.320000e+02 | Inf
44.69/44.77 o 120
44.69/44.77 c *43.9s| 28655 | 1830 | 27044 | 0.9 | 26M| 948 | - |3655 |5202 |3655 |1008 |5319 |1481 |1699 | 0.000000e+00 | 1.200000e+02 | Inf
44.69/44.78 o 109
44.69/44.78 c *43.9s| 28656 | 1719 | 27051 | 0.9 | 25M| 948 | - |3655 |5202 |3655 |1009 |5320 |1481 |1699 | 0.000000e+00 | 1.090000e+02 | Inf
44.79/44.80 o 101
44.79/44.80 c *43.9s| 28658 | 1635 | 27070 | 0.9 | 25M| 948 | - |3655 |5196 |3655 | 999 |5320 |1481 |1699 | 0.000000e+00 | 1.010000e+02 | Inf
44.79/44.86 o 82
44.79/44.86 c *44.0s| 28672 | 1013 | 27212 | 0.9 | 24M| 948 | - |3655 |5189 |3655 |1002 |5336 |1486 |1700 | 0.000000e+00 | 8.200000e+01 | Inf
49.29/49.38 c 48.4s| 30000 | 1180 | 44772 | 1.5 | 26M| 948 | 14 |3655 |5407 |3655 | 997 |6593 |2997 |1776 | 0.000000e+00 | 8.200000e+01 | Inf
50.19/50.27 o 78
50.19/50.27 c *49.2s| 30282 | 1182 | 47642 | 1.6 | 27M| 948 | - |3655 |5579 |3655 | 994 |6883 |3341 |1785 | 0.000000e+00 | 7.800000e+01 | Inf
60.69/60.76 o 38
60.69/60.76 c *59.4s| 33901 | 1007 | 82800 | 2.4 | 30M| 948 | - |3655 |6366 |3655 | 990 |9422 |7779 |1817 | 0.000000e+00 | 3.800000e+01 | Inf
60.69/60.76 o 30
60.69/60.76 c *59.5s| 33902 | 904 | 82800 | 2.4 | 29M| 948 | - |3655 |6366 |3655 | 990 |9422 |7779 |1817 | 0.000000e+00 | 3.000000e+01 | Inf
71.29/71.30 o 23
71.29/71.30 c *69.7s| 38559 | 994 |121773 | 3.2 | 31M| 948 | - |3655 |7133 |3655 | 989 | 11k| 13k|1835 | 0.000000e+00 | 2.300000e+01 | Inf
74.19/74.25 c 72.5s| 40000 | 1029 |131190 | 3.3 | 32M| 948 | - |3655 |7731 | 0 | 0 | 11k| 15k|1835 | 0.000000e+00 | 2.300000e+01 | Inf
74.49/74.54 o 18
74.49/74.54 c *72.8s| 40156 | 935 |132014 | 3.3 | 31M| 948 | - |3655 |7862 |3655 | 987 | 11k| 15k|1835 | 0.000000e+00 | 1.800000e+01 | Inf
76.59/76.63 o 14
76.59/76.63 c *74.8s| 41086 | 952 |139797 | 3.4 | 31M| 948 | - |3655 |7913 |3655 | 998 | 12k| 16k|1835 | 0.000000e+00 | 1.400000e+01 | Inf
82.69/82.80 o 13
82.69/82.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.69/82.80 c *80.8s| 43912 | 934 |161132 | 3.7 | 31M| 948 | - |3655 |7585 |3655 |1007 | 13k| 20k|1835 | 0.000000e+00 | 1.300000e+01 | Inf
96.00/96.04 c 93.6s| 50000 | 1120 |209445 | 4.2 | 34M| 948 | 7 |3655 |9262 |3655 | 989 | 17k| 28k|1835 | 0.000000e+00 | 1.300000e+01 | Inf
96.70/96.76 o 12
96.70/96.76 c *94.3s| 50385 | 1112 |211480 | 4.2 | 34M| 948 | - |3655 |9550 |3655 |1004 | 17k| 28k|1835 | 0.000000e+00 | 1.200000e+01 | Inf
102.29/102.36 o 9
102.29/102.36 c *99.7s| 52870 | 1077 |230774 | 4.4 | 34M| 948 | - |3655 |9703 |3655 | 997 | 18k| 31k|1835 | 0.000000e+00 | 9.000000e+00 | Inf
106.09/106.19 o 8
106.09/106.19 c * 103s| 54620 | 1007 |244323 | 4.5 | 33M| 948 | - |3655 |9144 |3655 | 995 | 18k| 34k|1835 | 0.000000e+00 | 8.000000e+00 | Inf
117.90/117.94 c 115s| 60000 | 956 |285894 | 4.8 | 33M| 948 | 1 |3655 |7299 |3655 |1005 | 21k| 41k|1911 | 0.000000e+00 | 8.000000e+00 | Inf
141.29/141.36 c 137s| 70000 | 861 |382115 | 5.5 | 33M| 948 | 7 |3655 |6479 |3655 | 985 | 25k| 54k|2195 | 0.000000e+00 | 8.000000e+00 | Inf
163.89/163.91 c 159s| 80000 | 814 |479552 | 6.0 | 34M| 948 | - |3655 |8222 | 0 | 0 | 30k| 67k|2465 | 0.000000e+00 | 8.000000e+00 | Inf
178.40/178.41 o 7
178.40/178.41 c * 173s| 86929 | 681 |530284 | 6.1 | 33M| 948 | - |3655 |8735 |3655 |1004 | 32k| 77k|2591 | 0.000000e+00 | 7.000000e+00 | Inf
185.10/185.17 c 180s| 90000 | 647 |553837 | 6.2 | 33M| 948 | 10 |3655 |8672 |3655 | 973 | 33k| 81k|2682 | 0.000000e+00 | 7.000000e+00 | Inf
206.99/207.06 c 201s|100000 | 679 |633388 | 6.3 | 35M| 965 | 19 |3655 | 13k|3655 | 986 | 35k| 93k|2857 | 0.000000e+00 | 7.000000e+00 | Inf
227.39/227.44 c 221s|110000 | 686 |709726 | 6.5 | 37M| 965 | 9 |3655 | 15k|3655 |1019 | 37k| 107k|3006 | 0.000000e+00 | 7.000000e+00 | Inf
248.29/248.34 c 241s|120000 | 682 |790432 | 6.6 | 37M| 965 | - |3655 | 17k| 0 | 0 | 39k| 121k|3144 | 0.000000e+00 | 7.000000e+00 | Inf
269.79/269.85 c 262s|130000 | 663 |867379 | 6.7 | 38M| 965 | - |3655 | 17k| 0 | 0 | 42k| 134k|3272 | 0.000000e+00 | 7.000000e+00 | Inf
290.30/290.39 c 282s|140000 | 713 |937029 | 6.7 | 39M| 965 | 1 |3655 | 19k|3655 | 996 | 44k| 147k|3428 | 0.000000e+00 | 7.000000e+00 | Inf
311.59/311.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
311.59/311.69 c 303s|150000 | 732 | 1008k| 6.7 | 40M| 965 | 1 |3655 | 20k|3655 |1002 | 46k| 160k|3497 | 0.000000e+00 | 7.000000e+00 | Inf
334.09/334.19 c 325s|160000 | 761 | 1087k| 6.8 | 40M| 965 | - |3655 | 19k|3655 | 987 | 48k| 173k|3693 | 0.000000e+00 | 7.000000e+00 | Inf
357.89/357.93 c 348s|170000 | 773 | 1174k| 6.9 | 42M| 965 | 8 |3655 | 22k|3655 |1004 | 50k| 187k|3831 | 0.000000e+00 | 7.000000e+00 | Inf
382.69/382.79 c 372s|180000 | 798 | 1268k| 7.0 | 43M| 965 | - |3655 | 23k| 0 | 0 | 52k| 201k|4020 | 0.000000e+00 | 7.000000e+00 | Inf
407.20/407.26 c 396s|190000 | 719 | 1355k| 7.1 | 41M| 965 | 29 |3655 | 20k|3655 | 973 | 54k| 214k|4144 | 0.000000e+00 | 7.000000e+00 | Inf
432.50/432.51 c 421s|200000 | 790 | 1455k| 7.3 | 43M| 965 | 1 |3655 | 24k|3655 | 984 | 56k| 228k|4305 | 0.000000e+00 | 7.000000e+00 | Inf
457.19/457.20 c 445s|210000 | 787 | 1546k| 7.4 | 43M| 965 | - |3655 | 22k| 0 | 0 | 58k| 242k|4425 | 0.000000e+00 | 7.000000e+00 | Inf
481.79/481.85 c 469s|220000 | 995 | 1633k| 7.4 | 45M| 965 | 32 |3655 | 25k|3655 | 998 | 60k| 255k|4521 | 0.000000e+00 | 7.000000e+00 | Inf
506.08/506.10 c 493s|230000 | 1080 | 1718k| 7.5 | 46M| 965 | 32 |3655 | 25k|3655 |1003 | 62k| 270k|4649 | 0.000000e+00 | 7.000000e+00 | Inf
530.38/530.46 c 517s|240000 | 1078 | 1799k| 7.5 | 47M| 965 | - |3655 | 24k| 0 | 0 | 64k| 285k|4774 | 0.000000e+00 | 7.000000e+00 | Inf
553.99/554.02 c 540s|250000 | 1074 | 1874k| 7.5 | 47M| 965 | 17 |3655 | 26k|3655 |1015 | 66k| 299k|4881 | 0.000000e+00 | 7.000000e+00 | Inf
579.49/579.60 c 564s|260000 | 1037 | 1963k| 7.6 | 47M| 965 | 29 |3655 | 25k|3655 |1009 | 68k| 314k|4986 | 0.000000e+00 | 7.000000e+00 | Inf
603.29/603.31 c 588s|270000 | 1046 | 2045k| 7.6 | 48M| 965 | - |3655 | 26k| 0 | 0 | 70k| 328k|5075 | 0.000000e+00 | 7.000000e+00 | Inf
627.59/627.60 c 611s|280000 | 1035 | 2126k| 7.6 | 48M| 965 | 24 |3655 | 27k|3655 | 999 | 72k| 342k|5176 | 0.000000e+00 | 7.000000e+00 | Inf
652.30/652.31 c 636s|290000 | 967 | 2208k| 7.6 | 48M| 965 | - |3655 | 26k| 0 | 0 | 74k| 356k|5263 | 0.000000e+00 | 7.000000e+00 | Inf
677.29/677.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
677.29/677.30 c 660s|300000 | 928 | 2293k| 7.6 | 48M| 965 | 18 |3655 | 27k|3655 | 989 | 75k| 370k|5352 | 0.000000e+00 | 7.000000e+00 | Inf
701.89/701.97 c 684s|310000 | 910 | 2368k| 7.6 | 48M| 965 | 13 |3655 | 29k|3655 | 989 | 77k| 384k|5439 | 0.000000e+00 | 7.000000e+00 | Inf
727.79/727.84 c 709s|320000 | 926 | 2461k| 7.7 | 48M| 965 | 15 |3655 | 27k|3655 |1003 | 80k| 398k|5543 | 0.000000e+00 | 7.000000e+00 | Inf
752.40/752.43 c 733s|330000 | 931 | 2525k| 7.7 | 49M| 965 | - |3655 | 29k| 0 | 0 | 82k| 413k|5615 | 0.000000e+00 | 7.000000e+00 | Inf
777.60/777.69 c 758s|340000 | 920 | 2599k| 7.6 | 49M| 965 | 17 |3655 | 28k|3655 | 998 | 84k| 427k|5702 | 0.000000e+00 | 7.000000e+00 | Inf
803.90/804.00 c 784s|350000 | 861 | 2688k| 7.7 | 47M| 965 | 22 |3655 | 23k|3655 |1002 | 86k| 441k|5802 | 0.000000e+00 | 7.000000e+00 | Inf
827.29/827.38 o 5
827.29/827.38 c * 807s|359179 | 760 | 2768k| 7.7 | 45M| 965 | - |3655 | 24k|3655 | 995 | 88k| 454k|5963 | 0.000000e+00 | 5.000000e+00 | Inf
829.41/829.42 c 809s|360000 | 775 | 2774k| 7.7 | 45M| 965 | 1 |3655 | 24k|3655 | 999 | 89k| 455k|5993 | 0.000000e+00 | 5.000000e+00 | Inf
831.00/831.07 o 4
831.00/831.07 c * 810s|360706 | 703 | 2778k| 7.7 | 44M| 965 | - |3655 | 24k|3655 | 997 | 89k| 456k|5999 | 0.000000e+00 | 4.000000e+00 | Inf
853.60/853.64 c 832s|370000 | 692 | 2856k| 7.7 | 42M| 965 | - |3655 | 20k| 0 | 0 | 91k| 468k|6072 | 0.000000e+00 | 4.000000e+00 | Inf
875.39/875.50 c 854s|380000 | 638 | 2930k| 7.7 | 41M| 965 | - |3655 | 18k| 0 | 0 | 94k| 483k|6140 | 0.000000e+00 | 4.000000e+00 | Inf
896.80/896.87 c 874s|390000 | 638 | 3001k| 7.7 | 41M| 965 | - |3655 | 20k| 0 | 0 | 97k| 496k|6207 | 0.000000e+00 | 4.000000e+00 | Inf
918.10/918.14 c 895s|400000 | 650 | 3054k| 7.6 | 43M| 965 | 14 |3655 | 25k|3655 |1004 | 100k| 510k|6246 | 0.000000e+00 | 4.000000e+00 | Inf
941.60/941.68 c 918s|410000 | 711 | 3107k| 7.6 | 45M| 965 | 1 |3655 | 28k|3655 | 997 | 103k| 523k|6298 | 0.000000e+00 | 4.000000e+00 | Inf
965.60/965.63 c 942s|420000 | 679 | 3160k| 7.5 | 46M| 965 | 1 |3655 | 31k|3655 |1001 | 106k| 537k|6357 | 0.000000e+00 | 4.000000e+00 | Inf
990.00/990.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
990.00/990.05 c 966s|430000 | 630 | 3216k| 7.5 | 45M| 965 | - |3655 | 29k| 0 | 0 | 109k| 551k|6421 | 0.000000e+00 | 4.000000e+00 | Inf
1014.10/1014.16 c 989s|440000 | 596 | 3272k| 7.4 | 44M| 965 | 7 |3655 | 26k|3655 | 970 | 112k| 564k|6483 | 0.000000e+00 | 4.000000e+00 | Inf
1038.80/1038.86 c 1013s|450000 | 621 | 3339k| 7.4 | 45M| 965 | 22 |3655 | 29k|3655 | 994 | 116k| 577k|6531 | 0.000000e+00 | 4.000000e+00 | Inf
1039.41/1039.41 o 1
1039.41/1039.41 c *1014s|450261 | 543 | 3341k| 7.4 | 44M| 965 | - |3655 | 29k|3655 |1000 | 116k| 577k|6531 | 0.000000e+00 | 1.000000e-00 | Inf
1062.70/1062.75 c 1037s|460000 | 563 | 3402k| 7.4 | 44M| 965 | 7 |3655 | 29k|3655 | 998 | 119k| 591k|6576 | 0.000000e+00 | 1.000000e-00 | Inf
1087.00/1087.05 c 1060s|470000 | 578 | 3462k| 7.4 | 45M| 965 | 16 |3655 | 31k|3655 |1005 | 121k| 605k|6627 | 0.000000e+00 | 1.000000e-00 | Inf
1111.40/1111.45 c 1084s|480000 | 507 | 3525k| 7.3 | 42M| 965 | 12 |3655 | 27k|3655 |1011 | 124k| 619k|6690 | 0.000000e+00 | 1.000000e-00 | Inf
1136.60/1136.62 c 1109s|490000 | 541 | 3588k| 7.3 | 44M| 965 | 5 |3655 | 31k|3655 |1000 | 126k| 632k|6721 | 0.000000e+00 | 1.000000e-00 | Inf
1163.41/1163.46 c 1135s|500000 | 598 | 3657k| 7.3 | 45M| 965 | 15 |3655 | 33k|3655 |1005 | 129k| 645k|6769 | 0.000000e+00 | 1.000000e-00 | Inf
1190.71/1190.72 c 1162s|510000 | 660 | 3725k| 7.3 | 46M| 965 | 14 |3655 | 34k|3655 | 991 | 132k| 659k|6804 | 0.000000e+00 | 1.000000e-00 | Inf
1218.31/1218.37 c 1189s|520000 | 758 | 3800k| 7.3 | 49M| 965 | 16 |3655 | 38k|3655 |1008 | 134k| 674k|6852 | 0.000000e+00 | 1.000000e-00 | Inf
1247.31/1247.35 c 1218s|530000 | 721 | 3879k| 7.3 | 48M| 965 | 17 |3655 | 36k|3655 |1023 | 136k| 688k|6916 | 0.000000e+00 | 1.000000e-00 | Inf
1277.31/1277.36 c 1247s|540000 | 724 | 3956k| 7.3 | 49M| 965 | - |3655 | 38k| 0 | 0 | 137k| 702k|6968 | 0.000000e+00 | 1.000000e-00 | Inf
1306.21/1306.20 c 1275s|550000 | 761 | 4025k| 7.3 | 50M| 965 | 21 |3655 | 39k|3655 | 997 | 139k| 716k|7024 | 0.000000e+00 | 1.000000e-00 | Inf
1333.31/1333.32 c 1302s|560000 | 761 | 4088k| 7.3 | 50M| 965 | - |3655 | 39k| 0 | 0 | 142k| 730k|7069 | 0.000000e+00 | 1.000000e-00 | Inf
1361.91/1361.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1361.91/1361.93 c 1330s|570000 | 855 | 4163k| 7.3 | 51M| 965 | 17 |3655 | 41k|3655 |1017 | 144k| 745k|7108 | 0.000000e+00 | 1.000000e-00 | Inf
1390.11/1390.15 c 1358s|580000 | 934 | 4226k| 7.3 | 52M| 965 | 17 |3655 | 42k|3655 |1005 | 146k| 759k|7147 | 0.000000e+00 | 1.000000e-00 | Inf
1418.82/1418.89 c 1386s|590000 | 938 | 4292k| 7.3 | 52M| 965 | 28 |3655 | 41k|3655 |1023 | 148k| 774k|7203 | 0.000000e+00 | 1.000000e-00 | Inf
1447.41/1447.40 c 1414s|600000 | 1034 | 4362k| 7.3 | 54M| 965 | 11 |3655 | 43k|3655 |1004 | 150k| 789k|7258 | 0.000000e+00 | 1.000000e-00 | Inf
1475.42/1475.50 c 1442s|610000 | 1049 | 4432k| 7.3 | 55M| 965 | 15 |3655 | 45k|3655 |1024 | 152k| 804k|7302 | 0.000000e+00 | 1.000000e-00 | Inf
1503.42/1503.49 c 1469s|620000 | 961 | 4495k| 7.3 | 54M| 965 | - |3655 | 45k| 0 | 0 | 154k| 820k|7337 | 0.000000e+00 | 1.000000e-00 | Inf
1531.72/1531.74 c 1497s|630000 | 920 | 4560k| 7.2 | 53M| 965 | 1 |3655 | 42k|3655 | 991 | 156k| 835k|7360 | 0.000000e+00 | 1.000000e-00 | Inf
1560.82/1560.82 c 1525s|640000 | 907 | 4614k| 7.2 | 53M| 965 | - |3655 | 42k| 0 | 0 | 157k| 850k|7421 | 0.000000e+00 | 1.000000e-00 | Inf
1589.53/1589.58 c 1553s|650000 | 928 | 4666k| 7.2 | 56M| 965 | - |3655 | 48k| 0 | 0 | 159k| 864k|7474 | 0.000000e+00 | 1.000000e-00 | Inf
1618.52/1618.51 c 1582s|660000 | 883 | 4722k| 7.2 | 55M| 965 | - |3655 | 46k| 0 | 0 | 161k| 879k|7488 | 0.000000e+00 | 1.000000e-00 | Inf
1647.12/1647.10 c 1610s|670000 | 863 | 4782k| 7.1 | 55M| 965 | - |3655 | 46k| 0 | 0 | 163k| 894k|7540 | 0.000000e+00 | 1.000000e-00 | Inf
1677.53/1677.54 c 1640s|680000 | 838 | 4846k| 7.1 | 52M| 965 | - |3655 | 41k| 0 | 0 | 165k| 909k|7593 | 0.000000e+00 | 1.000000e-00 | Inf
1709.34/1709.36 c 1671s|690000 | 834 | 4923k| 7.1 | 54M| 965 | - |3655 | 45k|3655 |1040 | 167k| 924k|7641 | 0.000000e+00 | 1.000000e-00 | Inf
1738.22/1738.29 c 1699s|700000 | 781 | 4987k| 7.1 | 53M| 965 | 16 |3655 | 45k|3655 |1008 | 169k| 938k|7664 | 0.000000e+00 | 1.000000e-00 | Inf
1765.92/1765.98 c 1726s|710000 | 738 | 5050k| 7.1 | 51M| 965 | 9 |3655 | 38k|3655 |1009 | 171k| 953k|7703 | 0.000000e+00 | 1.000000e-00 | Inf
1795.73/1795.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1795.73/1795.73 c 1756s|720000 | 660 | 5128k| 7.1 | 49M| 965 | - |3655 | 35k| 0 | 0 | 173k| 967k|7760 | 0.000000e+00 | 1.000000e-00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time (sec) : 1759.87
1800.04/1800.01 c Solving Nodes : 721560
1800.04/1800.01 c Primal Bound : +1.00000000000000e-00 (230 solutions)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.04 s SATISFIABLE
1800.04/1800.04 v -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.04/1800.04 v -x209 -x208 -x207 -x206 -x205 x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.04/1800.04 v -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.04/1800.04 v -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147
1800.04/1800.04 v -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.04/1800.04 v -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.04/1800.04 v -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.04/1800.04 v -x79 -x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54
1800.04/1800.04 v -x53 x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29
1800.04/1800.04 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 -x3 -x2
1800.04/1800.04 v -x1
1800.04/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.04 c Solving Time : 1759.87
1800.04/1800.04 c Original Problem :
1800.04/1800.04 c Problem name : HOME/instance-2693525-1277908734.wbo
1800.04/1800.04 c Variables : 3785 (2008 binary, 0 integer, 0 implicit integer, 1777 continuous)
1800.04/1800.04 c Constraints : 4485 initial, 4485 maximal
1800.04/1800.04 c Presolved Problem :
1800.04/1800.04 c Problem name : t_HOME/instance-2693525-1277908734.wbo
1800.04/1800.04 c Variables : 3655 (1943 binary, 0 integer, 0 implicit integer, 1712 continuous)
1800.04/1800.04 c Constraints : 4329 initial, 48878 maximal
1800.04/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.04 c trivial : 0.00 65 0 0 0 0 0 0 0
1800.04/1800.04 c dualfix : 0.00 65 0 0 0 0 0 0 0
1800.04/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c probing : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.04 c indicator : 0.00 0 0 0 0 0 65 0 0
1800.04/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c linear : 0.07 0 0 0 1789 0 91 76 0
1800.04/1800.04 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c root node : - 1712 - - 3424 - - - -
1800.04/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.04 c integral : 0 0 0 427918 0 34 771 0 0 751410
1800.04/1800.04 c indicator : 1712 0 2283931 43605 0 75 818928 0 0 0
1800.04/1800.04 c setppc : 7 6 3671202 39604 0 20576 987280 0 0 0
1800.04/1800.04 c linear : 1712 6 3668670 51418 0 162185 15894121 173786 0 0
1800.04/1800.04 c logicor : 898+ 6 1353374 27256 0 161761 3505888 0 0 0
1800.04/1800.04 c countsols : 0 0 0 27256 0 0 0 0 0 0
1800.04/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.04 c integral : 23.26 0.00 0.00 23.26 0.00
1800.04/1800.04 c indicator : 8.60 0.00 4.89 3.71 0.00
1800.04/1800.04 c setppc : 9.29 0.00 9.27 0.02 0.00
1800.04/1800.04 c linear : 135.50 0.00 132.83 2.67 0.00
1800.04/1800.04 c logicor : 353.19 0.00 352.70 0.49 0.00
1800.04/1800.04 c countsols : 0.01 0.00 0.00 0.01 0.00
1800.04/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.04 c vbounds : 1.07 2 0 0
1800.04/1800.04 c rootredcost : 0.91 56 0 1712
1800.04/1800.04 c pseudoobj : 117.37 3691012 1514 521384
1800.04/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.04 c propagation : 19.42 346036 345700 2157196 31.2 11546 26.6 -
1800.04/1800.04 c infeasible LP : 7.97 26416 26416 215390 45.9 301 16.5 0
1800.04/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c pseudo solution : 0.01 54 54 281 15.9 34 5.0 -
1800.04/1800.04 c applied globally : - - - 969296 24.9 - - -
1800.04/1800.04 c applied locally : - - - 0 0.0 - - -
1800.04/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.04 c cut pool : 0.00 5 - - 17 - (maximal pool size: 124)
1800.04/1800.04 c redcost : 20.54 429254 0 256616 0 0
1800.04/1800.04 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.04 c intobj : 0.00 0 0 0 0 0
1800.04/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.04 c gomory : 0.10 6 0 0 844 0
1800.04/1800.04 c strongcg : 0.07 6 0 0 142 0
1800.04/1800.04 c cmir : 0.03 6 0 0 0 0
1800.04/1800.04 c flowcover : 0.05 6 0 0 0 0
1800.04/1800.04 c clique : 0.01 6 0 0 0 0
1800.04/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.04 c mcf : 0.00 1 0 0 0 0
1800.04/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.04 c Pricers : Time Calls Vars
1800.04/1800.04 c problem variables: 0.00 0 0
1800.04/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.04 c relpscost : 22.91 376329 34 771 0 0 751410
1800.04/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.04 c inference : 3.99 27201 0 0 0 0 54402
1800.04/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.04 c random : 0.00 0 0 0 0 0 0
1800.04/1800.04 c Primal Heuristics : Time Calls Found
1800.04/1800.04 c LP solutions : 0.06 - 55
1800.04/1800.04 c pseudo solutions : 0.00 - 0
1800.04/1800.04 c feaspump : 0.01 1 0
1800.04/1800.04 c oneopt : 0.57 47 0
1800.04/1800.04 c intshifting : 0.01 6 0
1800.04/1800.04 c linesearchdiving : 0.08 103 0
1800.04/1800.04 c guideddiving : 0.10 103 0
1800.04/1800.04 c coefdiving : 0.17 103 0
1800.04/1800.04 c veclendiving : 0.13 104 0
1800.04/1800.04 c pscostdiving : 0.18 104 0
1800.04/1800.04 c fracdiving : 0.20 104 0
1800.04/1800.04 c crossover : 1.47 57 0
1800.04/1800.04 c rootsoldiving : 0.14 96 0
1800.04/1800.04 c objpscostdiving : 0.14 97 0
1800.04/1800.04 c trivial : 0.01 2 0
1800.04/1800.04 c simplerounding : 0.96 376752 0
1800.04/1800.04 c zirounding : 0.40 1000 0
1800.04/1800.04 c rounding : 1.48 8648 0
1800.04/1800.04 c shifting : 1.15 2687 0
1800.04/1800.04 c twoopt : 0.00 0 0
1800.04/1800.04 c fixandinfer : 0.00 0 0
1800.04/1800.04 c intdiving : 0.00 0 0
1800.04/1800.04 c actconsdiving : 0.00 0 0
1800.04/1800.04 c octane : 0.00 0 0
1800.04/1800.04 c rens : 0.02 1 0
1800.04/1800.04 c rins : 0.00 0 0
1800.04/1800.04 c localbranching : 0.00 0 0
1800.04/1800.04 c mutation : 0.00 0 0
1800.04/1800.04 c dins : 0.00 0 0
1800.04/1800.04 c undercover : 0.00 0 0
1800.04/1800.04 c nlp : 0.23 0 0
1800.04/1800.04 c trysol : 1.21 3604 175
1800.04/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.04 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.04 c dual LP : 577.37 427390 5136380 12.02 8896.17
1800.04/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.04 c diving/probing LP: 0.27 140 1526 10.90 5651.85
1800.04/1800.04 c strong branching : 18.28 7760 204827 26.40 11204.98
1800.04/1800.04 c (at root node) : - 33 7035 213.18 -
1800.04/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.04 c B&B Tree :
1800.04/1800.04 c number of runs : 1
1800.04/1800.04 c nodes : 721560
1800.04/1800.04 c nodes (total) : 721560
1800.04/1800.04 c nodes left : 665
1800.04/1800.04 c max depth : 965
1800.04/1800.04 c max depth (total): 965
1800.04/1800.04 c backtracks : 69468 (9.6%)
1800.04/1800.04 c delayed cutoffs : 55673
1800.04/1800.04 c repropagations : 1846503 (3670479 domain reductions, 53880 cutoffs)
1800.04/1800.04 c avg switch length: 6.46
1800.04/1800.04 c switching time : 270.00
1800.04/1800.04 c Solution :
1800.04/1800.04 c Solutions found : 230 (56 improvements)
1800.04/1800.04 c First Solution : +8.67840000000000e+04 (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>)
1800.04/1800.04 c Primal Bound : +1.00000000000000e-00 (in run 1, after 450261 nodes, 1013.84 seconds, depth 32, found by <relaxation>)
1800.04/1800.04 c Dual Bound : +0.00000000000000e+00
1800.04/1800.04 c Gap : infinite
1800.04/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.04 c Root Iterations : 217
1800.14/1800.11 c Time complete: 1800.14.