c wbo 1.4 beta - 20100610 c | Number of variables: 800 | c | Number of clauses: 4393 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1186 | c | Number Clauses: 4379 | 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 | 1186 4379 9158 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1186 4380 9558 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1186 4381 9958 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1186 4382 10358 | 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 | 1186 4383 10758 | 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 | 1186 4384 11158 | 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 | 1186 4385 11558 | 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 | 1186 4386 11958 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1186 4387 12358 | 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 | 1186 4388 12758 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1186 4389 13158 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1186 4390 13558 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1186 4391 13958 | 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 | 1186 4392 14358 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 1186 4393 14758 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1186 4394 15158 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 1186 4395 15558 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 1186 4396 15958 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 1186 4397 16358 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 1186 4398 16758 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 1186 4399 17158 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 1186 4400 17558 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 1186 4401 17958 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 1186 4402 18358 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 1186 4403 18758 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 1186 4404 19158 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 1186 4405 19558 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 1186 4406 19958 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 0 | 1186 4407 20358 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 1186 4408 20758 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 1 | 1186 4409 21158 | 5000 1 372 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 1 | 1186 4410 21558 | 5000 1 372 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 1 | 1186 4411 21958 | 5000 1 372 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 1 | 1186 4412 22358 | 5000 1 372 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 1 | 1186 4413 22758 | 5000 1 372 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 1 | 1186 4414 23158 | 5000 1 372 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 2 | 1186 4415 23558 | 5000 2 369 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 2 | 1186 4416 23958 | 5000 2 369 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 2 | 1186 4417 24358 | 5000 2 369 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 2 | 1186 4418 24758 | 5000 2 369 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 2 | 1186 4419 25158 | 5000 2 369 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 2 | 1186 4420 25558 | 5000 2 369 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 2 | 1186 4421 25958 | 5000 2 369 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 2 | 1186 4422 26358 | 5000 2 369 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s c =============================================================================== c | 2 | 1186 4423 26758 | 5000 2 369 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 2 | 1186 4424 27158 | 5000 2 369 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s c =============================================================================== c | 2 | 1186 4425 27558 | 5000 2 369 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 2 | 1186 4426 27958 | 5000 2 369 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 2 | 1186 4427 28358 | 5000 2 369 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 2 | 1186 4428 28758 | 5000 2 369 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s c =============================================================================== c | 2 | 1186 4429 29158 | 5000 2 369 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 2 | 1186 4430 29558 | 5000 2 369 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 2 | 1186 4431 29958 | 5000 2 369 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s c =============================================================================== c | 2 | 1186 4432 30358 | 5000 2 369 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 2 | 1186 4433 30758 | 5000 2 369 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 2 | 1186 4434 31158 | 5000 2 369 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s c =============================================================================== c | 2 | 1186 4435 31558 | 5000 2 369 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.164974 s Remaining CPU time: 179.835 s c =============================================================================== c | 3 | 1186 4436 31958 | 5000 3 361 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s c =============================================================================== c | 4 | 1186 4437 32358 | 5000 4 356 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 4 | 1186 4438 32758 | 5000 4 356 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 4 | 1186 4439 33158 | 5000 4 356 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 5 | 1186 4440 33558 | 5000 5 353 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.186971 s Remaining CPU time: 179.813 s c =============================================================================== c | 5 | 1186 4441 33958 | 5000 5 353 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.19197 s Remaining CPU time: 179.808 s c =============================================================================== c | 5 | 1186 4442 34358 | 5000 5 353 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.19697 s Remaining CPU time: 179.803 s c =============================================================================== c | 5 | 1186 4443 34758 | 5000 5 353 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.201969 s Remaining CPU time: 179.798 s c =============================================================================== c | 6 | 1186 4444 35158 | 5000 6 295 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 7 | 1186 4445 35558 | 5000 7 301 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.212967 s Remaining CPU time: 179.787 s c =============================================================================== c | 9 | 1186 4446 35958 | 5000 9 308 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.218966 s Remaining CPU time: 179.781 s c =============================================================================== c | 9 | 1186 4447 36358 | 5000 9 308 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.224965 s Remaining CPU time: 179.775 s c =============================================================================== c | 9 | 1186 4448 36758 | 5000 9 308 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.230964 s Remaining CPU time: 179.769 s c =============================================================================== c | 10 | 1186 4449 37158 | 5000 10 310 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.235964 s Remaining CPU time: 179.764 s c =============================================================================== c | 11 | 1186 4450 37558 | 5000 11 312 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.241963 s Remaining CPU time: 179.758 s c =============================================================================== c | 11 | 1186 4451 37958 | 5000 11 312 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s c =============================================================================== c | 11 | 1186 4452 38358 | 5000 11 312 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.252961 s Remaining CPU time: 179.747 s c =============================================================================== c | 12 | 1186 4453 38758 | 5000 12 314 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.26096 s Remaining CPU time: 179.739 s c =============================================================================== c | 20 | 1186 4454 39158 | 5000 20 319 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.265959 s Remaining CPU time: 179.734 s c =============================================================================== c | 21 | 1186 4455 39558 | 5000 21 319 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s c =============================================================================== c | 30 | 1186 4456 39958 | 5000 30 321 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.278957 s Remaining CPU time: 179.721 s c =============================================================================== c | 32 | 1186 4457 40358 | 5000 32 321 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.286956 s Remaining CPU time: 179.713 s c =============================================================================== c | 46 | 1186 4458 40758 | 5000 46 322 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.293955 s Remaining CPU time: 179.706 s c =============================================================================== c | 48 | 1186 4459 41158 | 5000 48 322 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.301954 s Remaining CPU time: 179.698 s c =============================================================================== c | 50 | 1186 4460 41558 | 5000 50 322 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.308953 s Remaining CPU time: 179.691 s c =============================================================================== c | 53 | 1186 4461 41958 | 5000 53 321 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.313952 s Remaining CPU time: 179.686 s c =============================================================================== c | 55 | 1186 4462 42358 | 5000 55 321 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.321951 s Remaining CPU time: 179.678 s c =============================================================================== c | 57 | 1186 4463 42758 | 5000 57 321 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.328949 s Remaining CPU time: 179.671 s c =============================================================================== c | 59 | 1186 4464 43158 | 5000 59 321 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.333949 s Remaining CPU time: 179.666 s c =============================================================================== c | 63 | 1186 4465 43558 | 5000 63 321 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.341948 s Remaining CPU time: 179.658 s c =============================================================================== c | 64 | 1186 4466 43958 | 5000 64 321 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.348946 s Remaining CPU time: 179.651 s c =============================================================================== c | 65 | 1186 4467 44358 | 5000 65 320 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.354946 s Remaining CPU time: 179.645 s c =============================================================================== c | 66 | 1186 4468 44758 | 5000 66 320 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.363944 s Remaining CPU time: 179.636 s c =============================================================================== c | 73 | 1186 4469 45158 | 5000 73 319 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.374943 s Remaining CPU time: 179.625 s c =============================================================================== c | 85 | 1186 4470 45558 | 5000 85 318 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.381941 s Remaining CPU time: 179.618 s c =============================================================================== c | 87 | 1186 4471 45958 | 5000 87 318 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.39094 s Remaining CPU time: 179.609 s c =============================================================================== c | 92 | 1186 4472 46358 | 5000 92 317 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.400939 s Remaining CPU time: 179.599 s c =============================================================================== c | 100 | 1186 4473 46758 | 5000 100 317 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.411937 s Remaining CPU time: 179.588 s c =============================================================================== c | 107 | 1186 4474 47158 | 5000 107 316 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.421935 s Remaining CPU time: 179.578 s c =============================================================================== c | 117 | 1186 4475 47558 | 5000 117 313 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.430934 s Remaining CPU time: 179.569 s c =============================================================================== c | 125 | 1186 4476 47958 | 5000 125 312 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.439933 s Remaining CPU time: 179.56 s c =============================================================================== c | 135 | 1186 4477 48358 | 5000 135 311 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.448931 s Remaining CPU time: 179.551 s c =============================================================================== c | 136 | 1186 4478 48758 | 5000 136 311 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.45893 s Remaining CPU time: 179.541 s c =============================================================================== c | 146 | 1186 4479 49158 | 5000 146 311 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.468928 s Remaining CPU time: 179.531 s c =============================================================================== c | 153 | 1186 4480 49558 | 5000 153 310 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.481926 s Remaining CPU time: 179.518 s c =============================================================================== c | 178 | 1186 4481 49958 | 5000 178 309 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.493924 s Remaining CPU time: 179.506 s c =============================================================================== c | 200 | 1186 4482 50358 | 5000 200 308 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.505923 s Remaining CPU time: 179.494 s c =============================================================================== c | 221 | 1186 4483 50758 | 5000 221 307 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.52592 s Remaining CPU time: 179.474 s c =============================================================================== c | 275 | 1186 4484 51158 | 5000 275 305 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.535918 s Remaining CPU time: 179.464 s c =============================================================================== c | 283 | 1186 4485 51558 | 5000 283 305 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.545917 s Remaining CPU time: 179.454 s c =============================================================================== c | 286 | 1186 4486 51958 | 5000 286 305 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.555915 s Remaining CPU time: 179.444 s c =============================================================================== c | 293 | 1186 4487 52358 | 5000 293 304 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.565913 s Remaining CPU time: 179.434 s c =============================================================================== c | 299 | 1186 4488 52758 | 5000 299 304 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.575912 s Remaining CPU time: 179.424 s c =============================================================================== c | 305 | 1186 4489 53158 | 5000 305 304 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.58691 s Remaining CPU time: 179.413 s c =============================================================================== c | 312 | 1186 4490 53558 | 5000 312 304 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.596909 s Remaining CPU time: 179.403 s c =============================================================================== c | 319 | 1186 4491 53958 | 5000 319 303 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 0.611906 s Remaining CPU time: 179.388 s c =============================================================================== c | 349 | 1186 4492 54358 | 5000 349 302 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 0.622905 s Remaining CPU time: 179.377 s c =============================================================================== c | 355 | 1186 4493 54758 | 5000 355 302 | 0.000 % | c | 455 | 1186 4493 54758 | 5500 455 299 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 0.6569 s Remaining CPU time: 179.343 s c =============================================================================== c | 463 | 1186 4494 55158 | 5000 463 298 | 0.000 % | c | 563 | 1186 4494 55158 | 5500 563 296 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 0.699893 s Remaining CPU time: 179.3 s c =============================================================================== c | 605 | 1186 4495 55558 | 5000 605 296 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 0.72089 s Remaining CPU time: 179.279 s c =============================================================================== c | 668 | 1186 4496 55958 | 5000 668 295 | 0.000 % | c | 768 | 1186 4496 55958 | 5500 768 293 | 0.000 % | c | 919 | 1186 4496 55958 | 6050 919 292 | 0.000 % | c | 1144 | 1186 4496 55958 | 6655 1144 290 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 0.912861 s Remaining CPU time: 179.087 s c =============================================================================== c | 1416 | 1186 4497 56358 | 5000 1416 289 | 0.000 % | c | 1517 | 1186 4497 56358 | 5500 1517 289 | 0.000 % | c | 1667 | 1186 4497 56358 | 6050 1667 288 | 0.000 % | c | 1893 | 1186 4497 56358 | 6655 1893 288 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 1.05084 s Remaining CPU time: 178.949 s c =============================================================================== c | 1928 | 1186 4498 56758 | 5000 1928 288 | 0.000 % | c | 2028 | 1186 4498 56758 | 5500 2028 287 | 0.000 % | c | 2179 | 1186 4498 56758 | 6050 2179 287 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 1.13483 s Remaining CPU time: 178.865 s c =============================================================================== c | 2206 | 1186 4499 57158 | 5000 2206 287 | 0.000 % | c | 2306 | 1186 4499 57158 | 5500 2306 287 | 0.000 % | c | 2456 | 1186 4499 57158 | 6050 2456 286 | 0.000 % | c | 2681 | 1186 4499 57158 | 6655 2681 286 | 0.000 % | c | 3019 | 1186 4499 57158 | 7320 3019 286 | 0.000 % | c | 3526 | 1186 4499 57158 | 8052 3526 285 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 1.51677 s Remaining CPU time: 178.483 s c =============================================================================== c | 3629 | 1186 4500 57558 | 5000 3629 285 | 0.000 % | c | 3729 | 1186 4500 57558 | 5500 3729 285 | 0.000 % | c | 3879 | 1186 4500 57558 | 6050 3879 285 | 0.000 % | c | 4104 | 1186 4500 57558 | 6655 4104 284 | 0.000 % | c | 4441 | 1186 4500 57558 | 7320 4441 284 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 1.77273 s Remaining CPU time: 178.227 s c =============================================================================== c | 4605 | 1186 4501 57958 | 5000 4605 284 | 0.000 % | c | 4706 | 1186 4501 57958 | 5500 4706 284 | 0.000 % | c | 4856 | 1186 4501 57958 | 6050 4856 284 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 1.88471 s Remaining CPU time: 178.115 s c =============================================================================== c | 5042 | 1186 4502 58358 | 5000 5042 283 | 0.000 % | c | 5142 | 1186 4502 58358 | 5500 2621 280 | 0.000 % | c | 5292 | 1186 4502 58358 | 6050 2771 280 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 2.01669 s Remaining CPU time: 177.983 s c =============================================================================== c | 5505 | 1186 4503 58758 | 5000 2984 280 | 0.000 % | c | 5605 | 1186 4503 58758 | 5500 3084 280 | 0.000 % | c | 5755 | 1186 4503 58758 | 6050 3234 280 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 2.13267 s Remaining CPU time: 177.867 s c =============================================================================== c | 5907 | 1186 4504 59158 | 5000 3386 280 | 0.000 % | c | 6007 | 1186 4504 59158 | 5500 3486 280 | 0.000 % | c | 6157 | 1186 4504 59158 | 6050 3636 280 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 2.21266 s Remaining CPU time: 177.787 s c =============================================================================== c | 6186 | 1186 4505 59558 | 5000 3665 280 | 0.000 % | c | 6286 | 1186 4505 59558 | 5500 3765 280 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 2.27165 s Remaining CPU time: 177.728 s c =============================================================================== c | 6364 | 1186 4506 59958 | 5000 3843 279 | 0.000 % | c | 6464 | 1186 4506 59958 | 5500 3943 279 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 2.32165 s Remaining CPU time: 177.678 s c =============================================================================== c | 6540 | 1186 4507 60358 | 5000 4019 279 | 0.000 % | c | 6641 | 1186 4507 60358 | 5500 4120 279 | 0.000 % | c | 6791 | 1186 4507 60358 | 6050 4270 279 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 2.42563 s Remaining CPU time: 177.574 s c =============================================================================== c | 6946 | 1186 4508 60758 | 5000 4425 279 | 0.000 % | c | 7046 | 1186 4508 60758 | 5500 4525 279 | 0.000 % | c | 7196 | 1186 4508 60758 | 6050 4675 278 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 2.54361 s Remaining CPU time: 177.456 s c =============================================================================== c | 7374 | 1186 4509 61158 | 5000 4853 278 | 0.000 % | c | 7474 | 1186 4509 61158 | 5500 4953 278 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 2.6116 s Remaining CPU time: 177.388 s c =============================================================================== c | 7611 | 1186 4510 61558 | 5000 5090 278 | 0.000 % | c | 7711 | 1186 4510 61558 | 5500 2645 275 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 2.67159 s Remaining CPU time: 177.328 s c =============================================================================== c | 7755 | 1186 4511 61958 | 5000 2689 275 | 0.000 % | c | 7855 | 1186 4511 61958 | 5500 2789 274 | 0.000 % | c | 8006 | 1186 4511 61958 | 6050 2940 274 | 0.000 % | c | 8232 | 1186 4511 61958 | 6655 3166 274 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 2.85157 s Remaining CPU time: 177.148 s c =============================================================================== c | 8472 | 1186 4512 62358 | 5000 3406 274 | 0.000 % | c | 8572 | 1186 4512 62358 | 5500 3506 273 | 0.000 % | c | 8722 | 1186 4512 62358 | 6050 3656 273 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 2.94155 s Remaining CPU time: 177.058 s c =============================================================================== c | 8744 | 1186 4513 62758 | 5000 3678 273 | 0.000 % | c | 8844 | 1186 4513 62758 | 5500 3778 273 | 0.000 % | c | 8995 | 1186 4513 62758 | 6050 3929 273 | 0.000 % | c | 9220 | 1186 4513 62758 | 6655 4154 273 | 0.000 % | c | 9557 | 1186 4513 62758 | 7320 4491 272 | 0.000 % | c | 10063 | 1186 4513 62758 | 8052 4997 272 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 3.3125 s Remaining CPU time: 176.688 s c =============================================================================== c | 10224 | 1186 4514 63158 | 5000 5158 272 | 0.000 % | c | 10324 | 1186 4514 63158 | 5500 2679 268 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 3.36649 s Remaining CPU time: 176.634 s c =============================================================================== c | 10330 | 1186 4515 63558 | 5000 2685 268 | 0.000 % | c | 10431 | 1186 4515 63558 | 5500 2786 268 | 0.000 % | c | 10581 | 1186 4515 63558 | 6050 2936 268 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 3.48047 s Remaining CPU time: 176.52 s c =============================================================================== c | 10720 | 1186 4516 63958 | 5000 3075 268 | 0.000 % | c | 10820 | 1186 4516 63958 | 5500 3175 268 | 0.000 % | c | 10970 | 1186 4516 63958 | 6050 3325 267 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 3.61545 s Remaining CPU time: 176.385 s c =============================================================================== c | 11179 | 1186 4517 64358 | 5000 3534 267 | 0.000 % | c | 11279 | 1186 4517 64358 | 5500 3634 267 | 0.000 % | c | 11429 | 1186 4517 64358 | 6050 3784 267 | 0.000 % | c | 11655 | 1186 4517 64358 | 6655 4010 267 | 0.000 % | c | 11992 | 1186 4517 64358 | 7320 4347 267 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 3.9404 s Remaining CPU time: 176.06 s c =============================================================================== c | 12427 | 1186 4518 64758 | 5000 4782 266 | 0.000 % | c | 12527 | 1186 4518 64758 | 5500 4882 266 | 0.000 % | c | 12678 | 1186 4518 64758 | 6050 5033 266 | 0.000 % | c | 12903 | 1186 4518 64758 | 6655 5258 266 | 0.000 % | c | 13240 | 1186 4518 64758 | 7320 5595 266 | 0.000 % | c | 13746 | 1186 4518 64758 | 8052 6101 265 | 0.000 % | c | 14506 | 1186 4518 64758 | 8857 6861 265 | 0.000 % | c | 15645 | 1186 4518 64758 | 9743 8000 265 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 4.86026 s Remaining CPU time: 175.14 s c =============================================================================== c | 15933 | 1186 4519 65158 | 5000 8288 265 | 0.000 % | c | 16033 | 1186 4519 65158 | 5500 4244 263 | 0.000 % | c | 16183 | 1186 4519 65158 | 6050 4394 263 | 0.000 % | c | 16408 | 1186 4519 65158 | 6655 4619 263 | 0.000 % | c | 16745 | 1186 4519 65158 | 7320 4956 263 | 0.000 % | c | 17252 | 1186 4519 65158 | 8052 5463 263 | 0.000 % | c | 18011 | 1186 4519 65158 | 8857 6222 263 | 0.000 % | c | 19151 | 1186 4519 65158 | 9743 7362 263 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 5.85311 s Remaining CPU time: 174.147 s c =============================================================================== c | 19306 | 1186 4520 65558 | 5000 7517 263 | 0.000 % | c | 19407 | 1186 4520 65558 | 5500 3860 262 | 0.000 % | c | 19557 | 1186 4520 65558 | 6050 4010 262 | 0.000 % | c | 19782 | 1186 4520 65558 | 6655 4235 262 | 0.000 % | c | 20119 | 1186 4520 65558 | 7320 4572 262 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 6.23705 s Remaining CPU time: 173.763 s c =============================================================================== c | 20415 | 1186 4521 65958 | 5000 4868 262 | 0.000 % | c | 20515 | 1186 4521 65958 | 5500 4968 262 | 0.000 % | c | 20665 | 1186 4521 65958 | 6050 5118 262 | 0.000 % | c | 20890 | 1186 4521 65958 | 6655 5343 262 | 0.000 % | c | 21227 | 1186 4521 65958 | 7320 5680 261 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 6.66499 s Remaining CPU time: 173.335 s c =============================================================================== c | 21696 | 1186 4522 66358 | 5000 6149 261 | 0.000 % | c | 21796 | 1186 4522 66358 | 5500 3175 260 | 0.000 % | c | 21946 | 1186 4522 66358 | 6050 3325 260 | 0.000 % | c | 22171 | 1186 4522 66358 | 6655 3550 260 | 0.000 % | c | 22509 | 1186 4522 66358 | 7320 3888 260 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 7.03693 s Remaining CPU time: 172.963 s c =============================================================================== c | 22898 | 1186 4523 66758 | 5000 4277 260 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 7.04993 s Remaining CPU time: 172.95 s c =============================================================================== c | 22900 | 1186 4524 67158 | 5000 4279 260 | 0.000 % | c | 23000 | 1186 4524 67158 | 5500 4379 260 | 0.000 % | c | 23150 | 1186 4524 67158 | 6050 4529 260 | 0.000 % | c | 23376 | 1186 4524 67158 | 6655 4755 259 | 0.000 % | c | 23714 | 1186 4524 67158 | 7320 5093 259 | 0.000 % | c | 24220 | 1186 4524 67158 | 8052 5599 259 | 0.000 % | c | 24979 | 1186 4524 67158 | 8857 6358 259 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 7.8958 s Remaining CPU time: 172.104 s c =============================================================================== c | 25508 | 1186 4525 67558 | 5000 6887 259 | 0.000 % | c | 25608 | 1186 4525 67558 | 5500 3544 257 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 8.00878 s Remaining CPU time: 171.991 s c =============================================================================== c | 25742 | 1186 4526 67958 | 5000 3678 257 | 0.000 % | c | 25842 | 1186 4526 67958 | 5500 3778 257 | 0.000 % | c | 25993 | 1186 4526 67958 | 6050 3929 257 | 0.000 % | c | 26218 | 1186 4526 67958 | 6655 4154 257 | 0.000 % | c | 26556 | 1186 4526 67958 | 7320 4492 257 | 0.000 % | c | 27062 | 1186 4526 67958 | 8052 4998 257 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 8.63469 s Remaining CPU time: 171.365 s c =============================================================================== c | 27766 | 1186 4527 68358 | 5000 5702 256 | 0.000 % | c | 27866 | 1186 4527 68358 | 5500 2951 255 | 0.000 % | c | 28016 | 1186 4527 68358 | 6050 3101 255 | 0.000 % | c | 28241 | 1186 4527 68358 | 6655 3326 255 | 0.000 % | c | 28578 | 1186 4527 68358 | 7320 3663 255 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 9.03063 s Remaining CPU time: 170.969 s c =============================================================================== c | 28966 | 1186 4528 68758 | 5000 4051 255 | 0.000 % | c | 29066 | 1186 4528 68758 | 5500 4151 255 | 0.000 % | c | 29216 | 1186 4528 68758 | 6050 4301 255 | 0.000 % | c | 29441 | 1186 4528 68758 | 6655 4526 255 | 0.000 % | c | 29778 | 1186 4528 68758 | 7320 4863 255 | 0.000 % | c | 30284 | 1186 4528 68758 | 8052 5369 255 | 0.000 % | c | 31043 | 1186 4528 68758 | 8857 6128 254 | 0.000 % | c | 32184 | 1186 4528 68758 | 9743 7269 254 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 10.2934 s Remaining CPU time: 169.707 s c =============================================================================== c | 33145 | 1186 4529 69158 | 5000 8230 254 | 0.000 % | c | 33245 | 1186 4529 69158 | 5500 4215 253 | 0.000 % | c | 33395 | 1186 4529 69158 | 6050 4365 253 | 0.000 % | c | 33620 | 1186 4529 69158 | 6655 4590 253 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 10.4924 s Remaining CPU time: 169.508 s c =============================================================================== c | 33652 | 1186 4530 69558 | 5000 4622 253 | 0.000 % | c | 33752 | 1186 4530 69558 | 5500 4722 253 | 0.000 % | c | 33902 | 1186 4530 69558 | 6050 4872 253 | 0.000 % | c | 34127 | 1186 4530 69558 | 6655 5097 253 | 0.000 % | c | 34464 | 1186 4530 69558 | 7320 5434 252 | 0.000 % | c | 34970 | 1186 4530 69558 | 8052 5940 252 | 0.000 % | c | 35730 | 1186 4530 69558 | 8857 6700 252 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 11.4923 s Remaining CPU time: 168.508 s c =============================================================================== c | 36801 | 1186 4531 69958 | 5000 7771 252 | 0.000 % | c | 36901 | 1186 4531 69958 | 5500 3986 251 | 0.000 % | c | 37051 | 1186 4531 69958 | 6050 4136 251 | 0.000 % | c | 37276 | 1186 4531 69958 | 6655 4361 251 | 0.000 % | c | 37613 | 1186 4531 69958 | 7320 4698 251 | 0.000 % | c | 38120 | 1186 4531 69958 | 8052 5205 251 | 0.000 % | c | 38879 | 1186 4531 69958 | 8857 5964 250 | 0.000 % | c | 40018 | 1186 4531 69958 | 9743 7103 250 | 0.000 % | c | 41726 | 1186 4531 69958 | 10717 8811 250 | 0.000 % | c | 44288 | 1186 4531 69958 | 11789 5882 250 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 14.6348 s Remaining CPU time: 165.365 s c =============================================================================== c | 47299 | 1186 4532 70358 | 5000 8893 250 | 0.000 % | c | 47400 | 1186 4532 70358 | 5500 4548 250 | 0.000 % | c | 47550 | 1186 4532 70358 | 6050 4698 250 | 0.000 % | c | 47776 | 1186 4532 70358 | 6655 4924 250 | 0.000 % | c | 48113 | 1186 4532 70358 | 7320 5261 250 | 0.000 % | c | 48619 | 1186 4532 70358 | 8052 5767 250 | 0.000 % | c | 49378 | 1186 4532 70358 | 8857 6526 250 | 0.000 % | c | 50519 | 1186 4532 70358 | 9743 7667 249 | 0.000 % | c | 52227 | 1186 4532 70358 | 10717 9375 249 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 16.7934 s Remaining CPU time: 163.207 s c =============================================================================== c | 53493 | 1186 4533 70758 | 5000 10641 249 | 0.000 % | c | 53593 | 1186 4533 70758 | 5500 2761 249 | 0.000 % | c | 53745 | 1186 4533 70758 | 6050 2913 249 | 0.000 % | c | 53970 | 1186 4533 70758 | 6655 3138 249 | 0.000 % | c | 54307 | 1186 4533 70758 | 7320 3475 249 | 0.000 % | c | 54813 | 1186 4533 70758 | 8052 3981 249 | 0.000 % | c | 55573 | 1186 4533 70758 | 8857 4741 248 | 0.000 % | c | 56713 | 1186 4533 70758 | 9743 5881 248 | 0.000 % | c | 58421 | 1186 4533 70758 | 10717 7589 248 | 0.000 % | c | 60983 | 1186 4533 70758 | 11789 10151 248 | 0.000 % | c | 64828 | 1186 4533 70758 | 12968 7946 248 | 0.000 % | c | 70595 | 1186 4533 70758 | 14265 7090 248 | 0.000 % | c | 79244 | 1186 4533 70758 | 15692 8464 248 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 27.1459 s Remaining CPU time: 152.854 s c =============================================================================== c | 83401 | 1186 4534 71158 | 5000 12621 248 | 0.000 % | c | 83501 | 1186 4534 71158 | 5500 3256 248 | 0.000 % | c | 83651 | 1186 4534 71158 | 6050 3406 248 | 0.000 % | c | 83876 | 1186 4534 71158 | 6655 3631 248 | 0.000 % | c | 84213 | 1186 4534 71158 | 7320 3968 248 | 0.000 % | c | 84720 | 1186 4534 71158 | 8052 4475 248 | 0.000 % | c | 85479 | 1186 4534 71158 | 8857 5234 248 | 0.000 % | c | 86618 | 1186 4534 71158 | 9743 6373 248 | 0.000 % | c | 88326 | 1186 4534 71158 | 10717 8081 247 | 0.000 % | c | 90889 | 1186 4534 71158 | 11789 10644 247 | 0.000 % | c | 94733 | 1186 4534 71158 | 12968 8459 247 | 0.000 % | c | 100499 | 1186 4534 71158 | 14265 7600 247 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 34.4678 s Remaining CPU time: 145.532 s c =============================================================================== c | 104423 | 1186 4535 71558 | 5000 11524 247 | 0.000 % | c | 104524 | 1186 4535 71558 | 5500 2982 247 | 0.000 % | c | 104674 | 1186 4535 71558 | 6050 3132 247 | 0.000 % | c | 104900 | 1186 4535 71558 | 6655 3358 247 | 0.000 % | c | 105237 | 1186 4535 71558 | 7320 3695 247 | 0.000 % | c | 105743 | 1186 4535 71558 | 8052 4201 247 | 0.000 % | c | 106502 | 1186 4535 71558 | 8857 4960 246 | 0.000 % | c | 107641 | 1186 4535 71558 | 9743 6099 246 | 0.000 % | c | 109350 | 1186 4535 71558 | 10717 7808 246 | 0.000 % | c | 111912 | 1186 4535 71558 | 11789 10370 246 | 0.000 % | c | 115756 | 1186 4535 71558 | 12968 8184 246 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 40.0709 s Remaining CPU time: 139.929 s c =============================================================================== c | 120140 | 1186 4536 71958 | 5000 12568 246 | 0.000 % | c | 120240 | 1186 4536 71958 | 5500 3242 246 | 0.000 % | c | 120390 | 1186 4536 71958 | 6050 3392 246 | 0.000 % | c | 120615 | 1186 4536 71958 | 6655 3617 246 | 0.000 % | c | 120952 | 1186 4536 71958 | 7320 3954 246 | 0.000 % | c | 121458 | 1186 4536 71958 | 8052 4460 246 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 40.7918 s Remaining CPU time: 139.208 s c =============================================================================== c | 122008 | 1186 4537 72358 | 5000 5010 246 | 0.000 % | c | 122109 | 1186 4537 72358 | 5500 2606 245 | 0.000 % | c | 122259 | 1186 4537 72358 | 6050 2756 245 | 0.000 % | c | 122484 | 1186 4537 72358 | 6655 2981 245 | 0.000 % | c | 122821 | 1186 4537 72358 | 7320 3318 245 | 0.000 % | c | 123327 | 1186 4537 72358 | 8052 3824 245 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 41.4767 s Remaining CPU time: 138.523 s c =============================================================================== c | 123925 | 1186 4538 72758 | 5000 4422 245 | 0.000 % | c | 124025 | 1186 4538 72758 | 5500 4522 245 | 0.000 % | c | 124175 | 1186 4538 72758 | 6050 4672 244 | 0.000 % | c | 124400 | 1186 4538 72758 | 6655 4897 244 | 0.000 % | c | 124737 | 1186 4538 72758 | 7320 5234 244 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 41.8976 s Remaining CPU time: 138.102 s c =============================================================================== c | 125203 | 1186 4539 73158 | 5000 5700 244 | 0.000 % | c | 125304 | 1186 4539 73158 | 5500 2951 243 | 0.000 % | c | 125454 | 1186 4539 73158 | 6050 3101 243 | 0.000 % | c | 125679 | 1186 4539 73158 | 6655 3326 243 | 0.000 % | c | 126016 | 1186 4539 73158 | 7320 3663 243 | 0.000 % | c | 126522 | 1186 4539 73158 | 8052 4169 243 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 42.3546 s Remaining CPU time: 137.645 s c =============================================================================== c | 126531 | 1186 4540 73558 | 5000 4178 243 | 0.000 % | c | 126631 | 1186 4540 73558 | 5500 4278 242 | 0.000 % | c | 126781 | 1186 4540 73558 | 6050 4428 242 | 0.000 % | c | 127007 | 1186 4540 73558 | 6655 4654 242 | 0.000 % | c | 127344 | 1186 4540 73558 | 7320 4991 242 | 0.000 % | c | 127850 | 1186 4540 73558 | 8052 5497 242 | 0.000 % | c | 128609 | 1186 4540 73558 | 8857 6256 242 | 0.000 % | c | 129749 | 1186 4540 73558 | 9743 7396 242 | 0.000 % | c | 131457 | 1186 4540 73558 | 10717 9104 242 | 0.000 % | c | 134019 | 1186 4540 73558 | 11789 6183 241 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 45.802 s Remaining CPU time: 134.198 s c =============================================================================== c | 136284 | 1186 4541 73958 | 5000 8448 241 | 0.000 % | c | 136386 | 1186 4541 73958 | 5500 4326 241 | 0.000 % | c | 136536 | 1186 4541 73958 | 6050 4476 241 | 0.000 % | c | 136761 | 1186 4541 73958 | 6655 4701 241 | 0.000 % | c | 137098 | 1186 4541 73958 | 7320 5038 241 | 0.000 % | c | 137604 | 1186 4541 73958 | 8052 5544 241 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 46.4659 s Remaining CPU time: 133.534 s c =============================================================================== c | 137626 | 1186 4542 74358 | 5000 5566 241 | 0.000 % | c | 137726 | 1186 4542 74358 | 5500 2883 240 | 0.000 % | c | 137876 | 1186 4542 74358 | 6050 3033 240 | 0.000 % | c | 138102 | 1186 4542 74358 | 6655 3259 240 | 0.000 % | c | 138440 | 1186 4542 74358 | 7320 3597 240 | 0.000 % | c | 138947 | 1186 4542 74358 | 8052 4104 240 | 0.000 % | c | 139706 | 1186 4542 74358 | 8857 4863 240 | 0.000 % | c | 140845 | 1186 4542 74358 | 9743 6002 240 | 0.000 % | c | 142554 | 1186 4542 74358 | 10717 7711 239 | 0.000 % | c | 145116 | 1186 4542 74358 | 11789 10273 239 | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 49.9404 s Remaining CPU time: 130.06 s c =============================================================================== c | 146768 | 1186 4543 74758 | 5000 11925 239 | 0.000 % | c | 146868 | 1186 4543 74758 | 5500 3082 238 | 0.000 % | c | 147018 | 1186 4543 74758 | 6050 3232 238 | 0.000 % | c | 147243 | 1186 4543 74758 | 6655 3457 238 | 0.000 % | c | 147580 | 1186 4543 74758 | 7320 3794 238 | 0.000 % | c | 148086 | 1186 4543 74758 | 8052 4300 238 | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 50.5473 s Remaining CPU time: 129.453 s c =============================================================================== c | 148167 | 1186 4544 75158 | 5000 4381 238 | 0.000 % | c | 148267 | 1186 4544 75158 | 5500 4481 238 | 0.000 % | c | 148417 | 1186 4544 75158 | 6050 4631 238 | 0.000 % | c | 148642 | 1186 4544 75158 | 6655 4856 238 | 0.000 % | c | 148980 | 1186 4544 75158 | 7320 5194 238 | 0.000 % | c | 149487 | 1186 4544 75158 | 8052 5701 238 | 0.000 % | c | 150246 | 1186 4544 75158 | 8857 6460 238 | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 51.5402 s Remaining CPU time: 128.46 s c =============================================================================== c | 151332 | 1186 4545 75558 | 5000 7546 238 | 0.000 % | c | 151432 | 1186 4545 75558 | 5500 3873 237 | 0.000 % | c | 151582 | 1186 4545 75558 | 6050 4023 237 | 0.000 % | c | 151807 | 1186 4545 75558 | 6655 4248 237 | 0.000 % | c | 152144 | 1186 4545 75558 | 7320 4585 237 | 0.000 % | c | 152651 | 1186 4545 75558 | 8052 5092 236 | 0.000 % | c | 153410 | 1186 4545 75558 | 8857 5851 236 | 0.000 % | c | 154549 | 1186 4545 75558 | 9743 6990 236 | 0.000 % | c | 156257 | 1186 4545 75558 | 10717 8698 236 | 0.000 % | c | 158819 | 1186 4545 75558 | 11789 5776 236 | 0.000 % | c | 162663 | 1186 4545 75558 | 12968 9620 236 | 0.000 % | c | 168430 | 1186 4545 75558 | 14265 8763 236 | 0.000 % | c | 177079 | 1186 4545 75558 | 15692 10124 236 | 0.000 % | c | 190053 | 1186 4545 75558 | 17261 15115 236 | 0.000 % | c | 209515 | 1186 4545 75558 | 18987 17035 236 | 0.000 % | c | 238707 | 1186 4545 75558 | 20886 17324 236 | 0.000 % | c | 282496 | 1186 4545 75558 | 22974 18629 236 | 0.000 % | c | 348180 | 1186 4545 75558 | 25272 21074 237 | 0.000 % |