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-2693389-1277900806.wbo>
0.02/0.03 c original problem has 3967 variables (2099 bin, 0 int, 0 impl, 1868 cont) and 4576 constraints
0.02/0.03 c problem read
0.02/0.03 c presolving settings loaded
0.02/0.05 c presolving:
0.02/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2006 impls, 5 clqs
0.02/0.09 c (round 2) 0 del vars, 67 del conss, 1868 chg bounds, 49 chg sides, 0 chg coeffs, 0 upgd conss, 2006 impls, 5 clqs
0.02/0.10 c (round 3) 49 del vars, 134 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 0 upgd conss, 2006 impls, 5 clqs
0.09/0.11 c (round 4) 106 del vars, 142 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 812 upgd conss, 2006 impls, 5 clqs
0.09/0.12 c (round 5) 114 del vars, 142 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 812 upgd conss, 2006 impls, 5 clqs
0.09/0.16 c (0.1s) probing: 101/2042 (4.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16 c presolving (6 rounds):
0.09/0.16 c 114 deleted vars, 142 deleted constraints, 1876 tightened bounds, 0 added holes, 67 changed sides, 0 changed coefficients
0.09/0.16 c 2006 implications, 5 cliques
0.09/0.16 c presolved problem has 3853 variables (2042 bin, 0 int, 0 impl, 1811 cont) and 4434 constraints
0.09/0.16 c 1811 constraints of type <indicator>
0.09/0.16 c 5 constraints of type <setppc>
0.09/0.16 c 1811 constraints of type <linear>
0.09/0.16 c 807 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.10
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.2
0.09/0.16 c
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = 10000
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1799.98
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 3420
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.16 c
0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.17 c 0.1s| 1 | 0 | 8 | - | 14M| 0 | 6 |3853 |4434 |3853 | 812 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 o 92548
0.09/0.19 c y 0.1s| 1 | 0 | 8 | - | 14M| 0 | 6 |3853 |4434 |3853 | 812 | 0 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.19/0.20 c 0.1s| 1 | 0 | 53 | - | 14M| 0 | 23 |3853 |4434 |3853 | 829 | 17 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 114 | - | 14M| 0 | 30 |3853 |4434 |3853 | 851 | 39 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.19/0.27 c 0.2s| 1 | 0 | 135 | - | 14M| 0 | 27 |3853 |4434 |3853 | 868 | 56 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.29/0.30 c 0.2s| 1 | 0 | 154 | - | 14M| 0 | 29 |3853 |4434 |3853 | 876 | 64 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.29/0.34 c 0.3s| 1 | 0 | 180 | - | 14M| 0 | 26 |3853 |4434 |3853 | 886 | 74 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.29/0.39 c 0.3s| 1 | 0 | 253 | - | 15M| 0 | 28 |3853 |4434 |3853 | 893 | 81 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.69/0.76 c 0.7s| 1 | 2 | 253 | - | 15M| 0 | 28 |3853 |4434 |3853 | 893 | 81 | 0 | 28 | 0.000000e+00 | 9.254800e+04 | Inf
9.09/9.18 o 869
9.09/9.18 c * 8.8s| 4423 | 4273 | 7534 | 1.6 | 27M|1561 | - |3853 |4434 |3853 | 958 |1079 | 0 |1052 | 0.000000e+00 | 8.690000e+02 | Inf
10.29/10.34 o 706
10.29/10.34 c * 9.9s| 5357 | 4827 | 8040 | 1.5 | 29M|1561 | - |3853 |4453 |3853 | 929 |1183 | 19 |1077 | 0.000000e+00 | 7.060000e+02 | Inf
10.39/10.43 o 563
10.39/10.43 c *10.0s| 5438 | 4179 | 8069 | 1.4 | 28M|1561 | - |3853 |4473 |3853 | 928 |1186 | 39 |1077 | 0.000000e+00 | 5.630000e+02 | Inf
12.00/12.06 o 561
12.00/12.06 c *11.6s| 6180 | 4686 | 10286 | 1.6 | 30M|1561 | - |3853 |5130 |3853 | 935 |1494 | 700 |1184 | 0.000000e+00 | 5.610000e+02 | Inf
12.00/12.07 o 528
12.00/12.07 c *11.6s| 6181 | 4560 | 10287 | 1.6 | 30M|1561 | - |3853 |5130 |3853 | 935 |1494 | 700 |1184 | 0.000000e+00 | 5.280000e+02 | Inf
12.10/12.12 o 482
12.10/12.12 c *11.6s| 6202 | 4349 | 10355 | 1.6 | 30M|1561 | - |3853 |5142 |3853 | 935 |1498 | 712 |1184 | 0.000000e+00 | 4.820000e+02 | Inf
12.10/12.17 o 456
12.10/12.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.10/12.17 c *11.7s| 6243 | 4162 | 10366 | 1.6 | 29M|1561 | - |3853 |5142 |3853 | 935 |1498 | 712 |1184 | 0.000000e+00 | 4.560000e+02 | Inf
12.40/12.41 o 424
12.40/12.41 c *11.9s| 6369 | 3956 | 10755 | 1.6 | 29M|1561 | - |3853 |5194 |3853 | 925 |1542 | 765 |1191 | 0.000000e+00 | 4.240000e+02 | Inf
13.10/13.15 o 423
13.10/13.15 c *12.6s| 6653 | 4134 | 12269 | 1.8 | 29M|1561 | - |3853 |5346 |3853 | 947 |1737 | 952 |1252 | 0.000000e+00 | 4.230000e+02 | Inf
15.29/15.33 o 393
15.29/15.33 c *14.7s| 7674 | 4161 | 15221 | 2.0 | 30M|1561 | - |3853 |5922 |3853 | 943 |2195 |2089 |1317 | 0.000000e+00 | 3.930000e+02 | Inf
18.89/18.93 o 389
18.89/18.93 c *18.1s| 9402 | 5324 | 21145 | 2.2 | 34M|1561 | - |3853 |6073 |3853 | 939 |3252 |3175 |1429 | 0.000000e+00 | 3.890000e+02 | Inf
19.60/19.65 c 18.9s| 10000 | 5915 | 21436 | 2.1 | 35M|1561 | 0 |3853 |6019 |3853 | 902 |3289 |3193 |1437 | 0.000000e+00 | 3.890000e+02 | Inf
21.69/21.78 o 387
21.69/21.78 c *20.9s| 11567 | 7128 | 22568 | 1.9 | 38M|1561 | - |3853 |6384 |3853 | 926 |3483 |3801 |1465 | 0.000000e+00 | 3.870000e+02 | Inf
21.79/21.81 o 377
21.79/21.81 c *20.9s| 11572 | 6933 | 22592 | 1.9 | 38M|1561 | - |3853 |6383 |3853 | 931 |3488 |3801 |1465 | 0.000000e+00 | 3.770000e+02 | Inf
21.90/21.99 o 372
21.90/21.99 c *21.1s| 11688 | 6906 | 22749 | 1.9 | 38M|1561 | - |3853 |6402 |3853 | 931 |3501 |3834 |1470 | 0.000000e+00 | 3.720000e+02 | Inf
21.90/21.99 o 329
21.90/21.99 c *21.1s| 11689 | 5933 | 22749 | 1.9 | 36M|1561 | - |3853 |6402 |3853 | 931 |3501 |3834 |1470 | 0.000000e+00 | 3.290000e+02 | Inf
22.39/22.44 o 324
22.39/22.44 c *21.5s| 11982 | 6055 | 23007 | 1.9 | 36M|1561 | - |3853 |6394 |3853 | 920 |3575 |3870 |1477 | 0.000000e+00 | 3.240000e+02 | Inf
22.60/22.69 o 315
22.60/22.69 c *21.8s| 12143 | 6021 | 23211 | 1.9 | 36M|1561 | - |3853 |6398 |3853 | 935 |3622 |3914 |1480 | 0.000000e+00 | 3.150000e+02 | Inf
22.79/22.85 o 312
22.79/22.85 c *21.9s| 12230 | 6028 | 23416 | 1.9 | 36M|1561 | - |3853 |6399 |3853 | 920 |3678 |3940 |1481 | 0.000000e+00 | 3.120000e+02 | Inf
23.19/23.24 o 311
23.19/23.24 c *22.3s| 12470 | 6229 | 23627 | 1.9 | 36M|1561 | - |3853 |6446 |3853 | 931 |3747 |4016 |1486 | 0.000000e+00 | 3.110000e+02 | Inf
23.19/23.24 o 310
23.19/23.24 c *22.3s| 12471 | 6207 | 23627 | 1.9 | 36M|1561 | - |3853 |6446 |3853 | 931 |3747 |4016 |1486 | 0.000000e+00 | 3.100000e+02 | Inf
23.40/23.44 o 297
23.40/23.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.40/23.44 c *22.5s| 12609 | 6080 | 23699 | 1.9 | 36M|1561 | - |3853 |6455 |3853 | 938 |3765 |4037 |1487 | 0.000000e+00 | 2.970000e+02 | Inf
23.49/23.59 o 292
23.49/23.59 c *22.6s| 12686 | 6040 | 23871 | 1.9 | 35M|1561 | - |3853 |6444 |3853 | 916 |3785 |4037 |1498 | 0.000000e+00 | 2.920000e+02 | Inf
23.49/23.59 o 285
23.49/23.59 c *22.6s| 12687 | 5875 | 23871 | 1.9 | 35M|1561 | - |3853 |6444 |3853 | 916 |3785 |4037 |1498 | 0.000000e+00 | 2.850000e+02 | Inf
23.79/23.87 o 275
23.79/23.87 c *22.9s| 12864 | 5844 | 24200 | 1.9 | 35M|1561 | - |3853 |6271 |3853 | 920 |3854 |4050 |1500 | 0.000000e+00 | 2.750000e+02 | Inf
23.79/23.87 o 266
23.79/23.87 c *22.9s| 12865 | 5629 | 24200 | 1.9 | 34M|1561 | - |3853 |6271 |3853 | 920 |3854 |4050 |1500 | 0.000000e+00 | 2.660000e+02 | Inf
24.60/24.62 o 263
24.60/24.62 c *23.6s| 13249 | 5843 | 25273 | 1.9 | 35M|1561 | - |3853 |6293 |3853 | 930 |4046 |4260 |1505 | 0.000000e+00 | 2.630000e+02 | Inf
24.60/24.62 o 257
24.60/24.62 c *23.6s| 13250 | 5718 | 25273 | 1.9 | 34M|1561 | - |3853 |6293 |3853 | 930 |4046 |4260 |1505 | 0.000000e+00 | 2.570000e+02 | Inf
25.99/26.06 o 252
25.99/26.06 c *25.0s| 13895 | 6079 | 28525 | 2.0 | 36M|1561 | - |3853 |6058 |3853 | 908 |4509 |4610 |1537 | 0.000000e+00 | 2.520000e+02 | Inf
25.99/26.06 o 249
25.99/26.06 c *25.0s| 13896 | 6029 | 28525 | 2.0 | 36M|1561 | - |3853 |6058 |3853 | 908 |4509 |4610 |1537 | 0.000000e+00 | 2.490000e+02 | Inf
27.29/27.36 o 239
27.29/27.36 c *26.2s| 14609 | 6312 | 30251 | 2.1 | 37M|1561 | - |3853 |6180 |3853 | 926 |4927 |4958 |1547 | 0.000000e+00 | 2.390000e+02 | Inf
27.29/27.37 o 232
27.29/27.37 c *26.2s| 14610 | 6143 | 30253 | 2.1 | 36M|1561 | - |3853 |6180 |3853 | 926 |4927 |4958 |1547 | 0.000000e+00 | 2.320000e+02 | Inf
29.79/29.81 o 224
29.79/29.81 c *28.6s| 15697 | 6711 | 35562 | 2.2 | 39M|1561 | - |3853 |6218 |3853 | 925 |5958 |5662 |1605 | 0.000000e+00 | 2.240000e+02 | Inf
29.79/29.81 o 221
29.79/29.81 c *28.6s| 15698 | 6629 | 35563 | 2.2 | 39M|1561 | - |3853 |6218 |3853 | 925 |5958 |5662 |1605 | 0.000000e+00 | 2.210000e+02 | Inf
30.59/30.61 o 205
30.59/30.61 c *29.3s| 16068 | 6465 | 37515 | 2.3 | 38M|1561 | - |3853 |6100 |3853 | 944 |6221 |5852 |1609 | 0.000000e+00 | 2.050000e+02 | Inf
31.09/31.11 o 204
31.09/31.11 c *29.8s| 16220 | 6543 | 38561 | 2.4 | 39M|1561 | - |3853 |6119 |3853 | 933 |6429 |6014 |1640 | 0.000000e+00 | 2.040000e+02 | Inf
31.09/31.16 o 174
31.09/31.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.09/31.16 c *29.9s| 16232 | 6013 | 38607 | 2.4 | 37M|1561 | - |3853 |6116 |3853 | 929 |6439 |6022 |1641 | 0.000000e+00 | 1.740000e+02 | Inf
31.09/31.18 o 131
31.09/31.18 c *29.9s| 16243 | 4613 | 38636 | 2.4 | 32M|1561 | - |3853 |6113 |3853 | 929 |6440 |6022 |1641 | 0.000000e+00 | 1.310000e+02 | Inf
31.20/31.23 o 105
31.20/31.23 c *29.9s| 16262 | 3767 | 38670 | 2.4 | 31M|1561 | - |3853 |6108 |3853 | 921 |6442 |6022 |1641 | 0.000000e+00 | 1.050000e+02 | Inf
31.29/31.35 o 55
31.29/31.35 c *30.0s| 16323 | 1982 | 38797 | 2.4 | 27M|1561 | - |3853 |6059 |3853 | 930 |6477 |6041 |1641 | 0.000000e+00 | 5.500000e+01 | Inf
31.89/31.96 o 34
31.89/31.96 c *30.6s| 16600 | 1526 | 40317 | 2.4 | 26M|1561 | - |3853 |5057 |3853 | 936 |6689 |6122 |1674 | 0.000000e+00 | 3.400000e+01 | Inf
32.19/32.21 o 30
32.19/32.21 c *30.8s| 16654 | 1413 | 41182 | 2.5 | 26M|1561 | - |3853 |4576 |3853 | 919 |6857 |6180 |1698 | 0.000000e+00 | 3.000000e+01 | Inf
32.19/32.21 o 24
32.19/32.21 c *30.8s| 16655 | 1254 | 41182 | 2.5 | 25M|1561 | - |3853 |4576 |3853 | 919 |6857 |6180 |1698 | 0.000000e+00 | 2.400000e+01 | Inf
32.19/32.26 o 20
32.19/32.26 c *30.9s| 16681 | 1228 | 41311 | 2.5 | 25M|1561 | - |3853 |4308 |3853 | 934 |6895 |6180 |1698 | 0.000000e+00 | 2.000000e+01 | Inf
32.19/32.26 o 14
32.19/32.26 c *30.9s| 16682 | 931 | 41311 | 2.5 | 25M|1561 | - |3853 |4308 |3853 | 934 |6895 |6180 |1698 | 0.000000e+00 | 1.400000e+01 | Inf
32.19/32.28 o 9
32.19/32.28 c *30.9s| 16683 | 384 | 41346 | 2.5 | 23M|1561 | - |3853 |4100 |3853 | 926 |6900 |6180 |1698 | 0.000000e+00 | 9.000000e+00 | Inf
37.89/37.95 c 36.3s| 20000 | 440 | 64993 | 3.2 | 25M|1561 | 11 |3853 |5851 |3853 | 890 |8132 | 10k|1743 | 0.000000e+00 | 9.000000e+00 | Inf
54.39/54.40 c 51.8s| 30000 | 690 |121893 | 4.1 | 29M|1561 | 16 |3853 |9874 |3853 | 897 | 10k| 22k|1755 | 0.000000e+00 | 9.000000e+00 | Inf
71.90/71.94 c 68.5s| 40000 | 866 |180199 | 4.5 | 31M|1561 | - |3853 |8935 | 0 | 0 | 13k| 35k|1766 | 0.000000e+00 | 9.000000e+00 | Inf
89.79/89.84 c 85.4s| 50000 | 941 |243604 | 4.9 | 33M|1561 | 27 |3853 |9349 |3853 | 898 | 16k| 49k|1889 | 0.000000e+00 | 9.000000e+00 | Inf
107.60/107.61 c 102s| 60000 | 1097 |301254 | 5.0 | 35M|1561 | 12 |3853 |9217 |3853 | 909 | 19k| 62k|2119 | 0.000000e+00 | 9.000000e+00 | Inf
125.59/125.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
125.59/125.64 c 119s| 70000 | 1244 |361224 | 5.2 | 38M|1561 | 1 |3853 | 12k|3853 | 914 | 21k| 76k|2253 | 0.000000e+00 | 9.000000e+00 | Inf
145.50/145.52 c 138s| 80000 | 1432 |429212 | 5.4 | 41M|1561 | 6 |3853 | 13k|3853 | 910 | 23k| 89k|2474 | 0.000000e+00 | 9.000000e+00 | Inf
164.10/164.14 c 156s| 90000 | 1480 |484774 | 5.4 | 42M|1561 | - |3853 | 14k| 0 | 0 | 26k| 102k|2620 | 0.000000e+00 | 9.000000e+00 | Inf
183.39/183.41 c 174s|100000 | 1551 |542710 | 5.4 | 43M|1561 | 13 |3853 | 15k|3853 | 926 | 27k| 115k|2762 | 0.000000e+00 | 9.000000e+00 | Inf
203.29/203.39 c 193s|110000 | 1719 |606295 | 5.5 | 46M|1561 | 19 |3853 | 16k|3853 | 927 | 30k| 128k|2907 | 0.000000e+00 | 9.000000e+00 | Inf
223.30/223.39 c 212s|120000 | 1886 |670393 | 5.6 | 47M|1561 | 1 |3853 | 15k|3853 | 925 | 32k| 142k|3067 | 0.000000e+00 | 9.000000e+00 | Inf
242.70/242.74 c 231s|130000 | 1970 |733195 | 5.6 | 49M|1561 | - |3853 | 16k| 0 | 0 | 34k| 155k|3205 | 0.000000e+00 | 9.000000e+00 | Inf
261.91/261.95 c 249s|140000 | 2074 |794029 | 5.7 | 49M|1561 | - |3853 | 12k|3853 | 932 | 37k| 169k|3436 | 0.000000e+00 | 9.000000e+00 | Inf
279.90/279.96 c 266s|150000 | 2138 |845188 | 5.6 | 51M|1561 | - |3853 | 15k| 0 | 0 | 39k| 182k|3519 | 0.000000e+00 | 9.000000e+00 | Inf
299.60/299.62 c 285s|160000 | 2108 |908040 | 5.7 | 50M|1561 | 19 |3853 | 12k|3853 | 938 | 42k| 196k|3675 | 0.000000e+00 | 9.000000e+00 | Inf
317.70/317.75 c 302s|170000 | 2393 |964182 | 5.7 | 53M|1561 | 1 |3853 | 14k|3853 | 904 | 46k| 209k|3763 | 0.000000e+00 | 9.000000e+00 | Inf
331.11/331.17 o 5
331.11/331.17 c * 315s|177061 | 2366 | 1006k| 5.7 | 52M|1561 | - |3853 | 15k|3853 | 923 | 50k| 218k|3860 | 0.000000e+00 | 5.000000e+00 | Inf
336.51/336.54 c 320s|180000 | 2427 | 1024k| 5.7 | 52M|1561 | - |3853 | 14k| 0 | 0 | 51k| 222k|3867 | 0.000000e+00 | 5.000000e+00 | Inf
355.00/355.01 c 337s|190000 | 2423 | 1085k| 5.7 | 53M|1561 | - |3853 | 14k| 0 | 0 | 55k| 236k|3981 | 0.000000e+00 | 5.000000e+00 | Inf
373.01/373.00 c 354s|200000 | 2393 | 1143k| 5.7 | 54M|1561 | - |3853 | 15k| 0 | 0 | 58k| 250k|4058 | 0.000000e+00 | 5.000000e+00 | Inf
391.30/391.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
391.30/391.36 c 372s|210000 | 2432 | 1203k| 5.7 | 54M|1561 | - |3853 | 15k| 0 | 0 | 60k| 263k|4156 | 0.000000e+00 | 5.000000e+00 | Inf
409.51/409.51 c 389s|220000 | 2374 | 1258k| 5.7 | 54M|1561 | 1 |3853 | 16k|3853 | 912 | 62k| 277k|4265 | 0.000000e+00 | 5.000000e+00 | Inf
428.50/428.53 c 407s|230000 | 2470 | 1313k| 5.7 | 55M|1561 | - |3853 | 15k| 0 | 0 | 64k| 291k|4434 | 0.000000e+00 | 5.000000e+00 | Inf
447.80/447.85 c 425s|240000 | 2503 | 1366k| 5.7 | 56M|1561 | - |3853 | 16k| 0 | 0 | 66k| 305k|4520 | 0.000000e+00 | 5.000000e+00 | Inf
467.31/467.31 c 444s|250000 | 2547 | 1421k| 5.7 | 58M|1561 | 1 |3853 | 20k|3853 | 921 | 68k| 319k|4595 | 0.000000e+00 | 5.000000e+00 | Inf
486.51/486.55 c 462s|260000 | 2472 | 1472k| 5.7 | 57M|1561 | - |3853 | 15k| 0 | 0 | 70k| 333k|4696 | 0.000000e+00 | 5.000000e+00 | Inf
505.91/505.94 c 481s|270000 | 2491 | 1531k| 5.7 | 58M|1561 | 16 |3853 | 16k|3853 | 920 | 72k| 347k|4772 | 0.000000e+00 | 5.000000e+00 | Inf
525.21/525.26 c 499s|280000 | 2528 | 1587k| 5.7 | 58M|1561 | - |3853 | 15k| 0 | 0 | 74k| 361k|4847 | 0.000000e+00 | 5.000000e+00 | Inf
544.01/544.08 c 517s|290000 | 2667 | 1641k| 5.7 | 60M|1561 | 1 |3853 | 17k|3853 | 936 | 76k| 375k|4919 | 0.000000e+00 | 5.000000e+00 | Inf
563.41/563.48 c 535s|300000 | 2696 | 1698k| 5.7 | 60M|1561 | 28 |3853 | 17k|3853 | 932 | 79k| 389k|5017 | 0.000000e+00 | 5.000000e+00 | Inf
582.41/582.43 c 553s|310000 | 2810 | 1754k| 5.7 | 61M|1561 | 15 |3853 | 17k|3853 | 933 | 81k| 404k|5101 | 0.000000e+00 | 5.000000e+00 | Inf
601.72/601.76 c 572s|320000 | 2842 | 1810k| 5.7 | 62M|1561 | 18 |3853 | 16k|3853 | 936 | 84k| 418k|5198 | 0.000000e+00 | 5.000000e+00 | Inf
607.01/607.02 o 3
607.01/607.02 c * 577s|322716 | 1880 | 1826k| 5.7 | 49M|1561 | - |3853 | 16k|3853 | 939 | 84k| 422k|5220 | 0.000000e+00 | 3.000000e+00 | Inf
618.22/618.21 o 1
618.22/618.21 c * 587s|328792 | 1607 | 1863k| 5.7 | 46M|1561 | - |3853 | 17k|3853 | 940 | 85k| 430k|5269 | 0.000000e+00 | 1.000000e-00 | Inf
620.41/620.42 c 589s|330000 | 1602 | 1870k| 5.7 | 45M|1561 | - |3853 | 14k| 0 | 0 | 85k| 432k|5280 | 0.000000e+00 | 1.000000e-00 | Inf
638.81/638.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
638.81/638.89 c 607s|340000 | 1685 | 1935k| 5.7 | 47M|1561 | 1 |3853 | 17k|3853 | 921 | 87k| 445k|5349 | 0.000000e+00 | 1.000000e-00 | Inf
658.02/658.09 c 625s|350000 | 1646 | 2003k| 5.7 | 47M|1561 | 23 |3853 | 16k|3853 | 929 | 90k| 459k|5432 | 0.000000e+00 | 1.000000e-00 | Inf
677.01/677.06 c 643s|360000 | 1648 | 2067k| 5.7 | 48M|1561 | - |3853 | 18k|3853 | 947 | 92k| 473k|5505 | 0.000000e+00 | 1.000000e-00 | Inf
696.32/696.31 c 662s|370000 | 1634 | 2127k| 5.7 | 48M|1561 | - |3853 | 18k| 0 | 0 | 94k| 487k|5587 | 0.000000e+00 | 1.000000e-00 | Inf
715.92/715.98 c 681s|380000 | 1638 | 2186k| 5.8 | 48M|1561 | 7 |3853 | 18k|3853 | 899 | 96k| 500k|5656 | 0.000000e+00 | 1.000000e-00 | Inf
736.82/736.89 c 700s|390000 | 1708 | 2247k| 5.8 | 50M|1561 | 10 |3853 | 23k|3853 | 929 | 98k| 514k|5726 | 0.000000e+00 | 1.000000e-00 | Inf
758.61/758.62 c 721s|400000 | 1774 | 2305k| 5.8 | 53M|1561 | 13 |3853 | 28k|3853 | 948 | 100k| 528k|5796 | 0.000000e+00 | 1.000000e-00 | Inf
782.71/782.78 c 745s|410000 | 1808 | 2370k| 5.8 | 53M|1561 | - |3853 | 27k| 0 | 0 | 102k| 542k|5890 | 0.000000e+00 | 1.000000e-00 | Inf
804.81/804.80 c 766s|420000 | 1824 | 2427k| 5.8 | 53M|1561 | - |3853 | 25k| 0 | 0 | 104k| 556k|5943 | 0.000000e+00 | 1.000000e-00 | Inf
827.02/827.01 c 787s|430000 | 1807 | 2483k| 5.8 | 54M|1561 | 18 |3853 | 28k|3853 | 926 | 106k| 570k|5995 | 0.000000e+00 | 1.000000e-00 | Inf
850.22/850.27 c 810s|440000 | 1819 | 2535k| 5.8 | 54M|1561 | - |3853 | 28k| 0 | 0 | 108k| 583k|6054 | 0.000000e+00 | 1.000000e-00 | Inf
873.42/873.48 c 832s|450000 | 1849 | 2592k| 5.8 | 56M|1561 | - |3853 | 31k| 0 | 0 | 110k| 598k|6138 | 0.000000e+00 | 1.000000e-00 | Inf
897.02/897.04 c 855s|460000 | 1867 | 2645k| 5.8 | 57M|1561 | - |3853 | 33k| 0 | 0 | 111k| 612k|6208 | 0.000000e+00 | 1.000000e-00 | Inf
921.03/921.01 c 878s|470000 | 1914 | 2698k| 5.7 | 57M|1561 | - |3853 | 33k| 0 | 0 | 113k| 626k|6268 | 0.000000e+00 | 1.000000e-00 | Inf
945.22/945.26 c 901s|480000 | 1920 | 2752k| 5.7 | 58M|1561 | 18 |3853 | 35k|3853 | 940 | 116k| 640k|6318 | 0.000000e+00 | 1.000000e-00 | Inf
970.72/970.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
970.72/970.75 c 926s|490000 | 1948 | 2811k| 5.7 | 56M|1561 | 19 |3853 | 30k|3853 | 921 | 118k| 654k|6373 | 0.000000e+00 | 1.000000e-00 | Inf
996.32/996.31 c 950s|500000 | 1964 | 2870k| 5.7 | 57M|1561 | 11 |3853 | 31k|3853 | 925 | 120k| 668k|6435 | 0.000000e+00 | 1.000000e-00 | Inf
1021.63/1021.69 c 975s|510000 | 2059 | 2929k| 5.7 | 59M|1561 | - |3853 | 35k| 0 | 0 | 121k| 682k|6499 | 0.000000e+00 | 1.000000e-00 | Inf
1047.02/1047.00 c 999s|520000 | 2099 | 2991k| 5.8 | 59M|1561 | 22 |3853 | 34k|3853 | 923 | 123k| 697k|6571 | 0.000000e+00 | 1.000000e-00 | Inf
1074.12/1074.19 c 1026s|530000 | 2177 | 3057k| 5.8 | 61M|1561 | 1 |3853 | 38k|3853 | 939 | 125k| 711k|6630 | 0.000000e+00 | 1.000000e-00 | Inf
1100.83/1100.85 c 1051s|540000 | 2142 | 3122k| 5.8 | 60M|1561 | 17 |3853 | 33k|3853 | 933 | 126k| 726k|6692 | 0.000000e+00 | 1.000000e-00 | Inf
1126.93/1126.98 c 1077s|550000 | 2161 | 3181k| 5.8 | 60M|1561 | - |3853 | 33k| 0 | 0 | 128k| 740k|6756 | 0.000000e+00 | 1.000000e-00 | Inf
1152.33/1152.31 c 1101s|560000 | 2263 | 3244k| 5.8 | 62M|1561 | - |3853 | 35k| 0 | 0 | 130k| 755k|6809 | 0.000000e+00 | 1.000000e-00 | Inf
1177.53/1177.59 c 1125s|570000 | 2368 | 3302k| 5.8 | 63M|1561 | 9 |3853 | 37k|3853 | 951 | 132k| 769k|6870 | 0.000000e+00 | 1.000000e-00 | Inf
1203.73/1203.72 c 1151s|580000 | 2514 | 3364k| 5.8 | 65M|1561 | 26 |3853 | 38k|3853 | 945 | 134k| 784k|6934 | 0.000000e+00 | 1.000000e-00 | Inf
1229.53/1229.50 c 1176s|590000 | 2462 | 3425k| 5.8 | 65M|1561 | 1 |3853 | 39k|3853 | 949 | 136k| 800k|7001 | 0.000000e+00 | 1.000000e-00 | Inf
1256.03/1256.07 c 1201s|600000 | 2439 | 3489k| 5.8 | 65M|1561 | - |3853 | 38k|3853 | 945 | 138k| 815k|7066 | 0.000000e+00 | 1.000000e-00 | Inf
1281.34/1281.35 c 1226s|610000 | 2437 | 3550k| 5.8 | 65M|1561 | - |3853 | 38k| 0 | 0 | 140k| 830k|7120 | 0.000000e+00 | 1.000000e-00 | Inf
1309.34/1309.38 c 1253s|620000 | 2468 | 3612k| 5.8 | 65M|1561 | - |3853 | 37k| 0 | 0 | 142k| 845k|7167 | 0.000000e+00 | 1.000000e-00 | Inf
1335.14/1335.19 c 1278s|630000 | 2455 | 3671k| 5.8 | 64M|1561 | 1 |3853 | 34k|3853 | 925 | 144k| 859k|7238 | 0.000000e+00 | 1.000000e-00 | Inf
1360.94/1360.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1360.94/1360.90 c 1302s|640000 | 2358 | 3733k| 5.8 | 62M|1561 | 16 |3853 | 31k|3853 | 928 | 146k| 874k|7284 | 0.000000e+00 | 1.000000e-00 | Inf
1384.84/1384.81 c 1325s|650000 | 2338 | 3783k| 5.8 | 64M|1561 | - |3853 | 35k| 0 | 0 | 148k| 888k|7313 | 0.000000e+00 | 1.000000e-00 | Inf
1411.93/1411.91 c 1352s|660000 | 2356 | 3836k| 5.8 | 66M|1561 | - |3853 | 39k| 0 | 0 | 150k| 902k|7362 | 0.000000e+00 | 1.000000e-00 | Inf
1439.74/1439.71 c 1379s|670000 | 2319 | 3892k| 5.8 | 65M|1561 | - |3853 | 37k| 0 | 0 | 152k| 917k|7432 | 0.000000e+00 | 1.000000e-00 | Inf
1464.93/1464.97 c 1403s|680000 | 2323 | 3949k| 5.8 | 64M|1561 | 19 |3853 | 34k|3853 | 920 | 154k| 931k|7461 | 0.000000e+00 | 1.000000e-00 | Inf
1491.74/1491.79 c 1429s|690000 | 2370 | 4010k| 5.8 | 65M|1561 | 1 |3853 | 36k|3853 | 923 | 155k| 946k|7509 | 0.000000e+00 | 1.000000e-00 | Inf
1517.14/1517.13 c 1453s|700000 | 2328 | 4067k| 5.8 | 65M|1561 | 1 |3853 | 36k|3853 | 925 | 157k| 960k|7586 | 0.000000e+00 | 1.000000e-00 | Inf
1543.04/1543.05 c 1478s|710000 | 2317 | 4128k| 5.8 | 64M|1561 | 15 |3853 | 33k|3853 | 917 | 160k| 975k|7644 | 0.000000e+00 | 1.000000e-00 | Inf
1566.54/1566.53 c 1501s|720000 | 2315 | 4188k| 5.8 | 62M|1561 | 1 |3853 | 25k|3853 | 934 | 162k| 989k|7684 | 0.000000e+00 | 1.000000e-00 | Inf
1589.24/1589.26 c 1523s|730000 | 2408 | 4247k| 5.8 | 64M|1561 | 22 |3853 | 30k|3853 | 934 | 164k|1002k|7738 | 0.000000e+00 | 1.000000e-00 | Inf
1612.45/1612.49 c 1545s|740000 | 2346 | 4307k| 5.8 | 63M|1561 | 18 |3853 | 29k|3853 | 934 | 166k|1017k|7787 | 0.000000e+00 | 1.000000e-00 | Inf
1635.54/1635.54 c 1567s|750000 | 2303 | 4366k| 5.8 | 61M|1561 | - |3853 | 22k|3853 | 918 | 168k|1031k|7847 | 0.000000e+00 | 1.000000e-00 | Inf
1656.65/1656.67 c 1588s|760000 | 2314 | 4429k| 5.8 | 62M|1561 | 18 |3853 | 26k|3853 | 936 | 170k|1045k|7886 | 0.000000e+00 | 1.000000e-00 | Inf
1677.45/1677.48 c 1608s|770000 | 2250 | 4488k| 5.8 | 60M|1561 | 1 |3853 | 21k|3853 | 933 | 172k|1059k|7950 | 0.000000e+00 | 1.000000e-00 | Inf
1697.85/1697.84 c 1627s|780000 | 2189 | 4549k| 5.8 | 60M|1561 | 5 |3853 | 21k|3853 | 917 | 174k|1073k|8023 | 0.000000e+00 | 1.000000e-00 | Inf
1717.55/1717.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1717.55/1717.53 c 1646s|790000 | 1827 | 4607k| 5.8 | 53M|1561 | 9 |3853 | 13k|3853 | 915 | 176k|1087k|8284 | 0.000000e+00 | 1.000000e-00 | Inf
1735.44/1735.44 c 1663s|800000 | 1622 | 4666k| 5.8 | 51M|1561 | - |3853 | 13k| 0 | 0 | 178k|1102k|8289 | 0.000000e+00 | 1.000000e-00 | Inf
1754.25/1754.26 c 1681s|810000 | 1195 | 4726k| 5.8 | 46M|1561 | - |3853 | 13k| 0 | 0 | 180k|1116k|8297 | 0.000000e+00 | 1.000000e-00 | Inf
1773.35/1773.36 c 1699s|820000 | 1033 | 4785k| 5.8 | 44M|1561 | - |3853 | 15k|3853 | 921 | 181k|1130k|8676 | 0.000000e+00 | 1.000000e-00 | Inf
1792.35/1792.37 c 1717s|830000 | 936 | 4852k| 5.8 | 42M|1561 | - |3853 | 13k| 0 | 0 | 183k|1143k|8835 | 0.000000e+00 | 1.000000e-00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1724.32
1800.05/1800.00 c Solving Nodes : 834210
1800.05/1800.00 c Primal Bound : +1.00000000000000e-00 (158 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.04 s SATISFIABLE
1800.05/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.05/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.05/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.05/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.05/1800.04 v x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125
1800.05/1800.04 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104
1800.05/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.05/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.05/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.05/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.05/1800.04 v -x1
1800.05/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.04 c Solving Time : 1724.32
1800.05/1800.04 c Original Problem :
1800.05/1800.04 c Problem name : HOME/instance-2693389-1277900806.wbo
1800.05/1800.04 c Variables : 3967 (2099 binary, 0 integer, 0 implicit integer, 1868 continuous)
1800.05/1800.04 c Constraints : 4576 initial, 4576 maximal
1800.05/1800.04 c Presolved Problem :
1800.05/1800.04 c Problem name : t_HOME/instance-2693389-1277900806.wbo
1800.05/1800.04 c Variables : 3853 (2042 binary, 0 integer, 0 implicit integer, 1811 continuous)
1800.05/1800.04 c Constraints : 4434 initial, 41427 maximal
1800.05/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.04 c trivial : 0.00 57 0 0 0 0 0 0 0
1800.05/1800.04 c dualfix : 0.00 57 0 0 0 0 0 0 0
1800.05/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c probing : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.04 c indicator : 0.00 0 0 0 0 0 57 0 0
1800.05/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c linear : 0.05 0 0 0 1876 0 85 67 0
1800.05/1800.04 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c root node : - 1811 - - 3622 - - - -
1800.05/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.04 c integral : 0 0 0 484868 0 64 977 0 0 890322
1800.05/1800.04 c indicator : 1811 0 1677269 25476 0 145 1031776 0 0 0
1800.05/1800.04 c setppc : 5 6 4209174 34784 0 8310 745163 0 0 0
1800.05/1800.04 c linear : 1811 6 4219107 37998 0 236848 19011838 184965 0 0
1800.05/1800.04 c logicor : 807+ 6 1572281 13349 0 162382 3788263 0 0 0
1800.05/1800.04 c bounddisjunction : 0+ 0 15137 0 0 0 1045 0 0 0
1800.05/1800.04 c countsols : 0 0 0 13349 0 0 0 0 0 0
1800.05/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.04 c integral : 20.54 0.00 0.00 20.54 0.00
1800.05/1800.04 c indicator : 5.51 0.00 3.86 1.65 0.00
1800.05/1800.04 c setppc : 4.82 0.00 4.82 0.00 0.00
1800.05/1800.04 c linear : 149.77 0.00 148.05 1.72 0.00
1800.05/1800.04 c logicor : 321.99 0.00 321.83 0.16 0.00
1800.05/1800.04 c bounddisjunction : 0.01 0.00 0.01 0.00 0.00
1800.05/1800.04 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.04 c vbounds : 0.00 2 0 0
1800.05/1800.04 c rootredcost : 0.00 49 0 1811
1800.05/1800.04 c pseudoobj : 135.63 4230522 2085 693337
1800.05/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.04 c propagation : 20.83 409625 409297 2534410 28.1 14316 21.6 -
1800.05/1800.04 c infeasible LP : 8.94 30713 30713 246047 44.9 378 16.1 0
1800.05/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.04 c pseudo solution : 0.00 40 40 232 18.2 52 5.0 -
1800.05/1800.04 c applied globally : - - - 1149307 23.1 - - -
1800.05/1800.04 c applied locally : - - - 0 0.0 - - -
1800.05/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.04 c cut pool : 0.00 5 - - 19 - (maximal pool size: 265)
1800.05/1800.04 c redcost : 22.37 488983 0 296894 0 0
1800.05/1800.04 c impliedbounds : 0.00 6 0 0 0 0
1800.05/1800.04 c intobj : 0.00 0 0 0 0 0
1800.05/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.04 c gomory : 0.04 6 0 0 1530 0
1800.05/1800.04 c strongcg : 0.03 6 0 0 79 0
1800.05/1800.04 c cmir : 0.00 6 0 0 1 0
1800.05/1800.04 c flowcover : 0.07 6 0 0 3 0
1800.05/1800.04 c clique : 0.00 6 0 0 0 0
1800.05/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.04 c mcf : 0.00 1 0 0 0 0
1800.05/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.04 c Pricers : Time Calls Vars
1800.05/1800.04 c problem variables: 0.00 0 0
1800.05/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.04 c relpscost : 20.49 445965 64 977 0 0 890322
1800.05/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.04 c inference : 1.66 13301 0 0 0 0 26602
1800.05/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.04 c random : 0.00 0 0 0 0 0 0
1800.05/1800.04 c Primal Heuristics : Time Calls Found
1800.05/1800.04 c LP solutions : 0.05 - 48
1800.05/1800.04 c pseudo solutions : 0.00 - 0
1800.05/1800.04 c feaspump : 0.01 1 0
1800.05/1800.04 c oneopt : 0.17 37 0
1800.05/1800.04 c intshifting : 0.01 10 0
1800.05/1800.04 c pscostdiving : 0.12 61 0
1800.05/1800.04 c fracdiving : 0.11 61 0
1800.05/1800.04 c guideddiving : 0.06 62 0
1800.05/1800.04 c coefdiving : 0.03 62 0
1800.05/1800.04 c veclendiving : 0.08 62 0
1800.05/1800.04 c linesearchdiving : 0.07 62 0
1800.05/1800.04 c rootsoldiving : 0.14 48 0
1800.05/1800.04 c objpscostdiving : 0.08 49 0
1800.05/1800.04 c crossover : 0.77 34 0
1800.05/1800.04 c trivial : 0.01 2 0
1800.05/1800.04 c simplerounding : 0.44 447326 0
1800.05/1800.04 c zirounding : 0.47 1000 0
1800.05/1800.04 c rounding : 1.24 9427 0
1800.05/1800.04 c shifting : 1.18 2932 0
1800.05/1800.04 c twoopt : 0.00 0 0
1800.05/1800.04 c fixandinfer : 0.00 0 0
1800.05/1800.04 c intdiving : 0.00 0 0
1800.05/1800.04 c actconsdiving : 0.00 0 0
1800.05/1800.04 c octane : 0.00 0 0
1800.05/1800.04 c rens : 0.01 1 0
1800.05/1800.04 c rins : 0.00 0 0
1800.05/1800.04 c localbranching : 0.00 0 0
1800.05/1800.04 c mutation : 0.00 0 0
1800.05/1800.04 c dins : 0.00 0 0
1800.05/1800.04 c undercover : 0.00 0 0
1800.05/1800.04 c nlp : 0.00 0 0
1800.05/1800.04 c trysol : 1.19 4180 110
1800.05/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.04 c primal LP : 0.01 0 0 0.00 0.00
1800.05/1800.04 c dual LP : 561.79 503526 4873704 9.68 8675.31
1800.05/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.04 c diving/probing LP: 0.23 143 1865 13.04 8108.70
1800.05/1800.04 c strong branching : 17.18 8936 177694 19.89 10343.07
1800.05/1800.04 c (at root node) : - 28 4281 152.89 -
1800.05/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.04 c B&B Tree :
1800.05/1800.04 c number of runs : 1
1800.05/1800.04 c nodes : 834210
1800.05/1800.04 c nodes (total) : 834210
1800.05/1800.04 c nodes left : 973
1800.05/1800.04 c max depth : 1561
1800.05/1800.04 c max depth (total): 1561
1800.05/1800.04 c backtracks : 83010 (10.0%)
1800.05/1800.04 c delayed cutoffs : 66853
1800.05/1800.04 c repropagations : 2025245 (4259785 domain reductions, 64603 cutoffs)
1800.05/1800.04 c avg switch length: 6.31
1800.05/1800.04 c switching time : 273.29
1800.05/1800.04 c Solution :
1800.05/1800.04 c Solutions found : 158 (49 improvements)
1800.05/1800.04 c First Solution : +9.25480000000000e+04 (in run 1, after 1 nodes, 0.12 seconds, depth 0, found by <trysol>)
1800.05/1800.04 c Primal Bound : +1.00000000000000e-00 (in run 1, after 328792 nodes, 587.35 seconds, depth 50, found by <relaxation>)
1800.05/1800.04 c Dual Bound : +0.00000000000000e+00
1800.05/1800.04 c Gap : infinite
1800.05/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.04 c Root Iterations : 253
1800.05/1800.09 c Time complete: 1800.15.