#BEGIN: [Mon Sep 4 12:01:53 2023] #HOST: s10 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance021_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance021_graph005_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_graph005.col /benchmark/random_instance/random_instance021_graph005_01.dat c /benchmark/random_instance/random_instance021_graph005.col c /benchmark/random_instance/random_instance021_graph005_01.dat *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.210 seconds *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds s 258 242 53 212 165 262 142 267 273 146 186 160 231 60 105 7 30 170 255 194 40 107 84 207 34 167 218 132 104 38 110 148 183 188 57 179 14 134 147 244 71 268 6 250 106 32 91 130 99 270 238 181 88 52 239 257 39 9 232 168 121 187 117 191 66 263 58 150 185 144 145 193 221 135 11 27 236 94 97 29 229 158 42 115 t 114 93 62 4 75 152 225 71 102 5 113 60 36 224 81 246 259 197 105 54 84 235 261 18 153 163 227 86 116 175 140 88 249 56 112 76 155 182 181 183 149 270 236 20 231 24 111 207 59 55 108 201 94 83 178 151 228 208 193 37 158 244 154 69 209 127 124 204 271 174 217 142 188 248 202 251 176 147 145 9 89 42 247 82 a YES a 6 7 9 11 14 27 29 30 32 34 38 39 40 42 52 53 57 58 60 66 71 84 88 91 94 97 99 104 105 106 107 110 115 117 121 130 132 134 135 142 144 145 146 147 148 150 158 160 165 167 168 170 179 181 183 185 186 187 188 191 193 194 207 212 218 221 229 231 232 236 238 239 242 244 250 255 257 258 262 263 267 268 270 273 a 6 7 9 11 14 27 29 30 32 34 38 39 40 42 52 53 57 58 60 62 71 84 88 91 94 97 99 104 105 106 107 110 115 117 121 130 132 134 135 142 144 145 146 147 148 150 158 160 165 167 168 170 179 181 183 185 186 187 188 191 193 194 207 212 218 221 229 231 232 236 238 239 242 244 250 255 257 258 262 263 267 268 270 273 a 6 7 9 11 14 27 29 30 32 34 38 39 40 42 52 53 57 58 60 62 71 84 88 91 94 97 99 104 105 106 107 110 115 117 121 130 132 134 135 142 144 145 146 147 148 150 158 160 165 167 168 170 179 181 183 185 186 187 188 193 194 200 207 212 218 221 229 231 232 236 238 239 242 244 250 255 257 258 262 263 267 268 270 273 a 6 7 9 11 14 27 29 30 32 34 38 39 40 42 52 53 57 58 60 62 71 84 88 91 94 97 99 104 105 106 107 110 115 117 121 130 132 134 135 142 144 145 146 147 148 150 158 160 165 167 168 170 179 181 183 185 186 187 188 193 197 200 207 212 218 221 229 231 232 236 238 239 242 244 250 255 257 258 262 263 267 268 270 273 a 6 7 9 11 14 27 29 30 32 34 38 39 40 42 52 53 57 58 60 62 71 84 88 91 94 97 99 104 105 106 107 110 115 117 121 130 132 134 135 142 144 145 146 147 148 150 158 160 165 167 168 170 175 179 181 183 185 186 187 188 193 197 200 207 212 218 221 229 231 232 236 238 239 242 244 255 257 258 262 263 267 268 270 273 a 6 7 9 11 14 27 29 30 32 34 38 39 40 42 52 53 56 57 58 60 62 71 84 88 91 94 97 99 104 105 106 107 110 115 117 121 130 132 134 135 142 144 145 146 147 148 150 158 160 165 168 170 175 179 181 183 185 186 187 188 193 197 200 207 212 218 221 229 231 232 236 238 239 242 244 255 257 258 262 263 267 268 270 273 a 6 7 9 11 14 27 29 30 32 34 38 39 40 42 52 53 55 56 57 58 60 62 71 84 88 91 94 97 99 104 105 106 107 110 115 117 121 130 134 135 142 144 145 146 147 148 150 158 160 165 168 170 175 179 181 183 185 186 187 188 193 197 200 207 212 218 221 229 231 232 236 238 239 242 244 255 257 258 262 263 267 268 270 273 a 6 7 9 11 14 27 29 30 32 34 38 39 40 42 52 53 55 56 57 58 60 62 71 84 88 91 94 97 99 104 105 106 107 110 115 117 121 130 134 135 142 144 145 146 147 148 150 158 160 165 168 170 175 181 183 185 186 187 188 193 197 200 207 212 218 221 229 231 232 236 238 239 242 244 255 257 258 261 262 263 267 268 270 273 a 6 7 9 11 14 27 29 30 32 34 38 39 40 42 52 53 55 56 57 58 60 62 71 84 88 91 94 97 99 104 105 106 107 110 115 117 121 130 134 135 142 144 145 146 147 148 150 158 160 165 168 175 181 183 185 186 187 188 193 197 200 207 212 218 221 224 229 231 232 236 238 239 242 244 255 257 258 261 262 263 267 268 270 273 a 6 9 11 14 27 29 30 32 34 38 39 40 42 52 53 55 56 57 58 60 62 71 84 88 91 94 97 99 104 105 106 107 110 115 117 121 130 134 135 142 144 145 146 147 148 150 158 160 165 168 175 176 181 183 185 186 187 188 193 197 200 207 212 218 221 224 229 231 232 236 238 239 242 244 255 257 258 261 262 263 267 268 270 273 a 6 9 11 14 27 29 30 32 34 38 39 40 42 52 53 55 56 57 58 60 62 71 84 88 91 94 97 99 104 105 106 107 110 115 117 121 130 134 135 142 144 145 146 147 148 150 158 160 165 175 176 181 183 185 186 187 188 193 197 200 207 212 218 221 224 229 231 232 236 238 239 242 244 246 255 257 258 261 262 263 267 268 270 273 a 6 9 11 14 27 29 30 32 34 38 39 40 42 52 53 55 56 57 58 60 62 71 84 88 91 94 97 99 104 105 106 107 110 115 117 121 130 134 135 142 144 145 146 147 148 150 158 160 165 175 176 181 183 185 186 187 188 193 197 200 207 212 218 221 224 228 229 231 232 236 238 239 242 244 246 255 257 258 261 262 263 268 270 273 a 6 9 11 14 27 29 30 32 34 38 39 40 42 52 53 55 56 57 58 60 62 71 84 88 91 94 97 99 104 105 106 110 115 117 121 130 134 135 142 144 145 146 147 148 150 158 160 165 175 176 181 183 185 186 187 188 193 197 200 207 212 218 221 224 228 229 231 232 235 236 238 239 242 244 246 255 257 258 261 262 263 268 270 273 a 6 9 11 14 27 29 30 32 34 38 39 40 42 52 55 56 57 58 60 62 71 84 88 91 94 97 99 104 105 106 110 115 117 121 130 134 135 140 142 144 145 146 147 148 150 158 160 165 175 176 181 183 185 186 187 188 193 197 200 207 212 218 221 224 228 229 231 232 235 236 238 239 242 244 246 255 257 258 261 262 263 268 270 273 a 6 9 11 14 27 29 30 32 34 38 39 40 42 52 55 56 57 58 60 62 71 84 88 91 94 97 99 104 105 106 110 115 117 121 130 134 135 140 142 144 145 146 147 148 150 158 160 165 175 176 181 183 185 186 187 188 193 197 200 201 207 212 218 221 224 228 229 231 232 235 236 238 239 242 244 246 255 257 258 261 262 263 270 273 a 5 6 9 11 14 27 29 30 32 34 38 39 40 42 52 55 56 57 58 60 62 71 84 88 91 94 97 99 104 105 110 115 117 121 130 134 135 140 142 144 145 146 147 148 150 158 160 165 175 176 181 183 185 186 187 188 193 197 200 201 207 212 218 221 224 228 229 231 232 235 236 238 239 242 244 246 255 257 258 261 262 263 270 273 a 5 6 9 11 14 27 29 30 32 34 38 39 40 42 52 55 56 57 58 60 62 71 83 84 88 91 94 97 99 104 105 110 115 117 121 130 134 135 140 142 144 145 146 147 148 150 158 160 165 175 176 181 183 185 186 187 188 193 197 200 201 207 212 218 221 224 228 231 232 235 236 238 239 242 244 246 255 257 258 261 262 263 270 273 a 5 6 9 11 14 20 27 29 30 34 38 39 40 42 52 55 56 57 58 60 62 71 83 84 88 91 94 97 99 104 105 110 115 117 121 130 134 135 140 142 144 145 146 147 148 150 158 160 165 175 176 181 183 185 186 187 188 193 197 200 201 207 212 218 221 224 228 231 232 235 236 238 239 242 244 246 255 257 258 261 262 263 270 273 a 5 6 9 11 14 20 27 29 30 34 38 39 40 42 52 55 56 57 58 60 62 71 82 83 84 88 91 94 97 99 104 105 110 115 117 121 130 134 135 140 142 144 145 146 147 148 150 158 160 165 175 176 181 183 185 186 187 188 193 197 200 201 207 212 218 221 224 228 231 232 235 236 238 239 242 244 246 255 257 261 262 263 270 273 a 5 6 9 11 20 27 29 30 34 38 39 40 42 52 55 56 57 58 60 62 71 82 83 84 88 91 94 97 99 104 105 110 115 117 121 130 134 135 140 142 144 145 146 147 148 150 158 160 165 175 176 181 183 185 186 187 188 193 197 200 201 207 208 212 218 221 224 228 231 232 235 236 238 239 242 244 246 255 257 261 262 263 270 273 a 5 6 9 11 20 27 29 30 34 38 39 40 42 52 55 56 57 58 60 62 71 82 83 84 88 91 94 97 99 104 105 110 115 117 121 130 135 140 142 144 145 146 147 148 150 153 158 160 165 175 176 181 183 185 186 187 188 193 197 200 201 207 208 212 218 221 224 228 231 232 235 236 238 239 242 244 246 255 257 261 262 263 270 273 a 5 6 9 11 20 27 30 34 38 39 40 42 52 55 56 57 58 60 62 71 82 83 84 88 91 94 97 99 104 105 110 115 117 121 130 135 140 142 144 145 146 147 148 150 151 153 158 160 165 175 176 181 183 185 186 187 188 193 197 200 201 207 208 212 218 221 224 228 231 232 235 236 238 239 242 244 246 255 257 261 262 263 270 273 a 5 6 9 11 20 27 30 34 38 39 40 42 52 55 56 57 58 60 62 71 82 83 84 88 91 94 97 99 102 104 105 110 115 117 121 130 135 140 142 144 145 146 147 148 150 151 153 158 160 165 175 176 181 183 185 186 187 188 193 197 200 201 207 208 212 218 221 224 228 231 232 235 236 239 242 244 246 255 257 261 262 263 270 273 a 5 6 9 11 20 27 30 34 38 39 40 42 52 55 56 57 58 60 62 71 82 83 84 88 91 94 97 99 102 104 105 110 115 117 121 130 135 140 142 144 145 146 147 148 150 151 153 158 160 165 175 176 181 183 185 186 187 188 193 197 200 201 207 208 209 212 218 221 224 228 231 232 235 236 239 242 244 246 255 257 261 262 263 270 a 5 6 9 11 20 27 30 34 38 39 40 42 52 55 56 57 58 60 62 71 82 83 84 88 91 94 97 99 102 104 105 110 115 117 121 130 135 140 142 144 145 146 147 148 150 151 153 158 160 165 174 175 176 181 183 185 186 187 188 193 197 200 201 207 208 209 212 218 221 224 228 231 232 235 236 239 242 244 246 255 257 261 262 270 a 5 6 9 11 20 27 30 34 38 39 40 42 52 55 56 57 58 60 62 71 82 83 84 88 91 94 97 99 102 104 105 110 111 115 117 121 130 135 140 142 144 145 146 147 148 150 151 153 158 160 165 174 175 176 181 183 185 186 187 188 193 197 200 201 207 208 209 212 221 224 228 231 232 235 236 239 242 244 246 255 257 261 262 270 a 5 6 9 11 20 27 30 34 38 39 40 42 52 55 56 57 58 60 62 71 82 83 84 88 91 93 94 97 99 102 104 105 110 111 115 117 121 130 135 140 142 144 145 146 147 148 150 151 153 158 160 165 174 175 176 181 183 185 186 187 188 193 197 200 201 207 208 209 221 224 228 231 232 235 236 239 242 244 246 255 257 261 262 270 a 5 6 9 11 20 27 30 34 38 39 40 42 52 55 56 57 58 60 62 71 82 83 84 88 91 93 94 97 99 102 104 105 110 111 115 117 121 135 140 142 144 145 146 147 148 150 151 153 158 160 165 174 175 176 181 183 185 186 187 188 193 197 200 201 207 208 209 221 224 228 231 232 235 236 239 242 244 246 247 255 257 261 262 270 a 5 6 9 11 20 27 30 34 38 39 42 52 55 56 57 58 60 62 71 81 82 83 84 88 91 93 94 97 99 102 104 105 110 111 115 117 121 135 140 142 144 145 146 147 148 150 151 153 158 160 165 174 175 176 181 183 185 186 187 188 193 197 200 201 207 208 209 221 224 228 231 232 235 236 239 242 244 246 247 255 257 261 262 270 a 5 6 9 11 18 20 27 30 34 38 39 42 52 55 56 57 58 60 62 71 81 82 83 84 88 91 93 94 97 99 102 104 105 110 111 115 117 121 135 140 142 144 145 146 147 148 150 151 153 158 160 165 174 175 176 181 183 185 186 187 188 193 197 200 201 207 208 209 221 224 228 231 235 236 239 242 244 246 247 255 257 261 262 270 a 5 6 9 18 20 27 30 34 38 39 42 52 55 56 57 58 60 62 71 81 82 83 84 88 91 93 94 97 99 102 104 105 110 111 115 117 121 127 135 140 142 144 145 146 147 148 150 151 153 158 160 165 174 175 176 181 183 185 186 187 188 193 197 200 201 207 208 209 221 224 228 231 235 236 239 242 244 246 247 255 257 261 262 270 a 5 6 9 18 20 27 30 34 38 39 42 52 55 56 57 58 60 62 71 81 82 83 84 88 91 93 94 97 99 102 104 105 110 111 115 117 121 127 135 140 142 144 145 146 147 148 150 151 153 158 160 165 174 175 176 178 181 183 185 186 187 188 193 197 200 201 207 208 209 221 224 228 231 235 236 242 244 246 247 255 257 261 262 270 a 5 6 9 18 20 24 27 30 34 38 39 42 52 55 56 57 58 60 62 71 81 82 83 84 88 91 93 94 97 102 104 105 110 111 115 117 121 127 135 140 142 144 145 146 147 148 150 151 153 158 160 165 174 175 176 178 181 183 185 186 187 188 193 197 200 201 207 208 209 221 224 228 231 235 236 242 244 246 247 255 257 261 262 270 a 5 6 9 18 20 24 27 30 34 38 39 42 52 55 56 57 58 60 62 71 76 81 82 83 84 88 91 93 94 97 102 104 105 110 111 115 117 127 135 140 142 144 145 146 147 148 150 151 153 158 160 165 174 175 176 178 181 183 185 186 187 188 193 197 200 201 207 208 209 221 224 228 231 235 236 242 244 246 247 255 257 261 262 270 a 5 6 9 18 20 24 27 30 34 38 39 42 52 55 56 57 58 60 62 71 76 81 82 83 84 88 91 93 94 97 102 104 105 110 111 115 117 127 140 142 144 145 146 147 148 150 151 153 158 160 165 174 175 176 178 181 183 185 186 187 188 193 197 200 201 204 207 208 209 221 224 228 231 235 236 242 244 246 247 255 257 261 262 270 a 5 6 9 18 20 24 27 30 34 38 39 42 52 55 56 57 58 60 62 71 76 81 82 83 84 88 91 93 94 97 102 104 105 110 111 115 117 127 140 142 144 145 146 147 148 150 151 153 158 160 165 174 175 176 178 181 183 185 186 187 188 193 197 200 201 204 207 208 209 221 224 225 228 231 235 236 242 244 246 247 257 261 262 270 a 5 6 9 18 20 24 27 30 34 39 42 52 55 56 57 58 60 62 71 76 81 82 83 84 88 91 93 94 97 102 104 105 110 111 115 117 127 140 142 144 145 146 147 148 150 151 153 158 160 165 174 175 176 178 181 183 185 186 187 188 193 197 200 201 204 207 208 209 217 221 224 225 228 231 235 236 242 244 246 247 257 261 262 270 a 5 6 9 18 20 24 27 30 34 39 42 52 55 56 57 60 62 71 76 81 82 83 84 88 91 93 94 97 102 104 105 110 111 115 117 127 140 142 144 145 146 147 148 150 151 153 158 160 165 174 175 176 178 181 183 185 186 187 188 193 197 200 201 204 207 208 209 217 221 224 225 228 231 235 236 242 244 246 247 257 261 262 270 271 a 5 6 9 18 20 24 27 30 34 39 42 52 55 56 57 60 62 71 76 81 82 83 84 88 91 93 94 97 102 104 105 110 111 113 115 117 127 140 142 144 145 147 148 150 151 153 158 160 165 174 175 176 178 181 183 185 186 187 188 193 197 200 201 204 207 208 209 217 221 224 225 228 231 235 236 242 244 246 247 257 261 262 270 271 a 4 5 6 9 18 20 24 27 30 34 39 42 52 55 56 57 60 62 71 76 81 82 83 84 88 91 93 94 97 102 104 105 110 111 113 115 117 127 140 142 144 145 147 148 150 151 153 158 160 165 174 175 176 178 181 183 185 186 187 188 193 197 200 201 204 207 208 209 217 221 224 225 228 231 235 236 242 244 246 247 257 261 270 271 a 4 5 6 9 18 20 24 27 30 34 39 42 52 55 56 57 60 62 71 76 81 82 83 84 88 91 93 94 97 102 104 105 110 111 113 115 117 127 140 142 144 145 147 148 150 151 153 158 160 174 175 176 178 181 183 185 186 187 188 193 197 200 201 204 207 208 209 217 221 224 225 228 231 235 236 242 244 246 247 251 257 261 270 271 a 4 5 6 9 18 20 24 27 30 34 39 42 52 55 56 57 60 62 71 76 81 82 83 84 88 91 93 94 97 102 104 105 110 111 113 115 117 127 140 142 144 145 147 148 150 151 152 153 158 160 174 175 176 178 181 183 185 186 187 188 193 197 201 204 207 208 209 217 221 224 225 228 231 235 236 242 244 246 247 251 257 261 270 271 a 4 5 6 9 18 20 24 27 30 34 39 42 52 55 56 57 60 62 71 76 81 82 83 84 88 91 93 94 97 102 104 105 110 111 113 114 115 117 127 140 142 144 145 147 148 150 151 152 153 158 174 175 176 178 181 183 185 186 187 188 193 197 201 204 207 208 209 217 221 224 225 228 231 235 236 242 244 246 247 251 257 261 270 271 a 4 5 6 9 18 20 24 27 30 34 39 42 52 55 56 57 59 60 62 71 76 81 82 83 84 88 91 93 94 97 102 104 105 110 111 113 114 115 117 127 140 142 144 145 147 148 150 151 152 153 158 174 175 176 178 181 183 185 186 187 188 193 197 201 204 207 208 209 217 224 225 228 231 235 236 242 244 246 247 251 257 261 270 271 a 4 5 6 9 18 20 24 27 30 39 42 52 55 56 57 59 60 62 71 76 81 82 83 84 88 91 93 94 97 102 104 105 110 111 113 114 115 117 127 140 142 144 145 147 148 150 151 152 153 158 174 175 176 178 181 183 185 186 187 188 193 197 201 202 204 207 208 209 217 224 225 228 231 235 236 242 244 246 247 251 257 261 270 271 a 4 5 6 9 18 20 24 27 30 39 42 52 55 56 57 59 60 62 71 76 81 82 83 84 88 91 93 94 97 102 104 105 110 111 113 114 115 117 127 140 142 144 145 147 148 151 152 153 158 174 175 176 178 181 183 185 186 187 188 193 197 201 202 204 207 208 209 217 224 225 227 228 231 235 236 242 244 246 247 251 257 261 270 271 a 4 5 6 9 18 20 24 27 30 39 42 52 55 56 57 59 60 62 71 76 81 82 83 84 88 91 93 94 97 102 104 105 111 113 114 115 117 127 140 142 144 145 147 148 149 151 152 153 158 174 175 176 178 181 183 185 186 187 188 193 197 201 202 204 207 208 209 217 224 225 227 228 231 235 236 242 244 246 247 251 257 261 270 271 a 4 5 9 18 20 24 27 30 39 42 52 55 56 57 59 60 62 71 76 81 82 83 84 88 91 93 94 97 102 104 105 111 113 114 115 116 117 127 140 142 144 145 147 148 149 151 152 153 158 174 175 176 178 181 183 185 186 187 188 193 197 201 202 204 207 208 209 217 224 225 227 228 231 235 236 242 244 246 247 251 257 261 270 271 a 4 5 9 18 20 24 27 30 39 42 52 55 56 57 59 60 62 71 76 81 82 83 84 88 91 93 94 97 102 104 105 111 113 114 116 117 127 140 142 144 145 147 148 149 151 152 153 155 158 174 175 176 178 181 183 185 186 187 188 193 197 201 202 204 207 208 209 217 224 225 227 228 231 235 236 242 244 246 247 251 257 261 270 271 a 4 5 9 18 20 24 27 30 39 42 52 55 56 57 59 60 62 71 76 81 82 83 84 88 91 93 94 97 102 104 105 111 113 114 116 117 127 140 142 144 145 147 148 149 151 152 153 155 158 163 174 175 176 178 181 183 185 187 188 193 197 201 202 204 207 208 209 217 224 225 227 228 231 235 236 242 244 246 247 251 257 261 270 271 a 4 5 9 18 20 24 27 30 42 52 55 56 57 59 60 62 71 76 81 82 83 84 88 91 93 94 97 102 104 105 111 113 114 116 117 127 140 142 144 145 147 148 149 151 152 153 155 158 163 174 175 176 178 181 183 185 187 188 193 197 201 202 204 207 208 209 217 224 225 227 228 231 235 236 242 244 246 247 251 257 259 261 270 271 a 4 5 9 18 20 24 27 42 52 55 56 57 59 60 62 71 76 81 82 83 84 88 91 93 94 97 102 104 105 111 113 114 116 117 124 127 140 142 144 145 147 148 149 151 152 153 155 158 163 174 175 176 178 181 183 185 187 188 193 197 201 202 204 207 208 209 217 224 225 227 228 231 235 236 242 244 246 247 251 257 259 261 270 271 a 4 5 9 18 20 24 27 42 55 56 57 59 60 62 71 76 81 82 83 84 86 88 91 93 94 97 102 104 105 111 113 114 116 117 124 127 140 142 144 145 147 148 149 151 152 153 155 158 163 174 175 176 178 181 183 185 187 188 193 197 201 202 204 207 208 209 217 224 225 227 228 231 235 236 242 244 246 247 251 257 259 261 270 271 a 4 5 9 18 20 24 27 42 55 56 57 59 60 62 71 76 81 82 83 84 86 88 91 93 94 97 102 104 105 111 113 114 116 117 124 127 140 142 144 145 147 148 149 151 152 153 155 158 163 174 175 176 178 181 183 187 188 193 197 201 202 204 207 208 209 217 224 225 227 228 231 235 236 242 244 246 247 249 251 257 259 261 270 271 a 4 5 9 18 20 24 27 42 55 56 57 59 60 62 71 76 81 82 83 84 86 88 91 93 94 97 102 104 105 111 113 114 116 117 124 127 140 142 145 147 148 149 151 152 153 155 158 163 174 175 176 178 181 183 187 188 193 197 201 202 204 207 208 209 217 224 225 227 228 231 235 236 242 244 246 247 248 249 251 257 259 261 270 271 a 4 5 9 18 20 24 27 37 42 55 56 57 59 60 62 71 76 81 82 83 84 86 88 91 93 94 97 102 104 105 111 113 114 116 117 124 127 140 142 145 147 148 149 151 152 153 155 158 163 174 175 176 178 181 183 188 193 197 201 202 204 207 208 209 217 224 225 227 228 231 235 236 242 244 246 247 248 249 251 257 259 261 270 271 a 4 5 9 18 20 24 27 37 42 55 56 57 59 60 62 71 76 81 82 83 84 86 88 91 93 94 97 102 104 105 111 113 114 116 117 124 127 140 142 145 147 148 149 151 152 153 155 158 163 174 175 176 178 181 182 183 188 193 197 201 202 204 207 208 209 217 224 225 227 228 231 235 236 242 244 246 247 248 249 251 259 261 270 271 a 4 5 9 18 20 24 27 36 37 42 55 56 59 60 62 71 76 81 82 83 84 86 88 91 93 94 97 102 104 105 111 113 114 116 117 124 127 140 142 145 147 148 149 151 152 153 155 158 163 174 175 176 178 181 182 183 188 193 197 201 202 204 207 208 209 217 224 225 227 228 231 235 236 242 244 246 247 248 249 251 259 261 270 271 a 4 5 9 18 20 24 27 36 37 42 55 56 59 60 62 71 76 81 82 83 84 86 88 91 93 94 97 102 104 105 111 113 114 116 117 124 127 140 142 145 147 149 151 152 153 154 155 158 163 174 175 176 178 181 182 183 188 193 197 201 202 204 207 208 209 217 224 225 227 228 231 235 236 242 244 246 247 248 249 251 259 261 270 271 a 4 5 9 18 20 24 27 36 37 42 55 56 59 60 62 71 75 76 81 82 83 84 86 88 91 93 94 97 102 105 111 113 114 116 117 124 127 140 142 145 147 149 151 152 153 154 155 158 163 174 175 176 178 181 182 183 188 193 197 201 202 204 207 208 209 217 224 225 227 228 231 235 236 242 244 246 247 248 249 251 259 261 270 271 a 4 5 9 18 20 24 36 37 42 55 56 59 60 62 71 75 76 81 82 83 84 86 88 91 93 94 97 102 105 111 112 113 114 116 117 124 127 140 142 145 147 149 151 152 153 154 155 158 163 174 175 176 178 181 182 183 188 193 197 201 202 204 207 208 209 217 224 225 227 228 231 235 236 242 244 246 247 248 249 251 259 261 270 271 a 4 5 9 18 20 24 36 37 42 55 56 59 60 62 71 75 76 81 82 83 84 86 88 91 93 94 102 105 108 111 112 113 114 116 117 124 127 140 142 145 147 149 151 152 153 154 155 158 163 174 175 176 178 181 182 183 188 193 197 201 202 204 207 208 209 217 224 225 227 228 231 235 236 242 244 246 247 248 249 251 259 261 270 271 a 4 5 9 18 20 24 36 37 42 55 56 59 60 62 69 71 75 76 81 82 83 84 86 88 91 93 94 102 105 108 111 112 113 114 116 117 124 127 140 142 145 147 149 151 152 153 154 155 158 163 174 175 176 178 181 182 183 188 193 197 201 202 204 207 208 209 217 224 225 227 228 231 235 236 244 246 247 248 249 251 259 261 270 271 a 4 5 9 18 20 24 36 37 42 55 56 59 60 62 69 71 75 76 81 82 83 84 86 88 89 91 93 94 102 105 108 111 112 113 114 116 124 127 140 142 145 147 149 151 152 153 154 155 158 163 174 175 176 178 181 182 183 188 193 197 201 202 204 207 208 209 217 224 225 227 228 231 235 236 244 246 247 248 249 251 259 261 270 271 a 4 5 9 18 20 24 36 37 42 54 55 56 59 60 62 69 71 75 76 81 82 83 84 86 88 89 93 94 102 105 108 111 112 113 114 116 124 127 140 142 145 147 149 151 152 153 154 155 158 163 174 175 176 178 181 182 183 188 193 197 201 202 204 207 208 209 217 224 225 227 228 231 235 236 244 246 247 248 249 251 259 261 270 271 c Step: 64 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance021_graph005.col /benchmark/random_instance/random_instance021_graph005_01.dat" User time (seconds): 789.01 System time (seconds): 20.87 Percent of CPU this job got: 220% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:07.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): 34017860 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 10862367 Voluntary context switches: 4216488 Involuntary context switches: 1683 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:08:01 2023]