c wbo 1.4 beta - 20100610 c | Number of variables: 800 | c | Number of clauses: 4361 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1187 | c | Number Clauses: 4347 | 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 | 1187 4347 9093 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1187 4348 9494 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1187 4349 9895 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1187 4350 10296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1187 4351 10697 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1187 4352 11098 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1187 4353 11499 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1187 4354 11900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1187 4355 12301 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1187 4356 12702 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1187 4357 13103 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1187 4358 13504 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 1187 4359 13905 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1187 4360 14306 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1187 4361 14707 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1187 4362 15108 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 1187 4363 15509 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 1187 4364 15910 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 1 | 1187 4365 16311 | 5000 1 386 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 1 | 1187 4366 16712 | 5000 1 386 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 1 | 1187 4367 17113 | 5000 1 386 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 1 | 1187 4368 17514 | 5000 1 386 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 1 | 1187 4369 17915 | 5000 1 386 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 1 | 1187 4370 18316 | 5000 1 386 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 1 | 1187 4371 18717 | 5000 1 386 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 1 | 1187 4372 19118 | 5000 1 386 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 1 | 1187 4373 19519 | 5000 1 386 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 1 | 1187 4374 19920 | 5000 1 386 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 1 | 1187 4375 20321 | 5000 1 386 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 1 | 1187 4376 20722 | 5000 1 386 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 1 | 1187 4377 21123 | 5000 1 386 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 1 | 1187 4378 21524 | 5000 1 386 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 1 | 1187 4379 21925 | 5000 1 386 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 1 | 1187 4380 22326 | 5000 1 386 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 1 | 1187 4381 22727 | 5000 1 386 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 1 | 1187 4382 23128 | 5000 1 386 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 2 | 1187 4383 23529 | 5000 2 376 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 3 | 1187 4384 23930 | 5000 3 373 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 3 | 1187 4385 24331 | 5000 3 373 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 3 | 1187 4386 24732 | 5000 3 373 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 4 | 1187 4387 25133 | 5000 4 370 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 4 | 1187 4388 25534 | 5000 4 370 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 4 | 1187 4389 25935 | 5000 4 370 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 4 | 1187 4390 26336 | 5000 4 370 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 4 | 1187 4391 26737 | 5000 4 370 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 4 | 1187 4392 27138 | 5000 4 370 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 4 | 1187 4393 27539 | 5000 4 370 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 4 | 1187 4394 27940 | 5000 4 370 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 4 | 1187 4395 28341 | 5000 4 370 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 5 | 1187 4396 28742 | 5000 5 367 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 5 | 1187 4397 29143 | 5000 5 367 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 5 | 1187 4398 29544 | 5000 5 367 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 5 | 1187 4399 29945 | 5000 5 367 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 5 | 1187 4400 30346 | 5000 5 367 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 5 | 1187 4401 30747 | 5000 5 367 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 5 | 1187 4402 31148 | 5000 5 367 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s c =============================================================================== c | 5 | 1187 4403 31549 | 5000 5 367 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s c =============================================================================== c | 5 | 1187 4404 31950 | 5000 5 367 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s c =============================================================================== c | 5 | 1187 4405 32351 | 5000 5 367 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s c =============================================================================== c | 5 | 1187 4406 32752 | 5000 5 367 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 5 | 1187 4407 33153 | 5000 5 367 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 6 | 1187 4408 33554 | 5000 6 363 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 6 | 1187 4409 33955 | 5000 6 363 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.185971 s Remaining CPU time: 179.814 s c =============================================================================== c | 6 | 1187 4410 34356 | 5000 6 363 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s c =============================================================================== c | 6 | 1187 4411 34757 | 5000 6 363 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 6 | 1187 4412 35158 | 5000 6 363 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.197969 s Remaining CPU time: 179.802 s c =============================================================================== c | 6 | 1187 4413 35559 | 5000 6 363 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.201969 s Remaining CPU time: 179.798 s c =============================================================================== c | 6 | 1187 4414 35960 | 5000 6 363 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 6 | 1187 4415 36361 | 5000 6 363 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.210967 s Remaining CPU time: 179.789 s c =============================================================================== c | 6 | 1187 4416 36762 | 5000 6 363 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.215967 s Remaining CPU time: 179.784 s c =============================================================================== c | 6 | 1187 4417 37163 | 5000 6 363 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.221966 s Remaining CPU time: 179.778 s c =============================================================================== c | 6 | 1187 4418 37564 | 5000 6 363 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.227965 s Remaining CPU time: 179.772 s c =============================================================================== c | 6 | 1187 4419 37965 | 5000 6 363 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.232964 s Remaining CPU time: 179.767 s c =============================================================================== c | 6 | 1187 4420 38366 | 5000 6 363 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.238963 s Remaining CPU time: 179.761 s c =============================================================================== c | 6 | 1187 4421 38767 | 5000 6 363 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.243962 s Remaining CPU time: 179.756 s c =============================================================================== c | 6 | 1187 4422 39168 | 5000 6 363 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s c =============================================================================== c | 6 | 1187 4423 39569 | 5000 6 363 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s c =============================================================================== c | 6 | 1187 4424 39970 | 5000 6 363 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.25896 s Remaining CPU time: 179.741 s c =============================================================================== c | 6 | 1187 4425 40371 | 5000 6 363 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.265959 s Remaining CPU time: 179.734 s c =============================================================================== c | 7 | 1187 4426 40772 | 5000 7 357 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s c =============================================================================== c | 7 | 1187 4427 41173 | 5000 7 357 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.277957 s Remaining CPU time: 179.722 s c =============================================================================== c | 8 | 1187 4428 41574 | 5000 8 353 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.283956 s Remaining CPU time: 179.716 s c =============================================================================== c | 8 | 1187 4429 41975 | 5000 8 353 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s c =============================================================================== c | 8 | 1187 4430 42376 | 5000 8 353 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.295955 s Remaining CPU time: 179.704 s c =============================================================================== c | 8 | 1187 4431 42777 | 5000 8 353 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.301954 s Remaining CPU time: 179.698 s c =============================================================================== c | 9 | 1187 4432 43178 | 5000 9 349 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.306953 s Remaining CPU time: 179.693 s c =============================================================================== c | 9 | 1187 4433 43579 | 5000 9 349 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s c =============================================================================== c | 9 | 1187 4434 43980 | 5000 9 349 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.318951 s Remaining CPU time: 179.681 s c =============================================================================== c | 9 | 1187 4435 44381 | 5000 9 349 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.32495 s Remaining CPU time: 179.675 s c =============================================================================== c | 10 | 1187 4436 44782 | 5000 10 345 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.331949 s Remaining CPU time: 179.668 s c =============================================================================== c | 10 | 1187 4437 45183 | 5000 10 345 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.338948 s Remaining CPU time: 179.661 s c =============================================================================== c | 10 | 1187 4438 45584 | 5000 10 345 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.345947 s Remaining CPU time: 179.654 s c =============================================================================== c | 11 | 1187 4439 45985 | 5000 11 342 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s c =============================================================================== c | 11 | 1187 4440 46386 | 5000 11 342 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.357945 s Remaining CPU time: 179.642 s c =============================================================================== c | 11 | 1187 4441 46787 | 5000 11 342 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.364944 s Remaining CPU time: 179.635 s c =============================================================================== c | 11 | 1187 4442 47188 | 5000 11 342 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.371943 s Remaining CPU time: 179.628 s c =============================================================================== c | 12 | 1187 4443 47589 | 5000 12 339 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.378942 s Remaining CPU time: 179.621 s c =============================================================================== c | 12 | 1187 4444 47990 | 5000 12 339 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.386941 s Remaining CPU time: 179.613 s c =============================================================================== c | 12 | 1187 4445 48391 | 5000 12 339 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.39394 s Remaining CPU time: 179.606 s c =============================================================================== c | 12 | 1187 4446 48792 | 5000 12 339 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.402938 s Remaining CPU time: 179.597 s c =============================================================================== c | 13 | 1187 4447 49193 | 5000 13 336 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.409937 s Remaining CPU time: 179.59 s c =============================================================================== c | 18 | 1187 4448 49594 | 5000 18 327 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.417936 s Remaining CPU time: 179.582 s c =============================================================================== c | 18 | 1187 4449 49995 | 5000 18 327 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.424935 s Remaining CPU time: 179.575 s c =============================================================================== c | 19 | 1187 4450 50396 | 5000 19 310 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.432934 s Remaining CPU time: 179.567 s c =============================================================================== c | 19 | 1187 4451 50797 | 5000 19 310 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.441932 s Remaining CPU time: 179.558 s c =============================================================================== c | 20 | 1187 4452 51198 | 5000 20 309 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.448931 s Remaining CPU time: 179.551 s c =============================================================================== c | 21 | 1187 4453 51599 | 5000 21 308 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.45593 s Remaining CPU time: 179.544 s c =============================================================================== c | 21 | 1187 4454 52000 | 5000 21 308 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.464929 s Remaining CPU time: 179.535 s c =============================================================================== c | 26 | 1187 4455 52401 | 5000 26 306 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.471928 s Remaining CPU time: 179.528 s c =============================================================================== c | 28 | 1187 4456 52802 | 5000 28 305 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.478927 s Remaining CPU time: 179.521 s c =============================================================================== c | 28 | 1187 4457 53203 | 5000 28 305 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.487925 s Remaining CPU time: 179.512 s c =============================================================================== c | 28 | 1187 4458 53604 | 5000 28 305 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.495924 s Remaining CPU time: 179.504 s c =============================================================================== c | 29 | 1187 4459 54005 | 5000 29 305 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.504923 s Remaining CPU time: 179.495 s c =============================================================================== c | 29 | 1187 4460 54406 | 5000 29 305 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 0.513921 s Remaining CPU time: 179.486 s c =============================================================================== c | 29 | 1187 4461 54807 | 5000 29 305 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 0.52292 s Remaining CPU time: 179.477 s c =============================================================================== c | 29 | 1187 4462 55208 | 5000 29 305 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 0.530919 s Remaining CPU time: 179.469 s c =============================================================================== c | 29 | 1187 4463 55609 | 5000 29 305 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 0.539917 s Remaining CPU time: 179.46 s c =============================================================================== c | 29 | 1187 4464 56010 | 5000 29 305 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 0.549916 s Remaining CPU time: 179.45 s c =============================================================================== c | 29 | 1187 4465 56411 | 5000 29 305 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 0.559914 s Remaining CPU time: 179.44 s c =============================================================================== c | 29 | 1187 4466 56812 | 5000 29 305 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 0.574912 s Remaining CPU time: 179.425 s c =============================================================================== c | 59 | 1187 4467 57213 | 5000 59 294 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 0.583911 s Remaining CPU time: 179.416 s c =============================================================================== c | 59 | 1187 4468 57614 | 5000 59 294 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 0.593909 s Remaining CPU time: 179.406 s c =============================================================================== c | 59 | 1187 4469 58015 | 5000 59 294 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 0.603908 s Remaining CPU time: 179.396 s c =============================================================================== c | 60 | 1187 4470 58416 | 5000 60 293 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 0.614906 s Remaining CPU time: 179.385 s c =============================================================================== c | 62 | 1187 4471 58817 | 5000 62 293 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 0.629904 s Remaining CPU time: 179.37 s c =============================================================================== c | 94 | 1187 4472 59218 | 5000 94 288 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 0.642902 s Remaining CPU time: 179.357 s c =============================================================================== c | 102 | 1187 4473 59619 | 5000 102 287 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 0.6559 s Remaining CPU time: 179.344 s c =============================================================================== c | 110 | 1187 4474 60020 | 5000 110 286 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 0.664898 s Remaining CPU time: 179.335 s c =============================================================================== c | 111 | 1187 4475 60421 | 5000 111 286 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 0.675897 s Remaining CPU time: 179.324 s c =============================================================================== c | 118 | 1187 4476 60822 | 5000 118 285 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 0.688895 s Remaining CPU time: 179.311 s c =============================================================================== c | 125 | 1187 4477 61223 | 5000 125 285 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 0.700893 s Remaining CPU time: 179.299 s c =============================================================================== c | 131 | 1187 4478 61624 | 5000 131 284 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 0.724889 s Remaining CPU time: 179.275 s c =============================================================================== c | 185 | 1187 4479 62025 | 5000 185 280 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 0.736887 s Remaining CPU time: 179.263 s c =============================================================================== c | 187 | 1187 4480 62426 | 5000 187 280 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 0.748886 s Remaining CPU time: 179.251 s c =============================================================================== c | 192 | 1187 4481 62827 | 5000 192 280 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 0.762884 s Remaining CPU time: 179.237 s c =============================================================================== c | 201 | 1187 4482 63228 | 5000 201 279 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 0.775882 s Remaining CPU time: 179.224 s c =============================================================================== c | 208 | 1187 4483 63629 | 5000 208 279 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 0.78888 s Remaining CPU time: 179.211 s c =============================================================================== c | 213 | 1187 4484 64030 | 5000 213 279 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 0.814876 s Remaining CPU time: 179.185 s c =============================================================================== c | 276 | 1187 4485 64431 | 5000 276 275 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 0.833873 s Remaining CPU time: 179.166 s c =============================================================================== c | 315 | 1187 4486 64832 | 5000 315 274 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 0.85287 s Remaining CPU time: 179.147 s c =============================================================================== c | 345 | 1187 4487 65233 | 5000 345 273 | 0.000 % | c | 445 | 1187 4487 65233 | 5500 445 271 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 0.908861 s Remaining CPU time: 179.091 s c =============================================================================== c | 480 | 1187 4488 65634 | 5000 480 270 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 0.926859 s Remaining CPU time: 179.073 s c =============================================================================== c | 502 | 1187 4489 66035 | 5000 502 270 | 0.000 % | c | 602 | 1187 4489 66035 | 5500 602 268 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 1.01684 s Remaining CPU time: 178.983 s c =============================================================================== c | 731 | 1187 4490 66436 | 5000 731 267 | 0.000 % | c | 832 | 1187 4490 66436 | 5500 832 266 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 1.08184 s Remaining CPU time: 178.918 s c =============================================================================== c | 912 | 1187 4491 66837 | 5000 912 265 | 0.000 % | c | 1012 | 1187 4491 66837 | 5500 1012 265 | 0.000 % | c | 1162 | 1187 4491 66837 | 6050 1162 264 | 0.000 % | c | 1387 | 1187 4491 66837 | 6655 1387 263 | 0.000 % | c | 1724 | 1187 4491 66837 | 7320 1724 262 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 1.3408 s Remaining CPU time: 178.659 s c =============================================================================== c | 1793 | 1187 4492 67238 | 5000 1793 262 | 0.000 % | c | 1893 | 1187 4492 67238 | 5500 1893 262 | 0.000 % | c | 2043 | 1187 4492 67238 | 6050 2043 261 | 0.000 % | c | 2268 | 1187 4492 67238 | 6655 2268 261 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 1.53077 s Remaining CPU time: 178.469 s c =============================================================================== c | 2378 | 1187 4493 67639 | 5000 2378 261 | 0.000 % | c | 2479 | 1187 4493 67639 | 5500 2479 261 | 0.000 % | c | 2629 | 1187 4493 67639 | 6050 2629 260 | 0.000 % | c | 2854 | 1187 4493 67639 | 6655 2854 260 | 0.000 % | c | 3191 | 1187 4493 67639 | 7320 3191 260 | 0.000 % | c | 3698 | 1187 4493 67639 | 8052 3698 259 | 0.000 % | c | 4458 | 1187 4493 67639 | 8857 4458 259 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 2.25866 s Remaining CPU time: 177.741 s c =============================================================================== c | 4778 | 1187 4494 68040 | 5000 4778 259 | 0.000 % | c | 4878 | 1187 4494 68040 | 5500 4878 259 | 0.000 % | c | 5028 | 1187 4494 68040 | 6050 5028 259 | 0.000 % | c | 5253 | 1187 4494 68040 | 6655 5253 258 | 0.000 % | c | 5590 | 1187 4494 68040 | 7320 5590 258 | 0.000 % | c | 6096 | 1187 4494 68040 | 8052 6096 258 | 0.000 % | c | 6855 | 1187 4494 68040 | 8857 6855 258 | 0.000 % | c | 7994 | 1187 4494 68040 | 9743 7994 257 | 0.000 % | c | 9702 | 1187 4494 68040 | 10717 9702 257 | 0.000 % | c | 12264 | 1187 4494 68040 | 11789 6772 256 | 0.000 % | c | 16108 | 1187 4494 68040 | 12968 10616 256 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 6.01609 s Remaining CPU time: 173.984 s c =============================================================================== c | 16758 | 1187 4495 68441 | 5000 11266 256 | 0.000 % | c | 16859 | 1187 4495 68441 | 5500 2918 256 | 0.000 % | c | 17009 | 1187 4495 68441 | 6050 3068 256 | 0.000 % | c | 17234 | 1187 4495 68441 | 6655 3293 256 | 0.000 % | c | 17571 | 1187 4495 68441 | 7320 3630 256 | 0.000 % | c | 18077 | 1187 4495 68441 | 8052 4136 255 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 6.604 s Remaining CPU time: 173.396 s c =============================================================================== c | 18285 | 1187 4496 68842 | 5000 4344 255 | 0.000 % | c | 18386 | 1187 4496 68842 | 5500 4445 255 | 0.000 % | c | 18537 | 1187 4496 68842 | 6050 4596 255 | 0.000 % | c | 18762 | 1187 4496 68842 | 6655 4821 255 | 0.000 % | c | 19099 | 1187 4496 68842 | 7320 5158 255 | 0.000 % | c | 19605 | 1187 4496 68842 | 8052 5664 255 | 0.000 % | c | 20364 | 1187 4496 68842 | 8857 6423 255 | 0.000 % | c | 21503 | 1187 4496 68842 | 9743 7562 255 | 0.000 % | c | 23211 | 1187 4496 68842 | 10717 9270 255 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 8.87565 s Remaining CPU time: 171.124 s c =============================================================================== c | 24996 | 1187 4497 69243 | 5000 5549 254 | 0.000 % | c | 25096 | 1187 4497 69243 | 5500 2875 254 | 0.000 % | c | 25246 | 1187 4497 69243 | 6050 3025 254 | 0.000 % | c | 25472 | 1187 4497 69243 | 6655 3251 253 | 0.000 % | c | 25809 | 1187 4497 69243 | 7320 3588 253 | 0.000 % | c | 26315 | 1187 4497 69243 | 8052 4094 253 | 0.000 % | c | 27075 | 1187 4497 69243 | 8857 4854 253 | 0.000 % | c | 28214 | 1187 4497 69243 | 9743 5993 253 | 0.000 % | c | 29924 | 1187 4497 69243 | 10717 7703 253 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 10.8753 s Remaining CPU time: 169.125 s c =============================================================================== c | 31982 | 1187 4498 69644 | 5000 9761 253 | 0.000 % | c | 32082 | 1187 4498 69644 | 5500 4981 253 | 0.000 % | c | 32232 | 1187 4498 69644 | 6050 5131 253 | 0.000 % | c | 32457 | 1187 4498 69644 | 6655 5356 253 | 0.000 % | c | 32794 | 1187 4498 69644 | 7320 5693 253 | 0.000 % | c | 33300 | 1187 4498 69644 | 8052 6199 252 | 0.000 % | c | 34059 | 1187 4498 69644 | 8857 6958 252 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 11.7682 s Remaining CPU time: 168.232 s c =============================================================================== c | 34380 | 1187 4499 70045 | 5000 7279 252 | 0.000 % | c | 34480 | 1187 4499 70045 | 5500 3740 252 | 0.000 % | c | 34631 | 1187 4499 70045 | 6050 3891 252 | 0.000 % | c | 34857 | 1187 4499 70045 | 6655 4117 252 | 0.000 % | c | 35195 | 1187 4499 70045 | 7320 4455 251 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 12.2021 s Remaining CPU time: 167.798 s c =============================================================================== c | 35624 | 1187 4500 70446 | 5000 4884 251 | 0.000 % | c | 35724 | 1187 4500 70446 | 5500 4984 251 | 0.000 % | c | 35874 | 1187 4500 70446 | 6050 5134 251 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 12.3881 s Remaining CPU time: 167.612 s c =============================================================================== c | 36081 | 1187 4501 70847 | 5000 5341 251 | 0.000 % | c | 36181 | 1187 4501 70847 | 5500 2771 250 | 0.000 % | c | 36331 | 1187 4501 70847 | 6050 2921 250 | 0.000 % | c | 36556 | 1187 4501 70847 | 6655 3146 250 | 0.000 % | c | 36893 | 1187 4501 70847 | 7320 3483 250 | 0.000 % | c | 37399 | 1187 4501 70847 | 8052 3989 249 | 0.000 % | c | 38159 | 1187 4501 70847 | 8857 4749 249 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 13.137 s Remaining CPU time: 166.863 s c =============================================================================== c | 38416 | 1187 4502 71248 | 5000 5006 249 | 0.000 % | c | 38517 | 1187 4502 71248 | 5500 2604 248 | 0.000 % | c | 38667 | 1187 4502 71248 | 6050 2754 248 | 0.000 % | c | 38892 | 1187 4502 71248 | 6655 2979 248 | 0.000 % | c | 39230 | 1187 4502 71248 | 7320 3317 248 | 0.000 % | c | 39736 | 1187 4502 71248 | 8052 3823 248 | 0.000 % | c | 40496 | 1187 4502 71248 | 8857 4583 248 | 0.000 % | c | 41635 | 1187 4502 71248 | 9743 5722 248 | 0.000 % | c | 43343 | 1187 4502 71248 | 10717 7430 248 | 0.000 % | c | 45906 | 1187 4502 71248 | 11789 9993 248 | 0.000 % | c | 49750 | 1187 4502 71248 | 12968 7815 247 | 0.000 % | c | 55516 | 1187 4502 71248 | 14265 6923 248 | 0.000 % | c | 64166 | 1187 4502 71248 | 15692 8283 248 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 22.7195 s Remaining CPU time: 157.28 s c =============================================================================== c | 69553 | 1187 4503 71649 | 5000 13670 248 | 0.000 % | c | 69653 | 1187 4503 71649 | 5500 3518 248 | 0.000 % | c | 69803 | 1187 4503 71649 | 6050 3668 248 | 0.000 % | c | 70028 | 1187 4503 71649 | 6655 3893 248 | 0.000 % | c | 70365 | 1187 4503 71649 | 7320 4230 247 | 0.000 % | c | 70872 | 1187 4503 71649 | 8052 4737 247 | 0.000 % | c | 71631 | 1187 4503 71649 | 8857 5496 247 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 23.6934 s Remaining CPU time: 156.307 s c =============================================================================== c | 71943 | 1187 4504 72050 | 5000 5808 247 | 0.000 % | c | 72044 | 1187 4504 72050 | 5500 3005 246 | 0.000 % | c | 72194 | 1187 4504 72050 | 6050 3155 246 | 0.000 % | c | 72419 | 1187 4504 72050 | 6655 3380 246 | 0.000 % | c | 72756 | 1187 4504 72050 | 7320 3717 246 | 0.000 % | c | 73262 | 1187 4504 72050 | 8052 4223 246 | 0.000 % | c | 74021 | 1187 4504 72050 | 8857 4982 246 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 24.5743 s Remaining CPU time: 155.426 s c =============================================================================== c | 74728 | 1187 4505 72451 | 5000 5689 246 | 0.000 % | c | 74829 | 1187 4505 72451 | 5500 2946 245 | 0.000 % | c | 74979 | 1187 4505 72451 | 6050 3096 245 | 0.000 % | c | 75204 | 1187 4505 72451 | 6655 3321 245 | 0.000 % | c | 75541 | 1187 4505 72451 | 7320 3658 245 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 24.9532 s Remaining CPU time: 155.047 s c =============================================================================== c | 75730 | 1187 4506 72852 | 5000 3847 245 | 0.000 % | c | 75830 | 1187 4506 72852 | 5500 3947 245 | 0.000 % | c | 75980 | 1187 4506 72852 | 6050 4097 245 | 0.000 % | c | 76206 | 1187 4506 72852 | 6655 4323 245 | 0.000 % | c | 76543 | 1187 4506 72852 | 7320 4660 245 | 0.000 % | c | 77050 | 1187 4506 72852 | 8052 5167 245 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 25.4911 s Remaining CPU time: 154.509 s c =============================================================================== c | 77207 | 1187 4507 73253 | 5000 5324 244 | 0.000 % | c | 77307 | 1187 4507 73253 | 5500 2762 243 | 0.000 % | c | 77457 | 1187 4507 73253 | 6050 2912 243 | 0.000 % | c | 77683 | 1187 4507 73253 | 6655 3138 243 | 0.000 % | c | 78022 | 1187 4507 73253 | 7320 3477 243 | 0.000 % | c | 78529 | 1187 4507 73253 | 8052 3984 243 | 0.000 % | c | 79288 | 1187 4507 73253 | 8857 4743 243 | 0.000 % | c | 80429 | 1187 4507 73253 | 9743 5884 243 | 0.000 % | c | 82137 | 1187 4507 73253 | 10717 7592 243 | 0.000 % | c | 84699 | 1187 4507 73253 | 11789 10154 243 | 0.000 % | c | 88543 | 1187 4507 73253 | 12968 7970 243 | 0.000 % | c | 94309 | 1187 4507 73253 | 14265 7102 242 | 0.000 % | c | 102958 | 1187 4507 73253 | 15692 8476 243 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 35.4866 s Remaining CPU time: 144.513 s c =============================================================================== c | 105368 | 1187 4508 73654 | 5000 10886 243 | 0.000 % | c | 105468 | 1187 4508 73654 | 5500 2822 243 | 0.000 % | c | 105618 | 1187 4508 73654 | 6050 2972 243 | 0.000 % | c | 105843 | 1187 4508 73654 | 6655 3197 243 | 0.000 % | c | 106180 | 1187 4508 73654 | 7320 3534 243 | 0.000 % | c | 106686 | 1187 4508 73654 | 8052 4040 242 | 0.000 % | c | 107445 | 1187 4508 73654 | 8857 4799 242 | 0.000 % | c | 108584 | 1187 4508 73654 | 9743 5938 242 | 0.000 % | c | 110292 | 1187 4508 73654 | 10717 7646 242 | 0.000 % | c | 112854 | 1187 4508 73654 | 11789 10208 242 | 0.000 % | c | 116699 | 1187 4508 73654 | 12968 8034 242 | 0.000 % | c | 122465 | 1187 4508 73654 | 14265 7170 242 | 0.000 % | c | 131114 | 1187 4508 73654 | 15692 8561 242 | 0.000 % | c | 144089 | 1187 4508 73654 | 17261 13528 242 | 0.000 % | c | 163550 | 1187 4508 73654 | 18987 15439 242 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 61.8936 s Remaining CPU time: 118.106 s c =============================================================================== c | 167327 | 1187 4509 74055 | 5000 19216 242 | 0.000 % | c | 167427 | 1187 4509 74055 | 5500 4904 242 | 0.000 % | c | 167578 | 1187 4509 74055 | 6050 5055 242 | 0.000 % | c | 167804 | 1187 4509 74055 | 6655 5281 242 | 0.000 % | c | 168142 | 1187 4509 74055 | 7320 5619 242 | 0.000 % | c | 168648 | 1187 4509 74055 | 8052 6125 242 | 0.000 % | c | 169407 | 1187 4509 74055 | 8857 6884 242 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 63.0924 s Remaining CPU time: 116.908 s c =============================================================================== c | 169849 | 1187 4510 74456 | 5000 7326 242 | 0.000 % | c | 169949 | 1187 4510 74456 | 5500 3763 241 | 0.000 % | c | 170099 | 1187 4510 74456 | 6050 3913 241 | 0.000 % | c | 170325 | 1187 4510 74456 | 6655 4139 241 | 0.000 % | c | 170663 | 1187 4510 74456 | 7320 4477 241 | 0.000 % | c | 171169 | 1187 4510 74456 | 8052 4983 241 | 0.000 % | c | 171928 | 1187 4510 74456 | 8857 5742 241 | 0.000 % | c | 173068 | 1187 4510 74456 | 9743 6882 240 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 64.8731 s Remaining CPU time: 115.127 s c =============================================================================== c | 174184 | 1187 4511 74857 | 5000 7998 240 | 0.000 % | c | 174284 | 1187 4511 74857 | 5500 4099 240 | 0.000 % | c | 174434 | 1187 4511 74857 | 6050 4249 240 | 0.000 % | c | 174659 | 1187 4511 74857 | 6655 4474 240 | 0.000 % | c | 174997 | 1187 4511 74857 | 7320 4812 239 | 0.000 % | c | 175503 | 1187 4511 74857 | 8052 5318 239 | 0.000 % | c | 176262 | 1187 4511 74857 | 8857 6077 239 | 0.000 % | c | 177401 | 1187 4511 74857 | 9743 7216 239 | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 66.6859 s Remaining CPU time: 113.314 s c =============================================================================== c | 178948 | 1187 4512 75258 | 5000 8763 239 | 0.000 % | c | 179048 | 1187 4512 75258 | 5500 4482 238 | 0.000 % | c | 179199 | 1187 4512 75258 | 6050 4633 238 | 0.000 % | c | 179424 | 1187 4512 75258 | 6655 4858 238 | 0.000 % | c | 179761 | 1187 4512 75258 | 7320 5195 238 | 0.000 % | c | 180267 | 1187 4512 75258 | 8052 5701 238 | 0.000 % | c | 181027 | 1187 4512 75258 | 8857 6461 238 | 0.000 % | c | 182167 | 1187 4512 75258 | 9743 7601 238 | 0.000 % | c | 183875 | 1187 4512 75258 | 10717 9309 238 | 0.000 % | c | 186437 | 1187 4512 75258 | 11789 6374 238 | 0.000 % | c | 190281 | 1187 4512 75258 | 12968 10218 238 | 0.000 % | c | 196047 | 1187 4512 75258 | 14265 9343 238 | 0.000 % | c | 204696 | 1187 4512 75258 | 15692 10722 238 | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 78.857 s Remaining CPU time: 101.143 s c =============================================================================== c | 210076 | 1187 4513 75659 | 5000 8129 238 | 0.000 % | c | 210177 | 1187 4513 75659 | 5500 4166 238 | 0.000 % | c | 210328 | 1187 4513 75659 | 6050 4317 238 | 0.000 % | c | 210554 | 1187 4513 75659 | 6655 4543 238 | 0.000 % | c | 210891 | 1187 4513 75659 | 7320 4880 238 | 0.000 % | c | 211397 | 1187 4513 75659 | 8052 5386 238 | 0.000 % | c | 212157 | 1187 4513 75659 | 8857 6146 237 | 0.000 % | c | 213296 | 1187 4513 75659 | 9743 7285 237 | 0.000 % | c | 215004 | 1187 4513 75659 | 10717 8993 237 | 0.000 % | c | 217566 | 1187 4513 75659 | 11789 6067 237 | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 83.2823 s Remaining CPU time: 96.7177 s c =============================================================================== c | 221199 | 1187 4514 76060 | 5000 9700 237 | 0.000 % | c | 221300 | 1187 4514 76060 | 5500 4951 237 | 0.000 % | c | 221450 | 1187 4514 76060 | 6050 5101 237 | 0.000 % | c | 221675 | 1187 4514 76060 | 6655 5326 237 | 0.000 % | c | 222012 | 1187 4514 76060 | 7320 5663 237 | 0.000 % | c | 222518 | 1187 4514 76060 | 8052 6169 237 | 0.000 % | c | 223277 | 1187 4514 76060 | 8857 6928 237 | 0.000 % | c | 224416 | 1187 4514 76060 | 9743 8067 237 | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 85.351 s Remaining CPU time: 94.649 s c =============================================================================== c | 225907 | 1187 4515 76461 | 5000 9558 237 | 0.000 % | c | 226008 | 1187 4515 76461 | 5500 4880 236 | 0.000 % | c | 226158 | 1187 4515 76461 | 6050 5030 236 | 0.000 % | c | 226383 | 1187 4515 76461 | 6655 5255 236 | 0.000 % | c | 226720 | 1187 4515 76461 | 7320 5592 236 | 0.000 % | c | 227226 | 1187 4515 76461 | 8052 6098 236 | 0.000 % | c | 227985 | 1187 4515 76461 | 8857 6857 236 | 0.000 % | c | 229124 | 1187 4515 76461 | 9743 7996 236 | 0.000 % | c | 230832 | 1187 4515 76461 | 10717 9704 235 | 0.000 % | c | 233394 | 1187 4515 76461 | 11789 6780 235 | 0.000 % | c | 237238 | 1187 4515 76461 | 12968 10624 235 | 0.000 % | c | 243004 | 1187 4515 76461 | 14265 9753 235 | 0.000 % | c | 251653 | 1187 4515 76461 | 15692 11136 235 | 0.000 % | c | 264628 | 1187 4515 76461 | 17261 8146 235 | 0.000 % | c | 284090 | 1187 4515 76461 | 18987 10070 236 | 0.000 % | c | 313282 | 1187 4515 76461 | 20886 10338 235 | 0.000 % | c | 357071 | 1187 4515 76461 | 22974 11583 235 | 0.000 % |