c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 650 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 150 | c | Number Clauses: 500 | 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 500 1500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 6 | 150 501 1650 | 5000 6 8 | 0.000 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 19 | 150 502 1800 | 5000 19 9 | 0.000 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 30 | 150 503 1950 | 5000 30 9 | 0.000 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 52 | 150 504 2100 | 5000 52 10 | 0.000 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 58 | 150 505 2250 | 5000 58 13 | 0.000 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 60 | 150 506 2400 | 5000 60 15 | 0.000 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 61 | 150 507 2550 | 5000 61 17 | 0.000 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 62 | 150 508 2700 | 5000 62 18 | 0.000 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 64 | 150 509 2850 | 5000 64 20 | 0.000 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 67 | 150 510 3000 | 5000 67 22 | 0.000 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 74 | 150 511 3150 | 5000 74 21 | 0.000 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 76 | 150 512 3300 | 5000 76 23 | 0.000 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 78 | 150 513 3450 | 5000 78 25 | 0.000 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 81 | 150 514 3600 | 5000 81 27 | 0.000 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 99 | 150 515 3750 | 5000 99 35 | 0.000 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 112 | 150 516 3900 | 5000 112 41 | 0.000 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 125 | 150 517 4050 | 5000 125 45 | 0.000 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 126 | 150 518 4200 | 5000 126 46 | 0.000 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 134 | 150 519 4350 | 5000 134 47 | 0.000 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 142 | 150 520 4500 | 5000 142 49 | 0.000 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 156 | 150 521 4650 | 5000 156 51 | 0.000 % | c | 256 | 150 521 4650 | 5500 256 59 | 0.004 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 266 | 150 522 4800 | 5000 266 60 | 0.004 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 278 | 150 523 4950 | 5000 278 61 | 0.004 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 330 | 150 524 5100 | 5000 330 63 | 0.004 % | c | 432 | 150 524 5100 | 5500 432 66 | 0.004 % | c | 584 | 150 524 5100 | 6050 584 69 | 0.005 % | c | 810 | 150 524 5100 | 6655 810 70 | 0.004 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 910 | 150 525 5250 | 5000 910 70 | 0.004 % | c | 1011 | 150 525 5250 | 5500 1011 71 | 0.004 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 1145 | 150 526 5400 | 5000 1145 71 | 0.004 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 1227 | 150 527 5550 | 5000 1227 71 | 0.004 % | c | 1327 | 150 527 5550 | 5500 1327 71 | 0.004 % | c | 1478 | 150 527 5550 | 6050 1478 71 | 0.005 % | c | 1706 | 150 527 5550 | 6655 1706 71 | 0.004 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 1824 | 150 528 5700 | 5000 1824 71 | 0.004 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 1862 | 150 529 5850 | 5000 1862 71 | 0.004 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 1870 | 150 530 6000 | 5000 1870 71 | 0.004 % | c | 1970 | 150 530 6000 | 5500 1970 70 | 0.004 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 0.179972 s Remaining CPU time: 179.82 s c =============================================================================== c | 2089 | 150 531 6150 | 5000 2089 70 | 0.004 % | c | 2189 | 150 531 6150 | 5500 2189 70 | 0.004 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 0.199969 s Remaining CPU time: 179.8 s c =============================================================================== c | 2330 | 150 532 6300 | 5000 2330 70 | 0.004 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 0.200969 s Remaining CPU time: 179.799 s c =============================================================================== c | 2335 | 150 533 6450 | 5000 2335 70 | 0.004 % | c | 2436 | 150 533 6450 | 5500 2436 70 | 0.004 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s c =============================================================================== c | 2490 | 150 534 6600 | 5000 2490 70 | 0.004 % | c | 2590 | 150 534 6600 | 5500 2590 70 | 0.005 % | c | 2741 | 150 534 6600 | 6050 2741 69 | 0.004 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 0.266959 s Remaining CPU time: 179.733 s c =============================================================================== c | 2929 | 150 535 6750 | 5000 2929 69 | 0.004 % | c | 3032 | 150 535 6750 | 5500 3032 69 | 0.004 % | c | 3182 | 150 535 6750 | 6050 3182 68 | 0.004 % | c | 3410 | 150 535 6750 | 6655 3410 68 | 0.004 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 0.330949 s Remaining CPU time: 179.669 s c =============================================================================== c | 3422 | 150 536 6900 | 5000 3422 68 | 0.004 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 0.334949 s Remaining CPU time: 179.665 s c =============================================================================== c | 3447 | 150 537 7050 | 5000 3447 68 | 0.004 % | c | 3547 | 150 537 7050 | 5500 3547 67 | 0.004 % | c | 3698 | 150 537 7050 | 6050 3698 67 | 0.004 % | c | 3924 | 150 537 7050 | 6655 3924 66 | 0.004 % | c | 4261 | 150 537 7050 | 7320 4261 65 | 0.004 % | c | 4768 | 150 537 7050 | 8052 4768 64 | 0.004 % | c | 5527 | 150 537 7050 | 8857 5527 63 | 0.004 % | c | 6666 | 150 537 7050 | 9743 6666 62 | 0.004 % | c | 8375 | 150 537 7050 | 10717 8375 62 | 0.004 % | c | 10940 | 150 537 7050 | 11789 5554 59 | 0.004 % | c | 14786 | 150 537 7050 | 12968 9400 60 | 0.004 % | c | 20553 | 150 537 7050 | 14265 8639 61 | 0.004 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 5.58115 s Remaining CPU time: 174.419 s c =============================================================================== c | 28224 | 150 538 7200 | 5000 9134 61 | 0.004 % | c | 28324 | 150 538 7200 | 5500 4667 61 | 0.004 % | c | 28474 | 150 538 7200 | 6050 4817 61 | 0.004 % | c | 28702 | 150 538 7200 | 6655 5045 61 | 0.004 % | c | 29039 | 150 538 7200 | 7320 5382 61 | 0.004 % | c | 29545 | 150 538 7200 | 8052 5888 61 | 0.004 % | c | 30306 | 150 538 7200 | 8857 6649 61 | 0.004 % | c | 31446 | 150 538 7200 | 9743 7789 61 | 0.004 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 6.13407 s Remaining CPU time: 173.866 s c =============================================================================== c | 31477 | 150 539 7350 | 5000 7820 61 | 0.004 % | c | 31577 | 150 539 7350 | 5500 4010 59 | 0.004 % | c | 31728 | 150 539 7350 | 6050 4161 59 | 0.004 % | c | 31953 | 150 539 7350 | 6655 4386 59 | 0.004 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 6.28704 s Remaining CPU time: 173.713 s c =============================================================================== c | 32249 | 150 540 7500 | 5000 4682 59 | 0.004 % | c | 32349 | 150 540 7500 | 5500 4782 59 | 0.004 % | c | 32502 | 150 540 7500 | 6050 4935 59 | 0.004 % | c | 32727 | 150 540 7500 | 6655 5160 59 | 0.004 % | c | 33065 | 150 540 7500 | 7320 5498 59 | 0.004 % | c | 33571 | 150 540 7500 | 8052 6004 59 | 0.004 % | c | 34330 | 150 540 7500 | 8857 6763 59 | 0.004 % | c | 35469 | 150 540 7500 | 9743 7902 59 | 0.004 % | c | 37178 | 150 540 7500 | 10717 9611 58 | 0.004 % | c | 39740 | 150 540 7500 | 11789 6769 54 | 0.004 % | c | 43584 | 150 540 7500 | 12968 10613 52 | 0.004 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 9.8405 s Remaining CPU time: 170.159 s c =============================================================================== c | 47818 | 150 541 7650 | 5000 8316 52 | 0.004 % | c | 47919 | 150 541 7650 | 5500 4259 55 | 0.004 % | c | 48070 | 150 541 7650 | 6050 4410 55 | 0.004 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 9.90849 s Remaining CPU time: 170.092 s c =============================================================================== c | 48256 | 150 542 7800 | 5000 4596 55 | 0.004 % | c | 48357 | 150 542 7800 | 5500 4697 55 | 0.004 % | c | 48507 | 150 542 7800 | 6050 4847 55 | 0.004 % | c | 48733 | 150 542 7800 | 6655 5073 55 | 0.004 % | c | 49072 | 150 542 7800 | 7320 5412 54 | 0.004 % | c | 49579 | 150 542 7800 | 8052 5919 54 | 0.004 % | c | 50338 | 150 542 7800 | 8857 6678 54 | 0.005 % | c | 51479 | 150 542 7800 | 9743 7819 54 | 0.004 % | c | 53187 | 150 542 7800 | 10717 9527 55 | 0.005 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 10.9793 s Remaining CPU time: 169.021 s c =============================================================================== c | 54061 | 150 543 7950 | 5000 10401 55 | 0.005 % | c | 54161 | 150 543 7950 | 5500 2701 53 | 0.004 % | c | 54312 | 150 543 7950 | 6050 2852 53 | 0.005 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 11.0593 s Remaining CPU time: 168.941 s c =============================================================================== c | 54342 | 150 544 8100 | 5000 2882 53 | 0.005 % | c | 54443 | 150 544 8100 | 5500 2983 53 | 0.004 % | c | 54594 | 150 544 8100 | 6050 3134 53 | 0.004 % | c | 54822 | 150 544 8100 | 6655 3362 54 | 0.004 % | c | 55159 | 150 544 8100 | 7320 3699 54 | 0.004 % | c | 55667 | 150 544 8100 | 8052 4207 54 | 0.004 % | c | 56427 | 150 544 8100 | 8857 4967 51 | 0.004 % | c | 57570 | 150 544 8100 | 9743 6110 50 | 0.004 % | c | 59281 | 150 544 8100 | 10717 7821 51 | 0.004 % | c | 61843 | 150 544 8100 | 11789 10383 51 | 0.004 % | c | 65687 | 150 544 8100 | 12968 8295 51 | 0.004 % | c | 71453 | 150 544 8100 | 14265 7560 45 | 0.004 % | c | 80102 | 150 544 8100 | 15692 9032 51 | 0.004 % | c | 93077 | 150 544 8100 | 17261 14125 49 | 0.004 % | c | 112538 | 150 544 8100 | 18987 16268 46 | 0.004 % | c | 141730 | 150 544 8100 | 20886 16927 49 | 0.004 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 51.1022 s Remaining CPU time: 128.898 s c =============================================================================== c | 170464 | 150 545 8250 | 5000 14255 41 | 0.004 % | c | 170566 | 150 545 8250 | 5500 3666 40 | 0.004 % | c | 170716 | 150 545 8250 | 6050 3816 41 | 0.004 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 51.2292 s Remaining CPU time: 128.771 s c =============================================================================== c | 170811 | 150 546 8400 | 5000 3911 41 | 0.004 % | c | 170912 | 150 546 8400 | 5500 4012 41 | 0.004 % | c | 171066 | 150 546 8400 | 6050 4166 41 | 0.004 % | c | 171291 | 150 546 8400 | 6655 4391 42 | 0.005 % | c | 171629 | 150 546 8400 | 7320 4729 42 | 0.009 % | c | 172136 | 150 546 8400 | 8052 5236 43 | 0.005 % | c | 172895 | 150 546 8400 | 8857 5995 44 | 0.004 % | c | 174034 | 150 546 8400 | 9743 7134 45 | 0.005 % | c | 175745 | 150 546 8400 | 10717 8845 46 | 0.004 % | c | 178307 | 150 546 8400 | 11789 6035 45 | 0.005 % | c | 182151 | 150 546 8400 | 12968 9879 46 | 0.004 % | c | 187920 | 150 546 8400 | 14265 9138 44 | 0.009 % | c | 196573 | 150 546 8400 | 15692 10611 46 | 0.005 % | c | 209548 | 150 546 8400 | 17261 15710 47 | 0.004 % | c | 229009 | 150 546 8400 | 18987 9164 48 | 0.009 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 73.8168 s Remaining CPU time: 106.183 s c =============================================================================== c | 246781 | 150 547 8550 | 5000 17404 50 | 0.009 % | c | 246884 | 150 547 8550 | 5500 4454 50 | 0.009 % | c | 247035 | 150 547 8550 | 6050 4605 50 | 0.005 % | c | 247263 | 150 547 8550 | 6655 4833 50 | 0.004 % | c | 247600 | 150 547 8550 | 7320 5170 49 | 0.005 % | c | 248106 | 150 547 8550 | 8052 5676 49 | 0.004 % | c | 248866 | 150 547 8550 | 8857 6436 50 | 0.004 % | c | 250005 | 150 547 8550 | 9743 7575 50 | 0.004 % | c | 251713 | 150 547 8550 | 10717 9283 50 | 0.004 % | c | 254277 | 150 547 8550 | 11789 6449 47 | 0.009 % | c | 258123 | 150 547 8550 | 12968 10295 48 | 0.004 % | c | 263891 | 150 547 8550 | 14265 9552 50 | 0.005 % | c | 272541 | 150 547 8550 | 15692 11034 49 | 0.004 % | c | 285517 | 150 547 8550 | 17261 8253 48 | 0.004 % | c | 304979 | 150 547 8550 | 18987 10376 41 | 0.005 % | c | 334178 | 150 547 8550 | 20886 11004 40 | 0.009 % | c | 377969 | 150 547 8550 | 22974 12902 42 | 0.004 % | c | 443654 | 150 547 8550 | 25272 20979 48 | 0.013 % | c There are 0 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 256 785 8898 | 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 | 275 786 9019 | 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 | 331 789 9259 | 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 | 405 793 9496 | 5000 0 nan | 0.000 % | c | 101 | 403 793 9496 | 5500 101 14 | 1.229 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 493 798 9718 | 5000 0 nan | 0.000 % | c | 100 | 493 798 9718 | 5500 100 32 | 0.203 % | c | 251 | 493 798 9718 | 6050 251 20 | 0.405 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 597 804 9952 | 5000 0 nan | 0.000 % | c | 100 | 597 804 9952 | 5500 100 40 | 0.029 % | c | 251 | 597 804 9952 | 6050 251 25 | 0.000 % | c | 476 | 597 804 9952 | 6655 476 22 | 0.000 % | c | 813 | 597 804 9952 | 7320 813 27 | 0.000 % | c | 1320 | 597 804 9952 | 8052 1320 32 | 0.000 % | c | 2079 | 597 804 9952 | 8857 2079 34 | 0.000 % | c | 3219 | 597 804 9952 | 9743 3219 34 | 0.000 % | c | 4930 | 597 804 9952 | 10717 4930 32 | 0.000 % | c | 7492 | 596 804 9952 | 11789 1577 19 | 0.168 % | c | 11336 | 596 804 9952 | 12968 5421 31 | 0.168 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 683 813 10145 | 5000 0 nan | 0.000 % | c | 101 | 683 813 10145 | 5500 101 47 | 0.000 % | c | 251 | 683 813 10145 | 6050 251 29 | 0.000 % | c | 477 | 683 813 10145 | 6655 477 22 | 0.000 % | c | 817 | 683 813 10145 | 7320 817 22 | 0.000 % | c | 1327 | 683 813 10145 | 8052 1327 28 | 0.000 % | c | 2086 | 683 813 10145 | 8857 2086 33 | 0.000 % | c | 3225 | 683 813 10145 | 9743 3225 35 | 0.000 % | c | 4933 | 683 813 10145 | 10717 4933 35 | 0.000 % | c | 7499 | 683 813 10145 | 11789 7499 37 | 0.000 % | c | 11343 | 683 813 10145 | 12968 11343 37 | 0.000 % | c | 17111 | 683 813 10145 | 14265 10611 36 | 0.000 % | c | 25765 | 683 813 10145 | 15692 12107 34 | 0.001 % | c | 38740 | 683 813 10145 | 17261 9321 41 | 0.000 % | c | 58201 | 682 813 10145 | 18987 8735 34 | 0.147 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 750 821 10296 | 5000 0 nan | 0.000 % | c | 100 | 750 821 10296 | 5500 100 55 | 0.000 % | c | 253 | 750 821 10296 | 6050 253 36 | 0.000 % | c | 480 | 750 821 10296 | 6655 480 28 | 0.000 % | c | 818 | 750 821 10296 | 7320 818 27 | 0.000 % | c | 1326 | 750 821 10296 | 8052 1326 28 | 0.001 % | c | 2089 | 750 821 10296 | 8857 2089 30 | 0.000 % | c | 3229 | 750 821 10296 | 9743 3229 33 | 0.001 % | c | 4937 | 750 821 10296 | 10717 4937 37 | 0.000 % | c | 7501 | 750 821 10296 | 11789 7501 38 | 0.000 % | c | 11348 | 750 821 10296 | 12968 11348 37 | 0.000 % | c | 17114 | 750 821 10296 | 14265 10591 39 | 0.000 % | c | 25763 | 750 821 10296 | 15692 12081 41 | 0.000 % | c | 38739 | 750 821 10296 | 17261 9332 34 | 0.001 % | c | 58203 | 750 821 10296 | 18987 11509 30 | 0.001 % | c =============================================================================== c Total CPU time: 255.442 s