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.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 500 501 2300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 500 502 2700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 500 503 3100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 500 504 3500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 500 505 3900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 500 506 4300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 500 507 4700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 500 508 5100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 0 | 500 509 5500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 0 | 500 510 5900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 0 | 500 511 6300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 0 | 500 512 6700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 0 | 500 513 7100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 0 | 500 514 7500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 500 515 7900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 500 516 8300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 500 517 8700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 500 518 9100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 500 519 9500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 500 520 9900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 500 521 10300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 500 522 10700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 500 523 11100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 500 524 11500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 500 525 11900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 1 | 500 526 12300 | 5000 1 379 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 1 | 500 527 12700 | 5000 1 379 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 2 | 500 528 13100 | 5000 2 191 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 3 | 500 529 13500 | 5000 3 130 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 3 | 500 530 13900 | 5000 3 130 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 3 | 500 531 14300 | 5000 3 130 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 3 | 500 532 14700 | 5000 3 130 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 3 | 500 533 15100 | 5000 3 130 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 3 | 500 534 15500 | 5000 3 130 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 3 | 500 535 15900 | 5000 3 130 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 3 | 500 536 16300 | 5000 3 130 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 3 | 500 537 16700 | 5000 3 130 | 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 130 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 3 | 500 539 17500 | 5000 3 130 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 3 | 500 540 17900 | 5000 3 130 | 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 130 | 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 130 | 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 130 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 3 | 500 544 19500 | 5000 3 130 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 3 | 500 545 19900 | 5000 3 130 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 4 | 500 546 20300 | 5000 4 98 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 4 | 500 547 20700 | 5000 4 98 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 4 | 500 548 21100 | 5000 4 98 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 6 | 500 549 21500 | 5000 6 67 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 6 | 500 550 21900 | 5000 6 67 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 6 | 500 551 22300 | 5000 6 67 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 6 | 500 552 22700 | 5000 6 67 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 6 | 500 553 23100 | 5000 6 67 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s c =============================================================================== c | 6 | 500 554 23500 | 5000 6 67 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 6 | 500 555 23900 | 5000 6 67 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 6 | 500 556 24300 | 5000 6 67 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 6 | 500 557 24700 | 5000 6 67 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 6 | 500 558 25100 | 5000 6 67 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 6 | 500 559 25500 | 5000 6 67 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 6 | 500 560 25900 | 5000 6 67 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s c =============================================================================== c | 6 | 500 561 26300 | 5000 6 67 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 6 | 500 562 26700 | 5000 6 67 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 6 | 500 563 27100 | 5000 6 67 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 6 | 500 564 27500 | 5000 6 67 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 6 | 500 565 27900 | 5000 6 67 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.153976 s Remaining CPU time: 179.846 s c =============================================================================== c | 6 | 500 566 28300 | 5000 6 67 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s c =============================================================================== c | 6 | 500 567 28700 | 5000 6 67 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s c =============================================================================== c | 6 | 500 568 29100 | 5000 6 67 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s c =============================================================================== c | 6 | 500 569 29500 | 5000 6 67 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 6 | 500 570 29900 | 5000 6 67 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 6 | 500 571 30300 | 5000 6 67 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s c =============================================================================== c | 6 | 500 572 30700 | 5000 6 67 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.187971 s Remaining CPU time: 179.812 s c =============================================================================== c | 9 | 500 573 31100 | 5000 9 156 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.19197 s Remaining CPU time: 179.808 s c =============================================================================== c | 9 | 500 574 31500 | 5000 9 156 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 9 | 500 575 31900 | 5000 9 156 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.199969 s Remaining CPU time: 179.8 s c =============================================================================== c | 9 | 500 576 32300 | 5000 9 156 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 9 | 500 577 32700 | 5000 9 156 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.210967 s Remaining CPU time: 179.789 s c =============================================================================== c | 9 | 500 578 33100 | 5000 9 156 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.214967 s Remaining CPU time: 179.785 s c =============================================================================== c | 10 | 500 579 33500 | 5000 10 141 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.218966 s Remaining CPU time: 179.781 s c =============================================================================== c | 10 | 500 580 33900 | 5000 10 141 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s c =============================================================================== c | 10 | 500 581 34300 | 5000 10 141 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.229965 s Remaining CPU time: 179.77 s c =============================================================================== c | 10 | 500 582 34700 | 5000 10 141 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.235964 s Remaining CPU time: 179.764 s c =============================================================================== c | 11 | 500 583 35100 | 5000 11 129 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s c =============================================================================== c | 13 | 500 584 35500 | 5000 13 110 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s c =============================================================================== c | 15 | 500 585 35900 | 5000 15 96 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.252961 s Remaining CPU time: 179.747 s c =============================================================================== c | 15 | 500 586 36300 | 5000 15 96 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.25896 s Remaining CPU time: 179.741 s c =============================================================================== c | 15 | 500 587 36700 | 5000 15 96 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.263959 s Remaining CPU time: 179.736 s c =============================================================================== c | 15 | 500 588 37100 | 5000 15 96 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.269958 s Remaining CPU time: 179.73 s c =============================================================================== c | 16 | 500 589 37500 | 5000 16 90 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.276957 s Remaining CPU time: 179.723 s c =============================================================================== c | 16 | 500 590 37900 | 5000 16 90 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s c =============================================================================== c | 16 | 500 591 38300 | 5000 16 90 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.288956 s Remaining CPU time: 179.711 s c =============================================================================== c | 16 | 500 592 38700 | 5000 16 90 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.294955 s Remaining CPU time: 179.705 s c =============================================================================== c | 16 | 500 593 39100 | 5000 16 90 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.300954 s Remaining CPU time: 179.699 s c =============================================================================== c | 16 | 500 594 39500 | 5000 16 90 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.306953 s Remaining CPU time: 179.693 s c =============================================================================== c | 16 | 500 595 39900 | 5000 16 90 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.313952 s Remaining CPU time: 179.686 s c =============================================================================== c | 16 | 500 596 40300 | 5000 16 90 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.319951 s Remaining CPU time: 179.68 s c =============================================================================== c | 16 | 500 597 40700 | 5000 16 90 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.32595 s Remaining CPU time: 179.674 s c =============================================================================== c | 16 | 500 598 41100 | 5000 16 90 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.331949 s Remaining CPU time: 179.668 s c =============================================================================== c | 16 | 500 599 41500 | 5000 16 90 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.338948 s Remaining CPU time: 179.661 s c =============================================================================== c | 16 | 500 600 41900 | 5000 16 90 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.344947 s Remaining CPU time: 179.655 s c =============================================================================== c | 16 | 500 601 42300 | 5000 16 90 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.351946 s Remaining CPU time: 179.648 s c =============================================================================== c | 16 | 500 602 42700 | 5000 16 90 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.358945 s Remaining CPU time: 179.641 s c =============================================================================== c | 16 | 500 603 43100 | 5000 16 90 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.364944 s Remaining CPU time: 179.635 s c =============================================================================== c | 17 | 500 604 43500 | 5000 17 86 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.372943 s Remaining CPU time: 179.627 s c =============================================================================== c | 18 | 500 605 43900 | 5000 18 98 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.380942 s Remaining CPU time: 179.619 s c =============================================================================== c | 18 | 500 606 44300 | 5000 18 98 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.387941 s Remaining CPU time: 179.612 s c =============================================================================== c | 18 | 500 607 44700 | 5000 18 98 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.395939 s Remaining CPU time: 179.604 s c =============================================================================== c | 18 | 500 608 45100 | 5000 18 98 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.403938 s Remaining CPU time: 179.596 s c =============================================================================== c | 18 | 500 609 45500 | 5000 18 98 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.411937 s Remaining CPU time: 179.588 s c =============================================================================== c | 18 | 500 610 45900 | 5000 18 98 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.418936 s Remaining CPU time: 179.581 s c =============================================================================== c | 18 | 500 611 46300 | 5000 18 98 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.426935 s Remaining CPU time: 179.573 s c =============================================================================== c | 18 | 500 612 46700 | 5000 18 98 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 0.434933 s Remaining CPU time: 179.565 s c =============================================================================== c | 18 | 500 613 47100 | 5000 18 98 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 0.442932 s Remaining CPU time: 179.557 s c =============================================================================== c | 18 | 500 614 47500 | 5000 18 98 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 0.450931 s Remaining CPU time: 179.549 s c =============================================================================== c | 19 | 500 615 47900 | 5000 19 93 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 0.45993 s Remaining CPU time: 179.54 s c =============================================================================== c | 20 | 500 616 48300 | 5000 20 89 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 0.465929 s Remaining CPU time: 179.534 s c =============================================================================== c | 20 | 500 617 48700 | 5000 20 89 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 0.473927 s Remaining CPU time: 179.526 s c =============================================================================== c | 20 | 500 618 49100 | 5000 20 89 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 0.481926 s Remaining CPU time: 179.518 s c =============================================================================== c | 20 | 500 619 49500 | 5000 20 89 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 0.490925 s Remaining CPU time: 179.509 s c =============================================================================== c | 20 | 500 620 49900 | 5000 20 89 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 0.498924 s Remaining CPU time: 179.501 s c =============================================================================== c | 20 | 500 621 50300 | 5000 20 89 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 0.507922 s Remaining CPU time: 179.492 s c =============================================================================== c | 20 | 500 622 50700 | 5000 20 89 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 0.516921 s Remaining CPU time: 179.483 s c =============================================================================== c | 20 | 500 623 51100 | 5000 20 89 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 0.52592 s Remaining CPU time: 179.474 s c =============================================================================== c | 20 | 500 624 51500 | 5000 20 89 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 0.534918 s Remaining CPU time: 179.465 s c =============================================================================== c | 20 | 500 625 51900 | 5000 20 89 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 0.543917 s Remaining CPU time: 179.456 s c =============================================================================== c | 20 | 500 626 52300 | 5000 20 89 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 0.552915 s Remaining CPU time: 179.447 s c =============================================================================== c | 20 | 500 627 52700 | 5000 20 89 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 0.560914 s Remaining CPU time: 179.439 s c =============================================================================== c | 21 | 500 628 53100 | 5000 21 85 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 0.568913 s Remaining CPU time: 179.431 s c =============================================================================== c | 21 | 500 629 53500 | 5000 21 85 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 0.577912 s Remaining CPU time: 179.422 s c =============================================================================== c | 21 | 500 630 53900 | 5000 21 85 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 0.58791 s Remaining CPU time: 179.412 s c =============================================================================== c | 21 | 500 631 54300 | 5000 21 85 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 0.597909 s Remaining CPU time: 179.402 s c =============================================================================== c | 22 | 500 632 54700 | 5000 22 81 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 0.606907 s Remaining CPU time: 179.393 s c =============================================================================== c | 23 | 500 633 55100 | 5000 23 78 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 0.615906 s Remaining CPU time: 179.384 s c =============================================================================== c | 25 | 500 634 55500 | 5000 25 73 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 0.625904 s Remaining CPU time: 179.374 s c =============================================================================== c | 25 | 500 635 55900 | 5000 25 73 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 0.635903 s Remaining CPU time: 179.364 s c =============================================================================== c | 25 | 500 636 56300 | 5000 25 73 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 0.645901 s Remaining CPU time: 179.354 s c =============================================================================== c | 25 | 500 637 56700 | 5000 25 73 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 0.6549 s Remaining CPU time: 179.345 s c =============================================================================== c | 27 | 500 638 57100 | 5000 27 77 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 0.664898 s Remaining CPU time: 179.335 s c =============================================================================== c | 28 | 500 639 57500 | 5000 28 75 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 0.674897 s Remaining CPU time: 179.325 s c =============================================================================== c | 28 | 500 640 57900 | 5000 28 75 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 0.684895 s Remaining CPU time: 179.315 s c =============================================================================== c | 28 | 500 641 58300 | 5000 28 75 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 0.695894 s Remaining CPU time: 179.304 s c =============================================================================== c | 28 | 500 642 58700 | 5000 28 75 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 0.705892 s Remaining CPU time: 179.294 s c =============================================================================== c | 28 | 500 643 59100 | 5000 28 75 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 0.716891 s Remaining CPU time: 179.283 s c =============================================================================== c | 28 | 500 644 59500 | 5000 28 75 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 0.726889 s Remaining CPU time: 179.273 s c =============================================================================== c | 29 | 500 645 59900 | 5000 29 73 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 0.736887 s Remaining CPU time: 179.263 s c =============================================================================== c | 30 | 500 646 60300 | 5000 30 70 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 0.747886 s Remaining CPU time: 179.252 s c =============================================================================== c | 30 | 500 647 60700 | 5000 30 70 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 0.757884 s Remaining CPU time: 179.242 s c =============================================================================== c | 30 | 500 648 61100 | 5000 30 70 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 0.768883 s Remaining CPU time: 179.231 s c =============================================================================== c | 31 | 500 649 61500 | 5000 31 69 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 0.779881 s Remaining CPU time: 179.22 s c =============================================================================== c | 31 | 500 650 61900 | 5000 31 69 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 0.790879 s Remaining CPU time: 179.209 s c =============================================================================== c | 31 | 500 651 62300 | 5000 31 69 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 0.801878 s Remaining CPU time: 179.198 s c =============================================================================== c | 32 | 500 652 62700 | 5000 32 74 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 0.812876 s Remaining CPU time: 179.187 s c =============================================================================== c | 32 | 500 653 63100 | 5000 32 74 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 0.823874 s Remaining CPU time: 179.176 s c =============================================================================== c | 32 | 500 654 63500 | 5000 32 74 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 0.835872 s Remaining CPU time: 179.164 s c =============================================================================== c | 32 | 500 655 63900 | 5000 32 74 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 0.847871 s Remaining CPU time: 179.152 s c =============================================================================== c | 32 | 500 656 64300 | 5000 32 74 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 0.859869 s Remaining CPU time: 179.14 s c =============================================================================== c | 32 | 500 657 64700 | 5000 32 74 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 0.871867 s Remaining CPU time: 179.128 s c =============================================================================== c | 32 | 500 658 65100 | 5000 32 74 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 0.883865 s Remaining CPU time: 179.116 s c =============================================================================== c | 32 | 500 659 65500 | 5000 32 74 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 0.895863 s Remaining CPU time: 179.104 s c =============================================================================== c | 32 | 500 660 65900 | 5000 32 74 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 0.907861 s Remaining CPU time: 179.092 s c =============================================================================== c | 32 | 500 661 66300 | 5000 32 74 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 0.91986 s Remaining CPU time: 179.08 s c =============================================================================== c | 32 | 500 662 66700 | 5000 32 74 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 0.931858 s Remaining CPU time: 179.068 s c =============================================================================== c | 32 | 500 663 67100 | 5000 32 74 | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 0.943856 s Remaining CPU time: 179.056 s c =============================================================================== c | 33 | 500 664 67500 | 5000 33 72 | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 0.955854 s Remaining CPU time: 179.044 s c =============================================================================== c | 33 | 500 665 67900 | 5000 33 72 | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 0.967852 s Remaining CPU time: 179.032 s c =============================================================================== c | 33 | 500 666 68300 | 5000 33 72 | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 0.979851 s Remaining CPU time: 179.02 s c =============================================================================== c | 33 | 500 667 68700 | 5000 33 72 | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 0.991849 s Remaining CPU time: 179.008 s c =============================================================================== c | 33 | 500 668 69100 | 5000 33 72 | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 1.00385 s Remaining CPU time: 178.996 s c =============================================================================== c | 34 | 500 669 69500 | 5000 34 71 | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 1.01684 s Remaining CPU time: 178.983 s c =============================================================================== c | 34 | 500 670 69900 | 5000 34 71 | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 1.02984 s Remaining CPU time: 178.97 s c =============================================================================== c | 34 | 500 671 70300 | 5000 34 71 | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 1.04284 s Remaining CPU time: 178.957 s c =============================================================================== c | 34 | 500 672 70700 | 5000 34 71 | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 1.05484 s Remaining CPU time: 178.945 s c =============================================================================== c | 34 | 500 673 71100 | 5000 34 71 | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 1.06884 s Remaining CPU time: 178.931 s c =============================================================================== c | 34 | 500 674 71500 | 5000 34 71 | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 1.08184 s Remaining CPU time: 178.918 s c =============================================================================== c | 35 | 500 675 71900 | 5000 35 69 | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 1.09483 s Remaining CPU time: 178.905 s c =============================================================================== c | 35 | 500 676 72300 | 5000 35 69 | 0.000 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 1.10683 s Remaining CPU time: 178.893 s c =============================================================================== c | 36 | 500 677 72700 | 5000 36 67 | 0.000 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 1.11983 s Remaining CPU time: 178.88 s c =============================================================================== c | 37 | 500 678 73100 | 5000 37 71 | 0.000 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 1.13183 s Remaining CPU time: 178.868 s c =============================================================================== c | 37 | 500 679 73500 | 5000 37 71 | 0.000 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 1.14583 s Remaining CPU time: 178.854 s c =============================================================================== c | 38 | 500 680 73900 | 5000 38 70 | 0.000 % | c =============================================================================== c New solution: 220 c Elapsed CPU time: 1.15982 s Remaining CPU time: 178.84 s c =============================================================================== c | 38 | 500 681 74300 | 5000 38 70 | 0.000 % | c =============================================================================== c New solution: 219 c Elapsed CPU time: 1.17282 s Remaining CPU time: 178.827 s c =============================================================================== c | 38 | 500 682 74700 | 5000 38 70 | 0.000 % | c =============================================================================== c New solution: 218 c Elapsed CPU time: 1.18582 s Remaining CPU time: 178.814 s c =============================================================================== c | 38 | 500 683 75100 | 5000 38 70 | 0.000 % | c =============================================================================== c New solution: 217 c Elapsed CPU time: 1.19982 s Remaining CPU time: 178.8 s c =============================================================================== c | 38 | 500 684 75500 | 5000 38 70 | 0.000 % | c =============================================================================== c New solution: 216 c Elapsed CPU time: 1.21382 s Remaining CPU time: 178.786 s c =============================================================================== c | 38 | 500 685 75900 | 5000 38 70 | 0.000 % | c =============================================================================== c New solution: 215 c Elapsed CPU time: 1.22581 s Remaining CPU time: 178.774 s c =============================================================================== c | 38 | 500 686 76300 | 5000 38 70 | 0.000 % | c =============================================================================== c New solution: 214 c Elapsed CPU time: 1.24081 s Remaining CPU time: 178.759 s c =============================================================================== c | 39 | 500 687 76700 | 5000 39 68 | 0.000 % | c =============================================================================== c New solution: 213 c Elapsed CPU time: 1.25381 s Remaining CPU time: 178.746 s c =============================================================================== c | 39 | 500 688 77100 | 5000 39 68 | 0.000 % | c =============================================================================== c New solution: 212 c Elapsed CPU time: 1.26881 s Remaining CPU time: 178.731 s c =============================================================================== c | 39 | 500 689 77500 | 5000 39 68 | 0.000 % | c =============================================================================== c New solution: 211 c Elapsed CPU time: 1.28181 s Remaining CPU time: 178.718 s c =============================================================================== c | 39 | 500 690 77900 | 5000 39 68 | 0.000 % | c =============================================================================== c New solution: 210 c Elapsed CPU time: 1.2948 s Remaining CPU time: 178.705 s c =============================================================================== c | 39 | 500 691 78300 | 5000 39 68 | 0.000 % | c =============================================================================== c New solution: 209 c Elapsed CPU time: 1.3088 s Remaining CPU time: 178.691 s c =============================================================================== c | 39 | 500 692 78700 | 5000 39 68 | 0.000 % | c =============================================================================== c New solution: 208 c Elapsed CPU time: 1.3238 s Remaining CPU time: 178.676 s c =============================================================================== c | 39 | 500 693 79100 | 5000 39 68 | 0.000 % | c =============================================================================== c New solution: 207 c Elapsed CPU time: 1.3368 s Remaining CPU time: 178.663 s c =============================================================================== c | 40 | 500 694 79500 | 5000 40 67 | 0.000 % | c =============================================================================== c New solution: 206 c Elapsed CPU time: 1.34979 s Remaining CPU time: 178.65 s c =============================================================================== c | 40 | 500 695 79900 | 5000 40 67 | 0.000 % | c =============================================================================== c New solution: 205 c Elapsed CPU time: 1.36379 s Remaining CPU time: 178.636 s c =============================================================================== c | 40 | 500 696 80300 | 5000 40 67 | 0.000 % | c =============================================================================== c New solution: 204 c Elapsed CPU time: 1.37879 s Remaining CPU time: 178.621 s c =============================================================================== c | 40 | 500 697 80700 | 5000 40 67 | 0.000 % | c =============================================================================== c New solution: 203 c Elapsed CPU time: 1.39279 s Remaining CPU time: 178.607 s c =============================================================================== c | 40 | 500 698 81100 | 5000 40 67 | 0.000 % | c =============================================================================== c New solution: 202 c Elapsed CPU time: 1.40679 s Remaining CPU time: 178.593 s c =============================================================================== c | 40 | 500 699 81500 | 5000 40 67 | 0.000 % | c =============================================================================== c New solution: 201 c Elapsed CPU time: 1.41978 s Remaining CPU time: 178.58 s c =============================================================================== c | 42 | 500 700 81900 | 5000 42 73 | 0.000 % | c =============================================================================== c New solution: 200 c Elapsed CPU time: 1.43378 s Remaining CPU time: 178.566 s c =============================================================================== c | 42 | 500 701 82300 | 5000 42 73 | 0.000 % | c =============================================================================== c New solution: 199 c Elapsed CPU time: 1.44678 s Remaining CPU time: 178.553 s c =============================================================================== c | 42 | 500 702 82700 | 5000 42 73 | 0.000 % | c =============================================================================== c New solution: 198 c Elapsed CPU time: 1.46078 s Remaining CPU time: 178.539 s c =============================================================================== c | 42 | 500 703 83100 | 5000 42 73 | 0.000 % | c =============================================================================== c New solution: 197 c Elapsed CPU time: 1.47578 s Remaining CPU time: 178.524 s c =============================================================================== c | 42 | 500 704 83500 | 5000 42 73 | 0.000 % | c =============================================================================== c New solution: 196 c Elapsed CPU time: 1.48977 s Remaining CPU time: 178.51 s c =============================================================================== c | 42 | 500 705 83900 | 5000 42 73 | 0.000 % | c =============================================================================== c New solution: 195 c Elapsed CPU time: 1.50477 s Remaining CPU time: 178.495 s c =============================================================================== c | 42 | 500 706 84300 | 5000 42 73 | 0.000 % | c =============================================================================== c New solution: 194 c Elapsed CPU time: 1.51977 s Remaining CPU time: 178.48 s c =============================================================================== c | 42 | 500 707 84700 | 5000 42 73 | 0.000 % | c =============================================================================== c New solution: 193 c Elapsed CPU time: 1.53377 s Remaining CPU time: 178.466 s c =============================================================================== c | 42 | 500 708 85100 | 5000 42 73 | 0.000 % | c =============================================================================== c New solution: 192 c Elapsed CPU time: 1.54876 s Remaining CPU time: 178.451 s c =============================================================================== c | 42 | 500 709 85500 | 5000 42 73 | 0.000 % | c =============================================================================== c New solution: 191 c Elapsed CPU time: 1.56276 s Remaining CPU time: 178.437 s c =============================================================================== c | 43 | 500 710 85900 | 5000 43 72 | 0.000 % | c =============================================================================== c New solution: 190 c Elapsed CPU time: 1.57776 s Remaining CPU time: 178.422 s c =============================================================================== c | 43 | 500 711 86300 | 5000 43 72 | 0.000 % | c =============================================================================== c New solution: 189 c Elapsed CPU time: 1.59376 s Remaining CPU time: 178.406 s c =============================================================================== c | 43 | 500 712 86700 | 5000 43 72 | 0.000 % | c =============================================================================== c New solution: 188 c Elapsed CPU time: 1.60676 s Remaining CPU time: 178.393 s c =============================================================================== c | 50 | 500 713 87100 | 5000 50 64 | 0.000 % | c =============================================================================== c New solution: 187 c Elapsed CPU time: 1.62175 s Remaining CPU time: 178.378 s c =============================================================================== c | 51 | 500 714 87500 | 5000 51 66 | 0.000 % | c =============================================================================== c New solution: 186 c Elapsed CPU time: 1.63775 s Remaining CPU time: 178.362 s c =============================================================================== c | 52 | 500 715 87900 | 5000 52 69 | 0.000 % | c =============================================================================== c New solution: 185 c Elapsed CPU time: 1.65175 s Remaining CPU time: 178.348 s c =============================================================================== c | 52 | 500 716 88300 | 5000 52 69 | 0.000 % | c =============================================================================== c New solution: 184 c Elapsed CPU time: 1.66875 s Remaining CPU time: 178.331 s c =============================================================================== c | 60 | 500 717 88700 | 5000 60 83 | 0.000 % | c =============================================================================== c New solution: 183 c Elapsed CPU time: 1.68374 s Remaining CPU time: 178.316 s c =============================================================================== c | 62 | 500 718 89100 | 5000 62 80 | 0.000 % | c =============================================================================== c New solution: 182 c Elapsed CPU time: 1.69874 s Remaining CPU time: 178.301 s c =============================================================================== c | 65 | 500 719 89500 | 5000 65 77 | 0.000 % | c =============================================================================== c New solution: 181 c Elapsed CPU time: 1.71374 s Remaining CPU time: 178.286 s c =============================================================================== c | 65 | 500 720 89900 | 5000 65 77 | 0.000 % | c =============================================================================== c New solution: 180 c Elapsed CPU time: 1.72874 s Remaining CPU time: 178.271 s c =============================================================================== c | 65 | 500 721 90300 | 5000 65 77 | 0.000 % | c =============================================================================== c New solution: 179 c Elapsed CPU time: 1.74373 s Remaining CPU time: 178.256 s c =============================================================================== c | 69 | 500 722 90700 | 5000 69 75 | 0.000 % | c =============================================================================== c New solution: 178 c Elapsed CPU time: 1.75873 s Remaining CPU time: 178.241 s c =============================================================================== c | 69 | 500 723 91100 | 5000 69 75 | 0.000 % | c =============================================================================== c New solution: 177 c Elapsed CPU time: 1.77373 s Remaining CPU time: 178.226 s c =============================================================================== c | 69 | 500 724 91500 | 5000 69 75 | 0.000 % | c =============================================================================== c New solution: 176 c Elapsed CPU time: 1.78973 s Remaining CPU time: 178.21 s c =============================================================================== c | 69 | 500 725 91900 | 5000 69 75 | 0.000 % | c =============================================================================== c New solution: 175 c Elapsed CPU time: 1.80472 s Remaining CPU time: 178.195 s c =============================================================================== c | 71 | 500 726 92300 | 5000 71 73 | 0.000 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 1.82072 s Remaining CPU time: 178.179 s c =============================================================================== c | 72 | 500 727 92700 | 5000 72 74 | 0.000 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 1.83672 s Remaining CPU time: 178.163 s c =============================================================================== c | 72 | 500 728 93100 | 5000 72 74 | 0.000 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 1.85272 s Remaining CPU time: 178.147 s c =============================================================================== c | 72 | 500 729 93500 | 5000 72 74 | 0.000 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 1.86772 s Remaining CPU time: 178.132 s c =============================================================================== c | 72 | 500 730 93900 | 5000 72 74 | 0.000 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 1.88271 s Remaining CPU time: 178.117 s c =============================================================================== c | 73 | 500 731 94300 | 5000 73 73 | 0.000 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 1.89971 s Remaining CPU time: 178.1 s c =============================================================================== c | 76 | 500 732 94700 | 5000 76 78 | 0.000 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 1.91471 s Remaining CPU time: 178.085 s c =============================================================================== c | 76 | 500 733 95100 | 5000 76 78 | 0.000 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 1.93071 s Remaining CPU time: 178.069 s c =============================================================================== c | 77 | 500 734 95500 | 5000 77 79 | 0.000 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 1.9467 s Remaining CPU time: 178.053 s c =============================================================================== c | 77 | 500 735 95900 | 5000 77 79 | 0.000 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 1.9667 s Remaining CPU time: 178.033 s c =============================================================================== c | 102 | 500 736 96300 | 5000 102 95 | 0.000 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 1.9827 s Remaining CPU time: 178.017 s c =============================================================================== c | 102 | 500 737 96700 | 5000 102 95 | 0.000 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 1.9987 s Remaining CPU time: 178.001 s c =============================================================================== c | 104 | 500 738 97100 | 5000 104 94 | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 2.01469 s Remaining CPU time: 177.985 s c =============================================================================== c | 106 | 500 739 97500 | 5000 106 92 | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 2.03069 s Remaining CPU time: 177.969 s c =============================================================================== c | 106 | 500 740 97900 | 5000 106 92 | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 2.04669 s Remaining CPU time: 177.953 s c =============================================================================== c | 108 | 500 741 98300 | 5000 108 91 | 0.000 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 2.06169 s Remaining CPU time: 177.938 s c =============================================================================== c | 111 | 500 742 98700 | 5000 111 88 | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 2.07868 s Remaining CPU time: 177.921 s c =============================================================================== c | 111 | 500 743 99100 | 5000 111 88 | 0.000 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 2.09468 s Remaining CPU time: 177.905 s c =============================================================================== c | 111 | 500 744 99500 | 5000 111 88 | 0.000 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 2.11068 s Remaining CPU time: 177.889 s c =============================================================================== c | 111 | 500 745 99900 | 5000 111 88 | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 2.12668 s Remaining CPU time: 177.873 s c =============================================================================== c | 112 | 500 746 100300 | 5000 112 88 | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 2.14267 s Remaining CPU time: 177.857 s c =============================================================================== c | 112 | 500 747 100700 | 5000 112 88 | 0.000 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 2.15967 s Remaining CPU time: 177.84 s c =============================================================================== c | 112 | 500 748 101100 | 5000 112 88 | 0.000 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 2.17567 s Remaining CPU time: 177.824 s c =============================================================================== c | 112 | 500 749 101500 | 5000 112 88 | 0.000 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 2.19067 s Remaining CPU time: 177.809 s c =============================================================================== c | 112 | 500 750 101900 | 5000 112 88 | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 2.20666 s Remaining CPU time: 177.793 s c =============================================================================== c | 112 | 500 751 102300 | 5000 112 88 | 0.000 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 2.22266 s Remaining CPU time: 177.777 s c =============================================================================== c | 112 | 500 752 102700 | 5000 112 88 | 0.000 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 2.23966 s Remaining CPU time: 177.76 s c =============================================================================== c | 116 | 500 753 103100 | 5000 116 85 | 0.000 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 2.25666 s Remaining CPU time: 177.743 s c =============================================================================== c | 116 | 500 754 103500 | 5000 116 85 | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 2.27265 s Remaining CPU time: 177.727 s c =============================================================================== c | 116 | 500 755 103900 | 5000 116 85 | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 2.28865 s Remaining CPU time: 177.711 s c =============================================================================== c | 116 | 500 756 104300 | 5000 116 85 | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 2.30465 s Remaining CPU time: 177.695 s c =============================================================================== c | 116 | 500 757 104700 | 5000 116 85 | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 2.32065 s Remaining CPU time: 177.679 s c =============================================================================== c | 118 | 500 758 105100 | 5000 118 84 | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 2.33564 s Remaining CPU time: 177.664 s c =============================================================================== c | 119 | 500 759 105500 | 5000 119 83 | 0.000 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 2.35264 s Remaining CPU time: 177.647 s c =============================================================================== c | 121 | 500 760 105900 | 5000 121 82 | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 2.36864 s Remaining CPU time: 177.631 s c =============================================================================== c | 122 | 500 761 106300 | 5000 122 83 | 0.000 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 2.38564 s Remaining CPU time: 177.614 s c =============================================================================== c | 124 | 500 762 106700 | 5000 124 83 | 0.000 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 2.40163 s Remaining CPU time: 177.598 s c =============================================================================== c | 125 | 500 763 107100 | 5000 125 83 | 0.000 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 2.41863 s Remaining CPU time: 177.581 s c =============================================================================== c | 126 | 500 764 107500 | 5000 126 83 | 0.000 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 2.43763 s Remaining CPU time: 177.562 s c =============================================================================== c | 136 | 500 765 107900 | 5000 136 87 | 0.000 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 2.45563 s Remaining CPU time: 177.544 s c =============================================================================== c | 143 | 500 766 108300 | 5000 143 84 | 0.000 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 2.47162 s Remaining CPU time: 177.528 s c =============================================================================== c | 145 | 500 767 108700 | 5000 145 83 | 0.000 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 2.48762 s Remaining CPU time: 177.512 s c =============================================================================== c | 145 | 500 768 109100 | 5000 145 83 | 0.000 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 2.50362 s Remaining CPU time: 177.496 s c =============================================================================== c | 145 | 500 769 109500 | 5000 145 83 | 0.000 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 2.52062 s Remaining CPU time: 177.479 s c =============================================================================== c | 145 | 500 770 109900 | 5000 145 83 | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 2.53661 s Remaining CPU time: 177.463 s c =============================================================================== c | 145 | 500 771 110300 | 5000 145 83 | 0.000 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 2.55361 s Remaining CPU time: 177.446 s c =============================================================================== c | 146 | 500 772 110700 | 5000 146 84 | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 2.56961 s Remaining CPU time: 177.43 s c =============================================================================== c | 146 | 500 773 111100 | 5000 146 84 | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 2.58561 s Remaining CPU time: 177.414 s c =============================================================================== c | 146 | 500 774 111500 | 5000 146 84 | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 2.6026 s Remaining CPU time: 177.397 s c =============================================================================== c | 146 | 500 775 111900 | 5000 146 84 | 0.000 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 2.6186 s Remaining CPU time: 177.381 s c =============================================================================== c | 146 | 500 776 112300 | 5000 146 84 | 0.000 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 2.6346 s Remaining CPU time: 177.365 s c =============================================================================== c | 146 | 500 777 112700 | 5000 146 84 | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 2.6506 s Remaining CPU time: 177.349 s c =============================================================================== c | 146 | 500 778 113100 | 5000 146 84 | 0.000 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 2.66659 s Remaining CPU time: 177.333 s c =============================================================================== c | 146 | 500 779 113500 | 5000 146 84 | 0.000 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 2.68259 s Remaining CPU time: 177.317 s c =============================================================================== c | 146 | 500 780 113900 | 5000 146 84 | 0.000 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 2.69859 s Remaining CPU time: 177.301 s c =============================================================================== c | 146 | 500 781 114300 | 5000 146 84 | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 2.71559 s Remaining CPU time: 177.284 s c =============================================================================== c | 148 | 500 782 114700 | 5000 148 84 | 0.000 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 2.73058 s Remaining CPU time: 177.269 s c =============================================================================== c | 148 | 500 783 115100 | 5000 148 84 | 0.000 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 2.74558 s Remaining CPU time: 177.254 s c =============================================================================== c | 148 | 500 784 115500 | 5000 148 84 | 0.000 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 2.76258 s Remaining CPU time: 177.237 s c =============================================================================== c | 150 | 500 785 115900 | 5000 150 84 | 0.000 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 2.77758 s Remaining CPU time: 177.222 s c =============================================================================== c | 153 | 500 786 116300 | 5000 153 82 | 0.000 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 2.79458 s Remaining CPU time: 177.205 s c =============================================================================== c | 157 | 500 787 116700 | 5000 157 81 | 0.000 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 2.82057 s Remaining CPU time: 177.179 s c =============================================================================== c | 188 | 500 788 117100 | 5000 188 88 | 0.000 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 2.83757 s Remaining CPU time: 177.162 s c =============================================================================== c | 208 | 500 789 117500 | 5000 208 83 | 0.000 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 2.86456 s Remaining CPU time: 177.135 s c =============================================================================== c | 231 | 500 790 117900 | 5000 231 87 | 0.000 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 2.88156 s Remaining CPU time: 177.118 s c =============================================================================== c | 246 | 500 791 118300 | 5000 246 83 | 0.000 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 2.89856 s Remaining CPU time: 177.101 s c =============================================================================== c | 248 | 500 792 118700 | 5000 248 83 | 0.000 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 2.91956 s Remaining CPU time: 177.08 s c =============================================================================== c | 262 | 500 793 119100 | 5000 262 84 | 0.000 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 2.93655 s Remaining CPU time: 177.063 s c =============================================================================== c | 271 | 500 794 119500 | 5000 271 82 | 0.000 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 2.95455 s Remaining CPU time: 177.045 s c =============================================================================== c | 276 | 500 795 119900 | 5000 276 82 | 0.000 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 2.97155 s Remaining CPU time: 177.028 s c =============================================================================== c | 283 | 500 796 120300 | 5000 283 82 | 0.000 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 2.98955 s Remaining CPU time: 177.01 s c =============================================================================== c | 303 | 500 797 120700 | 5000 303 80 | 0.000 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 3.00654 s Remaining CPU time: 176.993 s c =============================================================================== c | 306 | 500 798 121100 | 5000 306 80 | 0.000 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 3.02254 s Remaining CPU time: 176.977 s c =============================================================================== c | 306 | 500 799 121500 | 5000 306 80 | 0.000 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 3.03954 s Remaining CPU time: 176.96 s c =============================================================================== c | 310 | 500 800 121900 | 5000 310 79 | 0.000 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 3.05654 s Remaining CPU time: 176.943 s c =============================================================================== c | 313 | 500 801 122300 | 5000 313 80 | 0.000 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 3.07253 s Remaining CPU time: 176.927 s c =============================================================================== c | 315 | 500 802 122700 | 5000 315 80 | 0.000 % | c =============================================================================== c New solution: 98 c Elapsed CPU time: 3.08953 s Remaining CPU time: 176.91 s c =============================================================================== c | 316 | 500 803 123100 | 5000 316 80 | 0.000 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 3.10553 s Remaining CPU time: 176.894 s c =============================================================================== c | 318 | 500 804 123500 | 5000 318 80 | 0.000 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 3.12153 s Remaining CPU time: 176.878 s c =============================================================================== c | 320 | 500 805 123900 | 5000 320 80 | 0.000 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 3.14752 s Remaining CPU time: 176.852 s c =============================================================================== c | 364 | 500 806 124300 | 5000 364 78 | 0.000 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 3.17052 s Remaining CPU time: 176.829 s c =============================================================================== c | 388 | 500 807 124700 | 5000 388 78 | 0.000 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 3.18651 s Remaining CPU time: 176.813 s c =============================================================================== c | 407 | 500 808 125100 | 5000 407 76 | 0.000 % | c | 507 | 500 808 125100 | 5500 507 81 | 0.000 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 3.2555 s Remaining CPU time: 176.744 s c =============================================================================== c | 523 | 500 809 125500 | 5000 523 79 | 0.000 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 3.2725 s Remaining CPU time: 176.727 s c =============================================================================== c | 538 | 500 810 125900 | 5000 538 78 | 0.000 % | c | 638 | 500 810 125900 | 5500 638 81 | 0.000 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 3.35449 s Remaining CPU time: 176.646 s c =============================================================================== c | 641 | 500 811 126300 | 5000 641 81 | 0.000 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 3.37049 s Remaining CPU time: 176.63 s c =============================================================================== c | 654 | 500 812 126700 | 5000 654 80 | 0.000 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 3.38449 s Remaining CPU time: 176.616 s c =============================================================================== c | 654 | 500 813 127100 | 5000 654 80 | 0.000 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 3.39948 s Remaining CPU time: 176.601 s c =============================================================================== c | 654 | 500 814 127500 | 5000 654 80 | 0.000 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 3.41448 s Remaining CPU time: 176.586 s c =============================================================================== c | 654 | 500 815 127900 | 5000 654 80 | 0.000 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 3.43048 s Remaining CPU time: 176.57 s c =============================================================================== c | 654 | 500 816 128300 | 5000 654 80 | 0.000 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 3.44648 s Remaining CPU time: 176.554 s c =============================================================================== c | 654 | 500 817 128700 | 5000 654 80 | 0.000 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 3.46147 s Remaining CPU time: 176.539 s c =============================================================================== c | 654 | 500 818 129100 | 5000 654 80 | 0.000 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 3.47647 s Remaining CPU time: 176.524 s c =============================================================================== c | 654 | 500 819 129500 | 5000 654 80 | 0.000 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 3.49147 s Remaining CPU time: 176.509 s c =============================================================================== c | 654 | 500 820 129900 | 5000 654 80 | 0.000 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 3.50547 s Remaining CPU time: 176.495 s c =============================================================================== c | 654 | 500 821 130300 | 5000 654 80 | 0.000 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 3.52046 s Remaining CPU time: 176.48 s c =============================================================================== c | 655 | 500 822 130700 | 5000 655 80 | 0.000 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 3.53546 s Remaining CPU time: 176.465 s c =============================================================================== c | 656 | 500 823 131100 | 5000 656 80 | 0.000 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 3.55046 s Remaining CPU time: 176.45 s c =============================================================================== c | 658 | 500 824 131500 | 5000 658 80 | 0.000 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 3.56546 s Remaining CPU time: 176.435 s c =============================================================================== c | 660 | 500 825 131900 | 5000 660 80 | 0.000 % | c | 760 | 500 825 131900 | 5500 760 80 | 0.000 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 3.63245 s Remaining CPU time: 176.368 s c =============================================================================== c | 781 | 500 826 132300 | 5000 781 79 | 0.000 % | c | 881 | 500 826 132300 | 5500 881 79 | 0.000 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 3.72043 s Remaining CPU time: 176.28 s c =============================================================================== c | 1006 | 500 827 132700 | 5000 1006 79 | 0.000 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 3.73443 s Remaining CPU time: 176.266 s c =============================================================================== c | 1052 | 500 828 133100 | 5000 1052 77 | 0.000 % | c | 1153 | 500 828 133100 | 5500 1153 77 | 0.000 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 3.81642 s Remaining CPU time: 176.184 s c =============================================================================== c | 1259 | 500 829 133500 | 5000 1259 74 | 0.000 % | c | 1359 | 500 829 133500 | 5500 1359 74 | 0.000 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 3.98939 s Remaining CPU time: 176.011 s c =============================================================================== c | 1466 | 500 830 133900 | 5000 1466 74 | 0.000 % | c | 1568 | 500 830 133900 | 5500 1568 71 | 0.000 % | c | 1718 | 500 830 133900 | 6050 1718 72 | 0.000 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 4.09438 s Remaining CPU time: 175.906 s c =============================================================================== c | 1730 | 500 831 134300 | 5000 1730 71 | 0.000 % | c | 1830 | 500 831 134300 | 5500 1830 72 | 0.000 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 4.14237 s Remaining CPU time: 175.858 s c =============================================================================== c | 1863 | 500 832 134700 | 5000 1863 71 | 0.000 % | c | 1963 | 500 832 134700 | 5500 1963 71 | 0.000 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 4.21536 s Remaining CPU time: 175.785 s c =============================================================================== c | 2088 | 500 833 135100 | 5000 2088 69 | 0.000 % | c | 2189 | 500 833 135100 | 5500 2189 69 | 0.000 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 4.28135 s Remaining CPU time: 175.719 s c =============================================================================== c | 2301 | 500 834 135500 | 5000 2301 67 | 0.000 % | c | 2402 | 500 834 135500 | 5500 2402 68 | 0.000 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 4.41833 s Remaining CPU time: 175.582 s c =============================================================================== c | 2405 | 500 835 135900 | 5000 2405 68 | 0.000 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 4.43133 s Remaining CPU time: 175.569 s c =============================================================================== c | 2405 | 500 836 136300 | 5000 2405 68 | 0.000 % | c | 2506 | 500 836 136300 | 5500 2506 66 | 0.000 % | c | 2657 | 500 836 136300 | 6050 2657 67 | 0.000 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 4.54631 s Remaining CPU time: 175.454 s c =============================================================================== c | 2742 | 500 837 136700 | 5000 2742 66 | 0.000 % | c | 2842 | 500 837 136700 | 5500 2842 66 | 0.000 % | c | 2992 | 500 837 136700 | 6050 2992 65 | 0.000 % | c | 3218 | 500 837 136700 | 6655 3218 65 | 0.000 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 4.79927 s Remaining CPU time: 175.201 s c =============================================================================== c | 3391 | 500 838 137100 | 5000 3391 64 | 0.000 % | c | 3491 | 500 838 137100 | 5500 3491 64 | 0.000 % | c | 3641 | 500 838 137100 | 6050 3641 64 | 0.000 % | c | 3866 | 500 838 137100 | 6655 3866 64 | 0.000 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 5.05923 s Remaining CPU time: 174.941 s c =============================================================================== c | 4023 | 500 839 137500 | 5000 4023 63 | 0.000 % | c | 4123 | 500 839 137500 | 5500 4123 63 | 0.000 % | c | 4274 | 500 839 137500 | 6050 4274 62 | 0.000 % | c | 4499 | 500 839 137500 | 6655 4499 63 | 0.000 % | c | 4836 | 500 839 137500 | 7320 4836 63 | 0.000 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 5.37418 s Remaining CPU time: 174.626 s c =============================================================================== c | 4968 | 500 840 137900 | 5000 4968 62 | 0.000 % | c | 5069 | 500 840 137900 | 5500 5069 62 | 0.000 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 5.48616 s Remaining CPU time: 174.514 s c =============================================================================== c | 5119 | 500 841 138300 | 5000 5119 62 | 0.000 % | c | 5219 | 500 841 138300 | 5500 2660 54 | 0.000 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 5.58115 s Remaining CPU time: 174.419 s c =============================================================================== c | 5267 | 500 842 138700 | 5000 2708 53 | 0.000 % | c | 5367 | 500 842 138700 | 5500 2808 54 | 0.000 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 5.66214 s Remaining CPU time: 174.338 s c =============================================================================== c | 5386 | 500 843 139100 | 5000 2827 54 | 0.000 % | c | 5486 | 500 843 139100 | 5500 2927 54 | 0.000 % | c | 5636 | 500 843 139100 | 6050 3077 54 | 0.000 % | c | 5861 | 500 843 139100 | 6655 3302 54 | 0.000 % | c | 6198 | 500 843 139100 | 7320 3639 55 | 0.000 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 6.11707 s Remaining CPU time: 173.883 s c =============================================================================== c | 6321 | 500 844 139500 | 5000 3762 54 | 0.000 % | c | 6421 | 500 844 139500 | 5500 3862 54 | 0.000 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 6.17706 s Remaining CPU time: 173.823 s c =============================================================================== c | 6549 | 500 845 139900 | 5000 3990 54 | 0.000 % | c | 6649 | 500 845 139900 | 5500 4090 54 | 0.000 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 6.23805 s Remaining CPU time: 173.762 s c =============================================================================== c | 6748 | 500 846 140300 | 5000 4189 54 | 0.000 % | c | 6848 | 500 846 140300 | 5500 4289 54 | 0.000 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 6.29404 s Remaining CPU time: 173.706 s c =============================================================================== c | 6927 | 500 847 140700 | 5000 4368 53 | 0.000 % | c | 7027 | 500 847 140700 | 5500 4468 54 | 0.000 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 6.42902 s Remaining CPU time: 173.571 s c =============================================================================== c | 7160 | 500 848 141100 | 5000 4601 53 | 0.000 % | c | 7260 | 500 848 141100 | 5500 4701 53 | 0.000 % | c | 7410 | 500 848 141100 | 6050 4851 54 | 0.000 % | c | 7635 | 500 848 141100 | 6655 5076 54 | 0.000 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 6.72398 s Remaining CPU time: 173.276 s c =============================================================================== c | 7962 | 500 849 141500 | 5000 5403 53 | 0.000 % | c | 8062 | 500 849 141500 | 5500 2802 47 | 0.000 % | c | 8213 | 500 849 141500 | 6050 2953 47 | 0.000 % | c | 8439 | 500 849 141500 | 6655 3179 48 | 0.000 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 6.90995 s Remaining CPU time: 173.09 s c =============================================================================== c | 8620 | 500 850 141900 | 5000 3360 47 | 0.000 % | c | 8721 | 500 850 141900 | 5500 3461 48 | 0.000 % | c =============================================================================== c New solution: 50 c Elapsed CPU time: 6.97294 s Remaining CPU time: 173.027 s c =============================================================================== c | 8789 | 500 851 142300 | 5000 3529 47 | 0.000 % | c | 8889 | 500 851 142300 | 5500 3629 48 | 0.000 % | c | 9039 | 500 851 142300 | 6050 3779 48 | 0.000 % | c | 9264 | 500 851 142300 | 6655 4004 48 | 0.000 % | c =============================================================================== c New solution: 49 c Elapsed CPU time: 7.2119 s Remaining CPU time: 172.788 s c =============================================================================== c | 9304 | 500 852 142700 | 5000 4044 48 | 0.000 % | c | 9404 | 500 852 142700 | 5500 4144 48 | 0.000 % | c | 9555 | 500 852 142700 | 6050 4295 48 | 0.000 % | c | 9780 | 500 852 142700 | 6655 4520 49 | 0.000 % | c | 10118 | 500 852 142700 | 7320 4858 49 | 0.000 % | c =============================================================================== c New solution: 48 c Elapsed CPU time: 7.55285 s Remaining CPU time: 172.447 s c =============================================================================== c | 10186 | 500 853 143100 | 5000 4926 49 | 0.000 % | c | 10287 | 500 853 143100 | 5500 5027 49 | 0.000 % | c =============================================================================== c New solution: 47 c Elapsed CPU time: 7.61384 s Remaining CPU time: 172.386 s c =============================================================================== c | 10370 | 500 854 143500 | 5000 5110 49 | 0.000 % | c | 10470 | 500 854 143500 | 5500 2655 45 | 0.000 % | c | 10620 | 500 854 143500 | 6050 2805 45 | 0.000 % | c | 10845 | 500 854 143500 | 6655 3030 44 | 0.000 % | c | 11182 | 500 854 143500 | 7320 3367 45 | 0.000 % | c | 11688 | 500 854 143500 | 8052 3873 47 | 0.000 % | c | 12447 | 500 854 143500 | 8857 4632 48 | 0.000 % | c =============================================================================== c New solution: 46 c Elapsed CPU time: 8.58969 s Remaining CPU time: 171.41 s c =============================================================================== c | 12561 | 500 855 143900 | 5000 4746 49 | 0.000 % | c | 12661 | 500 855 143900 | 5500 4846 49 | 0.000 % | c | 12811 | 500 855 143900 | 6050 4996 49 | 0.000 % | c | 13036 | 500 855 143900 | 6655 5221 49 | 0.000 % | c | 13373 | 500 855 143900 | 7320 5558 49 | 0.000 % | c | 13879 | 500 855 143900 | 8052 6064 49 | 0.000 % | c =============================================================================== c New solution: 45 c Elapsed CPU time: 9.50255 s Remaining CPU time: 170.497 s c =============================================================================== c | 14445 | 500 856 144300 | 5000 6630 50 | 0.000 % | c | 14545 | 500 856 144300 | 5500 3415 50 | 0.000 % | c | 14696 | 500 856 144300 | 6050 3566 50 | 0.000 % | c | 14922 | 500 856 144300 | 6655 3792 50 | 0.000 % | c | 15259 | 500 856 144300 | 7320 4129 50 | 0.000 % | c | 15765 | 500 856 144300 | 8052 4635 50 | 0.000 % | c =============================================================================== c New solution: 44 c Elapsed CPU time: 10.1545 s Remaining CPU time: 169.846 s c =============================================================================== c | 15987 | 500 857 144700 | 5000 4857 50 | 0.000 % | c | 16087 | 500 857 144700 | 5500 4957 50 | 0.000 % | c | 16237 | 500 857 144700 | 6050 5107 50 | 0.000 % | c | 16462 | 500 857 144700 | 6655 5332 50 | 0.000 % | c | 16799 | 500 857 144700 | 7320 5669 50 | 0.000 % | c | 17305 | 500 857 144700 | 8052 6175 50 | 0.000 % | c | 18064 | 500 857 144700 | 8857 6934 50 | 0.000 % | c | 19203 | 500 857 144700 | 9743 8073 51 | 0.000 % | c =============================================================================== c New solution: 43 c Elapsed CPU time: 11.8182 s Remaining CPU time: 168.182 s c =============================================================================== c | 19324 | 500 858 145100 | 5000 8194 51 | 0.000 % | c | 19424 | 500 858 145100 | 5500 4197 48 | 0.000 % | c | 19574 | 500 858 145100 | 6050 4347 48 | 0.000 % | c | 19799 | 500 858 145100 | 6655 4572 48 | 0.000 % | c | 20136 | 500 858 145100 | 7320 4909 48 | 0.000 % | c | 20642 | 500 858 145100 | 8052 5415 48 | 0.000 % | c =============================================================================== c New solution: 42 c Elapsed CPU time: 12.3581 s Remaining CPU time: 167.642 s c =============================================================================== c | 20823 | 500 859 145500 | 5000 5596 48 | 0.000 % | c | 20924 | 500 859 145500 | 5500 2899 45 | 0.000 % | c | 21075 | 500 859 145500 | 6050 3050 45 | 0.000 % | c =============================================================================== c New solution: 41 c Elapsed CPU time: 12.5501 s Remaining CPU time: 167.45 s c =============================================================================== c | 21259 | 500 860 145900 | 5000 3234 45 | 0.000 % | c | 21359 | 500 860 145900 | 5500 3334 45 | 0.000 % | c | 21509 | 500 860 145900 | 6050 3484 45 | 0.000 % | c | 21735 | 500 860 145900 | 6655 3710 45 | 0.000 % | c | 22072 | 500 860 145900 | 7320 4047 45 | 0.000 % | c | 22578 | 500 860 145900 | 8052 4553 45 | 0.000 % | c =============================================================================== c New solution: 40 c Elapsed CPU time: 13.094 s Remaining CPU time: 166.906 s c =============================================================================== c | 22660 | 500 861 146300 | 5000 4635 46 | 0.000 % | c | 22760 | 500 861 146300 | 5500 4735 46 | 0.000 % | c | 22911 | 500 861 146300 | 6050 4886 46 | 0.000 % | c | 23136 | 500 861 146300 | 6655 5111 45 | 0.000 % | c | 23473 | 500 861 146300 | 7320 5448 46 | 0.000 % | c | 23979 | 500 861 146300 | 8052 5954 46 | 0.000 % | c | 24738 | 500 861 146300 | 8857 6713 46 | 0.000 % | c =============================================================================== c New solution: 39 c Elapsed CPU time: 13.9579 s Remaining CPU time: 166.042 s c =============================================================================== c | 24931 | 500 862 146700 | 5000 6906 46 | 0.000 % | c | 25031 | 500 862 146700 | 5500 3553 44 | 0.000 % | c | 25181 | 500 862 146700 | 6050 3703 44 | 0.000 % | c | 25408 | 500 862 146700 | 6655 3930 44 | 0.000 % | c | 25745 | 500 862 146700 | 7320 4267 44 | 0.000 % | c | 26251 | 500 862 146700 | 8052 4773 44 | 0.000 % | c | 27010 | 500 862 146700 | 8857 5532 44 | 0.000 % | c | 28149 | 500 862 146700 | 9743 6671 45 | 0.000 % | c | 29857 | 500 862 146700 | 10717 8379 47 | 0.000 % | c =============================================================================== c New solution: 38 c Elapsed CPU time: 17.8903 s Remaining CPU time: 162.11 s c =============================================================================== c | 31711 | 500 863 147100 | 5000 10233 48 | 0.000 % | c | 31812 | 500 863 147100 | 5500 2660 50 | 0.000 % | c | 31962 | 500 863 147100 | 6050 2810 51 | 0.000 % | c | 32187 | 500 863 147100 | 6655 3035 50 | 0.000 % | c | 32524 | 500 863 147100 | 7320 3372 51 | 0.000 % | c | 33030 | 500 863 147100 | 8052 3878 51 | 0.000 % | c | 33789 | 500 863 147100 | 8857 4637 52 | 0.000 % | c | 34928 | 500 863 147100 | 9743 5776 52 | 0.000 % | c | 36637 | 500 863 147100 | 10717 7485 51 | 0.000 % | c | 39200 | 500 863 147100 | 11789 10048 51 | 0.000 % | c | 43044 | 500 863 147100 | 12968 7970 47 | 0.000 % | c | 48810 | 500 863 147100 | 14265 7224 45 | 0.000 % | c =============================================================================== c New solution: 37 c Elapsed CPU time: 32.0321 s Remaining CPU time: 147.968 s c =============================================================================== c | 56684 | 500 864 147500 | 5000 7930 45 | 0.000 % | c | 56784 | 500 864 147500 | 5500 4065 44 | 0.000 % | c | 56934 | 500 864 147500 | 6050 4215 44 | 0.000 % | c | 57159 | 500 864 147500 | 6655 4440 44 | 0.000 % | c | 57496 | 500 864 147500 | 7320 4777 44 | 0.000 % | c | 58002 | 500 864 147500 | 8052 5283 44 | 0.000 % | c =============================================================================== c New solution: 36 c Elapsed CPU time: 32.899 s Remaining CPU time: 147.101 s c =============================================================================== c | 58575 | 500 865 147900 | 5000 5856 45 | 0.000 % | c | 58675 | 500 865 147900 | 5500 3028 44 | 0.000 % | c | 58826 | 500 865 147900 | 6050 3179 44 | 0.000 % | c | 59052 | 500 865 147900 | 6655 3405 44 | 0.000 % | c | 59389 | 500 865 147900 | 7320 3742 44 | 0.000 % | c | 59895 | 500 865 147900 | 8052 4248 44 | 0.000 % | c | 60655 | 500 865 147900 | 8857 5008 44 | 0.000 % | c =============================================================================== c New solution: 35 c Elapsed CPU time: 34.1558 s Remaining CPU time: 145.844 s c =============================================================================== c | 61268 | 500 866 148300 | 5000 5621 44 | 0.000 % | c | 61369 | 500 866 148300 | 5500 2912 41 | 0.000 % | c | 61519 | 500 866 148300 | 6050 3062 41 | 0.000 % | c | 61744 | 500 866 148300 | 6655 3287 42 | 0.000 % | c =============================================================================== c New solution: 34 c Elapsed CPU time: 34.4238 s Remaining CPU time: 145.576 s c =============================================================================== c | 61796 | 500 867 148700 | 5000 3339 43 | 0.000 % | c | 61896 | 500 867 148700 | 5500 3439 43 | 0.000 % | c | 62047 | 500 867 148700 | 6050 3590 43 | 0.000 % | c | 62272 | 500 867 148700 | 6655 3815 43 | 0.000 % | c =============================================================================== c New solution: 33 c Elapsed CPU time: 34.6147 s Remaining CPU time: 145.385 s c =============================================================================== c | 62505 | 500 868 149100 | 5000 4048 43 | 0.000 % | c | 62605 | 500 868 149100 | 5500 4148 43 | 0.000 % | c | 62755 | 500 868 149100 | 6050 4298 43 | 0.000 % | c | 62981 | 500 868 149100 | 6655 4524 43 | 0.000 % | c =============================================================================== c New solution: 32 c Elapsed CPU time: 34.8637 s Remaining CPU time: 145.136 s c =============================================================================== c | 63060 | 500 869 149500 | 5000 4603 42 | 0.000 % | c | 63160 | 500 869 149500 | 5500 4703 42 | 0.000 % | c | 63310 | 500 869 149500 | 6050 4853 42 | 0.000 % | c | 63535 | 500 869 149500 | 6655 5078 42 | 0.000 % | c | 63872 | 500 869 149500 | 7320 5415 42 | 0.000 % | c | 64378 | 500 869 149500 | 8052 5921 42 | 0.000 % | c | 65137 | 500 869 149500 | 8857 6680 42 | 0.000 % | c | 66276 | 500 869 149500 | 9743 7819 42 | 0.000 % | c | 67984 | 500 869 149500 | 10717 9527 42 | 0.000 % | c | 70546 | 500 869 149500 | 11789 6704 41 | 0.000 % | c | 74390 | 500 869 149500 | 12968 10548 41 | 0.000 % | c | 80156 | 500 869 149500 | 14265 9798 42 | 0.000 % | c | 88805 | 500 869 149500 | 15692 11287 44 | 0.000 % | c =============================================================================== c New solution: 31 c Elapsed CPU time: 57.6822 s Remaining CPU time: 122.318 s c =============================================================================== c | 99192 | 500 870 149900 | 5000 13801 44 | 0.000 % | c | 99292 | 500 870 149900 | 5500 3551 42 | 0.000 % | c | 99443 | 500 870 149900 | 6050 3702 42 | 0.000 % | c | 99668 | 500 870 149900 | 6655 3927 42 | 0.000 % | c | 100005 | 500 870 149900 | 7320 4264 42 | 0.000 % | c | 100511 | 500 870 149900 | 8052 4770 42 | 0.000 % | c | 101270 | 500 870 149900 | 8857 5529 42 | 0.000 % | c | 102410 | 500 870 149900 | 9743 6669 42 | 0.000 % | c | 104118 | 500 870 149900 | 10717 8377 41 | 0.000 % | c | 106680 | 500 870 149900 | 11789 5555 38 | 0.000 % | c | 110525 | 500 870 149900 | 12968 9400 40 | 0.000 % | c | 116291 | 500 870 149900 | 14265 8654 41 | 0.000 % | c | 124940 | 500 870 149900 | 15692 10146 42 | 0.000 % | c | 137914 | 500 870 149900 | 17261 15250 41 | 0.000 % | c | 157375 | 500 870 149900 | 18987 8747 38 | 0.000 % | c | 186567 | 500 870 149900 | 20886 18885 40 | 0.000 % | c =============================================================================== c New solution: 30 c Elapsed CPU time: 117.569 s Remaining CPU time: 62.4309 s c =============================================================================== c | 201867 | 500 871 150300 | 5000 13253 40 | 0.000 % | c | 201967 | 500 871 150300 | 5500 3414 39 | 0.000 % | c | 202117 | 500 871 150300 | 6050 3564 39 | 0.000 % | c | 202342 | 500 871 150300 | 6655 3789 40 | 0.000 % | c | 202680 | 500 871 150300 | 7320 4127 41 | 0.000 % | c | 203186 | 500 871 150300 | 8052 4633 41 | 0.000 % | c | 203945 | 500 871 150300 | 8857 5392 40 | 0.000 % | c | 205084 | 500 871 150300 | 9743 6531 41 | 0.000 % | c | 206792 | 500 871 150300 | 10717 8239 42 | 0.000 % | c =============================================================================== c New solution: 29 c Elapsed CPU time: 120.907 s Remaining CPU time: 59.0934 s c =============================================================================== c | 207351 | 500 872 150700 | 5000 8798 43 | 0.000 % | c | 207451 | 500 872 150700 | 5500 4499 44 | 0.000 % | c | 207601 | 500 872 150700 | 6050 4649 44 | 0.000 % | c | 207826 | 500 872 150700 | 6655 4874 44 | 0.000 % | c | 208163 | 500 872 150700 | 7320 5211 44 | 0.000 % | c | 208669 | 500 872 150700 | 8052 5717 44 | 0.000 % | c | 209428 | 500 872 150700 | 8857 6476 43 | 0.000 % | c | 210567 | 500 872 150700 | 9743 7615 43 | 0.000 % | c | 212275 | 500 872 150700 | 10717 9323 43 | 0.000 % | c | 214837 | 500 872 150700 | 11789 6509 40 | 0.000 % | c | 218681 | 500 872 150700 | 12968 10353 42 | 0.000 % | c | 224447 | 500 872 150700 | 14265 9596 44 | 0.000 % | c | 233096 | 500 872 150700 | 15692 11095 43 | 0.000 % | c | 246071 | 500 872 150700 | 17261 8323 44 | 0.000 % | c | 265532 | 500 872 150700 | 18987 10479 41 | 0.000 % | c =============================================================================== c New solution: 28 c Elapsed CPU time: 177.398 s Remaining CPU time: 2.60197 s c =============================================================================== c | 289394 | 500 873 151100 | 5000 15292 38 | 0.000 % | c | 289495 | 500 873 151100 | 5500 3924 36 | 0.000 % | c | 289645 | 500 873 151100 | 6050 4074 36 | 0.000 % | c | 289870 | 500 873 151100 | 6655 4299 36 | 0.000 % | c | 290207 | 500 873 151100 | 7320 4636 36 | 0.000 % | c | 290713 | 500 873 151100 | 8052 5142 36 | 0.000 % | c =============================================================================== c New solution: 27 c Elapsed CPU time: 177.962 s Remaining CPU time: 2.03805 s c =============================================================================== c | 290763 | 500 874 151500 | 5000 5192 36 | 0.000 % | c | 290864 | 500 874 151500 | 5500 2697 35 | 0.000 % | c | 291014 | 500 874 151500 | 6050 2847 36 | 0.000 % | c | 291241 | 500 874 151500 | 6655 3074 35 | 0.000 % | c | 291579 | 500 874 151500 | 7320 3412 35 | 0.000 % | c | 292086 | 500 874 151500 | 8052 3919 37 | 0.000 % | c =============================================================================== c New solution: 26 c Elapsed CPU time: 178.79 s Remaining CPU time: 1.21018 s c =============================================================================== c | 292476 | 500 875 151900 | 5000 4309 37 | 0.000 % | c | 292576 | 500 875 151900 | 5500 4409 37 | 0.000 % | c | 292726 | 500 875 151900 | 6050 4559 37 | 0.000 % | c | 292951 | 500 875 151900 | 6655 4784 38 | 0.000 % | c | 293288 | 500 875 151900 | 7320 5121 38 | 0.000 % | c | 293794 | 500 875 151900 | 8052 5627 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 1277 1903 | 5000 0 nan | 0.000 % | c | 101 | 100 1277 1903 | 5500 101 34 | 80.001 % | c | 252 | 99 1277 1903 | 6050 134 29 | 80.202 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 774 1278 128114 | 5000 0 nan | 0.000 % | c | 100 | 774 1278 128114 | 5500 100 31 | 7.527 % | c | 251 | 774 1278 128114 | 6050 251 18 | 7.527 % | c | 476 | 774 1278 128114 | 6655 476 21 | 7.527 % | c | 816 | 774 1278 128114 | 7320 816 18 | 7.527 % | c | 1323 | 774 1278 128114 | 8052 1323 18 | 7.527 % | c | 2082 | 774 1278 128114 | 8857 2082 17 | 7.527 % | c | 3222 | 774 1278 128114 | 9743 3222 19 | 7.527 % | c | 4932 | 773 1278 128114 | 10717 3433 16 | 7.646 % | c | 7494 | 773 1278 128114 | 11789 5995 16 | 7.647 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1235 1279 153774 | 5000 0 nan | 0.000 % | c | 100 | 1235 1279 153774 | 5500 100 35 | 0.081 % | c | 254 | 1235 1279 153774 | 6050 254 34 | 0.081 % | c | 480 | 1235 1279 153774 | 6655 480 33 | 0.081 % | c | 817 | 1235 1279 153774 | 7320 817 34 | 0.081 % | c | 1324 | 1235 1279 153774 | 8052 1324 33 | 0.081 % | c | 2084 | 1235 1279 153774 | 8857 2084 33 | 0.081 % | c | 3224 | 1235 1279 153774 | 9743 3224 33 | 0.081 % | c | 4932 | 1235 1279 153774 | 10717 4932 33 | 0.081 % | c | 7495 | 1235 1279 153774 | 11789 7495 33 | 0.081 % | c | 11339 | 1235 1279 153774 | 12968 11339 33 | 0.081 % | c | 17105 | 1235 1279 153774 | 14265 10579 34 | 0.081 % | c | 25754 | 1235 1279 153774 | 15692 12053 34 | 0.081 % | c | 38729 | 1235 1279 153774 | 17261 9254 34 | 0.081 % | c | 58190 | 1235 1279 153774 | 18987 11400 38 | 0.081 % | c | 87382 | 1235 1279 153774 | 20886 12065 43 | 0.081 % | c | 131171 | 1235 1279 153774 | 22974 14051 34 | 0.081 % | c | 196857 | 1235 1279 153774 | 25272 21787 15 | 0.081 % | c =============================================================================== c Total CPU time: 629.637 s