c wbo 1.4 beta - 20100610 c | Number of variables: 800 | c | Number of clauses: 4398 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1189 | c | Number Clauses: 4385 | 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 | 1189 4385 9168 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1189 4386 9570 | 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 | 1189 4387 9972 | 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 | 1189 4388 10374 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1189 4389 10776 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1189 4390 11178 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1189 4391 11580 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1189 4392 11982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1189 4393 12384 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1189 4394 12786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1189 4395 13188 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 1189 4396 13590 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 1189 4397 13992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1189 4398 14394 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 1189 4399 14796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 1189 4400 15198 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 1189 4401 15600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 1189 4402 16002 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 1189 4403 16404 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 1189 4404 16806 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 1189 4405 17208 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 1189 4406 17610 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 1189 4407 18012 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 1189 4408 18414 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 1189 4409 18816 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 3 | 1189 4410 19218 | 5000 3 379 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 3 | 1189 4411 19620 | 5000 3 379 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 3 | 1189 4412 20022 | 5000 3 379 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 3 | 1189 4413 20424 | 5000 3 379 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 3 | 1189 4414 20826 | 5000 3 379 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 3 | 1189 4415 21228 | 5000 3 379 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 3 | 1189 4416 21630 | 5000 3 379 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 3 | 1189 4417 22032 | 5000 3 379 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 3 | 1189 4418 22434 | 5000 3 379 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 3 | 1189 4419 22836 | 5000 3 379 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 3 | 1189 4420 23238 | 5000 3 379 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 3 | 1189 4421 23640 | 5000 3 379 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 3 | 1189 4422 24042 | 5000 3 379 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 4 | 1189 4423 24444 | 5000 4 376 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 5 | 1189 4424 24846 | 5000 5 373 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 5 | 1189 4425 25248 | 5000 5 373 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 5 | 1189 4426 25650 | 5000 5 373 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 5 | 1189 4427 26052 | 5000 5 373 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s c =============================================================================== c | 5 | 1189 4428 26454 | 5000 5 373 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 22 | 1189 4429 26856 | 5000 22 363 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 35 | 1189 4430 27258 | 5000 35 361 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 48 | 1189 4431 27660 | 5000 48 360 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s c =============================================================================== c | 56 | 1189 4432 28062 | 5000 56 360 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 69 | 1189 4433 28464 | 5000 69 359 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 80 | 1189 4434 28866 | 5000 80 358 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 92 | 1189 4435 29268 | 5000 92 358 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 100 | 1189 4436 29670 | 5000 100 357 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 112 | 1189 4437 30072 | 5000 112 357 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 124 | 1189 4438 30474 | 5000 124 356 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.172973 s Remaining CPU time: 179.827 s c =============================================================================== c | 132 | 1189 4439 30876 | 5000 132 356 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.179972 s Remaining CPU time: 179.82 s c =============================================================================== c | 149 | 1189 4440 31278 | 5000 149 355 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.184971 s Remaining CPU time: 179.815 s c =============================================================================== c | 153 | 1189 4441 31680 | 5000 153 355 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.19097 s Remaining CPU time: 179.809 s c =============================================================================== c | 156 | 1189 4442 32082 | 5000 156 355 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 162 | 1189 4443 32484 | 5000 162 354 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 175 | 1189 4444 32886 | 5000 175 354 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s c =============================================================================== c | 189 | 1189 4445 33288 | 5000 189 353 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.222966 s Remaining CPU time: 179.777 s c =============================================================================== c | 240 | 1189 4446 33690 | 5000 240 351 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.234964 s Remaining CPU time: 179.765 s c =============================================================================== c | 287 | 1189 4447 34092 | 5000 287 349 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s c =============================================================================== c | 335 | 1189 4448 34494 | 5000 335 348 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.26096 s Remaining CPU time: 179.739 s c =============================================================================== c | 390 | 1189 4449 34896 | 5000 390 347 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.280957 s Remaining CPU time: 179.719 s c =============================================================================== c | 467 | 1189 4450 35298 | 5000 467 346 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.288956 s Remaining CPU time: 179.711 s c =============================================================================== c | 495 | 1189 4451 35700 | 5000 495 345 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.301954 s Remaining CPU time: 179.698 s c =============================================================================== c | 539 | 1189 4452 36102 | 5000 539 345 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.316951 s Remaining CPU time: 179.683 s c =============================================================================== c | 601 | 1189 4453 36504 | 5000 601 344 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.32595 s Remaining CPU time: 179.674 s c =============================================================================== c | 616 | 1189 4454 36906 | 5000 616 344 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.337948 s Remaining CPU time: 179.662 s c =============================================================================== c | 661 | 1189 4455 37308 | 5000 661 343 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s c =============================================================================== c | 715 | 1189 4456 37710 | 5000 715 342 | 0.000 % | c | 815 | 1189 4456 37710 | 5500 815 341 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.381941 s Remaining CPU time: 179.618 s c =============================================================================== c | 823 | 1189 4457 38112 | 5000 823 341 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.396939 s Remaining CPU time: 179.603 s c =============================================================================== c | 880 | 1189 4458 38514 | 5000 880 340 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.417936 s Remaining CPU time: 179.582 s c =============================================================================== c | 961 | 1189 4459 38916 | 5000 961 339 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.433934 s Remaining CPU time: 179.566 s c =============================================================================== c | 1010 | 1189 4460 39318 | 5000 1010 339 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.451931 s Remaining CPU time: 179.548 s c =============================================================================== c | 1083 | 1189 4461 39720 | 5000 1083 338 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.467928 s Remaining CPU time: 179.532 s c =============================================================================== c | 1137 | 1189 4462 40122 | 5000 1137 338 | 0.000 % | c | 1237 | 1189 4462 40122 | 5500 1237 337 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.502923 s Remaining CPU time: 179.497 s c =============================================================================== c | 1277 | 1189 4463 40524 | 5000 1277 336 | 0.000 % | c | 1377 | 1189 4463 40524 | 5500 1377 336 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.548916 s Remaining CPU time: 179.451 s c =============================================================================== c | 1467 | 1189 4464 40926 | 5000 1467 335 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.558915 s Remaining CPU time: 179.441 s c =============================================================================== c | 1485 | 1189 4465 41328 | 5000 1485 335 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.575912 s Remaining CPU time: 179.424 s c =============================================================================== c | 1536 | 1189 4466 41730 | 5000 1536 334 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.58891 s Remaining CPU time: 179.411 s c =============================================================================== c | 1577 | 1189 4467 42132 | 5000 1577 334 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.605907 s Remaining CPU time: 179.394 s c =============================================================================== c | 1654 | 1189 4468 42534 | 5000 1654 334 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.615906 s Remaining CPU time: 179.384 s c =============================================================================== c | 1675 | 1189 4469 42936 | 5000 1675 333 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.636903 s Remaining CPU time: 179.363 s c =============================================================================== c | 1744 | 1189 4470 43338 | 5000 1744 333 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.648901 s Remaining CPU time: 179.351 s c =============================================================================== c | 1768 | 1189 4471 43740 | 5000 1768 333 | 0.000 % | c | 1868 | 1189 4471 43740 | 5500 1868 332 | 0.000 % | c | 2018 | 1189 4471 43740 | 6050 2018 331 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.747886 s Remaining CPU time: 179.252 s c =============================================================================== c | 2113 | 1189 4472 44142 | 5000 2113 330 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.760884 s Remaining CPU time: 179.239 s c =============================================================================== c | 2133 | 1189 4473 44544 | 5000 2133 330 | 0.000 % | c | 2233 | 1189 4473 44544 | 5500 2233 329 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.797878 s Remaining CPU time: 179.202 s c =============================================================================== c | 2247 | 1189 4474 44946 | 5000 2247 329 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.820875 s Remaining CPU time: 179.179 s c =============================================================================== c | 2312 | 1189 4475 45348 | 5000 2312 329 | 0.000 % | c | 2413 | 1189 4475 45348 | 5500 2413 328 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.855869 s Remaining CPU time: 179.144 s c =============================================================================== c | 2414 | 1189 4476 45750 | 5000 2414 328 | 0.000 % | c | 2515 | 1189 4476 45750 | 5500 2515 327 | 0.000 % | c | 2665 | 1189 4476 45750 | 6050 2665 327 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.934857 s Remaining CPU time: 179.065 s c =============================================================================== c | 2665 | 1189 4477 46152 | 5000 2665 327 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.944856 s Remaining CPU time: 179.055 s c =============================================================================== c | 2671 | 1189 4478 46554 | 5000 2671 327 | 0.000 % | c | 2771 | 1189 4478 46554 | 5500 2771 326 | 0.000 % | c | 2921 | 1189 4478 46554 | 6050 2921 325 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 1.06184 s Remaining CPU time: 178.938 s c =============================================================================== c | 3053 | 1189 4479 46956 | 5000 3053 325 | 0.000 % | c | 3154 | 1189 4479 46956 | 5500 3154 324 | 0.000 % | c | 3304 | 1189 4479 46956 | 6050 3304 323 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 1.14383 s Remaining CPU time: 178.856 s c =============================================================================== c | 3332 | 1189 4480 47358 | 5000 3332 323 | 0.000 % | c | 3433 | 1189 4480 47358 | 5500 3433 323 | 0.000 % | c | 3584 | 1189 4480 47358 | 6050 3584 322 | 0.000 % | c | 3810 | 1189 4480 47358 | 6655 3810 321 | 0.000 % | c | 4147 | 1189 4480 47358 | 7320 4147 320 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 1.38079 s Remaining CPU time: 178.619 s c =============================================================================== c | 4154 | 1189 4481 47760 | 5000 4154 320 | 0.000 % | c | 4254 | 1189 4481 47760 | 5500 4254 320 | 0.000 % | c | 4404 | 1189 4481 47760 | 6050 4404 319 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 1.46278 s Remaining CPU time: 178.537 s c =============================================================================== c | 4427 | 1189 4482 48162 | 5000 4427 319 | 0.000 % | c | 4527 | 1189 4482 48162 | 5500 4527 319 | 0.000 % | c | 4680 | 1189 4482 48162 | 6050 4680 319 | 0.000 % | c | 4905 | 1189 4482 48162 | 6655 4905 318 | 0.000 % | c | 5242 | 1189 4482 48162 | 7320 5242 317 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 1.73074 s Remaining CPU time: 178.269 s c =============================================================================== c | 5467 | 1189 4483 48564 | 5000 5467 317 | 0.000 % | c | 5567 | 1189 4483 48564 | 5500 2834 308 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 1.77773 s Remaining CPU time: 178.222 s c =============================================================================== c | 5578 | 1189 4484 48966 | 5000 2845 308 | 0.000 % | c | 5678 | 1189 4484 48966 | 5500 2945 307 | 0.000 % | c | 5829 | 1189 4484 48966 | 6050 3096 307 | 0.000 % | c | 6055 | 1189 4484 48966 | 6655 3322 307 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 1.9777 s Remaining CPU time: 178.022 s c =============================================================================== c | 6287 | 1189 4485 49368 | 5000 3554 307 | 0.000 % | c | 6387 | 1189 4485 49368 | 5500 3654 307 | 0.000 % | c | 6538 | 1189 4485 49368 | 6050 3805 307 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 2.09968 s Remaining CPU time: 177.9 s c =============================================================================== c | 6754 | 1189 4486 49770 | 5000 4021 306 | 0.000 % | c | 6855 | 1189 4486 49770 | 5500 4122 306 | 0.000 % | c | 7005 | 1189 4486 49770 | 6050 4272 306 | 0.000 % | c | 7230 | 1189 4486 49770 | 6655 4497 306 | 0.000 % | c | 7567 | 1189 4486 49770 | 7320 4834 306 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 2.37064 s Remaining CPU time: 177.629 s c =============================================================================== c | 7792 | 1189 4487 50172 | 5000 5059 306 | 0.000 % | c | 7892 | 1189 4487 50172 | 5500 2630 303 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 2.44663 s Remaining CPU time: 177.553 s c =============================================================================== c | 7983 | 1189 4488 50574 | 5000 2721 303 | 0.000 % | c | 8083 | 1189 4488 50574 | 5500 2821 303 | 0.000 % | c | 8233 | 1189 4488 50574 | 6050 2971 303 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 2.54961 s Remaining CPU time: 177.45 s c =============================================================================== c | 8334 | 1189 4489 50976 | 5000 3072 303 | 0.000 % | c | 8434 | 1189 4489 50976 | 5500 3172 303 | 0.000 % | c | 8585 | 1189 4489 50976 | 6050 3323 302 | 0.000 % | c | 8810 | 1189 4489 50976 | 6655 3548 302 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 2.74058 s Remaining CPU time: 177.259 s c =============================================================================== c | 9033 | 1189 4490 51378 | 5000 3771 302 | 0.000 % | c | 9134 | 1189 4490 51378 | 5500 3872 302 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 2.81057 s Remaining CPU time: 177.189 s c =============================================================================== c | 9281 | 1189 4491 51780 | 5000 4019 302 | 0.000 % | c | 9381 | 1189 4491 51780 | 5500 4119 302 | 0.000 % | c | 9531 | 1189 4491 51780 | 6050 4269 302 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 2.94155 s Remaining CPU time: 177.058 s c =============================================================================== c | 9729 | 1189 4492 52182 | 5000 4467 301 | 0.000 % | c | 9829 | 1189 4492 52182 | 5500 4567 301 | 0.000 % | c | 9980 | 1189 4492 52182 | 6050 4718 301 | 0.000 % | c | 10205 | 1189 4492 52182 | 6655 4943 301 | 0.000 % | c | 10542 | 1189 4492 52182 | 7320 5280 301 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 3.24651 s Remaining CPU time: 176.753 s c =============================================================================== c | 10782 | 1189 4493 52584 | 5000 5520 300 | 0.000 % | c | 10882 | 1189 4493 52584 | 5500 2860 297 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 3.32449 s Remaining CPU time: 176.676 s c =============================================================================== c | 10964 | 1189 4494 52986 | 5000 2942 297 | 0.000 % | c | 11065 | 1189 4494 52986 | 5500 3043 297 | 0.000 % | c | 11215 | 1189 4494 52986 | 6050 3193 297 | 0.000 % | c | 11441 | 1189 4494 52986 | 6655 3419 297 | 0.000 % | c | 11778 | 1189 4494 52986 | 7320 3756 297 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 3.59945 s Remaining CPU time: 176.401 s c =============================================================================== c | 11892 | 1189 4495 53388 | 5000 3870 297 | 0.000 % | c | 11992 | 1189 4495 53388 | 5500 3970 297 | 0.000 % | c | 12142 | 1189 4495 53388 | 6050 4120 296 | 0.000 % | c | 12367 | 1189 4495 53388 | 6655 4345 296 | 0.000 % | c | 12705 | 1189 4495 53388 | 7320 4683 296 | 0.000 % | c | 13211 | 1189 4495 53388 | 8052 5189 296 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 4.09638 s Remaining CPU time: 175.904 s c =============================================================================== c | 13840 | 1189 4496 53790 | 5000 5818 296 | 0.000 % | c | 13940 | 1189 4496 53790 | 5500 3009 293 | 0.000 % | c | 14090 | 1189 4496 53790 | 6050 3159 293 | 0.000 % | c | 14315 | 1189 4496 53790 | 6655 3384 293 | 0.000 % | c | 14653 | 1189 4496 53790 | 7320 3722 293 | 0.000 % | c | 15160 | 1189 4496 53790 | 8052 4229 293 | 0.000 % | c | 15920 | 1189 4496 53790 | 8857 4989 293 | 0.000 % | c | 17059 | 1189 4496 53790 | 9743 6128 293 | 0.000 % | c | 18768 | 1189 4496 53790 | 10717 7837 293 | 0.000 % | c | 21330 | 1189 4496 53790 | 11789 10399 293 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 7.09692 s Remaining CPU time: 172.903 s c =============================================================================== c | 23137 | 1189 4497 54192 | 5000 6135 293 | 0.000 % | c | 23237 | 1189 4497 54192 | 5500 3168 293 | 0.000 % | c | 23388 | 1189 4497 54192 | 6050 3319 293 | 0.000 % | c | 23613 | 1189 4497 54192 | 6655 3544 292 | 0.000 % | c | 23950 | 1189 4497 54192 | 7320 3881 292 | 0.000 % | c | 24456 | 1189 4497 54192 | 8052 4387 292 | 0.000 % | c | 25215 | 1189 4497 54192 | 8857 5146 292 | 0.000 % | c | 26354 | 1189 4497 54192 | 9743 6285 292 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 8.49871 s Remaining CPU time: 171.501 s c =============================================================================== c | 27362 | 1189 4498 54594 | 5000 7293 292 | 0.000 % | c | 27462 | 1189 4498 54594 | 5500 3747 291 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 8.60069 s Remaining CPU time: 171.399 s c =============================================================================== c | 27468 | 1189 4499 54996 | 5000 3753 291 | 0.000 % | c | 27569 | 1189 4499 54996 | 5500 3854 291 | 0.000 % | c | 27719 | 1189 4499 54996 | 6050 4004 291 | 0.000 % | c | 27944 | 1189 4499 54996 | 6655 4229 291 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 8.84765 s Remaining CPU time: 171.152 s c =============================================================================== c | 28254 | 1189 4500 55398 | 5000 4539 291 | 0.000 % | c | 28355 | 1189 4500 55398 | 5500 4640 291 | 0.000 % | c | 28505 | 1189 4500 55398 | 6050 4790 291 | 0.000 % | c | 28730 | 1189 4500 55398 | 6655 5015 291 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 9.03163 s Remaining CPU time: 170.968 s c =============================================================================== c | 28789 | 1189 4501 55800 | 5000 5074 291 | 0.000 % | c | 28889 | 1189 4501 55800 | 5500 2637 290 | 0.000 % | c | 29039 | 1189 4501 55800 | 6050 2787 289 | 0.000 % | c | 29264 | 1189 4501 55800 | 6655 3012 289 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 9.29159 s Remaining CPU time: 170.708 s c =============================================================================== c | 29599 | 1189 4502 56202 | 5000 3347 289 | 0.000 % | c | 29700 | 1189 4502 56202 | 5500 3448 289 | 0.000 % | c | 29850 | 1189 4502 56202 | 6050 3598 289 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 9.39757 s Remaining CPU time: 170.602 s c =============================================================================== c | 29912 | 1189 4503 56604 | 5000 3660 289 | 0.000 % | c | 30012 | 1189 4503 56604 | 5500 3760 289 | 0.000 % | c | 30163 | 1189 4503 56604 | 6050 3911 289 | 0.000 % | c | 30388 | 1189 4503 56604 | 6655 4136 288 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 9.63654 s Remaining CPU time: 170.363 s c =============================================================================== c | 30717 | 1189 4504 57006 | 5000 4465 288 | 0.000 % | c | 30817 | 1189 4504 57006 | 5500 4565 288 | 0.000 % | c | 30968 | 1189 4504 57006 | 6050 4716 288 | 0.000 % | c | 31193 | 1189 4504 57006 | 6655 4941 288 | 0.000 % | c | 31530 | 1189 4504 57006 | 7320 5278 288 | 0.000 % | c | 32036 | 1189 4504 57006 | 8052 5784 287 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 10.1365 s Remaining CPU time: 169.864 s c =============================================================================== c | 32364 | 1189 4505 57408 | 5000 6112 287 | 0.000 % | c | 32464 | 1189 4505 57408 | 5500 3156 285 | 0.000 % | c | 32614 | 1189 4505 57408 | 6050 3306 285 | 0.000 % | c | 32839 | 1189 4505 57408 | 6655 3531 285 | 0.000 % | c | 33176 | 1189 4505 57408 | 7320 3868 285 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 10.4754 s Remaining CPU time: 169.525 s c =============================================================================== c | 33303 | 1189 4506 57810 | 5000 3995 285 | 0.000 % | c | 33403 | 1189 4506 57810 | 5500 4095 285 | 0.000 % | c | 33553 | 1189 4506 57810 | 6050 4245 284 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 10.6234 s Remaining CPU time: 169.377 s c =============================================================================== c | 33696 | 1189 4507 58212 | 5000 4388 284 | 0.000 % | c | 33797 | 1189 4507 58212 | 5500 4489 284 | 0.000 % | c | 33947 | 1189 4507 58212 | 6050 4639 284 | 0.000 % | c | 34173 | 1189 4507 58212 | 6655 4865 284 | 0.000 % | c | 34510 | 1189 4507 58212 | 7320 5202 284 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 10.8933 s Remaining CPU time: 169.107 s c =============================================================================== c | 34513 | 1189 4508 58614 | 5000 5205 284 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 10.9393 s Remaining CPU time: 169.061 s c =============================================================================== c | 34581 | 1189 4509 59016 | 5000 2671 283 | 0.000 % | c | 34681 | 1189 4509 59016 | 5500 2771 283 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 10.9933 s Remaining CPU time: 169.007 s c =============================================================================== c | 34712 | 1189 4510 59418 | 5000 2802 283 | 0.000 % | c | 34812 | 1189 4510 59418 | 5500 2902 282 | 0.000 % | c | 34962 | 1189 4510 59418 | 6050 3052 282 | 0.000 % | c | 35189 | 1189 4510 59418 | 6655 3279 282 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 11.2293 s Remaining CPU time: 168.771 s c =============================================================================== c | 35510 | 1189 4511 59820 | 5000 3600 282 | 0.000 % | c | 35610 | 1189 4511 59820 | 5500 3700 282 | 0.000 % | c | 35760 | 1189 4511 59820 | 6050 3850 281 | 0.000 % | c | 35985 | 1189 4511 59820 | 6655 4075 281 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 11.3963 s Remaining CPU time: 168.604 s c =============================================================================== c | 36020 | 1189 4512 60222 | 5000 4110 281 | 0.000 % | c | 36120 | 1189 4512 60222 | 5500 4210 281 | 0.000 % | c | 36270 | 1189 4512 60222 | 6050 4360 281 | 0.000 % | c | 36495 | 1189 4512 60222 | 6655 4585 281 | 0.000 % | c | 36832 | 1189 4512 60222 | 7320 4922 280 | 0.000 % | c | 37338 | 1189 4512 60222 | 8052 5428 280 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 11.8872 s Remaining CPU time: 168.113 s c =============================================================================== c | 37688 | 1189 4513 60624 | 5000 5778 280 | 0.000 % | c | 37788 | 1189 4513 60624 | 5500 2989 277 | 0.000 % | c | 37939 | 1189 4513 60624 | 6050 3140 277 | 0.000 % | c | 38164 | 1189 4513 60624 | 6655 3365 277 | 0.000 % | c | 38502 | 1189 4513 60624 | 7320 3703 277 | 0.000 % | c | 39008 | 1189 4513 60624 | 8052 4209 277 | 0.000 % | c | 39767 | 1189 4513 60624 | 8857 4968 276 | 0.000 % | c | 40906 | 1189 4513 60624 | 9743 6107 276 | 0.000 % | c | 42615 | 1189 4513 60624 | 10717 7816 276 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 13.6939 s Remaining CPU time: 166.306 s c =============================================================================== c | 43738 | 1189 4514 61026 | 5000 8939 276 | 0.000 % | c | 43839 | 1189 4514 61026 | 5500 4571 276 | 0.000 % | c | 43989 | 1189 4514 61026 | 6050 4721 276 | 0.000 % | c | 44214 | 1189 4514 61026 | 6655 4946 276 | 0.000 % | c | 44551 | 1189 4514 61026 | 7320 5283 276 | 0.000 % | c | 45058 | 1189 4514 61026 | 8052 5790 276 | 0.000 % | c | 45817 | 1189 4514 61026 | 8857 6549 275 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 14.4838 s Remaining CPU time: 165.516 s c =============================================================================== c | 45972 | 1189 4515 61428 | 5000 6704 275 | 0.000 % | c | 46073 | 1189 4515 61428 | 5500 3453 275 | 0.000 % | c | 46225 | 1189 4515 61428 | 6050 3605 275 | 0.000 % | c | 46451 | 1189 4515 61428 | 6655 3831 275 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 14.7238 s Remaining CPU time: 165.276 s c =============================================================================== c | 46543 | 1189 4516 61830 | 5000 3923 275 | 0.000 % | c | 46644 | 1189 4516 61830 | 5500 4024 275 | 0.000 % | c | 46794 | 1189 4516 61830 | 6050 4174 275 | 0.000 % | c | 47019 | 1189 4516 61830 | 6655 4399 275 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 14.9497 s Remaining CPU time: 165.05 s c =============================================================================== c | 47210 | 1189 4517 62232 | 5000 4590 275 | 0.000 % | c | 47310 | 1189 4517 62232 | 5500 4690 275 | 0.000 % | c | 47460 | 1189 4517 62232 | 6050 4840 275 | 0.000 % | c | 47687 | 1189 4517 62232 | 6655 5067 274 | 0.000 % | c | 48024 | 1189 4517 62232 | 7320 5404 274 | 0.000 % | c | 48531 | 1189 4517 62232 | 8052 5911 274 | 0.000 % | c | 49290 | 1189 4517 62232 | 8857 6670 274 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 15.6506 s Remaining CPU time: 164.349 s c =============================================================================== c | 49328 | 1189 4518 62634 | 5000 6708 274 | 0.000 % | c | 49428 | 1189 4518 62634 | 5500 3454 272 | 0.000 % | c | 49578 | 1189 4518 62634 | 6050 3604 272 | 0.000 % | c | 49803 | 1189 4518 62634 | 6655 3829 272 | 0.000 % | c | 50140 | 1189 4518 62634 | 7320 4166 272 | 0.000 % | c | 50646 | 1189 4518 62634 | 8052 4672 272 | 0.000 % | c | 51405 | 1189 4518 62634 | 8857 5431 272 | 0.000 % | c | 52544 | 1189 4518 62634 | 9743 6570 271 | 0.000 % | c | 54252 | 1189 4518 62634 | 10717 8278 271 | 0.000 % | c | 56814 | 1189 4518 62634 | 11789 10840 271 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 19.1461 s Remaining CPU time: 160.854 s c =============================================================================== c | 58937 | 1189 4519 63036 | 5000 6903 270 | 0.000 % | c | 59037 | 1189 4519 63036 | 5500 3552 270 | 0.000 % | c | 59188 | 1189 4519 63036 | 6050 3703 270 | 0.000 % | c | 59413 | 1189 4519 63036 | 6655 3928 270 | 0.000 % | c | 59751 | 1189 4519 63036 | 7320 4266 270 | 0.000 % | c | 60257 | 1189 4519 63036 | 8052 4772 270 | 0.000 % | c | 61016 | 1189 4519 63036 | 8857 5531 270 | 0.000 % | c | 62156 | 1189 4519 63036 | 9743 6671 270 | 0.000 % | c | 63866 | 1189 4519 63036 | 10717 8381 270 | 0.000 % | c | 66429 | 1189 4519 63036 | 11789 10944 270 | 0.000 % | c | 70273 | 1189 4519 63036 | 12968 8728 270 | 0.000 % | c | 76039 | 1189 4519 63036 | 14265 7859 270 | 0.000 % | c | 84688 | 1189 4519 63036 | 15692 9231 270 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 32.3741 s Remaining CPU time: 147.626 s c =============================================================================== c | 96409 | 1189 4520 63438 | 5000 12968 270 | 0.000 % | c | 96509 | 1189 4520 63438 | 5500 3342 270 | 0.000 % | c | 96659 | 1189 4520 63438 | 6050 3492 269 | 0.000 % | c | 96884 | 1189 4520 63438 | 6655 3717 269 | 0.000 % | c | 97221 | 1189 4520 63438 | 7320 4054 269 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 32.877 s Remaining CPU time: 147.123 s c =============================================================================== c | 97368 | 1189 4521 63840 | 5000 4201 269 | 0.000 % | c | 97468 | 1189 4521 63840 | 5500 4301 269 | 0.000 % | c | 97618 | 1189 4521 63840 | 6050 4451 269 | 0.000 % | c | 97843 | 1189 4521 63840 | 6655 4676 269 | 0.000 % | c | 98180 | 1189 4521 63840 | 7320 5013 269 | 0.000 % | c | 98686 | 1189 4521 63840 | 8052 5519 269 | 0.000 % | c | 99446 | 1189 4521 63840 | 8857 6279 269 | 0.000 % | c | 100585 | 1189 4521 63840 | 9743 7418 268 | 0.000 % | c | 102293 | 1189 4521 63840 | 10717 9126 268 | 0.000 % | c | 104855 | 1189 4521 63840 | 11789 6193 267 | 0.000 % | c | 108700 | 1189 4521 63840 | 12968 10038 267 | 0.000 % | c | 114467 | 1189 4521 63840 | 14265 9161 267 | 0.000 % | c | 123117 | 1189 4521 63840 | 15692 10512 268 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 41.6597 s Remaining CPU time: 138.34 s c =============================================================================== c | 124225 | 1189 4522 64242 | 5000 11620 268 | 0.000 % | c | 124326 | 1189 4522 64242 | 5500 3006 267 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 41.8206 s Remaining CPU time: 138.179 s c =============================================================================== c | 124441 | 1189 4523 64644 | 5000 3121 267 | 0.000 % | c | 124541 | 1189 4523 64644 | 5500 3221 267 | 0.000 % | c | 124691 | 1189 4523 64644 | 6050 3371 267 | 0.000 % | c | 124916 | 1189 4523 64644 | 6655 3596 267 | 0.000 % | c | 125253 | 1189 4523 64644 | 7320 3933 267 | 0.000 % | c | 125759 | 1189 4523 64644 | 8052 4439 267 | 0.000 % | c | 126519 | 1189 4523 64644 | 8857 5199 267 | 0.000 % | c | 127659 | 1189 4523 64644 | 9743 6339 267 | 0.000 % | c | 129367 | 1189 4523 64644 | 10717 8047 266 | 0.000 % | c | 131930 | 1189 4523 64644 | 11789 10610 266 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 44.7412 s Remaining CPU time: 135.259 s c =============================================================================== c | 134188 | 1189 4524 65046 | 5000 6828 266 | 0.000 % | c | 134288 | 1189 4524 65046 | 5500 3514 266 | 0.000 % | c | 134438 | 1189 4524 65046 | 6050 3664 266 | 0.000 % | c | 134663 | 1189 4524 65046 | 6655 3889 265 | 0.000 % | c | 135001 | 1189 4524 65046 | 7320 4227 265 | 0.000 % | c | 135507 | 1189 4524 65046 | 8052 4733 265 | 0.000 % | c | 136266 | 1189 4524 65046 | 8857 5492 265 | 0.000 % | c | 137406 | 1189 4524 65046 | 9743 6632 265 | 0.000 % | c | 139114 | 1189 4524 65046 | 10717 8340 265 | 0.000 % | c | 141676 | 1189 4524 65046 | 11789 10902 265 | 0.000 % | c | 145520 | 1189 4524 65046 | 12968 8693 264 | 0.000 % | c | 151286 | 1189 4524 65046 | 14265 7838 264 | 0.000 % | c | 159936 | 1189 4524 65046 | 15692 9193 265 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 53.5579 s Remaining CPU time: 126.442 s c =============================================================================== c | 161716 | 1189 4525 65448 | 5000 10973 265 | 0.000 % | c | 161816 | 1189 4525 65448 | 5500 2844 265 | 0.000 % | c | 161966 | 1189 4525 65448 | 6050 2994 265 | 0.000 % | c | 162191 | 1189 4525 65448 | 6655 3219 265 | 0.000 % | c | 162528 | 1189 4525 65448 | 7320 3556 265 | 0.000 % | c | 163034 | 1189 4525 65448 | 8052 4062 264 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 54.2018 s Remaining CPU time: 125.798 s c =============================================================================== c | 163441 | 1189 4526 65850 | 5000 4469 264 | 0.000 % | c | 163541 | 1189 4526 65850 | 5500 4569 264 | 0.000 % | c | 163691 | 1189 4526 65850 | 6050 4719 264 | 0.000 % | c | 163917 | 1189 4526 65850 | 6655 4945 264 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 54.4427 s Remaining CPU time: 125.557 s c =============================================================================== c | 164137 | 1189 4527 66252 | 5000 5165 264 | 0.000 % | c | 164237 | 1189 4527 66252 | 5500 2683 263 | 0.000 % | c | 164388 | 1189 4527 66252 | 6050 2834 263 | 0.000 % | c | 164614 | 1189 4527 66252 | 6655 3060 263 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 54.6517 s Remaining CPU time: 125.348 s c =============================================================================== c | 164652 | 1189 4528 66654 | 5000 3098 263 | 0.000 % | c | 164752 | 1189 4528 66654 | 5500 3198 263 | 0.000 % | c | 164902 | 1189 4528 66654 | 6050 3348 263 | 0.000 % | c | 165128 | 1189 4528 66654 | 6655 3574 263 | 0.000 % | c | 165465 | 1189 4528 66654 | 7320 3911 263 | 0.000 % | c | 165972 | 1189 4528 66654 | 8052 4418 262 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 55.2156 s Remaining CPU time: 124.784 s c =============================================================================== c | 166447 | 1189 4529 67056 | 5000 4893 262 | 0.000 % | c | 166547 | 1189 4529 67056 | 5500 4993 262 | 0.000 % | c | 166698 | 1189 4529 67056 | 6050 5144 262 | 0.000 % | c | 166924 | 1189 4529 67056 | 6655 5370 262 | 0.000 % | c | 167261 | 1189 4529 67056 | 7320 5707 262 | 0.000 % | c | 167767 | 1189 4529 67056 | 8052 6213 262 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 55.9585 s Remaining CPU time: 124.042 s c =============================================================================== c | 168367 | 1189 4530 67458 | 5000 6813 262 | 0.000 % | c | 168468 | 1189 4530 67458 | 5500 3508 260 | 0.000 % | c | 168618 | 1189 4530 67458 | 6050 3658 260 | 0.000 % | c | 168844 | 1189 4530 67458 | 6655 3884 260 | 0.000 % | c | 169182 | 1189 4530 67458 | 7320 4222 260 | 0.000 % | c | 169689 | 1189 4530 67458 | 8052 4729 260 | 0.000 % | c | 170448 | 1189 4530 67458 | 8857 5488 260 | 0.000 % | c | 171587 | 1189 4530 67458 | 9743 6627 260 | 0.000 % | c | 173295 | 1189 4530 67458 | 10717 8335 259 | 0.000 % | c | 175857 | 1189 4530 67458 | 11789 10897 259 | 0.000 % | c | 179701 | 1189 4530 67458 | 12968 8701 259 | 0.000 % | c | 185468 | 1189 4530 67458 | 14265 7838 259 | 0.000 % | c | 194118 | 1189 4530 67458 | 15692 9224 259 | 0.000 % | c | 207093 | 1189 4530 67458 | 17261 14219 259 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 70.8162 s Remaining CPU time: 109.184 s c =============================================================================== c | 207098 | 1189 4531 67860 | 5000 14224 259 | 0.000 % | c | 207198 | 1189 4531 67860 | 5500 3656 259 | 0.000 % | c | 207348 | 1189 4531 67860 | 6050 3806 259 | 0.000 % | c | 207573 | 1189 4531 67860 | 6655 4031 259 | 0.000 % | c | 207910 | 1189 4531 67860 | 7320 4368 259 | 0.000 % | c | 208417 | 1189 4531 67860 | 8052 4875 259 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 71.5731 s Remaining CPU time: 108.427 s c =============================================================================== c | 208632 | 1189 4532 68262 | 5000 5090 259 | 0.000 % | c | 208732 | 1189 4532 68262 | 5500 2645 258 | 0.000 % | c | 208882 | 1189 4532 68262 | 6050 2795 258 | 0.000 % | c | 209107 | 1189 4532 68262 | 6655 3020 258 | 0.000 % | c | 209445 | 1189 4532 68262 | 7320 3358 258 | 0.000 % | c | 209951 | 1189 4532 68262 | 8052 3864 258 | 0.000 % | c | 210711 | 1189 4532 68262 | 8857 4624 258 | 0.000 % | c | 211850 | 1189 4532 68262 | 9743 5763 258 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 72.9339 s Remaining CPU time: 107.066 s c =============================================================================== c | 212842 | 1189 4533 68664 | 5000 6755 257 | 0.000 % | c | 212942 | 1189 4533 68664 | 5500 3478 257 | 0.000 % | c | 213092 | 1189 4533 68664 | 6050 3628 257 | 0.000 % | c | 213317 | 1189 4533 68664 | 6655 3853 257 | 0.000 % | c | 213654 | 1189 4533 68664 | 7320 4190 257 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 73.5038 s Remaining CPU time: 106.496 s c =============================================================================== c | 214111 | 1189 4534 69066 | 5000 4647 257 | 0.000 % | c | 214211 | 1189 4534 69066 | 5500 4747 257 | 0.000 % | c | 214361 | 1189 4534 69066 | 6050 4897 257 | 0.000 % | c | 214586 | 1189 4534 69066 | 6655 5122 257 | 0.000 % | c | 214923 | 1189 4534 69066 | 7320 5459 256 | 0.000 % | c | 215429 | 1189 4534 69066 | 8052 5965 256 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 74.2447 s Remaining CPU time: 105.755 s c =============================================================================== c | 216183 | 1189 4535 69468 | 5000 6719 256 | 0.000 % | c | 216283 | 1189 4535 69468 | 5500 3460 255 | 0.000 % | c | 216434 | 1189 4535 69468 | 6050 3611 255 | 0.000 % | c | 216659 | 1189 4535 69468 | 6655 3836 255 | 0.000 % | c | 216996 | 1189 4535 69468 | 7320 4173 255 | 0.000 % | c | 217502 | 1189 4535 69468 | 8052 4679 255 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 74.8906 s Remaining CPU time: 105.109 s c =============================================================================== c | 218058 | 1189 4536 69870 | 5000 5235 255 | 0.000 % | c | 218160 | 1189 4536 69870 | 5500 2720 254 | 0.000 % | c | 218310 | 1189 4536 69870 | 6050 2870 254 | 0.000 % | c | 218535 | 1189 4536 69870 | 6655 3095 254 | 0.000 % | c | 218873 | 1189 4536 69870 | 7320 3433 254 | 0.000 % | c | 219379 | 1189 4536 69870 | 8052 3939 254 | 0.000 % | c | 220139 | 1189 4536 69870 | 8857 4699 254 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 75.6235 s Remaining CPU time: 104.376 s c =============================================================================== c | 220210 | 1189 4537 70272 | 5000 4770 254 | 0.000 % | c | 220310 | 1189 4537 70272 | 5500 4870 254 | 0.000 % | c | 220461 | 1189 4537 70272 | 6050 5021 254 | 0.000 % | c | 220686 | 1189 4537 70272 | 6655 5246 253 | 0.000 % | c | 221023 | 1189 4537 70272 | 7320 5583 253 | 0.000 % | c | 221529 | 1189 4537 70272 | 8052 6089 253 | 0.000 % | c | 222288 | 1189 4537 70272 | 8857 6848 253 | 0.000 % | c | 223427 | 1189 4537 70272 | 9743 7987 253 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 76.8073 s Remaining CPU time: 103.193 s c =============================================================================== c | 223845 | 1189 4538 70674 | 5000 8405 253 | 0.000 % | c | 223946 | 1189 4538 70674 | 5500 4304 252 | 0.000 % | c | 224096 | 1189 4538 70674 | 6050 4454 252 | 0.000 % | c | 224321 | 1189 4538 70674 | 6655 4679 252 | 0.000 % | c | 224659 | 1189 4538 70674 | 7320 5017 252 | 0.000 % | c | 225165 | 1189 4538 70674 | 8052 5523 252 | 0.000 % | c | 225924 | 1189 4538 70674 | 8857 6282 252 | 0.000 % | c | 227063 | 1189 4538 70674 | 9743 7421 252 | 0.000 % | c | 228771 | 1189 4538 70674 | 10717 9129 252 | 0.000 % | c | 231333 | 1189 4538 70674 | 11789 6185 251 | 0.000 % | c | 235177 | 1189 4538 70674 | 12968 10029 251 | 0.000 % | c | 240944 | 1189 4538 70674 | 14265 9156 251 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 85.1451 s Remaining CPU time: 94.8549 s c =============================================================================== c | 248458 | 1189 4539 71076 | 5000 9394 251 | 0.000 % | c | 248558 | 1189 4539 71076 | 5500 4797 251 | 0.000 % | c | 248708 | 1189 4539 71076 | 6050 4947 251 | 0.000 % | c | 248933 | 1189 4539 71076 | 6655 5172 251 | 0.000 % | c | 249270 | 1189 4539 71076 | 7320 5509 251 | 0.000 % | c | 249776 | 1189 4539 71076 | 8052 6015 251 | 0.000 % | c | 250535 | 1189 4539 71076 | 8857 6774 251 | 0.000 % | c | 251674 | 1189 4539 71076 | 9743 7913 251 | 0.000 % | c | 253382 | 1189 4539 71076 | 10717 9621 250 | 0.000 % | c | 255944 | 1189 4539 71076 | 11789 6664 250 | 0.000 % | c | 259788 | 1189 4539 71076 | 12968 10508 250 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 89.5074 s Remaining CPU time: 90.4926 s c =============================================================================== c | 260987 | 1189 4540 71478 | 5000 11707 250 | 0.000 % | c | 261087 | 1189 4540 71478 | 5500 3027 249 | 0.000 % | c | 261237 | 1189 4540 71478 | 6050 3177 249 | 0.000 % | c | 261462 | 1189 4540 71478 | 6655 3402 249 | 0.000 % | c | 261799 | 1189 4540 71478 | 7320 3739 249 | 0.000 % | c | 262305 | 1189 4540 71478 | 8052 4245 249 | 0.000 % | c | 263065 | 1189 4540 71478 | 8857 5005 249 | 0.000 % | c | 264204 | 1189 4540 71478 | 9743 6144 249 | 0.000 % | c | 265912 | 1189 4540 71478 | 10717 7852 249 | 0.000 % | c | 268474 | 1189 4540 71478 | 11789 10414 249 | 0.000 % | c | 272318 | 1189 4540 71478 | 12968 8241 249 | 0.000 % | c | 278084 | 1189 4540 71478 | 14265 7370 249 | 0.000 % | c | 286735 | 1189 4540 71478 | 15692 8738 249 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 101.622 s Remaining CPU time: 78.3784 s c =============================================================================== c | 294872 | 1189 4541 71880 | 5000 8893 249 | 0.000 % | c | 294972 | 1189 4541 71880 | 5500 4547 249 | 0.000 % | c | 295122 | 1189 4541 71880 | 6050 4697 249 | 0.000 % | c | 295348 | 1189 4541 71880 | 6655 4923 249 | 0.000 % | c | 295685 | 1189 4541 71880 | 7320 5260 249 | 0.000 % | c | 296191 | 1189 4541 71880 | 8052 5766 249 | 0.000 % | c | 296950 | 1189 4541 71880 | 8857 6525 249 | 0.000 % | c | 298090 | 1189 4541 71880 | 9743 7665 249 | 0.000 % | c | 299798 | 1189 4541 71880 | 10717 9373 249 | 0.000 % | c | 302360 | 1189 4541 71880 | 11789 6440 248 | 0.000 % | c | 306205 | 1189 4541 71880 | 12968 10285 248 | 0.000 % | c | 311971 | 1189 4541 71880 | 14265 9418 248 | 0.000 % | c | 320620 | 1189 4541 71880 | 15692 10784 248 | 0.000 % | c | 333594 | 1189 4541 71880 | 17261 15761 248 | 0.000 % |