# TIMEOUT 18000 MAIN BEGIN : [Sun Jun 18 16:11:51 2006] READ BEGIN : csp/gp05-06.csp [Sun Jun 18 16:11:51 2006] READ END : csp/gp05-06.csp (0 seconds) [Sun Jun 18 16:11:51 2006] READ CPU : 0.23 = 0.23 + 0 + 0 + 0 # BOUND : makespan 1000 2879 GENERATE_CNF 2879 BEGIN : [Sun Jun 18 16:11:51 2006] GENERATE_CNF 2879 END : 74131 variables 657257 clauses 13720795 bytes (25 seconds) [Sun Jun 18 16:12:16 2006] GENERATE_CNF 2879 CPU : 24.16 = 24.04 + 0.12 + 0 + 0 MODIFY_CNF 1939 BEGIN : [Sun Jun 18 16:12:16 2006] MODIFY_CNF 1939 END : 13720801 bytes (0 seconds) [Sun Jun 18 16:12:16 2006] MODIFY_CNF 1939 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1939 BEGIN : [Sun Jun 18 16:12:16 2006] CMD : minisat /tmp/csp2sat9197.cnf /tmp/csp2sat9197.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 468877 1333083 | 156292 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 7 (9 /sec) decisions : 88 (107 /sec) propagations : 111497 (135972 /sec) conflict literals : 59 (11.94 % deleted) Memory used : 30.60 MB CPU time : 0.82 s SATISFIABLE VERIFY_CNF 1939 END : (1 seconds) [Sun Jun 18 16:12:17 2006] VERIFY_CNF 1939 CPU : 1 = 0 + 0 + 0.86 + 0.14 # RESULT : makespan 1939 SATISFIABLE SHOW_RESULT 1939 BEGIN : [Sun Jun 18 16:12:17 2006] # ASSIGN : makespan 1939 # ASSIGN : s_0_0 1008 # ASSIGN : s_0_1 2 # ASSIGN : s_0_2 1 # ASSIGN : s_0_3 0 # ASSIGN : s_0_4 674 # ASSIGN : s_1_0 584 # ASSIGN : s_1_1 653 # ASSIGN : s_1_2 6 # ASSIGN : s_1_3 290 # ASSIGN : s_1_4 695 # ASSIGN : s_2_0 1334 # ASSIGN : s_2_1 655 # ASSIGN : s_2_2 32 # ASSIGN : s_2_3 654 # ASSIGN : s_2_4 1304 # ASSIGN : s_3_0 1672 # ASSIGN : s_3_1 693 # ASSIGN : s_3_2 996 # ASSIGN : s_3_3 692 # ASSIGN : s_3_4 1305 # ASSIGN : s_4_0 1692 # ASSIGN : s_4_1 1684 # ASSIGN : s_4_2 1642 # ASSIGN : s_4_3 939 # ASSIGN : s_4_4 1690 SHOW_RESULT 1939 END : 1939 (0 seconds) [Sun Jun 18 16:12:17 2006] SHOW_RESULT 1939 CPU : 0.119999999999999 = 0.109999999999999 + 0.01 + 0 + 0 # BOUND : makespan 1000 1939 MODIFY_CNF 1469 BEGIN : [Sun Jun 18 16:12:17 2006] MODIFY_CNF 1469 END : 13720801 bytes (0 seconds) [Sun Jun 18 16:12:17 2006] MODIFY_CNF 1469 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1469 BEGIN : [Sun Jun 18 16:12:17 2006] CMD : minisat /tmp/csp2sat9197.cnf /tmp/csp2sat9197.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 374877 1051083 | 124959 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 0 (0 /sec) decisions : 72 (72 /sec) propagations : 74131 (74131 /sec) conflict literals : 0 ( nan % deleted) Memory used : 30.60 MB CPU time : 1 s SATISFIABLE VERIFY_CNF 1469 END : (1 seconds) [Sun Jun 18 16:12:18 2006] VERIFY_CNF 1469 CPU : 1.11 = 0 + 0 + 1.04 + 0.07 # RESULT : makespan 1469 SATISFIABLE SHOW_RESULT 1469 BEGIN : [Sun Jun 18 16:12:18 2006] # ASSIGN : makespan 1469 # ASSIGN : s_0_0 54 # ASSIGN : s_0_1 768 # ASSIGN : s_0_2 52 # ASSIGN : s_0_3 53 # ASSIGN : s_0_4 469 # ASSIGN : s_1_0 380 # ASSIGN : s_1_1 52 # ASSIGN : s_1_2 60 # ASSIGN : s_1_3 86 # ASSIGN : s_1_4 490 # ASSIGN : s_2_0 761 # ASSIGN : s_2_1 54 # ASSIGN : s_2_2 92 # ASSIGN : s_2_3 714 # ASSIGN : s_2_4 1099 # ASSIGN : s_3_0 449 # ASSIGN : s_3_1 146 # ASSIGN : s_3_2 791 # ASSIGN : s_3_3 715 # ASSIGN : s_3_4 1100 # ASSIGN : s_4_0 469 # ASSIGN : s_4_1 1419 # ASSIGN : s_4_2 1425 # ASSIGN : s_4_3 716 # ASSIGN : s_4_4 1467 SHOW_RESULT 1469 END : 1469 (0 seconds) [Sun Jun 18 16:12:18 2006] SHOW_RESULT 1469 CPU : 0.120000000000001 = 0.120000000000001 + 0 + 0 + 0 # BOUND : makespan 1000 1469 MODIFY_CNF 1234 BEGIN : [Sun Jun 18 16:12:18 2006] MODIFY_CNF 1234 END : 13720801 bytes (0 seconds) [Sun Jun 18 16:12:18 2006] MODIFY_CNF 1234 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1234 BEGIN : [Sun Jun 18 16:12:18 2006] CMD : minisat /tmp/csp2sat9197.cnf /tmp/csp2sat9197.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 327877 910083 | 109292 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 2 (2 /sec) decisions : 5 (5 /sec) propagations : 56115 (60995 /sec) conflict literals : 1 (0.00 % deleted) Memory used : 30.23 MB CPU time : 0.92 s UNSATISFIABLE VERIFY_CNF 1234 END : (1 seconds) [Sun Jun 18 16:12:19 2006] VERIFY_CNF 1234 CPU : 0.99 = 0 + 0 + 0.92 + 0.07 # RESULT : makespan 1234 UNSATISFIABLE # BOUND : makespan 1235 1469 MODIFY_CNF 1352 BEGIN : [Sun Jun 18 16:12:19 2006] MODIFY_CNF 1352 END : 13720801 bytes (0 seconds) [Sun Jun 18 16:12:19 2006] MODIFY_CNF 1352 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1352 BEGIN : [Sun Jun 18 16:12:19 2006] CMD : minisat /tmp/csp2sat9197.cnf /tmp/csp2sat9197.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 351477 980883 | 117159 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 0 (0 /sec) decisions : 60 (75 /sec) propagations : 74131 (92664 /sec) conflict literals : 0 ( nan % deleted) Memory used : 30.60 MB CPU time : 0.8 s SATISFIABLE VERIFY_CNF 1352 END : (1 seconds) [Sun Jun 18 16:12:20 2006] VERIFY_CNF 1352 CPU : 0.99 = 0 + 0 + 0.84 + 0.15 # RESULT : makespan 1352 SATISFIABLE SHOW_RESULT 1352 BEGIN : [Sun Jun 18 16:12:20 2006] # ASSIGN : makespan 1352 # ASSIGN : s_0_0 26 # ASSIGN : s_0_1 651 # ASSIGN : s_0_2 3 # ASSIGN : s_0_3 4 # ASSIGN : s_0_4 5 # ASSIGN : s_1_0 945 # ASSIGN : s_1_1 10 # ASSIGN : s_1_2 12 # ASSIGN : s_1_3 42 # ASSIGN : s_1_4 336 # ASSIGN : s_2_0 1014 # ASSIGN : s_2_1 308 # ASSIGN : s_2_2 360 # ASSIGN : s_2_3 346 # ASSIGN : s_2_4 982 # ASSIGN : s_3_0 6 # ASSIGN : s_3_1 348 # ASSIGN : s_3_2 38 # ASSIGN : s_3_3 347 # ASSIGN : s_3_4 983 # ASSIGN : s_4_0 352 # ASSIGN : s_4_1 1302 # ASSIGN : s_4_2 1308 # ASSIGN : s_4_3 599 # ASSIGN : s_4_4 1350 SHOW_RESULT 1352 END : 1352 (0 seconds) [Sun Jun 18 16:12:20 2006] SHOW_RESULT 1352 CPU : 0.129999999999999 = 0.129999999999999 + 0 + 0 + 0 # BOUND : makespan 1235 1352 MODIFY_CNF 1293 BEGIN : [Sun Jun 18 16:12:20 2006] MODIFY_CNF 1293 END : 13720801 bytes (0 seconds) [Sun Jun 18 16:12:20 2006] MODIFY_CNF 1293 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1293 BEGIN : [Sun Jun 18 16:12:20 2006] CMD : minisat /tmp/csp2sat9197.cnf /tmp/csp2sat9197.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 339677 945483 | 113225 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 4 (4 /sec) decisions : 60 (65 /sec) propagations : 96205 (104571 /sec) conflict literals : 18 (5.26 % deleted) Memory used : 30.60 MB CPU time : 0.92 s SATISFIABLE VERIFY_CNF 1293 END : (1 seconds) [Sun Jun 18 16:12:21 2006] VERIFY_CNF 1293 CPU : 1.03 = 0 + 0 + 0.96 + 0.07 # RESULT : makespan 1293 SATISFIABLE SHOW_RESULT 1293 BEGIN : [Sun Jun 18 16:12:21 2006] # ASSIGN : makespan 1293 # ASSIGN : s_0_0 946 # ASSIGN : s_0_1 295 # ASSIGN : s_0_2 252 # ASSIGN : s_0_3 293 # ASSIGN : s_0_4 1272 # ASSIGN : s_1_0 877 # ASSIGN : s_1_1 11 # ASSIGN : s_1_2 644 # ASSIGN : s_1_3 998 # ASSIGN : s_1_4 13 # ASSIGN : s_2_0 284 # ASSIGN : s_2_1 209 # ASSIGN : s_2_2 670 # ASSIGN : s_2_3 1292 # ASSIGN : s_2_4 622 # ASSIGN : s_3_0 264 # ASSIGN : s_3_1 990 # ASSIGN : s_3_2 314 # ASSIGN : s_3_3 294 # ASSIGN : s_3_4 623 # ASSIGN : s_4_0 0 # ASSIGN : s_4_1 247 # ASSIGN : s_4_2 253 # ASSIGN : s_4_3 295 # ASSIGN : s_4_4 1270 SHOW_RESULT 1293 END : 1293 (0 seconds) [Sun Jun 18 16:12:21 2006] SHOW_RESULT 1293 CPU : 0.109999999999999 = 0.109999999999999 + 0 + 0 + 0 # BOUND : makespan 1235 1293 MODIFY_CNF 1264 BEGIN : [Sun Jun 18 16:12:21 2006] MODIFY_CNF 1264 END : 13720801 bytes (0 seconds) [Sun Jun 18 16:12:21 2006] MODIFY_CNF 1264 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1264 BEGIN : [Sun Jun 18 16:12:21 2006] CMD : minisat /tmp/csp2sat9197.cnf /tmp/csp2sat9197.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 333877 928083 | 111292 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 2 (2 /sec) decisions : 5 (5 /sec) propagations : 53740 (55402 /sec) conflict literals : 1 (0.00 % deleted) Memory used : 30.23 MB CPU time : 0.97 s UNSATISFIABLE VERIFY_CNF 1264 END : (1 seconds) [Sun Jun 18 16:12:22 2006] VERIFY_CNF 1264 CPU : 1.02 = 0 + 0 + 0.97 + 0.05 # RESULT : makespan 1264 UNSATISFIABLE # BOUND : makespan 1265 1293 MODIFY_CNF 1279 BEGIN : [Sun Jun 18 16:12:22 2006] MODIFY_CNF 1279 END : 13720801 bytes (0 seconds) [Sun Jun 18 16:12:22 2006] MODIFY_CNF 1279 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1279 BEGIN : [Sun Jun 18 16:12:22 2006] CMD : minisat /tmp/csp2sat9197.cnf /tmp/csp2sat9197.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 336877 937083 | 112292 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 2 (2 /sec) decisions : 55 (57 /sec) propagations : 82088 (84627 /sec) conflict literals : 6 (0.00 % deleted) Memory used : 30.60 MB CPU time : 0.97 s SATISFIABLE VERIFY_CNF 1279 END : (1 seconds) [Sun Jun 18 16:12:23 2006] VERIFY_CNF 1279 CPU : 1.07 = 0 + 0 + 1 + 0.07 # RESULT : makespan 1279 SATISFIABLE SHOW_RESULT 1279 BEGIN : [Sun Jun 18 16:12:23 2006] # ASSIGN : makespan 1279 # ASSIGN : s_0_0 294 # ASSIGN : s_0_1 620 # ASSIGN : s_0_2 7 # ASSIGN : s_0_3 189 # ASSIGN : s_0_4 190 # ASSIGN : s_1_0 821 # ASSIGN : s_1_1 171 # ASSIGN : s_1_2 957 # ASSIGN : s_1_3 983 # ASSIGN : s_1_4 212 # ASSIGN : s_2_0 939 # ASSIGN : s_2_1 173 # ASSIGN : s_2_2 317 # ASSIGN : s_2_3 1277 # ASSIGN : s_2_4 211 # ASSIGN : s_3_0 890 # ASSIGN : s_3_1 317 # ASSIGN : s_3_2 8 # ASSIGN : s_3_3 1278 # ASSIGN : s_3_4 910 # ASSIGN : s_4_0 33 # ASSIGN : s_4_1 1271 # ASSIGN : s_4_2 1229 # ASSIGN : s_4_3 280 # ASSIGN : s_4_4 1277 SHOW_RESULT 1279 END : 1279 (0 seconds) [Sun Jun 18 16:12:23 2006] SHOW_RESULT 1279 CPU : 0.119999999999999 = 0.109999999999999 + 0.00999999999999998 + 0 + 0 # BOUND : makespan 1265 1279 MODIFY_CNF 1272 BEGIN : [Sun Jun 18 16:12:23 2006] MODIFY_CNF 1272 END : 13720801 bytes (0 seconds) [Sun Jun 18 16:12:23 2006] MODIFY_CNF 1272 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1272 BEGIN : [Sun Jun 18 16:12:23 2006] CMD : minisat /tmp/csp2sat9197.cnf /tmp/csp2sat9197.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 335477 932883 | 111825 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 0 (0 /sec) decisions : 33 (34 /sec) propagations : 74131 (76424 /sec) conflict literals : 0 ( nan % deleted) Memory used : 30.60 MB CPU time : 0.97 s SATISFIABLE VERIFY_CNF 1272 END : (2 seconds) [Sun Jun 18 16:12:25 2006] VERIFY_CNF 1272 CPU : 1.11 = 0 + 0.01 + 1 + 0.1 # RESULT : makespan 1272 SATISFIABLE SHOW_RESULT 1272 BEGIN : [Sun Jun 18 16:12:25 2006] # ASSIGN : makespan 1272 # ASSIGN : s_0_0 289 # ASSIGN : s_0_1 615 # ASSIGN : s_0_2 2 # ASSIGN : s_0_3 0 # ASSIGN : s_0_4 177 # ASSIGN : s_1_0 808 # ASSIGN : s_1_1 158 # ASSIGN : s_1_2 952 # ASSIGN : s_1_3 978 # ASSIGN : s_1_4 199 # ASSIGN : s_2_0 934 # ASSIGN : s_2_1 160 # ASSIGN : s_2_2 312 # ASSIGN : s_2_3 1 # ASSIGN : s_2_4 198 # ASSIGN : s_3_0 877 # ASSIGN : s_3_1 312 # ASSIGN : s_3_2 3 # ASSIGN : s_3_3 2 # ASSIGN : s_3_4 897 # ASSIGN : s_4_0 28 # ASSIGN : s_4_1 1266 # ASSIGN : s_4_2 1222 # ASSIGN : s_4_3 275 # ASSIGN : s_4_4 1264 SHOW_RESULT 1272 END : 1272 (0 seconds) [Sun Jun 18 16:12:25 2006] SHOW_RESULT 1272 CPU : 0.120000000000001 = 0.120000000000001 + 0 + 0 + 0 # BOUND : makespan 1265 1272 MODIFY_CNF 1268 BEGIN : [Sun Jun 18 16:12:25 2006] MODIFY_CNF 1268 END : 13720801 bytes (0 seconds) [Sun Jun 18 16:12:25 2006] MODIFY_CNF 1268 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1268 BEGIN : [Sun Jun 18 16:12:25 2006] CMD : minisat /tmp/csp2sat9197.cnf /tmp/csp2sat9197.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 334677 930483 | 111559 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 2 (2 /sec) decisions : 5 (5 /sec) propagations : 53636 (58300 /sec) conflict literals : 1 (0.00 % deleted) Memory used : 30.23 MB CPU time : 0.92 s UNSATISFIABLE VERIFY_CNF 1268 END : (1 seconds) [Sun Jun 18 16:12:26 2006] VERIFY_CNF 1268 CPU : 0.99 = 0 + 0 + 0.92 + 0.0700000000000001 # RESULT : makespan 1268 UNSATISFIABLE # BOUND : makespan 1269 1272 MODIFY_CNF 1270 BEGIN : [Sun Jun 18 16:12:26 2006] MODIFY_CNF 1270 END : 13720801 bytes (0 seconds) [Sun Jun 18 16:12:26 2006] MODIFY_CNF 1270 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1270 BEGIN : [Sun Jun 18 16:12:26 2006] CMD : minisat /tmp/csp2sat9197.cnf /tmp/csp2sat9197.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 335077 931683 | 111692 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 0 (0 /sec) decisions : 34 (37 /sec) propagations : 74131 (80577 /sec) conflict literals : 0 ( nan % deleted) Memory used : 30.60 MB CPU time : 0.92 s SATISFIABLE VERIFY_CNF 1270 END : (1 seconds) [Sun Jun 18 16:12:27 2006] VERIFY_CNF 1270 CPU : 1.02 = 0 + 0 + 0.950000000000001 + 0.07 # RESULT : makespan 1270 SATISFIABLE SHOW_RESULT 1270 BEGIN : [Sun Jun 18 16:12:27 2006] # ASSIGN : makespan 1270 # ASSIGN : s_0_0 287 # ASSIGN : s_0_1 613 # ASSIGN : s_0_2 0 # ASSIGN : s_0_3 174 # ASSIGN : s_0_4 175 # ASSIGN : s_1_0 806 # ASSIGN : s_1_1 155 # ASSIGN : s_1_2 950 # ASSIGN : s_1_3 976 # ASSIGN : s_1_4 197 # ASSIGN : s_2_0 932 # ASSIGN : s_2_1 157 # ASSIGN : s_2_2 310 # ASSIGN : s_2_3 195 # ASSIGN : s_2_4 196 # ASSIGN : s_3_0 875 # ASSIGN : s_3_1 310 # ASSIGN : s_3_2 1 # ASSIGN : s_3_3 0 # ASSIGN : s_3_4 895 # ASSIGN : s_4_0 26 # ASSIGN : s_4_1 1264 # ASSIGN : s_4_2 1220 # ASSIGN : s_4_3 273 # ASSIGN : s_4_4 1262 SHOW_RESULT 1270 END : 1270 (0 seconds) [Sun Jun 18 16:12:27 2006] SHOW_RESULT 1270 CPU : 0.119999999999997 = 0.119999999999997 + 0 + 0 + 0 # BOUND : makespan 1269 1270 MODIFY_CNF 1269 BEGIN : [Sun Jun 18 16:12:27 2006] MODIFY_CNF 1269 END : 13720801 bytes (0 seconds) [Sun Jun 18 16:12:27 2006] MODIFY_CNF 1269 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1269 BEGIN : [Sun Jun 18 16:12:27 2006] CMD : minisat /tmp/csp2sat9197.cnf /tmp/csp2sat9197.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 334877 931083 | 111625 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 0 (0 /sec) decisions : 32 (36 /sec) propagations : 74131 (84240 /sec) conflict literals : 0 ( nan % deleted) Memory used : 30.60 MB CPU time : 0.88 s SATISFIABLE VERIFY_CNF 1269 END : (1 seconds) [Sun Jun 18 16:12:28 2006] VERIFY_CNF 1269 CPU : 0.999999999999998 = 0 + 0 + 0.909999999999998 + 0.09 # RESULT : makespan 1269 SATISFIABLE SHOW_RESULT 1269 BEGIN : [Sun Jun 18 16:12:28 2006] # ASSIGN : makespan 1269 # ASSIGN : s_0_0 286 # ASSIGN : s_0_1 612 # ASSIGN : s_0_2 1268 # ASSIGN : s_0_3 173 # ASSIGN : s_0_4 174 # ASSIGN : s_1_0 805 # ASSIGN : s_1_1 154 # ASSIGN : s_1_2 948 # ASSIGN : s_1_3 974 # ASSIGN : s_1_4 196 # ASSIGN : s_2_0 931 # ASSIGN : s_2_1 156 # ASSIGN : s_2_2 309 # ASSIGN : s_2_3 194 # ASSIGN : s_2_4 195 # ASSIGN : s_3_0 874 # ASSIGN : s_3_1 309 # ASSIGN : s_3_2 0 # ASSIGN : s_3_3 1268 # ASSIGN : s_3_4 894 # ASSIGN : s_4_0 24 # ASSIGN : s_4_1 1263 # ASSIGN : s_4_2 1219 # ASSIGN : s_4_3 271 # ASSIGN : s_4_4 1261 SHOW_RESULT 1269 END : 1269 (0 seconds) [Sun Jun 18 16:12:28 2006] SHOW_RESULT 1269 CPU : 0.120000000000001 = 0.120000000000001 + 0 + 0 + 0 # BOUND : makespan 1269 1269 MAIN END : (37 seconds) [Sun Jun 18 16:12:28 2006] MAIN CPU : 36.71 = 25.24 + 0.15 + 10.37 + 0.95