c wbo 1.4 beta - 20100610 c | Number of variables: 100 | c | Number of clauses: 400 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 400 | c | Number Clauses: 400 | 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 | 400 400 1500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0 s Remaining CPU time: 180 s c =============================================================================== c | 1 | 400 401 1800 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0 s Remaining CPU time: 180 s c =============================================================================== c | 1 | 400 402 2100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0 s Remaining CPU time: 180 s c =============================================================================== c | 1 | 400 403 2400 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 1 | 400 404 2700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 1 | 400 405 3000 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 1 | 400 406 3300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 1 | 400 407 3600 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 1 | 400 408 3900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 1 | 400 409 4200 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 1 | 400 410 4500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 1 | 400 411 4800 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 1 | 400 412 5100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 1 | 400 413 5400 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 1 | 400 414 5700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 1 | 400 415 6000 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 1 | 400 416 6300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 1 | 400 417 6600 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 1 | 400 418 6900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 1 | 400 419 7200 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 1 | 400 420 7500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 1 | 400 421 7800 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 1 | 400 422 8100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 1 | 400 423 8400 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 1 | 400 424 8700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 1 | 400 425 9000 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 1 | 400 426 9300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 1 | 400 427 9600 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 1 | 400 428 9900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 1 | 400 429 10200 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 1 | 400 430 10500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 1 | 400 431 10800 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 1 | 400 432 11100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 1 | 400 433 11400 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 1 | 400 434 11700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 1 | 400 435 12000 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 1 | 400 436 12300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 1 | 400 437 12600 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 1 | 400 438 12900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 1 | 400 439 13200 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 1 | 400 440 13500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 1 | 400 441 13800 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 1 | 400 442 14100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 1 | 400 443 14400 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 1 | 400 444 14700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 1 | 400 445 15000 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 3 | 400 446 15300 | 5000 3 174 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 3 | 400 447 15600 | 5000 3 174 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 3 | 400 448 15900 | 5000 3 174 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 4 | 400 449 16200 | 5000 4 132 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 4 | 400 450 16500 | 5000 4 132 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 4 | 400 451 16800 | 5000 4 132 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 5 | 400 452 17100 | 5000 5 106 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 5 | 400 453 17400 | 5000 5 106 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 5 | 400 454 17700 | 5000 5 106 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 5 | 400 455 18000 | 5000 5 106 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 5 | 400 456 18300 | 5000 5 106 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 5 | 400 457 18600 | 5000 5 106 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 5 | 400 458 18900 | 5000 5 106 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 5 | 400 459 19200 | 5000 5 106 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 5 | 400 460 19500 | 5000 5 106 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 5 | 400 461 19800 | 5000 5 106 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 5 | 400 462 20100 | 5000 5 106 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 5 | 400 463 20400 | 5000 5 106 | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 5 | 400 464 20700 | 5000 5 106 | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 5 | 400 465 21000 | 5000 5 106 | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 5 | 400 466 21300 | 5000 5 106 | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 5 | 400 467 21600 | 5000 5 106 | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 6 | 400 468 21900 | 5000 6 89 | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s c =============================================================================== c | 7 | 400 469 22200 | 5000 7 77 | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 7 | 400 470 22500 | 5000 7 77 | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 7 | 400 471 22800 | 5000 7 77 | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 7 | 400 472 23100 | 5000 7 77 | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 7 | 400 473 23400 | 5000 7 77 | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 7 | 400 474 23700 | 5000 7 77 | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 7 | 400 475 24000 | 5000 7 77 | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 7 | 400 476 24300 | 5000 7 77 | 0.000 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 7 | 400 477 24600 | 5000 7 77 | 0.000 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 7 | 400 478 24900 | 5000 7 77 | 0.000 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s c =============================================================================== c | 7 | 400 479 25200 | 5000 7 77 | 0.000 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 7 | 400 480 25500 | 5000 7 77 | 0.000 % | c =============================================================================== c New solution: 220 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 7 | 400 481 25800 | 5000 7 77 | 0.000 % | c =============================================================================== c New solution: 219 c Elapsed CPU time: 0.164974 s Remaining CPU time: 179.835 s c =============================================================================== c | 9 | 400 482 26100 | 5000 9 62 | 0.000 % | c =============================================================================== c New solution: 218 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s c =============================================================================== c | 9 | 400 483 26400 | 5000 9 62 | 0.000 % | c =============================================================================== c New solution: 217 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 10 | 400 484 26700 | 5000 10 56 | 0.000 % | c =============================================================================== c New solution: 216 c Elapsed CPU time: 0.176973 s Remaining CPU time: 179.823 s c =============================================================================== c | 11 | 400 485 27000 | 5000 11 52 | 0.000 % | c =============================================================================== c New solution: 215 c Elapsed CPU time: 0.180972 s Remaining CPU time: 179.819 s c =============================================================================== c | 11 | 400 486 27300 | 5000 11 52 | 0.000 % | c =============================================================================== c New solution: 214 c Elapsed CPU time: 0.184971 s Remaining CPU time: 179.815 s c =============================================================================== c | 11 | 400 487 27600 | 5000 11 52 | 0.000 % | c =============================================================================== c New solution: 213 c Elapsed CPU time: 0.186971 s Remaining CPU time: 179.813 s c =============================================================================== c | 12 | 400 488 27900 | 5000 12 66 | 0.000 % | c =============================================================================== c New solution: 212 c Elapsed CPU time: 0.188971 s Remaining CPU time: 179.811 s c =============================================================================== c | 12 | 400 489 28200 | 5000 12 66 | 0.000 % | c =============================================================================== c New solution: 211 c Elapsed CPU time: 0.19297 s Remaining CPU time: 179.807 s c =============================================================================== c | 12 | 400 490 28500 | 5000 12 66 | 0.000 % | c =============================================================================== c New solution: 210 c Elapsed CPU time: 0.19697 s Remaining CPU time: 179.803 s c =============================================================================== c | 12 | 400 491 28800 | 5000 12 66 | 0.000 % | c =============================================================================== c New solution: 209 c Elapsed CPU time: 0.199969 s Remaining CPU time: 179.8 s c =============================================================================== c | 12 | 400 492 29100 | 5000 12 66 | 0.000 % | c =============================================================================== c New solution: 208 c Elapsed CPU time: 0.203968 s Remaining CPU time: 179.796 s c =============================================================================== c | 12 | 400 493 29400 | 5000 12 66 | 0.000 % | c =============================================================================== c New solution: 207 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 12 | 400 494 29700 | 5000 12 66 | 0.000 % | c =============================================================================== c New solution: 206 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s c =============================================================================== c | 12 | 400 495 30000 | 5000 12 66 | 0.000 % | c =============================================================================== c New solution: 205 c Elapsed CPU time: 0.215967 s Remaining CPU time: 179.784 s c =============================================================================== c | 12 | 400 496 30300 | 5000 12 66 | 0.000 % | c =============================================================================== c New solution: 204 c Elapsed CPU time: 0.219966 s Remaining CPU time: 179.78 s c =============================================================================== c | 12 | 400 497 30600 | 5000 12 66 | 0.000 % | c =============================================================================== c New solution: 203 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s c =============================================================================== c | 12 | 400 498 30900 | 5000 12 66 | 0.000 % | c =============================================================================== c New solution: 202 c Elapsed CPU time: 0.228965 s Remaining CPU time: 179.771 s c =============================================================================== c | 14 | 400 499 31200 | 5000 14 58 | 0.000 % | c =============================================================================== c New solution: 201 c Elapsed CPU time: 0.232964 s Remaining CPU time: 179.767 s c =============================================================================== c | 14 | 400 500 31500 | 5000 14 58 | 0.000 % | c =============================================================================== c New solution: 200 c Elapsed CPU time: 0.236963 s Remaining CPU time: 179.763 s c =============================================================================== c | 14 | 400 501 31800 | 5000 14 58 | 0.000 % | c =============================================================================== c New solution: 199 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s c =============================================================================== c | 14 | 400 502 32100 | 5000 14 58 | 0.000 % | c =============================================================================== c New solution: 198 c Elapsed CPU time: 0.244962 s Remaining CPU time: 179.755 s c =============================================================================== c | 14 | 400 503 32400 | 5000 14 58 | 0.000 % | c =============================================================================== c New solution: 197 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s c =============================================================================== c | 14 | 400 504 32700 | 5000 14 58 | 0.000 % | c =============================================================================== c New solution: 196 c Elapsed CPU time: 0.252961 s Remaining CPU time: 179.747 s c =============================================================================== c | 14 | 400 505 33000 | 5000 14 58 | 0.000 % | c =============================================================================== c New solution: 195 c Elapsed CPU time: 0.25796 s Remaining CPU time: 179.742 s c =============================================================================== c | 14 | 400 506 33300 | 5000 14 58 | 0.000 % | c =============================================================================== c New solution: 194 c Elapsed CPU time: 0.26196 s Remaining CPU time: 179.738 s c =============================================================================== c | 14 | 400 507 33600 | 5000 14 58 | 0.000 % | c =============================================================================== c New solution: 193 c Elapsed CPU time: 0.265959 s Remaining CPU time: 179.734 s c =============================================================================== c | 14 | 400 508 33900 | 5000 14 58 | 0.000 % | c =============================================================================== c New solution: 192 c Elapsed CPU time: 0.269958 s Remaining CPU time: 179.73 s c =============================================================================== c | 14 | 400 509 34200 | 5000 14 58 | 0.000 % | c =============================================================================== c New solution: 191 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s c =============================================================================== c | 14 | 400 510 34500 | 5000 14 58 | 0.000 % | c =============================================================================== c New solution: 190 c Elapsed CPU time: 0.276957 s Remaining CPU time: 179.723 s c =============================================================================== c | 14 | 400 511 34800 | 5000 14 58 | 0.000 % | c =============================================================================== c New solution: 189 c Elapsed CPU time: 0.280957 s Remaining CPU time: 179.719 s c =============================================================================== c | 14 | 400 512 35100 | 5000 14 58 | 0.000 % | c =============================================================================== c New solution: 188 c Elapsed CPU time: 0.284956 s Remaining CPU time: 179.715 s c =============================================================================== c | 15 | 400 513 35400 | 5000 15 54 | 0.000 % | c =============================================================================== c New solution: 187 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s c =============================================================================== c | 16 | 400 514 35700 | 5000 16 52 | 0.000 % | c =============================================================================== c New solution: 186 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s c =============================================================================== c | 16 | 400 515 36000 | 5000 16 52 | 0.000 % | c =============================================================================== c New solution: 185 c Elapsed CPU time: 0.296954 s Remaining CPU time: 179.703 s c =============================================================================== c | 17 | 400 516 36300 | 5000 17 49 | 0.000 % | c =============================================================================== c New solution: 184 c Elapsed CPU time: 0.300954 s Remaining CPU time: 179.699 s c =============================================================================== c | 17 | 400 517 36600 | 5000 17 49 | 0.000 % | c =============================================================================== c New solution: 183 c Elapsed CPU time: 0.304953 s Remaining CPU time: 179.695 s c =============================================================================== c | 17 | 400 518 36900 | 5000 17 49 | 0.000 % | c =============================================================================== c New solution: 182 c Elapsed CPU time: 0.308953 s Remaining CPU time: 179.691 s c =============================================================================== c | 17 | 400 519 37200 | 5000 17 49 | 0.000 % | c =============================================================================== c New solution: 181 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s c =============================================================================== c | 17 | 400 520 37500 | 5000 17 49 | 0.000 % | c =============================================================================== c New solution: 180 c Elapsed CPU time: 0.316951 s Remaining CPU time: 179.683 s c =============================================================================== c | 17 | 400 521 37800 | 5000 17 49 | 0.000 % | c =============================================================================== c New solution: 179 c Elapsed CPU time: 0.320951 s Remaining CPU time: 179.679 s c =============================================================================== c | 17 | 400 522 38100 | 5000 17 49 | 0.000 % | c =============================================================================== c New solution: 178 c Elapsed CPU time: 0.32595 s Remaining CPU time: 179.674 s c =============================================================================== c | 17 | 400 523 38400 | 5000 17 49 | 0.000 % | c =============================================================================== c New solution: 177 c Elapsed CPU time: 0.330949 s Remaining CPU time: 179.669 s c =============================================================================== c | 18 | 400 524 38700 | 5000 18 47 | 0.000 % | c =============================================================================== c New solution: 176 c Elapsed CPU time: 0.334949 s Remaining CPU time: 179.665 s c =============================================================================== c | 19 | 400 525 39000 | 5000 19 54 | 0.000 % | c =============================================================================== c New solution: 175 c Elapsed CPU time: 0.339948 s Remaining CPU time: 179.66 s c =============================================================================== c | 19 | 400 526 39300 | 5000 19 54 | 0.000 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 0.344947 s Remaining CPU time: 179.655 s c =============================================================================== c | 19 | 400 527 39600 | 5000 19 54 | 0.000 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 0.349946 s Remaining CPU time: 179.65 s c =============================================================================== c | 19 | 400 528 39900 | 5000 19 54 | 0.000 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 0.353946 s Remaining CPU time: 179.646 s c =============================================================================== c | 19 | 400 529 40200 | 5000 19 54 | 0.000 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 0.358945 s Remaining CPU time: 179.641 s c =============================================================================== c | 19 | 400 530 40500 | 5000 19 54 | 0.000 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 0.363944 s Remaining CPU time: 179.636 s c =============================================================================== c | 19 | 400 531 40800 | 5000 19 54 | 0.000 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 0.368943 s Remaining CPU time: 179.631 s c =============================================================================== c | 19 | 400 532 41100 | 5000 19 54 | 0.000 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 0.373943 s Remaining CPU time: 179.626 s c =============================================================================== c | 19 | 400 533 41400 | 5000 19 54 | 0.000 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 0.378942 s Remaining CPU time: 179.621 s c =============================================================================== c | 20 | 400 534 41700 | 5000 20 52 | 0.000 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 0.383941 s Remaining CPU time: 179.616 s c =============================================================================== c | 20 | 400 535 42000 | 5000 20 52 | 0.000 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 0.38994 s Remaining CPU time: 179.61 s c =============================================================================== c | 20 | 400 536 42300 | 5000 20 52 | 0.000 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 0.394939 s Remaining CPU time: 179.605 s c =============================================================================== c | 20 | 400 537 42600 | 5000 20 52 | 0.000 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 0.399939 s Remaining CPU time: 179.6 s c =============================================================================== c | 20 | 400 538 42900 | 5000 20 52 | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 0.404938 s Remaining CPU time: 179.595 s c =============================================================================== c | 20 | 400 539 43200 | 5000 20 52 | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 0.409937 s Remaining CPU time: 179.59 s c =============================================================================== c | 20 | 400 540 43500 | 5000 20 52 | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 0.414936 s Remaining CPU time: 179.585 s c =============================================================================== c | 20 | 400 541 43800 | 5000 20 52 | 0.000 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 0.420936 s Remaining CPU time: 179.579 s c =============================================================================== c | 20 | 400 542 44100 | 5000 20 52 | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 0.425935 s Remaining CPU time: 179.574 s c =============================================================================== c | 20 | 400 543 44400 | 5000 20 52 | 0.000 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 0.431934 s Remaining CPU time: 179.568 s c =============================================================================== c | 21 | 400 544 44700 | 5000 21 49 | 0.000 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 0.435933 s Remaining CPU time: 179.564 s c =============================================================================== c | 21 | 400 545 45000 | 5000 21 49 | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 0.441932 s Remaining CPU time: 179.558 s c =============================================================================== c | 21 | 400 546 45300 | 5000 21 49 | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 0.447931 s Remaining CPU time: 179.552 s c =============================================================================== c | 23 | 400 547 45600 | 5000 23 53 | 0.000 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 0.452931 s Remaining CPU time: 179.547 s c =============================================================================== c | 23 | 400 548 45900 | 5000 23 53 | 0.000 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 0.45793 s Remaining CPU time: 179.542 s c =============================================================================== c | 23 | 400 549 46200 | 5000 23 53 | 0.000 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 0.463929 s Remaining CPU time: 179.536 s c =============================================================================== c | 23 | 400 550 46500 | 5000 23 53 | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 0.468928 s Remaining CPU time: 179.531 s c =============================================================================== c | 23 | 400 551 46800 | 5000 23 53 | 0.000 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 0.474927 s Remaining CPU time: 179.525 s c =============================================================================== c | 23 | 400 552 47100 | 5000 23 53 | 0.000 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 0.479927 s Remaining CPU time: 179.52 s c =============================================================================== c | 23 | 400 553 47400 | 5000 23 53 | 0.000 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 0.484926 s Remaining CPU time: 179.515 s c =============================================================================== c | 23 | 400 554 47700 | 5000 23 53 | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 0.490925 s Remaining CPU time: 179.509 s c =============================================================================== c | 24 | 400 555 48000 | 5000 24 51 | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 0.494924 s Remaining CPU time: 179.505 s c =============================================================================== c | 24 | 400 556 48300 | 5000 24 51 | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 0.499924 s Remaining CPU time: 179.5 s c =============================================================================== c | 24 | 400 557 48600 | 5000 24 51 | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 0.505923 s Remaining CPU time: 179.494 s c =============================================================================== c | 24 | 400 558 48900 | 5000 24 51 | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 0.510922 s Remaining CPU time: 179.489 s c =============================================================================== c | 24 | 400 559 49200 | 5000 24 51 | 0.000 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 0.516921 s Remaining CPU time: 179.483 s c =============================================================================== c | 24 | 400 560 49500 | 5000 24 51 | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 0.52292 s Remaining CPU time: 179.477 s c =============================================================================== c | 24 | 400 561 49800 | 5000 24 51 | 0.000 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 0.528919 s Remaining CPU time: 179.471 s c =============================================================================== c | 24 | 400 562 50100 | 5000 24 51 | 0.000 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 0.534918 s Remaining CPU time: 179.465 s c =============================================================================== c | 24 | 400 563 50400 | 5000 24 51 | 0.000 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 0.540917 s Remaining CPU time: 179.459 s c =============================================================================== c | 26 | 400 564 50700 | 5000 26 58 | 0.000 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 0.546916 s Remaining CPU time: 179.453 s c =============================================================================== c | 26 | 400 565 51000 | 5000 26 58 | 0.000 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 0.552915 s Remaining CPU time: 179.447 s c =============================================================================== c | 26 | 400 566 51300 | 5000 26 58 | 0.000 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 0.558915 s Remaining CPU time: 179.441 s c =============================================================================== c | 26 | 400 567 51600 | 5000 26 58 | 0.000 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 0.564914 s Remaining CPU time: 179.435 s c =============================================================================== c | 26 | 400 568 51900 | 5000 26 58 | 0.000 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 0.570913 s Remaining CPU time: 179.429 s c =============================================================================== c | 26 | 400 569 52200 | 5000 26 58 | 0.000 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 0.576912 s Remaining CPU time: 179.423 s c =============================================================================== c | 26 | 400 570 52500 | 5000 26 58 | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 0.582911 s Remaining CPU time: 179.417 s c =============================================================================== c | 27 | 400 571 52800 | 5000 27 56 | 0.000 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 0.58891 s Remaining CPU time: 179.411 s c =============================================================================== c | 27 | 400 572 53100 | 5000 27 56 | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 0.594909 s Remaining CPU time: 179.405 s c =============================================================================== c | 27 | 400 573 53400 | 5000 27 56 | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 0.600908 s Remaining CPU time: 179.399 s c =============================================================================== c | 27 | 400 574 53700 | 5000 27 56 | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 0.606907 s Remaining CPU time: 179.393 s c =============================================================================== c | 27 | 400 575 54000 | 5000 27 56 | 0.000 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 0.612906 s Remaining CPU time: 179.387 s c =============================================================================== c | 27 | 400 576 54300 | 5000 27 56 | 0.000 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 0.618905 s Remaining CPU time: 179.381 s c =============================================================================== c | 27 | 400 577 54600 | 5000 27 56 | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 0.624905 s Remaining CPU time: 179.375 s c =============================================================================== c | 27 | 400 578 54900 | 5000 27 56 | 0.000 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 0.631903 s Remaining CPU time: 179.368 s c =============================================================================== c | 30 | 400 579 55200 | 5000 30 51 | 0.000 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 0.637903 s Remaining CPU time: 179.362 s c =============================================================================== c | 31 | 400 580 55500 | 5000 31 50 | 0.000 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 0.643902 s Remaining CPU time: 179.356 s c =============================================================================== c | 31 | 400 581 55800 | 5000 31 50 | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 0.649901 s Remaining CPU time: 179.35 s c =============================================================================== c | 31 | 400 582 56100 | 5000 31 50 | 0.000 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 0.6559 s Remaining CPU time: 179.344 s c =============================================================================== c | 31 | 400 583 56400 | 5000 31 50 | 0.000 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 0.661899 s Remaining CPU time: 179.338 s c =============================================================================== c | 31 | 400 584 56700 | 5000 31 50 | 0.000 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 0.667898 s Remaining CPU time: 179.332 s c =============================================================================== c | 31 | 400 585 57000 | 5000 31 50 | 0.000 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 0.673897 s Remaining CPU time: 179.326 s c =============================================================================== c | 31 | 400 586 57300 | 5000 31 50 | 0.000 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 0.679896 s Remaining CPU time: 179.32 s c =============================================================================== c | 31 | 400 587 57600 | 5000 31 50 | 0.000 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 0.684895 s Remaining CPU time: 179.315 s c =============================================================================== c | 31 | 400 588 57900 | 5000 31 50 | 0.000 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 0.690894 s Remaining CPU time: 179.309 s c =============================================================================== c | 31 | 400 589 58200 | 5000 31 50 | 0.000 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 0.696894 s Remaining CPU time: 179.303 s c =============================================================================== c | 31 | 400 590 58500 | 5000 31 50 | 0.000 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 0.702893 s Remaining CPU time: 179.297 s c =============================================================================== c | 31 | 400 591 58800 | 5000 31 50 | 0.000 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 0.709892 s Remaining CPU time: 179.29 s c =============================================================================== c | 33 | 400 592 59100 | 5000 33 51 | 0.000 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 0.715891 s Remaining CPU time: 179.284 s c =============================================================================== c | 33 | 400 593 59400 | 5000 33 51 | 0.000 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 0.72189 s Remaining CPU time: 179.278 s c =============================================================================== c | 33 | 400 594 59700 | 5000 33 51 | 0.000 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 0.728889 s Remaining CPU time: 179.271 s c =============================================================================== c | 33 | 400 595 60000 | 5000 33 51 | 0.000 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 0.734888 s Remaining CPU time: 179.265 s c =============================================================================== c | 33 | 400 596 60300 | 5000 33 51 | 0.000 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 0.740887 s Remaining CPU time: 179.259 s c =============================================================================== c | 33 | 400 597 60600 | 5000 33 51 | 0.000 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 0.746886 s Remaining CPU time: 179.253 s c =============================================================================== c | 33 | 400 598 60900 | 5000 33 51 | 0.000 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 0.753885 s Remaining CPU time: 179.246 s c =============================================================================== c | 33 | 400 599 61200 | 5000 33 51 | 0.000 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 0.759884 s Remaining CPU time: 179.24 s c =============================================================================== c | 33 | 400 600 61500 | 5000 33 51 | 0.000 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 0.765883 s Remaining CPU time: 179.234 s c =============================================================================== c | 33 | 400 601 61800 | 5000 33 51 | 0.000 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 0.771882 s Remaining CPU time: 179.228 s c =============================================================================== c | 33 | 400 602 62100 | 5000 33 51 | 0.000 % | c =============================================================================== c New solution: 98 c Elapsed CPU time: 0.777881 s Remaining CPU time: 179.222 s c =============================================================================== c | 33 | 400 603 62400 | 5000 33 51 | 0.000 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 0.78388 s Remaining CPU time: 179.216 s c =============================================================================== c | 33 | 400 604 62700 | 5000 33 51 | 0.000 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 0.789879 s Remaining CPU time: 179.21 s c =============================================================================== c | 33 | 400 605 63000 | 5000 33 51 | 0.000 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 0.795879 s Remaining CPU time: 179.204 s c =============================================================================== c | 33 | 400 606 63300 | 5000 33 51 | 0.000 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 0.802877 s Remaining CPU time: 179.197 s c =============================================================================== c | 33 | 400 607 63600 | 5000 33 51 | 0.000 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 0.808877 s Remaining CPU time: 179.191 s c =============================================================================== c | 33 | 400 608 63900 | 5000 33 51 | 0.000 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 0.814876 s Remaining CPU time: 179.185 s c =============================================================================== c | 33 | 400 609 64200 | 5000 33 51 | 0.000 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 0.821875 s Remaining CPU time: 179.178 s c =============================================================================== c | 33 | 400 610 64500 | 5000 33 51 | 0.000 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 0.827874 s Remaining CPU time: 179.172 s c =============================================================================== c | 33 | 400 611 64800 | 5000 33 51 | 0.000 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 0.834873 s Remaining CPU time: 179.165 s c =============================================================================== c | 33 | 400 612 65100 | 5000 33 51 | 0.000 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 0.840872 s Remaining CPU time: 179.159 s c =============================================================================== c | 33 | 400 613 65400 | 5000 33 51 | 0.000 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 0.846871 s Remaining CPU time: 179.153 s c =============================================================================== c | 33 | 400 614 65700 | 5000 33 51 | 0.000 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 0.85287 s Remaining CPU time: 179.147 s c =============================================================================== c | 33 | 400 615 66000 | 5000 33 51 | 0.000 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 0.858869 s Remaining CPU time: 179.141 s c =============================================================================== c | 33 | 400 616 66300 | 5000 33 51 | 0.000 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 0.864868 s Remaining CPU time: 179.135 s c =============================================================================== c | 33 | 400 617 66600 | 5000 33 51 | 0.000 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 0.870867 s Remaining CPU time: 179.129 s c =============================================================================== c | 33 | 400 618 66900 | 5000 33 51 | 0.000 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 0.877866 s Remaining CPU time: 179.122 s c =============================================================================== c | 33 | 400 619 67200 | 5000 33 51 | 0.000 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 0.883865 s Remaining CPU time: 179.116 s c =============================================================================== c | 34 | 400 620 67500 | 5000 34 52 | 0.000 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 0.889864 s Remaining CPU time: 179.11 s c =============================================================================== c | 34 | 400 621 67800 | 5000 34 52 | 0.000 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 0.895863 s Remaining CPU time: 179.104 s c =============================================================================== c | 34 | 400 622 68100 | 5000 34 52 | 0.000 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 0.901862 s Remaining CPU time: 179.098 s c =============================================================================== c | 34 | 400 623 68400 | 5000 34 52 | 0.000 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 0.908861 s Remaining CPU time: 179.091 s c =============================================================================== c | 41 | 400 624 68700 | 5000 41 53 | 0.000 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 0.91486 s Remaining CPU time: 179.085 s c =============================================================================== c | 43 | 400 625 69000 | 5000 43 51 | 0.000 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 0.92086 s Remaining CPU time: 179.079 s c =============================================================================== c | 47 | 400 626 69300 | 5000 47 48 | 0.000 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 0.926859 s Remaining CPU time: 179.073 s c =============================================================================== c | 48 | 400 627 69600 | 5000 48 48 | 0.000 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 0.932858 s Remaining CPU time: 179.067 s c =============================================================================== c | 48 | 400 628 69900 | 5000 48 48 | 0.000 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 0.938857 s Remaining CPU time: 179.061 s c =============================================================================== c | 50 | 400 629 70200 | 5000 50 49 | 0.000 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 0.943856 s Remaining CPU time: 179.056 s c =============================================================================== c | 55 | 400 630 70500 | 5000 55 46 | 0.000 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 0.949855 s Remaining CPU time: 179.05 s c =============================================================================== c | 57 | 400 631 70800 | 5000 57 47 | 0.000 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 0.955854 s Remaining CPU time: 179.044 s c =============================================================================== c | 57 | 400 632 71100 | 5000 57 47 | 0.000 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 0.961853 s Remaining CPU time: 179.038 s c =============================================================================== c | 58 | 400 633 71400 | 5000 58 47 | 0.000 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 0.966853 s Remaining CPU time: 179.033 s c =============================================================================== c | 59 | 400 634 71700 | 5000 59 48 | 0.000 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 0.971852 s Remaining CPU time: 179.028 s c =============================================================================== c | 60 | 400 635 72000 | 5000 60 48 | 0.000 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 0.977851 s Remaining CPU time: 179.022 s c =============================================================================== c | 61 | 400 636 72300 | 5000 61 48 | 0.000 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 0.98385 s Remaining CPU time: 179.016 s c =============================================================================== c | 61 | 400 637 72600 | 5000 61 48 | 0.000 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 0.989849 s Remaining CPU time: 179.01 s c =============================================================================== c | 62 | 400 638 72900 | 5000 62 49 | 0.000 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 0.994848 s Remaining CPU time: 179.005 s c =============================================================================== c | 63 | 400 639 73200 | 5000 63 49 | 0.000 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 1.00085 s Remaining CPU time: 178.999 s c =============================================================================== c | 63 | 400 640 73500 | 5000 63 49 | 0.000 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 1.00585 s Remaining CPU time: 178.994 s c =============================================================================== c | 64 | 400 641 73800 | 5000 64 49 | 0.000 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 1.01185 s Remaining CPU time: 178.988 s c =============================================================================== c | 65 | 400 642 74100 | 5000 65 50 | 0.000 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 1.01784 s Remaining CPU time: 178.982 s c =============================================================================== c | 66 | 400 643 74400 | 5000 66 50 | 0.000 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 1.02284 s Remaining CPU time: 178.977 s c =============================================================================== c | 67 | 400 644 74700 | 5000 67 50 | 0.000 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 1.02784 s Remaining CPU time: 178.972 s c =============================================================================== c | 68 | 400 645 75000 | 5000 68 50 | 0.000 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 1.03384 s Remaining CPU time: 178.966 s c =============================================================================== c | 69 | 400 646 75300 | 5000 69 50 | 0.000 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 1.03884 s Remaining CPU time: 178.961 s c =============================================================================== c | 74 | 400 647 75600 | 5000 74 48 | 0.000 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 1.04484 s Remaining CPU time: 178.955 s c =============================================================================== c | 76 | 400 648 75900 | 5000 76 47 | 0.000 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 1.04984 s Remaining CPU time: 178.95 s c =============================================================================== c | 76 | 400 649 76200 | 5000 76 47 | 0.000 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 1.05484 s Remaining CPU time: 178.945 s c =============================================================================== c | 76 | 400 650 76500 | 5000 76 47 | 0.000 % | c =============================================================================== c New solution: 50 c Elapsed CPU time: 1.05984 s Remaining CPU time: 178.94 s c =============================================================================== c | 79 | 400 651 76800 | 5000 79 46 | 0.000 % | c =============================================================================== c New solution: 49 c Elapsed CPU time: 1.06484 s Remaining CPU time: 178.935 s c =============================================================================== c | 79 | 400 652 77100 | 5000 79 46 | 0.000 % | c =============================================================================== c New solution: 48 c Elapsed CPU time: 1.06984 s Remaining CPU time: 178.93 s c =============================================================================== c | 79 | 400 653 77400 | 5000 79 46 | 0.000 % | c =============================================================================== c New solution: 47 c Elapsed CPU time: 1.07484 s Remaining CPU time: 178.925 s c =============================================================================== c | 79 | 400 654 77700 | 5000 79 46 | 0.000 % | c =============================================================================== c New solution: 46 c Elapsed CPU time: 1.07883 s Remaining CPU time: 178.921 s c =============================================================================== c | 79 | 400 655 78000 | 5000 79 46 | 0.000 % | c =============================================================================== c New solution: 45 c Elapsed CPU time: 1.08384 s Remaining CPU time: 178.916 s c =============================================================================== c | 79 | 400 656 78300 | 5000 79 46 | 0.000 % | c =============================================================================== c New solution: 44 c Elapsed CPU time: 1.08883 s Remaining CPU time: 178.911 s c =============================================================================== c | 79 | 400 657 78600 | 5000 79 46 | 0.000 % | c =============================================================================== c New solution: 43 c Elapsed CPU time: 1.09383 s Remaining CPU time: 178.906 s c =============================================================================== c | 79 | 400 658 78900 | 5000 79 46 | 0.000 % | c =============================================================================== c New solution: 42 c Elapsed CPU time: 1.09883 s Remaining CPU time: 178.901 s c =============================================================================== c | 99 | 400 659 79200 | 5000 99 42 | 0.000 % | c =============================================================================== c New solution: 41 c Elapsed CPU time: 1.10483 s Remaining CPU time: 178.895 s c =============================================================================== c | 106 | 400 660 79500 | 5000 106 42 | 0.000 % | c =============================================================================== c New solution: 40 c Elapsed CPU time: 1.11183 s Remaining CPU time: 178.888 s c =============================================================================== c | 120 | 400 661 79800 | 5000 120 41 | 0.000 % | c =============================================================================== c New solution: 39 c Elapsed CPU time: 1.11583 s Remaining CPU time: 178.884 s c =============================================================================== c | 127 | 400 662 80100 | 5000 127 40 | 0.000 % | c =============================================================================== c New solution: 38 c Elapsed CPU time: 1.12183 s Remaining CPU time: 178.878 s c =============================================================================== c | 130 | 400 663 80400 | 5000 130 40 | 0.000 % | c =============================================================================== c New solution: 37 c Elapsed CPU time: 1.12683 s Remaining CPU time: 178.873 s c =============================================================================== c | 134 | 400 664 80700 | 5000 134 39 | 0.000 % | c =============================================================================== c New solution: 36 c Elapsed CPU time: 1.13483 s Remaining CPU time: 178.865 s c =============================================================================== c | 152 | 400 665 81000 | 5000 152 39 | 0.000 % | c =============================================================================== c New solution: 35 c Elapsed CPU time: 1.13983 s Remaining CPU time: 178.86 s c =============================================================================== c | 153 | 400 666 81300 | 5000 153 39 | 0.000 % | c =============================================================================== c New solution: 34 c Elapsed CPU time: 1.14482 s Remaining CPU time: 178.855 s c =============================================================================== c | 162 | 400 667 81600 | 5000 162 38 | 0.000 % | c =============================================================================== c New solution: 33 c Elapsed CPU time: 1.15482 s Remaining CPU time: 178.845 s c =============================================================================== c | 193 | 400 668 81900 | 5000 193 38 | 0.000 % | c =============================================================================== c New solution: 32 c Elapsed CPU time: 1.15882 s Remaining CPU time: 178.841 s c =============================================================================== c | 201 | 400 669 82200 | 5000 201 37 | 0.000 % | c =============================================================================== c New solution: 31 c Elapsed CPU time: 1.16482 s Remaining CPU time: 178.835 s c =============================================================================== c | 227 | 400 670 82500 | 5000 227 36 | 0.000 % | c | 327 | 400 670 82500 | 5500 327 37 | 0.001 % | c =============================================================================== c New solution: 30 c Elapsed CPU time: 1.19082 s Remaining CPU time: 178.809 s c =============================================================================== c | 356 | 400 671 82800 | 5000 356 36 | 0.001 % | c | 456 | 400 671 82800 | 5500 456 36 | 0.001 % | c =============================================================================== c New solution: 29 c Elapsed CPU time: 1.22381 s Remaining CPU time: 178.776 s c =============================================================================== c | 524 | 400 672 83100 | 5000 524 35 | 0.001 % | c | 625 | 400 672 83100 | 5500 625 36 | 0.001 % | c =============================================================================== c New solution: 28 c Elapsed CPU time: 1.26081 s Remaining CPU time: 178.739 s c =============================================================================== c | 627 | 400 673 83400 | 5000 627 36 | 0.001 % | c =============================================================================== c New solution: 27 c Elapsed CPU time: 1.26581 s Remaining CPU time: 178.734 s c =============================================================================== c | 628 | 400 674 83700 | 5000 628 35 | 0.001 % | c =============================================================================== c New solution: 26 c Elapsed CPU time: 1.26981 s Remaining CPU time: 178.73 s c =============================================================================== c | 632 | 400 675 84000 | 5000 632 35 | 0.001 % | c =============================================================================== c New solution: 25 c Elapsed CPU time: 1.27381 s Remaining CPU time: 178.726 s c =============================================================================== c | 633 | 400 676 84300 | 5000 633 35 | 0.001 % | c =============================================================================== c New solution: 24 c Elapsed CPU time: 1.27781 s Remaining CPU time: 178.722 s c =============================================================================== c | 633 | 400 677 84600 | 5000 633 35 | 0.001 % | c =============================================================================== c New solution: 23 c Elapsed CPU time: 1.28181 s Remaining CPU time: 178.718 s c =============================================================================== c | 634 | 400 678 84900 | 5000 634 35 | 0.001 % | c =============================================================================== c New solution: 22 c Elapsed CPU time: 1.2858 s Remaining CPU time: 178.714 s c =============================================================================== c | 636 | 400 679 85200 | 5000 636 36 | 0.001 % | c =============================================================================== c New solution: 21 c Elapsed CPU time: 1.2978 s Remaining CPU time: 178.702 s c =============================================================================== c | 679 | 400 680 85500 | 5000 679 35 | 0.001 % | c | 779 | 400 680 85500 | 5500 779 34 | 0.001 % | c =============================================================================== c New solution: 20 c Elapsed CPU time: 1.3358 s Remaining CPU time: 178.664 s c =============================================================================== c | 846 | 400 681 85800 | 5000 846 34 | 0.001 % | c =============================================================================== c New solution: 19 c Elapsed CPU time: 1.3408 s Remaining CPU time: 178.659 s c =============================================================================== c | 876 | 400 682 86100 | 5000 876 33 | 0.001 % | c | 977 | 400 682 86100 | 5500 977 33 | 0.001 % | c =============================================================================== c New solution: 18 c Elapsed CPU time: 1.37779 s Remaining CPU time: 178.622 s c =============================================================================== c | 1002 | 400 683 86400 | 5000 1002 32 | 0.001 % | c | 1103 | 400 683 86400 | 5500 1103 32 | 0.001 % | c =============================================================================== c New solution: 17 c Elapsed CPU time: 1.42678 s Remaining CPU time: 178.573 s c =============================================================================== c | 1137 | 400 684 86700 | 5000 1137 32 | 0.001 % | c | 1238 | 400 684 86700 | 5500 1238 32 | 0.001 % | c =============================================================================== c New solution: 16 c Elapsed CPU time: 1.44778 s Remaining CPU time: 178.552 s c =============================================================================== c | 1249 | 400 685 87000 | 5000 1249 32 | 0.001 % | c =============================================================================== c New solution: 15 c Elapsed CPU time: 1.45178 s Remaining CPU time: 178.548 s c =============================================================================== c | 1249 | 400 686 87300 | 5000 1249 32 | 0.001 % | c =============================================================================== c New solution: 14 c Elapsed CPU time: 1.45578 s Remaining CPU time: 178.544 s c =============================================================================== c | 1249 | 400 687 87600 | 5000 1249 32 | 0.001 % | c =============================================================================== c New solution: 13 c Elapsed CPU time: 1.45878 s Remaining CPU time: 178.541 s c =============================================================================== c | 1249 | 400 688 87900 | 5000 1249 32 | 0.001 % | c =============================================================================== c New solution: 12 c Elapsed CPU time: 1.46278 s Remaining CPU time: 178.537 s c =============================================================================== c | 1249 | 400 689 88200 | 5000 1249 32 | 0.001 % | c =============================================================================== c New solution: 11 c Elapsed CPU time: 1.46678 s Remaining CPU time: 178.533 s c =============================================================================== c | 1249 | 400 690 88500 | 5000 1249 32 | 0.001 % | c =============================================================================== c New solution: 10 c Elapsed CPU time: 1.46978 s Remaining CPU time: 178.53 s c =============================================================================== c | 1249 | 400 691 88800 | 5000 1249 32 | 0.001 % | c =============================================================================== c New solution: 9 c Elapsed CPU time: 1.47378 s Remaining CPU time: 178.526 s c =============================================================================== c | 1250 | 400 692 89100 | 5000 1250 32 | 0.001 % | c =============================================================================== c New solution: 8 c Elapsed CPU time: 1.47677 s Remaining CPU time: 178.523 s c =============================================================================== c | 1250 | 400 693 89400 | 5000 1250 32 | 0.001 % | c =============================================================================== c New solution: 7 c Elapsed CPU time: 1.48077 s Remaining CPU time: 178.519 s c =============================================================================== c | 1251 | 400 694 89700 | 5000 1251 32 | 0.001 % | c =============================================================================== c New solution: 6 c Elapsed CPU time: 1.48377 s Remaining CPU time: 178.516 s c =============================================================================== c | 1251 | 400 695 90000 | 5000 1251 32 | 0.001 % | c =============================================================================== c New solution: 5 c Elapsed CPU time: 1.48677 s Remaining CPU time: 178.513 s c =============================================================================== c | 1251 | 400 696 90300 | 5000 1251 32 | 0.001 % | c =============================================================================== c New solution: 4 c Elapsed CPU time: 1.48977 s Remaining CPU time: 178.51 s c =============================================================================== c | 1251 | 400 697 90600 | 5000 1251 32 | 0.001 % | c =============================================================================== c New solution: 3 c Elapsed CPU time: 1.49277 s Remaining CPU time: 178.507 s c =============================================================================== c | 1251 | 400 698 90900 | 5000 1251 32 | 0.001 % | c =============================================================================== c New solution: 2 c Elapsed CPU time: 1.49577 s Remaining CPU time: 178.504 s c =============================================================================== c | 1251 | 400 699 91200 | 5000 1251 32 | 0.001 % | c =============================================================================== c New solution: 1 c Elapsed CPU time: 1.50177 s Remaining CPU time: 178.498 s c =============================================================================== c | 1276 | 400 700 91500 | 5000 1276 32 | 0.001 % | c =============================================================================== c New solution: 0 c Elapsed CPU time: 1.50677 s Remaining CPU time: 178.493 s c =============================================================================== c =============================================================================== c Total CPU time: 1.50677 s