#BEGIN: [Mon Sep 4 13:14:45 2023] #HOST: s07 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance017_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance017_graph003_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na /benchmark/random_instance/random_instance017_graph003.col /benchmark/random_instance/random_instance017_graph003_01.dat c /benchmark/random_instance/random_instance017_graph003.col c /benchmark/random_instance/random_instance017_graph003_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 210 10 216 104 75 144 73 191 169 130 119 179 5 123 168 159 105 204 190 219 145 115 62 151 167 118 152 96 186 193 27 61 201 102 170 211 55 218 175 64 58 50 131 195 172 165 26 203 30 37 101 184 12 149 133 13 84 35 44 146 72 91 188 78 1 139 49 128 160 22 42 33 114 t 208 218 144 140 40 132 55 114 51 87 135 146 89 129 195 5 201 166 190 186 215 102 27 173 107 205 92 157 199 138 196 150 72 180 174 184 136 124 22 32 170 147 96 10 77 131 61 211 65 37 41 188 84 112 158 152 127 151 95 202 139 94 193 110 178 176 101 68 172 90 58 30 1 a YES a 1 5 10 12 13 22 26 27 30 33 35 37 42 44 49 50 55 58 61 62 64 72 73 75 78 84 91 96 101 102 104 105 114 115 118 119 123 128 130 131 133 139 144 145 146 149 151 152 159 160 165 167 168 169 170 172 175 179 184 186 188 190 191 193 195 201 203 204 210 211 216 218 219 a 1 5 10 12 13 22 26 27 30 33 35 37 42 44 49 50 55 58 61 62 64 72 73 78 84 91 96 101 102 104 105 110 114 115 118 119 123 128 130 131 133 139 144 145 146 149 151 152 159 160 165 167 168 169 170 172 175 179 184 186 188 190 191 193 195 201 203 204 210 211 216 218 219 a 1 5 10 12 13 22 26 27 30 33 35 37 42 44 49 50 55 58 61 62 64 72 73 78 84 91 96 101 102 104 105 110 114 115 118 119 128 130 131 133 139 144 145 146 149 150 151 152 159 160 165 167 168 169 170 172 175 179 184 186 188 190 191 193 195 201 203 204 210 211 216 218 219 a 1 5 10 12 13 22 26 27 30 33 35 37 42 44 49 50 55 58 61 62 64 72 78 84 91 95 96 101 102 104 105 110 114 115 118 119 128 130 131 133 139 144 145 146 149 150 151 152 159 160 165 167 168 169 170 172 175 179 184 186 188 190 191 193 195 201 203 204 210 211 216 218 219 a 1 5 10 12 13 22 26 27 30 33 35 37 42 44 49 50 55 58 61 62 64 72 78 84 91 95 96 101 102 104 105 110 114 115 118 119 123 130 131 133 139 144 145 146 149 150 151 152 159 160 165 167 168 169 170 172 175 179 184 186 188 190 191 193 195 201 203 204 210 211 216 218 219 a 1 5 10 12 13 22 26 27 30 33 35 37 39 42 44 49 50 55 58 61 62 64 72 78 84 91 95 96 101 102 104 105 110 114 115 118 119 123 130 131 133 139 144 145 149 150 151 152 159 160 165 167 168 169 170 172 175 179 184 186 188 190 191 193 195 201 203 204 210 211 216 218 219 a 1 5 10 12 13 22 26 27 30 33 35 37 39 42 44 49 50 55 58 61 62 64 72 78 84 91 95 96 101 102 104 105 110 114 115 118 119 123 130 131 133 139 144 145 148 149 150 151 152 159 160 165 167 168 169 170 172 175 179 184 186 188 190 191 193 195 203 204 210 211 216 218 219 a 1 5 10 12 13 22 26 27 30 33 35 37 39 42 44 49 50 55 58 61 62 64 72 78 84 91 95 96 101 102 104 105 114 115 118 119 123 128 130 131 133 139 144 145 148 149 150 151 152 159 160 165 167 168 169 170 172 175 179 184 186 188 190 191 193 195 203 204 210 211 216 218 219 a 1 5 10 12 13 22 26 27 30 33 35 37 39 42 44 49 50 55 58 61 62 64 72 75 78 84 91 95 96 101 102 104 105 114 115 118 119 123 128 130 131 133 139 144 145 148 149 151 152 159 160 165 167 168 169 170 172 175 179 184 186 188 190 191 193 195 203 204 210 211 216 218 219 a 1 5 10 12 13 22 26 27 30 33 35 37 39 42 44 49 50 55 58 61 62 64 72 75 78 84 91 92 95 96 101 102 104 105 114 115 118 119 123 128 130 131 133 139 144 145 148 149 151 152 159 160 165 167 169 170 172 175 179 184 186 188 190 191 193 195 203 204 210 211 216 218 219 a 1 5 10 12 13 22 26 27 30 33 35 37 39 42 44 49 50 55 58 61 62 64 72 73 75 78 84 91 92 96 101 102 104 105 114 115 118 119 123 128 130 131 133 139 144 145 148 149 151 152 159 160 165 167 169 170 172 175 179 184 186 188 190 191 193 195 203 204 210 211 216 218 219 a 1 5 10 12 13 22 26 27 30 33 35 37 39 42 44 49 50 55 58 61 62 64 72 73 75 78 84 91 92 96 97 101 102 104 105 114 115 118 123 128 130 131 133 139 144 145 148 149 151 152 159 160 165 167 169 170 172 175 179 184 186 188 190 191 193 195 203 204 210 211 216 218 219 a 1 5 10 12 13 22 26 27 30 33 35 37 39 42 44 49 50 55 58 61 62 64 72 73 75 78 84 91 92 96 97 101 102 104 105 114 115 118 123 128 130 131 133 139 144 145 148 149 151 152 159 160 165 167 169 170 172 175 179 184 186 188 190 191 193 195 202 203 204 210 211 218 219 a 1 5 10 12 13 22 26 27 30 33 35 37 39 42 44 49 50 55 58 61 62 64 72 73 75 78 84 91 92 96 97 101 102 104 105 114 115 118 123 128 130 131 133 139 144 145 149 151 152 159 160 165 167 169 170 172 175 179 184 186 188 190 191 193 195 201 202 203 204 210 211 218 219 a 1 5 10 12 13 22 26 27 30 33 35 37 42 44 49 50 55 58 61 62 64 72 73 75 78 84 91 92 96 97 101 102 104 105 114 115 118 123 128 130 131 133 139 144 145 146 149 151 152 159 160 165 167 169 170 172 175 179 184 186 188 190 191 193 195 201 202 203 204 210 211 218 219 a 1 5 10 12 13 22 26 27 30 33 35 37 42 44 49 50 55 58 61 62 64 72 73 75 78 84 91 92 96 97 101 102 104 105 114 115 123 128 130 131 133 139 144 145 146 149 151 152 159 160 164 165 167 169 170 172 175 179 184 186 188 190 191 193 195 201 202 203 204 210 211 218 219 a 1 5 10 12 13 22 26 27 30 33 35 37 42 44 49 50 55 58 61 62 64 72 73 75 78 84 91 92 96 101 102 104 105 114 115 119 123 128 130 131 133 139 144 145 146 149 151 152 159 160 164 165 167 169 170 172 175 179 184 186 188 190 191 193 195 201 202 203 204 210 211 218 219 a 1 5 10 12 13 16 22 26 27 30 33 35 37 42 44 49 50 55 58 61 62 64 72 73 75 78 84 91 92 96 101 102 104 105 114 115 119 123 128 130 131 133 139 144 145 146 149 151 152 159 160 164 165 167 169 170 172 179 184 186 188 190 191 193 195 201 202 203 204 210 211 218 219 a 1 10 12 13 16 22 26 27 30 33 35 37 42 44 49 50 55 58 61 62 64 66 72 73 75 78 84 91 92 96 101 102 104 105 114 115 119 123 128 130 131 133 139 144 145 146 149 151 152 159 160 164 165 167 169 170 172 179 184 186 188 190 191 193 195 201 202 203 204 210 211 218 219 a 1 10 12 13 16 22 26 27 30 33 35 37 42 44 49 50 55 58 61 62 64 66 72 73 75 78 84 91 96 101 102 104 105 114 115 119 123 128 130 131 133 139 144 145 146 149 151 152 159 160 164 165 167 168 169 170 172 179 184 186 188 190 191 193 195 201 202 203 204 210 211 218 219 a 1 5 10 12 13 16 22 26 27 30 33 35 37 42 44 49 50 55 58 61 62 64 72 73 75 78 84 91 96 101 102 104 105 114 115 119 123 128 130 131 133 139 144 145 146 149 151 152 159 160 164 165 167 168 169 170 172 179 184 186 188 190 191 193 195 201 202 203 204 210 211 218 219 a 1 5 10 12 13 16 22 26 27 30 33 35 37 42 44 49 50 55 58 61 62 64 72 73 75 78 84 90 91 96 101 102 104 105 114 115 119 128 130 131 133 139 144 145 146 149 151 152 159 160 164 165 167 168 169 170 172 179 184 186 188 190 191 193 195 201 202 203 204 210 211 218 219 a 1 10 12 13 16 22 26 27 30 33 35 37 42 44 49 50 55 58 61 62 64 66 72 73 75 78 84 90 91 96 101 102 104 105 114 115 119 128 130 131 133 139 144 145 146 149 151 152 159 160 164 165 167 168 169 170 172 179 184 186 188 190 191 193 195 201 202 203 204 210 211 218 219 a 1 10 12 13 16 22 26 27 30 33 35 37 42 44 49 50 55 58 61 62 64 66 72 73 75 78 84 90 91 96 97 101 102 104 105 114 115 128 130 131 133 139 144 145 146 149 151 152 159 160 164 165 167 168 169 170 172 179 184 186 188 190 191 193 195 201 202 203 204 210 211 218 219 a 1 10 12 13 16 22 26 27 30 33 35 37 42 44 49 50 55 58 61 62 64 66 72 73 75 78 84 90 91 96 97 101 102 104 105 114 115 128 130 131 133 139 144 145 146 149 151 152 154 159 160 164 165 167 168 169 170 172 179 184 186 188 190 191 193 195 201 203 204 210 211 218 219 a 1 5 10 12 13 16 22 26 27 30 33 35 37 42 44 49 50 55 58 61 62 64 72 73 75 78 84 90 91 96 97 101 102 104 105 114 115 128 130 131 133 139 144 145 146 149 151 152 154 159 160 164 165 167 168 169 170 172 179 184 186 188 190 191 193 195 201 203 204 210 211 218 219 a 1 5 10 12 13 16 22 26 27 30 33 35 37 42 44 49 50 55 58 61 62 64 72 75 78 84 90 91 95 96 97 101 102 104 105 114 115 128 130 131 133 139 144 145 146 149 151 152 154 159 160 164 165 167 168 169 170 172 179 184 186 188 190 191 193 195 201 203 204 210 211 218 219 a 1 5 10 12 13 16 22 26 27 30 33 35 37 42 44 49 50 55 58 61 62 72 75 78 84 90 91 95 96 97 101 102 104 105 114 115 128 130 131 133 139 144 145 146 149 151 152 154 159 160 164 165 167 168 169 170 172 179 180 184 186 188 190 191 193 195 201 203 204 210 211 218 219 a 1 5 10 12 13 16 22 26 27 30 33 35 37 42 44 49 50 55 58 61 62 72 75 78 84 90 91 95 96 97 101 102 104 105 114 115 128 130 131 133 139 144 145 146 149 151 152 154 159 164 165 167 168 169 170 172 179 180 184 186 188 190 191 193 195 201 203 204 210 211 215 218 219 a 1 5 10 12 16 22 26 27 30 33 35 37 42 44 49 50 55 58 61 62 72 75 78 84 90 91 95 96 97 101 102 104 105 114 115 128 130 131 133 139 144 145 146 149 151 152 154 159 164 165 167 168 169 170 172 179 180 184 186 188 190 191 193 195 199 201 203 204 210 211 215 218 219 a 1 5 10 12 16 22 26 27 30 33 35 37 42 44 49 50 55 58 61 62 72 75 78 84 90 91 92 95 96 97 101 102 104 105 114 115 128 130 131 133 139 144 145 146 149 151 152 154 159 164 165 167 169 170 172 179 180 184 186 188 190 191 193 195 199 201 203 204 210 211 215 218 219 a 1 5 10 12 16 22 26 27 30 33 35 37 42 44 49 50 55 58 61 62 72 78 84 90 91 92 95 96 97 101 102 104 105 110 114 115 128 130 131 133 139 144 145 146 149 151 152 154 159 164 165 167 169 170 172 179 180 184 186 188 190 191 193 195 199 201 203 204 210 211 215 218 219 a 1 5 10 12 16 22 26 27 30 33 35 37 42 44 49 50 55 58 61 62 72 78 84 90 91 92 95 96 97 101 102 104 105 110 114 115 128 130 131 133 139 144 145 146 147 149 151 152 154 164 165 167 169 170 172 179 180 184 186 188 190 191 193 195 199 201 203 204 210 211 215 218 219 a 1 5 10 12 16 22 26 27 30 33 35 37 42 44 49 50 51 55 58 61 62 72 78 84 90 91 92 95 96 97 101 102 104 105 110 114 115 128 130 131 133 139 144 145 146 147 149 151 152 154 164 165 167 170 172 179 180 184 186 188 190 191 193 195 199 201 203 204 210 211 215 218 219 a 1 5 10 12 22 26 27 30 33 35 37 42 44 49 50 51 55 58 61 62 72 78 84 90 91 92 95 96 97 101 102 104 105 110 114 115 128 130 131 133 139 144 145 146 147 149 150 151 152 154 164 165 167 170 172 179 180 184 186 188 190 191 193 195 199 201 203 204 210 211 215 218 219 a 1 5 10 12 22 26 27 30 35 37 42 44 49 50 51 55 58 61 62 72 78 84 90 91 92 95 96 97 101 102 104 105 110 114 115 128 130 131 133 139 144 145 146 147 149 150 151 152 154 164 165 166 167 170 172 179 180 184 186 188 190 191 193 195 199 201 203 204 210 211 215 218 219 a 1 5 10 12 22 26 27 30 35 37 42 44 49 50 51 55 58 61 62 72 78 84 90 91 92 95 96 97 101 102 104 105 110 114 115 128 130 131 133 139 144 145 146 147 149 150 151 152 164 165 166 167 170 172 179 180 184 186 188 190 191 193 195 199 201 202 203 204 210 211 215 218 219 a 1 5 10 12 22 26 27 30 35 37 42 44 49 50 51 55 58 61 62 72 78 84 90 91 92 95 96 97 101 102 104 105 110 114 115 128 130 131 133 139 144 145 146 147 150 151 152 158 164 165 166 167 170 172 179 180 184 186 188 190 191 193 195 199 201 202 203 204 210 211 215 218 219 a 1 5 10 12 22 26 27 30 35 37 42 44 49 50 51 55 58 61 62 72 78 84 90 91 92 95 96 97 101 102 104 105 110 112 114 115 128 130 131 133 139 144 145 146 147 150 151 152 158 164 165 166 167 170 172 179 180 184 186 188 190 191 193 195 199 201 202 204 210 211 215 218 219 a 1 5 10 12 22 26 27 30 35 37 42 44 49 50 51 55 58 61 62 72 78 84 90 91 92 95 96 97 101 102 104 105 110 112 114 115 128 130 131 135 139 144 145 146 147 150 151 152 158 164 165 166 167 170 172 179 180 184 186 188 190 191 193 195 199 201 202 204 210 211 215 218 219 a 1 5 10 12 22 26 27 30 35 37 41 42 44 49 50 51 55 58 61 62 72 78 84 90 91 92 95 96 97 101 102 104 110 112 114 115 128 130 131 135 139 144 145 146 147 150 151 152 158 164 165 166 167 170 172 179 180 184 186 188 190 191 193 195 199 201 202 204 210 211 215 218 219 a 1 5 10 12 22 26 27 30 35 37 41 42 44 49 50 51 55 58 61 62 72 77 78 84 90 91 92 95 96 97 101 102 104 110 112 114 115 128 130 131 135 139 144 145 146 147 150 151 152 158 164 165 166 167 170 172 179 180 184 186 188 190 191 193 195 199 201 202 210 211 215 218 219 a 1 5 10 12 22 26 27 30 35 37 41 44 49 50 51 55 58 61 62 72 77 78 84 90 91 92 95 96 97 101 102 104 110 112 114 115 128 130 131 135 139 144 145 146 147 150 151 152 158 164 165 166 167 170 172 179 180 184 186 188 190 191 193 195 199 201 202 208 210 211 215 218 219 a 1 5 10 12 22 26 27 30 35 37 41 44 49 50 51 55 58 61 62 72 77 78 84 90 91 92 95 96 97 101 102 104 107 110 112 114 115 128 130 131 135 139 144 145 146 147 150 151 152 158 164 165 166 167 170 172 179 180 184 186 188 190 193 195 199 201 202 208 210 211 215 218 219 a 1 5 10 12 22 26 27 30 35 37 41 44 49 50 51 55 58 61 62 72 77 78 84 90 91 92 95 96 97 101 102 104 107 110 112 114 115 128 130 131 135 136 139 144 145 146 147 150 151 152 158 164 165 166 167 170 172 179 180 184 186 188 190 193 195 199 201 202 208 210 211 215 218 a 1 5 10 12 22 26 27 30 35 37 41 44 49 50 51 55 58 61 62 72 77 78 84 90 91 92 95 96 97 101 102 104 107 110 112 114 115 128 130 131 135 136 139 140 144 145 146 147 150 151 152 158 164 165 166 167 170 172 180 184 186 188 190 193 195 199 201 202 208 210 211 215 218 a 1 5 10 12 22 26 27 30 32 35 37 41 44 49 50 51 55 58 61 62 72 77 78 84 90 91 92 95 96 97 101 102 104 107 110 112 114 115 128 130 131 135 136 139 140 144 145 146 147 150 151 152 158 164 165 166 167 170 172 180 184 186 188 190 193 195 199 201 202 208 211 215 218 a 1 5 10 12 22 26 27 30 32 35 37 41 44 49 50 51 55 58 61 62 65 72 77 78 84 90 91 92 95 96 101 102 104 107 110 112 114 115 128 130 131 135 136 139 140 144 145 146 147 150 151 152 158 164 165 166 167 170 172 180 184 186 188 190 193 195 199 201 202 208 211 215 218 a 1 5 10 12 22 26 27 30 32 35 37 41 44 49 50 51 55 58 61 62 65 72 77 78 84 90 92 95 96 101 102 104 107 110 112 114 115 128 130 131 132 135 136 139 140 144 145 146 147 150 151 152 158 164 165 166 167 170 172 180 184 186 188 190 193 195 199 201 202 208 211 215 218 a 1 5 10 12 22 26 27 30 32 35 37 41 44 49 50 51 55 58 61 62 65 72 77 78 84 90 92 95 96 101 102 104 107 110 112 114 115 128 130 131 132 135 136 139 140 144 145 146 147 150 151 152 158 164 166 167 170 172 173 180 184 186 188 190 193 195 199 201 202 208 211 215 218 a 1 5 10 12 22 26 27 30 32 35 37 41 44 49 50 51 55 58 61 62 65 72 77 78 84 90 92 95 96 101 102 104 107 110 112 114 115 128 130 131 132 135 136 139 140 144 146 147 150 151 152 158 164 166 167 170 172 173 178 180 184 186 188 190 193 195 199 201 202 208 211 215 218 a 1 5 10 12 22 26 27 30 32 35 37 41 44 49 50 51 55 58 61 62 65 72 77 78 84 90 92 95 96 101 102 104 107 110 112 114 115 128 130 131 132 135 136 139 140 144 146 147 150 151 152 158 164 166 170 172 173 178 180 184 186 188 190 193 195 199 201 202 205 208 211 215 218 a 1 5 10 12 22 26 27 30 32 35 37 41 44 50 51 55 58 61 62 65 72 77 78 84 90 92 95 96 101 102 104 107 110 112 114 115 124 128 130 131 132 135 136 139 140 144 146 147 150 151 152 158 164 166 170 172 173 178 180 184 186 188 190 193 195 199 201 202 205 208 211 215 218 a 1 5 10 12 22 27 30 32 35 37 41 44 50 51 55 58 61 62 65 72 77 78 84 90 92 95 96 101 102 104 107 110 112 114 115 124 128 130 131 132 135 136 139 140 144 146 147 150 151 152 158 164 166 170 172 173 176 178 180 184 186 188 190 193 195 199 201 202 205 208 211 215 218 a 1 5 10 12 22 27 30 32 35 37 41 44 50 51 55 58 61 62 65 72 77 78 84 90 92 95 96 101 102 104 107 110 112 114 115 124 127 130 131 132 135 136 139 140 144 146 147 150 151 152 158 164 166 170 172 173 176 178 180 184 186 188 190 193 195 199 201 202 205 208 211 215 218 a 1 5 10 12 22 27 30 32 35 37 41 44 50 51 55 58 61 62 65 72 77 78 84 90 92 95 96 101 102 104 107 110 112 114 115 124 127 131 132 135 136 139 140 144 146 147 150 151 152 158 164 166 170 172 173 176 178 180 184 186 188 190 193 195 196 199 201 202 205 208 211 215 218 a 1 5 10 12 22 27 30 32 35 37 41 44 50 51 55 58 61 65 72 77 78 84 87 90 92 95 96 101 102 104 107 110 112 114 115 124 127 131 132 135 136 139 140 144 146 147 150 151 152 158 164 166 170 172 173 176 178 180 184 186 188 190 193 195 196 199 201 202 205 208 211 215 218 a 1 5 10 12 22 27 30 32 35 37 41 44 50 51 55 58 61 65 72 77 78 84 87 89 90 92 95 96 101 102 104 107 110 112 114 124 127 131 132 135 136 139 140 144 146 147 150 151 152 158 164 166 170 172 173 176 178 180 184 186 188 190 193 195 196 199 201 202 205 208 211 215 218 a 1 5 10 12 22 27 30 32 35 37 40 41 44 50 51 55 58 61 65 72 77 78 84 87 89 90 92 95 96 101 102 104 107 110 112 114 124 127 131 132 135 136 139 140 144 146 147 150 151 152 158 166 170 172 173 176 178 180 184 186 188 190 193 195 196 199 201 202 205 208 211 215 218 a 1 5 10 22 27 30 32 35 37 40 41 44 50 51 55 58 61 65 72 77 78 84 87 89 90 92 95 96 101 102 104 107 110 112 114 124 127 131 132 135 136 139 140 144 146 147 150 151 152 158 166 170 172 173 174 176 178 180 184 186 188 190 193 195 196 199 201 202 205 208 211 215 218 a 1 5 10 22 27 30 32 37 40 41 44 50 51 55 58 61 65 72 77 78 84 87 89 90 92 95 96 101 102 104 107 110 112 114 124 127 131 132 135 136 138 139 140 144 146 147 150 151 152 158 166 170 172 173 174 176 178 180 184 186 188 190 193 195 196 199 201 202 205 208 211 215 218 a 1 5 10 22 27 30 32 37 40 41 44 51 55 58 61 65 72 77 78 84 87 89 90 92 95 96 101 102 104 107 110 112 114 124 127 131 132 135 136 138 139 140 144 146 147 150 151 152 157 158 166 170 172 173 174 176 178 180 184 186 188 190 193 195 196 199 201 202 205 208 211 215 218 a 1 5 10 22 27 30 32 37 40 41 44 51 55 58 61 65 72 77 84 87 89 90 92 94 95 96 101 102 104 107 110 112 114 124 127 131 132 135 136 138 139 140 144 146 147 150 151 152 157 158 166 170 172 173 174 176 178 180 184 186 188 190 193 195 196 199 201 202 205 208 211 215 218 a 1 5 10 22 27 30 32 37 40 41 44 51 55 58 61 65 72 77 84 87 89 90 92 94 95 96 101 102 107 110 112 114 124 127 129 131 132 135 136 138 139 140 144 146 147 150 151 152 157 158 166 170 172 173 174 176 178 180 184 186 188 190 193 195 196 199 201 202 205 208 211 215 218 a 1 5 10 22 27 30 32 37 40 41 51 55 58 61 65 68 72 77 84 87 89 90 92 94 95 96 101 102 107 110 112 114 124 127 129 131 132 135 136 138 139 140 144 146 147 150 151 152 157 158 166 170 172 173 174 176 178 180 184 186 188 190 193 195 196 199 201 202 205 208 211 215 218 c Step: 64 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance017_graph003.col /benchmark/random_instance/random_instance017_graph003_01.dat" User time (seconds): 358.32 System time (seconds): 3.66 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:02.02 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): 13935688 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 4607881 Voluntary context switches: 25 Involuntary context switches: 2748 Swaps: 0 File system inputs: 0 File system outputs: 304 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 13:20:48 2023]