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-3692845-1338027754.opb>
0.08/0.14 c original problem has 18069 variables (18069 bin, 0 int, 0 impl, 0 cont) and 52475 constraints
0.08/0.14 c problem read in 0.14
0.29/0.36 c presolving:
0.88/0.99 c (round 1) 1245 del vars, 976 del conss, 0 add conss, 347 chg bounds, 460 chg sides, 1030 chg coeffs, 0 upgd conss, 1024988 impls, 0 clqs
1.00/1.08 c (round 2) 1290 del vars, 3093 del conss, 0 add conss, 372 chg bounds, 460 chg sides, 1030 chg coeffs, 0 upgd conss, 1025120 impls, 0 clqs
1.09/1.12 c (round 3) 1313 del vars, 3138 del conss, 0 add conss, 381 chg bounds, 460 chg sides, 1030 chg coeffs, 0 upgd conss, 1025384 impls, 0 clqs
1.09/1.17 c (round 4) 1314 del vars, 3172 del conss, 0 add conss, 381 chg bounds, 460 chg sides, 1030 chg coeffs, 0 upgd conss, 1025486 impls, 0 clqs
1.39/1.49 c (round 5) 1314 del vars, 3191 del conss, 0 add conss, 381 chg bounds, 460 chg sides, 1030 chg coeffs, 49284 upgd conss, 1025486 impls, 0 clqs
1.58/1.66 c (round 6) 1314 del vars, 3191 del conss, 0 add conss, 381 chg bounds, 460 chg sides, 1030 chg coeffs, 49290 upgd conss, 1025486 impls, 0 clqs
1.98/2.07 c (round 7) 1349 del vars, 51469 del conss, 16089 add conss, 404 chg bounds, 460 chg sides, 1030 chg coeffs, 49290 upgd conss, 1046745 impls, 0 clqs
2.09/2.15 c (round 8) 1369 del vars, 51493 del conss, 16089 add conss, 404 chg bounds, 460 chg sides, 1050 chg coeffs, 49302 upgd conss, 1047805 impls, 7 clqs
2.28/2.31 c (round 9) 1500 del vars, 52632 del conss, 17228 add conss, 404 chg bounds, 460 chg sides, 1050 chg coeffs, 49302 upgd conss, 1073569 impls, 8 clqs
2.38/2.40 c (round 10) 1587 del vars, 52654 del conss, 17228 add conss, 404 chg bounds, 460 chg sides, 1062 chg coeffs, 49346 upgd conss, 1089825 impls, 1131 clqs
2.38/2.47 c (round 11) 1599 del vars, 52664 del conss, 17228 add conss, 404 chg bounds, 460 chg sides, 1070 chg coeffs, 49346 upgd conss, 1089915 impls, 1132 clqs
2.48/2.53 c (round 12) 1608 del vars, 52669 del conss, 17228 add conss, 404 chg bounds, 460 chg sides, 1075 chg coeffs, 49346 upgd conss, 1089945 impls, 1129 clqs
2.59/2.60 c (round 13) 1619 del vars, 52673 del conss, 17228 add conss, 404 chg bounds, 460 chg sides, 1076 chg coeffs, 49346 upgd conss, 1090643 impls, 1129 clqs
2.59/2.67 c (round 14) 1626 del vars, 52679 del conss, 17228 add conss, 404 chg bounds, 460 chg sides, 1082 chg coeffs, 49346 upgd conss, 1090643 impls, 1129 clqs
2.68/2.74 c (round 15) 1631 del vars, 52684 del conss, 17228 add conss, 404 chg bounds, 460 chg sides, 1087 chg coeffs, 49346 upgd conss, 1090643 impls, 1129 clqs
2.79/2.87 c (round 16) 1706 del vars, 52869 del conss, 17413 add conss, 404 chg bounds, 460 chg sides, 1087 chg coeffs, 49346 upgd conss, 1106456 impls, 1129 clqs
2.88/2.94 c (round 17) 1764 del vars, 52905 del conss, 17413 add conss, 404 chg bounds, 460 chg sides, 1102 chg coeffs, 49360 upgd conss, 1106456 impls, 1173 clqs
2.98/3.01 c (round 18) 1776 del vars, 52936 del conss, 17413 add conss, 404 chg bounds, 460 chg sides, 1109 chg coeffs, 49360 upgd conss, 1106456 impls, 1173 clqs
2.98/3.07 c (round 19) 1781 del vars, 52941 del conss, 17413 add conss, 404 chg bounds, 460 chg sides, 1114 chg coeffs, 49360 upgd conss, 1106456 impls, 1173 clqs
3.09/3.17 c (round 20) 1796 del vars, 53012 del conss, 17480 add conss, 404 chg bounds, 460 chg sides, 1114 chg coeffs, 49360 upgd conss, 1106460 impls, 1171 clqs
3.20/3.23 c (round 21) 1800 del vars, 53016 del conss, 17480 add conss, 404 chg bounds, 460 chg sides, 1116 chg coeffs, 49360 upgd conss, 1106460 impls, 1171 clqs
3.49/3.51 c (round 22) 1834 del vars, 53079 del conss, 17489 add conss, 404 chg bounds, 460 chg sides, 1116 chg coeffs, 49360 upgd conss, 1109540 impls, 1171 clqs
3.68/3.77 c (round 23) 1834 del vars, 53088 del conss, 17489 add conss, 404 chg bounds, 460 chg sides, 1116 chg coeffs, 49360 upgd conss, 1109540 impls, 1171 clqs
3.98/4.03 c (round 24) 1834 del vars, 53094 del conss, 17489 add conss, 404 chg bounds, 460 chg sides, 1116 chg coeffs, 49360 upgd conss, 1109540 impls, 1171 clqs
4.29/4.39 c (round 25) 1859 del vars, 53094 del conss, 17489 add conss, 418 chg bounds, 460 chg sides, 1116 chg coeffs, 49360 upgd conss, 1123656 impls, 1167 clqs
4.39/4.46 c (round 26) 1875 del vars, 53116 del conss, 17489 add conss, 418 chg bounds, 460 chg sides, 1128 chg coeffs, 49374 upgd conss, 1124898 impls, 1167 clqs
4.69/4.72 c (round 27) 1875 del vars, 53121 del conss, 17494 add conss, 418 chg bounds, 460 chg sides, 1128 chg coeffs, 49374 upgd conss, 1124898 impls, 1167 clqs
5.08/5.16 c (round 28) 1928 del vars, 53121 del conss, 17494 add conss, 442 chg bounds, 460 chg sides, 1128 chg coeffs, 49374 upgd conss, 1211272 impls, 1160 clqs
5.19/5.27 c (round 29) 2043 del vars, 53237 del conss, 17494 add conss, 442 chg bounds, 460 chg sides, 1196 chg coeffs, 49410 upgd conss, 1243382 impls, 1158 clqs
5.28/5.34 c (round 30) 2107 del vars, 53256 del conss, 17494 add conss, 442 chg bounds, 460 chg sides, 1213 chg coeffs, 49410 upgd conss, 1243382 impls, 1158 clqs
5.40/5.40 c (round 31) 2111 del vars, 53260 del conss, 17494 add conss, 442 chg bounds, 460 chg sides, 1217 chg coeffs, 49410 upgd conss, 1243382 impls, 1158 clqs
5.49/5.51 c (round 32) 2116 del vars, 53291 del conss, 17525 add conss, 442 chg bounds, 460 chg sides, 1217 chg coeffs, 49410 upgd conss, 1245786 impls, 1158 clqs
5.49/5.58 c (round 33) 2140 del vars, 53300 del conss, 17525 add conss, 442 chg bounds, 460 chg sides, 1226 chg coeffs, 49420 upgd conss, 1247260 impls, 1187 clqs
5.89/5.98 c (round 34) 2172 del vars, 53306 del conss, 17530 add conss, 449 chg bounds, 460 chg sides, 1227 chg coeffs, 49420 upgd conss, 1266011 impls, 1188 clqs
5.99/6.05 c (round 35) 2192 del vars, 53327 del conss, 17530 add conss, 449 chg bounds, 460 chg sides, 1247 chg coeffs, 49446 upgd conss, 1268133 impls, 1188 clqs
6.08/6.15 c (round 36) 2194 del vars, 53340 del conss, 17541 add conss, 449 chg bounds, 460 chg sides, 1247 chg coeffs, 49446 upgd conss, 1268133 impls, 1188 clqs
6.19/6.21 c (round 37) 2198 del vars, 53340 del conss, 17541 add conss, 449 chg bounds, 460 chg sides, 1247 chg coeffs, 49446 upgd conss, 1268133 impls, 1192 clqs
6.19/6.27 c (round 38) 2202 del vars, 53344 del conss, 17541 add conss, 449 chg bounds, 460 chg sides, 1251 chg coeffs, 49446 upgd conss, 1268133 impls, 1192 clqs
6.59/6.65 c (round 39) 2230 del vars, 53344 del conss, 17541 add conss, 468 chg bounds, 460 chg sides, 1251 chg coeffs, 49446 upgd conss, 1348724 impls, 1192 clqs
6.69/6.72 c (round 40) 2247 del vars, 53361 del conss, 17541 add conss, 468 chg bounds, 460 chg sides, 1268 chg coeffs, 49462 upgd conss, 1352154 impls, 1192 clqs
6.79/6.82 c (round 41) 2250 del vars, 53420 del conss, 17600 add conss, 468 chg bounds, 460 chg sides, 1268 chg coeffs, 49462 upgd conss, 1352154 impls, 1193 clqs
6.79/6.89 c (round 42) 2257 del vars, 53421 del conss, 17600 add conss, 468 chg bounds, 460 chg sides, 1269 chg coeffs, 49462 upgd conss, 1352154 impls, 1244 clqs
6.88/6.95 c (round 43) 2262 del vars, 53426 del conss, 17600 add conss, 468 chg bounds, 460 chg sides, 1273 chg coeffs, 49462 upgd conss, 1352154 impls, 1244 clqs
7.18/7.21 c (round 44) 2262 del vars, 53427 del conss, 17601 add conss, 468 chg bounds, 460 chg sides, 1273 chg coeffs, 49462 upgd conss, 1352154 impls, 1244 clqs
7.88/7.90 c (round 45) 2291 del vars, 53427 del conss, 17601 add conss, 488 chg bounds, 460 chg sides, 1273 chg coeffs, 49462 upgd conss, 1608660 impls, 1242 clqs
7.88/7.97 c (round 46) 2309 del vars, 53445 del conss, 17601 add conss, 488 chg bounds, 460 chg sides, 1289 chg coeffs, 49474 upgd conss, 1610924 impls, 1242 clqs
7.99/8.07 c (round 47) 2315 del vars, 53525 del conss, 17681 add conss, 488 chg bounds, 460 chg sides, 1289 chg coeffs, 49474 upgd conss, 1612848 impls, 1243 clqs
8.08/8.14 c (round 48) 2323 del vars, 53525 del conss, 17681 add conss, 488 chg bounds, 460 chg sides, 1289 chg coeffs, 49474 upgd conss, 1612848 impls, 1309 clqs
8.19/8.20 c (round 49) 2331 del vars, 53533 del conss, 17681 add conss, 488 chg bounds, 460 chg sides, 1297 chg coeffs, 49474 upgd conss, 1614098 impls, 1309 clqs
8.28/8.30 c (round 50) 2332 del vars, 53535 del conss, 17683 add conss, 488 chg bounds, 460 chg sides, 1297 chg coeffs, 49474 upgd conss, 1614184 impls, 1309 clqs
8.49/8.55 c (round 51) 2332 del vars, 53536 del conss, 17684 add conss, 488 chg bounds, 460 chg sides, 1297 chg coeffs, 49474 upgd conss, 1614184 impls, 1310 clqs
8.88/8.91 c (round 52) 2365 del vars, 53536 del conss, 17684 add conss, 505 chg bounds, 460 chg sides, 1297 chg coeffs, 49474 upgd conss, 1684803 impls, 1310 clqs
8.88/8.98 c (round 53) 2382 del vars, 53553 del conss, 17684 add conss, 505 chg bounds, 460 chg sides, 1314 chg coeffs, 49496 upgd conss, 1691533 impls, 1310 clqs
8.99/9.08 c (round 54) 2388 del vars, 53573 del conss, 17701 add conss, 505 chg bounds, 460 chg sides, 1315 chg coeffs, 49496 upgd conss, 1691743 impls, 1310 clqs
9.09/9.14 c (round 55) 2391 del vars, 53574 del conss, 17701 add conss, 505 chg bounds, 460 chg sides, 1316 chg coeffs, 49496 upgd conss, 1691743 impls, 1320 clqs
9.18/9.20 c (round 56) 2393 del vars, 53576 del conss, 17701 add conss, 505 chg bounds, 460 chg sides, 1318 chg coeffs, 49496 upgd conss, 1691743 impls, 1320 clqs
9.38/9.46 c (round 57) 2393 del vars, 53577 del conss, 17702 add conss, 505 chg bounds, 460 chg sides, 1318 chg coeffs, 49496 upgd conss, 1691743 impls, 1320 clqs
10.78/10.87 c (round 58) 2420 del vars, 53577 del conss, 17702 add conss, 527 chg bounds, 460 chg sides, 1318 chg coeffs, 49496 upgd conss, 2412711 impls, 1318 clqs
11.00/11.01 c (round 59) 2439 del vars, 53593 del conss, 17702 add conss, 527 chg bounds, 460 chg sides, 1331 chg coeffs, 49508 upgd conss, 2423153 impls, 1317 clqs
11.08/11.12 c (round 60) 2447 del vars, 53685 del conss, 17791 add conss, 527 chg bounds, 460 chg sides, 1332 chg coeffs, 49508 upgd conss, 2423333 impls, 1317 clqs
11.08/11.19 c (round 61) 2453 del vars, 53687 del conss, 17791 add conss, 527 chg bounds, 460 chg sides, 1334 chg coeffs, 49508 upgd conss, 2423357 impls, 1394 clqs
11.19/11.26 c (round 62) 2456 del vars, 53690 del conss, 17791 add conss, 527 chg bounds, 460 chg sides, 1337 chg coeffs, 49508 upgd conss, 2423409 impls, 1394 clqs
11.48/11.52 c (round 63) 2456 del vars, 53693 del conss, 17794 add conss, 527 chg bounds, 460 chg sides, 1337 chg coeffs, 49508 upgd conss, 2423409 impls, 1394 clqs
12.09/12.19 c (round 64) 2544 del vars, 53693 del conss, 17794 add conss, 539 chg bounds, 460 chg sides, 1337 chg coeffs, 49508 upgd conss, 2795369 impls, 1383 clqs
12.18/12.28 c (round 65) 2624 del vars, 53780 del conss, 17794 add conss, 539 chg bounds, 460 chg sides, 1405 chg coeffs, 49526 upgd conss, 2807366 impls, 1383 clqs
12.38/12.40 c (round 66) 2630 del vars, 53861 del conss, 17872 add conss, 539 chg bounds, 460 chg sides, 1405 chg coeffs, 49526 upgd conss, 2807730 impls, 1383 clqs
12.58/12.65 c (round 67) 2630 del vars, 53867 del conss, 17877 add conss, 539 chg bounds, 460 chg sides, 1405 chg coeffs, 49526 upgd conss, 2807730 impls, 1455 clqs
12.88/12.91 c (round 68) 2630 del vars, 53872 del conss, 17877 add conss, 539 chg bounds, 460 chg sides, 1405 chg coeffs, 49526 upgd conss, 2807730 impls, 1456 clqs
14.68/14.73 c (round 69) 2677 del vars, 53872 del conss, 17877 add conss, 548 chg bounds, 460 chg sides, 1405 chg coeffs, 49526 upgd conss, 4065963 impls, 1453 clqs
14.78/14.88 c (round 70) 2709 del vars, 53906 del conss, 17877 add conss, 548 chg bounds, 460 chg sides, 1434 chg coeffs, 49544 upgd conss, 4078123 impls, 1453 clqs
14.98/15.02 c (round 71) 2722 del vars, 54022 del conss, 17993 add conss, 548 chg bounds, 460 chg sides, 1434 chg coeffs, 49544 upgd conss, 4079217 impls, 1453 clqs
15.19/15.29 c (round 72) 2722 del vars, 54035 del conss, 18006 add conss, 548 chg bounds, 460 chg sides, 1434 chg coeffs, 49544 upgd conss, 4079217 impls, 1561 clqs
16.49/16.56 c (round 73) 2753 del vars, 54035 del conss, 18006 add conss, 552 chg bounds, 460 chg sides, 1434 chg coeffs, 49544 upgd conss, 4516292 impls, 1550 clqs
16.68/16.78 c (round 74) 2785 del vars, 54091 del conss, 18006 add conss, 552 chg bounds, 460 chg sides, 1455 chg coeffs, 49548 upgd conss, 4536640 impls, 1550 clqs
16.89/16.96 c (round 75) 2800 del vars, 54124 del conss, 18039 add conss, 552 chg bounds, 460 chg sides, 1455 chg coeffs, 49548 upgd conss, 4537264 impls, 1550 clqs
16.99/17.04 c (round 76) 2847 del vars, 54139 del conss, 18039 add conss, 552 chg bounds, 460 chg sides, 1468 chg coeffs, 49562 upgd conss, 4538400 impls, 1567 clqs
17.08/17.14 c (round 77) 2861 del vars, 54153 del conss, 18039 add conss, 552 chg bounds, 460 chg sides, 1482 chg coeffs, 49562 upgd conss, 4540570 impls, 1568 clqs
17.38/17.50 c (round 78) 2877 del vars, 54171 del conss, 18041 add conss, 552 chg bounds, 460 chg sides, 1482 chg coeffs, 49562 upgd conss, 4566082 impls, 1568 clqs
18.38/18.40 c (round 79) 3063 del vars, 54172 del conss, 18041 add conss, 640 chg bounds, 460 chg sides, 1482 chg coeffs, 49562 upgd conss, 4623946 impls, 1557 clqs
18.59/18.67 c (round 80) 3125 del vars, 54237 del conss, 18041 add conss, 640 chg bounds, 460 chg sides, 1536 chg coeffs, 49658 upgd conss, 4667968 impls, 1557 clqs
18.79/18.87 c (round 81) 3133 del vars, 54252 del conss, 18056 add conss, 640 chg bounds, 460 chg sides, 1536 chg coeffs, 49658 upgd conss, 4707516 impls, 1557 clqs
18.88/18.95 c (round 82) 3135 del vars, 54254 del conss, 18056 add conss, 640 chg bounds, 460 chg sides, 1536 chg coeffs, 49658 upgd conss, 4707516 impls, 1559 clqs
18.99/19.03 c (round 83) 3137 del vars, 54256 del conss, 18056 add conss, 640 chg bounds, 460 chg sides, 1538 chg coeffs, 49658 upgd conss, 4707596 impls, 1559 clqs
19.28/19.38 c (round 84) 3161 del vars, 54289 del conss, 18063 add conss, 640 chg bounds, 460 chg sides, 1538 chg coeffs, 49658 upgd conss, 4709910 impls, 1559 clqs
19.58/19.63 c (round 85) 3161 del vars, 54291 del conss, 18065 add conss, 640 chg bounds, 460 chg sides, 1538 chg coeffs, 49658 upgd conss, 4709910 impls, 1559 clqs
19.98/20.05 c (round 86) 3191 del vars, 54291 del conss, 18065 add conss, 640 chg bounds, 460 chg sides, 1538 chg coeffs, 49658 upgd conss, 4723200 impls, 1560 clqs
20.08/20.18 c (round 87) 3211 del vars, 54311 del conss, 18065 add conss, 640 chg bounds, 460 chg sides, 1558 chg coeffs, 49678 upgd conss, 4729790 impls, 1560 clqs
20.39/20.44 c (round 88) 3211 del vars, 54313 del conss, 18067 add conss, 640 chg bounds, 460 chg sides, 1558 chg coeffs, 49678 upgd conss, 4729790 impls, 1561 clqs
20.79/20.86 c (round 89) 3283 del vars, 54313 del conss, 18067 add conss, 641 chg bounds, 460 chg sides, 1558 chg coeffs, 49678 upgd conss, 4738033 impls, 1561 clqs
20.89/20.97 c (round 90) 3296 del vars, 54329 del conss, 18067 add conss, 641 chg bounds, 460 chg sides, 1571 chg coeffs, 49686 upgd conss, 4740937 impls, 1561 clqs
20.99/21.07 c (round 91) 3297 del vars, 54331 del conss, 18069 add conss, 641 chg bounds, 460 chg sides, 1571 chg coeffs, 49686 upgd conss, 4741293 impls, 1562 clqs
21.28/21.32 c (round 92) 3297 del vars, 54332 del conss, 18070 add conss, 641 chg bounds, 460 chg sides, 1571 chg coeffs, 49686 upgd conss, 4741293 impls, 1562 clqs
21.89/21.96 c (round 93) 3356 del vars, 54332 del conss, 18070 add conss, 697 chg bounds, 460 chg sides, 1571 chg coeffs, 49686 upgd conss, 4922923 impls, 1562 clqs
21.99/22.08 c (round 94) 3394 del vars, 54370 del conss, 18070 add conss, 697 chg bounds, 460 chg sides, 1609 chg coeffs, 49720 upgd conss, 4943649 impls, 1562 clqs
22.18/22.28 c (round 95) 3402 del vars, 54371 del conss, 18071 add conss, 697 chg bounds, 460 chg sides, 1609 chg coeffs, 49720 upgd conss, 4994931 impls, 1562 clqs
22.48/22.53 c (round 96) 3402 del vars, 54381 del conss, 18081 add conss, 697 chg bounds, 460 chg sides, 1609 chg coeffs, 49720 upgd conss, 4994931 impls, 1562 clqs
24.98/25.08 c (round 97) 3432 del vars, 54382 del conss, 18081 add conss, 701 chg bounds, 460 chg sides, 1609 chg coeffs, 49720 upgd conss, 5647917 impls, 1559 clqs
25.08/25.19 c (round 98) 3440 del vars, 54390 del conss, 18081 add conss, 701 chg bounds, 460 chg sides, 1616 chg coeffs, 49726 upgd conss, 5652275 impls, 1559 clqs
25.19/25.30 c (round 99) 3441 del vars, 54416 del conss, 18102 add conss, 701 chg bounds, 460 chg sides, 1616 chg coeffs, 49726 upgd conss, 5653993 impls, 1559 clqs
25.48/25.56 c (round 100) 3441 del vars, 54418 del conss, 18103 add conss, 701 chg bounds, 460 chg sides, 1616 chg coeffs, 49726 upgd conss, 5653993 impls, 1575 clqs
27.28/27.38 c (round 101) 3549 del vars, 54418 del conss, 18103 add conss, 747 chg bounds, 460 chg sides, 1616 chg coeffs, 49726 upgd conss, 6137700 impls, 1532 clqs
27.39/27.50 c (round 102) 3653 del vars, 54532 del conss, 18103 add conss, 747 chg bounds, 460 chg sides, 1681 chg coeffs, 49732 upgd conss, 6155846 impls, 1532 clqs
27.58/27.61 c (round 103) 3663 del vars, 54599 del conss, 18168 add conss, 747 chg bounds, 460 chg sides, 1681 chg coeffs, 49734 upgd conss, 6159518 impls, 1532 clqs
27.78/27.87 c (round 104) 3663 del vars, 54609 del conss, 18178 add conss, 747 chg bounds, 460 chg sides, 1681 chg coeffs, 49734 upgd conss, 6159518 impls, 1592 clqs
30.28/30.38 c (round 105) 3730 del vars, 54609 del conss, 18178 add conss, 795 chg bounds, 460 chg sides, 1681 chg coeffs, 49734 upgd conss, 6846666 impls, 1581 clqs
30.48/30.53 c (round 106) 3777 del vars, 54661 del conss, 18178 add conss, 795 chg bounds, 460 chg sides, 1718 chg coeffs, 49742 upgd conss, 6872388 impls, 1581 clqs
30.69/30.71 c (round 107) 3790 del vars, 54692 del conss, 18208 add conss, 795 chg bounds, 460 chg sides, 1718 chg coeffs, 49742 upgd conss, 6883042 impls, 1581 clqs
30.88/30.99 c (round 108) 3795 del vars, 54711 del conss, 18221 add conss, 795 chg bounds, 460 chg sides, 1718 chg coeffs, 49742 upgd conss, 6883760 impls, 1599 clqs
31.18/31.25 c (round 109) 3795 del vars, 54716 del conss, 18221 add conss, 795 chg bounds, 460 chg sides, 1718 chg coeffs, 49742 upgd conss, 6883760 impls, 1599 clqs
32.79/32.88 c (round 110) 3890 del vars, 54716 del conss, 18221 add conss, 803 chg bounds, 460 chg sides, 1718 chg coeffs, 49742 upgd conss, 7238938 impls, 1587 clqs
32.89/33.00 c (round 111) 3913 del vars, 54741 del conss, 18221 add conss, 803 chg bounds, 460 chg sides, 1733 chg coeffs, 49746 upgd conss, 7242968 impls, 1587 clqs
33.08/33.12 c (round 112) 3917 del vars, 54784 del conss, 18262 add conss, 803 chg bounds, 460 chg sides, 1733 chg coeffs, 49746 upgd conss, 7243008 impls, 1587 clqs
33.28/33.37 c (round 113) 3917 del vars, 54788 del conss, 18266 add conss, 803 chg bounds, 460 chg sides, 1733 chg coeffs, 49746 upgd conss, 7243008 impls, 1612 clqs
35.58/35.61 c (round 114) 3996 del vars, 54788 del conss, 18266 add conss, 803 chg bounds, 460 chg sides, 1733 chg coeffs, 49746 upgd conss, 7647698 impls, 1611 clqs
35.58/35.68 c (round 115) 4003 del vars, 54797 del conss, 18266 add conss, 803 chg bounds, 460 chg sides, 1740 chg coeffs, 49746 upgd conss, 7647702 impls, 1611 clqs
35.68/35.78 c (round 116) 4005 del vars, 54819 del conss, 18288 add conss, 803 chg bounds, 460 chg sides, 1740 chg coeffs, 49746 upgd conss, 7647714 impls, 1611 clqs
36.08/36.15 c (round 117) 4017 del vars, 54833 del conss, 18290 add conss, 803 chg bounds, 460 chg sides, 1740 chg coeffs, 49746 upgd conss, 7655952 impls, 1630 clqs
38.78/38.88 c (round 118) 4051 del vars, 54833 del conss, 18290 add conss, 834 chg bounds, 460 chg sides, 1740 chg coeffs, 49746 upgd conss, 8590205 impls, 1624 clqs
39.08/39.19 c (round 119) 4073 del vars, 54855 del conss, 18290 add conss, 834 chg bounds, 460 chg sides, 1755 chg coeffs, 49754 upgd conss, 8603855 impls, 1624 clqs
39.18/39.29 c (round 120) 4077 del vars, 54914 del conss, 18349 add conss, 834 chg bounds, 460 chg sides, 1755 chg coeffs, 49754 upgd conss, 8603915 impls, 1624 clqs
39.49/39.55 c (round 121) 4078 del vars, 54925 del conss, 18353 add conss, 834 chg bounds, 460 chg sides, 1755 chg coeffs, 49754 upgd conss, 8604051 impls, 1672 clqs
42.48/42.52 c (round 122) 4103 del vars, 54925 del conss, 18353 add conss, 844 chg bounds, 460 chg sides, 1755 chg coeffs, 49754 upgd conss, 9328863 impls, 1672 clqs
42.58/42.66 c (round 123) 4107 del vars, 54935 del conss, 18353 add conss, 844 chg bounds, 460 chg sides, 1764 chg coeffs, 49760 upgd conss, 9336245 impls, 1672 clqs
42.68/42.76 c (round 124) 4116 del vars, 55008 del conss, 18426 add conss, 844 chg bounds, 460 chg sides, 1764 chg coeffs, 49760 upgd conss, 9336297 impls, 1672 clqs
43.18/43.22 c (round 125) 4124 del vars, 55025 del conss, 18435 add conss, 844 chg bounds, 460 chg sides, 1764 chg coeffs, 49760 upgd conss, 9338035 impls, 1737 clqs
44.58/44.65 c (round 126) 4149 del vars, 55025 del conss, 18435 add conss, 857 chg bounds, 460 chg sides, 1764 chg coeffs, 49760 upgd conss, 9646238 impls, 1736 clqs
44.78/44.81 c (round 127) 4157 del vars, 55039 del conss, 18435 add conss, 861 chg bounds, 460 chg sides, 1774 chg coeffs, 49768 upgd conss, 9650006 impls, 1736 clqs
44.88/44.96 c (round 128) 4174 del vars, 55088 del conss, 18480 add conss, 861 chg bounds, 460 chg sides, 1774 chg coeffs, 49768 upgd conss, 9671986 impls, 1732 clqs
45.38/45.48 c (round 129) 4198 del vars, 55121 del conss, 18489 add conss, 861 chg bounds, 460 chg sides, 1774 chg coeffs, 49768 upgd conss, 9674544 impls, 1767 clqs
45.68/45.73 c (round 130) 4198 del vars, 55134 del conss, 18502 add conss, 861 chg bounds, 460 chg sides, 1774 chg coeffs, 49768 upgd conss, 9674544 impls, 1768 clqs
51.28/51.35 c (round 131) 4258 del vars, 55134 del conss, 18502 add conss, 861 chg bounds, 460 chg sides, 1774 chg coeffs, 49768 upgd conss, 10687282 impls, 1779 clqs
51.38/51.47 c (round 132) 4263 del vars, 55142 del conss, 18502 add conss, 861 chg bounds, 460 chg sides, 1780 chg coeffs, 49768 upgd conss, 10690286 impls, 1779 clqs
51.47/51.58 c (round 133) 4269 del vars, 55228 del conss, 18587 add conss, 861 chg bounds, 460 chg sides, 1780 chg coeffs, 49768 upgd conss, 10690706 impls, 1779 clqs
51.98/52.03 c (round 134) 4279 del vars, 55244 del conss, 18593 add conss, 861 chg bounds, 460 chg sides, 1780 chg coeffs, 49768 upgd conss, 10705480 impls, 1860 clqs
52.18/52.29 c (round 135) 4279 del vars, 55245 del conss, 18594 add conss, 861 chg bounds, 460 chg sides, 1780 chg coeffs, 49768 upgd conss, 10705480 impls, 1861 clqs
55.37/55.45 c (55.4s) probing: 1000/16755 (6.0%) - 1164 fixings, 137 aggregations, 913280 implications, 476 bound changes
57.47/57.57 c (round 136) 4307 del vars, 55245 del conss, 18594 add conss, 877 chg bounds, 460 chg sides, 1780 chg coeffs, 49768 upgd conss, 11408444 impls, 1847 clqs
57.78/57.81 c (round 137) 4331 del vars, 55344 del conss, 18680 add conss, 877 chg bounds, 460 chg sides, 1780 chg coeffs, 49778 upgd conss, 11419768 impls, 1846 clqs
58.38/58.48 c (round 138) 4349 del vars, 55377 del conss, 18692 add conss, 877 chg bounds, 460 chg sides, 1780 chg coeffs, 49778 upgd conss, 11434188 impls, 1923 clqs
58.68/58.74 c (round 139) 4349 del vars, 55382 del conss, 18692 add conss, 877 chg bounds, 460 chg sides, 1780 chg coeffs, 49778 upgd conss, 11434188 impls, 1923 clqs
62.68/62.72 c (round 140) 4379 del vars, 55382 del conss, 18692 add conss, 903 chg bounds, 460 chg sides, 1780 chg coeffs, 49778 upgd conss, 12173660 impls, 1909 clqs
62.97/63.01 c (round 141) 4395 del vars, 55398 del conss, 18692 add conss, 903 chg bounds, 460 chg sides, 1782 chg coeffs, 49788 upgd conss, 12190638 impls, 1909 clqs
63.08/63.12 c (round 142) 4397 del vars, 55444 del conss, 18738 add conss, 903 chg bounds, 460 chg sides, 1782 chg coeffs, 49788 upgd conss, 12191258 impls, 1909 clqs
63.28/63.37 c (round 143) 4397 del vars, 55446 del conss, 18740 add conss, 903 chg bounds, 460 chg sides, 1782 chg coeffs, 49788 upgd conss, 12191258 impls, 1946 clqs
68.27/68.36 c (round 144) 4422 del vars, 55446 del conss, 18740 add conss, 918 chg bounds, 460 chg sides, 1782 chg coeffs, 49788 upgd conss, 13184108 impls, 1938 clqs
68.47/68.52 c (round 145) 4430 del vars, 55459 del conss, 18740 add conss, 918 chg bounds, 460 chg sides, 1785 chg coeffs, 49790 upgd conss, 13196996 impls, 1938 clqs
68.57/68.64 c (round 146) 4440 del vars, 55541 del conss, 18820 add conss, 918 chg bounds, 460 chg sides, 1785 chg coeffs, 49790 upgd conss, 13197182 impls, 1938 clqs
68.77/68.89 c (round 147) 4440 del vars, 55551 del conss, 18830 add conss, 918 chg bounds, 460 chg sides, 1785 chg coeffs, 49790 upgd conss, 13197182 impls, 2005 clqs
72.77/72.88 c (round 148) 4475 del vars, 55551 del conss, 18830 add conss, 920 chg bounds, 460 chg sides, 1785 chg coeffs, 49790 upgd conss, 13927421 impls, 2000 clqs
72.88/72.98 c (round 149) 4480 del vars, 55559 del conss, 18830 add conss, 920 chg bounds, 460 chg sides, 1788 chg coeffs, 49790 upgd conss, 13931563 impls, 2000 clqs
73.18/73.25 c (round 150) 4480 del vars, 55587 del conss, 18854 add conss, 920 chg bounds, 460 chg sides, 1788 chg coeffs, 49790 upgd conss, 13931563 impls, 2000 clqs
77.07/77.14 c (round 151) 4506 del vars, 55588 del conss, 18854 add conss, 920 chg bounds, 460 chg sides, 1788 chg coeffs, 49790 upgd conss, 14511409 impls, 2005 clqs
77.17/77.27 c (round 152) 4525 del vars, 55610 del conss, 18854 add conss, 920 chg bounds, 460 chg sides, 1800 chg coeffs, 49790 upgd conss, 14541507 impls, 2005 clqs
77.47/77.52 c (round 153) 4525 del vars, 55652 del conss, 18889 add conss, 920 chg bounds, 460 chg sides, 1800 chg coeffs, 49790 upgd conss, 14541507 impls, 2005 clqs
77.88/77.93 c (77.9s) probing: 2000/16755 (11.9%) - 1270 fixings, 173 aggregations, 1423597 implications, 536 bound changes
79.97/80.01 c (round 154) 4555 del vars, 55652 del conss, 18889 add conss, 936 chg bounds, 460 chg sides, 1800 chg coeffs, 49790 upgd conss, 14794015 impls, 2023 clqs
80.18/80.21 c (round 155) 4566 del vars, 55689 del conss, 18915 add conss, 936 chg bounds, 460 chg sides, 1804 chg coeffs, 49800 upgd conss, 14809183 impls, 2023 clqs
80.28/80.32 c (round 156) 4568 del vars, 55700 del conss, 18922 add conss, 936 chg bounds, 460 chg sides, 1804 chg coeffs, 49800 upgd conss, 14809183 impls, 2039 clqs
80.48/80.58 c (round 157) 4568 del vars, 55702 del conss, 18924 add conss, 936 chg bounds, 460 chg sides, 1804 chg coeffs, 49800 upgd conss, 14809183 impls, 2040 clqs
83.27/83.34 c (round 158) 4593 del vars, 55702 del conss, 18924 add conss, 946 chg bounds, 460 chg sides, 1804 chg coeffs, 49800 upgd conss, 15143337 impls, 2037 clqs
83.37/83.46 c (round 159) 4596 del vars, 55746 del conss, 18956 add conss, 946 chg bounds, 460 chg sides, 1813 chg coeffs, 49800 upgd conss, 15144995 impls, 2037 clqs
83.48/83.57 c (round 160) 4598 del vars, 55748 del conss, 18958 add conss, 946 chg bounds, 460 chg sides, 1813 chg coeffs, 49800 upgd conss, 15144995 impls, 2054 clqs
83.78/83.83 c (round 161) 4598 del vars, 55753 del conss, 18960 add conss, 946 chg bounds, 460 chg sides, 1813 chg coeffs, 49800 upgd conss, 15144995 impls, 2055 clqs
85.18/85.26 c (round 162) 4623 del vars, 55753 del conss, 18960 add conss, 951 chg bounds, 460 chg sides, 1813 chg coeffs, 49800 upgd conss, 15285796 impls, 2055 clqs
85.27/85.33 c (round 163) 4638 del vars, 55772 del conss, 18960 add conss, 951 chg bounds, 460 chg sides, 1828 chg coeffs, 49800 upgd conss, 15287006 impls, 2055 clqs
85.37/85.44 c (round 164) 4639 del vars, 55798 del conss, 18986 add conss, 951 chg bounds, 460 chg sides, 1828 chg coeffs, 49800 upgd conss, 15287038 impls, 2055 clqs
85.57/85.70 c (round 165) 4639 del vars, 55800 del conss, 18987 add conss, 951 chg bounds, 460 chg sides, 1828 chg coeffs, 49800 upgd conss, 15287038 impls, 2071 clqs
88.28/88.33 c (round 166) 4670 del vars, 55801 del conss, 18987 add conss, 965 chg bounds, 460 chg sides, 1828 chg coeffs, 49800 upgd conss, 15624124 impls, 2061 clqs
88.37/88.48 c (round 167) 4681 del vars, 55885 del conss, 19053 add conss, 965 chg bounds, 460 chg sides, 1837 chg coeffs, 49808 upgd conss, 15627954 impls, 2061 clqs
88.67/88.74 c (round 168) 4681 del vars, 55888 del conss, 19055 add conss, 965 chg bounds, 460 chg sides, 1837 chg coeffs, 49808 upgd conss, 15627954 impls, 2112 clqs
90.18/90.29 c (round 169) 4709 del vars, 55888 del conss, 19055 add conss, 985 chg bounds, 460 chg sides, 1837 chg coeffs, 49808 upgd conss, 15811648 impls, 2097 clqs
90.27/90.38 c (round 170) 4723 del vars, 55908 del conss, 19055 add conss, 985 chg bounds, 460 chg sides, 1844 chg coeffs, 49830 upgd conss, 15816464 impls, 2097 clqs
90.58/90.64 c (round 171) 4723 del vars, 55965 del conss, 19110 add conss, 985 chg bounds, 460 chg sides, 1844 chg coeffs, 49830 upgd conss, 15816464 impls, 2097 clqs
93.67/93.75 c (round 172) 4748 del vars, 55966 del conss, 19110 add conss, 996 chg bounds, 460 chg sides, 1844 chg coeffs, 49830 upgd conss, 16180041 impls, 2136 clqs
93.77/93.89 c (round 173) 4761 del vars, 55979 del conss, 19110 add conss, 996 chg bounds, 460 chg sides, 1854 chg coeffs, 49832 upgd conss, 16183731 impls, 2136 clqs
94.07/94.15 c (round 174) 4761 del vars, 56029 del conss, 19158 add conss, 996 chg bounds, 460 chg sides, 1854 chg coeffs, 49832 upgd conss, 16183731 impls, 2137 clqs
94.37/94.40 c (round 175) 4761 del vars, 56033 del conss, 19158 add conss, 996 chg bounds, 460 chg sides, 1854 chg coeffs, 49832 upgd conss, 16183731 impls, 2170 clqs
96.57/96.68 c (round 176) 4788 del vars, 56033 del conss, 19158 add conss, 1006 chg bounds, 460 chg sides, 1854 chg coeffs, 49832 upgd conss, 16346811 impls, 2169 clqs
96.87/96.94 c (round 177) 4788 del vars, 56062 del conss, 19177 add conss, 1006 chg bounds, 460 chg sides, 1863 chg coeffs, 49838 upgd conss, 16347169 impls, 2169 clqs
98.67/98.72 c (round 178) 4814 del vars, 56062 del conss, 19177 add conss, 1019 chg bounds, 460 chg sides, 1863 chg coeffs, 49838 upgd conss, 16512344 impls, 2180 clqs
98.88/98.98 c (round 179) 4814 del vars, 56100 del conss, 19202 add conss, 1019 chg bounds, 460 chg sides, 1876 chg coeffs, 49840 upgd conss, 16512884 impls, 2180 clqs
101.08/101.16 c (101.2s) probing: 3000/16755 (17.9%) - 1408 fixings, 261 aggregations, 1777244 implications, 634 bound changes
102.57/102.65 c (round 180) 4853 del vars, 56100 del conss, 19202 add conss, 1019 chg bounds, 460 chg sides, 1876 chg coeffs, 49840 upgd conss, 16967814 impls, 2183 clqs
102.67/102.78 c (round 181) 4884 del vars, 56136 del conss, 19202 add conss, 1019 chg bounds, 460 chg sides, 1899 chg coeffs, 49840 upgd conss, 16977840 impls, 2183 clqs
103.57/103.64 c (round 182) 4902 del vars, 56236 del conss, 19284 add conss, 1019 chg bounds, 460 chg sides, 1899 chg coeffs, 49842 upgd conss, 16978502 impls, 2183 clqs
108.57/108.63 c (round 183) 4927 del vars, 56236 del conss, 19284 add conss, 1022 chg bounds, 460 chg sides, 1899 chg coeffs, 49842 upgd conss, 17473355 impls, 2262 clqs
108.78/108.84 c (round 184) 4942 del vars, 56265 del conss, 19284 add conss, 1022 chg bounds, 460 chg sides, 1912 chg coeffs, 49846 upgd conss, 17481668 impls, 2262 clqs
109.88/109.91 c (round 185) 4965 del vars, 56345 del conss, 19341 add conss, 1022 chg bounds, 460 chg sides, 1912 chg coeffs, 49846 upgd conss, 17486054 impls, 2262 clqs
112.37/112.44 c (round 186) 4991 del vars, 56345 del conss, 19341 add conss, 1035 chg bounds, 460 chg sides, 1912 chg coeffs, 49846 upgd conss, 17631783 impls, 2313 clqs
112.47/112.53 c (round 187) 4992 del vars, 56358 del conss, 19341 add conss, 1035 chg bounds, 460 chg sides, 1924 chg coeffs, 49848 upgd conss, 17633179 impls, 2313 clqs
112.57/112.64 c (round 188) 4996 del vars, 56380 del conss, 19363 add conss, 1035 chg bounds, 460 chg sides, 1924 chg coeffs, 49848 upgd conss, 17633219 impls, 2314 clqs
112.87/112.90 c (round 189) 4996 del vars, 56384 del conss, 19367 add conss, 1035 chg bounds, 460 chg sides, 1924 chg coeffs, 49848 upgd conss, 17633219 impls, 2324 clqs
114.38/114.48 c (round 190) 5025 del vars, 56384 del conss, 19367 add conss, 1039 chg bounds, 460 chg sides, 1924 chg coeffs, 49848 upgd conss, 17751563 impls, 2324 clqs
114.57/114.60 c (round 191) 5028 del vars, 56391 del conss, 19367 add conss, 1039 chg bounds, 460 chg sides, 1931 chg coeffs, 49856 upgd conss, 17752873 impls, 2324 clqs
114.77/114.85 c (round 192) 5028 del vars, 56433 del conss, 19409 add conss, 1039 chg bounds, 460 chg sides, 1931 chg coeffs, 49856 upgd conss, 17752873 impls, 2324 clqs
116.26/116.32 c (round 193) 5053 del vars, 56433 del conss, 19409 add conss, 1039 chg bounds, 460 chg sides, 1931 chg coeffs, 49856 upgd conss, 17889891 impls, 2352 clqs
116.37/116.50 c (round 194) 5063 del vars, 56446 del conss, 19409 add conss, 1039 chg bounds, 460 chg sides, 1940 chg coeffs, 49858 upgd conss, 17896746 impls, 2352 clqs
116.67/116.75 c (round 195) 5070 del vars, 56499 del conss, 19461 add conss, 1039 chg bounds, 460 chg sides, 1940 chg coeffs, 49858 upgd conss, 17896746 impls, 2353 clqs
119.07/119.14 c (round 196) 5097 del vars, 56499 del conss, 19461 add conss, 1039 chg bounds, 460 chg sides, 1940 chg coeffs, 49858 upgd conss, 18144703 impls, 2382 clqs
119.17/119.27 c (round 197) 5110 del vars, 56514 del conss, 19461 add conss, 1039 chg bounds, 460 chg sides, 1948 chg coeffs, 49864 upgd conss, 18149551 impls, 2382 clqs
119.47/119.52 c (round 198) 5110 del vars, 56585 del conss, 19532 add conss, 1039 chg bounds, 460 chg sides, 1948 chg coeffs, 49864 upgd conss, 18149551 impls, 2383 clqs
122.86/122.90 c (122.9s) probing: 4000/16755 (23.9%) - 1540 fixings, 311 aggregations, 2088703 implications, 659 bound changes
123.36/123.46 c (round 199) 5137 del vars, 56585 del conss, 19532 add conss, 1044 chg bounds, 460 chg sides, 1948 chg coeffs, 49864 upgd conss, 18551446 impls, 2435 clqs
123.57/123.69 c (round 200) 5153 del vars, 56601 del conss, 19532 add conss, 1044 chg bounds, 460 chg sides, 1957 chg coeffs, 49870 upgd conss, 18570774 impls, 2435 clqs
123.86/123.94 c (round 201) 5179 del vars, 56739 del conss, 19669 add conss, 1044 chg bounds, 460 chg sides, 1957 chg coeffs, 49870 upgd conss, 18576692 impls, 2436 clqs
124.06/124.19 c (round 202) 5179 del vars, 56765 del conss, 19695 add conss, 1044 chg bounds, 460 chg sides, 1957 chg coeffs, 49870 upgd conss, 18576692 impls, 2562 clqs
126.96/127.07 c (round 203) 5206 del vars, 56765 del conss, 19695 add conss, 1044 chg bounds, 460 chg sides, 1957 chg coeffs, 49870 upgd conss, 18707164 impls, 2555 clqs
127.07/127.17 c (round 204) 5209 del vars, 56783 del conss, 19695 add conss, 1044 chg bounds, 460 chg sides, 1960 chg coeffs, 49876 upgd conss, 18707834 impls, 2555 clqs
127.36/127.42 c (round 205) 5209 del vars, 56816 del conss, 19718 add conss, 1044 chg bounds, 460 chg sides, 1960 chg coeffs, 49876 upgd conss, 18707834 impls, 2555 clqs
133.46/133.55 c (round 206) 5236 del vars, 56816 del conss, 19718 add conss, 1046 chg bounds, 460 chg sides, 1960 chg coeffs, 49876 upgd conss, 19297980 impls, 2575 clqs
133.66/133.71 c (round 207) 5239 del vars, 56821 del conss, 19718 add conss, 1046 chg bounds, 460 chg sides, 1965 chg coeffs, 49876 upgd conss, 19299830 impls, 2575 clqs
133.76/133.81 c (round 208) 5243 del vars, 56988 del conss, 19885 add conss, 1046 chg bounds, 460 chg sides, 1965 chg coeffs, 49876 upgd conss, 19300426 impls, 2575 clqs
133.96/134.06 c (round 209) 5243 del vars, 56992 del conss, 19889 add conss, 1046 chg bounds, 460 chg sides, 1965 chg coeffs, 49876 upgd conss, 19300426 impls, 2723 clqs
138.26/138.31 c (138.3s) probing: 5000/16755 (29.8%) - 1584 fixings, 337 aggregations, 2347388 implications, 661 bound changes
138.46/138.58 c (round 210) 5269 del vars, 56992 del conss, 19889 add conss, 1046 chg bounds, 460 chg sides, 1965 chg coeffs, 49876 upgd conss, 19661377 impls, 2720 clqs
138.66/138.72 c (round 211) 5278 del vars, 57091 del conss, 19985 add conss, 1046 chg bounds, 460 chg sides, 1965 chg coeffs, 49876 upgd conss, 19661465 impls, 2720 clqs
138.86/138.97 c (round 212) 5278 del vars, 57098 del conss, 19991 add conss, 1046 chg bounds, 460 chg sides, 1965 chg coeffs, 49876 upgd conss, 19661465 impls, 2791 clqs
143.06/143.16 c (round 213) 5304 del vars, 57098 del conss, 19991 add conss, 1047 chg bounds, 460 chg sides, 1965 chg coeffs, 49876 upgd conss, 19907066 impls, 2791 clqs
143.15/143.26 c (round 214) 5305 del vars, 57100 del conss, 19991 add conss, 1047 chg bounds, 460 chg sides, 1966 chg coeffs, 49880 upgd conss, 19907826 impls, 2791 clqs
143.26/143.37 c (round 215) 5310 del vars, 57143 del conss, 20034 add conss, 1047 chg bounds, 460 chg sides, 1966 chg coeffs, 49880 upgd conss, 19908172 impls, 2791 clqs
143.56/143.62 c (round 216) 5310 del vars, 57148 del conss, 20039 add conss, 1047 chg bounds, 460 chg sides, 1966 chg coeffs, 49880 upgd conss, 19908172 impls, 2814 clqs
150.36/150.48 c (150.5s) probing: 6000/16755 (35.8%) - 1596 fixings, 386 aggregations, 2544037 implications, 664 bound changes
151.05/151.14 c (round 217) 5335 del vars, 57148 del conss, 20039 add conss, 1049 chg bounds, 460 chg sides, 1966 chg coeffs, 49880 upgd conss, 20387394 impls, 2812 clqs
151.35/151.48 c (round 218) 5344 del vars, 57156 del conss, 20039 add conss, 1049 chg bounds, 460 chg sides, 1970 chg coeffs, 49892 upgd conss, 20390176 impls, 2810 clqs
151.76/151.81 c (round 219) 5346 del vars, 57324 del conss, 20205 add conss, 1049 chg bounds, 460 chg sides, 1970 chg coeffs, 49892 upgd conss, 20393038 impls, 2810 clqs
155.36/155.42 c (round 220) 5371 del vars, 57324 del conss, 20205 add conss, 1050 chg bounds, 460 chg sides, 1970 chg coeffs, 49892 upgd conss, 20602901 impls, 2957 clqs
155.66/155.75 c (round 221) 5386 del vars, 57339 del conss, 20205 add conss, 1050 chg bounds, 460 chg sides, 1974 chg coeffs, 49892 upgd conss, 20605963 impls, 2957 clqs
155.85/155.90 c (round 222) 5388 del vars, 57359 del conss, 20224 add conss, 1050 chg bounds, 460 chg sides, 1974 chg coeffs, 49894 upgd conss, 20605975 impls, 2957 clqs
156.06/156.16 c (round 223) 5388 del vars, 57361 del conss, 20226 add conss, 1050 chg bounds, 460 chg sides, 1974 chg coeffs, 49894 upgd conss, 20605975 impls, 2970 clqs
159.15/159.20 c (round 224) 5414 del vars, 57362 del conss, 20226 add conss, 1050 chg bounds, 460 chg sides, 1974 chg coeffs, 49894 upgd conss, 20724061 impls, 2958 clqs
159.47/159.58 c (round 225) 5430 del vars, 57396 del conss, 20248 add conss, 1050 chg bounds, 460 chg sides, 1974 chg coeffs, 49894 upgd conss, 20725399 impls, 2958 clqs
159.75/159.83 c (round 226) 5430 del vars, 57400 del conss, 20252 add conss, 1050 chg bounds, 460 chg sides, 1974 chg coeffs, 49894 upgd conss, 20725399 impls, 2974 clqs
163.25/163.39 c (round 227) 5455 del vars, 57400 del conss, 20252 add conss, 1050 chg bounds, 460 chg sides, 1974 chg coeffs, 49894 upgd conss, 20963999 impls, 2960 clqs
163.76/163.84 c (round 228) 5469 del vars, 57435 del conss, 20273 add conss, 1050 chg bounds, 460 chg sides, 1974 chg coeffs, 49894 upgd conss, 20965393 impls, 2960 clqs
166.54/166.68 c (round 229) 5495 del vars, 57435 del conss, 20273 add conss, 1050 chg bounds, 460 chg sides, 1974 chg coeffs, 49894 upgd conss, 21100207 impls, 2956 clqs
166.85/166.93 c (round 230) 5511 del vars, 57470 del conss, 20294 add conss, 1050 chg bounds, 460 chg sides, 1974 chg coeffs, 49894 upgd conss, 21101387 impls, 2956 clqs
167.05/167.18 c (round 231) 5511 del vars, 57472 del conss, 20296 add conss, 1050 chg bounds, 460 chg sides, 1974 chg coeffs, 49894 upgd conss, 21101387 impls, 2967 clqs
168.85/168.92 c (round 232) 5538 del vars, 57472 del conss, 20296 add conss, 1050 chg bounds, 460 chg sides, 1974 chg coeffs, 49894 upgd conss, 21180101 impls, 2950 clqs
169.25/169.36 c (round 233) 5556 del vars, 57499 del conss, 20305 add conss, 1050 chg bounds, 460 chg sides, 1974 chg coeffs, 49894 upgd conss, 21184571 impls, 2950 clqs
171.56/171.68 c (round 234) 5581 del vars, 57499 del conss, 20305 add conss, 1050 chg bounds, 460 chg sides, 1974 chg coeffs, 49894 upgd conss, 21342065 impls, 2934 clqs
171.85/171.93 c (round 235) 5599 del vars, 57515 del conss, 20305 add conss, 1050 chg bounds, 460 chg sides, 1974 chg coeffs, 49912 upgd conss, 21347443 impls, 2932 clqs
172.14/172.22 c (round 236) 5601 del vars, 57517 del conss, 20305 add conss, 1050 chg bounds, 460 chg sides, 1974 chg coeffs, 49912 upgd conss, 21347795 impls, 2932 clqs
173.25/173.37 c (round 237) 5627 del vars, 57517 del conss, 20305 add conss, 1050 chg bounds, 460 chg sides, 1974 chg coeffs, 49912 upgd conss, 21392331 impls, 2916 clqs
173.66/173.78 c (round 238) 5643 del vars, 57542 del conss, 20314 add conss, 1050 chg bounds, 460 chg sides, 1974 chg coeffs, 49912 upgd conss, 21396717 impls, 2916 clqs
174.64/174.75 c (round 239) 5668 del vars, 57542 del conss, 20314 add conss, 1050 chg bounds, 460 chg sides, 1974 chg coeffs, 49912 upgd conss, 21428833 impls, 2900 clqs
174.85/174.99 c (round 240) 5686 del vars, 57558 del conss, 20314 add conss, 1050 chg bounds, 460 chg sides, 1974 chg coeffs, 49930 upgd conss, 21435399 impls, 2898 clqs
175.14/175.26 c (round 241) 5688 del vars, 57560 del conss, 20314 add conss, 1050 chg bounds, 460 chg sides, 1974 chg coeffs, 49930 upgd conss, 21435815 impls, 2899 clqs
176.54/176.60 c (round 242) 5713 del vars, 57560 del conss, 20314 add conss, 1050 chg bounds, 460 chg sides, 1974 chg coeffs, 49930 upgd conss, 21504345 impls, 2883 clqs
176.75/176.84 c (round 243) 5731 del vars, 57576 del conss, 20314 add conss, 1050 chg bounds, 460 chg sides, 1974 chg coeffs, 49948 upgd conss, 21517853 impls, 2881 clqs
177.06/177.12 c (round 244) 5733 del vars, 57581 del conss, 20317 add conss, 1050 chg bounds, 460 chg sides, 1974 chg coeffs, 49948 upgd conss, 21519629 impls, 2881 clqs
181.54/181.64 c (181.6s) probing: 7000/16755 (41.8%) - 1809 fixings, 422 aggregations, 3100599 implications, 665 bound changes
183.34/183.49 c (round 245) 5758 del vars, 57581 del conss, 20317 add conss, 1050 chg bounds, 460 chg sides, 1974 chg coeffs, 49948 upgd conss, 21997147 impls, 2881 clqs
183.74/183.81 c (round 246) 5760 del vars, 57644 del conss, 20376 add conss, 1050 chg bounds, 460 chg sides, 1976 chg coeffs, 49948 upgd conss, 22002935 impls, 2881 clqs
186.45/186.50 c (round 247) 5785 del vars, 57644 del conss, 20376 add conss, 1050 chg bounds, 460 chg sides, 1976 chg coeffs, 49948 upgd conss, 22125839 impls, 2915 clqs
186.54/186.61 c (round 248) 5788 del vars, 57655 del conss, 20376 add conss, 1050 chg bounds, 460 chg sides, 1979 chg coeffs, 49948 upgd conss, 22127563 impls, 2915 clqs
186.74/186.86 c (round 249) 5788 del vars, 57669 del conss, 20390 add conss, 1050 chg bounds, 460 chg sides, 1979 chg coeffs, 49948 upgd conss, 22127563 impls, 2915 clqs
188.64/188.77 c (round 250) 5813 del vars, 57669 del conss, 20390 add conss, 1050 chg bounds, 460 chg sides, 1979 chg coeffs, 49948 upgd conss, 22193019 impls, 2917 clqs
188.94/189.07 c (round 251) 5824 del vars, 57679 del conss, 20390 add conss, 1050 chg bounds, 460 chg sides, 1980 chg coeffs, 49966 upgd conss, 22204359 impls, 2916 clqs
189.05/189.19 c (round 252) 5826 del vars, 57688 del conss, 20398 add conss, 1050 chg bounds, 460 chg sides, 1980 chg coeffs, 49966 upgd conss, 22212229 impls, 2917 clqs
189.34/189.45 c (round 253) 5826 del vars, 57691 del conss, 20399 add conss, 1050 chg bounds, 460 chg sides, 1980 chg coeffs, 49966 upgd conss, 22212229 impls, 2920 clqs
190.25/190.34 c (round 254) 5856 del vars, 57691 del conss, 20399 add conss, 1050 chg bounds, 460 chg sides, 1980 chg coeffs, 49966 upgd conss, 22212751 impls, 2906 clqs
190.54/190.68 c (round 255) 5874 del vars, 57721 del conss, 20414 add conss, 1050 chg bounds, 460 chg sides, 1980 chg coeffs, 49966 upgd conss, 22235325 impls, 2906 clqs
190.84/190.93 c (round 256) 5874 del vars, 57724 del conss, 20417 add conss, 1050 chg bounds, 460 chg sides, 1980 chg coeffs, 49966 upgd conss, 22235325 impls, 2906 clqs
191.64/191.78 c (round 257) 5909 del vars, 57724 del conss, 20417 add conss, 1050 chg bounds, 460 chg sides, 1980 chg coeffs, 49966 upgd conss, 22239007 impls, 2889 clqs
191.74/191.88 c (round 258) 5929 del vars, 57755 del conss, 20417 add conss, 1050 chg bounds, 460 chg sides, 1989 chg coeffs, 49966 upgd conss, 22246645 impls, 2889 clqs
192.04/192.13 c (round 259) 5929 del vars, 57758 del conss, 20420 add conss, 1050 chg bounds, 460 chg sides, 1989 chg coeffs, 49966 upgd conss, 22246645 impls, 2889 clqs
192.44/192.55 c (round 260) 5965 del vars, 57758 del conss, 20420 add conss, 1050 chg bounds, 460 chg sides, 1989 chg coeffs, 49966 upgd conss, 22248267 impls, 2874 clqs
192.53/192.69 c (round 261) 6001 del vars, 57801 del conss, 20420 add conss, 1050 chg bounds, 460 chg sides, 2010 chg coeffs, 49966 upgd conss, 22262315 impls, 2874 clqs
192.84/192.94 c (round 262) 6001 del vars, 57804 del conss, 20422 add conss, 1050 chg bounds, 460 chg sides, 2010 chg coeffs, 49966 upgd conss, 22262315 impls, 2874 clqs
193.74/193.89 c (round 263) 6026 del vars, 57804 del conss, 20422 add conss, 1050 chg bounds, 460 chg sides, 2010 chg coeffs, 49966 upgd conss, 22276245 impls, 2865 clqs
194.04/194.17 c (round 264) 6040 del vars, 57816 del conss, 20422 add conss, 1057 chg bounds, 460 chg sides, 2013 chg coeffs, 49967 upgd conss, 22294328 impls, 2864 clqs
194.13/194.25 c (round 265) 6056 del vars, 57825 del conss, 20422 add conss, 1057 chg bounds, 460 chg sides, 2016 chg coeffs, 49968 upgd conss, 22295590 impls, 2859 clqs
194.24/194.35 c (round 266) 6060 del vars, 57842 del conss, 20438 add conss, 1057 chg bounds, 460 chg sides, 2016 chg coeffs, 49968 upgd conss, 22295758 impls, 2858 clqs
194.44/194.60 c (round 267) 6061 del vars, 57846 del conss, 20441 add conss, 1057 chg bounds, 460 chg sides, 2016 chg coeffs, 49968 upgd conss, 22295758 impls, 2861 clqs
197.13/197.22 c (round 268) 6086 del vars, 57846 del conss, 20441 add conss, 1057 chg bounds, 460 chg sides, 2016 chg coeffs, 49968 upgd conss, 22395808 impls, 2855 clqs
197.34/197.46 c (round 269) 6091 del vars, 57854 del conss, 20441 add conss, 1059 chg bounds, 460 chg sides, 2017 chg coeffs, 49968 upgd conss, 22398048 impls, 2855 clqs
197.54/197.69 c (round 270) 6095 del vars, 57870 del conss, 20455 add conss, 1059 chg bounds, 460 chg sides, 2017 chg coeffs, 49972 upgd conss, 22442756 impls, 2855 clqs
197.95/198.02 c (round 271) 6099 del vars, 57875 del conss, 20456 add conss, 1059 chg bounds, 460 chg sides, 2017 chg coeffs, 49972 upgd conss, 22443544 impls, 2861 clqs
198.54/198.66 c (round 272) 6129 del vars, 57875 del conss, 20456 add conss, 1059 chg bounds, 460 chg sides, 2017 chg coeffs, 49972 upgd conss, 22463174 impls, 2841 clqs
198.64/198.77 c (round 273) 6158 del vars, 57912 del conss, 20456 add conss, 1059 chg bounds, 460 chg sides, 2027 chg coeffs, 49972 upgd conss, 22479258 impls, 2841 clqs
198.94/199.02 c (round 274) 6158 del vars, 57918 del conss, 20460 add conss, 1059 chg bounds, 460 chg sides, 2027 chg coeffs, 49972 upgd conss, 22479258 impls, 2841 clqs
202.54/202.61 c (round 275) 6183 del vars, 57918 del conss, 20460 add conss, 1059 chg bounds, 460 chg sides, 2027 chg coeffs, 49972 upgd conss, 22710470 impls, 2835 clqs
202.64/202.79 c (round 276) 6193 del vars, 57945 del conss, 20475 add conss, 1059 chg bounds, 460 chg sides, 2030 chg coeffs, 49972 upgd conss, 22718994 impls, 2835 clqs
202.94/203.04 c (round 277) 6193 del vars, 57948 del conss, 20477 add conss, 1059 chg bounds, 460 chg sides, 2030 chg coeffs, 49972 upgd conss, 22718994 impls, 2837 clqs
205.23/205.38 c (205.4s) probing: 8000/16755 (47.7%) - 2056 fixings, 449 aggregations, 3447160 implications, 668 bound changes
214.53/214.68 c (round 278) 6218 del vars, 57948 del conss, 20477 add conss, 1062 chg bounds, 460 chg sides, 2030 chg coeffs, 49972 upgd conss, 23249237 impls, 2829 clqs
215.03/215.13 c (round 279) 6234 del vars, 57966 del conss, 20477 add conss, 1064 chg bounds, 460 chg sides, 2040 chg coeffs, 49983 upgd conss, 23263659 impls, 2829 clqs
215.13/215.23 c (round 280) 6238 del vars, 57968 del conss, 20477 add conss, 1064 chg bounds, 460 chg sides, 2042 chg coeffs, 49998 upgd conss, 23263747 impls, 2829 clqs
215.44/215.50 c (round 281) 6241 del vars, 58017 del conss, 20523 add conss, 1064 chg bounds, 460 chg sides, 2042 chg coeffs, 49998 upgd conss, 23264027 impls, 2829 clqs
224.43/224.58 c (224.6s) probing: 9000/16755 (53.7%) - 2080 fixings, 465 aggregations, 3979564 implications, 668 bound changes
224.63/224.77 c (round 282) 6266 del vars, 58017 del conss, 20523 add conss, 1064 chg bounds, 460 chg sides, 2042 chg coeffs, 49998 upgd conss, 23749861 impls, 2860 clqs
224.94/225.10 c (round 283) 6275 del vars, 58028 del conss, 20523 add conss, 1064 chg bounds, 460 chg sides, 2046 chg coeffs, 50018 upgd conss, 23756423 impls, 2859 clqs
225.24/225.39 c (round 284) 6277 del vars, 58077 del conss, 20570 add conss, 1064 chg bounds, 460 chg sides, 2046 chg coeffs, 50018 upgd conss, 23758817 impls, 2860 clqs
238.73/238.82 c (round 285) 6302 del vars, 58077 del conss, 20570 add conss, 1064 chg bounds, 460 chg sides, 2046 chg coeffs, 50018 upgd conss, 24472807 impls, 2894 clqs
238.93/239.05 c (round 286) 6310 del vars, 58088 del conss, 20570 add conss, 1064 chg bounds, 460 chg sides, 2049 chg coeffs, 50018 upgd conss, 24478569 impls, 2894 clqs
239.23/239.30 c (round 287) 6311 del vars, 58184 del conss, 20665 add conss, 1064 chg bounds, 460 chg sides, 2049 chg coeffs, 50018 upgd conss, 24478675 impls, 2894 clqs
245.14/245.25 c (245.2s) probing: 10000/16755 (59.7%) - 2119 fixings, 474 aggregations, 4582048 implications, 668 bound changes
247.63/247.75 c (round 288) 6336 del vars, 58184 del conss, 20665 add conss, 1064 chg bounds, 460 chg sides, 2049 chg coeffs, 50018 upgd conss, 24933851 impls, 2962 clqs
247.93/248.02 c (round 289) 6352 del vars, 58203 del conss, 20665 add conss, 1064 chg bounds, 460 chg sides, 2053 chg coeffs, 50042 upgd conss, 24947891 impls, 2962 clqs
248.03/248.14 c (round 290) 6353 del vars, 58245 del conss, 20707 add conss, 1064 chg bounds, 460 chg sides, 2053 chg coeffs, 50042 upgd conss, 24956463 impls, 2963 clqs
248.23/248.39 c (round 291) 6353 del vars, 58246 del conss, 20708 add conss, 1064 chg bounds, 460 chg sides, 2053 chg coeffs, 50042 upgd conss, 24956463 impls, 2997 clqs
253.32/253.41 c (round 292) 6378 del vars, 58247 del conss, 20708 add conss, 1064 chg bounds, 460 chg sides, 2053 chg coeffs, 50042 upgd conss, 25146855 impls, 2980 clqs
253.73/253.88 c (round 293) 6393 del vars, 58276 del conss, 20717 add conss, 1065 chg bounds, 460 chg sides, 2054 chg coeffs, 50060 upgd conss, 25150156 impls, 2979 clqs
254.03/254.12 c (round 294) 6395 del vars, 58277 del conss, 20717 add conss, 1065 chg bounds, 460 chg sides, 2054 chg coeffs, 50080 upgd conss, 25150156 impls, 2985 clqs
257.43/257.58 c (round 295) 6421 del vars, 58277 del conss, 20717 add conss, 1065 chg bounds, 460 chg sides, 2054 chg coeffs, 50080 upgd conss, 25262192 impls, 2971 clqs
257.73/257.89 c (round 296) 6424 del vars, 58314 del conss, 20739 add conss, 1065 chg bounds, 460 chg sides, 2054 chg coeffs, 50080 upgd conss, 25265058 impls, 2971 clqs
258.62/258.73 c (round 297) 6449 del vars, 58314 del conss, 20739 add conss, 1065 chg bounds, 460 chg sides, 2054 chg coeffs, 50080 upgd conss, 25269288 impls, 2966 clqs
258.83/258.99 c (round 298) 6449 del vars, 58344 del conss, 20757 add conss, 1065 chg bounds, 460 chg sides, 2054 chg coeffs, 50080 upgd conss, 25269368 impls, 2966 clqs
261.42/261.52 c (round 299) 6474 del vars, 58344 del conss, 20757 add conss, 1065 chg bounds, 460 chg sides, 2054 chg coeffs, 50080 upgd conss, 25325640 impls, 2950 clqs
261.93/262.05 c (round 300) 6493 del vars, 58369 del conss, 20760 add conss, 1066 chg bounds, 460 chg sides, 2054 chg coeffs, 50102 upgd conss, 25330285 impls, 2950 clqs
262.23/262.31 c (round 301) 6495 del vars, 58370 del conss, 20760 add conss, 1066 chg bounds, 460 chg sides, 2054 chg coeffs, 50126 upgd conss, 25330285 impls, 2951 clqs
263.03/263.13 c (round 302) 6523 del vars, 58370 del conss, 20760 add conss, 1066 chg bounds, 460 chg sides, 2054 chg coeffs, 50126 upgd conss, 25335073 impls, 2938 clqs
263.23/263.39 c (round 303) 6523 del vars, 58404 del conss, 20780 add conss, 1066 chg bounds, 460 chg sides, 2054 chg coeffs, 50126 upgd conss, 25335145 impls, 2938 clqs
267.42/267.57 c (267.6s) probing: 11000/16755 (65.7%) - 2231 fixings, 513 aggregations, 4999249 implications, 668 bound changes
275.22/275.33 c (round 304) 6548 del vars, 58404 del conss, 20780 add conss, 1066 chg bounds, 460 chg sides, 2054 chg coeffs, 50126 upgd conss, 25852201 impls, 2926 clqs
275.42/275.56 c (round 305) 6567 del vars, 58424 del conss, 20780 add conss, 1066 chg bounds, 460 chg sides, 2056 chg coeffs, 50126 upgd conss, 25854499 impls, 2926 clqs
275.73/275.81 c (round 306) 6567 del vars, 58606 del conss, 20962 add conss, 1066 chg bounds, 460 chg sides, 2056 chg coeffs, 50126 upgd conss, 25854499 impls, 2926 clqs
275.93/276.07 c (276.1s) probing cycle finished: starting next cycle
278.23/278.33 c (round 307) 6592 del vars, 58606 del conss, 20962 add conss, 1066 chg bounds, 460 chg sides, 2056 chg coeffs, 50126 upgd conss, 25954925 impls, 3077 clqs
278.32/278.41 c (round 308) 6600 del vars, 58619 del conss, 20962 add conss, 1066 chg bounds, 460 chg sides, 2056 chg coeffs, 50150 upgd conss, 25955459 impls, 3077 clqs
278.52/278.66 c (round 309) 6600 del vars, 58711 del conss, 21054 add conss, 1066 chg bounds, 460 chg sides, 2056 chg coeffs, 50150 upgd conss, 25955459 impls, 3077 clqs
281.43/281.56 c (round 310) 6625 del vars, 58711 del conss, 21054 add conss, 1066 chg bounds, 460 chg sides, 2056 chg coeffs, 50150 upgd conss, 26065907 impls, 3154 clqs
281.52/281.69 c (round 311) 6630 del vars, 58737 del conss, 21054 add conss, 1066 chg bounds, 460 chg sides, 2058 chg coeffs, 50168 upgd conss, 26066343 impls, 3154 clqs
281.82/281.94 c (round 312) 6630 del vars, 58833 del conss, 21149 add conss, 1066 chg bounds, 460 chg sides, 2058 chg coeffs, 50168 upgd conss, 26066343 impls, 3154 clqs
283.63/283.73 c (round 313) 6655 del vars, 58833 del conss, 21149 add conss, 1066 chg bounds, 460 chg sides, 2058 chg coeffs, 50168 upgd conss, 26069163 impls, 3240 clqs
283.82/283.98 c (round 314) 6655 del vars, 58885 del conss, 21151 add conss, 1066 chg bounds, 460 chg sides, 2058 chg coeffs, 50218 upgd conss, 26069613 impls, 3240 clqs
285.22/285.35 c (round 315) 6680 del vars, 58885 del conss, 21151 add conss, 1066 chg bounds, 460 chg sides, 2058 chg coeffs, 50218 upgd conss, 26070215 impls, 3242 clqs
285.52/285.60 c (round 316) 6680 del vars, 58936 del conss, 21152 add conss, 1066 chg bounds, 460 chg sides, 2058 chg coeffs, 50268 upgd conss, 26071409 impls, 3242 clqs
286.81/286.99 c (287.0s) probing: 725/11502 (6.3%) - 2328 fixings, 528 aggregations, 5331263 implications, 668 bound changes
286.81/286.99 c (287.0s) probing aborted: 50/50 successive totally useless probings
286.81/287.00 c (round 317) 6684 del vars, 58936 del conss, 21152 add conss, 1066 chg bounds, 460 chg sides, 2058 chg coeffs, 50268 upgd conss, 26099975 impls, 3233 clqs
287.52/287.66 c (round 318) 6694 del vars, 58955 del conss, 21157 add conss, 1066 chg bounds, 460 chg sides, 2058 chg coeffs, 50268 upgd conss, 26100489 impls, 3233 clqs
287.81/287.92 c (287.9s) probing: 730/11502 (6.3%) - 2328 fixings, 528 aggregations, 5331263 implications, 668 bound changes
287.81/287.92 c (287.9s) probing aborted: 50/50 successive totally useless probings
287.81/287.93 c presolving (319 rounds):
287.81/287.93 c 6694 deleted vars, 58955 deleted constraints, 21157 added constraints, 1066 tightened bounds, 0 added holes, 460 changed sides, 2058 changed coefficients
287.81/287.93 c 26100489 implications, 3233 cliques
287.81/287.93 c presolved problem has 11375 variables (11375 bin, 0 int, 0 impl, 0 cont) and 13015 constraints
287.81/287.93 c 920 constraints of type <knapsack>
287.81/287.93 c 4462 constraints of type <setppc>
287.81/287.93 c 7625 constraints of type <and>
287.81/287.93 c 8 constraints of type <logicor>
287.81/287.93 c transformed objective value is always integral (scale: 1)
287.81/287.93 c Presolving Time: 287.72
287.81/287.93 c - non default parameters ----------------------------------------------------------------------
287.81/287.93 c # SCIP version 2.1.1.4
287.81/287.93 c
287.81/287.93 c # maximal time in seconds to run
287.81/287.93 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
287.81/287.93 c limits/time = 1797
287.81/287.93 c
287.81/287.93 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
287.81/287.93 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
287.81/287.93 c limits/memory = 13950
287.81/287.93 c
287.81/287.93 c # default clock type (1: CPU user seconds, 2: wall clock time)
287.81/287.93 c # [type: int, range: [1,2], default: 1]
287.81/287.93 c timing/clocktype = 2
287.81/287.93 c
287.81/287.93 c # belongs reading time to solving time?
287.81/287.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
287.81/287.93 c timing/reading = TRUE
287.81/287.93 c
287.81/287.93 c -----------------------------------------------------------------------------------------------
287.81/287.93 c start solving
287.81/287.94 c
288.42/288.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
288.42/288.59 c 289s| 1 | 0 | 2571 | - | 505M| 0 |1745 | 11k| 13k| 11k| 20k| 0 | 123 | 0 | 0.000000e+00 | -- | Inf
298.52/298.63 c 299s| 1 | 0 | 19908 | - | 512M| 0 |2904 | 11k| 13k| 11k| 22k|2000 | 128 | 0 | 0.000000e+00 | -- | Inf
302.01/302.15 c 302s| 1 | 0 | 25597 | - | 516M| 0 |4043 | 11k| 13k| 11k| 24k|4000 | 128 | 0 | 0.000000e+00 | -- | Inf
312.91/313.06 c 313s| 1 | 0 | 36600 | - | 521M| 0 |4832 | 11k| 13k| 11k| 26k|6000 | 128 | 0 | 0.000000e+00 | -- | Inf
326.12/326.22 c 326s| 1 | 0 | 47699 | - | 526M| 0 |5660 | 11k| 13k| 11k| 28k|8000 | 128 | 0 | 0.000000e+00 | -- | Inf
337.12/337.20 c 337s| 1 | 0 | 58448 | - | 526M| 0 |5922 | 11k| 13k| 11k| 30k| 10k| 128 | 0 | 0.000000e+00 | -- | Inf
349.11/349.25 c 349s| 1 | 0 | 69216 | - | 529M| 0 |6417 | 11k| 13k| 11k| 32k| 12k| 128 | 0 | 0.000000e+00 | -- | Inf
367.40/367.51 c 368s| 1 | 2 | 69216 | - | 529M| 0 |6417 | 11k| 13k| 11k| 32k| 12k| 128 | 17 | 0.000000e+00 | -- | Inf
645.24/645.45 c 645s| 100 | 10 |213504 |1457.5 | 530M| 15 | - | 11k| 13k| 0 | 0 | 18k| 417 | 477 | 0.000000e+00 | -- | Inf
745.93/746.12 c 746s| 200 | 20 |309871 |1209.3 | 531M| 21 |1017 | 11k| 13k| 11k| 27k| 21k| 788 | 559 | 0.000000e+00 | -- | Inf
1113.28/1113.51 c 1114s| 300 | 28 |627358 |1866.7 | 532M| 28 | - | 11k| 14k| 11k| 28k| 24k|1048 | 623 | 0.000000e+00 | -- | Inf
1156.77/1157.05 c 1157s| 400 | 24 |666013 |1495.7 | 532M| 28 |2438 | 11k| 14k| 11k| 27k| 26k|1529 | 658 | 0.000000e+00 | -- | Inf
1215.76/1216.08 c 1216s| 500 | 21 |722959 |1310.1 | 532M| 28 |1705 | 11k| 14k| 11k| 27k| 28k|1780 | 731 | 0.000000e+00 | -- | Inf
1298.84/1299.12 c 1299s| 600 | 28 |829871 |1269.9 | 533M| 28 |2810 | 11k| 14k| 11k| 27k| 30k|1920 | 811 | 0.000000e+00 | -- | Inf
1389.12/1389.42 c 1389s| 700 | 25 |920716 |1218.2 | 532M| 28 |2168 | 11k| 14k| 11k| 27k| 33k|2079 | 907 | 0.000000e+00 | -- | Inf
1452.51/1452.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1452.51/1452.86 c 1453s| 800 | 25 |981347 |1141.6 | 533M| 28 |1980 | 11k| 15k| 11k| 27k| 35k|2412 | 964 | 0.000000e+00 | -- | Inf
1541.20/1541.51 c 1542s| 900 | 20 | 1063k|1106.5 | 532M| 28 |3145 | 11k| 14k| 11k| 27k| 38k|2603 |1044 | 0.000000e+00 | -- | Inf
1630.90/1631.25 c 1631s| 1000 | 38 | 1152k|1084.7 | 533M| 28 |2056 | 11k| 15k| 11k| 27k| 42k|2899 |1140 | 0.000000e+00 | -- | Inf
1713.78/1714.16 c 1714s| 1100 | 40 | 1237k|1062.6 | 534M| 28 | - | 11k| 15k| 0 | 0 | 45k|3307 |1204 | 0.000000e+00 | -- | Inf
1791.86/1792.21 c 1792s| 1200 | 45 | 1308k|1033.9 | 534M| 28 |2128 | 11k| 15k| 11k| 27k| 47k|3555 |1268 | 0.000000e+00 | -- | Inf
1796.66/1797.01 c
1796.66/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.66/1797.01 c Solving Time (sec) : 1797.01
1796.66/1797.01 c Solving Nodes : 1217
1796.66/1797.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.66/1797.01 c Dual Bound : +0.00000000000000e+00
1796.66/1797.01 c Gap : infinite
1796.66/1797.01 s UNKNOWN
1796.66/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.66/1797.01 c Total Time : 1797.01
1796.66/1797.01 c solving : 1797.01
1796.66/1797.01 c presolving : 287.72 (included in solving)
1796.66/1797.01 c reading : 0.14 (included in solving)
1796.66/1797.01 c copying : 0.04 (1 #copies) (minimal 0.04, maximal 0.04, average 0.04)
1796.66/1797.01 c Original Problem :
1796.66/1797.01 c Problem name : HOME/instance-3692845-1338027754.opb
1796.66/1797.01 c Variables : 18069 (18069 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.66/1797.01 c Constraints : 52475 initial, 52475 maximal
1796.66/1797.01 c Objective sense : minimize
1796.66/1797.01 c Presolved Problem :
1796.66/1797.01 c Problem name : t_HOME/instance-3692845-1338027754.opb
1796.66/1797.01 c Variables : 11375 (11375 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.66/1797.01 c Constraints : 13015 initial, 15664 maximal
1796.66/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.66/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.01 c trivial : 0.43 0.00 198 0 0 0 0 0 0 0 0
1796.66/1797.01 c dualfix : 0.21 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.01 c gateextraction : 0.26 0.00 0 0 0 0 0 48275 16089 0 0
1796.66/1797.01 c implics : 5.10 0.00 0 912 0 0 0 0 0 0 0
1796.66/1797.01 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.01 c probing : 217.64 0.00 2328 528 0 668 0 0 0 0 0
1796.66/1797.01 c knapsack : 0.50 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.01 c setppc : 7.92 0.00 5 591 0 0 0 1184 0 0 0
1796.66/1797.01 c and : 53.69 0.00 201 1546 0 6 0 6305 5068 0 1028
1796.66/1797.01 c linear : 0.96 0.00 381 4 0 381 0 3191 0 460 1030
1796.66/1797.01 c logicor : 0.33 0.00 0 0 0 11 0 0 0 0 0
1796.66/1797.01 c root node : - - 0 - - 0 - - - - -
1796.66/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.66/1797.01 c integral : 0 0 0 0 899 0 4 0 7 60 0 0 1744
1796.66/1797.01 c knapsack : 920 920 5 123056 0 1 3 229 24 0 1001 0 0
1796.66/1797.01 c setppc : 4462 4462 5 123032 0 1 0 94311 402 200387 0 0 0
1796.66/1797.01 c and : 7625 7625 2805 122630 0 1 0 228727 588 392285 100577 0 0
1796.66/1797.01 c logicor : 8+ 2657 5 23898 0 0 0 4374 100 6103 4 0 0
1796.66/1797.01 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.66/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.66/1797.01 c integral : 416.28 0.00 0.00 0.00 416.28 0.00 0.00 0.00
1796.66/1797.01 c knapsack : 2.44 0.00 0.01 2.43 0.00 0.00 0.00 0.00
1796.66/1797.01 c setppc : 12.31 0.00 0.00 12.18 0.00 0.00 0.00 0.13
1796.66/1797.01 c and : 41.79 0.00 3.14 38.37 0.00 0.00 0.00 0.27
1796.66/1797.01 c logicor : 0.30 0.00 0.00 0.28 0.00 0.00 0.00 0.02
1796.66/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.66/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.66/1797.01 c rootredcost : 0 0 0 0
1796.66/1797.01 c pseudoobj : 0 0 0 0
1796.66/1797.01 c vbounds : 0 0 0 0
1796.66/1797.01 c redcost : 2974 0 0 0
1796.66/1797.01 c probing : 0 0 0 0
1796.66/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.66/1797.01 c rootredcost : 0.11 0.00 0.00 0.11 0.00
1796.66/1797.01 c pseudoobj : 0.11 0.00 0.00 0.11 0.00
1796.66/1797.01 c vbounds : 0.11 0.00 0.00 0.11 0.00
1796.66/1797.01 c redcost : 0.79 0.00 0.00 0.79 0.00
1796.66/1797.01 c probing : 217.64 0.00 217.64 0.00 0.00
1796.66/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.66/1797.01 c propagation : 0.76 1114 619 6575 66.8 118 16.8 -
1796.66/1797.01 c infeasible LP : 2.06 486 486 744 22.7 107 10.9 0
1796.66/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.66/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.66/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.66/1797.01 c applied globally : - - - 3606 39.9 - - -
1796.66/1797.01 c applied locally : - - - 0 0.0 - - -
1796.66/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.66/1797.01 c cut pool : 0.02 5 - - 9185 - (maximal pool size: 44068)
1796.66/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.66/1797.01 c impliedbounds : 0.54 0.00 5 0 0 74826 0
1796.66/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.66/1797.01 c gomory : 0.00 0.00 0 0 0 0 0
1796.66/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.66/1797.01 c strongcg : 0.00 0.00 0 0 0 0 0
1796.66/1797.01 c cmir : 0.00 0.00 0 0 0 0 0
1796.66/1797.01 c flowcover : 0.00 0.00 0 0 0 0 0
1796.66/1797.01 c clique : 0.00 0.00 0 0 0 0 0
1796.66/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.66/1797.01 c mcf : 0.00 0.00 0 0 0 0 0
1796.66/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.66/1797.01 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.66/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.66/1797.01 c problem variables: 0.00 - 0 0
1796.66/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.66/1797.01 c relpscost : 416.27 0.00 899 7 60 0 0 1744
1796.66/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.66/1797.01 c inference : 0.00 0.00 1 0 0 0 0 2
1796.66/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.66/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.66/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.66/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.66/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.66/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.66/1797.01 c LP solutions : 0.00 - - 0
1796.66/1797.01 c pseudo solutions : 0.00 - - 0
1796.66/1797.01 c oneopt : 0.01 0.00 0 0
1796.66/1797.01 c crossover : 0.00 0.00 0 0
1796.66/1797.01 c guideddiving : 0.00 0.00 0 0
1796.66/1797.01 c intshifting : 0.00 0.00 0 0
1796.66/1797.01 c veclendiving : 9.39 0.00 6 0
1796.66/1797.01 c linesearchdiving : 18.90 0.00 6 0
1796.66/1797.01 c feaspump : 23.17 0.00 3 0
1796.66/1797.01 c pscostdiving : 33.12 0.00 7 0
1796.66/1797.01 c coefdiving : 35.66 0.00 7 0
1796.66/1797.01 c fracdiving : 40.38 0.00 7 0
1796.66/1797.01 c smallcard : 0.00 0.00 0 0
1796.66/1797.01 c trivial : 0.02 0.00 2 0
1796.66/1797.01 c shiftandpropagate: 0.32 0.00 1 0
1796.66/1797.01 c simplerounding : 0.00 0.00 0 0
1796.66/1797.01 c zirounding : 1.15 0.00 0 0
1796.66/1797.01 c rounding : 2.55 0.00 724 0
1796.66/1797.01 c shifting : 7.06 0.00 155 0
1796.66/1797.01 c twoopt : 0.00 0.00 0 0
1796.66/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.66/1797.01 c indoneopt : 0.01 0.00 0 0
1796.66/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.66/1797.01 c clique : 0.00 0.00 0 0
1796.66/1797.01 c indrounding : 0.00 0.00 0 0
1796.66/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.66/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.66/1797.01 c intdiving : 0.00 0.00 0 0
1796.66/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.66/1797.01 c objpscostdiving : 287.74 0.00 2 0
1796.66/1797.01 c rootsoldiving : 21.80 0.00 2 0
1796.66/1797.01 c octane : 0.00 0.00 0 0
1796.66/1797.01 c rens : 0.07 0.00 0 0
1796.66/1797.01 c rins : 0.00 0.00 0 0
1796.66/1797.01 c localbranching : 0.00 0.00 0 0
1796.66/1797.01 c mutation : 0.00 0.00 0 0
1796.66/1797.01 c dins : 0.00 0.00 0 0
1796.66/1797.01 c vbounds : 0.00 0.00 0 0
1796.66/1797.01 c undercover : 2.15 0.00 1 0
1796.66/1797.01 c subnlp : 0.00 0.00 0 0
1796.66/1797.01 c trysol : 0.00 0.00 0 0
1796.66/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.66/1797.01 c primal LP : 0.01 1 0 0.00 0.00 0.01 1
1796.66/1797.01 c dual LP : 569.78 3005 889048 296.55 1560.33 0.11 7
1796.66/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.66/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.66/1797.01 c diving/probing LP: 437.56 4920 427202 86.83 976.33
1796.66/1797.01 c strong branching : 415.49 1268 569241 448.93 1370.06
1796.66/1797.01 c (at root node) : - 17 17000 1000.00 -
1796.66/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.66/1797.01 c B&B Tree :
1796.66/1797.01 c number of runs : 1
1796.66/1797.01 c nodes : 1217
1796.66/1797.01 c nodes (total) : 1217
1796.66/1797.01 c nodes left : 43
1796.66/1797.01 c max depth : 28
1796.66/1797.01 c max depth (total): 28
1796.66/1797.01 c backtracks : 382 (31.4%)
1796.66/1797.01 c delayed cutoffs : 487
1796.66/1797.01 c repropagations : 901 (205412 domain reductions, 271 cutoffs)
1796.66/1797.01 c avg switch length: 3.33
1796.66/1797.01 c switching time : 2.05
1796.66/1797.01 c Solution :
1796.66/1797.01 c Solutions found : 0 (0 improvements)
1796.66/1797.01 c Primal Bound : -
1796.66/1797.01 c Dual Bound : +0.00000000000000e+00
1796.66/1797.01 c Gap : infinite
1796.66/1797.01 c Root Dual Bound : +0.00000000000000e+00
1796.66/1797.01 c Root Iterations : 69216
1796.86/1797.29 c Time complete: 1796.96.