#BEGIN: [Mon Sep 4 11:58:21 2023] #HOST: s09 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance020_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance020_graph003_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_instance020_graph003.col /benchmark/random_instance/random_instance020_graph003_01.dat c /benchmark/random_instance/random_instance020_graph003.col c /benchmark/random_instance/random_instance020_graph003_01.dat *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.113 seconds *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.001 seconds s 145 190 177 93 23 251 214 78 30 98 82 25 210 233 188 38 115 103 86 35 163 218 135 212 150 72 197 70 138 13 194 253 232 96 102 125 227 148 224 191 90 151 49 89 116 91 37 184 206 31 258 158 123 247 8 67 143 229 61 75 199 205 168 254 259 43 183 94 220 32 128 165 144 1 225 160 99 219 55 53 63 213 t 139 124 44 14 242 59 235 184 121 215 95 49 81 105 5 157 223 65 120 246 234 7 133 13 238 176 96 34 8 160 145 41 79 119 116 76 134 162 112 239 161 72 17 230 16 159 98 30 113 213 37 3 231 31 187 259 168 194 240 229 68 212 103 155 69 90 4 12 158 20 73 198 218 249 38 56 143 108 71 29 225 226 a YES a 1 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 63 67 70 72 75 78 82 86 89 90 91 93 94 96 98 99 102 103 115 116 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 194 197 199 205 206 210 212 213 214 218 219 220 224 225 227 229 232 233 247 251 253 254 258 259 a 1 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 63 67 70 72 75 78 82 86 89 90 91 93 94 96 98 99 102 103 115 116 123 125 128 135 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 192 194 197 199 205 206 210 212 213 214 218 219 220 224 225 227 229 232 233 247 251 253 254 258 259 a 1 8 13 23 25 30 31 32 35 37 38 43 45 49 53 55 61 63 67 70 72 75 78 82 86 89 90 91 93 94 98 99 102 103 115 116 123 125 128 135 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 192 194 197 199 205 206 210 212 213 214 218 219 220 224 225 227 229 232 233 247 251 253 254 258 259 a 1 8 13 21 23 25 30 31 32 35 37 38 43 45 49 53 55 61 63 67 70 72 75 78 82 86 89 90 91 93 94 98 99 102 103 115 116 123 125 128 135 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 192 194 197 199 205 206 210 212 213 214 218 219 220 224 225 229 232 233 247 251 253 254 258 259 a 1 3 8 13 21 23 25 30 31 32 35 37 38 43 45 49 53 55 61 63 67 70 72 75 78 82 86 89 90 91 93 94 98 99 102 115 116 123 125 128 135 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 192 194 197 199 205 206 210 212 213 214 218 219 220 224 225 229 232 233 247 251 253 254 258 259 a 1 3 8 13 23 25 30 31 32 35 37 38 43 45 49 53 55 61 63 67 70 72 75 78 82 86 89 90 91 93 94 98 99 102 115 116 123 125 128 135 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 192 194 197 199 205 206 210 212 213 214 218 219 220 224 225 227 229 232 233 247 251 253 254 258 259 a 1 3 8 13 23 25 30 31 32 35 37 38 43 45 49 53 55 61 63 67 70 72 75 78 82 86 89 90 91 93 94 98 99 102 115 116 123 125 128 135 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 192 194 197 199 205 210 212 213 214 217 218 219 220 224 225 227 229 232 233 247 251 253 254 258 259 a 1 3 8 13 23 25 30 31 32 35 37 38 43 45 49 53 55 61 63 67 70 72 75 78 82 86 89 90 91 93 94 98 99 102 103 115 116 123 125 128 135 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 192 197 199 205 210 212 213 214 217 218 219 220 224 225 227 229 232 233 247 251 253 254 258 259 a 1 3 8 13 23 25 30 31 32 35 37 38 43 45 49 53 55 61 63 65 67 70 72 75 78 82 86 89 90 91 93 94 98 99 102 103 115 116 123 125 128 135 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 192 197 199 205 210 212 213 214 217 218 219 220 224 225 227 229 232 233 251 253 254 258 259 a 1 3 8 12 13 23 25 30 31 32 35 37 38 43 45 49 53 55 61 63 65 67 70 72 75 78 82 86 89 90 91 93 94 98 99 102 103 115 116 123 125 128 135 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 192 197 199 205 210 212 213 214 217 218 219 220 225 227 229 232 233 251 253 254 258 259 a 1 3 8 12 13 23 25 30 31 32 35 37 38 43 45 49 53 55 61 63 65 67 70 72 75 78 82 86 89 90 91 93 94 98 99 102 103 116 123 125 128 135 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 192 197 199 205 210 212 213 214 217 218 219 220 225 227 229 232 233 240 251 253 254 258 259 a 1 3 8 12 13 23 25 30 31 32 35 37 38 45 49 53 55 61 63 65 67 70 72 75 78 82 86 89 90 91 93 94 98 99 102 103 116 123 125 128 135 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 192 194 197 199 205 210 212 213 214 217 218 219 220 225 227 229 232 233 240 251 253 254 258 259 a 1 3 8 12 13 23 25 30 31 32 35 37 38 45 49 53 55 61 63 65 67 70 72 75 78 82 86 89 90 91 93 94 98 99 102 103 116 123 125 128 135 143 144 145 148 150 151 158 160 162 163 165 168 177 183 184 188 190 191 192 194 197 199 205 210 212 213 214 217 218 219 220 225 227 229 232 233 240 251 253 254 259 a 1 3 8 12 13 23 25 30 31 32 35 37 38 45 49 53 55 61 63 65 67 70 72 75 78 82 86 89 90 91 93 94 98 99 102 103 116 120 123 125 128 135 143 144 145 148 150 151 158 160 162 163 165 168 177 183 184 188 190 192 194 197 199 205 210 212 213 214 217 218 219 220 225 227 229 232 233 240 251 253 254 259 a 1 3 8 12 13 23 25 30 31 32 35 37 38 45 49 53 55 61 63 65 67 70 72 75 78 82 86 89 90 91 93 94 98 99 102 103 116 120 123 125 128 135 143 144 145 148 150 158 160 162 163 165 168 177 183 184 188 190 192 194 197 199 205 210 212 213 214 217 218 219 220 225 226 227 229 232 233 240 251 253 254 259 a 1 3 5 8 12 13 23 25 30 31 32 35 37 38 45 49 53 55 61 63 65 67 70 72 75 78 82 86 89 90 91 93 94 98 99 102 103 116 120 123 125 128 135 143 144 145 148 150 158 160 162 163 165 168 177 183 184 188 190 192 194 197 199 205 210 212 213 214 217 218 219 220 225 226 227 229 232 233 240 251 253 259 a 1 3 5 8 12 13 23 25 30 31 32 35 37 38 45 49 53 55 61 63 65 67 70 72 75 78 82 86 89 90 91 93 94 98 99 102 103 116 120 123 125 128 135 143 144 145 148 150 158 160 162 163 165 168 177 183 184 188 190 192 194 197 199 205 212 213 214 217 218 219 220 225 226 227 229 232 233 240 249 251 253 259 a 1 3 5 8 12 13 23 25 30 31 32 35 37 38 45 49 53 55 61 63 65 67 69 70 72 75 78 82 86 89 90 91 93 94 98 99 102 103 116 120 123 125 128 135 143 144 145 148 150 158 160 162 165 168 177 183 184 188 190 192 194 197 199 205 212 213 214 217 218 219 220 225 226 227 229 232 233 240 249 251 253 259 a 1 3 5 8 12 13 23 25 30 31 32 34 35 37 38 45 49 53 55 61 63 65 67 69 70 72 75 78 82 86 89 90 91 93 94 98 99 102 103 116 120 123 125 128 135 143 144 145 148 150 158 160 162 165 168 177 183 184 188 190 192 194 197 199 205 212 213 214 217 218 219 220 225 226 227 229 232 233 240 249 251 259 a 1 3 5 8 12 13 23 25 30 31 32 34 35 37 38 45 49 53 55 61 63 65 67 69 70 72 75 78 82 86 89 90 91 93 94 98 99 102 103 116 120 123 125 128 135 143 144 145 148 150 158 160 162 165 168 177 183 184 188 190 192 194 197 199 212 213 214 217 218 219 220 225 226 227 229 232 233 239 240 249 251 259 a 1 3 5 8 12 13 23 25 30 31 32 34 35 37 38 45 49 55 61 63 65 67 69 70 72 75 76 78 82 86 89 90 91 93 94 98 99 102 103 116 120 123 125 128 135 143 144 145 148 150 158 160 162 165 168 177 183 184 188 190 192 194 197 199 212 213 214 217 218 219 220 225 226 227 229 232 233 239 240 249 251 259 a 1 3 5 8 12 13 23 25 30 31 32 34 35 37 38 49 55 61 63 65 67 69 70 72 75 76 78 82 86 89 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 143 144 145 148 150 158 160 162 165 168 177 183 184 188 190 192 194 197 199 212 213 214 217 218 219 220 225 226 227 229 232 233 239 240 249 251 259 a 1 3 5 8 12 13 23 25 30 31 32 34 35 37 38 49 55 61 63 65 67 69 70 72 75 76 78 82 86 89 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 143 144 145 148 150 158 160 162 165 168 177 184 188 190 192 194 197 199 212 213 214 217 218 219 220 225 226 227 229 232 233 235 239 240 249 251 259 a 1 3 5 8 12 13 23 25 30 31 32 34 35 37 38 49 55 61 63 65 67 69 70 72 73 75 76 78 82 86 89 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 143 144 145 148 150 158 160 162 165 168 177 184 188 190 192 194 197 199 212 213 214 217 218 219 220 225 226 229 232 233 235 239 240 249 251 259 a 1 3 5 8 12 13 23 25 30 31 32 34 35 37 38 49 55 61 63 65 67 69 70 72 73 75 76 78 82 86 89 90 91 93 94 96 98 99 102 103 108 116 120 123 125 128 135 143 144 145 148 150 158 160 162 165 168 177 184 188 190 192 194 197 199 212 213 214 217 218 219 225 226 229 232 233 235 239 240 249 251 259 a 1 3 5 8 12 13 23 25 30 31 32 34 35 37 38 41 49 55 61 63 65 67 69 70 72 73 76 78 82 86 89 90 91 93 94 96 98 99 102 103 108 116 120 123 125 128 135 143 144 145 148 150 158 160 162 165 168 177 184 188 190 192 194 197 199 212 213 214 217 218 219 225 226 229 232 233 235 239 240 249 251 259 a 1 3 5 8 12 13 16 23 25 30 31 32 34 35 37 38 41 49 55 61 63 65 67 69 70 72 73 76 78 82 86 89 90 91 93 94 96 98 99 102 103 108 116 120 123 125 128 135 143 144 145 148 150 158 160 162 165 168 177 184 188 190 192 194 197 199 212 213 214 217 218 219 225 226 229 232 235 239 240 249 251 259 a 1 3 5 8 12 13 16 23 25 30 31 32 34 35 37 38 41 49 55 59 61 63 65 67 69 70 72 73 76 78 82 86 89 90 91 93 94 96 98 99 102 103 108 116 120 123 125 128 135 143 144 145 148 150 158 160 162 165 168 177 184 188 192 194 197 199 212 213 214 217 218 219 225 226 229 232 235 239 240 249 251 259 a 1 3 5 8 12 13 16 23 25 30 31 32 34 35 37 38 41 49 55 59 61 63 65 67 69 72 73 76 78 82 86 89 90 91 93 94 96 98 99 102 103 108 116 120 123 125 128 135 143 144 145 148 150 158 160 162 165 168 177 184 188 192 194 197 199 212 213 214 217 218 219 225 226 229 231 232 235 239 240 249 251 259 a 1 3 5 8 12 13 16 23 25 30 31 32 34 37 38 41 49 55 59 61 63 65 67 69 72 73 76 78 82 86 89 90 91 93 94 96 98 99 102 103 108 116 120 123 125 128 135 143 144 145 148 150 158 160 162 165 168 177 184 188 192 194 197 199 212 213 214 217 218 219 225 226 229 231 232 235 239 240 242 249 251 259 a 1 3 5 8 12 13 16 23 25 30 31 32 34 37 38 41 49 55 59 61 63 65 67 69 72 73 76 78 82 86 89 90 91 94 96 98 99 102 103 108 116 120 123 125 128 135 143 144 145 148 150 158 160 162 165 168 177 184 188 192 194 197 199 212 213 214 217 218 219 225 226 229 231 232 235 238 239 240 242 249 251 259 a 1 3 5 8 12 13 16 23 25 30 31 32 34 37 38 41 49 55 59 61 63 65 69 72 73 76 78 82 86 89 90 91 94 96 98 99 102 103 108 116 120 123 125 128 134 135 143 144 145 148 150 158 160 162 165 168 177 184 188 192 194 197 199 212 213 214 217 218 219 225 226 229 231 232 235 238 239 240 242 249 251 259 a 1 3 5 8 12 13 16 23 25 30 31 32 34 37 38 41 49 55 59 61 63 65 69 72 73 76 78 82 86 89 90 91 94 96 98 99 102 103 108 116 120 123 125 128 134 135 143 144 145 148 150 158 160 162 165 168 177 184 188 192 194 197 199 212 213 214 217 218 219 225 226 229 231 232 234 235 238 239 240 242 249 259 a 1 3 5 8 12 13 16 23 25 30 31 32 34 37 38 41 49 55 59 61 63 65 69 72 73 76 78 82 86 89 90 91 94 96 98 99 102 103 108 116 120 123 125 128 134 135 143 144 145 148 150 158 160 162 165 168 177 184 188 192 194 197 199 212 213 214 218 219 225 226 229 230 231 232 234 235 238 239 240 242 249 259 a 1 3 5 8 12 13 16 23 25 30 31 32 34 37 38 41 49 55 59 61 63 65 69 72 73 76 78 82 86 90 91 94 96 98 99 102 103 108 116 120 123 125 128 134 135 143 144 145 148 150 158 160 162 165 168 177 184 187 188 192 194 197 199 212 213 214 218 219 225 226 229 230 231 232 234 235 238 239 240 242 249 259 a 1 3 5 8 12 13 16 23 25 30 31 32 34 37 38 41 49 55 59 61 63 65 69 72 73 76 78 82 86 90 91 94 96 98 102 103 108 116 120 123 125 128 134 135 143 144 145 148 150 158 160 162 165 168 177 184 187 188 192 194 197 198 199 212 213 214 218 219 225 226 229 230 231 232 234 235 238 239 240 242 249 259 a 1 3 5 8 12 13 16 23 25 30 31 32 34 37 38 41 49 55 59 61 63 65 69 71 72 73 76 78 82 86 90 91 94 96 98 102 103 108 116 120 123 125 128 134 135 143 144 145 148 150 158 160 162 165 168 177 184 187 188 192 194 197 198 199 212 213 214 218 225 226 229 230 231 232 234 235 238 239 240 242 249 259 a 1 3 5 8 12 13 16 23 25 30 31 32 34 37 38 41 49 55 59 61 63 65 69 71 72 73 76 78 79 82 86 90 91 94 96 98 102 103 108 116 120 123 125 128 134 135 143 144 145 148 158 160 162 165 168 177 184 187 188 192 194 197 198 199 212 213 214 218 225 226 229 230 231 232 234 235 238 239 240 242 249 259 a 1 3 5 8 12 13 16 23 25 30 31 32 34 37 38 41 49 55 59 61 63 65 69 71 72 73 76 78 79 81 82 86 90 91 94 96 98 102 103 108 116 120 123 125 128 134 135 143 144 145 148 158 160 162 165 168 177 184 187 188 192 194 197 198 199 212 213 214 218 225 226 229 230 231 234 235 238 239 240 242 249 259 a 1 3 4 5 8 12 13 16 23 25 30 31 32 34 37 38 41 49 55 59 61 63 65 69 71 72 73 76 78 79 81 82 86 90 91 94 96 98 102 103 108 116 120 123 125 128 134 135 143 144 145 148 158 160 162 165 168 177 184 187 188 194 197 198 199 212 213 214 218 225 226 229 230 231 234 235 238 239 240 242 249 259 a 1 3 4 5 8 12 13 16 23 25 30 31 32 34 37 38 41 49 55 59 61 63 65 69 71 72 73 76 78 79 81 82 86 90 91 94 96 98 102 103 108 116 120 121 123 125 128 134 135 143 144 145 148 158 160 162 165 168 177 184 187 194 197 198 199 212 213 214 218 225 226 229 230 231 234 235 238 239 240 242 249 259 a 1 3 4 5 8 12 13 16 17 25 30 31 32 34 37 38 41 49 55 59 61 63 65 69 71 72 73 76 78 79 81 82 86 90 91 94 96 98 102 103 108 116 120 121 123 125 128 134 135 143 144 145 148 158 160 162 165 168 177 184 187 194 197 198 199 212 213 214 218 225 226 229 230 231 234 235 238 239 240 242 249 259 a 1 3 4 5 8 12 13 16 17 25 30 31 32 34 37 38 41 49 55 59 61 63 65 69 71 72 73 76 78 79 81 82 86 90 91 94 96 98 102 103 108 116 120 121 123 125 128 134 135 143 144 145 148 158 160 162 165 168 176 177 184 187 194 198 199 212 213 214 218 225 226 229 230 231 234 235 238 239 240 242 249 259 a 1 3 4 5 8 12 13 16 17 25 30 31 32 34 37 38 41 49 55 59 61 63 65 69 71 72 73 76 78 79 81 82 86 90 91 94 96 98 102 103 108 116 120 121 123 125 128 134 135 143 144 145 148 158 159 160 162 165 168 176 177 184 187 194 198 212 213 214 218 225 226 229 230 231 234 235 238 239 240 242 249 259 a 1 3 4 5 8 12 13 16 17 25 30 31 32 34 37 38 41 49 55 59 61 63 65 69 71 72 73 76 78 79 81 82 86 90 91 96 98 102 103 108 116 120 121 123 125 128 134 135 143 144 145 148 158 159 160 162 165 168 176 177 184 187 194 198 212 213 214 218 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 1 3 4 5 8 12 13 16 17 25 30 31 32 34 37 38 41 49 55 59 61 63 65 69 71 72 73 76 78 79 81 82 86 90 91 96 98 102 103 108 116 120 121 123 124 125 128 134 135 143 144 145 148 158 159 160 162 168 176 177 184 187 194 198 212 213 214 218 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 1 3 4 5 8 12 13 16 17 25 30 31 32 34 37 38 41 49 55 59 61 63 65 69 71 72 73 76 78 79 81 82 86 90 91 96 98 102 103 108 112 116 120 121 123 124 125 128 134 135 143 144 145 148 158 159 160 162 168 176 184 187 194 198 212 213 214 218 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 1 3 4 5 8 12 13 16 17 20 25 30 31 32 34 37 38 41 49 55 59 61 63 65 69 71 72 73 76 78 79 81 86 90 91 96 98 102 103 108 112 116 120 121 123 124 125 128 134 135 143 144 145 148 158 159 160 162 168 176 184 187 194 198 212 213 214 218 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 1 3 4 5 7 8 12 13 16 17 20 25 30 31 32 34 37 38 41 49 55 59 61 63 65 69 71 72 73 76 78 79 81 86 90 91 96 98 102 103 108 112 116 120 121 123 124 125 128 134 135 143 145 148 158 159 160 162 168 176 184 187 194 198 212 213 214 218 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 1 3 4 5 7 8 12 13 16 17 20 25 30 31 32 34 37 38 41 49 55 59 61 63 65 69 71 72 73 76 78 79 81 86 90 91 96 98 103 108 112 116 120 121 123 124 125 128 134 135 143 145 148 157 158 159 160 162 168 176 184 187 194 198 212 213 214 218 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 1 3 4 5 7 8 12 13 16 17 20 30 31 32 34 37 38 41 49 55 59 61 63 65 69 71 72 73 76 78 79 81 86 90 91 95 96 98 103 108 112 116 120 121 123 124 125 128 134 135 143 145 148 157 158 159 160 162 168 176 184 187 194 198 212 213 214 218 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 7 8 12 13 16 17 20 30 31 32 34 37 38 41 49 55 59 61 63 65 69 71 72 73 76 78 79 81 86 90 91 95 96 98 103 108 112 116 120 121 123 124 125 128 133 134 135 143 145 148 157 158 159 160 162 168 176 184 187 194 198 212 213 214 218 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 7 8 12 13 16 17 20 30 31 32 34 37 38 41 49 55 59 61 63 65 69 71 72 73 76 78 79 81 86 90 91 95 96 98 103 108 112 116 120 121 123 124 125 128 133 134 135 143 145 148 157 158 159 160 162 168 176 184 187 194 198 212 213 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 7 8 12 13 16 17 20 30 31 34 37 38 41 49 55 59 61 63 65 69 71 72 73 76 78 79 81 86 90 91 95 96 98 103 108 112 113 116 120 121 123 124 125 128 133 134 135 143 145 148 157 158 159 160 162 168 176 184 187 194 198 212 213 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 7 8 12 13 16 17 20 30 31 34 37 38 41 49 55 59 61 63 65 69 71 72 73 76 79 81 86 90 91 95 96 98 103 105 108 112 113 116 120 121 123 124 125 128 133 134 135 143 145 148 157 158 159 160 162 168 176 184 187 194 198 212 213 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 7 8 12 13 16 17 20 30 31 34 37 38 41 49 55 59 61 63 65 69 71 72 73 76 79 81 86 90 95 96 98 103 105 108 112 113 116 119 120 121 123 124 125 128 133 134 135 143 145 148 157 158 159 160 162 168 176 184 187 194 198 212 213 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 7 8 12 13 16 17 20 29 30 31 34 37 38 41 49 55 59 61 63 65 69 71 72 73 76 79 81 86 90 95 96 98 103 105 108 112 113 116 119 120 121 124 125 128 133 134 135 143 145 148 157 158 159 160 162 168 176 184 187 194 198 212 213 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 7 8 12 13 16 17 20 29 30 31 34 37 38 41 49 55 59 61 65 69 71 72 73 76 79 81 86 90 95 96 98 103 105 108 112 113 116 119 120 121 124 125 128 133 134 135 139 143 145 148 157 158 159 160 162 168 176 184 187 194 198 212 213 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 7 8 12 13 14 16 17 20 29 30 31 34 37 38 41 49 55 59 61 65 69 71 72 73 76 79 81 86 90 95 96 98 103 105 108 112 113 116 119 120 121 124 125 128 133 134 139 143 145 148 157 158 159 160 162 168 176 184 187 194 198 212 213 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 7 8 12 13 14 16 17 20 29 30 31 34 37 38 41 49 59 61 65 68 69 71 72 73 76 79 81 86 90 95 96 98 103 105 108 112 113 116 119 120 121 124 125 128 133 134 139 143 145 148 157 158 159 160 162 168 176 184 187 194 198 212 213 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 7 8 12 13 14 16 17 20 29 30 31 34 37 38 41 49 59 61 65 68 69 71 72 73 76 79 81 90 95 96 98 103 105 108 112 113 116 119 120 121 124 125 128 133 134 139 143 145 148 157 158 159 160 161 162 168 176 184 187 194 198 212 213 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 7 8 12 13 14 16 17 20 29 30 31 34 37 38 41 49 59 65 68 69 71 72 73 76 79 81 90 95 96 98 103 105 108 112 113 116 119 120 121 124 125 128 133 134 139 143 145 148 155 157 158 159 160 161 162 168 176 184 187 194 198 212 213 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 7 8 12 13 14 16 17 20 29 30 31 34 37 38 41 49 56 59 65 68 69 71 72 73 76 79 81 90 95 96 98 103 105 108 112 113 116 119 120 121 124 125 133 134 139 143 145 148 155 157 158 159 160 161 162 168 176 184 187 194 198 212 213 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 7 8 12 13 14 16 17 20 29 30 31 34 37 38 41 44 49 56 59 65 68 69 71 72 73 76 79 81 90 95 96 98 103 105 108 112 113 116 119 120 121 124 125 133 134 139 143 145 155 157 158 159 160 161 162 168 176 184 187 194 198 212 213 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 7 8 12 13 14 16 17 20 29 30 31 34 37 38 41 44 49 56 59 65 68 69 71 72 73 76 79 81 90 95 96 98 103 105 108 112 113 116 119 120 121 124 133 134 139 143 145 155 157 158 159 160 161 162 168 176 184 187 194 198 212 213 215 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 c Step: 64 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance020_graph003.col /benchmark/random_instance/random_instance020_graph003_01.dat" User time (seconds): 869.27 System time (seconds): 14.57 Percent of CPU this job got: 240% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:06.93 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): 33800576 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 10785709 Voluntary context switches: 1783886 Involuntary context switches: 2729 Swaps: 0 File system inputs: 0 File system outputs: 328 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:04:29 2023]