#BEGIN: [Mon Sep 4 10:54:54 2023] #HOST: s15 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance018_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance018_graph005_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na /benchmark/random_instance/random_instance018_graph005.col /benchmark/random_instance/random_instance018_graph005_01.dat c /benchmark/random_instance/random_instance018_graph005.col c /benchmark/random_instance/random_instance018_graph005_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 98 132 102 118 133 130 183 43 216 158 114 67 90 74 97 58 68 10 94 167 116 99 16 184 122 103 138 120 33 148 204 209 87 225 25 230 6 20 181 197 45 220 44 206 32 88 149 192 100 60 111 144 91 153 171 24 228 101 63 224 119 189 163 215 95 190 191 179 141 213 50 223 177 3 7 205 t 128 17 88 70 29 100 188 148 9 122 31 51 20 168 199 37 153 224 74 183 147 211 123 221 91 139 178 121 116 149 112 189 106 119 223 102 171 198 140 13 190 33 227 32 203 69 90 215 35 193 3 46 141 210 89 76 54 233 205 129 101 15 120 59 164 110 161 78 231 84 162 114 177 222 138 63 a YES a 3 6 7 10 16 20 24 25 32 33 43 44 45 50 58 60 63 67 68 74 87 88 90 91 94 95 97 98 99 100 101 102 103 111 114 116 118 119 120 122 130 132 133 138 141 144 148 149 153 158 163 167 171 177 179 181 183 184 189 190 191 192 197 204 205 206 209 213 215 216 220 223 224 225 228 230 a 3 6 7 10 16 20 24 25 32 33 43 44 45 50 58 60 63 67 68 74 87 88 90 91 94 95 97 98 99 100 101 102 103 111 114 116 118 119 120 122 130 132 133 138 140 141 144 148 149 153 158 163 167 171 177 179 181 183 184 189 190 191 192 197 204 205 206 209 213 215 216 220 223 224 228 230 a 3 6 7 10 16 20 24 25 32 33 43 44 45 50 57 58 60 63 67 68 74 87 88 90 91 94 95 97 98 99 100 101 102 103 111 114 116 118 119 120 122 130 132 133 138 140 141 144 148 149 153 158 163 167 171 177 179 181 183 184 189 190 191 192 197 204 206 209 213 215 216 220 223 224 228 230 a 3 6 7 10 16 20 24 25 32 33 43 44 45 50 57 58 60 63 67 68 74 87 88 90 91 94 95 97 98 99 100 101 102 103 111 114 116 118 119 120 122 130 132 133 138 140 141 144 148 149 153 158 167 170 171 177 179 181 183 184 189 190 191 192 197 204 206 209 213 215 216 220 223 224 228 230 a 3 6 7 10 16 17 20 24 25 32 33 43 44 45 50 57 58 60 63 67 68 74 87 88 90 91 94 95 97 98 99 100 101 102 103 111 114 116 118 119 120 122 130 132 133 138 140 141 144 148 149 153 158 167 170 171 177 179 181 183 184 189 190 191 192 197 204 206 209 213 215 220 223 224 228 230 a 3 6 7 10 16 17 20 24 25 32 33 43 44 45 50 57 58 60 63 67 68 74 87 88 90 91 94 95 97 98 99 100 101 102 103 111 114 116 118 119 120 122 130 133 138 140 141 144 148 149 153 158 167 170 171 177 178 179 181 183 184 189 190 191 192 197 204 206 209 213 215 220 223 224 228 230 a 3 6 7 10 16 17 20 24 25 32 33 43 44 45 50 57 58 60 63 67 68 74 87 88 90 91 93 94 95 97 98 99 100 101 102 103 111 114 116 118 119 120 122 130 133 138 140 141 144 148 149 153 158 167 170 171 177 178 179 181 183 184 189 190 191 192 197 204 206 209 213 215 220 223 228 230 a 3 6 7 10 16 17 20 24 25 32 33 43 44 45 50 57 58 60 63 67 68 74 87 88 90 91 93 94 95 97 98 99 100 101 102 103 111 114 116 118 119 120 122 130 133 135 138 140 141 144 148 149 153 158 167 170 171 177 178 179 181 183 184 189 190 191 197 204 206 209 213 215 220 223 228 230 a 3 6 7 10 16 17 20 21 24 25 32 33 43 44 45 50 57 58 60 63 67 68 74 87 88 91 93 94 95 97 98 99 100 101 102 103 111 114 116 118 119 120 122 130 133 135 138 140 141 144 148 149 153 158 167 170 171 177 178 179 181 183 184 189 190 191 197 204 206 209 213 215 220 223 228 230 a 3 6 7 10 16 20 21 24 25 32 33 43 44 45 50 57 58 60 63 67 68 74 87 88 91 93 94 95 97 98 99 100 101 102 103 111 114 116 118 119 120 122 130 133 135 138 140 141 144 148 149 153 158 167 170 171 177 178 179 181 183 184 189 190 191 197 204 206 209 213 215 216 220 223 228 230 a 3 6 7 10 16 20 21 24 25 32 33 43 44 45 50 57 58 60 63 67 68 74 76 87 88 91 93 94 95 97 98 99 100 101 102 103 111 114 116 118 119 120 122 130 133 135 138 140 141 144 148 149 153 158 167 170 171 177 178 179 181 183 184 189 190 191 204 206 209 213 215 216 220 223 228 230 a 3 6 7 10 16 17 20 21 24 25 32 33 43 44 45 50 57 58 60 63 67 68 74 76 87 88 91 93 94 95 97 98 99 100 101 102 103 111 114 116 118 119 120 122 130 133 135 138 140 141 144 148 149 153 158 167 170 171 177 178 179 181 183 184 189 190 191 204 206 209 213 215 220 223 228 230 a 3 6 7 10 16 17 20 21 24 25 32 33 43 44 45 50 57 58 60 63 67 68 74 76 87 88 91 93 94 97 98 99 100 101 102 103 111 114 116 118 119 120 122 123 130 133 135 138 140 141 144 148 149 153 158 167 170 171 177 178 179 181 183 184 189 190 191 204 206 209 213 215 220 223 228 230 a 3 6 7 10 16 17 20 21 24 32 33 43 44 45 50 57 58 60 63 67 68 74 76 87 88 91 93 94 97 98 99 100 101 102 103 111 114 116 118 119 120 122 123 130 133 135 138 140 141 144 148 149 153 158 164 167 170 171 177 178 179 181 183 184 189 190 191 204 206 209 213 215 220 223 228 230 a 3 6 7 10 16 17 20 21 24 32 33 43 44 50 57 58 60 63 67 68 74 76 87 88 91 93 94 97 98 99 100 101 102 103 111 114 116 118 119 120 122 123 130 133 135 138 140 141 144 148 149 153 158 162 164 167 170 171 177 178 179 181 183 184 189 190 191 204 206 209 213 215 220 223 228 230 a 3 6 7 10 16 17 20 21 24 32 33 43 44 50 57 58 60 63 67 68 74 76 87 88 91 93 94 97 98 99 100 101 102 103 111 114 116 118 119 120 122 123 130 133 135 138 140 141 144 148 149 153 158 162 164 167 170 171 175 177 178 179 181 183 184 189 190 191 204 206 209 213 220 223 228 230 a 3 6 7 10 16 17 20 21 24 32 33 43 44 45 50 57 58 60 63 67 68 74 76 88 91 93 94 97 98 99 100 101 102 103 111 114 116 118 119 120 122 123 130 133 135 138 140 141 144 148 149 153 158 162 164 167 170 171 175 177 178 179 181 183 184 189 190 191 204 206 209 213 220 223 228 230 a 3 7 10 16 17 20 21 24 32 33 43 44 45 50 57 58 60 63 67 68 74 76 87 88 91 93 94 97 98 99 100 101 102 103 111 114 116 118 119 120 122 123 130 133 135 138 140 141 144 148 149 153 158 162 164 167 170 171 175 177 178 179 181 183 184 189 190 191 204 206 209 213 220 223 228 230 a 3 7 10 16 17 20 21 24 32 33 43 44 45 50 57 58 60 63 67 68 74 76 87 88 91 93 94 97 98 99 100 101 102 103 111 114 116 118 119 120 122 123 130 133 135 138 140 144 148 149 153 158 162 164 167 170 171 175 177 178 179 181 183 184 189 190 191 204 206 209 213 215 220 223 228 230 a 3 6 7 10 16 17 20 21 24 32 33 43 44 45 50 57 58 60 63 67 68 74 76 87 88 91 93 94 97 98 99 100 101 102 103 111 114 116 118 119 120 122 123 130 133 135 140 144 148 149 153 158 162 164 167 170 171 175 177 178 179 181 183 184 189 190 191 204 206 209 213 215 220 223 228 230 a 3 6 7 10 16 17 20 21 24 32 33 43 44 45 50 57 58 60 63 67 74 76 87 88 91 93 94 97 98 99 100 101 102 103 111 114 116 118 119 120 122 123 130 133 135 140 141 144 148 149 153 158 162 164 167 170 171 175 177 178 179 181 183 184 189 190 191 204 206 209 213 215 220 223 228 230 a 3 6 7 10 16 17 20 21 24 32 33 43 44 45 50 57 58 60 63 67 74 76 87 88 91 93 94 97 98 99 100 101 102 103 111 114 116 118 119 120 122 123 130 133 135 140 141 144 149 153 158 162 164 167 170 171 175 177 178 179 181 183 184 189 190 191 204 205 206 209 213 215 220 223 228 230 a 3 6 7 10 16 17 20 21 24 32 33 43 44 45 50 57 58 60 63 67 74 76 87 88 91 93 97 98 99 100 101 102 103 111 114 116 118 119 120 122 123 130 133 135 140 141 144 149 153 158 162 164 167 168 170 171 175 177 178 179 181 183 184 189 190 191 204 205 206 209 213 215 220 223 228 230 a 3 6 7 10 16 17 20 21 24 32 33 43 44 45 50 57 58 60 63 67 74 76 87 88 91 93 97 98 99 100 101 102 103 111 114 116 118 119 120 122 123 130 133 135 140 141 144 148 149 153 158 162 164 167 168 170 171 175 177 178 179 181 183 184 189 190 191 204 205 206 209 213 215 220 223 228 a 3 6 7 10 16 17 20 21 24 32 33 43 44 45 50 57 58 60 63 67 74 76 87 88 91 93 97 98 99 100 101 102 103 111 114 116 118 119 120 122 123 130 133 135 138 140 141 144 148 149 153 158 162 164 167 168 170 171 175 177 178 179 181 183 184 189 190 191 204 205 206 209 213 215 223 228 a 3 6 7 10 16 17 20 21 24 32 33 43 44 45 50 54 57 58 60 63 67 74 76 87 88 91 93 97 98 99 100 101 102 103 111 114 116 118 119 120 122 123 130 133 135 138 140 141 144 148 149 153 158 162 164 167 168 170 171 175 177 178 179 181 183 184 189 190 191 204 205 206 209 215 223 228 a 3 6 7 10 15 16 17 20 21 24 32 33 43 44 45 50 54 57 58 60 63 67 74 76 87 88 91 93 97 98 99 100 101 102 103 111 114 116 118 119 120 122 123 130 135 138 140 141 144 148 149 153 158 162 164 167 168 170 171 175 177 178 179 181 183 184 189 190 191 204 205 206 209 215 223 228 a 3 6 7 10 15 16 17 20 21 24 32 33 43 44 45 50 54 57 58 60 63 67 74 76 84 87 88 91 93 97 98 99 100 101 102 103 111 114 116 118 119 120 122 123 130 135 138 140 141 144 148 149 153 158 162 164 167 168 170 171 175 177 178 179 181 183 184 189 190 204 205 206 209 215 223 228 a 3 6 7 10 15 16 17 20 21 32 33 43 44 45 50 54 57 58 60 63 67 74 76 84 87 88 91 93 97 98 99 100 101 102 103 111 114 116 118 119 120 122 123 130 135 138 140 141 144 148 149 153 158 162 164 167 168 170 171 175 177 178 179 181 183 184 189 190 204 205 206 209 210 215 223 228 a 3 6 7 10 15 16 17 20 21 32 33 43 44 45 50 54 57 58 60 63 67 74 76 84 87 88 91 93 97 98 99 100 101 102 103 111 114 116 118 119 120 122 123 135 138 140 141 144 148 149 153 158 162 164 167 168 170 171 175 177 178 179 181 183 184 189 190 198 204 205 206 209 210 215 223 228 a 3 6 7 10 15 16 17 20 21 29 32 33 43 44 45 50 54 57 58 60 63 67 74 76 84 87 88 91 93 97 98 99 100 101 102 103 111 114 116 118 119 120 122 123 135 138 140 141 144 148 149 153 158 162 164 167 168 170 171 175 177 178 179 181 183 184 189 190 198 204 205 206 210 215 223 228 a 3 6 7 10 15 16 17 20 21 29 32 33 43 44 45 50 54 57 58 60 63 67 74 76 84 87 88 89 91 93 97 98 99 100 101 102 103 111 114 116 118 119 120 122 123 135 138 140 141 144 148 149 153 158 162 164 167 168 170 171 175 177 178 179 181 183 189 190 198 204 205 206 210 215 223 228 a 3 6 7 10 15 16 17 20 21 29 32 33 43 44 45 50 54 57 58 60 63 67 74 76 84 87 88 89 91 97 98 99 100 101 102 103 110 111 114 116 118 119 120 122 123 135 138 140 141 144 148 149 153 158 162 164 167 168 170 171 175 177 178 179 181 183 189 190 198 204 205 206 210 215 223 228 a 3 6 7 10 15 16 17 20 21 29 32 33 43 44 45 50 54 57 58 60 63 74 76 84 87 88 89 91 97 98 99 100 101 102 103 106 110 111 114 116 118 119 120 122 123 135 138 140 141 144 148 149 153 158 162 164 167 168 170 171 175 177 178 179 181 183 189 190 198 204 205 206 210 215 223 228 a 3 6 7 10 15 16 17 20 21 29 32 33 43 44 45 50 54 57 58 60 63 74 76 84 87 88 89 91 97 98 99 100 101 102 103 106 110 111 114 116 118 119 120 122 123 135 138 140 141 144 148 149 153 158 162 164 167 168 170 171 175 177 178 179 181 183 189 190 198 205 206 210 215 223 227 228 a 3 6 7 10 15 16 17 20 21 29 32 33 44 45 50 54 57 58 60 63 74 76 84 87 88 89 91 97 98 99 100 101 102 103 106 110 111 114 116 118 119 120 121 122 123 135 138 140 141 144 148 149 153 158 162 164 167 168 170 171 175 177 178 179 181 183 189 190 198 205 206 210 215 223 227 228 a 3 6 7 10 15 16 17 20 21 29 32 33 44 45 50 51 54 57 58 60 63 74 76 84 87 88 89 91 98 99 100 101 102 103 106 110 111 114 116 118 119 120 121 122 123 135 138 140 141 144 148 149 153 158 162 164 167 168 170 171 175 177 178 179 181 183 189 190 198 205 206 210 215 223 227 228 a 3 6 7 10 15 16 17 20 21 29 32 33 44 45 50 51 54 57 58 60 63 74 76 84 88 89 91 98 99 100 101 102 103 106 110 111 114 116 118 119 120 121 122 123 135 138 140 141 144 148 149 153 158 162 164 167 168 170 171 175 177 178 179 181 183 189 190 193 198 205 206 210 215 223 227 228 a 3 6 7 10 15 16 17 20 21 29 32 33 44 45 46 50 51 54 57 58 60 63 74 76 84 88 89 91 98 99 100 101 102 103 106 110 111 114 116 118 119 120 121 122 123 135 138 140 141 144 148 149 153 158 162 164 167 168 171 175 177 178 179 181 183 189 190 193 198 205 206 210 215 223 227 228 a 3 6 7 10 15 16 17 20 21 29 32 33 44 45 46 50 51 54 57 60 63 74 76 84 88 89 91 98 99 100 101 102 103 106 110 111 112 114 116 118 119 120 121 122 123 135 138 140 141 144 148 149 153 158 162 164 167 168 171 175 177 178 179 181 183 189 190 193 198 205 206 210 215 223 227 228 a 3 6 7 10 15 17 20 21 29 32 33 37 44 45 46 50 51 54 57 60 63 74 76 84 88 89 91 98 99 100 101 102 103 106 110 111 112 114 116 118 119 120 121 122 123 135 138 140 141 144 148 149 153 158 162 164 167 168 171 175 177 178 179 181 183 189 190 193 198 205 206 210 215 223 227 228 a 3 6 7 10 15 17 20 21 29 32 33 37 44 45 46 50 51 54 57 60 63 74 76 84 88 89 91 99 100 101 102 103 106 110 111 112 114 116 118 119 120 121 122 123 135 138 140 141 144 148 149 153 158 162 164 167 168 171 175 177 178 179 181 183 189 190 193 198 205 206 210 215 223 227 228 233 a 3 6 7 10 15 17 20 21 29 32 33 37 44 45 46 50 51 54 57 60 63 74 76 84 88 89 91 99 100 101 102 103 106 110 111 112 114 116 118 119 120 121 122 123 138 140 141 144 148 149 153 158 162 164 167 168 171 175 177 178 179 181 183 188 189 190 193 198 205 206 210 215 223 227 228 233 a 3 6 7 10 15 17 20 21 29 32 33 37 44 45 46 50 51 54 57 60 63 74 76 84 88 89 91 99 100 101 102 103 106 110 111 112 114 116 118 119 120 121 122 123 138 140 141 144 148 149 153 158 162 164 167 168 171 175 177 178 179 181 183 188 189 190 193 198 205 206 210 215 223 227 231 233 a 3 6 7 10 15 17 20 21 29 32 33 37 44 45 46 50 51 54 57 59 60 63 74 76 84 88 89 91 99 100 101 102 103 106 110 111 112 114 116 118 119 120 121 122 123 138 140 141 144 148 149 153 158 162 164 167 168 171 177 178 179 181 183 188 189 190 193 198 205 206 210 215 223 227 231 233 a 3 6 7 10 15 17 20 21 29 32 33 35 37 44 45 46 50 51 54 57 59 60 63 74 76 84 88 89 91 99 100 101 102 103 106 110 111 112 114 116 118 119 120 121 122 123 138 140 141 144 148 149 153 158 162 164 167 168 171 177 178 179 181 183 188 189 190 193 198 205 210 215 223 227 231 233 a 3 6 7 10 13 15 17 20 21 29 32 33 35 37 44 45 46 50 51 54 57 59 60 63 74 76 84 88 89 91 99 100 101 102 106 110 111 112 114 116 118 119 120 121 122 123 138 140 141 144 148 149 153 158 162 164 167 168 171 177 178 179 181 183 188 189 190 193 198 205 210 215 223 227 231 233 a 3 6 7 9 10 13 15 17 20 21 29 32 33 35 37 44 45 46 50 51 54 57 59 63 74 76 84 88 89 91 99 100 101 102 106 110 111 112 114 116 118 119 120 121 122 123 138 140 141 144 148 149 153 158 162 164 167 168 171 177 178 179 181 183 188 189 190 193 198 205 210 215 223 227 231 233 a 3 6 7 9 10 13 15 17 20 21 29 32 33 35 37 44 45 46 50 51 54 59 63 74 76 84 88 89 91 99 100 101 102 106 110 111 112 114 116 118 119 120 121 122 123 138 140 141 144 148 149 153 158 162 164 167 168 171 177 178 179 181 183 188 189 190 193 198 205 210 215 223 224 227 231 233 a 3 7 9 10 13 15 17 20 21 29 32 33 35 37 44 45 46 50 51 54 59 63 69 74 76 84 88 89 91 99 100 101 102 106 110 111 112 114 116 118 119 120 121 122 123 138 140 141 144 148 149 153 158 162 164 167 168 171 177 178 179 181 183 188 189 190 193 198 205 210 215 223 224 227 231 233 a 3 7 9 10 13 15 17 20 21 29 32 33 35 37 44 45 46 50 51 54 59 63 69 74 76 78 84 88 89 91 100 101 102 106 110 111 112 114 116 118 119 120 121 122 123 138 140 141 144 148 149 153 158 162 164 167 168 171 177 178 179 181 183 188 189 190 193 198 205 210 215 223 224 227 231 233 a 3 7 9 10 13 15 17 20 21 29 32 33 35 37 44 46 50 51 54 59 63 69 74 76 78 84 88 89 91 100 101 102 106 110 111 112 114 116 118 119 120 121 122 123 138 140 141 144 148 149 153 158 162 164 167 168 171 177 178 179 181 183 188 189 190 193 198 205 210 211 215 223 224 227 231 233 a 3 7 9 10 13 15 17 20 29 32 33 35 37 44 46 50 51 54 59 63 69 74 76 78 84 88 89 90 91 100 101 102 106 110 111 112 114 116 118 119 120 121 122 123 138 140 141 144 148 149 153 158 162 164 167 168 171 177 178 179 181 183 188 189 190 193 198 205 210 211 215 223 224 227 231 233 a 3 7 9 10 13 15 17 20 29 31 32 33 35 37 44 46 50 51 54 59 63 69 74 76 78 84 88 89 90 91 100 101 102 106 110 111 112 114 116 119 120 121 122 123 138 140 141 144 148 149 153 158 162 164 167 168 171 177 178 179 181 183 188 189 190 193 198 205 210 211 215 223 224 227 231 233 a 3 7 9 10 13 15 17 20 29 31 32 33 35 37 44 46 50 51 54 59 63 69 74 76 78 84 88 89 90 91 100 101 102 106 110 111 112 114 116 119 120 121 122 123 138 140 141 144 148 149 153 158 162 164 168 171 177 178 179 181 183 188 189 190 193 198 205 210 211 215 221 223 224 227 231 233 a 3 7 9 13 15 17 20 29 31 32 33 35 37 44 46 50 51 54 59 63 69 74 76 78 84 88 89 90 91 100 101 102 106 110 111 112 114 116 119 120 121 122 123 138 140 141 144 148 149 153 158 162 164 168 171 177 178 179 181 183 188 189 190 193 198 205 210 211 215 221 222 223 224 227 231 233 a 3 9 13 15 17 20 29 31 32 33 35 37 44 46 50 51 54 59 63 69 74 76 78 84 88 89 90 91 100 101 102 106 110 111 112 114 116 119 120 121 122 123 138 140 141 144 148 149 153 158 162 164 168 171 177 178 179 181 183 188 189 190 193 198 203 205 210 211 215 221 222 223 224 227 231 233 a 3 9 13 15 17 20 29 31 32 33 35 37 44 46 50 51 54 59 63 69 74 76 78 84 88 89 90 91 100 101 102 106 110 111 112 114 116 119 120 121 122 123 138 140 141 144 148 149 153 162 164 168 171 177 178 179 181 183 188 189 190 193 198 199 203 205 210 211 215 221 222 223 224 227 231 233 a 3 9 13 15 17 20 29 31 32 33 35 37 46 50 51 54 59 63 69 74 76 78 84 88 89 90 91 100 101 102 106 110 111 112 114 116 119 120 121 122 123 128 138 140 141 144 148 149 153 162 164 168 171 177 178 179 181 183 188 189 190 193 198 199 203 205 210 211 215 221 222 223 224 227 231 233 a 3 9 13 15 17 20 29 31 32 33 35 37 46 50 51 54 59 63 69 74 76 78 84 88 89 90 91 100 101 102 106 110 111 112 114 116 119 120 121 122 123 128 138 140 141 144 147 148 149 153 162 164 168 171 177 178 181 183 188 189 190 193 198 199 203 205 210 211 215 221 222 223 224 227 231 233 a 3 9 13 15 17 20 29 31 32 33 35 37 46 50 51 54 59 63 69 74 76 78 84 88 89 90 91 100 101 102 106 110 112 114 116 119 120 121 122 123 128 138 140 141 144 147 148 149 153 161 162 164 168 171 177 178 181 183 188 189 190 193 198 199 203 205 210 211 215 221 222 223 224 227 231 233 a 3 9 13 15 17 20 29 31 32 33 35 37 46 51 54 59 63 69 70 74 76 78 84 88 89 90 91 100 101 102 106 110 112 114 116 119 120 121 122 123 128 138 140 141 144 147 148 149 153 161 162 164 168 171 177 178 181 183 188 189 190 193 198 199 203 205 210 211 215 221 222 223 224 227 231 233 a 3 9 13 15 17 20 29 31 32 33 35 37 46 51 54 59 63 69 70 74 76 78 84 88 89 90 91 100 101 102 106 110 112 114 116 119 120 121 122 123 128 129 138 140 141 144 147 148 149 153 161 162 164 168 171 177 178 183 188 189 190 193 198 199 203 205 210 211 215 221 222 223 224 227 231 233 a 3 9 13 15 17 20 29 31 32 33 35 37 46 51 54 59 63 69 70 74 76 78 84 88 89 90 91 100 101 102 106 110 112 114 116 119 120 121 122 123 128 129 138 139 140 141 147 148 149 153 161 162 164 168 171 177 178 183 188 189 190 193 198 199 203 205 210 211 215 221 222 223 224 227 231 233 c Step: 63 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance018_graph005.col /benchmark/random_instance/random_instance018_graph005_01.dat" User time (seconds): 356.25 System time (seconds): 4.78 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:01.06 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): 16960428 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 5651984 Voluntary context switches: 27 Involuntary context switches: 804 Swaps: 0 File system inputs: 0 File system outputs: 312 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 11:00:55 2023]