c wbo 1.4 beta - 20100610 c | Number of variables: 800 | c | Number of clauses: 4347 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1189 | c | Number Clauses: 4337 | 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 4337 9075 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 1189 4338 9474 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1189 4339 9873 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1189 4340 10272 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1189 4341 10671 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1189 4342 11070 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1189 4343 11469 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1189 4344 11868 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1189 4345 12267 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1189 4346 12666 | 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 | 1189 4347 13065 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1189 4348 13464 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1189 4349 13863 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1189 4350 14262 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1189 4351 14661 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1189 4352 15060 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1189 4353 15459 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 1189 4354 15858 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 1189 4355 16257 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 1189 4356 16656 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 1189 4357 17055 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 1189 4358 17454 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 1189 4359 17853 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 1189 4360 18252 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 1189 4361 18651 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 1189 4362 19050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 1189 4363 19449 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 1189 4364 19848 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 0 | 1189 4365 20247 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 1189 4366 20646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 1189 4367 21045 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 1189 4368 21444 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 0 | 1189 4369 21843 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 0 | 1189 4370 22242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 0 | 1189 4371 22641 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 0 | 1189 4372 23040 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 1 | 1189 4373 23439 | 5000 1 366 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 1 | 1189 4374 23838 | 5000 1 366 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 1 | 1189 4375 24237 | 5000 1 366 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 1 | 1189 4376 24636 | 5000 1 366 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 1 | 1189 4377 25035 | 5000 1 366 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 1 | 1189 4378 25434 | 5000 1 366 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 2 | 1189 4379 25833 | 5000 2 362 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 2 | 1189 4380 26232 | 5000 2 362 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 2 | 1189 4381 26631 | 5000 2 362 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s c =============================================================================== c | 2 | 1189 4382 27030 | 5000 2 362 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 2 | 1189 4383 27429 | 5000 2 362 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s c =============================================================================== c | 2 | 1189 4384 27828 | 5000 2 362 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 2 | 1189 4385 28227 | 5000 2 362 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 2 | 1189 4386 28626 | 5000 2 362 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.13098 s Remaining CPU time: 179.869 s c =============================================================================== c | 2 | 1189 4387 29025 | 5000 2 362 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s c =============================================================================== c | 2 | 1189 4388 29424 | 5000 2 362 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 2 | 1189 4389 29823 | 5000 2 362 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 2 | 1189 4390 30222 | 5000 2 362 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s c =============================================================================== c | 2 | 1189 4391 30621 | 5000 2 362 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 2 | 1189 4392 31020 | 5000 2 362 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 2 | 1189 4393 31419 | 5000 2 362 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 2 | 1189 4394 31818 | 5000 2 362 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 2 | 1189 4395 32217 | 5000 2 362 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.164974 s Remaining CPU time: 179.835 s c =============================================================================== c | 3 | 1189 4396 32616 | 5000 3 355 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s c =============================================================================== c | 3 | 1189 4397 33015 | 5000 3 355 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 3 | 1189 4398 33414 | 5000 3 355 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 3 | 1189 4399 33813 | 5000 3 355 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.182972 s Remaining CPU time: 179.817 s c =============================================================================== c | 3 | 1189 4400 34212 | 5000 3 355 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.187971 s Remaining CPU time: 179.812 s c =============================================================================== c | 3 | 1189 4401 34611 | 5000 3 355 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.19297 s Remaining CPU time: 179.807 s c =============================================================================== c | 3 | 1189 4402 35010 | 5000 3 355 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.197969 s Remaining CPU time: 179.802 s c =============================================================================== c | 3 | 1189 4403 35409 | 5000 3 355 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 3 | 1189 4404 35808 | 5000 3 355 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 3 | 1189 4405 36207 | 5000 3 355 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.212967 s Remaining CPU time: 179.787 s c =============================================================================== c | 3 | 1189 4406 36606 | 5000 3 355 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s c =============================================================================== c | 3 | 1189 4407 37005 | 5000 3 355 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.222966 s Remaining CPU time: 179.777 s c =============================================================================== c | 4 | 1189 4408 37404 | 5000 4 349 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 4 | 1189 4409 37803 | 5000 4 349 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s c =============================================================================== c | 4 | 1189 4410 38202 | 5000 4 349 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.236963 s Remaining CPU time: 179.763 s c =============================================================================== c | 4 | 1189 4411 38601 | 5000 4 349 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.242963 s Remaining CPU time: 179.757 s c =============================================================================== c | 4 | 1189 4412 39000 | 5000 4 349 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s c =============================================================================== c | 4 | 1189 4413 39399 | 5000 4 349 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s c =============================================================================== c | 4 | 1189 4414 39798 | 5000 4 349 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.25896 s Remaining CPU time: 179.741 s c =============================================================================== c | 4 | 1189 4415 40197 | 5000 4 349 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.265959 s Remaining CPU time: 179.734 s c =============================================================================== c | 5 | 1189 4416 40596 | 5000 5 343 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.270958 s Remaining CPU time: 179.729 s c =============================================================================== c | 6 | 1189 4417 40995 | 5000 6 340 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.276957 s Remaining CPU time: 179.723 s c =============================================================================== c | 6 | 1189 4418 41394 | 5000 6 340 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.281957 s Remaining CPU time: 179.718 s c =============================================================================== c | 6 | 1189 4419 41793 | 5000 6 340 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.285956 s Remaining CPU time: 179.714 s c =============================================================================== c | 6 | 1189 4420 42192 | 5000 6 340 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s c =============================================================================== c | 6 | 1189 4421 42591 | 5000 6 340 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.298954 s Remaining CPU time: 179.701 s c =============================================================================== c | 6 | 1189 4422 42990 | 5000 6 340 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.304953 s Remaining CPU time: 179.695 s c =============================================================================== c | 6 | 1189 4423 43389 | 5000 6 340 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.310952 s Remaining CPU time: 179.689 s c =============================================================================== c | 6 | 1189 4424 43788 | 5000 6 340 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.316951 s Remaining CPU time: 179.683 s c =============================================================================== c | 6 | 1189 4425 44187 | 5000 6 340 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.32295 s Remaining CPU time: 179.677 s c =============================================================================== c | 7 | 1189 4426 44586 | 5000 7 336 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.329949 s Remaining CPU time: 179.67 s c =============================================================================== c | 9 | 1189 4427 44985 | 5000 9 296 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.336948 s Remaining CPU time: 179.663 s c =============================================================================== c | 9 | 1189 4428 45384 | 5000 9 296 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.342947 s Remaining CPU time: 179.657 s c =============================================================================== c | 9 | 1189 4429 45783 | 5000 9 296 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.350946 s Remaining CPU time: 179.649 s c =============================================================================== c | 10 | 1189 4430 46182 | 5000 10 297 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.357945 s Remaining CPU time: 179.642 s c =============================================================================== c | 11 | 1189 4431 46581 | 5000 11 298 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.364944 s Remaining CPU time: 179.635 s c =============================================================================== c | 11 | 1189 4432 46980 | 5000 11 298 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.371943 s Remaining CPU time: 179.628 s c =============================================================================== c | 12 | 1189 4433 47379 | 5000 12 298 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.378942 s Remaining CPU time: 179.621 s c =============================================================================== c | 12 | 1189 4434 47778 | 5000 12 298 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.385941 s Remaining CPU time: 179.614 s c =============================================================================== c | 12 | 1189 4435 48177 | 5000 12 298 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.39294 s Remaining CPU time: 179.607 s c =============================================================================== c | 12 | 1189 4436 48576 | 5000 12 298 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.400939 s Remaining CPU time: 179.599 s c =============================================================================== c | 13 | 1189 4437 48975 | 5000 13 299 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.406938 s Remaining CPU time: 179.593 s c =============================================================================== c | 13 | 1189 4438 49374 | 5000 13 299 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.414936 s Remaining CPU time: 179.585 s c =============================================================================== c | 19 | 1189 4439 49773 | 5000 19 299 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.421935 s Remaining CPU time: 179.578 s c =============================================================================== c | 20 | 1189 4440 50172 | 5000 20 299 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.431934 s Remaining CPU time: 179.568 s c =============================================================================== c | 39 | 1189 4441 50571 | 5000 39 291 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.437933 s Remaining CPU time: 179.562 s c =============================================================================== c | 39 | 1189 4442 50970 | 5000 39 291 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.445932 s Remaining CPU time: 179.554 s c =============================================================================== c | 41 | 1189 4443 51369 | 5000 41 291 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.45393 s Remaining CPU time: 179.546 s c =============================================================================== c | 44 | 1189 4444 51768 | 5000 44 291 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.462929 s Remaining CPU time: 179.537 s c =============================================================================== c | 47 | 1189 4445 52167 | 5000 47 291 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.469928 s Remaining CPU time: 179.53 s c =============================================================================== c | 51 | 1189 4446 52566 | 5000 51 291 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.477927 s Remaining CPU time: 179.522 s c =============================================================================== c | 52 | 1189 4447 52965 | 5000 52 291 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.486925 s Remaining CPU time: 179.513 s c =============================================================================== c | 57 | 1189 4448 53364 | 5000 57 291 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 0.498924 s Remaining CPU time: 179.501 s c =============================================================================== c | 80 | 1189 4449 53763 | 5000 80 291 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 0.507922 s Remaining CPU time: 179.492 s c =============================================================================== c | 82 | 1189 4450 54162 | 5000 82 290 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 0.516921 s Remaining CPU time: 179.483 s c =============================================================================== c | 84 | 1189 4451 54561 | 5000 84 290 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 0.528919 s Remaining CPU time: 179.471 s c =============================================================================== c | 104 | 1189 4452 54960 | 5000 104 290 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 0.539917 s Remaining CPU time: 179.46 s c =============================================================================== c | 115 | 1189 4453 55359 | 5000 115 289 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 0.549916 s Remaining CPU time: 179.45 s c =============================================================================== c | 125 | 1189 4454 55758 | 5000 125 289 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 0.561914 s Remaining CPU time: 179.438 s c =============================================================================== c | 141 | 1189 4455 56157 | 5000 141 288 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 0.572912 s Remaining CPU time: 179.427 s c =============================================================================== c | 152 | 1189 4456 56556 | 5000 152 288 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 0.584911 s Remaining CPU time: 179.415 s c =============================================================================== c | 176 | 1189 4457 56955 | 5000 176 285 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 0.594909 s Remaining CPU time: 179.405 s c =============================================================================== c | 184 | 1189 4458 57354 | 5000 184 285 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 0.604908 s Remaining CPU time: 179.395 s c =============================================================================== c | 194 | 1189 4459 57753 | 5000 194 285 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 0.615906 s Remaining CPU time: 179.384 s c =============================================================================== c | 206 | 1189 4460 58152 | 5000 206 284 | 0.000 % | c | 306 | 1189 4460 58152 | 5500 306 282 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 0.668898 s Remaining CPU time: 179.331 s c =============================================================================== c | 354 | 1189 4461 58551 | 5000 354 282 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 0.687895 s Remaining CPU time: 179.312 s c =============================================================================== c | 391 | 1189 4462 58950 | 5000 391 280 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 0.697893 s Remaining CPU time: 179.302 s c =============================================================================== c | 395 | 1189 4463 59349 | 5000 395 280 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 0.72289 s Remaining CPU time: 179.277 s c =============================================================================== c | 460 | 1189 4464 59748 | 5000 460 279 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 0.736887 s Remaining CPU time: 179.263 s c =============================================================================== c | 507 | 1189 4465 60147 | 5000 507 278 | 0.000 % | c | 607 | 1189 4465 60147 | 5500 607 277 | 0.000 % | c | 758 | 1189 4465 60147 | 6050 758 276 | 0.000 % | c | 983 | 1189 4465 60147 | 6655 983 276 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 0.940856 s Remaining CPU time: 179.059 s c =============================================================================== c | 1234 | 1189 4466 60546 | 5000 1234 275 | 0.000 % | c | 1335 | 1189 4466 60546 | 5500 1335 275 | 0.000 % | c | 1485 | 1189 4466 60546 | 6050 1485 274 | 0.000 % | c | 1710 | 1189 4466 60546 | 6655 1710 274 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 1.16582 s Remaining CPU time: 178.834 s c =============================================================================== c | 2013 | 1189 4467 60945 | 5000 2013 274 | 0.000 % | c | 2113 | 1189 4467 60945 | 5500 2113 274 | 0.000 % | c | 2263 | 1189 4467 60945 | 6050 2263 273 | 0.000 % | c | 2488 | 1189 4467 60945 | 6655 2488 273 | 0.000 % | c | 2826 | 1189 4467 60945 | 7320 2826 273 | 0.000 % | c | 3332 | 1189 4467 60945 | 8052 3332 273 | 0.000 % | c | 4091 | 1189 4467 60945 | 8857 4091 272 | 0.000 % | c | 5231 | 1189 4467 60945 | 9743 5231 272 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 2.40863 s Remaining CPU time: 177.591 s c =============================================================================== c | 6032 | 1189 4468 61344 | 5000 6032 272 | 0.000 % | c | 6132 | 1189 4468 61344 | 5500 3116 271 | 0.000 % | c | 6282 | 1189 4468 61344 | 6050 3266 271 | 0.000 % | c | 6507 | 1189 4468 61344 | 6655 3491 271 | 0.000 % | c | 6844 | 1189 4468 61344 | 7320 3828 271 | 0.000 % | c | 7350 | 1189 4468 61344 | 8052 4334 270 | 0.000 % | c | 8109 | 1189 4468 61344 | 8857 5093 270 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 3.46447 s Remaining CPU time: 176.536 s c =============================================================================== c | 9046 | 1189 4469 61743 | 5000 6030 270 | 0.000 % | c | 9147 | 1189 4469 61743 | 5500 3116 269 | 0.000 % | c | 9297 | 1189 4469 61743 | 6050 3266 269 | 0.000 % | c | 9523 | 1189 4469 61743 | 6655 3492 269 | 0.000 % | c | 9860 | 1189 4469 61743 | 7320 3829 269 | 0.000 % | c | 10366 | 1189 4469 61743 | 8052 4335 269 | 0.000 % | c | 11125 | 1189 4469 61743 | 8857 5094 269 | 0.000 % | c | 12264 | 1189 4469 61743 | 9743 6233 269 | 0.000 % | c | 13972 | 1189 4469 61743 | 10717 7941 269 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 5.76612 s Remaining CPU time: 174.234 s c =============================================================================== c | 16254 | 1189 4470 62142 | 5000 10223 269 | 0.000 % | c | 16354 | 1189 4470 62142 | 5500 2656 268 | 0.000 % | c | 16504 | 1189 4470 62142 | 6050 2806 268 | 0.000 % | c | 16729 | 1189 4470 62142 | 6655 3031 268 | 0.000 % | c | 17066 | 1189 4470 62142 | 7320 3368 268 | 0.000 % | c | 17572 | 1189 4470 62142 | 8052 3874 268 | 0.000 % | c | 18333 | 1189 4470 62142 | 8857 4635 268 | 0.000 % | c | 19473 | 1189 4470 62142 | 9743 5775 268 | 0.000 % | c | 21181 | 1189 4470 62142 | 10717 7483 268 | 0.000 % | c | 23743 | 1189 4470 62142 | 11789 10045 268 | 0.000 % | c | 27587 | 1189 4470 62142 | 12968 7850 268 | 0.000 % | c | 33353 | 1189 4470 62142 | 14265 6999 268 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 11.7032 s Remaining CPU time: 168.297 s c =============================================================================== c | 36275 | 1189 4471 62541 | 5000 9921 268 | 0.000 % | c | 36376 | 1189 4471 62541 | 5500 5062 268 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 11.8012 s Remaining CPU time: 168.199 s c =============================================================================== c | 36383 | 1189 4472 62940 | 5000 5069 268 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 11.8292 s Remaining CPU time: 168.171 s c =============================================================================== c | 36396 | 1189 4473 63339 | 5000 2548 268 | 0.000 % | c | 36496 | 1189 4473 63339 | 5500 2648 268 | 0.000 % | c | 36646 | 1189 4473 63339 | 6050 2798 268 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 11.9142 s Remaining CPU time: 168.086 s c =============================================================================== c | 36652 | 1189 4474 63738 | 5000 2804 268 | 0.000 % | c | 36752 | 1189 4474 63738 | 5500 2904 267 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 11.9912 s Remaining CPU time: 168.009 s c =============================================================================== c | 36874 | 1189 4475 64137 | 5000 3026 267 | 0.000 % | c | 36974 | 1189 4475 64137 | 5500 3126 267 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 12.0632 s Remaining CPU time: 167.937 s c =============================================================================== c | 37108 | 1189 4476 64536 | 5000 3260 267 | 0.000 % | c | 37208 | 1189 4476 64536 | 5500 3360 267 | 0.000 % | c | 37358 | 1189 4476 64536 | 6050 3510 267 | 0.000 % | c | 37583 | 1189 4476 64536 | 6655 3735 266 | 0.000 % | c | 37920 | 1189 4476 64536 | 7320 4072 266 | 0.000 % | c | 38426 | 1189 4476 64536 | 8052 4578 266 | 0.000 % | c | 39185 | 1189 4476 64536 | 8857 5337 265 | 0.000 % | c | 40324 | 1189 4476 64536 | 9743 6476 265 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 13.341 s Remaining CPU time: 166.659 s c =============================================================================== c | 41324 | 1189 4477 64935 | 5000 7476 264 | 0.000 % | c | 41425 | 1189 4477 64935 | 5500 3839 262 | 0.000 % | c | 41575 | 1189 4477 64935 | 6050 3989 262 | 0.000 % | c | 41800 | 1189 4477 64935 | 6655 4214 262 | 0.000 % | c | 42137 | 1189 4477 64935 | 7320 4551 262 | 0.000 % | c | 42643 | 1189 4477 64935 | 8052 5057 262 | 0.000 % | c | 43402 | 1189 4477 64935 | 8857 5816 262 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 13.9959 s Remaining CPU time: 166.004 s c =============================================================================== c | 43480 | 1189 4478 65334 | 5000 5894 262 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 14.0399 s Remaining CPU time: 165.96 s c =============================================================================== c | 43519 | 1189 4479 65733 | 5000 2986 261 | 0.000 % | c | 43619 | 1189 4479 65733 | 5500 3086 261 | 0.000 % | c | 43769 | 1189 4479 65733 | 6050 3236 261 | 0.000 % | c | 43994 | 1189 4479 65733 | 6655 3461 261 | 0.000 % | c | 44332 | 1189 4479 65733 | 7320 3799 261 | 0.000 % | c | 44838 | 1189 4479 65733 | 8052 4305 260 | 0.000 % | c | 45597 | 1189 4479 65733 | 8857 5064 260 | 0.000 % | c | 46736 | 1189 4479 65733 | 9743 6203 260 | 0.000 % | c | 48445 | 1189 4479 65733 | 10717 7912 260 | 0.000 % | c | 51007 | 1189 4479 65733 | 11789 10474 260 | 0.000 % | c | 54851 | 1189 4479 65733 | 12968 8286 259 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 17.9853 s Remaining CPU time: 162.015 s c =============================================================================== c | 56620 | 1189 4480 66132 | 5000 10055 259 | 0.000 % | c | 56720 | 1189 4480 66132 | 5500 2614 259 | 0.000 % | c | 56870 | 1189 4480 66132 | 6050 2764 259 | 0.000 % | c | 57095 | 1189 4480 66132 | 6655 2989 259 | 0.000 % | c | 57432 | 1189 4480 66132 | 7320 3326 259 | 0.000 % | c | 57938 | 1189 4480 66132 | 8052 3832 259 | 0.000 % | c | 58699 | 1189 4480 66132 | 8857 4593 259 | 0.000 % | c | 59838 | 1189 4480 66132 | 9743 5732 259 | 0.000 % | c | 61546 | 1189 4480 66132 | 10717 7440 259 | 0.000 % | c | 64108 | 1189 4480 66132 | 11789 10002 259 | 0.000 % | c | 67952 | 1189 4480 66132 | 12968 7806 259 | 0.000 % | c | 73719 | 1189 4480 66132 | 14265 6943 259 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 24.8282 s Remaining CPU time: 155.172 s c =============================================================================== c | 75816 | 1189 4481 66531 | 5000 9040 259 | 0.000 % | c | 75916 | 1189 4481 66531 | 5500 4620 259 | 0.000 % | c | 76066 | 1189 4481 66531 | 6050 4770 259 | 0.000 % | c | 76291 | 1189 4481 66531 | 6655 4995 258 | 0.000 % | c | 76628 | 1189 4481 66531 | 7320 5332 258 | 0.000 % | c | 77134 | 1189 4481 66531 | 8052 5838 258 | 0.000 % | c | 77894 | 1189 4481 66531 | 8857 6598 258 | 0.000 % | c | 79034 | 1189 4481 66531 | 9743 7738 258 | 0.000 % | c | 80743 | 1189 4481 66531 | 10717 9447 258 | 0.000 % | c | 83305 | 1189 4481 66531 | 11789 6512 258 | 0.000 % | c | 87149 | 1189 4481 66531 | 12968 10356 258 | 0.000 % | c | 92916 | 1189 4481 66531 | 14265 9499 258 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 32.935 s Remaining CPU time: 147.065 s c =============================================================================== c | 98599 | 1189 4482 66930 | 5000 7899 258 | 0.000 % | c | 98699 | 1189 4482 66930 | 5500 4050 257 | 0.000 % | c | 98849 | 1189 4482 66930 | 6050 4200 257 | 0.000 % | c | 99074 | 1189 4482 66930 | 6655 4425 257 | 0.000 % | c | 99412 | 1189 4482 66930 | 7320 4763 257 | 0.000 % | c | 99918 | 1189 4482 66930 | 8052 5269 257 | 0.000 % | c | 100679 | 1189 4482 66930 | 8857 6030 257 | 0.000 % | c | 101818 | 1189 4482 66930 | 9743 7169 257 | 0.000 % | c | 103527 | 1189 4482 66930 | 10717 8878 257 | 0.000 % | c | 106090 | 1189 4482 66930 | 11789 5941 256 | 0.000 % | c | 109934 | 1189 4482 66930 | 12968 9785 256 | 0.000 % | c | 115700 | 1189 4482 66930 | 14265 8929 256 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 41.7607 s Remaining CPU time: 138.239 s c =============================================================================== c | 123457 | 1189 4483 67329 | 5000 9394 256 | 0.000 % | c | 123557 | 1189 4483 67329 | 5500 4797 256 | 0.000 % | c | 123708 | 1189 4483 67329 | 6050 4948 256 | 0.000 % | c | 123933 | 1189 4483 67329 | 6655 5173 256 | 0.000 % | c | 124270 | 1189 4483 67329 | 7320 5510 256 | 0.000 % | c | 124776 | 1189 4483 67329 | 8052 6016 256 | 0.000 % | c | 125535 | 1189 4483 67329 | 8857 6775 256 | 0.000 % | c | 126674 | 1189 4483 67329 | 9743 7914 256 | 0.000 % | c | 128382 | 1189 4483 67329 | 10717 9622 256 | 0.000 % | c | 130944 | 1189 4483 67329 | 11789 6682 256 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 45.1941 s Remaining CPU time: 134.806 s c =============================================================================== c | 132445 | 1189 4484 67728 | 5000 8183 256 | 0.000 % | c | 132545 | 1189 4484 67728 | 5500 4192 256 | 0.000 % | c | 132696 | 1189 4484 67728 | 6050 4343 255 | 0.000 % | c | 132921 | 1189 4484 67728 | 6655 4568 255 | 0.000 % | c | 133259 | 1189 4484 67728 | 7320 4906 255 | 0.000 % | c | 133765 | 1189 4484 67728 | 8052 5412 255 | 0.000 % | c | 134524 | 1189 4484 67728 | 8857 6171 255 | 0.000 % | c | 135664 | 1189 4484 67728 | 9743 7311 255 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 46.6949 s Remaining CPU time: 133.305 s c =============================================================================== c | 136675 | 1189 4485 68127 | 5000 8322 255 | 0.000 % | c | 136775 | 1189 4485 68127 | 5500 4261 254 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 46.7919 s Remaining CPU time: 133.208 s c =============================================================================== c | 136801 | 1189 4486 68526 | 5000 4287 254 | 0.000 % | c | 136901 | 1189 4486 68526 | 5500 4387 254 | 0.000 % | c | 137051 | 1189 4486 68526 | 6050 4537 254 | 0.000 % | c | 137277 | 1189 4486 68526 | 6655 4763 254 | 0.000 % | c | 137615 | 1189 4486 68526 | 7320 5101 254 | 0.000 % | c | 138121 | 1189 4486 68526 | 8052 5607 254 | 0.000 % | c | 138880 | 1189 4486 68526 | 8857 6366 253 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 47.6588 s Remaining CPU time: 132.341 s c =============================================================================== c | 139365 | 1189 4487 68925 | 5000 6851 253 | 0.000 % | c | 139466 | 1189 4487 68925 | 5500 3527 252 | 0.000 % | c | 139616 | 1189 4487 68925 | 6050 3677 252 | 0.000 % | c | 139841 | 1189 4487 68925 | 6655 3902 252 | 0.000 % | c | 140178 | 1189 4487 68925 | 7320 4239 252 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 48.0457 s Remaining CPU time: 131.954 s c =============================================================================== c | 140409 | 1189 4488 69324 | 5000 4470 252 | 0.000 % | c | 140509 | 1189 4488 69324 | 5500 4570 252 | 0.000 % | c | 140659 | 1189 4488 69324 | 6050 4720 252 | 0.000 % | c | 140884 | 1189 4488 69324 | 6655 4945 252 | 0.000 % | c | 141221 | 1189 4488 69324 | 7320 5282 252 | 0.000 % | c | 141727 | 1189 4488 69324 | 8052 5788 252 | 0.000 % | c | 142486 | 1189 4488 69324 | 8857 6547 251 | 0.000 % | c | 143625 | 1189 4488 69324 | 9743 7686 251 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 49.2165 s Remaining CPU time: 130.783 s c =============================================================================== c | 143902 | 1189 4489 69723 | 5000 7963 251 | 0.000 % | c | 144002 | 1189 4489 69723 | 5500 4082 250 | 0.000 % | c | 144152 | 1189 4489 69723 | 6050 4232 250 | 0.000 % | c | 144377 | 1189 4489 69723 | 6655 4457 250 | 0.000 % | c | 144714 | 1189 4489 69723 | 7320 4794 250 | 0.000 % | c | 145220 | 1189 4489 69723 | 8052 5300 250 | 0.000 % | c | 145979 | 1189 4489 69723 | 8857 6059 250 | 0.000 % | c | 147119 | 1189 4489 69723 | 9743 7199 249 | 0.000 % | c | 148828 | 1189 4489 69723 | 10717 8908 249 | 0.000 % | c | 151390 | 1189 4489 69723 | 11789 5973 249 | 0.000 % | c | 155234 | 1189 4489 69723 | 12968 9817 249 | 0.000 % | c | 161000 | 1189 4489 69723 | 14265 8956 249 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 57.7952 s Remaining CPU time: 122.205 s c =============================================================================== c | 167839 | 1189 4490 70122 | 5000 8529 249 | 0.000 % | c | 167939 | 1189 4490 70122 | 5500 4365 250 | 0.000 % | c | 168089 | 1189 4490 70122 | 6050 4515 249 | 0.000 % | c | 168316 | 1189 4490 70122 | 6655 4742 249 | 0.000 % | c | 168654 | 1189 4490 70122 | 7320 5080 249 | 0.000 % | c | 169160 | 1189 4490 70122 | 8052 5586 249 | 0.000 % | c | 169920 | 1189 4490 70122 | 8857 6346 249 | 0.000 % | c | 171059 | 1189 4490 70122 | 9743 7485 249 | 0.000 % | c | 172767 | 1189 4490 70122 | 10717 9193 249 | 0.000 % | c | 175329 | 1189 4490 70122 | 11789 6249 248 | 0.000 % | c | 179173 | 1189 4490 70122 | 12968 10093 249 | 0.000 % | c | 184939 | 1189 4490 70122 | 14265 9243 249 | 0.000 % | c | 193588 | 1189 4490 70122 | 15692 10616 249 | 0.000 % | c | 206562 | 1189 4490 70122 | 17261 15614 249 | 0.000 % | c | 226023 | 1189 4490 70122 | 18987 8772 249 | 0.000 % | c | 255215 | 1189 4490 70122 | 20886 18674 249 | 0.000 % | c | 299004 | 1189 4490 70122 | 22974 20088 250 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 118.504 s Remaining CPU time: 61.496 s c =============================================================================== c | 299598 | 1189 4491 70521 | 5000 20682 250 | 0.000 % | c | 299698 | 1189 4491 70521 | 5500 2686 247 | 0.000 % | c | 299848 | 1189 4491 70521 | 6050 2836 247 | 0.000 % | c | 300074 | 1189 4491 70521 | 6655 3062 247 | 0.000 % | c | 300411 | 1189 4491 70521 | 7320 3399 247 | 0.000 % | c | 300917 | 1189 4491 70521 | 8052 3905 247 | 0.000 % | c | 301676 | 1189 4491 70521 | 8857 4664 247 | 0.000 % | c | 302815 | 1189 4491 70521 | 9743 5803 247 | 0.000 % | c | 304524 | 1189 4491 70521 | 10717 7512 247 | 0.000 % | c | 307088 | 1189 4491 70521 | 11789 10076 247 | 0.000 % | c | 310932 | 1189 4491 70521 | 12968 7876 247 | 0.000 % | c | 316699 | 1189 4491 70521 | 14265 7007 247 | 0.000 % | c | 325348 | 1189 4491 70521 | 15692 8395 247 | 0.000 % | c | 338322 | 1189 4491 70521 | 17261 13379 247 | 0.000 % |