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: 91 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 18 | 150 551 1800 | 5000 18 10 | 0.000 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 42 | 150 552 1950 | 5000 42 14 | 0.000 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 44 | 150 553 2100 | 5000 44 17 | 0.000 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 65 | 150 554 2250 | 5000 65 18 | 0.000 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 67 | 150 555 2400 | 5000 67 20 | 0.000 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 70 | 150 556 2550 | 5000 70 23 | 0.000 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 73 | 150 557 2700 | 5000 73 26 | 0.000 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 75 | 150 558 2850 | 5000 75 27 | 0.000 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 77 | 150 559 3000 | 5000 77 29 | 0.000 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 86 | 150 560 3150 | 5000 86 29 | 0.000 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 88 | 150 561 3300 | 5000 88 30 | 0.000 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 91 | 150 562 3450 | 5000 91 31 | 0.000 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 113 | 150 563 3600 | 5000 113 40 | 0.000 % | c | 214 | 150 563 3600 | 5500 214 58 | 0.005 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 214 | 150 564 3750 | 5000 214 58 | 0.005 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 290 | 150 565 3900 | 5000 290 60 | 0.005 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 374 | 150 566 4050 | 5000 374 64 | 0.005 % | c | 474 | 150 566 4050 | 5500 474 66 | 0.004 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 493 | 150 567 4200 | 5000 493 66 | 0.004 % | c | 595 | 150 567 4200 | 5500 595 67 | 0.004 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 671 | 150 568 4350 | 5000 671 66 | 0.004 % | c | 771 | 150 568 4350 | 5500 771 67 | 0.004 % | c | 923 | 150 568 4350 | 6050 923 61 | 0.004 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 999 | 150 569 4500 | 5000 999 62 | 0.004 % | c | 1102 | 150 569 4500 | 5500 1102 62 | 0.004 % | c | 1253 | 150 569 4500 | 6050 1253 63 | 0.004 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 1402 | 150 570 4650 | 5000 1402 64 | 0.004 % | c | 1503 | 150 570 4650 | 5500 1503 62 | 0.004 % | c | 1656 | 150 570 4650 | 6050 1656 63 | 0.004 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 1812 | 150 571 4800 | 5000 1812 63 | 0.004 % | c | 1914 | 150 571 4800 | 5500 1914 64 | 0.004 % | c | 2064 | 150 571 4800 | 6050 2064 64 | 0.004 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 0.219966 s Remaining CPU time: 179.78 s c =============================================================================== c | 2287 | 150 572 4950 | 5000 2287 63 | 0.004 % | c | 2388 | 150 572 4950 | 5500 2388 63 | 0.004 % | c | 2545 | 150 572 4950 | 6050 2545 63 | 0.004 % | c | 2771 | 150 572 4950 | 6655 2771 63 | 0.004 % | c | 3109 | 150 572 4950 | 7320 3109 62 | 0.004 % | c | 3619 | 150 572 4950 | 8052 3619 61 | 0.004 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 0.436933 s Remaining CPU time: 179.563 s c =============================================================================== c | 3679 | 150 573 5100 | 5000 3679 61 | 0.004 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 0.439933 s Remaining CPU time: 179.56 s c =============================================================================== c | 3699 | 150 574 5250 | 5000 3699 61 | 0.004 % | c | 3799 | 150 574 5250 | 5500 3799 60 | 0.004 % | c | 3949 | 150 574 5250 | 6050 3949 61 | 0.004 % | c | 4174 | 150 574 5250 | 6655 4174 61 | 0.004 % | c | 4511 | 150 574 5250 | 7320 4511 60 | 0.004 % | c | 5017 | 150 574 5250 | 8052 5017 58 | 0.004 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 0.697893 s Remaining CPU time: 179.302 s c =============================================================================== c | 5139 | 150 575 5400 | 5000 5139 58 | 0.004 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 0.709892 s Remaining CPU time: 179.29 s c =============================================================================== c | 5140 | 150 576 5550 | 5000 2571 49 | 0.004 % | c | 5240 | 150 576 5550 | 5500 2671 50 | 0.004 % | c | 5393 | 150 576 5550 | 6050 2824 50 | 0.004 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 0.740887 s Remaining CPU time: 179.259 s c =============================================================================== c | 5468 | 150 577 5700 | 5000 2899 51 | 0.004 % | c | 5568 | 150 577 5700 | 5500 2999 51 | 0.004 % | c | 5718 | 150 577 5700 | 6050 3149 52 | 0.004 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 0.78388 s Remaining CPU time: 179.216 s c =============================================================================== c | 5893 | 150 578 5850 | 5000 3324 52 | 0.004 % | c | 5993 | 150 578 5850 | 5500 3424 52 | 0.004 % | c | 6146 | 150 578 5850 | 6050 3577 53 | 0.004 % | c | 6373 | 150 578 5850 | 6655 3804 53 | 0.004 % | c | 6714 | 150 578 5850 | 7320 4145 53 | 0.004 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 0.937857 s Remaining CPU time: 179.062 s c =============================================================================== c | 7098 | 150 579 6000 | 5000 4529 53 | 0.004 % | c | 7201 | 150 579 6000 | 5500 4632 53 | 0.004 % | c | 7353 | 150 579 6000 | 6050 4784 53 | 0.004 % | c | 7578 | 150 579 6000 | 6655 5009 53 | 0.004 % | c | 7915 | 150 579 6000 | 7320 5346 54 | 0.004 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 1.07384 s Remaining CPU time: 178.926 s c =============================================================================== c | 8044 | 150 580 6150 | 5000 5475 54 | 0.004 % | c | 8144 | 150 580 6150 | 5500 2838 53 | 0.004 % | c | 8294 | 150 580 6150 | 6050 2988 53 | 0.004 % | c | 8519 | 150 580 6150 | 6655 3213 53 | 0.004 % | c | 8860 | 150 580 6150 | 7320 3554 52 | 0.004 % | c | 9366 | 150 580 6150 | 8052 4060 52 | 0.004 % | c | 10125 | 150 580 6150 | 8857 4819 49 | 0.004 % | c | 11264 | 150 580 6150 | 9743 5958 46 | 0.005 % | c | 12973 | 150 580 6150 | 10717 7667 46 | 0.004 % | c | 15538 | 150 580 6150 | 11789 10232 47 | 0.004 % | c | 19383 | 150 580 6150 | 12968 8170 42 | 0.005 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 5.78312 s Remaining CPU time: 174.217 s c =============================================================================== c | 24923 | 150 581 6300 | 5000 7202 33 | 0.005 % | c | 25025 | 150 581 6300 | 5500 3703 32 | 0.004 % | c | 25181 | 150 581 6300 | 6050 3859 32 | 0.004 % | c | 25407 | 150 581 6300 | 6655 4085 32 | 0.004 % | c | 25745 | 150 581 6300 | 7320 4423 33 | 0.004 % | c | 26253 | 150 581 6300 | 8052 4931 35 | 0.004 % | c | 27015 | 150 581 6300 | 8857 5693 37 | 0.004 % | c | 28155 | 150 581 6300 | 9743 6833 37 | 0.004 % | c | 29864 | 150 581 6300 | 10717 8542 36 | 0.004 % | c | 32427 | 150 581 6300 | 11789 5717 34 | 0.004 % | c | 36271 | 150 581 6300 | 12968 9561 36 | 0.004 % | c | 42038 | 150 581 6300 | 14265 8808 43 | 0.004 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 11.0233 s Remaining CPU time: 168.977 s c =============================================================================== c | 45046 | 150 582 6450 | 5000 11816 42 | 0.004 % | c | 45146 | 150 582 6450 | 5500 3054 35 | 0.004 % | c | 45297 | 150 582 6450 | 6050 3205 36 | 0.005 % | c | 45523 | 150 582 6450 | 6655 3431 36 | 0.005 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 11.1863 s Remaining CPU time: 168.814 s c =============================================================================== c | 45799 | 150 583 6600 | 5000 3707 38 | 0.005 % | c | 45899 | 150 583 6600 | 5500 3807 38 | 0.004 % | c | 46050 | 150 583 6600 | 6050 3958 39 | 0.005 % | c | 46275 | 150 583 6600 | 6655 4183 40 | 0.005 % | c | 46615 | 150 583 6600 | 7320 4523 40 | 0.004 % | c | 47123 | 150 583 6600 | 8052 5031 41 | 0.004 % | c | 47884 | 150 583 6600 | 8857 5792 42 | 0.004 % | c | 49024 | 150 583 6600 | 9743 6932 42 | 0.004 % | c | 50733 | 150 583 6600 | 10717 8641 43 | 0.004 % | c | 53298 | 150 583 6600 | 11789 5840 39 | 0.004 % | c | 57142 | 150 583 6600 | 12968 9684 44 | 0.004 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 13.7369 s Remaining CPU time: 166.263 s c =============================================================================== c | 57921 | 150 584 6750 | 5000 10463 45 | 0.004 % | c | 58021 | 150 584 6750 | 5500 2716 42 | 0.004 % | c | 58172 | 150 584 6750 | 6050 2867 43 | 0.004 % | c | 58397 | 150 584 6750 | 6655 3092 44 | 0.004 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 13.8519 s Remaining CPU time: 166.148 s c =============================================================================== c | 58578 | 150 585 6900 | 5000 3273 45 | 0.004 % | c | 58681 | 150 585 6900 | 5500 3376 45 | 0.004 % | c | 58833 | 150 585 6900 | 6050 3528 45 | 0.004 % | c | 59058 | 150 585 6900 | 6655 3753 45 | 0.004 % | c | 59395 | 150 585 6900 | 7320 4090 44 | 0.004 % | c | 59901 | 150 585 6900 | 8052 4596 44 | 0.004 % | c | 60660 | 150 585 6900 | 8857 5355 43 | 0.004 % | c | 61799 | 150 585 6900 | 9743 6494 41 | 0.004 % | c | 63509 | 150 585 6900 | 10717 8204 37 | 0.005 % | c | 66073 | 150 585 6900 | 11789 10768 36 | 0.004 % | c | 69918 | 150 585 6900 | 12968 8706 25 | 0.009 % | c | 75685 | 150 585 6900 | 14265 7987 26 | 0.009 % | c =============================================================================== c Total CPU time: 20.5219 s