c wbo 1.4 beta - 20100610 c | Number of variables: 6645 | c | Number of clauses: 137160 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.11 s | c | Number Variables: 6645 | c | Number Clauses: 136988 | 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 | 6584 136988 343102 | 45662 0 nan | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 1.20982 s Remaining CPU time: 178.79 s c =============================================================================== c | 3 | 6584 136989 343274 | 45663 3 20 | 0.000 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 1.24281 s Remaining CPU time: 178.757 s c =============================================================================== c | 7 | 6584 136990 343446 | 45663 7 67 | 0.000 % | c | 107 | 6584 136990 343446 | 50229 107 17 | 0.918 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 1.3278 s Remaining CPU time: 178.672 s c =============================================================================== c | 108 | 6584 136991 343618 | 45663 108 17 | 0.918 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 1.36479 s Remaining CPU time: 178.635 s c =============================================================================== c | 113 | 6584 136992 343790 | 45664 113 18 | 0.918 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 1.42578 s Remaining CPU time: 178.574 s c =============================================================================== c | 167 | 6584 136993 343962 | 45664 167 22 | 0.918 % | c | 267 | 6584 136993 343962 | 50230 267 62 | 0.918 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 1.55676 s Remaining CPU time: 178.443 s c =============================================================================== c | 322 | 6584 136994 344134 | 45664 322 53 | 0.918 % | c | 423 | 6584 136994 344134 | 50231 423 53 | 0.918 % | c | 573 | 6584 136994 344134 | 55254 573 53 | 0.918 % | c | 798 | 6584 136994 344134 | 60779 798 57 | 0.918 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 1.93071 s Remaining CPU time: 178.069 s c =============================================================================== c | 1019 | 6584 136995 344306 | 45665 1019 58 | 0.918 % | c | 1119 | 6584 136995 344306 | 50231 1119 58 | 0.918 % | c | 1269 | 6584 136995 344306 | 55254 1269 54 | 0.918 % | c | 1494 | 6584 136995 344306 | 60780 1494 53 | 0.918 % | c | 1832 | 6584 136995 344306 | 66858 1832 63 | 0.918 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 2.40863 s Remaining CPU time: 177.591 s c =============================================================================== c | 1951 | 6584 136996 344478 | 45665 1951 61 | 0.918 % | c | 2051 | 6584 136996 344478 | 50231 2051 60 | 0.918 % | c | 2202 | 6584 136996 344478 | 55255 2202 58 | 0.918 % | c =============================================================================== c New solution: 98 c Elapsed CPU time: 2.6286 s Remaining CPU time: 177.371 s c =============================================================================== c | 2286 | 6584 136997 344650 | 45665 2286 58 | 0.918 % | c | 2386 | 6584 136997 344650 | 50232 2386 58 | 0.918 % | c | 2537 | 6584 136997 344650 | 55255 2537 56 | 0.918 % | c | 2762 | 6584 136997 344650 | 60781 2762 55 | 0.918 % | c | 3099 | 6584 136997 344650 | 66859 3099 55 | 0.918 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 3.12252 s Remaining CPU time: 176.877 s c =============================================================================== c | 3129 | 6584 136998 344822 | 45666 3129 55 | 0.918 % | c | 3229 | 6584 136998 344822 | 50232 3229 55 | 0.918 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 3.2685 s Remaining CPU time: 176.731 s c =============================================================================== c | 3305 | 6584 136999 344994 | 45666 3305 55 | 0.918 % | c | 3405 | 6584 136999 344994 | 50232 3405 54 | 0.918 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 3.41148 s Remaining CPU time: 176.589 s c =============================================================================== c | 3487 | 6584 137000 345166 | 45666 3487 55 | 0.918 % | c | 3588 | 6584 137000 345166 | 50233 3588 54 | 0.918 % | c | 3740 | 6584 137000 345166 | 55256 3740 57 | 0.918 % | c | 3966 | 6584 137000 345166 | 60782 3966 56 | 0.918 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 3.79642 s Remaining CPU time: 176.204 s c =============================================================================== c | 4141 | 6584 137001 345338 | 45667 4141 57 | 0.918 % | c | 4242 | 6584 137001 345338 | 50233 4242 57 | 0.918 % | c | 4392 | 6584 137001 345338 | 55257 4392 57 | 0.918 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 4.01739 s Remaining CPU time: 175.983 s c =============================================================================== c | 4447 | 6584 137002 345510 | 45667 4447 57 | 0.918 % | c | 4547 | 6584 137002 345510 | 50234 4547 57 | 0.918 % | c | 4698 | 6584 137002 345510 | 55257 4698 58 | 0.918 % | c | 4924 | 6584 137002 345510 | 60783 4924 58 | 0.918 % | c | 5261 | 6584 137002 345510 | 66861 5261 59 | 0.918 % | c | 5767 | 6584 137002 345510 | 73547 5767 62 | 0.918 % | c | 6528 | 6584 137002 345510 | 80902 6528 67 | 0.918 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 5.06723 s Remaining CPU time: 174.933 s c =============================================================================== c | 6632 | 6584 137003 345682 | 45667 6632 66 | 0.918 % | c | 6732 | 6584 137003 345682 | 50234 6732 66 | 0.918 % | c | 6882 | 6584 137003 345682 | 55257 6882 66 | 0.918 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 5.31919 s Remaining CPU time: 174.681 s c =============================================================================== c | 7008 | 6584 137004 345854 | 45668 7008 66 | 0.918 % | c | 7108 | 6584 137004 345854 | 50234 7108 66 | 0.918 % | c | 7258 | 6584 137004 345854 | 55258 7258 66 | 0.918 % | c | 7483 | 6584 137004 345854 | 60784 7483 67 | 0.918 % | c | 7821 | 6584 137004 345854 | 66862 7821 68 | 0.918 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 5.9431 s Remaining CPU time: 174.057 s c =============================================================================== c | 8123 | 6584 137005 346026 | 45668 8123 68 | 0.918 % | c | 8225 | 6584 137005 346026 | 50235 8225 68 | 0.918 % | c | 8375 | 6584 137005 346026 | 55258 8375 68 | 0.918 % | c | 8600 | 6584 137005 346026 | 60784 8600 68 | 0.918 % | c | 8937 | 6584 137005 346026 | 66863 8937 68 | 0.918 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 6.561 s Remaining CPU time: 173.439 s c =============================================================================== c | 9012 | 6584 137006 346198 | 45668 9012 68 | 0.918 % | c | 9112 | 6584 137006 346198 | 50235 9112 67 | 0.918 % | c | 9263 | 6584 137006 346198 | 55259 9263 68 | 0.918 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 6.77097 s Remaining CPU time: 173.229 s c =============================================================================== c | 9437 | 6584 137007 346370 | 45669 9437 68 | 0.918 % | c | 9539 | 6584 137007 346370 | 50235 9539 68 | 0.918 % | c | 9689 | 6584 137007 346370 | 55259 9689 68 | 0.918 % | c | 9914 | 6584 137007 346370 | 60785 9914 68 | 0.918 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 7.18391 s Remaining CPU time: 172.816 s c =============================================================================== c | 10032 | 6584 137008 346542 | 45669 10032 68 | 0.918 % | c | 10132 | 6584 137008 346542 | 50236 10132 68 | 0.918 % | c | 10282 | 6584 137008 346542 | 55259 10282 68 | 0.918 % | c | 10507 | 6584 137008 346542 | 60785 10507 68 | 0.918 % | c | 10845 | 6584 137008 346542 | 66864 10845 68 | 0.918 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 7.73782 s Remaining CPU time: 172.262 s c =============================================================================== c | 10884 | 6584 137009 346714 | 45669 10884 68 | 0.918 % | c | 10984 | 6584 137009 346714 | 50236 10984 68 | 0.918 % | c | 11134 | 6584 137009 346714 | 55260 11134 68 | 0.918 % | c | 11360 | 6584 137009 346714 | 60786 11360 69 | 0.918 % | c | 11697 | 6584 137009 346714 | 66864 11697 70 | 0.918 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 8.26674 s Remaining CPU time: 171.733 s c =============================================================================== c | 12002 | 6584 137010 346886 | 45670 12002 71 | 0.918 % | c | 12103 | 6584 137010 346886 | 50237 12103 71 | 0.918 % | c | 12253 | 6584 137010 346886 | 55260 12253 71 | 0.918 % | c | 12478 | 6584 137010 346886 | 60786 12478 71 | 0.918 % | c | 12815 | 6584 137010 346886 | 66865 12815 71 | 0.918 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 8.91364 s Remaining CPU time: 171.086 s c =============================================================================== c | 13054 | 6584 137011 347058 | 45670 13054 72 | 0.918 % | c | 13154 | 6584 137011 347058 | 50237 13154 72 | 0.918 % | c | 13305 | 6584 137011 347058 | 55261 13305 71 | 0.918 % | c | 13531 | 6584 137011 347058 | 60787 13531 72 | 0.918 % | c | 13869 | 6584 137011 347058 | 66865 13869 73 | 0.918 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 9.41457 s Remaining CPU time: 170.585 s c =============================================================================== c | 14061 | 6584 137012 347230 | 45670 14061 73 | 0.918 % | c | 14163 | 6584 137012 347230 | 50237 14163 73 | 0.918 % | c | 14314 | 6584 137012 347230 | 55261 14314 73 | 0.918 % | c | 14539 | 6584 137012 347230 | 60787 14539 73 | 0.918 % | c | 14877 | 6584 137012 347230 | 66866 14877 73 | 0.918 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 10.0915 s Remaining CPU time: 169.909 s c =============================================================================== c | 15189 | 6584 137013 347402 | 45671 15189 74 | 0.918 % | c | 15289 | 6584 137013 347402 | 50238 15289 74 | 0.918 % | c | 15439 | 6584 137013 347402 | 55261 15439 74 | 0.918 % | c | 15665 | 6584 137013 347402 | 60788 15665 74 | 0.918 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 10.5474 s Remaining CPU time: 169.453 s c =============================================================================== c | 15966 | 6584 137014 347574 | 45671 15966 74 | 0.918 % | c | 16066 | 6584 137014 347574 | 50238 16066 74 | 0.918 % | c | 16216 | 6584 137014 347574 | 55262 16216 75 | 0.918 % | c | 16441 | 6584 137014 347574 | 60788 16441 75 | 0.918 % | c | 16778 | 6584 137014 347574 | 66867 16778 75 | 0.918 % | c | 17285 | 6584 137014 347574 | 73554 17285 76 | 0.918 % | c | 18044 | 6584 137014 347574 | 80909 18044 78 | 0.918 % | c | 19184 | 6584 137014 347574 | 89000 19184 79 | 0.918 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 12.4921 s Remaining CPU time: 167.508 s c =============================================================================== c | 19666 | 6584 137015 347746 | 45671 19666 80 | 0.918 % | c | 19766 | 6584 137015 347746 | 50238 19766 80 | 0.918 % | c | 19916 | 6584 137015 347746 | 55262 19916 80 | 0.918 % | c | 20141 | 6584 137015 347746 | 60788 20141 80 | 0.918 % | c | 20478 | 6584 137015 347746 | 66867 20478 81 | 0.918 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 13.088 s Remaining CPU time: 166.912 s c =============================================================================== c | 20812 | 6584 137016 347918 | 45672 20812 81 | 0.918 % | c | 20913 | 6584 137016 347918 | 50239 20913 81 | 0.918 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 13.2 s Remaining CPU time: 166.8 s c =============================================================================== c | 20942 | 6584 137017 348090 | 45672 20942 81 | 0.918 % | c | 21043 | 6584 137017 348090 | 50239 21043 81 | 0.918 % | c | 21193 | 6584 137017 348090 | 55263 21193 81 | 0.918 % | c | 21418 | 6584 137017 348090 | 60789 21418 81 | 0.918 % | c | 21755 | 6584 137017 348090 | 66868 21755 81 | 0.918 % | c | 22261 | 6584 137017 348090 | 73555 22261 82 | 0.918 % | c | 23021 | 6584 137017 348090 | 80911 23021 82 | 0.918 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 14.4438 s Remaining CPU time: 165.556 s c =============================================================================== c | 23261 | 6584 137018 348262 | 45672 23261 82 | 0.918 % | c | 23362 | 6584 137018 348262 | 50239 23362 82 | 0.918 % | c | 23512 | 6584 137018 348262 | 55263 23512 82 | 0.918 % | c | 23737 | 6584 137018 348262 | 60790 23737 82 | 0.918 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 14.6728 s Remaining CPU time: 165.327 s c =============================================================================== c | 23769 | 6584 137019 348434 | 45673 23769 82 | 0.918 % | c | 23869 | 6584 137019 348434 | 50240 23869 82 | 0.918 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 14.7948 s Remaining CPU time: 165.205 s c =============================================================================== c | 23907 | 6584 137020 348606 | 45673 23907 82 | 0.918 % | c | 24007 | 6584 137020 348606 | 50240 24007 82 | 0.918 % | c | 24158 | 6584 137020 348606 | 55264 24158 82 | 0.918 % | c | 24384 | 6584 137020 348606 | 60791 24384 82 | 0.918 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 15.0477 s Remaining CPU time: 164.952 s c =============================================================================== c | 24491 | 6584 137021 348778 | 45673 24491 82 | 0.918 % | c | 24591 | 6584 137021 348778 | 50241 24591 82 | 0.918 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 15.1517 s Remaining CPU time: 164.848 s c =============================================================================== c | 24673 | 6584 137022 348950 | 45674 24673 82 | 0.918 % | c | 24773 | 6584 137022 348950 | 50241 24773 82 | 0.918 % | c | 24924 | 6584 137022 348950 | 55265 24924 82 | 0.918 % | c | 25149 | 6584 137022 348950 | 60792 25149 82 | 0.918 % | c | 25486 | 6584 137022 348950 | 66871 25486 82 | 0.918 % | c | 25993 | 6584 137022 348950 | 73558 25993 82 | 0.918 % | c | 26753 | 6584 137022 348950 | 80914 26753 82 | 0.918 % | c | 27893 | 6584 137022 348950 | 89005 27893 82 | 0.918 % | c | 29603 | 6584 137022 348950 | 97906 29603 82 | 0.918 % | c | 32166 | 6584 137022 348950 | 107696 32166 82 | 0.918 % | c | 36011 | 6584 137022 348950 | 118466 36011 81 | 0.918 % | c | 41777 | 6584 137022 348950 | 130313 41777 81 | 0.918 % | c | 50426 | 6584 137022 348950 | 143344 50426 81 | 0.918 % | c | 63401 | 6584 137022 348950 | 157679 63401 80 | 0.918 % | c | 82862 | 6584 137022 348950 | 173446 82862 80 | 0.918 % | c | 112055 | 6584 137022 348950 | 190791 112055 79 | 0.918 % | c There are 61 assigned variables. 60 in cost function. c Memory used : 82.87 MB c CPU time : 180.442 s c c Total CPU time: 180.442 s