#BEGIN: [Mon Sep 4 12:00:50 2023] #HOST: s02 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance021_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance021_graph002_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 -t4 /benchmark/random_instance/random_instance021_graph002.col /benchmark/random_instance/random_instance021_graph002_01.dat c /benchmark/random_instance/random_instance021_graph002.col c /benchmark/random_instance/random_instance021_graph002_01.dat *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.157 seconds *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.012 seconds s 70 117 7 64 120 144 53 12 75 60 80 173 184 213 179 125 203 111 259 266 232 89 129 138 94 247 183 43 42 170 23 106 231 134 194 243 118 210 254 41 33 37 65 264 141 175 28 272 57 257 216 30 242 122 99 149 147 148 161 56 191 171 20 58 189 116 79 207 187 9 50 198 151 192 140 103 220 115 155 265 62 218 14 t 263 152 199 54 232 226 2 237 239 38 140 257 175 93 220 178 118 85 186 136 250 242 185 128 74 87 204 35 207 130 55 60 49 158 273 30 171 173 45 41 84 165 109 122 81 12 6 127 206 117 40 208 169 88 198 243 221 102 52 137 216 65 194 255 188 230 233 139 163 62 18 115 5 23 251 116 151 244 156 59 123 44 138 a YES a 7 9 12 14 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 111 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 187 189 191 192 194 198 203 207 210 213 216 218 220 231 232 242 243 247 254 257 259 264 265 266 272 a 7 9 12 14 20 23 26 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 111 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 187 191 192 194 198 203 207 210 213 216 218 220 231 232 242 243 247 254 257 259 264 265 266 272 a 7 9 12 14 16 20 23 26 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 111 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 173 175 179 183 184 187 191 192 194 198 203 207 210 213 216 218 220 231 232 242 243 247 254 257 259 264 265 266 272 a 7 9 12 14 16 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 111 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 173 175 179 183 184 187 189 191 192 194 198 203 207 210 213 216 218 220 231 232 242 243 247 254 257 259 264 265 266 272 a 7 9 12 14 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 111 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 187 189 191 192 194 198 203 207 210 213 216 218 220 231 232 242 243 247 254 257 259 264 265 266 272 a 7 9 12 14 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 104 106 111 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 187 189 191 192 194 198 203 207 210 213 216 218 220 231 242 243 247 254 257 259 264 265 266 272 a 7 9 12 14 20 23 26 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 104 106 111 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 187 191 192 194 198 203 207 210 213 216 218 220 231 242 243 247 254 257 259 264 265 266 272 a 7 9 12 14 20 23 26 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 104 106 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 187 191 192 194 198 203 204 207 210 213 216 218 220 231 242 243 247 254 257 259 264 265 266 272 a 7 9 12 14 20 23 26 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 85 89 94 99 103 104 106 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 187 191 192 194 198 203 204 207 210 213 216 218 220 242 243 247 254 257 259 264 265 266 272 a 7 9 12 14 20 23 26 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 85 89 94 99 103 104 106 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 187 191 192 194 198 203 204 207 210 213 216 218 220 239 242 243 254 257 259 264 265 266 272 a 7 9 12 14 20 23 26 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 85 89 94 99 103 104 106 115 116 117 118 120 122 123 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 187 191 192 194 198 203 204 207 210 213 216 218 220 239 242 243 254 257 259 264 265 272 a 7 9 12 14 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 85 89 94 99 103 104 106 115 116 117 118 120 122 123 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 187 191 192 194 198 203 204 206 207 210 213 216 218 220 239 242 243 254 257 259 264 265 272 a 6 7 9 12 14 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 85 89 94 99 103 104 106 115 116 117 118 120 122 123 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 187 191 192 194 198 203 204 206 207 210 213 216 218 220 239 242 243 254 257 259 264 265 272 a 6 7 9 12 14 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 85 89 94 99 103 104 106 115 116 117 118 120 122 123 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 187 191 192 194 198 203 204 206 207 210 213 216 218 220 239 242 243 250 254 257 259 264 272 a 6 7 9 12 14 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 85 89 94 99 103 104 115 116 117 118 120 122 123 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 187 191 192 194 198 203 204 206 207 210 213 216 218 220 239 242 243 244 250 254 257 259 264 272 a 6 7 9 12 14 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 85 89 94 99 103 104 115 116 117 118 120 122 123 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 187 191 192 194 198 199 203 204 206 207 210 216 218 220 239 242 243 244 250 254 257 259 264 272 a 6 7 9 12 14 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 85 89 94 99 103 104 115 116 117 118 120 122 123 125 129 130 134 138 140 141 147 148 149 151 155 161 170 171 173 175 179 183 187 191 192 194 198 199 203 204 206 207 210 216 218 220 239 242 243 244 250 254 257 259 264 272 a 6 7 9 12 14 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 81 85 89 94 99 103 104 115 116 117 118 120 122 123 125 129 130 134 138 140 141 147 148 149 151 161 170 171 173 175 179 183 187 191 192 194 198 199 203 204 206 207 210 216 218 220 239 242 243 244 250 254 257 259 264 272 a 6 7 9 12 14 20 23 28 30 33 35 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 81 85 89 94 99 103 104 115 116 117 118 120 122 123 125 129 130 134 138 140 147 148 149 151 161 170 171 173 175 179 183 187 191 192 194 198 199 203 204 206 207 210 216 218 220 239 242 243 244 250 254 257 259 264 272 a 6 7 9 12 14 20 23 28 30 33 35 37 41 42 43 50 53 56 57 58 60 62 64 65 70 79 80 81 85 89 94 99 102 103 104 115 116 117 118 120 122 123 125 129 130 134 138 140 147 148 149 151 161 170 171 173 175 179 183 187 191 192 194 198 199 203 204 206 207 210 216 218 220 239 242 243 244 250 254 257 259 264 272 a 6 7 9 12 14 20 23 28 30 33 35 37 41 42 43 50 53 56 57 58 60 62 64 65 70 79 80 81 85 89 94 99 102 103 104 115 116 117 118 120 122 123 125 129 130 134 138 140 147 148 149 151 161 163 170 171 173 175 179 183 187 191 192 194 198 199 203 204 206 207 210 216 218 220 239 242 243 244 250 254 257 264 272 a 6 7 9 12 14 20 23 28 30 33 35 37 41 42 43 50 53 56 57 58 60 62 64 65 70 79 80 81 85 89 94 99 102 103 104 115 116 117 118 120 122 123 129 130 134 138 140 147 148 149 151 152 161 163 170 171 173 175 179 183 187 191 192 194 198 199 203 204 206 207 210 216 218 220 239 242 243 244 250 254 257 264 272 a 6 7 9 12 14 23 28 30 33 35 37 41 42 43 50 53 56 57 58 60 62 64 65 70 79 80 81 85 89 94 99 102 103 104 109 115 116 117 118 120 122 123 129 130 134 138 140 147 148 149 151 152 161 163 170 171 173 175 179 183 187 191 192 194 198 199 203 204 206 207 210 216 218 220 239 242 243 244 250 254 257 264 272 a 6 7 9 12 14 23 28 30 33 35 37 41 42 43 50 53 56 57 58 60 62 64 65 70 79 80 81 85 89 94 99 102 103 104 109 115 116 117 118 120 122 123 129 130 134 138 140 147 148 149 151 152 161 163 170 171 173 175 179 183 185 187 191 192 194 198 199 203 204 206 207 210 216 218 220 239 242 243 244 250 254 257 264 a 6 7 9 12 14 23 28 30 33 35 37 41 42 43 50 53 56 57 58 60 62 64 65 70 79 80 81 85 89 94 99 102 103 104 109 115 116 117 118 120 122 123 129 130 134 138 140 147 148 149 151 152 161 163 170 171 173 175 179 183 185 187 191 192 194 198 199 203 204 206 207 210 216 218 220 226 239 242 243 244 250 257 264 a 6 7 9 12 14 23 28 30 33 35 37 41 42 43 50 53 56 57 58 60 62 64 65 70 74 80 81 85 89 94 99 102 103 104 109 115 116 117 118 120 122 123 129 130 134 138 140 147 148 149 151 152 161 163 170 171 173 175 179 183 185 187 191 192 194 198 199 203 204 206 207 210 216 218 220 226 239 242 243 244 250 257 264 a 6 7 9 12 14 23 28 30 33 35 41 42 43 50 53 56 57 58 60 62 64 65 70 74 80 81 85 89 94 99 102 103 104 109 115 116 117 118 120 122 123 129 130 134 138 140 147 148 149 151 152 161 163 170 171 173 175 179 183 185 187 191 192 194 198 199 203 204 206 207 210 216 218 220 226 239 242 243 244 250 257 264 273 a 6 7 9 12 14 23 28 30 33 35 41 42 43 50 53 56 57 58 60 62 64 65 70 74 80 81 85 89 94 99 102 103 104 109 115 116 117 118 120 122 123 129 130 134 138 140 147 148 149 151 152 161 163 171 173 175 179 183 185 187 191 192 194 198 199 203 204 206 207 208 210 216 218 220 226 239 242 243 244 250 257 264 273 a 6 7 9 12 14 18 23 28 30 33 35 41 42 43 50 53 56 57 58 60 62 64 65 70 74 80 81 85 89 94 99 102 103 104 109 115 116 117 118 120 122 123 129 130 134 138 140 147 148 149 151 152 161 163 171 173 175 179 183 185 187 191 192 194 198 199 203 204 206 207 208 216 218 220 226 239 242 243 244 250 257 264 273 a 2 6 9 12 14 18 23 28 30 33 35 41 42 43 50 53 56 57 58 60 62 64 65 70 74 80 81 85 89 94 99 102 103 104 109 115 116 117 118 120 122 123 129 130 134 138 140 147 148 149 151 152 161 163 171 173 175 179 183 185 187 191 192 194 198 199 203 204 206 207 208 216 218 220 226 239 242 243 244 250 257 264 273 a 2 6 9 12 14 18 23 28 30 33 35 41 42 43 53 56 57 58 60 62 64 65 70 74 80 81 85 89 94 99 102 103 104 109 115 116 117 118 120 122 123 129 130 134 138 140 147 148 149 151 152 161 163 171 173 175 179 183 185 187 191 192 194 198 199 203 204 206 207 208 216 218 220 226 239 242 243 244 250 251 257 264 273 a 2 6 12 14 18 23 28 30 33 35 41 42 43 53 56 57 58 60 62 64 65 70 74 80 81 85 89 94 99 102 103 104 109 115 116 117 118 120 122 123 129 130 134 138 140 147 148 149 151 152 161 163 171 173 175 179 183 185 187 191 192 194 198 199 203 204 206 207 208 216 218 220 226 233 239 242 243 244 250 251 257 264 273 a 2 6 12 14 18 23 28 30 33 35 41 42 43 53 56 57 58 60 62 64 65 70 74 80 81 85 89 93 94 99 102 103 104 109 115 116 117 118 122 123 129 130 134 138 140 147 148 149 151 152 161 163 171 173 175 179 183 185 187 191 192 194 198 199 203 204 206 207 208 216 218 220 226 233 239 242 243 244 250 251 257 264 273 a 2 6 12 14 18 23 28 30 33 35 41 42 43 53 56 57 58 60 62 64 65 70 74 80 81 85 89 93 94 99 102 103 104 109 115 116 117 118 122 123 129 130 134 138 140 147 148 149 151 152 161 163 171 173 175 179 183 185 187 188 191 194 198 199 203 204 206 207 208 216 218 220 226 233 239 242 243 244 250 251 257 264 273 a 2 6 12 14 18 23 28 30 33 35 41 42 43 53 56 57 58 60 62 64 65 70 74 80 81 85 89 93 94 99 102 103 109 115 116 117 118 122 123 129 130 134 138 140 147 148 149 151 152 161 163 171 173 175 179 183 185 187 188 191 194 198 199 203 204 206 207 208 216 218 220 226 232 233 239 242 243 244 250 251 257 264 273 a 2 6 12 14 18 23 28 30 33 35 41 43 45 53 56 57 58 60 62 64 65 70 74 80 81 85 89 93 94 99 102 103 109 115 116 117 118 122 123 129 130 134 138 140 147 148 149 151 152 161 163 171 173 175 179 183 185 187 188 191 194 198 199 203 204 206 207 208 216 218 220 226 232 233 239 242 243 244 250 251 257 264 273 a 2 6 12 18 23 28 30 33 35 41 43 45 49 53 56 57 58 60 62 64 65 70 74 80 81 85 89 93 94 99 102 103 109 115 116 117 118 122 123 129 130 134 138 140 147 148 149 151 152 161 163 171 173 175 179 183 185 187 188 191 194 198 199 203 204 206 207 208 216 218 220 226 232 233 239 242 243 244 250 251 257 264 273 a 2 6 12 18 23 28 30 33 35 41 43 45 49 53 56 57 58 59 60 62 64 65 70 74 80 81 85 89 93 94 99 102 103 109 115 116 117 118 122 123 129 130 134 138 140 147 148 149 151 152 161 163 171 173 175 179 183 185 187 188 194 198 199 203 204 206 207 208 216 218 220 226 232 233 239 242 243 244 250 251 257 264 273 a 2 6 12 18 23 28 30 33 35 41 43 45 49 53 56 57 58 59 60 62 64 65 70 74 81 85 89 93 94 99 102 103 109 115 116 117 118 122 123 129 130 134 138 140 147 148 149 151 152 161 163 171 173 175 179 183 185 187 188 194 198 199 203 204 206 207 208 216 218 220 226 230 232 233 239 242 243 244 250 251 257 264 273 a 2 6 12 18 23 28 30 33 35 41 43 45 49 53 56 57 58 59 60 62 64 65 70 74 81 85 89 93 94 99 102 103 109 115 116 117 118 122 123 129 130 134 138 140 148 149 151 152 161 163 171 173 175 179 183 185 187 188 194 198 199 203 204 206 207 208 216 218 220 226 230 232 233 239 242 243 244 250 251 257 263 264 273 a 2 6 12 18 23 28 30 33 35 41 43 45 49 53 56 57 59 60 62 64 65 70 74 81 85 89 93 94 99 102 103 109 115 116 117 118 122 123 127 129 130 134 138 140 148 149 151 152 161 163 171 173 175 179 183 185 187 188 194 198 199 203 204 206 207 208 216 218 220 226 230 232 233 239 242 243 244 250 251 257 263 264 273 a 2 6 12 18 23 28 30 33 35 41 43 45 49 53 56 57 59 60 62 64 65 70 74 81 85 89 93 94 99 102 103 109 115 116 117 118 122 123 127 129 130 134 136 138 140 148 149 151 152 161 163 171 173 175 179 183 185 188 194 198 199 203 204 206 207 208 216 218 220 226 230 232 233 239 242 243 244 250 251 257 263 264 273 a 2 6 12 18 23 28 30 33 35 41 43 45 49 53 56 57 59 60 62 64 65 70 74 81 85 89 93 94 99 102 103 109 115 116 117 118 122 123 127 129 130 134 136 138 140 148 149 151 152 161 163 171 173 175 179 185 188 194 198 199 203 204 206 207 208 216 218 220 226 230 232 233 237 239 242 243 244 250 251 257 263 264 273 a 2 6 12 18 23 28 30 33 35 41 43 45 49 53 56 57 59 60 62 64 65 70 74 81 85 88 89 93 94 99 102 103 109 115 116 117 118 122 123 127 129 130 134 136 138 140 148 149 151 152 161 163 171 173 175 179 185 188 194 198 199 203 204 206 207 208 216 220 226 230 232 233 237 239 242 243 244 250 251 257 263 264 273 a 2 6 12 18 23 28 30 33 35 41 43 45 49 53 56 57 59 60 62 64 65 70 74 81 85 87 88 93 94 99 102 103 109 115 116 117 118 122 123 127 129 130 134 136 138 140 148 149 151 152 161 163 171 173 175 179 185 188 194 198 199 203 204 206 207 208 216 220 226 230 232 233 237 239 242 243 244 250 251 257 263 264 273 a 2 6 12 18 23 28 30 33 35 41 43 45 49 53 56 57 59 60 62 64 65 74 81 85 87 88 93 94 99 102 103 109 115 116 117 118 122 123 127 129 130 134 136 137 138 140 148 149 151 152 161 163 171 173 175 179 185 188 194 198 199 203 204 206 207 208 216 220 226 230 232 233 237 239 242 243 244 250 251 257 263 264 273 a 2 6 12 18 23 28 30 33 35 41 43 45 49 53 56 57 59 60 62 64 65 74 81 85 87 88 93 94 99 102 103 109 115 116 117 118 122 123 127 129 130 134 136 137 138 139 140 148 151 152 161 163 171 173 175 179 185 188 194 198 199 203 204 206 207 208 216 220 226 230 232 233 237 239 242 243 244 250 251 257 263 264 273 a 2 5 6 12 18 23 28 30 33 35 41 43 45 49 53 56 57 59 60 62 65 74 81 85 87 88 93 94 99 102 103 109 115 116 117 118 122 123 127 129 130 134 136 137 138 139 140 148 151 152 161 163 171 173 175 179 185 188 194 198 199 203 204 206 207 208 216 220 226 230 232 233 237 239 242 243 244 250 251 257 263 264 273 a 2 5 6 12 18 23 30 33 35 41 43 45 49 53 56 57 59 60 62 65 74 81 85 87 88 93 94 99 102 103 109 115 116 117 118 122 123 127 129 130 134 136 137 138 139 140 148 151 152 161 163 165 171 173 175 179 185 188 194 198 199 203 204 206 207 208 216 220 226 230 232 233 237 239 242 243 244 250 251 257 263 264 273 a 2 5 6 12 18 23 30 35 41 43 45 49 53 54 56 57 59 60 62 65 74 81 85 87 88 93 94 99 102 103 109 115 116 117 118 122 123 127 129 130 134 136 137 138 139 140 148 151 152 161 163 165 171 173 175 179 185 188 194 198 199 203 204 206 207 208 216 220 226 230 232 233 237 239 242 243 244 250 251 257 263 264 273 a 2 5 6 12 18 23 30 35 40 41 43 45 49 54 56 57 59 60 62 65 74 81 85 87 88 93 94 99 102 103 109 115 116 117 118 122 123 127 129 130 134 136 137 138 139 140 148 151 152 161 163 165 171 173 175 179 185 188 194 198 199 203 204 206 207 208 216 220 226 230 232 233 237 239 242 243 244 250 251 257 263 264 273 a 2 5 6 12 18 23 30 35 40 41 43 45 49 54 56 57 59 60 62 65 74 81 85 87 88 93 94 102 103 109 115 116 117 118 122 123 127 129 130 134 136 137 138 139 140 148 151 152 161 163 165 171 173 175 179 185 188 194 198 199 203 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 257 263 264 273 a 2 5 6 12 18 23 30 35 40 41 43 45 49 54 56 59 60 62 65 74 81 85 87 88 93 94 102 103 109 115 116 117 118 122 123 127 129 130 134 136 137 138 139 140 148 151 152 161 163 165 171 173 175 178 179 185 188 194 198 199 203 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 257 263 264 273 a 2 5 6 12 18 23 30 35 40 41 43 45 49 54 56 59 60 62 65 74 81 85 87 88 93 94 102 103 109 115 116 117 118 122 123 127 129 130 134 136 137 138 139 140 148 151 152 156 161 163 165 171 173 175 178 179 185 188 194 198 199 203 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 257 263 273 a 2 5 6 12 18 23 30 35 40 41 43 45 49 54 56 59 60 62 65 74 81 85 87 88 93 94 102 103 109 115 116 117 118 122 123 127 129 130 136 137 138 139 140 148 151 152 156 161 163 165 171 173 175 178 179 185 186 188 194 198 199 203 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 257 263 273 a 2 5 6 12 18 23 30 35 40 41 43 45 49 54 56 59 60 62 65 74 81 85 87 88 93 94 102 103 109 115 116 117 118 122 123 127 129 130 136 137 138 139 140 148 151 152 156 161 163 165 171 173 175 178 185 186 188 194 198 199 203 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 263 273 a 2 5 6 12 18 23 30 35 40 41 43 44 45 49 54 56 59 60 62 65 74 81 85 87 88 93 94 102 103 109 115 116 117 118 122 123 127 129 130 136 137 138 139 140 148 151 152 156 163 165 171 173 175 178 185 186 188 194 198 199 203 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 263 273 a 2 5 6 12 18 23 30 35 40 41 43 44 45 49 52 54 56 59 60 62 65 74 81 85 87 88 93 102 103 109 115 116 117 118 122 123 127 129 130 136 137 138 139 140 148 151 152 156 163 165 171 173 175 178 185 186 188 194 198 199 203 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 263 273 a 2 5 6 12 18 23 30 35 40 41 43 44 45 49 52 54 56 59 60 62 65 74 81 85 87 88 93 102 109 115 116 117 118 122 123 127 129 130 136 137 138 139 140 148 151 152 156 163 165 169 171 173 175 178 185 186 188 194 198 199 203 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 263 273 a 2 5 6 12 18 23 30 35 40 41 43 44 45 49 52 54 55 56 59 60 62 65 74 81 85 87 88 93 102 109 115 116 117 118 122 123 127 130 136 137 138 139 140 148 151 152 156 163 165 169 171 173 175 178 185 186 188 194 198 199 203 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 263 273 a 2 5 6 12 18 23 30 35 40 41 43 44 45 49 52 54 55 56 59 60 62 65 74 81 84 85 87 88 93 102 109 115 116 117 118 122 123 127 130 136 137 138 139 140 151 152 156 163 165 169 171 173 175 178 185 186 188 194 198 199 203 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 263 273 a 2 5 6 12 18 23 30 35 38 40 41 43 44 45 49 52 54 55 59 60 62 65 74 81 84 85 87 88 93 102 109 115 116 117 118 122 123 127 130 136 137 138 139 140 151 152 156 163 165 169 171 173 175 178 185 186 188 194 198 199 203 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 263 273 a 2 5 6 12 18 23 30 35 38 40 41 43 44 45 49 52 54 55 59 60 62 65 74 81 84 85 87 88 93 102 109 115 116 117 118 122 123 127 130 136 137 138 139 140 151 152 156 158 163 165 169 171 173 175 178 185 186 188 194 198 199 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 263 273 a 2 5 6 12 18 23 30 35 38 40 41 44 45 49 52 54 55 59 60 62 65 74 81 84 85 87 88 93 102 109 115 116 117 118 122 123 127 128 130 136 137 138 139 140 151 152 156 158 163 165 169 171 173 175 178 185 186 188 194 198 199 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 263 273 c Step: 63 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance021_graph002.col /benchmark/random_instance/random_instance021_graph002_01.dat" User time (seconds): 700.99 System time (seconds): 17.08 Percent of CPU this job got: 195% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:07.57 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): 36705204 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 12184970 Voluntary context switches: 1801108 Involuntary context switches: 2253 Swaps: 0 File system inputs: 0 File system outputs: 336 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:06:58 2023]