c wbo 1.4 beta - 20100610 c | Number of variables: 800 | c | Number of clauses: 4386 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1191 | c | Number Clauses: 4376 | 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 | 1191 4376 9151 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 1191 4377 9552 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 1191 4378 9953 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1191 4379 10354 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1191 4380 10755 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1191 4381 11156 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1191 4382 11557 | 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 | 1191 4383 11958 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1191 4384 12359 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1191 4385 12760 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1191 4386 13161 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1191 4387 13562 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1191 4388 13963 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 1191 4389 14364 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1191 4390 14765 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 1191 4391 15166 | 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 | 1191 4392 15567 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 1191 4393 15968 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 1191 4394 16369 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 1191 4395 16770 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 1191 4396 17171 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 1191 4397 17572 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 1191 4398 17973 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 1191 4399 18374 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 1191 4400 18775 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 1191 4401 19176 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 1191 4402 19577 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 1191 4403 19978 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 1191 4404 20379 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 0 | 1191 4405 20780 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 1191 4406 21181 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 1191 4407 21582 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 8 | 1191 4408 21983 | 5000 8 372 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 8 | 1191 4409 22384 | 5000 8 372 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 8 | 1191 4410 22785 | 5000 8 372 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 8 | 1191 4411 23186 | 5000 8 372 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 8 | 1191 4412 23587 | 5000 8 372 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 8 | 1191 4413 23988 | 5000 8 372 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 8 | 1191 4414 24389 | 5000 8 372 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 8 | 1191 4415 24790 | 5000 8 372 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 8 | 1191 4416 25191 | 5000 8 372 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 8 | 1191 4417 25592 | 5000 8 372 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 11 | 1191 4418 25993 | 5000 11 369 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 11 | 1191 4419 26394 | 5000 11 369 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 11 | 1191 4420 26795 | 5000 11 369 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 11 | 1191 4421 27196 | 5000 11 369 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 11 | 1191 4422 27597 | 5000 11 369 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 11 | 1191 4423 27998 | 5000 11 369 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 11 | 1191 4424 28399 | 5000 11 369 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 11 | 1191 4425 28800 | 5000 11 369 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 11 | 1191 4426 29201 | 5000 11 369 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 11 | 1191 4427 29602 | 5000 11 369 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 11 | 1191 4428 30003 | 5000 11 369 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s c =============================================================================== c | 11 | 1191 4429 30404 | 5000 11 369 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 11 | 1191 4430 30805 | 5000 11 369 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 11 | 1191 4431 31206 | 5000 11 369 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 11 | 1191 4432 31607 | 5000 11 369 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 11 | 1191 4433 32008 | 5000 11 369 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 11 | 1191 4434 32409 | 5000 11 369 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 11 | 1191 4435 32810 | 5000 11 369 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.175973 s Remaining CPU time: 179.824 s c =============================================================================== c | 11 | 1191 4436 33211 | 5000 11 369 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s c =============================================================================== c | 11 | 1191 4437 33612 | 5000 11 369 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s c =============================================================================== c | 11 | 1191 4438 34013 | 5000 11 369 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.188971 s Remaining CPU time: 179.811 s c =============================================================================== c | 11 | 1191 4439 34414 | 5000 11 369 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 11 | 1191 4440 34815 | 5000 11 369 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s c =============================================================================== c | 11 | 1191 4441 35216 | 5000 11 369 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.203968 s Remaining CPU time: 179.796 s c =============================================================================== c | 11 | 1191 4442 35617 | 5000 11 369 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 11 | 1191 4443 36018 | 5000 11 369 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.212967 s Remaining CPU time: 179.787 s c =============================================================================== c | 11 | 1191 4444 36419 | 5000 11 369 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.218966 s Remaining CPU time: 179.781 s c =============================================================================== c | 12 | 1191 4445 36820 | 5000 12 366 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s c =============================================================================== c | 12 | 1191 4446 37221 | 5000 12 366 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.228965 s Remaining CPU time: 179.771 s c =============================================================================== c | 12 | 1191 4447 37622 | 5000 12 366 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s c =============================================================================== c | 12 | 1191 4448 38023 | 5000 12 366 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.238963 s Remaining CPU time: 179.761 s c =============================================================================== c | 13 | 1191 4449 38424 | 5000 13 363 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.243962 s Remaining CPU time: 179.756 s c =============================================================================== c | 13 | 1191 4450 38825 | 5000 13 363 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.249962 s Remaining CPU time: 179.75 s c =============================================================================== c | 13 | 1191 4451 39226 | 5000 13 363 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.254961 s Remaining CPU time: 179.745 s c =============================================================================== c | 13 | 1191 4452 39627 | 5000 13 363 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.26096 s Remaining CPU time: 179.739 s c =============================================================================== c | 13 | 1191 4453 40028 | 5000 13 363 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.266959 s Remaining CPU time: 179.733 s c =============================================================================== c | 13 | 1191 4454 40429 | 5000 13 363 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.272958 s Remaining CPU time: 179.727 s c =============================================================================== c | 14 | 1191 4455 40830 | 5000 14 361 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.277957 s Remaining CPU time: 179.722 s c =============================================================================== c | 14 | 1191 4456 41231 | 5000 14 361 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.281957 s Remaining CPU time: 179.718 s c =============================================================================== c | 15 | 1191 4457 41632 | 5000 15 358 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.287956 s Remaining CPU time: 179.712 s c =============================================================================== c | 15 | 1191 4458 42033 | 5000 15 358 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.293955 s Remaining CPU time: 179.706 s c =============================================================================== c | 15 | 1191 4459 42434 | 5000 15 358 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s c =============================================================================== c | 15 | 1191 4460 42835 | 5000 15 358 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.306953 s Remaining CPU time: 179.693 s c =============================================================================== c | 18 | 1191 4461 43236 | 5000 18 351 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.313952 s Remaining CPU time: 179.686 s c =============================================================================== c | 19 | 1191 4462 43637 | 5000 19 349 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.320951 s Remaining CPU time: 179.679 s c =============================================================================== c | 20 | 1191 4463 44038 | 5000 20 348 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.32595 s Remaining CPU time: 179.674 s c =============================================================================== c | 21 | 1191 4464 44439 | 5000 21 346 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.332949 s Remaining CPU time: 179.667 s c =============================================================================== c | 30 | 1191 4465 44840 | 5000 30 336 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.336948 s Remaining CPU time: 179.663 s c =============================================================================== c | 31 | 1191 4466 45241 | 5000 31 336 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.342947 s Remaining CPU time: 179.657 s c =============================================================================== c | 33 | 1191 4467 45642 | 5000 33 334 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.349946 s Remaining CPU time: 179.65 s c =============================================================================== c | 36 | 1191 4468 46043 | 5000 36 332 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.357945 s Remaining CPU time: 179.642 s c =============================================================================== c | 38 | 1191 4469 46444 | 5000 38 331 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.363944 s Remaining CPU time: 179.636 s c =============================================================================== c | 39 | 1191 4470 46845 | 5000 39 330 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.370943 s Remaining CPU time: 179.629 s c =============================================================================== c | 41 | 1191 4471 47246 | 5000 41 329 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.383941 s Remaining CPU time: 179.616 s c =============================================================================== c | 88 | 1191 4472 47647 | 5000 88 318 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.39094 s Remaining CPU time: 179.609 s c =============================================================================== c | 89 | 1191 4473 48048 | 5000 89 317 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.399939 s Remaining CPU time: 179.6 s c =============================================================================== c | 101 | 1191 4474 48449 | 5000 101 316 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.406938 s Remaining CPU time: 179.593 s c =============================================================================== c | 102 | 1191 4475 48850 | 5000 102 316 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.416936 s Remaining CPU time: 179.583 s c =============================================================================== c | 121 | 1191 4476 49251 | 5000 121 314 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.424935 s Remaining CPU time: 179.575 s c =============================================================================== c | 121 | 1191 4477 49652 | 5000 121 314 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.431934 s Remaining CPU time: 179.568 s c =============================================================================== c | 121 | 1191 4478 50053 | 5000 121 314 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.439933 s Remaining CPU time: 179.56 s c =============================================================================== c | 122 | 1191 4479 50454 | 5000 122 314 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.447931 s Remaining CPU time: 179.552 s c =============================================================================== c | 123 | 1191 4480 50855 | 5000 123 314 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.45593 s Remaining CPU time: 179.544 s c =============================================================================== c | 125 | 1191 4481 51256 | 5000 125 313 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.463929 s Remaining CPU time: 179.536 s c =============================================================================== c | 128 | 1191 4482 51657 | 5000 128 313 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.471928 s Remaining CPU time: 179.528 s c =============================================================================== c | 130 | 1191 4483 52058 | 5000 130 313 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.479927 s Remaining CPU time: 179.52 s c =============================================================================== c | 132 | 1191 4484 52459 | 5000 132 312 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.487925 s Remaining CPU time: 179.512 s c =============================================================================== c | 133 | 1191 4485 52860 | 5000 133 312 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.497924 s Remaining CPU time: 179.502 s c =============================================================================== c | 147 | 1191 4486 53261 | 5000 147 310 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.507922 s Remaining CPU time: 179.492 s c =============================================================================== c | 155 | 1191 4487 53662 | 5000 155 309 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.518921 s Remaining CPU time: 179.481 s c =============================================================================== c | 170 | 1191 4488 54063 | 5000 170 308 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.539917 s Remaining CPU time: 179.46 s c =============================================================================== c | 249 | 1191 4489 54464 | 5000 249 302 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 0.547916 s Remaining CPU time: 179.452 s c =============================================================================== c | 251 | 1191 4490 54865 | 5000 251 302 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 0.557915 s Remaining CPU time: 179.442 s c =============================================================================== c | 259 | 1191 4491 55266 | 5000 259 302 | 0.000 % | c | 361 | 1191 4491 55266 | 5500 361 298 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 0.595909 s Remaining CPU time: 179.404 s c =============================================================================== c | 371 | 1191 4492 55667 | 5000 371 298 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 0.612906 s Remaining CPU time: 179.387 s c =============================================================================== c | 412 | 1191 4493 56068 | 5000 412 296 | 0.000 % | c | 514 | 1191 4493 56068 | 5500 514 294 | 0.000 % | c | 664 | 1191 4493 56068 | 6050 664 292 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 0.697893 s Remaining CPU time: 179.302 s c =============================================================================== c | 715 | 1191 4494 56469 | 5000 715 292 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 0.706892 s Remaining CPU time: 179.293 s c =============================================================================== c | 716 | 1191 4495 56870 | 5000 716 292 | 0.000 % | c | 816 | 1191 4495 56870 | 5500 816 291 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 0.755885 s Remaining CPU time: 179.244 s c =============================================================================== c | 881 | 1191 4496 57271 | 5000 881 290 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 0.770882 s Remaining CPU time: 179.229 s c =============================================================================== c | 906 | 1191 4497 57672 | 5000 906 290 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 0.78488 s Remaining CPU time: 179.215 s c =============================================================================== c | 938 | 1191 4498 58073 | 5000 938 290 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 0.802877 s Remaining CPU time: 179.197 s c =============================================================================== c | 973 | 1191 4499 58474 | 5000 973 289 | 0.000 % | c | 1073 | 1191 4499 58474 | 5500 1073 289 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 0.840872 s Remaining CPU time: 179.159 s c =============================================================================== c | 1081 | 1191 4500 58875 | 5000 1081 288 | 0.000 % | c | 1182 | 1191 4500 58875 | 5500 1182 288 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 0.888864 s Remaining CPU time: 179.111 s c =============================================================================== c | 1227 | 1191 4501 59276 | 5000 1227 287 | 0.000 % | c | 1328 | 1191 4501 59276 | 5500 1328 287 | 0.000 % | c | 1480 | 1191 4501 59276 | 6050 1480 286 | 0.000 % | c | 1705 | 1191 4501 59276 | 6655 1705 284 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 1.03284 s Remaining CPU time: 178.967 s c =============================================================================== c | 1730 | 1191 4502 59677 | 5000 1730 284 | 0.000 % | c | 1830 | 1191 4502 59677 | 5500 1830 284 | 0.000 % | c | 1980 | 1191 4502 59677 | 6050 1980 283 | 0.000 % | c | 2205 | 1191 4502 59677 | 6655 2205 283 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 1.22581 s Remaining CPU time: 178.774 s c =============================================================================== c | 2451 | 1191 4503 60078 | 5000 2451 282 | 0.000 % | c | 2551 | 1191 4503 60078 | 5500 2551 282 | 0.000 % | c | 2701 | 1191 4503 60078 | 6050 2701 282 | 0.000 % | c | 2927 | 1191 4503 60078 | 6655 2927 281 | 0.000 % | c | 3264 | 1191 4503 60078 | 7320 3264 281 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 1.57676 s Remaining CPU time: 178.423 s c =============================================================================== c | 3672 | 1191 4504 60479 | 5000 3672 280 | 0.000 % | c | 3773 | 1191 4504 60479 | 5500 3773 280 | 0.000 % | c | 3923 | 1191 4504 60479 | 6050 3923 280 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 1.70774 s Remaining CPU time: 178.292 s c =============================================================================== c | 4141 | 1191 4505 60880 | 5000 4141 279 | 0.000 % | c | 4241 | 1191 4505 60880 | 5500 4241 279 | 0.000 % | c | 4391 | 1191 4505 60880 | 6050 4391 279 | 0.000 % | c | 4616 | 1191 4505 60880 | 6655 4616 279 | 0.000 % | c | 4953 | 1191 4505 60880 | 7320 4953 279 | 0.000 % | c | 5459 | 1191 4505 60880 | 8052 5459 278 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 2.10568 s Remaining CPU time: 177.894 s c =============================================================================== c | 5510 | 1191 4506 61281 | 5000 5510 278 | 0.000 % | c | 5610 | 1191 4506 61281 | 5500 2855 275 | 0.000 % | c | 5760 | 1191 4506 61281 | 6050 3005 274 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 2.23866 s Remaining CPU time: 177.761 s c =============================================================================== c | 5916 | 1191 4507 61682 | 5000 3161 274 | 0.000 % | c | 6017 | 1191 4507 61682 | 5500 3262 274 | 0.000 % | c | 6168 | 1191 4507 61682 | 6050 3413 274 | 0.000 % | c | 6393 | 1191 4507 61682 | 6655 3638 274 | 0.000 % | c | 6730 | 1191 4507 61682 | 7320 3975 274 | 0.000 % | c | 7236 | 1191 4507 61682 | 8052 4481 274 | 0.000 % | c | 7995 | 1191 4507 61682 | 8857 5240 273 | 0.000 % | c | 9134 | 1191 4507 61682 | 9743 6379 273 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 3.19751 s Remaining CPU time: 176.802 s c =============================================================================== c | 9455 | 1191 4508 62083 | 5000 6700 273 | 0.000 % | c | 9555 | 1191 4508 62083 | 5500 3450 272 | 0.000 % | c | 9705 | 1191 4508 62083 | 6050 3600 272 | 0.000 % | c | 9930 | 1191 4508 62083 | 6655 3825 272 | 0.000 % | c | 10267 | 1191 4508 62083 | 7320 4162 272 | 0.000 % | c | 10773 | 1191 4508 62083 | 8052 4668 272 | 0.000 % | c | 11532 | 1191 4508 62083 | 8857 5427 272 | 0.000 % | c | 12671 | 1191 4508 62083 | 9743 6566 271 | 0.000 % | c | 14381 | 1191 4508 62083 | 10717 8276 271 | 0.000 % | c | 16943 | 1191 4508 62083 | 11789 10838 271 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 6.10207 s Remaining CPU time: 173.898 s c =============================================================================== c | 18568 | 1191 4509 62484 | 5000 6398 271 | 0.000 % | c | 18668 | 1191 4509 62484 | 5500 3299 271 | 0.000 % | c | 18818 | 1191 4509 62484 | 6050 3449 271 | 0.000 % | c | 19044 | 1191 4509 62484 | 6655 3675 271 | 0.000 % | c | 19381 | 1191 4509 62484 | 7320 4012 271 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 6.42202 s Remaining CPU time: 173.578 s c =============================================================================== c | 19488 | 1191 4510 62885 | 5000 4119 271 | 0.000 % | c | 19588 | 1191 4510 62885 | 5500 4219 271 | 0.000 % | c | 19738 | 1191 4510 62885 | 6050 4369 270 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 6.565 s Remaining CPU time: 173.435 s c =============================================================================== c | 19928 | 1191 4511 63286 | 5000 4559 270 | 0.000 % | c | 20028 | 1191 4511 63286 | 5500 4659 270 | 0.000 % | c | 20178 | 1191 4511 63286 | 6050 4809 270 | 0.000 % | c | 20404 | 1191 4511 63286 | 6655 5035 270 | 0.000 % | c | 20741 | 1191 4511 63286 | 7320 5372 270 | 0.000 % | c | 21248 | 1191 4511 63286 | 8052 5879 270 | 0.000 % | c | 22007 | 1191 4511 63286 | 8857 6638 270 | 0.000 % | c | 23146 | 1191 4511 63286 | 9743 7777 269 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 7.49686 s Remaining CPU time: 172.503 s c =============================================================================== c | 23210 | 1191 4512 63687 | 5000 7841 269 | 0.000 % | c | 23310 | 1191 4512 63687 | 5500 4021 268 | 0.000 % | c | 23461 | 1191 4512 63687 | 6050 4172 268 | 0.000 % | c | 23686 | 1191 4512 63687 | 6655 4397 268 | 0.000 % | c | 24023 | 1191 4512 63687 | 7320 4734 268 | 0.000 % | c | 24529 | 1191 4512 63687 | 8052 5240 268 | 0.000 % | c | 25288 | 1191 4512 63687 | 8857 5999 268 | 0.000 % | c | 26427 | 1191 4512 63687 | 9743 7138 267 | 0.000 % | c | 28135 | 1191 4512 63687 | 10717 8846 267 | 0.000 % | c | 30698 | 1191 4512 63687 | 11789 5908 267 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 9.62054 s Remaining CPU time: 170.379 s c =============================================================================== c | 30760 | 1191 4513 64088 | 5000 5970 267 | 0.000 % | c | 30860 | 1191 4513 64088 | 5500 3085 267 | 0.000 % | c | 31010 | 1191 4513 64088 | 6050 3235 267 | 0.000 % | c | 31236 | 1191 4513 64088 | 6655 3461 266 | 0.000 % | c | 31574 | 1191 4513 64088 | 7320 3799 266 | 0.000 % | c | 32080 | 1191 4513 64088 | 8052 4305 266 | 0.000 % | c | 32839 | 1191 4513 64088 | 8857 5064 266 | 0.000 % | c | 33978 | 1191 4513 64088 | 9743 6203 266 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 10.6454 s Remaining CPU time: 169.355 s c =============================================================================== c | 34275 | 1191 4514 64489 | 5000 6500 266 | 0.000 % | c | 34375 | 1191 4514 64489 | 5500 3350 266 | 0.000 % | c | 34525 | 1191 4514 64489 | 6050 3500 266 | 0.000 % | c | 34751 | 1191 4514 64489 | 6655 3726 266 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 10.9203 s Remaining CPU time: 169.08 s c =============================================================================== c | 35011 | 1191 4515 64890 | 5000 3986 266 | 0.000 % | c | 35111 | 1191 4515 64890 | 5500 4086 265 | 0.000 % | c | 35261 | 1191 4515 64890 | 6050 4236 265 | 0.000 % | c | 35486 | 1191 4515 64890 | 6655 4461 265 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 11.0823 s Remaining CPU time: 168.918 s c =============================================================================== c | 35505 | 1191 4516 65291 | 5000 4480 265 | 0.000 % | c | 35605 | 1191 4516 65291 | 5500 4580 265 | 0.000 % | c | 35755 | 1191 4516 65291 | 6050 4730 265 | 0.000 % | c | 35981 | 1191 4516 65291 | 6655 4956 265 | 0.000 % | c | 36318 | 1191 4516 65291 | 7320 5293 265 | 0.000 % | c | 36825 | 1191 4516 65291 | 8052 5800 265 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 11.5932 s Remaining CPU time: 168.407 s c =============================================================================== c | 37284 | 1191 4517 65692 | 5000 6259 265 | 0.000 % | c | 37384 | 1191 4517 65692 | 5500 3230 263 | 0.000 % | c | 37535 | 1191 4517 65692 | 6050 3381 263 | 0.000 % | c | 37761 | 1191 4517 65692 | 6655 3607 263 | 0.000 % | c | 38098 | 1191 4517 65692 | 7320 3944 263 | 0.000 % | c | 38605 | 1191 4517 65692 | 8052 4451 263 | 0.000 % | c | 39364 | 1191 4517 65692 | 8857 5210 263 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 12.3641 s Remaining CPU time: 167.636 s c =============================================================================== c | 40087 | 1191 4518 66093 | 5000 5933 263 | 0.000 % | c | 40188 | 1191 4518 66093 | 5500 3068 262 | 0.000 % | c | 40339 | 1191 4518 66093 | 6050 3219 262 | 0.000 % | c | 40565 | 1191 4518 66093 | 6655 3445 261 | 0.000 % | c | 40902 | 1191 4518 66093 | 7320 3782 261 | 0.000 % | c | 41408 | 1191 4518 66093 | 8052 4288 261 | 0.000 % | c | 42168 | 1191 4518 66093 | 8857 5048 261 | 0.000 % | c | 43307 | 1191 4518 66093 | 9743 6187 261 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 13.5089 s Remaining CPU time: 166.491 s c =============================================================================== c | 43810 | 1191 4519 66494 | 5000 6690 261 | 0.000 % | c | 43910 | 1191 4519 66494 | 5500 3445 261 | 0.000 % | c | 44061 | 1191 4519 66494 | 6050 3596 261 | 0.000 % | c | 44286 | 1191 4519 66494 | 6655 3821 261 | 0.000 % | c | 44623 | 1191 4519 66494 | 7320 4158 261 | 0.000 % | c | 45130 | 1191 4519 66494 | 8052 4665 261 | 0.000 % | c | 45889 | 1191 4519 66494 | 8857 5424 261 | 0.000 % | c | 47028 | 1191 4519 66494 | 9743 6563 261 | 0.000 % | c | 48737 | 1191 4519 66494 | 10717 8272 260 | 0.000 % | c | 51300 | 1191 4519 66494 | 11789 10835 260 | 0.000 % | c | 55144 | 1191 4519 66494 | 12968 8644 260 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 18.3712 s Remaining CPU time: 161.629 s c =============================================================================== c | 57732 | 1191 4520 66895 | 5000 11232 260 | 0.000 % | c | 57833 | 1191 4520 66895 | 5500 2909 260 | 0.000 % | c | 57984 | 1191 4520 66895 | 6050 3060 260 | 0.000 % | c | 58209 | 1191 4520 66895 | 6655 3285 260 | 0.000 % | c | 58546 | 1191 4520 66895 | 7320 3622 260 | 0.000 % | c | 59052 | 1191 4520 66895 | 8052 4128 260 | 0.000 % | c | 59811 | 1191 4520 66895 | 8857 4887 260 | 0.000 % | c | 60951 | 1191 4520 66895 | 9743 6027 259 | 0.000 % | c | 62659 | 1191 4520 66895 | 10717 7735 259 | 0.000 % | c | 65221 | 1191 4520 66895 | 11789 10297 259 | 0.000 % | c | 69065 | 1191 4520 66895 | 12968 8084 259 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 22.8575 s Remaining CPU time: 157.142 s c =============================================================================== c | 71488 | 1191 4521 67296 | 5000 10507 259 | 0.000 % | c | 71588 | 1191 4521 67296 | 5500 2727 259 | 0.000 % | c | 71738 | 1191 4521 67296 | 6050 2877 259 | 0.000 % | c | 71963 | 1191 4521 67296 | 6655 3102 259 | 0.000 % | c | 72300 | 1191 4521 67296 | 7320 3439 259 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 23.3325 s Remaining CPU time: 156.668 s c =============================================================================== c | 72680 | 1191 4522 67697 | 5000 3819 259 | 0.000 % | c | 72780 | 1191 4522 67697 | 5500 3919 259 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 23.4054 s Remaining CPU time: 156.595 s c =============================================================================== c | 72848 | 1191 4523 68098 | 5000 3987 259 | 0.000 % | c | 72948 | 1191 4523 68098 | 5500 4087 259 | 0.000 % | c | 73098 | 1191 4523 68098 | 6050 4237 259 | 0.000 % | c | 73323 | 1191 4523 68098 | 6655 4462 258 | 0.000 % | c | 73660 | 1191 4523 68098 | 7320 4799 258 | 0.000 % | c | 74167 | 1191 4523 68098 | 8052 5306 258 | 0.000 % | c | 74926 | 1191 4523 68098 | 8857 6065 258 | 0.000 % | c | 76066 | 1191 4523 68098 | 9743 7205 257 | 0.000 % | c | 77775 | 1191 4523 68098 | 10717 8914 257 | 0.000 % | c | 80337 | 1191 4523 68098 | 11789 5976 256 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 26.414 s Remaining CPU time: 153.586 s c =============================================================================== c | 81567 | 1191 4524 68499 | 5000 7206 256 | 0.000 % | c | 81667 | 1191 4524 68499 | 5500 3703 256 | 0.000 % | c | 81818 | 1191 4524 68499 | 6050 3854 256 | 0.000 % | c | 82044 | 1191 4524 68499 | 6655 4080 256 | 0.000 % | c | 82381 | 1191 4524 68499 | 7320 4417 256 | 0.000 % | c | 82887 | 1191 4524 68499 | 8052 4923 255 | 0.000 % | c | 83647 | 1191 4524 68499 | 8857 5683 255 | 0.000 % | c | 84787 | 1191 4524 68499 | 9743 6823 255 | 0.000 % | c | 86496 | 1191 4524 68499 | 10717 8532 255 | 0.000 % | c | 89059 | 1191 4524 68499 | 11789 5595 255 | 0.000 % | c | 92903 | 1191 4524 68499 | 12968 9439 255 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 31.9371 s Remaining CPU time: 148.063 s c =============================================================================== c | 94786 | 1191 4525 68900 | 5000 11322 255 | 0.000 % | c | 94887 | 1191 4525 68900 | 5500 2932 255 | 0.000 % | c | 95037 | 1191 4525 68900 | 6050 3082 255 | 0.000 % | c | 95262 | 1191 4525 68900 | 6655 3307 255 | 0.000 % | c | 95599 | 1191 4525 68900 | 7320 3644 255 | 0.000 % | c | 96105 | 1191 4525 68900 | 8052 4150 254 | 0.000 % | c | 96864 | 1191 4525 68900 | 8857 4909 254 | 0.000 % | c | 98003 | 1191 4525 68900 | 9743 6048 254 | 0.000 % | c | 99711 | 1191 4525 68900 | 10717 7756 254 | 0.000 % | c | 102273 | 1191 4525 68900 | 11789 10318 254 | 0.000 % | c | 106117 | 1191 4525 68900 | 12968 8118 254 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 36.2515 s Remaining CPU time: 143.749 s c =============================================================================== c | 107128 | 1191 4526 69301 | 5000 9129 254 | 0.000 % | c | 107229 | 1191 4526 69301 | 5500 4666 254 | 0.000 % | c | 107379 | 1191 4526 69301 | 6050 4816 254 | 0.000 % | c | 107604 | 1191 4526 69301 | 6655 5041 254 | 0.000 % | c | 107942 | 1191 4526 69301 | 7320 5379 254 | 0.000 % | c | 108448 | 1191 4526 69301 | 8052 5885 254 | 0.000 % | c | 109207 | 1191 4526 69301 | 8857 6644 254 | 0.000 % | c | 110346 | 1191 4526 69301 | 9743 7783 253 | 0.000 % | c | 112054 | 1191 4526 69301 | 10717 9491 253 | 0.000 % | c | 114616 | 1191 4526 69301 | 11789 6549 253 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 39.739 s Remaining CPU time: 140.261 s c =============================================================================== c | 115587 | 1191 4527 69702 | 5000 7520 253 | 0.000 % | c | 115687 | 1191 4527 69702 | 5500 3860 253 | 0.000 % | c | 115837 | 1191 4527 69702 | 6050 4010 253 | 0.000 % | c | 116062 | 1191 4527 69702 | 6655 4235 253 | 0.000 % | c | 116399 | 1191 4527 69702 | 7320 4572 253 | 0.000 % | c | 116906 | 1191 4527 69702 | 8052 5079 252 | 0.000 % | c | 117665 | 1191 4527 69702 | 8857 5838 252 | 0.000 % | c | 118804 | 1191 4527 69702 | 9743 6977 252 | 0.000 % | c | 120512 | 1191 4527 69702 | 10717 8685 252 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 41.4787 s Remaining CPU time: 138.521 s c =============================================================================== c | 120535 | 1191 4528 70103 | 5000 8708 252 | 0.000 % | c | 120635 | 1191 4528 70103 | 5500 4454 252 | 0.000 % | c | 120785 | 1191 4528 70103 | 6050 4604 252 | 0.000 % | c | 121010 | 1191 4528 70103 | 6655 4829 252 | 0.000 % | c | 121347 | 1191 4528 70103 | 7320 5166 251 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 41.9356 s Remaining CPU time: 138.064 s c =============================================================================== c | 121587 | 1191 4529 70504 | 5000 5406 251 | 0.000 % | c | 121687 | 1191 4529 70504 | 5500 2803 251 | 0.000 % | c | 121837 | 1191 4529 70504 | 6050 2953 251 | 0.000 % | c | 122062 | 1191 4529 70504 | 6655 3178 251 | 0.000 % | c | 122399 | 1191 4529 70504 | 7320 3515 251 | 0.000 % | c | 122905 | 1191 4529 70504 | 8052 4021 251 | 0.000 % | c | 123665 | 1191 4529 70504 | 8857 4781 250 | 0.000 % | c | 124804 | 1191 4529 70504 | 9743 5920 250 | 0.000 % | c | 126512 | 1191 4529 70504 | 10717 7628 250 | 0.000 % | c | 129074 | 1191 4529 70504 | 11789 10190 250 | 0.000 % | c | 132918 | 1191 4529 70504 | 12968 7997 250 | 0.000 % | c | 138686 | 1191 4529 70504 | 14265 7125 250 | 0.000 % | c | 147335 | 1191 4529 70504 | 15692 8501 250 | 0.000 % | c | 160309 | 1191 4529 70504 | 17261 13499 250 | 0.000 % | c | 179770 | 1191 4529 70504 | 18987 15388 251 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 70.0104 s Remaining CPU time: 109.99 s c =============================================================================== c | 191075 | 1191 4530 70905 | 5000 17066 250 | 0.000 % | c | 191175 | 1191 4530 70905 | 5500 4367 250 | 0.000 % | c | 191325 | 1191 4530 70905 | 6050 4517 250 | 0.000 % | c | 191550 | 1191 4530 70905 | 6655 4742 250 | 0.000 % | c | 191887 | 1191 4530 70905 | 7320 5079 250 | 0.000 % | c | 192393 | 1191 4530 70905 | 8052 5585 250 | 0.000 % | c | 193152 | 1191 4530 70905 | 8857 6344 250 | 0.000 % | c | 194291 | 1191 4530 70905 | 9743 7483 250 | 0.000 % | c | 196000 | 1191 4530 70905 | 10717 9192 249 | 0.000 % | c | 198562 | 1191 4530 70905 | 11789 6252 249 | 0.000 % | c | 202406 | 1191 4530 70905 | 12968 10096 249 | 0.000 % | c | 208172 | 1191 4530 70905 | 14265 9252 249 | 0.000 % | c | 216822 | 1191 4530 70905 | 15692 10621 249 | 0.000 % | c | 229797 | 1191 4530 70905 | 17261 15603 249 | 0.000 % | c | 249258 | 1191 4530 70905 | 18987 17532 249 | 0.000 % | c | 278450 | 1191 4530 70905 | 20886 17790 249 | 0.000 % | c | 322239 | 1191 4530 70905 | 22974 18866 249 | 0.000 % |