c wbo 1.6 beta - 20110325 c | Number of variables: 5744 | c | Number of clauses: 68439 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.05 s | c | Number Variables: 5744 | c | Number Clauses: 66891 | 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 | 5736 66891 227339 | 22297 0 -nan | 0.000 % | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2419 68162 53157 | 22720 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2566 68244 55206 | 22748 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2729 68344 55930 | 22781 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3075 68425 65152 | 22808 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3294 68562 68760 | 22854 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3532 68739 70401 | 22913 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3700 68758 74641 | 22919 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4140 68994 78439 | 22998 0 -nan | 0.000 % | c | 100 | 4019 68994 78439 | 25297 100 9 | 47.496 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4247 69147 79582 | 23049 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4602 69264 88866 | 23088 0 -nan | 0.000 % | c | 100 | 4449 69264 88866 | 25396 100 7 | 44.589 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5005 69505 95019 | 23168 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5205 69696 95480 | 23232 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5344 69795 97373 | 23265 0 -nan | 0.000 % | c | 100 | 5282 69795 97373 | 25591 100 10 | 39.521 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5707 69959 105558 | 23319 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6301 70030 112394 | 23343 0 -nan | 0.000 % | c | 102 | 6225 70030 112394 | 25677 102 11 | 33.126 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6588 70146 117913 | 23382 0 -nan | 0.000 % | c | 100 | 6583 70146 117913 | 25720 100 13 | 28.942 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6842 70185 127126 | 23395 0 -nan | 0.000 % | c | 100 | 6747 70185 127126 | 25734 100 7 | 31.855 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 7057 70287 131206 | 23429 0 -nan | 0.000 % | c | 100 | 7048 70287 131206 | 25771 100 14 | 26.391 % | c | 250 | 7022 70287 131206 | 28349 250 21 | 26.548 % | c | 477 | 6796 70287 131206 | 31183 477 16 | 34.573 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 7898 70510 135639 | 23503 0 -nan | 0.000 % | c | 100 | 7898 70510 135639 | 25853 100 28 | 22.811 % | c | 250 | 7747 70510 135639 | 28439 250 19 | 24.697 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8236 70589 139382 | 23529 0 -nan | 0.000 % | c | 100 | 8229 70589 139382 | 25882 100 8 | 20.729 % | c | 255 | 8214 70589 139382 | 28470 255 14 | 20.787 % | c | 480 | 7945 70589 139382 | 31317 480 15 | 23.623 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9102 70657 143213 | 23552 0 -nan | 0.000 % | c | 100 | 9085 70657 143213 | 25907 100 8 | 17.264 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9213 70665 145331 | 23555 0 -nan | 0.000 % | c | 100 | 9188 70665 145331 | 25910 100 14 | 16.236 % | c | 251 | 9055 70665 145331 | 28501 251 13 | 17.978 % | c | 476 | 8854 70665 145331 | 31351 476 16 | 18.968 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 10499 70802 152177 | 23600 0 -nan | 0.000 % | c | 101 | 10499 70802 152177 | 25960 101 30 | 11.625 % | c | 253 | 10499 70802 152177 | 28556 253 37 | 11.625 % | c | 478 | 10471 70802 152177 | 31412 478 26 | 12.113 % | c | 815 | 10239 70802 152177 | 34553 815 22 | 13.813 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 11337 70952 157176 | 23650 0 -nan | 0.000 % | c | 101 | 11337 70952 157176 | 26015 101 17 | 11.069 % | c | 251 | 11336 70952 157176 | 28617 251 12 | 11.076 % | c | 476 | 11335 70952 157176 | 31479 476 11 | 11.084 % | c | 814 | 11334 70952 157176 | 34626 814 15 | 11.100 % | c | 1320 | 11140 70952 157176 | 38089 1320 18 | 12.967 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 11983 71068 158943 | 23689 0 -nan | 0.000 % | c | 100 | 11983 71068 158943 | 26058 100 17 | 10.521 % | c | 250 | 11983 71068 158943 | 28664 250 33 | 10.521 % | c | 475 | 11969 71068 158943 | 31530 475 34 | 10.626 % | c | 812 | 11969 71068 158943 | 34683 812 36 | 10.626 % | c | 1320 | 11967 71068 158943 | 38151 1320 44 | 10.700 % | c | 2080 | 11948 71068 158943 | 41967 2080 36 | 10.783 % | c | 3219 | 11948 71068 158943 | 46163 3219 36 | 10.783 % | c | 4927 | 11843 71068 158943 | 50780 4927 41 | 11.619 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 13139 71345 166518 | 23781 0 -nan | 0.000 % | c | 103 | 13139 71345 166518 | 26159 103 59 | 9.361 % | c | 256 | 13139 71345 166518 | 28775 256 39 | 9.361 % | c | 482 | 13139 71345 166518 | 31653 482 43 | 9.361 % | c | 820 | 13138 71345 166518 | 34818 820 71 | 9.368 % | c | 1327 | 13138 71345 166518 | 38300 1327 99 | 9.368 % | c | 2088 | 13138 71345 166518 | 42130 2088 103 | 9.368 % | c | 3227 | 13135 71345 166518 | 46343 3227 72 | 9.396 % | c | 4935 | 13104 71345 166518 | 50978 4935 62 | 9.610 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 14189 71823 175172 | 23941 0 -nan | 0.000 % | c | 100 | 14188 71823 175172 | 26335 100 11 | 8.442 % | c | 250 | 14188 71823 175172 | 28968 250 10 | 8.442 % | c | 476 | 14186 71823 175172 | 31865 476 12 | 8.442 % | c | 817 | 14186 71823 175172 | 35052 817 20 | 8.442 % | c | 1323 | 14186 71823 175172 | 38557 1323 28 | 8.442 % | c | 2083 | 14185 71823 175172 | 42412 2083 34 | 8.449 % | c | 3223 | 14185 71823 175172 | 46654 3223 45 | 8.449 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 15077 71997 186552 | 23999 0 -nan | 0.000 % | c | 102 | 15077 71997 186552 | 26398 102 18 | 7.554 % | c | 253 | 15077 71997 186552 | 29038 253 14 | 7.554 % | c | 479 | 15077 71997 186552 | 31942 479 15 | 7.554 % | c | 816 | 15077 71997 186552 | 35136 816 18 | 7.554 % | c | 1322 | 15077 71997 186552 | 38650 1322 18 | 7.554 % | c | 2081 | 15025 71997 186552 | 42515 2081 22 | 7.873 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 15503 72278 191052 | 24092 0 -nan | 0.000 % | c | 100 | 15503 72278 191052 | 26501 100 16 | 7.173 % | c | 253 | 15503 72278 191052 | 29152 253 19 | 7.173 % | c | 480 | 15503 72278 191052 | 32067 480 25 | 7.173 % | c | 817 | 15503 72278 191052 | 35274 817 60 | 7.173 % | c | 1324 | 15502 72278 191052 | 38801 1324 51 | 7.179 % | c | 2084 | 15502 72278 191052 | 42681 2084 45 | 7.179 % | c | 3224 | 15481 72278 191052 | 46949 3224 36 | 7.305 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 15713 72480 195426 | 24160 0 -nan | 0.000 % | c | 100 | 15711 72480 195426 | 26576 100 10 | 6.859 % | c | 250 | 15711 72480 195426 | 29233 250 12 | 6.859 % | c | 476 | 15711 72480 195426 | 32156 476 13 | 6.859 % | c | 813 | 15711 72480 195426 | 35372 813 14 | 6.859 % | c | 1319 | 15683 72480 195426 | 38909 1319 16 | 7.025 % | c | 2081 | 15666 72480 195426 | 42800 2081 18 | 7.126 % | c | 3222 | 15666 72480 195426 | 47081 3222 24 | 7.126 % | c | 4930 | 15666 72480 195426 | 51789 4930 32 | 7.126 % | c | 7492 | 15666 72480 195426 | 56968 7492 39 | 7.126 % | c | 11336 | 15666 72480 195426 | 62664 11336 65 | 7.126 % | c | 17102 | 15666 72480 195426 | 68931 17102 82 | 7.126 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 16130 72649 198525 | 24216 0 -nan | 0.000 % | c | 102 | 16130 72649 198525 | 26637 102 14 | 6.455 % | c | 252 | 16130 72649 198525 | 29301 252 14 | 6.455 % | c | 478 | 16130 72649 198525 | 32231 478 16 | 6.455 % | c | 815 | 16130 72649 198525 | 35455 815 15 | 6.455 % | c | 1323 | 16130 72649 198525 | 39000 1323 18 | 6.455 % | c | 2087 | 16127 72649 198525 | 42900 2087 19 | 6.472 % | c | 3228 | 16005 72649 198525 | 47190 3228 20 | 7.394 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 16371 72819 200158 | 24273 0 -nan | 0.000 % | c | 104 | 16371 72819 200158 | 26700 104 28 | 6.323 % | c | 255 | 16371 72819 200158 | 29370 255 38 | 6.323 % | c | 482 | 16371 72819 200158 | 32307 482 40 | 6.323 % | c | 819 | 16371 72819 200158 | 35538 819 32 | 6.323 % | c | 1327 | 16347 72819 200158 | 39091 1327 26 | 6.460 % | c | 2086 | 16309 72819 200158 | 43001 2086 23 | 6.689 % | c | 3225 | 16307 72819 200158 | 47301 3225 25 | 6.689 % | c | 4935 | 16279 72819 200158 | 52031 4935 26 | 6.878 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 16512 72946 202077 | 24315 0 -nan | 0.000 % | c | 100 | 16512 72946 202077 | 26746 100 26 | 6.171 % | c | 250 | 16512 72946 202077 | 29421 250 24 | 6.171 % | c | 475 | 16512 72946 202077 | 32363 475 35 | 6.171 % | c | 812 | 16512 72946 202077 | 35600 812 26 | 6.171 % | c | 1318 | 16486 72946 202077 | 39160 1318 20 | 6.319 % | c | 2080 | 16403 72946 202077 | 43076 2080 18 | 6.819 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 16635 73088 202936 | 24362 0 -nan | 0.000 % | c | 100 | 16634 73088 202936 | 26798 100 17 | 6.237 % | c | 250 | 16634 73088 202936 | 29478 250 13 | 6.237 % | c | 477 | 16584 73088 202936 | 32426 477 11 | 6.395 % | c | 816 | 16584 73088 202936 | 35669 816 24 | 6.395 % | c | 1322 | 16584 73088 202936 | 39236 1322 26 | 6.395 % | c | 2082 | 16583 73088 202936 | 43159 2082 30 | 6.401 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 16787 73168 204245 | 24389 0 -nan | 0.000 % | c | 100 | 16787 73168 204245 | 26828 100 17 | 6.013 % | c | 250 | 16787 73168 204245 | 29511 250 14 | 6.013 % | c | 479 | 16787 73168 204245 | 32462 479 14 | 6.013 % | c | 817 | 16769 73168 204245 | 35708 817 13 | 6.349 % | c | 1323 | 16691 73168 204245 | 39279 1323 31 | 6.668 % | c | 2082 | 16650 73168 204245 | 43207 2082 43 | 6.820 % | c | 3223 | 16636 73168 204245 | 47527 3223 44 | 6.993 % | c | 4932 | 16552 73168 204245 | 52280 4932 50 | 9.305 % | c | 7495 | 16175 73168 204245 | 57508 7495 57 | 11.064 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 16906 73237 204692 | 24412 0 -nan | 0.000 % | c | 101 | 16906 73237 204692 | 26853 101 36 | 5.963 % | c | 254 | 16906 73237 204692 | 29538 254 68 | 5.963 % | c | 482 | 16906 73237 204692 | 32492 482 49 | 5.963 % | c | 819 | 16906 73237 204692 | 35742 819 36 | 5.963 % | c | 1328 | 16711 73237 204692 | 39316 1328 28 | 7.604 % | c | 2088 | 16611 73237 204692 | 43247 2088 37 | 7.604 % | c | 3227 | 16611 73237 204692 | 47572 3227 38 | 7.604 % | c | 4935 | 13962 73237 204692 | 52330 4935 43 | 24.858 % | c | 7497 | 13509 73237 204692 | 57563 7497 47 | 24.858 % | c | 11343 | 13460 73237 204692 | 63319 11343 48 | 25.131 % | c | 17111 | 13460 73237 204692 | 69651 17111 51 | 25.131 % | c | 25761 | 13460 73237 204692 | 76616 25761 53 | 25.131 % | c | 38738 | 13460 73237 204692 | 84277 38738 56 | 25.131 % | c | 58199 | 13457 73237 204692 | 92705 58199 56 | 25.147 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 16985 73287 206400 | 24429 0 -nan | 0.000 % | c | 100 | 16985 73287 206400 | 26871 100 27 | 5.895 % | c | 250 | 16985 73287 206400 | 29559 250 21 | 5.895 % | c | 475 | 16985 73287 206400 | 32514 475 15 | 5.895 % | c | 812 | 16958 73287 206400 | 35766 812 13 | 7.856 % | c | 1318 | 16729 73287 206400 | 39343 1318 33 | 8.942 % | c | 2077 | 16435 73287 206400 | 43277 2077 55 | 8.942 % | c | 3219 | 16435 73287 206400 | 47605 3219 66 | 8.942 % | c | 4927 | 14184 73287 206400 | 52365 4927 72 | 25.514 % | c | 7489 | 13444 73287 206400 | 57602 7489 77 | 25.514 % | c | 11336 | 13444 73287 206400 | 63362 11336 83 | 25.514 % | c | 17102 | 13444 73287 206400 | 69698 17102 87 | 25.514 % | c | 25751 | 13438 73287 206400 | 76668 25751 84 | 25.547 % | c | 38726 | 13438 73287 206400 | 84335 38726 87 | 25.547 % | c | 58188 | 13438 73287 206400 | 92769 58188 87 | 25.547 % | c | 87380 | 13438 73287 206400 | 102045 87380 91 | 25.547 % | c | 131169 | 13438 73287 206400 | 112250 39610 91 | 25.547 % | c | 196854 | 13432 73287 206400 | 123475 105295 94 | 25.691 % | c | 295380 | 13406 73287 206400 | 135823 92202 106 | 25.724 % | c | 443169 | 13402 73287 206400 | 149405 116490 97 | 25.747 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 17088 73318 207118 | 24439 0 -nan | 0.000 % | c | 100 | 17088 73318 207118 | 26883 100 18 | 5.841 % | c | 253 | 17088 73318 207118 | 29571 253 19 | 5.841 % | c | 478 | 17088 73318 207118 | 32528 478 48 | 5.841 % | c | 816 | 17088 73318 207118 | 35781 816 33 | 5.841 % | c | 1326 | 17088 73318 207118 | 39359 1326 27 | 5.841 % | c | 2085 | 17088 73318 207118 | 43295 2085 30 | 5.841 % | c | 3225 | 17039 73318 207118 | 47625 3225 31 | 6.491 % | c | 4934 | 16977 73318 207118 | 52387 4934 54 | 6.491 % | c | 7497 | 16969 73318 207118 | 57626 7497 64 | 6.564 % | c | 11342 | 16929 73318 207118 | 63389 11342 76 | 25.033 % | c | 17108 | 13605 73318 207118 | 69728 17108 87 | 25.033 % | c | 25758 | 13605 73318 207118 | 76701 25758 93 | 25.033 % | c | 38733 | 13556 73318 207118 | 84371 38733 97 | 25.303 % | c | 58194 | 13556 73318 207118 | 92808 58194 102 | 25.303 % | c CPU time : 1800 s c Total CPU time: 1800 s