#BEGIN: [Mon Sep 4 13:13:33 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance016_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance016_graph002_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na /benchmark/random_instance/random_instance016_graph002.col /benchmark/random_instance/random_instance016_graph002_01.dat c /benchmark/random_instance/random_instance016_graph002.col c /benchmark/random_instance/random_instance016_graph002_01.dat *** Info : (clingo): INTERRUPTED by signal! s 191 98 164 150 157 39 128 50 123 124 202 19 105 69 138 22 175 64 110 63 73 91 97 62 141 188 112 38 177 74 71 85 113 137 180 176 35 148 144 60 40 190 121 108 129 4 48 194 77 104 153 115 59 125 84 43 42 139 58 82 111 156 200 192 96 45 t 175 204 195 34 166 171 164 69 121 156 95 191 138 55 206 154 91 193 117 64 155 174 126 32 90 6 97 94 152 103 139 7 71 11 49 107 192 199 134 137 59 148 168 147 38 118 186 198 81 180 162 63 48 105 88 123 106 111 101 165 119 45 158 120 47 114 a YES a 4 19 22 35 38 39 40 42 43 45 48 50 58 59 60 62 63 64 69 71 73 74 77 82 84 85 91 96 97 98 104 105 108 110 111 112 113 115 121 123 124 125 128 129 137 138 139 141 144 148 150 153 156 157 164 175 176 177 180 188 190 191 192 194 200 202 a 4 12 19 22 35 38 39 40 42 43 45 48 50 58 59 60 62 63 69 71 73 74 77 82 84 85 91 96 97 98 104 105 108 110 111 112 113 115 121 123 124 125 128 129 137 138 139 141 144 148 150 153 156 157 164 175 176 177 180 188 190 191 192 194 200 202 a 4 12 19 22 35 38 39 40 42 43 48 50 58 59 60 62 63 69 71 73 74 77 82 84 85 91 96 97 98 104 105 108 110 111 112 113 115 121 123 124 125 128 129 137 138 139 141 144 148 150 153 156 157 164 167 175 176 177 180 188 190 191 192 194 200 202 a 4 12 19 22 35 38 39 40 42 43 48 50 58 59 60 62 63 69 71 73 74 77 82 84 85 91 96 97 104 105 108 110 111 112 113 115 121 123 124 125 128 129 137 138 139 141 144 148 150 151 153 156 157 164 167 175 176 177 180 188 190 191 192 194 200 202 a 4 12 19 22 35 38 39 40 42 43 48 50 58 59 60 62 63 69 71 73 74 77 82 84 85 91 96 97 104 105 108 110 111 112 113 115 121 123 124 125 128 129 136 137 138 141 144 148 150 151 153 156 157 164 167 175 176 177 180 188 190 191 192 194 200 202 a 4 12 19 22 35 38 39 40 42 43 48 50 58 59 60 62 63 69 71 73 74 77 82 84 85 91 96 97 98 104 105 108 110 111 112 113 115 121 123 124 125 128 129 136 137 138 141 144 148 150 153 156 157 164 167 175 176 177 180 188 190 191 192 194 200 202 a 4 12 19 22 38 39 40 42 43 48 49 50 58 59 60 62 63 69 71 73 74 77 82 84 85 91 96 97 98 104 105 108 110 111 112 113 115 121 123 124 125 128 129 136 137 138 141 144 148 150 153 156 157 164 167 175 176 177 180 188 190 191 192 194 200 202 a 4 12 19 22 30 38 39 40 42 43 48 49 50 58 59 60 62 63 69 71 73 74 77 82 84 85 91 96 97 98 104 105 108 110 111 112 113 121 123 124 125 128 129 136 137 138 141 144 148 150 153 156 157 164 167 175 176 177 180 188 190 191 192 194 200 202 a 4 12 19 22 30 38 39 40 42 43 48 49 50 58 59 60 62 63 69 71 73 74 77 82 84 85 91 96 97 98 104 105 108 110 111 113 121 123 124 125 128 129 136 137 138 141 144 145 148 150 153 156 157 164 167 175 176 177 180 188 190 191 192 194 200 202 a 4 12 19 22 30 38 39 40 42 43 48 49 50 58 59 60 62 63 69 71 73 74 77 82 85 91 96 97 98 104 105 108 110 111 113 118 121 123 124 125 128 129 136 137 138 141 144 145 148 150 153 156 157 164 167 175 176 177 180 188 190 191 192 194 200 202 a 4 12 19 22 30 38 39 40 42 43 48 49 50 58 59 60 62 63 69 71 73 74 77 85 91 96 97 98 104 105 108 110 111 113 118 121 123 124 125 128 129 136 137 138 141 144 145 148 150 153 156 157 164 167 175 176 177 179 180 188 190 191 192 194 200 202 a 1 4 12 19 22 30 38 39 40 42 43 48 49 50 58 59 60 62 63 69 71 73 74 77 85 96 97 98 104 105 108 110 111 113 118 121 123 124 125 128 129 136 137 138 141 144 145 148 150 153 156 157 164 167 175 176 177 179 180 188 190 191 192 194 200 202 a 1 4 12 19 22 30 38 39 40 42 43 48 49 50 58 59 60 62 63 69 71 73 74 77 85 96 97 98 104 105 108 110 111 113 118 121 123 125 128 129 136 137 138 141 142 144 145 148 150 153 156 157 164 167 175 176 177 179 180 188 190 191 192 194 200 202 a 1 4 12 15 19 22 30 38 39 40 42 43 48 49 50 58 59 60 62 63 69 71 73 74 77 85 96 97 98 104 105 108 110 111 113 118 121 123 125 128 129 136 137 138 141 142 144 145 148 150 153 157 164 167 175 176 177 179 180 188 190 191 192 194 200 202 a 1 4 12 15 19 22 30 38 39 40 42 43 48 49 50 58 59 60 62 63 69 71 73 74 77 85 96 97 98 101 104 105 108 110 111 113 118 121 123 125 128 129 136 137 138 141 142 145 148 150 153 157 164 167 175 176 177 179 180 188 190 191 192 194 200 202 a 1 4 12 15 19 22 30 38 39 42 43 48 49 50 58 59 60 62 63 69 71 73 74 77 85 96 97 98 101 104 105 108 110 111 113 117 118 121 123 125 128 129 136 137 138 141 142 145 148 150 153 157 164 167 175 176 177 179 180 188 190 191 192 194 200 202 a 1 4 12 15 19 22 30 38 39 42 43 48 49 50 58 59 60 62 63 69 71 74 77 85 96 97 98 101 104 105 108 110 111 113 117 118 121 123 125 128 129 136 137 138 141 142 145 148 150 153 156 157 164 167 175 176 177 179 180 188 190 191 192 194 200 202 a 1 4 12 15 19 22 30 38 39 40 42 43 48 49 50 58 59 60 62 63 69 71 74 77 85 96 97 98 101 104 105 108 110 111 113 118 121 123 125 128 129 136 137 138 141 142 145 148 150 153 156 157 164 167 175 176 177 179 180 188 190 191 192 194 200 202 a 1 4 12 15 19 22 30 39 40 42 43 48 49 50 58 59 60 62 63 69 71 73 74 77 85 96 97 98 101 104 105 108 110 111 113 118 121 123 125 128 129 136 137 138 141 142 145 148 150 153 156 157 164 167 175 176 177 179 180 188 190 191 192 194 200 202 a 1 4 12 15 19 22 30 39 40 42 43 48 49 50 58 59 60 62 63 69 71 73 74 77 85 96 97 98 101 104 105 108 110 111 113 118 120 121 123 125 128 129 136 137 138 142 145 148 150 153 156 157 164 167 175 176 177 179 180 188 190 191 192 194 200 202 a 1 4 12 15 19 22 30 39 40 42 43 48 49 50 58 59 60 62 63 69 71 73 74 77 85 96 97 98 101 104 105 108 110 111 113 117 118 120 121 123 125 128 129 136 137 138 142 145 148 150 153 157 164 167 175 176 177 179 180 188 190 191 192 194 200 202 a 1 4 7 12 15 19 22 30 39 40 42 43 48 49 50 58 59 60 62 63 69 71 73 74 77 85 97 98 101 104 105 108 110 111 113 117 118 120 121 123 125 128 129 136 137 138 142 145 148 150 153 157 164 167 175 176 177 179 180 188 190 191 192 194 200 202 a 1 4 7 12 15 19 22 30 38 39 42 43 48 49 50 58 59 60 62 63 69 71 73 74 77 85 97 98 101 104 105 108 110 111 113 117 118 120 121 123 125 128 129 136 137 138 142 145 148 150 153 157 164 167 175 176 177 179 180 188 190 191 192 194 200 202 a 1 4 7 12 15 19 22 30 38 39 42 43 48 49 50 58 59 60 62 63 69 71 74 77 85 97 98 101 104 105 108 110 111 113 117 118 120 121 123 125 128 129 136 137 138 142 145 148 150 153 156 157 164 167 175 176 177 179 180 188 190 191 192 194 200 202 a 1 4 7 12 15 19 22 30 38 39 42 43 45 48 49 50 58 59 60 62 63 69 71 74 77 85 97 98 101 104 105 108 110 111 113 117 118 120 121 123 125 128 129 137 138 142 145 148 150 153 156 157 164 167 175 176 177 179 180 188 190 191 192 194 200 202 a 1 4 7 12 15 19 22 30 38 39 42 43 45 48 49 50 58 59 60 62 63 69 71 74 77 85 97 101 104 105 108 110 111 113 117 118 120 121 123 125 128 129 137 138 139 142 145 148 150 153 156 157 164 167 175 176 177 179 180 188 190 191 192 194 200 202 a 1 4 7 12 15 19 22 30 38 39 42 43 45 48 49 50 58 59 60 62 63 69 71 74 77 85 97 101 104 105 108 111 113 117 118 120 121 123 125 126 128 129 137 138 139 142 145 148 150 153 156 157 164 167 175 176 177 179 180 188 190 191 192 194 200 202 a 1 4 7 12 15 19 22 30 38 39 42 43 45 48 49 50 58 59 60 62 63 69 71 74 77 85 94 97 101 104 105 108 111 113 117 118 120 121 123 125 126 128 129 137 138 139 142 145 148 150 153 156 157 164 167 175 177 179 180 188 190 191 192 194 200 202 a 1 4 6 7 12 15 19 22 30 38 42 43 45 48 49 50 58 59 60 62 63 69 71 74 77 85 94 97 101 104 105 108 111 113 117 118 120 121 123 125 126 128 129 137 138 139 142 145 148 150 153 156 157 164 167 175 177 179 180 188 190 191 192 194 200 202 a 1 4 6 7 12 15 19 22 30 38 42 43 45 48 49 50 58 59 60 62 63 69 71 74 77 85 94 97 101 104 105 108 111 113 117 118 120 121 123 125 126 128 134 137 138 139 142 145 148 150 153 156 157 164 167 175 177 179 180 188 190 191 192 194 200 202 a 1 4 6 7 12 15 19 22 30 38 42 43 45 48 49 58 59 60 62 63 69 71 74 77 85 94 97 101 104 105 106 108 111 113 117 118 120 121 123 125 126 128 134 137 138 139 142 145 148 150 153 156 157 164 167 175 177 179 180 188 190 191 192 194 200 202 a 1 4 6 7 12 19 22 30 38 42 43 45 48 49 58 59 60 62 63 69 71 74 77 85 94 97 101 104 105 106 108 111 113 117 118 120 121 123 125 126 128 134 137 138 139 142 145 148 150 153 156 157 164 167 175 177 179 180 186 188 190 191 192 194 200 202 a 1 4 6 7 11 12 19 22 30 38 42 43 45 48 49 58 59 60 62 63 69 71 74 77 85 94 97 101 104 105 106 108 111 113 117 118 120 121 123 125 126 128 134 137 138 139 142 145 148 150 153 156 157 164 167 175 177 179 180 186 188 190 191 192 194 200 a 1 4 6 7 11 12 19 22 30 38 42 43 45 48 49 58 59 60 62 63 69 71 74 77 85 94 97 101 104 105 106 108 111 113 117 118 120 121 123 125 126 128 134 137 138 139 145 147 148 150 153 156 157 164 167 175 177 179 180 186 188 190 191 192 194 200 a 1 4 6 7 11 12 19 22 30 38 42 43 45 48 49 58 59 60 62 63 69 71 74 77 85 94 97 101 104 105 106 108 111 113 117 118 120 121 123 125 126 128 134 137 138 139 145 147 148 150 153 156 164 167 175 177 179 180 186 188 190 191 192 194 198 200 a 4 6 7 11 12 19 22 30 38 42 43 45 48 49 58 59 60 62 63 69 71 74 77 85 91 94 97 101 104 105 106 108 111 113 117 118 120 121 123 125 126 128 134 137 138 139 145 147 148 150 153 156 164 167 175 177 179 180 186 188 190 191 192 194 198 200 a 4 6 7 11 12 19 22 30 38 42 43 45 48 49 58 59 60 62 63 69 71 74 77 85 91 94 97 101 104 105 106 108 111 113 117 118 120 121 123 125 126 128 134 137 138 139 145 147 148 150 152 153 156 164 167 175 177 179 180 186 190 191 192 194 198 200 a 4 6 7 11 12 19 22 30 38 42 43 45 48 49 58 59 60 62 63 69 71 74 77 85 91 94 97 101 104 105 106 108 111 113 117 118 120 121 123 125 126 128 134 137 138 139 145 147 148 150 152 156 164 167 168 175 177 179 180 186 190 191 192 194 198 200 a 4 6 7 11 12 19 22 38 42 43 45 48 49 58 59 60 62 63 69 71 74 77 85 91 94 95 97 101 104 105 106 108 111 113 117 118 120 121 123 125 126 128 134 137 138 139 145 147 148 150 152 156 164 167 168 175 177 179 180 186 190 191 192 194 198 200 a 4 6 7 11 12 19 22 38 42 43 45 48 49 58 59 60 62 63 69 71 74 85 90 91 94 95 97 101 104 105 106 108 111 113 117 118 120 121 123 125 126 128 134 137 138 139 145 147 148 150 152 156 164 167 168 175 177 179 180 186 190 191 192 194 198 200 a 4 6 7 11 12 19 22 38 43 45 48 49 58 59 60 62 63 69 71 74 85 90 91 94 95 97 101 104 105 106 108 111 113 117 118 120 121 123 125 126 128 134 137 138 139 145 147 148 150 152 156 162 164 167 168 175 177 179 180 186 190 191 192 194 198 200 a 4 6 7 11 19 22 38 43 45 48 49 58 59 60 62 63 69 71 74 85 90 91 94 95 97 101 104 105 106 108 111 113 117 118 120 121 123 125 126 128 134 137 138 139 145 147 148 150 152 156 162 164 167 168 175 177 179 180 186 190 191 192 194 198 200 204 a 4 6 7 11 19 22 38 43 45 48 49 58 59 60 62 63 69 71 74 85 90 91 94 95 97 101 105 106 108 111 113 117 118 119 120 121 123 125 126 128 134 137 138 139 145 147 148 150 152 156 162 164 167 168 175 177 179 180 186 190 191 192 194 198 200 204 a 4 6 7 11 19 38 43 45 48 49 58 59 60 62 63 69 71 74 85 90 91 94 95 97 101 105 106 108 111 113 117 118 119 120 121 123 125 126 128 134 137 138 139 145 147 148 150 152 156 162 164 167 168 171 175 177 179 180 186 190 191 192 194 198 200 204 a 4 6 7 11 19 38 43 45 48 49 59 60 62 63 69 71 74 85 90 91 94 95 97 101 105 106 108 111 113 117 118 119 120 121 123 125 126 128 134 137 138 139 145 147 148 150 152 156 162 164 167 168 171 175 177 179 180 186 190 191 192 194 198 199 200 204 a 6 7 11 19 38 43 45 48 49 59 60 62 63 69 71 74 85 88 90 91 94 95 97 101 105 106 108 111 113 117 118 119 120 121 123 125 126 128 134 137 138 139 145 147 148 150 152 156 162 164 167 168 171 175 177 179 180 186 190 191 192 194 198 199 200 204 a 6 7 11 19 38 43 45 48 49 59 60 62 63 69 71 74 85 88 90 91 94 95 97 101 105 106 108 111 117 118 119 120 121 123 125 126 128 134 137 138 139 145 147 148 150 152 154 156 162 164 167 168 171 175 177 179 180 186 190 191 192 194 198 199 200 204 a 6 7 11 19 32 38 43 45 48 49 59 60 62 63 69 71 74 85 88 90 91 94 95 97 101 105 106 108 111 117 118 119 120 121 123 125 126 128 134 137 138 139 145 147 148 152 154 156 162 164 167 168 171 175 177 179 180 186 190 191 192 194 198 199 200 204 a 6 7 11 19 32 38 45 48 49 59 60 62 63 69 71 74 85 88 90 91 94 95 97 101 105 106 108 111 117 118 119 120 121 123 125 126 128 134 137 138 139 145 147 148 152 154 156 162 164 167 168 171 175 177 179 180 186 190 191 192 194 198 199 200 204 206 a 6 7 11 19 32 38 45 48 49 59 60 62 63 69 71 74 85 88 90 91 94 95 97 101 105 106 107 108 111 117 118 119 120 121 123 125 126 128 134 137 138 139 145 147 148 152 154 156 162 164 167 168 171 175 179 180 186 190 191 192 194 198 199 200 204 206 a 6 7 11 19 32 38 45 48 49 59 60 62 63 69 71 74 88 90 91 94 95 97 101 105 106 107 108 111 117 118 119 120 121 123 125 126 128 134 137 138 139 145 147 148 152 154 156 162 164 167 168 171 175 179 180 186 190 191 192 193 194 198 199 200 204 206 a 6 7 11 19 32 38 45 48 49 59 60 62 63 64 69 71 74 88 90 91 94 95 97 101 105 106 107 108 111 117 118 119 120 121 123 125 126 128 134 137 138 139 145 147 148 152 154 156 162 164 168 171 175 179 180 186 190 191 192 193 194 198 199 200 204 206 a 6 7 11 19 32 38 45 48 49 59 60 62 63 64 69 71 74 88 90 91 94 95 97 101 105 106 107 108 111 117 118 119 120 121 123 125 126 128 134 137 138 139 145 147 148 152 154 156 162 164 168 171 175 179 180 186 190 191 192 193 195 198 199 200 204 206 a 6 7 11 19 32 38 45 48 49 59 60 62 63 64 69 71 74 88 90 91 94 95 97 101 105 106 107 108 111 117 118 119 120 121 123 125 126 134 137 138 139 145 147 148 152 154 156 162 164 166 168 171 175 179 180 186 190 191 192 193 195 198 199 200 204 206 a 6 7 11 32 38 45 48 49 59 60 62 63 64 69 71 74 88 90 91 94 95 97 101 105 106 107 108 111 117 118 119 120 121 123 125 126 134 137 138 139 145 147 148 152 154 156 158 162 164 166 168 171 175 179 180 186 190 191 192 193 195 198 199 200 204 206 a 6 7 11 32 38 45 48 49 59 60 62 63 64 69 71 74 88 90 91 94 95 97 101 103 105 106 107 108 111 117 118 119 120 121 123 125 126 134 137 138 139 147 148 152 154 156 158 162 164 166 168 171 175 179 180 186 190 191 192 193 195 198 199 200 204 206 a 6 7 11 32 38 45 47 48 49 59 60 62 63 64 69 71 74 88 90 91 94 95 97 101 103 105 106 107 108 111 117 118 119 120 121 123 125 126 134 137 138 139 147 148 152 154 156 158 162 164 166 168 171 175 179 180 186 191 192 193 195 198 199 200 204 206 a 6 7 11 32 38 45 47 48 49 59 60 63 64 69 71 74 88 90 91 94 95 97 101 103 105 106 107 108 111 117 118 119 120 121 123 125 126 134 137 138 139 147 148 152 154 155 156 158 162 164 166 168 171 175 179 180 186 191 192 193 195 198 199 200 204 206 a 6 7 11 32 38 45 47 48 49 59 60 63 64 69 71 74 88 90 91 94 95 97 101 103 105 106 107 111 114 117 118 119 120 121 123 125 126 134 137 138 139 147 148 152 154 155 156 158 162 164 166 168 171 175 179 180 186 191 192 193 195 198 199 200 204 206 a 6 7 11 32 38 45 47 48 49 55 59 60 63 64 69 71 74 88 90 91 94 95 97 101 103 105 106 107 111 114 117 118 119 120 121 123 126 134 137 138 139 147 148 152 154 155 156 158 162 164 166 168 171 175 179 180 186 191 192 193 195 198 199 200 204 206 a 6 7 11 32 38 45 47 48 49 55 59 60 63 64 69 71 74 88 90 91 94 95 97 101 103 105 106 107 111 114 117 118 119 120 121 123 126 134 137 138 139 147 148 152 154 155 156 158 162 164 165 166 168 171 175 179 180 186 191 192 193 195 198 199 204 206 a 6 7 11 32 38 45 47 48 49 55 59 63 64 69 71 74 88 90 91 94 95 97 101 103 105 106 107 111 114 117 118 119 120 121 123 126 134 137 138 139 147 148 152 154 155 156 158 162 164 165 166 168 171 174 175 179 180 186 191 192 193 195 198 199 204 206 a 6 7 11 32 34 38 45 47 48 49 55 59 63 64 69 71 74 88 90 91 94 95 97 101 103 105 106 107 111 114 117 118 119 120 121 123 126 134 137 138 139 147 148 152 154 155 156 158 162 164 165 166 168 171 174 175 180 186 191 192 193 195 198 199 204 206 a 6 7 11 32 34 38 45 47 48 49 55 59 63 64 69 71 81 88 90 91 94 95 97 101 103 105 106 107 111 114 117 118 119 120 121 123 126 134 137 138 139 147 148 152 154 155 156 158 162 164 165 166 168 171 174 175 180 186 191 192 193 195 198 199 204 206 c Step: 63 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance016_graph002.col /benchmark/random_instance/random_instance016_graph002_01.dat" User time (seconds): 163.19 System time (seconds): 2.70 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 2:45.90 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): 9860636 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 3157220 Voluntary context switches: 28 Involuntary context switches: 903 Swaps: 0 File system inputs: 0 File system outputs: 424 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 13:16:19 2023]