c wbo 1.4 beta - 20100610 c | Number of variables: 800 | c | Number of clauses: 4345 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1191 | c | Number Clauses: 4339 | 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 | 1191 4339 9081 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 1191 4340 9478 | 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 | 1191 4341 9875 | 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 | 1191 4342 10272 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1191 4343 10669 | 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 | 1191 4344 11066 | 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 | 1191 4345 11463 | 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 | 1191 4346 11860 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1191 4347 12257 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 1191 4348 12654 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1191 4349 13051 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 1191 4350 13448 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1191 4351 13845 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1191 4352 14242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 1191 4353 14639 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1191 4354 15036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 1 | 1191 4355 15433 | 5000 1 383 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 1 | 1191 4356 15830 | 5000 1 383 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 1 | 1191 4357 16227 | 5000 1 383 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 1 | 1191 4358 16624 | 5000 1 383 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 1 | 1191 4359 17021 | 5000 1 383 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 1 | 1191 4360 17418 | 5000 1 383 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 1 | 1191 4361 17815 | 5000 1 383 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 1 | 1191 4362 18212 | 5000 1 383 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 1 | 1191 4363 18609 | 5000 1 383 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 1 | 1191 4364 19006 | 5000 1 383 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 1 | 1191 4365 19403 | 5000 1 383 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 1 | 1191 4366 19800 | 5000 1 383 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 1 | 1191 4367 20197 | 5000 1 383 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 1 | 1191 4368 20594 | 5000 1 383 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 1 | 1191 4369 20991 | 5000 1 383 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 1 | 1191 4370 21388 | 5000 1 383 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 1 | 1191 4371 21785 | 5000 1 383 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 2 | 1191 4372 22182 | 5000 2 374 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 2 | 1191 4373 22579 | 5000 2 374 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 2 | 1191 4374 22976 | 5000 2 374 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 2 | 1191 4375 23373 | 5000 2 374 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 2 | 1191 4376 23770 | 5000 2 374 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 2 | 1191 4377 24167 | 5000 2 374 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 2 | 1191 4378 24564 | 5000 2 374 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 2 | 1191 4379 24961 | 5000 2 374 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 2 | 1191 4380 25358 | 5000 2 374 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 2 | 1191 4381 25755 | 5000 2 374 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 2 | 1191 4382 26152 | 5000 2 374 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 2 | 1191 4383 26549 | 5000 2 374 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 2 | 1191 4384 26946 | 5000 2 374 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 2 | 1191 4385 27343 | 5000 2 374 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 2 | 1191 4386 27740 | 5000 2 374 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 2 | 1191 4387 28137 | 5000 2 374 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 2 | 1191 4388 28534 | 5000 2 374 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.13098 s Remaining CPU time: 179.869 s c =============================================================================== c | 2 | 1191 4389 28931 | 5000 2 374 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s c =============================================================================== c | 3 | 1191 4390 29328 | 5000 3 366 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 3 | 1191 4391 29725 | 5000 3 366 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 4 | 1191 4392 30122 | 5000 4 275 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 4 | 1191 4393 30519 | 5000 4 275 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 4 | 1191 4394 30916 | 5000 4 275 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 4 | 1191 4395 31313 | 5000 4 275 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 4 | 1191 4396 31710 | 5000 4 275 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 4 | 1191 4397 32107 | 5000 4 275 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.164974 s Remaining CPU time: 179.835 s c =============================================================================== c | 4 | 1191 4398 32504 | 5000 4 275 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s c =============================================================================== c | 4 | 1191 4399 32901 | 5000 4 275 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.172973 s Remaining CPU time: 179.827 s c =============================================================================== c | 4 | 1191 4400 33298 | 5000 4 275 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 4 | 1191 4401 33695 | 5000 4 275 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.180972 s Remaining CPU time: 179.819 s c =============================================================================== c | 4 | 1191 4402 34092 | 5000 4 275 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.185971 s Remaining CPU time: 179.814 s c =============================================================================== c | 4 | 1191 4403 34489 | 5000 4 275 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s c =============================================================================== c | 4 | 1191 4404 34886 | 5000 4 275 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 4 | 1191 4405 35283 | 5000 4 275 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.197969 s Remaining CPU time: 179.802 s c =============================================================================== c | 4 | 1191 4406 35680 | 5000 4 275 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 5 | 1191 4407 36077 | 5000 5 286 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.208968 s Remaining CPU time: 179.791 s c =============================================================================== c | 10 | 1191 4408 36474 | 5000 10 308 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 10 | 1191 4409 36871 | 5000 10 308 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.219966 s Remaining CPU time: 179.78 s c =============================================================================== c | 17 | 1191 4410 37268 | 5000 17 316 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.227965 s Remaining CPU time: 179.772 s c =============================================================================== c | 34 | 1191 4411 37665 | 5000 34 321 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s c =============================================================================== c | 43 | 1191 4412 38062 | 5000 43 322 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.241963 s Remaining CPU time: 179.758 s c =============================================================================== c | 63 | 1191 4413 38459 | 5000 63 323 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s c =============================================================================== c | 64 | 1191 4414 38856 | 5000 64 323 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.252961 s Remaining CPU time: 179.747 s c =============================================================================== c | 75 | 1191 4415 39253 | 5000 75 323 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.25996 s Remaining CPU time: 179.74 s c =============================================================================== c | 86 | 1191 4416 39650 | 5000 86 323 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.266959 s Remaining CPU time: 179.733 s c =============================================================================== c | 96 | 1191 4417 40047 | 5000 96 323 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s c =============================================================================== c | 112 | 1191 4418 40444 | 5000 112 322 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.281957 s Remaining CPU time: 179.718 s c =============================================================================== c | 122 | 1191 4419 40841 | 5000 122 322 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s c =============================================================================== c | 140 | 1191 4420 41238 | 5000 140 321 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.305953 s Remaining CPU time: 179.694 s c =============================================================================== c | 172 | 1191 4421 41635 | 5000 172 321 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.314952 s Remaining CPU time: 179.685 s c =============================================================================== c | 182 | 1191 4422 42032 | 5000 182 320 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s c =============================================================================== c | 196 | 1191 4423 42429 | 5000 196 320 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.331949 s Remaining CPU time: 179.668 s c =============================================================================== c | 203 | 1191 4424 42826 | 5000 203 320 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.338948 s Remaining CPU time: 179.661 s c =============================================================================== c | 215 | 1191 4425 43223 | 5000 215 319 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.345947 s Remaining CPU time: 179.654 s c =============================================================================== c | 221 | 1191 4426 43620 | 5000 221 319 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.355945 s Remaining CPU time: 179.644 s c =============================================================================== c | 234 | 1191 4427 44017 | 5000 234 319 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.364944 s Remaining CPU time: 179.635 s c =============================================================================== c | 250 | 1191 4428 44414 | 5000 250 318 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.372943 s Remaining CPU time: 179.627 s c =============================================================================== c | 256 | 1191 4429 44811 | 5000 256 318 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.383941 s Remaining CPU time: 179.616 s c =============================================================================== c | 281 | 1191 4430 45208 | 5000 281 317 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.394939 s Remaining CPU time: 179.605 s c =============================================================================== c | 297 | 1191 4431 45605 | 5000 297 316 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.403938 s Remaining CPU time: 179.596 s c =============================================================================== c | 314 | 1191 4432 46002 | 5000 314 316 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.414936 s Remaining CPU time: 179.585 s c =============================================================================== c | 337 | 1191 4433 46399 | 5000 337 315 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.422935 s Remaining CPU time: 179.577 s c =============================================================================== c | 338 | 1191 4434 46796 | 5000 338 315 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.440932 s Remaining CPU time: 179.559 s c =============================================================================== c | 381 | 1191 4435 47193 | 5000 381 314 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.452931 s Remaining CPU time: 179.547 s c =============================================================================== c | 397 | 1191 4436 47590 | 5000 397 313 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.461929 s Remaining CPU time: 179.538 s c =============================================================================== c | 405 | 1191 4437 47987 | 5000 405 313 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.474927 s Remaining CPU time: 179.525 s c =============================================================================== c | 423 | 1191 4438 48384 | 5000 423 312 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.484926 s Remaining CPU time: 179.515 s c =============================================================================== c | 436 | 1191 4439 48781 | 5000 436 312 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.492925 s Remaining CPU time: 179.507 s c =============================================================================== c | 446 | 1191 4440 49178 | 5000 446 312 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.505923 s Remaining CPU time: 179.494 s c =============================================================================== c | 466 | 1191 4441 49575 | 5000 466 311 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.526919 s Remaining CPU time: 179.473 s c =============================================================================== c | 522 | 1191 4442 49972 | 5000 522 309 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.536918 s Remaining CPU time: 179.463 s c =============================================================================== c | 531 | 1191 4443 50369 | 5000 531 309 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.545917 s Remaining CPU time: 179.454 s c =============================================================================== c | 540 | 1191 4444 50766 | 5000 540 308 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.557915 s Remaining CPU time: 179.442 s c =============================================================================== c | 560 | 1191 4445 51163 | 5000 560 308 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.568913 s Remaining CPU time: 179.431 s c =============================================================================== c | 576 | 1191 4446 51560 | 5000 576 307 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.58791 s Remaining CPU time: 179.412 s c =============================================================================== c | 640 | 1191 4447 51957 | 5000 640 306 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.597909 s Remaining CPU time: 179.402 s c =============================================================================== c | 647 | 1191 4448 52354 | 5000 647 306 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 0.612906 s Remaining CPU time: 179.387 s c =============================================================================== c | 664 | 1191 4449 52751 | 5000 664 305 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 0.624905 s Remaining CPU time: 179.375 s c =============================================================================== c | 674 | 1191 4450 53148 | 5000 674 305 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 0.6529 s Remaining CPU time: 179.347 s c =============================================================================== c | 767 | 1191 4451 53545 | 5000 767 303 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 0.661899 s Remaining CPU time: 179.338 s c =============================================================================== c | 767 | 1191 4452 53942 | 5000 767 303 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 0.670898 s Remaining CPU time: 179.329 s c =============================================================================== c | 767 | 1191 4453 54339 | 5000 767 303 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 0.680896 s Remaining CPU time: 179.319 s c =============================================================================== c | 773 | 1191 4454 54736 | 5000 773 303 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 0.695894 s Remaining CPU time: 179.304 s c =============================================================================== c | 791 | 1191 4455 55133 | 5000 791 302 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 0.706892 s Remaining CPU time: 179.293 s c =============================================================================== c | 800 | 1191 4456 55530 | 5000 800 302 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 0.71789 s Remaining CPU time: 179.282 s c =============================================================================== c | 809 | 1191 4457 55927 | 5000 809 302 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 0.739887 s Remaining CPU time: 179.26 s c =============================================================================== c | 883 | 1191 4458 56324 | 5000 883 300 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 0.752885 s Remaining CPU time: 179.247 s c =============================================================================== c | 900 | 1191 4459 56721 | 5000 900 300 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 0.769882 s Remaining CPU time: 179.23 s c =============================================================================== c | 944 | 1191 4460 57118 | 5000 944 299 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 0.78388 s Remaining CPU time: 179.216 s c =============================================================================== c | 971 | 1191 4461 57515 | 5000 971 298 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 0.797878 s Remaining CPU time: 179.202 s c =============================================================================== c | 993 | 1191 4462 57912 | 5000 993 298 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 0.812876 s Remaining CPU time: 179.187 s c =============================================================================== c | 1018 | 1191 4463 58309 | 5000 1018 297 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 0.833873 s Remaining CPU time: 179.166 s c =============================================================================== c | 1079 | 1191 4464 58706 | 5000 1079 295 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 0.858869 s Remaining CPU time: 179.141 s c =============================================================================== c | 1160 | 1191 4465 59103 | 5000 1160 294 | 0.000 % | c | 1260 | 1191 4465 59103 | 5500 1260 292 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 0.897863 s Remaining CPU time: 179.102 s c =============================================================================== c | 1260 | 1191 4466 59500 | 5000 1260 292 | 0.000 % | c | 1360 | 1191 4466 59500 | 5500 1360 291 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 0.944856 s Remaining CPU time: 179.055 s c =============================================================================== c | 1406 | 1191 4467 59897 | 5000 1406 290 | 0.000 % | c | 1507 | 1191 4467 59897 | 5500 1507 289 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 0.994848 s Remaining CPU time: 179.005 s c =============================================================================== c | 1569 | 1191 4468 60294 | 5000 1569 288 | 0.000 % | c | 1670 | 1191 4468 60294 | 5500 1670 287 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 1.04484 s Remaining CPU time: 178.955 s c =============================================================================== c | 1722 | 1191 4469 60691 | 5000 1722 286 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 1.07184 s Remaining CPU time: 178.928 s c =============================================================================== c | 1813 | 1191 4470 61088 | 5000 1813 285 | 0.000 % | c | 1913 | 1191 4470 61088 | 5500 1913 284 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 1.11883 s Remaining CPU time: 178.881 s c =============================================================================== c | 1964 | 1191 4471 61485 | 5000 1964 284 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 1.14682 s Remaining CPU time: 178.853 s c =============================================================================== c | 2036 | 1191 4472 61882 | 5000 2036 283 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 1.17382 s Remaining CPU time: 178.826 s c =============================================================================== c | 2122 | 1191 4473 62279 | 5000 2122 283 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 1.19982 s Remaining CPU time: 178.8 s c =============================================================================== c | 2208 | 1191 4474 62676 | 5000 2208 282 | 0.000 % | c | 2308 | 1191 4474 62676 | 5500 2308 281 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 1.25081 s Remaining CPU time: 178.749 s c =============================================================================== c | 2385 | 1191 4475 63073 | 5000 2385 280 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 1.26981 s Remaining CPU time: 178.73 s c =============================================================================== c | 2414 | 1191 4476 63470 | 5000 2414 280 | 0.000 % | c | 2514 | 1191 4476 63470 | 5500 2514 279 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 1.3168 s Remaining CPU time: 178.683 s c =============================================================================== c | 2560 | 1191 4477 63867 | 5000 2560 279 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 1.34279 s Remaining CPU time: 178.657 s c =============================================================================== c | 2657 | 1191 4478 64264 | 5000 2657 278 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 1.36279 s Remaining CPU time: 178.637 s c =============================================================================== c | 2717 | 1191 4479 64661 | 5000 2717 278 | 0.000 % | c | 2817 | 1191 4479 64661 | 5500 2817 277 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 1.41678 s Remaining CPU time: 178.583 s c =============================================================================== c | 2900 | 1191 4480 65058 | 5000 2900 277 | 0.000 % | c | 3000 | 1191 4480 65058 | 5500 3000 276 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 1.48277 s Remaining CPU time: 178.517 s c =============================================================================== c | 3130 | 1191 4481 65455 | 5000 3130 275 | 0.000 % | c | 3231 | 1191 4481 65455 | 5500 3231 275 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 1.53577 s Remaining CPU time: 178.464 s c =============================================================================== c | 3302 | 1191 4482 65852 | 5000 3302 274 | 0.000 % | c | 3403 | 1191 4482 65852 | 5500 3403 274 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 1.58776 s Remaining CPU time: 178.412 s c =============================================================================== c | 3459 | 1191 4483 66249 | 5000 3459 274 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 1.61475 s Remaining CPU time: 178.385 s c =============================================================================== c | 3527 | 1191 4484 66646 | 5000 3527 273 | 0.000 % | c | 3628 | 1191 4484 66646 | 5500 3628 273 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 1.66275 s Remaining CPU time: 178.337 s c =============================================================================== c | 3649 | 1191 4485 67043 | 5000 3649 273 | 0.000 % | c | 3749 | 1191 4485 67043 | 5500 3749 272 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 1.72874 s Remaining CPU time: 178.271 s c =============================================================================== c | 3850 | 1191 4486 67440 | 5000 3850 272 | 0.000 % | c | 3951 | 1191 4486 67440 | 5500 3951 271 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 1.78573 s Remaining CPU time: 178.214 s c =============================================================================== c | 3991 | 1191 4487 67837 | 5000 3991 271 | 0.000 % | c | 4091 | 1191 4487 67837 | 5500 4091 270 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 1.85072 s Remaining CPU time: 178.149 s c =============================================================================== c | 4219 | 1191 4488 68234 | 5000 4219 270 | 0.000 % | c | 4320 | 1191 4488 68234 | 5500 4320 269 | 0.000 % | c | 4471 | 1191 4488 68234 | 6050 4471 269 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 1.9577 s Remaining CPU time: 178.042 s c =============================================================================== c | 4572 | 1191 4489 68631 | 5000 4572 268 | 0.000 % | c | 4673 | 1191 4489 68631 | 5500 4673 268 | 0.000 % | c | 4824 | 1191 4489 68631 | 6050 4824 267 | 0.000 % | c | 5049 | 1191 4489 68631 | 6655 5049 266 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 2.11168 s Remaining CPU time: 177.888 s c =============================================================================== c | 5065 | 1191 4490 69028 | 5000 5065 266 | 0.000 % | c | 5165 | 1191 4490 69028 | 5500 2633 253 | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 2.18267 s Remaining CPU time: 177.817 s c =============================================================================== c | 5240 | 1191 4491 69425 | 5000 2708 252 | 0.000 % | c | 5340 | 1191 4491 69425 | 5500 2808 252 | 0.000 % | c | 5491 | 1191 4491 69425 | 6050 2959 252 | 0.000 % | c | 5716 | 1191 4491 69425 | 6655 3184 252 | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 2.36264 s Remaining CPU time: 177.637 s c =============================================================================== c | 5901 | 1191 4492 69822 | 5000 3369 251 | 0.000 % | c | 6002 | 1191 4492 69822 | 5500 3470 251 | 0.000 % | c | 6152 | 1191 4492 69822 | 6050 3620 251 | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 2.48462 s Remaining CPU time: 177.515 s c =============================================================================== c | 6288 | 1191 4493 70219 | 5000 3756 251 | 0.000 % | c | 6388 | 1191 4493 70219 | 5500 3856 251 | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 2.53961 s Remaining CPU time: 177.46 s c =============================================================================== c | 6440 | 1191 4494 70616 | 5000 3908 250 | 0.000 % | c | 6541 | 1191 4494 70616 | 5500 4009 250 | 0.000 % | c | 6692 | 1191 4494 70616 | 6050 4160 250 | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 2.6456 s Remaining CPU time: 177.354 s c =============================================================================== c | 6773 | 1191 4495 71013 | 5000 4241 250 | 0.000 % | c | 6873 | 1191 4495 71013 | 5500 4341 250 | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 2.71859 s Remaining CPU time: 177.281 s c =============================================================================== c | 7005 | 1191 4496 71410 | 5000 4473 250 | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 2.74258 s Remaining CPU time: 177.257 s c =============================================================================== c | 7037 | 1191 4497 71807 | 5000 4505 249 | 0.000 % | c | 7138 | 1191 4497 71807 | 5500 4606 249 | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 2.81857 s Remaining CPU time: 177.181 s c =============================================================================== c | 7244 | 1191 4498 72204 | 5000 4712 249 | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 2.84157 s Remaining CPU time: 177.158 s c =============================================================================== c | 7278 | 1191 4499 72601 | 5000 4746 249 | 0.000 % | c | 7378 | 1191 4499 72601 | 5500 4846 249 | 0.000 % | c | 7528 | 1191 4499 72601 | 6050 4996 248 | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 2.92955 s Remaining CPU time: 177.07 s c =============================================================================== c | 7530 | 1191 4500 72998 | 5000 4998 248 | 0.000 % | c | 7631 | 1191 4500 72998 | 5500 5099 248 | 0.000 % | c | 7781 | 1191 4500 72998 | 6050 5249 248 | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 3.04354 s Remaining CPU time: 176.956 s c =============================================================================== c | 7846 | 1191 4501 73395 | 5000 5314 248 | 0.000 % | c | 7946 | 1191 4501 73395 | 5500 2757 243 | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 3.10953 s Remaining CPU time: 176.89 s c =============================================================================== c | 8001 | 1191 4502 73792 | 5000 2812 242 | 0.000 % | c | 8101 | 1191 4502 73792 | 5500 2912 242 | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 3.18352 s Remaining CPU time: 176.816 s c =============================================================================== c | 8228 | 1191 4503 74189 | 5000 3039 242 | 0.000 % | c | 8330 | 1191 4503 74189 | 5500 3141 242 | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 3.24251 s Remaining CPU time: 176.757 s c =============================================================================== c | 8380 | 1191 4504 74586 | 5000 3191 242 | 0.000 % | c | 8480 | 1191 4504 74586 | 5500 3291 241 | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 3.2945 s Remaining CPU time: 176.706 s c =============================================================================== c | 8495 | 1191 4505 74983 | 5000 3306 241 | 0.000 % | c | 8595 | 1191 4505 74983 | 5500 3406 241 | 0.000 % | c | 8746 | 1191 4505 74983 | 6050 3557 241 | 0.000 % | c | 8971 | 1191 4505 74983 | 6655 3782 240 | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 3.48947 s Remaining CPU time: 176.511 s c =============================================================================== c | 9128 | 1191 4506 75380 | 5000 3939 240 | 0.000 % | c | 9228 | 1191 4506 75380 | 5500 4039 240 | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 3.55046 s Remaining CPU time: 176.45 s c =============================================================================== c | 9285 | 1191 4507 75777 | 5000 4096 240 | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 3.58645 s Remaining CPU time: 176.414 s c =============================================================================== c | 9370 | 1191 4508 76174 | 5000 4181 239 | 0.000 % | c | 9470 | 1191 4508 76174 | 5500 4281 239 | 0.000 % | c | 9620 | 1191 4508 76174 | 6050 4431 239 | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 3.68644 s Remaining CPU time: 176.314 s c =============================================================================== c | 9636 | 1191 4509 76571 | 5000 4447 239 | 0.000 % | c | 9737 | 1191 4509 76571 | 5500 4548 239 | 0.000 % | c | 9887 | 1191 4509 76571 | 6050 4698 238 | 0.000 % | c | 10112 | 1191 4509 76571 | 6655 4923 238 | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 3.88941 s Remaining CPU time: 176.111 s c =============================================================================== c | 10334 | 1191 4510 76968 | 5000 5145 237 | 0.000 % | c | 10435 | 1191 4510 76968 | 5500 2674 231 | 0.000 % | c | 10585 | 1191 4510 76968 | 6050 2824 231 | 0.000 % | c | 10810 | 1191 4510 76968 | 6655 3049 231 | 0.000 % | c | 11147 | 1191 4510 76968 | 7320 3386 231 | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 4.20136 s Remaining CPU time: 175.799 s c =============================================================================== c | 11423 | 1191 4511 77365 | 5000 3662 231 | 0.000 % | c | 11523 | 1191 4511 77365 | 5500 3762 230 | 0.000 % | c | 11673 | 1191 4511 77365 | 6050 3912 230 | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 4.31334 s Remaining CPU time: 175.687 s c =============================================================================== c | 11712 | 1191 4512 77762 | 5000 3951 230 | 0.000 % | c | 11812 | 1191 4512 77762 | 5500 4051 230 | 0.000 % | c | 11963 | 1191 4512 77762 | 6050 4202 230 | 0.000 % | c | 12188 | 1191 4512 77762 | 6655 4427 230 | 0.000 % | c | 12525 | 1191 4512 77762 | 7320 4764 230 | 0.000 % | c | 13031 | 1191 4512 77762 | 8052 5270 229 | 0.000 % | c | 13790 | 1191 4512 77762 | 8857 6029 229 | 0.000 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 4.93825 s Remaining CPU time: 175.062 s c =============================================================================== c | 14028 | 1191 4513 78159 | 5000 6267 229 | 0.000 % | c | 14129 | 1191 4513 78159 | 5500 3235 226 | 0.000 % | c | 14279 | 1191 4513 78159 | 6050 3385 226 | 0.000 % | c | 14504 | 1191 4513 78159 | 6655 3610 226 | 0.000 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 5.17121 s Remaining CPU time: 174.829 s c =============================================================================== c | 14759 | 1191 4514 78556 | 5000 3865 226 | 0.000 % | c | 14859 | 1191 4514 78556 | 5500 3965 226 | 0.000 % | c | 15009 | 1191 4514 78556 | 6050 4115 226 | 0.000 % | c | 15234 | 1191 4514 78556 | 6655 4340 225 | 0.000 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 5.37918 s Remaining CPU time: 174.621 s c =============================================================================== c | 15418 | 1191 4515 78953 | 5000 4524 225 | 0.000 % | c | 15518 | 1191 4515 78953 | 5500 4624 225 | 0.000 % | c | 15668 | 1191 4515 78953 | 6050 4774 225 | 0.000 % | c | 15893 | 1191 4515 78953 | 6655 4999 225 | 0.000 % | c | 16231 | 1191 4515 78953 | 7320 5337 225 | 0.000 % | c | 16737 | 1191 4515 78953 | 8052 5843 225 | 0.000 % | c | 17496 | 1191 4515 78953 | 8857 6602 225 | 0.000 % | c | 18635 | 1191 4515 78953 | 9743 7741 224 | 0.000 % | c | 20344 | 1191 4515 78953 | 10717 9450 224 | 0.000 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 6.83996 s Remaining CPU time: 173.16 s c =============================================================================== c | 20712 | 1191 4516 79350 | 5000 9818 224 | 0.000 % | c | 20813 | 1191 4516 79350 | 5500 5010 223 | 0.000 % | c | 20963 | 1191 4516 79350 | 6050 5160 223 | 0.000 % | c | 21188 | 1191 4516 79350 | 6655 5385 223 | 0.000 % | c | 21525 | 1191 4516 79350 | 7320 5722 223 | 0.000 % | c =============================================================================== c New solution: 220 c Elapsed CPU time: 7.19391 s Remaining CPU time: 172.806 s c =============================================================================== c | 21763 | 1191 4517 79747 | 5000 5960 222 | 0.000 % | c | 21863 | 1191 4517 79747 | 5500 3080 222 | 0.000 % | c | 22013 | 1191 4517 79747 | 6050 3230 222 | 0.000 % | c | 22238 | 1191 4517 79747 | 6655 3455 222 | 0.000 % | c =============================================================================== c New solution: 219 c Elapsed CPU time: 7.42487 s Remaining CPU time: 172.575 s c =============================================================================== c | 22465 | 1191 4518 80144 | 5000 3682 222 | 0.000 % | c | 22565 | 1191 4518 80144 | 5500 3782 222 | 0.000 % | c | 22716 | 1191 4518 80144 | 6050 3933 222 | 0.000 % | c | 22941 | 1191 4518 80144 | 6655 4158 222 | 0.000 % | c | 23278 | 1191 4518 80144 | 7320 4495 221 | 0.000 % | c | 23784 | 1191 4518 80144 | 8052 5001 221 | 0.000 % | c =============================================================================== c New solution: 218 c Elapsed CPU time: 7.8978 s Remaining CPU time: 172.102 s c =============================================================================== c | 24070 | 1191 4519 80541 | 5000 5287 221 | 0.000 % | c | 24170 | 1191 4519 80541 | 5500 2744 220 | 0.000 % | c | 24321 | 1191 4519 80541 | 6050 2895 220 | 0.000 % | c | 24547 | 1191 4519 80541 | 6655 3121 220 | 0.000 % | c | 24885 | 1191 4519 80541 | 7320 3459 220 | 0.000 % | c | 25391 | 1191 4519 80541 | 8052 3965 220 | 0.000 % | c | 26150 | 1191 4519 80541 | 8857 4724 219 | 0.000 % | c =============================================================================== c New solution: 217 c Elapsed CPU time: 8.5637 s Remaining CPU time: 171.436 s c =============================================================================== c | 26178 | 1191 4520 80938 | 5000 4752 219 | 0.000 % | c | 26278 | 1191 4520 80938 | 5500 4852 219 | 0.000 % | c | 26428 | 1191 4520 80938 | 6050 5002 219 | 0.000 % | c | 26654 | 1191 4520 80938 | 6655 5228 219 | 0.000 % | c | 26992 | 1191 4520 80938 | 7320 5566 219 | 0.000 % | c =============================================================================== c New solution: 216 c Elapsed CPU time: 8.92164 s Remaining CPU time: 171.078 s c =============================================================================== c | 27233 | 1191 4521 81335 | 5000 5807 219 | 0.000 % | c | 27333 | 1191 4521 81335 | 5500 3004 218 | 0.000 % | c | 27484 | 1191 4521 81335 | 6050 3155 218 | 0.000 % | c | 27710 | 1191 4521 81335 | 6655 3381 218 | 0.000 % | c | 28048 | 1191 4521 81335 | 7320 3719 218 | 0.000 % | c | 28554 | 1191 4521 81335 | 8052 4225 218 | 0.000 % | c | 29314 | 1191 4521 81335 | 8857 4985 218 | 0.000 % | c =============================================================================== c New solution: 215 c Elapsed CPU time: 9.8485 s Remaining CPU time: 170.151 s c =============================================================================== c | 30089 | 1191 4522 81732 | 5000 5760 218 | 0.000 % | c | 30189 | 1191 4522 81732 | 5500 2980 217 | 0.000 % | c | 30339 | 1191 4522 81732 | 6050 3130 216 | 0.000 % | c | 30564 | 1191 4522 81732 | 6655 3355 216 | 0.000 % | c =============================================================================== c New solution: 214 c Elapsed CPU time: 10.0815 s Remaining CPU time: 169.919 s c =============================================================================== c | 30756 | 1191 4523 82129 | 5000 3547 216 | 0.000 % | c | 30857 | 1191 4523 82129 | 5500 3648 216 | 0.000 % | c | 31007 | 1191 4523 82129 | 6050 3798 216 | 0.000 % | c | 31233 | 1191 4523 82129 | 6655 4024 216 | 0.000 % | c | 31570 | 1191 4523 82129 | 7320 4361 216 | 0.000 % | c | 32076 | 1191 4523 82129 | 8052 4867 216 | 0.000 % | c | 32835 | 1191 4523 82129 | 8857 5626 216 | 0.000 % | c | 33974 | 1191 4523 82129 | 9743 6765 216 | 0.000 % | c | 35682 | 1191 4523 82129 | 10717 8473 216 | 0.000 % | c =============================================================================== c New solution: 213 c Elapsed CPU time: 11.5332 s Remaining CPU time: 168.467 s c =============================================================================== c | 35775 | 1191 4524 82526 | 5000 8566 215 | 0.000 % | c | 35875 | 1191 4524 82526 | 5500 4383 215 | 0.000 % | c | 36026 | 1191 4524 82526 | 6050 4534 215 | 0.000 % | c | 36251 | 1191 4524 82526 | 6655 4759 214 | 0.000 % | c | 36588 | 1191 4524 82526 | 7320 5096 214 | 0.000 % | c | 37095 | 1191 4524 82526 | 8052 5603 214 | 0.000 % | c | 37854 | 1191 4524 82526 | 8857 6362 214 | 0.000 % | c =============================================================================== c New solution: 212 c Elapsed CPU time: 12.5811 s Remaining CPU time: 167.419 s c =============================================================================== c | 38889 | 1191 4525 82923 | 5000 7397 214 | 0.000 % | c | 38989 | 1191 4525 82923 | 5500 3799 214 | 0.000 % | c | 39140 | 1191 4525 82923 | 6050 3950 214 | 0.000 % | c | 39365 | 1191 4525 82923 | 6655 4175 214 | 0.000 % | c | 39702 | 1191 4525 82923 | 7320 4512 214 | 0.000 % | c | 40208 | 1191 4525 82923 | 8052 5018 214 | 0.000 % | c | 40967 | 1191 4525 82923 | 8857 5777 214 | 0.000 % | c | 42106 | 1191 4525 82923 | 9743 6916 214 | 0.000 % | c | 43814 | 1191 4525 82923 | 10717 8624 214 | 0.000 % | c =============================================================================== c New solution: 211 c Elapsed CPU time: 15.1637 s Remaining CPU time: 164.836 s c =============================================================================== c | 46021 | 1191 4526 83320 | 5000 10831 214 | 0.000 % | c | 46121 | 1191 4526 83320 | 5500 2808 213 | 0.000 % | c | 46271 | 1191 4526 83320 | 6050 2958 213 | 0.000 % | c | 46496 | 1191 4526 83320 | 6655 3183 213 | 0.000 % | c =============================================================================== c New solution: 210 c Elapsed CPU time: 15.4397 s Remaining CPU time: 164.56 s c =============================================================================== c | 46507 | 1191 4527 83717 | 5000 3194 213 | 0.000 % | c | 46607 | 1191 4527 83717 | 5500 3294 213 | 0.000 % | c | 46757 | 1191 4527 83717 | 6050 3444 213 | 0.000 % | c | 46982 | 1191 4527 83717 | 6655 3669 213 | 0.000 % | c | 47319 | 1191 4527 83717 | 7320 4006 212 | 0.000 % | c | 47825 | 1191 4527 83717 | 8052 4512 212 | 0.000 % | c =============================================================================== c New solution: 209 c Elapsed CPU time: 15.9806 s Remaining CPU time: 164.019 s c =============================================================================== c | 48013 | 1191 4528 84114 | 5000 4700 212 | 0.000 % | c | 48113 | 1191 4528 84114 | 5500 4800 212 | 0.000 % | c | 48263 | 1191 4528 84114 | 6050 4950 212 | 0.000 % | c | 48489 | 1191 4528 84114 | 6655 5176 212 | 0.000 % | c =============================================================================== c New solution: 208 c Elapsed CPU time: 16.2465 s Remaining CPU time: 163.753 s c =============================================================================== c | 48697 | 1191 4529 84511 | 5000 5384 212 | 0.000 % | c | 48797 | 1191 4529 84511 | 5500 2792 211 | 0.000 % | c | 48947 | 1191 4529 84511 | 6050 2942 210 | 0.000 % | c | 49172 | 1191 4529 84511 | 6655 3167 210 | 0.000 % | c =============================================================================== c New solution: 207 c Elapsed CPU time: 16.4525 s Remaining CPU time: 163.548 s c =============================================================================== c | 49203 | 1191 4530 84908 | 5000 3198 210 | 0.000 % | c | 49304 | 1191 4530 84908 | 5500 3299 210 | 0.000 % | c | 49454 | 1191 4530 84908 | 6050 3449 210 | 0.000 % | c =============================================================================== c New solution: 206 c Elapsed CPU time: 16.5975 s Remaining CPU time: 163.403 s c =============================================================================== c | 49602 | 1191 4531 85305 | 5000 3597 210 | 0.000 % | c | 49702 | 1191 4531 85305 | 5500 3697 210 | 0.000 % | c | 49852 | 1191 4531 85305 | 6050 3847 210 | 0.000 % | c | 50077 | 1191 4531 85305 | 6655 4072 210 | 0.000 % | c =============================================================================== c New solution: 205 c Elapsed CPU time: 16.8444 s Remaining CPU time: 163.156 s c =============================================================================== c | 50297 | 1191 4532 85702 | 5000 4292 209 | 0.000 % | c | 50397 | 1191 4532 85702 | 5500 4392 209 | 0.000 % | c | 50547 | 1191 4532 85702 | 6050 4542 209 | 0.000 % | c | 50772 | 1191 4532 85702 | 6655 4767 209 | 0.000 % | c | 51109 | 1191 4532 85702 | 7320 5104 209 | 0.000 % | c =============================================================================== c New solution: 204 c Elapsed CPU time: 17.2034 s Remaining CPU time: 162.797 s c =============================================================================== c | 51345 | 1191 4533 86099 | 5000 5340 209 | 0.000 % | c | 51445 | 1191 4533 86099 | 5500 2770 207 | 0.000 % | c | 51595 | 1191 4533 86099 | 6050 2920 206 | 0.000 % | c | 51820 | 1191 4533 86099 | 6655 3145 206 | 0.000 % | c | 52157 | 1191 4533 86099 | 7320 3482 206 | 0.000 % | c | 52663 | 1191 4533 86099 | 8052 3988 206 | 0.000 % | c =============================================================================== c New solution: 203 c Elapsed CPU time: 17.7373 s Remaining CPU time: 162.263 s c =============================================================================== c | 52858 | 1191 4534 86496 | 5000 4183 206 | 0.000 % | c | 52958 | 1191 4534 86496 | 5500 4283 206 | 0.000 % | c | 53108 | 1191 4534 86496 | 6050 4433 206 | 0.000 % | c | 53333 | 1191 4534 86496 | 6655 4658 206 | 0.000 % | c | 53670 | 1191 4534 86496 | 7320 4995 206 | 0.000 % | c =============================================================================== c New solution: 202 c Elapsed CPU time: 18.1032 s Remaining CPU time: 161.897 s c =============================================================================== c | 53787 | 1191 4535 86893 | 5000 5112 206 | 0.000 % | c | 53888 | 1191 4535 86893 | 5500 2657 204 | 0.000 % | c | 54039 | 1191 4535 86893 | 6050 2808 204 | 0.000 % | c | 54264 | 1191 4535 86893 | 6655 3033 204 | 0.000 % | c | 54601 | 1191 4535 86893 | 7320 3370 204 | 0.000 % | c =============================================================================== c New solution: 201 c Elapsed CPU time: 18.5102 s Remaining CPU time: 161.49 s c =============================================================================== c | 54897 | 1191 4536 87290 | 5000 3666 204 | 0.000 % | c | 54997 | 1191 4536 87290 | 5500 3766 204 | 0.000 % | c | 55147 | 1191 4536 87290 | 6050 3916 204 | 0.000 % | c | 55372 | 1191 4536 87290 | 6655 4141 204 | 0.000 % | c | 55709 | 1191 4536 87290 | 7320 4478 204 | 0.000 % | c | 56215 | 1191 4536 87290 | 8052 4984 203 | 0.000 % | c | 56974 | 1191 4536 87290 | 8857 5743 203 | 0.000 % | c | 58113 | 1191 4536 87290 | 9743 6882 203 | 0.000 % | c | 59821 | 1191 4536 87290 | 10717 8590 203 | 0.000 % | c | 62383 | 1191 4536 87290 | 11789 5678 202 | 0.000 % | c | 66227 | 1191 4536 87290 | 12968 9522 202 | 0.000 % | c =============================================================================== c New solution: 200 c Elapsed CPU time: 23.7474 s Remaining CPU time: 156.253 s c =============================================================================== c | 68730 | 1191 4537 87687 | 5000 12025 203 | 0.000 % | c | 68830 | 1191 4537 87687 | 5500 3107 203 | 0.000 % | c | 68980 | 1191 4537 87687 | 6050 3257 203 | 0.000 % | c | 69205 | 1191 4537 87687 | 6655 3482 203 | 0.000 % | c | 69542 | 1191 4537 87687 | 7320 3819 202 | 0.000 % | c | 70048 | 1191 4537 87687 | 8052 4325 202 | 0.000 % | c | 70807 | 1191 4537 87687 | 8857 5084 202 | 0.000 % | c | 71946 | 1191 4537 87687 | 9743 6223 202 | 0.000 % | c | 73654 | 1191 4537 87687 | 10717 7931 202 | 0.000 % | c | 76217 | 1191 4537 87687 | 11789 10494 202 | 0.000 % | c | 80062 | 1191 4537 87687 | 12968 8315 201 | 0.000 % | c | 85828 | 1191 4537 87687 | 14265 7492 201 | 0.000 % | c | 94478 | 1191 4537 87687 | 15692 8892 201 | 0.000 % | c | 107453 | 1191 4537 87687 | 17261 13895 201 | 0.000 % | c | 126914 | 1191 4537 87687 | 18987 15848 202 | 0.000 % | c | 156106 | 1191 4537 87687 | 20886 16208 202 | 0.000 % | c | 199895 | 1191 4537 87687 | 22974 17548 202 | 0.000 % | c | 265579 | 1191 4537 87687 | 25272 20350 202 | 0.000 % | c | 364105 | 1191 4537 87687 | 27799 15395 202 | 0.000 % | c There are 0 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 921 4947 9285 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 931 4949 9303 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 947 4951 9330 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 957 4953 9348 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 969 4954 9366 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 983 4955 9387 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 999 4956 9411 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1014 4957 9435 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1030 4958 9460 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1059 4960 9508 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1071 4962 9529 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1087 4963 9553 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1109 4964 9586 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1149 4965 9653 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1196 4966 9729 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1222 4967 9769 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1242 4968 13769 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1276 4969 19777 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1302 4970 24581 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1355 4971 33399 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1417 4973 43822 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1487 4974 54258 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1635 4978 67631 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1696 4979 72901 | 5000 0 nan | 0.000 % | c | 100 | 1696 4979 72901 | 5500 100 17 | 2.417 % | c | 250 | 1695 4979 72901 | 6050 250 16 | 2.532 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1891 4980 79231 | 5000 0 nan | 0.000 % | c | 102 | 1891 4980 79231 | 5500 102 30 | 1.408 % | c | 254 | 1891 4980 79231 | 6050 254 24 | 1.408 % | c | 481 | 1891 4980 79231 | 6655 481 21 | 1.408 % | c | 823 | 1891 4980 79231 | 7320 823 22 | 1.408 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2160 4983 86110 | 5000 0 nan | 0.000 % | c | 100 | 2160 4983 86110 | 5500 100 33 | 0.507 % | c | 250 | 2160 4983 86110 | 6050 250 33 | 0.507 % | c | 479 | 2160 4983 86110 | 6655 479 29 | 0.507 % | c | 818 | 2160 4983 86110 | 7320 818 40 | 0.507 % | c | 1324 | 2160 4983 86110 | 8052 1324 40 | 0.507 % | c | 2084 | 2160 4983 86110 | 8857 2084 43 | 0.507 % | c | 3224 | 2160 4983 86110 | 9743 3224 43 | 0.507 % | c | 4933 | 2160 4983 86110 | 10717 4933 46 | 0.507 % | c | 7499 | 2160 4983 86110 | 11789 7499 53 | 0.507 % | c | 11343 | 2160 4983 86110 | 12968 11343 58 | 0.507 % | c | 17111 | 2160 4983 86110 | 14265 10595 59 | 0.507 % | c | 25761 | 2160 4983 86110 | 15692 12050 59 | 0.507 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2535 4988 90040 | 5000 0 nan | 0.000 % | c | 101 | 2535 4988 90040 | 5500 101 64 | 0.118 % | c | 251 | 2535 4988 90040 | 6050 251 55 | 0.118 % | c | 478 | 2535 4988 90040 | 6655 478 46 | 0.118 % | c | 820 | 2535 4988 90040 | 7320 820 48 | 0.118 % | c | 1326 | 2535 4988 90040 | 8052 1326 59 | 0.118 % | c | 2087 | 2535 4988 90040 | 8857 2087 65 | 0.118 % | c | 3226 | 2535 4988 90040 | 9743 3226 69 | 0.118 % | c | 4936 | 2535 4988 90040 | 10717 4936 84 | 0.118 % | c | 7498 | 2535 4988 90040 | 11789 7498 97 | 0.118 % | c | 11353 | 2535 4988 90040 | 12968 11353 105 | 0.118 % | c | 17120 | 2535 4988 90040 | 14265 10601 98 | 0.118 % | c | 25772 | 2535 4988 90040 | 15692 11964 110 | 0.118 % | c | 38746 | 2535 4988 90040 | 17261 8826 104 | 0.118 % |