c wbo 1.4 beta - 20100610 c | Number of variables: 800 | c | Number of clauses: 4411 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1188 | c | Number Clauses: 4399 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1188 4399 9198 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 1188 4400 9598 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1188 4401 9998 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1188 4402 10398 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1188 4403 10798 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1188 4404 11198 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1188 4405 11598 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1188 4406 11998 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1188 4407 12398 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1188 4408 12798 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1188 4409 13198 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1188 4410 13598 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1188 4411 13998 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1188 4412 14398 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1188 4413 14798 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1188 4414 15198 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1188 4415 15598 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 1188 4416 15998 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 1188 4417 16398 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 1188 4418 16798 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 1188 4419 17198 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 1188 4420 17598 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 1188 4421 17998 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 1188 4422 18398 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 1188 4423 18798 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 1188 4424 19198 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 1188 4425 19598 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 1188 4426 19998 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 1188 4427 20398 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 1188 4428 20798 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 1188 4429 21198 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 1188 4430 21598 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 1188 4431 21998 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 1188 4432 22398 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 0 | 1188 4433 22798 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 1188 4434 23198 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 0 | 1188 4435 23598 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 0 | 1188 4436 23998 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 0 | 1188 4437 24398 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 0 | 1188 4438 24798 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 0 | 1188 4439 25198 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 2 | 1188 4440 25598 | 5000 2 363 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 2 | 1188 4441 25998 | 5000 2 363 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 2 | 1188 4442 26398 | 5000 2 363 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 2 | 1188 4443 26798 | 5000 2 363 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 2 | 1188 4444 27198 | 5000 2 363 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 2 | 1188 4445 27598 | 5000 2 363 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 2 | 1188 4446 27998 | 5000 2 363 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 2 | 1188 4447 28398 | 5000 2 363 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 2 | 1188 4448 28798 | 5000 2 363 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 2 | 1188 4449 29198 | 5000 2 363 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 2 | 1188 4450 29598 | 5000 2 363 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 3 | 1188 4451 29998 | 5000 3 358 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.123981 s Remaining CPU time: 179.876 s c =============================================================================== c | 3 | 1188 4452 30398 | 5000 3 358 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 3 | 1188 4453 30798 | 5000 3 358 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 3 | 1188 4454 31198 | 5000 3 358 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 3 | 1188 4455 31598 | 5000 3 358 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.137979 s Remaining CPU time: 179.862 s c =============================================================================== c | 3 | 1188 4456 31998 | 5000 3 358 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s c =============================================================================== c | 3 | 1188 4457 32398 | 5000 3 358 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 3 | 1188 4458 32798 | 5000 3 358 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 3 | 1188 4459 33198 | 5000 3 358 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 4 | 1188 4460 33598 | 5000 4 354 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s c =============================================================================== c | 4 | 1188 4461 33998 | 5000 4 354 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s c =============================================================================== c | 4 | 1188 4462 34398 | 5000 4 354 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s c =============================================================================== c | 4 | 1188 4463 34798 | 5000 4 354 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 4 | 1188 4464 35198 | 5000 4 354 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s c =============================================================================== c | 4 | 1188 4465 35598 | 5000 4 354 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s c =============================================================================== c | 4 | 1188 4466 35998 | 5000 4 354 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.188971 s Remaining CPU time: 179.811 s c =============================================================================== c | 4 | 1188 4467 36398 | 5000 4 354 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 4 | 1188 4468 36798 | 5000 4 354 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s c =============================================================================== c | 4 | 1188 4469 37198 | 5000 4 354 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.203968 s Remaining CPU time: 179.796 s c =============================================================================== c | 4 | 1188 4470 37598 | 5000 4 354 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.208968 s Remaining CPU time: 179.791 s c =============================================================================== c | 4 | 1188 4471 37998 | 5000 4 354 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.215967 s Remaining CPU time: 179.784 s c =============================================================================== c | 7 | 1188 4472 38398 | 5000 7 343 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.219966 s Remaining CPU time: 179.78 s c =============================================================================== c | 7 | 1188 4473 38798 | 5000 7 343 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.224965 s Remaining CPU time: 179.775 s c =============================================================================== c | 7 | 1188 4474 39198 | 5000 7 343 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.229965 s Remaining CPU time: 179.77 s c =============================================================================== c | 7 | 1188 4475 39598 | 5000 7 343 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.236963 s Remaining CPU time: 179.763 s c =============================================================================== c | 10 | 1188 4476 39998 | 5000 10 338 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.241963 s Remaining CPU time: 179.758 s c =============================================================================== c | 11 | 1188 4477 40398 | 5000 11 336 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s c =============================================================================== c | 11 | 1188 4478 40798 | 5000 11 336 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.252961 s Remaining CPU time: 179.747 s c =============================================================================== c | 11 | 1188 4479 41198 | 5000 11 336 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.25896 s Remaining CPU time: 179.741 s c =============================================================================== c | 11 | 1188 4480 41598 | 5000 11 336 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.264959 s Remaining CPU time: 179.735 s c =============================================================================== c | 11 | 1188 4481 41998 | 5000 11 336 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.269958 s Remaining CPU time: 179.73 s c =============================================================================== c | 11 | 1188 4482 42398 | 5000 11 336 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.276957 s Remaining CPU time: 179.723 s c =============================================================================== c | 11 | 1188 4483 42798 | 5000 11 336 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s c =============================================================================== c | 11 | 1188 4484 43198 | 5000 11 336 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.287956 s Remaining CPU time: 179.712 s c =============================================================================== c | 11 | 1188 4485 43598 | 5000 11 336 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.293955 s Remaining CPU time: 179.706 s c =============================================================================== c | 11 | 1188 4486 43998 | 5000 11 336 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.300954 s Remaining CPU time: 179.699 s c =============================================================================== c | 11 | 1188 4487 44398 | 5000 11 336 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.306953 s Remaining CPU time: 179.693 s c =============================================================================== c | 11 | 1188 4488 44798 | 5000 11 336 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s c =============================================================================== c | 11 | 1188 4489 45198 | 5000 11 336 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.319951 s Remaining CPU time: 179.68 s c =============================================================================== c | 11 | 1188 4490 45598 | 5000 11 336 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.32495 s Remaining CPU time: 179.675 s c =============================================================================== c | 12 | 1188 4491 45998 | 5000 12 334 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.329949 s Remaining CPU time: 179.67 s c =============================================================================== c | 12 | 1188 4492 46398 | 5000 12 334 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.334949 s Remaining CPU time: 179.665 s c =============================================================================== c | 13 | 1188 4493 46798 | 5000 13 332 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.341948 s Remaining CPU time: 179.658 s c =============================================================================== c | 13 | 1188 4494 47198 | 5000 13 332 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.347947 s Remaining CPU time: 179.652 s c =============================================================================== c | 13 | 1188 4495 47598 | 5000 13 332 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.355945 s Remaining CPU time: 179.644 s c =============================================================================== c | 14 | 1188 4496 47998 | 5000 14 330 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.363944 s Remaining CPU time: 179.636 s c =============================================================================== c | 14 | 1188 4497 48398 | 5000 14 330 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.369943 s Remaining CPU time: 179.63 s c =============================================================================== c | 14 | 1188 4498 48798 | 5000 14 330 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.378942 s Remaining CPU time: 179.621 s c =============================================================================== c | 20 | 1188 4499 49198 | 5000 20 322 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.385941 s Remaining CPU time: 179.614 s c =============================================================================== c | 20 | 1188 4500 49598 | 5000 20 322 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.39294 s Remaining CPU time: 179.607 s c =============================================================================== c | 20 | 1188 4501 49998 | 5000 20 322 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.399939 s Remaining CPU time: 179.6 s c =============================================================================== c | 20 | 1188 4502 50398 | 5000 20 322 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.406938 s Remaining CPU time: 179.593 s c =============================================================================== c | 20 | 1188 4503 50798 | 5000 20 322 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.414936 s Remaining CPU time: 179.585 s c =============================================================================== c | 21 | 1188 4504 51198 | 5000 21 320 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.422935 s Remaining CPU time: 179.577 s c =============================================================================== c | 21 | 1188 4505 51598 | 5000 21 320 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.428934 s Remaining CPU time: 179.571 s c =============================================================================== c | 22 | 1188 4506 51998 | 5000 22 319 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.437933 s Remaining CPU time: 179.562 s c =============================================================================== c | 22 | 1188 4507 52398 | 5000 22 319 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.445932 s Remaining CPU time: 179.554 s c =============================================================================== c | 23 | 1188 4508 52798 | 5000 23 318 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.45493 s Remaining CPU time: 179.545 s c =============================================================================== c | 31 | 1188 4509 53198 | 5000 31 312 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.463929 s Remaining CPU time: 179.536 s c =============================================================================== c | 46 | 1188 4510 53598 | 5000 46 305 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.473927 s Remaining CPU time: 179.526 s c =============================================================================== c | 54 | 1188 4511 53998 | 5000 54 303 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 0.481926 s Remaining CPU time: 179.518 s c =============================================================================== c | 54 | 1188 4512 54398 | 5000 54 303 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 0.490925 s Remaining CPU time: 179.509 s c =============================================================================== c | 59 | 1188 4513 54798 | 5000 59 302 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 0.498924 s Remaining CPU time: 179.501 s c =============================================================================== c | 59 | 1188 4514 55198 | 5000 59 302 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 0.508922 s Remaining CPU time: 179.491 s c =============================================================================== c | 60 | 1188 4515 55598 | 5000 60 297 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 0.52092 s Remaining CPU time: 179.479 s c =============================================================================== c | 72 | 1188 4516 55998 | 5000 72 295 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 0.530919 s Remaining CPU time: 179.469 s c =============================================================================== c | 77 | 1188 4517 56398 | 5000 77 294 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 0.538918 s Remaining CPU time: 179.461 s c =============================================================================== c | 77 | 1188 4518 56798 | 5000 77 294 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 0.549916 s Remaining CPU time: 179.45 s c =============================================================================== c | 82 | 1188 4519 57198 | 5000 82 293 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 0.557915 s Remaining CPU time: 179.442 s c =============================================================================== c | 82 | 1188 4520 57598 | 5000 82 293 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 0.566913 s Remaining CPU time: 179.433 s c =============================================================================== c | 82 | 1188 4521 57998 | 5000 82 293 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 0.575912 s Remaining CPU time: 179.424 s c =============================================================================== c | 83 | 1188 4522 58398 | 5000 83 293 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 0.583911 s Remaining CPU time: 179.416 s c =============================================================================== c | 83 | 1188 4523 58798 | 5000 83 293 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 0.593909 s Remaining CPU time: 179.406 s c =============================================================================== c | 83 | 1188 4524 59198 | 5000 83 293 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 0.623905 s Remaining CPU time: 179.376 s c =============================================================================== c | 177 | 1188 4525 59598 | 5000 177 284 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 0.640902 s Remaining CPU time: 179.359 s c =============================================================================== c | 212 | 1188 4526 59998 | 5000 212 283 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 0.6529 s Remaining CPU time: 179.347 s c =============================================================================== c | 221 | 1188 4527 60398 | 5000 221 282 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 0.664898 s Remaining CPU time: 179.335 s c =============================================================================== c | 229 | 1188 4528 60798 | 5000 229 282 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 0.677896 s Remaining CPU time: 179.322 s c =============================================================================== c | 238 | 1188 4529 61198 | 5000 238 282 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 0.689895 s Remaining CPU time: 179.31 s c =============================================================================== c | 249 | 1188 4530 61598 | 5000 249 281 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 0.705892 s Remaining CPU time: 179.294 s c =============================================================================== c | 285 | 1188 4531 61998 | 5000 285 280 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 0.71889 s Remaining CPU time: 179.281 s c =============================================================================== c | 295 | 1188 4532 62398 | 5000 295 279 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 0.737887 s Remaining CPU time: 179.262 s c =============================================================================== c | 344 | 1188 4533 62798 | 5000 344 277 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 0.766883 s Remaining CPU time: 179.233 s c =============================================================================== c | 414 | 1188 4534 63198 | 5000 414 275 | 0.000 % | c | 514 | 1188 4534 63198 | 5500 514 274 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 0.826874 s Remaining CPU time: 179.173 s c =============================================================================== c | 592 | 1188 4535 63598 | 5000 592 273 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 0.847871 s Remaining CPU time: 179.152 s c =============================================================================== c | 623 | 1188 4536 63998 | 5000 623 272 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 0.870867 s Remaining CPU time: 179.129 s c =============================================================================== c | 662 | 1188 4537 64398 | 5000 662 272 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 0.885865 s Remaining CPU time: 179.114 s c =============================================================================== c | 681 | 1188 4538 64798 | 5000 681 272 | 0.000 % | c | 781 | 1188 4538 64798 | 5500 781 270 | 0.000 % | c | 931 | 1188 4538 64798 | 6050 931 269 | 0.000 % | c | 1156 | 1188 4538 64798 | 6655 1156 268 | 0.000 % | c | 1493 | 1188 4538 64798 | 7320 1493 267 | 0.000 % | c | 2000 | 1188 4538 64798 | 8052 2000 266 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 1.34979 s Remaining CPU time: 178.65 s c =============================================================================== c | 2233 | 1188 4539 65198 | 5000 2233 265 | 0.000 % | c | 2333 | 1188 4539 65198 | 5500 2333 265 | 0.000 % | c | 2483 | 1188 4539 65198 | 6050 2483 265 | 0.000 % | c | 2708 | 1188 4539 65198 | 6655 2708 265 | 0.000 % | c | 3045 | 1188 4539 65198 | 7320 3045 264 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 1.66775 s Remaining CPU time: 178.332 s c =============================================================================== c | 3183 | 1188 4540 65598 | 5000 3183 264 | 0.000 % | c | 3283 | 1188 4540 65598 | 5500 3283 264 | 0.000 % | c | 3433 | 1188 4540 65598 | 6050 3433 264 | 0.000 % | c | 3659 | 1188 4540 65598 | 6655 3659 264 | 0.000 % | c | 3997 | 1188 4540 65598 | 7320 3997 263 | 0.000 % | c | 4504 | 1188 4540 65598 | 8052 4504 263 | 0.000 % | c | 5263 | 1188 4540 65598 | 8857 5263 263 | 0.000 % | c | 6402 | 1188 4540 65598 | 9743 6402 262 | 0.000 % | c | 8110 | 1188 4540 65598 | 10717 8110 262 | 0.000 % | c | 10672 | 1188 4540 65598 | 11789 10672 262 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 4.5973 s Remaining CPU time: 175.403 s c =============================================================================== c | 12643 | 1188 4541 65998 | 5000 6602 261 | 0.000 % | c | 12743 | 1188 4541 65998 | 5500 3401 261 | 0.000 % | c | 12893 | 1188 4541 65998 | 6050 3551 261 | 0.000 % | c | 13118 | 1188 4541 65998 | 6655 3776 261 | 0.000 % | c | 13456 | 1188 4541 65998 | 7320 4114 260 | 0.000 % | c | 13962 | 1188 4541 65998 | 8052 4620 260 | 0.000 % | c | 14721 | 1188 4541 65998 | 8857 5379 260 | 0.000 % | c | 15860 | 1188 4541 65998 | 9743 6518 260 | 0.000 % | c | 17568 | 1188 4541 65998 | 10717 8226 260 | 0.000 % | c | 20130 | 1188 4541 65998 | 11789 10788 260 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 7.81881 s Remaining CPU time: 172.181 s c =============================================================================== c | 22021 | 1188 4542 66398 | 5000 6647 260 | 0.000 % | c | 22121 | 1188 4542 66398 | 5500 3424 259 | 0.000 % | c | 22271 | 1188 4542 66398 | 6050 3574 259 | 0.000 % | c | 22496 | 1188 4542 66398 | 6655 3799 259 | 0.000 % | c | 22833 | 1188 4542 66398 | 7320 4136 259 | 0.000 % | c | 23340 | 1188 4542 66398 | 8052 4643 259 | 0.000 % | c | 24099 | 1188 4542 66398 | 8857 5402 259 | 0.000 % | c | 25238 | 1188 4542 66398 | 9743 6541 259 | 0.000 % | c | 26946 | 1188 4542 66398 | 10717 8249 259 | 0.000 % | c | 29508 | 1188 4542 66398 | 11789 10811 259 | 0.000 % | c | 33352 | 1188 4542 66398 | 12968 8631 259 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 12.979 s Remaining CPU time: 167.021 s c =============================================================================== c | 37417 | 1188 4543 66798 | 5000 12696 259 | 0.000 % | c | 37517 | 1188 4543 66798 | 5500 3274 258 | 0.000 % | c | 37667 | 1188 4543 66798 | 6050 3424 258 | 0.000 % | c | 37892 | 1188 4543 66798 | 6655 3649 258 | 0.000 % | c | 38230 | 1188 4543 66798 | 7320 3987 258 | 0.000 % | c | 38736 | 1188 4543 66798 | 8052 4493 258 | 0.000 % | c | 39495 | 1188 4543 66798 | 8857 5252 258 | 0.000 % | c | 40634 | 1188 4543 66798 | 9743 6391 258 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 14.2098 s Remaining CPU time: 165.79 s c =============================================================================== c | 40913 | 1188 4544 67198 | 5000 6670 258 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 14.2488 s Remaining CPU time: 165.751 s c =============================================================================== c | 40921 | 1188 4545 67598 | 5000 3343 257 | 0.000 % | c | 41021 | 1188 4545 67598 | 5500 3443 257 | 0.000 % | c | 41172 | 1188 4545 67598 | 6050 3594 257 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 14.3608 s Remaining CPU time: 165.639 s c =============================================================================== c | 41222 | 1188 4546 67998 | 5000 3644 257 | 0.000 % | c | 41322 | 1188 4546 67998 | 5500 3744 257 | 0.000 % | c | 41473 | 1188 4546 67998 | 6050 3895 257 | 0.000 % | c | 41698 | 1188 4546 67998 | 6655 4120 257 | 0.000 % | c | 42035 | 1188 4546 67998 | 7320 4457 257 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 14.7848 s Remaining CPU time: 165.215 s c =============================================================================== c | 42412 | 1188 4547 68398 | 5000 4834 256 | 0.000 % | c | 42512 | 1188 4547 68398 | 5500 4934 256 | 0.000 % | c | 42662 | 1188 4547 68398 | 6050 5084 256 | 0.000 % | c | 42887 | 1188 4547 68398 | 6655 5309 256 | 0.000 % | c | 43225 | 1188 4547 68398 | 7320 5647 256 | 0.000 % | c | 43731 | 1188 4547 68398 | 8052 6153 256 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 15.3717 s Remaining CPU time: 164.628 s c =============================================================================== c | 44331 | 1188 4548 68798 | 5000 6753 256 | 0.000 % | c | 44431 | 1188 4548 68798 | 5500 3477 254 | 0.000 % | c | 44581 | 1188 4548 68798 | 6050 3627 254 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 15.5086 s Remaining CPU time: 164.491 s c =============================================================================== c | 44648 | 1188 4549 69198 | 5000 3694 254 | 0.000 % | c | 44748 | 1188 4549 69198 | 5500 3794 253 | 0.000 % | c | 44898 | 1188 4549 69198 | 6050 3944 253 | 0.000 % | c | 45123 | 1188 4549 69198 | 6655 4169 253 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 15.7046 s Remaining CPU time: 164.295 s c =============================================================================== c | 45204 | 1188 4550 69598 | 5000 4250 253 | 0.000 % | c | 45304 | 1188 4550 69598 | 5500 4350 253 | 0.000 % | c | 45455 | 1188 4550 69598 | 6050 4501 253 | 0.000 % | c | 45680 | 1188 4550 69598 | 6655 4726 253 | 0.000 % | c | 46018 | 1188 4550 69598 | 7320 5064 253 | 0.000 % | c | 46525 | 1188 4550 69598 | 8052 5571 253 | 0.000 % | c | 47284 | 1188 4550 69598 | 8857 6330 252 | 0.000 % | c | 48423 | 1188 4550 69598 | 9743 7469 252 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 17.2324 s Remaining CPU time: 162.768 s c =============================================================================== c | 49620 | 1188 4551 69998 | 5000 8666 252 | 0.000 % | c | 49721 | 1188 4551 69998 | 5500 4434 250 | 0.000 % | c | 49871 | 1188 4551 69998 | 6050 4584 250 | 0.000 % | c | 50097 | 1188 4551 69998 | 6655 4810 250 | 0.000 % | c | 50434 | 1188 4551 69998 | 7320 5147 250 | 0.000 % | c | 50940 | 1188 4551 69998 | 8052 5653 250 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 17.9253 s Remaining CPU time: 162.075 s c =============================================================================== c | 51626 | 1188 4552 70398 | 5000 6339 250 | 0.000 % | c | 51726 | 1188 4552 70398 | 5500 3270 250 | 0.000 % | c | 51876 | 1188 4552 70398 | 6050 3420 250 | 0.000 % | c | 52101 | 1188 4552 70398 | 6655 3645 250 | 0.000 % | c | 52439 | 1188 4552 70398 | 7320 3983 249 | 0.000 % | c | 52945 | 1188 4552 70398 | 8052 4489 249 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 18.4882 s Remaining CPU time: 161.512 s c =============================================================================== c | 53030 | 1188 4553 70798 | 5000 4574 249 | 0.000 % | c | 53130 | 1188 4553 70798 | 5500 4674 249 | 0.000 % | c | 53280 | 1188 4553 70798 | 6050 4824 249 | 0.000 % | c | 53505 | 1188 4553 70798 | 6655 5049 249 | 0.000 % | c | 53843 | 1188 4553 70798 | 7320 5387 249 | 0.000 % | c | 54349 | 1188 4553 70798 | 8052 5893 249 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 19.0191 s Remaining CPU time: 160.981 s c =============================================================================== c | 54567 | 1188 4554 71198 | 5000 6111 249 | 0.000 % | c | 54667 | 1188 4554 71198 | 5500 3156 248 | 0.000 % | c | 54817 | 1188 4554 71198 | 6050 3306 248 | 0.000 % | c | 55042 | 1188 4554 71198 | 6655 3531 247 | 0.000 % | c | 55379 | 1188 4554 71198 | 7320 3868 247 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 19.441 s Remaining CPU time: 160.559 s c =============================================================================== c | 55849 | 1188 4555 71598 | 5000 4338 247 | 0.000 % | c | 55950 | 1188 4555 71598 | 5500 4439 247 | 0.000 % | c | 56100 | 1188 4555 71598 | 6050 4589 247 | 0.000 % | c | 56325 | 1188 4555 71598 | 6655 4814 247 | 0.000 % | c | 56662 | 1188 4555 71598 | 7320 5151 247 | 0.000 % | c | 57168 | 1188 4555 71598 | 8052 5657 247 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 19.91 s Remaining CPU time: 160.09 s c =============================================================================== c | 57210 | 1188 4556 71998 | 5000 5699 247 | 0.000 % | c | 57310 | 1188 4556 71998 | 5500 2950 246 | 0.000 % | c | 57460 | 1188 4556 71998 | 6050 3100 246 | 0.000 % | c | 57686 | 1188 4556 71998 | 6655 3326 245 | 0.000 % | c | 58024 | 1188 4556 71998 | 7320 3664 245 | 0.000 % | c | 58531 | 1188 4556 71998 | 8052 4171 245 | 0.000 % | c | 59291 | 1188 4556 71998 | 8857 4931 245 | 0.000 % | c | 60430 | 1188 4556 71998 | 9743 6070 245 | 0.000 % | c | 62139 | 1188 4556 71998 | 10717 7779 245 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 21.5457 s Remaining CPU time: 158.454 s c =============================================================================== c | 62443 | 1188 4557 72398 | 5000 8083 245 | 0.000 % | c | 62543 | 1188 4557 72398 | 5500 4142 244 | 0.000 % | c | 62693 | 1188 4557 72398 | 6050 4292 244 | 0.000 % | c | 62919 | 1188 4557 72398 | 6655 4518 244 | 0.000 % | c | 63257 | 1188 4557 72398 | 7320 4856 244 | 0.000 % | c | 63765 | 1188 4557 72398 | 8052 5364 244 | 0.000 % | c | 64525 | 1188 4557 72398 | 8857 6124 244 | 0.000 % | c | 65664 | 1188 4557 72398 | 9743 7263 244 | 0.000 % | c | 67372 | 1188 4557 72398 | 10717 8971 244 | 0.000 % | c | 69935 | 1188 4557 72398 | 11789 6037 244 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 25.1032 s Remaining CPU time: 154.897 s c =============================================================================== c | 71814 | 1188 4558 72798 | 5000 7916 244 | 0.000 % | c | 71914 | 1188 4558 72798 | 5500 4058 244 | 0.000 % | c | 72064 | 1188 4558 72798 | 6050 4208 244 | 0.000 % | c | 72291 | 1188 4558 72798 | 6655 4435 244 | 0.000 % | c | 72628 | 1188 4558 72798 | 7320 4772 243 | 0.000 % | c | 73134 | 1188 4558 72798 | 8052 5278 243 | 0.000 % | c | 73894 | 1188 4558 72798 | 8857 6038 243 | 0.000 % | c | 75034 | 1188 4558 72798 | 9743 7178 243 | 0.000 % | c | 76743 | 1188 4558 72798 | 10717 8887 243 | 0.000 % | c | 79305 | 1188 4558 72798 | 11789 5948 243 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 28.8136 s Remaining CPU time: 151.186 s c =============================================================================== c | 82405 | 1188 4559 73198 | 5000 9048 243 | 0.000 % | c | 82505 | 1188 4559 73198 | 5500 4624 243 | 0.000 % | c | 82655 | 1188 4559 73198 | 6050 4774 243 | 0.000 % | c | 82880 | 1188 4559 73198 | 6655 4999 243 | 0.000 % | c | 83218 | 1188 4559 73198 | 7320 5337 243 | 0.000 % | c | 83725 | 1188 4559 73198 | 8052 5844 242 | 0.000 % | c | 84484 | 1188 4559 73198 | 8857 6603 242 | 0.000 % | c | 85623 | 1188 4559 73198 | 9743 7742 242 | 0.000 % | c | 87331 | 1188 4559 73198 | 10717 9450 242 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 30.4174 s Remaining CPU time: 149.583 s c =============================================================================== c | 87337 | 1188 4560 73598 | 5000 9456 242 | 0.000 % | c | 87437 | 1188 4560 73598 | 5500 4828 242 | 0.000 % | c | 87587 | 1188 4560 73598 | 6050 4978 242 | 0.000 % | c | 87812 | 1188 4560 73598 | 6655 5203 242 | 0.000 % | c | 88149 | 1188 4560 73598 | 7320 5540 242 | 0.000 % | c | 88656 | 1188 4560 73598 | 8052 6047 241 | 0.000 % | c | 89415 | 1188 4560 73598 | 8857 6806 241 | 0.000 % | c | 90554 | 1188 4560 73598 | 9743 7945 241 | 0.000 % | c | 92262 | 1188 4560 73598 | 10717 9653 241 | 0.000 % | c | 94825 | 1188 4560 73598 | 11789 6735 241 | 0.000 % | c | 98669 | 1188 4560 73598 | 12968 10579 241 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 34.8997 s Remaining CPU time: 145.1 s c =============================================================================== c | 100531 | 1188 4561 73998 | 5000 12441 241 | 0.000 % | c | 100632 | 1188 4561 73998 | 5500 3212 241 | 0.000 % | c | 100783 | 1188 4561 73998 | 6050 3363 241 | 0.000 % | c | 101008 | 1188 4561 73998 | 6655 3588 241 | 0.000 % | c | 101345 | 1188 4561 73998 | 7320 3925 241 | 0.000 % | c | 101851 | 1188 4561 73998 | 8052 4431 241 | 0.000 % | c | 102611 | 1188 4561 73998 | 8857 5191 240 | 0.000 % | c | 103750 | 1188 4561 73998 | 9743 6330 240 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 36.5124 s Remaining CPU time: 143.488 s c =============================================================================== c | 104926 | 1188 4562 74398 | 5000 7506 240 | 0.000 % | c | 105026 | 1188 4562 74398 | 5500 3853 240 | 0.000 % | c | 105177 | 1188 4562 74398 | 6050 4004 240 | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 36.7384 s Remaining CPU time: 143.262 s c =============================================================================== c | 105400 | 1188 4563 74798 | 5000 4227 240 | 0.000 % | c | 105500 | 1188 4563 74798 | 5500 4327 240 | 0.000 % | c | 105650 | 1188 4563 74798 | 6050 4477 239 | 0.000 % | c | 105875 | 1188 4563 74798 | 6655 4702 239 | 0.000 % | c | 106212 | 1188 4563 74798 | 7320 5039 239 | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 37.0854 s Remaining CPU time: 142.915 s c =============================================================================== c | 106382 | 1188 4564 75198 | 5000 5209 239 | 0.000 % | c | 106482 | 1188 4564 75198 | 5500 2705 239 | 0.000 % | c | 106632 | 1188 4564 75198 | 6050 2855 239 | 0.000 % | c | 106858 | 1188 4564 75198 | 6655 3081 238 | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 37.3573 s Remaining CPU time: 142.643 s c =============================================================================== c | 107076 | 1188 4565 75598 | 5000 3299 238 | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 37.3873 s Remaining CPU time: 142.613 s c =============================================================================== c | 107115 | 1188 4566 75998 | 5000 3338 238 | 0.000 % | c | 107215 | 1188 4566 75998 | 5500 3438 238 | 0.000 % | c | 107365 | 1188 4566 75998 | 6050 3588 238 | 0.000 % | c | 107590 | 1188 4566 75998 | 6655 3813 238 | 0.000 % | c | 107927 | 1188 4566 75998 | 7320 4150 238 | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 37.7003 s Remaining CPU time: 142.3 s c =============================================================================== c | 108056 | 1188 4567 76398 | 5000 4279 237 | 0.000 % | c | 108157 | 1188 4567 76398 | 5500 4380 237 | 0.000 % | c | 108307 | 1188 4567 76398 | 6050 4530 237 | 0.000 % | c | 108532 | 1188 4567 76398 | 6655 4755 237 | 0.000 % | c | 108871 | 1188 4567 76398 | 7320 5094 237 | 0.000 % | c | 109377 | 1188 4567 76398 | 8052 5600 237 | 0.000 % | c | 110136 | 1188 4567 76398 | 8857 6359 236 | 0.000 % | c | 111275 | 1188 4567 76398 | 9743 7498 236 | 0.000 % | c | 112984 | 1188 4567 76398 | 10717 9207 236 | 0.000 % | c | 115546 | 1188 4567 76398 | 11789 6252 234 | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 40.7808 s Remaining CPU time: 139.219 s c =============================================================================== c | 118309 | 1188 4568 76798 | 5000 9015 234 | 0.000 % | c | 118410 | 1188 4568 76798 | 5500 4609 234 | 0.000 % | c | 118560 | 1188 4568 76798 | 6050 4759 234 | 0.000 % | c | 118785 | 1188 4568 76798 | 6655 4984 234 | 0.000 % | c | 119122 | 1188 4568 76798 | 7320 5321 234 | 0.000 % | c | 119628 | 1188 4568 76798 | 8052 5827 234 | 0.000 % | c | 120387 | 1188 4568 76798 | 8857 6586 234 | 0.000 % | c | 121526 | 1188 4568 76798 | 9743 7725 234 | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 42.3246 s Remaining CPU time: 137.675 s c =============================================================================== c | 122617 | 1188 4569 77198 | 5000 8816 233 | 0.000 % | c | 122717 | 1188 4569 77198 | 5500 4508 233 | 0.000 % | c | 122868 | 1188 4569 77198 | 6050 4659 233 | 0.000 % | c | 123093 | 1188 4569 77198 | 6655 4884 233 | 0.000 % | c | 123430 | 1188 4569 77198 | 7320 5221 233 | 0.000 % | c | 123936 | 1188 4569 77198 | 8052 5727 233 | 0.000 % | c | 124695 | 1188 4569 77198 | 8857 6486 232 | 0.000 % | c | 125834 | 1188 4569 77198 | 9743 7625 232 | 0.000 % | c | 127542 | 1188 4569 77198 | 10717 9333 232 | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 44.2283 s Remaining CPU time: 135.772 s c =============================================================================== c | 128598 | 1188 4570 77598 | 5000 10389 232 | 0.000 % | c | 128698 | 1188 4570 77598 | 5500 2698 232 | 0.000 % | c | 128849 | 1188 4570 77598 | 6050 2849 232 | 0.000 % | c | 129075 | 1188 4570 77598 | 6655 3075 232 | 0.000 % | c | 129412 | 1188 4570 77598 | 7320 3412 231 | 0.000 % | c | 129919 | 1188 4570 77598 | 8052 3919 231 | 0.000 % | c | 130678 | 1188 4570 77598 | 8857 4678 231 | 0.000 % | c | 131817 | 1188 4570 77598 | 9743 5817 231 | 0.000 % | c | 133525 | 1188 4570 77598 | 10717 7525 231 | 0.000 % | c | 136087 | 1188 4570 77598 | 11789 10087 231 | 0.000 % | c | 139932 | 1188 4570 77598 | 12968 7903 231 | 0.000 % | c | 145699 | 1188 4570 77598 | 14265 7052 231 | 0.000 % | c | 154348 | 1188 4570 77598 | 15692 8445 231 | 0.000 % | c | 167322 | 1188 4570 77598 | 17261 13451 231 | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 61.1547 s Remaining CPU time: 118.845 s c =============================================================================== c | 171436 | 1188 4571 77998 | 5000 8804 231 | 0.000 % | c | 171536 | 1188 4571 77998 | 5500 4502 231 | 0.000 % | c | 171687 | 1188 4571 77998 | 6050 4653 231 | 0.000 % | c | 171912 | 1188 4571 77998 | 6655 4878 231 | 0.000 % | c | 172249 | 1188 4571 77998 | 7320 5215 231 | 0.000 % | c | 172755 | 1188 4571 77998 | 8052 5721 231 | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 61.7156 s Remaining CPU time: 118.284 s c =============================================================================== c | 172781 | 1188 4572 78398 | 5000 5747 231 | 0.000 % | c | 172882 | 1188 4572 78398 | 5500 2975 230 | 0.000 % | c | 173034 | 1188 4572 78398 | 6050 3127 230 | 0.000 % | c | 173259 | 1188 4572 78398 | 6655 3352 230 | 0.000 % | c | 173596 | 1188 4572 78398 | 7320 3689 230 | 0.000 % | c | 174102 | 1188 4572 78398 | 8052 4195 230 | 0.000 % | c | 174861 | 1188 4572 78398 | 8857 4954 230 | 0.000 % | c | 176000 | 1188 4572 78398 | 9743 6093 229 | 0.000 % | c | 177708 | 1188 4572 78398 | 10717 7801 229 | 0.000 % | c | 180270 | 1188 4572 78398 | 11789 10363 229 | 0.000 % | c | 184115 | 1188 4572 78398 | 12968 8180 229 | 0.000 % | c | 189881 | 1188 4572 78398 | 14265 7335 229 | 0.000 % | c | 198530 | 1188 4572 78398 | 15692 8703 229 | 0.000 % | c | 211504 | 1188 4572 78398 | 17261 13693 229 | 0.000 % | c | 230965 | 1188 4572 78398 | 18987 15636 229 | 0.000 % | c | 260157 | 1188 4572 78398 | 20886 15935 229 | 0.000 % | c | 303946 | 1188 4572 78398 | 22974 17148 229 | 0.000 % | c | 369630 | 1188 4572 78398 | 25272 19686 229 | 0.000 % |