0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2692867-1277907793.wbo>
0.01/0.03 c original problem has 3967 variables (2099 bin, 0 int, 0 impl, 1868 cont) and 4576 constraints
0.01/0.03 c problem read
0.01/0.03 c presolving settings loaded
0.01/0.05 c presolving:
0.01/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.01/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.09/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.18 o 92548
0.09/0.18 c y 0.1s| 1 | 0 | 18 | - | 14M| 0 | 6 |3853 |4434 |3853 | 812 | 0 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.19/0.20 c 0.1s| 1 | 0 | 63 | - | 14M| 0 | 27 |3853 |4434 |3853 | 829 | 17 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 152 | - | 14M| 0 | 43 |3853 |4434 |3853 | 864 | 52 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.29/0.30 c 0.2s| 1 | 0 | 184 | - | 14M| 0 | 46 |3853 |4434 |3853 | 877 | 65 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.29/0.36 c 0.3s| 1 | 0 | 193 | - | 14M| 0 | 48 |3853 |4434 |3853 | 882 | 70 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.39/0.42 c 0.4s| 1 | 0 | 215 | - | 14M| 0 | 51 |3853 |4434 |3853 | 889 | 77 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.39/0.49 c 0.4s| 1 | 0 | 230 | - | 14M| 0 | 51 |3853 |4434 |3853 | 894 | 82 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.89/0.90 c 0.8s| 1 | 2 | 230 | - | 14M| 0 | 51 |3853 |4434 |3853 | 894 | 82 | 0 | 33 | 0.000000e+00 | 9.254800e+04 | Inf
17.69/17.72 c 17.0s| 10000 | 10001 | 7179 | 0.7 | 34M|1155 | 0 |3853 |4434 |3853 | 943 | 790 | 0 | 946 | 0.000000e+00 | 9.254800e+04 | Inf
31.39/31.49 c 30.3s| 20000 | 19999 | 13105 | 0.6 | 53M|1155 | 0 |3853 |4435 |3853 | 960 |1439 | 1 |1206 | 0.000000e+00 | 9.254800e+04 | Inf
44.50/44.52 c 42.9s| 30000 | 29997 | 18518 | 0.6 | 70M|1155 | 0 |3853 |4436 |3853 | 959 |2128 | 2 |1243 | 0.000000e+00 | 9.254800e+04 | Inf
53.90/53.91 o 1026
53.90/53.91 c *52.0s| 37089 | 34778 | 22777 | 0.6 | 78M|1155 | - |3853 |4436 |3853 | 927 |2707 | 2 |1321 | 0.000000e+00 | 1.026000e+03 | Inf
58.80/58.85 c 56.8s| 40000 | 37679 | 29625 | 0.7 | 84M|1155 | 0 |3853 |4462 |3853 | 931 |3535 | 28 |1443 | 0.000000e+00 | 1.026000e+03 | Inf
74.29/74.33 c 71.7s| 50000 | 47672 | 46826 | 0.9 | 101M|1155 | 0 |3853 |4468 |3853 | 922 |4690 | 58 |1526 | 0.000000e+00 | 1.026000e+03 | Inf
85.70/85.75 o 1006
85.70/85.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.70/85.75 c *82.7s| 57819 | 54992 | 55548 | 1.0 | 114M|1155 | - |3853 |4478 |3853 | 952 |5335 | 79 |1544 | 0.000000e+00 | 1.006000e+03 | Inf
89.39/89.45 c 86.3s| 60000 | 57173 | 61472 | 1.0 | 118M|1155 | 0 |3853 |4475 |3853 | 949 |6148 | 79 |1555 | 0.000000e+00 | 1.006000e+03 | Inf
89.90/89.93 o 1001
89.90/89.93 c *86.8s| 60226 | 57275 | 62597 | 1.0 | 119M|1155 | - |3853 |4499 |3853 | 921 |6271 | 104 |1563 | 0.000000e+00 | 1.001000e+03 | Inf
90.49/90.53 o 981
90.49/90.53 c *87.3s| 60483 | 57065 | 63369 | 1.0 | 118M|1155 | - |3853 |4510 |3853 | 921 |6343 | 116 |1592 | 0.000000e+00 | 9.810000e+02 | Inf
90.49/90.55 o 957
90.49/90.55 c *87.4s| 60484 | 56297 | 63422 | 1.0 | 117M|1155 | - |3853 |4510 |3853 | 921 |6343 | 116 |1592 | 0.000000e+00 | 9.570000e+02 | Inf
90.80/90.81 o 940
90.80/90.81 c *87.6s| 60603 | 55699 | 64035 | 1.1 | 116M|1155 | - |3853 |4562 |3853 | 922 |6383 | 168 |1592 | 0.000000e+00 | 9.400000e+02 | Inf
90.80/90.89 o 910
90.80/90.89 c *87.7s| 60630 | 54499 | 64225 | 1.1 | 114M|1155 | - |3853 |4572 |3853 | 922 |6391 | 178 |1592 | 0.000000e+00 | 9.100000e+02 | Inf
96.20/96.29 o 876
96.20/96.29 c *92.9s| 63950 | 56204 | 70960 | 1.1 | 118M|1155 | - |3853 |4560 |3853 | 926 |6910 | 209 |1593 | 0.000000e+00 | 8.760000e+02 | Inf
96.30/96.30 o 868
96.30/96.30 c *92.9s| 63951 | 55790 | 70966 | 1.1 | 117M|1155 | - |3853 |4560 |3853 | 926 |6910 | 209 |1593 | 0.000000e+00 | 8.680000e+02 | Inf
96.49/96.59 o 789
96.49/96.59 c *93.2s| 64112 | 51010 | 71509 | 1.1 | 109M|1155 | - |3853 |4568 |3853 | 925 |6938 | 219 |1593 | 0.000000e+00 | 7.890000e+02 | Inf
97.00/97.08 o 759
97.00/97.08 c *93.6s| 64376 | 49087 | 72313 | 1.1 | 106M|1155 | - |3853 |4565 |3853 | 929 |6997 | 219 |1593 | 0.000000e+00 | 7.590000e+02 | Inf
97.19/97.21 o 707
97.19/97.21 c *93.8s| 64457 | 45333 | 72349 | 1.1 | 100M|1155 | - |3853 |4575 |3853 | 929 |6997 | 229 |1593 | 0.000000e+00 | 7.070000e+02 | Inf
98.69/98.75 o 704
98.69/98.75 c *95.2s| 65319 | 45912 | 74944 | 1.1 | 101M|1155 | - |3853 |4608 |3853 | 959 |7311 | 276 |1609 | 0.000000e+00 | 7.040000e+02 | Inf
98.80/98.87 o 672
98.80/98.87 c *95.3s| 65362 | 43103 | 75434 | 1.2 | 97M|1155 | - |3853 |4616 |3853 | 952 |7349 | 285 |1610 | 0.000000e+00 | 6.720000e+02 | Inf
98.90/98.98 o 656
98.90/98.98 c *95.5s| 65389 | 41598 | 75913 | 1.2 | 94M|1155 | - |3853 |4634 |3853 | 947 |7382 | 303 |1610 | 0.000000e+00 | 6.560000e+02 | Inf
98.90/98.99 o 650
98.90/98.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.90/98.99 c *95.5s| 65390 | 41013 | 75913 | 1.2 | 94M|1155 | - |3853 |4634 |3853 | 947 |7382 | 303 |1610 | 0.000000e+00 | 6.500000e+02 | Inf
100.80/100.83 o 632
100.80/100.83 c *97.2s| 66289 | 39858 | 80169 | 1.2 | 93M|1155 | - |3853 |4774 |3853 | 959 |7919 | 449 |1611 | 0.000000e+00 | 6.320000e+02 | Inf
100.99/101.02 o 626
100.99/101.02 c *97.4s| 66399 | 39326 | 80371 | 1.2 | 92M|1155 | - |3853 |4773 |3853 | 939 |7944 | 449 |1611 | 0.000000e+00 | 6.260000e+02 | Inf
101.39/101.48 o 582
101.39/101.48 c *97.9s| 66618 | 34903 | 81197 | 1.2 | 84M|1155 | - |3853 |4903 |3853 | 953 |8096 | 584 |1614 | 0.000000e+00 | 5.820000e+02 | Inf
101.49/101.58 o 580
101.49/101.58 c *98.0s| 66638 | 34707 | 81648 | 1.2 | 83M|1155 | - |3853 |4906 |3853 | 951 |8127 | 589 |1614 | 0.000000e+00 | 5.800000e+02 | Inf
101.60/101.61 o 570
101.60/101.61 c *98.0s| 66643 | 33695 | 81704 | 1.2 | 82M|1155 | - |3853 |4906 |3853 | 951 |8127 | 589 |1614 | 0.000000e+00 | 5.700000e+02 | Inf
101.70/101.78 o 533
101.70/101.78 c *98.2s| 66723 | 29401 | 82177 | 1.2 | 74M|1155 | - |3853 |4905 |3853 | 966 |8173 | 589 |1614 | 0.000000e+00 | 5.330000e+02 | Inf
102.39/102.41 o 530
102.39/102.41 c *98.8s| 66903 | 29132 | 84716 | 1.3 | 74M|1155 | - |3853 |5028 |3853 | 980 |8438 | 729 |1625 | 0.000000e+00 | 5.300000e+02 | Inf
102.70/102.71 o 524
102.70/102.71 c *99.0s| 67001 | 28447 | 85979 | 1.3 | 73M|1155 | - |3853 |5091 |3853 | 957 |8556 | 797 |1625 | 0.000000e+00 | 5.240000e+02 | Inf
102.79/102.82 o 510
102.79/102.82 c *99.2s| 67042 | 26751 | 86441 | 1.3 | 71M|1155 | - |3853 |5090 |3853 | 946 |8588 | 801 |1625 | 0.000000e+00 | 5.100000e+02 | Inf
102.99/103.05 o 479
102.99/103.05 c *99.4s| 67161 | 23142 | 86997 | 1.3 | 65M|1155 | - |3853 |5102 |3853 | 971 |8645 | 820 |1629 | 0.000000e+00 | 4.790000e+02 | Inf
103.89/103.94 o 472
103.89/103.94 c * 100s| 67495 | 22631 | 89999 | 1.3 | 64M|1155 | - |3853 |5203 |3853 | 936 |8947 | 964 |1639 | 0.000000e+00 | 4.720000e+02 | Inf
104.29/104.31 o 469
104.29/104.31 c * 101s| 67593 | 22366 | 91492 | 1.4 | 64M|1155 | - |3853 |5242 |3853 | 942 |9098 |1024 |1667 | 0.000000e+00 | 4.690000e+02 | Inf
104.89/104.95 o 429
104.89/104.95 c * 101s| 67913 | 18943 | 93127 | 1.4 | 57M|1155 | - |3853 |5253 |3853 | 934 |9226 |1055 |1671 | 0.000000e+00 | 4.290000e+02 | Inf
105.69/105.77 o 426
105.69/105.77 c * 102s| 68371 | 19148 | 94760 | 1.4 | 58M|1155 | - |3853 |5231 |3853 | 965 |9375 |1066 |1674 | 0.000000e+00 | 4.260000e+02 | Inf
105.90/105.90 o 409
105.90/105.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.90/105.90 c * 102s| 68423 | 17775 | 95177 | 1.4 | 55M|1155 | - |3853 |5234 |3853 | 947 |9408 |1076 |1674 | 0.000000e+00 | 4.090000e+02 | Inf
106.30/106.31 o 395
106.30/106.31 c * 103s| 68543 | 16793 | 96849 | 1.4 | 54M|1155 | - |3853 |5252 |3853 | 946 |9587 |1142 |1675 | 0.000000e+00 | 3.950000e+02 | Inf
106.39/106.44 o 380
106.39/106.44 c * 103s| 68603 | 15675 | 97176 | 1.4 | 51M|1155 | - |3853 |5247 |3853 | 950 |9617 |1142 |1675 | 0.000000e+00 | 3.800000e+02 | Inf
107.49/107.55 o 356
107.49/107.55 c * 104s| 69141 | 14121 | 99746 | 1.4 | 49M|1155 | - |3853 |5246 |3853 | 949 |9880 |1231 |1682 | 0.000000e+00 | 3.560000e+02 | Inf
107.80/107.85 o 320
107.80/107.85 c * 104s| 69301 | 12043 |100344 | 1.4 | 45M|1155 | - |3853 |5220 |3853 | 940 |9921 |1231 |1682 | 0.000000e+00 | 3.200000e+02 | Inf
107.99/108.09 o 315
107.99/108.09 c * 104s| 69359 | 11767 |101480 | 1.5 | 45M|1155 | - |3853 |5236 |3853 | 965 | 10k|1267 |1682 | 0.000000e+00 | 3.150000e+02 | Inf
108.40/108.46 o 314
108.40/108.46 c * 105s| 69559 | 11893 |102321 | 1.5 | 45M|1155 | - |3853 |5238 |3853 | 932 | 10k|1291 |1682 | 0.000000e+00 | 3.140000e+02 | Inf
108.99/109.02 o 308
108.99/109.02 c * 105s| 69857 | 11820 |103454 | 1.5 | 45M|1155 | - |3853 |5189 |3853 | 942 | 10k|1291 |1682 | 0.000000e+00 | 3.080000e+02 | Inf
108.99/109.06 o 296
108.99/109.06 c * 105s| 69884 | 11217 |103459 | 1.5 | 43M|1155 | - |3853 |5189 |3853 | 942 | 10k|1291 |1682 | 0.000000e+00 | 2.960000e+02 | Inf
109.39/109.40 c 105s| 70000 | 11314 |104736 | 1.5 | 44M|1155 | 0 |3853 |5192 |3853 | 945 | 10k|1340 |1682 | 0.000000e+00 | 2.960000e+02 | Inf
109.49/109.58 o 277
109.49/109.58 c * 106s| 70088 | 10377 |105044 | 1.5 | 42M|1155 | - |3853 |5204 |3853 | 950 | 10k|1360 |1682 | 0.000000e+00 | 2.770000e+02 | Inf
109.59/109.68 o 269
109.59/109.68 c * 106s| 70123 | 9981 |105400 | 1.5 | 41M|1155 | - |3853 |5201 |3853 | 941 | 10k|1360 |1682 | 0.000000e+00 | 2.690000e+02 | Inf
109.80/109.83 o 246
109.80/109.83 c * 106s| 70164 | 8712 |106086 | 1.5 | 39M|1155 | - |3853 |5203 |3853 | 967 | 10k|1374 |1682 | 0.000000e+00 | 2.460000e+02 | Inf
110.70/110.76 o 219
110.70/110.76 c * 107s| 70475 | 7475 |109678 | 1.6 | 37M|1155 | - |3853 |5264 |3853 | 941 | 10k|1503 |1684 | 0.000000e+00 | 2.190000e+02 | Inf
111.29/111.30 o 206
111.29/111.30 c * 107s| 70751 | 7151 |111146 | 1.6 | 36M|1155 | - |3853 |5256 |3853 | 958 | 10k|1516 |1684 | 0.000000e+00 | 2.060000e+02 | Inf
111.39/111.40 o 192
111.39/111.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.39/111.40 c * 107s| 70785 | 6494 |111436 | 1.6 | 35M|1155 | - |3853 |5264 |3853 | 942 | 10k|1526 |1684 | 0.000000e+00 | 1.920000e+02 | Inf
111.50/111.50 o 181
111.50/111.50 c * 108s| 70799 | 6012 |111943 | 1.6 | 34M|1155 | - |3853 |5256 |3853 | 955 | 10k|1526 |1684 | 0.000000e+00 | 1.810000e+02 | Inf
111.50/111.51 o 155
111.50/111.51 c * 108s| 70800 | 4902 |111943 | 1.6 | 32M|1155 | - |3853 |5256 |3853 | 955 | 10k|1526 |1684 | 0.000000e+00 | 1.550000e+02 | Inf
111.60/111.60 o 147
111.60/111.60 c * 108s| 70818 | 4573 |112445 | 1.6 | 31M|1155 | - |3853 |5251 |3853 | 934 | 11k|1530 |1684 | 0.000000e+00 | 1.470000e+02 | Inf
111.79/111.88 o 140
111.79/111.88 c * 108s| 70890 | 4318 |113472 | 1.6 | 30M|1155 | - |3853 |5294 |3853 | 949 | 11k|1610 |1684 | 0.000000e+00 | 1.400000e+02 | Inf
112.10/112.12 o 139
112.10/112.12 c * 108s| 70936 | 4311 |114664 | 1.6 | 31M|1155 | - |3853 |5305 |3853 | 930 | 11k|1648 |1684 | 0.000000e+00 | 1.390000e+02 | Inf
112.10/112.13 o 135
112.10/112.13 c * 108s| 70939 | 4158 |114667 | 1.6 | 30M|1155 | - |3853 |5305 |3853 | 930 | 11k|1648 |1684 | 0.000000e+00 | 1.350000e+02 | Inf
112.39/112.47 o 129
112.39/112.47 c * 108s| 71027 | 4010 |116068 | 1.6 | 30M|1155 | - |3853 |5334 |3853 | 940 | 11k|1704 |1686 | 0.000000e+00 | 1.290000e+02 | Inf
112.90/112.95 o 110
112.90/112.95 c * 109s| 71161 | 3474 |117879 | 1.7 | 30M|1155 | - |3853 |5338 |3853 | 971 | 11k|1775 |1687 | 0.000000e+00 | 1.100000e+02 | Inf
113.20/113.21 o 65
113.20/113.21 c * 109s| 71274 | 2224 |118549 | 1.7 | 27M|1155 | - |3853 |5359 |3853 | 948 | 11k|1809 |1687 | 0.000000e+00 | 6.500000e+01 | Inf
113.20/113.27 o 63
113.20/113.27 c * 109s| 71279 | 2151 |118739 | 1.7 | 26M|1155 | - |3853 |4629 |3853 | 939 | 11k|1814 |1687 | 0.000000e+00 | 6.300000e+01 | Inf
113.30/113.37 o 44
113.30/113.37 c * 109s| 71310 | 1693 |118947 | 1.7 | 25M|1155 | - |3853 |4568 |3853 | 947 | 11k|1831 |1687 | 0.000000e+00 | 4.400000e+01 | Inf
113.50/113.55 o 34
113.50/113.55 c * 109s| 71341 | 1463 |119670 | 1.7 | 25M|1155 | - |3853 |4191 |3853 | 930 | 11k|1858 |1687 | 0.000000e+00 | 3.400000e+01 | Inf
113.60/113.60 o 28
113.60/113.60 c * 110s| 71368 | 1386 |119706 | 1.7 | 24M|1155 | - |3853 |3977 |3853 | 937 | 11k|1858 |1687 | 0.000000e+00 | 2.800000e+01 | Inf
113.70/113.77 o 17
113.70/113.77 c * 110s| 71420 | 1053 |120357 | 1.7 | 24M|1155 | - |3853 |3874 |3853 | 932 | 11k|1914 |1687 | 0.000000e+00 | 1.700000e+01 | Inf
113.70/113.80 o 12
113.70/113.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
113.70/113.80 c * 110s| 71436 | 976 |120359 | 1.7 | 24M|1155 | - |3853 |3651 |3853 | 932 | 11k|1914 |1687 | 0.000000e+00 | 1.200000e+01 | Inf
113.80/113.83 o 9
113.80/113.83 c * 110s| 71438 | 250 |120464 | 1.7 | 22M|1155 | - |3853 |3532 |3853 | 924 | 11k|1931 |1687 | 0.000000e+00 | 9.000000e+00 | Inf
128.29/128.30 c 123s| 80000 | 600 |163862 | 2.0 | 26M|1155 | 1 |3853 |7422 |3853 | 902 | 14k| 12k|1722 | 0.000000e+00 | 9.000000e+00 | Inf
134.80/134.83 o 3
134.80/134.83 c * 130s| 83731 | 644 |183450 | 2.2 | 27M|1155 | - |3853 |8996 |3853 | 910 | 16k| 17k|1722 | 0.000000e+00 | 3.000000e+00 | Inf
145.59/145.61 c 140s| 90000 | 872 |215303 | 2.4 | 29M|1155 | 10 |3853 |9679 |3853 | 901 | 18k| 25k|1760 | 0.000000e+00 | 3.000000e+00 | Inf
159.90/159.99 o 2
159.90/159.99 c * 154s| 98043 | 1040 |256867 | 2.6 | 32M|1155 | - |3853 | 14k|3853 | 898 | 22k| 36k|1965 | 0.000000e+00 | 2.000000e+00 | Inf
164.00/164.02 c 157s|100000 | 1105 |269714 | 2.7 | 33M|1155 | 17 |3853 | 15k|3853 | 896 | 24k| 38k|1976 | 0.000000e+00 | 2.000000e+00 | Inf
185.10/185.15 c 178s|110000 | 1168 |332826 | 3.0 | 34M|1155 | 11 |3853 | 16k|3853 | 908 | 32k| 52k|2239 | 0.000000e+00 | 2.000000e+00 | Inf
205.20/205.21 c 197s|120000 | 1156 |392381 | 3.3 | 35M|1155 | 8 |3853 | 14k|3853 | 904 | 39k| 66k|2523 | 0.000000e+00 | 2.000000e+00 | Inf
225.80/225.80 c 216s|130000 | 1268 |451600 | 3.5 | 37M|1155 | 15 |3853 | 17k|3853 | 904 | 46k| 79k|2729 | 0.000000e+00 | 2.000000e+00 | Inf
247.21/247.26 c 237s|140000 | 1310 |507677 | 3.6 | 38M|1155 | - |3853 | 19k| 0 | 0 | 53k| 93k|2967 | 0.000000e+00 | 2.000000e+00 | Inf
266.10/266.17 c 255s|150000 | 1512 |546819 | 3.6 | 42M|1155 | - |3853 | 24k| 0 | 0 | 55k| 107k|3044 | 0.000000e+00 | 2.000000e+00 | Inf
287.50/287.51 c 275s|160000 | 1689 |591490 | 3.7 | 44M|1155 | - |3853 | 27k| 0 | 0 | 57k| 121k|3189 | 0.000000e+00 | 2.000000e+00 | Inf
308.61/308.63 c 296s|170000 | 1638 |629785 | 3.7 | 44M|1155 | - |3853 | 27k| 0 | 0 | 58k| 135k|3305 | 0.000000e+00 | 2.000000e+00 | Inf
332.21/332.27 c 318s|180000 | 1595 |681288 | 3.8 | 44M|1155 | 16 |3853 | 25k|3853 | 899 | 63k| 148k|3539 | 0.000000e+00 | 2.000000e+00 | Inf
354.71/354.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
354.71/354.75 c 340s|190000 | 1605 |730904 | 3.8 | 43M|1155 | - |3853 | 21k| 0 | 0 | 66k| 162k|3631 | 0.000000e+00 | 2.000000e+00 | Inf
378.41/378.45 c 363s|200000 | 1660 |790274 | 4.0 | 45M|1155 | 25 |3853 | 26k|3853 | 907 | 74k| 176k|3786 | 0.000000e+00 | 2.000000e+00 | Inf
403.21/403.29 c 387s|210000 | 1893 |847978 | 4.0 | 48M|1155 | 19 |3853 | 31k|3853 | 897 | 82k| 190k|3907 | 0.000000e+00 | 2.000000e+00 | Inf
429.11/429.19 c 412s|220000 | 1782 |906858 | 4.1 | 48M|1155 | 24 |3853 | 29k|3853 | 903 | 91k| 204k|4051 | 0.000000e+00 | 2.000000e+00 | Inf
454.51/454.58 c 436s|230000 | 1920 |962371 | 4.2 | 50M|1155 | 19 |3853 | 34k|3853 | 891 | 98k| 218k|4194 | 0.000000e+00 | 2.000000e+00 | Inf
482.02/482.03 c 463s|240000 | 1872 | 1018k| 4.2 | 51M|1155 | - |3853 | 35k|3853 | 907 | 105k| 232k|4350 | 0.000000e+00 | 2.000000e+00 | Inf
510.42/510.42 c 490s|250000 | 2023 | 1074k| 4.3 | 54M|1155 | 11 |3853 | 40k|3853 | 891 | 113k| 246k|4489 | 0.000000e+00 | 2.000000e+00 | Inf
540.52/540.58 c 519s|260000 | 2143 | 1136k| 4.4 | 55M|1155 | - |3853 | 41k|3853 | 919 | 120k| 260k|4621 | 0.000000e+00 | 2.000000e+00 | Inf
570.93/570.94 c 549s|270000 | 2279 | 1199k| 4.4 | 58M|1155 | 17 |3853 | 45k|3853 | 891 | 129k| 274k|4732 | 0.000000e+00 | 2.000000e+00 | Inf
602.41/602.40 c 579s|280000 | 2218 | 1262k| 4.5 | 57M|1155 | 7 |3853 | 42k|3853 | 914 | 138k| 288k|4868 | 0.000000e+00 | 2.000000e+00 | Inf
631.22/631.26 c 607s|290000 | 2507 | 1321k| 4.6 | 60M|1155 | - |3853 | 46k| 0 | 0 | 145k| 302k|5003 | 0.000000e+00 | 2.000000e+00 | Inf
662.62/662.61 c 638s|300000 | 2663 | 1383k| 4.6 | 61M|1155 | 12 |3853 | 46k|3853 | 891 | 155k| 317k|5140 | 0.000000e+00 | 2.000000e+00 | Inf
694.22/694.21 c 668s|310000 | 2951 | 1449k| 4.7 | 64M|1155 | 19 |3853 | 49k|3853 | 898 | 167k| 331k|5262 | 0.000000e+00 | 2.000000e+00 | Inf
727.03/727.02 c 700s|320000 | 2814 | 1513k| 4.7 | 63M|1155 | 12 |3853 | 47k|3853 | 903 | 177k| 347k|5368 | 0.000000e+00 | 2.000000e+00 | Inf
758.93/758.91 c 731s|330000 | 2848 | 1580k| 4.8 | 65M|1155 | 29 |3853 | 50k|3853 | 908 | 187k| 362k|5521 | 0.000000e+00 | 2.000000e+00 | Inf
791.93/791.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
791.93/791.96 c 763s|340000 | 2684 | 1645k| 4.8 | 63M|1155 | 9 |3853 | 46k|3853 | 891 | 198k| 377k|5656 | 0.000000e+00 | 2.000000e+00 | Inf
824.53/824.53 c 795s|350000 | 2656 | 1715k| 4.9 | 63M|1155 | 12 |3853 | 47k|3853 | 891 | 208k| 392k|5757 | 0.000000e+00 | 2.000000e+00 | Inf
854.83/854.89 c 824s|360000 | 2745 | 1777k| 4.9 | 63M|1155 | 23 |3853 | 45k|3853 | 911 | 216k| 406k|5888 | 0.000000e+00 | 2.000000e+00 | Inf
887.64/887.67 c 856s|370000 | 2691 | 1845k| 5.0 | 62M|1155 | - |3853 | 42k| 0 | 0 | 225k| 421k|5989 | 0.000000e+00 | 2.000000e+00 | Inf
916.63/916.67 c 884s|380000 | 2671 | 1904k| 5.0 | 62M|1155 | 11 |3853 | 41k|3853 | 891 | 233k| 436k|6132 | 0.000000e+00 | 2.000000e+00 | Inf
945.83/945.86 c 912s|390000 | 2594 | 1964k| 5.0 | 61M|1155 | - |3853 | 40k| 0 | 0 | 241k| 450k|6219 | 0.000000e+00 | 2.000000e+00 | Inf
976.24/976.24 c 941s|400000 | 2659 | 2026k| 5.1 | 63M|1155 | - |3853 | 44k| 0 | 0 | 248k| 464k|6324 | 0.000000e+00 | 2.000000e+00 | Inf
1007.84/1007.83 c 972s|410000 | 2702 | 2089k| 5.1 | 66M|1155 | - |3853 | 50k|3853 | 916 | 255k| 477k|6444 | 0.000000e+00 | 2.000000e+00 | Inf
1041.54/1041.55 c 1005s|420000 | 2645 | 2153k| 5.1 | 66M|1155 | 14 |3853 | 50k|3853 | 903 | 261k| 492k|6529 | 0.000000e+00 | 2.000000e+00 | Inf
1072.94/1072.91 c 1035s|430000 | 2562 | 2218k| 5.2 | 64M|1155 | - |3853 | 47k| 0 | 0 | 270k| 506k|6642 | 0.000000e+00 | 2.000000e+00 | Inf
1103.64/1103.65 c 1065s|440000 | 2526 | 2281k| 5.2 | 65M|1155 | 11 |3853 | 48k|3853 | 898 | 279k| 521k|6745 | 0.000000e+00 | 2.000000e+00 | Inf
1135.65/1135.68 c 1096s|450000 | 2518 | 2348k| 5.2 | 66M|1155 | - |3853 | 50k| 0 | 0 | 288k| 535k|6846 | 0.000000e+00 | 2.000000e+00 | Inf
1167.84/1167.82 c 1127s|460000 | 2595 | 2399k| 5.2 | 65M|1155 | 19 |3853 | 47k|3853 | 906 | 292k| 549k|7353 | 0.000000e+00 | 2.000000e+00 | Inf
1197.54/1197.52 c 1156s|470000 | 2569 | 2451k| 5.2 | 66M|1155 | 14 |3853 | 49k|3853 | 912 | 298k| 563k|7355 | 0.000000e+00 | 2.000000e+00 | Inf
1198.65/1198.67 o 1
1198.65/1198.67 c *1157s|470381 | 2469 | 2453k| 5.2 | 65M|1155 | - |3853 | 49k|3853 | 912 | 298k| 563k|7355 | 0.000000e+00 | 1.000000e+00 | Inf
1226.95/1226.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1226.95/1226.95 c 1184s|480000 | 2605 | 2507k| 5.2 | 66M|1155 | - |3853 | 51k| 0 | 0 | 305k| 576k|7357 | 0.000000e+00 | 1.000000e+00 | Inf
1258.85/1258.86 c 1215s|490000 | 2610 | 2563k| 5.2 | 67M|1155 | 1 |3853 | 51k|3853 | 915 | 311k| 590k|7367 | 0.000000e+00 | 1.000000e+00 | Inf
1288.95/1288.97 c 1245s|500000 | 2515 | 2611k| 5.2 | 66M|1155 | - |3853 | 50k|3853 | 908 | 315k| 604k|7432 | 0.000000e+00 | 1.000000e+00 | Inf
1315.66/1315.63 c 1271s|510000 | 2418 | 2668k| 5.2 | 58M|1155 | 12 |3853 | 29k|3853 | 899 | 322k| 619k|7526 | 0.000000e+00 | 1.000000e+00 | Inf
1338.46/1338.40 c 1293s|520000 | 2482 | 2712k| 5.2 | 60M|1155 | 1 |3853 | 33k|3853 | 904 | 325k| 632k|7586 | 0.000000e+00 | 1.000000e+00 | Inf
1362.15/1362.16 c 1315s|530000 | 2418 | 2762k| 5.2 | 59M|1155 | 9 |3853 | 29k|3853 | 891 | 330k| 646k|7712 | 0.000000e+00 | 1.000000e+00 | Inf
1387.65/1387.69 c 1340s|540000 | 2709 | 2819k| 5.2 | 62M|1155 | - |3853 | 35k| 0 | 0 | 338k| 660k|7769 | 0.000000e+00 | 1.000000e+00 | Inf
1413.76/1413.77 c 1365s|550000 | 2698 | 2873k| 5.2 | 64M|1155 | 23 |3853 | 38k|3853 | 908 | 344k| 673k|7832 | 0.000000e+00 | 1.000000e+00 | Inf
1441.26/1441.28 c 1392s|560000 | 2768 | 2925k| 5.2 | 65M|1155 | - |3853 | 40k| 0 | 0 | 350k| 687k|7902 | 0.000000e+00 | 1.000000e+00 | Inf
1470.86/1470.81 c 1421s|570000 | 2875 | 2988k| 5.2 | 67M|1155 | 15 |3853 | 44k|3853 | 909 | 359k| 700k|7961 | 0.000000e+00 | 1.000000e+00 | Inf
1503.96/1503.96 c 1453s|580000 | 2928 | 3052k| 5.3 | 69M|1155 | 24 |3853 | 48k|3853 | 909 | 366k| 714k|8057 | 0.000000e+00 | 1.000000e+00 | Inf
1535.06/1535.08 c 1483s|590000 | 2941 | 3107k| 5.3 | 70M|1155 | 16 |3853 | 49k|3853 | 901 | 373k| 728k|8134 | 0.000000e+00 | 1.000000e+00 | Inf
1568.16/1568.11 c 1515s|600000 | 3006 | 3166k| 5.3 | 72M|1155 | 17 |3853 | 52k|3853 | 898 | 381k| 742k|8213 | 0.000000e+00 | 1.000000e+00 | Inf
1600.06/1600.04 c 1546s|610000 | 3066 | 3217k| 5.3 | 73M|1155 | 11 |3853 | 54k|3853 | 891 | 386k| 756k|8279 | 0.000000e+00 | 1.000000e+00 | Inf
1633.77/1633.78 c 1579s|620000 | 3240 | 3275k| 5.3 | 74M|1155 | 12 |3853 | 54k|3853 | 907 | 394k| 770k|8350 | 0.000000e+00 | 1.000000e+00 | Inf
1667.97/1667.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1667.97/1667.99 c 1612s|630000 | 3326 | 3335k| 5.3 | 76M|1155 | 8 |3853 | 57k|3853 | 899 | 402k| 784k|8413 | 0.000000e+00 | 1.000000e+00 | Inf
1704.67/1704.61 c 1648s|640000 | 3406 | 3399k| 5.3 | 77M|1155 | - |3853 | 59k| 0 | 0 | 411k| 798k|8482 | 0.000000e+00 | 1.000000e+00 | Inf
1742.38/1742.34 c 1685s|650000 | 3652 | 3463k| 5.3 | 80M|1155 | 17 |3853 | 62k|3853 | 891 | 420k| 812k|8545 | 0.000000e+00 | 1.000000e+00 | Inf
1780.78/1780.73 c 1722s|660000 | 3651 | 3527k| 5.3 | 82M|1155 | 17 |3853 | 65k|3853 | 901 | 430k| 827k|8632 | 0.000000e+00 | 1.000000e+00 | Inf
1800.08/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.01 c
1800.08/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.01 c Solving Time (sec) : 1741.27
1800.08/1800.01 c Solving Nodes : 664872
1800.08/1800.01 c Primal Bound : +1.00000000000000e+00 (167 solutions)
1800.08/1800.01 c Dual Bound : +0.00000000000000e+00
1800.08/1800.01 c Gap : infinite
1800.08/1800.05 s SATISFIABLE
1800.08/1800.05 v -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210
1800.08/1800.05 v -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 -x189
1800.08/1800.05 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168
1800.08/1800.05 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.08/1800.05 v -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.08/1800.05 v -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.08/1800.05 v -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80
1800.08/1800.05 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.08/1800.05 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.08/1800.05 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.08/1800.05 v -x1
1800.08/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.05 c Solving Time : 1741.27
1800.08/1800.05 c Original Problem :
1800.08/1800.05 c Problem name : HOME/instance-2692867-1277907793.wbo
1800.08/1800.05 c Variables : 3967 (2099 binary, 0 integer, 0 implicit integer, 1868 continuous)
1800.08/1800.05 c Constraints : 4576 initial, 4576 maximal
1800.08/1800.05 c Presolved Problem :
1800.08/1800.05 c Problem name : t_HOME/instance-2692867-1277907793.wbo
1800.08/1800.05 c Variables : 3853 (2042 binary, 0 integer, 0 implicit integer, 1811 continuous)
1800.08/1800.05 c Constraints : 4434 initial, 66245 maximal
1800.08/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.05 c trivial : 0.00 57 0 0 0 0 0 0 0
1800.08/1800.05 c dualfix : 0.01 57 0 0 0 0 0 0 0
1800.08/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.05 c probing : 0.03 0 0 0 0 0 0 0 0
1800.08/1800.05 c indicator : 0.01 0 0 0 0 0 57 0 0
1800.08/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.05 c linear : 0.04 0 0 0 1876 0 85 67 0
1800.08/1800.05 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.05 c root node : - 1811 - - 3622 - - - -
1800.08/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.05 c integral : 0 0 0 475403 0 24 584 0 0 668828
1800.08/1800.05 c indicator : 1811 0 1886679 117950 0 20 400336 0 0 0
1800.08/1800.05 c setppc : 5 6 2690657 89019 0 7881 800539 0 0 0
1800.08/1800.05 c linear : 1811 6 2759506 135445 0 204286 14184577 435420 0 0
1800.08/1800.05 c logicor : 807+ 6 1257242 69082 0 82258 2949667 0 0 0
1800.08/1800.05 c bounddisjunction : 0+ 0 7827 0 0 0 0 0 0 0
1800.08/1800.05 c countsols : 0 0 0 69082 0 0 0 0 0 0
1800.08/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.05 c integral : 22.36 0.00 0.00 22.36 0.00
1800.08/1800.05 c indicator : 10.66 0.00 2.51 8.15 0.00
1800.08/1800.05 c setppc : 6.40 0.00 6.40 0.00 0.00
1800.08/1800.05 c linear : 124.85 0.00 120.87 3.98 0.00
1800.08/1800.05 c logicor : 392.33 0.00 391.78 0.55 0.00
1800.08/1800.05 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.05 c vbounds : 0.00 2 0 0
1800.08/1800.05 c rootredcost : 0.02 65 0 1811
1800.08/1800.05 c pseudoobj : 90.48 2773130 373 213093
1800.08/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.05 c propagation : 15.66 294798 294326 1879052 27.9 7208 24.9 -
1800.08/1800.05 c infeasible LP : 9.62 33458 33457 266177 44.9 203 20.9 0
1800.08/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.05 c pseudo solution : 0.00 17 17 119 20.5 33 5.2 -
1800.08/1800.05 c applied globally : - - - 834776 24.1 - - -
1800.08/1800.05 c applied locally : - - - 0 0.0 - - -
1800.08/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.05 c cut pool : 0.00 5 - - 23 - (maximal pool size: 58)
1800.08/1800.05 c redcost : 23.83 476451 0 110864 0 0
1800.08/1800.05 c impliedbounds : 0.00 6 0 0 0 0
1800.08/1800.05 c intobj : 0.00 0 0 0 0 0
1800.08/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.05 c gomory : 0.11 6 0 0 368 0
1800.08/1800.05 c strongcg : 0.06 6 0 0 78 0
1800.08/1800.05 c cmir : 0.02 6 0 0 0 0
1800.08/1800.05 c flowcover : 0.08 6 0 0 0 0
1800.08/1800.05 c clique : 0.00 6 0 0 0 0
1800.08/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.05 c mcf : 0.00 1 0 0 0 0
1800.08/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.05 c Pricers : Time Calls Vars
1800.08/1800.05 c problem variables: 0.00 0 0
1800.08/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.05 c relpscost : 22.24 334930 24 584 0 0 668828
1800.08/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.05 c inference : 8.72 69018 0 0 0 0 138036
1800.08/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.05 c random : 0.00 0 0 0 0 0 0
1800.08/1800.05 c Primal Heuristics : Time Calls Found
1800.08/1800.05 c LP solutions : 0.15 - 64
1800.08/1800.05 c pseudo solutions : 0.00 - 0
1800.08/1800.05 c feaspump : 0.01 1 0
1800.08/1800.05 c oneopt : 0.49 61 0
1800.08/1800.05 c crossover : 0.91 42 0
1800.08/1800.05 c pscostdiving : 0.31 315 0
1800.08/1800.05 c veclendiving : 0.26 315 0
1800.08/1800.05 c linesearchdiving : 0.39 315 0
1800.08/1800.05 c guideddiving : 0.33 315 0
1800.08/1800.05 c fracdiving : 0.33 316 0
1800.08/1800.05 c coefdiving : 0.33 316 0
1800.08/1800.05 c objpscostdiving : 0.31 312 0
1800.08/1800.05 c rootsoldiving : 0.35 312 0
1800.08/1800.05 c trivial : 0.02 2 0
1800.08/1800.05 c simplerounding : 0.39 335016 0
1800.08/1800.05 c zirounding : 0.32 1000 0
1800.08/1800.05 c rounding : 0.96 8200 0
1800.08/1800.05 c shifting : 0.89 2579 0
1800.08/1800.05 c intshifting : 0.00 7 0
1800.08/1800.05 c twoopt : 0.00 0 0
1800.08/1800.05 c fixandinfer : 0.00 0 0
1800.08/1800.05 c intdiving : 0.00 0 0
1800.08/1800.05 c actconsdiving : 0.00 0 0
1800.08/1800.05 c octane : 0.00 0 0
1800.08/1800.05 c rens : 0.02 1 0
1800.08/1800.05 c rins : 0.00 0 0
1800.08/1800.05 c localbranching : 0.00 0 0
1800.08/1800.05 c mutation : 0.00 0 0
1800.08/1800.05 c dins : 0.00 0 0
1800.08/1800.05 c undercover : 0.00 0 0
1800.08/1800.05 c nlp : 0.00 0 0
1800.08/1800.05 c trysol : 0.85 4315 103
1800.08/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.05 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.05 c dual LP : 490.24 440606 3555515 8.07 7252.60
1800.08/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.05 c diving/probing LP: 0.32 78 3618 46.38 11306.25
1800.08/1800.05 c strong branching : 18.56 8666 126187 14.56 6798.87
1800.08/1800.05 c (at root node) : - 33 3577 108.39 -
1800.08/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.05 c B&B Tree :
1800.08/1800.05 c number of runs : 1
1800.08/1800.05 c nodes : 664872
1800.08/1800.05 c nodes (total) : 664872
1800.08/1800.05 c nodes left : 3579
1800.08/1800.05 c max depth : 1155
1800.08/1800.05 c max depth (total): 1155
1800.08/1800.05 c backtracks : 86705 (13.0%)
1800.08/1800.05 c delayed cutoffs : 67839
1800.08/1800.05 c repropagations : 960927 (4175820 domain reductions, 66871 cutoffs)
1800.08/1800.05 c avg switch length: 4.48
1800.08/1800.05 c switching time : 293.41
1800.08/1800.05 c Solution :
1800.08/1800.05 c Solutions found : 167 (65 improvements)
1800.08/1800.05 c First Solution : +9.25480000000000e+04 (in run 1, after 1 nodes, 0.12 seconds, depth 0, found by <trysol>)
1800.08/1800.05 c Primal Bound : +1.00000000000000e+00 (in run 1, after 470381 nodes, 1157.03 seconds, depth 37, found by <relaxation>)
1800.08/1800.05 c Dual Bound : +0.00000000000000e+00
1800.08/1800.05 c Gap : infinite
1800.08/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.08/1800.05 c Root Iterations : 230
1800.19/1800.17 c Time complete: 1800.25.