c wbo 1.4 beta - 20100610 c | Number of variables: 800 | c | Number of clauses: 4349 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1185 | c | Number Clauses: 4324 | 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 | 1185 4324 9038 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1185 4325 9448 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1185 4326 9858 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1185 4327 10268 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1185 4328 10678 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1185 4329 11088 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1185 4330 11498 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1185 4331 11908 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1185 4332 12318 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1185 4333 12728 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1185 4334 13138 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1185 4335 13548 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1185 4336 13958 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1185 4337 14368 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 1185 4338 14778 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 1185 4339 15188 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1185 4340 15598 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 1185 4341 16008 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 1185 4342 16418 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 1185 4343 16828 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 1185 4344 17238 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 1185 4345 17648 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 1185 4346 18058 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 1185 4347 18468 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 1185 4348 18878 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 1185 4349 19288 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 1185 4350 19698 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 1185 4351 20108 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 1185 4352 20518 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 1185 4353 20928 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 1185 4354 21338 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 1185 4355 21748 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 2 | 1185 4356 22158 | 5000 2 380 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 2 | 1185 4357 22568 | 5000 2 380 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 2 | 1185 4358 22978 | 5000 2 380 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 3 | 1185 4359 23388 | 5000 3 379 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 3 | 1185 4360 23798 | 5000 3 379 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 3 | 1185 4361 24208 | 5000 3 379 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 3 | 1185 4362 24618 | 5000 3 379 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 3 | 1185 4363 25028 | 5000 3 379 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 3 | 1185 4364 25438 | 5000 3 379 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 3 | 1185 4365 25848 | 5000 3 379 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 3 | 1185 4366 26258 | 5000 3 379 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 3 | 1185 4367 26668 | 5000 3 379 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 3 | 1185 4368 27078 | 5000 3 379 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 3 | 1185 4369 27488 | 5000 3 379 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 4 | 1185 4370 27898 | 5000 4 376 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s c =============================================================================== c | 4 | 1185 4371 28308 | 5000 4 376 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 4 | 1185 4372 28718 | 5000 4 376 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 5 | 1185 4373 29128 | 5000 5 373 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 6 | 1185 4374 29538 | 5000 6 371 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 6 | 1185 4375 29948 | 5000 6 371 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s c =============================================================================== c | 6 | 1185 4376 30358 | 5000 6 371 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 7 | 1185 4377 30768 | 5000 7 369 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 7 | 1185 4378 31178 | 5000 7 369 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s c =============================================================================== c | 7 | 1185 4379 31588 | 5000 7 369 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 8 | 1185 4380 31998 | 5000 8 367 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 8 | 1185 4381 32408 | 5000 8 367 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 8 | 1185 4382 32818 | 5000 8 367 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 9 | 1185 4383 33228 | 5000 9 366 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s c =============================================================================== c | 9 | 1185 4384 33638 | 5000 9 366 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 9 | 1185 4385 34048 | 5000 9 366 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s c =============================================================================== c | 10 | 1185 4386 34458 | 5000 10 364 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.184971 s Remaining CPU time: 179.815 s c =============================================================================== c | 10 | 1185 4387 34868 | 5000 10 364 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.19097 s Remaining CPU time: 179.809 s c =============================================================================== c | 22 | 1185 4388 35278 | 5000 22 355 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 23 | 1185 4389 35688 | 5000 23 355 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.200969 s Remaining CPU time: 179.799 s c =============================================================================== c | 24 | 1185 4390 36098 | 5000 24 354 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 32 | 1185 4391 36508 | 5000 32 352 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.212967 s Remaining CPU time: 179.787 s c =============================================================================== c | 38 | 1185 4392 36918 | 5000 38 351 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.224965 s Remaining CPU time: 179.775 s c =============================================================================== c | 85 | 1185 4393 37328 | 5000 85 347 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.239963 s Remaining CPU time: 179.76 s c =============================================================================== c | 130 | 1185 4394 37738 | 5000 130 345 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s c =============================================================================== c | 177 | 1185 4395 38148 | 5000 177 344 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.264959 s Remaining CPU time: 179.735 s c =============================================================================== c | 207 | 1185 4396 38558 | 5000 207 344 | 0.000 % | c | 307 | 1185 4396 38558 | 5500 307 342 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.305953 s Remaining CPU time: 179.694 s c =============================================================================== c | 327 | 1185 4397 38968 | 5000 327 342 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.318951 s Remaining CPU time: 179.681 s c =============================================================================== c | 357 | 1185 4398 39378 | 5000 357 342 | 0.000 % | c | 457 | 1185 4398 39378 | 5500 457 341 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.358945 s Remaining CPU time: 179.641 s c =============================================================================== c | 464 | 1185 4399 39788 | 5000 464 341 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.373943 s Remaining CPU time: 179.626 s c =============================================================================== c | 509 | 1185 4400 40198 | 5000 509 340 | 0.000 % | c | 609 | 1185 4400 40198 | 5500 609 340 | 0.000 % | c | 760 | 1185 4400 40198 | 6050 760 339 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.45593 s Remaining CPU time: 179.544 s c =============================================================================== c | 799 | 1185 4401 40608 | 5000 799 339 | 0.000 % | c | 899 | 1185 4401 40608 | 5500 899 338 | 0.000 % | c | 1050 | 1185 4401 40608 | 6050 1050 338 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.536918 s Remaining CPU time: 179.463 s c =============================================================================== c | 1107 | 1185 4402 41018 | 5000 1107 337 | 0.000 % | c | 1208 | 1185 4402 41018 | 5500 1208 337 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.59091 s Remaining CPU time: 179.409 s c =============================================================================== c | 1327 | 1185 4403 41428 | 5000 1327 337 | 0.000 % | c | 1427 | 1185 4403 41428 | 5500 1427 336 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.649901 s Remaining CPU time: 179.35 s c =============================================================================== c | 1560 | 1185 4404 41838 | 5000 1560 336 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.676897 s Remaining CPU time: 179.323 s c =============================================================================== c | 1651 | 1185 4405 42248 | 5000 1651 336 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.701893 s Remaining CPU time: 179.298 s c =============================================================================== c | 1741 | 1185 4406 42658 | 5000 1741 336 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.714891 s Remaining CPU time: 179.285 s c =============================================================================== c | 1770 | 1185 4407 43068 | 5000 1770 335 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.727889 s Remaining CPU time: 179.272 s c =============================================================================== c | 1788 | 1185 4408 43478 | 5000 1788 335 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.749886 s Remaining CPU time: 179.25 s c =============================================================================== c | 1851 | 1185 4409 43888 | 5000 1851 335 | 0.000 % | c | 1952 | 1185 4409 43888 | 5500 1952 335 | 0.000 % | c | 2102 | 1185 4409 43888 | 6050 2102 334 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.869867 s Remaining CPU time: 179.13 s c =============================================================================== c | 2323 | 1185 4410 44298 | 5000 2323 333 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.899863 s Remaining CPU time: 179.1 s c =============================================================================== c | 2391 | 1185 4411 44708 | 5000 2391 333 | 0.000 % | c | 2492 | 1185 4411 44708 | 5500 2492 333 | 0.000 % | c | 2642 | 1185 4411 44708 | 6050 2642 332 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 1.03584 s Remaining CPU time: 178.964 s c =============================================================================== c | 2839 | 1185 4412 45118 | 5000 2839 332 | 0.000 % | c | 2940 | 1185 4412 45118 | 5500 2940 331 | 0.000 % | c | 3090 | 1185 4412 45118 | 6050 3090 331 | 0.000 % | c | 3315 | 1185 4412 45118 | 6655 3315 330 | 0.000 % | c | 3653 | 1185 4412 45118 | 7320 3653 330 | 0.000 % | c | 4161 | 1185 4412 45118 | 8052 4161 329 | 0.000 % | c | 4921 | 1185 4412 45118 | 8857 4921 328 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 1.61175 s Remaining CPU time: 178.388 s c =============================================================================== c | 4987 | 1185 4413 45528 | 5000 4987 328 | 0.000 % | c | 5088 | 1185 4413 45528 | 5500 5088 328 | 0.000 % | c | 5238 | 1185 4413 45528 | 6050 5238 328 | 0.000 % | c | 5463 | 1185 4413 45528 | 6655 5463 327 | 0.000 % | c | 5800 | 1185 4413 45528 | 7320 5800 327 | 0.000 % | c | 6306 | 1185 4413 45528 | 8052 6306 327 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 2.00569 s Remaining CPU time: 177.994 s c =============================================================================== c | 6324 | 1185 4414 45938 | 5000 6324 327 | 0.000 % | c | 6424 | 1185 4414 45938 | 5500 3262 323 | 0.000 % | c | 6574 | 1185 4414 45938 | 6050 3412 323 | 0.000 % | c | 6802 | 1185 4414 45938 | 6655 3640 323 | 0.000 % | c | 7140 | 1185 4414 45938 | 7320 3978 322 | 0.000 % | c | 7647 | 1185 4414 45938 | 8052 4485 322 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 2.49962 s Remaining CPU time: 177.5 s c =============================================================================== c | 7800 | 1185 4415 46348 | 5000 4638 322 | 0.000 % | c | 7900 | 1185 4415 46348 | 5500 4738 322 | 0.000 % | c | 8050 | 1185 4415 46348 | 6050 4888 322 | 0.000 % | c | 8275 | 1185 4415 46348 | 6655 5113 322 | 0.000 % | c | 8612 | 1185 4415 46348 | 7320 5450 322 | 0.000 % | c | 9118 | 1185 4415 46348 | 8052 5956 322 | 0.000 % | c | 9877 | 1185 4415 46348 | 8857 6715 322 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 3.54746 s Remaining CPU time: 176.453 s c =============================================================================== c | 10979 | 1185 4416 46758 | 5000 7817 321 | 0.000 % | c | 11079 | 1185 4416 46758 | 5500 4009 320 | 0.000 % | c | 11229 | 1185 4416 46758 | 6050 4159 320 | 0.000 % | c | 11454 | 1185 4416 46758 | 6655 4384 320 | 0.000 % | c | 11791 | 1185 4416 46758 | 7320 4721 320 | 0.000 % | c | 12297 | 1185 4416 46758 | 8052 5227 320 | 0.000 % | c | 13056 | 1185 4416 46758 | 8857 5986 320 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 4.68429 s Remaining CPU time: 175.316 s c =============================================================================== c | 14040 | 1185 4417 47168 | 5000 6970 320 | 0.000 % | c | 14140 | 1185 4417 47168 | 5500 3585 319 | 0.000 % | c | 14291 | 1185 4417 47168 | 6050 3736 319 | 0.000 % | c | 14516 | 1185 4417 47168 | 6655 3961 319 | 0.000 % | c | 14853 | 1185 4417 47168 | 7320 4298 319 | 0.000 % | c | 15359 | 1185 4417 47168 | 8052 4804 319 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 5.33519 s Remaining CPU time: 174.665 s c =============================================================================== c | 15966 | 1185 4418 47578 | 5000 5411 319 | 0.000 % | c | 16067 | 1185 4418 47578 | 5500 2807 319 | 0.000 % | c | 16217 | 1185 4418 47578 | 6050 2957 319 | 0.000 % | c | 16443 | 1185 4418 47578 | 6655 3183 318 | 0.000 % | c | 16780 | 1185 4418 47578 | 7320 3520 318 | 0.000 % | c | 17287 | 1185 4418 47578 | 8052 4027 318 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 5.9101 s Remaining CPU time: 174.09 s c =============================================================================== c | 17813 | 1185 4419 47988 | 5000 4553 318 | 0.000 % | c | 17913 | 1185 4419 47988 | 5500 4653 318 | 0.000 % | c | 18065 | 1185 4419 47988 | 6050 4805 318 | 0.000 % | c | 18290 | 1185 4419 47988 | 6655 5030 318 | 0.000 % | c | 18628 | 1185 4419 47988 | 7320 5368 318 | 0.000 % | c | 19134 | 1185 4419 47988 | 8052 5874 318 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 6.52301 s Remaining CPU time: 173.477 s c =============================================================================== c | 19863 | 1185 4420 48398 | 5000 6603 318 | 0.000 % | c | 19963 | 1185 4420 48398 | 5500 3402 316 | 0.000 % | c | 20113 | 1185 4420 48398 | 6050 3552 316 | 0.000 % | c | 20338 | 1185 4420 48398 | 6655 3777 316 | 0.000 % | c | 20677 | 1185 4420 48398 | 7320 4116 316 | 0.000 % | c | 21183 | 1185 4420 48398 | 8052 4622 316 | 0.000 % | c | 21943 | 1185 4420 48398 | 8857 5382 316 | 0.000 % | c | 23083 | 1185 4420 48398 | 9743 6522 316 | 0.000 % | c | 24792 | 1185 4420 48398 | 10717 8231 316 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 8.37273 s Remaining CPU time: 171.627 s c =============================================================================== c | 26120 | 1185 4421 48808 | 5000 9559 316 | 0.000 % | c | 26220 | 1185 4421 48808 | 5500 4880 315 | 0.000 % | c | 26370 | 1185 4421 48808 | 6050 5030 315 | 0.000 % | c | 26595 | 1185 4421 48808 | 6655 5255 315 | 0.000 % | c | 26932 | 1185 4421 48808 | 7320 5592 315 | 0.000 % | c | 27438 | 1185 4421 48808 | 8052 6098 315 | 0.000 % | c | 28197 | 1185 4421 48808 | 8857 6857 315 | 0.000 % | c | 29336 | 1185 4421 48808 | 9743 7996 315 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 9.78651 s Remaining CPU time: 170.213 s c =============================================================================== c | 30999 | 1185 4422 49218 | 5000 9659 315 | 0.000 % | c | 31099 | 1185 4422 49218 | 5500 4930 315 | 0.000 % | c | 31249 | 1185 4422 49218 | 6050 5080 315 | 0.000 % | c | 31474 | 1185 4422 49218 | 6655 5305 315 | 0.000 % | c | 31812 | 1185 4422 49218 | 7320 5643 314 | 0.000 % | c | 32318 | 1185 4422 49218 | 8052 6149 314 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 10.3904 s Remaining CPU time: 169.61 s c =============================================================================== c | 32898 | 1185 4423 49628 | 5000 6729 314 | 0.000 % | c | 33000 | 1185 4423 49628 | 5500 3467 314 | 0.000 % | c | 33150 | 1185 4423 49628 | 6050 3617 314 | 0.000 % | c | 33375 | 1185 4423 49628 | 6655 3842 314 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 10.6324 s Remaining CPU time: 169.368 s c =============================================================================== c | 33567 | 1185 4424 50038 | 5000 4034 314 | 0.000 % | c | 33667 | 1185 4424 50038 | 5500 4134 314 | 0.000 % | c | 33818 | 1185 4424 50038 | 6050 4285 314 | 0.000 % | c | 34043 | 1185 4424 50038 | 6655 4510 314 | 0.000 % | c | 34380 | 1185 4424 50038 | 7320 4847 313 | 0.000 % | c | 34886 | 1185 4424 50038 | 8052 5353 313 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 11.0643 s Remaining CPU time: 168.936 s c =============================================================================== c | 35152 | 1185 4425 50448 | 5000 5619 313 | 0.000 % | c | 35252 | 1185 4425 50448 | 5500 2910 312 | 0.000 % | c | 35403 | 1185 4425 50448 | 6050 3061 312 | 0.000 % | c | 35628 | 1185 4425 50448 | 6655 3286 312 | 0.000 % | c | 35966 | 1185 4425 50448 | 7320 3624 312 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 11.4063 s Remaining CPU time: 168.594 s c =============================================================================== c | 36321 | 1185 4426 50858 | 5000 3979 312 | 0.000 % | c | 36421 | 1185 4426 50858 | 5500 4079 312 | 0.000 % | c | 36571 | 1185 4426 50858 | 6050 4229 311 | 0.000 % | c | 36796 | 1185 4426 50858 | 6655 4454 311 | 0.000 % | c | 37133 | 1185 4426 50858 | 7320 4791 311 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 11.7662 s Remaining CPU time: 168.234 s c =============================================================================== c | 37558 | 1185 4427 51268 | 5000 5216 311 | 0.000 % | c | 37658 | 1185 4427 51268 | 5500 2708 310 | 0.000 % | c | 37808 | 1185 4427 51268 | 6050 2858 310 | 0.000 % | c | 38033 | 1185 4427 51268 | 6655 3083 310 | 0.000 % | c | 38370 | 1185 4427 51268 | 7320 3420 310 | 0.000 % | c | 38877 | 1185 4427 51268 | 8052 3927 310 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 12.3411 s Remaining CPU time: 167.659 s c =============================================================================== c | 39390 | 1185 4428 51678 | 5000 4440 310 | 0.000 % | c | 39490 | 1185 4428 51678 | 5500 4540 310 | 0.000 % | c | 39640 | 1185 4428 51678 | 6050 4690 310 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 12.4521 s Remaining CPU time: 167.548 s c =============================================================================== c | 39696 | 1185 4429 52088 | 5000 4746 310 | 0.000 % | c | 39797 | 1185 4429 52088 | 5500 4847 309 | 0.000 % | c | 39947 | 1185 4429 52088 | 6050 4997 309 | 0.000 % | c | 40172 | 1185 4429 52088 | 6655 5222 309 | 0.000 % | c | 40509 | 1185 4429 52088 | 7320 5559 309 | 0.000 % | c | 41015 | 1185 4429 52088 | 8052 6065 309 | 0.000 % | c | 41774 | 1185 4429 52088 | 8857 6824 309 | 0.000 % | c | 42913 | 1185 4429 52088 | 9743 7963 308 | 0.000 % | c | 44622 | 1185 4429 52088 | 10717 9672 308 | 0.000 % | c | 47185 | 1185 4429 52088 | 11789 6703 307 | 0.000 % | c | 51029 | 1185 4429 52088 | 12968 10547 307 | 0.000 % | c | 56796 | 1185 4429 52088 | 14265 9655 307 | 0.000 % | c | 65445 | 1185 4429 52088 | 15692 11013 307 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 21.9847 s Remaining CPU time: 158.015 s c =============================================================================== c | 66516 | 1185 4430 52498 | 5000 12084 307 | 0.000 % | c | 66616 | 1185 4430 52498 | 5500 3121 307 | 0.000 % | c | 66767 | 1185 4430 52498 | 6050 3272 307 | 0.000 % | c | 66993 | 1185 4430 52498 | 6655 3498 307 | 0.000 % | c | 67330 | 1185 4430 52498 | 7320 3835 307 | 0.000 % | c | 67837 | 1185 4430 52498 | 8052 4342 307 | 0.000 % | c | 68596 | 1185 4430 52498 | 8857 5101 307 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 22.8305 s Remaining CPU time: 157.169 s c =============================================================================== c | 68597 | 1185 4431 52908 | 5000 5102 307 | 0.000 % | c | 68697 | 1185 4431 52908 | 5500 2651 306 | 0.000 % | c | 68847 | 1185 4431 52908 | 6050 2801 306 | 0.000 % | c | 69072 | 1185 4431 52908 | 6655 3026 306 | 0.000 % | c | 69409 | 1185 4431 52908 | 7320 3363 306 | 0.000 % | c | 69915 | 1185 4431 52908 | 8052 3869 306 | 0.000 % | c | 70674 | 1185 4431 52908 | 8857 4628 306 | 0.000 % | c | 71813 | 1185 4431 52908 | 9743 5767 305 | 0.000 % | c | 73522 | 1185 4431 52908 | 10717 7476 305 | 0.000 % | c | 76084 | 1185 4431 52908 | 11789 10038 305 | 0.000 % | c | 79928 | 1185 4431 52908 | 12968 7823 305 | 0.000 % | c | 85694 | 1185 4431 52908 | 14265 6933 305 | 0.000 % | c | 94343 | 1185 4431 52908 | 15692 8272 305 | 0.000 % | c | 107318 | 1185 4431 52908 | 17261 13241 306 | 0.000 % | c | 126779 | 1185 4431 52908 | 18987 15101 306 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 47.8357 s Remaining CPU time: 132.164 s c =============================================================================== c | 130857 | 1185 4432 53318 | 5000 19179 306 | 0.000 % | c | 130957 | 1185 4432 53318 | 5500 4895 305 | 0.000 % | c | 131108 | 1185 4432 53318 | 6050 5046 305 | 0.000 % | c | 131333 | 1185 4432 53318 | 6655 5271 305 | 0.000 % | c | 131670 | 1185 4432 53318 | 7320 5608 305 | 0.000 % | c | 132176 | 1185 4432 53318 | 8052 6114 305 | 0.000 % | c | 132936 | 1185 4432 53318 | 8857 6874 305 | 0.000 % | c | 134075 | 1185 4432 53318 | 9743 8013 305 | 0.000 % | c | 135783 | 1185 4432 53318 | 10717 9721 305 | 0.000 % | c | 138345 | 1185 4432 53318 | 11789 6753 304 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 51.1722 s Remaining CPU time: 128.828 s c =============================================================================== c | 138351 | 1185 4433 53728 | 5000 6759 304 | 0.000 % | c | 138451 | 1185 4433 53728 | 5500 3480 304 | 0.000 % | c | 138601 | 1185 4433 53728 | 6050 3630 304 | 0.000 % | c | 138826 | 1185 4433 53728 | 6655 3855 304 | 0.000 % | c | 139163 | 1185 4433 53728 | 7320 4192 304 | 0.000 % | c | 139669 | 1185 4433 53728 | 8052 4698 304 | 0.000 % | c | 140428 | 1185 4433 53728 | 8857 5457 304 | 0.000 % | c | 141567 | 1185 4433 53728 | 9743 6596 304 | 0.000 % | c | 143275 | 1185 4433 53728 | 10717 8304 304 | 0.000 % | c | 145837 | 1185 4433 53728 | 11789 10866 303 | 0.000 % | c | 149681 | 1185 4433 53728 | 12968 8653 303 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 57.1963 s Remaining CPU time: 122.804 s c =============================================================================== c | 153949 | 1185 4434 54138 | 5000 12921 303 | 0.000 % | c | 154049 | 1185 4434 54138 | 5500 3331 303 | 0.000 % | c | 154199 | 1185 4434 54138 | 6050 3481 303 | 0.000 % | c | 154425 | 1185 4434 54138 | 6655 3707 303 | 0.000 % | c | 154762 | 1185 4434 54138 | 7320 4044 303 | 0.000 % | c | 155268 | 1185 4434 54138 | 8052 4550 303 | 0.000 % | c | 156028 | 1185 4434 54138 | 8857 5310 303 | 0.000 % | c | 157167 | 1185 4434 54138 | 9743 6449 303 | 0.000 % | c | 158875 | 1185 4434 54138 | 10717 8157 303 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 59.6019 s Remaining CPU time: 120.398 s c =============================================================================== c | 159480 | 1185 4435 54548 | 5000 8762 303 | 0.000 % | c | 159581 | 1185 4435 54548 | 5500 4482 302 | 0.000 % | c | 159731 | 1185 4435 54548 | 6050 4632 302 | 0.000 % | c | 159956 | 1185 4435 54548 | 6655 4857 302 | 0.000 % | c | 160294 | 1185 4435 54548 | 7320 5195 302 | 0.000 % | c | 160800 | 1185 4435 54548 | 8052 5701 302 | 0.000 % | c | 161559 | 1185 4435 54548 | 8857 6460 302 | 0.000 % | c | 162698 | 1185 4435 54548 | 9743 7599 302 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 61.4997 s Remaining CPU time: 118.5 s c =============================================================================== c | 163670 | 1185 4436 54958 | 5000 8571 301 | 0.000 % | c | 163770 | 1185 4436 54958 | 5500 4386 301 | 0.000 % | c | 163921 | 1185 4436 54958 | 6050 4537 301 | 0.000 % | c | 164146 | 1185 4436 54958 | 6655 4762 301 | 0.000 % | c | 164483 | 1185 4436 54958 | 7320 5099 301 | 0.000 % | c | 164989 | 1185 4436 54958 | 8052 5605 301 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 62.2475 s Remaining CPU time: 117.752 s c =============================================================================== c | 165494 | 1185 4437 55368 | 5000 6110 301 | 0.000 % | c | 165594 | 1185 4437 55368 | 5500 3155 300 | 0.000 % | c | 165744 | 1185 4437 55368 | 6050 3305 300 | 0.000 % | c | 165969 | 1185 4437 55368 | 6655 3530 300 | 0.000 % | c | 166306 | 1185 4437 55368 | 7320 3867 300 | 0.000 % | c | 166812 | 1185 4437 55368 | 8052 4373 300 | 0.000 % | c | 167571 | 1185 4437 55368 | 8857 5132 300 | 0.000 % | c | 168710 | 1185 4437 55368 | 9743 6271 299 | 0.000 % | c | 170418 | 1185 4437 55368 | 10717 7979 299 | 0.000 % | c | 172980 | 1185 4437 55368 | 11789 10541 299 | 0.000 % | c | 176824 | 1185 4437 55368 | 12968 8339 299 | 0.000 % | c | 182592 | 1185 4437 55368 | 14265 7458 299 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 71.2492 s Remaining CPU time: 108.751 s c =============================================================================== c | 188478 | 1185 4438 55778 | 5000 13344 299 | 0.000 % | c | 188578 | 1185 4438 55778 | 5500 3436 299 | 0.000 % | c | 188728 | 1185 4438 55778 | 6050 3586 299 | 0.000 % | c | 188953 | 1185 4438 55778 | 6655 3811 299 | 0.000 % | c | 189290 | 1185 4438 55778 | 7320 4148 299 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 71.6861 s Remaining CPU time: 108.314 s c =============================================================================== c | 189415 | 1185 4439 56188 | 5000 4273 299 | 0.000 % | c | 189515 | 1185 4439 56188 | 5500 4373 299 | 0.000 % | c | 189666 | 1185 4439 56188 | 6050 4524 299 | 0.000 % | c | 189891 | 1185 4439 56188 | 6655 4749 299 | 0.000 % | c | 190229 | 1185 4439 56188 | 7320 5087 298 | 0.000 % | c | 190735 | 1185 4439 56188 | 8052 5593 298 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 72.302 s Remaining CPU time: 107.698 s c =============================================================================== c | 191232 | 1185 4440 56598 | 5000 6090 298 | 0.000 % | c | 191332 | 1185 4440 56598 | 5500 3145 297 | 0.000 % | c | 191482 | 1185 4440 56598 | 6050 3295 297 | 0.000 % | c | 191708 | 1185 4440 56598 | 6655 3521 297 | 0.000 % | c | 192045 | 1185 4440 56598 | 7320 3858 297 | 0.000 % | c | 192551 | 1185 4440 56598 | 8052 4364 297 | 0.000 % | c | 193310 | 1185 4440 56598 | 8857 5123 296 | 0.000 % | c | 194450 | 1185 4440 56598 | 9743 6263 296 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 73.7328 s Remaining CPU time: 106.267 s c =============================================================================== c | 195628 | 1185 4441 57008 | 5000 7441 296 | 0.000 % | c | 195728 | 1185 4441 57008 | 5500 3821 296 | 0.000 % | c | 195879 | 1185 4441 57008 | 6050 3972 296 | 0.000 % | c | 196104 | 1185 4441 57008 | 6655 4197 295 | 0.000 % | c | 196442 | 1185 4441 57008 | 7320 4535 295 | 0.000 % | c | 196948 | 1185 4441 57008 | 8052 5041 295 | 0.000 % | c | 197707 | 1185 4441 57008 | 8857 5800 295 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 74.5647 s Remaining CPU time: 105.435 s c =============================================================================== c | 197972 | 1185 4442 57418 | 5000 6065 295 | 0.000 % | c | 198072 | 1185 4442 57418 | 5500 3133 294 | 0.000 % | c | 198222 | 1185 4442 57418 | 6050 3283 294 | 0.000 % | c | 198447 | 1185 4442 57418 | 6655 3508 294 | 0.000 % | c | 198784 | 1185 4442 57418 | 7320 3845 294 | 0.000 % | c | 199290 | 1185 4442 57418 | 8052 4351 294 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 75.0846 s Remaining CPU time: 104.915 s c =============================================================================== c | 199355 | 1185 4443 57828 | 5000 4416 294 | 0.000 % | c | 199455 | 1185 4443 57828 | 5500 4516 294 | 0.000 % | c | 199605 | 1185 4443 57828 | 6050 4666 294 | 0.000 % | c | 199830 | 1185 4443 57828 | 6655 4891 294 | 0.000 % | c | 200167 | 1185 4443 57828 | 7320 5228 294 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 75.4985 s Remaining CPU time: 104.501 s c =============================================================================== c | 200564 | 1185 4444 58238 | 5000 5625 294 | 0.000 % | c | 200665 | 1185 4444 58238 | 5500 2914 293 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 75.5845 s Remaining CPU time: 104.415 s c =============================================================================== c | 200735 | 1185 4445 58648 | 5000 2984 293 | 0.000 % | c | 200835 | 1185 4445 58648 | 5500 3084 293 | 0.000 % | c | 200985 | 1185 4445 58648 | 6050 3234 293 | 0.000 % | c | 201210 | 1185 4445 58648 | 6655 3459 292 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 75.8045 s Remaining CPU time: 104.196 s c =============================================================================== c | 201483 | 1185 4446 59058 | 5000 3732 292 | 0.000 % | c | 201583 | 1185 4446 59058 | 5500 3832 292 | 0.000 % | c | 201733 | 1185 4446 59058 | 6050 3982 292 | 0.000 % | c | 201958 | 1185 4446 59058 | 6655 4207 292 | 0.000 % | c | 202295 | 1185 4446 59058 | 7320 4544 292 | 0.000 % | c | 202802 | 1185 4446 59058 | 8052 5051 292 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 76.3074 s Remaining CPU time: 103.693 s c =============================================================================== c | 203279 | 1185 4447 59468 | 5000 5528 291 | 0.000 % | c | 203379 | 1185 4447 59468 | 5500 2864 289 | 0.000 % | c | 203530 | 1185 4447 59468 | 6050 3015 289 | 0.000 % | c | 203755 | 1185 4447 59468 | 6655 3240 289 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 76.5544 s Remaining CPU time: 103.446 s c =============================================================================== c | 204011 | 1185 4448 59878 | 5000 3496 289 | 0.000 % | c | 204111 | 1185 4448 59878 | 5500 3596 289 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 76.6214 s Remaining CPU time: 103.379 s c =============================================================================== c | 204164 | 1185 4449 60288 | 5000 3649 289 | 0.000 % | c | 204264 | 1185 4449 60288 | 5500 3749 289 | 0.000 % | c | 204414 | 1185 4449 60288 | 6050 3899 289 | 0.000 % | c | 204639 | 1185 4449 60288 | 6655 4124 289 | 0.000 % | c | 204976 | 1185 4449 60288 | 7320 4461 289 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 76.9363 s Remaining CPU time: 103.064 s c =============================================================================== c | 205194 | 1185 4450 60698 | 5000 4679 289 | 0.000 % | c | 205294 | 1185 4450 60698 | 5500 4779 288 | 0.000 % | c | 205444 | 1185 4450 60698 | 6050 4929 288 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 77.0513 s Remaining CPU time: 102.949 s c =============================================================================== c | 205570 | 1185 4451 61108 | 5000 5055 288 | 0.000 % | c | 205671 | 1185 4451 61108 | 5500 2629 286 | 0.000 % | c | 205821 | 1185 4451 61108 | 6050 2779 286 | 0.000 % | c | 206046 | 1185 4451 61108 | 6655 3004 286 | 0.000 % | c | 206385 | 1185 4451 61108 | 7320 3343 286 | 0.000 % | c | 206891 | 1185 4451 61108 | 8052 3849 286 | 0.000 % | c | 207650 | 1185 4451 61108 | 8857 4608 286 | 0.000 % | c | 208789 | 1185 4451 61108 | 9743 5747 285 | 0.000 % | c | 210498 | 1185 4451 61108 | 10717 7456 285 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 78.883 s Remaining CPU time: 101.117 s c =============================================================================== c | 211483 | 1185 4452 61518 | 5000 8441 285 | 0.000 % | c | 211583 | 1185 4452 61518 | 5500 4321 284 | 0.000 % | c | 211733 | 1185 4452 61518 | 6050 4471 284 | 0.000 % | c | 211958 | 1185 4452 61518 | 6655 4696 284 | 0.000 % | c | 212296 | 1185 4452 61518 | 7320 5034 284 | 0.000 % | c | 212802 | 1185 4452 61518 | 8052 5540 284 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 79.5969 s Remaining CPU time: 100.403 s c =============================================================================== c | 213072 | 1185 4453 61928 | 5000 5810 284 | 0.000 % | c | 213173 | 1185 4453 61928 | 5500 3006 283 | 0.000 % | c | 213323 | 1185 4453 61928 | 6050 3156 283 | 0.000 % | c | 213549 | 1185 4453 61928 | 6655 3382 283 | 0.000 % | c | 213887 | 1185 4453 61928 | 7320 3720 283 | 0.000 % | c | 214393 | 1185 4453 61928 | 8052 4226 283 | 0.000 % | c | 215152 | 1185 4453 61928 | 8857 4985 283 | 0.000 % | c | 216291 | 1185 4453 61928 | 9743 6124 283 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 81.1187 s Remaining CPU time: 98.8813 s c =============================================================================== c | 217342 | 1185 4454 62338 | 5000 7175 283 | 0.000 % | c | 217443 | 1185 4454 62338 | 5500 3689 283 | 0.000 % | c | 217593 | 1185 4454 62338 | 6050 3839 283 | 0.000 % | c | 217818 | 1185 4454 62338 | 6655 4064 282 | 0.000 % | c | 218155 | 1185 4454 62338 | 7320 4401 282 | 0.000 % | c | 218663 | 1185 4454 62338 | 8052 4909 282 | 0.000 % | c | 219423 | 1185 4454 62338 | 8857 5669 282 | 0.000 % | c | 220562 | 1185 4454 62338 | 9743 6808 282 | 0.000 % | c | 222271 | 1185 4454 62338 | 10717 8517 282 | 0.000 % | c | 224833 | 1185 4454 62338 | 11789 5564 282 | 0.000 % | c | 228678 | 1185 4454 62338 | 12968 9409 282 | 0.000 % | c | 234444 | 1185 4454 62338 | 14265 8538 282 | 0.000 % | c | 243093 | 1185 4454 62338 | 15692 9900 282 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 91.0132 s Remaining CPU time: 88.9868 s c =============================================================================== c | 245099 | 1185 4455 62748 | 5000 11906 282 | 0.000 % | c | 245199 | 1185 4455 62748 | 5500 3077 281 | 0.000 % | c | 245350 | 1185 4455 62748 | 6050 3228 281 | 0.000 % | c | 245575 | 1185 4455 62748 | 6655 3453 281 | 0.000 % | c | 245912 | 1185 4455 62748 | 7320 3790 281 | 0.000 % | c | 246418 | 1185 4455 62748 | 8052 4296 281 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 91.7191 s Remaining CPU time: 88.2809 s c =============================================================================== c | 246679 | 1185 4456 63158 | 5000 4557 281 | 0.000 % | c | 246780 | 1185 4456 63158 | 5500 4658 281 | 0.000 % | c | 246930 | 1185 4456 63158 | 6050 4808 281 | 0.000 % | c | 247155 | 1185 4456 63158 | 6655 5033 281 | 0.000 % | c | 247492 | 1185 4456 63158 | 7320 5370 281 | 0.000 % | c | 247998 | 1185 4456 63158 | 8052 5876 281 | 0.000 % | c | 248757 | 1185 4456 63158 | 8857 6635 281 | 0.000 % | c | 249896 | 1185 4456 63158 | 9743 7774 281 | 0.000 % | c | 251604 | 1185 4456 63158 | 10717 9482 280 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 93.6208 s Remaining CPU time: 86.3792 s c =============================================================================== c | 253164 | 1185 4457 63568 | 5000 5536 280 | 0.000 % | c | 253265 | 1185 4457 63568 | 5500 2869 279 | 0.000 % | c | 253416 | 1185 4457 63568 | 6050 3020 279 | 0.000 % | c | 253641 | 1185 4457 63568 | 6655 3245 279 | 0.000 % | c | 253978 | 1185 4457 63568 | 7320 3582 279 | 0.000 % | c | 254484 | 1185 4457 63568 | 8052 4088 279 | 0.000 % | c | 255244 | 1185 4457 63568 | 8857 4848 279 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 94.6176 s Remaining CPU time: 85.3824 s c =============================================================================== c | 255933 | 1185 4458 63978 | 5000 5537 279 | 0.000 % | c | 256033 | 1185 4458 63978 | 5500 2869 278 | 0.000 % | c | 256183 | 1185 4458 63978 | 6050 3019 278 | 0.000 % | c | 256408 | 1185 4458 63978 | 6655 3244 278 | 0.000 % | c | 256745 | 1185 4458 63978 | 7320 3581 278 | 0.000 % | c | 257251 | 1185 4458 63978 | 8052 4087 278 | 0.000 % | c | 258010 | 1185 4458 63978 | 8857 4846 278 | 0.000 % | c | 259149 | 1185 4458 63978 | 9743 5985 278 | 0.000 % | c | 260857 | 1185 4458 63978 | 10717 7693 278 | 0.000 % | c | 263420 | 1185 4458 63978 | 11789 10256 278 | 0.000 % | c | 267264 | 1185 4458 63978 | 12968 8024 278 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 100.019 s Remaining CPU time: 79.9812 s c =============================================================================== c | 271398 | 1185 4459 64388 | 5000 12158 278 | 0.000 % | c | 271498 | 1185 4459 64388 | 5500 3140 278 | 0.000 % | c | 271649 | 1185 4459 64388 | 6050 3291 278 | 0.000 % | c | 271874 | 1185 4459 64388 | 6655 3516 278 | 0.000 % | c | 272211 | 1185 4459 64388 | 7320 3853 278 | 0.000 % | c | 272718 | 1185 4459 64388 | 8052 4360 278 | 0.000 % | c | 273477 | 1185 4459 64388 | 8857 5119 278 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 101.359 s Remaining CPU time: 78.6414 s c =============================================================================== c | 274396 | 1185 4460 64798 | 5000 6038 277 | 0.000 % | c | 274496 | 1185 4460 64798 | 5500 3119 276 | 0.000 % | c | 274646 | 1185 4460 64798 | 6050 3269 276 | 0.000 % | c | 274871 | 1185 4460 64798 | 6655 3494 276 | 0.000 % | c | 275209 | 1185 4460 64798 | 7320 3832 276 | 0.000 % | c | 275715 | 1185 4460 64798 | 8052 4338 276 | 0.000 % | c | 276474 | 1185 4460 64798 | 8857 5097 276 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 102.228 s Remaining CPU time: 77.7715 s c =============================================================================== c | 276982 | 1185 4461 65208 | 5000 5605 276 | 0.000 % | c | 277082 | 1185 4461 65208 | 5500 2903 275 | 0.000 % | c | 277232 | 1185 4461 65208 | 6050 3053 275 | 0.000 % | c | 277457 | 1185 4461 65208 | 6655 3278 275 | 0.000 % | c | 277794 | 1185 4461 65208 | 7320 3615 275 | 0.000 % | c | 278300 | 1185 4461 65208 | 8052 4121 275 | 0.000 % | c | 279059 | 1185 4461 65208 | 8857 4880 275 | 0.000 % | c | 280198 | 1185 4461 65208 | 9743 6019 275 | 0.000 % | c | 281906 | 1185 4461 65208 | 10717 7727 275 | 0.000 % | c | 284468 | 1185 4461 65208 | 11789 10289 275 | 0.000 % | c | 288313 | 1185 4461 65208 | 12968 8093 275 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 108.234 s Remaining CPU time: 71.7665 s c =============================================================================== c | 293814 | 1185 4462 65618 | 5000 6953 275 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 108.298 s Remaining CPU time: 71.7025 s c =============================================================================== c | 293841 | 1185 4463 66028 | 5000 3504 275 | 0.000 % | c | 293941 | 1185 4463 66028 | 5500 3604 275 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 108.417 s Remaining CPU time: 71.5835 s c =============================================================================== c | 294090 | 1185 4464 66438 | 5000 3753 275 | 0.000 % | c | 294191 | 1185 4464 66438 | 5500 3854 275 | 0.000 % | c | 294341 | 1185 4464 66438 | 6050 4004 275 | 0.000 % | c | 294566 | 1185 4464 66438 | 6655 4229 274 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 108.634 s Remaining CPU time: 71.3655 s c =============================================================================== c | 294643 | 1185 4465 66848 | 5000 4306 274 | 0.000 % | c | 294743 | 1185 4465 66848 | 5500 4406 274 | 0.000 % | c | 294893 | 1185 4465 66848 | 6050 4556 274 | 0.000 % | c | 295118 | 1185 4465 66848 | 6655 4781 274 | 0.000 % | c | 295455 | 1185 4465 66848 | 7320 5118 274 | 0.000 % | c | 295962 | 1185 4465 66848 | 8052 5625 274 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 109.279 s Remaining CPU time: 70.7206 s c =============================================================================== c | 296659 | 1185 4466 67258 | 5000 6322 273 | 0.000 % | c | 296759 | 1185 4466 67258 | 5500 3261 271 | 0.000 % | c | 296909 | 1185 4466 67258 | 6050 3411 271 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 109.448 s Remaining CPU time: 70.5516 s c =============================================================================== c | 296969 | 1185 4467 67668 | 5000 3471 271 | 0.000 % | c | 297070 | 1185 4467 67668 | 5500 3572 271 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 109.535 s Remaining CPU time: 70.4647 s c =============================================================================== c | 297159 | 1185 4468 68078 | 5000 3661 271 | 0.000 % | c | 297259 | 1185 4468 68078 | 5500 3761 271 | 0.000 % | c | 297409 | 1185 4468 68078 | 6050 3911 271 | 0.000 % | c | 297634 | 1185 4468 68078 | 6655 4136 271 | 0.000 % | c | 297971 | 1185 4468 68078 | 7320 4473 270 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 109.895 s Remaining CPU time: 70.1047 s c =============================================================================== c | 298312 | 1185 4469 68488 | 5000 4814 270 | 0.000 % | c | 298412 | 1185 4469 68488 | 5500 4914 270 | 0.000 % | c | 298563 | 1185 4469 68488 | 6050 5065 270 | 0.000 % | c | 298789 | 1185 4469 68488 | 6655 5291 270 | 0.000 % | c | 299127 | 1185 4469 68488 | 7320 5629 270 | 0.000 % | c | 299633 | 1185 4469 68488 | 8052 6135 270 | 0.000 % | c | 300392 | 1185 4469 68488 | 8857 6894 269 | 0.000 % | c | 301531 | 1185 4469 68488 | 9743 8033 269 | 0.000 % | c | 303240 | 1185 4469 68488 | 10717 9742 269 | 0.000 % |