# TIMEOUT 18000 MAIN BEGIN : [Mon Jun 19 16:08:40 2006] READ BEGIN : csp/tai_20x20_2.csp [Mon Jun 19 16:08:40 2006] READ END : csp/tai_20x20_2.csp (16 seconds) [Mon Jun 19 16:08:56 2006] READ CPU : 16.24 = 16.02 + 0.22 + 0 + 0 # BOUND : makespan 1241 1900 GENERATE_CNF 1900 BEGIN : [Mon Jun 19 16:08:56 2006] GENERATE_CNF 1900 END : 777061 variables 29153596 clauses 713509693 bytes (1142 seconds) [Mon Jun 19 16:27:58 2006] GENERATE_CNF 1900 CPU : 1137.1 = 1130.98 + 6.12 + 0 + 0 MODIFY_CNF 1570 BEGIN : [Mon Jun 19 16:27:58 2006] MODIFY_CNF 1570 END : 713509699 bytes (0 seconds) [Mon Jun 19 16:27:58 2006] MODIFY_CNF 1570 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1570 BEGIN : [Mon Jun 19 16:27:58 2006] CMD : minisat /tmp/csp2sat2833.cnf /tmp/csp2sat2833.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 24119591 71608920 | 8039863 0 0 nan | 0.000 % | | 101 | 24119591 71608920 | 8843849 101 3788 37.5 | 19.862 % | ============================================================================== restarts : 2 conflicts : 160 (1 /sec) decisions : 5686 (26 /sec) propagations : 2663869 (12104 /sec) conflict literals : 5398 (5.55 % deleted) Memory used : 1150.89 MB CPU time : 220.08 s SATISFIABLE VERIFY_CNF 1570 END : (224 seconds) [Mon Jun 19 16:31:42 2006] VERIFY_CNF 1570 CPU : 224.1 = 0 + 0.0100000000000007 + 220.49 + 3.6 # RESULT : makespan 1570 SATISFIABLE SHOW_RESULT 1570 BEGIN : [Mon Jun 19 16:31:42 2006] # ASSIGN : makespan 1570 # ASSIGN : s_0_0 284 # ASSIGN : s_0_1 996 # ASSIGN : s_0_2 159 # ASSIGN : s_0_3 108 # ASSIGN : s_0_4 631 # ASSIGN : s_0_5 24 # ASSIGN : s_0_6 233 # ASSIGN : s_0_7 10 # ASSIGN : s_0_8 498 # ASSIGN : s_0_9 581 # ASSIGN : s_0_10 608 # ASSIGN : s_0_11 914 # ASSIGN : s_0_12 1442 # ASSIGN : s_0_13 1118 # ASSIGN : s_0_14 671 # ASSIGN : s_0_15 798 # ASSIGN : s_0_16 1324 # ASSIGN : s_0_17 1516 # ASSIGN : s_0_18 1252 # ASSIGN : s_0_19 862 # ASSIGN : s_1_0 350 # ASSIGN : s_1_1 834 # ASSIGN : s_1_2 93 # ASSIGN : s_1_3 157 # ASSIGN : s_1_4 694 # ASSIGN : s_1_5 1023 # ASSIGN : s_1_6 281 # ASSIGN : s_1_7 17 # ASSIGN : s_1_8 421 # ASSIGN : s_1_9 204 # ASSIGN : s_1_10 719 # ASSIGN : s_1_11 907 # ASSIGN : s_1_12 1489 # ASSIGN : s_1_13 911 # ASSIGN : s_1_14 650 # ASSIGN : s_1_15 490 # ASSIGN : s_1_16 1294 # ASSIGN : s_1_17 1432 # ASSIGN : s_1_18 1187 # ASSIGN : s_1_19 1265 # ASSIGN : s_2_0 633 # ASSIGN : s_2_1 434 # ASSIGN : s_2_2 153 # ASSIGN : s_2_3 196 # ASSIGN : s_2_4 478 # ASSIGN : s_2_5 114 # ASSIGN : s_2_6 289 # ASSIGN : s_2_7 78 # ASSIGN : s_2_8 382 # ASSIGN : s_2_9 984 # ASSIGN : s_2_10 963 # ASSIGN : s_2_11 779 # ASSIGN : s_2_12 1309 # ASSIGN : s_2_13 828 # ASSIGN : s_2_14 1079 # ASSIGN : s_2_15 1487 # ASSIGN : s_2_16 1288 # ASSIGN : s_2_17 1406 # ASSIGN : s_2_18 1171 # ASSIGN : s_2_19 513 # ASSIGN : s_3_0 409 # ASSIGN : s_3_1 345 # ASSIGN : s_3_2 807 # ASSIGN : s_3_3 25 # ASSIGN : s_3_4 491 # ASSIGN : s_3_5 147 # ASSIGN : s_3_6 303 # ASSIGN : s_3_7 113 # ASSIGN : s_3_8 1479 # ASSIGN : s_3_9 896 # ASSIGN : s_3_10 327 # ASSIGN : s_3_11 606 # ASSIGN : s_3_12 1170 # ASSIGN : s_3_13 526 # ASSIGN : s_3_14 584 # ASSIGN : s_3_15 587 # ASSIGN : s_3_16 1248 # ASSIGN : s_3_17 1339 # ASSIGN : s_3_18 1091 # ASSIGN : s_3_19 696 # ASSIGN : s_4_0 727 # ASSIGN : s_4_1 4 # ASSIGN : s_4_2 600 # ASSIGN : s_4_3 291 # ASSIGN : s_4_4 505 # ASSIGN : s_4_5 153 # ASSIGN : s_4_6 364 # ASSIGN : s_4_7 1553 # ASSIGN : s_4_8 1084 # ASSIGN : s_4_9 785 # ASSIGN : s_4_10 881 # ASSIGN : s_4_11 387 # ASSIGN : s_4_12 1168 # ASSIGN : s_4_13 441 # ASSIGN : s_4_14 793 # ASSIGN : s_4_15 582 # ASSIGN : s_4_16 1208 # ASSIGN : s_4_17 1309 # ASSIGN : s_4_18 1053 # ASSIGN : s_4_19 592 # ASSIGN : s_5_0 1367 # ASSIGN : s_5_1 913 # ASSIGN : s_5_2 3 # ASSIGN : s_5_3 346 # ASSIGN : s_5_4 340 # ASSIGN : s_5_5 237 # ASSIGN : s_5_6 592 # ASSIGN : s_5_7 138 # ASSIGN : s_5_8 842 # ASSIGN : s_5_9 749 # ASSIGN : s_5_10 1240 # ASSIGN : s_5_11 1426 # ASSIGN : s_5_12 1132 # ASSIGN : s_5_13 1484 # ASSIGN : s_5_14 609 # ASSIGN : s_5_15 1313 # ASSIGN : s_5_16 1137 # ASSIGN : s_5_17 1053 # ASSIGN : s_5_18 974 # ASSIGN : s_5_19 624 # ASSIGN : s_6_0 1509 # ASSIGN : s_6_1 5 # ASSIGN : s_6_2 224 # ASSIGN : s_6_3 433 # ASSIGN : s_6_4 549 # ASSIGN : s_6_5 332 # ASSIGN : s_6_6 1345 # ASSIGN : s_6_7 369 # ASSIGN : s_6_8 728 # ASSIGN : s_6_9 1532 # ASSIGN : s_6_10 105 # ASSIGN : s_6_11 1404 # ASSIGN : s_6_12 1012 # ASSIGN : s_6_13 983 # ASSIGN : s_6_14 1249 # ASSIGN : s_6_15 1102 # ASSIGN : s_6_16 914 # ASSIGN : s_6_17 813 # ASSIGN : s_6_18 968 # ASSIGN : s_6_19 1177 # ASSIGN : s_7_0 1263 # ASSIGN : s_7_1 1061 # ASSIGN : s_7_2 546 # ASSIGN : s_7_3 445 # ASSIGN : s_7_4 612 # ASSIGN : s_7_5 386 # ASSIGN : s_7_6 1517 # ASSIGN : s_7_7 443 # ASSIGN : s_7_8 295 # ASSIGN : s_7_9 1528 # ASSIGN : s_7_10 1427 # ASSIGN : s_7_11 1356 # ASSIGN : s_7_12 978 # ASSIGN : s_7_13 719 # ASSIGN : s_7_14 1238 # ASSIGN : s_7_15 998 # ASSIGN : s_7_16 814 # ASSIGN : s_7_17 630 # ASSIGN : s_7_18 913 # ASSIGN : s_7_19 1130 # ASSIGN : s_8_0 1167 # ASSIGN : s_8_1 22 # ASSIGN : s_8_2 288 # ASSIGN : s_8_3 530 # ASSIGN : s_8_4 964 # ASSIGN : s_8_5 415 # ASSIGN : s_8_6 631 # ASSIGN : s_8_7 450 # ASSIGN : s_8_8 1398 # ASSIGN : s_8_9 1498 # ASSIGN : s_8_10 815 # ASSIGN : s_8_11 1278 # ASSIGN : s_8_12 922 # ASSIGN : s_8_13 647 # ASSIGN : s_8_14 1004 # ASSIGN : s_8_15 725 # ASSIGN : s_8_16 726 # ASSIGN : s_8_17 574 # ASSIGN : s_8_18 853 # ASSIGN : s_8_19 1057 # ASSIGN : s_9_0 858 # ASSIGN : s_9_1 120 # ASSIGN : s_9_2 292 # ASSIGN : s_9_3 645 # ASSIGN : s_9_4 61 # ASSIGN : s_9_5 427 # ASSIGN : s_9_6 1435 # ASSIGN : s_9_7 514 # ASSIGN : s_9_8 19 # ASSIGN : s_9_9 1412 # ASSIGN : s_9_10 195 # ASSIGN : s_9_11 1235 # ASSIGN : s_9_12 875 # ASSIGN : s_9_13 566 # ASSIGN : s_9_14 747 # ASSIGN : s_9_15 678 # ASSIGN : s_9_16 654 # ASSIGN : s_9_17 345 # ASSIGN : s_9_18 776 # ASSIGN : s_9_19 995 # ASSIGN : s_10_0 874 # ASSIGN : s_10_1 215 # ASSIGN : s_10_2 1296 # ASSIGN : s_10_3 1435 # ASSIGN : s_10_4 991 # ASSIGN : s_10_5 542 # ASSIGN : s_10_6 1403 # ASSIGN : s_10_7 620 # ASSIGN : s_10_8 626 # ASSIGN : s_10_9 1334 # ASSIGN : s_10_10 1075 # ASSIGN : s_10_11 1136 # ASSIGN : s_10_12 786 # ASSIGN : s_10_13 179 # ASSIGN : s_10_14 704 # ASSIGN : s_10_15 662 # ASSIGN : s_10_16 1495 # ASSIGN : s_10_17 339 # ASSIGN : s_10_18 727 # ASSIGN : s_10_19 958 # ASSIGN : s_11_0 766 # ASSIGN : s_11_1 297 # ASSIGN : s_11_2 406 # ASSIGN : s_11_3 724 # ASSIGN : s_11_4 351 # ASSIGN : s_11_5 796 # ASSIGN : s_11_6 1141 # ASSIGN : s_11_7 905 # ASSIGN : s_11_8 974 # ASSIGN : s_11_9 1236 # ASSIGN : s_11_10 1291 # ASSIGN : s_11_11 1064 # ASSIGN : s_11_12 523 # ASSIGN : s_11_13 1342 # ASSIGN : s_11_14 465 # ASSIGN : s_11_15 605 # ASSIGN : s_11_16 1423 # ASSIGN : s_11_17 237 # ASSIGN : s_11_18 639 # ASSIGN : s_11_19 1545 # ASSIGN : s_12_0 58 # ASSIGN : s_12_1 480 # ASSIGN : s_12_2 688 # ASSIGN : s_12_3 765 # ASSIGN : s_12_4 464 # ASSIGN : s_12_5 892 # ASSIGN : s_12_6 1081 # ASSIGN : s_12_7 1002 # ASSIGN : s_12_8 916 # ASSIGN : s_12_9 1145 # ASSIGN : s_12_10 1344 # ASSIGN : s_12_11 1053 # ASSIGN : s_12_12 301 # ASSIGN : s_12_13 1266 # ASSIGN : s_12_14 432 # ASSIGN : s_12_15 337 # ASSIGN : s_12_16 1121 # ASSIGN : s_12_17 157 # ASSIGN : s_12_18 561 # ASSIGN : s_12_19 1418 # ASSIGN : s_13_0 1518 # ASSIGN : s_13_1 562 # ASSIGN : s_13_2 717 # ASSIGN : s_13_3 788 # ASSIGN : s_13_4 1133 # ASSIGN : s_13_5 918 # ASSIGN : s_13_6 1258 # ASSIGN : s_13_7 1061 # ASSIGN : s_13_8 40 # ASSIGN : s_13_9 452 # ASSIGN : s_13_10 1142 # ASSIGN : s_13_11 965 # ASSIGN : s_13_12 159 # ASSIGN : s_13_13 1182 # ASSIGN : s_13_14 361 # ASSIGN : s_13_15 253 # ASSIGN : s_13_16 1110 # ASSIGN : s_13_17 88 # ASSIGN : s_13_18 543 # ASSIGN : s_13_19 1323 # ASSIGN : s_14_0 1415 # ASSIGN : s_14_1 632 # ASSIGN : s_14_2 893 # ASSIGN : s_14_3 886 # ASSIGN : s_14_4 167 # ASSIGN : s_14_5 968 # ASSIGN : s_14_6 1221 # ASSIGN : s_14_7 1130 # ASSIGN : s_14_8 135 # ASSIGN : s_14_9 704 # ASSIGN : s_14_10 1359 # ASSIGN : s_14_11 856 # ASSIGN : s_14_12 99 # ASSIGN : s_14_13 461 # ASSIGN : s_14_14 359 # ASSIGN : s_14_15 203 # ASSIGN : s_14_16 1013 # ASSIGN : s_14_17 0 # ASSIGN : s_14_18 1487 # ASSIGN : s_14_19 772 # ASSIGN : s_15_0 801 # ASSIGN : s_15_1 1204 # ASSIGN : s_15_2 1039 # ASSIGN : s_15_3 911 # ASSIGN : s_15_4 35 # ASSIGN : s_15_5 1120 # ASSIGN : s_15_6 648 # ASSIGN : s_15_7 1227 # ASSIGN : s_15_8 514 # ASSIGN : s_15_9 149 # ASSIGN : s_15_10 1488 # ASSIGN : s_15_11 178 # ASSIGN : s_15_12 1248 # ASSIGN : s_15_13 1433 # ASSIGN : s_15_14 322 # ASSIGN : s_15_15 182 # ASSIGN : s_15_16 953 # ASSIGN : s_15_17 880 # ASSIGN : s_15_18 1355 # ASSIGN : s_15_19 598 # ASSIGN : s_16_0 1075 # ASSIGN : s_16_1 1245 # ASSIGN : s_16_2 1340 # ASSIGN : s_16_3 943 # ASSIGN : s_16_4 107 # ASSIGN : s_16_5 1499 # ASSIGN : s_16_6 661 # ASSIGN : s_16_7 1236 # ASSIGN : s_16_8 166 # ASSIGN : s_16_9 799 # ASSIGN : s_16_10 981 # ASSIGN : s_16_11 434 # ASSIGN : s_16_12 698 # ASSIGN : s_16_13 379 # ASSIGN : s_16_14 263 # ASSIGN : s_16_15 46 # ASSIGN : s_16_16 557 # ASSIGN : s_16_17 762 # ASSIGN : s_16_18 1308 # ASSIGN : s_16_19 483 # ASSIGN : s_17_0 737 # ASSIGN : s_17_1 1342 # ASSIGN : s_17_2 1418 # ASSIGN : s_17_3 1039 # ASSIGN : s_17_4 49 # ASSIGN : s_17_5 1190 # ASSIGN : s_17_6 742 # ASSIGN : s_17_7 1276 # ASSIGN : s_17_8 56 # ASSIGN : s_17_9 174 # ASSIGN : s_17_10 1382 # ASSIGN : s_17_11 1491 # ASSIGN : s_17_12 1 # ASSIGN : s_17_13 315 # ASSIGN : s_17_14 181 # ASSIGN : s_17_15 9 # ASSIGN : s_17_16 496 # ASSIGN : s_17_17 286 # ASSIGN : s_17_18 434 # ASSIGN : s_17_19 374 # ASSIGN : s_18_0 1018 # ASSIGN : s_18_1 1417 # ASSIGN : s_18_2 1502 # ASSIGN : s_18_3 1127 # ASSIGN : s_18_4 238 # ASSIGN : s_18_5 1245 # ASSIGN : s_18_6 811 # ASSIGN : s_18_7 1339 # ASSIGN : s_18_8 8 # ASSIGN : s_18_9 366 # ASSIGN : s_18_10 1166 # ASSIGN : s_18_11 331 # ASSIGN : s_18_12 24 # ASSIGN : s_18_13 248 # ASSIGN : s_18_14 81 # ASSIGN : s_18_15 919 # ASSIGN : s_18_16 442 # ASSIGN : s_18_17 172 # ASSIGN : s_18_18 1462 # ASSIGN : s_18_19 46 # ASSIGN : s_19_0 942 # ASSIGN : s_19_1 1460 # ASSIGN : s_19_2 1556 # ASSIGN : s_19_3 1295 # ASSIGN : s_19_4 178 # ASSIGN : s_19_5 1363 # ASSIGN : s_19_6 871 # ASSIGN : s_19_7 1240 # ASSIGN : s_19_8 1017 # ASSIGN : s_19_9 254 # ASSIGN : s_19_10 1153 # ASSIGN : s_19_11 785 # ASSIGN : s_19_12 351 # ASSIGN : s_19_13 194 # ASSIGN : s_19_14 1 # ASSIGN : s_19_15 135 # ASSIGN : s_19_16 396 # ASSIGN : s_19_17 1278 # ASSIGN : s_19_18 504 # ASSIGN : s_19_19 1490 SHOW_RESULT 1570 END : 1570 (5 seconds) [Mon Jun 19 16:31:47 2006] SHOW_RESULT 1570 CPU : 5.08000000000005 = 4.94000000000005 + 0.14 + 0 + 0 # BOUND : makespan 1241 1570 MODIFY_CNF 1405 BEGIN : [Mon Jun 19 16:31:47 2006] MODIFY_CNF 1405 END : 713509699 bytes (0 seconds) [Mon Jun 19 16:31:47 2006] MODIFY_CNF 1405 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1405 BEGIN : [Mon Jun 19 16:31:47 2006] CMD : minisat /tmp/csp2sat2833.cnf /tmp/csp2sat2833.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 21611591 64084920 | 7203863 0 0 nan | 0.000 % | | 100 | 21611591 64084920 | 7924249 100 4528 45.3 | 28.377 % | ============================================================================== restarts : 2 conflicts : 179 (1 /sec) decisions : 3982 (18 /sec) propagations : 2633392 (11709 /sec) conflict literals : 7354 (9.12 % deleted) Memory used : 1140.35 MB CPU time : 224.9 s SATISFIABLE VERIFY_CNF 1405 END : (230 seconds) [Mon Jun 19 16:35:37 2006] VERIFY_CNF 1405 CPU : 229.27 = 0.00999999999999091 + 0.00999999999999979 + 225.29 + 3.96 # RESULT : makespan 1405 SATISFIABLE SHOW_RESULT 1405 BEGIN : [Mon Jun 19 16:35:37 2006] # ASSIGN : makespan 1405 # ASSIGN : s_0_0 996 # ASSIGN : s_0_1 1109 # ASSIGN : s_0_2 385 # ASSIGN : s_0_3 791 # ASSIGN : s_0_4 46 # ASSIGN : s_0_5 450 # ASSIGN : s_0_6 86 # ASSIGN : s_0_7 1 # ASSIGN : s_0_8 134 # ASSIGN : s_0_9 19 # ASSIGN : s_0_10 204 # ASSIGN : s_0_11 645 # ASSIGN : s_0_12 1062 # ASSIGN : s_0_13 577 # ASSIGN : s_0_14 758 # ASSIGN : s_0_15 1242 # ASSIGN : s_0_16 1306 # ASSIGN : s_0_17 150 # ASSIGN : s_0_18 239 # ASSIGN : s_0_19 696 # ASSIGN : s_1_0 880 # ASSIGN : s_1_1 714 # ASSIGN : s_1_2 77 # ASSIGN : s_1_3 0 # ASSIGN : s_1_4 140 # ASSIGN : s_1_5 997 # ASSIGN : s_1_6 165 # ASSIGN : s_1_7 173 # ASSIGN : s_1_8 787 # ASSIGN : s_1_9 1348 # ASSIGN : s_1_10 319 # ASSIGN : s_1_11 234 # ASSIGN : s_1_12 238 # ASSIGN : s_1_13 505 # ASSIGN : s_1_14 581 # ASSIGN : s_1_15 1150 # ASSIGN : s_1_16 1276 # ASSIGN : s_1_17 415 # ASSIGN : s_1_18 602 # ASSIGN : s_1_19 667 # ASSIGN : s_2_0 280 # ASSIGN : s_2_1 538 # ASSIGN : s_2_2 874 # ASSIGN : s_2_3 39 # ASSIGN : s_2_4 214 # ASSIGN : s_2_5 880 # ASSIGN : s_2_6 138 # ASSIGN : s_2_7 245 # ASSIGN : s_2_8 152 # ASSIGN : s_2_9 1132 # ASSIGN : s_2_10 227 # ASSIGN : s_2_11 374 # ASSIGN : s_2_12 945 # ASSIGN : s_2_13 422 # ASSIGN : s_2_14 1313 # ASSIGN : s_2_15 1049 # ASSIGN : s_2_16 1270 # ASSIGN : s_2_17 380 # ASSIGN : s_2_18 406 # ASSIGN : s_2_19 588 # ASSIGN : s_3_0 1062 # ASSIGN : s_3_1 472 # ASSIGN : s_3_2 1144 # ASSIGN : s_3_3 132 # ASSIGN : s_3_4 229 # ASSIGN : s_3_5 57 # ASSIGN : s_3_6 253 # ASSIGN : s_3_7 8 # ASSIGN : s_3_8 626 # ASSIGN : s_3_9 917 # ASSIGN : s_3_10 277 # ASSIGN : s_3_11 536 # ASSIGN : s_3_12 717 # ASSIGN : s_3_13 382 # ASSIGN : s_3_14 801 # ASSIGN : s_3_15 1031 # ASSIGN : s_3_16 1230 # ASSIGN : s_3_17 65 # ASSIGN : s_3_18 295 # ASSIGN : s_3_19 1329 # ASSIGN : s_4_0 397 # ASSIGN : s_4_1 582 # ASSIGN : s_4_2 938 # ASSIGN : s_4_3 215 # ASSIGN : s_4_4 270 # ASSIGN : s_4_5 604 # ASSIGN : s_4_6 63 # ASSIGN : s_4_7 150 # ASSIGN : s_4_8 1095 # ASSIGN : s_4_9 909 # ASSIGN : s_4_10 780 # ASSIGN : s_4_11 862 # ASSIGN : s_4_12 330 # ASSIGN : s_4_13 362 # ASSIGN : s_4_14 1225 # ASSIGN : s_4_15 1026 # ASSIGN : s_4_16 1185 # ASSIGN : s_4_17 332 # ASSIGN : s_4_18 551 # ASSIGN : s_4_19 1323 # ASSIGN : s_5_0 407 # ASSIGN : s_5_1 583 # ASSIGN : s_5_2 469 # ASSIGN : s_5_3 271 # ASSIGN : s_5_4 559 # ASSIGN : s_5_5 176 # ASSIGN : s_5_6 565 # ASSIGN : s_5_7 42 # ASSIGN : s_5_8 1334 # ASSIGN : s_5_9 850 # ASSIGN : s_5_10 657 # ASSIGN : s_5_11 792 # ASSIGN : s_5_12 708 # ASSIGN : s_5_13 886 # ASSIGN : s_5_14 1210 # ASSIGN : s_5_15 972 # ASSIGN : s_5_16 1114 # ASSIGN : s_5_17 713 # ASSIGN : s_5_18 1035 # ASSIGN : s_5_19 1251 # ASSIGN : s_6_0 74 # ASSIGN : s_6_1 286 # ASSIGN : s_6_2 10 # ASSIGN : s_6_3 358 # ASSIGN : s_6_4 749 # ASSIGN : s_6_5 413 # ASSIGN : s_6_6 1277 # ASSIGN : s_6_7 1335 # ASSIGN : s_6_8 959 # ASSIGN : s_6_9 812 # ASSIGN : s_6_10 556 # ASSIGN : s_6_11 117 # ASSIGN : s_6_12 148 # ASSIGN : s_6_13 855 # ASSIGN : s_6_14 1083 # ASSIGN : s_6_15 884 # ASSIGN : s_6_16 1044 # ASSIGN : s_6_17 646 # ASSIGN : s_6_18 1399 # ASSIGN : s_6_19 1179 # ASSIGN : s_7_0 455 # ASSIGN : s_7_1 644 # ASSIGN : s_7_2 137 # ASSIGN : s_7_3 370 # ASSIGN : s_7_4 1198 # ASSIGN : s_7_5 108 # ASSIGN : s_7_6 1216 # ASSIGN : s_7_7 1314 # ASSIGN : s_7_8 1227 # ASSIGN : s_7_9 808 # ASSIGN : s_7_10 21 # ASSIGN : s_7_11 1144 # ASSIGN : s_7_12 1042 # ASSIGN : s_7_13 713 # ASSIGN : s_7_14 1072 # ASSIGN : s_7_15 818 # ASSIGN : s_7_16 881 # ASSIGN : s_7_17 1316 # ASSIGN : s_7_18 980 # ASSIGN : s_7_19 1097 # ASSIGN : s_8_0 83 # ASSIGN : s_8_1 303 # ASSIGN : s_8_2 191 # ASSIGN : s_8_3 482 # ASSIGN : s_8_4 1378 # ASSIGN : s_8_5 1184 # ASSIGN : s_8_6 1168 # ASSIGN : s_8_7 1196 # ASSIGN : s_8_8 545 # ASSIGN : s_8_9 728 # ASSIGN : s_8_10 981 # ASSIGN : s_8_11 404 # ASSIGN : s_8_12 1115 # ASSIGN : s_8_13 641 # ASSIGN : s_8_14 1019 # ASSIGN : s_8_15 758 # ASSIGN : s_8_16 759 # ASSIGN : s_8_17 1260 # ASSIGN : s_8_18 920 # ASSIGN : s_8_19 847 # ASSIGN : s_9_0 179 # ASSIGN : s_9_1 0 # ASSIGN : s_9_2 195 # ASSIGN : s_9_3 526 # ASSIGN : s_9_4 924 # ASSIGN : s_9_5 1318 # ASSIGN : s_9_6 582 # ASSIGN : s_9_7 403 # ASSIGN : s_9_8 462 # ASSIGN : s_9_9 664 # ASSIGN : s_9_10 82 # ASSIGN : s_9_11 483 # ASSIGN : s_9_12 535 # ASSIGN : s_9_13 283 # ASSIGN : s_9_14 990 # ASSIGN : s_9_15 711 # ASSIGN : s_9_16 687 # ASSIGN : s_9_17 1178 # ASSIGN : s_9_18 843 # ASSIGN : s_9_19 781 # ASSIGN : s_10_0 6 # ASSIGN : s_10_1 75 # ASSIGN : s_10_2 248 # ASSIGN : s_10_3 552 # ASSIGN : s_10_4 839 # ASSIGN : s_10_5 1094 # ASSIGN : s_10_6 216 # ASSIGN : s_10_7 167 # ASSIGN : s_10_8 923 # ASSIGN : s_10_9 483 # ASSIGN : s_10_10 1291 # ASSIGN : s_10_11 995 # ASSIGN : s_10_12 339 # ASSIGN : s_10_13 174 # ASSIGN : s_10_14 967 # ASSIGN : s_10_15 695 # ASSIGN : s_10_16 612 # ASSIGN : s_10_17 1172 # ASSIGN : s_10_18 790 # ASSIGN : s_10_19 748 # ASSIGN : s_11_0 197 # ASSIGN : s_11_1 238 # ASSIGN : s_11_2 286 # ASSIGN : s_11_3 620 # ASSIGN : s_11_4 996 # ASSIGN : s_11_5 1222 # ASSIGN : s_11_6 346 # ASSIGN : s_11_7 840 # ASSIGN : s_11_8 1179 # ASSIGN : s_11_9 428 # ASSIGN : s_11_10 1051 # ASSIGN : s_11_11 21 # ASSIGN : s_11_12 1323 # ASSIGN : s_11_13 93 # ASSIGN : s_11_14 909 # ASSIGN : s_11_15 661 # ASSIGN : s_11_16 540 # ASSIGN : s_11_17 1123 # ASSIGN : s_11_18 705 # ASSIGN : s_11_19 515 # ASSIGN : s_12_0 776 # ASSIGN : s_12_1 157 # ASSIGN : s_12_2 345 # ASSIGN : s_12_3 670 # ASSIGN : s_12_4 970 # ASSIGN : s_12_5 1198 # ASSIGN : s_12_6 1365 # ASSIGN : s_12_7 1057 # ASSIGN : s_12_8 718 # ASSIGN : s_12_9 239 # ASSIGN : s_12_10 1036 # ASSIGN : s_12_11 984 # ASSIGN : s_12_12 1287 # ASSIGN : s_12_13 17 # ASSIGN : s_12_14 877 # ASSIGN : s_12_15 566 # ASSIGN : s_12_16 524 # ASSIGN : s_12_17 1108 # ASSIGN : s_12_18 446 # ASSIGN : s_12_19 374 # ASSIGN : s_13_0 227 # ASSIGN : s_13_1 401 # ASSIGN : s_13_2 567 # ASSIGN : s_13_3 693 # ASSIGN : s_13_4 392 # ASSIGN : s_13_5 913 # ASSIGN : s_13_6 960 # ASSIGN : s_13_7 644 # ASSIGN : s_13_8 21 # ASSIGN : s_13_9 48 # ASSIGN : s_13_10 1025 # ASSIGN : s_13_11 139 # ASSIGN : s_13_12 1193 # ASSIGN : s_13_13 1329 # ASSIGN : s_13_14 806 # ASSIGN : s_13_15 482 # ASSIGN : s_13_16 471 # ASSIGN : s_13_17 1039 # ASSIGN : s_13_18 374 # ASSIGN : s_13_19 279 # ASSIGN : s_14_0 548 # ASSIGN : s_14_1 847 # ASSIGN : s_14_2 638 # ASSIGN : s_14_3 840 # ASSIGN : s_14_4 324 # ASSIGN : s_14_5 63 # ASSIGN : s_14_6 26 # ASSIGN : s_14_7 713 # ASSIGN : s_14_8 293 # ASSIGN : s_14_9 1303 # ASSIGN : s_14_10 1352 # ASSIGN : s_14_11 1375 # ASSIGN : s_14_12 1157 # ASSIGN : s_14_13 1032 # ASSIGN : s_14_14 804 # ASSIGN : s_14_15 432 # ASSIGN : s_14_16 335 # ASSIGN : s_14_17 944 # ASSIGN : s_14_18 112 # ASSIGN : s_14_19 195 # ASSIGN : s_15_0 620 # ASSIGN : s_15_1 919 # ASSIGN : s_15_2 714 # ASSIGN : s_15_3 856 # ASSIGN : s_15_4 378 # ASSIGN : s_15_5 534 # ASSIGN : s_15_6 4 # ASSIGN : s_15_7 141 # ASSIGN : s_15_8 191 # ASSIGN : s_15_9 1107 # ASSIGN : s_15_10 1196 # ASSIGN : s_15_11 17 # ASSIGN : s_15_12 795 # ASSIGN : s_15_13 1278 # ASSIGN : s_15_14 677 # ASSIGN : s_15_15 411 # ASSIGN : s_15_16 275 # ASSIGN : s_15_17 888 # ASSIGN : s_15_18 34 # ASSIGN : s_15_19 165 # ASSIGN : s_16_0 684 # ASSIGN : s_16_1 942 # ASSIGN : s_16_2 796 # ASSIGN : s_16_3 888 # ASSIGN : s_16_4 463 # ASSIGN : s_16_5 279 # ASSIGN : s_16_6 426 # ASSIGN : s_16_7 33 # ASSIGN : s_16_8 37 # ASSIGN : s_16_9 1005 # ASSIGN : s_16_10 1102 # ASSIGN : s_16_11 1326 # ASSIGN : s_16_12 620 # ASSIGN : s_16_13 1223 # ASSIGN : s_16_14 522 # ASSIGN : s_16_15 350 # ASSIGN : s_16_16 178 # ASSIGN : s_16_17 583 # ASSIGN : s_16_18 1 # ASSIGN : s_16_19 135 # ASSIGN : s_17_0 875 # ASSIGN : s_17_1 1014 # ASSIGN : s_17_2 1071 # ASSIGN : s_17_3 926 # ASSIGN : s_17_4 369 # ASSIGN : s_17_5 2 # ASSIGN : s_17_6 716 # ASSIGN : s_17_7 455 # ASSIGN : s_17_8 376 # ASSIGN : s_17_9 1398 # ASSIGN : s_17_10 518 # ASSIGN : s_17_11 1247 # ASSIGN : s_17_12 612 # ASSIGN : s_17_13 1164 # ASSIGN : s_17_14 231 # ASSIGN : s_17_15 313 # ASSIGN : s_17_16 117 # ASSIGN : s_17_17 554 # ASSIGN : s_17_18 1336 # ASSIGN : s_17_19 57 # ASSIGN : s_18_0 939 # ASSIGN : s_18_1 1054 # ASSIGN : s_18_2 1337 # ASSIGN : s_18_3 1015 # ASSIGN : s_18_4 314 # ASSIGN : s_18_5 785 # ASSIGN : s_18_6 879 # ASSIGN : s_18_7 325 # ASSIGN : s_18_8 10 # ASSIGN : s_18_9 1227 # ASSIGN : s_18_10 415 # ASSIGN : s_18_11 1192 # ASSIGN : s_18_12 590 # ASSIGN : s_18_13 1097 # ASSIGN : s_18_14 140 # ASSIGN : s_18_15 234 # ASSIGN : s_18_16 63 # ASSIGN : s_18_17 489 # ASSIGN : s_18_18 1311 # ASSIGN : s_18_19 22 # ASSIGN : s_19_0 1316 # ASSIGN : s_19_1 1174 # ASSIGN : s_19_2 1391 # ASSIGN : s_19_3 1204 # ASSIGN : s_19_4 243 # ASSIGN : s_19_5 688 # ASSIGN : s_19_6 785 # ASSIGN : s_19_7 1138 # ASSIGN : s_19_8 856 # ASSIGN : s_19_9 330 # ASSIGN : s_19_10 1 # ASSIGN : s_19_11 259 # ASSIGN : s_19_12 427 # ASSIGN : s_19_13 189 # ASSIGN : s_19_14 60 # ASSIGN : s_19_15 146 # ASSIGN : s_19_16 14 # ASSIGN : s_19_17 472 # ASSIGN : s_19_18 1272 # ASSIGN : s_19_19 1042 SHOW_RESULT 1405 END : 1405 (4 seconds) [Mon Jun 19 16:35:41 2006] SHOW_RESULT 1405 CPU : 4.91999999999988 = 4.87999999999988 + 0.04 + 0 + 0 # BOUND : makespan 1241 1405 MODIFY_CNF 1323 BEGIN : [Mon Jun 19 16:35:42 2006] MODIFY_CNF 1323 END : 713509698 bytes (0 seconds) [Mon Jun 19 16:35:42 2006] MODIFY_CNF 1323 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1323 BEGIN : [Mon Jun 19 16:35:42 2006] CMD : minisat /tmp/csp2sat2833.cnf /tmp/csp2sat2833.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 20365191 60345720 | 6788397 0 0 nan | 0.000 % | | 100 | 20365191 60345720 | 7467236 100 3416 34.2 | 32.608 % | ============================================================================== restarts : 2 conflicts : 182 (1 /sec) decisions : 7792 (33 /sec) propagations : 3736868 (15900 /sec) conflict literals : 4175 (5.90 % deleted) Memory used : 1151.56 MB CPU time : 235.03 s SATISFIABLE VERIFY_CNF 1323 END : (239 seconds) [Mon Jun 19 16:39:41 2006] VERIFY_CNF 1323 CPU : 239.5 = 0 + 0.00999999999999979 + 235.42 + 4.07 # RESULT : makespan 1323 SATISFIABLE SHOW_RESULT 1323 BEGIN : [Mon Jun 19 16:39:41 2006] # ASSIGN : makespan 1323 # ASSIGN : s_0_0 969 # ASSIGN : s_0_1 491 # ASSIGN : s_0_2 1249 # ASSIGN : s_0_3 1078 # ASSIGN : s_0_4 1038 # ASSIGN : s_0_5 230 # ASSIGN : s_0_6 691 # ASSIGN : s_0_7 1314 # ASSIGN : s_0_8 69 # ASSIGN : s_0_9 930 # ASSIGN : s_0_10 1127 # ASSIGN : s_0_11 381 # ASSIGN : s_0_12 11 # ASSIGN : s_0_13 739 # ASSIGN : s_0_14 432 # ASSIGN : s_0_15 104 # ASSIGN : s_0_16 1150 # ASSIGN : s_0_17 322 # ASSIGN : s_0_18 168 # ASSIGN : s_0_19 632 # ASSIGN : s_1_0 359 # ASSIGN : s_1_1 418 # ASSIGN : s_1_2 811 # ASSIGN : s_1_3 772 # ASSIGN : s_1_4 72 # ASSIGN : s_1_5 965 # ASSIGN : s_1_6 1246 # ASSIGN : s_1_7 117 # ASSIGN : s_1_8 178 # ASSIGN : s_1_9 694 # ASSIGN : s_1_10 598 # ASSIGN : s_1_11 502 # ASSIGN : s_1_12 249 # ASSIGN : s_1_13 1163 # ASSIGN : s_1_14 883 # ASSIGN : s_1_15 506 # ASSIGN : s_1_16 904 # ASSIGN : s_1_17 1062 # ASSIGN : s_1_18 1258 # ASSIGN : s_1_19 330 # ASSIGN : s_2_0 874 # ASSIGN : s_2_1 331 # ASSIGN : s_2_2 719 # ASSIGN : s_2_3 128 # ASSIGN : s_2_4 840 # ASSIGN : s_2_5 536 # ASSIGN : s_2_6 1060 # ASSIGN : s_2_7 1106 # ASSIGN : s_2_8 85 # ASSIGN : s_2_9 744 # ASSIGN : s_2_10 853 # ASSIGN : s_2_11 375 # ASSIGN : s_2_12 1226 # ASSIGN : s_2_13 968 # ASSIGN : s_2_14 627 # ASSIGN : s_2_15 423 # ASSIGN : s_2_16 725 # ASSIGN : s_2_17 15 # ASSIGN : s_2_18 224 # ASSIGN : s_2_19 1142 # ASSIGN : s_3_0 108 # ASSIGN : s_3_1 756 # ASSIGN : s_3_2 871 # ASSIGN : s_3_3 673 # ASSIGN : s_3_4 821 # ASSIGN : s_3_5 1202 # ASSIGN : s_3_6 344 # ASSIGN : s_3_7 16 # ASSIGN : s_3_8 1216 # ASSIGN : s_3_9 957 # ASSIGN : s_3_10 835 # ASSIGN : s_3_11 579 # ASSIGN : s_3_12 1045 # ASSIGN : s_3_13 1123 # ASSIGN : s_3_14 226 # ASSIGN : s_3_15 853 # ASSIGN : s_3_16 378 # ASSIGN : s_3_17 41 # ASSIGN : s_3_18 240 # ASSIGN : s_3_19 457 # ASSIGN : s_4_0 1313 # ASSIGN : s_4_1 820 # ASSIGN : s_4_2 1097 # ASSIGN : s_4_3 1019 # ASSIGN : s_4_4 14 # ASSIGN : s_4_5 1208 # ASSIGN : s_4_6 1074 # ASSIGN : s_4_7 1296 # ASSIGN : s_4_8 735 # ASSIGN : s_4_9 5 # ASSIGN : s_4_10 937 # ASSIGN : s_4_11 229 # ASSIGN : s_4_12 58 # ASSIGN : s_4_13 88 # ASSIGN : s_4_14 138 # ASSIGN : s_4_15 285 # ASSIGN : s_4_16 338 # ASSIGN : s_4_17 108 # ASSIGN : s_4_18 831 # ASSIGN : s_4_19 451 # ASSIGN : s_5_0 427 # ASSIGN : s_5_1 1088 # ASSIGN : s_5_2 177 # ASSIGN : s_5_3 930 # ASSIGN : s_5_4 1157 # ASSIGN : s_5_5 640 # ASSIGN : s_5_6 814 # ASSIGN : s_5_7 831 # ASSIGN : s_5_8 1017 # ASSIGN : s_5_9 113 # ASSIGN : s_5_10 31 # ASSIGN : s_5_11 1163 # ASSIGN : s_5_12 82 # ASSIGN : s_5_13 554 # ASSIGN : s_5_14 2 # ASSIGN : s_5_15 369 # ASSIGN : s_5_16 267 # ASSIGN : s_5_17 735 # ASSIGN : s_5_18 475 # ASSIGN : s_5_19 1221 # ASSIGN : s_6_0 1304 # ASSIGN : s_6_1 739 # ASSIGN : s_6_2 1185 # ASSIGN : s_6_3 2 # ASSIGN : s_6_4 1094 # ASSIGN : s_6_5 928 # ASSIGN : s_6_6 239 # ASSIGN : s_6_7 767 # ASSIGN : s_6_8 387 # ASSIGN : s_6_9 1260 # ASSIGN : s_6_10 297 # ASSIGN : s_6_11 887 # ASSIGN : s_6_12 149 # ASSIGN : s_6_13 651 # ASSIGN : s_6_14 488 # ASSIGN : s_6_15 1011 # ASSIGN : s_6_16 972 # ASSIGN : s_6_17 584 # ASSIGN : s_6_18 64 # ASSIGN : s_6_19 77 # ASSIGN : s_7_0 1035 # ASSIGN : s_7_1 966 # ASSIGN : s_7_2 367 # ASSIGN : s_7_3 1128 # ASSIGN : s_7_4 747 # ASSIGN : s_7_5 1292 # ASSIGN : s_7_6 44 # ASSIGN : s_7_7 1321 # ASSIGN : s_7_8 605 # ASSIGN : s_7_9 915 # ASSIGN : s_7_10 198 # ASSIGN : s_7_11 77 # ASSIGN : s_7_12 129 # ASSIGN : s_7_13 261 # ASSIGN : s_7_14 421 # ASSIGN : s_7_15 1229 # ASSIGN : s_7_16 506 # ASSIGN : s_7_17 820 # ASSIGN : s_7_18 765 # ASSIGN : s_7_19 919 # ASSIGN : s_8_0 1128 # ASSIGN : s_8_1 1224 # ASSIGN : s_8_2 295 # ASSIGN : s_8_3 625 # ASSIGN : s_8_4 148 # ASSIGN : s_8_5 218 # ASSIGN : s_8_6 1 # ASSIGN : s_8_7 987 # ASSIGN : s_8_8 306 # ASSIGN : s_8_9 540 # ASSIGN : s_8_10 871 # ASSIGN : s_8_11 909 # ASSIGN : s_8_12 583 # ASSIGN : s_8_13 1051 # ASSIGN : s_8_14 17 # ASSIGN : s_8_15 1322 # ASSIGN : s_8_16 418 # ASSIGN : s_8_17 669 # ASSIGN : s_8_18 70 # ASSIGN : s_8_19 739 # ASSIGN : s_9_0 498 # ASSIGN : s_9_1 1149 # ASSIGN : s_9_2 537 # ASSIGN : s_9_3 1314 # ASSIGN : s_9_4 259 # ASSIGN : s_9_5 314 # ASSIGN : s_9_6 840 # ASSIGN : s_9_7 178 # ASSIGN : s_9_8 819 # ASSIGN : s_9_9 514 # ASSIGN : s_9_10 401 # ASSIGN : s_9_11 25 # ASSIGN : s_9_12 634 # ASSIGN : s_9_13 1235 # ASSIGN : s_9_14 598 # ASSIGN : s_9_15 1102 # ASSIGN : s_9_16 934 # ASSIGN : s_9_17 958 # ASSIGN : s_9_18 688 # ASSIGN : s_9_19 1040 # ASSIGN : s_10_0 806 # ASSIGN : s_10_1 884 # ASSIGN : s_10_2 1048 # ASSIGN : s_10_3 1254 # ASSIGN : s_10_4 175 # ASSIGN : s_10_5 43 # ASSIGN : s_10_6 433 # ASSIGN : s_10_7 719 # ASSIGN : s_10_8 124 # ASSIGN : s_10_9 570 # ASSIGN : s_10_10 506 # ASSIGN : s_10_11 276 # ASSIGN : s_10_12 1138 # ASSIGN : s_10_13 160 # ASSIGN : s_10_14 465 # ASSIGN : s_10_15 1086 # ASSIGN : s_10_16 731 # ASSIGN : s_10_17 725 # ASSIGN : s_10_18 639 # ASSIGN : s_10_19 966 # ASSIGN : s_11_0 523 # ASSIGN : s_11_1 1040 # ASSIGN : s_11_2 299 # ASSIGN : s_11_3 1213 # ASSIGN : s_11_4 358 # ASSIGN : s_11_5 427 # ASSIGN : s_11_6 150 # ASSIGN : s_11_7 230 # ASSIGN : s_11_8 692 # ASSIGN : s_11_9 13 # ASSIGN : s_11_10 752 # ASSIGN : s_11_11 1091 # ASSIGN : s_11_12 958 # ASSIGN : s_11_13 803 # ASSIGN : s_11_14 1265 # ASSIGN : s_11_15 1179 # ASSIGN : s_11_16 68 # ASSIGN : s_11_17 909 # ASSIGN : s_11_18 554 # ASSIGN : s_11_19 884 # ASSIGN : s_12_0 1 # ASSIGN : s_12_1 556 # ASSIGN : s_12_2 1019 # ASSIGN : s_12_3 907 # ASSIGN : s_12_4 305 # ASSIGN : s_12_5 403 # ASSIGN : s_12_6 100 # ASSIGN : s_12_7 427 # ASSIGN : s_12_8 247 # ASSIGN : s_12_9 156 # ASSIGN : s_12_10 1112 # ASSIGN : s_12_11 669 # ASSIGN : s_12_12 681 # ASSIGN : s_12_13 478 # ASSIGN : s_12_14 1153 # ASSIGN : s_12_15 717 # ASSIGN : s_12_16 140 # ASSIGN : s_12_17 654 # ASSIGN : s_12_18 319 # ASSIGN : s_12_19 812 # ASSIGN : s_13_0 628 # ASSIGN : s_13_1 27 # ASSIGN : s_13_2 106 # ASSIGN : s_13_3 270 # ASSIGN : s_13_4 97 # ASSIGN : s_13_5 880 # ASSIGN : s_13_6 368 # ASSIGN : s_13_7 1238 # ASSIGN : s_13_8 1307 # ASSIGN : s_13_9 1147 # ASSIGN : s_13_10 259 # ASSIGN : s_13_11 680 # ASSIGN : s_13_12 768 # ASSIGN : s_13_13 183 # ASSIGN : s_13_14 1065 # ASSIGN : s_13_15 927 # ASSIGN : s_13_16 1136 # ASSIGN : s_13_17 464 # ASSIGN : s_13_18 862 # ASSIGN : s_13_19 533 # ASSIGN : s_14_0 1232 # ASSIGN : s_14_1 667 # ASSIGN : s_14_2 590 # ASSIGN : s_14_3 14 # ASSIGN : s_14_4 333 # ASSIGN : s_14_5 1063 # ASSIGN : s_14_6 769 # ASSIGN : s_14_7 1141 # ASSIGN : s_14_8 986 # ASSIGN : s_14_9 469 # ASSIGN : s_14_10 567 # ASSIGN : s_14_11 125 # ASSIGN : s_14_12 87 # ASSIGN : s_14_13 22 # ASSIGN : s_14_14 123 # ASSIGN : s_14_15 192 # ASSIGN : s_14_16 806 # ASSIGN : s_14_17 376 # ASSIGN : s_14_18 903 # ASSIGN : s_14_19 246 # ASSIGN : s_15_0 287 # ASSIGN : s_15_1 4 # ASSIGN : s_15_2 729 # ASSIGN : s_15_3 490 # ASSIGN : s_15_4 344 # ASSIGN : s_15_5 810 # ASSIGN : s_15_6 55 # ASSIGN : s_15_7 1287 # ASSIGN : s_15_8 1121 # ASSIGN : s_15_9 1298 # ASSIGN : s_15_10 1205 # ASSIGN : s_15_11 68 # ASSIGN : s_15_12 522 # ASSIGN : s_15_13 109 # ASSIGN : s_15_14 72 # ASSIGN : s_15_15 171 # ASSIGN : s_15_16 196 # ASSIGN : s_15_17 256 # ASSIGN : s_15_18 397 # ASSIGN : s_15_19 365 # ASSIGN : s_16_0 714 # ASSIGN : s_16_1 821 # ASSIGN : s_16_2 14 # ASSIGN : s_16_3 221 # ASSIGN : s_16_4 413 # ASSIGN : s_16_5 569 # ASSIGN : s_16_6 982 # ASSIGN : s_16_7 100 # ASSIGN : s_16_8 472 # ASSIGN : s_16_9 259 # ASSIGN : s_16_10 104 # ASSIGN : s_16_11 1244 # ASSIGN : s_16_12 894 # ASSIGN : s_16_13 356 # ASSIGN : s_16_14 1185 # ASSIGN : s_16_15 653 # ASSIGN : s_16_16 1019 # ASSIGN : s_16_17 1148 # ASSIGN : s_16_18 1116 # ASSIGN : s_16_19 1293 # ASSIGN : s_17_0 1227 # ASSIGN : s_17_1 189 # ASSIGN : s_17_2 464 # ASSIGN : s_17_3 812 # ASSIGN : s_17_4 900 # ASSIGN : s_17_5 755 # ASSIGN : s_17_6 1254 # ASSIGN : s_17_7 556 # ASSIGN : s_17_8 907 # ASSIGN : s_17_9 149 # ASSIGN : s_17_10 1169 # ASSIGN : s_17_11 1012 # ASSIGN : s_17_12 383 # ASSIGN : s_17_13 680 # ASSIGN : s_17_14 229 # ASSIGN : s_17_15 67 # ASSIGN : s_17_16 619 # ASSIGN : s_17_17 1119 # ASSIGN : s_17_18 2 # ASSIGN : s_17_19 391 # ASSIGN : s_18_0 190 # ASSIGN : s_18_1 247 # ASSIGN : s_18_2 665 # ASSIGN : s_18_3 89 # ASSIGN : s_18_4 989 # ASSIGN : s_18_5 1108 # ASSIGN : s_18_6 922 # ASSIGN : s_18_7 478 # ASSIGN : s_18_8 1205 # ASSIGN : s_18_9 839 # ASSIGN : s_18_10 1034 # ASSIGN : s_18_11 155 # ASSIGN : s_18_12 60 # ASSIGN : s_18_13 411 # ASSIGN : s_18_14 748 # ASSIGN : s_18_15 290 # ASSIGN : s_18_16 6 # ASSIGN : s_18_17 1241 # ASSIGN : s_18_18 130 # ASSIGN : s_18_19 999 # ASSIGN : s_19_0 553 # ASSIGN : s_19_1 637 # ASSIGN : s_19_2 92 # ASSIGN : s_19_3 21 # ASSIGN : s_19_4 1005 # ASSIGN : s_19_5 121 # ASSIGN : s_19_6 1148 # ASSIGN : s_19_7 391 # ASSIGN : s_19_8 840 # ASSIGN : s_19_9 1050 # ASSIGN : s_19_10 1021 # ASSIGN : s_19_11 769 # ASSIGN : s_19_12 477 # ASSIGN : s_19_13 914 # ASSIGN : s_19_14 311 # ASSIGN : s_19_15 242 # ASSIGN : s_19_16 1260 # ASSIGN : s_19_17 1306 # ASSIGN : s_19_18 1219 # ASSIGN : s_19_19 684 SHOW_RESULT 1323 END : 1323 (5 seconds) [Mon Jun 19 16:39:46 2006] SHOW_RESULT 1323 CPU : 4.90000000000014 = 4.85000000000014 + 0.0500000000000007 + 0 + 0 # BOUND : makespan 1241 1323 MODIFY_CNF 1282 BEGIN : [Mon Jun 19 16:39:47 2006] MODIFY_CNF 1282 END : 713509698 bytes (0 seconds) [Mon Jun 19 16:39:47 2006] MODIFY_CNF 1282 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1282 BEGIN : [Mon Jun 19 16:39:47 2006] CMD : minisat /tmp/csp2sat2833.cnf /tmp/csp2sat2833.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 19741991 58476120 | 6580663 0 0 nan | 0.000 % | | 100 | 19741991 58476120 | 7238729 100 1788 17.9 | 34.724 % | ============================================================================== restarts : 2 conflicts : 248 (2 /sec) decisions : 5937 (39 /sec) propagations : 2814590 (18557 /sec) conflict literals : 4632 (2.83 % deleted) Memory used : 1146.80 MB CPU time : 151.67 s SATISFIABLE VERIFY_CNF 1282 END : (155 seconds) [Mon Jun 19 16:42:22 2006] VERIFY_CNF 1282 CPU : 155.31 = 0 + 0.00999999999999979 + 152.07 + 3.23 # RESULT : makespan 1282 SATISFIABLE SHOW_RESULT 1282 BEGIN : [Mon Jun 19 16:42:22 2006] # ASSIGN : makespan 1282 # ASSIGN : s_0_0 30 # ASSIGN : s_0_1 1011 # ASSIGN : s_0_2 1217 # ASSIGN : s_0_3 766 # ASSIGN : s_0_4 476 # ASSIGN : s_0_5 882 # ASSIGN : s_0_6 1161 # ASSIGN : s_0_7 452 # ASSIGN : s_0_8 459 # ASSIGN : s_0_9 973 # ASSIGN : s_0_10 1082 # ASSIGN : s_0_11 1110 # ASSIGN : s_0_12 665 # ASSIGN : s_0_13 344 # ASSIGN : s_0_14 516 # ASSIGN : s_0_15 226 # ASSIGN : s_0_16 549 # ASSIGN : s_0_17 712 # ASSIGN : s_0_18 815 # ASSIGN : s_0_19 111 # ASSIGN : s_1_0 222 # ASSIGN : s_1_1 57 # ASSIGN : s_1_2 1149 # ASSIGN : s_1_3 1080 # ASSIGN : s_1_4 281 # ASSIGN : s_1_5 569 # ASSIGN : s_1_6 1209 # ASSIGN : s_1_7 666 # ASSIGN : s_1_8 306 # ASSIGN : s_1_9 1009 # ASSIGN : s_1_10 793 # ASSIGN : s_1_11 0 # ASSIGN : s_1_12 889 # ASSIGN : s_1_13 496 # ASSIGN : s_1_14 415 # ASSIGN : s_1_15 130 # ASSIGN : s_1_16 13 # ASSIGN : s_1_17 439 # ASSIGN : s_1_18 1217 # ASSIGN : s_1_19 746 # ASSIGN : s_2_0 127 # ASSIGN : s_2_1 13 # ASSIGN : s_2_2 90 # ASSIGN : s_2_3 1189 # ASSIGN : s_2_4 96 # ASSIGN : s_2_5 1153 # ASSIGN : s_2_6 109 # ASSIGN : s_2_7 221 # ASSIGN : s_2_8 640 # ASSIGN : s_2_9 697 # ASSIGN : s_2_10 968 # ASSIGN : s_2_11 4 # ASSIGN : s_2_12 478 # ASSIGN : s_2_13 986 # ASSIGN : s_2_14 876 # ASSIGN : s_2_15 290 # ASSIGN : s_2_16 256 # ASSIGN : s_2_17 373 # ASSIGN : s_2_18 1137 # ASSIGN : s_2_19 399 # ASSIGN : s_3_0 799 # ASSIGN : s_3_1 729 # ASSIGN : s_3_2 362 # ASSIGN : s_3_3 279 # ASSIGN : s_3_4 448 # ASSIGN : s_3_5 1147 # ASSIGN : s_3_6 255 # ASSIGN : s_3_7 152 # ASSIGN : s_3_8 937 # ASSIGN : s_3_9 1059 # ASSIGN : s_3_10 1264 # ASSIGN : s_3_11 1174 # ASSIGN : s_3_12 177 # ASSIGN : s_3_13 647 # ASSIGN : s_3_14 3 # ASSIGN : s_3_15 919 # ASSIGN : s_3_16 112 # ASSIGN : s_3_17 9 # ASSIGN : s_3_18 492 # ASSIGN : s_3_19 571 # ASSIGN : s_4_0 96 # ASSIGN : s_4_1 1 # ASSIGN : s_4_2 524 # ASSIGN : s_4_3 177 # ASSIGN : s_4_4 1179 # ASSIGN : s_4_5 753 # ASSIGN : s_4_6 232 # ASSIGN : s_4_7 114 # ASSIGN : s_4_8 1095 # ASSIGN : s_4_9 2 # ASSIGN : s_4_10 1000 # ASSIGN : s_4_11 10 # ASSIGN : s_4_12 131 # ASSIGN : s_4_13 687 # ASSIGN : s_4_14 255 # ASSIGN : s_4_15 858 # ASSIGN : s_4_16 1242 # ASSIGN : s_4_17 863 # ASSIGN : s_4_18 969 # ASSIGN : s_4_19 912 # ASSIGN : s_5_0 286 # ASSIGN : s_5_1 793 # ASSIGN : s_5_2 115 # ASSIGN : s_5_3 391 # ASSIGN : s_5_4 865 # ASSIGN : s_5_5 1049 # ASSIGN : s_5_6 1144 # ASSIGN : s_5_7 950 # ASSIGN : s_5_8 215 # ASSIGN : s_5_9 334 # ASSIGN : s_5_10 5 # ASSIGN : s_5_11 57 # ASSIGN : s_5_12 1277 # ASSIGN : s_5_13 707 # ASSIGN : s_5_14 371 # ASSIGN : s_5_15 574 # ASSIGN : s_5_16 478 # ASSIGN : s_5_17 628 # ASSIGN : s_5_18 871 # ASSIGN : s_5_19 1163 # ASSIGN : s_6_0 1138 # ASSIGN : s_6_1 142 # ASSIGN : s_6_2 281 # ASSIGN : s_6_3 831 # ASSIGN : s_6_4 345 # ASSIGN : s_6_5 666 # ASSIGN : s_6_6 995 # ASSIGN : s_6_7 886 # ASSIGN : s_6_8 1197 # ASSIGN : s_6_9 1147 # ASSIGN : s_6_10 703 # ASSIGN : s_6_11 259 # ASSIGN : s_6_12 575 # ASSIGN : s_6_13 408 # ASSIGN : s_6_14 159 # ASSIGN : s_6_15 55 # ASSIGN : s_6_16 847 # ASSIGN : s_6_17 1071 # ASSIGN : s_6_18 809 # ASSIGN : s_6_19 499 # ASSIGN : s_7_0 429 # ASSIGN : s_7_1 638 # ASSIGN : s_7_2 1081 # ASSIGN : s_7_3 535 # ASSIGN : s_7_4 620 # ASSIGN : s_7_5 707 # ASSIGN : s_7_6 854 # ASSIGN : s_7_7 46 # ASSIGN : s_7_8 117 # ASSIGN : s_7_9 52 # ASSIGN : s_7_10 56 # ASSIGN : s_7_11 211 # ASSIGN : s_7_12 409 # ASSIGN : s_7_13 1136 # ASSIGN : s_7_14 865 # ASSIGN : s_7_15 791 # ASSIGN : s_7_16 982 # ASSIGN : s_7_17 893 # ASSIGN : s_7_18 736 # ASSIGN : s_7_19 1235 # ASSIGN : s_8_0 1186 # ASSIGN : s_8_1 174 # ASSIGN : s_8_2 111 # ASSIGN : s_8_3 625 # ASSIGN : s_8_4 593 # ASSIGN : s_8_5 741 # ASSIGN : s_8_6 61 # ASSIGN : s_8_7 364 # ASSIGN : s_8_8 506 # ASSIGN : s_8_9 22 # ASSIGN : s_8_10 126 # ASSIGN : s_8_11 428 # ASSIGN : s_8_12 1048 # ASSIGN : s_8_13 272 # ASSIGN : s_8_14 995 # ASSIGN : s_8_15 675 # ASSIGN : s_8_16 894 # ASSIGN : s_8_17 807 # ASSIGN : s_8_18 676 # ASSIGN : s_8_19 1090 # ASSIGN : s_9_0 111 # ASSIGN : s_9_1 1076 # ASSIGN : s_9_2 990 # ASSIGN : s_9_3 757 # ASSIGN : s_9_4 522 # ASSIGN : s_9_5 1 # ASSIGN : s_9_6 675 # ASSIGN : s_9_7 261 # ASSIGN : s_9_8 793 # ASSIGN : s_9_9 88 # ASSIGN : s_9_10 164 # ASSIGN : s_9_11 339 # ASSIGN : s_9_12 842 # ASSIGN : s_9_13 568 # ASSIGN : s_9_14 386 # ASSIGN : s_9_15 1151 # ASSIGN : s_9_16 818 # ASSIGN : s_9_17 1200 # ASSIGN : s_9_18 415 # ASSIGN : s_9_19 918 # ASSIGN : s_10_0 522 # ASSIGN : s_10_1 426 # ASSIGN : s_10_2 1043 # ASSIGN : s_10_3 1119 # ASSIGN : s_10_4 883 # ASSIGN : s_10_5 191 # ASSIGN : s_10_6 77 # ASSIGN : s_10_7 1276 # ASSIGN : s_10_8 814 # ASSIGN : s_10_9 122 # ASSIGN : s_10_10 282 # ASSIGN : s_10_11 596 # ASSIGN : s_10_12 1188 # ASSIGN : s_10_13 971 # ASSIGN : s_10_14 343 # ASSIGN : s_10_15 39 # ASSIGN : s_10_16 739 # ASSIGN : s_10_17 1179 # ASSIGN : s_10_18 366 # ASSIGN : s_10_19 850 # ASSIGN : s_11_0 0 # ASSIGN : s_11_1 952 # ASSIGN : s_11_2 456 # ASSIGN : s_11_3 911 # ASSIGN : s_11_4 1049 # ASSIGN : s_11_5 1186 # ASSIGN : s_11_6 123 # ASSIGN : s_11_7 736 # ASSIGN : s_11_8 587 # ASSIGN : s_11_9 203 # ASSIGN : s_11_10 405 # ASSIGN : s_11_11 515 # ASSIGN : s_11_12 1104 # ASSIGN : s_11_13 805 # ASSIGN : s_11_14 65 # ASSIGN : s_11_15 630 # ASSIGN : s_11_16 664 # ASSIGN : s_11_17 1000 # ASSIGN : s_11_18 281 # ASSIGN : s_11_19 886 # ASSIGN : s_12_0 938 # ASSIGN : s_12_1 1201 # ASSIGN : s_12_2 612 # ASSIGN : s_12_3 154 # ASSIGN : s_12_4 579 # ASSIGN : s_12_5 437 # ASSIGN : s_12_6 377 # ASSIGN : s_12_7 313 # ASSIGN : s_12_8 20 # ASSIGN : s_12_9 847 # ASSIGN : s_12_10 521 # ASSIGN : s_12_11 417 # ASSIGN : s_12_12 739 # ASSIGN : s_12_13 78 # ASSIGN : s_12_14 707 # ASSIGN : s_12_15 1056 # ASSIGN : s_12_16 648 # ASSIGN : s_12_17 1185 # ASSIGN : s_12_18 203 # ASSIGN : s_12_19 775 # ASSIGN : s_13_0 744 # ASSIGN : s_13_1 508 # ASSIGN : s_13_2 884 # ASSIGN : s_13_3 955 # ASSIGN : s_13_4 1140 # ASSIGN : s_13_5 461 # ASSIGN : s_13_6 1053 # ASSIGN : s_13_7 1149 # ASSIGN : s_13_8 101 # ASSIGN : s_13_9 370 # ASSIGN : s_13_10 1118 # ASSIGN : s_13_11 796 # ASSIGN : s_13_12 276 # ASSIGN : s_13_13 2 # ASSIGN : s_13_14 578 # ASSIGN : s_13_15 1198 # ASSIGN : s_13_16 262 # ASSIGN : s_13_17 193 # ASSIGN : s_13_18 123 # ASSIGN : s_13_19 649 # ASSIGN : s_14_0 357 # ASSIGN : s_14_1 280 # ASSIGN : s_14_2 205 # ASSIGN : s_14_3 98 # ASSIGN : s_14_4 1129 # ASSIGN : s_14_5 837 # ASSIGN : s_14_6 1245 # ASSIGN : s_14_7 575 # ASSIGN : s_14_8 475 # ASSIGN : s_14_9 792 # ASSIGN : s_14_10 536 # ASSIGN : s_14_11 695 # ASSIGN : s_14_12 970 # ASSIGN : s_14_13 905 # ASSIGN : s_14_14 1143 # ASSIGN : s_14_15 741 # ASSIGN : s_14_16 1145 # ASSIGN : s_14_17 105 # ASSIGN : s_14_18 1 # ASSIGN : s_14_19 1006 # ASSIGN : s_15_0 881 # ASSIGN : s_15_1 352 # ASSIGN : s_15_2 641 # ASSIGN : s_15_3 122 # ASSIGN : s_15_4 462 # ASSIGN : s_15_5 269 # ASSIGN : s_15_6 48 # ASSIGN : s_15_7 727 # ASSIGN : s_15_8 375 # ASSIGN : s_15_9 948 # ASSIGN : s_15_10 559 # ASSIGN : s_15_11 976 # ASSIGN : s_15_12 781 # ASSIGN : s_15_13 1231 # ASSIGN : s_15_14 1154 # ASSIGN : s_15_15 538 # ASSIGN : s_15_16 1085 # ASSIGN : s_15_17 499 # ASSIGN : s_15_18 1007 # ASSIGN : s_15_19 980 # ASSIGN : s_16_0 1037 # ASSIGN : s_16_1 854 # ASSIGN : s_16_2 776 # ASSIGN : s_16_3 238 # ASSIGN : s_16_4 1223 # ASSIGN : s_16_5 966 # ASSIGN : s_16_6 313 # ASSIGN : s_16_7 543 # ASSIGN : s_16_8 679 # ASSIGN : s_16_9 547 # ASSIGN : s_16_10 1129 # ASSIGN : s_16_11 917 # ASSIGN : s_16_12 67 # ASSIGN : s_16_13 163 # ASSIGN : s_16_14 6 # ASSIGN : s_16_15 477 # ASSIGN : s_16_16 380 # ASSIGN : s_16_17 276 # ASSIGN : s_16_18 644 # ASSIGN : s_16_19 350 # ASSIGN : s_17_0 106 # ASSIGN : s_17_1 386 # ASSIGN : s_17_2 3 # ASSIGN : s_17_3 669 # ASSIGN : s_17_4 1172 # ASSIGN : s_17_5 514 # ASSIGN : s_17_6 600 # ASSIGN : s_17_7 1086 # ASSIGN : s_17_8 858 # ASSIGN : s_17_9 1000 # ASSIGN : s_17_10 1228 # ASSIGN : s_17_11 1007 # ASSIGN : s_17_12 133 # ASSIGN : s_17_13 437 # ASSIGN : s_17_14 776 # ASSIGN : s_17_15 940 # ASSIGN : s_17_16 319 # ASSIGN : s_17_17 76 # ASSIGN : s_17_18 141 # ASSIGN : s_17_19 259 # ASSIGN : s_18_0 665 # ASSIGN : s_18_1 595 # ASSIGN : s_18_2 722 # ASSIGN : s_18_3 4 # ASSIGN : s_18_4 967 # ASSIGN : s_18_5 97 # ASSIGN : s_18_6 459 # ASSIGN : s_18_7 808 # ASSIGN : s_18_8 204 # ASSIGN : s_18_9 258 # ASSIGN : s_18_10 893 # ASSIGN : s_18_11 382 # ASSIGN : s_18_12 437 # ASSIGN : s_18_13 1069 # ASSIGN : s_18_14 1191 # ASSIGN : s_18_15 977 # ASSIGN : s_18_16 43 # ASSIGN : s_18_17 530 # ASSIGN : s_18_18 1166 # ASSIGN : s_18_19 223 # ASSIGN : s_19_0 590 # ASSIGN : s_19_1 922 # ASSIGN : s_19_2 1135 # ASSIGN : s_19_3 843 # ASSIGN : s_19_4 1012 # ASSIGN : s_19_5 339 # ASSIGN : s_19_6 519 # ASSIGN : s_19_7 48 # ASSIGN : s_19_8 1028 # ASSIGN : s_19_9 1185 # ASSIGN : s_19_10 1105 # ASSIGN : s_19_11 725 # ASSIGN : s_19_12 3 # ASSIGN : s_19_13 218 # ASSIGN : s_19_14 436 # ASSIGN : s_19_15 682 # ASSIGN : s_19_16 273 # ASSIGN : s_19_17 1162 # ASSIGN : s_19_18 84 # ASSIGN : s_19_19 163 SHOW_RESULT 1282 END : 1282 (5 seconds) [Mon Jun 19 16:42:27 2006] SHOW_RESULT 1282 CPU : 4.78999999999999 = 4.75999999999999 + 0.0300000000000002 + 0 + 0 # BOUND : makespan 1241 1282 MODIFY_CNF 1261 BEGIN : [Mon Jun 19 16:42:27 2006] MODIFY_CNF 1261 END : 713509698 bytes (0 seconds) [Mon Jun 19 16:42:27 2006] MODIFY_CNF 1261 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1261 BEGIN : [Mon Jun 19 16:42:27 2006] CMD : minisat /tmp/csp2sat2833.cnf /tmp/csp2sat2833.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 19422791 57518520 | 6474263 0 0 nan | 0.000 % | | 102 | 19422791 57518520 | 7121689 102 2160 21.2 | 35.808 % | | 252 | 19422791 57518520 | 7833858 252 4050 16.1 | 35.808 % | | 478 | 19422791 57518520 | 8617244 478 9139 19.1 | 35.808 % | | 816 | 19422791 57518520 | 9478968 816 13365 16.4 | 35.808 % | | 1322 | 19422791 57518520 | 10426865 1322 39294 29.7 | 35.808 % | ============================================================================== restarts : 6 conflicts : 1659 (8 /sec) decisions : 8953 (42 /sec) propagations : 6462458 (30237 /sec) conflict literals : 54533 (5.57 % deleted) Memory used : 1156.78 MB CPU time : 213.73 s SATISFIABLE VERIFY_CNF 1261 END : (218 seconds) [Mon Jun 19 16:46:05 2006] VERIFY_CNF 1261 CPU : 217.8 = 0 + 0.00999999999999979 + 214.12 + 3.67 # RESULT : makespan 1261 SATISFIABLE SHOW_RESULT 1261 BEGIN : [Mon Jun 19 16:46:05 2006] # ASSIGN : makespan 1261 # ASSIGN : s_0_0 745 # ASSIGN : s_0_1 553 # ASSIGN : s_0_2 918 # ASSIGN : s_0_3 143 # ASSIGN : s_0_4 1166 # ASSIGN : s_0_5 7 # ASSIGN : s_0_6 621 # ASSIGN : s_0_7 1157 # ASSIGN : s_0_8 101 # ASSIGN : s_0_9 685 # ASSIGN : s_0_10 236 # ASSIGN : s_0_11 1206 # ASSIGN : s_0_12 427 # ASSIGN : s_0_13 983 # ASSIGN : s_0_14 712 # ASSIGN : s_0_15 474 # ASSIGN : s_0_16 1058 # ASSIGN : s_0_17 864 # ASSIGN : s_0_18 371 # ASSIGN : s_0_19 282 # ASSIGN : s_1_0 1170 # ASSIGN : s_1_1 363 # ASSIGN : s_1_2 213 # ASSIGN : s_1_3 934 # ASSIGN : s_1_4 1229 # ASSIGN : s_1_5 487 # ASSIGN : s_1_6 759 # ASSIGN : s_1_7 273 # ASSIGN : s_1_8 1098 # ASSIGN : s_1_9 832 # ASSIGN : s_1_10 8 # ASSIGN : s_1_11 4 # ASSIGN : s_1_12 104 # ASSIGN : s_1_13 617 # ASSIGN : s_1_14 590 # ASSIGN : s_1_15 973 # ASSIGN : s_1_16 904 # ASSIGN : s_1_17 702 # ASSIGN : s_1_18 767 # ASSIGN : s_1_19 334 # ASSIGN : s_2_0 408 # ASSIGN : s_2_1 319 # ASSIGN : s_2_2 59 # ASSIGN : s_2_3 978 # ASSIGN : s_2_4 7 # ASSIGN : s_2_5 793 # ASSIGN : s_2_6 1115 # ASSIGN : s_2_7 373 # ASSIGN : s_2_8 20 # ASSIGN : s_2_9 168 # ASSIGN : s_2_10 540 # ASSIGN : s_2_11 1129 # ASSIGN : s_2_12 580 # ASSIGN : s_2_13 70 # ASSIGN : s_2_14 1166 # ASSIGN : s_2_15 889 # ASSIGN : s_2_16 1158 # ASSIGN : s_2_17 514 # ASSIGN : s_2_18 1098 # ASSIGN : s_2_19 677 # ASSIGN : s_3_0 167 # ASSIGN : s_3_1 255 # ASSIGN : s_3_2 832 # ASSIGN : s_3_3 514 # ASSIGN : s_3_4 403 # ASSIGN : s_3_5 1 # ASSIGN : s_3_6 1143 # ASSIGN : s_3_7 1033 # ASSIGN : s_3_8 1167 # ASSIGN : s_3_9 597 # ASSIGN : s_3_10 752 # ASSIGN : s_3_11 25 # ASSIGN : s_3_12 947 # ASSIGN : s_3_13 770 # ASSIGN : s_3_14 1258 # ASSIGN : s_3_15 417 # ASSIGN : s_3_16 115 # ASSIGN : s_3_17 328 # ASSIGN : s_3_18 435 # ASSIGN : s_3_19 1058 # ASSIGN : s_4_0 1105 # ASSIGN : s_4_1 188 # ASSIGN : s_4_2 1118 # ASSIGN : s_4_3 1206 # ASSIGN : s_4_4 901 # ASSIGN : s_4_5 654 # ASSIGN : s_4_6 768 # ASSIGN : s_4_7 604 # ASSIGN : s_4_8 1014 # ASSIGN : s_4_9 63 # ASSIGN : s_4_10 809 # ASSIGN : s_4_11 344 # ASSIGN : s_4_12 945 # ASSIGN : s_4_13 518 # ASSIGN : s_4_14 256 # ASSIGN : s_4_15 212 # ASSIGN : s_4_16 965 # ASSIGN : s_4_17 484 # ASSIGN : s_4_18 621 # ASSIGN : s_4_19 1005 # ASSIGN : s_5_0 903 # ASSIGN : s_5_1 951 # ASSIGN : s_5_2 516 # ASSIGN : s_5_3 606 # ASSIGN : s_5_4 895 # ASSIGN : s_5_5 185 # ASSIGN : s_5_6 863 # ASSIGN : s_5_7 86 # ASSIGN : s_5_8 359 # ASSIGN : s_5_9 1120 # ASSIGN : s_5_10 1156 # ASSIGN : s_5_11 714 # ASSIGN : s_5_12 1115 # ASSIGN : s_5_13 430 # ASSIGN : s_5_14 880 # ASSIGN : s_5_15 1207 # ASSIGN : s_5_16 772 # ASSIGN : s_5_17 1036 # ASSIGN : s_5_18 280 # ASSIGN : s_5_19 14 # ASSIGN : s_6_0 1016 # ASSIGN : s_6_1 121 # ASSIGN : s_6_2 138 # ASSIGN : s_6_3 359 # ASSIGN : s_6_4 564 # ASSIGN : s_6_5 1134 # ASSIGN : s_6_6 894 # ASSIGN : s_6_7 694 # ASSIGN : s_6_8 274 # ASSIGN : s_6_9 776 # ASSIGN : s_6_10 416 # ASSIGN : s_6_11 391 # ASSIGN : s_6_12 1025 # ASSIGN : s_6_13 954 # ASSIGN : s_6_14 25 # ASSIGN : s_6_15 814 # ASSIGN : s_6_16 506 # ASSIGN : s_6_17 627 # ASSIGN : s_6_18 1216 # ASSIGN : s_6_19 202 # ASSIGN : s_7_0 559 # ASSIGN : s_7_1 484 # ASSIGN : s_7_2 277 # ASSIGN : s_7_3 192 # ASSIGN : s_7_4 864 # ASSIGN : s_7_5 826 # ASSIGN : s_7_6 952 # ASSIGN : s_7_7 1164 # ASSIGN : s_7_8 713 # ASSIGN : s_7_9 882 # ASSIGN : s_7_10 891 # ASSIGN : s_7_11 963 # ASSIGN : s_7_12 1133 # ASSIGN : s_7_13 1166 # ASSIGN : s_7_14 1153 # ASSIGN : s_7_15 1065 # ASSIGN : s_7_16 16 # ASSIGN : s_7_17 395 # ASSIGN : s_7_18 652 # ASSIGN : s_7_19 1011 # ASSIGN : s_8_0 70 # ASSIGN : s_8_1 1091 # ASSIGN : s_8_2 1009 # ASSIGN : s_8_3 435 # ASSIGN : s_8_4 945 # ASSIGN : s_8_5 1249 # ASSIGN : s_8_6 1201 # ASSIGN : s_8_7 521 # ASSIGN : s_8_8 585 # ASSIGN : s_8_9 1217 # ASSIGN : s_8_10 770 # ASSIGN : s_8_11 1013 # ASSIGN : s_8_12 479 # ASSIGN : s_8_13 282 # ASSIGN : s_8_14 363 # ASSIGN : s_8_15 972 # ASSIGN : s_8_16 166 # ASSIGN : s_8_17 808 # ASSIGN : s_8_18 707 # ASSIGN : s_8_19 864 # ASSIGN : s_9_0 293 # ASSIGN : s_9_1 699 # ASSIGN : s_9_2 5 # ASSIGN : s_9_3 350 # ASSIGN : s_9_4 58 # ASSIGN : s_9_5 1047 # ASSIGN : s_9_6 456 # ASSIGN : s_9_7 201 # ASSIGN : s_9_8 253 # ASSIGN : s_9_9 1156 # ASSIGN : s_9_10 104 # ASSIGN : s_9_11 413 # ASSIGN : s_9_12 850 # ASSIGN : s_9_13 538 # ASSIGN : s_9_14 897 # ASSIGN : s_9_15 366 # ASSIGN : s_9_16 1023 # ASSIGN : s_9_17 1179 # ASSIGN : s_9_18 946 # ASSIGN : s_9_19 788 # ASSIGN : s_10_0 2 # ASSIGN : s_10_1 774 # ASSIGN : s_10_2 631 # ASSIGN : s_10_3 371 # ASSIGN : s_10_4 669 # ASSIGN : s_10_5 1171 # ASSIGN : s_10_6 339 # ASSIGN : s_10_7 758 # ASSIGN : s_10_8 879 # ASSIGN : s_10_9 977 # ASSIGN : s_10_10 1095 # ASSIGN : s_10_11 518 # ASSIGN : s_10_12 230 # ASSIGN : s_10_13 212 # ASSIGN : s_10_14 856 # ASSIGN : s_10_15 196 # ASSIGN : s_10_16 431 # ASSIGN : s_10_17 1165 # ASSIGN : s_10_18 1046 # ASSIGN : s_10_19 937 # ASSIGN : s_11_0 249 # ASSIGN : s_11_1 436 # ASSIGN : s_11_2 773 # ASSIGN : s_11_3 279 # ASSIGN : s_11_4 1005 # ASSIGN : s_11_5 320 # ASSIGN : s_11_6 126 # ASSIGN : s_11_7 936 # ASSIGN : s_11_8 206 # ASSIGN : s_11_9 1060 # ASSIGN : s_11_10 1210 # ASSIGN : s_11_11 617 # ASSIGN : s_11_12 10 # ASSIGN : s_11_13 689 # ASSIGN : s_11_14 487 # ASSIGN : s_11_15 92 # ASSIGN : s_11_16 545 # ASSIGN : s_11_17 1115 # ASSIGN : s_11_18 851 # ASSIGN : s_11_19 1164 # ASSIGN : s_12_0 309 # ASSIGN : s_12_1 618 # ASSIGN : s_12_2 487 # ASSIGN : s_12_3 1071 # ASSIGN : s_12_4 991 # ASSIGN : s_12_5 285 # ASSIGN : s_12_6 415 # ASSIGN : s_12_7 1106 # ASSIGN : s_12_8 148 # ASSIGN : s_12_9 886 # ASSIGN : s_12_10 259 # ASSIGN : s_12_11 274 # ASSIGN : s_12_12 527 # ASSIGN : s_12_13 810 # ASSIGN : s_12_14 455 # ASSIGN : s_12_15 715 # ASSIGN : s_12_16 1007 # ASSIGN : s_12_17 563 # ASSIGN : s_12_18 59 # ASSIGN : s_12_19 1189 # ASSIGN : s_13_0 1115 # ASSIGN : s_13_1 856 # ASSIGN : s_13_2 1044 # ASSIGN : s_13_3 693 # ASSIGN : s_13_4 166 # ASSIGN : s_13_5 997 # ASSIGN : s_13_6 791 # ASSIGN : s_13_7 437 # ASSIGN : s_13_8 666 # ASSIGN : s_13_9 263 # ASSIGN : s_13_10 682 # ASSIGN : s_13_11 175 # ASSIGN : s_13_12 1167 # ASSIGN : s_13_13 354 # ASSIGN : s_13_14 926 # ASSIGN : s_13_15 581 # ASSIGN : s_13_16 155 # ASSIGN : s_13_17 68 # ASSIGN : s_13_18 137 # ASSIGN : s_13_19 486 # ASSIGN : s_14_0 1029 # ASSIGN : s_14_1 1189 # ASSIGN : s_14_2 412 # ASSIGN : s_14_3 1182 # ASSIGN : s_14_4 753 # ASSIGN : s_14_5 855 # ASSIGN : s_14_6 45 # ASSIGN : s_14_7 764 # ASSIGN : s_14_8 117 # ASSIGN : s_14_9 0 # ASSIGN : s_14_10 558 # ASSIGN : s_14_11 488 # ASSIGN : s_14_12 905 # ASSIGN : s_14_13 1101 # ASSIGN : s_14_14 750 # ASSIGN : s_14_15 665 # ASSIGN : s_14_16 315 # ASSIGN : s_14_17 941 # ASSIGN : s_14_18 197 # ASSIGN : s_14_19 581 # ASSIGN : s_15_0 956 # ASSIGN : s_15_1 232 # ASSIGN : s_15_2 331 # ASSIGN : s_15_3 111 # ASSIGN : s_15_4 152 # ASSIGN : s_15_5 584 # ASSIGN : s_15_6 1235 # ASSIGN : s_15_7 1248 # ASSIGN : s_15_8 500 # ASSIGN : s_15_9 1192 # ASSIGN : s_15_10 1013 # ASSIGN : s_15_11 1257 # ASSIGN : s_15_12 782 # ASSIGN : s_15_13 903 # ASSIGN : s_15_14 416 # ASSIGN : s_15_15 453 # ASSIGN : s_15_16 843 # ASSIGN : s_15_17 201 # ASSIGN : s_15_18 1114 # ASSIGN : s_15_19 756 # ASSIGN : s_16_0 811 # ASSIGN : s_16_1 1012 # ASSIGN : s_16_2 693 # ASSIGN : s_16_3 44 # ASSIGN : s_16_4 1075 # ASSIGN : s_16_5 416 # ASSIGN : s_16_6 82 # ASSIGN : s_16_7 412 # ASSIGN : s_16_8 915 # ASSIGN : s_16_9 491 # ASSIGN : s_16_10 588 # ASSIGN : s_16_11 119 # ASSIGN : s_16_12 348 # ASSIGN : s_16_13 227 # ASSIGN : s_16_14 168 # ASSIGN : s_16_15 287 # ASSIGN : s_16_16 1164 # ASSIGN : s_16_17 771 # ASSIGN : s_16_18 12 # ASSIGN : s_16_19 1134 # ASSIGN : s_17_0 664 # ASSIGN : s_17_1 1 # ASSIGN : s_17_2 65 # ASSIGN : s_17_3 1094 # ASSIGN : s_17_4 1254 # ASSIGN : s_17_5 738 # ASSIGN : s_17_6 669 # ASSIGN : s_17_7 1184 # ASSIGN : s_17_8 800 # ASSIGN : s_17_9 1247 # ASSIGN : s_17_10 964 # ASSIGN : s_17_11 884 # ASSIGN : s_17_12 340 # ASSIGN : s_17_13 153 # ASSIGN : s_17_14 1012 # ASSIGN : s_17_15 217 # ASSIGN : s_17_16 254 # ASSIGN : s_17_17 578 # ASSIGN : s_17_18 516 # ASSIGN : s_17_19 426 # ASSIGN : s_18_0 502 # ASSIGN : s_18_1 189 # ASSIGN : s_18_2 1207 # ASSIGN : s_18_3 793 # ASSIGN : s_18_4 1065 # ASSIGN : s_18_5 91 # ASSIGN : s_18_6 1005 # ASSIGN : s_18_7 858 # ASSIGN : s_18_8 702 # ASSIGN : s_18_9 415 # ASSIGN : s_18_10 341 # ASSIGN : s_18_11 1093 # ASSIGN : s_18_12 318 # ASSIGN : s_18_13 3 # ASSIGN : s_18_14 611 # ASSIGN : s_18_15 1128 # ASSIGN : s_18_16 718 # ASSIGN : s_18_17 253 # ASSIGN : s_18_18 586 # ASSIGN : s_18_19 970 # ASSIGN : s_19_0 670 # ASSIGN : s_19_1 41 # ASSIGN : s_19_2 1030 # ASSIGN : s_19_3 832 # ASSIGN : s_19_4 1206 # ASSIGN : s_19_5 900 # ASSIGN : s_19_6 264 # ASSIGN : s_19_7 335 # ASSIGN : s_19_8 433 # ASSIGN : s_19_9 71 # ASSIGN : s_19_10 1000 # ASSIGN : s_19_11 1135 # ASSIGN : s_19_12 185 # ASSIGN : s_19_13 1047 # ASSIGN : s_19_14 752 # ASSIGN : s_19_15 538 # ASSIGN : s_19_16 624 # ASSIGN : s_19_17 607 # ASSIGN : s_19_18 1222 # ASSIGN : s_19_19 371 SHOW_RESULT 1261 END : 1261 (5 seconds) [Mon Jun 19 16:46:10 2006] SHOW_RESULT 1261 CPU : 4.86000000000014 = 4.85000000000014 + 0.00999999999999979 + 0 + 0 # BOUND : makespan 1241 1261 MODIFY_CNF 1251 BEGIN : [Mon Jun 19 16:46:10 2006] MODIFY_CNF 1251 END : 713509698 bytes (0 seconds) [Mon Jun 19 16:46:10 2006] MODIFY_CNF 1251 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1251 BEGIN : [Mon Jun 19 16:46:10 2006] CMD : minisat /tmp/csp2sat2833.cnf /tmp/csp2sat2833.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 19270791 57062520 | 6423597 0 0 nan | 0.000 % | | 100 | 19270791 57062520 | 7065956 100 1952 19.5 | 36.324 % | | 250 | 19270791 57062520 | 7772552 250 3776 15.1 | 36.324 % | | 475 | 19270791 57062520 | 8549807 475 21135 44.5 | 36.324 % | | 812 | 19270791 57062520 | 9404788 812 27691 34.1 | 36.324 % | | 1318 | 19270791 57062520 | 10345267 1318 47108 35.7 | 36.324 % | ============================================================================== restarts : 6 conflicts : 1459 (6 /sec) decisions : 10643 (46 /sec) propagations : 8187689 (35370 /sec) conflict literals : 49332 (6.51 % deleted) Memory used : 1160.57 MB CPU time : 231.49 s SATISFIABLE VERIFY_CNF 1251 END : (236 seconds) [Mon Jun 19 16:50:06 2006] VERIFY_CNF 1251 CPU : 235.9 = 0 + 0.00999999999999979 + 231.87 + 4.02 # RESULT : makespan 1251 SATISFIABLE SHOW_RESULT 1251 BEGIN : [Mon Jun 19 16:50:06 2006] # ASSIGN : makespan 1251 # ASSIGN : s_0_0 677 # ASSIGN : s_0_1 518 # ASSIGN : s_0_2 338 # ASSIGN : s_0_3 872 # ASSIGN : s_0_4 637 # ASSIGN : s_0_5 224 # ASSIGN : s_0_6 1203 # ASSIGN : s_0_7 511 # ASSIGN : s_0_8 1026 # ASSIGN : s_0_9 311 # ASSIGN : s_0_10 1003 # ASSIGN : s_0_11 583 # ASSIGN : s_0_12 764 # ASSIGN : s_0_13 921 # ASSIGN : s_0_14 468 # ASSIGN : s_0_15 1061 # ASSIGN : s_0_16 125 # ASSIGN : s_0_17 71 # ASSIGN : s_0_18 1140 # ASSIGN : s_0_19 15 # ASSIGN : s_1_0 1162 # ASSIGN : s_1_1 589 # ASSIGN : s_1_2 817 # ASSIGN : s_1_3 222 # ASSIGN : s_1_4 1226 # ASSIGN : s_1_5 989 # ASSIGN : s_1_6 878 # ASSIGN : s_1_7 1099 # ASSIGN : s_1_8 914 # ASSIGN : s_1_9 261 # ASSIGN : s_1_10 126 # ASSIGN : s_1_11 579 # ASSIGN : s_1_12 671 # ASSIGN : s_1_13 496 # ASSIGN : s_1_14 359 # ASSIGN : s_1_15 5 # ASSIGN : s_1_16 391 # ASSIGN : s_1_17 439 # ASSIGN : s_1_18 752 # ASSIGN : s_1_19 97 # ASSIGN : s_2_0 326 # ASSIGN : s_2_1 998 # ASSIGN : s_2_2 1042 # ASSIGN : s_2_3 1158 # ASSIGN : s_2_4 799 # ASSIGN : s_2_5 89 # ASSIGN : s_2_6 1144 # ASSIGN : s_2_7 812 # ASSIGN : s_2_8 619 # ASSIGN : s_2_9 690 # ASSIGN : s_2_10 436 # ASSIGN : s_2_11 430 # ASSIGN : s_2_12 899 # ASSIGN : s_2_13 2 # ASSIGN : s_2_14 1051 # ASSIGN : s_2_15 525 # ASSIGN : s_2_16 478 # ASSIGN : s_2_17 190 # ASSIGN : s_2_18 231 # ASSIGN : s_2_19 247 # ASSIGN : s_3_0 244 # ASSIGN : s_3_1 1061 # ASSIGN : s_3_2 1125 # ASSIGN : s_3_3 21 # ASSIGN : s_3_4 768 # ASSIGN : s_3_5 122 # ASSIGN : s_3_6 465 # ASSIGN : s_3_7 141 # ASSIGN : s_3_8 658 # ASSIGN : s_3_9 825 # ASSIGN : s_3_10 341 # ASSIGN : s_3_11 489 # ASSIGN : s_3_12 166 # ASSIGN : s_3_13 785 # ASSIGN : s_3_14 782 # ASSIGN : s_3_15 104 # ASSIGN : s_3_16 1211 # ASSIGN : s_3_17 992 # ASSIGN : s_3_18 913 # ASSIGN : s_3_19 582 # ASSIGN : s_4_0 234 # ASSIGN : s_4_1 1153 # ASSIGN : s_4_2 145 # ASSIGN : s_4_3 1091 # ASSIGN : s_4_4 986 # ASSIGN : s_4_5 860 # ASSIGN : s_4_6 837 # ASSIGN : s_4_7 961 # ASSIGN : s_4_8 749 # ASSIGN : s_4_9 1083 # ASSIGN : s_4_10 44 # ASSIGN : s_4_11 1030 # ASSIGN : s_4_12 1205 # ASSIGN : s_4_13 252 # ASSIGN : s_4_14 380 # ASSIGN : s_4_15 979 # ASSIGN : s_4_16 1165 # ASSIGN : s_4_17 350 # ASSIGN : s_4_18 661 # ASSIGN : s_4_19 501 # ASSIGN : s_5_0 113 # ASSIGN : s_5_1 662 # ASSIGN : s_5_2 247 # ASSIGN : s_5_3 740 # ASSIGN : s_5_4 71 # ASSIGN : s_5_5 1086 # ASSIGN : s_5_6 723 # ASSIGN : s_5_7 408 # ASSIGN : s_5_8 337 # ASSIGN : s_5_9 77 # ASSIGN : s_5_10 827 # ASSIGN : s_5_11 949 # ASSIGN : s_5_12 1191 # ASSIGN : s_5_13 161 # ASSIGN : s_5_14 55 # ASSIGN : s_5_15 1196 # ASSIGN : s_5_16 878 # ASSIGN : s_5_17 579 # ASSIGN : s_5_18 1007 # ASSIGN : s_5_19 507 # ASSIGN : s_6_0 652 # ASSIGN : s_6_1 1129 # ASSIGN : s_6_2 403 # ASSIGN : s_6_3 1146 # ASSIGN : s_6_4 79 # ASSIGN : s_6_5 823 # ASSIGN : s_6_6 12 # ASSIGN : s_6_7 861 # ASSIGN : s_6_8 142 # ASSIGN : s_6_9 785 # ASSIGN : s_6_10 510 # ASSIGN : s_6_11 296 # ASSIGN : s_6_12 996 # ASSIGN : s_6_13 467 # ASSIGN : s_6_14 686 # ASSIGN : s_6_15 318 # ASSIGN : s_6_16 227 # ASSIGN : s_6_17 925 # ASSIGN : s_6_18 266 # ASSIGN : s_6_19 1179 # ASSIGN : s_7_0 420 # ASSIGN : s_7_1 290 # ASSIGN : s_7_2 619 # ASSIGN : s_7_3 967 # ASSIGN : s_7_4 941 # ASSIGN : s_7_5 794 # ASSIGN : s_7_6 228 # ASSIGN : s_7_7 959 # ASSIGN : s_7_8 532 # ASSIGN : s_7_9 924 # ASSIGN : s_7_10 359 # ASSIGN : s_7_11 1148 # ASSIGN : s_7_12 248 # ASSIGN : s_7_13 826 # ASSIGN : s_7_14 673 # ASSIGN : s_7_15 731 # ASSIGN : s_7_16 2 # ASSIGN : s_7_17 1059 # ASSIGN : s_7_18 1196 # ASSIGN : s_7_19 684 # ASSIGN : s_8_0 1064 # ASSIGN : s_8_1 118 # ASSIGN : s_8_2 1048 # ASSIGN : s_8_3 921 # ASSIGN : s_8_4 1160 # ASSIGN : s_8_5 782 # ASSIGN : s_8_6 1187 # ASSIGN : s_8_7 344 # ASSIGN : s_8_8 833 # ASSIGN : s_8_9 1220 # ASSIGN : s_8_10 965 # ASSIGN : s_8_11 40 # ASSIGN : s_8_12 572 # ASSIGN : s_8_13 272 # ASSIGN : s_8_14 620 # ASSIGN : s_8_15 1250 # ASSIGN : s_8_16 484 # ASSIGN : s_8_17 216 # ASSIGN : s_8_18 692 # ASSIGN : s_8_19 411 # ASSIGN : s_9_0 661 # ASSIGN : s_9_1 736 # ASSIGN : s_9_2 683 # ASSIGN : s_9_3 213 # ASSIGN : s_9_4 487 # ASSIGN : s_9_5 355 # ASSIGN : s_9_6 946 # ASSIGN : s_9_7 533 # ASSIGN : s_9_8 233 # ASSIGN : s_9_9 128 # ASSIGN : s_9_10 1028 # ASSIGN : s_9_11 444 # ASSIGN : s_9_12 614 # ASSIGN : s_9_13 1172 # ASSIGN : s_9_14 585 # ASSIGN : s_9_15 1125 # ASSIGN : s_9_16 101 # ASSIGN : s_9_17 843 # ASSIGN : s_9_18 272 # ASSIGN : s_9_19 151 # ASSIGN : s_10_0 166 # ASSIGN : s_10_1 906 # ASSIGN : s_10_2 1213 # ASSIGN : s_10_3 382 # ASSIGN : s_10_4 298 # ASSIGN : s_10_5 442 # ASSIGN : s_10_6 668 # ASSIGN : s_10_7 700 # ASSIGN : s_10_8 76 # ASSIGN : s_10_9 7 # ASSIGN : s_10_10 600 # ASSIGN : s_10_11 706 # ASSIGN : s_10_12 811 # ASSIGN : s_10_13 568 # ASSIGN : s_10_14 275 # ASSIGN : s_10_15 1180 # ASSIGN : s_10_16 988 # ASSIGN : s_10_17 805 # ASSIGN : s_10_18 1091 # ASSIGN : s_10_19 1146 # ASSIGN : s_11_0 1221 # ASSIGN : s_11_1 22 # ASSIGN : s_11_2 478 # ASSIGN : s_11_3 831 # ASSIGN : s_11_4 873 # ASSIGN : s_11_5 128 # ASSIGN : s_11_6 239 # ASSIGN : s_11_7 707 # ASSIGN : s_11_8 983 # ASSIGN : s_11_9 928 # ASSIGN : s_11_10 776 # ASSIGN : s_11_11 634 # ASSIGN : s_11_12 396 # ASSIGN : s_11_13 1091 # ASSIGN : s_11_14 70 # ASSIGN : s_11_15 1027 # ASSIGN : s_11_16 319 # ASSIGN : s_11_17 1172 # ASSIGN : s_11_18 544 # ASSIGN : s_11_19 1066 # ASSIGN : s_12_0 892 # ASSIGN : s_12_1 811 # ASSIGN : s_12_2 32 # ASSIGN : s_12_3 294 # ASSIGN : s_12_4 1190 # ASSIGN : s_12_5 61 # ASSIGN : s_12_6 1086 # ASSIGN : s_12_7 611 # ASSIGN : s_12_8 1126 # ASSIGN : s_12_9 170 # ASSIGN : s_12_10 761 # ASSIGN : s_12_11 1204 # ASSIGN : s_12_12 1215 # ASSIGN : s_12_13 85 # ASSIGN : s_12_14 317 # ASSIGN : s_12_15 430 # ASSIGN : s_12_16 795 # ASSIGN : s_12_17 746 # ASSIGN : s_12_18 349 # ASSIGN : s_12_19 994 # ASSIGN : s_13_0 590 # ASSIGN : s_13_1 373 # ASSIGN : s_13_2 738 # ASSIGN : s_13_3 471 # ASSIGN : s_13_4 729 # ASSIGN : s_13_5 308 # ASSIGN : s_13_6 141 # ASSIGN : s_13_7 76 # ASSIGN : s_13_8 125 # ASSIGN : s_13_9 992 # ASSIGN : s_13_10 454 # ASSIGN : s_13_11 809 # ASSIGN : s_13_12 1086 # ASSIGN : s_13_13 642 # ASSIGN : s_13_14 1180 # ASSIGN : s_13_15 224 # ASSIGN : s_13_16 579 # ASSIGN : s_13_17 2 # ASSIGN : s_13_18 206 # ASSIGN : s_13_19 897 # ASSIGN : s_14_0 991 # ASSIGN : s_14_1 218 # ASSIGN : s_14_2 70 # ASSIGN : s_14_3 322 # ASSIGN : s_14_4 597 # ASSIGN : s_14_5 944 # ASSIGN : s_14_6 365 # ASSIGN : s_14_7 1160 # ASSIGN : s_14_8 39 # ASSIGN : s_14_9 499 # ASSIGN : s_14_10 16 # ASSIGN : s_14_11 914 # ASSIGN : s_14_12 329 # ASSIGN : s_14_13 402 # ASSIGN : s_14_14 989 # ASSIGN : s_14_15 608 # ASSIGN : s_14_16 1063 # ASSIGN : s_14_17 658 # ASSIGN : s_14_18 830 # ASSIGN : s_14_19 746 # ASSIGN : s_15_0 743 # ASSIGN : s_15_1 443 # ASSIGN : s_15_2 877 # ASSIGN : s_15_3 569 # ASSIGN : s_15_4 971 # ASSIGN : s_15_5 1181 # ASSIGN : s_15_6 1130 # ASSIGN : s_15_7 847 # ASSIGN : s_15_8 1042 # ASSIGN : s_15_9 544 # ASSIGN : s_15_10 661 # ASSIGN : s_15_11 805 # ASSIGN : s_15_12 268 # ASSIGN : s_15_13 985 # ASSIGN : s_15_14 1143 # ASSIGN : s_15_15 856 # ASSIGN : s_15_16 601 # ASSIGN : s_15_17 812 # ASSIGN : s_15_18 466 # ASSIGN : s_15_19 221 # ASSIGN : s_16_0 800 # ASSIGN : s_16_1 1188 # ASSIGN : s_16_2 958 # ASSIGN : s_16_3 336 # ASSIGN : s_16_4 8 # ASSIGN : s_16_5 520 # ASSIGN : s_16_6 592 # ASSIGN : s_16_7 662 # ASSIGN : s_16_8 423 # ASSIGN : s_16_9 1091 # ASSIGN : s_16_10 242 # ASSIGN : s_16_11 374 # ASSIGN : s_16_12 102 # ASSIGN : s_16_13 1036 # ASSIGN : s_16_14 183 # ASSIGN : s_16_15 897 # ASSIGN : s_16_16 666 # ASSIGN : s_16_17 763 # ASSIGN : s_16_18 629 # ASSIGN : s_16_19 67 # ASSIGN : s_17_0 647 # ASSIGN : s_17_1 73 # ASSIGN : s_17_2 1052 # ASSIGN : s_17_3 652 # ASSIGN : s_17_4 1215 # ASSIGN : s_17_5 6 # ASSIGN : s_17_6 748 # ASSIGN : s_17_7 978 # ASSIGN : s_17_8 254 # ASSIGN : s_17_9 1200 # ASSIGN : s_17_10 465 # ASSIGN : s_17_11 175 # ASSIGN : s_17_12 1207 # ASSIGN : s_17_13 583 # ASSIGN : s_17_14 501 # ASSIGN : s_17_15 393 # ASSIGN : s_17_16 817 # ASSIGN : s_17_17 1222 # ASSIGN : s_17_18 113 # ASSIGN : s_17_19 333 # ASSIGN : s_18_0 55 # ASSIGN : s_18_1 475 # ASSIGN : s_18_2 537 # ASSIGN : s_18_3 1052 # ASSIGN : s_18_4 1097 # ASSIGN : s_18_5 591 # ASSIGN : s_18_6 886 # ASSIGN : s_18_7 202 # ASSIGN : s_18_8 112 # ASSIGN : s_18_9 345 # ASSIGN : s_18_10 1142 # ASSIGN : s_18_11 1216 # ASSIGN : s_18_12 3 # ASSIGN : s_18_13 718 # ASSIGN : s_18_14 795 # ASSIGN : s_18_15 123 # ASSIGN : s_18_16 421 # ASSIGN : s_18_17 280 # ASSIGN : s_18_18 30 # ASSIGN : s_18_19 1107 # ASSIGN : s_19_0 513 # ASSIGN : s_19_1 1154 # ASSIGN : s_19_2 233 # ASSIGN : s_19_3 145 # ASSIGN : s_19_4 820 # ASSIGN : s_19_5 685 # ASSIGN : s_19_6 70 # ASSIGN : s_19_7 1041 # ASSIGN : s_19_8 1184 # ASSIGN : s_19_9 588 # ASSIGN : s_19_10 891 # ASSIGN : s_19_11 1077 # ASSIGN : s_19_12 25 # ASSIGN : s_19_13 348 # ASSIGN : s_19_14 904 # ASSIGN : s_19_15 984 # ASSIGN : s_19_16 273 # ASSIGN : s_19_17 496 # ASSIGN : s_19_18 427 # ASSIGN : s_19_19 836 SHOW_RESULT 1251 END : 1251 (5 seconds) [Mon Jun 19 16:50:11 2006] SHOW_RESULT 1251 CPU : 4.82000000000019 = 4.79000000000019 + 0.0300000000000002 + 0 + 0 # BOUND : makespan 1241 1251 MODIFY_CNF 1246 BEGIN : [Mon Jun 19 16:50:12 2006] MODIFY_CNF 1246 END : 713509697 bytes (0 seconds) [Mon Jun 19 16:50:12 2006] MODIFY_CNF 1246 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1246 BEGIN : [Mon Jun 19 16:50:12 2006] CMD : minisat /tmp/csp2sat2833.cnf /tmp/csp2sat2833.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 19194791 56834520 | 6398263 0 0 nan | 0.000 % | | 100 | 19194791 56834520 | 7038089 100 2346 23.5 | 36.582 % | | 251 | 19194791 56834520 | 7741898 251 7452 29.7 | 36.582 % | | 478 | 19194791 56834520 | 8516088 478 11677 24.4 | 36.582 % | | 816 | 19194791 56834520 | 9367696 816 19878 24.4 | 36.582 % | ============================================================================== restarts : 5 conflicts : 966 (4 /sec) decisions : 8904 (37 /sec) propagations : 5483498 (23065 /sec) conflict literals : 23052 (6.43 % deleted) Memory used : 1158.13 MB CPU time : 237.74 s SATISFIABLE VERIFY_CNF 1246 END : (241 seconds) [Mon Jun 19 16:54:13 2006] VERIFY_CNF 1246 CPU : 241.63 = 0 + 0 + 238.12 + 3.51 # RESULT : makespan 1246 SATISFIABLE SHOW_RESULT 1246 BEGIN : [Mon Jun 19 16:54:13 2006] # ASSIGN : makespan 1246 # ASSIGN : s_0_0 625 # ASSIGN : s_0_1 1063 # ASSIGN : s_0_2 356 # ASSIGN : s_0_3 852 # ASSIGN : s_0_4 531 # ASSIGN : s_0_5 6 # ASSIGN : s_0_6 427 # ASSIGN : s_0_7 921 # ASSIGN : s_0_8 194 # ASSIGN : s_0_9 314 # ASSIGN : s_0_10 158 # ASSIGN : s_0_11 722 # ASSIGN : s_0_12 943 # ASSIGN : s_0_13 94 # ASSIGN : s_0_14 1155 # ASSIGN : s_0_15 788 # ASSIGN : s_0_16 215 # ASSIGN : s_0_17 571 # ASSIGN : s_0_18 475 # ASSIGN : s_0_19 1194 # ASSIGN : s_1_0 1036 # ASSIGN : s_1_1 508 # ASSIGN : s_1_2 620 # ASSIGN : s_1_3 581 # ASSIGN : s_1_4 761 # ASSIGN : s_1_5 312 # ASSIGN : s_1_6 33 # ASSIGN : s_1_7 44 # ASSIGN : s_1_8 241 # ASSIGN : s_1_9 109 # ASSIGN : s_1_10 1099 # ASSIGN : s_1_11 0 # ASSIGN : s_1_12 409 # ASSIGN : s_1_13 161 # ASSIGN : s_1_14 1225 # ASSIGN : s_1_15 857 # ASSIGN : s_1_16 786 # ASSIGN : s_1_17 949 # ASSIGN : s_1_18 696 # ASSIGN : s_1_19 4 # ASSIGN : s_2_0 931 # ASSIGN : s_2_1 326 # ASSIGN : s_2_2 0 # ASSIGN : s_2_3 233 # ASSIGN : s_2_4 418 # ASSIGN : s_2_5 184 # ASSIGN : s_2_6 6 # ASSIGN : s_2_7 437 # ASSIGN : s_2_8 20 # ASSIGN : s_2_9 686 # ASSIGN : s_2_10 59 # ASSIGN : s_2_11 833 # ASSIGN : s_2_12 490 # ASSIGN : s_2_13 1108 # ASSIGN : s_2_14 839 # ASSIGN : s_2_15 1025 # ASSIGN : s_2_16 1240 # ASSIGN : s_2_17 77 # ASSIGN : s_2_18 615 # ASSIGN : s_2_19 105 # ASSIGN : s_3_0 486 # ASSIGN : s_3_1 800 # ASSIGN : s_3_2 176 # ASSIGN : s_3_3 717 # ASSIGN : s_3_4 431 # ASSIGN : s_3_5 0 # ASSIGN : s_3_6 592 # ASSIGN : s_3_7 12 # ASSIGN : s_3_8 626 # ASSIGN : s_3_9 341 # ASSIGN : s_3_10 37 # ASSIGN : s_3_11 1094 # ASSIGN : s_3_12 55 # ASSIGN : s_3_13 445 # ASSIGN : s_3_14 133 # ASSIGN : s_3_15 1006 # ASSIGN : s_3_16 136 # ASSIGN : s_3_17 1024 # ASSIGN : s_3_18 262 # ASSIGN : s_3_19 902 # ASSIGN : s_4_0 133 # ASSIGN : s_4_1 181 # ASSIGN : s_4_2 268 # ASSIGN : s_4_3 901 # ASSIGN : s_4_4 374 # ASSIGN : s_4_5 783 # ASSIGN : s_4_6 1185 # ASSIGN : s_4_7 1138 # ASSIGN : s_4_8 533 # ASSIGN : s_4_9 1162 # ASSIGN : s_4_10 676 # ASSIGN : s_4_11 617 # ASSIGN : s_4_12 1208 # ASSIGN : s_4_13 485 # ASSIGN : s_4_14 1017 # ASSIGN : s_4_15 1211 # ASSIGN : s_4_16 958 # ASSIGN : s_4_17 1216 # ASSIGN : s_4_18 231 # ASSIGN : s_4_19 1155 # ASSIGN : s_5_0 313 # ASSIGN : s_5_1 0 # ASSIGN : s_5_2 753 # ASSIGN : s_5_3 1044 # ASSIGN : s_5_4 578 # ASSIGN : s_5_5 217 # ASSIGN : s_5_6 1027 # ASSIGN : s_5_7 928 # ASSIGN : s_5_8 857 # ASSIGN : s_5_9 73 # ASSIGN : s_5_10 527 # ASSIGN : s_5_11 1188 # ASSIGN : s_5_12 212 # ASSIGN : s_5_13 584 # ASSIGN : s_5_14 118 # ASSIGN : s_5_15 1134 # ASSIGN : s_5_16 456 # ASSIGN : s_5_17 674 # ASSIGN : s_5_18 133 # ASSIGN : s_5_19 384 # ASSIGN : s_6_0 1027 # ASSIGN : s_6_1 783 # ASSIGN : s_6_2 1182 # ASSIGN : s_6_3 189 # ASSIGN : s_6_4 210 # ASSIGN : s_6_5 502 # ASSIGN : s_6_6 348 # ASSIGN : s_6_7 703 # ASSIGN : s_6_8 932 # ASSIGN : s_6_9 894 # ASSIGN : s_6_10 580 # ASSIGN : s_6_11 5 # ASSIGN : s_6_12 804 # ASSIGN : s_6_13 670 # ASSIGN : s_6_14 406 # ASSIGN : s_6_15 273 # ASSIGN : s_6_16 1102 # ASSIGN : s_6_17 118 # ASSIGN : s_6_18 1046 # ASSIGN : s_6_19 33 # ASSIGN : s_7_0 143 # ASSIGN : s_7_1 864 # ASSIGN : s_7_2 959 # ASSIGN : s_7_3 388 # ASSIGN : s_7_4 635 # ASSIGN : s_7_5 473 # ASSIGN : s_7_6 759 # ASSIGN : s_7_7 262 # ASSIGN : s_7_8 770 # ASSIGN : s_7_9 1137 # ASSIGN : s_7_10 82 # ASSIGN : s_7_11 664 # ASSIGN : s_7_12 236 # ASSIGN : s_7_13 1013 # ASSIGN : s_7_14 653 # ASSIGN : s_7_15 555 # ASSIGN : s_7_16 1141 # ASSIGN : s_7_17 299 # ASSIGN : s_7_18 1 # ASSIGN : s_7_19 712 # ASSIGN : s_8_0 691 # ASSIGN : s_8_1 963 # ASSIGN : s_8_2 843 # ASSIGN : s_8_3 482 # ASSIGN : s_8_4 1219 # ASSIGN : s_8_5 461 # ASSIGN : s_8_6 874 # ASSIGN : s_8_7 105 # ASSIGN : s_8_8 1137 # ASSIGN : s_8_9 1107 # ASSIGN : s_8_10 1061 # ASSIGN : s_8_11 27 # ASSIGN : s_8_12 587 # ASSIGN : s_8_13 890 # ASSIGN : s_8_14 526 # ASSIGN : s_8_15 1218 # ASSIGN : s_8_16 314 # ASSIGN : s_8_17 185 # ASSIGN : s_8_18 631 # ASSIGN : s_8_19 241 # ASSIGN : s_9_0 361 # ASSIGN : s_9_1 698 # ASSIGN : s_9_2 906 # ASSIGN : s_9_3 352 # ASSIGN : s_9_4 459 # ASSIGN : s_9_5 1008 # ASSIGN : s_9_6 616 # ASSIGN : s_9_7 377 # ASSIGN : s_9_8 1225 # ASSIGN : s_9_9 429 # ASSIGN : s_9_10 204 # ASSIGN : s_9_11 773 # ASSIGN : s_9_12 301 # ASSIGN : s_9_13 505 # ASSIGN : s_9_14 1105 # ASSIGN : s_9_15 959 # ASSIGN : s_9_16 816 # ASSIGN : s_9_17 1134 # ASSIGN : s_9_18 56 # ASSIGN : s_9_19 840 # ASSIGN : s_10_0 787 # ASSIGN : s_10_1 370 # ASSIGN : s_10_2 582 # ASSIGN : s_10_3 634 # ASSIGN : s_10_4 922 # ASSIGN : s_10_5 705 # ASSIGN : s_10_6 258 # ASSIGN : s_10_7 1155 # ASSIGN : s_10_8 1101 # ASSIGN : s_10_9 452 # ASSIGN : s_10_10 855 # ASSIGN : s_10_11 139 # ASSIGN : s_10_12 1012 # ASSIGN : s_10_13 79 # ASSIGN : s_10_14 95 # ASSIGN : s_10_15 539 # ASSIGN : s_10_16 4 # ASSIGN : s_10_17 1006 # ASSIGN : s_10_18 1197 # ASSIGN : s_10_19 1161 # ASSIGN : s_11_0 399 # ASSIGN : s_11_1 61 # ASSIGN : s_11_2 847 # ASSIGN : s_11_3 538 # ASSIGN : s_11_4 114 # ASSIGN : s_11_5 1095 # ASSIGN : s_11_6 918 # ASSIGN : s_11_7 169 # ASSIGN : s_11_8 719 # ASSIGN : s_11_9 6 # ASSIGN : s_11_10 1195 # ASSIGN : s_11_11 238 # ASSIGN : s_11_12 637 # ASSIGN : s_11_13 310 # ASSIGN : s_11_14 579 # ASSIGN : s_11_15 455 # ASSIGN : s_11_16 998 # ASSIGN : s_11_17 489 # ASSIGN : s_11_18 762 # ASSIGN : s_11_19 1070 # ASSIGN : s_12_0 1095 # ASSIGN : s_12_1 182 # ASSIGN : s_12_2 553 # ASSIGN : s_12_3 694 # ASSIGN : s_12_4 1065 # ASSIGN : s_12_5 584 # ASSIGN : s_12_6 719 # ASSIGN : s_12_7 612 # ASSIGN : s_12_8 475 # ASSIGN : s_12_9 971 # ASSIGN : s_12_10 840 # ASSIGN : s_12_11 866 # ASSIGN : s_12_12 1210 # ASSIGN : s_12_13 3 # ASSIGN : s_12_14 288 # ASSIGN : s_12_15 360 # ASSIGN : s_12_16 1079 # ASSIGN : s_12_17 103 # ASSIGN : s_12_18 893 # ASSIGN : s_12_19 768 # ASSIGN : s_13_0 1194 # ASSIGN : s_13_1 616 # ASSIGN : s_13_2 1029 # ASSIGN : s_13_3 70 # ASSIGN : s_13_4 61 # ASSIGN : s_13_5 409 # ASSIGN : s_13_6 168 # ASSIGN : s_13_7 472 # ASSIGN : s_13_8 456 # ASSIGN : s_13_9 781 # ASSIGN : s_13_10 309 # ASSIGN : s_13_11 941 # ASSIGN : s_13_12 1100 # ASSIGN : s_13_13 233 # ASSIGN : s_13_14 320 # ASSIGN : s_13_15 686 # ASSIGN : s_13_16 770 # ASSIGN : s_13_17 872 # ASSIGN : s_13_18 391 # ASSIGN : s_13_19 521 # ASSIGN : s_14_0 241 # ASSIGN : s_14_1 109 # ASSIGN : s_14_2 34 # ASSIGN : s_14_3 381 # ASSIGN : s_14_4 1198 # ASSIGN : s_14_5 539 # ASSIGN : s_14_6 1209 # ASSIGN : s_14_7 767 # ASSIGN : s_14_8 210 # ASSIGN : s_14_9 1062 # ASSIGN : s_14_10 181 # ASSIGN : s_14_11 877 # ASSIGN : s_14_12 907 # ASSIGN : s_14_13 699 # ASSIGN : s_14_14 976 # ASSIGN : s_14_15 489 # ASSIGN : s_14_16 601 # ASSIGN : s_14_17 401 # ASSIGN : s_14_18 1114 # ASSIGN : s_14_19 978 # ASSIGN : s_15_0 429 # ASSIGN : s_15_1 303 # ASSIGN : s_15_2 1101 # ASSIGN : s_15_3 201 # ASSIGN : s_15_4 840 # ASSIGN : s_15_5 867 # ASSIGN : s_15_6 854 # ASSIGN : s_15_7 663 # ASSIGN : s_15_8 1017 # ASSIGN : s_15_9 937 # ASSIGN : s_15_10 758 # ASSIGN : s_15_11 1184 # ASSIGN : s_15_12 348 # ASSIGN : s_15_13 962 # ASSIGN : s_15_14 1188 # ASSIGN : s_15_15 1225 # ASSIGN : s_15_16 698 # ASSIGN : s_15_17 268 # ASSIGN : s_15_18 537 # ASSIGN : s_15_19 672 # ASSIGN : s_16_0 5 # ASSIGN : s_16_1 1128 # ASSIGN : s_16_2 421 # ASSIGN : s_16_3 802 # ASSIGN : s_16_4 679 # ASSIGN : s_16_5 937 # ASSIGN : s_16_6 290 # ASSIGN : s_16_7 1 # ASSIGN : s_16_8 97 # ASSIGN : s_16_9 521 # ASSIGN : s_16_10 327 # ASSIGN : s_16_11 1042 # ASSIGN : s_16_12 738 # ASSIGN : s_16_13 1191 # ASSIGN : s_16_14 229 # ASSIGN : s_16_15 618 # ASSIGN : s_16_16 840 # ASSIGN : s_16_17 1091 # ASSIGN : s_16_18 1010 # ASSIGN : s_16_19 199 # ASSIGN : s_17_0 236 # ASSIGN : s_17_1 263 # ASSIGN : s_17_2 680 # ASSIGN : s_17_3 956 # ASSIGN : s_17_4 1184 # ASSIGN : s_17_5 1191 # ASSIGN : s_17_6 41 # ASSIGN : s_17_7 858 # ASSIGN : s_17_8 377 # ASSIGN : s_17_9 1155 # ASSIGN : s_17_10 1 # ASSIGN : s_17_11 458 # ASSIGN : s_17_12 629 # ASSIGN : s_17_13 764 # ASSIGN : s_17_14 147 # ASSIGN : s_17_15 110 # ASSIGN : s_17_16 540 # ASSIGN : s_17_17 645 # ASSIGN : s_17_18 1052 # ASSIGN : s_17_19 317 # ASSIGN : s_18_0 568 # ASSIGN : s_18_1 456 # ASSIGN : s_18_2 499 # ASSIGN : s_18_3 1131 # ASSIGN : s_18_4 1121 # ASSIGN : s_18_5 90 # ASSIGN : s_18_6 1047 # ASSIGN : s_18_7 264 # ASSIGN : s_18_8 79 # ASSIGN : s_18_9 1170 # ASSIGN : s_18_10 916 # ASSIGN : s_18_11 367 # ASSIGN : s_18_12 990 # ASSIGN : s_18_13 823 # ASSIGN : s_18_14 667 # ASSIGN : s_18_15 185 # ASSIGN : s_18_16 402 # ASSIGN : s_18_17 758 # ASSIGN : s_18_18 342 # ASSIGN : s_18_19 632 # ASSIGN : s_19_0 856 # ASSIGN : s_19_1 933 # ASSIGN : s_19_2 1015 # ASSIGN : s_19_3 1178 # ASSIGN : s_19_4 1032 # ASSIGN : s_19_5 608 # ASSIGN : s_19_6 1107 # ASSIGN : s_19_7 1071 # ASSIGN : s_19_8 310 # ASSIGN : s_19_9 159 # ASSIGN : s_19_10 1048 # ASSIGN : s_19_11 537 # ASSIGN : s_19_12 256 # ASSIGN : s_19_13 391 # ASSIGN : s_19_14 759 # ASSIGN : s_19_15 47 # ASSIGN : s_19_16 90 # ASSIGN : s_19_17 839 # ASSIGN : s_19_18 971 # ASSIGN : s_19_19 466 SHOW_RESULT 1246 END : 1246 (5 seconds) [Mon Jun 19 16:54:18 2006] SHOW_RESULT 1246 CPU : 4.97000000000007 = 4.92000000000007 + 0.0499999999999998 + 0 + 0 # BOUND : makespan 1241 1246 MODIFY_CNF 1243 BEGIN : [Mon Jun 19 16:54:19 2006] MODIFY_CNF 1243 END : 713509697 bytes (0 seconds) [Mon Jun 19 16:54:19 2006] MODIFY_CNF 1243 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1243 BEGIN : [Mon Jun 19 16:54:19 2006] CMD : minisat /tmp/csp2sat2833.cnf /tmp/csp2sat2833.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 19149191 56697720 | 6383063 0 0 nan | 0.000 % | | 101 | 19149191 56697720 | 7021369 101 2246 22.2 | 36.737 % | | 251 | 19149191 56697720 | 7723506 251 3939 15.7 | 36.737 % | | 476 | 19149191 56697720 | 8495856 476 11917 25.0 | 36.737 % | | 816 | 19149191 56697720 | 9345442 816 18617 22.8 | 36.737 % | | 1322 | 19149191 56697720 | 10279986 1322 35943 27.2 | 36.737 % | | 2081 | 19149191 56697720 | 11307985 2081 52011 25.0 | 36.737 % | | 3220 | 19149191 56697720 | 12438784 3220 121824 37.8 | 36.737 % | | 4929 | 19149191 56697720 | 13682662 4929 247034 50.1 | 36.737 % | ============================================================================== restarts : 9 conflicts : 5485 (20 /sec) decisions : 18445 (68 /sec) propagations : 20386814 (75417 /sec) conflict literals : 255378 (6.58 % deleted) Memory used : 1162.92 MB CPU time : 270.32 s SATISFIABLE VERIFY_CNF 1243 END : (274 seconds) [Mon Jun 19 16:58:53 2006] VERIFY_CNF 1243 CPU : 274.77 = 0 + 0 + 270.7 + 4.07 # RESULT : makespan 1243 SATISFIABLE SHOW_RESULT 1243 BEGIN : [Mon Jun 19 16:58:53 2006] # ASSIGN : makespan 1243 # ASSIGN : s_0_0 348 # ASSIGN : s_0_1 746 # ASSIGN : s_0_2 811 # ASSIGN : s_0_3 81 # ASSIGN : s_0_4 304 # ASSIGN : s_0_5 659 # ASSIGN : s_0_6 611 # ASSIGN : s_0_7 1213 # ASSIGN : s_0_8 886 # ASSIGN : s_0_9 584 # ASSIGN : s_0_10 1220 # ASSIGN : s_0_11 253 # ASSIGN : s_0_12 206 # ASSIGN : s_0_13 902 # ASSIGN : s_0_14 144 # ASSIGN : s_0_15 438 # ASSIGN : s_0_16 968 # ASSIGN : s_0_17 1140 # ASSIGN : s_0_18 502 # ASSIGN : s_0_19 1068 # ASSIGN : s_1_0 1080 # ASSIGN : s_1_1 1007 # ASSIGN : s_1_2 947 # ASSIGN : s_1_3 42 # ASSIGN : s_1_4 533 # ASSIGN : s_1_5 1146 # ASSIGN : s_1_6 34 # ASSIGN : s_1_7 769 # ASSIGN : s_1_8 464 # ASSIGN : s_1_9 623 # ASSIGN : s_1_10 673 # ASSIGN : s_1_11 249 # ASSIGN : s_1_12 256 # ASSIGN : s_1_13 830 # ASSIGN : s_1_14 337 # ASSIGN : s_1_15 156 # ASSIGN : s_1_16 434 # ASSIGN : s_1_17 377 # ASSIGN : s_1_18 558 # ASSIGN : s_1_19 910 # ASSIGN : s_2_0 845 # ASSIGN : s_2_1 579 # ASSIGN : s_2_2 805 # ASSIGN : s_2_3 483 # ASSIGN : s_2_4 792 # ASSIGN : s_2_5 1036 # ASSIGN : s_2_6 831 # ASSIGN : s_2_7 634 # ASSIGN : s_2_8 107 # ASSIGN : s_2_9 387 # ASSIGN : s_2_10 229 # ASSIGN : s_2_11 1071 # ASSIGN : s_2_12 939 # ASSIGN : s_2_13 1160 # ASSIGN : s_2_14 700 # ASSIGN : s_2_15 1077 # ASSIGN : s_2_16 223 # ASSIGN : s_2_17 81 # ASSIGN : s_2_18 197 # ASSIGN : s_2_19 280 # ASSIGN : s_3_0 1161 # ASSIGN : s_3_1 1096 # ASSIGN : s_3_2 434 # ASSIGN : s_3_3 130 # ASSIGN : s_3_4 973 # ASSIGN : s_3_5 1069 # ASSIGN : s_3_6 385 # ASSIGN : s_3_7 599 # ASSIGN : s_3_8 292 # ASSIGN : s_3_9 22 # ASSIGN : s_3_10 843 # ASSIGN : s_3_11 624 # ASSIGN : s_3_12 861 # ASSIGN : s_3_13 520 # ASSIGN : s_3_14 1093 # ASSIGN : s_3_15 112 # ASSIGN : s_3_16 714 # ASSIGN : s_3_17 987 # ASSIGN : s_3_18 213 # ASSIGN : s_3_19 755 # ASSIGN : s_4_0 565 # ASSIGN : s_4_1 1160 # ASSIGN : s_4_2 1 # ASSIGN : s_4_3 785 # ASSIGN : s_4_4 1046 # ASSIGN : s_4_5 316 # ASSIGN : s_4_6 1178 # ASSIGN : s_4_7 1161 # ASSIGN : s_4_8 662 # ASSIGN : s_4_9 984 # ASSIGN : s_4_10 411 # ASSIGN : s_4_11 921 # ASSIGN : s_4_12 1037 # ASSIGN : s_4_13 265 # ASSIGN : s_4_14 177 # ASSIGN : s_4_15 1201 # ASSIGN : s_4_16 1106 # ASSIGN : s_4_17 575 # ASSIGN : s_4_18 146 # ASSIGN : s_4_19 904 # ASSIGN : s_5_0 300 # ASSIGN : s_5_1 373 # ASSIGN : s_5_2 1074 # ASSIGN : s_5_3 213 # ASSIGN : s_5_4 136 # ASSIGN : s_5_5 14 # ASSIGN : s_5_6 798 # ASSIGN : s_5_7 975 # ASSIGN : s_5_8 815 # ASSIGN : s_5_9 939 # ASSIGN : s_5_10 888 # ASSIGN : s_5_11 740 # ASSIGN : s_5_12 1 # ASSIGN : s_5_13 434 # ASSIGN : s_5_14 358 # ASSIGN : s_5_15 684 # ASSIGN : s_5_16 142 # ASSIGN : s_5_17 605 # ASSIGN : s_5_18 1164 # ASSIGN : s_5_19 532 # ASSIGN : s_6_0 672 # ASSIGN : s_6_1 903 # ASSIGN : s_6_2 229 # ASSIGN : s_6_3 309 # ASSIGN : s_6_4 70 # ASSIGN : s_6_5 133 # ASSIGN : s_6_6 519 # ASSIGN : s_6_7 705 # ASSIGN : s_6_8 577 # ASSIGN : s_6_9 1114 # ASSIGN : s_6_10 321 # ASSIGN : s_6_11 809 # ASSIGN : s_6_12 1153 # ASSIGN : s_6_13 0 # ASSIGN : s_6_14 423 # ASSIGN : s_6_15 992 # ASSIGN : s_6_16 1067 # ASSIGN : s_6_17 920 # ASSIGN : s_6_18 293 # ASSIGN : s_6_19 831 # ASSIGN : s_7_0 957 # ASSIGN : s_7_1 124 # ASSIGN : s_7_2 307 # ASSIGN : s_7_3 653 # ASSIGN : s_7_4 407 # ASSIGN : s_7_5 240 # ASSIGN : s_7_6 1109 # ASSIGN : s_7_7 1241 # ASSIGN : s_7_8 1120 # ASSIGN : s_7_9 298 # ASSIGN : s_7_10 493 # ASSIGN : s_7_11 445 # ASSIGN : s_7_12 425 # ASSIGN : s_7_13 29 # ASSIGN : s_7_14 946 # ASSIGN : s_7_15 738 # ASSIGN : s_7_16 554 # ASSIGN : s_7_17 801 # ASSIGN : s_7_18 890 # ASSIGN : s_7_19 193 # ASSIGN : s_8_0 576 # ASSIGN : s_8_1 204 # ASSIGN : s_8_2 1239 # ASSIGN : s_8_3 741 # ASSIGN : s_8_4 918 # ASSIGN : s_8_5 2 # ASSIGN : s_8_6 1145 # ASSIGN : s_8_7 1081 # ASSIGN : s_8_8 383 # ASSIGN : s_8_9 302 # ASSIGN : s_8_10 1008 # ASSIGN : s_8_11 1161 # ASSIGN : s_8_12 341 # ASSIGN : s_8_13 128 # ASSIGN : s_8_14 796 # ASSIGN : s_8_15 1076 # ASSIGN : s_8_16 466 # ASSIGN : s_8_17 685 # ASSIGN : s_8_18 945 # ASSIGN : s_8_19 55 # ASSIGN : s_9_0 1139 # ASSIGN : s_9_1 623 # ASSIGN : s_9_2 176 # ASSIGN : s_9_3 1234 # ASSIGN : s_9_4 823 # ASSIGN : s_9_5 400 # ASSIGN : s_9_6 1027 # ASSIGN : s_9_7 248 # ASSIGN : s_9_8 1006 # ASSIGN : s_9_9 909 # ASSIGN : s_9_10 79 # ASSIGN : s_9_11 580 # ASSIGN : s_9_12 776 # ASSIGN : s_9_13 300 # ASSIGN : s_9_14 1110 # ASSIGN : s_9_15 945 # ASSIGN : s_9_16 869 # ASSIGN : s_9_17 493 # ASSIGN : s_9_18 2 # ASSIGN : s_9_19 1155 # ASSIGN : s_10_0 414 # ASSIGN : s_10_1 811 # ASSIGN : s_10_2 767 # ASSIGN : s_10_3 324 # ASSIGN : s_10_4 201 # ASSIGN : s_10_5 581 # ASSIGN : s_10_6 663 # ASSIGN : s_10_7 195 # ASSIGN : s_10_8 1207 # ASSIGN : s_10_9 698 # ASSIGN : s_10_10 1073 # ASSIGN : s_10_11 968 # ASSIGN : s_10_12 493 # ASSIGN : s_10_13 285 # ASSIGN : s_10_14 1140 # ASSIGN : s_10_15 81 # ASSIGN : s_10_16 893 # ASSIGN : s_10_17 1134 # ASSIGN : s_10_18 97 # ASSIGN : s_10_19 160 # ASSIGN : s_11_0 1050 # ASSIGN : s_11_1 698 # ASSIGN : s_11_2 540 # ASSIGN : s_11_3 599 # ASSIGN : s_11_4 478 # ASSIGN : s_11_5 840 # ASSIGN : s_11_6 176 # ASSIGN : s_11_7 107 # ASSIGN : s_11_8 746 # ASSIGN : s_11_9 332 # ASSIGN : s_11_10 789 # ASSIGN : s_11_11 1088 # ASSIGN : s_11_12 6 # ASSIGN : s_11_13 966 # ASSIGN : s_11_14 640 # ASSIGN : s_11_15 1160 # ASSIGN : s_11_16 256 # ASSIGN : s_11_17 1194 # ASSIGN : s_11_18 393 # ASSIGN : s_11_19 939 # ASSIGN : s_12_0 10 # ASSIGN : s_12_1 926 # ASSIGN : s_12_2 1017 # ASSIGN : s_12_3 576 # ASSIGN : s_12_4 344 # ASSIGN : s_12_5 109 # ASSIGN : s_12_6 409 # ASSIGN : s_12_7 358 # ASSIGN : s_12_8 1061 # ASSIGN : s_12_9 1152 # ASSIGN : s_12_10 1046 # ASSIGN : s_12_11 565 # ASSIGN : s_12_12 457 # ASSIGN : s_12_13 754 # ASSIGN : s_12_14 526 # ASSIGN : s_12_15 831 # ASSIGN : s_12_16 240 # ASSIGN : s_12_17 1119 # ASSIGN : s_12_18 676 # ASSIGN : s_12_19 604 # ASSIGN : s_13_0 482 # ASSIGN : s_13_1 1173 # ASSIGN : s_13_2 876 # ASSIGN : s_13_3 384 # ASSIGN : s_13_4 5 # ASSIGN : s_13_5 269 # ASSIGN : s_13_6 319 # ASSIGN : s_13_7 534 # ASSIGN : s_13_8 85 # ASSIGN : s_13_9 767 # ASSIGN : s_13_10 189 # ASSIGN : s_13_11 101 # ASSIGN : s_13_12 1059 # ASSIGN : s_13_13 678 # ASSIGN : s_13_14 14 # ASSIGN : s_13_15 583 # ASSIGN : s_13_16 667 # ASSIGN : s_13_17 200 # ASSIGN : s_13_18 858 # ASSIGN : s_13_19 964 # ASSIGN : s_14_0 681 # ASSIGN : s_14_1 40 # ASSIGN : s_14_2 600 # ASSIGN : s_14_3 983 # ASSIGN : s_14_4 589 # ASSIGN : s_14_5 936 # ASSIGN : s_14_6 990 # ASSIGN : s_14_7 443 # ASSIGN : s_14_8 1030 # ASSIGN : s_14_9 864 # ASSIGN : s_14_10 556 # ASSIGN : s_14_11 0 # ASSIGN : s_14_12 825 # ASSIGN : s_14_13 200 # ASSIGN : s_14_14 1061 # ASSIGN : s_14_15 309 # ASSIGN : s_14_16 1146 # ASSIGN : s_14_17 112 # ASSIGN : s_14_18 1063 # ASSIGN : s_14_19 359 # ASSIGN : s_15_0 243 # ASSIGN : s_15_1 495 # ASSIGN : s_15_2 89 # ASSIGN : s_15_3 1000 # ASSIGN : s_15_4 1032 # ASSIGN : s_15_5 170 # ASSIGN : s_15_6 1122 # ASSIGN : s_15_7 434 # ASSIGN : s_15_8 1 # ASSIGN : s_15_9 1089 # ASSIGN : s_15_10 1135 # ASSIGN : s_15_11 1067 # ASSIGN : s_15_12 688 # ASSIGN : s_15_13 560 # ASSIGN : s_15_14 909 # ASSIGN : s_15_15 519 # ASSIGN : s_15_16 328 # ASSIGN : s_15_17 749 # ASSIGN : s_15_18 780 # ASSIGN : s_15_19 1217 # ASSIGN : s_16_0 753 # ASSIGN : s_16_1 310 # ASSIGN : s_16_2 675 # ASSIGN : s_16_3 1037 # ASSIGN : s_16_4 1147 # ASSIGN : s_16_5 1075 # ASSIGN : s_16_6 1206 # ASSIGN : s_16_7 845 # ASSIGN : s_16_8 908 # ASSIGN : s_16_9 482 # ASSIGN : s_16_10 579 # ASSIGN : s_16_11 199 # ASSIGN : s_16_12 135 # ASSIGN : s_16_13 379 # ASSIGN : s_16_14 849 # ASSIGN : s_16_15 248 # ASSIGN : s_16_16 38 # ASSIGN : s_16_17 1 # ASSIGN : s_16_18 1005 # ASSIGN : s_16_19 447 # ASSIGN : s_17_0 5 # ASSIGN : s_17_1 518 # ASSIGN : s_17_2 361 # ASSIGN : s_17_3 1118 # ASSIGN : s_17_4 1111 # ASSIGN : s_17_5 981 # ASSIGN : s_17_6 449 # ASSIGN : s_17_7 44 # ASSIGN : s_17_8 146 # ASSIGN : s_17_9 932 # ASSIGN : s_17_10 943 # ASSIGN : s_17_11 842 # ASSIGN : s_17_12 1039 # ASSIGN : s_17_13 1047 # ASSIGN : s_17_14 558 # ASSIGN : s_17_15 1206 # ASSIGN : s_17_16 754 # ASSIGN : s_17_17 270 # ASSIGN : s_17_18 299 # ASSIGN : s_17_19 694 # ASSIGN : s_18_0 186 # ASSIGN : s_18_1 444 # ASSIGN : s_18_2 1179 # ASSIGN : s_18_3 3 # ASSIGN : s_18_4 1233 # ASSIGN : s_18_5 487 # ASSIGN : s_18_6 695 # ASSIGN : s_18_7 885 # ASSIGN : s_18_8 804 # ASSIGN : s_18_9 110 # ASSIGN : s_18_10 247 # ASSIGN : s_18_11 324 # ASSIGN : s_18_12 88 # ASSIGN : s_18_13 611 # ASSIGN : s_18_14 963 # ASSIGN : s_18_15 359 # ASSIGN : s_18_16 815 # ASSIGN : s_18_17 1054 # ASSIGN : s_18_18 755 # ASSIGN : s_18_19 1120 # ASSIGN : s_19_0 111 # ASSIGN : s_19_1 0 # ASSIGN : s_19_2 293 # ASSIGN : s_19_3 840 # ASSIGN : s_19_4 1090 # ASSIGN : s_19_5 743 # ASSIGN : s_19_6 908 # ASSIGN : s_19_7 669 # ASSIGN : s_19_8 225 # ASSIGN : s_19_9 992 # ASSIGN : s_19_10 979 # ASSIGN : s_19_11 30 # ASSIGN : s_19_12 585 # ASSIGN : s_19_13 1106 # ASSIGN : s_19_14 1163 # ASSIGN : s_19_15 540 # ASSIGN : s_19_16 388 # ASSIGN : s_19_17 460 # ASSIGN : s_19_18 630 # ASSIGN : s_19_19 477 SHOW_RESULT 1243 END : 1243 (5 seconds) [Mon Jun 19 16:58:58 2006] SHOW_RESULT 1243 CPU : 5.01999999999984 = 4.92999999999984 + 0.0900000000000007 + 0 + 0 # BOUND : makespan 1241 1243 MODIFY_CNF 1242 BEGIN : [Mon Jun 19 16:58:59 2006] MODIFY_CNF 1242 END : 713509697 bytes (0 seconds) [Mon Jun 19 16:58:59 2006] MODIFY_CNF 1242 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1242 BEGIN : [Mon Jun 19 16:58:59 2006] CMD : minisat /tmp/csp2sat2833.cnf /tmp/csp2sat2833.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 19133991 56652120 | 6377997 0 0 nan | 0.000 % | | 101 | 19133991 56652120 | 7015796 101 1549 15.3 | 36.788 % | | 251 | 19133991 56652120 | 7717376 251 9520 37.9 | 36.788 % | | 477 | 19133991 56652120 | 8489114 477 13517 28.3 | 36.788 % | | 814 | 19133991 56652120 | 9338025 814 17680 21.7 | 36.788 % | ============================================================================== restarts : 5 conflicts : 933 (4 /sec) decisions : 7953 (33 /sec) propagations : 5211647 (21707 /sec) conflict literals : 21960 (8.16 % deleted) Memory used : 1154.63 MB CPU time : 240.09 s SATISFIABLE VERIFY_CNF 1242 END : (244 seconds) [Mon Jun 19 17:03:03 2006] VERIFY_CNF 1242 CPU : 244.09 = 0 + 0.00999999999999979 + 240.49 + 3.59 # RESULT : makespan 1242 SATISFIABLE SHOW_RESULT 1242 BEGIN : [Mon Jun 19 17:03:03 2006] # ASSIGN : makespan 1242 # ASSIGN : s_0_0 689 # ASSIGN : s_0_1 765 # ASSIGN : s_0_2 1051 # ASSIGN : s_0_3 584 # ASSIGN : s_0_4 290 # ASSIGN : s_0_5 965 # ASSIGN : s_0_6 1125 # ASSIGN : s_0_7 1116 # ASSIGN : s_0_8 344 # ASSIGN : s_0_9 393 # ASSIGN : s_0_10 633 # ASSIGN : s_0_11 420 # ASSIGN : s_0_12 830 # ASSIGN : s_0_13 0 # ASSIGN : s_0_14 656 # ASSIGN : s_0_15 170 # ASSIGN : s_0_16 64 # ASSIGN : s_0_17 899 # ASSIGN : s_0_18 234 # ASSIGN : s_0_19 1190 # ASSIGN : s_1_0 966 # ASSIGN : s_1_1 480 # ASSIGN : s_1_2 721 # ASSIGN : s_1_3 383 # ASSIGN : s_1_4 675 # ASSIGN : s_1_5 1049 # ASSIGN : s_1_6 1038 # ASSIGN : s_1_7 71 # ASSIGN : s_1_8 553 # ASSIGN : s_1_9 422 # ASSIGN : s_1_10 263 # ASSIGN : s_1_11 370 # ASSIGN : s_1_12 877 # ASSIGN : s_1_13 150 # ASSIGN : s_1_14 700 # ASSIGN : s_1_15 785 # ASSIGN : s_1_16 1212 # ASSIGN : s_1_17 1153 # ASSIGN : s_1_18 6 # ASSIGN : s_1_19 622 # ASSIGN : s_2_0 370 # ASSIGN : s_2_1 954 # ASSIGN : s_2_2 948 # ASSIGN : s_2_3 635 # ASSIGN : s_2_4 357 # ASSIGN : s_2_5 589 # ASSIGN : s_2_6 842 # ASSIGN : s_2_7 149 # ASSIGN : s_2_8 13 # ASSIGN : s_2_9 1102 # ASSIGN : s_2_10 184 # ASSIGN : s_2_11 315 # ASSIGN : s_2_12 733 # ASSIGN : s_2_13 66 # ASSIGN : s_2_14 856 # ASSIGN : s_2_15 480 # ASSIGN : s_2_16 474 # ASSIGN : s_2_17 1216 # ASSIGN : s_2_18 1200 # ASSIGN : s_2_19 1023 # ASSIGN : s_3_0 755 # ASSIGN : s_3_1 557 # ASSIGN : s_3_2 462 # ASSIGN : s_3_3 100 # ASSIGN : s_3_4 1184 # ASSIGN : s_3_5 78 # ASSIGN : s_3_6 1101 # ASSIGN : s_3_7 187 # ASSIGN : s_3_8 626 # ASSIGN : s_3_9 900 # ASSIGN : s_3_10 1083 # ASSIGN : s_3_11 212 # ASSIGN : s_3_12 0 # ASSIGN : s_3_13 1202 # ASSIGN : s_3_14 752 # ASSIGN : s_3_15 882 # ASSIGN : s_3_16 1137 # ASSIGN : s_3_17 1006 # ASSIGN : s_3_18 302 # ASSIGN : s_3_19 385 # ASSIGN : s_4_0 1095 # ASSIGN : s_4_1 1197 # ASSIGN : s_4_2 860 # ASSIGN : s_4_3 1129 # ASSIGN : s_4_4 1198 # ASSIGN : s_4_5 239 # ASSIGN : s_4_6 1046 # ASSIGN : s_4_7 132 # ASSIGN : s_4_8 469 # ASSIGN : s_4_9 576 # ASSIGN : s_4_10 2 # ASSIGN : s_4_11 685 # ASSIGN : s_4_12 1105 # ASSIGN : s_4_13 750 # ASSIGN : s_4_14 958 # ASSIGN : s_4_15 1123 # ASSIGN : s_4_16 800 # ASSIGN : s_4_17 651 # ASSIGN : s_4_18 620 # ASSIGN : s_4_19 1184 # ASSIGN : s_5_0 1025 # ASSIGN : s_5_1 336 # ASSIGN : s_5_2 1152 # ASSIGN : s_5_3 485 # ASSIGN : s_5_4 330 # ASSIGN : s_5_5 800 # ASSIGN : s_5_6 895 # ASSIGN : s_5_7 629 # ASSIGN : s_5_8 398 # ASSIGN : s_5_9 988 # ASSIGN : s_5_10 578 # ASSIGN : s_5_11 31 # ASSIGN : s_5_12 983 # ASSIGN : s_5_13 222 # ASSIGN : s_5_14 315 # ASSIGN : s_5_15 89 # ASSIGN : s_5_16 912 # ASSIGN : s_5_17 1073 # ASSIGN : s_5_18 143 # ASSIGN : s_5_19 728 # ASSIGN : s_6_0 1134 # ASSIGN : s_6_1 748 # ASSIGN : s_6_2 174 # ASSIGN : s_6_3 572 # ASSIGN : s_6_4 21 # ASSIGN : s_6_5 622 # ASSIGN : s_6_6 925 # ASSIGN : s_6_7 257 # ASSIGN : s_6_8 812 # ASSIGN : s_6_9 584 # ASSIGN : s_6_10 84 # ASSIGN : s_6_11 321 # ASSIGN : s_6_12 343 # ASSIGN : s_6_13 1104 # ASSIGN : s_6_14 1146 # ASSIGN : s_6_15 1029 # ASSIGN : s_6_16 983 # ASSIGN : s_6_17 681 # ASSIGN : s_6_18 1023 # ASSIGN : s_6_19 461 # ASSIGN : s_7_0 464 # ASSIGN : s_7_1 1070 # ASSIGN : s_7_2 238 # ASSIGN : s_7_3 832 # ASSIGN : s_7_4 415 # ASSIGN : s_7_5 139 # ASSIGN : s_7_6 41 # ASSIGN : s_7_7 39 # ASSIGN : s_7_8 52 # ASSIGN : s_7_9 828 # ASSIGN : s_7_10 762 # ASSIGN : s_7_11 1194 # ASSIGN : s_7_12 433 # ASSIGN : s_7_13 308 # ASSIGN : s_7_14 453 # ASSIGN : s_7_15 966 # ASSIGN : s_7_16 663 # ASSIGN : s_7_17 562 # ASSIGN : s_7_18 1139 # ASSIGN : s_7_19 919 # ASSIGN : s_8_0 129 # ASSIGN : s_8_1 225 # ASSIGN : s_8_2 3 # ASSIGN : s_8_3 7 # ASSIGN : s_8_4 1081 # ASSIGN : s_8_5 323 # ASSIGN : s_8_6 335 # ASSIGN : s_8_7 1129 # ASSIGN : s_8_8 964 # ASSIGN : s_8_9 1049 # ASSIGN : s_8_10 724 # ASSIGN : s_8_11 886 # ASSIGN : s_8_12 87 # ASSIGN : s_8_13 770 # ASSIGN : s_8_14 393 # ASSIGN : s_8_15 1128 # ASSIGN : s_8_16 563 # ASSIGN : s_8_17 506 # ASSIGN : s_8_18 446 # ASSIGN : s_8_19 651 # ASSIGN : s_9_0 1118 # ASSIGN : s_9_1 830 # ASSIGN : s_9_2 7 # ASSIGN : s_9_3 1212 # ASSIGN : s_9_4 596 # ASSIGN : s_9_5 502 # ASSIGN : s_9_6 60 # ASSIGN : s_9_7 351 # ASSIGN : s_9_8 1221 # ASSIGN : s_9_9 1079 # ASSIGN : s_9_10 982 # ASSIGN : s_9_11 642 # ASSIGN : s_9_12 686 # ASSIGN : s_9_13 403 # ASSIGN : s_9_14 781 # ASSIGN : s_9_15 304 # ASSIGN : s_9_16 1188 # ASSIGN : s_9_17 144 # ASSIGN : s_9_18 905 # ASSIGN : s_9_19 226 # ASSIGN : s_10_0 292 # ASSIGN : s_10_1 661 # ASSIGN : s_10_2 1013 # ASSIGN : s_10_3 917 # ASSIGN : s_10_4 833 # ASSIGN : s_10_5 0 # ASSIGN : s_10_6 1069 # ASSIGN : s_10_7 1123 # ASSIGN : s_10_8 360 # ASSIGN : s_10_9 115 # ASSIGN : s_10_10 202 # ASSIGN : s_10_11 471 # ASSIGN : s_10_12 573 # ASSIGN : s_10_13 1187 # ASSIGN : s_10_14 810 # ASSIGN : s_10_15 1107 # ASSIGN : s_10_16 396 # ASSIGN : s_10_17 1210 # ASSIGN : s_10_18 743 # ASSIGN : s_10_19 82 # ASSIGN : s_11_0 92 # ASSIGN : s_11_1 177 # ASSIGN : s_11_2 292 # ASSIGN : s_11_3 51 # ASSIGN : s_11_4 122 # ASSIGN : s_11_5 1146 # ASSIGN : s_11_6 351 # ASSIGN : s_11_7 952 # ASSIGN : s_11_8 1103 # ASSIGN : s_11_9 736 # ASSIGN : s_11_10 431 # ASSIGN : s_11_11 570 # ASSIGN : s_11_12 1021 # ASSIGN : s_11_13 482 # ASSIGN : s_11_14 234 # ASSIGN : s_11_15 918 # ASSIGN : s_11_16 840 # ASSIGN : s_11_17 791 # ASSIGN : s_11_18 651 # ASSIGN : s_11_19 26 # ASSIGN : s_12_0 1143 # ASSIGN : s_12_1 397 # ASSIGN : s_12_2 145 # ASSIGN : s_12_3 183 # ASSIGN : s_12_4 206 # ASSIGN : s_12_5 478 # ASSIGN : s_12_6 220 # ASSIGN : s_12_7 796 # ASSIGN : s_12_8 1045 # ASSIGN : s_12_9 268 # ASSIGN : s_12_10 359 # ASSIGN : s_12_11 374 # ASSIGN : s_12_12 1107 # ASSIGN : s_12_13 969 # ASSIGN : s_12_14 615 # ASSIGN : s_12_15 647 # ASSIGN : s_12_16 780 # ASSIGN : s_12_17 765 # ASSIGN : s_12_18 537 # ASSIGN : s_12_19 847 # ASSIGN : s_13_0 236 # ASSIGN : s_13_1 1 # ASSIGN : s_13_2 71 # ASSIGN : s_13_3 977 # ASSIGN : s_13_4 383 # ASSIGN : s_13_5 659 # ASSIGN : s_13_6 722 # ASSIGN : s_13_7 1193 # ASSIGN : s_13_8 1150 # ASSIGN : s_13_9 472 # ASSIGN : s_13_10 392 # ASSIGN : s_13_11 787 # ASSIGN : s_13_12 142 # ASSIGN : s_13_13 893 # ASSIGN : s_13_14 1075 # ASSIGN : s_13_15 563 # ASSIGN : s_13_16 1177 # ASSIGN : s_13_17 403 # ASSIGN : s_13_18 875 # ASSIGN : s_13_19 288 # ASSIGN : s_14_0 894 # ASSIGN : s_14_1 998 # ASSIGN : s_14_2 387 # ASSIGN : s_14_3 478 # ASSIGN : s_14_4 1108 # ASSIGN : s_14_5 336 # ASSIGN : s_14_6 625 # ASSIGN : s_14_7 534 # ASSIGN : s_14_8 1166 # ASSIGN : s_14_9 1197 # ASSIGN : s_14_10 662 # ASSIGN : s_14_11 1136 # ASSIGN : s_14_12 498 # ASSIGN : s_14_13 685 # ASSIGN : s_14_14 1073 # ASSIGN : s_14_15 1 # ASSIGN : s_14_16 223 # ASSIGN : s_14_17 51 # ASSIGN : s_14_18 792 # ASSIGN : s_14_19 139 # ASSIGN : s_15_0 557 # ASSIGN : s_15_1 82 # ASSIGN : s_15_2 626 # ASSIGN : s_15_3 306 # ASSIGN : s_15_4 997 # ASSIGN : s_15_5 895 # ASSIGN : s_15_6 1011 # ASSIGN : s_15_7 525 # ASSIGN : s_15_8 717 # ASSIGN : s_15_9 1024 # ASSIGN : s_15_10 1139 # ASSIGN : s_15_11 1057 # ASSIGN : s_15_12 237 # ASSIGN : s_15_13 842 # ASSIGN : s_15_14 356 # ASSIGN : s_15_15 1221 # ASSIGN : s_15_16 163 # ASSIGN : s_15_17 20 # ASSIGN : s_15_18 1061 # ASSIGN : s_15_19 816 # ASSIGN : s_16_0 0 # ASSIGN : s_16_1 105 # ASSIGN : s_16_2 781 # ASSIGN : s_16_3 338 # ASSIGN : s_16_4 1119 # ASSIGN : s_16_5 168 # ASSIGN : s_16_6 437 # ASSIGN : s_16_7 625 # ASSIGN : s_16_8 241 # ASSIGN : s_16_9 635 # ASSIGN : s_16_10 859 # ASSIGN : s_16_11 732 # ASSIGN : s_16_12 1178 # ASSIGN : s_16_13 563 # ASSIGN : s_16_14 474 # ASSIGN : s_16_15 376 # ASSIGN : s_16_16 1022 # ASSIGN : s_16_17 953 # ASSIGN : s_16_18 990 # ASSIGN : s_16_19 533 # ASSIGN : s_17_0 1108 # ASSIGN : s_17_1 621 # ASSIGN : s_17_2 548 # ASSIGN : s_17_3 728 # ASSIGN : s_17_4 816 # ASSIGN : s_17_5 84 # ASSIGN : s_17_6 1173 # ASSIGN : s_17_7 889 # ASSIGN : s_17_8 162 # ASSIGN : s_17_9 882 # ASSIGN : s_17_10 823 # ASSIGN : s_17_11 966 # ASSIGN : s_17_12 958 # ASSIGN : s_17_13 1045 # ASSIGN : s_17_14 2 # ASSIGN : s_17_15 443 # ASSIGN : s_17_16 320 # ASSIGN : s_17_17 252 # ASSIGN : s_17_18 381 # ASSIGN : s_17_19 1113 # ASSIGN : s_18_0 837 # ASSIGN : s_18_1 911 # ASSIGN : s_18_2 959 # ASSIGN : s_18_3 437 # ASSIGN : s_18_4 1028 # ASSIGN : s_18_5 706 # ASSIGN : s_18_6 260 # ASSIGN : s_18_7 1038 # ASSIGN : s_18_8 801 # ASSIGN : s_18_9 184 # ASSIGN : s_18_10 504 # ASSIGN : s_18_11 385 # ASSIGN : s_18_12 476 # ASSIGN : s_18_13 618 # ASSIGN : s_18_14 93 # ASSIGN : s_18_15 1138 # ASSIGN : s_18_16 10 # ASSIGN : s_18_17 320 # ASSIGN : s_18_18 1217 # ASSIGN : s_18_19 583 # ASSIGN : s_19_0 614 # ASSIGN : s_19_1 1199 # ASSIGN : s_19_2 707 # ASSIGN : s_19_3 213 # ASSIGN : s_19_4 1046 # ASSIGN : s_19_5 381 # ASSIGN : s_19_6 142 # ASSIGN : s_19_7 853 # ASSIGN : s_19_8 897 # ASSIGN : s_19_9 6 # ASSIGN : s_19_10 1229 # ASSIGN : s_19_11 1062 # ASSIGN : s_19_12 298 # ASSIGN : s_19_13 1133 # ASSIGN : s_19_14 534 # ASSIGN : s_19_15 742 # ASSIGN : s_19_16 488 # ASSIGN : s_19_17 281 # ASSIGN : s_19_18 103 # ASSIGN : s_19_19 968 SHOW_RESULT 1242 END : 1242 (5 seconds) [Mon Jun 19 17:03:08 2006] SHOW_RESULT 1242 CPU : 4.92000000000015 = 4.84000000000015 + 0.0800000000000001 + 0 + 0 # BOUND : makespan 1241 1242 MODIFY_CNF 1241 BEGIN : [Mon Jun 19 17:03:08 2006] MODIFY_CNF 1241 END : 713509697 bytes (0 seconds) [Mon Jun 19 17:03:08 2006] MODIFY_CNF 1241 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1241 BEGIN : [Mon Jun 19 17:03:08 2006] CMD : minisat /tmp/csp2sat2833.cnf /tmp/csp2sat2833.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 19118792 56606520 | 6372930 0 0 nan | 0.000 % | | 101 | 19118792 56606520 | 7010223 101 6248 61.9 | 36.840 % | | 251 | 19118792 56606520 | 7711245 251 8130 32.4 | 36.840 % | | 477 | 19118792 56606520 | 8482369 477 17764 37.2 | 36.840 % | | 814 | 19118792 56606520 | 9330606 814 22615 27.8 | 36.840 % | | 1320 | 19118792 56606520 | 10263667 1320 42637 32.3 | 36.840 % | | 2080 | 19118792 56606520 | 11290034 2080 64698 31.1 | 36.840 % | | 3219 | 19118792 56606520 | 12419037 3219 134415 41.8 | 36.840 % | | 4928 | 19118792 56606520 | 13660941 4928 158400 32.1 | 36.840 % | | 7490 | 19118792 56606520 | 15027035 7490 323211 43.2 | 36.840 % | | 11335 | 19118792 56606520 | 16529739 11335 593023 52.3 | 36.840 % | ============================================================================== restarts : 11 conflicts : 12463 (43 /sec) decisions : 28728 (100 /sec) propagations : 30886354 (107749 /sec) conflict literals : 638192 (10.52 % deleted) Memory used : 1163.21 MB CPU time : 286.65 s SATISFIABLE VERIFY_CNF 1241 END : (291 seconds) [Mon Jun 19 17:07:59 2006] VERIFY_CNF 1241 CPU : 290.45 = 0 + 0 + 287.06 + 3.39 # RESULT : makespan 1241 SATISFIABLE SHOW_RESULT 1241 BEGIN : [Mon Jun 19 17:07:59 2006] # ASSIGN : makespan 1241 # ASSIGN : s_0_0 112 # ASSIGN : s_0_1 838 # ASSIGN : s_0_2 370 # ASSIGN : s_0_3 1094 # ASSIGN : s_0_4 998 # ASSIGN : s_0_5 698 # ASSIGN : s_0_6 445 # ASSIGN : s_0_7 906 # ASSIGN : s_0_8 1144 # ASSIGN : s_0_9 1160 # ASSIGN : s_0_10 675 # ASSIGN : s_0_11 913 # ASSIGN : s_0_12 16 # ASSIGN : s_0_13 510 # ASSIGN : s_0_14 294 # ASSIGN : s_0_15 230 # ASSIGN : s_0_16 576 # ASSIGN : s_0_17 1187 # ASSIGN : s_0_18 1038 # ASSIGN : s_0_19 786 # ASSIGN : s_1_0 670 # ASSIGN : s_1_1 975 # ASSIGN : s_1_2 570 # ASSIGN : s_1_3 34 # ASSIGN : s_1_4 1103 # ASSIGN : s_1_5 451 # ASSIGN : s_1_6 134 # ASSIGN : s_1_7 73 # ASSIGN : s_1_8 810 # ASSIGN : s_1_9 1053 # ASSIGN : s_1_10 321 # ASSIGN : s_1_11 142 # ASSIGN : s_1_12 211 # ASSIGN : s_1_13 903 # ASSIGN : s_1_14 1220 # ASSIGN : s_1_15 1128 # ASSIGN : s_1_16 421 # ASSIGN : s_1_17 154 # ASSIGN : s_1_18 744 # ASSIGN : s_1_19 292 # ASSIGN : s_2_0 18 # ASSIGN : s_2_1 1136 # ASSIGN : s_2_2 12 # ASSIGN : s_2_3 574 # ASSIGN : s_2_4 561 # ASSIGN : s_2_5 878 # ASSIGN : s_2_6 726 # ASSIGN : s_2_7 1204 # ASSIGN : s_2_8 667 # ASSIGN : s_2_9 280 # ASSIGN : s_2_10 831 # ASSIGN : s_2_11 856 # ASSIGN : s_2_12 410 # ASSIGN : s_2_13 740 # ASSIGN : s_2_14 914 # ASSIGN : s_2_15 1045 # ASSIGN : s_2_16 529 # ASSIGN : s_2_17 1006 # ASSIGN : s_2_18 1186 # ASSIGN : s_2_19 201 # ASSIGN : s_3_0 797 # ASSIGN : s_3_1 733 # ASSIGN : s_3_2 284 # ASSIGN : s_3_3 406 # ASSIGN : s_3_4 1208 # ASSIGN : s_3_5 374 # ASSIGN : s_3_6 493 # ASSIGN : s_3_7 256 # ASSIGN : s_3_8 575 # ASSIGN : s_3_9 41 # ASSIGN : s_3_10 517 # ASSIGN : s_3_11 964 # ASSIGN : s_3_12 886 # ASSIGN : s_3_13 1142 # ASSIGN : s_3_14 281 # ASSIGN : s_3_15 1222 # ASSIGN : s_3_16 535 # ASSIGN : s_3_17 666 # ASSIGN : s_3_18 159 # ASSIGN : s_3_19 1054 # ASSIGN : s_4_0 1231 # ASSIGN : s_4_1 1131 # ASSIGN : s_4_2 196 # ASSIGN : s_4_3 315 # ASSIGN : s_4_4 499 # ASSIGN : s_4_5 585 # ASSIGN : s_4_6 394 # ASSIGN : s_4_7 826 # ASSIGN : s_4_8 950 # ASSIGN : s_4_9 1115 # ASSIGN : s_4_10 417 # ASSIGN : s_4_11 866 # ASSIGN : s_4_12 1229 # ASSIGN : s_4_13 720 # ASSIGN : s_4_14 1132 # ASSIGN : s_4_15 924 # ASSIGN : s_4_16 1050 # ASSIGN : s_4_17 543 # ASSIGN : s_4_18 128 # ASSIGN : s_4_19 714 # ASSIGN : s_5_0 490 # ASSIGN : s_5_1 1180 # ASSIGN : s_5_2 68 # ASSIGN : s_5_3 792 # ASSIGN : s_5_4 1169 # ASSIGN : s_5_5 1068 # ASSIGN : s_5_6 958 # ASSIGN : s_5_7 693 # ASSIGN : s_5_8 879 # ASSIGN : s_5_9 375 # ASSIGN : s_5_10 570 # ASSIGN : s_5_11 5 # ASSIGN : s_5_12 63 # ASSIGN : s_5_13 975 # ASSIGN : s_5_14 552 # ASSIGN : s_5_15 171 # ASSIGN : s_5_16 304 # ASSIGN : s_5_17 225 # ASSIGN : s_5_18 411 # ASSIGN : s_5_19 621 # ASSIGN : s_6_0 178 # ASSIGN : s_6_1 585 # ASSIGN : s_6_2 1072 # ASSIGN : s_6_3 370 # ASSIGN : s_6_4 791 # ASSIGN : s_6_5 548 # ASSIGN : s_6_6 1014 # ASSIGN : s_6_7 284 # ASSIGN : s_6_8 706 # ASSIGN : s_6_9 129 # ASSIGN : s_6_10 921 # ASSIGN : s_6_11 348 # ASSIGN : s_6_12 1139 # ASSIGN : s_6_13 73 # ASSIGN : s_6_14 452 # ASSIGN : s_6_15 602 # ASSIGN : s_6_16 382 # ASSIGN : s_6_17 854 # ASSIGN : s_6_18 122 # ASSIGN : s_6_19 1 # ASSIGN : s_7_0 879 # ASSIGN : s_7_1 366 # ASSIGN : s_7_2 435 # ASSIGN : s_7_3 489 # ASSIGN : s_7_4 1190 # ASSIGN : s_7_5 669 # ASSIGN : s_7_6 32 # ASSIGN : s_7_7 1239 # ASSIGN : s_7_8 1034 # ASSIGN : s_7_9 1235 # ASSIGN : s_7_10 241 # ASSIGN : s_7_11 1121 # ASSIGN : s_7_12 302 # ASSIGN : s_7_13 574 # ASSIGN : s_7_14 327 # ASSIGN : s_7_15 816 # ASSIGN : s_7_16 717 # ASSIGN : s_7_17 65 # ASSIGN : s_7_18 979 # ASSIGN : s_7_19 154 # ASSIGN : s_8_0 378 # ASSIGN : s_8_1 268 # ASSIGN : s_8_2 1162 # ASSIGN : s_8_3 697 # ASSIGN : s_8_4 670 # ASSIGN : s_8_5 166 # ASSIGN : s_8_6 998 # ASSIGN : s_8_7 1066 # ASSIGN : s_8_8 77 # ASSIGN : s_8_9 1130 # ASSIGN : s_8_10 1024 # ASSIGN : s_8_11 746 # ASSIGN : s_8_12 561 # ASSIGN : s_8_13 1 # ASSIGN : s_8_14 824 # ASSIGN : s_8_15 1240 # ASSIGN : s_8_16 885 # ASSIGN : s_8_17 610 # ASSIGN : s_8_18 491 # ASSIGN : s_8_19 1167 # ASSIGN : s_9_0 474 # ASSIGN : s_9_1 510 # ASSIGN : s_9_2 774 # ASSIGN : s_9_3 1053 # ASSIGN : s_9_4 264 # ASSIGN : s_9_5 911 # ASSIGN : s_9_6 1159 # ASSIGN : s_9_7 392 # ASSIGN : s_9_8 158 # ASSIGN : s_9_9 18 # ASSIGN : s_9_10 1062 # ASSIGN : s_9_11 68 # ASSIGN : s_9_12 603 # ASSIGN : s_9_13 179 # ASSIGN : s_9_14 1012 # ASSIGN : s_9_15 727 # ASSIGN : s_9_16 111 # ASSIGN : s_9_17 310 # ASSIGN : s_9_18 650 # ASSIGN : s_9_19 849 # ASSIGN : s_10_0 729 # ASSIGN : s_10_1 1048 # ASSIGN : s_10_2 158 # ASSIGN : s_10_3 244 # ASSIGN : s_10_4 16 # ASSIGN : s_10_5 1163 # ASSIGN : s_10_6 212 # ASSIGN : s_10_7 967 # ASSIGN : s_10_8 539 # ASSIGN : s_10_9 411 # ASSIGN : s_10_10 849 # ASSIGN : s_10_11 589 # ASSIGN : s_10_12 322 # ASSIGN : s_10_13 823 # ASSIGN : s_10_14 100 # ASSIGN : s_10_15 800 # ASSIGN : s_10_16 973 # ASSIGN : s_10_17 304 # ASSIGN : s_10_18 918 # ASSIGN : s_10_19 1130 # ASSIGN : s_11_0 972 # ASSIGN : s_11_1 604 # ASSIGN : s_11_2 1002 # ASSIGN : s_11_3 741 # ASSIGN : s_11_4 917 # ASSIGN : s_11_5 782 # ASSIGN : s_11_6 43 # ASSIGN : s_11_7 535 # ASSIGN : s_11_8 0 # ASSIGN : s_11_9 480 # ASSIGN : s_11_10 181 # ASSIGN : s_11_11 1169 # ASSIGN : s_11_12 659 # ASSIGN : s_11_13 1061 # ASSIGN : s_11_14 123 # ASSIGN : s_11_15 883 # ASSIGN : s_11_16 232 # ASSIGN : s_11_17 431 # ASSIGN : s_11_18 321 # ASSIGN : s_11_19 406 # ASSIGN : s_12_0 1075 # ASSIGN : s_12_1 652 # ASSIGN : s_12_2 887 # ASSIGN : s_12_3 383 # ASSIGN : s_12_4 1055 # ASSIGN : s_12_5 142 # ASSIGN : s_12_6 769 # ASSIGN : s_12_7 916 # ASSIGN : s_12_8 1183 # ASSIGN : s_12_9 167 # ASSIGN : s_12_10 637 # ASSIGN : s_12_11 735 # ASSIGN : s_12_12 507 # ASSIGN : s_12_13 258 # ASSIGN : s_12_14 338 # ASSIGN : s_12_15 47 # ASSIGN : s_12_16 15 # ASSIGN : s_12_17 967 # ASSIGN : s_12_18 809 # ASSIGN : s_12_19 982 # ASSIGN : s_13_0 326 # ASSIGN : s_13_1 0 # ASSIGN : s_13_2 703 # ASSIGN : s_13_3 1143 # ASSIGN : s_13_4 379 # ASSIGN : s_13_5 178 # ASSIGN : s_13_6 638 # ASSIGN : s_13_7 843 # ASSIGN : s_13_8 1127 # ASSIGN : s_13_9 942 # ASSIGN : s_13_10 910 # ASSIGN : s_13_11 238 # ASSIGN : s_13_12 1033 # ASSIGN : s_13_13 102 # ASSIGN : s_13_14 567 # ASSIGN : s_13_15 388 # ASSIGN : s_13_16 91 # ASSIGN : s_13_17 774 # ASSIGN : s_13_18 892 # ASSIGN : s_13_19 472 # ASSIGN : s_14_0 1003 # ASSIGN : s_14_1 903 # ASSIGN : s_14_2 1166 # ASSIGN : s_14_3 785 # ASSIGN : s_14_4 987 # ASSIGN : s_14_5 0 # ASSIGN : s_14_6 601 # ASSIGN : s_14_7 444 # ASSIGN : s_14_8 46 # ASSIGN : s_14_9 556 # ASSIGN : s_14_10 808 # ASSIGN : s_14_11 414 # ASSIGN : s_14_12 99 # ASSIGN : s_14_13 838 # ASSIGN : s_14_14 742 # ASSIGN : s_14_15 677 # ASSIGN : s_14_16 135 # ASSIGN : s_14_17 1078 # ASSIGN : s_14_18 238 # ASSIGN : s_14_19 322 # ASSIGN : s_15_0 1174 # ASSIGN : s_15_1 466 # ASSIGN : s_15_2 489 # ASSIGN : s_15_3 212 # ASSIGN : s_15_4 1069 # ASSIGN : s_15_5 998 # ASSIGN : s_15_6 1083 # ASSIGN : s_15_7 989 # ASSIGN : s_15_8 376 # ASSIGN : s_15_9 802 # ASSIGN : s_15_10 720 # ASSIGN : s_15_11 862 # ASSIGN : s_15_12 150 # ASSIGN : s_15_13 669 # ASSIGN : s_15_14 877 # ASSIGN : s_15_15 581 # ASSIGN : s_15_16 31 # ASSIGN : s_15_17 936 # ASSIGN : s_15_18 1096 # ASSIGN : s_15_19 124 # ASSIGN : s_16_0 187 # ASSIGN : s_16_1 124 # ASSIGN : s_16_2 924 # ASSIGN : s_16_3 1015 # ASSIGN : s_16_4 704 # ASSIGN : s_16_5 380 # ASSIGN : s_16_6 1107 # ASSIGN : s_16_7 1054 # ASSIGN : s_16_8 279 # ASSIGN : s_16_9 827 # ASSIGN : s_16_10 0 # ASSIGN : s_16_11 1058 # ASSIGN : s_16_12 763 # ASSIGN : s_16_13 455 # ASSIGN : s_16_14 645 # ASSIGN : s_16_15 512 # ASSIGN : s_16_16 1144 # ASSIGN : s_16_17 573 # ASSIGN : s_16_18 613 # ASSIGN : s_16_19 94 # ASSIGN : s_17_0 296 # ASSIGN : s_17_1 70 # ASSIGN : s_17_2 630 # ASSIGN : s_17_3 920 # ASSIGN : s_17_4 1175 # ASSIGN : s_17_5 225 # ASSIGN : s_17_6 301 # ASSIGN : s_17_7 7 # ASSIGN : s_17_8 460 # ASSIGN : s_17_9 1123 # ASSIGN : s_17_10 110 # ASSIGN : s_17_11 146 # ASSIGN : s_17_12 543 # ASSIGN : s_17_13 1182 # ASSIGN : s_17_14 370 # ASSIGN : s_17_15 1008 # ASSIGN : s_17_16 824 # ASSIGN : s_17_17 1049 # ASSIGN : s_17_18 551 # ASSIGN : s_17_19 726 # ASSIGN : s_18_0 613 # ASSIGN : s_18_1 225 # ASSIGN : s_18_2 827 # ASSIGN : s_18_3 881 # ASSIGN : s_18_4 1140 # ASSIGN : s_18_5 280 # ASSIGN : s_18_6 518 # ASSIGN : s_18_7 147 # ASSIGN : s_18_8 799 # ASSIGN : s_18_9 723 # ASSIGN : s_18_10 1167 # ASSIGN : s_18_11 688 # ASSIGN : s_18_12 1011 # ASSIGN : s_18_13 388 # ASSIGN : s_18_14 1041 # ASSIGN : s_18_15 929 # ASSIGN : s_18_16 464 # ASSIGN : s_18_17 0 # ASSIGN : s_18_18 97 # ASSIGN : s_18_19 578 # ASSIGN : s_19_0 538 # ASSIGN : s_19_1 436 # ASSIGN : s_19_2 1136 # ASSIGN : s_19_3 144 # ASSIGN : s_19_4 1150 # ASSIGN : s_19_5 45 # ASSIGN : s_19_6 840 # ASSIGN : s_19_7 1166 # ASSIGN : s_19_8 212 # ASSIGN : s_19_9 626 # ASSIGN : s_19_10 1011 # ASSIGN : s_19_11 467 # ASSIGN : s_19_12 966 # ASSIGN : s_19_13 334 # ASSIGN : s_19_14 744 # ASSIGN : s_19_15 2 # ASSIGN : s_19_16 1090 # ASSIGN : s_19_17 1032 # ASSIGN : s_19_18 1202 # ASSIGN : s_19_19 911 SHOW_RESULT 1241 END : 1241 (5 seconds) [Mon Jun 19 17:08:04 2006] SHOW_RESULT 1241 CPU : 4.90000000000018 = 4.80000000000018 + 0.0999999999999996 + 0 + 0 # BOUND : makespan 1241 1241 MAIN END : (3564 seconds) [Mon Jun 19 17:08:04 2006] MAIN CPU : 3559.46 = 1199.68 + 7.04 + 2315.63 + 37.11