#BEGIN: [Mon Sep 4 10:30:01 2023] #HOST: s11 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance016_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance016_graph004_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent /benchmark/random_instance/random_instance016_graph004.col /benchmark/random_instance/random_instance016_graph004_01.dat c /benchmark/random_instance/random_instance016_graph004.col c /benchmark/random_instance/random_instance016_graph004_01.dat *** Info : (clingo): INTERRUPTED by signal! s 192 67 41 24 56 68 205 141 100 202 145 105 109 159 64 36 121 179 20 35 203 28 18 6 75 60 77 186 136 74 37 92 134 148 48 152 178 59 138 129 163 95 180 89 208 16 190 161 166 111 155 139 168 10 183 57 164 54 65 87 104 47 42 81 120 26 t 185 22 139 88 15 34 36 154 120 37 132 31 141 163 180 6 118 69 164 203 62 39 93 95 66 4 32 183 104 49 175 186 159 116 190 157 18 26 147 46 67 79 91 109 17 208 197 124 121 40 74 16 89 176 129 178 195 94 87 123 57 125 54 196 59 8 a YES a 6 10 16 18 20 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 178 179 180 183 186 190 192 202 203 205 208 a 6 10 16 18 20 23 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 74 75 77 81 87 89 95 100 104 105 109 111 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 178 179 180 183 186 190 192 202 203 205 208 a 6 10 16 18 20 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 178 179 180 183 186 190 192 202 203 205 208 a 6 10 16 18 20 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 120 121 129 134 136 138 139 141 145 148 155 159 161 163 164 166 168 171 178 179 180 183 186 190 192 202 203 205 208 a 6 7 10 16 18 20 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 120 121 129 134 136 138 139 141 145 148 155 159 161 163 164 166 168 171 178 180 183 186 190 192 202 203 205 208 a 6 7 10 16 18 20 23 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 74 75 77 81 87 89 95 100 104 105 109 111 120 121 129 134 136 138 139 141 145 148 155 159 161 163 164 166 168 171 178 180 183 186 190 192 202 203 205 208 a 6 7 10 16 18 20 23 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 74 75 77 81 87 89 95 100 104 105 108 109 111 120 121 129 134 136 138 139 141 145 148 155 159 161 163 164 166 168 171 178 183 186 190 192 202 203 205 208 a 6 7 10 16 18 20 23 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 74 75 76 77 81 87 89 95 100 104 105 108 109 111 120 121 129 134 136 138 139 141 145 148 155 159 161 163 164 166 168 171 178 183 190 192 202 203 205 208 a 6 7 10 16 18 20 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 74 75 76 77 81 87 89 92 95 100 104 105 108 109 111 120 121 129 134 136 138 139 141 145 148 155 159 161 163 164 166 168 171 178 183 190 192 202 203 205 208 a 6 7 10 16 18 20 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 74 75 76 77 81 87 89 92 95 100 104 105 108 109 111 113 120 129 134 136 138 139 141 145 148 155 159 161 163 164 166 168 171 178 183 190 192 202 203 205 208 a 6 7 10 16 18 20 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 75 76 77 81 87 89 92 95 100 104 105 108 109 111 113 120 122 129 134 136 138 139 141 145 148 155 159 161 163 164 166 168 171 178 183 190 192 202 203 205 208 a 6 7 10 16 18 20 23 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 75 76 77 81 87 89 95 100 104 105 108 109 111 113 120 122 129 134 136 138 139 141 145 148 155 159 161 163 164 166 168 171 178 183 190 192 202 203 205 208 a 6 7 10 16 18 20 23 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 76 77 81 87 89 95 100 104 105 108 109 111 113 120 122 129 134 136 138 139 141 145 147 148 155 159 161 163 164 166 168 171 178 183 190 192 202 203 205 208 a 6 7 10 16 18 20 23 24 26 28 35 36 37 41 42 47 48 56 57 59 60 64 65 67 68 76 77 81 87 89 95 100 104 105 108 109 111 113 120 122 129 134 136 138 139 140 141 145 147 148 155 159 161 163 164 166 168 171 178 183 190 192 202 203 205 208 a 6 7 10 16 18 20 23 24 26 28 35 36 37 41 42 47 48 56 57 59 60 64 65 67 68 75 76 77 81 87 89 95 100 104 105 108 109 111 113 120 122 129 134 136 138 139 140 141 145 148 155 159 161 163 164 166 168 171 178 183 190 192 202 203 205 208 a 6 7 10 16 18 20 23 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 75 76 77 81 87 89 95 100 104 105 108 109 111 113 120 129 134 136 138 139 140 141 145 148 155 159 161 163 164 166 168 171 178 183 190 192 202 203 205 208 a 6 10 16 18 20 23 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 75 76 77 81 87 89 95 100 104 105 108 109 111 113 120 129 134 136 138 139 140 141 145 148 155 159 161 163 164 166 168 171 178 179 183 190 192 202 203 205 208 a 6 10 16 18 20 23 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 75 77 81 87 89 95 100 104 105 108 109 111 113 120 129 134 136 138 139 140 141 145 148 155 159 161 163 164 166 168 171 178 179 183 186 190 192 202 203 205 208 a 6 10 16 18 20 23 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 75 77 81 87 89 95 100 104 105 109 111 113 120 129 134 136 138 139 140 141 145 148 155 159 161 163 164 166 168 171 178 179 180 183 186 190 192 202 203 205 208 a 6 10 16 18 20 23 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 75 77 81 87 89 95 100 104 105 109 111 113 120 129 134 136 138 139 140 141 145 148 152 155 159 161 163 164 166 168 178 179 180 183 186 190 192 202 203 205 208 a 6 10 16 18 20 23 24 26 28 29 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 75 77 81 87 89 95 100 104 105 109 111 113 120 129 134 136 138 139 140 141 145 148 152 155 159 161 163 164 166 168 178 179 180 186 190 192 202 203 205 208 a 6 10 16 18 20 23 24 26 28 29 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 75 77 81 87 89 95 100 104 105 109 111 113 120 129 134 136 138 139 140 141 145 148 155 159 161 163 164 166 168 171 178 179 180 186 190 192 202 203 205 208 a 6 10 16 18 20 23 24 26 28 29 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 75 77 81 87 89 95 100 104 105 109 111 113 120 129 134 136 138 139 140 141 145 148 155 159 161 163 164 166 168 171 175 178 179 180 186 190 192 202 203 208 a 6 10 16 18 20 23 26 28 29 35 36 37 41 42 47 48 54 56 57 59 60 64 65 66 67 68 75 77 81 87 89 95 100 104 105 109 111 113 120 129 134 136 138 139 140 141 145 148 155 159 161 163 164 166 168 171 175 178 179 180 186 190 192 202 203 208 a 6 10 16 18 20 23 26 28 29 35 36 37 41 42 47 48 54 56 57 59 60 64 65 66 67 68 75 77 81 87 89 95 100 104 105 109 111 120 121 129 134 136 138 139 140 141 145 148 155 159 161 163 164 166 168 171 175 178 179 180 186 190 192 202 203 208 a 6 10 16 18 20 23 26 28 29 35 36 37 41 42 47 48 54 56 57 59 60 64 65 66 67 68 77 81 87 89 95 100 104 105 109 111 120 121 129 134 136 138 139 140 141 145 147 148 155 159 161 163 164 166 168 171 175 178 179 180 186 190 192 202 203 208 a 6 8 10 16 18 20 23 26 28 29 35 36 37 41 42 47 48 54 56 57 59 60 64 65 66 67 68 77 81 87 89 95 100 104 105 109 111 120 121 129 134 136 138 139 140 141 145 147 148 155 159 161 163 164 166 168 171 175 178 179 180 186 190 192 203 208 a 6 8 10 16 18 20 23 26 28 29 35 36 37 41 42 47 48 54 56 57 59 60 64 65 66 67 68 77 81 87 89 95 100 104 105 109 111 120 121 129 132 134 136 138 139 140 141 145 147 148 159 161 163 164 166 168 171 175 178 179 180 186 190 192 203 208 a 6 8 10 16 18 20 23 26 28 29 35 36 37 42 47 48 54 56 57 59 60 62 64 65 66 67 68 77 81 87 89 95 100 104 105 109 111 120 121 129 132 134 136 138 139 140 141 145 147 148 159 161 163 164 166 168 171 175 178 179 180 186 190 192 203 208 a 6 8 10 16 18 20 23 26 28 29 35 36 37 42 47 48 54 56 57 59 60 62 65 66 67 68 77 81 87 89 95 100 104 105 109 111 120 121 129 132 134 136 138 139 140 141 145 147 148 159 161 163 164 166 168 171 175 176 178 179 180 186 190 192 203 208 a 6 8 10 16 18 20 23 26 28 29 35 36 37 42 47 48 54 56 57 59 60 62 65 66 67 68 77 81 87 89 95 100 104 105 109 111 118 120 121 129 132 134 136 138 139 140 141 145 147 148 159 161 163 164 166 168 171 175 176 178 179 180 186 190 203 208 a 6 8 10 16 18 20 23 26 29 35 36 37 42 47 48 54 56 57 59 60 62 65 66 67 68 77 81 87 89 94 95 100 104 105 109 111 118 120 121 129 132 134 136 138 139 140 141 145 147 148 159 161 163 164 166 168 171 175 176 178 179 180 186 190 203 208 a 6 8 10 16 18 20 23 26 29 35 36 37 42 47 48 54 56 57 59 60 62 65 66 67 68 77 81 87 89 94 95 100 104 109 111 118 120 121 129 132 134 136 138 139 140 141 145 147 148 159 161 163 164 166 168 171 175 176 178 179 180 186 190 197 203 208 a 6 8 10 16 18 20 23 26 29 35 36 37 42 47 48 54 56 57 59 60 62 65 66 67 68 77 81 87 89 94 95 100 104 109 111 118 120 121 125 129 132 134 136 138 139 140 141 145 147 148 159 161 163 164 168 171 175 176 178 179 180 186 190 197 203 208 a 6 8 10 16 18 20 23 26 29 35 36 37 42 47 48 54 56 57 59 62 65 66 67 68 77 81 87 89 91 94 95 100 104 109 111 118 120 121 125 129 132 134 136 138 139 140 141 145 147 148 159 161 163 164 168 171 175 176 178 179 180 186 190 197 203 208 a 6 8 10 16 18 20 23 26 29 36 37 42 47 48 54 56 57 59 62 65 66 67 68 77 81 87 89 91 94 95 100 104 109 111 118 120 121 125 129 132 134 136 138 139 140 141 145 147 148 159 161 163 164 168 171 175 176 178 179 180 186 190 195 197 203 208 a 6 8 10 16 18 20 23 26 29 36 37 42 47 48 54 56 57 59 62 65 66 67 68 77 81 87 89 91 94 95 100 104 109 118 120 121 123 125 129 132 134 136 138 139 140 141 145 147 148 159 161 163 164 168 171 175 176 178 179 180 186 190 195 197 203 208 a 6 8 10 16 18 20 23 26 29 36 37 39 42 47 48 54 56 57 59 62 66 67 68 77 81 87 89 91 94 95 100 104 109 118 120 121 123 125 129 132 134 136 138 139 140 141 145 147 148 159 161 163 164 168 171 175 176 178 179 180 186 190 195 197 203 208 a 6 8 10 16 18 20 26 29 36 37 39 42 47 48 54 56 57 59 62 66 67 68 77 81 87 89 91 94 95 100 104 109 118 120 121 123 125 129 132 134 136 138 139 140 141 145 147 148 159 161 163 164 168 171 175 176 178 179 180 186 190 195 196 197 203 208 a 6 8 10 16 18 20 26 29 34 36 37 39 42 47 48 54 56 57 59 62 66 67 68 77 81 87 89 91 94 95 100 104 109 118 120 121 123 125 129 132 134 136 138 139 140 141 145 147 159 161 163 164 168 171 175 176 178 179 180 186 190 195 196 197 203 208 a 6 8 10 16 17 18 20 26 34 36 37 39 42 47 48 54 56 57 59 62 66 67 68 77 81 87 89 91 94 95 100 104 109 118 120 121 123 125 129 132 134 136 138 139 140 141 145 147 159 161 163 164 168 171 175 176 178 179 180 186 190 195 196 197 203 208 a 6 8 10 16 17 18 20 26 34 36 37 39 42 47 48 54 56 57 59 62 66 67 68 77 81 87 89 91 93 94 95 100 104 109 118 120 121 123 125 129 132 134 136 138 139 140 141 145 147 159 161 163 164 168 171 175 176 178 180 186 190 195 196 197 203 208 a 6 8 10 16 17 18 20 26 34 36 37 39 40 42 47 48 54 56 57 59 62 66 67 68 77 81 87 89 91 93 94 95 100 104 109 118 120 121 123 125 129 132 134 136 138 139 141 145 147 159 161 163 164 168 171 175 176 178 180 186 190 195 196 197 203 208 a 6 8 10 16 17 18 20 26 34 36 37 39 40 42 47 48 54 56 57 59 62 66 67 68 81 87 89 91 93 94 95 100 104 109 118 120 121 123 125 129 132 134 136 138 139 141 145 147 159 161 163 164 168 171 175 176 178 180 183 186 190 195 196 197 203 208 a 6 8 10 16 17 18 20 26 34 36 37 39 40 42 48 54 56 57 59 62 66 67 68 74 81 87 89 91 93 94 95 100 104 109 118 120 121 123 125 129 132 134 136 138 139 141 145 147 159 161 163 164 168 171 175 176 178 180 183 186 190 195 196 197 203 208 a 6 8 10 16 17 18 20 26 34 36 37 39 40 42 48 54 56 57 59 62 66 67 68 74 81 87 89 91 93 94 95 100 104 109 116 118 120 121 123 125 129 132 134 138 139 141 145 147 159 161 163 164 168 171 175 176 178 180 183 186 190 195 196 197 203 208 a 6 8 10 16 17 18 20 26 34 36 37 39 40 42 48 54 56 57 59 62 66 67 68 69 74 81 87 89 91 93 94 95 100 104 109 116 118 120 121 123 125 129 132 134 138 139 141 145 147 159 161 163 164 168 175 176 178 180 183 186 190 195 196 197 203 208 a 6 8 10 16 17 18 20 26 34 36 37 39 40 42 48 49 54 56 57 59 62 66 67 68 69 74 81 87 89 91 93 94 95 100 104 109 116 118 120 121 123 125 129 132 138 139 141 145 147 159 161 163 164 168 175 176 178 180 183 186 190 195 196 197 203 208 a 6 8 10 16 17 18 20 22 26 34 36 37 39 40 48 49 54 56 57 59 62 66 67 68 69 74 81 87 89 91 93 94 95 100 104 109 116 118 120 121 123 125 129 132 138 139 141 145 147 159 161 163 164 168 175 176 178 180 183 186 190 195 196 197 203 208 a 6 8 10 16 17 18 20 22 26 34 36 37 39 40 48 49 54 56 57 59 62 66 67 68 69 74 81 87 89 91 93 94 95 100 104 109 116 118 120 121 123 124 125 129 132 138 139 141 147 159 161 163 164 168 175 176 178 180 183 186 190 195 196 197 203 208 a 6 8 10 16 17 18 20 22 26 34 36 37 39 40 48 49 54 56 57 59 62 66 67 68 69 74 81 87 88 89 91 93 94 95 100 104 109 116 118 120 121 123 124 125 129 132 138 139 141 147 159 163 164 168 175 176 178 180 183 186 190 195 196 197 203 208 a 6 8 10 16 17 18 20 22 26 31 34 36 37 39 40 48 49 54 56 57 59 62 66 67 69 74 81 87 88 89 91 93 94 95 100 104 109 116 118 120 121 123 124 125 129 132 138 139 141 147 159 163 164 168 175 176 178 180 183 186 190 195 196 197 203 208 a 4 6 8 10 16 17 18 20 22 26 31 34 36 37 39 40 48 49 54 56 57 59 62 66 67 69 74 81 87 88 89 91 93 94 95 100 104 109 116 118 120 121 123 124 125 129 132 139 141 147 159 163 164 168 175 176 178 180 183 186 190 195 196 197 203 208 a 4 6 8 10 15 16 17 18 20 22 26 31 34 36 37 39 40 48 49 54 57 59 62 66 67 69 74 81 87 88 89 91 93 94 95 100 104 109 116 118 120 121 123 124 125 129 132 139 141 147 159 163 164 168 175 176 178 180 183 186 190 195 196 197 203 208 a 4 6 8 10 15 16 17 18 22 26 31 34 36 37 39 40 48 49 54 57 59 62 66 67 69 74 79 81 87 88 89 91 93 94 95 100 104 109 116 118 120 121 123 124 125 129 132 139 141 147 159 163 164 168 175 176 178 180 183 186 190 195 196 197 203 208 a 4 6 8 10 15 16 17 18 22 26 31 34 36 37 39 40 48 49 54 57 59 62 66 67 69 74 79 81 87 88 89 91 93 94 95 104 109 116 118 120 121 123 124 125 129 132 139 141 147 157 159 163 164 168 175 176 178 180 183 186 190 195 196 197 203 208 a 4 6 8 10 15 16 17 18 22 26 31 34 36 37 39 40 49 54 57 59 62 66 67 69 74 79 81 87 88 89 91 93 94 95 104 109 116 118 120 121 123 124 125 129 132 139 141 147 154 157 159 163 164 168 175 176 178 180 183 186 190 195 196 197 203 208 a 4 6 8 15 16 17 18 22 26 31 34 36 37 39 40 46 49 54 57 59 62 66 67 69 74 79 81 87 88 89 91 93 94 95 104 109 116 118 120 121 123 124 125 129 132 139 141 147 154 157 159 163 164 168 175 176 178 180 183 186 190 195 196 197 203 208 a 4 6 8 15 16 17 18 22 26 31 32 34 36 37 39 40 46 49 54 57 59 62 66 67 69 74 79 87 88 89 91 93 94 95 104 109 116 118 120 121 123 124 125 129 132 139 141 147 154 157 159 163 164 168 175 176 178 180 183 186 190 195 196 197 203 208 a 4 6 8 15 16 17 18 22 26 31 32 34 36 37 39 40 46 49 54 57 59 62 66 67 69 74 79 87 88 89 91 93 94 95 104 109 116 118 120 121 123 124 125 129 132 139 141 147 154 157 159 163 164 175 176 178 180 183 185 186 190 195 196 197 203 208 c Step: 59 Command being timed: "python3 run_3.py --existent /benchmark/random_instance/random_instance016_graph004.col /benchmark/random_instance/random_instance016_graph004_01.dat" User time (seconds): 60.78 System time (seconds): 0.07 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:00.87 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): 75424 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 40584 Voluntary context switches: 24 Involuntary context switches: 133 Swaps: 0 File system inputs: 0 File system outputs: 256 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 10:31:03 2023]