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: 1188 | c | Number Clauses: 4344 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1188 4344 9088 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1188 4345 9488 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1188 4346 9888 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1188 4347 10288 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1188 4348 10688 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1188 4349 11088 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1188 4350 11488 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1188 4351 11888 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1188 4352 12288 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1188 4353 12688 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1188 4354 13088 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 1188 4355 13488 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1188 4356 13888 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1188 4357 14288 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1188 4358 14688 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 1188 4359 15088 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 1188 4360 15488 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 1188 4361 15888 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 1188 4362 16288 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 1188 4363 16688 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 1188 4364 17088 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 1188 4365 17488 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 1188 4366 17888 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 1188 4367 18288 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 1188 4368 18688 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 1188 4369 19088 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 1188 4370 19488 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 0 | 1188 4371 19888 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 0 | 1188 4372 20288 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 0 | 1188 4373 20688 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 1 | 1188 4374 21088 | 5000 1 373 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 1 | 1188 4375 21488 | 5000 1 373 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 1 | 1188 4376 21888 | 5000 1 373 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 1 | 1188 4377 22288 | 5000 1 373 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 1 | 1188 4378 22688 | 5000 1 373 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 1 | 1188 4379 23088 | 5000 1 373 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 1 | 1188 4380 23488 | 5000 1 373 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 1 | 1188 4381 23888 | 5000 1 373 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 1 | 1188 4382 24288 | 5000 1 373 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 1 | 1188 4383 24688 | 5000 1 373 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 1 | 1188 4384 25088 | 5000 1 373 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 1 | 1188 4385 25488 | 5000 1 373 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 1 | 1188 4386 25888 | 5000 1 373 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s c =============================================================================== c | 2 | 1188 4387 26288 | 5000 2 366 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 2 | 1188 4388 26688 | 5000 2 366 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 2 | 1188 4389 27088 | 5000 2 366 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 2 | 1188 4390 27488 | 5000 2 366 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 2 | 1188 4391 27888 | 5000 2 366 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 2 | 1188 4392 28288 | 5000 2 366 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 2 | 1188 4393 28688 | 5000 2 366 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s c =============================================================================== c | 3 | 1188 4394 29088 | 5000 3 361 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 3 | 1188 4395 29488 | 5000 3 361 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 3 | 1188 4396 29888 | 5000 3 361 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 6 | 1188 4397 30288 | 5000 6 355 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 6 | 1188 4398 30688 | 5000 6 355 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.153976 s Remaining CPU time: 179.846 s c =============================================================================== c | 6 | 1188 4399 31088 | 5000 6 355 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 6 | 1188 4400 31488 | 5000 6 355 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 6 | 1188 4401 31888 | 5000 6 355 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 6 | 1188 4402 32288 | 5000 6 355 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 7 | 1188 4403 32688 | 5000 7 353 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.175973 s Remaining CPU time: 179.824 s c =============================================================================== c | 7 | 1188 4404 33088 | 5000 7 353 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.180972 s Remaining CPU time: 179.819 s c =============================================================================== c | 7 | 1188 4405 33488 | 5000 7 353 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.185971 s Remaining CPU time: 179.814 s c =============================================================================== c | 8 | 1188 4406 33888 | 5000 8 352 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.19097 s Remaining CPU time: 179.809 s c =============================================================================== c | 8 | 1188 4407 34288 | 5000 8 352 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 8 | 1188 4408 34688 | 5000 8 352 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s c =============================================================================== c | 8 | 1188 4409 35088 | 5000 8 352 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.203968 s Remaining CPU time: 179.796 s c =============================================================================== c | 8 | 1188 4410 35488 | 5000 8 352 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s c =============================================================================== c | 9 | 1188 4411 35888 | 5000 9 350 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.215967 s Remaining CPU time: 179.784 s c =============================================================================== c | 9 | 1188 4412 36288 | 5000 9 350 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s c =============================================================================== c | 9 | 1188 4413 36688 | 5000 9 350 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 10 | 1188 4414 37088 | 5000 10 348 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.232964 s Remaining CPU time: 179.767 s c =============================================================================== c | 10 | 1188 4415 37488 | 5000 10 348 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.238963 s Remaining CPU time: 179.761 s c =============================================================================== c | 10 | 1188 4416 37888 | 5000 10 348 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.244962 s Remaining CPU time: 179.755 s c =============================================================================== c | 11 | 1188 4417 38288 | 5000 11 346 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.249962 s Remaining CPU time: 179.75 s c =============================================================================== c | 11 | 1188 4418 38688 | 5000 11 346 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s c =============================================================================== c | 12 | 1188 4419 39088 | 5000 12 344 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.26196 s Remaining CPU time: 179.738 s c =============================================================================== c | 12 | 1188 4420 39488 | 5000 12 344 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.268959 s Remaining CPU time: 179.731 s c =============================================================================== c | 18 | 1188 4421 39888 | 5000 18 338 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s c =============================================================================== c | 19 | 1188 4422 40288 | 5000 19 337 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.278957 s Remaining CPU time: 179.721 s c =============================================================================== c | 19 | 1188 4423 40688 | 5000 19 337 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.286956 s Remaining CPU time: 179.713 s c =============================================================================== c | 30 | 1188 4424 41088 | 5000 30 332 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.293955 s Remaining CPU time: 179.706 s c =============================================================================== c | 30 | 1188 4425 41488 | 5000 30 332 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.300954 s Remaining CPU time: 179.699 s c =============================================================================== c | 39 | 1188 4426 41888 | 5000 39 329 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.307953 s Remaining CPU time: 179.692 s c =============================================================================== c | 40 | 1188 4427 42288 | 5000 40 329 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s c =============================================================================== c | 42 | 1188 4428 42688 | 5000 42 328 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.316951 s Remaining CPU time: 179.683 s c =============================================================================== c | 44 | 1188 4429 43088 | 5000 44 327 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s c =============================================================================== c | 45 | 1188 4430 43488 | 5000 45 327 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.329949 s Remaining CPU time: 179.67 s c =============================================================================== c | 47 | 1188 4431 43888 | 5000 47 327 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.335948 s Remaining CPU time: 179.664 s c =============================================================================== c | 49 | 1188 4432 44288 | 5000 49 326 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.341948 s Remaining CPU time: 179.658 s c =============================================================================== c | 50 | 1188 4433 44688 | 5000 50 326 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.349946 s Remaining CPU time: 179.65 s c =============================================================================== c | 54 | 1188 4434 45088 | 5000 54 325 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.356945 s Remaining CPU time: 179.643 s c =============================================================================== c | 62 | 1188 4435 45488 | 5000 62 323 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.364944 s Remaining CPU time: 179.635 s c =============================================================================== c | 68 | 1188 4436 45888 | 5000 68 322 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.374943 s Remaining CPU time: 179.625 s c =============================================================================== c | 95 | 1188 4437 46288 | 5000 95 318 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.381941 s Remaining CPU time: 179.618 s c =============================================================================== c | 100 | 1188 4438 46688 | 5000 100 318 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.38994 s Remaining CPU time: 179.61 s c =============================================================================== c | 107 | 1188 4439 47088 | 5000 107 317 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.402938 s Remaining CPU time: 179.597 s c =============================================================================== c | 136 | 1188 4440 47488 | 5000 136 315 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.416936 s Remaining CPU time: 179.583 s c =============================================================================== c | 176 | 1188 4441 47888 | 5000 176 312 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.429934 s Remaining CPU time: 179.57 s c =============================================================================== c | 205 | 1188 4442 48288 | 5000 205 311 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.440932 s Remaining CPU time: 179.559 s c =============================================================================== c | 224 | 1188 4443 48688 | 5000 224 310 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.450931 s Remaining CPU time: 179.549 s c =============================================================================== c | 241 | 1188 4444 49088 | 5000 241 310 | 0.000 % | c | 342 | 1188 4444 49088 | 5500 342 307 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.487925 s Remaining CPU time: 179.512 s c =============================================================================== c | 388 | 1188 4445 49488 | 5000 388 306 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.510922 s Remaining CPU time: 179.489 s c =============================================================================== c | 469 | 1188 4446 49888 | 5000 469 305 | 0.000 % | c | 570 | 1188 4446 49888 | 5500 570 304 | 0.000 % | c | 720 | 1188 4446 49888 | 6050 720 303 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.609907 s Remaining CPU time: 179.39 s c =============================================================================== c | 892 | 1188 4447 50288 | 5000 892 302 | 0.000 % | c | 992 | 1188 4447 50288 | 5500 992 302 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.6519 s Remaining CPU time: 179.348 s c =============================================================================== c | 1067 | 1188 4448 50688 | 5000 1067 301 | 0.000 % | c | 1167 | 1188 4448 50688 | 5500 1167 301 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.714891 s Remaining CPU time: 179.285 s c =============================================================================== c | 1297 | 1188 4449 51088 | 5000 1297 301 | 0.000 % | c | 1397 | 1188 4449 51088 | 5500 1397 300 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.762884 s Remaining CPU time: 179.237 s c =============================================================================== c | 1456 | 1188 4450 51488 | 5000 1456 300 | 0.000 % | c | 1556 | 1188 4450 51488 | 5500 1556 300 | 0.000 % | c | 1706 | 1188 4450 51488 | 6050 1706 299 | 0.000 % | c | 1931 | 1188 4450 51488 | 6655 1931 299 | 0.000 % | c | 2268 | 1188 4450 51488 | 7320 2268 298 | 0.000 % | c | 2774 | 1188 4450 51488 | 8052 2774 298 | 0.000 % | c | 3535 | 1188 4450 51488 | 8857 3535 297 | 0.000 % | c | 4674 | 1188 4450 51488 | 9743 4674 297 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 1.74174 s Remaining CPU time: 178.258 s c =============================================================================== c | 5381 | 1188 4451 51888 | 5000 5381 297 | 0.000 % | c | 5482 | 1188 4451 51888 | 5500 2792 295 | 0.000 % | c | 5633 | 1188 4451 51888 | 6050 2943 295 | 0.000 % | c | 5859 | 1188 4451 51888 | 6655 3169 295 | 0.000 % | c | 6196 | 1188 4451 51888 | 7320 3506 295 | 0.000 % | c | 6703 | 1188 4451 51888 | 8052 4013 295 | 0.000 % | c | 7462 | 1188 4451 51888 | 8857 4772 295 | 0.000 % | c | 8601 | 1188 4451 51888 | 9743 5911 295 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 3.13652 s Remaining CPU time: 176.863 s c =============================================================================== c | 9942 | 1188 4452 52288 | 5000 7252 295 | 0.000 % | c | 10042 | 1188 4452 52288 | 5500 3726 294 | 0.000 % | c | 10193 | 1188 4452 52288 | 6050 3877 294 | 0.000 % | c | 10418 | 1188 4452 52288 | 6655 4102 294 | 0.000 % | c | 10756 | 1188 4452 52288 | 7320 4440 294 | 0.000 % | c | 11262 | 1188 4452 52288 | 8052 4946 294 | 0.000 % | c | 12022 | 1188 4452 52288 | 8857 5706 294 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 4.19336 s Remaining CPU time: 175.807 s c =============================================================================== c | 13048 | 1188 4453 52688 | 5000 6732 294 | 0.000 % | c | 13148 | 1188 4453 52688 | 5500 3466 293 | 0.000 % | c | 13299 | 1188 4453 52688 | 6050 3617 293 | 0.000 % | c | 13524 | 1188 4453 52688 | 6655 3842 293 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 4.46032 s Remaining CPU time: 175.54 s c =============================================================================== c | 13800 | 1188 4454 53088 | 5000 4118 293 | 0.000 % | c | 13900 | 1188 4454 53088 | 5500 4218 293 | 0.000 % | c | 14050 | 1188 4454 53088 | 6050 4368 293 | 0.000 % | c | 14276 | 1188 4454 53088 | 6655 4594 293 | 0.000 % | c | 14613 | 1188 4454 53088 | 7320 4931 293 | 0.000 % | c | 15119 | 1188 4454 53088 | 8052 5437 293 | 0.000 % | c | 15879 | 1188 4454 53088 | 8857 6197 292 | 0.000 % | c | 17020 | 1188 4454 53088 | 9743 7338 292 | 0.000 % | c | 18728 | 1188 4454 53088 | 10717 9046 292 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 6.42902 s Remaining CPU time: 173.571 s c =============================================================================== c | 20308 | 1188 4455 53488 | 5000 10626 292 | 0.000 % | c | 20408 | 1188 4455 53488 | 5500 2757 291 | 0.000 % | c | 20558 | 1188 4455 53488 | 6050 2907 291 | 0.000 % | c | 20783 | 1188 4455 53488 | 6655 3132 291 | 0.000 % | c | 21120 | 1188 4455 53488 | 7320 3469 291 | 0.000 % | c | 21626 | 1188 4455 53488 | 8052 3975 291 | 0.000 % | c | 22385 | 1188 4455 53488 | 8857 4734 291 | 0.000 % | c | 23524 | 1188 4455 53488 | 9743 5873 291 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 7.54585 s Remaining CPU time: 172.454 s c =============================================================================== c | 23745 | 1188 4456 53888 | 5000 6094 291 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 7.61084 s Remaining CPU time: 172.389 s c =============================================================================== c | 23811 | 1188 4457 54288 | 5000 3113 290 | 0.000 % | c | 23911 | 1188 4457 54288 | 5500 3213 290 | 0.000 % | c | 24061 | 1188 4457 54288 | 6050 3363 290 | 0.000 % | c | 24287 | 1188 4457 54288 | 6655 3589 290 | 0.000 % | c | 24624 | 1188 4457 54288 | 7320 3926 290 | 0.000 % | c | 25130 | 1188 4457 54288 | 8052 4432 290 | 0.000 % | c | 25889 | 1188 4457 54288 | 8857 5191 289 | 0.000 % | c | 27028 | 1188 4457 54288 | 9743 6330 289 | 0.000 % | c | 28736 | 1188 4457 54288 | 10717 8038 289 | 0.000 % | c | 31298 | 1188 4457 54288 | 11789 10600 289 | 0.000 % | c | 35142 | 1188 4457 54288 | 12968 8363 288 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 12.3601 s Remaining CPU time: 167.64 s c =============================================================================== c | 39878 | 1188 4458 54688 | 5000 13099 288 | 0.000 % | c | 39978 | 1188 4458 54688 | 5500 3375 288 | 0.000 % | c | 40128 | 1188 4458 54688 | 6050 3525 288 | 0.000 % | c | 40354 | 1188 4458 54688 | 6655 3751 288 | 0.000 % | c | 40691 | 1188 4458 54688 | 7320 4088 288 | 0.000 % | c | 41197 | 1188 4458 54688 | 8052 4594 288 | 0.000 % | c | 41956 | 1188 4458 54688 | 8857 5353 288 | 0.000 % | c | 43096 | 1188 4458 54688 | 9743 6493 288 | 0.000 % | c | 44805 | 1188 4458 54688 | 10717 8202 288 | 0.000 % | c | 47368 | 1188 4458 54688 | 11789 10765 288 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 15.7186 s Remaining CPU time: 164.281 s c =============================================================================== c | 49398 | 1188 4459 55088 | 5000 6738 287 | 0.000 % | c | 49498 | 1188 4459 55088 | 5500 3469 287 | 0.000 % | c | 49648 | 1188 4459 55088 | 6050 3619 287 | 0.000 % | c | 49873 | 1188 4459 55088 | 6655 3844 287 | 0.000 % | c | 50210 | 1188 4459 55088 | 7320 4181 287 | 0.000 % | c | 50717 | 1188 4459 55088 | 8052 4688 287 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 16.3955 s Remaining CPU time: 163.604 s c =============================================================================== c | 51414 | 1188 4460 55488 | 5000 5385 287 | 0.000 % | c | 51515 | 1188 4460 55488 | 5500 2794 287 | 0.000 % | c | 51666 | 1188 4460 55488 | 6050 2945 287 | 0.000 % | c | 51892 | 1188 4460 55488 | 6655 3171 287 | 0.000 % | c | 52229 | 1188 4460 55488 | 7320 3508 287 | 0.000 % | c | 52736 | 1188 4460 55488 | 8052 4015 286 | 0.000 % | c | 53496 | 1188 4460 55488 | 8857 4775 286 | 0.000 % | c | 54635 | 1188 4460 55488 | 9743 5914 286 | 0.000 % | c | 56343 | 1188 4460 55488 | 10717 7622 286 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 18.9341 s Remaining CPU time: 161.066 s c =============================================================================== c | 58656 | 1188 4461 55888 | 5000 9935 286 | 0.000 % | c | 58756 | 1188 4461 55888 | 5500 5068 286 | 0.000 % | c | 58906 | 1188 4461 55888 | 6050 5218 286 | 0.000 % | c | 59133 | 1188 4461 55888 | 6655 5445 286 | 0.000 % | c | 59470 | 1188 4461 55888 | 7320 5782 285 | 0.000 % | c | 59976 | 1188 4461 55888 | 8052 6288 285 | 0.000 % | c | 60735 | 1188 4461 55888 | 8857 7047 285 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 19.913 s Remaining CPU time: 160.087 s c =============================================================================== c | 61625 | 1188 4462 56288 | 5000 7937 285 | 0.000 % | c | 61725 | 1188 4462 56288 | 5500 4069 285 | 0.000 % | c | 61876 | 1188 4462 56288 | 6050 4220 285 | 0.000 % | c | 62101 | 1188 4462 56288 | 6655 4445 285 | 0.000 % | c | 62438 | 1188 4462 56288 | 7320 4782 285 | 0.000 % | c | 62945 | 1188 4462 56288 | 8052 5289 285 | 0.000 % | c | 63704 | 1188 4462 56288 | 8857 6048 284 | 0.000 % | c | 64843 | 1188 4462 56288 | 9743 7187 284 | 0.000 % | c | 66551 | 1188 4462 56288 | 10717 8895 284 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 21.6917 s Remaining CPU time: 158.308 s c =============================================================================== c | 66589 | 1188 4463 56688 | 5000 8933 284 | 0.000 % | c | 66689 | 1188 4463 56688 | 5500 4567 284 | 0.000 % | c | 66839 | 1188 4463 56688 | 6050 4717 284 | 0.000 % | c | 67064 | 1188 4463 56688 | 6655 4942 284 | 0.000 % | c | 67401 | 1188 4463 56688 | 7320 5279 284 | 0.000 % | c | 67908 | 1188 4463 56688 | 8052 5786 284 | 0.000 % | c | 68667 | 1188 4463 56688 | 8857 6545 284 | 0.000 % | c | 69806 | 1188 4463 56688 | 9743 7684 283 | 0.000 % | c | 71514 | 1188 4463 56688 | 10717 9392 283 | 0.000 % | c | 74076 | 1188 4463 56688 | 11789 6450 283 | 0.000 % | c | 77920 | 1188 4463 56688 | 12968 10294 283 | 0.000 % | c | 83686 | 1188 4463 56688 | 14265 9420 283 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 28.7546 s Remaining CPU time: 151.245 s c =============================================================================== c | 85849 | 1188 4464 57088 | 5000 11583 283 | 0.000 % | c | 85949 | 1188 4464 57088 | 5500 2996 282 | 0.000 % | c | 86100 | 1188 4464 57088 | 6050 3147 282 | 0.000 % | c | 86326 | 1188 4464 57088 | 6655 3373 282 | 0.000 % | c | 86663 | 1188 4464 57088 | 7320 3710 282 | 0.000 % | c | 87170 | 1188 4464 57088 | 8052 4217 282 | 0.000 % | c | 87930 | 1188 4464 57088 | 8857 4977 282 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 29.7545 s Remaining CPU time: 150.246 s c =============================================================================== c | 88646 | 1188 4465 57488 | 5000 5693 282 | 0.000 % | c | 88746 | 1188 4465 57488 | 5500 2947 282 | 0.000 % | c | 88896 | 1188 4465 57488 | 6050 3097 282 | 0.000 % | c | 89121 | 1188 4465 57488 | 6655 3322 281 | 0.000 % | c | 89458 | 1188 4465 57488 | 7320 3659 281 | 0.000 % | c | 89965 | 1188 4465 57488 | 8052 4166 281 | 0.000 % | c | 90726 | 1188 4465 57488 | 8857 4927 281 | 0.000 % | c | 91865 | 1188 4465 57488 | 9743 6066 281 | 0.000 % | c | 93573 | 1188 4465 57488 | 10717 7774 281 | 0.000 % | c | 96135 | 1188 4465 57488 | 11789 10336 281 | 0.000 % | c | 99979 | 1188 4465 57488 | 12968 8126 281 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 33.2279 s Remaining CPU time: 146.772 s c =============================================================================== c | 100214 | 1188 4466 57888 | 5000 8361 281 | 0.000 % | c | 100314 | 1188 4466 57888 | 5500 4281 281 | 0.000 % | c | 100465 | 1188 4466 57888 | 6050 4432 281 | 0.000 % | c | 100691 | 1188 4466 57888 | 6655 4658 281 | 0.000 % | c | 101029 | 1188 4466 57888 | 7320 4996 281 | 0.000 % | c | 101535 | 1188 4466 57888 | 8052 5502 281 | 0.000 % | c | 102294 | 1188 4466 57888 | 8857 6261 280 | 0.000 % | c | 103435 | 1188 4466 57888 | 9743 7402 280 | 0.000 % | c | 105144 | 1188 4466 57888 | 10717 9111 280 | 0.000 % | c | 107706 | 1188 4466 57888 | 11789 6148 280 | 0.000 % | c | 111551 | 1188 4466 57888 | 12968 9993 280 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 38.1922 s Remaining CPU time: 141.808 s c =============================================================================== c | 115901 | 1188 4467 58288 | 5000 7706 280 | 0.000 % | c | 116002 | 1188 4467 58288 | 5500 3954 280 | 0.000 % | c | 116152 | 1188 4467 58288 | 6050 4104 280 | 0.000 % | c | 116377 | 1188 4467 58288 | 6655 4329 280 | 0.000 % | c | 116715 | 1188 4467 58288 | 7320 4667 280 | 0.000 % | c | 117221 | 1188 4467 58288 | 8052 5173 280 | 0.000 % | c | 117980 | 1188 4467 58288 | 8857 5932 279 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 39.0441 s Remaining CPU time: 140.956 s c =============================================================================== c | 118260 | 1188 4468 58688 | 5000 6212 279 | 0.000 % | c | 118361 | 1188 4468 58688 | 5500 3207 279 | 0.000 % | c | 118511 | 1188 4468 58688 | 6050 3357 279 | 0.000 % | c | 118736 | 1188 4468 58688 | 6655 3582 279 | 0.000 % | c | 119073 | 1188 4468 58688 | 7320 3919 279 | 0.000 % | c | 119580 | 1188 4468 58688 | 8052 4426 279 | 0.000 % | c | 120339 | 1188 4468 58688 | 8857 5185 278 | 0.000 % | c | 121479 | 1188 4468 58688 | 9743 6325 278 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 40.3749 s Remaining CPU time: 139.625 s c =============================================================================== c | 122481 | 1188 4469 59088 | 5000 7327 278 | 0.000 % | c | 122581 | 1188 4469 59088 | 5500 3764 278 | 0.000 % | c | 122732 | 1188 4469 59088 | 6050 3915 278 | 0.000 % | c | 122958 | 1188 4469 59088 | 6655 4141 277 | 0.000 % | c | 123295 | 1188 4469 59088 | 7320 4478 277 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 40.8068 s Remaining CPU time: 139.193 s c =============================================================================== c | 123596 | 1188 4470 59488 | 5000 4779 277 | 0.000 % | c | 123697 | 1188 4470 59488 | 5500 4880 277 | 0.000 % | c | 123847 | 1188 4470 59488 | 6050 5030 277 | 0.000 % | c | 124072 | 1188 4470 59488 | 6655 5255 277 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 41.0418 s Remaining CPU time: 138.958 s c =============================================================================== c | 124284 | 1188 4471 59888 | 5000 5467 277 | 0.000 % | c | 124384 | 1188 4471 59888 | 5500 2834 277 | 0.000 % | c | 124534 | 1188 4471 59888 | 6050 2984 276 | 0.000 % | c | 124759 | 1188 4471 59888 | 6655 3209 276 | 0.000 % | c | 125096 | 1188 4471 59888 | 7320 3546 276 | 0.000 % | c | 125603 | 1188 4471 59888 | 8052 4053 276 | 0.000 % | c | 126362 | 1188 4471 59888 | 8857 4812 276 | 0.000 % | c | 127501 | 1188 4471 59888 | 9743 5951 275 | 0.000 % | c | 129210 | 1188 4471 59888 | 10717 7660 275 | 0.000 % | c | 131772 | 1188 4471 59888 | 11789 10222 275 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 44.1843 s Remaining CPU time: 135.816 s c =============================================================================== c | 133968 | 1188 4472 60288 | 5000 6374 275 | 0.000 % | c | 134068 | 1188 4472 60288 | 5500 3287 275 | 0.000 % | c | 134218 | 1188 4472 60288 | 6050 3437 275 | 0.000 % | c | 134443 | 1188 4472 60288 | 6655 3662 275 | 0.000 % | c | 134780 | 1188 4472 60288 | 7320 3999 275 | 0.000 % | c | 135286 | 1188 4472 60288 | 8052 4505 274 | 0.000 % | c | 136046 | 1188 4472 60288 | 8857 5265 274 | 0.000 % | c | 137185 | 1188 4472 60288 | 9743 6404 274 | 0.000 % | c | 138893 | 1188 4472 60288 | 10717 8112 274 | 0.000 % | c | 141455 | 1188 4472 60288 | 11789 10674 274 | 0.000 % | c | 145299 | 1188 4472 60288 | 12968 8476 274 | 0.000 % | c | 151065 | 1188 4472 60288 | 14265 7602 274 | 0.000 % | c | 159714 | 1188 4472 60288 | 15692 8971 274 | 0.000 % | c | 172690 | 1188 4472 60288 | 17261 13929 274 | 0.000 % | c | 192151 | 1188 4472 60288 | 18987 15814 275 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 69.8234 s Remaining CPU time: 110.177 s c =============================================================================== c | 196048 | 1188 4473 60688 | 5000 10063 275 | 0.000 % | c | 196149 | 1188 4473 60688 | 5500 2617 274 | 0.000 % | c | 196299 | 1188 4473 60688 | 6050 2767 274 | 0.000 % | c | 196524 | 1188 4473 60688 | 6655 2992 274 | 0.000 % | c | 196861 | 1188 4473 60688 | 7320 3329 274 | 0.000 % | c | 197367 | 1188 4473 60688 | 8052 3835 274 | 0.000 % | c | 198126 | 1188 4473 60688 | 8857 4594 274 | 0.000 % | c | 199266 | 1188 4473 60688 | 9743 5734 274 | 0.000 % | c | 200974 | 1188 4473 60688 | 10717 7442 274 | 0.000 % | c | 203536 | 1188 4473 60688 | 11789 10004 274 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 73.8778 s Remaining CPU time: 106.122 s c =============================================================================== c | 205770 | 1188 4474 61088 | 5000 6199 274 | 0.000 % | c | 205870 | 1188 4474 61088 | 5500 3200 274 | 0.000 % | c | 206021 | 1188 4474 61088 | 6050 3351 274 | 0.000 % | c | 206246 | 1188 4474 61088 | 6655 3576 274 | 0.000 % | c | 206583 | 1188 4474 61088 | 7320 3913 273 | 0.000 % | c | 207090 | 1188 4474 61088 | 8052 4420 273 | 0.000 % | c | 207850 | 1188 4474 61088 | 8857 5180 273 | 0.000 % | c | 208989 | 1188 4474 61088 | 9743 6319 273 | 0.000 % | c | 210697 | 1188 4474 61088 | 10717 8027 273 | 0.000 % | c | 213259 | 1188 4474 61088 | 11789 10589 273 | 0.000 % | c | 217104 | 1188 4474 61088 | 12968 8386 272 | 0.000 % | c | 222871 | 1188 4474 61088 | 14265 7499 272 | 0.000 % | c | 231520 | 1188 4474 61088 | 15692 8847 272 | 0.000 % | c | 244494 | 1188 4474 61088 | 17261 13816 272 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 87.3877 s Remaining CPU time: 92.6123 s c =============================================================================== c | 244622 | 1188 4475 61488 | 5000 13944 272 | 0.000 % | c | 244722 | 1188 4475 61488 | 5500 3586 272 | 0.000 % | c | 244872 | 1188 4475 61488 | 6050 3736 272 | 0.000 % | c | 245097 | 1188 4475 61488 | 6655 3961 272 | 0.000 % | c | 245434 | 1188 4475 61488 | 7320 4298 272 | 0.000 % | c | 245940 | 1188 4475 61488 | 8052 4804 272 | 0.000 % | c | 246699 | 1188 4475 61488 | 8857 5563 271 | 0.000 % | c | 247838 | 1188 4475 61488 | 9743 6702 271 | 0.000 % | c | 249547 | 1188 4475 61488 | 10717 8411 271 | 0.000 % | c | 252109 | 1188 4475 61488 | 11789 10973 271 | 0.000 % | c | 255953 | 1188 4475 61488 | 12968 8765 271 | 0.000 % | c | 261719 | 1188 4475 61488 | 14265 7891 271 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 95.0595 s Remaining CPU time: 84.9405 s c =============================================================================== c | 265637 | 1188 4476 61888 | 5000 11809 271 | 0.000 % | c | 265737 | 1188 4476 61888 | 5500 3053 271 | 0.000 % | c | 265887 | 1188 4476 61888 | 6050 3203 271 | 0.000 % | c | 266114 | 1188 4476 61888 | 6655 3430 271 | 0.000 % | c | 266451 | 1188 4476 61888 | 7320 3767 271 | 0.000 % | c | 266957 | 1188 4476 61888 | 8052 4273 271 | 0.000 % | c | 267716 | 1188 4476 61888 | 8857 5032 271 | 0.000 % | c | 268855 | 1188 4476 61888 | 9743 6171 271 | 0.000 % | c | 270564 | 1188 4476 61888 | 10717 7880 271 | 0.000 % | c | 273126 | 1188 4476 61888 | 11789 10442 271 | 0.000 % | c | 276970 | 1188 4476 61888 | 12968 8237 270 | 0.000 % | c | 282736 | 1188 4476 61888 | 14265 7373 270 | 0.000 % | c | 291385 | 1188 4476 61888 | 15692 8748 270 | 0.000 % | c | 304359 | 1188 4476 61888 | 17261 13721 270 | 0.000 % | c | 323820 | 1188 4476 61888 | 18987 15595 270 | 0.000 % |