c wbo 1.4 beta - 20100610 c | Number of variables: 800 | c | Number of clauses: 4474 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1182 | c | Number Clauses: 4454 | 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 | 1182 4454 9306 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1182 4455 9708 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1182 4456 10110 | 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 | 1182 4457 10512 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1182 4458 10914 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1182 4459 11316 | 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 | 1182 4460 11718 | 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 | 1182 4461 12120 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1182 4462 12522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1182 4463 12924 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1182 4464 13326 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1182 4465 13728 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 1182 4466 14130 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 1182 4467 14532 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1182 4468 14934 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 1182 4469 15336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 1182 4470 15738 | 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 | 1182 4471 16140 | 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 | 1182 4472 16542 | 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 | 1182 4473 16944 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 1182 4474 17346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 1182 4475 17748 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 1182 4476 18150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 1182 4477 18552 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 1182 4478 18954 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 1182 4479 19356 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 1182 4480 19758 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 1182 4481 20160 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 1182 4482 20562 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 0 | 1182 4483 20964 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 0 | 1182 4484 21366 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 0 | 1182 4485 21768 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 0 | 1182 4486 22170 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 0 | 1182 4487 22572 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 0 | 1182 4488 22974 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 1 | 1182 4489 23376 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 1 | 1182 4490 23778 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 1 | 1182 4491 24180 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 1 | 1182 4492 24582 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 1 | 1182 4493 24984 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 1 | 1182 4494 25386 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 1 | 1182 4495 25788 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 1 | 1182 4496 26190 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 1 | 1182 4497 26592 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 1 | 1182 4498 26994 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 1 | 1182 4499 27396 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 1 | 1182 4500 27798 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 1 | 1182 4501 28200 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.123981 s Remaining CPU time: 179.876 s c =============================================================================== c | 1 | 1182 4502 28602 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 1 | 1182 4503 29004 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 1 | 1182 4504 29406 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 2 | 1182 4505 29808 | 5000 2 360 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 2 | 1182 4506 30210 | 5000 2 360 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s c =============================================================================== c | 2 | 1182 4507 30612 | 5000 2 360 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s c =============================================================================== c | 2 | 1182 4508 31014 | 5000 2 360 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 2 | 1182 4509 31416 | 5000 2 360 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 2 | 1182 4510 31818 | 5000 2 360 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 2 | 1182 4511 32220 | 5000 2 360 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.164974 s Remaining CPU time: 179.835 s c =============================================================================== c | 2 | 1182 4512 32622 | 5000 2 360 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s c =============================================================================== c | 2 | 1182 4513 33024 | 5000 2 360 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 3 | 1182 4514 33426 | 5000 3 355 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.176973 s Remaining CPU time: 179.823 s c =============================================================================== c | 3 | 1182 4515 33828 | 5000 3 355 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.182972 s Remaining CPU time: 179.817 s c =============================================================================== c | 3 | 1182 4516 34230 | 5000 3 355 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.187971 s Remaining CPU time: 179.812 s c =============================================================================== c | 3 | 1182 4517 34632 | 5000 3 355 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.19297 s Remaining CPU time: 179.807 s c =============================================================================== c | 3 | 1182 4518 35034 | 5000 3 355 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s c =============================================================================== c | 3 | 1182 4519 35436 | 5000 3 355 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.203968 s Remaining CPU time: 179.796 s c =============================================================================== c | 3 | 1182 4520 35838 | 5000 3 355 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s c =============================================================================== c | 4 | 1182 4521 36240 | 5000 4 350 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.214967 s Remaining CPU time: 179.785 s c =============================================================================== c | 4 | 1182 4522 36642 | 5000 4 350 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.219966 s Remaining CPU time: 179.78 s c =============================================================================== c | 4 | 1182 4523 37044 | 5000 4 350 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.224965 s Remaining CPU time: 179.775 s c =============================================================================== c | 4 | 1182 4524 37446 | 5000 4 350 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s c =============================================================================== c | 7 | 1182 4525 37848 | 5000 7 343 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.236963 s Remaining CPU time: 179.763 s c =============================================================================== c | 7 | 1182 4526 38250 | 5000 7 343 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.242963 s Remaining CPU time: 179.757 s c =============================================================================== c | 8 | 1182 4527 38652 | 5000 8 342 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s c =============================================================================== c | 11 | 1182 4528 39054 | 5000 11 338 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.252961 s Remaining CPU time: 179.747 s c =============================================================================== c | 11 | 1182 4529 39456 | 5000 11 338 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.25696 s Remaining CPU time: 179.743 s c =============================================================================== c | 11 | 1182 4530 39858 | 5000 11 338 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.26296 s Remaining CPU time: 179.737 s c =============================================================================== c | 11 | 1182 4531 40260 | 5000 11 338 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.268959 s Remaining CPU time: 179.731 s c =============================================================================== c | 11 | 1182 4532 40662 | 5000 11 338 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s c =============================================================================== c | 11 | 1182 4533 41064 | 5000 11 338 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.277957 s Remaining CPU time: 179.722 s c =============================================================================== c | 11 | 1182 4534 41466 | 5000 11 338 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.283956 s Remaining CPU time: 179.716 s c =============================================================================== c | 11 | 1182 4535 41868 | 5000 11 338 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s c =============================================================================== c | 11 | 1182 4536 42270 | 5000 11 338 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.294955 s Remaining CPU time: 179.705 s c =============================================================================== c | 17 | 1182 4537 42672 | 5000 17 332 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s c =============================================================================== c | 17 | 1182 4538 43074 | 5000 17 332 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.304953 s Remaining CPU time: 179.695 s c =============================================================================== c | 17 | 1182 4539 43476 | 5000 17 332 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s c =============================================================================== c | 24 | 1182 4540 43878 | 5000 24 328 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.318951 s Remaining CPU time: 179.681 s c =============================================================================== c | 25 | 1182 4541 44280 | 5000 25 328 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s c =============================================================================== c | 26 | 1182 4542 44682 | 5000 26 327 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.330949 s Remaining CPU time: 179.669 s c =============================================================================== c | 28 | 1182 4543 45084 | 5000 28 326 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.336948 s Remaining CPU time: 179.663 s c =============================================================================== c | 31 | 1182 4544 45486 | 5000 31 325 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.342947 s Remaining CPU time: 179.657 s c =============================================================================== c | 33 | 1182 4545 45888 | 5000 33 324 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.349946 s Remaining CPU time: 179.65 s c =============================================================================== c | 35 | 1182 4546 46290 | 5000 35 323 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.357945 s Remaining CPU time: 179.642 s c =============================================================================== c | 48 | 1182 4547 46692 | 5000 48 320 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.365944 s Remaining CPU time: 179.634 s c =============================================================================== c | 55 | 1182 4548 47094 | 5000 55 319 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.374943 s Remaining CPU time: 179.625 s c =============================================================================== c | 56 | 1182 4549 47496 | 5000 56 319 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.380942 s Remaining CPU time: 179.619 s c =============================================================================== c | 57 | 1182 4550 47898 | 5000 57 318 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.38994 s Remaining CPU time: 179.61 s c =============================================================================== c | 60 | 1182 4551 48300 | 5000 60 318 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.399939 s Remaining CPU time: 179.6 s c =============================================================================== c | 85 | 1182 4552 48702 | 5000 85 314 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.408937 s Remaining CPU time: 179.591 s c =============================================================================== c | 88 | 1182 4553 49104 | 5000 88 314 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.415936 s Remaining CPU time: 179.584 s c =============================================================================== c | 90 | 1182 4554 49506 | 5000 90 314 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.424935 s Remaining CPU time: 179.575 s c =============================================================================== c | 94 | 1182 4555 49908 | 5000 94 313 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.435933 s Remaining CPU time: 179.564 s c =============================================================================== c | 114 | 1182 4556 50310 | 5000 114 309 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.444932 s Remaining CPU time: 179.555 s c =============================================================================== c | 116 | 1182 4557 50712 | 5000 116 309 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.452931 s Remaining CPU time: 179.547 s c =============================================================================== c | 122 | 1182 4558 51114 | 5000 122 308 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.463929 s Remaining CPU time: 179.536 s c =============================================================================== c | 135 | 1182 4559 51516 | 5000 135 307 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.474927 s Remaining CPU time: 179.525 s c =============================================================================== c | 145 | 1182 4560 51918 | 5000 145 306 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.484926 s Remaining CPU time: 179.515 s c =============================================================================== c | 155 | 1182 4561 52320 | 5000 155 306 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.493924 s Remaining CPU time: 179.506 s c =============================================================================== c | 164 | 1182 4562 52722 | 5000 164 305 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.515921 s Remaining CPU time: 179.484 s c =============================================================================== c | 233 | 1182 4563 53124 | 5000 233 301 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.533918 s Remaining CPU time: 179.466 s c =============================================================================== c | 286 | 1182 4564 53526 | 5000 286 300 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.540917 s Remaining CPU time: 179.459 s c =============================================================================== c | 286 | 1182 4565 53928 | 5000 286 300 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.550916 s Remaining CPU time: 179.449 s c =============================================================================== c | 293 | 1182 4566 54330 | 5000 293 300 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.565913 s Remaining CPU time: 179.434 s c =============================================================================== c | 321 | 1182 4567 54732 | 5000 321 299 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.578911 s Remaining CPU time: 179.421 s c =============================================================================== c | 339 | 1182 4568 55134 | 5000 339 298 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 0.595909 s Remaining CPU time: 179.404 s c =============================================================================== c | 372 | 1182 4569 55536 | 5000 372 298 | 0.000 % | c | 472 | 1182 4569 55536 | 5500 472 296 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 0.640902 s Remaining CPU time: 179.359 s c =============================================================================== c | 494 | 1182 4570 55938 | 5000 494 295 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 0.6529 s Remaining CPU time: 179.347 s c =============================================================================== c | 510 | 1182 4571 56340 | 5000 510 295 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 0.667898 s Remaining CPU time: 179.332 s c =============================================================================== c | 530 | 1182 4572 56742 | 5000 530 295 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 0.692894 s Remaining CPU time: 179.307 s c =============================================================================== c | 594 | 1182 4573 57144 | 5000 594 294 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 0.708892 s Remaining CPU time: 179.291 s c =============================================================================== c | 621 | 1182 4574 57546 | 5000 621 293 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 0.727889 s Remaining CPU time: 179.272 s c =============================================================================== c | 656 | 1182 4575 57948 | 5000 656 292 | 0.000 % | c | 756 | 1182 4575 57948 | 5500 756 291 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 0.816875 s Remaining CPU time: 179.183 s c =============================================================================== c | 887 | 1182 4576 58350 | 5000 887 290 | 0.000 % | c | 988 | 1182 4576 58350 | 5500 988 289 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 0.878866 s Remaining CPU time: 179.121 s c =============================================================================== c | 1028 | 1182 4577 58752 | 5000 1028 288 | 0.000 % | c | 1128 | 1182 4577 58752 | 5500 1128 288 | 0.000 % | c | 1278 | 1182 4577 58752 | 6050 1278 287 | 0.000 % | c | 1503 | 1182 4577 58752 | 6655 1503 286 | 0.000 % | c | 1840 | 1182 4577 58752 | 7320 1840 285 | 0.000 % | c | 2347 | 1182 4577 58752 | 8052 2347 284 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 1.58376 s Remaining CPU time: 178.416 s c =============================================================================== c | 3056 | 1182 4578 59154 | 5000 3056 283 | 0.000 % | c | 3156 | 1182 4578 59154 | 5500 3156 283 | 0.000 % | c | 3306 | 1182 4578 59154 | 6050 3306 283 | 0.000 % | c | 3531 | 1182 4578 59154 | 6655 3531 283 | 0.000 % | c | 3868 | 1182 4578 59154 | 7320 3868 282 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 2.16467 s Remaining CPU time: 177.835 s c =============================================================================== c | 4358 | 1182 4579 59556 | 5000 4358 282 | 0.000 % | c | 4458 | 1182 4579 59556 | 5500 4458 282 | 0.000 % | c | 4611 | 1182 4579 59556 | 6050 4611 282 | 0.000 % | c | 4836 | 1182 4579 59556 | 6655 4836 282 | 0.000 % | c | 5174 | 1182 4579 59556 | 7320 5174 281 | 0.000 % | c | 5680 | 1182 4579 59556 | 8052 5680 281 | 0.000 % | c | 6439 | 1182 4579 59556 | 8857 6439 281 | 0.000 % | c | 7578 | 1182 4579 59556 | 9743 7578 280 | 0.000 % | c | 9286 | 1182 4579 59556 | 10717 9286 280 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 4.83427 s Remaining CPU time: 175.166 s c =============================================================================== c | 10947 | 1182 4580 59958 | 5000 10947 280 | 0.000 % | c | 11047 | 1182 4580 59958 | 5500 2837 278 | 0.000 % | c | 11197 | 1182 4580 59958 | 6050 2987 278 | 0.000 % | c | 11423 | 1182 4580 59958 | 6655 3213 278 | 0.000 % | c | 11760 | 1182 4580 59958 | 7320 3550 278 | 0.000 % | c | 12268 | 1182 4580 59958 | 8052 4058 278 | 0.000 % | c | 13027 | 1182 4580 59958 | 8857 4817 278 | 0.000 % | c | 14166 | 1182 4580 59958 | 9743 5956 278 | 0.000 % | c | 15875 | 1182 4580 59958 | 10717 7665 278 | 0.000 % | c | 18437 | 1182 4580 59958 | 11789 10227 278 | 0.000 % | c | 22281 | 1182 4580 59958 | 12968 8027 278 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 9.67353 s Remaining CPU time: 170.326 s c =============================================================================== c | 22997 | 1182 4581 60360 | 5000 8743 278 | 0.000 % | c | 23097 | 1182 4581 60360 | 5500 4472 277 | 0.000 % | c | 23247 | 1182 4581 60360 | 6050 4622 277 | 0.000 % | c | 23473 | 1182 4581 60360 | 6655 4848 277 | 0.000 % | c | 23811 | 1182 4581 60360 | 7320 5186 277 | 0.000 % | c | 24318 | 1182 4581 60360 | 8052 5693 277 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 10.4054 s Remaining CPU time: 169.595 s c =============================================================================== c | 24953 | 1182 4582 60762 | 5000 6328 277 | 0.000 % | c | 25054 | 1182 4582 60762 | 5500 3265 276 | 0.000 % | c | 25204 | 1182 4582 60762 | 6050 3415 276 | 0.000 % | c | 25430 | 1182 4582 60762 | 6655 3641 276 | 0.000 % | c | 25767 | 1182 4582 60762 | 7320 3978 276 | 0.000 % | c | 26273 | 1182 4582 60762 | 8052 4484 276 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 10.9873 s Remaining CPU time: 169.013 s c =============================================================================== c | 26425 | 1182 4583 61164 | 5000 4636 276 | 0.000 % | c | 26526 | 1182 4583 61164 | 5500 4737 276 | 0.000 % | c | 26676 | 1182 4583 61164 | 6050 4887 276 | 0.000 % | c | 26901 | 1182 4583 61164 | 6655 5112 276 | 0.000 % | c | 27239 | 1182 4583 61164 | 7320 5450 276 | 0.000 % | c | 27746 | 1182 4583 61164 | 8052 5957 276 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 11.5692 s Remaining CPU time: 168.431 s c =============================================================================== c | 28124 | 1182 4584 61566 | 5000 6335 276 | 0.000 % | c | 28224 | 1182 4584 61566 | 5500 3268 274 | 0.000 % | c | 28375 | 1182 4584 61566 | 6050 3419 274 | 0.000 % | c | 28600 | 1182 4584 61566 | 6655 3644 274 | 0.000 % | c | 28937 | 1182 4584 61566 | 7320 3981 274 | 0.000 % | c | 29444 | 1182 4584 61566 | 8052 4488 274 | 0.000 % | c | 30203 | 1182 4584 61566 | 8857 5247 274 | 0.000 % | c | 31343 | 1182 4584 61566 | 9743 6387 274 | 0.000 % | c | 33051 | 1182 4584 61566 | 10717 8095 274 | 0.000 % | c | 35613 | 1182 4584 61566 | 11789 10657 274 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 14.7558 s Remaining CPU time: 165.244 s c =============================================================================== c | 37562 | 1182 4585 61968 | 5000 6542 273 | 0.000 % | c | 37663 | 1182 4585 61968 | 5500 3372 273 | 0.000 % | c | 37813 | 1182 4585 61968 | 6050 3522 273 | 0.000 % | c | 38039 | 1182 4585 61968 | 6655 3748 273 | 0.000 % | c | 38376 | 1182 4585 61968 | 7320 4085 273 | 0.000 % | c | 38882 | 1182 4585 61968 | 8052 4591 273 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 15.4656 s Remaining CPU time: 164.534 s c =============================================================================== c | 39560 | 1182 4586 62370 | 5000 5269 273 | 0.000 % | c | 39661 | 1182 4586 62370 | 5500 2736 272 | 0.000 % | c | 39812 | 1182 4586 62370 | 6050 2887 272 | 0.000 % | c | 40037 | 1182 4586 62370 | 6655 3112 272 | 0.000 % | c | 40374 | 1182 4586 62370 | 7320 3449 272 | 0.000 % | c | 40881 | 1182 4586 62370 | 8052 3956 272 | 0.000 % | c | 41640 | 1182 4586 62370 | 8857 4715 272 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 16.1076 s Remaining CPU time: 163.892 s c =============================================================================== c | 41686 | 1182 4587 62772 | 5000 4761 272 | 0.000 % | c | 41786 | 1182 4587 62772 | 5500 4861 272 | 0.000 % | c | 41936 | 1182 4587 62772 | 6050 5011 272 | 0.000 % | c | 42161 | 1182 4587 62772 | 6655 5236 272 | 0.000 % | c | 42498 | 1182 4587 62772 | 7320 5573 272 | 0.000 % | c | 43004 | 1182 4587 62772 | 8052 6079 272 | 0.000 % | c | 43763 | 1182 4587 62772 | 8857 6838 271 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 17.0884 s Remaining CPU time: 162.912 s c =============================================================================== c | 44748 | 1182 4588 63174 | 5000 7823 271 | 0.000 % | c | 44848 | 1182 4588 63174 | 5500 4012 270 | 0.000 % | c | 44998 | 1182 4588 63174 | 6050 4162 270 | 0.000 % | c | 45223 | 1182 4588 63174 | 6655 4387 270 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 17.3004 s Remaining CPU time: 162.7 s c =============================================================================== c | 45277 | 1182 4589 63576 | 5000 4441 270 | 0.000 % | c | 45377 | 1182 4589 63576 | 5500 4541 270 | 0.000 % | c | 45527 | 1182 4589 63576 | 6050 4691 270 | 0.000 % | c | 45752 | 1182 4589 63576 | 6655 4916 270 | 0.000 % | c | 46089 | 1182 4589 63576 | 7320 5253 270 | 0.000 % | c | 46595 | 1182 4589 63576 | 8052 5759 270 | 0.000 % | c | 47354 | 1182 4589 63576 | 8857 6518 270 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 18.3522 s Remaining CPU time: 161.648 s c =============================================================================== c | 48449 | 1182 4590 63978 | 5000 7613 270 | 0.000 % | c | 48549 | 1182 4590 63978 | 5500 3907 268 | 0.000 % | c | 48699 | 1182 4590 63978 | 6050 4057 268 | 0.000 % | c | 48924 | 1182 4590 63978 | 6655 4282 268 | 0.000 % | c | 49261 | 1182 4590 63978 | 7320 4619 268 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 18.7891 s Remaining CPU time: 161.211 s c =============================================================================== c | 49524 | 1182 4591 64380 | 5000 4882 268 | 0.000 % | c | 49624 | 1182 4591 64380 | 5500 4982 268 | 0.000 % | c | 49774 | 1182 4591 64380 | 6050 5132 268 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 18.9151 s Remaining CPU time: 161.085 s c =============================================================================== c | 49841 | 1182 4592 64782 | 5000 5199 268 | 0.000 % | c | 49942 | 1182 4592 64782 | 5500 2701 267 | 0.000 % | c | 50092 | 1182 4592 64782 | 6050 2851 267 | 0.000 % | c | 50317 | 1182 4592 64782 | 6655 3076 267 | 0.000 % | c | 50654 | 1182 4592 64782 | 7320 3413 267 | 0.000 % | c | 51160 | 1182 4592 64782 | 8052 3919 267 | 0.000 % | c | 51919 | 1182 4592 64782 | 8857 4678 267 | 0.000 % | c | 53058 | 1182 4592 64782 | 9743 5817 267 | 0.000 % | c | 54766 | 1182 4592 64782 | 10717 7525 266 | 0.000 % | c | 57328 | 1182 4592 64782 | 11789 10087 266 | 0.000 % | c | 61172 | 1182 4592 64782 | 12968 7875 266 | 0.000 % | c | 66939 | 1182 4592 64782 | 14265 7001 266 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 27.5618 s Remaining CPU time: 152.438 s c =============================================================================== c | 73021 | 1182 4593 65184 | 5000 13083 266 | 0.000 % | c | 73121 | 1182 4593 65184 | 5500 3371 266 | 0.000 % | c | 73271 | 1182 4593 65184 | 6050 3521 266 | 0.000 % | c | 73496 | 1182 4593 65184 | 6655 3746 266 | 0.000 % | c | 73834 | 1182 4593 65184 | 7320 4084 266 | 0.000 % | c | 74341 | 1182 4593 65184 | 8052 4591 265 | 0.000 % | c | 75100 | 1182 4593 65184 | 8857 5350 265 | 0.000 % | c | 76239 | 1182 4593 65184 | 9743 6489 265 | 0.000 % | c | 77950 | 1182 4593 65184 | 10717 8200 265 | 0.000 % | c | 80512 | 1182 4593 65184 | 11789 10762 265 | 0.000 % | c | 84357 | 1182 4593 65184 | 12968 8553 265 | 0.000 % | c | 90123 | 1182 4593 65184 | 14265 7664 265 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 35.1887 s Remaining CPU time: 144.811 s c =============================================================================== c | 91689 | 1182 4594 65586 | 5000 9230 265 | 0.000 % | c | 91789 | 1182 4594 65586 | 5500 4715 265 | 0.000 % | c | 91939 | 1182 4594 65586 | 6050 4865 265 | 0.000 % | c | 92164 | 1182 4594 65586 | 6655 5090 264 | 0.000 % | c | 92501 | 1182 4594 65586 | 7320 5427 264 | 0.000 % | c | 93007 | 1182 4594 65586 | 8052 5933 264 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 35.7686 s Remaining CPU time: 144.231 s c =============================================================================== c | 93207 | 1182 4595 65988 | 5000 6133 264 | 0.000 % | c | 93308 | 1182 4595 65988 | 5500 3168 264 | 0.000 % | c | 93458 | 1182 4595 65988 | 6050 3318 264 | 0.000 % | c | 93683 | 1182 4595 65988 | 6655 3543 264 | 0.000 % | c | 94020 | 1182 4595 65988 | 7320 3880 263 | 0.000 % | c | 94526 | 1182 4595 65988 | 8052 4386 263 | 0.000 % | c | 95285 | 1182 4595 65988 | 8857 5145 263 | 0.000 % | c | 96424 | 1182 4595 65988 | 9743 6284 263 | 0.000 % | c | 98132 | 1182 4595 65988 | 10717 7992 263 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 37.5933 s Remaining CPU time: 142.407 s c =============================================================================== c | 99524 | 1182 4596 66390 | 5000 9384 263 | 0.000 % | c | 99624 | 1182 4596 66390 | 5500 4792 263 | 0.000 % | c | 99774 | 1182 4596 66390 | 6050 4942 263 | 0.000 % | c | 99999 | 1182 4596 66390 | 6655 5167 263 | 0.000 % | c | 100336 | 1182 4596 66390 | 7320 5504 263 | 0.000 % | c | 100843 | 1182 4596 66390 | 8052 6011 262 | 0.000 % | c | 101603 | 1182 4596 66390 | 8857 6771 262 | 0.000 % | c | 102742 | 1182 4596 66390 | 9743 7910 262 | 0.000 % | c | 104450 | 1182 4596 66390 | 10717 9618 262 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 39.626 s Remaining CPU time: 140.374 s c =============================================================================== c | 105596 | 1182 4597 66792 | 5000 10764 262 | 0.000 % | c | 105696 | 1182 4597 66792 | 5500 2791 262 | 0.000 % | c | 105847 | 1182 4597 66792 | 6050 2942 262 | 0.000 % | c | 106072 | 1182 4597 66792 | 6655 3167 262 | 0.000 % | c | 106409 | 1182 4597 66792 | 7320 3504 262 | 0.000 % | c | 106915 | 1182 4597 66792 | 8052 4010 261 | 0.000 % | c | 107674 | 1182 4597 66792 | 8857 4769 261 | 0.000 % | c | 108813 | 1182 4597 66792 | 9743 5908 261 | 0.000 % | c | 110521 | 1182 4597 66792 | 10717 7616 261 | 0.000 % | c | 113083 | 1182 4597 66792 | 11789 10178 261 | 0.000 % | c | 116927 | 1182 4597 66792 | 12968 7979 261 | 0.000 % | c | 122693 | 1182 4597 66792 | 14265 7106 261 | 0.000 % | c | 131342 | 1182 4597 66792 | 15692 8430 261 | 0.000 % | c | 144316 | 1182 4597 66792 | 17261 13386 261 | 0.000 % | c | 163777 | 1182 4597 66792 | 18987 15287 261 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 64.3822 s Remaining CPU time: 115.618 s c =============================================================================== c | 168013 | 1182 4598 67194 | 5000 9864 261 | 0.000 % | c | 168113 | 1182 4598 67194 | 5500 5032 261 | 0.000 % | c | 168263 | 1182 4598 67194 | 6050 5182 261 | 0.000 % | c | 168489 | 1182 4598 67194 | 6655 5408 261 | 0.000 % | c | 168826 | 1182 4598 67194 | 7320 5745 261 | 0.000 % | c | 169332 | 1182 4598 67194 | 8052 6251 261 | 0.000 % | c | 170091 | 1182 4598 67194 | 8857 7010 261 | 0.000 % | c | 171230 | 1182 4598 67194 | 9743 8149 261 | 0.000 % | c | 172938 | 1182 4598 67194 | 10717 9857 261 | 0.000 % | c | 175500 | 1182 4598 67194 | 11789 6913 260 | 0.000 % | c | 179346 | 1182 4598 67194 | 12968 10759 260 | 0.000 % | c | 185112 | 1182 4598 67194 | 14265 9887 260 | 0.000 % | c | 193762 | 1182 4598 67194 | 15692 11260 260 | 0.000 % | c | 206737 | 1182 4598 67194 | 17261 8267 260 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 86.2619 s Remaining CPU time: 93.7381 s c =============================================================================== c | 222938 | 1182 4599 67596 | 5000 15676 260 | 0.000 % | c | 223039 | 1182 4599 67596 | 5500 4020 260 | 0.000 % | c | 223189 | 1182 4599 67596 | 6050 4170 260 | 0.000 % | c | 223414 | 1182 4599 67596 | 6655 4395 260 | 0.000 % | c | 223751 | 1182 4599 67596 | 7320 4732 260 | 0.000 % | c | 224257 | 1182 4599 67596 | 8052 5238 260 | 0.000 % | c | 225017 | 1182 4599 67596 | 8857 5998 260 | 0.000 % | c | 226156 | 1182 4599 67596 | 9743 7137 260 | 0.000 % | c | 227864 | 1182 4599 67596 | 10717 8845 260 | 0.000 % | c | 230426 | 1182 4599 67596 | 11789 5908 259 | 0.000 % | c | 234270 | 1182 4599 67596 | 12968 9752 259 | 0.000 % | c | 240036 | 1182 4599 67596 | 14265 8890 259 | 0.000 % | c | 248685 | 1182 4599 67596 | 15692 10273 259 | 0.000 % | c | 261659 | 1182 4599 67596 | 17261 15247 260 | 0.000 % | c | 281120 | 1182 4599 67596 | 18987 17137 260 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 120.153 s Remaining CPU time: 59.8473 s c =============================================================================== c | 302916 | 1182 4600 67998 | 5000 9991 260 | 0.000 % | c | 303016 | 1182 4600 67998 | 5500 5096 260 | 0.000 % | c | 303166 | 1182 4600 67998 | 6050 5246 259 | 0.000 % | c | 303391 | 1182 4600 67998 | 6655 5471 259 | 0.000 % | c | 303728 | 1182 4600 67998 | 7320 5808 259 | 0.000 % | c | 304234 | 1182 4600 67998 | 8052 6314 259 | 0.000 % | c | 304994 | 1182 4600 67998 | 8857 7074 259 | 0.000 % | c | 306133 | 1182 4600 67998 | 9743 8213 259 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 121.542 s Remaining CPU time: 58.4585 s c =============================================================================== c | 306299 | 1182 4601 68400 | 5000 8379 259 | 0.000 % | c | 306399 | 1182 4601 68400 | 5500 4290 258 | 0.000 % | c | 306549 | 1182 4601 68400 | 6050 4440 258 | 0.000 % | c | 306775 | 1182 4601 68400 | 6655 4666 258 | 0.000 % | c | 307112 | 1182 4601 68400 | 7320 5003 258 | 0.000 % | c | 307618 | 1182 4601 68400 | 8052 5509 258 | 0.000 % | c | 308377 | 1182 4601 68400 | 8857 6268 258 | 0.000 % | c | 309516 | 1182 4601 68400 | 9743 7407 258 | 0.000 % | c | 311224 | 1182 4601 68400 | 10717 9115 258 | 0.000 % | c | 313786 | 1182 4601 68400 | 11789 6166 257 | 0.000 % | c | 317630 | 1182 4601 68400 | 12968 10010 258 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 125.863 s Remaining CPU time: 54.1371 s c =============================================================================== c | 318268 | 1182 4602 68802 | 5000 10648 258 | 0.000 % | c | 318368 | 1182 4602 68802 | 5500 2762 257 | 0.000 % | c | 318518 | 1182 4602 68802 | 6050 2912 257 | 0.000 % | c | 318743 | 1182 4602 68802 | 6655 3137 257 | 0.000 % | c | 319080 | 1182 4602 68802 | 7320 3474 257 | 0.000 % | c | 319586 | 1182 4602 68802 | 8052 3980 257 | 0.000 % | c | 320345 | 1182 4602 68802 | 8857 4739 257 | 0.000 % | c | 321485 | 1182 4602 68802 | 9743 5879 257 | 0.000 % | c | 323193 | 1182 4602 68802 | 10717 7587 257 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 128.651 s Remaining CPU time: 51.3486 s c =============================================================================== c | 324941 | 1182 4603 69204 | 5000 9335 257 | 0.000 % | c | 325041 | 1182 4603 69204 | 5500 4768 256 | 0.000 % | c | 325191 | 1182 4603 69204 | 6050 4918 256 | 0.000 % | c | 325416 | 1182 4603 69204 | 6655 5143 256 | 0.000 % | c | 325753 | 1182 4603 69204 | 7320 5480 256 | 0.000 % | c | 326259 | 1182 4603 69204 | 8052 5986 256 | 0.000 % | c | 327019 | 1182 4603 69204 | 8857 6746 256 | 0.000 % | c | 328159 | 1182 4603 69204 | 9743 7886 256 | 0.000 % | c | 329868 | 1182 4603 69204 | 10717 9595 256 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 131.381 s Remaining CPU time: 48.619 s c =============================================================================== c | 332118 | 1182 4604 69606 | 5000 6346 255 | 0.000 % | c | 332218 | 1182 4604 69606 | 5500 3273 255 | 0.000 % | c | 332368 | 1182 4604 69606 | 6050 3423 255 | 0.000 % | c | 332593 | 1182 4604 69606 | 6655 3648 255 | 0.000 % | c | 332930 | 1182 4604 69606 | 7320 3985 254 | 0.000 % | c | 333436 | 1182 4604 69606 | 8052 4491 254 | 0.000 % | c | 334195 | 1182 4604 69606 | 8857 5250 254 | 0.000 % | c | 335334 | 1182 4604 69606 | 9743 6389 254 | 0.000 % | c | 337042 | 1182 4604 69606 | 10717 8097 254 | 0.000 % | c | 339604 | 1182 4604 69606 | 11789 10659 254 | 0.000 % |