c wbo 1.4 beta - 20100610 c | Number of variables: 800 | c | Number of clauses: 4420 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1193 | c | Number Clauses: 4415 | 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 | 1193 4415 9232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1193 4416 9630 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1193 4417 10028 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1193 4418 10426 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1193 4419 10824 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1193 4420 11222 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1193 4421 11620 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1193 4422 12018 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1193 4423 12416 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1193 4424 12814 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1193 4425 13212 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1193 4426 13610 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 1193 4427 14008 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1193 4428 14406 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 2 | 1193 4429 14804 | 5000 2 386 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 2 | 1193 4430 15202 | 5000 2 386 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 2 | 1193 4431 15600 | 5000 2 386 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 2 | 1193 4432 15998 | 5000 2 386 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 2 | 1193 4433 16396 | 5000 2 386 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 2 | 1193 4434 16794 | 5000 2 386 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 2 | 1193 4435 17192 | 5000 2 386 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 2 | 1193 4436 17590 | 5000 2 386 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 2 | 1193 4437 17988 | 5000 2 386 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 2 | 1193 4438 18386 | 5000 2 386 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 2 | 1193 4439 18784 | 5000 2 386 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 2 | 1193 4440 19182 | 5000 2 386 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 2 | 1193 4441 19580 | 5000 2 386 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 2 | 1193 4442 19978 | 5000 2 386 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 2 | 1193 4443 20376 | 5000 2 386 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 2 | 1193 4444 20774 | 5000 2 386 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 2 | 1193 4445 21172 | 5000 2 386 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 2 | 1193 4446 21570 | 5000 2 386 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 2 | 1193 4447 21968 | 5000 2 386 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 2 | 1193 4448 22366 | 5000 2 386 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 2 | 1193 4449 22764 | 5000 2 386 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 2 | 1193 4450 23162 | 5000 2 386 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 2 | 1193 4451 23560 | 5000 2 386 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 2 | 1193 4452 23958 | 5000 2 386 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 2 | 1193 4453 24356 | 5000 2 386 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 2 | 1193 4454 24754 | 5000 2 386 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 2 | 1193 4455 25152 | 5000 2 386 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 2 | 1193 4456 25550 | 5000 2 386 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 2 | 1193 4457 25948 | 5000 2 386 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 2 | 1193 4458 26346 | 5000 2 386 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 2 | 1193 4459 26744 | 5000 2 386 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 2 | 1193 4460 27142 | 5000 2 386 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 2 | 1193 4461 27540 | 5000 2 386 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.123981 s Remaining CPU time: 179.876 s c =============================================================================== c | 3 | 1193 4462 27938 | 5000 3 375 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 3 | 1193 4463 28336 | 5000 3 375 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.13098 s Remaining CPU time: 179.869 s c =============================================================================== c | 3 | 1193 4464 28734 | 5000 3 375 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 3 | 1193 4465 29132 | 5000 3 375 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 3 | 1193 4466 29530 | 5000 3 375 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s c =============================================================================== c | 3 | 1193 4467 29928 | 5000 3 375 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 4 | 1193 4468 30326 | 5000 4 368 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 5 | 1193 4469 30724 | 5000 5 363 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s c =============================================================================== c | 5 | 1193 4470 31122 | 5000 5 363 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s c =============================================================================== c | 6 | 1193 4471 31520 | 5000 6 360 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 6 | 1193 4472 31918 | 5000 6 360 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.167974 s Remaining CPU time: 179.832 s c =============================================================================== c | 6 | 1193 4473 32316 | 5000 6 360 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.172973 s Remaining CPU time: 179.827 s c =============================================================================== c | 7 | 1193 4474 32714 | 5000 7 357 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.176973 s Remaining CPU time: 179.823 s c =============================================================================== c | 7 | 1193 4475 33112 | 5000 7 357 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.180972 s Remaining CPU time: 179.819 s c =============================================================================== c | 7 | 1193 4476 33510 | 5000 7 357 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s c =============================================================================== c | 8 | 1193 4477 33908 | 5000 8 355 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s c =============================================================================== c | 8 | 1193 4478 34306 | 5000 8 355 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 8 | 1193 4479 34704 | 5000 8 355 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.197969 s Remaining CPU time: 179.802 s c =============================================================================== c | 10 | 1193 4480 35102 | 5000 10 351 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 10 | 1193 4481 35500 | 5000 10 351 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 10 | 1193 4482 35898 | 5000 10 351 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s c =============================================================================== c | 11 | 1193 4483 36296 | 5000 11 349 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.216967 s Remaining CPU time: 179.783 s c =============================================================================== c | 11 | 1193 4484 36694 | 5000 11 349 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s c =============================================================================== c | 11 | 1193 4485 37092 | 5000 11 349 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.225965 s Remaining CPU time: 179.774 s c =============================================================================== c | 11 | 1193 4486 37490 | 5000 11 349 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.229965 s Remaining CPU time: 179.77 s c =============================================================================== c | 12 | 1193 4487 37888 | 5000 12 347 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.235964 s Remaining CPU time: 179.764 s c =============================================================================== c | 12 | 1193 4488 38286 | 5000 12 347 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s c =============================================================================== c | 13 | 1193 4489 38684 | 5000 13 345 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.245962 s Remaining CPU time: 179.754 s c =============================================================================== c | 13 | 1193 4490 39082 | 5000 13 345 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.251961 s Remaining CPU time: 179.748 s c =============================================================================== c | 13 | 1193 4491 39480 | 5000 13 345 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.25796 s Remaining CPU time: 179.742 s c =============================================================================== c | 14 | 1193 4492 39878 | 5000 14 344 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.263959 s Remaining CPU time: 179.736 s c =============================================================================== c | 15 | 1193 4493 40276 | 5000 15 321 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.268959 s Remaining CPU time: 179.731 s c =============================================================================== c | 15 | 1193 4494 40674 | 5000 15 321 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s c =============================================================================== c | 15 | 1193 4495 41072 | 5000 15 321 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.279957 s Remaining CPU time: 179.72 s c =============================================================================== c | 15 | 1193 4496 41470 | 5000 15 321 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.285956 s Remaining CPU time: 179.714 s c =============================================================================== c | 15 | 1193 4497 41868 | 5000 15 321 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s c =============================================================================== c | 18 | 1193 4498 42266 | 5000 18 320 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.298954 s Remaining CPU time: 179.701 s c =============================================================================== c | 19 | 1193 4499 42664 | 5000 19 320 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.305953 s Remaining CPU time: 179.694 s c =============================================================================== c | 20 | 1193 4500 43062 | 5000 20 320 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.311952 s Remaining CPU time: 179.688 s c =============================================================================== c | 20 | 1193 4501 43460 | 5000 20 320 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.319951 s Remaining CPU time: 179.68 s c =============================================================================== c | 32 | 1193 4502 43858 | 5000 32 317 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.32695 s Remaining CPU time: 179.673 s c =============================================================================== c | 33 | 1193 4503 44256 | 5000 33 317 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.333949 s Remaining CPU time: 179.666 s c =============================================================================== c | 34 | 1193 4504 44654 | 5000 34 317 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.339948 s Remaining CPU time: 179.66 s c =============================================================================== c | 36 | 1193 4505 45052 | 5000 36 316 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.346947 s Remaining CPU time: 179.653 s c =============================================================================== c | 39 | 1193 4506 45450 | 5000 39 316 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.354946 s Remaining CPU time: 179.645 s c =============================================================================== c | 51 | 1193 4507 45848 | 5000 51 314 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.361944 s Remaining CPU time: 179.638 s c =============================================================================== c | 53 | 1193 4508 46246 | 5000 53 314 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.368943 s Remaining CPU time: 179.631 s c =============================================================================== c | 55 | 1193 4509 46644 | 5000 55 313 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.374943 s Remaining CPU time: 179.625 s c =============================================================================== c | 57 | 1193 4510 47042 | 5000 57 313 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.381941 s Remaining CPU time: 179.618 s c =============================================================================== c | 59 | 1193 4511 47440 | 5000 59 313 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.38894 s Remaining CPU time: 179.611 s c =============================================================================== c | 61 | 1193 4512 47838 | 5000 61 312 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.396939 s Remaining CPU time: 179.603 s c =============================================================================== c | 64 | 1193 4513 48236 | 5000 64 312 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.403938 s Remaining CPU time: 179.596 s c =============================================================================== c | 66 | 1193 4514 48634 | 5000 66 311 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.410937 s Remaining CPU time: 179.589 s c =============================================================================== c | 68 | 1193 4515 49032 | 5000 68 311 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.420936 s Remaining CPU time: 179.579 s c =============================================================================== c | 84 | 1193 4516 49430 | 5000 84 309 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.426935 s Remaining CPU time: 179.573 s c =============================================================================== c | 84 | 1193 4517 49828 | 5000 84 309 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.433934 s Remaining CPU time: 179.566 s c =============================================================================== c | 85 | 1193 4518 50226 | 5000 85 309 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.440932 s Remaining CPU time: 179.559 s c =============================================================================== c | 88 | 1193 4519 50624 | 5000 88 308 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.448931 s Remaining CPU time: 179.551 s c =============================================================================== c | 90 | 1193 4520 51022 | 5000 90 308 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.45993 s Remaining CPU time: 179.54 s c =============================================================================== c | 106 | 1193 4521 51420 | 5000 106 306 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.471928 s Remaining CPU time: 179.528 s c =============================================================================== c | 131 | 1193 4522 51818 | 5000 131 303 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.478927 s Remaining CPU time: 179.521 s c =============================================================================== c | 133 | 1193 4523 52216 | 5000 133 303 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.486925 s Remaining CPU time: 179.513 s c =============================================================================== c | 135 | 1193 4524 52614 | 5000 135 303 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.495924 s Remaining CPU time: 179.504 s c =============================================================================== c | 138 | 1193 4525 53012 | 5000 138 303 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 0.502923 s Remaining CPU time: 179.497 s c =============================================================================== c | 141 | 1193 4526 53410 | 5000 141 302 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 0.513921 s Remaining CPU time: 179.486 s c =============================================================================== c | 158 | 1193 4527 53808 | 5000 158 301 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 0.52292 s Remaining CPU time: 179.477 s c =============================================================================== c | 162 | 1193 4528 54206 | 5000 162 300 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 0.532918 s Remaining CPU time: 179.467 s c =============================================================================== c | 175 | 1193 4529 54604 | 5000 175 299 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 0.544917 s Remaining CPU time: 179.455 s c =============================================================================== c | 197 | 1193 4530 55002 | 5000 197 298 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 0.553915 s Remaining CPU time: 179.446 s c =============================================================================== c | 208 | 1193 4531 55400 | 5000 208 297 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 0.564914 s Remaining CPU time: 179.435 s c =============================================================================== c | 220 | 1193 4532 55798 | 5000 220 296 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 0.573912 s Remaining CPU time: 179.426 s c =============================================================================== c | 226 | 1193 4533 56196 | 5000 226 296 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 0.584911 s Remaining CPU time: 179.415 s c =============================================================================== c | 235 | 1193 4534 56594 | 5000 235 295 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 0.593909 s Remaining CPU time: 179.406 s c =============================================================================== c | 243 | 1193 4535 56992 | 5000 243 295 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 0.602908 s Remaining CPU time: 179.397 s c =============================================================================== c | 254 | 1193 4536 57390 | 5000 254 294 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 0.618905 s Remaining CPU time: 179.381 s c =============================================================================== c | 285 | 1193 4537 57788 | 5000 285 292 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 0.627904 s Remaining CPU time: 179.372 s c =============================================================================== c | 296 | 1193 4538 58186 | 5000 296 292 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 0.637903 s Remaining CPU time: 179.362 s c =============================================================================== c | 298 | 1193 4539 58584 | 5000 298 292 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 0.647901 s Remaining CPU time: 179.352 s c =============================================================================== c | 305 | 1193 4540 58982 | 5000 305 291 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 0.659899 s Remaining CPU time: 179.34 s c =============================================================================== c | 317 | 1193 4541 59380 | 5000 317 291 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 0.668898 s Remaining CPU time: 179.331 s c =============================================================================== c | 320 | 1193 4542 59778 | 5000 320 290 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 0.695894 s Remaining CPU time: 179.304 s c =============================================================================== c | 399 | 1193 4543 60176 | 5000 399 287 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 0.708892 s Remaining CPU time: 179.291 s c =============================================================================== c | 410 | 1193 4544 60574 | 5000 410 287 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 0.71989 s Remaining CPU time: 179.28 s c =============================================================================== c | 419 | 1193 4545 60972 | 5000 419 286 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 0.748886 s Remaining CPU time: 179.251 s c =============================================================================== c | 492 | 1193 4546 61370 | 5000 492 284 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 0.760884 s Remaining CPU time: 179.239 s c =============================================================================== c | 504 | 1193 4547 61768 | 5000 504 283 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 0.773882 s Remaining CPU time: 179.226 s c =============================================================================== c | 516 | 1193 4548 62166 | 5000 516 283 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 0.78388 s Remaining CPU time: 179.216 s c =============================================================================== c | 524 | 1193 4549 62564 | 5000 524 283 | 0.000 % | c | 625 | 1193 4549 62564 | 5500 625 280 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 0.826874 s Remaining CPU time: 179.173 s c =============================================================================== c | 654 | 1193 4550 62962 | 5000 654 279 | 0.000 % | c | 755 | 1193 4550 62962 | 5500 755 277 | 0.000 % | c | 905 | 1193 4550 62962 | 6050 905 275 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 0.91886 s Remaining CPU time: 179.081 s c =============================================================================== c | 945 | 1193 4551 63360 | 5000 945 275 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 0.943856 s Remaining CPU time: 179.056 s c =============================================================================== c | 1019 | 1193 4552 63758 | 5000 1019 274 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 0.970852 s Remaining CPU time: 179.029 s c =============================================================================== c | 1106 | 1193 4553 64156 | 5000 1106 273 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 0.986849 s Remaining CPU time: 179.013 s c =============================================================================== c | 1129 | 1193 4554 64554 | 5000 1129 273 | 0.000 % | c | 1229 | 1193 4554 64554 | 5500 1229 272 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 1.03584 s Remaining CPU time: 178.964 s c =============================================================================== c | 1275 | 1193 4555 64952 | 5000 1275 271 | 0.000 % | c | 1376 | 1193 4555 64952 | 5500 1376 270 | 0.000 % | c | 1526 | 1193 4555 64952 | 6050 1526 269 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 1.11083 s Remaining CPU time: 178.889 s c =============================================================================== c | 1531 | 1193 4556 65350 | 5000 1531 269 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 1.12983 s Remaining CPU time: 178.87 s c =============================================================================== c | 1568 | 1193 4557 65748 | 5000 1568 269 | 0.000 % | c | 1670 | 1193 4557 65748 | 5500 1670 268 | 0.000 % | c | 1820 | 1193 4557 65748 | 6050 1820 267 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 1.22281 s Remaining CPU time: 178.777 s c =============================================================================== c | 1873 | 1193 4558 66146 | 5000 1873 267 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 1.23781 s Remaining CPU time: 178.762 s c =============================================================================== c | 1890 | 1193 4559 66544 | 5000 1890 267 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 1.25281 s Remaining CPU time: 178.747 s c =============================================================================== c | 1917 | 1193 4560 66942 | 5000 1917 267 | 0.000 % | c | 2017 | 1193 4560 66942 | 5500 2017 266 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 1.2998 s Remaining CPU time: 178.7 s c =============================================================================== c | 2042 | 1193 4561 67340 | 5000 2042 266 | 0.000 % | c | 2143 | 1193 4561 67340 | 5500 2143 266 | 0.000 % | c | 2294 | 1193 4561 67340 | 6050 2294 265 | 0.000 % | c | 2519 | 1193 4561 67340 | 6655 2519 264 | 0.000 % | c | 2856 | 1193 4561 67340 | 7320 2856 263 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 1.59376 s Remaining CPU time: 178.406 s c =============================================================================== c | 3179 | 1193 4562 67738 | 5000 3179 262 | 0.000 % | c | 3279 | 1193 4562 67738 | 5500 3279 261 | 0.000 % | c | 3429 | 1193 4562 67738 | 6050 3429 261 | 0.000 % | c | 3654 | 1193 4562 67738 | 6655 3654 261 | 0.000 % | c | 3991 | 1193 4562 67738 | 7320 3991 260 | 0.000 % | c | 4497 | 1193 4562 67738 | 8052 4497 259 | 0.000 % | c | 5256 | 1193 4562 67738 | 8857 5256 258 | 0.000 % | c | 6395 | 1193 4562 67738 | 9743 6395 257 | 0.000 % | c | 8103 | 1193 4562 67738 | 10717 8103 256 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 3.2725 s Remaining CPU time: 176.727 s c =============================================================================== c | 8762 | 1193 4563 68136 | 5000 8762 256 | 0.000 % | c | 8862 | 1193 4563 68136 | 5500 4481 253 | 0.000 % | c | 9012 | 1193 4563 68136 | 6050 4631 253 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 3.41948 s Remaining CPU time: 176.581 s c =============================================================================== c | 9029 | 1193 4564 68534 | 5000 4648 253 | 0.000 % | c | 9129 | 1193 4564 68534 | 5500 4748 253 | 0.000 % | c | 9280 | 1193 4564 68534 | 6050 4899 253 | 0.000 % | c | 9505 | 1193 4564 68534 | 6655 5124 253 | 0.000 % | c | 9843 | 1193 4564 68534 | 7320 5462 253 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 3.75543 s Remaining CPU time: 176.245 s c =============================================================================== c | 10100 | 1193 4565 68932 | 5000 5719 253 | 0.000 % | c | 10200 | 1193 4565 68932 | 5500 2960 252 | 0.000 % | c | 10350 | 1193 4565 68932 | 6050 3110 252 | 0.000 % | c | 10576 | 1193 4565 68932 | 6655 3336 252 | 0.000 % | c | 10913 | 1193 4565 68932 | 7320 3673 252 | 0.000 % | c | 11419 | 1193 4565 68932 | 8052 4179 252 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 4.20536 s Remaining CPU time: 175.795 s c =============================================================================== c | 11573 | 1193 4566 69330 | 5000 4333 252 | 0.000 % | c | 11674 | 1193 4566 69330 | 5500 4434 251 | 0.000 % | c | 11824 | 1193 4566 69330 | 6050 4584 251 | 0.000 % | c | 12050 | 1193 4566 69330 | 6655 4810 251 | 0.000 % | c | 12387 | 1193 4566 69330 | 7320 5147 251 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 4.5693 s Remaining CPU time: 175.431 s c =============================================================================== c | 12789 | 1193 4567 69728 | 5000 5549 251 | 0.000 % | c | 12890 | 1193 4567 69728 | 5500 2876 250 | 0.000 % | c | 13040 | 1193 4567 69728 | 6050 3026 249 | 0.000 % | c | 13265 | 1193 4567 69728 | 6655 3251 249 | 0.000 % | c | 13603 | 1193 4567 69728 | 7320 3589 249 | 0.000 % | c | 14109 | 1193 4567 69728 | 8052 4095 249 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 5.10722 s Remaining CPU time: 174.893 s c =============================================================================== c | 14563 | 1193 4568 70126 | 5000 4549 249 | 0.000 % | c | 14663 | 1193 4568 70126 | 5500 4649 249 | 0.000 % | c | 14813 | 1193 4568 70126 | 6050 4799 249 | 0.000 % | c | 15038 | 1193 4568 70126 | 6655 5024 249 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 5.29719 s Remaining CPU time: 174.703 s c =============================================================================== c | 15091 | 1193 4569 70524 | 5000 5077 249 | 0.000 % | c | 15192 | 1193 4569 70524 | 5500 2640 248 | 0.000 % | c | 15342 | 1193 4569 70524 | 6050 2790 248 | 0.000 % | c | 15567 | 1193 4569 70524 | 6655 3015 248 | 0.000 % | c | 15904 | 1193 4569 70524 | 7320 3352 247 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 5.66214 s Remaining CPU time: 174.338 s c =============================================================================== c | 16315 | 1193 4570 70922 | 5000 3763 247 | 0.000 % | c | 16416 | 1193 4570 70922 | 5500 3864 247 | 0.000 % | c | 16566 | 1193 4570 70922 | 6050 4014 247 | 0.000 % | c | 16791 | 1193 4570 70922 | 6655 4239 247 | 0.000 % | c | 17129 | 1193 4570 70922 | 7320 4577 247 | 0.000 % | c | 17636 | 1193 4570 70922 | 8052 5084 247 | 0.000 % | c | 18395 | 1193 4570 70922 | 8857 5843 246 | 0.000 % | c | 19534 | 1193 4570 70922 | 9743 6982 246 | 0.000 % | c | 21242 | 1193 4570 70922 | 10717 8690 246 | 0.000 % | c | 23804 | 1193 4570 70922 | 11789 5742 245 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 7.95279 s Remaining CPU time: 172.047 s c =============================================================================== c | 24263 | 1193 4571 71320 | 5000 6201 245 | 0.000 % | c | 24363 | 1193 4571 71320 | 5500 3201 245 | 0.000 % | c | 24514 | 1193 4571 71320 | 6050 3352 245 | 0.000 % | c | 24740 | 1193 4571 71320 | 6655 3578 245 | 0.000 % | c | 25077 | 1193 4571 71320 | 7320 3915 245 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 8.38072 s Remaining CPU time: 171.619 s c =============================================================================== c | 25562 | 1193 4572 71718 | 5000 4400 245 | 0.000 % | c | 25662 | 1193 4572 71718 | 5500 4500 245 | 0.000 % | c | 25812 | 1193 4572 71718 | 6050 4650 245 | 0.000 % | c | 26038 | 1193 4572 71718 | 6655 4876 245 | 0.000 % | c | 26375 | 1193 4572 71718 | 7320 5213 245 | 0.000 % | c | 26881 | 1193 4572 71718 | 8052 5719 245 | 0.000 % | c | 27640 | 1193 4572 71718 | 8857 6478 244 | 0.000 % | c | 28779 | 1193 4572 71718 | 9743 7617 244 | 0.000 % | c | 30487 | 1193 4572 71718 | 10717 9325 244 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 10.2174 s Remaining CPU time: 169.783 s c =============================================================================== c | 31398 | 1193 4573 72116 | 5000 10236 244 | 0.000 % | c | 31498 | 1193 4573 72116 | 5500 2659 243 | 0.000 % | c | 31648 | 1193 4573 72116 | 6050 2809 243 | 0.000 % | c | 31873 | 1193 4573 72116 | 6655 3034 243 | 0.000 % | c | 32210 | 1193 4573 72116 | 7320 3371 243 | 0.000 % | c | 32716 | 1193 4573 72116 | 8052 3877 243 | 0.000 % | c | 33475 | 1193 4573 72116 | 8857 4636 243 | 0.000 % | c | 34615 | 1193 4573 72116 | 9743 5776 243 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 11.7302 s Remaining CPU time: 168.27 s c =============================================================================== c | 36285 | 1193 4574 72514 | 5000 7446 243 | 0.000 % | c | 36385 | 1193 4574 72514 | 5500 3823 242 | 0.000 % | c | 36535 | 1193 4574 72514 | 6050 3973 242 | 0.000 % | c | 36760 | 1193 4574 72514 | 6655 4198 242 | 0.000 % | c | 37097 | 1193 4574 72514 | 7320 4535 242 | 0.000 % | c | 37603 | 1193 4574 72514 | 8052 5041 242 | 0.000 % | c | 38362 | 1193 4574 72514 | 8857 5800 242 | 0.000 % | c | 39501 | 1193 4574 72514 | 9743 6939 242 | 0.000 % | c | 41209 | 1193 4574 72514 | 10717 8647 242 | 0.000 % | c | 43771 | 1193 4574 72514 | 11789 5720 241 | 0.000 % | c | 47616 | 1193 4574 72514 | 12968 9565 241 | 0.000 % | c | 53383 | 1193 4574 72514 | 14265 8697 242 | 0.000 % | c | 62032 | 1193 4574 72514 | 15692 10073 241 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 20.5229 s Remaining CPU time: 159.477 s c =============================================================================== c | 63717 | 1193 4575 72912 | 5000 11758 241 | 0.000 % | c | 63817 | 1193 4575 72912 | 5500 3040 241 | 0.000 % | c | 63967 | 1193 4575 72912 | 6050 3190 241 | 0.000 % | c | 64193 | 1193 4575 72912 | 6655 3416 241 | 0.000 % | c | 64531 | 1193 4575 72912 | 7320 3754 241 | 0.000 % | c | 65037 | 1193 4575 72912 | 8052 4260 241 | 0.000 % | c | 65797 | 1193 4575 72912 | 8857 5020 241 | 0.000 % | c | 66936 | 1193 4575 72912 | 9743 6159 241 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 21.8187 s Remaining CPU time: 158.181 s c =============================================================================== c | 67467 | 1193 4576 73310 | 5000 6690 241 | 0.000 % | c | 67567 | 1193 4576 73310 | 5500 3445 240 | 0.000 % | c | 67717 | 1193 4576 73310 | 6050 3595 240 | 0.000 % | c | 67942 | 1193 4576 73310 | 6655 3820 240 | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 22.0476 s Remaining CPU time: 157.952 s c =============================================================================== c | 68008 | 1193 4577 73708 | 5000 3886 240 | 0.000 % | c | 68109 | 1193 4577 73708 | 5500 3987 240 | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 22.1206 s Remaining CPU time: 157.879 s c =============================================================================== c | 68216 | 1193 4578 74106 | 5000 4094 240 | 0.000 % | c | 68316 | 1193 4578 74106 | 5500 4194 240 | 0.000 % | c | 68466 | 1193 4578 74106 | 6050 4344 240 | 0.000 % | c | 68691 | 1193 4578 74106 | 6655 4569 240 | 0.000 % | c | 69029 | 1193 4578 74106 | 7320 4907 240 | 0.000 % | c | 69535 | 1193 4578 74106 | 8052 5413 239 | 0.000 % | c | 70294 | 1193 4578 74106 | 8857 6172 239 | 0.000 % | c | 71433 | 1193 4578 74106 | 9743 7311 239 | 0.000 % | c | 73141 | 1193 4578 74106 | 10717 9019 239 | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 23.7174 s Remaining CPU time: 156.283 s c =============================================================================== c | 73333 | 1193 4579 74504 | 5000 9211 239 | 0.000 % | c | 73433 | 1193 4579 74504 | 5500 4706 237 | 0.000 % | c | 73583 | 1193 4579 74504 | 6050 4856 237 | 0.000 % | c | 73808 | 1193 4579 74504 | 6655 5081 237 | 0.000 % | c | 74145 | 1193 4579 74504 | 7320 5418 237 | 0.000 % | c | 74651 | 1193 4579 74504 | 8052 5924 237 | 0.000 % | c | 75410 | 1193 4579 74504 | 8857 6683 237 | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 24.6273 s Remaining CPU time: 155.373 s c =============================================================================== c | 75894 | 1193 4580 74902 | 5000 7167 237 | 0.000 % | c | 75994 | 1193 4580 74902 | 5500 3684 236 | 0.000 % | c | 76145 | 1193 4580 74902 | 6050 3835 236 | 0.000 % | c | 76370 | 1193 4580 74902 | 6655 4060 236 | 0.000 % | c | 76708 | 1193 4580 74902 | 7320 4398 236 | 0.000 % | c | 77214 | 1193 4580 74902 | 8052 4904 236 | 0.000 % | c | 77973 | 1193 4580 74902 | 8857 5663 236 | 0.000 % | c | 79112 | 1193 4580 74902 | 9743 6802 236 | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 25.6651 s Remaining CPU time: 154.335 s c =============================================================================== c | 79279 | 1193 4581 75300 | 5000 6969 236 | 0.000 % | c | 79379 | 1193 4581 75300 | 5500 3585 235 | 0.000 % | c | 79529 | 1193 4581 75300 | 6050 3735 235 | 0.000 % | c | 79754 | 1193 4581 75300 | 6655 3960 235 | 0.000 % | c | 80091 | 1193 4581 75300 | 7320 4297 235 | 0.000 % | c | 80597 | 1193 4581 75300 | 8052 4803 235 | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 26.288 s Remaining CPU time: 153.712 s c =============================================================================== c | 81205 | 1193 4582 75698 | 5000 5411 235 | 0.000 % | c | 81305 | 1193 4582 75698 | 5500 2806 235 | 0.000 % | c | 81456 | 1193 4582 75698 | 6050 2957 234 | 0.000 % | c | 81682 | 1193 4582 75698 | 6655 3183 234 | 0.000 % | c | 82019 | 1193 4582 75698 | 7320 3520 234 | 0.000 % | c | 82525 | 1193 4582 75698 | 8052 4026 234 | 0.000 % | c | 83284 | 1193 4582 75698 | 8857 4785 234 | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 27.0189 s Remaining CPU time: 152.981 s c =============================================================================== c | 83623 | 1193 4583 76096 | 5000 5124 234 | 0.000 % | c | 83724 | 1193 4583 76096 | 5500 2663 233 | 0.000 % | c | 83875 | 1193 4583 76096 | 6050 2814 233 | 0.000 % | c | 84100 | 1193 4583 76096 | 6655 3039 233 | 0.000 % | c | 84437 | 1193 4583 76096 | 7320 3376 233 | 0.000 % | c | 84943 | 1193 4583 76096 | 8052 3882 233 | 0.000 % | c | 85703 | 1193 4583 76096 | 8857 4642 233 | 0.000 % | c | 86842 | 1193 4583 76096 | 9743 5781 233 | 0.000 % | c | 88550 | 1193 4583 76096 | 10717 7489 233 | 0.000 % | c | 91112 | 1193 4583 76096 | 11789 10051 233 | 0.000 % | c | 94956 | 1193 4583 76096 | 12968 7869 233 | 0.000 % | c | 100722 | 1193 4583 76096 | 14265 7026 233 | 0.000 % | c | 109371 | 1193 4583 76096 | 15692 8412 232 | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 35.4706 s Remaining CPU time: 144.529 s c =============================================================================== c | 109680 | 1193 4584 76494 | 5000 8721 232 | 0.000 % | c | 109780 | 1193 4584 76494 | 5500 4461 232 | 0.000 % | c | 109930 | 1193 4584 76494 | 6050 4611 232 | 0.000 % | c | 110156 | 1193 4584 76494 | 6655 4837 232 | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 35.7736 s Remaining CPU time: 144.226 s c =============================================================================== c | 110449 | 1193 4585 76892 | 5000 5130 232 | 0.000 % | c | 110549 | 1193 4585 76892 | 5500 2665 232 | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 35.8735 s Remaining CPU time: 144.126 s c =============================================================================== c | 110649 | 1193 4586 77290 | 5000 2765 232 | 0.000 % | c | 110749 | 1193 4586 77290 | 5500 2865 232 | 0.000 % | c | 110899 | 1193 4586 77290 | 6050 3015 231 | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 35.9825 s Remaining CPU time: 144.017 s c =============================================================================== c | 110944 | 1193 4587 77688 | 5000 3060 231 | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 36.0225 s Remaining CPU time: 143.977 s c =============================================================================== c | 111036 | 1193 4588 78086 | 5000 3152 231 | 0.000 % | c | 111137 | 1193 4588 78086 | 5500 3253 231 | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 36.0765 s Remaining CPU time: 143.923 s c =============================================================================== c | 111155 | 1193 4589 78484 | 5000 3271 231 | 0.000 % | c | 111255 | 1193 4589 78484 | 5500 3371 231 | 0.000 % | c | 111406 | 1193 4589 78484 | 6050 3522 231 | 0.000 % | c | 111631 | 1193 4589 78484 | 6655 3747 230 | 0.000 % | c | 111968 | 1193 4589 78484 | 7320 4084 230 | 0.000 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 36.3785 s Remaining CPU time: 143.622 s c =============================================================================== c | 112109 | 1193 4590 78882 | 5000 4225 230 | 0.000 % | c | 112211 | 1193 4590 78882 | 5500 4327 230 | 0.000 % | c | 112361 | 1193 4590 78882 | 6050 4477 230 | 0.000 % | c | 112586 | 1193 4590 78882 | 6655 4702 229 | 0.000 % | c | 112923 | 1193 4590 78882 | 7320 5039 229 | 0.000 % | c | 113430 | 1193 4590 78882 | 8052 5546 229 | 0.000 % | c | 114190 | 1193 4590 78882 | 8857 6306 228 | 0.000 % | c | 115329 | 1193 4590 78882 | 9743 7445 228 | 0.000 % | c | 117037 | 1193 4590 78882 | 10717 9153 227 | 0.000 % | c | 119600 | 1193 4590 78882 | 11789 6202 225 | 0.000 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 38.8781 s Remaining CPU time: 141.122 s c =============================================================================== c | 119965 | 1193 4591 79280 | 5000 6567 225 | 0.000 % | c | 120065 | 1193 4591 79280 | 5500 3384 225 | 0.000 % | c | 120215 | 1193 4591 79280 | 6050 3534 225 | 0.000 % | c | 120440 | 1193 4591 79280 | 6655 3759 225 | 0.000 % | c | 120777 | 1193 4591 79280 | 7320 4096 225 | 0.000 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 39.31 s Remaining CPU time: 140.69 s c =============================================================================== c | 121108 | 1193 4592 79678 | 5000 4427 225 | 0.000 % | c | 121208 | 1193 4592 79678 | 5500 4527 225 | 0.000 % | c | 121358 | 1193 4592 79678 | 6050 4677 225 | 0.000 % | c | 121583 | 1193 4592 79678 | 6655 4902 225 | 0.000 % | c | 121921 | 1193 4592 79678 | 7320 5240 225 | 0.000 % | c | 122427 | 1193 4592 79678 | 8052 5746 225 | 0.000 % | c | 123186 | 1193 4592 79678 | 8857 6505 224 | 0.000 % | c | 124326 | 1193 4592 79678 | 9743 7645 224 | 0.000 % | c | 126034 | 1193 4592 79678 | 10717 9353 224 | 0.000 % | c | 128596 | 1193 4592 79678 | 11789 6424 223 | 0.000 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 42.4196 s Remaining CPU time: 137.58 s c =============================================================================== c | 129232 | 1193 4593 80076 | 5000 7060 223 | 0.000 % | c | 129332 | 1193 4593 80076 | 5500 3630 223 | 0.000 % | c | 129482 | 1193 4593 80076 | 6050 3780 223 | 0.000 % | c | 129708 | 1193 4593 80076 | 6655 4006 223 | 0.000 % | c | 130045 | 1193 4593 80076 | 7320 4343 223 | 0.000 % | c | 130551 | 1193 4593 80076 | 8052 4849 223 | 0.000 % | c | 131312 | 1193 4593 80076 | 8857 5610 223 | 0.000 % | c | 132451 | 1193 4593 80076 | 9743 6749 223 | 0.000 % | c | 134159 | 1193 4593 80076 | 10717 8457 223 | 0.000 % | c | 136721 | 1193 4593 80076 | 11789 5513 222 | 0.000 % | c =============================================================================== c New solution: 220 c Elapsed CPU time: 45.0941 s Remaining CPU time: 134.906 s c =============================================================================== c | 137109 | 1193 4594 80474 | 5000 5901 222 | 0.000 % | c | 137210 | 1193 4594 80474 | 5500 3052 222 | 0.000 % | c | 137360 | 1193 4594 80474 | 6050 3202 222 | 0.000 % | c | 137585 | 1193 4594 80474 | 6655 3427 222 | 0.000 % | c | 137922 | 1193 4594 80474 | 7320 3764 222 | 0.000 % | c | 138428 | 1193 4594 80474 | 8052 4270 222 | 0.000 % | c | 139187 | 1193 4594 80474 | 8857 5029 222 | 0.000 % | c | 140326 | 1193 4594 80474 | 9743 6168 222 | 0.000 % | c | 142034 | 1193 4594 80474 | 10717 7876 221 | 0.000 % | c | 144596 | 1193 4594 80474 | 11789 10438 222 | 0.000 % | c | 148440 | 1193 4594 80474 | 12968 8274 221 | 0.000 % | c =============================================================================== c New solution: 219 c Elapsed CPU time: 50.6063 s Remaining CPU time: 129.394 s c =============================================================================== c | 153040 | 1193 4595 80872 | 5000 12874 222 | 0.000 % | c | 153140 | 1193 4595 80872 | 5500 3319 222 | 0.000 % | c =============================================================================== c New solution: 218 c Elapsed CPU time: 50.7663 s Remaining CPU time: 129.234 s c =============================================================================== c | 153180 | 1193 4596 81270 | 5000 3359 222 | 0.000 % | c | 153280 | 1193 4596 81270 | 5500 3459 222 | 0.000 % | c | 153430 | 1193 4596 81270 | 6050 3609 221 | 0.000 % | c | 153655 | 1193 4596 81270 | 6655 3834 221 | 0.000 % | c | 153992 | 1193 4596 81270 | 7320 4171 221 | 0.000 % | c | 154498 | 1193 4596 81270 | 8052 4677 221 | 0.000 % | c | 155257 | 1193 4596 81270 | 8857 5436 221 | 0.000 % | c | 156396 | 1193 4596 81270 | 9743 6575 220 | 0.000 % | c | 158105 | 1193 4596 81270 | 10717 8284 220 | 0.000 % | c | 160667 | 1193 4596 81270 | 11789 10846 220 | 0.000 % | c | 164512 | 1193 4596 81270 | 12968 8674 220 | 0.000 % | c | 170278 | 1193 4596 81270 | 14265 7828 220 | 0.000 % | c =============================================================================== c New solution: 217 c Elapsed CPU time: 57.4043 s Remaining CPU time: 122.596 s c =============================================================================== c | 170382 | 1193 4597 81668 | 5000 7932 220 | 0.000 % | c | 170482 | 1193 4597 81668 | 5500 4066 220 | 0.000 % | c | 170632 | 1193 4597 81668 | 6050 4216 220 | 0.000 % | c | 170857 | 1193 4597 81668 | 6655 4441 220 | 0.000 % | c | 171194 | 1193 4597 81668 | 7320 4778 220 | 0.000 % | c | 171701 | 1193 4597 81668 | 8052 5285 219 | 0.000 % | c | 172461 | 1193 4597 81668 | 8857 6045 219 | 0.000 % | c | 173601 | 1193 4597 81668 | 9743 7185 219 | 0.000 % | c | 175309 | 1193 4597 81668 | 10717 8893 219 | 0.000 % | c | 177871 | 1193 4597 81668 | 11789 5977 218 | 0.000 % | c =============================================================================== c New solution: 216 c Elapsed CPU time: 60.6128 s Remaining CPU time: 119.387 s c =============================================================================== c | 179692 | 1193 4598 82066 | 5000 7798 218 | 0.000 % | c | 179792 | 1193 4598 82066 | 5500 3999 218 | 0.000 % | c | 179942 | 1193 4598 82066 | 6050 4149 218 | 0.000 % | c | 180167 | 1193 4598 82066 | 6655 4374 218 | 0.000 % | c | 180504 | 1193 4598 82066 | 7320 4711 218 | 0.000 % | c | 181011 | 1193 4598 82066 | 8052 5218 218 | 0.000 % | c | 181770 | 1193 4598 82066 | 8857 5977 218 | 0.000 % | c | 182909 | 1193 4598 82066 | 9743 7116 218 | 0.000 % | c | 184617 | 1193 4598 82066 | 10717 8824 218 | 0.000 % | c =============================================================================== c New solution: 215 c Elapsed CPU time: 62.8784 s Remaining CPU time: 117.122 s c =============================================================================== c | 186310 | 1193 4599 82464 | 5000 10517 218 | 0.000 % | c | 186412 | 1193 4599 82464 | 5500 2732 217 | 0.000 % | c | 186562 | 1193 4599 82464 | 6050 2882 217 | 0.000 % | c | 186787 | 1193 4599 82464 | 6655 3107 217 | 0.000 % | c | 187124 | 1193 4599 82464 | 7320 3444 217 | 0.000 % | c | 187630 | 1193 4599 82464 | 8052 3950 217 | 0.000 % | c | 188389 | 1193 4599 82464 | 8857 4709 217 | 0.000 % | c | 189528 | 1193 4599 82464 | 9743 5848 217 | 0.000 % | c | 191236 | 1193 4599 82464 | 10717 7556 217 | 0.000 % | c | 193798 | 1193 4599 82464 | 11789 10118 217 | 0.000 % | c | 197642 | 1193 4599 82464 | 12968 7943 216 | 0.000 % | c | 203408 | 1193 4599 82464 | 14265 7098 216 | 0.000 % | c | 212057 | 1193 4599 82464 | 15692 8493 216 | 0.000 % | c | 225031 | 1193 4599 82464 | 17261 13483 216 | 0.000 % | c | 244492 | 1193 4599 82464 | 18987 15438 216 | 0.000 % | c | 273685 | 1193 4599 82464 | 20886 15769 217 | 0.000 % | c | 317474 | 1193 4599 82464 | 22974 17184 217 | 0.000 % | c | 383158 | 1193 4599 82464 | 25272 19764 216 | 0.000 % |