c wbo 1.4 beta - 20100610 c | Number of variables: 800 | c | Number of clauses: 4328 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1191 | c | Number Clauses: 4316 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1191 4316 9029 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1191 4317 9432 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1191 4318 9835 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1191 4319 10238 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1191 4320 10641 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1191 4321 11044 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1191 4322 11447 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1191 4323 11850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1191 4324 12253 | 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 | 1191 4325 12656 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1191 4326 13059 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 1191 4327 13462 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 1191 4328 13865 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1191 4329 14268 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1191 4330 14671 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 1191 4331 15074 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 1191 4332 15477 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 1191 4333 15880 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 1191 4334 16283 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 1191 4335 16686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 1191 4336 17089 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 1191 4337 17492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 1 | 1191 4338 17895 | 5000 1 384 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 1 | 1191 4339 18298 | 5000 1 384 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 1 | 1191 4340 18701 | 5000 1 384 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 1 | 1191 4341 19104 | 5000 1 384 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 1 | 1191 4342 19507 | 5000 1 384 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 1 | 1191 4343 19910 | 5000 1 384 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 1 | 1191 4344 20313 | 5000 1 384 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 2 | 1191 4345 20716 | 5000 2 380 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 2 | 1191 4346 21119 | 5000 2 380 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 2 | 1191 4347 21522 | 5000 2 380 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 2 | 1191 4348 21925 | 5000 2 380 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 2 | 1191 4349 22328 | 5000 2 380 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 2 | 1191 4350 22731 | 5000 2 380 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 2 | 1191 4351 23134 | 5000 2 380 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 2 | 1191 4352 23537 | 5000 2 380 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 2 | 1191 4353 23940 | 5000 2 380 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 2 | 1191 4354 24343 | 5000 2 380 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 2 | 1191 4355 24746 | 5000 2 380 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 2 | 1191 4356 25149 | 5000 2 380 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 3 | 1191 4357 25552 | 5000 3 374 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 3 | 1191 4358 25955 | 5000 3 374 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 3 | 1191 4359 26358 | 5000 3 374 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 3 | 1191 4360 26761 | 5000 3 374 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 3 | 1191 4361 27164 | 5000 3 374 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 3 | 1191 4362 27567 | 5000 3 374 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 3 | 1191 4363 27970 | 5000 3 374 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 3 | 1191 4364 28373 | 5000 3 374 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 3 | 1191 4365 28776 | 5000 3 374 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s c =============================================================================== c | 3 | 1191 4366 29179 | 5000 3 374 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 3 | 1191 4367 29582 | 5000 3 374 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s c =============================================================================== c | 3 | 1191 4368 29985 | 5000 3 374 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 3 | 1191 4369 30388 | 5000 3 374 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 3 | 1191 4370 30791 | 5000 3 374 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.153976 s Remaining CPU time: 179.846 s c =============================================================================== c | 3 | 1191 4371 31194 | 5000 3 374 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 3 | 1191 4372 31597 | 5000 3 374 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 3 | 1191 4373 32000 | 5000 3 374 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 3 | 1191 4374 32403 | 5000 3 374 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s c =============================================================================== c | 3 | 1191 4375 32806 | 5000 3 374 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.175973 s Remaining CPU time: 179.824 s c =============================================================================== c | 3 | 1191 4376 33209 | 5000 3 374 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s c =============================================================================== c | 3 | 1191 4377 33612 | 5000 3 374 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 3 | 1191 4378 34015 | 5000 3 374 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.185971 s Remaining CPU time: 179.814 s c =============================================================================== c | 3 | 1191 4379 34418 | 5000 3 374 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.19197 s Remaining CPU time: 179.808 s c =============================================================================== c | 4 | 1191 4380 34821 | 5000 4 366 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.19697 s Remaining CPU time: 179.803 s c =============================================================================== c | 4 | 1191 4381 35224 | 5000 4 366 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 4 | 1191 4382 35627 | 5000 4 366 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 4 | 1191 4383 36030 | 5000 4 366 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s c =============================================================================== c | 5 | 1191 4384 36433 | 5000 5 360 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s c =============================================================================== c | 5 | 1191 4385 36836 | 5000 5 360 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.222966 s Remaining CPU time: 179.777 s c =============================================================================== c | 5 | 1191 4386 37239 | 5000 5 360 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.227965 s Remaining CPU time: 179.772 s c =============================================================================== c | 6 | 1191 4387 37642 | 5000 6 356 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.232964 s Remaining CPU time: 179.767 s c =============================================================================== c | 6 | 1191 4388 38045 | 5000 6 356 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s c =============================================================================== c | 6 | 1191 4389 38448 | 5000 6 356 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.243962 s Remaining CPU time: 179.756 s c =============================================================================== c | 6 | 1191 4390 38851 | 5000 6 356 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.249962 s Remaining CPU time: 179.75 s c =============================================================================== c | 7 | 1191 4391 39254 | 5000 7 352 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.254961 s Remaining CPU time: 179.745 s c =============================================================================== c | 7 | 1191 4392 39657 | 5000 7 352 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.25896 s Remaining CPU time: 179.741 s c =============================================================================== c | 7 | 1191 4393 40060 | 5000 7 352 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.263959 s Remaining CPU time: 179.736 s c =============================================================================== c | 7 | 1191 4394 40463 | 5000 7 352 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.269958 s Remaining CPU time: 179.73 s c =============================================================================== c | 8 | 1191 4395 40866 | 5000 8 348 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.275958 s Remaining CPU time: 179.724 s c =============================================================================== c | 8 | 1191 4396 41269 | 5000 8 348 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s c =============================================================================== c | 11 | 1191 4397 41672 | 5000 11 342 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.287956 s Remaining CPU time: 179.712 s c =============================================================================== c | 11 | 1191 4398 42075 | 5000 11 342 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s c =============================================================================== c | 11 | 1191 4399 42478 | 5000 11 342 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.297954 s Remaining CPU time: 179.702 s c =============================================================================== c | 11 | 1191 4400 42881 | 5000 11 342 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.302953 s Remaining CPU time: 179.697 s c =============================================================================== c | 11 | 1191 4401 43284 | 5000 11 342 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.309952 s Remaining CPU time: 179.69 s c =============================================================================== c | 11 | 1191 4402 43687 | 5000 11 342 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.316951 s Remaining CPU time: 179.683 s c =============================================================================== c | 15 | 1191 4403 44090 | 5000 15 335 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s c =============================================================================== c | 15 | 1191 4404 44493 | 5000 15 335 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.330949 s Remaining CPU time: 179.669 s c =============================================================================== c | 15 | 1191 4405 44896 | 5000 15 335 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.338948 s Remaining CPU time: 179.661 s c =============================================================================== c | 23 | 1191 4406 45299 | 5000 23 328 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.345947 s Remaining CPU time: 179.654 s c =============================================================================== c | 24 | 1191 4407 45702 | 5000 24 328 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.354946 s Remaining CPU time: 179.645 s c =============================================================================== c | 33 | 1191 4408 46105 | 5000 33 324 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.361944 s Remaining CPU time: 179.638 s c =============================================================================== c | 35 | 1191 4409 46508 | 5000 35 323 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.370943 s Remaining CPU time: 179.629 s c =============================================================================== c | 45 | 1191 4410 46911 | 5000 45 320 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.377942 s Remaining CPU time: 179.622 s c =============================================================================== c | 46 | 1191 4411 47314 | 5000 46 320 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.39194 s Remaining CPU time: 179.608 s c =============================================================================== c | 87 | 1191 4412 47717 | 5000 87 315 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.399939 s Remaining CPU time: 179.6 s c =============================================================================== c | 87 | 1191 4413 48120 | 5000 87 315 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.408937 s Remaining CPU time: 179.591 s c =============================================================================== c | 88 | 1191 4414 48523 | 5000 88 315 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.416936 s Remaining CPU time: 179.583 s c =============================================================================== c | 90 | 1191 4415 48926 | 5000 90 315 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.425935 s Remaining CPU time: 179.574 s c =============================================================================== c | 92 | 1191 4416 49329 | 5000 92 314 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.434933 s Remaining CPU time: 179.565 s c =============================================================================== c | 96 | 1191 4417 49732 | 5000 96 314 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.441932 s Remaining CPU time: 179.558 s c =============================================================================== c | 98 | 1191 4418 50135 | 5000 98 314 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.45393 s Remaining CPU time: 179.546 s c =============================================================================== c | 126 | 1191 4419 50538 | 5000 126 309 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.462929 s Remaining CPU time: 179.537 s c =============================================================================== c | 128 | 1191 4420 50941 | 5000 128 309 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.471928 s Remaining CPU time: 179.528 s c =============================================================================== c | 129 | 1191 4421 51344 | 5000 129 309 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.479927 s Remaining CPU time: 179.52 s c =============================================================================== c | 131 | 1191 4422 51747 | 5000 131 308 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.488925 s Remaining CPU time: 179.511 s c =============================================================================== c | 134 | 1191 4423 52150 | 5000 134 308 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.497924 s Remaining CPU time: 179.502 s c =============================================================================== c | 137 | 1191 4424 52553 | 5000 137 308 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.510922 s Remaining CPU time: 179.489 s c =============================================================================== c | 159 | 1191 4425 52956 | 5000 159 306 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.52092 s Remaining CPU time: 179.479 s c =============================================================================== c | 168 | 1191 4426 53359 | 5000 168 306 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.528919 s Remaining CPU time: 179.471 s c =============================================================================== c | 170 | 1191 4427 53762 | 5000 170 306 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.538918 s Remaining CPU time: 179.461 s c =============================================================================== c | 177 | 1191 4428 54165 | 5000 177 305 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.546916 s Remaining CPU time: 179.453 s c =============================================================================== c | 178 | 1191 4429 54568 | 5000 178 305 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.555915 s Remaining CPU time: 179.444 s c =============================================================================== c | 186 | 1191 4430 54971 | 5000 186 304 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.567913 s Remaining CPU time: 179.432 s c =============================================================================== c | 199 | 1191 4431 55374 | 5000 199 303 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 0.579911 s Remaining CPU time: 179.42 s c =============================================================================== c | 211 | 1191 4432 55777 | 5000 211 303 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 0.594909 s Remaining CPU time: 179.405 s c =============================================================================== c | 252 | 1191 4433 56180 | 5000 252 300 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 0.609907 s Remaining CPU time: 179.39 s c =============================================================================== c | 276 | 1191 4434 56583 | 5000 276 299 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 0.625904 s Remaining CPU time: 179.374 s c =============================================================================== c | 295 | 1191 4435 56986 | 5000 295 298 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 0.639902 s Remaining CPU time: 179.36 s c =============================================================================== c | 315 | 1191 4436 57389 | 5000 315 297 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 0.6519 s Remaining CPU time: 179.348 s c =============================================================================== c | 322 | 1191 4437 57792 | 5000 322 297 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 0.678896 s Remaining CPU time: 179.321 s c =============================================================================== c | 407 | 1191 4438 58195 | 5000 407 294 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 0.705892 s Remaining CPU time: 179.294 s c =============================================================================== c | 495 | 1191 4439 58598 | 5000 495 292 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 0.71789 s Remaining CPU time: 179.282 s c =============================================================================== c | 512 | 1191 4440 59001 | 5000 512 292 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 0.739887 s Remaining CPU time: 179.26 s c =============================================================================== c | 555 | 1191 4441 59404 | 5000 555 291 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 0.754885 s Remaining CPU time: 179.245 s c =============================================================================== c | 571 | 1191 4442 59807 | 5000 571 290 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 0.767883 s Remaining CPU time: 179.232 s c =============================================================================== c | 584 | 1191 4443 60210 | 5000 584 290 | 0.000 % | c | 684 | 1191 4443 60210 | 5500 684 288 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 0.812876 s Remaining CPU time: 179.187 s c =============================================================================== c | 692 | 1191 4444 60613 | 5000 692 288 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 0.823874 s Remaining CPU time: 179.176 s c =============================================================================== c | 694 | 1191 4445 61016 | 5000 694 288 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 0.840872 s Remaining CPU time: 179.159 s c =============================================================================== c | 719 | 1191 4446 61419 | 5000 719 288 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 0.855869 s Remaining CPU time: 179.144 s c =============================================================================== c | 734 | 1191 4447 61822 | 5000 734 287 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 0.885865 s Remaining CPU time: 179.114 s c =============================================================================== c | 832 | 1191 4448 62225 | 5000 832 286 | 0.000 % | c | 932 | 1191 4448 62225 | 5500 932 284 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 0.926859 s Remaining CPU time: 179.073 s c =============================================================================== c | 946 | 1191 4449 62628 | 5000 946 284 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 0.938857 s Remaining CPU time: 179.061 s c =============================================================================== c | 949 | 1191 4450 63031 | 5000 949 284 | 0.000 % | c | 1049 | 1191 4450 63031 | 5500 1049 283 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 1.00285 s Remaining CPU time: 178.997 s c =============================================================================== c | 1153 | 1191 4451 63434 | 5000 1153 282 | 0.000 % | c | 1253 | 1191 4451 63434 | 5500 1253 281 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 1.05284 s Remaining CPU time: 178.947 s c =============================================================================== c | 1280 | 1191 4452 63837 | 5000 1280 280 | 0.000 % | c | 1380 | 1191 4452 63837 | 5500 1380 280 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 1.11083 s Remaining CPU time: 178.889 s c =============================================================================== c | 1442 | 1191 4453 64240 | 5000 1442 279 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 1.13483 s Remaining CPU time: 178.865 s c =============================================================================== c | 1501 | 1191 4454 64643 | 5000 1501 279 | 0.000 % | c | 1601 | 1191 4454 64643 | 5500 1601 278 | 0.000 % | c | 1752 | 1191 4454 64643 | 6050 1752 277 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 1.23981 s Remaining CPU time: 178.76 s c =============================================================================== c | 1800 | 1191 4455 65046 | 5000 1800 277 | 0.000 % | c | 1901 | 1191 4455 65046 | 5500 1901 276 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 1.3038 s Remaining CPU time: 178.696 s c =============================================================================== c | 1976 | 1191 4456 65449 | 5000 1976 276 | 0.000 % | c | 2077 | 1191 4456 65449 | 5500 2077 275 | 0.000 % | c | 2227 | 1191 4456 65449 | 6050 2227 274 | 0.000 % | c | 2452 | 1191 4456 65449 | 6655 2452 273 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 1.47278 s Remaining CPU time: 178.527 s c =============================================================================== c | 2520 | 1191 4457 65852 | 5000 2520 273 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 1.50577 s Remaining CPU time: 178.494 s c =============================================================================== c | 2598 | 1191 4458 66255 | 5000 2598 273 | 0.000 % | c | 2698 | 1191 4458 66255 | 5500 2698 272 | 0.000 % | c | 2849 | 1191 4458 66255 | 6050 2849 272 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 1.61275 s Remaining CPU time: 178.387 s c =============================================================================== c | 2917 | 1191 4459 66658 | 5000 2917 271 | 0.000 % | c | 3017 | 1191 4459 66658 | 5500 3017 271 | 0.000 % | c | 3167 | 1191 4459 66658 | 6050 3167 271 | 0.000 % | c | 3393 | 1191 4459 66658 | 6655 3393 270 | 0.000 % | c | 3731 | 1191 4459 66658 | 7320 3731 269 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 1.92871 s Remaining CPU time: 178.071 s c =============================================================================== c | 3981 | 1191 4460 67061 | 5000 3981 269 | 0.000 % | c | 4081 | 1191 4460 67061 | 5500 4081 269 | 0.000 % | c | 4231 | 1191 4460 67061 | 6050 4231 268 | 0.000 % | c | 4456 | 1191 4460 67061 | 6655 4456 268 | 0.000 % | c | 4793 | 1191 4460 67061 | 7320 4793 267 | 0.000 % | c | 5299 | 1191 4460 67061 | 8052 5299 267 | 0.000 % | c | 6059 | 1191 4460 67061 | 8857 6059 266 | 0.000 % | c | 7198 | 1191 4460 67061 | 9743 7198 265 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 3.10753 s Remaining CPU time: 176.892 s c =============================================================================== c | 8190 | 1191 4461 67464 | 5000 8190 264 | 0.000 % | c | 8290 | 1191 4461 67464 | 5500 4195 260 | 0.000 % | c | 8440 | 1191 4461 67464 | 6050 4345 260 | 0.000 % | c | 8665 | 1191 4461 67464 | 6655 4570 260 | 0.000 % | c | 9003 | 1191 4461 67464 | 7320 4908 260 | 0.000 % | c | 9509 | 1191 4461 67464 | 8052 5414 260 | 0.000 % | c | 10269 | 1191 4461 67464 | 8857 6174 260 | 0.000 % | c | 11409 | 1191 4461 67464 | 9743 7314 260 | 0.000 % | c | 13117 | 1191 4461 67464 | 10717 9022 260 | 0.000 % | c | 15679 | 1191 4461 67464 | 11789 6078 259 | 0.000 % | c | 19523 | 1191 4461 67464 | 12968 9922 259 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 6.94494 s Remaining CPU time: 173.055 s c =============================================================================== c | 20912 | 1191 4462 67867 | 5000 11311 259 | 0.000 % | c | 21014 | 1191 4462 67867 | 5500 2930 259 | 0.000 % | c | 21164 | 1191 4462 67867 | 6050 3080 259 | 0.000 % | c | 21389 | 1191 4462 67867 | 6655 3305 259 | 0.000 % | c | 21726 | 1191 4462 67867 | 7320 3642 259 | 0.000 % | c | 22233 | 1191 4462 67867 | 8052 4149 259 | 0.000 % | c | 22992 | 1191 4462 67867 | 8857 4908 259 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 7.80981 s Remaining CPU time: 172.19 s c =============================================================================== c | 23634 | 1191 4463 68270 | 5000 5550 259 | 0.000 % | c | 23735 | 1191 4463 68270 | 5500 2876 258 | 0.000 % | c | 23885 | 1191 4463 68270 | 6050 3026 258 | 0.000 % | c | 24111 | 1191 4463 68270 | 6655 3252 258 | 0.000 % | c | 24449 | 1191 4463 68270 | 7320 3590 258 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 8.12576 s Remaining CPU time: 171.874 s c =============================================================================== c | 24736 | 1191 4464 68673 | 5000 3877 258 | 0.000 % | c | 24837 | 1191 4464 68673 | 5500 3978 258 | 0.000 % | c | 24987 | 1191 4464 68673 | 6050 4128 258 | 0.000 % | c | 25212 | 1191 4464 68673 | 6655 4353 258 | 0.000 % | c | 25550 | 1191 4464 68673 | 7320 4691 258 | 0.000 % | c | 26056 | 1191 4464 68673 | 8052 5197 257 | 0.000 % | c | 26816 | 1191 4464 68673 | 8857 5957 257 | 0.000 % | c | 27955 | 1191 4464 68673 | 9743 7096 257 | 0.000 % | c | 29663 | 1191 4464 68673 | 10717 8804 257 | 0.000 % | c | 32225 | 1191 4464 68673 | 11789 5864 256 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 11.1823 s Remaining CPU time: 168.818 s c =============================================================================== c | 35880 | 1191 4465 69076 | 5000 9519 257 | 0.000 % | c | 35980 | 1191 4465 69076 | 5500 4860 257 | 0.000 % | c | 36130 | 1191 4465 69076 | 6050 5010 256 | 0.000 % | c | 36355 | 1191 4465 69076 | 6655 5235 256 | 0.000 % | c | 36692 | 1191 4465 69076 | 7320 5572 256 | 0.000 % | c | 37198 | 1191 4465 69076 | 8052 6078 256 | 0.000 % | c | 37958 | 1191 4465 69076 | 8857 6838 256 | 0.000 % | c | 39097 | 1191 4465 69076 | 9743 7977 256 | 0.000 % | c | 40805 | 1191 4465 69076 | 10717 9685 256 | 0.000 % | c | 43367 | 1191 4465 69076 | 11789 6752 256 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 14.1079 s Remaining CPU time: 165.892 s c =============================================================================== c | 45651 | 1191 4466 69479 | 5000 9036 256 | 0.000 % | c | 45752 | 1191 4466 69479 | 5500 4619 256 | 0.000 % | c | 45903 | 1191 4466 69479 | 6050 4770 256 | 0.000 % | c | 46128 | 1191 4466 69479 | 6655 4995 256 | 0.000 % | c | 46465 | 1191 4466 69479 | 7320 5332 256 | 0.000 % | c | 46971 | 1191 4466 69479 | 8052 5838 255 | 0.000 % | c | 47730 | 1191 4466 69479 | 8857 6597 255 | 0.000 % | c | 48869 | 1191 4466 69479 | 9743 7736 255 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 15.4007 s Remaining CPU time: 164.599 s c =============================================================================== c | 50059 | 1191 4467 69882 | 5000 8926 255 | 0.000 % | c | 50159 | 1191 4467 69882 | 5500 4563 255 | 0.000 % | c | 50309 | 1191 4467 69882 | 6050 4713 255 | 0.000 % | c | 50534 | 1191 4467 69882 | 6655 4938 255 | 0.000 % | c | 50872 | 1191 4467 69882 | 7320 5276 255 | 0.000 % | c | 51378 | 1191 4467 69882 | 8052 5782 255 | 0.000 % | c | 52137 | 1191 4467 69882 | 8857 6541 255 | 0.000 % | c | 53277 | 1191 4467 69882 | 9743 7681 254 | 0.000 % | c | 54986 | 1191 4467 69882 | 10717 9390 254 | 0.000 % | c | 57548 | 1191 4467 69882 | 11789 6441 254 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 18.9391 s Remaining CPU time: 161.061 s c =============================================================================== c | 61210 | 1191 4468 70285 | 5000 10103 254 | 0.000 % | c | 61310 | 1191 4468 70285 | 5500 2626 254 | 0.000 % | c | 61460 | 1191 4468 70285 | 6050 2776 254 | 0.000 % | c | 61686 | 1191 4468 70285 | 6655 3002 253 | 0.000 % | c | 62023 | 1191 4468 70285 | 7320 3339 253 | 0.000 % | c | 62530 | 1191 4468 70285 | 8052 3846 253 | 0.000 % | c | 63290 | 1191 4468 70285 | 8857 4606 253 | 0.000 % | c | 64429 | 1191 4468 70285 | 9743 5745 253 | 0.000 % | c | 66137 | 1191 4468 70285 | 10717 7453 253 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 20.8548 s Remaining CPU time: 159.145 s c =============================================================================== c | 67109 | 1191 4469 70688 | 5000 8425 253 | 0.000 % | c | 67209 | 1191 4469 70688 | 5500 4313 253 | 0.000 % | c | 67359 | 1191 4469 70688 | 6050 4463 253 | 0.000 % | c | 67584 | 1191 4469 70688 | 6655 4688 253 | 0.000 % | c | 67923 | 1191 4469 70688 | 7320 5027 253 | 0.000 % | c | 68430 | 1191 4469 70688 | 8052 5534 253 | 0.000 % | c | 69189 | 1191 4469 70688 | 8857 6293 253 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 21.6307 s Remaining CPU time: 158.369 s c =============================================================================== c | 69369 | 1191 4470 71091 | 5000 6473 253 | 0.000 % | c | 69469 | 1191 4470 71091 | 5500 3337 252 | 0.000 % | c | 69620 | 1191 4470 71091 | 6050 3488 252 | 0.000 % | c | 69845 | 1191 4470 71091 | 6655 3713 252 | 0.000 % | c | 70183 | 1191 4470 71091 | 7320 4051 252 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 22.0616 s Remaining CPU time: 157.938 s c =============================================================================== c | 70660 | 1191 4471 71494 | 5000 4528 252 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 22.0996 s Remaining CPU time: 157.9 s c =============================================================================== c | 70752 | 1191 4472 71897 | 5000 4620 252 | 0.000 % | c | 70852 | 1191 4472 71897 | 5500 4720 252 | 0.000 % | c | 71002 | 1191 4472 71897 | 6050 4870 251 | 0.000 % | c | 71229 | 1191 4472 71897 | 6655 5097 251 | 0.000 % | c | 71566 | 1191 4472 71897 | 7320 5434 251 | 0.000 % | c | 72072 | 1191 4472 71897 | 8052 5940 251 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 22.6106 s Remaining CPU time: 157.389 s c =============================================================================== c | 72350 | 1191 4473 72300 | 5000 6218 251 | 0.000 % | c | 72450 | 1191 4473 72300 | 5500 3209 249 | 0.000 % | c | 72600 | 1191 4473 72300 | 6050 3359 249 | 0.000 % | c | 72826 | 1191 4473 72300 | 6655 3585 249 | 0.000 % | c | 73163 | 1191 4473 72300 | 7320 3922 249 | 0.000 % | c | 73669 | 1191 4473 72300 | 8052 4428 249 | 0.000 % | c | 74428 | 1191 4473 72300 | 8857 5187 249 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 23.4524 s Remaining CPU time: 156.548 s c =============================================================================== c | 75319 | 1191 4474 72703 | 5000 6078 249 | 0.000 % | c | 75419 | 1191 4474 72703 | 5500 3139 248 | 0.000 % | c | 75570 | 1191 4474 72703 | 6050 3290 248 | 0.000 % | c | 75795 | 1191 4474 72703 | 6655 3515 248 | 0.000 % | c | 76132 | 1191 4474 72703 | 7320 3852 247 | 0.000 % | c | 76638 | 1191 4474 72703 | 8052 4358 247 | 0.000 % | c | 77397 | 1191 4474 72703 | 8857 5117 247 | 0.000 % | c | 78536 | 1191 4474 72703 | 9743 6256 247 | 0.000 % | c | 80244 | 1191 4474 72703 | 10717 7964 247 | 0.000 % | c | 82806 | 1191 4474 72703 | 11789 10526 247 | 0.000 % | c | 86651 | 1191 4474 72703 | 12968 8340 247 | 0.000 % | c | 92417 | 1191 4474 72703 | 14265 7457 247 | 0.000 % | c | 101066 | 1191 4474 72703 | 15692 8844 247 | 0.000 % | c | 114040 | 1191 4474 72703 | 17261 13821 247 | 0.000 % | c | 133502 | 1191 4474 72703 | 18987 15722 247 | 0.000 % | c | 162694 | 1191 4474 72703 | 20886 16022 248 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 63.5833 s Remaining CPU time: 116.417 s c =============================================================================== c | 170490 | 1191 4475 73106 | 5000 13203 248 | 0.000 % | c | 170590 | 1191 4475 73106 | 5500 3401 247 | 0.000 % | c | 170740 | 1191 4475 73106 | 6050 3551 247 | 0.000 % | c | 170965 | 1191 4475 73106 | 6655 3776 247 | 0.000 % | c | 171302 | 1191 4475 73106 | 7320 4113 247 | 0.000 % | c | 171808 | 1191 4475 73106 | 8052 4619 247 | 0.000 % | c | 172567 | 1191 4475 73106 | 8857 5378 247 | 0.000 % | c | 173706 | 1191 4475 73106 | 9743 6517 247 | 0.000 % | c | 175414 | 1191 4475 73106 | 10717 8225 246 | 0.000 % | c | 177976 | 1191 4475 73106 | 11789 10787 246 | 0.000 % | c | 181820 | 1191 4475 73106 | 12968 8593 246 | 0.000 % | c | 187587 | 1191 4475 73106 | 14265 7720 246 | 0.000 % | c | 196236 | 1191 4475 73106 | 15692 9105 246 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 75.1566 s Remaining CPU time: 104.843 s c =============================================================================== c | 202761 | 1191 4476 73509 | 5000 15630 246 | 0.000 % | c | 202862 | 1191 4476 73509 | 5500 4009 246 | 0.000 % | c | 203013 | 1191 4476 73509 | 6050 4160 246 | 0.000 % | c | 203238 | 1191 4476 73509 | 6655 4385 246 | 0.000 % | c | 203575 | 1191 4476 73509 | 7320 4722 246 | 0.000 % | c | 204081 | 1191 4476 73509 | 8052 5228 246 | 0.000 % | c | 204840 | 1191 4476 73509 | 8857 5987 246 | 0.000 % | c | 205979 | 1191 4476 73509 | 9743 7126 246 | 0.000 % | c | 207687 | 1191 4476 73509 | 10717 8834 246 | 0.000 % | c | 210249 | 1191 4476 73509 | 11789 5901 245 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 78.2511 s Remaining CPU time: 101.749 s c =============================================================================== c | 210805 | 1191 4477 73912 | 5000 6457 245 | 0.000 % | c | 210905 | 1191 4477 73912 | 5500 3329 245 | 0.000 % | c | 211055 | 1191 4477 73912 | 6050 3479 245 | 0.000 % | c | 211280 | 1191 4477 73912 | 6655 3704 245 | 0.000 % | c | 211617 | 1191 4477 73912 | 7320 4041 245 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 78.752 s Remaining CPU time: 101.248 s c =============================================================================== c | 212046 | 1191 4478 74315 | 5000 4470 245 | 0.000 % | c | 212146 | 1191 4478 74315 | 5500 4570 245 | 0.000 % | c | 212297 | 1191 4478 74315 | 6050 4721 245 | 0.000 % | c | 212522 | 1191 4478 74315 | 6655 4946 245 | 0.000 % | c | 212859 | 1191 4478 74315 | 7320 5283 245 | 0.000 % | c | 213366 | 1191 4478 74315 | 8052 5790 245 | 0.000 % | c | 214125 | 1191 4478 74315 | 8857 6549 244 | 0.000 % | c | 215264 | 1191 4478 74315 | 9743 7688 244 | 0.000 % | c | 216973 | 1191 4478 74315 | 10717 9397 244 | 0.000 % | c | 219535 | 1191 4478 74315 | 11789 6470 243 | 0.000 % | c | 223379 | 1191 4478 74315 | 12968 10314 244 | 0.000 % | c | 229145 | 1191 4478 74315 | 14265 9462 243 | 0.000 % | c | 237794 | 1191 4478 74315 | 15692 10846 243 | 0.000 % | c | 250768 | 1191 4478 74315 | 17261 15830 243 | 0.000 % | c | 270229 | 1191 4478 74315 | 18987 8963 244 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 113.841 s Remaining CPU time: 66.1593 s c =============================================================================== c | 293455 | 1191 4479 74718 | 5000 12930 244 | 0.000 % | c | 293555 | 1191 4479 74718 | 5500 3333 243 | 0.000 % | c | 293705 | 1191 4479 74718 | 6050 3483 243 | 0.000 % | c | 293931 | 1191 4479 74718 | 6655 3709 243 | 0.000 % | c | 294268 | 1191 4479 74718 | 7320 4046 243 | 0.000 % | c | 294774 | 1191 4479 74718 | 8052 4552 243 | 0.000 % | c | 295533 | 1191 4479 74718 | 8857 5311 243 | 0.000 % | c | 296673 | 1191 4479 74718 | 9743 6451 243 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 115.806 s Remaining CPU time: 64.1936 s c =============================================================================== c | 298141 | 1191 4480 75121 | 5000 7919 243 | 0.000 % | c | 298241 | 1191 4480 75121 | 5500 4060 242 | 0.000 % | c | 298391 | 1191 4480 75121 | 6050 4210 242 | 0.000 % | c | 298616 | 1191 4480 75121 | 6655 4435 242 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 116.113 s Remaining CPU time: 63.8867 s c =============================================================================== c | 298777 | 1191 4481 75524 | 5000 4596 242 | 0.000 % | c | 298878 | 1191 4481 75524 | 5500 4697 242 | 0.000 % | c | 299028 | 1191 4481 75524 | 6050 4847 242 | 0.000 % | c | 299253 | 1191 4481 75524 | 6655 5072 242 | 0.000 % | c | 299590 | 1191 4481 75524 | 7320 5409 242 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 116.513 s Remaining CPU time: 63.4867 s c =============================================================================== c | 299827 | 1191 4482 75927 | 5000 5646 242 | 0.000 % | c | 299927 | 1191 4482 75927 | 5500 2923 241 | 0.000 % | c | 300077 | 1191 4482 75927 | 6050 3073 241 | 0.000 % | c | 300303 | 1191 4482 75927 | 6655 3299 241 | 0.000 % | c | 300640 | 1191 4482 75927 | 7320 3636 241 | 0.000 % | c | 301146 | 1191 4482 75927 | 8052 4142 240 | 0.000 % | c | 301906 | 1191 4482 75927 | 8857 4902 240 | 0.000 % | c | 303045 | 1191 4482 75927 | 9743 6041 240 | 0.000 % | c | 304753 | 1191 4482 75927 | 10717 7749 240 | 0.000 % | c | 307316 | 1191 4482 75927 | 11789 10312 240 | 0.000 % | c | 311160 | 1191 4482 75927 | 12968 8099 240 | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 122.416 s Remaining CPU time: 57.5836 s c =============================================================================== c | 315659 | 1191 4483 76330 | 5000 12598 240 | 0.000 % | c | 315759 | 1191 4483 76330 | 5500 3250 239 | 0.000 % | c | 315909 | 1191 4483 76330 | 6050 3400 239 | 0.000 % | c | 316134 | 1191 4483 76330 | 6655 3625 239 | 0.000 % | c | 316472 | 1191 4483 76330 | 7320 3963 239 | 0.000 % | c | 316978 | 1191 4483 76330 | 8052 4469 239 | 0.000 % | c | 317739 | 1191 4483 76330 | 8857 5230 239 | 0.000 % | c | 318879 | 1191 4483 76330 | 9743 6370 239 | 0.000 % | c | 320587 | 1191 4483 76330 | 10717 8078 239 | 0.000 % | c | 323149 | 1191 4483 76330 | 11789 10640 239 | 0.000 % | c | 326993 | 1191 4483 76330 | 12968 8442 238 | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 127.929 s Remaining CPU time: 52.0714 s c =============================================================================== c | 330359 | 1191 4484 76733 | 5000 11808 238 | 0.000 % | c | 330459 | 1191 4484 76733 | 5500 3052 238 | 0.000 % | c | 330610 | 1191 4484 76733 | 6050 3203 238 | 0.000 % | c | 330835 | 1191 4484 76733 | 6655 3428 238 | 0.000 % | c | 331172 | 1191 4484 76733 | 7320 3765 238 | 0.000 % | c | 331678 | 1191 4484 76733 | 8052 4271 238 | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 128.657 s Remaining CPU time: 51.3426 s c =============================================================================== c | 332339 | 1191 4485 77136 | 5000 4932 238 | 0.000 % | c | 332440 | 1191 4485 77136 | 5500 5033 238 | 0.000 % | c | 332590 | 1191 4485 77136 | 6050 5183 238 | 0.000 % | c | 332815 | 1191 4485 77136 | 6655 5408 238 | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 128.881 s Remaining CPU time: 51.1186 s c =============================================================================== c | 333014 | 1191 4486 77539 | 5000 5607 238 | 0.000 % | c | 333114 | 1191 4486 77539 | 5500 2904 236 | 0.000 % | c | 333265 | 1191 4486 77539 | 6050 3055 236 | 0.000 % | c | 333490 | 1191 4486 77539 | 6655 3280 236 | 0.000 % | c | 333827 | 1191 4486 77539 | 7320 3617 236 | 0.000 % | c | 334333 | 1191 4486 77539 | 8052 4123 236 | 0.000 % | c | 335092 | 1191 4486 77539 | 8857 4882 236 | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 129.726 s Remaining CPU time: 50.2737 s c =============================================================================== c | 335618 | 1191 4487 77942 | 5000 5408 236 | 0.000 % | c | 335718 | 1191 4487 77942 | 5500 2804 235 | 0.000 % | c | 335869 | 1191 4487 77942 | 6050 2955 235 | 0.000 % | c | 336094 | 1191 4487 77942 | 6655 3180 235 | 0.000 % | c | 336431 | 1191 4487 77942 | 7320 3517 235 | 0.000 % | c | 336938 | 1191 4487 77942 | 8052 4024 235 | 0.000 % | c | 337697 | 1191 4487 77942 | 8857 4783 235 | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 130.655 s Remaining CPU time: 49.3449 s c =============================================================================== c | 338244 | 1191 4488 78345 | 5000 5330 235 | 0.000 % | c | 338344 | 1191 4488 78345 | 5500 2765 233 | 0.000 % | c | 338494 | 1191 4488 78345 | 6050 2915 233 | 0.000 % | c | 338719 | 1191 4488 78345 | 6655 3140 233 | 0.000 % | c | 339057 | 1191 4488 78345 | 7320 3478 233 | 0.000 % | c | 339563 | 1191 4488 78345 | 8052 3984 233 | 0.000 % | c | 340322 | 1191 4488 78345 | 8857 4743 233 | 0.000 % | c | 341461 | 1191 4488 78345 | 9743 5882 234 | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 131.828 s Remaining CPU time: 48.172 s c =============================================================================== c | 341594 | 1191 4489 78748 | 5000 6015 234 | 0.000 % | c | 341694 | 1191 4489 78748 | 5500 3108 233 | 0.000 % | c | 341844 | 1191 4489 78748 | 6050 3258 233 | 0.000 % | c | 342069 | 1191 4489 78748 | 6655 3483 233 | 0.000 % | c | 342406 | 1191 4489 78748 | 7320 3820 233 | 0.000 % | c | 342912 | 1191 4489 78748 | 8052 4326 233 | 0.000 % | c | 343671 | 1191 4489 78748 | 8857 5085 233 | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 132.648 s Remaining CPU time: 47.3522 s c =============================================================================== c | 343833 | 1191 4490 79151 | 5000 5247 233 | 0.000 % | c | 343933 | 1191 4490 79151 | 5500 2724 232 | 0.000 % | c | 344084 | 1191 4490 79151 | 6050 2875 232 | 0.000 % | c | 344310 | 1191 4490 79151 | 6655 3101 231 | 0.000 % | c | 344647 | 1191 4490 79151 | 7320 3438 231 | 0.000 % | c | 345153 | 1191 4490 79151 | 8052 3944 231 | 0.000 % | c | 345912 | 1191 4490 79151 | 8857 4703 231 | 0.000 % | c | 347052 | 1191 4490 79151 | 9743 5843 231 | 0.000 % | c | 348760 | 1191 4490 79151 | 10717 7551 231 | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 134.634 s Remaining CPU time: 45.3665 s c =============================================================================== c | 350607 | 1191 4491 79554 | 5000 9398 231 | 0.000 % | c | 350708 | 1191 4491 79554 | 5500 4800 231 | 0.000 % | c | 350859 | 1191 4491 79554 | 6050 4951 231 | 0.000 % | c | 351085 | 1191 4491 79554 | 6655 5177 231 | 0.000 % | c | 351423 | 1191 4491 79554 | 7320 5515 231 | 0.000 % | c | 351930 | 1191 4491 79554 | 8052 6022 231 | 0.000 % | c | 352689 | 1191 4491 79554 | 8857 6781 231 | 0.000 % | c | 353829 | 1191 4491 79554 | 9743 7921 230 | 0.000 % | c | 355537 | 1191 4491 79554 | 10717 9629 231 | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 136.308 s Remaining CPU time: 43.6917 s c =============================================================================== c | 355862 | 1191 4492 79957 | 5000 9954 231 | 0.000 % | c | 355962 | 1191 4492 79957 | 5500 5077 230 | 0.000 % | c | 356112 | 1191 4492 79957 | 6050 5227 230 | 0.000 % | c | 356337 | 1191 4492 79957 | 6655 5452 230 | 0.000 % | c | 356674 | 1191 4492 79957 | 7320 5789 230 | 0.000 % | c | 357180 | 1191 4492 79957 | 8052 6295 230 | 0.000 % | c | 357940 | 1191 4492 79957 | 8857 7055 230 | 0.000 % |