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: 96 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 91 | 150 551 1800 | 5000 91 11 | 0.000 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 112 | 150 552 1950 | 5000 112 10 | 0.000 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 148 | 150 553 2100 | 5000 148 10 | 0.000 % | c | 249 | 150 553 2100 | 5500 249 11 | 0.004 % | c | 399 | 150 553 2100 | 6050 399 11 | 0.004 % | c | 624 | 150 553 2100 | 6655 624 11 | 0.004 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 703 | 150 554 2250 | 5000 703 11 | 0.004 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 758 | 150 555 2400 | 5000 758 11 | 0.004 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 819 | 150 556 2550 | 5000 819 10 | 0.004 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 863 | 150 557 2700 | 5000 863 10 | 0.004 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 918 | 150 558 2850 | 5000 918 11 | 0.004 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 921 | 150 559 3000 | 5000 921 11 | 0.004 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 922 | 150 560 3150 | 5000 922 11 | 0.004 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 936 | 150 561 3300 | 5000 936 12 | 0.004 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 946 | 150 562 3450 | 5000 946 12 | 0.004 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 954 | 150 563 3600 | 5000 954 13 | 0.004 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 956 | 150 564 3750 | 5000 956 13 | 0.004 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 958 | 150 565 3900 | 5000 958 13 | 0.004 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 968 | 150 566 4050 | 5000 968 14 | 0.004 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 972 | 150 567 4200 | 5000 972 14 | 0.004 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 1019 | 150 568 4350 | 5000 1019 16 | 0.004 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 1036 | 150 569 4500 | 5000 1036 16 | 0.004 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 1041 | 150 570 4650 | 5000 1041 17 | 0.004 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 1133 | 150 571 4800 | 5000 1133 20 | 0.004 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 1167 | 150 572 4950 | 5000 1167 21 | 0.004 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 1177 | 150 573 5100 | 5000 1177 21 | 0.004 % | c | 1278 | 150 573 5100 | 5500 1278 21 | 0.004 % | c | 1430 | 150 573 5100 | 6050 1430 22 | 0.004 % | c | 1656 | 150 573 5100 | 6655 1656 25 | 0.004 % | c | 1993 | 150 573 5100 | 7320 1993 28 | 0.004 % | c | 2501 | 150 573 5100 | 8052 2501 25 | 0.004 % | c | 3263 | 150 573 5100 | 8857 3263 24 | 0.004 % | c | 4402 | 150 573 5100 | 9743 4402 31 | 0.004 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 0.516921 s Remaining CPU time: 179.483 s c =============================================================================== c | 4871 | 150 574 5250 | 5000 4871 34 | 0.004 % | c | 4971 | 150 574 5250 | 5500 4971 34 | 0.004 % | c | 5123 | 150 574 5250 | 6050 5123 35 | 0.004 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 0.557915 s Remaining CPU time: 179.442 s c =============================================================================== c | 5204 | 150 575 5400 | 5000 5204 36 | 0.004 % | c | 5304 | 150 575 5400 | 5500 2702 46 | 0.004 % | c | 5455 | 150 575 5400 | 6050 2853 46 | 0.004 % | c | 5680 | 150 575 5400 | 6655 3078 47 | 0.004 % | c | 6017 | 150 575 5400 | 7320 3415 48 | 0.004 % | c | 6523 | 150 575 5400 | 8052 3921 49 | 0.004 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 0.831873 s Remaining CPU time: 179.168 s c =============================================================================== c | 7178 | 150 576 5550 | 5000 4576 50 | 0.004 % | c | 7282 | 150 576 5550 | 5500 4680 50 | 0.004 % | c | 7434 | 150 576 5550 | 6050 4832 50 | 0.004 % | c | 7660 | 150 576 5550 | 6655 5058 50 | 0.004 % | c | 7997 | 150 576 5550 | 7320 5395 49 | 0.004 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 1.01185 s Remaining CPU time: 178.988 s c =============================================================================== c | 8032 | 150 577 5700 | 5000 5430 49 | 0.004 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 1.02684 s Remaining CPU time: 178.973 s c =============================================================================== c | 8048 | 150 578 5850 | 5000 2731 48 | 0.004 % | c | 8149 | 150 578 5850 | 5500 2832 48 | 0.004 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 1.06184 s Remaining CPU time: 178.938 s c =============================================================================== c | 8275 | 150 579 6000 | 5000 2958 48 | 0.004 % | c | 8375 | 150 579 6000 | 5500 3058 48 | 0.004 % | c | 8526 | 150 579 6000 | 6050 3209 46 | 0.004 % | c | 8751 | 150 579 6000 | 6655 3434 44 | 0.004 % | c | 9088 | 150 579 6000 | 7320 3771 42 | 0.004 % | c | 9594 | 150 579 6000 | 8052 4277 39 | 0.004 % | c | 10354 | 150 579 6000 | 8857 5037 37 | 0.005 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 1.67774 s Remaining CPU time: 178.322 s c =============================================================================== c | 11272 | 150 580 6150 | 5000 5955 35 | 0.005 % | c | 11372 | 150 580 6150 | 5500 3078 20 | 0.004 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 1.70874 s Remaining CPU time: 178.291 s c =============================================================================== c | 11463 | 150 581 6300 | 5000 3169 22 | 0.004 % | c | 11566 | 150 581 6300 | 5500 3272 22 | 0.004 % | c | 11717 | 150 581 6300 | 6050 3423 22 | 0.004 % | c | 11945 | 150 581 6300 | 6655 3651 22 | 0.004 % | c | 12282 | 150 581 6300 | 7320 3988 22 | 0.004 % | c | 12789 | 150 581 6300 | 8052 4495 23 | 0.004 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 1.9437 s Remaining CPU time: 178.056 s c =============================================================================== c | 12847 | 150 582 6450 | 5000 4553 23 | 0.004 % | c | 12947 | 150 582 6450 | 5500 4653 23 | 0.004 % | c | 13097 | 150 582 6450 | 6050 4803 23 | 0.004 % | c | 13324 | 150 582 6450 | 6655 5030 23 | 0.004 % | c | 13662 | 150 582 6450 | 7320 5368 25 | 0.004 % | c | 14170 | 150 582 6450 | 8052 5876 27 | 0.004 % | c | 14930 | 150 582 6450 | 8857 6636 30 | 0.004 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 2.34464 s Remaining CPU time: 177.655 s c =============================================================================== c | 15419 | 150 583 6600 | 5000 7125 31 | 0.004 % | c | 15519 | 150 583 6600 | 5500 3663 39 | 0.004 % | c | 15669 | 150 583 6600 | 6050 3813 39 | 0.004 % | c | 15894 | 150 583 6600 | 6655 4038 39 | 0.004 % | c | 16231 | 150 583 6600 | 7320 4375 40 | 0.004 % | c | 16737 | 150 583 6600 | 8052 4881 40 | 0.004 % | c | 17497 | 150 583 6600 | 8857 5641 40 | 0.005 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 2.92455 s Remaining CPU time: 177.075 s c =============================================================================== c | 18486 | 150 584 6750 | 5000 6630 40 | 0.005 % | c | 18586 | 150 584 6750 | 5500 3415 37 | 0.004 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 2.95555 s Remaining CPU time: 177.044 s c =============================================================================== c | 18628 | 150 585 6900 | 5000 3457 37 | 0.004 % | c | 18730 | 150 585 6900 | 5500 3559 38 | 0.004 % | c | 18881 | 150 585 6900 | 6050 3710 38 | 0.004 % | c | 19108 | 150 585 6900 | 6655 3937 38 | 0.004 % | c | 19446 | 150 585 6900 | 7320 4275 38 | 0.004 % | c | 19952 | 150 585 6900 | 8052 4781 38 | 0.004 % | c | 20712 | 150 585 6900 | 8857 5541 38 | 0.004 % | c | 21852 | 150 585 6900 | 9743 6681 37 | 0.004 % | c | 23561 | 150 585 6900 | 10717 8390 34 | 0.004 % | c | 26123 | 150 585 6900 | 11789 5586 21 | 0.009 % | c | 29968 | 150 585 6900 | 12968 9431 24 | 0.004 % | c | 35734 | 150 585 6900 | 14265 8703 24 | 0.013 % | c | 44384 | 150 585 6900 | 15692 10184 26 | 0.022 % | c =============================================================================== c Total CPU time: 12.6901 s