c wbo 1.4 beta - 20100610 c | Number of variables: 800 | c | Number of clauses: 4437 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1192 | c | Number Clauses: 4429 | 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 | 1192 4429 9258 | 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 | 1192 4430 9658 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1192 4431 10058 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1192 4432 10458 | 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 | 1192 4433 10858 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1192 4434 11258 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1192 4435 11658 | 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 | 1192 4436 12058 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1192 4437 12458 | 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 | 1192 4438 12858 | 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 | 1192 4439 13258 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1192 4440 13658 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1192 4441 14058 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1192 4442 14458 | 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 | 1192 4443 14858 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1192 4444 15258 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1192 4445 15658 | 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 | 1 | 1192 4446 16058 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 1 | 1192 4447 16458 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 1 | 1192 4448 16858 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 1 | 1192 4449 17258 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 1 | 1192 4450 17658 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 1 | 1192 4451 18058 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 1 | 1192 4452 18458 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 1 | 1192 4453 18858 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 1 | 1192 4454 19258 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 1 | 1192 4455 19658 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 1 | 1192 4456 20058 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 1 | 1192 4457 20458 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 1 | 1192 4458 20858 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 1 | 1192 4459 21258 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 1 | 1192 4460 21658 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 2 | 1192 4461 22058 | 5000 2 377 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 2 | 1192 4462 22458 | 5000 2 377 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 2 | 1192 4463 22858 | 5000 2 377 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 2 | 1192 4464 23258 | 5000 2 377 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 2 | 1192 4465 23658 | 5000 2 377 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 2 | 1192 4466 24058 | 5000 2 377 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 3 | 1192 4467 24458 | 5000 3 372 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 3 | 1192 4468 24858 | 5000 3 372 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 3 | 1192 4469 25258 | 5000 3 372 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 3 | 1192 4470 25658 | 5000 3 372 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 3 | 1192 4471 26058 | 5000 3 372 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 3 | 1192 4472 26458 | 5000 3 372 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 3 | 1192 4473 26858 | 5000 3 372 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 3 | 1192 4474 27258 | 5000 3 372 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 3 | 1192 4475 27658 | 5000 3 372 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 3 | 1192 4476 28058 | 5000 3 372 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 5 | 1192 4477 28458 | 5000 5 365 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 6 | 1192 4478 28858 | 5000 6 304 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 6 | 1192 4479 29258 | 5000 6 304 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 9 | 1192 4480 29658 | 5000 9 320 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 9 | 1192 4481 30058 | 5000 9 320 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 9 | 1192 4482 30458 | 5000 9 320 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 9 | 1192 4483 30858 | 5000 9 320 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 9 | 1192 4484 31258 | 5000 9 320 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 9 | 1192 4485 31658 | 5000 9 320 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s c =============================================================================== c | 9 | 1192 4486 32058 | 5000 9 320 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 9 | 1192 4487 32458 | 5000 9 320 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.153976 s Remaining CPU time: 179.846 s c =============================================================================== c | 9 | 1192 4488 32858 | 5000 9 320 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 9 | 1192 4489 33258 | 5000 9 320 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 9 | 1192 4490 33658 | 5000 9 320 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 9 | 1192 4491 34058 | 5000 9 320 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 12 | 1192 4492 34458 | 5000 12 325 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.175973 s Remaining CPU time: 179.824 s c =============================================================================== c | 12 | 1192 4493 34858 | 5000 12 325 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.180972 s Remaining CPU time: 179.819 s c =============================================================================== c | 12 | 1192 4494 35258 | 5000 12 325 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.184971 s Remaining CPU time: 179.815 s c =============================================================================== c | 12 | 1192 4495 35658 | 5000 12 325 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.188971 s Remaining CPU time: 179.811 s c =============================================================================== c | 12 | 1192 4496 36058 | 5000 12 325 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 12 | 1192 4497 36458 | 5000 12 325 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.197969 s Remaining CPU time: 179.802 s c =============================================================================== c | 12 | 1192 4498 36858 | 5000 12 325 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.203968 s Remaining CPU time: 179.796 s c =============================================================================== c | 19 | 1192 4499 37258 | 5000 19 327 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 19 | 1192 4500 37658 | 5000 19 327 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 19 | 1192 4501 38058 | 5000 19 327 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.219966 s Remaining CPU time: 179.78 s c =============================================================================== c | 19 | 1192 4502 38458 | 5000 19 327 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.224965 s Remaining CPU time: 179.775 s c =============================================================================== c | 19 | 1192 4503 38858 | 5000 19 327 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.229965 s Remaining CPU time: 179.77 s c =============================================================================== c | 19 | 1192 4504 39258 | 5000 19 327 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.235964 s Remaining CPU time: 179.764 s c =============================================================================== c | 19 | 1192 4505 39658 | 5000 19 327 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.239963 s Remaining CPU time: 179.76 s c =============================================================================== c | 19 | 1192 4506 40058 | 5000 19 327 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.245962 s Remaining CPU time: 179.754 s c =============================================================================== c | 19 | 1192 4507 40458 | 5000 19 327 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.251961 s Remaining CPU time: 179.748 s c =============================================================================== c | 20 | 1192 4508 40858 | 5000 20 327 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.25796 s Remaining CPU time: 179.742 s c =============================================================================== c | 21 | 1192 4509 41258 | 5000 21 327 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.263959 s Remaining CPU time: 179.736 s c =============================================================================== c | 21 | 1192 4510 41658 | 5000 21 327 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.270958 s Remaining CPU time: 179.729 s c =============================================================================== c | 36 | 1192 4511 42058 | 5000 36 324 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.277957 s Remaining CPU time: 179.722 s c =============================================================================== c | 38 | 1192 4512 42458 | 5000 38 324 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.284956 s Remaining CPU time: 179.715 s c =============================================================================== c | 38 | 1192 4513 42858 | 5000 38 324 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s c =============================================================================== c | 45 | 1192 4514 43258 | 5000 45 323 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s c =============================================================================== c | 47 | 1192 4515 43658 | 5000 47 322 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.306953 s Remaining CPU time: 179.693 s c =============================================================================== c | 49 | 1192 4516 44058 | 5000 49 322 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.314952 s Remaining CPU time: 179.685 s c =============================================================================== c | 53 | 1192 4517 44458 | 5000 53 321 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.32495 s Remaining CPU time: 179.675 s c =============================================================================== c | 66 | 1192 4518 44858 | 5000 66 320 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.331949 s Remaining CPU time: 179.668 s c =============================================================================== c | 66 | 1192 4519 45258 | 5000 66 320 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.338948 s Remaining CPU time: 179.661 s c =============================================================================== c | 69 | 1192 4520 45658 | 5000 69 319 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.346947 s Remaining CPU time: 179.653 s c =============================================================================== c | 76 | 1192 4521 46058 | 5000 76 318 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s c =============================================================================== c | 80 | 1192 4522 46458 | 5000 80 318 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.359945 s Remaining CPU time: 179.64 s c =============================================================================== c | 83 | 1192 4523 46858 | 5000 83 318 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.368943 s Remaining CPU time: 179.631 s c =============================================================================== c | 98 | 1192 4524 47258 | 5000 98 316 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.385941 s Remaining CPU time: 179.614 s c =============================================================================== c | 135 | 1192 4525 47658 | 5000 135 313 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.39394 s Remaining CPU time: 179.606 s c =============================================================================== c | 142 | 1192 4526 48058 | 5000 142 311 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.401938 s Remaining CPU time: 179.598 s c =============================================================================== c | 145 | 1192 4527 48458 | 5000 145 311 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.409937 s Remaining CPU time: 179.59 s c =============================================================================== c | 148 | 1192 4528 48858 | 5000 148 311 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.416936 s Remaining CPU time: 179.583 s c =============================================================================== c | 152 | 1192 4529 49258 | 5000 152 310 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.425935 s Remaining CPU time: 179.574 s c =============================================================================== c | 154 | 1192 4530 49658 | 5000 154 310 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.433934 s Remaining CPU time: 179.566 s c =============================================================================== c | 157 | 1192 4531 50058 | 5000 157 310 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.440932 s Remaining CPU time: 179.559 s c =============================================================================== c | 158 | 1192 4532 50458 | 5000 158 310 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.452931 s Remaining CPU time: 179.547 s c =============================================================================== c | 176 | 1192 4533 50858 | 5000 176 309 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.45993 s Remaining CPU time: 179.54 s c =============================================================================== c | 176 | 1192 4534 51258 | 5000 176 309 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.468928 s Remaining CPU time: 179.531 s c =============================================================================== c | 178 | 1192 4535 51658 | 5000 178 309 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.477927 s Remaining CPU time: 179.522 s c =============================================================================== c | 179 | 1192 4536 52058 | 5000 179 309 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.487925 s Remaining CPU time: 179.512 s c =============================================================================== c | 190 | 1192 4537 52458 | 5000 190 308 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.495924 s Remaining CPU time: 179.504 s c =============================================================================== c | 190 | 1192 4538 52858 | 5000 190 308 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.510922 s Remaining CPU time: 179.489 s c =============================================================================== c | 227 | 1192 4539 53258 | 5000 227 305 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.52292 s Remaining CPU time: 179.477 s c =============================================================================== c | 248 | 1192 4540 53658 | 5000 248 304 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.533918 s Remaining CPU time: 179.466 s c =============================================================================== c | 264 | 1192 4541 54058 | 5000 264 303 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 0.550916 s Remaining CPU time: 179.449 s c =============================================================================== c | 318 | 1192 4542 54458 | 5000 318 301 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 0.565913 s Remaining CPU time: 179.434 s c =============================================================================== c | 348 | 1192 4543 54858 | 5000 348 299 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 0.577912 s Remaining CPU time: 179.422 s c =============================================================================== c | 360 | 1192 4544 55258 | 5000 360 299 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 0.59091 s Remaining CPU time: 179.409 s c =============================================================================== c | 375 | 1192 4545 55658 | 5000 375 298 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 0.603908 s Remaining CPU time: 179.396 s c =============================================================================== c | 389 | 1192 4546 56058 | 5000 389 298 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 0.614906 s Remaining CPU time: 179.385 s c =============================================================================== c | 404 | 1192 4547 56458 | 5000 404 297 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 0.628904 s Remaining CPU time: 179.371 s c =============================================================================== c | 421 | 1192 4548 56858 | 5000 421 297 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 0.642902 s Remaining CPU time: 179.357 s c =============================================================================== c | 445 | 1192 4549 57258 | 5000 445 295 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 0.6549 s Remaining CPU time: 179.345 s c =============================================================================== c | 454 | 1192 4550 57658 | 5000 454 295 | 0.000 % | c | 554 | 1192 4550 57658 | 5500 554 292 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 0.706892 s Remaining CPU time: 179.293 s c =============================================================================== c | 658 | 1192 4551 58058 | 5000 658 290 | 0.000 % | c | 759 | 1192 4551 58058 | 5500 759 289 | 0.000 % | c | 910 | 1192 4551 58058 | 6050 910 287 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 0.820875 s Remaining CPU time: 179.179 s c =============================================================================== c | 1091 | 1192 4552 58458 | 5000 1091 286 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 0.846871 s Remaining CPU time: 179.153 s c =============================================================================== c | 1171 | 1192 4553 58858 | 5000 1171 285 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 0.870867 s Remaining CPU time: 179.129 s c =============================================================================== c | 1237 | 1192 4554 59258 | 5000 1237 285 | 0.000 % | c | 1337 | 1192 4554 59258 | 5500 1337 284 | 0.000 % | c | 1487 | 1192 4554 59258 | 6050 1487 284 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 0.950855 s Remaining CPU time: 179.049 s c =============================================================================== c | 1496 | 1192 4555 59658 | 5000 1496 284 | 0.000 % | c | 1596 | 1192 4555 59658 | 5500 1596 283 | 0.000 % | c | 1746 | 1192 4555 59658 | 6050 1746 283 | 0.000 % | c | 1971 | 1192 4555 59658 | 6655 1971 282 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 1.10283 s Remaining CPU time: 178.897 s c =============================================================================== c | 2061 | 1192 4556 60058 | 5000 2061 282 | 0.000 % | c | 2161 | 1192 4556 60058 | 5500 2161 281 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 1.17082 s Remaining CPU time: 178.829 s c =============================================================================== c | 2272 | 1192 4557 60458 | 5000 2272 281 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 1.18682 s Remaining CPU time: 178.813 s c =============================================================================== c | 2301 | 1192 4558 60858 | 5000 2301 281 | 0.000 % | c | 2402 | 1192 4558 60858 | 5500 2402 281 | 0.000 % | c | 2552 | 1192 4558 60858 | 6050 2552 280 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 1.2958 s Remaining CPU time: 178.704 s c =============================================================================== c | 2696 | 1192 4559 61258 | 5000 2696 280 | 0.000 % | c | 2796 | 1192 4559 61258 | 5500 2796 279 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 1.36479 s Remaining CPU time: 178.635 s c =============================================================================== c | 2937 | 1192 4560 61658 | 5000 2937 279 | 0.000 % | c | 3037 | 1192 4560 61658 | 5500 3037 279 | 0.000 % | c | 3188 | 1192 4560 61658 | 6050 3188 278 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 1.44878 s Remaining CPU time: 178.551 s c =============================================================================== c | 3229 | 1192 4561 62058 | 5000 3229 278 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 1.46078 s Remaining CPU time: 178.539 s c =============================================================================== c | 3241 | 1192 4562 62458 | 5000 3241 278 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 1.48677 s Remaining CPU time: 178.513 s c =============================================================================== c | 3319 | 1192 4563 62858 | 5000 3319 278 | 0.000 % | c | 3419 | 1192 4563 62858 | 5500 3419 278 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 1.55676 s Remaining CPU time: 178.443 s c =============================================================================== c | 3542 | 1192 4564 63258 | 5000 3542 277 | 0.000 % | c | 3643 | 1192 4564 63258 | 5500 3643 277 | 0.000 % | c | 3793 | 1192 4564 63258 | 6050 3793 277 | 0.000 % | c | 4018 | 1192 4564 63258 | 6655 4018 276 | 0.000 % | c | 4355 | 1192 4564 63258 | 7320 4355 275 | 0.000 % | c | 4862 | 1192 4564 63258 | 8052 4862 275 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 2.01069 s Remaining CPU time: 177.989 s c =============================================================================== c | 5221 | 1192 4565 63658 | 5000 5221 274 | 0.000 % | c | 5322 | 1192 4565 63658 | 5500 2712 268 | 0.000 % | c | 5472 | 1192 4565 63658 | 6050 2862 268 | 0.000 % | c | 5697 | 1192 4565 63658 | 6655 3087 267 | 0.000 % | c | 6034 | 1192 4565 63658 | 7320 3424 267 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 2.32565 s Remaining CPU time: 177.674 s c =============================================================================== c | 6301 | 1192 4566 64058 | 5000 3691 267 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 2.35464 s Remaining CPU time: 177.645 s c =============================================================================== c | 6377 | 1192 4567 64458 | 5000 3767 267 | 0.000 % | c | 6477 | 1192 4567 64458 | 5500 3867 267 | 0.000 % | c | 6627 | 1192 4567 64458 | 6050 4017 267 | 0.000 % | c | 6852 | 1192 4567 64458 | 6655 4242 267 | 0.000 % | c | 7189 | 1192 4567 64458 | 7320 4579 267 | 0.000 % | c | 7695 | 1192 4567 64458 | 8052 5085 266 | 0.000 % | c | 8454 | 1192 4567 64458 | 8857 5844 266 | 0.000 % | c | 9593 | 1192 4567 64458 | 9743 6983 266 | 0.000 % | c | 11301 | 1192 4567 64458 | 10717 8691 265 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 3.90241 s Remaining CPU time: 176.098 s c =============================================================================== c | 11683 | 1192 4568 64858 | 5000 9073 265 | 0.000 % | c | 11783 | 1192 4568 64858 | 5500 4637 264 | 0.000 % | c | 11933 | 1192 4568 64858 | 6050 4787 264 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 4.05938 s Remaining CPU time: 175.941 s c =============================================================================== c | 11970 | 1192 4569 65258 | 5000 4824 264 | 0.000 % | c | 12070 | 1192 4569 65258 | 5500 4924 264 | 0.000 % | c | 12220 | 1192 4569 65258 | 6050 5074 264 | 0.000 % | c | 12445 | 1192 4569 65258 | 6655 5299 263 | 0.000 % | c | 12782 | 1192 4569 65258 | 7320 5636 263 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 4.43733 s Remaining CPU time: 175.563 s c =============================================================================== c | 13053 | 1192 4570 65658 | 5000 5907 263 | 0.000 % | c | 13153 | 1192 4570 65658 | 5500 3054 262 | 0.000 % | c | 13304 | 1192 4570 65658 | 6050 3205 262 | 0.000 % | c | 13530 | 1192 4570 65658 | 6655 3431 262 | 0.000 % | c | 13867 | 1192 4570 65658 | 7320 3768 262 | 0.000 % | c | 14373 | 1192 4570 65658 | 8052 4274 262 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 4.93425 s Remaining CPU time: 175.066 s c =============================================================================== c | 14564 | 1192 4571 66058 | 5000 4465 262 | 0.000 % | c | 14665 | 1192 4571 66058 | 5500 4566 262 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 5.01524 s Remaining CPU time: 174.985 s c =============================================================================== c | 14766 | 1192 4572 66458 | 5000 4667 262 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 5.06323 s Remaining CPU time: 174.937 s c =============================================================================== c | 14865 | 1192 4573 66858 | 5000 4766 262 | 0.000 % | c | 14965 | 1192 4573 66858 | 5500 4866 262 | 0.000 % | c | 15116 | 1192 4573 66858 | 6050 5017 262 | 0.000 % | c | 15342 | 1192 4573 66858 | 6655 5243 261 | 0.000 % | c | 15679 | 1192 4573 66858 | 7320 5580 261 | 0.000 % | c | 16186 | 1192 4573 66858 | 8052 6087 261 | 0.000 % | c | 16945 | 1192 4573 66858 | 8857 6846 261 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 5.88511 s Remaining CPU time: 174.115 s c =============================================================================== c | 17538 | 1192 4574 67258 | 5000 7439 260 | 0.000 % | c | 17638 | 1192 4574 67258 | 5500 3820 258 | 0.000 % | c | 17788 | 1192 4574 67258 | 6050 3970 258 | 0.000 % | c | 18014 | 1192 4574 67258 | 6655 4196 258 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 6.23505 s Remaining CPU time: 173.765 s c =============================================================================== c | 18331 | 1192 4575 67658 | 5000 4513 258 | 0.000 % | c | 18431 | 1192 4575 67658 | 5500 4613 258 | 0.000 % | c | 18581 | 1192 4575 67658 | 6050 4763 258 | 0.000 % | c | 18806 | 1192 4575 67658 | 6655 4988 258 | 0.000 % | c | 19143 | 1192 4575 67658 | 7320 5325 258 | 0.000 % | c | 19650 | 1192 4575 67658 | 8052 5832 257 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 6.89695 s Remaining CPU time: 173.103 s c =============================================================================== c | 20133 | 1192 4576 68058 | 5000 6315 257 | 0.000 % | c | 20235 | 1192 4576 68058 | 5500 3260 256 | 0.000 % | c | 20386 | 1192 4576 68058 | 6050 3411 256 | 0.000 % | c | 20611 | 1192 4576 68058 | 6655 3636 256 | 0.000 % | c | 20948 | 1192 4576 68058 | 7320 3973 256 | 0.000 % | c | 21454 | 1192 4576 68058 | 8052 4479 256 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 7.59085 s Remaining CPU time: 172.409 s c =============================================================================== c | 22152 | 1192 4577 68458 | 5000 5177 256 | 0.000 % | c | 22252 | 1192 4577 68458 | 5500 2689 254 | 0.000 % | c | 22403 | 1192 4577 68458 | 6050 2840 254 | 0.000 % | c | 22628 | 1192 4577 68458 | 6655 3065 254 | 0.000 % | c | 22965 | 1192 4577 68458 | 7320 3402 254 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 7.8998 s Remaining CPU time: 172.1 s c =============================================================================== c | 23059 | 1192 4578 68858 | 5000 3496 254 | 0.000 % | c | 23159 | 1192 4578 68858 | 5500 3596 254 | 0.000 % | c | 23309 | 1192 4578 68858 | 6050 3746 254 | 0.000 % | c | 23534 | 1192 4578 68858 | 6655 3971 254 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 8.12776 s Remaining CPU time: 171.872 s c =============================================================================== c | 23687 | 1192 4579 69258 | 5000 4124 254 | 0.000 % | c | 23787 | 1192 4579 69258 | 5500 4224 254 | 0.000 % | c | 23937 | 1192 4579 69258 | 6050 4374 254 | 0.000 % | c | 24163 | 1192 4579 69258 | 6655 4600 254 | 0.000 % | c | 24500 | 1192 4579 69258 | 7320 4937 254 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 8.45671 s Remaining CPU time: 171.543 s c =============================================================================== c | 24585 | 1192 4580 69658 | 5000 5022 254 | 0.000 % | c | 24685 | 1192 4580 69658 | 5500 2611 252 | 0.000 % | c | 24835 | 1192 4580 69658 | 6050 2761 252 | 0.000 % | c | 25060 | 1192 4580 69658 | 6655 2986 252 | 0.000 % | c | 25398 | 1192 4580 69658 | 7320 3324 252 | 0.000 % | c | 25904 | 1192 4580 69658 | 8052 3830 252 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 8.92164 s Remaining CPU time: 171.078 s c =============================================================================== c | 25920 | 1192 4581 70058 | 5000 3846 252 | 0.000 % | c | 26021 | 1192 4581 70058 | 5500 3947 252 | 0.000 % | c | 26171 | 1192 4581 70058 | 6050 4097 252 | 0.000 % | c | 26397 | 1192 4581 70058 | 6655 4323 252 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 9.13761 s Remaining CPU time: 170.862 s c =============================================================================== c | 26550 | 1192 4582 70458 | 5000 4476 252 | 0.000 % | c | 26650 | 1192 4582 70458 | 5500 4576 251 | 0.000 % | c | 26800 | 1192 4582 70458 | 6050 4726 251 | 0.000 % | c | 27025 | 1192 4582 70458 | 6655 4951 251 | 0.000 % | c | 27362 | 1192 4582 70458 | 7320 5288 251 | 0.000 % | c | 27869 | 1192 4582 70458 | 8052 5795 251 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 9.71952 s Remaining CPU time: 170.28 s c =============================================================================== c | 28272 | 1192 4583 70858 | 5000 6198 251 | 0.000 % | c | 28372 | 1192 4583 70858 | 5500 3199 249 | 0.000 % | c | 28522 | 1192 4583 70858 | 6050 3349 249 | 0.000 % | c | 28748 | 1192 4583 70858 | 6655 3575 249 | 0.000 % | c | 29085 | 1192 4583 70858 | 7320 3912 249 | 0.000 % | c | 29591 | 1192 4583 70858 | 8052 4418 249 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 10.3934 s Remaining CPU time: 169.607 s c =============================================================================== c | 30171 | 1192 4584 71258 | 5000 4998 249 | 0.000 % | c | 30271 | 1192 4584 71258 | 5500 5098 249 | 0.000 % | c | 30421 | 1192 4584 71258 | 6050 5248 249 | 0.000 % | c | 30646 | 1192 4584 71258 | 6655 5473 249 | 0.000 % | c | 30983 | 1192 4584 71258 | 7320 5810 249 | 0.000 % | c | 31490 | 1192 4584 71258 | 8052 6317 248 | 0.000 % | c | 32250 | 1192 4584 71258 | 8857 7077 248 | 0.000 % | c | 33390 | 1192 4584 71258 | 9743 8217 248 | 0.000 % | c | 35098 | 1192 4584 71258 | 10717 9925 248 | 0.000 % | c | 37660 | 1192 4584 71258 | 11789 6988 247 | 0.000 % | c | 41504 | 1192 4584 71258 | 12968 10832 247 | 0.000 % | c | 47271 | 1192 4584 71258 | 14265 9978 247 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 16.4535 s Remaining CPU time: 163.547 s c =============================================================================== c | 48218 | 1192 4585 71658 | 5000 10925 247 | 0.000 % | c | 48318 | 1192 4585 71658 | 5500 2832 247 | 0.000 % | c | 48468 | 1192 4585 71658 | 6050 2982 247 | 0.000 % | c | 48693 | 1192 4585 71658 | 6655 3207 247 | 0.000 % | c | 49031 | 1192 4585 71658 | 7320 3545 246 | 0.000 % | c | 49537 | 1192 4585 71658 | 8052 4051 246 | 0.000 % | c | 50296 | 1192 4585 71658 | 8857 4810 246 | 0.000 % | c | 51436 | 1192 4585 71658 | 9743 5950 246 | 0.000 % | c | 53144 | 1192 4585 71658 | 10717 7658 246 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 18.1042 s Remaining CPU time: 161.896 s c =============================================================================== c | 53281 | 1192 4586 72058 | 5000 7795 246 | 0.000 % | c | 53382 | 1192 4586 72058 | 5500 3999 246 | 0.000 % | c | 53532 | 1192 4586 72058 | 6050 4149 246 | 0.000 % | c | 53757 | 1192 4586 72058 | 6655 4374 246 | 0.000 % | c | 54094 | 1192 4586 72058 | 7320 4711 246 | 0.000 % | c | 54600 | 1192 4586 72058 | 8052 5217 246 | 0.000 % | c | 55359 | 1192 4586 72058 | 8857 5976 245 | 0.000 % | c | 56498 | 1192 4586 72058 | 9743 7115 245 | 0.000 % | c | 58206 | 1192 4586 72058 | 10717 8823 245 | 0.000 % | c | 60768 | 1192 4586 72058 | 11789 5866 245 | 0.000 % | c | 64613 | 1192 4586 72058 | 12968 9711 245 | 0.000 % | c | 70379 | 1192 4586 72058 | 14265 8841 246 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 28.0007 s Remaining CPU time: 151.999 s c =============================================================================== c | 77102 | 1192 4587 72458 | 5000 8261 246 | 0.000 % | c | 77202 | 1192 4587 72458 | 5500 4231 245 | 0.000 % | c | 77352 | 1192 4587 72458 | 6050 4381 245 | 0.000 % | c | 77577 | 1192 4587 72458 | 6655 4606 245 | 0.000 % | c | 77914 | 1192 4587 72458 | 7320 4943 245 | 0.000 % | c | 78420 | 1192 4587 72458 | 8052 5449 245 | 0.000 % | c | 79179 | 1192 4587 72458 | 8857 6208 245 | 0.000 % | c | 80319 | 1192 4587 72458 | 9743 7348 245 | 0.000 % | c | 82027 | 1192 4587 72458 | 10717 9056 245 | 0.000 % | c | 84589 | 1192 4587 72458 | 11789 6134 244 | 0.000 % | c | 88433 | 1192 4587 72458 | 12968 9978 244 | 0.000 % | c | 94199 | 1192 4587 72458 | 14265 9137 244 | 0.000 % | c | 102849 | 1192 4587 72458 | 15692 10530 245 | 0.000 % | c | 115824 | 1192 4587 72458 | 17261 15533 245 | 0.000 % | c | 135285 | 1192 4587 72458 | 18987 17468 245 | 0.000 % | c | 164477 | 1192 4587 72458 | 20886 17776 245 | 0.000 % | c | 208266 | 1192 4587 72458 | 22974 19128 245 | 0.000 % | c | 273950 | 1192 4587 72458 | 25272 21988 245 | 0.000 % |