c wbo 1.4 beta - 20100610 c | Number of variables: 800 | c | Number of clauses: 4273 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1188 | c | Number Clauses: 4259 | 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 | 1188 4259 8916 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 1188 4260 9318 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1188 4261 9720 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1188 4262 10122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1188 4263 10524 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1188 4264 10926 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1188 4265 11328 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1188 4266 11730 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1188 4267 12132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1188 4268 12534 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1188 4269 12936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1188 4270 13338 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1188 4271 13740 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1188 4272 14142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1188 4273 14544 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1188 4274 14946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1188 4275 15348 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1188 4276 15750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1188 4277 16152 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1188 4278 16554 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 1188 4279 16956 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 1188 4280 17358 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 1188 4281 17760 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 1188 4282 18162 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 1188 4283 18564 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 1188 4284 18966 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 1188 4285 19368 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 1188 4286 19770 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 1188 4287 20172 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 1188 4288 20574 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 1188 4289 20976 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 1188 4290 21378 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 1188 4291 21780 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 0 | 1188 4292 22182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 4 | 1188 4293 22584 | 5000 4 371 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 4 | 1188 4294 22986 | 5000 4 371 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 4 | 1188 4295 23388 | 5000 4 371 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 4 | 1188 4296 23790 | 5000 4 371 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 4 | 1188 4297 24192 | 5000 4 371 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 4 | 1188 4298 24594 | 5000 4 371 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 4 | 1188 4299 24996 | 5000 4 371 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 4 | 1188 4300 25398 | 5000 4 371 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 4 | 1188 4301 25800 | 5000 4 371 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 4 | 1188 4302 26202 | 5000 4 371 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 4 | 1188 4303 26604 | 5000 4 371 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 4 | 1188 4304 27006 | 5000 4 371 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 4 | 1188 4305 27408 | 5000 4 371 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 4 | 1188 4306 27810 | 5000 4 371 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 4 | 1188 4307 28212 | 5000 4 371 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 4 | 1188 4308 28614 | 5000 4 371 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 4 | 1188 4309 29016 | 5000 4 371 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 4 | 1188 4310 29418 | 5000 4 371 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.137979 s Remaining CPU time: 179.862 s c =============================================================================== c | 4 | 1188 4311 29820 | 5000 4 371 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 5 | 1188 4312 30222 | 5000 5 367 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 5 | 1188 4313 30624 | 5000 5 367 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s c =============================================================================== c | 5 | 1188 4314 31026 | 5000 5 367 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 5 | 1188 4315 31428 | 5000 5 367 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 5 | 1188 4316 31830 | 5000 5 367 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 5 | 1188 4317 32232 | 5000 5 367 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 5 | 1188 4318 32634 | 5000 5 367 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 5 | 1188 4319 33036 | 5000 5 367 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.175973 s Remaining CPU time: 179.824 s c =============================================================================== c | 6 | 1188 4320 33438 | 5000 6 362 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 6 | 1188 4321 33840 | 5000 6 362 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.187971 s Remaining CPU time: 179.812 s c =============================================================================== c | 6 | 1188 4322 34242 | 5000 6 362 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 7 | 1188 4323 34644 | 5000 7 359 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s c =============================================================================== c | 7 | 1188 4324 35046 | 5000 7 359 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 7 | 1188 4325 35448 | 5000 7 359 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s c =============================================================================== c | 9 | 1188 4326 35850 | 5000 9 354 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.215967 s Remaining CPU time: 179.784 s c =============================================================================== c | 12 | 1188 4327 36252 | 5000 12 350 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.221966 s Remaining CPU time: 179.778 s c =============================================================================== c | 12 | 1188 4328 36654 | 5000 12 350 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.227965 s Remaining CPU time: 179.772 s c =============================================================================== c | 13 | 1188 4329 37056 | 5000 13 348 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s c =============================================================================== c | 13 | 1188 4330 37458 | 5000 13 348 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.238963 s Remaining CPU time: 179.761 s c =============================================================================== c | 13 | 1188 4331 37860 | 5000 13 348 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.243962 s Remaining CPU time: 179.756 s c =============================================================================== c | 14 | 1188 4332 38262 | 5000 14 347 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s c =============================================================================== c | 14 | 1188 4333 38664 | 5000 14 347 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s c =============================================================================== c | 20 | 1188 4334 39066 | 5000 20 342 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.25896 s Remaining CPU time: 179.741 s c =============================================================================== c | 28 | 1188 4335 39468 | 5000 28 338 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.265959 s Remaining CPU time: 179.734 s c =============================================================================== c | 28 | 1188 4336 39870 | 5000 28 338 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.272958 s Remaining CPU time: 179.727 s c =============================================================================== c | 28 | 1188 4337 40272 | 5000 28 338 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.278957 s Remaining CPU time: 179.721 s c =============================================================================== c | 29 | 1188 4338 40674 | 5000 29 337 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.285956 s Remaining CPU time: 179.714 s c =============================================================================== c | 29 | 1188 4339 41076 | 5000 29 337 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s c =============================================================================== c | 29 | 1188 4340 41478 | 5000 29 337 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s c =============================================================================== c | 30 | 1188 4341 41880 | 5000 30 337 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.306953 s Remaining CPU time: 179.693 s c =============================================================================== c | 31 | 1188 4342 42282 | 5000 31 336 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s c =============================================================================== c | 31 | 1188 4343 42684 | 5000 31 336 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.319951 s Remaining CPU time: 179.68 s c =============================================================================== c | 31 | 1188 4344 43086 | 5000 31 336 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.32695 s Remaining CPU time: 179.673 s c =============================================================================== c | 32 | 1188 4345 43488 | 5000 32 336 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.333949 s Remaining CPU time: 179.666 s c =============================================================================== c | 33 | 1188 4346 43890 | 5000 33 335 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.342947 s Remaining CPU time: 179.657 s c =============================================================================== c | 45 | 1188 4347 44292 | 5000 45 330 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.363944 s Remaining CPU time: 179.636 s c =============================================================================== c | 117 | 1188 4348 44694 | 5000 117 321 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.370943 s Remaining CPU time: 179.629 s c =============================================================================== c | 117 | 1188 4349 45096 | 5000 117 321 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.381941 s Remaining CPU time: 179.618 s c =============================================================================== c | 148 | 1188 4350 45498 | 5000 148 319 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.39194 s Remaining CPU time: 179.608 s c =============================================================================== c | 165 | 1188 4351 45900 | 5000 165 318 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.400939 s Remaining CPU time: 179.599 s c =============================================================================== c | 174 | 1188 4352 46302 | 5000 174 318 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.416936 s Remaining CPU time: 179.583 s c =============================================================================== c | 229 | 1188 4353 46704 | 5000 229 316 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.427934 s Remaining CPU time: 179.572 s c =============================================================================== c | 243 | 1188 4354 47106 | 5000 243 316 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.436933 s Remaining CPU time: 179.563 s c =============================================================================== c | 256 | 1188 4355 47508 | 5000 256 315 | 0.000 % | c | 356 | 1188 4355 47508 | 5500 356 313 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.491925 s Remaining CPU time: 179.508 s c =============================================================================== c | 432 | 1188 4356 47910 | 5000 432 312 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.515921 s Remaining CPU time: 179.484 s c =============================================================================== c | 498 | 1188 4357 48312 | 5000 498 311 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.543917 s Remaining CPU time: 179.456 s c =============================================================================== c | 575 | 1188 4358 48714 | 5000 575 310 | 0.000 % | c | 675 | 1188 4358 48714 | 5500 675 309 | 0.000 % | c | 826 | 1188 4358 48714 | 6050 826 308 | 0.000 % | c | 1051 | 1188 4358 48714 | 6655 1051 308 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.690894 s Remaining CPU time: 179.309 s c =============================================================================== c | 1051 | 1188 4359 49116 | 5000 1051 308 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.71989 s Remaining CPU time: 179.28 s c =============================================================================== c | 1113 | 1188 4360 49518 | 5000 1113 307 | 0.000 % | c | 1213 | 1188 4360 49518 | 5500 1213 307 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.78288 s Remaining CPU time: 179.217 s c =============================================================================== c | 1279 | 1188 4361 49920 | 5000 1279 307 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.815875 s Remaining CPU time: 179.184 s c =============================================================================== c | 1362 | 1188 4362 50322 | 5000 1362 306 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.84987 s Remaining CPU time: 179.15 s c =============================================================================== c | 1458 | 1188 4363 50724 | 5000 1458 306 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.876866 s Remaining CPU time: 179.123 s c =============================================================================== c | 1522 | 1188 4364 51126 | 5000 1522 306 | 0.000 % | c | 1622 | 1188 4364 51126 | 5500 1622 305 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.957854 s Remaining CPU time: 179.042 s c =============================================================================== c | 1763 | 1188 4365 51528 | 5000 1763 305 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.98285 s Remaining CPU time: 179.017 s c =============================================================================== c | 1826 | 1188 4366 51930 | 5000 1826 304 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 1.01385 s Remaining CPU time: 178.986 s c =============================================================================== c | 1909 | 1188 4367 52332 | 5000 1909 304 | 0.000 % | c | 2009 | 1188 4367 52332 | 5500 2009 304 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 1.09383 s Remaining CPU time: 178.906 s c =============================================================================== c | 2138 | 1188 4368 52734 | 5000 2138 303 | 0.000 % | c | 2238 | 1188 4368 52734 | 5500 2238 303 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 1.16582 s Remaining CPU time: 178.834 s c =============================================================================== c | 2338 | 1188 4369 53136 | 5000 2338 302 | 0.000 % | c | 2438 | 1188 4369 53136 | 5500 2438 302 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 1.23881 s Remaining CPU time: 178.761 s c =============================================================================== c | 2559 | 1188 4370 53538 | 5000 2559 302 | 0.000 % | c | 2659 | 1188 4370 53538 | 5500 2659 301 | 0.000 % | c | 2810 | 1188 4370 53538 | 6050 2810 301 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 1.3408 s Remaining CPU time: 178.659 s c =============================================================================== c | 2866 | 1188 4371 53940 | 5000 2866 301 | 0.000 % | c | 2966 | 1188 4371 53940 | 5500 2966 300 | 0.000 % | c | 3116 | 1188 4371 53940 | 6050 3116 300 | 0.000 % | c | 3341 | 1188 4371 53940 | 6655 3341 299 | 0.000 % | c | 3678 | 1188 4371 53940 | 7320 3678 298 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 1.69074 s Remaining CPU time: 178.309 s c =============================================================================== c | 4148 | 1188 4372 54342 | 5000 4148 298 | 0.000 % | c | 4249 | 1188 4372 54342 | 5500 4249 297 | 0.000 % | c | 4399 | 1188 4372 54342 | 6050 4399 297 | 0.000 % | c | 4625 | 1188 4372 54342 | 6655 4625 297 | 0.000 % | c | 4962 | 1188 4372 54342 | 7320 4962 296 | 0.000 % | c | 5468 | 1188 4372 54342 | 8052 5468 296 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 2.16667 s Remaining CPU time: 177.833 s c =============================================================================== c | 5949 | 1188 4373 54744 | 5000 5949 295 | 0.000 % | c | 6049 | 1188 4373 54744 | 5500 3075 291 | 0.000 % | c | 6199 | 1188 4373 54744 | 6050 3225 291 | 0.000 % | c | 6425 | 1188 4373 54744 | 6655 3451 290 | 0.000 % | c | 6762 | 1188 4373 54744 | 7320 3788 290 | 0.000 % | c | 7269 | 1188 4373 54744 | 8052 4295 290 | 0.000 % | c | 8028 | 1188 4373 54744 | 8857 5054 290 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 2.89656 s Remaining CPU time: 177.103 s c =============================================================================== c | 8358 | 1188 4374 55146 | 5000 5384 290 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 2.95355 s Remaining CPU time: 177.046 s c =============================================================================== c | 8450 | 1188 4375 55548 | 5000 2784 289 | 0.000 % | c | 8551 | 1188 4375 55548 | 5500 2885 289 | 0.000 % | c | 8702 | 1188 4375 55548 | 6050 3036 289 | 0.000 % | c | 8927 | 1188 4375 55548 | 6655 3261 289 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 3.15852 s Remaining CPU time: 176.841 s c =============================================================================== c | 9110 | 1188 4376 55950 | 5000 3444 289 | 0.000 % | c | 9210 | 1188 4376 55950 | 5500 3544 289 | 0.000 % | c | 9360 | 1188 4376 55950 | 6050 3694 289 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 3.2945 s Remaining CPU time: 176.706 s c =============================================================================== c | 9524 | 1188 4377 56352 | 5000 3858 289 | 0.000 % | c | 9624 | 1188 4377 56352 | 5500 3958 289 | 0.000 % | c | 9774 | 1188 4377 56352 | 6050 4108 288 | 0.000 % | c | 10000 | 1188 4377 56352 | 6655 4334 288 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 3.45147 s Remaining CPU time: 176.549 s c =============================================================================== c | 10055 | 1188 4378 56754 | 5000 4389 288 | 0.000 % | c | 10157 | 1188 4378 56754 | 5500 4491 288 | 0.000 % | c | 10307 | 1188 4378 56754 | 6050 4641 288 | 0.000 % | c | 10532 | 1188 4378 56754 | 6655 4866 288 | 0.000 % | c | 10869 | 1188 4378 56754 | 7320 5203 288 | 0.000 % | c | 11377 | 1188 4378 56754 | 8052 5711 287 | 0.000 % | c | 12137 | 1188 4378 56754 | 8857 6471 287 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 4.14937 s Remaining CPU time: 175.851 s c =============================================================================== c | 12601 | 1188 4379 57156 | 5000 6935 287 | 0.000 % | c | 12702 | 1188 4379 57156 | 5500 3569 285 | 0.000 % | c | 12852 | 1188 4379 57156 | 6050 3719 285 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 4.30035 s Remaining CPU time: 175.7 s c =============================================================================== c | 12987 | 1188 4380 57558 | 5000 3854 285 | 0.000 % | c | 13087 | 1188 4380 57558 | 5500 3954 284 | 0.000 % | c | 13238 | 1188 4380 57558 | 6050 4105 284 | 0.000 % | c | 13463 | 1188 4380 57558 | 6655 4330 284 | 0.000 % | c | 13800 | 1188 4380 57558 | 7320 4667 284 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 4.6263 s Remaining CPU time: 175.374 s c =============================================================================== c | 14304 | 1188 4381 57960 | 5000 5171 284 | 0.000 % | c | 14404 | 1188 4381 57960 | 5500 2686 283 | 0.000 % | c | 14555 | 1188 4381 57960 | 6050 2837 283 | 0.000 % | c | 14780 | 1188 4381 57960 | 6655 3062 283 | 0.000 % | c | 15117 | 1188 4381 57960 | 7320 3399 283 | 0.000 % | c | 15623 | 1188 4381 57960 | 8052 3905 282 | 0.000 % | c | 16382 | 1188 4381 57960 | 8857 4664 282 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 5.40718 s Remaining CPU time: 174.593 s c =============================================================================== c | 17078 | 1188 4382 58362 | 5000 5360 282 | 0.000 % | c | 17178 | 1188 4382 58362 | 5500 2780 281 | 0.000 % | c | 17329 | 1188 4382 58362 | 6050 2931 281 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 5.54416 s Remaining CPU time: 174.456 s c =============================================================================== c | 17344 | 1188 4383 58764 | 5000 2946 281 | 0.000 % | c | 17444 | 1188 4383 58764 | 5500 3046 281 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 5.59215 s Remaining CPU time: 174.408 s c =============================================================================== c | 17466 | 1188 4384 59166 | 5000 3068 281 | 0.000 % | c | 17567 | 1188 4384 59166 | 5500 3169 281 | 0.000 % | c | 17719 | 1188 4384 59166 | 6050 3321 281 | 0.000 % | c | 17945 | 1188 4384 59166 | 6655 3547 281 | 0.000 % | c | 18282 | 1188 4384 59166 | 7320 3884 280 | 0.000 % | c | 18789 | 1188 4384 59166 | 8052 4391 280 | 0.000 % | c | 19548 | 1188 4384 59166 | 8857 5150 280 | 0.000 % | c | 20687 | 1188 4384 59166 | 9743 6289 280 | 0.000 % | c | 22395 | 1188 4384 59166 | 10717 7997 279 | 0.000 % | c | 24957 | 1188 4384 59166 | 11789 10559 279 | 0.000 % | c | 28802 | 1188 4384 59166 | 12968 8365 279 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 10.5434 s Remaining CPU time: 169.457 s c =============================================================================== c | 31270 | 1188 4385 59568 | 5000 10833 279 | 0.000 % | c | 31370 | 1188 4385 59568 | 5500 2809 279 | 0.000 % | c | 31520 | 1188 4385 59568 | 6050 2959 279 | 0.000 % | c | 31745 | 1188 4385 59568 | 6655 3184 279 | 0.000 % | c | 32082 | 1188 4385 59568 | 7320 3521 278 | 0.000 % | c | 32588 | 1188 4385 59568 | 8052 4027 278 | 0.000 % | c | 33348 | 1188 4385 59568 | 8857 4787 278 | 0.000 % | c | 34487 | 1188 4385 59568 | 9743 5926 278 | 0.000 % | c | 36195 | 1188 4385 59568 | 10717 7634 278 | 0.000 % | c | 38757 | 1188 4385 59568 | 11789 10196 278 | 0.000 % | c | 42601 | 1188 4385 59568 | 12968 7986 278 | 0.000 % | c | 48368 | 1188 4385 59568 | 14265 7104 278 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 18.1242 s Remaining CPU time: 161.876 s c =============================================================================== c | 52045 | 1188 4386 59970 | 5000 10781 278 | 0.000 % | c | 52145 | 1188 4386 59970 | 5500 2796 278 | 0.000 % | c | 52295 | 1188 4386 59970 | 6050 2946 278 | 0.000 % | c | 52520 | 1188 4386 59970 | 6655 3171 278 | 0.000 % | c | 52858 | 1188 4386 59970 | 7320 3509 278 | 0.000 % | c | 53365 | 1188 4386 59970 | 8052 4016 278 | 0.000 % | c | 54125 | 1188 4386 59970 | 8857 4776 278 | 0.000 % | c | 55265 | 1188 4386 59970 | 9743 5916 277 | 0.000 % | c | 56973 | 1188 4386 59970 | 10717 7624 277 | 0.000 % | c | 59535 | 1188 4386 59970 | 11789 10186 277 | 0.000 % | c | 63380 | 1188 4386 59970 | 12968 7968 277 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 22.8045 s Remaining CPU time: 157.195 s c =============================================================================== c | 65831 | 1188 4387 60372 | 5000 10419 277 | 0.000 % | c | 65932 | 1188 4387 60372 | 5500 2706 277 | 0.000 % | c | 66083 | 1188 4387 60372 | 6050 2857 277 | 0.000 % | c | 66309 | 1188 4387 60372 | 6655 3083 276 | 0.000 % | c | 66646 | 1188 4387 60372 | 7320 3420 276 | 0.000 % | c | 67152 | 1188 4387 60372 | 8052 3926 276 | 0.000 % | c | 67911 | 1188 4387 60372 | 8857 4685 276 | 0.000 % | c | 69050 | 1188 4387 60372 | 9743 5824 276 | 0.000 % | c | 70759 | 1188 4387 60372 | 10717 7533 276 | 0.000 % | c | 73321 | 1188 4387 60372 | 11789 10095 276 | 0.000 % | c | 77166 | 1188 4387 60372 | 12968 7892 276 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 28.5107 s Remaining CPU time: 151.489 s c =============================================================================== c | 82671 | 1188 4388 60774 | 5000 6750 276 | 0.000 % | c | 82771 | 1188 4388 60774 | 5500 3475 276 | 0.000 % | c | 82921 | 1188 4388 60774 | 6050 3625 276 | 0.000 % | c | 83146 | 1188 4388 60774 | 6655 3850 276 | 0.000 % | c | 83483 | 1188 4388 60774 | 7320 4187 276 | 0.000 % | c | 83990 | 1188 4388 60774 | 8052 4694 275 | 0.000 % | c | 84749 | 1188 4388 60774 | 8857 5453 275 | 0.000 % | c | 85889 | 1188 4388 60774 | 9743 6593 275 | 0.000 % | c | 87597 | 1188 4388 60774 | 10717 8301 275 | 0.000 % | c | 90159 | 1188 4388 60774 | 11789 10863 275 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 31.4492 s Remaining CPU time: 148.551 s c =============================================================================== c | 91811 | 1188 4389 61176 | 5000 6466 275 | 0.000 % | c | 91911 | 1188 4389 61176 | 5500 3333 275 | 0.000 % | c | 92061 | 1188 4389 61176 | 6050 3483 275 | 0.000 % | c | 92287 | 1188 4389 61176 | 6655 3709 275 | 0.000 % | c | 92625 | 1188 4389 61176 | 7320 4047 275 | 0.000 % | c | 93131 | 1188 4389 61176 | 8052 4553 275 | 0.000 % | c | 93890 | 1188 4389 61176 | 8857 5312 275 | 0.000 % | c | 95029 | 1188 4389 61176 | 9743 6451 274 | 0.000 % | c | 96737 | 1188 4389 61176 | 10717 8159 274 | 0.000 % | c | 99300 | 1188 4389 61176 | 11789 10722 274 | 0.000 % | c | 103144 | 1188 4389 61176 | 12968 8523 274 | 0.000 % | c | 108910 | 1188 4389 61176 | 14265 7642 274 | 0.000 % | c | 117559 | 1188 4389 61176 | 15692 8997 274 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 40.4439 s Remaining CPU time: 139.556 s c =============================================================================== c | 118262 | 1188 4390 61578 | 5000 9700 274 | 0.000 % | c | 118362 | 1188 4390 61578 | 5500 4950 274 | 0.000 % | c | 118513 | 1188 4390 61578 | 6050 5101 274 | 0.000 % | c | 118738 | 1188 4390 61578 | 6655 5326 274 | 0.000 % | c | 119075 | 1188 4390 61578 | 7320 5663 274 | 0.000 % | c | 119581 | 1188 4390 61578 | 8052 6169 274 | 0.000 % | c | 120341 | 1188 4390 61578 | 8857 6929 274 | 0.000 % | c | 121480 | 1188 4390 61578 | 9743 8068 274 | 0.000 % | c | 123188 | 1188 4390 61578 | 10717 9776 274 | 0.000 % | c | 125750 | 1188 4390 61578 | 11789 6816 273 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 43.2544 s Remaining CPU time: 136.746 s c =============================================================================== c | 126189 | 1188 4391 61980 | 5000 7255 273 | 0.000 % | c | 126289 | 1188 4391 61980 | 5500 3728 273 | 0.000 % | c | 126439 | 1188 4391 61980 | 6050 3878 273 | 0.000 % | c | 126664 | 1188 4391 61980 | 6655 4103 273 | 0.000 % | c | 127002 | 1188 4391 61980 | 7320 4441 273 | 0.000 % | c | 127508 | 1188 4391 61980 | 8052 4947 272 | 0.000 % | c | 128267 | 1188 4391 61980 | 8857 5706 272 | 0.000 % | c | 129407 | 1188 4391 61980 | 9743 6846 272 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 44.8902 s Remaining CPU time: 135.11 s c =============================================================================== c | 130832 | 1188 4392 62382 | 5000 8271 272 | 0.000 % | c | 130932 | 1188 4392 62382 | 5500 4236 272 | 0.000 % | c | 131082 | 1188 4392 62382 | 6050 4386 272 | 0.000 % | c | 131307 | 1188 4392 62382 | 6655 4611 272 | 0.000 % | c | 131644 | 1188 4392 62382 | 7320 4948 272 | 0.000 % | c | 132150 | 1188 4392 62382 | 8052 5454 271 | 0.000 % | c | 132909 | 1188 4392 62382 | 8857 6213 271 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 45.6671 s Remaining CPU time: 134.333 s c =============================================================================== c | 133084 | 1188 4393 62784 | 5000 6388 271 | 0.000 % | c | 133185 | 1188 4393 62784 | 5500 3295 271 | 0.000 % | c | 133335 | 1188 4393 62784 | 6050 3445 271 | 0.000 % | c | 133560 | 1188 4393 62784 | 6655 3670 271 | 0.000 % | c | 133897 | 1188 4393 62784 | 7320 4007 271 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 46.021 s Remaining CPU time: 133.979 s c =============================================================================== c | 133918 | 1188 4394 63186 | 5000 4028 271 | 0.000 % | c | 134018 | 1188 4394 63186 | 5500 4128 271 | 0.000 % | c | 134168 | 1188 4394 63186 | 6050 4278 271 | 0.000 % | c | 134393 | 1188 4394 63186 | 6655 4503 271 | 0.000 % | c | 134730 | 1188 4394 63186 | 7320 4840 270 | 0.000 % | c | 135236 | 1188 4394 63186 | 8052 5346 270 | 0.000 % | c | 135996 | 1188 4394 63186 | 8857 6106 270 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 46.8519 s Remaining CPU time: 133.148 s c =============================================================================== c | 136476 | 1188 4395 63588 | 5000 6586 270 | 0.000 % | c | 136576 | 1188 4395 63588 | 5500 3393 269 | 0.000 % | c | 136728 | 1188 4395 63588 | 6050 3545 269 | 0.000 % | c | 136954 | 1188 4395 63588 | 6655 3771 269 | 0.000 % | c | 137291 | 1188 4395 63588 | 7320 4108 269 | 0.000 % | c | 137797 | 1188 4395 63588 | 8052 4614 269 | 0.000 % | c | 138556 | 1188 4395 63588 | 8857 5373 268 | 0.000 % | c | 139695 | 1188 4395 63588 | 9743 6512 268 | 0.000 % | c | 141403 | 1188 4395 63588 | 10717 8220 268 | 0.000 % | c | 143965 | 1188 4395 63588 | 11789 10782 268 | 0.000 % | c | 147809 | 1188 4395 63588 | 12968 8572 268 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 51.1722 s Remaining CPU time: 128.828 s c =============================================================================== c | 149205 | 1188 4396 63990 | 5000 9968 268 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 51.2362 s Remaining CPU time: 128.764 s c =============================================================================== c | 149207 | 1188 4397 64392 | 5000 4986 268 | 0.000 % | c | 149307 | 1188 4397 64392 | 5500 5086 268 | 0.000 % | c | 149457 | 1188 4397 64392 | 6050 5236 268 | 0.000 % | c | 149682 | 1188 4397 64392 | 6655 5461 268 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 51.4752 s Remaining CPU time: 128.525 s c =============================================================================== c | 149875 | 1188 4398 64794 | 5000 5654 268 | 0.000 % | c | 149975 | 1188 4398 64794 | 5500 2927 267 | 0.000 % | c | 150126 | 1188 4398 64794 | 6050 3078 267 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 51.6322 s Remaining CPU time: 128.368 s c =============================================================================== c | 150312 | 1188 4399 65196 | 5000 3264 267 | 0.000 % | c | 150412 | 1188 4399 65196 | 5500 3364 267 | 0.000 % | c | 150562 | 1188 4399 65196 | 6050 3514 267 | 0.000 % | c | 150788 | 1188 4399 65196 | 6655 3740 266 | 0.000 % | c | 151125 | 1188 4399 65196 | 7320 4077 266 | 0.000 % | c | 151631 | 1188 4399 65196 | 8052 4583 266 | 0.000 % | c | 152390 | 1188 4399 65196 | 8857 5342 266 | 0.000 % | c | 153529 | 1188 4399 65196 | 9743 6481 266 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 53.2549 s Remaining CPU time: 126.745 s c =============================================================================== c | 155125 | 1188 4400 65598 | 5000 8077 265 | 0.000 % | c | 155225 | 1188 4400 65598 | 5500 4139 264 | 0.000 % | c | 155375 | 1188 4400 65598 | 6050 4289 264 | 0.000 % | c | 155601 | 1188 4400 65598 | 6655 4515 264 | 0.000 % | c | 155938 | 1188 4400 65598 | 7320 4852 264 | 0.000 % | c | 156444 | 1188 4400 65598 | 8052 5358 264 | 0.000 % | c | 157203 | 1188 4400 65598 | 8857 6117 264 | 0.000 % | c | 158342 | 1188 4400 65598 | 9743 7256 264 | 0.000 % | c | 160050 | 1188 4400 65598 | 10717 8964 264 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 55.1986 s Remaining CPU time: 124.801 s c =============================================================================== c | 161024 | 1188 4401 66000 | 5000 9938 264 | 0.000 % | c | 161124 | 1188 4401 66000 | 5500 5069 263 | 0.000 % | c | 161274 | 1188 4401 66000 | 6050 5219 263 | 0.000 % | c | 161499 | 1188 4401 66000 | 6655 5444 263 | 0.000 % | c | 161837 | 1188 4401 66000 | 7320 5782 263 | 0.000 % | c | 162344 | 1188 4401 66000 | 8052 6289 263 | 0.000 % | c | 163104 | 1188 4401 66000 | 8857 7049 263 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 56.3484 s Remaining CPU time: 123.652 s c =============================================================================== c | 164112 | 1188 4402 66402 | 5000 8057 263 | 0.000 % | c | 164213 | 1188 4402 66402 | 5500 4130 262 | 0.000 % | c | 164363 | 1188 4402 66402 | 6050 4280 262 | 0.000 % | c | 164588 | 1188 4402 66402 | 6655 4505 262 | 0.000 % | c | 164925 | 1188 4402 66402 | 7320 4842 262 | 0.000 % | c | 165431 | 1188 4402 66402 | 8052 5348 262 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 56.9673 s Remaining CPU time: 123.033 s c =============================================================================== c | 165762 | 1188 4403 66804 | 5000 5679 262 | 0.000 % | c | 165862 | 1188 4403 66804 | 5500 2940 262 | 0.000 % | c | 166012 | 1188 4403 66804 | 6050 3090 261 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 57.1043 s Remaining CPU time: 122.896 s c =============================================================================== c | 166023 | 1188 4404 67206 | 5000 3101 261 | 0.000 % | c | 166124 | 1188 4404 67206 | 5500 3202 261 | 0.000 % | c | 166274 | 1188 4404 67206 | 6050 3352 261 | 0.000 % | c | 166499 | 1188 4404 67206 | 6655 3577 261 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 57.2843 s Remaining CPU time: 122.716 s c =============================================================================== c | 166513 | 1188 4405 67608 | 5000 3591 261 | 0.000 % | c | 166613 | 1188 4405 67608 | 5500 3691 261 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 57.3603 s Remaining CPU time: 122.64 s c =============================================================================== c | 166699 | 1188 4406 68010 | 5000 3777 261 | 0.000 % | c | 166799 | 1188 4406 68010 | 5500 3877 261 | 0.000 % | c | 166949 | 1188 4406 68010 | 6050 4027 261 | 0.000 % | c | 167174 | 1188 4406 68010 | 6655 4252 260 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 57.6002 s Remaining CPU time: 122.4 s c =============================================================================== c | 167416 | 1188 4407 68412 | 5000 4494 260 | 0.000 % | c | 167516 | 1188 4407 68412 | 5500 4594 260 | 0.000 % | c | 167666 | 1188 4407 68412 | 6050 4744 260 | 0.000 % | c | 167891 | 1188 4407 68412 | 6655 4969 260 | 0.000 % | c | 168229 | 1188 4407 68412 | 7320 5307 260 | 0.000 % | c | 168736 | 1188 4407 68412 | 8052 5814 259 | 0.000 % | c | 169495 | 1188 4407 68412 | 8857 6573 259 | 0.000 % | c | 170634 | 1188 4407 68412 | 9743 7712 258 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 59.06 s Remaining CPU time: 120.94 s c =============================================================================== c | 172015 | 1188 4408 68814 | 5000 9093 258 | 0.000 % | c | 172115 | 1188 4408 68814 | 5500 4647 256 | 0.000 % | c | 172265 | 1188 4408 68814 | 6050 4797 256 | 0.000 % | c | 172491 | 1188 4408 68814 | 6655 5023 256 | 0.000 % | c | 172828 | 1188 4408 68814 | 7320 5360 256 | 0.000 % | c | 173334 | 1188 4408 68814 | 8052 5866 256 | 0.000 % | c | 174093 | 1188 4408 68814 | 8857 6625 255 | 0.000 % | c | 175232 | 1188 4408 68814 | 9743 7764 255 | 0.000 % | c | 176941 | 1188 4408 68814 | 10717 9473 255 | 0.000 % | c | 179503 | 1188 4408 68814 | 11789 6523 255 | 0.000 % | c | 183348 | 1188 4408 68814 | 12968 10368 255 | 0.000 % | c | 189114 | 1188 4408 68814 | 14265 9490 255 | 0.000 % | c | 197763 | 1188 4408 68814 | 15692 10826 255 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 69.8364 s Remaining CPU time: 110.164 s c =============================================================================== c | 200068 | 1188 4409 69216 | 5000 13131 255 | 0.000 % | c | 200168 | 1188 4409 69216 | 5500 3383 255 | 0.000 % | c | 200318 | 1188 4409 69216 | 6050 3533 255 | 0.000 % | c | 200543 | 1188 4409 69216 | 6655 3758 255 | 0.000 % | c | 200880 | 1188 4409 69216 | 7320 4095 255 | 0.000 % | c | 201386 | 1188 4409 69216 | 8052 4601 255 | 0.000 % | c | 202145 | 1188 4409 69216 | 8857 5360 255 | 0.000 % | c | 203284 | 1188 4409 69216 | 9743 6499 254 | 0.000 % | c | 204992 | 1188 4409 69216 | 10717 8207 254 | 0.000 % | c | 207554 | 1188 4409 69216 | 11789 10769 254 | 0.000 % | c | 211399 | 1188 4409 69216 | 12968 8583 254 | 0.000 % | c | 217165 | 1188 4409 69216 | 14265 7724 254 | 0.000 % | c | 225814 | 1188 4409 69216 | 15692 9096 254 | 0.000 % | c | 238789 | 1188 4409 69216 | 17261 14085 254 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 88.6205 s Remaining CPU time: 91.3795 s c =============================================================================== c | 251176 | 1188 4410 69618 | 5000 8906 254 | 0.000 % | c | 251276 | 1188 4410 69618 | 5500 4553 254 | 0.000 % | c | 251426 | 1188 4410 69618 | 6050 4703 254 | 0.000 % | c | 251652 | 1188 4410 69618 | 6655 4929 254 | 0.000 % | c | 251989 | 1188 4410 69618 | 7320 5266 254 | 0.000 % | c | 252496 | 1188 4410 69618 | 8052 5773 254 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 89.4014 s Remaining CPU time: 90.5986 s c =============================================================================== c | 253106 | 1188 4411 70020 | 5000 6383 254 | 0.000 % | c | 253207 | 1188 4411 70020 | 5500 3293 253 | 0.000 % | c | 253357 | 1188 4411 70020 | 6050 3443 253 | 0.000 % | c | 253583 | 1188 4411 70020 | 6655 3669 253 | 0.000 % | c | 253920 | 1188 4411 70020 | 7320 4006 253 | 0.000 % | c | 254426 | 1188 4411 70020 | 8052 4512 253 | 0.000 % | c | 255185 | 1188 4411 70020 | 8857 5271 253 | 0.000 % | c | 256324 | 1188 4411 70020 | 9743 6410 253 | 0.000 % | c | 258032 | 1188 4411 70020 | 10717 8118 253 | 0.000 % | c | 260594 | 1188 4411 70020 | 11789 10680 253 | 0.000 % | c | 264438 | 1188 4411 70020 | 12968 8490 253 | 0.000 % | c | 270205 | 1188 4411 70020 | 14265 7638 252 | 0.000 % | c | 278854 | 1188 4411 70020 | 15692 8994 252 | 0.000 % | c | 291829 | 1188 4411 70020 | 17261 13984 252 | 0.000 % | c | 311290 | 1188 4411 70020 | 18987 15905 252 | 0.000 % |