c wbo 1.4 beta - 20100610 c | Number of variables: 800 | c | Number of clauses: 4353 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1189 | c | Number Clauses: 4343 | 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 | 1189 4343 9087 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 1189 4344 9486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1189 4345 9885 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1189 4346 10284 | 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 | 1189 4347 10683 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1189 4348 11082 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1189 4349 11481 | 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 | 1189 4350 11880 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1189 4351 12279 | 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 | 1189 4352 12678 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1189 4353 13077 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1189 4354 13476 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1189 4355 13875 | 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 | 1 | 1189 4356 14274 | 5000 1 388 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 2 | 1189 4357 14673 | 5000 2 387 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 2 | 1189 4358 15072 | 5000 2 387 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 2 | 1189 4359 15471 | 5000 2 387 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 2 | 1189 4360 15870 | 5000 2 387 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 2 | 1189 4361 16269 | 5000 2 387 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 2 | 1189 4362 16668 | 5000 2 387 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 2 | 1189 4363 17067 | 5000 2 387 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 2 | 1189 4364 17466 | 5000 2 387 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 2 | 1189 4365 17865 | 5000 2 387 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 2 | 1189 4366 18264 | 5000 2 387 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 2 | 1189 4367 18663 | 5000 2 387 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 2 | 1189 4368 19062 | 5000 2 387 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 2 | 1189 4369 19461 | 5000 2 387 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 3 | 1189 4370 19860 | 5000 3 382 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 3 | 1189 4371 20259 | 5000 3 382 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 3 | 1189 4372 20658 | 5000 3 382 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 3 | 1189 4373 21057 | 5000 3 382 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 4 | 1189 4374 21456 | 5000 4 379 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 4 | 1189 4375 21855 | 5000 4 379 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 4 | 1189 4376 22254 | 5000 4 379 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 4 | 1189 4377 22653 | 5000 4 379 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 4 | 1189 4378 23052 | 5000 4 379 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 5 | 1189 4379 23451 | 5000 5 376 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 5 | 1189 4380 23850 | 5000 5 376 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 5 | 1189 4381 24249 | 5000 5 376 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 5 | 1189 4382 24648 | 5000 5 376 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 5 | 1189 4383 25047 | 5000 5 376 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 5 | 1189 4384 25446 | 5000 5 376 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 5 | 1189 4385 25845 | 5000 5 376 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 5 | 1189 4386 26244 | 5000 5 376 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 5 | 1189 4387 26643 | 5000 5 376 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 6 | 1189 4388 27042 | 5000 6 314 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 9 | 1189 4389 27441 | 5000 9 328 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 9 | 1189 4390 27840 | 5000 9 328 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s c =============================================================================== c | 9 | 1189 4391 28239 | 5000 9 328 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 15 | 1189 4392 28638 | 5000 15 337 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 16 | 1189 4393 29037 | 5000 16 338 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 17 | 1189 4394 29436 | 5000 17 339 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 19 | 1189 4395 29835 | 5000 19 340 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.137979 s Remaining CPU time: 179.862 s c =============================================================================== c | 20 | 1189 4396 30234 | 5000 20 340 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 22 | 1189 4397 30633 | 5000 22 341 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 22 | 1189 4398 31032 | 5000 22 341 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 24 | 1189 4399 31431 | 5000 24 341 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.153976 s Remaining CPU time: 179.846 s c =============================================================================== c | 25 | 1189 4400 31830 | 5000 25 341 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 26 | 1189 4401 32229 | 5000 26 341 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 27 | 1189 4402 32628 | 5000 27 341 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 28 | 1189 4403 33027 | 5000 28 341 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s c =============================================================================== c | 29 | 1189 4404 33426 | 5000 29 341 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 33 | 1189 4405 33825 | 5000 33 341 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.179972 s Remaining CPU time: 179.82 s c =============================================================================== c | 37 | 1189 4406 34224 | 5000 37 340 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s c =============================================================================== c | 71 | 1189 4407 34623 | 5000 71 339 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 77 | 1189 4408 35022 | 5000 77 339 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.200969 s Remaining CPU time: 179.799 s c =============================================================================== c | 83 | 1189 4409 35421 | 5000 83 338 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 89 | 1189 4410 35820 | 5000 89 338 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.221966 s Remaining CPU time: 179.778 s c =============================================================================== c | 134 | 1189 4411 36219 | 5000 134 336 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.229965 s Remaining CPU time: 179.77 s c =============================================================================== c | 144 | 1189 4412 36618 | 5000 144 336 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.234964 s Remaining CPU time: 179.765 s c =============================================================================== c | 149 | 1189 4413 37017 | 5000 149 336 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.241963 s Remaining CPU time: 179.758 s c =============================================================================== c | 153 | 1189 4414 37416 | 5000 153 336 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s c =============================================================================== c | 161 | 1189 4415 37815 | 5000 161 335 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s c =============================================================================== c | 178 | 1189 4416 38214 | 5000 178 335 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.26196 s Remaining CPU time: 179.738 s c =============================================================================== c | 191 | 1189 4417 38613 | 5000 191 334 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.265959 s Remaining CPU time: 179.734 s c =============================================================================== c | 195 | 1189 4418 39012 | 5000 195 334 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.272958 s Remaining CPU time: 179.727 s c =============================================================================== c | 203 | 1189 4419 39411 | 5000 203 334 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.280957 s Remaining CPU time: 179.719 s c =============================================================================== c | 220 | 1189 4420 39810 | 5000 220 333 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.290955 s Remaining CPU time: 179.709 s c =============================================================================== c | 240 | 1189 4421 40209 | 5000 240 332 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.298954 s Remaining CPU time: 179.701 s c =============================================================================== c | 253 | 1189 4422 40608 | 5000 253 331 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.305953 s Remaining CPU time: 179.694 s c =============================================================================== c | 256 | 1189 4423 41007 | 5000 256 331 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.315951 s Remaining CPU time: 179.684 s c =============================================================================== c | 280 | 1189 4424 41406 | 5000 280 330 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.320951 s Remaining CPU time: 179.679 s c =============================================================================== c | 287 | 1189 4425 41805 | 5000 287 330 | 0.000 % | c | 387 | 1189 4425 41805 | 5500 387 327 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.351946 s Remaining CPU time: 179.648 s c =============================================================================== c | 390 | 1189 4426 42204 | 5000 390 327 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.359945 s Remaining CPU time: 179.64 s c =============================================================================== c | 402 | 1189 4427 42603 | 5000 402 327 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.370943 s Remaining CPU time: 179.629 s c =============================================================================== c | 424 | 1189 4428 43002 | 5000 424 326 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.378942 s Remaining CPU time: 179.621 s c =============================================================================== c | 428 | 1189 4429 43401 | 5000 428 326 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.385941 s Remaining CPU time: 179.614 s c =============================================================================== c | 430 | 1189 4430 43800 | 5000 430 326 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.39394 s Remaining CPU time: 179.606 s c =============================================================================== c | 438 | 1189 4431 44199 | 5000 438 325 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.403938 s Remaining CPU time: 179.596 s c =============================================================================== c | 460 | 1189 4432 44598 | 5000 460 324 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.411937 s Remaining CPU time: 179.588 s c =============================================================================== c | 476 | 1189 4433 44997 | 5000 476 324 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.419936 s Remaining CPU time: 179.58 s c =============================================================================== c | 480 | 1189 4434 45396 | 5000 480 324 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.426935 s Remaining CPU time: 179.573 s c =============================================================================== c | 483 | 1189 4435 45795 | 5000 483 324 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.433934 s Remaining CPU time: 179.566 s c =============================================================================== c | 494 | 1189 4436 46194 | 5000 494 323 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.442932 s Remaining CPU time: 179.557 s c =============================================================================== c | 504 | 1189 4437 46593 | 5000 504 323 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.450931 s Remaining CPU time: 179.549 s c =============================================================================== c | 510 | 1189 4438 46992 | 5000 510 323 | 0.000 % | c | 610 | 1189 4438 46992 | 5500 610 320 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.502923 s Remaining CPU time: 179.497 s c =============================================================================== c | 726 | 1189 4439 47391 | 5000 726 318 | 0.000 % | c | 827 | 1189 4439 47391 | 5500 827 316 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.553915 s Remaining CPU time: 179.446 s c =============================================================================== c | 933 | 1189 4440 47790 | 5000 933 315 | 0.000 % | c | 1034 | 1189 4440 47790 | 5500 1034 313 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.610907 s Remaining CPU time: 179.389 s c =============================================================================== c | 1151 | 1189 4441 48189 | 5000 1151 312 | 0.000 % | c | 1251 | 1189 4441 48189 | 5500 1251 312 | 0.000 % | c | 1401 | 1189 4441 48189 | 6050 1401 311 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.689895 s Remaining CPU time: 179.31 s c =============================================================================== c | 1452 | 1189 4442 48588 | 5000 1452 310 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.701893 s Remaining CPU time: 179.298 s c =============================================================================== c | 1476 | 1189 4443 48987 | 5000 1476 310 | 0.000 % | c | 1576 | 1189 4443 48987 | 5500 1576 310 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.754885 s Remaining CPU time: 179.245 s c =============================================================================== c | 1669 | 1189 4444 49386 | 5000 1669 309 | 0.000 % | c | 1769 | 1189 4444 49386 | 5500 1769 308 | 0.000 % | c | 1920 | 1189 4444 49386 | 6050 1920 308 | 0.000 % | c | 2146 | 1189 4444 49386 | 6655 2146 307 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.887865 s Remaining CPU time: 179.112 s c =============================================================================== c | 2194 | 1189 4445 49785 | 5000 2194 307 | 0.000 % | c | 2294 | 1189 4445 49785 | 5500 2294 306 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.946856 s Remaining CPU time: 179.053 s c =============================================================================== c | 2422 | 1189 4446 50184 | 5000 2422 306 | 0.000 % | c | 2522 | 1189 4446 50184 | 5500 2522 306 | 0.000 % | c | 2672 | 1189 4446 50184 | 6050 2672 305 | 0.000 % | c | 2897 | 1189 4446 50184 | 6655 2897 305 | 0.000 % | c | 3235 | 1189 4446 50184 | 7320 3235 304 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 1.25281 s Remaining CPU time: 178.747 s c =============================================================================== c | 3565 | 1189 4447 50583 | 5000 3565 303 | 0.000 % | c | 3665 | 1189 4447 50583 | 5500 3665 303 | 0.000 % | c | 3815 | 1189 4447 50583 | 6050 3815 303 | 0.000 % | c | 4040 | 1189 4447 50583 | 6655 4040 303 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 1.42378 s Remaining CPU time: 178.576 s c =============================================================================== c | 4142 | 1189 4448 50982 | 5000 4142 302 | 0.000 % | c | 4242 | 1189 4448 50982 | 5500 4242 302 | 0.000 % | c | 4392 | 1189 4448 50982 | 6050 4392 302 | 0.000 % | c | 4617 | 1189 4448 50982 | 6655 4617 302 | 0.000 % | c | 4955 | 1189 4448 50982 | 7320 4955 301 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 1.74673 s Remaining CPU time: 178.253 s c =============================================================================== c | 5218 | 1189 4449 51381 | 5000 5218 301 | 0.000 % | c | 5318 | 1189 4449 51381 | 5500 2709 296 | 0.000 % | c | 5469 | 1189 4449 51381 | 6050 2860 296 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 1.85772 s Remaining CPU time: 178.142 s c =============================================================================== c | 5606 | 1189 4450 51780 | 5000 2997 296 | 0.000 % | c | 5706 | 1189 4450 51780 | 5500 3097 296 | 0.000 % | c | 5856 | 1189 4450 51780 | 6050 3247 296 | 0.000 % | c | 6081 | 1189 4450 51780 | 6655 3472 296 | 0.000 % | c | 6418 | 1189 4450 51780 | 7320 3809 296 | 0.000 % | c | 6924 | 1189 4450 51780 | 8052 4315 296 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 2.27865 s Remaining CPU time: 177.721 s c =============================================================================== c | 7185 | 1189 4451 52179 | 5000 4576 295 | 0.000 % | c | 7285 | 1189 4451 52179 | 5500 4676 295 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 2.32665 s Remaining CPU time: 177.673 s c =============================================================================== c | 7327 | 1189 4452 52578 | 5000 4718 295 | 0.000 % | c | 7427 | 1189 4452 52578 | 5500 4818 295 | 0.000 % | c | 7577 | 1189 4452 52578 | 6050 4968 295 | 0.000 % | c | 7802 | 1189 4452 52578 | 6655 5193 295 | 0.000 % | c | 8139 | 1189 4452 52578 | 7320 5530 295 | 0.000 % | c | 8645 | 1189 4452 52578 | 8052 6036 295 | 0.000 % | c | 9404 | 1189 4452 52578 | 8857 6795 294 | 0.000 % | c | 10544 | 1189 4452 52578 | 9743 7935 294 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 3.24051 s Remaining CPU time: 176.759 s c =============================================================================== c | 10818 | 1189 4453 52977 | 5000 8209 294 | 0.000 % | c | 10918 | 1189 4453 52977 | 5500 4205 292 | 0.000 % | c | 11068 | 1189 4453 52977 | 6050 4355 292 | 0.000 % | c | 11294 | 1189 4453 52977 | 6655 4581 292 | 0.000 % | c | 11631 | 1189 4453 52977 | 7320 4918 292 | 0.000 % | c | 12138 | 1189 4453 52977 | 8052 5425 292 | 0.000 % | c | 12897 | 1189 4453 52977 | 8857 6184 292 | 0.000 % | c | 14036 | 1189 4453 52977 | 9743 7323 291 | 0.000 % | c | 15744 | 1189 4453 52977 | 10717 9031 291 | 0.000 % | c | 18306 | 1189 4453 52977 | 11789 6065 291 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 6.28104 s Remaining CPU time: 173.719 s c =============================================================================== c | 20916 | 1189 4454 53376 | 5000 8675 291 | 0.000 % | c | 21016 | 1189 4454 53376 | 5500 4438 291 | 0.000 % | c | 21167 | 1189 4454 53376 | 6050 4589 291 | 0.000 % | c | 21393 | 1189 4454 53376 | 6655 4815 291 | 0.000 % | c | 21731 | 1189 4454 53376 | 7320 5153 291 | 0.000 % | c | 22237 | 1189 4454 53376 | 8052 5659 291 | 0.000 % | c | 22996 | 1189 4454 53376 | 8857 6418 291 | 0.000 % | c | 24135 | 1189 4454 53376 | 9743 7557 290 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 7.63584 s Remaining CPU time: 172.364 s c =============================================================================== c | 25283 | 1189 4455 53775 | 5000 8705 290 | 0.000 % | c | 25384 | 1189 4455 53775 | 5500 4454 290 | 0.000 % | c | 25534 | 1189 4455 53775 | 6050 4604 290 | 0.000 % | c | 25759 | 1189 4455 53775 | 6655 4829 290 | 0.000 % | c | 26096 | 1189 4455 53775 | 7320 5166 290 | 0.000 % | c | 26602 | 1189 4455 53775 | 8052 5672 290 | 0.000 % | c | 27361 | 1189 4455 53775 | 8857 6431 290 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 8.46871 s Remaining CPU time: 171.531 s c =============================================================================== c | 27852 | 1189 4456 54174 | 5000 6922 290 | 0.000 % | c | 27952 | 1189 4456 54174 | 5500 3561 289 | 0.000 % | c | 28102 | 1189 4456 54174 | 6050 3711 289 | 0.000 % | c | 28327 | 1189 4456 54174 | 6655 3936 289 | 0.000 % | c | 28666 | 1189 4456 54174 | 7320 4275 289 | 0.000 % | c | 29172 | 1189 4456 54174 | 8052 4781 289 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 9.06462 s Remaining CPU time: 170.935 s c =============================================================================== c | 29608 | 1189 4457 54573 | 5000 5217 289 | 0.000 % | c | 29709 | 1189 4457 54573 | 5500 2710 288 | 0.000 % | c | 29859 | 1189 4457 54573 | 6050 2860 288 | 0.000 % | c | 30084 | 1189 4457 54573 | 6655 3085 288 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 9.28759 s Remaining CPU time: 170.712 s c =============================================================================== c | 30253 | 1189 4458 54972 | 5000 3254 288 | 0.000 % | c | 30354 | 1189 4458 54972 | 5500 3355 288 | 0.000 % | c | 30505 | 1189 4458 54972 | 6050 3506 288 | 0.000 % | c | 30730 | 1189 4458 54972 | 6655 3731 288 | 0.000 % | c | 31068 | 1189 4458 54972 | 7320 4069 288 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 9.62854 s Remaining CPU time: 170.371 s c =============================================================================== c | 31340 | 1189 4459 55371 | 5000 4341 287 | 0.000 % | c | 31441 | 1189 4459 55371 | 5500 4442 287 | 0.000 % | c | 31592 | 1189 4459 55371 | 6050 4593 287 | 0.000 % | c | 31817 | 1189 4459 55371 | 6655 4818 287 | 0.000 % | c | 32154 | 1189 4459 55371 | 7320 5155 287 | 0.000 % | c | 32660 | 1189 4459 55371 | 8052 5661 287 | 0.000 % | c | 33420 | 1189 4459 55371 | 8857 6421 287 | 0.000 % | c | 34559 | 1189 4459 55371 | 9743 7560 286 | 0.000 % | c | 36268 | 1189 4459 55371 | 10717 9269 286 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 11.9512 s Remaining CPU time: 168.049 s c =============================================================================== c | 38776 | 1189 4460 55770 | 5000 6262 285 | 0.000 % | c | 38876 | 1189 4460 55770 | 5500 3231 285 | 0.000 % | c | 39029 | 1189 4460 55770 | 6050 3384 285 | 0.000 % | c | 39254 | 1189 4460 55770 | 6655 3609 285 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 12.2071 s Remaining CPU time: 167.793 s c =============================================================================== c | 39368 | 1189 4461 56169 | 5000 3723 285 | 0.000 % | c | 39468 | 1189 4461 56169 | 5500 3823 285 | 0.000 % | c | 39620 | 1189 4461 56169 | 6050 3975 285 | 0.000 % | c | 39845 | 1189 4461 56169 | 6655 4200 284 | 0.000 % | c | 40182 | 1189 4461 56169 | 7320 4537 284 | 0.000 % | c | 40689 | 1189 4461 56169 | 8052 5044 284 | 0.000 % | c | 41448 | 1189 4461 56169 | 8857 5803 284 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 13.072 s Remaining CPU time: 166.928 s c =============================================================================== c | 42303 | 1189 4462 56568 | 5000 6658 284 | 0.000 % | c | 42403 | 1189 4462 56568 | 5500 3429 282 | 0.000 % | c | 42554 | 1189 4462 56568 | 6050 3580 282 | 0.000 % | c | 42779 | 1189 4462 56568 | 6655 3805 282 | 0.000 % | c | 43116 | 1189 4462 56568 | 7320 4142 282 | 0.000 % | c | 43622 | 1189 4462 56568 | 8052 4648 282 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 13.5259 s Remaining CPU time: 166.474 s c =============================================================================== c | 43843 | 1189 4463 56967 | 5000 4869 282 | 0.000 % | c | 43943 | 1189 4463 56967 | 5500 4969 282 | 0.000 % | c | 44093 | 1189 4463 56967 | 6050 5119 282 | 0.000 % | c | 44318 | 1189 4463 56967 | 6655 5344 282 | 0.000 % | c | 44655 | 1189 4463 56967 | 7320 5681 282 | 0.000 % | c | 45161 | 1189 4463 56967 | 8052 6187 282 | 0.000 % | c | 45921 | 1189 4463 56967 | 8857 6947 282 | 0.000 % | c | 47061 | 1189 4463 56967 | 9743 8087 282 | 0.000 % | c | 48770 | 1189 4463 56967 | 10717 9796 281 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 15.2197 s Remaining CPU time: 164.78 s c =============================================================================== c | 49364 | 1189 4464 57366 | 5000 10390 281 | 0.000 % | c | 49464 | 1189 4464 57366 | 5500 2698 281 | 0.000 % | c | 49614 | 1189 4464 57366 | 6050 2848 280 | 0.000 % | c | 49839 | 1189 4464 57366 | 6655 3073 280 | 0.000 % | c | 50177 | 1189 4464 57366 | 7320 3411 280 | 0.000 % | c | 50684 | 1189 4464 57366 | 8052 3918 280 | 0.000 % | c | 51444 | 1189 4464 57366 | 8857 4678 280 | 0.000 % | c | 52583 | 1189 4464 57366 | 9743 5817 280 | 0.000 % | c | 54292 | 1189 4464 57366 | 10717 7526 280 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 16.9834 s Remaining CPU time: 163.017 s c =============================================================================== c | 55128 | 1189 4465 57765 | 5000 8362 280 | 0.000 % | c | 55229 | 1189 4465 57765 | 5500 4282 279 | 0.000 % | c | 55379 | 1189 4465 57765 | 6050 4432 279 | 0.000 % | c | 55605 | 1189 4465 57765 | 6655 4658 279 | 0.000 % | c | 55943 | 1189 4465 57765 | 7320 4996 279 | 0.000 % | c | 56449 | 1189 4465 57765 | 8052 5502 279 | 0.000 % | c | 57208 | 1189 4465 57765 | 8857 6261 279 | 0.000 % | c | 58347 | 1189 4465 57765 | 9743 7400 279 | 0.000 % | c | 60055 | 1189 4465 57765 | 10717 9108 279 | 0.000 % | c | 62617 | 1189 4465 57765 | 11789 6144 279 | 0.000 % | c | 66462 | 1189 4465 57765 | 12968 9989 279 | 0.000 % | c | 72228 | 1189 4465 57765 | 14265 9112 279 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 24.3003 s Remaining CPU time: 155.7 s c =============================================================================== c | 75320 | 1189 4466 58164 | 5000 12204 279 | 0.000 % | c | 75421 | 1189 4466 58164 | 5500 3152 279 | 0.000 % | c | 75571 | 1189 4466 58164 | 6050 3302 278 | 0.000 % | c | 75796 | 1189 4466 58164 | 6655 3527 278 | 0.000 % | c | 76133 | 1189 4466 58164 | 7320 3864 278 | 0.000 % | c | 76639 | 1189 4466 58164 | 8052 4370 278 | 0.000 % | c | 77398 | 1189 4466 58164 | 8857 5129 278 | 0.000 % | c | 78538 | 1189 4466 58164 | 9743 6269 278 | 0.000 % | c | 80246 | 1189 4466 58164 | 10717 7977 278 | 0.000 % | c | 82808 | 1189 4466 58164 | 11789 10539 278 | 0.000 % | c | 86653 | 1189 4466 58164 | 12968 8330 278 | 0.000 % | c | 92419 | 1189 4466 58164 | 14265 7468 278 | 0.000 % | c | 101068 | 1189 4466 58164 | 15692 8838 278 | 0.000 % | c | 114042 | 1189 4466 58164 | 17261 13802 278 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 41.1387 s Remaining CPU time: 138.861 s c =============================================================================== c | 118349 | 1189 4467 58563 | 5000 9311 278 | 0.000 % | c | 118449 | 1189 4467 58563 | 5500 4756 278 | 0.000 % | c | 118599 | 1189 4467 58563 | 6050 4906 278 | 0.000 % | c | 118824 | 1189 4467 58563 | 6655 5131 278 | 0.000 % | c | 119161 | 1189 4467 58563 | 7320 5468 278 | 0.000 % | c | 119667 | 1189 4467 58563 | 8052 5974 278 | 0.000 % | c | 120426 | 1189 4467 58563 | 8857 6733 277 | 0.000 % | c | 121565 | 1189 4467 58563 | 9743 7872 277 | 0.000 % | c | 123273 | 1189 4467 58563 | 10717 9580 277 | 0.000 % | c | 125835 | 1189 4467 58563 | 11789 6632 276 | 0.000 % | c | 129679 | 1189 4467 58563 | 12968 10476 277 | 0.000 % | c | 135445 | 1189 4467 58563 | 14265 9587 277 | 0.000 % | c | 144095 | 1189 4467 58563 | 15692 10952 277 | 0.000 % | c | 157070 | 1189 4467 58563 | 17261 15918 277 | 0.000 % | c | 176532 | 1189 4467 58563 | 18987 9003 277 | 0.000 % | c | 205724 | 1189 4467 58563 | 20886 18901 277 | 0.000 % | c | 249513 | 1189 4467 58563 | 22974 20072 277 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 112.147 s Remaining CPU time: 67.853 s c =============================================================================== c | 289891 | 1189 4468 58962 | 5000 22493 277 | 0.000 % | c | 289991 | 1189 4468 58962 | 5500 2745 276 | 0.000 % | c | 290141 | 1189 4468 58962 | 6050 2895 276 | 0.000 % | c | 290367 | 1189 4468 58962 | 6655 3121 276 | 0.000 % | c | 290704 | 1189 4468 58962 | 7320 3458 276 | 0.000 % | c | 291211 | 1189 4468 58962 | 8052 3965 276 | 0.000 % | c | 291972 | 1189 4468 58962 | 8857 4726 276 | 0.000 % | c | 293112 | 1189 4468 58962 | 9743 5866 276 | 0.000 % | c | 294820 | 1189 4468 58962 | 10717 7574 276 | 0.000 % | c | 297382 | 1189 4468 58962 | 11789 10136 276 | 0.000 % | c | 301227 | 1189 4468 58962 | 12968 7927 276 | 0.000 % | c | 306993 | 1189 4468 58962 | 14265 7048 276 | 0.000 % | c | 315642 | 1189 4468 58962 | 15692 8398 276 | 0.000 % |