#BEGIN: [Tue Sep 26 01:42:02 2023] #HOST: s11 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance018_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance018_graph002_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_graph002.col /benchmark/random_instance/random_instance018_graph002_01.dat c /benchmark/random_instance/random_instance018_graph002.col c /benchmark/random_instance/random_instance018_graph002_01.dat *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.074 seconds *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds s 199 178 90 45 183 26 52 222 113 91 106 111 60 145 56 68 234 46 192 43 128 85 170 59 19 165 89 119 131 104 110 122 157 65 75 20 132 28 10 44 77 154 190 159 30 177 4 155 72 207 179 31 174 37 136 98 200 167 193 163 218 142 114 162 23 79 95 41 67 208 152 151 76 138 15 195 87 121 t 63 225 140 60 181 131 215 208 128 187 143 56 66 24 153 177 135 144 88 193 152 229 30 21 23 222 121 230 173 113 164 7 17 167 36 125 150 48 95 154 106 194 67 122 195 217 151 46 98 110 12 158 85 223 15 171 120 157 78 90 72 119 92 52 138 64 59 29 207 174 37 114 74 200 49 6 136 45 a YES a 4 10 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 56 59 60 65 67 68 72 75 76 77 79 85 87 89 90 91 95 98 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 162 163 165 167 170 174 177 178 179 183 190 192 193 195 199 200 207 208 218 222 234 a 4 10 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 56 59 60 65 67 68 72 75 76 77 79 85 87 89 90 91 98 104 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 151 152 154 155 157 159 162 163 165 167 170 174 177 178 179 183 190 192 193 195 199 200 207 208 218 222 234 a 4 10 15 19 20 23 26 28 30 31 37 39 41 43 44 45 46 52 56 59 60 65 67 68 72 75 76 77 79 85 87 89 90 91 98 104 106 110 111 113 114 121 122 128 130 131 132 136 138 142 145 151 152 154 155 157 159 162 163 165 167 170 174 177 178 179 183 190 192 193 195 199 200 207 208 218 222 234 a 4 10 15 19 20 23 26 28 30 31 37 39 41 43 44 45 46 52 56 59 60 65 67 68 72 75 76 77 79 85 87 89 90 91 95 98 104 106 110 111 113 114 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 162 163 165 167 170 174 177 178 179 183 190 192 193 195 199 200 207 208 218 222 234 a 4 10 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 56 59 60 65 67 68 72 75 76 77 79 85 87 89 90 91 95 98 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 162 163 165 167 170 174 177 178 179 183 190 192 193 195 199 200 207 208 218 222 234 a 4 10 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 56 59 60 65 67 68 72 75 76 77 79 85 87 89 90 91 98 104 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 151 152 154 155 157 159 162 163 165 167 170 174 177 178 179 183 190 192 193 195 199 200 207 208 218 222 234 a 4 10 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 56 59 60 65 67 68 72 75 76 77 79 85 87 89 90 91 98 104 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 151 152 154 155 157 159 162 163 165 167 173 174 177 178 179 183 190 192 193 195 199 200 207 208 218 222 234 a 4 10 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 59 60 65 67 68 72 75 76 77 79 85 87 89 90 91 98 104 106 110 111 113 114 119 121 122 128 130 131 132 136 138 142 145 151 152 154 155 157 159 162 163 165 167 173 174 177 178 179 183 190 192 193 195 199 200 201 207 208 218 222 234 a 4 10 15 19 20 23 26 28 30 31 37 39 41 43 44 45 46 52 59 60 65 67 68 72 75 76 77 79 85 87 89 90 91 98 104 106 110 111 113 114 121 122 128 130 131 132 136 138 142 145 151 152 154 155 157 159 162 163 165 167 173 174 177 178 179 183 190 192 193 195 199 200 201 207 208 218 222 234 a 4 10 15 19 20 23 26 28 30 31 37 39 41 43 44 45 46 52 59 60 65 67 68 72 75 76 77 79 85 87 89 90 91 98 99 104 106 110 111 113 114 121 122 128 130 131 132 136 138 142 145 151 152 154 155 157 159 162 163 165 167 173 174 177 178 183 190 192 193 195 199 200 201 207 208 218 222 234 a 4 10 15 19 20 23 26 28 30 31 37 39 41 43 44 45 46 52 59 60 65 67 68 72 75 76 77 79 85 87 89 90 91 98 99 104 106 110 111 113 114 121 122 128 130 131 132 136 138 142 145 151 152 154 155 157 159 162 163 165 167 173 174 177 178 183 190 192 193 195 199 200 201 207 208 218 222 228 a 4 10 15 19 20 23 26 28 30 31 37 39 41 43 44 45 46 52 59 60 65 67 68 72 75 76 77 79 83 85 87 89 90 91 98 99 104 106 110 111 113 114 121 122 130 131 132 136 138 142 145 151 152 154 155 157 159 162 163 165 167 173 174 177 178 183 190 192 193 195 199 200 201 207 208 218 222 228 a 4 10 15 19 20 23 26 28 30 31 37 39 41 43 44 45 46 52 59 60 65 67 68 72 75 76 77 79 83 84 85 87 89 90 91 98 99 104 106 110 111 113 114 121 122 130 131 132 136 142 145 151 152 154 155 157 159 162 163 165 167 173 174 177 178 183 190 192 193 195 199 200 201 207 208 218 222 228 a 1 4 10 15 19 20 23 26 28 30 31 37 39 41 43 44 45 46 52 59 60 65 67 68 75 76 77 79 83 84 85 87 89 90 91 98 99 104 106 110 111 113 114 121 122 130 131 132 136 142 145 151 152 154 155 157 159 162 163 165 167 173 174 177 178 183 190 192 193 195 199 200 201 207 208 218 222 228 a 1 4 10 15 19 20 23 26 28 30 31 37 39 41 43 44 45 46 52 59 60 65 67 68 75 76 77 79 83 84 85 87 89 90 91 97 98 99 104 106 110 111 113 114 121 122 130 131 132 136 142 145 151 152 154 155 157 159 162 163 165 167 173 174 177 178 183 190 192 193 195 199 200 201 207 218 222 228 a 1 4 10 15 19 20 23 26 28 30 31 37 39 41 43 44 45 46 52 59 60 65 67 68 75 76 77 79 81 83 85 87 89 90 91 97 98 99 104 106 110 111 113 114 121 122 130 131 132 136 142 145 151 152 154 155 157 159 162 163 165 167 173 174 177 178 183 190 192 193 195 199 200 201 207 218 222 228 a 1 4 10 15 19 20 23 26 28 30 31 37 39 41 43 44 45 46 52 59 60 65 67 68 75 76 77 79 81 83 85 87 89 90 91 97 98 99 104 106 110 111 113 114 121 122 130 131 132 136 142 145 151 152 154 155 159 162 163 165 167 173 174 177 178 183 190 192 193 195 199 200 201 205 207 218 222 228 a 1 4 10 15 19 20 23 26 28 30 31 37 39 41 43 44 45 46 52 59 60 65 67 68 75 76 77 79 81 83 85 87 89 90 91 97 98 99 104 106 111 113 114 121 122 130 131 132 136 142 145 147 151 152 154 155 159 162 163 165 167 173 174 177 178 183 190 192 193 195 199 200 201 205 207 218 222 228 a 1 4 10 15 19 20 23 26 28 30 31 37 39 41 43 44 45 46 52 59 60 65 67 68 75 76 77 79 81 83 85 87 89 90 91 97 98 99 104 106 111 113 114 121 122 130 131 132 136 142 145 147 151 152 154 155 159 162 163 165 167 172 173 174 177 178 183 192 193 195 199 200 201 205 207 218 222 228 a 1 4 10 15 19 20 23 26 28 30 31 37 39 41 43 44 45 46 52 59 60 65 67 68 75 76 77 79 81 83 85 87 89 90 91 97 98 99 104 106 110 111 113 114 121 122 130 131 132 136 142 145 151 152 154 155 159 162 163 165 167 172 173 174 177 178 183 192 193 195 199 200 201 205 207 218 222 228 a 1 4 10 15 19 20 23 26 28 30 31 37 39 41 43 44 45 46 52 56 59 60 65 67 68 75 76 77 79 81 83 85 87 89 90 91 97 98 99 104 106 110 111 113 114 121 122 130 131 132 136 142 145 151 152 154 155 159 162 163 165 167 172 173 174 177 178 183 192 193 195 199 200 205 207 218 222 228 a 1 4 10 15 19 20 23 26 28 30 37 39 41 43 44 45 46 52 56 59 60 65 67 68 75 76 77 79 81 83 85 87 89 90 91 97 98 99 104 106 110 111 113 114 121 122 130 131 132 136 142 145 151 152 154 155 159 162 163 165 167 172 173 174 177 178 183 192 193 195 199 200 205 207 218 222 223 228 a 1 4 15 19 20 23 26 28 30 37 39 41 43 44 45 46 52 56 59 60 65 67 68 75 76 77 79 81 83 85 87 89 90 91 97 98 99 104 106 110 111 113 114 121 122 130 131 132 136 142 145 151 152 154 155 159 162 163 165 167 172 173 174 177 178 183 192 193 195 199 200 205 207 218 222 223 228 230 a 1 4 15 19 20 23 26 28 30 37 39 41 43 44 45 46 52 56 59 60 64 65 67 68 75 76 77 79 81 83 85 87 89 90 91 97 98 99 104 106 110 111 113 114 121 122 130 131 132 136 145 151 152 154 155 159 162 163 165 167 172 173 174 177 178 183 192 193 195 199 200 205 207 218 222 223 228 230 a 1 4 7 15 19 20 23 26 28 30 37 39 41 43 44 45 46 52 56 59 60 64 65 67 68 75 76 77 79 81 83 85 87 89 90 91 97 98 99 104 106 110 111 113 114 121 122 130 131 132 136 145 151 152 154 155 159 162 163 165 167 172 173 174 177 178 192 193 195 199 200 205 207 218 222 223 228 230 a 1 4 7 15 19 20 23 26 28 30 37 39 41 43 44 45 46 52 56 59 60 64 65 67 68 75 76 77 79 81 83 85 87 89 90 91 97 98 99 104 106 110 111 113 114 120 121 122 131 132 136 145 151 152 154 155 159 162 163 165 167 172 173 174 177 178 192 193 195 199 200 205 207 218 222 223 228 230 a 4 7 15 19 20 23 26 28 30 37 39 41 43 44 45 46 52 56 59 60 64 65 67 68 72 75 76 77 79 81 83 85 87 89 90 91 97 98 99 104 106 110 111 113 114 120 121 122 131 132 136 145 151 152 154 155 159 162 163 165 167 172 173 174 177 178 192 193 195 199 200 205 207 218 222 223 228 230 a 4 7 15 19 20 23 26 28 30 37 39 41 43 44 45 46 52 56 59 60 64 65 67 68 72 75 76 77 78 79 81 83 85 87 89 90 91 97 98 99 104 106 110 111 113 114 120 121 122 131 132 136 145 151 152 154 159 162 163 165 167 172 173 174 177 178 192 193 195 199 200 205 207 218 222 223 228 230 a 4 7 15 19 20 23 26 28 30 37 39 41 43 44 45 46 52 56 59 60 64 65 67 68 72 75 76 77 78 79 81 83 85 87 89 90 91 95 97 98 99 106 110 111 113 114 120 121 122 131 132 136 145 151 152 154 159 162 163 165 167 172 173 174 177 178 192 193 195 199 200 205 207 218 222 223 228 230 a 4 7 15 19 20 23 26 28 30 37 39 41 43 44 45 46 49 52 56 59 60 64 65 67 68 72 76 77 78 79 81 83 85 87 89 90 91 95 97 98 99 106 110 111 113 114 120 121 122 131 132 136 145 151 152 154 159 162 163 165 167 172 173 174 177 178 192 193 195 199 200 205 207 218 222 223 228 230 a 4 7 15 19 20 23 26 28 30 37 39 41 43 44 45 46 49 52 56 59 60 64 65 67 68 72 76 77 78 79 81 83 85 87 89 90 91 95 97 98 99 106 110 111 113 114 120 121 122 131 132 136 145 151 152 154 159 162 163 165 167 172 173 174 177 178 192 193 195 199 200 207 215 218 222 223 228 230 a 4 7 15 19 20 23 26 28 30 37 39 41 43 45 46 49 52 56 59 60 64 65 67 68 72 76 77 78 79 81 83 85 87 89 90 91 95 97 98 99 106 110 111 113 114 120 121 122 131 132 136 145 151 152 154 159 162 163 164 165 167 172 173 174 177 178 192 193 195 199 200 207 215 218 222 223 228 230 a 4 7 15 19 20 23 26 28 30 37 39 41 43 45 46 49 52 56 59 60 64 65 67 68 72 76 77 78 79 81 83 85 87 89 90 91 95 97 98 99 106 110 111 113 114 120 121 122 131 132 136 145 151 152 154 159 162 163 164 165 167 173 174 177 178 192 193 195 199 200 207 215 217 218 222 223 228 230 a 4 7 15 19 20 23 26 28 30 37 39 41 45 46 49 52 56 59 60 64 65 67 68 72 76 77 78 79 81 83 85 87 89 90 91 95 97 98 99 106 110 111 113 114 120 121 122 131 132 136 145 151 152 154 159 162 163 164 165 167 171 173 174 177 178 192 193 195 199 200 207 215 217 218 222 223 228 230 a 4 7 15 19 20 23 26 28 30 37 39 41 45 46 49 52 56 59 60 64 65 67 68 72 76 77 78 81 83 85 87 89 90 91 95 97 98 99 106 110 111 113 114 120 121 122 131 132 136 140 145 151 152 154 159 162 163 164 165 167 171 173 174 177 178 192 193 195 199 200 207 215 217 218 222 223 228 230 a 4 7 15 19 20 23 26 28 30 37 39 41 45 46 49 52 56 59 60 64 65 67 72 76 77 78 81 83 85 87 89 90 91 95 97 98 99 106 110 111 113 114 120 121 122 131 132 136 140 145 151 152 154 157 159 162 163 164 165 167 171 173 174 177 178 192 193 195 199 200 207 215 217 218 222 223 228 230 a 4 7 15 19 20 23 26 28 30 37 39 41 45 46 49 52 56 59 60 64 65 67 72 76 77 78 81 83 85 87 89 90 91 95 97 98 99 106 110 111 113 114 120 121 122 131 132 136 140 145 151 152 154 157 159 163 164 165 167 171 173 174 177 178 192 193 194 195 199 200 207 215 217 218 222 223 228 230 a 4 7 15 19 20 21 23 26 28 30 37 39 41 45 46 49 52 56 59 60 64 65 67 72 76 77 78 81 83 85 87 89 90 91 95 97 98 99 106 110 113 114 120 121 122 131 132 136 140 145 151 152 154 157 159 163 164 165 167 171 173 174 177 178 192 193 194 195 199 200 207 215 217 218 222 223 228 230 a 4 7 15 19 20 21 23 26 28 30 37 39 41 45 46 49 52 56 59 60 64 65 67 72 76 77 78 81 83 85 87 89 90 91 95 98 99 106 110 113 114 120 121 122 131 132 136 140 145 151 152 154 157 159 163 164 165 167 171 173 174 177 178 192 193 194 195 199 200 207 208 215 217 218 222 223 228 230 a 4 7 15 19 20 21 23 26 28 30 37 39 41 45 46 49 52 56 59 60 64 65 67 72 76 77 78 83 85 87 89 90 91 95 98 99 106 110 113 114 120 121 122 131 132 136 138 140 145 151 152 154 157 159 163 164 165 167 171 173 174 177 178 192 193 194 195 199 200 207 208 215 217 218 222 223 228 230 a 4 7 15 19 20 21 23 26 30 37 39 41 45 46 49 52 56 59 60 64 65 67 72 76 77 78 83 85 87 89 90 91 95 98 99 106 110 113 114 120 121 122 125 131 132 136 138 140 145 151 152 154 157 159 163 164 165 167 171 173 174 177 178 192 193 194 195 199 200 207 208 215 217 218 222 223 228 230 a 4 7 15 19 20 21 23 26 30 37 41 45 46 49 52 56 59 60 64 65 67 72 76 77 78 83 85 87 89 90 91 95 98 99 106 110 113 114 119 120 121 122 125 131 132 136 138 140 145 151 152 154 157 159 163 164 165 167 171 173 174 177 178 192 193 194 195 199 200 207 208 215 217 218 222 223 228 230 a 4 7 15 19 20 21 23 26 30 37 41 45 46 49 52 56 59 60 64 65 67 72 76 77 78 85 87 89 90 91 95 98 99 106 110 113 114 119 120 121 122 125 128 131 132 136 138 140 145 151 152 154 157 159 163 164 165 167 171 173 174 177 178 192 193 194 195 199 200 207 208 215 217 218 222 223 228 230 a 4 7 15 19 20 21 23 26 30 37 45 46 49 52 56 59 60 63 64 65 67 72 76 77 78 85 87 89 90 91 95 98 99 106 110 113 114 119 120 121 122 125 128 131 132 136 138 140 145 151 152 154 157 159 163 164 165 167 171 173 174 177 178 192 193 194 195 199 200 207 208 215 217 218 222 223 228 230 a 4 7 15 19 20 21 23 26 30 37 45 46 49 52 56 59 60 63 64 65 67 72 76 77 78 85 87 88 89 90 91 95 98 99 106 110 113 114 119 120 121 122 125 128 131 132 136 138 140 145 151 152 154 157 163 164 165 167 171 173 174 177 178 192 193 194 195 199 200 207 208 215 217 218 222 223 228 230 a 4 7 15 19 20 21 23 26 30 37 45 46 49 52 56 59 60 63 64 65 67 72 74 76 77 78 85 87 88 89 90 95 98 99 106 110 113 114 119 120 121 122 125 128 131 132 136 138 140 145 151 152 154 157 163 164 165 167 171 173 174 177 178 192 193 194 195 199 200 207 208 215 217 218 222 223 228 230 a 4 7 15 19 20 21 23 26 30 37 45 46 49 52 56 59 60 63 64 65 67 72 74 76 77 78 85 87 88 89 90 95 98 99 106 110 113 114 119 120 121 122 125 128 131 132 136 138 140 151 152 154 157 163 164 165 167 171 173 174 177 178 192 193 194 195 199 200 207 208 215 217 218 222 223 228 229 230 a 4 7 15 19 20 21 23 24 26 30 37 45 46 49 52 56 59 60 63 64 65 67 72 74 76 77 78 85 87 88 90 95 98 99 106 110 113 114 119 120 121 122 125 128 131 132 136 138 140 151 152 154 157 163 164 165 167 171 173 174 177 178 192 193 194 195 199 200 207 208 215 217 218 222 223 228 229 230 a 4 7 15 17 19 20 21 23 24 26 30 37 45 46 49 52 56 59 60 63 64 65 67 72 74 76 77 78 85 87 88 90 95 98 106 110 113 114 119 120 121 122 125 128 131 132 136 138 140 151 152 154 157 163 164 165 167 171 173 174 177 178 192 193 194 195 199 200 207 208 215 217 218 222 223 228 229 230 a 4 7 12 15 17 19 20 21 23 24 26 30 37 45 46 49 52 56 59 60 63 64 65 67 72 74 77 78 85 87 88 90 95 98 106 110 113 114 119 120 121 122 125 128 131 132 136 138 140 151 152 154 157 163 164 165 167 171 173 174 177 178 192 193 194 195 199 200 207 208 215 217 218 222 223 228 229 230 a 4 7 12 15 17 20 21 23 24 26 30 37 45 46 49 52 56 59 60 63 64 65 67 72 74 77 78 85 87 88 90 95 98 106 110 113 114 119 120 121 122 125 128 131 132 135 136 138 140 151 152 154 157 163 164 165 167 171 173 174 177 178 192 193 194 195 199 200 207 208 215 217 218 222 223 228 229 230 a 4 7 12 15 17 20 21 23 24 26 30 37 45 46 49 52 56 59 60 63 64 65 67 72 74 77 78 85 87 88 90 95 98 106 110 113 114 119 120 121 122 125 128 131 132 135 136 138 140 151 152 153 154 157 163 164 165 167 171 173 174 177 178 192 193 194 195 200 207 208 215 217 218 222 223 228 229 230 a 4 7 12 15 17 20 21 23 24 26 30 37 45 46 49 52 56 59 60 63 64 65 67 72 74 77 78 85 87 88 90 95 98 106 110 113 114 119 120 121 122 125 128 131 132 135 136 138 140 151 152 153 154 157 163 164 165 167 171 173 174 177 187 192 193 194 195 200 207 208 215 217 218 222 223 228 229 230 a 4 7 12 15 17 21 23 24 26 30 37 45 46 49 52 56 59 60 63 64 65 67 72 74 77 78 85 87 88 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 132 135 136 138 140 151 152 153 154 157 163 164 165 167 171 173 174 177 187 192 193 194 195 200 207 208 215 217 218 222 223 228 229 230 a 4 7 12 15 17 21 23 24 26 30 37 45 46 49 52 56 59 60 63 64 65 67 72 74 78 85 87 88 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 132 135 136 138 140 151 152 153 154 157 163 164 165 167 171 173 174 177 187 192 193 194 195 200 207 208 215 217 218 222 223 225 228 229 230 a 4 7 12 15 17 21 23 24 26 30 37 45 46 49 52 56 59 60 63 64 65 67 72 74 78 85 87 88 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 132 135 136 138 140 151 152 153 154 157 158 163 164 165 167 171 173 174 177 187 193 194 195 200 207 208 215 217 218 222 223 225 228 229 230 a 4 7 12 15 17 21 23 24 26 30 37 45 46 49 52 56 59 60 63 64 65 67 72 74 78 85 87 88 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 132 135 136 138 140 144 151 152 153 154 157 158 163 164 165 167 171 173 174 177 187 193 194 195 200 207 208 215 217 222 223 225 228 229 230 a 4 6 7 12 15 17 21 23 24 26 30 37 45 46 49 52 56 59 60 63 64 67 72 74 78 85 87 88 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 132 135 136 138 140 144 151 152 153 154 157 158 163 164 165 167 171 173 174 177 187 193 194 195 200 207 208 215 217 222 223 225 228 229 230 a 4 6 7 12 15 17 21 23 24 26 29 30 37 45 46 49 52 56 59 60 63 64 67 72 74 78 85 87 88 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 132 135 136 138 140 144 151 152 153 154 157 158 163 164 167 171 173 174 177 187 193 194 195 200 207 208 215 217 222 223 225 228 229 230 a 4 6 7 12 15 17 21 23 24 26 29 30 37 45 46 49 52 56 59 60 63 64 67 72 74 78 85 88 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 132 135 136 138 140 144 151 152 153 154 157 158 163 164 167 171 173 174 177 181 187 193 194 195 200 207 208 215 217 222 223 225 228 229 230 a 4 6 7 12 15 17 21 23 24 26 29 30 37 45 46 49 52 56 59 60 63 64 67 72 74 78 85 88 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 132 135 136 138 140 144 150 151 152 153 154 157 158 163 164 167 171 173 174 177 181 187 193 194 195 200 207 208 215 217 222 223 225 229 230 a 4 6 7 12 15 17 21 23 24 26 29 30 36 37 45 46 49 52 56 59 60 63 64 67 72 74 78 85 88 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 135 136 138 140 144 150 151 152 153 154 157 158 163 164 167 171 173 174 177 181 187 193 194 195 200 207 208 215 217 222 223 225 229 230 a 4 6 7 12 15 17 21 23 24 29 30 36 37 45 46 49 52 56 59 60 63 64 66 67 72 74 78 85 88 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 135 136 138 140 144 150 151 152 153 154 157 158 163 164 167 171 173 174 177 181 187 193 194 195 200 207 208 215 217 222 223 225 229 230 a 6 7 12 15 17 21 23 24 29 30 36 37 45 46 49 52 56 59 60 63 64 66 67 72 74 78 85 88 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 135 136 138 140 143 144 150 151 152 153 154 157 158 163 164 167 171 173 174 177 181 187 193 194 195 200 207 208 215 217 222 223 225 229 230 a 6 7 12 15 17 21 23 24 29 30 36 37 45 46 48 49 52 56 59 60 63 64 66 67 72 74 78 85 88 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 135 136 138 140 143 144 150 151 152 153 154 157 158 164 167 171 173 174 177 181 187 193 194 195 200 207 208 215 217 222 223 225 229 230 c Step: 64 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance018_graph002.col /benchmark/random_instance/random_instance018_graph002_01.dat" User time (seconds): 801.64 System time (seconds): 12.48 Percent of CPU this job got: 221% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:07.56 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): 25509996 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 8106822 Voluntary context switches: 640134 Involuntary context switches: 1349 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: [Tue Sep 26 01:48:10 2023]