c wbo 1.6 beta - 20110325 c | Number of variables: 150 | c | Number of clauses: 8196 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 150 | c | Number Clauses: 8046 | 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 8046 16092 | 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 8271 16542 | 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 | 306 8272 16554 | 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 | 312 8273 16566 | 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 | 316 8274 16574 | 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 8275 16582 | 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 8276 16594 | 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 8277 16606 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 336 8278 16614 | 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 8279 16626 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 346 8280 16634 | 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 8281 16642 | 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 8282 16650 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 360 8283 16662 | 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 | 366 8284 16674 | 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 8285 16686 | 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 8286 16698 | 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 8287 16710 | 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 8288 16722 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 396 8289 16734 | 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 8290 16746 | 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 | 408 8291 16758 | 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 | 412 8292 16766 | 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 8293 16778 | 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 8294 16790 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 430 8295 16802 | 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 8296 16810 | 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 8297 16818 | 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 | 442 8298 16826 | 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 | 448 8299 16838 | 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 | 458 8300 16858 | 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 8301 16890 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 484 8302 16910 | 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 | 494 8303 16930 | 5000 0 -nan | 0.000 % | c | 101 | 490 8303 16930 | 5500 101 8 | 1.015 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 522 8304 16986 | 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 | 534 8305 17010 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 552 8306 17046 | 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 | 564 8307 17070 | 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 | 574 8308 17090 | 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 | 592 8309 17126 | 5000 0 -nan | 0.000 % | c | 101 | 591 8309 17126 | 5500 101 11 | 0.212 % | c | 252 | 582 8309 17126 | 6050 252 12 | 1.689 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 614 8310 17170 | 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 8311 17190 | 5000 0 -nan | 0.000 % | c | 101 | 613 8311 17190 | 5500 101 8 | 3.526 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 652 8312 17246 | 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 | 674 8313 17290 | 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 | 690 8314 17322 | 5000 0 -nan | 0.000 % | c | 100 | 689 8314 17322 | 5500 100 10 | 0.290 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 730 8315 17402 | 5000 0 -nan | 0.000 % | c | 101 | 726 8315 17402 | 5500 101 9 | 0.548 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 752 8316 17446 | 5000 0 -nan | 0.000 % | c | 100 | 752 8316 17446 | 5500 100 12 | 0.018 % | c | 250 | 752 8316 17446 | 6050 250 13 | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 790 8317 17522 | 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 | 822 8318 17586 | 5000 0 -nan | 0.000 % | c | 100 | 819 8318 17586 | 5500 100 9 | 0.386 % | c | 252 | 818 8318 17586 | 6050 252 14 | 0.487 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 858 8319 17658 | 5000 0 -nan | 0.000 % | c | 101 | 858 8319 17658 | 5500 101 15 | 0.014 % | c | 253 | 858 8319 17658 | 6050 253 24 | 0.000 % | c | 479 | 858 8319 17658 | 6655 479 23 | 0.015 % | c | 818 | 858 8319 17658 | 7320 818 27 | 0.000 % | c | 1324 | 858 8319 17658 | 8052 1324 26 | 0.015 % | c | 2084 | 858 8319 17658 | 8857 2084 28 | 0.001 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 920 8320 17782 | 5000 0 -nan | 0.000 % | c | 101 | 920 8320 17782 | 5500 101 22 | 0.012 % | c | 251 | 920 8320 17782 | 6050 251 23 | 0.013 % | c | 477 | 920 8320 17782 | 6655 477 27 | 0.000 % | c | 814 | 920 8320 17782 | 7320 814 32 | 0.012 % | c | 1320 | 920 8320 17782 | 8052 1320 41 | 0.000 % | c | 2082 | 920 8320 17782 | 8857 2082 43 | 0.013 % | c | 3221 | 920 8320 17782 | 9743 3221 46 | 0.012 % | c | 4930 | 920 8320 17782 | 10717 4930 45 | 0.013 % | c | 7494 | 918 8320 17782 | 11789 7494 49 | 0.230 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 984 8321 17910 | 5000 0 -nan | 0.000 % | c | 102 | 984 8321 17910 | 5500 102 17 | 0.010 % | c | 255 | 984 8321 17910 | 6050 255 24 | 0.000 % | c | 481 | 984 8321 17910 | 6655 481 23 | 0.000 % | c | 819 | 984 8321 17910 | 7320 819 30 | 0.000 % | c | 1326 | 984 8321 17910 | 8052 1326 36 | 0.015 % | c | 2088 | 984 8321 17910 | 8857 2088 44 | 0.011 % | c | 3228 | 983 8321 17910 | 9743 3228 47 | 0.114 % | c | 4936 | 981 8321 17910 | 10717 4936 51 | 0.305 % | c | 7500 | 974 8321 17910 | 11789 7500 54 | 1.016 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1056 8322 18054 | 5000 0 -nan | 0.000 % | c | 101 | 1056 8322 18054 | 5500 101 22 | 0.009 % | c | 253 | 1056 8322 18054 | 6050 253 25 | 0.000 % | c | 483 | 1056 8322 18054 | 6655 483 41 | 0.000 % | c | 821 | 1056 8322 18054 | 7320 821 45 | 0.000 % | c | 1327 | 1056 8322 18054 | 8052 1327 61 | 0.010 % | c | 2087 | 1056 8322 18054 | 8857 2087 83 | 0.000 % | c | 3226 | 1056 8322 18054 | 9743 3226 76 | 0.000 % | c | 4934 | 1056 8322 18054 | 10717 4934 80 | 0.010 % | c | 7496 | 1056 8322 18054 | 11789 7496 85 | 0.010 % | c | 11344 | 1056 8322 18054 | 12968 11344 83 | 0.000 % | c | 17110 | 1056 8322 18054 | 14265 10519 85 | 0.000 % | c | 25766 | 1054 8322 18054 | 15692 11886 81 | 0.200 % | c | 38744 | 1049 8322 18054 | 17261 8942 98 | 0.663 % | c | 58205 | 1030 8322 18054 | 18987 10976 84 | 2.557 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1156 8323 18254 | 5000 0 -nan | 0.000 % | c | 103 | 1156 8323 18254 | 5500 103 20 | 0.007 % | c | 255 | 1156 8323 18254 | 6050 255 37 | 0.000 % | c | 480 | 1156 8323 18254 | 6655 480 35 | 0.000 % | c | 818 | 1156 8323 18254 | 7320 818 39 | 0.000 % | c | 1324 | 1156 8323 18254 | 8052 1324 44 | 0.000 % | c | 2083 | 1156 8323 18254 | 8857 2083 72 | 0.000 % | c | 3223 | 1156 8323 18254 | 9743 3223 88 | 0.000 % | c | 4931 | 1156 8323 18254 | 10717 4931 101 | 0.000 % | c | 7495 | 1156 8323 18254 | 11789 7495 112 | 0.000 % | c | 11346 | 1156 8323 18254 | 12968 11346 117 | 0.000 % | c | 17112 | 1156 8323 18254 | 14265 10486 132 | 0.000 % | c | 25761 | 1156 8323 18254 | 15692 11793 110 | 0.000 % | c | 38736 | 1154 8323 18254 | 17261 8843 86 | 0.181 % | c | 58197 | 1150 8323 18254 | 18987 10749 109 | 0.527 % | c | 87389 | 1148 8323 18254 | 20886 11089 106 | 0.692 % | c | 131180 | 1142 8323 18254 | 22974 12618 91 | 1.218 % | c | 196865 | 1142 8323 18254 | 25272 20132 151 | 1.211 % | c | 295398 | 1142 8323 18254 | 27799 25234 106 | 1.211 % | c | 443195 | 1139 8323 18254 | 30579 20979 105 | 1.478 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1306 8324 18554 | 5000 0 -nan | 0.000 % | c | 100 | 1306 8324 18554 | 5500 100 26 | 0.006 % | c | 251 | 1306 8324 18554 | 6050 251 37 | 0.000 % | c | 476 | 1306 8324 18554 | 6655 476 39 | 0.000 % | c | 816 | 1306 8324 18554 | 7320 816 47 | 0.000 % | c | 1322 | 1306 8324 18554 | 8052 1322 46 | 0.000 % | c | 2082 | 1306 8324 18554 | 8857 2082 62 | 0.006 % | c | 3225 | 1306 8324 18554 | 9743 3225 58 | 0.006 % | c | 4935 | 1306 8324 18554 | 10717 4935 73 | 0.006 % | c | 7500 | 1306 8324 18554 | 11789 7500 84 | 0.000 % | c | 11349 | 1306 8324 18554 | 12968 11349 97 | 0.006 % | c | 17128 | 1306 8324 18554 | 14265 10534 113 | 0.000 % | c | 25777 | 1306 8324 18554 | 15692 11878 121 | 0.000 % | c | 38751 | 1305 8324 18554 | 17261 8931 110 | 0.083 % | c | 58212 | 1305 8324 18554 | 18987 10825 134 | 0.077 % | c | 87407 | 1305 8324 18554 | 20886 11063 134 | 0.077 % | c | 131198 | 1305 8324 18554 | 22974 12389 166 | 0.077 % | c | 196887 | 1305 8324 18554 | 25272 19915 178 | 0.077 % | c | 295415 | 1305 8324 18554 | 27799 12688 217 | 0.077 % | c | 443205 | 1305 8324 18554 | 30579 23741 171 | 0.077 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1450 8325 18842 | 5000 0 -nan | 0.000 % | c | 100 | 1450 8325 18842 | 5500 100 58 | 0.005 % | c | 250 | 1450 8325 18842 | 6050 250 69 | 0.000 % | c | 477 | 1450 8325 18842 | 6655 477 62 | 0.000 % | c | 816 | 1450 8325 18842 | 7320 816 72 | 0.000 % | c | 1322 | 1450 8325 18842 | 8052 1322 78 | 0.000 % | c | 2082 | 1450 8325 18842 | 8857 2082 88 | 0.000 % | c | 3221 | 1450 8325 18842 | 9743 3221 106 | 0.000 % | c | 4930 | 1450 8325 18842 | 10717 4930 137 | 0.000 % | c | 7492 | 1450 8325 18842 | 11789 7492 159 | 0.000 % | c | 11338 | 1450 8325 18842 | 12968 11338 175 | 0.000 % | c | 17105 | 1450 8325 18842 | 14265 10256 183 | 0.000 % | c | 25754 | 1450 8325 18842 | 15692 11492 236 | 0.000 % | c | 38728 | 1450 8325 18842 | 17261 8406 277 | 0.000 % | c | 58190 | 1450 8325 18842 | 18987 10128 194 | 0.000 % | c | 87385 | 1450 8325 18842 | 20886 10139 235 | 0.000 % | c | 131179 | 1450 8325 18842 | 22974 11158 234 | 0.000 % | c | 196870 | 1450 8325 18842 | 25272 17829 200 | 0.005 % | c | 295396 | 1450 8325 18842 | 27799 24316 238 | 0.000 % | c | 443186 | 1450 8325 18842 | 30579 15188 124 | 0.000 % | c | 664870 | 1450 8325 18842 | 33637 22366 281 | 0.000 % | c | 997396 | 1450 8325 18842 | 37001 18542 209 | 0.000 % | c | 1496184 | 1450 8325 18842 | 40701 18938 239 | 0.000 % | c CPU time : 1800 s c Total CPU time: 1800 s