#BEGIN: [Mon Sep 4 11:58:51 2023] #HOST: s12 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance020_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance020_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_instance020_graph004.col /benchmark/random_instance/random_instance020_graph004_01.dat c /benchmark/random_instance/random_instance020_graph004.col c /benchmark/random_instance/random_instance020_graph004_01.dat *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.200 seconds *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.019 seconds s 196 249 223 118 76 217 46 129 253 3 160 243 199 214 25 72 57 101 144 212 182 59 139 169 30 198 122 208 185 117 80 63 58 126 16 9 231 85 56 226 94 128 166 245 175 26 35 159 120 7 41 218 34 116 20 22 31 227 100 183 200 174 141 106 83 234 8 184 66 162 123 172 75 79 142 39 140 125 21 18 10 62 204 179 143 170 86 202 84 t 147 141 157 158 224 248 101 14 104 61 154 18 107 103 251 80 200 169 31 234 63 12 26 249 2 182 198 81 204 143 84 175 208 41 87 213 52 53 33 30 260 212 190 118 36 245 183 44 235 85 223 144 196 258 100 35 253 9 120 48 64 122 13 92 7 128 86 138 166 233 79 145 202 129 229 94 231 162 93 3 125 76 112 66 172 217 127 1 34 a YES a 3 7 8 9 10 16 18 20 21 22 25 26 30 31 34 35 39 41 46 56 57 58 59 62 63 66 72 75 76 79 80 83 84 85 86 94 100 101 106 116 117 118 120 122 123 125 126 128 129 139 140 141 142 143 144 159 160 162 166 169 170 172 174 175 179 182 183 184 185 196 198 199 200 202 204 208 212 214 217 218 223 226 227 231 234 243 245 249 253 a 3 7 8 9 10 16 18 20 21 22 25 26 30 31 34 35 39 41 46 56 57 58 59 62 63 66 72 75 76 79 80 82 83 84 85 86 94 100 101 106 116 117 120 122 123 125 126 128 129 139 140 141 142 143 144 159 160 162 166 169 170 172 174 175 179 182 183 184 185 196 198 199 200 202 204 208 212 214 217 218 223 226 227 231 234 243 245 249 253 a 3 7 8 9 10 16 18 20 21 22 25 26 30 31 34 35 39 41 46 56 57 58 59 62 63 66 72 75 76 79 80 82 83 84 85 86 94 100 106 116 117 120 122 123 125 126 128 129 139 140 141 142 143 144 159 160 162 166 169 170 172 174 175 179 182 183 184 185 196 198 199 200 202 204 208 212 214 217 218 223 226 227 231 234 242 243 245 249 253 a 3 7 8 9 10 11 16 18 20 21 22 25 26 30 31 34 35 39 41 46 56 57 58 59 62 63 66 72 75 76 79 80 82 83 84 85 86 94 100 106 116 117 120 122 123 125 126 128 129 139 140 141 142 143 144 159 160 162 166 169 170 172 175 179 182 183 184 185 196 198 199 200 202 204 208 212 214 217 218 223 226 227 231 234 242 243 245 249 253 a 3 7 8 9 10 11 16 18 20 21 22 25 26 30 31 34 35 39 41 46 56 57 58 59 62 63 66 72 75 76 79 80 83 84 85 86 94 100 106 116 117 118 120 122 123 125 126 128 129 139 140 141 142 143 144 159 160 162 166 169 170 172 175 179 182 183 184 185 196 198 199 200 202 204 208 212 214 217 218 223 226 227 231 234 242 243 245 249 253 a 3 7 8 9 10 11 16 18 20 21 22 25 26 30 31 34 35 39 41 46 56 57 58 59 62 63 66 72 75 76 79 80 83 84 85 86 94 95 100 106 116 117 118 120 122 123 125 126 128 129 139 140 141 142 143 144 159 160 162 166 169 170 172 175 179 182 183 185 196 198 199 200 202 204 208 212 214 217 218 223 226 227 231 234 242 243 245 249 253 a 3 7 8 9 11 12 16 18 20 21 22 25 26 30 31 34 35 39 41 46 56 57 58 59 62 63 66 72 75 76 79 80 83 84 85 86 94 95 100 106 116 117 118 120 122 123 125 126 128 129 139 140 141 142 143 144 159 160 162 166 169 170 172 175 179 182 183 185 196 198 199 200 202 204 208 212 214 217 218 223 226 227 231 234 242 243 245 249 253 a 3 7 8 9 11 12 16 18 20 21 22 25 26 30 31 34 35 39 41 46 56 57 58 59 62 63 66 72 75 76 79 80 83 84 85 86 94 95 100 106 116 117 118 120 122 123 125 126 128 129 139 140 141 142 143 144 145 159 160 162 166 169 170 172 175 182 183 185 196 198 199 200 202 204 208 212 214 217 218 223 226 227 231 234 242 243 245 249 253 a 3 7 8 9 11 12 16 18 20 21 22 25 26 30 31 34 35 39 41 46 56 57 58 59 62 63 66 72 75 76 79 80 83 84 85 86 94 95 100 106 109 116 117 118 120 122 123 125 126 128 129 139 140 141 142 143 144 145 159 160 162 169 170 172 175 182 183 185 196 198 199 200 202 204 208 212 214 217 218 223 226 227 231 234 242 243 245 249 253 a 3 7 8 9 11 12 16 18 20 21 22 25 26 30 31 34 35 38 39 41 46 56 57 58 59 62 63 66 72 75 76 79 80 83 84 85 86 94 95 100 106 109 116 117 118 122 123 125 126 128 129 139 140 141 142 143 144 145 159 160 162 169 170 172 175 182 183 185 196 198 199 200 202 204 208 212 214 217 218 223 226 227 231 234 242 243 245 249 253 a 3 7 8 9 11 12 16 18 20 21 22 25 26 30 31 34 35 38 39 41 46 56 57 58 59 62 63 66 72 75 76 79 80 83 84 85 86 94 100 106 109 112 116 117 118 122 123 125 126 128 129 139 140 141 142 143 144 145 159 160 162 169 170 172 175 182 183 185 196 198 199 200 202 204 208 212 214 217 218 223 226 227 231 234 242 243 245 249 253 a 3 7 8 9 11 12 16 18 19 20 21 22 25 26 30 31 34 35 38 39 41 46 56 57 58 59 62 63 66 72 75 76 79 80 83 84 85 86 94 100 106 109 112 116 117 118 122 123 125 126 128 129 139 140 141 142 143 144 145 159 160 162 169 170 172 175 183 185 196 198 199 200 202 204 208 212 214 217 218 223 226 227 231 234 242 243 245 249 253 a 3 7 8 9 11 12 16 18 19 20 21 22 25 26 30 31 34 35 38 39 41 46 56 57 58 59 62 63 66 72 75 76 79 80 83 84 85 86 94 100 106 109 112 116 117 118 122 123 125 126 129 139 140 141 142 143 144 145 159 160 162 169 170 172 175 183 185 196 198 199 200 202 204 208 212 214 217 218 223 226 227 231 234 242 243 245 246 249 253 a 3 7 8 9 11 16 18 19 20 21 22 25 26 30 31 34 35 38 39 41 46 56 57 58 59 62 63 66 72 75 76 79 80 83 84 85 86 94 100 106 109 112 116 117 118 122 123 125 126 129 139 140 141 142 143 144 145 159 160 162 169 170 172 175 183 184 185 196 198 199 200 202 204 208 212 214 217 218 223 226 227 231 234 242 243 245 246 249 253 a 3 7 8 9 11 16 18 19 20 21 22 25 26 30 31 34 35 38 39 41 46 56 57 58 59 62 63 66 70 72 75 76 79 80 83 84 85 86 94 100 106 109 112 116 117 118 122 123 125 126 129 139 140 141 142 143 144 145 159 160 162 169 170 172 175 183 184 185 196 198 199 200 202 204 208 212 214 218 223 226 227 231 234 242 243 245 246 249 253 a 3 7 8 9 10 11 16 18 19 20 21 22 25 26 30 31 34 35 38 39 41 46 56 57 58 59 62 63 66 70 72 75 76 79 80 83 84 85 86 94 100 106 109 112 116 117 118 122 123 125 126 129 139 140 141 142 143 144 159 160 162 169 170 172 175 183 184 185 196 198 199 200 202 204 208 212 214 218 223 226 227 231 234 242 243 245 246 249 253 a 3 7 8 9 10 11 14 16 18 19 20 21 22 25 26 30 31 34 35 38 39 41 46 56 57 58 59 62 63 66 70 72 75 76 79 80 83 84 85 86 94 100 106 109 112 116 117 118 122 123 125 126 129 139 140 141 142 143 144 159 160 162 169 170 172 175 183 184 185 196 198 199 200 202 204 208 212 214 218 223 226 231 234 242 243 245 246 249 253 a 3 7 8 9 10 11 14 16 18 19 20 21 22 25 26 30 31 34 35 38 39 41 46 56 57 58 59 62 63 66 70 72 75 76 79 80 83 84 85 86 94 100 106 109 112 116 117 118 122 123 125 126 129 139 140 141 142 143 159 160 162 169 170 172 175 183 184 185 196 198 199 200 202 204 207 208 212 214 218 223 226 231 234 242 243 245 246 249 253 a 3 7 8 9 11 14 16 18 19 20 21 22 25 26 30 31 34 35 38 39 41 46 56 57 58 59 62 63 66 70 72 75 76 79 80 83 84 85 86 94 100 106 109 112 116 117 118 122 123 125 126 129 139 140 141 142 143 145 159 160 162 169 170 172 175 183 184 185 196 198 199 200 202 204 207 208 212 214 218 223 226 231 234 242 243 245 246 249 253 a 3 7 8 9 11 14 16 18 19 20 21 22 25 26 30 31 34 35 38 39 41 46 56 57 58 59 62 63 66 70 72 75 76 79 80 83 84 85 94 100 106 109 112 116 117 118 122 123 125 126 129 139 140 141 142 143 145 159 160 162 169 170 172 175 183 184 185 196 198 199 200 202 204 207 208 212 214 218 223 226 231 234 242 243 245 246 249 253 255 a 3 7 8 9 11 12 14 16 18 19 20 21 22 25 26 30 31 34 35 38 39 41 46 56 57 58 59 62 63 66 70 72 75 76 79 80 83 84 85 94 100 106 109 112 116 117 118 122 123 125 126 129 139 140 141 142 143 145 159 160 162 169 170 172 175 183 185 196 198 199 200 202 204 207 208 212 214 218 223 226 231 234 242 243 245 246 249 253 255 a 3 7 9 11 12 14 16 18 19 20 21 22 25 26 30 31 34 35 38 39 41 46 56 57 58 59 62 63 66 70 72 75 76 79 80 83 84 85 94 100 106 109 112 116 117 118 122 123 125 126 129 139 140 141 142 143 145 159 160 162 169 170 172 175 183 185 196 198 199 200 202 204 207 208 212 214 218 223 226 231 234 242 243 245 246 249 251 253 255 a 3 7 9 11 12 14 16 18 19 20 21 22 25 26 30 31 34 35 38 39 41 46 48 56 57 58 59 62 63 66 70 75 76 79 80 83 84 85 94 100 106 109 112 116 117 118 122 123 125 126 129 139 140 141 142 143 145 159 160 162 169 170 172 175 183 185 196 198 199 200 202 204 207 208 212 214 218 223 226 231 234 242 243 245 246 249 251 253 255 a 3 7 9 11 12 14 16 18 19 20 21 22 25 26 30 31 34 35 38 39 41 46 48 56 57 58 59 62 63 66 68 70 75 76 79 80 83 84 85 94 100 106 109 112 116 117 118 122 123 125 126 129 139 140 141 142 143 145 159 160 162 169 170 172 175 183 185 196 199 200 202 204 207 208 212 214 218 223 226 231 234 242 243 245 246 249 251 253 255 a 3 7 9 11 12 14 16 18 19 20 21 22 25 26 30 31 34 35 38 39 41 46 48 56 57 58 59 62 63 66 68 70 75 76 79 80 83 84 85 94 100 106 109 112 116 117 118 122 123 125 126 129 139 140 141 142 143 145 159 160 162 169 170 172 175 183 185 196 199 200 202 204 207 208 212 214 223 224 226 231 234 242 243 245 246 249 251 253 255 a 3 7 9 11 12 14 16 18 19 20 21 22 25 26 30 31 34 35 38 39 41 46 48 56 57 58 59 62 63 66 68 70 75 76 79 80 83 84 85 94 100 106 109 112 116 117 118 122 123 125 126 129 140 141 142 143 145 158 159 160 162 169 170 172 175 183 185 196 199 200 202 204 207 208 212 214 223 224 226 231 234 242 243 245 246 249 251 253 255 a 3 7 9 11 12 14 16 18 19 20 21 22 25 26 30 31 34 35 38 39 41 46 48 56 57 58 59 62 63 66 68 70 75 76 79 80 83 84 85 94 100 106 109 112 116 117 118 122 123 125 126 129 140 141 142 143 144 145 158 159 160 162 169 170 172 175 183 185 196 199 200 202 204 208 212 214 223 224 226 231 234 242 243 245 246 249 251 253 255 a 3 7 9 11 12 14 16 18 19 20 21 22 25 26 30 31 34 35 38 39 41 46 48 56 57 58 59 62 63 66 68 70 75 76 79 80 83 84 85 93 94 100 106 109 112 116 117 118 122 123 125 126 129 140 141 142 143 144 145 158 159 160 162 169 170 172 175 183 185 196 199 200 202 204 208 212 214 223 224 226 231 234 242 245 246 249 251 253 255 a 3 7 9 11 12 14 16 18 19 20 21 22 25 26 30 31 34 35 38 39 41 46 48 56 57 58 59 62 63 66 68 70 75 76 79 80 83 84 85 93 94 100 106 109 112 116 117 118 122 125 126 129 140 141 142 143 144 145 158 159 160 162 169 170 172 175 183 185 196 199 200 202 204 208 212 214 223 224 226 231 234 242 245 246 249 251 253 255 260 a 3 7 9 11 12 14 16 18 19 20 21 22 25 26 30 31 34 35 38 39 41 46 48 56 58 59 62 63 66 68 70 75 76 79 80 81 83 84 85 93 94 100 106 109 112 116 117 118 122 125 126 129 140 141 142 143 144 145 158 159 160 162 169 170 172 175 183 185 196 199 200 202 204 208 212 214 223 224 226 231 234 242 245 246 249 251 253 255 260 a 3 7 9 11 12 14 16 18 19 20 21 22 25 26 30 31 34 35 38 39 41 46 48 56 58 59 62 63 66 68 70 75 76 79 80 81 83 84 85 93 94 100 103 106 109 112 116 117 118 122 125 126 129 140 141 142 143 144 145 158 160 162 169 170 172 175 183 185 196 199 200 202 204 208 212 214 223 224 226 231 234 242 245 246 249 251 253 255 260 a 2 3 7 9 11 12 14 16 18 19 20 21 22 25 26 30 31 34 35 38 39 41 46 48 56 58 59 62 63 66 68 70 75 76 79 80 81 83 84 85 93 94 100 103 106 109 112 116 117 118 122 125 126 129 140 141 143 144 145 158 160 162 169 170 172 175 183 185 196 199 200 202 204 208 212 214 223 224 226 231 234 242 245 246 249 251 253 255 260 a 2 3 7 9 11 12 14 16 18 19 20 21 22 25 26 30 31 34 35 38 41 46 48 56 58 59 62 63 66 68 70 75 76 79 80 81 83 84 85 93 94 100 103 106 109 112 116 117 118 122 125 126 129 140 141 143 144 145 158 160 162 169 170 172 175 183 185 196 199 200 202 204 208 212 214 223 224 226 231 234 242 245 246 248 249 251 253 255 260 a 2 3 7 9 11 12 14 16 18 19 20 21 22 25 26 30 31 34 35 38 41 46 48 52 56 58 59 62 63 66 68 70 75 76 79 80 81 83 84 85 93 94 100 103 106 109 112 116 118 122 125 126 129 140 141 143 144 145 158 160 162 169 170 172 175 183 185 196 199 200 202 204 208 212 214 223 224 226 231 234 242 245 246 248 249 251 253 255 260 a 2 3 7 9 11 12 14 16 18 19 20 22 25 26 30 31 34 35 38 41 46 48 52 56 58 59 62 63 66 68 70 75 76 79 80 81 83 84 85 93 94 100 103 106 109 112 116 118 122 125 126 129 140 141 143 144 145 157 158 160 162 169 170 172 175 183 185 196 199 200 202 204 208 212 214 223 224 226 231 234 242 245 246 248 249 251 253 255 260 a 1 2 3 7 9 11 12 14 16 18 19 20 22 25 26 30 31 34 35 38 41 46 48 52 56 58 59 62 63 66 68 70 75 76 79 80 81 84 85 93 94 100 103 106 109 112 116 118 122 125 126 129 140 141 143 144 145 157 158 160 162 169 170 172 175 183 185 196 199 200 202 204 208 212 214 223 224 226 231 234 242 245 246 248 249 251 253 255 260 a 1 2 3 7 9 11 12 14 16 18 19 20 22 25 26 30 31 34 35 38 41 46 48 52 53 56 58 59 62 63 66 68 70 75 76 79 80 81 84 85 93 94 100 103 106 109 112 116 118 122 125 126 129 140 141 143 144 145 157 158 160 162 169 170 172 175 183 185 196 199 200 202 204 208 212 214 223 224 226 231 234 242 245 246 248 249 251 253 260 a 1 2 3 7 9 11 12 14 16 18 19 20 22 25 26 30 31 34 35 38 41 46 48 52 53 56 58 59 62 63 66 68 70 75 76 79 80 81 84 85 86 93 94 100 103 106 109 112 116 118 122 125 126 129 140 141 143 144 145 157 158 160 162 169 170 172 175 183 185 196 199 200 202 204 208 212 223 224 226 231 234 242 245 246 248 249 251 253 260 a 1 2 3 7 9 11 12 14 16 18 19 22 25 26 30 31 34 35 38 41 46 48 52 53 56 58 59 62 63 66 68 70 75 76 79 80 81 84 85 86 92 93 94 100 103 106 109 112 116 118 122 125 126 129 140 141 143 144 145 157 158 160 162 169 170 172 175 183 185 196 199 200 202 204 208 212 223 224 226 231 234 242 245 246 248 249 251 253 260 a 1 2 3 7 9 11 12 14 16 18 19 22 25 26 30 31 34 35 38 41 46 48 52 53 56 58 59 62 63 66 68 70 75 76 79 80 81 84 85 86 92 93 94 100 103 106 109 112 116 118 122 125 126 129 141 143 144 145 157 158 160 162 169 170 172 175 183 185 196 199 200 202 204 208 212 223 224 226 229 231 234 242 245 246 248 249 251 253 260 a 1 2 3 7 9 11 12 14 16 18 19 22 25 26 30 31 34 35 41 46 48 52 53 56 58 59 62 63 66 68 70 75 76 79 80 81 84 85 86 92 93 94 100 103 106 109 112 116 118 120 122 125 126 129 141 143 144 145 157 158 160 162 169 170 172 175 183 185 196 199 200 202 204 208 212 223 224 226 229 231 234 242 245 246 248 249 251 253 260 a 1 2 3 7 9 11 12 14 16 18 19 22 25 26 30 31 34 35 41 46 48 52 53 56 58 59 62 63 66 68 70 75 76 79 80 81 84 85 86 92 93 94 100 103 106 109 112 116 118 120 122 125 126 129 141 143 144 145 157 158 160 162 169 170 172 175 183 185 196 199 200 202 204 208 212 223 224 226 229 231 234 235 242 245 248 249 251 253 260 a 1 2 3 7 9 11 12 14 16 18 19 22 25 26 30 31 34 35 41 46 48 52 53 56 58 59 63 66 68 70 75 76 79 80 81 84 85 86 92 93 94 100 103 106 109 112 116 118 120 122 125 126 129 138 141 143 144 145 157 158 160 162 169 170 172 175 183 185 196 199 200 202 204 208 212 223 224 226 229 231 234 235 242 245 248 249 251 253 260 a 1 2 3 7 9 11 12 14 16 18 22 25 26 30 31 34 35 41 46 48 52 53 56 58 59 63 66 68 70 75 76 79 80 81 84 85 86 92 93 94 100 103 106 109 112 116 118 120 122 125 126 129 138 141 143 144 145 157 158 160 162 169 170 172 175 182 183 185 196 199 200 202 204 208 212 223 224 226 229 231 234 235 242 245 248 249 251 253 260 a 1 2 3 7 9 11 12 13 14 16 18 22 25 26 30 31 34 35 41 46 48 52 53 56 58 59 63 66 68 70 75 76 79 80 81 84 85 86 92 93 94 100 103 106 109 112 116 118 120 122 125 129 138 141 143 144 145 157 158 160 162 169 170 172 175 182 183 185 196 199 200 202 204 208 212 223 224 226 229 231 234 235 242 245 248 249 251 253 260 a 1 2 3 7 9 11 12 13 14 16 18 22 25 26 30 31 34 35 41 46 48 52 53 56 58 59 63 66 68 75 76 79 80 81 84 85 86 92 93 94 100 103 106 109 112 116 118 120 122 125 129 138 141 143 144 145 157 158 160 162 169 170 172 175 182 183 185 196 199 200 202 204 208 212 217 223 224 226 229 231 234 235 242 245 248 249 251 253 260 a 1 2 3 7 9 11 12 13 14 16 18 22 25 26 30 31 34 35 41 46 48 52 53 56 58 59 63 66 68 75 76 79 80 81 84 85 86 92 93 94 100 103 106 112 116 118 120 122 125 129 138 141 143 144 145 157 158 160 162 166 169 170 172 175 182 183 185 196 199 200 202 204 208 212 217 223 224 226 229 231 234 235 242 245 248 249 251 253 260 a 1 2 3 7 9 11 12 13 14 16 18 22 25 26 30 31 34 35 41 46 48 52 53 56 58 59 63 66 68 75 76 79 80 81 84 85 86 92 93 94 100 103 104 106 112 116 118 120 122 125 129 138 141 143 144 145 157 158 160 162 166 169 172 175 182 183 185 196 199 200 202 204 208 212 217 223 224 226 229 231 234 235 242 245 248 249 251 253 260 a 1 2 3 7 9 11 12 13 14 16 18 22 25 26 30 31 34 35 36 41 48 52 53 56 58 59 63 66 68 75 76 79 80 81 84 85 86 92 93 94 100 103 104 106 112 116 118 120 122 125 129 138 141 143 144 145 157 158 160 162 166 169 172 175 182 183 185 196 199 200 202 204 208 212 217 223 224 226 229 231 234 235 242 245 248 249 251 253 260 a 1 2 3 7 9 11 12 13 14 16 18 22 25 26 30 31 34 35 36 41 48 52 53 56 58 59 63 66 68 75 76 79 80 81 84 85 86 92 93 94 100 103 104 106 112 116 118 120 122 125 128 129 138 141 143 144 145 157 158 160 162 166 169 172 175 182 183 185 196 199 200 202 204 208 212 217 223 224 226 229 231 234 235 245 248 249 251 253 260 a 1 2 3 7 9 12 13 14 16 18 22 25 26 30 31 34 35 36 41 48 52 53 56 58 59 63 66 68 75 76 79 80 81 84 85 86 92 93 94 100 101 103 104 106 112 116 118 120 122 125 128 129 138 141 143 144 145 157 158 160 162 166 169 172 175 182 183 185 196 199 200 202 204 208 212 217 223 224 226 229 231 234 235 245 248 249 251 253 260 a 1 2 3 7 9 12 13 14 16 18 25 26 30 31 34 35 36 41 48 52 53 56 58 59 63 66 68 75 76 79 80 81 84 85 86 92 93 94 100 101 103 104 106 112 116 118 120 122 125 128 129 138 141 143 144 145 147 157 158 160 162 166 169 172 175 182 183 185 196 199 200 202 204 208 212 217 223 224 226 229 231 234 235 245 248 249 251 253 260 a 1 2 3 7 9 12 13 14 16 18 25 26 30 31 34 35 36 41 48 52 53 56 58 59 63 66 68 75 76 79 80 81 84 85 86 92 93 94 100 101 103 104 106 112 116 118 120 122 125 128 129 138 141 143 144 145 147 157 158 160 162 166 169 172 175 182 183 196 199 200 202 204 208 212 213 217 223 224 226 229 231 234 235 245 248 249 251 253 260 a 1 2 3 7 9 12 13 14 18 25 26 30 31 34 35 36 41 48 52 53 56 58 59 63 66 68 75 76 79 80 81 84 85 86 92 93 94 100 101 103 104 106 112 116 118 120 122 125 128 129 138 141 143 144 145 147 154 157 158 160 162 166 169 172 175 182 183 196 199 200 202 204 208 212 213 217 223 224 226 229 231 234 235 245 248 249 251 253 260 a 1 2 3 7 9 12 13 14 18 25 26 30 31 34 35 36 41 48 52 53 56 59 63 64 66 68 75 76 79 80 81 84 85 86 92 93 94 100 101 103 104 106 112 116 118 120 122 125 128 129 138 141 143 144 145 147 154 157 158 160 162 166 169 172 175 182 183 196 199 200 202 204 208 212 213 217 223 224 226 229 231 234 235 245 248 249 251 253 260 a 1 2 3 7 9 12 13 14 18 25 26 30 31 34 35 36 41 48 52 53 59 61 63 64 66 68 75 76 79 80 81 84 85 86 92 93 94 100 101 103 104 106 112 116 118 120 122 125 128 129 138 141 143 144 145 147 154 157 158 160 162 166 169 172 175 182 183 196 199 200 202 204 208 212 213 217 223 224 226 229 231 234 235 245 248 249 251 253 260 a 1 2 3 7 9 12 13 14 18 25 26 30 31 34 35 36 41 48 52 53 61 63 64 66 68 75 76 79 80 81 84 85 86 92 93 94 100 101 103 104 106 107 112 116 118 120 122 125 128 129 138 141 143 144 145 147 154 157 158 160 162 166 169 172 175 182 183 196 199 200 202 204 208 212 213 217 223 224 226 229 231 234 235 245 248 249 251 253 260 a 1 2 3 7 9 12 13 14 18 25 26 30 31 34 35 36 41 48 52 53 61 63 64 66 68 75 76 79 80 81 84 85 86 92 93 94 100 101 103 104 106 107 112 118 120 122 125 127 128 129 138 141 143 144 145 147 154 157 158 160 162 166 169 172 175 182 183 196 199 200 202 204 208 212 213 217 223 224 226 229 231 234 235 245 248 249 251 253 260 a 1 2 3 7 9 12 13 14 18 25 26 30 31 34 35 36 41 48 52 53 61 63 64 66 68 75 76 79 80 81 84 85 86 87 92 93 94 100 101 103 104 107 112 118 120 122 125 127 128 129 138 141 143 144 145 147 154 157 158 160 162 166 169 172 175 182 183 196 199 200 202 204 208 212 213 217 223 224 226 229 231 234 235 245 248 249 251 253 260 a 1 2 3 7 9 12 13 14 18 25 26 30 31 34 35 36 41 48 52 53 61 63 64 66 68 76 79 80 81 84 85 86 87 92 93 94 100 101 103 104 107 112 118 120 122 125 127 128 129 138 141 143 144 145 147 154 157 158 160 162 166 169 172 175 182 183 196 199 200 202 204 208 212 213 217 223 224 226 229 231 233 234 235 245 248 249 251 253 260 a 1 2 3 7 9 12 13 14 18 25 26 30 31 34 35 36 41 48 52 53 61 63 64 66 68 76 79 80 81 84 85 86 87 92 93 94 100 101 103 104 107 112 118 120 122 125 127 128 129 138 141 143 144 145 147 154 157 158 162 166 169 172 175 182 183 196 199 200 202 204 208 212 213 217 223 224 226 229 231 233 234 235 245 248 249 251 253 258 260 a 1 2 3 7 9 12 13 14 18 25 26 30 31 34 35 36 41 48 52 53 61 63 64 66 76 79 80 81 84 85 86 87 92 93 94 100 101 103 104 107 112 118 120 122 125 127 128 129 138 141 143 144 145 147 154 157 158 162 166 169 172 175 182 183 196 198 199 200 202 204 208 212 213 217 223 224 226 229 231 233 234 235 245 248 249 251 253 258 260 a 1 2 3 7 9 12 13 14 18 25 26 30 31 34 35 36 41 48 52 53 61 63 64 66 76 79 80 81 84 85 86 87 92 93 94 100 101 103 104 107 112 118 120 122 125 127 128 129 138 141 143 144 145 147 154 157 158 162 166 169 172 175 182 183 190 196 198 200 202 204 208 212 213 217 223 224 226 229 231 233 234 235 245 248 249 251 253 258 260 a 1 2 3 7 9 12 13 14 18 25 26 30 31 34 35 36 41 44 48 52 53 61 63 64 66 76 79 80 81 84 85 86 87 92 93 94 100 101 103 104 107 112 118 120 122 125 127 128 129 138 141 143 144 145 147 154 157 158 162 166 169 172 175 182 183 190 196 198 200 202 204 208 212 213 217 223 224 229 231 233 234 235 245 248 249 251 253 258 260 a 1 2 3 7 9 12 13 14 18 26 30 31 33 34 35 36 41 44 48 52 53 61 63 64 66 76 79 80 81 84 85 86 87 92 93 94 100 101 103 104 107 112 118 120 122 125 127 128 129 138 141 143 144 145 147 154 157 158 162 166 169 172 175 182 183 190 196 198 200 202 204 208 212 213 217 223 224 229 231 233 234 235 245 248 249 251 253 258 260 c Step: 64 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance020_graph004.col /benchmark/random_instance/random_instance020_graph004_01.dat" User time (seconds): 1009.77 System time (seconds): 11.60 Percent of CPU this job got: 240% Elapsed (wall clock) time (h:mm:ss or m:ss): 7:04.07 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): 37917612 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 12508513 Voluntary context switches: 127810 Involuntary context switches: 3147 Swaps: 0 File system inputs: 0 File system outputs: 352 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:05:55 2023]