c wbo 1.4 beta - 20100610 c | Number of variables: 800 | c | Number of clauses: 4419 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1186 | c | Number Clauses: 4402 | 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 | 1186 4402 9201 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 1186 4403 9604 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1186 4404 10007 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1186 4405 10410 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1186 4406 10813 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1186 4407 11216 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1186 4408 11619 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1186 4409 12022 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1186 4410 12425 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1186 4411 12828 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1186 4412 13231 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 1186 4413 13634 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 1186 4414 14037 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1186 4415 14440 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 1186 4416 14843 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 1186 4417 15246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 1186 4418 15649 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 1186 4419 16052 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 1186 4420 16455 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 1186 4421 16858 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 1186 4422 17261 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 1186 4423 17664 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 1186 4424 18067 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 1186 4425 18470 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 1186 4426 18873 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 1186 4427 19276 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 1186 4428 19679 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 1186 4429 20082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 1186 4430 20485 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 0 | 1186 4431 20888 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 1186 4432 21291 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 1 | 1186 4433 21694 | 5000 1 375 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 1 | 1186 4434 22097 | 5000 1 375 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 1 | 1186 4435 22500 | 5000 1 375 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 1 | 1186 4436 22903 | 5000 1 375 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 1 | 1186 4437 23306 | 5000 1 375 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 1 | 1186 4438 23709 | 5000 1 375 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 1 | 1186 4439 24112 | 5000 1 375 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 1 | 1186 4440 24515 | 5000 1 375 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 1 | 1186 4441 24918 | 5000 1 375 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 1 | 1186 4442 25321 | 5000 1 375 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 1 | 1186 4443 25724 | 5000 1 375 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 1 | 1186 4444 26127 | 5000 1 375 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 1 | 1186 4445 26530 | 5000 1 375 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 1 | 1186 4446 26933 | 5000 1 375 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 1 | 1186 4447 27336 | 5000 1 375 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 1 | 1186 4448 27739 | 5000 1 375 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 2 | 1186 4449 28142 | 5000 2 366 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 2 | 1186 4450 28545 | 5000 2 366 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 2 | 1186 4451 28948 | 5000 2 366 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 2 | 1186 4452 29351 | 5000 2 366 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 3 | 1186 4453 29754 | 5000 3 362 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 3 | 1186 4454 30157 | 5000 3 362 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 3 | 1186 4455 30560 | 5000 3 362 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.137979 s Remaining CPU time: 179.862 s c =============================================================================== c | 3 | 1186 4456 30963 | 5000 3 362 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 3 | 1186 4457 31366 | 5000 3 362 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 3 | 1186 4458 31769 | 5000 3 362 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 3 | 1186 4459 32172 | 5000 3 362 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.153976 s Remaining CPU time: 179.846 s c =============================================================================== c | 3 | 1186 4460 32575 | 5000 3 362 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s c =============================================================================== c | 5 | 1186 4461 32978 | 5000 5 287 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 5 | 1186 4462 33381 | 5000 5 287 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 5 | 1186 4463 33784 | 5000 5 287 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s c =============================================================================== c | 6 | 1186 4464 34187 | 5000 6 296 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.175973 s Remaining CPU time: 179.824 s c =============================================================================== c | 6 | 1186 4465 34590 | 5000 6 296 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.180972 s Remaining CPU time: 179.819 s c =============================================================================== c | 7 | 1186 4466 34993 | 5000 7 302 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.185971 s Remaining CPU time: 179.814 s c =============================================================================== c | 8 | 1186 4467 35396 | 5000 8 307 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.19097 s Remaining CPU time: 179.809 s c =============================================================================== c | 9 | 1186 4468 35799 | 5000 9 310 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.19697 s Remaining CPU time: 179.803 s c =============================================================================== c | 10 | 1186 4469 36202 | 5000 10 313 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.201969 s Remaining CPU time: 179.798 s c =============================================================================== c | 11 | 1186 4470 36605 | 5000 11 315 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 12 | 1186 4471 37008 | 5000 12 317 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 16 | 1186 4472 37411 | 5000 16 321 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.218966 s Remaining CPU time: 179.781 s c =============================================================================== c | 24 | 1186 4473 37814 | 5000 24 325 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.224965 s Remaining CPU time: 179.775 s c =============================================================================== c | 34 | 1186 4474 38217 | 5000 34 328 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.230964 s Remaining CPU time: 179.769 s c =============================================================================== c | 36 | 1186 4475 38620 | 5000 36 328 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.235964 s Remaining CPU time: 179.764 s c =============================================================================== c | 38 | 1186 4476 39023 | 5000 38 328 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.239963 s Remaining CPU time: 179.76 s c =============================================================================== c | 41 | 1186 4477 39426 | 5000 41 328 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.247962 s Remaining CPU time: 179.752 s c =============================================================================== c | 44 | 1186 4478 39829 | 5000 44 328 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s c =============================================================================== c | 45 | 1186 4479 40232 | 5000 45 328 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.25996 s Remaining CPU time: 179.74 s c =============================================================================== c | 47 | 1186 4480 40635 | 5000 47 328 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.270958 s Remaining CPU time: 179.729 s c =============================================================================== c | 80 | 1186 4481 41038 | 5000 80 327 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.276957 s Remaining CPU time: 179.723 s c =============================================================================== c | 86 | 1186 4482 41441 | 5000 86 327 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s c =============================================================================== c | 88 | 1186 4483 41844 | 5000 88 327 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.288956 s Remaining CPU time: 179.711 s c =============================================================================== c | 91 | 1186 4484 42247 | 5000 91 327 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.295955 s Remaining CPU time: 179.704 s c =============================================================================== c | 94 | 1186 4485 42650 | 5000 94 327 | 0.000 % | c | 194 | 1186 4485 42650 | 5500 194 324 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.328949 s Remaining CPU time: 179.671 s c =============================================================================== c | 195 | 1186 4486 43053 | 5000 195 322 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.341948 s Remaining CPU time: 179.658 s c =============================================================================== c | 223 | 1186 4487 43456 | 5000 223 322 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s c =============================================================================== c | 247 | 1186 4488 43859 | 5000 247 322 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.363944 s Remaining CPU time: 179.636 s c =============================================================================== c | 270 | 1186 4489 44262 | 5000 270 321 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.373943 s Remaining CPU time: 179.626 s c =============================================================================== c | 289 | 1186 4490 44665 | 5000 289 321 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.384941 s Remaining CPU time: 179.615 s c =============================================================================== c | 305 | 1186 4491 45068 | 5000 305 321 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.396939 s Remaining CPU time: 179.603 s c =============================================================================== c | 320 | 1186 4492 45471 | 5000 320 320 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.406938 s Remaining CPU time: 179.593 s c =============================================================================== c | 333 | 1186 4493 45874 | 5000 333 320 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.422935 s Remaining CPU time: 179.577 s c =============================================================================== c | 357 | 1186 4494 46277 | 5000 357 320 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.434933 s Remaining CPU time: 179.565 s c =============================================================================== c | 381 | 1186 4495 46680 | 5000 381 319 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.450931 s Remaining CPU time: 179.549 s c =============================================================================== c | 414 | 1186 4496 47083 | 5000 414 319 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.477927 s Remaining CPU time: 179.522 s c =============================================================================== c | 485 | 1186 4497 47486 | 5000 485 317 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.483926 s Remaining CPU time: 179.516 s c =============================================================================== c | 486 | 1186 4498 47889 | 5000 486 317 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.505923 s Remaining CPU time: 179.494 s c =============================================================================== c | 541 | 1186 4499 48292 | 5000 541 316 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.517921 s Remaining CPU time: 179.482 s c =============================================================================== c | 557 | 1186 4500 48695 | 5000 557 316 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.540917 s Remaining CPU time: 179.459 s c =============================================================================== c | 616 | 1186 4501 49098 | 5000 616 315 | 0.000 % | c | 717 | 1186 4501 49098 | 5500 717 314 | 0.000 % | c | 867 | 1186 4501 49098 | 6050 867 312 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.667898 s Remaining CPU time: 179.332 s c =============================================================================== c | 1056 | 1186 4502 49501 | 5000 1056 311 | 0.000 % | c | 1157 | 1186 4502 49501 | 5500 1157 310 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.738887 s Remaining CPU time: 179.261 s c =============================================================================== c | 1282 | 1186 4503 49904 | 5000 1282 310 | 0.000 % | c | 1382 | 1186 4503 49904 | 5500 1382 309 | 0.000 % | c | 1533 | 1186 4503 49904 | 6050 1533 309 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.836872 s Remaining CPU time: 179.163 s c =============================================================================== c | 1568 | 1186 4504 50307 | 5000 1568 308 | 0.000 % | c | 1668 | 1186 4504 50307 | 5500 1668 308 | 0.000 % | c | 1818 | 1186 4504 50307 | 6050 1818 308 | 0.000 % | c | 2043 | 1186 4504 50307 | 6655 2043 307 | 0.000 % | c | 2380 | 1186 4504 50307 | 7320 2380 306 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 1.14083 s Remaining CPU time: 178.859 s c =============================================================================== c | 2712 | 1186 4505 50710 | 5000 2712 306 | 0.000 % | c | 2813 | 1186 4505 50710 | 5500 2813 306 | 0.000 % | c | 2963 | 1186 4505 50710 | 6050 2963 305 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 1.23481 s Remaining CPU time: 178.765 s c =============================================================================== c | 2997 | 1186 4506 51113 | 5000 2997 305 | 0.000 % | c | 3097 | 1186 4506 51113 | 5500 3097 305 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 1.2928 s Remaining CPU time: 178.707 s c =============================================================================== c | 3176 | 1186 4507 51516 | 5000 3176 305 | 0.000 % | c | 3276 | 1186 4507 51516 | 5500 3276 305 | 0.000 % | c | 3426 | 1186 4507 51516 | 6050 3426 305 | 0.000 % | c | 3651 | 1186 4507 51516 | 6655 3651 304 | 0.000 % | c | 3989 | 1186 4507 51516 | 7320 3989 304 | 0.000 % | c | 4496 | 1186 4507 51516 | 8052 4496 303 | 0.000 % | c | 5255 | 1186 4507 51516 | 8857 5255 303 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 2.06868 s Remaining CPU time: 177.931 s c =============================================================================== c | 6097 | 1186 4508 51919 | 5000 6097 302 | 0.000 % | c | 6197 | 1186 4508 51919 | 5500 3149 299 | 0.000 % | c | 6348 | 1186 4508 51919 | 6050 3300 299 | 0.000 % | c | 6573 | 1186 4508 51919 | 6655 3525 299 | 0.000 % | c | 6910 | 1186 4508 51919 | 7320 3862 299 | 0.000 % | c | 7416 | 1186 4508 51919 | 8052 4368 299 | 0.000 % | c | 8175 | 1186 4508 51919 | 8857 5127 299 | 0.000 % | c | 9315 | 1186 4508 51919 | 9743 6267 299 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 3.02854 s Remaining CPU time: 176.971 s c =============================================================================== c | 9408 | 1186 4509 52322 | 5000 6360 299 | 0.000 % | c | 9509 | 1186 4509 52322 | 5500 3281 298 | 0.000 % | c | 9660 | 1186 4509 52322 | 6050 3432 298 | 0.000 % | c | 9885 | 1186 4509 52322 | 6655 3657 298 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 3.2625 s Remaining CPU time: 176.737 s c =============================================================================== c | 10007 | 1186 4510 52725 | 5000 3779 298 | 0.000 % | c | 10107 | 1186 4510 52725 | 5500 3879 298 | 0.000 % | c | 10257 | 1186 4510 52725 | 6050 4029 298 | 0.000 % | c | 10482 | 1186 4510 52725 | 6655 4254 298 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 3.55646 s Remaining CPU time: 176.444 s c =============================================================================== c | 10812 | 1186 4511 53128 | 5000 4584 298 | 0.000 % | c | 10912 | 1186 4511 53128 | 5500 4684 298 | 0.000 % | c | 11062 | 1186 4511 53128 | 6050 4834 298 | 0.000 % | c | 11287 | 1186 4511 53128 | 6655 5059 298 | 0.000 % | c | 11624 | 1186 4511 53128 | 7320 5396 298 | 0.000 % | c | 12130 | 1186 4511 53128 | 8052 5902 297 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 4.00439 s Remaining CPU time: 175.996 s c =============================================================================== c | 12204 | 1186 4512 53531 | 5000 5976 297 | 0.000 % | c | 12304 | 1186 4512 53531 | 5500 3088 296 | 0.000 % | c | 12454 | 1186 4512 53531 | 6050 3238 296 | 0.000 % | c | 12679 | 1186 4512 53531 | 6655 3463 296 | 0.000 % | c | 13017 | 1186 4512 53531 | 7320 3801 296 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 4.39633 s Remaining CPU time: 175.604 s c =============================================================================== c | 13469 | 1186 4513 53934 | 5000 4253 296 | 0.000 % | c | 13570 | 1186 4513 53934 | 5500 4354 295 | 0.000 % | c | 13721 | 1186 4513 53934 | 6050 4505 295 | 0.000 % | c | 13947 | 1186 4513 53934 | 6655 4731 295 | 0.000 % | c | 14284 | 1186 4513 53934 | 7320 5068 295 | 0.000 % | c | 14790 | 1186 4513 53934 | 8052 5574 295 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 4.87326 s Remaining CPU time: 175.127 s c =============================================================================== c | 15017 | 1186 4514 54337 | 5000 5801 295 | 0.000 % | c | 15117 | 1186 4514 54337 | 5500 3001 294 | 0.000 % | c | 15268 | 1186 4514 54337 | 6050 3152 294 | 0.000 % | c | 15493 | 1186 4514 54337 | 6655 3377 294 | 0.000 % | c | 15831 | 1186 4514 54337 | 7320 3715 293 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 5.21421 s Remaining CPU time: 174.786 s c =============================================================================== c | 16120 | 1186 4515 54740 | 5000 4004 293 | 0.000 % | c | 16221 | 1186 4515 54740 | 5500 4105 293 | 0.000 % | c | 16371 | 1186 4515 54740 | 6050 4255 293 | 0.000 % | c | 16596 | 1186 4515 54740 | 6655 4480 293 | 0.000 % | c | 16933 | 1186 4515 54740 | 7320 4817 293 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 5.44917 s Remaining CPU time: 174.551 s c =============================================================================== c | 16940 | 1186 4516 55143 | 5000 4824 293 | 0.000 % | c | 17040 | 1186 4516 55143 | 5500 4924 293 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 5.52116 s Remaining CPU time: 174.479 s c =============================================================================== c | 17176 | 1186 4517 55546 | 5000 5060 293 | 0.000 % | c | 17276 | 1186 4517 55546 | 5500 2630 292 | 0.000 % | c | 17426 | 1186 4517 55546 | 6050 2780 292 | 0.000 % | c | 17651 | 1186 4517 55546 | 6655 3005 292 | 0.000 % | c | 17989 | 1186 4517 55546 | 7320 3343 291 | 0.000 % | c | 18495 | 1186 4517 55546 | 8052 3849 291 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 5.99709 s Remaining CPU time: 174.003 s c =============================================================================== c | 18769 | 1186 4518 55949 | 5000 4123 291 | 0.000 % | c | 18869 | 1186 4518 55949 | 5500 4223 291 | 0.000 % | c | 19019 | 1186 4518 55949 | 6050 4373 291 | 0.000 % | c | 19244 | 1186 4518 55949 | 6655 4598 291 | 0.000 % | c | 19581 | 1186 4518 55949 | 7320 4935 291 | 0.000 % | c | 20087 | 1186 4518 55949 | 8052 5441 290 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 6.50801 s Remaining CPU time: 173.492 s c =============================================================================== c | 20373 | 1186 4519 56352 | 5000 5727 290 | 0.000 % | c | 20473 | 1186 4519 56352 | 5500 2964 289 | 0.000 % | c | 20623 | 1186 4519 56352 | 6050 3114 289 | 0.000 % | c | 20848 | 1186 4519 56352 | 6655 3339 289 | 0.000 % | c | 21185 | 1186 4519 56352 | 7320 3676 289 | 0.000 % | c | 21692 | 1186 4519 56352 | 8052 4183 288 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 6.96594 s Remaining CPU time: 173.034 s c =============================================================================== c | 21784 | 1186 4520 56755 | 5000 4275 288 | 0.000 % | c | 21885 | 1186 4520 56755 | 5500 4376 288 | 0.000 % | c | 22036 | 1186 4520 56755 | 6050 4527 288 | 0.000 % | c | 22261 | 1186 4520 56755 | 6655 4752 288 | 0.000 % | c | 22598 | 1186 4520 56755 | 7320 5089 288 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 7.36588 s Remaining CPU time: 172.634 s c =============================================================================== c | 22933 | 1186 4521 57158 | 5000 5424 288 | 0.000 % | c | 23034 | 1186 4521 57158 | 5500 2813 287 | 0.000 % | c | 23184 | 1186 4521 57158 | 6050 2963 287 | 0.000 % | c | 23409 | 1186 4521 57158 | 6655 3188 287 | 0.000 % | c | 23746 | 1186 4521 57158 | 7320 3525 287 | 0.000 % | c | 24252 | 1186 4521 57158 | 8052 4031 286 | 0.000 % | c | 25011 | 1186 4521 57158 | 8857 4790 286 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 8.46671 s Remaining CPU time: 171.533 s c =============================================================================== c | 26047 | 1186 4522 57561 | 5000 5826 286 | 0.000 % | c | 26147 | 1186 4522 57561 | 5500 3013 285 | 0.000 % | c | 26297 | 1186 4522 57561 | 6050 3163 285 | 0.000 % | c | 26524 | 1186 4522 57561 | 6655 3390 285 | 0.000 % | c | 26861 | 1186 4522 57561 | 7320 3727 285 | 0.000 % | c | 27367 | 1186 4522 57561 | 8052 4233 285 | 0.000 % | c | 28126 | 1186 4522 57561 | 8857 4992 285 | 0.000 % | c | 29265 | 1186 4522 57561 | 9743 6131 285 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 9.8955 s Remaining CPU time: 170.105 s c =============================================================================== c | 29990 | 1186 4523 57964 | 5000 6856 285 | 0.000 % | c | 30090 | 1186 4523 57964 | 5500 3528 285 | 0.000 % | c | 30240 | 1186 4523 57964 | 6050 3678 285 | 0.000 % | c | 30465 | 1186 4523 57964 | 6655 3903 285 | 0.000 % | c | 30802 | 1186 4523 57964 | 7320 4240 284 | 0.000 % | c | 31308 | 1186 4523 57964 | 8052 4746 284 | 0.000 % | c | 32067 | 1186 4523 57964 | 8857 5505 284 | 0.000 % | c | 33206 | 1186 4523 57964 | 9743 6644 284 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 11.1423 s Remaining CPU time: 168.858 s c =============================================================================== c | 33599 | 1186 4524 58367 | 5000 7037 284 | 0.000 % | c | 33699 | 1186 4524 58367 | 5500 3619 284 | 0.000 % | c | 33849 | 1186 4524 58367 | 6050 3769 283 | 0.000 % | c | 34075 | 1186 4524 58367 | 6655 3995 283 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 11.3883 s Remaining CPU time: 168.612 s c =============================================================================== c | 34124 | 1186 4525 58770 | 5000 4044 283 | 0.000 % | c | 34224 | 1186 4525 58770 | 5500 4144 283 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 11.4563 s Remaining CPU time: 168.544 s c =============================================================================== c | 34276 | 1186 4526 59173 | 5000 4196 283 | 0.000 % | c | 34376 | 1186 4526 59173 | 5500 4296 283 | 0.000 % | c | 34527 | 1186 4526 59173 | 6050 4447 283 | 0.000 % | c | 34752 | 1186 4526 59173 | 6655 4672 283 | 0.000 % | c | 35089 | 1186 4526 59173 | 7320 5009 283 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 11.8702 s Remaining CPU time: 168.13 s c =============================================================================== c | 35490 | 1186 4527 59576 | 5000 5410 283 | 0.000 % | c | 35590 | 1186 4527 59576 | 5500 2805 282 | 0.000 % | c | 35740 | 1186 4527 59576 | 6050 2955 281 | 0.000 % | c | 35965 | 1186 4527 59576 | 6655 3180 281 | 0.000 % | c | 36302 | 1186 4527 59576 | 7320 3517 281 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 12.2911 s Remaining CPU time: 167.709 s c =============================================================================== c | 36770 | 1186 4528 59979 | 5000 3985 281 | 0.000 % | c | 36870 | 1186 4528 59979 | 5500 4085 281 | 0.000 % | c | 37020 | 1186 4528 59979 | 6050 4235 281 | 0.000 % | c | 37246 | 1186 4528 59979 | 6655 4461 281 | 0.000 % | c | 37583 | 1186 4528 59979 | 7320 4798 280 | 0.000 % | c | 38089 | 1186 4528 59979 | 8052 5304 280 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 12.8131 s Remaining CPU time: 167.187 s c =============================================================================== c | 38281 | 1186 4529 60382 | 5000 5496 280 | 0.000 % | c | 38381 | 1186 4529 60382 | 5500 2848 279 | 0.000 % | c | 38531 | 1186 4529 60382 | 6050 2998 279 | 0.000 % | c | 38758 | 1186 4529 60382 | 6655 3225 279 | 0.000 % | c | 39095 | 1186 4529 60382 | 7320 3562 278 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 13.217 s Remaining CPU time: 166.783 s c =============================================================================== c | 39449 | 1186 4530 60785 | 5000 3916 278 | 0.000 % | c | 39550 | 1186 4530 60785 | 5500 4017 278 | 0.000 % | c | 39701 | 1186 4530 60785 | 6050 4168 278 | 0.000 % | c | 39926 | 1186 4530 60785 | 6655 4393 278 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 13.4889 s Remaining CPU time: 166.511 s c =============================================================================== c | 40196 | 1186 4531 61188 | 5000 4663 278 | 0.000 % | c | 40296 | 1186 4531 61188 | 5500 4763 278 | 0.000 % | c | 40446 | 1186 4531 61188 | 6050 4913 278 | 0.000 % | c | 40672 | 1186 4531 61188 | 6655 5139 278 | 0.000 % | c | 41010 | 1186 4531 61188 | 7320 5477 277 | 0.000 % | c | 41516 | 1186 4531 61188 | 8052 5983 277 | 0.000 % | c | 42275 | 1186 4531 61188 | 8857 6742 277 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 14.2818 s Remaining CPU time: 165.718 s c =============================================================================== c | 42624 | 1186 4532 61591 | 5000 7091 277 | 0.000 % | c | 42724 | 1186 4532 61591 | 5500 3646 276 | 0.000 % | c | 42874 | 1186 4532 61591 | 6050 3796 276 | 0.000 % | c | 43099 | 1186 4532 61591 | 6655 4021 275 | 0.000 % | c | 43437 | 1186 4532 61591 | 7320 4359 275 | 0.000 % | c | 43944 | 1186 4532 61591 | 8052 4866 275 | 0.000 % | c | 44703 | 1186 4532 61591 | 8857 5625 275 | 0.000 % | c | 45843 | 1186 4532 61591 | 9743 6765 275 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 15.4756 s Remaining CPU time: 164.524 s c =============================================================================== c | 46509 | 1186 4533 61994 | 5000 7431 275 | 0.000 % | c | 46609 | 1186 4533 61994 | 5500 3816 274 | 0.000 % | c | 46760 | 1186 4533 61994 | 6050 3967 274 | 0.000 % | c | 46987 | 1186 4533 61994 | 6655 4194 274 | 0.000 % | c | 47324 | 1186 4533 61994 | 7320 4531 274 | 0.000 % | c | 47831 | 1186 4533 61994 | 8052 5038 274 | 0.000 % | c | 48590 | 1186 4533 61994 | 8857 5797 274 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 16.4525 s Remaining CPU time: 163.548 s c =============================================================================== c | 49649 | 1186 4534 62397 | 5000 6856 274 | 0.000 % | c | 49749 | 1186 4534 62397 | 5500 3528 273 | 0.000 % | c | 49901 | 1186 4534 62397 | 6050 3680 273 | 0.000 % | c | 50126 | 1186 4534 62397 | 6655 3905 273 | 0.000 % | c | 50463 | 1186 4534 62397 | 7320 4242 273 | 0.000 % | c | 50970 | 1186 4534 62397 | 8052 4749 273 | 0.000 % | c | 51729 | 1186 4534 62397 | 8857 5508 273 | 0.000 % | c | 52868 | 1186 4534 62397 | 9743 6647 273 | 0.000 % | c | 54576 | 1186 4534 62397 | 10717 8355 273 | 0.000 % | c | 57138 | 1186 4534 62397 | 11789 10917 273 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 19.415 s Remaining CPU time: 160.585 s c =============================================================================== c | 59042 | 1186 4535 62800 | 5000 6770 273 | 0.000 % | c | 59142 | 1186 4535 62800 | 5500 3485 273 | 0.000 % | c | 59292 | 1186 4535 62800 | 6050 3635 273 | 0.000 % | c | 59518 | 1186 4535 62800 | 6655 3861 272 | 0.000 % | c | 59855 | 1186 4535 62800 | 7320 4198 272 | 0.000 % | c | 60362 | 1186 4535 62800 | 8052 4705 272 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 20.025 s Remaining CPU time: 159.975 s c =============================================================================== c | 60495 | 1186 4536 63203 | 5000 4838 272 | 0.000 % | c | 60595 | 1186 4536 63203 | 5500 4938 272 | 0.000 % | c | 60745 | 1186 4536 63203 | 6050 5088 272 | 0.000 % | c | 60970 | 1186 4536 63203 | 6655 5313 272 | 0.000 % | c | 61308 | 1186 4536 63203 | 7320 5651 272 | 0.000 % | c | 61814 | 1186 4536 63203 | 8052 6157 272 | 0.000 % | c | 62573 | 1186 4536 63203 | 8857 6916 272 | 0.000 % | c | 63712 | 1186 4536 63203 | 9743 8055 272 | 0.000 % | c | 65421 | 1186 4536 63203 | 10717 9764 271 | 0.000 % | c | 67983 | 1186 4536 63203 | 11789 6813 271 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 22.6816 s Remaining CPU time: 157.318 s c =============================================================================== c | 68042 | 1186 4537 63606 | 5000 6872 271 | 0.000 % | c | 68144 | 1186 4537 63606 | 5500 3538 271 | 0.000 % | c | 68294 | 1186 4537 63606 | 6050 3688 271 | 0.000 % | c | 68519 | 1186 4537 63606 | 6655 3913 271 | 0.000 % | c | 68856 | 1186 4537 63606 | 7320 4250 270 | 0.000 % | c | 69362 | 1186 4537 63606 | 8052 4756 270 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 23.4334 s Remaining CPU time: 156.567 s c =============================================================================== c | 69605 | 1186 4538 64009 | 5000 4999 270 | 0.000 % | c | 69705 | 1186 4538 64009 | 5500 5099 270 | 0.000 % | c | 69857 | 1186 4538 64009 | 6050 5251 270 | 0.000 % | c | 70082 | 1186 4538 64009 | 6655 5476 270 | 0.000 % | c | 70419 | 1186 4538 64009 | 7320 5813 270 | 0.000 % | c | 70925 | 1186 4538 64009 | 8052 6319 270 | 0.000 % | c | 71685 | 1186 4538 64009 | 8857 7079 270 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 24.2543 s Remaining CPU time: 155.746 s c =============================================================================== c | 71983 | 1186 4539 64412 | 5000 7377 270 | 0.000 % | c | 72083 | 1186 4539 64412 | 5500 3789 269 | 0.000 % | c | 72233 | 1186 4539 64412 | 6050 3939 269 | 0.000 % | c | 72458 | 1186 4539 64412 | 6655 4164 269 | 0.000 % | c | 72795 | 1186 4539 64412 | 7320 4501 268 | 0.000 % | c | 73301 | 1186 4539 64412 | 8052 5007 268 | 0.000 % | c | 74060 | 1186 4539 64412 | 8857 5766 268 | 0.000 % | c | 75199 | 1186 4539 64412 | 9743 6905 268 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 25.8431 s Remaining CPU time: 154.157 s c =============================================================================== c | 76555 | 1186 4540 64815 | 5000 8261 268 | 0.000 % | c | 76656 | 1186 4540 64815 | 5500 4232 268 | 0.000 % | c | 76806 | 1186 4540 64815 | 6050 4382 268 | 0.000 % | c | 77031 | 1186 4540 64815 | 6655 4607 268 | 0.000 % | c | 77369 | 1186 4540 64815 | 7320 4945 267 | 0.000 % | c | 77875 | 1186 4540 64815 | 8052 5451 267 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 26.381 s Remaining CPU time: 153.619 s c =============================================================================== c | 78022 | 1186 4541 65218 | 5000 5598 267 | 0.000 % | c | 78123 | 1186 4541 65218 | 5500 2900 267 | 0.000 % | c | 78273 | 1186 4541 65218 | 6050 3050 267 | 0.000 % | c | 78499 | 1186 4541 65218 | 6655 3276 267 | 0.000 % | c | 78837 | 1186 4541 65218 | 7320 3614 267 | 0.000 % | c | 79343 | 1186 4541 65218 | 8052 4120 267 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 26.9549 s Remaining CPU time: 153.045 s c =============================================================================== c | 79586 | 1186 4542 65621 | 5000 4363 267 | 0.000 % | c | 79686 | 1186 4542 65621 | 5500 4463 267 | 0.000 % | c | 79836 | 1186 4542 65621 | 6050 4613 266 | 0.000 % | c | 80061 | 1186 4542 65621 | 6655 4838 266 | 0.000 % | c | 80398 | 1186 4542 65621 | 7320 5175 266 | 0.000 % | c | 80904 | 1186 4542 65621 | 8052 5681 266 | 0.000 % | c | 81663 | 1186 4542 65621 | 8857 6440 266 | 0.000 % | c | 82802 | 1186 4542 65621 | 9743 7579 266 | 0.000 % | c | 84511 | 1186 4542 65621 | 10717 9288 266 | 0.000 % | c | 87074 | 1186 4542 65621 | 11789 6346 265 | 0.000 % | c | 90918 | 1186 4542 65621 | 12968 10190 265 | 0.000 % | c | 96684 | 1186 4542 65621 | 14265 9332 265 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 33.7669 s Remaining CPU time: 146.233 s c =============================================================================== c | 98791 | 1186 4543 66024 | 5000 11439 265 | 0.000 % | c | 98891 | 1186 4543 66024 | 5500 2960 265 | 0.000 % | c | 99041 | 1186 4543 66024 | 6050 3110 265 | 0.000 % | c | 99266 | 1186 4543 66024 | 6655 3335 265 | 0.000 % | c | 99603 | 1186 4543 66024 | 7320 3672 265 | 0.000 % | c | 100110 | 1186 4543 66024 | 8052 4179 265 | 0.000 % | c | 100870 | 1186 4543 66024 | 8857 4939 265 | 0.000 % | c | 102009 | 1186 4543 66024 | 9743 6078 265 | 0.000 % | c | 103717 | 1186 4543 66024 | 10717 7786 265 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 36.5934 s Remaining CPU time: 143.407 s c =============================================================================== c | 106147 | 1186 4544 66427 | 5000 10216 264 | 0.000 % | c | 106247 | 1186 4544 66427 | 5500 2654 264 | 0.000 % | c | 106397 | 1186 4544 66427 | 6050 2804 264 | 0.000 % | c | 106622 | 1186 4544 66427 | 6655 3029 264 | 0.000 % | c | 106959 | 1186 4544 66427 | 7320 3366 263 | 0.000 % | c | 107466 | 1186 4544 66427 | 8052 3873 263 | 0.000 % | c | 108225 | 1186 4544 66427 | 8857 4632 263 | 0.000 % | c | 109364 | 1186 4544 66427 | 9743 5771 263 | 0.000 % | c | 111072 | 1186 4544 66427 | 10717 7479 263 | 0.000 % | c | 113634 | 1186 4544 66427 | 11789 10041 263 | 0.000 % | c | 117480 | 1186 4544 66427 | 12968 7834 263 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 40.9688 s Remaining CPU time: 139.031 s c =============================================================================== c | 118542 | 1186 4545 66830 | 5000 8896 263 | 0.000 % | c | 118643 | 1186 4545 66830 | 5500 4549 263 | 0.000 % | c | 118794 | 1186 4545 66830 | 6050 4700 263 | 0.000 % | c | 119019 | 1186 4545 66830 | 6655 4925 263 | 0.000 % | c | 119357 | 1186 4545 66830 | 7320 5263 263 | 0.000 % | c | 119863 | 1186 4545 66830 | 8052 5769 263 | 0.000 % | c | 120623 | 1186 4545 66830 | 8857 6529 263 | 0.000 % | c | 121762 | 1186 4545 66830 | 9743 7668 263 | 0.000 % | c | 123470 | 1186 4545 66830 | 10717 9376 263 | 0.000 % | c | 126033 | 1186 4545 66830 | 11789 6445 262 | 0.000 % | c | 129877 | 1186 4545 66830 | 12968 10289 262 | 0.000 % | c | 135643 | 1186 4545 66830 | 14265 9424 262 | 0.000 % | c | 144292 | 1186 4545 66830 | 15692 10771 262 | 0.000 % | c | 157266 | 1186 4545 66830 | 17261 15762 262 | 0.000 % | c | 176727 | 1186 4545 66830 | 18987 8876 262 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 65.0651 s Remaining CPU time: 114.935 s c =============================================================================== c | 178620 | 1186 4546 67233 | 5000 10769 262 | 0.000 % | c | 178720 | 1186 4546 67233 | 5500 2793 262 | 0.000 % | c | 178870 | 1186 4546 67233 | 6050 2943 262 | 0.000 % | c | 179095 | 1186 4546 67233 | 6655 3168 262 | 0.000 % | c | 179432 | 1186 4546 67233 | 7320 3505 262 | 0.000 % | c | 179938 | 1186 4546 67233 | 8052 4011 262 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 65.679 s Remaining CPU time: 114.321 s c =============================================================================== c | 180217 | 1186 4547 67636 | 5000 4290 262 | 0.000 % | c | 180317 | 1186 4547 67636 | 5500 4390 262 | 0.000 % | c | 180467 | 1186 4547 67636 | 6050 4540 261 | 0.000 % | c | 180692 | 1186 4547 67636 | 6655 4765 261 | 0.000 % | c | 181029 | 1186 4547 67636 | 7320 5102 261 | 0.000 % | c | 181535 | 1186 4547 67636 | 8052 5608 261 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 66.2399 s Remaining CPU time: 113.76 s c =============================================================================== c | 181959 | 1186 4548 68039 | 5000 6032 261 | 0.000 % | c | 182059 | 1186 4548 68039 | 5500 3116 260 | 0.000 % | c | 182209 | 1186 4548 68039 | 6050 3266 260 | 0.000 % | c | 182435 | 1186 4548 68039 | 6655 3492 260 | 0.000 % | c | 182772 | 1186 4548 68039 | 7320 3829 260 | 0.000 % | c | 183278 | 1186 4548 68039 | 8052 4335 260 | 0.000 % | c | 184039 | 1186 4548 68039 | 8857 5096 260 | 0.000 % | c | 185179 | 1186 4548 68039 | 9743 6236 259 | 0.000 % | c | 186887 | 1186 4548 68039 | 10717 7944 259 | 0.000 % | c | 189450 | 1186 4548 68039 | 11789 10507 259 | 0.000 % | c | 193294 | 1186 4548 68039 | 12968 8305 259 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 71.1062 s Remaining CPU time: 108.894 s c =============================================================================== c | 196907 | 1186 4549 68442 | 5000 11918 259 | 0.000 % | c | 197007 | 1186 4549 68442 | 5500 3080 259 | 0.000 % | c | 197157 | 1186 4549 68442 | 6050 3230 259 | 0.000 % | c | 197382 | 1186 4549 68442 | 6655 3455 259 | 0.000 % | c | 197719 | 1186 4549 68442 | 7320 3792 259 | 0.000 % | c | 198225 | 1186 4549 68442 | 8052 4298 259 | 0.000 % | c | 198984 | 1186 4549 68442 | 8857 5057 259 | 0.000 % | c | 200123 | 1186 4549 68442 | 9743 6196 259 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 72.504 s Remaining CPU time: 107.496 s c =============================================================================== c | 200530 | 1186 4550 68845 | 5000 6603 259 | 0.000 % | c | 200630 | 1186 4550 68845 | 5500 3402 258 | 0.000 % | c | 200780 | 1186 4550 68845 | 6050 3552 258 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 72.67 s Remaining CPU time: 107.33 s c =============================================================================== c | 200869 | 1186 4551 69248 | 5000 3641 258 | 0.000 % | c | 200969 | 1186 4551 69248 | 5500 3741 258 | 0.000 % | c | 201119 | 1186 4551 69248 | 6050 3891 257 | 0.000 % | c | 201344 | 1186 4551 69248 | 6655 4116 257 | 0.000 % | c | 201681 | 1186 4551 69248 | 7320 4453 257 | 0.000 % | c | 202187 | 1186 4551 69248 | 8052 4959 257 | 0.000 % | c | 202946 | 1186 4551 69248 | 8857 5718 257 | 0.000 % | c | 204085 | 1186 4551 69248 | 9743 6857 257 | 0.000 % | c | 205793 | 1186 4551 69248 | 10717 8565 257 | 0.000 % | c | 208355 | 1186 4551 69248 | 11789 5624 256 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 75.7955 s Remaining CPU time: 104.205 s c =============================================================================== c | 210559 | 1186 4552 69651 | 5000 7828 256 | 0.000 % | c | 210659 | 1186 4552 69651 | 5500 4014 256 | 0.000 % | c | 210809 | 1186 4552 69651 | 6050 4164 256 | 0.000 % | c | 211034 | 1186 4552 69651 | 6655 4389 256 | 0.000 % | c | 211371 | 1186 4552 69651 | 7320 4726 256 | 0.000 % | c | 211877 | 1186 4552 69651 | 8052 5232 256 | 0.000 % | c | 212636 | 1186 4552 69651 | 8857 5991 256 | 0.000 % | c | 213775 | 1186 4552 69651 | 9743 7130 256 | 0.000 % | c | 215483 | 1186 4552 69651 | 10717 8838 255 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 78.0401 s Remaining CPU time: 101.96 s c =============================================================================== c | 217671 | 1186 4553 70054 | 5000 5518 255 | 0.000 % | c | 217771 | 1186 4553 70054 | 5500 2859 255 | 0.000 % | c | 217921 | 1186 4553 70054 | 6050 3009 255 | 0.000 % | c | 218146 | 1186 4553 70054 | 6655 3234 254 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 78.3391 s Remaining CPU time: 101.661 s c =============================================================================== c | 218465 | 1186 4554 70457 | 5000 3553 254 | 0.000 % | c | 218565 | 1186 4554 70457 | 5500 3653 254 | 0.000 % | c | 218715 | 1186 4554 70457 | 6050 3803 254 | 0.000 % | c | 218941 | 1186 4554 70457 | 6655 4029 254 | 0.000 % | c | 219278 | 1186 4554 70457 | 7320 4366 254 | 0.000 % | c | 219784 | 1186 4554 70457 | 8052 4872 254 | 0.000 % | c | 220543 | 1186 4554 70457 | 8857 5631 254 | 0.000 % | c | 221682 | 1186 4554 70457 | 9743 6770 254 | 0.000 % | c | 223390 | 1186 4554 70457 | 10717 8478 254 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 80.0198 s Remaining CPU time: 99.9802 s c =============================================================================== c | 223397 | 1186 4555 70860 | 5000 8485 254 | 0.000 % | c | 223497 | 1186 4555 70860 | 5500 4343 253 | 0.000 % | c | 223647 | 1186 4555 70860 | 6050 4493 253 | 0.000 % | c | 223873 | 1186 4555 70860 | 6655 4719 253 | 0.000 % | c | 224211 | 1186 4555 70860 | 7320 5057 253 | 0.000 % | c | 224717 | 1186 4555 70860 | 8052 5563 253 | 0.000 % | c | 225477 | 1186 4555 70860 | 8857 6323 253 | 0.000 % | c | 226616 | 1186 4555 70860 | 9743 7462 253 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 81.5766 s Remaining CPU time: 98.4234 s c =============================================================================== c | 227278 | 1186 4556 71263 | 5000 8124 253 | 0.000 % | c | 227378 | 1186 4556 71263 | 5500 4162 252 | 0.000 % | c | 227529 | 1186 4556 71263 | 6050 4313 252 | 0.000 % | c | 227754 | 1186 4556 71263 | 6655 4538 252 | 0.000 % | c | 228091 | 1186 4556 71263 | 7320 4875 252 | 0.000 % | c | 228598 | 1186 4556 71263 | 8052 5382 252 | 0.000 % | c | 229358 | 1186 4556 71263 | 8857 6142 252 | 0.000 % | c | 230497 | 1186 4556 71263 | 9743 7281 252 | 0.000 % | c | 232206 | 1186 4556 71263 | 10717 8990 252 | 0.000 % | c | 234768 | 1186 4556 71263 | 11789 6047 251 | 0.000 % | c | 238612 | 1186 4556 71263 | 12968 9891 251 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 85.798 s Remaining CPU time: 94.202 s c =============================================================================== c | 240719 | 1186 4557 71666 | 5000 11998 251 | 0.000 % | c | 240819 | 1186 4557 71666 | 5500 3100 251 | 0.000 % | c | 240969 | 1186 4557 71666 | 6050 3250 251 | 0.000 % | c | 241194 | 1186 4557 71666 | 6655 3475 250 | 0.000 % | c | 241532 | 1186 4557 71666 | 7320 3813 250 | 0.000 % | c | 242038 | 1186 4557 71666 | 8052 4319 250 | 0.000 % | c | 242797 | 1186 4557 71666 | 8857 5078 250 | 0.000 % | c | 243936 | 1186 4557 71666 | 9743 6217 250 | 0.000 % | c | 245644 | 1186 4557 71666 | 10717 7925 250 | 0.000 % | c | 248206 | 1186 4557 71666 | 11789 10487 250 | 0.000 % | c | 252050 | 1186 4557 71666 | 12968 8288 250 | 0.000 % | c | 257816 | 1186 4557 71666 | 14265 7417 250 | 0.000 % | c | 266465 | 1186 4557 71666 | 15692 8779 250 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 99.9608 s Remaining CPU time: 80.0392 s c =============================================================================== c | 274207 | 1186 4558 72069 | 5000 8521 251 | 0.000 % | c | 274307 | 1186 4558 72069 | 5500 4361 251 | 0.000 % | c | 274457 | 1186 4558 72069 | 6050 4511 251 | 0.000 % | c | 274682 | 1186 4558 72069 | 6655 4736 250 | 0.000 % | c | 275019 | 1186 4558 72069 | 7320 5073 250 | 0.000 % | c | 275525 | 1186 4558 72069 | 8052 5579 250 | 0.000 % | c | 276284 | 1186 4558 72069 | 8857 6338 250 | 0.000 % | c | 277423 | 1186 4558 72069 | 9743 7477 250 | 0.000 % | c | 279131 | 1186 4558 72069 | 10717 9185 250 | 0.000 % | c | 281694 | 1186 4558 72069 | 11789 6247 249 | 0.000 % | c | 285539 | 1186 4558 72069 | 12968 10092 249 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 104.794 s Remaining CPU time: 75.2059 s c =============================================================================== c | 287712 | 1186 4559 72472 | 5000 12265 249 | 0.000 % | c | 287813 | 1186 4559 72472 | 5500 3168 249 | 0.000 % | c | 287963 | 1186 4559 72472 | 6050 3318 249 | 0.000 % | c | 288189 | 1186 4559 72472 | 6655 3544 249 | 0.000 % | c | 288526 | 1186 4559 72472 | 7320 3881 249 | 0.000 % | c | 289032 | 1186 4559 72472 | 8052 4387 248 | 0.000 % | c | 289791 | 1186 4559 72472 | 8857 5146 248 | 0.000 % | c | 290930 | 1186 4559 72472 | 9743 6285 248 | 0.000 % | c | 292638 | 1186 4559 72472 | 10717 7993 248 | 0.000 % | c | 295200 | 1186 4559 72472 | 11789 10555 248 | 0.000 % | c | 299044 | 1186 4559 72472 | 12968 8356 248 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 109.893 s Remaining CPU time: 70.1067 s c =============================================================================== c | 301607 | 1186 4560 72875 | 5000 10919 248 | 0.000 % | c | 301707 | 1186 4560 72875 | 5500 2830 248 | 0.000 % | c | 301857 | 1186 4560 72875 | 6050 2980 248 | 0.000 % | c | 302082 | 1186 4560 72875 | 6655 3205 248 | 0.000 % | c | 302419 | 1186 4560 72875 | 7320 3542 247 | 0.000 % | c | 302925 | 1186 4560 72875 | 8052 4048 247 | 0.000 % | c | 303684 | 1186 4560 72875 | 8857 4807 247 | 0.000 % | c | 304823 | 1186 4560 72875 | 9743 5946 247 | 0.000 % | c | 306531 | 1186 4560 72875 | 10717 7654 247 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 111.996 s Remaining CPU time: 68.004 s c =============================================================================== c | 307821 | 1186 4561 73278 | 5000 8944 247 | 0.000 % | c | 307921 | 1186 4561 73278 | 5500 4572 246 | 0.000 % | c | 308071 | 1186 4561 73278 | 6050 4722 246 | 0.000 % | c | 308296 | 1186 4561 73278 | 6655 4947 246 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 112.348 s Remaining CPU time: 67.6521 s c =============================================================================== c | 308559 | 1186 4562 73681 | 5000 5210 246 | 0.000 % | c | 308659 | 1186 4562 73681 | 5500 2705 246 | 0.000 % | c | 308810 | 1186 4562 73681 | 6050 2856 246 | 0.000 % | c | 309035 | 1186 4562 73681 | 6655 3081 246 | 0.000 % | c | 309372 | 1186 4562 73681 | 7320 3418 246 | 0.000 % | c | 309878 | 1186 4562 73681 | 8052 3924 246 | 0.000 % | c | 310637 | 1186 4562 73681 | 8857 4683 246 | 0.000 % | c | 311776 | 1186 4562 73681 | 9743 5822 246 | 0.000 % | c | 313484 | 1186 4562 73681 | 10717 7530 245 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 114.197 s Remaining CPU time: 65.8034 s c =============================================================================== c | 314019 | 1186 4563 74084 | 5000 8065 245 | 0.000 % | c | 314119 | 1186 4563 74084 | 5500 4133 245 | 0.000 % | c | 314269 | 1186 4563 74084 | 6050 4283 245 | 0.000 % | c | 314494 | 1186 4563 74084 | 6655 4508 245 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 114.542 s Remaining CPU time: 65.4584 s c =============================================================================== c | 314755 | 1186 4564 74487 | 5000 4769 245 | 0.000 % | c | 314856 | 1186 4564 74487 | 5500 4870 245 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 114.645 s Remaining CPU time: 65.3554 s c =============================================================================== c | 314982 | 1186 4565 74890 | 5000 4996 244 | 0.000 % | c | 315082 | 1186 4565 74890 | 5500 5096 244 | 0.000 % | c | 315233 | 1186 4565 74890 | 6050 5247 244 | 0.000 % | c | 315458 | 1186 4565 74890 | 6655 5472 244 | 0.000 % | c | 315795 | 1186 4565 74890 | 7320 5809 244 | 0.000 % | c | 316301 | 1186 4565 74890 | 8052 6315 244 | 0.000 % | c | 317060 | 1186 4565 74890 | 8857 7074 244 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 115.685 s Remaining CPU time: 64.3146 s c =============================================================================== c | 318068 | 1186 4566 75293 | 5000 8082 244 | 0.000 % | c | 318168 | 1186 4566 75293 | 5500 4141 242 | 0.000 % | c | 318318 | 1186 4566 75293 | 6050 4291 242 | 0.000 % | c | 318543 | 1186 4566 75293 | 6655 4516 242 | 0.000 % | c | 318880 | 1186 4566 75293 | 7320 4853 242 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 116.134 s Remaining CPU time: 63.8657 s c =============================================================================== c | 319092 | 1186 4567 75696 | 5000 5065 242 | 0.000 % | c | 319193 | 1186 4567 75696 | 5500 2634 241 | 0.000 % | c | 319343 | 1186 4567 75696 | 6050 2784 241 | 0.000 % | c | 319568 | 1186 4567 75696 | 6655 3009 241 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 116.369 s Remaining CPU time: 63.6307 s c =============================================================================== c | 319589 | 1186 4568 76099 | 5000 3030 241 | 0.000 % | c | 319689 | 1186 4568 76099 | 5500 3130 241 | 0.000 % | c | 319839 | 1186 4568 76099 | 6050 3280 241 | 0.000 % | c | 320065 | 1186 4568 76099 | 6655 3506 240 | 0.000 % | c | 320402 | 1186 4568 76099 | 7320 3843 240 | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 116.736 s Remaining CPU time: 63.2637 s c =============================================================================== c | 320509 | 1186 4569 76502 | 5000 3950 240 | 0.000 % | c | 320610 | 1186 4569 76502 | 5500 4051 240 | 0.000 % | c | 320760 | 1186 4569 76502 | 6050 4201 240 | 0.000 % | c | 320985 | 1186 4569 76502 | 6655 4426 240 | 0.000 % | c | 321322 | 1186 4569 76502 | 7320 4763 240 | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 117.089 s Remaining CPU time: 62.9108 s c =============================================================================== c | 321368 | 1186 4570 76905 | 5000 4809 240 | 0.000 % | c | 321468 | 1186 4570 76905 | 5500 4909 240 | 0.000 % | c | 321618 | 1186 4570 76905 | 6050 5059 240 | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 117.237 s Remaining CPU time: 62.7628 s c =============================================================================== c | 321653 | 1186 4571 77308 | 5000 5094 240 | 0.000 % | c | 321754 | 1186 4571 77308 | 5500 2648 238 | 0.000 % | c | 321904 | 1186 4571 77308 | 6050 2798 237 | 0.000 % | c | 322129 | 1186 4571 77308 | 6655 3023 237 | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 117.513 s Remaining CPU time: 62.4869 s c =============================================================================== c | 322366 | 1186 4572 77711 | 5000 3260 237 | 0.000 % | c | 322466 | 1186 4572 77711 | 5500 3360 237 | 0.000 % | c | 322616 | 1186 4572 77711 | 6050 3510 237 | 0.000 % | c | 322842 | 1186 4572 77711 | 6655 3736 237 | 0.000 % | c | 323179 | 1186 4572 77711 | 7320 4073 237 | 0.000 % | c | 323685 | 1186 4572 77711 | 8052 4579 237 | 0.000 % | c | 324444 | 1186 4572 77711 | 8857 5338 236 | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 118.521 s Remaining CPU time: 61.479 s c =============================================================================== c | 325025 | 1186 4573 78114 | 5000 5919 236 | 0.000 % | c | 325125 | 1186 4573 78114 | 5500 3060 234 | 0.000 % | c | 325275 | 1186 4573 78114 | 6050 3210 234 | 0.000 % | c | 325500 | 1186 4573 78114 | 6655 3435 234 | 0.000 % | c | 325837 | 1186 4573 78114 | 7320 3772 234 | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 119.023 s Remaining CPU time: 60.9771 s c =============================================================================== c | 326339 | 1186 4574 78517 | 5000 4274 234 | 0.000 % | c | 326440 | 1186 4574 78517 | 5500 4375 234 | 0.000 % | c | 326590 | 1186 4574 78517 | 6050 4525 234 | 0.000 % | c | 326815 | 1186 4574 78517 | 6655 4750 234 | 0.000 % | c | 327153 | 1186 4574 78517 | 7320 5088 234 | 0.000 % | c | 327659 | 1186 4574 78517 | 8052 5594 234 | 0.000 % | c | 328418 | 1186 4574 78517 | 8857 6353 234 | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 119.87 s Remaining CPU time: 60.1302 s c =============================================================================== c | 328822 | 1186 4575 78920 | 5000 6757 234 | 0.000 % | c | 328922 | 1186 4575 78920 | 5500 3479 233 | 0.000 % | c | 329072 | 1186 4575 78920 | 6050 3629 233 | 0.000 % | c | 329298 | 1186 4575 78920 | 6655 3855 233 | 0.000 % | c | 329635 | 1186 4575 78920 | 7320 4192 232 | 0.000 % | c | 330141 | 1186 4575 78920 | 8052 4698 232 | 0.000 % | c | 330900 | 1186 4575 78920 | 8857 5457 232 | 0.000 % | c | 332039 | 1186 4575 78920 | 9743 6596 232 | 0.000 % | c | 333747 | 1186 4575 78920 | 10717 8304 232 | 0.000 % | c | 336309 | 1186 4575 78920 | 11789 10866 232 | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 123.867 s Remaining CPU time: 56.1328 s c =============================================================================== c | 339660 | 1186 4576 79323 | 5000 8195 232 | 0.000 % | c | 339760 | 1186 4576 79323 | 5500 4198 232 | 0.000 % | c | 339910 | 1186 4576 79323 | 6050 4348 232 | 0.000 % | c | 340135 | 1186 4576 79323 | 6655 4573 232 | 0.000 % | c | 340472 | 1186 4576 79323 | 7320 4910 232 | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 124.271 s Remaining CPU time: 55.7289 s c =============================================================================== c | 340593 | 1186 4577 79726 | 5000 5031 232 | 0.000 % | c | 340693 | 1186 4577 79726 | 5500 2616 231 | 0.000 % | c | 340843 | 1186 4577 79726 | 6050 2766 231 | 0.000 % | c | 341069 | 1186 4577 79726 | 6655 2992 231 | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 124.492 s Remaining CPU time: 55.5079 s c =============================================================================== c | 341097 | 1186 4578 80129 | 5000 3020 231 | 0.000 % | c | 341197 | 1186 4578 80129 | 5500 3120 231 | 0.000 % | c | 341347 | 1186 4578 80129 | 6050 3270 231 | 0.000 % | c | 341572 | 1186 4578 80129 | 6655 3495 230 | 0.000 % | c | 341910 | 1186 4578 80129 | 7320 3833 230 | 0.000 % | c | 342416 | 1186 4578 80129 | 8052 4339 230 | 0.000 % |