# TIMEOUT 18000 MAIN BEGIN : [Sun Jun 18 19:47:56 2006] READ BEGIN : csp/j3-per20-1.csp [Sun Jun 18 19:47:56 2006] READ END : csp/j3-per20-1.csp (0 seconds) [Sun Jun 18 19:47:56 2006] READ CPU : 0.05 = 0.05 + 0 + 0 + 0 # BOUND : makespan 1000 1018 GENERATE_CNF 1018 BEGIN : [Sun Jun 18 19:47:56 2006] GENERATE_CNF 1018 END : 9245 variables 35496 clauses 610244 bytes (1 seconds) [Sun Jun 18 19:47:57 2006] GENERATE_CNF 1018 CPU : 1.24 = 1.24 + 0 + 0 + 0 MODIFY_CNF 1009 BEGIN : [Sun Jun 18 19:47:57 2006] MODIFY_CNF 1009 END : 610249 bytes (0 seconds) [Sun Jun 18 19:47:57 2006] MODIFY_CNF 1009 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1009 BEGIN : [Sun Jun 18 19:47:57 2006] CMD : minisat /tmp/csp2sat13599.cnf /tmp/csp2sat13599.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 35068 96120 | 11689 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 1 (25 /sec) decisions : 15 (375 /sec) propagations : 10913 (272825 /sec) conflict literals : 2 (50.00 % deleted) Memory used : 3.13 MB CPU time : 0.04 s SATISFIABLE VERIFY_CNF 1009 END : (0 seconds) [Sun Jun 18 19:47:57 2006] VERIFY_CNF 1009 CPU : 0.05 = 0 + 0 + 0.04 + 0.01 # RESULT : makespan 1009 SATISFIABLE SHOW_RESULT 1009 BEGIN : [Sun Jun 18 19:47:57 2006] # ASSIGN : makespan 1009 # ASSIGN : s_0_0 355 # ASSIGN : s_0_1 91 # ASSIGN : s_0_2 659 # ASSIGN : s_1_0 591 # ASSIGN : s_1_1 415 # ASSIGN : s_1_2 123 # ASSIGN : s_2_0 9 # ASSIGN : s_2_1 573 # ASSIGN : s_2_2 367 SHOW_RESULT 1009 END : 1009 (0 seconds) [Sun Jun 18 19:47:57 2006] SHOW_RESULT 1009 CPU : 0.02 = 0.01 + 0.01 + 0 + 0 # BOUND : makespan 1000 1009 MODIFY_CNF 1004 BEGIN : [Sun Jun 18 19:47:57 2006] MODIFY_CNF 1004 END : 610248 bytes (0 seconds) [Sun Jun 18 19:47:57 2006] MODIFY_CNF 1004 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1004 BEGIN : [Sun Jun 18 19:47:57 2006] CMD : minisat /tmp/csp2sat13599.cnf /tmp/csp2sat13599.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 34888 95580 | 11629 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 1 (20 /sec) decisions : 14 (280 /sec) propagations : 10923 (218460 /sec) conflict literals : 2 (33.33 % deleted) Memory used : 3.10 MB CPU time : 0.05 s SATISFIABLE VERIFY_CNF 1004 END : (0 seconds) [Sun Jun 18 19:47:57 2006] VERIFY_CNF 1004 CPU : 0.06 = 0 + 0 + 0.06 + 0 # RESULT : makespan 1004 SATISFIABLE SHOW_RESULT 1004 BEGIN : [Sun Jun 18 19:47:57 2006] # ASSIGN : makespan 1004 # ASSIGN : s_0_0 350 # ASSIGN : s_0_1 86 # ASSIGN : s_0_2 654 # ASSIGN : s_1_0 586 # ASSIGN : s_1_1 410 # ASSIGN : s_1_2 118 # ASSIGN : s_2_0 4 # ASSIGN : s_2_1 568 # ASSIGN : s_2_2 362 SHOW_RESULT 1004 END : 1004 (0 seconds) [Sun Jun 18 19:47:57 2006] SHOW_RESULT 1004 CPU : 0.01 = 0.01 + 0 + 0 + 0 # BOUND : makespan 1000 1004 MODIFY_CNF 1002 BEGIN : [Sun Jun 18 19:47:57 2006] MODIFY_CNF 1002 END : 610248 bytes (0 seconds) [Sun Jun 18 19:47:57 2006] MODIFY_CNF 1002 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1002 BEGIN : [Sun Jun 18 19:47:57 2006] CMD : minisat /tmp/csp2sat13599.cnf /tmp/csp2sat13599.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 34816 95364 | 11605 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 1 (25 /sec) decisions : 13 (325 /sec) propagations : 10925 (273125 /sec) conflict literals : 2 (33.33 % deleted) Memory used : 3.10 MB CPU time : 0.04 s SATISFIABLE VERIFY_CNF 1002 END : (0 seconds) [Sun Jun 18 19:47:57 2006] VERIFY_CNF 1002 CPU : 0.05 = 0 + 0 + 0.04 + 0.01 # RESULT : makespan 1002 SATISFIABLE SHOW_RESULT 1002 BEGIN : [Sun Jun 18 19:47:57 2006] # ASSIGN : makespan 1002 # ASSIGN : s_0_0 348 # ASSIGN : s_0_1 84 # ASSIGN : s_0_2 652 # ASSIGN : s_1_0 584 # ASSIGN : s_1_1 408 # ASSIGN : s_1_2 116 # ASSIGN : s_2_0 2 # ASSIGN : s_2_1 566 # ASSIGN : s_2_2 360 SHOW_RESULT 1002 END : 1002 (0 seconds) [Sun Jun 18 19:47:57 2006] SHOW_RESULT 1002 CPU : 0.01 = 0.01 + 0 + 0 + 0 # BOUND : makespan 1000 1002 MODIFY_CNF 1001 BEGIN : [Sun Jun 18 19:47:57 2006] MODIFY_CNF 1001 END : 610248 bytes (0 seconds) [Sun Jun 18 19:47:57 2006] MODIFY_CNF 1001 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1001 BEGIN : [Sun Jun 18 19:47:57 2006] CMD : minisat /tmp/csp2sat13599.cnf /tmp/csp2sat13599.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 34780 95256 | 11593 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 1 (25 /sec) decisions : 13 (325 /sec) propagations : 10925 (273125 /sec) conflict literals : 2 (33.33 % deleted) Memory used : 3.10 MB CPU time : 0.04 s SATISFIABLE VERIFY_CNF 1001 END : (0 seconds) [Sun Jun 18 19:47:57 2006] VERIFY_CNF 1001 CPU : 0.05 = 0 + 0 + 0.04 + 0.01 # RESULT : makespan 1001 SATISFIABLE SHOW_RESULT 1001 BEGIN : [Sun Jun 18 19:47:57 2006] # ASSIGN : makespan 1001 # ASSIGN : s_0_0 347 # ASSIGN : s_0_1 83 # ASSIGN : s_0_2 651 # ASSIGN : s_1_0 583 # ASSIGN : s_1_1 407 # ASSIGN : s_1_2 115 # ASSIGN : s_2_0 1 # ASSIGN : s_2_1 565 # ASSIGN : s_2_2 359 SHOW_RESULT 1001 END : 1001 (0 seconds) [Sun Jun 18 19:47:57 2006] SHOW_RESULT 1001 CPU : 0.01 = 0.01 + 0 + 0 + 0 # BOUND : makespan 1000 1001 MODIFY_CNF 1000 BEGIN : [Sun Jun 18 19:47:57 2006] MODIFY_CNF 1000 END : 610248 bytes (0 seconds) [Sun Jun 18 19:47:57 2006] MODIFY_CNF 1000 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 1000 BEGIN : [Sun Jun 18 19:47:57 2006] CMD : minisat /tmp/csp2sat13599.cnf /tmp/csp2sat13599.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 34745 95148 | 11581 0 0 nan | 0.000 % | ============================================================================== restarts : 1 conflicts : 1 (25 /sec) decisions : 12 (300 /sec) propagations : 10925 (273125 /sec) conflict literals : 2 (33.33 % deleted) Memory used : 3.10 MB CPU time : 0.04 s SATISFIABLE VERIFY_CNF 1000 END : (0 seconds) [Sun Jun 18 19:47:57 2006] VERIFY_CNF 1000 CPU : 0.05 = 0 + 0 + 0.05 + 0 # RESULT : makespan 1000 SATISFIABLE SHOW_RESULT 1000 BEGIN : [Sun Jun 18 19:47:57 2006] # ASSIGN : makespan 1000 # ASSIGN : s_0_0 346 # ASSIGN : s_0_1 82 # ASSIGN : s_0_2 650 # ASSIGN : s_1_0 582 # ASSIGN : s_1_1 406 # ASSIGN : s_1_2 114 # ASSIGN : s_2_0 0 # ASSIGN : s_2_1 564 # ASSIGN : s_2_2 358 SHOW_RESULT 1000 END : 1000 (0 seconds) [Sun Jun 18 19:47:57 2006] SHOW_RESULT 1000 CPU : 0.01 = 0.01 + 0 + 0 + 0 # BOUND : makespan 1000 1000 MAIN END : (1 seconds) [Sun Jun 18 19:47:57 2006] MAIN CPU : 1.63 = 1.35 + 0.02 + 0.23 + 0.03