c wbo 1.4 beta - 20100610 c | Number of variables: 800 | c | Number of clauses: 4369 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1186 | c | Number Clauses: 4354 | 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 4354 9107 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 1186 4355 9508 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1186 4356 9909 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1186 4357 10310 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1186 4358 10711 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 1186 4359 11112 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1186 4360 11513 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1186 4361 11914 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1186 4362 12315 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1186 4363 12716 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1186 4364 13117 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1186 4365 13518 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1186 4366 13919 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1186 4367 14320 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1186 4368 14721 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1186 4369 15122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 1186 4370 15523 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 1186 4371 15924 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 1186 4372 16325 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 1186 4373 16726 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 1186 4374 17127 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 1186 4375 17528 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 1186 4376 17929 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 1186 4377 18330 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 1186 4378 18731 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 1186 4379 19132 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 1186 4380 19533 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 1186 4381 19934 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 1186 4382 20335 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 1186 4383 20736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 1186 4384 21137 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 1186 4385 21538 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 0 | 1186 4386 21939 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 0 | 1186 4387 22340 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 0 | 1186 4388 22741 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 0 | 1186 4389 23142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 0 | 1186 4390 23543 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 0 | 1186 4391 23944 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 0 | 1186 4392 24345 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 0 | 1186 4393 24746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 0 | 1186 4394 25147 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 0 | 1186 4395 25548 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 1 | 1186 4396 25949 | 5000 1 361 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 1 | 1186 4397 26350 | 5000 1 361 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 1 | 1186 4398 26751 | 5000 1 361 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s c =============================================================================== c | 1 | 1186 4399 27152 | 5000 1 361 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 1 | 1186 4400 27553 | 5000 1 361 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s c =============================================================================== c | 1 | 1186 4401 27954 | 5000 1 361 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 2 | 1186 4402 28355 | 5000 2 358 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.123981 s Remaining CPU time: 179.876 s c =============================================================================== c | 2 | 1186 4403 28756 | 5000 2 358 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 2 | 1186 4404 29157 | 5000 2 358 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.13098 s Remaining CPU time: 179.869 s c =============================================================================== c | 2 | 1186 4405 29558 | 5000 2 358 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s c =============================================================================== c | 2 | 1186 4406 29959 | 5000 2 358 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.137979 s Remaining CPU time: 179.862 s c =============================================================================== c | 2 | 1186 4407 30360 | 5000 2 358 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s c =============================================================================== c | 2 | 1186 4408 30761 | 5000 2 358 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s c =============================================================================== c | 3 | 1186 4409 31162 | 5000 3 354 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s c =============================================================================== c | 3 | 1186 4410 31563 | 5000 3 354 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 3 | 1186 4411 31964 | 5000 3 354 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 4 | 1186 4412 32365 | 5000 4 352 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s c =============================================================================== c | 4 | 1186 4413 32766 | 5000 4 352 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 4 | 1186 4414 33167 | 5000 4 352 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s c =============================================================================== c | 4 | 1186 4415 33568 | 5000 4 352 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.174973 s Remaining CPU time: 179.825 s c =============================================================================== c | 4 | 1186 4416 33969 | 5000 4 352 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s c =============================================================================== c | 4 | 1186 4417 34370 | 5000 4 352 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.182972 s Remaining CPU time: 179.817 s c =============================================================================== c | 4 | 1186 4418 34771 | 5000 4 352 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.188971 s Remaining CPU time: 179.811 s c =============================================================================== c | 4 | 1186 4419 35172 | 5000 4 352 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 5 | 1186 4420 35573 | 5000 5 348 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s c =============================================================================== c | 5 | 1186 4421 35974 | 5000 5 348 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.203968 s Remaining CPU time: 179.796 s c =============================================================================== c | 9 | 1186 4422 36375 | 5000 9 342 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.208968 s Remaining CPU time: 179.791 s c =============================================================================== c | 10 | 1186 4423 36776 | 5000 10 309 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.215967 s Remaining CPU time: 179.784 s c =============================================================================== c | 15 | 1186 4424 37177 | 5000 15 317 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.221966 s Remaining CPU time: 179.778 s c =============================================================================== c | 16 | 1186 4425 37578 | 5000 16 318 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.228965 s Remaining CPU time: 179.771 s c =============================================================================== c | 23 | 1186 4426 37979 | 5000 23 322 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.234964 s Remaining CPU time: 179.765 s c =============================================================================== c | 24 | 1186 4427 38380 | 5000 24 322 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.239963 s Remaining CPU time: 179.76 s c =============================================================================== c | 26 | 1186 4428 38781 | 5000 26 322 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.245962 s Remaining CPU time: 179.754 s c =============================================================================== c | 27 | 1186 4429 39182 | 5000 27 323 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.251961 s Remaining CPU time: 179.748 s c =============================================================================== c | 29 | 1186 4430 39583 | 5000 29 323 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.25896 s Remaining CPU time: 179.741 s c =============================================================================== c | 31 | 1186 4431 39984 | 5000 31 323 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.264959 s Remaining CPU time: 179.735 s c =============================================================================== c | 47 | 1186 4432 40385 | 5000 47 324 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s c =============================================================================== c | 47 | 1186 4433 40786 | 5000 47 324 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.277957 s Remaining CPU time: 179.722 s c =============================================================================== c | 49 | 1186 4434 41187 | 5000 49 323 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.283956 s Remaining CPU time: 179.716 s c =============================================================================== c | 51 | 1186 4435 41588 | 5000 51 323 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s c =============================================================================== c | 66 | 1186 4436 41989 | 5000 66 323 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.304953 s Remaining CPU time: 179.695 s c =============================================================================== c | 107 | 1186 4437 42390 | 5000 107 322 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s c =============================================================================== c | 109 | 1186 4438 42791 | 5000 109 322 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.321951 s Remaining CPU time: 179.678 s c =============================================================================== c | 122 | 1186 4439 43192 | 5000 122 321 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.328949 s Remaining CPU time: 179.671 s c =============================================================================== c | 123 | 1186 4440 43593 | 5000 123 321 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.339948 s Remaining CPU time: 179.66 s c =============================================================================== c | 145 | 1186 4441 43994 | 5000 145 321 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.349946 s Remaining CPU time: 179.65 s c =============================================================================== c | 154 | 1186 4442 44395 | 5000 154 320 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.357945 s Remaining CPU time: 179.642 s c =============================================================================== c | 162 | 1186 4443 44796 | 5000 162 320 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.365944 s Remaining CPU time: 179.634 s c =============================================================================== c | 170 | 1186 4444 45197 | 5000 170 319 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.374943 s Remaining CPU time: 179.625 s c =============================================================================== c | 179 | 1186 4445 45598 | 5000 179 319 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.381941 s Remaining CPU time: 179.618 s c =============================================================================== c | 182 | 1186 4446 45999 | 5000 182 319 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.39294 s Remaining CPU time: 179.607 s c =============================================================================== c | 209 | 1186 4447 46400 | 5000 209 318 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.400939 s Remaining CPU time: 179.599 s c =============================================================================== c | 213 | 1186 4448 46801 | 5000 213 318 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.409937 s Remaining CPU time: 179.59 s c =============================================================================== c | 215 | 1186 4449 47202 | 5000 215 317 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.418936 s Remaining CPU time: 179.581 s c =============================================================================== c | 224 | 1186 4450 47603 | 5000 224 317 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.428934 s Remaining CPU time: 179.571 s c =============================================================================== c | 232 | 1186 4451 48004 | 5000 232 317 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.441932 s Remaining CPU time: 179.558 s c =============================================================================== c | 263 | 1186 4452 48405 | 5000 263 315 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.461929 s Remaining CPU time: 179.538 s c =============================================================================== c | 326 | 1186 4453 48806 | 5000 326 313 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.481926 s Remaining CPU time: 179.518 s c =============================================================================== c | 392 | 1186 4454 49207 | 5000 392 311 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.500923 s Remaining CPU time: 179.499 s c =============================================================================== c | 451 | 1186 4455 49608 | 5000 451 310 | 0.000 % | c | 551 | 1186 4455 49608 | 5500 551 309 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.538918 s Remaining CPU time: 179.461 s c =============================================================================== c | 555 | 1186 4456 50009 | 5000 555 308 | 0.000 % | c | 655 | 1186 4456 50009 | 5500 655 307 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.602908 s Remaining CPU time: 179.397 s c =============================================================================== c | 789 | 1186 4457 50410 | 5000 789 306 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.629904 s Remaining CPU time: 179.37 s c =============================================================================== c | 877 | 1186 4458 50811 | 5000 877 305 | 0.000 % | c | 977 | 1186 4458 50811 | 5500 977 305 | 0.000 % | c | 1127 | 1186 4458 50811 | 6050 1127 304 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.755885 s Remaining CPU time: 179.244 s c =============================================================================== c | 1344 | 1186 4459 51212 | 5000 1344 303 | 0.000 % | c | 1444 | 1186 4459 51212 | 5500 1444 303 | 0.000 % | c | 1594 | 1186 4459 51212 | 6050 1594 302 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.834873 s Remaining CPU time: 179.165 s c =============================================================================== c | 1608 | 1186 4460 51613 | 5000 1608 302 | 0.000 % | c | 1709 | 1186 4460 51613 | 5500 1709 302 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.870867 s Remaining CPU time: 179.129 s c =============================================================================== c | 1712 | 1186 4461 52014 | 5000 1712 302 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.882865 s Remaining CPU time: 179.117 s c =============================================================================== c | 1722 | 1186 4462 52415 | 5000 1722 302 | 0.000 % | c | 1822 | 1186 4462 52415 | 5500 1822 301 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.942856 s Remaining CPU time: 179.057 s c =============================================================================== c | 1921 | 1186 4463 52816 | 5000 1921 301 | 0.000 % | c | 2021 | 1186 4463 52816 | 5500 2021 301 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 1.00585 s Remaining CPU time: 178.994 s c =============================================================================== c | 2127 | 1186 4464 53217 | 5000 2127 300 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 1.02084 s Remaining CPU time: 178.979 s c =============================================================================== c | 2151 | 1186 4465 53618 | 5000 2151 300 | 0.000 % | c | 2251 | 1186 4465 53618 | 5500 2251 300 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 1.06584 s Remaining CPU time: 178.934 s c =============================================================================== c | 2254 | 1186 4466 54019 | 5000 2254 300 | 0.000 % | c | 2356 | 1186 4466 54019 | 5500 2356 299 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 1.12883 s Remaining CPU time: 178.871 s c =============================================================================== c | 2450 | 1186 4467 54420 | 5000 2450 299 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 1.15682 s Remaining CPU time: 178.843 s c =============================================================================== c | 2530 | 1186 4468 54821 | 5000 2530 299 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 1.18682 s Remaining CPU time: 178.813 s c =============================================================================== c | 2628 | 1186 4469 55222 | 5000 2628 298 | 0.000 % | c | 2728 | 1186 4469 55222 | 5500 2728 298 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 1.23681 s Remaining CPU time: 178.763 s c =============================================================================== c | 2765 | 1186 4470 55623 | 5000 2765 298 | 0.000 % | c | 2867 | 1186 4470 55623 | 5500 2867 297 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 1.3078 s Remaining CPU time: 178.692 s c =============================================================================== c | 2990 | 1186 4471 56024 | 5000 2990 297 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 1.3348 s Remaining CPU time: 178.665 s c =============================================================================== c | 3071 | 1186 4472 56425 | 5000 3071 296 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 1.36579 s Remaining CPU time: 178.634 s c =============================================================================== c | 3165 | 1186 4473 56826 | 5000 3165 296 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 1.39179 s Remaining CPU time: 178.608 s c =============================================================================== c | 3243 | 1186 4474 57227 | 5000 3243 296 | 0.000 % | c | 3344 | 1186 4474 57227 | 5500 3344 295 | 0.000 % | c | 3494 | 1186 4474 57227 | 6050 3494 295 | 0.000 % | c | 3719 | 1186 4474 57227 | 6655 3719 294 | 0.000 % | c | 4056 | 1186 4474 57227 | 7320 4056 293 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 1.68574 s Remaining CPU time: 178.314 s c =============================================================================== c | 4357 | 1186 4475 57628 | 5000 4357 292 | 0.000 % | c | 4457 | 1186 4475 57628 | 5500 4457 292 | 0.000 % | c | 4607 | 1186 4475 57628 | 6050 4607 292 | 0.000 % | c | 4833 | 1186 4475 57628 | 6655 4833 291 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 1.86272 s Remaining CPU time: 178.137 s c =============================================================================== c | 4961 | 1186 4476 58029 | 5000 4961 291 | 0.000 % | c | 5061 | 1186 4476 58029 | 5500 5061 291 | 0.000 % | c | 5211 | 1186 4476 58029 | 6050 5211 290 | 0.000 % | c | 5436 | 1186 4476 58029 | 6655 5436 290 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 2.07868 s Remaining CPU time: 177.921 s c =============================================================================== c | 5756 | 1186 4477 58430 | 5000 5756 290 | 0.000 % | c | 5857 | 1186 4477 58430 | 5500 2979 282 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 2.13967 s Remaining CPU time: 177.86 s c =============================================================================== c | 5858 | 1186 4478 58831 | 5000 2980 282 | 0.000 % | c | 5958 | 1186 4478 58831 | 5500 3080 282 | 0.000 % | c | 6108 | 1186 4478 58831 | 6050 3230 281 | 0.000 % | c | 6333 | 1186 4478 58831 | 6655 3455 281 | 0.000 % | c | 6670 | 1186 4478 58831 | 7320 3792 281 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 2.41663 s Remaining CPU time: 177.583 s c =============================================================================== c | 6853 | 1186 4479 59232 | 5000 3975 281 | 0.000 % | c | 6953 | 1186 4479 59232 | 5500 4075 281 | 0.000 % | c | 7103 | 1186 4479 59232 | 6050 4225 281 | 0.000 % | c | 7328 | 1186 4479 59232 | 6655 4450 281 | 0.000 % | c | 7666 | 1186 4479 59232 | 7320 4788 280 | 0.000 % | c | 8172 | 1186 4479 59232 | 8052 5294 280 | 0.000 % | c | 8931 | 1186 4479 59232 | 8857 6053 280 | 0.000 % | c | 10070 | 1186 4479 59232 | 9743 7192 279 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 3.34749 s Remaining CPU time: 176.653 s c =============================================================================== c | 10072 | 1186 4480 59633 | 5000 7194 279 | 0.000 % | c | 10172 | 1186 4480 59633 | 5500 3697 278 | 0.000 % | c | 10322 | 1186 4480 59633 | 6050 3847 278 | 0.000 % | c | 10547 | 1186 4480 59633 | 6655 4072 277 | 0.000 % | c | 10884 | 1186 4480 59633 | 7320 4409 277 | 0.000 % | c | 11391 | 1186 4480 59633 | 8052 4916 277 | 0.000 % | c | 12151 | 1186 4480 59633 | 8857 5676 277 | 0.000 % | c | 13290 | 1186 4480 59633 | 9743 6815 277 | 0.000 % | c | 14998 | 1186 4480 59633 | 10717 8523 277 | 0.000 % | c | 17561 | 1186 4480 59633 | 11789 5566 277 | 0.000 % | c | 21405 | 1186 4480 59633 | 12968 9410 277 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 7.60784 s Remaining CPU time: 172.392 s c =============================================================================== c | 23738 | 1186 4481 60034 | 5000 11743 277 | 0.000 % | c | 23838 | 1186 4481 60034 | 5500 3036 277 | 0.000 % | c | 23988 | 1186 4481 60034 | 6050 3186 277 | 0.000 % | c | 24213 | 1186 4481 60034 | 6655 3411 277 | 0.000 % | c | 24551 | 1186 4481 60034 | 7320 3749 277 | 0.000 % | c | 25057 | 1186 4481 60034 | 8052 4255 276 | 0.000 % | c | 25817 | 1186 4481 60034 | 8857 5015 276 | 0.000 % | c | 26956 | 1186 4481 60034 | 9743 6154 276 | 0.000 % | c | 28665 | 1186 4481 60034 | 10717 7863 276 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 9.58054 s Remaining CPU time: 170.419 s c =============================================================================== c | 29825 | 1186 4482 60435 | 5000 9023 276 | 0.000 % | c | 29926 | 1186 4482 60435 | 5500 4613 276 | 0.000 % | c | 30077 | 1186 4482 60435 | 6050 4764 276 | 0.000 % | c | 30302 | 1186 4482 60435 | 6655 4989 276 | 0.000 % | c | 30639 | 1186 4482 60435 | 7320 5326 276 | 0.000 % | c | 31145 | 1186 4482 60435 | 8052 5832 275 | 0.000 % | c | 31904 | 1186 4482 60435 | 8857 6591 275 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 10.4994 s Remaining CPU time: 169.501 s c =============================================================================== c | 33020 | 1186 4483 60836 | 5000 7707 275 | 0.000 % | c | 33120 | 1186 4483 60836 | 5500 3954 275 | 0.000 % | c | 33270 | 1186 4483 60836 | 6050 4104 275 | 0.000 % | c | 33496 | 1186 4483 60836 | 6655 4330 274 | 0.000 % | c | 33833 | 1186 4483 60836 | 7320 4667 274 | 0.000 % | c | 34339 | 1186 4483 60836 | 8052 5173 274 | 0.000 % | c | 35098 | 1186 4483 60836 | 8857 5932 274 | 0.000 % | c | 36237 | 1186 4483 60836 | 9743 7071 274 | 0.000 % | c | 37946 | 1186 4483 60836 | 10717 8780 274 | 0.000 % | c | 40508 | 1186 4483 60836 | 11789 5837 274 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 13.286 s Remaining CPU time: 166.714 s c =============================================================================== c | 41553 | 1186 4484 61237 | 5000 6882 274 | 0.000 % | c | 41653 | 1186 4484 61237 | 5500 3541 274 | 0.000 % | c | 41803 | 1186 4484 61237 | 6050 3691 274 | 0.000 % | c | 42028 | 1186 4484 61237 | 6655 3916 273 | 0.000 % | c | 42365 | 1186 4484 61237 | 7320 4253 273 | 0.000 % | c | 42871 | 1186 4484 61237 | 8052 4759 273 | 0.000 % | c | 43630 | 1186 4484 61237 | 8857 5518 273 | 0.000 % | c | 44770 | 1186 4484 61237 | 9743 6658 273 | 0.000 % | c | 46478 | 1186 4484 61237 | 10717 8366 273 | 0.000 % | c | 49040 | 1186 4484 61237 | 11789 10928 273 | 0.000 % | c | 52884 | 1186 4484 61237 | 12968 8735 273 | 0.000 % | c | 58651 | 1186 4484 61237 | 14265 7880 273 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 21.2238 s Remaining CPU time: 158.776 s c =============================================================================== c | 63652 | 1186 4485 61638 | 5000 12881 273 | 0.000 % | c | 63752 | 1186 4485 61638 | 5500 3321 273 | 0.000 % | c | 63902 | 1186 4485 61638 | 6050 3471 273 | 0.000 % | c | 64128 | 1186 4485 61638 | 6655 3697 273 | 0.000 % | c | 64465 | 1186 4485 61638 | 7320 4034 273 | 0.000 % | c | 64971 | 1186 4485 61638 | 8052 4540 273 | 0.000 % | c | 65730 | 1186 4485 61638 | 8857 5299 273 | 0.000 % | c | 66869 | 1186 4485 61638 | 9743 6438 273 | 0.000 % | c | 68578 | 1186 4485 61638 | 10717 8147 273 | 0.000 % | c | 71140 | 1186 4485 61638 | 11789 10709 272 | 0.000 % | c | 74984 | 1186 4485 61638 | 12968 8496 272 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 25.4841 s Remaining CPU time: 154.516 s c =============================================================================== c | 75270 | 1186 4486 62039 | 5000 8782 272 | 0.000 % | c | 75370 | 1186 4486 62039 | 5500 4491 272 | 0.000 % | c | 75520 | 1186 4486 62039 | 6050 4641 272 | 0.000 % | c | 75745 | 1186 4486 62039 | 6655 4866 272 | 0.000 % | c | 76082 | 1186 4486 62039 | 7320 5203 272 | 0.000 % | c | 76589 | 1186 4486 62039 | 8052 5710 272 | 0.000 % | c | 77348 | 1186 4486 62039 | 8857 6469 271 | 0.000 % | c | 78487 | 1186 4486 62039 | 9743 7608 271 | 0.000 % | c | 80196 | 1186 4486 62039 | 10717 9317 271 | 0.000 % | c | 82758 | 1186 4486 62039 | 11789 6362 271 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 28.5557 s Remaining CPU time: 151.444 s c =============================================================================== c | 84601 | 1186 4487 62440 | 5000 8205 271 | 0.000 % | c | 84701 | 1186 4487 62440 | 5500 4203 271 | 0.000 % | c | 84851 | 1186 4487 62440 | 6050 4353 271 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 28.7766 s Remaining CPU time: 151.223 s c =============================================================================== c | 85033 | 1186 4488 62841 | 5000 4535 271 | 0.000 % | c | 85133 | 1186 4488 62841 | 5500 4635 271 | 0.000 % | c | 85283 | 1186 4488 62841 | 6050 4785 271 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 28.9116 s Remaining CPU time: 151.088 s c =============================================================================== c | 85386 | 1186 4489 63242 | 5000 4888 271 | 0.000 % | c | 85487 | 1186 4489 63242 | 5500 4989 271 | 0.000 % | c | 85637 | 1186 4489 63242 | 6050 5139 271 | 0.000 % | c | 85862 | 1186 4489 63242 | 6655 5364 270 | 0.000 % | c | 86199 | 1186 4489 63242 | 7320 5701 270 | 0.000 % | c | 86705 | 1186 4489 63242 | 8052 6207 270 | 0.000 % | c | 87465 | 1186 4489 63242 | 8857 6967 270 | 0.000 % | c | 88604 | 1186 4489 63242 | 9743 8106 270 | 0.000 % | c | 90312 | 1186 4489 63242 | 10717 9814 269 | 0.000 % | c | 92875 | 1186 4489 63242 | 11789 6874 268 | 0.000 % | c | 96719 | 1186 4489 63242 | 12968 10718 268 | 0.000 % | c | 102485 | 1186 4489 63242 | 14265 9862 268 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 37.1763 s Remaining CPU time: 142.824 s c =============================================================================== c | 107079 | 1186 4490 63643 | 5000 14456 268 | 0.000 % | c | 107179 | 1186 4490 63643 | 5500 3714 268 | 0.000 % | c | 107329 | 1186 4490 63643 | 6050 3864 268 | 0.000 % | c | 107554 | 1186 4490 63643 | 6655 4089 268 | 0.000 % | c | 107892 | 1186 4490 63643 | 7320 4427 268 | 0.000 % | c | 108398 | 1186 4490 63643 | 8052 4933 268 | 0.000 % | c | 109157 | 1186 4490 63643 | 8857 5692 268 | 0.000 % | c | 110296 | 1186 4490 63643 | 9743 6831 267 | 0.000 % | c | 112004 | 1186 4490 63643 | 10717 8539 267 | 0.000 % | c | 114568 | 1186 4490 63643 | 11789 5595 267 | 0.000 % | c | 118412 | 1186 4490 63643 | 12968 9439 267 | 0.000 % | c | 124179 | 1186 4490 63643 | 14265 8570 267 | 0.000 % | c | 132828 | 1186 4490 63643 | 15692 9932 267 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 47.5838 s Remaining CPU time: 132.416 s c =============================================================================== c | 135155 | 1186 4491 64044 | 5000 12259 267 | 0.000 % | c | 135256 | 1186 4491 64044 | 5500 3166 267 | 0.000 % | c | 135407 | 1186 4491 64044 | 6050 3317 267 | 0.000 % | c | 135632 | 1186 4491 64044 | 6655 3542 267 | 0.000 % | c | 135969 | 1186 4491 64044 | 7320 3879 267 | 0.000 % | c | 136475 | 1186 4491 64044 | 8052 4385 267 | 0.000 % | c | 137234 | 1186 4491 64044 | 8857 5144 267 | 0.000 % | c | 138373 | 1186 4491 64044 | 9743 6283 267 | 0.000 % | c | 140081 | 1186 4491 64044 | 10717 7991 267 | 0.000 % | c | 142643 | 1186 4491 64044 | 11789 10553 267 | 0.000 % | c | 146487 | 1186 4491 64044 | 12968 8356 266 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 51.8981 s Remaining CPU time: 128.102 s c =============================================================================== c | 147285 | 1186 4492 64445 | 5000 9154 266 | 0.000 % | c | 147387 | 1186 4492 64445 | 5500 4679 266 | 0.000 % | c | 147537 | 1186 4492 64445 | 6050 4829 266 | 0.000 % | c | 147762 | 1186 4492 64445 | 6655 5054 266 | 0.000 % | c | 148099 | 1186 4492 64445 | 7320 5391 266 | 0.000 % | c | 148605 | 1186 4492 64445 | 8052 5897 266 | 0.000 % | c | 149364 | 1186 4492 64445 | 8857 6656 266 | 0.000 % | c | 150503 | 1186 4492 64445 | 9743 7795 266 | 0.000 % | c | 152211 | 1186 4492 64445 | 10717 9503 266 | 0.000 % | c | 154773 | 1186 4492 64445 | 11789 6568 266 | 0.000 % | c | 158617 | 1186 4492 64445 | 12968 10412 266 | 0.000 % | c | 164383 | 1186 4492 64445 | 14265 9549 266 | 0.000 % | c | 173032 | 1186 4492 64445 | 15692 10906 265 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 66.8598 s Remaining CPU time: 113.14 s c =============================================================================== c | 183878 | 1186 4493 64846 | 5000 13759 265 | 0.000 % | c | 183979 | 1186 4493 64846 | 5500 3541 265 | 0.000 % | c | 184129 | 1186 4493 64846 | 6050 3691 265 | 0.000 % | c | 184354 | 1186 4493 64846 | 6655 3916 264 | 0.000 % | c | 184691 | 1186 4493 64846 | 7320 4253 264 | 0.000 % | c | 185197 | 1186 4493 64846 | 8052 4759 264 | 0.000 % | c | 185957 | 1186 4493 64846 | 8857 5519 264 | 0.000 % | c | 187096 | 1186 4493 64846 | 9743 6658 264 | 0.000 % | c | 188804 | 1186 4493 64846 | 10717 8366 264 | 0.000 % | c | 191366 | 1186 4493 64846 | 11789 10928 264 | 0.000 % | c | 195211 | 1186 4493 64846 | 12968 8733 264 | 0.000 % | c | 200978 | 1186 4493 64846 | 14265 7872 264 | 0.000 % | c | 209628 | 1186 4493 64846 | 15692 9252 264 | 0.000 % | c | 222602 | 1186 4493 64846 | 17261 14231 264 | 0.000 % | c | 242063 | 1186 4493 64846 | 18987 16154 264 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 100.425 s Remaining CPU time: 79.5753 s c =============================================================================== c | 259000 | 1186 4494 65247 | 5000 13795 265 | 0.000 % | c | 259100 | 1186 4494 65247 | 5500 3549 263 | 0.000 % | c | 259252 | 1186 4494 65247 | 6050 3701 263 | 0.000 % | c | 259477 | 1186 4494 65247 | 6655 3926 263 | 0.000 % | c | 259814 | 1186 4494 65247 | 7320 4263 263 | 0.000 % | c | 260320 | 1186 4494 65247 | 8052 4769 263 | 0.000 % | c | 261079 | 1186 4494 65247 | 8857 5528 263 | 0.000 % | c | 262218 | 1186 4494 65247 | 9743 6667 263 | 0.000 % | c | 263926 | 1186 4494 65247 | 10717 8375 263 | 0.000 % | c | 266489 | 1186 4494 65247 | 11789 10938 263 | 0.000 % | c | 270333 | 1186 4494 65247 | 12968 8732 263 | 0.000 % | c | 276099 | 1186 4494 65247 | 14265 7866 263 | 0.000 % | c | 284748 | 1186 4494 65247 | 15692 9243 263 | 0.000 % | c | 297722 | 1186 4494 65247 | 17261 14213 264 | 0.000 % | c | 317184 | 1186 4494 65247 | 18987 16130 263 | 0.000 % |