#BEGIN: [Mon Sep 4 13:20:48 2023] #HOST: s07 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance020_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance020_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_instance020_graph001.col /benchmark/random_instance/random_instance020_graph001_01.dat c /benchmark/random_instance/random_instance020_graph001.col c /benchmark/random_instance/random_instance020_graph001_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 66 21 50 92 123 159 25 142 243 143 138 196 189 227 93 3 41 55 12 83 54 15 107 33 180 48 184 133 65 63 17 168 118 232 104 126 163 99 238 260 42 59 255 191 198 244 96 154 78 10 112 150 75 74 97 162 20 5 46 76 61 11 120 32 28 215 172 22 100 210 181 239 199 254 114 235 241 130 58 146 152 t 107 186 160 165 154 143 65 184 240 81 119 28 212 75 169 179 226 117 64 244 220 95 171 158 193 108 80 87 49 140 37 205 58 146 123 19 163 92 215 22 144 115 162 187 225 223 39 133 114 245 217 85 40 35 161 260 72 82 202 177 15 214 59 97 242 21 20 241 110 175 96 124 106 1 232 102 237 206 191 56 70 a YES a 3 5 10 11 12 15 17 20 21 22 25 28 32 33 41 42 46 48 50 54 55 58 59 61 63 65 66 74 75 76 78 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 159 162 163 168 172 180 181 184 189 191 196 198 199 210 215 227 232 235 238 239 241 243 244 254 255 260 a 3 5 10 11 12 15 17 20 21 22 25 28 32 33 41 42 46 48 50 55 58 59 61 63 65 66 74 75 76 78 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 159 162 163 168 172 180 181 184 189 191 196 198 199 210 215 227 232 235 238 239 240 241 243 244 254 255 260 a 3 5 10 11 12 15 17 20 21 22 25 28 32 33 41 42 46 48 50 55 58 59 61 63 65 66 74 75 76 78 83 92 93 96 97 99 100 104 107 114 118 120 123 126 130 133 138 142 143 146 150 152 154 159 162 163 168 172 180 181 184 189 191 196 198 199 209 210 215 227 232 235 238 239 240 241 243 244 254 255 260 a 3 5 10 11 12 15 17 20 21 22 25 28 32 33 41 42 46 48 55 58 59 61 63 65 66 69 74 75 76 78 83 92 93 96 97 99 100 104 107 114 118 120 123 126 130 133 138 142 143 146 150 152 154 159 162 163 168 172 180 181 184 189 191 196 198 199 209 210 215 227 232 235 238 239 240 241 243 244 254 255 260 a 3 5 10 11 12 15 17 20 21 22 25 28 32 33 41 42 46 48 55 58 59 61 63 65 66 69 74 75 76 78 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 159 162 163 168 172 180 181 184 189 191 198 199 209 210 215 227 232 235 238 239 240 241 243 244 254 255 260 a 3 5 10 11 12 15 17 20 21 22 25 28 32 33 41 42 46 48 50 55 58 59 61 63 65 66 74 75 76 78 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 159 162 163 168 172 180 181 184 189 191 198 199 209 210 215 227 232 235 238 239 240 241 243 244 254 255 260 a 3 5 10 11 12 15 17 20 21 22 24 25 28 32 33 41 42 46 48 50 55 58 59 61 63 65 66 74 75 78 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 159 162 163 168 172 180 181 184 189 191 198 199 209 210 215 227 232 235 238 239 240 241 243 244 254 255 260 a 3 5 10 11 12 15 17 20 21 22 24 25 28 32 33 41 42 46 48 55 58 59 61 63 65 66 69 74 75 78 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 159 162 163 168 172 180 181 184 189 191 198 199 209 210 215 227 232 235 238 239 240 241 243 244 254 255 260 a 3 5 10 11 12 15 17 20 21 22 24 25 28 32 33 41 42 44 46 48 55 58 59 61 63 65 69 74 75 78 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 159 162 163 168 172 180 181 184 189 191 198 199 209 210 215 227 232 235 238 239 240 241 243 244 254 255 260 a 3 5 10 11 12 15 17 20 21 22 24 25 28 32 33 41 42 44 46 48 55 58 59 61 63 65 69 74 75 78 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 159 162 163 168 172 180 181 184 189 191 198 199 209 210 215 232 235 238 239 240 241 243 244 249 254 255 260 a 3 5 10 11 12 15 17 20 21 22 24 25 28 32 33 41 42 44 46 48 55 58 59 61 63 65 69 74 75 78 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 159 162 163 168 172 180 181 184 189 191 198 199 209 210 215 232 235 239 240 241 242 243 244 249 254 255 260 a 3 5 10 11 12 15 17 20 21 22 24 25 28 32 33 41 42 44 46 48 50 55 58 59 61 63 65 74 75 78 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 159 162 163 168 172 180 181 184 189 191 198 199 209 210 215 232 235 239 240 241 242 243 244 249 254 255 260 a 3 5 10 11 12 15 17 20 21 22 24 25 28 32 33 41 42 46 48 50 55 58 59 61 63 65 66 74 75 78 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 159 162 163 168 172 180 181 184 189 191 198 199 209 210 215 232 235 239 240 241 242 243 244 249 254 255 260 a 3 5 10 11 12 15 17 20 21 22 24 25 28 32 33 41 42 46 48 50 55 58 59 61 63 65 66 74 75 78 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 159 162 163 168 172 180 181 184 189 191 198 203 209 210 215 232 235 239 240 241 242 243 244 249 254 255 260 a 3 5 10 11 12 15 17 20 21 22 25 28 32 33 41 42 46 48 50 55 58 59 61 63 65 66 74 75 78 83 92 93 96 97 99 100 104 107 108 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 159 162 163 168 172 180 181 184 189 191 198 203 209 210 215 232 235 239 240 241 242 243 244 249 254 255 260 a 3 5 10 11 12 15 17 20 21 22 25 28 32 33 41 42 46 48 55 58 59 61 63 65 66 74 75 78 83 92 93 96 97 99 100 104 107 108 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 159 162 163 168 172 180 181 184 189 191 198 203 209 210 215 232 235 239 240 241 242 243 244 245 249 254 255 260 a 3 5 10 11 12 15 17 20 21 22 25 28 32 33 41 42 46 48 55 58 59 61 63 65 66 74 75 78 83 92 93 96 97 99 100 104 107 108 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 159 161 162 163 168 172 180 181 184 189 191 203 209 210 215 232 235 239 240 241 242 243 244 245 249 254 255 260 a 3 5 10 11 12 15 17 20 21 22 25 28 32 33 41 42 46 48 55 58 59 61 63 65 66 74 75 83 92 93 96 97 99 100 104 107 108 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 159 161 162 163 168 172 180 181 184 189 191 203 209 210 215 225 232 235 239 240 241 242 243 244 245 249 254 255 260 a 3 5 10 11 12 15 17 20 21 22 25 28 32 33 35 41 42 46 48 55 58 59 61 63 65 66 74 75 83 92 93 96 97 99 100 104 107 108 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 159 161 162 163 168 172 180 181 184 189 191 203 209 210 215 225 232 235 239 240 241 242 243 244 245 254 255 260 a 3 5 10 11 12 15 17 20 21 22 25 28 32 33 35 41 42 46 48 49 55 58 59 61 63 65 66 74 75 83 92 93 96 97 99 100 104 107 108 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 161 162 163 168 172 180 181 184 189 191 203 209 210 215 225 232 235 239 240 241 242 243 244 245 254 255 260 a 3 5 11 12 15 17 20 21 22 25 28 32 33 35 41 42 46 48 49 55 58 59 61 63 65 66 74 75 83 92 93 96 97 99 100 104 107 108 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 161 162 163 168 172 180 181 184 189 191 203 205 209 210 215 225 232 235 239 240 241 242 243 244 245 254 255 260 a 3 5 11 12 15 17 20 21 22 25 28 32 33 35 41 42 48 49 55 58 59 61 63 65 66 74 75 83 92 93 96 97 99 100 104 107 108 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 161 162 163 168 172 180 181 184 189 191 203 205 209 210 215 225 232 235 237 239 240 241 242 243 244 245 254 255 260 a 3 5 11 15 17 20 21 22 25 28 32 33 35 39 41 42 48 49 55 58 59 61 63 65 66 74 75 83 92 93 96 97 99 100 104 107 108 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 161 162 163 168 172 180 181 184 189 191 203 205 209 210 215 225 232 235 237 239 240 241 242 243 244 245 254 255 260 a 3 5 11 15 17 20 21 22 25 28 32 33 35 39 41 42 48 49 55 58 59 61 63 65 66 74 75 82 83 92 93 96 97 99 100 104 107 108 112 114 118 120 123 126 130 133 138 143 146 150 152 154 161 162 163 168 172 180 181 184 189 191 203 205 209 210 215 225 232 235 237 239 240 241 242 243 244 245 254 255 260 a 3 5 11 15 17 20 21 22 25 28 32 33 35 39 41 42 48 49 55 58 59 61 63 65 66 74 75 82 83 92 93 96 97 99 100 104 107 108 112 114 118 120 123 126 130 133 138 143 146 150 152 154 161 162 163 168 172 180 181 184 189 191 203 205 210 214 215 225 232 235 237 239 240 241 242 243 244 245 254 255 260 a 3 11 15 17 20 21 22 25 28 32 33 35 39 41 42 48 49 55 58 59 61 63 65 66 74 75 82 83 92 93 96 97 99 100 104 107 108 112 114 118 120 123 126 130 133 138 143 146 150 152 154 161 162 163 168 172 180 181 184 189 191 203 205 210 214 215 217 225 232 235 237 239 240 241 242 243 244 245 254 255 260 a 11 15 17 20 21 22 25 28 32 33 35 39 41 42 48 49 55 58 59 61 63 65 66 70 74 75 82 83 92 93 96 97 99 100 104 107 108 112 114 118 120 123 126 130 133 138 143 146 150 152 154 161 162 163 168 172 180 181 184 189 191 203 205 210 214 215 217 225 232 235 237 239 240 241 242 243 244 245 254 255 260 a 11 15 17 20 21 22 25 28 32 33 35 39 41 42 48 49 55 58 59 61 63 65 66 70 74 75 82 83 92 93 96 97 99 100 104 107 108 112 114 118 119 120 123 126 130 133 138 143 146 150 152 154 161 162 163 168 172 180 181 184 191 203 205 210 214 215 217 225 232 235 237 239 240 241 242 243 244 245 254 255 260 a 11 15 20 21 22 25 28 32 33 35 39 41 42 48 49 55 58 59 61 63 65 66 70 74 75 82 83 92 93 96 97 99 100 104 107 108 112 114 118 119 120 123 126 130 133 138 143 146 150 152 154 161 162 163 168 171 172 180 181 184 191 203 205 210 214 215 217 225 232 235 237 239 240 241 242 243 244 245 254 255 260 a 11 15 20 21 22 25 28 32 33 35 39 41 42 48 49 55 58 59 61 63 65 66 70 74 75 82 83 92 93 96 97 99 100 104 107 108 112 114 118 119 120 123 124 126 130 133 138 143 146 150 152 154 161 162 163 168 171 172 181 184 191 203 205 210 214 215 217 225 232 235 237 239 240 241 242 243 244 245 254 255 260 a 11 15 20 21 22 25 28 32 33 35 39 40 41 42 48 49 55 58 59 61 63 65 66 70 74 75 82 83 92 96 97 99 100 104 107 108 112 114 118 119 120 123 124 126 130 133 138 143 146 150 152 154 161 162 163 168 171 172 181 184 191 203 205 210 214 215 217 225 232 235 237 239 240 241 242 243 244 245 254 255 260 a 15 20 21 22 25 28 32 33 35 39 40 41 42 48 49 55 58 59 61 63 65 66 70 74 75 82 83 92 96 97 99 100 104 107 108 112 114 118 119 120 123 124 126 130 133 138 143 146 150 152 154 161 162 163 168 171 172 181 184 191 193 203 205 210 214 215 217 225 232 235 237 239 240 241 242 243 244 245 254 255 260 a 15 20 21 22 25 28 32 33 35 39 40 41 42 48 49 55 58 59 61 63 65 66 70 74 75 82 83 92 96 97 99 100 104 107 108 112 114 118 119 120 123 124 126 130 133 138 140 143 146 150 152 154 161 162 163 168 171 172 181 184 191 193 203 205 210 214 215 217 225 232 235 237 239 240 241 242 243 244 245 254 260 a 15 20 21 22 25 28 32 33 35 39 40 41 42 48 49 55 58 59 61 65 66 70 74 75 81 82 83 92 96 97 99 100 104 107 108 112 114 118 119 120 123 124 126 130 133 138 140 143 146 150 152 154 161 162 163 168 171 172 181 184 191 193 203 205 210 214 215 217 225 232 235 237 239 240 241 242 243 244 245 254 260 a 15 20 21 22 25 28 32 33 35 39 40 41 42 48 49 55 58 59 61 64 65 66 70 74 75 81 82 92 96 97 99 100 104 107 108 112 114 118 119 120 123 124 126 130 133 138 140 143 146 150 152 154 161 162 163 168 171 172 181 184 191 193 203 205 210 214 215 217 225 232 235 237 239 240 241 242 243 244 245 254 260 a 15 20 21 22 25 28 32 33 35 39 40 41 42 48 49 55 58 59 61 64 65 66 70 74 75 80 81 82 92 96 97 99 100 104 107 108 112 114 118 119 120 123 124 126 130 133 138 140 143 146 150 152 154 161 162 163 171 172 181 184 191 193 203 205 210 214 215 217 225 232 235 237 239 240 241 242 243 244 245 254 260 a 15 20 21 22 25 28 33 35 39 40 41 42 48 49 55 58 59 61 64 65 66 70 74 75 80 81 82 92 96 97 99 100 104 107 108 112 114 117 118 119 120 123 124 126 130 133 138 140 143 146 150 152 154 161 162 163 171 172 181 184 191 193 203 205 210 214 215 217 225 232 235 237 239 240 241 242 243 244 245 254 260 a 15 20 21 22 25 28 33 35 39 40 41 42 48 49 55 58 59 61 64 65 66 70 74 75 80 81 82 85 92 96 97 99 100 104 107 108 112 114 117 118 119 120 123 124 126 130 133 140 143 146 150 152 154 161 162 163 171 172 181 184 191 193 203 205 210 214 215 217 225 232 235 237 239 240 241 242 243 244 245 254 260 a 15 20 21 22 25 28 33 35 39 40 41 42 48 49 55 58 59 61 64 65 66 70 74 75 80 81 82 85 92 96 97 99 100 104 107 108 112 114 117 119 120 123 124 126 130 133 140 143 146 150 152 154 161 162 163 171 172 181 184 191 193 203 205 210 212 214 215 217 225 232 235 237 239 240 241 242 243 244 245 254 260 a 15 20 21 22 25 28 33 35 39 40 41 42 48 49 55 58 59 61 64 65 66 70 74 75 80 81 82 85 92 96 97 99 100 104 107 108 112 114 117 119 120 123 124 126 130 133 140 143 146 150 152 154 158 161 162 163 171 172 181 184 191 193 205 210 212 214 215 217 225 232 235 237 239 240 241 242 243 244 245 254 260 a 15 20 21 22 25 28 33 35 39 40 41 42 48 49 55 58 59 61 64 65 66 70 74 75 80 81 82 85 92 96 97 99 100 104 107 108 110 112 114 117 119 123 124 126 130 133 140 143 146 150 152 154 158 161 162 163 171 172 181 184 191 193 205 210 212 214 215 217 225 232 235 237 239 240 241 242 243 244 245 254 260 a 15 20 21 22 28 33 35 39 40 41 42 48 49 55 56 58 59 61 64 65 66 70 74 75 80 81 82 85 92 96 97 99 100 104 107 108 110 112 114 117 119 123 124 126 130 133 140 143 146 150 152 154 158 161 162 163 171 172 181 184 191 193 205 210 212 214 215 217 225 232 235 237 239 240 241 242 243 244 245 254 260 a 15 20 21 22 28 33 35 39 40 41 42 48 49 55 56 58 59 61 64 65 66 70 74 75 80 81 82 85 92 96 97 99 100 107 108 110 112 114 117 119 123 124 126 130 133 140 143 144 146 150 152 154 158 161 162 163 171 172 181 184 191 193 205 210 212 214 215 217 225 232 235 237 239 240 241 242 243 244 245 254 260 a 15 20 21 22 28 33 35 39 40 41 42 48 49 55 56 58 59 61 64 65 66 70 74 75 80 81 82 85 92 96 97 99 100 107 108 110 112 114 117 119 123 124 126 130 133 140 143 144 146 150 154 158 161 162 163 171 172 179 181 184 191 193 205 210 212 214 215 217 225 232 235 237 239 240 241 242 243 244 245 254 260 a 15 20 21 22 28 33 35 39 40 41 42 48 49 55 56 58 59 61 64 65 66 70 74 75 80 81 82 85 92 96 97 99 100 107 108 110 112 114 117 119 123 124 126 130 133 140 143 144 146 154 158 161 162 163 169 171 172 179 181 184 191 193 205 210 212 214 215 217 225 232 235 237 239 240 241 242 243 244 245 254 260 a 15 20 21 22 28 33 35 39 40 41 42 48 49 55 56 58 59 61 64 65 66 70 74 75 80 81 82 85 92 96 97 99 100 102 107 108 110 112 114 117 119 123 124 126 130 133 140 143 144 146 154 158 161 162 163 169 171 172 179 181 184 191 193 205 210 212 214 215 217 225 232 235 237 240 241 242 243 244 245 254 260 a 1 15 20 21 22 28 33 35 39 40 41 42 48 49 55 56 58 59 61 64 65 66 70 74 75 80 81 82 85 92 96 97 99 100 102 107 108 110 112 114 117 119 123 124 126 130 133 140 143 144 146 154 158 161 162 163 169 171 172 179 184 191 193 205 210 212 214 215 217 225 232 235 237 240 241 242 243 244 245 254 260 a 1 15 20 21 22 28 33 35 39 40 41 42 48 49 55 56 58 59 61 64 65 66 70 75 80 81 82 85 92 96 97 99 100 102 107 108 110 112 114 117 119 123 124 126 130 133 140 143 144 146 154 158 161 162 163 169 171 172 179 184 191 193 205 210 212 214 215 217 220 225 232 235 237 240 241 242 243 244 245 254 260 a 1 15 20 21 22 28 35 39 40 41 42 48 49 55 56 58 59 61 64 65 66 70 75 80 81 82 85 92 96 97 99 100 102 107 108 110 112 114 117 119 123 124 126 130 133 140 143 144 146 154 158 160 161 162 163 169 171 172 179 184 191 193 205 210 212 214 215 217 220 225 232 235 237 240 241 242 243 244 245 254 260 a 1 15 20 21 22 28 35 39 40 41 42 48 49 56 58 59 61 64 65 66 70 75 80 81 82 85 87 92 96 97 99 100 102 107 108 110 112 114 117 119 123 124 126 130 133 140 143 144 146 154 158 160 161 162 163 169 171 172 179 184 191 193 205 210 212 214 215 217 220 225 232 235 237 240 241 242 243 244 245 254 260 a 1 15 20 21 22 28 35 39 40 41 42 49 56 58 59 61 64 65 66 70 75 80 81 82 85 87 92 96 97 99 100 102 107 108 110 112 114 117 119 123 124 126 130 133 140 143 144 146 154 158 160 161 162 163 169 171 172 175 179 184 191 193 205 210 212 214 215 217 220 225 232 235 237 240 241 242 243 244 245 254 260 a 1 15 19 20 21 22 28 35 39 40 41 42 49 56 58 59 61 64 65 70 75 80 81 82 85 87 92 96 97 99 100 102 107 108 110 112 114 117 119 123 124 126 130 133 140 143 144 146 154 158 160 161 162 163 169 171 172 175 179 184 191 193 205 210 212 214 215 217 220 225 232 235 237 240 241 242 243 244 245 254 260 a 1 15 19 20 21 22 28 35 39 40 41 42 49 56 58 59 61 64 65 70 75 80 81 82 85 87 92 96 97 99 102 107 108 110 112 114 117 119 123 124 126 130 133 140 143 144 146 154 158 160 161 162 163 169 171 172 175 179 184 191 193 205 210 212 214 215 217 220 223 225 232 235 237 240 241 242 243 244 245 254 260 a 1 15 19 20 21 22 28 35 39 40 41 42 49 56 58 59 61 64 65 70 75 80 81 82 85 87 92 96 97 99 102 107 108 110 112 114 117 119 123 124 126 133 140 143 144 146 154 158 160 161 162 163 165 169 171 172 175 179 184 191 193 205 210 212 214 215 217 220 223 225 232 235 237 240 241 242 243 244 245 254 260 a 1 15 19 20 21 22 28 35 39 40 41 49 56 58 59 61 64 65 70 75 80 81 82 85 87 92 96 97 99 102 107 108 110 112 114 117 119 123 124 126 133 140 143 144 146 154 158 160 161 162 163 165 169 171 172 175 179 184 191 193 205 210 212 214 215 217 220 223 225 226 232 235 237 240 241 242 243 244 245 254 260 a 1 15 19 20 21 22 28 35 39 40 41 49 56 58 59 61 64 65 70 72 75 80 81 82 85 87 92 96 97 99 102 107 108 110 112 114 117 119 123 124 126 133 140 143 144 146 154 158 160 161 162 163 165 169 171 172 175 179 184 191 193 205 210 212 214 215 217 220 223 225 226 232 235 237 240 241 242 243 244 245 260 a 1 15 19 20 21 22 28 35 39 40 41 49 56 58 59 61 64 65 70 72 75 80 81 82 85 87 92 96 97 99 102 107 108 110 112 114 117 119 123 124 133 140 143 144 146 154 158 160 161 162 163 165 169 171 172 175 179 184 191 193 202 205 210 212 214 215 217 220 223 225 226 232 235 237 240 241 242 243 244 245 260 a 1 15 19 20 21 22 28 35 39 40 41 49 56 58 59 61 64 65 70 72 75 80 81 82 85 87 92 95 96 97 99 102 107 108 110 112 114 117 119 123 124 133 140 143 144 146 154 158 160 161 162 163 165 169 171 172 175 179 184 191 193 202 205 210 212 214 215 217 220 223 225 226 232 237 240 241 242 243 244 245 260 a 1 15 19 20 21 22 28 35 39 40 49 56 58 59 61 64 65 70 72 75 80 81 82 85 87 92 95 96 97 99 102 107 108 110 112 114 115 117 119 123 124 133 140 143 144 146 154 158 160 161 162 163 165 169 171 172 175 179 184 191 193 202 205 210 212 214 215 217 220 223 225 226 232 237 240 241 242 243 244 245 260 a 1 15 19 20 21 22 28 35 39 40 49 56 58 59 61 64 65 70 72 75 80 81 82 85 87 92 95 96 97 99 102 107 108 110 112 114 115 117 119 123 124 133 140 143 144 146 154 158 160 161 162 163 165 169 171 172 175 179 184 191 193 202 205 206 210 212 214 215 217 220 223 225 226 232 237 240 241 242 244 245 260 a 1 15 19 20 21 22 28 35 39 40 49 56 58 59 64 65 70 72 75 80 81 82 85 87 92 95 96 97 99 102 107 108 110 112 114 115 117 119 123 124 133 140 143 144 146 154 158 160 161 162 163 165 169 171 172 175 179 184 186 191 193 202 205 206 210 212 214 215 217 220 223 225 226 232 237 240 241 242 244 245 260 a 1 15 19 20 21 22 28 35 37 39 40 49 56 58 59 64 65 70 72 75 80 81 82 85 87 92 95 96 97 99 102 107 108 110 112 114 115 117 119 123 124 133 140 143 144 146 154 158 160 161 162 163 165 169 171 172 175 179 184 186 191 193 202 205 206 212 214 215 217 220 223 225 226 232 237 240 241 242 244 245 260 a 1 15 19 20 21 22 28 35 37 39 40 49 56 58 59 64 65 70 72 75 80 81 82 85 87 92 95 96 97 102 107 108 110 112 114 115 117 119 123 124 133 140 143 144 146 154 158 160 161 162 163 165 169 171 172 175 177 179 184 186 191 193 202 205 206 212 214 215 217 220 223 225 226 232 237 240 241 242 244 245 260 a 1 15 19 20 21 22 28 35 37 39 40 49 56 58 59 64 65 70 72 75 80 81 82 85 87 92 95 96 97 102 107 108 110 112 114 115 117 119 123 124 133 140 143 144 146 154 158 160 161 162 163 165 169 171 175 177 179 184 186 187 191 193 202 205 206 212 214 215 217 220 223 225 226 232 237 240 241 242 244 245 260 a 1 15 19 20 21 22 28 35 37 39 40 49 56 58 59 64 65 70 72 75 80 81 82 85 87 92 95 96 97 102 106 107 108 110 114 115 117 119 123 124 133 140 143 144 146 154 158 160 161 162 163 165 169 171 175 177 179 184 186 187 191 193 202 205 206 212 214 215 217 220 223 225 226 232 237 240 241 242 244 245 260 c Step: 64 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance020_graph001.col /benchmark/random_instance/random_instance020_graph001_01.dat" User time (seconds): 355.13 System time (seconds): 5.93 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:01.09 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): 22243612 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 7319663 Voluntary context switches: 28 Involuntary context switches: 1949 Swaps: 0 File system inputs: 0 File system outputs: 328 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 13:26:50 2023]