c wbo 1.4 beta - 20100610 c | Number of variables: 800 | c | Number of clauses: 4329 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1186 | c | Number Clauses: 4317 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1186 4317 9036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 0 | 1186 4318 9434 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 1186 4319 9832 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1186 4320 10230 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1186 4321 10628 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1186 4322 11026 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1186 4323 11424 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1186 4324 11822 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1186 4325 12220 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1186 4326 12618 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1186 4327 13016 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1186 4328 13414 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1186 4329 13812 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1186 4330 14210 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1186 4331 14608 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1186 4332 15006 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 1186 4333 15404 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1186 4334 15802 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 1186 4335 16200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 1186 4336 16598 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 1186 4337 16996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 1186 4338 17394 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 1186 4339 17792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 1186 4340 18190 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 1186 4341 18588 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 1186 4342 18986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 1186 4343 19384 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 1186 4344 19782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 0 | 1186 4345 20180 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 1186 4346 20578 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 1186 4347 20976 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 0 | 1186 4348 21374 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 0 | 1186 4349 21772 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 0 | 1186 4350 22170 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 0 | 1186 4351 22568 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 0 | 1186 4352 22966 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 0 | 1186 4353 23364 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 0 | 1186 4354 23762 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 0 | 1186 4355 24160 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 0 | 1186 4356 24558 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 0 | 1186 4357 24956 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 1 | 1186 4358 25354 | 5000 1 360 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 1 | 1186 4359 25752 | 5000 1 360 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 1 | 1186 4360 26150 | 5000 1 360 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 1 | 1186 4361 26548 | 5000 1 360 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 1 | 1186 4362 26946 | 5000 1 360 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 1 | 1186 4363 27344 | 5000 1 360 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 1 | 1186 4364 27742 | 5000 1 360 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 1 | 1186 4365 28140 | 5000 1 360 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 1 | 1186 4366 28538 | 5000 1 360 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 1 | 1186 4367 28936 | 5000 1 360 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 1 | 1186 4368 29334 | 5000 1 360 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 1 | 1186 4369 29732 | 5000 1 360 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 1 | 1186 4370 30130 | 5000 1 360 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 1 | 1186 4371 30528 | 5000 1 360 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 1 | 1186 4372 30926 | 5000 1 360 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s c =============================================================================== c | 2 | 1186 4373 31324 | 5000 2 352 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 2 | 1186 4374 31722 | 5000 2 352 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 2 | 1186 4375 32120 | 5000 2 352 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 6 | 1186 4376 32518 | 5000 6 344 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 7 | 1186 4377 32916 | 5000 7 344 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s c =============================================================================== c | 8 | 1186 4378 33314 | 5000 8 343 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.174973 s Remaining CPU time: 179.825 s c =============================================================================== c | 9 | 1186 4379 33712 | 5000 9 342 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.179972 s Remaining CPU time: 179.82 s c =============================================================================== c | 10 | 1186 4380 34110 | 5000 10 342 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.184971 s Remaining CPU time: 179.815 s c =============================================================================== c | 11 | 1186 4381 34508 | 5000 11 341 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s c =============================================================================== c | 11 | 1186 4382 34906 | 5000 11 341 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 11 | 1186 4383 35304 | 5000 11 341 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.199969 s Remaining CPU time: 179.8 s c =============================================================================== c | 11 | 1186 4384 35702 | 5000 11 341 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.205968 s Remaining CPU time: 179.794 s c =============================================================================== c | 12 | 1186 4385 36100 | 5000 12 340 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s c =============================================================================== c | 19 | 1186 4386 36498 | 5000 19 337 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.216967 s Remaining CPU time: 179.783 s c =============================================================================== c | 20 | 1186 4387 36896 | 5000 20 336 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.222966 s Remaining CPU time: 179.777 s c =============================================================================== c | 26 | 1186 4388 37294 | 5000 26 334 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.229965 s Remaining CPU time: 179.77 s c =============================================================================== c | 31 | 1186 4389 37692 | 5000 31 333 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s c =============================================================================== c | 56 | 1186 4390 38090 | 5000 56 330 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.245962 s Remaining CPU time: 179.754 s c =============================================================================== c | 64 | 1186 4391 38488 | 5000 64 330 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s c =============================================================================== c | 71 | 1186 4392 38886 | 5000 71 329 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.26196 s Remaining CPU time: 179.738 s c =============================================================================== c | 79 | 1186 4393 39284 | 5000 79 329 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.270958 s Remaining CPU time: 179.729 s c =============================================================================== c | 90 | 1186 4394 39682 | 5000 90 328 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.275958 s Remaining CPU time: 179.724 s c =============================================================================== c | 92 | 1186 4395 40080 | 5000 92 328 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.280957 s Remaining CPU time: 179.719 s c =============================================================================== c | 95 | 1186 4396 40478 | 5000 95 328 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.288956 s Remaining CPU time: 179.711 s c =============================================================================== c | 104 | 1186 4397 40876 | 5000 104 327 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.298954 s Remaining CPU time: 179.701 s c =============================================================================== c | 113 | 1186 4398 41274 | 5000 113 326 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.306953 s Remaining CPU time: 179.693 s c =============================================================================== c | 122 | 1186 4399 41672 | 5000 122 326 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.32295 s Remaining CPU time: 179.677 s c =============================================================================== c | 165 | 1186 4400 42070 | 5000 165 323 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.333949 s Remaining CPU time: 179.666 s c =============================================================================== c | 188 | 1186 4401 42468 | 5000 188 322 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.348946 s Remaining CPU time: 179.651 s c =============================================================================== c | 221 | 1186 4402 42866 | 5000 221 321 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.360945 s Remaining CPU time: 179.639 s c =============================================================================== c | 239 | 1186 4403 43264 | 5000 239 321 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.377942 s Remaining CPU time: 179.622 s c =============================================================================== c | 277 | 1186 4404 43662 | 5000 277 320 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.394939 s Remaining CPU time: 179.605 s c =============================================================================== c | 314 | 1186 4405 44060 | 5000 314 319 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.417936 s Remaining CPU time: 179.582 s c =============================================================================== c | 381 | 1186 4406 44458 | 5000 381 317 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.426935 s Remaining CPU time: 179.573 s c =============================================================================== c | 390 | 1186 4407 44856 | 5000 390 317 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.445932 s Remaining CPU time: 179.554 s c =============================================================================== c | 435 | 1186 4408 45254 | 5000 435 316 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.45993 s Remaining CPU time: 179.54 s c =============================================================================== c | 470 | 1186 4409 45652 | 5000 470 316 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.472928 s Remaining CPU time: 179.527 s c =============================================================================== c | 489 | 1186 4410 46050 | 5000 489 315 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.493924 s Remaining CPU time: 179.506 s c =============================================================================== c | 534 | 1186 4411 46448 | 5000 534 315 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.507922 s Remaining CPU time: 179.492 s c =============================================================================== c | 561 | 1186 4412 46846 | 5000 561 314 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.529919 s Remaining CPU time: 179.47 s c =============================================================================== c | 606 | 1186 4413 47244 | 5000 606 313 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.552915 s Remaining CPU time: 179.447 s c =============================================================================== c | 655 | 1186 4414 47642 | 5000 655 313 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.571913 s Remaining CPU time: 179.428 s c =============================================================================== c | 696 | 1186 4415 48040 | 5000 696 312 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.59191 s Remaining CPU time: 179.408 s c =============================================================================== c | 740 | 1186 4416 48438 | 5000 740 311 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.605907 s Remaining CPU time: 179.394 s c =============================================================================== c | 774 | 1186 4417 48836 | 5000 774 311 | 0.000 % | c | 875 | 1186 4417 48836 | 5500 875 310 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.676897 s Remaining CPU time: 179.323 s c =============================================================================== c | 997 | 1186 4418 49234 | 5000 997 308 | 0.000 % | c | 1097 | 1186 4418 49234 | 5500 1097 308 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.727889 s Remaining CPU time: 179.272 s c =============================================================================== c | 1140 | 1186 4419 49632 | 5000 1140 307 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.756884 s Remaining CPU time: 179.243 s c =============================================================================== c | 1214 | 1186 4420 50030 | 5000 1214 307 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.775882 s Remaining CPU time: 179.224 s c =============================================================================== c | 1254 | 1186 4421 50428 | 5000 1254 306 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.804877 s Remaining CPU time: 179.195 s c =============================================================================== c | 1326 | 1186 4422 50826 | 5000 1326 305 | 0.000 % | c | 1426 | 1186 4422 50826 | 5500 1426 305 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.861868 s Remaining CPU time: 179.138 s c =============================================================================== c | 1491 | 1186 4423 51224 | 5000 1491 304 | 0.000 % | c | 1591 | 1186 4423 51224 | 5500 1591 304 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.91986 s Remaining CPU time: 179.08 s c =============================================================================== c | 1661 | 1186 4424 51622 | 5000 1661 303 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.952855 s Remaining CPU time: 179.047 s c =============================================================================== c | 1750 | 1186 4425 52020 | 5000 1750 303 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.964853 s Remaining CPU time: 179.035 s c =============================================================================== c | 1762 | 1186 4426 52418 | 5000 1762 302 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.989849 s Remaining CPU time: 179.01 s c =============================================================================== c | 1812 | 1186 4427 52816 | 5000 1812 302 | 0.000 % | c | 1912 | 1186 4427 52816 | 5500 1912 301 | 0.000 % | c | 2062 | 1186 4427 52816 | 6050 2062 301 | 0.000 % | c | 2287 | 1186 4427 52816 | 6655 2287 300 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 1.17982 s Remaining CPU time: 178.82 s c =============================================================================== c | 2413 | 1186 4428 53214 | 5000 2413 299 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 1.19182 s Remaining CPU time: 178.808 s c =============================================================================== c | 2424 | 1186 4429 53612 | 5000 2424 299 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 1.23281 s Remaining CPU time: 178.767 s c =============================================================================== c | 2519 | 1186 4430 54010 | 5000 2519 299 | 0.000 % | c | 2619 | 1186 4430 54010 | 5500 2619 298 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 1.3098 s Remaining CPU time: 178.69 s c =============================================================================== c | 2724 | 1186 4431 54408 | 5000 2724 298 | 0.000 % | c | 2824 | 1186 4431 54408 | 5500 2824 297 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 1.36279 s Remaining CPU time: 178.637 s c =============================================================================== c | 2873 | 1186 4432 54806 | 5000 2873 297 | 0.000 % | c | 2973 | 1186 4432 54806 | 5500 2973 297 | 0.000 % | c | 3123 | 1186 4432 54806 | 6050 3123 296 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 1.50977 s Remaining CPU time: 178.49 s c =============================================================================== c | 3252 | 1186 4433 55204 | 5000 3252 296 | 0.000 % | c | 3352 | 1186 4433 55204 | 5500 3352 295 | 0.000 % | c | 3502 | 1186 4433 55204 | 6050 3502 295 | 0.000 % | c | 3727 | 1186 4433 55204 | 6655 3727 294 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 1.70274 s Remaining CPU time: 178.297 s c =============================================================================== c | 3832 | 1186 4434 55602 | 5000 3832 294 | 0.000 % | c | 3932 | 1186 4434 55602 | 5500 3932 294 | 0.000 % | c | 4082 | 1186 4434 55602 | 6050 4082 293 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 1.84572 s Remaining CPU time: 178.154 s c =============================================================================== c | 4237 | 1186 4435 56000 | 5000 4237 293 | 0.000 % | c | 4337 | 1186 4435 56000 | 5500 4337 292 | 0.000 % | c | 4487 | 1186 4435 56000 | 6050 4487 292 | 0.000 % | c | 4712 | 1186 4435 56000 | 6655 4712 292 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 2.12568 s Remaining CPU time: 177.874 s c =============================================================================== c | 5000 | 1186 4436 56398 | 5000 5000 291 | 0.000 % | c | 5100 | 1186 4436 56398 | 5500 2600 283 | 0.000 % | c | 5250 | 1186 4436 56398 | 6050 2750 283 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 2.29565 s Remaining CPU time: 177.704 s c =============================================================================== c | 5376 | 1186 4437 56796 | 5000 2876 283 | 0.000 % | c | 5478 | 1186 4437 56796 | 5500 2978 283 | 0.000 % | c | 5629 | 1186 4437 56796 | 6050 3129 283 | 0.000 % | c | 5854 | 1186 4437 56796 | 6655 3354 282 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 2.56661 s Remaining CPU time: 177.433 s c =============================================================================== c | 6175 | 1186 4438 57194 | 5000 3675 282 | 0.000 % | c | 6275 | 1186 4438 57194 | 5500 3775 282 | 0.000 % | c | 6425 | 1186 4438 57194 | 6050 3925 282 | 0.000 % | c | 6650 | 1186 4438 57194 | 6655 4150 282 | 0.000 % | c | 6988 | 1186 4438 57194 | 7320 4488 282 | 0.000 % | c | 7494 | 1186 4438 57194 | 8052 4994 281 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 3.2875 s Remaining CPU time: 176.713 s c =============================================================================== c | 8191 | 1186 4439 57592 | 5000 5691 281 | 0.000 % | c | 8292 | 1186 4439 57592 | 5500 2947 279 | 0.000 % | c | 8442 | 1186 4439 57592 | 6050 3097 279 | 0.000 % | c | 8667 | 1186 4439 57592 | 6655 3322 279 | 0.000 % | c | 9004 | 1186 4439 57592 | 7320 3659 279 | 0.000 % | c | 9510 | 1186 4439 57592 | 8052 4165 279 | 0.000 % | c | 10269 | 1186 4439 57592 | 8857 4924 278 | 0.000 % | c | 11409 | 1186 4439 57592 | 9743 6064 278 | 0.000 % | c | 13118 | 1186 4439 57592 | 10717 7773 278 | 0.000 % | c | 15680 | 1186 4439 57592 | 11789 10335 278 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 7.58885 s Remaining CPU time: 172.411 s c =============================================================================== c | 18735 | 1186 4440 57990 | 5000 7340 278 | 0.000 % | c | 18836 | 1186 4440 57990 | 5500 3771 278 | 0.000 % | c | 18987 | 1186 4440 57990 | 6050 3922 278 | 0.000 % | c | 19212 | 1186 4440 57990 | 6655 4147 278 | 0.000 % | c | 19552 | 1186 4440 57990 | 7320 4487 278 | 0.000 % | c | 20060 | 1186 4440 57990 | 8052 4995 278 | 0.000 % | c | 20819 | 1186 4440 57990 | 8857 5754 277 | 0.000 % | c | 21958 | 1186 4440 57990 | 9743 6893 277 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 9.42957 s Remaining CPU time: 170.57 s c =============================================================================== c | 23079 | 1186 4441 58388 | 5000 8014 277 | 0.000 % | c | 23179 | 1186 4441 58388 | 5500 4107 277 | 0.000 % | c | 23330 | 1186 4441 58388 | 6050 4258 276 | 0.000 % | c | 23556 | 1186 4441 58388 | 6655 4484 276 | 0.000 % | c | 23894 | 1186 4441 58388 | 7320 4822 276 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 9.8865 s Remaining CPU time: 170.114 s c =============================================================================== c | 24298 | 1186 4442 58786 | 5000 5226 276 | 0.000 % | c | 24398 | 1186 4442 58786 | 5500 2713 276 | 0.000 % | c | 24548 | 1186 4442 58786 | 6050 2863 276 | 0.000 % | c | 24774 | 1186 4442 58786 | 6655 3089 276 | 0.000 % | c | 25111 | 1186 4442 58786 | 7320 3426 275 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 10.2774 s Remaining CPU time: 169.723 s c =============================================================================== c | 25421 | 1186 4443 59184 | 5000 3736 275 | 0.000 % | c | 25521 | 1186 4443 59184 | 5500 3836 275 | 0.000 % | c | 25671 | 1186 4443 59184 | 6050 3986 275 | 0.000 % | c | 25896 | 1186 4443 59184 | 6655 4211 275 | 0.000 % | c | 26234 | 1186 4443 59184 | 7320 4549 275 | 0.000 % | c | 26741 | 1186 4443 59184 | 8052 5056 275 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 10.8863 s Remaining CPU time: 169.114 s c =============================================================================== c | 27193 | 1186 4444 59582 | 5000 5508 275 | 0.000 % | c | 27293 | 1186 4444 59582 | 5500 2854 274 | 0.000 % | c | 27443 | 1186 4444 59582 | 6050 3004 273 | 0.000 % | c | 27668 | 1186 4444 59582 | 6655 3229 273 | 0.000 % | c | 28005 | 1186 4444 59582 | 7320 3566 273 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 11.3093 s Remaining CPU time: 168.691 s c =============================================================================== c | 28493 | 1186 4445 59980 | 5000 4054 273 | 0.000 % | c | 28593 | 1186 4445 59980 | 5500 4154 273 | 0.000 % | c | 28743 | 1186 4445 59980 | 6050 4304 273 | 0.000 % | c | 28968 | 1186 4445 59980 | 6655 4529 273 | 0.000 % | c | 29306 | 1186 4445 59980 | 7320 4867 273 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 11.5772 s Remaining CPU time: 168.423 s c =============================================================================== c | 29308 | 1186 4446 60378 | 5000 4869 273 | 0.000 % | c | 29409 | 1186 4446 60378 | 5500 4970 273 | 0.000 % | c | 29559 | 1186 4446 60378 | 6050 5120 273 | 0.000 % | c | 29784 | 1186 4446 60378 | 6655 5345 273 | 0.000 % | c | 30121 | 1186 4446 60378 | 7320 5682 273 | 0.000 % | c | 30627 | 1186 4446 60378 | 8052 6188 272 | 0.000 % | c | 31388 | 1186 4446 60378 | 8857 6949 272 | 0.000 % | c | 32527 | 1186 4446 60378 | 9743 8088 272 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 12.5761 s Remaining CPU time: 167.424 s c =============================================================================== c | 32660 | 1186 4447 60776 | 5000 8221 272 | 0.000 % | c | 32760 | 1186 4447 60776 | 5500 4211 271 | 0.000 % | c | 32911 | 1186 4447 60776 | 6050 4362 270 | 0.000 % | c | 33136 | 1186 4447 60776 | 6655 4587 270 | 0.000 % | c | 33475 | 1186 4447 60776 | 7320 4926 270 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 12.866 s Remaining CPU time: 167.134 s c =============================================================================== c | 33513 | 1186 4448 61174 | 5000 4964 270 | 0.000 % | c | 33613 | 1186 4448 61174 | 5500 5064 270 | 0.000 % | c | 33763 | 1186 4448 61174 | 6050 5214 270 | 0.000 % | c | 33988 | 1186 4448 61174 | 6655 5439 270 | 0.000 % | c | 34326 | 1186 4448 61174 | 7320 5777 270 | 0.000 % | c | 34832 | 1186 4448 61174 | 8052 6283 270 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 13.405 s Remaining CPU time: 166.595 s c =============================================================================== c | 35129 | 1186 4449 61572 | 5000 6580 270 | 0.000 % | c | 35230 | 1186 4449 61572 | 5500 3391 269 | 0.000 % | c | 35380 | 1186 4449 61572 | 6050 3541 269 | 0.000 % | c | 35606 | 1186 4449 61572 | 6655 3767 269 | 0.000 % | c | 35943 | 1186 4449 61572 | 7320 4104 269 | 0.000 % | c | 36449 | 1186 4449 61572 | 8052 4610 269 | 0.000 % | c | 37209 | 1186 4449 61572 | 8857 5370 269 | 0.000 % | c | 38348 | 1186 4449 61572 | 9743 6509 268 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 14.4648 s Remaining CPU time: 165.535 s c =============================================================================== c | 38429 | 1186 4450 61970 | 5000 6590 268 | 0.000 % | c | 38529 | 1186 4450 61970 | 5500 3395 267 | 0.000 % | c | 38679 | 1186 4450 61970 | 6050 3545 267 | 0.000 % | c | 38904 | 1186 4450 61970 | 6655 3770 267 | 0.000 % | c | 39242 | 1186 4450 61970 | 7320 4108 267 | 0.000 % | c | 39748 | 1186 4450 61970 | 8052 4614 267 | 0.000 % | c | 40507 | 1186 4450 61970 | 8857 5373 267 | 0.000 % | c | 41646 | 1186 4450 61970 | 9743 6512 267 | 0.000 % | c | 43354 | 1186 4450 61970 | 10717 8220 267 | 0.000 % | c | 45916 | 1186 4450 61970 | 11789 10782 267 | 0.000 % | c | 49760 | 1186 4450 61970 | 12968 8584 267 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 20.2369 s Remaining CPU time: 159.763 s c =============================================================================== c | 53986 | 1186 4451 62368 | 5000 12810 267 | 0.000 % | c | 54086 | 1186 4451 62368 | 5500 3303 267 | 0.000 % | c | 54236 | 1186 4451 62368 | 6050 3453 267 | 0.000 % | c | 54461 | 1186 4451 62368 | 6655 3678 267 | 0.000 % | c | 54799 | 1186 4451 62368 | 7320 4016 267 | 0.000 % | c | 55305 | 1186 4451 62368 | 8052 4522 267 | 0.000 % | c | 56064 | 1186 4451 62368 | 8857 5281 266 | 0.000 % | c | 57203 | 1186 4451 62368 | 9743 6420 266 | 0.000 % | c | 58912 | 1186 4451 62368 | 10717 8129 266 | 0.000 % | c | 61476 | 1186 4451 62368 | 11789 10693 266 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 24.9552 s Remaining CPU time: 155.045 s c =============================================================================== c | 65259 | 1186 4452 62766 | 5000 8441 266 | 0.000 % | c | 65359 | 1186 4452 62766 | 5500 4321 266 | 0.000 % | c | 65509 | 1186 4452 62766 | 6050 4471 266 | 0.000 % | c | 65734 | 1186 4452 62766 | 6655 4696 266 | 0.000 % | c | 66071 | 1186 4452 62766 | 7320 5033 266 | 0.000 % | c | 66577 | 1186 4452 62766 | 8052 5539 266 | 0.000 % | c | 67336 | 1186 4452 62766 | 8857 6298 266 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 26.03 s Remaining CPU time: 153.97 s c =============================================================================== c | 68308 | 1186 4453 63164 | 5000 7270 266 | 0.000 % | c | 68409 | 1186 4453 63164 | 5500 3736 265 | 0.000 % | c | 68559 | 1186 4453 63164 | 6050 3886 265 | 0.000 % | c | 68784 | 1186 4453 63164 | 6655 4111 265 | 0.000 % | c | 69121 | 1186 4453 63164 | 7320 4448 265 | 0.000 % | c | 69627 | 1186 4453 63164 | 8052 4954 264 | 0.000 % | c | 70386 | 1186 4453 63164 | 8857 5713 264 | 0.000 % | c | 71525 | 1186 4453 63164 | 9743 6852 264 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 27.1799 s Remaining CPU time: 152.82 s c =============================================================================== c | 71919 | 1186 4454 63562 | 5000 7246 264 | 0.000 % | c | 72019 | 1186 4454 63562 | 5500 3723 264 | 0.000 % | c | 72170 | 1186 4454 63562 | 6050 3874 263 | 0.000 % | c | 72395 | 1186 4454 63562 | 6655 4099 263 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 27.4728 s Remaining CPU time: 152.527 s c =============================================================================== c | 72684 | 1186 4455 63960 | 5000 4388 263 | 0.000 % | c | 72784 | 1186 4455 63960 | 5500 4488 263 | 0.000 % | c | 72935 | 1186 4455 63960 | 6050 4639 263 | 0.000 % | c | 73160 | 1186 4455 63960 | 6655 4864 263 | 0.000 % | c | 73497 | 1186 4455 63960 | 7320 5201 263 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 27.8228 s Remaining CPU time: 152.177 s c =============================================================================== c | 73732 | 1186 4456 64358 | 5000 5436 263 | 0.000 % | c | 73832 | 1186 4456 64358 | 5500 2818 262 | 0.000 % | c | 73982 | 1186 4456 64358 | 6050 2968 262 | 0.000 % | c | 74207 | 1186 4456 64358 | 6655 3193 262 | 0.000 % | c | 74545 | 1186 4456 64358 | 7320 3531 262 | 0.000 % | c | 75051 | 1186 4456 64358 | 8052 4037 262 | 0.000 % | c | 75811 | 1186 4456 64358 | 8857 4797 262 | 0.000 % | c | 76950 | 1186 4456 64358 | 9743 5936 261 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 28.8836 s Remaining CPU time: 151.116 s c =============================================================================== c | 77121 | 1186 4457 64756 | 5000 6107 261 | 0.000 % | c | 77222 | 1186 4457 64756 | 5500 3155 260 | 0.000 % | c | 77373 | 1186 4457 64756 | 6050 3306 260 | 0.000 % | c | 77598 | 1186 4457 64756 | 6655 3531 260 | 0.000 % | c | 77935 | 1186 4457 64756 | 7320 3868 260 | 0.000 % | c | 78441 | 1186 4457 64756 | 8052 4374 260 | 0.000 % | c | 79200 | 1186 4457 64756 | 8857 5133 260 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 29.6535 s Remaining CPU time: 150.347 s c =============================================================================== c | 79210 | 1186 4458 65154 | 5000 5143 260 | 0.000 % | c | 79310 | 1186 4458 65154 | 5500 2672 259 | 0.000 % | c | 79460 | 1186 4458 65154 | 6050 2822 259 | 0.000 % | c | 79685 | 1186 4458 65154 | 6655 3047 259 | 0.000 % | c | 80023 | 1186 4458 65154 | 7320 3385 259 | 0.000 % | c | 80530 | 1186 4458 65154 | 8052 3892 259 | 0.000 % | c | 81290 | 1186 4458 65154 | 8857 4652 259 | 0.000 % | c | 82430 | 1186 4458 65154 | 9743 5792 259 | 0.000 % | c | 84138 | 1186 4458 65154 | 10717 7500 259 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 31.6342 s Remaining CPU time: 148.366 s c =============================================================================== c | 84326 | 1186 4459 65552 | 5000 7688 259 | 0.000 % | c | 84426 | 1186 4459 65552 | 5500 3944 259 | 0.000 % | c | 84576 | 1186 4459 65552 | 6050 4094 259 | 0.000 % | c | 84801 | 1186 4459 65552 | 6655 4319 259 | 0.000 % | c | 85138 | 1186 4459 65552 | 7320 4656 259 | 0.000 % | c | 85644 | 1186 4459 65552 | 8052 5162 259 | 0.000 % | c | 86403 | 1186 4459 65552 | 8857 5921 259 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 32.69 s Remaining CPU time: 147.31 s c =============================================================================== c | 87381 | 1186 4460 65950 | 5000 6899 259 | 0.000 % | c | 87481 | 1186 4460 65950 | 5500 3550 258 | 0.000 % | c | 87632 | 1186 4460 65950 | 6050 3701 258 | 0.000 % | c | 87857 | 1186 4460 65950 | 6655 3926 258 | 0.000 % | c | 88194 | 1186 4460 65950 | 7320 4263 258 | 0.000 % | c | 88700 | 1186 4460 65950 | 8052 4769 258 | 0.000 % | c | 89459 | 1186 4460 65950 | 8857 5528 258 | 0.000 % | c | 90598 | 1186 4460 65950 | 9743 6667 257 | 0.000 % | c | 92307 | 1186 4460 65950 | 10717 8376 257 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 34.5387 s Remaining CPU time: 145.461 s c =============================================================================== c | 92916 | 1186 4461 66348 | 5000 8985 257 | 0.000 % | c | 93016 | 1186 4461 66348 | 5500 4593 257 | 0.000 % | c | 93166 | 1186 4461 66348 | 6050 4743 257 | 0.000 % | c | 93391 | 1186 4461 66348 | 6655 4968 257 | 0.000 % | c | 93728 | 1186 4461 66348 | 7320 5305 257 | 0.000 % | c | 94234 | 1186 4461 66348 | 8052 5811 257 | 0.000 % | c | 94993 | 1186 4461 66348 | 8857 6570 257 | 0.000 % | c | 96133 | 1186 4461 66348 | 9743 7710 257 | 0.000 % | c | 97841 | 1186 4461 66348 | 10717 9418 256 | 0.000 % | c | 100403 | 1186 4461 66348 | 11789 6477 256 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 37.9052 s Remaining CPU time: 142.095 s c =============================================================================== c | 102626 | 1186 4462 66746 | 5000 8700 256 | 0.000 % | c | 102726 | 1186 4462 66746 | 5500 4450 256 | 0.000 % | c | 102876 | 1186 4462 66746 | 6050 4600 256 | 0.000 % | c | 103103 | 1186 4462 66746 | 6655 4827 256 | 0.000 % | c | 103440 | 1186 4462 66746 | 7320 5164 256 | 0.000 % | c | 103947 | 1186 4462 66746 | 8052 5671 256 | 0.000 % | c | 104706 | 1186 4462 66746 | 8857 6430 256 | 0.000 % | c | 105846 | 1186 4462 66746 | 9743 7570 256 | 0.000 % | c | 107554 | 1186 4462 66746 | 10717 9278 255 | 0.000 % | c | 110116 | 1186 4462 66746 | 11789 6309 255 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 40.8828 s Remaining CPU time: 139.117 s c =============================================================================== c | 110129 | 1186 4463 67144 | 5000 6322 255 | 0.000 % | c | 110229 | 1186 4463 67144 | 5500 3261 255 | 0.000 % | c | 110380 | 1186 4463 67144 | 6050 3412 255 | 0.000 % | c | 110605 | 1186 4463 67144 | 6655 3637 255 | 0.000 % | c | 110942 | 1186 4463 67144 | 7320 3974 255 | 0.000 % | c | 111448 | 1186 4463 67144 | 8052 4480 255 | 0.000 % | c | 112207 | 1186 4463 67144 | 8857 5239 255 | 0.000 % | c | 113346 | 1186 4463 67144 | 9743 6378 255 | 0.000 % | c | 115054 | 1186 4463 67144 | 10717 8086 254 | 0.000 % | c | 117616 | 1186 4463 67144 | 11789 10648 254 | 0.000 % | c | 121460 | 1186 4463 67144 | 12968 8450 254 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 45.729 s Remaining CPU time: 134.271 s c =============================================================================== c | 123186 | 1186 4464 67542 | 5000 10176 254 | 0.000 % | c | 123286 | 1186 4464 67542 | 5500 2644 254 | 0.000 % | c | 123436 | 1186 4464 67542 | 6050 2794 254 | 0.000 % | c | 123661 | 1186 4464 67542 | 6655 3019 254 | 0.000 % | c | 123998 | 1186 4464 67542 | 7320 3356 253 | 0.000 % | c | 124504 | 1186 4464 67542 | 8052 3862 253 | 0.000 % | c | 125263 | 1186 4464 67542 | 8857 4621 253 | 0.000 % | c | 126402 | 1186 4464 67542 | 9743 5760 253 | 0.000 % | c | 128110 | 1186 4464 67542 | 10717 7468 253 | 0.000 % | c | 130672 | 1186 4464 67542 | 11789 10030 253 | 0.000 % | c | 134517 | 1186 4464 67542 | 12968 7830 253 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 50.9183 s Remaining CPU time: 129.082 s c =============================================================================== c | 138646 | 1186 4465 67940 | 5000 11959 253 | 0.000 % | c | 138746 | 1186 4465 67940 | 5500 3090 253 | 0.000 % | c | 138896 | 1186 4465 67940 | 6050 3240 253 | 0.000 % | c | 139121 | 1186 4465 67940 | 6655 3465 253 | 0.000 % | c | 139458 | 1186 4465 67940 | 7320 3802 253 | 0.000 % | c | 139964 | 1186 4465 67940 | 8052 4308 252 | 0.000 % | c | 140723 | 1186 4465 67940 | 8857 5067 252 | 0.000 % | c | 141862 | 1186 4465 67940 | 9743 6206 252 | 0.000 % | c | 143570 | 1186 4465 67940 | 10717 7914 252 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 52.673 s Remaining CPU time: 127.327 s c =============================================================================== c | 144583 | 1186 4466 68338 | 5000 8927 252 | 0.000 % | c | 144683 | 1186 4466 68338 | 5500 4564 252 | 0.000 % | c | 144833 | 1186 4466 68338 | 6050 4714 252 | 0.000 % | c | 145059 | 1186 4466 68338 | 6655 4940 252 | 0.000 % | c | 145396 | 1186 4466 68338 | 7320 5277 252 | 0.000 % | c | 145903 | 1186 4466 68338 | 8052 5784 252 | 0.000 % | c | 146662 | 1186 4466 68338 | 8857 6543 252 | 0.000 % | c | 147801 | 1186 4466 68338 | 9743 7682 251 | 0.000 % | c | 149509 | 1186 4466 68338 | 10717 9390 251 | 0.000 % | c | 152071 | 1186 4466 68338 | 11789 6451 251 | 0.000 % | c | 155915 | 1186 4466 68338 | 12968 10295 251 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 57.0523 s Remaining CPU time: 122.948 s c =============================================================================== c | 159065 | 1186 4467 68736 | 5000 6813 251 | 0.000 % | c | 159166 | 1186 4467 68736 | 5500 3508 251 | 0.000 % | c | 159317 | 1186 4467 68736 | 6050 3659 251 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 57.1843 s Remaining CPU time: 122.816 s c =============================================================================== c | 159369 | 1186 4468 69134 | 5000 3711 251 | 0.000 % | c | 159470 | 1186 4468 69134 | 5500 3812 250 | 0.000 % | c | 159620 | 1186 4468 69134 | 6050 3962 250 | 0.000 % | c | 159845 | 1186 4468 69134 | 6655 4187 250 | 0.000 % | c | 160183 | 1186 4468 69134 | 7320 4525 250 | 0.000 % | c | 160689 | 1186 4468 69134 | 8052 5031 250 | 0.000 % | c | 161448 | 1186 4468 69134 | 8857 5790 250 | 0.000 % | c | 162587 | 1186 4468 69134 | 9743 6929 250 | 0.000 % | c | 164295 | 1186 4468 69134 | 10717 8637 250 | 0.000 % | c | 166858 | 1186 4468 69134 | 11789 5714 249 | 0.000 % | c | 170703 | 1186 4468 69134 | 12968 9559 249 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 60.5178 s Remaining CPU time: 119.482 s c =============================================================================== c | 170779 | 1186 4469 69532 | 5000 9635 249 | 0.000 % | c | 170880 | 1186 4469 69532 | 5500 4919 249 | 0.000 % | c | 171030 | 1186 4469 69532 | 6050 5069 249 | 0.000 % | c | 171255 | 1186 4469 69532 | 6655 5294 249 | 0.000 % | c | 171592 | 1186 4469 69532 | 7320 5631 249 | 0.000 % | c | 172098 | 1186 4469 69532 | 8052 6137 249 | 0.000 % | c | 172857 | 1186 4469 69532 | 8857 6896 248 | 0.000 % | c | 173997 | 1186 4469 69532 | 9743 8036 248 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 61.9706 s Remaining CPU time: 118.029 s c =============================================================================== c | 175227 | 1186 4470 69930 | 5000 9266 248 | 0.000 % | c | 175327 | 1186 4470 69930 | 5500 4733 248 | 0.000 % | c | 175477 | 1186 4470 69930 | 6050 4883 248 | 0.000 % | c | 175702 | 1186 4470 69930 | 6655 5108 248 | 0.000 % | c | 176040 | 1186 4470 69930 | 7320 5446 248 | 0.000 % | c | 176546 | 1186 4470 69930 | 8052 5952 248 | 0.000 % | c | 177305 | 1186 4470 69930 | 8857 6711 248 | 0.000 % | c | 178444 | 1186 4470 69930 | 9743 7850 247 | 0.000 % | c | 180152 | 1186 4470 69930 | 10717 9558 247 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 64.2182 s Remaining CPU time: 115.782 s c =============================================================================== c | 182193 | 1186 4471 70328 | 5000 6092 247 | 0.000 % | c | 182293 | 1186 4471 70328 | 5500 3146 246 | 0.000 % | c | 182443 | 1186 4471 70328 | 6050 3296 246 | 0.000 % | c | 182668 | 1186 4471 70328 | 6655 3521 246 | 0.000 % | c | 183006 | 1186 4471 70328 | 7320 3859 246 | 0.000 % | c | 183512 | 1186 4471 70328 | 8052 4365 246 | 0.000 % | c | 184272 | 1186 4471 70328 | 8857 5125 246 | 0.000 % | c | 185413 | 1186 4471 70328 | 9743 6266 246 | 0.000 % | c | 187121 | 1186 4471 70328 | 10717 7974 246 | 0.000 % | c | 189683 | 1186 4471 70328 | 11789 10536 246 | 0.000 % | c | 193528 | 1186 4471 70328 | 12968 8345 246 | 0.000 % | c | 199295 | 1186 4471 70328 | 14265 7497 246 | 0.000 % | c | 207944 | 1186 4471 70328 | 15692 8890 246 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 78.0801 s Remaining CPU time: 101.92 s c =============================================================================== c | 219774 | 1186 4472 70726 | 5000 12738 247 | 0.000 % | c | 219874 | 1186 4472 70726 | 5500 3285 247 | 0.000 % | c | 220024 | 1186 4472 70726 | 6050 3435 247 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 78.3541 s Remaining CPU time: 101.646 s c =============================================================================== c | 220106 | 1186 4473 71124 | 5000 3517 246 | 0.000 % | c | 220206 | 1186 4473 71124 | 5500 3617 246 | 0.000 % | c | 220356 | 1186 4473 71124 | 6050 3767 246 | 0.000 % | c | 220582 | 1186 4473 71124 | 6655 3993 246 | 0.000 % | c | 220919 | 1186 4473 71124 | 7320 4330 246 | 0.000 % | c | 221425 | 1186 4473 71124 | 8052 4836 246 | 0.000 % | c | 222184 | 1186 4473 71124 | 8857 5595 246 | 0.000 % | c | 223324 | 1186 4473 71124 | 9743 6735 246 | 0.000 % | c | 225032 | 1186 4473 71124 | 10717 8443 245 | 0.000 % | c | 227594 | 1186 4473 71124 | 11789 5507 245 | 0.000 % | c | 231438 | 1186 4473 71124 | 12968 9351 245 | 0.000 % | c | 237204 | 1186 4473 71124 | 14265 8500 245 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 85.664 s Remaining CPU time: 94.336 s c =============================================================================== c | 239881 | 1186 4474 71522 | 5000 11177 245 | 0.000 % | c | 239981 | 1186 4474 71522 | 5500 2895 244 | 0.000 % | c | 240131 | 1186 4474 71522 | 6050 3045 244 | 0.000 % | c | 240356 | 1186 4474 71522 | 6655 3270 244 | 0.000 % | c | 240693 | 1186 4474 71522 | 7320 3607 244 | 0.000 % | c | 241199 | 1186 4474 71522 | 8052 4113 244 | 0.000 % | c | 241958 | 1186 4474 71522 | 8857 4872 244 | 0.000 % | c | 243097 | 1186 4474 71522 | 9743 6011 244 | 0.000 % | c | 244805 | 1186 4474 71522 | 10717 7719 244 | 0.000 % | c | 247367 | 1186 4474 71522 | 11789 10281 244 | 0.000 % | c | 251211 | 1186 4474 71522 | 12968 8104 244 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 90.1523 s Remaining CPU time: 89.8477 s c =============================================================================== c | 253196 | 1186 4475 71920 | 5000 10089 244 | 0.000 % | c | 253296 | 1186 4475 71920 | 5500 2623 244 | 0.000 % | c | 253446 | 1186 4475 71920 | 6050 2773 244 | 0.000 % | c | 253671 | 1186 4475 71920 | 6655 2998 244 | 0.000 % | c | 254009 | 1186 4475 71920 | 7320 3336 244 | 0.000 % | c | 254515 | 1186 4475 71920 | 8052 3842 244 | 0.000 % | c | 255275 | 1186 4475 71920 | 8857 4602 244 | 0.000 % | c | 256414 | 1186 4475 71920 | 9743 5741 243 | 0.000 % | c | 258122 | 1186 4475 71920 | 10717 7449 243 | 0.000 % | c | 260686 | 1186 4475 71920 | 11789 10013 243 | 0.000 % | c | 264530 | 1186 4475 71920 | 12968 7812 243 | 0.000 % | c | 270296 | 1186 4475 71920 | 14265 6941 243 | 0.000 % | c | 278946 | 1186 4475 71920 | 15692 8290 243 | 0.000 % | c | 291920 | 1186 4475 71920 | 17261 13275 243 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 107.037 s Remaining CPU time: 72.9633 s c =============================================================================== c | 296406 | 1186 4476 72318 | 5000 8984 243 | 0.000 % | c | 296506 | 1186 4476 72318 | 5500 4592 243 | 0.000 % | c | 296656 | 1186 4476 72318 | 6050 4742 243 | 0.000 % | c | 296881 | 1186 4476 72318 | 6655 4967 243 | 0.000 % | c | 297218 | 1186 4476 72318 | 7320 5304 243 | 0.000 % | c | 297724 | 1186 4476 72318 | 8052 5810 243 | 0.000 % | c | 298484 | 1186 4476 72318 | 8857 6570 242 | 0.000 % | c | 299623 | 1186 4476 72318 | 9743 7709 242 | 0.000 % | c | 301331 | 1186 4476 72318 | 10717 9417 242 | 0.000 % | c | 303893 | 1186 4476 72318 | 11789 6465 241 | 0.000 % | c | 307737 | 1186 4476 72318 | 12968 10309 241 | 0.000 % | c | 313503 | 1186 4476 72318 | 14265 9439 242 | 0.000 % | c | 322152 | 1186 4476 72318 | 15692 10794 242 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 118.949 s Remaining CPU time: 61.0511 s c =============================================================================== c | 325751 | 1186 4477 72716 | 5000 14393 242 | 0.000 % | c | 325851 | 1186 4477 72716 | 5500 3699 241 | 0.000 % | c | 326002 | 1186 4477 72716 | 6050 3850 241 | 0.000 % | c | 326228 | 1186 4477 72716 | 6655 4076 241 | 0.000 % | c | 326565 | 1186 4477 72716 | 7320 4413 241 | 0.000 % | c | 327071 | 1186 4477 72716 | 8052 4919 241 | 0.000 % | c | 327830 | 1186 4477 72716 | 8857 5678 241 | 0.000 % | c | 328969 | 1186 4477 72716 | 9743 6817 241 | 0.000 % | c | 330677 | 1186 4477 72716 | 10717 8525 241 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 121.504 s Remaining CPU time: 58.4965 s c =============================================================================== c | 332394 | 1186 4478 73114 | 5000 10242 241 | 0.000 % | c | 332494 | 1186 4478 73114 | 5500 2661 240 | 0.000 % | c | 332645 | 1186 4478 73114 | 6050 2812 240 | 0.000 % | c | 332870 | 1186 4478 73114 | 6655 3037 240 | 0.000 % | c | 333207 | 1186 4478 73114 | 7320 3374 240 | 0.000 % | c | 333713 | 1186 4478 73114 | 8052 3880 240 | 0.000 % | c | 334472 | 1186 4478 73114 | 8857 4639 240 | 0.000 % | c | 335612 | 1186 4478 73114 | 9743 5779 240 | 0.000 % | c | 337320 | 1186 4478 73114 | 10717 7487 240 | 0.000 % | c | 339882 | 1186 4478 73114 | 11789 10049 240 | 0.000 % | c | 343726 | 1186 4478 73114 | 12968 7870 239 | 0.000 % | c | 349492 | 1186 4478 73114 | 14265 7018 239 | 0.000 % |