c wbo 1.4 beta - 20100610 c | Number of variables: 800 | c | Number of clauses: 4440 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1190 | c | Number Clauses: 4434 | 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 | 1190 4434 9272 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1190 4435 9668 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1190 4436 10064 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1190 4437 10460 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1190 4438 10856 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1190 4439 11252 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1190 4440 11648 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1190 4441 12044 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1190 4442 12440 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1190 4443 12836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1190 4444 13232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1190 4445 13628 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1190 4446 14024 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1190 4447 14420 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1190 4448 14816 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 1190 4449 15212 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 1190 4450 15608 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 1190 4451 16004 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 1190 4452 16400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 1190 4453 16796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 1190 4454 17192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 1190 4455 17588 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 1190 4456 17984 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 1190 4457 18380 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 1190 4458 18776 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 1190 4459 19172 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 1190 4460 19568 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 1190 4461 19964 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 1 | 1190 4462 20360 | 5000 1 371 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 1 | 1190 4463 20756 | 5000 1 371 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 1 | 1190 4464 21152 | 5000 1 371 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 1 | 1190 4465 21548 | 5000 1 371 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 1 | 1190 4466 21944 | 5000 1 371 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 1 | 1190 4467 22340 | 5000 1 371 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 1 | 1190 4468 22736 | 5000 1 371 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 1 | 1190 4469 23132 | 5000 1 371 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 2 | 1190 4470 23528 | 5000 2 366 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 2 | 1190 4471 23924 | 5000 2 366 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 2 | 1190 4472 24320 | 5000 2 366 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 2 | 1190 4473 24716 | 5000 2 366 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 2 | 1190 4474 25112 | 5000 2 366 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 2 | 1190 4475 25508 | 5000 2 366 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 2 | 1190 4476 25904 | 5000 2 366 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 2 | 1190 4477 26300 | 5000 2 366 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 2 | 1190 4478 26696 | 5000 2 366 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 2 | 1190 4479 27092 | 5000 2 366 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s c =============================================================================== c | 2 | 1190 4480 27488 | 5000 2 366 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 2 | 1190 4481 27884 | 5000 2 366 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 2 | 1190 4482 28280 | 5000 2 366 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 2 | 1190 4483 28676 | 5000 2 366 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 2 | 1190 4484 29072 | 5000 2 366 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 2 | 1190 4485 29468 | 5000 2 366 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 2 | 1190 4486 29864 | 5000 2 366 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 2 | 1190 4487 30260 | 5000 2 366 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 2 | 1190 4488 30656 | 5000 2 366 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.149977 s Remaining CPU time: 179.85 s c =============================================================================== c | 2 | 1190 4489 31052 | 5000 2 366 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s c =============================================================================== c | 2 | 1190 4490 31448 | 5000 2 366 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s c =============================================================================== c | 3 | 1190 4491 31844 | 5000 3 358 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.164974 s Remaining CPU time: 179.835 s c =============================================================================== c | 3 | 1190 4492 32240 | 5000 3 358 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.167974 s Remaining CPU time: 179.832 s c =============================================================================== c | 3 | 1190 4493 32636 | 5000 3 358 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.172973 s Remaining CPU time: 179.827 s c =============================================================================== c | 3 | 1190 4494 33032 | 5000 3 358 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.176973 s Remaining CPU time: 179.823 s c =============================================================================== c | 3 | 1190 4495 33428 | 5000 3 358 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.179972 s Remaining CPU time: 179.82 s c =============================================================================== c | 3 | 1190 4496 33824 | 5000 3 358 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.184971 s Remaining CPU time: 179.815 s c =============================================================================== c | 3 | 1190 4497 34220 | 5000 3 358 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s c =============================================================================== c | 3 | 1190 4498 34616 | 5000 3 358 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 3 | 1190 4499 35012 | 5000 3 358 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.199969 s Remaining CPU time: 179.8 s c =============================================================================== c | 3 | 1190 4500 35408 | 5000 3 358 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 3 | 1190 4501 35804 | 5000 3 358 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.208968 s Remaining CPU time: 179.791 s c =============================================================================== c | 3 | 1190 4502 36200 | 5000 3 358 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 4 | 1190 4503 36596 | 5000 4 351 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.218966 s Remaining CPU time: 179.781 s c =============================================================================== c | 4 | 1190 4504 36992 | 5000 4 351 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.224965 s Remaining CPU time: 179.775 s c =============================================================================== c | 4 | 1190 4505 37388 | 5000 4 351 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.229965 s Remaining CPU time: 179.77 s c =============================================================================== c | 4 | 1190 4506 37784 | 5000 4 351 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.235964 s Remaining CPU time: 179.764 s c =============================================================================== c | 6 | 1190 4507 38180 | 5000 6 342 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.241963 s Remaining CPU time: 179.758 s c =============================================================================== c | 6 | 1190 4508 38576 | 5000 6 342 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.247962 s Remaining CPU time: 179.752 s c =============================================================================== c | 6 | 1190 4509 38972 | 5000 6 342 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.252961 s Remaining CPU time: 179.747 s c =============================================================================== c | 6 | 1190 4510 39368 | 5000 6 342 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.25896 s Remaining CPU time: 179.741 s c =============================================================================== c | 6 | 1190 4511 39764 | 5000 6 342 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.264959 s Remaining CPU time: 179.735 s c =============================================================================== c | 6 | 1190 4512 40160 | 5000 6 342 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.269958 s Remaining CPU time: 179.73 s c =============================================================================== c | 6 | 1190 4513 40556 | 5000 6 342 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.275958 s Remaining CPU time: 179.724 s c =============================================================================== c | 6 | 1190 4514 40952 | 5000 6 342 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.281957 s Remaining CPU time: 179.718 s c =============================================================================== c | 6 | 1190 4515 41348 | 5000 6 342 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.287956 s Remaining CPU time: 179.712 s c =============================================================================== c | 6 | 1190 4516 41744 | 5000 6 342 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s c =============================================================================== c | 6 | 1190 4517 42140 | 5000 6 342 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s c =============================================================================== c | 7 | 1190 4518 42536 | 5000 7 338 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.306953 s Remaining CPU time: 179.693 s c =============================================================================== c | 9 | 1190 4519 42932 | 5000 9 332 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.311952 s Remaining CPU time: 179.688 s c =============================================================================== c | 10 | 1190 4520 43328 | 5000 10 300 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.317951 s Remaining CPU time: 179.682 s c =============================================================================== c | 11 | 1190 4521 43724 | 5000 11 300 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s c =============================================================================== c | 11 | 1190 4522 44120 | 5000 11 300 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.328949 s Remaining CPU time: 179.671 s c =============================================================================== c | 12 | 1190 4523 44516 | 5000 12 301 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.333949 s Remaining CPU time: 179.666 s c =============================================================================== c | 12 | 1190 4524 44912 | 5000 12 301 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.340948 s Remaining CPU time: 179.659 s c =============================================================================== c | 12 | 1190 4525 45308 | 5000 12 301 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.347947 s Remaining CPU time: 179.652 s c =============================================================================== c | 13 | 1190 4526 45704 | 5000 13 301 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.353946 s Remaining CPU time: 179.646 s c =============================================================================== c | 13 | 1190 4527 46100 | 5000 13 301 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.361944 s Remaining CPU time: 179.638 s c =============================================================================== c | 15 | 1190 4528 46496 | 5000 15 302 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.369943 s Remaining CPU time: 179.63 s c =============================================================================== c | 15 | 1190 4529 46892 | 5000 15 302 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.375942 s Remaining CPU time: 179.624 s c =============================================================================== c | 15 | 1190 4530 47288 | 5000 15 302 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.383941 s Remaining CPU time: 179.616 s c =============================================================================== c | 16 | 1190 4531 47684 | 5000 16 302 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.39094 s Remaining CPU time: 179.609 s c =============================================================================== c | 17 | 1190 4532 48080 | 5000 17 302 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.397939 s Remaining CPU time: 179.602 s c =============================================================================== c | 23 | 1190 4533 48476 | 5000 23 301 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.407937 s Remaining CPU time: 179.592 s c =============================================================================== c | 30 | 1190 4534 48872 | 5000 30 300 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.415936 s Remaining CPU time: 179.584 s c =============================================================================== c | 43 | 1190 4535 49268 | 5000 43 299 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.422935 s Remaining CPU time: 179.577 s c =============================================================================== c | 44 | 1190 4536 49664 | 5000 44 299 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.429934 s Remaining CPU time: 179.57 s c =============================================================================== c | 48 | 1190 4537 50060 | 5000 48 293 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.438933 s Remaining CPU time: 179.561 s c =============================================================================== c | 51 | 1190 4538 50456 | 5000 51 293 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.446932 s Remaining CPU time: 179.553 s c =============================================================================== c | 53 | 1190 4539 50852 | 5000 53 293 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.45493 s Remaining CPU time: 179.545 s c =============================================================================== c | 56 | 1190 4540 51248 | 5000 56 293 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.463929 s Remaining CPU time: 179.536 s c =============================================================================== c | 60 | 1190 4541 51644 | 5000 60 293 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.472928 s Remaining CPU time: 179.527 s c =============================================================================== c | 61 | 1190 4542 52040 | 5000 61 293 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 0.480926 s Remaining CPU time: 179.519 s c =============================================================================== c | 64 | 1190 4543 52436 | 5000 64 292 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 0.497924 s Remaining CPU time: 179.502 s c =============================================================================== c | 128 | 1190 4544 52832 | 5000 128 291 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 0.506922 s Remaining CPU time: 179.493 s c =============================================================================== c | 130 | 1190 4545 53228 | 5000 130 291 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 0.515921 s Remaining CPU time: 179.484 s c =============================================================================== c | 133 | 1190 4546 53624 | 5000 133 290 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 0.52492 s Remaining CPU time: 179.475 s c =============================================================================== c | 136 | 1190 4547 54020 | 5000 136 290 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 0.532918 s Remaining CPU time: 179.467 s c =============================================================================== c | 139 | 1190 4548 54416 | 5000 139 290 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 0.542917 s Remaining CPU time: 179.457 s c =============================================================================== c | 142 | 1190 4549 54812 | 5000 142 290 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 0.550916 s Remaining CPU time: 179.449 s c =============================================================================== c | 142 | 1190 4550 55208 | 5000 142 290 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 0.560914 s Remaining CPU time: 179.439 s c =============================================================================== c | 146 | 1190 4551 55604 | 5000 146 290 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 0.571913 s Remaining CPU time: 179.428 s c =============================================================================== c | 160 | 1190 4552 56000 | 5000 160 289 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 0.583911 s Remaining CPU time: 179.416 s c =============================================================================== c | 173 | 1190 4553 56396 | 5000 173 288 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 0.594909 s Remaining CPU time: 179.405 s c =============================================================================== c | 178 | 1190 4554 56792 | 5000 178 288 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 0.604908 s Remaining CPU time: 179.395 s c =============================================================================== c | 181 | 1190 4555 57188 | 5000 181 288 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 0.616906 s Remaining CPU time: 179.383 s c =============================================================================== c | 196 | 1190 4556 57584 | 5000 196 287 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 0.627904 s Remaining CPU time: 179.372 s c =============================================================================== c | 210 | 1190 4557 57980 | 5000 210 286 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 0.636903 s Remaining CPU time: 179.363 s c =============================================================================== c | 214 | 1190 4558 58376 | 5000 214 286 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 0.645901 s Remaining CPU time: 179.354 s c =============================================================================== c | 214 | 1190 4559 58772 | 5000 214 286 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 0.6559 s Remaining CPU time: 179.344 s c =============================================================================== c | 216 | 1190 4560 59168 | 5000 216 286 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 0.665898 s Remaining CPU time: 179.334 s c =============================================================================== c | 218 | 1190 4561 59564 | 5000 218 285 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 0.676897 s Remaining CPU time: 179.323 s c =============================================================================== c | 221 | 1190 4562 59960 | 5000 221 285 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 0.687895 s Remaining CPU time: 179.312 s c =============================================================================== c | 223 | 1190 4563 60356 | 5000 223 285 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 0.696894 s Remaining CPU time: 179.303 s c =============================================================================== c | 225 | 1190 4564 60752 | 5000 225 285 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 0.707892 s Remaining CPU time: 179.292 s c =============================================================================== c | 225 | 1190 4565 61148 | 5000 225 285 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 0.729889 s Remaining CPU time: 179.27 s c =============================================================================== c | 284 | 1190 4566 61544 | 5000 284 281 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 0.742887 s Remaining CPU time: 179.257 s c =============================================================================== c | 293 | 1190 4567 61940 | 5000 293 281 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 0.757884 s Remaining CPU time: 179.242 s c =============================================================================== c | 319 | 1190 4568 62336 | 5000 319 279 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 0.771882 s Remaining CPU time: 179.228 s c =============================================================================== c | 330 | 1190 4569 62732 | 5000 330 279 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 0.78388 s Remaining CPU time: 179.216 s c =============================================================================== c | 331 | 1190 4570 63128 | 5000 331 279 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 0.797878 s Remaining CPU time: 179.202 s c =============================================================================== c | 345 | 1190 4571 63524 | 5000 345 278 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 0.816875 s Remaining CPU time: 179.183 s c =============================================================================== c | 391 | 1190 4572 63920 | 5000 391 276 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 0.829873 s Remaining CPU time: 179.17 s c =============================================================================== c | 402 | 1190 4573 64316 | 5000 402 276 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 0.841872 s Remaining CPU time: 179.158 s c =============================================================================== c | 406 | 1190 4574 64712 | 5000 406 275 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 0.859869 s Remaining CPU time: 179.14 s c =============================================================================== c | 438 | 1190 4575 65108 | 5000 438 274 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 0.869867 s Remaining CPU time: 179.13 s c =============================================================================== c | 438 | 1190 4576 65504 | 5000 438 274 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 0.885865 s Remaining CPU time: 179.114 s c =============================================================================== c | 457 | 1190 4577 65900 | 5000 457 273 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 0.897863 s Remaining CPU time: 179.102 s c =============================================================================== c | 460 | 1190 4578 66296 | 5000 460 273 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 0.912861 s Remaining CPU time: 179.087 s c =============================================================================== c | 476 | 1190 4579 66692 | 5000 476 272 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 0.923859 s Remaining CPU time: 179.076 s c =============================================================================== c | 478 | 1190 4580 67088 | 5000 478 272 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 0.944856 s Remaining CPU time: 179.055 s c =============================================================================== c | 529 | 1190 4581 67484 | 5000 529 270 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 0.956854 s Remaining CPU time: 179.043 s c =============================================================================== c | 538 | 1190 4582 67880 | 5000 538 270 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 0.969852 s Remaining CPU time: 179.03 s c =============================================================================== c | 552 | 1190 4583 68276 | 5000 552 269 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 0.98285 s Remaining CPU time: 179.017 s c =============================================================================== c | 553 | 1190 4584 68672 | 5000 553 269 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 0.999848 s Remaining CPU time: 179 s c =============================================================================== c | 580 | 1190 4585 69068 | 5000 580 268 | 0.000 % | c | 681 | 1190 4585 69068 | 5500 681 265 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 1.04384 s Remaining CPU time: 178.956 s c =============================================================================== c | 700 | 1190 4586 69464 | 5000 700 264 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 1.05884 s Remaining CPU time: 178.941 s c =============================================================================== c | 710 | 1190 4587 69860 | 5000 710 264 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 1.07284 s Remaining CPU time: 178.927 s c =============================================================================== c | 716 | 1190 4588 70256 | 5000 716 264 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 1.08783 s Remaining CPU time: 178.912 s c =============================================================================== c | 724 | 1190 4589 70652 | 5000 724 264 | 0.000 % | c | 824 | 1190 4589 70652 | 5500 824 261 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 1.13683 s Remaining CPU time: 178.863 s c =============================================================================== c | 840 | 1190 4590 71048 | 5000 840 261 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 1.15882 s Remaining CPU time: 178.841 s c =============================================================================== c | 888 | 1190 4591 71444 | 5000 888 260 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 1.17482 s Remaining CPU time: 178.825 s c =============================================================================== c | 909 | 1190 4592 71840 | 5000 909 259 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 1.19282 s Remaining CPU time: 178.807 s c =============================================================================== c | 940 | 1190 4593 72236 | 5000 940 259 | 0.000 % | c | 1040 | 1190 4593 72236 | 5500 1040 257 | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 1.24581 s Remaining CPU time: 178.754 s c =============================================================================== c | 1065 | 1190 4594 72632 | 5000 1065 256 | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 1.26481 s Remaining CPU time: 178.735 s c =============================================================================== c | 1097 | 1190 4595 73028 | 5000 1097 256 | 0.000 % | c | 1197 | 1190 4595 73028 | 5500 1197 254 | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 1.3148 s Remaining CPU time: 178.685 s c =============================================================================== c | 1218 | 1190 4596 73424 | 5000 1218 254 | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 1.3418 s Remaining CPU time: 178.658 s c =============================================================================== c | 1283 | 1190 4597 73820 | 5000 1283 253 | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 1.36179 s Remaining CPU time: 178.638 s c =============================================================================== c | 1313 | 1190 4598 74216 | 5000 1313 252 | 0.000 % | c | 1413 | 1190 4598 74216 | 5500 1413 251 | 0.000 % | c | 1563 | 1190 4598 74216 | 6050 1563 249 | 0.000 % | c | 1788 | 1190 4598 74216 | 6655 1788 247 | 0.000 % | c | 2126 | 1190 4598 74216 | 7320 2126 245 | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 1.65875 s Remaining CPU time: 178.341 s c =============================================================================== c | 2320 | 1190 4599 74612 | 5000 2320 244 | 0.000 % | c | 2420 | 1190 4599 74612 | 5500 2420 244 | 0.000 % | c | 2570 | 1190 4599 74612 | 6050 2570 243 | 0.000 % | c | 2796 | 1190 4599 74612 | 6655 2796 242 | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 1.83272 s Remaining CPU time: 178.167 s c =============================================================================== c | 2799 | 1190 4600 75008 | 5000 2799 242 | 0.000 % | c | 2900 | 1190 4600 75008 | 5500 2900 242 | 0.000 % | c | 3050 | 1190 4600 75008 | 6050 3050 241 | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 1.93371 s Remaining CPU time: 178.066 s c =============================================================================== c | 3086 | 1190 4601 75404 | 5000 3086 241 | 0.000 % | c | 3186 | 1190 4601 75404 | 5500 3186 241 | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 1.9877 s Remaining CPU time: 178.012 s c =============================================================================== c | 3217 | 1190 4602 75800 | 5000 3217 241 | 0.000 % | c | 3318 | 1190 4602 75800 | 5500 3318 241 | 0.000 % | c | 3468 | 1190 4602 75800 | 6050 3468 240 | 0.000 % | c | 3693 | 1190 4602 75800 | 6655 3693 239 | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 2.25266 s Remaining CPU time: 177.747 s c =============================================================================== c | 4014 | 1190 4603 76196 | 5000 4014 239 | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 2.28765 s Remaining CPU time: 177.712 s c =============================================================================== c | 4079 | 1190 4604 76592 | 5000 4079 239 | 0.000 % | c | 4179 | 1190 4604 76592 | 5500 4179 238 | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 2.36564 s Remaining CPU time: 177.634 s c =============================================================================== c | 4287 | 1190 4605 76988 | 5000 4287 238 | 0.000 % | c | 4388 | 1190 4605 76988 | 5500 4388 238 | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 2.44863 s Remaining CPU time: 177.551 s c =============================================================================== c | 4489 | 1190 4606 77384 | 5000 4489 237 | 0.000 % | c | 4589 | 1190 4606 77384 | 5500 4589 237 | 0.000 % | c | 4739 | 1190 4606 77384 | 6050 4739 237 | 0.000 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 2.57761 s Remaining CPU time: 177.422 s c =============================================================================== c | 4877 | 1190 4607 77780 | 5000 4877 237 | 0.000 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 2.6096 s Remaining CPU time: 177.39 s c =============================================================================== c | 4949 | 1190 4608 78176 | 5000 4949 236 | 0.000 % | c | 5050 | 1190 4608 78176 | 5500 5050 236 | 0.000 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 2.67759 s Remaining CPU time: 177.322 s c =============================================================================== c | 5131 | 1190 4609 78572 | 5000 5131 236 | 0.000 % | c | 5231 | 1190 4609 78572 | 5500 2666 228 | 0.000 % | c | 5381 | 1190 4609 78572 | 6050 2816 228 | 0.000 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 2.82757 s Remaining CPU time: 177.172 s c =============================================================================== c | 5564 | 1190 4610 78968 | 5000 2999 228 | 0.000 % | c | 5664 | 1190 4610 78968 | 5500 3099 227 | 0.000 % | c | 5814 | 1190 4610 78968 | 6050 3249 227 | 0.000 % | c | 6040 | 1190 4610 78968 | 6655 3475 227 | 0.000 % | c | 6378 | 1190 4610 78968 | 7320 3813 226 | 0.000 % | c =============================================================================== c New solution: 220 c Elapsed CPU time: 3.21951 s Remaining CPU time: 176.78 s c =============================================================================== c | 6883 | 1190 4611 79364 | 5000 4318 226 | 0.000 % | c =============================================================================== c New solution: 219 c Elapsed CPU time: 3.2615 s Remaining CPU time: 176.738 s c =============================================================================== c | 6977 | 1190 4612 79760 | 5000 4412 226 | 0.000 % | c | 7077 | 1190 4612 79760 | 5500 4512 226 | 0.000 % | c | 7227 | 1190 4612 79760 | 6050 4662 225 | 0.000 % | c | 7452 | 1190 4612 79760 | 6655 4887 225 | 0.000 % | c | 7790 | 1190 4612 79760 | 7320 5225 225 | 0.000 % | c | 8297 | 1190 4612 79760 | 8052 5732 224 | 0.000 % | c | 9057 | 1190 4612 79760 | 8857 6492 224 | 0.000 % | c | 10196 | 1190 4612 79760 | 9743 7631 223 | 0.000 % | c =============================================================================== c New solution: 218 c Elapsed CPU time: 4.40833 s Remaining CPU time: 175.592 s c =============================================================================== c | 10700 | 1190 4613 80156 | 5000 8135 223 | 0.000 % | c | 10800 | 1190 4613 80156 | 5500 4168 220 | 0.000 % | c | 10950 | 1190 4613 80156 | 6050 4318 220 | 0.000 % | c | 11175 | 1190 4613 80156 | 6655 4543 220 | 0.000 % | c | 11513 | 1190 4613 80156 | 7320 4881 220 | 0.000 % | c | 12019 | 1190 4613 80156 | 8052 5387 220 | 0.000 % | c | 12778 | 1190 4613 80156 | 8857 6146 220 | 0.000 % | c | 13917 | 1190 4613 80156 | 9743 7285 220 | 0.000 % | c | 15625 | 1190 4613 80156 | 10717 8993 220 | 0.000 % | c =============================================================================== c New solution: 217 c Elapsed CPU time: 6.74797 s Remaining CPU time: 173.252 s c =============================================================================== c | 17445 | 1190 4614 80552 | 5000 10813 220 | 0.000 % | c | 17546 | 1190 4614 80552 | 5500 2805 219 | 0.000 % | c | 17697 | 1190 4614 80552 | 6050 2956 219 | 0.000 % | c | 17922 | 1190 4614 80552 | 6655 3181 219 | 0.000 % | c | 18259 | 1190 4614 80552 | 7320 3518 219 | 0.000 % | c | 18765 | 1190 4614 80552 | 8052 4024 219 | 0.000 % | c | 19524 | 1190 4614 80552 | 8857 4783 219 | 0.000 % | c | 20663 | 1190 4614 80552 | 9743 5922 219 | 0.000 % | c =============================================================================== c New solution: 216 c Elapsed CPU time: 7.98179 s Remaining CPU time: 172.018 s c =============================================================================== c | 21065 | 1190 4615 80948 | 5000 6324 219 | 0.000 % | c | 21165 | 1190 4615 80948 | 5500 3262 218 | 0.000 % | c | 21315 | 1190 4615 80948 | 6050 3412 218 | 0.000 % | c | 21540 | 1190 4615 80948 | 6655 3637 218 | 0.000 % | c | 21878 | 1190 4615 80948 | 7320 3975 218 | 0.000 % | c =============================================================================== c New solution: 215 c Elapsed CPU time: 8.47571 s Remaining CPU time: 171.524 s c =============================================================================== c | 22313 | 1190 4616 81344 | 5000 4410 218 | 0.000 % | c | 22413 | 1190 4616 81344 | 5500 4510 218 | 0.000 % | c | 22564 | 1190 4616 81344 | 6050 4661 218 | 0.000 % | c | 22790 | 1190 4616 81344 | 6655 4887 218 | 0.000 % | c | 23127 | 1190 4616 81344 | 7320 5224 218 | 0.000 % | c | 23634 | 1190 4616 81344 | 8052 5731 217 | 0.000 % | c | 24395 | 1190 4616 81344 | 8857 6492 217 | 0.000 % | c | 25534 | 1190 4616 81344 | 9743 7631 217 | 0.000 % | c | 27242 | 1190 4616 81344 | 10717 9339 217 | 0.000 % | c =============================================================================== c New solution: 214 c Elapsed CPU time: 10.3104 s Remaining CPU time: 169.69 s c =============================================================================== c | 27812 | 1190 4617 81740 | 5000 9909 217 | 0.000 % | c | 27913 | 1190 4617 81740 | 5500 5056 216 | 0.000 % | c | 28063 | 1190 4617 81740 | 6050 5206 216 | 0.000 % | c | 28288 | 1190 4617 81740 | 6655 5431 216 | 0.000 % | c | 28625 | 1190 4617 81740 | 7320 5768 216 | 0.000 % | c | 29131 | 1190 4617 81740 | 8052 6274 216 | 0.000 % | c | 29891 | 1190 4617 81740 | 8857 7034 216 | 0.000 % | c | 31030 | 1190 4617 81740 | 9743 8173 216 | 0.000 % | c | 32738 | 1190 4617 81740 | 10717 9881 216 | 0.000 % | c =============================================================================== c New solution: 213 c Elapsed CPU time: 12.7621 s Remaining CPU time: 167.238 s c =============================================================================== c | 34197 | 1190 4618 82136 | 5000 5868 215 | 0.000 % | c | 34297 | 1190 4618 82136 | 5500 3034 215 | 0.000 % | c | 34447 | 1190 4618 82136 | 6050 3184 215 | 0.000 % | c | 34672 | 1190 4618 82136 | 6655 3409 215 | 0.000 % | c | 35009 | 1190 4618 82136 | 7320 3746 215 | 0.000 % | c | 35515 | 1190 4618 82136 | 8052 4252 215 | 0.000 % | c | 36274 | 1190 4618 82136 | 8857 5011 215 | 0.000 % | c | 37414 | 1190 4618 82136 | 9743 6151 215 | 0.000 % | c | 39122 | 1190 4618 82136 | 10717 7859 215 | 0.000 % | c | 41684 | 1190 4618 82136 | 11789 10421 215 | 0.000 % | c | 45528 | 1190 4618 82136 | 12968 8234 214 | 0.000 % | c | 51294 | 1190 4618 82136 | 14265 7399 214 | 0.000 % | c | 59943 | 1190 4618 82136 | 15692 8768 215 | 0.000 % | c | 72919 | 1190 4618 82136 | 17261 13775 215 | 0.000 % | c | 92380 | 1190 4618 82136 | 18987 15745 215 | 0.000 % | c | 121572 | 1190 4618 82136 | 20886 16116 215 | 0.000 % | c | 165362 | 1190 4618 82136 | 22974 17460 215 | 0.000 % | c =============================================================================== c New solution: 212 c Elapsed CPU time: 75.1536 s Remaining CPU time: 104.846 s c =============================================================================== c | 180058 | 1190 4619 82532 | 5000 19563 215 | 0.000 % | c | 180159 | 1190 4619 82532 | 5500 4992 215 | 0.000 % | c | 180310 | 1190 4619 82532 | 6050 5143 215 | 0.000 % | c | 180535 | 1190 4619 82532 | 6655 5368 215 | 0.000 % | c | 180872 | 1190 4619 82532 | 7320 5705 215 | 0.000 % | c | 181378 | 1190 4619 82532 | 8052 6211 215 | 0.000 % | c | 182137 | 1190 4619 82532 | 8857 6970 214 | 0.000 % | c | 183276 | 1190 4619 82532 | 9743 8109 214 | 0.000 % | c | 184984 | 1190 4619 82532 | 10717 9817 214 | 0.000 % | c | 187546 | 1190 4619 82532 | 11789 6905 213 | 0.000 % | c =============================================================================== c New solution: 211 c Elapsed CPU time: 78.699 s Remaining CPU time: 101.301 s c =============================================================================== c | 188045 | 1190 4620 82928 | 5000 7404 213 | 0.000 % | c | 188146 | 1190 4620 82928 | 5500 3803 212 | 0.000 % | c | 188296 | 1190 4620 82928 | 6050 3953 212 | 0.000 % | c | 188521 | 1190 4620 82928 | 6655 4178 212 | 0.000 % | c | 188858 | 1190 4620 82928 | 7320 4515 212 | 0.000 % | c | 189365 | 1190 4620 82928 | 8052 5022 212 | 0.000 % | c | 190124 | 1190 4620 82928 | 8857 5781 212 | 0.000 % | c | 191263 | 1190 4620 82928 | 9743 6920 212 | 0.000 % | c | 192971 | 1190 4620 82928 | 10717 8628 212 | 0.000 % | c | 195533 | 1190 4620 82928 | 11789 5724 212 | 0.000 % | c =============================================================================== c New solution: 210 c Elapsed CPU time: 82.3585 s Remaining CPU time: 97.6415 s c =============================================================================== c | 198217 | 1190 4621 83324 | 5000 8408 212 | 0.000 % | c | 198317 | 1190 4621 83324 | 5500 4304 212 | 0.000 % | c | 198467 | 1190 4621 83324 | 6050 4454 212 | 0.000 % | c | 198692 | 1190 4621 83324 | 6655 4679 212 | 0.000 % | c | 199029 | 1190 4621 83324 | 7320 5016 212 | 0.000 % | c | 199535 | 1190 4621 83324 | 8052 5522 212 | 0.000 % | c | 200295 | 1190 4621 83324 | 8857 6282 212 | 0.000 % | c | 201435 | 1190 4621 83324 | 9743 7422 212 | 0.000 % | c =============================================================================== c New solution: 209 c Elapsed CPU time: 83.6863 s Remaining CPU time: 96.3137 s c =============================================================================== c | 201480 | 1190 4622 83720 | 5000 7467 212 | 0.000 % | c | 201581 | 1190 4622 83720 | 5500 3835 210 | 0.000 % | c | 201731 | 1190 4622 83720 | 6050 3985 210 | 0.000 % | c | 201957 | 1190 4622 83720 | 6655 4211 210 | 0.000 % | c | 202295 | 1190 4622 83720 | 7320 4549 210 | 0.000 % | c | 202801 | 1190 4622 83720 | 8052 5055 210 | 0.000 % | c | 203560 | 1190 4622 83720 | 8857 5814 210 | 0.000 % | c | 204700 | 1190 4622 83720 | 9743 6954 210 | 0.000 % | c | 206409 | 1190 4622 83720 | 10717 8663 210 | 0.000 % | c | 208971 | 1190 4622 83720 | 11789 5741 209 | 0.000 % | c | 212815 | 1190 4622 83720 | 12968 9585 210 | 0.000 % | c | 218581 | 1190 4622 83720 | 14265 8758 210 | 0.000 % | c | 227230 | 1190 4622 83720 | 15692 10145 211 | 0.000 % | c | 240204 | 1190 4622 83720 | 17261 15139 211 | 0.000 % | c | 259665 | 1190 4622 83720 | 18987 17115 211 | 0.000 % | c | 288857 | 1190 4622 83720 | 20886 17459 212 | 0.000 % | c | 332646 | 1190 4622 83720 | 22974 18995 212 | 0.000 % | c | 398330 | 1190 4622 83720 | 25272 21870 211 | 0.000 % | c There are 0 assigned variables. 0 in cost function.