c wbo 1.4 beta - 20100610 c | Number of variables: 500 | c | Number of clauses: 62304 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.03 s | c | Number Variables: 500 | c | Number Clauses: 61804 | 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 | 500 61804 123608 | 20601 0 nan | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s c =============================================================================== c | 0 | 500 61805 124108 | 20601 0 nan | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 0.263959 s Remaining CPU time: 179.736 s c =============================================================================== c | 43 | 500 61806 124608 | 20602 43 476 | 0.000 % | c | 144 | 500 61806 124608 | 22662 144 474 | 0.130 % | c | 294 | 500 61806 124608 | 24928 294 474 | 0.086 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s c =============================================================================== c | 324 | 500 61807 125108 | 20602 324 474 | 0.086 % | c | 424 | 500 61807 125108 | 22662 424 474 | 0.058 % | c | 575 | 500 61807 125108 | 24928 575 473 | 0.058 % | c | 800 | 500 61807 125108 | 27421 800 473 | 0.111 % | c | 1137 | 500 61807 125108 | 30163 1137 473 | 0.112 % | c | 1644 | 500 61807 125108 | 33180 1644 473 | 0.065 % | c | 2403 | 500 61807 125108 | 36498 2403 472 | 0.078 % | c | 3543 | 500 61807 125108 | 40148 3543 472 | 0.075 % | c | 5252 | 500 61807 125108 | 44162 5252 472 | 0.078 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 2.52562 s Remaining CPU time: 177.474 s c =============================================================================== c | 5753 | 500 61808 125608 | 20602 5753 472 | 0.078 % | c | 5853 | 500 61808 125608 | 22662 5853 472 | 0.068 % | c | 6004 | 500 61808 125608 | 24929 6004 472 | 0.130 % | c | 6230 | 500 61808 125608 | 27422 6230 472 | 0.081 % | c | 6568 | 500 61808 125608 | 30164 6568 472 | 0.119 % | c | 7074 | 500 61808 125608 | 33180 7074 472 | 0.132 % | c | 7833 | 500 61808 125608 | 36498 7833 472 | 0.113 % | c | 8972 | 500 61808 125608 | 40148 8972 471 | 0.127 % | c | 10680 | 500 61808 125608 | 44163 10680 471 | 0.112 % | c | 13242 | 500 61808 125608 | 48580 13242 471 | 0.130 % | c | 17087 | 500 61808 125608 | 53438 17087 471 | 0.102 % | c | 22855 | 500 61808 125608 | 58781 22855 471 | 0.114 % | c | 31504 | 500 61808 125608 | 64659 31504 471 | 0.153 % | c | 44478 | 500 61808 125608 | 71125 44478 471 | 0.133 % | c There are 0 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1008 62550 127624 | 20850 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1014 62551 127636 | 20850 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1020 62552 127648 | 20850 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1026 62553 127660 | 20851 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1032 62554 127672 | 20851 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1038 62555 127684 | 20851 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1044 62556 127696 | 20852 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1050 62557 127708 | 20852 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1054 62558 127716 | 20852 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1060 62559 127728 | 20853 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1066 62560 127740 | 20853 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1072 62561 127752 | 20853 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1078 62562 127764 | 20854 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1084 62563 127776 | 20854 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1090 62564 127788 | 20854 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1096 62565 127800 | 20855 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1100 62566 127808 | 20855 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1104 62567 127816 | 20855 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1110 62568 127828 | 20856 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1116 62569 127840 | 20856 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1122 62570 127852 | 20856 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1128 62571 127864 | 20857 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1134 62572 127876 | 20857 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1140 62573 127888 | 20857 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1146 62574 127900 | 20858 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1152 62575 127912 | 20858 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1158 62576 127924 | 20858 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1164 62577 127936 | 20859 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1170 62578 127948 | 20859 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1176 62579 127960 | 20859 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1182 62580 127972 | 20860 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1188 62581 127984 | 20860 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1194 62582 127996 | 20860 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1200 62583 128008 | 20861 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1206 62584 128020 | 20861 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1211 62585 128030 | 20861 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1216 62586 128040 | 20862 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1221 62587 128050 | 20862 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1226 62588 128060 | 20862 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1231 62589 128070 | 20863 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1237 62590 128082 | 20863 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1243 62591 128094 | 20863 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1249 62592 128106 | 20864 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1255 62593 128118 | 20864 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1261 62594 128130 | 20864 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1267 62595 128142 | 20865 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1273 62596 128154 | 20865 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1279 62597 128166 | 20865 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1285 62598 128178 | 20866 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1291 62599 128190 | 20866 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1297 62600 128202 | 20866 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1301 62601 128210 | 20867 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1307 62602 128222 | 20867 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1313 62603 128234 | 20867 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1319 62604 128246 | 20868 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1325 62605 128258 | 20868 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1331 62606 128270 | 20868 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1337 62607 128282 | 20869 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1343 62608 128294 | 20869 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1349 62609 128306 | 20869 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1353 62610 128314 | 20870 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1359 62611 128326 | 20870 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1365 62612 128338 | 20870 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1371 62613 128350 | 20871 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1377 62614 128362 | 20871 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1383 62615 128374 | 20871 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1389 62616 128386 | 20872 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1395 62617 128398 | 20872 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1401 62618 128410 | 20872 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1407 62619 128422 | 20873 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1413 62620 128434 | 20873 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1419 62621 128446 | 20873 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1425 62622 128458 | 20874 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1429 62623 128466 | 20874 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1435 62624 128478 | 20874 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1440 62625 128488 | 20875 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1446 62626 128500 | 20875 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1452 62627 128512 | 20875 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1458 62628 128524 | 20876 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1464 62629 128536 | 20876 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1470 62630 128548 | 20876 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1476 62631 128560 | 20877 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1484 62632 128576 | 20877 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1492 62633 128592 | 20877 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1501 62634 128610 | 20878 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1509 62635 128626 | 20878 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1530 62636 128668 | 20878 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1547 62637 128702 | 20879 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1569 62638 128746 | 20879 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1583 62639 128774 | 20879 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1612 62640 128832 | 20880 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1626 62641 128860 | 20880 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1649 62642 128906 | 20880 0 nan | 0.000 % | c | 100 | 1649 62642 128906 | 22968 100 10 | 0.007 % | c | 254 | 1646 62642 128906 | 25265 254 11 | 0.182 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1672 62643 128952 | 20881 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1695 62644 128998 | 20881 0 nan | 0.000 % | c | 101 | 1694 62644 128998 | 22969 101 13 | 0.069 % | c | 251 | 1692 62644 128998 | 25266 251 17 | 0.177 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1711 62645 129030 | 20881 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1729 62646 129066 | 20882 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1745 62647 129098 | 20882 0 nan | 0.000 % | c | 101 | 1740 62647 129098 | 22970 101 13 | 0.356 % | c | 252 | 1733 62647 129098 | 25267 252 15 | 0.745 % | c | 477 | 1730 62647 129098 | 27794 477 16 | 0.918 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1776 62648 129160 | 20882 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1794 62649 129196 | 20883 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1816 62650 129240 | 20883 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1834 62651 129276 | 20883 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1844 62652 129296 | 20884 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1868 62653 129344 | 20884 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1891 62654 129390 | 20884 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1912 62655 129432 | 20885 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1932 62656 129472 | 20885 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1950 62657 129508 | 20885 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1980 62658 129568 | 20886 0 nan | 0.000 % | c | 101 | 1980 62658 129568 | 22974 101 9 | 0.101 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2008 62659 129624 | 20886 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2028 62660 129664 | 20886 0 nan | 0.000 % | c | 100 | 2027 62660 129664 | 22975 100 348 | 0.049 % | c | 250 | 2027 62660 129664 | 25272 250 419 | 0.059 % | c | 476 | 1682 62660 129664 | 27800 476 429 | 17.754 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2052 62661 129712 | 20887 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2070 62662 129748 | 20887 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2088 62663 129784 | 20887 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2116 62664 129840 | 20888 0 nan | 0.000 % | c | 103 | 2116 62664 129840 | 22976 103 14 | 0.008 % | c | 253 | 2115 62664 129840 | 25274 253 16 | 0.047 % | c | 478 | 2115 62664 129840 | 27801 478 17 | 0.050 % | c | 816 | 2113 62664 129840 | 30582 816 18 | 0.142 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2143 62665 129894 | 20888 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2173 62666 129954 | 20888 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2197 62667 130002 | 20889 0 nan | 0.000 % | c | 101 | 2197 62667 130002 | 22977 101 12 | 0.007 % | c | 251 | 2196 62667 130002 | 25275 251 12 | 0.091 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2231 62668 130070 | 20889 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2255 62669 130118 | 20889 0 nan | 0.000 % | c | 100 | 2255 62669 130118 | 22978 100 25 | 0.004 % | c | 250 | 2255 62669 130118 | 25276 250 22 | 0.000 % | c | 475 | 2255 62669 130118 | 27804 475 26 | 0.000 % | c | 814 | 2255 62669 130118 | 30584 814 27 | 0.006 % | c | 1320 | 2255 62669 130118 | 33643 1320 27 | 0.005 % | c | 2079 | 2254 62669 130118 | 37007 2079 29 | 0.047 % | c | 3220 | 2253 62669 130118 | 40708 3220 29 | 0.089 % | c | 4929 | 2249 62669 130118 | 44778 4926 30 | 0.266 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2295 62670 130198 | 20890 0 nan | 0.000 % | c | 100 | 2295 62670 130198 | 22979 100 196 | 0.004 % | c | 250 | 2295 62670 130198 | 25276 250 358 | 0.006 % | c | 475 | 2295 62670 130198 | 27804 475 409 | 0.006 % | c | 814 | 2295 62670 130198 | 30585 814 432 | 0.007 % | c | 1320 | 2295 62670 130198 | 33643 1320 444 | 0.004 % | c | 2079 | 2295 62670 130198 | 37007 2079 450 | 0.005 % | c | 3218 | 2295 62670 130198 | 40708 3218 453 | 0.008 % | c | 4928 | 2294 62670 130198 | 44779 4928 455 | 0.050 % | c | 7490 | 2289 62670 130198 | 49257 7490 456 | 0.313 % | c | 11334 | 1880 62670 130198 | 54183 11334 457 | 18.432 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2311 62671 130230 | 20890 0 nan | 0.000 % | c | 100 | 2311 62671 130230 | 22979 100 229 | 0.004 % | c | 250 | 2311 62671 130230 | 25277 250 371 | 0.005 % | c | 475 | 2311 62671 130230 | 27805 475 415 | 0.003 % | c | 815 | 2311 62671 130230 | 30585 815 436 | 0.006 % | c | 1322 | 2311 62671 130230 | 33644 1322 447 | 0.004 % | c | 2081 | 2311 62671 130230 | 37008 2081 453 | 0.007 % | c | 3221 | 2311 62671 130230 | 40709 3221 456 | 0.003 % | c | 4930 | 2311 62671 130230 | 44780 4930 458 | 0.006 % | c | 7492 | 2311 62671 130230 | 49258 7492 458 | 0.003 % | c | 11336 | 2311 62671 130230 | 54184 11336 458 | 0.006 % | c | 17102 | 2311 62671 130230 | 59602 17102 458 | 0.004 % | c | 25751 | 2307 62671 130230 | 65562 25737 456 | 0.178 % | c | 38725 | 1928 62671 130230 | 72119 38711 457 | 16.661 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2353 62672 130314 | 20890 0 nan | 0.000 % | c | 100 | 2353 62672 130314 | 22979 100 27 | 0.004 % | c | 252 | 2353 62672 130314 | 25277 252 28 | 0.003 % | c | 477 | 2351 62672 130314 | 27805 477 33 | 0.085 % | c | 814 | 2351 62672 130314 | 30586 814 32 | 0.085 % | c | 1321 | 2351 62672 130314 | 33644 1321 33 | 0.085 % | c | 2083 | 2351 62672 130314 | 37009 2083 37 | 0.085 % | c | 3222 | 2351 62672 130314 | 40709 3222 38 | 0.088 % | c | 4931 | 2351 62672 130314 | 44780 4929 39 | 0.085 % | c | 7493 | 2351 62672 130314 | 49259 7491 40 | 0.085 % | c | 11339 | 2350 62672 130314 | 54185 11337 40 | 0.128 % | c | 17111 | 2350 62672 130314 | 59603 17104 42 | 0.128 % | c | 25760 | 2349 62672 130314 | 65563 25753 44 | 0.174 % | c | 38741 | 2341 62672 130314 | 72120 37504 46 | 0.513 % | c | 58206 | 2338 62672 130314 | 79332 56969 175 | 0.638 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2407 62673 130422 | 20891 0 nan | 0.000 % | c | 100 | 2407 62673 130422 | 22980 100 31 | 0.003 % | c | 253 | 2407 62673 130422 | 25278 253 26 | 0.000 % | c | 480 | 2407 62673 130422 | 27805 480 31 | 0.000 % | c | 819 | 2407 62673 130422 | 30586 819 32 | 0.000 % | c | 1326 | 2407 62673 130422 | 33645 1326 37 | 0.000 % | c | 2085 | 2407 62673 130422 | 37009 2085 41 | 0.000 % | c | 3224 | 2407 62673 130422 | 40710 3224 42 | 0.000 % | c | 4932 | 2407 62673 130422 | 44781 4932 43 | 0.004 % | c | 7496 | 2407 62673 130422 | 49259 7496 44 | 0.000 % | c | 11341 | 2407 62673 130422 | 54185 11341 46 | 0.004 % | c | 17114 | 2407 62673 130422 | 59604 17114 51 | 0.000 % | c | 25763 | 2406 62673 130422 | 65564 25761 52 | 0.044 % | c | 38739 | 2406 62673 130422 | 72121 38737 63 | 0.045 % | c | 58200 | 2406 62673 130422 | 79333 58198 139 | 0.042 % | c | 87392 | 2405 62673 130422 | 87266 19668 461 | 0.088 % | c | 131181 | 2405 62673 130422 | 95993 63457 462 | 0.089 % | c | 196865 | 2397 62673 130422 | 105592 45067 458 | 0.421 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2516 62674 130640 | 20891 0 nan | 0.000 % | c | 100 | 2516 62674 130640 | 22980 100 10 | 0.003 % | c | 251 | 2516 62674 130640 | 25278 251 250 | 0.000 % | c | 476 | 2516 62674 130640 | 27806 476 350 | 0.005 % | c | 813 | 2516 62674 130640 | 30587 813 397 | 0.003 % | c | 1319 | 2516 62674 130640 | 33645 1319 423 | 0.004 % | c | 2078 | 2516 62674 130640 | 37010 2078 436 | 0.004 % | c | 3217 | 2516 62674 130640 | 40711 3217 439 | 0.004 % | c | 4926 | 2516 62674 130640 | 44782 4926 447 | 0.003 % | c | 7488 | 2516 62674 130640 | 49260 7488 452 | 0.003 % | c | 11332 | 2516 62674 130640 | 54186 11332 455 | 0.002 % | c | 17098 | 2516 62674 130640 | 59605 17098 457 | 0.004 % | c | 25747 | 2515 62674 130640 | 65565 25741 456 | 0.042 % | c | 38721 | 2514 62674 130640 | 72122 38715 458 | 0.085 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2570 62675 130748 | 20891 0 nan | 0.000 % | c | 101 | 2570 62675 130748 | 22980 101 17 | 0.003 % | c | 252 | 2570 62675 130748 | 25278 252 208 | 0.000 % | c | 478 | 2570 62675 130748 | 27806 478 330 | 0.002 % | c | 815 | 2570 62675 130748 | 30587 815 386 | 0.006 % | c | 1321 | 2570 62675 130748 | 33646 1321 415 | 0.005 % | c | 2080 | 2570 62675 130748 | 37010 2080 432 | 0.004 % | c | 3219 | 2570 62675 130748 | 40711 3219 443 | 0.004 % | c | 4928 | 2570 62675 130748 | 44783 4928 448 | 0.005 % | c | 7491 | 2570 62675 130748 | 49261 7491 452 | 0.003 % | c | 11335 | 2570 62675 130748 | 54187 11335 454 | 0.003 % | c | 17102 | 2570 62675 130748 | 59606 17102 456 | 0.004 % | c | 25753 | 2570 62675 130748 | 65566 25753 456 | 0.002 % | c | 38728 | 2569 62675 130748 | 72123 38710 456 | 0.041 % | c | 58189 | 2568 62675 130748 | 79336 58171 456 | 0.082 % |