c wbo 1.4 beta - 20100610 c | Number of variables: 800 | c | Number of clauses: 4384 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1188 | c | Number Clauses: 4371 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1188 4371 9141 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1188 4372 9542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1188 4373 9943 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1188 4374 10344 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1188 4375 10745 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1188 4376 11146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1188 4377 11547 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1188 4378 11948 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1188 4379 12349 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1188 4380 12750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1188 4381 13151 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1188 4382 13552 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 1188 4383 13953 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1188 4384 14354 | 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 | 1188 4385 14755 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1188 4386 15156 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 1188 4387 15557 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 1188 4388 15958 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 1188 4389 16359 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 1188 4390 16760 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 1188 4391 17161 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 1188 4392 17562 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 1188 4393 17963 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 1188 4394 18364 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 1188 4395 18765 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 1188 4396 19166 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 1188 4397 19567 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 1188 4398 19968 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 1188 4399 20369 | 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 | 1188 4400 20770 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 1 | 1188 4401 21171 | 5000 1 374 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 1 | 1188 4402 21572 | 5000 1 374 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 1 | 1188 4403 21973 | 5000 1 374 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 1 | 1188 4404 22374 | 5000 1 374 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 1 | 1188 4405 22775 | 5000 1 374 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 3 | 1188 4406 23176 | 5000 3 369 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 3 | 1188 4407 23577 | 5000 3 369 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 3 | 1188 4408 23978 | 5000 3 369 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 3 | 1188 4409 24379 | 5000 3 369 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 3 | 1188 4410 24780 | 5000 3 369 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 3 | 1188 4411 25181 | 5000 3 369 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 3 | 1188 4412 25582 | 5000 3 369 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 3 | 1188 4413 25983 | 5000 3 369 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 3 | 1188 4414 26384 | 5000 3 369 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 3 | 1188 4415 26785 | 5000 3 369 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 3 | 1188 4416 27186 | 5000 3 369 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 3 | 1188 4417 27587 | 5000 3 369 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 4 | 1188 4418 27988 | 5000 4 366 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 4 | 1188 4419 28389 | 5000 4 366 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 4 | 1188 4420 28790 | 5000 4 366 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 4 | 1188 4421 29191 | 5000 4 366 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.13098 s Remaining CPU time: 179.869 s c =============================================================================== c | 4 | 1188 4422 29592 | 5000 4 366 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s c =============================================================================== c | 4 | 1188 4423 29993 | 5000 4 366 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 4 | 1188 4424 30394 | 5000 4 366 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 4 | 1188 4425 30795 | 5000 4 366 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s c =============================================================================== c | 11 | 1188 4426 31196 | 5000 11 354 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 19 | 1188 4427 31597 | 5000 19 351 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 25 | 1188 4428 31998 | 5000 25 350 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 33 | 1188 4429 32399 | 5000 33 348 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s c =============================================================================== c | 43 | 1188 4430 32800 | 5000 43 347 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.172973 s Remaining CPU time: 179.827 s c =============================================================================== c | 45 | 1188 4431 33201 | 5000 45 347 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.180972 s Remaining CPU time: 179.819 s c =============================================================================== c | 77 | 1188 4432 33602 | 5000 77 345 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.19297 s Remaining CPU time: 179.807 s c =============================================================================== c | 106 | 1188 4433 34003 | 5000 106 344 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 136 | 1188 4434 34404 | 5000 136 343 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.210967 s Remaining CPU time: 179.789 s c =============================================================================== c | 146 | 1188 4435 34805 | 5000 146 343 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s c =============================================================================== c | 178 | 1188 4436 35206 | 5000 178 342 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 189 | 1188 4437 35607 | 5000 189 341 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.235964 s Remaining CPU time: 179.764 s c =============================================================================== c | 218 | 1188 4438 36008 | 5000 218 341 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.242963 s Remaining CPU time: 179.757 s c =============================================================================== c | 224 | 1188 4439 36409 | 5000 224 340 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s c =============================================================================== c | 234 | 1188 4440 36810 | 5000 234 340 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.265959 s Remaining CPU time: 179.734 s c =============================================================================== c | 303 | 1188 4441 37211 | 5000 303 339 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.275958 s Remaining CPU time: 179.724 s c =============================================================================== c | 316 | 1188 4442 37612 | 5000 316 338 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.284956 s Remaining CPU time: 179.715 s c =============================================================================== c | 335 | 1188 4443 38013 | 5000 335 338 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.300954 s Remaining CPU time: 179.699 s c =============================================================================== c | 392 | 1188 4444 38414 | 5000 392 337 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.308953 s Remaining CPU time: 179.691 s c =============================================================================== c | 404 | 1188 4445 38815 | 5000 404 336 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.329949 s Remaining CPU time: 179.67 s c =============================================================================== c | 484 | 1188 4446 39216 | 5000 484 335 | 0.000 % | c | 584 | 1188 4446 39216 | 5500 584 334 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.374943 s Remaining CPU time: 179.625 s c =============================================================================== c | 673 | 1188 4447 39617 | 5000 673 333 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.387941 s Remaining CPU time: 179.612 s c =============================================================================== c | 701 | 1188 4448 40018 | 5000 701 333 | 0.000 % | c | 801 | 1188 4448 40018 | 5500 801 332 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.424935 s Remaining CPU time: 179.575 s c =============================================================================== c | 819 | 1188 4449 40419 | 5000 819 331 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.438933 s Remaining CPU time: 179.561 s c =============================================================================== c | 857 | 1188 4450 40820 | 5000 857 331 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.45393 s Remaining CPU time: 179.546 s c =============================================================================== c | 898 | 1188 4451 41221 | 5000 898 331 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.471928 s Remaining CPU time: 179.528 s c =============================================================================== c | 965 | 1188 4452 41622 | 5000 965 330 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.482926 s Remaining CPU time: 179.517 s c =============================================================================== c | 990 | 1188 4453 42023 | 5000 990 330 | 0.000 % | c | 1091 | 1188 4453 42023 | 5500 1091 329 | 0.000 % | c | 1241 | 1188 4453 42023 | 6050 1241 328 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.565913 s Remaining CPU time: 179.434 s c =============================================================================== c | 1329 | 1188 4454 42424 | 5000 1329 327 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.58991 s Remaining CPU time: 179.41 s c =============================================================================== c | 1416 | 1188 4455 42825 | 5000 1416 327 | 0.000 % | c | 1516 | 1188 4455 42825 | 5500 1516 326 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.627904 s Remaining CPU time: 179.372 s c =============================================================================== c | 1552 | 1188 4456 43226 | 5000 1552 326 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.648901 s Remaining CPU time: 179.351 s c =============================================================================== c | 1618 | 1188 4457 43627 | 5000 1618 326 | 0.000 % | c | 1718 | 1188 4457 43627 | 5500 1718 325 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.699893 s Remaining CPU time: 179.3 s c =============================================================================== c | 1824 | 1188 4458 44028 | 5000 1824 325 | 0.000 % | c | 1924 | 1188 4458 44028 | 5500 1924 324 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.733888 s Remaining CPU time: 179.266 s c =============================================================================== c | 1947 | 1188 4459 44429 | 5000 1947 324 | 0.000 % | c | 2047 | 1188 4459 44429 | 5500 2047 324 | 0.000 % | c | 2198 | 1188 4459 44429 | 6050 2198 323 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.803877 s Remaining CPU time: 179.196 s c =============================================================================== c | 2207 | 1188 4460 44830 | 5000 2207 323 | 0.000 % | c | 2307 | 1188 4460 44830 | 5500 2307 322 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.846871 s Remaining CPU time: 179.153 s c =============================================================================== c | 2342 | 1188 4461 45231 | 5000 2342 322 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.857869 s Remaining CPU time: 179.142 s c =============================================================================== c | 2360 | 1188 4462 45632 | 5000 2360 322 | 0.000 % | c | 2460 | 1188 4462 45632 | 5500 2460 322 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.91686 s Remaining CPU time: 179.083 s c =============================================================================== c | 2561 | 1188 4463 46033 | 5000 2561 321 | 0.000 % | c | 2661 | 1188 4463 46033 | 5500 2661 321 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.971852 s Remaining CPU time: 179.028 s c =============================================================================== c | 2716 | 1188 4464 46434 | 5000 2716 321 | 0.000 % | c | 2817 | 1188 4464 46434 | 5500 2817 320 | 0.000 % | c | 2967 | 1188 4464 46434 | 6050 2967 320 | 0.000 % | c | 3192 | 1188 4464 46434 | 6655 3192 319 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 1.15882 s Remaining CPU time: 178.841 s c =============================================================================== c | 3430 | 1188 4465 46835 | 5000 3430 318 | 0.000 % | c | 3531 | 1188 4465 46835 | 5500 3531 318 | 0.000 % | c | 3682 | 1188 4465 46835 | 6050 3682 318 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 1.25581 s Remaining CPU time: 178.744 s c =============================================================================== c | 3728 | 1188 4466 47236 | 5000 3728 317 | 0.000 % | c | 3828 | 1188 4466 47236 | 5500 3828 317 | 0.000 % | c | 3978 | 1188 4466 47236 | 6050 3978 317 | 0.000 % | c | 4204 | 1188 4466 47236 | 6655 4204 316 | 0.000 % | c | 4541 | 1188 4466 47236 | 7320 4541 316 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 1.53477 s Remaining CPU time: 178.465 s c =============================================================================== c | 4842 | 1188 4467 47637 | 5000 4842 315 | 0.000 % | c | 4942 | 1188 4467 47637 | 5500 4942 315 | 0.000 % | c | 5092 | 1188 4467 47637 | 6050 5092 315 | 0.000 % | c | 5317 | 1188 4467 47637 | 6655 5317 314 | 0.000 % | c | 5655 | 1188 4467 47637 | 7320 5655 314 | 0.000 % | c | 6161 | 1188 4467 47637 | 8052 6161 313 | 0.000 % | c | 6920 | 1188 4467 47637 | 8857 6920 313 | 0.000 % | c | 8059 | 1188 4467 47637 | 9743 8059 312 | 0.000 % | c | 9767 | 1188 4467 47637 | 10717 9767 311 | 0.000 % | c | 12330 | 1188 4467 47637 | 11789 6796 307 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 3.9454 s Remaining CPU time: 176.055 s c =============================================================================== c | 13086 | 1188 4468 48038 | 5000 7552 307 | 0.000 % | c | 13187 | 1188 4468 48038 | 5500 3877 307 | 0.000 % | c | 13337 | 1188 4468 48038 | 6050 4027 307 | 0.000 % | c | 13563 | 1188 4468 48038 | 6655 4253 306 | 0.000 % | c | 13901 | 1188 4468 48038 | 7320 4591 306 | 0.000 % | c | 14407 | 1188 4468 48038 | 8052 5097 306 | 0.000 % | c | 15166 | 1188 4468 48038 | 8857 5856 306 | 0.000 % | c | 16305 | 1188 4468 48038 | 9743 6995 306 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 4.96624 s Remaining CPU time: 175.034 s c =============================================================================== c | 16356 | 1188 4469 48439 | 5000 7046 306 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 5.03323 s Remaining CPU time: 174.967 s c =============================================================================== c | 16390 | 1188 4470 48840 | 5000 3557 305 | 0.000 % | c | 16490 | 1188 4470 48840 | 5500 3657 305 | 0.000 % | c | 16640 | 1188 4470 48840 | 6050 3807 305 | 0.000 % | c | 16866 | 1188 4470 48840 | 6655 4033 305 | 0.000 % | c | 17203 | 1188 4470 48840 | 7320 4370 305 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 5.39718 s Remaining CPU time: 174.603 s c =============================================================================== c | 17635 | 1188 4471 49241 | 5000 4802 305 | 0.000 % | c | 17735 | 1188 4471 49241 | 5500 4902 305 | 0.000 % | c | 17885 | 1188 4471 49241 | 6050 5052 305 | 0.000 % | c | 18110 | 1188 4471 49241 | 6655 5277 305 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 5.55316 s Remaining CPU time: 174.447 s c =============================================================================== c | 18111 | 1188 4472 49642 | 5000 5278 305 | 0.000 % | c | 18211 | 1188 4472 49642 | 5500 2739 304 | 0.000 % | c | 18362 | 1188 4472 49642 | 6050 2890 304 | 0.000 % | c | 18587 | 1188 4472 49642 | 6655 3115 303 | 0.000 % | c | 18924 | 1188 4472 49642 | 7320 3452 303 | 0.000 % | c | 19430 | 1188 4472 49642 | 8052 3958 303 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 6.04308 s Remaining CPU time: 173.957 s c =============================================================================== c | 19944 | 1188 4473 50043 | 5000 4472 303 | 0.000 % | c | 20044 | 1188 4473 50043 | 5500 4572 303 | 0.000 % | c | 20194 | 1188 4473 50043 | 6050 4722 303 | 0.000 % | c | 20419 | 1188 4473 50043 | 6655 4947 303 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 6.22005 s Remaining CPU time: 173.78 s c =============================================================================== c | 20576 | 1188 4474 50444 | 5000 5104 303 | 0.000 % | c | 20677 | 1188 4474 50444 | 5500 2653 301 | 0.000 % | c | 20827 | 1188 4474 50444 | 6050 2803 301 | 0.000 % | c | 21052 | 1188 4474 50444 | 6655 3028 301 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 6.39103 s Remaining CPU time: 173.609 s c =============================================================================== c | 21177 | 1188 4475 50845 | 5000 3153 301 | 0.000 % | c | 21277 | 1188 4475 50845 | 5500 3253 301 | 0.000 % | c | 21427 | 1188 4475 50845 | 6050 3403 300 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 6.50801 s Remaining CPU time: 173.492 s c =============================================================================== c | 21619 | 1188 4476 51246 | 5000 3595 300 | 0.000 % | c | 21719 | 1188 4476 51246 | 5500 3695 300 | 0.000 % | c | 21869 | 1188 4476 51246 | 6050 3845 300 | 0.000 % | c | 22094 | 1188 4476 51246 | 6655 4070 300 | 0.000 % | c | 22433 | 1188 4476 51246 | 7320 4409 300 | 0.000 % | c | 22940 | 1188 4476 51246 | 8052 4916 300 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 6.91295 s Remaining CPU time: 173.087 s c =============================================================================== c | 23187 | 1188 4477 51647 | 5000 5163 300 | 0.000 % | c | 23287 | 1188 4477 51647 | 5500 2682 298 | 0.000 % | c | 23437 | 1188 4477 51647 | 6050 2832 298 | 0.000 % | c | 23663 | 1188 4477 51647 | 6655 3058 298 | 0.000 % | c | 24001 | 1188 4477 51647 | 7320 3396 298 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 7.2049 s Remaining CPU time: 172.795 s c =============================================================================== c | 24274 | 1188 4478 52048 | 5000 3669 297 | 0.000 % | c | 24374 | 1188 4478 52048 | 5500 3769 297 | 0.000 % | c | 24524 | 1188 4478 52048 | 6050 3919 297 | 0.000 % | c | 24749 | 1188 4478 52048 | 6655 4144 297 | 0.000 % | c | 25086 | 1188 4478 52048 | 7320 4481 297 | 0.000 % | c | 25593 | 1188 4478 52048 | 8052 4988 297 | 0.000 % | c | 26352 | 1188 4478 52048 | 8857 5747 297 | 0.000 % | c | 27492 | 1188 4478 52048 | 9743 6887 297 | 0.000 % | c | 29200 | 1188 4478 52048 | 10717 8595 296 | 0.000 % | c | 31762 | 1188 4478 52048 | 11789 5599 296 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 10.3514 s Remaining CPU time: 169.649 s c =============================================================================== c | 35557 | 1188 4479 52449 | 5000 9394 296 | 0.000 % | c | 35657 | 1188 4479 52449 | 5500 4797 296 | 0.000 % | c | 35808 | 1188 4479 52449 | 6050 4948 296 | 0.000 % | c | 36033 | 1188 4479 52449 | 6655 5173 296 | 0.000 % | c | 36370 | 1188 4479 52449 | 7320 5510 296 | 0.000 % | c | 36876 | 1188 4479 52449 | 8052 6016 295 | 0.000 % | c | 37635 | 1188 4479 52449 | 8857 6775 295 | 0.000 % | c | 38774 | 1188 4479 52449 | 9743 7914 295 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 11.7912 s Remaining CPU time: 168.209 s c =============================================================================== c | 40184 | 1188 4480 52850 | 5000 9324 295 | 0.000 % | c | 40286 | 1188 4480 52850 | 5500 4764 295 | 0.000 % | c | 40437 | 1188 4480 52850 | 6050 4915 295 | 0.000 % | c | 40662 | 1188 4480 52850 | 6655 5140 295 | 0.000 % | c | 41000 | 1188 4480 52850 | 7320 5478 295 | 0.000 % | c | 41506 | 1188 4480 52850 | 8052 5984 294 | 0.000 % | c | 42265 | 1188 4480 52850 | 8857 6743 294 | 0.000 % | c | 43405 | 1188 4480 52850 | 9743 7883 294 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 13.119 s Remaining CPU time: 166.881 s c =============================================================================== c | 44658 | 1188 4481 53251 | 5000 9136 294 | 0.000 % | c | 44758 | 1188 4481 53251 | 5500 4668 293 | 0.000 % | c | 44908 | 1188 4481 53251 | 6050 4818 293 | 0.000 % | c | 45133 | 1188 4481 53251 | 6655 5043 293 | 0.000 % | c | 45470 | 1188 4481 53251 | 7320 5380 293 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 13.4859 s Remaining CPU time: 166.514 s c =============================================================================== c | 45781 | 1188 4482 53652 | 5000 5691 293 | 0.000 % | c | 45881 | 1188 4482 53652 | 5500 2946 293 | 0.000 % | c | 46031 | 1188 4482 53652 | 6050 3096 293 | 0.000 % | c | 46256 | 1188 4482 53652 | 6655 3321 293 | 0.000 % | c | 46593 | 1188 4482 53652 | 7320 3658 293 | 0.000 % | c | 47099 | 1188 4482 53652 | 8052 4164 293 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 14.0109 s Remaining CPU time: 165.989 s c =============================================================================== c | 47782 | 1188 4483 54053 | 5000 4847 292 | 0.000 % | c | 47882 | 1188 4483 54053 | 5500 4947 292 | 0.000 % | c | 48032 | 1188 4483 54053 | 6050 5097 292 | 0.000 % | c | 48258 | 1188 4483 54053 | 6655 5323 292 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 14.2318 s Remaining CPU time: 165.768 s c =============================================================================== c | 48589 | 1188 4484 54454 | 5000 5654 292 | 0.000 % | c | 48689 | 1188 4484 54454 | 5500 2927 291 | 0.000 % | c | 48839 | 1188 4484 54454 | 6050 3077 291 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 14.3898 s Remaining CPU time: 165.61 s c =============================================================================== c | 49041 | 1188 4485 54855 | 5000 3279 291 | 0.000 % | c | 49142 | 1188 4485 54855 | 5500 3380 291 | 0.000 % | c | 49293 | 1188 4485 54855 | 6050 3531 291 | 0.000 % | c | 49518 | 1188 4485 54855 | 6655 3756 291 | 0.000 % | c | 49855 | 1188 4485 54855 | 7320 4093 291 | 0.000 % | c | 50361 | 1188 4485 54855 | 8052 4599 290 | 0.000 % | c | 51120 | 1188 4485 54855 | 8857 5358 290 | 0.000 % | c | 52259 | 1188 4485 54855 | 9743 6497 290 | 0.000 % | c | 53968 | 1188 4485 54855 | 10717 8206 290 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 15.8706 s Remaining CPU time: 164.129 s c =============================================================================== c | 54474 | 1188 4486 55256 | 5000 8712 290 | 0.000 % | c | 54575 | 1188 4486 55256 | 5500 4457 289 | 0.000 % | c | 54726 | 1188 4486 55256 | 6050 4608 289 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 16.0106 s Remaining CPU time: 163.989 s c =============================================================================== c | 54740 | 1188 4487 55657 | 5000 4622 289 | 0.000 % | c | 54841 | 1188 4487 55657 | 5500 4723 289 | 0.000 % | c | 54992 | 1188 4487 55657 | 6050 4874 289 | 0.000 % | c | 55217 | 1188 4487 55657 | 6655 5099 289 | 0.000 % | c | 55555 | 1188 4487 55657 | 7320 5437 288 | 0.000 % | c | 56061 | 1188 4487 55657 | 8052 5943 288 | 0.000 % | c | 56820 | 1188 4487 55657 | 8857 6702 288 | 0.000 % | c | 57959 | 1188 4487 55657 | 9743 7841 288 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 17.2264 s Remaining CPU time: 162.774 s c =============================================================================== c | 58813 | 1188 4488 56058 | 5000 8695 288 | 0.000 % | c | 58914 | 1188 4488 56058 | 5500 4449 287 | 0.000 % | c | 59064 | 1188 4488 56058 | 6050 4599 287 | 0.000 % | c | 59289 | 1188 4488 56058 | 6655 4824 287 | 0.000 % | c | 59626 | 1188 4488 56058 | 7320 5161 287 | 0.000 % | c | 60133 | 1188 4488 56058 | 8052 5668 287 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 17.9363 s Remaining CPU time: 162.064 s c =============================================================================== c | 60832 | 1188 4489 56459 | 5000 6367 286 | 0.000 % | c | 60932 | 1188 4489 56459 | 5500 3284 286 | 0.000 % | c | 61083 | 1188 4489 56459 | 6050 3435 286 | 0.000 % | c | 61308 | 1188 4489 56459 | 6655 3660 286 | 0.000 % | c | 61645 | 1188 4489 56459 | 7320 3997 286 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 18.2962 s Remaining CPU time: 161.704 s c =============================================================================== c | 62088 | 1188 4490 56860 | 5000 4440 286 | 0.000 % | c | 62189 | 1188 4490 56860 | 5500 4541 286 | 0.000 % | c | 62339 | 1188 4490 56860 | 6050 4691 285 | 0.000 % | c | 62564 | 1188 4490 56860 | 6655 4916 285 | 0.000 % | c | 62902 | 1188 4490 56860 | 7320 5254 285 | 0.000 % | c | 63408 | 1188 4490 56860 | 8052 5760 285 | 0.000 % | c | 64167 | 1188 4490 56860 | 8857 6519 285 | 0.000 % | c | 65306 | 1188 4490 56860 | 9743 7658 285 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 19.431 s Remaining CPU time: 160.569 s c =============================================================================== c | 66209 | 1188 4491 57261 | 5000 8561 285 | 0.000 % | c | 66309 | 1188 4491 57261 | 5500 4381 283 | 0.000 % | c | 66459 | 1188 4491 57261 | 6050 4531 283 | 0.000 % | c | 66684 | 1188 4491 57261 | 6655 4756 283 | 0.000 % | c | 67021 | 1188 4491 57261 | 7320 5093 283 | 0.000 % | c | 67527 | 1188 4491 57261 | 8052 5599 283 | 0.000 % | c | 68286 | 1188 4491 57261 | 8857 6358 283 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 20.1879 s Remaining CPU time: 159.812 s c =============================================================================== c | 68790 | 1188 4492 57662 | 5000 6862 283 | 0.000 % | c | 68890 | 1188 4492 57662 | 5500 3531 283 | 0.000 % | c | 69041 | 1188 4492 57662 | 6050 3682 283 | 0.000 % | c | 69266 | 1188 4492 57662 | 6655 3907 283 | 0.000 % | c | 69603 | 1188 4492 57662 | 7320 4244 283 | 0.000 % | c | 70109 | 1188 4492 57662 | 8052 4750 282 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 20.7768 s Remaining CPU time: 159.223 s c =============================================================================== c | 70759 | 1188 4493 58063 | 5000 5400 282 | 0.000 % | c | 70860 | 1188 4493 58063 | 5500 2801 281 | 0.000 % | c | 71011 | 1188 4493 58063 | 6050 2952 281 | 0.000 % | c | 71236 | 1188 4493 58063 | 6655 3177 281 | 0.000 % | c | 71573 | 1188 4493 58063 | 7320 3514 281 | 0.000 % | c | 72079 | 1188 4493 58063 | 8052 4020 281 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 21.3178 s Remaining CPU time: 158.682 s c =============================================================================== c | 72463 | 1188 4494 58464 | 5000 4404 281 | 0.000 % | c | 72563 | 1188 4494 58464 | 5500 4504 281 | 0.000 % | c | 72713 | 1188 4494 58464 | 6050 4654 281 | 0.000 % | c | 72938 | 1188 4494 58464 | 6655 4879 281 | 0.000 % | c | 73275 | 1188 4494 58464 | 7320 5216 281 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 21.7057 s Remaining CPU time: 158.294 s c =============================================================================== c | 73733 | 1188 4495 58865 | 5000 5674 281 | 0.000 % | c | 73833 | 1188 4495 58865 | 5500 2937 280 | 0.000 % | c | 73984 | 1188 4495 58865 | 6050 3088 279 | 0.000 % | c | 74209 | 1188 4495 58865 | 6655 3313 279 | 0.000 % | c | 74547 | 1188 4495 58865 | 7320 3651 279 | 0.000 % | c | 75053 | 1188 4495 58865 | 8052 4157 279 | 0.000 % | c | 75812 | 1188 4495 58865 | 8857 4916 279 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 22.3996 s Remaining CPU time: 157.6 s c =============================================================================== c | 76042 | 1188 4496 59266 | 5000 5146 279 | 0.000 % | c | 76143 | 1188 4496 59266 | 5500 2674 278 | 0.000 % | c | 76293 | 1188 4496 59266 | 6050 2824 278 | 0.000 % | c | 76518 | 1188 4496 59266 | 6655 3049 278 | 0.000 % | c | 76856 | 1188 4496 59266 | 7320 3387 278 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 22.7805 s Remaining CPU time: 157.219 s c =============================================================================== c | 77304 | 1188 4497 59667 | 5000 3835 278 | 0.000 % | c | 77405 | 1188 4497 59667 | 5500 3936 278 | 0.000 % | c | 77555 | 1188 4497 59667 | 6050 4086 278 | 0.000 % | c | 77780 | 1188 4497 59667 | 6655 4311 278 | 0.000 % | c | 78117 | 1188 4497 59667 | 7320 4648 278 | 0.000 % | c | 78623 | 1188 4497 59667 | 8052 5154 278 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 23.3205 s Remaining CPU time: 156.68 s c =============================================================================== c | 79170 | 1188 4498 60068 | 5000 5701 278 | 0.000 % | c | 79271 | 1188 4498 60068 | 5500 2952 276 | 0.000 % | c | 79421 | 1188 4498 60068 | 6050 3102 276 | 0.000 % | c | 79648 | 1188 4498 60068 | 6655 3329 276 | 0.000 % | c | 79985 | 1188 4498 60068 | 7320 3666 276 | 0.000 % | c | 80491 | 1188 4498 60068 | 8052 4172 276 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 23.8644 s Remaining CPU time: 156.136 s c =============================================================================== c | 80728 | 1188 4499 60469 | 5000 4409 276 | 0.000 % | c | 80828 | 1188 4499 60469 | 5500 4509 276 | 0.000 % | c | 80979 | 1188 4499 60469 | 6050 4660 276 | 0.000 % | c | 81204 | 1188 4499 60469 | 6655 4885 276 | 0.000 % | c | 81542 | 1188 4499 60469 | 7320 5223 276 | 0.000 % | c | 82049 | 1188 4499 60469 | 8052 5730 276 | 0.000 % | c | 82809 | 1188 4499 60469 | 8857 6490 276 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 24.6273 s Remaining CPU time: 155.373 s c =============================================================================== c | 83441 | 1188 4500 60870 | 5000 7122 276 | 0.000 % | c | 83541 | 1188 4500 60870 | 5500 3661 274 | 0.000 % | c | 83693 | 1188 4500 60870 | 6050 3813 274 | 0.000 % | c | 83918 | 1188 4500 60870 | 6655 4038 274 | 0.000 % | c | 84255 | 1188 4500 60870 | 7320 4375 274 | 0.000 % | c | 84761 | 1188 4500 60870 | 8052 4881 274 | 0.000 % | c | 85520 | 1188 4500 60870 | 8857 5640 274 | 0.000 % | c | 86659 | 1188 4500 60870 | 9743 6779 274 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 25.8531 s Remaining CPU time: 154.147 s c =============================================================================== c | 87600 | 1188 4501 61271 | 5000 7720 274 | 0.000 % | c | 87700 | 1188 4501 61271 | 5500 3960 273 | 0.000 % | c | 87850 | 1188 4501 61271 | 6050 4110 273 | 0.000 % | c | 88075 | 1188 4501 61271 | 6655 4335 273 | 0.000 % | c | 88413 | 1188 4501 61271 | 7320 4673 273 | 0.000 % | c | 88919 | 1188 4501 61271 | 8052 5179 273 | 0.000 % | c | 89678 | 1188 4501 61271 | 8857 5938 273 | 0.000 % | c | 90817 | 1188 4501 61271 | 9743 7077 273 | 0.000 % | c | 92525 | 1188 4501 61271 | 10717 8785 273 | 0.000 % | c | 95088 | 1188 4501 61271 | 11789 5838 272 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 28.4257 s Remaining CPU time: 151.574 s c =============================================================================== c | 95969 | 1188 4502 61672 | 5000 6719 272 | 0.000 % | c | 96070 | 1188 4502 61672 | 5500 3461 272 | 0.000 % | c | 96221 | 1188 4502 61672 | 6050 3612 272 | 0.000 % | c | 96446 | 1188 4502 61672 | 6655 3837 272 | 0.000 % | c | 96783 | 1188 4502 61672 | 7320 4174 272 | 0.000 % | c | 97289 | 1188 4502 61672 | 8052 4680 272 | 0.000 % | c | 98049 | 1188 4502 61672 | 8857 5440 272 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 29.2975 s Remaining CPU time: 150.702 s c =============================================================================== c | 98900 | 1188 4503 62073 | 5000 6291 272 | 0.000 % | c | 99000 | 1188 4503 62073 | 5500 3246 271 | 0.000 % | c | 99150 | 1188 4503 62073 | 6050 3396 271 | 0.000 % | c | 99376 | 1188 4503 62073 | 6655 3622 271 | 0.000 % | c | 99713 | 1188 4503 62073 | 7320 3959 271 | 0.000 % | c | 100219 | 1188 4503 62073 | 8052 4465 271 | 0.000 % | c | 100978 | 1188 4503 62073 | 8857 5224 271 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 30.1724 s Remaining CPU time: 149.828 s c =============================================================================== c | 101902 | 1188 4504 62474 | 5000 6148 271 | 0.000 % | c | 102002 | 1188 4504 62474 | 5500 3174 270 | 0.000 % | c | 102152 | 1188 4504 62474 | 6050 3324 270 | 0.000 % | c | 102378 | 1188 4504 62474 | 6655 3550 270 | 0.000 % | c | 102715 | 1188 4504 62474 | 7320 3887 270 | 0.000 % | c | 103222 | 1188 4504 62474 | 8052 4394 270 | 0.000 % | c | 103981 | 1188 4504 62474 | 8857 5153 270 | 0.000 % | c | 105120 | 1188 4504 62474 | 9743 6292 270 | 0.000 % | c | 106828 | 1188 4504 62474 | 10717 8000 270 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 31.9781 s Remaining CPU time: 148.022 s c =============================================================================== c | 107881 | 1188 4505 62875 | 5000 9053 270 | 0.000 % | c | 107981 | 1188 4505 62875 | 5500 4627 270 | 0.000 % | c | 108131 | 1188 4505 62875 | 6050 4777 270 | 0.000 % | c | 108356 | 1188 4505 62875 | 6655 5002 270 | 0.000 % | c | 108693 | 1188 4505 62875 | 7320 5339 269 | 0.000 % | c | 109199 | 1188 4505 62875 | 8052 5845 269 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 32.727 s Remaining CPU time: 147.273 s c =============================================================================== c | 109885 | 1188 4506 63276 | 5000 6531 269 | 0.000 % | c | 109986 | 1188 4506 63276 | 5500 3367 269 | 0.000 % | c | 110136 | 1188 4506 63276 | 6050 3517 269 | 0.000 % | c | 110361 | 1188 4506 63276 | 6655 3742 269 | 0.000 % | c | 110698 | 1188 4506 63276 | 7320 4079 268 | 0.000 % | c | 111205 | 1188 4506 63276 | 8052 4586 268 | 0.000 % | c | 111964 | 1188 4506 63276 | 8857 5345 268 | 0.000 % | c | 113103 | 1188 4506 63276 | 9743 6484 268 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 34.0878 s Remaining CPU time: 145.912 s c =============================================================================== c | 114340 | 1188 4507 63677 | 5000 7721 268 | 0.000 % | c | 114440 | 1188 4507 63677 | 5500 3961 268 | 0.000 % | c | 114591 | 1188 4507 63677 | 6050 4112 268 | 0.000 % | c | 114816 | 1188 4507 63677 | 6655 4337 267 | 0.000 % | c | 115153 | 1188 4507 63677 | 7320 4674 267 | 0.000 % | c | 115659 | 1188 4507 63677 | 8052 5180 267 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 34.7987 s Remaining CPU time: 145.201 s c =============================================================================== c | 116388 | 1188 4508 64078 | 5000 5909 267 | 0.000 % | c | 116488 | 1188 4508 64078 | 5500 3055 267 | 0.000 % | c | 116638 | 1188 4508 64078 | 6050 3205 266 | 0.000 % | c | 116864 | 1188 4508 64078 | 6655 3431 266 | 0.000 % | c | 117202 | 1188 4508 64078 | 7320 3769 266 | 0.000 % | c | 117708 | 1188 4508 64078 | 8052 4275 266 | 0.000 % | c | 118467 | 1188 4508 64078 | 8857 5034 266 | 0.000 % | c | 119606 | 1188 4508 64078 | 9743 6173 266 | 0.000 % | c | 121315 | 1188 4508 64078 | 10717 7882 266 | 0.000 % | c | 123877 | 1188 4508 64078 | 11789 10444 266 | 0.000 % | c | 127721 | 1188 4508 64078 | 12968 8253 266 | 0.000 % | c | 133487 | 1188 4508 64078 | 14265 7365 266 | 0.000 % | c | 142136 | 1188 4508 64078 | 15692 8726 266 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 48.3956 s Remaining CPU time: 131.604 s c =============================================================================== c | 154396 | 1188 4509 64479 | 5000 13003 266 | 0.000 % | c | 154496 | 1188 4509 64479 | 5500 3351 266 | 0.000 % | c | 154646 | 1188 4509 64479 | 6050 3501 266 | 0.000 % | c | 154872 | 1188 4509 64479 | 6655 3727 266 | 0.000 % | c | 155209 | 1188 4509 64479 | 7320 4064 266 | 0.000 % | c | 155715 | 1188 4509 64479 | 8052 4570 266 | 0.000 % | c | 156474 | 1188 4509 64479 | 8857 5329 266 | 0.000 % | c | 157613 | 1188 4509 64479 | 9743 6468 266 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 49.7214 s Remaining CPU time: 130.279 s c =============================================================================== c | 157931 | 1188 4510 64880 | 5000 6786 265 | 0.000 % | c | 158032 | 1188 4510 64880 | 5500 3494 264 | 0.000 % | c | 158182 | 1188 4510 64880 | 6050 3644 264 | 0.000 % | c | 158408 | 1188 4510 64880 | 6655 3870 264 | 0.000 % | c | 158745 | 1188 4510 64880 | 7320 4207 264 | 0.000 % | c | 159251 | 1188 4510 64880 | 8052 4713 264 | 0.000 % | c | 160010 | 1188 4510 64880 | 8857 5472 264 | 0.000 % | c | 161149 | 1188 4510 64880 | 9743 6611 264 | 0.000 % | c | 162857 | 1188 4510 64880 | 10717 8319 264 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 51.5782 s Remaining CPU time: 128.422 s c =============================================================================== c | 163178 | 1188 4511 65281 | 5000 8640 264 | 0.000 % | c | 163278 | 1188 4511 65281 | 5500 4420 264 | 0.000 % | c | 163429 | 1188 4511 65281 | 6050 4571 264 | 0.000 % | c | 163654 | 1188 4511 65281 | 6655 4796 264 | 0.000 % | c | 163991 | 1188 4511 65281 | 7320 5133 264 | 0.000 % | c | 164498 | 1188 4511 65281 | 8052 5640 264 | 0.000 % | c | 165258 | 1188 4511 65281 | 8857 6400 264 | 0.000 % | c | 166397 | 1188 4511 65281 | 9743 7539 263 | 0.000 % | c | 168105 | 1188 4511 65281 | 10717 9247 263 | 0.000 % | c | 170668 | 1188 4511 65281 | 11789 6292 263 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 54.9207 s Remaining CPU time: 125.079 s c =============================================================================== c | 172158 | 1188 4512 65682 | 5000 7782 263 | 0.000 % | c | 172258 | 1188 4512 65682 | 5500 3991 263 | 0.000 % | c | 172408 | 1188 4512 65682 | 6050 4141 263 | 0.000 % | c | 172634 | 1188 4512 65682 | 6655 4367 263 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 55.2686 s Remaining CPU time: 124.731 s c =============================================================================== c | 172948 | 1188 4513 66083 | 5000 4681 263 | 0.000 % | c | 173048 | 1188 4513 66083 | 5500 4781 263 | 0.000 % | c | 173199 | 1188 4513 66083 | 6050 4932 262 | 0.000 % | c | 173424 | 1188 4513 66083 | 6655 5157 262 | 0.000 % | c | 173761 | 1188 4513 66083 | 7320 5494 262 | 0.000 % | c | 174267 | 1188 4513 66083 | 8052 6000 262 | 0.000 % | c | 175026 | 1188 4513 66083 | 8857 6759 262 | 0.000 % | c | 176165 | 1188 4513 66083 | 9743 7898 262 | 0.000 % | c | 177873 | 1188 4513 66083 | 10717 9606 262 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 57.7882 s Remaining CPU time: 122.212 s c =============================================================================== c | 180301 | 1188 4514 66484 | 5000 6525 261 | 0.000 % | c | 180401 | 1188 4514 66484 | 5500 3363 261 | 0.000 % | c | 180551 | 1188 4514 66484 | 6050 3513 261 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 57.9592 s Remaining CPU time: 122.041 s c =============================================================================== c | 180627 | 1188 4515 66885 | 5000 3589 261 | 0.000 % | c | 180727 | 1188 4515 66885 | 5500 3689 260 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 58.0122 s Remaining CPU time: 121.988 s c =============================================================================== c | 180730 | 1188 4516 67286 | 5000 3692 260 | 0.000 % | c | 180831 | 1188 4516 67286 | 5500 3793 260 | 0.000 % | c | 180982 | 1188 4516 67286 | 6050 3944 260 | 0.000 % | c | 181208 | 1188 4516 67286 | 6655 4170 260 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 58.2541 s Remaining CPU time: 121.746 s c =============================================================================== c | 181398 | 1188 4517 67687 | 5000 4360 260 | 0.000 % | c | 181498 | 1188 4517 67687 | 5500 4460 260 | 0.000 % | c | 181648 | 1188 4517 67687 | 6050 4610 260 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 58.3991 s Remaining CPU time: 121.601 s c =============================================================================== c | 181767 | 1188 4518 68088 | 5000 4729 260 | 0.000 % | c | 181867 | 1188 4518 68088 | 5500 4829 260 | 0.000 % | c | 182017 | 1188 4518 68088 | 6050 4979 260 | 0.000 % | c | 182242 | 1188 4518 68088 | 6655 5204 259 | 0.000 % | c | 182580 | 1188 4518 68088 | 7320 5542 259 | 0.000 % | c | 183086 | 1188 4518 68088 | 8052 6048 259 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 58.896 s Remaining CPU time: 121.104 s c =============================================================================== c | 183212 | 1188 4519 68489 | 5000 6174 259 | 0.000 % | c | 183312 | 1188 4519 68489 | 5500 3187 257 | 0.000 % | c | 183462 | 1188 4519 68489 | 6050 3337 257 | 0.000 % | c | 183687 | 1188 4519 68489 | 6655 3562 256 | 0.000 % | c | 184024 | 1188 4519 68489 | 7320 3899 256 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 59.292 s Remaining CPU time: 120.708 s c =============================================================================== c | 184211 | 1188 4520 68890 | 5000 4086 256 | 0.000 % | c | 184312 | 1188 4520 68890 | 5500 4187 256 | 0.000 % | c | 184462 | 1188 4520 68890 | 6050 4337 256 | 0.000 % | c | 184687 | 1188 4520 68890 | 6655 4562 256 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 59.486 s Remaining CPU time: 120.514 s c =============================================================================== c | 184701 | 1188 4521 69291 | 5000 4576 256 | 0.000 % | c | 184802 | 1188 4521 69291 | 5500 4677 256 | 0.000 % | c | 184952 | 1188 4521 69291 | 6050 4827 256 | 0.000 % | c | 185177 | 1188 4521 69291 | 6655 5052 256 | 0.000 % | c | 185515 | 1188 4521 69291 | 7320 5390 255 | 0.000 % | c | 186021 | 1188 4521 69291 | 8052 5896 255 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 59.9879 s Remaining CPU time: 120.012 s c =============================================================================== c | 186275 | 1188 4522 69692 | 5000 6150 255 | 0.000 % | c | 186375 | 1188 4522 69692 | 5500 3175 253 | 0.000 % | c | 186525 | 1188 4522 69692 | 6050 3325 253 | 0.000 % | c | 186750 | 1188 4522 69692 | 6655 3550 253 | 0.000 % | c | 187087 | 1188 4522 69692 | 7320 3887 253 | 0.000 % | c | 187593 | 1188 4522 69692 | 8052 4393 253 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 60.6228 s Remaining CPU time: 119.377 s c =============================================================================== c | 188112 | 1188 4523 70093 | 5000 4912 253 | 0.000 % | c | 188212 | 1188 4523 70093 | 5500 5012 253 | 0.000 % | c | 188363 | 1188 4523 70093 | 6050 5163 253 | 0.000 % | c | 188588 | 1188 4523 70093 | 6655 5388 252 | 0.000 % | c | 188925 | 1188 4523 70093 | 7320 5725 252 | 0.000 % | c | 189431 | 1188 4523 70093 | 8052 6231 252 | 0.000 % | c | 190190 | 1188 4523 70093 | 8857 6990 252 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 61.7066 s Remaining CPU time: 118.293 s c =============================================================================== c | 190991 | 1188 4524 70494 | 5000 7791 252 | 0.000 % | c | 191091 | 1188 4524 70494 | 5500 3996 251 | 0.000 % | c | 191241 | 1188 4524 70494 | 6050 4146 251 | 0.000 % | c | 191466 | 1188 4524 70494 | 6655 4371 251 | 0.000 % | c | 191804 | 1188 4524 70494 | 7320 4709 251 | 0.000 % | c | 192310 | 1188 4524 70494 | 8052 5215 251 | 0.000 % | c | 193069 | 1188 4524 70494 | 8857 5974 251 | 0.000 % | c | 194208 | 1188 4524 70494 | 9743 7113 250 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 62.9534 s Remaining CPU time: 117.047 s c =============================================================================== c | 194573 | 1188 4525 70895 | 5000 7478 250 | 0.000 % | c | 194673 | 1188 4525 70895 | 5500 3839 250 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 63.0814 s Remaining CPU time: 116.919 s c =============================================================================== c | 194756 | 1188 4526 71296 | 5000 3922 250 | 0.000 % | c | 194856 | 1188 4526 71296 | 5500 4022 250 | 0.000 % | c | 195006 | 1188 4526 71296 | 6050 4172 249 | 0.000 % | c | 195231 | 1188 4526 71296 | 6655 4397 249 | 0.000 % | c | 195569 | 1188 4526 71296 | 7320 4735 249 | 0.000 % | c | 196076 | 1188 4526 71296 | 8052 5242 249 | 0.000 % | c | 196835 | 1188 4526 71296 | 8857 6001 249 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 63.8233 s Remaining CPU time: 116.177 s c =============================================================================== c | 196857 | 1188 4527 71697 | 5000 6023 249 | 0.000 % | c | 196958 | 1188 4527 71697 | 5500 3113 248 | 0.000 % | c | 197109 | 1188 4527 71697 | 6050 3264 248 | 0.000 % | c | 197334 | 1188 4527 71697 | 6655 3489 248 | 0.000 % | c | 197671 | 1188 4527 71697 | 7320 3826 248 | 0.000 % | c | 198177 | 1188 4527 71697 | 8052 4332 248 | 0.000 % | c | 198937 | 1188 4527 71697 | 8857 5092 248 | 0.000 % | c | 200077 | 1188 4527 71697 | 9743 6232 247 | 0.000 % | c | 201785 | 1188 4527 71697 | 10717 7940 247 | 0.000 % | c | 204347 | 1188 4527 71697 | 11789 10502 247 | 0.000 % | c | 208191 | 1188 4527 71697 | 12968 8324 247 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 69.1985 s Remaining CPU time: 110.802 s c =============================================================================== c | 212477 | 1188 4528 72098 | 5000 12610 247 | 0.000 % | c | 212577 | 1188 4528 72098 | 5500 3253 247 | 0.000 % | c | 212727 | 1188 4528 72098 | 6050 3403 247 | 0.000 % | c | 212953 | 1188 4528 72098 | 6655 3629 247 | 0.000 % | c | 213290 | 1188 4528 72098 | 7320 3966 247 | 0.000 % | c | 213796 | 1188 4528 72098 | 8052 4472 246 | 0.000 % | c | 214556 | 1188 4528 72098 | 8857 5232 246 | 0.000 % | c | 215695 | 1188 4528 72098 | 9743 6371 246 | 0.000 % | c | 217404 | 1188 4528 72098 | 10717 8080 246 | 0.000 % | c | 219966 | 1188 4528 72098 | 11789 10642 246 | 0.000 % | c | 223810 | 1188 4528 72098 | 12968 8457 246 | 0.000 % | c | 229576 | 1188 4528 72098 | 14265 7610 246 | 0.000 % | c | 238225 | 1188 4528 72098 | 15692 8985 246 | 0.000 % | c | 251199 | 1188 4528 72098 | 17261 13952 246 | 0.000 % | c | 270662 | 1188 4528 72098 | 18987 15887 246 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 95.2545 s Remaining CPU time: 84.7455 s c =============================================================================== c | 282007 | 1188 4529 72499 | 5000 17599 246 | 0.000 % | c | 282107 | 1188 4529 72499 | 5500 4500 245 | 0.000 % | c | 282257 | 1188 4529 72499 | 6050 4650 245 | 0.000 % | c | 282482 | 1188 4529 72499 | 6655 4875 245 | 0.000 % | c | 282819 | 1188 4529 72499 | 7320 5212 245 | 0.000 % | c | 283325 | 1188 4529 72499 | 8052 5718 245 | 0.000 % | c | 284084 | 1188 4529 72499 | 8857 6477 245 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 96.5603 s Remaining CPU time: 83.4397 s c =============================================================================== c | 285101 | 1188 4530 72900 | 5000 7494 245 | 0.000 % | c | 285202 | 1188 4530 72900 | 5500 3848 244 | 0.000 % | c | 285352 | 1188 4530 72900 | 6050 3998 244 | 0.000 % | c | 285577 | 1188 4530 72900 | 6655 4223 244 | 0.000 % | c | 285914 | 1188 4530 72900 | 7320 4560 244 | 0.000 % | c | 286421 | 1188 4530 72900 | 8052 5067 244 | 0.000 % | c | 287181 | 1188 4530 72900 | 8857 5827 244 | 0.000 % | c | 288320 | 1188 4530 72900 | 9743 6966 244 | 0.000 % | c | 290028 | 1188 4530 72900 | 10717 8674 244 | 0.000 % | c | 292591 | 1188 4530 72900 | 11789 5732 244 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 100.08 s Remaining CPU time: 79.9202 s c =============================================================================== c | 294394 | 1188 4531 73301 | 5000 7535 244 | 0.000 % | c | 294494 | 1188 4531 73301 | 5500 3868 243 | 0.000 % | c | 294644 | 1188 4531 73301 | 6050 4018 243 | 0.000 % | c | 294870 | 1188 4531 73301 | 6655 4244 243 | 0.000 % | c | 295208 | 1188 4531 73301 | 7320 4582 243 | 0.000 % | c | 295714 | 1188 4531 73301 | 8052 5088 243 | 0.000 % | c | 296473 | 1188 4531 73301 | 8857 5847 243 | 0.000 % | c | 297612 | 1188 4531 73301 | 9743 6986 243 | 0.000 % | c | 299320 | 1188 4531 73301 | 10717 8694 243 | 0.000 % | c | 301883 | 1188 4531 73301 | 11789 5750 243 | 0.000 % | c | 305729 | 1188 4531 73301 | 12968 9596 243 | 0.000 % | c | 311495 | 1188 4531 73301 | 14265 8738 243 | 0.000 % | c | 320144 | 1188 4531 73301 | 15692 10125 243 | 0.000 % | c | 333118 | 1188 4531 73301 | 17261 15114 243 | 0.000 % |