#BEGIN: [Mon Sep 4 11:56:17 2023] #HOST: s16 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-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 --ulimit cpu=1800 -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.143 seconds *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.001 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 114 116 118 119 120 122 130 132 133 138 140 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 228 230 a 3 6 7 10 16 20 24 25 33 43 44 45 50 57 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 140 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 228 230 a 3 6 7 10 16 20 24 25 33 43 44 45 50 57 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 140 141 144 148 149 153 158 167 170 171 177 179 181 183 184 189 190 191 192 197 204 205 206 209 213 215 216 220 223 224 228 230 a 3 6 7 10 16 20 21 24 25 33 43 44 45 50 57 58 60 63 67 68 74 87 88 91 94 95 97 98 99 100 101 102 103 111 114 116 118 119 120 122 130 132 133 138 140 141 144 148 149 153 158 167 170 171 177 179 181 183 184 189 190 191 192 197 204 205 206 209 213 215 216 220 223 224 228 230 a 3 6 7 10 16 17 20 21 24 25 33 43 44 45 50 57 58 60 63 67 68 74 87 88 91 94 95 97 98 99 100 101 102 103 111 114 116 118 119 120 122 130 132 133 138 140 141 144 148 149 153 158 167 170 171 177 179 181 183 184 189 190 191 192 197 204 205 206 209 213 215 220 223 224 228 230 a 3 6 7 10 16 17 20 21 24 25 33 43 44 45 50 57 58 60 63 67 68 74 76 87 88 91 94 95 97 98 99 100 101 102 103 111 114 116 118 119 120 122 130 132 133 138 140 141 144 148 149 153 158 167 170 171 177 179 181 183 184 189 190 191 192 204 205 206 209 213 215 220 223 224 228 230 a 3 6 7 10 16 20 21 24 25 33 43 44 45 50 57 58 60 63 67 68 74 76 87 88 91 94 95 97 98 99 100 101 102 103 111 114 116 118 119 120 122 130 132 133 138 140 141 144 148 149 153 158 167 170 171 177 179 181 183 184 189 190 191 192 204 205 206 209 213 215 216 220 223 224 228 230 a 3 7 10 16 20 21 24 25 33 43 44 45 50 57 58 60 63 67 68 74 76 87 88 91 94 95 97 98 99 100 101 102 103 111 114 116 118 119 120 122 130 132 133 138 140 141 144 148 149 153 158 167 170 171 177 179 180 181 183 184 189 190 191 192 204 205 206 209 213 215 216 220 223 224 228 230 a 3 7 10 16 17 20 21 24 25 33 43 44 45 50 57 58 60 63 67 68 74 76 87 88 91 94 95 97 98 99 100 101 102 103 111 114 116 118 119 120 122 130 132 133 138 140 141 144 148 149 153 158 167 170 171 177 179 180 181 183 184 189 190 191 192 204 205 206 209 213 215 220 223 224 228 230 a 3 6 7 10 16 17 20 21 24 25 33 43 44 45 50 57 58 60 63 67 68 74 76 87 88 91 94 95 97 98 99 100 101 102 103 111 114 116 118 119 120 122 130 132 133 138 140 141 144 148 149 153 158 167 170 171 177 179 181 183 184 189 190 191 192 204 205 206 209 213 215 220 223 224 228 230 a 3 6 7 10 16 17 20 21 24 25 33 43 44 45 50 57 58 60 63 67 68 74 76 87 88 91 93 94 95 97 98 99 100 101 102 103 111 114 116 118 119 120 122 130 132 133 138 140 141 144 148 149 153 158 167 170 171 177 179 181 183 184 189 190 191 192 204 205 206 209 213 215 220 223 228 230 a 3 6 7 10 16 17 20 21 24 25 33 43 44 45 50 57 58 60 63 67 68 74 76 87 88 91 93 94 95 97 98 99 100 101 102 103 111 114 116 118 119 120 122 130 132 133 135 138 140 141 144 148 149 153 158 167 170 171 177 179 181 183 184 189 190 191 204 205 206 209 213 215 220 223 228 230 a 3 6 7 10 16 17 20 21 24 25 28 33 43 44 45 50 57 58 60 63 67 68 74 76 87 88 91 93 94 95 97 98 100 101 102 103 111 114 116 118 119 120 122 130 132 133 135 138 140 141 144 148 149 153 158 167 170 171 177 179 181 183 184 189 190 191 204 205 206 209 213 215 220 223 228 230 a 3 6 7 10 16 17 20 21 24 25 28 33 43 44 45 50 57 58 60 63 67 68 74 76 87 88 91 93 94 95 97 98 100 101 102 103 111 114 116 118 119 120 122 130 132 133 135 138 140 141 144 148 149 153 156 158 167 170 171 179 181 183 184 189 190 191 204 205 206 209 213 215 220 223 228 230 a 3 6 7 10 16 17 20 21 24 25 28 33 43 44 45 50 57 58 60 63 67 68 74 76 87 88 91 93 94 95 97 98 100 101 102 103 111 114 116 118 119 120 122 130 133 135 138 140 141 144 148 149 153 156 158 167 170 171 178 179 181 183 184 189 190 191 204 205 206 209 213 215 220 223 228 230 a 3 6 7 10 16 17 20 21 24 25 28 33 43 44 45 50 57 58 60 63 67 68 76 87 88 91 93 94 95 97 98 100 101 102 103 111 114 116 118 119 120 122 130 133 135 138 140 141 144 148 149 153 156 158 167 170 171 178 179 181 183 184 189 190 191 204 205 206 209 213 215 220 223 228 230 234 a 3 6 7 10 16 17 20 21 24 25 28 33 44 45 50 57 58 60 63 67 68 76 78 87 88 91 93 94 95 97 98 100 101 102 103 111 114 116 118 119 120 122 130 133 135 138 140 141 144 148 149 153 156 158 167 170 171 178 179 181 183 184 189 190 191 204 205 206 209 213 215 220 223 228 230 234 a 3 6 7 10 16 17 20 21 24 25 28 33 44 45 50 57 58 60 63 67 68 76 78 87 88 91 93 94 95 97 98 100 101 102 103 111 114 116 118 119 120 122 130 133 135 138 140 141 144 148 149 153 156 158 167 170 171 175 178 179 181 183 184 189 190 191 204 206 209 213 215 220 223 228 230 234 a 3 6 7 10 16 17 20 21 24 28 33 44 45 50 57 58 60 63 67 68 76 78 87 88 91 93 94 95 97 98 100 101 102 103 111 114 116 118 119 120 122 130 133 135 138 140 141 144 148 149 153 156 158 164 167 170 171 175 178 179 181 183 184 189 190 191 204 206 209 213 215 220 223 228 230 234 a 3 6 7 10 16 17 20 21 24 28 33 44 45 50 57 58 60 63 67 68 76 78 87 88 91 93 94 97 98 100 101 102 103 111 114 116 118 119 120 122 130 133 135 138 140 141 144 148 149 153 156 158 164 167 170 171 175 178 179 181 183 184 189 190 191 204 205 206 209 213 215 220 223 228 230 234 a 3 6 7 10 16 17 20 21 24 28 33 44 50 57 58 60 63 67 68 76 78 87 88 91 93 94 97 98 100 101 102 103 111 114 116 118 119 120 122 123 130 133 135 138 140 141 144 148 149 153 156 158 164 167 170 171 175 178 179 181 183 184 189 190 191 204 205 206 209 213 215 220 223 228 230 234 a 3 6 7 10 16 17 20 21 24 28 33 44 50 57 58 60 63 67 68 76 78 87 88 91 93 94 97 98 100 101 102 103 111 114 116 118 119 120 122 123 130 133 135 138 140 141 144 148 149 153 156 158 164 167 168 170 171 175 178 181 183 184 189 190 191 204 205 206 209 213 215 220 223 228 230 234 a 3 6 7 10 16 17 20 21 24 28 33 44 50 57 58 60 63 67 68 76 78 87 88 91 93 94 97 98 100 101 102 103 111 114 116 118 119 120 122 123 130 133 135 138 140 141 144 148 149 153 156 158 162 164 167 168 170 171 175 178 181 183 184 189 190 191 204 205 206 209 215 220 223 228 230 234 a 3 6 7 10 16 17 20 21 24 28 32 33 44 50 57 58 60 63 67 68 76 78 87 88 91 93 94 97 98 100 101 102 103 111 114 116 118 119 120 122 123 130 133 135 138 140 141 144 148 149 153 156 158 162 164 167 168 170 171 175 178 183 184 189 190 191 204 205 206 209 215 220 223 228 230 234 a 3 6 7 10 16 17 20 21 24 28 32 33 44 50 57 58 60 63 67 68 76 78 87 88 91 93 94 97 98 100 101 102 103 111 114 116 118 119 120 122 123 130 133 135 138 140 141 148 149 153 156 158 162 164 167 168 170 171 175 178 183 184 189 190 191 204 205 206 209 211 215 220 223 228 230 234 a 3 6 7 10 16 17 20 21 24 28 32 33 44 50 57 58 60 63 67 68 76 78 87 88 91 93 94 97 98 100 101 102 103 111 114 116 118 119 120 122 123 130 133 135 138 139 140 141 148 149 153 156 158 162 164 167 168 171 175 178 183 184 189 190 191 204 205 206 209 211 215 220 223 228 230 234 a 3 6 7 10 16 17 20 21 24 28 32 33 44 46 50 57 58 60 63 67 68 76 78 87 88 91 93 94 97 98 100 101 102 103 111 114 116 118 119 120 122 123 130 133 135 138 139 140 141 148 149 153 156 158 162 164 167 168 171 175 178 183 184 189 190 191 204 205 206 211 215 220 223 228 230 234 a 3 6 7 10 16 17 20 21 24 28 32 33 44 46 50 54 57 58 60 63 67 68 76 78 87 88 91 93 97 98 100 101 102 103 111 114 116 118 119 120 122 123 130 133 135 138 139 140 141 148 149 153 156 158 162 164 167 168 171 175 178 183 184 189 190 191 204 205 206 211 215 220 223 228 230 234 a 3 6 7 10 16 17 20 21 24 28 32 33 44 46 50 54 57 58 60 63 67 68 76 78 87 88 91 93 97 98 100 101 102 103 111 114 116 118 119 120 122 123 130 133 135 138 139 140 141 148 149 153 156 158 162 164 167 168 171 175 178 183 184 189 190 191 205 206 211 215 220 223 227 228 230 234 a 3 6 7 10 16 17 20 21 24 28 32 33 44 46 50 54 57 58 60 63 67 68 76 78 87 88 91 93 97 98 100 101 102 103 111 114 116 118 119 120 121 122 123 130 133 135 138 139 140 141 148 149 153 156 158 162 164 167 168 171 175 178 183 184 189 190 191 205 206 211 215 223 227 228 230 234 a 3 6 7 10 16 17 20 21 24 28 32 33 44 46 50 54 57 58 60 63 67 68 76 78 84 87 88 91 93 97 98 100 101 102 103 111 114 116 118 119 120 121 122 123 130 133 135 138 139 140 141 148 149 153 156 158 162 164 167 168 171 175 178 183 184 189 190 205 206 211 215 223 227 228 230 234 a 3 6 7 10 16 17 20 24 28 32 33 44 46 50 54 57 58 60 63 67 68 76 78 84 87 88 90 91 93 97 98 100 101 102 103 111 114 116 118 119 120 121 122 123 130 133 135 138 139 140 141 148 149 153 156 158 162 164 167 168 171 175 178 183 184 189 190 205 206 211 215 223 227 228 230 234 a 3 6 7 10 16 17 20 24 28 32 33 44 46 50 54 57 58 60 63 67 68 76 78 84 88 90 91 93 97 98 100 101 102 103 111 114 116 118 119 120 121 122 123 130 133 135 138 139 140 141 148 149 153 156 158 162 164 167 168 171 175 178 183 184 189 190 193 205 206 211 215 223 227 228 230 234 a 3 6 7 10 16 17 20 24 28 32 33 35 44 46 50 54 57 58 60 63 67 68 76 78 84 88 90 91 93 97 98 100 101 102 103 111 114 116 118 119 120 121 122 123 130 133 135 138 139 140 141 148 149 153 156 158 162 164 167 168 171 175 178 183 184 189 190 193 205 211 215 223 227 228 230 234 a 3 6 7 10 17 20 24 28 32 33 35 44 46 50 54 57 58 60 63 67 68 76 78 84 88 90 91 93 97 98 100 101 102 103 111 114 116 118 119 120 121 122 123 130 133 135 138 139 140 141 148 149 153 156 158 162 164 167 168 171 175 178 183 184 188 189 190 193 205 211 215 223 227 228 230 234 a 3 6 7 10 17 20 24 28 32 33 35 37 44 46 50 54 57 58 60 63 67 68 76 78 84 88 90 91 93 97 98 100 101 102 103 111 114 116 118 119 120 121 122 123 130 133 135 138 139 140 141 148 149 153 156 158 162 164 167 168 171 175 178 183 184 188 189 190 193 205 211 215 223 227 228 230 a 3 6 7 10 17 20 24 28 32 33 35 37 44 46 50 54 57 58 60 63 67 68 76 78 84 88 90 91 93 97 98 100 101 102 103 111 114 116 118 119 120 121 122 123 130 133 135 138 139 140 141 148 149 153 158 162 164 167 168 171 175 177 178 183 184 188 189 190 193 205 211 215 223 227 228 230 a 3 6 7 17 20 24 28 32 33 35 37 44 46 50 54 57 58 60 63 67 68 76 78 84 88 90 91 93 97 98 100 101 102 103 111 114 116 118 119 120 121 122 123 130 133 135 138 139 140 141 148 149 153 158 162 164 167 168 171 175 177 178 183 184 188 189 190 193 205 211 215 222 223 227 228 230 a 3 6 7 17 20 24 28 32 33 35 37 44 46 50 54 57 58 60 63 67 68 74 76 78 84 88 90 91 93 97 98 100 101 102 111 114 116 118 119 120 121 122 123 130 133 135 138 139 140 141 148 149 153 158 162 164 167 168 171 175 177 178 183 184 188 189 190 193 205 211 215 222 223 227 228 230 a 3 6 7 17 20 24 28 32 33 35 37 44 46 50 54 57 58 60 63 68 74 76 78 84 88 90 91 93 97 98 100 101 102 106 111 114 116 118 119 120 121 122 123 130 133 135 138 139 140 141 148 149 153 158 162 164 167 168 171 175 177 178 183 184 188 189 190 193 205 211 215 222 223 227 228 230 a 3 6 7 17 20 24 28 32 33 35 37 44 46 50 54 57 60 63 68 74 76 78 84 88 90 91 93 97 98 100 101 102 106 111 112 114 116 118 119 120 121 122 123 130 133 135 138 139 140 141 148 149 153 158 162 164 167 168 171 175 177 178 183 184 188 189 190 193 205 211 215 222 223 227 228 230 a 3 6 7 17 20 24 28 32 33 35 37 44 46 50 54 57 60 63 68 74 76 78 84 88 90 91 93 97 100 101 102 106 111 112 114 116 118 119 120 121 122 123 130 133 135 138 139 140 141 148 149 153 158 162 164 167 168 171 175 177 178 183 184 188 189 190 193 205 211 215 222 223 227 228 230 233 a 3 6 7 9 17 20 24 28 32 33 35 37 44 46 50 54 57 63 68 74 76 78 84 88 90 91 93 97 100 101 102 106 111 112 114 116 118 119 120 121 122 123 130 133 135 138 139 140 141 148 149 153 158 162 164 167 168 171 175 177 178 183 184 188 189 190 193 205 211 215 222 223 227 228 230 233 a 3 6 7 9 17 20 24 28 32 33 35 37 46 50 54 57 63 68 74 76 78 84 88 90 91 93 97 100 101 102 106 111 112 114 116 118 119 120 121 122 123 130 133 135 138 139 140 141 148 149 153 158 161 162 164 167 168 171 175 177 178 183 184 188 189 190 193 205 211 215 222 223 227 228 230 233 a 3 6 7 9 17 20 24 28 32 33 35 37 46 50 54 57 63 68 74 76 78 84 88 90 91 93 97 100 101 102 106 111 112 114 116 118 119 120 121 122 123 130 133 135 138 139 140 141 147 148 149 153 158 161 162 164 167 168 171 175 177 178 183 184 188 189 190 193 205 211 215 222 223 227 230 233 a 3 6 7 9 17 20 24 28 32 33 35 37 46 50 54 57 63 68 74 76 78 84 88 89 90 91 93 97 100 101 102 106 111 112 114 116 118 119 120 121 122 123 130 133 135 138 139 140 141 147 148 149 153 158 161 162 164 167 168 171 175 177 178 183 188 189 190 193 205 211 215 222 223 227 230 233 a 3 7 9 17 20 24 28 32 33 35 37 46 50 54 57 63 68 74 76 78 84 88 89 90 91 93 97 100 101 102 106 111 112 114 116 118 119 120 121 122 123 130 133 135 138 139 140 141 147 148 149 153 158 161 162 164 167 168 171 175 177 178 183 188 189 190 193 205 211 215 222 223 227 230 231 233 a 3 7 9 15 17 20 24 28 32 33 35 37 46 50 54 57 63 68 74 76 78 84 88 89 90 91 93 97 100 101 102 106 111 112 114 116 118 119 120 121 122 123 130 135 138 139 140 141 147 148 149 153 158 161 162 164 167 168 171 175 177 178 183 188 189 190 193 205 211 215 222 223 227 230 231 233 a 3 7 9 15 17 20 24 28 32 33 35 37 46 50 54 57 63 68 74 76 78 84 88 89 90 91 97 100 101 102 106 110 111 112 114 116 118 119 120 121 122 123 130 135 138 139 140 141 147 148 149 153 158 161 162 164 167 168 171 175 177 178 183 188 189 190 193 205 211 215 222 223 227 230 231 233 a 3 7 9 15 17 20 24 28 32 33 35 37 46 50 54 57 63 68 74 76 78 84 88 89 90 91 97 100 101 102 106 110 111 112 114 116 118 119 120 121 122 123 130 135 138 139 140 141 147 148 149 153 161 162 164 167 168 171 175 177 178 183 188 189 190 193 199 205 211 215 222 223 227 230 231 233 a 3 7 9 15 17 20 24 28 32 33 35 37 46 50 54 57 59 63 74 76 78 84 88 89 90 91 97 100 101 102 106 110 111 112 114 116 118 119 120 121 122 123 130 135 138 139 140 141 147 148 149 153 161 162 164 167 168 171 175 177 178 183 188 189 190 193 199 205 211 215 222 223 227 230 231 233 a 3 7 9 15 17 20 24 28 32 33 35 37 46 50 54 57 59 63 74 76 78 84 88 89 90 91 97 100 101 102 106 110 111 112 114 116 118 119 120 121 122 123 135 138 139 140 141 147 148 149 153 161 162 164 167 168 171 175 177 178 183 188 189 190 193 198 199 205 211 215 222 223 227 230 231 233 a 3 7 9 13 15 17 20 24 28 32 33 35 37 46 50 54 57 59 63 74 76 78 84 88 89 90 91 100 101 102 106 110 111 112 114 116 118 119 120 121 122 123 135 138 139 140 141 147 148 149 153 161 162 164 167 168 171 175 177 178 183 188 189 190 193 198 199 205 211 215 222 223 227 230 231 233 a 3 7 9 13 15 17 20 24 28 32 33 35 37 46 50 51 54 57 59 63 74 76 78 84 88 89 90 91 100 101 102 106 110 111 112 114 116 118 119 120 121 122 123 135 138 139 140 141 147 148 149 153 161 162 164 167 168 171 175 177 178 183 188 189 190 193 198 199 205 211 215 222 223 227 231 233 a 3 7 9 13 15 17 20 28 32 33 35 37 46 50 51 54 57 59 63 74 76 78 84 88 89 90 91 100 101 102 106 110 111 112 114 116 118 119 120 121 122 123 135 138 139 140 141 147 148 149 153 161 162 164 167 168 171 175 177 178 183 188 189 190 193 198 199 205 210 211 215 222 223 227 231 233 a 3 7 9 13 15 17 20 29 32 33 35 37 46 50 51 54 57 59 63 74 76 78 84 88 89 90 91 100 101 102 106 110 111 112 114 116 118 119 120 121 122 123 135 138 139 140 141 147 148 149 153 161 162 164 167 168 171 175 177 178 183 188 189 190 193 198 199 205 210 211 215 222 223 227 231 233 a 3 7 9 13 15 17 20 29 32 33 35 37 46 50 51 54 59 63 74 76 78 84 88 89 90 91 100 101 102 106 110 111 112 114 116 118 119 120 121 122 123 128 135 138 139 140 141 147 148 149 153 161 162 164 167 168 171 175 177 178 183 188 189 190 193 198 199 205 210 211 215 222 223 227 231 233 a 3 7 9 13 15 17 20 29 32 33 35 37 46 50 51 54 59 63 69 74 76 78 84 88 89 90 91 100 101 102 106 110 111 112 114 116 118 119 120 121 122 123 128 135 138 139 140 141 147 148 149 153 161 162 164 167 168 171 177 178 183 188 189 190 193 198 199 205 210 211 215 222 223 227 231 233 a 3 7 9 13 15 17 20 29 32 33 35 37 46 50 51 54 59 63 69 74 76 78 84 88 89 90 91 100 101 102 106 110 111 112 114 116 118 119 120 121 122 123 128 138 139 140 141 147 148 149 153 161 162 164 167 168 171 177 178 183 188 189 190 193 198 199 205 210 211 215 222 223 224 227 231 233 a 3 7 9 13 15 17 20 29 31 32 33 35 37 46 50 51 54 59 63 69 74 76 78 84 88 89 90 91 100 101 102 106 110 111 112 114 116 119 120 121 122 123 128 138 139 140 141 147 148 149 153 161 162 164 167 168 171 177 178 183 188 189 190 193 198 199 205 210 211 215 222 223 224 227 231 233 a 3 7 9 13 15 17 20 29 31 32 33 35 37 46 50 51 54 59 63 69 74 76 78 84 88 89 90 91 100 101 102 106 110 111 112 114 116 119 120 121 122 123 128 138 139 140 141 147 148 149 153 161 162 164 168 171 177 178 183 188 189 190 193 198 199 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 50 51 54 59 63 69 74 76 78 84 88 89 90 91 100 101 102 106 110 111 112 114 116 119 120 121 122 123 128 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 a 3 9 13 15 17 20 29 31 32 33 35 37 46 51 54 59 63 69 74 76 78 84 88 89 90 91 100 101 102 106 110 111 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 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: 64 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): 833.53 System time (seconds): 10.58 Percent of CPU this job got: 229% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:07.13 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): 25202584 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 8009973 Voluntary context switches: 215383 Involuntary context switches: 1358 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:02:25 2023]