SCIP version 1.00 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: CPLEX 11.11] Copyright (c) 2002-2007 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) reading user parameter file read problem ============ original problem has 21856 variables (21856 bin, 0 int, 0 impl, 0 cont) and 12129 constraints solve problem ============= ILOG CPLEX 11.110, licensed to "arizona-tempe, az", options: e m b q p=8 presolving: (round 1) 4857 del vars, 2244 del conss, 4845 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6704 impls, 6474 clqs (round 2) 5338 del vars, 2557 del conss, 5227 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6784 impls, 6364 clqs (round 3) 5450 del vars, 2643 del conss, 5319 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6794 impls, 6340 clqs (round 4) 5455 del vars, 2648 del conss, 5319 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6794 impls, 6340 clqs (round 5) 5455 del vars, 5460 del conss, 5319 chg bounds, 2812 chg sides, 0 chg coeffs, 0 upgd conss, 6794 impls, 6340 clqs (round 6) 5557 del vars, 5460 del conss, 5319 chg bounds, 2812 chg sides, 0 chg coeffs, 0 upgd conss, 6808 impls, 6333 clqs (round 7) 5557 del vars, 5460 del conss, 5319 chg bounds, 2914 chg sides, 0 chg coeffs, 0 upgd conss, 6808 impls, 6333 clqs (round 8) 6028 del vars, 5635 del conss, 5319 chg bounds, 2914 chg sides, 0 chg coeffs, 0 upgd conss, 6880 impls, 6141 clqs (round 9) 6072 del vars, 5635 del conss, 5319 chg bounds, 2914 chg sides, 0 chg coeffs, 0 upgd conss, 6890 impls, 6136 clqs (round 10) 6072 del vars, 5635 del conss, 5319 chg bounds, 2958 chg sides, 0 chg coeffs, 0 upgd conss, 6890 impls, 6136 clqs (round 11) 6268 del vars, 5702 del conss, 5319 chg bounds, 2958 chg sides, 0 chg coeffs, 0 upgd conss, 6940 impls, 6054 clqs (round 12) 6285 del vars, 5702 del conss, 5319 chg bounds, 2958 chg sides, 0 chg coeffs, 0 upgd conss, 6946 impls, 6051 clqs (round 13) 6285 del vars, 5702 del conss, 5319 chg bounds, 2975 chg sides, 0 chg coeffs, 0 upgd conss, 6946 impls, 6051 clqs (round 14) 6352 del vars, 5721 del conss, 5319 chg bounds, 2975 chg sides, 0 chg coeffs, 0 upgd conss, 6974 impls, 6024 clqs (7.9s) probing: 1000/15503 (6.5%) - 35 fixings, 0 aggregations, 201121 implications, 0 bound changes (11.5s) probing: 2000/15503 (12.9%) - 35 fixings, 0 aggregations, 310444 implications, 0 bound changes (12.0s) probing: 2134/15503 (13.8%) - 35 fixings, 0 aggregations, 327193 implications, 0 bound changes (12.0s) probing aborted: 2000/2000 successive useless probings (round 15) 6388 del vars, 5721 del conss, 5319 chg bounds, 2976 chg sides, 0 chg coeffs, 0 upgd conss, 663054 impls, 6019 clqs (round 16) 6389 del vars, 5737 del conss, 5319 chg bounds, 2976 chg sides, 0 chg coeffs, 0 upgd conss, 663054 impls, 6019 clqs (15.5s) probing: 3000/15503 (19.4%) - 48 fixings, 0 aggregations, 469042 implications, 0 bound changes (19.4s) probing: 4000/15503 (25.8%) - 60 fixings, 0 aggregations, 586714 implications, 0 bound changes (round 17) 6444 del vars, 5737 del conss, 5319 chg bounds, 2977 chg sides, 0 chg coeffs, 0 upgd conss, 1265400 impls, 6010 clqs (round 18) 6445 del vars, 5766 del conss, 5319 chg bounds, 2977 chg sides, 0 chg coeffs, 0 upgd conss, 1265400 impls, 6010 clqs (round 19) 6448 del vars, 5766 del conss, 5319 chg bounds, 2977 chg sides, 0 chg coeffs, 0 upgd conss, 1265406 impls, 6007 clqs (round 20) 6448 del vars, 5766 del conss, 5319 chg bounds, 2980 chg sides, 0 chg coeffs, 0 upgd conss, 1265406 impls, 6007 clqs (round 21) 6451 del vars, 5769 del conss, 5319 chg bounds, 2980 chg sides, 0 chg coeffs, 0 upgd conss, 1265406 impls, 6007 clqs (round 22) 6454 del vars, 5769 del conss, 5319 chg bounds, 2980 chg sides, 0 chg coeffs, 0 upgd conss, 1265412 impls, 6004 clqs (round 23) 6454 del vars, 5769 del conss, 5319 chg bounds, 2983 chg sides, 0 chg coeffs, 0 upgd conss, 1265412 impls, 6004 clqs (round 24) 6457 del vars, 5772 del conss, 5319 chg bounds, 2983 chg sides, 0 chg coeffs, 0 upgd conss, 1265412 impls, 6004 clqs (round 25) 6460 del vars, 5772 del conss, 5319 chg bounds, 2983 chg sides, 0 chg coeffs, 0 upgd conss, 1265418 impls, 6001 clqs (round 26) 6460 del vars, 5772 del conss, 5319 chg bounds, 2986 chg sides, 0 chg coeffs, 0 upgd conss, 1265418 impls, 6001 clqs (round 27) 6463 del vars, 5775 del conss, 5319 chg bounds, 2986 chg sides, 0 chg coeffs, 0 upgd conss, 1265418 impls, 6001 clqs (round 28) 6466 del vars, 5775 del conss, 5319 chg bounds, 2986 chg sides, 0 chg coeffs, 0 upgd conss, 1265424 impls, 5998 clqs (round 29) 6466 del vars, 5775 del conss, 5319 chg bounds, 2989 chg sides, 0 chg coeffs, 0 upgd conss, 1265424 impls, 5998 clqs (round 30) 6469 del vars, 5778 del conss, 5319 chg bounds, 2989 chg sides, 0 chg coeffs, 0 upgd conss, 1265424 impls, 5998 clqs (round 31) 6472 del vars, 5778 del conss, 5319 chg bounds, 2989 chg sides, 0 chg coeffs, 0 upgd conss, 1265430 impls, 5995 clqs (round 32) 6472 del vars, 5778 del conss, 5319 chg bounds, 2992 chg sides, 0 chg coeffs, 0 upgd conss, 1265430 impls, 5995 clqs (round 33) 6475 del vars, 5781 del conss, 5319 chg bounds, 2992 chg sides, 0 chg coeffs, 0 upgd conss, 1265430 impls, 5995 clqs (round 34) 6477 del vars, 5781 del conss, 5319 chg bounds, 2992 chg sides, 0 chg coeffs, 0 upgd conss, 1265434 impls, 5993 clqs (round 35) 6477 del vars, 5781 del conss, 5319 chg bounds, 2994 chg sides, 0 chg coeffs, 0 upgd conss, 1265434 impls, 5993 clqs (round 36) 6479 del vars, 5783 del conss, 5319 chg bounds, 2994 chg sides, 0 chg coeffs, 0 upgd conss, 1265434 impls, 5993 clqs (round 37) 6481 del vars, 5783 del conss, 5319 chg bounds, 2994 chg sides, 0 chg coeffs, 0 upgd conss, 1265438 impls, 5991 clqs (round 38) 6481 del vars, 5783 del conss, 5319 chg bounds, 2996 chg sides, 0 chg coeffs, 0 upgd conss, 1265438 impls, 5991 clqs (round 39) 6483 del vars, 5785 del conss, 5319 chg bounds, 2996 chg sides, 0 chg coeffs, 0 upgd conss, 1265438 impls, 5991 clqs (round 40) 6485 del vars, 5785 del conss, 5319 chg bounds, 2996 chg sides, 0 chg coeffs, 0 upgd conss, 1265442 impls, 5989 clqs (round 41) 6485 del vars, 5785 del conss, 5319 chg bounds, 2998 chg sides, 0 chg coeffs, 0 upgd conss, 1265442 impls, 5989 clqs (round 42) 6487 del vars, 5787 del conss, 5319 chg bounds, 2998 chg sides, 0 chg coeffs, 0 upgd conss, 1265442 impls, 5989 clqs (round 43) 6489 del vars, 5787 del conss, 5319 chg bounds, 2998 chg sides, 0 chg coeffs, 0 upgd conss, 1265446 impls, 5987 clqs (round 44) 6489 del vars, 5787 del conss, 5319 chg bounds, 3000 chg sides, 0 chg coeffs, 0 upgd conss, 1265446 impls, 5987 clqs (round 45) 6491 del vars, 5789 del conss, 5319 chg bounds, 3000 chg sides, 0 chg coeffs, 0 upgd conss, 1265446 impls, 5987 clqs (round 46) 6493 del vars, 5789 del conss, 5319 chg bounds, 3000 chg sides, 0 chg coeffs, 0 upgd conss, 1265450 impls, 5985 clqs (round 47) 6493 del vars, 5789 del conss, 5319 chg bounds, 3002 chg sides, 0 chg coeffs, 0 upgd conss, 1265450 impls, 5985 clqs (round 48) 6496 del vars, 5791 del conss, 5319 chg bounds, 3002 chg sides, 0 chg coeffs, 0 upgd conss, 1265450 impls, 5985 clqs (23.2s) probing: 5000/15503 (32.3%) - 95 fixings, 0 aggregations, 679885 implications, 0 bound changes (round 49) 6547 del vars, 5791 del conss, 5319 chg bounds, 3003 chg sides, 0 chg coeffs, 0 upgd conss, 1528114 impls, 5981 clqs (round 50) 6549 del vars, 5808 del conss, 5319 chg bounds, 3003 chg sides, 0 chg coeffs, 0 upgd conss, 1528116 impls, 5980 clqs (round 51) 6550 del vars, 5808 del conss, 5319 chg bounds, 3004 chg sides, 0 chg coeffs, 0 upgd conss, 1528118 impls, 5979 clqs (round 52) 6551 del vars, 5809 del conss, 5319 chg bounds, 3005 chg sides, 0 chg coeffs, 0 upgd conss, 1528118 impls, 5979 clqs (round 53) 6554 del vars, 5810 del conss, 5319 chg bounds, 3005 chg sides, 0 chg coeffs, 0 upgd conss, 1528120 impls, 5978 clqs (round 54) 6554 del vars, 5810 del conss, 5319 chg bounds, 3006 chg sides, 0 chg coeffs, 0 upgd conss, 1528120 impls, 5978 clqs (round 55) 6555 del vars, 5811 del conss, 5319 chg bounds, 3006 chg sides, 0 chg coeffs, 0 upgd conss, 1528120 impls, 5978 clqs (26.8s) probing: 6000/15503 (38.7%) - 138 fixings, 1 aggregations, 756791 implications, 0 bound changes (30.2s) probing: 7000/15503 (45.2%) - 163 fixings, 1 aggregations, 831273 implications, 1 bound changes (33.9s) probing: 8000/15503 (51.6%) - 166 fixings, 1 aggregations, 926242 implications, 1 bound changes (37.5s) probing: 9000/15503 (58.1%) - 172 fixings, 1 aggregations, 1003897 implications, 1 bound changes (41.0s) probing: 10000/15503 (64.5%) - 186 fixings, 1 aggregations, 1070452 implications, 1 bound changes (round 56) 6606 del vars, 5811 del conss, 5320 chg bounds, 3007 chg sides, 0 chg coeffs, 0 upgd conss, 2189511 impls, 5977 clqs (round 57) 6608 del vars, 5839 del conss, 5320 chg bounds, 3007 chg sides, 0 chg coeffs, 0 upgd conss, 2189513 impls, 5976 clqs (round 58) 6610 del vars, 5839 del conss, 5320 chg bounds, 3008 chg sides, 0 chg coeffs, 0 upgd conss, 2189517 impls, 5974 clqs (round 59) 6611 del vars, 5840 del conss, 5320 chg bounds, 3010 chg sides, 0 chg coeffs, 0 upgd conss, 2189517 impls, 5974 clqs (round 60) 6614 del vars, 5842 del conss, 5320 chg bounds, 3010 chg sides, 0 chg coeffs, 0 upgd conss, 2189519 impls, 5973 clqs (round 61) 6616 del vars, 5842 del conss, 5320 chg bounds, 3011 chg sides, 0 chg coeffs, 0 upgd conss, 2189523 impls, 5971 clqs (round 62) 6617 del vars, 5843 del conss, 5320 chg bounds, 3013 chg sides, 0 chg coeffs, 0 upgd conss, 2189523 impls, 5971 clqs (round 63) 6620 del vars, 5845 del conss, 5320 chg bounds, 3013 chg sides, 0 chg coeffs, 0 upgd conss, 2189525 impls, 5970 clqs (round 64) 6622 del vars, 5845 del conss, 5320 chg bounds, 3014 chg sides, 0 chg coeffs, 0 upgd conss, 2189529 impls, 5968 clqs (round 65) 6623 del vars, 5846 del conss, 5320 chg bounds, 3016 chg sides, 0 chg coeffs, 0 upgd conss, 2189529 impls, 5968 clqs (round 66) 6626 del vars, 5848 del conss, 5320 chg bounds, 3016 chg sides, 0 chg coeffs, 0 upgd conss, 2189531 impls, 5967 clqs (round 67) 6628 del vars, 5848 del conss, 5320 chg bounds, 3017 chg sides, 0 chg coeffs, 0 upgd conss, 2189535 impls, 5965 clqs (round 68) 6629 del vars, 5849 del conss, 5320 chg bounds, 3019 chg sides, 0 chg coeffs, 0 upgd conss, 2189535 impls, 5965 clqs (round 69) 6632 del vars, 5851 del conss, 5320 chg bounds, 3019 chg sides, 0 chg coeffs, 0 upgd conss, 2189537 impls, 5964 clqs (round 70) 6633 del vars, 5851 del conss, 5320 chg bounds, 3020 chg sides, 0 chg coeffs, 0 upgd conss, 2189539 impls, 5963 clqs (round 71) 6634 del vars, 5852 del conss, 5320 chg bounds, 3021 chg sides, 0 chg coeffs, 0 upgd conss, 2189539 impls, 5963 clqs (round 72) 6637 del vars, 5853 del conss, 5320 chg bounds, 3021 chg sides, 0 chg coeffs, 0 upgd conss, 2189541 impls, 5962 clqs (round 73) 6637 del vars, 5853 del conss, 5320 chg bounds, 3022 chg sides, 0 chg coeffs, 0 upgd conss, 2189541 impls, 5962 clqs (round 74) 6638 del vars, 5854 del conss, 5320 chg bounds, 3022 chg sides, 0 chg coeffs, 0 upgd conss, 2189541 impls, 5962 clqs (44.3s) probing: 11000/15503 (71.0%) - 192 fixings, 1 aggregations, 1109555 implications, 1 bound changes (47.4s) probing: 12000/15503 (77.4%) - 213 fixings, 1 aggregations, 1148718 implications, 1 bound changes (50.3s) probing: 13000/15503 (83.9%) - 222 fixings, 1 aggregations, 1184334 implications, 1 bound changes (round 75) 6689 del vars, 5854 del conss, 5320 chg bounds, 3023 chg sides, 0 chg coeffs, 0 upgd conss, 2471073 impls, 5961 clqs (round 76) 6690 del vars, 5905 del conss, 5320 chg bounds, 3023 chg sides, 0 chg coeffs, 0 upgd conss, 2471073 impls, 5961 clqs (round 77) 6694 del vars, 5905 del conss, 5320 chg bounds, 3023 chg sides, 0 chg coeffs, 0 upgd conss, 2471081 impls, 5957 clqs (round 78) 6694 del vars, 5905 del conss, 5320 chg bounds, 3027 chg sides, 0 chg coeffs, 0 upgd conss, 2471081 impls, 5957 clqs (round 79) 6698 del vars, 5909 del conss, 5320 chg bounds, 3027 chg sides, 0 chg coeffs, 0 upgd conss, 2471081 impls, 5957 clqs (round 80) 6701 del vars, 5909 del conss, 5320 chg bounds, 3027 chg sides, 0 chg coeffs, 0 upgd conss, 2471087 impls, 5954 clqs (round 81) 6701 del vars, 5909 del conss, 5320 chg bounds, 3030 chg sides, 0 chg coeffs, 0 upgd conss, 2471087 impls, 5954 clqs (round 82) 6704 del vars, 5912 del conss, 5320 chg bounds, 3030 chg sides, 0 chg coeffs, 0 upgd conss, 2471087 impls, 5954 clqs (round 83) 6707 del vars, 5912 del conss, 5320 chg bounds, 3030 chg sides, 0 chg coeffs, 0 upgd conss, 2471093 impls, 5951 clqs (round 84) 6707 del vars, 5912 del conss, 5320 chg bounds, 3033 chg sides, 0 chg coeffs, 0 upgd conss, 2471093 impls, 5951 clqs (round 85) 6710 del vars, 5915 del conss, 5320 chg bounds, 3033 chg sides, 0 chg coeffs, 0 upgd conss, 2471093 impls, 5951 clqs (round 86) 6713 del vars, 5915 del conss, 5320 chg bounds, 3033 chg sides, 0 chg coeffs, 0 upgd conss, 2471099 impls, 5948 clqs (round 87) 6713 del vars, 5915 del conss, 5320 chg bounds, 3036 chg sides, 0 chg coeffs, 0 upgd conss, 2471099 impls, 5948 clqs (round 88) 6717 del vars, 5918 del conss, 5320 chg bounds, 3036 chg sides, 0 chg coeffs, 0 upgd conss, 2471099 impls, 5948 clqs (round 89) 6719 del vars, 5918 del conss, 5320 chg bounds, 3036 chg sides, 0 chg coeffs, 0 upgd conss, 2471103 impls, 5946 clqs (round 90) 6719 del vars, 5918 del conss, 5320 chg bounds, 3038 chg sides, 0 chg coeffs, 0 upgd conss, 2471103 impls, 5946 clqs (round 91) 6721 del vars, 5920 del conss, 5320 chg bounds, 3038 chg sides, 0 chg coeffs, 0 upgd conss, 2471103 impls, 5946 clqs (round 92) 6723 del vars, 5920 del conss, 5320 chg bounds, 3038 chg sides, 0 chg coeffs, 0 upgd conss, 2471107 impls, 5944 clqs (round 93) 6723 del vars, 5920 del conss, 5320 chg bounds, 3040 chg sides, 0 chg coeffs, 0 upgd conss, 2471107 impls, 5944 clqs (round 94) 6725 del vars, 5922 del conss, 5320 chg bounds, 3040 chg sides, 0 chg coeffs, 0 upgd conss, 2471107 impls, 5944 clqs (round 95) 6727 del vars, 5922 del conss, 5320 chg bounds, 3040 chg sides, 0 chg coeffs, 0 upgd conss, 2471111 impls, 5942 clqs (round 96) 6727 del vars, 5922 del conss, 5320 chg bounds, 3042 chg sides, 0 chg coeffs, 0 upgd conss, 2471111 impls, 5942 clqs (round 97) 6730 del vars, 5924 del conss, 5320 chg bounds, 3042 chg sides, 0 chg coeffs, 0 upgd conss, 2471111 impls, 5942 clqs (round 98) 6730 del vars, 6048 del conss, 5320 chg bounds, 3166 chg sides, 0 chg coeffs, 0 upgd conss, 2471111 impls, 5942 clqs (round 99) 6730 del vars, 6048 del conss, 5320 chg bounds, 3166 chg sides, 0 chg coeffs, 6081 upgd conss, 2471111 impls, 5942 clqs (round 100) 6730 del vars, 6458 del conss, 5320 chg bounds, 3166 chg sides, 0 chg coeffs, 6081 upgd conss, 2471111 impls, 5942 clqs (54.8s) probing: 14000/15503 (90.3%) - 240 fixings, 1 aggregations, 1226344 implications, 1 bound changes (56.1s) probing: 15000/15503 (96.8%) - 258 fixings, 1 aggregations, 1250280 implications, 1 bound changes (round 101) 6750 del vars, 6458 del conss, 5320 chg bounds, 3166 chg sides, 0 chg coeffs, 6081 upgd conss, 2553733 impls, 5942 clqs (round 102) 6750 del vars, 6478 del conss, 5320 chg bounds, 3166 chg sides, 0 chg coeffs, 6081 upgd conss, 2553733 impls, 5942 clqs presolving (103 rounds): 6750 deleted vars, 6478 deleted constraints, 5320 tightened bounds, 0 added holes, 3166 changed sides, 0 changed coefficients 2553733 implications, 5942 cliques presolved problem has 15106 variables (15106 bin, 0 int, 0 impl, 0 cont) and 5651 constraints 5393 constraints of type 258 constraints of type transformed objective value is always integral (scale: 1) Presolving Time: 56.60 time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 79.6s| 1 | 0 | 46210 | 127M| 0 |1513 | 15k|5651 |5651 | 15k|5651 | 0 | 0 | 0 | 1.400065e+01 | -- | Inf 106s| 1 | 0 | 56510 | 147M| 0 |1637 | 15k|5651 |5651 | 15k|7008 |1357 | 0 | 0 | 1.400141e+01 | -- | Inf 135s| 1 | 0 | 65389 | 160M| 0 |1410 | 15k|5651 |5651 | 15k|7033 |1382 | 0 | 0 | 1.400781e+01 | -- | Inf 165s| 1 | 0 | 73607 | 175M| 0 |1649 | 15k|5651 |5651 | 15k|7050 |1399 | 0 | 0 | 1.500000e+01 | -- | Inf 203s| 1 | 0 | 83175 | 191M| 0 |1873 | 15k|5651 |5651 | 15k|7391 |1740 | 0 | 0 | 1.500000e+01 | -- | Inf 240s| 1 | 0 | 89770 | 192M| 0 |1847 | 15k|5651 |5651 | 15k|7462 |1811 | 0 | 0 | 1.500000e+01 | -- | Inf 280s| 1 | 0 | 99709 | 194M| 0 |1941 | 15k|5651 |5651 | 15k|7494 |1843 | 0 | 0 | 1.500000e+01 | -- | Inf 317s| 1 | 0 |108313 | 199M| 0 |1866 | 15k|5651 |5651 | 15k|7519 |1868 | 0 | 0 | 1.500000e+01 | -- | Inf 356s| 1 | 0 |117521 | 201M| 0 |1982 | 15k|5651 |5651 | 15k|7561 |1910 | 0 | 0 | 1.500000e+01 | -- | Inf 407s| 1 | 2 |133704 | 201M| 0 |1982 | 15k|5651 |5651 | 15k|7561 |1910 | 0 | 22 | 1.500000e+01 | -- | Inf 1407s| 100 | 99 |975586 | 201M| 18 |1125 | 15k|5833 |5599 | 15k|5930 |1910 | 218 |1059 | 1.500000e+01 | -- | Inf l1849s| 164 | 138 | 1393k| 204M| 31 | - | 15k|5904 |1429 | 15k|5930 |1910 | 310 |1718 | 1.500000e+01 | 1.600000e+01 | 6.67% SCIP Status : solving was interrupted [solution limit reached] Solving Time (sec) : 1849.21 Solving Nodes : 164 Primal Bound : +1.60000000000000e+01 (1 solutions) Dual Bound : +1.50000000000000e+01 Gap : 6.67 % primal solution: ================ objective value: 16 R21841 1 (obj:1) R21842 1 (obj:1) R21843 1 (obj:1) R21844 1 (obj:1) R21845 1 (obj:1) R21846 1 (obj:1) R21847 1 (obj:1) R21848 1 (obj:1) R21849 1 (obj:1) R21850 1 (obj:1) R21851 1 (obj:1) R21852 1 (obj:1) R21853 1 (obj:1) R21854 1 (obj:1) R21855 1 (obj:1) R21856 1 (obj:1) R7 1 (obj:0) R274 1 (obj:0) R276 1 (obj:0) R288 1 (obj:0) R554 1 (obj:0) R555 1 (obj:0) R557 1 (obj:0) R558 1 (obj:0) R819 1 (obj:0) R1092 1 (obj:0) R1363 1 (obj:0) R1365 1 (obj:0) R1369 1 (obj:0) R1373 1 (obj:0) R1639 1 (obj:0) R1640 1 (obj:0) R1641 1 (obj:0) R1643 1 (obj:0) R1646 1 (obj:0) R1908 1 (obj:0) R1920 1 (obj:0) R2179 1 (obj:0) R2183 1 (obj:0) R2184 1 (obj:0) R2187 1 (obj:0) R2190 1 (obj:0) R2457 1 (obj:0) R2731 1 (obj:0) R2998 1 (obj:0) R3000 1 (obj:0) R3006 1 (obj:0) R3274 1 (obj:0) R3279 1 (obj:0) R3539 1 (obj:0) R3548 1 (obj:0) R3810 1 (obj:0) R3813 1 (obj:0) R3815 1 (obj:0) R3820 1 (obj:0) R3823 1 (obj:0) R4604 1 (obj:0) R130 1 (obj:0) R146 1 (obj:0) R162 1 (obj:0) R178 1 (obj:0) R194 1 (obj:0) R210 1 (obj:0) R226 1 (obj:0) R242 1 (obj:0) R258 1 (obj:0) R4351 1 (obj:0) R67 1 (obj:0) R83 1 (obj:0) R99 1 (obj:0) R115 1 (obj:0) R131 1 (obj:0) R147 1 (obj:0) R163 1 (obj:0) R179 1 (obj:0) R195 1 (obj:0) R211 1 (obj:0) R227 1 (obj:0) R243 1 (obj:0) R259 1 (obj:0) R4922 1 (obj:0) R197 1 (obj:0) R213 1 (obj:0) R229 1 (obj:0) R245 1 (obj:0) R261 1 (obj:0) R23 1 (obj:0) R39 1 (obj:0) R55 1 (obj:0) R71 1 (obj:0) R87 1 (obj:0) R103 1 (obj:0) R119 1 (obj:0) R135 1 (obj:0) R151 1 (obj:0) R167 1 (obj:0) R183 1 (obj:0) R199 1 (obj:0) R215 1 (obj:0) R231 1 (obj:0) R247 1 (obj:0) R263 1 (obj:0) R4198 1 (obj:0) R40 1 (obj:0) R56 1 (obj:0) R72 1 (obj:0) R88 1 (obj:0) R104 1 (obj:0) R120 1 (obj:0) R136 1 (obj:0) R152 1 (obj:0) R168 1 (obj:0) R184 1 (obj:0) R200 1 (obj:0) R216 1 (obj:0) R232 1 (obj:0) R248 1 (obj:0) R264 1 (obj:0) R4666 1 (obj:0) R141 1 (obj:0) R157 1 (obj:0) R173 1 (obj:0) R189 1 (obj:0) R205 1 (obj:0) R221 1 (obj:0) R237 1 (obj:0) R253 1 (obj:0) R269 1 (obj:0) R4387 1 (obj:0) R94 1 (obj:0) R110 1 (obj:0) R126 1 (obj:0) R142 1 (obj:0) R158 1 (obj:0) R174 1 (obj:0) R190 1 (obj:0) R206 1 (obj:0) R222 1 (obj:0) R238 1 (obj:0) R254 1 (obj:0) R270 1 (obj:0) R290 1 (obj:0) R306 1 (obj:0) R322 1 (obj:0) R338 1 (obj:0) R354 1 (obj:0) R370 1 (obj:0) R386 1 (obj:0) R402 1 (obj:0) R418 1 (obj:0) R434 1 (obj:0) R450 1 (obj:0) R466 1 (obj:0) R482 1 (obj:0) R498 1 (obj:0) R514 1 (obj:0) R530 1 (obj:0) R292 1 (obj:0) R308 1 (obj:0) R324 1 (obj:0) R340 1 (obj:0) R356 1 (obj:0) R372 1 (obj:0) R388 1 (obj:0) R404 1 (obj:0) R420 1 (obj:0) R436 1 (obj:0) R452 1 (obj:0) R468 1 (obj:0) R484 1 (obj:0) R500 1 (obj:0) R516 1 (obj:0) R532 1 (obj:0) R5279 1 (obj:0) R298 1 (obj:0) R314 1 (obj:0) R330 1 (obj:0) R346 1 (obj:0) R362 1 (obj:0) R378 1 (obj:0) R394 1 (obj:0) R410 1 (obj:0) R426 1 (obj:0) R442 1 (obj:0) R458 1 (obj:0) R474 1 (obj:0) R490 1 (obj:0) R506 1 (obj:0) R522 1 (obj:0) R538 1 (obj:0) R304 1 (obj:0) R320 1 (obj:0) R336 1 (obj:0) R352 1 (obj:0) R368 1 (obj:0) R384 1 (obj:0) R400 1 (obj:0) R416 1 (obj:0) R432 1 (obj:0) R448 1 (obj:0) R464 1 (obj:0) R480 1 (obj:0) R496 1 (obj:0) R512 1 (obj:0) R528 1 (obj:0) R544 1 (obj:0) R7560 1 (obj:0) R801 1 (obj:0) R6826 1 (obj:0) R642 1 (obj:0) R658 1 (obj:0) R674 1 (obj:0) R690 1 (obj:0) R706 1 (obj:0) R722 1 (obj:0) R738 1 (obj:0) R754 1 (obj:0) R770 1 (obj:0) R786 1 (obj:0) R802 1 (obj:0) R7267 1 (obj:0) R739 1 (obj:0) R755 1 (obj:0) R771 1 (obj:0) R787 1 (obj:0) R803 1 (obj:0) R6476 1 (obj:0) R565 1 (obj:0) R581 1 (obj:0) R597 1 (obj:0) R613 1 (obj:0) R629 1 (obj:0) R645 1 (obj:0) R661 1 (obj:0) R677 1 (obj:0) R693 1 (obj:0) R709 1 (obj:0) R725 1 (obj:0) R741 1 (obj:0) R757 1 (obj:0) R773 1 (obj:0) R789 1 (obj:0) R805 1 (obj:0) R7070 1 (obj:0) R694 1 (obj:0) R710 1 (obj:0) R726 1 (obj:0) R742 1 (obj:0) R758 1 (obj:0) R774 1 (obj:0) R790 1 (obj:0) R806 1 (obj:0) R7251 1 (obj:0) R727 1 (obj:0) R743 1 (obj:0) R759 1 (obj:0) R775 1 (obj:0) R791 1 (obj:0) R807 1 (obj:0) R7600 1 (obj:0) R808 1 (obj:0) R7610 1 (obj:0) R809 1 (obj:0) R570 1 (obj:0) R586 1 (obj:0) R602 1 (obj:0) R618 1 (obj:0) R634 1 (obj:0) R650 1 (obj:0) R666 1 (obj:0) R682 1 (obj:0) R698 1 (obj:0) R714 1 (obj:0) R730 1 (obj:0) R746 1 (obj:0) R762 1 (obj:0) R778 1 (obj:0) R794 1 (obj:0) R810 1 (obj:0) R571 1 (obj:0) R587 1 (obj:0) R603 1 (obj:0) R619 1 (obj:0) R635 1 (obj:0) R651 1 (obj:0) R667 1 (obj:0) R683 1 (obj:0) R699 1 (obj:0) R715 1 (obj:0) R731 1 (obj:0) R747 1 (obj:0) R763 1 (obj:0) R779 1 (obj:0) R795 1 (obj:0) R811 1 (obj:0) R6658 1 (obj:0) R604 1 (obj:0) R620 1 (obj:0) R636 1 (obj:0) R652 1 (obj:0) R668 1 (obj:0) R684 1 (obj:0) R700 1 (obj:0) R716 1 (obj:0) R732 1 (obj:0) R748 1 (obj:0) R764 1 (obj:0) R780 1 (obj:0) R796 1 (obj:0) R812 1 (obj:0) R573 1 (obj:0) R589 1 (obj:0) R605 1 (obj:0) R621 1 (obj:0) R637 1 (obj:0) R653 1 (obj:0) R669 1 (obj:0) R685 1 (obj:0) R701 1 (obj:0) R717 1 (obj:0) R733 1 (obj:0) R749 1 (obj:0) R765 1 (obj:0) R781 1 (obj:0) R797 1 (obj:0) R813 1 (obj:0) R574 1 (obj:0) R590 1 (obj:0) R606 1 (obj:0) R622 1 (obj:0) R638 1 (obj:0) R654 1 (obj:0) R670 1 (obj:0) R686 1 (obj:0) R702 1 (obj:0) R718 1 (obj:0) R734 1 (obj:0) R750 1 (obj:0) R766 1 (obj:0) R782 1 (obj:0) R798 1 (obj:0) R814 1 (obj:0) R7447 1 (obj:0) R783 1 (obj:0) R799 1 (obj:0) R815 1 (obj:0) R6818 1 (obj:0) R640 1 (obj:0) R656 1 (obj:0) R672 1 (obj:0) R688 1 (obj:0) R704 1 (obj:0) R720 1 (obj:0) R736 1 (obj:0) R752 1 (obj:0) R768 1 (obj:0) R784 1 (obj:0) R800 1 (obj:0) R816 1 (obj:0) R7786 1 (obj:0) R866 1 (obj:0) R882 1 (obj:0) R898 1 (obj:0) R914 1 (obj:0) R930 1 (obj:0) R946 1 (obj:0) R962 1 (obj:0) R978 1 (obj:0) R994 1 (obj:0) R1010 1 (obj:0) R1026 1 (obj:0) R1042 1 (obj:0) R1058 1 (obj:0) R1074 1 (obj:0) R835 1 (obj:0) R851 1 (obj:0) R867 1 (obj:0) R883 1 (obj:0) R899 1 (obj:0) R915 1 (obj:0) R931 1 (obj:0) R947 1 (obj:0) R963 1 (obj:0) R979 1 (obj:0) R995 1 (obj:0) R1011 1 (obj:0) R1027 1 (obj:0) R1043 1 (obj:0) R1059 1 (obj:0) R1075 1 (obj:0) R8170 1 (obj:0) R948 1 (obj:0) R964 1 (obj:0) R980 1 (obj:0) R996 1 (obj:0) R1012 1 (obj:0) R1028 1 (obj:0) R1044 1 (obj:0) R1060 1 (obj:0) R1076 1 (obj:0) R8694 1 (obj:0) R1061 1 (obj:0) R1077 1 (obj:0) R7738 1 (obj:0) R854 1 (obj:0) R870 1 (obj:0) R886 1 (obj:0) R902 1 (obj:0) R918 1 (obj:0) R934 1 (obj:0) R950 1 (obj:0) R966 1 (obj:0) R982 1 (obj:0) R998 1 (obj:0) R1014 1 (obj:0) R1030 1 (obj:0) R1046 1 (obj:0) R1062 1 (obj:0) R1078 1 (obj:0) R8015 1 (obj:0) R919 1 (obj:0) R935 1 (obj:0) R951 1 (obj:0) R967 1 (obj:0) R983 1 (obj:0) R999 1 (obj:0) R1015 1 (obj:0) R1031 1 (obj:0) R1047 1 (obj:0) R1063 1 (obj:0) R1079 1 (obj:0) R7832 1 (obj:0) R873 1 (obj:0) R889 1 (obj:0) R905 1 (obj:0) R921 1 (obj:0) R937 1 (obj:0) R953 1 (obj:0) R969 1 (obj:0) R985 1 (obj:0) R1001 1 (obj:0) R1017 1 (obj:0) R1033 1 (obj:0) R1049 1 (obj:0) R1065 1 (obj:0) R1081 1 (obj:0) R8428 1 (obj:0) R1002 1 (obj:0) R1018 1 (obj:0) R1034 1 (obj:0) R1050 1 (obj:0) R1066 1 (obj:0) R1082 1 (obj:0) R8689 1 (obj:0) R1067 1 (obj:0) R1083 1 (obj:0) R8247 1 (obj:0) R972 1 (obj:0) R988 1 (obj:0) R1004 1 (obj:0) R1020 1 (obj:0) R1036 1 (obj:0) R1052 1 (obj:0) R1068 1 (obj:0) R1084 1 (obj:0) R8505 1 (obj:0) R1021 1 (obj:0) R1037 1 (obj:0) R1053 1 (obj:0) R1069 1 (obj:0) R1085 1 (obj:0) R8261 1 (obj:0) R975 1 (obj:0) R991 1 (obj:0) R1007 1 (obj:0) R1023 1 (obj:0) R1039 1 (obj:0) R1055 1 (obj:0) R1071 1 (obj:0) R1087 1 (obj:0) R1108 1 (obj:0) R1124 1 (obj:0) R1140 1 (obj:0) R1156 1 (obj:0) R1172 1 (obj:0) R1188 1 (obj:0) R1204 1 (obj:0) R1220 1 (obj:0) R1236 1 (obj:0) R1252 1 (obj:0) R1268 1 (obj:0) R1284 1 (obj:0) R1300 1 (obj:0) R1316 1 (obj:0) R1332 1 (obj:0) R1348 1 (obj:0) R9775 1 (obj:0) R1302 1 (obj:0) R1318 1 (obj:0) R1334 1 (obj:0) R1350 1 (obj:0) R9830 1 (obj:0) R1321 1 (obj:0) R1337 1 (obj:0) R1353 1 (obj:0) R9573 1 (obj:0) R1279 1 (obj:0) R1295 1 (obj:0) R1311 1 (obj:0) R1327 1 (obj:0) R1343 1 (obj:0) R1359 1 (obj:0) R10006 1 (obj:0) R1378 1 (obj:0) R1394 1 (obj:0) R1410 1 (obj:0) R1426 1 (obj:0) R1442 1 (obj:0) R1458 1 (obj:0) R1474 1 (obj:0) R1490 1 (obj:0) R1506 1 (obj:0) R1522 1 (obj:0) R1538 1 (obj:0) R1554 1 (obj:0) R1570 1 (obj:0) R1586 1 (obj:0) R1602 1 (obj:0) R1618 1 (obj:0) R1379 1 (obj:0) R1395 1 (obj:0) R1411 1 (obj:0) R1427 1 (obj:0) R1443 1 (obj:0) R1459 1 (obj:0) R1475 1 (obj:0) R1491 1 (obj:0) R1507 1 (obj:0) R1523 1 (obj:0) R1539 1 (obj:0) R1555 1 (obj:0) R1571 1 (obj:0) R1587 1 (obj:0) R1603 1 (obj:0) R1619 1 (obj:0) R1381 1 (obj:0) R1397 1 (obj:0) R1413 1 (obj:0) R1429 1 (obj:0) R1445 1 (obj:0) R1461 1 (obj:0) R1477 1 (obj:0) R1493 1 (obj:0) R1509 1 (obj:0) R1525 1 (obj:0) R1541 1 (obj:0) R1557 1 (obj:0) R1573 1 (obj:0) R1589 1 (obj:0) R1605 1 (obj:0) R1621 1 (obj:0) R1385 1 (obj:0) R1401 1 (obj:0) R1417 1 (obj:0) R1433 1 (obj:0) R1449 1 (obj:0) R1465 1 (obj:0) R1481 1 (obj:0) R1497 1 (obj:0) R1513 1 (obj:0) R1529 1 (obj:0) R1545 1 (obj:0) R1561 1 (obj:0) R1577 1 (obj:0) R1593 1 (obj:0) R1609 1 (obj:0) R1625 1 (obj:0) R10365 1 (obj:0) R1450 1 (obj:0) R1466 1 (obj:0) R1482 1 (obj:0) R1498 1 (obj:0) R1514 1 (obj:0) R1530 1 (obj:0) R1546 1 (obj:0) R1562 1 (obj:0) R1578 1 (obj:0) R1594 1 (obj:0) R1610 1 (obj:0) R1626 1 (obj:0) R1389 1 (obj:0) R1405 1 (obj:0) R1421 1 (obj:0) R1437 1 (obj:0) R1453 1 (obj:0) R1469 1 (obj:0) R1485 1 (obj:0) R1501 1 (obj:0) R1517 1 (obj:0) R1533 1 (obj:0) R1549 1 (obj:0) R1565 1 (obj:0) R1581 1 (obj:0) R1597 1 (obj:0) R1613 1 (obj:0) R1629 1 (obj:0) R10101 1 (obj:0) R1406 1 (obj:0) R1422 1 (obj:0) R1438 1 (obj:0) R1454 1 (obj:0) R1470 1 (obj:0) R1486 1 (obj:0) R1502 1 (obj:0) R1518 1 (obj:0) R1534 1 (obj:0) R1550 1 (obj:0) R1566 1 (obj:0) R1582 1 (obj:0) R1598 1 (obj:0) R1614 1 (obj:0) R1630 1 (obj:0) R11484 1 (obj:0) R1713 1 (obj:0) R1729 1 (obj:0) R1745 1 (obj:0) R1761 1 (obj:0) R1777 1 (obj:0) R1793 1 (obj:0) R1809 1 (obj:0) R1825 1 (obj:0) R1841 1 (obj:0) R1857 1 (obj:0) R1873 1 (obj:0) R1889 1 (obj:0) R11266 1 (obj:0) R1666 1 (obj:0) R1682 1 (obj:0) R1698 1 (obj:0) R1714 1 (obj:0) R1730 1 (obj:0) R1746 1 (obj:0) R1762 1 (obj:0) R1778 1 (obj:0) R1794 1 (obj:0) R1810 1 (obj:0) R1826 1 (obj:0) R1842 1 (obj:0) R1858 1 (obj:0) R1874 1 (obj:0) R1890 1 (obj:0) R11646 1 (obj:0) R1748 1 (obj:0) R1764 1 (obj:0) R1780 1 (obj:0) R1796 1 (obj:0) R1812 1 (obj:0) R1828 1 (obj:0) R1844 1 (obj:0) R1860 1 (obj:0) R1876 1 (obj:0) R1892 1 (obj:0) R12322 1 (obj:0) R1893 1 (obj:0) R11235 1 (obj:0) R1654 1 (obj:0) R1670 1 (obj:0) R1686 1 (obj:0) R1702 1 (obj:0) R1718 1 (obj:0) R1734 1 (obj:0) R1750 1 (obj:0) R1766 1 (obj:0) R1782 1 (obj:0) R1798 1 (obj:0) R1814 1 (obj:0) R1830 1 (obj:0) R1846 1 (obj:0) R1862 1 (obj:0) R1878 1 (obj:0) R1894 1 (obj:0) R1655 1 (obj:0) R1671 1 (obj:0) R1687 1 (obj:0) R1703 1 (obj:0) R1719 1 (obj:0) R1735 1 (obj:0) R1751 1 (obj:0) R1767 1 (obj:0) R1783 1 (obj:0) R1799 1 (obj:0) R1815 1 (obj:0) R1831 1 (obj:0) R1847 1 (obj:0) R1863 1 (obj:0) R1879 1 (obj:0) R1895 1 (obj:0) R1656 1 (obj:0) R1672 1 (obj:0) R1688 1 (obj:0) R1704 1 (obj:0) R1720 1 (obj:0) R1736 1 (obj:0) R1752 1 (obj:0) R1768 1 (obj:0) R1784 1 (obj:0) R1800 1 (obj:0) R1816 1 (obj:0) R1832 1 (obj:0) R1848 1 (obj:0) R1864 1 (obj:0) R1880 1 (obj:0) R1896 1 (obj:0) R1657 1 (obj:0) R1673 1 (obj:0) R1689 1 (obj:0) R1705 1 (obj:0) R1721 1 (obj:0) R1737 1 (obj:0) R1753 1 (obj:0) R1769 1 (obj:0) R1785 1 (obj:0) R1801 1 (obj:0) R1817 1 (obj:0) R1833 1 (obj:0) R1849 1 (obj:0) R1865 1 (obj:0) R1881 1 (obj:0) R1897 1 (obj:0) R12027 1 (obj:0) R1834 1 (obj:0) R1850 1 (obj:0) R1866 1 (obj:0) R1882 1 (obj:0) R1898 1 (obj:0) R1659 1 (obj:0) R1675 1 (obj:0) R1691 1 (obj:0) R1707 1 (obj:0) R1723 1 (obj:0) R1739 1 (obj:0) R1755 1 (obj:0) R1771 1 (obj:0) R1787 1 (obj:0) R1803 1 (obj:0) R1819 1 (obj:0) R1835 1 (obj:0) R1851 1 (obj:0) R1867 1 (obj:0) R1883 1 (obj:0) R1899 1 (obj:0) R12134 1 (obj:0) R1852 1 (obj:0) R1868 1 (obj:0) R1884 1 (obj:0) R1900 1 (obj:0) R12358 1 (obj:0) R1901 1 (obj:0) R1662 1 (obj:0) R1678 1 (obj:0) R1694 1 (obj:0) R1710 1 (obj:0) R1726 1 (obj:0) R1742 1 (obj:0) R1758 1 (obj:0) R1774 1 (obj:0) R1790 1 (obj:0) R1806 1 (obj:0) R1822 1 (obj:0) R1838 1 (obj:0) R1854 1 (obj:0) R1870 1 (obj:0) R1886 1 (obj:0) R1902 1 (obj:0) R11595 1 (obj:0) R1743 1 (obj:0) R1759 1 (obj:0) R1775 1 (obj:0) R1791 1 (obj:0) R1807 1 (obj:0) R1823 1 (obj:0) R1839 1 (obj:0) R1855 1 (obj:0) R1871 1 (obj:0) R1887 1 (obj:0) R1903 1 (obj:0) R11229 1 (obj:0) R1664 1 (obj:0) R1680 1 (obj:0) R1696 1 (obj:0) R1712 1 (obj:0) R1728 1 (obj:0) R1744 1 (obj:0) R1760 1 (obj:0) R1776 1 (obj:0) R1792 1 (obj:0) R1808 1 (obj:0) R1824 1 (obj:0) R1840 1 (obj:0) R1856 1 (obj:0) R1872 1 (obj:0) R1888 1 (obj:0) R1904 1 (obj:0) R13258 1 (obj:0) R2113 1 (obj:0) R2129 1 (obj:0) R2145 1 (obj:0) R2161 1 (obj:0) R12820 1 (obj:0) R2018 1 (obj:0) R2034 1 (obj:0) R2050 1 (obj:0) R2066 1 (obj:0) R2082 1 (obj:0) R2098 1 (obj:0) R2114 1 (obj:0) R2130 1 (obj:0) R2146 1 (obj:0) R2162 1 (obj:0) R13335 1 (obj:0) R2131 1 (obj:0) R2147 1 (obj:0) R2163 1 (obj:0) R1924 1 (obj:0) R1940 1 (obj:0) R1956 1 (obj:0) R1972 1 (obj:0) R1988 1 (obj:0) R2004 1 (obj:0) R2020 1 (obj:0) R2036 1 (obj:0) R2052 1 (obj:0) R2068 1 (obj:0) R2084 1 (obj:0) R2100 1 (obj:0) R2116 1 (obj:0) R2132 1 (obj:0) R2148 1 (obj:0) R2164 1 (obj:0) R12589 1 (obj:0) R1957 1 (obj:0) R1973 1 (obj:0) R1989 1 (obj:0) R2005 1 (obj:0) R2021 1 (obj:0) R2037 1 (obj:0) R2053 1 (obj:0) R2069 1 (obj:0) R2085 1 (obj:0) R2101 1 (obj:0) R2117 1 (obj:0) R2133 1 (obj:0) R2149 1 (obj:0) R2165 1 (obj:0) R12774 1 (obj:0) R2006 1 (obj:0) R2022 1 (obj:0) R2038 1 (obj:0) R2054 1 (obj:0) R2070 1 (obj:0) R2086 1 (obj:0) R2102 1 (obj:0) R2118 1 (obj:0) R2134 1 (obj:0) R2150 1 (obj:0) R2166 1 (obj:0) R12531 1 (obj:0) R1962 1 (obj:0) R1978 1 (obj:0) R1994 1 (obj:0) R2010 1 (obj:0) R2026 1 (obj:0) R2042 1 (obj:0) R2058 1 (obj:0) R2074 1 (obj:0) R2090 1 (obj:0) R2106 1 (obj:0) R2122 1 (obj:0) R2138 1 (obj:0) R2154 1 (obj:0) R2170 1 (obj:0) R13499 1 (obj:0) R2171 1 (obj:0) R12867 1 (obj:0) R2028 1 (obj:0) R2044 1 (obj:0) R2060 1 (obj:0) R2076 1 (obj:0) R2092 1 (obj:0) R2108 1 (obj:0) R2124 1 (obj:0) R2140 1 (obj:0) R2156 1 (obj:0) R2172 1 (obj:0) R13026 1 (obj:0) R2061 1 (obj:0) R2077 1 (obj:0) R2093 1 (obj:0) R2109 1 (obj:0) R2125 1 (obj:0) R2141 1 (obj:0) R2157 1 (obj:0) R2173 1 (obj:0) R12459 1 (obj:0) R1951 1 (obj:0) R1967 1 (obj:0) R1983 1 (obj:0) R1999 1 (obj:0) R2015 1 (obj:0) R2031 1 (obj:0) R2047 1 (obj:0) R2063 1 (obj:0) R2079 1 (obj:0) R2095 1 (obj:0) R2111 1 (obj:0) R2127 1 (obj:0) R2143 1 (obj:0) R2159 1 (obj:0) R2175 1 (obj:0) R1936 1 (obj:0) R1952 1 (obj:0) R1968 1 (obj:0) R1984 1 (obj:0) R2000 1 (obj:0) R2016 1 (obj:0) R2032 1 (obj:0) R2048 1 (obj:0) R2064 1 (obj:0) R2080 1 (obj:0) R2096 1 (obj:0) R2112 1 (obj:0) R2128 1 (obj:0) R2144 1 (obj:0) R2160 1 (obj:0) R2176 1 (obj:0) R14370 1 (obj:0) R2369 1 (obj:0) R2385 1 (obj:0) R2401 1 (obj:0) R2417 1 (obj:0) R2433 1 (obj:0) R2195 1 (obj:0) R2211 1 (obj:0) R2227 1 (obj:0) R2243 1 (obj:0) R2259 1 (obj:0) R2275 1 (obj:0) R2291 1 (obj:0) R2307 1 (obj:0) R2323 1 (obj:0) R2339 1 (obj:0) R2355 1 (obj:0) R2371 1 (obj:0) R2387 1 (obj:0) R2403 1 (obj:0) R2419 1 (obj:0) R2435 1 (obj:0) R14238 1 (obj:0) R2340 1 (obj:0) R2356 1 (obj:0) R2372 1 (obj:0) R2388 1 (obj:0) R2404 1 (obj:0) R2420 1 (obj:0) R2436 1 (obj:0) R2199 1 (obj:0) R2215 1 (obj:0) R2231 1 (obj:0) R2247 1 (obj:0) R2263 1 (obj:0) R2279 1 (obj:0) R2295 1 (obj:0) R2311 1 (obj:0) R2327 1 (obj:0) R2343 1 (obj:0) R2359 1 (obj:0) R2375 1 (obj:0) R2391 1 (obj:0) R2407 1 (obj:0) R2423 1 (obj:0) R2439 1 (obj:0) R2200 1 (obj:0) R2216 1 (obj:0) R2232 1 (obj:0) R2248 1 (obj:0) R2264 1 (obj:0) R2280 1 (obj:0) R2296 1 (obj:0) R2312 1 (obj:0) R2328 1 (obj:0) R2344 1 (obj:0) R2360 1 (obj:0) R2376 1 (obj:0) R2392 1 (obj:0) R2408 1 (obj:0) R2424 1 (obj:0) R2440 1 (obj:0) R2203 1 (obj:0) R2219 1 (obj:0) R2235 1 (obj:0) R2251 1 (obj:0) R2267 1 (obj:0) R2283 1 (obj:0) R2299 1 (obj:0) R2315 1 (obj:0) R2331 1 (obj:0) R2347 1 (obj:0) R2363 1 (obj:0) R2379 1 (obj:0) R2395 1 (obj:0) R2411 1 (obj:0) R2427 1 (obj:0) R2443 1 (obj:0) R13614 1 (obj:0) R2204 1 (obj:0) R2220 1 (obj:0) R2236 1 (obj:0) R2252 1 (obj:0) R2268 1 (obj:0) R2284 1 (obj:0) R2300 1 (obj:0) R2316 1 (obj:0) R2332 1 (obj:0) R2348 1 (obj:0) R2364 1 (obj:0) R2380 1 (obj:0) R2396 1 (obj:0) R2412 1 (obj:0) R2428 1 (obj:0) R2444 1 (obj:0) R2206 1 (obj:0) R2222 1 (obj:0) R2238 1 (obj:0) R2254 1 (obj:0) R2270 1 (obj:0) R2286 1 (obj:0) R2302 1 (obj:0) R2318 1 (obj:0) R2334 1 (obj:0) R2350 1 (obj:0) R2366 1 (obj:0) R2382 1 (obj:0) R2398 1 (obj:0) R2414 1 (obj:0) R2430 1 (obj:0) R2446 1 (obj:0) R14111 1 (obj:0) R2319 1 (obj:0) R2335 1 (obj:0) R2351 1 (obj:0) R2367 1 (obj:0) R2383 1 (obj:0) R2399 1 (obj:0) R2415 1 (obj:0) R2431 1 (obj:0) R2447 1 (obj:0) R14411 1 (obj:0) R2384 1 (obj:0) R2400 1 (obj:0) R2416 1 (obj:0) R2432 1 (obj:0) R2448 1 (obj:0) R15702 1 (obj:0) R2673 1 (obj:0) R2689 1 (obj:0) R2705 1 (obj:0) R15211 1 (obj:0) R2563 1 (obj:0) R2579 1 (obj:0) R2595 1 (obj:0) R2611 1 (obj:0) R2627 1 (obj:0) R2643 1 (obj:0) R2659 1 (obj:0) R2675 1 (obj:0) R2691 1 (obj:0) R2707 1 (obj:0) R15568 1 (obj:0) R2644 1 (obj:0) R2660 1 (obj:0) R2676 1 (obj:0) R2692 1 (obj:0) R2708 1 (obj:0) R15083 1 (obj:0) R2534 1 (obj:0) R2550 1 (obj:0) R2566 1 (obj:0) R2582 1 (obj:0) R2598 1 (obj:0) R2614 1 (obj:0) R2630 1 (obj:0) R2646 1 (obj:0) R2662 1 (obj:0) R2678 1 (obj:0) R2694 1 (obj:0) R2710 1 (obj:0) R15378 1 (obj:0) R2600 1 (obj:0) R2616 1 (obj:0) R2632 1 (obj:0) R2648 1 (obj:0) R2664 1 (obj:0) R2680 1 (obj:0) R2696 1 (obj:0) R2712 1 (obj:0) R2473 1 (obj:0) R2489 1 (obj:0) R2505 1 (obj:0) R2521 1 (obj:0) R2537 1 (obj:0) R2553 1 (obj:0) R2569 1 (obj:0) R2585 1 (obj:0) R2601 1 (obj:0) R2617 1 (obj:0) R2633 1 (obj:0) R2649 1 (obj:0) R2665 1 (obj:0) R2681 1 (obj:0) R2697 1 (obj:0) R2713 1 (obj:0) R15713 1 (obj:0) R2682 1 (obj:0) R2698 1 (obj:0) R2714 1 (obj:0) R15523 1 (obj:0) R2635 1 (obj:0) R2651 1 (obj:0) R2667 1 (obj:0) R2683 1 (obj:0) R2699 1 (obj:0) R2715 1 (obj:0) R15827 1 (obj:0) R2700 1 (obj:0) R2716 1 (obj:0) R15811 1 (obj:0) R2701 1 (obj:0) R2717 1 (obj:0) R15443 1 (obj:0) R2623 1 (obj:0) R2639 1 (obj:0) R2655 1 (obj:0) R2671 1 (obj:0) R2687 1 (obj:0) R2703 1 (obj:0) R2719 1 (obj:0) R15743 1 (obj:0) R2688 1 (obj:0) R2704 1 (obj:0) R2720 1 (obj:0) R16816 1 (obj:0) R2930 1 (obj:0) R2946 1 (obj:0) R2962 1 (obj:0) R2978 1 (obj:0) R16312 1 (obj:0) R2820 1 (obj:0) R2836 1 (obj:0) R2852 1 (obj:0) R2868 1 (obj:0) R2884 1 (obj:0) R2900 1 (obj:0) R2916 1 (obj:0) R2932 1 (obj:0) R2948 1 (obj:0) R2964 1 (obj:0) R2980 1 (obj:0) R16170 1 (obj:0) R2789 1 (obj:0) R2805 1 (obj:0) R2821 1 (obj:0) R2837 1 (obj:0) R2853 1 (obj:0) R2869 1 (obj:0) R2885 1 (obj:0) R2901 1 (obj:0) R2917 1 (obj:0) R2933 1 (obj:0) R2949 1 (obj:0) R2965 1 (obj:0) R2981 1 (obj:0) R16620 1 (obj:0) R2886 1 (obj:0) R2902 1 (obj:0) R2918 1 (obj:0) R2934 1 (obj:0) R2950 1 (obj:0) R2966 1 (obj:0) R2982 1 (obj:0) R16712 1 (obj:0) R2905 1 (obj:0) R2921 1 (obj:0) R2937 1 (obj:0) R2953 1 (obj:0) R2969 1 (obj:0) R2985 1 (obj:0) R16640 1 (obj:0) R2890 1 (obj:0) R2906 1 (obj:0) R2922 1 (obj:0) R2938 1 (obj:0) R2954 1 (obj:0) R2970 1 (obj:0) R2986 1 (obj:0) R2747 1 (obj:0) R2763 1 (obj:0) R2779 1 (obj:0) R2795 1 (obj:0) R2811 1 (obj:0) R2827 1 (obj:0) R2843 1 (obj:0) R2859 1 (obj:0) R2875 1 (obj:0) R2891 1 (obj:0) R2907 1 (obj:0) R2923 1 (obj:0) R2939 1 (obj:0) R2955 1 (obj:0) R2971 1 (obj:0) R2987 1 (obj:0) R16942 1 (obj:0) R2956 1 (obj:0) R2972 1 (obj:0) R2988 1 (obj:0) R16051 1 (obj:0) R2765 1 (obj:0) R2781 1 (obj:0) R2797 1 (obj:0) R2813 1 (obj:0) R2829 1 (obj:0) R2845 1 (obj:0) R2861 1 (obj:0) R2877 1 (obj:0) R2893 1 (obj:0) R2909 1 (obj:0) R2925 1 (obj:0) R2941 1 (obj:0) R2957 1 (obj:0) R2973 1 (obj:0) R2989 1 (obj:0) R16135 1 (obj:0) R2782 1 (obj:0) R2798 1 (obj:0) R2814 1 (obj:0) R2830 1 (obj:0) R2846 1 (obj:0) R2862 1 (obj:0) R2878 1 (obj:0) R2894 1 (obj:0) R2910 1 (obj:0) R2926 1 (obj:0) R2942 1 (obj:0) R2958 1 (obj:0) R2974 1 (obj:0) R2990 1 (obj:0) R16512 1 (obj:0) R2864 1 (obj:0) R2880 1 (obj:0) R2896 1 (obj:0) R2912 1 (obj:0) R2928 1 (obj:0) R2944 1 (obj:0) R2960 1 (obj:0) R2976 1 (obj:0) R2992 1 (obj:0) R17346 1 (obj:0) R3060 1 (obj:0) R3076 1 (obj:0) R3092 1 (obj:0) R3108 1 (obj:0) R3124 1 (obj:0) R3140 1 (obj:0) R3156 1 (obj:0) R3172 1 (obj:0) R3188 1 (obj:0) R3204 1 (obj:0) R3220 1 (obj:0) R3236 1 (obj:0) R3252 1 (obj:0) R3014 1 (obj:0) R3030 1 (obj:0) R3046 1 (obj:0) R3062 1 (obj:0) R3078 1 (obj:0) R3094 1 (obj:0) R3110 1 (obj:0) R3126 1 (obj:0) R3142 1 (obj:0) R3158 1 (obj:0) R3174 1 (obj:0) R3190 1 (obj:0) R3206 1 (obj:0) R3222 1 (obj:0) R3238 1 (obj:0) R3254 1 (obj:0) R17295 1 (obj:0) R3047 1 (obj:0) R3063 1 (obj:0) R3079 1 (obj:0) R3095 1 (obj:0) R3111 1 (obj:0) R3127 1 (obj:0) R3143 1 (obj:0) R3159 1 (obj:0) R3175 1 (obj:0) R3191 1 (obj:0) R3207 1 (obj:0) R3223 1 (obj:0) R3239 1 (obj:0) R3255 1 (obj:0) R3016 1 (obj:0) R3032 1 (obj:0) R3048 1 (obj:0) R3064 1 (obj:0) R3080 1 (obj:0) R3096 1 (obj:0) R3112 1 (obj:0) R3128 1 (obj:0) R3144 1 (obj:0) R3160 1 (obj:0) R3176 1 (obj:0) R3192 1 (obj:0) R3208 1 (obj:0) R3224 1 (obj:0) R3240 1 (obj:0) R3256 1 (obj:0) R3022 1 (obj:0) R3038 1 (obj:0) R3054 1 (obj:0) R3070 1 (obj:0) R3086 1 (obj:0) R3102 1 (obj:0) R3118 1 (obj:0) R3134 1 (obj:0) R3150 1 (obj:0) R3166 1 (obj:0) R3182 1 (obj:0) R3198 1 (obj:0) R3214 1 (obj:0) R3230 1 (obj:0) R3246 1 (obj:0) R3262 1 (obj:0) R18884 1 (obj:0) R3409 1 (obj:0) R3425 1 (obj:0) R3441 1 (obj:0) R3457 1 (obj:0) R3473 1 (obj:0) R3489 1 (obj:0) R3505 1 (obj:0) R3521 1 (obj:0) R19036 1 (obj:0) R3442 1 (obj:0) R3458 1 (obj:0) R3474 1 (obj:0) R3490 1 (obj:0) R3506 1 (obj:0) R3522 1 (obj:0) R19053 1 (obj:0) R3443 1 (obj:0) R3459 1 (obj:0) R3475 1 (obj:0) R3491 1 (obj:0) R3507 1 (obj:0) R3523 1 (obj:0) R18908 1 (obj:0) R3413 1 (obj:0) R3429 1 (obj:0) R3445 1 (obj:0) R3461 1 (obj:0) R3477 1 (obj:0) R3493 1 (obj:0) R3509 1 (obj:0) R3525 1 (obj:0) R18581 1 (obj:0) R3334 1 (obj:0) R3350 1 (obj:0) R3366 1 (obj:0) R3382 1 (obj:0) R3398 1 (obj:0) R3414 1 (obj:0) R3430 1 (obj:0) R3446 1 (obj:0) R3462 1 (obj:0) R3478 1 (obj:0) R3494 1 (obj:0) R3510 1 (obj:0) R3526 1 (obj:0) R18326 1 (obj:0) R3287 1 (obj:0) R3303 1 (obj:0) R3319 1 (obj:0) R3335 1 (obj:0) R3351 1 (obj:0) R3367 1 (obj:0) R3383 1 (obj:0) R3399 1 (obj:0) R3415 1 (obj:0) R3431 1 (obj:0) R3447 1 (obj:0) R3463 1 (obj:0) R3479 1 (obj:0) R3495 1 (obj:0) R3511 1 (obj:0) R3527 1 (obj:0) R19216 1 (obj:0) R3480 1 (obj:0) R3496 1 (obj:0) R3512 1 (obj:0) R3528 1 (obj:0) R18858 1 (obj:0) R3401 1 (obj:0) R3417 1 (obj:0) R3433 1 (obj:0) R3449 1 (obj:0) R3465 1 (obj:0) R3481 1 (obj:0) R3497 1 (obj:0) R3513 1 (obj:0) R3529 1 (obj:0) R3290 1 (obj:0) R3306 1 (obj:0) R3322 1 (obj:0) R3338 1 (obj:0) R3354 1 (obj:0) R3370 1 (obj:0) R3386 1 (obj:0) R3402 1 (obj:0) R3418 1 (obj:0) R3434 1 (obj:0) R3450 1 (obj:0) R3466 1 (obj:0) R3482 1 (obj:0) R3498 1 (obj:0) R3514 1 (obj:0) R3530 1 (obj:0) R18867 1 (obj:0) R3403 1 (obj:0) R3419 1 (obj:0) R3435 1 (obj:0) R3451 1 (obj:0) R3467 1 (obj:0) R3483 1 (obj:0) R3499 1 (obj:0) R3515 1 (obj:0) R3531 1 (obj:0) R18713 1 (obj:0) R3372 1 (obj:0) R3388 1 (obj:0) R3404 1 (obj:0) R3420 1 (obj:0) R3436 1 (obj:0) R3452 1 (obj:0) R3468 1 (obj:0) R3484 1 (obj:0) R3500 1 (obj:0) R3516 1 (obj:0) R3532 1 (obj:0) R18580 1 (obj:0) R3341 1 (obj:0) R3357 1 (obj:0) R3373 1 (obj:0) R3389 1 (obj:0) R3405 1 (obj:0) R3421 1 (obj:0) R3437 1 (obj:0) R3453 1 (obj:0) R3469 1 (obj:0) R3485 1 (obj:0) R3501 1 (obj:0) R3517 1 (obj:0) R3533 1 (obj:0) R18725 1 (obj:0) R3374 1 (obj:0) R3390 1 (obj:0) R3406 1 (obj:0) R3422 1 (obj:0) R3438 1 (obj:0) R3454 1 (obj:0) R3470 1 (obj:0) R3486 1 (obj:0) R3502 1 (obj:0) R3518 1 (obj:0) R3534 1 (obj:0) R3295 1 (obj:0) R3311 1 (obj:0) R3327 1 (obj:0) R3343 1 (obj:0) R3359 1 (obj:0) R3375 1 (obj:0) R3391 1 (obj:0) R3407 1 (obj:0) R3423 1 (obj:0) R3439 1 (obj:0) R3455 1 (obj:0) R3471 1 (obj:0) R3487 1 (obj:0) R3503 1 (obj:0) R3519 1 (obj:0) R3535 1 (obj:0) R19028 1 (obj:0) R3440 1 (obj:0) R3456 1 (obj:0) R3472 1 (obj:0) R3488 1 (obj:0) R3504 1 (obj:0) R3520 1 (obj:0) R3536 1 (obj:0) R19920 1 (obj:0) R3649 1 (obj:0) R3665 1 (obj:0) R3681 1 (obj:0) R3697 1 (obj:0) R3713 1 (obj:0) R3729 1 (obj:0) R3745 1 (obj:0) R3761 1 (obj:0) R3777 1 (obj:0) R3793 1 (obj:0) R20144 1 (obj:0) R3698 1 (obj:0) R3714 1 (obj:0) R3730 1 (obj:0) R3746 1 (obj:0) R3762 1 (obj:0) R3778 1 (obj:0) R3794 1 (obj:0) R3555 1 (obj:0) R3571 1 (obj:0) R3587 1 (obj:0) R3603 1 (obj:0) R3619 1 (obj:0) R3635 1 (obj:0) R3651 1 (obj:0) R3667 1 (obj:0) R3683 1 (obj:0) R3699 1 (obj:0) R3715 1 (obj:0) R3731 1 (obj:0) R3747 1 (obj:0) R3763 1 (obj:0) R3779 1 (obj:0) R3795 1 (obj:0) R19792 1 (obj:0) R3620 1 (obj:0) R3636 1 (obj:0) R3652 1 (obj:0) R3668 1 (obj:0) R3684 1 (obj:0) R3700 1 (obj:0) R3716 1 (obj:0) R3732 1 (obj:0) R3748 1 (obj:0) R3764 1 (obj:0) R3780 1 (obj:0) R3796 1 (obj:0) R20386 1 (obj:0) R3749 1 (obj:0) R3765 1 (obj:0) R3781 1 (obj:0) R3797 1 (obj:0) R20542 1 (obj:0) R3782 1 (obj:0) R3798 1 (obj:0) R20379 1 (obj:0) R3751 1 (obj:0) R3767 1 (obj:0) R3783 1 (obj:0) R3799 1 (obj:0) R19755 1 (obj:0) R3611 1 (obj:0) R3627 1 (obj:0) R3643 1 (obj:0) R3659 1 (obj:0) R3675 1 (obj:0) R3691 1 (obj:0) R3707 1 (obj:0) R3723 1 (obj:0) R3739 1 (obj:0) R3755 1 (obj:0) R3771 1 (obj:0) R3787 1 (obj:0) R3803 1 (obj:0) R3564 1 (obj:0) R3580 1 (obj:0) R3596 1 (obj:0) R3612 1 (obj:0) R3628 1 (obj:0) R3644 1 (obj:0) R3660 1 (obj:0) R3676 1 (obj:0) R3692 1 (obj:0) R3708 1 (obj:0) R3724 1 (obj:0) R3740 1 (obj:0) R3756 1 (obj:0) R3772 1 (obj:0) R3788 1 (obj:0) R3804 1 (obj:0) R20197 1 (obj:0) R3709 1 (obj:0) R3725 1 (obj:0) R3741 1 (obj:0) R3757 1 (obj:0) R3773 1 (obj:0) R3789 1 (obj:0) R3805 1 (obj:0) R20461 1 (obj:0) R3774 1 (obj:0) R3790 1 (obj:0) R3806 1 (obj:0) R20545 1 (obj:0) R3791 1 (obj:0) R3807 1 (obj:0) R20515 1 (obj:0) R3792 1 (obj:0) R3808 1 (obj:0) R21176 1 (obj:0) R3937 1 (obj:0) R3953 1 (obj:0) R3969 1 (obj:0) R3985 1 (obj:0) R4001 1 (obj:0) R4017 1 (obj:0) R4033 1 (obj:0) R4049 1 (obj:0) R4065 1 (obj:0) R3826 1 (obj:0) R3842 1 (obj:0) R3858 1 (obj:0) R3874 1 (obj:0) R3890 1 (obj:0) R3906 1 (obj:0) R3922 1 (obj:0) R3938 1 (obj:0) R3954 1 (obj:0) R3970 1 (obj:0) R3986 1 (obj:0) R4002 1 (obj:0) R4018 1 (obj:0) R4034 1 (obj:0) R4050 1 (obj:0) R4066 1 (obj:0) R3829 1 (obj:0) R3845 1 (obj:0) R3861 1 (obj:0) R3877 1 (obj:0) R3893 1 (obj:0) R3909 1 (obj:0) R3925 1 (obj:0) R3941 1 (obj:0) R3957 1 (obj:0) R3973 1 (obj:0) R3989 1 (obj:0) R4005 1 (obj:0) R4021 1 (obj:0) R4037 1 (obj:0) R4053 1 (obj:0) R4069 1 (obj:0) R3831 1 (obj:0) R3847 1 (obj:0) R3863 1 (obj:0) R3879 1 (obj:0) R3895 1 (obj:0) R3911 1 (obj:0) R3927 1 (obj:0) R3943 1 (obj:0) R3959 1 (obj:0) R3975 1 (obj:0) R3991 1 (obj:0) R4007 1 (obj:0) R4023 1 (obj:0) R4039 1 (obj:0) R4055 1 (obj:0) R4071 1 (obj:0) R20786 1 (obj:0) R3850 1 (obj:0) R3866 1 (obj:0) R3882 1 (obj:0) R3898 1 (obj:0) R3914 1 (obj:0) R3930 1 (obj:0) R3946 1 (obj:0) R3962 1 (obj:0) R3978 1 (obj:0) R3994 1 (obj:0) R4010 1 (obj:0) R4026 1 (obj:0) R4042 1 (obj:0) R4058 1 (obj:0) R4074 1 (obj:0) R3836 1 (obj:0) R3852 1 (obj:0) R3868 1 (obj:0) R3884 1 (obj:0) R3900 1 (obj:0) R3916 1 (obj:0) R3932 1 (obj:0) R3948 1 (obj:0) R3964 1 (obj:0) R3980 1 (obj:0) R3996 1 (obj:0) R4012 1 (obj:0) R4028 1 (obj:0) R4044 1 (obj:0) R4060 1 (obj:0) R4076 1 (obj:0) R21164 1 (obj:0) R3933 1 (obj:0) R3949 1 (obj:0) R3965 1 (obj:0) R3981 1 (obj:0) R3997 1 (obj:0) R4013 1 (obj:0) R4029 1 (obj:0) R4045 1 (obj:0) R4061 1 (obj:0) R4077 1 (obj:0) R3839 1 (obj:0) R3855 1 (obj:0) R3871 1 (obj:0) R3887 1 (obj:0) R3903 1 (obj:0) R3919 1 (obj:0) R3935 1 (obj:0) R3951 1 (obj:0) R3967 1 (obj:0) R3983 1 (obj:0) R3999 1 (obj:0) R4015 1 (obj:0) R4031 1 (obj:0) R4047 1 (obj:0) R4063 1 (obj:0) R4079 1 (obj:0) R20885 1 (obj:0) R3888 1 (obj:0) R3904 1 (obj:0) R3920 1 (obj:0) R3936 1 (obj:0) R3952 1 (obj:0) R3968 1 (obj:0) R3984 1 (obj:0) R4000 1 (obj:0) R4016 1 (obj:0) R4032 1 (obj:0) R4048 1 (obj:0) R4064 1 (obj:0) R4080 1 (obj:0) Statistics ========== SCIP Status : solving was interrupted [solution limit reached] Solving Time : 1849.21 Original Problem : Problem name : ns894244.lp Variables : 21856 (21856 binary, 0 integer, 0 implicit integer, 0 continuous) Constraints : 12129 initial, 12129 maximal Presolved Problem : Problem name : t_ns894244.lp Variables : 15106 (15106 binary, 0 integer, 0 implicit integer, 0 continuous) Constraints : 5651 initial, 5904 maximal Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs trivial : 0.06 0 0 0 0 0 0 0 0 inttobinary : 0.00 0 0 0 0 0 0 0 0 dualfix : 0.05 806 0 0 0 0 0 0 0 implics : 0.20 0 0 0 0 0 0 0 0 probing : 50.45 258 1 0 1 0 0 0 0 setppc : 0.34 0 0 0 0 0 411 0 0 linear : 5.28 5319 366 0 5319 0 6048 3166 0 logicor : 0.00 0 0 0 0 0 19 0 0 root node : - 10 - - 10 - - - - Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children integral : 0 0 0 167 0 0 7 0 0 326 setppc : 5393 8 36435 0 0 29 256943 0 0 0 logicor : 258+ 8 3894 0 0 0 554 0 0 0 Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS integral : 583.73 0.00 0.00 583.73 0.00 setppc : 6.81 0.01 6.80 0.00 0.00 logicor : 0.08 0.00 0.08 0.00 0.00 Propagators : Time Calls Cutoffs DomReds rootredcost : 0.00 0 0 0 pseudoobj : 0.12 28231 0 0 Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters propagation :