c wbo 1.4 beta - 20100610 c | Number of variables: 800 | c | Number of clauses: 4417 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1188 | c | Number Clauses: 4406 | 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 | 1188 4406 9213 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 1188 4407 9612 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1188 4408 10011 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1188 4409 10410 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1188 4410 10809 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1188 4411 11208 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1188 4412 11607 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1188 4413 12006 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1188 4414 12405 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1188 4415 12804 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1188 4416 13203 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1188 4417 13602 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 1188 4418 14001 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 1188 4419 14400 | 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 | 1188 4420 14799 | 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 | 0 | 1188 4421 15198 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 1188 4422 15597 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 1188 4423 15996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 1188 4424 16395 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 1188 4425 16794 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 1188 4426 17193 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 1188 4427 17592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 1188 4428 17991 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 1188 4429 18390 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 1188 4430 18789 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 1188 4431 19188 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 1188 4432 19587 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 1188 4433 19986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 1188 4434 20385 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 0 | 1188 4435 20784 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 0 | 1188 4436 21183 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 0 | 1188 4437 21582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 1 | 1188 4438 21981 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 1 | 1188 4439 22380 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 1 | 1188 4440 22779 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 1 | 1188 4441 23178 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 1 | 1188 4442 23577 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 1 | 1188 4443 23976 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 1 | 1188 4444 24375 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 1 | 1188 4445 24774 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 1 | 1188 4446 25173 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 1 | 1188 4447 25572 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 1 | 1188 4448 25971 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 1 | 1188 4449 26370 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 1 | 1188 4450 26769 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 1 | 1188 4451 27168 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 1 | 1188 4452 27567 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s c =============================================================================== c | 1 | 1188 4453 27966 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 1 | 1188 4454 28365 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 2 | 1188 4455 28764 | 5000 2 360 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.13098 s Remaining CPU time: 179.869 s c =============================================================================== c | 2 | 1188 4456 29163 | 5000 2 360 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 2 | 1188 4457 29562 | 5000 2 360 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.137979 s Remaining CPU time: 179.862 s c =============================================================================== c | 2 | 1188 4458 29961 | 5000 2 360 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 3 | 1188 4459 30360 | 5000 3 356 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 4 | 1188 4460 30759 | 5000 4 354 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 4 | 1188 4461 31158 | 5000 4 354 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 4 | 1188 4462 31557 | 5000 4 354 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s c =============================================================================== c | 4 | 1188 4463 31956 | 5000 4 354 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s c =============================================================================== c | 4 | 1188 4464 32355 | 5000 4 354 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 4 | 1188 4465 32754 | 5000 4 354 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.167974 s Remaining CPU time: 179.832 s c =============================================================================== c | 10 | 1188 4466 33153 | 5000 10 346 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.172973 s Remaining CPU time: 179.827 s c =============================================================================== c | 11 | 1188 4467 33552 | 5000 11 345 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.176973 s Remaining CPU time: 179.823 s c =============================================================================== c | 14 | 1188 4468 33951 | 5000 14 344 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.180972 s Remaining CPU time: 179.819 s c =============================================================================== c | 15 | 1188 4469 34350 | 5000 15 343 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.185971 s Remaining CPU time: 179.814 s c =============================================================================== c | 17 | 1188 4470 34749 | 5000 17 343 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.19197 s Remaining CPU time: 179.808 s c =============================================================================== c | 18 | 1188 4471 35148 | 5000 18 342 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.19697 s Remaining CPU time: 179.803 s c =============================================================================== c | 19 | 1188 4472 35547 | 5000 19 342 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.201969 s Remaining CPU time: 179.798 s c =============================================================================== c | 21 | 1188 4473 35946 | 5000 21 341 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 22 | 1188 4474 36345 | 5000 22 340 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.212967 s Remaining CPU time: 179.787 s c =============================================================================== c | 24 | 1188 4475 36744 | 5000 24 340 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s c =============================================================================== c | 25 | 1188 4476 37143 | 5000 25 339 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.224965 s Remaining CPU time: 179.775 s c =============================================================================== c | 33 | 1188 4477 37542 | 5000 33 337 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.229965 s Remaining CPU time: 179.77 s c =============================================================================== c | 34 | 1188 4478 37941 | 5000 34 337 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.235964 s Remaining CPU time: 179.764 s c =============================================================================== c | 38 | 1188 4479 38340 | 5000 38 336 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.241963 s Remaining CPU time: 179.758 s c =============================================================================== c | 40 | 1188 4480 38739 | 5000 40 335 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s c =============================================================================== c | 41 | 1188 4481 39138 | 5000 41 335 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s c =============================================================================== c | 43 | 1188 4482 39537 | 5000 43 334 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.25896 s Remaining CPU time: 179.741 s c =============================================================================== c | 45 | 1188 4483 39936 | 5000 45 334 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.263959 s Remaining CPU time: 179.736 s c =============================================================================== c | 46 | 1188 4484 40335 | 5000 46 334 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s c =============================================================================== c | 65 | 1188 4485 40734 | 5000 65 330 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.280957 s Remaining CPU time: 179.719 s c =============================================================================== c | 67 | 1188 4486 41133 | 5000 67 330 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.286956 s Remaining CPU time: 179.713 s c =============================================================================== c | 69 | 1188 4487 41532 | 5000 69 330 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.293955 s Remaining CPU time: 179.706 s c =============================================================================== c | 72 | 1188 4488 41931 | 5000 72 329 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.298954 s Remaining CPU time: 179.701 s c =============================================================================== c | 74 | 1188 4489 42330 | 5000 74 329 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.304953 s Remaining CPU time: 179.695 s c =============================================================================== c | 77 | 1188 4490 42729 | 5000 77 328 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.310952 s Remaining CPU time: 179.689 s c =============================================================================== c | 80 | 1188 4491 43128 | 5000 80 328 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.317951 s Remaining CPU time: 179.682 s c =============================================================================== c | 82 | 1188 4492 43527 | 5000 82 328 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.32595 s Remaining CPU time: 179.674 s c =============================================================================== c | 94 | 1188 4493 43926 | 5000 94 326 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.333949 s Remaining CPU time: 179.666 s c =============================================================================== c | 102 | 1188 4494 44325 | 5000 102 325 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.339948 s Remaining CPU time: 179.66 s c =============================================================================== c | 112 | 1188 4495 44724 | 5000 112 324 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.346947 s Remaining CPU time: 179.653 s c =============================================================================== c | 121 | 1188 4496 45123 | 5000 121 323 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.359945 s Remaining CPU time: 179.64 s c =============================================================================== c | 150 | 1188 4497 45522 | 5000 150 320 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.369943 s Remaining CPU time: 179.63 s c =============================================================================== c | 159 | 1188 4498 45921 | 5000 159 320 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.380942 s Remaining CPU time: 179.619 s c =============================================================================== c | 183 | 1188 4499 46320 | 5000 183 318 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.39394 s Remaining CPU time: 179.606 s c =============================================================================== c | 214 | 1188 4500 46719 | 5000 214 316 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.403938 s Remaining CPU time: 179.596 s c =============================================================================== c | 225 | 1188 4501 47118 | 5000 225 316 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.414936 s Remaining CPU time: 179.585 s c =============================================================================== c | 252 | 1188 4502 47517 | 5000 252 315 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.432934 s Remaining CPU time: 179.567 s c =============================================================================== c | 304 | 1188 4503 47916 | 5000 304 313 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.440932 s Remaining CPU time: 179.559 s c =============================================================================== c | 307 | 1188 4504 48315 | 5000 307 312 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.451931 s Remaining CPU time: 179.548 s c =============================================================================== c | 327 | 1188 4505 48714 | 5000 327 311 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.464929 s Remaining CPU time: 179.535 s c =============================================================================== c | 365 | 1188 4506 49113 | 5000 365 310 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.484926 s Remaining CPU time: 179.515 s c =============================================================================== c | 431 | 1188 4507 49512 | 5000 431 309 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.492925 s Remaining CPU time: 179.507 s c =============================================================================== c | 434 | 1188 4508 49911 | 5000 434 309 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.503923 s Remaining CPU time: 179.496 s c =============================================================================== c | 452 | 1188 4509 50310 | 5000 452 308 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.513921 s Remaining CPU time: 179.486 s c =============================================================================== c | 456 | 1188 4510 50709 | 5000 456 308 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.52492 s Remaining CPU time: 179.475 s c =============================================================================== c | 472 | 1188 4511 51108 | 5000 472 308 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.535918 s Remaining CPU time: 179.464 s c =============================================================================== c | 481 | 1188 4512 51507 | 5000 481 307 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.545917 s Remaining CPU time: 179.454 s c =============================================================================== c | 490 | 1188 4513 51906 | 5000 490 307 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.555915 s Remaining CPU time: 179.444 s c =============================================================================== c | 503 | 1188 4514 52305 | 5000 503 307 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.566913 s Remaining CPU time: 179.433 s c =============================================================================== c | 516 | 1188 4515 52704 | 5000 516 306 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.59191 s Remaining CPU time: 179.408 s c =============================================================================== c | 609 | 1188 4516 53103 | 5000 609 304 | 0.000 % | c | 709 | 1188 4516 53103 | 5500 709 302 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.632903 s Remaining CPU time: 179.367 s c =============================================================================== c | 739 | 1188 4517 53502 | 5000 739 302 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 0.642902 s Remaining CPU time: 179.357 s c =============================================================================== c | 749 | 1188 4518 53901 | 5000 749 301 | 0.000 % | c | 850 | 1188 4518 53901 | 5500 850 300 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 0.703892 s Remaining CPU time: 179.296 s c =============================================================================== c | 972 | 1188 4519 54300 | 5000 972 298 | 0.000 % | c | 1073 | 1188 4519 54300 | 5500 1073 297 | 0.000 % | c | 1223 | 1188 4519 54300 | 6050 1223 296 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 0.790879 s Remaining CPU time: 179.209 s c =============================================================================== c | 1320 | 1188 4520 54699 | 5000 1320 295 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 0.816875 s Remaining CPU time: 179.183 s c =============================================================================== c | 1408 | 1188 4521 55098 | 5000 1408 295 | 0.000 % | c | 1508 | 1188 4521 55098 | 5500 1508 294 | 0.000 % | c | 1659 | 1188 4521 55098 | 6050 1659 293 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 0.885865 s Remaining CPU time: 179.114 s c =============================================================================== c | 1662 | 1188 4522 55497 | 5000 1662 293 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 0.899863 s Remaining CPU time: 179.1 s c =============================================================================== c | 1690 | 1188 4523 55896 | 5000 1690 293 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 0.910861 s Remaining CPU time: 179.089 s c =============================================================================== c | 1696 | 1188 4524 56295 | 5000 1696 293 | 0.000 % | c | 1796 | 1188 4524 56295 | 5500 1796 292 | 0.000 % | c | 1947 | 1188 4524 56295 | 6050 1947 292 | 0.000 % | c | 2172 | 1188 4524 56295 | 6655 2172 291 | 0.000 % | c | 2509 | 1188 4524 56295 | 7320 2509 290 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 1.20782 s Remaining CPU time: 178.792 s c =============================================================================== c | 2915 | 1188 4525 56694 | 5000 2915 289 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 1.21981 s Remaining CPU time: 178.78 s c =============================================================================== c | 2923 | 1188 4526 57093 | 5000 2923 289 | 0.000 % | c | 3023 | 1188 4526 57093 | 5500 3023 288 | 0.000 % | c | 3174 | 1188 4526 57093 | 6050 3174 288 | 0.000 % | c | 3399 | 1188 4526 57093 | 6655 3399 287 | 0.000 % | c | 3737 | 1188 4526 57093 | 7320 3737 287 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 1.45778 s Remaining CPU time: 178.542 s c =============================================================================== c | 3803 | 1188 4527 57492 | 5000 3803 287 | 0.000 % | c | 3904 | 1188 4527 57492 | 5500 3904 286 | 0.000 % | c | 4054 | 1188 4527 57492 | 6050 4054 286 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 1.55776 s Remaining CPU time: 178.442 s c =============================================================================== c | 4112 | 1188 4528 57891 | 5000 4112 286 | 0.000 % | c | 4212 | 1188 4528 57891 | 5500 4212 286 | 0.000 % | c | 4362 | 1188 4528 57891 | 6050 4362 286 | 0.000 % | c | 4587 | 1188 4528 57891 | 6655 4587 285 | 0.000 % | c | 4925 | 1188 4528 57891 | 7320 4925 285 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 1.9577 s Remaining CPU time: 178.042 s c =============================================================================== c | 5340 | 1188 4529 58290 | 5000 5340 284 | 0.000 % | c | 5440 | 1188 4529 58290 | 5500 2770 279 | 0.000 % | c | 5591 | 1188 4529 58290 | 6050 2921 279 | 0.000 % | c | 5816 | 1188 4529 58290 | 6655 3146 279 | 0.000 % | c | 6153 | 1188 4529 58290 | 7320 3483 279 | 0.000 % | c | 6660 | 1188 4529 58290 | 8052 3990 279 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 2.59161 s Remaining CPU time: 177.408 s c =============================================================================== c | 7337 | 1188 4530 58689 | 5000 4667 279 | 0.000 % | c | 7437 | 1188 4530 58689 | 5500 4767 279 | 0.000 % | c | 7587 | 1188 4530 58689 | 6050 4917 278 | 0.000 % | c | 7812 | 1188 4530 58689 | 6655 5142 278 | 0.000 % | c | 8149 | 1188 4530 58689 | 7320 5479 278 | 0.000 % | c | 8655 | 1188 4530 58689 | 8052 5985 278 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 3.15452 s Remaining CPU time: 176.845 s c =============================================================================== c | 9092 | 1188 4531 59088 | 5000 6422 278 | 0.000 % | c | 9192 | 1188 4531 59088 | 5500 3311 277 | 0.000 % | c | 9342 | 1188 4531 59088 | 6050 3461 277 | 0.000 % | c | 9568 | 1188 4531 59088 | 6655 3687 277 | 0.000 % | c | 9905 | 1188 4531 59088 | 7320 4024 276 | 0.000 % | c | 10411 | 1188 4531 59088 | 8052 4530 276 | 0.000 % | c | 11170 | 1188 4531 59088 | 8857 5289 276 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 3.82442 s Remaining CPU time: 176.176 s c =============================================================================== c | 11251 | 1188 4532 59487 | 5000 5370 276 | 0.000 % | c | 11351 | 1188 4532 59487 | 5500 2785 275 | 0.000 % | c | 11501 | 1188 4532 59487 | 6050 2935 275 | 0.000 % | c | 11727 | 1188 4532 59487 | 6655 3161 275 | 0.000 % | c | 12065 | 1188 4532 59487 | 7320 3499 275 | 0.000 % | c | 12571 | 1188 4532 59487 | 8052 4005 275 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 4.41533 s Remaining CPU time: 175.585 s c =============================================================================== c | 13071 | 1188 4533 59886 | 5000 4505 275 | 0.000 % | c | 13171 | 1188 4533 59886 | 5500 4605 275 | 0.000 % | c | 13321 | 1188 4533 59886 | 6050 4755 275 | 0.000 % | c | 13546 | 1188 4533 59886 | 6655 4980 275 | 0.000 % | c | 13883 | 1188 4533 59886 | 7320 5317 275 | 0.000 % | c | 14390 | 1188 4533 59886 | 8052 5824 275 | 0.000 % | c | 15150 | 1188 4533 59886 | 8857 6584 275 | 0.000 % | c | 16289 | 1188 4533 59886 | 9743 7723 274 | 0.000 % | c | 17997 | 1188 4533 59886 | 10717 9431 274 | 0.000 % | c | 20560 | 1188 4533 59886 | 11789 6472 274 | 0.000 % | c | 24404 | 1188 4533 59886 | 12968 10316 274 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 9.48056 s Remaining CPU time: 170.519 s c =============================================================================== c | 27857 | 1188 4534 60285 | 5000 7093 274 | 0.000 % | c | 27957 | 1188 4534 60285 | 5500 3647 274 | 0.000 % | c | 28107 | 1188 4534 60285 | 6050 3797 274 | 0.000 % | c | 28332 | 1188 4534 60285 | 6655 4022 274 | 0.000 % | c | 28670 | 1188 4534 60285 | 7320 4360 274 | 0.000 % | c | 29176 | 1188 4534 60285 | 8052 4866 274 | 0.000 % | c | 29935 | 1188 4534 60285 | 8857 5625 274 | 0.000 % | c | 31074 | 1188 4534 60285 | 9743 6764 273 | 0.000 % | c | 32782 | 1188 4534 60285 | 10717 8472 273 | 0.000 % | c | 35344 | 1188 4534 60285 | 11789 11034 273 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 12.3281 s Remaining CPU time: 167.672 s c =============================================================================== c | 37631 | 1188 4535 60684 | 5000 7275 273 | 0.000 % | c | 37732 | 1188 4535 60684 | 5500 3739 273 | 0.000 % | c | 37882 | 1188 4535 60684 | 6050 3889 273 | 0.000 % | c | 38107 | 1188 4535 60684 | 6655 4114 273 | 0.000 % | c | 38444 | 1188 4535 60684 | 7320 4451 273 | 0.000 % | c | 38950 | 1188 4535 60684 | 8052 4957 273 | 0.000 % | c | 39709 | 1188 4535 60684 | 8857 5716 273 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 13.39 s Remaining CPU time: 166.61 s c =============================================================================== c | 39870 | 1188 4536 61083 | 5000 5877 273 | 0.000 % | c | 39970 | 1188 4536 61083 | 5500 3039 272 | 0.000 % | c | 40120 | 1188 4536 61083 | 6050 3189 272 | 0.000 % | c | 40345 | 1188 4536 61083 | 6655 3414 272 | 0.000 % | c | 40682 | 1188 4536 61083 | 7320 3751 272 | 0.000 % | c | 41189 | 1188 4536 61083 | 8052 4258 272 | 0.000 % | c | 41948 | 1188 4536 61083 | 8857 5017 272 | 0.000 % | c | 43087 | 1188 4536 61083 | 9743 6156 271 | 0.000 % | c | 44796 | 1188 4536 61083 | 10717 7865 271 | 0.000 % | c | 47358 | 1188 4536 61083 | 11789 10427 271 | 0.000 % | c | 51202 | 1188 4536 61083 | 12968 8228 271 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 18.0882 s Remaining CPU time: 161.912 s c =============================================================================== c | 55663 | 1188 4537 61482 | 5000 12689 271 | 0.000 % | c | 55763 | 1188 4537 61482 | 5500 3273 271 | 0.000 % | c | 55913 | 1188 4537 61482 | 6050 3423 271 | 0.000 % | c | 56139 | 1188 4537 61482 | 6655 3649 271 | 0.000 % | c | 56476 | 1188 4537 61482 | 7320 3986 271 | 0.000 % | c | 56982 | 1188 4537 61482 | 8052 4492 271 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 18.7042 s Remaining CPU time: 161.296 s c =============================================================================== c | 57178 | 1188 4538 61881 | 5000 4688 270 | 0.000 % | c | 57278 | 1188 4538 61881 | 5500 4788 270 | 0.000 % | c | 57428 | 1188 4538 61881 | 6050 4938 270 | 0.000 % | c | 57653 | 1188 4538 61881 | 6655 5163 270 | 0.000 % | c | 57990 | 1188 4538 61881 | 7320 5500 270 | 0.000 % | c | 58496 | 1188 4538 61881 | 8052 6006 270 | 0.000 % | c | 59255 | 1188 4538 61881 | 8857 6765 270 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 19.473 s Remaining CPU time: 160.527 s c =============================================================================== c | 59843 | 1188 4539 62280 | 5000 7353 270 | 0.000 % | c | 59943 | 1188 4539 62280 | 5500 3777 269 | 0.000 % | c | 60093 | 1188 4539 62280 | 6050 3927 269 | 0.000 % | c | 60318 | 1188 4539 62280 | 6655 4152 269 | 0.000 % | c | 60656 | 1188 4539 62280 | 7320 4490 269 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 19.813 s Remaining CPU time: 160.187 s c =============================================================================== c | 61015 | 1188 4540 62679 | 5000 4849 269 | 0.000 % | c | 61115 | 1188 4540 62679 | 5500 4949 268 | 0.000 % | c | 61266 | 1188 4540 62679 | 6050 5100 268 | 0.000 % | c | 61491 | 1188 4540 62679 | 6655 5325 268 | 0.000 % | c | 61828 | 1188 4540 62679 | 7320 5662 268 | 0.000 % | c | 62335 | 1188 4540 62679 | 8052 6169 268 | 0.000 % | c | 63095 | 1188 4540 62679 | 8857 6929 268 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 20.6849 s Remaining CPU time: 159.315 s c =============================================================================== c | 63873 | 1188 4541 63078 | 5000 7707 268 | 0.000 % | c | 63973 | 1188 4541 63078 | 5500 3954 267 | 0.000 % | c | 64124 | 1188 4541 63078 | 6050 4105 267 | 0.000 % | c | 64349 | 1188 4541 63078 | 6655 4330 266 | 0.000 % | c | 64687 | 1188 4541 63078 | 7320 4668 266 | 0.000 % | c | 65193 | 1188 4541 63078 | 8052 5174 266 | 0.000 % | c | 65953 | 1188 4541 63078 | 8857 5934 266 | 0.000 % | c | 67092 | 1188 4541 63078 | 9743 7073 266 | 0.000 % | c | 68801 | 1188 4541 63078 | 10717 8782 266 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 22.2986 s Remaining CPU time: 157.701 s c =============================================================================== c | 70052 | 1188 4542 63477 | 5000 10033 266 | 0.000 % | c | 70152 | 1188 4542 63477 | 5500 2609 266 | 0.000 % | c | 70303 | 1188 4542 63477 | 6050 2760 266 | 0.000 % | c | 70528 | 1188 4542 63477 | 6655 2985 266 | 0.000 % | c | 70865 | 1188 4542 63477 | 7320 3322 266 | 0.000 % | c | 71372 | 1188 4542 63477 | 8052 3829 265 | 0.000 % | c | 72131 | 1188 4542 63477 | 8857 4588 265 | 0.000 % | c | 73270 | 1188 4542 63477 | 9743 5727 265 | 0.000 % | c | 74979 | 1188 4542 63477 | 10717 7436 265 | 0.000 % | c | 77541 | 1188 4542 63477 | 11789 9998 265 | 0.000 % | c | 81385 | 1188 4542 63477 | 12968 7803 265 | 0.000 % | c | 87151 | 1188 4542 63477 | 14265 6939 265 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 27.7728 s Remaining CPU time: 152.227 s c =============================================================================== c | 87364 | 1188 4543 63876 | 5000 7152 265 | 0.000 % | c | 87464 | 1188 4543 63876 | 5500 3676 265 | 0.000 % | c | 87614 | 1188 4543 63876 | 6050 3826 265 | 0.000 % | c | 87839 | 1188 4543 63876 | 6655 4051 265 | 0.000 % | c | 88176 | 1188 4543 63876 | 7320 4388 265 | 0.000 % | c | 88682 | 1188 4543 63876 | 8052 4894 265 | 0.000 % | c | 89441 | 1188 4543 63876 | 8857 5653 265 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 28.6076 s Remaining CPU time: 151.392 s c =============================================================================== c | 89651 | 1188 4544 64275 | 5000 5863 265 | 0.000 % | c | 89752 | 1188 4544 64275 | 5500 3033 264 | 0.000 % | c | 89902 | 1188 4544 64275 | 6050 3183 264 | 0.000 % | c | 90127 | 1188 4544 64275 | 6655 3408 264 | 0.000 % | c | 90464 | 1188 4544 64275 | 7320 3745 264 | 0.000 % | c | 90971 | 1188 4544 64275 | 8052 4252 263 | 0.000 % | c | 91731 | 1188 4544 64275 | 8857 5012 263 | 0.000 % | c | 92870 | 1188 4544 64275 | 9743 6151 263 | 0.000 % | c | 94578 | 1188 4544 64275 | 10717 7859 263 | 0.000 % | c | 97140 | 1188 4544 64275 | 11789 10421 263 | 0.000 % | c | 100985 | 1188 4544 64275 | 12968 8230 263 | 0.000 % | c | 106751 | 1188 4544 64275 | 14265 7340 263 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 35.1057 s Remaining CPU time: 144.894 s c =============================================================================== c | 109248 | 1188 4545 64674 | 5000 9837 263 | 0.000 % | c | 109348 | 1188 4545 64674 | 5500 5019 263 | 0.000 % | c | 109498 | 1188 4545 64674 | 6050 5169 263 | 0.000 % | c | 109724 | 1188 4545 64674 | 6655 5395 263 | 0.000 % | c | 110061 | 1188 4545 64674 | 7320 5732 263 | 0.000 % | c | 110567 | 1188 4545 64674 | 8052 6238 263 | 0.000 % | c | 111326 | 1188 4545 64674 | 8857 6997 263 | 0.000 % | c | 112465 | 1188 4545 64674 | 9743 8136 263 | 0.000 % | c | 114173 | 1188 4545 64674 | 10717 9844 263 | 0.000 % | c | 116735 | 1188 4545 64674 | 11789 6877 262 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 37.9892 s Remaining CPU time: 142.011 s c =============================================================================== c | 117593 | 1188 4546 65073 | 5000 7735 262 | 0.000 % | c | 117695 | 1188 4546 65073 | 5500 3970 262 | 0.000 % | c | 117845 | 1188 4546 65073 | 6050 4120 262 | 0.000 % | c | 118070 | 1188 4546 65073 | 6655 4345 262 | 0.000 % | c | 118407 | 1188 4546 65073 | 7320 4682 262 | 0.000 % | c | 118914 | 1188 4546 65073 | 8052 5189 262 | 0.000 % | c | 119674 | 1188 4546 65073 | 8857 5949 261 | 0.000 % | c | 120813 | 1188 4546 65073 | 9743 7088 261 | 0.000 % | c | 122521 | 1188 4546 65073 | 10717 8796 261 | 0.000 % | c | 125083 | 1188 4546 65073 | 11789 5841 261 | 0.000 % | c | 128927 | 1188 4546 65073 | 12968 9685 261 | 0.000 % | c | 134693 | 1188 4546 65073 | 14265 8807 261 | 0.000 % | c | 143342 | 1188 4546 65073 | 15692 10165 261 | 0.000 % | c | 156316 | 1188 4546 65073 | 17261 15149 261 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 58.993 s Remaining CPU time: 121.007 s c =============================================================================== c | 173754 | 1188 4547 65472 | 5000 15032 261 | 0.000 % | c | 173854 | 1188 4547 65472 | 5500 3858 261 | 0.000 % | c | 174004 | 1188 4547 65472 | 6050 4008 261 | 0.000 % | c | 174229 | 1188 4547 65472 | 6655 4233 261 | 0.000 % | c | 174566 | 1188 4547 65472 | 7320 4570 261 | 0.000 % | c | 175072 | 1188 4547 65472 | 8052 5076 260 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 59.7239 s Remaining CPU time: 120.276 s c =============================================================================== c | 175748 | 1188 4548 65871 | 5000 5752 260 | 0.000 % | c | 175848 | 1188 4548 65871 | 5500 2976 260 | 0.000 % | c | 175998 | 1188 4548 65871 | 6050 3126 260 | 0.000 % | c | 176223 | 1188 4548 65871 | 6655 3351 260 | 0.000 % | c | 176560 | 1188 4548 65871 | 7320 3688 259 | 0.000 % | c | 177066 | 1188 4548 65871 | 8052 4194 259 | 0.000 % | c | 177826 | 1188 4548 65871 | 8857 4954 259 | 0.000 % | c | 178965 | 1188 4548 65871 | 9743 6093 259 | 0.000 % | c | 180674 | 1188 4548 65871 | 10717 7802 259 | 0.000 % | c | 183236 | 1188 4548 65871 | 11789 10364 259 | 0.000 % | c | 187080 | 1188 4548 65871 | 12968 8168 259 | 0.000 % | c | 192847 | 1188 4548 65871 | 14265 7297 259 | 0.000 % | c | 201496 | 1188 4548 65871 | 15692 8676 259 | 0.000 % | c | 214470 | 1188 4548 65871 | 17261 13653 259 | 0.000 % | c | 233931 | 1188 4548 65871 | 18987 15581 260 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 85.8779 s Remaining CPU time: 94.1221 s c =============================================================================== c | 241091 | 1188 4549 66270 | 5000 13101 260 | 0.000 % | c | 241191 | 1188 4549 66270 | 5500 3376 259 | 0.000 % | c | 241342 | 1188 4549 66270 | 6050 3527 259 | 0.000 % | c | 241567 | 1188 4549 66270 | 6655 3752 259 | 0.000 % | c | 241904 | 1188 4549 66270 | 7320 4089 259 | 0.000 % | c | 242410 | 1188 4549 66270 | 8052 4595 259 | 0.000 % | c | 243169 | 1188 4549 66270 | 8857 5354 259 | 0.000 % | c | 244309 | 1188 4549 66270 | 9743 6494 259 | 0.000 % | c | 246017 | 1188 4549 66270 | 10717 8202 259 | 0.000 % | c | 248580 | 1188 4549 66270 | 11789 10765 259 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 89.7114 s Remaining CPU time: 90.2886 s c =============================================================================== c | 252344 | 1188 4550 66669 | 5000 8487 258 | 0.000 % | c | 252444 | 1188 4550 66669 | 5500 4344 258 | 0.000 % | c | 252594 | 1188 4550 66669 | 6050 4494 258 | 0.000 % | c | 252819 | 1188 4550 66669 | 6655 4719 258 | 0.000 % | c | 253156 | 1188 4550 66669 | 7320 5056 258 | 0.000 % | c | 253662 | 1188 4550 66669 | 8052 5562 258 | 0.000 % | c | 254421 | 1188 4550 66669 | 8857 6321 257 | 0.000 % | c | 255560 | 1188 4550 66669 | 9743 7460 257 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 90.8492 s Remaining CPU time: 89.1508 s c =============================================================================== c | 255566 | 1188 4551 67068 | 5000 7466 257 | 0.000 % | c | 255666 | 1188 4551 67068 | 5500 3833 257 | 0.000 % | c | 255817 | 1188 4551 67068 | 6050 3984 257 | 0.000 % | c | 256042 | 1188 4551 67068 | 6655 4209 257 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 91.1581 s Remaining CPU time: 88.8419 s c =============================================================================== c | 256352 | 1188 4552 67467 | 5000 4519 257 | 0.000 % | c | 256452 | 1188 4552 67467 | 5500 4619 257 | 0.000 % | c | 256602 | 1188 4552 67467 | 6050 4769 256 | 0.000 % | c | 256827 | 1188 4552 67467 | 6655 4994 256 | 0.000 % | c | 257165 | 1188 4552 67467 | 7320 5332 256 | 0.000 % | c | 257671 | 1188 4552 67467 | 8052 5838 256 | 0.000 % | c | 258430 | 1188 4552 67467 | 8857 6597 256 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 92.049 s Remaining CPU time: 87.951 s c =============================================================================== c | 258798 | 1188 4553 67866 | 5000 6965 256 | 0.000 % | c | 258898 | 1188 4553 67866 | 5500 3583 255 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 92.196 s Remaining CPU time: 87.804 s c =============================================================================== c | 259043 | 1188 4554 68265 | 5000 3728 255 | 0.000 % | c | 259144 | 1188 4554 68265 | 5500 3829 255 | 0.000 % | c | 259294 | 1188 4554 68265 | 6050 3979 255 | 0.000 % | c | 259519 | 1188 4554 68265 | 6655 4204 255 | 0.000 % | c | 259856 | 1188 4554 68265 | 7320 4541 254 | 0.000 % | c | 260362 | 1188 4554 68265 | 8052 5047 254 | 0.000 % | c | 261121 | 1188 4554 68265 | 8857 5806 254 | 0.000 % | c | 262260 | 1188 4554 68265 | 9743 6945 254 | 0.000 % | c | 263968 | 1188 4554 68265 | 10717 8653 254 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 93.8007 s Remaining CPU time: 86.1993 s c =============================================================================== c | 264147 | 1188 4555 68664 | 5000 8832 254 | 0.000 % | c | 264247 | 1188 4555 68664 | 5500 4516 252 | 0.000 % | c | 264397 | 1188 4555 68664 | 6050 4666 252 | 0.000 % | c | 264622 | 1188 4555 68664 | 6655 4891 252 | 0.000 % | c | 264959 | 1188 4555 68664 | 7320 5228 252 | 0.000 % | c | 265465 | 1188 4555 68664 | 8052 5734 252 | 0.000 % | c | 266224 | 1188 4555 68664 | 8857 6493 252 | 0.000 % | c | 267363 | 1188 4555 68664 | 9743 7632 252 | 0.000 % | c | 269072 | 1188 4555 68664 | 10717 9341 252 | 0.000 % | c | 271635 | 1188 4555 68664 | 11789 6393 252 | 0.000 % | c | 275479 | 1188 4555 68664 | 12968 10237 252 | 0.000 % | c | 281245 | 1188 4555 68664 | 14265 9383 252 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 102.9 s Remaining CPU time: 77.0996 s c =============================================================================== c | 288842 | 1188 4556 69063 | 5000 9715 252 | 0.000 % | c | 288942 | 1188 4556 69063 | 5500 4958 252 | 0.000 % | c | 289092 | 1188 4556 69063 | 6050 5108 252 | 0.000 % | c | 289317 | 1188 4556 69063 | 6655 5333 252 | 0.000 % | c | 289655 | 1188 4556 69063 | 7320 5671 252 | 0.000 % | c | 290161 | 1188 4556 69063 | 8052 6177 252 | 0.000 % | c | 290920 | 1188 4556 69063 | 8857 6936 252 | 0.000 % | c | 292060 | 1188 4556 69063 | 9743 8076 252 | 0.000 % | c | 293768 | 1188 4556 69063 | 10717 9784 252 | 0.000 % | c | 296331 | 1188 4556 69063 | 11789 6845 251 | 0.000 % | c | 300175 | 1188 4556 69063 | 12968 10689 251 | 0.000 % | c | 305941 | 1188 4556 69063 | 14265 9841 251 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 112.056 s Remaining CPU time: 67.944 s c =============================================================================== c | 311589 | 1188 4557 69462 | 5000 8189 251 | 0.000 % | c | 311689 | 1188 4557 69462 | 5500 4195 250 | 0.000 % | c | 311839 | 1188 4557 69462 | 6050 4345 250 | 0.000 % | c | 312064 | 1188 4557 69462 | 6655 4570 250 | 0.000 % | c | 312401 | 1188 4557 69462 | 7320 4907 250 | 0.000 % | c | 312908 | 1188 4557 69462 | 8052 5414 250 | 0.000 % | c | 313668 | 1188 4557 69462 | 8857 6174 250 | 0.000 % | c | 314808 | 1188 4557 69462 | 9743 7314 250 | 0.000 % | c | 316516 | 1188 4557 69462 | 10717 9022 250 | 0.000 % | c | 319078 | 1188 4557 69462 | 11789 6093 250 | 0.000 % | c | 322922 | 1188 4557 69462 | 12968 9937 250 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 117.103 s Remaining CPU time: 62.8968 s c =============================================================================== c | 324800 | 1188 4558 69861 | 5000 11815 250 | 0.000 % | c | 324900 | 1188 4558 69861 | 5500 3054 249 | 0.000 % | c | 325051 | 1188 4558 69861 | 6050 3205 249 | 0.000 % | c | 325277 | 1188 4558 69861 | 6655 3431 249 | 0.000 % | c | 325615 | 1188 4558 69861 | 7320 3769 249 | 0.000 % | c | 326121 | 1188 4558 69861 | 8052 4275 249 | 0.000 % | c | 326881 | 1188 4558 69861 | 8857 5035 249 | 0.000 % | c | 328020 | 1188 4558 69861 | 9743 6174 249 | 0.000 % | c | 329729 | 1188 4558 69861 | 10717 7883 249 | 0.000 % | c | 332291 | 1188 4558 69861 | 11789 10445 249 | 0.000 % | c | 336135 | 1188 4558 69861 | 12968 8238 249 | 0.000 % |