#BEGIN: [Mon Sep 4 10:54:52 2023] #HOST: s06 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance018_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance018_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 --na /benchmark/random_instance/random_instance018_graph004.col /benchmark/random_instance/random_instance018_graph004_01.dat c /benchmark/random_instance/random_instance018_graph004.col c /benchmark/random_instance/random_instance018_graph004_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 131 162 137 175 83 57 116 164 122 180 68 17 10 218 6 207 97 173 43 93 34 211 179 2 62 31 230 49 157 96 95 30 204 91 167 15 140 119 16 82 99 23 58 177 142 20 64 126 168 189 199 112 225 108 84 200 9 27 53 35 104 172 13 19 29 229 1 101 156 176 224 190 90 203 120 38 t 81 179 36 80 210 189 44 233 204 65 169 206 22 37 112 188 14 66 113 26 193 23 45 90 183 186 18 40 227 177 137 33 61 27 88 55 83 182 127 72 103 11 190 59 97 176 149 202 115 15 100 181 6 166 170 9 208 232 64 155 49 185 4 120 146 229 118 68 10 180 87 57 102 218 94 109 a YES a 1 2 6 9 10 13 15 16 17 19 20 23 27 29 30 31 34 35 38 43 49 53 57 58 62 64 68 82 83 84 90 91 93 95 96 97 99 101 104 108 112 116 119 120 122 126 131 137 140 142 156 157 162 164 167 168 172 173 175 176 177 179 180 189 190 199 200 203 204 207 211 218 224 225 229 230 a 1 2 6 9 10 13 15 16 17 19 20 23 27 28 29 30 31 34 35 38 43 49 53 57 58 62 64 68 82 83 84 90 91 93 95 96 97 99 104 108 112 116 119 120 122 126 131 137 140 142 156 157 162 164 167 168 172 173 175 176 177 179 180 189 190 199 200 203 204 207 211 218 224 225 229 230 a 1 2 6 9 10 13 15 16 17 19 20 23 27 28 29 30 31 34 35 38 43 49 53 57 58 62 64 68 82 83 84 90 91 93 95 96 97 99 104 108 112 116 119 120 122 126 137 140 142 156 157 162 164 167 168 172 173 175 176 177 179 180 184 189 190 199 200 203 204 207 211 218 224 225 229 230 a 1 2 6 9 10 13 15 16 17 19 20 23 27 28 29 30 31 34 35 38 43 45 49 53 57 62 64 68 82 83 84 90 91 93 95 96 97 99 104 108 112 116 119 120 122 126 137 140 142 156 157 162 164 167 168 172 173 175 176 177 179 180 184 189 190 199 200 203 204 207 211 218 224 225 229 230 a 1 2 6 9 10 13 15 16 17 19 20 23 27 28 29 30 31 34 35 38 43 45 49 53 57 62 64 68 82 83 84 87 90 91 93 95 96 97 99 104 108 112 116 119 120 122 126 137 140 142 156 157 162 164 167 172 173 175 176 177 179 180 184 189 190 199 200 203 204 207 211 218 224 225 229 230 a 1 2 6 9 10 13 16 17 19 20 23 27 28 29 30 31 34 35 38 43 45 49 53 57 62 64 68 82 83 84 87 90 91 93 95 96 97 99 104 108 112 116 119 120 122 126 137 140 142 153 156 157 162 164 167 172 173 175 176 177 179 180 184 189 190 199 200 203 204 207 211 218 224 225 229 230 a 1 2 6 9 10 13 16 17 19 20 23 27 28 29 30 31 34 35 38 43 45 49 53 57 62 64 68 78 82 83 84 87 90 91 93 95 96 97 99 104 108 112 116 119 120 122 126 137 140 142 153 156 157 162 164 167 172 173 175 177 179 180 184 189 190 199 200 203 204 207 211 218 224 225 229 230 a 1 2 6 9 10 13 16 17 19 20 23 27 28 29 30 31 34 38 43 45 49 53 57 62 64 68 78 82 83 84 87 90 91 93 95 96 97 99 104 108 112 116 119 120 122 126 137 140 142 153 156 157 162 164 167 170 172 173 175 177 179 180 184 189 190 199 200 203 204 207 211 218 224 225 229 230 a 1 2 6 9 10 13 16 17 19 20 23 27 28 29 30 31 34 38 43 45 49 53 57 62 64 68 78 82 83 84 87 90 91 93 95 96 97 99 104 108 112 116 119 120 122 126 137 140 142 153 156 157 162 164 167 170 172 173 175 177 179 180 184 189 199 200 203 204 207 211 212 218 224 225 229 230 a 1 2 6 9 10 13 16 17 19 20 23 27 28 29 30 31 34 38 43 45 49 53 57 62 63 64 68 78 82 83 84 87 90 91 93 95 96 97 99 104 108 116 119 120 122 126 137 140 142 153 156 157 162 164 167 170 172 173 175 177 179 180 184 189 199 200 203 204 207 211 212 218 224 225 229 230 a 1 2 6 9 10 13 16 17 19 20 23 27 28 29 30 31 34 38 43 45 49 53 57 62 63 64 68 78 82 83 84 87 90 91 93 95 96 97 99 104 108 116 119 120 122 126 137 140 142 153 156 157 162 164 167 170 172 173 175 177 179 180 184 189 190 199 200 203 204 207 211 218 224 225 229 230 a 1 2 4 6 9 10 13 16 17 19 20 23 27 28 29 30 31 34 38 43 45 49 53 57 62 64 68 78 82 83 84 87 90 91 93 95 96 97 99 104 108 116 119 120 122 126 137 140 142 153 156 157 162 164 167 170 172 173 175 177 179 180 184 189 190 199 200 203 204 207 211 218 224 225 229 230 a 1 2 4 6 9 10 13 16 17 19 20 23 27 28 29 30 31 34 38 43 45 49 53 57 62 64 68 78 82 83 84 87 90 91 93 95 96 97 99 104 108 116 119 120 122 126 137 140 142 153 156 157 162 164 167 170 172 173 175 177 179 180 184 189 199 200 203 204 207 211 212 218 224 225 229 230 a 1 2 4 6 9 10 13 16 17 19 20 23 27 28 29 30 31 34 38 43 45 49 53 57 62 64 68 78 82 83 84 87 90 91 93 95 96 97 99 104 108 112 116 119 120 122 126 140 142 153 156 157 162 164 167 170 172 173 175 177 179 180 184 189 199 200 203 204 207 211 212 218 224 225 229 230 a 1 2 4 6 9 10 13 15 16 17 19 20 23 27 28 29 30 31 34 38 43 45 49 53 57 62 64 68 78 82 83 84 87 90 91 93 95 96 97 99 104 108 112 116 119 120 122 126 140 142 153 156 157 162 164 167 170 172 173 175 177 179 180 184 189 199 203 204 207 211 212 218 224 225 229 230 a 1 2 4 6 9 10 13 15 16 17 19 20 23 27 28 29 30 31 34 38 43 45 49 53 57 62 64 68 78 82 83 84 87 90 91 93 95 96 97 99 104 108 112 116 119 120 122 126 140 142 153 156 157 162 164 167 170 172 173 175 177 179 180 184 189 190 199 203 204 207 211 218 224 225 229 230 a 1 2 4 6 9 10 13 15 16 17 19 20 23 27 28 29 31 34 38 43 45 49 53 57 62 64 68 78 82 83 84 87 90 91 93 95 96 97 99 104 108 109 112 116 119 120 122 126 140 142 153 156 157 162 164 167 170 172 173 175 177 179 180 184 189 190 199 203 204 207 211 218 224 225 229 230 a 1 2 4 6 9 10 13 15 16 17 19 20 23 27 28 29 31 34 38 43 45 49 53 57 62 64 68 78 82 83 84 87 90 91 93 95 96 97 99 104 108 109 112 116 119 120 122 126 140 142 153 156 157 162 164 167 170 172 173 177 179 180 183 184 189 190 199 203 204 207 211 218 224 225 229 230 a 1 2 4 6 9 10 13 15 16 17 19 20 23 27 28 29 31 34 38 43 45 49 53 57 62 64 68 78 82 83 84 87 90 91 93 95 96 97 99 104 108 109 112 116 119 120 122 126 140 153 156 157 162 164 167 170 172 173 177 179 180 183 184 189 190 199 203 204 206 207 211 218 224 225 229 230 a 1 2 4 6 9 10 13 15 16 17 19 20 23 27 28 29 31 34 38 43 45 49 53 57 62 64 68 78 82 83 84 87 90 91 93 95 96 97 99 104 108 109 112 116 119 120 122 126 137 140 153 156 157 164 167 170 172 173 177 179 180 183 184 189 190 199 203 204 206 207 211 218 224 225 229 230 a 1 2 4 6 9 10 15 16 17 19 20 23 27 28 29 31 34 38 43 45 49 53 57 62 64 68 78 82 83 84 87 90 91 93 95 96 97 99 104 108 109 112 116 119 120 122 126 127 137 140 153 156 157 164 167 170 172 173 177 179 180 183 184 189 190 199 203 204 206 207 211 218 224 225 229 230 a 1 2 4 6 9 10 15 16 17 19 20 23 27 28 29 31 34 38 43 45 49 53 57 62 64 68 78 82 83 84 87 90 91 93 95 96 97 99 104 108 109 112 113 116 119 120 122 126 127 137 140 153 156 164 167 170 172 173 177 179 180 183 184 189 190 199 203 204 206 207 211 218 224 225 229 230 a 1 2 4 6 9 10 15 16 17 19 20 23 27 28 29 31 34 38 43 45 49 53 57 62 64 68 78 82 83 84 87 90 91 93 95 96 97 99 104 108 109 112 113 116 120 122 126 127 137 140 153 156 164 167 170 172 173 177 179 180 183 184 185 189 190 199 203 204 206 207 211 218 224 225 229 230 a 1 2 4 6 9 10 15 16 17 19 20 23 27 28 29 31 34 38 43 45 49 53 57 62 64 68 82 83 84 87 90 91 93 95 96 97 99 104 108 109 112 113 116 120 122 126 127 137 140 153 156 164 167 170 172 173 176 177 179 180 183 184 185 189 190 199 203 204 206 207 211 218 224 225 229 230 a 1 4 6 9 10 15 16 17 19 20 23 27 28 29 31 34 38 43 45 49 53 57 62 64 68 82 83 84 87 90 91 93 95 96 97 99 103 104 108 109 112 113 116 120 122 126 127 137 140 153 156 164 167 170 172 173 176 177 179 180 183 184 185 189 190 199 203 204 206 207 211 218 224 225 229 230 a 1 4 6 9 10 15 16 17 19 20 23 27 28 29 31 34 38 43 45 49 53 57 62 64 68 82 83 84 87 90 91 93 94 95 96 97 99 103 104 108 109 112 113 116 120 122 126 127 137 140 153 156 164 167 170 172 173 176 177 179 180 183 184 185 189 190 199 203 204 206 207 211 218 224 229 230 a 1 4 6 9 10 15 16 17 19 20 23 27 28 29 31 34 38 43 45 49 53 57 62 64 68 81 82 83 84 87 90 91 93 94 95 96 97 99 103 104 108 109 112 113 116 120 122 126 127 137 140 153 156 164 167 170 173 176 177 179 180 183 184 185 189 190 199 203 204 206 207 211 218 224 229 230 a 1 4 6 9 10 15 16 17 19 20 23 27 28 29 31 34 36 38 43 45 49 53 57 62 64 68 81 82 83 84 87 90 91 93 94 95 96 97 99 103 104 108 109 112 113 116 120 122 126 127 137 140 153 156 164 167 170 173 176 177 179 180 183 184 185 189 190 199 203 204 206 207 211 218 224 229 a 1 4 6 9 10 15 16 17 19 20 23 27 28 29 31 34 36 38 40 43 45 49 53 57 62 64 68 81 83 84 87 90 91 93 94 95 96 97 99 103 104 108 109 112 113 116 120 122 126 127 137 140 153 156 164 167 170 173 176 177 179 180 183 184 185 189 190 199 203 204 206 207 211 218 224 229 a 1 4 6 9 10 15 16 17 19 20 23 27 28 29 31 34 36 38 40 43 45 49 53 57 62 64 68 81 83 84 87 90 91 93 94 95 96 97 99 103 104 108 109 112 113 116 120 122 126 127 137 140 153 156 164 167 170 176 177 179 180 183 184 185 189 190 199 203 204 206 207 211 218 224 227 229 a 1 4 6 9 10 15 16 17 19 20 23 27 28 29 31 34 36 38 40 43 45 49 53 57 62 64 68 81 83 84 87 90 91 93 94 95 96 97 99 102 103 104 108 109 112 113 116 120 122 126 127 137 140 153 156 164 167 170 176 177 179 180 183 184 185 189 190 199 204 206 207 211 218 224 227 229 a 1 4 6 9 10 15 16 17 19 20 23 27 28 29 31 34 36 38 40 43 45 49 53 57 62 64 68 81 83 84 87 90 91 93 94 95 96 97 99 102 103 104 108 109 112 113 116 120 122 126 127 137 140 153 156 164 170 176 177 179 180 183 184 185 189 190 199 204 206 207 208 211 218 224 227 229 a 1 4 6 9 10 15 16 17 19 20 23 27 28 29 31 34 36 38 40 43 45 49 57 62 64 68 81 83 84 87 90 91 93 94 95 96 97 99 102 103 104 108 109 112 113 116 120 122 126 127 137 140 149 153 156 164 170 176 177 179 180 183 184 185 189 190 199 204 206 207 208 211 218 224 227 229 a 1 4 6 9 10 15 16 17 19 20 23 27 28 29 31 34 36 38 40 43 45 49 57 62 64 68 81 83 84 87 90 91 93 94 95 96 97 102 103 104 108 109 112 113 116 120 122 126 127 137 140 149 153 155 156 164 170 176 177 179 180 183 184 185 189 190 199 204 206 207 208 211 218 224 227 229 a 1 4 6 9 10 15 16 17 19 20 23 27 28 29 31 34 36 38 40 43 45 49 57 62 64 68 81 83 84 87 90 91 93 94 95 96 97 102 103 104 108 109 112 113 116 120 122 126 127 137 140 149 153 155 164 170 176 177 179 180 183 184 185 189 190 199 202 204 206 207 208 211 218 224 227 229 a 1 4 6 9 10 15 16 17 19 20 23 27 28 29 31 36 38 40 43 45 49 57 62 64 68 81 83 84 87 88 90 91 93 94 95 96 97 102 103 104 108 109 112 113 116 120 122 126 127 137 140 149 153 155 164 170 176 177 179 180 183 184 185 189 190 199 202 204 206 207 208 211 218 224 227 229 a 1 4 6 9 10 14 15 16 17 19 20 23 27 28 29 31 36 38 40 43 45 49 57 62 64 68 81 83 84 87 88 90 91 93 94 95 96 97 102 103 104 108 109 112 113 116 120 126 127 137 140 149 153 155 164 170 176 177 179 180 183 184 185 189 190 199 202 204 206 207 208 211 218 224 227 229 a 1 4 6 9 10 14 15 16 17 19 20 23 27 28 29 31 36 38 40 43 45 49 57 62 64 68 81 83 84 87 88 90 91 93 94 95 96 97 102 103 104 108 109 112 113 116 120 126 127 137 140 149 153 155 164 170 176 177 179 180 183 185 189 190 199 202 204 206 207 208 211 218 224 227 229 232 a 1 4 6 9 10 14 15 16 17 19 20 23 27 28 29 31 36 38 40 43 45 49 57 62 64 68 81 83 84 87 88 90 93 94 95 96 97 102 103 104 108 109 112 113 116 120 126 127 137 140 149 153 155 164 170 176 177 179 180 183 185 189 190 199 202 204 206 207 208 210 211 218 224 227 229 232 a 1 4 6 9 10 14 15 16 17 19 20 23 27 28 29 31 36 38 40 43 45 49 57 62 64 68 81 83 84 87 88 90 93 94 95 96 97 102 103 104 108 109 112 113 116 118 120 126 127 137 140 149 153 155 170 176 177 179 180 183 185 189 190 199 202 204 206 207 208 210 211 218 224 227 229 232 a 1 4 6 9 10 14 15 16 17 19 20 23 27 28 29 31 36 38 40 43 45 49 55 57 62 64 68 81 83 84 87 88 90 93 94 95 96 97 102 103 104 109 112 113 116 118 120 126 127 137 140 149 153 155 170 176 177 179 180 183 185 189 190 199 202 204 206 207 208 210 211 218 224 227 229 232 a 1 4 6 9 10 14 15 16 17 20 23 27 28 29 31 36 37 38 40 43 45 49 55 57 62 64 68 81 83 84 87 88 90 93 94 95 96 97 102 103 104 109 112 113 116 118 120 126 127 137 140 149 153 155 170 176 177 179 180 183 185 189 190 199 202 204 206 207 208 210 211 218 224 227 229 232 a 1 4 6 9 10 14 15 16 17 23 27 28 29 31 36 37 38 40 43 45 49 55 57 62 64 68 81 83 84 87 88 90 93 94 95 96 97 102 103 104 109 112 113 116 118 120 126 127 137 140 149 153 155 170 176 177 179 180 181 183 185 189 190 199 202 204 206 207 208 210 211 218 224 227 229 232 a 1 4 6 9 10 14 15 16 23 27 28 29 31 36 37 38 40 43 44 45 49 55 57 62 64 68 81 83 84 87 88 90 93 94 95 96 97 102 103 104 109 112 113 116 118 120 126 127 137 140 149 153 155 170 176 177 179 180 181 183 185 189 190 199 202 204 206 207 208 210 211 218 224 227 229 232 a 1 4 6 9 10 11 14 15 16 23 27 28 29 31 36 37 38 40 44 45 49 55 57 62 64 68 81 83 84 87 88 90 93 94 95 96 97 102 103 104 109 112 113 116 118 120 126 127 137 140 149 153 155 170 176 177 179 180 181 183 185 189 190 199 202 204 206 207 208 210 211 218 224 227 229 232 a 1 4 6 9 10 11 14 15 16 18 23 27 28 29 31 36 37 38 40 44 45 49 55 57 62 64 68 81 83 84 87 88 90 93 94 95 96 97 102 103 104 109 112 113 118 120 126 127 137 140 149 153 155 170 176 177 179 180 181 183 185 189 190 199 202 204 206 207 208 210 211 218 224 227 229 232 a 1 4 6 9 10 11 14 15 16 18 23 27 28 29 36 37 38 40 44 45 49 55 57 62 64 68 81 83 84 87 88 90 93 94 95 96 97 102 103 104 109 112 113 118 120 126 127 137 140 149 153 155 166 170 176 177 179 180 181 183 185 189 190 199 202 204 206 207 208 210 211 218 224 227 229 232 a 1 4 6 9 10 11 14 15 16 18 23 27 28 29 33 36 37 38 40 44 45 49 55 57 62 64 68 81 83 87 88 90 93 94 95 96 97 102 103 104 109 112 113 118 120 126 127 137 140 149 153 155 166 170 176 177 179 180 181 183 185 189 190 199 202 204 206 207 208 210 211 218 224 227 229 232 a 4 6 9 10 11 14 15 16 18 22 23 27 28 29 33 36 37 38 40 44 45 49 55 57 62 64 68 81 83 87 88 90 93 94 95 96 97 102 103 104 109 112 113 118 120 126 127 137 140 149 153 155 166 170 176 177 179 180 181 183 185 189 190 199 202 204 206 207 208 210 211 218 224 227 229 232 a 4 6 9 10 11 14 15 16 18 22 23 27 28 29 33 36 37 38 40 44 45 49 55 57 62 64 68 81 83 87 88 90 94 95 96 97 102 103 104 109 112 113 118 120 126 127 137 140 149 153 155 166 169 170 176 177 179 180 181 183 185 189 190 199 202 204 206 207 208 210 211 218 224 227 229 232 a 4 6 9 10 11 14 15 16 18 22 23 27 28 33 36 37 38 40 44 45 49 55 57 62 64 66 68 81 83 87 88 90 94 95 96 97 102 103 104 109 112 113 118 120 126 127 137 140 149 153 155 166 169 170 176 177 179 180 181 183 185 189 190 199 202 204 206 207 208 210 211 218 224 227 229 232 a 4 6 9 10 11 14 15 16 18 22 23 27 28 33 36 37 38 40 44 45 49 55 57 62 64 66 68 81 83 87 88 90 94 96 97 100 102 103 104 109 112 113 118 120 126 127 137 140 149 153 155 166 169 170 176 177 179 180 181 183 185 189 190 199 202 204 206 207 208 210 211 218 224 227 229 232 a 4 6 9 10 11 14 15 16 18 22 23 27 28 33 36 37 38 40 44 45 49 55 57 59 62 64 66 68 81 83 87 88 90 94 96 97 100 102 103 104 109 112 113 118 120 126 127 137 140 149 153 155 166 169 170 176 177 179 180 181 183 185 189 190 199 202 204 206 207 208 210 218 224 227 229 232 a 4 6 9 10 11 14 15 16 18 22 23 27 28 33 36 37 38 40 44 45 49 55 57 59 62 64 66 68 81 83 87 88 90 94 96 97 100 102 103 104 109 112 113 118 120 126 127 137 140 149 153 155 166 169 170 176 177 179 180 181 183 185 186 189 190 199 202 204 206 208 210 218 224 227 229 232 a 4 6 9 10 11 14 15 16 18 22 23 27 28 33 36 37 38 40 44 45 49 55 57 59 64 66 68 80 81 83 87 88 90 94 96 97 100 102 103 104 109 112 113 118 120 126 127 137 140 149 153 155 166 169 170 176 177 179 180 181 183 185 186 189 190 199 202 204 206 208 210 218 224 227 229 232 a 4 6 9 10 11 14 15 16 18 22 23 27 33 36 37 38 40 44 45 49 55 57 59 64 66 68 80 81 83 87 88 90 94 96 97 100 102 103 104 109 112 113 118 120 126 127 137 140 149 153 155 166 169 170 176 177 179 180 181 182 183 185 186 189 190 199 202 204 206 208 210 218 224 227 229 232 a 4 6 9 10 11 14 15 16 18 22 23 27 33 36 37 38 40 44 45 49 55 57 59 61 64 66 68 80 81 83 87 88 90 94 96 97 100 102 103 109 112 113 118 120 126 127 137 140 149 153 155 166 169 170 176 177 179 180 181 182 183 185 186 189 190 199 202 204 206 208 210 218 224 227 229 232 a 4 6 9 10 11 14 15 16 18 22 23 27 33 36 37 40 44 45 49 55 57 59 61 64 66 68 80 81 83 87 88 90 94 96 97 100 102 103 109 112 113 115 118 120 126 127 137 140 149 153 155 166 169 170 176 177 179 180 181 182 183 185 186 189 190 199 202 204 206 208 210 218 224 227 229 232 a 4 6 9 10 11 14 15 16 18 22 23 27 33 36 37 40 44 45 49 55 57 59 61 64 66 68 80 81 83 87 88 90 94 96 97 100 102 103 109 112 113 115 118 120 126 127 137 140 149 153 155 166 169 170 176 177 179 180 181 182 183 185 186 188 189 190 202 204 206 208 210 218 224 227 229 232 a 4 6 9 10 11 14 15 16 18 22 23 27 33 36 37 40 44 45 49 55 57 59 61 64 66 68 80 81 83 87 88 90 94 96 97 100 102 103 109 112 113 115 118 120 126 127 137 140 149 155 166 169 170 176 177 179 180 181 182 183 185 186 188 189 190 193 202 204 206 208 210 218 224 227 229 232 a 4 6 9 10 11 14 15 18 22 23 27 33 36 37 40 44 45 49 55 57 59 61 64 65 66 68 80 81 83 87 88 90 94 96 97 100 102 103 109 112 113 115 118 120 126 127 137 140 149 155 166 169 170 176 177 179 180 181 182 183 185 186 188 189 190 193 202 204 206 208 210 218 224 227 229 232 a 4 6 9 10 11 14 15 18 22 23 27 33 36 37 40 44 45 49 55 57 59 61 64 65 66 68 72 80 81 83 87 88 90 94 96 97 100 102 103 109 112 113 115 118 120 126 127 137 149 155 166 169 170 176 177 179 180 181 182 183 185 186 188 189 190 193 202 204 206 208 210 218 224 227 229 232 a 4 6 9 10 11 14 15 18 22 23 26 27 33 36 37 40 44 45 49 55 57 59 61 64 65 66 68 72 80 81 83 87 88 90 94 96 97 100 102 103 109 112 113 115 118 120 126 127 137 149 155 166 169 170 176 177 179 180 181 182 183 185 186 188 189 190 193 202 204 206 208 210 218 227 229 232 a 4 6 9 10 11 14 15 18 22 23 26 27 33 36 37 40 44 45 49 55 57 59 61 64 65 66 68 72 80 81 83 87 88 90 94 96 97 100 102 103 109 112 113 115 118 120 127 137 146 149 155 166 169 170 176 177 179 180 181 182 183 185 186 188 189 190 193 202 204 206 208 210 218 227 229 232 a 4 6 9 10 11 14 15 18 22 23 26 27 33 36 37 40 44 45 49 55 57 59 61 64 65 66 68 72 80 81 83 87 88 90 94 97 100 102 103 109 112 113 115 118 120 127 137 146 149 155 166 169 170 176 177 179 180 181 182 183 185 186 188 189 190 193 202 204 206 208 210 218 227 229 232 233 c Step: 64 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance018_graph004.col /benchmark/random_instance/random_instance018_graph004_01.dat" User time (seconds): 356.76 System time (seconds): 4.31 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:01.11 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): 15817192 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 5189844 Voluntary context switches: 27 Involuntary context switches: 2049 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:53 2023]