c wbo 1.4a beta - 20100425 c | Number of variables: 5744 | c | Number of clauses: 68439 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.06 s | c | Number Variables: 5744 | c | Number Clauses: 68439 | 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 | 1814 68688 229378 | 22896 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2014 68747 229546 | 22915 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2115 68791 229659 | 22930 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2166 68859 229763 | 22953 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2339 68935 229936 | 22978 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2400 69002 230052 | 23000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2483 69030 230297 | 23010 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2687 69132 230561 | 23044 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2842 69206 230839 | 23068 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2984 69346 230995 | 23115 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3172 69428 231380 | 23142 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3500 69669 231906 | 23223 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4021 69830 232759 | 23276 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4151 69936 232923 | 23312 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4335 70055 233252 | 23351 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4527 70125 233647 | 23375 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4710 70223 233951 | 23407 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4911 70228 234156 | 23409 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5270 70458 234866 | 23486 0 nan | 0.000 % | c | 100 | 5220 70458 234866 | 25834 100 12 | 40.389 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6079 70592 235988 | 23530 0 nan | 0.000 % | c | 100 | 5991 70592 235988 | 25883 100 15 | 36.525 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6530 70665 236870 | 23555 0 nan | 0.000 % | c | 100 | 6522 70665 236870 | 25910 100 15 | 28.714 % | c | 250 | 6446 70665 236870 | 28501 250 12 | 32.428 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6930 70889 237717 | 23629 0 nan | 0.000 % | c | 101 | 6930 70889 237717 | 25992 101 12 | 27.259 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 7288 71025 238192 | 23675 0 nan | 0.000 % | c | 102 | 7229 71025 238192 | 26042 102 9 | 28.507 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 7838 71094 239135 | 23698 0 nan | 0.000 % | c | 102 | 7838 71094 239135 | 26067 102 14 | 21.282 % | c | 254 | 7745 71094 239135 | 28674 254 13 | 24.566 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8533 71192 240376 | 23730 0 nan | 0.000 % | c | 100 | 8528 71192 240376 | 26103 100 11 | 17.819 % | c | 250 | 8479 71192 240376 | 28714 250 15 | 19.116 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8977 71311 241174 | 23770 0 nan | 0.000 % | c | 100 | 8977 71311 241174 | 26147 100 18 | 15.969 % | c | 250 | 8950 71311 241174 | 28762 250 13 | 17.252 % | c | 475 | 8705 71311 241174 | 31638 395 13 | 18.815 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9851 71465 242959 | 23821 0 nan | 0.000 % | c | 100 | 9851 71465 242959 | 26203 100 30 | 13.283 % | c | 250 | 9840 71465 242959 | 28824 246 21 | 13.380 % | c | 476 | 9838 71465 242959 | 31706 472 17 | 13.407 % | c | 813 | 9827 71465 242959 | 34877 802 15 | 13.609 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 10613 71663 244692 | 23887 0 nan | 0.000 % | c | 100 | 10611 71663 244692 | 26276 100 29 | 12.073 % | c | 250 | 10611 71663 244692 | 28904 250 20 | 12.073 % | c | 475 | 10608 71663 244692 | 31794 473 18 | 12.098 % | c | 813 | 10608 71663 244692 | 34973 811 17 | 12.098 % | c | 1320 | 10578 71663 244692 | 38471 1254 19 | 12.347 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 11852 71980 247763 | 23993 0 nan | 0.000 % | c | 100 | 11852 71980 247763 | 26392 100 64 | 10.273 % | c | 250 | 11851 71980 247763 | 29031 249 34 | 10.281 % | c | 475 | 11846 71980 247763 | 31935 469 26 | 10.319 % | c | 812 | 11840 71980 247763 | 35128 801 22 | 10.364 % | c | 1318 | 11814 71980 247763 | 38641 1255 21 | 10.614 % | c | 2077 | 11776 71980 247763 | 42505 1822 24 | 10.849 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 12575 72229 249690 | 24076 0 nan | 0.000 % | c | 101 | 12575 72229 249690 | 26483 101 12 | 9.363 % | c | 251 | 12575 72229 249690 | 29132 251 13 | 9.363 % | c | 477 | 12564 72229 249690 | 32045 476 15 | 9.442 % | c | 814 | 12564 72229 249690 | 35250 813 13 | 9.442 % | c | 1320 | 12564 72229 249690 | 38775 1319 16 | 9.442 % | c | 2080 | 12564 72229 249690 | 42652 2079 20 | 9.442 % | c | 3219 | 12564 72229 249690 | 46917 3218 26 | 9.442 % | c | 4928 | 12407 72229 249690 | 51609 3292 27 | 10.747 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 13611 72552 252478 | 24184 0 nan | 0.000 % | c | 100 | 13611 72552 252478 | 26602 100 26 | 8.350 % | c | 252 | 13607 72552 252478 | 29262 252 17 | 8.397 % | c | 477 | 13607 72552 252478 | 32188 477 14 | 8.397 % | c | 815 | 13604 72552 252478 | 35407 814 15 | 8.397 % | c | 1323 | 13593 72552 252478 | 38948 1320 18 | 8.700 % | c | 2082 | 13542 72552 252478 | 42843 1830 20 | 8.861 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 13890 72775 253508 | 24258 0 nan | 0.000 % | c | 102 | 13890 72775 253508 | 26684 102 21 | 7.738 % | c | 252 | 13890 72775 253508 | 29352 252 15 | 7.738 % | c | 477 | 13890 72775 253508 | 32287 477 15 | 7.738 % | c | 815 | 13888 72775 253508 | 35516 814 16 | 7.752 % | c | 1321 | 13887 72775 253508 | 39068 1313 19 | 7.758 % | c | 2080 | 13868 72775 253508 | 42975 2072 22 | 8.854 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 14107 72981 254322 | 24327 0 nan | 0.000 % | c | 100 | 14107 72981 254322 | 26759 100 15 | 7.526 % | c | 251 | 14107 72981 254322 | 29435 251 14 | 7.526 % | c | 476 | 14106 72981 254322 | 32379 475 13 | 7.526 % | c | 816 | 14106 72981 254322 | 35617 815 12 | 7.526 % | c | 1322 | 14106 72981 254322 | 39178 1321 14 | 7.526 % | c | 2081 | 14031 72981 254322 | 43096 2076 17 | 8.018 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 14292 73180 255117 | 24393 0 nan | 0.000 % | c | 100 | 14292 73180 255117 | 26832 100 34 | 7.339 % | c | 250 | 14292 73180 255117 | 29515 250 23 | 7.339 % | c | 475 | 14292 73180 255117 | 32467 475 17 | 7.339 % | c | 814 | 14292 73180 255117 | 35714 814 15 | 7.339 % | c | 1320 | 14292 73180 255117 | 39285 1320 15 | 7.339 % | c | 2081 | 14254 73180 255117 | 43214 1919 15 | 7.586 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 14451 73293 255680 | 24431 0 nan | 0.000 % | c | 103 | 14450 73293 255680 | 26874 103 25 | 7.100 % | c | 253 | 14450 73293 255680 | 29561 253 17 | 7.100 % | c | 478 | 14445 73293 255680 | 32517 477 15 | 7.100 % | c | 816 | 14444 73293 255680 | 35769 815 15 | 7.582 % | c | 1322 | 14345 73293 255680 | 39346 1033 14 | 7.743 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 14497 73367 255941 | 24455 0 nan | 0.000 % | c | 100 | 14492 73367 255941 | 26901 100 11 | 7.531 % | c | 251 | 14490 73367 255941 | 29591 251 11 | 7.530 % | c | 478 | 14490 73367 255941 | 32550 478 13 | 7.530 % | c | 817 | 14416 73367 255941 | 35805 811 14 | 7.530 % | c | 1324 | 14338 73367 255941 | 39386 1317 16 | 8.037 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 14588 73457 256330 | 24485 0 nan | 0.000 % | c | 100 | 14587 73457 256330 | 26934 100 21 | 6.923 % | c | 251 | 14577 73457 256330 | 29627 251 15 | 7.013 % | c | 476 | 14572 73457 256330 | 32590 470 14 | 7.019 % | c | 813 | 14572 73457 256330 | 35849 807 14 | 7.019 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 14676 73554 256665 | 24518 0 nan | 0.000 % | c | 100 | 14675 73554 256665 | 26969 100 46 | 6.881 % | c | 251 | 14670 73554 256665 | 29666 250 31 | 6.881 % | c | 476 | 14670 73554 256665 | 32633 475 23 | 6.881 % | c | 814 | 14670 73554 256665 | 35896 813 19 | 6.881 % | c | 1320 | 14643 73554 256665 | 39486 1210 18 | 7.052 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 14956 73622 257382 | 24540 0 nan | 0.000 % | c | 100 | 14956 73622 257382 | 26994 100 22 | 6.618 % | c | 251 | 14956 73622 257382 | 29694 251 15 | 6.618 % | c | 478 | 14956 73622 257382 | 32663 478 13 | 6.618 % | c | 816 | 14931 73622 257382 | 35929 815 15 | 6.781 % | c | 1322 | 14896 73622 257382 | 39522 854 13 | 6.993 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 15008 73685 257667 | 24561 0 nan | 0.000 % | c | 100 | 15007 73685 257667 | 27017 100 10 | 6.586 % | c | 250 | 15007 73685 257667 | 29719 250 10 | 6.586 % | c | 476 | 15007 73685 257667 | 32691 476 12 | 6.586 % | c | 814 | 15006 73685 257667 | 35960 813 12 | 6.586 % | c | 1320 | 14970 73685 257667 | 39556 1319 15 | 6.823 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 15082 73747 257943 | 24582 0 nan | 0.000 % | c | 101 | 15082 73747 257943 | 27040 101 14 | 6.503 % | c | 251 | 15082 73747 257943 | 29744 251 16 | 6.503 % | c | 477 | 15082 73747 257943 | 32719 477 19 | 6.503 % | c | 814 | 15064 73747 257943 | 35990 813 18 | 6.757 % | c | 1321 | 15061 73747 257943 | 39590 1320 20 | 6.757 % | c | 2081 | 14109 73747 257943 | 43549 1106 20 | 30.184 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 15162 73754 258130 | 24584 0 nan | 0.000 % | c | 100 | 15160 73754 258130 | 27043 100 24 | 6.456 % | c | 250 | 15160 73754 258130 | 29747 250 19 | 6.456 % | c | 476 | 15156 73754 258130 | 32722 475 19 | 6.456 % | c | 814 | 15142 73754 258130 | 35994 812 18 | 6.740 % | c | 1322 | 15019 73754 258130 | 39593 1320 23 | 7.431 % | c | 2082 | 14450 73754 258130 | 43553 1787 31 | 16.004 % | c | 3221 | 13590 73754 258130 | 47908 2417 46 | 29.601 % | c | 4932 | 11403 73754 258130 | 52699 3693 51 | 30.410 % | c | 7496 | 11265 73754 258130 | 57969 6253 53 | 30.472 % | c | 11342 | 11265 73754 258130 | 63766 10099 57 | 30.472 % | c | 17110 | 11265 73754 258130 | 70142 15867 56 | 30.472 % | c | 25764 | 11265 73754 258130 | 77157 24521 56 | 30.472 % | c | 38738 | 11265 73754 258130 | 84872 37495 58 | 30.472 % | c | 58200 | 11265 73754 258130 | 93360 56957 62 | 30.472 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 15312 73782 258418 | 24594 0 nan | 0.000 % | c | 100 | 15312 73782 258418 | 27053 100 69 | 6.291 % | c | 251 | 15312 73782 258418 | 29758 251 36 | 6.291 % | c | 478 | 15287 73782 258418 | 32734 390 26 | 6.444 % | c | 815 | 15234 73782 258418 | 36008 727 18 | 6.781 % | c | 1322 | 14590 73782 258418 | 39608 1003 22 | 10.710 % | c | 2082 | 14522 73782 258418 | 43569 1761 34 | 30.214 % | c | 3221 | 11403 73782 258418 | 47926 2167 55 | 30.214 % | c | 4930 | 11392 73782 258418 | 52719 3875 68 | 30.282 % | c | 7494 | 11392 73782 258418 | 57991 6439 78 | 30.282 % | c | 11338 | 11352 73782 258418 | 63790 10280 81 | 30.526 % | c | 17107 | 11352 73782 258418 | 70169 16049 79 | 30.526 % | c | 25757 | 11352 73782 258418 | 77186 24699 75 | 30.526 % | c | 38732 | 11348 73782 258418 | 84905 37673 76 | 30.551 % | c | 58193 | 11341 73782 258418 | 93395 57133 81 | 30.594 % | c | 87386 | 11322 73782 258418 | 102735 86323 85 | 30.710 % | c | 131175 | 11322 73782 258418 | 113008 36772 83 | 30.710 % | c | 196859 | 11310 73782 258418 | 124309 102455 88 | 30.783 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 15421 73794 258685 | 24598 0 nan | 0.000 % | c | 100 | 15421 73794 258685 | 27057 100 52 | 6.204 % | c | 251 | 15420 73794 258685 | 29763 250 30 | 6.210 % | c | 477 | 15420 73794 258685 | 32739 476 22 | 6.210 % | c | 814 | 15420 73794 258685 | 36013 813 18 | 6.210 % | c | 1324 | 15054 73794 258685 | 39615 1321 17 | 10.128 % | c | 2084 | 14622 73794 258685 | 43576 1827 38 | 11.989 % | c | 3226 | 14294 73794 258685 | 47934 2891 64 | 29.761 % | c | 4934 | 11548 73794 258685 | 52727 3642 94 | 29.761 % | c | 7501 | 11548 73794 258685 | 58000 6209 94 | 29.761 % | c | 11347 | 11548 73794 258685 | 63800 10055 87 | 29.761 % | c | 17117 | 11540 73794 258685 | 70180 15824 91 | 29.810 % | c | 25767 | 11540 73794 258685 | 77199 24474 96 | 29.810 % | c | 38741 | 11540 73794 258685 | 84918 37448 97 | 29.810 % | c | 58202 | 11533 73794 258685 | 93410 56908 102 | 29.852 % | c | 87394 | 11533 73794 258685 | 102751 86099 106 | 29.852 % | c | 131183 | 11512 73794 258685 | 113027 36949 87 | 29.980 % | c | 196867 | 11512 73794 258685 | 124329 102633 89 | 29.980 % | c | 295394 | 11451 73794 258685 | 136762 85736 93 | 30.351 % | c Memory used : 256.81 MB c CPU time : 1800 s c c Total CPU time: 1800 s