c wbo 1.4 beta - 20100610 c | Number of variables: 800 | c | Number of clauses: 4400 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1188 | c | Number Clauses: 4390 | 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 4390 9182 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1188 4391 9580 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1188 4392 9978 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1188 4393 10376 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1188 4394 10774 | 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 | 1188 4395 11172 | 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 | 1188 4396 11570 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1188 4397 11968 | 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 | 1188 4398 12366 | 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 | 1188 4399 12764 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1188 4400 13162 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1188 4401 13560 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 1188 4402 13958 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 1188 4403 14356 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1188 4404 14754 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 1 | 1188 4405 15152 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 1 | 1188 4406 15550 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 1 | 1188 4407 15948 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 1 | 1188 4408 16346 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 1 | 1188 4409 16744 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 1 | 1188 4410 17142 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 1 | 1188 4411 17540 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 1 | 1188 4412 17938 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 1 | 1188 4413 18336 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 1 | 1188 4414 18734 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 1 | 1188 4415 19132 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 1 | 1188 4416 19530 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 1 | 1188 4417 19928 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 1 | 1188 4418 20326 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 1 | 1188 4419 20724 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 1 | 1188 4420 21122 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 1 | 1188 4421 21520 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 1 | 1188 4422 21918 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 1 | 1188 4423 22316 | 5000 1 385 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 2 | 1188 4424 22714 | 5000 2 376 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 2 | 1188 4425 23112 | 5000 2 376 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 2 | 1188 4426 23510 | 5000 2 376 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 3 | 1188 4427 23908 | 5000 3 371 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 3 | 1188 4428 24306 | 5000 3 371 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 3 | 1188 4429 24704 | 5000 3 371 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 4 | 1188 4430 25102 | 5000 4 368 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 5 | 1188 4431 25500 | 5000 5 366 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 6 | 1188 4432 25898 | 5000 6 364 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 6 | 1188 4433 26296 | 5000 6 364 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s c =============================================================================== c | 7 | 1188 4434 26694 | 5000 7 363 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 7 | 1188 4435 27092 | 5000 7 363 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 7 | 1188 4436 27490 | 5000 7 363 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 8 | 1188 4437 27888 | 5000 8 362 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.123981 s Remaining CPU time: 179.876 s c =============================================================================== c | 8 | 1188 4438 28286 | 5000 8 362 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 8 | 1188 4439 28684 | 5000 8 362 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.13098 s Remaining CPU time: 179.869 s c =============================================================================== c | 9 | 1188 4440 29082 | 5000 9 360 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s c =============================================================================== c | 10 | 1188 4441 29480 | 5000 10 359 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 10 | 1188 4442 29878 | 5000 10 359 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 10 | 1188 4443 30276 | 5000 10 359 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s c =============================================================================== c | 11 | 1188 4444 30674 | 5000 11 358 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.149977 s Remaining CPU time: 179.85 s c =============================================================================== c | 11 | 1188 4445 31072 | 5000 11 358 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 11 | 1188 4446 31470 | 5000 11 358 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 15 | 1188 4447 31868 | 5000 15 354 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s c =============================================================================== c | 16 | 1188 4448 32266 | 5000 16 353 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.164974 s Remaining CPU time: 179.835 s c =============================================================================== c | 17 | 1188 4449 32664 | 5000 17 352 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.167974 s Remaining CPU time: 179.832 s c =============================================================================== c | 18 | 1188 4450 33062 | 5000 18 351 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 19 | 1188 4451 33460 | 5000 19 351 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.174973 s Remaining CPU time: 179.825 s c =============================================================================== c | 20 | 1188 4452 33858 | 5000 20 350 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.179972 s Remaining CPU time: 179.82 s c =============================================================================== c | 21 | 1188 4453 34256 | 5000 21 349 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.184971 s Remaining CPU time: 179.815 s c =============================================================================== c | 27 | 1188 4454 34654 | 5000 27 346 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s c =============================================================================== c | 29 | 1188 4455 35052 | 5000 29 345 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 31 | 1188 4456 35450 | 5000 31 345 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.197969 s Remaining CPU time: 179.802 s c =============================================================================== c | 32 | 1188 4457 35848 | 5000 32 344 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 34 | 1188 4458 36246 | 5000 34 344 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 35 | 1188 4459 36644 | 5000 35 343 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 37 | 1188 4460 37042 | 5000 37 342 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s c =============================================================================== c | 38 | 1188 4461 37440 | 5000 38 342 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.221966 s Remaining CPU time: 179.778 s c =============================================================================== c | 39 | 1188 4462 37838 | 5000 39 342 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 41 | 1188 4463 38236 | 5000 41 341 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s c =============================================================================== c | 42 | 1188 4464 38634 | 5000 42 340 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.236963 s Remaining CPU time: 179.763 s c =============================================================================== c | 46 | 1188 4465 39032 | 5000 46 339 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.241963 s Remaining CPU time: 179.758 s c =============================================================================== c | 52 | 1188 4466 39430 | 5000 52 337 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.245962 s Remaining CPU time: 179.754 s c =============================================================================== c | 53 | 1188 4467 39828 | 5000 53 337 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.251961 s Remaining CPU time: 179.748 s c =============================================================================== c | 54 | 1188 4468 40226 | 5000 54 337 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.25696 s Remaining CPU time: 179.743 s c =============================================================================== c | 58 | 1188 4469 40624 | 5000 58 336 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.264959 s Remaining CPU time: 179.735 s c =============================================================================== c | 69 | 1188 4470 41022 | 5000 69 333 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s c =============================================================================== c | 82 | 1188 4471 41420 | 5000 82 331 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.279957 s Remaining CPU time: 179.72 s c =============================================================================== c | 100 | 1188 4472 41818 | 5000 100 328 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s c =============================================================================== c | 118 | 1188 4473 42216 | 5000 118 327 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.296954 s Remaining CPU time: 179.703 s c =============================================================================== c | 127 | 1188 4474 42614 | 5000 127 326 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.303953 s Remaining CPU time: 179.696 s c =============================================================================== c | 136 | 1188 4475 43012 | 5000 136 323 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s c =============================================================================== c | 153 | 1188 4476 43410 | 5000 153 322 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s c =============================================================================== c | 181 | 1188 4477 43808 | 5000 181 320 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.331949 s Remaining CPU time: 179.668 s c =============================================================================== c | 202 | 1188 4478 44206 | 5000 202 319 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.339948 s Remaining CPU time: 179.66 s c =============================================================================== c | 208 | 1188 4479 44604 | 5000 208 319 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.346947 s Remaining CPU time: 179.653 s c =============================================================================== c | 220 | 1188 4480 45002 | 5000 220 319 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.353946 s Remaining CPU time: 179.646 s c =============================================================================== c | 232 | 1188 4481 45400 | 5000 232 318 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.362944 s Remaining CPU time: 179.637 s c =============================================================================== c | 245 | 1188 4482 45798 | 5000 245 317 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.370943 s Remaining CPU time: 179.629 s c =============================================================================== c | 259 | 1188 4483 46196 | 5000 259 317 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.377942 s Remaining CPU time: 179.622 s c =============================================================================== c | 263 | 1188 4484 46594 | 5000 263 317 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.386941 s Remaining CPU time: 179.613 s c =============================================================================== c | 271 | 1188 4485 46992 | 5000 271 316 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.394939 s Remaining CPU time: 179.605 s c =============================================================================== c | 278 | 1188 4486 47390 | 5000 278 316 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.404938 s Remaining CPU time: 179.595 s c =============================================================================== c | 291 | 1188 4487 47788 | 5000 291 315 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.412937 s Remaining CPU time: 179.587 s c =============================================================================== c | 298 | 1188 4488 48186 | 5000 298 315 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.421935 s Remaining CPU time: 179.578 s c =============================================================================== c | 311 | 1188 4489 48584 | 5000 311 314 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.429934 s Remaining CPU time: 179.57 s c =============================================================================== c | 321 | 1188 4490 48982 | 5000 321 314 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.436933 s Remaining CPU time: 179.563 s c =============================================================================== c | 329 | 1188 4491 49380 | 5000 329 314 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.445932 s Remaining CPU time: 179.554 s c =============================================================================== c | 336 | 1188 4492 49778 | 5000 336 313 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.45493 s Remaining CPU time: 179.545 s c =============================================================================== c | 346 | 1188 4493 50176 | 5000 346 313 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.463929 s Remaining CPU time: 179.536 s c =============================================================================== c | 355 | 1188 4494 50574 | 5000 355 312 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.474927 s Remaining CPU time: 179.525 s c =============================================================================== c | 363 | 1188 4495 50972 | 5000 363 312 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.484926 s Remaining CPU time: 179.515 s c =============================================================================== c | 375 | 1188 4496 51370 | 5000 375 311 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.493924 s Remaining CPU time: 179.506 s c =============================================================================== c | 382 | 1188 4497 51768 | 5000 382 311 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.503923 s Remaining CPU time: 179.496 s c =============================================================================== c | 396 | 1188 4498 52166 | 5000 396 310 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.513921 s Remaining CPU time: 179.486 s c =============================================================================== c | 402 | 1188 4499 52564 | 5000 402 310 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.52192 s Remaining CPU time: 179.478 s c =============================================================================== c | 411 | 1188 4500 52962 | 5000 411 309 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 0.531919 s Remaining CPU time: 179.468 s c =============================================================================== c | 421 | 1188 4501 53360 | 5000 421 309 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 0.541917 s Remaining CPU time: 179.458 s c =============================================================================== c | 434 | 1188 4502 53758 | 5000 434 308 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 0.556915 s Remaining CPU time: 179.443 s c =============================================================================== c | 473 | 1188 4503 54156 | 5000 473 307 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 0.566913 s Remaining CPU time: 179.433 s c =============================================================================== c | 485 | 1188 4504 54554 | 5000 485 306 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 0.58991 s Remaining CPU time: 179.41 s c =============================================================================== c | 553 | 1188 4505 54952 | 5000 553 303 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 0.611906 s Remaining CPU time: 179.388 s c =============================================================================== c | 616 | 1188 4506 55350 | 5000 616 302 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 0.631903 s Remaining CPU time: 179.368 s c =============================================================================== c | 668 | 1188 4507 55748 | 5000 668 300 | 0.000 % | c | 769 | 1188 4507 55748 | 5500 769 298 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 0.664898 s Remaining CPU time: 179.335 s c =============================================================================== c | 776 | 1188 4508 56146 | 5000 776 298 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 0.678896 s Remaining CPU time: 179.321 s c =============================================================================== c | 800 | 1188 4509 56544 | 5000 800 297 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 0.711891 s Remaining CPU time: 179.288 s c =============================================================================== c | 896 | 1188 4510 56942 | 5000 896 295 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 0.733888 s Remaining CPU time: 179.266 s c =============================================================================== c | 940 | 1188 4511 57340 | 5000 940 295 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 0.745886 s Remaining CPU time: 179.254 s c =============================================================================== c | 953 | 1188 4512 57738 | 5000 953 294 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 0.772882 s Remaining CPU time: 179.227 s c =============================================================================== c | 1017 | 1188 4513 58136 | 5000 1017 293 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 0.793879 s Remaining CPU time: 179.206 s c =============================================================================== c | 1072 | 1188 4514 58534 | 5000 1072 292 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 0.814876 s Remaining CPU time: 179.185 s c =============================================================================== c | 1118 | 1188 4515 58932 | 5000 1118 292 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 0.832873 s Remaining CPU time: 179.167 s c =============================================================================== c | 1171 | 1188 4516 59330 | 5000 1171 291 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 0.85087 s Remaining CPU time: 179.149 s c =============================================================================== c | 1210 | 1188 4517 59728 | 5000 1210 290 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 0.865868 s Remaining CPU time: 179.134 s c =============================================================================== c | 1236 | 1188 4518 60126 | 5000 1236 290 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 0.890864 s Remaining CPU time: 179.109 s c =============================================================================== c | 1294 | 1188 4519 60524 | 5000 1294 289 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 0.911861 s Remaining CPU time: 179.088 s c =============================================================================== c | 1351 | 1188 4520 60922 | 5000 1351 288 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 0.927858 s Remaining CPU time: 179.072 s c =============================================================================== c | 1383 | 1188 4521 61320 | 5000 1383 288 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 0.949855 s Remaining CPU time: 179.05 s c =============================================================================== c | 1442 | 1188 4522 61718 | 5000 1442 287 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 0.965853 s Remaining CPU time: 179.034 s c =============================================================================== c | 1476 | 1188 4523 62116 | 5000 1476 287 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 0.978851 s Remaining CPU time: 179.021 s c =============================================================================== c | 1490 | 1188 4524 62514 | 5000 1490 286 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 1.00085 s Remaining CPU time: 178.999 s c =============================================================================== c | 1539 | 1188 4525 62912 | 5000 1539 286 | 0.000 % | c | 1640 | 1188 4525 62912 | 5500 1640 284 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 1.07284 s Remaining CPU time: 178.927 s c =============================================================================== c | 1775 | 1188 4526 63310 | 5000 1775 283 | 0.000 % | c | 1875 | 1188 4526 63310 | 5500 1875 282 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 1.12083 s Remaining CPU time: 178.879 s c =============================================================================== c | 1924 | 1188 4527 63708 | 5000 1924 281 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 1.14383 s Remaining CPU time: 178.856 s c =============================================================================== c | 1962 | 1188 4528 64106 | 5000 1962 281 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 1.16482 s Remaining CPU time: 178.835 s c =============================================================================== c | 1997 | 1188 4529 64504 | 5000 1997 281 | 0.000 % | c | 2098 | 1188 4529 64504 | 5500 2098 280 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 1.22881 s Remaining CPU time: 178.771 s c =============================================================================== c | 2181 | 1188 4530 64902 | 5000 2181 279 | 0.000 % | c | 2281 | 1188 4530 64902 | 5500 2281 278 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 1.2898 s Remaining CPU time: 178.71 s c =============================================================================== c | 2367 | 1188 4531 65300 | 5000 2367 277 | 0.000 % | c | 2467 | 1188 4531 65300 | 5500 2467 277 | 0.000 % | c | 2618 | 1188 4531 65300 | 6050 2618 276 | 0.000 % | c | 2845 | 1188 4531 65300 | 6655 2845 274 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 1.51677 s Remaining CPU time: 178.483 s c =============================================================================== c | 3149 | 1188 4532 65698 | 5000 3149 273 | 0.000 % | c | 3250 | 1188 4532 65698 | 5500 3250 272 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 1.59476 s Remaining CPU time: 178.405 s c =============================================================================== c | 3383 | 1188 4533 66096 | 5000 3383 272 | 0.000 % | c | 3484 | 1188 4533 66096 | 5500 3484 271 | 0.000 % | c | 3634 | 1188 4533 66096 | 6050 3634 270 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 1.70074 s Remaining CPU time: 178.299 s c =============================================================================== c | 3772 | 1188 4534 66494 | 5000 3772 270 | 0.000 % | c | 3872 | 1188 4534 66494 | 5500 3872 270 | 0.000 % | c | 4022 | 1188 4534 66494 | 6050 4022 269 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 1.80472 s Remaining CPU time: 178.195 s c =============================================================================== c | 4109 | 1188 4535 66892 | 5000 4109 269 | 0.000 % | c | 4209 | 1188 4535 66892 | 5500 4209 268 | 0.000 % | c | 4359 | 1188 4535 66892 | 6050 4359 268 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 1.91671 s Remaining CPU time: 178.083 s c =============================================================================== c | 4457 | 1188 4536 67290 | 5000 4457 268 | 0.000 % | c | 4557 | 1188 4536 67290 | 5500 4557 267 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 1.9947 s Remaining CPU time: 178.005 s c =============================================================================== c | 4683 | 1188 4537 67688 | 5000 4683 267 | 0.000 % | c | 4783 | 1188 4537 67688 | 5500 4783 267 | 0.000 % | c | 4935 | 1188 4537 67688 | 6050 4935 266 | 0.000 % | c | 5160 | 1188 4537 67688 | 6655 5160 266 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 2.14967 s Remaining CPU time: 177.85 s c =============================================================================== c | 5164 | 1188 4538 68086 | 5000 5164 266 | 0.000 % | c | 5264 | 1188 4538 68086 | 5500 2682 255 | 0.000 % | c | 5414 | 1188 4538 68086 | 6050 2832 255 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 2.28665 s Remaining CPU time: 177.713 s c =============================================================================== c | 5542 | 1188 4539 68484 | 5000 2960 255 | 0.000 % | c | 5642 | 1188 4539 68484 | 5500 3060 255 | 0.000 % | c | 5792 | 1188 4539 68484 | 6050 3210 254 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 2.42263 s Remaining CPU time: 177.577 s c =============================================================================== c | 5948 | 1188 4540 68882 | 5000 3366 254 | 0.000 % | c | 6048 | 1188 4540 68882 | 5500 3466 254 | 0.000 % | c | 6198 | 1188 4540 68882 | 6050 3616 254 | 0.000 % | c | 6423 | 1188 4540 68882 | 6655 3841 254 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 2.58661 s Remaining CPU time: 177.413 s c =============================================================================== c | 6496 | 1188 4541 69280 | 5000 3914 254 | 0.000 % | c | 6596 | 1188 4541 69280 | 5500 4014 253 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 2.6626 s Remaining CPU time: 177.337 s c =============================================================================== c | 6686 | 1188 4542 69678 | 5000 4104 253 | 0.000 % | c | 6786 | 1188 4542 69678 | 5500 4204 253 | 0.000 % | c | 6936 | 1188 4542 69678 | 6050 4354 253 | 0.000 % | c | 7161 | 1188 4542 69678 | 6655 4579 253 | 0.000 % | c | 7498 | 1188 4542 69678 | 7320 4916 252 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 2.95655 s Remaining CPU time: 177.043 s c =============================================================================== c | 7715 | 1188 4543 70076 | 5000 5133 252 | 0.000 % | c | 7815 | 1188 4543 70076 | 5500 2667 249 | 0.000 % | c | 7965 | 1188 4543 70076 | 6050 2817 249 | 0.000 % | c | 8190 | 1188 4543 70076 | 6655 3042 248 | 0.000 % | c | 8527 | 1188 4543 70076 | 7320 3379 248 | 0.000 % | c | 9033 | 1188 4543 70076 | 8052 3885 248 | 0.000 % | c | 9793 | 1188 4543 70076 | 8857 4645 248 | 0.000 % | c | 10932 | 1188 4543 70076 | 9743 5784 248 | 0.000 % | c | 12640 | 1188 4543 70076 | 10717 7492 247 | 0.000 % | c | 15203 | 1188 4543 70076 | 11789 10055 247 | 0.000 % | c | 19047 | 1188 4543 70076 | 12968 7866 247 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 8.92964 s Remaining CPU time: 171.07 s c =============================================================================== c | 24721 | 1188 4544 70474 | 5000 6930 247 | 0.000 % | c | 24821 | 1188 4544 70474 | 5500 3565 246 | 0.000 % | c | 24971 | 1188 4544 70474 | 6050 3715 246 | 0.000 % | c | 25196 | 1188 4544 70474 | 6655 3940 246 | 0.000 % | c | 25534 | 1188 4544 70474 | 7320 4278 246 | 0.000 % | c | 26041 | 1188 4544 70474 | 8052 4785 246 | 0.000 % | c | 26800 | 1188 4544 70474 | 8857 5544 246 | 0.000 % | c | 27939 | 1188 4544 70474 | 9743 6683 246 | 0.000 % | c | 29648 | 1188 4544 70474 | 10717 8392 246 | 0.000 % | c | 32210 | 1188 4544 70474 | 11789 10954 246 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 11.7092 s Remaining CPU time: 168.291 s c =============================================================================== c | 33428 | 1188 4545 70872 | 5000 6145 246 | 0.000 % | c | 33528 | 1188 4545 70872 | 5500 3173 246 | 0.000 % | c | 33678 | 1188 4545 70872 | 6050 3323 246 | 0.000 % | c | 33903 | 1188 4545 70872 | 6655 3548 245 | 0.000 % | c | 34241 | 1188 4545 70872 | 7320 3886 245 | 0.000 % | c | 34747 | 1188 4545 70872 | 8052 4392 245 | 0.000 % | c | 35506 | 1188 4545 70872 | 8857 5151 245 | 0.000 % | c | 36645 | 1188 4545 70872 | 9743 6290 245 | 0.000 % | c | 38353 | 1188 4545 70872 | 10717 7998 245 | 0.000 % | c | 40916 | 1188 4545 70872 | 11789 10561 245 | 0.000 % | c | 44761 | 1188 4545 70872 | 12968 8369 245 | 0.000 % | c | 50528 | 1188 4545 70872 | 14265 7512 245 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 20.4469 s Remaining CPU time: 159.553 s c =============================================================================== c | 58328 | 1188 4546 71270 | 5000 8050 245 | 0.000 % | c | 58428 | 1188 4546 71270 | 5500 4125 245 | 0.000 % | c | 58578 | 1188 4546 71270 | 6050 4275 245 | 0.000 % | c | 58803 | 1188 4546 71270 | 6655 4500 245 | 0.000 % | c | 59140 | 1188 4546 71270 | 7320 4837 245 | 0.000 % | c | 59646 | 1188 4546 71270 | 8052 5343 244 | 0.000 % | c | 60405 | 1188 4546 71270 | 8857 6102 244 | 0.000 % | c | 61545 | 1188 4546 71270 | 9743 7242 244 | 0.000 % | c | 63253 | 1188 4546 71270 | 10717 8950 244 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 23.5104 s Remaining CPU time: 156.49 s c =============================================================================== c | 65442 | 1188 4547 71668 | 5000 5641 243 | 0.000 % | c | 65542 | 1188 4547 71668 | 5500 2921 243 | 0.000 % | c | 65692 | 1188 4547 71668 | 6050 3071 243 | 0.000 % | c | 65918 | 1188 4547 71668 | 6655 3297 243 | 0.000 % | c | 66255 | 1188 4547 71668 | 7320 3634 243 | 0.000 % | c | 66761 | 1188 4547 71668 | 8052 4140 243 | 0.000 % | c | 67520 | 1188 4547 71668 | 8857 4899 243 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 24.3093 s Remaining CPU time: 155.691 s c =============================================================================== c | 68065 | 1188 4548 72066 | 5000 5444 243 | 0.000 % | c | 68165 | 1188 4548 72066 | 5500 2822 242 | 0.000 % | c | 68315 | 1188 4548 72066 | 6050 2972 242 | 0.000 % | c | 68542 | 1188 4548 72066 | 6655 3199 242 | 0.000 % | c | 68879 | 1188 4548 72066 | 7320 3536 242 | 0.000 % | c | 69385 | 1188 4548 72066 | 8052 4042 242 | 0.000 % | c | 70144 | 1188 4548 72066 | 8857 4801 242 | 0.000 % | c | 71283 | 1188 4548 72066 | 9743 5940 242 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 25.7231 s Remaining CPU time: 154.277 s c =============================================================================== c | 72240 | 1188 4549 72464 | 5000 6897 242 | 0.000 % | c | 72340 | 1188 4549 72464 | 5500 3549 241 | 0.000 % | c | 72490 | 1188 4549 72464 | 6050 3699 241 | 0.000 % | c | 72715 | 1188 4549 72464 | 6655 3924 241 | 0.000 % | c | 73052 | 1188 4549 72464 | 7320 4261 241 | 0.000 % | c | 73558 | 1188 4549 72464 | 8052 4767 241 | 0.000 % | c | 74317 | 1188 4549 72464 | 8857 5526 241 | 0.000 % | c | 75457 | 1188 4549 72464 | 9743 6666 241 | 0.000 % | c | 77165 | 1188 4549 72464 | 10717 8374 241 | 0.000 % | c | 79728 | 1188 4549 72464 | 11789 10937 241 | 0.000 % | c | 83573 | 1188 4549 72464 | 12968 8747 241 | 0.000 % | c | 89340 | 1188 4549 72464 | 14265 7890 241 | 0.000 % | c | 97989 | 1188 4549 72464 | 15692 9280 241 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 35.4796 s Remaining CPU time: 144.52 s c =============================================================================== c | 99449 | 1188 4550 72862 | 5000 10740 241 | 0.000 % | c | 99549 | 1188 4550 72862 | 5500 2785 240 | 0.000 % | c | 99700 | 1188 4550 72862 | 6050 2936 240 | 0.000 % | c | 99925 | 1188 4550 72862 | 6655 3161 240 | 0.000 % | c | 100262 | 1188 4550 72862 | 7320 3498 240 | 0.000 % | c | 100768 | 1188 4550 72862 | 8052 4004 240 | 0.000 % | c | 101527 | 1188 4550 72862 | 8857 4763 240 | 0.000 % | c | 102666 | 1188 4550 72862 | 9743 5902 240 | 0.000 % | c | 104374 | 1188 4550 72862 | 10717 7610 240 | 0.000 % | c | 106936 | 1188 4550 72862 | 11789 10172 240 | 0.000 % | c | 110780 | 1188 4550 72862 | 12968 7983 240 | 0.000 % | c | 116547 | 1188 4550 72862 | 14265 7132 240 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 42.7495 s Remaining CPU time: 137.25 s c =============================================================================== c | 118405 | 1188 4551 73260 | 5000 8990 240 | 0.000 % | c | 118505 | 1188 4551 73260 | 5500 4595 240 | 0.000 % | c | 118655 | 1188 4551 73260 | 6050 4745 240 | 0.000 % | c | 118880 | 1188 4551 73260 | 6655 4970 240 | 0.000 % | c | 119217 | 1188 4551 73260 | 7320 5307 240 | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 43.2804 s Remaining CPU time: 136.72 s c =============================================================================== c | 119652 | 1188 4552 73658 | 5000 5742 240 | 0.000 % | c | 119752 | 1188 4552 73658 | 5500 2971 239 | 0.000 % | c | 119902 | 1188 4552 73658 | 6050 3121 239 | 0.000 % | c | 120128 | 1188 4552 73658 | 6655 3347 239 | 0.000 % | c | 120465 | 1188 4552 73658 | 7320 3684 238 | 0.000 % | c | 120972 | 1188 4552 73658 | 8052 4191 238 | 0.000 % | c | 121731 | 1188 4552 73658 | 8857 4950 238 | 0.000 % | c | 122870 | 1188 4552 73658 | 9743 6089 238 | 0.000 % | c | 124578 | 1188 4552 73658 | 10717 7797 239 | 0.000 % | c | 127140 | 1188 4552 73658 | 11789 10359 238 | 0.000 % | c | 130985 | 1188 4552 73658 | 12968 8162 238 | 0.000 % | c | 136751 | 1188 4552 73658 | 14265 7299 238 | 0.000 % | c | 145400 | 1188 4552 73658 | 15692 8691 238 | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 54.2048 s Remaining CPU time: 125.795 s c =============================================================================== c | 152230 | 1188 4553 74056 | 5000 15521 238 | 0.000 % | c | 152330 | 1188 4553 74056 | 5500 3981 237 | 0.000 % | c | 152481 | 1188 4553 74056 | 6050 4132 237 | 0.000 % | c | 152706 | 1188 4553 74056 | 6655 4357 237 | 0.000 % | c | 153043 | 1188 4553 74056 | 7320 4694 237 | 0.000 % | c | 153549 | 1188 4553 74056 | 8052 5200 237 | 0.000 % | c | 154309 | 1188 4553 74056 | 8857 5960 237 | 0.000 % | c | 155449 | 1188 4553 74056 | 9743 7100 237 | 0.000 % | c | 157157 | 1188 4553 74056 | 10717 8808 237 | 0.000 % | c | 159719 | 1188 4553 74056 | 11789 5890 236 | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 57.5163 s Remaining CPU time: 122.484 s c =============================================================================== c | 161953 | 1188 4554 74454 | 5000 8124 237 | 0.000 % | c | 162053 | 1188 4554 74454 | 5500 4162 236 | 0.000 % | c | 162203 | 1188 4554 74454 | 6050 4312 236 | 0.000 % | c | 162430 | 1188 4554 74454 | 6655 4539 236 | 0.000 % | c | 162767 | 1188 4554 74454 | 7320 4876 236 | 0.000 % | c | 163273 | 1188 4554 74454 | 8052 5382 236 | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 58.0702 s Remaining CPU time: 121.93 s c =============================================================================== c | 163396 | 1188 4555 74852 | 5000 5505 236 | 0.000 % | c | 163496 | 1188 4555 74852 | 5500 2853 234 | 0.000 % | c | 163647 | 1188 4555 74852 | 6050 3004 235 | 0.000 % | c | 163873 | 1188 4555 74852 | 6655 3230 235 | 0.000 % | c | 164211 | 1188 4555 74852 | 7320 3568 235 | 0.000 % | c | 164718 | 1188 4555 74852 | 8052 4075 235 | 0.000 % | c | 165478 | 1188 4555 74852 | 8857 4835 235 | 0.000 % | c | 166617 | 1188 4555 74852 | 9743 5974 235 | 0.000 % | c | 168325 | 1188 4555 74852 | 10717 7682 235 | 0.000 % | c | 170887 | 1188 4555 74852 | 11789 10244 235 | 0.000 % | c | 174732 | 1188 4555 74852 | 12968 8069 235 | 0.000 % | c | 180498 | 1188 4555 74852 | 14265 7229 235 | 0.000 % | c | 189148 | 1188 4555 74852 | 15692 8591 235 | 0.000 % | c | 202123 | 1188 4555 74852 | 17261 13580 235 | 0.000 % | c | 221584 | 1188 4555 74852 | 18987 15485 235 | 0.000 % | c | 250777 | 1188 4555 74852 | 20886 15756 235 | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 104.231 s Remaining CPU time: 75.7688 s c =============================================================================== c | 279150 | 1188 4556 75250 | 5000 12208 235 | 0.000 % | c | 279250 | 1188 4556 75250 | 5500 3152 234 | 0.000 % | c | 279400 | 1188 4556 75250 | 6050 3302 234 | 0.000 % | c | 279625 | 1188 4556 75250 | 6655 3527 234 | 0.000 % | c | 279962 | 1188 4556 75250 | 7320 3864 234 | 0.000 % | c | 280468 | 1188 4556 75250 | 8052 4370 234 | 0.000 % | c | 281227 | 1188 4556 75250 | 8857 5129 234 | 0.000 % | c | 282366 | 1188 4556 75250 | 9743 6268 234 | 0.000 % | c | 284074 | 1188 4556 75250 | 10717 7976 234 | 0.000 % | c | 286638 | 1188 4556 75250 | 11789 10540 234 | 0.000 % | c | 290482 | 1188 4556 75250 | 12968 8353 234 | 0.000 % | c | 296248 | 1188 4556 75250 | 14265 7507 234 | 0.000 % | c | 304897 | 1188 4556 75250 | 15692 8881 234 | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 113.091 s Remaining CPU time: 66.9092 s c =============================================================================== c | 305948 | 1188 4557 75648 | 5000 9932 234 | 0.000 % | c | 306048 | 1188 4557 75648 | 5500 5066 234 | 0.000 % | c | 306198 | 1188 4557 75648 | 6050 5216 234 | 0.000 % | c | 306423 | 1188 4557 75648 | 6655 5441 234 | 0.000 % | c | 306760 | 1188 4557 75648 | 7320 5778 234 | 0.000 % | c | 307266 | 1188 4557 75648 | 8052 6284 234 | 0.000 % | c | 308025 | 1188 4557 75648 | 8857 7043 234 | 0.000 % | c | 309164 | 1188 4557 75648 | 9743 8182 234 | 0.000 % | c | 310873 | 1188 4557 75648 | 10717 9891 234 | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 115.551 s Remaining CPU time: 64.4486 s c =============================================================================== c | 312758 | 1188 4558 76046 | 5000 6274 233 | 0.000 % | c | 312859 | 1188 4558 76046 | 5500 3238 233 | 0.000 % | c | 313009 | 1188 4558 76046 | 6050 3388 233 | 0.000 % | c | 313234 | 1188 4558 76046 | 6655 3613 233 | 0.000 % | c | 313571 | 1188 4558 76046 | 7320 3950 233 | 0.000 % | c | 314077 | 1188 4558 76046 | 8052 4456 233 | 0.000 % | c | 314836 | 1188 4558 76046 | 8857 5215 233 | 0.000 % | c | 315975 | 1188 4558 76046 | 9743 6354 232 | 0.000 % | c | 317683 | 1188 4558 76046 | 10717 8062 232 | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 117.217 s Remaining CPU time: 62.7828 s c =============================================================================== c | 318169 | 1188 4559 76444 | 5000 8548 232 | 0.000 % | c | 318270 | 1188 4559 76444 | 5500 4375 232 | 0.000 % | c | 318420 | 1188 4559 76444 | 6050 4525 232 | 0.000 % | c | 318645 | 1188 4559 76444 | 6655 4750 232 | 0.000 % | c | 318982 | 1188 4559 76444 | 7320 5087 232 | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 117.619 s Remaining CPU time: 62.3809 s c =============================================================================== c | 319327 | 1188 4560 76842 | 5000 5432 232 | 0.000 % | c | 319427 | 1188 4560 76842 | 5500 2816 231 | 0.000 % | c | 319577 | 1188 4560 76842 | 6050 2966 231 | 0.000 % | c | 319802 | 1188 4560 76842 | 6655 3191 231 | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 117.858 s Remaining CPU time: 62.1419 s c =============================================================================== c | 320056 | 1188 4561 77240 | 5000 3445 231 | 0.000 % | c | 320156 | 1188 4561 77240 | 5500 3545 231 | 0.000 % | c | 320306 | 1188 4561 77240 | 6050 3695 230 | 0.000 % | c | 320531 | 1188 4561 77240 | 6655 3920 230 | 0.000 % | c | 320868 | 1188 4561 77240 | 7320 4257 230 | 0.000 % | c | 321374 | 1188 4561 77240 | 8052 4763 230 | 0.000 % | c | 322133 | 1188 4561 77240 | 8857 5522 230 | 0.000 % | c | 323273 | 1188 4561 77240 | 9743 6662 230 | 0.000 % | c | 324981 | 1188 4561 77240 | 10717 8370 230 | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 119.456 s Remaining CPU time: 60.5442 s c =============================================================================== c | 325686 | 1188 4562 77638 | 5000 9075 230 | 0.000 % | c | 325787 | 1188 4562 77638 | 5500 4639 229 | 0.000 % | c | 325937 | 1188 4562 77638 | 6050 4789 228 | 0.000 % | c | 326162 | 1188 4562 77638 | 6655 5014 228 | 0.000 % | c | 326499 | 1188 4562 77638 | 7320 5351 228 | 0.000 % | c | 327005 | 1188 4562 77638 | 8052 5857 228 | 0.000 % | c | 327764 | 1188 4562 77638 | 8857 6616 228 | 0.000 % | c | 328904 | 1188 4562 77638 | 9743 7756 228 | 0.000 % | c | 330612 | 1188 4562 77638 | 10717 9464 228 | 0.000 % | c | 333174 | 1188 4562 77638 | 11789 6553 228 | 0.000 % | c | 337019 | 1188 4562 77638 | 12968 10398 228 | 0.000 % | c | 342785 | 1188 4562 77638 | 14265 9532 228 | 0.000 % | c | 351434 | 1188 4562 77638 | 15692 10918 228 | 0.000 % | c | 364408 | 1188 4562 77638 | 17261 15895 228 | 0.000 % |