c wbo 1.4 beta - 20100610 c | Number of variables: 800 | c | Number of clauses: 4356 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1189 | c | Number Clauses: 4341 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1189 4341 9078 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 1189 4342 9482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1189 4343 9886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1189 4344 10290 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1189 4345 10694 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1189 4346 11098 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1189 4347 11502 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1189 4348 11906 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1189 4349 12310 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1189 4350 12714 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1189 4351 13118 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1189 4352 13522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1189 4353 13926 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 1189 4354 14330 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 1189 4355 14734 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1189 4356 15138 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1189 4357 15542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 1 | 1189 4358 15946 | 5000 1 389 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 1 | 1189 4359 16350 | 5000 1 389 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 1 | 1189 4360 16754 | 5000 1 389 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 1 | 1189 4361 17158 | 5000 1 389 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 1 | 1189 4362 17562 | 5000 1 389 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 1 | 1189 4363 17966 | 5000 1 389 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 1 | 1189 4364 18370 | 5000 1 389 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 1 | 1189 4365 18774 | 5000 1 389 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 2 | 1189 4366 19178 | 5000 2 385 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 2 | 1189 4367 19582 | 5000 2 385 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 2 | 1189 4368 19986 | 5000 2 385 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 2 | 1189 4369 20390 | 5000 2 385 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 2 | 1189 4370 20794 | 5000 2 385 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 3 | 1189 4371 21198 | 5000 3 382 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 3 | 1189 4372 21602 | 5000 3 382 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 3 | 1189 4373 22006 | 5000 3 382 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 3 | 1189 4374 22410 | 5000 3 382 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 3 | 1189 4375 22814 | 5000 3 382 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 3 | 1189 4376 23218 | 5000 3 382 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 3 | 1189 4377 23622 | 5000 3 382 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 3 | 1189 4378 24026 | 5000 3 382 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 3 | 1189 4379 24430 | 5000 3 382 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 3 | 1189 4380 24834 | 5000 3 382 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 3 | 1189 4381 25238 | 5000 3 382 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 3 | 1189 4382 25642 | 5000 3 382 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 3 | 1189 4383 26046 | 5000 3 382 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 4 | 1189 4384 26450 | 5000 4 287 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 4 | 1189 4385 26854 | 5000 4 287 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 4 | 1189 4386 27258 | 5000 4 287 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 4 | 1189 4387 27662 | 5000 4 287 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 4 | 1189 4388 28066 | 5000 4 287 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 4 | 1189 4389 28470 | 5000 4 287 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 4 | 1189 4390 28874 | 5000 4 287 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s c =============================================================================== c | 4 | 1189 4391 29278 | 5000 4 287 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 4 | 1189 4392 29682 | 5000 4 287 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 4 | 1189 4393 30086 | 5000 4 287 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s c =============================================================================== c | 4 | 1189 4394 30490 | 5000 4 287 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 4 | 1189 4395 30894 | 5000 4 287 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 4 | 1189 4396 31298 | 5000 4 287 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 5 | 1189 4397 31702 | 5000 5 300 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 5 | 1189 4398 32106 | 5000 5 300 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s c =============================================================================== c | 5 | 1189 4399 32510 | 5000 5 300 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 5 | 1189 4400 32914 | 5000 5 300 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 5 | 1189 4401 33318 | 5000 5 300 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.182972 s Remaining CPU time: 179.817 s c =============================================================================== c | 6 | 1189 4402 33722 | 5000 6 307 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.187971 s Remaining CPU time: 179.812 s c =============================================================================== c | 6 | 1189 4403 34126 | 5000 6 307 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.19197 s Remaining CPU time: 179.808 s c =============================================================================== c | 6 | 1189 4404 34530 | 5000 6 307 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.19697 s Remaining CPU time: 179.803 s c =============================================================================== c | 7 | 1189 4405 34934 | 5000 7 312 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.201969 s Remaining CPU time: 179.798 s c =============================================================================== c | 7 | 1189 4406 35338 | 5000 7 312 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 7 | 1189 4407 35742 | 5000 7 312 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s c =============================================================================== c | 7 | 1189 4408 36146 | 5000 7 312 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.216967 s Remaining CPU time: 179.783 s c =============================================================================== c | 8 | 1189 4409 36550 | 5000 8 315 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.222966 s Remaining CPU time: 179.777 s c =============================================================================== c | 8 | 1189 4410 36954 | 5000 8 315 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.228965 s Remaining CPU time: 179.771 s c =============================================================================== c | 12 | 1189 4411 37358 | 5000 12 322 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s c =============================================================================== c | 12 | 1189 4412 37762 | 5000 12 322 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.239963 s Remaining CPU time: 179.76 s c =============================================================================== c | 12 | 1189 4413 38166 | 5000 12 322 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.244962 s Remaining CPU time: 179.755 s c =============================================================================== c | 12 | 1189 4414 38570 | 5000 12 322 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s c =============================================================================== c | 12 | 1189 4415 38974 | 5000 12 322 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s c =============================================================================== c | 12 | 1189 4416 39378 | 5000 12 322 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.26196 s Remaining CPU time: 179.738 s c =============================================================================== c | 13 | 1189 4417 39782 | 5000 13 323 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.266959 s Remaining CPU time: 179.733 s c =============================================================================== c | 13 | 1189 4418 40186 | 5000 13 323 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s c =============================================================================== c | 13 | 1189 4419 40590 | 5000 13 323 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.279957 s Remaining CPU time: 179.72 s c =============================================================================== c | 22 | 1189 4420 40994 | 5000 22 324 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.287956 s Remaining CPU time: 179.712 s c =============================================================================== c | 27 | 1189 4421 41398 | 5000 27 324 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.296954 s Remaining CPU time: 179.703 s c =============================================================================== c | 33 | 1189 4422 41802 | 5000 33 324 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.307953 s Remaining CPU time: 179.692 s c =============================================================================== c | 58 | 1189 4423 42206 | 5000 58 324 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s c =============================================================================== c | 58 | 1189 4424 42610 | 5000 58 324 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.319951 s Remaining CPU time: 179.68 s c =============================================================================== c | 58 | 1189 4425 43014 | 5000 58 324 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.32795 s Remaining CPU time: 179.672 s c =============================================================================== c | 65 | 1189 4426 43418 | 5000 65 324 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.335948 s Remaining CPU time: 179.664 s c =============================================================================== c | 69 | 1189 4427 43822 | 5000 69 323 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.345947 s Remaining CPU time: 179.654 s c =============================================================================== c | 77 | 1189 4428 44226 | 5000 77 323 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.354946 s Remaining CPU time: 179.645 s c =============================================================================== c | 83 | 1189 4429 44630 | 5000 83 322 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.363944 s Remaining CPU time: 179.636 s c =============================================================================== c | 92 | 1189 4430 45034 | 5000 92 322 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.372943 s Remaining CPU time: 179.627 s c =============================================================================== c | 99 | 1189 4431 45438 | 5000 99 321 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.384941 s Remaining CPU time: 179.615 s c =============================================================================== c | 120 | 1189 4432 45842 | 5000 120 320 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.396939 s Remaining CPU time: 179.603 s c =============================================================================== c | 148 | 1189 4433 46246 | 5000 148 319 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.403938 s Remaining CPU time: 179.596 s c =============================================================================== c | 148 | 1189 4434 46650 | 5000 148 319 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.414936 s Remaining CPU time: 179.585 s c =============================================================================== c | 163 | 1189 4435 47054 | 5000 163 318 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.421935 s Remaining CPU time: 179.578 s c =============================================================================== c | 164 | 1189 4436 47458 | 5000 164 318 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.432934 s Remaining CPU time: 179.567 s c =============================================================================== c | 183 | 1189 4437 47862 | 5000 183 317 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.438933 s Remaining CPU time: 179.561 s c =============================================================================== c | 183 | 1189 4438 48266 | 5000 183 317 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.446932 s Remaining CPU time: 179.553 s c =============================================================================== c | 189 | 1189 4439 48670 | 5000 189 317 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.460929 s Remaining CPU time: 179.539 s c =============================================================================== c | 218 | 1189 4440 49074 | 5000 218 316 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.468928 s Remaining CPU time: 179.531 s c =============================================================================== c | 220 | 1189 4441 49478 | 5000 220 315 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.477927 s Remaining CPU time: 179.522 s c =============================================================================== c | 224 | 1189 4442 49882 | 5000 224 315 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.487925 s Remaining CPU time: 179.512 s c =============================================================================== c | 231 | 1189 4443 50286 | 5000 231 315 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.502923 s Remaining CPU time: 179.497 s c =============================================================================== c | 275 | 1189 4444 50690 | 5000 275 313 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.512922 s Remaining CPU time: 179.487 s c =============================================================================== c | 283 | 1189 4445 51094 | 5000 283 313 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.52492 s Remaining CPU time: 179.475 s c =============================================================================== c | 297 | 1189 4446 51498 | 5000 297 312 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.540917 s Remaining CPU time: 179.459 s c =============================================================================== c | 337 | 1189 4447 51902 | 5000 337 311 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.549916 s Remaining CPU time: 179.45 s c =============================================================================== c | 349 | 1189 4448 52306 | 5000 349 310 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.561914 s Remaining CPU time: 179.438 s c =============================================================================== c | 369 | 1189 4449 52710 | 5000 369 309 | 0.000 % | c | 472 | 1189 4449 52710 | 5500 472 307 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.604908 s Remaining CPU time: 179.395 s c =============================================================================== c | 480 | 1189 4450 53114 | 5000 480 306 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.636903 s Remaining CPU time: 179.363 s c =============================================================================== c | 555 | 1189 4451 53518 | 5000 555 305 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.643902 s Remaining CPU time: 179.356 s c =============================================================================== c | 560 | 1189 4452 53922 | 5000 560 305 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.6549 s Remaining CPU time: 179.345 s c =============================================================================== c | 573 | 1189 4453 54326 | 5000 573 305 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.663899 s Remaining CPU time: 179.336 s c =============================================================================== c | 577 | 1189 4454 54730 | 5000 577 304 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.676897 s Remaining CPU time: 179.323 s c =============================================================================== c | 590 | 1189 4455 55134 | 5000 590 304 | 0.000 % | c | 690 | 1189 4455 55134 | 5500 690 302 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.723889 s Remaining CPU time: 179.276 s c =============================================================================== c | 726 | 1189 4456 55538 | 5000 726 301 | 0.000 % | c | 827 | 1189 4456 55538 | 5500 827 300 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.776881 s Remaining CPU time: 179.223 s c =============================================================================== c | 849 | 1189 4457 55942 | 5000 849 300 | 0.000 % | c | 950 | 1189 4457 55942 | 5500 950 298 | 0.000 % | c | 1100 | 1189 4457 55942 | 6050 1100 297 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 0.877866 s Remaining CPU time: 179.122 s c =============================================================================== c | 1134 | 1189 4458 56346 | 5000 1134 297 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 0.897863 s Remaining CPU time: 179.102 s c =============================================================================== c | 1182 | 1189 4459 56750 | 5000 1182 297 | 0.000 % | c | 1282 | 1189 4459 56750 | 5500 1282 296 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 0.976851 s Remaining CPU time: 179.023 s c =============================================================================== c | 1422 | 1189 4460 57154 | 5000 1422 295 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 1.00985 s Remaining CPU time: 178.99 s c =============================================================================== c | 1497 | 1189 4461 57558 | 5000 1497 294 | 0.000 % | c | 1597 | 1189 4461 57558 | 5500 1597 294 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 1.06884 s Remaining CPU time: 178.931 s c =============================================================================== c | 1625 | 1189 4462 57962 | 5000 1625 294 | 0.000 % | c | 1725 | 1189 4462 57962 | 5500 1725 293 | 0.000 % | c | 1875 | 1189 4462 57962 | 6050 1875 292 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 1.21481 s Remaining CPU time: 178.785 s c =============================================================================== c | 2056 | 1189 4463 58366 | 5000 2056 292 | 0.000 % | c | 2156 | 1189 4463 58366 | 5500 2156 291 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 1.2968 s Remaining CPU time: 178.703 s c =============================================================================== c | 2272 | 1189 4464 58770 | 5000 2272 291 | 0.000 % | c | 2372 | 1189 4464 58770 | 5500 2372 290 | 0.000 % | c | 2523 | 1189 4464 58770 | 6050 2523 290 | 0.000 % | c | 2749 | 1189 4464 58770 | 6655 2749 289 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 1.47078 s Remaining CPU time: 178.529 s c =============================================================================== c | 2814 | 1189 4465 59174 | 5000 2814 289 | 0.000 % | c | 2915 | 1189 4465 59174 | 5500 2915 289 | 0.000 % | c | 3065 | 1189 4465 59174 | 6050 3065 288 | 0.000 % | c | 3290 | 1189 4465 59174 | 6655 3290 288 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 1.71574 s Remaining CPU time: 178.284 s c =============================================================================== c | 3555 | 1189 4466 59578 | 5000 3555 287 | 0.000 % | c | 3655 | 1189 4466 59578 | 5500 3655 287 | 0.000 % | c | 3805 | 1189 4466 59578 | 6050 3805 287 | 0.000 % | c | 4030 | 1189 4466 59578 | 6655 4030 287 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 1.93471 s Remaining CPU time: 178.065 s c =============================================================================== c | 4224 | 1189 4467 59982 | 5000 4224 286 | 0.000 % | c | 4324 | 1189 4467 59982 | 5500 4324 286 | 0.000 % | c | 4474 | 1189 4467 59982 | 6050 4474 286 | 0.000 % | c | 4699 | 1189 4467 59982 | 6655 4699 286 | 0.000 % | c | 5037 | 1189 4467 59982 | 7320 5037 285 | 0.000 % | c | 5543 | 1189 4467 59982 | 8052 5543 285 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 2.39064 s Remaining CPU time: 177.609 s c =============================================================================== c | 5639 | 1189 4468 60386 | 5000 5639 285 | 0.000 % | c | 5740 | 1189 4468 60386 | 5500 2921 280 | 0.000 % | c | 5891 | 1189 4468 60386 | 6050 3072 280 | 0.000 % | c | 6117 | 1189 4468 60386 | 6655 3298 280 | 0.000 % | c | 6454 | 1189 4468 60386 | 7320 3635 280 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 2.78058 s Remaining CPU time: 177.219 s c =============================================================================== c | 6731 | 1189 4469 60790 | 5000 3912 279 | 0.000 % | c | 6831 | 1189 4469 60790 | 5500 4012 279 | 0.000 % | c | 6982 | 1189 4469 60790 | 6050 4163 279 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 2.93055 s Remaining CPU time: 177.069 s c =============================================================================== c | 7095 | 1189 4470 61194 | 5000 4276 279 | 0.000 % | c | 7196 | 1189 4470 61194 | 5500 4377 279 | 0.000 % | c | 7346 | 1189 4470 61194 | 6050 4527 279 | 0.000 % | c | 7571 | 1189 4470 61194 | 6655 4752 279 | 0.000 % | c | 7908 | 1189 4470 61194 | 7320 5089 279 | 0.000 % | c | 8414 | 1189 4470 61194 | 8052 5595 279 | 0.000 % | c | 9173 | 1189 4470 61194 | 8857 6354 278 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 3.63345 s Remaining CPU time: 176.367 s c =============================================================================== c | 9209 | 1189 4471 61598 | 5000 6390 278 | 0.000 % | c | 9311 | 1189 4471 61598 | 5500 3297 277 | 0.000 % | c | 9462 | 1189 4471 61598 | 6050 3448 277 | 0.000 % | c | 9688 | 1189 4471 61598 | 6655 3674 276 | 0.000 % | c | 10025 | 1189 4471 61598 | 7320 4011 276 | 0.000 % | c | 10532 | 1189 4471 61598 | 8052 4518 276 | 0.000 % | c | 11291 | 1189 4471 61598 | 8857 5277 276 | 0.000 % | c | 12430 | 1189 4471 61598 | 9743 6416 276 | 0.000 % | c | 14138 | 1189 4471 61598 | 10717 8124 276 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 6.11507 s Remaining CPU time: 173.885 s c =============================================================================== c | 16498 | 1189 4472 62002 | 5000 10484 276 | 0.000 % | c | 16599 | 1189 4472 62002 | 5500 2722 275 | 0.000 % | c | 16749 | 1189 4472 62002 | 6050 2872 275 | 0.000 % | c | 16974 | 1189 4472 62002 | 6655 3097 275 | 0.000 % | c | 17312 | 1189 4472 62002 | 7320 3435 275 | 0.000 % | c | 17818 | 1189 4472 62002 | 8052 3941 275 | 0.000 % | c | 18577 | 1189 4472 62002 | 8857 4700 275 | 0.000 % | c | 19716 | 1189 4472 62002 | 9743 5839 275 | 0.000 % | c | 21425 | 1189 4472 62002 | 10717 7548 275 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 8.5547 s Remaining CPU time: 171.445 s c =============================================================================== c | 23908 | 1189 4473 62406 | 5000 10031 275 | 0.000 % | c | 24008 | 1189 4473 62406 | 5500 2608 274 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 8.68568 s Remaining CPU time: 171.314 s c =============================================================================== c | 24024 | 1189 4474 62810 | 5000 2624 274 | 0.000 % | c | 24124 | 1189 4474 62810 | 5500 2724 274 | 0.000 % | c | 24274 | 1189 4474 62810 | 6050 2874 274 | 0.000 % | c | 24500 | 1189 4474 62810 | 6655 3100 274 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 8.91364 s Remaining CPU time: 171.086 s c =============================================================================== c | 24576 | 1189 4475 63214 | 5000 3176 274 | 0.000 % | c | 24676 | 1189 4475 63214 | 5500 3276 274 | 0.000 % | c | 24826 | 1189 4475 63214 | 6050 3426 274 | 0.000 % | c | 25051 | 1189 4475 63214 | 6655 3651 274 | 0.000 % | c | 25388 | 1189 4475 63214 | 7320 3988 273 | 0.000 % | c | 25894 | 1189 4475 63214 | 8052 4494 273 | 0.000 % | c | 26653 | 1189 4475 63214 | 8857 5253 273 | 0.000 % | c | 27792 | 1189 4475 63214 | 9743 6392 273 | 0.000 % | c | 29500 | 1189 4475 63214 | 10717 8100 273 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 10.5544 s Remaining CPU time: 169.446 s c =============================================================================== c | 29698 | 1189 4476 63618 | 5000 8298 273 | 0.000 % | c | 29798 | 1189 4476 63618 | 5500 4249 272 | 0.000 % | c | 29948 | 1189 4476 63618 | 6050 4399 272 | 0.000 % | c | 30173 | 1189 4476 63618 | 6655 4624 272 | 0.000 % | c | 30512 | 1189 4476 63618 | 7320 4963 272 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 10.9803 s Remaining CPU time: 169.02 s c =============================================================================== c | 30728 | 1189 4477 64022 | 5000 5179 271 | 0.000 % | c | 30828 | 1189 4477 64022 | 5500 2690 271 | 0.000 % | c | 30978 | 1189 4477 64022 | 6050 2840 271 | 0.000 % | c | 31203 | 1189 4477 64022 | 6655 3065 271 | 0.000 % | c | 31541 | 1189 4477 64022 | 7320 3403 271 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 11.3143 s Remaining CPU time: 168.686 s c =============================================================================== c | 31550 | 1189 4478 64426 | 5000 3412 271 | 0.000 % | c | 31650 | 1189 4478 64426 | 5500 3512 271 | 0.000 % | c | 31800 | 1189 4478 64426 | 6050 3662 271 | 0.000 % | c | 32027 | 1189 4478 64426 | 6655 3889 271 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 11.5222 s Remaining CPU time: 168.478 s c =============================================================================== c | 32079 | 1189 4479 64830 | 5000 3941 271 | 0.000 % | c | 32179 | 1189 4479 64830 | 5500 4041 270 | 0.000 % | c | 32330 | 1189 4479 64830 | 6050 4192 270 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 11.6312 s Remaining CPU time: 168.369 s c =============================================================================== c | 32346 | 1189 4480 65234 | 5000 4208 270 | 0.000 % | c | 32447 | 1189 4480 65234 | 5500 4309 270 | 0.000 % | c | 32597 | 1189 4480 65234 | 6050 4459 270 | 0.000 % | c | 32822 | 1189 4480 65234 | 6655 4684 270 | 0.000 % | c | 33159 | 1189 4480 65234 | 7320 5021 270 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 11.9222 s Remaining CPU time: 168.078 s c =============================================================================== c | 33209 | 1189 4481 65638 | 5000 5071 270 | 0.000 % | c | 33309 | 1189 4481 65638 | 5500 2636 268 | 0.000 % | c | 33460 | 1189 4481 65638 | 6050 2787 267 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 12.0912 s Remaining CPU time: 167.909 s c =============================================================================== c | 33662 | 1189 4482 66042 | 5000 2989 267 | 0.000 % | c | 33762 | 1189 4482 66042 | 5500 3089 267 | 0.000 % | c | 33912 | 1189 4482 66042 | 6050 3239 267 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 12.2661 s Remaining CPU time: 167.734 s c =============================================================================== c | 34122 | 1189 4483 66446 | 5000 3449 267 | 0.000 % | c | 34222 | 1189 4483 66446 | 5500 3549 267 | 0.000 % | c | 34373 | 1189 4483 66446 | 6050 3700 267 | 0.000 % | c | 34598 | 1189 4483 66446 | 6655 3925 266 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 12.5081 s Remaining CPU time: 167.492 s c =============================================================================== c | 34755 | 1189 4484 66850 | 5000 4082 266 | 0.000 % | c | 34855 | 1189 4484 66850 | 5500 4182 266 | 0.000 % | c | 35005 | 1189 4484 66850 | 6050 4332 266 | 0.000 % | c | 35232 | 1189 4484 66850 | 6655 4559 266 | 0.000 % | c | 35569 | 1189 4484 66850 | 7320 4896 266 | 0.000 % | c | 36076 | 1189 4484 66850 | 8052 5403 265 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 12.961 s Remaining CPU time: 167.039 s c =============================================================================== c | 36142 | 1189 4485 67254 | 5000 5469 265 | 0.000 % | c | 36243 | 1189 4485 67254 | 5500 2836 263 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 13.061 s Remaining CPU time: 166.939 s c =============================================================================== c | 36367 | 1189 4486 67658 | 5000 2960 263 | 0.000 % | c | 36467 | 1189 4486 67658 | 5500 3060 263 | 0.000 % | c | 36617 | 1189 4486 67658 | 6050 3210 262 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 13.19 s Remaining CPU time: 166.81 s c =============================================================================== c | 36699 | 1189 4487 68062 | 5000 3292 262 | 0.000 % | c | 36799 | 1189 4487 68062 | 5500 3392 262 | 0.000 % | c | 36949 | 1189 4487 68062 | 6050 3542 262 | 0.000 % | c | 37174 | 1189 4487 68062 | 6655 3767 262 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 13.471 s Remaining CPU time: 166.529 s c =============================================================================== c | 37503 | 1189 4488 68466 | 5000 4096 262 | 0.000 % | c | 37604 | 1189 4488 68466 | 5500 4197 262 | 0.000 % | c | 37755 | 1189 4488 68466 | 6050 4348 262 | 0.000 % | c | 37980 | 1189 4488 68466 | 6655 4573 261 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 13.7339 s Remaining CPU time: 166.266 s c =============================================================================== c | 38235 | 1189 4489 68870 | 5000 4828 261 | 0.000 % | c | 38335 | 1189 4489 68870 | 5500 4928 261 | 0.000 % | c | 38485 | 1189 4489 68870 | 6050 5078 261 | 0.000 % | c | 38710 | 1189 4489 68870 | 6655 5303 261 | 0.000 % | c | 39047 | 1189 4489 68870 | 7320 5640 261 | 0.000 % | c | 39553 | 1189 4489 68870 | 8052 6146 260 | 0.000 % | c | 40312 | 1189 4489 68870 | 8857 6905 260 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 14.8187 s Remaining CPU time: 165.181 s c =============================================================================== c | 41256 | 1189 4490 69274 | 5000 7849 260 | 0.000 % | c | 41356 | 1189 4490 69274 | 5500 4025 258 | 0.000 % | c | 41506 | 1189 4490 69274 | 6050 4175 257 | 0.000 % | c | 41731 | 1189 4490 69274 | 6655 4400 257 | 0.000 % | c | 42069 | 1189 4490 69274 | 7320 4738 257 | 0.000 % | c | 42575 | 1189 4490 69274 | 8052 5244 257 | 0.000 % | c | 43334 | 1189 4490 69274 | 8857 6003 257 | 0.000 % | c | 44473 | 1189 4490 69274 | 9743 7142 257 | 0.000 % | c | 46181 | 1189 4490 69274 | 10717 8850 257 | 0.000 % | c | 48743 | 1189 4490 69274 | 11789 5892 257 | 0.000 % | c | 52587 | 1189 4490 69274 | 12968 9736 257 | 0.000 % | c | 58353 | 1189 4490 69274 | 14265 8877 257 | 0.000 % | c | 67002 | 1189 4490 69274 | 15692 10240 257 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 27.8828 s Remaining CPU time: 152.117 s c =============================================================================== c | 78304 | 1189 4491 69678 | 5000 13558 257 | 0.000 % | c | 78404 | 1189 4491 69678 | 5500 3490 257 | 0.000 % | c | 78554 | 1189 4491 69678 | 6050 3640 257 | 0.000 % | c | 78779 | 1189 4491 69678 | 6655 3865 257 | 0.000 % | c | 79116 | 1189 4491 69678 | 7320 4202 256 | 0.000 % | c | 79622 | 1189 4491 69678 | 8052 4708 256 | 0.000 % | c | 80381 | 1189 4491 69678 | 8857 5467 256 | 0.000 % | c | 81521 | 1189 4491 69678 | 9743 6607 256 | 0.000 % | c | 83229 | 1189 4491 69678 | 10717 8315 256 | 0.000 % | c | 85792 | 1189 4491 69678 | 11789 10878 256 | 0.000 % | c | 89636 | 1189 4491 69678 | 12968 8676 256 | 0.000 % | c | 95402 | 1189 4491 69678 | 14265 7808 256 | 0.000 % | c | 104051 | 1189 4491 69678 | 15692 9168 256 | 0.000 % | c | 117025 | 1189 4491 69678 | 17261 14152 256 | 0.000 % | c | 136487 | 1189 4491 69678 | 18987 16074 256 | 0.000 % | c | 165679 | 1189 4491 69678 | 20886 16354 256 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 77.5302 s Remaining CPU time: 102.47 s c =============================================================================== c | 197808 | 1189 4492 70082 | 5000 16475 256 | 0.000 % | c | 197908 | 1189 4492 70082 | 5500 4219 256 | 0.000 % | c | 198058 | 1189 4492 70082 | 6050 4369 256 | 0.000 % | c | 198283 | 1189 4492 70082 | 6655 4594 256 | 0.000 % | c | 198620 | 1189 4492 70082 | 7320 4931 255 | 0.000 % | c | 199126 | 1189 4492 70082 | 8052 5437 255 | 0.000 % | c | 199885 | 1189 4492 70082 | 8857 6196 255 | 0.000 % | c | 201025 | 1189 4492 70082 | 9743 7336 255 | 0.000 % | c | 202733 | 1189 4492 70082 | 10717 9044 255 | 0.000 % | c | 205295 | 1189 4492 70082 | 11789 6107 254 | 0.000 % | c | 209140 | 1189 4492 70082 | 12968 9952 254 | 0.000 % | c | 214906 | 1189 4492 70082 | 14265 9080 255 | 0.000 % | c | 223555 | 1189 4492 70082 | 15692 10436 255 | 0.000 % | c | 236530 | 1189 4492 70082 | 17261 15420 255 | 0.000 % | c | 255992 | 1189 4492 70082 | 18987 17334 255 | 0.000 % | c | 285185 | 1189 4492 70082 | 20886 17594 255 | 0.000 % | c | 328975 | 1189 4492 70082 | 22974 18683 255 | 0.000 % |