c wbo 1.6 beta - 20110325 c | Number of variables: 150 | c | Number of clauses: 9090 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 150 | c | Number Clauses: 8940 | 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 8940 17880 | 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 9165 18330 | 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 9166 18338 | 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 9167 18346 | 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 9168 18358 | 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 9169 18370 | 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 9170 18382 | 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 9171 18394 | 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 9172 18406 | 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 9173 18414 | 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 | 348 9174 18426 | 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 | 352 9175 18434 | 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 9176 18446 | 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 9177 18458 | 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 9178 18466 | 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 9179 18474 | 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 | 376 9180 18482 | 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 | 380 9181 18490 | 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 9182 18498 | 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 9183 18510 | 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 9184 18518 | 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 9185 18530 | 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 9186 18542 | 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 9187 18550 | 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 | 414 9188 18558 | 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 | 418 9189 18566 | 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 | 424 9190 18578 | 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 9191 18586 | 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 9192 18598 | 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 9193 18606 | 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 9194 18618 | 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 9195 18630 | 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 9196 18650 | 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 9197 18678 | 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 | 498 9198 18726 | 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 9199 18754 | 5000 0 -nan | 0.000 % | c | 100 | 497 9199 18754 | 5500 100 10 | 3.125 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 546 9200 18822 | 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 | 558 9201 18846 | 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 | 568 9202 18866 | 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 9203 18894 | 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 | 602 9204 18934 | 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 | 612 9205 18954 | 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 | 624 9206 18978 | 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 | 636 9207 19002 | 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 | 656 9208 19042 | 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 | 672 9209 19074 | 5000 0 -nan | 0.000 % | c | 101 | 664 9209 19074 | 5500 101 9 | 1.488 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 694 9210 19118 | 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 | 704 9211 19138 | 5000 0 -nan | 0.000 % | c | 102 | 704 9211 19138 | 5500 102 16 | 0.026 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 732 9212 19194 | 5000 0 -nan | 0.000 % | c | 101 | 731 9212 19194 | 5500 101 15 | 0.137 % | c | 252 | 730 9212 19194 | 6050 252 18 | 0.296 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 768 9213 19266 | 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 | 784 9214 19298 | 5000 0 -nan | 0.000 % | c | 103 | 784 9214 19298 | 5500 103 13 | 0.020 % | c | 255 | 783 9214 19298 | 6050 255 16 | 0.153 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 820 9215 19370 | 5000 0 -nan | 0.000 % | c | 100 | 817 9215 19370 | 5500 100 10 | 0.366 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 844 9216 19418 | 5000 0 -nan | 0.000 % | c | 100 | 844 9216 19418 | 5500 100 12 | 0.017 % | c | 251 | 844 9216 19418 | 6050 251 19 | 0.000 % | c | 477 | 844 9216 19418 | 6655 477 25 | 0.000 % | c | 814 | 844 9216 19418 | 7320 814 30 | 0.017 % | c | 1324 | 842 9216 19418 | 8052 1324 34 | 0.253 % | c | 2085 | 842 9216 19418 | 8857 2085 37 | 0.237 % | c | 3224 | 827 9216 19418 | 9743 3224 38 | 2.030 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 888 9217 19506 | 5000 0 -nan | 0.000 % | c | 103 | 888 9217 19506 | 5500 103 23 | 0.015 % | c | 253 | 888 9217 19506 | 6050 253 22 | 0.000 % | c | 479 | 888 9217 19506 | 6655 479 28 | 0.000 % | c | 818 | 888 9217 19506 | 7320 818 29 | 0.000 % | c | 1324 | 888 9217 19506 | 8052 1324 35 | 0.000 % | c | 2083 | 888 9217 19506 | 8857 2083 41 | 0.015 % | c | 3222 | 886 9217 19506 | 9743 3222 46 | 0.225 % | c | 4931 | 885 9217 19506 | 10717 4931 49 | 0.338 % | c | 7500 | 872 9217 19506 | 11789 7500 51 | 1.802 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 942 9218 19614 | 5000 0 -nan | 0.000 % | c | 101 | 942 9218 19614 | 5500 101 17 | 0.014 % | c | 252 | 942 9218 19614 | 6050 252 20 | 0.000 % | c | 477 | 942 9218 19614 | 6655 477 21 | 0.000 % | c | 815 | 942 9218 19614 | 7320 815 26 | 0.000 % | c | 1321 | 941 9218 19614 | 8052 1321 27 | 0.120 % | c | 2081 | 941 9218 19614 | 8857 2081 29 | 0.106 % | c | 3220 | 933 9218 19614 | 9743 3220 38 | 0.956 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1002 9219 19734 | 5000 0 -nan | 0.000 % | c | 103 | 1002 9219 19734 | 5500 103 22 | 0.012 % | c | 253 | 1002 9219 19734 | 6050 253 29 | 0.000 % | c | 479 | 1002 9219 19734 | 6655 479 31 | 0.000 % | c | 816 | 1002 9219 19734 | 7320 816 40 | 0.000 % | c | 1322 | 1002 9219 19734 | 8052 1322 46 | 0.000 % | c | 2082 | 1002 9219 19734 | 8857 2082 49 | 0.000 % | c | 3221 | 1002 9219 19734 | 9743 3221 52 | 0.000 % | c | 4931 | 1001 9219 19734 | 10717 4931 53 | 0.112 % | c | 7493 | 1001 9219 19734 | 11789 7493 60 | 0.100 % | c | 11340 | 1000 9219 19734 | 12968 11340 76 | 0.212 % | c | 17108 | 986 9219 19734 | 14265 10619 84 | 1.607 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1086 9220 19902 | 5000 0 -nan | 0.000 % | c | 100 | 1086 9220 19902 | 5500 100 24 | 0.010 % | c | 251 | 1086 9220 19902 | 6050 251 28 | 0.000 % | c | 476 | 1086 9220 19902 | 6655 476 27 | 0.000 % | c | 818 | 1086 9220 19902 | 7320 818 33 | 0.000 % | c | 1324 | 1086 9220 19902 | 8052 1324 37 | 0.000 % | c | 2086 | 1085 9220 19902 | 8857 2086 40 | 0.102 % | c | 3225 | 1084 9220 19902 | 9743 3225 45 | 0.194 % | c | 4933 | 1078 9220 19902 | 10717 4933 48 | 0.746 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1152 9221 20034 | 5000 0 -nan | 0.000 % | c | 100 | 1152 9221 20034 | 5500 100 21 | 0.009 % | c | 251 | 1152 9221 20034 | 6050 251 26 | 0.000 % | c | 478 | 1152 9221 20034 | 6655 478 40 | 0.009 % | c | 816 | 1152 9221 20034 | 7320 816 37 | 0.000 % | c | 1322 | 1152 9221 20034 | 8052 1322 51 | 0.000 % | c | 2081 | 1152 9221 20034 | 8857 2081 71 | 0.000 % | c | 3220 | 1152 9221 20034 | 9743 3220 77 | 0.000 % | c | 4933 | 1152 9221 20034 | 10717 4933 82 | 0.000 % | c | 7495 | 1152 9221 20034 | 11789 7495 82 | 0.009 % | c | 11339 | 1151 9221 20034 | 12968 11339 84 | 0.096 % | c | 17107 | 1150 9221 20034 | 14265 10500 85 | 0.183 % | c | 25757 | 1145 9221 20034 | 15692 11937 86 | 0.617 % | c | 38732 | 1137 9221 20034 | 17261 8866 96 | 1.310 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1254 9222 20238 | 5000 0 -nan | 0.000 % | c | 101 | 1254 9222 20238 | 5500 101 33 | 0.008 % | c | 251 | 1254 9222 20238 | 6050 251 31 | 0.000 % | c | 477 | 1254 9222 20238 | 6655 477 55 | 0.000 % | c | 814 | 1254 9222 20238 | 7320 814 47 | 0.000 % | c | 1321 | 1254 9222 20238 | 8052 1321 65 | 0.000 % | c | 2080 | 1254 9222 20238 | 8857 2080 65 | 0.000 % | c | 3220 | 1254 9222 20238 | 9743 3220 90 | 0.000 % | c | 4930 | 1254 9222 20238 | 10717 4930 86 | 0.000 % | c | 7495 | 1254 9222 20238 | 11789 7495 103 | 0.000 % | c | 11340 | 1254 9222 20238 | 12968 11340 116 | 0.000 % | c | 17107 | 1254 9222 20238 | 14265 10399 144 | 0.000 % | c | 25756 | 1254 9222 20238 | 15692 11708 156 | 0.007 % | c | 38733 | 1254 9222 20238 | 17261 8515 131 | 0.000 % | c | 58194 | 1254 9222 20238 | 18987 10408 115 | 0.000 % | c | 87386 | 1254 9222 20238 | 20886 10604 132 | 0.000 % | c | 131176 | 1254 9222 20238 | 22974 11824 166 | 0.000 % | c | 196861 | 1253 9222 20238 | 25272 19246 143 | 0.088 % | c | 295391 | 1253 9222 20238 | 27799 13320 138 | 0.080 % | c | 443180 | 1253 9222 20238 | 30579 24973 192 | 0.080 % | c | 664863 | 1253 9222 20238 | 33637 29453 131 | 0.080 % | c | 997399 | 1253 9222 20238 | 37001 32969 223 | 0.080 % | c | 1496190 | 1251 9222 20238 | 40701 33611 176 | 0.247 % | c | 2244375 | 1251 9222 20238 | 44771 21990 124 | 0.247 % | c CPU time : 1800 s c Total CPU time: 1800 s