c wbo 1.6 beta - 20110325 c | Number of variables: 240 | c | Number of clauses: 1266 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 240 | c | Number Clauses: 1026 | 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 | 234 1026 3644 | 5000 0 -nan | 0.000 % | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 311 1263 2657 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 321 1264 2749 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 335 1265 2843 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 362 1270 3055 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 372 1272 3150 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 384 1275 3248 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 399 1277 3385 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 426 1279 3588 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 439 1288 3707 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 453 1294 3810 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 481 1300 4031 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 493 1309 4154 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 557 1313 4445 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 592 1319 4610 | 5000 0 -nan | 0.000 % | c | 100 | 591 1319 4610 | 5500 100 7 | 2.153 % | c | 251 | 591 1319 4610 | 6050 251 9 | 2.153 % | c | 478 | 565 1319 4610 | 6655 478 8 | 6.623 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 657 1345 4848 | 5000 0 -nan | 0.000 % | c | 100 | 657 1345 4848 | 5500 100 22 | 1.203 % | c | 251 | 656 1345 4848 | 6050 251 19 | 1.354 % | c | 481 | 655 1345 4848 | 6655 481 18 | 1.504 % | c | 820 | 653 1345 4848 | 7320 820 17 | 1.805 % | c | 1327 | 646 1345 4848 | 8052 1327 17 | 2.857 % | c | 2086 | 637 1345 4848 | 8857 2086 19 | 4.211 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 739 1375 5079 | 5000 0 -nan | 0.000 % | c | 101 | 739 1375 5079 | 5500 101 21 | 1.335 % | c | 252 | 739 1375 5079 | 6050 252 16 | 1.336 % | c | 477 | 739 1375 5079 | 6655 477 17 | 1.336 % | c | 816 | 738 1375 5079 | 7320 816 17 | 1.603 % | c | 1322 | 737 1375 5079 | 8052 1322 20 | 1.602 % | c | 2082 | 736 1375 5079 | 8857 2082 20 | 1.736 % | c | 3223 | 727 1375 5079 | 9743 3223 22 | 3.605 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 832 1409 5382 | 5000 0 -nan | 0.000 % | c | 100 | 830 1409 5382 | 5500 100 17 | 1.427 % | c | 250 | 829 1409 5382 | 6050 250 17 | 1.544 % | c | 475 | 829 1409 5382 | 6655 475 21 | 1.545 % | c | 813 | 828 1409 5382 | 7320 813 25 | 1.663 % | c | 1320 | 828 1409 5382 | 8052 1320 26 | 1.663 % | c | 2079 | 828 1409 5382 | 8857 2079 27 | 1.663 % | c | 3221 | 827 1409 5382 | 9743 3221 27 | 1.900 % | c | 4932 | 821 1409 5382 | 10717 4932 28 | 4.514 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 966 1471 5807 | 5000 0 -nan | 0.000 % | c | 101 | 966 1471 5807 | 5500 101 40 | 1.025 % | c | 251 | 966 1471 5807 | 6050 251 30 | 1.025 % | c | 476 | 966 1471 5807 | 6655 476 29 | 1.025 % | c | 813 | 966 1471 5807 | 7320 813 32 | 1.025 % | c | 1321 | 966 1471 5807 | 8052 1321 31 | 1.025 % | c | 2081 | 965 1471 5807 | 8857 2081 31 | 1.127 % | c | 3220 | 964 1471 5807 | 9743 3220 32 | 1.230 % | c | 4928 | 962 1471 5807 | 10717 4928 33 | 1.435 % | c | 7490 | 961 1471 5807 | 11789 7490 35 | 1.537 % | c | 11334 | 959 1471 5807 | 12968 11334 34 | 1.845 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1117 1542 6288 | 5000 0 -nan | 0.000 % | c | 100 | 1117 1542 6288 | 5500 100 36 | 0.887 % | c | 252 | 1117 1542 6288 | 6050 252 22 | 0.887 % | c | 479 | 1117 1542 6288 | 6655 479 23 | 0.887 % | c | 817 | 1117 1542 6288 | 7320 817 26 | 0.887 % | c | 1323 | 1117 1542 6288 | 8052 1323 31 | 0.887 % | c | 2082 | 1117 1542 6288 | 8857 2082 35 | 0.887 % | c | 3222 | 1117 1542 6288 | 9743 3222 38 | 0.887 % | c | 4932 | 1117 1542 6288 | 10717 4932 39 | 0.887 % | c | 7496 | 1117 1542 6288 | 11789 7496 40 | 0.887 % | c | 11340 | 1115 1542 6288 | 12968 11340 36 | 1.065 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1296 1677 6990 | 5000 0 -nan | 0.000 % | c | 101 | 1295 1677 6990 | 5500 101 10 | 0.842 % | c | 252 | 1295 1677 6990 | 6050 252 13 | 0.843 % | c | 481 | 1295 1677 6990 | 6655 481 17 | 0.843 % | c | 818 | 1295 1677 6990 | 7320 818 16 | 0.843 % | c | 1331 | 1295 1677 6990 | 8052 1331 20 | 0.843 % | c | 2092 | 1295 1677 6990 | 8857 2092 24 | 0.842 % | c | 3231 | 1295 1677 6990 | 9743 3231 26 | 0.842 % | c | 4939 | 1295 1677 6990 | 10717 4939 26 | 0.842 % | c | 7501 | 1294 1677 6990 | 11789 7501 25 | 0.919 % | c | 11346 | 1292 1677 6990 | 12968 11346 24 | 1.072 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1412 1809 7567 | 5000 0 -nan | 0.000 % | c | 101 | 1412 1809 7567 | 5500 101 21 | 0.703 % | c | 251 | 1412 1809 7567 | 6050 251 26 | 0.704 % | c | 478 | 1412 1809 7567 | 6655 478 24 | 0.703 % | c | 815 | 1412 1809 7567 | 7320 815 24 | 0.703 % | c | 1321 | 1412 1809 7567 | 8052 1321 24 | 0.703 % | c | 2081 | 1412 1809 7567 | 8857 2081 26 | 0.704 % | c | 3220 | 1412 1809 7567 | 9743 3220 28 | 0.703 % | c | 4933 | 1412 1809 7567 | 10717 4933 27 | 0.703 % | c | 7497 | 1412 1809 7567 | 11789 7497 29 | 0.703 % | c | 11342 | 1412 1809 7567 | 12968 11342 29 | 0.703 % | c | 17110 | 1411 1809 7567 | 14265 10591 25 | 0.774 % | c | 25761 | 1411 1809 7567 | 15692 12080 23 | 0.774 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1523 1946 8135 | 5000 0 -nan | 0.000 % | c | 100 | 1523 1946 8135 | 5500 100 35 | 0.717 % | c | 250 | 1523 1946 8135 | 6050 250 21 | 0.717 % | c | 475 | 1523 1946 8135 | 6655 475 16 | 0.717 % | c | 813 | 1523 1946 8135 | 7320 813 15 | 0.717 % | c | 1319 | 1523 1946 8135 | 8052 1319 14 | 0.717 % | c | 2080 | 1523 1946 8135 | 8857 2080 18 | 0.717 % | c | 3221 | 1523 1946 8135 | 9743 3221 17 | 0.717 % | c | 4929 | 1523 1946 8135 | 10717 4929 16 | 0.717 % | c | 7492 | 1523 1946 8135 | 11789 7492 15 | 0.717 % | c | 11336 | 1522 1946 8135 | 12968 11336 15 | 0.783 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1567 2012 8391 | 5000 0 -nan | 0.000 % | c | 101 | 1567 2012 8391 | 5500 101 47 | 0.697 % | c | 252 | 1567 2012 8391 | 6050 252 28 | 0.697 % | c | 477 | 1567 2012 8391 | 6655 477 22 | 0.697 % | c | 814 | 1567 2012 8391 | 7320 814 18 | 0.697 % | c | 1320 | 1567 2012 8391 | 8052 1320 17 | 0.697 % | c | 2081 | 1567 2012 8391 | 8857 2081 17 | 0.697 % | c | 3221 | 1567 2012 8391 | 9743 3221 36 | 0.697 % | c | 4930 | 1567 2012 8391 | 10717 4930 40 | 0.697 % | c | 7492 | 1567 2012 8391 | 11789 7492 43 | 0.697 % | c | 11338 | 1567 2012 8391 | 12968 11338 48 | 0.697 % | c | 17105 | 1566 2012 8391 | 14265 10595 33 | 0.761 % | c | 25758 | 1566 2012 8391 | 15692 11897 38 | 0.761 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1608 2149 8834 | 5000 0 -nan | 0.000 % | c | 100 | 1608 2149 8834 | 5500 100 64 | 0.863 % | c | 252 | 1608 2149 8834 | 6050 252 34 | 0.863 % | c | 477 | 1608 2149 8834 | 6655 477 23 | 0.864 % | c | 817 | 1608 2149 8834 | 7320 817 21 | 0.863 % | c | 1323 | 1608 2149 8834 | 8052 1323 22 | 0.863 % | c | 2082 | 1607 2149 8834 | 8857 2082 18 | 0.987 % | c | 3222 | 1603 2149 8834 | 9743 3222 18 | 1.171 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1621 2248 9133 | 5000 0 -nan | 0.000 % | c | 100 | 1621 2248 9133 | 5500 100 16 | 1.159 % | c | 252 | 1621 2248 9133 | 6050 252 19 | 1.159 % | c | 477 | 1621 2248 9133 | 6655 477 31 | 1.159 % | c | 817 | 1621 2248 9133 | 7320 817 39 | 1.159 % | c | 1325 | 1621 2248 9133 | 8052 1325 45 | 1.159 % | c | 2084 | 1621 2248 9133 | 8857 2084 48 | 1.159 % | c | 3224 | 1621 2248 9133 | 9743 3224 52 | 1.159 % | c | 4937 | 1620 2248 9133 | 10717 4937 57 | 1.220 % | c | 7499 | 1620 2248 9133 | 11789 7499 61 | 1.220 % | c | 11344 | 1620 2248 9133 | 12968 11344 66 | 1.220 % | c | 17110 | 1620 2248 9133 | 14265 10387 75 | 1.220 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1654 2288 9306 | 5000 0 -nan | 0.000 % | c | 102 | 1645 2288 9306 | 5500 102 8 | 1.853 % | c | 252 | 1643 2288 9306 | 6050 252 21 | 1.852 % | c | 477 | 1643 2288 9306 | 6655 477 34 | 1.852 % | c | 814 | 1643 2288 9306 | 7320 814 41 | 1.852 % | c | 1322 | 1643 2288 9306 | 8052 1322 56 | 1.852 % | c | 2081 | 1643 2288 9306 | 8857 2081 60 | 1.853 % | c | 3220 | 1643 2288 9306 | 9743 3220 73 | 1.852 % | c | 4931 | 1634 2288 9306 | 10717 4931 72 | 2.390 % | c | 7493 | 1634 2288 9306 | 11789 7493 74 | 2.390 % | c | 11337 | 1634 2288 9306 | 12968 11337 72 | 2.390 % | c | 17104 | 1634 2288 9306 | 14265 10436 82 | 2.390 % | c | 25755 | 1634 2288 9306 | 15692 11821 83 | 2.390 % | c | 38729 | 1634 2288 9306 | 17261 8696 70 | 2.390 % | c | 58192 | 1634 2288 9306 | 18987 10518 100 | 2.390 % | c | 87388 | 1614 2288 9306 | 20886 10450 85 | 3.586 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1626 2315 9384 | 5000 0 -nan | 0.000 % | c | 101 | 1597 2315 9384 | 5500 101 30 | 6.592 % | c | 251 | 1587 2315 9384 | 6050 251 46 | 6.592 % | c | 476 | 1587 2315 9384 | 6655 476 48 | 6.592 % | c | 814 | 1587 2315 9384 | 7320 814 52 | 6.592 % | c | 1320 | 1587 2315 9384 | 8052 1320 57 | 6.592 % | c | 2079 | 1587 2315 9384 | 8857 2079 61 | 6.592 % | c | 3219 | 1587 2315 9384 | 9743 3219 67 | 6.592 % | c | 4928 | 1587 2315 9384 | 10717 4928 73 | 6.592 % | c | 7491 | 1587 2315 9384 | 11789 7491 76 | 6.592 % | c | 11337 | 1587 2315 9384 | 12968 11337 79 | 6.592 % | c | 17106 | 1587 2315 9384 | 14265 10426 85 | 6.592 % | c | 25755 | 1487 2315 9384 | 15692 11744 87 | 12.478 % | c | 38729 | 1479 2315 9384 | 17261 8539 70 | 12.949 % | c | 58190 | 1479 2315 9384 | 18987 10357 88 | 12.949 % | c | 87382 | 1479 2315 9384 | 20886 10328 93 | 12.949 % | c | 131171 | 1475 2315 9384 | 22974 11336 95 | 13.184 % | c | 196856 | 1475 2315 9384 | 25272 18134 91 | 13.184 % | c | 295382 | 1475 2315 9384 | 27799 24735 95 | 13.184 % | c | 443172 | 1475 2315 9384 | 30579 19822 100 | 13.184 % | c | 664858 | 1475 2315 9384 | 33637 24535 108 | 13.184 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1511 2328 9456 | 5000 0 -nan | 0.000 % | c | 103 | 1511 2328 9456 | 5500 103 25 | 12.911 % | c | 256 | 1511 2328 9456 | 6050 256 28 | 12.911 % | c | 482 | 1511 2328 9456 | 6655 482 32 | 12.911 % | c | 823 | 1511 2328 9456 | 7320 823 34 | 12.911 % | c | 1330 | 1511 2328 9456 | 8052 1330 36 | 12.911 % | c | 2093 | 1511 2328 9456 | 8857 2093 36 | 12.911 % | c | 3232 | 1511 2328 9456 | 9743 3232 38 | 12.911 % | c | 4945 | 1511 2328 9456 | 10717 4945 58 | 12.911 % | c | 7510 | 1511 2328 9456 | 11789 7510 57 | 12.911 % | c | 11357 | 1511 2328 9456 | 12968 11357 61 | 12.911 % | c | 17125 | 1511 2328 9456 | 14265 10408 67 | 12.911 % | c | 25777 | 1511 2328 9456 | 15692 11665 64 | 12.911 % | c | 38753 | 1511 2328 9456 | 17261 8519 60 | 12.911 % | c | 58217 | 1511 2328 9456 | 18987 10265 72 | 12.911 % | c | 87415 | 1511 2328 9456 | 20886 10202 76 | 12.911 % | c | 131205 | 1511 2328 9456 | 22974 11266 65 | 12.911 % | c | 196891 | 1511 2328 9456 | 25272 18351 74 | 12.911 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1539 2330 9514 | 5000 0 -nan | 0.000 % | c | 103 | 1539 2330 9514 | 5500 103 25 | 12.706 % | c | 256 | 1539 2330 9514 | 6050 256 28 | 12.706 % | c | 483 | 1539 2330 9514 | 6655 483 33 | 12.706 % | c | 820 | 1539 2330 9514 | 7320 820 34 | 12.706 % | c | 1329 | 1539 2330 9514 | 8052 1329 35 | 12.706 % | c | 2096 | 1539 2330 9514 | 8857 2096 38 | 12.706 % | c | 3238 | 1539 2330 9514 | 9743 3238 39 | 12.706 % | c | 4948 | 1539 2330 9514 | 10717 4948 39 | 12.706 % | c | 7513 | 1531 2330 9514 | 11789 7513 50 | 13.159 % | c | 11362 | 1531 2330 9514 | 12968 11362 58 | 13.159 % | c | 17128 | 1531 2330 9514 | 14265 10419 81 | 13.159 % | c | 25777 | 1531 2330 9514 | 15692 11728 83 | 13.159 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1573 2332 9584 | 5000 0 -nan | 0.000 % | c | 103 | 1573 2332 9584 | 5500 103 31 | 12.465 % | c | 254 | 1573 2332 9584 | 6050 254 33 | 12.465 % | c | 480 | 1573 2332 9584 | 6655 480 37 | 12.465 % | c | 817 | 1573 2332 9584 | 7320 817 40 | 12.465 % | c | 1323 | 1573 2332 9584 | 8052 1323 46 | 12.465 % | c | 2082 | 1573 2332 9584 | 8857 2082 47 | 12.465 % | c | 3223 | 1573 2332 9584 | 9743 3223 51 | 12.465 % | c | 4932 | 1573 2332 9584 | 10717 4932 52 | 12.465 % | c | 7494 | 1573 2332 9584 | 11789 7494 52 | 12.465 % | c | 11340 | 1573 2332 9584 | 12968 11340 51 | 12.465 % | c | 17106 | 1573 2332 9584 | 14265 10380 49 | 12.465 % | c | 25755 | 1573 2332 9584 | 15692 11521 79 | 12.465 % | c | 38730 | 1573 2332 9584 | 17261 8364 115 | 12.465 % | c | 58192 | 1572 2332 9584 | 18987 10066 106 | 12.521 % | c | 87384 | 1572 2332 9584 | 20886 19545 124 | 12.521 % | c | 131180 | 1572 2332 9584 | 22974 20551 127 | 12.521 % | c | 196865 | 1572 2332 9584 | 25272 15956 104 | 12.521 % | c | 295394 | 1572 2332 9584 | 27799 21287 79 | 12.521 % | c | 443189 | 1572 2332 9584 | 30579 19525 92 | 12.521 % | c | 664873 | 1572 2332 9584 | 33637 27854 83 | 12.521 % | c CPU time : 1800 s c Total CPU time: 1800 s