#BEGIN: [Tue Sep 26 02:16:24 2023] #HOST: s06 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance018_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance018_graph001_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_instance018_graph001.col /benchmark/random_instance/random_instance018_graph001_01.dat c /benchmark/random_instance/random_instance018_graph001.col c /benchmark/random_instance/random_instance018_graph001_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 187 204 51 137 163 90 32 196 189 153 73 140 157 31 26 224 207 119 213 84 126 106 93 158 56 142 6 102 82 171 5 228 201 70 133 88 226 37 191 198 95 227 87 29 132 160 131 64 7 215 59 156 66 28 122 47 135 42 206 211 67 104 128 194 192 150 105 75 69 81 164 216 4 220 130 t 88 89 14 190 220 195 23 82 150 18 13 4 136 6 44 139 53 85 222 126 204 146 8 35 159 167 211 73 172 32 123 224 227 163 198 116 40 26 95 39 112 96 98 173 114 1 219 233 105 138 122 194 38 218 160 179 59 164 192 193 230 191 36 125 52 2 75 225 106 144 140 153 128 130 212 a YES a 4 5 6 7 26 28 29 31 32 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 87 88 90 93 95 102 104 105 106 119 122 126 128 130 131 132 133 135 137 140 142 150 153 156 157 158 160 163 164 171 187 189 191 192 194 196 198 201 204 206 207 211 213 215 216 220 224 226 227 228 a 4 5 6 7 26 28 29 31 32 37 42 47 51 56 59 64 66 67 69 70 73 75 77 81 84 87 88 90 93 95 102 104 105 106 119 122 126 128 130 131 132 133 135 137 140 142 150 153 156 157 158 160 163 164 171 187 189 191 192 194 196 198 201 204 206 207 211 213 215 216 220 224 226 227 228 a 4 5 6 7 16 26 28 29 31 32 37 42 47 51 56 59 64 66 67 69 70 73 75 77 81 84 87 88 90 93 95 102 104 105 106 119 122 126 128 130 131 132 133 135 137 140 142 150 153 156 157 158 160 163 164 171 187 189 191 192 194 196 198 201 206 207 211 213 215 216 220 224 226 227 228 a 4 5 6 7 16 26 28 29 31 32 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 87 88 90 93 95 102 104 105 106 119 122 126 128 130 131 132 133 135 137 140 142 150 153 156 157 158 160 163 164 171 187 189 191 192 194 196 198 201 206 207 211 213 215 216 220 224 226 227 228 a 4 5 6 7 16 26 28 29 31 32 37 42 47 51 56 59 64 66 67 69 70 72 73 75 81 82 84 87 90 93 95 102 104 105 106 119 122 126 128 130 131 132 133 135 137 140 142 150 153 156 157 158 160 163 164 171 187 189 191 192 194 196 198 201 206 207 211 213 215 216 220 224 226 227 228 a 4 5 6 7 16 26 28 29 31 32 37 42 47 51 56 59 64 66 67 69 70 72 73 75 81 82 84 87 90 93 95 102 104 105 106 119 122 126 128 130 131 132 133 135 137 140 142 150 153 156 157 160 163 164 171 181 187 189 191 192 194 196 198 201 206 207 211 213 215 216 220 224 226 227 228 a 4 6 7 16 26 28 29 31 32 37 42 47 51 56 59 64 66 67 69 70 72 73 75 81 82 84 87 90 93 95 102 103 104 105 106 119 122 126 128 130 131 132 133 135 137 140 142 150 153 156 157 160 163 164 171 181 187 189 191 192 194 196 198 201 206 207 211 213 215 216 220 224 226 227 228 a 4 6 7 16 26 28 29 31 32 37 42 47 51 56 59 64 66 67 69 70 71 72 73 75 81 82 84 87 90 93 95 102 103 104 105 106 119 122 126 128 130 131 132 133 135 137 140 142 150 153 156 157 160 163 164 171 181 189 191 192 194 196 198 201 206 207 211 213 215 216 220 224 226 227 228 a 4 6 7 16 26 28 29 31 32 37 42 47 51 56 59 64 66 67 69 70 71 72 73 75 81 82 84 87 90 93 95 102 103 104 105 106 119 122 126 128 130 131 132 133 135 137 140 142 150 153 156 157 160 163 164 171 181 189 191 192 194 196 198 206 207 211 213 215 216 218 220 224 226 227 228 a 4 6 7 11 16 26 28 29 31 32 37 42 47 51 56 59 64 66 67 69 70 71 72 73 75 81 82 84 87 90 93 95 102 103 104 105 106 119 122 126 128 130 131 132 133 135 137 140 142 150 153 156 157 160 163 164 171 181 189 191 192 194 196 198 206 207 211 213 216 218 220 224 226 227 228 a 4 6 7 11 16 26 28 29 31 32 37 42 47 51 56 59 64 66 67 69 70 72 73 75 81 82 84 87 90 93 95 102 103 104 105 106 119 122 126 128 130 131 132 133 135 137 140 142 150 153 156 157 160 163 164 171 181 187 189 191 192 194 196 198 206 207 211 213 216 218 220 224 226 227 228 a 4 6 7 11 16 26 28 29 31 32 37 42 47 51 56 59 64 65 66 67 69 70 72 73 75 81 82 84 87 90 93 95 102 103 104 105 106 119 122 126 128 130 131 132 133 135 137 140 142 150 153 156 157 160 163 164 171 181 187 189 191 192 194 198 206 207 211 213 216 218 220 224 226 227 228 a 4 6 7 11 16 26 28 29 31 32 37 42 47 51 56 59 64 65 66 67 69 70 72 73 75 81 82 84 87 90 93 95 102 103 104 105 106 118 119 122 126 128 130 131 132 133 137 140 142 150 153 156 157 160 163 164 171 181 187 189 191 192 194 198 206 207 211 213 216 218 220 224 226 227 228 a 4 6 7 11 16 26 28 29 31 32 37 42 47 51 56 59 64 65 66 67 69 70 72 73 75 81 82 84 87 90 93 95 102 103 104 105 106 118 119 122 126 128 130 131 132 133 137 140 142 146 150 153 157 160 163 164 171 181 187 189 191 192 194 198 206 207 211 213 216 218 220 224 226 227 228 a 4 6 7 11 16 26 28 29 31 32 37 42 47 51 56 59 64 65 66 67 69 70 72 73 75 81 82 84 87 90 93 95 102 103 104 106 118 119 122 126 128 130 131 132 133 137 140 142 145 146 150 153 157 160 163 164 171 181 187 189 191 192 194 198 206 207 211 213 216 218 220 224 226 227 228 a 4 6 7 11 16 26 28 29 31 32 37 42 47 51 56 59 64 65 66 67 69 70 72 73 75 81 82 84 87 90 93 95 102 103 104 106 119 122 126 128 130 131 132 133 135 137 140 142 145 146 150 153 157 160 163 164 171 181 187 189 191 192 194 198 206 207 211 213 216 218 220 224 226 227 228 a 4 6 7 11 16 26 28 29 31 32 37 42 47 51 56 59 64 65 66 67 69 70 72 73 75 81 82 84 87 90 93 95 102 103 104 106 119 122 126 128 130 131 133 135 137 140 142 145 146 150 153 157 160 163 164 167 171 181 187 189 191 192 194 198 206 207 211 213 216 218 220 224 226 227 228 a 4 6 7 11 16 26 28 29 31 32 37 42 46 47 51 56 59 64 65 66 67 69 70 72 73 75 81 82 84 87 90 93 95 102 103 104 106 119 122 126 128 130 131 133 135 137 140 142 145 146 150 157 160 163 164 167 171 181 187 189 191 192 194 198 206 207 211 213 216 218 220 224 226 227 228 a 4 6 7 11 16 26 28 29 31 32 37 42 46 47 51 56 59 64 65 66 67 69 70 72 73 75 81 82 84 87 90 93 95 102 103 104 106 119 122 126 128 130 131 133 135 137 140 142 145 150 156 157 160 163 164 167 171 181 187 189 191 192 194 198 206 207 211 213 216 218 220 224 226 227 228 a 4 6 7 11 16 26 28 29 31 32 37 42 46 47 51 52 56 59 64 65 66 67 69 70 72 73 75 81 82 84 87 90 93 95 102 103 104 106 119 122 126 128 130 131 133 135 137 140 142 145 150 156 157 160 163 164 167 181 187 189 191 192 194 198 206 207 211 213 216 218 220 224 226 227 228 a 4 6 7 11 26 28 29 31 32 37 42 46 47 51 52 56 59 64 65 66 67 69 70 72 73 75 81 82 84 87 90 93 95 102 103 104 106 114 119 122 126 128 130 131 133 135 137 140 142 145 150 156 157 160 163 164 167 181 187 189 191 192 194 198 206 207 211 213 216 218 220 224 226 227 228 a 4 6 7 11 26 28 29 31 32 36 37 42 46 47 51 52 56 59 64 65 66 67 69 70 72 73 75 81 82 87 90 93 95 102 103 104 106 114 119 122 126 128 130 131 133 135 137 140 142 145 150 156 157 160 163 164 167 181 187 189 191 192 194 198 206 207 211 213 216 218 220 224 226 227 228 a 4 6 7 11 26 28 29 31 32 36 37 42 47 51 52 56 59 64 65 66 67 69 70 72 73 75 81 82 87 90 93 95 102 103 104 106 114 119 122 126 128 130 131 133 135 137 140 142 145 150 153 156 157 160 163 164 167 181 187 189 191 192 194 198 206 207 211 213 216 218 220 224 226 227 228 a 4 6 7 11 26 28 29 31 32 36 37 42 47 51 52 56 59 64 65 66 67 69 70 72 73 75 81 82 87 90 93 95 102 104 106 114 119 122 126 128 130 131 133 135 137 140 142 145 150 153 156 157 160 163 164 167 181 187 189 191 192 194 198 206 207 211 213 216 218 220 222 224 226 227 228 a 4 6 7 11 13 26 28 29 31 32 36 37 47 51 52 56 59 64 65 66 67 69 70 72 73 75 81 82 87 90 93 95 102 104 106 114 119 122 126 128 130 131 133 135 137 140 142 145 150 153 156 157 160 163 164 167 181 187 189 191 192 194 198 206 207 211 213 216 218 220 222 224 226 227 228 a 2 4 6 7 11 13 26 28 29 31 32 36 37 47 51 52 56 59 64 65 66 67 69 70 72 73 75 81 82 87 90 93 95 102 104 106 114 119 122 126 128 130 131 133 135 137 140 142 145 150 153 156 157 160 163 164 167 181 187 189 191 192 194 198 207 211 213 216 218 220 222 224 226 227 228 a 2 4 6 7 11 13 14 26 28 29 31 32 36 37 47 51 52 56 59 64 65 66 67 69 70 72 73 75 81 82 87 90 93 95 102 104 106 114 119 122 126 128 130 131 133 135 137 140 145 150 153 156 157 160 163 164 167 181 187 189 191 192 194 198 207 211 213 216 218 220 222 224 226 227 228 a 2 4 6 7 11 13 14 26 28 29 31 32 36 37 47 51 52 56 59 64 65 66 67 69 70 72 73 75 81 82 87 90 93 95 102 104 106 114 119 122 126 128 130 131 133 135 137 140 145 146 150 153 157 160 163 164 167 181 187 189 191 192 194 198 207 211 213 216 218 220 222 224 226 227 228 a 2 4 6 7 8 11 13 14 26 28 29 31 32 36 37 47 51 52 56 59 64 65 66 67 69 70 72 73 75 81 82 87 90 93 95 102 104 106 114 119 122 126 128 130 131 133 137 140 145 146 150 153 157 160 163 164 167 181 187 189 191 192 194 198 207 211 213 216 218 220 222 224 226 227 228 a 2 4 6 7 8 11 13 14 18 26 28 29 31 32 36 37 47 51 52 56 59 64 65 66 67 69 70 72 73 75 81 82 87 90 93 95 102 104 106 114 119 122 126 128 130 131 133 137 140 145 146 150 153 160 163 164 167 181 187 189 191 192 194 198 207 211 213 216 218 220 222 224 226 227 228 a 2 4 6 7 8 11 13 14 18 23 26 28 29 31 32 36 37 47 51 52 56 59 64 65 66 67 69 70 72 73 75 81 82 87 93 95 102 104 106 114 119 122 126 128 130 131 133 137 140 145 146 150 153 160 163 164 167 181 187 189 191 192 194 198 207 211 213 216 218 220 222 224 226 227 228 a 2 4 6 7 8 11 13 14 18 23 26 28 29 31 32 36 37 47 51 52 56 59 64 65 66 67 69 72 73 75 81 82 87 93 95 102 104 106 114 119 122 126 128 130 131 133 137 140 145 146 150 153 160 163 164 167 181 187 189 191 192 194 198 204 207 211 213 216 218 220 222 224 226 227 228 a 2 4 6 7 8 11 13 14 18 23 26 28 29 31 32 36 37 47 51 52 56 59 64 66 67 69 72 73 75 81 82 87 93 95 102 104 106 114 119 122 126 128 130 131 133 137 140 144 145 146 150 153 160 163 164 167 181 187 189 191 192 194 198 204 207 211 213 216 218 220 222 224 226 227 228 a 2 4 6 7 8 11 13 14 18 23 26 28 29 31 32 36 37 47 51 52 56 59 64 66 67 69 72 73 75 81 82 87 93 95 102 106 114 119 122 126 128 130 131 133 137 140 144 145 146 150 153 160 163 164 167 181 187 189 191 192 194 195 198 204 207 211 213 216 218 220 222 224 226 227 228 a 2 4 6 7 8 11 13 14 18 23 26 28 29 31 32 36 37 47 51 52 56 59 64 66 67 69 72 73 75 81 82 87 93 95 102 106 114 119 122 126 128 130 131 133 137 140 144 145 146 150 153 160 163 164 167 181 187 189 191 192 194 195 198 204 211 213 216 218 219 220 222 224 226 227 228 a 2 4 6 7 8 11 13 14 18 23 26 28 29 31 32 35 36 37 47 51 52 56 59 64 66 67 69 72 73 75 81 82 87 93 95 102 106 114 119 122 126 128 130 131 133 137 140 144 145 146 150 153 160 163 164 167 181 187 191 192 194 195 198 204 211 213 216 218 219 220 222 224 226 227 228 a 2 4 6 7 8 11 13 14 18 23 26 28 29 31 32 35 36 37 47 51 52 56 59 64 66 67 69 72 73 75 81 82 93 95 102 106 114 119 122 126 128 130 131 133 137 140 144 145 146 150 153 159 160 163 164 167 181 187 191 192 194 195 198 204 211 213 216 218 219 220 222 224 226 227 228 a 2 4 6 7 8 11 13 14 18 23 26 28 29 31 32 35 36 37 47 51 52 56 59 64 66 67 72 73 75 81 82 89 93 95 102 106 114 119 122 126 128 130 131 133 137 140 144 145 146 150 153 159 160 163 164 167 181 187 191 192 194 195 198 204 211 213 216 218 219 220 222 224 226 227 228 a 2 4 6 7 8 11 13 14 18 23 26 28 29 31 32 35 36 37 47 51 52 56 59 66 67 72 73 75 81 82 89 93 95 102 106 114 119 122 126 128 130 131 133 137 140 144 145 146 150 153 159 160 163 164 167 181 187 191 192 194 195 198 204 211 213 216 218 219 220 222 224 225 226 227 228 a 2 4 6 7 8 11 13 14 18 23 26 28 29 31 32 35 36 38 47 51 52 56 59 66 67 72 73 75 81 82 89 93 95 102 106 114 119 122 126 128 130 131 133 137 140 144 145 146 150 153 159 160 163 164 167 181 187 191 192 194 195 198 204 211 213 216 218 219 220 222 224 225 226 227 228 a 2 4 6 7 8 11 13 14 18 23 26 28 29 31 32 35 36 38 47 51 52 56 59 66 67 72 73 75 81 82 89 93 95 102 106 114 122 126 128 130 131 133 137 140 144 145 146 150 153 159 160 163 164 167 181 187 191 192 193 194 195 198 204 211 213 216 218 219 220 222 224 225 226 227 228 a 2 4 6 7 8 11 13 14 18 23 26 29 31 32 35 36 38 47 51 52 56 59 66 67 72 73 75 81 82 89 93 95 96 102 106 114 122 126 128 130 131 133 137 140 144 145 146 150 153 159 160 163 164 167 181 187 191 192 193 194 195 198 204 211 213 216 218 219 220 222 224 225 226 227 228 a 2 4 6 7 8 11 13 14 18 23 26 29 31 32 35 36 38 47 51 52 56 59 66 67 72 73 75 81 82 89 93 95 96 102 106 114 122 126 128 130 131 133 137 138 140 144 145 146 150 153 159 160 163 164 167 181 187 191 192 193 194 195 198 204 211 213 216 218 219 220 222 224 225 227 228 a 2 4 6 7 8 11 13 14 18 23 26 29 31 32 35 36 38 47 51 52 56 59 66 67 72 73 75 81 82 89 93 95 96 102 106 114 122 126 128 130 131 133 137 138 140 144 145 146 150 153 159 160 163 164 167 173 181 191 192 193 194 195 198 204 211 213 216 218 219 220 222 224 225 227 228 a 2 4 6 7 8 11 13 14 18 23 26 29 31 32 35 36 38 47 51 52 56 59 66 67 72 73 75 81 82 89 95 96 102 106 114 122 126 128 130 131 133 137 138 139 140 144 145 146 150 153 159 160 163 164 167 173 181 191 192 193 194 195 198 204 211 213 216 218 219 220 222 224 225 227 228 a 2 4 6 7 8 11 13 14 18 23 26 29 31 32 35 36 38 44 47 51 52 56 59 66 67 72 73 75 81 82 89 95 96 102 106 114 122 126 128 130 131 133 137 138 139 140 144 145 146 150 153 159 160 163 164 167 173 181 191 192 193 194 195 198 204 211 213 216 218 219 220 222 224 225 227 a 2 4 6 7 8 11 13 14 18 23 26 29 31 32 35 36 38 44 47 51 52 56 59 66 67 72 73 75 81 82 89 95 96 102 106 114 122 126 128 130 131 133 137 138 139 140 144 145 146 150 153 159 160 163 164 167 172 173 191 192 193 194 195 198 204 211 213 216 218 219 220 222 224 225 227 a 2 4 6 7 8 11 13 14 18 23 26 29 31 32 35 36 38 44 47 51 52 56 59 66 67 72 73 75 81 82 89 95 96 102 106 114 122 126 128 130 131 137 138 139 140 144 145 146 150 153 159 160 163 164 167 172 173 191 192 193 194 195 198 204 211 213 216 218 219 220 222 224 225 227 230 a 2 4 6 7 8 11 13 14 18 23 26 29 31 32 35 36 38 44 47 52 56 59 66 67 72 73 75 81 82 89 95 96 102 106 112 114 122 126 128 130 131 137 138 139 140 144 145 146 150 153 159 160 163 164 167 172 173 191 192 193 194 195 198 204 211 213 216 218 219 220 222 224 225 227 230 a 1 2 4 6 7 8 11 13 14 18 23 26 29 31 32 35 36 38 44 47 52 56 59 66 67 72 73 75 81 82 89 95 96 102 106 112 114 122 126 128 130 131 137 138 139 140 144 145 146 150 153 159 160 163 164 167 172 173 191 192 193 194 195 198 204 211 213 218 219 220 222 224 225 227 230 a 1 2 4 6 8 11 13 14 18 23 26 29 31 32 35 36 38 44 47 52 53 56 59 66 67 72 73 75 81 82 89 95 96 102 106 112 114 122 126 128 130 131 137 138 139 140 144 145 146 150 153 159 160 163 164 167 172 173 191 192 193 194 195 198 204 211 213 218 219 220 222 224 225 227 230 a 1 2 4 6 8 11 13 14 18 23 26 29 31 32 35 36 38 44 47 52 53 59 66 67 72 73 75 81 82 89 95 96 102 106 112 114 122 126 128 130 131 137 138 139 140 144 145 146 150 153 159 160 163 164 167 172 173 179 191 192 193 194 195 198 204 211 213 218 219 220 222 224 225 227 230 a 1 2 4 6 8 11 13 14 18 23 26 29 31 32 35 36 38 44 47 52 53 59 67 72 73 75 81 82 89 95 96 102 106 112 114 122 126 128 130 131 137 138 139 140 144 145 146 150 153 159 160 163 164 167 172 173 179 190 191 192 193 194 195 198 204 211 213 218 219 220 222 224 225 227 230 a 1 2 4 6 8 11 13 14 18 23 26 29 32 35 36 38 40 44 47 52 53 59 67 72 73 75 81 82 89 95 96 102 106 112 114 122 126 128 130 131 137 138 139 140 144 145 146 150 153 159 160 163 164 167 172 173 179 190 191 192 193 194 195 198 204 211 213 218 219 220 222 224 225 227 230 a 1 2 4 6 8 11 13 14 18 23 26 29 32 35 36 38 40 44 47 52 53 59 67 72 73 75 81 82 89 95 96 102 105 106 112 114 122 126 128 130 131 137 138 139 140 144 146 150 153 159 160 163 164 167 172 173 179 190 191 192 193 194 195 198 204 211 213 218 219 220 222 224 225 227 230 a 1 2 4 6 8 11 13 14 18 23 26 29 32 35 36 38 40 44 47 52 53 59 67 72 73 75 81 82 89 95 96 105 106 112 114 122 126 128 130 131 137 138 139 140 144 146 150 153 159 160 163 164 167 172 173 179 190 191 192 193 194 195 198 204 211 213 218 219 220 222 224 225 227 230 233 a 1 2 4 6 8 11 13 14 18 23 26 29 32 35 36 38 40 44 52 53 59 67 72 73 75 81 82 89 95 96 105 106 112 114 122 125 126 128 130 131 137 138 139 140 144 146 150 153 159 160 163 164 167 172 173 179 190 191 192 193 194 195 198 204 211 213 218 219 220 222 224 225 227 230 233 a 1 2 4 6 8 11 13 14 18 23 26 29 32 35 36 38 40 44 52 53 59 67 73 75 81 82 88 89 95 96 105 106 112 114 122 125 126 128 130 131 137 138 139 140 144 146 150 153 159 160 163 164 167 172 173 179 190 191 192 193 194 195 198 204 211 213 218 219 220 222 224 225 227 230 233 a 1 2 4 6 8 11 13 14 18 23 26 29 32 35 36 38 40 44 52 53 59 67 73 75 81 82 88 89 95 96 105 106 112 114 116 122 125 126 128 130 137 138 139 140 144 146 150 153 159 160 163 164 167 172 173 179 190 191 192 193 194 195 198 204 211 213 218 219 220 222 224 225 227 230 233 a 1 2 4 6 8 11 13 14 18 23 26 29 32 35 36 38 40 44 52 53 59 67 73 75 81 82 88 89 95 96 105 106 112 114 116 122 125 126 128 130 137 138 139 140 144 146 150 153 159 160 163 164 167 172 173 179 190 191 192 193 194 195 198 204 211 212 218 219 220 222 224 225 227 230 233 a 1 2 4 6 8 13 14 18 23 26 29 32 35 36 38 40 44 52 53 59 67 73 75 81 82 88 89 95 96 105 106 112 114 116 122 123 125 126 128 130 137 138 139 140 144 146 150 153 159 160 163 164 167 172 173 179 190 191 192 193 194 195 198 204 211 212 218 219 220 222 224 225 227 230 233 a 1 2 4 6 8 13 14 18 23 26 32 35 36 38 40 44 52 53 59 67 73 75 81 82 88 89 95 96 105 106 112 114 116 122 123 125 126 128 130 136 137 138 139 140 144 146 150 153 159 160 163 164 167 172 173 179 190 191 192 193 194 195 198 204 211 212 218 219 220 222 224 225 227 230 233 a 1 2 4 6 8 13 14 18 23 26 32 35 36 38 40 44 52 53 59 67 73 75 81 82 85 88 89 95 96 105 106 112 114 116 122 123 125 126 128 130 136 138 139 140 144 146 150 153 159 160 163 164 167 172 173 179 190 191 192 193 194 195 198 204 211 212 218 219 220 222 224 225 227 230 233 a 1 2 4 6 8 13 14 18 23 26 32 35 36 38 39 40 44 52 53 59 73 75 81 82 85 88 89 95 96 105 106 112 114 116 122 123 125 126 128 130 136 138 139 140 144 146 150 153 159 160 163 164 167 172 173 179 190 191 192 193 194 195 198 204 211 212 218 219 220 222 224 225 227 230 233 a 1 2 4 6 8 13 14 18 23 26 32 35 36 38 39 40 44 52 53 59 73 75 82 85 88 89 95 96 98 105 106 112 114 116 122 123 125 126 128 130 136 138 139 140 144 146 150 153 159 160 163 164 167 172 173 179 190 191 192 193 194 195 198 204 211 212 218 219 220 222 224 225 227 230 233 c Step: 64 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance018_graph001.col /benchmark/random_instance/random_instance018_graph001_01.dat" User time (seconds): 414.48 System time (seconds): 4.29 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:58.80 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): 15888012 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 5236916 Voluntary context switches: 24 Involuntary context switches: 2276 Swaps: 0 File system inputs: 0 File system outputs: 320 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 02:23:23 2023]