c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 4000 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.01 s | c | Number Variables: 4000 | c | Number Clauses: 4000 | 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 | 3982 4008 11824 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21529 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 0 | 3982 4009 15674 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21527 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 0 | 3982 4010 19524 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21522 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 0 | 3982 4011 23374 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21520 c Elapsed CPU time: 0.25996 s Remaining CPU time: 179.74 s c =============================================================================== c | 0 | 3982 4012 27224 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21519 c Elapsed CPU time: 0.315951 s Remaining CPU time: 179.684 s c =============================================================================== c | 0 | 3982 4013 31074 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21517 c Elapsed CPU time: 0.373943 s Remaining CPU time: 179.626 s c =============================================================================== c | 0 | 3982 4014 34924 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21515 c Elapsed CPU time: 0.430934 s Remaining CPU time: 179.569 s c =============================================================================== c | 0 | 3982 4015 38774 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21514 c Elapsed CPU time: 0.488925 s Remaining CPU time: 179.511 s c =============================================================================== c | 0 | 3982 4016 42624 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21513 c Elapsed CPU time: 0.550916 s Remaining CPU time: 179.449 s c =============================================================================== c | 0 | 3982 4017 46474 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21511 c Elapsed CPU time: 0.612906 s Remaining CPU time: 179.387 s c =============================================================================== c | 0 | 3982 4018 50324 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21509 c Elapsed CPU time: 0.673897 s Remaining CPU time: 179.326 s c =============================================================================== c | 0 | 3982 4019 54174 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21508 c Elapsed CPU time: 0.735888 s Remaining CPU time: 179.264 s c =============================================================================== c | 0 | 3982 4020 58024 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21506 c Elapsed CPU time: 0.799878 s Remaining CPU time: 179.2 s c =============================================================================== c | 0 | 3982 4021 61874 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21504 c Elapsed CPU time: 0.861868 s Remaining CPU time: 179.138 s c =============================================================================== c | 0 | 3982 4022 65724 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21503 c Elapsed CPU time: 0.927858 s Remaining CPU time: 179.072 s c =============================================================================== c | 0 | 3982 4023 69574 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21501 c Elapsed CPU time: 0.995848 s Remaining CPU time: 179.004 s c =============================================================================== c | 0 | 3982 4024 73424 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21499 c Elapsed CPU time: 1.06484 s Remaining CPU time: 178.935 s c =============================================================================== c | 0 | 3982 4025 77274 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21498 c Elapsed CPU time: 1.13183 s Remaining CPU time: 178.868 s c =============================================================================== c | 0 | 3982 4026 81124 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21497 c Elapsed CPU time: 1.20182 s Remaining CPU time: 178.798 s c =============================================================================== c | 0 | 3982 4027 84974 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21496 c Elapsed CPU time: 1.27481 s Remaining CPU time: 178.725 s c =============================================================================== c | 0 | 3982 4028 88824 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21495 c Elapsed CPU time: 1.35079 s Remaining CPU time: 178.649 s c =============================================================================== c | 0 | 3982 4029 92674 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21494 c Elapsed CPU time: 1.42678 s Remaining CPU time: 178.573 s c =============================================================================== c | 0 | 3982 4030 96524 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21492 c Elapsed CPU time: 1.50277 s Remaining CPU time: 178.497 s c =============================================================================== c | 0 | 3982 4031 100374 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21489 c Elapsed CPU time: 1.57776 s Remaining CPU time: 178.422 s c =============================================================================== c | 0 | 3982 4032 104224 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21488 c Elapsed CPU time: 1.65575 s Remaining CPU time: 178.344 s c =============================================================================== c | 0 | 3982 4033 108074 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21487 c Elapsed CPU time: 1.73474 s Remaining CPU time: 178.265 s c =============================================================================== c | 0 | 3982 4034 111924 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21486 c Elapsed CPU time: 1.81572 s Remaining CPU time: 178.184 s c =============================================================================== c | 0 | 3982 4035 115774 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21485 c Elapsed CPU time: 1.89771 s Remaining CPU time: 178.102 s c =============================================================================== c | 0 | 3982 4036 119624 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21484 c Elapsed CPU time: 1.9807 s Remaining CPU time: 178.019 s c =============================================================================== c | 0 | 3982 4037 123474 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21481 c Elapsed CPU time: 2.06669 s Remaining CPU time: 177.933 s c =============================================================================== c | 0 | 3982 4038 127324 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21477 c Elapsed CPU time: 2.15567 s Remaining CPU time: 177.844 s c =============================================================================== c | 0 | 3982 4039 131174 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21474 c Elapsed CPU time: 2.24666 s Remaining CPU time: 177.753 s c =============================================================================== c | 0 | 3982 4040 135024 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21472 c Elapsed CPU time: 2.34064 s Remaining CPU time: 177.659 s c =============================================================================== c | 0 | 3982 4041 138874 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21469 c Elapsed CPU time: 2.43163 s Remaining CPU time: 177.568 s c =============================================================================== c | 0 | 3982 4042 142724 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21468 c Elapsed CPU time: 2.52562 s Remaining CPU time: 177.474 s c =============================================================================== c | 0 | 3982 4043 146574 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21467 c Elapsed CPU time: 2.6216 s Remaining CPU time: 177.378 s c =============================================================================== c | 0 | 3982 4044 150424 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21466 c Elapsed CPU time: 2.71659 s Remaining CPU time: 177.283 s c =============================================================================== c | 0 | 3982 4045 154274 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21463 c Elapsed CPU time: 2.81257 s Remaining CPU time: 177.187 s c =============================================================================== c | 0 | 3982 4046 158124 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21462 c Elapsed CPU time: 2.91456 s Remaining CPU time: 177.085 s c =============================================================================== c | 0 | 3982 4047 161974 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21459 c Elapsed CPU time: 3.01654 s Remaining CPU time: 176.983 s c =============================================================================== c | 0 | 3982 4048 165824 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21457 c Elapsed CPU time: 3.11952 s Remaining CPU time: 176.88 s c =============================================================================== c | 0 | 3982 4049 169674 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21453 c Elapsed CPU time: 3.22551 s Remaining CPU time: 176.774 s c =============================================================================== c | 0 | 3982 4050 173524 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21447 c Elapsed CPU time: 3.33349 s Remaining CPU time: 176.667 s c =============================================================================== c | 0 | 3982 4051 177374 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21445 c Elapsed CPU time: 3.44548 s Remaining CPU time: 176.555 s c =============================================================================== c | 0 | 3982 4052 181224 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21442 c Elapsed CPU time: 3.55746 s Remaining CPU time: 176.443 s c =============================================================================== c | 0 | 3982 4053 185074 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21441 c Elapsed CPU time: 3.67144 s Remaining CPU time: 176.329 s c =============================================================================== c | 0 | 3982 4054 188924 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21438 c Elapsed CPU time: 3.79242 s Remaining CPU time: 176.208 s c =============================================================================== c | 0 | 3982 4055 192774 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21435 c Elapsed CPU time: 3.9154 s Remaining CPU time: 176.085 s c =============================================================================== c | 0 | 3982 4056 196624 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21434 c Elapsed CPU time: 4.03539 s Remaining CPU time: 175.965 s c =============================================================================== c | 0 | 3982 4057 200474 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21433 c Elapsed CPU time: 4.15637 s Remaining CPU time: 175.844 s c =============================================================================== c | 0 | 3982 4058 204324 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21432 c Elapsed CPU time: 4.27435 s Remaining CPU time: 175.726 s c =============================================================================== c | 0 | 3982 4059 208174 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21431 c Elapsed CPU time: 4.40133 s Remaining CPU time: 175.599 s c =============================================================================== c | 0 | 3982 4060 212024 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21430 c Elapsed CPU time: 4.52831 s Remaining CPU time: 175.472 s c =============================================================================== c | 0 | 3982 4061 215874 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21429 c Elapsed CPU time: 4.65629 s Remaining CPU time: 175.344 s c =============================================================================== c | 0 | 3982 4062 219724 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21426 c Elapsed CPU time: 4.78427 s Remaining CPU time: 175.216 s c =============================================================================== c | 0 | 3982 4063 223574 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21421 c Elapsed CPU time: 4.91425 s Remaining CPU time: 175.086 s c =============================================================================== c | 0 | 3982 4064 227424 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21416 c Elapsed CPU time: 5.04623 s Remaining CPU time: 174.954 s c =============================================================================== c | 0 | 3982 4065 231274 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21414 c Elapsed CPU time: 5.19921 s Remaining CPU time: 174.801 s c =============================================================================== c | 0 | 3982 4066 235124 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21412 c Elapsed CPU time: 5.35319 s Remaining CPU time: 174.647 s c =============================================================================== c | 0 | 3982 4067 238974 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21410 c Elapsed CPU time: 5.51016 s Remaining CPU time: 174.49 s c =============================================================================== c | 0 | 3982 4068 242824 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21406 c Elapsed CPU time: 5.66814 s Remaining CPU time: 174.332 s c =============================================================================== c | 0 | 3982 4069 246674 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21405 c Elapsed CPU time: 5.82911 s Remaining CPU time: 174.171 s c =============================================================================== c | 0 | 3982 4070 250524 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21404 c Elapsed CPU time: 5.99709 s Remaining CPU time: 174.003 s c =============================================================================== c | 0 | 3982 4071 254374 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21403 c Elapsed CPU time: 6.16306 s Remaining CPU time: 173.837 s c =============================================================================== c | 0 | 3982 4072 258224 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21402 c Elapsed CPU time: 6.33204 s Remaining CPU time: 173.668 s c =============================================================================== c | 0 | 3982 4073 262074 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21401 c Elapsed CPU time: 6.50501 s Remaining CPU time: 173.495 s c =============================================================================== c | 0 | 3982 4074 265924 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21399 c Elapsed CPU time: 6.68298 s Remaining CPU time: 173.317 s c =============================================================================== c | 0 | 3982 4075 269774 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21397 c Elapsed CPU time: 6.86196 s Remaining CPU time: 173.138 s c =============================================================================== c | 0 | 3982 4076 273624 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21395 c Elapsed CPU time: 7.04893 s Remaining CPU time: 172.951 s c =============================================================================== c | 0 | 3982 4077 277474 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21393 c Elapsed CPU time: 7.2379 s Remaining CPU time: 172.762 s c =============================================================================== c | 0 | 3982 4078 281324 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21391 c Elapsed CPU time: 7.43087 s Remaining CPU time: 172.569 s c =============================================================================== c | 0 | 3982 4079 285174 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21389 c Elapsed CPU time: 7.62184 s Remaining CPU time: 172.378 s c =============================================================================== c | 0 | 3982 4080 289024 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21388 c Elapsed CPU time: 7.81781 s Remaining CPU time: 172.182 s c =============================================================================== c | 0 | 3982 4081 292874 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21387 c Elapsed CPU time: 8.00878 s Remaining CPU time: 171.991 s c =============================================================================== c | 0 | 3982 4082 296724 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21385 c Elapsed CPU time: 8.20275 s Remaining CPU time: 171.797 s c =============================================================================== c | 0 | 3982 4083 300574 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21384 c Elapsed CPU time: 8.39772 s Remaining CPU time: 171.602 s c =============================================================================== c | 0 | 3982 4084 304424 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21383 c Elapsed CPU time: 8.59769 s Remaining CPU time: 171.402 s c =============================================================================== c | 0 | 3982 4085 308274 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21382 c Elapsed CPU time: 8.80266 s Remaining CPU time: 171.197 s c =============================================================================== c | 0 | 3982 4086 312124 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21380 c Elapsed CPU time: 9.00163 s Remaining CPU time: 170.998 s c =============================================================================== c | 0 | 3982 4087 315974 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21379 c Elapsed CPU time: 9.2126 s Remaining CPU time: 170.787 s c =============================================================================== c | 0 | 3982 4088 319824 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21377 c Elapsed CPU time: 9.41957 s Remaining CPU time: 170.58 s c =============================================================================== c | 0 | 3982 4089 323674 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21375 c Elapsed CPU time: 9.62554 s Remaining CPU time: 170.374 s c =============================================================================== c | 0 | 3982 4090 327524 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21372 c Elapsed CPU time: 9.8295 s Remaining CPU time: 170.17 s c =============================================================================== c | 0 | 3982 4091 331374 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21371 c Elapsed CPU time: 10.0425 s Remaining CPU time: 169.958 s c =============================================================================== c | 0 | 3982 4092 335224 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21370 c Elapsed CPU time: 10.2524 s Remaining CPU time: 169.748 s c =============================================================================== c | 0 | 3982 4093 339074 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21368 c Elapsed CPU time: 10.4584 s Remaining CPU time: 169.542 s c =============================================================================== c | 0 | 3982 4094 342924 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21367 c Elapsed CPU time: 10.6724 s Remaining CPU time: 169.328 s c =============================================================================== c | 0 | 3982 4095 346774 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21366 c Elapsed CPU time: 10.8873 s Remaining CPU time: 169.113 s c =============================================================================== c | 0 | 3982 4096 350624 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21364 c Elapsed CPU time: 11.0973 s Remaining CPU time: 168.903 s c =============================================================================== c | 0 | 3982 4097 354474 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21362 c Elapsed CPU time: 11.3133 s Remaining CPU time: 168.687 s c =============================================================================== c | 0 | 3982 4098 358324 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21360 c Elapsed CPU time: 11.5312 s Remaining CPU time: 168.469 s c =============================================================================== c | 0 | 3982 4099 362174 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21359 c Elapsed CPU time: 11.7572 s Remaining CPU time: 168.243 s c =============================================================================== c | 0 | 3982 4100 366024 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21358 c Elapsed CPU time: 11.9832 s Remaining CPU time: 168.017 s c =============================================================================== c | 0 | 3982 4101 369874 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21355 c Elapsed CPU time: 12.2021 s Remaining CPU time: 167.798 s c =============================================================================== c | 0 | 3982 4102 373724 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21354 c Elapsed CPU time: 12.4331 s Remaining CPU time: 167.567 s c =============================================================================== c | 0 | 3982 4103 377574 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21352 c Elapsed CPU time: 12.6721 s Remaining CPU time: 167.328 s c =============================================================================== c | 0 | 3982 4104 381424 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21351 c Elapsed CPU time: 12.904 s Remaining CPU time: 167.096 s c =============================================================================== c | 0 | 3982 4105 385274 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21350 c Elapsed CPU time: 13.144 s Remaining CPU time: 166.856 s c =============================================================================== c | 0 | 3982 4106 389124 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21349 c Elapsed CPU time: 13.385 s Remaining CPU time: 166.615 s c =============================================================================== c | 0 | 3982 4107 392974 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21347 c Elapsed CPU time: 13.6249 s Remaining CPU time: 166.375 s c =============================================================================== c | 0 | 3982 4108 396824 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21346 c Elapsed CPU time: 13.8619 s Remaining CPU time: 166.138 s c =============================================================================== c | 0 | 3982 4109 400674 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21343 c Elapsed CPU time: 14.1039 s Remaining CPU time: 165.896 s c =============================================================================== c | 0 | 3982 4110 404524 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21342 c Elapsed CPU time: 14.3458 s Remaining CPU time: 165.654 s c =============================================================================== c | 0 | 3982 4111 408374 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21339 c Elapsed CPU time: 14.5908 s Remaining CPU time: 165.409 s c =============================================================================== c | 0 | 3982 4112 412224 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21337 c Elapsed CPU time: 14.8407 s Remaining CPU time: 165.159 s c =============================================================================== c | 0 | 3982 4113 416074 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21335 c Elapsed CPU time: 15.0987 s Remaining CPU time: 164.901 s c =============================================================================== c | 0 | 3982 4114 419924 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21333 c Elapsed CPU time: 15.3457 s Remaining CPU time: 164.654 s c =============================================================================== c | 0 | 3982 4115 423774 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21332 c Elapsed CPU time: 15.5996 s Remaining CPU time: 164.4 s c =============================================================================== c | 0 | 3982 4116 427624 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21330 c Elapsed CPU time: 15.8646 s Remaining CPU time: 164.135 s c =============================================================================== c | 0 | 3982 4117 431474 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21329 c Elapsed CPU time: 16.1095 s Remaining CPU time: 163.89 s c =============================================================================== c | 0 | 3982 4118 435324 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21328 c Elapsed CPU time: 16.3705 s Remaining CPU time: 163.629 s c =============================================================================== c | 0 | 3982 4119 439174 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21327 c Elapsed CPU time: 16.6265 s Remaining CPU time: 163.374 s c =============================================================================== c | 0 | 3982 4120 443024 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21324 c Elapsed CPU time: 16.8824 s Remaining CPU time: 163.118 s c =============================================================================== c | 0 | 3982 4121 446874 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21323 c Elapsed CPU time: 17.1424 s Remaining CPU time: 162.858 s c =============================================================================== c | 0 | 3982 4122 450724 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21321 c Elapsed CPU time: 17.4064 s Remaining CPU time: 162.594 s c =============================================================================== c | 0 | 3982 4123 454574 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21318 c Elapsed CPU time: 17.6653 s Remaining CPU time: 162.335 s c =============================================================================== c | 0 | 3982 4124 458424 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21317 c Elapsed CPU time: 17.9303 s Remaining CPU time: 162.07 s c =============================================================================== c | 0 | 3982 4125 462274 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21316 c Elapsed CPU time: 18.2082 s Remaining CPU time: 161.792 s c =============================================================================== c | 0 | 3982 4126 466124 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21315 c Elapsed CPU time: 18.4732 s Remaining CPU time: 161.527 s c =============================================================================== c | 0 | 3982 4127 469974 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21314 c Elapsed CPU time: 18.7412 s Remaining CPU time: 161.259 s c =============================================================================== c | 0 | 3982 4128 473824 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21311 c Elapsed CPU time: 19.0031 s Remaining CPU time: 160.997 s c =============================================================================== c | 0 | 3982 4129 477674 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21310 c Elapsed CPU time: 19.2751 s Remaining CPU time: 160.725 s c =============================================================================== c | 0 | 3982 4130 481524 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21308 c Elapsed CPU time: 19.549 s Remaining CPU time: 160.451 s c =============================================================================== c | 0 | 3982 4131 485374 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21306 c Elapsed CPU time: 19.832 s Remaining CPU time: 160.168 s c =============================================================================== c | 0 | 3982 4132 489224 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21305 c Elapsed CPU time: 20.1129 s Remaining CPU time: 159.887 s c =============================================================================== c | 0 | 3982 4133 493074 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21303 c Elapsed CPU time: 20.4059 s Remaining CPU time: 159.594 s c =============================================================================== c | 0 | 3982 4134 496924 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21301 c Elapsed CPU time: 20.7049 s Remaining CPU time: 159.295 s c =============================================================================== c | 0 | 3982 4135 500774 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21300 c Elapsed CPU time: 20.9988 s Remaining CPU time: 159.001 s c =============================================================================== c | 0 | 3982 4136 504624 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21298 c Elapsed CPU time: 21.2878 s Remaining CPU time: 158.712 s c =============================================================================== c | 0 | 3982 4137 508474 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21297 c Elapsed CPU time: 21.5827 s Remaining CPU time: 158.417 s c =============================================================================== c | 0 | 3982 4138 512324 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21295 c Elapsed CPU time: 21.8727 s Remaining CPU time: 158.127 s c =============================================================================== c | 0 | 3982 4139 516174 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21294 c Elapsed CPU time: 22.1666 s Remaining CPU time: 157.833 s c =============================================================================== c | 0 | 3982 4140 520024 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21293 c Elapsed CPU time: 22.4596 s Remaining CPU time: 157.54 s c =============================================================================== c | 0 | 3982 4141 523874 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21290 c Elapsed CPU time: 22.7565 s Remaining CPU time: 157.243 s c =============================================================================== c | 0 | 3982 4142 527724 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21287 c Elapsed CPU time: 23.0595 s Remaining CPU time: 156.941 s c =============================================================================== c | 0 | 3982 4143 531574 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21286 c Elapsed CPU time: 23.3584 s Remaining CPU time: 156.642 s c =============================================================================== c | 0 | 3982 4144 535424 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21285 c Elapsed CPU time: 23.6594 s Remaining CPU time: 156.341 s c =============================================================================== c | 0 | 3982 4145 539274 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21283 c Elapsed CPU time: 23.9564 s Remaining CPU time: 156.044 s c =============================================================================== c | 0 | 3982 4146 543124 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21281 c Elapsed CPU time: 24.2593 s Remaining CPU time: 155.741 s c =============================================================================== c | 0 | 3982 4147 546974 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21279 c Elapsed CPU time: 24.5613 s Remaining CPU time: 155.439 s c =============================================================================== c | 0 | 3982 4148 550824 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21278 c Elapsed CPU time: 24.8722 s Remaining CPU time: 155.128 s c =============================================================================== c | 0 | 3982 4149 554674 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21277 c Elapsed CPU time: 25.1802 s Remaining CPU time: 154.82 s c =============================================================================== c | 0 | 3982 4150 558524 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21276 c Elapsed CPU time: 25.4861 s Remaining CPU time: 154.514 s c =============================================================================== c | 0 | 3982 4151 562374 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21273 c Elapsed CPU time: 25.8041 s Remaining CPU time: 154.196 s c =============================================================================== c | 0 | 3982 4152 566224 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21270 c Elapsed CPU time: 26.108 s Remaining CPU time: 153.892 s c =============================================================================== c | 0 | 3982 4153 570074 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21268 c Elapsed CPU time: 26.418 s Remaining CPU time: 153.582 s c =============================================================================== c | 0 | 3982 4154 573924 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21266 c Elapsed CPU time: 26.7269 s Remaining CPU time: 153.273 s c =============================================================================== c | 0 | 3982 4155 577774 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21265 c Elapsed CPU time: 27.0599 s Remaining CPU time: 152.94 s c =============================================================================== c | 0 | 3982 4156 581624 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21264 c Elapsed CPU time: 27.4128 s Remaining CPU time: 152.587 s c =============================================================================== c | 0 | 3982 4157 585474 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21263 c Elapsed CPU time: 27.7518 s Remaining CPU time: 152.248 s c =============================================================================== c | 0 | 3982 4158 589324 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21261 c Elapsed CPU time: 28.0837 s Remaining CPU time: 151.916 s c =============================================================================== c | 0 | 3982 4159 593174 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21260 c Elapsed CPU time: 28.4177 s Remaining CPU time: 151.582 s c =============================================================================== c | 0 | 3982 4160 597024 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21259 c Elapsed CPU time: 28.7616 s Remaining CPU time: 151.238 s c =============================================================================== c | 0 | 3982 4161 600874 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21258 c Elapsed CPU time: 29.0986 s Remaining CPU time: 150.901 s c =============================================================================== c | 0 | 3982 4162 604724 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21256 c Elapsed CPU time: 29.4365 s Remaining CPU time: 150.563 s c =============================================================================== c | 0 | 3982 4163 608574 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21254 c Elapsed CPU time: 29.7685 s Remaining CPU time: 150.232 s c =============================================================================== c | 0 | 3982 4164 612424 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21251 c Elapsed CPU time: 30.1074 s Remaining CPU time: 149.893 s c =============================================================================== c | 0 | 3982 4165 616274 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21249 c Elapsed CPU time: 30.4574 s Remaining CPU time: 149.543 s c =============================================================================== c | 0 | 3982 4166 620124 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21247 c Elapsed CPU time: 30.7973 s Remaining CPU time: 149.203 s c =============================================================================== c | 0 | 3982 4167 623974 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21246 c Elapsed CPU time: 31.1333 s Remaining CPU time: 148.867 s c =============================================================================== c | 0 | 3982 4168 627824 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21245 c Elapsed CPU time: 31.4712 s Remaining CPU time: 148.529 s c =============================================================================== c | 0 | 3982 4169 631674 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21244 c Elapsed CPU time: 31.8422 s Remaining CPU time: 148.158 s c =============================================================================== c | 0 | 3982 4170 635524 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21242 c Elapsed CPU time: 32.2111 s Remaining CPU time: 147.789 s c =============================================================================== c | 0 | 3982 4171 639374 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21241 c Elapsed CPU time: 32.5581 s Remaining CPU time: 147.442 s c =============================================================================== c | 0 | 3982 4172 643224 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21240 c Elapsed CPU time: 32.907 s Remaining CPU time: 147.093 s c =============================================================================== c | 0 | 3982 4173 647074 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21239 c Elapsed CPU time: 33.2599 s Remaining CPU time: 146.74 s c =============================================================================== c | 0 | 3982 4174 650924 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21238 c Elapsed CPU time: 33.6149 s Remaining CPU time: 146.385 s c =============================================================================== c | 0 | 3982 4175 654774 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21237 c Elapsed CPU time: 33.9738 s Remaining CPU time: 146.026 s c =============================================================================== c | 0 | 3982 4176 658624 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21236 c Elapsed CPU time: 34.3418 s Remaining CPU time: 145.658 s c =============================================================================== c | 0 | 3982 4177 662474 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21235 c Elapsed CPU time: 34.7197 s Remaining CPU time: 145.28 s c =============================================================================== c | 0 | 3982 4178 666324 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21234 c Elapsed CPU time: 35.0997 s Remaining CPU time: 144.9 s c =============================================================================== c | 0 | 3982 4179 670174 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21233 c Elapsed CPU time: 35.4636 s Remaining CPU time: 144.536 s c =============================================================================== c | 0 | 3982 4180 674024 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21232 c Elapsed CPU time: 35.8306 s Remaining CPU time: 144.169 s c =============================================================================== c | 0 | 3982 4181 677874 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21231 c Elapsed CPU time: 36.1945 s Remaining CPU time: 143.806 s c =============================================================================== c | 0 | 3982 4182 681724 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21230 c Elapsed CPU time: 36.5644 s Remaining CPU time: 143.436 s c =============================================================================== c | 0 | 3982 4183 685574 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21229 c Elapsed CPU time: 36.9314 s Remaining CPU time: 143.069 s c =============================================================================== c | 0 | 3982 4184 689424 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21227 c Elapsed CPU time: 37.3153 s Remaining CPU time: 142.685 s c =============================================================================== c | 0 | 3982 4185 693274 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21226 c Elapsed CPU time: 37.6913 s Remaining CPU time: 142.309 s c =============================================================================== c | 0 | 3982 4186 697124 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21225 c Elapsed CPU time: 38.0802 s Remaining CPU time: 141.92 s c =============================================================================== c | 0 | 3982 4187 700974 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21223 c Elapsed CPU time: 38.4552 s Remaining CPU time: 141.545 s c =============================================================================== c | 0 | 3982 4188 704824 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21221 c Elapsed CPU time: 38.8351 s Remaining CPU time: 141.165 s c =============================================================================== c | 0 | 3982 4189 708674 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21220 c Elapsed CPU time: 39.217 s Remaining CPU time: 140.783 s c =============================================================================== c | 0 | 3982 4190 712524 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21218 c Elapsed CPU time: 39.598 s Remaining CPU time: 140.402 s c =============================================================================== c | 0 | 3982 4191 716374 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21217 c Elapsed CPU time: 39.9789 s Remaining CPU time: 140.021 s c =============================================================================== c | 0 | 3982 4192 720224 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21216 c Elapsed CPU time: 40.3759 s Remaining CPU time: 139.624 s c =============================================================================== c | 0 | 3982 4193 724074 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21215 c Elapsed CPU time: 40.7758 s Remaining CPU time: 139.224 s c =============================================================================== c | 0 | 3982 4194 727924 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21213 c Elapsed CPU time: 41.1777 s Remaining CPU time: 138.822 s c =============================================================================== c | 0 | 3982 4195 731774 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21212 c Elapsed CPU time: 41.5817 s Remaining CPU time: 138.418 s c =============================================================================== c | 0 | 3982 4196 735624 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21211 c Elapsed CPU time: 41.9806 s Remaining CPU time: 138.019 s c =============================================================================== c | 0 | 3982 4197 739474 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21210 c Elapsed CPU time: 42.3816 s Remaining CPU time: 137.618 s c =============================================================================== c | 0 | 3982 4198 743324 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21209 c Elapsed CPU time: 42.7935 s Remaining CPU time: 137.207 s c =============================================================================== c | 0 | 3982 4199 747174 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21208 c Elapsed CPU time: 43.2044 s Remaining CPU time: 136.796 s c =============================================================================== c | 0 | 3982 4200 751024 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21205 c Elapsed CPU time: 43.6144 s Remaining CPU time: 136.386 s c =============================================================================== c | 0 | 3982 4201 754874 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21203 c Elapsed CPU time: 44.0343 s Remaining CPU time: 135.966 s c =============================================================================== c | 0 | 3982 4202 758724 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21200 c Elapsed CPU time: 44.4642 s Remaining CPU time: 135.536 s c =============================================================================== c | 0 | 3982 4203 762574 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21199 c Elapsed CPU time: 44.8922 s Remaining CPU time: 135.108 s c =============================================================================== c | 0 | 3982 4204 766424 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21198 c Elapsed CPU time: 45.3251 s Remaining CPU time: 134.675 s c =============================================================================== c | 0 | 3982 4205 770274 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21197 c Elapsed CPU time: 45.77 s Remaining CPU time: 134.23 s c =============================================================================== c | 0 | 3982 4206 774124 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21196 c Elapsed CPU time: 46.191 s Remaining CPU time: 133.809 s c =============================================================================== c | 0 | 3982 4207 777974 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21195 c Elapsed CPU time: 46.6509 s Remaining CPU time: 133.349 s c =============================================================================== c | 0 | 3982 4208 781824 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21194 c Elapsed CPU time: 47.0918 s Remaining CPU time: 132.908 s c =============================================================================== c | 0 | 3982 4209 785674 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21193 c Elapsed CPU time: 47.5498 s Remaining CPU time: 132.45 s c =============================================================================== c | 0 | 3982 4210 789524 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21192 c Elapsed CPU time: 48.0047 s Remaining CPU time: 131.995 s c =============================================================================== c | 0 | 3982 4211 793374 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21191 c Elapsed CPU time: 48.4626 s Remaining CPU time: 131.537 s c =============================================================================== c | 0 | 3982 4212 797224 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21190 c Elapsed CPU time: 48.9096 s Remaining CPU time: 131.09 s c =============================================================================== c | 0 | 3982 4213 801074 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21188 c Elapsed CPU time: 49.3505 s Remaining CPU time: 130.65 s c =============================================================================== c | 0 | 3982 4214 804924 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21187 c Elapsed CPU time: 49.7804 s Remaining CPU time: 130.22 s c =============================================================================== c | 0 | 3982 4215 808774 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21186 c Elapsed CPU time: 50.2364 s Remaining CPU time: 129.764 s c =============================================================================== c | 0 | 3982 4216 812624 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21185 c Elapsed CPU time: 50.6953 s Remaining CPU time: 129.305 s c =============================================================================== c | 0 | 3982 4217 816474 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21184 c Elapsed CPU time: 51.1472 s Remaining CPU time: 128.853 s c =============================================================================== c | 0 | 3982 4218 820324 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21183 c Elapsed CPU time: 51.6062 s Remaining CPU time: 128.394 s c =============================================================================== c | 0 | 3982 4219 824174 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21182 c Elapsed CPU time: 52.0611 s Remaining CPU time: 127.939 s c =============================================================================== c | 0 | 3982 4220 828024 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21181 c Elapsed CPU time: 52.514 s Remaining CPU time: 127.486 s c =============================================================================== c | 0 | 3982 4221 831874 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21180 c Elapsed CPU time: 52.9839 s Remaining CPU time: 127.016 s c =============================================================================== c | 0 | 3982 4222 835724 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21179 c Elapsed CPU time: 53.4349 s Remaining CPU time: 126.565 s c =============================================================================== c | 0 | 3982 4223 839574 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21178 c Elapsed CPU time: 53.8988 s Remaining CPU time: 126.101 s c =============================================================================== c | 0 | 3982 4224 843424 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21177 c Elapsed CPU time: 54.3637 s Remaining CPU time: 125.636 s c =============================================================================== c | 0 | 3982 4225 847274 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21176 c Elapsed CPU time: 54.8307 s Remaining CPU time: 125.169 s c =============================================================================== c | 0 | 3982 4226 851124 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21175 c Elapsed CPU time: 55.2956 s Remaining CPU time: 124.704 s c =============================================================================== c | 0 | 3982 4227 854974 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21174 c Elapsed CPU time: 55.7795 s Remaining CPU time: 124.22 s c =============================================================================== c | 0 | 3982 4228 858824 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21173 c Elapsed CPU time: 56.2464 s Remaining CPU time: 123.754 s c =============================================================================== c | 0 | 3982 4229 862674 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21171 c Elapsed CPU time: 56.7114 s Remaining CPU time: 123.289 s c =============================================================================== c | 0 | 3982 4230 866524 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21170 c Elapsed CPU time: 57.1793 s Remaining CPU time: 122.821 s c =============================================================================== c | 0 | 3982 4231 870374 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21169 c Elapsed CPU time: 57.6642 s Remaining CPU time: 122.336 s c =============================================================================== c | 0 | 3982 4232 874224 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21167 c Elapsed CPU time: 58.1642 s Remaining CPU time: 121.836 s c =============================================================================== c | 0 | 3982 4233 878074 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21166 c Elapsed CPU time: 58.6351 s Remaining CPU time: 121.365 s c =============================================================================== c | 0 | 3982 4234 881924 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21165 c Elapsed CPU time: 59.125 s Remaining CPU time: 120.875 s c =============================================================================== c | 0 | 3982 4235 885774 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21164 c Elapsed CPU time: 59.6159 s Remaining CPU time: 120.384 s c =============================================================================== c | 0 | 3982 4236 889624 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21163 c Elapsed CPU time: 60.0969 s Remaining CPU time: 119.903 s c =============================================================================== c | 0 | 3982 4237 893474 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21162 c Elapsed CPU time: 60.5908 s Remaining CPU time: 119.409 s c =============================================================================== c | 0 | 3982 4238 897324 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21161 c Elapsed CPU time: 61.0817 s Remaining CPU time: 118.918 s c =============================================================================== c | 0 | 3982 4239 901174 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21160 c Elapsed CPU time: 61.5726 s Remaining CPU time: 118.427 s c =============================================================================== c | 0 | 3982 4240 905024 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21159 c Elapsed CPU time: 62.0576 s Remaining CPU time: 117.942 s c =============================================================================== c | 0 | 3982 4241 908874 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21158 c Elapsed CPU time: 62.5605 s Remaining CPU time: 117.44 s c =============================================================================== c | 0 | 3982 4242 912724 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21157 c Elapsed CPU time: 63.0704 s Remaining CPU time: 116.93 s c =============================================================================== c | 0 | 3982 4243 916574 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21156 c Elapsed CPU time: 63.5743 s Remaining CPU time: 116.426 s c =============================================================================== c | 0 | 3982 4244 920424 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21155 c Elapsed CPU time: 64.0743 s Remaining CPU time: 115.926 s c =============================================================================== c | 0 | 3982 4245 924274 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21154 c Elapsed CPU time: 64.5822 s Remaining CPU time: 115.418 s c =============================================================================== c | 0 | 3982 4246 928124 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21151 c Elapsed CPU time: 65.0871 s Remaining CPU time: 114.913 s c =============================================================================== c | 0 | 3982 4247 931974 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21149 c Elapsed CPU time: 65.605 s Remaining CPU time: 114.395 s c =============================================================================== c | 0 | 3982 4248 935824 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21148 c Elapsed CPU time: 66.1129 s Remaining CPU time: 113.887 s c =============================================================================== c | 0 | 3982 4249 939674 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21147 c Elapsed CPU time: 66.6419 s Remaining CPU time: 113.358 s c =============================================================================== c | 0 | 3982 4250 943524 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21145 c Elapsed CPU time: 67.1798 s Remaining CPU time: 112.82 s c =============================================================================== c | 0 | 3982 4251 947374 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21143 c Elapsed CPU time: 67.6967 s Remaining CPU time: 112.303 s c =============================================================================== c | 0 | 3982 4252 951224 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21142 c Elapsed CPU time: 68.2416 s Remaining CPU time: 111.758 s c =============================================================================== c | 0 | 3982 4253 955074 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21141 c Elapsed CPU time: 68.7575 s Remaining CPU time: 111.242 s c =============================================================================== c | 0 | 3982 4254 958924 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21140 c Elapsed CPU time: 69.2835 s Remaining CPU time: 110.717 s c =============================================================================== c | 0 | 3982 4255 962774 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21138 c Elapsed CPU time: 69.8044 s Remaining CPU time: 110.196 s c =============================================================================== c | 0 | 3982 4256 966624 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21136 c Elapsed CPU time: 70.3453 s Remaining CPU time: 109.655 s c =============================================================================== c | 0 | 3982 4257 970474 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21134 c Elapsed CPU time: 70.8732 s Remaining CPU time: 109.127 s c =============================================================================== c | 0 | 3982 4258 974324 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21132 c Elapsed CPU time: 71.4081 s Remaining CPU time: 108.592 s c =============================================================================== c | 0 | 3982 4259 978174 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21131 c Elapsed CPU time: 71.9401 s Remaining CPU time: 108.06 s c =============================================================================== c | 0 | 3982 4260 982024 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21130 c Elapsed CPU time: 72.481 s Remaining CPU time: 107.519 s c =============================================================================== c | 0 | 3982 4261 985874 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21126 c Elapsed CPU time: 73.0129 s Remaining CPU time: 106.987 s c =============================================================================== c | 0 | 3982 4262 989724 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21124 c Elapsed CPU time: 73.5608 s Remaining CPU time: 106.439 s c =============================================================================== c | 0 | 3982 4263 993574 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21123 c Elapsed CPU time: 74.0967 s Remaining CPU time: 105.903 s c =============================================================================== c | 0 | 3982 4264 997424 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21121 c Elapsed CPU time: 74.6377 s Remaining CPU time: 105.362 s c =============================================================================== c | 0 | 3982 4265 1001274 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21119 c Elapsed CPU time: 75.1876 s Remaining CPU time: 104.812 s c =============================================================================== c | 0 | 3982 4266 1005124 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21118 c Elapsed CPU time: 75.7485 s Remaining CPU time: 104.252 s c =============================================================================== c | 0 | 3982 4267 1008974 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21117 c Elapsed CPU time: 76.3604 s Remaining CPU time: 103.64 s c =============================================================================== c | 0 | 3982 4268 1012824 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21116 c Elapsed CPU time: 76.9433 s Remaining CPU time: 103.057 s c =============================================================================== c | 0 | 3982 4269 1016674 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21115 c Elapsed CPU time: 77.5512 s Remaining CPU time: 102.449 s c =============================================================================== c | 0 | 3982 4270 1020524 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21114 c Elapsed CPU time: 78.1661 s Remaining CPU time: 101.834 s c =============================================================================== c | 0 | 3982 4271 1024374 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21113 c Elapsed CPU time: 78.783 s Remaining CPU time: 101.217 s c =============================================================================== c | 0 | 3982 4272 1028224 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21112 c Elapsed CPU time: 79.3909 s Remaining CPU time: 100.609 s c =============================================================================== c | 0 | 3982 4273 1032074 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 21111 c Elapsed CPU time: 80.0248 s Remaining CPU time: 99.9752 s c =============================================================================== c | 1 | 3982 4274 1035924 | 5000 1 3789 | 0.000 % | c =============================================================================== c New solution: 21110 c Elapsed CPU time: 80.6217 s Remaining CPU time: 99.3783 s c =============================================================================== c | 1 | 3982 4275 1039774 | 5000 1 3789 | 0.000 % | c =============================================================================== c New solution: 21107 c Elapsed CPU time: 81.2067 s Remaining CPU time: 98.7933 s c =============================================================================== c | 1 | 3982 4276 1043624 | 5000 1 3789 | 0.000 % | c =============================================================================== c New solution: 21105 c Elapsed CPU time: 81.8486 s Remaining CPU time: 98.1514 s c =============================================================================== c | 1 | 3982 4277 1047474 | 5000 1 3789 | 0.000 % | c =============================================================================== c New solution: 21102 c Elapsed CPU time: 82.4945 s Remaining CPU time: 97.5055 s c =============================================================================== c | 1 | 3982 4278 1051324 | 5000 1 3789 | 0.000 % | c =============================================================================== c New solution: 21101 c Elapsed CPU time: 83.1914 s Remaining CPU time: 96.8086 s c =============================================================================== c | 2 | 3982 4279 1055174 | 5000 2 1896 | 0.000 % | c =============================================================================== c New solution: 21100 c Elapsed CPU time: 83.8503 s Remaining CPU time: 96.1497 s c =============================================================================== c | 2 | 3982 4280 1059024 | 5000 2 1896 | 0.000 % | c =============================================================================== c New solution: 21098 c Elapsed CPU time: 84.4452 s Remaining CPU time: 95.5548 s c =============================================================================== c | 2 | 3982 4281 1062874 | 5000 2 1896 | 0.000 % | c =============================================================================== c New solution: 21097 c Elapsed CPU time: 85.0471 s Remaining CPU time: 94.9529 s c =============================================================================== c | 2 | 3982 4282 1066724 | 5000 2 1896 | 0.000 % | c =============================================================================== c New solution: 21096 c Elapsed CPU time: 85.683 s Remaining CPU time: 94.317 s c =============================================================================== c | 2 | 3982 4283 1070574 | 5000 2 1896 | 0.000 % | c =============================================================================== c New solution: 21094 c Elapsed CPU time: 86.3389 s Remaining CPU time: 93.6611 s c =============================================================================== c | 2 | 3982 4284 1074424 | 5000 2 1896 | 0.000 % | c =============================================================================== c New solution: 21093 c Elapsed CPU time: 87.0038 s Remaining CPU time: 92.9962 s c =============================================================================== c | 2 | 3982 4285 1078274 | 5000 2 1896 | 0.000 % | c =============================================================================== c New solution: 21092 c Elapsed CPU time: 87.6797 s Remaining CPU time: 92.3203 s c =============================================================================== c | 2 | 3982 4286 1082124 | 5000 2 1896 | 0.000 % | c =============================================================================== c New solution: 21091 c Elapsed CPU time: 88.3396 s Remaining CPU time: 91.6604 s c =============================================================================== c | 2 | 3982 4287 1085974 | 5000 2 1896 | 0.000 % | c =============================================================================== c New solution: 21090 c Elapsed CPU time: 88.9935 s Remaining CPU time: 91.0065 s c =============================================================================== c | 2 | 3982 4288 1089824 | 5000 2 1896 | 0.000 % | c =============================================================================== c New solution: 21089 c Elapsed CPU time: 89.7204 s Remaining CPU time: 90.2796 s c =============================================================================== c | 2 | 3982 4289 1093674 | 5000 2 1896 | 0.000 % | c =============================================================================== c New solution: 21088 c Elapsed CPU time: 90.4113 s Remaining CPU time: 89.5887 s c =============================================================================== c | 2 | 3982 4290 1097524 | 5000 2 1896 | 0.000 % | c =============================================================================== c New solution: 21086 c Elapsed CPU time: 91.1141 s Remaining CPU time: 88.8859 s c =============================================================================== c | 2 | 3982 4291 1101374 | 5000 2 1896 | 0.000 % | c =============================================================================== c New solution: 21084 c Elapsed CPU time: 91.7501 s Remaining CPU time: 88.2499 s c =============================================================================== c | 2 | 3982 4292 1105224 | 5000 2 1896 | 0.000 % | c =============================================================================== c New solution: 21082 c Elapsed CPU time: 92.386 s Remaining CPU time: 87.614 s c =============================================================================== c | 2 | 3982 4293 1109074 | 5000 2 1896 | 0.000 % | c =============================================================================== c New solution: 21081 c Elapsed CPU time: 93.0049 s Remaining CPU time: 86.9951 s c =============================================================================== c | 2 | 3982 4294 1112924 | 5000 2 1896 | 0.000 % | c =============================================================================== c New solution: 21080 c Elapsed CPU time: 93.6438 s Remaining CPU time: 86.3562 s c =============================================================================== c | 2 | 3982 4295 1116774 | 5000 2 1896 | 0.000 % | c =============================================================================== c New solution: 21079 c Elapsed CPU time: 94.3587 s Remaining CPU time: 85.6413 s c =============================================================================== c | 2 | 3982 4296 1120624 | 5000 2 1896 | 0.000 % | c =============================================================================== c New solution: 21078 c Elapsed CPU time: 94.9806 s Remaining CPU time: 85.0194 s c =============================================================================== c | 2 | 3982 4297 1124474 | 5000 2 1896 | 0.000 % | c =============================================================================== c New solution: 21077 c Elapsed CPU time: 95.6735 s Remaining CPU time: 84.3265 s c =============================================================================== c | 2 | 3982 4298 1128324 | 5000 2 1896 | 0.000 % | c =============================================================================== c New solution: 21075 c Elapsed CPU time: 96.3104 s Remaining CPU time: 83.6896 s c =============================================================================== c | 2 | 3982 4299 1132174 | 5000 2 1896 | 0.000 % | c =============================================================================== c New solution: 21073 c Elapsed CPU time: 97.0083 s Remaining CPU time: 82.9917 s c =============================================================================== c | 3 | 3982 4300 1136024 | 5000 3 2524 | 0.000 % | c =============================================================================== c New solution: 21072 c Elapsed CPU time: 97.7031 s Remaining CPU time: 82.2969 s c =============================================================================== c | 3 | 3982 4301 1139874 | 5000 3 2524 | 0.000 % | c =============================================================================== c New solution: 21071 c Elapsed CPU time: 98.404 s Remaining CPU time: 81.596 s c =============================================================================== c | 3 | 3982 4302 1143724 | 5000 3 2524 | 0.000 % | c =============================================================================== c New solution: 21070 c Elapsed CPU time: 99.1469 s Remaining CPU time: 80.8531 s c =============================================================================== c | 3 | 3982 4303 1147574 | 5000 3 2524 | 0.000 % | c =============================================================================== c New solution: 21069 c Elapsed CPU time: 99.8408 s Remaining CPU time: 80.1592 s c =============================================================================== c | 3 | 3982 4304 1151424 | 5000 3 2524 | 0.000 % | c =============================================================================== c New solution: 21068 c Elapsed CPU time: 100.532 s Remaining CPU time: 79.4683 s c =============================================================================== c | 5 | 3982 4305 1155274 | 5000 5 3027 | 0.000 % | c =============================================================================== c New solution: 21067 c Elapsed CPU time: 101.191 s Remaining CPU time: 78.8094 s c =============================================================================== c | 5 | 3982 4306 1159124 | 5000 5 3027 | 0.000 % | c =============================================================================== c New solution: 21066 c Elapsed CPU time: 101.917 s Remaining CPU time: 78.0835 s c =============================================================================== c | 5 | 3982 4307 1162974 | 5000 5 3027 | 0.000 % | c =============================================================================== c New solution: 21065 c Elapsed CPU time: 102.623 s Remaining CPU time: 77.3766 s c =============================================================================== c | 5 | 3982 4308 1166824 | 5000 5 3027 | 0.000 % | c =============================================================================== c New solution: 21064 c Elapsed CPU time: 103.28 s Remaining CPU time: 76.7197 s c =============================================================================== c | 5 | 3982 4309 1170674 | 5000 5 3027 | 0.000 % | c =============================================================================== c New solution: 21063 c Elapsed CPU time: 103.993 s Remaining CPU time: 76.0068 s c =============================================================================== c | 5 | 3982 4310 1174524 | 5000 5 3027 | 0.000 % | c =============================================================================== c New solution: 21062 c Elapsed CPU time: 104.712 s Remaining CPU time: 75.2879 s c =============================================================================== c | 5 | 3982 4311 1178374 | 5000 5 3027 | 0.000 % | c =============================================================================== c New solution: 21061 c Elapsed CPU time: 105.444 s Remaining CPU time: 74.556 s c =============================================================================== c | 5 | 3982 4312 1182224 | 5000 5 3027 | 0.000 % | c =============================================================================== c New solution: 21060 c Elapsed CPU time: 106.218 s Remaining CPU time: 73.7821 s c =============================================================================== c | 7 | 3982 4313 1186074 | 5000 7 3242 | 0.000 % | c =============================================================================== c New solution: 21059 c Elapsed CPU time: 106.941 s Remaining CPU time: 73.0593 s c =============================================================================== c | 7 | 3982 4314 1189924 | 5000 7 3242 | 0.000 % | c =============================================================================== c New solution: 21058 c Elapsed CPU time: 107.701 s Remaining CPU time: 72.2994 s c =============================================================================== c | 7 | 3982 4315 1193774 | 5000 7 3242 | 0.000 % | c =============================================================================== c New solution: 21057 c Elapsed CPU time: 108.396 s Remaining CPU time: 71.6045 s c =============================================================================== c | 7 | 3982 4316 1197624 | 5000 7 3242 | 0.000 % | c =============================================================================== c New solution: 21055 c Elapsed CPU time: 109.121 s Remaining CPU time: 70.8786 s c =============================================================================== c | 7 | 3982 4317 1201474 | 5000 7 3242 | 0.000 % | c =============================================================================== c New solution: 21054 c Elapsed CPU time: 109.829 s Remaining CPU time: 70.1707 s c =============================================================================== c | 10 | 3982 4318 1205324 | 5000 10 3403 | 0.000 % | c =============================================================================== c New solution: 21053 c Elapsed CPU time: 110.66 s Remaining CPU time: 69.3398 s c =============================================================================== c | 26 | 3982 4319 1209174 | 5000 26 3634 | 0.000 % | c =============================================================================== c New solution: 21052 c Elapsed CPU time: 111.487 s Remaining CPU time: 68.5129 s c =============================================================================== c | 26 | 3982 4320 1213024 | 5000 26 3634 | 0.000 % | c =============================================================================== c New solution: 21051 c Elapsed CPU time: 112.298 s Remaining CPU time: 67.7021 s c =============================================================================== c | 26 | 3982 4321 1216874 | 5000 26 3634 | 0.000 % | c =============================================================================== c New solution: 21050 c Elapsed CPU time: 113.071 s Remaining CPU time: 66.9292 s c =============================================================================== c | 26 | 3982 4322 1220724 | 5000 26 3634 | 0.000 % | c =============================================================================== c New solution: 21049 c Elapsed CPU time: 113.827 s Remaining CPU time: 66.1733 s c =============================================================================== c | 26 | 3982 4323 1224574 | 5000 26 3634 | 0.000 % | c =============================================================================== c New solution: 21048 c Elapsed CPU time: 114.59 s Remaining CPU time: 65.4104 s c =============================================================================== c | 26 | 3982 4324 1228424 | 5000 26 3634 | 0.000 % | c =============================================================================== c New solution: 21047 c Elapsed CPU time: 115.35 s Remaining CPU time: 64.6495 s c =============================================================================== c | 26 | 3982 4325 1232274 | 5000 26 3634 | 0.000 % | c =============================================================================== c New solution: 21046 c Elapsed CPU time: 116.075 s Remaining CPU time: 63.9246 s c =============================================================================== c | 26 | 3982 4326 1236124 | 5000 26 3634 | 0.000 % | c =============================================================================== c New solution: 21045 c Elapsed CPU time: 116.789 s Remaining CPU time: 63.2108 s c =============================================================================== c | 26 | 3982 4327 1239974 | 5000 26 3634 | 0.000 % | c =============================================================================== c New solution: 21044 c Elapsed CPU time: 117.542 s Remaining CPU time: 62.4579 s c =============================================================================== c | 26 | 3982 4328 1243824 | 5000 26 3634 | 0.000 % | c =============================================================================== c New solution: 21043 c Elapsed CPU time: 118.315 s Remaining CPU time: 61.685 s c =============================================================================== c | 26 | 3982 4329 1247674 | 5000 26 3634 | 0.000 % | c =============================================================================== c New solution: 21042 c Elapsed CPU time: 119.082 s Remaining CPU time: 60.9181 s c =============================================================================== c | 26 | 3982 4330 1251524 | 5000 26 3634 | 0.000 % | c =============================================================================== c New solution: 21041 c Elapsed CPU time: 119.877 s Remaining CPU time: 60.1232 s c =============================================================================== c | 26 | 3982 4331 1255374 | 5000 26 3634 | 0.000 % | c =============================================================================== c New solution: 21040 c Elapsed CPU time: 120.654 s Remaining CPU time: 59.3463 s c =============================================================================== c | 26 | 3982 4332 1259224 | 5000 26 3634 | 0.000 % | c =============================================================================== c New solution: 21039 c Elapsed CPU time: 121.388 s Remaining CPU time: 58.6125 s c =============================================================================== c | 26 | 3982 4333 1263074 | 5000 26 3634 | 0.000 % | c =============================================================================== c New solution: 21038 c Elapsed CPU time: 122.225 s Remaining CPU time: 57.7746 s c =============================================================================== c | 26 | 3982 4334 1266924 | 5000 26 3634 | 0.000 % | c =============================================================================== c New solution: 21037 c Elapsed CPU time: 123.109 s Remaining CPU time: 56.8907 s c =============================================================================== c | 26 | 3982 4335 1270774 | 5000 26 3634 | 0.000 % | c =============================================================================== c New solution: 21036 c Elapsed CPU time: 123.955 s Remaining CPU time: 56.0448 s c =============================================================================== c | 26 | 3982 4336 1274624 | 5000 26 3634 | 0.000 % | c =============================================================================== c New solution: 21035 c Elapsed CPU time: 124.703 s Remaining CPU time: 55.297 s c =============================================================================== c | 26 | 3982 4337 1278474 | 5000 26 3634 | 0.000 % | c =============================================================================== c New solution: 21034 c Elapsed CPU time: 125.49 s Remaining CPU time: 54.5101 s c =============================================================================== c | 26 | 3982 4338 1282324 | 5000 26 3634 | 0.000 % | c =============================================================================== c New solution: 21033 c Elapsed CPU time: 126.329 s Remaining CPU time: 53.6712 s c =============================================================================== c | 30 | 3982 4339 1286174 | 5000 30 3653 | 0.000 % | c =============================================================================== c New solution: 21032 c Elapsed CPU time: 127.185 s Remaining CPU time: 52.8153 s c =============================================================================== c | 30 | 3982 4340 1290024 | 5000 30 3653 | 0.000 % | c =============================================================================== c New solution: 21031 c Elapsed CPU time: 128.052 s Remaining CPU time: 51.9485 s c =============================================================================== c | 30 | 3982 4341 1293874 | 5000 30 3653 | 0.000 % | c =============================================================================== c New solution: 21030 c Elapsed CPU time: 128.887 s Remaining CPU time: 51.1126 s c =============================================================================== c | 30 | 3982 4342 1297724 | 5000 30 3653 | 0.000 % | c =============================================================================== c New solution: 21029 c Elapsed CPU time: 129.823 s Remaining CPU time: 50.1767 s c =============================================================================== c | 30 | 3982 4343 1301574 | 5000 30 3653 | 0.000 % | c =============================================================================== c New solution: 21028 c Elapsed CPU time: 130.682 s Remaining CPU time: 49.3179 s c =============================================================================== c | 30 | 3982 4344 1305424 | 5000 30 3653 | 0.000 % | c =============================================================================== c New solution: 21027 c Elapsed CPU time: 131.513 s Remaining CPU time: 48.487 s c =============================================================================== c | 30 | 3982 4345 1309274 | 5000 30 3653 | 0.000 % | c =============================================================================== c New solution: 21026 c Elapsed CPU time: 132.354 s Remaining CPU time: 47.6461 s c =============================================================================== c | 30 | 3982 4346 1313124 | 5000 30 3653 | 0.000 % | c =============================================================================== c New solution: 21025 c Elapsed CPU time: 133.101 s Remaining CPU time: 46.8992 s c =============================================================================== c | 30 | 3982 4347 1316974 | 5000 30 3653 | 0.000 % | c =============================================================================== c New solution: 21024 c Elapsed CPU time: 133.918 s Remaining CPU time: 46.0824 s c =============================================================================== c | 30 | 3982 4348 1320824 | 5000 30 3653 | 0.000 % | c =============================================================================== c New solution: 21023 c Elapsed CPU time: 134.797 s Remaining CPU time: 45.2035 s c =============================================================================== c | 45 | 3982 4349 1324674 | 5000 45 3694 | 0.000 % | c =============================================================================== c New solution: 21022 c Elapsed CPU time: 135.58 s Remaining CPU time: 44.4196 s c =============================================================================== c | 45 | 3982 4350 1328524 | 5000 45 3694 | 0.000 % | c =============================================================================== c New solution: 21021 c Elapsed CPU time: 136.362 s Remaining CPU time: 43.6377 s c =============================================================================== c | 45 | 3982 4351 1332374 | 5000 45 3694 | 0.000 % | c =============================================================================== c New solution: 21020 c Elapsed CPU time: 137.137 s Remaining CPU time: 42.8628 s c =============================================================================== c | 45 | 3982 4352 1336224 | 5000 45 3694 | 0.000 % | c =============================================================================== c New solution: 21019 c Elapsed CPU time: 137.98 s Remaining CPU time: 42.02 s c =============================================================================== c | 45 | 3982 4353 1340074 | 5000 45 3694 | 0.000 % | c =============================================================================== c New solution: 21018 c Elapsed CPU time: 138.794 s Remaining CPU time: 41.2061 s c =============================================================================== c | 45 | 3982 4354 1343924 | 5000 45 3694 | 0.000 % | c =============================================================================== c New solution: 21017 c Elapsed CPU time: 139.67 s Remaining CPU time: 40.3302 s c =============================================================================== c | 62 | 3982 4355 1347774 | 5000 62 3716 | 0.000 % | c =============================================================================== c New solution: 21016 c Elapsed CPU time: 140.482 s Remaining CPU time: 39.5184 s c =============================================================================== c | 62 | 3982 4356 1351624 | 5000 62 3716 | 0.000 % | c =============================================================================== c New solution: 21015 c Elapsed CPU time: 141.262 s Remaining CPU time: 38.7385 s c =============================================================================== c | 62 | 3982 4357 1355474 | 5000 62 3716 | 0.000 % | c =============================================================================== c New solution: 21014 c Elapsed CPU time: 142.146 s Remaining CPU time: 37.8536 s c =============================================================================== c | 62 | 3982 4358 1359324 | 5000 62 3716 | 0.000 % | c =============================================================================== c New solution: 21013 c Elapsed CPU time: 143.029 s Remaining CPU time: 36.9707 s c =============================================================================== c | 66 | 3982 4359 1363174 | 5000 66 3719 | 0.000 % | c =============================================================================== c New solution: 21012 c Elapsed CPU time: 143.857 s Remaining CPU time: 36.1429 s c =============================================================================== c | 66 | 3982 4360 1367024 | 5000 66 3719 | 0.000 % | c =============================================================================== c New solution: 21011 c Elapsed CPU time: 144.626 s Remaining CPU time: 35.374 s c =============================================================================== c | 66 | 3982 4361 1370874 | 5000 66 3719 | 0.000 % | c =============================================================================== c New solution: 21010 c Elapsed CPU time: 145.397 s Remaining CPU time: 34.6031 s c =============================================================================== c | 66 | 3982 4362 1374724 | 5000 66 3719 | 0.000 % | c =============================================================================== c New solution: 21009 c Elapsed CPU time: 146.3 s Remaining CPU time: 33.7002 s c =============================================================================== c | 66 | 3982 4363 1378574 | 5000 66 3719 | 0.000 % | c =============================================================================== c New solution: 21008 c Elapsed CPU time: 147.231 s Remaining CPU time: 32.7694 s c =============================================================================== c | 66 | 3982 4364 1382424 | 5000 66 3719 | 0.000 % | c =============================================================================== c New solution: 21007 c Elapsed CPU time: 148.125 s Remaining CPU time: 31.8745 s c =============================================================================== c | 66 | 3982 4365 1386274 | 5000 66 3719 | 0.000 % | c =============================================================================== c New solution: 21006 c Elapsed CPU time: 148.977 s Remaining CPU time: 31.0226 s c =============================================================================== c | 66 | 3982 4366 1390124 | 5000 66 3719 | 0.000 % | c =============================================================================== c New solution: 21005 c Elapsed CPU time: 149.846 s Remaining CPU time: 30.1538 s c =============================================================================== c | 66 | 3982 4367 1393974 | 5000 66 3719 | 0.000 % | c =============================================================================== c New solution: 21004 c Elapsed CPU time: 150.712 s Remaining CPU time: 29.2879 s c =============================================================================== c | 70 | 3982 4368 1397824 | 5000 70 3722 | 0.000 % | c =============================================================================== c New solution: 21003 c Elapsed CPU time: 151.557 s Remaining CPU time: 28.443 s c =============================================================================== c | 70 | 3982 4369 1401674 | 5000 70 3722 | 0.000 % | c =============================================================================== c New solution: 21002 c Elapsed CPU time: 152.438 s Remaining CPU time: 27.5622 s c =============================================================================== c | 70 | 3982 4370 1405524 | 5000 70 3722 | 0.000 % | c =============================================================================== c New solution: 21001 c Elapsed CPU time: 153.362 s Remaining CPU time: 26.6383 s c =============================================================================== c | 70 | 3982 4371 1409374 | 5000 70 3722 | 0.000 % | c =============================================================================== c New solution: 21000 c Elapsed CPU time: 154.305 s Remaining CPU time: 25.6955 s c =============================================================================== c | 70 | 3982 4372 1413224 | 5000 70 3722 | 0.000 % | c =============================================================================== c New solution: 20999 c Elapsed CPU time: 155.269 s Remaining CPU time: 24.7306 s c =============================================================================== c | 70 | 3982 4373 1417074 | 5000 70 3722 | 0.000 % | c =============================================================================== c New solution: 20998 c Elapsed CPU time: 156.195 s Remaining CPU time: 23.8047 s c =============================================================================== c | 71 | 3982 4374 1420924 | 5000 71 3723 | 0.000 % | c =============================================================================== c New solution: 20997 c Elapsed CPU time: 157.218 s Remaining CPU time: 22.7819 s c =============================================================================== c | 77 | 3982 4375 1424774 | 5000 77 3726 | 0.000 % | c =============================================================================== c New solution: 20996 c Elapsed CPU time: 158.229 s Remaining CPU time: 21.7711 s c =============================================================================== c | 77 | 3982 4376 1428624 | 5000 77 3726 | 0.000 % | c =============================================================================== c New solution: 20995 c Elapsed CPU time: 159.142 s Remaining CPU time: 20.8582 s c =============================================================================== c | 77 | 3982 4377 1432474 | 5000 77 3726 | 0.000 % | c =============================================================================== c New solution: 20994 c Elapsed CPU time: 160.087 s Remaining CPU time: 19.9133 s c =============================================================================== c | 77 | 3982 4378 1436324 | 5000 77 3726 | 0.000 % | c =============================================================================== c New solution: 20993 c Elapsed CPU time: 161.063 s Remaining CPU time: 18.9375 s c =============================================================================== c | 83 | 3982 4379 1440174 | 5000 83 3729 | 0.000 % | c =============================================================================== c New solution: 20992 c Elapsed CPU time: 161.978 s Remaining CPU time: 18.0216 s c =============================================================================== c | 84 | 3982 4380 1444024 | 5000 84 3729 | 0.000 % | c =============================================================================== c New solution: 20991 c Elapsed CPU time: 162.841 s Remaining CPU time: 17.1588 s c =============================================================================== c | 84 | 3982 4381 1447874 | 5000 84 3729 | 0.000 % | c =============================================================================== c New solution: 20990 c Elapsed CPU time: 163.693 s Remaining CPU time: 16.3069 s c =============================================================================== c | 84 | 3982 4382 1451724 | 5000 84 3729 | 0.000 % | c =============================================================================== c New solution: 20989 c Elapsed CPU time: 164.631 s Remaining CPU time: 15.369 s c =============================================================================== c | 96 | 3982 4383 1455574 | 5000 96 3734 | 0.000 % | c =============================================================================== c New solution: 20988 c Elapsed CPU time: 165.441 s Remaining CPU time: 14.5592 s c =============================================================================== c | 96 | 3982 4384 1459424 | 5000 96 3734 | 0.000 % | c =============================================================================== c New solution: 20987 c Elapsed CPU time: 166.294 s Remaining CPU time: 13.7063 s c =============================================================================== c | 98 | 3982 4385 1463274 | 5000 98 3735 | 0.000 % | c =============================================================================== c New solution: 20986 c Elapsed CPU time: 167.203 s Remaining CPU time: 12.7974 s c =============================================================================== c | 98 | 3982 4386 1467124 | 5000 98 3735 | 0.000 % | c =============================================================================== c New solution: 20985 c Elapsed CPU time: 168.143 s Remaining CPU time: 11.8566 s c =============================================================================== c | 98 | 3982 4387 1470974 | 5000 98 3735 | 0.000 % | c =============================================================================== c New solution: 20984 c Elapsed CPU time: 169.094 s Remaining CPU time: 10.9057 s c =============================================================================== c | 100 | 3982 4388 1474824 | 5000 100 3735 | 0.000 % | c =============================================================================== c New solution: 20983 c Elapsed CPU time: 170.051 s Remaining CPU time: 9.94885 s c =============================================================================== c | 100 | 3982 4389 1478674 | 5000 100 3735 | 0.000 % | c =============================================================================== c New solution: 20982 c Elapsed CPU time: 170.996 s Remaining CPU time: 9.004 s c =============================================================================== c | 100 | 3982 4390 1482524 | 5000 100 3735 | 0.000 % | c =============================================================================== c New solution: 20981 c Elapsed CPU time: 171.981 s Remaining CPU time: 8.01915 s c =============================================================================== c | 100 | 3982 4391 1486374 | 5000 100 3735 | 0.000 % | c =============================================================================== c New solution: 20980 c Elapsed CPU time: 172.898 s Remaining CPU time: 7.10228 s c =============================================================================== c | 100 | 3982 4392 1490224 | 5000 100 3735 | 0.000 % | c =============================================================================== c New solution: 20979 c Elapsed CPU time: 173.841 s Remaining CPU time: 6.15943 s c =============================================================================== c | 101 | 3982 4393 1494074 | 5000 101 3735 | 0.000 % | c =============================================================================== c New solution: 20978 c Elapsed CPU time: 174.764 s Remaining CPU time: 5.23557 s c =============================================================================== c | 101 | 3982 4394 1497924 | 5000 101 3735 | 0.000 % | c =============================================================================== c New solution: 20977 c Elapsed CPU time: 175.767 s Remaining CPU time: 4.23272 s c =============================================================================== c | 101 | 3982 4395 1501774 | 5000 101 3735 | 0.000 % | c =============================================================================== c New solution: 20976 c Elapsed CPU time: 176.783 s Remaining CPU time: 3.21688 s c =============================================================================== c | 101 | 3982 4396 1505624 | 5000 101 3735 | 0.000 % | c =============================================================================== c New solution: 20975 c Elapsed CPU time: 177.74 s Remaining CPU time: 2.26002 s c =============================================================================== c | 101 | 3982 4397 1509474 | 5000 101 3735 | 0.000 % | c =============================================================================== c New solution: 20974 c Elapsed CPU time: 178.726 s Remaining CPU time: 1.27417 s c =============================================================================== c | 101 | 3982 4398 1513324 | 5000 101 3735 | 0.000 % | c =============================================================================== c New solution: 20973 c Elapsed CPU time: 179.619 s Remaining CPU time: 0.381307 s c =============================================================================== c | 101 | 3982 4399 1517174 | 5000 101 3735 | 0.000 % | c There are 18 assigned variables. 4 in cost function.