c wbo 1.4 beta - 20100610 c | Number of variables: 800 | c | Number of clauses: 4290 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1191 | c | Number Clauses: 4283 | 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 | 1191 4283 8968 | 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 | 1191 4284 9366 | 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 | 1191 4285 9764 | 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 | 1191 4286 10162 | 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 | 1191 4287 10560 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1191 4288 10958 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1191 4289 11356 | 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 | 1191 4290 11754 | 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 | 1191 4291 12152 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1191 4292 12550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1191 4293 12948 | 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 | 1191 4294 13346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1191 4295 13744 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1191 4296 14142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1191 4297 14540 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 1191 4298 14938 | 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 | 1191 4299 15336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 1191 4300 15734 | 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 | 1191 4301 16132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 1191 4302 16530 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 1191 4303 16928 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 1191 4304 17326 | 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 | 1191 4305 17724 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 1191 4306 18122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 1191 4307 18520 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 1191 4308 18918 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 1191 4309 19316 | 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 | 1191 4310 19714 | 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 | 1191 4311 20112 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 0 | 1191 4312 20510 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 0 | 1191 4313 20908 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 0 | 1191 4314 21306 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 0 | 1191 4315 21704 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 0 | 1191 4316 22102 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 0 | 1191 4317 22500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 0 | 1191 4318 22898 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 0 | 1191 4319 23296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 0 | 1191 4320 23694 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 1 | 1191 4321 24092 | 5000 1 363 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 1 | 1191 4322 24490 | 5000 1 363 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 1 | 1191 4323 24888 | 5000 1 363 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 1 | 1191 4324 25286 | 5000 1 363 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 1 | 1191 4325 25684 | 5000 1 363 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s c =============================================================================== c | 1 | 1191 4326 26082 | 5000 1 363 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 1 | 1191 4327 26480 | 5000 1 363 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s c =============================================================================== c | 1 | 1191 4328 26878 | 5000 1 363 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 1 | 1191 4329 27276 | 5000 1 363 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 1 | 1191 4330 27674 | 5000 1 363 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 1 | 1191 4331 28072 | 5000 1 363 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 1 | 1191 4332 28470 | 5000 1 363 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 1 | 1191 4333 28868 | 5000 1 363 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 1 | 1191 4334 29266 | 5000 1 363 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 2 | 1191 4335 29664 | 5000 2 356 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 2 | 1191 4336 30062 | 5000 2 356 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 3 | 1191 4337 30460 | 5000 3 353 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 3 | 1191 4338 30858 | 5000 3 353 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s c =============================================================================== c | 3 | 1191 4339 31256 | 5000 3 353 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.164974 s Remaining CPU time: 179.835 s c =============================================================================== c | 3 | 1191 4340 31654 | 5000 3 353 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s c =============================================================================== c | 3 | 1191 4341 32052 | 5000 3 353 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.172973 s Remaining CPU time: 179.827 s c =============================================================================== c | 3 | 1191 4342 32450 | 5000 3 353 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.175973 s Remaining CPU time: 179.824 s c =============================================================================== c | 3 | 1191 4343 32848 | 5000 3 353 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.180972 s Remaining CPU time: 179.819 s c =============================================================================== c | 3 | 1191 4344 33246 | 5000 3 353 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.185971 s Remaining CPU time: 179.814 s c =============================================================================== c | 3 | 1191 4345 33644 | 5000 3 353 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s c =============================================================================== c | 3 | 1191 4346 34042 | 5000 3 353 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 4 | 1191 4347 34440 | 5000 4 348 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s c =============================================================================== c | 4 | 1191 4348 34838 | 5000 4 348 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.203968 s Remaining CPU time: 179.796 s c =============================================================================== c | 4 | 1191 4349 35236 | 5000 4 348 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.208968 s Remaining CPU time: 179.791 s c =============================================================================== c | 4 | 1191 4350 35634 | 5000 4 348 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 4 | 1191 4351 36032 | 5000 4 348 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s c =============================================================================== c | 4 | 1191 4352 36430 | 5000 4 348 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.222966 s Remaining CPU time: 179.777 s c =============================================================================== c | 4 | 1191 4353 36828 | 5000 4 348 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.227965 s Remaining CPU time: 179.772 s c =============================================================================== c | 4 | 1191 4354 37226 | 5000 4 348 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.232964 s Remaining CPU time: 179.767 s c =============================================================================== c | 5 | 1191 4355 37624 | 5000 5 344 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.238963 s Remaining CPU time: 179.761 s c =============================================================================== c | 6 | 1191 4356 38022 | 5000 6 341 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.243962 s Remaining CPU time: 179.756 s c =============================================================================== c | 6 | 1191 4357 38420 | 5000 6 341 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.249962 s Remaining CPU time: 179.75 s c =============================================================================== c | 6 | 1191 4358 38818 | 5000 6 341 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.254961 s Remaining CPU time: 179.745 s c =============================================================================== c | 6 | 1191 4359 39216 | 5000 6 341 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.26096 s Remaining CPU time: 179.739 s c =============================================================================== c | 14 | 1191 4360 39614 | 5000 14 331 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.268959 s Remaining CPU time: 179.731 s c =============================================================================== c | 22 | 1191 4361 40012 | 5000 22 328 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.274958 s Remaining CPU time: 179.725 s c =============================================================================== c | 34 | 1191 4362 40410 | 5000 34 325 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.280957 s Remaining CPU time: 179.719 s c =============================================================================== c | 38 | 1191 4363 40808 | 5000 38 325 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.286956 s Remaining CPU time: 179.713 s c =============================================================================== c | 40 | 1191 4364 41206 | 5000 40 324 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.293955 s Remaining CPU time: 179.706 s c =============================================================================== c | 42 | 1191 4365 41604 | 5000 42 324 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s c =============================================================================== c | 45 | 1191 4366 42002 | 5000 45 324 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.306953 s Remaining CPU time: 179.693 s c =============================================================================== c | 47 | 1191 4367 42400 | 5000 47 323 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s c =============================================================================== c | 50 | 1191 4368 42798 | 5000 50 323 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.318951 s Remaining CPU time: 179.681 s c =============================================================================== c | 51 | 1191 4369 43196 | 5000 51 322 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.32695 s Remaining CPU time: 179.673 s c =============================================================================== c | 62 | 1191 4370 43594 | 5000 62 321 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.332949 s Remaining CPU time: 179.667 s c =============================================================================== c | 63 | 1191 4371 43992 | 5000 63 321 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.338948 s Remaining CPU time: 179.661 s c =============================================================================== c | 66 | 1191 4372 44390 | 5000 66 320 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.345947 s Remaining CPU time: 179.654 s c =============================================================================== c | 69 | 1191 4373 44788 | 5000 69 320 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s c =============================================================================== c | 72 | 1191 4374 45186 | 5000 72 319 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.363944 s Remaining CPU time: 179.636 s c =============================================================================== c | 94 | 1191 4375 45584 | 5000 94 317 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.370943 s Remaining CPU time: 179.629 s c =============================================================================== c | 97 | 1191 4376 45982 | 5000 97 316 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.380942 s Remaining CPU time: 179.619 s c =============================================================================== c | 115 | 1191 4377 46380 | 5000 115 315 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.38894 s Remaining CPU time: 179.611 s c =============================================================================== c | 117 | 1191 4378 46778 | 5000 117 315 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.395939 s Remaining CPU time: 179.604 s c =============================================================================== c | 119 | 1191 4379 47176 | 5000 119 314 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.403938 s Remaining CPU time: 179.596 s c =============================================================================== c | 122 | 1191 4380 47574 | 5000 122 314 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.411937 s Remaining CPU time: 179.588 s c =============================================================================== c | 125 | 1191 4381 47972 | 5000 125 314 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.421935 s Remaining CPU time: 179.578 s c =============================================================================== c | 145 | 1191 4382 48370 | 5000 145 312 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.432934 s Remaining CPU time: 179.567 s c =============================================================================== c | 161 | 1191 4383 48768 | 5000 161 311 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.444932 s Remaining CPU time: 179.555 s c =============================================================================== c | 187 | 1191 4384 49166 | 5000 187 309 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.461929 s Remaining CPU time: 179.538 s c =============================================================================== c | 227 | 1191 4385 49564 | 5000 227 307 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.472928 s Remaining CPU time: 179.527 s c =============================================================================== c | 242 | 1191 4386 49962 | 5000 242 307 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.484926 s Remaining CPU time: 179.515 s c =============================================================================== c | 256 | 1191 4387 50360 | 5000 256 306 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.494924 s Remaining CPU time: 179.505 s c =============================================================================== c | 271 | 1191 4388 50758 | 5000 271 305 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.504923 s Remaining CPU time: 179.495 s c =============================================================================== c | 281 | 1191 4389 51156 | 5000 281 305 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.517921 s Remaining CPU time: 179.482 s c =============================================================================== c | 308 | 1191 4390 51554 | 5000 308 304 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.528919 s Remaining CPU time: 179.471 s c =============================================================================== c | 324 | 1191 4391 51952 | 5000 324 303 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.541917 s Remaining CPU time: 179.458 s c =============================================================================== c | 355 | 1191 4392 52350 | 5000 355 302 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.555915 s Remaining CPU time: 179.444 s c =============================================================================== c | 391 | 1191 4393 52748 | 5000 391 301 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 0.565913 s Remaining CPU time: 179.434 s c =============================================================================== c | 403 | 1191 4394 53146 | 5000 403 301 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 0.575912 s Remaining CPU time: 179.424 s c =============================================================================== c | 410 | 1191 4395 53544 | 5000 410 301 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 0.584911 s Remaining CPU time: 179.415 s c =============================================================================== c | 417 | 1191 4396 53942 | 5000 417 300 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 0.602908 s Remaining CPU time: 179.397 s c =============================================================================== c | 452 | 1191 4397 54340 | 5000 452 299 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 0.625904 s Remaining CPU time: 179.374 s c =============================================================================== c | 530 | 1191 4398 54738 | 5000 530 297 | 0.000 % | c | 630 | 1191 4398 54738 | 5500 630 295 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 0.666898 s Remaining CPU time: 179.333 s c =============================================================================== c | 652 | 1191 4399 55136 | 5000 652 294 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 0.685895 s Remaining CPU time: 179.314 s c =============================================================================== c | 699 | 1191 4400 55534 | 5000 699 294 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 0.703892 s Remaining CPU time: 179.296 s c =============================================================================== c | 744 | 1191 4401 55932 | 5000 744 293 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 0.730888 s Remaining CPU time: 179.269 s c =============================================================================== c | 825 | 1191 4402 56330 | 5000 825 292 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 0.742887 s Remaining CPU time: 179.257 s c =============================================================================== c | 843 | 1191 4403 56728 | 5000 843 292 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 0.752885 s Remaining CPU time: 179.247 s c =============================================================================== c | 850 | 1191 4404 57126 | 5000 850 292 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 0.771882 s Remaining CPU time: 179.228 s c =============================================================================== c | 900 | 1191 4405 57524 | 5000 900 291 | 0.000 % | c | 1000 | 1191 4405 57524 | 5500 1000 290 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 0.818875 s Remaining CPU time: 179.181 s c =============================================================================== c | 1065 | 1191 4406 57922 | 5000 1065 289 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 0.843871 s Remaining CPU time: 179.156 s c =============================================================================== c | 1128 | 1191 4407 58320 | 5000 1128 288 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 0.865868 s Remaining CPU time: 179.134 s c =============================================================================== c | 1198 | 1191 4408 58718 | 5000 1198 287 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 0.892864 s Remaining CPU time: 179.107 s c =============================================================================== c | 1288 | 1191 4409 59116 | 5000 1288 286 | 0.000 % | c | 1388 | 1191 4409 59116 | 5500 1388 286 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 0.928858 s Remaining CPU time: 179.071 s c =============================================================================== c | 1390 | 1191 4410 59514 | 5000 1390 285 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 0.948855 s Remaining CPU time: 179.051 s c =============================================================================== c | 1437 | 1191 4411 59912 | 5000 1437 285 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 0.967852 s Remaining CPU time: 179.032 s c =============================================================================== c | 1480 | 1191 4412 60310 | 5000 1480 285 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 0.98485 s Remaining CPU time: 179.015 s c =============================================================================== c | 1519 | 1191 4413 60708 | 5000 1519 284 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 1.00385 s Remaining CPU time: 178.996 s c =============================================================================== c | 1558 | 1191 4414 61106 | 5000 1558 284 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 1.02284 s Remaining CPU time: 178.977 s c =============================================================================== c | 1603 | 1191 4415 61504 | 5000 1603 283 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 1.04484 s Remaining CPU time: 178.955 s c =============================================================================== c | 1657 | 1191 4416 61902 | 5000 1657 283 | 0.000 % | c | 1757 | 1191 4416 61902 | 5500 1757 282 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 1.10783 s Remaining CPU time: 178.892 s c =============================================================================== c | 1867 | 1191 4417 62300 | 5000 1867 281 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 1.12983 s Remaining CPU time: 178.87 s c =============================================================================== c | 1921 | 1191 4418 62698 | 5000 1921 281 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 1.14482 s Remaining CPU time: 178.855 s c =============================================================================== c | 1946 | 1191 4419 63096 | 5000 1946 280 | 0.000 % | c | 2046 | 1191 4419 63096 | 5500 2046 280 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 1.19482 s Remaining CPU time: 178.805 s c =============================================================================== c | 2081 | 1191 4420 63494 | 5000 2081 279 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 1.22581 s Remaining CPU time: 178.774 s c =============================================================================== c | 2174 | 1191 4421 63892 | 5000 2174 279 | 0.000 % | c | 2274 | 1191 4421 63892 | 5500 2274 278 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 1.26481 s Remaining CPU time: 178.735 s c =============================================================================== c | 2280 | 1191 4422 64290 | 5000 2280 278 | 0.000 % | c | 2381 | 1191 4422 64290 | 5500 2381 277 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 1.3178 s Remaining CPU time: 178.682 s c =============================================================================== c | 2426 | 1191 4423 64688 | 5000 2426 277 | 0.000 % | c | 2526 | 1191 4423 64688 | 5500 2526 276 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 1.36379 s Remaining CPU time: 178.636 s c =============================================================================== c | 2548 | 1191 4424 65086 | 5000 2548 276 | 0.000 % | c | 2648 | 1191 4424 65086 | 5500 2648 275 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 1.43378 s Remaining CPU time: 178.566 s c =============================================================================== c | 2768 | 1191 4425 65484 | 5000 2768 275 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 1.44578 s Remaining CPU time: 178.554 s c =============================================================================== c | 2770 | 1191 4426 65882 | 5000 2770 275 | 0.000 % | c | 2870 | 1191 4426 65882 | 5500 2870 274 | 0.000 % | c | 3020 | 1191 4426 65882 | 6050 3020 273 | 0.000 % | c | 3246 | 1191 4426 65882 | 6655 3246 272 | 0.000 % | c | 3583 | 1191 4426 65882 | 7320 3583 271 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 1.69874 s Remaining CPU time: 178.301 s c =============================================================================== c | 3704 | 1191 4427 66280 | 5000 3704 270 | 0.000 % | c | 3804 | 1191 4427 66280 | 5500 3804 270 | 0.000 % | c | 3954 | 1191 4427 66280 | 6050 3954 269 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 1.80773 s Remaining CPU time: 178.192 s c =============================================================================== c | 4066 | 1191 4428 66678 | 5000 4066 269 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 1.82672 s Remaining CPU time: 178.173 s c =============================================================================== c | 4099 | 1191 4429 67076 | 5000 4099 269 | 0.000 % | c | 4199 | 1191 4429 67076 | 5500 4199 268 | 0.000 % | c | 4349 | 1191 4429 67076 | 6050 4349 268 | 0.000 % | c | 4574 | 1191 4429 67076 | 6655 4574 267 | 0.000 % | c | 4911 | 1191 4429 67076 | 7320 4911 266 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 2.16667 s Remaining CPU time: 177.833 s c =============================================================================== c | 5316 | 1191 4430 67474 | 5000 5316 265 | 0.000 % | c | 5416 | 1191 4430 67474 | 5500 2758 255 | 0.000 % | c | 5566 | 1191 4430 67474 | 6050 2908 255 | 0.000 % | c | 5791 | 1191 4430 67474 | 6655 3133 255 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 2.35064 s Remaining CPU time: 177.649 s c =============================================================================== c | 5800 | 1191 4431 67872 | 5000 3142 255 | 0.000 % | c | 5900 | 1191 4431 67872 | 5500 3242 255 | 0.000 % | c | 6050 | 1191 4431 67872 | 6050 3392 255 | 0.000 % | c | 6275 | 1191 4431 67872 | 6655 3617 254 | 0.000 % | c | 6612 | 1191 4431 67872 | 7320 3954 254 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 2.6566 s Remaining CPU time: 177.343 s c =============================================================================== c | 6772 | 1191 4432 68270 | 5000 4114 254 | 0.000 % | c | 6873 | 1191 4432 68270 | 5500 4215 254 | 0.000 % | c | 7024 | 1191 4432 68270 | 6050 4366 254 | 0.000 % | c | 7249 | 1191 4432 68270 | 6655 4591 254 | 0.000 % | c | 7586 | 1191 4432 68270 | 7320 4928 254 | 0.000 % | c | 8092 | 1191 4432 68270 | 8052 5434 253 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 3.08553 s Remaining CPU time: 176.914 s c =============================================================================== c | 8213 | 1191 4433 68668 | 5000 5555 253 | 0.000 % | c | 8313 | 1191 4433 68668 | 5500 2878 251 | 0.000 % | c | 8464 | 1191 4433 68668 | 6050 3029 251 | 0.000 % | c | 8689 | 1191 4433 68668 | 6655 3254 251 | 0.000 % | c | 9026 | 1191 4433 68668 | 7320 3591 251 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 3.47947 s Remaining CPU time: 176.521 s c =============================================================================== c | 9433 | 1191 4434 69066 | 5000 3998 251 | 0.000 % | c | 9533 | 1191 4434 69066 | 5500 4098 251 | 0.000 % | c | 9684 | 1191 4434 69066 | 6050 4249 251 | 0.000 % | c | 9909 | 1191 4434 69066 | 6655 4474 251 | 0.000 % | c | 10246 | 1191 4434 69066 | 7320 4811 251 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 3.85641 s Remaining CPU time: 176.144 s c =============================================================================== c | 10520 | 1191 4435 69464 | 5000 5085 250 | 0.000 % | c | 10620 | 1191 4435 69464 | 5500 2643 249 | 0.000 % | c | 10770 | 1191 4435 69464 | 6050 2793 249 | 0.000 % | c | 10996 | 1191 4435 69464 | 6655 3019 249 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 4.11537 s Remaining CPU time: 175.885 s c =============================================================================== c | 11279 | 1191 4436 69862 | 5000 3302 249 | 0.000 % | c | 11379 | 1191 4436 69862 | 5500 3402 249 | 0.000 % | c | 11529 | 1191 4436 69862 | 6050 3552 249 | 0.000 % | c | 11754 | 1191 4436 69862 | 6655 3777 249 | 0.000 % | c | 12091 | 1191 4436 69862 | 7320 4114 249 | 0.000 % | c | 12597 | 1191 4436 69862 | 8052 4620 248 | 0.000 % | c | 13356 | 1191 4436 69862 | 8857 5379 248 | 0.000 % | c | 14496 | 1191 4436 69862 | 9743 6519 248 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 5.46217 s Remaining CPU time: 174.538 s c =============================================================================== c | 15512 | 1191 4437 70260 | 5000 7535 248 | 0.000 % | c | 15612 | 1191 4437 70260 | 5500 3868 247 | 0.000 % | c | 15762 | 1191 4437 70260 | 6050 4018 247 | 0.000 % | c | 15987 | 1191 4437 70260 | 6655 4243 247 | 0.000 % | c | 16324 | 1191 4437 70260 | 7320 4580 247 | 0.000 % | c | 16830 | 1191 4437 70260 | 8052 5086 247 | 0.000 % | c | 17589 | 1191 4437 70260 | 8857 5845 247 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 6.44702 s Remaining CPU time: 173.553 s c =============================================================================== c | 18139 | 1191 4438 70658 | 5000 6395 247 | 0.000 % | c | 18239 | 1191 4438 70658 | 5500 3298 246 | 0.000 % | c | 18389 | 1191 4438 70658 | 6050 3448 246 | 0.000 % | c | 18614 | 1191 4438 70658 | 6655 3673 246 | 0.000 % | c | 18952 | 1191 4438 70658 | 7320 4011 246 | 0.000 % | c | 19458 | 1191 4438 70658 | 8052 4517 246 | 0.000 % | c | 20217 | 1191 4438 70658 | 8857 5276 246 | 0.000 % | c | 21357 | 1191 4438 70658 | 9743 6416 246 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 7.57885 s Remaining CPU time: 172.421 s c =============================================================================== c | 21864 | 1191 4439 71056 | 5000 6923 246 | 0.000 % | c | 21965 | 1191 4439 71056 | 5500 3563 245 | 0.000 % | c | 22115 | 1191 4439 71056 | 6050 3713 245 | 0.000 % | c | 22340 | 1191 4439 71056 | 6655 3938 245 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 7.76382 s Remaining CPU time: 172.236 s c =============================================================================== c | 22380 | 1191 4440 71454 | 5000 3978 245 | 0.000 % | c | 22481 | 1191 4440 71454 | 5500 4079 245 | 0.000 % | c | 22631 | 1191 4440 71454 | 6050 4229 245 | 0.000 % | c | 22857 | 1191 4440 71454 | 6655 4455 245 | 0.000 % | c | 23194 | 1191 4440 71454 | 7320 4792 245 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 8.09677 s Remaining CPU time: 171.903 s c =============================================================================== c | 23492 | 1191 4441 71852 | 5000 5090 245 | 0.000 % | c | 23592 | 1191 4441 71852 | 5500 2645 244 | 0.000 % | c | 23743 | 1191 4441 71852 | 6050 2796 244 | 0.000 % | c | 23968 | 1191 4441 71852 | 6655 3021 244 | 0.000 % | c | 24305 | 1191 4441 71852 | 7320 3358 243 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 8.43172 s Remaining CPU time: 171.568 s c =============================================================================== c | 24712 | 1191 4442 72250 | 5000 3765 243 | 0.000 % | c | 24813 | 1191 4442 72250 | 5500 3866 243 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 8.49471 s Remaining CPU time: 171.505 s c =============================================================================== c | 24903 | 1191 4443 72648 | 5000 3956 243 | 0.000 % | c | 25003 | 1191 4443 72648 | 5500 4056 243 | 0.000 % | c | 25154 | 1191 4443 72648 | 6050 4207 243 | 0.000 % | c | 25379 | 1191 4443 72648 | 6655 4432 243 | 0.000 % | c | 25716 | 1191 4443 72648 | 7320 4769 243 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 8.82466 s Remaining CPU time: 171.175 s c =============================================================================== c | 26057 | 1191 4444 73046 | 5000 5110 242 | 0.000 % | c | 26157 | 1191 4444 73046 | 5500 2655 241 | 0.000 % | c | 26307 | 1191 4444 73046 | 6050 2805 240 | 0.000 % | c | 26532 | 1191 4444 73046 | 6655 3030 240 | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 9.01663 s Remaining CPU time: 170.983 s c =============================================================================== c | 26628 | 1191 4445 73444 | 5000 3126 240 | 0.000 % | c | 26730 | 1191 4445 73444 | 5500 3228 240 | 0.000 % | c | 26880 | 1191 4445 73444 | 6050 3378 240 | 0.000 % | c | 27105 | 1191 4445 73444 | 6655 3603 240 | 0.000 % | c | 27443 | 1191 4445 73444 | 7320 3941 240 | 0.000 % | c | 27949 | 1191 4445 73444 | 8052 4447 240 | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 9.50955 s Remaining CPU time: 170.49 s c =============================================================================== c | 28433 | 1191 4446 73842 | 5000 4931 239 | 0.000 % | c | 28533 | 1191 4446 73842 | 5500 5031 239 | 0.000 % | c | 28683 | 1191 4446 73842 | 6050 5181 239 | 0.000 % | c | 28909 | 1191 4446 73842 | 6655 5407 239 | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 9.72452 s Remaining CPU time: 170.275 s c =============================================================================== c | 29166 | 1191 4447 74240 | 5000 5664 239 | 0.000 % | c | 29267 | 1191 4447 74240 | 5500 2933 237 | 0.000 % | c | 29417 | 1191 4447 74240 | 6050 3083 237 | 0.000 % | c | 29642 | 1191 4447 74240 | 6655 3308 237 | 0.000 % | c | 29980 | 1191 4447 74240 | 7320 3646 237 | 0.000 % | c | 30486 | 1191 4447 74240 | 8052 4152 237 | 0.000 % | c | 31245 | 1191 4447 74240 | 8857 4911 237 | 0.000 % | c | 32384 | 1191 4447 74240 | 9743 6050 237 | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 11.0033 s Remaining CPU time: 168.997 s c =============================================================================== c | 33990 | 1191 4448 74638 | 5000 7656 237 | 0.000 % | c | 34090 | 1191 4448 74638 | 5500 3928 236 | 0.000 % | c | 34240 | 1191 4448 74638 | 6050 4078 236 | 0.000 % | c | 34465 | 1191 4448 74638 | 6655 4303 236 | 0.000 % | c | 34803 | 1191 4448 74638 | 7320 4641 236 | 0.000 % | c | 35309 | 1191 4448 74638 | 8052 5147 236 | 0.000 % | c | 36068 | 1191 4448 74638 | 8857 5906 236 | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 11.6552 s Remaining CPU time: 168.345 s c =============================================================================== c | 36170 | 1191 4449 75036 | 5000 6008 236 | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 11.7082 s Remaining CPU time: 168.292 s c =============================================================================== c | 36262 | 1191 4450 75434 | 5000 3096 235 | 0.000 % | c | 36363 | 1191 4450 75434 | 5500 3197 235 | 0.000 % | c | 36513 | 1191 4450 75434 | 6050 3347 235 | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 11.8152 s Remaining CPU time: 168.185 s c =============================================================================== c | 36563 | 1191 4451 75832 | 5000 3397 235 | 0.000 % | c | 36665 | 1191 4451 75832 | 5500 3499 235 | 0.000 % | c | 36815 | 1191 4451 75832 | 6050 3649 235 | 0.000 % | c | 37041 | 1191 4451 75832 | 6655 3875 234 | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 12.0462 s Remaining CPU time: 167.954 s c =============================================================================== c | 37303 | 1191 4452 76230 | 5000 4137 234 | 0.000 % | c | 37404 | 1191 4452 76230 | 5500 4238 234 | 0.000 % | c | 37554 | 1191 4452 76230 | 6050 4388 234 | 0.000 % | c | 37780 | 1191 4452 76230 | 6655 4614 234 | 0.000 % | c | 38117 | 1191 4452 76230 | 7320 4951 234 | 0.000 % | c | 38623 | 1191 4452 76230 | 8052 5457 233 | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 12.4491 s Remaining CPU time: 167.551 s c =============================================================================== c | 38663 | 1191 4453 76628 | 5000 5497 233 | 0.000 % | c | 38764 | 1191 4453 76628 | 5500 2850 231 | 0.000 % | c | 38914 | 1191 4453 76628 | 6050 3000 231 | 0.000 % | c | 39141 | 1191 4453 76628 | 6655 3227 231 | 0.000 % | c | 39478 | 1191 4453 76628 | 7320 3564 231 | 0.000 % | c | 39985 | 1191 4453 76628 | 8052 4071 231 | 0.000 % | c | 40744 | 1191 4453 76628 | 8857 4830 231 | 0.000 % | c | 41883 | 1191 4453 76628 | 9743 5969 231 | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 13.8639 s Remaining CPU time: 166.136 s c =============================================================================== c | 43323 | 1191 4454 77026 | 5000 7409 231 | 0.000 % | c | 43423 | 1191 4454 77026 | 5500 3805 230 | 0.000 % | c | 43573 | 1191 4454 77026 | 6050 3955 230 | 0.000 % | c | 43798 | 1191 4454 77026 | 6655 4180 230 | 0.000 % | c | 44135 | 1191 4454 77026 | 7320 4517 230 | 0.000 % | c | 44642 | 1191 4454 77026 | 8052 5024 229 | 0.000 % | c | 45401 | 1191 4454 77026 | 8857 5783 229 | 0.000 % | c | 46541 | 1191 4454 77026 | 9743 6923 229 | 0.000 % | c | 48249 | 1191 4454 77026 | 10717 8631 229 | 0.000 % | c | 50811 | 1191 4454 77026 | 11789 5712 229 | 0.000 % | c | 54655 | 1191 4454 77026 | 12968 9556 230 | 0.000 % | c | 60421 | 1191 4454 77026 | 14265 8710 230 | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 22.1036 s Remaining CPU time: 157.896 s c =============================================================================== c | 67621 | 1191 4455 77424 | 5000 8631 230 | 0.000 % | c | 67721 | 1191 4455 77424 | 5500 4416 229 | 0.000 % | c | 67871 | 1191 4455 77424 | 6050 4566 229 | 0.000 % | c | 68096 | 1191 4455 77424 | 6655 4791 229 | 0.000 % | c | 68433 | 1191 4455 77424 | 7320 5128 229 | 0.000 % | c | 68939 | 1191 4455 77424 | 8052 5634 229 | 0.000 % | c | 69698 | 1191 4455 77424 | 8857 6393 229 | 0.000 % | c | 70837 | 1191 4455 77424 | 9743 7532 229 | 0.000 % | c | 72545 | 1191 4455 77424 | 10717 9240 229 | 0.000 % | c | 75108 | 1191 4455 77424 | 11789 6311 228 | 0.000 % | c | 78952 | 1191 4455 77424 | 12968 10155 229 | 0.000 % | c | 84718 | 1191 4455 77424 | 14265 9302 229 | 0.000 % | c | 93367 | 1191 4455 77424 | 15692 10692 229 | 0.000 % | c | 106341 | 1191 4455 77424 | 17261 15684 229 | 0.000 % | c | 125802 | 1191 4455 77424 | 18987 8874 229 | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 58.6001 s Remaining CPU time: 121.4 s c =============================================================================== c | 152312 | 1191 4456 77822 | 5000 16125 230 | 0.000 % | c | 152412 | 1191 4456 77822 | 5500 4132 229 | 0.000 % | c | 152562 | 1191 4456 77822 | 6050 4282 229 | 0.000 % | c | 152787 | 1191 4456 77822 | 6655 4507 229 | 0.000 % | c | 153124 | 1191 4456 77822 | 7320 4844 229 | 0.000 % | c | 153630 | 1191 4456 77822 | 8052 5350 229 | 0.000 % | c | 154389 | 1191 4456 77822 | 8857 6109 229 | 0.000 % | c | 155528 | 1191 4456 77822 | 9743 7248 229 | 0.000 % | c | 157236 | 1191 4456 77822 | 10717 8956 229 | 0.000 % | c | 159798 | 1191 4456 77822 | 11789 6021 228 | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 61.6696 s Remaining CPU time: 118.33 s c =============================================================================== c | 159959 | 1191 4457 78220 | 5000 6182 228 | 0.000 % | c | 160059 | 1191 4457 78220 | 5500 3191 227 | 0.000 % | c | 160209 | 1191 4457 78220 | 6050 3341 227 | 0.000 % | c | 160434 | 1191 4457 78220 | 6655 3566 227 | 0.000 % | c | 160771 | 1191 4457 78220 | 7320 3903 227 | 0.000 % | c | 161278 | 1191 4457 78220 | 8052 4410 227 | 0.000 % | c | 162038 | 1191 4457 78220 | 8857 5170 227 | 0.000 % | c | 163177 | 1191 4457 78220 | 9743 6309 227 | 0.000 % | c | 164886 | 1191 4457 78220 | 10717 8018 227 | 0.000 % | c | 167448 | 1191 4457 78220 | 11789 10580 227 | 0.000 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 64.9851 s Remaining CPU time: 115.015 s c =============================================================================== c | 169372 | 1191 4458 78618 | 5000 6487 227 | 0.000 % | c | 169473 | 1191 4458 78618 | 5500 3345 227 | 0.000 % | c | 169623 | 1191 4458 78618 | 6050 3495 227 | 0.000 % | c | 169848 | 1191 4458 78618 | 6655 3720 227 | 0.000 % | c | 170185 | 1191 4458 78618 | 7320 4057 227 | 0.000 % | c | 170691 | 1191 4458 78618 | 8052 4563 226 | 0.000 % | c | 171450 | 1191 4458 78618 | 8857 5322 226 | 0.000 % | c | 172590 | 1191 4458 78618 | 9743 6462 226 | 0.000 % | c | 174298 | 1191 4458 78618 | 10717 8170 226 | 0.000 % | c | 176860 | 1191 4458 78618 | 11789 10732 226 | 0.000 % | c | 180704 | 1191 4458 78618 | 12968 8536 225 | 0.000 % | c | 186470 | 1191 4458 78618 | 14265 7698 225 | 0.000 % | c | 195119 | 1191 4458 78618 | 15692 9066 226 | 0.000 % | c | 208093 | 1191 4458 78618 | 17261 14073 226 | 0.000 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 88.3146 s Remaining CPU time: 91.6854 s c =============================================================================== c | 227341 | 1191 4459 79016 | 5000 15790 226 | 0.000 % | c | 227441 | 1191 4459 79016 | 5500 4048 226 | 0.000 % | c | 227591 | 1191 4459 79016 | 6050 4198 226 | 0.000 % | c | 227816 | 1191 4459 79016 | 6655 4423 226 | 0.000 % | c | 228153 | 1191 4459 79016 | 7320 4760 226 | 0.000 % | c | 228659 | 1191 4459 79016 | 8052 5266 226 | 0.000 % | c | 229418 | 1191 4459 79016 | 8857 6025 225 | 0.000 % | c | 230557 | 1191 4459 79016 | 9743 7164 225 | 0.000 % | c | 232265 | 1191 4459 79016 | 10717 8872 225 | 0.000 % | c | 234829 | 1191 4459 79016 | 11789 5956 225 | 0.000 % | c | 238673 | 1191 4459 79016 | 12968 9800 225 | 0.000 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 93.5748 s Remaining CPU time: 86.4252 s c =============================================================================== c | 241567 | 1191 4460 79414 | 5000 12694 225 | 0.000 % | c | 241668 | 1191 4460 79414 | 5500 3275 224 | 0.000 % | c | 241819 | 1191 4460 79414 | 6050 3426 224 | 0.000 % | c | 242045 | 1191 4460 79414 | 6655 3652 224 | 0.000 % | c | 242382 | 1191 4460 79414 | 7320 3989 224 | 0.000 % | c | 242888 | 1191 4460 79414 | 8052 4495 224 | 0.000 % | c | 243647 | 1191 4460 79414 | 8857 5254 224 | 0.000 % | c | 244786 | 1191 4460 79414 | 9743 6393 224 | 0.000 % | c | 246494 | 1191 4460 79414 | 10717 8101 224 | 0.000 % | c | 249057 | 1191 4460 79414 | 11789 10664 224 | 0.000 % | c | 252901 | 1191 4460 79414 | 12968 8497 223 | 0.000 % | c | 258667 | 1191 4460 79414 | 14265 7651 223 | 0.000 % | c | 267317 | 1191 4460 79414 | 15692 9020 223 | 0.000 % | c | 280291 | 1191 4460 79414 | 17261 14006 224 | 0.000 % | c | 299753 | 1191 4460 79414 | 18987 15929 224 | 0.000 % | c | 328945 | 1191 4460 79414 | 20886 16256 224 | 0.000 % | c | 372734 | 1191 4460 79414 | 22974 17643 224 | 0.000 % |