c wbo 1.4 beta - 20100610 c | Number of variables: 800 | c | Number of clauses: 4471 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1186 | c | Number Clauses: 4455 | 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 | 1186 4455 9308 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 1186 4456 9710 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1186 4457 10112 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1186 4458 10514 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1186 4459 10916 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1186 4460 11318 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1186 4461 11720 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1186 4462 12122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1186 4463 12524 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1186 4464 12926 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1186 4465 13328 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1186 4466 13730 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1186 4467 14132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 1186 4468 14534 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 1186 4469 14936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1186 4470 15338 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 1186 4471 15740 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 1186 4472 16142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 1186 4473 16544 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 1186 4474 16946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 1186 4475 17348 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 1186 4476 17750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 1186 4477 18152 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 1186 4478 18554 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 1186 4479 18956 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 1186 4480 19358 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 1186 4481 19760 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 1186 4482 20162 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 1186 4483 20564 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 1 | 1186 4484 20966 | 5000 1 376 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 1 | 1186 4485 21368 | 5000 1 376 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 1 | 1186 4486 21770 | 5000 1 376 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 1 | 1186 4487 22172 | 5000 1 376 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 2 | 1186 4488 22574 | 5000 2 373 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 2 | 1186 4489 22976 | 5000 2 373 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 2 | 1186 4490 23378 | 5000 2 373 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 2 | 1186 4491 23780 | 5000 2 373 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 2 | 1186 4492 24182 | 5000 2 373 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 3 | 1186 4493 24584 | 5000 3 371 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 3 | 1186 4494 24986 | 5000 3 371 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 3 | 1186 4495 25388 | 5000 3 371 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 3 | 1186 4496 25790 | 5000 3 371 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 3 | 1186 4497 26192 | 5000 3 371 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 3 | 1186 4498 26594 | 5000 3 371 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 3 | 1186 4499 26996 | 5000 3 371 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 4 | 1186 4500 27398 | 5000 4 368 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 4 | 1186 4501 27800 | 5000 4 368 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 4 | 1186 4502 28202 | 5000 4 368 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 4 | 1186 4503 28604 | 5000 4 368 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 4 | 1186 4504 29006 | 5000 4 368 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 4 | 1186 4505 29408 | 5000 4 368 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 4 | 1186 4506 29810 | 5000 4 368 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 5 | 1186 4507 30212 | 5000 5 364 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 5 | 1186 4508 30614 | 5000 5 364 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 5 | 1186 4509 31016 | 5000 5 364 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 6 | 1186 4510 31418 | 5000 6 362 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 6 | 1186 4511 31820 | 5000 6 362 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 6 | 1186 4512 32222 | 5000 6 362 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 6 | 1186 4513 32624 | 5000 6 362 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.164974 s Remaining CPU time: 179.835 s c =============================================================================== c | 6 | 1186 4514 33026 | 5000 6 362 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s c =============================================================================== c | 7 | 1186 4515 33428 | 5000 7 359 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.174973 s Remaining CPU time: 179.825 s c =============================================================================== c | 7 | 1186 4516 33830 | 5000 7 359 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s c =============================================================================== c | 7 | 1186 4517 34232 | 5000 7 359 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s c =============================================================================== c | 7 | 1186 4518 34634 | 5000 7 359 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.188971 s Remaining CPU time: 179.811 s c =============================================================================== c | 7 | 1186 4519 35036 | 5000 7 359 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 7 | 1186 4520 35438 | 5000 7 359 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.197969 s Remaining CPU time: 179.802 s c =============================================================================== c | 8 | 1186 4521 35840 | 5000 8 356 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.203968 s Remaining CPU time: 179.796 s c =============================================================================== c | 8 | 1186 4522 36242 | 5000 8 356 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.208968 s Remaining CPU time: 179.791 s c =============================================================================== c | 8 | 1186 4523 36644 | 5000 8 356 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 8 | 1186 4524 37046 | 5000 8 356 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.218966 s Remaining CPU time: 179.781 s c =============================================================================== c | 8 | 1186 4525 37448 | 5000 8 356 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.224965 s Remaining CPU time: 179.775 s c =============================================================================== c | 9 | 1186 4526 37850 | 5000 9 317 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.230964 s Remaining CPU time: 179.769 s c =============================================================================== c | 10 | 1186 4527 38252 | 5000 10 318 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.236963 s Remaining CPU time: 179.763 s c =============================================================================== c | 11 | 1186 4528 38654 | 5000 11 319 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.241963 s Remaining CPU time: 179.758 s c =============================================================================== c | 11 | 1186 4529 39056 | 5000 11 319 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s c =============================================================================== c | 11 | 1186 4530 39458 | 5000 11 319 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.251961 s Remaining CPU time: 179.748 s c =============================================================================== c | 13 | 1186 4531 39860 | 5000 13 321 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s c =============================================================================== c | 14 | 1186 4532 40262 | 5000 14 321 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.26296 s Remaining CPU time: 179.737 s c =============================================================================== c | 22 | 1186 4533 40664 | 5000 22 323 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.268959 s Remaining CPU time: 179.731 s c =============================================================================== c | 24 | 1186 4534 41066 | 5000 24 323 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.274958 s Remaining CPU time: 179.725 s c =============================================================================== c | 24 | 1186 4535 41468 | 5000 24 323 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.280957 s Remaining CPU time: 179.719 s c =============================================================================== c | 24 | 1186 4536 41870 | 5000 24 323 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.286956 s Remaining CPU time: 179.713 s c =============================================================================== c | 24 | 1186 4537 42272 | 5000 24 323 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.293955 s Remaining CPU time: 179.706 s c =============================================================================== c | 27 | 1186 4538 42674 | 5000 27 323 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.300954 s Remaining CPU time: 179.699 s c =============================================================================== c | 28 | 1186 4539 43076 | 5000 28 323 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.307953 s Remaining CPU time: 179.692 s c =============================================================================== c | 30 | 1186 4540 43478 | 5000 30 322 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.314952 s Remaining CPU time: 179.685 s c =============================================================================== c | 31 | 1186 4541 43880 | 5000 31 322 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.32295 s Remaining CPU time: 179.677 s c =============================================================================== c | 33 | 1186 4542 44282 | 5000 33 322 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.329949 s Remaining CPU time: 179.67 s c =============================================================================== c | 34 | 1186 4543 44684 | 5000 34 322 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.336948 s Remaining CPU time: 179.663 s c =============================================================================== c | 34 | 1186 4544 45086 | 5000 34 322 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.346947 s Remaining CPU time: 179.653 s c =============================================================================== c | 54 | 1186 4545 45488 | 5000 54 319 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.354946 s Remaining CPU time: 179.645 s c =============================================================================== c | 58 | 1186 4546 45890 | 5000 58 318 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.362944 s Remaining CPU time: 179.637 s c =============================================================================== c | 61 | 1186 4547 46292 | 5000 61 318 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.371943 s Remaining CPU time: 179.628 s c =============================================================================== c | 65 | 1186 4548 46694 | 5000 65 318 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.377942 s Remaining CPU time: 179.622 s c =============================================================================== c | 65 | 1186 4549 47096 | 5000 65 318 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.38894 s Remaining CPU time: 179.611 s c =============================================================================== c | 76 | 1186 4550 47498 | 5000 76 316 | 0.000 % | c | 177 | 1186 4550 47498 | 5500 177 312 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.426935 s Remaining CPU time: 179.573 s c =============================================================================== c | 182 | 1186 4551 47900 | 5000 182 312 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.445932 s Remaining CPU time: 179.554 s c =============================================================================== c | 222 | 1186 4552 48302 | 5000 222 311 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.463929 s Remaining CPU time: 179.536 s c =============================================================================== c | 248 | 1186 4553 48704 | 5000 248 310 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.477927 s Remaining CPU time: 179.522 s c =============================================================================== c | 266 | 1186 4554 49106 | 5000 266 310 | 0.000 % | c | 366 | 1186 4554 49106 | 5500 366 308 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.544917 s Remaining CPU time: 179.455 s c =============================================================================== c | 479 | 1186 4555 49508 | 5000 479 307 | 0.000 % | c | 579 | 1186 4555 49508 | 5500 579 307 | 0.000 % | c | 729 | 1186 4555 49508 | 6050 729 306 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.641902 s Remaining CPU time: 179.358 s c =============================================================================== c | 757 | 1186 4556 49910 | 5000 757 306 | 0.000 % | c | 858 | 1186 4556 49910 | 5500 858 305 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.72289 s Remaining CPU time: 179.277 s c =============================================================================== c | 988 | 1186 4557 50312 | 5000 988 305 | 0.000 % | c | 1088 | 1186 4557 50312 | 5500 1088 305 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.768883 s Remaining CPU time: 179.231 s c =============================================================================== c | 1090 | 1186 4558 50714 | 5000 1090 305 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.796878 s Remaining CPU time: 179.203 s c =============================================================================== c | 1155 | 1186 4559 51116 | 5000 1155 304 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.810876 s Remaining CPU time: 179.189 s c =============================================================================== c | 1182 | 1186 4560 51518 | 5000 1182 304 | 0.000 % | c | 1282 | 1186 4560 51518 | 5500 1282 304 | 0.000 % | c | 1432 | 1186 4560 51518 | 6050 1432 303 | 0.000 % | c | 1657 | 1186 4560 51518 | 6655 1657 303 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 1.02184 s Remaining CPU time: 178.978 s c =============================================================================== c | 1889 | 1186 4561 51920 | 5000 1889 302 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 1.03584 s Remaining CPU time: 178.964 s c =============================================================================== c | 1911 | 1186 4562 52322 | 5000 1911 302 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 1.05284 s Remaining CPU time: 178.947 s c =============================================================================== c | 1945 | 1186 4563 52724 | 5000 1945 302 | 0.000 % | c | 2045 | 1186 4563 52724 | 5500 2045 302 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 1.11483 s Remaining CPU time: 178.885 s c =============================================================================== c | 2126 | 1186 4564 53126 | 5000 2126 301 | 0.000 % | c | 2226 | 1186 4564 53126 | 5500 2226 301 | 0.000 % | c | 2376 | 1186 4564 53126 | 6050 2376 301 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 1.22381 s Remaining CPU time: 178.776 s c =============================================================================== c | 2447 | 1186 4565 53528 | 5000 2447 300 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 1.26181 s Remaining CPU time: 178.738 s c =============================================================================== c | 2543 | 1186 4566 53930 | 5000 2543 300 | 0.000 % | c | 2643 | 1186 4566 53930 | 5500 2643 300 | 0.000 % | c | 2794 | 1186 4566 53930 | 6050 2794 299 | 0.000 % | c | 3019 | 1186 4566 53930 | 6655 3019 299 | 0.000 % | c | 3356 | 1186 4566 53930 | 7320 3356 298 | 0.000 % | c | 3864 | 1186 4566 53930 | 8052 3864 297 | 0.000 % | c | 4624 | 1186 4566 53930 | 8857 4624 297 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 1.88371 s Remaining CPU time: 178.116 s c =============================================================================== c | 4692 | 1186 4567 54332 | 5000 4692 297 | 0.000 % | c | 4793 | 1186 4567 54332 | 5500 4793 296 | 0.000 % | c | 4944 | 1186 4567 54332 | 6050 4944 296 | 0.000 % | c | 5169 | 1186 4567 54332 | 6655 5169 296 | 0.000 % | c | 5507 | 1186 4567 54332 | 7320 5507 296 | 0.000 % | c | 6013 | 1186 4567 54332 | 8052 6013 295 | 0.000 % | c | 6772 | 1186 4567 54332 | 8857 6772 295 | 0.000 % | c | 7911 | 1186 4567 54332 | 9743 7911 294 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 3.14552 s Remaining CPU time: 176.854 s c =============================================================================== c | 9299 | 1186 4568 54734 | 5000 9299 294 | 0.000 % | c | 9400 | 1186 4568 54734 | 5500 4751 291 | 0.000 % | c | 9550 | 1186 4568 54734 | 6050 4901 291 | 0.000 % | c | 9775 | 1186 4568 54734 | 6655 5126 291 | 0.000 % | c | 10112 | 1186 4568 54734 | 7320 5463 291 | 0.000 % | c | 10618 | 1186 4568 54734 | 8052 5969 291 | 0.000 % | c | 11377 | 1186 4568 54734 | 8857 6728 291 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 4.07338 s Remaining CPU time: 175.927 s c =============================================================================== c | 12256 | 1186 4569 55136 | 5000 7607 291 | 0.000 % | c | 12357 | 1186 4569 55136 | 5500 3905 291 | 0.000 % | c | 12507 | 1186 4569 55136 | 6050 4055 291 | 0.000 % | c | 12732 | 1186 4569 55136 | 6655 4280 291 | 0.000 % | c | 13070 | 1186 4569 55136 | 7320 4618 290 | 0.000 % | c | 13576 | 1186 4569 55136 | 8052 5124 290 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 4.66029 s Remaining CPU time: 175.34 s c =============================================================================== c | 14146 | 1186 4570 55538 | 5000 5694 290 | 0.000 % | c | 14246 | 1186 4570 55538 | 5500 2947 290 | 0.000 % | c | 14396 | 1186 4570 55538 | 6050 3097 289 | 0.000 % | c | 14622 | 1186 4570 55538 | 6655 3323 289 | 0.000 % | c | 14959 | 1186 4570 55538 | 7320 3660 289 | 0.000 % | c | 15466 | 1186 4570 55538 | 8052 4167 289 | 0.000 % | c | 16225 | 1186 4570 55538 | 8857 4926 289 | 0.000 % | c | 17364 | 1186 4570 55538 | 9743 6065 289 | 0.000 % | c | 19072 | 1186 4570 55538 | 10717 7773 289 | 0.000 % | c | 21635 | 1186 4570 55538 | 11789 10336 289 | 0.000 % | c | 25479 | 1186 4570 55538 | 12968 8138 289 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 8.84666 s Remaining CPU time: 171.153 s c =============================================================================== c | 28007 | 1186 4571 55940 | 5000 10666 289 | 0.000 % | c | 28107 | 1186 4571 55940 | 5500 2767 289 | 0.000 % | c | 28257 | 1186 4571 55940 | 6050 2917 289 | 0.000 % | c | 28482 | 1186 4571 55940 | 6655 3142 289 | 0.000 % | c | 28820 | 1186 4571 55940 | 7320 3480 289 | 0.000 % | c | 29326 | 1186 4571 55940 | 8052 3986 288 | 0.000 % | c | 30085 | 1186 4571 55940 | 8857 4745 288 | 0.000 % | c | 31224 | 1186 4571 55940 | 9743 5884 288 | 0.000 % | c | 32932 | 1186 4571 55940 | 10717 7592 288 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 11.1413 s Remaining CPU time: 168.859 s c =============================================================================== c | 35068 | 1186 4572 56342 | 5000 9728 288 | 0.000 % | c | 35168 | 1186 4572 56342 | 5500 4964 288 | 0.000 % | c | 35319 | 1186 4572 56342 | 6050 5115 288 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 11.2853 s Remaining CPU time: 168.715 s c =============================================================================== c | 35340 | 1186 4573 56744 | 5000 5136 288 | 0.000 % | c | 35440 | 1186 4573 56744 | 5500 2668 287 | 0.000 % | c | 35590 | 1186 4573 56744 | 6050 2818 287 | 0.000 % | c | 35815 | 1186 4573 56744 | 6655 3043 287 | 0.000 % | c | 36152 | 1186 4573 56744 | 7320 3380 287 | 0.000 % | c | 36658 | 1186 4573 56744 | 8052 3886 287 | 0.000 % | c | 37417 | 1186 4573 56744 | 8857 4645 287 | 0.000 % | c | 38556 | 1186 4573 56744 | 9743 5784 286 | 0.000 % | c | 40264 | 1186 4573 56744 | 10717 7492 286 | 0.000 % | c | 42826 | 1186 4573 56744 | 11789 10054 286 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 13.9089 s Remaining CPU time: 166.091 s c =============================================================================== c | 44080 | 1186 4574 57146 | 5000 11308 286 | 0.000 % | c | 44180 | 1186 4574 57146 | 5500 2927 285 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 14.0659 s Remaining CPU time: 165.934 s c =============================================================================== c | 44246 | 1186 4575 57548 | 5000 2993 285 | 0.000 % | c | 44346 | 1186 4575 57548 | 5500 3093 285 | 0.000 % | c | 44497 | 1186 4575 57548 | 6050 3244 285 | 0.000 % | c | 44722 | 1186 4575 57548 | 6655 3469 285 | 0.000 % | c | 45060 | 1186 4575 57548 | 7320 3807 285 | 0.000 % | c | 45566 | 1186 4575 57548 | 8052 4313 285 | 0.000 % | c | 46325 | 1186 4575 57548 | 8857 5072 285 | 0.000 % | c | 47464 | 1186 4575 57548 | 9743 6211 284 | 0.000 % | c | 49172 | 1186 4575 57548 | 10717 7919 284 | 0.000 % | c | 51734 | 1186 4575 57548 | 11789 10481 284 | 0.000 % | c | 55579 | 1186 4575 57548 | 12968 8269 284 | 0.000 % | c | 61345 | 1186 4575 57548 | 14265 7389 284 | 0.000 % | c | 69994 | 1186 4575 57548 | 15692 8724 284 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 23.6244 s Remaining CPU time: 156.376 s c =============================================================================== c | 70397 | 1186 4576 57950 | 5000 9127 284 | 0.000 % | c | 70498 | 1186 4576 57950 | 5500 4665 284 | 0.000 % | c | 70648 | 1186 4576 57950 | 6050 4815 284 | 0.000 % | c | 70874 | 1186 4576 57950 | 6655 5041 284 | 0.000 % | c | 71211 | 1186 4576 57950 | 7320 5378 284 | 0.000 % | c | 71717 | 1186 4576 57950 | 8052 5884 284 | 0.000 % | c | 72476 | 1186 4576 57950 | 8857 6643 284 | 0.000 % | c | 73615 | 1186 4576 57950 | 9743 7782 284 | 0.000 % | c | 75323 | 1186 4576 57950 | 10717 9490 283 | 0.000 % | c | 77885 | 1186 4576 57950 | 11789 6528 283 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 26.8449 s Remaining CPU time: 153.155 s c =============================================================================== c | 78614 | 1186 4577 58352 | 5000 7257 283 | 0.000 % | c | 78714 | 1186 4577 58352 | 5500 3729 283 | 0.000 % | c | 78866 | 1186 4577 58352 | 6050 3881 283 | 0.000 % | c | 79091 | 1186 4577 58352 | 6655 4106 283 | 0.000 % | c | 79428 | 1186 4577 58352 | 7320 4443 283 | 0.000 % | c | 79935 | 1186 4577 58352 | 8052 4950 283 | 0.000 % | c | 80694 | 1186 4577 58352 | 8857 5709 283 | 0.000 % | c | 81833 | 1186 4577 58352 | 9743 6848 283 | 0.000 % | c | 83542 | 1186 4577 58352 | 10717 8557 282 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 29.2046 s Remaining CPU time: 150.795 s c =============================================================================== c | 85022 | 1186 4578 58754 | 5000 10037 282 | 0.000 % | c | 85122 | 1186 4578 58754 | 5500 2610 282 | 0.000 % | c | 85272 | 1186 4578 58754 | 6050 2760 282 | 0.000 % | c | 85497 | 1186 4578 58754 | 6655 2985 282 | 0.000 % | c | 85834 | 1186 4578 58754 | 7320 3322 282 | 0.000 % | c | 86340 | 1186 4578 58754 | 8052 3828 281 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 29.7635 s Remaining CPU time: 150.237 s c =============================================================================== c | 86399 | 1186 4579 59156 | 5000 3887 281 | 0.000 % | c | 86499 | 1186 4579 59156 | 5500 3987 281 | 0.000 % | c | 86649 | 1186 4579 59156 | 6050 4137 281 | 0.000 % | c | 86875 | 1186 4579 59156 | 6655 4363 281 | 0.000 % | c | 87213 | 1186 4579 59156 | 7320 4701 281 | 0.000 % | c | 87720 | 1186 4579 59156 | 8052 5208 281 | 0.000 % | c | 88479 | 1186 4579 59156 | 8857 5967 281 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 30.6863 s Remaining CPU time: 149.314 s c =============================================================================== c | 89012 | 1186 4580 59558 | 5000 6500 281 | 0.000 % | c | 89112 | 1186 4580 59558 | 5500 3350 280 | 0.000 % | c | 89262 | 1186 4580 59558 | 6050 3500 280 | 0.000 % | c | 89487 | 1186 4580 59558 | 6655 3725 280 | 0.000 % | c | 89824 | 1186 4580 59558 | 7320 4062 279 | 0.000 % | c | 90331 | 1186 4580 59558 | 8052 4569 279 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 31.3722 s Remaining CPU time: 148.628 s c =============================================================================== c | 91051 | 1186 4581 59960 | 5000 5289 279 | 0.000 % | c | 91151 | 1186 4581 59960 | 5500 2745 279 | 0.000 % | c | 91301 | 1186 4581 59960 | 6050 2895 279 | 0.000 % | c | 91526 | 1186 4581 59960 | 6655 3120 279 | 0.000 % | c | 91863 | 1186 4581 59960 | 7320 3457 278 | 0.000 % | c | 92369 | 1186 4581 59960 | 8052 3963 278 | 0.000 % | c | 93129 | 1186 4581 59960 | 8857 4723 278 | 0.000 % | c | 94269 | 1186 4581 59960 | 9743 5863 278 | 0.000 % | c | 95977 | 1186 4581 59960 | 10717 7571 278 | 0.000 % | c | 98539 | 1186 4581 59960 | 11789 10133 278 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 34.5357 s Remaining CPU time: 145.464 s c =============================================================================== c | 100290 | 1186 4582 60362 | 5000 11884 278 | 0.000 % | c | 100390 | 1186 4582 60362 | 5500 3071 278 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 34.6977 s Remaining CPU time: 145.302 s c =============================================================================== c | 100475 | 1186 4583 60764 | 5000 3156 278 | 0.000 % | c | 100575 | 1186 4583 60764 | 5500 3256 278 | 0.000 % | c | 100726 | 1186 4583 60764 | 6050 3407 278 | 0.000 % | c | 100951 | 1186 4583 60764 | 6655 3632 278 | 0.000 % | c | 101288 | 1186 4583 60764 | 7320 3969 277 | 0.000 % | c | 101794 | 1186 4583 60764 | 8052 4475 277 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 35.2516 s Remaining CPU time: 144.748 s c =============================================================================== c | 101994 | 1186 4584 61166 | 5000 4675 277 | 0.000 % | c | 102095 | 1186 4584 61166 | 5500 4776 277 | 0.000 % | c | 102246 | 1186 4584 61166 | 6050 4927 277 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 35.4296 s Remaining CPU time: 144.57 s c =============================================================================== c | 102440 | 1186 4585 61568 | 5000 5121 277 | 0.000 % | c | 102540 | 1186 4585 61568 | 5500 2661 276 | 0.000 % | c | 102690 | 1186 4585 61568 | 6050 2811 276 | 0.000 % | c | 102915 | 1186 4585 61568 | 6655 3036 275 | 0.000 % | c | 103252 | 1186 4585 61568 | 7320 3373 275 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 35.7886 s Remaining CPU time: 144.211 s c =============================================================================== c | 103325 | 1186 4586 61970 | 5000 3446 275 | 0.000 % | c | 103425 | 1186 4586 61970 | 5500 3546 275 | 0.000 % | c | 103575 | 1186 4586 61970 | 6050 3696 275 | 0.000 % | c | 103801 | 1186 4586 61970 | 6655 3922 275 | 0.000 % | c | 104138 | 1186 4586 61970 | 7320 4259 275 | 0.000 % | c | 104644 | 1186 4586 61970 | 8052 4765 274 | 0.000 % | c | 105403 | 1186 4586 61970 | 8857 5524 274 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 36.5584 s Remaining CPU time: 143.442 s c =============================================================================== c | 105433 | 1186 4587 62372 | 5000 5554 274 | 0.000 % | c | 105534 | 1186 4587 62372 | 5500 2878 272 | 0.000 % | c | 105685 | 1186 4587 62372 | 6050 3029 272 | 0.000 % | c | 105910 | 1186 4587 62372 | 6655 3254 272 | 0.000 % | c | 106247 | 1186 4587 62372 | 7320 3591 272 | 0.000 % | c | 106754 | 1186 4587 62372 | 8052 4098 272 | 0.000 % | c | 107513 | 1186 4587 62372 | 8857 4857 272 | 0.000 % | c | 108652 | 1186 4587 62372 | 9743 5996 272 | 0.000 % | c | 110360 | 1186 4587 62372 | 10717 7704 272 | 0.000 % | c | 112922 | 1186 4587 62372 | 11789 10266 272 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 39.247 s Remaining CPU time: 140.753 s c =============================================================================== c | 113350 | 1186 4588 62774 | 5000 10694 272 | 0.000 % | c | 113450 | 1186 4588 62774 | 5500 2774 272 | 0.000 % | c | 113601 | 1186 4588 62774 | 6050 2925 272 | 0.000 % | c | 113826 | 1186 4588 62774 | 6655 3150 271 | 0.000 % | c | 114163 | 1186 4588 62774 | 7320 3487 271 | 0.000 % | c | 114669 | 1186 4588 62774 | 8052 3993 271 | 0.000 % | c | 115428 | 1186 4588 62774 | 8857 4752 271 | 0.000 % | c | 116568 | 1186 4588 62774 | 9743 5892 271 | 0.000 % | c | 118277 | 1186 4588 62774 | 10717 7601 271 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 41.2777 s Remaining CPU time: 138.722 s c =============================================================================== c | 119235 | 1186 4589 63176 | 5000 8559 271 | 0.000 % | c | 119337 | 1186 4589 63176 | 5500 4382 271 | 0.000 % | c | 119488 | 1186 4589 63176 | 6050 4533 271 | 0.000 % | c | 119713 | 1186 4589 63176 | 6655 4758 271 | 0.000 % | c | 120050 | 1186 4589 63176 | 7320 5095 271 | 0.000 % | c | 120556 | 1186 4589 63176 | 8052 5601 270 | 0.000 % | c | 121315 | 1186 4589 63176 | 8857 6360 270 | 0.000 % | c | 122454 | 1186 4589 63176 | 9743 7499 270 | 0.000 % | c | 124162 | 1186 4589 63176 | 10717 9207 270 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 43.7573 s Remaining CPU time: 136.243 s c =============================================================================== c | 126276 | 1186 4590 63578 | 5000 5795 270 | 0.000 % | c | 126377 | 1186 4590 63578 | 5500 2999 270 | 0.000 % | c | 126527 | 1186 4590 63578 | 6050 3149 270 | 0.000 % | c | 126752 | 1186 4590 63578 | 6655 3374 269 | 0.000 % | c | 127089 | 1186 4590 63578 | 7320 3711 269 | 0.000 % | c | 127595 | 1186 4590 63578 | 8052 4217 269 | 0.000 % | c | 128354 | 1186 4590 63578 | 8857 4976 269 | 0.000 % | c | 129493 | 1186 4590 63578 | 9743 6115 269 | 0.000 % | c | 131201 | 1186 4590 63578 | 10717 7823 269 | 0.000 % | c | 133764 | 1186 4590 63578 | 11789 10386 269 | 0.000 % | c | 137608 | 1186 4590 63578 | 12968 8181 269 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 49.1095 s Remaining CPU time: 130.89 s c =============================================================================== c | 139718 | 1186 4591 63980 | 5000 10291 269 | 0.000 % | c | 139818 | 1186 4591 63980 | 5500 2673 269 | 0.000 % | c | 139968 | 1186 4591 63980 | 6050 2823 269 | 0.000 % | c | 140193 | 1186 4591 63980 | 6655 3048 269 | 0.000 % | c | 140530 | 1186 4591 63980 | 7320 3385 269 | 0.000 % | c | 141036 | 1186 4591 63980 | 8052 3891 269 | 0.000 % | c | 141795 | 1186 4591 63980 | 8857 4650 268 | 0.000 % | c | 142934 | 1186 4591 63980 | 9743 5789 268 | 0.000 % | c | 144642 | 1186 4591 63980 | 10717 7497 268 | 0.000 % | c | 147204 | 1186 4591 63980 | 11789 10059 268 | 0.000 % | c | 151048 | 1186 4591 63980 | 12968 7861 268 | 0.000 % | c | 156814 | 1186 4591 63980 | 14265 6999 268 | 0.000 % | c | 165463 | 1186 4591 63980 | 15692 8375 268 | 0.000 % | c | 178437 | 1186 4591 63980 | 17261 13345 268 | 0.000 % | c | 197898 | 1186 4591 63980 | 18987 15236 269 | 0.000 % | c | 227090 | 1186 4591 63980 | 20886 15414 269 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 89.1774 s Remaining CPU time: 90.8226 s c =============================================================================== c | 237572 | 1186 4592 64382 | 5000 15154 269 | 0.000 % | c | 237672 | 1186 4592 64382 | 5500 3889 268 | 0.000 % | c | 237824 | 1186 4592 64382 | 6050 4041 268 | 0.000 % | c | 238049 | 1186 4592 64382 | 6655 4266 268 | 0.000 % | c | 238386 | 1186 4592 64382 | 7320 4603 268 | 0.000 % | c | 238893 | 1186 4592 64382 | 8052 5110 268 | 0.000 % | c | 239652 | 1186 4592 64382 | 8857 5869 268 | 0.000 % | c | 240793 | 1186 4592 64382 | 9743 7010 268 | 0.000 % | c | 242501 | 1186 4592 64382 | 10717 8718 268 | 0.000 % | c | 245063 | 1186 4592 64382 | 11789 5779 267 | 0.000 % | c | 248908 | 1186 4592 64382 | 12968 9624 267 | 0.000 % | c | 254674 | 1186 4592 64382 | 14265 8748 267 | 0.000 % | c | 263323 | 1186 4592 64382 | 15692 10127 267 | 0.000 % | c | 276297 | 1186 4592 64382 | 17261 15088 267 | 0.000 % | c | 295759 | 1186 4592 64382 | 18987 16964 267 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 116.33 s Remaining CPU time: 63.6697 s c =============================================================================== c | 301881 | 1186 4593 64784 | 5000 13449 268 | 0.000 % | c | 301981 | 1186 4593 64784 | 5500 3463 267 | 0.000 % | c | 302131 | 1186 4593 64784 | 6050 3613 267 | 0.000 % | c | 302356 | 1186 4593 64784 | 6655 3838 267 | 0.000 % | c | 302694 | 1186 4593 64784 | 7320 4176 267 | 0.000 % | c | 303201 | 1186 4593 64784 | 8052 4683 267 | 0.000 % | c | 303961 | 1186 4593 64784 | 8857 5443 267 | 0.000 % | c | 305100 | 1186 4593 64784 | 9743 6582 267 | 0.000 % | c | 306808 | 1186 4593 64784 | 10717 8290 266 | 0.000 % | c | 309371 | 1186 4593 64784 | 11789 10853 266 | 0.000 % | c | 313216 | 1186 4593 64784 | 12968 8642 266 | 0.000 % | c | 318982 | 1186 4593 64784 | 14265 7775 266 | 0.000 % | c | 327631 | 1186 4593 64784 | 15692 9143 266 | 0.000 % |