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 | 1 | 500 501 2300 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 1 | 500 502 2700 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 1 | 500 503 3100 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 1 | 500 504 3500 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 1 | 500 505 3900 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 1 | 500 506 4300 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 1 | 500 507 4700 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 1 | 500 508 5100 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 1 | 500 509 5500 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 1 | 500 510 5900 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 1 | 500 511 6300 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 1 | 500 512 6700 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 1 | 500 513 7100 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 1 | 500 514 7500 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 1 | 500 515 7900 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 1 | 500 516 8300 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 1 | 500 517 8700 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 1 | 500 518 9100 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 1 | 500 519 9500 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 1 | 500 520 9900 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 1 | 500 521 10300 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 1 | 500 522 10700 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 1 | 500 523 11100 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 1 | 500 524 11500 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 1 | 500 525 11900 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 1 | 500 526 12300 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 1 | 500 527 12700 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 1 | 500 528 13100 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 1 | 500 529 13500 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 1 | 500 530 13900 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 1 | 500 531 14300 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 1 | 500 532 14700 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 1 | 500 533 15100 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 1 | 500 534 15500 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 1 | 500 535 15900 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 1 | 500 536 16300 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 1 | 500 537 16700 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 1 | 500 538 17100 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 1 | 500 539 17500 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 1 | 500 540 17900 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 1 | 500 541 18300 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 1 | 500 542 18700 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 1 | 500 543 19100 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 1 | 500 544 19500 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 1 | 500 545 19900 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 1 | 500 546 20300 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 1 | 500 547 20700 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 1 | 500 548 21100 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 1 | 500 549 21500 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 1 | 500 550 21900 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 1 | 500 551 22300 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 1 | 500 552 22700 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 1 | 500 553 23100 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 1 | 500 554 23500 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 1 | 500 555 23900 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s c =============================================================================== c | 1 | 500 556 24300 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 1 | 500 557 24700 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s c =============================================================================== c | 1 | 500 558 25100 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 1 | 500 559 25500 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 1 | 500 560 25900 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.13098 s Remaining CPU time: 179.869 s c =============================================================================== c | 1 | 500 561 26300 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s c =============================================================================== c | 1 | 500 562 26700 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 1 | 500 563 27100 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 1 | 500 564 27500 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.149977 s Remaining CPU time: 179.85 s c =============================================================================== c | 1 | 500 565 27900 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s c =============================================================================== c | 1 | 500 566 28300 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s c =============================================================================== c | 1 | 500 567 28700 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 1 | 500 568 29100 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 1 | 500 569 29500 | 5000 1 4 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.175973 s Remaining CPU time: 179.824 s c =============================================================================== c | 4 | 500 570 29900 | 5000 4 254 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.180972 s Remaining CPU time: 179.819 s c =============================================================================== c | 5 | 500 571 30300 | 5000 5 204 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.187971 s Remaining CPU time: 179.812 s c =============================================================================== c | 5 | 500 572 30700 | 5000 5 204 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 5 | 500 573 31100 | 5000 5 204 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.199969 s Remaining CPU time: 179.8 s c =============================================================================== c | 5 | 500 574 31500 | 5000 5 204 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 5 | 500 575 31900 | 5000 5 204 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s c =============================================================================== c | 5 | 500 576 32300 | 5000 5 204 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.214967 s Remaining CPU time: 179.785 s c =============================================================================== c | 5 | 500 577 32700 | 5000 5 204 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s c =============================================================================== c | 5 | 500 578 33100 | 5000 5 204 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 5 | 500 579 33500 | 5000 5 204 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s c =============================================================================== c | 5 | 500 580 33900 | 5000 5 204 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s c =============================================================================== c | 5 | 500 581 34300 | 5000 5 204 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.242963 s Remaining CPU time: 179.757 s c =============================================================================== c | 5 | 500 582 34700 | 5000 5 204 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s c =============================================================================== c | 5 | 500 583 35100 | 5000 5 204 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s c =============================================================================== c | 5 | 500 584 35500 | 5000 5 204 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.26196 s Remaining CPU time: 179.738 s c =============================================================================== c | 5 | 500 585 35900 | 5000 5 204 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.268959 s Remaining CPU time: 179.731 s c =============================================================================== c | 5 | 500 586 36300 | 5000 5 204 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.274958 s Remaining CPU time: 179.725 s c =============================================================================== c | 5 | 500 587 36700 | 5000 5 204 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.280957 s Remaining CPU time: 179.719 s c =============================================================================== c | 6 | 500 588 37100 | 5000 6 171 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.285956 s Remaining CPU time: 179.714 s c =============================================================================== c | 6 | 500 589 37500 | 5000 6 171 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s c =============================================================================== c | 6 | 500 590 37900 | 5000 6 171 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s c =============================================================================== c | 7 | 500 591 38300 | 5000 7 148 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.306953 s Remaining CPU time: 179.693 s c =============================================================================== c | 7 | 500 592 38700 | 5000 7 148 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.311952 s Remaining CPU time: 179.688 s c =============================================================================== c | 7 | 500 593 39100 | 5000 7 148 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.319951 s Remaining CPU time: 179.68 s c =============================================================================== c | 7 | 500 594 39500 | 5000 7 148 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.32695 s Remaining CPU time: 179.673 s c =============================================================================== c | 7 | 500 595 39900 | 5000 7 148 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.333949 s Remaining CPU time: 179.666 s c =============================================================================== c | 7 | 500 596 40300 | 5000 7 148 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.340948 s Remaining CPU time: 179.659 s c =============================================================================== c | 7 | 500 597 40700 | 5000 7 148 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.347947 s Remaining CPU time: 179.652 s c =============================================================================== c | 7 | 500 598 41100 | 5000 7 148 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.353946 s Remaining CPU time: 179.646 s c =============================================================================== c | 7 | 500 599 41500 | 5000 7 148 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.362944 s Remaining CPU time: 179.637 s c =============================================================================== c | 7 | 500 600 41900 | 5000 7 148 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.370943 s Remaining CPU time: 179.629 s c =============================================================================== c | 7 | 500 601 42300 | 5000 7 148 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.379942 s Remaining CPU time: 179.62 s c =============================================================================== c | 7 | 500 602 42700 | 5000 7 148 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.386941 s Remaining CPU time: 179.613 s c =============================================================================== c | 7 | 500 603 43100 | 5000 7 148 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.39394 s Remaining CPU time: 179.606 s c =============================================================================== c | 7 | 500 604 43500 | 5000 7 148 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.401938 s Remaining CPU time: 179.598 s c =============================================================================== c | 7 | 500 605 43900 | 5000 7 148 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.409937 s Remaining CPU time: 179.59 s c =============================================================================== c | 7 | 500 606 44300 | 5000 7 148 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.417936 s Remaining CPU time: 179.582 s c =============================================================================== c | 7 | 500 607 44700 | 5000 7 148 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.426935 s Remaining CPU time: 179.573 s c =============================================================================== c | 7 | 500 608 45100 | 5000 7 148 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.433934 s Remaining CPU time: 179.566 s c =============================================================================== c | 7 | 500 609 45500 | 5000 7 148 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.440932 s Remaining CPU time: 179.559 s c =============================================================================== c | 7 | 500 610 45900 | 5000 7 148 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.449931 s Remaining CPU time: 179.55 s c =============================================================================== c | 7 | 500 611 46300 | 5000 7 148 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.45893 s Remaining CPU time: 179.541 s c =============================================================================== c | 7 | 500 612 46700 | 5000 7 148 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 0.467928 s Remaining CPU time: 179.532 s c =============================================================================== c | 7 | 500 613 47100 | 5000 7 148 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 0.476927 s Remaining CPU time: 179.523 s c =============================================================================== c | 8 | 500 614 47500 | 5000 8 130 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 0.482926 s Remaining CPU time: 179.517 s c =============================================================================== c | 8 | 500 615 47900 | 5000 8 130 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 0.490925 s Remaining CPU time: 179.509 s c =============================================================================== c | 8 | 500 616 48300 | 5000 8 130 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 0.498924 s Remaining CPU time: 179.501 s c =============================================================================== c | 8 | 500 617 48700 | 5000 8 130 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 0.506922 s Remaining CPU time: 179.493 s c =============================================================================== c | 8 | 500 618 49100 | 5000 8 130 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 0.514921 s Remaining CPU time: 179.485 s c =============================================================================== c | 8 | 500 619 49500 | 5000 8 130 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 0.52192 s Remaining CPU time: 179.478 s c =============================================================================== c | 8 | 500 620 49900 | 5000 8 130 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 0.530919 s Remaining CPU time: 179.469 s c =============================================================================== c | 8 | 500 621 50300 | 5000 8 130 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 0.538918 s Remaining CPU time: 179.461 s c =============================================================================== c | 8 | 500 622 50700 | 5000 8 130 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 0.546916 s Remaining CPU time: 179.453 s c =============================================================================== c | 9 | 500 623 51100 | 5000 9 119 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 0.554915 s Remaining CPU time: 179.445 s c =============================================================================== c | 9 | 500 624 51500 | 5000 9 119 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 0.564914 s Remaining CPU time: 179.435 s c =============================================================================== c | 9 | 500 625 51900 | 5000 9 119 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 0.573912 s Remaining CPU time: 179.426 s c =============================================================================== c | 9 | 500 626 52300 | 5000 9 119 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 0.582911 s Remaining CPU time: 179.417 s c =============================================================================== c | 9 | 500 627 52700 | 5000 9 119 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 0.59191 s Remaining CPU time: 179.408 s c =============================================================================== c | 9 | 500 628 53100 | 5000 9 119 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 0.600908 s Remaining CPU time: 179.399 s c =============================================================================== c | 10 | 500 629 53500 | 5000 10 135 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 0.609907 s Remaining CPU time: 179.39 s c =============================================================================== c | 10 | 500 630 53900 | 5000 10 135 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 0.618905 s Remaining CPU time: 179.381 s c =============================================================================== c | 10 | 500 631 54300 | 5000 10 135 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 0.627904 s Remaining CPU time: 179.372 s c =============================================================================== c | 10 | 500 632 54700 | 5000 10 135 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 0.635903 s Remaining CPU time: 179.364 s c =============================================================================== c | 10 | 500 633 55100 | 5000 10 135 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 0.645901 s Remaining CPU time: 179.354 s c =============================================================================== c | 10 | 500 634 55500 | 5000 10 135 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 0.6559 s Remaining CPU time: 179.344 s c =============================================================================== c | 10 | 500 635 55900 | 5000 10 135 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 0.665898 s Remaining CPU time: 179.334 s c =============================================================================== c | 10 | 500 636 56300 | 5000 10 135 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 0.675897 s Remaining CPU time: 179.324 s c =============================================================================== c | 12 | 500 637 56700 | 5000 12 114 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 0.685895 s Remaining CPU time: 179.314 s c =============================================================================== c | 12 | 500 638 57100 | 5000 12 114 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 0.696894 s Remaining CPU time: 179.303 s c =============================================================================== c | 12 | 500 639 57500 | 5000 12 114 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 0.706892 s Remaining CPU time: 179.293 s c =============================================================================== c | 13 | 500 640 57900 | 5000 13 105 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 0.716891 s Remaining CPU time: 179.283 s c =============================================================================== c | 13 | 500 641 58300 | 5000 13 105 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 0.726889 s Remaining CPU time: 179.273 s c =============================================================================== c | 13 | 500 642 58700 | 5000 13 105 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 0.736887 s Remaining CPU time: 179.263 s c =============================================================================== c | 13 | 500 643 59100 | 5000 13 105 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 0.747886 s Remaining CPU time: 179.252 s c =============================================================================== c | 14 | 500 644 59500 | 5000 14 98 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 0.758884 s Remaining CPU time: 179.241 s c =============================================================================== c | 15 | 500 645 59900 | 5000 15 92 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 0.769882 s Remaining CPU time: 179.23 s c =============================================================================== c | 15 | 500 646 60300 | 5000 15 92 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 0.780881 s Remaining CPU time: 179.219 s c =============================================================================== c | 15 | 500 647 60700 | 5000 15 92 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 0.791879 s Remaining CPU time: 179.208 s c =============================================================================== c | 16 | 500 648 61100 | 5000 16 87 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 0.802877 s Remaining CPU time: 179.197 s c =============================================================================== c | 16 | 500 649 61500 | 5000 16 87 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 0.813876 s Remaining CPU time: 179.186 s c =============================================================================== c | 16 | 500 650 61900 | 5000 16 87 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 0.823874 s Remaining CPU time: 179.176 s c =============================================================================== c | 16 | 500 651 62300 | 5000 16 87 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 0.834873 s Remaining CPU time: 179.165 s c =============================================================================== c | 16 | 500 652 62700 | 5000 16 87 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 0.844871 s Remaining CPU time: 179.155 s c =============================================================================== c | 16 | 500 653 63100 | 5000 16 87 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 0.855869 s Remaining CPU time: 179.144 s c =============================================================================== c | 17 | 500 654 63500 | 5000 17 97 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 0.866868 s Remaining CPU time: 179.133 s c =============================================================================== c | 17 | 500 655 63900 | 5000 17 97 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 0.877866 s Remaining CPU time: 179.122 s c =============================================================================== c | 17 | 500 656 64300 | 5000 17 97 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 0.889864 s Remaining CPU time: 179.11 s c =============================================================================== c | 17 | 500 657 64700 | 5000 17 97 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 0.901862 s Remaining CPU time: 179.098 s c =============================================================================== c | 17 | 500 658 65100 | 5000 17 97 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 0.913861 s Remaining CPU time: 179.086 s c =============================================================================== c | 17 | 500 659 65500 | 5000 17 97 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 0.925859 s Remaining CPU time: 179.074 s c =============================================================================== c | 17 | 500 660 65900 | 5000 17 97 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 0.937857 s Remaining CPU time: 179.062 s c =============================================================================== c | 17 | 500 661 66300 | 5000 17 97 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 0.949855 s Remaining CPU time: 179.05 s c =============================================================================== c | 17 | 500 662 66700 | 5000 17 97 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 0.960853 s Remaining CPU time: 179.039 s c =============================================================================== c | 17 | 500 663 67100 | 5000 17 97 | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 0.972852 s Remaining CPU time: 179.027 s c =============================================================================== c | 17 | 500 664 67500 | 5000 17 97 | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 0.98485 s Remaining CPU time: 179.015 s c =============================================================================== c | 18 | 500 665 67900 | 5000 18 92 | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 0.997848 s Remaining CPU time: 179.002 s c =============================================================================== c | 18 | 500 666 68300 | 5000 18 92 | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 1.00985 s Remaining CPU time: 178.99 s c =============================================================================== c | 18 | 500 667 68700 | 5000 18 92 | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 1.02284 s Remaining CPU time: 178.977 s c =============================================================================== c | 19 | 500 668 69100 | 5000 19 87 | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 1.03384 s Remaining CPU time: 178.966 s c =============================================================================== c | 19 | 500 669 69500 | 5000 19 87 | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 1.04584 s Remaining CPU time: 178.954 s c =============================================================================== c | 19 | 500 670 69900 | 5000 19 87 | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 1.05784 s Remaining CPU time: 178.942 s c =============================================================================== c | 19 | 500 671 70300 | 5000 19 87 | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 1.06984 s Remaining CPU time: 178.93 s c =============================================================================== c | 19 | 500 672 70700 | 5000 19 87 | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 1.08184 s Remaining CPU time: 178.918 s c =============================================================================== c | 19 | 500 673 71100 | 5000 19 87 | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 1.09383 s Remaining CPU time: 178.906 s c =============================================================================== c | 19 | 500 674 71500 | 5000 19 87 | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 1.10683 s Remaining CPU time: 178.893 s c =============================================================================== c | 19 | 500 675 71900 | 5000 19 87 | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 1.11983 s Remaining CPU time: 178.88 s c =============================================================================== c | 19 | 500 676 72300 | 5000 19 87 | 0.000 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 1.13383 s Remaining CPU time: 178.866 s c =============================================================================== c | 20 | 500 677 72700 | 5000 20 83 | 0.000 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 1.14682 s Remaining CPU time: 178.853 s c =============================================================================== c | 20 | 500 678 73100 | 5000 20 83 | 0.000 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 1.16082 s Remaining CPU time: 178.839 s c =============================================================================== c | 20 | 500 679 73500 | 5000 20 83 | 0.000 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 1.17382 s Remaining CPU time: 178.826 s c =============================================================================== c | 20 | 500 680 73900 | 5000 20 83 | 0.000 % | c =============================================================================== c New solution: 220 c Elapsed CPU time: 1.18682 s Remaining CPU time: 178.813 s c =============================================================================== c | 20 | 500 681 74300 | 5000 20 83 | 0.000 % | c =============================================================================== c New solution: 219 c Elapsed CPU time: 1.20082 s Remaining CPU time: 178.799 s c =============================================================================== c | 21 | 500 682 74700 | 5000 21 80 | 0.000 % | c =============================================================================== c New solution: 218 c Elapsed CPU time: 1.21382 s Remaining CPU time: 178.786 s c =============================================================================== c | 21 | 500 683 75100 | 5000 21 80 | 0.000 % | c =============================================================================== c New solution: 217 c Elapsed CPU time: 1.22781 s Remaining CPU time: 178.772 s c =============================================================================== c | 21 | 500 684 75500 | 5000 21 80 | 0.000 % | c =============================================================================== c New solution: 216 c Elapsed CPU time: 1.24081 s Remaining CPU time: 178.759 s c =============================================================================== c | 21 | 500 685 75900 | 5000 21 80 | 0.000 % | c =============================================================================== c New solution: 215 c Elapsed CPU time: 1.25481 s Remaining CPU time: 178.745 s c =============================================================================== c | 21 | 500 686 76300 | 5000 21 80 | 0.000 % | c =============================================================================== c New solution: 214 c Elapsed CPU time: 1.26881 s Remaining CPU time: 178.731 s c =============================================================================== c | 21 | 500 687 76700 | 5000 21 80 | 0.000 % | c =============================================================================== c New solution: 213 c Elapsed CPU time: 1.28181 s Remaining CPU time: 178.718 s c =============================================================================== c | 21 | 500 688 77100 | 5000 21 80 | 0.000 % | c =============================================================================== c New solution: 212 c Elapsed CPU time: 1.2968 s Remaining CPU time: 178.703 s c =============================================================================== c | 22 | 500 689 77500 | 5000 22 76 | 0.000 % | c =============================================================================== c New solution: 211 c Elapsed CPU time: 1.3108 s Remaining CPU time: 178.689 s c =============================================================================== c | 23 | 500 690 77900 | 5000 23 73 | 0.000 % | c =============================================================================== c New solution: 210 c Elapsed CPU time: 1.3248 s Remaining CPU time: 178.675 s c =============================================================================== c | 25 | 500 691 78300 | 5000 25 68 | 0.000 % | c =============================================================================== c New solution: 209 c Elapsed CPU time: 1.3398 s Remaining CPU time: 178.66 s c =============================================================================== c | 27 | 500 692 78700 | 5000 27 79 | 0.000 % | c =============================================================================== c New solution: 208 c Elapsed CPU time: 1.35279 s Remaining CPU time: 178.647 s c =============================================================================== c | 27 | 500 693 79100 | 5000 27 79 | 0.000 % | c =============================================================================== c New solution: 207 c Elapsed CPU time: 1.36579 s Remaining CPU time: 178.634 s c =============================================================================== c | 27 | 500 694 79500 | 5000 27 79 | 0.000 % | c =============================================================================== c New solution: 206 c Elapsed CPU time: 1.37979 s Remaining CPU time: 178.62 s c =============================================================================== c | 27 | 500 695 79900 | 5000 27 79 | 0.000 % | c =============================================================================== c New solution: 205 c Elapsed CPU time: 1.39279 s Remaining CPU time: 178.607 s c =============================================================================== c | 27 | 500 696 80300 | 5000 27 79 | 0.000 % | c =============================================================================== c New solution: 204 c Elapsed CPU time: 1.40679 s Remaining CPU time: 178.593 s c =============================================================================== c | 27 | 500 697 80700 | 5000 27 79 | 0.000 % | c =============================================================================== c New solution: 203 c Elapsed CPU time: 1.42178 s Remaining CPU time: 178.578 s c =============================================================================== c | 27 | 500 698 81100 | 5000 27 79 | 0.000 % | c =============================================================================== c New solution: 202 c Elapsed CPU time: 1.43578 s Remaining CPU time: 178.564 s c =============================================================================== c | 27 | 500 699 81500 | 5000 27 79 | 0.000 % | c =============================================================================== c New solution: 201 c Elapsed CPU time: 1.44878 s Remaining CPU time: 178.551 s c =============================================================================== c | 27 | 500 700 81900 | 5000 27 79 | 0.000 % | c =============================================================================== c New solution: 200 c Elapsed CPU time: 1.46278 s Remaining CPU time: 178.537 s c =============================================================================== c | 28 | 500 701 82300 | 5000 28 77 | 0.000 % | c =============================================================================== c New solution: 199 c Elapsed CPU time: 1.47677 s Remaining CPU time: 178.523 s c =============================================================================== c | 28 | 500 702 82700 | 5000 28 77 | 0.000 % | c =============================================================================== c New solution: 198 c Elapsed CPU time: 1.49077 s Remaining CPU time: 178.509 s c =============================================================================== c | 28 | 500 703 83100 | 5000 28 77 | 0.000 % | c =============================================================================== c New solution: 197 c Elapsed CPU time: 1.50577 s Remaining CPU time: 178.494 s c =============================================================================== c | 28 | 500 704 83500 | 5000 28 77 | 0.000 % | c =============================================================================== c New solution: 196 c Elapsed CPU time: 1.52077 s Remaining CPU time: 178.479 s c =============================================================================== c | 34 | 500 705 83900 | 5000 34 67 | 0.000 % | c =============================================================================== c New solution: 195 c Elapsed CPU time: 1.53577 s Remaining CPU time: 178.464 s c =============================================================================== c | 34 | 500 706 84300 | 5000 34 67 | 0.000 % | c =============================================================================== c New solution: 194 c Elapsed CPU time: 1.54976 s Remaining CPU time: 178.45 s c =============================================================================== c | 34 | 500 707 84700 | 5000 34 67 | 0.000 % | c =============================================================================== c New solution: 193 c Elapsed CPU time: 1.56376 s Remaining CPU time: 178.436 s c =============================================================================== c | 34 | 500 708 85100 | 5000 34 67 | 0.000 % | c =============================================================================== c New solution: 192 c Elapsed CPU time: 1.57876 s Remaining CPU time: 178.421 s c =============================================================================== c | 34 | 500 709 85500 | 5000 34 67 | 0.000 % | c =============================================================================== c New solution: 191 c Elapsed CPU time: 1.59376 s Remaining CPU time: 178.406 s c =============================================================================== c | 35 | 500 710 85900 | 5000 35 71 | 0.000 % | c =============================================================================== c New solution: 190 c Elapsed CPU time: 1.60976 s Remaining CPU time: 178.39 s c =============================================================================== c | 37 | 500 711 86300 | 5000 37 78 | 0.000 % | c =============================================================================== c New solution: 189 c Elapsed CPU time: 1.62575 s Remaining CPU time: 178.374 s c =============================================================================== c | 38 | 500 712 86700 | 5000 38 81 | 0.000 % | c =============================================================================== c New solution: 188 c Elapsed CPU time: 1.64075 s Remaining CPU time: 178.359 s c =============================================================================== c | 39 | 500 713 87100 | 5000 39 83 | 0.000 % | c =============================================================================== c New solution: 187 c Elapsed CPU time: 1.65575 s Remaining CPU time: 178.344 s c =============================================================================== c | 42 | 500 714 87500 | 5000 42 82 | 0.000 % | c =============================================================================== c New solution: 186 c Elapsed CPU time: 1.67175 s Remaining CPU time: 178.328 s c =============================================================================== c | 43 | 500 715 87900 | 5000 43 85 | 0.000 % | c =============================================================================== c New solution: 185 c Elapsed CPU time: 1.68674 s Remaining CPU time: 178.313 s c =============================================================================== c | 43 | 500 716 88300 | 5000 43 85 | 0.000 % | c =============================================================================== c New solution: 184 c Elapsed CPU time: 1.70174 s Remaining CPU time: 178.298 s c =============================================================================== c | 43 | 500 717 88700 | 5000 43 85 | 0.000 % | c =============================================================================== c New solution: 183 c Elapsed CPU time: 1.71774 s Remaining CPU time: 178.282 s c =============================================================================== c | 44 | 500 718 89100 | 5000 44 87 | 0.000 % | c =============================================================================== c New solution: 182 c Elapsed CPU time: 1.73274 s Remaining CPU time: 178.267 s c =============================================================================== c | 45 | 500 719 89500 | 5000 45 89 | 0.000 % | c =============================================================================== c New solution: 181 c Elapsed CPU time: 1.74773 s Remaining CPU time: 178.252 s c =============================================================================== c | 46 | 500 720 89900 | 5000 46 92 | 0.000 % | c =============================================================================== c New solution: 180 c Elapsed CPU time: 1.76273 s Remaining CPU time: 178.237 s c =============================================================================== c | 46 | 500 721 90300 | 5000 46 92 | 0.000 % | c =============================================================================== c New solution: 179 c Elapsed CPU time: 1.77773 s Remaining CPU time: 178.222 s c =============================================================================== c | 47 | 500 722 90700 | 5000 47 94 | 0.000 % | c =============================================================================== c New solution: 178 c Elapsed CPU time: 1.79273 s Remaining CPU time: 178.207 s c =============================================================================== c | 48 | 500 723 91100 | 5000 48 95 | 0.000 % | c =============================================================================== c New solution: 177 c Elapsed CPU time: 1.80872 s Remaining CPU time: 178.191 s c =============================================================================== c | 48 | 500 724 91500 | 5000 48 95 | 0.000 % | c =============================================================================== c New solution: 176 c Elapsed CPU time: 1.82372 s Remaining CPU time: 178.176 s c =============================================================================== c | 50 | 500 725 91900 | 5000 50 95 | 0.000 % | c =============================================================================== c New solution: 175 c Elapsed CPU time: 1.83672 s Remaining CPU time: 178.163 s c =============================================================================== c | 52 | 500 726 92300 | 5000 52 95 | 0.000 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 1.85272 s Remaining CPU time: 178.147 s c =============================================================================== c | 53 | 500 727 92700 | 5000 53 97 | 0.000 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 1.86871 s Remaining CPU time: 178.131 s c =============================================================================== c | 54 | 500 728 93100 | 5000 54 98 | 0.000 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 1.88471 s Remaining CPU time: 178.115 s c =============================================================================== c | 55 | 500 729 93500 | 5000 55 100 | 0.000 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 1.90071 s Remaining CPU time: 178.099 s c =============================================================================== c | 56 | 500 730 93900 | 5000 56 101 | 0.000 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 1.91671 s Remaining CPU time: 178.083 s c =============================================================================== c | 56 | 500 731 94300 | 5000 56 101 | 0.000 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 1.93171 s Remaining CPU time: 178.068 s c =============================================================================== c | 57 | 500 732 94700 | 5000 57 102 | 0.000 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 1.9467 s Remaining CPU time: 178.053 s c =============================================================================== c | 58 | 500 733 95100 | 5000 58 103 | 0.000 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 1.9627 s Remaining CPU time: 178.037 s c =============================================================================== c | 59 | 500 734 95500 | 5000 59 105 | 0.000 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 1.9787 s Remaining CPU time: 178.021 s c =============================================================================== c | 60 | 500 735 95900 | 5000 60 106 | 0.000 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 1.9947 s Remaining CPU time: 178.005 s c =============================================================================== c | 61 | 500 736 96300 | 5000 61 107 | 0.000 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 2.01069 s Remaining CPU time: 177.989 s c =============================================================================== c | 63 | 500 737 96700 | 5000 63 106 | 0.000 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 2.02569 s Remaining CPU time: 177.974 s c =============================================================================== c | 66 | 500 738 97100 | 5000 66 104 | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 2.04169 s Remaining CPU time: 177.958 s c =============================================================================== c | 69 | 500 739 97500 | 5000 69 102 | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 2.05769 s Remaining CPU time: 177.942 s c =============================================================================== c | 69 | 500 740 97900 | 5000 69 102 | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 2.07368 s Remaining CPU time: 177.926 s c =============================================================================== c | 70 | 500 741 98300 | 5000 70 103 | 0.000 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 2.08968 s Remaining CPU time: 177.91 s c =============================================================================== c | 71 | 500 742 98700 | 5000 71 102 | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 2.10468 s Remaining CPU time: 177.895 s c =============================================================================== c | 78 | 500 743 99100 | 5000 78 97 | 0.000 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 2.12168 s Remaining CPU time: 177.878 s c =============================================================================== c | 79 | 500 744 99500 | 5000 79 96 | 0.000 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 2.13767 s Remaining CPU time: 177.862 s c =============================================================================== c | 79 | 500 745 99900 | 5000 79 96 | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 2.15367 s Remaining CPU time: 177.846 s c =============================================================================== c | 79 | 500 746 100300 | 5000 79 96 | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 2.17067 s Remaining CPU time: 177.829 s c =============================================================================== c | 80 | 500 747 100700 | 5000 80 94 | 0.000 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 2.18667 s Remaining CPU time: 177.813 s c =============================================================================== c | 80 | 500 748 101100 | 5000 80 94 | 0.000 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 2.20267 s Remaining CPU time: 177.797 s c =============================================================================== c | 80 | 500 749 101500 | 5000 80 94 | 0.000 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 2.21866 s Remaining CPU time: 177.781 s c =============================================================================== c | 80 | 500 750 101900 | 5000 80 94 | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 2.23466 s Remaining CPU time: 177.765 s c =============================================================================== c | 80 | 500 751 102300 | 5000 80 94 | 0.000 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 2.25066 s Remaining CPU time: 177.749 s c =============================================================================== c | 80 | 500 752 102700 | 5000 80 94 | 0.000 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 2.26765 s Remaining CPU time: 177.732 s c =============================================================================== c | 81 | 500 753 103100 | 5000 81 93 | 0.000 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 2.28365 s Remaining CPU time: 177.716 s c =============================================================================== c | 82 | 500 754 103500 | 5000 82 93 | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 2.29865 s Remaining CPU time: 177.701 s c =============================================================================== c | 82 | 500 755 103900 | 5000 82 93 | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 2.31565 s Remaining CPU time: 177.684 s c =============================================================================== c | 101 | 500 756 104300 | 5000 101 79 | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 2.34164 s Remaining CPU time: 177.658 s c =============================================================================== c | 127 | 500 757 104700 | 5000 127 94 | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 2.35864 s Remaining CPU time: 177.641 s c =============================================================================== c | 129 | 500 758 105100 | 5000 129 93 | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 2.37564 s Remaining CPU time: 177.624 s c =============================================================================== c | 129 | 500 759 105500 | 5000 129 93 | 0.000 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 2.39164 s Remaining CPU time: 177.608 s c =============================================================================== c | 129 | 500 760 105900 | 5000 129 93 | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 2.40863 s Remaining CPU time: 177.591 s c =============================================================================== c | 129 | 500 761 106300 | 5000 129 93 | 0.000 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 2.42563 s Remaining CPU time: 177.574 s c =============================================================================== c | 132 | 500 762 106700 | 5000 132 91 | 0.000 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 2.44263 s Remaining CPU time: 177.557 s c =============================================================================== c | 132 | 500 763 107100 | 5000 132 91 | 0.000 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 2.45863 s Remaining CPU time: 177.541 s c =============================================================================== c | 132 | 500 764 107500 | 5000 132 91 | 0.000 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 2.47562 s Remaining CPU time: 177.524 s c =============================================================================== c | 132 | 500 765 107900 | 5000 132 91 | 0.000 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 2.49262 s Remaining CPU time: 177.507 s c =============================================================================== c | 132 | 500 766 108300 | 5000 132 91 | 0.000 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 2.50862 s Remaining CPU time: 177.491 s c =============================================================================== c | 132 | 500 767 108700 | 5000 132 91 | 0.000 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 2.52562 s Remaining CPU time: 177.474 s c =============================================================================== c | 132 | 500 768 109100 | 5000 132 91 | 0.000 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 2.54261 s Remaining CPU time: 177.457 s c =============================================================================== c | 135 | 500 769 109500 | 5000 135 90 | 0.000 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 2.55761 s Remaining CPU time: 177.442 s c =============================================================================== c | 139 | 500 770 109900 | 5000 139 88 | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 2.57361 s Remaining CPU time: 177.426 s c =============================================================================== c | 142 | 500 771 110300 | 5000 142 86 | 0.000 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 2.59161 s Remaining CPU time: 177.408 s c =============================================================================== c | 148 | 500 772 110700 | 5000 148 84 | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 2.6086 s Remaining CPU time: 177.391 s c =============================================================================== c | 150 | 500 773 111100 | 5000 150 84 | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 2.6266 s Remaining CPU time: 177.373 s c =============================================================================== c | 155 | 500 774 111500 | 5000 155 86 | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 2.6426 s Remaining CPU time: 177.357 s c =============================================================================== c | 156 | 500 775 111900 | 5000 156 85 | 0.000 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 2.65959 s Remaining CPU time: 177.34 s c =============================================================================== c | 184 | 500 776 112300 | 5000 184 76 | 0.000 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 2.69859 s Remaining CPU time: 177.301 s c =============================================================================== c | 259 | 500 777 112700 | 5000 259 92 | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 2.71459 s Remaining CPU time: 177.285 s c =============================================================================== c | 262 | 500 778 113100 | 5000 262 92 | 0.000 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 2.73058 s Remaining CPU time: 177.269 s c =============================================================================== c | 262 | 500 779 113500 | 5000 262 92 | 0.000 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 2.74758 s Remaining CPU time: 177.252 s c =============================================================================== c | 265 | 500 780 113900 | 5000 265 91 | 0.000 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 2.76458 s Remaining CPU time: 177.235 s c =============================================================================== c | 275 | 500 781 114300 | 5000 275 89 | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 2.78158 s Remaining CPU time: 177.218 s c =============================================================================== c | 278 | 500 782 114700 | 5000 278 88 | 0.000 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 2.79857 s Remaining CPU time: 177.201 s c =============================================================================== c | 280 | 500 783 115100 | 5000 280 88 | 0.000 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 2.81357 s Remaining CPU time: 177.186 s c =============================================================================== c | 281 | 500 784 115500 | 5000 281 88 | 0.000 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 2.83057 s Remaining CPU time: 177.169 s c =============================================================================== c | 281 | 500 785 115900 | 5000 281 88 | 0.000 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 2.84657 s Remaining CPU time: 177.153 s c =============================================================================== c | 281 | 500 786 116300 | 5000 281 88 | 0.000 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 2.86256 s Remaining CPU time: 177.137 s c =============================================================================== c | 281 | 500 787 116700 | 5000 281 88 | 0.000 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 2.87956 s Remaining CPU time: 177.12 s c =============================================================================== c | 281 | 500 788 117100 | 5000 281 88 | 0.000 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 2.89556 s Remaining CPU time: 177.104 s c =============================================================================== c | 281 | 500 789 117500 | 5000 281 88 | 0.000 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 2.91156 s Remaining CPU time: 177.088 s c =============================================================================== c | 282 | 500 790 117900 | 5000 282 88 | 0.000 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 2.92855 s Remaining CPU time: 177.071 s c =============================================================================== c | 283 | 500 791 118300 | 5000 283 88 | 0.000 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 2.94455 s Remaining CPU time: 177.055 s c =============================================================================== c | 286 | 500 792 118700 | 5000 286 87 | 0.000 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 2.96155 s Remaining CPU time: 177.038 s c =============================================================================== c | 290 | 500 793 119100 | 5000 290 87 | 0.000 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 2.97755 s Remaining CPU time: 177.022 s c =============================================================================== c | 291 | 500 794 119500 | 5000 291 87 | 0.000 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 2.99354 s Remaining CPU time: 177.006 s c =============================================================================== c | 291 | 500 795 119900 | 5000 291 87 | 0.000 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 3.00954 s Remaining CPU time: 176.99 s c =============================================================================== c | 293 | 500 796 120300 | 5000 293 87 | 0.000 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 3.02554 s Remaining CPU time: 176.974 s c =============================================================================== c | 294 | 500 797 120700 | 5000 294 87 | 0.000 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 3.04154 s Remaining CPU time: 176.958 s c =============================================================================== c | 296 | 500 798 121100 | 5000 296 87 | 0.000 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 3.05754 s Remaining CPU time: 176.942 s c =============================================================================== c | 299 | 500 799 121500 | 5000 299 87 | 0.000 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 3.07353 s Remaining CPU time: 176.926 s c =============================================================================== c | 299 | 500 800 121900 | 5000 299 87 | 0.000 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 3.08953 s Remaining CPU time: 176.91 s c =============================================================================== c | 299 | 500 801 122300 | 5000 299 87 | 0.000 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 3.10553 s Remaining CPU time: 176.894 s c =============================================================================== c | 299 | 500 802 122700 | 5000 299 87 | 0.000 % | c =============================================================================== c New solution: 98 c Elapsed CPU time: 3.11952 s Remaining CPU time: 176.88 s c =============================================================================== c | 299 | 500 803 123100 | 5000 299 87 | 0.000 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 3.13552 s Remaining CPU time: 176.864 s c =============================================================================== c | 299 | 500 804 123500 | 5000 299 87 | 0.000 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 3.15052 s Remaining CPU time: 176.849 s c =============================================================================== c | 299 | 500 805 123900 | 5000 299 87 | 0.000 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 3.16552 s Remaining CPU time: 176.834 s c =============================================================================== c | 299 | 500 806 124300 | 5000 299 87 | 0.000 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 3.18052 s Remaining CPU time: 176.819 s c =============================================================================== c | 299 | 500 807 124700 | 5000 299 87 | 0.000 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 3.19551 s Remaining CPU time: 176.804 s c =============================================================================== c | 303 | 500 808 125100 | 5000 303 86 | 0.000 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 3.21051 s Remaining CPU time: 176.789 s c =============================================================================== c | 303 | 500 809 125500 | 5000 303 86 | 0.000 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 3.22551 s Remaining CPU time: 176.774 s c =============================================================================== c | 303 | 500 810 125900 | 5000 303 86 | 0.000 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 3.24051 s Remaining CPU time: 176.759 s c =============================================================================== c | 303 | 500 811 126300 | 5000 303 86 | 0.000 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 3.2545 s Remaining CPU time: 176.745 s c =============================================================================== c | 303 | 500 812 126700 | 5000 303 86 | 0.000 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 3.2695 s Remaining CPU time: 176.73 s c =============================================================================== c | 303 | 500 813 127100 | 5000 303 86 | 0.000 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 3.2845 s Remaining CPU time: 176.715 s c =============================================================================== c | 303 | 500 814 127500 | 5000 303 86 | 0.000 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 3.3005 s Remaining CPU time: 176.7 s c =============================================================================== c | 330 | 500 815 127900 | 5000 330 81 | 0.000 % | c | 431 | 500 815 127900 | 5500 431 84 | 0.000 % | c | 581 | 500 815 127900 | 6050 581 71 | 0.000 % | c | 806 | 500 815 127900 | 6655 806 77 | 0.000 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 3.47947 s Remaining CPU time: 176.521 s c =============================================================================== c | 845 | 500 816 128300 | 5000 845 75 | 0.000 % | c | 945 | 500 816 128300 | 5500 945 77 | 0.000 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 3.56646 s Remaining CPU time: 176.434 s c =============================================================================== c | 1020 | 500 817 128700 | 5000 1020 74 | 0.000 % | c | 1121 | 500 817 128700 | 5500 1121 75 | 0.000 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 3.67744 s Remaining CPU time: 176.323 s c =============================================================================== c | 1260 | 500 818 129100 | 5000 1260 71 | 0.000 % | c | 1361 | 500 818 129100 | 5500 1361 72 | 0.000 % | c | 1511 | 500 818 129100 | 6050 1511 69 | 0.000 % | c | 1737 | 500 818 129100 | 6655 1737 72 | 0.000 % | c | 2074 | 500 818 129100 | 7320 2074 73 | 0.000 % | c | 2580 | 500 818 129100 | 8052 2580 76 | 0.000 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 4.50731 s Remaining CPU time: 175.493 s c =============================================================================== c | 3024 | 500 819 129500 | 5000 3024 74 | 0.000 % | c | 3124 | 500 819 129500 | 5500 3124 74 | 0.000 % | c | 3275 | 500 819 129500 | 6050 3275 74 | 0.000 % | c | 3501 | 500 819 129500 | 6655 3501 76 | 0.000 % | c | 3838 | 500 819 129500 | 7320 3838 76 | 0.000 % | c | 4346 | 500 819 129500 | 8052 4346 78 | 0.000 % | c | 5105 | 500 819 129500 | 8857 5105 79 | 0.000 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 5.66414 s Remaining CPU time: 174.336 s c =============================================================================== c | 5229 | 500 820 129900 | 5000 5229 79 | 0.000 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 5.70313 s Remaining CPU time: 174.297 s c =============================================================================== c | 5268 | 500 821 130300 | 5000 2654 81 | 0.000 % | c | 5368 | 500 821 130300 | 5500 2754 79 | 0.000 % | c | 5519 | 500 821 130300 | 6050 2905 80 | 0.000 % | c | 5745 | 500 821 130300 | 6655 3131 77 | 0.000 % | c | 6082 | 500 821 130300 | 7320 3468 78 | 0.000 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 6.13907 s Remaining CPU time: 173.861 s c =============================================================================== c | 6504 | 500 822 130700 | 5000 3890 77 | 0.000 % | c | 6606 | 500 822 130700 | 5500 3992 76 | 0.000 % | c | 6757 | 500 822 130700 | 6050 4143 77 | 0.000 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 6.25905 s Remaining CPU time: 173.741 s c =============================================================================== c | 6821 | 500 823 131100 | 5000 4207 76 | 0.000 % | c | 6921 | 500 823 131100 | 5500 4307 76 | 0.000 % | c | 7071 | 500 823 131100 | 6050 4457 75 | 0.000 % | c | 7297 | 500 823 131100 | 6655 4683 76 | 0.000 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 6.606 s Remaining CPU time: 173.394 s c =============================================================================== c | 7325 | 500 824 131500 | 5000 4711 75 | 0.000 % | c | 7425 | 500 824 131500 | 5500 4811 75 | 0.000 % | c | 7575 | 500 824 131500 | 6050 4961 74 | 0.000 % | c | 7800 | 500 824 131500 | 6655 5186 75 | 0.000 % | c | 8138 | 500 824 131500 | 7320 5524 73 | 0.000 % | c | 8644 | 500 824 131500 | 8052 6030 74 | 0.000 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 7.15091 s Remaining CPU time: 172.849 s c =============================================================================== c | 8746 | 500 825 131900 | 5000 6132 73 | 0.000 % | c | 8846 | 500 825 131900 | 5500 3166 64 | 0.000 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 7.2159 s Remaining CPU time: 172.784 s c =============================================================================== c | 8874 | 500 826 132300 | 5000 3194 64 | 0.000 % | c | 8974 | 500 826 132300 | 5500 3294 64 | 0.000 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 7.31389 s Remaining CPU time: 172.686 s c =============================================================================== c | 8978 | 500 827 132700 | 5000 3298 64 | 0.000 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 7.32789 s Remaining CPU time: 172.672 s c =============================================================================== c | 8989 | 500 828 133100 | 5000 3309 64 | 0.000 % | c | 9089 | 500 828 133100 | 5500 3409 65 | 0.000 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 7.38688 s Remaining CPU time: 172.613 s c =============================================================================== c | 9099 | 500 829 133500 | 5000 3419 64 | 0.000 % | c | 9199 | 500 829 133500 | 5500 3519 65 | 0.000 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 7.45087 s Remaining CPU time: 172.549 s c =============================================================================== c | 9238 | 500 830 133900 | 5000 3558 64 | 0.000 % | c | 9339 | 500 830 133900 | 5500 3659 65 | 0.000 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 7.56885 s Remaining CPU time: 172.431 s c =============================================================================== c | 9392 | 500 831 134300 | 5000 3712 64 | 0.000 % | c | 9493 | 500 831 134300 | 5500 3813 65 | 0.000 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 7.64684 s Remaining CPU time: 172.353 s c =============================================================================== c | 9603 | 500 832 134700 | 5000 3923 64 | 0.000 % | c | 9703 | 500 832 134700 | 5500 4023 64 | 0.000 % | c | 9853 | 500 832 134700 | 6050 4173 64 | 0.000 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 7.79082 s Remaining CPU time: 172.209 s c =============================================================================== c | 9954 | 500 833 135100 | 5000 4274 64 | 0.000 % | c | 10054 | 500 833 135100 | 5500 4374 64 | 0.000 % | c | 10205 | 500 833 135100 | 6050 4525 63 | 0.000 % | c | 10431 | 500 833 135100 | 6655 4751 64 | 0.000 % | c | 10768 | 500 833 135100 | 7320 5088 63 | 0.000 % | c | 11274 | 500 833 135100 | 8052 5594 64 | 0.000 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 8.37973 s Remaining CPU time: 171.62 s c =============================================================================== c | 11377 | 500 834 135500 | 5000 5697 64 | 0.000 % | c | 11477 | 500 834 135500 | 5500 2949 60 | 0.000 % | c | 11628 | 500 834 135500 | 6050 3100 60 | 0.000 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 8.64069 s Remaining CPU time: 171.359 s c =============================================================================== c | 11787 | 500 835 135900 | 5000 3259 60 | 0.000 % | c | 11889 | 500 835 135900 | 5500 3361 60 | 0.000 % | c | 12040 | 500 835 135900 | 6050 3512 60 | 0.000 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 8.74267 s Remaining CPU time: 171.257 s c =============================================================================== c | 12088 | 500 836 136300 | 5000 3560 60 | 0.000 % | c | 12189 | 500 836 136300 | 5500 3661 61 | 0.000 % | c | 12339 | 500 836 136300 | 6050 3811 60 | 0.000 % | c | 12564 | 500 836 136300 | 6655 4036 60 | 0.000 % | c | 12901 | 500 836 136300 | 7320 4373 61 | 0.000 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 9.12661 s Remaining CPU time: 170.873 s c =============================================================================== c | 12920 | 500 837 136700 | 5000 4392 61 | 0.000 % | c | 13020 | 500 837 136700 | 5500 4492 60 | 0.000 % | c | 13170 | 500 837 136700 | 6050 4642 61 | 0.000 % | c | 13395 | 500 837 136700 | 6655 4867 61 | 0.000 % | c | 13732 | 500 837 136700 | 7320 5204 62 | 0.000 % | c | 14238 | 500 837 136700 | 8052 5710 63 | 0.000 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 9.68953 s Remaining CPU time: 170.31 s c =============================================================================== c | 14340 | 500 838 137100 | 5000 5812 63 | 0.000 % | c | 14440 | 500 838 137100 | 5500 3006 60 | 0.000 % | c | 14591 | 500 838 137100 | 6050 3157 60 | 0.000 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 9.79051 s Remaining CPU time: 170.209 s c =============================================================================== c | 14769 | 500 839 137500 | 5000 3335 59 | 0.000 % | c | 14869 | 500 839 137500 | 5500 3435 59 | 0.000 % | c | 15023 | 500 839 137500 | 6050 3589 58 | 0.000 % | c | 15250 | 500 839 137500 | 6655 3816 59 | 0.000 % | c | 15587 | 500 839 137500 | 7320 4153 59 | 0.000 % | c | 16094 | 500 839 137500 | 8052 4660 58 | 0.000 % | c | 16853 | 500 839 137500 | 8857 5419 60 | 0.000 % | c | 17992 | 500 839 137500 | 9743 6558 62 | 0.000 % | c | 19700 | 500 839 137500 | 10717 8266 64 | 0.000 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 13.7089 s Remaining CPU time: 166.291 s c =============================================================================== c | 22155 | 500 840 137900 | 5000 10721 65 | 0.000 % | c | 22256 | 500 840 137900 | 5500 2782 66 | 0.000 % | c | 22406 | 500 840 137900 | 6050 2932 66 | 0.000 % | c | 22631 | 500 840 137900 | 6655 3157 66 | 0.000 % | c | 22971 | 500 840 137900 | 7320 3497 64 | 0.000 % | c | 23477 | 500 840 137900 | 8052 4003 64 | 0.000 % | c | 24236 | 500 840 137900 | 8857 4762 65 | 0.000 % | c | 25375 | 500 840 137900 | 9743 5901 64 | 0.000 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 15.9446 s Remaining CPU time: 164.055 s c =============================================================================== c | 26838 | 500 841 138300 | 5000 7364 65 | 0.000 % | c | 26939 | 500 841 138300 | 5500 3783 63 | 0.000 % | c | 27089 | 500 841 138300 | 6050 3933 63 | 0.000 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 16.0806 s Remaining CPU time: 163.919 s c =============================================================================== c | 27168 | 500 842 138700 | 5000 4012 62 | 0.000 % | c | 27269 | 500 842 138700 | 5500 4113 62 | 0.000 % | c | 27419 | 500 842 138700 | 6050 4263 62 | 0.000 % | c | 27645 | 500 842 138700 | 6655 4489 62 | 0.000 % | c | 27982 | 500 842 138700 | 7320 4826 61 | 0.000 % | c | 28488 | 500 842 138700 | 8052 5332 61 | 0.000 % | c | 29248 | 500 842 138700 | 8857 6092 60 | 0.000 % | c | 30387 | 500 842 138700 | 9743 7231 61 | 0.000 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 17.7423 s Remaining CPU time: 162.258 s c =============================================================================== c | 31557 | 500 843 139100 | 5000 8401 60 | 0.000 % | c | 31657 | 500 843 139100 | 5500 4301 55 | 0.000 % | c | 31807 | 500 843 139100 | 6050 4451 55 | 0.000 % | c | 32033 | 500 843 139100 | 6655 4677 54 | 0.000 % | c | 32370 | 500 843 139100 | 7320 5014 55 | 0.000 % | c | 32877 | 500 843 139100 | 8052 5521 55 | 0.000 % | c | 33636 | 500 843 139100 | 8857 6280 56 | 0.000 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 18.7431 s Remaining CPU time: 161.257 s c =============================================================================== c | 34082 | 500 844 139500 | 5000 6726 57 | 0.000 % | c | 34182 | 500 844 139500 | 5500 3463 57 | 0.000 % | c | 34333 | 500 844 139500 | 6050 3614 58 | 0.000 % | c | 34558 | 500 844 139500 | 6655 3839 58 | 0.000 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 19.1241 s Remaining CPU time: 160.876 s c =============================================================================== c | 34799 | 500 845 139900 | 5000 4080 58 | 0.000 % | c | 34900 | 500 845 139900 | 5500 4181 58 | 0.000 % | c | 35051 | 500 845 139900 | 6050 4332 58 | 0.000 % | c | 35276 | 500 845 139900 | 6655 4557 57 | 0.000 % | c | 35615 | 500 845 139900 | 7320 4896 58 | 0.000 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 19.516 s Remaining CPU time: 160.484 s c =============================================================================== c | 35894 | 500 846 140300 | 5000 5175 57 | 0.000 % | c | 35994 | 500 846 140300 | 5500 2688 53 | 0.000 % | c | 36145 | 500 846 140300 | 6050 2839 52 | 0.000 % | c | 36372 | 500 846 140300 | 6655 3066 53 | 0.000 % | c | 36709 | 500 846 140300 | 7320 3403 52 | 0.000 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 19.923 s Remaining CPU time: 160.077 s c =============================================================================== c | 36845 | 500 847 140700 | 5000 3539 52 | 0.000 % | c | 36945 | 500 847 140700 | 5500 3639 53 | 0.000 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 20.014 s Remaining CPU time: 159.986 s c =============================================================================== c | 37031 | 500 848 141100 | 5000 3725 53 | 0.000 % | c | 37134 | 500 848 141100 | 5500 3828 53 | 0.000 % | c | 37285 | 500 848 141100 | 6050 3979 53 | 0.000 % | c | 37510 | 500 848 141100 | 6655 4204 53 | 0.000 % | c | 37847 | 500 848 141100 | 7320 4541 53 | 0.000 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 20.5099 s Remaining CPU time: 159.49 s c =============================================================================== c | 38244 | 500 849 141500 | 5000 4938 54 | 0.000 % | c | 38345 | 500 849 141500 | 5500 5039 54 | 0.000 % | c | 38495 | 500 849 141500 | 6050 5189 54 | 0.000 % | c | 38720 | 500 849 141500 | 6655 5414 54 | 0.000 % | c | 39057 | 500 849 141500 | 7320 5751 54 | 0.000 % | c | 39563 | 500 849 141500 | 8052 6257 54 | 0.000 % | c | 40323 | 500 849 141500 | 8857 7017 55 | 0.000 % | c | 41463 | 500 849 141500 | 9743 8157 56 | 0.000 % | c | 43171 | 500 849 141500 | 10717 4954 55 | 0.000 % | c | 45733 | 500 849 141500 | 11789 7516 57 | 0.000 % | c | 49578 | 500 849 141500 | 12968 11361 59 | 0.000 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 28.1027 s Remaining CPU time: 151.897 s c =============================================================================== c | 53069 | 500 850 141900 | 5000 8325 60 | 0.000 % | c | 53169 | 500 850 141900 | 5500 4263 59 | 0.000 % | c | 53319 | 500 850 141900 | 6050 4413 59 | 0.000 % | c | 53544 | 500 850 141900 | 6655 4638 58 | 0.000 % | c | 53881 | 500 850 141900 | 7320 4975 58 | 0.000 % | c | 54387 | 500 850 141900 | 8052 5481 58 | 0.000 % | c | 55147 | 500 850 141900 | 8857 6241 58 | 0.000 % | c =============================================================================== c New solution: 50 c Elapsed CPU time: 29.2765 s Remaining CPU time: 150.723 s c =============================================================================== c | 55626 | 500 851 142300 | 5000 6720 58 | 0.000 % | c | 55726 | 500 851 142300 | 5500 3460 54 | 0.000 % | c | 55876 | 500 851 142300 | 6050 3610 54 | 0.000 % | c | 56101 | 500 851 142300 | 6655 3835 53 | 0.000 % | c | 56438 | 500 851 142300 | 7320 4172 53 | 0.000 % | c =============================================================================== c New solution: 49 c Elapsed CPU time: 29.5855 s Remaining CPU time: 150.414 s c =============================================================================== c | 56498 | 500 852 142700 | 5000 4232 53 | 0.000 % | c | 56598 | 500 852 142700 | 5500 4332 53 | 0.000 % | c | 56750 | 500 852 142700 | 6050 4484 53 | 0.000 % | c | 56975 | 500 852 142700 | 6655 4709 53 | 0.000 % | c | 57313 | 500 852 142700 | 7320 5047 53 | 0.000 % | c | 57819 | 500 852 142700 | 8052 5553 53 | 0.000 % | c | 58579 | 500 852 142700 | 8857 6313 53 | 0.000 % | c | 59718 | 500 852 142700 | 9743 7452 54 | 0.000 % | c | 61426 | 500 852 142700 | 10717 9160 55 | 0.000 % | c =============================================================================== c New solution: 48 c Elapsed CPU time: 32.3941 s Remaining CPU time: 147.606 s c =============================================================================== c | 61591 | 500 853 143100 | 5000 9325 55 | 0.000 % | c | 61691 | 500 853 143100 | 5500 4763 55 | 0.000 % | c | 61842 | 500 853 143100 | 6050 4914 55 | 0.000 % | c | 62067 | 500 853 143100 | 6655 5139 55 | 0.000 % | c | 62404 | 500 853 143100 | 7320 5476 56 | 0.000 % | c | 62910 | 500 853 143100 | 8052 5982 56 | 0.000 % | c | 63669 | 500 853 143100 | 8857 6741 56 | 0.000 % | c | 64809 | 500 853 143100 | 9743 7881 56 | 0.000 % | c | 66518 | 500 853 143100 | 10717 9590 56 | 0.000 % | c | 69080 | 500 853 143100 | 11789 6766 55 | 0.000 % | c =============================================================================== c New solution: 47 c Elapsed CPU time: 37.0024 s Remaining CPU time: 142.998 s c =============================================================================== c | 70242 | 500 854 143500 | 5000 7928 56 | 0.000 % | c | 70342 | 500 854 143500 | 5500 4064 56 | 0.000 % | c =============================================================================== c New solution: 46 c Elapsed CPU time: 37.1613 s Remaining CPU time: 142.839 s c =============================================================================== c | 70452 | 500 855 143900 | 5000 4174 56 | 0.000 % | c | 70554 | 500 855 143900 | 5500 4276 56 | 0.000 % | c | 70704 | 500 855 143900 | 6050 4426 56 | 0.000 % | c | 70930 | 500 855 143900 | 6655 4652 56 | 0.000 % | c | 71267 | 500 855 143900 | 7320 4989 55 | 0.000 % | c | 71773 | 500 855 143900 | 8052 5495 55 | 0.000 % | c | 72532 | 500 855 143900 | 8857 6254 55 | 0.000 % | c | 73672 | 500 855 143900 | 9743 7394 55 | 0.000 % | c | 75380 | 500 855 143900 | 10717 9102 56 | 0.000 % | c =============================================================================== c New solution: 45 c Elapsed CPU time: 40.3829 s Remaining CPU time: 139.617 s c =============================================================================== c | 76562 | 500 856 144300 | 5000 10284 56 | 0.000 % | c | 76662 | 500 856 144300 | 5500 2671 55 | 0.000 % | c | 76812 | 500 856 144300 | 6050 2821 55 | 0.000 % | c | 77040 | 500 856 144300 | 6655 3049 55 | 0.000 % | c | 77377 | 500 856 144300 | 7320 3386 55 | 0.000 % | c | 77884 | 500 856 144300 | 8052 3893 55 | 0.000 % | c | 78643 | 500 856 144300 | 8857 4652 54 | 0.000 % | c | 79782 | 500 856 144300 | 9743 5791 55 | 0.000 % | c | 81490 | 500 856 144300 | 10717 7499 55 | 0.000 % | c =============================================================================== c New solution: 44 c Elapsed CPU time: 43.7354 s Remaining CPU time: 136.265 s c =============================================================================== c | 82594 | 500 857 144700 | 5000 8603 57 | 0.000 % | c | 82694 | 500 857 144700 | 5500 4402 57 | 0.000 % | c | 82844 | 500 857 144700 | 6050 4552 57 | 0.000 % | c | 83069 | 500 857 144700 | 6655 4777 57 | 0.000 % | c | 83406 | 500 857 144700 | 7320 5114 57 | 0.000 % | c | 83913 | 500 857 144700 | 8052 5621 56 | 0.000 % | c | 84672 | 500 857 144700 | 8857 6380 56 | 0.000 % | c =============================================================================== c New solution: 43 c Elapsed CPU time: 45.1851 s Remaining CPU time: 134.815 s c =============================================================================== c | 85400 | 500 858 145100 | 5000 7108 56 | 0.000 % | c | 85500 | 500 858 145100 | 5500 3654 53 | 0.000 % | c | 85650 | 500 858 145100 | 6050 3804 53 | 0.000 % | c | 85876 | 500 858 145100 | 6655 4030 54 | 0.000 % | c =============================================================================== c New solution: 42 c Elapsed CPU time: 45.5661 s Remaining CPU time: 134.434 s c =============================================================================== c | 85909 | 500 859 145500 | 5000 4063 53 | 0.000 % | c | 86009 | 500 859 145500 | 5500 4163 53 | 0.000 % | c | 86159 | 500 859 145500 | 6050 4313 53 | 0.000 % | c | 86384 | 500 859 145500 | 6655 4538 53 | 0.000 % | c =============================================================================== c New solution: 41 c Elapsed CPU time: 45.905 s Remaining CPU time: 134.095 s c =============================================================================== c | 86697 | 500 860 145900 | 5000 4851 52 | 0.000 % | c | 86798 | 500 860 145900 | 5500 4952 52 | 0.000 % | c | 86948 | 500 860 145900 | 6050 5102 52 | 0.000 % | c | 87174 | 500 860 145900 | 6655 5328 51 | 0.000 % | c | 87511 | 500 860 145900 | 7320 5665 51 | 0.000 % | c | 88017 | 500 860 145900 | 8052 6171 51 | 0.000 % | c | 88776 | 500 860 145900 | 8857 6930 51 | 0.000 % | c | 89915 | 500 860 145900 | 9743 8069 51 | 0.000 % | c | 91623 | 500 860 145900 | 10717 9777 51 | 0.000 % | c | 94185 | 500 860 145900 | 11789 6955 51 | 0.000 % | c | 98029 | 500 860 145900 | 12968 10799 52 | 0.000 % | c | 103796 | 500 860 145900 | 14265 10048 51 | 0.000 % | c | 112445 | 500 860 145900 | 15692 11529 51 | 0.000 % | c | 125419 | 500 860 145900 | 17261 8745 51 | 0.000 % | c | 144880 | 500 860 145900 | 18987 10867 51 | 0.000 % | c | 174072 | 500 860 145900 | 20886 11473 50 | 0.000 % | c =============================================================================== c New solution: 40 c Elapsed CPU time: 120.062 s Remaining CPU time: 59.9383 s c =============================================================================== c | 203750 | 500 861 146300 | 5000 20196 51 | 0.000 % | c | 203850 | 500 861 146300 | 5500 2625 49 | 0.000 % | c | 204001 | 500 861 146300 | 6050 2776 49 | 0.000 % | c | 204228 | 500 861 146300 | 6655 3003 48 | 0.000 % | c | 204565 | 500 861 146300 | 7320 3340 48 | 0.000 % | c | 205072 | 500 861 146300 | 8052 3847 47 | 0.000 % | c | 205833 | 500 861 146300 | 8857 4608 49 | 0.000 % | c | 206972 | 500 861 146300 | 9743 5747 49 | 0.000 % | c | 208682 | 500 861 146300 | 10717 7457 51 | 0.000 % | c | 211246 | 500 861 146300 | 11789 10021 51 | 0.000 % | c =============================================================================== c New solution: 39 c Elapsed CPU time: 126.586 s Remaining CPU time: 53.4142 s c =============================================================================== c | 214556 | 500 862 146700 | 5000 7407 53 | 0.000 % | c | 214656 | 500 862 146700 | 5500 3804 53 | 0.000 % | c | 214806 | 500 862 146700 | 6050 3954 53 | 0.000 % | c | 215031 | 500 862 146700 | 6655 4179 53 | 0.000 % | c | 215368 | 500 862 146700 | 7320 4516 52 | 0.000 % | c | 215874 | 500 862 146700 | 8052 5022 52 | 0.000 % | c | 216633 | 500 862 146700 | 8857 5781 52 | 0.000 % | c | 217772 | 500 862 146700 | 9743 6920 52 | 0.000 % | c | 219480 | 500 862 146700 | 10717 8628 51 | 0.000 % | c | 222042 | 500 862 146700 | 11789 5806 48 | 0.000 % | c =============================================================================== c New solution: 38 c Elapsed CPU time: 133.111 s Remaining CPU time: 46.8892 s c =============================================================================== c | 225739 | 500 863 147100 | 5000 9503 49 | 0.000 % | c | 225839 | 500 863 147100 | 5500 4852 48 | 0.000 % | c | 225989 | 500 863 147100 | 6050 5002 48 | 0.000 % | c | 226214 | 500 863 147100 | 6655 5227 48 | 0.000 % | c | 226551 | 500 863 147100 | 7320 5564 48 | 0.000 % | c | 227058 | 500 863 147100 | 8052 6071 47 | 0.000 % | c | 227818 | 500 863 147100 | 8857 6831 49 | 0.000 % | c | 228957 | 500 863 147100 | 9743 7970 49 | 0.000 % | c | 230665 | 500 863 147100 | 10717 9678 50 | 0.000 % | c | 233227 | 500 863 147100 | 11789 6849 50 | 0.000 % | c | 237071 | 500 863 147100 | 12968 10693 50 | 0.000 % | c | 242837 | 500 863 147100 | 14265 9950 49 | 0.000 % | c =============================================================================== c New solution: 37 c Elapsed CPU time: 148.583 s Remaining CPU time: 31.4166 s c =============================================================================== c | 248639 | 500 864 147500 | 5000 8594 46 | 0.000 % | c | 248740 | 500 864 147500 | 5500 4398 46 | 0.000 % | c | 248891 | 500 864 147500 | 6050 4549 46 | 0.000 % | c | 249116 | 500 864 147500 | 6655 4774 46 | 0.000 % | c | 249453 | 500 864 147500 | 7320 5111 45 | 0.000 % | c | 249959 | 500 864 147500 | 8052 5617 45 | 0.000 % | c | 250719 | 500 864 147500 | 8857 6377 45 | 0.000 % | c | 251858 | 500 864 147500 | 9743 7516 45 | 0.000 % | c | 253566 | 500 864 147500 | 10717 9224 46 | 0.000 % | c | 256129 | 500 864 147500 | 11789 6401 46 | 0.000 % | c | 259973 | 500 864 147500 | 12968 10245 46 | 0.000 % | c | 265739 | 500 864 147500 | 14265 9500 46 | 0.000 % | c | 274389 | 500 864 147500 | 15692 10987 45 | 0.000 % | c | 287363 | 500 864 147500 | 17261 8193 46 | 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 1266 1903 | 5000 0 nan | 0.000 % | c | 101 | 100 1266 1903 | 5500 101 37 | 80.000 % | c | 251 | 98 1266 1903 | 6050 105 24 | 80.802 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 738 1267 116460 | 5000 0 nan | 0.000 % | c | 100 | 738 1267 116460 | 5500 100 35 | 9.890 % | c | 251 | 738 1267 116460 | 6050 251 22 | 9.890 % | c | 476 | 738 1267 116460 | 6655 476 17 | 9.890 % | c | 814 | 738 1267 116460 | 7320 814 15 | 9.890 % | c | 1321 | 738 1267 116460 | 8052 1321 14 | 9.890 % | c | 2080 | 738 1267 116460 | 8857 2080 14 | 9.890 % | c | 3219 | 738 1267 116460 | 9743 3219 16 | 9.890 % | c | 4928 | 738 1267 116460 | 10717 4928 17 | 9.890 % | c | 7491 | 738 1267 116460 | 11789 7491 18 | 9.890 % | c | 11335 | 737 1267 116460 | 12968 8689 19 | 10.012 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1215 1270 148941 | 5000 0 nan | 0.000 % | c | 101 | 1215 1270 148941 | 5500 101 34 | 0.164 % | c | 251 | 1215 1270 148941 | 6050 251 38 | 0.164 % | c | 476 | 1215 1270 148941 | 6655 476 41 | 0.164 % | c | 814 | 1215 1270 148941 | 7320 814 41 | 0.164 % | c | 1321 | 1215 1270 148941 | 8052 1321 40 | 0.164 % | c | 2082 | 1215 1270 148941 | 8857 2082 41 | 0.164 % | c | 3221 | 1215 1270 148941 | 9743 3221 46 | 0.164 % | c | 4929 | 1215 1270 148941 | 10717 4929 45 | 0.164 % | c | 7492 | 1215 1270 148941 | 11789 7492 36 | 0.164 % | c | 11338 | 1215 1270 148941 | 12968 11338 32 | 0.164 % | c | 17105 | 1215 1270 148941 | 14265 10592 20 | 0.164 % | c | 25755 | 1215 1270 148941 | 15692 12096 16 | 0.164 % | c | 38731 | 1215 1270 148941 | 17261 9333 19 | 0.164 % | c | 58193 | 1215 1270 148941 | 18987 11506 16 | 0.164 % | c | 87385 | 1215 1270 148941 | 20886 12180 15 | 0.164 % | c | 131174 | 1215 1270 148941 | 22974 14153 15 | 0.164 % | c | 196858 | 1214 1270 148941 | 25272 15661 16 | 0.247 % | c | 295384 | 1213 1270 148941 | 27799 12996 16 | 0.329 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1617 1271 150543 | 5000 0 nan | 0.000 % | c | 102 | 1617 1271 150543 | 5500 102 34 | 0.000 % | c | 252 | 1617 1271 150543 | 6050 252 39 | 0.000 % | c | 477 | 1617 1271 150543 | 6655 477 35 | 0.000 % | c | 814 | 1617 1271 150543 | 7320 814 38 | 0.000 % | c | 1320 | 1617 1271 150543 | 8052 1320 39 | 0.000 % | c | 2079 | 1617 1271 150543 | 8857 2079 41 | 0.000 % | c | 3218 | 1617 1271 150543 | 9743 3218 42 | 0.000 % | c | 4926 | 1617 1271 150543 | 10717 4926 42 | 0.000 % | c | 7488 | 1617 1271 150543 | 11789 7488 42 | 0.000 % | c | 11332 | 1617 1271 150543 | 12968 11332 43 | 0.000 % | c | 17098 | 1617 1271 150543 | 14265 10579 43 | 0.000 % | c | 25748 | 1617 1271 150543 | 15692 12070 44 | 0.000 % | c | 38724 | 1617 1271 150543 | 17261 9297 44 | 0.000 % | c | 58186 | 1617 1271 150543 | 18987 11438 44 | 0.000 % | c | 87378 | 1617 1271 150543 | 20886 12072 43 | 0.000 % | c | 131167 | 1617 1271 150543 | 22974 13955 44 | 0.000 % | c | 196852 | 1617 1271 150543 | 25272 20894 44 | 0.000 % | c | 295378 | 1617 1271 150543 | 27799 19197 45 | 0.000 % | c | 443167 | 1617 1271 150543 | 30579 20035 47 | 0.000 % | c Memory used : 242.00 MB c CPU time : 1800 s c c Total CPU time: 1800 s