c wbo 1.4 beta - 20100610 c | Number of variables: 800 | c | Number of clauses: 4414 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1187 | c | Number Clauses: 4400 | 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 | 1187 4400 9199 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1187 4401 9600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1187 4402 10001 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1187 4403 10402 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1187 4404 10803 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1187 4405 11204 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1187 4406 11605 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1187 4407 12006 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1187 4408 12407 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1187 4409 12808 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1187 4410 13209 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1187 4411 13610 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1187 4412 14011 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1187 4413 14412 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1187 4414 14813 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 1187 4415 15214 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 1187 4416 15615 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 1187 4417 16016 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 1187 4418 16417 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 1187 4419 16818 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 1187 4420 17219 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 1 | 1187 4421 17620 | 5000 1 382 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 1 | 1187 4422 18021 | 5000 1 382 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 2 | 1187 4423 18422 | 5000 2 381 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 2 | 1187 4424 18823 | 5000 2 381 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 2 | 1187 4425 19224 | 5000 2 381 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 2 | 1187 4426 19625 | 5000 2 381 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 2 | 1187 4427 20026 | 5000 2 381 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 2 | 1187 4428 20427 | 5000 2 381 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 2 | 1187 4429 20828 | 5000 2 381 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 2 | 1187 4430 21229 | 5000 2 381 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 3 | 1187 4431 21630 | 5000 3 378 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 3 | 1187 4432 22031 | 5000 3 378 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 6 | 1187 4433 22432 | 5000 6 374 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 6 | 1187 4434 22833 | 5000 6 374 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 6 | 1187 4435 23234 | 5000 6 374 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 6 | 1187 4436 23635 | 5000 6 374 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 6 | 1187 4437 24036 | 5000 6 374 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 6 | 1187 4438 24437 | 5000 6 374 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 6 | 1187 4439 24838 | 5000 6 374 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 6 | 1187 4440 25239 | 5000 6 374 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 6 | 1187 4441 25640 | 5000 6 374 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 6 | 1187 4442 26041 | 5000 6 374 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 10 | 1187 4443 26442 | 5000 10 368 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 10 | 1187 4444 26843 | 5000 10 368 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 14 | 1187 4445 27244 | 5000 14 365 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 14 | 1187 4446 27645 | 5000 14 365 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 14 | 1187 4447 28046 | 5000 14 365 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.123981 s Remaining CPU time: 179.876 s c =============================================================================== c | 14 | 1187 4448 28447 | 5000 14 365 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 15 | 1187 4449 28848 | 5000 15 365 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 15 | 1187 4450 29249 | 5000 15 365 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s c =============================================================================== c | 15 | 1187 4451 29650 | 5000 15 365 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 16 | 1187 4452 30051 | 5000 16 364 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 17 | 1187 4453 30452 | 5000 17 363 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s c =============================================================================== c | 17 | 1187 4454 30853 | 5000 17 363 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 17 | 1187 4455 31254 | 5000 17 363 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 17 | 1187 4456 31655 | 5000 17 363 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 17 | 1187 4457 32056 | 5000 17 363 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.164974 s Remaining CPU time: 179.835 s c =============================================================================== c | 18 | 1187 4458 32457 | 5000 18 362 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s c =============================================================================== c | 18 | 1187 4459 32858 | 5000 18 362 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.174973 s Remaining CPU time: 179.825 s c =============================================================================== c | 18 | 1187 4460 33259 | 5000 18 362 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.179972 s Remaining CPU time: 179.82 s c =============================================================================== c | 18 | 1187 4461 33660 | 5000 18 362 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s c =============================================================================== c | 19 | 1187 4462 34061 | 5000 19 361 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s c =============================================================================== c | 27 | 1187 4463 34462 | 5000 27 355 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 27 | 1187 4464 34863 | 5000 27 355 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.199969 s Remaining CPU time: 179.8 s c =============================================================================== c | 27 | 1187 4465 35264 | 5000 27 355 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 27 | 1187 4466 35665 | 5000 27 355 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s c =============================================================================== c | 27 | 1187 4467 36066 | 5000 27 355 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.214967 s Remaining CPU time: 179.785 s c =============================================================================== c | 28 | 1187 4468 36467 | 5000 28 354 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s c =============================================================================== c | 28 | 1187 4469 36868 | 5000 28 354 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.225965 s Remaining CPU time: 179.774 s c =============================================================================== c | 28 | 1187 4470 37269 | 5000 28 354 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s c =============================================================================== c | 28 | 1187 4471 37670 | 5000 28 354 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s c =============================================================================== c | 37 | 1187 4472 38071 | 5000 37 348 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.241963 s Remaining CPU time: 179.758 s c =============================================================================== c | 37 | 1187 4473 38472 | 5000 37 348 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s c =============================================================================== c | 37 | 1187 4474 38873 | 5000 37 348 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.252961 s Remaining CPU time: 179.747 s c =============================================================================== c | 39 | 1187 4475 39274 | 5000 39 347 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.25896 s Remaining CPU time: 179.741 s c =============================================================================== c | 39 | 1187 4476 39675 | 5000 39 347 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.264959 s Remaining CPU time: 179.735 s c =============================================================================== c | 39 | 1187 4477 40076 | 5000 39 347 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.270958 s Remaining CPU time: 179.729 s c =============================================================================== c | 39 | 1187 4478 40477 | 5000 39 347 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.281957 s Remaining CPU time: 179.718 s c =============================================================================== c | 67 | 1187 4479 40878 | 5000 67 337 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.290955 s Remaining CPU time: 179.709 s c =============================================================================== c | 75 | 1187 4480 41279 | 5000 75 336 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.301954 s Remaining CPU time: 179.698 s c =============================================================================== c | 94 | 1187 4481 41680 | 5000 94 333 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.310952 s Remaining CPU time: 179.689 s c =============================================================================== c | 105 | 1187 4482 42081 | 5000 105 332 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.321951 s Remaining CPU time: 179.678 s c =============================================================================== c | 128 | 1187 4483 42482 | 5000 128 330 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.330949 s Remaining CPU time: 179.669 s c =============================================================================== c | 139 | 1187 4484 42883 | 5000 139 329 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.359945 s Remaining CPU time: 179.64 s c =============================================================================== c | 234 | 1187 4485 43284 | 5000 234 325 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.369943 s Remaining CPU time: 179.63 s c =============================================================================== c | 245 | 1187 4486 43685 | 5000 245 325 | 0.000 % | c | 345 | 1187 4486 43685 | 5500 345 322 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.422935 s Remaining CPU time: 179.577 s c =============================================================================== c | 440 | 1187 4487 44086 | 5000 440 321 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.432934 s Remaining CPU time: 179.567 s c =============================================================================== c | 449 | 1187 4488 44487 | 5000 449 321 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.442932 s Remaining CPU time: 179.557 s c =============================================================================== c | 458 | 1187 4489 44888 | 5000 458 321 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.45593 s Remaining CPU time: 179.544 s c =============================================================================== c | 482 | 1187 4490 45289 | 5000 482 321 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.468928 s Remaining CPU time: 179.531 s c =============================================================================== c | 509 | 1187 4491 45690 | 5000 509 320 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.478927 s Remaining CPU time: 179.521 s c =============================================================================== c | 524 | 1187 4492 46091 | 5000 524 320 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.486925 s Remaining CPU time: 179.513 s c =============================================================================== c | 527 | 1187 4493 46492 | 5000 527 320 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.496924 s Remaining CPU time: 179.503 s c =============================================================================== c | 537 | 1187 4494 46893 | 5000 537 320 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.506922 s Remaining CPU time: 179.493 s c =============================================================================== c | 546 | 1187 4495 47294 | 5000 546 319 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.517921 s Remaining CPU time: 179.482 s c =============================================================================== c | 559 | 1187 4496 47695 | 5000 559 319 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.534918 s Remaining CPU time: 179.465 s c =============================================================================== c | 598 | 1187 4497 48096 | 5000 598 318 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.545917 s Remaining CPU time: 179.454 s c =============================================================================== c | 611 | 1187 4498 48497 | 5000 611 318 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.560914 s Remaining CPU time: 179.439 s c =============================================================================== c | 631 | 1187 4499 48898 | 5000 631 318 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.577912 s Remaining CPU time: 179.422 s c =============================================================================== c | 660 | 1187 4500 49299 | 5000 660 317 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.58591 s Remaining CPU time: 179.414 s c =============================================================================== c | 664 | 1187 4501 49700 | 5000 664 317 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.605907 s Remaining CPU time: 179.394 s c =============================================================================== c | 708 | 1187 4502 50101 | 5000 708 316 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.617906 s Remaining CPU time: 179.382 s c =============================================================================== c | 721 | 1187 4503 50502 | 5000 721 316 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.632903 s Remaining CPU time: 179.367 s c =============================================================================== c | 753 | 1187 4504 50903 | 5000 753 315 | 0.000 % | c | 853 | 1187 4504 50903 | 5500 853 313 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.695894 s Remaining CPU time: 179.304 s c =============================================================================== c | 933 | 1187 4505 51304 | 5000 933 312 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.71989 s Remaining CPU time: 179.28 s c =============================================================================== c | 985 | 1187 4506 51705 | 5000 985 311 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.738887 s Remaining CPU time: 179.261 s c =============================================================================== c | 1024 | 1187 4507 52106 | 5000 1024 310 | 0.000 % | c | 1124 | 1187 4507 52106 | 5500 1124 309 | 0.000 % | c | 1274 | 1187 4507 52106 | 6050 1274 307 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.863868 s Remaining CPU time: 179.136 s c =============================================================================== c | 1425 | 1187 4508 52507 | 5000 1425 306 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.889864 s Remaining CPU time: 179.11 s c =============================================================================== c | 1492 | 1187 4509 52908 | 5000 1492 306 | 0.000 % | c | 1592 | 1187 4509 52908 | 5500 1592 305 | 0.000 % | c | 1742 | 1187 4509 52908 | 6050 1742 304 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 1.03384 s Remaining CPU time: 178.966 s c =============================================================================== c | 1890 | 1187 4510 53309 | 5000 1890 303 | 0.000 % | c | 1991 | 1187 4510 53309 | 5500 1991 302 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 1.09183 s Remaining CPU time: 178.908 s c =============================================================================== c | 2046 | 1187 4511 53710 | 5000 2046 302 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 1.12583 s Remaining CPU time: 178.874 s c =============================================================================== c | 2138 | 1187 4512 54111 | 5000 2138 302 | 0.000 % | c | 2238 | 1187 4512 54111 | 5500 2238 301 | 0.000 % | c | 2388 | 1187 4512 54111 | 6050 2388 300 | 0.000 % | c | 2613 | 1187 4512 54111 | 6655 2613 300 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 1.3378 s Remaining CPU time: 178.662 s c =============================================================================== c | 2852 | 1187 4513 54512 | 5000 2852 299 | 0.000 % | c | 2952 | 1187 4513 54512 | 5500 2952 299 | 0.000 % | c | 3102 | 1187 4513 54512 | 6050 3102 298 | 0.000 % | c | 3327 | 1187 4513 54512 | 6655 3327 298 | 0.000 % | c | 3664 | 1187 4513 54512 | 7320 3664 297 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 1.61475 s Remaining CPU time: 178.385 s c =============================================================================== c | 3775 | 1187 4514 54913 | 5000 3775 296 | 0.000 % | c | 3875 | 1187 4514 54913 | 5500 3875 296 | 0.000 % | c | 4025 | 1187 4514 54913 | 6050 4025 296 | 0.000 % | c | 4250 | 1187 4514 54913 | 6655 4250 296 | 0.000 % | c | 4588 | 1187 4514 54913 | 7320 4588 295 | 0.000 % | c | 5094 | 1187 4514 54913 | 8052 5094 294 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 2.25366 s Remaining CPU time: 177.746 s c =============================================================================== c | 5797 | 1187 4515 55314 | 5000 5797 294 | 0.000 % | c | 5897 | 1187 4515 55314 | 5500 2999 289 | 0.000 % | c | 6049 | 1187 4515 55314 | 6050 3151 289 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 2.43963 s Remaining CPU time: 177.56 s c =============================================================================== c | 6178 | 1187 4516 55715 | 5000 3280 289 | 0.000 % | c | 6278 | 1187 4516 55715 | 5500 3380 289 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 2.51862 s Remaining CPU time: 177.481 s c =============================================================================== c | 6352 | 1187 4517 56116 | 5000 3454 288 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 2.55261 s Remaining CPU time: 177.447 s c =============================================================================== c | 6439 | 1187 4518 56517 | 5000 3541 288 | 0.000 % | c | 6539 | 1187 4518 56517 | 5500 3641 288 | 0.000 % | c | 6689 | 1187 4518 56517 | 6050 3791 288 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 2.66859 s Remaining CPU time: 177.331 s c =============================================================================== c | 6753 | 1187 4519 56918 | 5000 3855 288 | 0.000 % | c | 6854 | 1187 4519 56918 | 5500 3956 288 | 0.000 % | c | 7004 | 1187 4519 56918 | 6050 4106 288 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 2.81457 s Remaining CPU time: 177.185 s c =============================================================================== c | 7191 | 1187 4520 57319 | 5000 4293 288 | 0.000 % | c | 7291 | 1187 4520 57319 | 5500 4393 287 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 2.87856 s Remaining CPU time: 177.121 s c =============================================================================== c | 7366 | 1187 4521 57720 | 5000 4468 287 | 0.000 % | c | 7466 | 1187 4521 57720 | 5500 4568 287 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 2.95155 s Remaining CPU time: 177.048 s c =============================================================================== c | 7550 | 1187 4522 58121 | 5000 4652 287 | 0.000 % | c | 7650 | 1187 4522 58121 | 5500 4752 287 | 0.000 % | c | 7800 | 1187 4522 58121 | 6050 4902 287 | 0.000 % | c | 8026 | 1187 4522 58121 | 6655 5128 287 | 0.000 % | c | 8363 | 1187 4522 58121 | 7320 5465 286 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 3.24151 s Remaining CPU time: 176.758 s c =============================================================================== c | 8530 | 1187 4523 58522 | 5000 5632 286 | 0.000 % | c | 8630 | 1187 4523 58522 | 5500 2916 283 | 0.000 % | c | 8780 | 1187 4523 58522 | 6050 3066 283 | 0.000 % | c | 9006 | 1187 4523 58522 | 6655 3292 283 | 0.000 % | c | 9344 | 1187 4523 58522 | 7320 3630 282 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 3.59645 s Remaining CPU time: 176.404 s c =============================================================================== c | 9528 | 1187 4524 58923 | 5000 3814 282 | 0.000 % | c | 9628 | 1187 4524 58923 | 5500 3914 282 | 0.000 % | c | 9778 | 1187 4524 58923 | 6050 4064 282 | 0.000 % | c | 10003 | 1187 4524 58923 | 6655 4289 282 | 0.000 % | c | 10341 | 1187 4524 58923 | 7320 4627 281 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 3.89541 s Remaining CPU time: 176.105 s c =============================================================================== c | 10374 | 1187 4525 59324 | 5000 4660 281 | 0.000 % | c | 10474 | 1187 4525 59324 | 5500 4760 281 | 0.000 % | c | 10624 | 1187 4525 59324 | 6050 4910 281 | 0.000 % | c | 10849 | 1187 4525 59324 | 6655 5135 281 | 0.000 % | c | 11186 | 1187 4525 59324 | 7320 5472 281 | 0.000 % | c | 11693 | 1187 4525 59324 | 8052 5979 281 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 4.38533 s Remaining CPU time: 175.615 s c =============================================================================== c | 11842 | 1187 4526 59725 | 5000 6128 280 | 0.000 % | c | 11943 | 1187 4526 59725 | 5500 3165 278 | 0.000 % | c | 12094 | 1187 4526 59725 | 6050 3316 278 | 0.000 % | c | 12320 | 1187 4526 59725 | 6655 3542 278 | 0.000 % | c | 12657 | 1187 4526 59725 | 7320 3879 278 | 0.000 % | c | 13163 | 1187 4526 59725 | 8052 4385 278 | 0.000 % | c | 13922 | 1187 4526 59725 | 8857 5144 277 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 5.19221 s Remaining CPU time: 174.808 s c =============================================================================== c | 14274 | 1187 4527 60126 | 5000 5496 277 | 0.000 % | c | 14374 | 1187 4527 60126 | 5500 2848 276 | 0.000 % | c | 14525 | 1187 4527 60126 | 6050 2999 276 | 0.000 % | c | 14750 | 1187 4527 60126 | 6655 3224 276 | 0.000 % | c | 15087 | 1187 4527 60126 | 7320 3561 276 | 0.000 % | c | 15594 | 1187 4527 60126 | 8052 4068 276 | 0.000 % | c | 16353 | 1187 4527 60126 | 8857 4827 276 | 0.000 % | c | 17492 | 1187 4527 60126 | 9743 5966 276 | 0.000 % | c | 19200 | 1187 4527 60126 | 10717 7674 276 | 0.000 % | c | 21762 | 1187 4527 60126 | 11789 10236 276 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 8.28174 s Remaining CPU time: 171.718 s c =============================================================================== c | 22773 | 1187 4528 60527 | 5000 11247 276 | 0.000 % | c | 22873 | 1187 4528 60527 | 5500 2912 275 | 0.000 % | c | 23024 | 1187 4528 60527 | 6050 3063 275 | 0.000 % | c | 23249 | 1187 4528 60527 | 6655 3288 275 | 0.000 % | c | 23587 | 1187 4528 60527 | 7320 3626 275 | 0.000 % | c | 24094 | 1187 4528 60527 | 8052 4133 275 | 0.000 % | c | 24853 | 1187 4528 60527 | 8857 4892 275 | 0.000 % | c | 25992 | 1187 4528 60527 | 9743 6031 275 | 0.000 % | c | 27701 | 1187 4528 60527 | 10717 7740 275 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 10.6394 s Remaining CPU time: 169.361 s c =============================================================================== c | 28139 | 1187 4529 60928 | 5000 8178 275 | 0.000 % | c | 28239 | 1187 4529 60928 | 5500 4189 274 | 0.000 % | c | 28389 | 1187 4529 60928 | 6050 4339 274 | 0.000 % | c | 28615 | 1187 4529 60928 | 6655 4565 274 | 0.000 % | c | 28953 | 1187 4529 60928 | 7320 4903 274 | 0.000 % | c | 29459 | 1187 4529 60928 | 8052 5409 274 | 0.000 % | c | 30219 | 1187 4529 60928 | 8857 6169 274 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 11.5192 s Remaining CPU time: 168.481 s c =============================================================================== c | 30862 | 1187 4530 61329 | 5000 6812 274 | 0.000 % | c | 30963 | 1187 4530 61329 | 5500 3507 274 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 11.6282 s Remaining CPU time: 168.372 s c =============================================================================== c | 31086 | 1187 4531 61730 | 5000 3630 274 | 0.000 % | c | 31186 | 1187 4531 61730 | 5500 3730 274 | 0.000 % | c | 31336 | 1187 4531 61730 | 6050 3880 273 | 0.000 % | c | 31561 | 1187 4531 61730 | 6655 4105 273 | 0.000 % | c | 31899 | 1187 4531 61730 | 7320 4443 273 | 0.000 % | c | 32405 | 1187 4531 61730 | 8052 4949 273 | 0.000 % | c | 33164 | 1187 4531 61730 | 8857 5708 273 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 12.5151 s Remaining CPU time: 167.485 s c =============================================================================== c | 33878 | 1187 4532 62131 | 5000 6422 273 | 0.000 % | c | 33978 | 1187 4532 62131 | 5500 3311 272 | 0.000 % | c | 34128 | 1187 4532 62131 | 6050 3461 272 | 0.000 % | c | 34354 | 1187 4532 62131 | 6655 3687 272 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 12.8021 s Remaining CPU time: 167.198 s c =============================================================================== c | 34657 | 1187 4533 62532 | 5000 3990 272 | 0.000 % | c | 34758 | 1187 4533 62532 | 5500 4091 272 | 0.000 % | c | 34908 | 1187 4533 62532 | 6050 4241 271 | 0.000 % | c | 35135 | 1187 4533 62532 | 6655 4468 271 | 0.000 % | c | 35474 | 1187 4533 62532 | 7320 4807 271 | 0.000 % | c | 35980 | 1187 4533 62532 | 8052 5313 271 | 0.000 % | c | 36739 | 1187 4533 62532 | 8857 6072 271 | 0.000 % | c | 37879 | 1187 4533 62532 | 9743 7212 271 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 14.2438 s Remaining CPU time: 165.756 s c =============================================================================== c | 39489 | 1187 4534 62933 | 5000 8822 271 | 0.000 % | c | 39590 | 1187 4534 62933 | 5500 4512 270 | 0.000 % | c | 39741 | 1187 4534 62933 | 6050 4663 270 | 0.000 % | c | 39966 | 1187 4534 62933 | 6655 4888 269 | 0.000 % | c | 40303 | 1187 4534 62933 | 7320 5225 269 | 0.000 % | c | 40809 | 1187 4534 62933 | 8052 5731 269 | 0.000 % | c | 41568 | 1187 4534 62933 | 8857 6490 269 | 0.000 % | c | 42707 | 1187 4534 62933 | 9743 7629 269 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 15.3497 s Remaining CPU time: 164.65 s c =============================================================================== c | 42895 | 1187 4535 63334 | 5000 7817 269 | 0.000 % | c | 42996 | 1187 4535 63334 | 5500 4010 268 | 0.000 % | c | 43146 | 1187 4535 63334 | 6050 4160 268 | 0.000 % | c | 43371 | 1187 4535 63334 | 6655 4385 268 | 0.000 % | c | 43708 | 1187 4535 63334 | 7320 4722 268 | 0.000 % | c | 44214 | 1187 4535 63334 | 8052 5228 268 | 0.000 % | c | 44974 | 1187 4535 63334 | 8857 5988 268 | 0.000 % | c | 46113 | 1187 4535 63334 | 9743 7127 268 | 0.000 % | c | 47821 | 1187 4535 63334 | 10717 8835 268 | 0.000 % | c | 50384 | 1187 4535 63334 | 11789 5882 268 | 0.000 % | c | 54228 | 1187 4535 63334 | 12968 9726 268 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 21.3638 s Remaining CPU time: 158.636 s c =============================================================================== c | 59782 | 1187 4536 63735 | 5000 8617 268 | 0.000 % | c | 59883 | 1187 4536 63735 | 5500 4410 268 | 0.000 % | c | 60033 | 1187 4536 63735 | 6050 4560 268 | 0.000 % | c | 60259 | 1187 4536 63735 | 6655 4786 268 | 0.000 % | c | 60596 | 1187 4536 63735 | 7320 5123 268 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 21.8337 s Remaining CPU time: 158.166 s c =============================================================================== c | 61051 | 1187 4537 64136 | 5000 5578 268 | 0.000 % | c | 61152 | 1187 4537 64136 | 5500 2890 267 | 0.000 % | c | 61302 | 1187 4537 64136 | 6050 3040 267 | 0.000 % | c | 61528 | 1187 4537 64136 | 6655 3266 267 | 0.000 % | c | 61865 | 1187 4537 64136 | 7320 3603 267 | 0.000 % | c | 62371 | 1187 4537 64136 | 8052 4109 267 | 0.000 % | c | 63130 | 1187 4537 64136 | 8857 4868 267 | 0.000 % | c | 64269 | 1187 4537 64136 | 9743 6007 266 | 0.000 % | c | 65977 | 1187 4537 64136 | 10717 7715 266 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 23.3105 s Remaining CPU time: 156.69 s c =============================================================================== c | 66114 | 1187 4538 64537 | 5000 7852 266 | 0.000 % | c | 66215 | 1187 4538 64537 | 5500 4027 266 | 0.000 % | c | 66365 | 1187 4538 64537 | 6050 4177 266 | 0.000 % | c | 66590 | 1187 4538 64537 | 6655 4402 265 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 23.5884 s Remaining CPU time: 156.412 s c =============================================================================== c | 66855 | 1187 4539 64938 | 5000 4667 265 | 0.000 % | c | 66955 | 1187 4539 64938 | 5500 4767 265 | 0.000 % | c | 67105 | 1187 4539 64938 | 6050 4917 265 | 0.000 % | c | 67330 | 1187 4539 64938 | 6655 5142 265 | 0.000 % | c | 67667 | 1187 4539 64938 | 7320 5479 265 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 23.9884 s Remaining CPU time: 156.012 s c =============================================================================== c | 68060 | 1187 4540 65339 | 5000 5872 265 | 0.000 % | c | 68162 | 1187 4540 65339 | 5500 3038 264 | 0.000 % | c | 68313 | 1187 4540 65339 | 6050 3189 264 | 0.000 % | c | 68538 | 1187 4540 65339 | 6655 3414 264 | 0.000 % | c | 68875 | 1187 4540 65339 | 7320 3751 264 | 0.000 % | c | 69381 | 1187 4540 65339 | 8052 4257 264 | 0.000 % | c | 70140 | 1187 4540 65339 | 8857 5016 264 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 24.8482 s Remaining CPU time: 155.152 s c =============================================================================== c | 70839 | 1187 4541 65740 | 5000 5715 264 | 0.000 % | c | 70939 | 1187 4541 65740 | 5500 2958 263 | 0.000 % | c | 71089 | 1187 4541 65740 | 6050 3108 262 | 0.000 % | c | 71314 | 1187 4541 65740 | 6655 3333 262 | 0.000 % | c | 71651 | 1187 4541 65740 | 7320 3670 262 | 0.000 % | c | 72157 | 1187 4541 65740 | 8052 4176 262 | 0.000 % | c | 72916 | 1187 4541 65740 | 8857 4935 262 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 25.99 s Remaining CPU time: 154.01 s c =============================================================================== c | 73964 | 1187 4542 66141 | 5000 5983 262 | 0.000 % | c | 74065 | 1187 4542 66141 | 5500 3093 261 | 0.000 % | c | 74215 | 1187 4542 66141 | 6050 3243 261 | 0.000 % | c | 74440 | 1187 4542 66141 | 6655 3468 261 | 0.000 % | c | 74777 | 1187 4542 66141 | 7320 3805 261 | 0.000 % | c | 75283 | 1187 4542 66141 | 8052 4311 261 | 0.000 % | c | 76042 | 1187 4542 66141 | 8857 5070 261 | 0.000 % | c | 77181 | 1187 4542 66141 | 9743 6209 261 | 0.000 % | c | 78889 | 1187 4542 66141 | 10717 7917 261 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 27.7798 s Remaining CPU time: 152.22 s c =============================================================================== c | 79335 | 1187 4543 66542 | 5000 8363 261 | 0.000 % | c | 79435 | 1187 4543 66542 | 5500 4282 260 | 0.000 % | c | 79585 | 1187 4543 66542 | 6050 4432 260 | 0.000 % | c | 79810 | 1187 4543 66542 | 6655 4657 260 | 0.000 % | c | 80148 | 1187 4543 66542 | 7320 4995 260 | 0.000 % | c | 80656 | 1187 4543 66542 | 8052 5503 260 | 0.000 % | c | 81415 | 1187 4543 66542 | 8857 6262 260 | 0.000 % | c | 82554 | 1187 4543 66542 | 9743 7401 260 | 0.000 % | c | 84263 | 1187 4543 66542 | 10717 9110 260 | 0.000 % | c | 86826 | 1187 4543 66542 | 11789 6151 259 | 0.000 % | c | 90670 | 1187 4543 66542 | 12968 9995 260 | 0.000 % | c | 96437 | 1187 4543 66542 | 14265 9123 260 | 0.000 % | c | 105086 | 1187 4543 66542 | 15692 10491 260 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 41.0768 s Remaining CPU time: 138.923 s c =============================================================================== c | 115576 | 1187 4544 66943 | 5000 12976 260 | 0.000 % | c | 115677 | 1187 4544 66943 | 5500 3345 260 | 0.000 % | c | 115827 | 1187 4544 66943 | 6050 3495 260 | 0.000 % | c | 116052 | 1187 4544 66943 | 6655 3720 260 | 0.000 % | c | 116390 | 1187 4544 66943 | 7320 4058 260 | 0.000 % | c | 116897 | 1187 4544 66943 | 8052 4565 260 | 0.000 % | c | 117656 | 1187 4544 66943 | 8857 5324 260 | 0.000 % | c | 118796 | 1187 4544 66943 | 9743 6464 259 | 0.000 % | c | 120504 | 1187 4544 66943 | 10717 8172 259 | 0.000 % | c | 123067 | 1187 4544 66943 | 11789 10735 259 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 43.9463 s Remaining CPU time: 136.054 s c =============================================================================== c | 123316 | 1187 4545 67344 | 5000 10984 259 | 0.000 % | c | 123416 | 1187 4545 67344 | 5500 2846 259 | 0.000 % | c | 123566 | 1187 4545 67344 | 6050 2996 258 | 0.000 % | c | 123791 | 1187 4545 67344 | 6655 3221 258 | 0.000 % | c | 124129 | 1187 4545 67344 | 7320 3559 258 | 0.000 % | c | 124636 | 1187 4545 67344 | 8052 4066 258 | 0.000 % | c | 125395 | 1187 4545 67344 | 8857 4825 258 | 0.000 % | c | 126534 | 1187 4545 67344 | 9743 5964 258 | 0.000 % | c | 128242 | 1187 4545 67344 | 10717 7672 258 | 0.000 % | c | 130804 | 1187 4545 67344 | 11789 10234 258 | 0.000 % | c | 134648 | 1187 4545 67344 | 12968 8050 258 | 0.000 % | c | 140414 | 1187 4545 67344 | 14265 7178 258 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 52.876 s Remaining CPU time: 127.124 s c =============================================================================== c | 146844 | 1187 4546 67745 | 5000 13608 259 | 0.000 % | c | 146944 | 1187 4546 67745 | 5500 3502 259 | 0.000 % | c | 147094 | 1187 4546 67745 | 6050 3652 259 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 53.1789 s Remaining CPU time: 126.821 s c =============================================================================== c | 147292 | 1187 4547 68146 | 5000 3850 258 | 0.000 % | c | 147392 | 1187 4547 68146 | 5500 3950 258 | 0.000 % | c | 147542 | 1187 4547 68146 | 6050 4100 258 | 0.000 % | c | 147767 | 1187 4547 68146 | 6655 4325 258 | 0.000 % | c | 148104 | 1187 4547 68146 | 7320 4662 258 | 0.000 % | c | 148610 | 1187 4547 68146 | 8052 5168 258 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 53.8168 s Remaining CPU time: 126.183 s c =============================================================================== c | 148887 | 1187 4548 68547 | 5000 5445 258 | 0.000 % | c | 148987 | 1187 4548 68547 | 5500 2823 257 | 0.000 % | c | 149137 | 1187 4548 68547 | 6050 2973 256 | 0.000 % | c | 149362 | 1187 4548 68547 | 6655 3198 256 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 54.1458 s Remaining CPU time: 125.854 s c =============================================================================== c | 149593 | 1187 4549 68948 | 5000 3429 256 | 0.000 % | c | 149693 | 1187 4549 68948 | 5500 3529 256 | 0.000 % | c | 149844 | 1187 4549 68948 | 6050 3680 256 | 0.000 % | c | 150069 | 1187 4549 68948 | 6655 3905 256 | 0.000 % | c | 150406 | 1187 4549 68948 | 7320 4242 256 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 54.6227 s Remaining CPU time: 125.377 s c =============================================================================== c | 150693 | 1187 4550 69349 | 5000 4529 256 | 0.000 % | c | 150793 | 1187 4550 69349 | 5500 4629 256 | 0.000 % | c | 150943 | 1187 4550 69349 | 6050 4779 256 | 0.000 % | c | 151168 | 1187 4550 69349 | 6655 5004 255 | 0.000 % | c | 151505 | 1187 4550 69349 | 7320 5341 255 | 0.000 % | c | 152011 | 1187 4550 69349 | 8052 5847 255 | 0.000 % | c | 152770 | 1187 4550 69349 | 8857 6606 255 | 0.000 % | c | 153909 | 1187 4550 69349 | 9743 7745 254 | 0.000 % | c | 155619 | 1187 4550 69349 | 10717 9455 254 | 0.000 % | c | 158182 | 1187 4550 69349 | 11789 6527 253 | 0.000 % | c | 162026 | 1187 4550 69349 | 12968 10371 253 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 60.7288 s Remaining CPU time: 119.271 s c =============================================================================== c | 166625 | 1187 4551 69750 | 5000 8346 253 | 0.000 % | c | 166725 | 1187 4551 69750 | 5500 4273 253 | 0.000 % | c | 166875 | 1187 4551 69750 | 6050 4423 253 | 0.000 % | c | 167100 | 1187 4551 69750 | 6655 4648 253 | 0.000 % | c | 167437 | 1187 4551 69750 | 7320 4985 253 | 0.000 % | c | 167944 | 1187 4551 69750 | 8052 5492 253 | 0.000 % | c | 168703 | 1187 4551 69750 | 8857 6251 253 | 0.000 % | c | 169842 | 1187 4551 69750 | 9743 7390 253 | 0.000 % | c | 171550 | 1187 4551 69750 | 10717 9098 252 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 62.8834 s Remaining CPU time: 117.117 s c =============================================================================== c | 172095 | 1187 4552 70151 | 5000 9643 252 | 0.000 % | c | 172197 | 1187 4552 70151 | 5500 4924 252 | 0.000 % | c | 172347 | 1187 4552 70151 | 6050 5074 252 | 0.000 % | c | 172573 | 1187 4552 70151 | 6655 5300 252 | 0.000 % | c | 172910 | 1187 4552 70151 | 7320 5637 252 | 0.000 % | c | 173417 | 1187 4552 70151 | 8052 6144 252 | 0.000 % | c | 174176 | 1187 4552 70151 | 8857 6903 252 | 0.000 % | c | 175315 | 1187 4552 70151 | 9743 8042 251 | 0.000 % | c | 177023 | 1187 4552 70151 | 10717 9750 251 | 0.000 % | c | 179585 | 1187 4552 70151 | 11789 6822 251 | 0.000 % | c | 183429 | 1187 4552 70151 | 12968 10666 251 | 0.000 % | c | 189195 | 1187 4552 70151 | 14265 9809 251 | 0.000 % | c | 197844 | 1187 4552 70151 | 15692 11185 251 | 0.000 % | c | 210818 | 1187 4552 70151 | 17261 8173 251 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 80.8117 s Remaining CPU time: 99.1883 s c =============================================================================== c | 214893 | 1187 4553 70552 | 5000 12248 251 | 0.000 % | c | 214993 | 1187 4553 70552 | 5500 3162 251 | 0.000 % | c | 215144 | 1187 4553 70552 | 6050 3313 251 | 0.000 % | c | 215369 | 1187 4553 70552 | 6655 3538 251 | 0.000 % | c | 215706 | 1187 4553 70552 | 7320 3875 251 | 0.000 % | c | 216214 | 1187 4553 70552 | 8052 4383 251 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 81.5186 s Remaining CPU time: 98.4814 s c =============================================================================== c | 216507 | 1187 4554 70953 | 5000 4676 251 | 0.000 % | c | 216608 | 1187 4554 70953 | 5500 4777 251 | 0.000 % | c | 216758 | 1187 4554 70953 | 6050 4927 251 | 0.000 % | c | 216984 | 1187 4554 70953 | 6655 5153 251 | 0.000 % | c | 217321 | 1187 4554 70953 | 7320 5490 251 | 0.000 % | c | 217827 | 1187 4554 70953 | 8052 5996 251 | 0.000 % | c | 218586 | 1187 4554 70953 | 8857 6755 250 | 0.000 % | c | 219725 | 1187 4554 70953 | 9743 7894 250 | 0.000 % | c | 221433 | 1187 4554 70953 | 10717 9602 250 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 83.6323 s Remaining CPU time: 96.3677 s c =============================================================================== c | 222532 | 1187 4555 71354 | 5000 10701 250 | 0.000 % | c | 222632 | 1187 4555 71354 | 5500 2776 249 | 0.000 % | c | 222782 | 1187 4555 71354 | 6050 2926 249 | 0.000 % | c | 223007 | 1187 4555 71354 | 6655 3151 249 | 0.000 % | c | 223344 | 1187 4555 71354 | 7320 3488 248 | 0.000 % | c | 223850 | 1187 4555 71354 | 8052 3994 248 | 0.000 % | c | 224610 | 1187 4555 71354 | 8857 4754 248 | 0.000 % | c | 225749 | 1187 4555 71354 | 9743 5893 248 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 85.1151 s Remaining CPU time: 94.8849 s c =============================================================================== c | 226661 | 1187 4556 71755 | 5000 6805 248 | 0.000 % | c | 226762 | 1187 4556 71755 | 5500 3504 248 | 0.000 % | c | 226913 | 1187 4556 71755 | 6050 3655 248 | 0.000 % | c | 227138 | 1187 4556 71755 | 6655 3880 247 | 0.000 % | c | 227476 | 1187 4556 71755 | 7320 4218 247 | 0.000 % | c | 227982 | 1187 4556 71755 | 8052 4724 247 | 0.000 % | c | 228741 | 1187 4556 71755 | 8857 5483 247 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 85.9529 s Remaining CPU time: 94.0471 s c =============================================================================== c | 228950 | 1187 4557 72156 | 5000 5692 247 | 0.000 % | c | 229050 | 1187 4557 72156 | 5500 2946 247 | 0.000 % | c | 229200 | 1187 4557 72156 | 6050 3096 247 | 0.000 % | c | 229425 | 1187 4557 72156 | 6655 3321 247 | 0.000 % | c | 229762 | 1187 4557 72156 | 7320 3658 246 | 0.000 % | c | 230268 | 1187 4557 72156 | 8052 4164 246 | 0.000 % | c | 231027 | 1187 4557 72156 | 8857 4923 246 | 0.000 % | c | 232167 | 1187 4557 72156 | 9743 6063 246 | 0.000 % | c | 233875 | 1187 4557 72156 | 10717 7771 246 | 0.000 % | c | 236437 | 1187 4557 72156 | 11789 10333 246 | 0.000 % | c | 240281 | 1187 4557 72156 | 12968 8149 246 | 0.000 % | c | 246047 | 1187 4557 72156 | 14265 7279 246 | 0.000 % | c | 254696 | 1187 4557 72156 | 15692 8660 246 | 0.000 % | c | 267670 | 1187 4557 72156 | 17261 13649 246 | 0.000 % | c | 287132 | 1187 4557 72156 | 18987 15564 246 | 0.000 % | c | 316324 | 1187 4557 72156 | 20886 15878 247 | 0.000 % |