#BEGIN: [Mon Sep 4 11:55:48 2023] #HOST: s10 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance018_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance018_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_instance018_graph004.col /benchmark/random_instance/random_instance018_graph004_01.dat c /benchmark/random_instance/random_instance018_graph004.col c /benchmark/random_instance/random_instance018_graph004_01.dat *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.043 seconds *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds s 131 162 137 175 83 57 116 164 122 180 68 17 10 218 6 207 97 173 43 93 34 211 179 2 62 31 230 49 157 96 95 30 204 91 167 15 140 119 16 82 99 23 58 177 142 20 64 126 168 189 199 112 225 108 84 200 9 27 53 35 104 172 13 19 29 229 1 101 156 176 224 190 90 203 120 38 t 81 179 36 80 210 189 44 233 204 65 169 206 22 37 112 188 14 66 113 26 193 23 45 90 183 186 18 40 227 177 137 33 61 27 88 55 83 182 127 72 103 11 190 59 97 176 149 202 115 15 100 181 6 166 170 9 208 232 64 155 49 185 4 120 146 229 118 68 10 180 87 57 102 218 94 109 a YES a 1 2 6 9 10 13 15 16 17 19 20 23 27 29 30 31 34 35 38 43 49 53 57 58 62 64 68 82 83 84 90 91 93 95 96 97 99 101 104 108 112 116 119 120 122 126 131 137 140 142 156 157 162 164 167 168 172 173 175 176 177 179 180 189 190 199 200 203 204 207 211 218 224 225 229 230 a 1 2 6 9 10 13 15 16 17 19 20 23 27 28 29 30 31 34 35 38 43 49 53 57 58 62 64 68 82 83 84 90 91 93 95 96 97 99 104 108 112 116 119 120 122 126 131 137 140 142 156 157 162 164 167 168 172 173 175 176 177 179 180 189 190 199 200 203 204 207 211 218 224 225 229 230 a 1 2 6 9 10 13 15 16 17 19 20 23 27 28 29 30 31 34 35 38 43 49 53 57 58 62 64 68 82 83 84 90 91 93 95 96 97 99 104 108 112 116 119 120 122 126 137 140 142 156 157 162 164 167 168 172 173 175 176 177 179 180 184 189 190 199 200 203 204 207 211 218 224 225 229 230 a 1 2 6 9 10 13 15 16 17 19 20 23 27 28 29 30 31 34 35 38 43 45 49 53 57 62 64 68 82 83 84 90 91 93 95 96 97 99 104 108 112 116 119 120 122 126 137 140 142 156 157 162 164 167 168 172 173 175 176 177 179 180 184 189 190 199 200 203 204 207 211 218 224 225 229 230 a 1 2 6 9 10 13 15 16 17 19 20 23 27 28 29 30 31 34 35 38 43 45 49 53 57 62 64 68 82 83 84 87 90 91 93 95 96 97 99 104 108 112 116 119 120 122 126 137 140 142 156 157 162 164 167 172 173 175 176 177 179 180 184 189 190 199 200 203 204 207 211 218 224 225 229 230 a 1 2 6 9 10 13 15 16 17 19 20 23 27 28 29 30 31 34 35 38 43 45 49 53 57 62 64 68 82 83 84 87 90 91 93 95 96 97 99 104 108 112 116 119 120 122 126 131 137 140 142 156 157 162 164 167 172 173 175 176 177 179 180 189 190 199 200 203 204 207 211 218 224 225 229 230 a 1 2 6 9 10 13 15 16 17 19 20 23 27 28 29 30 31 34 35 38 43 45 49 53 57 62 64 68 82 83 84 90 91 93 95 96 97 99 104 108 112 116 119 120 122 126 131 137 140 142 156 157 162 164 167 168 172 173 175 176 177 179 180 189 190 199 200 203 204 207 211 218 224 225 229 230 a 1 2 6 9 10 13 15 16 17 19 20 23 27 29 30 31 34 35 38 43 45 49 53 57 62 64 68 82 83 84 90 91 93 95 96 97 99 101 104 108 112 116 119 120 122 126 131 137 140 142 156 157 162 164 167 168 172 173 175 176 177 179 180 189 190 199 200 203 204 207 211 218 224 225 229 230 a 1 2 6 9 10 13 15 16 17 19 20 23 27 29 30 31 34 35 38 43 45 49 53 57 62 64 68 78 82 83 84 90 91 93 95 96 97 99 101 104 108 112 116 119 120 122 126 131 137 140 142 156 157 162 164 167 168 172 173 175 177 179 180 189 190 199 200 203 204 207 211 218 224 225 229 230 a 1 2 6 9 10 13 15 16 17 19 20 23 27 29 30 31 34 35 38 43 45 49 53 57 62 64 68 78 82 83 84 90 91 93 95 96 97 99 101 104 108 111 112 116 119 120 122 126 131 137 140 142 156 157 162 164 167 168 172 173 175 177 179 180 190 199 200 203 204 207 211 218 224 225 229 230 a 1 2 6 9 10 13 15 16 17 19 20 23 27 29 30 31 34 35 38 43 45 49 53 57 62 64 68 78 82 83 84 87 90 91 93 95 96 97 99 101 104 108 111 112 116 119 120 122 126 131 137 140 142 156 157 162 164 167 172 173 175 177 179 180 190 199 200 203 204 207 211 218 224 225 229 230 a 1 2 6 9 10 13 15 16 17 19 20 23 27 29 30 31 34 35 38 43 45 49 53 57 62 64 68 78 82 83 84 87 90 91 93 95 96 97 99 101 104 108 111 112 116 119 120 122 126 131 137 140 142 156 157 162 164 167 172 173 175 177 179 180 199 200 203 204 207 211 212 218 224 225 229 230 a 1 2 6 9 10 13 15 16 17 19 20 23 27 29 30 31 34 35 38 43 45 49 53 57 62 64 68 78 82 83 84 87 90 91 93 95 96 97 99 101 104 108 111 112 116 119 120 122 126 131 137 140 142 157 162 164 167 172 173 175 177 179 180 199 200 203 204 207 211 212 218 224 225 229 230 232 a 1 2 6 9 10 13 15 16 17 19 20 23 27 29 30 31 34 35 38 43 45 49 53 57 62 64 68 78 82 83 84 87 90 91 93 95 96 97 99 101 104 108 111 112 116 119 120 122 126 131 137 140 142 157 162 164 167 172 173 175 177 179 180 190 199 200 203 204 207 211 218 224 225 229 230 232 a 1 2 6 9 10 13 15 16 17 19 20 23 27 29 30 31 34 35 36 38 43 45 49 53 57 62 64 68 78 82 83 84 87 90 91 93 95 96 97 99 101 104 108 111 112 116 119 120 122 126 131 137 140 142 157 162 164 167 172 173 175 177 179 180 190 199 200 203 204 207 211 218 224 225 229 232 a 1 6 9 10 13 15 16 17 19 20 23 27 29 30 31 34 35 36 38 43 45 49 53 57 62 64 68 78 82 83 84 87 90 91 93 95 96 97 99 101 103 104 108 111 112 116 119 120 122 126 131 137 140 142 157 162 164 167 172 173 175 177 179 180 190 199 200 203 204 207 211 218 224 225 229 232 a 1 6 9 10 13 16 17 19 20 23 27 29 30 31 34 35 36 38 43 45 49 53 57 62 64 68 78 82 83 84 87 90 91 93 94 95 96 97 99 101 103 104 108 111 112 116 119 120 122 126 131 137 140 142 157 162 164 167 172 173 175 177 179 180 190 199 200 203 204 207 211 218 224 225 229 232 a 1 6 9 10 13 16 17 19 20 23 27 29 30 31 34 36 38 43 45 49 53 57 62 64 68 78 82 83 84 87 90 91 93 94 95 96 97 99 101 103 104 108 111 112 116 119 120 122 126 131 137 140 142 157 162 164 167 170 172 173 175 177 179 180 190 199 200 203 204 207 211 218 224 225 229 232 a 1 6 9 10 13 16 17 19 20 23 27 29 30 31 33 34 36 38 43 45 49 53 57 62 64 68 78 82 83 87 90 91 93 94 95 96 97 99 101 103 104 108 111 112 116 119 120 122 126 131 137 140 142 157 162 164 167 170 172 173 175 177 179 180 190 199 200 203 204 207 211 218 224 225 229 232 a 1 6 9 10 13 16 17 19 20 23 27 29 30 31 33 34 36 38 43 45 49 53 57 62 64 68 78 82 83 87 90 91 93 94 95 96 97 99 101 103 104 108 111 112 116 119 120 122 126 131 137 140 142 157 162 164 167 170 172 173 177 179 180 183 190 199 200 203 204 207 211 218 224 225 229 232 a 1 6 9 10 13 16 17 19 20 23 27 30 31 33 34 36 38 43 45 49 53 57 62 64 68 78 82 83 87 90 91 93 94 95 96 97 99 101 103 104 108 111 112 116 119 120 122 126 131 137 140 142 157 162 164 167 170 172 173 177 179 180 183 190 199 200 203 204 206 207 211 218 224 225 229 232 a 1 6 9 10 13 15 16 17 19 20 23 27 30 31 33 34 36 38 43 45 49 53 57 62 64 68 78 82 83 87 90 91 93 94 96 97 99 101 103 104 108 111 112 116 119 120 122 126 131 137 140 142 157 162 164 167 170 172 173 177 179 180 183 190 199 200 203 204 206 207 211 218 224 225 229 232 a 1 6 9 10 13 15 16 17 19 20 23 27 30 31 33 34 36 38 43 45 49 53 57 62 64 68 78 82 83 87 90 91 93 94 96 97 99 101 103 104 108 111 112 116 120 122 126 131 137 140 142 157 162 164 167 170 172 173 177 179 180 183 185 190 199 200 203 204 206 207 211 218 224 225 229 232 a 1 6 9 10 13 15 16 17 19 20 23 27 30 31 33 34 36 38 45 49 53 57 62 64 68 78 82 83 87 90 91 93 94 96 97 99 100 101 103 104 108 111 112 116 120 122 126 131 137 140 142 157 162 164 167 170 172 173 177 179 180 183 185 190 199 200 203 204 206 207 211 218 224 225 229 232 a 1 6 9 10 13 15 16 17 19 20 23 27 30 31 33 34 36 38 45 49 53 57 62 64 68 78 82 83 87 90 91 93 94 96 97 99 100 101 103 104 108 111 112 116 120 122 126 131 137 140 142 157 162 164 167 170 172 177 179 180 183 185 190 199 200 203 204 206 207 211 218 224 225 227 229 232 a 1 6 9 10 13 15 16 17 19 20 23 27 30 31 33 34 36 38 45 49 53 57 64 68 78 82 83 87 90 91 93 94 96 97 99 100 101 103 104 108 111 112 116 120 122 126 131 137 140 142 157 162 164 167 170 172 177 179 180 182 183 185 190 199 200 203 204 206 207 211 218 224 225 227 229 232 a 1 6 9 10 13 15 16 17 19 20 23 27 30 31 33 34 36 38 45 49 53 57 64 68 78 82 83 87 90 91 93 94 96 97 99 100 101 103 104 108 111 112 116 120 122 126 131 137 140 142 155 157 162 164 167 170 172 177 179 180 182 183 185 190 199 200 203 204 206 207 211 218 225 227 229 232 a 1 6 9 10 13 15 16 17 19 20 23 27 30 31 33 36 38 45 49 53 57 64 68 78 82 83 87 88 90 91 93 94 96 97 99 100 101 103 104 108 111 112 116 120 122 126 131 137 140 142 155 157 162 164 167 170 172 177 179 180 182 183 185 190 199 200 203 204 206 207 211 218 225 227 229 232 a 1 6 9 10 13 15 16 17 19 20 23 27 30 31 33 36 38 45 49 53 57 64 68 78 82 83 87 88 90 91 93 94 96 97 99 100 101 103 104 108 111 112 116 120 122 126 131 137 140 142 155 157 162 164 170 172 177 179 180 182 183 185 190 199 200 203 204 206 207 208 211 218 225 227 229 232 a 1 6 9 10 13 15 16 17 19 20 23 27 30 31 33 36 38 45 49 53 57 64 68 78 82 83 87 88 90 91 93 94 96 97 99 100 101 103 104 108 111 112 116 120 122 126 131 137 140 142 155 157 162 164 170 177 179 180 182 183 185 190 199 200 202 203 204 206 207 208 211 218 225 227 229 232 a 1 6 9 10 13 15 16 17 19 20 23 27 30 31 33 36 38 45 49 53 57 64 68 78 82 83 87 88 90 91 93 94 96 97 99 100 101 103 104 108 111 112 116 118 120 122 126 137 140 142 155 157 162 164 170 177 179 180 182 183 185 190 199 200 202 203 204 206 207 208 211 218 225 227 229 232 a 1 6 9 10 11 13 15 16 17 19 20 23 27 30 31 33 36 38 45 49 53 57 64 68 78 82 83 87 88 90 91 93 94 96 97 99 100 101 103 104 111 112 116 118 120 122 126 137 140 142 155 157 162 164 170 177 179 180 182 183 185 190 199 200 202 203 204 206 207 208 211 218 225 227 229 232 a 1 6 9 10 11 13 15 17 19 20 23 27 30 31 33 36 38 45 49 53 57 64 68 78 82 83 87 88 90 91 93 94 96 97 99 100 101 103 104 111 112 116 118 120 122 126 137 140 142 155 157 162 164 170 177 179 180 181 182 183 185 190 199 200 202 203 204 206 207 208 211 218 225 227 229 232 a 1 6 9 10 11 13 15 17 19 20 23 27 31 33 36 38 45 49 53 57 64 68 78 82 83 87 88 90 91 93 94 96 97 99 100 101 103 104 111 112 116 118 120 122 126 137 140 142 146 155 157 162 164 170 177 179 180 181 182 183 185 190 199 200 202 203 204 206 207 208 211 218 225 227 229 232 a 1 6 9 10 11 13 15 17 19 20 23 27 31 33 36 38 45 49 53 57 64 68 78 82 83 87 88 90 91 93 94 96 97 99 100 101 103 104 109 111 112 116 118 120 122 137 140 142 146 155 157 162 164 170 177 179 180 181 182 183 185 190 199 200 202 203 204 206 207 208 211 218 225 227 229 232 a 1 6 9 10 11 13 15 17 19 20 23 27 31 33 36 38 45 49 53 57 61 64 68 78 82 83 87 88 90 91 93 94 96 97 99 100 101 103 104 109 111 112 116 118 120 122 137 140 142 146 155 157 162 164 170 177 179 180 181 182 183 185 190 199 200 202 203 204 206 208 211 218 225 227 229 232 a 1 6 9 10 11 13 15 17 19 20 23 27 31 33 36 38 45 49 53 57 61 64 68 78 82 83 87 88 90 91 93 94 96 97 99 100 101 103 104 109 111 112 116 118 120 122 137 140 142 146 155 157 162 164 170 177 179 180 181 182 183 185 186 190 199 200 202 203 204 206 208 218 225 227 229 232 a 1 6 9 10 11 13 15 17 19 20 23 27 31 33 36 38 45 49 53 57 61 64 68 82 83 87 88 90 91 93 94 96 97 99 100 101 103 104 109 111 112 116 118 120 122 137 140 142 146 155 157 162 164 170 176 177 179 180 181 182 183 185 186 190 199 200 202 203 204 206 208 218 225 227 229 232 a 1 6 9 10 11 13 15 17 19 20 23 27 31 33 36 38 45 49 53 57 61 64 68 80 82 83 87 88 90 91 93 94 96 97 100 101 103 104 109 111 112 116 118 120 122 137 140 142 146 155 157 162 164 170 176 177 179 180 181 182 183 185 186 190 199 200 202 203 204 206 208 218 225 227 229 232 a 1 6 9 10 11 13 15 17 19 20 23 27 31 33 36 38 45 49 57 61 64 68 80 82 83 87 88 90 91 93 94 96 97 100 101 103 104 109 111 112 116 118 120 122 137 140 142 146 149 155 157 162 164 170 176 177 179 180 181 182 183 185 186 190 199 200 202 203 204 206 208 218 225 227 229 232 a 1 6 9 10 11 13 15 17 19 20 23 27 31 33 36 38 40 45 49 57 61 64 68 80 82 83 87 88 90 91 93 94 96 97 100 101 103 104 109 111 112 116 118 120 122 137 140 142 146 149 155 157 164 170 176 177 179 180 181 182 183 185 186 190 199 200 202 203 204 206 208 218 225 227 229 232 a 1 4 6 9 10 11 13 15 17 19 20 23 27 31 33 36 38 40 45 49 57 61 64 68 80 82 83 87 88 90 91 93 94 96 97 100 103 104 109 111 112 116 118 120 122 137 140 142 146 149 155 157 164 170 176 177 179 180 181 182 183 185 186 190 199 200 202 203 204 206 208 218 225 227 229 232 a 1 4 6 9 10 11 13 15 17 19 20 23 27 31 33 36 38 40 45 49 57 61 64 68 80 82 83 87 88 90 91 93 94 96 97 100 103 104 109 112 116 118 120 122 137 140 142 146 149 155 157 164 170 176 177 179 180 181 182 183 185 186 189 190 199 200 202 203 204 206 208 218 225 227 229 232 a 1 4 6 9 10 11 13 15 17 19 20 23 26 27 31 33 36 38 40 45 49 57 61 64 68 80 83 87 88 90 91 93 94 96 97 100 103 104 109 112 116 118 120 122 137 140 142 146 149 155 157 164 170 176 177 179 180 181 182 183 185 186 189 190 199 200 202 203 204 206 208 218 225 227 229 232 a 1 4 6 9 10 11 13 15 17 19 20 23 26 27 31 33 36 38 40 45 49 57 61 64 68 80 83 87 88 90 91 93 94 96 97 100 103 104 109 112 116 118 120 137 140 142 146 149 155 157 164 170 176 177 179 180 181 182 183 185 186 189 190 199 200 202 203 204 206 208 210 218 225 227 229 232 a 1 4 6 9 10 11 13 14 15 17 19 20 23 26 27 31 33 36 38 40 45 49 57 61 64 68 80 83 87 88 90 91 93 94 96 97 100 103 104 109 112 116 118 120 137 140 142 146 149 155 157 164 170 176 177 179 180 181 182 183 185 186 189 190 199 200 202 204 206 208 210 218 225 227 229 232 a 1 4 6 9 10 11 13 14 15 19 20 23 26 27 31 33 36 38 40 45 49 57 59 61 64 68 80 83 87 88 90 91 93 94 96 97 100 103 104 109 112 116 118 120 137 140 142 146 149 155 157 164 170 176 177 179 180 181 182 183 185 186 189 190 199 200 202 204 206 208 210 218 225 227 229 232 a 1 4 6 9 10 11 13 14 15 19 20 23 26 27 31 33 36 38 40 44 45 49 57 59 61 64 68 80 83 87 88 90 91 93 94 96 97 100 103 104 109 112 116 118 120 137 140 142 146 149 155 157 170 176 177 179 180 181 182 183 185 186 189 190 199 200 202 204 206 208 210 218 225 227 229 232 a 1 4 6 9 10 11 13 14 15 19 20 23 26 27 31 33 36 38 40 44 45 49 57 59 61 64 68 80 83 87 88 90 91 93 94 96 97 100 103 104 109 112 113 116 118 120 137 140 146 149 155 157 170 176 177 179 180 181 182 183 185 186 189 190 199 200 202 204 206 208 210 218 225 227 229 232 a 1 4 6 9 10 11 13 14 15 19 20 23 26 27 31 33 36 38 40 44 45 49 57 59 61 64 68 80 81 83 87 88 90 91 93 94 96 97 100 103 104 109 112 113 116 118 120 137 140 146 149 155 157 170 176 177 179 180 181 182 183 185 186 189 190 199 200 202 204 206 208 210 218 227 229 232 a 1 4 6 9 10 11 13 14 15 19 20 23 26 27 31 33 36 38 40 44 45 49 57 59 61 64 68 80 81 83 87 88 90 91 94 96 97 100 103 104 109 112 113 116 118 120 127 137 140 146 149 155 157 170 176 177 179 180 181 182 183 185 186 189 190 199 200 202 204 206 208 210 218 227 229 232 a 1 4 6 9 10 11 13 14 15 19 20 23 26 27 31 33 36 38 40 44 45 49 57 59 61 64 68 80 81 83 87 88 90 91 94 96 97 100 102 103 104 109 112 113 116 118 120 127 137 146 149 155 157 170 176 177 179 180 181 182 183 185 186 189 190 199 200 202 204 206 208 210 218 227 229 232 a 1 4 6 9 10 11 13 14 15 19 20 23 26 27 33 36 38 40 44 45 49 57 59 61 64 68 80 81 83 87 88 90 91 94 96 97 100 102 103 104 109 112 113 116 118 120 127 137 146 149 155 157 166 170 176 177 179 180 181 182 183 185 186 189 190 199 200 202 204 206 208 210 218 227 229 232 a 1 4 6 9 10 11 13 14 15 19 23 26 27 33 36 38 40 44 45 49 57 59 61 64 66 68 80 81 83 87 88 90 91 94 96 97 100 102 103 104 109 112 113 116 118 120 127 137 146 149 155 157 166 170 176 177 179 180 181 182 183 185 186 189 190 199 200 202 204 206 208 210 218 227 229 232 a 1 4 6 9 10 11 13 14 15 19 23 26 27 33 36 38 40 44 45 49 55 57 59 61 64 66 68 80 81 83 87 88 90 91 94 96 97 100 102 103 104 109 112 113 116 118 120 127 137 146 149 155 157 166 170 176 177 179 180 181 182 183 185 186 189 190 199 202 204 206 208 210 218 227 229 232 a 4 6 9 10 11 13 14 15 19 23 26 27 33 36 38 40 44 45 49 55 57 59 61 64 66 68 80 81 83 87 88 90 91 94 96 97 100 102 103 104 109 112 113 116 118 120 127 137 146 149 155 157 166 169 170 176 177 179 180 181 182 183 185 186 189 190 199 202 204 206 208 210 218 227 229 232 a 4 6 9 10 11 13 14 15 19 22 23 26 27 33 36 38 40 44 45 49 55 57 59 61 64 66 68 80 81 83 87 88 90 91 94 96 97 100 102 103 104 109 112 113 118 120 127 137 146 149 155 157 166 169 170 176 177 179 180 181 182 183 185 186 189 190 199 202 204 206 208 210 218 227 229 232 a 4 6 9 10 11 13 14 15 19 22 23 26 27 33 36 40 44 45 49 55 57 59 61 64 65 66 68 80 81 83 87 88 90 91 94 96 97 100 102 103 104 109 112 113 118 120 127 137 146 149 155 157 166 169 170 176 177 179 180 181 182 183 185 186 189 190 199 202 204 206 208 210 218 227 229 232 a 4 6 9 10 11 13 14 15 19 22 23 26 27 33 36 40 44 45 49 55 57 59 61 64 65 66 68 80 81 83 87 88 90 91 94 96 97 100 102 103 104 109 112 113 118 120 127 137 146 149 155 157 166 169 170 176 177 179 180 181 182 183 185 186 188 189 190 202 204 206 208 210 218 227 229 232 a 4 6 9 10 11 13 14 15 22 23 26 27 33 36 40 44 45 49 55 57 59 61 64 65 66 68 72 80 81 83 87 88 90 91 94 96 97 100 102 103 104 109 112 113 118 120 127 137 146 149 155 157 166 169 170 176 177 179 180 181 182 183 185 186 188 189 190 202 204 206 208 210 218 227 229 232 a 4 6 9 10 11 13 14 15 18 22 23 26 27 33 36 40 44 45 49 55 57 59 61 64 65 66 68 72 80 81 83 87 88 90 94 96 97 100 102 103 104 109 112 113 118 120 127 137 146 149 155 157 166 169 170 176 177 179 180 181 182 183 185 186 188 189 190 202 204 206 208 210 218 227 229 232 a 4 6 9 10 11 13 14 15 18 22 23 26 27 33 36 40 44 45 49 55 57 59 61 64 65 66 68 72 80 81 83 87 88 90 94 96 97 100 102 103 109 112 113 115 118 120 127 137 146 149 155 157 166 169 170 176 177 179 180 181 182 183 185 186 188 189 190 202 204 206 208 210 218 227 229 232 a 4 6 9 10 11 14 15 18 22 23 26 27 33 36 37 40 44 45 49 55 57 59 61 64 65 66 68 72 80 81 83 87 88 90 94 96 97 100 102 103 109 112 113 115 118 120 127 137 146 149 155 157 166 169 170 176 177 179 180 181 182 183 185 186 188 189 190 202 204 206 208 210 218 227 229 232 a 4 6 9 10 11 14 15 18 22 23 26 27 33 36 37 40 44 45 49 55 57 59 61 64 65 66 68 72 80 81 83 87 88 90 94 96 97 100 102 103 109 112 113 115 118 120 127 137 146 149 155 166 169 170 176 177 179 180 181 182 183 185 186 188 189 190 193 202 204 206 208 210 218 227 229 232 a 4 6 9 10 11 14 15 18 22 23 26 27 33 36 37 40 44 45 49 55 57 59 61 64 65 66 68 72 80 81 83 87 88 90 94 97 100 102 103 109 112 113 115 118 120 127 137 146 149 155 166 169 170 176 177 179 180 181 182 183 185 186 188 189 190 193 202 204 206 208 210 218 227 229 232 233 c Step: 64 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance018_graph004.col /benchmark/random_instance/random_instance018_graph004_01.dat" User time (seconds): 955.29 System time (seconds): 26.66 Percent of CPU this job got: 269% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:05.01 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): 24175972 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 7765843 Voluntary context switches: 7612591 Involuntary context switches: 2431 Swaps: 0 File system inputs: 0 File system outputs: 312 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:01:53 2023]