c wbo 1.6 beta - 20110325 c | Number of variables: 150 | c | Number of clauses: 9537 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 150 | c | Number Clauses: 9387 | 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 9387 18774 | 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 9612 19224 | 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 | 304 9613 19232 | 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 | 308 9614 19240 | 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 | 314 9615 19252 | 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 9616 19264 | 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 9617 19272 | 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 9618 19284 | 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 9619 19296 | 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 | 342 9620 19308 | 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 9621 19316 | 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 9622 19324 | 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 9623 19336 | 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 9624 19344 | 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 | 364 9625 19352 | 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 | 368 9626 19360 | 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 9627 19368 | 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 9628 19380 | 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 9629 19388 | 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 | 386 9630 19396 | 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 | 390 9631 19404 | 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 | 396 9632 19416 | 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 | 400 9633 19424 | 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 | 404 9634 19432 | 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 | 410 9635 19444 | 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 9636 19456 | 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 | 420 9637 19464 | 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 9638 19476 | 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 | 430 9639 19484 | 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 | 434 9640 19492 | 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 9641 19500 | 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 | 444 9642 19512 | 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 | 450 9643 19524 | 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 | 460 9644 19544 | 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 | 474 9645 19572 | 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 | 484 9646 19592 | 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 | 500 9647 19624 | 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 | 512 9648 19648 | 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 | 524 9649 19672 | 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 | 540 9650 19704 | 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 | 552 9651 19728 | 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 | 572 9652 19768 | 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 9653 19788 | 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 | 596 9654 19816 | 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 | 606 9655 19836 | 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 | 628 9656 19880 | 5000 0 -nan | 0.000 % | c | 101 | 623 9656 19880 | 5500 101 10 | 0.797 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 656 9657 19936 | 5000 0 -nan | 0.000 % | c | 100 | 655 9657 19936 | 5500 100 11 | 0.153 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 688 9658 20000 | 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 | 698 9659 20020 | 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 | 714 9660 20052 | 5000 0 -nan | 0.000 % | c | 101 | 714 9660 20052 | 5500 101 16 | 0.030 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 744 9661 20112 | 5000 0 -nan | 0.000 % | c | 100 | 736 9661 20112 | 5500 100 9 | 3.898 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 768 9662 20160 | 5000 0 -nan | 0.000 % | c | 100 | 767 9662 20160 | 5500 100 10 | 0.131 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 794 9663 20212 | 5000 0 -nan | 0.000 % | c | 101 | 794 9663 20212 | 5500 101 15 | 0.021 % | c | 251 | 794 9663 20212 | 6050 251 19 | 0.000 % | c | 476 | 794 9663 20212 | 6655 476 24 | 0.000 % | c | 814 | 794 9663 20212 | 7320 814 27 | 0.020 % | c | 1321 | 793 9663 20212 | 8052 1321 30 | 0.146 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 856 9664 20336 | 5000 0 -nan | 0.000 % | c | 100 | 850 9664 20336 | 5500 100 15 | 0.701 % | c | 251 | 791 9664 20336 | 6050 251 20 | 20.094 % | c | 479 | 790 9664 20336 | 6655 479 33 | 20.094 % | c | 819 | 684 9664 20336 | 7320 819 42 | 20.094 % | c | 1328 | 684 9664 20336 | 8052 1328 46 | 20.094 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 898 9665 20420 | 5000 0 -nan | 0.000 % | c | 103 | 898 9665 20420 | 5500 103 20 | 0.016 % | c | 253 | 898 9665 20420 | 6050 253 20 | 0.000 % | c | 479 | 898 9665 20420 | 6655 479 25 | 0.000 % | c | 818 | 898 9665 20420 | 7320 818 28 | 0.016 % | c | 1324 | 897 9665 20420 | 8052 1324 34 | 0.126 % | c | 2084 | 895 9665 20420 | 8857 2084 36 | 0.349 % | c | 3225 | 895 9665 20420 | 9743 3225 39 | 0.334 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 958 9666 20540 | 5000 0 -nan | 0.000 % | c | 102 | 958 9666 20540 | 5500 102 18 | 0.014 % | c | 254 | 958 9666 20540 | 6050 254 19 | 0.016 % | c | 479 | 956 9666 20540 | 6655 479 20 | 0.222 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 992 9667 20608 | 5000 0 -nan | 0.000 % | c | 100 | 992 9667 20608 | 5500 100 23 | 0.013 % | c | 252 | 992 9667 20608 | 6050 252 21 | 0.000 % | c | 478 | 992 9667 20608 | 6655 478 29 | 0.000 % | c | 815 | 992 9667 20608 | 7320 815 29 | 0.000 % | c | 1321 | 992 9667 20608 | 8052 1321 39 | 0.013 % | c | 2080 | 992 9667 20608 | 8857 2080 46 | 0.013 % | c | 3221 | 991 9667 20608 | 9743 3221 50 | 0.114 % | c | 4929 | 989 9667 20608 | 10717 4929 49 | 0.315 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1068 9668 20760 | 5000 0 -nan | 0.000 % | c | 101 | 1068 9668 20760 | 5500 101 18 | 0.011 % | c | 251 | 1068 9668 20760 | 6050 251 27 | 0.000 % | c | 476 | 1068 9668 20760 | 6655 476 32 | 0.000 % | c | 813 | 1068 9668 20760 | 7320 813 43 | 0.011 % | c | 1319 | 1068 9668 20760 | 8052 1319 52 | 0.000 % | c | 2079 | 1068 9668 20760 | 8857 2079 54 | 0.000 % | c | 3219 | 1068 9668 20760 | 9743 3219 63 | 0.011 % | c | 4927 | 1068 9668 20760 | 10717 4927 69 | 0.012 % | c | 7489 | 1068 9668 20760 | 11789 7489 80 | 0.011 % | c | 11333 | 1068 9668 20760 | 12968 11333 80 | 0.011 % | c | 17099 | 1068 9668 20760 | 14265 10511 87 | 0.000 % | c | 25749 | 1067 9668 20760 | 15692 11915 96 | 0.094 % | c | 38727 | 1064 9668 20760 | 17261 9006 92 | 0.375 % | c | 58189 | 1051 9668 20760 | 18987 10987 99 | 1.601 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1160 9669 20944 | 5000 0 -nan | 0.000 % | c | 100 | 1160 9669 20944 | 5500 100 38 | 0.010 % | c | 251 | 1160 9669 20944 | 6050 251 37 | 0.000 % | c | 476 | 1160 9669 20944 | 6655 476 60 | 0.000 % | c | 814 | 1160 9669 20944 | 7320 814 53 | 0.000 % | c | 1324 | 1160 9669 20944 | 8052 1324 57 | 0.000 % | c | 2086 | 1160 9669 20944 | 8857 2086 55 | 0.000 % | c | 3225 | 1160 9669 20944 | 9743 3225 79 | 0.000 % | c | 4934 | 1160 9669 20944 | 10717 4934 82 | 0.000 % | c | 7503 | 1160 9669 20944 | 11789 7503 108 | 0.009 % | c | 11348 | 1160 9669 20944 | 12968 11348 109 | 0.000 % | c | 17116 | 1160 9669 20944 | 14265 10491 119 | 0.009 % | c | 25765 | 1160 9669 20944 | 15692 11829 114 | 0.000 % | c | 38739 | 1160 9669 20944 | 17261 8795 132 | 0.000 % | c | 58200 | 1160 9669 20944 | 18987 10645 125 | 0.000 % | c | 87395 | 1160 9669 20944 | 20886 10978 128 | 0.000 % | c | 131184 | 1160 9669 20944 | 22974 12495 116 | 0.000 % | c | 196870 | 1158 9669 20944 | 25272 20041 137 | 0.181 % | c | 295398 | 1149 9669 20944 | 27799 16576 128 | 0.948 % | c | 443189 | 1138 9669 20944 | 30579 19472 167 | 1.905 % | c | 664872 | 1137 9669 20944 | 33637 22122 145 | 1.991 % | c | 997397 | 1131 9669 20944 | 37001 32369 138 | 2.500 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1306 9670 21236 | 5000 0 -nan | 0.000 % | c | 100 | 1306 9670 21236 | 5500 100 35 | 0.008 % | c | 253 | 1306 9670 21236 | 6050 253 35 | 0.007 % | c | 478 | 1306 9670 21236 | 6655 478 48 | 0.000 % | c | 817 | 1306 9670 21236 | 7320 817 53 | 0.000 % | c | 1324 | 1306 9670 21236 | 8052 1324 61 | 0.000 % | c | 2083 | 1306 9670 21236 | 8857 2083 75 | 0.000 % | c | 3223 | 1306 9670 21236 | 9743 3223 77 | 0.000 % | c | 4931 | 1306 9670 21236 | 10717 4931 83 | 0.007 % | c | 7494 | 1306 9670 21236 | 11789 7494 87 | 0.000 % | c | 11338 | 1306 9670 21236 | 12968 11338 104 | 0.000 % | c | 17106 | 1306 9670 21236 | 14265 10447 112 | 0.008 % | c | 25755 | 1306 9670 21236 | 15692 11820 130 | 0.008 % | c | 38729 | 1306 9670 21236 | 17261 8773 130 | 0.000 % | c | 58194 | 1306 9670 21236 | 18987 10611 113 | 0.007 % | c | 87387 | 1306 9670 21236 | 20886 10729 161 | 0.000 % | c | 131176 | 1306 9670 21236 | 22974 12038 162 | 0.000 % | c | 196863 | 1306 9670 21236 | 25272 19286 145 | 0.007 % | c | 295390 | 1306 9670 21236 | 27799 24719 169 | 0.000 % | c | 443179 | 1306 9670 21236 | 30579 18931 150 | 0.000 % | c | 664862 | 1306 9670 21236 | 33637 25873 185 | 0.007 % | c | 997387 | 1305 9670 21236 | 37001 24259 204 | 0.084 % | c | 1496175 | 1305 9670 21236 | 40701 23007 196 | 0.077 % | c CPU time : 1800 s c Total CPU time: 1800 s