c This is wbo 1.0 alpha (based on Minisat 2.0 beta) c WARNING: for repeatability, setting FPU to use double precision c | Number of variables: 5744 | c | Number of clauses: 68439 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.06 s | c | Number Variables: 5744 | c | Number Clauses: 68439 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c Elapsed CPU time: 0.058991 s Remaining CPU time: 1799.94 s c Elapsed CPU time: 0.143978 s Remaining CPU time: 1799.86 s c Elapsed CPU time: 0.223965 s Remaining CPU time: 1799.78 s c Elapsed CPU time: 0.306953 s Remaining CPU time: 1799.69 s c Elapsed CPU time: 0.39194 s Remaining CPU time: 1799.61 s c Elapsed CPU time: 0.480926 s Remaining CPU time: 1799.52 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1814 68688 229378 | 22896 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.573912 s Remaining CPU time: 1799.43 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2014 68750 229567 | 22916 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.665898 s Remaining CPU time: 1799.33 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2115 68797 229696 | 22932 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.760884 s Remaining CPU time: 1799.24 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2164 68885 229830 | 22961 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.855869 s Remaining CPU time: 1799.14 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2264 68980 229990 | 22993 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.951855 s Remaining CPU time: 1799.05 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2440 69078 230199 | 23026 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.05084 s Remaining CPU time: 1798.95 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2638 69204 230465 | 23068 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.15082 s Remaining CPU time: 1798.85 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2920 69373 230991 | 23124 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.25681 s Remaining CPU time: 1798.74 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3332 69645 231750 | 23215 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.36079 s Remaining CPU time: 1798.64 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3682 69729 232510 | 23243 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.47677 s Remaining CPU time: 1798.52 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3769 69765 232950 | 23255 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.58376 s Remaining CPU time: 1798.42 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3934 69850 233370 | 23283 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.69074 s Remaining CPU time: 1798.31 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4237 70031 233842 | 23343 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.80073 s Remaining CPU time: 1798.2 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4598 70229 234467 | 23409 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.92771 s Remaining CPU time: 1798.07 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4875 70368 235292 | 23456 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 2.04469 s Remaining CPU time: 1797.96 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5073 70531 235677 | 23510 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 2.16567 s Remaining CPU time: 1797.83 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5188 70623 236027 | 23541 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 2.27765 s Remaining CPU time: 1797.72 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5353 70711 236327 | 23570 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 2.39164 s Remaining CPU time: 1797.61 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5517 70780 236560 | 23593 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 2.50462 s Remaining CPU time: 1797.5 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6222 70823 237389 | 23607 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 2.6426 s Remaining CPU time: 1797.36 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6550 70923 238329 | 23641 0 nan | 0.000 % | c | 101 | 6522 70923 238329 | 26005 101 32 | 29.684 % | c =============================================================================== c Elapsed CPU time: 2.84557 s Remaining CPU time: 1797.15 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 7061 71108 239956 | 23702 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 2.99554 s Remaining CPU time: 1797 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 7800 71245 241298 | 23748 0 nan | 0.000 % | c | 101 | 7775 71245 241298 | 26123 101 14 | 21.975 % | c | 252 | 7693 71245 241298 | 28735 252 14 | 25.380 % | c =============================================================================== c Elapsed CPU time: 3.24551 s Remaining CPU time: 1796.75 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8766 71538 243843 | 23846 0 nan | 0.000 % | c | 100 | 8760 71538 243843 | 26230 100 11 | 15.861 % | c | 250 | 8638 71538 243843 | 28853 201 15 | 16.930 % | c =============================================================================== c Elapsed CPU time: 3.53546 s Remaining CPU time: 1796.46 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9088 71720 245637 | 23906 0 nan | 0.000 % | c | 100 | 9086 71720 245637 | 26297 100 14 | 15.342 % | c | 250 | 8873 71720 245637 | 28927 141 20 | 18.933 % | c =============================================================================== c Elapsed CPU time: 3.82442 s Remaining CPU time: 1796.18 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9743 71907 247480 | 23969 0 nan | 0.000 % | c | 100 | 9741 71907 247480 | 26365 100 22 | 14.086 % | c | 250 | 9609 71907 247480 | 29002 216 22 | 14.874 % | c | 476 | 9572 71907 247480 | 31902 442 30 | 15.831 % | c =============================================================================== c Elapsed CPU time: 4.28735 s Remaining CPU time: 1795.71 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 10536 72214 251093 | 24071 0 nan | 0.000 % | c | 100 | 10528 72214 251093 | 26478 100 14 | 12.577 % | c | 251 | 10523 72214 251093 | 29126 251 17 | 12.727 % | c | 476 | 10462 72214 251093 | 32038 471 23 | 13.252 % | c =============================================================================== c Elapsed CPU time: 4.83127 s Remaining CPU time: 1795.17 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 11096 72655 257047 | 24218 0 nan | 0.000 % | c | 100 | 11095 72655 257047 | 26640 100 24 | 11.213 % | c | 250 | 11060 72655 257047 | 29304 250 23 | 12.181 % | c | 475 | 11050 72655 257047 | 32234 475 34 | 12.445 % | c | 812 | 10908 72655 257047 | 35458 749 45 | 13.894 % | c =============================================================================== c Elapsed CPU time: 5.39118 s Remaining CPU time: 1794.61 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 11514 73227 271427 | 24409 0 nan | 0.000 % | c | 100 | 11514 73227 271427 | 26849 100 54 | 9.793 % | c | 250 | 11437 73227 271427 | 29534 215 37 | 10.397 % | c | 475 | 11434 73227 271427 | 32488 440 31 | 10.420 % | c | 814 | 11432 73227 271427 | 35737 779 29 | 10.467 % | c | 1321 | 11293 73227 271427 | 39310 997 33 | 11.650 % | c =============================================================================== c Elapsed CPU time: 6.37503 s Remaining CPU time: 1793.62 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 12339 73962 289747 | 24654 0 nan | 0.000 % | c | 100 | 12338 73962 289747 | 27119 100 30 | 8.891 % | c | 252 | 12335 73962 289747 | 29831 252 31 | 8.913 % | c | 479 | 12325 73962 289747 | 32814 479 29 | 9.282 % | c | 816 | 12281 73962 289747 | 36095 805 33 | 9.496 % | c =============================================================================== c Elapsed CPU time: 7.06593 s Remaining CPU time: 1792.93 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 12662 74917 315822 | 24972 0 nan | 0.000 % | c | 100 | 12662 74917 315822 | 27469 100 67 | 7.913 % | c | 250 | 12662 74917 315822 | 30216 250 56 | 7.913 % | c | 476 | 12657 74917 315822 | 33238 476 53 | 8.284 % | c | 813 | 12528 74917 315822 | 36561 806 55 | 9.905 % | c =============================================================================== c Elapsed CPU time: 7.68483 s Remaining CPU time: 1792.32 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 12851 75527 339342 | 25175 0 nan | 0.000 % | c | 101 | 12850 75527 339342 | 27693 101 60 | 7.647 % | c | 253 | 12850 75527 339342 | 30462 253 66 | 7.647 % | c =============================================================================== c Elapsed CPU time: 8.05678 s Remaining CPU time: 1791.94 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 12812 75808 354335 | 25269 0 nan | 0.000 % | c | 101 | 12808 75808 354335 | 27796 101 85 | 8.508 % | c | 251 | 12802 75808 354335 | 30575 251 68 | 8.694 % | c =============================================================================== c Elapsed CPU time: 8.44772 s Remaining CPU time: 1791.55 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 12960 76081 368641 | 25360 0 nan | 0.000 % | c | 102 | 12960 76081 368641 | 27896 102 89 | 8.583 % | c =============================================================================== c Elapsed CPU time: 8.75767 s Remaining CPU time: 1791.24 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 13075 76262 379698 | 25420 0 nan | 0.000 % | c | 101 | 13075 76262 379698 | 27962 101 92 | 8.226 % | c | 251 | 13059 76262 379698 | 30759 251 78 | 8.640 % | c =============================================================================== c Elapsed CPU time: 9.1996 s Remaining CPU time: 1790.8 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 13341 76488 389912 | 25496 0 nan | 0.000 % | c | 101 | 13341 76488 389912 | 28045 101 127 | 8.050 % | c =============================================================================== c Elapsed CPU time: 9.56855 s Remaining CPU time: 1790.43 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 13399 76640 398693 | 25546 0 nan | 0.000 % | c | 103 | 13399 76640 398693 | 28101 103 133 | 7.999 % | c | 257 | 13399 76640 398693 | 30911 257 94 | 7.999 % | c =============================================================================== c Elapsed CPU time: 9.97148 s Remaining CPU time: 1790.03 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 13453 76779 409144 | 25593 0 nan | 0.000 % | c | 101 | 13453 76779 409144 | 28152 101 111 | 8.155 % | c | 252 | 13418 76779 409144 | 30967 252 68 | 8.805 % | c =============================================================================== c Elapsed CPU time: 10.3814 s Remaining CPU time: 1789.62 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 13593 76888 416894 | 25629 0 nan | 0.000 % | c | 100 | 13586 76888 416894 | 28192 100 39 | 8.078 % | c | 252 | 13572 76888 416894 | 31011 252 37 | 8.248 % | c | 478 | 13474 76888 416894 | 34112 478 35 | 13.833 % | c =============================================================================== c Elapsed CPU time: 10.9613 s Remaining CPU time: 1789.04 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 13675 76964 422156 | 25654 0 nan | 0.000 % | c | 100 | 13668 76964 422156 | 28220 100 38 | 8.035 % | c | 250 | 13654 76964 422156 | 31042 250 37 | 8.203 % | c | 475 | 13518 76964 422156 | 34146 475 35 | 33.381 % | c | 813 | 9885 76964 422156 | 37560 730 29 | 33.381 % | c | 1319 | 9877 76964 422156 | 41317 1235 29 | 33.434 % | c | 2079 | 9877 76964 422156 | 45448 1995 33 | 33.434 % | c =============================================================================== c Elapsed CPU time: 12.0552 s Remaining CPU time: 1787.94 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 13803 76972 422560 | 25657 0 nan | 0.000 % | c | 100 | 13791 76972 422560 | 28223 100 72 | 7.848 % | c | 253 | 13781 76972 422560 | 31045 253 62 | 7.988 % | c | 479 | 13607 76972 422560 | 34149 479 63 | 11.756 % | c | 816 | 13190 76972 422560 | 37564 617 40 | 11.756 % | c | 1323 | 13172 76972 422560 | 41321 1124 34 | 33.539 % | c | 2083 | 9934 76972 422560 | 45453 1745 33 | 33.539 % | c | 3224 | 9934 76972 422560 | 49998 2886 37 | 33.539 % | c | 4933 | 9897 76972 422560 | 54998 2683 36 | 33.786 % | c =============================================================================== c Elapsed CPU time: 14.2428 s Remaining CPU time: 1785.76 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 13976 76980 422899 | 25660 0 nan | 0.000 % | c | 101 | 13955 76980 422899 | 28226 101 84 | 7.890 % | c | 253 | 13885 76980 422899 | 31048 253 68 | 10.398 % | c | 479 | 13731 76980 422899 | 34153 479 63 | 32.758 % | c | 817 | 10167 76980 422899 | 37568 638 39 | 32.758 % | c | 1323 | 10165 76980 422899 | 41325 1144 42 | 32.831 % | c | 2083 | 10156 76980 422899 | 45458 1903 45 | 32.831 % | c | 3224 | 10156 76980 422899 | 50004 3044 47 | 32.831 % | c | 4932 | 10146 76980 422899 | 55004 4751 57 | 32.897 % | c | 7494 | 10146 76980 422899 | 60504 7313 65 | 32.897 % | c | 11343 | 10146 76980 422899 | 66555 11162 69 | 32.897 % | c | 17115 | 10146 76980 422899 | 73210 16934 75 | 32.897 % | c | 25765 | 10146 76980 422899 | 80532 25584 76 | 32.897 % | c | 38741 | 10138 76980 422899 | 88585 38559 78 | 32.950 % | c =============================================================================== c Elapsed CPU time: 111.445 s Remaining CPU time: 1688.55 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 14060 76991 423077 | 25663 0 nan | 0.000 % | c | 101 | 14037 76991 423077 | 28230 101 85 | 7.841 % | c | 253 | 14037 76991 423077 | 31053 253 65 | 7.841 % | c | 478 | 14036 76991 423077 | 34158 478 65 | 7.849 % | c | 816 | 13886 76991 423077 | 37574 781 65 | 10.276 % | c | 1322 | 13870 76991 423077 | 41331 1287 62 | 32.711 % | c | 2084 | 10230 76991 423077 | 45464 1791 63 | 32.711 % | c | 3223 | 10230 76991 423077 | 50011 2930 65 | 32.711 % | c | 4939 | 10216 76991 423077 | 55012 4645 79 | 32.803 % | c | 7501 | 10216 76991 423077 | 60513 7207 89 | 32.803 % | c | 11345 | 10216 76991 423077 | 66564 11051 92 | 32.803 % | c | 17112 | 10216 76991 423077 | 73221 16818 98 | 32.803 % | c | 25763 | 10216 76991 423077 | 80543 25469 97 | 32.803 % | c | 38743 | 10216 76991 423077 | 88597 38449 96 | 32.803 % | c | 58207 | 10176 76991 423077 | 97457 57912 97 | 33.079 % | c | 87403 | 10176 76991 423077 | 107203 87108 98 | 33.079 % | c | 131195 | 10174 76991 423077 | 117923 32062 75 | 33.079 % | c | 196885 | 10168 76991 423077 | 129716 97751 84 | 33.118 % | c | 295415 | 10141 76991 423077 | 142687 31044 79 | 33.296 % | c | 443204 | 10141 76991 423077 | 156956 46871 80 | 33.296 % | c restarts : 20 c conflicts : 479904 (267 /sec) c decisions : 654336 (1.83 % random) (364 /sec) c propagations : 222386068 (123548 /sec) c conflict literals : 42381319 (0.00 % deleted) c Memory used : 276.53 MB c CPU time : 1800 s c