c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 700 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 150 | c | Number Clauses: 550 | 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 | 150 550 1650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 48 | 150 551 1800 | 5000 48 11 | 0.000 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 57 | 150 552 1950 | 5000 57 11 | 0.000 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 83 | 150 553 2100 | 5000 83 12 | 0.000 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 108 | 150 554 2250 | 5000 108 14 | 0.000 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 110 | 150 555 2400 | 5000 110 15 | 0.000 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 111 | 150 556 2550 | 5000 111 16 | 0.000 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 115 | 150 557 2700 | 5000 115 18 | 0.000 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 118 | 150 558 2850 | 5000 118 19 | 0.000 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 122 | 150 559 3000 | 5000 122 21 | 0.000 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 147 | 150 560 3150 | 5000 147 27 | 0.000 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 156 | 150 561 3300 | 5000 156 29 | 0.000 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 163 | 150 562 3450 | 5000 163 30 | 0.000 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 186 | 150 563 3600 | 5000 186 34 | 0.000 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 187 | 150 564 3750 | 5000 187 34 | 0.000 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 248 | 150 565 3900 | 5000 248 38 | 0.000 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 275 | 150 566 4050 | 5000 275 40 | 0.000 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 289 | 150 567 4200 | 5000 289 41 | 0.000 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 324 | 150 568 4350 | 5000 324 43 | 0.000 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 337 | 150 569 4500 | 5000 337 43 | 0.000 % | c | 437 | 150 569 4500 | 5500 437 45 | 0.004 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 508 | 150 570 4650 | 5000 508 47 | 0.004 % | c | 610 | 150 570 4650 | 5500 610 46 | 0.004 % | c | 761 | 150 570 4650 | 6050 761 46 | 0.004 % | c | 987 | 150 570 4650 | 6655 987 47 | 0.004 % | c | 1324 | 150 570 4650 | 7320 1324 47 | 0.004 % | c | 1831 | 150 570 4650 | 8052 1831 45 | 0.004 % | c | 2593 | 150 570 4650 | 8857 2593 43 | 0.004 % | c | 3734 | 150 570 4650 | 9743 3734 43 | 0.004 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 0.632903 s Remaining CPU time: 179.367 s c =============================================================================== c | 5174 | 150 571 4800 | 5000 5174 38 | 0.004 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 0.641902 s Remaining CPU time: 179.358 s c =============================================================================== c | 5179 | 150 572 4950 | 5000 2592 30 | 0.004 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 0.645901 s Remaining CPU time: 179.354 s c =============================================================================== c | 5203 | 150 573 5100 | 5000 2616 30 | 0.004 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 0.646901 s Remaining CPU time: 179.353 s c =============================================================================== c | 5214 | 150 574 5250 | 5000 2627 30 | 0.004 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 0.648901 s Remaining CPU time: 179.351 s c =============================================================================== c | 5228 | 150 575 5400 | 5000 2641 30 | 0.004 % | c =============================================================================== c New solution: 50 c Elapsed CPU time: 0.649901 s Remaining CPU time: 179.35 s c =============================================================================== c | 5236 | 150 576 5550 | 5000 2649 30 | 0.004 % | c | 5336 | 150 576 5550 | 5500 2749 31 | 0.005 % | c | 5488 | 150 576 5550 | 6050 2901 32 | 0.004 % | c | 5713 | 150 576 5550 | 6655 3126 32 | 0.004 % | c | 6050 | 150 576 5550 | 7320 3463 33 | 0.005 % | c | 6556 | 150 576 5550 | 8052 3969 33 | 0.004 % | c =============================================================================== c New solution: 49 c Elapsed CPU time: 0.811876 s Remaining CPU time: 179.188 s c =============================================================================== c | 6702 | 150 577 5700 | 5000 4115 34 | 0.004 % | c | 6803 | 150 577 5700 | 5500 4216 33 | 0.004 % | c | 6953 | 150 577 5700 | 6050 4366 33 | 0.004 % | c =============================================================================== c New solution: 48 c Elapsed CPU time: 0.868867 s Remaining CPU time: 179.131 s c =============================================================================== c | 7049 | 150 578 5850 | 5000 4462 34 | 0.004 % | c | 7149 | 150 578 5850 | 5500 4562 33 | 0.004 % | c =============================================================================== c New solution: 47 c Elapsed CPU time: 0.909861 s Remaining CPU time: 179.09 s c =============================================================================== c | 7264 | 150 579 6000 | 5000 4677 33 | 0.004 % | c | 7365 | 150 579 6000 | 5500 4778 33 | 0.004 % | c | 7516 | 150 579 6000 | 6050 4929 32 | 0.004 % | c | 7741 | 150 579 6000 | 6655 5154 32 | 0.004 % | c | 8080 | 150 579 6000 | 7320 5493 32 | 0.004 % | c | 8586 | 150 579 6000 | 8052 5999 31 | 0.004 % | c | 9348 | 150 579 6000 | 8857 6761 32 | 0.004 % | c =============================================================================== c New solution: 46 c Elapsed CPU time: 1.3308 s Remaining CPU time: 178.669 s c =============================================================================== c | 9919 | 150 580 6150 | 5000 7332 33 | 0.004 % | c | 10021 | 150 580 6150 | 5500 3768 29 | 0.004 % | c | 10171 | 150 580 6150 | 6050 3918 29 | 0.004 % | c | 10396 | 150 580 6150 | 6655 4143 28 | 0.004 % | c | 10734 | 150 580 6150 | 7320 4481 28 | 0.004 % | c | 11240 | 150 580 6150 | 8052 4987 28 | 0.004 % | c | 12000 | 150 580 6150 | 8857 5747 28 | 0.004 % | c =============================================================================== c New solution: 45 c Elapsed CPU time: 1.74973 s Remaining CPU time: 178.25 s c =============================================================================== c | 12335 | 150 581 6300 | 5000 6082 28 | 0.004 % | c | 12436 | 150 581 6300 | 5500 3142 24 | 0.004 % | c | 12587 | 150 581 6300 | 6050 3293 23 | 0.004 % | c | 12812 | 150 581 6300 | 6655 3518 23 | 0.004 % | c | 13149 | 150 581 6300 | 7320 3855 23 | 0.005 % | c | 13656 | 150 581 6300 | 8052 4362 24 | 0.004 % | c | 14417 | 150 581 6300 | 8857 5123 25 | 0.004 % | c | 15557 | 150 581 6300 | 9743 6263 25 | 0.005 % | c | 17267 | 150 581 6300 | 10717 7973 26 | 0.004 % | c | 19832 | 150 581 6300 | 11789 10538 26 | 0.004 % | c =============================================================================== c New solution: 44 c Elapsed CPU time: 3.79142 s Remaining CPU time: 176.209 s c =============================================================================== c | 21840 | 150 582 6450 | 5000 6629 28 | 0.004 % | c | 21940 | 150 582 6450 | 5500 3415 28 | 0.004 % | c =============================================================================== c New solution: 43 c Elapsed CPU time: 3.82842 s Remaining CPU time: 176.172 s c =============================================================================== c | 21977 | 150 583 6600 | 5000 3452 28 | 0.004 % | c | 22079 | 150 583 6600 | 5500 3554 28 | 0.005 % | c =============================================================================== c New solution: 42 c Elapsed CPU time: 3.85341 s Remaining CPU time: 176.147 s c =============================================================================== c | 22141 | 150 584 6750 | 5000 3616 28 | 0.005 % | c | 22243 | 150 584 6750 | 5500 3718 29 | 0.004 % | c | 22393 | 150 584 6750 | 6050 3868 29 | 0.004 % | c | 22622 | 150 584 6750 | 6655 4097 29 | 0.004 % | c | 22961 | 150 584 6750 | 7320 4436 29 | 0.004 % | c | 23467 | 150 584 6750 | 8052 4942 30 | 0.004 % | c | 24227 | 150 584 6750 | 8857 5702 30 | 0.004 % | c | 25366 | 150 584 6750 | 9743 6841 30 | 0.004 % | c | 27074 | 150 584 6750 | 10717 8549 31 | 0.004 % | c | 29639 | 150 584 6750 | 11789 5749 27 | 0.004 % | c | 33483 | 150 584 6750 | 12968 9593 27 | 0.004 % | c | 39249 | 150 584 6750 | 14265 8850 24 | 0.009 % | c =============================================================================== c New solution: 41 c Elapsed CPU time: 8.5677 s Remaining CPU time: 171.432 s c =============================================================================== c | 43048 | 150 585 6900 | 5000 12649 26 | 0.009 % | c | 43152 | 150 585 6900 | 5500 3267 26 | 0.004 % | c | 43303 | 150 585 6900 | 6050 3418 26 | 0.005 % | c | 43528 | 150 585 6900 | 6655 3643 26 | 0.005 % | c | 43866 | 150 585 6900 | 7320 3981 25 | 0.009 % | c | 44374 | 150 585 6900 | 8052 4489 26 | 0.005 % | c | 45136 | 150 585 6900 | 8857 5251 27 | 0.009 % | c | 46276 | 150 585 6900 | 9743 6391 26 | 0.009 % | c =============================================================================== c New solution: 40 c Elapsed CPU time: 9.43857 s Remaining CPU time: 170.561 s c =============================================================================== c | 47374 | 150 586 7050 | 5000 7489 27 | 0.009 % | c | 47474 | 150 586 7050 | 5500 3845 24 | 0.004 % | c | 47624 | 150 586 7050 | 6050 3995 24 | 0.005 % | c | 47849 | 150 586 7050 | 6655 4220 25 | 0.004 % | c | 48186 | 150 586 7050 | 7320 4557 24 | 0.004 % | c | 48692 | 150 586 7050 | 8052 5063 24 | 0.013 % | c | 49453 | 149 586 7050 | 8857 4013 23 | 0.671 % | c | 50592 | 149 586 7050 | 9743 5152 24 | 0.671 % | c | 52300 | 148 586 7050 | 10717 6860 24 | 1.342 % | c | 54863 | 144 586 7050 | 11789 4478 22 | 4.005 % | c =============================================================================== c Total CPU time: 11.0063 s