c wbo 1.6 beta - 20110325 c | Number of variables: 150 | c | Number of clauses: 8643 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 150 | c | Number Clauses: 8493 | 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 | 150 8493 16986 | 5000 0 -nan | 0.000 % | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 300 8718 17436 | 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 | 306 8719 17448 | 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 | 310 8720 17456 | 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 | 316 8721 17468 | 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 | 320 8722 17476 | 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 | 324 8723 17484 | 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 | 330 8724 17496 | 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 | 336 8725 17508 | 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 | 340 8726 17516 | 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 | 346 8727 17528 | 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 | 350 8728 17536 | 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 | 356 8729 17548 | 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 | 360 8730 17556 | 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 | 366 8731 17568 | 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 8732 17580 | 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 | 378 8733 17592 | 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 | 382 8734 17600 | 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 | 388 8735 17612 | 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 | 394 8736 17624 | 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 | 398 8737 17632 | 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 | 402 8738 17640 | 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 | 406 8739 17648 | 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 | 412 8740 17660 | 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 | 416 8741 17668 | 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 | 422 8742 17680 | 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 | 428 8743 17692 | 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 | 432 8744 17700 | 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 | 438 8745 17712 | 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 | 442 8746 17720 | 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 | 448 8747 17732 | 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 | 456 8748 17748 | 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 | 470 8749 17776 | 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 | 488 8750 17812 | 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 | 508 8751 17852 | 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 | 522 8752 17880 | 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 | 532 8753 17900 | 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 | 544 8754 17924 | 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 | 554 8755 17944 | 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 | 564 8756 17964 | 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 | 582 8757 18000 | 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 8758 18020 | 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 | 608 8759 18052 | 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 | 630 8760 18096 | 5000 0 -nan | 0.000 % | c | 100 | 622 8760 18096 | 5500 100 7 | 1.274 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 658 8761 18152 | 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 | 670 8762 18176 | 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 | 696 8763 18228 | 5000 0 -nan | 0.000 % | c | 100 | 696 8763 18228 | 5500 100 11 | 0.029 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 722 8764 18280 | 5000 0 -nan | 0.000 % | c | 101 | 721 8764 18280 | 5500 101 13 | 0.139 % | c | 252 | 714 8764 18280 | 6050 252 13 | 1.134 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 770 8765 18376 | 5000 0 -nan | 0.000 % | c | 100 | 767 8765 18376 | 5500 100 9 | 0.390 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 792 8766 18420 | 5000 0 -nan | 0.000 % | c | 102 | 792 8766 18420 | 5500 102 22 | 0.019 % | c | 254 | 792 8766 18420 | 6050 254 20 | 0.000 % | c | 481 | 792 8766 18420 | 6655 481 23 | 0.000 % | c | 819 | 786 8766 18420 | 7320 819 25 | 1.010 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 842 8767 18520 | 5000 0 -nan | 0.000 % | c | 100 | 842 8767 18520 | 5500 100 26 | 0.017 % | c | 250 | 842 8767 18520 | 6050 250 20 | 0.000 % | c | 476 | 842 8767 18520 | 6655 476 29 | 0.000 % | c | 813 | 841 8767 18520 | 7320 813 32 | 0.134 % | c | 1319 | 839 8767 18520 | 8052 1319 34 | 0.373 % | c | 2080 | 839 8767 18520 | 8857 2080 35 | 0.491 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 890 8768 18616 | 5000 0 -nan | 0.000 % | c | 101 | 890 8768 18616 | 5500 101 13 | 0.015 % | c | 251 | 889 8768 18616 | 6050 251 13 | 0.127 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 920 8769 18676 | 5000 0 -nan | 0.000 % | c | 100 | 920 8769 18676 | 5500 100 21 | 0.014 % | c | 250 | 920 8769 18676 | 6050 250 22 | 0.000 % | c | 476 | 920 8769 18676 | 6655 476 34 | 0.000 % | c | 815 | 920 8769 18676 | 7320 815 41 | 0.000 % | c | 1322 | 920 8769 18676 | 8052 1322 45 | 0.000 % | c | 2081 | 920 8769 18676 | 8857 2081 50 | 0.000 % | c | 3227 | 920 8769 18676 | 9743 3227 53 | 0.014 % | c | 4935 | 919 8769 18676 | 10717 4935 55 | 0.109 % | c | 7499 | 918 8769 18676 | 11789 7499 57 | 0.326 % | c | 11345 | 908 8769 18676 | 12968 11345 58 | 1.317 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 984 8770 18804 | 5000 0 -nan | 0.000 % | c | 100 | 984 8770 18804 | 5500 100 15 | 0.012 % | c | 250 | 984 8770 18804 | 6050 250 15 | 0.000 % | c | 475 | 984 8770 18804 | 6655 475 17 | 0.000 % | c | 813 | 982 8770 18804 | 7320 813 23 | 0.203 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1040 8771 18916 | 5000 0 -nan | 0.000 % | c | 101 | 1040 8771 18916 | 5500 101 26 | 0.011 % | c | 251 | 1040 8771 18916 | 6050 251 27 | 0.010 % | c | 476 | 1040 8771 18916 | 6655 476 25 | 0.000 % | c | 813 | 1040 8771 18916 | 7320 813 26 | 0.010 % | c | 1319 | 1040 8771 18916 | 8052 1319 28 | 0.011 % | c | 2083 | 1040 8771 18916 | 8857 2083 32 | 0.010 % | c | 3223 | 1039 8771 18916 | 9743 3223 36 | 0.107 % | c | 4933 | 1039 8771 18916 | 10717 4933 40 | 0.106 % | c | 7497 | 1037 8771 18916 | 11789 7497 42 | 0.400 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1114 8772 19064 | 5000 0 -nan | 0.000 % | c | 100 | 1114 8772 19064 | 5500 100 27 | 0.010 % | c | 250 | 1114 8772 19064 | 6050 250 33 | 0.000 % | c | 476 | 1114 8772 19064 | 6655 476 39 | 0.000 % | c | 817 | 1114 8772 19064 | 7320 817 48 | 0.000 % | c | 1324 | 1114 8772 19064 | 8052 1324 68 | 0.000 % | c | 2086 | 1114 8772 19064 | 8857 2086 63 | 0.000 % | c | 3226 | 1114 8772 19064 | 9743 3226 78 | 0.000 % | c | 4935 | 1114 8772 19064 | 10717 4935 87 | 0.000 % | c | 7505 | 1114 8772 19064 | 11789 7505 81 | 0.000 % | c | 11349 | 1114 8772 19064 | 12968 11349 97 | 0.010 % | c | 17115 | 1114 8772 19064 | 14265 10450 107 | 0.000 % | c | 25765 | 1114 8772 19064 | 15692 11821 94 | 0.000 % | c | 38739 | 1114 8772 19064 | 17261 8779 124 | 0.009 % | c | 58200 | 1114 8772 19064 | 18987 10700 111 | 0.009 % | c | 87398 | 1114 8772 19064 | 20886 11048 134 | 0.000 % | c | 131196 | 1114 8772 19064 | 22974 12533 129 | 0.000 % | c | 196881 | 1113 8772 19064 | 25272 20135 78 | 0.091 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1218 8773 19272 | 5000 0 -nan | 0.000 % | c | 100 | 1218 8773 19272 | 5500 100 26 | 0.008 % | c | 251 | 1218 8773 19272 | 6050 251 34 | 0.000 % | c | 480 | 1218 8773 19272 | 6655 480 51 | 0.000 % | c | 819 | 1218 8773 19272 | 7320 819 45 | 0.000 % | c | 1327 | 1218 8773 19272 | 8052 1327 54 | 0.000 % | c | 2086 | 1218 8773 19272 | 8857 2086 52 | 0.000 % | c | 3225 | 1218 8773 19272 | 9743 3225 81 | 0.000 % | c | 4933 | 1218 8773 19272 | 10717 4933 103 | 0.000 % | c | 7496 | 1218 8773 19272 | 11789 7496 110 | 0.000 % | c | 11346 | 1218 8773 19272 | 12968 11346 129 | 0.008 % | c | 17114 | 1218 8773 19272 | 14265 10504 145 | 0.000 % | c | 25765 | 1217 8773 19272 | 15692 11840 175 | 0.090 % | c | 38739 | 1217 8773 19272 | 17261 8730 162 | 0.082 % | c | 58202 | 1216 8773 19272 | 18987 10553 103 | 0.172 % | c | 87397 | 1216 8773 19272 | 20886 10761 107 | 0.164 % | c | 131186 | 1211 8773 19272 | 22974 12355 88 | 0.575 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1346 8774 19528 | 5000 0 -nan | 0.000 % | c | 101 | 1346 8774 19528 | 5500 101 32 | 0.007 % | c | 251 | 1346 8774 19528 | 6050 251 39 | 0.000 % | c | 476 | 1346 8774 19528 | 6655 476 50 | 0.000 % | c | 813 | 1346 8774 19528 | 7320 813 54 | 0.000 % | c | 1322 | 1346 8774 19528 | 8052 1322 88 | 0.000 % | c | 2081 | 1346 8774 19528 | 8857 2081 97 | 0.000 % | c | 3221 | 1346 8774 19528 | 9743 3221 112 | 0.000 % | c | 4929 | 1346 8774 19528 | 10717 4929 115 | 0.000 % | c | 7491 | 1346 8774 19528 | 11789 7491 129 | 0.000 % | c | 11335 | 1346 8774 19528 | 12968 11335 149 | 0.000 % | c | 17105 | 1346 8774 19528 | 14265 10396 184 | 0.000 % | c | 25756 | 1346 8774 19528 | 15692 11608 197 | 0.000 % | c | 38731 | 1346 8774 19528 | 17261 8474 172 | 0.000 % | c | 58195 | 1346 8774 19528 | 18987 10219 205 | 0.000 % | c | 87388 | 1346 8774 19528 | 20886 10259 159 | 0.000 % | c | 131181 | 1346 8774 19528 | 22974 11428 223 | 0.000 % | c | 196865 | 1346 8774 19528 | 25272 18423 122 | 0.000 % | c | 295393 | 1346 8774 19528 | 27799 24746 193 | 0.000 % | c | 443190 | 1346 8774 19528 | 30579 19533 183 | 0.000 % | c | 664875 | 1346 8774 19528 | 33637 21254 187 | 0.000 % | c | 997401 | 1346 8774 19528 | 37001 27164 188 | 0.000 % | c | 1496189 | 1345 8774 19528 | 40701 23712 101 | 0.074 % | c CPU time : 1800 s c Total CPU time: 1800 s