c wbo 1.4 beta - 20100610 c | Number of variables: 264 | c | Number of clauses: 3149 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 328 | c | Number Clauses: 3013 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 328 3013 9366 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 6284 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 37 | 328 3014 9566 | 5000 37 3 | 0.000 % | c =============================================================================== c New solution: 6283 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 86 | 328 3015 9766 | 5000 86 4 | 0.000 % | c =============================================================================== c New solution: 6282 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 118 | 328 3016 9966 | 5000 118 4 | 0.000 % | c =============================================================================== c New solution: 6281 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 125 | 328 3017 10166 | 5000 125 4 | 0.000 % | c =============================================================================== c New solution: 6280 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 137 | 328 3018 10366 | 5000 137 4 | 0.000 % | c =============================================================================== c New solution: 6279 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 144 | 328 3019 10566 | 5000 144 4 | 0.000 % | c =============================================================================== c New solution: 6278 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 145 | 328 3020 10766 | 5000 145 4 | 0.000 % | c =============================================================================== c New solution: 6277 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 149 | 328 3021 10966 | 5000 149 4 | 0.000 % | c =============================================================================== c New solution: 6276 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 167 | 328 3022 11166 | 5000 167 4 | 0.000 % | c =============================================================================== c New solution: 6275 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 167 | 328 3023 11366 | 5000 167 4 | 0.000 % | c =============================================================================== c New solution: 6274 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 167 | 328 3024 11566 | 5000 167 4 | 0.000 % | c =============================================================================== c New solution: 6273 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 168 | 328 3025 11766 | 5000 168 4 | 0.000 % | c =============================================================================== c New solution: 6272 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 171 | 328 3026 11966 | 5000 171 5 | 0.000 % | c =============================================================================== c New solution: 6271 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 191 | 328 3027 12166 | 5000 191 5 | 0.000 % | c =============================================================================== c New solution: 6270 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 199 | 328 3028 12366 | 5000 199 5 | 0.000 % | c =============================================================================== c New solution: 6269 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 206 | 328 3029 12566 | 5000 206 5 | 0.000 % | c =============================================================================== c New solution: 6268 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 213 | 328 3030 12766 | 5000 213 5 | 0.000 % | c =============================================================================== c New solution: 6267 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 218 | 328 3031 12966 | 5000 218 5 | 0.000 % | c =============================================================================== c New solution: 6266 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 226 | 328 3032 13166 | 5000 226 5 | 0.000 % | c =============================================================================== c New solution: 6265 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 229 | 328 3033 13366 | 5000 229 5 | 0.000 % | c =============================================================================== c New solution: 6264 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 231 | 328 3034 13566 | 5000 231 5 | 0.000 % | c =============================================================================== c New solution: 6263 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 231 | 328 3035 13766 | 5000 231 5 | 0.000 % | c =============================================================================== c New solution: 6262 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 231 | 328 3036 13966 | 5000 231 5 | 0.000 % | c =============================================================================== c New solution: 6261 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 323 | 328 3037 14166 | 5000 323 13 | 0.000 % | c =============================================================================== c New solution: 6260 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 325 | 328 3038 14366 | 5000 325 13 | 0.000 % | c =============================================================================== c New solution: 6259 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 326 | 328 3039 14566 | 5000 326 13 | 0.000 % | c | 426 | 328 3039 14566 | 5500 426 28 | 0.012 % | c | 576 | 328 3039 14566 | 6050 576 59 | 0.020 % | c | 801 | 328 3039 14566 | 6655 801 87 | 0.017 % | c | 1138 | 326 3039 14566 | 7320 1132 106 | 0.616 % | c | 1644 | 326 3039 14566 | 8052 1638 122 | 0.620 % | c =============================================================================== c New solution: 6258 c Elapsed CPU time: 0.369943 s Remaining CPU time: 179.63 s c =============================================================================== c | 1681 | 326 3040 14766 | 5000 1675 119 | 0.620 % | c | 1783 | 326 3040 14766 | 5500 1777 122 | 0.630 % | c | 1934 | 326 3040 14766 | 6050 1928 124 | 0.611 % | c =============================================================================== c New solution: 6257 c Elapsed CPU time: 0.437933 s Remaining CPU time: 179.562 s c =============================================================================== c | 2109 | 326 3041 14966 | 5000 2103 125 | 0.611 % | c =============================================================================== c New solution: 6256 c Elapsed CPU time: 0.445932 s Remaining CPU time: 179.554 s c =============================================================================== c | 2121 | 326 3042 15166 | 5000 2115 124 | 0.611 % | c | 2222 | 326 3042 15166 | 5500 2216 125 | 0.634 % | c | 2373 | 326 3042 15166 | 6050 2367 128 | 0.611 % | c | 2598 | 326 3042 15166 | 6655 2592 131 | 0.611 % | c | 2935 | 326 3042 15166 | 7320 2929 134 | 0.611 % | c | 3441 | 326 3042 15166 | 8052 3435 138 | 0.611 % | c | 4201 | 326 3042 15166 | 8857 4195 142 | 0.620 % | c | 5340 | 326 3042 15166 | 9743 5334 146 | 0.620 % | c | 7048 | 326 3042 15166 | 10717 7042 149 | 0.611 % | c | 9612 | 326 3042 15166 | 11789 9602 153 | 0.611 % | c =============================================================================== c New solution: 6255 c Elapsed CPU time: 2.29565 s Remaining CPU time: 177.704 s c =============================================================================== c | 11880 | 326 3043 15366 | 5000 5948 154 | 0.611 % | c =============================================================================== c New solution: 6254 c Elapsed CPU time: 2.31965 s Remaining CPU time: 177.68 s c =============================================================================== c | 11883 | 326 3044 15566 | 5000 2977 147 | 0.611 % | c | 11983 | 326 3044 15566 | 5500 3077 147 | 0.614 % | c | 12133 | 326 3044 15566 | 6050 3227 147 | 0.630 % | c | 12358 | 326 3044 15566 | 6655 3452 147 | 0.632 % | c | 12695 | 326 3044 15566 | 7320 3789 149 | 0.629 % | c | 13201 | 326 3044 15566 | 8052 4295 150 | 0.611 % | c =============================================================================== c New solution: 6253 c Elapsed CPU time: 2.71059 s Remaining CPU time: 177.289 s c =============================================================================== c | 13922 | 326 3045 15766 | 5000 5016 150 | 0.611 % | c | 14022 | 326 3045 15766 | 5500 2608 141 | 0.632 % | c | 14172 | 326 3045 15766 | 6050 2758 142 | 0.620 % | c | 14398 | 326 3045 15766 | 6655 2984 143 | 0.621 % | c | 14737 | 326 3045 15766 | 7320 3323 143 | 0.618 % | c | 15243 | 326 3045 15766 | 8052 3829 145 | 0.611 % | c | 16002 | 326 3045 15766 | 8857 4588 147 | 0.629 % | c | 17142 | 326 3045 15766 | 9743 5728 149 | 0.614 % | c | 18850 | 326 3045 15766 | 10717 7436 151 | 0.621 % | c | 21412 | 326 3045 15766 | 11789 9998 153 | 0.629 % | c =============================================================================== c New solution: 6252 c Elapsed CPU time: 4.18236 s Remaining CPU time: 175.818 s c =============================================================================== c | 21419 | 326 3046 15966 | 5000 10005 153 | 0.629 % | c | 21520 | 326 3046 15966 | 5500 5104 148 | 0.634 % | c | 21671 | 326 3046 15966 | 6050 5255 148 | 0.611 % | c | 21896 | 326 3046 15966 | 6655 5480 149 | 0.621 % | c | 22234 | 326 3046 15966 | 7320 5818 149 | 0.621 % | c | 22740 | 326 3046 15966 | 8052 6324 150 | 0.611 % | c | 23500 | 326 3046 15966 | 8857 7084 151 | 0.611 % | c | 24640 | 326 3046 15966 | 9743 8224 152 | 0.618 % | c | 26349 | 326 3046 15966 | 10717 9933 153 | 0.623 % | c =============================================================================== c New solution: 6251 c Elapsed CPU time: 5.66314 s Remaining CPU time: 174.337 s c =============================================================================== c | 27557 | 326 3047 16166 | 5000 5666 148 | 0.623 % | c | 27658 | 326 3047 16166 | 5500 2934 140 | 0.621 % | c | 27808 | 326 3047 16166 | 6050 3084 141 | 0.611 % | c | 28034 | 326 3047 16166 | 6655 3310 142 | 0.611 % | c | 28371 | 326 3047 16166 | 7320 3647 143 | 0.611 % | c | 28878 | 326 3047 16166 | 8052 4154 145 | 0.621 % | c | 29637 | 326 3047 16166 | 8857 4913 147 | 0.618 % | c | 30777 | 326 3047 16166 | 9743 6053 149 | 0.628 % | c | 32485 | 326 3047 16166 | 10717 7761 150 | 0.621 % | c | 35047 | 326 3047 16166 | 11789 10323 152 | 0.621 % | c | 38891 | 326 3047 16166 | 12968 8161 150 | 0.622 % | c | 44657 | 326 3047 16166 | 14265 7338 149 | 0.616 % | c =============================================================================== c New solution: 6250 c Elapsed CPU time: 9.59254 s Remaining CPU time: 170.407 s c =============================================================================== c | 44753 | 326 3048 16366 | 5000 7434 149 | 0.616 % | c | 44855 | 326 3048 16366 | 5500 3819 141 | 0.621 % | c | 45005 | 326 3048 16366 | 6050 3969 142 | 0.611 % | c | 45230 | 326 3048 16366 | 6655 4194 142 | 0.620 % | c | 45567 | 326 3048 16366 | 7320 4531 143 | 0.622 % | c =============================================================================== c New solution: 6249 c Elapsed CPU time: 9.81651 s Remaining CPU time: 170.183 s c =============================================================================== c | 45567 | 326 3049 16566 | 5000 4531 143 | 0.622 % | c | 45667 | 326 3049 16566 | 5500 4631 144 | 0.621 % | c | 45817 | 326 3049 16566 | 6050 4781 144 | 0.611 % | c | 46042 | 326 3049 16566 | 6655 5006 145 | 0.622 % | c | 46379 | 326 3049 16566 | 7320 5343 145 | 0.611 % | c | 46886 | 326 3049 16566 | 8052 5850 146 | 0.614 % | c | 47646 | 326 3049 16566 | 8857 6610 147 | 0.623 % | c | 48785 | 326 3049 16566 | 9743 7749 148 | 0.618 % | c | 50493 | 326 3049 16566 | 10717 9457 149 | 0.611 % | c | 53055 | 326 3049 16566 | 11789 6546 146 | 0.611 % | c | 56899 | 326 3049 16566 | 12968 10390 150 | 0.611 % | c =============================================================================== c New solution: 6248 c Elapsed CPU time: 13.465 s Remaining CPU time: 166.535 s c =============================================================================== c | 61668 | 326 3050 16766 | 5000 8569 149 | 0.611 % | c | 61769 | 326 3050 16766 | 5500 4386 142 | 0.613 % | c | 61919 | 326 3050 16766 | 6050 4536 142 | 0.611 % | c | 62145 | 326 3050 16766 | 6655 4762 143 | 0.631 % | c =============================================================================== c New solution: 6247 c Elapsed CPU time: 13.6259 s Remaining CPU time: 166.374 s c =============================================================================== c | 62180 | 326 3051 16966 | 5000 4797 143 | 0.631 % | c | 62281 | 326 3051 16966 | 5500 4898 143 | 0.611 % | c | 62431 | 326 3051 16966 | 6050 5048 143 | 0.611 % | c | 62657 | 326 3051 16966 | 6655 5274 144 | 0.611 % | c | 62994 | 326 3051 16966 | 7320 5611 144 | 0.622 % | c | 63502 | 326 3051 16966 | 8052 6119 145 | 0.624 % | c | 64262 | 326 3051 16966 | 8857 6879 146 | 0.618 % | c | 65402 | 326 3051 16966 | 9743 8019 147 | 0.621 % | c | 67110 | 326 3051 16966 | 10717 9727 148 | 0.624 % | c | 69673 | 326 3051 16966 | 11789 6817 144 | 0.611 % | c | 73517 | 326 3051 16966 | 12968 10661 147 | 0.611 % | c | 79283 | 326 3051 16966 | 14265 9834 148 | 0.621 % | c | 87933 | 326 3051 16966 | 15692 11230 150 | 0.611 % | c | 100908 | 326 3051 16966 | 17261 8280 145 | 0.636 % | c =============================================================================== c New solution: 6246 c Elapsed CPU time: 24.3453 s Remaining CPU time: 155.655 s c =============================================================================== c | 101074 | 326 3052 17166 | 5000 8446 145 | 0.636 % | c | 101174 | 326 3052 17166 | 5500 4323 137 | 0.611 % | c | 101324 | 326 3052 17166 | 6050 4473 137 | 0.621 % | c | 101549 | 326 3052 17166 | 6655 4698 138 | 0.618 % | c | 101888 | 326 3052 17166 | 7320 5037 139 | 0.624 % | c | 102394 | 326 3052 17166 | 8052 5543 140 | 0.621 % | c | 103154 | 326 3052 17166 | 8857 6303 142 | 0.618 % | c | 104293 | 326 3052 17166 | 9743 7442 144 | 0.624 % | c | 106001 | 326 3052 17166 | 10717 9150 146 | 0.628 % | c | 108564 | 326 3052 17166 | 11789 6239 142 | 0.614 % | c =============================================================================== c New solution: 6245 c Elapsed CPU time: 27.1519 s Remaining CPU time: 152.848 s c =============================================================================== c | 111391 | 326 3053 17366 | 5000 9066 146 | 0.614 % | c | 111491 | 326 3053 17366 | 5500 4633 139 | 0.611 % | c | 111641 | 326 3053 17366 | 6050 4783 140 | 0.611 % | c | 111866 | 326 3053 17366 | 6655 5008 140 | 0.611 % | c | 112203 | 326 3053 17366 | 7320 5345 141 | 0.632 % | c | 112710 | 326 3053 17366 | 8052 5852 142 | 0.611 % | c | 113469 | 326 3053 17366 | 8857 6611 144 | 0.618 % | c | 114609 | 326 3053 17366 | 9743 7751 145 | 0.614 % | c | 116318 | 326 3053 17366 | 10717 9460 147 | 0.611 % | c | 118881 | 326 3053 17366 | 11789 6548 144 | 0.611 % | c =============================================================================== c New solution: 6244 c Elapsed CPU time: 29.1896 s Remaining CPU time: 150.81 s c =============================================================================== c | 118884 | 326 3054 17566 | 5000 6551 144 | 0.611 % | c | 118984 | 326 3054 17566 | 5500 3376 135 | 0.611 % | c | 119135 | 326 3054 17566 | 6050 3527 135 | 0.611 % | c | 119360 | 326 3054 17566 | 6655 3752 136 | 0.611 % | c | 119698 | 326 3054 17566 | 7320 4090 137 | 0.611 % | c | 120204 | 326 3054 17566 | 8052 4596 139 | 0.628 % | c | 120964 | 326 3054 17566 | 8857 5356 140 | 0.621 % | c | 122104 | 326 3054 17566 | 9743 6496 142 | 0.611 % | c | 123812 | 326 3054 17566 | 10717 8204 144 | 0.614 % | c | 126375 | 326 3054 17566 | 11789 10767 146 | 0.622 % | c =============================================================================== c New solution: 6243 c Elapsed CPU time: 31.2363 s Remaining CPU time: 148.764 s c =============================================================================== c | 127484 | 326 3055 17766 | 5000 11876 146 | 0.622 % | c | 127584 | 326 3055 17766 | 5500 3069 130 | 0.621 % | c | 127734 | 326 3055 17766 | 6050 3219 131 | 0.627 % | c | 127959 | 326 3055 17766 | 6655 3444 132 | 0.618 % | c | 128297 | 326 3055 17766 | 7320 3782 133 | 0.624 % | c | 128804 | 326 3055 17766 | 8052 4289 135 | 0.621 % | c | 129564 | 326 3055 17766 | 8857 5049 138 | 0.618 % | c | 130705 | 326 3055 17766 | 9743 6190 139 | 0.624 % | c | 132415 | 326 3055 17766 | 10717 7900 142 | 0.621 % | c | 134977 | 326 3055 17766 | 11789 10462 144 | 0.611 % | c | 138821 | 326 3055 17766 | 12968 8295 143 | 0.611 % | c | 144587 | 326 3055 17766 | 14265 7525 141 | 0.613 % | c | 153237 | 326 3055 17766 | 15692 8921 144 | 0.614 % | c | 166212 | 326 3055 17766 | 17261 13937 145 | 0.623 % | c | 185673 | 326 3055 17766 | 18987 15887 147 | 0.613 % | c =============================================================================== c New solution: 6242 c Elapsed CPU time: 59.8119 s Remaining CPU time: 120.188 s c =============================================================================== c | 201909 | 326 3056 17966 | 5000 12880 147 | 0.613 % | c | 202010 | 326 3056 17966 | 5500 3321 130 | 0.611 % | c | 202160 | 326 3056 17966 | 6050 3471 131 | 0.611 % | c | 202386 | 326 3056 17966 | 6655 3697 133 | 0.611 % | c | 202723 | 326 3056 17966 | 7320 4034 134 | 0.611 % | c | 203229 | 326 3056 17966 | 8052 4540 135 | 0.621 % | c | 203988 | 326 3056 17966 | 8857 5299 137 | 0.611 % | c | 205129 | 326 3056 17966 | 9743 6440 139 | 0.618 % | c | 206838 | 326 3056 17966 | 10717 8149 141 | 0.611 % | c | 209401 | 326 3056 17966 | 11789 10712 143 | 0.611 % | c | 213245 | 326 3056 17966 | 12968 8549 142 | 0.611 % | c | 219013 | 326 3056 17966 | 14265 7728 139 | 0.611 % | c | 227662 | 326 3056 17966 | 15692 9132 142 | 0.611 % | c | 240637 | 326 3056 17966 | 17261 14150 143 | 0.611 % | c =============================================================================== c New solution: 6241 c Elapsed CPU time: 76.0384 s Remaining CPU time: 103.962 s c =============================================================================== c | 249267 | 326 3057 18166 | 5000 14037 145 | 0.611 % | c | 249367 | 326 3057 18166 | 5500 3610 130 | 0.611 % | c | 249518 | 326 3057 18166 | 6050 3761 130 | 0.611 % | c | 249744 | 326 3057 18166 | 6655 3987 131 | 0.611 % | c | 250081 | 326 3057 18166 | 7320 4324 133 | 0.611 % | c | 250588 | 326 3057 18166 | 8052 4831 134 | 0.611 % | c | 251347 | 326 3057 18166 | 8857 5590 135 | 0.628 % | c | 252487 | 326 3057 18166 | 9743 6730 138 | 0.618 % | c | 254195 | 326 3057 18166 | 10717 8438 140 | 0.627 % | c =============================================================================== c New solution: 6240 c Elapsed CPU time: 77.4672 s Remaining CPU time: 102.533 s c =============================================================================== c | 254516 | 326 3058 18366 | 5000 8759 140 | 0.627 % | c | 254616 | 326 3058 18366 | 5500 4480 131 | 0.613 % | c | 254766 | 326 3058 18366 | 6050 4630 132 | 0.611 % | c | 254992 | 326 3058 18366 | 6655 4856 132 | 0.611 % | c | 255329 | 326 3058 18366 | 7320 5193 133 | 0.611 % | c | 255835 | 326 3058 18366 | 8052 5699 134 | 0.624 % | c | 256595 | 326 3058 18366 | 8857 6459 136 | 0.618 % | c | 257735 | 326 3058 18366 | 9743 7599 137 | 0.624 % | c | 259443 | 326 3058 18366 | 10717 9307 139 | 0.621 % | c | 262005 | 326 3058 18366 | 11789 6399 135 | 0.611 % | c | 265850 | 326 3058 18366 | 12968 10244 139 | 0.633 % | c | 271616 | 326 3058 18366 | 14265 9407 140 | 0.611 % | c | 280265 | 326 3058 18366 | 15692 10808 141 | 0.622 % | c =============================================================================== c New solution: 6239 c Elapsed CPU time: 89.5374 s Remaining CPU time: 90.4626 s c =============================================================================== c | 285986 | 326 3059 18566 | 5000 8568 140 | 0.622 % | c | 286087 | 326 3059 18566 | 5500 4385 132 | 0.611 % | c | 286238 | 326 3059 18566 | 6050 4536 132 | 0.614 % | c | 286463 | 326 3059 18566 | 6655 4761 133 | 0.629 % | c | 286800 | 326 3059 18566 | 7320 5098 134 | 0.611 % | c | 287306 | 326 3059 18566 | 8052 5604 135 | 0.611 % | c | 288066 | 326 3059 18566 | 8857 6364 136 | 0.616 % | c | 289206 | 326 3059 18566 | 9743 7504 138 | 0.613 % | c | 290916 | 326 3059 18566 | 10717 9214 141 | 0.614 % | c | 293478 | 326 3059 18566 | 11789 6304 137 | 0.616 % | c | 297324 | 326 3059 18566 | 12968 10150 141 | 0.611 % | c =============================================================================== c New solution: 6238 c Elapsed CPU time: 95.0406 s Remaining CPU time: 84.9594 s c =============================================================================== c | 301607 | 326 3060 18766 | 5000 7833 140 | 0.611 % | c | 301709 | 326 3060 18766 | 5500 4019 132 | 0.618 % | c | 301859 | 326 3060 18766 | 6050 4169 132 | 0.611 % | c | 302085 | 326 3060 18766 | 6655 4395 133 | 0.621 % | c | 302423 | 326 3060 18766 | 7320 4733 134 | 0.624 % | c | 302930 | 326 3060 18766 | 8052 5240 135 | 0.614 % | c | 303690 | 326 3060 18766 | 8857 6000 136 | 0.611 % | c | 304829 | 326 3060 18766 | 9743 7139 137 | 0.624 % | c | 306537 | 326 3060 18766 | 10717 8847 139 | 0.611 % | c | 309100 | 326 3060 18766 | 11789 5940 133 | 0.616 % | c | 312944 | 326 3060 18766 | 12968 9784 138 | 0.611 % | c | 318711 | 326 3060 18766 | 14265 8952 138 | 0.611 % | c | 327361 | 326 3060 18766 | 15692 10362 137 | 0.611 % | c | 340335 | 326 3060 18766 | 17261 15361 141 | 0.632 % | c | 359797 | 326 3060 18766 | 18987 17354 141 | 0.616 % | c | 388989 | 326 3060 18766 | 20886 17690 144 | 0.611 % | c | 432781 | 326 3060 18766 | 22974 19236 144 | 0.614 % | c There are 2 assigned variables. 2 in cost function. c Memory used : 307.16 MB c CPU time : 180.518 s c c Total CPU time: 180.52 s