#BEGIN: [Mon Sep 4 14:20:46 2023] #HOST: s12 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance018_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance018_graph005_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_instance018_graph005.col /benchmark/random_instance/random_instance018_graph005_01.dat c /benchmark/random_instance/random_instance018_graph005.col c /benchmark/random_instance/random_instance018_graph005_01.dat *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.093 seconds *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds s 98 132 102 118 133 130 183 43 216 158 114 67 90 74 97 58 68 10 94 167 116 99 16 184 122 103 138 120 33 148 204 209 87 225 25 230 6 20 181 197 45 220 44 206 32 88 149 192 100 60 111 144 91 153 171 24 228 101 63 224 119 189 163 215 95 190 191 179 141 213 50 223 177 3 7 205 t 128 17 88 70 29 100 188 148 9 122 31 51 20 168 199 37 153 224 74 183 147 211 123 221 91 139 178 121 116 149 112 189 106 119 223 102 171 198 140 13 190 33 227 32 203 69 90 215 35 193 3 46 141 210 89 76 54 233 205 129 101 15 120 59 164 110 161 78 231 84 162 114 177 222 138 63 a YES a 3 6 7 10 16 20 24 25 32 33 43 44 45 50 58 60 63 67 68 74 87 88 90 91 94 95 97 98 99 100 101 102 103 111 114 116 118 119 120 122 130 132 133 138 141 144 148 149 153 158 163 167 171 177 179 181 183 184 189 190 191 192 197 204 205 206 209 213 215 216 220 223 224 225 228 230 a 3 6 7 10 16 20 24 25 32 33 43 44 45 50 58 60 63 67 68 74 87 88 90 91 94 95 97 98 99 100 101 102 103 111 113 114 116 118 119 120 122 130 132 133 138 141 144 148 149 153 158 163 167 171 177 179 183 184 189 190 191 192 197 204 205 206 209 213 215 216 220 223 224 225 228 230 a 3 6 7 10 16 20 24 25 32 33 43 44 45 50 58 60 63 67 68 74 87 88 90 91 93 94 95 97 98 99 100 101 102 103 111 113 114 116 118 119 120 122 130 132 133 138 141 144 148 149 153 158 163 167 171 177 179 183 184 189 190 191 192 197 204 205 206 209 213 215 216 220 223 225 228 230 a 3 6 7 10 16 20 24 25 32 33 43 44 45 50 58 60 63 67 68 74 87 88 90 91 93 94 95 97 98 99 100 101 102 103 111 114 116 118 119 120 122 130 132 133 138 141 144 148 149 153 158 163 167 171 177 179 181 183 184 189 190 191 192 197 204 205 206 209 213 215 216 220 223 225 228 230 a 3 6 7 10 16 20 24 25 32 33 43 44 45 50 58 60 63 67 68 74 87 88 90 91 94 95 97 98 99 100 101 102 103 111 114 116 118 119 120 122 130 132 133 138 141 144 148 149 153 158 163 167 171 177 179 181 183 184 189 190 191 192 197 204 205 206 209 213 215 216 220 223 224 225 228 230 a 3 6 7 10 16 20 24 25 32 33 43 44 45 50 58 60 63 67 68 74 87 88 90 91 94 95 97 98 99 100 101 102 103 111 113 114 116 118 119 120 122 130 132 133 138 141 144 148 149 153 158 163 167 171 177 179 183 184 189 190 191 192 197 204 205 206 209 213 215 216 220 223 224 225 228 230 a 3 6 7 10 16 20 24 25 32 33 43 44 45 50 58 60 63 67 68 74 87 88 90 91 93 94 95 97 98 99 100 101 102 103 111 113 114 116 118 119 120 122 130 132 133 138 141 144 148 149 153 158 163 167 171 177 179 183 184 189 190 191 192 197 204 205 206 209 213 215 216 220 223 225 228 230 a 3 6 7 10 16 20 24 25 32 33 43 44 45 50 58 60 63 67 68 74 87 88 90 91 93 94 95 97 98 99 100 101 102 103 111 114 116 118 119 120 122 130 132 133 138 141 144 148 149 153 158 163 167 171 177 179 181 183 184 189 190 191 192 197 204 205 206 209 213 215 216 220 223 225 228 230 a 3 6 7 10 16 20 24 25 32 33 43 44 45 50 58 60 63 67 68 74 87 88 90 91 94 95 97 98 99 100 101 102 103 111 114 116 118 119 120 122 130 132 133 138 141 144 148 149 153 158 163 167 171 177 179 181 183 184 189 190 191 192 197 204 205 206 209 213 215 216 220 223 224 225 228 230 a 3 6 7 10 16 20 24 25 32 33 43 44 45 50 58 60 63 67 68 74 87 88 90 91 94 95 97 98 99 100 101 102 103 111 113 114 116 118 119 120 122 130 132 133 138 141 144 148 149 153 158 163 167 171 177 179 183 184 189 190 191 192 197 204 205 206 209 213 215 216 220 223 224 225 228 230 a 3 6 7 10 16 20 24 25 32 33 43 44 45 50 58 60 63 67 68 74 87 88 90 91 94 95 97 99 100 101 102 103 111 113 114 116 118 119 120 122 130 132 133 138 141 144 148 149 153 158 163 166 167 171 177 179 183 184 189 190 191 192 197 204 205 206 209 213 215 216 220 223 224 225 228 230 a 3 6 7 10 16 20 24 25 32 33 43 44 45 50 58 60 63 67 68 74 87 88 90 91 93 94 95 97 99 100 101 102 103 111 113 114 116 118 119 120 122 130 132 133 138 141 144 148 149 153 158 163 166 167 171 177 179 183 184 189 190 191 192 197 204 205 206 209 213 215 216 220 223 225 228 230 a 3 6 7 10 16 20 24 25 32 33 43 44 45 50 58 60 63 67 68 74 87 88 90 91 93 94 95 97 98 99 100 101 102 103 111 113 114 116 118 119 120 122 130 132 133 138 141 144 148 149 153 158 163 167 171 177 179 183 184 189 190 191 192 197 204 205 206 209 213 215 216 220 223 225 228 230 a 3 6 10 16 20 24 25 32 33 43 44 45 50 58 60 63 67 68 74 87 88 90 91 93 94 95 97 98 99 100 101 102 103 111 113 114 116 118 119 120 122 130 132 133 138 141 144 148 149 153 158 163 167 171 175 177 179 183 184 189 190 191 192 197 204 205 206 209 213 215 216 220 223 225 228 230 a 3 6 10 16 20 24 25 32 33 43 44 45 49 50 58 60 63 67 68 74 87 88 91 93 94 95 97 98 99 100 101 102 103 111 113 114 116 118 119 120 122 130 132 133 138 141 144 148 149 153 158 163 167 171 175 177 179 183 184 189 190 191 192 197 204 205 206 209 213 215 216 220 223 225 228 230 a 3 6 7 10 16 20 24 25 32 33 43 44 45 49 50 58 60 63 67 68 74 87 88 91 93 94 95 97 98 99 100 101 102 103 111 113 114 116 118 119 120 122 130 132 133 138 141 144 148 149 153 158 163 167 171 175 177 179 183 184 189 190 191 197 204 205 206 209 213 215 216 220 223 225 228 230 a 3 6 7 10 16 20 24 25 32 33 43 44 45 50 58 60 63 67 68 74 87 88 90 91 93 94 95 97 98 99 100 101 102 103 111 113 114 116 118 119 120 122 130 132 133 138 141 144 148 149 153 158 163 167 171 175 177 179 183 184 189 190 191 197 204 205 206 209 213 215 216 220 223 225 228 230 a 3 6 7 10 16 20 24 25 32 33 43 44 45 50 58 60 63 67 68 74 87 88 90 91 93 94 95 97 98 99 100 101 102 103 111 113 114 116 118 119 120 122 130 133 138 141 144 148 149 153 158 163 167 171 175 177 178 179 183 184 189 190 191 197 204 205 206 209 213 215 216 220 223 225 228 230 a 3 6 7 10 16 20 24 25 32 33 43 44 45 50 58 60 63 67 68 74 87 88 89 90 91 93 94 95 97 98 99 100 101 102 103 111 113 114 116 118 119 120 122 130 133 138 141 144 148 149 153 158 163 167 171 175 177 178 179 183 189 190 191 197 204 205 206 209 213 215 216 220 223 225 228 230 a 3 6 7 10 16 20 24 32 33 43 44 45 50 58 60 63 67 68 74 87 88 89 90 91 93 94 95 97 98 99 100 101 102 103 111 113 114 116 118 119 120 122 130 133 138 141 144 148 149 153 158 163 164 167 171 175 177 178 179 183 189 190 191 197 204 205 206 209 213 215 216 220 223 225 228 230 a 3 6 7 10 20 24 32 33 43 44 45 50 58 60 63 67 68 74 87 88 89 90 91 93 94 95 97 98 99 100 101 102 103 111 113 114 116 118 119 120 122 130 133 138 141 144 148 149 153 158 163 164 167 171 175 177 178 179 183 188 189 190 191 197 204 205 206 209 213 215 216 220 223 225 228 230 a 3 6 7 10 17 20 24 32 33 43 44 45 50 58 60 63 67 68 74 87 88 89 90 91 93 94 95 97 98 99 100 101 102 103 111 113 114 116 118 119 120 122 130 133 138 141 144 148 149 153 158 163 164 167 171 175 177 178 179 183 188 189 190 191 197 204 205 206 209 213 215 220 223 225 228 230 a 3 6 7 10 17 20 24 32 33 43 44 45 50 58 60 63 67 68 74 87 88 89 90 91 94 95 97 98 99 100 101 102 103 110 111 113 114 116 118 119 120 122 130 133 138 141 144 148 149 153 158 163 164 167 171 175 177 178 179 183 188 189 190 191 197 204 205 206 209 213 215 220 223 225 228 230 a 3 6 7 10 17 20 24 32 33 43 44 45 50 58 60 63 67 68 74 84 87 88 89 90 91 94 95 97 98 99 100 101 102 103 110 111 113 114 116 118 119 120 122 130 133 138 141 144 148 149 153 158 163 164 167 171 175 177 178 179 183 188 189 190 197 204 205 206 209 213 215 220 223 225 228 230 a 3 6 7 10 17 20 24 32 33 43 44 45 50 58 60 63 68 74 84 87 88 89 90 91 94 95 97 98 99 100 101 102 103 106 110 111 113 114 116 118 119 120 122 130 133 138 141 144 148 149 153 158 163 164 167 171 175 177 178 179 183 188 189 190 197 204 205 206 209 213 215 220 223 225 228 230 a 3 6 7 10 15 17 20 24 32 33 43 44 45 50 58 60 63 68 74 84 87 88 89 90 91 94 95 97 98 99 100 101 102 103 106 110 111 113 114 116 118 119 120 122 130 138 141 144 148 149 153 158 163 164 167 171 175 177 178 179 183 188 189 190 197 204 205 206 209 213 215 220 223 225 228 230 a 3 6 7 10 15 17 20 24 32 33 43 44 45 50 58 60 63 68 74 84 87 88 89 90 91 94 95 97 98 99 100 101 102 103 106 110 111 113 114 116 118 119 120 122 130 138 141 144 148 149 153 158 163 164 167 168 171 175 177 178 179 183 188 189 190 197 204 205 206 209 213 215 220 223 225 230 a 3 6 7 10 15 17 20 24 32 33 43 44 45 50 58 59 60 63 68 74 84 87 88 89 90 91 94 95 97 98 99 100 101 102 103 106 110 111 113 114 116 118 119 120 122 130 138 141 144 148 149 153 158 163 164 167 168 171 175 177 178 179 183 188 189 190 204 205 206 209 213 215 220 223 225 230 a 3 6 7 10 15 17 20 24 32 33 43 44 45 50 58 59 60 63 68 74 84 87 88 89 90 91 94 97 98 99 100 101 102 103 106 110 111 113 114 116 118 119 120 122 123 130 138 141 144 148 149 153 158 163 164 167 168 171 175 177 178 179 183 188 189 190 204 205 206 209 213 215 220 223 225 230 a 3 6 7 10 15 17 20 24 32 33 43 44 45 50 58 59 60 63 68 74 84 87 88 89 90 91 94 97 98 99 100 101 102 103 106 110 111 113 114 116 118 119 120 122 123 130 138 141 144 148 149 153 158 163 164 167 168 171 175 177 178 179 183 188 189 190 204 205 206 213 215 220 223 225 230 231 a 3 6 7 10 15 17 20 24 32 33 43 44 45 46 50 58 59 60 63 68 74 84 87 88 89 90 91 94 97 98 99 100 101 102 103 106 110 111 113 114 116 118 119 120 122 123 130 138 141 144 148 149 153 158 163 164 168 171 175 177 178 179 183 188 189 190 204 205 206 213 215 220 223 225 230 231 a 3 6 7 10 15 17 20 24 32 33 43 44 45 46 50 58 59 60 63 68 74 84 87 88 89 90 91 94 97 98 99 100 101 102 103 106 110 111 113 114 116 118 119 120 122 123 130 138 141 144 148 149 153 158 163 164 168 171 177 178 179 183 188 189 190 204 205 206 213 215 220 223 224 225 230 231 a 3 6 7 10 15 17 20 24 32 33 43 44 45 46 50 58 59 60 63 68 74 84 87 88 89 90 91 94 97 98 99 100 101 102 103 106 110 111 113 114 116 118 119 120 122 123 138 141 144 148 149 153 158 163 164 168 171 177 178 179 183 188 189 190 198 204 205 206 213 215 220 223 224 225 230 231 a 3 6 7 10 15 17 20 24 32 33 43 44 45 46 50 58 59 60 63 68 74 84 87 88 89 90 91 94 97 98 99 100 101 102 103 106 110 111 113 114 116 118 119 120 122 123 138 141 144 148 149 153 158 163 164 168 171 177 178 179 183 188 189 190 198 205 206 213 215 220 223 224 225 227 230 231 a 3 6 7 15 17 20 24 32 33 43 44 45 46 50 58 59 60 63 68 74 84 87 88 89 90 91 94 97 98 99 100 101 102 103 106 110 111 113 114 116 118 119 120 122 123 138 141 144 148 149 153 158 163 164 168 171 177 178 179 183 188 189 190 198 205 206 213 215 220 222 223 224 225 227 230 231 a 3 6 7 15 17 20 24 32 33 37 43 44 45 46 50 58 59 60 63 68 74 84 87 88 89 90 91 94 97 98 99 100 101 102 103 106 110 111 113 114 116 118 119 120 122 123 138 141 144 148 149 153 158 163 164 168 171 177 178 179 183 188 189 190 198 205 206 215 220 222 223 224 225 227 230 231 a 3 6 15 17 20 24 29 32 33 37 43 44 45 46 50 58 59 60 63 68 74 84 87 88 89 90 91 94 97 98 99 100 101 102 103 106 110 111 113 114 116 118 119 120 122 123 138 141 144 148 149 153 158 163 164 168 171 177 178 179 183 188 189 190 198 205 206 215 220 222 223 224 225 227 230 231 a 3 6 15 17 20 24 29 32 33 37 43 44 45 46 50 58 59 60 63 68 74 84 87 88 89 90 91 94 97 98 99 100 101 102 103 106 110 111 113 114 116 118 119 120 122 123 138 141 144 148 149 153 158 163 164 168 171 177 178 179 183 188 189 190 198 203 205 206 215 220 222 223 224 225 227 231 a 3 6 15 17 20 24 29 32 33 37 43 44 45 46 50 58 59 60 63 68 74 84 88 89 90 91 94 97 98 99 100 101 102 103 106 110 111 113 114 116 118 119 120 122 123 138 141 144 148 149 153 158 163 164 168 171 177 178 179 183 188 189 190 193 198 203 205 206 215 220 222 223 224 225 227 231 a 3 6 15 17 20 24 29 32 33 35 37 43 44 45 46 50 58 59 60 63 68 74 84 88 89 90 91 94 97 98 99 100 101 102 103 106 110 111 113 114 116 118 119 120 122 123 138 141 144 148 149 153 158 163 164 168 171 177 178 179 183 188 189 190 193 198 203 205 215 220 222 223 224 225 227 231 a 3 6 15 17 20 24 29 32 33 35 37 43 44 45 46 50 58 59 60 63 68 74 84 88 89 90 91 94 97 98 99 100 101 102 103 106 110 111 113 114 116 119 120 122 123 138 141 144 148 149 153 158 163 164 168 171 177 178 179 183 188 189 190 193 198 203 205 215 220 221 222 223 224 225 227 231 a 3 6 15 17 20 24 29 32 33 35 37 43 44 45 46 58 59 60 63 68 74 84 88 89 90 91 94 97 98 99 100 101 102 103 106 110 111 113 114 116 119 120 122 123 129 138 141 144 148 149 153 158 163 164 168 171 177 178 179 183 188 189 190 193 198 203 205 215 220 221 222 223 224 225 227 231 a 3 6 15 17 20 24 29 32 33 35 37 43 44 45 46 58 59 60 63 68 70 74 84 88 89 90 91 94 97 98 99 100 101 102 103 106 110 113 114 116 119 120 122 123 129 138 141 144 148 149 153 158 163 164 168 171 177 178 179 183 188 189 190 193 198 203 205 215 220 221 222 223 224 225 227 231 a 3 6 15 17 20 24 29 32 33 35 37 43 44 45 46 58 59 60 63 68 70 74 84 88 89 90 91 94 97 99 100 101 102 103 106 110 113 114 116 119 120 122 123 129 138 141 144 148 149 153 158 162 163 164 168 171 177 178 179 183 188 189 190 193 198 203 205 215 220 221 222 223 224 225 227 231 a 3 6 15 17 20 24 29 32 33 35 37 43 44 46 58 59 60 63 68 70 74 84 88 89 90 91 94 97 99 100 101 102 103 106 110 113 114 116 119 120 122 123 129 138 141 144 148 149 153 158 162 163 164 168 171 177 178 179 183 188 189 190 193 198 203 205 211 215 220 221 222 223 224 225 227 231 a 3 6 15 17 20 24 29 32 33 35 37 43 44 46 54 58 59 60 63 68 70 74 84 88 89 90 91 97 99 100 101 102 103 106 110 113 114 116 119 120 122 123 129 138 141 144 148 149 153 158 162 163 164 168 171 177 178 179 183 188 189 190 193 198 203 205 211 215 220 221 222 223 224 225 227 231 a 3 6 15 17 20 24 29 32 33 35 37 43 44 46 54 59 60 63 68 70 74 84 88 89 90 91 97 99 100 101 102 103 106 110 113 114 116 119 120 122 123 129 138 141 144 148 149 153 158 162 163 164 168 171 177 178 179 183 188 189 190 193 198 203 205 211 215 220 221 222 223 224 225 227 231 233 a 3 6 15 17 20 24 29 32 33 35 37 43 44 46 54 59 60 63 68 70 74 84 88 89 90 91 97 99 100 101 102 103 106 110 113 114 116 119 120 122 123 129 138 141 144 148 149 153 162 163 164 168 171 177 178 179 183 188 189 190 193 198 199 203 205 211 215 220 221 222 223 224 225 227 231 233 a 3 6 15 17 20 24 29 32 33 35 37 43 46 54 59 60 63 68 70 74 84 88 89 90 91 97 99 100 101 102 103 106 110 113 114 116 119 120 122 123 128 129 138 141 144 148 149 153 162 163 164 168 171 177 178 179 183 188 189 190 193 198 199 203 205 211 215 220 221 222 223 224 225 227 231 233 a 3 6 15 17 20 24 29 32 33 35 37 43 46 54 59 60 63 68 70 74 84 88 89 90 91 97 100 101 102 103 106 110 113 114 116 119 120 122 123 128 129 138 141 144 148 149 153 161 162 163 164 168 171 177 178 179 183 188 189 190 193 198 199 203 205 211 215 220 221 222 223 224 225 227 231 233 a 3 6 15 17 20 24 29 32 33 35 37 46 54 59 60 63 68 70 74 78 84 88 89 90 91 97 100 101 102 103 106 110 113 114 116 119 120 122 123 128 129 138 141 144 148 149 153 161 162 163 164 168 171 177 178 179 183 188 189 190 193 198 199 203 205 211 215 220 221 222 223 224 225 227 231 233 a 3 6 15 17 20 24 29 32 33 35 37 46 54 59 60 63 68 70 74 78 84 88 89 90 91 97 100 101 102 103 106 110 113 114 116 119 120 121 122 123 128 129 138 141 144 148 149 153 161 162 163 164 168 171 177 178 179 183 188 189 190 193 198 199 203 205 211 215 221 222 223 224 225 227 231 233 a 3 6 15 17 20 24 29 32 33 35 37 46 51 54 59 60 63 68 70 74 78 84 88 89 90 91 100 101 102 103 106 110 113 114 116 119 120 121 122 123 128 129 138 141 144 148 149 153 161 162 163 164 168 171 177 178 179 183 188 189 190 193 198 199 203 205 211 215 221 222 223 224 225 227 231 233 a 3 6 15 17 20 24 29 32 33 35 37 46 51 54 59 60 63 68 70 74 76 78 84 88 89 90 91 100 101 102 103 106 110 114 116 119 120 121 122 123 128 129 138 141 144 148 149 153 161 162 163 164 168 171 177 178 179 183 188 189 190 193 198 199 203 205 211 215 221 222 223 224 225 227 231 233 a 3 6 15 17 20 24 29 32 33 35 37 46 51 54 59 60 63 68 70 74 76 78 84 88 89 90 91 100 101 102 103 106 110 114 116 119 120 121 122 123 128 129 138 141 144 147 148 149 153 161 162 163 164 168 171 177 178 183 188 189 190 193 198 199 203 205 211 215 221 222 223 224 225 227 231 233 a 3 6 13 15 17 20 24 29 32 33 35 37 46 51 54 59 60 63 68 70 74 76 78 84 88 89 90 91 100 101 102 106 110 114 116 119 120 121 122 123 128 129 138 141 144 147 148 149 153 161 162 163 164 168 171 177 178 183 188 189 190 193 198 199 203 205 211 215 221 222 223 224 225 227 231 233 a 3 13 15 17 20 24 29 31 32 33 35 37 46 51 54 59 60 63 68 70 74 76 78 84 88 89 90 91 100 101 102 106 110 114 116 119 120 121 122 123 128 129 138 141 144 147 148 149 153 161 162 163 164 168 171 177 178 183 188 189 190 193 198 199 203 205 211 215 221 222 223 224 225 227 231 233 a 3 13 15 17 20 29 31 32 33 35 37 46 51 54 59 60 63 68 69 70 74 76 78 84 88 89 90 91 100 101 102 106 110 114 116 119 120 121 122 123 128 129 138 141 144 147 148 149 153 161 162 163 164 168 171 177 178 183 188 189 190 193 198 199 203 205 211 215 221 222 223 224 225 227 231 233 a 3 13 15 17 20 29 31 32 33 35 37 46 51 54 59 60 63 68 69 70 74 76 78 84 88 89 90 91 100 101 102 106 110 114 116 119 120 121 122 123 128 129 138 140 141 144 147 148 149 153 161 162 163 164 168 171 177 178 183 188 189 190 193 198 199 203 205 211 215 221 222 223 224 227 231 233 a 3 13 15 17 20 29 31 32 33 35 37 46 51 54 59 60 63 69 70 74 76 78 84 88 89 90 91 100 101 102 106 110 114 116 119 120 121 122 123 128 129 138 140 141 144 147 148 149 153 161 162 163 164 168 171 177 178 183 188 189 190 193 198 199 203 205 210 211 215 221 222 223 224 227 231 233 a 3 13 15 17 20 29 31 32 33 35 37 46 51 54 59 60 63 69 70 74 76 78 84 88 89 90 91 100 101 102 106 110 112 114 116 119 120 121 122 123 128 129 138 140 141 144 147 148 149 153 161 162 164 168 171 177 178 183 188 189 190 193 198 199 203 205 210 211 215 221 222 223 224 227 231 233 a 3 9 13 15 17 20 29 31 32 33 35 37 46 51 54 59 63 69 70 74 76 78 84 88 89 90 91 100 101 102 106 110 112 114 116 119 120 121 122 123 128 129 138 140 141 144 147 148 149 153 161 162 164 168 171 177 178 183 188 189 190 193 198 199 203 205 210 211 215 221 222 223 224 227 231 233 a 3 9 13 15 17 20 29 31 32 33 35 37 46 51 54 59 63 69 70 74 76 78 84 88 89 90 91 100 101 102 106 110 112 114 116 119 120 121 122 123 128 129 138 139 140 141 147 148 149 153 161 162 164 168 171 177 178 183 188 189 190 193 198 199 203 205 210 211 215 221 222 223 224 227 231 233 c Step: 62 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance018_graph005.col /benchmark/random_instance/random_instance018_graph005_01.dat" User time (seconds): 1012.24 System time (seconds): 8.69 Percent of CPU this job got: 279% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:05.00 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): 25446256 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 8080362 Voluntary context switches: 409185 Involuntary context switches: 2545 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 14:26:52 2023]