#BEGIN: [Mon Sep 4 14:22:01 2023] #HOST: s10 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance019_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance019_graph004_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_instance019_graph004.col /benchmark/random_instance/random_instance019_graph004_01.dat c /benchmark/random_instance/random_instance019_graph004.col c /benchmark/random_instance/random_instance019_graph004_01.dat *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.138 seconds *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.001 seconds s 145 209 65 225 147 69 88 110 101 150 224 53 35 175 218 94 67 70 13 195 167 173 124 73 60 76 10 62 23 186 149 201 1 129 226 229 33 230 196 6 116 14 32 245 144 46 5 154 119 68 163 207 155 191 179 137 77 100 3 99 172 231 142 183 243 45 213 22 98 57 7 55 211 166 234 66 52 105 238 148 t 204 161 70 219 40 231 71 78 83 66 1 164 155 89 106 141 23 217 61 5 35 31 151 145 84 191 242 20 225 39 38 169 116 135 127 87 4 144 171 91 216 220 166 118 211 194 153 236 239 53 230 46 105 90 101 201 24 8 52 17 157 97 174 76 130 149 69 48 131 50 238 112 25 199 175 12 72 159 138 207 a YES a 1 3 5 6 7 10 13 14 22 23 32 33 35 45 46 52 53 55 57 60 62 65 66 67 68 69 70 73 76 77 88 94 98 99 100 101 105 110 116 119 124 129 137 142 144 145 147 148 149 150 154 155 163 166 167 172 173 175 179 183 186 191 195 196 201 207 209 211 213 218 224 225 226 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 32 33 35 45 46 51 52 53 55 57 60 62 65 66 68 69 70 73 76 77 88 94 98 99 100 101 105 110 116 119 124 129 137 142 144 145 147 148 149 150 154 155 163 166 167 172 173 175 179 183 186 191 195 196 201 207 209 211 213 218 224 225 226 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 32 33 35 45 46 51 52 53 55 57 60 61 62 65 66 68 69 70 73 76 77 88 94 98 99 100 101 105 110 116 124 129 137 142 144 145 147 148 149 150 154 155 163 166 167 172 173 175 179 183 186 191 195 196 201 207 209 211 213 218 224 225 226 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 32 33 35 45 46 52 53 55 57 60 61 62 65 66 67 68 69 70 73 76 77 88 94 98 99 100 101 105 110 116 124 129 137 142 144 145 147 148 149 150 154 155 163 166 167 172 173 175 179 183 186 191 195 196 201 207 209 211 213 218 224 225 226 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 32 33 35 45 46 52 53 55 57 60 61 62 65 66 67 68 69 70 73 76 77 88 94 98 99 100 101 105 110 116 124 129 137 142 144 145 147 148 149 150 154 155 163 166 167 173 175 179 183 186 191 195 196 201 204 207 209 211 213 218 224 225 226 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 28 32 33 35 45 46 52 53 55 57 60 61 65 66 67 68 69 70 73 76 77 88 94 98 99 100 101 105 110 116 124 129 137 142 144 145 147 148 149 150 154 155 163 166 167 173 175 179 183 186 191 195 196 201 204 207 209 211 213 218 224 225 226 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 28 32 33 35 45 46 52 53 55 57 60 61 65 67 68 69 70 73 76 77 88 94 98 99 100 101 105 110 116 124 129 131 137 142 144 145 147 148 149 150 154 155 163 166 167 173 175 179 183 186 191 195 196 201 204 207 209 211 213 218 224 225 226 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 28 32 33 35 45 46 52 53 55 57 60 61 65 67 68 69 70 73 76 77 88 94 98 99 100 101 105 110 115 124 129 131 137 142 144 145 147 148 149 150 154 155 163 166 167 173 175 179 183 186 191 195 196 201 204 207 209 211 213 218 224 225 226 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 28 32 33 35 45 46 52 53 55 57 60 61 65 67 68 69 70 73 76 77 88 94 99 100 101 105 110 115 124 129 131 137 142 144 145 146 147 148 149 150 154 155 163 166 167 173 175 179 183 186 191 195 196 201 204 207 209 211 213 218 224 225 226 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 28 32 33 35 45 46 52 53 55 57 60 61 65 67 68 69 70 73 76 77 88 94 99 100 101 105 110 115 124 129 131 137 142 144 145 146 148 149 150 154 155 163 166 167 173 175 179 183 186 191 195 196 201 204 207 209 211 213 216 218 224 225 226 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 28 32 33 35 45 46 52 53 55 57 60 61 65 67 68 69 70 73 76 77 88 94 99 100 101 105 110 115 124 129 131 137 142 144 145 146 148 149 150 154 155 163 166 167 173 174 175 179 183 186 191 195 196 201 204 207 209 211 213 216 218 224 225 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 28 32 33 35 45 46 52 53 55 57 61 65 67 68 69 70 73 76 77 88 94 99 100 101 105 107 110 115 124 129 131 137 142 144 145 146 148 149 150 154 155 163 166 167 173 174 175 179 183 186 191 195 196 201 204 207 209 211 213 216 218 224 225 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 28 32 33 35 38 45 46 52 53 55 57 61 65 67 68 69 70 73 76 88 94 99 100 101 105 107 110 115 124 129 131 137 142 144 145 146 148 149 150 154 155 163 166 167 173 174 175 179 183 186 191 195 196 201 204 207 209 211 213 216 218 224 225 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 28 32 33 35 38 45 46 52 53 55 57 61 65 67 68 69 70 73 76 88 94 99 100 101 105 107 110 115 124 129 131 137 142 144 145 146 148 149 150 154 155 163 166 167 172 173 174 175 179 183 186 191 195 196 201 207 209 211 213 216 218 224 225 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 28 32 33 35 38 45 46 50 52 53 55 57 61 65 67 68 69 70 73 76 88 94 99 100 101 105 107 110 115 124 129 131 137 142 144 145 146 148 149 150 154 155 163 166 167 172 173 174 175 179 183 186 191 195 196 201 207 209 211 213 218 224 225 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 28 31 32 33 35 38 45 46 50 52 53 55 57 61 65 67 68 69 70 73 76 88 94 99 101 105 107 110 115 124 129 131 137 142 144 145 146 148 149 150 154 155 163 166 167 172 173 174 175 179 183 186 191 195 196 201 207 209 211 213 218 224 225 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 28 31 32 33 35 38 45 46 50 52 53 55 61 65 67 68 69 70 73 76 88 94 99 101 105 107 110 115 124 129 131 137 142 144 145 146 148 149 150 154 155 163 166 167 172 173 174 175 179 183 186 191 195 196 201 207 209 211 213 216 218 224 225 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 28 31 32 33 35 38 45 46 50 52 53 55 61 65 68 69 70 73 76 88 94 99 101 105 107 110 115 124 129 131 137 142 144 145 146 148 149 150 154 155 163 166 167 172 173 174 175 179 183 186 191 195 196 201 207 209 211 213 216 217 218 224 225 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 28 31 32 33 35 38 45 46 50 52 53 55 61 65 68 69 70 73 76 88 94 99 101 105 107 110 115 129 131 137 142 144 145 146 148 149 150 154 155 163 166 167 172 173 174 175 179 183 186 191 194 195 196 201 207 209 211 213 216 217 218 224 225 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 28 31 32 33 35 38 45 46 50 52 53 55 61 65 68 69 70 73 76 88 94 99 101 105 107 110 115 129 131 137 142 144 145 146 148 149 150 153 154 155 163 166 167 172 173 174 175 179 183 186 191 194 195 196 201 207 209 211 213 216 217 224 225 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 28 31 32 33 35 38 45 46 50 52 53 55 61 65 68 69 70 73 76 88 94 99 101 105 107 110 115 131 137 142 144 145 146 148 149 150 153 154 155 157 163 166 167 172 173 174 175 179 183 186 191 194 195 196 201 207 209 211 213 216 217 224 225 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 28 31 32 33 35 38 45 46 50 52 53 55 61 65 68 69 70 73 76 94 99 101 105 107 110 115 131 137 142 144 145 146 148 149 150 153 154 155 157 163 166 167 172 173 174 175 179 183 186 191 194 195 196 199 201 207 209 211 213 216 217 224 225 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 28 31 32 33 35 38 45 46 50 52 53 55 61 65 68 69 70 73 76 94 99 101 105 107 110 116 131 137 142 144 145 146 148 149 150 153 154 155 157 163 166 167 172 173 174 175 179 183 186 191 194 195 196 199 201 207 209 211 213 216 217 224 225 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 28 31 32 33 35 38 45 46 50 52 53 55 61 65 68 69 70 73 76 94 99 101 105 107 110 116 131 137 142 144 145 146 148 149 150 153 154 155 157 163 166 167 172 173 174 175 179 183 186 191 194 195 196 199 201 207 209 211 213 216 217 225 229 230 231 234 238 239 243 245 a 1 3 5 6 7 10 13 14 22 23 25 28 31 32 33 35 38 45 46 50 52 53 55 61 65 68 69 70 73 76 94 99 101 105 107 110 116 131 137 142 144 145 146 148 149 150 153 154 155 157 163 166 167 172 174 175 179 183 186 191 194 195 196 199 201 207 209 211 213 216 217 225 229 230 231 234 238 239 243 245 a 1 3 5 6 7 10 13 14 22 23 25 28 31 32 33 35 38 45 46 50 52 53 55 61 65 68 69 70 73 76 94 99 101 105 110 116 131 137 142 144 145 146 148 149 150 153 154 155 157 163 164 166 167 172 174 175 179 183 186 191 194 195 196 199 201 207 209 211 213 216 217 225 229 230 231 234 238 239 243 245 a 1 3 4 5 6 7 10 13 14 22 23 25 28 31 32 33 35 38 45 46 50 52 53 55 61 65 68 69 70 73 76 94 99 101 105 110 116 131 137 142 144 145 146 148 149 150 153 154 155 157 163 164 166 172 174 175 179 183 186 191 194 195 196 199 201 207 209 211 213 216 217 225 229 230 231 234 238 239 243 245 a 1 3 4 5 6 7 10 13 14 22 23 25 28 31 32 33 35 38 46 50 52 53 55 61 65 68 69 70 73 76 94 99 101 105 110 116 131 137 142 144 145 146 148 149 150 153 154 155 157 163 164 166 172 174 175 179 183 186 191 194 195 196 199 201 207 209 211 213 216 217 220 225 229 230 231 234 238 239 243 245 a 1 3 4 5 6 7 10 13 14 22 23 25 28 31 32 33 35 38 46 50 52 53 55 61 65 68 69 70 76 94 99 101 105 110 116 131 137 142 144 145 146 148 149 150 153 154 155 157 163 164 166 172 174 175 179 183 186 191 194 195 196 199 201 207 209 211 213 216 217 219 220 225 229 230 231 234 238 239 243 245 a 1 3 4 5 6 7 10 13 14 22 23 25 28 31 32 33 35 38 46 50 52 53 55 61 65 68 69 70 76 89 94 99 101 105 110 116 131 137 142 144 145 146 148 149 150 153 154 155 157 163 164 166 172 174 175 179 183 186 191 194 195 196 199 201 207 209 211 213 216 217 219 220 225 229 230 231 238 239 243 245 a 1 3 4 5 6 7 10 13 14 22 23 25 28 31 32 33 35 38 46 50 52 53 55 61 65 68 69 70 76 89 94 99 101 105 110 116 131 137 141 144 145 146 148 149 150 153 154 155 157 163 164 166 172 174 175 179 183 186 191 194 195 196 199 201 207 209 211 213 216 217 219 220 225 229 230 231 238 239 243 245 a 1 3 4 5 6 7 10 13 14 22 23 25 28 31 32 33 35 38 46 50 52 53 55 61 65 68 69 70 76 89 94 99 101 105 110 116 131 137 141 144 145 146 148 149 150 153 154 155 157 163 164 166 174 175 179 183 186 191 194 195 196 199 201 204 207 209 211 213 216 217 219 220 225 229 230 231 238 239 243 245 a 1 3 4 5 6 7 10 13 14 22 23 25 28 31 32 33 35 38 46 50 52 53 55 61 65 68 69 70 76 89 99 101 105 110 116 131 135 137 141 144 145 146 148 149 150 153 154 155 157 163 164 166 174 175 179 183 186 191 194 195 196 199 201 204 207 209 211 213 216 217 219 220 225 229 230 231 238 239 243 245 a 1 3 4 5 6 7 10 13 14 22 23 25 28 31 32 33 35 38 46 50 52 53 55 61 65 68 69 70 76 89 99 101 105 110 116 131 135 137 141 144 145 146 149 150 153 154 155 157 163 164 166 174 175 179 183 186 191 194 195 196 199 201 204 207 209 211 213 216 217 219 220 225 229 230 231 238 239 242 243 245 a 1 3 4 5 6 7 10 13 14 22 23 25 28 31 32 33 35 38 40 46 50 52 53 55 61 65 68 69 70 76 89 99 101 105 110 116 131 135 141 144 145 146 149 150 153 154 155 157 163 164 166 174 175 179 183 186 191 194 195 196 199 201 204 207 209 211 213 216 217 219 220 225 229 230 231 238 239 242 243 245 a 1 3 4 5 6 7 13 14 22 23 24 25 28 31 32 33 35 38 40 46 50 52 53 55 61 65 68 69 70 76 89 99 101 105 110 116 131 135 141 144 145 146 149 150 153 154 155 157 163 164 166 174 175 179 183 186 191 194 195 196 199 201 204 207 209 211 213 216 217 219 220 225 229 230 231 238 239 242 243 245 a 1 3 4 5 6 7 13 14 22 23 24 25 28 31 32 33 35 38 40 46 50 52 53 55 61 65 68 69 70 76 89 99 101 105 110 116 131 135 141 144 145 146 149 150 153 154 155 157 163 164 166 174 175 179 183 186 191 194 195 196 199 201 204 207 211 213 216 217 219 220 225 229 230 231 236 238 239 242 243 245 a 1 3 4 5 6 7 13 14 22 23 24 25 28 31 32 33 35 38 40 46 48 50 52 53 55 61 65 69 70 76 89 99 101 105 110 116 131 135 141 144 145 146 149 150 153 154 155 157 163 164 166 174 175 179 183 186 191 194 195 196 199 201 204 207 211 213 216 217 219 220 225 229 230 231 236 238 239 242 243 245 a 1 3 4 5 7 13 14 22 23 24 25 28 31 32 33 35 38 40 46 48 50 52 53 55 61 65 69 70 76 89 99 101 105 110 116 118 131 135 141 144 145 146 149 150 153 154 155 157 163 164 166 174 175 179 183 186 191 194 195 196 199 201 204 207 211 213 216 217 219 220 225 229 230 231 236 238 239 242 243 245 a 1 3 4 5 7 13 14 22 23 24 25 28 31 32 33 35 38 40 46 48 50 52 53 55 61 65 69 70 76 89 91 101 105 110 116 118 131 135 141 144 145 146 149 150 153 154 155 157 163 164 166 174 175 179 183 186 191 194 195 196 199 201 204 207 211 213 216 217 219 220 225 229 230 231 236 238 239 242 243 245 a 1 3 4 5 7 13 14 22 23 24 25 28 31 33 35 38 40 46 48 50 52 53 55 61 65 69 70 76 89 91 101 105 110 116 118 131 135 141 144 145 146 149 150 153 154 155 157 159 163 164 166 174 175 179 183 186 191 194 195 196 199 201 204 207 211 213 216 217 219 220 225 229 230 231 236 238 239 242 243 245 a 1 3 4 5 7 13 14 22 23 24 25 28 31 33 35 38 40 46 48 50 52 53 55 61 65 69 70 76 89 91 101 105 110 116 118 131 135 141 144 145 146 149 150 153 154 155 157 159 161 163 164 166 174 175 179 183 191 194 195 196 199 201 204 207 211 213 216 217 219 220 225 229 230 231 236 238 239 242 243 245 a 1 3 4 5 7 13 14 22 23 24 25 28 31 33 35 38 40 46 48 50 52 53 55 61 65 69 70 76 84 89 91 101 105 110 116 118 131 135 141 144 145 149 150 153 154 155 157 159 161 163 164 166 174 175 179 183 191 194 195 196 199 201 204 207 211 213 216 217 219 220 225 229 230 231 236 238 239 242 243 245 a 1 3 4 5 7 8 13 14 22 23 24 25 28 31 33 35 38 40 46 48 50 52 53 55 61 65 69 70 76 84 89 91 101 105 110 116 118 131 135 141 144 145 149 150 153 154 155 157 159 161 163 164 166 174 175 179 183 191 194 195 196 199 201 204 207 211 216 217 219 220 225 229 230 231 236 238 239 242 243 245 a 1 3 4 5 7 8 13 14 22 23 24 25 28 31 33 35 38 40 46 48 50 52 53 55 61 65 66 69 70 76 84 89 91 101 105 110 116 118 131 135 141 144 145 149 153 154 155 157 159 161 163 164 166 174 175 179 183 191 194 195 196 199 201 204 207 211 216 217 219 220 225 229 230 231 236 238 239 242 243 245 a 1 3 4 5 7 8 13 14 22 23 24 25 31 33 35 38 40 46 48 50 52 53 55 61 65 66 69 70 76 84 87 89 91 101 105 110 116 118 131 135 141 144 145 149 153 154 155 157 159 161 163 164 166 174 175 179 183 191 194 195 196 199 201 204 207 211 216 217 219 220 225 229 230 231 236 238 239 242 243 245 a 1 3 4 5 7 8 13 14 22 23 24 25 31 33 35 38 40 46 48 50 52 53 61 65 66 69 70 76 84 87 89 91 101 105 110 116 118 130 131 135 141 144 145 149 153 154 155 157 159 161 163 164 166 174 175 179 183 191 194 195 196 199 201 204 207 211 216 217 219 220 225 229 230 231 236 238 239 242 243 245 a 1 3 4 5 7 8 13 14 23 24 25 31 33 35 38 40 46 48 50 52 53 61 65 66 69 70 76 84 87 89 91 97 101 105 110 116 118 130 131 135 141 144 145 149 153 154 155 157 159 161 163 164 166 174 175 179 183 191 194 195 196 199 201 204 207 211 216 217 219 220 225 229 230 231 236 238 239 242 243 245 a 1 3 4 5 7 8 13 14 23 24 25 31 33 35 38 39 40 46 48 50 52 53 61 65 66 69 70 76 84 87 89 91 97 101 105 110 116 118 130 131 135 141 144 145 149 153 154 155 157 159 161 163 164 166 174 175 179 183 191 194 195 196 199 201 204 207 211 216 217 219 220 225 229 230 231 236 238 239 242 245 a 1 3 4 5 7 8 13 14 23 24 25 31 33 35 38 39 40 46 48 50 52 53 61 65 66 69 70 76 84 87 89 91 97 101 105 110 116 118 130 131 135 138 141 144 145 149 153 154 155 157 159 161 163 164 166 174 175 179 183 191 194 196 199 201 204 207 211 216 217 219 220 225 229 230 231 236 238 239 242 245 a 1 3 4 5 7 8 13 23 24 25 31 33 35 38 39 40 46 48 50 52 53 61 65 66 69 70 76 84 87 89 91 97 101 105 110 116 118 127 130 131 135 138 141 144 145 149 153 154 155 157 159 161 163 164 166 174 175 179 183 191 194 196 199 201 204 207 211 216 217 219 220 225 229 230 231 236 238 239 242 245 a 1 3 4 5 7 8 13 20 23 24 25 31 33 35 38 39 40 46 48 50 52 53 61 65 66 69 70 76 84 87 89 91 97 101 105 110 116 118 127 130 131 135 138 141 144 145 149 153 154 155 157 159 161 163 164 166 174 175 183 191 194 196 199 201 204 207 211 216 217 219 220 225 229 230 231 236 238 239 242 245 a 1 3 4 5 7 8 13 20 23 24 25 31 33 35 38 39 40 46 48 50 52 53 61 65 66 69 70 76 84 87 89 91 97 101 105 110 116 118 127 130 131 135 138 141 144 145 149 153 155 157 159 161 163 164 166 169 174 175 183 191 194 196 199 201 204 207 211 216 217 219 220 225 229 230 231 236 238 239 242 245 a 1 3 4 5 7 8 12 20 23 24 25 31 33 35 38 39 40 46 48 50 52 53 61 65 66 69 70 76 84 87 89 91 97 101 105 110 116 118 127 130 131 135 138 141 144 145 149 153 155 157 159 161 163 164 166 169 174 175 183 191 194 196 199 201 204 207 211 216 217 219 220 225 229 230 231 236 238 239 242 245 a 1 3 4 5 7 8 12 20 23 24 25 31 33 35 38 39 40 46 48 50 52 53 61 65 66 69 70 76 83 84 87 89 91 97 101 105 110 116 118 127 130 131 135 138 141 144 145 149 153 155 157 159 161 163 164 166 169 174 175 183 191 194 199 201 204 207 211 216 217 219 220 225 229 230 231 236 238 239 242 245 a 1 4 5 7 8 12 20 23 24 25 31 33 35 38 39 40 46 48 50 52 53 61 65 66 69 70 76 83 84 87 89 91 97 101 105 110 116 118 127 130 131 135 138 141 144 145 149 153 155 157 159 161 163 164 166 169 171 174 175 183 191 194 199 201 204 207 211 216 217 219 220 225 229 230 231 236 238 239 242 245 a 1 4 5 7 8 12 20 23 24 25 31 33 35 38 39 40 46 48 50 52 53 61 65 66 69 70 76 83 84 87 89 91 97 101 105 112 116 118 127 130 131 135 138 141 144 145 149 153 155 157 159 161 163 164 166 169 171 174 175 183 191 194 199 201 204 207 211 216 217 219 220 225 229 230 231 236 238 239 242 245 a 1 4 5 7 8 12 20 23 24 25 31 35 38 39 40 46 48 50 52 53 61 65 66 69 70 72 76 83 84 87 89 91 97 101 105 112 116 118 127 130 131 135 138 141 144 145 149 153 155 157 159 161 163 164 166 169 171 174 175 183 191 194 199 201 204 207 211 216 217 219 220 225 229 230 231 236 238 239 242 245 a 1 4 5 7 8 12 17 20 23 24 25 31 35 38 39 40 46 48 50 52 53 61 65 66 69 70 72 76 83 84 87 89 91 97 101 105 112 116 118 127 130 131 135 138 141 144 145 149 153 155 157 159 161 163 164 166 169 171 174 175 191 194 199 201 204 207 211 216 217 219 220 225 229 230 231 236 238 239 242 245 a 1 4 5 8 12 17 20 23 24 25 31 35 38 39 40 46 48 50 52 53 61 65 66 69 70 72 76 83 84 87 89 91 97 101 105 106 112 116 118 127 130 131 135 138 141 144 145 149 153 155 157 159 161 163 164 166 169 171 174 175 191 194 199 201 204 207 211 216 217 219 220 225 229 230 231 236 238 239 242 245 a 1 4 5 8 12 17 20 23 24 25 31 35 38 39 40 46 48 50 52 53 61 65 66 69 70 72 76 83 84 87 89 90 91 97 101 105 106 112 116 118 127 130 131 135 138 141 144 145 149 153 155 157 159 161 163 164 166 169 171 174 175 191 194 199 201 204 207 211 216 217 219 220 225 230 231 236 238 239 242 245 a 1 4 5 8 12 17 20 23 24 25 31 35 38 39 40 46 48 50 52 53 61 65 66 69 70 72 76 78 83 84 87 89 90 91 97 101 105 106 112 116 118 127 130 131 135 138 141 144 145 149 153 155 157 159 161 164 166 169 171 174 175 191 194 199 201 204 207 211 216 217 219 220 225 230 231 236 238 239 242 245 a 1 4 5 8 12 17 20 23 24 25 31 35 38 39 40 46 48 50 52 53 61 66 69 70 71 72 76 78 83 84 87 89 90 91 97 101 105 106 112 116 118 127 130 131 135 138 141 144 145 149 153 155 157 159 161 164 166 169 171 174 175 191 194 199 201 204 207 211 216 217 219 220 225 230 231 236 238 239 242 245 a 1 4 5 8 12 17 20 23 24 25 31 35 38 39 40 46 48 50 52 53 61 66 69 70 71 72 76 78 83 84 87 89 90 91 97 101 105 106 112 116 118 127 130 131 135 138 141 144 145 149 151 153 155 157 159 161 164 166 169 171 174 175 191 194 199 201 204 207 211 216 217 219 220 225 230 231 236 238 239 242 c Step: 63 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance019_graph004.col /benchmark/random_instance/random_instance019_graph004_01.dat" User time (seconds): 851.15 System time (seconds): 13.05 Percent of CPU this job got: 235% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:06.48 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): 30722092 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 9939873 Voluntary context switches: 1011806 Involuntary context switches: 2126 Swaps: 0 File system inputs: 0 File system outputs: 320 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 14:28:08 2023]