c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 3000 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 3000 | c | Number Clauses: 3000 | 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 | 2991 3001 8850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15753 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 2991 3002 11700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15747 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 0 | 2991 3003 14550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15742 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 0 | 2991 3004 17400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15739 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s c =============================================================================== c | 0 | 2991 3005 20250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15736 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 0 | 2991 3006 23100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15735 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 0 | 2991 3007 25950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15733 c Elapsed CPU time: 0.238963 s Remaining CPU time: 179.761 s c =============================================================================== c | 0 | 2991 3008 28800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15732 c Elapsed CPU time: 0.274958 s Remaining CPU time: 179.725 s c =============================================================================== c | 0 | 2991 3009 31650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15731 c Elapsed CPU time: 0.308953 s Remaining CPU time: 179.691 s c =============================================================================== c | 0 | 2991 3010 34500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15730 c Elapsed CPU time: 0.343947 s Remaining CPU time: 179.656 s c =============================================================================== c | 0 | 2991 3011 37350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15729 c Elapsed CPU time: 0.382941 s Remaining CPU time: 179.617 s c =============================================================================== c | 0 | 2991 3012 40200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15727 c Elapsed CPU time: 0.421935 s Remaining CPU time: 179.578 s c =============================================================================== c | 0 | 2991 3013 43050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15726 c Elapsed CPU time: 0.460929 s Remaining CPU time: 179.539 s c =============================================================================== c | 0 | 2991 3014 45900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15725 c Elapsed CPU time: 0.500923 s Remaining CPU time: 179.499 s c =============================================================================== c | 0 | 2991 3015 48750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15724 c Elapsed CPU time: 0.542917 s Remaining CPU time: 179.457 s c =============================================================================== c | 0 | 2991 3016 51600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15723 c Elapsed CPU time: 0.583911 s Remaining CPU time: 179.416 s c =============================================================================== c | 0 | 2991 3017 54450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15722 c Elapsed CPU time: 0.627904 s Remaining CPU time: 179.372 s c =============================================================================== c | 0 | 2991 3018 57300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15721 c Elapsed CPU time: 0.671897 s Remaining CPU time: 179.328 s c =============================================================================== c | 0 | 2991 3019 60150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15720 c Elapsed CPU time: 0.715891 s Remaining CPU time: 179.284 s c =============================================================================== c | 0 | 2991 3020 63000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15719 c Elapsed CPU time: 0.760884 s Remaining CPU time: 179.239 s c =============================================================================== c | 0 | 2991 3021 65850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15718 c Elapsed CPU time: 0.807877 s Remaining CPU time: 179.192 s c =============================================================================== c | 0 | 2991 3022 68700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15717 c Elapsed CPU time: 0.85487 s Remaining CPU time: 179.145 s c =============================================================================== c | 0 | 2991 3023 71550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15716 c Elapsed CPU time: 0.902862 s Remaining CPU time: 179.097 s c =============================================================================== c | 0 | 2991 3024 74400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15715 c Elapsed CPU time: 0.954854 s Remaining CPU time: 179.045 s c =============================================================================== c | 0 | 2991 3025 77250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15714 c Elapsed CPU time: 1.00685 s Remaining CPU time: 178.993 s c =============================================================================== c | 0 | 2991 3026 80100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15712 c Elapsed CPU time: 1.05684 s Remaining CPU time: 178.943 s c =============================================================================== c | 0 | 2991 3027 82950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15711 c Elapsed CPU time: 1.10983 s Remaining CPU time: 178.89 s c =============================================================================== c | 0 | 2991 3028 85800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15709 c Elapsed CPU time: 1.16282 s Remaining CPU time: 178.837 s c =============================================================================== c | 0 | 2991 3029 88650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15708 c Elapsed CPU time: 1.22081 s Remaining CPU time: 178.779 s c =============================================================================== c | 0 | 2991 3030 91500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15706 c Elapsed CPU time: 1.27981 s Remaining CPU time: 178.72 s c =============================================================================== c | 0 | 2991 3031 94350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15704 c Elapsed CPU time: 1.3378 s Remaining CPU time: 178.662 s c =============================================================================== c | 0 | 2991 3032 97200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15700 c Elapsed CPU time: 1.39979 s Remaining CPU time: 178.6 s c =============================================================================== c | 0 | 2991 3033 100050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15697 c Elapsed CPU time: 1.46378 s Remaining CPU time: 178.536 s c =============================================================================== c | 0 | 2991 3034 102900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15696 c Elapsed CPU time: 1.53277 s Remaining CPU time: 178.467 s c =============================================================================== c | 0 | 2991 3035 105750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15695 c Elapsed CPU time: 1.59876 s Remaining CPU time: 178.401 s c =============================================================================== c | 0 | 2991 3036 108600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15692 c Elapsed CPU time: 1.66075 s Remaining CPU time: 178.339 s c =============================================================================== c | 0 | 2991 3037 111450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15691 c Elapsed CPU time: 1.72874 s Remaining CPU time: 178.271 s c =============================================================================== c | 0 | 2991 3038 114300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15690 c Elapsed CPU time: 1.79473 s Remaining CPU time: 178.205 s c =============================================================================== c | 0 | 2991 3039 117150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15688 c Elapsed CPU time: 1.86272 s Remaining CPU time: 178.137 s c =============================================================================== c | 0 | 2991 3040 120000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15686 c Elapsed CPU time: 1.93271 s Remaining CPU time: 178.067 s c =============================================================================== c | 0 | 2991 3041 122850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15684 c Elapsed CPU time: 2.00569 s Remaining CPU time: 177.994 s c =============================================================================== c | 0 | 2991 3042 125700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15683 c Elapsed CPU time: 2.08368 s Remaining CPU time: 177.916 s c =============================================================================== c | 0 | 2991 3043 128550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15681 c Elapsed CPU time: 2.16167 s Remaining CPU time: 177.838 s c =============================================================================== c | 0 | 2991 3044 131400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15680 c Elapsed CPU time: 2.23766 s Remaining CPU time: 177.762 s c =============================================================================== c | 0 | 2991 3045 134250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15679 c Elapsed CPU time: 2.31865 s Remaining CPU time: 177.681 s c =============================================================================== c | 0 | 2991 3046 137100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15676 c Elapsed CPU time: 2.40263 s Remaining CPU time: 177.597 s c =============================================================================== c | 0 | 2991 3047 139950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15674 c Elapsed CPU time: 2.48762 s Remaining CPU time: 177.512 s c =============================================================================== c | 0 | 2991 3048 142800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15671 c Elapsed CPU time: 2.56861 s Remaining CPU time: 177.431 s c =============================================================================== c | 0 | 2991 3049 145650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15666 c Elapsed CPU time: 2.6516 s Remaining CPU time: 177.348 s c =============================================================================== c | 0 | 2991 3050 148500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15662 c Elapsed CPU time: 2.73958 s Remaining CPU time: 177.26 s c =============================================================================== c | 0 | 2991 3051 151350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15658 c Elapsed CPU time: 2.83157 s Remaining CPU time: 177.168 s c =============================================================================== c | 0 | 2991 3052 154200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15656 c Elapsed CPU time: 2.92755 s Remaining CPU time: 177.072 s c =============================================================================== c | 0 | 2991 3053 157050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15655 c Elapsed CPU time: 3.02354 s Remaining CPU time: 176.976 s c =============================================================================== c | 0 | 2991 3054 159900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15653 c Elapsed CPU time: 3.12052 s Remaining CPU time: 176.879 s c =============================================================================== c | 0 | 2991 3055 162750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15652 c Elapsed CPU time: 3.22451 s Remaining CPU time: 176.775 s c =============================================================================== c | 0 | 2991 3056 165600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15651 c Elapsed CPU time: 3.32849 s Remaining CPU time: 176.672 s c =============================================================================== c | 0 | 2991 3057 168450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15650 c Elapsed CPU time: 3.43448 s Remaining CPU time: 176.566 s c =============================================================================== c | 0 | 2991 3058 171300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15646 c Elapsed CPU time: 3.53746 s Remaining CPU time: 176.463 s c =============================================================================== c | 0 | 2991 3059 174150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15645 c Elapsed CPU time: 3.65144 s Remaining CPU time: 176.349 s c =============================================================================== c | 0 | 2991 3060 177000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15644 c Elapsed CPU time: 3.76643 s Remaining CPU time: 176.234 s c =============================================================================== c | 0 | 2991 3061 179850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15642 c Elapsed CPU time: 3.87941 s Remaining CPU time: 176.121 s c =============================================================================== c | 0 | 2991 3062 182700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15640 c Elapsed CPU time: 3.99639 s Remaining CPU time: 176.004 s c =============================================================================== c | 0 | 2991 3063 185550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15639 c Elapsed CPU time: 4.11437 s Remaining CPU time: 175.886 s c =============================================================================== c | 0 | 2991 3064 188400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15638 c Elapsed CPU time: 4.23136 s Remaining CPU time: 175.769 s c =============================================================================== c | 0 | 2991 3065 191250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15637 c Elapsed CPU time: 4.35034 s Remaining CPU time: 175.65 s c =============================================================================== c | 0 | 2991 3066 194100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15636 c Elapsed CPU time: 4.47032 s Remaining CPU time: 175.53 s c =============================================================================== c | 0 | 2991 3067 196950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15634 c Elapsed CPU time: 4.5913 s Remaining CPU time: 175.409 s c =============================================================================== c | 0 | 2991 3068 199800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15633 c Elapsed CPU time: 4.71328 s Remaining CPU time: 175.287 s c =============================================================================== c | 0 | 2991 3069 202650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15632 c Elapsed CPU time: 4.84026 s Remaining CPU time: 175.16 s c =============================================================================== c | 0 | 2991 3070 205500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15631 c Elapsed CPU time: 4.96525 s Remaining CPU time: 175.035 s c =============================================================================== c | 0 | 2991 3071 208350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15630 c Elapsed CPU time: 5.09223 s Remaining CPU time: 174.908 s c =============================================================================== c | 0 | 2991 3072 211200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15629 c Elapsed CPU time: 5.2242 s Remaining CPU time: 174.776 s c =============================================================================== c | 0 | 2991 3073 214050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15628 c Elapsed CPU time: 5.35719 s Remaining CPU time: 174.643 s c =============================================================================== c | 0 | 2991 3074 216900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15625 c Elapsed CPU time: 5.49017 s Remaining CPU time: 174.51 s c =============================================================================== c | 0 | 2991 3075 219750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15624 c Elapsed CPU time: 5.62315 s Remaining CPU time: 174.377 s c =============================================================================== c | 0 | 2991 3076 222600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15621 c Elapsed CPU time: 5.75712 s Remaining CPU time: 174.243 s c =============================================================================== c | 0 | 2991 3077 225450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15620 c Elapsed CPU time: 5.8961 s Remaining CPU time: 174.104 s c =============================================================================== c | 0 | 2991 3078 228300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15615 c Elapsed CPU time: 6.03408 s Remaining CPU time: 173.966 s c =============================================================================== c | 0 | 2991 3079 231150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15614 c Elapsed CPU time: 6.17406 s Remaining CPU time: 173.826 s c =============================================================================== c | 0 | 2991 3080 234000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15613 c Elapsed CPU time: 6.32304 s Remaining CPU time: 173.677 s c =============================================================================== c | 0 | 2991 3081 236850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15611 c Elapsed CPU time: 6.46602 s Remaining CPU time: 173.534 s c =============================================================================== c | 0 | 2991 3082 239700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15609 c Elapsed CPU time: 6.61299 s Remaining CPU time: 173.387 s c =============================================================================== c | 0 | 2991 3083 242550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15604 c Elapsed CPU time: 6.76497 s Remaining CPU time: 173.235 s c =============================================================================== c | 0 | 2991 3084 245400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15601 c Elapsed CPU time: 6.91995 s Remaining CPU time: 173.08 s c =============================================================================== c | 0 | 2991 3085 248250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15599 c Elapsed CPU time: 7.07692 s Remaining CPU time: 172.923 s c =============================================================================== c | 0 | 2991 3086 251100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15596 c Elapsed CPU time: 7.2269 s Remaining CPU time: 172.773 s c =============================================================================== c | 0 | 2991 3087 253950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15595 c Elapsed CPU time: 7.38088 s Remaining CPU time: 172.619 s c =============================================================================== c | 0 | 2991 3088 256800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15594 c Elapsed CPU time: 7.54085 s Remaining CPU time: 172.459 s c =============================================================================== c | 0 | 2991 3089 259650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15593 c Elapsed CPU time: 7.69783 s Remaining CPU time: 172.302 s c =============================================================================== c | 0 | 2991 3090 262500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15590 c Elapsed CPU time: 7.8618 s Remaining CPU time: 172.138 s c =============================================================================== c | 0 | 2991 3091 265350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15588 c Elapsed CPU time: 8.02778 s Remaining CPU time: 171.972 s c =============================================================================== c | 0 | 2991 3092 268200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15587 c Elapsed CPU time: 8.19175 s Remaining CPU time: 171.808 s c =============================================================================== c | 0 | 2991 3093 271050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15585 c Elapsed CPU time: 8.35873 s Remaining CPU time: 171.641 s c =============================================================================== c | 0 | 2991 3094 273900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15584 c Elapsed CPU time: 8.5407 s Remaining CPU time: 171.459 s c =============================================================================== c | 0 | 2991 3095 276750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15583 c Elapsed CPU time: 8.71967 s Remaining CPU time: 171.28 s c =============================================================================== c | 0 | 2991 3096 279600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15582 c Elapsed CPU time: 8.90765 s Remaining CPU time: 171.092 s c =============================================================================== c | 0 | 2991 3097 282450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15581 c Elapsed CPU time: 9.08662 s Remaining CPU time: 170.913 s c =============================================================================== c | 0 | 2991 3098 285300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15580 c Elapsed CPU time: 9.26559 s Remaining CPU time: 170.734 s c =============================================================================== c | 0 | 2991 3099 288150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15579 c Elapsed CPU time: 9.44856 s Remaining CPU time: 170.551 s c =============================================================================== c | 0 | 2991 3100 291000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15578 c Elapsed CPU time: 9.63354 s Remaining CPU time: 170.366 s c =============================================================================== c | 0 | 2991 3101 293850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15577 c Elapsed CPU time: 9.81551 s Remaining CPU time: 170.184 s c =============================================================================== c | 0 | 2991 3102 296700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15576 c Elapsed CPU time: 10.0125 s Remaining CPU time: 169.988 s c =============================================================================== c | 0 | 2991 3103 299550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15575 c Elapsed CPU time: 10.2014 s Remaining CPU time: 169.799 s c =============================================================================== c | 0 | 2991 3104 302400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15573 c Elapsed CPU time: 10.4034 s Remaining CPU time: 169.597 s c =============================================================================== c | 0 | 2991 3105 305250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15571 c Elapsed CPU time: 10.6044 s Remaining CPU time: 169.396 s c =============================================================================== c | 0 | 2991 3106 308100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15567 c Elapsed CPU time: 10.8044 s Remaining CPU time: 169.196 s c =============================================================================== c | 0 | 2991 3107 310950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15565 c Elapsed CPU time: 11.0123 s Remaining CPU time: 168.988 s c =============================================================================== c | 0 | 2991 3108 313800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15562 c Elapsed CPU time: 11.2203 s Remaining CPU time: 168.78 s c =============================================================================== c | 0 | 2991 3109 316650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15561 c Elapsed CPU time: 11.4283 s Remaining CPU time: 168.572 s c =============================================================================== c | 0 | 2991 3110 319500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15559 c Elapsed CPU time: 11.6382 s Remaining CPU time: 168.362 s c =============================================================================== c | 0 | 2991 3111 322350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15558 c Elapsed CPU time: 11.8502 s Remaining CPU time: 168.15 s c =============================================================================== c | 0 | 2991 3112 325200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15557 c Elapsed CPU time: 12.0612 s Remaining CPU time: 167.939 s c =============================================================================== c | 0 | 2991 3113 328050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15556 c Elapsed CPU time: 12.2731 s Remaining CPU time: 167.727 s c =============================================================================== c | 0 | 2991 3114 330900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15555 c Elapsed CPU time: 12.4911 s Remaining CPU time: 167.509 s c =============================================================================== c | 0 | 2991 3115 333750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15554 c Elapsed CPU time: 12.7161 s Remaining CPU time: 167.284 s c =============================================================================== c | 0 | 2991 3116 336600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15553 c Elapsed CPU time: 12.942 s Remaining CPU time: 167.058 s c =============================================================================== c | 0 | 2991 3117 339450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15551 c Elapsed CPU time: 13.166 s Remaining CPU time: 166.834 s c =============================================================================== c | 0 | 2991 3118 342300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15549 c Elapsed CPU time: 13.394 s Remaining CPU time: 166.606 s c =============================================================================== c | 0 | 2991 3119 345150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15548 c Elapsed CPU time: 13.6269 s Remaining CPU time: 166.373 s c =============================================================================== c | 0 | 2991 3120 348000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15547 c Elapsed CPU time: 13.8539 s Remaining CPU time: 166.146 s c =============================================================================== c | 0 | 2991 3121 350850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15546 c Elapsed CPU time: 14.0869 s Remaining CPU time: 165.913 s c =============================================================================== c | 0 | 2991 3122 353700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15541 c Elapsed CPU time: 14.3198 s Remaining CPU time: 165.68 s c =============================================================================== c | 0 | 2991 3123 356550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15539 c Elapsed CPU time: 14.5538 s Remaining CPU time: 165.446 s c =============================================================================== c | 0 | 2991 3124 359400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15538 c Elapsed CPU time: 14.7868 s Remaining CPU time: 165.213 s c =============================================================================== c | 0 | 2991 3125 362250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15535 c Elapsed CPU time: 15.0227 s Remaining CPU time: 164.977 s c =============================================================================== c | 0 | 2991 3126 365100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15534 c Elapsed CPU time: 15.2627 s Remaining CPU time: 164.737 s c =============================================================================== c | 0 | 2991 3127 367950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15532 c Elapsed CPU time: 15.5026 s Remaining CPU time: 164.497 s c =============================================================================== c | 0 | 2991 3128 370800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15531 c Elapsed CPU time: 15.7426 s Remaining CPU time: 164.257 s c =============================================================================== c | 0 | 2991 3129 373650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15528 c Elapsed CPU time: 15.9846 s Remaining CPU time: 164.015 s c =============================================================================== c | 0 | 2991 3130 376500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15526 c Elapsed CPU time: 16.2325 s Remaining CPU time: 163.767 s c =============================================================================== c | 0 | 2991 3131 379350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15524 c Elapsed CPU time: 16.4825 s Remaining CPU time: 163.518 s c =============================================================================== c | 0 | 2991 3132 382200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15523 c Elapsed CPU time: 16.7345 s Remaining CPU time: 163.266 s c =============================================================================== c | 0 | 2991 3133 385050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15522 c Elapsed CPU time: 17.0014 s Remaining CPU time: 162.999 s c =============================================================================== c | 0 | 2991 3134 387900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15521 c Elapsed CPU time: 17.2664 s Remaining CPU time: 162.734 s c =============================================================================== c | 0 | 2991 3135 390750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15520 c Elapsed CPU time: 17.5333 s Remaining CPU time: 162.467 s c =============================================================================== c | 0 | 2991 3136 393600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15519 c Elapsed CPU time: 17.8023 s Remaining CPU time: 162.198 s c =============================================================================== c | 0 | 2991 3137 396450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15518 c Elapsed CPU time: 18.0683 s Remaining CPU time: 161.932 s c =============================================================================== c | 0 | 2991 3138 399300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15516 c Elapsed CPU time: 18.3302 s Remaining CPU time: 161.67 s c =============================================================================== c | 0 | 2991 3139 402150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15514 c Elapsed CPU time: 18.6032 s Remaining CPU time: 161.397 s c =============================================================================== c | 0 | 2991 3140 405000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15512 c Elapsed CPU time: 18.8791 s Remaining CPU time: 161.121 s c =============================================================================== c | 0 | 2991 3141 407850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15510 c Elapsed CPU time: 19.1631 s Remaining CPU time: 160.837 s c =============================================================================== c | 0 | 2991 3142 410700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15509 c Elapsed CPU time: 19.438 s Remaining CPU time: 160.562 s c =============================================================================== c | 0 | 2991 3143 413550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15507 c Elapsed CPU time: 19.729 s Remaining CPU time: 160.271 s c =============================================================================== c | 0 | 2991 3144 416400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15506 c Elapsed CPU time: 20.027 s Remaining CPU time: 159.973 s c =============================================================================== c | 0 | 2991 3145 419250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15505 c Elapsed CPU time: 20.3139 s Remaining CPU time: 159.686 s c =============================================================================== c | 0 | 2991 3146 422100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15503 c Elapsed CPU time: 20.5979 s Remaining CPU time: 159.402 s c =============================================================================== c | 0 | 2991 3147 424950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15501 c Elapsed CPU time: 20.8858 s Remaining CPU time: 159.114 s c =============================================================================== c | 0 | 2991 3148 427800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15500 c Elapsed CPU time: 21.1748 s Remaining CPU time: 158.825 s c =============================================================================== c | 0 | 2991 3149 430650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15499 c Elapsed CPU time: 21.4677 s Remaining CPU time: 158.532 s c =============================================================================== c | 0 | 2991 3150 433500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15497 c Elapsed CPU time: 21.7547 s Remaining CPU time: 158.245 s c =============================================================================== c | 0 | 2991 3151 436350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15496 c Elapsed CPU time: 22.0446 s Remaining CPU time: 157.955 s c =============================================================================== c | 0 | 2991 3152 439200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15493 c Elapsed CPU time: 22.3366 s Remaining CPU time: 157.663 s c =============================================================================== c | 0 | 2991 3153 442050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15490 c Elapsed CPU time: 22.6316 s Remaining CPU time: 157.368 s c =============================================================================== c | 0 | 2991 3154 444900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15489 c Elapsed CPU time: 22.9325 s Remaining CPU time: 157.067 s c =============================================================================== c | 0 | 2991 3155 447750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15488 c Elapsed CPU time: 23.2345 s Remaining CPU time: 156.766 s c =============================================================================== c | 0 | 2991 3156 450600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15487 c Elapsed CPU time: 23.5404 s Remaining CPU time: 156.46 s c =============================================================================== c | 0 | 2991 3157 453450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15486 c Elapsed CPU time: 23.8534 s Remaining CPU time: 156.147 s c =============================================================================== c | 0 | 2991 3158 456300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15485 c Elapsed CPU time: 24.1533 s Remaining CPU time: 155.847 s c =============================================================================== c | 0 | 2991 3159 459150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15484 c Elapsed CPU time: 24.4583 s Remaining CPU time: 155.542 s c =============================================================================== c | 0 | 2991 3160 462000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15483 c Elapsed CPU time: 24.7662 s Remaining CPU time: 155.234 s c =============================================================================== c | 0 | 2991 3161 464850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15481 c Elapsed CPU time: 25.0842 s Remaining CPU time: 154.916 s c =============================================================================== c | 0 | 2991 3162 467700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15479 c Elapsed CPU time: 25.4051 s Remaining CPU time: 154.595 s c =============================================================================== c | 0 | 2991 3163 470550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15478 c Elapsed CPU time: 25.7311 s Remaining CPU time: 154.269 s c =============================================================================== c | 0 | 2991 3164 473400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15477 c Elapsed CPU time: 26.049 s Remaining CPU time: 153.951 s c =============================================================================== c | 0 | 2991 3165 476250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15476 c Elapsed CPU time: 26.389 s Remaining CPU time: 153.611 s c =============================================================================== c | 0 | 2991 3166 479100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15475 c Elapsed CPU time: 26.7269 s Remaining CPU time: 153.273 s c =============================================================================== c | 0 | 2991 3167 481950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15474 c Elapsed CPU time: 27.0579 s Remaining CPU time: 152.942 s c =============================================================================== c | 0 | 2991 3168 484800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15472 c Elapsed CPU time: 27.3888 s Remaining CPU time: 152.611 s c =============================================================================== c | 0 | 2991 3169 487650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15471 c Elapsed CPU time: 27.7288 s Remaining CPU time: 152.271 s c =============================================================================== c | 0 | 2991 3170 490500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15470 c Elapsed CPU time: 28.0707 s Remaining CPU time: 151.929 s c =============================================================================== c | 0 | 2991 3171 493350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15469 c Elapsed CPU time: 28.3987 s Remaining CPU time: 151.601 s c =============================================================================== c | 0 | 2991 3172 496200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15468 c Elapsed CPU time: 28.7306 s Remaining CPU time: 151.269 s c =============================================================================== c | 0 | 2991 3173 499050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15466 c Elapsed CPU time: 29.0556 s Remaining CPU time: 150.944 s c =============================================================================== c | 0 | 2991 3174 501900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15465 c Elapsed CPU time: 29.4035 s Remaining CPU time: 150.596 s c =============================================================================== c | 0 | 2991 3175 504750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15464 c Elapsed CPU time: 29.7545 s Remaining CPU time: 150.246 s c =============================================================================== c | 0 | 2991 3176 507600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15463 c Elapsed CPU time: 30.1054 s Remaining CPU time: 149.895 s c =============================================================================== c | 0 | 2991 3177 510450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15462 c Elapsed CPU time: 30.4644 s Remaining CPU time: 149.536 s c =============================================================================== c | 0 | 2991 3178 513300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15460 c Elapsed CPU time: 30.8263 s Remaining CPU time: 149.174 s c =============================================================================== c | 0 | 2991 3179 516150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15459 c Elapsed CPU time: 31.1743 s Remaining CPU time: 148.826 s c =============================================================================== c | 0 | 2991 3180 519000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15458 c Elapsed CPU time: 31.5212 s Remaining CPU time: 148.479 s c =============================================================================== c | 0 | 2991 3181 521850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15457 c Elapsed CPU time: 31.8742 s Remaining CPU time: 148.126 s c =============================================================================== c | 0 | 2991 3182 524700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15454 c Elapsed CPU time: 32.2261 s Remaining CPU time: 147.774 s c =============================================================================== c | 0 | 2991 3183 527550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15453 c Elapsed CPU time: 32.594 s Remaining CPU time: 147.406 s c =============================================================================== c | 0 | 2991 3184 530400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15452 c Elapsed CPU time: 32.951 s Remaining CPU time: 147.049 s c =============================================================================== c | 0 | 2991 3185 533250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15451 c Elapsed CPU time: 33.3189 s Remaining CPU time: 146.681 s c =============================================================================== c | 0 | 2991 3186 536100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15449 c Elapsed CPU time: 33.6769 s Remaining CPU time: 146.323 s c =============================================================================== c | 0 | 2991 3187 538950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15448 c Elapsed CPU time: 34.0538 s Remaining CPU time: 145.946 s c =============================================================================== c | 0 | 2991 3188 541800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15446 c Elapsed CPU time: 34.4238 s Remaining CPU time: 145.576 s c =============================================================================== c | 0 | 2991 3189 544650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15445 c Elapsed CPU time: 34.7937 s Remaining CPU time: 145.206 s c =============================================================================== c | 0 | 2991 3190 547500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15444 c Elapsed CPU time: 35.1537 s Remaining CPU time: 144.846 s c =============================================================================== c | 0 | 2991 3191 550350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15443 c Elapsed CPU time: 35.5276 s Remaining CPU time: 144.472 s c =============================================================================== c | 0 | 2991 3192 553200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15439 c Elapsed CPU time: 35.8925 s Remaining CPU time: 144.107 s c =============================================================================== c | 0 | 2991 3193 556050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15436 c Elapsed CPU time: 36.2615 s Remaining CPU time: 143.739 s c =============================================================================== c | 0 | 2991 3194 558900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15435 c Elapsed CPU time: 36.6304 s Remaining CPU time: 143.37 s c =============================================================================== c | 0 | 2991 3195 561750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15434 c Elapsed CPU time: 37.0044 s Remaining CPU time: 142.996 s c =============================================================================== c | 0 | 2991 3196 564600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15433 c Elapsed CPU time: 37.4083 s Remaining CPU time: 142.592 s c =============================================================================== c | 0 | 2991 3197 567450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15432 c Elapsed CPU time: 37.8103 s Remaining CPU time: 142.19 s c =============================================================================== c | 0 | 2991 3198 570300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15431 c Elapsed CPU time: 38.1822 s Remaining CPU time: 141.818 s c =============================================================================== c | 0 | 2991 3199 573150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15430 c Elapsed CPU time: 38.5601 s Remaining CPU time: 141.44 s c =============================================================================== c | 0 | 2991 3200 576000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15429 c Elapsed CPU time: 38.9461 s Remaining CPU time: 141.054 s c =============================================================================== c | 0 | 2991 3201 578850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15428 c Elapsed CPU time: 39.327 s Remaining CPU time: 140.673 s c =============================================================================== c | 0 | 2991 3202 581700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15427 c Elapsed CPU time: 39.733 s Remaining CPU time: 140.267 s c =============================================================================== c | 0 | 2991 3203 584550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15426 c Elapsed CPU time: 40.1379 s Remaining CPU time: 139.862 s c =============================================================================== c | 0 | 2991 3204 587400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15424 c Elapsed CPU time: 40.5328 s Remaining CPU time: 139.467 s c =============================================================================== c | 0 | 2991 3205 590250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15423 c Elapsed CPU time: 40.9358 s Remaining CPU time: 139.064 s c =============================================================================== c | 0 | 2991 3206 593100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15422 c Elapsed CPU time: 41.3237 s Remaining CPU time: 138.676 s c =============================================================================== c | 0 | 2991 3207 595950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15421 c Elapsed CPU time: 41.7187 s Remaining CPU time: 138.281 s c =============================================================================== c | 0 | 2991 3208 598800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15420 c Elapsed CPU time: 42.1196 s Remaining CPU time: 137.88 s c =============================================================================== c | 0 | 2991 3209 601650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15419 c Elapsed CPU time: 42.5155 s Remaining CPU time: 137.484 s c =============================================================================== c | 0 | 2991 3210 604500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15417 c Elapsed CPU time: 42.9105 s Remaining CPU time: 137.09 s c =============================================================================== c | 0 | 2991 3211 607350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15416 c Elapsed CPU time: 43.3104 s Remaining CPU time: 136.69 s c =============================================================================== c | 0 | 2991 3212 610200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15414 c Elapsed CPU time: 43.7234 s Remaining CPU time: 136.277 s c =============================================================================== c | 0 | 2991 3213 613050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15413 c Elapsed CPU time: 44.1573 s Remaining CPU time: 135.843 s c =============================================================================== c | 0 | 2991 3214 615900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15412 c Elapsed CPU time: 44.5892 s Remaining CPU time: 135.411 s c =============================================================================== c | 0 | 2991 3215 618750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15411 c Elapsed CPU time: 45.0122 s Remaining CPU time: 134.988 s c =============================================================================== c | 0 | 2991 3216 621600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15410 c Elapsed CPU time: 45.4551 s Remaining CPU time: 134.545 s c =============================================================================== c | 0 | 2991 3217 624450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15409 c Elapsed CPU time: 45.884 s Remaining CPU time: 134.116 s c =============================================================================== c | 0 | 2991 3218 627300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15408 c Elapsed CPU time: 46.321 s Remaining CPU time: 133.679 s c =============================================================================== c | 0 | 2991 3219 630150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15407 c Elapsed CPU time: 46.7619 s Remaining CPU time: 133.238 s c =============================================================================== c | 0 | 2991 3220 633000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15405 c Elapsed CPU time: 47.2028 s Remaining CPU time: 132.797 s c =============================================================================== c | 0 | 2991 3221 635850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15404 c Elapsed CPU time: 47.6378 s Remaining CPU time: 132.362 s c =============================================================================== c | 0 | 2991 3222 638700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15403 c Elapsed CPU time: 48.0817 s Remaining CPU time: 131.918 s c =============================================================================== c | 0 | 2991 3223 641550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15401 c Elapsed CPU time: 48.5196 s Remaining CPU time: 131.48 s c =============================================================================== c | 0 | 2991 3224 644400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15399 c Elapsed CPU time: 48.9626 s Remaining CPU time: 131.037 s c =============================================================================== c | 0 | 2991 3225 647250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15398 c Elapsed CPU time: 49.3965 s Remaining CPU time: 130.604 s c =============================================================================== c | 0 | 2991 3226 650100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15397 c Elapsed CPU time: 49.8284 s Remaining CPU time: 130.172 s c =============================================================================== c | 0 | 2991 3227 652950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15395 c Elapsed CPU time: 50.2734 s Remaining CPU time: 129.727 s c =============================================================================== c | 0 | 2991 3228 655800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15394 c Elapsed CPU time: 50.7173 s Remaining CPU time: 129.283 s c =============================================================================== c | 0 | 2991 3229 658650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15393 c Elapsed CPU time: 51.1622 s Remaining CPU time: 128.838 s c =============================================================================== c | 0 | 2991 3230 661500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15390 c Elapsed CPU time: 51.6471 s Remaining CPU time: 128.353 s c =============================================================================== c | 0 | 2991 3231 664350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15388 c Elapsed CPU time: 52.1291 s Remaining CPU time: 127.871 s c =============================================================================== c | 0 | 2991 3232 667200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15387 c Elapsed CPU time: 52.615 s Remaining CPU time: 127.385 s c =============================================================================== c | 0 | 2991 3233 670050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15386 c Elapsed CPU time: 53.0959 s Remaining CPU time: 126.904 s c =============================================================================== c | 0 | 2991 3234 672900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15385 c Elapsed CPU time: 53.5859 s Remaining CPU time: 126.414 s c =============================================================================== c | 0 | 2991 3235 675750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15383 c Elapsed CPU time: 54.0748 s Remaining CPU time: 125.925 s c =============================================================================== c | 0 | 2991 3236 678600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15382 c Elapsed CPU time: 54.5537 s Remaining CPU time: 125.446 s c =============================================================================== c | 0 | 2991 3237 681450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15379 c Elapsed CPU time: 55.0486 s Remaining CPU time: 124.951 s c =============================================================================== c | 0 | 2991 3238 684300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15378 c Elapsed CPU time: 55.5666 s Remaining CPU time: 124.433 s c =============================================================================== c | 0 | 2991 3239 687150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15377 c Elapsed CPU time: 56.0565 s Remaining CPU time: 123.944 s c =============================================================================== c | 0 | 2991 3240 690000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15376 c Elapsed CPU time: 56.5494 s Remaining CPU time: 123.451 s c =============================================================================== c | 0 | 2991 3241 692850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15375 c Elapsed CPU time: 57.0543 s Remaining CPU time: 122.946 s c =============================================================================== c | 0 | 2991 3242 695700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15373 c Elapsed CPU time: 57.5902 s Remaining CPU time: 122.41 s c =============================================================================== c | 0 | 2991 3243 698550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15372 c Elapsed CPU time: 58.1422 s Remaining CPU time: 121.858 s c =============================================================================== c | 0 | 2991 3244 701400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15370 c Elapsed CPU time: 58.6611 s Remaining CPU time: 121.339 s c =============================================================================== c | 0 | 2991 3245 704250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15369 c Elapsed CPU time: 59.177 s Remaining CPU time: 120.823 s c =============================================================================== c | 0 | 2991 3246 707100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15368 c Elapsed CPU time: 59.6119 s Remaining CPU time: 120.388 s c =============================================================================== c | 0 | 2991 3247 709950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15367 c Elapsed CPU time: 60.0479 s Remaining CPU time: 119.952 s c =============================================================================== c | 0 | 2991 3248 712800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15366 c Elapsed CPU time: 60.5008 s Remaining CPU time: 119.499 s c =============================================================================== c | 0 | 2991 3249 715650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15365 c Elapsed CPU time: 60.9777 s Remaining CPU time: 119.022 s c =============================================================================== c | 0 | 2991 3250 718500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15363 c Elapsed CPU time: 61.4397 s Remaining CPU time: 118.56 s c =============================================================================== c | 0 | 2991 3251 721350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15362 c Elapsed CPU time: 61.9266 s Remaining CPU time: 118.073 s c =============================================================================== c | 0 | 2991 3252 724200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15361 c Elapsed CPU time: 62.3985 s Remaining CPU time: 117.601 s c =============================================================================== c | 0 | 2991 3253 727050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15360 c Elapsed CPU time: 62.8724 s Remaining CPU time: 117.128 s c =============================================================================== c | 0 | 2991 3254 729900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15359 c Elapsed CPU time: 63.3324 s Remaining CPU time: 116.668 s c =============================================================================== c | 0 | 2991 3255 732750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15357 c Elapsed CPU time: 63.7923 s Remaining CPU time: 116.208 s c =============================================================================== c | 0 | 2991 3256 735600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15356 c Elapsed CPU time: 64.2482 s Remaining CPU time: 115.752 s c =============================================================================== c | 0 | 2991 3257 738450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15355 c Elapsed CPU time: 64.7052 s Remaining CPU time: 115.295 s c =============================================================================== c | 0 | 2991 3258 741300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15353 c Elapsed CPU time: 65.1601 s Remaining CPU time: 114.84 s c =============================================================================== c | 0 | 2991 3259 744150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15352 c Elapsed CPU time: 65.618 s Remaining CPU time: 114.382 s c =============================================================================== c | 0 | 2991 3260 747000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15351 c Elapsed CPU time: 66.088 s Remaining CPU time: 113.912 s c =============================================================================== c | 0 | 2991 3261 749850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15350 c Elapsed CPU time: 66.5529 s Remaining CPU time: 113.447 s c =============================================================================== c | 0 | 2991 3262 752700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15348 c Elapsed CPU time: 67.0008 s Remaining CPU time: 112.999 s c =============================================================================== c | 0 | 2991 3263 755550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15346 c Elapsed CPU time: 67.4427 s Remaining CPU time: 112.557 s c =============================================================================== c | 0 | 2991 3264 758400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15343 c Elapsed CPU time: 67.8817 s Remaining CPU time: 112.118 s c =============================================================================== c | 0 | 2991 3265 761250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15341 c Elapsed CPU time: 68.3236 s Remaining CPU time: 111.676 s c =============================================================================== c | 0 | 2991 3266 764100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15340 c Elapsed CPU time: 68.7805 s Remaining CPU time: 111.219 s c =============================================================================== c | 0 | 2991 3267 766950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15339 c Elapsed CPU time: 69.2645 s Remaining CPU time: 110.736 s c =============================================================================== c | 0 | 2991 3268 769800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15338 c Elapsed CPU time: 69.7484 s Remaining CPU time: 110.252 s c =============================================================================== c | 0 | 2991 3269 772650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15336 c Elapsed CPU time: 70.2233 s Remaining CPU time: 109.777 s c =============================================================================== c | 0 | 2991 3270 775500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15335 c Elapsed CPU time: 70.7033 s Remaining CPU time: 109.297 s c =============================================================================== c | 0 | 2991 3271 778350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15334 c Elapsed CPU time: 71.1752 s Remaining CPU time: 108.825 s c =============================================================================== c | 0 | 2991 3272 781200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15332 c Elapsed CPU time: 71.6441 s Remaining CPU time: 108.356 s c =============================================================================== c | 0 | 2991 3273 784050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15331 c Elapsed CPU time: 72.128 s Remaining CPU time: 107.872 s c =============================================================================== c | 0 | 2991 3274 786900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15329 c Elapsed CPU time: 72.606 s Remaining CPU time: 107.394 s c =============================================================================== c | 0 | 2991 3275 789750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15328 c Elapsed CPU time: 73.0889 s Remaining CPU time: 106.911 s c =============================================================================== c | 0 | 2991 3276 792600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15325 c Elapsed CPU time: 73.5598 s Remaining CPU time: 106.44 s c =============================================================================== c | 0 | 2991 3277 795450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15322 c Elapsed CPU time: 74.0257 s Remaining CPU time: 105.974 s c =============================================================================== c | 0 | 2991 3278 798300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15321 c Elapsed CPU time: 74.5057 s Remaining CPU time: 105.494 s c =============================================================================== c | 0 | 2991 3279 801150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15320 c Elapsed CPU time: 74.9796 s Remaining CPU time: 105.02 s c =============================================================================== c | 0 | 2991 3280 804000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15317 c Elapsed CPU time: 75.4545 s Remaining CPU time: 104.545 s c =============================================================================== c | 0 | 2991 3281 806850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15316 c Elapsed CPU time: 75.9315 s Remaining CPU time: 104.069 s c =============================================================================== c | 0 | 2991 3282 809700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15315 c Elapsed CPU time: 76.4004 s Remaining CPU time: 103.6 s c =============================================================================== c | 0 | 2991 3283 812550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15314 c Elapsed CPU time: 76.8763 s Remaining CPU time: 103.124 s c =============================================================================== c | 0 | 2991 3284 815400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15313 c Elapsed CPU time: 77.3572 s Remaining CPU time: 102.643 s c =============================================================================== c | 0 | 2991 3285 818250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15312 c Elapsed CPU time: 77.8412 s Remaining CPU time: 102.159 s c =============================================================================== c | 0 | 2991 3286 821100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15311 c Elapsed CPU time: 78.3201 s Remaining CPU time: 101.68 s c =============================================================================== c | 0 | 2991 3287 823950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15310 c Elapsed CPU time: 78.822 s Remaining CPU time: 101.178 s c =============================================================================== c | 0 | 2991 3288 826800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15307 c Elapsed CPU time: 79.3019 s Remaining CPU time: 100.698 s c =============================================================================== c | 0 | 2991 3289 829650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15306 c Elapsed CPU time: 79.7849 s Remaining CPU time: 100.215 s c =============================================================================== c | 0 | 2991 3290 832500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15305 c Elapsed CPU time: 80.2878 s Remaining CPU time: 99.7122 s c =============================================================================== c | 0 | 2991 3291 835350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15304 c Elapsed CPU time: 80.7747 s Remaining CPU time: 99.2253 s c =============================================================================== c | 0 | 2991 3292 838200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15303 c Elapsed CPU time: 81.2836 s Remaining CPU time: 98.7164 s c =============================================================================== c | 1 | 2991 3293 841050 | 5000 1 2783 | 0.000 % | c =============================================================================== c New solution: 15302 c Elapsed CPU time: 81.7596 s Remaining CPU time: 98.2404 s c =============================================================================== c | 1 | 2991 3294 843900 | 5000 1 2783 | 0.000 % | c =============================================================================== c New solution: 15299 c Elapsed CPU time: 82.2115 s Remaining CPU time: 97.7885 s c =============================================================================== c | 1 | 2991 3295 846750 | 5000 1 2783 | 0.000 % | c =============================================================================== c New solution: 15298 c Elapsed CPU time: 82.6674 s Remaining CPU time: 97.3326 s c =============================================================================== c | 2 | 2991 3296 849600 | 5000 2 1393 | 0.000 % | c =============================================================================== c New solution: 15297 c Elapsed CPU time: 83.1594 s Remaining CPU time: 96.8406 s c =============================================================================== c | 2 | 2991 3297 852450 | 5000 2 1393 | 0.000 % | c =============================================================================== c New solution: 15296 c Elapsed CPU time: 83.6633 s Remaining CPU time: 96.3367 s c =============================================================================== c | 2 | 2991 3298 855300 | 5000 2 1393 | 0.000 % | c =============================================================================== c New solution: 15293 c Elapsed CPU time: 84.1602 s Remaining CPU time: 95.8398 s c =============================================================================== c | 2 | 2991 3299 858150 | 5000 2 1393 | 0.000 % | c =============================================================================== c New solution: 15292 c Elapsed CPU time: 84.6791 s Remaining CPU time: 95.3209 s c =============================================================================== c | 3 | 2991 3300 861000 | 5000 3 1853 | 0.000 % | c =============================================================================== c New solution: 15291 c Elapsed CPU time: 85.224 s Remaining CPU time: 94.776 s c =============================================================================== c | 4 | 2991 3301 863850 | 5000 4 2084 | 0.000 % | c =============================================================================== c New solution: 15290 c Elapsed CPU time: 85.772 s Remaining CPU time: 94.228 s c =============================================================================== c | 4 | 2991 3302 866700 | 5000 4 2084 | 0.000 % | c =============================================================================== c New solution: 15289 c Elapsed CPU time: 86.3209 s Remaining CPU time: 93.6791 s c =============================================================================== c | 4 | 2991 3303 869550 | 5000 4 2084 | 0.000 % | c =============================================================================== c New solution: 15288 c Elapsed CPU time: 86.8538 s Remaining CPU time: 93.1462 s c =============================================================================== c | 4 | 2991 3304 872400 | 5000 4 2084 | 0.000 % | c =============================================================================== c New solution: 15287 c Elapsed CPU time: 87.3877 s Remaining CPU time: 92.6123 s c =============================================================================== c | 4 | 2991 3305 875250 | 5000 4 2084 | 0.000 % | c =============================================================================== c New solution: 15286 c Elapsed CPU time: 87.9146 s Remaining CPU time: 92.0854 s c =============================================================================== c | 4 | 2991 3306 878100 | 5000 4 2084 | 0.000 % | c =============================================================================== c New solution: 15285 c Elapsed CPU time: 88.4516 s Remaining CPU time: 91.5484 s c =============================================================================== c | 4 | 2991 3307 880950 | 5000 4 2084 | 0.000 % | c =============================================================================== c New solution: 15284 c Elapsed CPU time: 88.9475 s Remaining CPU time: 91.0525 s c =============================================================================== c | 4 | 2991 3308 883800 | 5000 4 2084 | 0.000 % | c =============================================================================== c New solution: 15283 c Elapsed CPU time: 89.4634 s Remaining CPU time: 90.5366 s c =============================================================================== c | 4 | 2991 3309 886650 | 5000 4 2084 | 0.000 % | c =============================================================================== c New solution: 15282 c Elapsed CPU time: 89.9723 s Remaining CPU time: 90.0277 s c =============================================================================== c | 4 | 2991 3310 889500 | 5000 4 2084 | 0.000 % | c =============================================================================== c New solution: 15281 c Elapsed CPU time: 90.4512 s Remaining CPU time: 89.5488 s c =============================================================================== c | 4 | 2991 3311 892350 | 5000 4 2084 | 0.000 % | c =============================================================================== c New solution: 15280 c Elapsed CPU time: 90.9432 s Remaining CPU time: 89.0568 s c =============================================================================== c | 4 | 2991 3312 895200 | 5000 4 2084 | 0.000 % | c =============================================================================== c New solution: 15279 c Elapsed CPU time: 91.4701 s Remaining CPU time: 88.5299 s c =============================================================================== c | 5 | 2991 3313 898050 | 5000 5 2221 | 0.000 % | c =============================================================================== c New solution: 15278 c Elapsed CPU time: 92.004 s Remaining CPU time: 87.996 s c =============================================================================== c | 5 | 2991 3314 900900 | 5000 5 2221 | 0.000 % | c =============================================================================== c New solution: 15277 c Elapsed CPU time: 92.5639 s Remaining CPU time: 87.4361 s c =============================================================================== c | 6 | 2991 3315 903750 | 5000 6 2313 | 0.000 % | c =============================================================================== c New solution: 15276 c Elapsed CPU time: 93.0838 s Remaining CPU time: 86.9162 s c =============================================================================== c | 6 | 2991 3316 906600 | 5000 6 2313 | 0.000 % | c =============================================================================== c New solution: 15275 c Elapsed CPU time: 93.6078 s Remaining CPU time: 86.3922 s c =============================================================================== c | 6 | 2991 3317 909450 | 5000 6 2313 | 0.000 % | c =============================================================================== c New solution: 15274 c Elapsed CPU time: 94.1047 s Remaining CPU time: 85.8953 s c =============================================================================== c | 6 | 2991 3318 912300 | 5000 6 2313 | 0.000 % | c =============================================================================== c New solution: 15273 c Elapsed CPU time: 94.6026 s Remaining CPU time: 85.3974 s c =============================================================================== c | 6 | 2991 3319 915150 | 5000 6 2313 | 0.000 % | c =============================================================================== c New solution: 15272 c Elapsed CPU time: 95.1175 s Remaining CPU time: 84.8825 s c =============================================================================== c | 6 | 2991 3320 918000 | 5000 6 2313 | 0.000 % | c =============================================================================== c New solution: 15271 c Elapsed CPU time: 95.6305 s Remaining CPU time: 84.3695 s c =============================================================================== c | 6 | 2991 3321 920850 | 5000 6 2313 | 0.000 % | c =============================================================================== c New solution: 15270 c Elapsed CPU time: 96.1364 s Remaining CPU time: 83.8636 s c =============================================================================== c | 6 | 2991 3322 923700 | 5000 6 2313 | 0.000 % | c =============================================================================== c New solution: 15269 c Elapsed CPU time: 96.7133 s Remaining CPU time: 83.2867 s c =============================================================================== c | 6 | 2991 3323 926550 | 5000 6 2313 | 0.000 % | c =============================================================================== c New solution: 15268 c Elapsed CPU time: 97.2822 s Remaining CPU time: 82.7178 s c =============================================================================== c | 6 | 2991 3324 929400 | 5000 6 2313 | 0.000 % | c =============================================================================== c New solution: 15267 c Elapsed CPU time: 97.8511 s Remaining CPU time: 82.1489 s c =============================================================================== c | 6 | 2991 3325 932250 | 5000 6 2313 | 0.000 % | c =============================================================================== c New solution: 15266 c Elapsed CPU time: 98.396 s Remaining CPU time: 81.604 s c =============================================================================== c | 6 | 2991 3326 935100 | 5000 6 2313 | 0.000 % | c =============================================================================== c New solution: 15265 c Elapsed CPU time: 98.945 s Remaining CPU time: 81.055 s c =============================================================================== c | 6 | 2991 3327 937950 | 5000 6 2313 | 0.000 % | c =============================================================================== c New solution: 15264 c Elapsed CPU time: 99.4699 s Remaining CPU time: 80.5301 s c =============================================================================== c | 6 | 2991 3328 940800 | 5000 6 2313 | 0.000 % | c =============================================================================== c New solution: 15263 c Elapsed CPU time: 100.014 s Remaining CPU time: 79.9862 s c =============================================================================== c | 6 | 2991 3329 943650 | 5000 6 2313 | 0.000 % | c =============================================================================== c New solution: 15262 c Elapsed CPU time: 100.548 s Remaining CPU time: 79.4523 s c =============================================================================== c | 6 | 2991 3330 946500 | 5000 6 2313 | 0.000 % | c =============================================================================== c New solution: 15261 c Elapsed CPU time: 101.103 s Remaining CPU time: 78.8974 s c =============================================================================== c | 6 | 2991 3331 949350 | 5000 6 2313 | 0.000 % | c =============================================================================== c New solution: 15260 c Elapsed CPU time: 101.674 s Remaining CPU time: 78.3265 s c =============================================================================== c | 6 | 2991 3332 952200 | 5000 6 2313 | 0.000 % | c =============================================================================== c New solution: 15259 c Elapsed CPU time: 102.233 s Remaining CPU time: 77.7665 s c =============================================================================== c | 6 | 2991 3333 955050 | 5000 6 2313 | 0.000 % | c =============================================================================== c New solution: 15258 c Elapsed CPU time: 102.795 s Remaining CPU time: 77.2046 s c =============================================================================== c | 6 | 2991 3334 957900 | 5000 6 2313 | 0.000 % | c =============================================================================== c New solution: 15257 c Elapsed CPU time: 103.352 s Remaining CPU time: 76.6477 s c =============================================================================== c | 6 | 2991 3335 960750 | 5000 6 2313 | 0.000 % | c =============================================================================== c New solution: 15256 c Elapsed CPU time: 103.904 s Remaining CPU time: 76.0958 s c =============================================================================== c | 6 | 2991 3336 963600 | 5000 6 2313 | 0.000 % | c =============================================================================== c New solution: 15255 c Elapsed CPU time: 104.44 s Remaining CPU time: 75.5599 s c =============================================================================== c | 6 | 2991 3337 966450 | 5000 6 2313 | 0.000 % | c =============================================================================== c New solution: 15254 c Elapsed CPU time: 104.976 s Remaining CPU time: 75.024 s c =============================================================================== c | 6 | 2991 3338 969300 | 5000 6 2313 | 0.000 % | c =============================================================================== c New solution: 15253 c Elapsed CPU time: 105.517 s Remaining CPU time: 74.483 s c =============================================================================== c | 6 | 2991 3339 972150 | 5000 6 2313 | 0.000 % | c =============================================================================== c New solution: 15252 c Elapsed CPU time: 106.089 s Remaining CPU time: 73.9111 s c =============================================================================== c | 6 | 2991 3340 975000 | 5000 6 2313 | 0.000 % | c =============================================================================== c New solution: 15251 c Elapsed CPU time: 106.622 s Remaining CPU time: 73.3782 s c =============================================================================== c | 6 | 2991 3341 977850 | 5000 6 2313 | 0.000 % | c =============================================================================== c New solution: 15250 c Elapsed CPU time: 107.191 s Remaining CPU time: 72.8093 s c =============================================================================== c | 6 | 2991 3342 980700 | 5000 6 2313 | 0.000 % | c =============================================================================== c New solution: 15249 c Elapsed CPU time: 107.751 s Remaining CPU time: 72.2494 s c =============================================================================== c | 6 | 2991 3343 983550 | 5000 6 2313 | 0.000 % | c =============================================================================== c New solution: 15248 c Elapsed CPU time: 108.297 s Remaining CPU time: 71.7035 s c =============================================================================== c | 6 | 2991 3344 986400 | 5000 6 2313 | 0.000 % | c =============================================================================== c New solution: 15247 c Elapsed CPU time: 108.825 s Remaining CPU time: 71.1745 s c =============================================================================== c | 6 | 2991 3345 989250 | 5000 6 2313 | 0.000 % | c =============================================================================== c New solution: 15246 c Elapsed CPU time: 109.386 s Remaining CPU time: 70.6136 s c =============================================================================== c | 6 | 2991 3346 992100 | 5000 6 2313 | 0.000 % | c =============================================================================== c New solution: 15245 c Elapsed CPU time: 109.944 s Remaining CPU time: 70.0557 s c =============================================================================== c | 6 | 2991 3347 994950 | 5000 6 2313 | 0.000 % | c =============================================================================== c New solution: 15244 c Elapsed CPU time: 110.548 s Remaining CPU time: 69.4518 s c =============================================================================== c | 8 | 2991 3348 997800 | 5000 8 2080 | 0.000 % | c =============================================================================== c New solution: 15243 c Elapsed CPU time: 111.102 s Remaining CPU time: 68.8979 s c =============================================================================== c | 8 | 2991 3349 1000650 | 5000 8 2080 | 0.000 % | c =============================================================================== c New solution: 15242 c Elapsed CPU time: 111.652 s Remaining CPU time: 68.348 s c =============================================================================== c | 8 | 2991 3350 1003500 | 5000 8 2080 | 0.000 % | c =============================================================================== c New solution: 15241 c Elapsed CPU time: 112.18 s Remaining CPU time: 67.8201 s c =============================================================================== c | 8 | 2991 3351 1006350 | 5000 8 2080 | 0.000 % | c =============================================================================== c New solution: 15240 c Elapsed CPU time: 112.728 s Remaining CPU time: 67.2721 s c =============================================================================== c | 8 | 2991 3352 1009200 | 5000 8 2080 | 0.000 % | c =============================================================================== c New solution: 15239 c Elapsed CPU time: 113.26 s Remaining CPU time: 66.7402 s c =============================================================================== c | 8 | 2991 3353 1012050 | 5000 8 2080 | 0.000 % | c =============================================================================== c New solution: 15238 c Elapsed CPU time: 113.838 s Remaining CPU time: 66.1623 s c =============================================================================== c | 8 | 2991 3354 1014900 | 5000 8 2080 | 0.000 % | c =============================================================================== c New solution: 15237 c Elapsed CPU time: 114.416 s Remaining CPU time: 65.5844 s c =============================================================================== c | 8 | 2991 3355 1017750 | 5000 8 2080 | 0.000 % | c =============================================================================== c New solution: 15236 c Elapsed CPU time: 114.993 s Remaining CPU time: 65.0075 s c =============================================================================== c | 8 | 2991 3356 1020600 | 5000 8 2080 | 0.000 % | c =============================================================================== c New solution: 15235 c Elapsed CPU time: 115.605 s Remaining CPU time: 64.3946 s c =============================================================================== c | 8 | 2991 3357 1023450 | 5000 8 2080 | 0.000 % | c =============================================================================== c New solution: 15234 c Elapsed CPU time: 116.21 s Remaining CPU time: 63.7897 s c =============================================================================== c | 9 | 2991 3358 1026300 | 5000 9 2156 | 0.000 % | c =============================================================================== c New solution: 15233 c Elapsed CPU time: 116.823 s Remaining CPU time: 63.1768 s c =============================================================================== c | 10 | 2991 3359 1029150 | 5000 10 2216 | 0.000 % | c =============================================================================== c New solution: 15232 c Elapsed CPU time: 117.488 s Remaining CPU time: 62.5119 s c =============================================================================== c | 10 | 2991 3360 1032000 | 5000 10 2216 | 0.000 % | c =============================================================================== c New solution: 15231 c Elapsed CPU time: 118.168 s Remaining CPU time: 61.832 s c =============================================================================== c | 10 | 2991 3361 1034850 | 5000 10 2216 | 0.000 % | c =============================================================================== c New solution: 15230 c Elapsed CPU time: 118.897 s Remaining CPU time: 61.1031 s c =============================================================================== c | 10 | 2991 3362 1037700 | 5000 10 2216 | 0.000 % | c =============================================================================== c New solution: 15229 c Elapsed CPU time: 119.59 s Remaining CPU time: 60.4102 s c =============================================================================== c | 10 | 2991 3363 1040550 | 5000 10 2216 | 0.000 % | c =============================================================================== c New solution: 15228 c Elapsed CPU time: 120.191 s Remaining CPU time: 59.8093 s c =============================================================================== c | 10 | 2991 3364 1043400 | 5000 10 2216 | 0.000 % | c =============================================================================== c New solution: 15227 c Elapsed CPU time: 120.791 s Remaining CPU time: 59.2094 s c =============================================================================== c | 10 | 2991 3365 1046250 | 5000 10 2216 | 0.000 % | c =============================================================================== c New solution: 15226 c Elapsed CPU time: 121.369 s Remaining CPU time: 58.6315 s c =============================================================================== c | 10 | 2991 3366 1049100 | 5000 10 2216 | 0.000 % | c =============================================================================== c New solution: 15225 c Elapsed CPU time: 121.992 s Remaining CPU time: 58.0075 s c =============================================================================== c | 16 | 2991 3367 1051950 | 5000 16 2421 | 0.000 % | c =============================================================================== c New solution: 15224 c Elapsed CPU time: 122.603 s Remaining CPU time: 57.3966 s c =============================================================================== c | 16 | 2991 3368 1054800 | 5000 16 2421 | 0.000 % | c =============================================================================== c New solution: 15223 c Elapsed CPU time: 123.211 s Remaining CPU time: 56.7887 s c =============================================================================== c | 18 | 2991 3369 1057650 | 5000 18 2459 | 0.000 % | c =============================================================================== c New solution: 15222 c Elapsed CPU time: 123.849 s Remaining CPU time: 56.1508 s c =============================================================================== c | 18 | 2991 3370 1060500 | 5000 18 2459 | 0.000 % | c =============================================================================== c New solution: 15221 c Elapsed CPU time: 124.45 s Remaining CPU time: 55.5499 s c =============================================================================== c | 19 | 2991 3371 1063350 | 5000 19 2329 | 0.000 % | c =============================================================================== c New solution: 15220 c Elapsed CPU time: 125.029 s Remaining CPU time: 54.971 s c =============================================================================== c | 19 | 2991 3372 1066200 | 5000 19 2329 | 0.000 % | c =============================================================================== c New solution: 15219 c Elapsed CPU time: 125.615 s Remaining CPU time: 54.3851 s c =============================================================================== c | 19 | 2991 3373 1069050 | 5000 19 2329 | 0.000 % | c =============================================================================== c New solution: 15218 c Elapsed CPU time: 126.266 s Remaining CPU time: 53.7342 s c =============================================================================== c | 19 | 2991 3374 1071900 | 5000 19 2329 | 0.000 % | c =============================================================================== c New solution: 15217 c Elapsed CPU time: 126.905 s Remaining CPU time: 53.0953 s c =============================================================================== c | 19 | 2991 3375 1074750 | 5000 19 2329 | 0.000 % | c =============================================================================== c New solution: 15216 c Elapsed CPU time: 127.518 s Remaining CPU time: 52.4824 s c =============================================================================== c | 19 | 2991 3376 1077600 | 5000 19 2329 | 0.000 % | c =============================================================================== c New solution: 15215 c Elapsed CPU time: 128.125 s Remaining CPU time: 51.8755 s c =============================================================================== c | 19 | 2991 3377 1080450 | 5000 19 2329 | 0.000 % | c =============================================================================== c New solution: 15214 c Elapsed CPU time: 128.777 s Remaining CPU time: 51.2226 s c =============================================================================== c | 20 | 2991 3378 1083300 | 5000 20 2351 | 0.000 % | c =============================================================================== c New solution: 15213 c Elapsed CPU time: 129.461 s Remaining CPU time: 50.5387 s c =============================================================================== c | 20 | 2991 3379 1086150 | 5000 20 2351 | 0.000 % | c =============================================================================== c New solution: 15212 c Elapsed CPU time: 130.117 s Remaining CPU time: 49.8828 s c =============================================================================== c | 20 | 2991 3380 1089000 | 5000 20 2351 | 0.000 % | c =============================================================================== c New solution: 15211 c Elapsed CPU time: 130.731 s Remaining CPU time: 49.2689 s c =============================================================================== c | 20 | 2991 3381 1091850 | 5000 20 2351 | 0.000 % | c =============================================================================== c New solution: 15210 c Elapsed CPU time: 131.347 s Remaining CPU time: 48.653 s c =============================================================================== c | 20 | 2991 3382 1094700 | 5000 20 2351 | 0.000 % | c =============================================================================== c New solution: 15209 c Elapsed CPU time: 131.952 s Remaining CPU time: 48.0481 s c =============================================================================== c | 20 | 2991 3383 1097550 | 5000 20 2351 | 0.000 % | c =============================================================================== c New solution: 15208 c Elapsed CPU time: 132.549 s Remaining CPU time: 47.4512 s c =============================================================================== c | 20 | 2991 3384 1100400 | 5000 20 2351 | 0.000 % | c =============================================================================== c New solution: 15207 c Elapsed CPU time: 133.142 s Remaining CPU time: 46.8582 s c =============================================================================== c | 20 | 2991 3385 1103250 | 5000 20 2351 | 0.000 % | c =============================================================================== c New solution: 15206 c Elapsed CPU time: 133.755 s Remaining CPU time: 46.2453 s c =============================================================================== c | 20 | 2991 3386 1106100 | 5000 20 2351 | 0.000 % | c =============================================================================== c New solution: 15205 c Elapsed CPU time: 134.444 s Remaining CPU time: 45.5564 s c =============================================================================== c | 20 | 2991 3387 1108950 | 5000 20 2351 | 0.000 % | c =============================================================================== c New solution: 15204 c Elapsed CPU time: 135.111 s Remaining CPU time: 44.8885 s c =============================================================================== c | 20 | 2991 3388 1111800 | 5000 20 2351 | 0.000 % | c =============================================================================== c New solution: 15203 c Elapsed CPU time: 135.771 s Remaining CPU time: 44.2286 s c =============================================================================== c | 20 | 2991 3389 1114650 | 5000 20 2351 | 0.000 % | c =============================================================================== c New solution: 15202 c Elapsed CPU time: 136.432 s Remaining CPU time: 43.5677 s c =============================================================================== c | 20 | 2991 3390 1117500 | 5000 20 2351 | 0.000 % | c =============================================================================== c New solution: 15201 c Elapsed CPU time: 137.12 s Remaining CPU time: 42.8798 s c =============================================================================== c | 21 | 2991 3391 1120350 | 5000 21 2370 | 0.000 % | c =============================================================================== c New solution: 15200 c Elapsed CPU time: 137.779 s Remaining CPU time: 42.2209 s c =============================================================================== c | 22 | 2991 3392 1123200 | 5000 22 2388 | 0.000 % | c =============================================================================== c New solution: 15199 c Elapsed CPU time: 138.445 s Remaining CPU time: 41.555 s c =============================================================================== c | 24 | 2991 3393 1126050 | 5000 24 2418 | 0.000 % | c =============================================================================== c New solution: 15198 c Elapsed CPU time: 139.157 s Remaining CPU time: 40.8432 s c =============================================================================== c | 26 | 2991 3394 1128900 | 5000 26 2444 | 0.000 % | c =============================================================================== c New solution: 15197 c Elapsed CPU time: 139.784 s Remaining CPU time: 40.2163 s c =============================================================================== c | 26 | 2991 3395 1131750 | 5000 26 2444 | 0.000 % | c =============================================================================== c New solution: 15196 c Elapsed CPU time: 140.433 s Remaining CPU time: 39.5674 s c =============================================================================== c | 26 | 2991 3396 1134600 | 5000 26 2444 | 0.000 % | c =============================================================================== c New solution: 15195 c Elapsed CPU time: 141.063 s Remaining CPU time: 38.9374 s c =============================================================================== c | 27 | 2991 3397 1137450 | 5000 27 2456 | 0.000 % | c =============================================================================== c New solution: 15194 c Elapsed CPU time: 141.754 s Remaining CPU time: 38.2456 s c =============================================================================== c | 27 | 2991 3398 1140300 | 5000 27 2456 | 0.000 % | c =============================================================================== c New solution: 15193 c Elapsed CPU time: 142.483 s Remaining CPU time: 37.5167 s c =============================================================================== c | 27 | 2991 3399 1143150 | 5000 27 2456 | 0.000 % | c =============================================================================== c New solution: 15192 c Elapsed CPU time: 143.152 s Remaining CPU time: 36.8478 s c =============================================================================== c | 27 | 2991 3400 1146000 | 5000 27 2456 | 0.000 % | c =============================================================================== c New solution: 15191 c Elapsed CPU time: 143.814 s Remaining CPU time: 36.1859 s c =============================================================================== c | 27 | 2991 3401 1148850 | 5000 27 2456 | 0.000 % | c =============================================================================== c New solution: 15190 c Elapsed CPU time: 144.466 s Remaining CPU time: 35.534 s c =============================================================================== c | 27 | 2991 3402 1151700 | 5000 27 2456 | 0.000 % | c =============================================================================== c New solution: 15189 c Elapsed CPU time: 145.164 s Remaining CPU time: 34.8361 s c =============================================================================== c | 28 | 2991 3403 1154550 | 5000 28 2467 | 0.000 % | c =============================================================================== c New solution: 15188 c Elapsed CPU time: 145.834 s Remaining CPU time: 34.1662 s c =============================================================================== c | 28 | 2991 3404 1157400 | 5000 28 2467 | 0.000 % | c =============================================================================== c New solution: 15187 c Elapsed CPU time: 146.481 s Remaining CPU time: 33.5193 s c =============================================================================== c | 28 | 2991 3405 1160250 | 5000 28 2467 | 0.000 % | c =============================================================================== c New solution: 15186 c Elapsed CPU time: 147.188 s Remaining CPU time: 32.8124 s c =============================================================================== c | 28 | 2991 3406 1163100 | 5000 28 2467 | 0.000 % | c =============================================================================== c New solution: 15185 c Elapsed CPU time: 147.85 s Remaining CPU time: 32.1505 s c =============================================================================== c | 28 | 2991 3407 1165950 | 5000 28 2467 | 0.000 % | c =============================================================================== c New solution: 15184 c Elapsed CPU time: 148.543 s Remaining CPU time: 31.4566 s c =============================================================================== c | 30 | 2991 3408 1168800 | 5000 30 2486 | 0.000 % | c =============================================================================== c New solution: 15183 c Elapsed CPU time: 149.294 s Remaining CPU time: 30.7057 s c =============================================================================== c | 31 | 2991 3409 1171650 | 5000 31 2494 | 0.000 % | c =============================================================================== c New solution: 15182 c Elapsed CPU time: 149.992 s Remaining CPU time: 30.0078 s c =============================================================================== c | 31 | 2991 3410 1174500 | 5000 31 2494 | 0.000 % | c =============================================================================== c New solution: 15181 c Elapsed CPU time: 150.775 s Remaining CPU time: 29.2249 s c =============================================================================== c | 34 | 2991 3411 1177350 | 5000 34 2517 | 0.000 % | c =============================================================================== c New solution: 15180 c Elapsed CPU time: 151.429 s Remaining CPU time: 28.571 s c =============================================================================== c | 39 | 2991 3412 1180200 | 5000 39 2547 | 0.000 % | c =============================================================================== c New solution: 15179 c Elapsed CPU time: 152.086 s Remaining CPU time: 27.9141 s c =============================================================================== c | 39 | 2991 3413 1183050 | 5000 39 2547 | 0.000 % | c =============================================================================== c New solution: 15178 c Elapsed CPU time: 152.77 s Remaining CPU time: 27.2302 s c =============================================================================== c | 40 | 2991 3414 1185900 | 5000 40 2552 | 0.000 % | c =============================================================================== c New solution: 15177 c Elapsed CPU time: 153.483 s Remaining CPU time: 26.5173 s c =============================================================================== c | 40 | 2991 3415 1188750 | 5000 40 2552 | 0.000 % | c =============================================================================== c New solution: 15176 c Elapsed CPU time: 154.174 s Remaining CPU time: 25.8264 s c =============================================================================== c | 40 | 2991 3416 1191600 | 5000 40 2552 | 0.000 % | c =============================================================================== c New solution: 15175 c Elapsed CPU time: 154.937 s Remaining CPU time: 25.0626 s c =============================================================================== c | 45 | 2991 3417 1194450 | 5000 45 2513 | 0.000 % | c =============================================================================== c New solution: 15174 c Elapsed CPU time: 155.661 s Remaining CPU time: 24.3387 s c =============================================================================== c | 45 | 2991 3418 1197300 | 5000 45 2513 | 0.000 % | c =============================================================================== c New solution: 15173 c Elapsed CPU time: 156.352 s Remaining CPU time: 23.6478 s c =============================================================================== c | 45 | 2991 3419 1200150 | 5000 45 2513 | 0.000 % | c =============================================================================== c New solution: 15172 c Elapsed CPU time: 156.999 s Remaining CPU time: 23.0009 s c =============================================================================== c | 45 | 2991 3420 1203000 | 5000 45 2513 | 0.000 % | c =============================================================================== c New solution: 15171 c Elapsed CPU time: 157.72 s Remaining CPU time: 22.28 s c =============================================================================== c | 45 | 2991 3421 1205850 | 5000 45 2513 | 0.000 % | c =============================================================================== c New solution: 15170 c Elapsed CPU time: 158.492 s Remaining CPU time: 21.5081 s c =============================================================================== c | 46 | 2991 3422 1208700 | 5000 46 2518 | 0.000 % | c =============================================================================== c New solution: 15169 c Elapsed CPU time: 159.167 s Remaining CPU time: 20.8332 s c =============================================================================== c | 49 | 2991 3423 1211550 | 5000 49 2533 | 0.000 % | c =============================================================================== c New solution: 15168 c Elapsed CPU time: 159.855 s Remaining CPU time: 20.1453 s c =============================================================================== c | 49 | 2991 3424 1214400 | 5000 49 2533 | 0.000 % | c =============================================================================== c New solution: 15167 c Elapsed CPU time: 160.529 s Remaining CPU time: 19.4714 s c =============================================================================== c | 49 | 2991 3425 1217250 | 5000 49 2533 | 0.000 % | c =============================================================================== c New solution: 15166 c Elapsed CPU time: 161.25 s Remaining CPU time: 18.7495 s c =============================================================================== c | 49 | 2991 3426 1220100 | 5000 49 2533 | 0.000 % | c =============================================================================== c New solution: 15165 c Elapsed CPU time: 162.054 s Remaining CPU time: 17.9456 s c =============================================================================== c | 49 | 2991 3427 1222950 | 5000 49 2533 | 0.000 % | c =============================================================================== c New solution: 15164 c Elapsed CPU time: 162.775 s Remaining CPU time: 17.2247 s c =============================================================================== c | 49 | 2991 3428 1225800 | 5000 49 2533 | 0.000 % | c =============================================================================== c New solution: 15163 c Elapsed CPU time: 163.47 s Remaining CPU time: 16.5299 s c =============================================================================== c | 49 | 2991 3429 1228650 | 5000 49 2533 | 0.000 % | c =============================================================================== c New solution: 15162 c Elapsed CPU time: 164.198 s Remaining CPU time: 15.802 s c =============================================================================== c | 50 | 2991 3430 1231500 | 5000 50 2537 | 0.000 % | c =============================================================================== c New solution: 15161 c Elapsed CPU time: 164.906 s Remaining CPU time: 15.0941 s c =============================================================================== c | 54 | 2991 3431 1234350 | 5000 54 2553 | 0.000 % | c =============================================================================== c New solution: 15160 c Elapsed CPU time: 165.635 s Remaining CPU time: 14.3652 s c =============================================================================== c | 54 | 2991 3432 1237200 | 5000 54 2553 | 0.000 % | c =============================================================================== c New solution: 15159 c Elapsed CPU time: 166.348 s Remaining CPU time: 13.6523 s c =============================================================================== c | 56 | 2991 3433 1240050 | 5000 56 2560 | 0.000 % | c =============================================================================== c New solution: 15158 c Elapsed CPU time: 167.089 s Remaining CPU time: 12.9114 s c =============================================================================== c | 56 | 2991 3434 1242900 | 5000 56 2560 | 0.000 % | c =============================================================================== c New solution: 15157 c Elapsed CPU time: 167.802 s Remaining CPU time: 12.1975 s c =============================================================================== c | 56 | 2991 3435 1245750 | 5000 56 2560 | 0.000 % | c =============================================================================== c New solution: 15156 c Elapsed CPU time: 168.495 s Remaining CPU time: 11.5046 s c =============================================================================== c | 56 | 2991 3436 1248600 | 5000 56 2560 | 0.000 % | c =============================================================================== c New solution: 15155 c Elapsed CPU time: 169.205 s Remaining CPU time: 10.7947 s c =============================================================================== c | 56 | 2991 3437 1251450 | 5000 56 2560 | 0.000 % | c =============================================================================== c New solution: 15154 c Elapsed CPU time: 169.99 s Remaining CPU time: 10.0098 s c =============================================================================== c | 56 | 2991 3438 1254300 | 5000 56 2560 | 0.000 % | c =============================================================================== c New solution: 15153 c Elapsed CPU time: 170.726 s Remaining CPU time: 9.27396 s c =============================================================================== c | 56 | 2991 3439 1257150 | 5000 56 2560 | 0.000 % | c =============================================================================== c New solution: 15152 c Elapsed CPU time: 171.458 s Remaining CPU time: 8.54207 s c =============================================================================== c | 56 | 2991 3440 1260000 | 5000 56 2560 | 0.000 % | c =============================================================================== c New solution: 15151 c Elapsed CPU time: 172.195 s Remaining CPU time: 7.80518 s c =============================================================================== c | 58 | 2991 3441 1262850 | 5000 58 2566 | 0.000 % | c =============================================================================== c New solution: 15150 c Elapsed CPU time: 172.974 s Remaining CPU time: 7.0263 s c =============================================================================== c | 62 | 2991 3442 1265700 | 5000 62 2578 | 0.000 % | c =============================================================================== c New solution: 15149 c Elapsed CPU time: 173.831 s Remaining CPU time: 6.16943 s c =============================================================================== c | 64 | 2991 3443 1268550 | 5000 64 2583 | 0.000 % | c =============================================================================== c New solution: 15148 c Elapsed CPU time: 174.608 s Remaining CPU time: 5.39155 s c =============================================================================== c | 65 | 2991 3444 1271400 | 5000 65 2544 | 0.000 % | c =============================================================================== c New solution: 15147 c Elapsed CPU time: 175.403 s Remaining CPU time: 4.59667 s c =============================================================================== c | 75 | 2991 3445 1274250 | 5000 75 2571 | 0.000 % | c =============================================================================== c New solution: 15146 c Elapsed CPU time: 176.146 s Remaining CPU time: 3.85378 s c =============================================================================== c | 76 | 2991 3446 1277100 | 5000 76 2573 | 0.000 % | c =============================================================================== c New solution: 15145 c Elapsed CPU time: 176.95 s Remaining CPU time: 3.0499 s c =============================================================================== c | 76 | 2991 3447 1279950 | 5000 76 2573 | 0.000 % | c =============================================================================== c New solution: 15144 c Elapsed CPU time: 177.702 s Remaining CPU time: 2.29801 s c =============================================================================== c | 76 | 2991 3448 1282800 | 5000 76 2573 | 0.000 % | c =============================================================================== c New solution: 15143 c Elapsed CPU time: 178.49 s Remaining CPU time: 1.51013 s c =============================================================================== c | 80 | 2991 3449 1285650 | 5000 80 2582 | 0.000 % | c =============================================================================== c New solution: 15142 c Elapsed CPU time: 179.318 s Remaining CPU time: 0.682261 s c =============================================================================== c | 80 | 2991 3450 1288500 | 5000 80 2582 | 0.000 % | c =============================================================================== c New solution: 15141 c Elapsed CPU time: 180.104 s Remaining CPU time: -0.10362 s c =============================================================================== c | 80 | 2991 3451 1291350 | 5000 80 2582 | 0.000 % | c There are 9 assigned variables. 3 in cost function.