0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2705008-1278574752.wbo>
0.00/0.03 c original problem has 3927 variables (2079 bin, 0 int, 1848 impl, 0 cont) and 4556 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.04/0.05 c presolving:
0.04/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 124 impls, 8 clqs
0.04/0.08 c (round 2) 0 del vars, 60 del conss, 1848 chg bounds, 46 chg sides, 0 chg coeffs, 0 upgd conss, 124 impls, 8 clqs
0.04/0.09 c (round 3) 46 del vars, 191 del conss, 1880 chg bounds, 99 chg sides, 0 chg coeffs, 0 upgd conss, 124 impls, 8 clqs
0.09/0.10 c (round 4) 156 del vars, 195 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 0 upgd conss, 124 impls, 8 clqs
0.09/0.11 c (round 5) 160 del vars, 195 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 825 upgd conss, 124 impls, 8 clqs
0.09/0.11 c (round 6) 160 del vars, 216 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 825 upgd conss, 124 impls, 8 clqs
0.09/0.16 c (0.1s) probing: 101/1999 (5.1%) - 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 (7 rounds):
0.09/0.16 c 160 deleted vars, 216 deleted constraints, 1882 tightened bounds, 0 added holes, 101 changed sides, 0 changed coefficients
0.09/0.16 c 3645 implications, 8 cliques
0.09/0.16 c presolved problem has 3767 variables (1999 bin, 0 int, 1768 impl, 0 cont) and 4340 constraints
0.09/0.16 c 28 constraints of type <setppc>
0.09/0.16 c 1768 constraints of type <linear>
0.09/0.16 c 1768 constraints of type <indicator>
0.09/0.16 c 776 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.12
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.3
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 = 1789.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 # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.16 c # [type: int, range: [1,2], default: 1]
0.09/0.16 c timing/clocktype = 2
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 # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/indicator/addCouplingCons = 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 | 31 | - | 14M| 0 | 25 |3767 |4340 |3767 | 804 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.28 c 0.3s| 1 | 0 | 63 | - | 14M| 0 | 22 |3767 |4340 |3767 | 838 | 34 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.31 c 0.3s| 1 | 0 | 99 | - | 14M| 0 | 27 |3767 |4340 |3767 | 854 | 50 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.36 c 0.3s| 1 | 0 | 111 | - | 15M| 0 | 23 |3767 |4340 |3767 | 866 | 62 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.40 c 0.4s| 1 | 0 | 146 | - | 15M| 0 | 24 |3767 |4340 |3767 | 868 | 64 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.45 c 0.4s| 1 | 0 | 182 | - | 15M| 0 | 33 |3767 |4340 |3767 | 875 | 71 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.50 c 0.5s| 1 | 0 | 226 | - | 15M| 0 | 39 |3767 |4340 |3767 | 879 | 75 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.66 c 0.6s| 1 | 2 | 226 | - | 15M| 0 | 39 |3767 |4340 |3767 | 879 | 75 | 0 | 17 | 0.000000e+00 | -- | Inf
2.39/2.43 o 589
2.39/2.43 c * 2.4s| 1494 | 1195 | 480 | 0.2 | 18M|1493 | - |3767 |4340 |3767 | 899 | 100 | 0 | 128 | 0.000000e+00 | 5.890000e+02 | Inf
13.79/13.85 c 13.8s| 10000 | 9701 | 2226 | 0.2 | 34M|1493 | 0 |3767 |4340 |3767 | 902 | 490 | 0 | 527 | 0.000000e+00 | 5.890000e+02 | Inf
26.99/27.01 c 27.0s| 20000 | 19693 | 4531 | 0.2 | 52M|1493 | 0 |3767 |4353 |3767 | 907 |1014 | 13 | 808 | 0.000000e+00 | 5.890000e+02 | Inf
39.69/39.72 c 39.7s| 30000 | 29693 | 6130 | 0.2 | 70M|1493 | 0 |3767 |4353 |3767 | 904 |1373 | 13 | 911 | 0.000000e+00 | 5.890000e+02 | Inf
52.80/52.83 c 52.8s| 40000 | 39685 | 8533 | 0.2 | 86M|1493 | 0 |3767 |4367 |3767 | 916 |1864 | 27 | 978 | 0.000000e+00 | 5.890000e+02 | Inf
65.19/65.23 c 65.2s| 50000 | 49679 | 9719 | 0.2 | 103M|1493 | 0 |3767 |4374 |3767 | 915 |2155 | 34 |1016 | 0.000000e+00 | 5.890000e+02 | Inf
69.39/69.47 o 581
69.39/69.47 c *69.4s| 53048 | 52620 | 11254 | 0.2 | 108M|1493 | - |3767 |4457 |3767 | 908 |2455 | 118 |1075 | 0.000000e+00 | 5.810000e+02 | Inf
69.89/69.96 o 575
69.89/69.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.89/69.96 c *69.9s| 53346 | 52823 | 11523 | 0.2 | 109M|1493 | - |3767 |4526 |3767 | 913 |2497 | 188 |1095 | 0.000000e+00 | 5.750000e+02 | Inf
70.40/70.45 o 568
70.40/70.45 c *70.4s| 53580 | 52839 | 11912 | 0.2 | 109M|1493 | - |3767 |4688 |3767 | 901 |2568 | 354 |1107 | 0.000000e+00 | 5.680000e+02 | Inf
70.90/70.95 o 541
70.90/70.95 c *70.9s| 53934 | 52818 | 12032 | 0.2 | 109M|1493 | - |3767 |4706 |3767 | 896 |2580 | 373 |1107 | 0.000000e+00 | 5.410000e+02 | Inf
70.90/70.96 o 503
70.90/70.96 c *70.9s| 53935 | 52404 | 12032 | 0.2 | 108M|1493 | - |3767 |4706 |3767 | 896 |2580 | 373 |1107 | 0.000000e+00 | 5.030000e+02 | Inf
71.00/71.07 o 488
71.00/71.07 c *71.0s| 53999 | 52277 | 12070 | 0.2 | 108M|1493 | - |3767 |4715 |3767 | 901 |2584 | 382 |1107 | 0.000000e+00 | 4.880000e+02 | Inf
71.10/71.16 o 378
71.10/71.16 c *71.1s| 54057 | 48552 | 12092 | 0.2 | 102M|1493 | - |3767 |4720 |3767 | 898 |2592 | 388 |1107 | 0.000000e+00 | 3.780000e+02 | Inf
71.10/71.17 o 336
71.10/71.17 c *71.1s| 54058 | 46278 | 12092 | 0.2 | 99M|1493 | - |3767 |4720 |3767 | 898 |2592 | 388 |1107 | 0.000000e+00 | 3.360000e+02 | Inf
71.69/71.72 o 313
71.69/71.72 c *71.7s| 54375 | 45205 | 12329 | 0.2 | 97M|1493 | - |3767 |4792 |3767 | 900 |2636 | 464 |1109 | 0.000000e+00 | 3.130000e+02 | Inf
71.89/71.98 o 287
71.89/71.98 c *72.0s| 54529 | 43156 | 12450 | 0.2 | 94M|1493 | - |3767 |4841 |3767 | 899 |2646 | 516 |1109 | 0.000000e+00 | 2.870000e+02 | Inf
72.09/72.10 o 270
72.09/72.10 c *72.1s| 54596 | 41425 | 12569 | 0.2 | 92M|1493 | - |3767 |4865 |3767 | 900 |2652 | 541 |1114 | 0.000000e+00 | 2.700000e+02 | Inf
72.49/72.56 o 233
72.49/72.56 c *72.5s| 54855 | 37660 | 12832 | 0.2 | 86M|1493 | - |3767 |4938 |3767 | 897 |2683 | 619 |1114 | 0.000000e+00 | 2.330000e+02 | Inf
72.89/72.92 o 199
72.89/72.92 c *72.9s| 55010 | 33029 | 13276 | 0.2 | 79M|1493 | - |3767 |5023 |3767 | 909 |2741 | 719 |1129 | 0.000000e+00 | 1.990000e+02 | Inf
75.39/75.40 o 198
75.39/75.40 c *75.4s| 55994 | 33253 | 18115 | 0.3 | 81M|1493 | - |3767 |5633 |3767 | 907 |3565 |1456 |1320 | 0.000000e+00 | 1.980000e+02 | Inf
77.00/77.01 o 178
77.00/77.01 c *77.0s| 56593 | 29333 | 21799 | 0.4 | 76M|1493 | - |3767 |6008 |3767 | 940 |4104 |1886 |1411 | 0.000000e+00 | 1.780000e+02 | Inf
77.69/77.76 o 176
77.69/77.76 c *77.7s| 56945 | 28965 | 22452 | 0.4 | 76M|1493 | - |3767 |6313 |3767 | 933 |4206 |2214 |1417 | 0.000000e+00 | 1.760000e+02 | Inf
77.79/77.87 o 167
77.79/77.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.79/77.87 c *77.8s| 56971 | 26765 | 22720 | 0.4 | 73M|1493 | - |3767 |6320 |3767 | 947 |4248 |2225 |1430 | 0.000000e+00 | 1.670000e+02 | Inf
77.79/77.87 o 161
77.79/77.87 c *77.8s| 56972 | 25393 | 22732 | 0.4 | 71M|1493 | - |3767 |6320 |3767 | 947 |4248 |2225 |1430 | 0.000000e+00 | 1.610000e+02 | Inf
78.40/78.49 o 147
78.40/78.49 c *78.5s| 57174 | 22099 | 24334 | 0.4 | 67M|1493 | - |3767 |6400 |3767 | 893 |4460 |2354 |1449 | 0.000000e+00 | 1.470000e+02 | Inf
78.40/78.49 o 142
78.40/78.49 c *78.5s| 57175 | 20858 | 24352 | 0.4 | 66M|1493 | - |3767 |6400 |3767 | 893 |4460 |2354 |1449 | 0.000000e+00 | 1.420000e+02 | Inf
78.60/78.60 o 132
78.60/78.60 c *78.6s| 57200 | 18672 | 24648 | 0.4 | 63M|1493 | - |3767 |6401 |3767 | 885 |4508 |2370 |1453 | 0.000000e+00 | 1.320000e+02 | Inf
78.69/78.70 o 126
78.69/78.70 c *78.7s| 57230 | 17418 | 24916 | 0.4 | 61M|1493 | - |3767 |6415 |3767 | 908 |4547 |2388 |1463 | 0.000000e+00 | 1.260000e+02 | Inf
78.89/78.91 o 125
78.89/78.91 c *78.9s| 57315 | 17284 | 25269 | 0.4 | 61M|1493 | - |3767 |6442 |3767 | 892 |4581 |2441 |1470 | 0.000000e+00 | 1.250000e+02 | Inf
79.89/79.99 o 115
79.89/79.99 c *80.0s| 57719 | 15410 | 27696 | 0.5 | 58M|1493 | - |3767 |6598 |3767 | 906 |4951 |2745 |1521 | 0.000000e+00 | 1.150000e+02 | Inf
80.09/80.16 o 99
80.09/80.16 c *80.1s| 57777 | 12038 | 28201 | 0.5 | 51M|1493 | - |3767 |6638 |3767 | 914 |5003 |2802 |1526 | 0.000000e+00 | 9.900000e+01 | Inf
81.29/81.32 o 96
81.29/81.32 c *81.3s| 58162 | 11426 | 31168 | 0.5 | 50M|1493 | - |3767 |6710 |3767 | 911 |5305 |3092 |1578 | 0.000000e+00 | 9.600000e+01 | Inf
81.29/81.33 o 94
81.29/81.33 c *81.3s| 58163 | 10571 | 31179 | 0.5 | 48M|1493 | - |3767 |6710 |3767 | 917 |5311 |3092 |1578 | 0.000000e+00 | 9.400000e+01 | Inf
82.69/82.72 o 93
82.69/82.72 c *82.7s| 58695 | 10463 | 33455 | 0.6 | 50M|1493 | - |3767 |6840 |3767 | 925 |5600 |3605 |1585 | 0.000000e+00 | 9.300000e+01 | Inf
86.09/86.19 c 86.2s| 60000 | 10601 | 39947 | 0.7 | 52M|1493 | 0 |3767 |6853 |3767 | 923 |6639 |4831 |1622 | 0.000000e+00 | 9.300000e+01 | Inf
86.59/86.62 o 63
86.59/86.62 c *86.6s| 60136 | 6170 | 40841 | 0.7 | 41M|1493 | - |3767 |6936 |3767 | 890 |6780 |4998 |1627 | 0.000000e+00 | 6.300000e+01 | Inf
87.70/87.71 o 55
87.70/87.71 c *87.7s| 60686 | 5346 | 42698 | 0.7 | 40M|1493 | - |3767 |6508 |3767 | 923 |6989 |5626 |1629 | 0.000000e+00 | 5.500000e+01 | Inf
87.70/87.72 o 54
87.70/87.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.70/87.72 c *87.7s| 60687 | 5272 | 42698 | 0.7 | 39M|1493 | - |3767 |6508 |3767 | 923 |6989 |5626 |1629 | 0.000000e+00 | 5.400000e+01 | Inf
87.80/87.84 o 47
87.80/87.84 c *87.8s| 60734 | 4695 | 42845 | 0.7 | 38M|1493 | - |3767 |6290 |3767 | 910 |7020 |5710 |1629 | 0.000000e+00 | 4.700000e+01 | Inf
89.10/89.15 o 39
89.10/89.15 c *89.1s| 61398 | 4023 | 45929 | 0.7 | 37M|1493 | - |3767 |6276 |3767 | 901 |7441 |6640 |1636 | 0.000000e+00 | 3.900000e+01 | Inf
89.40/89.48 o 30
89.40/89.48 c *89.5s| 61544 | 3112 | 46644 | 0.8 | 35M|1493 | - |3767 |5886 |3767 | 906 |7497 |6806 |1638 | 0.000000e+00 | 3.000000e+01 | Inf
91.19/91.29 o 28
91.19/91.29 c *91.3s| 62419 | 2768 | 52605 | 0.8 | 35M|1493 | - |3767 |5525 |3767 | 906 |7924 |7942 |1676 | 0.000000e+00 | 2.800000e+01 | Inf
96.19/96.26 o 26
96.19/96.26 c *96.2s| 65433 | 2708 | 66547 | 1.0 | 36M|1493 | - |3767 |6653 |3767 | 932 |8928 | 11k|1707 | 0.000000e+00 | 2.600000e+01 | Inf
103.90/103.92 c 104s| 70000 | 2763 | 91683 | 1.3 | 38M|1493 | - |3767 |8031 | 0 | 0 | 10k| 17k|1724 | 0.000000e+00 | 2.600000e+01 | Inf
121.49/121.55 c 122s| 80000 | 3034 |147010 | 1.8 | 42M|1493 | - |3767 |7764 | 0 | 0 | 13k| 29k|2047 | 0.000000e+00 | 2.600000e+01 | Inf
127.20/127.28 o 24
127.20/127.28 c * 127s| 83302 | 2984 |165998 | 2.0 | 44M|1493 | - |3767 |8754 |3767 | 933 | 14k| 33k|2165 | 0.000000e+00 | 2.400000e+01 | Inf
138.89/138.91 c 139s| 90000 | 3142 |201458 | 2.2 | 46M|1493 | - |3767 |8226 | 0 | 0 | 16k| 42k|2359 | 0.000000e+00 | 2.400000e+01 | Inf
153.70/153.73 o 23
153.70/153.73 c * 154s| 98371 | 3066 |245472 | 2.5 | 47M|1493 | - |3767 |8020 |3767 | 946 | 18k| 52k|2602 | 0.000000e+00 | 2.300000e+01 | Inf
156.50/156.55 c 157s|100000 | 3102 |254104 | 2.5 | 48M|1493 | - |3767 |7905 | 0 | 0 | 19k| 54k|2636 | 0.000000e+00 | 2.300000e+01 | Inf
173.90/173.95 c 174s|110000 | 3376 |307856 | 2.8 | 52M|1493 | - |3767 |8935 | 0 | 0 | 22k| 67k|2879 | 0.000000e+00 | 2.300000e+01 | Inf
187.29/187.33 o 15
187.29/187.33 c * 187s|117880 | 2517 |346024 | 2.9 | 48M|1493 | - |3767 | 11k|3767 | 946 | 23k| 78k|3017 | 0.000000e+00 | 1.500000e+01 | Inf
191.00/191.00 c 191s|120000 | 2514 |356746 | 3.0 | 47M|1493 | 1 |3767 |8563 |3767 | 915 | 24k| 81k|3076 | 0.000000e+00 | 1.500000e+01 | Inf
208.30/208.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
208.30/208.35 c 208s|130000 | 2729 |419791 | 3.2 | 50M|1493 | 6 |3767 |9243 |3767 | 902 | 27k| 93k|3304 | 0.000000e+00 | 1.500000e+01 | Inf
224.90/224.95 c 225s|140000 | 2818 |477625 | 3.4 | 51M|1493 | 1 |3767 | 10k|3767 | 905 | 30k| 107k|3473 | 0.000000e+00 | 1.500000e+01 | Inf
241.90/241.98 c 242s|150000 | 2919 |539070 | 3.6 | 53M|1493 | 10 |3767 | 10k|3767 | 917 | 33k| 120k|3666 | 0.000000e+00 | 1.500000e+01 | Inf
259.20/259.27 c 259s|160000 | 2817 |597787 | 3.7 | 53M|1493 | - |3767 | 10k| 0 | 0 | 36k| 133k|3887 | 0.000000e+00 | 1.500000e+01 | Inf
276.39/276.49 c 276s|170000 | 2550 |654815 | 3.9 | 52M|1493 | - |3767 | 10k|3767 | 924 | 39k| 147k|4031 | 0.000000e+00 | 1.500000e+01 | Inf
293.90/293.99 c 294s|180000 | 2386 |709558 | 3.9 | 51M|1493 | 1 |3767 | 10k|3767 | 900 | 42k| 161k|4217 | 0.000000e+00 | 1.500000e+01 | Inf
310.30/310.30 c 310s|190000 | 2231 |758356 | 4.0 | 49M|1493 | 7 |3767 | 11k|3767 | 897 | 45k| 173k|4338 | 0.000000e+00 | 1.500000e+01 | Inf
327.10/327.11 c 327s|200000 | 1869 |807431 | 4.0 | 47M|1493 | - |3767 | 10k| 0 | 0 | 48k| 187k|4500 | 0.000000e+00 | 1.500000e+01 | Inf
343.80/343.86 c 344s|210000 | 2144 |859794 | 4.1 | 49M|1493 | - |3767 | 10k| 0 | 0 | 51k| 199k|4674 | 0.000000e+00 | 1.500000e+01 | Inf
359.61/359.65 c 360s|220000 | 2452 |904286 | 4.1 | 52M|1493 | 13 |3767 | 12k|3767 | 911 | 53k| 212k|4747 | 0.000000e+00 | 1.500000e+01 | Inf
375.60/375.62 c 376s|230000 | 2665 |948092 | 4.1 | 55M|1493 | 14 |3767 | 13k|3767 | 913 | 56k| 225k|4821 | 0.000000e+00 | 1.500000e+01 | Inf
391.70/391.78 c 392s|240000 | 2808 |991060 | 4.1 | 57M|1493 | - |3767 | 13k| 0 | 0 | 59k| 238k|4920 | 0.000000e+00 | 1.500000e+01 | Inf
407.90/407.94 c 408s|250000 | 3027 | 1033k| 4.1 | 59M|1493 | - |3767 | 15k| 0 | 0 | 61k| 251k|5012 | 0.000000e+00 | 1.500000e+01 | Inf
424.80/424.87 c 425s|260000 | 3206 | 1080k| 4.2 | 60M|1493 | 1 |3767 | 14k|3767 | 899 | 64k| 264k|5079 | 0.000000e+00 | 1.500000e+01 | Inf
441.91/441.96 c 442s|270000 | 3351 | 1124k| 4.2 | 62M|1493 | - |3767 | 14k| 0 | 0 | 66k| 277k|5144 | 0.000000e+00 | 1.500000e+01 | Inf
458.71/458.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
458.71/458.80 c 459s|280000 | 3482 | 1170k| 4.2 | 64M|1493 | 16 |3767 | 16k|3767 | 918 | 69k| 291k|5261 | 0.000000e+00 | 1.500000e+01 | Inf
475.80/475.82 c 476s|290000 | 3684 | 1219k| 4.2 | 66M|1493 | 1 |3767 | 16k|3767 | 918 | 71k| 304k|5342 | 0.000000e+00 | 1.500000e+01 | Inf
492.51/492.51 c 492s|300000 | 3784 | 1263k| 4.2 | 67M|1493 | - |3767 | 16k| 0 | 0 | 74k| 318k|5396 | 0.000000e+00 | 1.500000e+01 | Inf
509.40/509.40 c 509s|310000 | 3830 | 1309k| 4.2 | 68M|1493 | 1 |3767 | 15k|3767 | 902 | 77k| 331k|5473 | 0.000000e+00 | 1.500000e+01 | Inf
526.20/526.23 c 526s|320000 | 3919 | 1352k| 4.2 | 70M|1493 | - |3767 | 15k| 0 | 0 | 79k| 345k|5565 | 0.000000e+00 | 1.500000e+01 | Inf
543.61/543.67 c 544s|330000 | 4052 | 1396k| 4.2 | 71M|1493 | 0 |3767 | 16k|3767 | 937 | 82k| 358k|5669 | 0.000000e+00 | 1.500000e+01 | Inf
561.41/561.49 c 561s|340000 | 4179 | 1441k| 4.2 | 73M|1493 | 1 |3767 | 16k|3767 | 902 | 84k| 371k|5733 | 0.000000e+00 | 1.500000e+01 | Inf
579.21/579.30 c 579s|350000 | 4275 | 1489k| 4.3 | 74M|1493 | 16 |3767 | 15k|3767 | 916 | 87k| 385k|5811 | 0.000000e+00 | 1.500000e+01 | Inf
597.21/597.21 c 597s|360000 | 4309 | 1535k| 4.3 | 76M|1493 | - |3767 | 16k| 0 | 0 | 89k| 399k|5881 | 0.000000e+00 | 1.500000e+01 | Inf
615.60/615.68 c 616s|370000 | 4401 | 1585k| 4.3 | 78M|1493 | 1 |3767 | 17k|3767 | 907 | 92k| 412k|5961 | 0.000000e+00 | 1.500000e+01 | Inf
634.31/634.35 c 634s|380000 | 4578 | 1637k| 4.3 | 80M|1493 | 16 |3767 | 19k|3767 | 919 | 94k| 425k|6051 | 0.000000e+00 | 1.500000e+01 | Inf
653.00/653.02 c 653s|390000 | 4658 | 1689k| 4.3 | 82M|1493 | 1 |3767 | 18k|3767 | 906 | 97k| 439k|6123 | 0.000000e+00 | 1.500000e+01 | Inf
671.51/671.55 c 672s|400000 | 4875 | 1741k| 4.4 | 83M|1493 | 1 |3767 | 17k|3767 | 902 | 100k| 453k|6206 | 0.000000e+00 | 1.500000e+01 | Inf
689.91/689.91 c 690s|410000 | 4938 | 1788k| 4.4 | 85M|1493 | 1 |3767 | 17k|3767 | 903 | 103k| 466k|6268 | 0.000000e+00 | 1.500000e+01 | Inf
708.61/708.62 c 709s|420000 | 4993 | 1840k| 4.4 | 86M|1493 | 17 |3767 | 16k|3767 | 894 | 106k| 480k|6377 | 0.000000e+00 | 1.500000e+01 | Inf
726.81/726.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
726.81/726.81 c 727s|430000 | 5097 | 1888k| 4.4 | 88M|1493 | - |3767 | 17k|3767 | 912 | 108k| 494k|6438 | 0.000000e+00 | 1.500000e+01 | Inf
745.11/745.13 c 745s|440000 | 5216 | 1935k| 4.4 | 89M|1493 | 1 |3767 | 16k|3767 | 909 | 111k| 507k|6500 | 0.000000e+00 | 1.500000e+01 | Inf
764.72/764.72 c 765s|450000 | 5485 | 1984k| 4.4 | 93M|1493 | - |3767 | 19k|3767 | 905 | 114k| 521k|6574 | 0.000000e+00 | 1.500000e+01 | Inf
785.41/785.45 c 785s|460000 | 5817 | 2046k| 4.4 | 96M|1493 | 6 |3767 | 17k|3767 | 912 | 118k| 535k|6650 | 0.000000e+00 | 1.500000e+01 | Inf
804.71/804.71 c 805s|470000 | 5933 | 2102k| 4.5 | 98M|1493 | 4 |3767 | 17k|3767 | 909 | 121k| 549k|6722 | 0.000000e+00 | 1.500000e+01 | Inf
822.91/822.94 c 823s|480000 | 6193 | 2154k| 4.5 | 101M|1493 | 1 |3767 | 19k|3767 | 905 | 123k| 562k|6795 | 0.000000e+00 | 1.500000e+01 | Inf
841.91/841.95 c 842s|490000 | 6324 | 2211k| 4.5 | 103M|1493 | - |3767 | 19k| 0 | 0 | 126k| 576k|6870 | 0.000000e+00 | 1.500000e+01 | Inf
861.02/861.02 c 861s|500000 | 6416 | 2267k| 4.5 | 104M|1493 | 1 |3767 | 18k|3767 | 922 | 129k| 589k|6951 | 0.000000e+00 | 1.500000e+01 | Inf
880.22/880.27 c 880s|510000 | 6455 | 2320k| 4.5 | 105M|1493 | 1 |3767 | 17k|3767 | 906 | 132k| 603k|7019 | 0.000000e+00 | 1.500000e+01 | Inf
899.31/899.35 c 899s|520000 | 6449 | 2376k| 4.6 | 106M|1493 | 20 |3767 | 16k|3767 | 907 | 135k| 617k|7102 | 0.000000e+00 | 1.500000e+01 | Inf
917.43/917.40 c 917s|530000 | 6462 | 2427k| 4.6 | 107M|1493 | - |3767 | 16k| 0 | 0 | 137k| 631k|7184 | 0.000000e+00 | 1.500000e+01 | Inf
934.72/934.73 c 935s|540000 | 6582 | 2474k| 4.6 | 108M|1493 | 18 |3767 | 17k|3767 | 921 | 140k| 645k|7234 | 0.000000e+00 | 1.500000e+01 | Inf
952.52/952.53 c 953s|550000 | 6631 | 2526k| 4.6 | 109M|1493 | 18 |3767 | 16k|3767 | 911 | 143k| 659k|7293 | 0.000000e+00 | 1.500000e+01 | Inf
971.71/971.79 c 972s|560000 | 6621 | 2581k| 4.6 | 109M|1493 | 10 |3767 | 14k|3767 | 912 | 147k| 673k|7362 | 0.000000e+00 | 1.500000e+01 | Inf
989.62/989.65 c 990s|570000 | 6702 | 2632k| 4.6 | 111M|1493 | 21 |3767 | 16k|3767 | 890 | 150k| 686k|7415 | 0.000000e+00 | 1.500000e+01 | Inf
1007.72/1007.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1007.72/1007.77 c 1008s|580000 | 6742 | 2686k| 4.6 | 113M|1493 | - |3767 | 16k| 0 | 0 | 153k| 700k|7487 | 0.000000e+00 | 1.500000e+01 | Inf
1026.02/1026.01 c 1026s|590000 | 6810 | 2739k| 4.6 | 115M|1493 | - |3767 | 18k| 0 | 0 | 156k| 713k|7550 | 0.000000e+00 | 1.500000e+01 | Inf
1044.52/1044.54 c 1045s|600000 | 6731 | 2790k| 4.7 | 114M|1493 | 1 |3767 | 16k|3767 | 888 | 158k| 728k|7637 | 0.000000e+00 | 1.500000e+01 | Inf
1062.82/1062.87 c 1063s|610000 | 7026 | 2845k| 4.7 | 116M|1493 | 21 |3767 | 15k|3767 | 885 | 161k| 741k|7708 | 0.000000e+00 | 1.500000e+01 | Inf
1080.62/1080.64 c 1081s|620000 | 7173 | 2894k| 4.7 | 118M|1493 | 14 |3767 | 16k|3767 | 907 | 164k| 756k|7768 | 0.000000e+00 | 1.500000e+01 | Inf
1099.02/1099.03 c 1099s|630000 | 7432 | 2951k| 4.7 | 120M|1493 | 1 |3767 | 15k|3767 | 885 | 167k| 770k|7829 | 0.000000e+00 | 1.500000e+01 | Inf
1116.92/1116.90 c 1117s|640000 | 7613 | 3004k| 4.7 | 123M|1493 | - |3767 | 15k| 0 | 0 | 170k| 784k|7883 | 0.000000e+00 | 1.500000e+01 | Inf
1135.02/1135.01 c 1135s|650000 | 7922 | 3056k| 4.7 | 125M|1493 | 12 |3767 | 16k|3767 | 913 | 174k| 798k|7948 | 0.000000e+00 | 1.500000e+01 | Inf
1152.83/1152.82 c 1153s|660000 | 8229 | 3105k| 4.7 | 128M|1493 | 1 |3767 | 17k|3767 | 916 | 176k| 811k|8017 | 0.000000e+00 | 1.500000e+01 | Inf
1172.12/1172.19 c 1172s|670000 | 8754 | 3165k| 4.7 | 133M|1493 | - |3767 | 18k| 0 | 0 | 180k| 825k|8085 | 0.000000e+00 | 1.500000e+01 | Inf
1190.52/1190.59 c 1191s|680000 | 8979 | 3218k| 4.7 | 135M|1493 | - |3767 | 19k| 0 | 0 | 182k| 840k|8142 | 0.000000e+00 | 1.500000e+01 | Inf
1209.32/1209.36 c 1209s|690000 | 9349 | 3274k| 4.7 | 138M|1493 | 23 |3767 | 17k|3767 | 928 | 185k| 853k|8216 | 0.000000e+00 | 1.500000e+01 | Inf
1228.93/1228.92 c 1229s|700000 | 9923 | 3340k| 4.8 | 142M|1493 | 1 |3767 | 19k|3767 | 942 | 188k| 867k|8278 | 0.000000e+00 | 1.500000e+01 | Inf
1248.23/1248.29 c 1248s|710000 | 10091 | 3400k| 4.8 | 144M|1493 | 25 |3767 | 18k|3767 | 919 | 192k| 882k|8327 | 0.000000e+00 | 1.500000e+01 | Inf
1267.33/1267.33 c 1267s|720000 | 10307 | 3459k| 4.8 | 146M|1493 | 15 |3767 | 16k|3767 | 920 | 195k| 896k|8376 | 0.000000e+00 | 1.500000e+01 | Inf
1285.43/1285.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1285.43/1285.41 c 1285s|730000 | 10438 | 3509k| 4.8 | 148M|1493 | - |3767 | 17k| 0 | 0 | 198k| 910k|8424 | 0.000000e+00 | 1.500000e+01 | Inf
1303.83/1303.84 c 1304s|740000 | 10579 | 3566k| 4.8 | 149M|1493 | - |3767 | 16k| 0 | 0 | 201k| 925k|8491 | 0.000000e+00 | 1.500000e+01 | Inf
1322.33/1322.34 c 1322s|750000 | 10740 | 3622k| 4.8 | 151M|1493 | 8 |3767 | 15k|3767 | 907 | 203k| 939k|8552 | 0.000000e+00 | 1.500000e+01 | Inf
1340.73/1340.74 c 1341s|760000 | 10843 | 3677k| 4.8 | 153M|1493 | 15 |3767 | 17k|3767 | 933 | 206k| 954k|8623 | 0.000000e+00 | 1.500000e+01 | Inf
1358.63/1358.68 c 1359s|770000 | 10926 | 3726k| 4.8 | 155M|1493 | 9 |3767 | 19k|3767 | 921 | 209k| 969k|8651 | 0.000000e+00 | 1.500000e+01 | Inf
1377.33/1377.30 c 1377s|780000 | 11034 | 3777k| 4.8 | 155M|1493 | 20 |3767 | 16k|3767 | 885 | 211k| 984k|8696 | 0.000000e+00 | 1.500000e+01 | Inf
1395.63/1395.64 c 1396s|790000 | 11093 | 3832k| 4.9 | 157M|1493 | 18 |3767 | 18k|3767 | 917 | 214k| 998k|8754 | 0.000000e+00 | 1.500000e+01 | Inf
1414.54/1414.52 c 1414s|800000 | 11241 | 3888k| 4.9 | 159M|1493 | 17 |3767 | 16k|3767 | 911 | 217k|1012k|8825 | 0.000000e+00 | 1.500000e+01 | Inf
1432.73/1432.77 c 1433s|810000 | 11265 | 3937k| 4.9 | 160M|1493 | 22 |3767 | 17k|3767 | 920 | 219k|1026k|8850 | 0.000000e+00 | 1.500000e+01 | Inf
1451.03/1451.05 c 1451s|820000 | 11349 | 3989k| 4.9 | 162M|1493 | 24 |3767 | 19k|3767 | 930 | 221k|1042k|8892 | 0.000000e+00 | 1.500000e+01 | Inf
1469.73/1469.73 c 1470s|830000 | 11498 | 4045k| 4.9 | 163M|1493 | 14 |3767 | 18k|3767 | 909 | 224k|1057k|8952 | 0.000000e+00 | 1.500000e+01 | Inf
1488.24/1488.26 c 1488s|840000 | 11632 | 4099k| 4.9 | 165M|1493 | 1 |3767 | 18k|3767 | 908 | 227k|1072k|9016 | 0.000000e+00 | 1.500000e+01 | Inf
1507.13/1507.15 c 1507s|850000 | 11686 | 4157k| 4.9 | 166M|1493 | - |3767 | 17k|3767 | 936 | 230k|1087k|9059 | 0.000000e+00 | 1.500000e+01 | Inf
1526.04/1526.06 c 1526s|860000 | 11883 | 4216k| 4.9 | 169M|1493 | - |3767 | 17k| 0 | 0 | 234k|1101k|9103 | 0.000000e+00 | 1.500000e+01 | Inf
1544.24/1544.29 c 1544s|870000 | 12029 | 4269k| 4.9 | 171M|1493 | - |3767 | 17k|3767 | 937 | 237k|1116k|9170 | 0.000000e+00 | 1.500000e+01 | Inf
1562.34/1562.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1562.34/1562.30 c 1562s|880000 | 12159 | 4319k| 4.9 | 173M|1493 | - |3767 | 17k| 0 | 0 | 240k|1131k|9226 | 0.000000e+00 | 1.500000e+01 | Inf
1580.94/1580.93 c 1581s|890000 | 12237 | 4378k| 4.9 | 174M|1493 | - |3767 | 18k| 0 | 0 | 242k|1146k|9256 | 0.000000e+00 | 1.500000e+01 | Inf
1600.14/1600.13 c 1600s|900000 | 12462 | 4431k| 4.9 | 177M|1493 | 1 |3767 | 20k|3767 | 898 | 245k|1160k|9307 | 0.000000e+00 | 1.500000e+01 | Inf
1619.14/1619.11 c 1619s|910000 | 12676 | 4485k| 4.9 | 180M|1493 | 22 |3767 | 21k|3767 | 909 | 249k|1175k|9371 | 0.000000e+00 | 1.500000e+01 | Inf
1638.74/1638.71 c 1639s|920000 | 12749 | 4542k| 4.9 | 182M|1493 | 8 |3767 | 21k|3767 | 920 | 253k|1189k|9409 | 0.000000e+00 | 1.500000e+01 | Inf
1658.34/1658.32 c 1658s|930000 | 12803 | 4597k| 4.9 | 182M|1493 | 1 |3767 | 18k|3767 | 897 | 255k|1204k|9444 | 0.000000e+00 | 1.500000e+01 | Inf
1676.63/1676.65 c 1677s|940000 | 12923 | 4646k| 4.9 | 184M|1493 | 14 |3767 | 19k|3767 | 947 | 258k|1218k|9512 | 0.000000e+00 | 1.500000e+01 | Inf
1695.64/1695.65 c 1696s|950000 | 13063 | 4700k| 4.9 | 186M|1493 | - |3767 | 19k| 0 | 0 | 261k|1234k|9555 | 0.000000e+00 | 1.500000e+01 | Inf
1714.74/1714.72 c 1715s|960000 | 13163 | 4754k| 5.0 | 188M|1493 | - |3767 | 19k| 0 | 0 | 264k|1248k|9585 | 0.000000e+00 | 1.500000e+01 | Inf
1733.44/1733.45 c 1733s|970000 | 13206 | 4804k| 5.0 | 189M|1493 | - |3767 | 19k| 0 | 0 | 267k|1263k|9648 | 0.000000e+00 | 1.500000e+01 | Inf
1753.04/1753.02 c 1753s|980000 | 13265 | 4864k| 5.0 | 190M|1493 | 19 |3767 | 19k|3767 | 911 | 270k|1278k|9713 | 0.000000e+00 | 1.500000e+01 | Inf
1771.94/1771.94 c 1772s|990000 | 13276 | 4920k| 5.0 | 192M|1493 | - |3767 | 19k| 0 | 0 | 272k|1292k|9736 | 0.000000e+00 | 1.500000e+01 | Inf
1790.04/1790.01 c
1790.04/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.04/1790.01 c Solving Time (sec) : 1789.98
1790.04/1790.01 c Solving Nodes : 999462
1790.04/1790.01 c Primal Bound : +1.50000000000000e+01 (192 solutions)
1790.04/1790.01 c Dual Bound : +0.00000000000000e+00
1790.04/1790.01 c Gap : infinite
1790.04/1790.05 s SATISFIABLE
1790.04/1790.05 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1790.04/1790.05 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1790.04/1790.05 v -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 x169 -x168
1790.04/1790.05 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1790.04/1790.05 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126
1790.04/1790.05 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 x105
1790.04/1790.05 v -x104 -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80
1790.04/1790.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
1790.04/1790.05 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30
1790.04/1790.05 v x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 x5 -x4 -x3
1790.04/1790.05 v -x2 -x1
1790.04/1790.05 c SCIP Status : solving was interrupted [time limit reached]
1790.04/1790.05 c Solving Time : 1789.98
1790.04/1790.05 c Original Problem :
1790.04/1790.05 c Problem name : HOME/instance-2705008-1278574752.wbo
1790.04/1790.05 c Variables : 3927 (2079 binary, 0 integer, 1848 implicit integer, 0 continuous)
1790.04/1790.05 c Constraints : 4556 initial, 4556 maximal
1790.04/1790.05 c Presolved Problem :
1790.04/1790.05 c Problem name : t_HOME/instance-2705008-1278574752.wbo
1790.04/1790.05 c Variables : 3767 (1999 binary, 0 integer, 1768 implicit integer, 0 continuous)
1790.04/1790.05 c Constraints : 4340 initial, 22138 maximal
1790.04/1790.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.04/1790.05 c trivial : 0.00 80 0 0 0 0 0 0 0
1790.04/1790.05 c dualfix : 0.00 80 0 0 0 0 0 0 0
1790.04/1790.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.05 c implics : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.05 c probing : 0.04 0 0 0 0 0 0 0 0
1790.04/1790.05 c setppc : 0.00 0 0 0 0 0 21 0 0
1790.04/1790.05 c linear : 0.06 0 0 0 1882 0 115 101 0
1790.04/1790.05 c indicator : 0.00 0 0 0 0 0 80 0 0
1790.04/1790.05 c logicor : 0.01 0 0 0 0 0 0 0 0
1790.04/1790.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.05 c root node : - 3062 - - 3062 - - - -
1790.04/1790.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.04/1790.05 c integral : 0 0 0 611962 0 99 1306 0 0 1014374
1790.04/1790.05 c setppc : 28 6 5518270 103168 2 35468 1262142 0 0 0
1790.04/1790.05 c linear : 1768 6 5484714 103507 2 195831 21838073 275166 0 0
1790.04/1790.05 c indicator : 1768 0 5249487 103377 2 1618 5339272 0 0 0
1790.04/1790.05 c logicor : 776+ 6 1855183 59629 2 200394 4022187 0 0 0
1790.04/1790.05 c bounddisjunction : 0+ 0 579972 0 0 112 2443 0 0 0
1790.04/1790.05 c countsols : 0 0 0 59629 2 0 0 0 0 0
1790.04/1790.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.04/1790.05 c integral : 19.21 0.00 0.00 19.21 0.00
1790.04/1790.05 c setppc : 11.20 0.00 11.15 0.06 0.00
1790.04/1790.05 c linear : 151.03 0.00 144.01 7.02 0.00
1790.04/1790.05 c indicator : 58.67 0.02 50.58 8.07 0.00
1790.04/1790.05 c logicor : 212.09 0.00 211.44 0.65 0.00
1790.04/1790.05 c bounddisjunction : 4.60 0.00 4.60 0.00 0.00
1790.04/1790.05 c countsols : 0.01 0.00 0.00 0.01 0.00
1790.04/1790.05 c Propagators : Time Calls Cutoffs DomReds
1790.04/1790.05 c vbounds : 1.15 157615 0 3344
1790.04/1790.05 c rootredcost : 0.81 40 0 1531
1790.04/1790.05 c pseudoobj : 157.82 5542645 22251 5434115
1790.04/1790.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.04/1790.05 c propagation : 23.11 454056 453935 2772119 28.5 14742 24.1 -
1790.04/1790.05 c infeasible LP : 10.58 39776 39776 324998 43.5 478 19.1 0
1790.04/1790.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.05 c pseudo solution : 0.00 2 2 7 20.0 0 0.0 -
1790.04/1790.05 c applied globally : - - - 1306743 23.9 - - -
1790.04/1790.05 c applied locally : - - - 0 0.0 - - -
1790.04/1790.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.04/1790.05 c cut pool : 0.00 5 - - 78 - (maximal pool size: 438)
1790.04/1790.05 c redcost : 43.33 613699 0 71367 0 0
1790.04/1790.05 c impliedbounds : 0.00 6 0 0 0 0
1790.04/1790.05 c intobj : 0.00 0 0 0 0 0
1790.04/1790.05 c cgmip : 0.00 0 0 0 0 0
1790.04/1790.05 c gomory : 0.08 6 0 0 1087 0
1790.04/1790.05 c strongcg : 0.07 6 0 0 1132 0
1790.04/1790.05 c cmir : 0.02 6 0 0 1 0
1790.04/1790.05 c flowcover : 0.06 6 0 0 3 0
1790.04/1790.05 c clique : 0.00 6 0 0 0 0
1790.04/1790.05 c zerohalf : 0.00 0 0 0 0 0
1790.04/1790.05 c mcf : 0.00 1 0 0 0 0
1790.04/1790.05 c rapidlearning : 0.07 1 0 0 0 0
1790.04/1790.05 c Pricers : Time Calls Vars
1790.04/1790.05 c problem variables: 0.00 0 0
1790.04/1790.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.04/1790.05 c relpscost : 18.77 508320 99 1306 0 0 1014374
1790.04/1790.05 c pscost : 0.00 0 0 0 0 0 0
1790.04/1790.05 c inference : 14.59 59591 0 0 0 0 119237
1790.04/1790.05 c mostinf : 0.00 0 0 0 0 0 0
1790.04/1790.05 c leastinf : 0.00 0 0 0 0 0 0
1790.04/1790.05 c fullstrong : 0.00 0 0 0 0 0 0
1790.04/1790.05 c allfullstrong : 0.00 0 0 0 0 0 0
1790.04/1790.05 c random : 0.00 0 0 0 0 0 0
1790.04/1790.05 c Primal Heuristics : Time Calls Found
1790.04/1790.05 c LP solutions : 0.09 - 40
1790.04/1790.05 c pseudo solutions : 0.00 - 0
1790.04/1790.05 c intshifting : 0.01 0 0
1790.04/1790.05 c feaspump : 0.02 1 0
1790.04/1790.05 c oneopt : 0.37 34 0
1790.04/1790.05 c crossover : 1.03 26 0
1790.04/1790.05 c fracdiving : 0.25 201 0
1790.04/1790.05 c veclendiving : 0.27 201 0
1790.04/1790.05 c linesearchdiving : 0.25 201 0
1790.04/1790.05 c guideddiving : 0.26 201 0
1790.04/1790.05 c coefdiving : 0.28 202 0
1790.04/1790.05 c pscostdiving : 0.26 202 0
1790.04/1790.05 c objpscostdiving : 0.27 185 0
1790.04/1790.05 c rootsoldiving : 0.33 185 0
1790.04/1790.05 c trivial : 0.00 2 0
1790.04/1790.05 c simplerounding : 0.77 508627 0
1790.04/1790.05 c zirounding : 0.31 1000 0
1790.04/1790.05 c rounding : 1.01 10044 0
1790.04/1790.05 c shifting : 0.71 3133 0
1790.04/1790.05 c twoopt : 0.00 0 0
1790.04/1790.05 c fixandinfer : 0.00 0 0
1790.04/1790.05 c intdiving : 0.00 0 0
1790.04/1790.05 c actconsdiving : 0.00 0 0
1790.04/1790.05 c octane : 0.00 0 0
1790.04/1790.05 c rens : 0.03 1 0
1790.04/1790.05 c rins : 0.00 0 0
1790.04/1790.05 c localbranching : 0.00 0 0
1790.04/1790.05 c mutation : 0.00 0 0
1790.04/1790.05 c dins : 0.00 0 0
1790.04/1790.05 c undercover : 0.00 0 0
1790.04/1790.05 c nlp : 0.16 0 0
1790.04/1790.05 c trysol : 0.37 303 152
1790.04/1790.05 c LP : Time Calls Iterations Iter/call Iter/sec
1790.04/1790.05 c primal LP : 0.00 0 0 0.00 -
1790.04/1790.05 c dual LP : 622.95 593307 4971862 8.38 7981.17
1790.04/1790.05 c lex dual LP : 0.00 0 0 0.00 -
1790.04/1790.05 c barrier LP : 0.00 0 0 0.00 -
1790.04/1790.05 c diving/probing LP: 0.30 183 1681 9.19 5517.30
1790.04/1790.05 c strong branching : 14.98 9785 153227 15.66 10227.51
1790.04/1790.05 c (at root node) : - 17 1890 111.18 -
1790.04/1790.05 c conflict analysis: 0.00 0 0 0.00 -
1790.04/1790.05 c B&B Tree :
1790.04/1790.05 c number of runs : 1
1790.04/1790.05 c nodes : 999462
1790.04/1790.05 c nodes (total) : 999462
1790.04/1790.05 c nodes left : 13374
1790.04/1790.05 c max depth : 1493
1790.04/1790.05 c max depth (total): 1493
1790.04/1790.05 c backtracks : 86036 (8.6%)
1790.04/1790.05 c delayed cutoffs : 66203
1790.04/1790.05 c repropagations : 2509450 (6825980 domain reductions, 62570 cutoffs)
1790.04/1790.05 c avg switch length: 6.83
1790.04/1790.05 c switching time : 240.33
1790.04/1790.05 c Solution :
1790.04/1790.05 c Solutions found : 192 (40 improvements)
1790.04/1790.05 c First Solution : +5.89000000000000e+02 (in run 1, after 1494 nodes, 2.41 seconds, depth 1493, found by <relaxation>)
1790.04/1790.05 c Primal Bound : +1.50000000000000e+01 (in run 1, after 117880 nodes, 187.30 seconds, depth 51, found by <relaxation>)
1790.04/1790.05 c Dual Bound : +0.00000000000000e+00
1790.04/1790.05 c Gap : infinite
1790.04/1790.05 c Root Dual Bound : +0.00000000000000e+00
1790.04/1790.05 c Root Iterations : 226
1790.24/1790.24 c Time complete: 1790.29.