c wbo 1.6 beta - 20110325 c | Number of variables: 69731 | c | Number of clauses: 711924 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.47 s | c | Number Variables: 69731 | c | Number Clauses: 706964 | 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 | 35718 706964 853044 | 235654 0 -nan | 0.000 % | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 27309 321796 577264 | 107265 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 27389 321797 578120 | 107265 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 26925 321799 578156 | 107266 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 26949 321801 578509 | 107267 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 27022 321803 580033 | 107267 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 27097 321875 580110 | 107291 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 27107 321888 580125 | 107296 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 27134 321914 580155 | 107304 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 27158 321915 580191 | 107305 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 27178 321934 580221 | 107311 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 27230 321935 580299 | 107311 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 27233 321939 580310 | 107313 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 27259 321965 580344 | 107321 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 27312 322018 580400 | 107339 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 27336 322041 580426 | 107347 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 27340 322044 580436 | 107348 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 27346 322050 580445 | 107350 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 27397 322055 582236 | 107351 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 27414 322060 582532 | 107353 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 27467 322066 583711 | 107355 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 27470 322070 583722 | 107356 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 27496 322098 583759 | 107366 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 27502 322105 583783 | 107368 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 27508 322113 583794 | 107371 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 27544 322167 583841 | 107389 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 27681 322296 583983 | 107432 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 27731 322342 584038 | 107447 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 27770 322380 584081 | 107460 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 27860 322469 584178 | 107489 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 27897 322484 584354 | 107494 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 27914 322488 584384 | 107496 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 27988 322561 584461 | 107520 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 28065 322640 584549 | 107546 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 28104 322667 585283 | 107555 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 28110 322671 585298 | 107557 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 28218 322786 585413 | 107595 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 28240 322804 585452 | 107601 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 28258 322821 585485 | 107607 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 28302 322859 585549 | 107619 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 28335 322879 585607 | 107626 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 28390 322932 585676 | 107644 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 28435 322936 585796 | 107645 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 28491 322999 585890 | 107666 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 28518 323007 585943 | 107669 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 28621 323128 586068 | 107709 0 -nan | 0.000 % | c | 100 | 28538 323128 586068 | 118480 100 33 | 59.991 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 28791 323299 586880 | 107766 0 -nan | 0.000 % | c | 100 | 28774 323299 586880 | 118542 100 23 | 59.750 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 28946 323486 587177 | 107828 0 -nan | 0.000 % | c | 104 | 28907 323486 587177 | 118611 104 30 | 59.736 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 29169 323739 587444 | 107913 0 -nan | 0.000 % | c | 100 | 29138 323739 587444 | 118704 100 38 | 59.475 % | c | 250 | 29132 323739 587444 | 130574 250 72 | 59.485 % | c | 475 | 29067 323739 587444 | 143632 475 99 | 59.830 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 29566 324160 587933 | 108053 0 -nan | 0.000 % | c | 100 | 29545 324160 587933 | 118858 100 29 | 59.125 % | c | 250 | 29522 324160 587933 | 130744 250 30 | 59.182 % | c | 475 | 29512 324160 587933 | 143818 475 62 | 59.196 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 29764 324400 588193 | 108133 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 29906 324560 588352 | 108186 0 -nan | 0.000 % | c | 101 | 29861 324560 588352 | 119005 101 93 | 58.938 % | c | 251 | 29843 324560 588352 | 130905 251 72 | 58.996 % | c | 479 | 29772 324560 588352 | 143996 479 83 | 59.249 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 30299 324965 588788 | 108321 0 -nan | 0.000 % | c | 101 | 30272 324965 588788 | 119153 101 82 | 58.616 % | c | 251 | 30235 324965 588788 | 131069 251 52 | 58.672 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 30458 325201 589071 | 108400 0 -nan | 0.000 % | c | 100 | 30414 325201 589071 | 119240 100 37 | 58.514 % | c | 251 | 30392 325201 589071 | 131164 251 54 | 58.544 % | c | 476 | 30338 325201 589071 | 144280 476 60 | 58.574 % | c | 813 | 30310 325201 589071 | 158708 813 78 | 58.628 % | c | 1319 | 30239 325201 589071 | 174579 1319 116 | 58.852 % | c | 2078 | 30112 325201 589071 | 192037 2078 162 | 58.914 % | c | 3219 | 30059 325201 589071 | 211241 3219 205 | 58.952 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 31008 325839 589859 | 108613 0 -nan | 0.000 % | c | 100 | 30974 325839 589859 | 119474 100 28 | 58.119 % | c | 250 | 30955 325839 589859 | 131421 250 111 | 58.145 % | c | 476 | 30851 325839 589859 | 144563 476 80 | 58.219 % | c | 813 | 30807 325839 589859 | 159020 813 71 | 58.280 % | c | 1319 | 30784 325839 589859 | 174922 1319 80 | 58.313 % | c | 2078 | 30765 325839 589859 | 192414 2078 119 | 58.333 % | c | 3218 | 30750 325839 589859 | 211656 3218 156 | 58.362 % | c | 4928 | 30647 325839 589859 | 232821 4928 203 | 59.484 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 31636 326633 590894 | 108877 0 -nan | 0.000 % | c | 100 | 31595 326633 590894 | 119765 100 29 | 57.616 % | c | 250 | 31544 326633 590894 | 131741 250 22 | 57.749 % | c | 476 | 31473 326633 590894 | 144916 476 39 | 57.846 % | c | 813 | 31454 326633 590894 | 159407 813 46 | 57.875 % | c | 1319 | 31379 326633 590894 | 175348 1319 56 | 57.899 % | c | 2078 | 31328 326633 590894 | 192883 2078 64 | 57.969 % | c | 3217 | 31314 326633 590894 | 212171 3217 94 | 57.991 % | c | 4925 | 31290 326633 590894 | 233388 4925 159 | 58.034 % | c | 7488 | 31196 326633 590894 | 256727 7488 215 | 58.146 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 32301 327470 591964 | 109156 0 -nan | 0.000 % | c | 100 | 32271 327470 591964 | 120072 100 24 | 57.144 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 32544 327751 592327 | 109250 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 32748 327978 592554 | 109326 0 -nan | 0.000 % | c | 100 | 32679 327978 592554 | 120258 100 20 | 57.303 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 32978 328276 592849 | 109425 0 -nan | 0.000 % | c | 101 | 32917 328276 592849 | 120367 101 27 | 56.706 % | c | 252 | 32883 328276 592849 | 132404 252 43 | 56.754 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 33105 328538 593076 | 109512 0 -nan | 0.000 % | c | 102 | 33061 328538 593076 | 120463 102 44 | 56.689 % | c | 252 | 33041 328538 593076 | 132510 252 42 | 56.713 % | c | 477 | 32953 328538 593076 | 145761 477 36 | 56.769 % | c | 814 | 32935 328538 593076 | 160337 814 62 | 56.791 % | c | 1320 | 32899 328538 593076 | 176371 1320 59 | 56.840 % | c | 2079 | 32828 328538 593076 | 194008 2079 83 | 56.936 % | c | 3221 | 32811 328538 593076 | 213409 3221 97 | 56.954 % | c | 4929 | 32779 328538 593076 | 234750 4929 124 | 56.999 % | c | 7491 | 32739 328538 593076 | 258225 7491 153 | 57.063 % | c | 11335 | 32689 328538 593076 | 284047 11335 198 | 57.114 % | c | 17101 | 32637 328538 593076 | 312452 17101 252 | 57.182 % | c | 25752 | 32558 328538 593076 | 343697 25752 297 | 57.318 % | c | 38726 | 32492 328538 593076 | 378067 38726 368 | 57.461 % | c | 58189 | 32372 328538 593076 | 415874 58189 436 | 57.663 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 33731 329729 594394 | 109909 0 -nan | 0.000 % | c | 100 | 33672 329729 594394 | 120900 100 31 | 56.434 % | c | 250 | 33661 329729 594394 | 132990 250 71 | 56.449 % | c | 475 | 33567 329729 594394 | 146289 475 61 | 56.482 % | c | 812 | 33540 329729 594394 | 160918 812 57 | 56.517 % | c | 1318 | 33488 329729 594394 | 177010 1318 53 | 56.586 % | c | 2077 | 33420 329729 594394 | 194711 2077 63 | 56.673 % | c | 3216 | 33374 329729 594394 | 214182 3216 88 | 56.735 % | c | 4924 | 33337 329729 594394 | 235601 4924 150 | 56.783 % | c | 7486 | 33286 329729 594394 | 259161 7486 224 | 56.854 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 34562 330699 595639 | 110233 0 -nan | 0.000 % | c | 101 | 34502 330699 595639 | 121256 101 29 | 55.871 % | c | 251 | 34401 330699 595639 | 133381 251 28 | 55.929 % | c | 476 | 34337 330699 595639 | 146720 476 33 | 56.009 % | c | 813 | 34286 330699 595639 | 161392 813 37 | 56.085 % | c | 1319 | 34232 330699 595639 | 177531 1319 54 | 56.143 % | c | 2081 | 34197 330699 595639 | 195284 2081 55 | 56.187 % | c | 3223 | 34155 330699 595639 | 214812 3223 57 | 56.241 % | c | 4934 | 34075 330699 595639 | 236294 4934 54 | 56.344 % | c =============================================================================== c Total CPU time: 173.486 s