#BEGIN: [Mon Sep 4 12:01:41 2023] #HOST: s06 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance021_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance021_graph004_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_graph004.col /benchmark/random_instance/random_instance021_graph004_01.dat c /benchmark/random_instance/random_instance021_graph004.col c /benchmark/random_instance/random_instance021_graph004_01.dat *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.179 seconds *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds s 141 153 122 259 60 199 201 149 84 3 267 243 271 103 242 244 210 78 156 93 225 17 76 114 62 39 163 209 26 70 219 184 229 249 32 36 165 7 44 220 262 112 131 137 167 252 147 250 179 169 94 25 30 260 81 150 54 246 91 207 126 79 175 86 67 52 130 257 101 120 22 158 261 266 9 238 269 95 31 162 105 273 239 33 185 152 t 128 161 170 25 172 218 131 244 250 228 216 155 220 266 129 214 146 62 26 243 206 18 159 271 36 203 191 67 166 45 46 97 179 92 32 241 143 104 208 158 272 136 63 156 247 12 268 212 235 265 189 101 171 209 43 150 233 175 261 57 59 103 142 90 81 185 10 253 89 239 190 95 7 273 82 257 39 132 93 255 184 210 238 180 83 162 a YES a 3 7 9 17 22 25 26 30 31 32 33 36 39 44 52 54 60 62 67 70 76 78 79 81 84 86 91 93 94 95 101 103 105 112 114 120 122 126 130 131 137 141 147 149 150 152 153 156 158 162 163 165 167 169 175 179 184 185 199 201 207 209 210 219 220 225 229 238 239 242 243 244 246 249 250 252 257 259 260 261 262 266 267 269 271 273 a 3 7 9 17 22 25 26 30 31 32 33 36 39 44 52 54 62 65 67 70 76 78 79 81 84 86 91 93 94 95 101 103 105 112 114 120 122 126 130 131 137 141 147 149 150 152 153 156 158 162 163 165 167 169 175 179 184 185 199 201 207 209 210 219 220 225 229 238 239 242 243 244 246 249 250 252 257 259 260 261 262 266 267 269 271 273 a 3 7 9 21 22 25 26 30 31 32 33 36 39 44 52 54 62 65 67 70 76 78 79 81 84 86 91 93 94 95 101 103 105 112 114 120 122 126 130 131 137 141 147 149 150 152 153 156 158 162 163 165 167 169 175 179 184 185 199 201 207 209 210 219 220 225 229 238 239 242 243 244 246 249 250 252 257 259 260 261 262 266 267 269 271 273 a 3 7 9 21 22 25 26 30 31 32 33 36 39 44 52 54 60 62 67 70 76 78 79 81 84 86 91 93 94 95 101 103 105 112 114 120 122 126 130 131 137 141 147 149 150 152 153 156 158 162 163 165 167 169 175 179 184 185 199 201 207 209 210 219 220 225 229 238 239 242 243 244 246 249 250 252 257 259 260 261 262 266 267 269 271 273 a 3 7 9 17 22 25 26 30 31 32 33 36 39 44 52 54 60 62 67 70 76 78 79 81 84 86 91 93 94 95 101 103 105 112 114 120 122 126 130 131 137 141 147 149 150 152 153 156 158 162 163 165 167 169 175 179 184 185 199 201 207 209 210 219 220 225 229 238 239 242 243 244 246 249 250 252 257 259 260 261 262 266 267 269 271 273 a 3 7 9 17 22 25 26 30 31 32 33 36 39 44 52 54 62 65 67 70 76 78 79 81 84 86 91 93 94 95 101 103 105 112 114 120 122 126 130 131 137 141 147 149 150 152 153 156 158 162 163 165 167 169 175 179 184 185 199 201 207 209 210 219 220 225 229 238 239 242 243 244 246 249 250 252 257 259 260 261 262 266 267 269 271 273 a 3 7 9 21 22 25 26 30 31 32 33 36 39 44 52 54 62 65 67 70 76 78 79 81 84 86 91 93 94 95 101 103 105 112 114 120 122 126 130 131 137 141 147 149 150 152 153 156 158 162 163 165 167 169 175 179 184 185 199 201 207 209 210 219 220 225 229 238 239 242 243 244 246 249 250 252 257 259 260 261 262 266 267 269 271 273 a 3 7 9 21 22 25 26 30 31 32 33 36 39 44 52 54 62 65 67 70 76 78 79 81 84 86 91 93 94 95 101 103 105 112 114 120 122 126 130 131 137 141 147 149 150 152 153 156 158 162 163 165 167 169 175 179 184 185 199 201 209 210 219 220 225 229 238 239 242 243 244 246 249 250 252 257 259 260 261 262 264 266 267 269 271 273 a 3 7 9 17 22 25 26 30 31 32 33 36 39 44 52 54 62 65 67 70 76 78 79 81 84 86 91 93 94 95 101 103 105 112 114 120 122 126 130 131 137 141 147 149 150 152 153 156 158 162 163 165 167 169 175 179 184 185 199 201 209 210 219 220 225 229 238 239 242 243 244 246 249 250 252 257 259 260 261 262 264 266 267 269 271 273 a 3 7 9 17 22 25 26 30 31 32 33 36 39 44 52 54 62 65 67 70 76 78 79 81 84 86 91 93 94 95 101 103 105 112 114 120 122 126 130 131 137 141 147 149 150 152 153 156 158 162 163 165 167 169 175 179 184 185 199 201 209 210 219 220 225 229 238 239 242 243 244 246 249 250 254 257 259 260 261 262 264 266 267 269 271 273 a 3 7 9 10 17 22 25 26 30 31 32 33 36 39 44 52 54 62 65 67 70 76 78 79 81 84 86 91 93 94 95 101 103 105 112 114 120 122 126 130 131 137 141 147 149 150 152 153 156 158 162 163 165 167 169 175 179 184 185 199 201 209 210 220 225 229 238 239 242 243 244 246 249 250 254 257 259 260 261 262 264 266 267 269 271 273 a 3 7 9 10 17 22 24 25 26 30 31 32 33 36 39 44 52 54 62 65 67 70 76 78 79 81 84 86 91 93 94 95 101 103 105 112 114 120 122 126 130 131 137 141 147 149 150 152 153 156 158 162 163 165 167 169 175 179 184 185 199 201 209 210 220 225 229 238 239 242 243 244 246 249 250 254 257 259 260 261 262 264 267 269 271 273 a 3 7 8 9 10 17 22 24 25 26 30 31 32 33 36 39 44 52 54 62 65 67 70 76 78 79 81 84 86 91 93 94 95 101 103 105 112 114 120 122 126 130 131 137 141 147 149 150 152 153 156 158 162 163 165 167 169 175 179 184 185 199 201 210 220 225 229 238 239 242 243 244 246 249 250 254 257 259 260 261 262 264 267 269 271 273 a 3 7 8 9 10 22 24 25 26 30 31 32 33 36 39 44 52 54 62 65 67 70 76 78 79 81 84 86 91 93 94 95 101 103 105 112 114 120 122 126 130 131 137 141 147 149 150 152 153 156 158 161 162 163 165 167 169 175 179 184 185 199 201 210 220 225 229 238 239 242 243 244 246 249 250 254 257 259 260 261 262 264 267 269 271 273 a 3 7 8 9 10 22 24 25 26 30 32 33 36 39 44 52 54 62 65 67 70 76 78 79 81 84 86 91 93 94 95 101 103 105 112 114 120 122 126 128 130 131 137 141 147 149 150 152 153 156 158 161 162 163 165 167 169 175 179 184 185 199 201 210 220 225 229 238 239 242 243 244 246 249 250 254 257 259 260 261 262 264 267 269 271 273 a 3 7 8 9 10 22 24 25 26 30 32 33 36 39 44 52 54 62 65 67 76 78 79 81 84 86 91 93 94 95 101 103 105 112 114 120 122 126 128 130 131 137 141 147 149 150 152 153 156 158 161 162 163 165 167 169 175 179 184 185 199 201 210 218 220 225 229 238 239 242 243 244 246 249 250 254 257 259 260 261 262 264 267 269 271 273 a 3 7 8 9 10 22 24 25 26 30 32 36 39 44 52 54 62 65 67 76 78 79 81 84 86 91 93 94 95 101 103 105 112 114 120 122 126 128 130 131 137 141 147 149 150 152 153 156 158 161 162 163 165 167 169 175 179 184 185 189 199 201 210 218 220 225 229 238 239 242 243 244 246 249 250 254 257 259 260 261 262 264 267 269 271 273 a 3 7 8 9 10 22 24 25 26 30 32 36 39 44 52 54 62 65 67 76 78 79 81 84 86 91 93 94 95 101 103 105 112 114 120 122 126 128 130 131 141 147 149 150 152 153 156 158 161 162 163 165 167 169 175 179 184 185 189 199 201 210 218 220 225 229 238 239 242 243 244 246 249 250 254 257 259 260 261 262 264 267 269 271 272 273 a 3 7 8 9 10 22 24 25 26 30 32 36 39 44 52 54 62 65 67 76 78 79 81 84 86 91 93 94 95 101 103 112 114 120 122 126 128 130 131 141 147 149 150 152 153 156 158 161 162 163 165 167 169 175 179 184 185 189 199 201 210 218 220 225 229 235 238 239 242 243 244 246 249 250 254 257 259 260 261 262 264 267 269 271 272 273 a 3 7 9 10 22 24 25 26 30 32 36 39 44 52 54 62 65 67 76 78 79 81 84 86 91 93 94 95 97 101 103 112 114 120 122 126 128 130 131 141 147 149 150 152 153 156 158 161 162 163 165 167 169 175 179 184 185 189 199 201 210 218 220 225 229 235 238 239 242 243 244 246 249 250 254 257 259 260 261 262 264 267 269 271 272 273 a 3 7 9 10 22 24 25 26 30 32 36 39 44 52 54 62 65 67 76 78 79 81 84 86 91 93 94 95 97 101 103 112 114 120 122 126 128 130 131 141 147 149 150 152 153 156 158 161 162 163 165 169 175 179 184 185 189 199 201 210 212 218 220 225 229 235 238 239 242 243 244 246 249 250 254 257 259 260 261 262 264 267 269 271 272 273 a 3 7 9 10 22 24 25 26 30 32 36 39 44 52 54 62 65 67 76 78 79 81 84 91 92 93 94 95 97 101 103 112 114 120 122 126 128 130 131 141 147 149 150 152 153 156 158 161 162 163 165 169 175 179 184 185 189 199 201 210 212 218 220 225 229 235 238 239 242 243 244 246 249 250 254 257 259 260 261 262 264 267 269 271 272 273 a 3 7 9 10 22 24 25 26 30 32 36 39 44 52 54 62 65 67 76 78 79 81 91 92 93 94 95 97 101 103 112 114 120 122 126 128 130 131 141 147 149 150 152 153 156 158 161 162 163 165 169 175 179 184 185 189 199 201 209 210 212 218 220 225 229 235 238 239 242 243 244 246 249 250 254 257 259 260 261 262 264 267 269 271 272 273 a 3 7 9 10 22 24 25 26 30 32 36 39 44 52 54 57 62 65 67 76 78 79 81 91 92 93 94 95 97 101 103 112 114 120 122 126 128 130 131 141 147 149 150 152 153 156 158 161 162 163 165 169 175 179 184 185 189 199 201 209 210 212 218 220 225 229 235 238 239 242 243 244 246 249 250 254 257 259 260 261 262 264 267 271 272 273 a 7 9 10 22 24 25 26 30 32 36 39 44 52 54 57 62 65 67 76 78 79 81 91 92 93 94 95 97 101 103 112 114 120 122 126 128 130 131 141 147 149 150 152 153 156 158 161 162 163 165 169 175 179 184 185 189 199 201 209 210 212 218 220 225 229 233 235 238 239 242 243 244 246 249 250 254 257 259 260 261 262 264 267 271 272 273 a 7 9 10 22 24 25 26 30 32 36 39 44 52 54 57 62 65 67 76 78 79 81 91 92 93 94 95 97 101 103 112 114 120 126 128 130 131 141 147 149 150 152 153 156 158 161 162 163 165 169 175 179 180 184 185 189 199 201 209 210 212 218 220 225 229 233 235 238 239 242 243 244 246 249 250 254 257 259 260 261 262 264 267 271 272 273 a 7 9 10 22 24 25 26 30 32 36 39 44 52 54 57 62 65 67 76 78 79 81 91 92 93 94 95 97 101 103 112 114 120 126 128 130 131 141 147 149 150 152 153 156 158 161 162 163 165 169 175 179 180 184 185 189 199 201 209 210 212 214 218 220 225 229 233 235 238 239 242 243 244 246 249 250 254 257 260 261 262 264 267 271 272 273 a 7 9 10 22 24 25 26 30 32 36 39 44 52 54 57 62 65 67 76 78 79 81 91 92 93 94 95 97 101 103 112 120 126 128 130 131 141 147 149 150 152 153 156 158 161 162 163 165 169 171 175 179 180 184 185 189 199 201 209 210 212 214 218 220 225 229 233 235 238 239 242 243 244 246 249 250 254 257 260 261 262 264 267 271 272 273 a 7 9 10 22 24 25 26 30 32 36 39 44 52 54 57 62 65 67 76 78 79 81 82 91 92 93 94 95 97 101 103 112 120 126 128 130 131 141 147 149 150 152 153 156 158 161 162 163 165 169 171 175 179 180 184 185 189 201 209 210 212 214 218 220 225 229 233 235 238 239 242 243 244 246 249 250 254 257 260 261 262 264 267 271 272 273 a 7 9 10 22 24 25 26 30 32 36 39 44 52 54 57 62 65 67 76 78 79 81 82 91 92 93 94 95 97 101 103 112 120 128 130 131 141 147 149 150 152 153 156 158 161 162 163 165 169 171 175 179 180 184 185 189 201 209 210 212 214 218 220 225 229 233 235 238 239 242 243 244 246 249 250 254 257 260 261 262 264 265 267 271 272 273 a 7 9 10 22 24 25 26 30 32 36 39 44 52 54 57 62 65 67 76 78 79 81 82 91 92 93 94 95 97 101 103 112 120 128 130 131 141 147 149 150 152 153 156 158 161 162 165 169 171 175 179 180 184 185 189 201 206 209 210 212 214 218 220 225 229 233 235 238 239 242 243 244 246 249 250 254 257 260 261 262 264 265 267 271 272 273 a 7 9 10 22 24 25 26 30 32 36 39 44 45 52 54 57 62 65 67 76 78 79 81 82 91 92 93 94 95 97 101 103 112 120 128 130 131 147 149 150 152 153 156 158 161 162 165 169 171 175 179 180 184 185 189 201 206 209 210 212 214 218 220 225 229 233 235 238 239 242 243 244 246 249 250 254 257 260 261 262 264 265 267 271 272 273 a 7 9 10 22 25 26 30 32 36 39 44 45 52 54 57 62 65 67 76 78 79 81 82 91 92 93 94 95 97 101 103 112 120 128 130 131 147 149 150 152 153 156 158 161 162 165 169 171 175 179 180 184 185 189 201 206 209 210 212 214 218 220 225 229 233 235 238 239 242 243 244 246 249 250 254 255 257 260 261 262 264 265 267 271 272 273 a 7 9 10 22 25 26 30 32 36 39 44 45 52 54 57 62 65 67 76 78 79 81 82 91 92 93 94 95 97 101 103 112 120 128 130 131 147 149 150 152 153 156 158 161 162 165 169 171 175 179 180 184 185 189 201 206 209 210 212 214 218 220 225 233 235 238 239 242 243 244 246 249 250 254 255 257 260 261 262 264 265 266 267 271 272 273 a 7 9 10 22 25 26 30 32 36 39 44 45 52 54 57 59 62 65 67 76 78 79 81 82 91 92 93 94 95 97 101 103 112 120 128 130 131 147 149 150 152 153 156 158 161 162 165 169 171 175 179 180 184 185 189 201 206 209 210 212 214 218 220 225 233 235 238 239 243 244 246 249 250 254 255 257 260 261 262 264 265 266 267 271 272 273 a 7 9 10 22 25 26 30 32 36 39 44 45 52 54 57 59 62 63 65 67 76 78 79 81 82 91 92 93 94 95 97 101 103 112 120 128 130 131 149 150 152 153 156 158 161 162 165 169 171 175 179 180 184 185 189 201 206 209 210 212 214 218 220 225 233 235 238 239 243 244 246 249 250 254 255 257 260 261 262 264 265 266 267 271 272 273 a 7 9 10 22 25 26 30 32 36 39 44 45 52 54 57 59 62 63 65 67 76 79 81 82 91 92 93 94 95 97 101 103 112 120 128 130 131 149 150 152 153 156 158 159 161 162 165 169 171 175 179 180 184 185 189 201 206 209 210 212 214 218 220 225 233 235 238 239 243 244 246 249 250 254 255 257 260 261 262 264 265 266 267 271 272 273 a 7 9 10 22 25 26 30 32 36 39 44 45 52 54 57 59 62 63 65 67 76 79 81 82 91 92 93 94 95 97 101 103 112 120 128 130 131 149 150 152 153 156 158 159 161 162 165 171 175 179 180 184 185 189 191 201 206 209 210 212 214 218 220 225 233 235 238 239 243 244 246 249 250 254 255 257 260 261 262 264 265 266 267 271 272 273 a 7 9 10 22 25 26 30 32 36 39 44 45 52 54 57 59 62 63 65 67 76 79 81 82 83 91 92 93 94 95 97 101 103 112 120 128 130 131 149 150 152 153 156 158 159 161 162 165 171 175 179 180 184 185 189 191 201 206 209 210 212 214 218 220 225 233 235 238 239 243 244 246 249 250 254 255 257 261 262 264 265 266 267 271 272 273 a 7 9 10 22 25 26 32 36 39 44 45 52 54 57 59 62 63 65 67 76 79 81 82 83 91 92 93 94 95 97 101 103 112 120 128 130 131 132 149 150 152 153 156 158 159 161 162 165 171 175 179 180 184 185 189 191 201 206 209 210 212 214 218 220 225 233 235 238 239 243 244 246 249 250 254 255 257 261 262 264 265 266 267 271 272 273 a 7 9 10 22 25 26 32 36 39 44 45 52 54 57 59 62 63 65 67 76 79 81 82 83 91 92 93 94 95 97 101 103 112 120 128 130 131 132 149 150 152 153 156 158 159 161 162 165 171 175 179 180 184 185 189 191 201 206 209 210 212 214 218 220 225 233 235 238 239 243 244 246 247 249 250 255 257 261 262 264 265 266 267 271 272 273 a 7 10 22 25 26 32 36 39 44 45 52 54 57 59 62 63 65 67 76 79 81 82 83 91 92 93 94 95 97 101 103 112 120 128 130 131 132 149 150 152 153 156 158 159 161 162 165 171 175 179 180 184 185 189 191 201 206 209 210 212 214 218 220 225 228 233 235 238 239 243 244 246 247 249 250 255 257 261 262 264 265 266 267 271 272 273 a 7 10 22 25 26 32 36 39 44 45 52 54 57 59 62 63 65 67 76 79 81 82 83 91 92 93 94 95 97 101 103 112 128 129 130 131 132 149 150 152 153 156 158 159 161 162 165 171 175 179 180 184 185 189 191 201 206 209 210 212 214 218 220 225 228 233 235 238 239 243 244 246 247 249 250 255 257 261 262 264 265 266 267 271 272 273 a 7 10 22 25 26 32 36 39 45 52 54 57 59 62 63 65 67 76 79 81 82 83 91 92 93 94 95 97 101 103 112 128 129 130 131 132 149 150 152 153 156 158 159 161 162 165 171 175 179 180 184 185 189 191 201 206 209 210 212 214 218 220 225 228 233 235 238 239 243 244 246 247 249 250 255 257 261 262 264 265 266 267 268 271 272 273 a 7 10 22 25 26 32 36 39 45 52 54 57 59 62 63 65 67 76 79 81 82 83 91 92 93 94 95 97 101 103 112 128 129 130 131 132 142 149 150 152 153 156 158 159 161 162 165 171 175 179 180 184 185 189 191 201 206 209 210 212 214 218 220 225 228 233 235 238 239 243 244 246 247 249 250 255 257 261 262 264 265 266 268 271 272 273 a 7 10 22 25 26 32 36 39 45 52 54 57 59 62 63 65 67 76 79 81 82 83 91 92 93 94 95 97 101 103 112 128 129 130 131 132 142 149 150 152 153 156 158 159 161 162 165 171 175 179 180 184 185 189 191 201 206 209 210 212 214 218 220 228 233 235 238 239 243 244 246 247 249 250 253 255 257 261 262 264 265 266 268 271 272 273 a 7 10 18 22 25 26 32 36 39 45 52 54 57 59 62 63 65 67 76 79 81 82 83 91 92 93 94 95 97 101 103 112 128 129 130 131 132 142 149 150 153 156 158 159 161 162 165 171 175 179 180 184 185 189 191 201 206 209 210 212 214 218 220 228 233 235 238 239 243 244 246 247 249 250 253 255 257 261 262 264 265 266 268 271 272 273 a 7 10 18 22 25 26 32 36 39 45 46 52 54 57 59 62 63 65 67 76 79 81 82 83 91 92 93 94 95 97 101 103 112 128 129 130 131 132 142 149 150 153 156 158 159 161 162 165 171 175 179 180 184 185 189 191 201 206 209 210 212 214 218 220 228 233 235 238 239 243 244 247 249 250 253 255 257 261 262 264 265 266 268 271 272 273 a 7 10 18 22 25 26 32 36 39 45 46 52 54 57 59 62 63 65 67 76 79 81 82 83 91 92 93 94 95 97 101 103 112 128 129 130 131 132 142 149 150 156 158 159 161 162 165 166 171 175 179 180 184 185 189 191 201 206 209 210 212 214 218 220 228 233 235 238 239 243 244 247 249 250 253 255 257 261 262 264 265 266 268 271 272 273 a 7 10 18 22 25 26 32 36 39 45 46 52 54 57 59 62 63 65 67 76 79 81 82 83 91 92 93 94 95 97 101 103 128 129 130 131 132 142 149 150 156 158 159 161 162 165 166 171 175 179 180 184 185 189 190 191 201 206 209 210 212 214 218 220 228 233 235 238 239 243 244 247 249 250 253 255 257 261 262 264 265 266 268 271 272 273 a 7 10 18 22 25 26 32 36 39 43 45 46 52 54 57 59 62 63 65 67 76 79 81 82 83 91 92 93 94 95 97 101 103 128 129 130 131 132 142 150 156 158 159 161 162 165 166 171 175 179 180 184 185 189 190 191 201 206 209 210 212 214 218 220 228 233 235 238 239 243 244 247 249 250 253 255 257 261 262 264 265 266 268 271 272 273 a 7 10 18 22 25 26 32 36 39 43 45 46 52 54 57 59 62 63 65 67 76 79 81 82 83 91 92 93 94 95 97 101 103 128 129 130 131 132 142 150 155 156 158 159 161 162 166 171 175 179 180 184 185 189 190 191 201 206 209 210 212 214 218 220 228 233 235 238 239 243 244 247 249 250 253 255 257 261 262 264 265 266 268 271 272 273 a 7 10 18 22 25 26 32 36 39 43 45 46 52 54 57 59 62 63 65 67 76 79 81 82 83 91 92 93 94 95 97 101 103 104 128 129 131 132 142 150 155 156 158 159 161 162 166 171 175 179 180 184 185 189 190 191 201 206 209 210 212 214 218 220 228 233 235 238 239 243 244 247 249 250 253 255 257 261 262 264 265 266 268 271 272 273 a 7 10 18 22 25 26 32 36 39 43 45 46 52 54 57 59 62 63 65 67 76 79 81 82 83 91 92 93 94 95 97 101 103 104 128 129 131 132 142 150 155 156 158 159 161 162 166 171 175 179 180 184 185 189 190 191 201 206 209 210 212 214 216 218 220 228 233 235 238 239 243 244 247 249 250 253 255 257 261 262 265 266 268 271 272 273 a 7 10 18 22 25 26 32 36 39 43 45 46 54 57 59 62 63 65 67 76 79 81 82 83 91 92 93 94 95 97 101 103 104 128 129 131 132 142 143 150 155 156 158 159 161 162 166 171 175 179 180 184 185 189 190 191 201 206 209 210 212 214 216 218 220 228 233 235 238 239 243 244 247 249 250 253 255 257 261 262 265 266 268 271 272 273 a 7 10 18 22 25 26 32 36 39 43 45 46 57 59 62 63 65 67 76 79 81 82 83 91 92 93 94 95 97 101 103 104 128 129 131 132 142 143 146 150 155 156 158 159 161 162 166 171 175 179 180 184 185 189 190 191 201 206 209 210 212 214 216 218 220 228 233 235 238 239 243 244 247 249 250 253 255 257 261 262 265 266 268 271 272 273 a 7 10 18 22 25 26 32 36 39 43 45 46 57 59 62 63 65 67 76 79 81 82 83 92 93 94 95 97 101 103 104 128 129 131 132 142 143 146 150 155 156 158 159 161 162 166 170 171 175 179 180 184 185 189 190 191 201 206 209 210 212 214 216 218 220 228 233 235 238 239 243 244 247 249 250 253 255 257 261 262 265 266 268 271 272 273 a 7 10 18 25 26 32 36 39 43 45 46 57 59 62 63 65 67 76 79 81 82 83 92 93 94 95 97 101 103 104 128 129 131 132 142 143 146 150 155 156 158 159 161 162 166 170 171 175 179 180 184 185 189 190 191 201 206 208 209 210 212 214 216 218 220 228 233 235 238 239 243 244 247 249 250 253 255 257 261 262 265 266 268 271 272 273 a 7 10 18 25 26 32 36 39 43 45 46 57 59 62 63 65 67 76 79 81 82 83 92 93 94 95 97 101 103 104 128 129 131 132 142 143 146 150 155 156 158 159 161 162 166 170 171 175 179 180 184 185 189 190 191 201 206 208 209 210 212 214 216 218 220 228 233 235 238 239 241 243 244 247 249 250 253 255 257 261 265 266 268 271 272 273 a 7 10 18 25 26 32 36 39 43 45 46 57 59 62 63 65 67 76 81 82 83 92 93 94 95 97 101 103 104 128 129 131 132 142 143 146 150 155 156 158 159 161 162 166 170 171 172 175 179 180 184 185 189 190 191 201 206 208 209 210 212 214 216 218 220 228 233 235 238 239 241 243 244 247 249 250 253 255 257 261 265 266 268 271 272 273 a 7 10 18 25 26 32 36 39 43 45 46 57 59 62 63 65 67 76 81 82 83 89 92 93 94 95 97 101 103 104 128 129 131 132 142 143 146 150 155 156 158 159 161 162 166 170 171 172 175 179 180 184 185 189 190 191 206 208 209 210 212 214 216 218 220 228 233 235 238 239 241 243 244 247 249 250 253 255 257 261 265 266 268 271 272 273 a 7 10 18 25 26 32 36 39 43 45 46 57 59 62 63 67 76 81 82 83 89 92 93 94 95 97 101 103 104 128 129 131 132 136 142 143 146 150 155 156 158 159 161 162 166 170 171 172 175 179 180 184 185 189 190 191 206 208 209 210 212 214 216 218 220 228 233 235 238 239 241 243 244 247 249 250 253 255 257 261 265 266 268 271 272 273 a 7 10 18 25 26 32 36 39 43 45 46 57 59 62 63 67 81 82 83 89 90 92 93 94 95 97 101 103 104 128 129 131 132 136 142 143 146 150 155 156 158 159 161 162 166 170 171 172 175 179 180 184 185 189 190 191 206 208 209 210 212 214 216 218 220 228 233 235 238 239 241 243 244 247 249 250 253 255 257 261 265 266 268 271 272 273 a 7 10 18 25 26 32 36 39 43 45 46 57 59 62 63 67 81 82 83 89 90 92 93 94 95 97 101 103 104 128 129 131 132 136 142 143 146 150 155 156 158 159 161 162 166 170 171 172 175 179 180 184 185 189 190 191 203 206 208 209 210 212 214 216 218 220 228 233 235 238 239 241 243 244 247 250 253 255 257 261 265 266 268 271 272 273 a 7 10 12 18 25 26 32 36 39 43 45 46 57 59 62 63 67 81 82 83 89 90 92 93 95 97 101 103 104 128 129 131 132 136 142 143 146 150 155 156 158 159 161 162 166 170 171 172 175 179 180 184 185 189 190 191 203 206 208 209 210 212 214 216 218 220 228 233 235 238 239 241 243 244 247 250 253 255 257 261 265 266 268 271 272 273 c Step: 64 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance021_graph004.col /benchmark/random_instance/random_instance021_graph004_01.dat" User time (seconds): 686.58 System time (seconds): 14.55 Percent of CPU this job got: 190% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:07.85 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): 42454468 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 13849285 Voluntary context switches: 462571 Involuntary context switches: 2312 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 12:07:49 2023]