c wbo 1.6 beta - 20110325 c | Number of variables: 150 | c | Number of clauses: 9537 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 150 | c | Number Clauses: 9387 | 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 9387 18774 | 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 9612 19224 | 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 9613 19236 | 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 9614 19248 | 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 9615 19256 | 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 | 322 9616 19268 | 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 | 328 9617 19280 | 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 9618 19288 | 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 9619 19296 | 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 | 340 9620 19304 | 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 9621 19316 | 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 9622 19328 | 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 | 356 9623 19336 | 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 9624 19344 | 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 9625 19356 | 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 9626 19368 | 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 9627 19376 | 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 9628 19384 | 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 9629 19392 | 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 9630 19404 | 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 9631 19412 | 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 9632 19424 | 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 | 404 9633 19432 | 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 9634 19440 | 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 9635 19448 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 416 9636 19456 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 420 9637 19464 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 426 9638 19476 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 432 9639 19488 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 436 9640 19496 | 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 9641 19508 | 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 9642 19520 | 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 | 456 9643 19536 | 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 | 466 9644 19556 | 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 | 478 9645 19580 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 490 9646 19604 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 500 9647 19624 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 526 9648 19676 | 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 | 544 9649 19712 | 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 | 554 9650 19732 | 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 9651 19752 | 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 9652 19772 | 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 | 584 9653 19792 | 5000 0 -nan | 0.000 % | c | 101 | 583 9653 19792 | 5500 101 11 | 0.342 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 604 9654 19832 | 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 | 614 9655 19852 | 5000 0 -nan | 0.000 % | c | 101 | 602 9655 19852 | 5500 101 10 | 2.118 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 644 9656 19912 | 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 | 664 9657 19952 | 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 | 676 9658 19976 | 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 | 702 9659 20028 | 5000 0 -nan | 0.000 % | c | 100 | 696 9659 20028 | 5500 100 9 | 1.140 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 722 9660 20068 | 5000 0 -nan | 0.000 % | c | 100 | 716 9660 20068 | 5500 100 9 | 0.831 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 744 9661 20112 | 5000 0 -nan | 0.000 % | c | 100 | 741 9661 20112 | 5500 100 11 | 0.403 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 774 9662 20172 | 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 | 792 9663 20208 | 5000 0 -nan | 0.000 % | c | 101 | 790 9663 20208 | 5500 101 9 | 0.273 % | c | 251 | 783 9663 20208 | 6050 251 11 | 1.137 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 818 9664 20260 | 5000 0 -nan | 0.000 % | c | 100 | 817 9664 20260 | 5500 100 12 | 0.140 % | c | 250 | 815 9664 20260 | 6050 250 14 | 0.489 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 866 9665 20356 | 5000 0 -nan | 0.000 % | c | 101 | 866 9665 20356 | 5500 101 17 | 0.017 % | c | 251 | 865 9665 20356 | 6050 251 18 | 0.116 % | c | 480 | 865 9665 20356 | 6655 480 24 | 0.116 % | c | 819 | 862 9665 20356 | 7320 819 32 | 0.478 % | c | 1328 | 862 9665 20356 | 8052 1328 35 | 0.485 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 918 9666 20460 | 5000 0 -nan | 0.000 % | c | 100 | 918 9666 20460 | 5500 100 22 | 0.015 % | c | 250 | 918 9666 20460 | 6050 250 35 | 0.015 % | c | 476 | 918 9666 20460 | 6655 476 37 | 0.000 % | c | 816 | 918 9666 20460 | 7320 816 40 | 0.000 % | c | 1325 | 918 9666 20460 | 8052 1325 44 | 0.000 % | c | 2085 | 918 9666 20460 | 8857 2085 46 | 0.015 % | c | 3226 | 918 9666 20460 | 9743 3226 49 | 0.015 % | c | 4938 | 917 9666 20460 | 10717 4938 50 | 0.124 % | c | 7502 | 917 9666 20460 | 11789 7502 51 | 0.110 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 976 9667 20576 | 5000 0 -nan | 0.000 % | c | 100 | 975 9667 20576 | 5500 100 13 | 0.116 % | c | 250 | 975 9667 20576 | 6050 250 24 | 0.103 % | c | 479 | 975 9667 20576 | 6655 479 23 | 0.103 % | c | 816 | 975 9667 20576 | 7320 816 26 | 0.103 % | c | 1324 | 975 9667 20576 | 8052 1324 30 | 0.118 % | c | 2083 | 970 9667 20576 | 8857 2083 34 | 0.730 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1052 9668 20728 | 5000 0 -nan | 0.000 % | c | 100 | 1052 9668 20728 | 5500 100 20 | 0.011 % | c | 251 | 1052 9668 20728 | 6050 251 32 | 0.000 % | c | 476 | 1052 9668 20728 | 6655 476 38 | 0.000 % | c | 815 | 1052 9668 20728 | 7320 815 42 | 0.011 % | c | 1324 | 1052 9668 20728 | 8052 1324 44 | 0.011 % | c | 2083 | 1052 9668 20728 | 8857 2083 54 | 0.000 % | c | 3227 | 1052 9668 20728 | 9743 3227 60 | 0.000 % | c | 4935 | 1052 9668 20728 | 10717 4935 68 | 0.011 % | c | 7497 | 1052 9668 20728 | 11789 7497 74 | 0.011 % | c | 11343 | 1052 9668 20728 | 12968 11343 75 | 0.011 % | c | 17116 | 1052 9668 20728 | 14265 10492 84 | 0.012 % | c | 25769 | 1050 9668 20728 | 15692 11874 85 | 0.202 % | c | 38743 | 1046 9668 20728 | 17261 8964 93 | 0.571 % | c | 58205 | 1042 9668 20728 | 18987 10979 104 | 0.961 % | c | 87397 | 1018 9668 20728 | 20886 11471 91 | 3.232 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1146 9669 20916 | 5000 0 -nan | 0.000 % | c | 102 | 1146 9669 20916 | 5500 102 28 | 0.010 % | c | 254 | 1146 9669 20916 | 6050 254 44 | 0.000 % | c | 480 | 1146 9669 20916 | 6655 480 36 | 0.000 % | c | 820 | 1146 9669 20916 | 7320 820 47 | 0.000 % | c | 1326 | 1146 9669 20916 | 8052 1326 54 | 0.000 % | c | 2085 | 1146 9669 20916 | 8857 2085 64 | 0.000 % | c | 3224 | 1146 9669 20916 | 9743 3224 83 | 0.010 % | c | 4932 | 1146 9669 20916 | 10717 4932 95 | 0.000 % | c | 7495 | 1146 9669 20916 | 11789 7495 98 | 0.000 % | c | 11339 | 1146 9669 20916 | 12968 11339 109 | 0.000 % | c | 17108 | 1146 9669 20916 | 14265 10512 124 | 0.000 % | c | 25761 | 1146 9669 20916 | 15692 11880 119 | 0.000 % | c | 38735 | 1146 9669 20916 | 17261 8878 145 | 0.009 % | c | 58196 | 1146 9669 20916 | 18987 10798 144 | 0.000 % | c | 87388 | 1146 9669 20916 | 20886 11065 138 | 0.010 % | c | 131181 | 1146 9669 20916 | 22974 12490 149 | 0.000 % | c | 196870 | 1146 9669 20916 | 25272 19742 156 | 0.000 % | c | 295397 | 1146 9669 20916 | 27799 15278 137 | 0.010 % | c | 443195 | 1146 9669 20916 | 30579 26318 177 | 0.010 % | c | 664879 | 1146 9669 20916 | 33637 15480 137 | 0.000 % | c | 997409 | 1145 9669 20916 | 37001 18131 159 | 0.087 % | c | 1496203 | 1108 9669 20916 | 40701 16695 124 | 3.316 % | c | 2244385 | 1058 9669 20916 | 44771 19280 153 | 7.679 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1296 9670 21216 | 5000 0 -nan | 0.000 % | c | 100 | 1296 9670 21216 | 5500 100 29 | 0.008 % | c | 252 | 1296 9670 21216 | 6050 252 38 | 0.000 % | c | 478 | 1296 9670 21216 | 6655 478 43 | 0.000 % | c | 816 | 1296 9670 21216 | 7320 816 62 | 0.000 % | c | 1325 | 1296 9670 21216 | 8052 1325 61 | 0.000 % | c | 2085 | 1296 9670 21216 | 8857 2085 84 | 0.000 % | c | 3224 | 1296 9670 21216 | 9743 3224 77 | 0.000 % | c | 4933 | 1296 9670 21216 | 10717 4933 97 | 0.007 % | c | 7495 | 1296 9670 21216 | 11789 7495 102 | 0.000 % | c | 11341 | 1296 9670 21216 | 12968 11341 105 | 0.000 % | c | 17111 | 1296 9670 21216 | 14265 10451 143 | 0.000 % | c | 25762 | 1296 9670 21216 | 15692 11803 167 | 0.000 % | c | 38737 | 1296 9670 21216 | 17261 8668 180 | 0.000 % | c | 58198 | 1296 9670 21216 | 18987 10453 179 | 0.000 % | c | 87390 | 1296 9670 21216 | 20886 10432 165 | 0.000 % | c | 131182 | 1296 9670 21216 | 22974 11674 170 | 0.000 % | c | 196873 | 1296 9670 21216 | 25272 18848 168 | 0.008 % | c CPU time : 1800 s c Total CPU time: 1800 s