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-2692950-1277912246.wbo>
0.00/0.03 c original problem has 3909 variables (2070 bin, 0 int, 0 impl, 1839 cont) and 4547 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.05 c presolving:
0.05/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs
0.05/0.09 c (round 2) 0 del vars, 61 del conss, 1839 chg bounds, 47 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs
0.09/0.10 c (round 3) 47 del vars, 152 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs
0.09/0.11 c (round 4) 116 del vars, 174 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 833 upgd conss, 1965 impls, 9 clqs
0.09/0.12 c (round 5) 138 del vars, 174 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 833 upgd conss, 1965 impls, 9 clqs
0.09/0.17 c (0.1s) probing: 101/2001 (5.0%) - 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 138 deleted vars, 174 deleted constraints, 1861 tightened bounds, 0 added holes, 91 changed sides, 0 changed coefficients
0.09/0.17 c 1965 implications, 9 cliques
0.09/0.17 c presolved problem has 3771 variables (2001 bin, 0 int, 0 impl, 1770 cont) and 4373 constraints
0.09/0.17 c 1770 constraints of type <indicator>
0.09/0.17 c 9 constraints of type <setppc>
0.09/0.17 c 1770 constraints of type <linear>
0.09/0.17 c 824 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.10
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 | 10 | - | 13M| 0 | 6 |3771 |4373 |3771 | 833 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 o 88064
0.09/0.19 c y 0.1s| 1 | 0 | 10 | - | 14M| 0 | 6 |3771 |4373 |3771 | 833 | 0 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.19/0.21 c 0.1s| 1 | 0 | 68 | - | 14M| 0 | 26 |3771 |4373 |3771 | 849 | 16 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.19/0.25 c 0.2s| 1 | 0 | 129 | - | 14M| 0 | 33 |3771 |4373 |3771 | 872 | 39 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.19/0.29 c 0.2s| 1 | 0 | 176 | - | 14M| 0 | 42 |3771 |4373 |3771 | 882 | 49 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.29/0.36 c 0.3s| 1 | 0 | 477 | - | 14M| 0 | 47 |3771 |4373 |3771 | 896 | 63 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.39/0.44 c 0.4s| 1 | 0 | 718 | - | 15M| 0 | 66 |3771 |4373 |3771 | 926 | 93 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.49/0.55 c 0.5s| 1 | 0 | 1021 | - | 15M| 0 | 0 |3771 |4373 |3771 | 951 | 118 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.49/0.55 c 0.5s| 1 | 0 | 1028 | - | 15M| 0 | 0 |3771 |4373 |3771 | 955 | 122 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.49/0.55 c 0.5s| 1 | 2 | 1028 | - | 15M| 0 | 0 |3771 |4373 |3771 | 955 | 122 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
26.50/26.52 c 25.7s| 10000 | 9989 | 42428 | 4.1 | 38M| 283 | 0 |3771 |4397 |3771 |1003 |3967 | 25 | 529 | 0.000000e+00 | 8.806400e+04 | Inf
27.89/27.94 o 438
27.89/27.94 c *27.1s| 11185 | 6601 | 44076 | 3.8 | 33M| 283 | - |3771 |4397 |3771 |1019 |4210 | 25 | 530 | 0.000000e+00 | 4.380000e+02 | Inf
31.19/31.28 o 435
31.19/31.28 c *30.3s| 12569 | 7463 | 55092 | 4.3 | 37M| 283 | - |3771 |5295 |3771 |1027 |5728 |1027 | 536 | 0.000000e+00 | 4.350000e+02 | Inf
31.19/31.29 o 427
31.19/31.29 c *30.3s| 12570 | 7323 | 55092 | 4.3 | 36M| 283 | - |3771 |5295 |3771 |1027 |5728 |1027 | 536 | 0.000000e+00 | 4.270000e+02 | Inf
31.50/31.57 o 410
31.50/31.57 c *30.6s| 12683 | 7122 | 56337 | 4.4 | 36M| 283 | - |3771 |5301 |3771 |1001 |5939 |1055 | 536 | 0.000000e+00 | 4.100000e+02 | Inf
31.50/31.58 o 402
31.50/31.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.50/31.58 c *30.6s| 12684 | 7005 | 56341 | 4.4 | 35M| 283 | - |3771 |5300 |3771 |1001 |5939 |1055 | 536 | 0.000000e+00 | 4.020000e+02 | Inf
32.20/32.28 o 397
32.20/32.28 c *31.2s| 12927 | 7074 | 59264 | 4.5 | 36M| 283 | - |3771 |5473 |3771 | 990 |6463 |1276 | 536 | 0.000000e+00 | 3.970000e+02 | Inf
32.29/32.34 o 396
32.29/32.34 c *31.3s| 12942 | 7067 | 59584 | 4.5 | 36M| 283 | - |3771 |5476 |3771 | 989 |6519 |1283 | 536 | 0.000000e+00 | 3.960000e+02 | Inf
32.29/32.37 o 394
32.29/32.37 c *31.3s| 12945 | 7042 | 59657 | 4.5 | 36M| 283 | - |3771 |5473 |3771 | 989 |6519 |1283 | 536 | 0.000000e+00 | 3.940000e+02 | Inf
32.29/32.37 o 386
32.29/32.37 c *31.3s| 12946 | 6936 | 59657 | 4.5 | 36M| 283 | - |3771 |5473 |3771 | 989 |6519 |1283 | 536 | 0.000000e+00 | 3.860000e+02 | Inf
32.40/32.44 o 373
32.40/32.44 c *31.4s| 12965 | 6712 | 60165 | 4.6 | 35M| 283 | - |3771 |5466 |3771 | 990 |6563 |1291 | 536 | 0.000000e+00 | 3.730000e+02 | Inf
32.40/32.45 o 355
32.40/32.45 c *31.4s| 12966 | 6401 | 60167 | 4.6 | 35M| 283 | - |3771 |5466 |3771 | 990 |6563 |1291 | 536 | 0.000000e+00 | 3.550000e+02 | Inf
33.09/33.12 o 353
33.09/33.12 c *32.0s| 13226 | 6497 | 63648 | 4.7 | 35M| 283 | - |3771 |5529 |3771 |1028 |7062 |1470 | 536 | 0.000000e+00 | 3.530000e+02 | Inf
33.59/33.68 o 347
33.59/33.68 c *32.6s| 13435 | 6520 | 65318 | 4.8 | 35M| 283 | - |3771 |5601 |3771 |1017 |7260 |1595 | 550 | 0.000000e+00 | 3.470000e+02 | Inf
33.69/33.76 o 341
33.69/33.76 c *32.7s| 13459 | 6442 | 65570 | 4.8 | 35M| 283 | - |3771 |5611 |3771 |1023 |7285 |1610 | 553 | 0.000000e+00 | 3.410000e+02 | Inf
33.89/33.93 o 334
33.89/33.93 c *32.8s| 13530 | 6380 | 65951 | 4.8 | 35M| 283 | - |3771 |5645 |3771 | 987 |7336 |1654 | 555 | 0.000000e+00 | 3.340000e+02 | Inf
34.39/34.41 o 311
34.39/34.41 c *33.3s| 13693 | 6055 | 67329 | 4.8 | 34M| 283 | - |3771 |5713 |3771 | 994 |7495 |1787 | 568 | 0.000000e+00 | 3.110000e+02 | Inf
34.39/34.43 o 292
34.39/34.43 c *33.3s| 13695 | 5647 | 67382 | 4.8 | 33M| 283 | - |3771 |5710 |3771 | 984 |7495 |1787 | 568 | 0.000000e+00 | 2.920000e+02 | Inf
34.49/34.54 o 287
34.49/34.54 c *33.4s| 13752 | 5570 | 67567 | 4.8 | 33M| 283 | - |3771 |5750 |3771 | 987 |7509 |1842 | 568 | 0.000000e+00 | 2.870000e+02 | Inf
34.59/34.68 o 274
34.59/34.68 c *33.5s| 13803 | 5324 | 67812 | 4.8 | 33M| 283 | - |3771 |5785 |3771 | 997 |7552 |1887 | 569 | 0.000000e+00 | 2.740000e+02 | Inf
35.69/35.79 o 271
35.69/35.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.69/35.79 c *34.6s| 14179 | 5428 | 71821 | 5.0 | 34M| 283 | - |3771 |5868 |3771 | 977 |8118 |2190 | 585 | 0.000000e+00 | 2.710000e+02 | Inf
35.69/35.79 o 263
35.69/35.79 c *34.6s| 14180 | 5227 | 71821 | 5.0 | 34M| 283 | - |3771 |5868 |3771 | 977 |8118 |2190 | 585 | 0.000000e+00 | 2.630000e+02 | Inf
36.20/36.24 o 260
36.20/36.24 c *35.1s| 14290 | 5182 | 73738 | 5.1 | 34M| 283 | - |3771 |5947 |3771 |1020 |8337 |2330 | 600 | 0.000000e+00 | 2.600000e+02 | Inf
36.29/36.33 o 240
36.29/36.33 c *35.1s| 14320 | 4645 | 74193 | 5.1 | 33M| 283 | - |3771 |5961 |3771 | 973 |8364 |2355 | 603 | 0.000000e+00 | 2.400000e+02 | Inf
37.49/37.52 o 233
37.49/37.52 c *36.3s| 14629 | 4588 | 79640 | 5.4 | 33M| 283 | - |3771 |6063 |3771 |1001 |8837 |2655 | 620 | 0.000000e+00 | 2.330000e+02 | Inf
37.59/37.68 o 219
37.59/37.68 c s36.4s| 14680 | 4159 | 79982 | 5.4 | 33M| 283 | - |3771 |6049 |3771 | 994 |8848 |2694 | 620 | 0.000000e+00 | 2.190000e+02 | Inf
41.19/41.20 o 184
41.19/41.20 c *39.8s| 15751 | 3557 | 96278 | 6.0 | 32M| 283 | - |3771 |6171 |3771 |1020 | 10k|3663 | 626 | 0.000000e+00 | 1.840000e+02 | Inf
41.19/41.21 o 153
41.19/41.21 c *39.8s| 15752 | 2773 | 96279 | 6.0 | 30M| 283 | - |3771 |6170 |3771 |1020 | 10k|3663 | 626 | 0.000000e+00 | 1.530000e+02 | Inf
41.99/42.02 o 146
41.99/42.02 c *40.6s| 15859 | 2624 |102755 | 6.4 | 30M| 283 | - |3771 |6041 |3771 | 986 | 10k|3764 | 626 | 0.000000e+00 | 1.460000e+02 | Inf
41.99/42.05 o 139
41.99/42.05 c *40.6s| 15867 | 2390 |102803 | 6.4 | 29M| 283 | - |3771 |6038 |3771 | 988 | 10k|3764 | 626 | 0.000000e+00 | 1.390000e+02 | Inf
41.99/42.05 o 136
41.99/42.05 c *40.7s| 15869 | 2330 |102808 | 6.4 | 29M| 283 | - |3771 |6038 |3771 | 988 | 10k|3764 | 626 | 0.000000e+00 | 1.360000e+02 | Inf
41.99/42.06 o 124
41.99/42.06 c *40.7s| 15870 | 2038 |102809 | 6.4 | 28M| 283 | - |3771 |6038 |3771 | 988 | 10k|3764 | 626 | 0.000000e+00 | 1.240000e+02 | Inf
42.19/42.20 o 119
42.19/42.20 c *40.8s| 15898 | 1977 |103734 | 6.5 | 28M| 283 | - |3771 |5990 |3771 |1022 | 10k|3772 | 626 | 0.000000e+00 | 1.190000e+02 | Inf
42.19/42.20 o 115
42.19/42.20 c *40.8s| 15899 | 1881 |103743 | 6.5 | 27M| 283 | - |3771 |5990 |3771 |1022 | 10k|3772 | 626 | 0.000000e+00 | 1.150000e+02 | Inf
42.30/42.30 o 104
42.30/42.30 c *40.9s| 15928 | 1632 |104309 | 6.5 | 27M| 283 | - |3771 |5962 |3771 |1012 | 10k|3782 | 627 | 0.000000e+00 | 1.040000e+02 | Inf
42.30/42.31 o 98
42.30/42.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.30/42.31 c *40.9s| 15929 | 1562 |104312 | 6.5 | 26M| 283 | - |3771 |5962 |3771 |1012 | 10k|3782 | 627 | 0.000000e+00 | 9.800000e+01 | Inf
42.49/42.50 o 90
42.49/42.50 c *41.1s| 15957 | 1445 |105704 | 6.6 | 26M| 283 | - |3771 |5837 |3771 |1004 | 10k|3810 | 627 | 0.000000e+00 | 9.000000e+01 | Inf
43.00/43.04 o 74
43.00/43.04 c *41.6s| 16020 | 1178 |108810 | 6.7 | 26M| 283 | - |3771 |5521 |3771 | 985 | 10k|3871 | 645 | 0.000000e+00 | 7.400000e+01 | Inf
43.69/43.77 o 67
43.69/43.77 c *42.3s| 16185 | 1059 |111727 | 6.8 | 26M| 283 | - |3771 |4946 |3771 |1014 | 11k|4011 | 665 | 0.000000e+00 | 6.700000e+01 | Inf
44.00/44.08 o 53
44.00/44.08 c *42.6s| 16260 | 776 |112798 | 6.9 | 25M| 283 | - |3771 |4754 |3771 |1038 | 11k|4097 | 672 | 0.000000e+00 | 5.300000e+01 | Inf
44.00/44.08 o 45
44.00/44.08 c *42.6s| 16261 | 432 |112803 | 6.9 | 24M| 283 | - |3771 |4754 |3771 |1038 | 11k|4097 | 672 | 0.000000e+00 | 4.500000e+01 | Inf
52.40/52.44 c 50.6s| 20000 | 707 |146444 | 7.3 | 27M| 283 | 1 |3771 |5804 |3771 | 974 | 13k|8368 | 713 | 0.000000e+00 | 4.500000e+01 | Inf
76.30/76.30 c 73.5s| 30000 | 1307 |243617 | 8.1 | 36M| 283 | 12 |3771 |6091 |3771 | 992 | 16k| 20k| 876 | 0.000000e+00 | 4.500000e+01 | Inf
96.90/96.93 c 93.3s| 40000 | 1615 |308472 | 7.7 | 40M| 283 | 1 |3771 |6160 |3771 | 946 | 18k| 33k| 946 | 0.000000e+00 | 4.500000e+01 | Inf
117.19/117.29 c 113s| 50000 | 1883 |370584 | 7.4 | 46M| 283 | 1 |3771 |6396 |3771 | 946 | 21k| 46k| 948 | 0.000000e+00 | 4.500000e+01 | Inf
137.10/137.19 c 132s| 60000 | 2226 |425396 | 7.1 | 51M| 283 | 1 |3771 |7924 |3771 | 946 | 23k| 59k| 948 | 0.000000e+00 | 4.500000e+01 | Inf
156.59/156.66 c 150s| 70000 | 2453 |472615 | 6.7 | 56M| 283 | - |3771 |8222 | 0 | 0 | 25k| 72k| 948 | 0.000000e+00 | 4.500000e+01 | Inf
176.60/176.67 c 169s| 80000 | 2685 |523593 | 6.5 | 61M| 283 | - |3771 |7385 | 0 | 0 | 27k| 86k| 974 | 0.000000e+00 | 4.500000e+01 | Inf
196.99/197.00 c 189s| 90000 | 2922 |577075 | 6.4 | 66M| 283 | - |3771 |8726 | 0 | 0 | 29k| 99k|1008 | 0.000000e+00 | 4.500000e+01 | Inf
217.00/217.01 c 208s|100000 | 3177 |627377 | 6.3 | 72M| 283 | - |3771 |6728 | 0 | 0 | 31k| 112k|1047 | 0.000000e+00 | 4.500000e+01 | Inf
237.30/237.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
237.30/237.35 c 227s|110000 | 3472 |683947 | 6.2 | 77M| 283 | - |3771 |7329 | 0 | 0 | 34k| 125k|1128 | 0.000000e+00 | 4.500000e+01 | Inf
242.29/242.32 o 37
242.29/242.32 c * 232s|112318 | 3467 |699346 | 6.2 | 75M| 283 | - |3771 |7421 |3771 | 979 | 34k| 128k|1135 | 0.000000e+00 | 3.700000e+01 | Inf
257.40/257.46 c 246s|120000 | 3666 |741938 | 6.2 | 78M| 283 | 1 |3771 |5707 |3771 | 946 | 36k| 137k|1177 | 0.000000e+00 | 3.700000e+01 | Inf
277.90/277.91 c 266s|130000 | 3900 |807697 | 6.2 | 83M| 283 | - |3771 |6572 | 0 | 0 | 38k| 150k|1231 | 0.000000e+00 | 3.700000e+01 | Inf
298.29/298.40 c 286s|140000 | 4118 |858206 | 6.1 | 87M| 283 | 14 |3771 |6807 |3771 | 970 | 40k| 162k|1303 | 0.000000e+00 | 3.700000e+01 | Inf
319.09/319.13 c 306s|150000 | 4214 |909099 | 6.1 | 90M| 283 | - |3771 |6843 | 0 | 0 | 42k| 175k|1379 | 0.000000e+00 | 3.700000e+01 | Inf
339.69/339.72 c 326s|160000 | 4413 |960960 | 6.0 | 94M| 283 | 13 |3771 |7709 |3771 | 961 | 44k| 188k|1431 | 0.000000e+00 | 3.700000e+01 | Inf
361.29/361.37 c 347s|170000 | 4482 | 1021k| 6.0 | 97M| 283 | 6 |3771 |9089 |3771 | 999 | 47k| 201k|1486 | 0.000000e+00 | 3.700000e+01 | Inf
382.09/382.17 c 367s|180000 | 4581 | 1072k| 6.0 | 99M| 283 | - |3771 |7488 | 0 | 0 | 49k| 214k|1554 | 0.000000e+00 | 3.700000e+01 | Inf
391.89/391.93 o 35
391.89/391.93 c * 377s|184761 | 4615 | 1094k| 5.9 | 100M| 283 | - |3771 |7159 |3771 | 963 | 50k| 220k|1591 | 0.000000e+00 | 3.500000e+01 | Inf
403.09/403.10 c 388s|190000 | 4720 | 1127k| 5.9 | 102M| 283 | - |3771 |6303 | 0 | 0 | 50k| 227k|1610 | 0.000000e+00 | 3.500000e+01 | Inf
423.79/423.88 c 408s|200000 | 4915 | 1186k| 5.9 | 106M| 283 | - |3771 |5801 | 0 | 0 | 53k| 240k|1671 | 0.000000e+00 | 3.500000e+01 | Inf
443.69/443.71 c 428s|210000 | 5207 | 1239k| 5.9 | 111M| 283 | - |3771 |7678 | 0 | 0 | 54k| 254k|1754 | 0.000000e+00 | 3.500000e+01 | Inf
464.39/464.44 c 448s|220000 | 5562 | 1293k| 5.9 | 117M| 283 | - |3771 | 10k| 0 | 0 | 57k| 267k|1811 | 0.000000e+00 | 3.500000e+01 | Inf
485.39/485.42 c 468s|230000 | 5981 | 1348k| 5.9 | 122M| 283 | - |3771 |9615 | 0 | 0 | 59k| 281k|1886 | 0.000000e+00 | 3.500000e+01 | Inf
506.69/506.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
506.69/506.79 c 489s|240000 | 6425 | 1411k| 5.9 | 128M| 283 | 24 |3771 |8245 |3771 | 972 | 61k| 294k|1950 | 0.000000e+00 | 3.500000e+01 | Inf
527.49/527.59 c 509s|250000 | 6666 | 1470k| 5.9 | 133M| 283 | - |3771 |8284 | 0 | 0 | 63k| 309k|2005 | 0.000000e+00 | 3.500000e+01 | Inf
547.79/547.82 c 529s|260000 | 6997 | 1518k| 5.8 | 138M| 283 | 1 |3771 |8679 |3771 | 982 | 66k| 322k|2068 | 0.000000e+00 | 3.500000e+01 | Inf
567.79/567.87 c 549s|270000 | 7274 | 1567k| 5.8 | 142M| 283 | - |3771 |7792 | 0 | 0 | 68k| 334k|2126 | 0.000000e+00 | 3.500000e+01 | Inf
587.69/587.77 c 568s|280000 | 7563 | 1616k| 5.8 | 147M| 283 | - |3771 | 11k| 0 | 0 | 70k| 347k|2151 | 0.000000e+00 | 3.500000e+01 | Inf
608.99/609.02 c 589s|290000 | 7856 | 1662k| 5.7 | 151M| 283 | 9 |3771 |9721 |3771 | 969 | 72k| 361k|2219 | 0.000000e+00 | 3.500000e+01 | Inf
629.39/629.43 c 609s|300000 | 8232 | 1710k| 5.7 | 156M| 283 | 1 |3771 |9964 |3771 | 987 | 74k| 374k|2273 | 0.000000e+00 | 3.500000e+01 | Inf
649.99/650.10 c 629s|310000 | 8453 | 1758k| 5.7 | 160M| 283 | 1 |3771 | 10k|3771 | 970 | 76k| 388k|2327 | 0.000000e+00 | 3.500000e+01 | Inf
670.59/670.64 c 649s|320000 | 8634 | 1803k| 5.6 | 164M| 283 | 15 |3771 |9791 |3771 | 976 | 78k| 402k|2391 | 0.000000e+00 | 3.500000e+01 | Inf
691.79/691.81 c 670s|330000 | 8917 | 1855k| 5.6 | 170M| 283 | 8 |3771 | 11k|3771 | 987 | 80k| 416k|2434 | 0.000000e+00 | 3.500000e+01 | Inf
712.99/713.01 c 690s|340000 | 9269 | 1903k| 5.6 | 174M| 283 | 1 |3771 | 11k|3771 | 983 | 81k| 429k|2467 | 0.000000e+00 | 3.500000e+01 | Inf
734.49/734.50 c 711s|350000 | 9450 | 1953k| 5.6 | 178M| 283 | - |3771 | 10k| 0 | 0 | 83k| 442k|2531 | 0.000000e+00 | 3.500000e+01 | Inf
755.60/755.61 c 732s|360000 | 9749 | 2001k| 5.6 | 183M| 283 | 1 |3771 | 10k|3771 | 965 | 86k| 456k|2589 | 0.000000e+00 | 3.500000e+01 | Inf
777.09/777.14 c 753s|370000 | 9816 | 2052k| 5.5 | 186M| 283 | 19 |3771 |9581 |3771 | 970 | 88k| 470k|2658 | 0.000000e+00 | 3.500000e+01 | Inf
784.89/784.90 o 34
784.89/784.90 c * 760s|373626 | 9709 | 2072k| 5.5 | 185M| 283 | - |3771 |9093 |3771 | 964 | 88k| 475k|2658 | 0.000000e+00 | 3.400000e+01 | Inf
797.99/798.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
797.99/798.08 c 773s|380000 | 9727 | 2102k| 5.5 | 187M| 283 | - |3771 |8922 | 0 | 0 | 90k| 484k|2710 | 0.000000e+00 | 3.400000e+01 | Inf
819.20/819.28 c 794s|390000 | 9819 | 2158k| 5.5 | 190M| 283 | 16 |3771 |8423 |3771 | 974 | 92k| 498k|2739 | 0.000000e+00 | 3.400000e+01 | Inf
840.70/840.72 c 815s|400000 | 9903 | 2214k| 5.5 | 193M| 283 | 1 |3771 |8251 |3771 | 956 | 94k| 511k|2782 | 0.000000e+00 | 3.400000e+01 | Inf
861.79/861.89 c 836s|410000 | 10000 | 2268k| 5.5 | 195M| 283 | - |3771 |6410 | 0 | 0 | 96k| 525k|2852 | 0.000000e+00 | 3.400000e+01 | Inf
882.89/882.91 c 856s|420000 | 10456 | 2337k| 5.6 | 201M| 283 | 18 |3771 |6420 |3771 | 960 | 98k| 538k|2915 | 0.000000e+00 | 3.400000e+01 | Inf
899.60/899.67 o 33
899.60/899.67 c * 872s|428412 | 10718 | 2384k| 5.6 | 204M| 283 | - |3771 |7296 |3771 | 988 | 100k| 549k|2977 | 0.000000e+00 | 3.300000e+01 | Inf
902.89/902.95 c 876s|430000 | 10746 | 2392k| 5.6 | 205M| 283 | 18 |3771 |6463 |3771 |1013 | 100k| 551k|2982 | 0.000000e+00 | 3.300000e+01 | Inf
923.80/923.86 c 896s|440000 | 11086 | 2459k| 5.6 | 209M| 283 | 17 |3771 |6567 |3771 | 992 | 102k| 564k|3040 | 0.000000e+00 | 3.300000e+01 | Inf
943.50/943.53 c 915s|450000 | 11379 | 2510k| 5.6 | 213M| 283 | 1 |3771 |9149 |3771 | 997 | 104k| 579k|3097 | 0.000000e+00 | 3.300000e+01 | Inf
963.69/963.75 c 935s|460000 | 11615 | 2563k| 5.6 | 216M| 283 | 12 |3771 |8245 |3771 |1001 | 105k| 594k|3163 | 0.000000e+00 | 3.300000e+01 | Inf
984.90/984.94 c 955s|470000 | 12026 | 2634k| 5.6 | 220M| 283 | - |3771 |6815 | 0 | 0 | 107k| 607k|3225 | 0.000000e+00 | 3.300000e+01 | Inf
1004.90/1004.97 c 975s|480000 | 12283 | 2689k| 5.6 | 224M| 283 | 1 |3771 |6691 |3771 | 972 | 110k| 621k|3278 | 0.000000e+00 | 3.300000e+01 | Inf
1024.30/1024.33 c 994s|490000 | 12467 | 2738k| 5.6 | 228M| 283 | 19 |3771 |8061 |3771 | 986 | 111k| 635k|3293 | 0.000000e+00 | 3.300000e+01 | Inf
1044.79/1044.83 c 1014s|500000 | 12569 | 2795k| 5.6 | 230M| 283 | - |3771 |7468 | 0 | 0 | 113k| 649k|3347 | 0.000000e+00 | 3.300000e+01 | Inf
1065.30/1065.30 c 1034s|510000 | 12668 | 2851k| 5.6 | 233M| 283 | - |3771 |6820 |3771 | 974 | 115k| 663k|3407 | 0.000000e+00 | 3.300000e+01 | Inf
1085.20/1085.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1085.20/1085.23 c 1053s|520000 | 12924 | 2906k| 5.6 | 237M| 283 | - |3771 |9056 | 0 | 0 | 117k| 677k|3471 | 0.000000e+00 | 3.300000e+01 | Inf
1105.19/1105.25 c 1073s|530000 | 13044 | 2955k| 5.6 | 241M| 283 | - |3771 |7905 | 0 | 0 | 119k| 691k|3512 | 0.000000e+00 | 3.300000e+01 | Inf
1126.00/1126.01 c 1093s|540000 | 13201 | 3017k| 5.6 | 244M| 283 | - |3771 |6787 | 0 | 0 | 121k| 705k|3541 | 0.000000e+00 | 3.300000e+01 | Inf
1146.20/1146.26 c 1112s|550000 | 13297 | 3067k| 5.6 | 247M| 283 | - |3771 |8636 | 0 | 0 | 123k| 719k|3603 | 0.000000e+00 | 3.300000e+01 | Inf
1167.60/1167.64 c 1133s|560000 | 13607 | 3131k| 5.6 | 252M| 283 | 15 |3771 |9480 |3771 |1008 | 125k| 732k|3654 | 0.000000e+00 | 3.300000e+01 | Inf
1189.10/1189.17 c 1154s|570000 | 13866 | 3189k| 5.6 | 256M| 283 | 18 |3771 |9457 |3771 | 957 | 127k| 745k|3706 | 0.000000e+00 | 3.300000e+01 | Inf
1210.30/1210.34 c 1175s|580000 | 14172 | 3241k| 5.6 | 260M| 283 | - |3771 | 11k| 0 | 0 | 130k| 758k|3750 | 0.000000e+00 | 3.300000e+01 | Inf
1231.10/1231.14 c 1195s|590000 | 14462 | 3290k| 5.6 | 264M| 283 | - |3771 | 10k| 0 | 0 | 132k| 772k|3755 | 0.000000e+00 | 3.300000e+01 | Inf
1251.20/1251.28 c 1215s|600000 | 14710 | 3339k| 5.6 | 268M| 283 | 8 |3771 | 10k|3771 | 978 | 134k| 786k|3800 | 0.000000e+00 | 3.300000e+01 | Inf
1272.40/1272.49 c 1236s|610000 | 15098 | 3398k| 5.6 | 274M| 283 | 1 |3771 | 10k|3771 | 946 | 136k| 799k|3850 | 0.000000e+00 | 3.300000e+01 | Inf
1292.60/1292.65 c 1255s|620000 | 15483 | 3451k| 5.6 | 279M| 283 | 1 |3771 | 10k|3771 | 966 | 139k| 813k|3889 | 0.000000e+00 | 3.300000e+01 | Inf
1300.80/1300.81 o 23
1300.80/1300.81 c *1263s|623958 | 14923 | 3472k| 5.6 | 254M| 283 | - |3771 | 11k|3771 | 982 | 139k| 818k|3894 | 0.000000e+00 | 2.300000e+01 | Inf
1312.60/1312.68 c 1275s|630000 | 15137 | 3507k| 5.6 | 255M| 283 | 1 |3771 |9260 |3771 | 987 | 141k| 826k|3901 | 0.000000e+00 | 2.300000e+01 | Inf
1332.20/1332.23 c 1294s|640000 | 15382 | 3566k| 5.6 | 259M| 283 | 26 |3771 |8745 |3771 | 963 | 143k| 840k|3944 | 0.000000e+00 | 2.300000e+01 | Inf
1352.21/1352.29 c 1313s|650000 | 15482 | 3625k| 5.6 | 262M| 283 | - |3771 |8325 | 0 | 0 | 145k| 854k|4019 | 0.000000e+00 | 2.300000e+01 | Inf
1371.61/1371.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1371.61/1371.69 c 1332s|660000 | 15499 | 3682k| 5.6 | 264M| 283 | 1 |3771 |8479 |3771 | 970 | 147k| 868k|4066 | 0.000000e+00 | 2.300000e+01 | Inf
1390.41/1390.42 o 19
1390.41/1390.42 c *1351s|669266 | 14758 | 3738k| 5.6 | 247M| 283 | - |3771 |9384 |3771 | 991 | 149k| 882k|4085 | 0.000000e+00 | 1.900000e+01 | Inf
1391.91/1391.96 c 1352s|670000 | 14747 | 3742k| 5.6 | 246M| 283 | 1 |3771 |7920 |3771 | 968 | 149k| 883k|4099 | 0.000000e+00 | 1.900000e+01 | Inf
1411.00/1411.01 c 1371s|680000 | 14976 | 3802k| 5.6 | 250M| 283 | 9 |3771 |9357 |3771 | 946 | 151k| 897k|4132 | 0.000000e+00 | 1.900000e+01 | Inf
1431.40/1431.42 c 1390s|690000 | 15148 | 3868k| 5.6 | 253M| 283 | - |3771 | 10k| 0 | 0 | 154k| 910k|4183 | 0.000000e+00 | 1.900000e+01 | Inf
1452.31/1452.36 c 1411s|700000 | 15433 | 3932k| 5.6 | 257M| 283 | 5 |3771 | 13k|3771 | 969 | 157k| 923k|4220 | 0.000000e+00 | 1.900000e+01 | Inf
1474.51/1474.52 c 1433s|710000 | 15521 | 4006k| 5.6 | 258M| 283 | 1 |3771 | 11k|3771 | 952 | 159k| 938k|4269 | 0.000000e+00 | 1.900000e+01 | Inf
1495.00/1495.10 c 1453s|720000 | 15564 | 4070k| 5.7 | 260M| 283 | 28 |3771 | 10k|3771 | 962 | 161k| 952k|4353 | 0.000000e+00 | 1.900000e+01 | Inf
1514.91/1514.99 c 1472s|730000 | 15619 | 4120k| 5.6 | 262M| 283 | 25 |3771 | 11k|3771 | 972 | 163k| 966k|4368 | 0.000000e+00 | 1.900000e+01 | Inf
1536.30/1536.38 c 1493s|740000 | 15494 | 4186k| 5.7 | 263M| 283 | 1 |3771 | 11k|3771 |1009 | 165k| 980k|4432 | 0.000000e+00 | 1.900000e+01 | Inf
1557.61/1557.67 c 1514s|750000 | 15385 | 4256k| 5.7 | 263M| 283 | - |3771 | 10k| 0 | 0 | 167k| 994k|4498 | 0.000000e+00 | 1.900000e+01 | Inf
1581.01/1581.01 c 1536s|760000 | 15380 | 4341k| 5.7 | 264M| 283 | - |3771 |9650 | 0 | 0 | 170k|1008k|4550 | 0.000000e+00 | 1.900000e+01 | Inf
1593.30/1593.34 o 12
1593.30/1593.34 c *1548s|765793 | 13381 | 4381k| 5.7 | 215M| 283 | - |3771 | 11k|3771 | 989 | 171k|1016k|4564 | 0.000000e+00 | 1.200000e+01 | Inf
1601.91/1601.98 c 1557s|770000 | 13298 | 4408k| 5.7 | 214M| 283 | - |3771 |8584 | 0 | 0 | 172k|1022k|4608 | 0.000000e+00 | 1.200000e+01 | Inf
1621.10/1621.14 c 1575s|780000 | 13047 | 4474k| 5.7 | 212M| 283 | 1 |3771 |6644 |3771 | 960 | 174k|1037k|4639 | 0.000000e+00 | 1.200000e+01 | Inf
1640.51/1640.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1640.51/1640.51 c 1594s|790000 | 13099 | 4540k| 5.7 | 213M| 283 | 1 |3771 |8693 |3771 | 973 | 176k|1051k|4686 | 0.000000e+00 | 1.200000e+01 | Inf
1660.20/1660.28 c 1613s|800000 | 13368 | 4599k| 5.7 | 217M| 283 | - |3771 | 13k| 0 | 0 | 178k|1065k|4732 | 0.000000e+00 | 1.200000e+01 | Inf
1680.61/1680.68 c 1633s|810000 | 13482 | 4658k| 5.8 | 219M| 283 | - |3771 | 13k|3771 | 969 | 180k|1080k|4773 | 0.000000e+00 | 1.200000e+01 | Inf
1701.81/1701.87 c 1654s|820000 | 13417 | 4725k| 5.8 | 219M| 283 | 24 |3771 | 13k|3771 | 965 | 182k|1095k|4817 | 0.000000e+00 | 1.200000e+01 | Inf
1722.51/1722.55 c 1674s|830000 | 13361 | 4793k| 5.8 | 217M| 283 | 17 |3771 |8858 |3771 | 956 | 185k|1109k|4872 | 0.000000e+00 | 1.200000e+01 | Inf
1742.81/1742.81 c 1694s|840000 | 13582 | 4858k| 5.8 | 220M| 283 | - |3771 | 11k| 0 | 0 | 187k|1122k|4917 | 0.000000e+00 | 1.200000e+01 | Inf
1752.01/1752.03 o 7
1752.01/1752.03 c *1703s|844274 | 12474 | 4890k| 5.8 | 197M| 283 | - |3771 | 11k|3771 | 978 | 188k|1128k|4917 | 0.000000e+00 | 7.000000e+00 | Inf
1764.21/1764.21 c 1714s|850000 | 12615 | 4930k| 5.8 | 199M| 283 | 14 |3771 | 11k|3771 | 990 | 189k|1136k|4966 | 0.000000e+00 | 7.000000e+00 | Inf
1784.61/1784.66 c 1734s|860000 | 12821 | 4994k| 5.8 | 201M| 283 | - |3771 | 13k| 0 | 0 | 191k|1149k|5014 | 0.000000e+00 | 7.000000e+00 | Inf
1800.01/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.01 c
1800.01/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.01 c Solving Time (sec) : 1749.27
1800.01/1800.01 c Solving Nodes : 867498
1800.01/1800.01 c Primal Bound : +7.00000000000000e+00 (308 solutions)
1800.01/1800.01 c Dual Bound : +0.00000000000000e+00
1800.01/1800.01 c Gap : infinite
1800.01/1800.04 s SATISFIABLE
1800.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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
1800.01/1800.04 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 -x29
1800.01/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.01/1800.04 v -x1
1800.01/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.04 c Solving Time : 1749.27
1800.01/1800.04 c Original Problem :
1800.01/1800.04 c Problem name : HOME/instance-2692950-1277912246.wbo
1800.01/1800.04 c Variables : 3909 (2070 binary, 0 integer, 0 implicit integer, 1839 continuous)
1800.01/1800.04 c Constraints : 4547 initial, 4547 maximal
1800.01/1800.04 c Presolved Problem :
1800.01/1800.04 c Problem name : t_HOME/instance-2692950-1277912246.wbo
1800.01/1800.04 c Variables : 3771 (2001 binary, 0 integer, 0 implicit integer, 1770 continuous)
1800.01/1800.04 c Constraints : 4373 initial, 14878 maximal
1800.01/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.04 c trivial : 0.00 69 0 0 0 0 0 0 0
1800.01/1800.04 c dualfix : 0.00 69 0 0 0 0 0 0 0
1800.01/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.04 c probing : 0.04 0 0 0 0 0 0 0 0
1800.01/1800.04 c indicator : 0.00 0 0 0 0 0 69 0 0
1800.01/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.04 c linear : 0.05 0 0 0 1861 0 105 91 0
1800.01/1800.04 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.04 c root node : - 1671 - - 3342 - - - -
1800.01/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.04 c integral : 0 0 0 504399 0 29 505 0 0 930124
1800.01/1800.04 c indicator : 1770 0 5013954 38842 0 1956 10339795 0 0 0
1800.01/1800.04 c setppc : 9 8 5012837 34582 0 17755 1106981 0 0 0
1800.01/1800.04 c linear : 1770 8 5005401 38743 0 199049 20498567 193142 0 0
1800.01/1800.04 c logicor : 824+ 8 1650892 13518 0 167638 3850668 0 0 0
1800.01/1800.04 c bounddisjunction : 0+ 0 40358 0 0 0 1703 0 0 0
1800.01/1800.04 c countsols : 0 0 0 13518 0 0 0 0 0 0
1800.01/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.04 c integral : 23.84 0.00 0.00 23.84 0.00
1800.01/1800.04 c indicator : 44.46 0.00 41.51 2.95 0.00
1800.01/1800.04 c setppc : 8.38 0.00 8.38 0.00 0.00
1800.01/1800.04 c linear : 152.31 0.01 150.18 2.12 0.00
1800.01/1800.04 c logicor : 142.43 0.00 142.31 0.12 0.00
1800.01/1800.04 c bounddisjunction : 0.09 0.00 0.09 0.00 0.00
1800.01/1800.04 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.04 c vbounds : 1.09 2 0 0
1800.01/1800.04 c rootredcost : 0.82 49 0 1671
1800.01/1800.04 c pseudoobj : 209.49 5053355 28069 8239112
1800.01/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.04 c propagation : 21.48 412511 412502 2479140 26.9 25003 14.6 -
1800.01/1800.04 c infeasible LP : 8.40 25343 25343 207810 42.9 956 7.9 0
1800.01/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.04 c pseudo solution : 0.05 220 220 1126 17.2 75 9.0 -
1800.01/1800.04 c applied globally : - - - 1160165 22.3 - - -
1800.01/1800.04 c applied locally : - - - 0 0.0 - - -
1800.01/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.04 c cut pool : 0.00 7 - - 21 - (maximal pool size: 269)
1800.01/1800.04 c redcost : 33.53 517946 0 1908957 0 0
1800.01/1800.04 c impliedbounds : 0.00 6 0 0 0 0
1800.01/1800.04 c intobj : 0.00 0 0 0 0 0
1800.01/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.04 c gomory : 0.09 6 0 0 1243 0
1800.01/1800.04 c strongcg : 0.05 6 0 0 67 0
1800.01/1800.04 c cmir : 0.02 6 0 0 0 0
1800.01/1800.04 c flowcover : 0.06 6 0 0 0 0
1800.01/1800.04 c clique : 0.00 6 0 0 0 0
1800.01/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.04 c mcf : 0.00 1 0 0 0 0
1800.01/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.04 c Pricers : Time Calls Vars
1800.01/1800.04 c problem variables: 0.00 0 0
1800.01/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.04 c relpscost : 23.47 465504 29 505 0 0 930124
1800.01/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.04 c inference : 1.76 13471 0 0 0 0 26942
1800.01/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.04 c random : 0.00 0 0 0 0 0 0
1800.01/1800.04 c Primal Heuristics : Time Calls Found
1800.01/1800.04 c LP solutions : 0.11 - 47
1800.01/1800.04 c pseudo solutions : 0.00 - 0
1800.01/1800.04 c feaspump : 0.01 1 0
1800.01/1800.04 c oneopt : 0.45 39 0
1800.01/1800.04 c intshifting : 0.00 8 0
1800.01/1800.04 c pscostdiving : 0.09 119 0
1800.01/1800.04 c veclendiving : 0.13 119 0
1800.01/1800.04 c linesearchdiving : 0.07 119 0
1800.01/1800.04 c guideddiving : 0.17 119 0
1800.01/1800.04 c coefdiving : 0.15 119 0
1800.01/1800.04 c fracdiving : 0.22 120 0
1800.01/1800.04 c crossover : 1.57 60 0
1800.01/1800.04 c objpscostdiving : 0.17 113 0
1800.01/1800.04 c rootsoldiving : 0.13 113 0
1800.01/1800.04 c trivial : 0.01 2 0
1800.01/1800.04 c simplerounding : 0.82 471072 0
1800.01/1800.04 c zirounding : 0.30 1000 0
1800.01/1800.04 c rounding : 3.32 9692 0
1800.01/1800.04 c shifting : 6.43 10060 1
1800.01/1800.04 c twoopt : 0.00 0 0
1800.01/1800.04 c fixandinfer : 0.00 0 0
1800.01/1800.04 c intdiving : 0.00 0 0
1800.01/1800.04 c actconsdiving : 0.00 0 0
1800.01/1800.04 c octane : 0.00 0 0
1800.01/1800.04 c rens : 0.00 0 0
1800.01/1800.04 c rins : 0.00 0 0
1800.01/1800.04 c localbranching : 0.00 0 0
1800.01/1800.04 c mutation : 0.00 0 0
1800.01/1800.04 c dins : 0.00 0 0
1800.01/1800.04 c undercover : 0.00 0 0
1800.01/1800.04 c nlp : 0.17 0 0
1800.01/1800.04 c trysol : 7.01 12393 260
1800.01/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.04 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.04 c dual LP : 687.58 522897 5033056 9.63 7319.96
1800.01/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.04 c diving/probing LP: 0.29 134 3103 23.16 10700.00
1800.01/1800.04 c strong branching : 19.98 5017 207988 41.46 10409.81
1800.01/1800.04 c (at root node) : - 0 0 0.00 -
1800.01/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.04 c B&B Tree :
1800.01/1800.04 c number of runs : 1
1800.01/1800.04 c nodes : 867498
1800.01/1800.04 c nodes (total) : 867498
1800.01/1800.04 c nodes left : 12955
1800.01/1800.04 c max depth : 283
1800.01/1800.04 c max depth (total): 283
1800.01/1800.04 c backtracks : 70564 (8.1%)
1800.01/1800.04 c delayed cutoffs : 58650
1800.01/1800.04 c repropagations : 2634229 (8002204 domain reductions, 51006 cutoffs)
1800.01/1800.04 c avg switch length: 7.94
1800.01/1800.04 c switching time : 206.16
1800.01/1800.04 c Solution :
1800.01/1800.04 c Solutions found : 308 (49 improvements)
1800.01/1800.04 c First Solution : +8.80640000000000e+04 (in run 1, after 1 nodes, 0.12 seconds, depth 0, found by <trysol>)
1800.01/1800.04 c Primal Bound : +7.00000000000000e+00 (in run 1, after 844274 nodes, 1702.57 seconds, depth 129, found by <relaxation>)
1800.01/1800.04 c Dual Bound : +0.00000000000000e+00
1800.01/1800.04 c Gap : infinite
1800.01/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.04 c Root Iterations : 1028
1800.30/1800.32 c Time complete: 1800.33.