MAIN BEGIN : [Thu Jun 1 04:20:45 2006] READ BEGIN : csp/abz6.csp [Thu Jun 1 04:20:45 2006] READ END : csp/abz6.csp (1 seconds) [Thu Jun 1 04:20:46 2006] READ CPU : 1.37 = 1.37 + 0 + 0 + 0 # BOUND : makespan 742 1071 GENERATE_CNF 1071 BEGIN : [Thu Jun 1 04:20:46 2006] GENERATE_CNF 1071 END : 108631 variables 1115004 clauses 24712791 bytes (54 seconds) [Thu Jun 1 04:21:40 2006] GENERATE_CNF 1071 CPU : 53.84 = 53.77 + 0.07 + 0 + 0 MODIFY_CNF 906 BEGIN : [Thu Jun 1 04:21:40 2006] MODIFY_CNF 906 END : 24712797 bytes (0 seconds) [Thu Jun 1 04:21:40 2006] MODIFY_CNF 906 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 906 BEGIN : [Thu Jun 1 04:21:40 2006] CMD : minisat /work/tamura/csp2sat69928.cnf /work/tamura/csp2sat69928.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 355682 1035468 | 118560 0 0 NaNQ | 0.000 % | ==============================================================================) restarts : 1 conflicts : 37 (24 /sec) decisions : 54 (36 /sec) propagations : 328925 (217553 /sec) inspects : 1701378 (1125300 /sec) conflict literals : 129 (19.88 % deleted) CPU time : 1.51193 s UNSATISFIABLE VERIFY_CNF 906 END : (2 seconds) [Thu Jun 1 04:21:42 2006] VERIFY_CNF 906 CPU : 1.76 = 0 + 0 + 1.74 + 0.02 # RESULT : makespan 906 UNSATISFIABLE # BOUND : makespan 907 1071 MODIFY_CNF 989 BEGIN : [Thu Jun 1 04:21:42 2006] MODIFY_CNF 989 END : 24712797 bytes (0 seconds) [Thu Jun 1 04:21:42 2006] MODIFY_CNF 989 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 989 BEGIN : [Thu Jun 1 04:21:42 2006] CMD : minisat /work/tamura/csp2sat69928.cnf /work/tamura/csp2sat69928.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 473619 1380799 | 157873 0 0 NaNQ | 0.000 % | ==============================================================================) restarts : 1 conflicts : 3 (2 /sec) decisions : 122 (91 /sec) propagations : 133140 (99287 /sec) inspects : 795839 (593483 /sec) conflict literals : 18 (14.29 % deleted) CPU time : 1.34096 s SATISFIABLE VERIFY_CNF 989 END : (2 seconds) [Thu Jun 1 04:21:44 2006] VERIFY_CNF 989 CPU : 1.68 = 0 + 0.01 + 1.64 + 0.03 # RESULT : makespan 989 SATISFIABLE SHOW_RESULT 989 BEGIN : [Thu Jun 1 04:21:44 2006] # ASSIGN : makespan 989 # ASSIGN : s_0_0 2 # ASSIGN : s_0_1 64 # ASSIGN : s_0_2 88 # ASSIGN : s_0_3 113 # ASSIGN : s_0_4 197 # ASSIGN : s_0_5 244 # ASSIGN : s_0_6 369 # ASSIGN : s_0_7 463 # ASSIGN : s_0_8 562 # ASSIGN : s_0_9 586 # ASSIGN : s_1_0 2 # ASSIGN : s_1_1 49 # ASSIGN : s_1_2 186 # ASSIGN : s_1_3 278 # ASSIGN : s_1_4 300 # ASSIGN : s_1_5 473 # ASSIGN : s_1_6 708 # ASSIGN : s_1_7 764 # ASSIGN : s_1_8 844 # ASSIGN : s_1_9 922 # ASSIGN : s_2_0 33 # ASSIGN : s_2_1 78 # ASSIGN : s_2_2 124 # ASSIGN : s_2_3 146 # ASSIGN : s_2_4 172 # ASSIGN : s_2_5 242 # ASSIGN : s_2_6 502 # ASSIGN : s_2_7 542 # ASSIGN : s_2_8 575 # ASSIGN : s_2_9 893 # ASSIGN : s_3_0 25 # ASSIGN : s_3_1 110 # ASSIGN : s_3_2 263 # ASSIGN : s_3_3 331 # ASSIGN : s_3_4 463 # ASSIGN : s_3_5 499 # ASSIGN : s_3_6 596 # ASSIGN : s_3_7 652 # ASSIGN : s_3_8 687 # ASSIGN : s_3_9 809 # ASSIGN : s_4_0 4 # ASSIGN : s_4_1 79 # ASSIGN : s_4_2 172 # ASSIGN : s_4_3 197 # ASSIGN : s_4_4 260 # ASSIGN : s_4_5 341 # ASSIGN : s_4_6 393 # ASSIGN : s_4_7 476 # ASSIGN : s_4_8 574 # ASSIGN : s_4_9 825 # ASSIGN : s_5_0 12 # ASSIGN : s_5_1 99 # ASSIGN : s_5_2 212 # ASSIGN : s_5_3 263 # ASSIGN : s_5_4 358 # ASSIGN : s_5_5 423 # ASSIGN : s_5_6 628 # ASSIGN : s_5_7 650 # ASSIGN : s_5_8 764 # ASSIGN : s_5_9 924 # ASSIGN : s_6_0 129 # ASSIGN : s_6_1 210 # ASSIGN : s_6_2 291 # ASSIGN : s_6_3 348 # ASSIGN : s_6_4 419 # ASSIGN : s_6_5 556 # ASSIGN : s_6_6 766 # ASSIGN : s_6_7 808 # ASSIGN : s_6_8 862 # ASSIGN : s_6_9 920 # ASSIGN : s_7_0 138 # ASSIGN : s_7_1 158 # ASSIGN : s_7_2 355 # ASSIGN : s_7_3 395 # ASSIGN : s_7_4 500 # ASSIGN : s_7_5 562 # ASSIGN : s_7_6 599 # ASSIGN : s_7_7 688 # ASSIGN : s_7_8 894 # ASSIGN : s_7_9 943 # ASSIGN : s_8_0 210 # ASSIGN : s_8_1 282 # ASSIGN : s_8_2 376 # ASSIGN : s_8_3 474 # ASSIGN : s_8_4 560 # ASSIGN : s_8_5 626 # ASSIGN : s_8_6 682 # ASSIGN : s_8_7 769 # ASSIGN : s_8_8 864 # ASSIGN : s_8_9 911 # ASSIGN : s_9_0 311 # ASSIGN : s_9_1 367 # ASSIGN : s_9_2 417 # ASSIGN : s_9_3 451 # ASSIGN : s_9_4 509 # ASSIGN : s_9_5 674 # ASSIGN : s_9_6 708 # ASSIGN : s_9_7 792 # ASSIGN : s_9_8 832 # ASSIGN : s_9_9 878 SHOW_RESULT 989 END : 989 (0 seconds) [Thu Jun 1 04:21:44 2006] SHOW_RESULT 989 CPU : 0.299999999999997 = 0.299999999999997 + 0 + 0 + 0 # BOUND : makespan 907 989 MODIFY_CNF 948 BEGIN : [Thu Jun 1 04:21:44 2006] MODIFY_CNF 948 END : 24712797 bytes (0 seconds) [Thu Jun 1 04:21:44 2006] MODIFY_CNF 948 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 948 BEGIN : [Thu Jun 1 04:21:44 2006] CMD : minisat /work/tamura/csp2sat69928.cnf /work/tamura/csp2sat69928.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 410362 1195220 | 136787 0 0 NaNQ | 0.000 % | ==============================================================================) restarts : 1 conflicts : 7 (5 /sec) decisions : 109 (75 /sec) propagations : 138473 (95696 /sec) inspects : 814121 (562626 /sec) conflict literals : 45 (13.46 % deleted) CPU time : 1.447 s SATISFIABLE VERIFY_CNF 948 END : (2 seconds) [Thu Jun 1 04:21:46 2006] VERIFY_CNF 948 CPU : 1.82 = 0.00999999999999801 + 0 + 1.72 + 0.09 # RESULT : makespan 948 SATISFIABLE SHOW_RESULT 948 BEGIN : [Thu Jun 1 04:21:46 2006] # ASSIGN : makespan 948 # ASSIGN : s_0_0 7 # ASSIGN : s_0_1 69 # ASSIGN : s_0_2 143 # ASSIGN : s_0_3 171 # ASSIGN : s_0_4 255 # ASSIGN : s_0_5 302 # ASSIGN : s_0_6 340 # ASSIGN : s_0_7 422 # ASSIGN : s_0_8 576 # ASSIGN : s_0_9 630 # ASSIGN : s_1_0 15 # ASSIGN : s_1_1 69 # ASSIGN : s_1_2 169 # ASSIGN : s_1_3 261 # ASSIGN : s_1_4 298 # ASSIGN : s_1_5 637 # ASSIGN : s_1_6 666 # ASSIGN : s_1_7 723 # ASSIGN : s_1_8 803 # ASSIGN : s_1_9 881 # ASSIGN : s_2_0 106 # ASSIGN : s_2_1 151 # ASSIGN : s_2_2 197 # ASSIGN : s_2_3 219 # ASSIGN : s_2_4 283 # ASSIGN : s_2_5 353 # ASSIGN : s_2_6 461 # ASSIGN : s_2_7 501 # ASSIGN : s_2_8 534 # ASSIGN : s_2_9 852 # ASSIGN : s_3_0 6 # ASSIGN : s_3_1 93 # ASSIGN : s_3_2 219 # ASSIGN : s_3_3 321 # ASSIGN : s_3_4 409 # ASSIGN : s_3_5 445 # ASSIGN : s_3_6 520 # ASSIGN : s_3_7 584 # ASSIGN : s_3_8 619 # ASSIGN : s_3_9 722 # ASSIGN : s_4_0 3 # ASSIGN : s_4_1 63 # ASSIGN : s_4_2 83 # ASSIGN : s_4_3 108 # ASSIGN : s_4_4 174 # ASSIGN : s_4_5 271 # ASSIGN : s_4_6 391 # ASSIGN : s_4_7 424 # ASSIGN : s_4_8 522 # ASSIGN : s_4_9 576 # ASSIGN : s_5_0 8 # ASSIGN : s_5_1 95 # ASSIGN : s_5_2 168 # ASSIGN : s_5_3 245 # ASSIGN : s_5_4 356 # ASSIGN : s_5_5 421 # ASSIGN : s_5_6 587 # ASSIGN : s_5_7 609 # ASSIGN : s_5_8 723 # ASSIGN : s_5_9 807 # ASSIGN : s_6_0 62 # ASSIGN : s_6_1 166 # ASSIGN : s_6_2 306 # ASSIGN : s_6_3 363 # ASSIGN : s_6_4 434 # ASSIGN : s_6_5 515 # ASSIGN : s_6_6 725 # ASSIGN : s_6_7 767 # ASSIGN : s_6_8 821 # ASSIGN : s_6_9 879 # ASSIGN : s_7_0 91 # ASSIGN : s_7_1 111 # ASSIGN : s_7_2 287 # ASSIGN : s_7_3 327 # ASSIGN : s_7_4 600 # ASSIGN : s_7_5 662 # ASSIGN : s_7_6 696 # ASSIGN : s_7_7 791 # ASSIGN : s_7_8 872 # ASSIGN : s_7_9 902 # ASSIGN : s_8_0 168 # ASSIGN : s_8_1 236 # ASSIGN : s_8_2 308 # ASSIGN : s_8_3 406 # ASSIGN : s_8_4 492 # ASSIGN : s_8_5 558 # ASSIGN : s_8_6 614 # ASSIGN : s_8_7 696 # ASSIGN : s_8_8 823 # ASSIGN : s_8_9 870 # ASSIGN : s_9_0 323 # ASSIGN : s_9_1 359 # ASSIGN : s_9_2 415 # ASSIGN : s_9_3 449 # ASSIGN : s_9_4 507 # ASSIGN : s_9_5 633 # ASSIGN : s_9_6 667 # ASSIGN : s_9_7 751 # ASSIGN : s_9_8 791 # ASSIGN : s_9_9 837 SHOW_RESULT 948 END : 948 (0 seconds) [Thu Jun 1 04:21:46 2006] SHOW_RESULT 948 CPU : 0.310000000000004 = 0.300000000000004 + 0.01 + 0 + 0 # BOUND : makespan 907 948 MODIFY_CNF 927 BEGIN : [Thu Jun 1 04:21:46 2006] MODIFY_CNF 927 END : 24712797 bytes (0 seconds) [Thu Jun 1 04:21:46 2006] MODIFY_CNF 927 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 927 BEGIN : [Thu Jun 1 04:21:46 2006] CMD : minisat /work/tamura/csp2sat69928.cnf /work/tamura/csp2sat69928.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 382202 1112886 | 127400 0 0 NaNQ | 0.000 % | | 100 | 382202 1112886 | 140140 100 738 7.4 | 68.654 % | | 250 | 363493 1057749 | 154154 209 1525 7.3 | 70.085 % | ==============================================================================) restarts : 3 conflicts : 276 (138 /sec) decisions : 356 (178 /sec) propagations : 1692872 (847123 /sec) inspects : 9547693 (4777719 /sec) conflict literals : 1961 (24.52 % deleted) CPU time : 1.99838 s UNSATISFIABLE VERIFY_CNF 927 END : (3 seconds) [Thu Jun 1 04:21:49 2006] VERIFY_CNF 927 CPU : 2.25 = 0 + 0 + 2.22 + 0.03 # RESULT : makespan 927 UNSATISFIABLE # BOUND : makespan 928 948 MODIFY_CNF 938 BEGIN : [Thu Jun 1 04:21:49 2006] MODIFY_CNF 938 END : 24712797 bytes (0 seconds) [Thu Jun 1 04:21:49 2006] MODIFY_CNF 938 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 938 BEGIN : [Thu Jun 1 04:21:49 2006] CMD : minisat /work/tamura/csp2sat69928.cnf /work/tamura/csp2sat69928.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 397785 1158508 | 132595 0 0 NaNQ | 0.000 % | | 102 | 397785 1158508 | 145854 102 782 7.7 | 67.611 % | | 252 | 397785 1158508 | 160439 252 2106 8.4 | 67.611 % | ==============================================================================) restarts : 3 conflicts : 364 (164 /sec) decisions : 510 (230 /sec) propagations : 2388047 (1077742 /sec) inspects : 14343103 (6473139 /sec) conflict literals : 2908 (30.94 % deleted) CPU time : 2.21579 s UNSATISFIABLE VERIFY_CNF 938 END : (2 seconds) [Thu Jun 1 04:21:51 2006] VERIFY_CNF 938 CPU : 2.5 = 0 + 0.01 + 2.46 + 0.03 # RESULT : makespan 938 UNSATISFIABLE # BOUND : makespan 939 948 MODIFY_CNF 943 BEGIN : [Thu Jun 1 04:21:51 2006] MODIFY_CNF 943 END : 24712797 bytes (0 seconds) [Thu Jun 1 04:21:51 2006] MODIFY_CNF 943 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 943 BEGIN : [Thu Jun 1 04:21:51 2006] CMD : minisat /work/tamura/csp2sat69928.cnf /work/tamura/csp2sat69928.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 402553 1172306 | 134184 0 0 NaNQ | 0.000 % | | 100 | 402553 1172306 | 147602 100 1080 10.8 | 67.145 % | ==============================================================================) restarts : 2 conflicts : 198 (109 /sec) decisions : 398 (219 /sec) propagations : 1356508 (747750 /sec) inspects : 8391913 (4625886 /sec) conflict literals : 2153 (22.16 % deleted) CPU time : 1.81412 s SATISFIABLE VERIFY_CNF 943 END : (2 seconds) [Thu Jun 1 04:21:53 2006] VERIFY_CNF 943 CPU : 2.11 = 0 + 0 + 2.08 + 0.03 # RESULT : makespan 943 SATISFIABLE SHOW_RESULT 943 BEGIN : [Thu Jun 1 04:21:53 2006] # ASSIGN : makespan 943 # ASSIGN : s_0_0 19 # ASSIGN : s_0_1 81 # ASSIGN : s_0_2 129 # ASSIGN : s_0_3 170 # ASSIGN : s_0_4 257 # ASSIGN : s_0_5 304 # ASSIGN : s_0_6 342 # ASSIGN : s_0_7 424 # ASSIGN : s_0_8 762 # ASSIGN : s_0_9 808 # ASSIGN : s_1_0 1 # ASSIGN : s_1_1 57 # ASSIGN : s_1_2 181 # ASSIGN : s_1_3 273 # ASSIGN : s_1_4 300 # ASSIGN : s_1_5 393 # ASSIGN : s_1_6 422 # ASSIGN : s_1_7 551 # ASSIGN : s_1_8 720 # ASSIGN : s_1_9 876 # ASSIGN : s_2_0 94 # ASSIGN : s_2_1 139 # ASSIGN : s_2_2 185 # ASSIGN : s_2_3 207 # ASSIGN : s_2_4 295 # ASSIGN : s_2_5 355 # ASSIGN : s_2_6 454 # ASSIGN : s_2_7 494 # ASSIGN : s_2_8 527 # ASSIGN : s_2_9 847 # ASSIGN : s_3_0 20 # ASSIGN : s_3_1 105 # ASSIGN : s_3_2 226 # ASSIGN : s_3_3 333 # ASSIGN : s_3_4 430 # ASSIGN : s_3_5 466 # ASSIGN : s_3_6 541 # ASSIGN : s_3_7 597 # ASSIGN : s_3_8 643 # ASSIGN : s_3_9 763 # ASSIGN : s_4_0 2 # ASSIGN : s_4_1 62 # ASSIGN : s_4_2 82 # ASSIGN : s_4_3 107 # ASSIGN : s_4_4 176 # ASSIGN : s_4_5 303 # ASSIGN : s_4_6 567 # ASSIGN : s_4_7 627 # ASSIGN : s_4_8 725 # ASSIGN : s_4_9 779 # ASSIGN : s_5_0 0 # ASSIGN : s_5_1 87 # ASSIGN : s_5_2 175 # ASSIGN : s_5_3 233 # ASSIGN : s_5_4 328 # ASSIGN : s_5_5 404 # ASSIGN : s_5_6 703 # ASSIGN : s_5_7 740 # ASSIGN : s_5_8 798 # ASSIGN : s_5_9 878 # ASSIGN : s_6_0 48 # ASSIGN : s_6_1 154 # ASSIGN : s_6_2 338 # ASSIGN : s_6_3 395 # ASSIGN : s_6_4 519 # ASSIGN : s_6_5 600 # ASSIGN : s_6_6 660 # ASSIGN : s_6_7 686 # ASSIGN : s_6_8 816 # ASSIGN : s_6_9 874 # ASSIGN : s_7_0 0 # ASSIGN : s_7_1 68 # ASSIGN : s_7_2 154 # ASSIGN : s_7_3 313 # ASSIGN : s_7_4 421 # ASSIGN : s_7_5 483 # ASSIGN : s_7_6 517 # ASSIGN : s_7_7 632 # ASSIGN : s_7_8 848 # ASSIGN : s_7_9 897 # ASSIGN : s_8_0 160 # ASSIGN : s_8_1 228 # ASSIGN : s_8_2 294 # ASSIGN : s_8_3 392 # ASSIGN : s_8_4 478 # ASSIGN : s_8_5 544 # ASSIGN : s_8_6 631 # ASSIGN : s_8_7 713 # ASSIGN : s_8_8 818 # ASSIGN : s_8_9 865 # ASSIGN : s_9_0 224 # ASSIGN : s_9_1 254 # ASSIGN : s_9_2 304 # ASSIGN : s_9_3 425 # ASSIGN : s_9_4 490 # ASSIGN : s_9_5 568 # ASSIGN : s_9_6 602 # ASSIGN : s_9_7 746 # ASSIGN : s_9_8 786 # ASSIGN : s_9_9 832 SHOW_RESULT 943 END : 943 (1 seconds) [Thu Jun 1 04:21:54 2006] SHOW_RESULT 943 CPU : 0.299999999999997 = 0.299999999999997 + 0 + 0 + 0 # BOUND : makespan 939 943 MODIFY_CNF 941 BEGIN : [Thu Jun 1 04:21:54 2006] MODIFY_CNF 941 END : 24712797 bytes (0 seconds) [Thu Jun 1 04:21:54 2006] MODIFY_CNF 941 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 941 BEGIN : [Thu Jun 1 04:21:54 2006] CMD : minisat /work/tamura/csp2sat69928.cnf /work/tamura/csp2sat69928.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 400257 1165621 | 133419 0 0 NaNQ | 0.000 % | | 100 | 400257 1165621 | 146760 100 1039 10.4 | 67.333 % | | 250 | 400257 1165621 | 161436 250 2705 10.8 | 67.333 % | ==============================================================================) restarts : 3 conflicts : 459 (191 /sec) decisions : 654 (272 /sec) propagations : 2770000 (1152484 /sec) inspects : 16991807 (7069598 /sec) conflict literals : 3890 (32.54 % deleted) CPU time : 2.4035 s UNSATISFIABLE VERIFY_CNF 941 END : (2 seconds) [Thu Jun 1 04:21:56 2006] VERIFY_CNF 941 CPU : 2.67000000000001 = 0.0100000000000051 + 0.01 + 2.62 + 0.03 # RESULT : makespan 941 UNSATISFIABLE # BOUND : makespan 942 943 MODIFY_CNF 942 BEGIN : [Thu Jun 1 04:21:56 2006] MODIFY_CNF 942 END : 24712797 bytes (0 seconds) [Thu Jun 1 04:21:56 2006] MODIFY_CNF 942 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 942 BEGIN : [Thu Jun 1 04:21:56 2006] CMD : minisat /work/tamura/csp2sat69928.cnf /work/tamura/csp2sat69928.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 401724 1169920 | 133908 0 0 NaNQ | 0.000 % | | 100 | 401724 1169920 | 147298 100 889 8.9 | 67.238 % | | 251 | 401724 1169920 | 162028 251 2348 9.4 | 67.238 % | | 477 | 389458 1133898 | 178231 375 3927 10.5 | 67.959 % | ==============================================================================) restarts : 4 conflicts : 554 (218 /sec) decisions : 776 (305 /sec) propagations : 3266339 (1283244 /sec) inspects : 20441356 (8030781 /sec) conflict literals : 5156 (32.81 % deleted) CPU time : 2.54538 s UNSATISFIABLE VERIFY_CNF 942 END : (3 seconds) [Thu Jun 1 04:21:59 2006] VERIFY_CNF 942 CPU : 2.9 = 0 + 0.01 + 2.79 + 0.1 # RESULT : makespan 942 UNSATISFIABLE # BOUND : makespan 943 943 MAIN END : (74 seconds) [Thu Jun 1 04:21:59 2006] MAIN CPU : 73.81 = 56.06 + 0.12 + 17.27 + 0.36