c wbo 1.4 beta - 20100610 c | Number of variables: 800 | c | Number of clauses: 4331 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1190 | c | Number Clauses: 4323 | 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 | 1190 4323 9048 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 1190 4324 9446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1190 4325 9844 | 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 | 1190 4326 10242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1190 4327 10640 | 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 | 1190 4328 11038 | 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 | 1190 4329 11436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1190 4330 11834 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1190 4331 12232 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1190 4332 12630 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1190 4333 13028 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1190 4334 13426 | 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 | 1190 4335 13824 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1190 4336 14222 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1190 4337 14620 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1190 4338 15018 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 1190 4339 15416 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 1190 4340 15814 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 1190 4341 16212 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 1190 4342 16610 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 1190 4343 17008 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 1190 4344 17406 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 1190 4345 17804 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 1190 4346 18202 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 1190 4347 18600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 1190 4348 18998 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 1190 4349 19396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 0 | 1190 4350 19794 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 1190 4351 20192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 0 | 1190 4352 20590 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 0 | 1190 4353 20988 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 1 | 1190 4354 21386 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 1 | 1190 4355 21784 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 1 | 1190 4356 22182 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 1 | 1190 4357 22580 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 1 | 1190 4358 22978 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 1 | 1190 4359 23376 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 1 | 1190 4360 23774 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 1 | 1190 4361 24172 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 1 | 1190 4362 24570 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 1 | 1190 4363 24968 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 1 | 1190 4364 25366 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 1 | 1190 4365 25764 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 1 | 1190 4366 26162 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 1 | 1190 4367 26560 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 1 | 1190 4368 26958 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 1 | 1190 4369 27356 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 1 | 1190 4370 27754 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 1 | 1190 4371 28152 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 1 | 1190 4372 28550 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 1 | 1190 4373 28948 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.13098 s Remaining CPU time: 179.869 s c =============================================================================== c | 1 | 1190 4374 29346 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s c =============================================================================== c | 1 | 1190 4375 29744 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 1 | 1190 4376 30142 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 1 | 1190 4377 30540 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s c =============================================================================== c | 1 | 1190 4378 30938 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.149977 s Remaining CPU time: 179.85 s c =============================================================================== c | 1 | 1190 4379 31336 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 1 | 1190 4380 31734 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 1 | 1190 4381 32132 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s c =============================================================================== c | 1 | 1190 4382 32530 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s c =============================================================================== c | 1 | 1190 4383 32928 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.167974 s Remaining CPU time: 179.832 s c =============================================================================== c | 1 | 1190 4384 33326 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.172973 s Remaining CPU time: 179.827 s c =============================================================================== c | 1 | 1190 4385 33724 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 1 | 1190 4386 34122 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.182972 s Remaining CPU time: 179.817 s c =============================================================================== c | 1 | 1190 4387 34520 | 5000 1 369 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.186971 s Remaining CPU time: 179.813 s c =============================================================================== c | 4 | 1190 4388 34918 | 5000 4 344 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.19197 s Remaining CPU time: 179.808 s c =============================================================================== c | 4 | 1190 4389 35316 | 5000 4 344 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.19697 s Remaining CPU time: 179.803 s c =============================================================================== c | 5 | 1190 4390 35714 | 5000 5 342 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.203968 s Remaining CPU time: 179.796 s c =============================================================================== c | 16 | 1190 4391 36112 | 5000 16 315 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 16 | 1190 4392 36510 | 5000 16 315 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.212967 s Remaining CPU time: 179.787 s c =============================================================================== c | 16 | 1190 4393 36908 | 5000 16 315 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s c =============================================================================== c | 16 | 1190 4394 37306 | 5000 16 315 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.222966 s Remaining CPU time: 179.777 s c =============================================================================== c | 16 | 1190 4395 37704 | 5000 16 315 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.227965 s Remaining CPU time: 179.772 s c =============================================================================== c | 16 | 1190 4396 38102 | 5000 16 315 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s c =============================================================================== c | 17 | 1190 4397 38500 | 5000 17 315 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.241963 s Remaining CPU time: 179.758 s c =============================================================================== c | 31 | 1190 4398 38898 | 5000 31 320 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s c =============================================================================== c | 31 | 1190 4399 39296 | 5000 31 320 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.251961 s Remaining CPU time: 179.748 s c =============================================================================== c | 31 | 1190 4400 39694 | 5000 31 320 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.25696 s Remaining CPU time: 179.743 s c =============================================================================== c | 31 | 1190 4401 40092 | 5000 31 320 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.26296 s Remaining CPU time: 179.737 s c =============================================================================== c | 36 | 1190 4402 40490 | 5000 36 320 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.267959 s Remaining CPU time: 179.732 s c =============================================================================== c | 36 | 1190 4403 40888 | 5000 36 320 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s c =============================================================================== c | 36 | 1190 4404 41286 | 5000 36 320 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.277957 s Remaining CPU time: 179.722 s c =============================================================================== c | 36 | 1190 4405 41684 | 5000 36 320 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.285956 s Remaining CPU time: 179.714 s c =============================================================================== c | 46 | 1190 4406 42082 | 5000 46 320 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.291955 s Remaining CPU time: 179.708 s c =============================================================================== c | 46 | 1190 4407 42480 | 5000 46 320 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.297954 s Remaining CPU time: 179.702 s c =============================================================================== c | 46 | 1190 4408 42878 | 5000 46 320 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.302953 s Remaining CPU time: 179.697 s c =============================================================================== c | 46 | 1190 4409 43276 | 5000 46 320 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.309952 s Remaining CPU time: 179.69 s c =============================================================================== c | 48 | 1190 4410 43674 | 5000 48 319 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.316951 s Remaining CPU time: 179.683 s c =============================================================================== c | 48 | 1190 4411 44072 | 5000 48 319 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.32295 s Remaining CPU time: 179.677 s c =============================================================================== c | 48 | 1190 4412 44470 | 5000 48 319 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.330949 s Remaining CPU time: 179.669 s c =============================================================================== c | 54 | 1190 4413 44868 | 5000 54 318 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.337948 s Remaining CPU time: 179.662 s c =============================================================================== c | 62 | 1190 4414 45266 | 5000 62 317 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.344947 s Remaining CPU time: 179.655 s c =============================================================================== c | 62 | 1190 4415 45664 | 5000 62 317 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.350946 s Remaining CPU time: 179.649 s c =============================================================================== c | 66 | 1190 4416 46062 | 5000 66 316 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.358945 s Remaining CPU time: 179.641 s c =============================================================================== c | 66 | 1190 4417 46460 | 5000 66 316 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.364944 s Remaining CPU time: 179.635 s c =============================================================================== c | 66 | 1190 4418 46858 | 5000 66 316 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.372943 s Remaining CPU time: 179.627 s c =============================================================================== c | 71 | 1190 4419 47256 | 5000 71 316 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.379942 s Remaining CPU time: 179.62 s c =============================================================================== c | 71 | 1190 4420 47654 | 5000 71 316 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.387941 s Remaining CPU time: 179.612 s c =============================================================================== c | 77 | 1190 4421 48052 | 5000 77 315 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.394939 s Remaining CPU time: 179.605 s c =============================================================================== c | 77 | 1190 4422 48450 | 5000 77 315 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.402938 s Remaining CPU time: 179.597 s c =============================================================================== c | 77 | 1190 4423 48848 | 5000 77 315 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.409937 s Remaining CPU time: 179.59 s c =============================================================================== c | 78 | 1190 4424 49246 | 5000 78 314 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.417936 s Remaining CPU time: 179.582 s c =============================================================================== c | 79 | 1190 4425 49644 | 5000 79 314 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.424935 s Remaining CPU time: 179.575 s c =============================================================================== c | 79 | 1190 4426 50042 | 5000 79 314 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.432934 s Remaining CPU time: 179.567 s c =============================================================================== c | 85 | 1190 4427 50440 | 5000 85 313 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.440932 s Remaining CPU time: 179.559 s c =============================================================================== c | 85 | 1190 4428 50838 | 5000 85 313 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.449931 s Remaining CPU time: 179.55 s c =============================================================================== c | 92 | 1190 4429 51236 | 5000 92 311 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.45593 s Remaining CPU time: 179.544 s c =============================================================================== c | 96 | 1190 4430 51634 | 5000 96 311 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.463929 s Remaining CPU time: 179.536 s c =============================================================================== c | 103 | 1190 4431 52032 | 5000 103 309 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.470928 s Remaining CPU time: 179.529 s c =============================================================================== c | 103 | 1190 4432 52430 | 5000 103 309 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.478927 s Remaining CPU time: 179.521 s c =============================================================================== c | 108 | 1190 4433 52828 | 5000 108 308 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 0.487925 s Remaining CPU time: 179.512 s c =============================================================================== c | 114 | 1190 4434 53226 | 5000 114 307 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 0.495924 s Remaining CPU time: 179.504 s c =============================================================================== c | 114 | 1190 4435 53624 | 5000 114 307 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 0.505923 s Remaining CPU time: 179.494 s c =============================================================================== c | 132 | 1190 4436 54022 | 5000 132 305 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 0.513921 s Remaining CPU time: 179.486 s c =============================================================================== c | 132 | 1190 4437 54420 | 5000 132 305 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 0.52192 s Remaining CPU time: 179.478 s c =============================================================================== c | 137 | 1190 4438 54818 | 5000 137 304 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 0.530919 s Remaining CPU time: 179.469 s c =============================================================================== c | 137 | 1190 4439 55216 | 5000 137 304 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 0.539917 s Remaining CPU time: 179.46 s c =============================================================================== c | 149 | 1190 4440 55614 | 5000 149 302 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 0.551916 s Remaining CPU time: 179.448 s c =============================================================================== c | 166 | 1190 4441 56012 | 5000 166 300 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 0.563914 s Remaining CPU time: 179.436 s c =============================================================================== c | 185 | 1190 4442 56410 | 5000 185 298 | 0.000 % | c | 285 | 1190 4442 56410 | 5500 285 292 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 0.611906 s Remaining CPU time: 179.388 s c =============================================================================== c | 338 | 1190 4443 56808 | 5000 338 290 | 0.000 % | c | 438 | 1190 4443 56808 | 5500 438 288 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 0.661899 s Remaining CPU time: 179.338 s c =============================================================================== c | 512 | 1190 4444 57206 | 5000 512 287 | 0.000 % | c | 612 | 1190 4444 57206 | 5500 612 285 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 0.711891 s Remaining CPU time: 179.288 s c =============================================================================== c | 684 | 1190 4445 57604 | 5000 684 285 | 0.000 % | c | 784 | 1190 4445 57604 | 5500 784 284 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 0.78288 s Remaining CPU time: 179.217 s c =============================================================================== c | 911 | 1190 4446 58002 | 5000 911 283 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 0.801878 s Remaining CPU time: 179.198 s c =============================================================================== c | 955 | 1190 4447 58400 | 5000 955 282 | 0.000 % | c | 1056 | 1190 4447 58400 | 5500 1056 282 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 0.85087 s Remaining CPU time: 179.149 s c =============================================================================== c | 1106 | 1190 4448 58798 | 5000 1106 282 | 0.000 % | c | 1207 | 1190 4448 58798 | 5500 1207 281 | 0.000 % | c | 1357 | 1190 4448 58798 | 6050 1357 280 | 0.000 % | c | 1583 | 1190 4448 58798 | 6655 1583 280 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 1.04484 s Remaining CPU time: 178.955 s c =============================================================================== c | 1768 | 1190 4449 59196 | 5000 1768 279 | 0.000 % | c | 1870 | 1190 4449 59196 | 5500 1870 279 | 0.000 % | c | 2020 | 1190 4449 59196 | 6050 2020 278 | 0.000 % | c | 2246 | 1190 4449 59196 | 6655 2246 278 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 1.26481 s Remaining CPU time: 178.735 s c =============================================================================== c | 2525 | 1190 4450 59594 | 5000 2525 278 | 0.000 % | c | 2626 | 1190 4450 59594 | 5500 2626 277 | 0.000 % | c | 2776 | 1190 4450 59594 | 6050 2776 277 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 1.40079 s Remaining CPU time: 178.599 s c =============================================================================== c | 2984 | 1190 4451 59992 | 5000 2984 277 | 0.000 % | c | 3085 | 1190 4451 59992 | 5500 3085 276 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 1.47278 s Remaining CPU time: 178.527 s c =============================================================================== c | 3227 | 1190 4452 60390 | 5000 3227 276 | 0.000 % | c | 3327 | 1190 4452 60390 | 5500 3327 276 | 0.000 % | c | 3480 | 1190 4452 60390 | 6050 3480 276 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 1.56276 s Remaining CPU time: 178.437 s c =============================================================================== c | 3502 | 1190 4453 60788 | 5000 3502 276 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 1.57676 s Remaining CPU time: 178.423 s c =============================================================================== c | 3522 | 1190 4454 61186 | 5000 3522 276 | 0.000 % | c | 3622 | 1190 4454 61186 | 5500 3622 276 | 0.000 % | c | 3774 | 1190 4454 61186 | 6050 3774 275 | 0.000 % | c | 4000 | 1190 4454 61186 | 6655 4000 275 | 0.000 % | c | 4337 | 1190 4454 61186 | 7320 4337 274 | 0.000 % | c | 4844 | 1190 4454 61186 | 8052 4844 274 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 1.9857 s Remaining CPU time: 178.014 s c =============================================================================== c | 5066 | 1190 4455 61584 | 5000 5066 274 | 0.000 % | c | 5166 | 1190 4455 61584 | 5500 2633 270 | 0.000 % | c | 5317 | 1190 4455 61584 | 6050 2784 270 | 0.000 % | c | 5542 | 1190 4455 61584 | 6655 3009 270 | 0.000 % | c | 5880 | 1190 4455 61584 | 7320 3347 269 | 0.000 % | c | 6386 | 1190 4455 61584 | 8052 3853 269 | 0.000 % | c | 7145 | 1190 4455 61584 | 8857 4612 269 | 0.000 % | c | 8284 | 1190 4455 61584 | 9743 5751 269 | 0.000 % | c | 9993 | 1190 4455 61584 | 10717 7460 269 | 0.000 % | c | 12555 | 1190 4455 61584 | 11789 10022 269 | 0.000 % | c | 16399 | 1190 4455 61584 | 12968 7823 268 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 5.47117 s Remaining CPU time: 174.529 s c =============================================================================== c | 16698 | 1190 4456 61982 | 5000 8122 268 | 0.000 % | c | 16798 | 1190 4456 61982 | 5500 4161 268 | 0.000 % | c | 16948 | 1190 4456 61982 | 6050 4311 268 | 0.000 % | c | 17173 | 1190 4456 61982 | 6655 4536 268 | 0.000 % | c | 17510 | 1190 4456 61982 | 7320 4873 268 | 0.000 % | c | 18016 | 1190 4456 61982 | 8052 5379 268 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 5.9251 s Remaining CPU time: 174.075 s c =============================================================================== c | 18098 | 1190 4457 62380 | 5000 5461 268 | 0.000 % | c | 18198 | 1190 4457 62380 | 5500 2831 267 | 0.000 % | c | 18348 | 1190 4457 62380 | 6050 2981 267 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 6.08108 s Remaining CPU time: 173.919 s c =============================================================================== c | 18552 | 1190 4458 62778 | 5000 3185 267 | 0.000 % | c | 18652 | 1190 4458 62778 | 5500 3285 267 | 0.000 % | c | 18803 | 1190 4458 62778 | 6050 3436 267 | 0.000 % | c | 19028 | 1190 4458 62778 | 6655 3661 266 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 6.26705 s Remaining CPU time: 173.733 s c =============================================================================== c | 19134 | 1190 4459 63176 | 5000 3767 266 | 0.000 % | c | 19234 | 1190 4459 63176 | 5500 3867 266 | 0.000 % | c | 19384 | 1190 4459 63176 | 6050 4017 266 | 0.000 % | c | 19609 | 1190 4459 63176 | 6655 4242 266 | 0.000 % | c | 19946 | 1190 4459 63176 | 7320 4579 266 | 0.000 % | c | 20452 | 1190 4459 63176 | 8052 5085 266 | 0.000 % | c | 21212 | 1190 4459 63176 | 8857 5845 266 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 6.90495 s Remaining CPU time: 173.095 s c =============================================================================== c | 21409 | 1190 4460 63574 | 5000 6042 266 | 0.000 % | c | 21510 | 1190 4460 63574 | 5500 3122 264 | 0.000 % | c | 21660 | 1190 4460 63574 | 6050 3272 264 | 0.000 % | c | 21885 | 1190 4460 63574 | 6655 3497 264 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 7.09592 s Remaining CPU time: 172.904 s c =============================================================================== c | 21958 | 1190 4461 63972 | 5000 3570 264 | 0.000 % | c | 22058 | 1190 4461 63972 | 5500 3670 264 | 0.000 % | c | 22209 | 1190 4461 63972 | 6050 3821 264 | 0.000 % | c | 22434 | 1190 4461 63972 | 6655 4046 263 | 0.000 % | c | 22772 | 1190 4461 63972 | 7320 4384 263 | 0.000 % | c | 23278 | 1190 4461 63972 | 8052 4890 263 | 0.000 % | c | 24037 | 1190 4461 63972 | 8857 5649 263 | 0.000 % | c | 25176 | 1190 4461 63972 | 9743 6788 263 | 0.000 % | c | 26885 | 1190 4461 63972 | 10717 8497 263 | 0.000 % | c | 29447 | 1190 4461 63972 | 11789 5538 262 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 9.63453 s Remaining CPU time: 170.365 s c =============================================================================== c | 30936 | 1190 4462 64370 | 5000 7027 262 | 0.000 % | c | 31037 | 1190 4462 64370 | 5500 3615 262 | 0.000 % | c | 31187 | 1190 4462 64370 | 6050 3765 262 | 0.000 % | c | 31412 | 1190 4462 64370 | 6655 3990 262 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 9.8565 s Remaining CPU time: 170.143 s c =============================================================================== c | 31489 | 1190 4463 64768 | 5000 4067 262 | 0.000 % | c | 31590 | 1190 4463 64768 | 5500 4168 261 | 0.000 % | c | 31740 | 1190 4463 64768 | 6050 4318 261 | 0.000 % | c | 31965 | 1190 4463 64768 | 6655 4543 261 | 0.000 % | c | 32303 | 1190 4463 64768 | 7320 4881 261 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 10.2144 s Remaining CPU time: 169.786 s c =============================================================================== c | 32656 | 1190 4464 65166 | 5000 5234 261 | 0.000 % | c | 32757 | 1190 4464 65166 | 5500 2718 260 | 0.000 % | c | 32908 | 1190 4464 65166 | 6050 2869 260 | 0.000 % | c | 33133 | 1190 4464 65166 | 6655 3094 260 | 0.000 % | c | 33472 | 1190 4464 65166 | 7320 3433 260 | 0.000 % | c | 33979 | 1190 4464 65166 | 8052 3940 260 | 0.000 % | c | 34738 | 1190 4464 65166 | 8857 4699 259 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 10.9443 s Remaining CPU time: 169.056 s c =============================================================================== c | 35319 | 1190 4465 65564 | 5000 5280 259 | 0.000 % | c | 35419 | 1190 4465 65564 | 5500 2740 258 | 0.000 % | c | 35569 | 1190 4465 65564 | 6050 2890 258 | 0.000 % | c | 35794 | 1190 4465 65564 | 6655 3115 258 | 0.000 % | c | 36131 | 1190 4465 65564 | 7320 3452 258 | 0.000 % | c | 36637 | 1190 4465 65564 | 8052 3958 258 | 0.000 % | c | 37396 | 1190 4465 65564 | 8857 4717 258 | 0.000 % | c | 38535 | 1190 4465 65564 | 9743 5856 258 | 0.000 % | c | 40243 | 1190 4465 65564 | 10717 7564 258 | 0.000 % | c | 42805 | 1190 4465 65564 | 11789 10126 258 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 13.422 s Remaining CPU time: 166.578 s c =============================================================================== c | 43729 | 1190 4466 65962 | 5000 11050 258 | 0.000 % | c | 43829 | 1190 4466 65962 | 5500 2863 258 | 0.000 % | c | 43980 | 1190 4466 65962 | 6050 3014 258 | 0.000 % | c | 44205 | 1190 4466 65962 | 6655 3239 258 | 0.000 % | c | 44542 | 1190 4466 65962 | 7320 3576 258 | 0.000 % | c | 45048 | 1190 4466 65962 | 8052 4082 258 | 0.000 % | c | 45807 | 1190 4466 65962 | 8857 4841 258 | 0.000 % | c | 46946 | 1190 4466 65962 | 9743 5980 258 | 0.000 % | c | 48655 | 1190 4466 65962 | 10717 7689 258 | 0.000 % | c | 51217 | 1190 4466 65962 | 11789 10251 258 | 0.000 % | c | 55061 | 1190 4466 65962 | 12968 8062 257 | 0.000 % | c | 60827 | 1190 4466 65962 | 14265 7200 257 | 0.000 % | c | 69476 | 1190 4466 65962 | 15692 8572 258 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 23.8804 s Remaining CPU time: 156.12 s c =============================================================================== c | 72144 | 1190 4467 66360 | 5000 11240 258 | 0.000 % | c | 72244 | 1190 4467 66360 | 5500 2910 257 | 0.000 % | c | 72394 | 1190 4467 66360 | 6050 3060 257 | 0.000 % | c | 72619 | 1190 4467 66360 | 6655 3285 257 | 0.000 % | c | 72956 | 1190 4467 66360 | 7320 3622 257 | 0.000 % | c | 73462 | 1190 4467 66360 | 8052 4128 257 | 0.000 % | c | 74221 | 1190 4467 66360 | 8857 4887 257 | 0.000 % | c | 75360 | 1190 4467 66360 | 9743 6026 257 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 25.3082 s Remaining CPU time: 154.692 s c =============================================================================== c | 76230 | 1190 4468 66758 | 5000 6896 257 | 0.000 % | c | 76330 | 1190 4468 66758 | 5500 3548 256 | 0.000 % | c | 76480 | 1190 4468 66758 | 6050 3698 256 | 0.000 % | c | 76705 | 1190 4468 66758 | 6655 3923 256 | 0.000 % | c | 77042 | 1190 4468 66758 | 7320 4260 256 | 0.000 % | c | 77548 | 1190 4468 66758 | 8052 4766 256 | 0.000 % | c | 78307 | 1190 4468 66758 | 8857 5525 256 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 26.009 s Remaining CPU time: 153.991 s c =============================================================================== c | 78327 | 1190 4469 67156 | 5000 5545 256 | 0.000 % | c | 78427 | 1190 4469 67156 | 5500 2873 255 | 0.000 % | c | 78578 | 1190 4469 67156 | 6050 3024 255 | 0.000 % | c | 78803 | 1190 4469 67156 | 6655 3249 255 | 0.000 % | c | 79140 | 1190 4469 67156 | 7320 3586 255 | 0.000 % | c | 79646 | 1190 4469 67156 | 8052 4092 255 | 0.000 % | c | 80405 | 1190 4469 67156 | 8857 4851 255 | 0.000 % | c | 81544 | 1190 4469 67156 | 9743 5990 255 | 0.000 % | c | 83252 | 1190 4469 67156 | 10717 7698 255 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 27.8558 s Remaining CPU time: 152.144 s c =============================================================================== c | 83757 | 1190 4470 67554 | 5000 8203 255 | 0.000 % | c | 83858 | 1190 4470 67554 | 5500 4203 254 | 0.000 % | c | 84008 | 1190 4470 67554 | 6050 4353 254 | 0.000 % | c | 84233 | 1190 4470 67554 | 6655 4578 254 | 0.000 % | c | 84570 | 1190 4470 67554 | 7320 4915 254 | 0.000 % | c | 85076 | 1190 4470 67554 | 8052 5421 254 | 0.000 % | c | 85835 | 1190 4470 67554 | 8857 6180 254 | 0.000 % | c | 86974 | 1190 4470 67554 | 9743 7319 254 | 0.000 % | c | 88682 | 1190 4470 67554 | 10717 9027 254 | 0.000 % | c | 91244 | 1190 4470 67554 | 11789 6084 254 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 31.5502 s Remaining CPU time: 148.45 s c =============================================================================== c | 93665 | 1190 4471 67952 | 5000 8505 254 | 0.000 % | c | 93766 | 1190 4471 67952 | 5500 4354 254 | 0.000 % | c | 93916 | 1190 4471 67952 | 6050 4504 254 | 0.000 % | c | 94141 | 1190 4471 67952 | 6655 4729 254 | 0.000 % | c | 94478 | 1190 4471 67952 | 7320 5066 254 | 0.000 % | c | 94984 | 1190 4471 67952 | 8052 5572 254 | 0.000 % | c | 95743 | 1190 4471 67952 | 8857 6331 254 | 0.000 % | c | 96883 | 1190 4471 67952 | 9743 7471 254 | 0.000 % | c | 98591 | 1190 4471 67952 | 10717 9179 254 | 0.000 % | c | 101153 | 1190 4471 67952 | 11789 6249 253 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 34.8877 s Remaining CPU time: 145.112 s c =============================================================================== c | 101860 | 1190 4472 68350 | 5000 6956 253 | 0.000 % | c | 101960 | 1190 4472 68350 | 5500 3578 253 | 0.000 % | c | 102110 | 1190 4472 68350 | 6050 3728 253 | 0.000 % | c | 102337 | 1190 4472 68350 | 6655 3955 253 | 0.000 % | c | 102674 | 1190 4472 68350 | 7320 4292 253 | 0.000 % | c | 103181 | 1190 4472 68350 | 8052 4799 252 | 0.000 % | c | 103941 | 1190 4472 68350 | 8857 5559 252 | 0.000 % | c | 105081 | 1190 4472 68350 | 9743 6699 252 | 0.000 % | c | 106789 | 1190 4472 68350 | 10717 8407 252 | 0.000 % | c | 109354 | 1190 4472 68350 | 11789 10972 252 | 0.000 % | c | 113198 | 1190 4472 68350 | 12968 8790 252 | 0.000 % | c | 118966 | 1190 4472 68350 | 14265 7930 251 | 0.000 % | c | 127615 | 1190 4472 68350 | 15692 9314 252 | 0.000 % | c | 140589 | 1190 4472 68350 | 17261 14264 252 | 0.000 % | c | 160050 | 1190 4472 68350 | 18987 16177 253 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 62.3035 s Remaining CPU time: 117.696 s c =============================================================================== c | 167887 | 1190 4473 68748 | 5000 14388 252 | 0.000 % | c | 167987 | 1190 4473 68748 | 5500 3697 251 | 0.000 % | c | 168137 | 1190 4473 68748 | 6050 3847 251 | 0.000 % | c | 168362 | 1190 4473 68748 | 6655 4072 251 | 0.000 % | c | 168699 | 1190 4473 68748 | 7320 4409 251 | 0.000 % | c | 169205 | 1190 4473 68748 | 8052 4915 252 | 0.000 % | c | 169964 | 1190 4473 68748 | 8857 5674 251 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 63.6543 s Remaining CPU time: 116.346 s c =============================================================================== c | 170760 | 1190 4474 69146 | 5000 6470 252 | 0.000 % | c | 170860 | 1190 4474 69146 | 5500 3335 250 | 0.000 % | c | 171010 | 1190 4474 69146 | 6050 3485 250 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 63.8393 s Remaining CPU time: 116.161 s c =============================================================================== c | 171202 | 1190 4475 69544 | 5000 3677 250 | 0.000 % | c | 171302 | 1190 4475 69544 | 5500 3777 250 | 0.000 % | c | 171452 | 1190 4475 69544 | 6050 3927 250 | 0.000 % | c | 171677 | 1190 4475 69544 | 6655 4152 250 | 0.000 % | c | 172014 | 1190 4475 69544 | 7320 4489 250 | 0.000 % | c | 172520 | 1190 4475 69544 | 8052 4995 250 | 0.000 % | c | 173279 | 1190 4475 69544 | 8857 5754 250 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 64.7282 s Remaining CPU time: 115.272 s c =============================================================================== c | 173797 | 1190 4476 69942 | 5000 6272 250 | 0.000 % | c | 173897 | 1190 4476 69942 | 5500 3236 249 | 0.000 % | c | 174048 | 1190 4476 69942 | 6050 3387 249 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 64.9231 s Remaining CPU time: 115.077 s c =============================================================================== c | 174237 | 1190 4477 70340 | 5000 3576 249 | 0.000 % | c | 174337 | 1190 4477 70340 | 5500 3676 249 | 0.000 % | c | 174487 | 1190 4477 70340 | 6050 3826 249 | 0.000 % | c | 174712 | 1190 4477 70340 | 6655 4051 249 | 0.000 % | c | 175050 | 1190 4477 70340 | 7320 4389 248 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 65.3431 s Remaining CPU time: 114.657 s c =============================================================================== c | 175396 | 1190 4478 70738 | 5000 4735 248 | 0.000 % | c | 175497 | 1190 4478 70738 | 5500 4836 248 | 0.000 % | c | 175647 | 1190 4478 70738 | 6050 4986 248 | 0.000 % | c | 175872 | 1190 4478 70738 | 6655 5211 248 | 0.000 % | c | 176209 | 1190 4478 70738 | 7320 5548 248 | 0.000 % | c | 176715 | 1190 4478 70738 | 8052 6054 248 | 0.000 % | c | 177474 | 1190 4478 70738 | 8857 6813 248 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 66.1249 s Remaining CPU time: 113.875 s c =============================================================================== c | 177512 | 1190 4479 71136 | 5000 6851 248 | 0.000 % | c | 177612 | 1190 4479 71136 | 5500 3526 246 | 0.000 % | c | 177762 | 1190 4479 71136 | 6050 3676 246 | 0.000 % | c | 177987 | 1190 4479 71136 | 6655 3901 246 | 0.000 % | c | 178324 | 1190 4479 71136 | 7320 4238 246 | 0.000 % | c | 178830 | 1190 4479 71136 | 8052 4744 246 | 0.000 % | c | 179589 | 1190 4479 71136 | 8857 5503 246 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 66.9838 s Remaining CPU time: 113.016 s c =============================================================================== c | 179726 | 1190 4480 71534 | 5000 5640 246 | 0.000 % | c | 179826 | 1190 4480 71534 | 5500 2920 244 | 0.000 % | c | 179976 | 1190 4480 71534 | 6050 3070 244 | 0.000 % | c | 180202 | 1190 4480 71534 | 6655 3296 244 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 67.2058 s Remaining CPU time: 112.794 s c =============================================================================== c | 180236 | 1190 4481 71932 | 5000 3330 244 | 0.000 % | c | 180336 | 1190 4481 71932 | 5500 3430 244 | 0.000 % | c | 180486 | 1190 4481 71932 | 6050 3580 244 | 0.000 % | c | 180712 | 1190 4481 71932 | 6655 3806 244 | 0.000 % | c | 181049 | 1190 4481 71932 | 7320 4143 244 | 0.000 % | c | 181555 | 1190 4481 71932 | 8052 4649 244 | 0.000 % | c | 182314 | 1190 4481 71932 | 8857 5408 244 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 67.9767 s Remaining CPU time: 112.023 s c =============================================================================== c | 182459 | 1190 4482 72330 | 5000 5553 244 | 0.000 % | c | 182559 | 1190 4482 72330 | 5500 2877 242 | 0.000 % | c | 182710 | 1190 4482 72330 | 6050 3028 242 | 0.000 % | c | 182935 | 1190 4482 72330 | 6655 3253 242 | 0.000 % | c | 183272 | 1190 4482 72330 | 7320 3590 242 | 0.000 % | c | 183778 | 1190 4482 72330 | 8052 4096 242 | 0.000 % | c | 184537 | 1190 4482 72330 | 8857 4855 242 | 0.000 % | c | 185676 | 1190 4482 72330 | 9743 5994 242 | 0.000 % | c | 187384 | 1190 4482 72330 | 10717 7702 242 | 0.000 % | c | 189946 | 1190 4482 72330 | 11789 10264 242 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 70.7652 s Remaining CPU time: 109.235 s c =============================================================================== c | 190549 | 1190 4483 72728 | 5000 10867 242 | 0.000 % | c | 190649 | 1190 4483 72728 | 5500 2817 241 | 0.000 % | c | 190799 | 1190 4483 72728 | 6050 2967 241 | 0.000 % | c | 191024 | 1190 4483 72728 | 6655 3192 241 | 0.000 % | c | 191362 | 1190 4483 72728 | 7320 3530 241 | 0.000 % | c | 191868 | 1190 4483 72728 | 8052 4036 241 | 0.000 % | c | 192627 | 1190 4483 72728 | 8857 4795 241 | 0.000 % | c | 193766 | 1190 4483 72728 | 9743 5934 241 | 0.000 % | c | 195474 | 1190 4483 72728 | 10717 7642 241 | 0.000 % | c | 198037 | 1190 4483 72728 | 11789 10205 241 | 0.000 % | c | 201882 | 1190 4483 72728 | 12968 8016 240 | 0.000 % | c | 207648 | 1190 4483 72728 | 14265 7172 240 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 79.5179 s Remaining CPU time: 100.482 s c =============================================================================== c | 215616 | 1190 4484 73126 | 5000 7879 240 | 0.000 % | c | 215717 | 1190 4484 73126 | 5500 4041 240 | 0.000 % | c | 215868 | 1190 4484 73126 | 6050 4192 240 | 0.000 % | c | 216093 | 1190 4484 73126 | 6655 4417 240 | 0.000 % | c | 216430 | 1190 4484 73126 | 7320 4754 240 | 0.000 % | c | 216936 | 1190 4484 73126 | 8052 5260 240 | 0.000 % | c | 217697 | 1190 4484 73126 | 8857 6021 240 | 0.000 % | c | 218836 | 1190 4484 73126 | 9743 7160 240 | 0.000 % | c | 220544 | 1190 4484 73126 | 10717 8868 240 | 0.000 % | c | 223106 | 1190 4484 73126 | 11789 5947 239 | 0.000 % | c | 226950 | 1190 4484 73126 | 12968 9791 239 | 0.000 % | c | 232716 | 1190 4484 73126 | 14265 8922 239 | 0.000 % | c | 241366 | 1190 4484 73126 | 15692 10284 239 | 0.000 % | c | 254340 | 1190 4484 73126 | 17261 15270 239 | 0.000 % | c | 273802 | 1190 4484 73126 | 18987 17187 240 | 0.000 % | c | 302994 | 1190 4484 73126 | 20886 17476 240 | 0.000 % | c | 346785 | 1190 4484 73126 | 22974 18704 240 | 0.000 % |