c wbo 1.4 beta - 20100610 c | Number of variables: 100 | c | Number of clauses: 500 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 500 | c | Number Clauses: 500 | 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 | 500 500 1900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 1 | 500 501 2300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 1 | 500 502 2700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 1 | 500 503 3100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 1 | 500 504 3500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 1 | 500 505 3900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 1 | 500 506 4300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 1 | 500 507 4700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 1 | 500 508 5100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 1 | 500 509 5500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 1 | 500 510 5900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 1 | 500 511 6300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 2 | 500 512 6700 | 5000 2 198 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 2 | 500 513 7100 | 5000 2 198 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 2 | 500 514 7500 | 5000 2 198 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 2 | 500 515 7900 | 5000 2 198 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 2 | 500 516 8300 | 5000 2 198 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 2 | 500 517 8700 | 5000 2 198 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 2 | 500 518 9100 | 5000 2 198 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 2 | 500 519 9500 | 5000 2 198 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 2 | 500 520 9900 | 5000 2 198 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 2 | 500 521 10300 | 5000 2 198 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 2 | 500 522 10700 | 5000 2 198 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 2 | 500 523 11100 | 5000 2 198 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 2 | 500 524 11500 | 5000 2 198 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 2 | 500 525 11900 | 5000 2 198 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 2 | 500 526 12300 | 5000 2 198 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 2 | 500 527 12700 | 5000 2 198 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 2 | 500 528 13100 | 5000 2 198 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 2 | 500 529 13500 | 5000 2 198 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 3 | 500 530 13900 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 3 | 500 531 14300 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 3 | 500 532 14700 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 3 | 500 533 15100 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 3 | 500 534 15500 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 3 | 500 535 15900 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 3 | 500 536 16300 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 3 | 500 537 16700 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 3 | 500 538 17100 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 3 | 500 539 17500 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 3 | 500 540 17900 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 3 | 500 541 18300 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 3 | 500 542 18700 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 3 | 500 543 19100 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 3 | 500 544 19500 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 3 | 500 545 19900 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 3 | 500 546 20300 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 3 | 500 547 20700 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 3 | 500 548 21100 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 3 | 500 549 21500 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 3 | 500 550 21900 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 3 | 500 551 22300 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 3 | 500 552 22700 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 3 | 500 553 23100 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 3 | 500 554 23500 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 3 | 500 555 23900 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 3 | 500 556 24300 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 3 | 500 557 24700 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 3 | 500 558 25100 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 3 | 500 559 25500 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 3 | 500 560 25900 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.137979 s Remaining CPU time: 179.862 s c =============================================================================== c | 3 | 500 561 26300 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 3 | 500 562 26700 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 3 | 500 563 27100 | 5000 3 134 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 4 | 500 564 27500 | 5000 4 102 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s c =============================================================================== c | 4 | 500 565 27900 | 5000 4 102 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s c =============================================================================== c | 4 | 500 566 28300 | 5000 4 102 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s c =============================================================================== c | 4 | 500 567 28700 | 5000 4 102 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s c =============================================================================== c | 4 | 500 568 29100 | 5000 4 102 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.172973 s Remaining CPU time: 179.827 s c =============================================================================== c | 4 | 500 569 29500 | 5000 4 102 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.176973 s Remaining CPU time: 179.823 s c =============================================================================== c | 4 | 500 570 29900 | 5000 4 102 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 4 | 500 571 30300 | 5000 4 102 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.185971 s Remaining CPU time: 179.814 s c =============================================================================== c | 4 | 500 572 30700 | 5000 4 102 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.19197 s Remaining CPU time: 179.808 s c =============================================================================== c | 4 | 500 573 31100 | 5000 4 102 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.19697 s Remaining CPU time: 179.803 s c =============================================================================== c | 4 | 500 574 31500 | 5000 4 102 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.200969 s Remaining CPU time: 179.799 s c =============================================================================== c | 4 | 500 575 31900 | 5000 4 102 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 4 | 500 576 32300 | 5000 4 102 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s c =============================================================================== c | 4 | 500 577 32700 | 5000 4 102 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.215967 s Remaining CPU time: 179.784 s c =============================================================================== c | 4 | 500 578 33100 | 5000 4 102 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s c =============================================================================== c | 5 | 500 579 33500 | 5000 5 82 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 5 | 500 580 33900 | 5000 5 82 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.232964 s Remaining CPU time: 179.767 s c =============================================================================== c | 5 | 500 581 34300 | 5000 5 82 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.238963 s Remaining CPU time: 179.761 s c =============================================================================== c | 5 | 500 582 34700 | 5000 5 82 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.244962 s Remaining CPU time: 179.755 s c =============================================================================== c | 5 | 500 583 35100 | 5000 5 82 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.249962 s Remaining CPU time: 179.75 s c =============================================================================== c | 5 | 500 584 35500 | 5000 5 82 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.254961 s Remaining CPU time: 179.745 s c =============================================================================== c | 5 | 500 585 35900 | 5000 5 82 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.25996 s Remaining CPU time: 179.74 s c =============================================================================== c | 5 | 500 586 36300 | 5000 5 82 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.264959 s Remaining CPU time: 179.735 s c =============================================================================== c | 6 | 500 587 36700 | 5000 6 70 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.269958 s Remaining CPU time: 179.73 s c =============================================================================== c | 6 | 500 588 37100 | 5000 6 70 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.276957 s Remaining CPU time: 179.723 s c =============================================================================== c | 9 | 500 589 37500 | 5000 9 152 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s c =============================================================================== c | 9 | 500 590 37900 | 5000 9 152 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.287956 s Remaining CPU time: 179.712 s c =============================================================================== c | 9 | 500 591 38300 | 5000 9 152 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.293955 s Remaining CPU time: 179.706 s c =============================================================================== c | 9 | 500 592 38700 | 5000 9 152 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s c =============================================================================== c | 9 | 500 593 39100 | 5000 9 152 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.305953 s Remaining CPU time: 179.694 s c =============================================================================== c | 10 | 500 594 39500 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.311952 s Remaining CPU time: 179.688 s c =============================================================================== c | 10 | 500 595 39900 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.316951 s Remaining CPU time: 179.683 s c =============================================================================== c | 10 | 500 596 40300 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s c =============================================================================== c | 10 | 500 597 40700 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.330949 s Remaining CPU time: 179.669 s c =============================================================================== c | 11 | 500 598 41100 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.336948 s Remaining CPU time: 179.663 s c =============================================================================== c | 11 | 500 599 41500 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.343947 s Remaining CPU time: 179.656 s c =============================================================================== c | 11 | 500 600 41900 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.350946 s Remaining CPU time: 179.649 s c =============================================================================== c | 11 | 500 601 42300 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.357945 s Remaining CPU time: 179.642 s c =============================================================================== c | 11 | 500 602 42700 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.363944 s Remaining CPU time: 179.636 s c =============================================================================== c | 11 | 500 603 43100 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.370943 s Remaining CPU time: 179.629 s c =============================================================================== c | 11 | 500 604 43500 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.376942 s Remaining CPU time: 179.623 s c =============================================================================== c | 11 | 500 605 43900 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.383941 s Remaining CPU time: 179.616 s c =============================================================================== c | 12 | 500 606 44300 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.39194 s Remaining CPU time: 179.608 s c =============================================================================== c | 12 | 500 607 44700 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.398939 s Remaining CPU time: 179.601 s c =============================================================================== c | 12 | 500 608 45100 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.405938 s Remaining CPU time: 179.594 s c =============================================================================== c | 12 | 500 609 45500 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.413937 s Remaining CPU time: 179.586 s c =============================================================================== c | 12 | 500 610 45900 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.421935 s Remaining CPU time: 179.578 s c =============================================================================== c | 13 | 500 611 46300 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.428934 s Remaining CPU time: 179.571 s c =============================================================================== c | 13 | 500 612 46700 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 0.436933 s Remaining CPU time: 179.563 s c =============================================================================== c | 13 | 500 613 47100 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 0.443932 s Remaining CPU time: 179.556 s c =============================================================================== c | 13 | 500 614 47500 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 0.451931 s Remaining CPU time: 179.548 s c =============================================================================== c | 14 | 500 615 47900 | 5000 14 100 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 0.45993 s Remaining CPU time: 179.54 s c =============================================================================== c | 14 | 500 616 48300 | 5000 14 100 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 0.467928 s Remaining CPU time: 179.532 s c =============================================================================== c | 14 | 500 617 48700 | 5000 14 100 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 0.476927 s Remaining CPU time: 179.523 s c =============================================================================== c | 14 | 500 618 49100 | 5000 14 100 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 0.484926 s Remaining CPU time: 179.515 s c =============================================================================== c | 14 | 500 619 49500 | 5000 14 100 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 0.493924 s Remaining CPU time: 179.506 s c =============================================================================== c | 14 | 500 620 49900 | 5000 14 100 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 0.502923 s Remaining CPU time: 179.497 s c =============================================================================== c | 14 | 500 621 50300 | 5000 14 100 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 0.509922 s Remaining CPU time: 179.49 s c =============================================================================== c | 14 | 500 622 50700 | 5000 14 100 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 0.517921 s Remaining CPU time: 179.482 s c =============================================================================== c | 14 | 500 623 51100 | 5000 14 100 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 0.526919 s Remaining CPU time: 179.473 s c =============================================================================== c | 15 | 500 624 51500 | 5000 15 95 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 0.535918 s Remaining CPU time: 179.464 s c =============================================================================== c | 15 | 500 625 51900 | 5000 15 95 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 0.544917 s Remaining CPU time: 179.455 s c =============================================================================== c | 15 | 500 626 52300 | 5000 15 95 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 0.554915 s Remaining CPU time: 179.445 s c =============================================================================== c | 16 | 500 627 52700 | 5000 16 89 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 0.563914 s Remaining CPU time: 179.436 s c =============================================================================== c | 16 | 500 628 53100 | 5000 16 89 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 0.572912 s Remaining CPU time: 179.427 s c =============================================================================== c | 18 | 500 629 53500 | 5000 18 80 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 0.580911 s Remaining CPU time: 179.419 s c =============================================================================== c | 19 | 500 630 53900 | 5000 19 76 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 0.58991 s Remaining CPU time: 179.41 s c =============================================================================== c | 20 | 500 631 54300 | 5000 20 73 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 0.598908 s Remaining CPU time: 179.401 s c =============================================================================== c | 20 | 500 632 54700 | 5000 20 73 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 0.607907 s Remaining CPU time: 179.392 s c =============================================================================== c | 20 | 500 633 55100 | 5000 20 73 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 0.615906 s Remaining CPU time: 179.384 s c =============================================================================== c | 21 | 500 634 55500 | 5000 21 70 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 0.624905 s Remaining CPU time: 179.375 s c =============================================================================== c | 21 | 500 635 55900 | 5000 21 70 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 0.633903 s Remaining CPU time: 179.366 s c =============================================================================== c | 22 | 500 636 56300 | 5000 22 67 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 0.642902 s Remaining CPU time: 179.357 s c =============================================================================== c | 22 | 500 637 56700 | 5000 22 67 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 0.6529 s Remaining CPU time: 179.347 s c =============================================================================== c | 23 | 500 638 57100 | 5000 23 64 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 0.661899 s Remaining CPU time: 179.338 s c =============================================================================== c | 23 | 500 639 57500 | 5000 23 64 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 0.671897 s Remaining CPU time: 179.328 s c =============================================================================== c | 23 | 500 640 57900 | 5000 23 64 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 0.680896 s Remaining CPU time: 179.319 s c =============================================================================== c | 23 | 500 641 58300 | 5000 23 64 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 0.689895 s Remaining CPU time: 179.31 s c =============================================================================== c | 24 | 500 642 58700 | 5000 24 72 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 0.698893 s Remaining CPU time: 179.301 s c =============================================================================== c | 24 | 500 643 59100 | 5000 24 72 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 0.707892 s Remaining CPU time: 179.292 s c =============================================================================== c | 24 | 500 644 59500 | 5000 24 72 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 0.71789 s Remaining CPU time: 179.282 s c =============================================================================== c | 24 | 500 645 59900 | 5000 24 72 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 0.727889 s Remaining CPU time: 179.272 s c =============================================================================== c | 24 | 500 646 60300 | 5000 24 72 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 0.737887 s Remaining CPU time: 179.262 s c =============================================================================== c | 24 | 500 647 60700 | 5000 24 72 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 0.747886 s Remaining CPU time: 179.252 s c =============================================================================== c | 24 | 500 648 61100 | 5000 24 72 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 0.757884 s Remaining CPU time: 179.242 s c =============================================================================== c | 24 | 500 649 61500 | 5000 24 72 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 0.767883 s Remaining CPU time: 179.232 s c =============================================================================== c | 24 | 500 650 61900 | 5000 24 72 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 0.778881 s Remaining CPU time: 179.221 s c =============================================================================== c | 25 | 500 651 62300 | 5000 25 70 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 0.78788 s Remaining CPU time: 179.212 s c =============================================================================== c | 25 | 500 652 62700 | 5000 25 70 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 0.797878 s Remaining CPU time: 179.202 s c =============================================================================== c | 25 | 500 653 63100 | 5000 25 70 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 0.807877 s Remaining CPU time: 179.192 s c =============================================================================== c | 28 | 500 654 63500 | 5000 28 63 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 0.818875 s Remaining CPU time: 179.181 s c =============================================================================== c | 28 | 500 655 63900 | 5000 28 63 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 0.829873 s Remaining CPU time: 179.17 s c =============================================================================== c | 28 | 500 656 64300 | 5000 28 63 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 0.840872 s Remaining CPU time: 179.159 s c =============================================================================== c | 28 | 500 657 64700 | 5000 28 63 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 0.85187 s Remaining CPU time: 179.148 s c =============================================================================== c | 28 | 500 658 65100 | 5000 28 63 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 0.863868 s Remaining CPU time: 179.136 s c =============================================================================== c | 28 | 500 659 65500 | 5000 28 63 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 0.874867 s Remaining CPU time: 179.125 s c =============================================================================== c | 28 | 500 660 65900 | 5000 28 63 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 0.886865 s Remaining CPU time: 179.113 s c =============================================================================== c | 28 | 500 661 66300 | 5000 28 63 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 0.898863 s Remaining CPU time: 179.101 s c =============================================================================== c | 30 | 500 662 66700 | 5000 30 68 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 0.909861 s Remaining CPU time: 179.09 s c =============================================================================== c | 31 | 500 663 67100 | 5000 31 66 | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 0.921859 s Remaining CPU time: 179.078 s c =============================================================================== c | 31 | 500 664 67500 | 5000 31 66 | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 0.933858 s Remaining CPU time: 179.066 s c =============================================================================== c | 31 | 500 665 67900 | 5000 31 66 | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 0.945856 s Remaining CPU time: 179.054 s c =============================================================================== c | 31 | 500 666 68300 | 5000 31 66 | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 0.957854 s Remaining CPU time: 179.042 s c =============================================================================== c | 33 | 500 667 68700 | 5000 33 69 | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 0.969852 s Remaining CPU time: 179.03 s c =============================================================================== c | 33 | 500 668 69100 | 5000 33 69 | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 0.98285 s Remaining CPU time: 179.017 s c =============================================================================== c | 33 | 500 669 69500 | 5000 33 69 | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 0.994848 s Remaining CPU time: 179.005 s c =============================================================================== c | 33 | 500 670 69900 | 5000 33 69 | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 1.00685 s Remaining CPU time: 178.993 s c =============================================================================== c | 33 | 500 671 70300 | 5000 33 69 | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 1.01984 s Remaining CPU time: 178.98 s c =============================================================================== c | 33 | 500 672 70700 | 5000 33 69 | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 1.03184 s Remaining CPU time: 178.968 s c =============================================================================== c | 33 | 500 673 71100 | 5000 33 69 | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 1.04484 s Remaining CPU time: 178.955 s c =============================================================================== c | 33 | 500 674 71500 | 5000 33 69 | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 1.05684 s Remaining CPU time: 178.943 s c =============================================================================== c | 34 | 500 675 71900 | 5000 34 68 | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 1.06884 s Remaining CPU time: 178.931 s c =============================================================================== c | 35 | 500 676 72300 | 5000 35 66 | 0.000 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 1.08184 s Remaining CPU time: 178.918 s c =============================================================================== c | 35 | 500 677 72700 | 5000 35 66 | 0.000 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 1.09383 s Remaining CPU time: 178.906 s c =============================================================================== c | 35 | 500 678 73100 | 5000 35 66 | 0.000 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 1.10683 s Remaining CPU time: 178.893 s c =============================================================================== c | 37 | 500 679 73500 | 5000 37 63 | 0.000 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 1.11883 s Remaining CPU time: 178.881 s c =============================================================================== c | 37 | 500 680 73900 | 5000 37 63 | 0.000 % | c =============================================================================== c New solution: 220 c Elapsed CPU time: 1.13183 s Remaining CPU time: 178.868 s c =============================================================================== c | 37 | 500 681 74300 | 5000 37 63 | 0.000 % | c =============================================================================== c New solution: 219 c Elapsed CPU time: 1.14482 s Remaining CPU time: 178.855 s c =============================================================================== c | 38 | 500 682 74700 | 5000 38 62 | 0.000 % | c =============================================================================== c New solution: 218 c Elapsed CPU time: 1.15882 s Remaining CPU time: 178.841 s c =============================================================================== c | 38 | 500 683 75100 | 5000 38 62 | 0.000 % | c =============================================================================== c New solution: 217 c Elapsed CPU time: 1.17182 s Remaining CPU time: 178.828 s c =============================================================================== c | 38 | 500 684 75500 | 5000 38 62 | 0.000 % | c =============================================================================== c New solution: 216 c Elapsed CPU time: 1.18482 s Remaining CPU time: 178.815 s c =============================================================================== c | 38 | 500 685 75900 | 5000 38 62 | 0.000 % | c =============================================================================== c New solution: 215 c Elapsed CPU time: 1.19782 s Remaining CPU time: 178.802 s c =============================================================================== c | 38 | 500 686 76300 | 5000 38 62 | 0.000 % | c =============================================================================== c New solution: 214 c Elapsed CPU time: 1.21081 s Remaining CPU time: 178.789 s c =============================================================================== c | 39 | 500 687 76700 | 5000 39 60 | 0.000 % | c =============================================================================== c New solution: 213 c Elapsed CPU time: 1.22481 s Remaining CPU time: 178.775 s c =============================================================================== c | 39 | 500 688 77100 | 5000 39 60 | 0.000 % | c =============================================================================== c New solution: 212 c Elapsed CPU time: 1.23781 s Remaining CPU time: 178.762 s c =============================================================================== c | 39 | 500 689 77500 | 5000 39 60 | 0.000 % | c =============================================================================== c New solution: 211 c Elapsed CPU time: 1.25181 s Remaining CPU time: 178.748 s c =============================================================================== c | 41 | 500 690 77900 | 5000 41 58 | 0.000 % | c =============================================================================== c New solution: 210 c Elapsed CPU time: 1.26581 s Remaining CPU time: 178.734 s c =============================================================================== c | 50 | 500 691 78300 | 5000 50 86 | 0.000 % | c =============================================================================== c New solution: 209 c Elapsed CPU time: 1.2788 s Remaining CPU time: 178.721 s c =============================================================================== c | 50 | 500 692 78700 | 5000 50 86 | 0.000 % | c =============================================================================== c New solution: 208 c Elapsed CPU time: 1.2918 s Remaining CPU time: 178.708 s c =============================================================================== c | 50 | 500 693 79100 | 5000 50 86 | 0.000 % | c =============================================================================== c New solution: 207 c Elapsed CPU time: 1.3048 s Remaining CPU time: 178.695 s c =============================================================================== c | 50 | 500 694 79500 | 5000 50 86 | 0.000 % | c =============================================================================== c New solution: 206 c Elapsed CPU time: 1.3178 s Remaining CPU time: 178.682 s c =============================================================================== c | 50 | 500 695 79900 | 5000 50 86 | 0.000 % | c =============================================================================== c New solution: 205 c Elapsed CPU time: 1.3318 s Remaining CPU time: 178.668 s c =============================================================================== c | 51 | 500 696 80300 | 5000 51 85 | 0.000 % | c =============================================================================== c New solution: 204 c Elapsed CPU time: 1.3458 s Remaining CPU time: 178.654 s c =============================================================================== c | 52 | 500 697 80700 | 5000 52 83 | 0.000 % | c =============================================================================== c New solution: 203 c Elapsed CPU time: 1.35979 s Remaining CPU time: 178.64 s c =============================================================================== c | 53 | 500 698 81100 | 5000 53 82 | 0.000 % | c =============================================================================== c New solution: 202 c Elapsed CPU time: 1.37279 s Remaining CPU time: 178.627 s c =============================================================================== c | 53 | 500 699 81500 | 5000 53 82 | 0.000 % | c =============================================================================== c New solution: 201 c Elapsed CPU time: 1.38679 s Remaining CPU time: 178.613 s c =============================================================================== c | 53 | 500 700 81900 | 5000 53 82 | 0.000 % | c =============================================================================== c New solution: 200 c Elapsed CPU time: 1.40079 s Remaining CPU time: 178.599 s c =============================================================================== c | 53 | 500 701 82300 | 5000 53 82 | 0.000 % | c =============================================================================== c New solution: 199 c Elapsed CPU time: 1.41379 s Remaining CPU time: 178.586 s c =============================================================================== c | 53 | 500 702 82700 | 5000 53 82 | 0.000 % | c =============================================================================== c New solution: 198 c Elapsed CPU time: 1.42778 s Remaining CPU time: 178.572 s c =============================================================================== c | 53 | 500 703 83100 | 5000 53 82 | 0.000 % | c =============================================================================== c New solution: 197 c Elapsed CPU time: 1.44178 s Remaining CPU time: 178.558 s c =============================================================================== c | 53 | 500 704 83500 | 5000 53 82 | 0.000 % | c =============================================================================== c New solution: 196 c Elapsed CPU time: 1.45378 s Remaining CPU time: 178.546 s c =============================================================================== c | 53 | 500 705 83900 | 5000 53 82 | 0.000 % | c =============================================================================== c New solution: 195 c Elapsed CPU time: 1.46878 s Remaining CPU time: 178.531 s c =============================================================================== c | 54 | 500 706 84300 | 5000 54 81 | 0.000 % | c =============================================================================== c New solution: 194 c Elapsed CPU time: 1.48377 s Remaining CPU time: 178.516 s c =============================================================================== c | 54 | 500 707 84700 | 5000 54 81 | 0.000 % | c =============================================================================== c New solution: 193 c Elapsed CPU time: 1.49777 s Remaining CPU time: 178.502 s c =============================================================================== c | 58 | 500 708 85100 | 5000 58 76 | 0.000 % | c =============================================================================== c New solution: 192 c Elapsed CPU time: 1.51277 s Remaining CPU time: 178.487 s c =============================================================================== c | 61 | 500 709 85500 | 5000 61 73 | 0.000 % | c =============================================================================== c New solution: 191 c Elapsed CPU time: 1.52777 s Remaining CPU time: 178.472 s c =============================================================================== c | 61 | 500 710 85900 | 5000 61 73 | 0.000 % | c =============================================================================== c New solution: 190 c Elapsed CPU time: 1.54277 s Remaining CPU time: 178.457 s c =============================================================================== c | 61 | 500 711 86300 | 5000 61 73 | 0.000 % | c =============================================================================== c New solution: 189 c Elapsed CPU time: 1.55776 s Remaining CPU time: 178.442 s c =============================================================================== c | 61 | 500 712 86700 | 5000 61 73 | 0.000 % | c =============================================================================== c New solution: 188 c Elapsed CPU time: 1.57376 s Remaining CPU time: 178.426 s c =============================================================================== c | 61 | 500 713 87100 | 5000 61 73 | 0.000 % | c =============================================================================== c New solution: 187 c Elapsed CPU time: 1.58876 s Remaining CPU time: 178.411 s c =============================================================================== c | 61 | 500 714 87500 | 5000 61 73 | 0.000 % | c =============================================================================== c New solution: 186 c Elapsed CPU time: 1.60376 s Remaining CPU time: 178.396 s c =============================================================================== c | 61 | 500 715 87900 | 5000 61 73 | 0.000 % | c =============================================================================== c New solution: 185 c Elapsed CPU time: 1.61875 s Remaining CPU time: 178.381 s c =============================================================================== c | 61 | 500 716 88300 | 5000 61 73 | 0.000 % | c =============================================================================== c New solution: 184 c Elapsed CPU time: 1.63275 s Remaining CPU time: 178.367 s c =============================================================================== c | 61 | 500 717 88700 | 5000 61 73 | 0.000 % | c =============================================================================== c New solution: 183 c Elapsed CPU time: 1.64775 s Remaining CPU time: 178.352 s c =============================================================================== c | 63 | 500 718 89100 | 5000 63 71 | 0.000 % | c =============================================================================== c New solution: 182 c Elapsed CPU time: 1.66375 s Remaining CPU time: 178.336 s c =============================================================================== c | 64 | 500 719 89500 | 5000 64 73 | 0.000 % | c =============================================================================== c New solution: 181 c Elapsed CPU time: 1.67874 s Remaining CPU time: 178.321 s c =============================================================================== c | 64 | 500 720 89900 | 5000 64 73 | 0.000 % | c =============================================================================== c New solution: 180 c Elapsed CPU time: 1.69274 s Remaining CPU time: 178.307 s c =============================================================================== c | 64 | 500 721 90300 | 5000 64 73 | 0.000 % | c =============================================================================== c New solution: 179 c Elapsed CPU time: 1.70774 s Remaining CPU time: 178.292 s c =============================================================================== c | 64 | 500 722 90700 | 5000 64 73 | 0.000 % | c =============================================================================== c New solution: 178 c Elapsed CPU time: 1.72274 s Remaining CPU time: 178.277 s c =============================================================================== c | 65 | 500 723 91100 | 5000 65 75 | 0.000 % | c =============================================================================== c New solution: 177 c Elapsed CPU time: 1.73774 s Remaining CPU time: 178.262 s c =============================================================================== c | 65 | 500 724 91500 | 5000 65 75 | 0.000 % | c =============================================================================== c New solution: 176 c Elapsed CPU time: 1.75373 s Remaining CPU time: 178.246 s c =============================================================================== c | 65 | 500 725 91900 | 5000 65 75 | 0.000 % | c =============================================================================== c New solution: 175 c Elapsed CPU time: 1.76973 s Remaining CPU time: 178.23 s c =============================================================================== c | 65 | 500 726 92300 | 5000 65 75 | 0.000 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 1.78473 s Remaining CPU time: 178.215 s c =============================================================================== c | 66 | 500 727 92700 | 5000 66 74 | 0.000 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 1.79973 s Remaining CPU time: 178.2 s c =============================================================================== c | 67 | 500 728 93100 | 5000 67 76 | 0.000 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 1.81472 s Remaining CPU time: 178.185 s c =============================================================================== c | 68 | 500 729 93500 | 5000 68 75 | 0.000 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 1.82972 s Remaining CPU time: 178.17 s c =============================================================================== c | 68 | 500 730 93900 | 5000 68 75 | 0.000 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 1.84572 s Remaining CPU time: 178.154 s c =============================================================================== c | 68 | 500 731 94300 | 5000 68 75 | 0.000 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 1.86172 s Remaining CPU time: 178.138 s c =============================================================================== c | 68 | 500 732 94700 | 5000 68 75 | 0.000 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 1.87771 s Remaining CPU time: 178.122 s c =============================================================================== c | 68 | 500 733 95100 | 5000 68 75 | 0.000 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 1.89271 s Remaining CPU time: 178.107 s c =============================================================================== c | 70 | 500 734 95500 | 5000 70 73 | 0.000 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 1.90871 s Remaining CPU time: 178.091 s c =============================================================================== c | 70 | 500 735 95900 | 5000 70 73 | 0.000 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 1.92471 s Remaining CPU time: 178.075 s c =============================================================================== c | 70 | 500 736 96300 | 5000 70 73 | 0.000 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 1.9407 s Remaining CPU time: 178.059 s c =============================================================================== c | 70 | 500 737 96700 | 5000 70 73 | 0.000 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 1.9557 s Remaining CPU time: 178.044 s c =============================================================================== c | 71 | 500 738 97100 | 5000 71 72 | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 1.9717 s Remaining CPU time: 178.028 s c =============================================================================== c | 73 | 500 739 97500 | 5000 73 71 | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 2.00169 s Remaining CPU time: 177.998 s c =============================================================================== c | 146 | 500 740 97900 | 5000 146 120 | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 2.01769 s Remaining CPU time: 177.982 s c =============================================================================== c | 154 | 500 741 98300 | 5000 154 115 | 0.000 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 2.03369 s Remaining CPU time: 177.966 s c =============================================================================== c | 156 | 500 742 98700 | 5000 156 114 | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 2.04969 s Remaining CPU time: 177.95 s c =============================================================================== c | 156 | 500 743 99100 | 5000 156 114 | 0.000 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 2.06569 s Remaining CPU time: 177.934 s c =============================================================================== c | 156 | 500 744 99500 | 5000 156 114 | 0.000 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 2.08168 s Remaining CPU time: 177.918 s c =============================================================================== c | 160 | 500 745 99900 | 5000 160 111 | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 2.09868 s Remaining CPU time: 177.901 s c =============================================================================== c | 167 | 500 746 100300 | 5000 167 108 | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 2.11668 s Remaining CPU time: 177.883 s c =============================================================================== c | 173 | 500 747 100700 | 5000 173 109 | 0.000 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 2.13267 s Remaining CPU time: 177.867 s c =============================================================================== c | 174 | 500 748 101100 | 5000 174 109 | 0.000 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 2.14867 s Remaining CPU time: 177.851 s c =============================================================================== c | 174 | 500 749 101500 | 5000 174 109 | 0.000 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 2.16467 s Remaining CPU time: 177.835 s c =============================================================================== c | 174 | 500 750 101900 | 5000 174 109 | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 2.18067 s Remaining CPU time: 177.819 s c =============================================================================== c | 177 | 500 751 102300 | 5000 177 107 | 0.000 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 2.19667 s Remaining CPU time: 177.803 s c =============================================================================== c | 177 | 500 752 102700 | 5000 177 107 | 0.000 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 2.21366 s Remaining CPU time: 177.786 s c =============================================================================== c | 185 | 500 753 103100 | 5000 185 104 | 0.000 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 2.23166 s Remaining CPU time: 177.768 s c =============================================================================== c | 189 | 500 754 103500 | 5000 189 105 | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 2.24666 s Remaining CPU time: 177.753 s c =============================================================================== c | 201 | 500 755 103900 | 5000 201 100 | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 2.26465 s Remaining CPU time: 177.735 s c =============================================================================== c | 205 | 500 756 104300 | 5000 205 101 | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 2.28165 s Remaining CPU time: 177.718 s c =============================================================================== c | 205 | 500 757 104700 | 5000 205 101 | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 2.29765 s Remaining CPU time: 177.702 s c =============================================================================== c | 205 | 500 758 105100 | 5000 205 101 | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 2.31665 s Remaining CPU time: 177.683 s c =============================================================================== c | 214 | 500 759 105500 | 5000 214 102 | 0.000 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 2.33264 s Remaining CPU time: 177.667 s c =============================================================================== c | 215 | 500 760 105900 | 5000 215 102 | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 2.34764 s Remaining CPU time: 177.652 s c =============================================================================== c | 216 | 500 761 106300 | 5000 216 102 | 0.000 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 2.36364 s Remaining CPU time: 177.636 s c =============================================================================== c | 217 | 500 762 106700 | 5000 217 102 | 0.000 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 2.37864 s Remaining CPU time: 177.621 s c =============================================================================== c | 217 | 500 763 107100 | 5000 217 102 | 0.000 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 2.39563 s Remaining CPU time: 177.604 s c =============================================================================== c | 217 | 500 764 107500 | 5000 217 102 | 0.000 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 2.41163 s Remaining CPU time: 177.588 s c =============================================================================== c | 217 | 500 765 107900 | 5000 217 102 | 0.000 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 2.42763 s Remaining CPU time: 177.572 s c =============================================================================== c | 217 | 500 766 108300 | 5000 217 102 | 0.000 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 2.44463 s Remaining CPU time: 177.555 s c =============================================================================== c | 217 | 500 767 108700 | 5000 217 102 | 0.000 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 2.45963 s Remaining CPU time: 177.54 s c =============================================================================== c | 220 | 500 768 109100 | 5000 220 101 | 0.000 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 2.47562 s Remaining CPU time: 177.524 s c =============================================================================== c | 220 | 500 769 109500 | 5000 220 101 | 0.000 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 2.49262 s Remaining CPU time: 177.507 s c =============================================================================== c | 220 | 500 770 109900 | 5000 220 101 | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 2.50862 s Remaining CPU time: 177.491 s c =============================================================================== c | 220 | 500 771 110300 | 5000 220 101 | 0.000 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 2.52462 s Remaining CPU time: 177.475 s c =============================================================================== c | 220 | 500 772 110700 | 5000 220 101 | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 2.54161 s Remaining CPU time: 177.458 s c =============================================================================== c | 223 | 500 773 111100 | 5000 223 100 | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 2.55961 s Remaining CPU time: 177.44 s c =============================================================================== c | 235 | 500 774 111500 | 5000 235 97 | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 2.57761 s Remaining CPU time: 177.422 s c =============================================================================== c | 238 | 500 775 111900 | 5000 238 98 | 0.000 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 2.59361 s Remaining CPU time: 177.406 s c =============================================================================== c | 239 | 500 776 112300 | 5000 239 98 | 0.000 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 2.6106 s Remaining CPU time: 177.389 s c =============================================================================== c | 240 | 500 777 112700 | 5000 240 98 | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 2.6256 s Remaining CPU time: 177.374 s c =============================================================================== c | 242 | 500 778 113100 | 5000 242 97 | 0.000 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 2.6416 s Remaining CPU time: 177.358 s c =============================================================================== c | 242 | 500 779 113500 | 5000 242 97 | 0.000 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 2.6576 s Remaining CPU time: 177.342 s c =============================================================================== c | 242 | 500 780 113900 | 5000 242 97 | 0.000 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 2.67359 s Remaining CPU time: 177.326 s c =============================================================================== c | 242 | 500 781 114300 | 5000 242 97 | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 2.68959 s Remaining CPU time: 177.31 s c =============================================================================== c | 242 | 500 782 114700 | 5000 242 97 | 0.000 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 2.70559 s Remaining CPU time: 177.294 s c =============================================================================== c | 242 | 500 783 115100 | 5000 242 97 | 0.000 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 2.72159 s Remaining CPU time: 177.278 s c =============================================================================== c | 242 | 500 784 115500 | 5000 242 97 | 0.000 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 2.73758 s Remaining CPU time: 177.262 s c =============================================================================== c | 242 | 500 785 115900 | 5000 242 97 | 0.000 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 2.75358 s Remaining CPU time: 177.246 s c =============================================================================== c | 242 | 500 786 116300 | 5000 242 97 | 0.000 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 2.76958 s Remaining CPU time: 177.23 s c =============================================================================== c | 242 | 500 787 116700 | 5000 242 97 | 0.000 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 2.78558 s Remaining CPU time: 177.214 s c =============================================================================== c | 242 | 500 788 117100 | 5000 242 97 | 0.000 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 2.80057 s Remaining CPU time: 177.199 s c =============================================================================== c | 242 | 500 789 117500 | 5000 242 97 | 0.000 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 2.81657 s Remaining CPU time: 177.183 s c =============================================================================== c | 242 | 500 790 117900 | 5000 242 97 | 0.000 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 2.83157 s Remaining CPU time: 177.168 s c =============================================================================== c | 242 | 500 791 118300 | 5000 242 97 | 0.000 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 2.84657 s Remaining CPU time: 177.153 s c =============================================================================== c | 242 | 500 792 118700 | 5000 242 97 | 0.000 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 2.86256 s Remaining CPU time: 177.137 s c =============================================================================== c | 242 | 500 793 119100 | 5000 242 97 | 0.000 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 2.87656 s Remaining CPU time: 177.123 s c =============================================================================== c | 242 | 500 794 119500 | 5000 242 97 | 0.000 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 2.89156 s Remaining CPU time: 177.108 s c =============================================================================== c | 243 | 500 795 119900 | 5000 243 97 | 0.000 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 2.90756 s Remaining CPU time: 177.092 s c =============================================================================== c | 247 | 500 796 120300 | 5000 247 95 | 0.000 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 2.92355 s Remaining CPU time: 177.076 s c =============================================================================== c | 249 | 500 797 120700 | 5000 249 96 | 0.000 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 2.93955 s Remaining CPU time: 177.06 s c =============================================================================== c | 251 | 500 798 121100 | 5000 251 96 | 0.000 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 2.95555 s Remaining CPU time: 177.044 s c =============================================================================== c | 251 | 500 799 121500 | 5000 251 96 | 0.000 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 2.97155 s Remaining CPU time: 177.028 s c =============================================================================== c | 252 | 500 800 121900 | 5000 252 96 | 0.000 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 2.98655 s Remaining CPU time: 177.013 s c =============================================================================== c | 252 | 500 801 122300 | 5000 252 96 | 0.000 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 3.00154 s Remaining CPU time: 176.998 s c =============================================================================== c | 252 | 500 802 122700 | 5000 252 96 | 0.000 % | c =============================================================================== c New solution: 98 c Elapsed CPU time: 3.01754 s Remaining CPU time: 176.982 s c =============================================================================== c | 252 | 500 803 123100 | 5000 252 96 | 0.000 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 3.03254 s Remaining CPU time: 176.967 s c =============================================================================== c | 253 | 500 804 123500 | 5000 253 95 | 0.000 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 3.04854 s Remaining CPU time: 176.951 s c =============================================================================== c | 253 | 500 805 123900 | 5000 253 95 | 0.000 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 3.06253 s Remaining CPU time: 176.937 s c =============================================================================== c | 253 | 500 806 124300 | 5000 253 95 | 0.000 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 3.07753 s Remaining CPU time: 176.922 s c =============================================================================== c | 253 | 500 807 124700 | 5000 253 95 | 0.000 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 3.09353 s Remaining CPU time: 176.906 s c =============================================================================== c | 253 | 500 808 125100 | 5000 253 95 | 0.000 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 3.10753 s Remaining CPU time: 176.892 s c =============================================================================== c | 253 | 500 809 125500 | 5000 253 95 | 0.000 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 3.12252 s Remaining CPU time: 176.877 s c =============================================================================== c | 253 | 500 810 125900 | 5000 253 95 | 0.000 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 3.13752 s Remaining CPU time: 176.862 s c =============================================================================== c | 253 | 500 811 126300 | 5000 253 95 | 0.000 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 3.15252 s Remaining CPU time: 176.847 s c =============================================================================== c | 253 | 500 812 126700 | 5000 253 95 | 0.000 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 3.16752 s Remaining CPU time: 176.832 s c =============================================================================== c | 253 | 500 813 127100 | 5000 253 95 | 0.000 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 3.18152 s Remaining CPU time: 176.818 s c =============================================================================== c | 253 | 500 814 127500 | 5000 253 95 | 0.000 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 3.19651 s Remaining CPU time: 176.803 s c =============================================================================== c | 253 | 500 815 127900 | 5000 253 95 | 0.000 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 3.21251 s Remaining CPU time: 176.787 s c =============================================================================== c | 253 | 500 816 128300 | 5000 253 95 | 0.000 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 3.22851 s Remaining CPU time: 176.771 s c =============================================================================== c | 253 | 500 817 128700 | 5000 253 95 | 0.000 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 3.24251 s Remaining CPU time: 176.757 s c =============================================================================== c | 253 | 500 818 129100 | 5000 253 95 | 0.000 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 3.2575 s Remaining CPU time: 176.742 s c =============================================================================== c | 253 | 500 819 129500 | 5000 253 95 | 0.000 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 3.2715 s Remaining CPU time: 176.728 s c =============================================================================== c | 253 | 500 820 129900 | 5000 253 95 | 0.000 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 3.2855 s Remaining CPU time: 176.714 s c =============================================================================== c | 253 | 500 821 130300 | 5000 253 95 | 0.000 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 3.3005 s Remaining CPU time: 176.7 s c =============================================================================== c | 253 | 500 822 130700 | 5000 253 95 | 0.000 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 3.3135 s Remaining CPU time: 176.687 s c =============================================================================== c | 266 | 500 823 131100 | 5000 266 92 | 0.000 % | c | 367 | 500 823 131100 | 5500 367 90 | 0.000 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 3.38449 s Remaining CPU time: 176.616 s c =============================================================================== c | 424 | 500 824 131500 | 5000 424 83 | 0.000 % | c | 525 | 500 824 131500 | 5500 525 83 | 0.000 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 3.50947 s Remaining CPU time: 176.491 s c =============================================================================== c | 549 | 500 825 131900 | 5000 549 81 | 0.000 % | c | 649 | 500 825 131900 | 5500 649 81 | 0.000 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 3.56546 s Remaining CPU time: 176.435 s c =============================================================================== c | 675 | 500 826 132300 | 5000 675 79 | 0.000 % | c | 775 | 500 826 132300 | 5500 775 79 | 0.000 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 3.61345 s Remaining CPU time: 176.387 s c =============================================================================== c | 782 | 500 827 132700 | 5000 782 79 | 0.000 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 3.62845 s Remaining CPU time: 176.372 s c =============================================================================== c | 829 | 500 828 133100 | 5000 829 76 | 0.000 % | c | 929 | 500 828 133100 | 5500 929 77 | 0.000 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 3.68944 s Remaining CPU time: 176.311 s c =============================================================================== c | 929 | 500 829 133500 | 5000 929 77 | 0.000 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 3.70344 s Remaining CPU time: 176.297 s c =============================================================================== c | 929 | 500 830 133900 | 5000 929 77 | 0.000 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 3.71743 s Remaining CPU time: 176.283 s c =============================================================================== c | 929 | 500 831 134300 | 5000 929 77 | 0.000 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 3.73443 s Remaining CPU time: 176.266 s c =============================================================================== c | 988 | 500 832 134700 | 5000 988 74 | 0.000 % | c | 1088 | 500 832 134700 | 5500 1088 74 | 0.000 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 3.82242 s Remaining CPU time: 176.178 s c =============================================================================== c | 1115 | 500 833 135100 | 5000 1115 73 | 0.000 % | c | 1216 | 500 833 135100 | 5500 1216 73 | 0.000 % | c | 1366 | 500 833 135100 | 6050 1366 71 | 0.000 % | c | 1591 | 500 833 135100 | 6655 1591 72 | 0.000 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 4.09538 s Remaining CPU time: 175.905 s c =============================================================================== c | 1810 | 500 834 135500 | 5000 1810 70 | 0.000 % | c | 1910 | 500 834 135500 | 5500 1910 71 | 0.000 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 4.14437 s Remaining CPU time: 175.856 s c =============================================================================== c | 1913 | 500 835 135900 | 5000 1913 70 | 0.000 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 4.15837 s Remaining CPU time: 175.842 s c =============================================================================== c | 1915 | 500 836 136300 | 5000 1915 70 | 0.000 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 4.17237 s Remaining CPU time: 175.828 s c =============================================================================== c | 1916 | 500 837 136700 | 5000 1916 70 | 0.000 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 4.18736 s Remaining CPU time: 175.813 s c =============================================================================== c | 1937 | 500 838 137100 | 5000 1937 70 | 0.000 % | c | 2038 | 500 838 137100 | 5500 2038 70 | 0.000 % | c | 2188 | 500 838 137100 | 6050 2188 68 | 0.000 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 4.29935 s Remaining CPU time: 175.701 s c =============================================================================== c | 2297 | 500 839 137500 | 5000 2297 68 | 0.000 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 4.31634 s Remaining CPU time: 175.684 s c =============================================================================== c | 2377 | 500 840 137900 | 5000 2377 67 | 0.000 % | c | 2477 | 500 840 137900 | 5500 2477 67 | 0.000 % | c | 2627 | 500 840 137900 | 6050 2627 66 | 0.000 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 4.47732 s Remaining CPU time: 175.523 s c =============================================================================== c | 2689 | 500 841 138300 | 5000 2689 65 | 0.000 % | c | 2789 | 500 841 138300 | 5500 2789 65 | 0.000 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 4.56531 s Remaining CPU time: 175.435 s c =============================================================================== c | 2842 | 500 842 138700 | 5000 2842 65 | 0.000 % | c | 2942 | 500 842 138700 | 5500 2942 65 | 0.000 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 4.6223 s Remaining CPU time: 175.378 s c =============================================================================== c | 2976 | 500 843 139100 | 5000 2976 64 | 0.000 % | c | 3076 | 500 843 139100 | 5500 3076 64 | 0.000 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 4.68029 s Remaining CPU time: 175.32 s c =============================================================================== c | 3130 | 500 844 139500 | 5000 3130 64 | 0.000 % | c | 3230 | 500 844 139500 | 5500 3230 64 | 0.000 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 4.77627 s Remaining CPU time: 175.224 s c =============================================================================== c | 3233 | 500 845 139900 | 5000 3233 64 | 0.000 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 4.79227 s Remaining CPU time: 175.208 s c =============================================================================== c | 3291 | 500 846 140300 | 5000 3291 63 | 0.000 % | c | 3391 | 500 846 140300 | 5500 3391 63 | 0.000 % | c | 3542 | 500 846 140300 | 6050 3542 62 | 0.000 % | c | 3768 | 500 846 140300 | 6655 3768 62 | 0.000 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 4.98224 s Remaining CPU time: 175.018 s c =============================================================================== c | 3802 | 500 847 140700 | 5000 3802 62 | 0.000 % | c | 3902 | 500 847 140700 | 5500 3902 62 | 0.000 % | c | 4052 | 500 847 140700 | 6050 4052 61 | 0.000 % | c | 4278 | 500 847 140700 | 6655 4278 61 | 0.000 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 5.15122 s Remaining CPU time: 174.849 s c =============================================================================== c | 4305 | 500 848 141100 | 5000 4305 61 | 0.000 % | c | 4406 | 500 848 141100 | 5500 4406 61 | 0.000 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 5.21221 s Remaining CPU time: 174.788 s c =============================================================================== c | 4479 | 500 849 141500 | 5000 4479 60 | 0.000 % | c | 4579 | 500 849 141500 | 5500 4579 60 | 0.000 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 5.2862 s Remaining CPU time: 174.714 s c =============================================================================== c | 4584 | 500 850 141900 | 5000 4584 60 | 0.000 % | c =============================================================================== c New solution: 50 c Elapsed CPU time: 5.30319 s Remaining CPU time: 174.697 s c =============================================================================== c | 4637 | 500 851 142300 | 5000 4637 60 | 0.000 % | c | 4737 | 500 851 142300 | 5500 4737 60 | 0.000 % | c =============================================================================== c New solution: 49 c Elapsed CPU time: 5.35919 s Remaining CPU time: 174.641 s c =============================================================================== c | 4747 | 500 852 142700 | 5000 4747 60 | 0.000 % | c | 4847 | 500 852 142700 | 5500 4847 60 | 0.000 % | c | 4997 | 500 852 142700 | 6050 4997 59 | 0.000 % | c | 5223 | 500 852 142700 | 6655 5223 59 | 0.000 % | c | 5560 | 500 852 142700 | 7320 5560 58 | 0.000 % | c | 6066 | 500 852 142700 | 8052 6066 58 | 0.000 % | c =============================================================================== c New solution: 48 c Elapsed CPU time: 6.15906 s Remaining CPU time: 173.841 s c =============================================================================== c | 6786 | 500 853 143100 | 5000 6786 58 | 0.000 % | c | 6888 | 500 853 143100 | 5500 3495 49 | 0.000 % | c | 7038 | 500 853 143100 | 6050 3645 49 | 0.000 % | c =============================================================================== c New solution: 47 c Elapsed CPU time: 6.28204 s Remaining CPU time: 173.718 s c =============================================================================== c | 7103 | 500 854 143500 | 5000 3710 49 | 0.000 % | c | 7203 | 500 854 143500 | 5500 3810 49 | 0.000 % | c | 7354 | 500 854 143500 | 6050 3961 49 | 0.000 % | c | 7579 | 500 854 143500 | 6655 4186 49 | 0.000 % | c | 7917 | 500 854 143500 | 7320 4524 49 | 0.000 % | c | 8423 | 500 854 143500 | 8052 5030 50 | 0.000 % | c =============================================================================== c New solution: 46 c Elapsed CPU time: 6.78397 s Remaining CPU time: 173.216 s c =============================================================================== c | 8448 | 500 855 143900 | 5000 5055 50 | 0.000 % | c | 8548 | 500 855 143900 | 5500 2628 47 | 0.000 % | c =============================================================================== c New solution: 45 c Elapsed CPU time: 6.83696 s Remaining CPU time: 173.163 s c =============================================================================== c | 8599 | 500 856 144300 | 5000 2679 47 | 0.000 % | c | 8700 | 500 856 144300 | 5500 2780 47 | 0.000 % | c | 8850 | 500 856 144300 | 6050 2930 47 | 0.000 % | c | 9075 | 500 856 144300 | 6655 3155 47 | 0.000 % | c | 9412 | 500 856 144300 | 7320 3492 48 | 0.000 % | c =============================================================================== c New solution: 44 c Elapsed CPU time: 7.39487 s Remaining CPU time: 172.605 s c =============================================================================== c | 9852 | 500 857 144700 | 5000 3932 48 | 0.000 % | c =============================================================================== c New solution: 43 c Elapsed CPU time: 7.40987 s Remaining CPU time: 172.59 s c =============================================================================== c | 9872 | 500 858 145100 | 5000 3952 48 | 0.000 % | c | 9972 | 500 858 145100 | 5500 4052 48 | 0.000 % | c =============================================================================== c New solution: 42 c Elapsed CPU time: 7.46087 s Remaining CPU time: 172.539 s c =============================================================================== c | 9975 | 500 859 145500 | 5000 4055 48 | 0.000 % | c =============================================================================== c New solution: 41 c Elapsed CPU time: 7.47186 s Remaining CPU time: 172.528 s c =============================================================================== c | 9975 | 500 860 145900 | 5000 4055 48 | 0.000 % | c | 10075 | 500 860 145900 | 5500 4155 48 | 0.000 % | c | 10225 | 500 860 145900 | 6050 4305 48 | 0.000 % | c | 10450 | 500 860 145900 | 6655 4530 48 | 0.000 % | c | 10787 | 500 860 145900 | 7320 4867 48 | 0.000 % | c | 11294 | 500 860 145900 | 8052 5374 48 | 0.000 % | c | 12053 | 500 860 145900 | 8857 6133 49 | 0.000 % | c | 13192 | 500 860 145900 | 9743 7272 51 | 0.000 % | c =============================================================================== c New solution: 40 c Elapsed CPU time: 9.8555 s Remaining CPU time: 170.144 s c =============================================================================== c | 14135 | 500 861 146300 | 5000 8215 52 | 0.000 % | c | 14235 | 500 861 146300 | 5500 4208 54 | 0.000 % | c | 14385 | 500 861 146300 | 6050 4358 53 | 0.000 % | c | 14610 | 500 861 146300 | 6655 4583 53 | 0.000 % | c | 14947 | 500 861 146300 | 7320 4920 53 | 0.000 % | c | 15453 | 500 861 146300 | 8052 5426 53 | 0.000 % | c =============================================================================== c New solution: 39 c Elapsed CPU time: 10.6344 s Remaining CPU time: 169.366 s c =============================================================================== c | 15502 | 500 862 146700 | 5000 5475 53 | 0.000 % | c =============================================================================== c New solution: 38 c Elapsed CPU time: 10.6754 s Remaining CPU time: 169.325 s c =============================================================================== c | 15554 | 500 863 147100 | 5000 2790 50 | 0.000 % | c | 15654 | 500 863 147100 | 5500 2890 50 | 0.000 % | c | 15804 | 500 863 147100 | 6050 3040 50 | 0.000 % | c =============================================================================== c New solution: 37 c Elapsed CPU time: 10.8653 s Remaining CPU time: 169.135 s c =============================================================================== c | 15968 | 500 864 147500 | 5000 3204 49 | 0.000 % | c | 16070 | 500 864 147500 | 5500 3306 49 | 0.000 % | c | 16222 | 500 864 147500 | 6050 3458 49 | 0.000 % | c | 16448 | 500 864 147500 | 6655 3684 49 | 0.000 % | c | 16785 | 500 864 147500 | 7320 4021 48 | 0.000 % | c =============================================================================== c New solution: 36 c Elapsed CPU time: 11.2293 s Remaining CPU time: 168.771 s c =============================================================================== c | 16995 | 500 865 147900 | 5000 4231 48 | 0.000 % | c | 17096 | 500 865 147900 | 5500 4332 48 | 0.000 % | c | 17246 | 500 865 147900 | 6050 4482 47 | 0.000 % | c | 17471 | 500 865 147900 | 6655 4707 47 | 0.000 % | c | 17808 | 500 865 147900 | 7320 5044 47 | 0.000 % | c | 18314 | 500 865 147900 | 8052 5550 47 | 0.000 % | c | 19073 | 500 865 147900 | 8857 6309 47 | 0.000 % | c | 20212 | 500 865 147900 | 9743 7448 46 | 0.000 % | c | 21920 | 500 865 147900 | 10717 9156 47 | 0.000 % | c | 24482 | 500 865 147900 | 11789 6329 46 | 0.000 % | c | 28326 | 500 865 147900 | 12968 10173 47 | 0.000 % | c =============================================================================== c New solution: 35 c Elapsed CPU time: 20.9658 s Remaining CPU time: 159.034 s c =============================================================================== c | 33903 | 500 866 148300 | 5000 9243 47 | 0.000 % | c | 34003 | 500 866 148300 | 5500 4722 45 | 0.000 % | c | 34154 | 500 866 148300 | 6050 4873 45 | 0.000 % | c | 34379 | 500 866 148300 | 6655 5098 45 | 0.000 % | c | 34716 | 500 866 148300 | 7320 5435 45 | 0.000 % | c =============================================================================== c New solution: 34 c Elapsed CPU time: 21.4477 s Remaining CPU time: 158.552 s c =============================================================================== c | 35080 | 500 867 148700 | 5000 5799 45 | 0.000 % | c | 35181 | 500 867 148700 | 5500 3001 42 | 0.000 % | c | 35332 | 500 867 148700 | 6050 3152 42 | 0.000 % | c | 35557 | 500 867 148700 | 6655 3377 42 | 0.000 % | c | 35894 | 500 867 148700 | 7320 3714 42 | 0.000 % | c | 36400 | 500 867 148700 | 8052 4220 42 | 0.000 % | c | 37159 | 500 867 148700 | 8857 4979 42 | 0.000 % | c | 38298 | 500 867 148700 | 9743 6118 43 | 0.000 % | c | 40006 | 500 867 148700 | 10717 7826 43 | 0.000 % | c | 42568 | 500 867 148700 | 11789 10388 44 | 0.000 % | c | 46412 | 500 867 148700 | 12968 8306 43 | 0.000 % | c | 52178 | 500 867 148700 | 14265 7571 44 | 0.000 % | c =============================================================================== c New solution: 33 c Elapsed CPU time: 33.5799 s Remaining CPU time: 146.42 s c =============================================================================== c | 56317 | 500 868 149100 | 5000 11710 46 | 0.000 % | c | 56417 | 500 868 149100 | 5500 3028 45 | 0.000 % | c | 56567 | 500 868 149100 | 6050 3178 45 | 0.000 % | c | 56792 | 500 868 149100 | 6655 3403 45 | 0.000 % | c | 57131 | 500 868 149100 | 7320 3742 44 | 0.000 % | c | 57637 | 500 868 149100 | 8052 4248 44 | 0.000 % | c | 58396 | 500 868 149100 | 8857 5007 43 | 0.000 % | c | 59537 | 500 868 149100 | 9743 6148 43 | 0.000 % | c | 61245 | 500 868 149100 | 10717 7856 43 | 0.000 % | c | 63807 | 500 868 149100 | 11789 10418 43 | 0.000 % | c | 67653 | 500 868 149100 | 12968 8338 42 | 0.000 % | c | 73419 | 500 868 149100 | 14265 7587 43 | 0.000 % | c | 82068 | 500 868 149100 | 15692 9076 43 | 0.000 % | c | 95042 | 500 868 149100 | 17261 14168 42 | 0.000 % | c =============================================================================== c New solution: 32 c Elapsed CPU time: 59.477 s Remaining CPU time: 120.523 s c =============================================================================== c | 104284 | 500 869 149500 | 5000 14754 43 | 0.000 % | c | 104384 | 500 869 149500 | 5500 3789 43 | 0.000 % | c | 104535 | 500 869 149500 | 6050 3940 43 | 0.000 % | c | 104760 | 500 869 149500 | 6655 4165 43 | 0.000 % | c | 105097 | 500 869 149500 | 7320 4502 43 | 0.000 % | c | 105603 | 500 869 149500 | 8052 5008 44 | 0.000 % | c | 106362 | 500 869 149500 | 8857 5767 43 | 0.000 % | c | 107501 | 500 869 149500 | 9743 6906 43 | 0.000 % | c | 109209 | 500 869 149500 | 10717 8614 43 | 0.000 % | c | 111771 | 500 869 149500 | 11789 5788 40 | 0.000 % | c | 115615 | 500 869 149500 | 12968 9632 41 | 0.000 % | c | 121381 | 500 869 149500 | 14265 8895 41 | 0.000 % | c | 130030 | 500 869 149500 | 15692 10381 41 | 0.000 % | c | 143004 | 500 869 149500 | 17261 15476 43 | 0.000 % | c | 162465 | 500 869 149500 | 18987 8961 42 | 0.000 % | c | 191657 | 500 869 149500 | 20886 9608 40 | 0.000 % | c | 235448 | 500 869 149500 | 22974 11521 40 | 0.000 % | c | 301132 | 500 869 149500 | 25272 19113 39 | 0.000 % | c There are 0 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 100 1275 1915 | 5000 0 nan | 0.000 % | c | 101 | 100 1275 1915 | 5500 101 38 | 80.000 % | c | 251 | 98 1275 1915 | 6050 155 29 | 80.600 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 716 1276 114039 | 5000 0 nan | 0.000 % | c | 101 | 716 1276 114039 | 5500 101 40 | 11.386 % | c | 251 | 716 1276 114039 | 6050 251 23 | 11.386 % | c | 478 | 716 1276 114039 | 6655 478 17 | 11.386 % | c | 817 | 716 1276 114039 | 7320 817 14 | 11.386 % | c | 1323 | 716 1276 114039 | 8052 1323 13 | 11.386 % | c | 2082 | 716 1276 114039 | 8857 2082 13 | 11.386 % | c | 3223 | 716 1276 114039 | 9743 3223 13 | 11.386 % | c | 4934 | 716 1276 114039 | 10717 4934 14 | 11.386 % | c | 7498 | 715 1276 114039 | 11789 4447 12 | 11.510 % | c | 11342 | 713 1276 114039 | 12968 6747 14 | 11.758 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1201 1277 150520 | 5000 0 nan | 0.000 % | c | 101 | 1201 1277 150520 | 5500 101 36 | 0.249 % | c | 251 | 1201 1277 150520 | 6050 251 38 | 0.249 % | c | 476 | 1201 1277 150520 | 6655 476 37 | 0.249 % | c | 813 | 1201 1277 150520 | 7320 813 35 | 0.249 % | c | 1319 | 1201 1277 150520 | 8052 1319 36 | 0.249 % | c | 2078 | 1201 1277 150520 | 8857 2078 37 | 0.249 % | c | 3217 | 1201 1277 150520 | 9743 3217 37 | 0.249 % | c | 4926 | 1201 1277 150520 | 10717 4926 42 | 0.249 % | c | 7489 | 1201 1277 150520 | 11789 7489 42 | 0.249 % | c | 11334 | 1201 1277 150520 | 12968 11334 42 | 0.249 % | c | 17102 | 1201 1277 150520 | 14265 10579 41 | 0.249 % | c | 25752 | 1201 1277 150520 | 15692 12052 43 | 0.249 % | c | 38726 | 1201 1277 150520 | 17261 9293 48 | 0.249 % | c | 58187 | 1201 1277 150520 | 18987 11460 42 | 0.249 % | c | 87379 | 1201 1277 150520 | 20886 11997 39 | 0.249 % | c | 131168 | 1201 1277 150520 | 22974 13832 44 | 0.249 % | c | 196854 | 1201 1277 150520 | 25272 18577 47 | 0.249 % | c | 295380 | 1201 1277 150520 | 27799 15926 51 | 0.249 % | c | 443169 | 1200 1277 150520 | 30579 24750 16 | 0.332 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1604 1278 152523 | 5000 0 nan | 0.000 % | c | 101 | 1604 1278 152523 | 5500 101 39 | 0.000 % | c | 251 | 1604 1278 152523 | 6050 251 38 | 0.000 % | c | 476 | 1604 1278 152523 | 6655 476 36 | 0.000 % | c | 814 | 1604 1278 152523 | 7320 814 37 | 0.000 % | c | 1320 | 1604 1278 152523 | 8052 1320 38 | 0.000 % | c | 2079 | 1604 1278 152523 | 8857 2079 38 | 0.000 % | c | 3220 | 1604 1278 152523 | 9743 3220 38 | 0.000 % | c | 4930 | 1604 1278 152523 | 10717 4930 38 | 0.000 % | c | 7492 | 1604 1278 152523 | 11789 7492 38 | 0.000 % | c | 11336 | 1604 1278 152523 | 12968 11336 38 | 0.000 % | c | 17102 | 1604 1278 152523 | 14265 10592 38 | 0.000 % | c | 25752 | 1604 1278 152523 | 15692 12087 39 | 0.000 % | c | 38726 | 1604 1278 152523 | 17261 9318 39 | 0.000 % | c | 58188 | 1604 1278 152523 | 18987 11467 39 | 0.000 % | c | 87380 | 1604 1278 152523 | 20886 12099 39 | 0.000 % | c | 131169 | 1604 1278 152523 | 22974 14020 39 | 0.000 % | c Memory used : 228.85 MB c CPU time : 1800 s c c Total CPU time: 1800 s