c wbo 1.6 beta - 20110325 c | Number of variables: 150 | c | Number of clauses: 9984 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 150 | c | Number Clauses: 9834 | 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 9834 19668 | 5000 0 -nan | 0.000 % | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 304 10060 20126 | 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 10061 20134 | 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 10062 20146 | 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 10063 20158 | 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 | 326 10064 20170 | 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 | 332 10065 20182 | 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 | 338 10066 20194 | 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 | 344 10067 20206 | 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 10068 20218 | 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 | 354 10069 20226 | 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 | 358 10070 20234 | 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 10071 20246 | 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 | 370 10072 20258 | 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 | 374 10073 20266 | 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 10074 20274 | 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 10075 20282 | 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 10076 20290 | 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 | 392 10077 20302 | 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 10078 20314 | 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 10079 20322 | 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 10080 20330 | 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 10081 20338 | 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 10082 20350 | 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 10083 20358 | 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 10084 20370 | 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 10085 20382 | 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 | 436 10086 20390 | 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 | 440 10087 20398 | 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 10088 20406 | 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 | 451 10089 20420 | 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 | 464 10090 20446 | 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 | 475 10091 20468 | 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 | 490 10092 20498 | 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 10093 20518 | 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 | 526 10094 20570 | 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 | 538 10095 20594 | 5000 0 -nan | 0.000 % | c | 100 | 527 10095 20594 | 5500 100 16 | 2.045 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 563 10096 20644 | 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 | 577 10097 20672 | 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 | 587 10098 20692 | 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 | 599 10099 20716 | 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 | 615 10100 20748 | 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 | 625 10101 20768 | 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 | 650 10102 20818 | 5000 0 -nan | 0.000 % | c | 100 | 650 10102 20818 | 5500 100 11 | 0.154 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 668 10103 20854 | 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 | 678 10104 20874 | 5000 0 -nan | 0.000 % | c | 100 | 678 10104 20874 | 5500 100 16 | 0.029 % | c | 251 | 676 10104 20874 | 6050 251 17 | 0.327 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 713 10105 20944 | 5000 0 -nan | 0.000 % | c | 101 | 710 10105 20944 | 5500 101 21 | 0.421 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 731 10106 20980 | 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 | 747 10107 21012 | 5000 0 -nan | 0.000 % | c | 101 | 747 10107 21012 | 5500 101 10 | 0.157 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 773 10108 21064 | 5000 0 -nan | 0.000 % | c | 100 | 769 10108 21064 | 5500 100 13 | 0.647 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 798 10109 21114 | 5000 0 -nan | 0.000 % | c | 100 | 788 10109 21114 | 5500 100 13 | 1.379 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 814 10110 21146 | 5000 0 -nan | 0.000 % | c | 103 | 813 10110 21146 | 5500 103 14 | 0.142 % | c | 256 | 812 10110 21146 | 6050 256 20 | 0.246 % | c | 482 | 811 10110 21146 | 6655 482 20 | 0.388 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 853 10111 21224 | 5000 0 -nan | 0.000 % | c | 100 | 853 10111 21224 | 5500 100 14 | 0.019 % | c | 250 | 847 10111 21224 | 6050 250 16 | 0.704 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 885 10112 21288 | 5000 0 -nan | 0.000 % | c | 101 | 885 10112 21288 | 5500 101 24 | 0.017 % | c | 252 | 885 10112 21288 | 6050 252 21 | 0.000 % | c | 477 | 885 10112 21288 | 6655 477 26 | 0.000 % | c | 815 | 885 10112 21288 | 7320 815 29 | 0.000 % | c | 1323 | 879 10112 21288 | 8052 1323 33 | 0.695 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 950 10113 21418 | 5000 0 -nan | 0.000 % | c | 100 | 950 10113 21418 | 5500 100 24 | 0.015 % | c | 250 | 950 10113 21418 | 6050 250 20 | 0.000 % | c | 475 | 949 10113 21418 | 6655 475 19 | 0.106 % | c | 816 | 942 10113 21418 | 7320 816 22 | 0.842 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 994 10114 21506 | 5000 0 -nan | 0.000 % | c | 101 | 994 10114 21506 | 5500 101 17 | 0.013 % | c | 251 | 994 10114 21506 | 6050 251 20 | 0.000 % | c | 477 | 994 10114 21506 | 6655 477 25 | 0.000 % | c | 820 | 994 10114 21506 | 7320 820 31 | 0.000 % | c | 1326 | 994 10114 21506 | 8052 1326 40 | 0.013 % | c | 2086 | 994 10114 21506 | 8857 2086 45 | 0.000 % | c | 3231 | 994 10114 21506 | 9743 3231 46 | 0.014 % | c | 4939 | 991 10114 21506 | 10717 4939 45 | 0.302 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1067 10115 21652 | 5000 0 -nan | 0.000 % | c | 101 | 1067 10115 21652 | 5500 101 24 | 0.012 % | c | 251 | 1067 10115 21652 | 6050 251 33 | 0.000 % | c | 476 | 1067 10115 21652 | 6655 476 37 | 0.000 % | c | 817 | 1067 10115 21652 | 7320 817 49 | 0.000 % | c | 1323 | 1067 10115 21652 | 8052 1323 61 | 0.000 % | c | 2082 | 1067 10115 21652 | 8857 2082 68 | 0.012 % | c | 3221 | 1067 10115 21652 | 9743 3221 69 | 0.000 % | c | 4930 | 1067 10115 21652 | 10717 4930 71 | 0.011 % | c | 7494 | 1067 10115 21652 | 11789 7494 70 | 0.000 % | c | 11344 | 1067 10115 21652 | 12968 11344 75 | 0.012 % | c | 17115 | 1067 10115 21652 | 14265 10508 82 | 0.012 % | c | 25765 | 1066 10115 21652 | 15692 11920 75 | 0.105 % | c | 38748 | 1062 10115 21652 | 17261 9027 75 | 0.480 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1154 10116 21826 | 5000 0 -nan | 0.000 % | c | 100 | 1154 10116 21826 | 5500 100 25 | 0.010 % | c | 251 | 1154 10116 21826 | 6050 251 47 | 0.000 % | c | 478 | 1154 10116 21826 | 6655 478 44 | 0.000 % | c | 816 | 1154 10116 21826 | 7320 816 47 | 0.000 % | c | 1323 | 1154 10116 21826 | 8052 1323 54 | 0.000 % | c | 2083 | 1154 10116 21826 | 8857 2083 53 | 0.000 % | c | 3223 | 1154 10116 21826 | 9743 3223 57 | 0.000 % | c | 4934 | 1154 10116 21826 | 10717 4934 69 | 0.011 % | c | 7496 | 1154 10116 21826 | 11789 7496 80 | 0.000 % | c | 11340 | 1154 10116 21826 | 12968 11340 92 | 0.000 % | c | 17108 | 1154 10116 21826 | 14265 10476 119 | 0.000 % | c | 25759 | 1154 10116 21826 | 15692 11865 121 | 0.010 % | c | 38738 | 1154 10116 21826 | 17261 8945 118 | 0.000 % | c | 58200 | 1154 10116 21826 | 18987 10782 121 | 0.000 % | c | 87393 | 1154 10116 21826 | 20886 11025 114 | 0.010 % | c | 131184 | 1154 10116 21826 | 22974 12375 108 | 0.011 % | c | 196868 | 1154 10116 21826 | 25272 19819 118 | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1270 10117 22058 | 5000 0 -nan | 0.000 % | c | 100 | 1270 10117 22058 | 5500 100 29 | 0.008 % | c | 250 | 1270 10117 22058 | 6050 250 39 | 0.000 % | c | 476 | 1270 10117 22058 | 6655 476 42 | 0.000 % | c | 814 | 1270 10117 22058 | 7320 814 44 | 0.000 % | c | 1320 | 1270 10117 22058 | 8052 1320 47 | 0.000 % | c | 2080 | 1270 10117 22058 | 8857 2080 47 | 0.000 % | c | 3219 | 1270 10117 22058 | 9743 3219 61 | 0.000 % | c | 4930 | 1270 10117 22058 | 10717 4930 78 | 0.008 % | c | 7493 | 1270 10117 22058 | 11789 7493 81 | 0.008 % | c | 11339 | 1270 10117 22058 | 12968 11339 94 | 0.008 % | c | 17105 | 1270 10117 22058 | 14265 10489 97 | 0.000 % | c | 25761 | 1270 10117 22058 | 15692 11845 107 | 0.000 % | c | 38737 | 1270 10117 22058 | 17261 8838 109 | 0.000 % | c | 58198 | 1269 10117 22058 | 18987 10691 126 | 0.086 % | c | 87390 | 1268 10117 22058 | 20886 10984 131 | 0.158 % | c | 131179 | 1265 10117 22058 | 22974 12407 121 | 0.401 % | c | 196863 | 1262 10117 22058 | 25272 20026 124 | 0.642 % | c | 295393 | 1260 10117 22058 | 27799 15238 168 | 0.795 % | c | 443183 | 1260 10117 22058 | 30579 25948 208 | 0.787 % | c | 664869 | 1256 10117 22058 | 33637 15092 125 | 1.110 % | c | 997396 | 1247 10117 22058 | 37001 19658 142 | 1.811 % | c | 1496188 | 1244 10117 22058 | 40701 18418 190 | 2.047 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1420 10118 22358 | 5000 0 -nan | 0.000 % | c | 105 | 1420 10118 22358 | 5500 105 40 | 0.007 % | c | 255 | 1420 10118 22358 | 6050 255 42 | 0.000 % | c | 480 | 1420 10118 22358 | 6655 480 43 | 0.000 % | c | 820 | 1420 10118 22358 | 7320 820 68 | 0.000 % | c | 1327 | 1420 10118 22358 | 8052 1327 75 | 0.000 % | c | 2089 | 1420 10118 22358 | 8857 2089 107 | 0.000 % | c | 3228 | 1420 10118 22358 | 9743 3228 131 | 0.000 % | c | 4936 | 1420 10118 22358 | 10717 4936 138 | 0.000 % | c | 7503 | 1420 10118 22358 | 11789 7503 159 | 0.000 % | c | 11347 | 1420 10118 22358 | 12968 11347 179 | 0.000 % | c | 17115 | 1420 10118 22358 | 14265 10434 199 | 0.000 % | c | 25766 | 1420 10118 22358 | 15692 11680 241 | 0.000 % | c | 38743 | 1420 10118 22358 | 17261 8440 259 | 0.000 % | c | 58204 | 1420 10118 22358 | 18987 10175 179 | 0.000 % | c | 87396 | 1420 10118 22358 | 20886 10154 168 | 0.000 % | c | 131185 | 1420 10118 22358 | 22974 11175 183 | 0.000 % | c | 196869 | 1420 10118 22358 | 25272 18055 255 | 0.000 % | c | 295396 | 1420 10118 22358 | 27799 25299 240 | 0.000 % | c | 443186 | 1420 10118 22358 | 30579 15155 250 | 0.006 % | c | 664869 | 1420 10118 22358 | 33637 16842 166 | 0.007 % | c CPU time : 1800 s c Total CPU time: 1800 s