#BEGIN: [Mon Sep 4 12:52:51 2023] #HOST: s12 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance021_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance021_graph003_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent /benchmark/random_instance/random_instance021_graph003.col /benchmark/random_instance/random_instance021_graph003_01.dat c /benchmark/random_instance/random_instance021_graph003.col c /benchmark/random_instance/random_instance021_graph003_01.dat *** Info : (clingo): INTERRUPTED by signal! s 84 245 85 234 144 83 218 154 256 265 223 20 255 72 157 147 112 58 69 193 13 257 95 186 98 203 75 175 51 73 212 270 3 251 235 240 56 127 44 170 63 114 143 252 239 97 205 200 267 52 199 59 104 168 126 91 48 32 195 88 78 225 215 213 237 190 120 90 241 19 37 148 173 24 70 132 50 80 38 229 182 273 233 264 176 183 23 228 t 228 217 174 191 68 113 167 19 163 12 183 265 109 96 50 256 36 154 245 14 70 248 260 45 184 88 236 146 110 229 133 192 169 214 81 123 147 75 209 51 233 185 60 199 9 24 230 49 61 91 25 67 211 267 54 182 254 249 64 59 206 97 156 44 175 241 266 197 195 23 177 150 78 73 34 22 87 176 33 264 215 222 93 235 57 157 3 53 a YES a 3 13 19 20 23 24 32 37 38 44 48 50 51 52 56 58 59 63 69 70 72 73 75 78 80 83 84 85 88 90 91 95 97 98 104 112 114 120 126 127 132 143 144 147 148 154 157 168 170 173 175 176 182 183 186 190 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 270 273 a 3 13 19 20 23 24 32 37 38 44 48 50 51 52 56 58 59 63 69 70 72 75 78 80 83 84 85 88 90 91 94 95 97 98 104 112 114 120 126 127 132 143 144 147 148 154 157 168 170 173 175 176 182 183 186 190 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 270 273 a 3 13 19 20 23 24 32 37 38 44 48 50 51 52 56 58 59 63 69 70 72 75 78 80 83 85 88 90 91 94 95 97 98 104 112 114 120 126 127 132 143 144 147 148 152 154 157 168 170 173 175 176 182 183 186 190 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 270 273 a 3 13 19 20 23 24 32 37 38 44 48 50 51 52 56 58 59 63 69 70 72 73 75 78 80 83 85 88 90 91 95 97 98 104 112 114 120 126 127 132 143 144 147 148 152 154 157 168 170 173 175 176 182 183 186 190 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 270 273 a 3 13 19 20 23 24 32 37 38 44 50 51 52 56 58 59 63 69 70 72 73 75 78 80 83 85 88 90 91 95 97 98 104 112 114 116 120 126 127 132 143 144 147 148 152 154 157 168 170 173 175 176 182 183 186 190 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 270 273 a 3 13 19 20 23 24 32 37 38 44 50 51 52 58 59 63 69 70 72 73 75 78 80 83 85 88 90 91 95 97 98 104 112 114 116 120 126 127 132 134 143 144 147 148 152 154 157 168 170 173 175 176 182 183 186 190 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 270 273 a 3 13 19 20 23 24 32 37 38 44 48 50 51 52 58 59 63 69 70 72 73 75 78 80 83 85 88 90 91 95 97 98 104 112 114 120 126 127 132 134 143 144 147 148 152 154 157 168 170 173 175 176 182 183 186 190 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 270 273 a 3 13 19 20 23 24 32 37 38 44 48 50 51 52 58 59 63 69 70 72 75 78 80 83 85 88 90 91 94 95 97 98 104 112 114 120 126 127 132 134 143 144 147 148 152 154 157 168 170 173 175 176 182 183 186 190 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 270 273 a 3 13 19 20 23 24 32 37 38 44 50 51 52 58 59 63 69 70 72 75 78 80 83 85 88 90 91 94 95 97 98 104 112 114 116 120 126 127 132 134 143 144 147 148 152 154 157 168 170 173 175 176 182 183 186 190 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 270 273 a 3 13 19 20 23 24 32 37 38 44 50 51 52 58 59 63 69 70 72 75 78 80 83 85 88 90 91 94 95 97 98 104 112 116 120 126 127 132 134 143 144 147 148 152 154 157 168 170 173 175 176 182 183 186 190 191 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 270 273 a 3 13 19 20 23 24 32 37 38 44 50 51 52 58 59 63 69 70 72 75 78 80 85 88 90 91 94 95 97 98 104 112 116 120 126 127 132 133 134 143 144 147 148 152 154 157 168 170 173 175 176 182 183 186 190 191 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 270 273 a 3 7 13 19 20 23 24 32 37 38 44 50 51 52 58 59 63 69 70 72 75 78 80 85 88 90 91 94 95 97 98 104 116 120 126 127 132 133 134 143 144 147 148 152 154 157 168 170 173 175 176 182 183 186 190 191 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 270 273 a 3 7 13 19 20 23 24 32 37 38 44 50 51 52 54 58 59 63 69 70 72 75 78 80 85 88 90 91 94 95 97 98 104 116 120 126 127 132 133 134 143 144 147 148 152 154 157 168 170 173 175 176 182 183 186 190 191 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 273 a 3 7 13 19 20 23 24 32 37 38 44 50 51 52 54 58 59 63 69 70 72 75 78 80 85 88 90 91 94 95 97 98 104 116 120 127 132 133 134 143 144 147 148 152 154 157 168 170 173 175 176 182 183 186 190 191 193 195 199 200 203 205 209 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 273 a 3 7 13 19 20 23 24 32 37 38 44 50 51 54 58 59 63 69 70 72 75 78 80 85 88 90 91 94 95 97 98 104 109 116 120 127 132 133 134 143 144 147 148 152 154 157 168 170 173 175 176 182 183 186 190 191 193 195 199 200 203 205 209 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 273 a 3 7 13 19 20 23 24 32 37 38 44 50 51 54 58 59 61 63 69 70 72 75 78 80 85 88 90 91 94 95 97 98 104 109 116 120 127 132 133 134 143 144 147 148 152 154 157 168 170 173 175 176 182 183 186 191 193 195 199 200 203 205 209 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 273 a 3 7 13 19 20 23 24 32 37 38 44 50 51 54 58 59 61 63 69 70 72 75 78 80 85 88 90 91 94 95 96 97 98 104 109 116 120 127 132 133 134 143 144 147 148 152 154 157 168 170 173 175 176 182 183 186 191 193 195 199 200 203 205 209 212 213 215 218 223 225 228 229 233 234 235 237 239 240 245 251 252 255 256 257 264 265 267 273 a 3 7 13 19 20 23 24 32 37 38 44 50 51 54 58 59 61 63 69 70 72 75 78 80 81 85 88 90 91 94 95 96 97 98 104 109 116 120 127 132 133 134 143 144 147 148 152 154 157 168 170 173 175 176 182 183 186 191 193 195 199 200 203 205 209 212 215 218 223 225 228 229 233 234 235 237 239 240 245 251 252 255 256 257 264 265 267 273 a 3 7 13 19 20 23 24 37 38 44 50 51 54 58 59 60 61 63 69 70 72 75 78 80 81 85 88 90 91 94 95 96 97 98 104 109 116 120 127 132 133 134 143 144 147 148 152 154 157 168 170 173 175 176 182 183 186 191 193 195 199 200 203 205 209 212 215 218 223 225 228 229 233 234 235 237 239 240 245 251 252 255 256 257 264 265 267 273 a 3 7 13 19 20 23 24 37 38 44 50 51 54 58 59 60 61 63 69 70 72 75 78 80 81 85 88 90 91 94 95 96 97 98 104 109 116 120 127 132 133 134 143 144 147 148 152 154 157 168 170 173 175 176 182 183 186 191 193 195 199 200 203 205 209 212 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 a 3 7 13 19 20 23 24 37 38 44 50 51 54 58 59 60 61 63 69 70 72 75 78 80 81 85 88 90 91 94 95 96 97 98 104 109 116 120 127 132 133 134 143 144 147 148 152 154 157 168 170 173 175 176 182 183 186 191 195 199 200 203 205 209 212 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 251 252 255 256 257 264 265 267 a 3 7 13 19 20 23 24 37 38 44 50 51 54 58 59 60 61 63 69 70 72 75 78 80 81 85 87 88 90 91 94 95 96 97 98 104 109 116 120 127 132 133 134 143 144 147 148 152 154 157 168 170 173 175 176 182 183 186 191 195 199 200 203 205 209 212 215 218 223 228 229 233 234 235 236 237 239 240 241 245 251 252 255 256 257 264 265 267 a 3 7 13 19 20 23 24 37 38 44 50 51 54 58 59 60 61 63 69 70 72 75 78 80 81 85 87 88 90 91 94 95 96 97 98 104 109 116 120 127 132 133 134 143 144 147 148 152 154 157 168 170 173 174 175 176 182 183 186 191 195 199 200 203 205 209 212 215 218 228 229 233 234 235 236 237 239 240 241 245 251 252 255 256 257 264 265 267 a 3 7 9 13 19 20 23 24 37 38 44 50 51 54 58 59 60 61 63 69 70 72 75 78 80 81 85 87 88 90 91 94 95 96 97 98 104 109 116 120 127 132 133 134 143 144 147 148 152 154 157 168 170 173 174 175 176 182 183 186 191 195 199 200 203 205 209 212 215 218 228 229 233 234 235 236 237 240 241 245 251 252 255 256 257 264 265 267 a 3 7 9 13 19 20 23 24 37 38 44 49 50 51 54 58 59 60 61 63 69 70 72 75 78 80 81 85 87 88 90 91 94 95 96 97 98 104 109 116 120 127 132 133 134 143 144 147 148 152 154 157 168 170 173 174 175 176 182 183 186 191 195 199 200 205 209 212 215 218 228 229 233 234 235 236 237 240 241 245 251 252 255 256 257 264 265 267 a 3 7 9 13 19 20 23 24 37 38 44 49 50 51 54 58 59 60 61 63 69 70 72 75 78 80 81 85 87 88 90 91 94 95 96 97 98 104 109 116 120 132 133 134 143 144 147 148 152 154 157 168 170 173 174 175 176 177 182 183 186 191 195 199 200 205 209 212 215 218 228 229 233 234 235 236 237 240 241 245 251 252 255 256 257 264 265 267 a 3 7 9 13 19 20 23 24 33 37 38 44 49 50 51 54 58 59 60 61 63 69 70 72 75 78 80 81 85 87 88 90 91 94 95 96 97 98 104 109 116 120 132 133 134 143 144 147 148 152 154 157 168 170 173 174 175 176 177 182 183 186 191 195 199 200 209 212 215 218 228 229 233 234 235 236 237 240 241 245 251 252 255 256 257 264 265 267 a 3 7 9 13 19 20 23 24 33 37 38 44 49 50 51 54 58 59 60 61 63 69 70 72 75 78 80 81 85 87 88 90 91 95 96 97 98 104 109 116 120 132 133 134 143 144 147 148 152 154 157 163 168 170 173 174 175 176 177 182 183 186 191 195 199 200 209 212 215 218 228 229 233 234 235 236 237 240 241 245 251 252 255 256 257 264 265 267 a 3 7 9 13 19 20 23 24 33 37 38 44 49 50 51 54 58 59 60 61 63 69 70 72 73 75 78 80 81 85 87 88 90 91 95 96 97 104 109 116 120 132 133 134 143 144 147 148 152 154 157 163 168 170 173 174 175 176 177 182 183 186 191 195 199 200 209 212 215 218 228 229 233 234 235 236 237 240 241 245 251 252 255 256 257 264 265 267 a 3 7 9 13 19 20 23 24 33 37 38 44 49 50 51 54 59 60 61 63 69 70 72 73 75 78 80 81 85 87 88 90 91 95 96 97 104 109 116 120 132 133 134 143 144 147 148 152 154 157 163 168 170 173 174 175 176 177 182 183 186 191 195 199 200 209 211 212 215 218 228 229 233 234 235 236 237 240 241 245 251 252 255 256 257 264 265 267 a 3 7 9 13 19 20 23 24 33 37 38 44 49 50 51 54 59 60 61 63 69 70 72 73 75 78 80 81 85 87 88 90 91 95 96 97 104 109 116 123 132 133 134 143 144 147 148 152 154 157 163 168 170 173 174 175 176 177 182 183 186 191 195 199 200 209 211 212 215 218 228 229 233 234 235 236 237 240 241 245 251 252 255 256 257 264 265 267 a 3 7 9 13 19 20 23 24 33 37 38 44 49 50 51 54 59 60 61 63 69 70 72 73 75 78 80 81 85 87 88 90 91 95 96 97 104 109 110 116 123 132 133 134 143 144 147 148 152 154 157 163 168 170 173 174 175 176 177 182 183 186 191 195 199 200 209 211 212 215 228 229 233 234 235 236 237 240 241 245 251 252 255 256 257 264 265 267 a 3 7 9 13 19 20 23 24 33 37 38 44 49 50 51 54 59 60 61 63 67 69 70 72 73 75 78 80 81 85 87 88 90 91 95 96 97 104 109 110 116 123 132 133 134 143 144 147 148 152 154 157 163 168 170 173 174 175 176 177 182 183 186 191 195 199 209 211 212 215 228 229 233 234 235 236 237 240 241 245 251 252 255 256 257 264 265 267 a 3 7 9 13 19 23 24 33 37 38 44 49 50 51 54 59 60 61 63 67 69 70 72 73 75 78 80 81 85 87 88 90 91 95 96 97 104 109 110 116 123 132 133 134 143 144 147 148 152 154 157 163 168 170 173 174 175 176 177 182 183 186 191 195 199 209 211 212 215 222 228 229 233 234 235 236 237 240 241 245 251 252 255 256 257 264 265 267 a 3 7 9 13 19 23 24 33 37 38 44 49 50 51 54 59 60 61 63 64 67 69 70 72 73 75 78 80 81 85 87 88 90 91 95 96 97 104 109 110 116 123 132 133 134 143 144 147 152 154 157 163 168 170 173 174 175 176 177 182 183 186 191 195 199 209 211 212 215 222 228 229 233 234 235 236 237 240 241 245 251 252 255 256 257 264 265 267 a 3 7 9 13 19 22 23 24 33 37 38 44 49 50 51 54 59 60 61 63 64 67 69 70 72 73 75 78 80 81 85 87 88 90 91 95 96 97 104 109 110 116 123 132 133 134 143 144 147 152 154 157 163 168 170 173 174 175 176 177 182 183 186 191 195 199 209 211 215 222 228 229 233 234 235 236 237 240 241 245 251 252 255 256 257 264 265 267 a 3 7 9 13 19 22 23 24 33 37 38 44 49 50 51 54 59 60 61 63 64 67 69 70 72 73 75 78 80 81 85 87 88 90 91 95 96 97 109 110 116 123 132 133 134 143 144 147 152 154 157 163 168 170 173 174 175 176 177 182 183 186 191 195 199 209 211 215 222 228 229 230 233 234 235 236 237 240 241 245 251 252 255 256 257 264 265 267 a 3 7 9 13 19 22 23 24 33 37 38 44 49 50 51 54 59 60 61 63 64 67 68 69 70 72 73 75 78 80 81 85 87 88 90 91 95 96 97 109 110 116 123 132 133 134 143 144 147 154 157 163 168 170 173 174 175 176 177 182 183 186 191 195 199 209 211 215 222 228 229 230 233 234 235 236 237 240 241 245 251 252 255 256 257 264 265 267 a 3 7 9 13 19 22 23 24 33 37 38 44 49 50 51 54 59 60 61 63 64 67 68 69 70 72 73 75 78 80 81 85 87 88 90 91 95 96 97 109 110 116 123 132 133 134 143 144 147 154 157 163 168 169 170 173 174 175 176 177 182 183 186 191 195 199 209 211 215 222 228 229 230 233 234 235 236 240 241 245 251 252 255 256 257 264 265 267 a 3 7 9 13 19 22 23 24 33 36 37 38 44 49 50 51 54 59 60 61 63 64 67 68 70 72 73 75 78 80 81 85 87 88 90 91 95 96 97 109 110 116 123 132 133 134 143 144 147 154 157 163 168 169 170 173 174 175 176 177 182 183 186 191 195 199 209 211 215 222 228 229 230 233 234 235 236 240 241 245 251 252 255 256 257 264 265 267 a 3 7 9 13 19 22 23 24 33 36 37 38 44 49 50 51 54 59 60 61 63 64 67 68 70 72 73 75 78 80 81 85 87 88 90 91 95 96 97 109 110 116 123 132 133 134 143 144 147 154 157 163 167 168 169 170 173 174 175 176 177 182 183 186 191 195 199 209 211 215 222 228 229 230 233 234 235 236 240 241 245 251 252 256 257 264 265 267 a 3 7 9 13 19 22 23 24 33 36 37 38 44 49 50 51 54 57 59 60 61 63 64 67 68 70 72 73 75 78 80 81 85 87 88 90 91 95 96 97 109 110 116 123 132 133 134 143 144 147 154 157 163 167 168 169 170 173 174 175 176 177 182 183 186 191 195 199 209 211 215 222 228 229 230 233 234 235 236 240 241 245 251 256 257 264 265 267 a 3 7 9 13 19 22 23 24 33 36 37 38 44 49 50 51 54 57 59 60 61 63 64 67 68 70 72 73 75 78 80 81 85 87 88 90 91 95 96 97 109 110 116 123 132 133 134 143 144 147 154 157 163 167 168 169 170 173 174 175 176 177 182 183 186 191 195 199 209 211 215 222 228 229 230 233 234 235 236 240 241 245 256 257 260 264 265 267 a 3 7 9 13 19 22 23 24 33 36 37 38 44 49 50 51 54 57 59 60 61 63 64 67 68 70 72 73 75 78 80 81 85 87 88 90 91 95 96 97 109 110 116 123 132 133 134 143 144 147 154 157 163 167 168 169 173 174 175 176 177 182 183 186 191 195 199 209 211 215 222 228 229 230 233 234 235 236 240 241 245 256 257 260 264 265 266 267 a 3 7 9 13 19 22 23 24 33 36 37 38 44 49 50 51 54 57 59 60 61 63 64 67 68 70 72 73 75 78 80 81 85 87 88 90 91 95 96 97 109 110 113 116 123 133 134 143 144 147 154 157 163 167 168 169 173 174 175 176 177 182 183 186 191 195 199 209 211 215 222 228 229 230 233 234 235 236 240 241 245 256 257 260 264 265 266 267 a 3 7 9 13 19 22 23 24 33 34 36 37 38 44 49 50 51 54 57 59 60 61 63 64 67 68 70 72 73 75 78 80 81 85 87 88 90 91 95 96 97 109 110 113 116 123 133 134 143 144 147 154 157 163 167 168 169 173 174 175 176 177 182 183 191 195 199 209 211 215 222 228 229 230 233 234 235 236 240 241 245 256 257 260 264 265 266 267 a 3 7 9 13 19 22 23 24 33 34 36 37 38 44 49 50 51 54 57 59 60 61 63 64 67 68 70 72 73 75 78 80 81 85 87 88 90 91 95 96 97 109 110 113 116 123 133 134 143 144 147 154 156 157 163 167 169 173 174 175 176 177 182 183 191 195 199 209 211 215 222 228 229 230 233 234 235 236 240 241 245 256 257 260 264 265 266 267 a 3 7 9 13 19 22 23 24 33 34 36 37 38 44 49 50 51 54 57 59 60 61 63 64 67 68 70 72 73 75 78 80 81 85 87 88 90 91 95 96 97 109 110 113 116 123 133 134 143 144 147 154 156 157 163 167 169 174 175 176 177 182 183 184 191 195 199 209 211 215 222 228 229 230 233 234 235 236 240 241 245 256 257 260 264 265 266 267 a 3 9 13 19 22 23 24 33 34 36 37 38 44 49 50 51 54 57 59 60 61 63 64 67 68 70 72 73 75 78 80 81 85 87 88 90 91 95 96 97 109 110 113 116 123 133 134 143 144 147 154 156 157 163 167 169 174 175 176 177 182 183 184 191 195 199 209 211 215 222 228 229 230 233 234 235 236 240 241 245 249 256 257 260 264 265 266 267 a 3 9 13 19 22 23 24 33 34 36 37 38 44 49 50 51 54 57 59 60 61 63 64 67 68 70 72 73 75 78 80 81 87 88 90 91 95 96 97 109 110 113 116 123 133 134 143 144 147 154 156 157 163 167 169 174 175 176 177 182 183 184 185 191 195 199 209 211 215 222 228 229 230 233 234 235 236 240 241 245 249 256 257 260 264 265 266 267 a 3 9 13 19 22 23 24 33 34 36 37 38 44 49 50 51 54 57 59 60 61 63 64 67 68 70 72 73 75 78 81 87 88 90 91 93 95 96 97 109 110 113 116 123 133 134 143 144 147 154 156 157 163 167 169 174 175 176 177 182 183 184 185 191 195 199 209 211 215 222 228 229 230 233 234 235 236 240 241 245 249 256 257 260 264 265 266 267 a 3 9 13 19 22 23 24 33 34 36 37 38 44 49 50 51 54 57 59 60 61 63 64 67 68 70 72 73 75 78 81 87 88 90 91 93 95 96 97 109 110 113 116 123 133 134 143 144 146 147 154 156 157 163 167 169 174 175 176 177 182 183 184 185 191 195 199 209 211 215 222 228 229 230 233 235 236 240 241 245 249 256 257 260 264 265 266 267 a 3 9 13 19 22 23 24 33 34 36 37 38 44 49 50 51 54 57 59 60 61 63 64 67 68 70 72 73 75 78 81 87 88 90 91 93 95 96 97 109 110 113 116 123 133 143 144 146 147 150 154 156 157 163 167 169 174 175 176 177 182 183 184 185 191 195 199 209 211 215 222 228 229 230 233 235 236 240 241 245 249 256 257 260 264 265 266 267 a 3 9 19 22 23 24 33 34 36 37 38 44 49 50 51 54 57 59 60 61 63 64 67 68 70 72 73 75 78 81 87 88 90 91 93 95 96 97 109 110 113 116 123 133 143 144 146 147 150 154 156 157 163 167 169 174 175 176 177 182 183 184 185 191 195 199 209 211 215 222 228 229 230 233 235 236 240 241 245 248 249 256 257 260 264 265 266 267 a 3 9 19 22 23 24 33 34 36 37 38 44 45 49 50 51 54 57 59 60 61 63 64 67 68 70 72 73 75 78 81 87 88 90 91 93 95 96 97 109 110 113 116 123 133 143 144 146 147 150 154 156 157 163 167 169 174 175 176 177 182 183 184 185 191 195 199 209 211 215 222 228 229 230 233 235 236 241 245 248 249 256 257 260 264 265 266 267 a 3 9 19 22 23 24 25 33 34 36 37 38 44 45 49 50 51 54 57 59 60 61 63 64 67 68 70 72 73 75 78 81 87 88 91 93 95 96 97 109 110 113 116 123 133 143 144 146 147 150 154 156 157 163 167 169 174 175 176 177 182 183 184 185 191 195 199 209 211 215 222 228 229 230 233 235 236 241 245 248 249 256 257 260 264 265 266 267 a 3 9 19 22 23 24 25 33 34 36 37 38 44 45 49 50 51 54 57 59 60 61 63 64 67 68 70 72 73 75 78 81 87 88 91 93 96 97 109 110 113 116 123 133 143 144 146 147 150 154 156 157 163 167 169 174 175 176 177 182 183 184 185 191 195 199 209 211 214 215 222 228 229 230 233 235 236 241 245 248 249 256 257 260 264 265 266 267 a 3 9 19 22 23 24 25 33 34 36 37 38 44 45 49 50 51 54 57 59 60 61 63 64 67 68 70 72 73 75 78 81 87 88 91 93 96 97 109 110 113 123 133 143 144 146 147 150 154 156 157 163 167 169 174 175 176 177 182 183 184 185 191 195 197 199 209 211 214 215 222 228 229 230 233 235 236 241 245 248 249 256 257 260 264 265 266 267 a 3 9 19 22 23 24 25 33 34 36 37 38 44 45 49 50 51 54 57 59 60 61 63 64 67 68 70 72 73 75 78 81 87 88 91 93 96 97 109 110 113 123 133 143 146 147 150 154 156 157 163 167 169 174 175 176 177 182 183 184 185 191 195 197 199 206 209 211 214 215 222 228 229 230 233 235 236 241 245 248 249 256 257 260 264 265 266 267 a 3 9 19 22 23 24 25 33 34 36 37 38 44 45 49 50 51 54 57 59 60 61 63 64 67 68 70 72 73 75 78 81 87 88 91 93 96 97 109 110 113 123 133 143 146 147 150 154 156 157 163 167 169 174 175 176 177 182 183 184 185 191 192 195 197 199 206 209 211 214 215 222 228 229 230 233 235 236 241 245 248 249 256 260 264 265 266 267 a 3 9 19 22 23 24 25 33 34 36 37 38 44 45 49 50 51 54 57 59 60 61 63 64 67 68 70 72 73 75 78 81 87 88 91 93 96 97 109 110 113 123 133 146 147 150 154 156 157 163 167 169 174 175 176 177 182 183 184 185 191 192 195 197 199 206 209 211 214 215 222 228 229 230 233 235 236 241 245 248 249 254 256 260 264 265 266 267 a 3 9 19 22 23 24 25 33 34 36 37 44 45 49 50 51 53 54 57 59 60 61 63 64 67 68 70 72 73 75 78 81 87 88 91 93 96 97 109 110 113 123 133 146 147 150 154 156 157 163 167 169 174 175 176 177 182 183 184 185 191 192 195 197 199 206 209 211 214 215 222 228 229 230 233 235 236 241 245 248 249 254 256 260 264 265 266 267 a 3 9 19 22 23 24 25 33 34 36 44 45 49 50 51 53 54 57 59 60 61 63 64 67 68 70 72 73 75 78 81 87 88 91 93 96 97 109 110 113 123 133 146 147 150 154 156 157 163 167 169 174 175 176 177 182 183 184 185 191 192 195 197 199 206 209 211 214 215 217 222 228 229 230 233 235 236 241 245 248 249 254 256 260 264 265 266 267 a 3 9 12 19 22 23 24 25 33 34 36 44 45 49 50 51 53 54 57 59 60 61 64 67 68 70 72 73 75 78 81 87 88 91 93 96 97 109 110 113 123 133 146 147 150 154 156 157 163 167 169 174 175 176 177 182 183 184 185 191 192 195 197 199 206 209 211 214 215 217 222 228 229 230 233 235 236 241 245 248 249 254 256 260 264 265 266 267 a 3 9 12 14 19 22 23 24 25 33 34 36 44 45 49 50 51 53 54 57 59 60 61 64 67 68 70 73 75 78 81 87 88 91 93 96 97 109 110 113 123 133 146 147 150 154 156 157 163 167 169 174 175 176 177 182 183 184 185 191 192 195 197 199 206 209 211 214 215 217 222 228 229 230 233 235 236 241 245 248 249 254 256 260 264 265 266 267 c Step: 64 Command being timed: "python3 run_3.py --existent /benchmark/random_instance/random_instance021_graph003.col /benchmark/random_instance/random_instance021_graph003_01.dat" User time (seconds): 60.69 System time (seconds): 0.03 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:00.74 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): 94784 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 47064 Voluntary context switches: 24 Involuntary context switches: 439 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: [Mon Sep 4 12:53:52 2023]