c #BEGIN: [Thu Mar 17 11:43:03 2022] c #HOST: mini15.local c #TIMELIMIT: 18000 c #MEMLIMIT: 0 c #FREQ: 10 c #SOLVER: isr-bug-finder c #CSP: benchmark/graph-instance/core-challenge-2022/color04/anna.col benchmark/graph-instance/core-challenge-2022/color04/anna_02.dat c #COMMAND: /Users/soh/app/scala-2.12.4/bin/scala -J-Xms16g -J-Xmx16g -cp /Users/soh/app/IsrForCompetition220315-22h16m/scop.jar:/Users/soh/app/IsrForCompetition220315-22h16m/isr4competition_2.12-1.3.5.jar fun.scop.app.isr.IsrSolverTj03 benchmark/graph-instance/core-challenge-2022/color04/anna.col benchmark/graph-instance/core-challenge-2022/color04/anna_02.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical c (0) step 1 UNSAT 828 2912 c (0) step 2 UNSAT 1517 5194 c (0) step 3 UNSAT 2206 7476 c (0) step 4 UNSAT 2895 9758 c (0) step 5 UNSAT 3584 12040 c (0) step 6 UNSAT 4273 14322 c (0) step 7 UNSAT 4962 16604 c (0) step 8 UNSAT 5651 18886 c (1) step 9 UNSAT 6340 21168 c (2) step 10 UNSAT 7029 23450 c (4) step 11 UNSAT 7718 25732 c (9) step 12 UNSAT 8407 28014 c (9) step 13 SAT 9096 30296 a YES a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 37 38 39 41 43 44 46 47 48 52 55 56 58 59 62 63 65 66 67 69 71 75 76 79 80 82 87 88 90 91 93 94 96 101 102 103 104 105 107 108 110 111 112 113 114 117 118 119 121 124 125 128 129 131 132 134 137 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 37 38 39 41 43 44 46 47 48 52 55 56 58 59 62 63 65 66 67 69 71 75 76 79 80 82 87 88 90 91 93 94 96 101 102 103 104 105 107 108 109 110 111 112 113 114 117 118 119 121 124 125 128 129 131 132 134 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 37 38 39 41 42 43 44 46 47 48 52 55 56 58 59 62 63 65 66 67 69 71 75 76 79 80 82 87 88 90 91 93 96 101 102 103 104 105 107 108 109 110 111 112 113 114 117 118 119 121 124 125 128 129 131 132 134 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 37 38 39 41 42 43 44 46 47 48 52 55 56 58 59 62 63 65 66 67 69 71 75 76 79 80 81 82 87 88 90 93 96 101 102 103 104 105 107 108 109 110 111 112 113 114 117 118 119 121 124 125 128 129 131 132 134 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 41 42 43 44 46 47 48 52 55 56 58 59 62 63 65 66 67 69 71 75 76 80 81 82 87 88 90 93 96 101 102 103 104 105 107 108 109 110 111 112 113 114 117 118 119 121 124 125 128 129 131 132 134 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 41 42 43 44 46 47 48 52 56 58 59 62 63 65 66 67 69 71 75 76 80 81 82 87 88 90 93 96 101 102 103 104 105 107 108 109 110 111 112 113 114 117 118 119 121 123 124 125 128 129 131 132 134 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 28 31 33 34 37 38 39 41 42 43 44 46 47 48 52 56 58 59 62 63 65 66 67 69 71 75 76 80 81 82 87 88 90 93 96 101 102 103 104 105 107 108 109 110 111 112 113 114 117 118 119 121 123 124 125 128 129 131 132 134 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 28 31 33 34 37 38 39 41 42 43 44 46 47 48 52 56 58 59 62 63 65 66 67 71 75 76 80 81 82 86 87 88 90 93 96 101 102 103 104 105 107 108 109 110 111 112 113 114 117 118 119 121 123 124 125 128 129 131 132 134 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 28 30 31 33 34 37 38 39 41 42 43 44 46 47 48 52 56 58 59 62 63 65 66 67 71 75 76 80 81 82 86 87 88 90 93 96 101 102 103 104 105 107 108 109 110 111 112 113 114 117 118 119 121 123 124 125 128 129 131 132 134 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 28 30 31 33 34 37 38 39 41 42 43 44 46 47 48 50 52 56 58 59 62 63 65 66 67 71 75 76 80 81 82 86 87 88 90 93 101 102 103 104 105 107 108 109 110 111 112 113 114 117 118 119 121 123 124 125 128 129 131 132 134 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 28 30 31 33 34 37 38 39 41 42 43 44 47 48 50 52 56 58 59 62 63 65 66 67 71 75 76 80 81 82 86 87 88 90 93 101 102 103 104 105 107 108 109 110 111 112 113 114 117 118 119 121 123 124 125 128 129 130 131 132 134 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 28 30 31 33 34 37 38 39 40 41 42 43 44 47 48 50 52 56 58 59 63 65 66 67 71 75 76 80 81 82 86 87 88 90 93 101 102 103 104 105 107 108 109 110 111 112 113 114 117 118 119 121 123 124 125 128 129 130 131 132 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 28 30 31 33 34 37 38 39 40 41 42 43 44 47 48 50 52 56 58 59 63 65 66 67 71 75 76 80 81 82 86 87 88 90 93 101 102 103 104 105 107 108 109 110 111 112 113 114 117 118 119 121 123 124 125 128 129 130 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 28 30 31 33 34 37 38 39 40 41 42 43 44 47 48 50 52 56 58 59 63 65 66 67 71 75 76 80 81 82 86 87 88 90 101 102 103 104 105 107 108 109 110 111 112 113 114 115 117 118 119 121 123 124 125 128 129 130 131 134 Command being timed: "/Users/soh/app/scala-2.12.4/bin/scala -J-Xms16g -J-Xmx16g -cp /Users/soh/app/IsrForCompetition220315-22h16m/scop.jar:/Users/soh/app/IsrForCompetition220315-22h16m/isr4competition_2.12-1.3.5.jar fun.scop.app.isr.IsrSolverTj03 benchmark/graph-instance/core-challenge-2022/color04/anna.col benchmark/graph-instance/core-challenge-2022/color04/anna_02.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical" User time (seconds): 11.55 System time (seconds): 0.16 Percent of CPU this job got: 108% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:10.81 Average shared text size (kbytes): 0 Average unshared data size (kbytes): 0 Average stack size (kbytes): 0 Average total size (kbytes): 0 Maximum resident set size (kbytes): 763707392 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 40 Minor (reclaiming a frame) page faults: 72452 Voluntary context switches: 40 Involuntary context switches: 3529 Swaps: 0 File system inputs: 0 File system outputs: 0 Socket messages sent: 41 Socket messages received: 0 Signals delivered: 6 Page size (bytes): 4096 Exit status: 0 c FINISHED CPU 11.71 MEM 0 MAXMEM 0 STALE 1 c #RESULT: UNK c #FIN: FIN c #CPU: 11.71 c #MAXMEM: 0 c c #END: [Thu Mar 17 11:43:14 2022]