#BEGIN: [Tue Sep 26 02:21:25 2023] #HOST: s03 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance022_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance022_graph005_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_instance022_graph005.col /benchmark/random_instance/random_instance022_graph005_01.dat c /benchmark/random_instance/random_instance022_graph005.col c /benchmark/random_instance/random_instance022_graph005_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 55 107 161 22 186 172 141 183 213 65 52 249 224 36 106 189 157 80 180 109 257 11 96 271 276 6 123 272 56 144 164 209 42 91 98 15 227 76 77 244 255 90 74 176 286 243 241 203 282 27 70 40 192 116 99 142 277 251 117 119 100 200 153 212 85 104 195 37 149 60 188 232 273 82 129 71 46 10 122 147 166 87 218 12 145 20 94 133 185 86 79 205 160 155 159 92 217 t 192 82 69 107 68 270 116 60 2 96 166 280 154 271 99 81 91 246 237 117 53 89 41 277 7 98 260 243 183 197 221 276 22 245 187 227 257 174 185 73 27 36 231 213 62 8 200 80 190 217 143 85 42 224 109 44 130 157 118 28 17 235 136 119 164 65 126 212 247 238 193 16 253 103 273 10 232 269 258 254 97 145 284 11 50 33 86 74 15 160 255 159 46 203 121 92 172 a YES a 6 10 11 12 15 20 22 27 36 37 40 42 46 52 55 56 60 65 70 71 74 76 77 79 80 82 85 86 87 90 91 92 94 96 98 99 100 104 106 107 109 116 117 119 122 123 129 133 141 142 144 145 147 149 153 155 157 159 160 161 164 166 172 176 180 183 185 186 188 189 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 249 251 255 257 271 272 273 276 277 282 286 a 6 10 11 12 15 20 22 27 36 37 40 42 46 52 55 56 60 65 70 71 74 76 77 79 80 82 85 86 87 90 91 92 94 98 99 100 104 106 107 109 116 117 119 122 123 129 133 141 142 144 145 147 149 153 155 157 159 160 161 163 164 166 172 176 180 183 185 186 188 189 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 249 251 255 257 271 272 273 276 277 282 286 a 6 10 11 12 15 20 22 27 36 37 40 42 46 52 54 55 56 60 65 70 71 74 76 77 79 80 82 85 86 87 90 91 92 94 98 99 100 104 106 107 109 116 117 119 122 123 129 133 141 142 144 145 147 149 153 155 159 160 161 163 164 166 172 176 180 183 185 186 188 189 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 249 251 255 257 271 272 273 276 277 282 286 a 6 10 11 15 20 22 27 36 37 40 42 43 46 52 54 55 56 60 65 70 71 74 76 77 79 80 82 85 86 87 90 91 92 94 98 99 100 104 106 107 109 116 117 119 122 123 129 133 141 142 144 145 147 149 153 155 159 160 161 163 164 166 172 176 180 183 185 186 188 189 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 249 251 255 257 271 272 273 276 277 282 286 a 6 10 11 15 20 22 27 36 37 40 42 43 46 52 54 55 56 60 65 70 71 74 76 77 79 80 82 85 86 87 90 91 92 94 96 98 99 100 104 106 107 109 116 117 119 122 123 129 133 141 142 144 145 147 149 153 155 159 160 161 164 166 172 176 180 183 185 186 188 189 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 249 251 255 257 271 272 273 276 277 282 286 a 6 10 11 12 15 20 22 27 36 37 40 42 46 52 54 55 56 60 65 70 71 74 76 77 79 80 82 85 86 87 90 91 92 94 96 98 99 100 104 106 107 109 116 117 119 122 123 129 133 141 142 144 145 147 149 153 155 159 160 161 164 166 172 176 180 183 185 186 188 189 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 249 251 255 257 271 272 273 276 277 282 286 a 6 10 11 12 15 20 22 27 36 37 40 42 46 52 54 55 56 60 65 70 71 74 76 77 79 80 82 85 86 87 90 91 92 94 98 99 100 104 106 107 109 116 117 119 122 123 129 133 141 142 144 145 147 149 153 155 159 160 161 163 164 166 172 176 180 183 185 186 188 189 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 249 251 255 257 271 272 273 276 277 282 286 a 6 10 11 12 15 20 22 27 36 37 40 42 46 52 54 55 56 60 65 70 71 74 76 77 79 80 82 85 86 87 90 91 92 94 98 99 100 104 106 107 109 116 117 119 122 123 129 133 141 142 144 145 147 149 155 159 160 161 163 164 166 172 176 180 183 185 186 188 189 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 249 250 251 255 257 271 272 273 276 277 282 286 a 6 10 11 15 20 22 27 36 37 40 42 43 46 52 54 55 56 60 65 70 71 74 76 77 79 80 82 85 86 87 90 91 92 94 98 99 100 104 106 107 109 116 117 119 122 123 129 133 141 142 144 145 147 149 155 159 160 161 163 164 166 172 176 180 183 185 186 188 189 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 249 250 251 255 257 271 272 273 276 277 282 286 a 6 10 11 15 20 22 24 27 36 37 40 42 43 46 52 54 55 56 60 65 70 71 74 76 77 79 80 82 85 86 87 90 91 92 94 98 99 100 104 106 107 109 117 119 122 123 129 133 141 142 144 145 147 149 155 159 160 161 163 164 166 172 176 180 183 185 186 188 189 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 249 250 251 255 257 271 272 273 276 277 282 286 a 6 10 11 15 20 22 24 27 36 37 40 42 43 46 52 54 55 56 60 65 70 71 74 76 77 79 80 82 85 86 87 90 91 92 94 98 99 100 104 106 107 109 117 119 122 123 129 133 141 142 144 145 147 149 155 159 160 161 163 164 166 172 176 180 183 185 186 188 189 190 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 249 250 255 257 271 272 273 276 277 282 286 a 6 10 11 15 20 22 24 27 36 37 40 42 43 52 54 55 56 60 65 70 71 74 76 77 79 80 82 85 86 87 90 91 92 94 98 99 100 104 106 107 109 113 117 119 122 123 129 133 141 142 144 145 147 149 155 159 160 161 163 164 166 172 176 180 183 185 186 188 189 190 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 249 250 255 257 271 272 273 276 277 282 286 a 6 10 11 15 20 22 24 27 36 37 40 42 43 46 52 54 55 56 60 65 70 71 74 76 77 79 80 82 85 86 87 90 91 92 94 98 99 100 104 106 107 109 117 119 122 123 129 133 141 142 144 145 147 149 155 159 160 161 163 164 166 172 176 180 183 185 186 188 189 190 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 249 250 255 257 271 272 273 276 277 282 286 a 6 10 11 15 20 22 24 27 36 37 40 42 43 46 52 54 55 56 60 65 70 71 74 76 79 80 82 85 86 87 89 90 91 92 94 98 99 100 104 106 107 109 117 119 122 123 129 133 141 142 144 145 147 149 155 159 160 161 163 164 166 172 176 180 183 185 186 188 189 190 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 249 250 255 257 271 272 273 276 277 282 286 a 2 6 10 11 15 20 22 24 27 36 37 40 42 43 52 54 55 56 60 65 70 71 74 76 79 80 82 85 86 87 89 90 91 92 94 98 99 100 104 106 107 109 117 119 122 123 129 133 141 142 144 145 147 149 155 159 160 161 163 164 166 172 176 180 183 185 186 188 189 190 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 249 250 255 257 271 272 273 276 277 282 286 a 2 6 10 11 15 20 22 24 27 36 40 42 43 52 54 55 56 60 65 70 71 74 76 79 80 82 85 86 87 89 90 91 92 94 98 99 100 104 106 107 109 117 119 122 123 129 133 141 142 144 145 147 149 155 159 160 161 163 164 166 172 176 180 183 185 186 188 189 190 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 245 249 250 255 257 271 272 273 276 277 282 286 a 2 6 10 11 15 20 22 24 27 36 40 42 43 46 52 54 55 60 65 70 71 74 76 79 80 82 85 86 87 89 90 91 92 94 98 99 100 104 106 107 109 117 119 122 123 129 133 141 142 144 145 147 149 155 159 160 161 163 164 166 172 176 180 183 185 186 188 189 190 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 245 249 250 255 257 271 272 273 276 277 282 286 a 2 6 10 11 15 20 22 24 27 36 40 42 43 46 52 54 55 60 65 70 71 74 76 79 80 82 85 86 87 89 90 91 92 94 98 99 100 104 106 107 109 117 119 122 123 129 133 141 142 144 145 147 149 155 159 160 161 163 164 166 172 176 180 183 185 186 189 190 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 245 249 250 255 257 271 272 273 276 277 282 284 286 a 2 6 10 11 15 20 22 24 27 36 40 42 43 46 52 54 55 60 65 70 71 74 76 79 80 82 85 86 87 89 90 91 92 94 98 99 100 104 106 107 109 117 119 122 123 129 130 133 141 142 144 145 147 149 155 159 160 161 163 164 166 172 176 180 183 185 189 190 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 245 249 250 255 257 271 272 273 276 277 282 284 286 a 2 6 10 11 15 20 22 24 27 36 40 42 43 46 52 53 54 55 60 65 70 71 74 76 79 80 82 85 86 87 89 90 91 92 94 98 99 100 104 106 107 109 117 119 122 123 129 130 133 142 144 145 147 149 155 159 160 161 163 164 166 172 176 180 183 185 189 190 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 245 249 250 255 257 271 272 273 276 277 282 284 286 a 2 6 8 10 11 15 20 22 24 27 36 40 42 43 46 52 53 54 55 60 65 70 71 74 76 79 80 82 85 86 87 89 90 91 92 94 98 99 100 104 106 107 109 117 119 122 123 129 130 133 142 144 145 147 149 159 160 161 163 164 166 172 176 180 183 185 189 190 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 245 249 250 255 257 271 272 273 276 277 282 284 286 a 2 6 8 10 11 15 20 22 24 27 36 40 42 43 46 52 53 54 55 60 62 65 70 71 74 76 79 80 82 85 86 87 89 90 91 92 94 98 99 100 104 106 107 109 117 119 122 123 129 130 133 144 145 147 149 159 160 161 163 164 166 172 176 180 183 185 189 190 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 245 249 250 255 257 271 272 273 276 277 282 284 286 a 2 6 8 10 11 15 20 22 24 27 36 40 42 43 46 52 53 54 55 60 62 65 70 71 74 76 79 80 82 85 86 87 89 90 91 92 94 96 98 99 100 104 106 107 109 117 119 122 123 129 130 133 144 145 147 149 159 160 161 164 166 172 176 180 183 185 189 190 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 245 249 250 255 257 271 272 273 276 277 282 284 286 a 2 6 8 10 11 15 20 22 24 27 36 40 42 43 46 52 53 54 55 60 62 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 94 96 98 99 100 106 107 109 117 119 122 123 129 130 133 144 145 147 149 159 160 161 164 166 172 176 180 183 185 189 190 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 245 249 250 255 257 271 272 273 276 277 282 284 286 a 2 6 8 10 11 15 20 22 24 27 36 40 42 43 46 52 53 54 55 60 62 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 94 96 98 99 100 106 107 109 117 119 122 123 126 129 130 133 144 145 147 149 159 160 161 164 166 172 176 180 183 185 189 190 192 195 200 203 205 209 212 213 217 218 224 227 232 243 244 245 249 250 255 257 271 272 273 276 277 282 284 286 a 2 6 8 10 11 15 20 22 24 27 36 40 42 43 46 52 53 54 55 60 62 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 96 98 99 100 106 107 109 117 119 122 123 126 129 130 133 144 145 147 149 159 160 161 164 166 172 176 180 183 185 189 190 192 193 195 200 203 205 209 212 213 217 218 224 227 232 243 244 245 249 250 255 257 271 272 273 276 277 282 284 286 a 2 6 8 10 11 15 20 22 27 36 40 42 43 46 52 53 54 55 60 62 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 96 98 99 100 106 107 109 116 117 119 122 123 126 129 130 133 144 145 147 149 159 160 161 164 166 172 176 180 183 185 189 190 192 193 195 200 203 205 209 212 213 217 218 224 227 232 243 244 245 249 250 255 257 271 272 273 276 277 282 284 286 a 2 6 8 10 11 15 20 22 27 36 40 42 43 46 52 53 54 55 60 62 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 96 98 99 100 106 107 109 116 117 119 122 123 126 129 130 133 144 145 147 149 159 160 161 164 166 172 176 183 185 189 190 192 193 195 200 203 205 209 212 213 217 218 224 227 232 243 244 245 249 250 255 257 269 271 272 273 276 277 282 284 286 a 2 6 8 10 11 15 16 20 22 27 36 40 42 43 46 53 54 55 60 62 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 96 98 99 100 106 107 109 116 117 119 122 123 126 129 130 133 144 145 147 149 159 160 161 164 166 172 176 183 185 189 190 192 193 195 200 203 205 209 212 213 217 218 224 227 232 243 244 245 249 250 255 257 269 271 272 273 276 277 282 284 286 a 2 6 8 10 11 15 16 20 22 27 36 40 41 42 43 46 53 54 55 60 62 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 96 98 99 100 106 107 109 116 117 119 122 123 126 129 130 133 144 145 147 149 159 160 161 164 166 172 176 183 185 190 192 193 195 200 203 205 209 212 213 217 218 224 227 232 243 244 245 249 250 255 257 269 271 272 273 276 277 282 284 286 a 2 6 8 10 11 15 16 20 22 27 36 40 41 42 43 46 53 54 55 60 62 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 96 98 99 100 106 107 109 116 117 119 122 123 126 129 130 133 144 145 147 149 159 160 161 164 166 172 176 183 185 190 192 193 195 200 203 205 209 212 213 217 218 224 227 232 235 243 244 245 249 250 255 257 269 271 273 276 277 282 284 286 a 2 6 8 10 11 15 16 20 22 27 36 40 41 42 43 46 53 54 55 60 62 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 96 98 99 100 106 107 109 116 117 119 122 123 126 129 130 133 144 145 147 149 159 160 161 164 166 172 183 185 190 192 193 195 200 203 205 209 212 213 217 218 224 227 232 235 243 244 245 247 249 250 255 257 269 271 273 276 277 282 284 286 a 2 6 8 10 11 15 16 20 22 27 36 40 41 42 43 46 53 54 55 60 62 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 96 97 98 99 100 106 107 109 116 117 119 122 123 126 129 130 133 144 145 147 149 159 160 161 164 166 172 183 185 190 192 193 195 200 203 205 209 212 213 217 224 227 232 235 243 244 245 247 249 250 255 257 269 271 273 276 277 282 284 286 a 2 6 8 10 11 15 16 20 22 27 36 40 41 42 43 46 53 54 60 62 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 96 97 98 99 100 106 107 109 116 117 119 122 123 126 129 130 133 144 145 147 149 159 160 161 164 166 172 183 185 190 192 193 195 200 203 205 209 212 213 217 224 227 232 235 243 244 245 247 249 250 254 255 257 269 271 273 276 277 282 284 286 a 2 6 8 10 11 15 16 20 22 27 36 40 41 42 43 46 53 54 60 62 65 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 96 97 98 99 100 106 107 109 116 117 119 122 123 126 129 130 133 144 145 147 149 159 160 161 164 166 172 183 185 190 192 193 195 200 203 209 212 213 217 224 227 232 235 243 244 245 247 249 250 254 255 257 269 271 273 276 277 280 282 284 286 a 2 6 8 10 11 15 16 20 22 27 36 40 41 42 43 46 53 54 60 62 65 69 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 96 97 98 99 100 106 107 109 116 117 119 122 123 126 130 133 144 145 147 149 159 160 161 164 166 172 183 185 190 192 193 195 200 203 209 212 213 217 224 227 232 235 243 244 245 247 249 250 254 255 257 269 271 273 276 277 280 282 284 286 a 2 8 10 11 15 16 20 22 27 36 40 41 42 43 46 53 54 60 62 65 69 70 71 74 76 79 80 81 82 85 86 87 89 90 91 92 96 97 98 99 100 106 107 109 116 117 119 122 123 126 130 133 144 145 147 149 159 160 161 164 166 172 183 185 190 192 193 195 200 203 209 212 213 217 224 227 232 235 243 244 245 247 249 250 254 255 257 260 269 271 273 276 277 280 282 284 286 a 2 8 10 11 15 16 20 22 27 36 40 41 42 43 46 53 54 60 62 65 69 70 71 74 76 79 80 81 82 85 86 89 90 91 92 96 97 98 99 100 106 107 109 116 117 119 122 123 126 130 133 144 145 147 149 159 160 161 164 166 172 183 185 190 192 193 195 200 203 209 212 213 217 224 227 232 235 243 244 245 246 247 249 250 254 255 257 260 269 271 273 276 277 280 282 284 286 a 2 8 10 11 15 16 20 22 27 36 40 41 42 43 46 53 54 60 62 65 69 70 71 74 76 79 80 81 82 85 86 89 90 91 92 96 97 98 99 100 106 107 109 116 117 119 123 126 130 133 143 144 145 147 149 159 160 161 164 166 172 183 185 190 192 193 195 200 203 209 212 213 217 224 227 232 235 243 244 245 246 247 249 250 254 255 257 260 269 271 273 276 277 280 282 284 286 a 2 8 10 11 15 16 20 22 27 36 40 41 42 46 53 54 60 62 65 69 70 71 74 76 79 80 81 82 85 86 89 90 91 92 96 97 98 99 100 106 107 109 116 117 119 123 126 130 133 143 144 145 147 149 159 160 161 164 166 172 183 185 190 192 193 195 200 203 209 212 213 217 224 227 231 232 235 243 244 245 246 247 249 250 254 255 257 260 269 271 273 276 277 280 282 284 286 a 2 8 10 11 15 16 22 27 36 40 41 42 46 53 54 60 62 65 69 70 71 74 76 79 80 81 82 85 86 89 90 91 92 96 97 98 99 100 103 106 107 109 116 117 119 123 126 130 133 143 144 145 147 149 159 160 161 164 166 172 183 185 190 192 193 195 200 203 209 212 213 217 224 227 231 232 235 243 244 245 246 247 249 250 254 255 257 260 269 271 273 276 277 280 282 284 286 a 2 7 8 10 11 15 16 22 27 36 40 41 42 46 53 54 60 62 65 69 70 71 74 76 79 80 81 82 85 86 89 90 91 92 96 97 98 99 100 103 106 107 109 116 117 119 123 126 130 133 143 144 145 147 149 159 160 161 164 166 172 183 185 190 192 193 195 200 203 209 212 213 217 224 227 231 232 235 243 244 245 246 247 249 254 255 257 260 269 271 273 276 277 280 282 284 286 a 2 7 8 10 11 15 16 22 27 36 40 41 42 46 53 54 60 62 65 69 70 71 74 76 79 80 81 82 85 86 89 90 91 92 96 97 98 99 100 103 106 107 109 116 117 119 123 126 130 133 136 143 144 145 147 149 159 160 161 164 166 172 183 185 190 192 193 195 200 203 212 213 217 224 227 231 232 235 243 244 245 246 247 249 254 255 257 260 269 271 273 276 277 280 282 284 286 a 2 7 8 10 11 15 16 22 27 36 41 42 46 53 54 60 62 65 69 70 71 74 76 79 80 81 82 85 86 89 90 91 92 96 97 98 99 100 103 106 107 109 116 117 119 123 126 130 133 136 143 144 145 147 149 159 160 161 164 166 172 183 185 190 192 193 195 200 203 212 213 217 224 227 231 232 235 243 244 245 246 247 249 254 255 257 260 269 270 271 273 276 277 280 282 284 286 a 2 7 8 10 11 15 16 22 27 36 41 42 46 53 54 60 62 65 69 70 71 74 79 80 81 82 85 86 89 90 91 92 96 97 98 99 100 103 106 107 109 116 117 119 123 126 130 133 136 143 144 145 147 149 159 160 161 164 166 172 183 185 190 192 193 195 197 200 203 212 213 217 224 227 231 232 235 243 244 245 246 247 249 254 255 257 260 269 270 271 273 276 277 280 282 284 286 a 2 7 8 10 11 15 16 22 27 36 41 42 46 53 54 60 62 65 69 70 71 74 79 80 81 82 85 86 89 90 91 92 96 97 98 99 103 106 107 109 116 117 119 123 126 130 133 136 143 144 145 147 149 159 160 161 164 166 172 183 185 190 192 193 195 197 200 203 212 213 217 224 227 231 232 235 237 243 244 245 246 247 249 254 255 257 260 269 270 271 273 276 277 280 282 284 286 a 2 7 8 10 11 15 16 22 27 36 41 42 46 53 54 60 62 65 69 70 71 73 74 79 80 81 82 85 86 89 90 91 92 96 97 98 99 103 106 107 109 116 117 119 123 126 130 133 136 143 145 147 149 159 160 161 164 166 172 183 185 190 192 193 195 197 200 203 212 213 217 224 227 231 232 235 237 243 244 245 246 247 249 254 255 257 260 269 270 271 273 276 277 280 282 284 286 a 2 7 8 10 11 15 16 22 27 36 41 42 46 53 54 60 62 65 69 70 73 74 79 80 81 82 85 86 89 90 91 92 96 97 98 99 103 106 107 109 116 117 118 119 123 126 130 133 136 143 145 147 149 159 160 161 164 166 172 183 185 190 192 193 195 197 200 203 212 213 217 224 227 231 232 235 237 243 244 245 246 247 249 254 255 257 260 269 270 271 273 276 277 280 282 284 286 a 2 7 8 10 11 15 16 22 27 36 41 42 46 53 54 60 62 65 69 70 73 74 79 80 81 82 85 86 89 90 91 92 96 97 98 99 103 106 107 109 116 117 118 119 121 123 126 130 133 136 143 145 147 149 159 160 161 164 166 172 183 185 190 192 193 197 200 203 212 213 217 224 227 231 232 235 237 243 244 245 246 247 249 254 255 257 260 269 270 271 273 276 277 280 282 284 286 a 2 7 8 10 11 15 16 22 27 28 36 41 42 46 53 54 60 62 65 69 70 73 74 79 80 81 82 85 86 89 90 91 92 96 97 98 99 103 107 109 116 117 118 119 121 123 126 130 133 136 143 145 147 149 159 160 161 164 166 172 183 185 190 192 193 197 200 203 212 213 217 224 227 231 232 235 237 243 244 245 246 247 249 254 255 257 260 269 270 271 273 276 277 280 282 284 286 a 2 7 8 10 11 15 16 22 27 28 36 41 42 46 53 54 60 62 65 69 70 73 74 79 80 81 82 85 86 89 90 91 92 96 97 98 99 103 107 109 116 117 118 119 121 123 126 130 133 136 143 145 147 149 159 160 161 164 166 172 183 185 190 192 193 197 200 203 212 213 217 224 227 231 232 235 237 238 243 244 245 246 247 249 254 255 257 260 269 270 271 273 276 277 280 284 286 a 2 7 8 10 11 15 16 22 27 28 36 41 42 46 53 54 60 62 65 69 70 73 74 79 80 81 82 85 86 89 90 91 92 96 97 98 99 103 107 109 116 117 118 119 121 123 126 130 133 136 143 145 147 149 159 160 161 164 166 172 174 183 185 190 192 193 197 200 203 212 213 217 224 227 231 232 235 237 238 243 244 245 246 247 249 254 255 257 260 269 270 271 273 276 277 280 284 a 2 7 8 10 11 15 16 22 27 28 36 41 42 46 53 54 60 62 65 68 69 73 74 79 80 81 82 85 86 89 90 91 92 96 97 98 99 103 107 109 116 117 118 119 121 123 126 130 133 136 143 145 147 149 159 160 161 164 166 172 174 183 185 190 192 193 197 200 203 212 213 217 224 227 231 232 235 237 238 243 244 245 246 247 249 254 255 257 260 269 270 271 273 276 277 280 284 a 2 7 8 10 11 15 16 22 27 28 36 41 42 46 53 60 62 65 68 69 73 74 79 80 81 82 85 86 89 90 91 92 96 97 98 99 103 107 109 116 117 118 119 121 123 126 130 133 136 143 145 147 149 157 159 160 161 164 166 172 174 183 185 190 192 193 197 200 203 212 213 217 224 227 231 232 235 237 238 243 244 245 246 247 249 254 255 257 260 269 270 271 273 276 277 280 284 a 2 7 8 10 11 15 16 22 27 28 33 36 41 42 46 53 60 62 65 68 69 73 74 79 80 81 82 85 86 89 90 91 92 96 97 98 99 103 107 109 116 117 118 119 121 123 126 130 133 136 143 145 149 157 159 160 161 164 166 172 174 183 185 190 192 193 197 200 203 212 213 217 224 227 231 232 235 237 238 243 244 245 246 247 249 254 255 257 260 269 270 271 273 276 277 280 284 a 2 7 8 10 11 15 16 22 27 28 33 36 41 42 46 53 60 62 65 68 69 73 74 79 80 81 82 85 86 89 90 91 92 96 97 98 99 103 107 109 116 117 118 119 121 123 126 130 133 136 143 145 149 154 157 159 160 164 166 172 174 183 185 190 192 193 197 200 203 212 213 217 224 227 231 232 235 237 238 243 244 245 246 247 249 254 255 257 260 269 270 271 273 276 277 280 284 a 2 7 8 10 11 15 16 17 22 27 28 33 36 41 42 46 53 60 62 65 68 69 73 74 79 80 81 82 85 86 89 90 91 92 96 97 98 99 103 107 109 116 117 118 119 121 126 130 133 136 143 145 149 154 157 159 160 164 166 172 174 183 185 190 192 193 197 200 203 212 213 217 224 227 231 232 235 237 238 243 244 245 246 247 249 254 255 257 260 269 270 271 273 276 277 280 284 a 2 7 8 10 11 15 16 17 22 27 28 33 36 41 42 44 46 53 60 62 65 68 69 73 74 79 80 81 82 85 86 89 90 91 92 96 97 98 99 103 107 109 116 117 118 119 121 126 130 136 143 145 149 154 157 159 160 164 166 172 174 183 185 190 192 193 197 200 203 212 213 217 224 227 231 232 235 237 238 243 244 245 246 247 249 254 255 257 260 269 270 271 273 276 277 280 284 a 2 7 8 10 11 15 16 17 22 27 28 33 36 41 42 44 46 50 53 60 62 65 68 69 73 74 79 80 81 82 85 86 89 90 91 92 96 97 98 99 103 107 109 116 117 118 119 121 126 130 136 143 145 149 154 157 159 160 164 166 172 174 183 185 190 192 193 197 200 203 212 213 217 224 227 231 232 235 237 238 243 244 245 246 247 254 255 257 260 269 270 271 273 276 277 280 284 a 2 7 8 10 11 15 16 17 22 27 28 33 36 41 42 44 46 50 53 60 62 65 68 69 73 74 79 80 81 82 85 86 89 91 92 96 97 98 99 103 107 109 116 117 118 119 121 126 130 136 143 145 149 154 157 159 160 164 166 172 174 183 185 190 192 193 197 200 203 212 213 217 224 227 231 232 235 237 238 243 244 245 246 247 254 255 257 258 260 269 270 271 273 276 277 280 284 a 2 7 8 10 11 15 16 17 22 27 28 33 36 41 42 44 46 50 53 60 62 65 68 69 73 74 80 81 82 85 86 89 91 92 96 97 98 99 103 107 109 116 117 118 119 121 126 130 136 143 145 149 154 157 159 160 164 166 172 174 183 185 190 192 193 197 200 203 212 213 217 224 227 231 232 235 237 238 243 244 245 246 247 253 254 255 257 258 260 269 270 271 273 276 277 280 284 a 2 7 8 10 11 15 16 17 22 27 28 33 36 41 42 44 46 50 53 60 62 65 68 69 73 74 80 81 82 85 86 89 91 92 96 97 98 99 103 107 109 116 117 118 119 121 126 130 136 143 145 154 157 159 160 164 166 172 174 183 185 187 190 192 193 197 200 203 212 213 217 224 227 231 232 235 237 238 243 244 245 246 247 253 254 255 257 258 260 269 270 271 273 276 277 280 284 a 2 7 8 10 11 15 16 17 22 27 28 33 36 41 42 44 46 50 53 60 62 65 68 69 73 74 80 81 82 85 86 89 91 92 96 97 98 99 103 107 109 116 117 118 119 121 126 130 136 143 145 154 157 159 160 164 166 172 174 183 185 187 190 192 193 197 200 203 212 213 217 221 224 227 231 232 235 237 238 243 245 246 247 253 254 255 257 258 260 269 270 271 273 276 277 280 284 c Step: 62 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance022_graph005.col /benchmark/random_instance/random_instance022_graph005_01.dat" User time (seconds): 353.77 System time (seconds): 7.66 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:01.45 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): 27068756 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 8927500 Voluntary context switches: 27 Involuntary context switches: 582 Swaps: 0 File system inputs: 0 File system outputs: 360 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 02:27:27 2023]