c wbo 1.4 beta - 20100610 c | Number of variables: 6420 | c | Number of clauses: 116343 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.08 s | c | Number Variables: 6420 | c | Number Clauses: 116163 | 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 | 6342 116163 291982 | 38721 0 nan | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 0.844871 s Remaining CPU time: 179.155 s c =============================================================================== c | 1 | 6342 116164 292162 | 38721 1 5 | 0.000 % | c | 101 | 6342 116164 292162 | 42593 101 135 | 1.215 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 0.941856 s Remaining CPU time: 179.058 s c =============================================================================== c | 203 | 6342 116165 292342 | 38721 203 72 | 1.215 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 0.974851 s Remaining CPU time: 179.025 s c =============================================================================== c | 212 | 6342 116166 292522 | 38722 212 69 | 1.215 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 1.00985 s Remaining CPU time: 178.99 s c =============================================================================== c | 218 | 6342 116167 292702 | 38722 218 68 | 1.215 % | c | 319 | 6342 116167 292702 | 42594 319 84 | 1.215 % | c | 469 | 6342 116167 292702 | 46854 469 67 | 1.215 % | c | 695 | 6342 116167 292702 | 51539 695 71 | 1.215 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 1.2998 s Remaining CPU time: 178.7 s c =============================================================================== c | 811 | 6342 116168 292882 | 38722 811 64 | 1.215 % | c | 911 | 6342 116168 292882 | 42594 911 72 | 1.215 % | c | 1061 | 6342 116168 292882 | 46854 1061 67 | 1.215 % | c | 1286 | 6342 116168 292882 | 51539 1286 67 | 1.215 % | c | 1623 | 6342 116168 292882 | 56693 1623 63 | 1.215 % | c | 2130 | 6342 116168 292882 | 62363 2130 66 | 1.215 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 1.9367 s Remaining CPU time: 178.063 s c =============================================================================== c | 2353 | 6342 116169 293062 | 38723 2353 62 | 1.215 % | c | 2453 | 6342 116169 293062 | 42595 2453 64 | 1.215 % | c | 2604 | 6342 116169 293062 | 46854 2604 65 | 1.215 % | c | 2829 | 6342 116169 293062 | 51540 2829 66 | 1.215 % | c | 3167 | 6342 116169 293062 | 56694 3167 65 | 1.215 % | c | 3673 | 6342 116169 293062 | 62363 3673 68 | 1.215 % | c | 4432 | 6342 116169 293062 | 68600 4432 75 | 1.215 % | c | 5571 | 6342 116169 293062 | 75460 5571 81 | 1.215 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 3.16652 s Remaining CPU time: 176.833 s c =============================================================================== c | 6292 | 6342 116170 293242 | 38723 6292 81 | 1.215 % | c | 6392 | 6342 116170 293242 | 42595 6392 80 | 1.215 % | c | 6542 | 6342 116170 293242 | 46855 6542 81 | 1.215 % | c | 6768 | 6342 116170 293242 | 51540 6768 80 | 1.215 % | c | 7105 | 6342 116170 293242 | 56694 7105 81 | 1.215 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 3.55946 s Remaining CPU time: 176.441 s c =============================================================================== c | 7205 | 6342 116171 293422 | 38723 7205 81 | 1.215 % | c | 7305 | 6342 116171 293422 | 42596 7305 81 | 1.215 % | c | 7455 | 6342 116171 293422 | 46855 7455 80 | 1.215 % | c | 7680 | 6342 116171 293422 | 51541 7680 80 | 1.215 % | c | 8017 | 6342 116171 293422 | 56695 8017 81 | 1.215 % | c | 8524 | 6342 116171 293422 | 62364 8524 82 | 1.215 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 4.21336 s Remaining CPU time: 175.787 s c =============================================================================== c | 8761 | 6342 116172 293602 | 38724 8761 82 | 1.215 % | c | 8862 | 6342 116172 293602 | 42596 8862 82 | 1.215 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 4.34134 s Remaining CPU time: 175.659 s c =============================================================================== c | 8946 | 6342 116173 293782 | 38724 8946 81 | 1.215 % | c | 9046 | 6342 116173 293782 | 42596 9046 81 | 1.215 % | c | 9196 | 6342 116173 293782 | 46856 9196 81 | 1.215 % | c | 9421 | 6342 116173 293782 | 51542 9421 81 | 1.215 % | c | 9758 | 6342 116173 293782 | 56696 9758 81 | 1.215 % | c | 10264 | 6342 116173 293782 | 62365 10264 81 | 1.215 % | c | 11023 | 6342 116173 293782 | 68602 11023 82 | 1.215 % | c | 12163 | 6342 116173 293782 | 75462 12163 89 | 1.215 % | c | 13871 | 6342 116173 293782 | 83009 13871 94 | 1.215 % | c | 16433 | 6342 116173 293782 | 91309 16433 102 | 1.215 % | c | 20277 | 6342 116173 293782 | 100440 20277 109 | 1.215 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 9.24759 s Remaining CPU time: 170.752 s c =============================================================================== c | 21259 | 6342 116174 293962 | 38724 21259 111 | 1.215 % | c | 21361 | 6342 116174 293962 | 42597 21361 111 | 1.215 % | c | 21514 | 6342 116174 293962 | 46856 21514 111 | 1.215 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 9.49256 s Remaining CPU time: 170.507 s c =============================================================================== c | 21673 | 6342 116175 294142 | 38725 21673 110 | 1.215 % | c | 21774 | 6342 116175 294142 | 42597 21774 110 | 1.215 % | c | 21924 | 6342 116175 294142 | 46857 21924 110 | 1.215 % | c | 22150 | 6342 116175 294142 | 51542 22150 110 | 1.215 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 9.8325 s Remaining CPU time: 170.167 s c =============================================================================== c | 22382 | 6342 116176 294322 | 38725 22382 110 | 1.215 % | c | 22483 | 6342 116176 294322 | 42597 22483 110 | 1.215 % | c | 22633 | 6342 116176 294322 | 46857 22633 110 | 1.215 % | c | 22858 | 6342 116176 294322 | 51543 22858 110 | 1.215 % | c | 23196 | 6342 116176 294322 | 56697 23196 110 | 1.215 % | c | 23702 | 6342 116176 294322 | 62367 23702 110 | 1.215 % | c | 24461 | 6342 116176 294322 | 68604 24461 110 | 1.215 % | c | 25601 | 6342 116176 294322 | 75464 25601 110 | 1.215 % | c | 27309 | 6342 116176 294322 | 83011 27309 110 | 1.215 % | c | 29873 | 6342 116176 294322 | 91312 29873 111 | 1.215 % | c | 33717 | 6342 116176 294322 | 100443 33717 113 | 1.215 % | c | 39486 | 6342 116176 294322 | 110487 39486 116 | 1.215 % | c | 48135 | 6342 116176 294322 | 121536 48135 116 | 1.215 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 22.2926 s Remaining CPU time: 157.707 s c =============================================================================== c | 50289 | 6342 116177 294502 | 38725 50289 116 | 1.215 % | c | 50390 | 6342 116177 294502 | 42598 13657 103 | 1.215 % | c | 50541 | 6342 116177 294502 | 46858 13808 103 | 1.215 % | c | 50767 | 6342 116177 294502 | 51543 14034 103 | 1.215 % | c | 51105 | 6342 116177 294502 | 56698 14372 103 | 1.215 % | c | 51611 | 6342 116177 294502 | 62368 14878 103 | 1.215 % | c | 52371 | 6342 116177 294502 | 68604 15638 104 | 1.215 % | c | 53510 | 6342 116177 294502 | 75465 16777 107 | 1.215 % | c | 55220 | 6342 116177 294502 | 83011 18487 108 | 1.215 % | c | 57782 | 6342 116177 294502 | 91313 21049 110 | 1.215 % | c | 61626 | 6342 116177 294502 | 100444 24893 115 | 1.215 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 26.624 s Remaining CPU time: 153.376 s c =============================================================================== c | 62983 | 6342 116178 294682 | 38726 26250 115 | 1.215 % | c | 63086 | 6342 116178 294682 | 42598 26353 115 | 1.215 % | c | 63237 | 6342 116178 294682 | 46858 26504 115 | 1.215 % | c | 63462 | 6342 116178 294682 | 51544 26729 114 | 1.215 % | c | 63803 | 6342 116178 294682 | 56698 27070 114 | 1.215 % | c | 64309 | 6342 116178 294682 | 62368 27576 114 | 1.215 % | c | 65068 | 6342 116178 294682 | 68605 28335 115 | 1.215 % | c | 66207 | 6342 116178 294682 | 75466 29474 114 | 1.215 % | c | 67915 | 6342 116178 294682 | 83012 31182 114 | 1.215 % | c | 70478 | 6342 116178 294682 | 91313 33745 115 | 1.215 % | c | 74323 | 6342 116178 294682 | 100445 37590 115 | 1.215 % | c | 80090 | 6342 116178 294682 | 110489 43357 117 | 1.215 % | c | 88740 | 6342 116178 294682 | 121538 52007 121 | 1.215 % | c | 101714 | 6342 116178 294682 | 133692 64981 121 | 1.215 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 55.4466 s Remaining CPU time: 124.553 s c =============================================================================== c | 119423 | 6342 116179 294862 | 38726 82690 120 | 1.215 % | c | 119523 | 6342 116179 294862 | 42598 13806 105 | 1.215 % | c | 119674 | 6342 116179 294862 | 46858 13957 104 | 1.215 % | c | 119899 | 6342 116179 294862 | 51544 14182 104 | 1.215 % | c | 120237 | 6342 116179 294862 | 56699 14520 104 | 1.215 % | c | 120743 | 6342 116179 294862 | 62369 15026 104 | 1.215 % | c | 121502 | 6342 116179 294862 | 68606 15785 104 | 1.215 % | c | 122642 | 6342 116179 294862 | 75466 16925 104 | 1.215 % | c | 124350 | 6342 116179 294862 | 83013 18633 105 | 1.215 % | c | 126912 | 6342 116179 294862 | 91314 21195 106 | 1.215 % | c | 130757 | 6342 116179 294862 | 100446 25040 107 | 1.215 % | c | 136524 | 6342 116179 294862 | 110490 30807 110 | 1.215 % | c | 145173 | 6342 116179 294862 | 121539 39456 112 | 1.215 % | c | 158147 | 6342 116179 294862 | 133693 52430 115 | 1.215 % | c | 177608 | 6342 116179 294862 | 147063 71891 115 | 1.215 % | c | 206800 | 6342 116179 294862 | 161769 101083 120 | 1.215 % | c | 250589 | 6342 116179 294862 | 177946 144872 120 | 1.215 % | c There are 78 assigned variables. 78 in cost function. c Memory used : 174.32 MB c CPU time : 180.444 s c c Total CPU time: 180.446 s