0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3692843-1338027219.opb>
0.08/0.16 c original problem has 21380 variables (21380 bin, 0 int, 0 impl, 0 cont) and 60984 constraints
0.08/0.16 c problem read in 0.17
0.29/0.38 c presolving:
1.00/1.01 c (round 1) 1318 del vars, 807 del conss, 0 add conss, 265 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113375 impls, 0 clqs
1.10/1.11 c (round 2) 1320 del vars, 3047 del conss, 0 add conss, 267 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113375 impls, 0 clqs
1.10/1.16 c (round 3) 1356 del vars, 3137 del conss, 0 add conss, 303 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113553 impls, 0 clqs
1.18/1.21 c (round 4) 1360 del vars, 3143 del conss, 0 add conss, 307 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113553 impls, 0 clqs
1.18/1.26 c (round 5) 1366 del vars, 3154 del conss, 0 add conss, 313 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113567 impls, 0 clqs
1.29/1.31 c (round 6) 1370 del vars, 3168 del conss, 0 add conss, 317 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113603 impls, 0 clqs
1.29/1.36 c (round 7) 1374 del vars, 3178 del conss, 0 add conss, 321 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113631 impls, 0 clqs
1.39/1.41 c (round 8) 1378 del vars, 3188 del conss, 0 add conss, 325 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113663 impls, 0 clqs
1.39/1.46 c (round 9) 1382 del vars, 3198 del conss, 0 add conss, 329 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113699 impls, 0 clqs
1.49/1.51 c (round 10) 1386 del vars, 3208 del conss, 0 add conss, 333 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113739 impls, 0 clqs
1.49/1.56 c (round 11) 1390 del vars, 3218 del conss, 0 add conss, 337 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113783 impls, 0 clqs
1.59/1.61 c (round 12) 1390 del vars, 3226 del conss, 0 add conss, 337 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113823 impls, 0 clqs
1.89/1.96 c (round 13) 1390 del vars, 3235 del conss, 0 add conss, 337 chg bounds, 1078 chg sides, 2254 chg coeffs, 57764 upgd conss, 1113823 impls, 0 clqs
2.49/2.57 c (round 14) 5398 del vars, 58688 del conss, 18482 add conss, 585 chg bounds, 1078 chg sides, 2254 chg coeffs, 57764 upgd conss, 1134222 impls, 0 clqs
2.69/2.71 c (round 15) 7098 del vars, 60616 del conss, 18482 add conss, 585 chg bounds, 1078 chg sides, 4048 chg coeffs, 58157 upgd conss, 1182858 impls, 0 clqs
2.79/2.85 c (round 16) 7371 del vars, 61668 del conss, 19529 add conss, 585 chg bounds, 1078 chg sides, 4050 chg coeffs, 58157 upgd conss, 1262367 impls, 0 clqs
2.89/2.90 c (round 17) 7376 del vars, 61811 del conss, 19529 add conss, 585 chg bounds, 1078 chg sides, 4052 chg coeffs, 58395 upgd conss, 1262367 impls, 1012 clqs
2.89/2.98 c (round 18) 7379 del vars, 62093 del conss, 19798 add conss, 585 chg bounds, 1078 chg sides, 4052 chg coeffs, 58395 upgd conss, 1266651 impls, 1013 clqs
3.19/3.26 c (round 19) 7582 del vars, 62396 del conss, 19801 add conss, 585 chg bounds, 1078 chg sides, 4052 chg coeffs, 58395 upgd conss, 1311123 impls, 1014 clqs
3.48/3.50 c (round 20) 7584 del vars, 62399 del conss, 19802 add conss, 585 chg bounds, 1078 chg sides, 4052 chg coeffs, 58395 upgd conss, 1311151 impls, 1014 clqs
3.48/3.58 c (round 21) 7612 del vars, 62403 del conss, 19804 add conss, 585 chg bounds, 1078 chg sides, 4052 chg coeffs, 58395 upgd conss, 1320219 impls, 1014 clqs
3.59/3.65 c (round 22) 7614 del vars, 62443 del conss, 19844 add conss, 585 chg bounds, 1078 chg sides, 4052 chg coeffs, 58395 upgd conss, 1320219 impls, 1016 clqs
3.59/3.70 c (round 23) 7616 del vars, 62445 del conss, 19844 add conss, 585 chg bounds, 1078 chg sides, 4054 chg coeffs, 58395 upgd conss, 1320341 impls, 1027 clqs
3.89/3.96 c (round 24) 7748 del vars, 62445 del conss, 19844 add conss, 628 chg bounds, 1078 chg sides, 4054 chg coeffs, 58395 upgd conss, 1327350 impls, 1027 clqs
3.98/4.02 c (round 25) 7814 del vars, 62512 del conss, 19844 add conss, 628 chg bounds, 1078 chg sides, 4120 chg coeffs, 58473 upgd conss, 1331264 impls, 1027 clqs
3.98/4.09 c (round 26) 7819 del vars, 62516 del conss, 19848 add conss, 628 chg bounds, 1078 chg sides, 4120 chg coeffs, 58473 upgd conss, 1331608 impls, 1027 clqs
4.29/4.31 c (round 27) 7819 del vars, 62521 del conss, 19853 add conss, 628 chg bounds, 1078 chg sides, 4120 chg coeffs, 58473 upgd conss, 1331608 impls, 1028 clqs
4.49/4.58 c (round 28) 7850 del vars, 62521 del conss, 19853 add conss, 643 chg bounds, 1078 chg sides, 4120 chg coeffs, 58473 upgd conss, 1339669 impls, 1028 clqs
4.58/4.63 c (round 29) 7868 del vars, 62540 del conss, 19853 add conss, 643 chg bounds, 1078 chg sides, 4138 chg coeffs, 58491 upgd conss, 1340385 impls, 1028 clqs
4.69/4.70 c (round 30) 7873 del vars, 62545 del conss, 19858 add conss, 643 chg bounds, 1078 chg sides, 4138 chg coeffs, 58491 upgd conss, 1341771 impls, 1028 clqs
4.89/4.92 c (round 31) 7873 del vars, 62550 del conss, 19863 add conss, 643 chg bounds, 1078 chg sides, 4138 chg coeffs, 58491 upgd conss, 1341771 impls, 1029 clqs
5.40/5.40 c (round 32) 7998 del vars, 62550 del conss, 19863 add conss, 649 chg bounds, 1078 chg sides, 4138 chg coeffs, 58491 upgd conss, 1646318 impls, 1029 clqs
5.40/5.45 c (round 33) 8036 del vars, 62596 del conss, 19863 add conss, 649 chg bounds, 1078 chg sides, 4176 chg coeffs, 58491 upgd conss, 1646834 impls, 1029 clqs
5.49/5.55 c (round 34) 8046 del vars, 62671 del conss, 19937 add conss, 649 chg bounds, 1078 chg sides, 4176 chg coeffs, 58491 upgd conss, 1659004 impls, 1029 clqs
5.69/5.78 c (round 35) 8046 del vars, 62681 del conss, 19947 add conss, 649 chg bounds, 1078 chg sides, 4176 chg coeffs, 58491 upgd conss, 1659004 impls, 1093 clqs
6.28/6.35 c (round 36) 8176 del vars, 62681 del conss, 19947 add conss, 649 chg bounds, 1078 chg sides, 4176 chg coeffs, 58491 upgd conss, 2016630 impls, 1094 clqs
6.28/6.39 c (round 37) 8208 del vars, 62718 del conss, 19947 add conss, 649 chg bounds, 1078 chg sides, 4208 chg coeffs, 58491 upgd conss, 2017090 impls, 1094 clqs
6.39/6.46 c (round 38) 8210 del vars, 62751 del conss, 19980 add conss, 649 chg bounds, 1078 chg sides, 4208 chg coeffs, 58491 upgd conss, 2017094 impls, 1094 clqs
6.59/6.69 c (round 39) 8210 del vars, 62753 del conss, 19982 add conss, 649 chg bounds, 1078 chg sides, 4208 chg coeffs, 58491 upgd conss, 2017094 impls, 1125 clqs
7.39/7.47 c (round 40) 8263 del vars, 62753 del conss, 19982 add conss, 649 chg bounds, 1078 chg sides, 4208 chg coeffs, 58491 upgd conss, 2432230 impls, 1125 clqs
7.49/7.51 c (round 41) 8277 del vars, 62769 del conss, 19982 add conss, 649 chg bounds, 1078 chg sides, 4222 chg coeffs, 58491 upgd conss, 2432388 impls, 1125 clqs
7.49/7.58 c (round 42) 8280 del vars, 62823 del conss, 20036 add conss, 649 chg bounds, 1078 chg sides, 4222 chg coeffs, 58491 upgd conss, 2432562 impls, 1125 clqs
7.78/7.81 c (round 43) 8280 del vars, 62826 del conss, 20039 add conss, 649 chg bounds, 1078 chg sides, 4222 chg coeffs, 58491 upgd conss, 2432562 impls, 1178 clqs
8.80/8.87 c (round 44) 8306 del vars, 62826 del conss, 20039 add conss, 653 chg bounds, 1078 chg sides, 4222 chg coeffs, 58491 upgd conss, 3110514 impls, 1171 clqs
8.88/8.94 c (round 45) 8342 del vars, 62867 del conss, 20039 add conss, 653 chg bounds, 1078 chg sides, 4251 chg coeffs, 58501 upgd conss, 3118800 impls, 1171 clqs
9.09/9.11 c (round 46) 8427 del vars, 62872 del conss, 20044 add conss, 653 chg bounds, 1078 chg sides, 4251 chg coeffs, 58501 upgd conss, 3128708 impls, 1171 clqs
9.09/9.19 c (round 47) 8433 del vars, 62999 del conss, 20171 add conss, 653 chg bounds, 1078 chg sides, 4251 chg coeffs, 58501 upgd conss, 3129108 impls, 1174 clqs
9.39/9.42 c (round 48) 8433 del vars, 63005 del conss, 20177 add conss, 653 chg bounds, 1078 chg sides, 4251 chg coeffs, 58501 upgd conss, 3129108 impls, 1217 clqs
9.69/9.73 c (round 49) 8631 del vars, 63005 del conss, 20177 add conss, 701 chg bounds, 1078 chg sides, 4251 chg coeffs, 58501 upgd conss, 3132100 impls, 1155 clqs
9.90/9.98 c (round 50) 8765 del vars, 63161 del conss, 20177 add conss, 701 chg bounds, 1078 chg sides, 4323 chg coeffs, 58633 upgd conss, 3315200 impls, 1155 clqs
9.99/10.06 c (round 51) 8791 del vars, 63162 del conss, 20178 add conss, 701 chg bounds, 1078 chg sides, 4323 chg coeffs, 58633 upgd conss, 3316366 impls, 1155 clqs
10.19/10.29 c (round 52) 8791 del vars, 63188 del conss, 20204 add conss, 701 chg bounds, 1078 chg sides, 4323 chg coeffs, 58633 upgd conss, 3316366 impls, 1155 clqs
10.59/10.69 c (round 53) 8863 del vars, 63188 del conss, 20204 add conss, 729 chg bounds, 1078 chg sides, 4323 chg coeffs, 58633 upgd conss, 3330591 impls, 1153 clqs
10.79/10.80 c (round 54) 8905 del vars, 63241 del conss, 20204 add conss, 729 chg bounds, 1078 chg sides, 4364 chg coeffs, 58667 upgd conss, 3342381 impls, 1153 clqs
10.90/10.93 c (round 55) 8918 del vars, 63264 del conss, 20219 add conss, 729 chg bounds, 1078 chg sides, 4364 chg coeffs, 58667 upgd conss, 3373925 impls, 1153 clqs
11.18/11.27 c (round 56) 8962 del vars, 63327 del conss, 20232 add conss, 729 chg bounds, 1078 chg sides, 4364 chg coeffs, 58667 upgd conss, 3397739 impls, 1157 clqs
11.39/11.49 c (round 57) 8962 del vars, 63353 del conss, 20250 add conss, 729 chg bounds, 1078 chg sides, 4364 chg coeffs, 58667 upgd conss, 3397739 impls, 1157 clqs
11.99/12.01 c (round 58) 9140 del vars, 63353 del conss, 20250 add conss, 746 chg bounds, 1078 chg sides, 4364 chg coeffs, 58667 upgd conss, 3405899 impls, 1171 clqs
12.29/12.32 c (round 59) 9258 del vars, 63511 del conss, 20250 add conss, 746 chg bounds, 1078 chg sides, 4480 chg coeffs, 58757 upgd conss, 3460181 impls, 1171 clqs
12.39/12.46 c (round 60) 9296 del vars, 63579 del conss, 20262 add conss, 746 chg bounds, 1078 chg sides, 4491 chg coeffs, 58757 upgd conss, 3467568 impls, 1164 clqs
12.49/12.55 c (round 61) 9415 del vars, 63632 del conss, 20262 add conss, 756 chg bounds, 1078 chg sides, 4513 chg coeffs, 58781 upgd conss, 3493222 impls, 1153 clqs
12.59/12.60 c (round 62) 9466 del vars, 63654 del conss, 20262 add conss, 756 chg bounds, 1078 chg sides, 4524 chg coeffs, 58821 upgd conss, 3497838 impls, 1145 clqs
12.59/12.66 c (round 63) 9491 del vars, 63679 del conss, 20262 add conss, 756 chg bounds, 1078 chg sides, 4541 chg coeffs, 58821 upgd conss, 3505280 impls, 1146 clqs
12.69/12.74 c (round 64) 9497 del vars, 63704 del conss, 20278 add conss, 756 chg bounds, 1078 chg sides, 4541 chg coeffs, 58821 upgd conss, 3510470 impls, 1146 clqs
13.09/13.13 c (round 65) 9584 del vars, 63802 del conss, 20284 add conss, 756 chg bounds, 1078 chg sides, 4541 chg coeffs, 58821 upgd conss, 3544114 impls, 1146 clqs
13.29/13.36 c (round 66) 9584 del vars, 63860 del conss, 20340 add conss, 756 chg bounds, 1078 chg sides, 4541 chg coeffs, 58821 upgd conss, 3544114 impls, 1146 clqs
13.49/13.57 c (round 67) 9584 del vars, 63865 del conss, 20340 add conss, 756 chg bounds, 1078 chg sides, 4541 chg coeffs, 58821 upgd conss, 3544114 impls, 1201 clqs
13.89/13.93 c (round 68) 9715 del vars, 63866 del conss, 20340 add conss, 793 chg bounds, 1078 chg sides, 4541 chg coeffs, 58821 upgd conss, 3550746 impls, 1157 clqs
13.99/14.01 c (round 69) 9779 del vars, 63953 del conss, 20340 add conss, 793 chg bounds, 1078 chg sides, 4573 chg coeffs, 58951 upgd conss, 3569250 impls, 1157 clqs
14.09/14.10 c (round 70) 9795 del vars, 63963 del conss, 20342 add conss, 793 chg bounds, 1078 chg sides, 4573 chg coeffs, 58951 upgd conss, 3578569 impls, 1158 clqs
14.09/14.16 c (round 71) 9799 del vars, 63982 del conss, 20358 add conss, 793 chg bounds, 1078 chg sides, 4573 chg coeffs, 58957 upgd conss, 3580735 impls, 1159 clqs
14.39/14.40 c (round 72) 9811 del vars, 63995 del conss, 20359 add conss, 793 chg bounds, 1078 chg sides, 4573 chg coeffs, 58957 upgd conss, 3584953 impls, 1159 clqs
14.79/14.83 c (round 73) 9836 del vars, 63995 del conss, 20359 add conss, 793 chg bounds, 1078 chg sides, 4573 chg coeffs, 58957 upgd conss, 3621067 impls, 1154 clqs
14.79/14.87 c (round 74) 9840 del vars, 64013 del conss, 20359 add conss, 793 chg bounds, 1078 chg sides, 4577 chg coeffs, 58963 upgd conss, 3621067 impls, 1154 clqs
14.88/14.94 c (round 75) 9848 del vars, 64025 del conss, 20363 add conss, 793 chg bounds, 1078 chg sides, 4577 chg coeffs, 58968 upgd conss, 3625277 impls, 1154 clqs
15.09/15.16 c (round 76) 9854 del vars, 64040 del conss, 20371 add conss, 793 chg bounds, 1078 chg sides, 4577 chg coeffs, 58968 upgd conss, 3626551 impls, 1157 clqs
15.78/15.87 c (round 77) 9901 del vars, 64040 del conss, 20371 add conss, 806 chg bounds, 1078 chg sides, 4577 chg coeffs, 58968 upgd conss, 3748636 impls, 1150 clqs
15.89/15.94 c (round 78) 9927 del vars, 64072 del conss, 20371 add conss, 806 chg bounds, 1078 chg sides, 4603 chg coeffs, 59000 upgd conss, 3754966 impls, 1150 clqs
15.98/16.03 c (round 79) 9938 del vars, 64093 del conss, 20385 add conss, 806 chg bounds, 1078 chg sides, 4603 chg coeffs, 59000 upgd conss, 3769636 impls, 1150 clqs
15.98/16.09 c (round 80) 9939 del vars, 64104 del conss, 20396 add conss, 806 chg bounds, 1078 chg sides, 4603 chg coeffs, 59000 upgd conss, 3773440 impls, 1160 clqs
16.29/16.31 c (round 81) 9939 del vars, 64105 del conss, 20397 add conss, 806 chg bounds, 1078 chg sides, 4603 chg coeffs, 59000 upgd conss, 3773440 impls, 1161 clqs
16.50/16.53 c (round 82) 9939 del vars, 64111 del conss, 20397 add conss, 806 chg bounds, 1078 chg sides, 4603 chg coeffs, 59000 upgd conss, 3773440 impls, 1161 clqs
16.79/16.86 c (round 83) 9968 del vars, 64111 del conss, 20397 add conss, 806 chg bounds, 1078 chg sides, 4603 chg coeffs, 59000 upgd conss, 3790607 impls, 1159 clqs
16.89/16.90 c (round 84) 9990 del vars, 64144 del conss, 20397 add conss, 806 chg bounds, 1078 chg sides, 4625 chg coeffs, 59016 upgd conss, 3790675 impls, 1159 clqs
17.09/17.11 c (round 85) 9990 del vars, 64150 del conss, 20401 add conss, 806 chg bounds, 1078 chg sides, 4625 chg coeffs, 59016 upgd conss, 3790675 impls, 1159 clqs
17.99/18.05 c (round 86) 10016 del vars, 64150 del conss, 20401 add conss, 806 chg bounds, 1078 chg sides, 4625 chg coeffs, 59016 upgd conss, 4116918 impls, 1152 clqs
17.99/18.09 c (round 87) 10020 del vars, 64158 del conss, 20401 add conss, 806 chg bounds, 1079 chg sides, 4630 chg coeffs, 59016 upgd conss, 4116918 impls, 1152 clqs
18.08/18.15 c (round 88) 10027 del vars, 64195 del conss, 20434 add conss, 806 chg bounds, 1079 chg sides, 4630 chg coeffs, 59016 upgd conss, 4118090 impls, 1152 clqs
18.29/18.37 c (round 89) 10027 del vars, 64203 del conss, 20441 add conss, 806 chg bounds, 1079 chg sides, 4630 chg coeffs, 59016 upgd conss, 4118090 impls, 1179 clqs
18.70/18.75 c (round 90) 10056 del vars, 64203 del conss, 20441 add conss, 808 chg bounds, 1079 chg sides, 4630 chg coeffs, 59016 upgd conss, 4142816 impls, 1178 clqs
18.70/18.79 c (round 91) 10076 del vars, 64235 del conss, 20441 add conss, 808 chg bounds, 1079 chg sides, 4650 chg coeffs, 59016 upgd conss, 4142968 impls, 1178 clqs
18.79/18.87 c (round 92) 10080 del vars, 64242 del conss, 20445 add conss, 808 chg bounds, 1079 chg sides, 4650 chg coeffs, 59018 upgd conss, 4154162 impls, 1178 clqs
18.99/19.08 c (round 93) 10080 del vars, 64249 del conss, 20449 add conss, 808 chg bounds, 1079 chg sides, 4650 chg coeffs, 59018 upgd conss, 4154162 impls, 1178 clqs
19.59/19.61 c (round 94) 10121 del vars, 64249 del conss, 20449 add conss, 809 chg bounds, 1079 chg sides, 4650 chg coeffs, 59018 upgd conss, 4276580 impls, 1174 clqs
19.59/19.65 c (round 95) 10151 del vars, 64292 del conss, 20449 add conss, 809 chg bounds, 1079 chg sides, 4680 chg coeffs, 59020 upgd conss, 4276964 impls, 1174 clqs
19.79/19.87 c (round 96) 10151 del vars, 64300 del conss, 20451 add conss, 809 chg bounds, 1079 chg sides, 4680 chg coeffs, 59020 upgd conss, 4276964 impls, 1174 clqs
20.39/20.44 c (round 97) 10233 del vars, 64300 del conss, 20451 add conss, 823 chg bounds, 1079 chg sides, 4680 chg coeffs, 59020 upgd conss, 4356477 impls, 1159 clqs
20.48/20.59 c (round 98) 10286 del vars, 64361 del conss, 20451 add conss, 824 chg bounds, 1079 chg sides, 4725 chg coeffs, 59052 upgd conss, 4399678 impls, 1159 clqs
20.59/20.64 c (round 99) 10288 del vars, 64369 del conss, 20451 add conss, 824 chg bounds, 1079 chg sides, 4726 chg coeffs, 59086 upgd conss, 4400154 impls, 1159 clqs
20.69/20.77 c (round 100) 10309 del vars, 64385 del conss, 20463 add conss, 824 chg bounds, 1079 chg sides, 4728 chg coeffs, 59086 upgd conss, 4412740 impls, 1157 clqs
20.79/20.81 c (round 101) 10315 del vars, 64390 del conss, 20463 add conss, 824 chg bounds, 1079 chg sides, 4731 chg coeffs, 59088 upgd conss, 4413698 impls, 1163 clqs
20.89/20.91 c (round 102) 10323 del vars, 64441 del conss, 20479 add conss, 824 chg bounds, 1079 chg sides, 4731 chg coeffs, 59088 upgd conss, 4425454 impls, 1163 clqs
21.29/21.31 c (round 103) 10396 del vars, 64529 del conss, 20487 add conss, 824 chg bounds, 1079 chg sides, 4731 chg coeffs, 59088 upgd conss, 4473370 impls, 1163 clqs
21.49/21.52 c (round 104) 10396 del vars, 64536 del conss, 20487 add conss, 824 chg bounds, 1079 chg sides, 4731 chg coeffs, 59088 upgd conss, 4473370 impls, 1163 clqs
21.68/21.73 c (round 105) 10396 del vars, 64540 del conss, 20487 add conss, 824 chg bounds, 1079 chg sides, 4731 chg coeffs, 59088 upgd conss, 4473370 impls, 1163 clqs
22.00/22.09 c (round 106) 10438 del vars, 64540 del conss, 20487 add conss, 830 chg bounds, 1079 chg sides, 4731 chg coeffs, 59088 upgd conss, 4482608 impls, 1158 clqs
22.29/22.30 c (round 107) 10525 del vars, 64626 del conss, 20487 add conss, 830 chg bounds, 1079 chg sides, 4804 chg coeffs, 59198 upgd conss, 4506154 impls, 1154 clqs
22.29/22.36 c (round 108) 10667 del vars, 64668 del conss, 20487 add conss, 830 chg bounds, 1079 chg sides, 4812 chg coeffs, 59206 upgd conss, 4529916 impls, 1130 clqs
22.38/22.46 c (round 109) 10690 del vars, 64683 del conss, 20498 add conss, 830 chg bounds, 1079 chg sides, 4812 chg coeffs, 59206 upgd conss, 4543268 impls, 1126 clqs
22.49/22.52 c (round 110) 10692 del vars, 64732 del conss, 20513 add conss, 830 chg bounds, 1079 chg sides, 4812 chg coeffs, 59206 upgd conss, 4543268 impls, 1133 clqs
22.78/22.82 c (round 111) 10724 del vars, 64767 del conss, 20515 add conss, 830 chg bounds, 1079 chg sides, 4812 chg coeffs, 59206 upgd conss, 4564598 impls, 1133 clqs
22.99/23.03 c (round 112) 10724 del vars, 64773 del conss, 20521 add conss, 830 chg bounds, 1079 chg sides, 4812 chg coeffs, 59206 upgd conss, 4564598 impls, 1133 clqs
23.19/23.25 c (round 113) 10724 del vars, 64777 del conss, 20521 add conss, 830 chg bounds, 1079 chg sides, 4812 chg coeffs, 59206 upgd conss, 4564598 impls, 1138 clqs
23.69/23.72 c (round 114) 10759 del vars, 64778 del conss, 20521 add conss, 831 chg bounds, 1079 chg sides, 4812 chg coeffs, 59206 upgd conss, 4609878 impls, 1128 clqs
23.69/23.76 c (round 115) 10776 del vars, 64811 del conss, 20521 add conss, 831 chg bounds, 1079 chg sides, 4825 chg coeffs, 59206 upgd conss, 4611734 impls, 1128 clqs
23.78/23.84 c (round 116) 10786 del vars, 64822 del conss, 20526 add conss, 831 chg bounds, 1079 chg sides, 4825 chg coeffs, 59210 upgd conss, 4617148 impls, 1128 clqs
23.98/24.07 c (round 117) 10795 del vars, 64841 del conss, 20536 add conss, 831 chg bounds, 1079 chg sides, 4825 chg coeffs, 59214 upgd conss, 4620662 impls, 1131 clqs
24.49/24.52 c (round 118) 10830 del vars, 64842 del conss, 20536 add conss, 841 chg bounds, 1079 chg sides, 4825 chg coeffs, 59214 upgd conss, 4705433 impls, 1129 clqs
24.59/24.60 c (round 119) 10855 del vars, 64875 del conss, 20536 add conss, 841 chg bounds, 1079 chg sides, 4849 chg coeffs, 59231 upgd conss, 4721429 impls, 1129 clqs
24.69/24.70 c (round 120) 10862 del vars, 64947 del conss, 20594 add conss, 841 chg bounds, 1079 chg sides, 4849 chg coeffs, 59231 upgd conss, 4744311 impls, 1129 clqs
24.69/24.76 c (round 121) 10863 del vars, 64962 del conss, 20601 add conss, 841 chg bounds, 1079 chg sides, 4849 chg coeffs, 59231 upgd conss, 4744311 impls, 1184 clqs
25.09/25.13 c (round 122) 10897 del vars, 65002 del conss, 20602 add conss, 841 chg bounds, 1079 chg sides, 4849 chg coeffs, 59231 upgd conss, 4773755 impls, 1185 clqs
25.39/25.43 c (round 123) 10929 del vars, 65003 del conss, 20602 add conss, 842 chg bounds, 1079 chg sides, 4849 chg coeffs, 59231 upgd conss, 4807110 impls, 1183 clqs
25.39/25.46 c (round 124) 10945 del vars, 65026 del conss, 20602 add conss, 842 chg bounds, 1079 chg sides, 4865 chg coeffs, 59233 upgd conss, 4807326 impls, 1183 clqs
25.59/25.67 c (round 125) 10945 del vars, 65027 del conss, 20603 add conss, 842 chg bounds, 1079 chg sides, 4865 chg coeffs, 59233 upgd conss, 4807326 impls, 1183 clqs
26.08/26.10 c (round 126) 10997 del vars, 65027 del conss, 20603 add conss, 855 chg bounds, 1079 chg sides, 4865 chg coeffs, 59233 upgd conss, 4902176 impls, 1176 clqs
26.19/26.21 c (round 127) 11035 del vars, 65077 del conss, 20603 add conss, 856 chg bounds, 1079 chg sides, 4899 chg coeffs, 59273 upgd conss, 4923096 impls, 1176 clqs
26.29/26.30 c (round 128) 11102 del vars, 65111 del conss, 20603 add conss, 856 chg bounds, 1079 chg sides, 4919 chg coeffs, 59327 upgd conss, 4935583 impls, 1158 clqs
26.29/26.36 c (round 129) 11173 del vars, 65143 del conss, 20603 add conss, 856 chg bounds, 1079 chg sides, 4923 chg coeffs, 59327 upgd conss, 4953889 impls, 1146 clqs
26.48/26.57 c (round 130) 11191 del vars, 65171 del conss, 20625 add conss, 856 chg bounds, 1079 chg sides, 4925 chg coeffs, 59327 upgd conss, 5078197 impls, 1145 clqs
26.58/26.62 c (round 131) 11198 del vars, 65174 del conss, 20625 add conss, 856 chg bounds, 1079 chg sides, 4927 chg coeffs, 59331 upgd conss, 5079481 impls, 1155 clqs
26.58/26.68 c (round 132) 11203 del vars, 65239 del conss, 20644 add conss, 856 chg bounds, 1079 chg sides, 4927 chg coeffs, 59331 upgd conss, 5079637 impls, 1156 clqs
27.08/27.19 c (round 133) 11271 del vars, 65318 del conss, 20649 add conss, 856 chg bounds, 1079 chg sides, 4927 chg coeffs, 59331 upgd conss, 5145693 impls, 1162 clqs
27.28/27.40 c (round 134) 11271 del vars, 65347 del conss, 20677 add conss, 856 chg bounds, 1079 chg sides, 4927 chg coeffs, 59331 upgd conss, 5145693 impls, 1162 clqs
27.58/27.61 c (round 135) 11271 del vars, 65356 del conss, 20677 add conss, 856 chg bounds, 1079 chg sides, 4927 chg coeffs, 59331 upgd conss, 5145693 impls, 1189 clqs
29.19/29.28 c (round 136) 11296 del vars, 65356 del conss, 20677 add conss, 863 chg bounds, 1079 chg sides, 4927 chg coeffs, 59331 upgd conss, 5798693 impls, 1180 clqs
29.28/29.32 c (round 137) 11314 del vars, 65382 del conss, 20677 add conss, 863 chg bounds, 1079 chg sides, 4940 chg coeffs, 59331 upgd conss, 5801625 impls, 1180 clqs
29.59/29.63 c (round 138) 11480 del vars, 65487 del conss, 20776 add conss, 863 chg bounds, 1079 chg sides, 4940 chg coeffs, 59331 upgd conss, 5844275 impls, 1180 clqs
29.59/29.69 c (round 139) 11495 del vars, 65663 del conss, 20952 add conss, 863 chg bounds, 1079 chg sides, 4940 chg coeffs, 59331 upgd conss, 5844651 impls, 1272 clqs
29.69/29.75 c (round 140) 11499 del vars, 65678 del conss, 20967 add conss, 863 chg bounds, 1079 chg sides, 4940 chg coeffs, 59331 upgd conss, 5844651 impls, 1283 clqs
29.79/29.80 c (round 141) 11501 del vars, 65682 del conss, 20971 add conss, 863 chg bounds, 1079 chg sides, 4940 chg coeffs, 59331 upgd conss, 5844651 impls, 1283 clqs
29.98/30.01 c (round 142) 11501 del vars, 65684 del conss, 20973 add conss, 863 chg bounds, 1079 chg sides, 4940 chg coeffs, 59331 upgd conss, 5844651 impls, 1283 clqs
31.59/31.64 c (round 143) 11527 del vars, 65684 del conss, 20973 add conss, 868 chg bounds, 1079 chg sides, 4940 chg coeffs, 59331 upgd conss, 6485864 impls, 1280 clqs
31.59/31.69 c (round 144) 11531 del vars, 65694 del conss, 20973 add conss, 868 chg bounds, 1079 chg sides, 4941 chg coeffs, 59331 upgd conss, 6486224 impls, 1280 clqs
31.79/31.90 c (round 145) 11603 del vars, 65900 del conss, 21172 add conss, 868 chg bounds, 1079 chg sides, 4941 chg coeffs, 59331 upgd conss, 6505802 impls, 1280 clqs
31.89/31.96 c (round 146) 11610 del vars, 65974 del conss, 21244 add conss, 868 chg bounds, 1079 chg sides, 4941 chg coeffs, 59331 upgd conss, 6508604 impls, 1460 clqs
32.08/32.16 c (round 147) 11610 del vars, 65982 del conss, 21251 add conss, 868 chg bounds, 1079 chg sides, 4941 chg coeffs, 59331 upgd conss, 6508604 impls, 1461 clqs
34.49/34.51 c (round 148) 11635 del vars, 65982 del conss, 21251 add conss, 868 chg bounds, 1079 chg sides, 4941 chg coeffs, 59331 upgd conss, 7092454 impls, 1459 clqs
34.58/34.62 c (round 149) 11658 del vars, 66082 del conss, 21349 add conss, 868 chg bounds, 1079 chg sides, 4941 chg coeffs, 59331 upgd conss, 7097480 impls, 1459 clqs
34.78/34.83 c (round 150) 11658 del vars, 66105 del conss, 21372 add conss, 868 chg bounds, 1079 chg sides, 4941 chg coeffs, 59331 upgd conss, 7097480 impls, 1554 clqs
35.28/35.36 c (round 151) 11683 del vars, 66105 del conss, 21372 add conss, 868 chg bounds, 1079 chg sides, 4941 chg coeffs, 59331 upgd conss, 7119806 impls, 1539 clqs
35.48/35.58 c (round 152) 11683 del vars, 66121 del conss, 21372 add conss, 868 chg bounds, 1079 chg sides, 4941 chg coeffs, 59331 upgd conss, 7119806 impls, 1539 clqs
36.99/37.07 c (round 153) 11713 del vars, 66121 del conss, 21372 add conss, 868 chg bounds, 1079 chg sides, 4941 chg coeffs, 59331 upgd conss, 7313802 impls, 1538 clqs
37.09/37.11 c (round 154) 11728 del vars, 66143 del conss, 21372 add conss, 868 chg bounds, 1079 chg sides, 4955 chg coeffs, 59331 upgd conss, 7314058 impls, 1538 clqs
37.09/37.17 c (round 155) 11740 del vars, 66173 del conss, 21399 add conss, 868 chg bounds, 1079 chg sides, 4955 chg coeffs, 59331 upgd conss, 7315506 impls, 1538 clqs
37.29/37.38 c (round 156) 11740 del vars, 66185 del conss, 21411 add conss, 868 chg bounds, 1079 chg sides, 4955 chg coeffs, 59331 upgd conss, 7315506 impls, 1561 clqs
38.28/38.30 c (38.3s) probing: 1000/19990 (5.0%) - 5348 fixings, 343 aggregations, 790924 implications, 519 bound changes
40.59/40.62 c (round 157) 11766 del vars, 66185 del conss, 21411 add conss, 869 chg bounds, 1079 chg sides, 4955 chg coeffs, 59331 upgd conss, 7946767 impls, 1560 clqs
40.78/40.84 c (round 158) 11809 del vars, 66383 del conss, 21608 add conss, 869 chg bounds, 1079 chg sides, 4955 chg coeffs, 59331 upgd conss, 7961165 impls, 1560 clqs
40.88/40.94 c (round 159) 11818 del vars, 66429 del conss, 21651 add conss, 869 chg bounds, 1079 chg sides, 4956 chg coeffs, 59331 upgd conss, 7969487 impls, 1733 clqs
41.09/41.19 c (round 160) 11832 del vars, 66454 del conss, 21662 add conss, 869 chg bounds, 1079 chg sides, 4956 chg coeffs, 59331 upgd conss, 7972941 impls, 1735 clqs
43.18/43.23 c (round 161) 11860 del vars, 66455 del conss, 21662 add conss, 869 chg bounds, 1079 chg sides, 4956 chg coeffs, 59331 upgd conss, 8162011 impls, 1734 clqs
43.28/43.30 c (round 162) 11875 del vars, 66474 del conss, 21662 add conss, 869 chg bounds, 1079 chg sides, 4968 chg coeffs, 59331 upgd conss, 8162697 impls, 1733 clqs
43.38/43.42 c (round 163) 11894 del vars, 66609 del conss, 21792 add conss, 869 chg bounds, 1079 chg sides, 4968 chg coeffs, 59331 upgd conss, 8178165 impls, 1733 clqs
43.58/43.63 c (round 164) 11894 del vars, 66629 del conss, 21811 add conss, 869 chg bounds, 1079 chg sides, 4968 chg coeffs, 59331 upgd conss, 8178165 impls, 1847 clqs
46.09/46.12 c (round 165) 11920 del vars, 66629 del conss, 21811 add conss, 873 chg bounds, 1079 chg sides, 4968 chg coeffs, 59331 upgd conss, 8511845 impls, 1842 clqs
46.09/46.17 c (round 166) 11930 del vars, 66650 del conss, 21811 add conss, 873 chg bounds, 1079 chg sides, 4972 chg coeffs, 59331 upgd conss, 8513233 impls, 1842 clqs
46.28/46.34 c (round 167) 11961 del vars, 66807 del conss, 21968 add conss, 873 chg bounds, 1079 chg sides, 4972 chg coeffs, 59331 upgd conss, 8532949 impls, 1842 clqs
46.48/46.55 c (round 168) 11961 del vars, 66838 del conss, 21999 add conss, 873 chg bounds, 1079 chg sides, 4972 chg coeffs, 59331 upgd conss, 8532949 impls, 1982 clqs
47.38/47.47 c (47.5s) probing: 2000/19990 (10.0%) - 5372 fixings, 408 aggregations, 1050464 implications, 524 bound changes
50.48/50.53 c (round 169) 11986 del vars, 66838 del conss, 21999 add conss, 876 chg bounds, 1079 chg sides, 4972 chg coeffs, 59331 upgd conss, 8980426 impls, 1966 clqs
50.59/50.63 c (round 170) 12001 del vars, 67029 del conss, 22184 add conss, 876 chg bounds, 1079 chg sides, 4972 chg coeffs, 59331 upgd conss, 8986100 impls, 1966 clqs
50.78/50.84 c (round 171) 12001 del vars, 67055 del conss, 22196 add conss, 876 chg bounds, 1079 chg sides, 4972 chg coeffs, 59331 upgd conss, 8986100 impls, 2136 clqs
54.08/54.16 c (round 172) 12027 del vars, 67055 del conss, 22196 add conss, 876 chg bounds, 1079 chg sides, 4972 chg coeffs, 59331 upgd conss, 9261240 impls, 2123 clqs
54.18/54.20 c (round 173) 12028 del vars, 67062 del conss, 22196 add conss, 876 chg bounds, 1079 chg sides, 4973 chg coeffs, 59331 upgd conss, 9261246 impls, 2123 clqs
54.28/54.37 c (round 174) 12044 del vars, 67145 del conss, 22265 add conss, 876 chg bounds, 1079 chg sides, 4973 chg coeffs, 59331 upgd conss, 9268983 impls, 2123 clqs
54.48/54.58 c (round 175) 12044 del vars, 67161 del conss, 22280 add conss, 876 chg bounds, 1079 chg sides, 4973 chg coeffs, 59331 upgd conss, 9268983 impls, 2189 clqs
55.68/55.75 c (round 176) 12071 del vars, 67162 del conss, 22280 add conss, 876 chg bounds, 1079 chg sides, 4973 chg coeffs, 59331 upgd conss, 9312211 impls, 2172 clqs
55.78/55.82 c (round 177) 12073 del vars, 67199 del conss, 22299 add conss, 876 chg bounds, 1079 chg sides, 4973 chg coeffs, 59331 upgd conss, 9314147 impls, 2172 clqs
55.99/56.03 c (round 178) 12073 del vars, 67205 del conss, 22301 add conss, 876 chg bounds, 1079 chg sides, 4973 chg coeffs, 59331 upgd conss, 9314147 impls, 2186 clqs
57.18/57.25 c (57.2s) probing: 3000/19990 (15.0%) - 5382 fixings, 485 aggregations, 1322681 implications, 527 bound changes
57.38/57.45 c (round 179) 12099 del vars, 67205 del conss, 22301 add conss, 876 chg bounds, 1079 chg sides, 4973 chg coeffs, 59331 upgd conss, 9406955 impls, 2173 clqs
57.38/57.48 c (round 180) 12100 del vars, 67211 del conss, 22301 add conss, 876 chg bounds, 1079 chg sides, 4974 chg coeffs, 59331 upgd conss, 9406957 impls, 2173 clqs
57.48/57.56 c (round 181) 12104 del vars, 67241 del conss, 22317 add conss, 876 chg bounds, 1079 chg sides, 4974 chg coeffs, 59331 upgd conss, 9408695 impls, 2173 clqs
57.68/57.77 c (round 182) 12104 del vars, 67245 del conss, 22321 add conss, 876 chg bounds, 1079 chg sides, 4974 chg coeffs, 59331 upgd conss, 9408695 impls, 2185 clqs
60.68/60.73 c (round 183) 12129 del vars, 67245 del conss, 22321 add conss, 876 chg bounds, 1079 chg sides, 4974 chg coeffs, 59331 upgd conss, 9582077 impls, 2169 clqs
60.78/60.80 c (round 184) 12131 del vars, 67250 del conss, 22321 add conss, 876 chg bounds, 1079 chg sides, 4975 chg coeffs, 59331 upgd conss, 9582081 impls, 2169 clqs
60.88/60.90 c (round 185) 12143 del vars, 67306 del conss, 22361 add conss, 876 chg bounds, 1079 chg sides, 4975 chg coeffs, 59331 upgd conss, 9588215 impls, 2169 clqs
61.08/61.11 c (round 186) 12143 del vars, 67330 del conss, 22373 add conss, 876 chg bounds, 1079 chg sides, 4975 chg coeffs, 59331 upgd conss, 9588215 impls, 2194 clqs
62.08/62.15 c (round 187) 12168 del vars, 67330 del conss, 22373 add conss, 876 chg bounds, 1079 chg sides, 4975 chg coeffs, 59331 upgd conss, 9606869 impls, 2170 clqs
62.18/62.24 c (round 188) 12174 del vars, 67384 del conss, 22403 add conss, 876 chg bounds, 1079 chg sides, 4975 chg coeffs, 59331 upgd conss, 9609119 impls, 2170 clqs
62.38/62.44 c (round 189) 12174 del vars, 67408 del conss, 22409 add conss, 876 chg bounds, 1079 chg sides, 4975 chg coeffs, 59331 upgd conss, 9609119 impls, 2182 clqs
64.28/64.34 c (64.3s) probing: 3788/19990 (18.9%) - 5396 fixings, 544 aggregations, 1439521 implications, 527 bound changes
64.28/64.34 c (64.3s) probing aborted: 50/50 successive totally useless probings
64.28/64.34 c (round 190) 12190 del vars, 67408 del conss, 22409 add conss, 876 chg bounds, 1079 chg sides, 4975 chg coeffs, 59331 upgd conss, 9683445 impls, 2166 clqs
64.38/64.43 c (round 191) 12194 del vars, 67463 del conss, 22448 add conss, 876 chg bounds, 1079 chg sides, 4975 chg coeffs, 59331 upgd conss, 9686367 impls, 2166 clqs
64.58/64.63 c (round 192) 12194 del vars, 67479 del conss, 22452 add conss, 876 chg bounds, 1079 chg sides, 4975 chg coeffs, 59331 upgd conss, 9686367 impls, 2193 clqs
65.58/65.64 c (65.6s) probing: 3972/19990 (19.9%) - 5403 fixings, 544 aggregations, 1449358 implications, 527 bound changes
65.58/65.64 c (65.6s) probing aborted: 50/50 successive totally useless probings
65.58/65.64 c (round 193) 12201 del vars, 67479 del conss, 22452 add conss, 876 chg bounds, 1079 chg sides, 4975 chg coeffs, 59331 upgd conss, 9710115 impls, 2192 clqs
65.58/65.69 c (round 194) 12203 del vars, 67488 del conss, 22452 add conss, 876 chg bounds, 1079 chg sides, 4976 chg coeffs, 59331 upgd conss, 9710123 impls, 2191 clqs
65.78/65.80 c (round 195) 12206 del vars, 67495 del conss, 22453 add conss, 876 chg bounds, 1079 chg sides, 4976 chg coeffs, 59331 upgd conss, 9710203 impls, 2188 clqs
65.98/66.04 c (round 196) 12212 del vars, 67501 del conss, 22454 add conss, 876 chg bounds, 1079 chg sides, 4976 chg coeffs, 59335 upgd conss, 9710383 impls, 2187 clqs
66.17/66.24 c (round 197) 12212 del vars, 67507 del conss, 22455 add conss, 876 chg bounds, 1079 chg sides, 4976 chg coeffs, 59335 upgd conss, 9710383 impls, 2187 clqs
66.38/66.47 c (66.5s) probing: 3977/19990 (19.9%) - 5403 fixings, 544 aggregations, 1449358 implications, 527 bound changes
66.38/66.47 c (66.5s) probing aborted: 50/50 successive totally useless probings
66.38/66.49 c presolving (198 rounds):
66.38/66.49 c 12212 deleted vars, 67507 deleted constraints, 22455 added constraints, 876 tightened bounds, 0 added holes, 1079 changed sides, 4976 changed coefficients
66.38/66.49 c 9710383 implications, 2187 cliques
66.38/66.49 c presolved problem has 9168 variables (9168 bin, 0 int, 0 impl, 0 cont) and 11170 constraints
66.38/66.49 c 2155 constraints of type <knapsack>
66.38/66.49 c 3480 constraints of type <setppc>
66.38/66.49 c 5535 constraints of type <and>
66.38/66.49 c transformed objective value is always integral (scale: 1)
66.38/66.49 c Presolving Time: 66.26
66.38/66.49 c - non default parameters ----------------------------------------------------------------------
66.38/66.49 c # SCIP version 2.1.1.4
66.38/66.49 c
66.38/66.49 c # maximal time in seconds to run
66.38/66.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
66.38/66.49 c limits/time = 1797
66.38/66.49 c
66.38/66.49 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
66.38/66.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
66.38/66.49 c limits/memory = 13950
66.38/66.49 c
66.38/66.49 c # default clock type (1: CPU user seconds, 2: wall clock time)
66.38/66.49 c # [type: int, range: [1,2], default: 1]
66.38/66.49 c timing/clocktype = 2
66.38/66.49 c
66.38/66.49 c # belongs reading time to solving time?
66.38/66.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
66.38/66.49 c timing/reading = TRUE
66.38/66.49 c
66.38/66.49 c -----------------------------------------------------------------------------------------------
66.38/66.49 c start solving
66.48/66.50 c
66.99/67.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.99/67.06 c 67.1s| 1 | 0 | 2104 | - | 245M| 0 |1547 |9168 | 11k|9168 | 16k| 0 | 87 | 0 | 0.000000e+00 | -- | Inf
91.37/91.49 c 91.5s| 1 | 0 | 14809 | - | 248M| 0 |2271 |9168 | 11k|9168 | 18k|2000 | 106 | 0 | 0.000000e+00 | -- | Inf
92.78/92.89 c 92.9s| 1 | 0 | 18271 | - | 250M| 0 |3060 |9168 | 11k|9168 | 20k|4000 | 106 | 0 | 0.000000e+00 | -- | Inf
95.58/95.66 c 95.7s| 1 | 0 | 23003 | - | 251M| 0 |3563 |9168 | 11k|9168 | 22k|6000 | 106 | 0 | 0.000000e+00 | -- | Inf
98.57/98.68 c 98.7s| 1 | 0 | 27880 | - | 253M| 0 |3938 |9168 | 11k|9168 | 24k|8000 | 106 | 0 | 0.000000e+00 | -- | Inf
101.37/101.45 c 101s| 1 | 0 | 31739 | - | 255M| 0 |4121 |9168 | 11k|9168 | 26k| 10k| 106 | 0 | 0.000000e+00 | -- | Inf
103.87/103.92 c 104s| 1 | 0 | 35436 | - | 256M| 0 |4031 |9168 | 11k|9168 | 28k| 12k| 106 | 0 | 0.000000e+00 | -- | Inf
113.87/113.90 c 114s| 1 | 2 | 35436 | - | 256M| 0 |4031 |9168 | 11k|9168 | 28k| 12k| 106 | 18 | 0.000000e+00 | -- | Inf
385.61/385.76 c 386s| 100 | 90 |269032 |2359.6 | 258M| 46 |1436 |9168 | 11k|9168 | 21k| 16k| 579 | 363 | 0.000000e+00 | -- | Inf
415.61/415.79 c 416s| 200 | 176 |294898 |1303.8 | 259M| 73 | 771 |9168 | 12k|9168 | 21k| 16k| 845 | 410 | 0.000000e+00 | -- | Inf
425.70/425.81 c 426s| 300 | 174 |303925 | 898.0 | 260M| 90 |1038 |9168 | 12k|9168 | 21k| 16k|1009 | 474 | 0.000000e+00 | -- | Inf
485.19/485.34 c 485s| 400 | 210 |364931 | 825.8 | 260M| 90 | - |9168 | 12k| 0 | 0 | 19k|1107 | 639 | 0.000000e+00 | -- | Inf
497.29/497.41 c 497s| 500 | 214 |377725 | 685.9 | 260M| 90 |1030 |9168 | 12k|9168 | 21k| 20k|1221 | 735 | 0.000000e+00 | -- | Inf
508.59/508.70 c 509s| 600 | 223 |390793 | 593.3 | 261M| 90 |1244 |9168 | 12k|9168 | 21k| 20k|1457 | 808 | 0.000000e+00 | -- | Inf
520.79/520.93 c 521s| 700 | 211 |403133 | 526.0 | 261M| 90 |1225 |9168 | 12k|9168 | 21k| 21k|1677 | 887 | 0.000000e+00 | -- | Inf
533.59/533.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
533.59/533.77 c 534s| 800 | 221 |416248 | 476.6 | 261M| 90 |1401 |9168 | 12k|9168 | 21k| 21k|1867 | 950 | 0.000000e+00 | -- | Inf
542.39/542.52 c 543s| 900 | 225 |424394 | 432.7 | 261M| 90 |1459 |9168 | 12k|9168 | 21k| 21k|1955 | 996 | 0.000000e+00 | -- | Inf
555.18/555.31 c 555s| 1000 | 225 |436427 | 401.4 | 261M| 90 | - |9168 | 12k| 0 | 0 | 21k|2052 |1086 | 0.000000e+00 | -- | Inf
564.68/564.82 c 565s| 1100 | 220 |445619 | 373.2 | 261M| 90 |1220 |9168 | 12k|9168 | 21k| 22k|2199 |1131 | 0.000000e+00 | -- | Inf
574.97/575.13 c 575s| 1200 | 210 |455625 | 350.4 | 261M| 90 |1434 |9168 | 12k|9168 | 21k| 22k|2347 |1191 | 0.000000e+00 | -- | Inf
589.57/589.79 c 590s| 1300 | 112 |471194 | 335.5 | 260M| 90 |1333 |9168 | 12k|9168 | 21k| 23k|2422 |1257 | 0.000000e+00 | -- | Inf
604.47/604.64 c 605s| 1400 | 104 |486063 | 322.1 | 260M| 90 | - |9168 | 12k| 0 | 0 | 23k|2548 |1317 | 0.000000e+00 | -- | Inf
636.36/636.52 c 637s| 1500 | 134 |518805 | 322.5 | 260M| 90 |1538 |9168 | 12k|9168 | 21k| 24k|2803 |1363 | 0.000000e+00 | -- | Inf
661.66/661.86 c 662s| 1600 | 116 |544437 | 318.3 | 260M| 90 |1422 |9168 | 12k|9168 | 21k| 25k|3046 |1443 | 0.000000e+00 | -- | Inf
680.95/681.16 c 681s| 1700 | 93 |565125 | 311.8 | 260M| 90 |1611 |9168 | 12k|9168 | 21k| 26k|3116 |1548 | 0.000000e+00 | -- | Inf
699.46/699.67 c 700s| 1800 | 150 |582786 | 304.3 | 260M| 90 | 979 |9168 | 12k|9168 | 21k| 26k|3309 |1608 | 0.000000e+00 | -- | Inf
710.95/711.14 c 711s| 1900 | 134 |593164 | 293.7 | 260M| 90 |1231 |9168 | 13k|9168 | 21k| 27k|3395 |1654 | 0.000000e+00 | -- | Inf
717.55/717.76 c 718s| 2000 | 120 |598912 | 281.9 | 260M| 90 | - |9168 | 13k| 0 | 0 | 27k|3539 |1685 | 0.000000e+00 | -- | Inf
733.14/733.37 c 733s| 2100 | 125 |616057 | 276.6 | 260M| 90 |1520 |9168 | 13k|9168 | 21k| 28k|3641 |1762 | 0.000000e+00 | -- | Inf
748.14/748.36 c 748s| 2200 | 117 |629550 | 270.2 | 260M| 90 | - |9168 | 13k| 0 | 0 | 28k|3721 |1837 | 0.000000e+00 | -- | Inf
760.14/760.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
760.14/760.39 c 760s| 2300 | 121 |641861 | 263.8 | 260M| 90 |1235 |9168 | 13k|9168 | 21k| 29k|3803 |1887 | 0.000000e+00 | -- | Inf
776.95/777.15 c 777s| 2400 | 100 |658894 | 259.9 | 260M| 90 |1142 |9168 | 13k|9168 | 21k| 29k|3859 |1982 | 0.000000e+00 | -- | Inf
787.64/787.80 c 788s| 2500 | 135 |677197 | 256.8 | 260M| 90 |1051 |9168 | 13k|9168 | 21k| 30k|3932 |2011 | 0.000000e+00 | -- | Inf
796.44/796.65 c 797s| 2600 | 185 |689589 | 251.7 | 261M| 90 | 933 |9168 | 13k|9168 | 21k| 30k|3997 |2056 | 0.000000e+00 | -- | Inf
832.94/833.17 c 833s| 2700 | 164 |728661 | 256.8 | 261M| 90 |1296 |9168 | 13k|9168 | 21k| 31k|4142 |2148 | 0.000000e+00 | -- | Inf
851.93/852.18 c 852s| 2800 | 171 |746090 | 253.9 | 261M| 90 |1089 |9168 | 13k|9168 | 21k| 31k|4277 |2241 | 0.000000e+00 | -- | Inf
861.03/861.21 c 861s| 2900 | 189 |755725 | 248.5 | 261M| 90 | - |9168 | 13k| 0 | 0 | 32k|4357 |2300 | 0.000000e+00 | -- | Inf
871.93/872.17 c 872s| 3000 | 203 |768076 | 244.3 | 261M| 90 | 874 |9168 | 13k|9168 | 21k| 32k|4483 |2372 | 0.000000e+00 | -- | Inf
882.62/882.88 c 883s| 3100 | 247 |777890 | 239.6 | 262M| 90 |1055 |9168 | 13k|9168 | 21k| 32k|4576 |2457 | 0.000000e+00 | -- | Inf
892.43/892.63 c 893s| 3200 | 231 |786354 | 234.7 | 262M| 90 | 971 |9168 | 13k|9168 | 21k| 33k|4656 |2527 | 0.000000e+00 | -- | Inf
905.13/905.34 c 905s| 3300 | 128 |798782 | 231.4 | 261M| 90 | - |9168 | 13k| 0 | 0 | 33k|4744 |2659 | 0.000000e+00 | -- | Inf
940.92/941.16 c 941s| 3400 | 105 |842934 | 237.6 | 260M| 90 |2670 |9168 | 13k|9168 | 21k| 34k|4849 |2757 | 0.000000e+00 | -- | Inf
972.22/972.49 c 972s| 3500 | 112 |876187 | 240.3 | 260M| 90 |1391 |9168 | 13k|9168 | 21k| 35k|4972 |2869 | 0.000000e+00 | -- | Inf
1010.41/1010.66 c 1011s| 3600 | 113 |911840 | 243.5 | 261M| 90 |2600 |9168 | 13k|9168 | 21k| 36k|5129 |2955 | 0.000000e+00 | -- | Inf
1039.50/1039.75 c 1040s| 3700 | 138 |943262 | 245.4 | 261M| 90 |2930 |9168 | 13k|9168 | 21k| 36k|5281 |3027 | 0.000000e+00 | -- | Inf
1062.59/1062.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1062.59/1062.86 c 1063s| 3800 | 176 |969546 | 245.9 | 262M| 90 | 697 |9168 | 13k|9168 | 22k| 37k|5351 |3108 | 0.000000e+00 | -- | Inf
1072.31/1072.51 c 1073s| 3900 | 191 |976901 | 241.5 | 262M| 90 | - |9168 | 14k| 0 | 0 | 38k|5585 |3134 | 0.000000e+00 | -- | Inf
1087.60/1087.82 c 1088s| 4000 | 195 |990545 | 238.8 | 262M| 90 |1095 |9168 | 14k|9168 | 22k| 38k|5879 |3185 | 0.000000e+00 | -- | Inf
1097.90/1098.14 c 1098s| 4100 | 164 | 1001k| 235.8 | 262M| 90 |1586 |9168 | 14k|9168 | 22k| 39k|6142 |3222 | 0.000000e+00 | -- | Inf
1109.89/1110.14 c 1110s| 4200 | 192 | 1014k| 233.1 | 263M| 90 | - |9168 | 14k| 0 | 0 | 39k|6268 |3280 | 0.000000e+00 | -- | Inf
1117.89/1118.19 c 1118s| 4300 | 196 | 1021k| 229.3 | 263M| 90 | 933 |9168 | 14k|9168 | 22k| 39k|6487 |3329 | 0.000000e+00 | -- | Inf
1127.59/1127.87 c 1128s| 4400 | 224 | 1031k| 226.4 | 263M| 90 |1225 |9168 | 14k|9168 | 22k| 39k|6679 |3363 | 0.000000e+00 | -- | Inf
1136.78/1137.05 c 1137s| 4500 | 225 | 1040k| 223.3 | 263M| 90 |1305 |9168 | 14k|9168 | 22k| 40k|6924 |3407 | 0.000000e+00 | -- | Inf
1143.79/1144.04 c 1144s| 4600 | 236 | 1048k| 220.2 | 264M| 90 |1062 |9168 | 14k|9168 | 22k| 40k|7168 |3424 | 0.000000e+00 | -- | Inf
1151.68/1151.97 c 1152s| 4700 | 224 | 1055k| 217.2 | 264M| 90 |1208 |9168 | 14k|9168 | 22k| 40k|7350 |3455 | 0.000000e+00 | -- | Inf
1164.69/1164.92 c 1165s| 4800 | 194 | 1066k| 214.9 | 263M| 90 |2193 |9168 | 14k|9168 | 21k| 40k|7481 |3497 | 0.000000e+00 | -- | Inf
1169.09/1169.38 c 1169s| 4900 | 270 | 1070k| 211.4 | 264M| 103 | 583 |9168 | 14k|9168 | 21k| 41k|7508 |3497 | 0.000000e+00 | -- | Inf
1178.99/1179.26 c 1179s| 5000 | 215 | 1079k| 208.8 | 264M| 123 |2208 |9168 | 14k|9168 | 21k| 41k|7575 |3544 | 0.000000e+00 | -- | Inf
1190.78/1191.01 c 1191s| 5100 | 256 | 1093k| 207.5 | 264M| 123 |2638 |9168 | 14k|9168 | 21k| 41k|7618 |3572 | 0.000000e+00 | -- | Inf
1205.98/1206.23 c 1206s| 5200 | 265 | 1109k| 206.6 | 264M| 123 |2053 |9168 | 14k|9168 | 21k| 42k|7691 |3642 | 0.000000e+00 | -- | Inf
1222.48/1222.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1222.48/1222.73 c 1223s| 5300 | 135 | 1134k| 207.4 | 262M| 123 |1496 |9168 | 14k|9168 | 21k| 42k|7803 |3698 | 0.000000e+00 | -- | Inf
1237.57/1237.82 c 1238s| 5400 | 119 | 1150k| 206.5 | 262M| 123 |1158 |9168 | 14k|9168 | 22k| 43k|7877 |3767 | 0.000000e+00 | -- | Inf
1263.06/1263.34 c 1263s| 5500 | 152 | 1177k| 207.8 | 262M| 123 |1473 |9168 | 14k|9168 | 21k| 44k|7953 |3878 | 0.000000e+00 | -- | Inf
1279.66/1279.93 c 1280s| 5600 | 169 | 1194k| 207.1 | 262M| 123 |2875 |9168 | 14k|9168 | 21k| 45k|8025 |3947 | 0.000000e+00 | -- | Inf
1290.46/1290.72 c 1291s| 5700 | 186 | 1208k| 205.8 | 263M| 123 |1741 |9168 | 14k|9168 | 21k| 45k|8134 |3974 | 0.000000e+00 | -- | Inf
1306.57/1306.89 c 1307s| 5800 | 211 | 1227k| 205.6 | 263M| 123 |1129 |9168 | 14k|9168 | 21k| 46k|8232 |4047 | 0.000000e+00 | -- | Inf
1317.26/1317.57 c 1318s| 5900 | 212 | 1239k| 204.2 | 263M| 123 |1326 |9168 | 14k|9168 | 21k| 46k|8373 |4113 | 0.000000e+00 | -- | Inf
1330.96/1331.26 c 1331s| 6000 | 241 | 1253k| 203.1 | 264M| 123 |1197 |9168 | 14k|9168 | 21k| 47k|8459 |4222 | 0.000000e+00 | -- | Inf
1344.96/1345.27 c 1345s| 6100 | 215 | 1268k| 202.1 | 263M| 123 |1473 |9168 | 15k|9168 | 21k| 48k|8615 |4325 | 0.000000e+00 | -- | Inf
1358.85/1359.17 c 1359s| 6200 | 239 | 1283k| 201.4 | 264M| 123 |1363 |9168 | 15k|9168 | 21k| 48k|8723 |4390 | 0.000000e+00 | -- | Inf
1379.94/1380.21 c 1380s| 6300 | 228 | 1305k| 201.7 | 264M| 123 |1691 |9168 | 15k|9168 | 21k| 50k|8840 |4503 | 0.000000e+00 | -- | Inf
1399.95/1400.22 c 1400s| 6400 | 243 | 1330k| 202.3 | 264M| 123 |2721 |9168 | 15k|9168 | 21k| 51k|8969 |4582 | 0.000000e+00 | -- | Inf
1426.04/1426.34 c 1426s| 6500 | 214 | 1360k| 204.0 | 264M| 123 | - |9168 | 15k| 0 | 0 | 52k|9115 |4688 | 0.000000e+00 | -- | Inf
1443.03/1443.36 c 1443s| 6600 | 156 | 1381k| 203.9 | 263M| 123 |1488 |9168 | 15k|9168 | 22k| 53k|9210 |4777 | 0.000000e+00 | -- | Inf
1454.63/1454.95 c 1455s| 6700 | 177 | 1392k| 202.6 | 263M| 123 | - |9168 | 15k| 0 | 0 | 53k|9322 |4826 | 0.000000e+00 | -- | Inf
1466.73/1467.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1466.73/1467.04 c 1467s| 6800 | 166 | 1405k| 201.5 | 263M| 123 |1272 |9168 | 15k|9168 | 22k| 54k|9518 |4869 | 0.000000e+00 | -- | Inf
1481.52/1481.81 c 1482s| 6900 | 197 | 1418k| 200.4 | 263M| 123 | - |9168 | 15k| 0 | 0 | 54k|9642 |4917 | 0.000000e+00 | -- | Inf
1493.13/1493.43 c 1493s| 7000 | 151 | 1429k| 199.1 | 263M| 123 |1497 |9168 | 15k|9168 | 22k| 55k|9809 |4968 | 0.000000e+00 | -- | Inf
1507.42/1507.71 c 1508s| 7100 | 188 | 1444k| 198.5 | 263M| 123 |2442 |9168 | 15k|9168 | 21k| 55k|9859 |5023 | 0.000000e+00 | -- | Inf
1533.52/1533.81 c 1534s| 7200 | 246 | 1477k| 200.4 | 264M| 123 |1134 |9168 | 15k|9168 | 21k| 57k|9954 |5109 | 0.000000e+00 | -- | Inf
1547.01/1547.34 c 1547s| 7300 | 247 | 1494k| 199.9 | 264M| 123 |1648 |9168 | 15k|9168 | 21k| 57k| 10k|5167 | 0.000000e+00 | -- | Inf
1561.32/1561.62 c 1562s| 7400 | 249 | 1512k| 199.6 | 264M| 123 |1543 |9168 | 15k|9168 | 21k| 58k| 10k|5232 | 0.000000e+00 | -- | Inf
1570.81/1571.17 c 1571s| 7500 | 255 | 1523k| 198.4 | 265M| 123 |1578 |9168 | 15k|9168 | 21k| 59k| 10k|5292 | 0.000000e+00 | -- | Inf
1597.92/1598.26 c 1598s| 7600 | 234 | 1558k| 200.4 | 265M| 123 |1711 |9168 | 15k|9168 | 21k| 60k| 10k|5430 | 0.000000e+00 | -- | Inf
1613.01/1613.33 c 1613s| 7700 | 237 | 1578k| 200.4 | 265M| 123 |1755 |9168 | 15k|9168 | 21k| 61k| 10k|5494 | 0.000000e+00 | -- | Inf
1626.31/1626.65 c 1627s| 7800 | 234 | 1596k| 200.1 | 265M| 123 | - |9168 | 15k| 0 | 0 | 62k| 10k|5572 | 0.000000e+00 | -- | Inf
1641.60/1641.96 c 1642s| 7900 | 247 | 1614k| 199.9 | 265M| 123 | - |9168 | 15k| 0 | 0 | 63k| 10k|5700 | 0.000000e+00 | -- | Inf
1651.91/1652.24 c 1652s| 8000 | 244 | 1626k| 198.9 | 265M| 123 |1467 |9168 | 15k|9168 | 21k| 64k| 11k|5791 | 0.000000e+00 | -- | Inf
1664.40/1664.79 c 1665s| 8100 | 278 | 1641k| 198.3 | 265M| 123 |1359 |9168 | 16k|9168 | 21k| 64k| 11k|5861 | 0.000000e+00 | -- | Inf
1672.10/1672.45 c 1672s| 8200 | 285 | 1647k| 196.6 | 266M| 123 | - |9168 | 16k| 0 | 0 | 64k| 11k|5939 | 0.000000e+00 | -- | Inf
1681.80/1682.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1681.80/1682.12 c 1682s| 8300 | 261 | 1657k| 195.5 | 266M| 123 |1529 |9168 | 16k|9168 | 21k| 65k| 11k|6002 | 0.000000e+00 | -- | Inf
1690.89/1691.22 c 1691s| 8400 | 258 | 1667k| 194.3 | 266M| 123 |1655 |9168 | 16k|9168 | 21k| 65k| 11k|6063 | 0.000000e+00 | -- | Inf
1699.59/1699.91 c 1700s| 8500 | 251 | 1676k| 193.1 | 266M| 123 |1582 |9168 | 16k|9168 | 21k| 66k| 12k|6100 | 0.000000e+00 | -- | Inf
1710.20/1710.54 c 1711s| 8600 | 271 | 1688k| 192.2 | 266M| 123 |1558 |9168 | 16k|9168 | 21k| 66k| 12k|6172 | 0.000000e+00 | -- | Inf
1719.69/1720.02 c 1720s| 8700 | 287 | 1699k| 191.3 | 266M| 123 | - |9168 | 17k| 0 | 0 | 67k| 12k|6220 | 0.000000e+00 | -- | Inf
1728.49/1728.87 c 1729s| 8800 | 283 | 1708k| 190.2 | 266M| 123 |1736 |9168 | 16k|9168 | 21k| 67k| 12k|6273 | 0.000000e+00 | -- | Inf
1740.99/1741.36 c 1741s| 8900 | 286 | 1722k| 189.5 | 266M| 123 | - |9168 | 17k| 0 | 0 | 67k| 12k|6367 | 0.000000e+00 | -- | Inf
1752.39/1752.73 c 1753s| 9000 | 280 | 1735k| 188.9 | 266M| 123 |1657 |9168 | 16k|9168 | 21k| 68k| 12k|6439 | 0.000000e+00 | -- | Inf
1763.00/1763.35 c 1763s| 9100 | 281 | 1746k| 188.1 | 266M| 123 |1599 |9168 | 16k|9168 | 21k| 68k| 12k|6523 | 0.000000e+00 | -- | Inf
1771.48/1771.86 c 1772s| 9200 | 277 | 1755k| 187.0 | 266M| 123 |1570 |9168 | 16k|9168 | 21k| 69k| 12k|6583 | 0.000000e+00 | -- | Inf
1791.59/1791.98 c 1792s| 9300 | 295 | 1789k| 188.7 | 267M| 123 |1803 |9168 | 16k|9168 | 21k| 70k| 13k|6652 | 0.000000e+00 | -- | Inf
1796.68/1797.02 c
1796.68/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.02 c Solving Time (sec) : 1797.02
1796.68/1797.02 c Solving Nodes : 9342
1796.68/1797.02 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.68/1797.02 c Dual Bound : +0.00000000000000e+00
1796.68/1797.02 c Gap : infinite
1796.68/1797.02 s UNKNOWN
1796.68/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.02 c Total Time : 1797.02
1796.68/1797.02 c solving : 1797.02
1796.68/1797.02 c presolving : 66.26 (included in solving)
1796.68/1797.02 c reading : 0.17 (included in solving)
1796.68/1797.02 c copying : 0.03 (1 #copies) (minimal 0.03, maximal 0.03, average 0.03)
1796.68/1797.02 c Original Problem :
1796.68/1797.02 c Problem name : HOME/instance-3692843-1338027219.opb
1796.68/1797.02 c Variables : 21380 (21380 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.02 c Constraints : 60984 initial, 60984 maximal
1796.68/1797.02 c Objective sense : minimize
1796.68/1797.02 c Presolved Problem :
1796.68/1797.02 c Problem name : t_HOME/instance-3692843-1338027219.opb
1796.68/1797.02 c Variables : 9168 (9168 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.02 c Constraints : 11170 initial, 17043 maximal
1796.68/1797.02 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.02 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c trivial : 0.17 0.00 249 0 0 0 0 0 0 0 0
1796.68/1797.02 c dualfix : 0.09 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c gateextraction : 0.14 0.00 0 0 0 0 0 55453 18482 0 0
1796.68/1797.02 c implics : 1.12 0.00 0 1054 0 0 0 0 0 0 0
1796.68/1797.02 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c probing : 35.23 0.00 5403 544 0 527 0 0 0 0 0
1796.68/1797.02 c knapsack : 0.53 0.00 0 0 0 0 0 1 0 1 1
1796.68/1797.02 c setppc : 1.63 0.00 0 245 0 0 0 1320 0 0 0
1796.68/1797.02 c and : 25.48 0.00 110 4265 0 1 0 7294 3973 0 2721
1796.68/1797.02 c linear : 1.35 0.00 337 5 0 337 0 3235 0 1078 2254
1796.68/1797.02 c logicor : 0.13 0.01 0 0 0 11 0 204 0 0 0
1796.68/1797.02 c root node : - - 19 - - 19 - - - - -
1796.68/1797.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.68/1797.02 c integral : 0 0 0 0 7753 0 4 0 22 743 0 0 14948
1796.68/1797.02 c knapsack : 2155 2155 6 131319 0 13 3 55897 1374 152927 1203 0 0
1796.68/1797.02 c setppc : 3480 3480 6 129945 0 13 0 158964 533 208793 0 0 0
1796.68/1797.02 c and : 5535 5535 16601 129412 0 1 0 313854 1311 413505 76648 0 0
1796.68/1797.02 c logicor : 0+ 5897 6 40549 0 1 0 52874 785 27110 11 0 0
1796.68/1797.02 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.68/1797.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.68/1797.02 c integral : 587.66 0.00 0.00 0.00 587.66 0.00 0.00 0.00
1796.68/1797.02 c knapsack : 5.99 0.00 0.02 5.88 0.00 0.00 0.00 0.08
1796.68/1797.02 c setppc : 5.11 0.00 0.00 4.93 0.00 0.00 0.00 0.18
1796.68/1797.02 c and : 24.39 0.00 13.00 11.05 0.00 0.00 0.00 0.34
1796.68/1797.02 c logicor : 0.85 0.01 0.00 0.73 0.00 0.00 0.00 0.11
1796.68/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.68/1797.02 c rootredcost : 0 0 0 0
1796.68/1797.02 c pseudoobj : 0 0 0 0
1796.68/1797.02 c vbounds : 0 0 0 0
1796.68/1797.02 c redcost : 17230 0 0 0
1796.68/1797.02 c probing : 0 0 0 0
1796.68/1797.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.68/1797.02 c rootredcost : 0.12 0.00 0.00 0.12 0.00
1796.68/1797.02 c pseudoobj : 0.12 0.00 0.00 0.12 0.00
1796.68/1797.02 c vbounds : 0.11 0.00 0.00 0.11 0.00
1796.68/1797.02 c redcost : 2.45 0.00 0.00 2.45 0.00
1796.68/1797.02 c probing : 35.23 0.00 35.23 0.00 0.00
1796.68/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.02 c propagation : 1.42 4003 3986 35708 47.8 1586 17.0 -
1796.68/1797.02 c infeasible LP : 1.07 469 469 1110 63.2 52 19.8 0
1796.68/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.02 c applied globally : - - - 13104 28.5 - - -
1796.68/1797.02 c applied locally : - - - 0 0.0 - - -
1796.68/1797.02 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.68/1797.02 c cut pool : 0.00 5 - - 639 - (maximal pool size: 17642)
1796.68/1797.02 c closecuts : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c impliedbounds : 0.19 0.00 6 0 0 30389 0
1796.68/1797.02 c intobj : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c gomory : 0.04 0.00 1 0 0 50 0
1796.68/1797.02 c cgmip : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c strongcg : 0.11 0.00 1 0 0 500 0
1796.68/1797.02 c cmir : 0.12 0.00 1 0 0 0 0
1796.68/1797.02 c flowcover : 0.17 0.00 1 0 0 200 0
1796.68/1797.02 c clique : 18.55 0.00 1 0 0 8 0
1796.68/1797.02 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c mcf : 0.02 0.00 1 0 0 0 0
1796.68/1797.02 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c Pricers : ExecTime SetupTime Calls Vars
1796.68/1797.02 c problem variables: 0.00 - 0 0
1796.68/1797.02 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.02 c relpscost : 587.63 0.00 7753 22 743 0 0 14948
1796.68/1797.02 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c inference : 0.00 0.00 1 0 0 0 0 2
1796.68/1797.02 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c random : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.68/1797.02 c LP solutions : 0.00 - - 0
1796.68/1797.02 c pseudo solutions : 0.00 - - 0
1796.68/1797.02 c oneopt : 0.03 0.00 0 0
1796.68/1797.02 c crossover : 0.01 0.00 0 0
1796.68/1797.02 c guideddiving : 0.00 0.00 0 0
1796.68/1797.02 c intshifting : 0.00 0.00 0 0
1796.68/1797.02 c objpscostdiving : 53.49 0.00 2 0
1796.68/1797.02 c rootsoldiving : 19.90 0.00 5 0
1796.68/1797.02 c feaspump : 15.20 0.00 5 0
1796.68/1797.02 c fracdiving : 41.07 0.00 16 0
1796.68/1797.02 c veclendiving : 23.89 0.00 16 0
1796.68/1797.02 c linesearchdiving : 26.68 0.00 17 0
1796.68/1797.02 c coefdiving : 52.37 0.00 17 0
1796.68/1797.02 c pscostdiving : 29.22 0.00 17 0
1796.68/1797.02 c smallcard : 0.00 0.00 0 0
1796.68/1797.02 c trivial : 0.02 0.00 2 0
1796.68/1797.02 c shiftandpropagate: 0.34 0.00 1 0
1796.68/1797.02 c simplerounding : 0.02 0.00 0 0
1796.68/1797.02 c zirounding : 4.44 0.00 0 0
1796.68/1797.02 c rounding : 3.14 0.00 1811 0
1796.68/1797.02 c shifting : 12.44 0.00 554 0
1796.68/1797.02 c twoopt : 0.00 0.00 0 0
1796.68/1797.02 c indtwoopt : 0.00 0.00 0 0
1796.68/1797.02 c indoneopt : 0.03 0.00 0 0
1796.68/1797.02 c fixandinfer : 0.00 0.00 0 0
1796.68/1797.02 c clique : 0.00 0.00 0 0
1796.68/1797.02 c indcoefdiving : 0.00 0.00 0 0
1796.68/1797.02 c indrounding : 0.00 0.00 0 0
1796.68/1797.02 c nlpdiving : 0.00 0.00 0 0
1796.68/1797.02 c intdiving : 0.00 0.00 0 0
1796.68/1797.02 c actconsdiving : 0.00 0.00 0 0
1796.68/1797.02 c octane : 0.00 0.00 0 0
1796.68/1797.02 c rens : 0.20 0.00 1 0
1796.68/1797.02 c rins : 0.00 0.00 0 0
1796.68/1797.02 c localbranching : 0.00 0.00 0 0
1796.68/1797.02 c mutation : 0.00 0.00 0 0
1796.68/1797.02 c dins : 0.00 0.00 0 0
1796.68/1797.02 c vbounds : 0.00 0.00 0 0
1796.68/1797.02 c undercover : 1.43 0.00 1 0
1796.68/1797.02 c subnlp : 0.01 0.00 0 0
1796.68/1797.02 c trysol : 0.03 0.00 0 0
1796.68/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.68/1797.02 c primal LP : 0.01 1 0 0.00 0.00 0.01 1
1796.68/1797.02 c dual LP : 736.42 17275 1458521 84.50 1980.56 0.13 14
1796.68/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.68/1797.02 c diving/probing LP: 223.67 8987 335954 37.38 1502.02
1796.68/1797.02 c strong branching : 583.65 6675 849343 127.24 1455.24
1796.68/1797.02 c (at root node) : - 18 13810 767.22 -
1796.68/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.02 c B&B Tree :
1796.68/1797.02 c number of runs : 1
1796.68/1797.02 c nodes : 9342
1796.68/1797.02 c nodes (total) : 9342
1796.68/1797.02 c nodes left : 291
1796.68/1797.02 c max depth : 123
1796.68/1797.02 c max depth (total): 123
1796.68/1797.02 c backtracks : 1886 (20.2%)
1796.68/1797.02 c delayed cutoffs : 5318
1796.68/1797.02 c repropagations : 9609 (245119 domain reductions, 1666 cutoffs)
1796.68/1797.02 c avg switch length: 3.74
1796.68/1797.02 c switching time : 5.69
1796.68/1797.02 c Solution :
1796.68/1797.02 c Solutions found : 0 (0 improvements)
1796.68/1797.02 c Primal Bound : -
1796.68/1797.02 c Dual Bound : +0.00000000000000e+00
1796.68/1797.02 c Gap : infinite
1796.68/1797.02 c Root Dual Bound : +0.00000000000000e+00
1796.68/1797.02 c Root Iterations : 35436
1796.78/1797.19 c Time complete: 1796.87.