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 | 2976 3011 8826 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15706 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 2976 3012 11676 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15696 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 0 | 2976 3013 14526 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15694 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 0 | 2976 3014 17376 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15687 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 0 | 2976 3015 20226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15682 c Elapsed CPU time: 0.182972 s Remaining CPU time: 179.817 s c =============================================================================== c | 0 | 2976 3016 23076 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15681 c Elapsed CPU time: 0.214967 s Remaining CPU time: 179.785 s c =============================================================================== c | 0 | 2976 3017 25926 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15680 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s c =============================================================================== c | 0 | 2976 3018 28776 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15678 c Elapsed CPU time: 0.279957 s Remaining CPU time: 179.72 s c =============================================================================== c | 0 | 2976 3019 31626 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15676 c Elapsed CPU time: 0.314952 s Remaining CPU time: 179.685 s c =============================================================================== c | 0 | 2976 3020 34476 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15675 c Elapsed CPU time: 0.349946 s Remaining CPU time: 179.65 s c =============================================================================== c | 0 | 2976 3021 37326 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15673 c Elapsed CPU time: 0.383941 s Remaining CPU time: 179.616 s c =============================================================================== c | 0 | 2976 3022 40176 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15672 c Elapsed CPU time: 0.421935 s Remaining CPU time: 179.578 s c =============================================================================== c | 0 | 2976 3023 43026 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15671 c Elapsed CPU time: 0.45593 s Remaining CPU time: 179.544 s c =============================================================================== c | 0 | 2976 3024 45876 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15669 c Elapsed CPU time: 0.493924 s Remaining CPU time: 179.506 s c =============================================================================== c | 0 | 2976 3025 48726 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15667 c Elapsed CPU time: 0.532918 s Remaining CPU time: 179.467 s c =============================================================================== c | 0 | 2976 3026 51576 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15664 c Elapsed CPU time: 0.574912 s Remaining CPU time: 179.425 s c =============================================================================== c | 0 | 2976 3027 54426 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15662 c Elapsed CPU time: 0.615906 s Remaining CPU time: 179.384 s c =============================================================================== c | 0 | 2976 3028 57276 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15661 c Elapsed CPU time: 0.6569 s Remaining CPU time: 179.343 s c =============================================================================== c | 0 | 2976 3029 60126 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15659 c Elapsed CPU time: 0.700893 s Remaining CPU time: 179.299 s c =============================================================================== c | 0 | 2976 3030 62976 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15658 c Elapsed CPU time: 0.749886 s Remaining CPU time: 179.25 s c =============================================================================== c | 0 | 2976 3031 65826 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15656 c Elapsed CPU time: 0.793879 s Remaining CPU time: 179.206 s c =============================================================================== c | 0 | 2976 3032 68676 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15655 c Elapsed CPU time: 0.839872 s Remaining CPU time: 179.16 s c =============================================================================== c | 0 | 2976 3033 71526 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15654 c Elapsed CPU time: 0.885865 s Remaining CPU time: 179.114 s c =============================================================================== c | 0 | 2976 3034 74376 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15652 c Elapsed CPU time: 0.932858 s Remaining CPU time: 179.067 s c =============================================================================== c | 0 | 2976 3035 77226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15650 c Elapsed CPU time: 0.98385 s Remaining CPU time: 179.016 s c =============================================================================== c | 0 | 2976 3036 80076 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15649 c Elapsed CPU time: 1.03584 s Remaining CPU time: 178.964 s c =============================================================================== c | 0 | 2976 3037 82926 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15646 c Elapsed CPU time: 1.08683 s Remaining CPU time: 178.913 s c =============================================================================== c | 0 | 2976 3038 85776 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15645 c Elapsed CPU time: 1.14283 s Remaining CPU time: 178.857 s c =============================================================================== c | 0 | 2976 3039 88626 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15644 c Elapsed CPU time: 1.19582 s Remaining CPU time: 178.804 s c =============================================================================== c | 0 | 2976 3040 91476 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15643 c Elapsed CPU time: 1.25281 s Remaining CPU time: 178.747 s c =============================================================================== c | 0 | 2976 3041 94326 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15638 c Elapsed CPU time: 1.3068 s Remaining CPU time: 178.693 s c =============================================================================== c | 0 | 2976 3042 97176 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15635 c Elapsed CPU time: 1.36379 s Remaining CPU time: 178.636 s c =============================================================================== c | 0 | 2976 3043 100026 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15633 c Elapsed CPU time: 1.42178 s Remaining CPU time: 178.578 s c =============================================================================== c | 0 | 2976 3044 102876 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15632 c Elapsed CPU time: 1.48377 s Remaining CPU time: 178.516 s c =============================================================================== c | 0 | 2976 3045 105726 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15629 c Elapsed CPU time: 1.54576 s Remaining CPU time: 178.454 s c =============================================================================== c | 0 | 2976 3046 108576 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15628 c Elapsed CPU time: 1.60976 s Remaining CPU time: 178.39 s c =============================================================================== c | 0 | 2976 3047 111426 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15627 c Elapsed CPU time: 1.67774 s Remaining CPU time: 178.322 s c =============================================================================== c | 0 | 2976 3048 114276 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15626 c Elapsed CPU time: 1.74973 s Remaining CPU time: 178.25 s c =============================================================================== c | 0 | 2976 3049 117126 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15624 c Elapsed CPU time: 1.81972 s Remaining CPU time: 178.18 s c =============================================================================== c | 0 | 2976 3050 119976 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15620 c Elapsed CPU time: 1.89371 s Remaining CPU time: 178.106 s c =============================================================================== c | 0 | 2976 3051 122826 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15618 c Elapsed CPU time: 1.9637 s Remaining CPU time: 178.036 s c =============================================================================== c | 0 | 2976 3052 125676 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15617 c Elapsed CPU time: 2.03769 s Remaining CPU time: 177.962 s c =============================================================================== c | 0 | 2976 3053 128526 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15615 c Elapsed CPU time: 2.11768 s Remaining CPU time: 177.882 s c =============================================================================== c | 0 | 2976 3054 131376 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15614 c Elapsed CPU time: 2.19767 s Remaining CPU time: 177.802 s c =============================================================================== c | 0 | 2976 3055 134226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15613 c Elapsed CPU time: 2.27465 s Remaining CPU time: 177.725 s c =============================================================================== c | 0 | 2976 3056 137076 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15610 c Elapsed CPU time: 2.35464 s Remaining CPU time: 177.645 s c =============================================================================== c | 0 | 2976 3057 139926 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15609 c Elapsed CPU time: 2.43663 s Remaining CPU time: 177.563 s c =============================================================================== c | 0 | 2976 3058 142776 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15607 c Elapsed CPU time: 2.52062 s Remaining CPU time: 177.479 s c =============================================================================== c | 0 | 2976 3059 145626 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15604 c Elapsed CPU time: 2.6056 s Remaining CPU time: 177.394 s c =============================================================================== c | 0 | 2976 3060 148476 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15602 c Elapsed CPU time: 2.69259 s Remaining CPU time: 177.307 s c =============================================================================== c | 0 | 2976 3061 151326 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15598 c Elapsed CPU time: 2.78058 s Remaining CPU time: 177.219 s c =============================================================================== c | 0 | 2976 3062 154176 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15596 c Elapsed CPU time: 2.87556 s Remaining CPU time: 177.124 s c =============================================================================== c | 0 | 2976 3063 157026 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15595 c Elapsed CPU time: 2.97255 s Remaining CPU time: 177.027 s c =============================================================================== c | 0 | 2976 3064 159876 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15594 c Elapsed CPU time: 3.07953 s Remaining CPU time: 176.92 s c =============================================================================== c | 0 | 2976 3065 162726 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15593 c Elapsed CPU time: 3.18152 s Remaining CPU time: 176.818 s c =============================================================================== c | 0 | 2976 3066 165576 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15591 c Elapsed CPU time: 3.2815 s Remaining CPU time: 176.718 s c =============================================================================== c | 0 | 2976 3067 168426 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15590 c Elapsed CPU time: 3.38549 s Remaining CPU time: 176.615 s c =============================================================================== c | 0 | 2976 3068 171276 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15588 c Elapsed CPU time: 3.49247 s Remaining CPU time: 176.508 s c =============================================================================== c | 0 | 2976 3069 174126 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15584 c Elapsed CPU time: 3.59645 s Remaining CPU time: 176.404 s c =============================================================================== c | 0 | 2976 3070 176976 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15583 c Elapsed CPU time: 3.70644 s Remaining CPU time: 176.294 s c =============================================================================== c | 0 | 2976 3071 179826 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15582 c Elapsed CPU time: 3.81642 s Remaining CPU time: 176.184 s c =============================================================================== c | 0 | 2976 3072 182676 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15579 c Elapsed CPU time: 3.9294 s Remaining CPU time: 176.071 s c =============================================================================== c | 0 | 2976 3073 185526 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15575 c Elapsed CPU time: 4.04638 s Remaining CPU time: 175.954 s c =============================================================================== c | 0 | 2976 3074 188376 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15572 c Elapsed CPU time: 4.16337 s Remaining CPU time: 175.837 s c =============================================================================== c | 0 | 2976 3075 191226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15568 c Elapsed CPU time: 4.27935 s Remaining CPU time: 175.721 s c =============================================================================== c | 0 | 2976 3076 194076 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15566 c Elapsed CPU time: 4.39933 s Remaining CPU time: 175.601 s c =============================================================================== c | 0 | 2976 3077 196926 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15563 c Elapsed CPU time: 4.52131 s Remaining CPU time: 175.479 s c =============================================================================== c | 0 | 2976 3078 199776 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15562 c Elapsed CPU time: 4.64329 s Remaining CPU time: 175.357 s c =============================================================================== c | 0 | 2976 3079 202626 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15559 c Elapsed CPU time: 4.77027 s Remaining CPU time: 175.23 s c =============================================================================== c | 0 | 2976 3080 205476 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15557 c Elapsed CPU time: 4.89726 s Remaining CPU time: 175.103 s c =============================================================================== c | 0 | 2976 3081 208326 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15556 c Elapsed CPU time: 5.03323 s Remaining CPU time: 174.967 s c =============================================================================== c | 0 | 2976 3082 211176 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15555 c Elapsed CPU time: 5.17121 s Remaining CPU time: 174.829 s c =============================================================================== c | 0 | 2976 3083 214026 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15554 c Elapsed CPU time: 5.30719 s Remaining CPU time: 174.693 s c =============================================================================== c | 0 | 2976 3084 216876 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15551 c Elapsed CPU time: 5.45017 s Remaining CPU time: 174.55 s c =============================================================================== c | 0 | 2976 3085 219726 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15549 c Elapsed CPU time: 5.59515 s Remaining CPU time: 174.405 s c =============================================================================== c | 0 | 2976 3086 222576 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15544 c Elapsed CPU time: 5.73813 s Remaining CPU time: 174.262 s c =============================================================================== c | 0 | 2976 3087 225426 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15543 c Elapsed CPU time: 5.88511 s Remaining CPU time: 174.115 s c =============================================================================== c | 0 | 2976 3088 228276 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15541 c Elapsed CPU time: 6.03308 s Remaining CPU time: 173.967 s c =============================================================================== c | 0 | 2976 3089 231126 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15539 c Elapsed CPU time: 6.18206 s Remaining CPU time: 173.818 s c =============================================================================== c | 0 | 2976 3090 233976 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15538 c Elapsed CPU time: 6.33404 s Remaining CPU time: 173.666 s c =============================================================================== c | 0 | 2976 3091 236826 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15536 c Elapsed CPU time: 6.48801 s Remaining CPU time: 173.512 s c =============================================================================== c | 0 | 2976 3092 239676 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15535 c Elapsed CPU time: 6.64399 s Remaining CPU time: 173.356 s c =============================================================================== c | 0 | 2976 3093 242526 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15529 c Elapsed CPU time: 6.80297 s Remaining CPU time: 173.197 s c =============================================================================== c | 0 | 2976 3094 245376 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15528 c Elapsed CPU time: 6.96894 s Remaining CPU time: 173.031 s c =============================================================================== c | 0 | 2976 3095 248226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15526 c Elapsed CPU time: 7.12992 s Remaining CPU time: 172.87 s c =============================================================================== c | 0 | 2976 3096 251076 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15525 c Elapsed CPU time: 7.29089 s Remaining CPU time: 172.709 s c =============================================================================== c | 0 | 2976 3097 253926 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15524 c Elapsed CPU time: 7.45887 s Remaining CPU time: 172.541 s c =============================================================================== c | 0 | 2976 3098 256776 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15523 c Elapsed CPU time: 7.62684 s Remaining CPU time: 172.373 s c =============================================================================== c | 0 | 2976 3099 259626 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15522 c Elapsed CPU time: 7.79881 s Remaining CPU time: 172.201 s c =============================================================================== c | 0 | 2976 3100 262476 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15520 c Elapsed CPU time: 7.96779 s Remaining CPU time: 172.032 s c =============================================================================== c | 0 | 2976 3101 265326 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15519 c Elapsed CPU time: 8.13976 s Remaining CPU time: 171.86 s c =============================================================================== c | 0 | 2976 3102 268176 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15518 c Elapsed CPU time: 8.30974 s Remaining CPU time: 171.69 s c =============================================================================== c | 0 | 2976 3103 271026 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15517 c Elapsed CPU time: 8.48371 s Remaining CPU time: 171.516 s c =============================================================================== c | 0 | 2976 3104 273876 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15515 c Elapsed CPU time: 8.65868 s Remaining CPU time: 171.341 s c =============================================================================== c | 0 | 2976 3105 276726 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15513 c Elapsed CPU time: 8.83966 s Remaining CPU time: 171.16 s c =============================================================================== c | 0 | 2976 3106 279576 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15512 c Elapsed CPU time: 9.02063 s Remaining CPU time: 170.979 s c =============================================================================== c | 0 | 2976 3107 282426 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15511 c Elapsed CPU time: 9.2006 s Remaining CPU time: 170.799 s c =============================================================================== c | 0 | 2976 3108 285276 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15510 c Elapsed CPU time: 9.38857 s Remaining CPU time: 170.611 s c =============================================================================== c | 0 | 2976 3109 288126 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15507 c Elapsed CPU time: 9.57554 s Remaining CPU time: 170.424 s c =============================================================================== c | 0 | 2976 3110 290976 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15506 c Elapsed CPU time: 9.76451 s Remaining CPU time: 170.235 s c =============================================================================== c | 0 | 2976 3111 293826 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15503 c Elapsed CPU time: 9.95849 s Remaining CPU time: 170.042 s c =============================================================================== c | 0 | 2976 3112 296676 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15502 c Elapsed CPU time: 10.1495 s Remaining CPU time: 169.851 s c =============================================================================== c | 0 | 2976 3113 299526 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15501 c Elapsed CPU time: 10.3424 s Remaining CPU time: 169.658 s c =============================================================================== c | 0 | 2976 3114 302376 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15499 c Elapsed CPU time: 10.5374 s Remaining CPU time: 169.463 s c =============================================================================== c | 0 | 2976 3115 305226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15497 c Elapsed CPU time: 10.7354 s Remaining CPU time: 169.265 s c =============================================================================== c | 0 | 2976 3116 308076 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15496 c Elapsed CPU time: 10.9453 s Remaining CPU time: 169.055 s c =============================================================================== c | 0 | 2976 3117 310926 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15495 c Elapsed CPU time: 11.1563 s Remaining CPU time: 168.844 s c =============================================================================== c | 0 | 2976 3118 313776 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15494 c Elapsed CPU time: 11.3573 s Remaining CPU time: 168.643 s c =============================================================================== c | 0 | 2976 3119 316626 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15492 c Elapsed CPU time: 11.5612 s Remaining CPU time: 168.439 s c =============================================================================== c | 0 | 2976 3120 319476 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15490 c Elapsed CPU time: 11.7682 s Remaining CPU time: 168.232 s c =============================================================================== c | 0 | 2976 3121 322326 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15489 c Elapsed CPU time: 11.9872 s Remaining CPU time: 168.013 s c =============================================================================== c | 0 | 2976 3122 325176 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15487 c Elapsed CPU time: 12.2101 s Remaining CPU time: 167.79 s c =============================================================================== c | 0 | 2976 3123 328026 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15484 c Elapsed CPU time: 12.4321 s Remaining CPU time: 167.568 s c =============================================================================== c | 0 | 2976 3124 330876 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15483 c Elapsed CPU time: 12.6601 s Remaining CPU time: 167.34 s c =============================================================================== c | 0 | 2976 3125 333726 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15480 c Elapsed CPU time: 12.899 s Remaining CPU time: 167.101 s c =============================================================================== c | 0 | 2976 3126 336576 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15479 c Elapsed CPU time: 13.139 s Remaining CPU time: 166.861 s c =============================================================================== c | 0 | 2976 3127 339426 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15476 c Elapsed CPU time: 13.377 s Remaining CPU time: 166.623 s c =============================================================================== c | 0 | 2976 3128 342276 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15473 c Elapsed CPU time: 13.6189 s Remaining CPU time: 166.381 s c =============================================================================== c | 0 | 2976 3129 345126 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15471 c Elapsed CPU time: 13.8659 s Remaining CPU time: 166.134 s c =============================================================================== c | 0 | 2976 3130 347976 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15470 c Elapsed CPU time: 14.1139 s Remaining CPU time: 165.886 s c =============================================================================== c | 0 | 2976 3131 350826 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15467 c Elapsed CPU time: 14.3638 s Remaining CPU time: 165.636 s c =============================================================================== c | 0 | 2976 3132 353676 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15466 c Elapsed CPU time: 14.6178 s Remaining CPU time: 165.382 s c =============================================================================== c | 0 | 2976 3133 356526 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15465 c Elapsed CPU time: 14.8777 s Remaining CPU time: 165.122 s c =============================================================================== c | 0 | 2976 3134 359376 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15463 c Elapsed CPU time: 15.1367 s Remaining CPU time: 164.863 s c =============================================================================== c | 0 | 2976 3135 362226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15461 c Elapsed CPU time: 15.3907 s Remaining CPU time: 164.609 s c =============================================================================== c | 0 | 2976 3136 365076 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15460 c Elapsed CPU time: 15.6546 s Remaining CPU time: 164.345 s c =============================================================================== c | 0 | 2976 3137 367926 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15459 c Elapsed CPU time: 15.9226 s Remaining CPU time: 164.077 s c =============================================================================== c | 0 | 2976 3138 370776 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15457 c Elapsed CPU time: 16.1905 s Remaining CPU time: 163.809 s c =============================================================================== c | 0 | 2976 3139 373626 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15456 c Elapsed CPU time: 16.4655 s Remaining CPU time: 163.535 s c =============================================================================== c | 0 | 2976 3140 376476 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15454 c Elapsed CPU time: 16.7435 s Remaining CPU time: 163.257 s c =============================================================================== c | 0 | 2976 3141 379326 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15453 c Elapsed CPU time: 17.0224 s Remaining CPU time: 162.978 s c =============================================================================== c | 0 | 2976 3142 382176 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15452 c Elapsed CPU time: 17.2984 s Remaining CPU time: 162.702 s c =============================================================================== c | 0 | 2976 3143 385026 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15450 c Elapsed CPU time: 17.5763 s Remaining CPU time: 162.424 s c =============================================================================== c | 0 | 2976 3144 387876 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15448 c Elapsed CPU time: 17.8493 s Remaining CPU time: 162.151 s c =============================================================================== c | 0 | 2976 3145 390726 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15447 c Elapsed CPU time: 18.1242 s Remaining CPU time: 161.876 s c =============================================================================== c | 0 | 2976 3146 393576 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15446 c Elapsed CPU time: 18.4062 s Remaining CPU time: 161.594 s c =============================================================================== c | 0 | 2976 3147 396426 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15442 c Elapsed CPU time: 18.6792 s Remaining CPU time: 161.321 s c =============================================================================== c | 0 | 2976 3148 399276 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15439 c Elapsed CPU time: 18.9521 s Remaining CPU time: 161.048 s c =============================================================================== c | 0 | 2976 3149 402126 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15438 c Elapsed CPU time: 19.2481 s Remaining CPU time: 160.752 s c =============================================================================== c | 0 | 2976 3150 404976 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15436 c Elapsed CPU time: 19.544 s Remaining CPU time: 160.456 s c =============================================================================== c | 0 | 2976 3151 407826 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15433 c Elapsed CPU time: 19.836 s Remaining CPU time: 160.164 s c =============================================================================== c | 0 | 2976 3152 410676 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15432 c Elapsed CPU time: 20.1209 s Remaining CPU time: 159.879 s c =============================================================================== c | 0 | 2976 3153 413526 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15431 c Elapsed CPU time: 20.4219 s Remaining CPU time: 159.578 s c =============================================================================== c | 0 | 2976 3154 416376 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15429 c Elapsed CPU time: 20.7119 s Remaining CPU time: 159.288 s c =============================================================================== c | 0 | 2976 3155 419226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15428 c Elapsed CPU time: 21.0048 s Remaining CPU time: 158.995 s c =============================================================================== c | 0 | 2976 3156 422076 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15427 c Elapsed CPU time: 21.3038 s Remaining CPU time: 158.696 s c =============================================================================== c | 0 | 2976 3157 424926 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15426 c Elapsed CPU time: 21.5957 s Remaining CPU time: 158.404 s c =============================================================================== c | 0 | 2976 3158 427776 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15425 c Elapsed CPU time: 21.8987 s Remaining CPU time: 158.101 s c =============================================================================== c | 0 | 2976 3159 430626 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15424 c Elapsed CPU time: 22.2016 s Remaining CPU time: 157.798 s c =============================================================================== c | 0 | 2976 3160 433476 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15423 c Elapsed CPU time: 22.4976 s Remaining CPU time: 157.502 s c =============================================================================== c | 0 | 2976 3161 436326 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15422 c Elapsed CPU time: 22.7965 s Remaining CPU time: 157.203 s c =============================================================================== c | 0 | 2976 3162 439176 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15421 c Elapsed CPU time: 23.1035 s Remaining CPU time: 156.897 s c =============================================================================== c | 0 | 2976 3163 442026 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15420 c Elapsed CPU time: 23.4134 s Remaining CPU time: 156.587 s c =============================================================================== c | 0 | 2976 3164 444876 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15419 c Elapsed CPU time: 23.7194 s Remaining CPU time: 156.281 s c =============================================================================== c | 0 | 2976 3165 447726 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15418 c Elapsed CPU time: 24.0223 s Remaining CPU time: 155.978 s c =============================================================================== c | 0 | 2976 3166 450576 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15415 c Elapsed CPU time: 24.3333 s Remaining CPU time: 155.667 s c =============================================================================== c | 0 | 2976 3167 453426 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15413 c Elapsed CPU time: 24.6383 s Remaining CPU time: 155.362 s c =============================================================================== c | 0 | 2976 3168 456276 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15412 c Elapsed CPU time: 24.9542 s Remaining CPU time: 155.046 s c =============================================================================== c | 0 | 2976 3169 459126 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15410 c Elapsed CPU time: 25.2682 s Remaining CPU time: 154.732 s c =============================================================================== c | 0 | 2976 3170 461976 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15409 c Elapsed CPU time: 25.5811 s Remaining CPU time: 154.419 s c =============================================================================== c | 0 | 2976 3171 464826 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15408 c Elapsed CPU time: 25.8901 s Remaining CPU time: 154.11 s c =============================================================================== c | 0 | 2976 3172 467676 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15407 c Elapsed CPU time: 26.208 s Remaining CPU time: 153.792 s c =============================================================================== c | 0 | 2976 3173 470526 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15406 c Elapsed CPU time: 26.544 s Remaining CPU time: 153.456 s c =============================================================================== c | 0 | 2976 3174 473376 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15405 c Elapsed CPU time: 26.8789 s Remaining CPU time: 153.121 s c =============================================================================== c | 0 | 2976 3175 476226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15404 c Elapsed CPU time: 27.2189 s Remaining CPU time: 152.781 s c =============================================================================== c | 0 | 2976 3176 479076 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15403 c Elapsed CPU time: 27.5748 s Remaining CPU time: 152.425 s c =============================================================================== c | 0 | 2976 3177 481926 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15402 c Elapsed CPU time: 27.9208 s Remaining CPU time: 152.079 s c =============================================================================== c | 0 | 2976 3178 484776 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15401 c Elapsed CPU time: 28.2727 s Remaining CPU time: 151.727 s c =============================================================================== c | 0 | 2976 3179 487626 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15400 c Elapsed CPU time: 28.6286 s Remaining CPU time: 151.371 s c =============================================================================== c | 0 | 2976 3180 490476 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15399 c Elapsed CPU time: 28.9826 s Remaining CPU time: 151.017 s c =============================================================================== c | 0 | 2976 3181 493326 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15398 c Elapsed CPU time: 29.3365 s Remaining CPU time: 150.663 s c =============================================================================== c | 0 | 2976 3182 496176 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15397 c Elapsed CPU time: 29.6955 s Remaining CPU time: 150.305 s c =============================================================================== c | 0 | 2976 3183 499026 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15394 c Elapsed CPU time: 30.0524 s Remaining CPU time: 149.948 s c =============================================================================== c | 0 | 2976 3184 501876 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15393 c Elapsed CPU time: 30.4164 s Remaining CPU time: 149.584 s c =============================================================================== c | 0 | 2976 3185 504726 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15391 c Elapsed CPU time: 30.7733 s Remaining CPU time: 149.227 s c =============================================================================== c | 0 | 2976 3186 507576 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15390 c Elapsed CPU time: 31.1293 s Remaining CPU time: 148.871 s c =============================================================================== c | 0 | 2976 3187 510426 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15389 c Elapsed CPU time: 31.4882 s Remaining CPU time: 148.512 s c =============================================================================== c | 0 | 2976 3188 513276 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15388 c Elapsed CPU time: 31.8582 s Remaining CPU time: 148.142 s c =============================================================================== c | 0 | 2976 3189 516126 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15386 c Elapsed CPU time: 32.2131 s Remaining CPU time: 147.787 s c =============================================================================== c | 0 | 2976 3190 518976 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15384 c Elapsed CPU time: 32.566 s Remaining CPU time: 147.434 s c =============================================================================== c | 0 | 2976 3191 521826 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15383 c Elapsed CPU time: 32.934 s Remaining CPU time: 147.066 s c =============================================================================== c | 0 | 2976 3192 524676 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15382 c Elapsed CPU time: 33.3099 s Remaining CPU time: 146.69 s c =============================================================================== c | 0 | 2976 3193 527526 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15381 c Elapsed CPU time: 33.6819 s Remaining CPU time: 146.318 s c =============================================================================== c | 0 | 2976 3194 530376 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15380 c Elapsed CPU time: 34.0548 s Remaining CPU time: 145.945 s c =============================================================================== c | 0 | 2976 3195 533226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15379 c Elapsed CPU time: 34.4288 s Remaining CPU time: 145.571 s c =============================================================================== c | 0 | 2976 3196 536076 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15378 c Elapsed CPU time: 34.7977 s Remaining CPU time: 145.202 s c =============================================================================== c | 0 | 2976 3197 538926 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15377 c Elapsed CPU time: 35.1667 s Remaining CPU time: 144.833 s c =============================================================================== c | 0 | 2976 3198 541776 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15376 c Elapsed CPU time: 35.5386 s Remaining CPU time: 144.461 s c =============================================================================== c | 0 | 2976 3199 544626 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15375 c Elapsed CPU time: 35.9165 s Remaining CPU time: 144.083 s c =============================================================================== c | 0 | 2976 3200 547476 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15373 c Elapsed CPU time: 36.2885 s Remaining CPU time: 143.712 s c =============================================================================== c | 0 | 2976 3201 550326 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15371 c Elapsed CPU time: 36.6634 s Remaining CPU time: 143.337 s c =============================================================================== c | 0 | 2976 3202 553176 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15370 c Elapsed CPU time: 37.0404 s Remaining CPU time: 142.96 s c =============================================================================== c | 0 | 2976 3203 556026 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15367 c Elapsed CPU time: 37.4183 s Remaining CPU time: 142.582 s c =============================================================================== c | 0 | 2976 3204 558876 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15365 c Elapsed CPU time: 37.7953 s Remaining CPU time: 142.205 s c =============================================================================== c | 0 | 2976 3205 561726 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15364 c Elapsed CPU time: 38.1802 s Remaining CPU time: 141.82 s c =============================================================================== c | 0 | 2976 3206 564576 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15363 c Elapsed CPU time: 38.5711 s Remaining CPU time: 141.429 s c =============================================================================== c | 0 | 2976 3207 567426 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15362 c Elapsed CPU time: 38.9581 s Remaining CPU time: 141.042 s c =============================================================================== c | 0 | 2976 3208 570276 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15361 c Elapsed CPU time: 39.354 s Remaining CPU time: 140.646 s c =============================================================================== c | 0 | 2976 3209 573126 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15358 c Elapsed CPU time: 39.742 s Remaining CPU time: 140.258 s c =============================================================================== c | 0 | 2976 3210 575976 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15357 c Elapsed CPU time: 40.1619 s Remaining CPU time: 139.838 s c =============================================================================== c | 0 | 2976 3211 578826 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15356 c Elapsed CPU time: 40.5758 s Remaining CPU time: 139.424 s c =============================================================================== c | 0 | 2976 3212 581676 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15355 c Elapsed CPU time: 40.9728 s Remaining CPU time: 139.027 s c =============================================================================== c | 0 | 2976 3213 584526 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15354 c Elapsed CPU time: 41.3687 s Remaining CPU time: 138.631 s c =============================================================================== c | 0 | 2976 3214 587376 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15353 c Elapsed CPU time: 41.7677 s Remaining CPU time: 138.232 s c =============================================================================== c | 0 | 2976 3215 590226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15352 c Elapsed CPU time: 42.1746 s Remaining CPU time: 137.825 s c =============================================================================== c | 0 | 2976 3216 593076 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15351 c Elapsed CPU time: 42.5735 s Remaining CPU time: 137.426 s c =============================================================================== c | 0 | 2976 3217 595926 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15350 c Elapsed CPU time: 42.9805 s Remaining CPU time: 137.02 s c =============================================================================== c | 0 | 2976 3218 598776 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15349 c Elapsed CPU time: 43.3854 s Remaining CPU time: 136.615 s c =============================================================================== c | 0 | 2976 3219 601626 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15347 c Elapsed CPU time: 43.7833 s Remaining CPU time: 136.217 s c =============================================================================== c | 0 | 2976 3220 604476 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15345 c Elapsed CPU time: 44.1893 s Remaining CPU time: 135.811 s c =============================================================================== c | 0 | 2976 3221 607326 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15344 c Elapsed CPU time: 44.6432 s Remaining CPU time: 135.357 s c =============================================================================== c | 0 | 2976 3222 610176 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15343 c Elapsed CPU time: 45.0841 s Remaining CPU time: 134.916 s c =============================================================================== c | 0 | 2976 3223 613026 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15341 c Elapsed CPU time: 45.5221 s Remaining CPU time: 134.478 s c =============================================================================== c | 0 | 2976 3224 615876 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15340 c Elapsed CPU time: 45.962 s Remaining CPU time: 134.038 s c =============================================================================== c | 0 | 2976 3225 618726 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15339 c Elapsed CPU time: 46.3999 s Remaining CPU time: 133.6 s c =============================================================================== c | 0 | 2976 3226 621576 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15338 c Elapsed CPU time: 46.8459 s Remaining CPU time: 133.154 s c =============================================================================== c | 0 | 2976 3227 624426 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15337 c Elapsed CPU time: 47.2828 s Remaining CPU time: 132.717 s c =============================================================================== c | 0 | 2976 3228 627276 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15334 c Elapsed CPU time: 47.7237 s Remaining CPU time: 132.276 s c =============================================================================== c | 0 | 2976 3229 630126 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15333 c Elapsed CPU time: 48.1587 s Remaining CPU time: 131.841 s c =============================================================================== c | 0 | 2976 3230 632976 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15332 c Elapsed CPU time: 48.5926 s Remaining CPU time: 131.407 s c =============================================================================== c | 0 | 2976 3231 635826 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15328 c Elapsed CPU time: 49.0285 s Remaining CPU time: 130.971 s c =============================================================================== c | 0 | 2976 3232 638676 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15326 c Elapsed CPU time: 49.4675 s Remaining CPU time: 130.533 s c =============================================================================== c | 0 | 2976 3233 641526 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15325 c Elapsed CPU time: 49.9024 s Remaining CPU time: 130.098 s c =============================================================================== c | 0 | 2976 3234 644376 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15323 c Elapsed CPU time: 50.3523 s Remaining CPU time: 129.648 s c =============================================================================== c | 0 | 2976 3235 647226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15320 c Elapsed CPU time: 50.7933 s Remaining CPU time: 129.207 s c =============================================================================== c | 0 | 2976 3236 650076 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15317 c Elapsed CPU time: 51.2332 s Remaining CPU time: 128.767 s c =============================================================================== c | 0 | 2976 3237 652926 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15315 c Elapsed CPU time: 51.6741 s Remaining CPU time: 128.326 s c =============================================================================== c | 0 | 2976 3238 655776 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15314 c Elapsed CPU time: 52.1201 s Remaining CPU time: 127.88 s c =============================================================================== c | 0 | 2976 3239 658626 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15312 c Elapsed CPU time: 52.562 s Remaining CPU time: 127.438 s c =============================================================================== c | 0 | 2976 3240 661476 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15311 c Elapsed CPU time: 53.0169 s Remaining CPU time: 126.983 s c =============================================================================== c | 0 | 2976 3241 664326 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15309 c Elapsed CPU time: 53.4599 s Remaining CPU time: 126.54 s c =============================================================================== c | 0 | 2976 3242 667176 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15308 c Elapsed CPU time: 53.9058 s Remaining CPU time: 126.094 s c =============================================================================== c | 0 | 2976 3243 670026 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15303 c Elapsed CPU time: 54.3467 s Remaining CPU time: 125.653 s c =============================================================================== c | 0 | 2976 3244 672876 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15302 c Elapsed CPU time: 54.7877 s Remaining CPU time: 125.212 s c =============================================================================== c | 0 | 2976 3245 675726 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15301 c Elapsed CPU time: 55.2306 s Remaining CPU time: 124.769 s c =============================================================================== c | 0 | 2976 3246 678576 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15299 c Elapsed CPU time: 55.6805 s Remaining CPU time: 124.319 s c =============================================================================== c | 0 | 2976 3247 681426 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15298 c Elapsed CPU time: 56.1495 s Remaining CPU time: 123.851 s c =============================================================================== c | 0 | 2976 3248 684276 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15297 c Elapsed CPU time: 56.6014 s Remaining CPU time: 123.399 s c =============================================================================== c | 0 | 2976 3249 687126 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15295 c Elapsed CPU time: 57.0723 s Remaining CPU time: 122.928 s c =============================================================================== c | 0 | 2976 3250 689976 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15294 c Elapsed CPU time: 57.5423 s Remaining CPU time: 122.458 s c =============================================================================== c | 0 | 2976 3251 692826 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15293 c Elapsed CPU time: 58.0182 s Remaining CPU time: 121.982 s c =============================================================================== c | 0 | 2976 3252 695676 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15292 c Elapsed CPU time: 58.5191 s Remaining CPU time: 121.481 s c =============================================================================== c | 0 | 2976 3253 698526 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15290 c Elapsed CPU time: 59.011 s Remaining CPU time: 120.989 s c =============================================================================== c | 0 | 2976 3254 701376 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15287 c Elapsed CPU time: 59.518 s Remaining CPU time: 120.482 s c =============================================================================== c | 0 | 2976 3255 704226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15286 c Elapsed CPU time: 60.0189 s Remaining CPU time: 119.981 s c =============================================================================== c | 0 | 2976 3256 707076 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15284 c Elapsed CPU time: 60.5178 s Remaining CPU time: 119.482 s c =============================================================================== c | 0 | 2976 3257 709926 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15283 c Elapsed CPU time: 61.0387 s Remaining CPU time: 118.961 s c =============================================================================== c | 0 | 2976 3258 712776 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15281 c Elapsed CPU time: 61.5586 s Remaining CPU time: 118.441 s c =============================================================================== c | 0 | 2976 3259 715626 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15278 c Elapsed CPU time: 62.0676 s Remaining CPU time: 117.932 s c =============================================================================== c | 0 | 2976 3260 718476 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15277 c Elapsed CPU time: 62.5885 s Remaining CPU time: 117.412 s c =============================================================================== c | 0 | 2976 3261 721326 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15276 c Elapsed CPU time: 63.1074 s Remaining CPU time: 116.893 s c =============================================================================== c | 0 | 2976 3262 724176 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15274 c Elapsed CPU time: 63.6203 s Remaining CPU time: 116.38 s c =============================================================================== c | 0 | 2976 3263 727026 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15273 c Elapsed CPU time: 64.1392 s Remaining CPU time: 115.861 s c =============================================================================== c | 0 | 2976 3264 729876 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15272 c Elapsed CPU time: 64.6662 s Remaining CPU time: 115.334 s c =============================================================================== c | 0 | 2976 3265 732726 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15271 c Elapsed CPU time: 65.2061 s Remaining CPU time: 114.794 s c =============================================================================== c | 0 | 2976 3266 735576 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15270 c Elapsed CPU time: 65.749 s Remaining CPU time: 114.251 s c =============================================================================== c | 0 | 2976 3267 738426 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15269 c Elapsed CPU time: 66.2779 s Remaining CPU time: 113.722 s c =============================================================================== c | 0 | 2976 3268 741276 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15268 c Elapsed CPU time: 66.8108 s Remaining CPU time: 113.189 s c =============================================================================== c | 0 | 2976 3269 744126 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15266 c Elapsed CPU time: 67.3758 s Remaining CPU time: 112.624 s c =============================================================================== c | 0 | 2976 3270 746976 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15263 c Elapsed CPU time: 67.9267 s Remaining CPU time: 112.073 s c =============================================================================== c | 0 | 2976 3271 749826 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15260 c Elapsed CPU time: 68.4746 s Remaining CPU time: 111.525 s c =============================================================================== c | 0 | 2976 3272 752676 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15258 c Elapsed CPU time: 69.0515 s Remaining CPU time: 110.948 s c =============================================================================== c | 0 | 2976 3273 755526 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15257 c Elapsed CPU time: 69.6104 s Remaining CPU time: 110.39 s c =============================================================================== c | 0 | 2976 3274 758376 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15254 c Elapsed CPU time: 70.1583 s Remaining CPU time: 109.842 s c =============================================================================== c | 0 | 2976 3275 761226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15253 c Elapsed CPU time: 70.7252 s Remaining CPU time: 109.275 s c =============================================================================== c | 0 | 2976 3276 764076 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15252 c Elapsed CPU time: 71.2872 s Remaining CPU time: 108.713 s c =============================================================================== c | 0 | 2976 3277 766926 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15250 c Elapsed CPU time: 71.8501 s Remaining CPU time: 108.15 s c =============================================================================== c | 0 | 2976 3278 769776 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15249 c Elapsed CPU time: 72.404 s Remaining CPU time: 107.596 s c =============================================================================== c | 0 | 2976 3279 772626 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15248 c Elapsed CPU time: 72.9729 s Remaining CPU time: 107.027 s c =============================================================================== c | 0 | 2976 3280 775476 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15247 c Elapsed CPU time: 73.5408 s Remaining CPU time: 106.459 s c =============================================================================== c | 0 | 2976 3281 778326 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15246 c Elapsed CPU time: 74.1087 s Remaining CPU time: 105.891 s c =============================================================================== c | 0 | 2976 3282 781176 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15244 c Elapsed CPU time: 74.7056 s Remaining CPU time: 105.294 s c =============================================================================== c | 0 | 2976 3283 784026 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15242 c Elapsed CPU time: 75.2906 s Remaining CPU time: 104.709 s c =============================================================================== c | 0 | 2976 3284 786876 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15241 c Elapsed CPU time: 75.8565 s Remaining CPU time: 104.144 s c =============================================================================== c | 0 | 2976 3285 789726 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15240 c Elapsed CPU time: 76.4214 s Remaining CPU time: 103.579 s c =============================================================================== c | 0 | 2976 3286 792576 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15238 c Elapsed CPU time: 77.0143 s Remaining CPU time: 102.986 s c =============================================================================== c | 0 | 2976 3287 795426 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15237 c Elapsed CPU time: 77.6022 s Remaining CPU time: 102.398 s c =============================================================================== c | 0 | 2976 3288 798276 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15236 c Elapsed CPU time: 78.1861 s Remaining CPU time: 101.814 s c =============================================================================== c | 0 | 2976 3289 801126 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15235 c Elapsed CPU time: 78.778 s Remaining CPU time: 101.222 s c =============================================================================== c | 0 | 2976 3290 803976 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15234 c Elapsed CPU time: 79.3679 s Remaining CPU time: 100.632 s c =============================================================================== c | 0 | 2976 3291 806826 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15233 c Elapsed CPU time: 79.9538 s Remaining CPU time: 100.046 s c =============================================================================== c | 0 | 2976 3292 809676 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15232 c Elapsed CPU time: 80.5318 s Remaining CPU time: 99.4682 s c =============================================================================== c | 0 | 2976 3293 812526 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15230 c Elapsed CPU time: 81.1147 s Remaining CPU time: 98.8853 s c =============================================================================== c | 0 | 2976 3294 815376 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15228 c Elapsed CPU time: 81.7066 s Remaining CPU time: 98.2934 s c =============================================================================== c | 0 | 2976 3295 818226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15227 c Elapsed CPU time: 82.3065 s Remaining CPU time: 97.6935 s c =============================================================================== c | 0 | 2976 3296 821076 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15225 c Elapsed CPU time: 82.9094 s Remaining CPU time: 97.0906 s c =============================================================================== c | 0 | 2976 3297 823926 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15224 c Elapsed CPU time: 83.4943 s Remaining CPU time: 96.5057 s c =============================================================================== c | 0 | 2976 3298 826776 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15223 c Elapsed CPU time: 84.0842 s Remaining CPU time: 95.9158 s c =============================================================================== c | 0 | 2976 3299 829626 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15222 c Elapsed CPU time: 84.6641 s Remaining CPU time: 95.3359 s c =============================================================================== c | 0 | 2976 3300 832476 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15221 c Elapsed CPU time: 85.27 s Remaining CPU time: 94.73 s c =============================================================================== c | 0 | 2976 3301 835326 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15220 c Elapsed CPU time: 85.8679 s Remaining CPU time: 94.1321 s c =============================================================================== c | 0 | 2976 3302 838176 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15218 c Elapsed CPU time: 86.4579 s Remaining CPU time: 93.5421 s c =============================================================================== c | 0 | 2976 3303 841026 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15217 c Elapsed CPU time: 87.0608 s Remaining CPU time: 92.9392 s c =============================================================================== c | 0 | 2976 3304 843876 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15216 c Elapsed CPU time: 87.6777 s Remaining CPU time: 92.3223 s c =============================================================================== c | 0 | 2976 3305 846726 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15215 c Elapsed CPU time: 88.2716 s Remaining CPU time: 91.7284 s c =============================================================================== c | 0 | 2976 3306 849576 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15214 c Elapsed CPU time: 88.8905 s Remaining CPU time: 91.1095 s c =============================================================================== c | 0 | 2976 3307 852426 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15213 c Elapsed CPU time: 89.5124 s Remaining CPU time: 90.4876 s c =============================================================================== c | 0 | 2976 3308 855276 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15212 c Elapsed CPU time: 90.1503 s Remaining CPU time: 89.8497 s c =============================================================================== c | 0 | 2976 3309 858126 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15211 c Elapsed CPU time: 90.7822 s Remaining CPU time: 89.2178 s c =============================================================================== c | 0 | 2976 3310 860976 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15210 c Elapsed CPU time: 91.4041 s Remaining CPU time: 88.5959 s c =============================================================================== c | 0 | 2976 3311 863826 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15209 c Elapsed CPU time: 92.014 s Remaining CPU time: 87.986 s c =============================================================================== c | 0 | 2976 3312 866676 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15208 c Elapsed CPU time: 92.6209 s Remaining CPU time: 87.3791 s c =============================================================================== c | 0 | 2976 3313 869526 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15207 c Elapsed CPU time: 93.2278 s Remaining CPU time: 86.7722 s c =============================================================================== c | 0 | 2976 3314 872376 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15206 c Elapsed CPU time: 93.8347 s Remaining CPU time: 86.1653 s c =============================================================================== c | 0 | 2976 3315 875226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15205 c Elapsed CPU time: 94.4456 s Remaining CPU time: 85.5544 s c =============================================================================== c | 0 | 2976 3316 878076 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15203 c Elapsed CPU time: 95.0685 s Remaining CPU time: 84.9315 s c =============================================================================== c | 0 | 2976 3317 880926 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15201 c Elapsed CPU time: 95.6905 s Remaining CPU time: 84.3095 s c =============================================================================== c | 0 | 2976 3318 883776 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15199 c Elapsed CPU time: 96.3084 s Remaining CPU time: 83.6916 s c =============================================================================== c | 0 | 2976 3319 886626 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15198 c Elapsed CPU time: 96.9233 s Remaining CPU time: 83.0767 s c =============================================================================== c | 0 | 2976 3320 889476 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15197 c Elapsed CPU time: 97.5362 s Remaining CPU time: 82.4638 s c =============================================================================== c | 1 | 2976 3321 892326 | 5000 1 2774 | 0.000 % | c =============================================================================== c New solution: 15194 c Elapsed CPU time: 98.1291 s Remaining CPU time: 81.8709 s c =============================================================================== c | 1 | 2976 3322 895176 | 5000 1 2774 | 0.000 % | c =============================================================================== c New solution: 15193 c Elapsed CPU time: 98.79 s Remaining CPU time: 81.21 s c =============================================================================== c | 1 | 2976 3323 898026 | 5000 1 2774 | 0.000 % | c =============================================================================== c New solution: 15192 c Elapsed CPU time: 99.4529 s Remaining CPU time: 80.5471 s c =============================================================================== c | 1 | 2976 3324 900876 | 5000 1 2774 | 0.000 % | c =============================================================================== c New solution: 15191 c Elapsed CPU time: 100.074 s Remaining CPU time: 79.9262 s c =============================================================================== c | 1 | 2976 3325 903726 | 5000 1 2774 | 0.000 % | c =============================================================================== c New solution: 15190 c Elapsed CPU time: 100.696 s Remaining CPU time: 79.3043 s c =============================================================================== c | 1 | 2976 3326 906576 | 5000 1 2774 | 0.000 % | c =============================================================================== c New solution: 15189 c Elapsed CPU time: 101.326 s Remaining CPU time: 78.6744 s c =============================================================================== c | 1 | 2976 3327 909426 | 5000 1 2774 | 0.000 % | c =============================================================================== c New solution: 15187 c Elapsed CPU time: 101.989 s Remaining CPU time: 78.0105 s c =============================================================================== c | 1 | 2976 3328 912276 | 5000 1 2774 | 0.000 % | c =============================================================================== c New solution: 15186 c Elapsed CPU time: 102.679 s Remaining CPU time: 77.3206 s c =============================================================================== c | 1 | 2976 3329 915126 | 5000 1 2774 | 0.000 % | c =============================================================================== c New solution: 15185 c Elapsed CPU time: 103.366 s Remaining CPU time: 76.6337 s c =============================================================================== c | 1 | 2976 3330 917976 | 5000 1 2774 | 0.000 % | c =============================================================================== c New solution: 15183 c Elapsed CPU time: 104.02 s Remaining CPU time: 75.9798 s c =============================================================================== c | 1 | 2976 3331 920826 | 5000 1 2774 | 0.000 % | c =============================================================================== c New solution: 15182 c Elapsed CPU time: 104.742 s Remaining CPU time: 75.2579 s c =============================================================================== c | 2 | 2976 3332 923676 | 5000 2 1388 | 0.000 % | c =============================================================================== c New solution: 15181 c Elapsed CPU time: 105.416 s Remaining CPU time: 74.584 s c =============================================================================== c | 2 | 2976 3333 926526 | 5000 2 1388 | 0.000 % | c =============================================================================== c New solution: 15179 c Elapsed CPU time: 106.04 s Remaining CPU time: 73.9601 s c =============================================================================== c | 2 | 2976 3334 929376 | 5000 2 1388 | 0.000 % | c =============================================================================== c New solution: 15176 c Elapsed CPU time: 106.668 s Remaining CPU time: 73.3322 s c =============================================================================== c | 2 | 2976 3335 932226 | 5000 2 1388 | 0.000 % | c =============================================================================== c New solution: 15175 c Elapsed CPU time: 107.327 s Remaining CPU time: 72.6733 s c =============================================================================== c | 3 | 2976 3336 935076 | 5000 3 1848 | 0.000 % | c =============================================================================== c New solution: 15174 c Elapsed CPU time: 107.98 s Remaining CPU time: 72.0204 s c =============================================================================== c | 3 | 2976 3337 937926 | 5000 3 1848 | 0.000 % | c =============================================================================== c New solution: 15173 c Elapsed CPU time: 108.661 s Remaining CPU time: 71.3385 s c =============================================================================== c | 3 | 2976 3338 940776 | 5000 3 1848 | 0.000 % | c =============================================================================== c New solution: 15172 c Elapsed CPU time: 109.315 s Remaining CPU time: 70.6846 s c =============================================================================== c | 3 | 2976 3339 943626 | 5000 3 1848 | 0.000 % | c =============================================================================== c New solution: 15171 c Elapsed CPU time: 109.966 s Remaining CPU time: 70.0337 s c =============================================================================== c | 3 | 2976 3340 946476 | 5000 3 1848 | 0.000 % | c =============================================================================== c New solution: 15169 c Elapsed CPU time: 110.666 s Remaining CPU time: 69.3338 s c =============================================================================== c | 3 | 2976 3341 949326 | 5000 3 1848 | 0.000 % | c =============================================================================== c New solution: 15167 c Elapsed CPU time: 111.353 s Remaining CPU time: 68.6469 s c =============================================================================== c | 3 | 2976 3342 952176 | 5000 3 1848 | 0.000 % | c =============================================================================== c New solution: 15165 c Elapsed CPU time: 112.034 s Remaining CPU time: 67.966 s c =============================================================================== c | 3 | 2976 3343 955026 | 5000 3 1848 | 0.000 % | c =============================================================================== c New solution: 15164 c Elapsed CPU time: 112.703 s Remaining CPU time: 67.2971 s c =============================================================================== c | 3 | 2976 3344 957876 | 5000 3 1848 | 0.000 % | c =============================================================================== c New solution: 15163 c Elapsed CPU time: 113.353 s Remaining CPU time: 66.6472 s c =============================================================================== c | 3 | 2976 3345 960726 | 5000 3 1848 | 0.000 % | c =============================================================================== c New solution: 15162 c Elapsed CPU time: 114.019 s Remaining CPU time: 65.9813 s c =============================================================================== c | 3 | 2976 3346 963576 | 5000 3 1848 | 0.000 % | c =============================================================================== c New solution: 15161 c Elapsed CPU time: 114.697 s Remaining CPU time: 65.3034 s c =============================================================================== c | 3 | 2976 3347 966426 | 5000 3 1848 | 0.000 % | c =============================================================================== c New solution: 15160 c Elapsed CPU time: 115.364 s Remaining CPU time: 64.6355 s c =============================================================================== c | 3 | 2976 3348 969276 | 5000 3 1848 | 0.000 % | c =============================================================================== c New solution: 15159 c Elapsed CPU time: 116.058 s Remaining CPU time: 63.9416 s c =============================================================================== c | 3 | 2976 3349 972126 | 5000 3 1848 | 0.000 % | c =============================================================================== c New solution: 15158 c Elapsed CPU time: 116.792 s Remaining CPU time: 63.2078 s c =============================================================================== c | 3 | 2976 3350 974976 | 5000 3 1848 | 0.000 % | c =============================================================================== c New solution: 15156 c Elapsed CPU time: 117.509 s Remaining CPU time: 62.4909 s c =============================================================================== c | 3 | 2976 3351 977826 | 5000 3 1848 | 0.000 % | c =============================================================================== c New solution: 15155 c Elapsed CPU time: 118.203 s Remaining CPU time: 61.797 s c =============================================================================== c | 3 | 2976 3352 980676 | 5000 3 1848 | 0.000 % | c =============================================================================== c New solution: 15153 c Elapsed CPU time: 118.937 s Remaining CPU time: 61.0631 s c =============================================================================== c | 4 | 2976 3353 983526 | 5000 4 2078 | 0.000 % | c =============================================================================== c New solution: 15152 c Elapsed CPU time: 119.676 s Remaining CPU time: 60.3242 s c =============================================================================== c | 4 | 2976 3354 986376 | 5000 4 2078 | 0.000 % | c =============================================================================== c New solution: 15151 c Elapsed CPU time: 120.381 s Remaining CPU time: 59.6193 s c =============================================================================== c | 4 | 2976 3355 989226 | 5000 4 2078 | 0.000 % | c =============================================================================== c New solution: 15150 c Elapsed CPU time: 121.074 s Remaining CPU time: 58.9264 s c =============================================================================== c | 4 | 2976 3356 992076 | 5000 4 2078 | 0.000 % | c =============================================================================== c New solution: 15149 c Elapsed CPU time: 121.795 s Remaining CPU time: 58.2045 s c =============================================================================== c | 4 | 2976 3357 994926 | 5000 4 2078 | 0.000 % | c =============================================================================== c New solution: 15148 c Elapsed CPU time: 122.483 s Remaining CPU time: 57.5166 s c =============================================================================== c | 4 | 2976 3358 997776 | 5000 4 2078 | 0.000 % | c =============================================================================== c New solution: 15147 c Elapsed CPU time: 123.179 s Remaining CPU time: 56.8207 s c =============================================================================== c | 4 | 2976 3359 1000626 | 5000 4 2078 | 0.000 % | c =============================================================================== c New solution: 15146 c Elapsed CPU time: 123.9 s Remaining CPU time: 56.0998 s c =============================================================================== c | 4 | 2976 3360 1003476 | 5000 4 2078 | 0.000 % | c =============================================================================== c New solution: 15145 c Elapsed CPU time: 124.645 s Remaining CPU time: 55.3549 s c =============================================================================== c | 4 | 2976 3361 1006326 | 5000 4 2078 | 0.000 % | c =============================================================================== c New solution: 15144 c Elapsed CPU time: 125.345 s Remaining CPU time: 54.6551 s c =============================================================================== c | 4 | 2976 3362 1009176 | 5000 4 2078 | 0.000 % | c =============================================================================== c New solution: 15143 c Elapsed CPU time: 126.048 s Remaining CPU time: 53.9522 s c =============================================================================== c | 4 | 2976 3363 1012026 | 5000 4 2078 | 0.000 % | c =============================================================================== c New solution: 15142 c Elapsed CPU time: 126.754 s Remaining CPU time: 53.2463 s c =============================================================================== c | 4 | 2976 3364 1014876 | 5000 4 2078 | 0.000 % | c =============================================================================== c New solution: 15141 c Elapsed CPU time: 127.457 s Remaining CPU time: 52.5434 s c =============================================================================== c | 4 | 2976 3365 1017726 | 5000 4 2078 | 0.000 % | c =============================================================================== c New solution: 15140 c Elapsed CPU time: 128.168 s Remaining CPU time: 51.8325 s c =============================================================================== c | 4 | 2976 3366 1020576 | 5000 4 2078 | 0.000 % | c =============================================================================== c New solution: 15139 c Elapsed CPU time: 128.841 s Remaining CPU time: 51.1586 s c =============================================================================== c | 4 | 2976 3367 1023426 | 5000 4 2078 | 0.000 % | c =============================================================================== c New solution: 15138 c Elapsed CPU time: 129.549 s Remaining CPU time: 50.4507 s c =============================================================================== c | 4 | 2976 3368 1026276 | 5000 4 2078 | 0.000 % | c =============================================================================== c New solution: 15137 c Elapsed CPU time: 130.239 s Remaining CPU time: 49.7608 s c =============================================================================== c | 4 | 2976 3369 1029126 | 5000 4 2078 | 0.000 % | c =============================================================================== c New solution: 15136 c Elapsed CPU time: 130.94 s Remaining CPU time: 49.0599 s c =============================================================================== c | 4 | 2976 3370 1031976 | 5000 4 2078 | 0.000 % | c =============================================================================== c New solution: 15135 c Elapsed CPU time: 131.665 s Remaining CPU time: 48.335 s c =============================================================================== c | 4 | 2976 3371 1034826 | 5000 4 2078 | 0.000 % | c =============================================================================== c New solution: 15134 c Elapsed CPU time: 132.411 s Remaining CPU time: 47.5891 s c =============================================================================== c | 5 | 2976 3372 1037676 | 5000 5 2215 | 0.000 % | c =============================================================================== c New solution: 15132 c Elapsed CPU time: 133.136 s Remaining CPU time: 46.8642 s c =============================================================================== c | 5 | 2976 3373 1040526 | 5000 5 2215 | 0.000 % | c =============================================================================== c New solution: 15131 c Elapsed CPU time: 133.916 s Remaining CPU time: 46.0844 s c =============================================================================== c | 5 | 2976 3374 1043376 | 5000 5 2215 | 0.000 % | c =============================================================================== c New solution: 15129 c Elapsed CPU time: 134.692 s Remaining CPU time: 45.3085 s c =============================================================================== c | 5 | 2976 3375 1046226 | 5000 5 2215 | 0.000 % | c =============================================================================== c New solution: 15128 c Elapsed CPU time: 135.46 s Remaining CPU time: 44.5396 s c =============================================================================== c | 5 | 2976 3376 1049076 | 5000 5 2215 | 0.000 % | c =============================================================================== c New solution: 15127 c Elapsed CPU time: 136.196 s Remaining CPU time: 43.8037 s c =============================================================================== c | 5 | 2976 3377 1051926 | 5000 5 2215 | 0.000 % | c =============================================================================== c New solution: 15126 c Elapsed CPU time: 136.928 s Remaining CPU time: 43.0718 s c =============================================================================== c | 5 | 2976 3378 1054776 | 5000 5 2215 | 0.000 % | c =============================================================================== c New solution: 15125 c Elapsed CPU time: 137.65 s Remaining CPU time: 42.3499 s c =============================================================================== c | 5 | 2976 3379 1057626 | 5000 5 2215 | 0.000 % | c =============================================================================== c New solution: 15123 c Elapsed CPU time: 138.396 s Remaining CPU time: 41.604 s c =============================================================================== c | 5 | 2976 3380 1060476 | 5000 5 2215 | 0.000 % | c =============================================================================== c New solution: 15122 c Elapsed CPU time: 139.125 s Remaining CPU time: 40.8752 s c =============================================================================== c | 5 | 2976 3381 1063326 | 5000 5 2215 | 0.000 % | c =============================================================================== c New solution: 15121 c Elapsed CPU time: 139.853 s Remaining CPU time: 40.1473 s c =============================================================================== c | 5 | 2976 3382 1066176 | 5000 5 2215 | 0.000 % | c =============================================================================== c New solution: 15120 c Elapsed CPU time: 140.587 s Remaining CPU time: 39.4134 s c =============================================================================== c | 5 | 2976 3383 1069026 | 5000 5 2215 | 0.000 % | c =============================================================================== c New solution: 15118 c Elapsed CPU time: 141.3 s Remaining CPU time: 38.7005 s c =============================================================================== c | 5 | 2976 3384 1071876 | 5000 5 2215 | 0.000 % | c =============================================================================== c New solution: 15117 c Elapsed CPU time: 142.028 s Remaining CPU time: 37.9716 s c =============================================================================== c | 5 | 2976 3385 1074726 | 5000 5 2215 | 0.000 % | c =============================================================================== c New solution: 15116 c Elapsed CPU time: 142.767 s Remaining CPU time: 37.2327 s c =============================================================================== c | 5 | 2976 3386 1077576 | 5000 5 2215 | 0.000 % | c =============================================================================== c New solution: 15115 c Elapsed CPU time: 143.478 s Remaining CPU time: 36.5218 s c =============================================================================== c | 5 | 2976 3387 1080426 | 5000 5 2215 | 0.000 % | c =============================================================================== c New solution: 15114 c Elapsed CPU time: 144.252 s Remaining CPU time: 35.7479 s c =============================================================================== c | 6 | 2976 3388 1083276 | 5000 6 2306 | 0.000 % | c =============================================================================== c New solution: 15113 c Elapsed CPU time: 144.999 s Remaining CPU time: 35.001 s c =============================================================================== c | 9 | 2976 3389 1086126 | 5000 9 2456 | 0.000 % | c =============================================================================== c New solution: 15112 c Elapsed CPU time: 145.805 s Remaining CPU time: 34.1952 s c =============================================================================== c | 9 | 2976 3390 1088976 | 5000 9 2456 | 0.000 % | c =============================================================================== c New solution: 15111 c Elapsed CPU time: 146.596 s Remaining CPU time: 33.4043 s c =============================================================================== c | 9 | 2976 3391 1091826 | 5000 9 2456 | 0.000 % | c =============================================================================== c New solution: 15109 c Elapsed CPU time: 147.363 s Remaining CPU time: 32.6374 s c =============================================================================== c | 11 | 2976 3392 1094676 | 5000 11 2512 | 0.000 % | c =============================================================================== c New solution: 15108 c Elapsed CPU time: 148.124 s Remaining CPU time: 31.8755 s c =============================================================================== c | 11 | 2976 3393 1097526 | 5000 11 2512 | 0.000 % | c =============================================================================== c New solution: 15107 c Elapsed CPU time: 148.878 s Remaining CPU time: 31.1216 s c =============================================================================== c | 11 | 2976 3394 1100376 | 5000 11 2512 | 0.000 % | c =============================================================================== c New solution: 15106 c Elapsed CPU time: 149.631 s Remaining CPU time: 30.3687 s c =============================================================================== c | 11 | 2976 3395 1103226 | 5000 11 2512 | 0.000 % | c =============================================================================== c New solution: 15105 c Elapsed CPU time: 150.392 s Remaining CPU time: 29.6079 s c =============================================================================== c | 11 | 2976 3396 1106076 | 5000 11 2512 | 0.000 % | c =============================================================================== c New solution: 15104 c Elapsed CPU time: 151.187 s Remaining CPU time: 28.813 s c =============================================================================== c | 11 | 2976 3397 1108926 | 5000 11 2512 | 0.000 % | c =============================================================================== c New solution: 15103 c Elapsed CPU time: 151.95 s Remaining CPU time: 28.0501 s c =============================================================================== c | 11 | 2976 3398 1111776 | 5000 11 2512 | 0.000 % | c =============================================================================== c New solution: 15102 c Elapsed CPU time: 152.794 s Remaining CPU time: 27.2062 s c =============================================================================== c | 11 | 2976 3399 1114626 | 5000 11 2512 | 0.000 % | c =============================================================================== c New solution: 15101 c Elapsed CPU time: 153.595 s Remaining CPU time: 26.4053 s c =============================================================================== c | 11 | 2976 3400 1117476 | 5000 11 2512 | 0.000 % | c =============================================================================== c New solution: 15100 c Elapsed CPU time: 154.358 s Remaining CPU time: 25.6425 s c =============================================================================== c | 14 | 2976 3401 1120326 | 5000 14 2564 | 0.000 % | c =============================================================================== c New solution: 15099 c Elapsed CPU time: 155.113 s Remaining CPU time: 24.8866 s c =============================================================================== c | 14 | 2976 3402 1123176 | 5000 14 2564 | 0.000 % | c =============================================================================== c New solution: 15097 c Elapsed CPU time: 155.909 s Remaining CPU time: 24.0907 s c =============================================================================== c | 14 | 2976 3403 1126026 | 5000 14 2564 | 0.000 % | c =============================================================================== c New solution: 15096 c Elapsed CPU time: 156.747 s Remaining CPU time: 23.2528 s c =============================================================================== c | 14 | 2976 3404 1128876 | 5000 14 2564 | 0.000 % | c =============================================================================== c New solution: 15095 c Elapsed CPU time: 157.57 s Remaining CPU time: 22.43 s c =============================================================================== c | 14 | 2976 3405 1131726 | 5000 14 2564 | 0.000 % | c =============================================================================== c New solution: 15094 c Elapsed CPU time: 158.372 s Remaining CPU time: 21.6281 s c =============================================================================== c | 14 | 2976 3406 1134576 | 5000 14 2564 | 0.000 % | c =============================================================================== c New solution: 15093 c Elapsed CPU time: 159.204 s Remaining CPU time: 20.7962 s c =============================================================================== c | 14 | 2976 3407 1137426 | 5000 14 2564 | 0.000 % | c =============================================================================== c New solution: 15092 c Elapsed CPU time: 160.07 s Remaining CPU time: 19.9303 s c =============================================================================== c | 14 | 2976 3408 1140276 | 5000 14 2564 | 0.000 % | c =============================================================================== c New solution: 15091 c Elapsed CPU time: 160.958 s Remaining CPU time: 19.0425 s c =============================================================================== c | 15 | 2976 3409 1143126 | 5000 15 2577 | 0.000 % | c =============================================================================== c New solution: 15090 c Elapsed CPU time: 161.771 s Remaining CPU time: 18.2286 s c =============================================================================== c | 15 | 2976 3410 1145976 | 5000 15 2577 | 0.000 % | c =============================================================================== c New solution: 15089 c Elapsed CPU time: 162.586 s Remaining CPU time: 17.4137 s c =============================================================================== c | 15 | 2976 3411 1148826 | 5000 15 2577 | 0.000 % | c =============================================================================== c New solution: 15088 c Elapsed CPU time: 163.41 s Remaining CPU time: 16.5898 s c =============================================================================== c | 15 | 2976 3412 1151676 | 5000 15 2577 | 0.000 % | c =============================================================================== c New solution: 15087 c Elapsed CPU time: 164.316 s Remaining CPU time: 15.684 s c =============================================================================== c | 15 | 2976 3413 1154526 | 5000 15 2577 | 0.000 % | c =============================================================================== c New solution: 15086 c Elapsed CPU time: 165.197 s Remaining CPU time: 14.8031 s c =============================================================================== c | 15 | 2976 3414 1157376 | 5000 15 2577 | 0.000 % | c =============================================================================== c New solution: 15085 c Elapsed CPU time: 166.077 s Remaining CPU time: 13.9232 s c =============================================================================== c | 15 | 2976 3415 1160226 | 5000 15 2577 | 0.000 % | c =============================================================================== c New solution: 15084 c Elapsed CPU time: 166.965 s Remaining CPU time: 13.0354 s c =============================================================================== c | 16 | 2976 3416 1163076 | 5000 16 2416 | 0.000 % | c =============================================================================== c New solution: 15083 c Elapsed CPU time: 167.832 s Remaining CPU time: 12.1675 s c =============================================================================== c | 16 | 2976 3417 1165926 | 5000 16 2416 | 0.000 % | c =============================================================================== c New solution: 15082 c Elapsed CPU time: 168.657 s Remaining CPU time: 11.3426 s c =============================================================================== c | 16 | 2976 3418 1168776 | 5000 16 2416 | 0.000 % | c =============================================================================== c New solution: 15081 c Elapsed CPU time: 169.477 s Remaining CPU time: 10.5228 s c =============================================================================== c | 16 | 2976 3419 1171626 | 5000 16 2416 | 0.000 % | c =============================================================================== c New solution: 15080 c Elapsed CPU time: 170.306 s Remaining CPU time: 9.69389 s c =============================================================================== c | 16 | 2976 3420 1174476 | 5000 16 2416 | 0.000 % | c =============================================================================== c New solution: 15079 c Elapsed CPU time: 171.13 s Remaining CPU time: 8.87002 s c =============================================================================== c | 16 | 2976 3421 1177326 | 5000 16 2416 | 0.000 % | c =============================================================================== c New solution: 15078 c Elapsed CPU time: 171.948 s Remaining CPU time: 8.05214 s c =============================================================================== c | 16 | 2976 3422 1180176 | 5000 16 2416 | 0.000 % | c =============================================================================== c New solution: 15077 c Elapsed CPU time: 172.859 s Remaining CPU time: 7.14128 s c =============================================================================== c | 16 | 2976 3423 1183026 | 5000 16 2416 | 0.000 % | c =============================================================================== c New solution: 15076 c Elapsed CPU time: 173.716 s Remaining CPU time: 6.28441 s c =============================================================================== c | 16 | 2976 3424 1185876 | 5000 16 2416 | 0.000 % | c =============================================================================== c New solution: 15075 c Elapsed CPU time: 174.537 s Remaining CPU time: 5.46253 s c =============================================================================== c | 16 | 2976 3425 1188726 | 5000 16 2416 | 0.000 % | c =============================================================================== c New solution: 15074 c Elapsed CPU time: 175.335 s Remaining CPU time: 4.66466 s c =============================================================================== c | 16 | 2976 3426 1191576 | 5000 16 2416 | 0.000 % | c =============================================================================== c New solution: 15073 c Elapsed CPU time: 176.148 s Remaining CPU time: 3.85178 s c =============================================================================== c | 16 | 2976 3427 1194426 | 5000 16 2416 | 0.000 % | c =============================================================================== c New solution: 15072 c Elapsed CPU time: 176.977 s Remaining CPU time: 3.02291 s c =============================================================================== c | 16 | 2976 3428 1197276 | 5000 16 2416 | 0.000 % | c =============================================================================== c New solution: 15071 c Elapsed CPU time: 177.813 s Remaining CPU time: 2.18703 s c =============================================================================== c | 16 | 2976 3429 1200126 | 5000 16 2416 | 0.000 % | c =============================================================================== c New solution: 15070 c Elapsed CPU time: 178.652 s Remaining CPU time: 1.34816 s c =============================================================================== c | 16 | 2976 3430 1202976 | 5000 16 2416 | 0.000 % | c =============================================================================== c New solution: 15069 c Elapsed CPU time: 179.48 s Remaining CPU time: 0.520286 s c =============================================================================== c | 16 | 2976 3431 1205826 | 5000 16 2416 | 0.000 % | c There are 24 assigned variables. 5 in cost function.