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.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 500 501 2300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 0 | 500 502 2700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 0 | 500 503 3100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 0 | 500 504 3500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 0 | 500 505 3900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 0 | 500 506 4300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 0 | 500 507 4700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 0 | 500 508 5100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 0 | 500 509 5500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 0 | 500 510 5900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 0 | 500 511 6300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 500 512 6700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 500 513 7100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 500 514 7500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 500 515 7900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 500 516 8300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 500 517 8700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 500 518 9100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 500 519 9500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 500 520 9900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 500 521 10300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 500 522 10700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 500 523 11100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 500 524 11500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 500 525 11900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 500 526 12300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 500 527 12700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 500 528 13100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 500 529 13500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 500 530 13900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 500 531 14300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 500 532 14700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 500 533 15100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 500 534 15500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 500 535 15900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 500 536 16300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 500 537 16700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 500 538 17100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 500 539 17500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 500 540 17900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 0 | 500 541 18300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 500 542 18700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 500 543 19100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 0 | 500 544 19500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 0 | 500 545 19900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 0 | 500 546 20300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 0 | 500 547 20700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 0 | 500 548 21100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 0 | 500 549 21500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 0 | 500 550 21900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 0 | 500 551 22300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 0 | 500 552 22700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 0 | 500 553 23100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 0 | 500 554 23500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 0 | 500 555 23900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 0 | 500 556 24300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 0 | 500 557 24700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 0 | 500 558 25100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s c =============================================================================== c | 0 | 500 559 25500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 0 | 500 560 25900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 0 | 500 561 26300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 0 | 500 562 26700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 0 | 500 563 27100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 0 | 500 564 27500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 0 | 500 565 27900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s c =============================================================================== c | 0 | 500 566 28300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 0 | 500 567 28700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 0 | 500 568 29100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s c =============================================================================== c | 0 | 500 569 29500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 0 | 500 570 29900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 0 | 500 571 30300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 0 | 500 572 30700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s c =============================================================================== c | 0 | 500 573 31100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 0 | 500 574 31500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s c =============================================================================== c | 0 | 500 575 31900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 0 | 500 576 32300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s c =============================================================================== c | 0 | 500 577 32700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 0 | 500 578 33100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.186971 s Remaining CPU time: 179.813 s c =============================================================================== c | 0 | 500 579 33500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.19097 s Remaining CPU time: 179.809 s c =============================================================================== c | 0 | 500 580 33900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 0 | 500 581 34300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.199969 s Remaining CPU time: 179.8 s c =============================================================================== c | 0 | 500 582 34700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 0 | 500 583 35100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s c =============================================================================== c | 0 | 500 584 35500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 0 | 500 585 35900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.218966 s Remaining CPU time: 179.781 s c =============================================================================== c | 0 | 500 586 36300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.222966 s Remaining CPU time: 179.777 s c =============================================================================== c | 0 | 500 587 36700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.228965 s Remaining CPU time: 179.771 s c =============================================================================== c | 0 | 500 588 37100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.234964 s Remaining CPU time: 179.765 s c =============================================================================== c | 0 | 500 589 37500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.239963 s Remaining CPU time: 179.76 s c =============================================================================== c | 0 | 500 590 37900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.245962 s Remaining CPU time: 179.754 s c =============================================================================== c | 0 | 500 591 38300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s c =============================================================================== c | 0 | 500 592 38700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.254961 s Remaining CPU time: 179.745 s c =============================================================================== c | 0 | 500 593 39100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.26096 s Remaining CPU time: 179.739 s c =============================================================================== c | 0 | 500 594 39500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.266959 s Remaining CPU time: 179.733 s c =============================================================================== c | 0 | 500 595 39900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.272958 s Remaining CPU time: 179.727 s c =============================================================================== c | 0 | 500 596 40300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.278957 s Remaining CPU time: 179.721 s c =============================================================================== c | 0 | 500 597 40700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.283956 s Remaining CPU time: 179.716 s c =============================================================================== c | 0 | 500 598 41100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s c =============================================================================== c | 0 | 500 599 41500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.295955 s Remaining CPU time: 179.704 s c =============================================================================== c | 0 | 500 600 41900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.301954 s Remaining CPU time: 179.698 s c =============================================================================== c | 0 | 500 601 42300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.308953 s Remaining CPU time: 179.691 s c =============================================================================== c | 0 | 500 602 42700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.314952 s Remaining CPU time: 179.685 s c =============================================================================== c | 1 | 500 603 43100 | 5000 1 302 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.32295 s Remaining CPU time: 179.677 s c =============================================================================== c | 1 | 500 604 43500 | 5000 1 302 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.329949 s Remaining CPU time: 179.67 s c =============================================================================== c | 1 | 500 605 43900 | 5000 1 302 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.336948 s Remaining CPU time: 179.663 s c =============================================================================== c | 2 | 500 606 44300 | 5000 2 152 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.343947 s Remaining CPU time: 179.656 s c =============================================================================== c | 2 | 500 607 44700 | 5000 2 152 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.350946 s Remaining CPU time: 179.649 s c =============================================================================== c | 2 | 500 608 45100 | 5000 2 152 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.357945 s Remaining CPU time: 179.642 s c =============================================================================== c | 3 | 500 609 45500 | 5000 3 103 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.363944 s Remaining CPU time: 179.636 s c =============================================================================== c | 4 | 500 610 45900 | 5000 4 79 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.371943 s Remaining CPU time: 179.628 s c =============================================================================== c | 4 | 500 611 46300 | 5000 4 79 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.378942 s Remaining CPU time: 179.621 s c =============================================================================== c | 4 | 500 612 46700 | 5000 4 79 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 0.386941 s Remaining CPU time: 179.613 s c =============================================================================== c | 5 | 500 613 47100 | 5000 5 64 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 0.394939 s Remaining CPU time: 179.605 s c =============================================================================== c | 6 | 500 614 47500 | 5000 6 56 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 0.402938 s Remaining CPU time: 179.597 s c =============================================================================== c | 8 | 500 615 47900 | 5000 8 116 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 0.410937 s Remaining CPU time: 179.589 s c =============================================================================== c | 8 | 500 616 48300 | 5000 8 116 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 0.418936 s Remaining CPU time: 179.581 s c =============================================================================== c | 8 | 500 617 48700 | 5000 8 116 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 0.427934 s Remaining CPU time: 179.572 s c =============================================================================== c | 8 | 500 618 49100 | 5000 8 116 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 0.435933 s Remaining CPU time: 179.564 s c =============================================================================== c | 8 | 500 619 49500 | 5000 8 116 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 0.444932 s Remaining CPU time: 179.555 s c =============================================================================== c | 8 | 500 620 49900 | 5000 8 116 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 0.45393 s Remaining CPU time: 179.546 s c =============================================================================== c | 8 | 500 621 50300 | 5000 8 116 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 0.461929 s Remaining CPU time: 179.538 s c =============================================================================== c | 8 | 500 622 50700 | 5000 8 116 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 0.470928 s Remaining CPU time: 179.529 s c =============================================================================== c | 8 | 500 623 51100 | 5000 8 116 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 0.479927 s Remaining CPU time: 179.52 s c =============================================================================== c | 8 | 500 624 51500 | 5000 8 116 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 0.488925 s Remaining CPU time: 179.511 s c =============================================================================== c | 8 | 500 625 51900 | 5000 8 116 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 0.497924 s Remaining CPU time: 179.502 s c =============================================================================== c | 8 | 500 626 52300 | 5000 8 116 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 0.507922 s Remaining CPU time: 179.492 s c =============================================================================== c | 9 | 500 627 52700 | 5000 9 103 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 0.515921 s Remaining CPU time: 179.484 s c =============================================================================== c | 9 | 500 628 53100 | 5000 9 103 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 0.52392 s Remaining CPU time: 179.476 s c =============================================================================== c | 9 | 500 629 53500 | 5000 9 103 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 0.533918 s Remaining CPU time: 179.466 s c =============================================================================== c | 9 | 500 630 53900 | 5000 9 103 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 0.542917 s Remaining CPU time: 179.457 s c =============================================================================== c | 9 | 500 631 54300 | 5000 9 103 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 0.552915 s Remaining CPU time: 179.447 s c =============================================================================== c | 9 | 500 632 54700 | 5000 9 103 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 0.561914 s Remaining CPU time: 179.438 s c =============================================================================== c | 9 | 500 633 55100 | 5000 9 103 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 0.570913 s Remaining CPU time: 179.429 s c =============================================================================== c | 9 | 500 634 55500 | 5000 9 103 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 0.581911 s Remaining CPU time: 179.418 s c =============================================================================== c | 9 | 500 635 55900 | 5000 9 103 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 0.59091 s Remaining CPU time: 179.409 s c =============================================================================== c | 9 | 500 636 56300 | 5000 9 103 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 0.600908 s Remaining CPU time: 179.399 s c =============================================================================== c | 10 | 500 637 56700 | 5000 10 93 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 0.610907 s Remaining CPU time: 179.389 s c =============================================================================== c | 13 | 500 638 57100 | 5000 13 74 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 0.620905 s Remaining CPU time: 179.379 s c =============================================================================== c | 14 | 500 639 57500 | 5000 14 69 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 0.628904 s Remaining CPU time: 179.371 s c =============================================================================== c | 14 | 500 640 57900 | 5000 14 69 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 0.639902 s Remaining CPU time: 179.36 s c =============================================================================== c | 14 | 500 641 58300 | 5000 14 69 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 0.648901 s Remaining CPU time: 179.351 s c =============================================================================== c | 14 | 500 642 58700 | 5000 14 69 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 0.657899 s Remaining CPU time: 179.342 s c =============================================================================== c | 14 | 500 643 59100 | 5000 14 69 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 0.666898 s Remaining CPU time: 179.333 s c =============================================================================== c | 14 | 500 644 59500 | 5000 14 69 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 0.676897 s Remaining CPU time: 179.323 s c =============================================================================== c | 15 | 500 645 59900 | 5000 15 81 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 0.685895 s Remaining CPU time: 179.314 s c =============================================================================== c | 15 | 500 646 60300 | 5000 15 81 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 0.695894 s Remaining CPU time: 179.304 s c =============================================================================== c | 15 | 500 647 60700 | 5000 15 81 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 0.703892 s Remaining CPU time: 179.296 s c =============================================================================== c | 15 | 500 648 61100 | 5000 15 81 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 0.713891 s Remaining CPU time: 179.286 s c =============================================================================== c | 15 | 500 649 61500 | 5000 15 81 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 0.72289 s Remaining CPU time: 179.277 s c =============================================================================== c | 15 | 500 650 61900 | 5000 15 81 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 0.732888 s Remaining CPU time: 179.267 s c =============================================================================== c | 15 | 500 651 62300 | 5000 15 81 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 0.742887 s Remaining CPU time: 179.257 s c =============================================================================== c | 15 | 500 652 62700 | 5000 15 81 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 0.752885 s Remaining CPU time: 179.247 s c =============================================================================== c | 16 | 500 653 63100 | 5000 16 92 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 0.762884 s Remaining CPU time: 179.237 s c =============================================================================== c | 16 | 500 654 63500 | 5000 16 92 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 0.772882 s Remaining CPU time: 179.227 s c =============================================================================== c | 16 | 500 655 63900 | 5000 16 92 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 0.78288 s Remaining CPU time: 179.217 s c =============================================================================== c | 16 | 500 656 64300 | 5000 16 92 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 0.792879 s Remaining CPU time: 179.207 s c =============================================================================== c | 18 | 500 657 64700 | 5000 18 83 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 0.802877 s Remaining CPU time: 179.197 s c =============================================================================== c | 18 | 500 658 65100 | 5000 18 83 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 0.812876 s Remaining CPU time: 179.187 s c =============================================================================== c | 18 | 500 659 65500 | 5000 18 83 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 0.823874 s Remaining CPU time: 179.176 s c =============================================================================== c | 19 | 500 660 65900 | 5000 19 79 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 0.833873 s Remaining CPU time: 179.166 s c =============================================================================== c | 19 | 500 661 66300 | 5000 19 79 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 0.843871 s Remaining CPU time: 179.156 s c =============================================================================== c | 19 | 500 662 66700 | 5000 19 79 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 0.85387 s Remaining CPU time: 179.146 s c =============================================================================== c | 19 | 500 663 67100 | 5000 19 79 | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 0.863868 s Remaining CPU time: 179.136 s c =============================================================================== c | 20 | 500 664 67500 | 5000 20 87 | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 0.873867 s Remaining CPU time: 179.126 s c =============================================================================== c | 20 | 500 665 67900 | 5000 20 87 | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 0.884865 s Remaining CPU time: 179.115 s c =============================================================================== c | 20 | 500 666 68300 | 5000 20 87 | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 0.894863 s Remaining CPU time: 179.105 s c =============================================================================== c | 21 | 500 667 68700 | 5000 21 83 | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 0.905862 s Remaining CPU time: 179.094 s c =============================================================================== c | 22 | 500 668 69100 | 5000 22 80 | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 0.91686 s Remaining CPU time: 179.083 s c =============================================================================== c | 22 | 500 669 69500 | 5000 22 80 | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 0.927858 s Remaining CPU time: 179.072 s c =============================================================================== c | 22 | 500 670 69900 | 5000 22 80 | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 0.937857 s Remaining CPU time: 179.062 s c =============================================================================== c | 22 | 500 671 70300 | 5000 22 80 | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 0.948855 s Remaining CPU time: 179.051 s c =============================================================================== c | 22 | 500 672 70700 | 5000 22 80 | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 0.958854 s Remaining CPU time: 179.041 s c =============================================================================== c | 22 | 500 673 71100 | 5000 22 80 | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 0.969852 s Remaining CPU time: 179.03 s c =============================================================================== c | 22 | 500 674 71500 | 5000 22 80 | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 0.979851 s Remaining CPU time: 179.02 s c =============================================================================== c | 22 | 500 675 71900 | 5000 22 80 | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 0.990849 s Remaining CPU time: 179.009 s c =============================================================================== c | 22 | 500 676 72300 | 5000 22 80 | 0.000 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 1.00185 s Remaining CPU time: 178.998 s c =============================================================================== c | 22 | 500 677 72700 | 5000 22 80 | 0.000 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 1.01285 s Remaining CPU time: 178.987 s c =============================================================================== c | 22 | 500 678 73100 | 5000 22 80 | 0.000 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 1.02284 s Remaining CPU time: 178.977 s c =============================================================================== c | 23 | 500 679 73500 | 5000 23 77 | 0.000 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 1.03384 s Remaining CPU time: 178.966 s c =============================================================================== c | 23 | 500 680 73900 | 5000 23 77 | 0.000 % | c =============================================================================== c New solution: 220 c Elapsed CPU time: 1.04484 s Remaining CPU time: 178.955 s c =============================================================================== c | 23 | 500 681 74300 | 5000 23 77 | 0.000 % | c =============================================================================== c New solution: 219 c Elapsed CPU time: 1.05684 s Remaining CPU time: 178.943 s c =============================================================================== c | 23 | 500 682 74700 | 5000 23 77 | 0.000 % | c =============================================================================== c New solution: 218 c Elapsed CPU time: 1.06784 s Remaining CPU time: 178.932 s c =============================================================================== c | 25 | 500 683 75100 | 5000 25 72 | 0.000 % | c =============================================================================== c New solution: 217 c Elapsed CPU time: 1.07883 s Remaining CPU time: 178.921 s c =============================================================================== c | 26 | 500 684 75500 | 5000 26 78 | 0.000 % | c =============================================================================== c New solution: 216 c Elapsed CPU time: 1.09083 s Remaining CPU time: 178.909 s c =============================================================================== c | 26 | 500 685 75900 | 5000 26 78 | 0.000 % | c =============================================================================== c New solution: 215 c Elapsed CPU time: 1.10183 s Remaining CPU time: 178.898 s c =============================================================================== c | 26 | 500 686 76300 | 5000 26 78 | 0.000 % | c =============================================================================== c New solution: 214 c Elapsed CPU time: 1.11283 s Remaining CPU time: 178.887 s c =============================================================================== c | 27 | 500 687 76700 | 5000 27 75 | 0.000 % | c =============================================================================== c New solution: 213 c Elapsed CPU time: 1.12383 s Remaining CPU time: 178.876 s c =============================================================================== c | 28 | 500 688 77100 | 5000 28 72 | 0.000 % | c =============================================================================== c New solution: 212 c Elapsed CPU time: 1.13583 s Remaining CPU time: 178.864 s c =============================================================================== c | 28 | 500 689 77500 | 5000 28 72 | 0.000 % | c =============================================================================== c New solution: 211 c Elapsed CPU time: 1.14682 s Remaining CPU time: 178.853 s c =============================================================================== c | 28 | 500 690 77900 | 5000 28 72 | 0.000 % | c =============================================================================== c New solution: 210 c Elapsed CPU time: 1.15782 s Remaining CPU time: 178.842 s c =============================================================================== c | 28 | 500 691 78300 | 5000 28 72 | 0.000 % | c =============================================================================== c New solution: 209 c Elapsed CPU time: 1.16982 s Remaining CPU time: 178.83 s c =============================================================================== c | 29 | 500 692 78700 | 5000 29 71 | 0.000 % | c =============================================================================== c New solution: 208 c Elapsed CPU time: 1.18182 s Remaining CPU time: 178.818 s c =============================================================================== c | 32 | 500 693 79100 | 5000 32 84 | 0.000 % | c =============================================================================== c New solution: 207 c Elapsed CPU time: 1.19382 s Remaining CPU time: 178.806 s c =============================================================================== c | 35 | 500 694 79500 | 5000 35 77 | 0.000 % | c =============================================================================== c New solution: 206 c Elapsed CPU time: 1.20582 s Remaining CPU time: 178.794 s c =============================================================================== c | 35 | 500 695 79900 | 5000 35 77 | 0.000 % | c =============================================================================== c New solution: 205 c Elapsed CPU time: 1.21781 s Remaining CPU time: 178.782 s c =============================================================================== c | 35 | 500 696 80300 | 5000 35 77 | 0.000 % | c =============================================================================== c New solution: 204 c Elapsed CPU time: 1.22981 s Remaining CPU time: 178.77 s c =============================================================================== c | 35 | 500 697 80700 | 5000 35 77 | 0.000 % | c =============================================================================== c New solution: 203 c Elapsed CPU time: 1.24081 s Remaining CPU time: 178.759 s c =============================================================================== c | 35 | 500 698 81100 | 5000 35 77 | 0.000 % | c =============================================================================== c New solution: 202 c Elapsed CPU time: 1.25381 s Remaining CPU time: 178.746 s c =============================================================================== c | 36 | 500 699 81500 | 5000 36 76 | 0.000 % | c =============================================================================== c New solution: 201 c Elapsed CPU time: 1.26581 s Remaining CPU time: 178.734 s c =============================================================================== c | 38 | 500 700 81900 | 5000 38 77 | 0.000 % | c =============================================================================== c New solution: 200 c Elapsed CPU time: 1.27781 s Remaining CPU time: 178.722 s c =============================================================================== c | 38 | 500 701 82300 | 5000 38 77 | 0.000 % | c =============================================================================== c New solution: 199 c Elapsed CPU time: 1.2908 s Remaining CPU time: 178.709 s c =============================================================================== c | 38 | 500 702 82700 | 5000 38 77 | 0.000 % | c =============================================================================== c New solution: 198 c Elapsed CPU time: 1.3028 s Remaining CPU time: 178.697 s c =============================================================================== c | 38 | 500 703 83100 | 5000 38 77 | 0.000 % | c =============================================================================== c New solution: 197 c Elapsed CPU time: 1.3148 s Remaining CPU time: 178.685 s c =============================================================================== c | 38 | 500 704 83500 | 5000 38 77 | 0.000 % | c =============================================================================== c New solution: 196 c Elapsed CPU time: 1.3278 s Remaining CPU time: 178.672 s c =============================================================================== c | 38 | 500 705 83900 | 5000 38 77 | 0.000 % | c =============================================================================== c New solution: 195 c Elapsed CPU time: 1.3398 s Remaining CPU time: 178.66 s c =============================================================================== c | 38 | 500 706 84300 | 5000 38 77 | 0.000 % | c =============================================================================== c New solution: 194 c Elapsed CPU time: 1.35179 s Remaining CPU time: 178.648 s c =============================================================================== c | 38 | 500 707 84700 | 5000 38 77 | 0.000 % | c =============================================================================== c New solution: 193 c Elapsed CPU time: 1.36479 s Remaining CPU time: 178.635 s c =============================================================================== c | 39 | 500 708 85100 | 5000 39 76 | 0.000 % | c =============================================================================== c New solution: 192 c Elapsed CPU time: 1.37779 s Remaining CPU time: 178.622 s c =============================================================================== c | 40 | 500 709 85500 | 5000 40 79 | 0.000 % | c =============================================================================== c New solution: 191 c Elapsed CPU time: 1.38979 s Remaining CPU time: 178.61 s c =============================================================================== c | 41 | 500 710 85900 | 5000 41 82 | 0.000 % | c =============================================================================== c New solution: 190 c Elapsed CPU time: 1.40379 s Remaining CPU time: 178.596 s c =============================================================================== c | 44 | 500 711 86300 | 5000 44 85 | 0.000 % | c =============================================================================== c New solution: 189 c Elapsed CPU time: 1.41678 s Remaining CPU time: 178.583 s c =============================================================================== c | 44 | 500 712 86700 | 5000 44 85 | 0.000 % | c =============================================================================== c New solution: 188 c Elapsed CPU time: 1.42878 s Remaining CPU time: 178.571 s c =============================================================================== c | 44 | 500 713 87100 | 5000 44 85 | 0.000 % | c =============================================================================== c New solution: 187 c Elapsed CPU time: 1.44178 s Remaining CPU time: 178.558 s c =============================================================================== c | 47 | 500 714 87500 | 5000 47 84 | 0.000 % | c =============================================================================== c New solution: 186 c Elapsed CPU time: 1.45478 s Remaining CPU time: 178.545 s c =============================================================================== c | 48 | 500 715 87900 | 5000 48 87 | 0.000 % | c =============================================================================== c New solution: 185 c Elapsed CPU time: 1.46878 s Remaining CPU time: 178.531 s c =============================================================================== c | 51 | 500 716 88300 | 5000 51 85 | 0.000 % | c =============================================================================== c New solution: 184 c Elapsed CPU time: 1.48077 s Remaining CPU time: 178.519 s c =============================================================================== c | 53 | 500 717 88700 | 5000 53 86 | 0.000 % | c =============================================================================== c New solution: 183 c Elapsed CPU time: 1.49177 s Remaining CPU time: 178.508 s c =============================================================================== c | 56 | 500 718 89100 | 5000 56 85 | 0.000 % | c =============================================================================== c New solution: 182 c Elapsed CPU time: 1.50577 s Remaining CPU time: 178.494 s c =============================================================================== c | 57 | 500 719 89500 | 5000 57 87 | 0.000 % | c =============================================================================== c New solution: 181 c Elapsed CPU time: 1.51877 s Remaining CPU time: 178.481 s c =============================================================================== c | 59 | 500 720 89900 | 5000 59 85 | 0.000 % | c =============================================================================== c New solution: 180 c Elapsed CPU time: 1.53277 s Remaining CPU time: 178.467 s c =============================================================================== c | 61 | 500 721 90300 | 5000 61 88 | 0.000 % | c =============================================================================== c New solution: 179 c Elapsed CPU time: 1.54576 s Remaining CPU time: 178.454 s c =============================================================================== c | 63 | 500 722 90700 | 5000 63 89 | 0.000 % | c =============================================================================== c New solution: 178 c Elapsed CPU time: 1.55876 s Remaining CPU time: 178.441 s c =============================================================================== c | 64 | 500 723 91100 | 5000 64 87 | 0.000 % | c =============================================================================== c New solution: 177 c Elapsed CPU time: 1.57276 s Remaining CPU time: 178.427 s c =============================================================================== c | 64 | 500 724 91500 | 5000 64 87 | 0.000 % | c =============================================================================== c New solution: 176 c Elapsed CPU time: 1.58576 s Remaining CPU time: 178.414 s c =============================================================================== c | 68 | 500 725 91900 | 5000 68 84 | 0.000 % | c =============================================================================== c New solution: 175 c Elapsed CPU time: 1.59976 s Remaining CPU time: 178.4 s c =============================================================================== c | 68 | 500 726 92300 | 5000 68 84 | 0.000 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 1.61275 s Remaining CPU time: 178.387 s c =============================================================================== c | 68 | 500 727 92700 | 5000 68 84 | 0.000 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 1.62675 s Remaining CPU time: 178.373 s c =============================================================================== c | 68 | 500 728 93100 | 5000 68 84 | 0.000 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 1.63975 s Remaining CPU time: 178.36 s c =============================================================================== c | 68 | 500 729 93500 | 5000 68 84 | 0.000 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 1.65275 s Remaining CPU time: 178.347 s c =============================================================================== c | 68 | 500 730 93900 | 5000 68 84 | 0.000 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 1.66675 s Remaining CPU time: 178.333 s c =============================================================================== c | 68 | 500 731 94300 | 5000 68 84 | 0.000 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 1.67974 s Remaining CPU time: 178.32 s c =============================================================================== c | 68 | 500 732 94700 | 5000 68 84 | 0.000 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 1.69274 s Remaining CPU time: 178.307 s c =============================================================================== c | 68 | 500 733 95100 | 5000 68 84 | 0.000 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 1.70674 s Remaining CPU time: 178.293 s c =============================================================================== c | 68 | 500 734 95500 | 5000 68 84 | 0.000 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 1.72074 s Remaining CPU time: 178.279 s c =============================================================================== c | 68 | 500 735 95900 | 5000 68 84 | 0.000 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 1.73374 s Remaining CPU time: 178.266 s c =============================================================================== c | 68 | 500 736 96300 | 5000 68 84 | 0.000 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 1.74773 s Remaining CPU time: 178.252 s c =============================================================================== c | 68 | 500 737 96700 | 5000 68 84 | 0.000 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 1.76073 s Remaining CPU time: 178.239 s c =============================================================================== c | 68 | 500 738 97100 | 5000 68 84 | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 1.77473 s Remaining CPU time: 178.225 s c =============================================================================== c | 68 | 500 739 97500 | 5000 68 84 | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 1.78773 s Remaining CPU time: 178.212 s c =============================================================================== c | 68 | 500 740 97900 | 5000 68 84 | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 1.80073 s Remaining CPU time: 178.199 s c =============================================================================== c | 68 | 500 741 98300 | 5000 68 84 | 0.000 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 1.81472 s Remaining CPU time: 178.185 s c =============================================================================== c | 70 | 500 742 98700 | 5000 70 82 | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 1.82972 s Remaining CPU time: 178.17 s c =============================================================================== c | 73 | 500 743 99100 | 5000 73 81 | 0.000 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 1.84272 s Remaining CPU time: 178.157 s c =============================================================================== c | 73 | 500 744 99500 | 5000 73 81 | 0.000 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 1.85672 s Remaining CPU time: 178.143 s c =============================================================================== c | 73 | 500 745 99900 | 5000 73 81 | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 1.87072 s Remaining CPU time: 178.129 s c =============================================================================== c | 73 | 500 746 100300 | 5000 73 81 | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 1.88271 s Remaining CPU time: 178.117 s c =============================================================================== c | 73 | 500 747 100700 | 5000 73 81 | 0.000 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 1.89571 s Remaining CPU time: 178.104 s c =============================================================================== c | 73 | 500 748 101100 | 5000 73 81 | 0.000 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 1.90971 s Remaining CPU time: 178.09 s c =============================================================================== c | 73 | 500 749 101500 | 5000 73 81 | 0.000 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 1.92371 s Remaining CPU time: 178.076 s c =============================================================================== c | 73 | 500 750 101900 | 5000 73 81 | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 1.93971 s Remaining CPU time: 178.06 s c =============================================================================== c | 78 | 500 751 102300 | 5000 78 84 | 0.000 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 1.9537 s Remaining CPU time: 178.046 s c =============================================================================== c | 80 | 500 752 102700 | 5000 80 83 | 0.000 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 1.9677 s Remaining CPU time: 178.032 s c =============================================================================== c | 80 | 500 753 103100 | 5000 80 83 | 0.000 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 1.9817 s Remaining CPU time: 178.018 s c =============================================================================== c | 80 | 500 754 103500 | 5000 80 83 | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 1.9947 s Remaining CPU time: 178.005 s c =============================================================================== c | 84 | 500 755 103900 | 5000 84 80 | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 2.00869 s Remaining CPU time: 177.991 s c =============================================================================== c | 84 | 500 756 104300 | 5000 84 80 | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 2.02269 s Remaining CPU time: 177.977 s c =============================================================================== c | 84 | 500 757 104700 | 5000 84 80 | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 2.03669 s Remaining CPU time: 177.963 s c =============================================================================== c | 84 | 500 758 105100 | 5000 84 80 | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 2.05069 s Remaining CPU time: 177.949 s c =============================================================================== c | 84 | 500 759 105500 | 5000 84 80 | 0.000 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 2.06469 s Remaining CPU time: 177.935 s c =============================================================================== c | 84 | 500 760 105900 | 5000 84 80 | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 2.07868 s Remaining CPU time: 177.921 s c =============================================================================== c | 85 | 500 761 106300 | 5000 85 79 | 0.000 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 2.09368 s Remaining CPU time: 177.906 s c =============================================================================== c | 87 | 500 762 106700 | 5000 87 79 | 0.000 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 2.10768 s Remaining CPU time: 177.892 s c =============================================================================== c | 89 | 500 763 107100 | 5000 89 78 | 0.000 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 2.12268 s Remaining CPU time: 177.877 s c =============================================================================== c | 89 | 500 764 107500 | 5000 89 78 | 0.000 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 2.13667 s Remaining CPU time: 177.863 s c =============================================================================== c | 90 | 500 765 107900 | 5000 90 78 | 0.000 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 2.15067 s Remaining CPU time: 177.849 s c =============================================================================== c | 91 | 500 766 108300 | 5000 91 78 | 0.000 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 2.16467 s Remaining CPU time: 177.835 s c =============================================================================== c | 91 | 500 767 108700 | 5000 91 78 | 0.000 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 2.17867 s Remaining CPU time: 177.821 s c =============================================================================== c | 92 | 500 768 109100 | 5000 92 78 | 0.000 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 2.19167 s Remaining CPU time: 177.808 s c =============================================================================== c | 92 | 500 769 109500 | 5000 92 78 | 0.000 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 2.20566 s Remaining CPU time: 177.794 s c =============================================================================== c | 92 | 500 770 109900 | 5000 92 78 | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 2.21966 s Remaining CPU time: 177.78 s c =============================================================================== c | 92 | 500 771 110300 | 5000 92 78 | 0.000 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 2.23366 s Remaining CPU time: 177.766 s c =============================================================================== c | 92 | 500 772 110700 | 5000 92 78 | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 2.24766 s Remaining CPU time: 177.752 s c =============================================================================== c | 92 | 500 773 111100 | 5000 92 78 | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 2.26166 s Remaining CPU time: 177.738 s c =============================================================================== c | 93 | 500 774 111500 | 5000 93 78 | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 2.27565 s Remaining CPU time: 177.724 s c =============================================================================== c | 93 | 500 775 111900 | 5000 93 78 | 0.000 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 2.28965 s Remaining CPU time: 177.71 s c =============================================================================== c | 94 | 500 776 112300 | 5000 94 78 | 0.000 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 2.30665 s Remaining CPU time: 177.693 s c =============================================================================== c | 105 | 500 777 112700 | 5000 105 83 | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 2.32065 s Remaining CPU time: 177.679 s c =============================================================================== c | 106 | 500 778 113100 | 5000 106 83 | 0.000 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 2.33465 s Remaining CPU time: 177.665 s c =============================================================================== c | 112 | 500 779 113500 | 5000 112 79 | 0.000 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 2.34864 s Remaining CPU time: 177.651 s c =============================================================================== c | 117 | 500 780 113900 | 5000 117 76 | 0.000 % | c | 217 | 500 780 113900 | 5500 217 101 | 0.000 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 2.39963 s Remaining CPU time: 177.6 s c =============================================================================== c | 239 | 500 781 114300 | 5000 239 94 | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 2.41463 s Remaining CPU time: 177.585 s c =============================================================================== c | 243 | 500 782 114700 | 5000 243 94 | 0.000 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 2.42963 s Remaining CPU time: 177.57 s c =============================================================================== c | 245 | 500 783 115100 | 5000 245 95 | 0.000 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 2.44363 s Remaining CPU time: 177.556 s c =============================================================================== c | 245 | 500 784 115500 | 5000 245 95 | 0.000 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 2.45763 s Remaining CPU time: 177.542 s c =============================================================================== c | 247 | 500 785 115900 | 5000 247 95 | 0.000 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 2.47162 s Remaining CPU time: 177.528 s c =============================================================================== c | 248 | 500 786 116300 | 5000 248 95 | 0.000 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 2.48562 s Remaining CPU time: 177.514 s c =============================================================================== c | 249 | 500 787 116700 | 5000 249 95 | 0.000 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 2.49962 s Remaining CPU time: 177.5 s c =============================================================================== c | 261 | 500 788 117100 | 5000 261 92 | 0.000 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 2.51462 s Remaining CPU time: 177.485 s c =============================================================================== c | 262 | 500 789 117500 | 5000 262 92 | 0.000 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 2.52861 s Remaining CPU time: 177.471 s c =============================================================================== c | 263 | 500 790 117900 | 5000 263 92 | 0.000 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 2.54261 s Remaining CPU time: 177.457 s c =============================================================================== c | 263 | 500 791 118300 | 5000 263 92 | 0.000 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 2.55661 s Remaining CPU time: 177.443 s c =============================================================================== c | 266 | 500 792 118700 | 5000 266 92 | 0.000 % | c | 368 | 500 792 118700 | 5500 368 99 | 0.000 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 2.6296 s Remaining CPU time: 177.37 s c =============================================================================== c | 370 | 500 793 119100 | 5000 370 98 | 0.000 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 2.6436 s Remaining CPU time: 177.356 s c =============================================================================== c | 370 | 500 794 119500 | 5000 370 98 | 0.000 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 2.6576 s Remaining CPU time: 177.342 s c =============================================================================== c | 370 | 500 795 119900 | 5000 370 98 | 0.000 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 2.67059 s Remaining CPU time: 177.329 s c =============================================================================== c | 370 | 500 796 120300 | 5000 370 98 | 0.000 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 2.68359 s Remaining CPU time: 177.316 s c =============================================================================== c | 371 | 500 797 120700 | 5000 371 98 | 0.000 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 2.69559 s Remaining CPU time: 177.304 s c =============================================================================== c | 372 | 500 798 121100 | 5000 372 98 | 0.000 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 2.70859 s Remaining CPU time: 177.291 s c =============================================================================== c | 373 | 500 799 121500 | 5000 373 97 | 0.000 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 2.72159 s Remaining CPU time: 177.278 s c =============================================================================== c | 373 | 500 800 121900 | 5000 373 97 | 0.000 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 2.73558 s Remaining CPU time: 177.264 s c =============================================================================== c | 373 | 500 801 122300 | 5000 373 97 | 0.000 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 2.74858 s Remaining CPU time: 177.251 s c =============================================================================== c | 373 | 500 802 122700 | 5000 373 97 | 0.000 % | c =============================================================================== c New solution: 98 c Elapsed CPU time: 2.76258 s Remaining CPU time: 177.237 s c =============================================================================== c | 373 | 500 803 123100 | 5000 373 97 | 0.000 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 2.77558 s Remaining CPU time: 177.224 s c =============================================================================== c | 373 | 500 804 123500 | 5000 373 97 | 0.000 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 2.78858 s Remaining CPU time: 177.211 s c =============================================================================== c | 373 | 500 805 123900 | 5000 373 97 | 0.000 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 2.80157 s Remaining CPU time: 177.198 s c =============================================================================== c | 373 | 500 806 124300 | 5000 373 97 | 0.000 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 2.81457 s Remaining CPU time: 177.185 s c =============================================================================== c | 373 | 500 807 124700 | 5000 373 97 | 0.000 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 2.82757 s Remaining CPU time: 177.172 s c =============================================================================== c | 383 | 500 808 125100 | 5000 383 95 | 0.000 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 2.84057 s Remaining CPU time: 177.159 s c =============================================================================== c | 385 | 500 809 125500 | 5000 385 95 | 0.000 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 2.85357 s Remaining CPU time: 177.146 s c =============================================================================== c | 393 | 500 810 125900 | 5000 393 93 | 0.000 % | c | 494 | 500 810 125900 | 5500 494 94 | 0.000 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 2.90456 s Remaining CPU time: 177.095 s c =============================================================================== c | 508 | 500 811 126300 | 5000 508 92 | 0.000 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 2.91856 s Remaining CPU time: 177.081 s c =============================================================================== c | 534 | 500 812 126700 | 5000 534 89 | 0.000 % | c | 635 | 500 812 126700 | 5500 635 90 | 0.000 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 3.00954 s Remaining CPU time: 176.99 s c =============================================================================== c | 640 | 500 813 127100 | 5000 640 90 | 0.000 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 3.02254 s Remaining CPU time: 176.977 s c =============================================================================== c | 641 | 500 814 127500 | 5000 641 90 | 0.000 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 3.03454 s Remaining CPU time: 176.965 s c =============================================================================== c | 642 | 500 815 127900 | 5000 642 89 | 0.000 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 3.04754 s Remaining CPU time: 176.952 s c =============================================================================== c | 656 | 500 816 128300 | 5000 656 88 | 0.000 % | c | 756 | 500 816 128300 | 5500 756 88 | 0.000 % | c | 906 | 500 816 128300 | 6050 906 89 | 0.000 % | c | 1131 | 500 816 128300 | 6655 1131 89 | 0.000 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 3.22251 s Remaining CPU time: 176.777 s c =============================================================================== c | 1164 | 500 817 128700 | 5000 1164 88 | 0.000 % | c | 1264 | 500 817 128700 | 5500 1264 88 | 0.000 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 3.2805 s Remaining CPU time: 176.719 s c =============================================================================== c | 1316 | 500 818 129100 | 5000 1316 88 | 0.000 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 3.2925 s Remaining CPU time: 176.708 s c =============================================================================== c | 1316 | 500 819 129500 | 5000 1316 88 | 0.000 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 3.3045 s Remaining CPU time: 176.696 s c =============================================================================== c | 1341 | 500 820 129900 | 5000 1341 87 | 0.000 % | c | 1442 | 500 820 129900 | 5500 1442 87 | 0.000 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 3.34849 s Remaining CPU time: 176.652 s c =============================================================================== c | 1489 | 500 821 130300 | 5000 1489 85 | 0.000 % | c | 1590 | 500 821 130300 | 5500 1590 85 | 0.000 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 3.41248 s Remaining CPU time: 176.588 s c =============================================================================== c | 1720 | 500 822 130700 | 5000 1720 82 | 0.000 % | c | 1820 | 500 822 130700 | 5500 1820 82 | 0.000 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 3.47747 s Remaining CPU time: 176.523 s c =============================================================================== c | 1968 | 500 823 131100 | 5000 1968 78 | 0.000 % | c | 2068 | 500 823 131100 | 5500 2068 79 | 0.000 % | c | 2219 | 500 823 131100 | 6050 2219 78 | 0.000 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 3.58446 s Remaining CPU time: 176.416 s c =============================================================================== c | 2243 | 500 824 131500 | 5000 2243 77 | 0.000 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 3.61445 s Remaining CPU time: 176.386 s c =============================================================================== c | 2319 | 500 825 131900 | 5000 2319 77 | 0.000 % | c | 2419 | 500 825 131900 | 5500 2419 76 | 0.000 % | c | 2569 | 500 825 131900 | 6050 2569 76 | 0.000 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 3.76243 s Remaining CPU time: 176.238 s c =============================================================================== c | 2583 | 500 826 132300 | 5000 2583 76 | 0.000 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 3.78742 s Remaining CPU time: 176.213 s c =============================================================================== c | 2629 | 500 827 132700 | 5000 2629 76 | 0.000 % | c | 2730 | 500 827 132700 | 5500 2730 74 | 0.000 % | c | 2880 | 500 827 132700 | 6050 2880 75 | 0.000 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 3.90141 s Remaining CPU time: 176.099 s c =============================================================================== c | 3071 | 500 828 133100 | 5000 3071 73 | 0.000 % | c | 3171 | 500 828 133100 | 5500 3171 73 | 0.000 % | c | 3322 | 500 828 133100 | 6050 3322 71 | 0.000 % | c | 3547 | 500 828 133100 | 6655 3547 72 | 0.000 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 4.08338 s Remaining CPU time: 175.917 s c =============================================================================== c | 3672 | 500 829 133500 | 5000 3672 71 | 0.000 % | c | 3773 | 500 829 133500 | 5500 3773 71 | 0.000 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 4.17836 s Remaining CPU time: 175.822 s c =============================================================================== c | 3863 | 500 830 133900 | 5000 3863 70 | 0.000 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 4.23336 s Remaining CPU time: 175.767 s c =============================================================================== c | 3927 | 500 831 134300 | 5000 3927 70 | 0.000 % | c | 4028 | 500 831 134300 | 5500 4028 69 | 0.000 % | c | 4178 | 500 831 134300 | 6050 4178 70 | 0.000 % | c | 4403 | 500 831 134300 | 6655 4403 69 | 0.000 % | c | 4740 | 500 831 134300 | 7320 4740 68 | 0.000 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 4.74328 s Remaining CPU time: 175.257 s c =============================================================================== c | 5165 | 500 832 134700 | 5000 5165 69 | 0.000 % | c | 5265 | 500 832 134700 | 5500 2683 60 | 0.000 % | c | 5415 | 500 832 134700 | 6050 2833 60 | 0.000 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 4.90125 s Remaining CPU time: 175.099 s c =============================================================================== c | 5522 | 500 833 135100 | 5000 2940 61 | 0.000 % | c | 5622 | 500 833 135100 | 5500 3040 60 | 0.000 % | c | 5772 | 500 833 135100 | 6050 3190 61 | 0.000 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 4.98924 s Remaining CPU time: 175.011 s c =============================================================================== c | 5851 | 500 834 135500 | 5000 3269 60 | 0.000 % | c | 5952 | 500 834 135500 | 5500 3370 61 | 0.000 % | c | 6102 | 500 834 135500 | 6050 3520 61 | 0.000 % | c | 6329 | 500 834 135500 | 6655 3747 60 | 0.000 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 5.15322 s Remaining CPU time: 174.847 s c =============================================================================== c | 6366 | 500 835 135900 | 5000 3784 60 | 0.000 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 5.16821 s Remaining CPU time: 174.832 s c =============================================================================== c | 6418 | 500 836 136300 | 5000 3836 59 | 0.000 % | c | 6518 | 500 836 136300 | 5500 3936 60 | 0.000 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 5.29619 s Remaining CPU time: 174.704 s c =============================================================================== c | 6651 | 500 837 136700 | 5000 4069 60 | 0.000 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 5.31019 s Remaining CPU time: 174.69 s c =============================================================================== c | 6684 | 500 838 137100 | 5000 4102 60 | 0.000 % | c | 6784 | 500 838 137100 | 5500 4202 60 | 0.000 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 5.37418 s Remaining CPU time: 174.626 s c =============================================================================== c | 6825 | 500 839 137500 | 5000 4243 60 | 0.000 % | c | 6925 | 500 839 137500 | 5500 4343 60 | 0.000 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 5.46917 s Remaining CPU time: 174.531 s c =============================================================================== c | 7005 | 500 840 137900 | 5000 4423 59 | 0.000 % | c | 7105 | 500 840 137900 | 5500 4523 60 | 0.000 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 5.55915 s Remaining CPU time: 174.441 s c =============================================================================== c | 7245 | 500 841 138300 | 5000 4663 59 | 0.000 % | c | 7347 | 500 841 138300 | 5500 4765 59 | 0.000 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 5.62514 s Remaining CPU time: 174.375 s c =============================================================================== c | 7381 | 500 842 138700 | 5000 4799 59 | 0.000 % | c | 7481 | 500 842 138700 | 5500 4899 59 | 0.000 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 5.69613 s Remaining CPU time: 174.304 s c =============================================================================== c | 7492 | 500 843 139100 | 5000 4910 59 | 0.000 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 5.70813 s Remaining CPU time: 174.292 s c =============================================================================== c | 7492 | 500 844 139500 | 5000 4910 59 | 0.000 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 5.72213 s Remaining CPU time: 174.278 s c =============================================================================== c | 7506 | 500 845 139900 | 5000 4924 59 | 0.000 % | c | 7606 | 500 845 139900 | 5500 5024 59 | 0.000 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 5.76712 s Remaining CPU time: 174.233 s c =============================================================================== c | 7647 | 500 846 140300 | 5000 5065 59 | 0.000 % | c | 7747 | 500 846 140300 | 5500 2633 52 | 0.000 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 5.82111 s Remaining CPU time: 174.179 s c =============================================================================== c | 7818 | 500 847 140700 | 5000 2704 52 | 0.000 % | c | 7918 | 500 847 140700 | 5500 2804 52 | 0.000 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 5.8911 s Remaining CPU time: 174.109 s c =============================================================================== c | 8019 | 500 848 141100 | 5000 2905 52 | 0.000 % | c | 8119 | 500 848 141100 | 5500 3005 52 | 0.000 % | c | 8270 | 500 848 141100 | 6050 3156 51 | 0.000 % | c | 8495 | 500 848 141100 | 6655 3381 52 | 0.000 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 6.09007 s Remaining CPU time: 173.91 s c =============================================================================== c | 8593 | 500 849 141500 | 5000 3479 51 | 0.000 % | c | 8693 | 500 849 141500 | 5500 3579 51 | 0.000 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 6.17306 s Remaining CPU time: 173.827 s c =============================================================================== c | 8838 | 500 850 141900 | 5000 3724 51 | 0.000 % | c | 8938 | 500 850 141900 | 5500 3824 51 | 0.000 % | c | 9088 | 500 850 141900 | 6050 3974 52 | 0.000 % | c | 9314 | 500 850 141900 | 6655 4200 51 | 0.000 % | c | 9651 | 500 850 141900 | 7320 4537 52 | 0.000 % | c | 10157 | 500 850 141900 | 8052 5043 52 | 0.000 % | c | 10916 | 500 850 141900 | 8857 5802 53 | 0.000 % | c =============================================================================== c New solution: 50 c Elapsed CPU time: 7.41287 s Remaining CPU time: 172.587 s c =============================================================================== c | 11566 | 500 851 142300 | 5000 6452 54 | 0.000 % | c | 11666 | 500 851 142300 | 5500 3326 52 | 0.000 % | c | 11816 | 500 851 142300 | 6050 3476 52 | 0.000 % | c | 12041 | 500 851 142300 | 6655 3701 52 | 0.000 % | c | 12378 | 500 851 142300 | 7320 4038 52 | 0.000 % | c | 12884 | 500 851 142300 | 8052 4544 55 | 0.000 % | c =============================================================================== c New solution: 49 c Elapsed CPU time: 8.12776 s Remaining CPU time: 171.872 s c =============================================================================== c | 12979 | 500 852 142700 | 5000 4639 54 | 0.000 % | c | 13080 | 500 852 142700 | 5500 4740 54 | 0.000 % | c | 13231 | 500 852 142700 | 6050 4891 54 | 0.000 % | c | 13456 | 500 852 142700 | 6655 5116 54 | 0.000 % | c | 13794 | 500 852 142700 | 7320 5454 54 | 0.000 % | c | 14300 | 500 852 142700 | 8052 5960 55 | 0.000 % | c | 15059 | 500 852 142700 | 8857 6719 56 | 0.000 % | c =============================================================================== c New solution: 48 c Elapsed CPU time: 9.24659 s Remaining CPU time: 170.753 s c =============================================================================== c | 15365 | 500 853 143100 | 5000 7025 57 | 0.000 % | c | 15465 | 500 853 143100 | 5500 3613 58 | 0.000 % | c | 15615 | 500 853 143100 | 6050 3763 57 | 0.000 % | c | 15842 | 500 853 143100 | 6655 3990 57 | 0.000 % | c | 16179 | 500 853 143100 | 7320 4327 56 | 0.000 % | c =============================================================================== c New solution: 47 c Elapsed CPU time: 9.55655 s Remaining CPU time: 170.443 s c =============================================================================== c | 16211 | 500 854 143500 | 5000 4359 56 | 0.000 % | c =============================================================================== c New solution: 46 c Elapsed CPU time: 9.56954 s Remaining CPU time: 170.43 s c =============================================================================== c | 16239 | 500 855 143900 | 5000 4387 56 | 0.000 % | c | 16339 | 500 855 143900 | 5500 4487 56 | 0.000 % | c | 16490 | 500 855 143900 | 6050 4638 56 | 0.000 % | c | 16715 | 500 855 143900 | 6655 4863 56 | 0.000 % | c | 17052 | 500 855 143900 | 7320 5200 56 | 0.000 % | c =============================================================================== c New solution: 45 c Elapsed CPU time: 9.93649 s Remaining CPU time: 170.064 s c =============================================================================== c | 17121 | 500 856 144300 | 5000 5269 56 | 0.000 % | c | 17222 | 500 856 144300 | 5500 2736 50 | 0.000 % | c | 17372 | 500 856 144300 | 6050 2886 50 | 0.000 % | c =============================================================================== c New solution: 44 c Elapsed CPU time: 10.0755 s Remaining CPU time: 169.925 s c =============================================================================== c | 17514 | 500 857 144700 | 5000 3028 49 | 0.000 % | c | 17614 | 500 857 144700 | 5500 3128 50 | 0.000 % | c | 17764 | 500 857 144700 | 6050 3278 49 | 0.000 % | c | 17989 | 500 857 144700 | 6655 3503 49 | 0.000 % | c =============================================================================== c New solution: 43 c Elapsed CPU time: 10.3194 s Remaining CPU time: 169.681 s c =============================================================================== c | 18249 | 500 858 145100 | 5000 3763 49 | 0.000 % | c | 18350 | 500 858 145100 | 5500 3864 49 | 0.000 % | c | 18500 | 500 858 145100 | 6050 4014 48 | 0.000 % | c | 18725 | 500 858 145100 | 6655 4239 48 | 0.000 % | c | 19062 | 500 858 145100 | 7320 4576 49 | 0.000 % | c | 19568 | 500 858 145100 | 8052 5082 49 | 0.000 % | c | 20328 | 500 858 145100 | 8857 5842 50 | 0.000 % | c | 21467 | 500 858 145100 | 9743 6981 51 | 0.000 % | c | 23175 | 500 858 145100 | 10717 8689 52 | 0.000 % | c =============================================================================== c New solution: 42 c Elapsed CPU time: 12.973 s Remaining CPU time: 167.027 s c =============================================================================== c | 23316 | 500 859 145500 | 5000 8830 52 | 0.000 % | c | 23416 | 500 859 145500 | 5500 4515 54 | 0.000 % | c | 23566 | 500 859 145500 | 6050 4665 53 | 0.000 % | c | 23791 | 500 859 145500 | 6655 4890 53 | 0.000 % | c | 24128 | 500 859 145500 | 7320 5227 54 | 0.000 % | c | 24634 | 500 859 145500 | 8052 5733 54 | 0.000 % | c | 25393 | 500 859 145500 | 8857 6492 55 | 0.000 % | c | 26532 | 500 859 145500 | 9743 7631 55 | 0.000 % | c | 28240 | 500 859 145500 | 10717 9339 57 | 0.000 % | c | 30802 | 500 859 145500 | 11789 6499 58 | 0.000 % | c | 34647 | 500 859 145500 | 12968 10344 58 | 0.000 % | c =============================================================================== c New solution: 41 c Elapsed CPU time: 23.8904 s Remaining CPU time: 156.11 s c =============================================================================== c | 39402 | 500 860 145900 | 5000 8580 54 | 0.000 % | c | 39502 | 500 860 145900 | 5500 4390 53 | 0.000 % | c | 39652 | 500 860 145900 | 6050 4540 53 | 0.000 % | c | 39877 | 500 860 145900 | 6655 4765 53 | 0.000 % | c =============================================================================== c New solution: 40 c Elapsed CPU time: 24.1043 s Remaining CPU time: 155.896 s c =============================================================================== c | 39933 | 500 861 146300 | 5000 4821 52 | 0.000 % | c | 40033 | 500 861 146300 | 5500 4921 52 | 0.000 % | c | 40183 | 500 861 146300 | 6050 5071 52 | 0.000 % | c | 40410 | 500 861 146300 | 6655 5298 52 | 0.000 % | c | 40748 | 500 861 146300 | 7320 5636 51 | 0.000 % | c | 41255 | 500 861 146300 | 8052 6143 51 | 0.000 % | c =============================================================================== c New solution: 39 c Elapsed CPU time: 24.6223 s Remaining CPU time: 155.378 s c =============================================================================== c | 41607 | 500 862 146700 | 5000 6495 50 | 0.000 % | c | 41707 | 500 862 146700 | 5500 3348 46 | 0.000 % | c | 41857 | 500 862 146700 | 6050 3498 46 | 0.000 % | c | 42082 | 500 862 146700 | 6655 3723 46 | 0.000 % | c | 42420 | 500 862 146700 | 7320 4061 46 | 0.000 % | c | 42927 | 500 862 146700 | 8052 4568 46 | 0.000 % | c | 43686 | 500 862 146700 | 8857 5327 46 | 0.000 % | c =============================================================================== c New solution: 38 c Elapsed CPU time: 25.7401 s Remaining CPU time: 154.26 s c =============================================================================== c | 44023 | 500 863 147100 | 5000 5664 46 | 0.000 % | c =============================================================================== c New solution: 37 c Elapsed CPU time: 25.7581 s Remaining CPU time: 154.242 s c =============================================================================== c | 44037 | 500 864 147500 | 5000 2846 43 | 0.000 % | c | 44137 | 500 864 147500 | 5500 2946 43 | 0.000 % | c | 44290 | 500 864 147500 | 6050 3099 43 | 0.000 % | c | 44515 | 500 864 147500 | 6655 3324 43 | 0.000 % | c | 44852 | 500 864 147500 | 7320 3661 43 | 0.000 % | c | 45358 | 500 864 147500 | 8052 4167 45 | 0.000 % | c | 46118 | 500 864 147500 | 8857 4927 46 | 0.000 % | c | 47257 | 500 864 147500 | 9743 6066 46 | 0.000 % | c =============================================================================== c New solution: 36 c Elapsed CPU time: 27.8098 s Remaining CPU time: 152.19 s c =============================================================================== c | 48681 | 500 865 147900 | 5000 7490 45 | 0.000 % | c | 48781 | 500 865 147900 | 5500 3845 44 | 0.000 % | c | 48932 | 500 865 147900 | 6050 3996 44 | 0.000 % | c | 49158 | 500 865 147900 | 6655 4222 43 | 0.000 % | c | 49495 | 500 865 147900 | 7320 4559 43 | 0.000 % | c | 50001 | 500 865 147900 | 8052 5065 43 | 0.000 % | c | 50760 | 500 865 147900 | 8857 5824 44 | 0.000 % | c =============================================================================== c New solution: 35 c Elapsed CPU time: 28.8346 s Remaining CPU time: 151.165 s c =============================================================================== c | 50772 | 500 866 148300 | 5000 5836 44 | 0.000 % | c | 50872 | 500 866 148300 | 5500 3018 41 | 0.000 % | c | 51024 | 500 866 148300 | 6050 3170 41 | 0.000 % | c =============================================================================== c New solution: 34 c Elapsed CPU time: 28.9666 s Remaining CPU time: 151.033 s c =============================================================================== c | 51042 | 500 867 148700 | 5000 3188 41 | 0.000 % | c | 51142 | 500 867 148700 | 5500 3288 41 | 0.000 % | c | 51292 | 500 867 148700 | 6050 3438 41 | 0.000 % | c | 51517 | 500 867 148700 | 6655 3663 41 | 0.000 % | c | 51854 | 500 867 148700 | 7320 4000 42 | 0.000 % | c =============================================================================== c New solution: 33 c Elapsed CPU time: 29.4065 s Remaining CPU time: 150.593 s c =============================================================================== c | 51906 | 500 868 149100 | 5000 4052 42 | 0.000 % | c | 52006 | 500 868 149100 | 5500 4152 42 | 0.000 % | c | 52156 | 500 868 149100 | 6050 4302 42 | 0.000 % | c | 52382 | 500 868 149100 | 6655 4528 42 | 0.000 % | c | 52719 | 500 868 149100 | 7320 4865 42 | 0.000 % | c | 53225 | 500 868 149100 | 8052 5371 41 | 0.000 % | c | 53986 | 500 868 149100 | 8857 6132 41 | 0.000 % | c | 55125 | 500 868 149100 | 9743 7271 41 | 0.000 % | c | 56833 | 500 868 149100 | 10717 8979 42 | 0.000 % | c | 59395 | 500 868 149100 | 11789 6154 42 | 0.000 % | c | 63239 | 500 868 149100 | 12968 9998 44 | 0.000 % | c | 69005 | 500 868 149100 | 14265 9251 44 | 0.000 % | c | 77654 | 500 868 149100 | 15692 10741 43 | 0.000 % | c | 90630 | 500 868 149100 | 17261 7976 44 | 0.000 % | c | 110091 | 500 868 149100 | 18987 10119 43 | 0.000 % | c =============================================================================== c New solution: 32 c Elapsed CPU time: 61.7546 s Remaining CPU time: 118.245 s c =============================================================================== c | 111319 | 500 869 149500 | 5000 11347 43 | 0.000 % | c | 111419 | 500 869 149500 | 5500 2937 41 | 0.000 % | c | 111570 | 500 869 149500 | 6050 3088 42 | 0.000 % | c | 111796 | 500 869 149500 | 6655 3314 43 | 0.000 % | c | 112133 | 500 869 149500 | 7320 3651 43 | 0.000 % | c | 112639 | 500 869 149500 | 8052 4157 43 | 0.000 % | c | 113398 | 500 869 149500 | 8857 4916 42 | 0.000 % | c | 114537 | 500 869 149500 | 9743 6055 42 | 0.000 % | c | 116245 | 500 869 149500 | 10717 7763 42 | 0.000 % | c | 118808 | 500 869 149500 | 11789 10326 42 | 0.000 % | c | 122653 | 500 869 149500 | 12968 8251 45 | 0.000 % | c =============================================================================== c New solution: 31 c Elapsed CPU time: 69.1945 s Remaining CPU time: 110.806 s c =============================================================================== c | 125001 | 500 870 149900 | 5000 10599 45 | 0.000 % | c | 125101 | 500 870 149900 | 5500 2750 40 | 0.000 % | c | 125253 | 500 870 149900 | 6050 2902 40 | 0.000 % | c | 125478 | 500 870 149900 | 6655 3127 41 | 0.000 % | c | 125815 | 500 870 149900 | 7320 3464 41 | 0.000 % | c | 126321 | 500 870 149900 | 8052 3970 42 | 0.000 % | c | 127080 | 500 870 149900 | 8857 4729 42 | 0.000 % | c | 128219 | 500 870 149900 | 9743 5868 43 | 0.000 % | c | 129927 | 500 870 149900 | 10717 7576 44 | 0.000 % | c | 132489 | 500 870 149900 | 11789 10138 43 | 0.000 % | c | 136333 | 500 870 149900 | 12968 8047 42 | 0.000 % | c | 142099 | 500 870 149900 | 14265 7307 41 | 0.000 % | c | 150748 | 500 870 149900 | 15692 8792 41 | 0.000 % | c =============================================================================== c New solution: 30 c Elapsed CPU time: 89.8743 s Remaining CPU time: 90.1257 s c =============================================================================== c | 160470 | 500 871 150300 | 5000 10647 40 | 0.000 % | c | 160570 | 500 871 150300 | 5500 2762 39 | 0.000 % | c | 160720 | 500 871 150300 | 6050 2912 40 | 0.000 % | c | 160945 | 500 871 150300 | 6655 3137 39 | 0.000 % | c =============================================================================== c New solution: 29 c Elapsed CPU time: 90.1873 s Remaining CPU time: 89.8127 s c =============================================================================== c | 161226 | 500 872 150700 | 5000 3418 39 | 0.000 % | c | 161326 | 500 872 150700 | 5500 3518 39 | 0.000 % | c | 161478 | 500 872 150700 | 6050 3670 39 | 0.000 % | c | 161703 | 500 872 150700 | 6655 3895 39 | 0.000 % | c | 162040 | 500 872 150700 | 7320 4232 39 | 0.000 % | c | 162548 | 500 872 150700 | 8052 4740 40 | 0.000 % | c | 163307 | 500 872 150700 | 8857 5499 40 | 0.000 % | c | 164446 | 500 872 150700 | 9743 6638 39 | 0.000 % | c | 166155 | 500 872 150700 | 10717 8347 39 | 0.000 % | c =============================================================================== c New solution: 28 c Elapsed CPU time: 92.7199 s Remaining CPU time: 87.2801 s c =============================================================================== c | 166836 | 500 873 151100 | 5000 9028 39 | 0.000 % | c | 166936 | 500 873 151100 | 5500 4614 37 | 0.000 % | c | 167086 | 500 873 151100 | 6050 4764 37 | 0.000 % | c | 167311 | 500 873 151100 | 6655 4989 37 | 0.000 % | c | 167649 | 500 873 151100 | 7320 5327 36 | 0.000 % | c | 168155 | 500 873 151100 | 8052 5833 36 | 0.000 % | c | 168915 | 500 873 151100 | 8857 6593 36 | 0.000 % | c | 170054 | 500 873 151100 | 9743 7732 36 | 0.000 % | c | 171763 | 500 873 151100 | 10717 9441 37 | 0.000 % | c | 174325 | 500 873 151100 | 11789 6624 36 | 0.000 % | c =============================================================================== c New solution: 27 c Elapsed CPU time: 96.6333 s Remaining CPU time: 83.3667 s c =============================================================================== c | 175254 | 500 874 151500 | 5000 7553 36 | 0.000 % | c | 175354 | 500 874 151500 | 5500 3877 36 | 0.000 % | c | 175504 | 500 874 151500 | 6050 4027 36 | 0.000 % | c | 175730 | 500 874 151500 | 6655 4253 36 | 0.000 % | c | 176067 | 500 874 151500 | 7320 4590 36 | 0.000 % | c | 176573 | 500 874 151500 | 8052 5096 36 | 0.000 % | c | 177333 | 500 874 151500 | 8857 5856 37 | 0.000 % | c | 178472 | 500 874 151500 | 9743 6995 37 | 0.000 % | c | 180180 | 500 874 151500 | 10717 8703 37 | 0.000 % | c | 182742 | 500 874 151500 | 11789 5880 37 | 0.000 % | c | 186586 | 500 874 151500 | 12968 9724 38 | 0.000 % | c | 192352 | 500 874 151500 | 14265 8973 39 | 0.000 % | c =============================================================================== c New solution: 26 c Elapsed CPU time: 111.378 s Remaining CPU time: 68.6219 s c =============================================================================== c | 199174 | 500 875 151900 | 5000 8642 40 | 0.000 % | c | 199274 | 500 875 151900 | 5500 4421 41 | 0.000 % | c | 199424 | 500 875 151900 | 6050 4571 41 | 0.000 % | c | 199649 | 500 875 151900 | 6655 4796 41 | 0.000 % | c | 199986 | 500 875 151900 | 7320 5133 40 | 0.000 % | c | 200492 | 500 875 151900 | 8052 5639 40 | 0.000 % | c | 201251 | 500 875 151900 | 8857 6398 40 | 0.000 % | c | 202390 | 500 875 151900 | 9743 7537 40 | 0.000 % | c | 204098 | 500 875 151900 | 10717 9245 40 | 0.000 % | c | 206660 | 500 875 151900 | 11789 6428 38 | 0.000 % | c | 210504 | 500 875 151900 | 12968 10272 37 | 0.000 % | c | 216272 | 500 875 151900 | 14265 9538 34 | 0.000 % | c | 224921 | 500 875 151900 | 15692 11035 34 | 0.000 % | c | 237896 | 500 875 151900 | 17261 8262 34 | 0.000 % | c =============================================================================== c New solution: 25 c Elapsed CPU time: 135.859 s Remaining CPU time: 44.1407 s c =============================================================================== c | 247793 | 500 876 152300 | 5000 9505 33 | 0.000 % | c | 247893 | 500 876 152300 | 5500 4853 33 | 0.000 % | c | 248043 | 500 876 152300 | 6050 5003 33 | 0.000 % | c | 248268 | 500 876 152300 | 6655 5228 33 | 0.000 % | c | 248605 | 500 876 152300 | 7320 5565 33 | 0.000 % | c | 249111 | 500 876 152300 | 8052 6071 33 | 0.000 % | c | 249871 | 500 876 152300 | 8857 6831 33 | 0.000 % | c | 251011 | 500 876 152300 | 9743 7971 33 | 0.000 % | c | 252720 | 500 876 152300 | 10717 9680 33 | 0.000 % | c | 255284 | 500 876 152300 | 11789 6866 33 | 0.000 % | c | 259128 | 500 876 152300 | 12968 10710 33 | 0.000 % | c | 264894 | 500 876 152300 | 14265 9967 32 | 0.000 % | c | 273544 | 500 876 152300 | 15692 11466 33 | 0.000 % | c | 286518 | 500 876 152300 | 17261 8694 34 | 0.000 % | c | 305979 | 500 876 152300 | 18987 10845 34 | 0.000 % | c =============================================================================== c New solution: 24 c Elapsed CPU time: 170.549 s Remaining CPU time: 9.45093 s c =============================================================================== c | 315016 | 500 877 152700 | 5000 10365 33 | 0.000 % | c | 315118 | 500 877 152700 | 5500 2694 32 | 0.000 % | c | 315268 | 500 877 152700 | 6050 2844 32 | 0.000 % | c | 315494 | 500 877 152700 | 6655 3070 32 | 0.000 % | c | 315831 | 500 877 152700 | 7320 3407 32 | 0.000 % | c | 316337 | 500 877 152700 | 8052 3913 32 | 0.000 % | c | 317096 | 500 877 152700 | 8857 4672 32 | 0.000 % | c | 318235 | 500 877 152700 | 9743 5811 32 | 0.000 % | c | 319943 | 500 877 152700 | 10717 7519 32 | 0.000 % | c | 322506 | 500 877 152700 | 11789 10082 33 | 0.000 % | c | 326350 | 500 877 152700 | 12968 8002 32 | 0.000 % | c | 332117 | 500 877 152700 | 14265 7265 32 | 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 1285 1921 | 5000 0 nan | 0.000 % | c | 101 | 99 1285 1921 | 5500 101 29 | 80.201 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 688 1286 111603 | 5000 0 nan | 0.000 % | c | 102 | 688 1286 111603 | 5500 102 43 | 13.350 % | c | 253 | 688 1286 111603 | 6050 253 32 | 13.350 % | c | 478 | 688 1286 111603 | 6655 478 25 | 13.350 % | c | 815 | 688 1286 111603 | 7320 815 19 | 13.351 % | c | 1321 | 688 1286 111603 | 8052 1321 17 | 13.351 % | c | 2080 | 688 1286 111603 | 8857 2080 17 | 13.351 % | c | 3220 | 686 1286 111603 | 9743 3218 20 | 13.602 % | c | 4928 | 685 1286 111603 | 10717 2971 19 | 13.728 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1184 1287 152894 | 5000 0 nan | 0.000 % | c | 102 | 1184 1287 152894 | 5500 102 45 | 0.421 % | c | 254 | 1184 1287 152894 | 6050 254 36 | 0.421 % | c | 480 | 1184 1287 152894 | 6655 480 34 | 0.421 % | c | 818 | 1184 1287 152894 | 7320 818 33 | 0.421 % | c | 1324 | 1184 1287 152894 | 8052 1324 33 | 0.421 % | c | 2086 | 1184 1287 152894 | 8857 2086 32 | 0.421 % | c | 3225 | 1184 1287 152894 | 9743 3225 31 | 0.421 % | c | 4933 | 1184 1287 152894 | 10717 4933 32 | 0.421 % | c | 7495 | 1184 1287 152894 | 11789 7495 33 | 0.421 % | c | 11341 | 1184 1287 152894 | 12968 11341 34 | 0.421 % | c | 17107 | 1184 1287 152894 | 14265 10583 33 | 0.421 % | c | 25756 | 1184 1287 152894 | 15692 12027 33 | 0.421 % | c | 38731 | 1184 1287 152894 | 17261 9194 34 | 0.421 % | c | 58192 | 1184 1287 152894 | 18987 11350 40 | 0.421 % | c | 87387 | 1184 1287 152894 | 20886 11995 45 | 0.421 % | c | 131177 | 1184 1287 152894 | 22974 13850 35 | 0.421 % | c | 196861 | 1184 1287 152894 | 25272 19624 45 | 0.421 % | c | 295387 | 1183 1287 152894 | 27799 22583 17 | 0.505 % | c | 443179 | 1182 1287 152894 | 30579 24761 16 | 0.589 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1589 1288 155699 | 5000 0 nan | 0.000 % | c | 100 | 1589 1288 155699 | 5500 100 42 | 0.000 % | c | 251 | 1589 1288 155699 | 6050 251 29 | 0.000 % | c | 476 | 1589 1288 155699 | 6655 476 27 | 0.000 % | c | 813 | 1589 1288 155699 | 7320 813 28 | 0.000 % | c | 1319 | 1589 1288 155699 | 8052 1319 26 | 0.000 % | c | 2079 | 1589 1288 155699 | 8857 2079 26 | 0.000 % | c | 3220 | 1589 1288 155699 | 9743 3220 25 | 0.000 % | c | 4930 | 1589 1288 155699 | 10717 4930 23 | 0.000 % | c | 7493 | 1589 1288 155699 | 11789 7493 23 | 0.000 % | c | 11337 | 1589 1288 155699 | 12968 11337 24 | 0.000 % | c | 17108 | 1589 1288 155699 | 14265 10414 26 | 0.000 % | c | 25758 | 1589 1288 155699 | 15692 11883 25 | 0.000 % | c | 38732 | 1589 1288 155699 | 17261 9129 25 | 0.000 % | c | 58194 | 1589 1288 155699 | 18987 11201 28 | 0.000 % | c | 87387 | 1589 1288 155699 | 20886 11739 26 | 0.000 % | c | 131178 | 1589 1288 155699 | 22974 13651 28 | 0.000 % | c =============================================================================== c Total CPU time: 1164.53 s