c wbo 1.4 beta - 20100610 c | Number of variables: 800 | c | Number of clauses: 4243 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1181 | c | Number Clauses: 4222 | 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 | 1181 4222 8842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 0 | 1181 4223 9244 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 1181 4224 9646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1181 4225 10048 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1181 4226 10450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1181 4227 10852 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1181 4228 11254 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1181 4229 11656 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1181 4230 12058 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1181 4231 12460 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1181 4232 12862 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1181 4233 13264 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1181 4234 13666 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1181 4235 14068 | 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 | 1181 4236 14470 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1181 4237 14872 | 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 | 1181 4238 15274 | 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 | 1181 4239 15676 | 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 | 1181 4240 16078 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 1181 4241 16480 | 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 | 1181 4242 16882 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 1181 4243 17284 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 1181 4244 17686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 1181 4245 18088 | 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 | 1181 4246 18490 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 1181 4247 18892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 1181 4248 19294 | 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 | 1181 4249 19696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 1181 4250 20098 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 1181 4251 20500 | 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 | 1181 4252 20902 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 1181 4253 21304 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 0 | 1181 4254 21706 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 1181 4255 22108 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 0 | 1181 4256 22510 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 0 | 1181 4257 22912 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 0 | 1181 4258 23314 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 0 | 1181 4259 23716 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 0 | 1181 4260 24118 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 0 | 1181 4261 24520 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 1 | 1181 4262 24922 | 5000 1 365 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 1 | 1181 4263 25324 | 5000 1 365 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 1 | 1181 4264 25726 | 5000 1 365 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 1 | 1181 4265 26128 | 5000 1 365 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 1 | 1181 4266 26530 | 5000 1 365 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 1 | 1181 4267 26932 | 5000 1 365 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 2 | 1181 4268 27334 | 5000 2 361 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 2 | 1181 4269 27736 | 5000 2 361 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 2 | 1181 4270 28138 | 5000 2 361 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 2 | 1181 4271 28540 | 5000 2 361 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 2 | 1181 4272 28942 | 5000 2 361 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 2 | 1181 4273 29344 | 5000 2 361 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.123981 s Remaining CPU time: 179.876 s c =============================================================================== c | 2 | 1181 4274 29746 | 5000 2 361 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 2 | 1181 4275 30148 | 5000 2 361 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 2 | 1181 4276 30550 | 5000 2 361 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 2 | 1181 4277 30952 | 5000 2 361 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 2 | 1181 4278 31354 | 5000 2 361 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 2 | 1181 4279 31756 | 5000 2 361 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 2 | 1181 4280 32158 | 5000 2 361 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 3 | 1181 4281 32560 | 5000 3 356 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.153976 s Remaining CPU time: 179.846 s c =============================================================================== c | 3 | 1181 4282 32962 | 5000 3 356 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 3 | 1181 4283 33364 | 5000 3 356 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 3 | 1181 4284 33766 | 5000 3 356 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 3 | 1181 4285 34168 | 5000 3 356 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s c =============================================================================== c | 3 | 1181 4286 34570 | 5000 3 356 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 3 | 1181 4287 34972 | 5000 3 356 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 3 | 1181 4288 35374 | 5000 3 356 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 3 | 1181 4289 35776 | 5000 3 356 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.186971 s Remaining CPU time: 179.813 s c =============================================================================== c | 3 | 1181 4290 36178 | 5000 3 356 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 9 | 1181 4291 36580 | 5000 9 342 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s c =============================================================================== c | 9 | 1181 4292 36982 | 5000 9 342 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.203968 s Remaining CPU time: 179.796 s c =============================================================================== c | 9 | 1181 4293 37384 | 5000 9 342 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s c =============================================================================== c | 10 | 1181 4294 37786 | 5000 10 341 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.214967 s Remaining CPU time: 179.785 s c =============================================================================== c | 11 | 1181 4295 38188 | 5000 11 340 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.219966 s Remaining CPU time: 179.78 s c =============================================================================== c | 12 | 1181 4296 38590 | 5000 12 339 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.224965 s Remaining CPU time: 179.775 s c =============================================================================== c | 13 | 1181 4297 38992 | 5000 13 338 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.230964 s Remaining CPU time: 179.769 s c =============================================================================== c | 14 | 1181 4298 39394 | 5000 14 337 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.236963 s Remaining CPU time: 179.763 s c =============================================================================== c | 15 | 1181 4299 39796 | 5000 15 337 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.242963 s Remaining CPU time: 179.757 s c =============================================================================== c | 16 | 1181 4300 40198 | 5000 16 336 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.247962 s Remaining CPU time: 179.752 s c =============================================================================== c | 17 | 1181 4301 40600 | 5000 17 335 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.254961 s Remaining CPU time: 179.745 s c =============================================================================== c | 18 | 1181 4302 41002 | 5000 18 335 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.25996 s Remaining CPU time: 179.74 s c =============================================================================== c | 18 | 1181 4303 41404 | 5000 18 335 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.266959 s Remaining CPU time: 179.733 s c =============================================================================== c | 19 | 1181 4304 41806 | 5000 19 334 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s c =============================================================================== c | 24 | 1181 4305 42208 | 5000 24 331 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.281957 s Remaining CPU time: 179.718 s c =============================================================================== c | 30 | 1181 4306 42610 | 5000 30 329 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s c =============================================================================== c | 61 | 1181 4307 43012 | 5000 61 323 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s c =============================================================================== c | 69 | 1181 4308 43414 | 5000 69 323 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.307953 s Remaining CPU time: 179.692 s c =============================================================================== c | 78 | 1181 4309 43816 | 5000 78 322 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.316951 s Remaining CPU time: 179.683 s c =============================================================================== c | 92 | 1181 4310 44218 | 5000 92 321 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.32495 s Remaining CPU time: 179.675 s c =============================================================================== c | 100 | 1181 4311 44620 | 5000 100 321 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.333949 s Remaining CPU time: 179.666 s c =============================================================================== c | 109 | 1181 4312 45022 | 5000 109 320 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.345947 s Remaining CPU time: 179.654 s c =============================================================================== c | 136 | 1181 4313 45424 | 5000 136 319 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.354946 s Remaining CPU time: 179.645 s c =============================================================================== c | 152 | 1181 4314 45826 | 5000 152 318 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.369943 s Remaining CPU time: 179.63 s c =============================================================================== c | 197 | 1181 4315 46228 | 5000 197 316 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.377942 s Remaining CPU time: 179.622 s c =============================================================================== c | 203 | 1181 4316 46630 | 5000 203 316 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.386941 s Remaining CPU time: 179.613 s c =============================================================================== c | 216 | 1181 4317 47032 | 5000 216 316 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.39394 s Remaining CPU time: 179.606 s c =============================================================================== c | 229 | 1181 4318 47434 | 5000 229 315 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.404938 s Remaining CPU time: 179.595 s c =============================================================================== c | 246 | 1181 4319 47836 | 5000 246 315 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.416936 s Remaining CPU time: 179.583 s c =============================================================================== c | 279 | 1181 4320 48238 | 5000 279 314 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.426935 s Remaining CPU time: 179.573 s c =============================================================================== c | 287 | 1181 4321 48640 | 5000 287 313 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.437933 s Remaining CPU time: 179.562 s c =============================================================================== c | 306 | 1181 4322 49042 | 5000 306 313 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.460929 s Remaining CPU time: 179.539 s c =============================================================================== c | 396 | 1181 4323 49444 | 5000 396 311 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.483926 s Remaining CPU time: 179.516 s c =============================================================================== c | 482 | 1181 4324 49846 | 5000 482 309 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.495924 s Remaining CPU time: 179.504 s c =============================================================================== c | 509 | 1181 4325 50248 | 5000 509 309 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.513921 s Remaining CPU time: 179.486 s c =============================================================================== c | 571 | 1181 4326 50650 | 5000 571 308 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.535918 s Remaining CPU time: 179.464 s c =============================================================================== c | 658 | 1181 4327 51052 | 5000 658 306 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.546916 s Remaining CPU time: 179.453 s c =============================================================================== c | 669 | 1181 4328 51454 | 5000 669 306 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.561914 s Remaining CPU time: 179.438 s c =============================================================================== c | 700 | 1181 4329 51856 | 5000 700 306 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.575912 s Remaining CPU time: 179.424 s c =============================================================================== c | 727 | 1181 4330 52258 | 5000 727 306 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.58691 s Remaining CPU time: 179.413 s c =============================================================================== c | 738 | 1181 4331 52660 | 5000 738 305 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.600908 s Remaining CPU time: 179.399 s c =============================================================================== c | 765 | 1181 4332 53062 | 5000 765 305 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.614906 s Remaining CPU time: 179.385 s c =============================================================================== c | 791 | 1181 4333 53464 | 5000 791 305 | 0.000 % | c | 891 | 1181 4333 53464 | 5500 891 303 | 0.000 % | c | 1042 | 1181 4333 53464 | 6050 1042 302 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.685895 s Remaining CPU time: 179.314 s c =============================================================================== c | 1065 | 1181 4334 53866 | 5000 1065 301 | 0.000 % | c | 1165 | 1181 4334 53866 | 5500 1165 301 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.730888 s Remaining CPU time: 179.269 s c =============================================================================== c | 1247 | 1181 4335 54268 | 5000 1247 300 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.747886 s Remaining CPU time: 179.252 s c =============================================================================== c | 1297 | 1181 4336 54670 | 5000 1297 300 | 0.000 % | c | 1397 | 1181 4336 54670 | 5500 1397 299 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 0.797878 s Remaining CPU time: 179.202 s c =============================================================================== c | 1458 | 1181 4337 55072 | 5000 1458 298 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 0.822874 s Remaining CPU time: 179.177 s c =============================================================================== c | 1532 | 1181 4338 55474 | 5000 1532 298 | 0.000 % | c | 1632 | 1181 4338 55474 | 5500 1632 297 | 0.000 % | c | 1782 | 1181 4338 55474 | 6050 1782 296 | 0.000 % | c | 2007 | 1181 4338 55474 | 6655 2007 295 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 0.964853 s Remaining CPU time: 179.035 s c =============================================================================== c | 2089 | 1181 4339 55876 | 5000 2089 295 | 0.000 % | c | 2189 | 1181 4339 55876 | 5500 2189 295 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 1.02184 s Remaining CPU time: 178.978 s c =============================================================================== c | 2275 | 1181 4340 56278 | 5000 2275 294 | 0.000 % | c | 2376 | 1181 4340 56278 | 5500 2376 294 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 1.07184 s Remaining CPU time: 178.928 s c =============================================================================== c | 2404 | 1181 4341 56680 | 5000 2404 294 | 0.000 % | c | 2504 | 1181 4341 56680 | 5500 2504 293 | 0.000 % | c | 2654 | 1181 4341 56680 | 6050 2654 293 | 0.000 % | c | 2879 | 1181 4341 56680 | 6655 2879 292 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 1.23081 s Remaining CPU time: 178.769 s c =============================================================================== c | 2901 | 1181 4342 57082 | 5000 2901 292 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 1.25781 s Remaining CPU time: 178.742 s c =============================================================================== c | 2959 | 1181 4343 57484 | 5000 2959 292 | 0.000 % | c | 3059 | 1181 4343 57484 | 5500 3059 292 | 0.000 % | c | 3209 | 1181 4343 57484 | 6050 3209 291 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 1.37279 s Remaining CPU time: 178.627 s c =============================================================================== c | 3320 | 1181 4344 57886 | 5000 3320 291 | 0.000 % | c | 3420 | 1181 4344 57886 | 5500 3420 291 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 1.43778 s Remaining CPU time: 178.562 s c =============================================================================== c | 3533 | 1181 4345 58288 | 5000 3533 290 | 0.000 % | c | 3633 | 1181 4345 58288 | 5500 3633 290 | 0.000 % | c | 3783 | 1181 4345 58288 | 6050 3783 290 | 0.000 % | c | 4008 | 1181 4345 58288 | 6655 4008 289 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 1.65775 s Remaining CPU time: 178.342 s c =============================================================================== c | 4323 | 1181 4346 58690 | 5000 4323 288 | 0.000 % | c | 4423 | 1181 4346 58690 | 5500 4423 288 | 0.000 % | c | 4573 | 1181 4346 58690 | 6050 4573 288 | 0.000 % | c | 4798 | 1181 4346 58690 | 6655 4798 288 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 1.85772 s Remaining CPU time: 178.142 s c =============================================================================== c | 4975 | 1181 4347 59092 | 5000 4975 287 | 0.000 % | c | 5075 | 1181 4347 59092 | 5500 5075 287 | 0.000 % | c | 5225 | 1181 4347 59092 | 6050 5225 287 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 1.9987 s Remaining CPU time: 178.001 s c =============================================================================== c | 5403 | 1181 4348 59494 | 5000 5403 287 | 0.000 % | c | 5504 | 1181 4348 59494 | 5500 2803 280 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 2.05569 s Remaining CPU time: 177.944 s c =============================================================================== c | 5531 | 1181 4349 59896 | 5000 2830 280 | 0.000 % | c | 5632 | 1181 4349 59896 | 5500 2931 280 | 0.000 % | c | 5782 | 1181 4349 59896 | 6050 3081 280 | 0.000 % | c | 6007 | 1181 4349 59896 | 6655 3306 280 | 0.000 % | c | 6344 | 1181 4349 59896 | 7320 3643 279 | 0.000 % | c | 6850 | 1181 4349 59896 | 8052 4149 279 | 0.000 % | c | 7610 | 1181 4349 59896 | 8857 4909 279 | 0.000 % | c | 8749 | 1181 4349 59896 | 9743 6048 278 | 0.000 % | c | 10457 | 1181 4349 59896 | 10717 7756 278 | 0.000 % | c | 13019 | 1181 4349 59896 | 11789 10318 278 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 4.76427 s Remaining CPU time: 175.236 s c =============================================================================== c | 14884 | 1181 4350 60298 | 5000 6136 276 | 0.000 % | c | 14985 | 1181 4350 60298 | 5500 3169 276 | 0.000 % | c | 15135 | 1181 4350 60298 | 6050 3319 276 | 0.000 % | c | 15361 | 1181 4350 60298 | 6655 3545 276 | 0.000 % | c | 15699 | 1181 4350 60298 | 7320 3883 276 | 0.000 % | c | 16205 | 1181 4350 60298 | 8052 4389 276 | 0.000 % | c | 16964 | 1181 4350 60298 | 8857 5148 276 | 0.000 % | c | 18103 | 1181 4350 60298 | 9743 6287 276 | 0.000 % | c | 19812 | 1181 4350 60298 | 10717 7996 276 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 6.30804 s Remaining CPU time: 173.692 s c =============================================================================== c | 20248 | 1181 4351 60700 | 5000 8432 276 | 0.000 % | c | 20349 | 1181 4351 60700 | 5500 4317 275 | 0.000 % | c | 20500 | 1181 4351 60700 | 6050 4468 275 | 0.000 % | c | 20725 | 1181 4351 60700 | 6655 4693 275 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 6.577 s Remaining CPU time: 173.423 s c =============================================================================== c | 21013 | 1181 4352 61102 | 5000 4981 275 | 0.000 % | c | 21113 | 1181 4352 61102 | 5500 5081 275 | 0.000 % | c | 21263 | 1181 4352 61102 | 6050 5231 275 | 0.000 % | c | 21488 | 1181 4352 61102 | 6655 5456 275 | 0.000 % | c | 21825 | 1181 4352 61102 | 7320 5793 275 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 6.90395 s Remaining CPU time: 173.096 s c =============================================================================== c | 22076 | 1181 4353 61504 | 5000 6044 275 | 0.000 % | c | 22176 | 1181 4353 61504 | 5500 3122 274 | 0.000 % | c | 22326 | 1181 4353 61504 | 6050 3272 274 | 0.000 % | c | 22551 | 1181 4353 61504 | 6655 3497 274 | 0.000 % | c | 22889 | 1181 4353 61504 | 7320 3835 274 | 0.000 % | c | 23396 | 1181 4353 61504 | 8052 4342 274 | 0.000 % | c | 24156 | 1181 4353 61504 | 8857 5102 273 | 0.000 % | c | 25295 | 1181 4353 61504 | 9743 6241 273 | 0.000 % | c | 27003 | 1181 4353 61504 | 10717 7949 273 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 9.06662 s Remaining CPU time: 170.933 s c =============================================================================== c | 29492 | 1181 4354 61906 | 5000 10438 273 | 0.000 % | c | 29592 | 1181 4354 61906 | 5500 2710 272 | 0.000 % | c | 29743 | 1181 4354 61906 | 6050 2861 272 | 0.000 % | c | 29968 | 1181 4354 61906 | 6655 3086 272 | 0.000 % | c | 30305 | 1181 4354 61906 | 7320 3423 272 | 0.000 % | c | 30811 | 1181 4354 61906 | 8052 3929 272 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 9.68353 s Remaining CPU time: 170.316 s c =============================================================================== c | 31503 | 1181 4355 62308 | 5000 4621 272 | 0.000 % | c | 31603 | 1181 4355 62308 | 5500 4721 272 | 0.000 % | c | 31754 | 1181 4355 62308 | 6050 4872 272 | 0.000 % | c | 31980 | 1181 4355 62308 | 6655 5098 272 | 0.000 % | c | 32318 | 1181 4355 62308 | 7320 5436 272 | 0.000 % | c | 32824 | 1181 4355 62308 | 8052 5942 272 | 0.000 % | c | 33583 | 1181 4355 62308 | 8857 6701 271 | 0.000 % | c | 34722 | 1181 4355 62308 | 9743 7840 271 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 10.7134 s Remaining CPU time: 169.287 s c =============================================================================== c | 34761 | 1181 4356 62710 | 5000 7879 271 | 0.000 % | c | 34861 | 1181 4356 62710 | 5500 4040 270 | 0.000 % | c | 35012 | 1181 4356 62710 | 6050 4191 270 | 0.000 % | c | 35237 | 1181 4356 62710 | 6655 4416 270 | 0.000 % | c | 35574 | 1181 4356 62710 | 7320 4753 270 | 0.000 % | c | 36080 | 1181 4356 62710 | 8052 5259 270 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 11.1773 s Remaining CPU time: 168.823 s c =============================================================================== c | 36181 | 1181 4357 63112 | 5000 5360 270 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 11.2393 s Remaining CPU time: 168.761 s c =============================================================================== c | 36255 | 1181 4358 63514 | 5000 2754 270 | 0.000 % | c | 36355 | 1181 4358 63514 | 5500 2854 270 | 0.000 % | c | 36505 | 1181 4358 63514 | 6050 3004 269 | 0.000 % | c | 36730 | 1181 4358 63514 | 6655 3229 269 | 0.000 % | c | 37067 | 1181 4358 63514 | 7320 3566 269 | 0.000 % | c | 37573 | 1181 4358 63514 | 8052 4072 269 | 0.000 % | c | 38332 | 1181 4358 63514 | 8857 4831 269 | 0.000 % | c | 39471 | 1181 4358 63514 | 9743 5970 268 | 0.000 % | c | 41179 | 1181 4358 63514 | 10717 7678 268 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 12.7111 s Remaining CPU time: 167.289 s c =============================================================================== c | 41543 | 1181 4359 63916 | 5000 8042 268 | 0.000 % | c | 41643 | 1181 4359 63916 | 5500 4121 267 | 0.000 % | c | 41794 | 1181 4359 63916 | 6050 4272 267 | 0.000 % | c | 42019 | 1181 4359 63916 | 6655 4497 267 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 12.92 s Remaining CPU time: 167.08 s c =============================================================================== c | 42151 | 1181 4360 64318 | 5000 4629 267 | 0.000 % | c | 42251 | 1181 4360 64318 | 5500 4729 267 | 0.000 % | c | 42401 | 1181 4360 64318 | 6050 4879 267 | 0.000 % | c | 42627 | 1181 4360 64318 | 6655 5105 267 | 0.000 % | c | 42965 | 1181 4360 64318 | 7320 5443 267 | 0.000 % | c | 43472 | 1181 4360 64318 | 8052 5950 267 | 0.000 % | c | 44232 | 1181 4360 64318 | 8857 6710 267 | 0.000 % | c | 45371 | 1181 4360 64318 | 9743 7849 267 | 0.000 % | c | 47079 | 1181 4360 64318 | 10717 9557 266 | 0.000 % | c | 49641 | 1181 4360 64318 | 11789 6603 265 | 0.000 % | c | 53486 | 1181 4360 64318 | 12968 10448 266 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 17.6303 s Remaining CPU time: 162.37 s c =============================================================================== c | 58752 | 1181 4361 64720 | 5000 9076 266 | 0.000 % | c | 58852 | 1181 4361 64720 | 5500 4638 266 | 0.000 % | c | 59002 | 1181 4361 64720 | 6050 4788 265 | 0.000 % | c | 59227 | 1181 4361 64720 | 6655 5013 265 | 0.000 % | c | 59564 | 1181 4361 64720 | 7320 5350 265 | 0.000 % | c | 60070 | 1181 4361 64720 | 8052 5856 265 | 0.000 % | c | 60830 | 1181 4361 64720 | 8857 6616 265 | 0.000 % | c | 61969 | 1181 4361 64720 | 9743 7755 265 | 0.000 % | c | 63677 | 1181 4361 64720 | 10717 9463 265 | 0.000 % | c | 66239 | 1181 4361 64720 | 11789 6501 265 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 20.4929 s Remaining CPU time: 159.507 s c =============================================================================== c | 67083 | 1181 4362 65122 | 5000 7345 265 | 0.000 % | c | 67183 | 1181 4362 65122 | 5500 3773 265 | 0.000 % | c | 67333 | 1181 4362 65122 | 6050 3923 265 | 0.000 % | c | 67559 | 1181 4362 65122 | 6655 4149 265 | 0.000 % | c | 67896 | 1181 4362 65122 | 7320 4486 264 | 0.000 % | c | 68402 | 1181 4362 65122 | 8052 4992 264 | 0.000 % | c | 69162 | 1181 4362 65122 | 8857 5752 264 | 0.000 % | c | 70301 | 1181 4362 65122 | 9743 6891 264 | 0.000 % | c | 72009 | 1181 4362 65122 | 10717 8599 264 | 0.000 % | c | 74571 | 1181 4362 65122 | 11789 5644 263 | 0.000 % | c | 78415 | 1181 4362 65122 | 12968 9488 264 | 0.000 % | c | 84182 | 1181 4362 65122 | 14265 8607 264 | 0.000 % | c | 92832 | 1181 4362 65122 | 15692 9961 264 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 34.5447 s Remaining CPU time: 145.455 s c =============================================================================== c | 102210 | 1181 4363 65524 | 5000 11322 264 | 0.000 % | c | 102310 | 1181 4363 65524 | 5500 2931 264 | 0.000 % | c | 102461 | 1181 4363 65524 | 6050 3082 264 | 0.000 % | c | 102687 | 1181 4363 65524 | 6655 3308 264 | 0.000 % | c | 103025 | 1181 4363 65524 | 7320 3646 264 | 0.000 % | c | 103531 | 1181 4363 65524 | 8052 4152 264 | 0.000 % | c | 104290 | 1181 4363 65524 | 8857 4911 263 | 0.000 % | c | 105429 | 1181 4363 65524 | 9743 6050 263 | 0.000 % | c | 107137 | 1181 4363 65524 | 10717 7758 263 | 0.000 % | c | 109700 | 1181 4363 65524 | 11789 10321 263 | 0.000 % | c | 113544 | 1181 4363 65524 | 12968 8132 262 | 0.000 % | c | 119310 | 1181 4363 65524 | 14265 7261 263 | 0.000 % | c | 127960 | 1181 4363 65524 | 15692 8636 263 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 48.6216 s Remaining CPU time: 131.378 s c =============================================================================== c | 136707 | 1181 4364 65926 | 5000 9385 263 | 0.000 % | c | 136808 | 1181 4364 65926 | 5500 4794 263 | 0.000 % | c | 136958 | 1181 4364 65926 | 6050 4944 263 | 0.000 % | c | 137183 | 1181 4364 65926 | 6655 5169 263 | 0.000 % | c | 137520 | 1181 4364 65926 | 7320 5506 263 | 0.000 % | c | 138027 | 1181 4364 65926 | 8052 6013 263 | 0.000 % | c | 138786 | 1181 4364 65926 | 8857 6772 262 | 0.000 % | c | 139926 | 1181 4364 65926 | 9743 7912 262 | 0.000 % | c | 141634 | 1181 4364 65926 | 10717 9620 262 | 0.000 % | c | 144197 | 1181 4364 65926 | 11789 6674 261 | 0.000 % | c | 148041 | 1181 4364 65926 | 12968 10518 262 | 0.000 % | c | 153808 | 1181 4364 65926 | 14265 9654 262 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 55.3116 s Remaining CPU time: 124.688 s c =============================================================================== c | 154999 | 1181 4365 66328 | 5000 10845 262 | 0.000 % | c | 155099 | 1181 4365 66328 | 5500 2812 262 | 0.000 % | c | 155249 | 1181 4365 66328 | 6050 2962 262 | 0.000 % | c | 155474 | 1181 4365 66328 | 6655 3187 262 | 0.000 % | c | 155811 | 1181 4365 66328 | 7320 3524 261 | 0.000 % | c | 156318 | 1181 4365 66328 | 8052 4031 261 | 0.000 % | c | 157078 | 1181 4365 66328 | 8857 4791 261 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 56.4414 s Remaining CPU time: 123.559 s c =============================================================================== c | 158110 | 1181 4366 66730 | 5000 5823 261 | 0.000 % | c | 158210 | 1181 4366 66730 | 5500 3012 260 | 0.000 % | c | 158361 | 1181 4366 66730 | 6050 3163 260 | 0.000 % | c | 158586 | 1181 4366 66730 | 6655 3388 260 | 0.000 % | c | 158923 | 1181 4366 66730 | 7320 3725 260 | 0.000 % | c | 159429 | 1181 4366 66730 | 8052 4231 260 | 0.000 % | c | 160188 | 1181 4366 66730 | 8857 4990 260 | 0.000 % | c | 161327 | 1181 4366 66730 | 9743 6129 260 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 57.7052 s Remaining CPU time: 122.295 s c =============================================================================== c | 161443 | 1181 4367 67132 | 5000 6245 260 | 0.000 % | c | 161543 | 1181 4367 67132 | 5500 3223 259 | 0.000 % | c | 161693 | 1181 4367 67132 | 6050 3373 259 | 0.000 % | c | 161918 | 1181 4367 67132 | 6655 3598 259 | 0.000 % | c | 162255 | 1181 4367 67132 | 7320 3935 259 | 0.000 % | c | 162761 | 1181 4367 67132 | 8052 4441 259 | 0.000 % | c | 163520 | 1181 4367 67132 | 8857 5200 259 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 58.968 s Remaining CPU time: 121.032 s c =============================================================================== c | 164613 | 1181 4368 67534 | 5000 6293 259 | 0.000 % | c | 164713 | 1181 4368 67534 | 5500 3247 258 | 0.000 % | c | 164863 | 1181 4368 67534 | 6050 3397 258 | 0.000 % | c | 165089 | 1181 4368 67534 | 6655 3623 258 | 0.000 % | c | 165426 | 1181 4368 67534 | 7320 3960 258 | 0.000 % | c | 165932 | 1181 4368 67534 | 8052 4466 258 | 0.000 % | c | 166692 | 1181 4368 67534 | 8857 5226 258 | 0.000 % | c | 167832 | 1181 4368 67534 | 9743 6366 258 | 0.000 % | c | 169540 | 1181 4368 67534 | 10717 8074 258 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 60.6108 s Remaining CPU time: 119.389 s c =============================================================================== c | 169970 | 1181 4369 67936 | 5000 8504 258 | 0.000 % | c | 170070 | 1181 4369 67936 | 5500 4352 257 | 0.000 % | c | 170221 | 1181 4369 67936 | 6050 4503 257 | 0.000 % | c | 170446 | 1181 4369 67936 | 6655 4728 257 | 0.000 % | c | 170783 | 1181 4369 67936 | 7320 5065 257 | 0.000 % | c | 171289 | 1181 4369 67936 | 8052 5571 257 | 0.000 % | c | 172050 | 1181 4369 67936 | 8857 6332 257 | 0.000 % | c | 173189 | 1181 4369 67936 | 9743 7471 257 | 0.000 % | c | 174897 | 1181 4369 67936 | 10717 9179 257 | 0.000 % | c | 177460 | 1181 4369 67936 | 11789 6222 257 | 0.000 % | c | 181305 | 1181 4369 67936 | 12968 10067 257 | 0.000 % | c | 187071 | 1181 4369 67936 | 14265 9212 257 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 67.3708 s Remaining CPU time: 112.629 s c =============================================================================== c | 188560 | 1181 4370 68338 | 5000 10701 257 | 0.000 % | c | 188660 | 1181 4370 68338 | 5500 2776 257 | 0.000 % | c | 188811 | 1181 4370 68338 | 6050 2927 257 | 0.000 % | c | 189036 | 1181 4370 68338 | 6655 3152 257 | 0.000 % | c | 189373 | 1181 4370 68338 | 7320 3489 257 | 0.000 % | c | 189879 | 1181 4370 68338 | 8052 3995 256 | 0.000 % | c | 190638 | 1181 4370 68338 | 8857 4754 256 | 0.000 % | c | 191779 | 1181 4370 68338 | 9743 5895 256 | 0.000 % | c | 193487 | 1181 4370 68338 | 10717 7603 256 | 0.000 % | c | 196049 | 1181 4370 68338 | 11789 10165 256 | 0.000 % | c | 199894 | 1181 4370 68338 | 12968 7976 256 | 0.000 % | c | 205660 | 1181 4370 68338 | 14265 7123 256 | 0.000 % | c | 214309 | 1181 4370 68338 | 15692 8499 256 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 77.7372 s Remaining CPU time: 102.263 s c =============================================================================== c | 218417 | 1181 4371 68740 | 5000 12607 256 | 0.000 % | c | 218517 | 1181 4371 68740 | 5500 3252 256 | 0.000 % | c | 218667 | 1181 4371 68740 | 6050 3402 256 | 0.000 % | c | 218892 | 1181 4371 68740 | 6655 3627 256 | 0.000 % | c | 219229 | 1181 4371 68740 | 7320 3964 256 | 0.000 % | c | 219736 | 1181 4371 68740 | 8052 4471 256 | 0.000 % | c | 220495 | 1181 4371 68740 | 8857 5230 256 | 0.000 % | c | 221634 | 1181 4371 68740 | 9743 6369 255 | 0.000 % | c | 223343 | 1181 4371 68740 | 10717 8078 255 | 0.000 % | c | 225905 | 1181 4371 68740 | 11789 10640 255 | 0.000 % | c | 229749 | 1181 4371 68740 | 12968 8453 255 | 0.000 % | c | 235516 | 1181 4371 68740 | 14265 7584 255 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 86.0269 s Remaining CPU time: 93.9731 s c =============================================================================== c | 241606 | 1181 4372 69142 | 5000 13674 255 | 0.000 % | c | 241706 | 1181 4372 69142 | 5500 3519 255 | 0.000 % | c | 241856 | 1181 4372 69142 | 6050 3669 255 | 0.000 % | c | 242081 | 1181 4372 69142 | 6655 3894 255 | 0.000 % | c | 242418 | 1181 4372 69142 | 7320 4231 254 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 86.7238 s Remaining CPU time: 93.2762 s c =============================================================================== c | 242889 | 1181 4373 69544 | 5000 4702 254 | 0.000 % | c | 242990 | 1181 4373 69544 | 5500 4803 254 | 0.000 % | c | 243140 | 1181 4373 69544 | 6050 4953 254 | 0.000 % | c | 243365 | 1181 4373 69544 | 6655 5178 254 | 0.000 % | c | 243702 | 1181 4373 69544 | 7320 5515 254 | 0.000 % | c | 244208 | 1181 4373 69544 | 8052 6021 254 | 0.000 % | c | 244967 | 1181 4373 69544 | 8857 6780 254 | 0.000 % | c | 246106 | 1181 4373 69544 | 9743 7919 254 | 0.000 % | c | 247815 | 1181 4373 69544 | 10717 9628 254 | 0.000 % | c | 250377 | 1181 4373 69544 | 11789 6686 253 | 0.000 % | c | 254221 | 1181 4373 69544 | 12968 10530 253 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 91.7221 s Remaining CPU time: 88.2779 s c =============================================================================== c | 258821 | 1181 4374 69946 | 5000 8515 253 | 0.000 % | c | 258922 | 1181 4374 69946 | 5500 4359 253 | 0.000 % | c | 259072 | 1181 4374 69946 | 6050 4509 253 | 0.000 % | c | 259298 | 1181 4374 69946 | 6655 4735 253 | 0.000 % | c | 259635 | 1181 4374 69946 | 7320 5072 253 | 0.000 % | c | 260141 | 1181 4374 69946 | 8052 5578 252 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 92.4219 s Remaining CPU time: 87.5781 s c =============================================================================== c | 260657 | 1181 4375 70348 | 5000 6094 252 | 0.000 % | c | 260757 | 1181 4375 70348 | 5500 3147 252 | 0.000 % | c | 260907 | 1181 4375 70348 | 6050 3297 252 | 0.000 % | c | 261133 | 1181 4375 70348 | 6655 3523 252 | 0.000 % | c | 261471 | 1181 4375 70348 | 7320 3861 252 | 0.000 % | c | 261977 | 1181 4375 70348 | 8052 4367 251 | 0.000 % | c | 262737 | 1181 4375 70348 | 8857 5127 251 | 0.000 % | c | 263877 | 1181 4375 70348 | 9743 6267 251 | 0.000 % | c | 265586 | 1181 4375 70348 | 10717 7976 251 | 0.000 % | c | 268148 | 1181 4375 70348 | 11789 10538 251 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 94.7526 s Remaining CPU time: 85.2474 s c =============================================================================== c | 268643 | 1181 4376 70750 | 5000 11033 251 | 0.000 % | c | 268744 | 1181 4376 70750 | 5500 2860 250 | 0.000 % | c | 268894 | 1181 4376 70750 | 6050 3010 250 | 0.000 % | c | 269119 | 1181 4376 70750 | 6655 3235 250 | 0.000 % | c | 269457 | 1181 4376 70750 | 7320 3573 250 | 0.000 % | c | 269964 | 1181 4376 70750 | 8052 4080 250 | 0.000 % | c | 270723 | 1181 4376 70750 | 8857 4839 250 | 0.000 % | c | 271862 | 1181 4376 70750 | 9743 5978 250 | 0.000 % | c | 273570 | 1181 4376 70750 | 10717 7686 250 | 0.000 % | c | 276132 | 1181 4376 70750 | 11789 10248 250 | 0.000 % | c | 279977 | 1181 4376 70750 | 12968 8065 250 | 0.000 % | c | 285743 | 1181 4376 70750 | 14265 7205 250 | 0.000 % | c | 294393 | 1181 4376 70750 | 15692 8580 250 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 109.186 s Remaining CPU time: 70.8136 s c =============================================================================== c | 307220 | 1181 4377 71152 | 5000 13400 250 | 0.000 % | c | 307320 | 1181 4377 71152 | 5500 3450 250 | 0.000 % | c | 307471 | 1181 4377 71152 | 6050 3601 250 | 0.000 % | c | 307697 | 1181 4377 71152 | 6655 3827 250 | 0.000 % | c | 308034 | 1181 4377 71152 | 7320 4164 249 | 0.000 % | c | 308540 | 1181 4377 71152 | 8052 4670 249 | 0.000 % | c | 309299 | 1181 4377 71152 | 8857 5429 249 | 0.000 % | c | 310438 | 1181 4377 71152 | 9743 6568 249 | 0.000 % | c | 312146 | 1181 4377 71152 | 10717 8276 249 | 0.000 % | c | 314708 | 1181 4377 71152 | 11789 10838 249 | 0.000 % | c | 318552 | 1181 4377 71152 | 12968 8653 249 | 0.000 % | c | 324319 | 1181 4377 71152 | 14265 7784 249 | 0.000 % | c | 332969 | 1181 4377 71152 | 15692 9160 249 | 0.000 % |