#BEGIN: [Mon Sep 4 14:26:52 2023] #HOST: s12 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance022_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance022_graph001_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance022_graph001.col /benchmark/random_instance/random_instance022_graph001_01.dat c /benchmark/random_instance/random_instance022_graph001.col c /benchmark/random_instance/random_instance022_graph001_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds s 210 189 48 80 234 192 15 30 232 81 140 109 218 248 96 226 233 102 118 254 183 82 281 117 119 172 195 283 137 176 63 257 2 256 43 125 146 147 34 12 49 104 216 84 161 242 170 179 95 50 152 65 130 219 159 201 206 211 180 202 97 61 274 143 191 77 196 21 57 11 72 225 129 153 185 229 231 163 20 262 139 230 284 134 40 280 92 32 66 149 227 29 110 131 246 10 t 131 230 74 177 172 108 47 188 42 32 261 155 247 115 274 38 215 13 119 190 256 118 10 284 129 122 18 277 249 156 220 270 6 98 266 54 113 39 232 205 2 272 200 235 196 184 282 1 64 264 239 63 127 75 26 136 263 5 43 76 36 70 145 56 245 273 242 246 279 187 130 262 66 194 84 159 40 135 150 222 92 189 243 45 206 90 139 100 140 233 191 29 48 52 185 149 a YES a 2 10 11 12 15 20 21 29 30 32 34 40 43 48 49 50 57 61 63 65 66 72 77 80 81 82 84 92 95 96 97 102 104 109 110 117 118 119 125 129 130 131 134 137 139 140 143 146 147 149 152 153 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 242 246 248 254 256 257 262 274 280 281 283 284 a 2 10 11 12 15 20 21 29 30 32 34 40 43 48 49 50 56 57 61 63 65 66 72 77 80 81 82 84 92 95 96 97 102 104 109 110 117 118 119 125 129 130 131 134 137 139 140 143 146 147 149 153 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 242 246 248 254 256 257 262 274 280 281 283 284 a 2 10 11 12 15 20 21 29 30 32 34 40 43 48 49 50 56 57 61 63 65 66 72 77 80 81 82 84 92 95 96 97 102 104 109 110 117 118 119 125 129 130 131 134 137 139 140 143 146 147 149 153 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 242 246 248 254 256 257 262 267 280 281 283 284 a 2 10 11 12 15 20 21 29 30 32 34 40 43 48 49 50 56 57 61 63 65 66 72 77 80 82 84 92 95 96 97 102 104 109 110 117 118 119 120 125 129 130 131 134 137 139 140 143 146 147 149 153 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 242 246 248 254 256 257 262 267 280 281 283 284 a 2 10 12 15 20 21 29 30 32 34 40 43 48 49 50 56 57 61 63 65 66 72 77 80 82 84 92 95 96 97 102 104 109 110 117 118 119 120 125 129 130 131 134 137 139 140 143 146 147 149 153 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 242 246 247 248 254 256 257 262 267 280 281 283 284 a 2 10 12 15 20 21 29 30 32 34 40 43 48 49 50 56 57 61 63 65 66 72 77 80 82 84 92 95 96 97 102 104 109 110 117 118 119 120 125 129 130 131 134 137 139 140 143 146 147 149 153 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 239 242 246 247 248 254 256 262 267 280 281 283 284 a 1 2 10 12 15 20 21 29 30 32 34 40 43 48 49 50 56 57 61 63 65 66 72 77 80 82 84 92 95 96 97 102 104 109 110 117 118 119 120 125 129 130 131 134 137 139 140 143 146 147 149 153 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 239 242 246 247 248 254 256 262 267 280 283 284 a 1 2 10 12 15 21 29 30 32 34 40 43 48 49 50 56 57 61 63 65 66 72 77 80 82 84 92 95 96 97 102 104 109 110 117 118 119 120 125 129 130 131 134 137 139 140 143 146 147 149 153 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 239 242 246 247 248 254 256 262 264 267 280 283 284 a 1 2 10 12 15 21 29 32 34 40 43 45 48 49 50 56 57 61 63 65 66 72 77 80 82 84 92 95 96 97 102 104 109 110 117 118 119 120 125 129 130 131 134 137 139 140 143 146 147 149 153 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 239 242 246 247 248 254 256 262 264 267 280 283 284 a 1 2 10 12 15 21 29 32 40 43 45 48 49 50 56 57 61 63 65 66 72 77 80 82 84 92 95 96 97 100 102 104 109 110 117 118 119 120 125 129 130 131 134 137 139 140 143 146 147 149 153 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 239 242 246 247 248 254 256 262 264 267 280 283 284 a 1 2 10 12 15 21 29 32 40 43 45 48 49 50 56 57 61 63 65 66 72 77 80 82 84 92 95 96 97 100 102 104 109 110 117 118 119 120 125 129 130 131 134 137 139 140 143 146 147 149 153 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 239 242 246 247 248 249 254 256 262 264 267 280 284 a 1 2 10 12 15 29 32 40 43 45 48 49 50 56 57 61 63 65 66 72 77 80 82 84 92 95 96 97 100 102 104 109 110 117 118 119 120 125 129 130 131 134 137 139 140 143 145 146 147 149 153 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 239 242 246 247 248 249 254 256 262 264 267 280 284 a 1 2 10 12 15 29 32 40 43 45 48 49 50 56 57 61 63 65 66 72 77 80 82 84 92 95 96 97 100 102 104 109 110 117 118 119 120 125 129 130 131 134 137 139 140 143 145 146 149 153 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 239 242 246 247 248 249 254 256 262 264 267 272 280 284 a 1 2 10 12 15 29 32 40 43 45 48 49 50 56 57 63 65 66 72 77 80 82 84 92 95 96 97 100 102 104 109 110 117 118 119 120 125 129 130 131 134 137 139 140 143 145 146 149 153 156 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 239 242 246 247 248 249 254 256 262 264 267 272 280 284 a 1 2 6 10 15 29 32 40 43 45 48 49 50 56 57 63 65 66 72 77 80 82 84 92 95 96 97 100 102 104 109 110 117 118 119 120 125 129 130 131 134 137 139 140 143 145 146 149 153 156 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 239 242 246 247 248 249 254 256 262 264 267 272 280 284 a 1 2 6 10 15 29 32 40 43 45 48 49 50 56 57 63 64 65 66 72 77 80 82 84 92 95 96 97 100 102 104 109 110 117 118 119 120 125 129 130 131 134 137 139 140 143 145 146 149 153 156 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 239 242 246 247 248 249 256 262 264 267 272 280 284 a 1 2 6 10 15 29 32 36 40 43 45 48 49 50 56 57 63 64 65 66 72 77 80 82 84 92 95 96 97 100 102 104 109 110 117 118 119 120 125 129 130 131 134 137 139 140 143 145 146 149 153 156 159 161 163 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 239 242 246 247 248 249 256 262 264 267 272 280 284 a 1 2 6 10 15 29 32 36 40 43 45 48 49 50 56 57 63 64 65 66 72 77 80 82 84 92 95 96 97 100 102 104 109 110 117 118 119 120 125 129 130 131 134 137 139 140 143 145 146 149 153 156 159 161 163 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 239 242 246 247 248 249 256 262 264 272 274 280 284 a 1 2 6 10 15 29 32 36 40 43 45 48 49 50 56 57 63 64 65 66 72 77 80 82 84 92 95 96 97 100 102 104 109 110 117 118 119 120 125 129 130 131 134 137 139 140 143 145 146 149 153 156 159 161 163 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 218 219 225 226 227 229 230 231 232 233 234 239 242 246 247 248 249 256 262 264 266 272 274 280 284 a 1 2 6 10 15 29 32 36 40 43 45 47 48 49 50 56 57 63 64 65 66 72 77 80 82 84 92 95 96 97 100 102 104 109 110 117 118 119 120 125 129 130 131 134 137 139 140 143 145 146 149 153 156 159 161 163 172 176 179 180 183 185 189 191 192 195 196 201 206 210 211 218 219 225 226 227 229 230 231 232 233 234 239 242 246 247 248 249 256 262 264 266 272 274 280 284 a 1 2 6 10 15 29 32 36 40 43 45 47 48 49 50 52 56 57 63 64 65 66 72 77 80 82 84 92 95 96 97 100 102 104 109 110 117 118 119 120 125 129 130 131 134 137 139 140 143 145 146 149 153 156 159 161 163 172 176 179 180 185 189 191 192 195 196 201 206 210 211 218 219 225 226 227 229 230 231 232 233 234 239 242 246 247 248 249 256 262 264 266 272 274 280 284 a 1 2 6 10 15 29 32 36 40 43 45 47 48 49 50 52 56 57 63 64 65 66 72 77 80 82 84 92 95 96 97 100 102 104 109 110 117 118 119 120 125 129 130 131 134 137 139 140 143 145 146 149 153 156 159 161 163 172 176 179 180 185 189 191 192 195 196 206 210 211 218 219 225 226 227 229 230 231 232 233 234 239 242 246 247 248 249 256 262 264 266 270 272 274 280 284 a 1 2 6 10 15 29 32 36 40 43 45 47 48 49 50 52 56 57 63 64 65 66 72 77 80 82 84 92 95 96 97 100 102 104 109 110 117 118 119 120 125 129 130 131 137 139 140 143 145 146 149 153 156 159 161 163 172 176 179 180 185 189 191 192 195 196 206 210 211 218 219 220 225 226 227 229 230 231 232 233 234 239 242 246 247 248 249 256 262 264 266 270 272 274 280 284 a 1 2 6 10 15 29 32 36 40 43 45 47 48 49 50 52 56 57 63 64 65 66 72 77 80 82 84 92 95 96 97 100 102 104 109 113 117 118 119 120 125 129 130 131 137 139 140 143 145 146 149 153 156 159 161 163 172 176 179 180 185 189 191 192 195 196 206 210 211 218 219 220 225 226 227 229 230 231 232 233 234 239 242 246 247 248 249 256 262 264 266 270 272 274 280 284 a 1 2 6 10 15 29 32 36 40 43 45 47 48 49 50 52 56 57 63 64 65 66 72 77 80 82 84 92 95 96 97 100 102 109 113 117 118 119 120 125 129 130 131 136 137 139 140 143 145 146 149 153 156 159 161 163 172 176 179 180 185 189 191 192 195 196 206 210 211 218 219 220 225 226 227 229 230 231 232 233 234 239 242 246 247 248 249 256 262 264 266 270 272 274 280 284 a 1 2 6 10 15 29 32 36 40 43 45 47 48 49 50 52 56 57 63 64 65 66 72 77 80 82 84 92 95 96 97 100 102 109 113 117 118 119 120 125 129 130 131 136 139 140 143 145 146 149 153 156 159 161 163 172 176 179 180 185 188 189 191 192 195 196 206 210 211 218 219 220 225 226 227 229 230 231 232 233 234 239 242 246 247 248 249 256 262 264 266 270 272 274 280 284 a 1 2 6 10 15 29 32 36 40 43 45 47 48 49 50 52 56 57 63 64 65 66 72 77 80 82 84 92 95 96 97 100 102 109 113 117 118 119 120 125 129 130 131 136 139 140 143 145 146 149 153 156 159 161 163 172 176 179 180 185 188 189 191 192 195 196 206 210 211 219 220 225 226 227 229 230 231 232 233 234 235 239 242 246 247 248 249 256 262 264 266 270 272 274 280 284 a 1 2 6 10 15 29 32 36 40 43 45 47 48 49 50 52 56 57 63 64 65 66 72 77 80 82 84 92 95 96 97 100 102 109 113 117 118 119 120 125 129 130 131 136 139 140 143 145 146 149 153 156 159 161 163 172 176 179 180 185 188 189 191 192 195 196 206 210 211 215 219 220 225 226 227 229 230 232 233 234 235 239 242 246 247 248 249 256 262 264 266 270 272 274 280 284 a 1 2 6 10 15 29 32 36 40 43 45 47 48 49 50 52 56 57 63 64 65 66 72 77 80 84 92 95 96 97 100 102 109 113 117 118 119 120 125 129 130 131 136 139 140 143 145 146 149 153 156 159 161 163 172 176 179 180 185 188 189 191 192 195 196 206 210 211 215 219 220 225 226 227 229 230 232 233 234 235 239 242 246 247 248 249 256 262 264 266 270 272 274 277 280 284 a 1 2 6 10 15 29 32 36 40 43 45 47 48 49 50 52 56 57 63 64 65 66 72 77 80 84 92 95 96 97 100 102 109 113 117 118 119 120 129 130 131 136 139 140 143 145 146 149 153 156 159 161 163 172 176 179 180 185 188 189 191 192 195 196 206 210 211 215 219 220 225 226 227 229 230 232 233 234 235 239 242 246 247 248 249 256 262 264 266 270 272 273 274 277 280 284 a 1 2 6 10 15 29 32 36 40 43 45 47 48 49 50 52 56 57 63 64 65 66 72 77 80 84 92 95 96 97 100 102 109 113 117 118 119 120 129 130 131 136 139 140 143 145 146 149 153 156 159 161 163 172 176 179 180 185 188 189 191 192 195 196 206 210 211 215 219 220 222 225 226 227 230 232 233 234 235 239 242 246 247 248 249 256 262 264 266 270 272 273 274 277 280 284 a 1 2 6 10 15 29 32 36 40 43 45 47 48 49 50 52 56 57 63 64 65 66 70 72 80 84 92 95 96 97 100 102 109 113 117 118 119 120 129 130 131 136 139 140 143 145 146 149 153 156 159 161 163 172 176 179 180 185 188 189 191 192 195 196 206 210 211 215 219 220 222 225 226 227 230 232 233 234 235 239 242 246 247 248 249 256 262 264 266 270 272 273 274 277 280 284 a 1 2 6 10 15 29 32 36 39 40 43 45 47 48 49 50 52 56 57 63 64 65 66 70 72 80 84 92 95 96 97 100 102 109 113 117 118 119 120 129 130 131 136 139 140 143 145 146 149 153 156 159 161 163 172 176 179 180 185 188 189 191 192 195 196 206 210 211 215 219 220 222 225 226 227 230 232 233 234 235 239 242 246 247 249 256 262 264 266 270 272 273 274 277 280 284 a 1 2 6 10 15 26 29 32 36 39 40 43 45 47 48 49 50 52 56 57 63 64 65 66 70 72 80 84 92 95 96 97 100 102 109 113 117 118 119 120 129 130 131 136 139 140 143 145 146 149 153 156 159 161 163 172 176 179 185 188 189 191 192 195 196 206 210 211 215 219 220 222 225 226 227 230 232 233 234 235 239 242 246 247 249 256 262 264 266 270 272 273 274 277 280 284 a 1 2 6 10 13 15 26 29 32 36 39 40 43 45 47 48 49 50 52 56 63 64 65 66 70 72 80 84 92 95 96 97 100 102 109 113 117 118 119 120 129 130 131 136 139 140 143 145 146 149 153 156 159 161 163 172 176 179 185 188 189 191 192 195 196 206 210 211 215 219 220 222 225 226 227 230 232 233 234 235 239 242 246 247 249 256 262 264 266 270 272 273 274 277 280 284 a 1 2 6 10 13 15 26 29 32 36 39 40 43 45 47 48 49 50 52 56 63 64 65 66 70 72 80 84 92 95 96 97 100 102 109 113 115 117 118 119 120 129 130 131 136 139 140 143 145 146 149 153 156 159 161 163 172 176 179 185 188 189 191 192 195 196 206 210 211 215 219 220 222 225 226 227 230 232 233 234 235 239 242 246 247 249 256 262 264 266 270 272 273 274 277 284 a 1 2 6 10 13 15 26 29 32 36 39 40 43 45 47 48 50 52 56 63 64 65 66 70 72 74 80 84 92 95 96 97 100 102 109 113 115 117 118 119 120 129 130 131 136 139 140 143 145 146 149 153 156 159 161 163 172 176 179 185 188 189 191 192 195 196 206 210 211 215 219 220 222 225 226 227 230 232 233 234 235 239 242 246 247 249 256 262 264 266 270 272 273 274 277 284 a 1 2 6 10 13 15 26 29 32 36 39 40 43 45 47 48 50 52 56 63 64 65 66 70 72 74 80 84 90 92 95 96 97 100 102 109 113 115 117 118 119 120 129 130 131 136 139 140 143 145 146 149 153 156 159 161 163 172 176 179 185 188 189 191 192 196 206 210 211 215 219 220 222 225 226 227 230 232 233 234 235 239 242 246 247 249 256 262 264 266 270 272 273 274 277 284 a 1 2 6 10 13 15 26 29 32 36 39 40 43 45 47 48 50 52 56 63 64 65 66 70 72 74 80 84 90 92 95 96 97 100 102 109 113 115 117 118 119 120 129 130 131 136 139 140 143 145 146 149 153 156 159 161 172 176 179 185 188 189 191 192 194 196 206 210 211 215 219 220 222 225 226 227 230 232 233 234 235 239 242 246 247 249 256 262 264 266 270 272 273 274 277 284 a 1 2 6 10 13 26 29 32 36 39 40 43 45 47 48 50 52 56 63 64 65 66 70 72 74 80 84 90 92 95 96 97 100 102 109 113 115 117 118 119 120 129 130 131 136 139 140 143 145 146 149 153 156 159 161 172 176 179 184 185 188 189 191 192 194 196 206 210 211 215 219 220 222 225 226 227 230 232 233 234 235 239 242 246 247 249 256 262 264 266 270 272 273 274 277 284 a 1 2 6 10 13 26 29 32 36 39 40 43 45 47 48 50 52 56 63 64 65 66 70 72 74 80 84 90 92 95 96 97 100 102 113 115 117 118 119 120 129 130 131 136 139 140 143 145 146 149 153 156 159 161 172 176 179 184 185 187 188 189 191 192 194 196 206 210 211 215 219 220 222 225 226 227 230 232 233 234 235 239 242 246 247 249 256 262 264 266 270 272 273 274 277 284 a 1 2 6 10 13 26 29 32 36 39 40 43 45 47 48 50 52 56 63 64 65 66 70 72 74 80 84 90 92 95 96 97 98 100 102 113 115 117 118 119 120 129 130 131 136 139 140 143 145 146 149 153 156 159 161 172 176 179 184 185 187 188 189 191 192 194 196 206 210 211 215 219 220 222 225 226 227 230 232 233 235 239 242 246 247 249 256 262 264 266 270 272 273 274 277 284 a 1 2 5 6 10 13 26 29 32 36 39 40 43 45 47 48 50 52 56 63 64 65 66 70 72 74 80 84 90 92 95 96 97 98 100 102 113 115 117 118 119 120 129 130 131 136 139 140 143 145 146 149 153 156 159 161 172 176 179 184 185 187 188 189 191 192 194 196 206 210 211 215 219 220 222 225 226 230 232 233 235 239 242 246 247 249 256 262 264 266 270 272 273 274 277 284 a 1 2 5 6 10 13 26 29 32 36 39 40 43 45 47 48 50 52 56 63 64 65 66 70 72 74 80 84 90 92 95 96 97 98 100 102 113 115 117 118 119 120 122 129 130 131 136 139 140 143 145 146 149 156 159 161 172 176 179 184 185 187 188 189 191 192 194 196 206 210 211 215 219 220 222 225 226 230 232 233 235 239 242 246 247 249 256 262 264 266 270 272 273 274 277 284 a 1 2 5 6 10 13 26 29 32 36 39 40 43 45 47 48 50 52 56 63 64 65 66 70 72 74 80 84 90 92 95 96 97 98 100 102 113 115 117 118 119 120 122 129 130 131 135 136 139 140 143 145 149 156 159 161 172 176 179 184 185 187 188 189 191 192 194 196 206 210 211 215 219 220 222 225 226 230 232 233 235 239 242 246 247 249 256 262 264 266 270 272 273 274 277 284 a 1 2 5 6 10 13 26 29 32 36 39 40 43 45 47 48 50 52 56 63 64 66 70 72 74 80 84 90 92 95 96 97 98 100 102 113 115 117 118 119 120 122 129 130 131 135 136 139 140 143 145 149 156 159 161 172 176 179 184 185 187 188 189 191 192 194 196 206 210 211 215 219 220 222 225 226 230 232 233 235 239 242 245 246 247 249 256 262 264 266 270 272 273 274 277 284 a 1 2 5 6 10 13 26 29 32 36 39 40 43 45 47 48 50 52 56 63 64 66 70 72 74 80 84 90 92 95 96 97 98 100 102 113 115 117 118 119 120 122 129 130 131 135 136 139 140 143 145 149 156 159 161 172 176 177 179 184 185 187 188 189 191 192 194 196 206 210 211 215 219 220 222 225 230 232 233 235 239 242 245 246 247 249 256 262 264 266 270 272 273 274 277 284 a 1 2 5 6 10 13 26 29 32 36 38 39 40 43 45 47 48 50 52 56 63 64 66 70 72 74 80 84 90 92 95 96 97 98 100 102 113 115 117 118 119 120 122 129 130 131 135 136 139 140 143 145 149 156 159 161 172 176 177 179 184 185 187 188 189 191 192 194 196 206 211 215 219 220 222 225 230 232 233 235 239 242 245 246 247 249 256 262 264 266 270 272 273 274 277 284 a 1 2 5 6 10 13 26 29 32 36 38 39 40 43 45 47 48 50 52 56 63 64 66 70 72 74 80 84 90 92 95 96 97 98 100 102 113 115 117 118 119 120 122 129 130 131 135 136 139 140 143 145 149 155 156 159 161 172 176 177 179 184 185 187 188 189 191 192 194 196 206 215 219 220 222 225 230 232 233 235 239 242 245 246 247 249 256 262 264 266 270 272 273 274 277 284 a 1 2 5 6 10 13 26 29 32 36 38 39 40 43 45 47 48 50 52 56 63 64 66 70 72 74 80 84 90 92 95 96 97 98 100 102 113 115 117 118 119 120 122 129 130 131 135 136 139 140 143 145 149 155 156 159 161 172 177 179 184 185 187 188 189 191 192 194 196 205 206 215 219 220 222 225 230 232 233 235 239 242 245 246 247 249 256 262 264 266 270 272 273 274 277 284 a 1 2 5 6 10 13 26 29 32 36 38 39 40 43 45 47 48 50 52 56 63 64 66 70 72 74 80 84 90 92 95 96 97 98 100 102 113 115 117 118 119 120 122 129 130 131 135 136 139 140 143 145 149 150 155 156 159 161 172 177 179 184 185 187 188 189 191 192 194 196 205 206 215 220 222 225 230 232 233 235 239 242 245 246 247 249 256 262 264 266 270 272 273 274 277 284 a 1 2 5 6 10 13 26 29 32 36 38 39 40 43 45 47 48 50 52 56 63 64 66 70 72 74 80 84 90 92 95 96 97 98 100 102 108 113 115 117 118 119 122 129 130 131 135 136 139 140 143 145 149 150 155 156 159 161 172 177 179 184 185 187 188 189 191 192 194 196 205 206 215 220 222 225 230 232 233 235 239 242 245 246 247 249 256 262 264 266 270 272 273 274 277 284 a 1 2 5 6 10 13 26 29 32 36 38 39 40 43 45 47 48 50 52 56 63 64 66 70 72 74 80 84 90 92 96 97 98 100 102 108 113 115 117 118 119 122 129 130 131 135 136 139 140 143 145 149 150 155 156 159 161 172 177 179 184 185 187 188 189 191 192 194 196 205 206 215 220 222 225 230 232 233 235 239 242 245 246 247 249 256 262 264 266 270 272 273 274 277 279 284 a 1 2 5 6 10 13 26 29 32 36 38 39 40 43 45 47 48 50 52 54 56 63 64 66 70 72 74 80 84 90 92 96 98 100 102 108 113 115 117 118 119 122 129 130 131 135 136 139 140 143 145 149 150 155 156 159 161 172 177 179 184 185 187 188 189 191 192 194 196 205 206 215 220 222 225 230 232 233 235 239 242 245 246 247 249 256 262 264 266 270 272 273 274 277 279 284 a 1 2 5 6 10 13 26 29 32 36 38 39 40 43 45 47 48 50 52 54 56 63 64 66 70 72 74 80 84 90 92 96 98 100 102 108 113 115 117 118 119 122 129 130 131 135 136 139 140 143 145 149 150 155 156 159 161 172 177 179 184 185 187 188 189 191 194 196 205 206 215 220 222 225 230 232 233 235 239 242 245 246 247 249 256 262 263 264 266 270 272 273 274 277 279 284 a 1 2 5 6 10 13 26 29 32 36 38 39 40 42 43 45 47 48 50 52 54 56 63 64 66 70 72 74 80 84 90 92 96 98 100 102 108 113 115 117 118 119 122 129 130 131 135 136 139 140 143 145 149 150 155 156 159 172 177 179 184 185 187 188 189 191 194 196 205 206 215 220 222 225 230 232 233 235 239 242 245 246 247 249 256 262 263 264 266 270 272 273 274 277 279 284 a 1 2 5 6 10 13 26 29 32 36 38 39 40 42 43 45 47 48 50 52 54 56 63 64 66 70 72 74 80 84 90 92 96 98 100 102 108 113 115 118 119 122 129 130 131 135 136 139 140 143 145 149 150 155 156 159 172 177 179 184 185 187 188 189 191 194 196 205 206 215 220 222 225 230 232 233 235 239 242 245 246 247 249 256 261 262 263 264 266 270 272 273 274 277 279 284 a 1 2 5 6 10 13 26 29 32 36 38 39 40 42 43 45 47 48 50 52 54 56 63 64 66 70 72 74 76 80 84 90 92 96 98 100 108 113 115 118 119 122 129 130 131 135 136 139 140 143 145 149 150 155 156 159 172 177 179 184 185 187 188 189 191 194 196 205 206 215 220 222 225 230 232 233 235 239 242 245 246 247 249 256 261 262 263 264 266 270 272 273 274 277 279 284 a 1 2 5 6 10 13 26 29 32 36 38 39 40 42 43 45 47 48 52 54 56 63 64 66 70 72 74 76 80 84 90 92 96 98 100 108 113 115 118 119 122 129 130 131 135 136 139 140 143 145 149 150 155 156 159 172 177 179 184 185 187 188 189 191 194 196 205 206 215 220 222 225 230 232 233 235 239 242 243 245 246 247 249 256 261 262 263 264 266 270 272 273 274 277 279 284 a 1 2 5 6 10 13 26 29 32 36 38 39 40 42 43 45 47 48 52 54 56 63 64 66 70 72 74 76 84 90 92 96 98 100 108 113 115 118 119 122 129 130 131 135 136 139 140 143 145 149 150 155 156 159 172 177 179 184 185 187 188 189 190 191 194 196 205 206 215 220 222 225 230 232 233 235 239 242 243 245 246 247 249 256 261 262 263 264 266 270 272 273 274 277 279 284 a 1 2 5 6 10 13 26 29 32 36 38 39 40 42 43 45 47 48 52 54 56 63 64 66 70 74 76 84 90 92 96 98 100 108 113 115 118 119 122 129 130 131 135 136 139 140 143 145 149 150 155 156 159 172 177 179 184 185 187 188 189 190 191 194 196 205 206 215 220 222 225 230 232 233 235 239 242 243 245 246 247 249 256 261 262 263 264 266 270 272 273 274 277 279 282 284 a 1 2 5 6 10 13 26 29 32 36 38 39 40 42 43 45 47 48 52 54 56 63 64 66 70 74 76 84 90 92 96 98 100 108 113 115 118 119 122 127 129 130 131 135 136 139 140 143 145 149 150 155 156 159 172 177 179 184 185 187 188 189 190 191 194 196 205 206 215 220 222 230 232 233 235 239 242 243 245 246 247 249 256 261 262 263 264 266 270 272 273 274 277 279 282 284 a 1 2 5 6 10 13 18 26 29 32 36 38 39 40 42 43 45 47 48 52 54 56 63 64 66 70 74 76 84 90 92 96 98 100 108 113 115 118 119 122 127 129 130 131 135 136 139 140 143 145 149 150 155 156 159 172 177 184 185 187 188 189 190 191 194 196 205 206 215 220 222 230 232 233 235 239 242 243 245 246 247 249 256 261 262 263 264 266 270 272 273 274 277 279 282 284 a 1 2 5 6 10 13 18 26 29 32 36 38 39 40 42 43 45 47 48 52 54 56 63 64 66 70 74 76 84 90 92 98 100 108 113 115 118 119 122 127 129 130 131 135 136 139 140 143 145 149 150 155 156 159 172 177 184 185 187 188 189 190 191 194 196 200 205 206 215 220 222 230 232 233 235 239 242 243 245 246 247 249 256 261 262 263 264 266 270 272 273 274 277 279 282 284 a 1 2 5 6 10 13 18 26 29 32 36 38 39 40 42 43 45 47 48 52 54 56 63 64 66 70 74 75 76 84 90 92 98 100 108 113 115 118 119 122 127 129 130 131 135 136 139 140 145 149 150 155 156 159 172 177 184 185 187 188 189 190 191 194 196 200 205 206 215 220 222 230 232 233 235 239 242 243 245 246 247 249 256 261 262 263 264 266 270 272 273 274 277 279 282 284 c Step: 64 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance022_graph001.col /benchmark/random_instance/random_instance022_graph001_01.dat" User time (seconds): 536.75 System time (seconds): 8.98 Percent of CPU this job got: 150% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:02.27 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): 30407440 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 10416762 Voluntary context switches: 46835 Involuntary context switches: 2656 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: [Mon Sep 4 14:32:55 2023]