#BEGIN: [Mon Sep 4 10:32:03 2023] #HOST: s16 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent1 #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 --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent /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! 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 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 239 242 246 248 254 256 262 274 280 281 283 284 a 2 10 11 12 15 20 21 29 30 32 34 40 43 44 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 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 248 254 256 262 274 280 281 283 284 a 2 10 11 12 15 20 21 29 30 32 34 36 40 43 44 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 172 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 248 254 256 262 274 280 281 283 284 a 2 10 11 12 15 20 21 29 30 32 34 36 40 43 44 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 152 153 159 161 163 168 172 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 248 254 256 262 274 280 281 283 284 a 2 10 11 12 15 20 21 29 30 32 34 36 40 43 44 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 152 153 159 161 163 168 172 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 219 225 226 227 229 230 231 232 233 234 235 239 242 246 248 254 256 262 274 280 281 283 284 a 2 10 11 12 15 20 21 29 30 32 34 36 40 43 44 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 152 153 159 161 163 168 172 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 219 225 226 227 229 230 231 232 233 234 235 239 242 246 248 249 254 256 262 274 280 281 284 a 2 10 11 12 15 20 21 29 30 32 34 36 40 43 44 48 49 50 57 61 63 65 66 72 77 80 81 82 84 92 95 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 168 172 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 219 225 226 227 229 230 231 232 233 234 235 239 242 246 248 249 254 256 262 274 280 281 284 a 2 10 11 12 15 20 21 29 30 32 34 36 40 43 44 48 49 50 57 61 63 65 66 72 77 80 81 82 84 92 95 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 168 172 179 180 183 185 189 191 192 195 196 202 206 210 211 216 219 225 226 227 229 230 231 232 233 234 235 239 242 246 248 249 254 256 262 270 274 280 281 284 a 2 10 11 12 15 20 21 29 30 32 36 40 43 44 48 49 50 57 61 63 65 66 72 77 80 81 82 84 92 95 97 100 102 104 109 110 117 118 119 125 129 130 131 134 137 139 140 143 146 147 149 152 153 159 161 163 168 172 179 180 183 185 189 191 192 195 196 202 206 210 211 216 219 225 226 227 229 230 231 232 233 234 235 239 242 246 248 249 254 256 262 270 274 280 281 284 a 2 10 11 12 15 20 21 29 30 32 36 40 43 44 48 49 50 57 61 63 65 66 72 77 80 81 82 84 92 95 97 100 102 104 109 110 117 118 119 125 129 130 131 134 139 140 143 146 147 149 152 153 159 161 163 168 172 179 180 183 185 189 191 192 195 196 202 206 210 211 216 219 222 225 226 227 229 230 231 232 233 234 235 239 242 246 248 249 254 256 262 270 274 280 281 284 a 2 10 11 12 15 20 21 29 30 32 36 40 43 44 48 49 50 54 57 61 63 66 72 77 80 81 82 84 92 95 97 100 102 104 109 110 117 118 119 125 129 130 131 134 139 140 143 146 147 149 152 153 159 161 163 168 172 179 180 183 185 189 191 192 195 196 202 206 210 211 216 219 222 225 226 227 229 230 231 232 233 234 235 239 242 246 248 249 254 256 262 270 274 280 281 284 a 2 10 11 12 15 20 21 29 30 32 36 40 43 44 48 49 50 54 57 63 66 72 77 80 81 82 84 92 95 97 100 102 104 109 110 117 118 119 125 129 130 131 134 139 140 143 146 147 149 152 153 156 159 161 163 168 172 179 180 183 185 189 191 192 195 196 202 206 210 211 216 219 222 225 226 227 229 230 231 232 233 234 235 239 242 246 248 249 254 256 262 270 274 280 281 284 a 2 10 11 12 15 20 21 29 30 32 36 40 43 44 48 49 50 54 56 57 63 66 72 77 80 81 82 84 92 95 97 100 102 104 109 110 117 118 119 125 129 130 131 134 139 140 143 146 147 149 153 156 159 161 163 168 172 179 180 183 185 189 191 192 195 196 202 206 210 211 216 219 222 225 226 227 229 230 231 232 233 234 235 239 242 246 248 249 254 256 262 270 274 280 281 284 a 2 10 11 12 15 20 21 29 30 32 36 40 43 44 48 49 50 54 56 57 63 66 70 72 77 80 81 84 92 95 97 100 102 104 109 110 117 118 119 125 129 130 131 134 139 140 143 146 147 149 153 156 159 161 163 168 172 179 180 183 185 189 191 192 195 196 202 206 210 211 216 219 222 225 226 227 229 230 231 232 233 234 235 239 242 246 248 249 254 256 262 270 274 280 281 284 a 2 10 11 12 15 20 21 29 30 32 36 38 40 43 44 48 49 50 54 56 57 63 66 70 72 77 81 84 92 95 97 100 102 104 109 110 117 118 119 125 129 130 131 134 139 140 143 146 147 149 153 156 159 161 163 168 172 179 180 183 185 189 191 192 195 196 202 206 210 211 216 219 222 225 226 227 229 230 231 232 233 234 235 239 242 246 248 249 254 256 262 270 274 280 281 284 a 2 10 11 12 15 20 21 29 30 32 36 38 40 43 44 48 49 50 54 56 57 63 66 70 72 77 81 84 92 95 97 100 102 104 108 110 117 118 119 125 129 130 131 134 139 140 143 146 147 149 153 156 159 161 163 168 172 179 180 183 185 189 191 192 195 196 202 206 210 211 216 219 222 225 226 227 229 230 231 232 233 234 235 239 242 246 248 249 254 256 262 270 274 280 281 284 a 2 10 11 12 15 20 21 29 30 32 36 38 40 43 44 48 49 50 54 56 57 63 66 70 72 77 81 84 92 95 97 100 102 104 108 110 117 118 119 125 129 130 131 134 139 140 143 146 149 153 156 159 161 163 168 172 179 180 183 185 189 191 192 195 196 202 206 210 211 216 219 222 225 226 227 229 230 231 232 233 234 235 239 242 246 248 249 254 256 262 270 274 277 280 281 284 a 2 10 11 12 15 20 21 29 30 32 36 38 40 43 44 48 49 50 54 56 57 63 66 70 72 77 81 84 92 95 97 100 104 108 110 117 118 119 125 129 130 131 134 139 140 143 146 149 153 156 159 161 163 168 172 179 180 183 185 189 191 192 195 196 202 206 210 211 216 219 222 225 226 227 229 230 231 232 233 234 235 239 242 246 248 249 254 256 262 270 272 274 277 280 281 284 a 2 10 11 12 15 20 21 29 30 32 36 38 40 43 48 49 50 54 56 57 63 66 70 72 77 81 84 92 95 97 100 104 108 110 117 118 119 125 129 130 131 134 139 140 143 146 149 153 156 159 161 163 168 172 179 180 183 185 188 189 191 192 195 196 202 206 210 211 216 219 222 225 226 227 229 230 231 232 233 234 235 239 242 246 248 249 254 256 262 270 272 274 277 280 281 284 a 2 10 11 12 15 20 21 29 30 32 36 38 40 43 48 49 50 54 56 57 63 66 70 72 77 81 84 92 95 97 100 104 108 110 117 118 119 125 129 130 131 139 140 143 146 149 153 156 159 161 163 168 172 179 180 183 185 188 189 191 192 195 196 202 206 210 211 216 219 220 222 225 226 227 229 230 231 232 233 234 235 239 242 246 248 249 254 256 262 270 272 274 277 280 281 284 a 2 10 11 12 15 20 21 29 30 32 36 38 40 43 48 49 50 54 56 57 63 66 70 72 77 81 84 92 95 97 100 104 108 110 117 118 119 125 129 130 131 139 140 143 146 149 153 156 159 161 163 168 172 179 180 183 185 188 189 191 192 195 196 200 202 206 210 211 216 219 220 222 226 227 229 230 231 232 233 234 235 239 242 246 248 249 254 256 262 270 272 274 277 280 281 284 a 2 10 11 12 15 20 21 29 30 32 36 38 40 43 48 49 50 54 56 57 63 66 70 72 77 81 84 92 95 97 100 104 108 110 117 118 119 125 129 130 131 139 140 143 146 149 153 156 159 161 163 168 172 179 180 183 184 185 188 189 191 192 196 200 202 206 210 211 216 219 220 222 226 227 229 230 231 232 233 234 235 239 242 246 248 249 254 256 262 270 272 274 277 280 281 284 a 2 10 11 12 15 20 21 29 32 36 38 40 43 48 49 50 54 56 57 63 66 70 72 77 81 84 92 95 97 100 104 108 110 117 118 119 125 129 130 131 139 140 143 146 149 153 156 159 161 163 168 172 179 180 183 184 185 188 189 191 192 196 200 202 206 210 211 216 219 220 222 226 227 229 230 231 232 233 234 235 239 242 246 248 249 254 256 262 270 272 273 274 277 280 281 284 a 2 10 11 12 15 21 29 32 36 38 40 43 48 49 50 54 56 57 63 64 66 70 72 77 81 84 92 95 97 100 104 108 110 117 118 119 125 129 130 131 139 140 143 146 149 153 156 159 161 163 168 172 179 180 183 184 185 188 189 191 192 196 200 202 206 210 211 216 219 220 222 226 227 229 230 231 232 233 234 235 239 242 246 248 249 254 256 262 270 272 273 274 277 280 281 284 a 2 10 11 12 15 21 29 32 36 38 40 43 48 49 50 54 56 57 63 64 66 70 72 77 81 84 92 95 100 104 108 110 117 118 119 125 129 130 131 139 140 143 146 149 153 156 159 161 163 168 172 179 180 183 184 185 188 189 191 192 196 200 202 206 210 211 216 219 220 222 226 227 229 230 231 232 233 234 235 239 242 246 248 249 254 256 262 264 270 272 273 274 277 280 281 284 a 2 10 11 12 15 21 29 32 36 38 40 43 48 49 50 54 56 57 63 64 66 70 72 77 81 84 92 95 100 104 108 110 117 118 119 125 129 130 131 139 140 143 146 149 153 156 159 161 163 168 172 179 180 183 184 185 188 189 191 192 196 200 202 206 210 211 216 219 220 222 226 227 229 230 232 233 234 235 239 242 245 246 248 249 254 256 262 264 270 272 273 274 277 280 281 284 a 2 10 11 12 15 21 29 32 36 38 40 43 48 49 50 54 56 57 63 64 66 70 72 77 81 84 92 95 100 108 110 117 118 119 125 129 130 131 139 140 143 146 149 153 156 159 161 163 168 172 179 180 183 184 185 188 189 191 192 196 200 202 206 210 211 215 216 219 220 222 226 227 229 230 232 233 234 235 239 242 245 246 248 249 254 256 262 264 270 272 273 274 277 280 281 284 a 2 10 11 12 15 21 29 32 36 38 39 40 43 48 49 50 54 56 57 63 64 66 70 72 77 81 84 92 95 100 108 110 117 118 119 125 129 130 131 139 140 143 146 149 153 156 159 161 163 168 172 179 180 183 184 185 188 189 191 192 196 200 202 206 210 211 215 216 219 220 222 226 227 229 230 232 233 234 235 239 242 245 246 249 254 256 262 264 270 272 273 274 277 280 281 284 a 2 10 11 12 15 21 29 32 36 38 39 40 43 48 49 50 54 56 57 63 64 66 70 72 77 81 84 92 95 100 108 117 118 119 125 129 130 131 139 140 143 146 149 153 156 159 161 163 168 172 179 180 183 184 185 187 188 189 191 192 196 200 202 206 210 211 215 216 219 220 222 226 227 229 230 232 233 234 235 239 242 245 246 249 254 256 262 264 270 272 273 274 277 280 281 284 a 2 5 10 11 12 15 21 29 32 36 38 39 40 43 48 49 50 54 56 57 63 64 66 70 72 77 81 84 92 95 100 108 117 118 119 125 129 130 131 139 140 143 146 149 153 156 159 161 163 168 172 179 180 183 184 185 187 188 189 191 192 196 200 202 206 210 211 215 216 219 220 222 226 227 229 230 232 233 235 239 242 245 246 249 254 256 262 264 270 272 273 274 277 280 281 284 a 2 5 10 11 12 15 21 29 32 36 38 39 40 43 48 49 50 54 56 57 63 64 66 70 72 77 81 84 92 95 100 108 117 118 119 125 129 130 131 139 140 143 145 146 149 153 156 159 161 163 172 179 180 183 184 185 187 188 189 191 192 196 200 202 206 210 211 215 216 219 220 222 226 227 229 230 232 233 235 239 242 245 246 249 254 256 262 264 270 272 273 274 277 280 281 284 a 2 5 10 11 12 15 29 32 36 38 39 40 43 48 49 50 54 56 57 63 64 66 70 72 77 81 84 92 95 100 108 117 118 119 125 129 130 131 139 140 143 145 146 149 153 156 159 161 163 172 179 180 183 184 185 187 188 189 191 192 196 200 202 206 210 211 215 216 219 220 222 226 227 229 230 232 233 235 239 242 245 246 249 254 256 262 264 266 270 272 273 274 277 280 281 284 a 2 5 10 12 15 29 32 36 38 39 40 43 45 48 49 50 54 56 57 63 64 66 70 72 77 81 84 92 95 100 108 117 118 119 125 129 130 131 139 140 143 145 146 149 153 156 159 161 163 172 179 180 183 184 185 187 188 189 191 192 196 200 202 206 210 211 215 216 219 220 222 226 227 229 230 232 233 235 239 242 245 246 249 254 256 262 264 266 270 272 273 274 277 280 281 284 a 2 5 10 12 15 29 32 36 38 39 40 43 45 48 50 54 56 57 63 64 66 70 72 74 77 81 84 92 95 100 108 117 118 119 125 129 130 131 139 140 143 145 146 149 153 156 159 161 163 172 179 180 183 184 185 187 188 189 191 192 196 200 202 206 210 211 215 216 219 220 222 226 227 229 230 232 233 235 239 242 245 246 249 254 256 262 264 266 270 272 273 274 277 280 281 284 a 2 5 10 12 15 29 32 36 38 39 40 43 45 48 50 54 56 57 63 64 66 70 72 74 77 81 84 92 95 100 108 117 118 119 125 129 130 131 136 139 140 143 145 146 149 153 156 159 161 163 172 179 180 183 184 185 187 188 189 191 192 196 200 202 206 210 211 215 216 219 220 222 226 227 229 230 232 233 235 239 242 245 246 249 256 262 264 266 270 272 273 274 277 280 281 284 a 2 5 10 12 15 29 32 36 38 39 40 43 45 48 50 54 56 57 63 64 66 70 72 74 77 81 84 92 95 100 108 117 118 119 125 129 130 131 135 136 139 140 143 145 146 149 153 156 159 161 172 179 180 183 184 185 187 188 189 191 192 196 200 202 206 210 211 215 216 219 220 222 226 227 229 230 232 233 235 239 242 245 246 249 256 262 264 266 270 272 273 274 277 280 281 284 a 2 5 10 12 15 29 32 36 38 39 40 43 45 48 50 54 56 57 63 64 66 70 72 74 77 81 84 92 95 100 108 118 119 125 129 130 131 135 136 139 140 143 145 146 149 153 156 159 161 172 179 180 183 184 185 187 188 189 191 192 196 200 202 206 210 211 215 216 219 220 222 226 227 229 230 232 233 235 239 242 245 246 249 256 261 262 264 266 270 272 273 274 277 280 281 284 a 2 5 10 15 29 32 36 38 39 40 43 45 48 50 54 56 57 63 64 66 70 72 74 77 81 84 92 95 100 108 113 118 119 125 129 130 131 135 136 139 140 143 145 146 149 153 156 159 161 172 179 180 183 184 185 187 188 189 191 192 196 200 202 206 210 211 215 216 219 220 222 226 227 229 230 232 233 235 239 242 245 246 249 256 261 262 264 266 270 272 273 274 277 280 281 284 a 2 5 6 10 29 32 36 38 39 40 43 45 48 50 54 56 57 63 64 66 70 72 74 77 81 84 92 95 100 108 113 118 119 125 129 130 131 135 136 139 140 143 145 146 149 153 156 159 161 172 179 180 183 184 185 187 188 189 191 192 196 200 202 206 210 211 215 216 219 220 222 226 227 229 230 232 233 235 239 242 245 246 249 256 261 262 264 266 270 272 273 274 277 280 281 284 a 2 5 6 10 29 32 36 38 39 40 43 45 48 50 54 56 57 63 64 66 70 72 74 77 81 84 92 95 100 108 113 118 119 125 129 130 131 135 136 139 140 143 145 146 149 153 155 156 159 161 172 179 180 183 184 185 187 188 189 191 192 196 200 202 206 210 215 216 219 220 222 226 227 229 230 232 233 235 239 242 245 246 249 256 261 262 264 266 270 272 273 274 277 280 281 284 a 2 5 6 10 29 32 36 38 39 40 43 45 48 50 54 56 57 63 64 66 70 72 74 77 81 84 92 95 100 108 113 118 119 125 129 130 131 135 136 139 140 143 145 146 149 155 156 159 161 172 179 180 183 184 185 187 188 189 191 192 196 200 202 205 206 210 215 216 219 220 222 226 227 229 230 232 233 235 239 242 245 246 249 256 261 262 264 266 270 272 273 274 277 280 281 284 a 2 5 6 10 29 32 36 38 39 40 43 45 48 50 54 56 57 63 64 66 70 72 74 77 81 84 92 95 100 108 113 118 119 125 129 130 131 135 136 139 140 143 145 146 149 155 156 159 161 172 177 179 180 183 184 185 187 188 189 191 192 196 200 202 205 206 210 215 216 219 220 222 227 229 230 232 233 235 239 242 245 246 249 256 261 262 264 266 270 272 273 274 277 280 281 284 a 2 5 6 10 18 29 32 36 38 39 40 43 45 48 50 54 56 57 63 64 66 70 72 74 77 81 84 92 95 100 108 113 118 119 125 129 130 131 135 136 139 140 143 145 146 149 155 156 159 161 172 177 180 183 184 185 187 188 189 191 192 196 200 202 205 206 210 215 216 219 220 222 227 229 230 232 233 235 239 242 245 246 249 256 261 262 264 266 270 272 273 274 277 280 281 284 a 2 5 6 10 18 29 32 36 38 39 40 43 45 48 50 54 56 57 63 64 66 70 72 74 77 81 84 92 95 100 108 113 118 119 125 129 130 131 135 136 139 140 143 145 146 149 155 156 159 161 172 177 180 183 184 185 187 188 189 191 192 194 196 200 202 205 206 210 215 216 219 220 222 227 229 230 232 233 235 239 242 245 246 249 256 261 262 264 266 270 272 273 274 277 281 284 a 2 5 6 10 18 29 32 36 38 39 40 43 45 48 50 54 56 57 63 64 66 70 72 74 77 81 84 92 95 100 108 113 115 118 119 125 129 130 131 135 136 139 140 143 145 146 149 155 156 159 161 172 177 180 183 184 185 187 188 189 191 192 194 196 200 202 205 206 210 215 216 219 220 222 227 229 230 232 233 235 239 242 245 246 249 256 261 262 264 266 270 272 273 274 277 284 a 2 5 6 10 18 29 32 36 38 39 40 43 45 48 50 54 56 57 63 64 66 70 72 74 75 77 81 84 92 95 100 108 113 115 118 119 125 129 130 131 135 136 139 140 145 146 149 155 156 159 161 172 177 180 183 184 185 187 188 189 191 192 194 196 200 202 205 206 210 215 216 219 220 222 227 229 230 232 233 235 239 242 245 246 249 256 261 262 264 266 270 272 273 274 277 284 a 2 5 6 10 18 29 32 36 38 39 40 43 45 48 50 54 56 57 63 64 66 70 72 74 75 77 81 84 90 92 95 100 108 113 115 118 119 125 129 130 131 135 136 139 140 145 146 149 155 156 159 161 172 177 180 183 184 185 187 188 189 191 192 194 196 200 202 205 206 210 215 219 220 222 227 229 230 232 233 235 239 242 245 246 249 256 261 262 264 266 270 272 273 274 277 284 a 2 5 6 10 18 29 32 36 38 39 40 43 45 47 48 50 54 56 57 63 64 66 70 72 74 75 77 81 84 90 92 95 100 108 113 115 118 119 125 129 130 131 135 136 139 140 145 146 149 155 156 159 161 172 177 180 183 184 185 187 188 189 191 192 194 196 200 205 206 210 215 219 220 222 227 229 230 232 233 235 239 242 245 246 249 256 261 262 264 266 270 272 273 274 277 284 a 2 5 6 10 18 29 32 36 38 39 40 43 45 47 48 50 54 56 57 63 64 66 70 72 74 75 77 84 90 92 95 100 108 113 115 118 119 125 129 130 131 135 136 139 140 145 146 149 155 156 159 161 172 177 180 183 184 185 187 188 189 191 192 194 196 200 205 206 210 215 219 220 222 227 229 230 232 233 235 239 242 245 246 247 249 256 261 262 264 266 270 272 273 274 277 284 a 2 5 6 10 18 29 32 36 38 39 40 43 45 47 48 50 54 56 57 63 64 66 70 72 74 75 77 84 90 92 95 98 100 108 113 115 118 119 125 129 130 131 135 136 139 140 145 146 149 155 156 159 161 172 177 180 184 185 187 188 189 191 192 194 196 200 205 206 210 215 219 220 222 227 229 230 232 233 235 239 242 245 246 247 249 256 261 262 264 266 270 272 273 274 277 284 a 2 5 6 10 18 29 32 36 38 39 40 43 45 47 48 50 54 56 57 63 64 66 70 72 74 75 76 77 84 90 92 95 98 100 108 113 115 118 119 125 129 130 131 135 136 139 140 145 146 149 155 156 159 161 172 177 180 184 185 187 188 189 191 192 194 196 200 205 206 210 215 220 222 227 229 230 232 233 235 239 242 245 246 247 249 256 261 262 264 266 270 272 273 274 277 284 a 2 5 6 10 18 29 32 36 38 39 40 43 45 47 48 50 54 56 57 63 64 66 70 74 75 76 77 84 90 92 95 98 100 108 113 115 118 119 125 127 129 130 131 135 136 139 140 145 146 149 155 156 159 161 172 177 180 184 185 187 188 189 191 192 194 196 200 205 206 210 215 220 222 227 229 230 232 233 235 239 242 245 246 247 249 256 261 262 264 266 270 272 273 274 277 284 a 1 2 5 6 10 18 29 32 36 38 39 40 43 45 47 48 50 54 56 57 63 64 66 70 74 75 76 77 84 90 92 95 98 100 108 113 115 118 119 125 127 129 130 131 135 136 139 140 145 146 149 155 156 159 161 172 177 184 185 187 188 189 191 192 194 196 200 205 206 210 215 220 222 227 229 230 232 233 235 239 242 245 246 247 249 256 261 262 264 266 270 272 273 274 277 284 a 1 2 5 6 10 18 29 32 36 38 39 40 43 45 47 48 50 54 56 57 63 64 66 70 74 75 76 77 84 90 92 95 98 100 108 113 115 118 119 125 127 129 130 131 135 136 139 140 145 146 149 155 156 159 172 177 184 185 187 188 189 191 192 194 196 200 205 206 210 215 220 222 227 229 230 232 233 235 239 242 245 246 247 249 256 261 262 264 266 270 272 273 274 277 282 284 a 1 2 5 6 10 13 18 29 32 36 38 39 40 43 45 47 48 50 54 56 63 64 66 70 74 75 76 77 84 90 92 95 98 100 108 113 115 118 119 125 127 129 130 131 135 136 139 140 145 146 149 155 156 159 172 177 184 185 187 188 189 191 192 194 196 200 205 206 210 215 220 222 227 229 230 232 233 235 239 242 245 246 247 249 256 261 262 264 266 270 272 273 274 277 282 284 a 1 2 5 6 10 13 18 29 32 36 38 39 40 43 45 47 48 50 54 56 63 64 66 70 74 75 76 77 84 90 92 98 100 108 113 115 118 119 125 127 129 130 131 135 136 139 140 145 146 149 155 156 159 172 177 184 185 187 188 189 191 192 194 196 200 205 206 210 215 220 222 227 229 230 232 233 235 239 242 245 246 247 249 256 261 262 264 266 270 272 273 274 277 279 282 284 a 1 2 5 6 10 13 18 29 32 36 38 39 40 43 45 47 48 50 54 56 63 64 66 70 74 75 76 77 84 90 92 98 100 108 113 115 118 119 125 127 129 130 131 135 136 139 140 145 149 155 156 159 172 177 184 185 187 188 189 191 192 194 196 200 205 206 210 215 220 222 227 229 230 232 233 235 239 242 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 29 32 36 38 39 40 43 45 47 48 50 52 54 56 63 64 66 70 74 75 76 77 84 90 92 98 100 108 113 115 118 119 127 129 130 131 135 136 139 140 145 149 155 156 159 172 177 184 185 187 188 189 191 192 194 196 200 205 206 210 215 220 222 227 229 230 232 233 235 239 242 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 29 32 36 38 39 40 43 45 47 48 50 52 54 56 63 64 66 70 74 75 76 77 84 90 92 98 100 108 113 115 118 119 122 127 129 130 131 135 136 139 140 145 149 155 156 159 172 177 184 185 187 188 189 191 192 194 196 200 205 206 210 215 220 222 229 230 232 233 235 239 242 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 29 32 36 38 39 40 42 43 45 47 48 50 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 155 156 159 172 177 184 185 187 188 189 191 192 194 196 200 205 206 210 215 220 222 229 230 232 233 235 239 242 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 29 32 36 38 39 40 42 43 45 47 48 50 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 191 192 194 196 200 205 206 215 220 222 229 230 232 233 235 239 242 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 50 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 191 192 194 196 200 205 206 215 220 222 230 232 233 235 239 242 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 191 192 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 /benchmark/random_instance/random_instance022_graph001.col /benchmark/random_instance/random_instance022_graph001_01.dat" User time (seconds): 61.56 System time (seconds): 0.12 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:01.69 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): 97940 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 47661 Voluntary context switches: 24 Involuntary context switches: 115 Swaps: 0 File system inputs: 0 File system outputs: 344 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 10:33:05 2023]