#BEGIN: [Mon Sep 4 15:06:17 2023] #HOST: s15 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance018_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance018_graph003_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest /benchmark/random_instance/random_instance018_graph003.col /benchmark/random_instance/random_instance018_graph003_01.dat c /benchmark/random_instance/random_instance018_graph003.col c /benchmark/random_instance/random_instance018_graph003_01.dat s 32 22 172 126 133 139 23 93 220 14 216 198 204 186 4 42 15 199 217 29 11 120 9 152 40 46 131 74 25 221 60 113 141 200 115 108 124 67 86 101 65 157 193 33 155 175 102 184 41 104 1 195 61 105 224 90 137 135 223 188 177 149 79 98 2 156 187 63 176 122 27 225 170 181 t 100 183 127 179 89 71 111 130 32 151 229 136 46 14 141 39 79 84 140 174 45 77 113 102 4 6 195 200 148 115 212 154 161 65 28 61 166 40 227 198 228 3 105 223 96 207 58 149 186 95 30 157 87 74 47 142 176 41 101 219 124 19 168 131 218 159 143 167 88 187 2 213 38 119 a YES a 1 2 4 9 11 14 15 22 23 25 27 29 32 33 40 41 42 46 60 61 63 65 67 74 79 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 133 135 137 139 141 149 152 155 156 157 170 172 175 176 177 181 184 186 187 188 193 195 198 199 200 204 216 217 220 221 223 224 225 a 1 2 4 9 11 14 15 22 23 25 27 29 32 33 38 40 41 42 46 60 61 63 65 67 74 79 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 133 135 137 139 141 149 152 155 156 157 170 172 175 176 177 181 184 186 187 188 193 195 198 199 200 216 217 220 221 223 224 225 a 1 2 4 9 11 14 15 22 23 25 27 29 32 38 40 41 42 46 60 61 63 65 67 74 79 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 133 135 137 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 186 187 188 193 195 198 199 200 216 217 220 221 223 224 225 a 1 2 4 9 11 14 15 22 23 25 27 29 32 38 40 41 42 46 60 61 63 65 67 74 79 86 90 93 98 101 102 105 108 113 115 120 122 124 126 131 133 135 137 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 186 187 188 193 195 198 199 200 216 217 220 221 223 224 225 227 a 1 2 4 9 11 14 15 22 23 25 27 29 32 38 40 41 42 46 60 61 63 65 67 74 79 86 90 93 98 101 102 105 108 113 115 120 122 124 126 131 133 135 137 139 141 149 152 155 156 157 161 170 172 175 176 179 181 184 186 187 188 193 195 198 199 200 216 217 220 221 223 224 225 227 a 1 2 4 9 11 14 15 22 23 25 27 29 32 38 40 41 42 46 60 61 63 65 67 74 79 86 90 93 98 101 102 105 113 115 120 122 124 126 131 133 135 137 139 141 149 152 155 156 157 161 168 170 172 175 176 179 181 184 186 187 188 193 195 198 199 200 216 217 220 221 223 224 225 227 a 1 2 4 9 11 14 15 22 23 25 27 29 32 38 40 41 42 46 60 61 63 65 67 74 79 86 90 93 98 101 102 105 113 115 120 122 124 126 131 133 135 137 139 141 149 152 155 156 157 159 161 168 170 175 176 179 181 184 186 187 188 193 195 198 199 200 216 217 220 221 223 224 225 227 a 1 2 4 9 11 14 15 22 23 25 27 29 32 38 40 41 42 46 60 61 63 65 67 74 77 79 86 90 93 98 101 102 105 113 115 120 122 124 126 131 133 135 137 139 141 149 152 155 156 157 159 161 168 170 175 176 179 181 184 186 187 188 195 198 199 200 216 217 220 221 223 224 225 227 a 1 2 4 9 11 14 15 22 23 25 27 29 32 38 40 41 42 46 60 61 63 65 67 74 77 79 86 90 93 98 101 102 105 113 115 120 122 124 126 131 133 135 137 139 140 141 149 152 155 156 157 159 161 168 170 175 176 179 181 184 186 187 188 195 198 199 200 216 217 221 223 224 225 227 a 1 2 4 9 11 14 15 22 23 25 27 29 32 38 40 41 42 46 60 61 63 65 67 74 77 79 86 90 93 98 101 102 105 113 115 120 122 124 126 131 133 137 139 140 141 149 152 155 156 157 159 161 168 170 175 176 179 181 184 186 187 188 195 198 199 200 216 217 219 221 223 224 225 227 a 1 2 4 9 11 14 15 22 23 25 27 29 32 38 40 41 42 46 60 61 63 65 67 74 77 79 84 86 90 93 98 101 102 105 113 115 120 122 124 126 131 133 137 139 140 141 149 152 155 156 157 159 161 168 170 175 176 179 181 184 186 187 188 195 198 199 200 217 219 221 223 224 225 227 a 1 2 4 9 11 14 15 22 23 25 27 29 32 38 40 41 42 46 60 61 63 65 67 74 77 79 84 86 93 98 101 102 105 113 115 120 122 124 126 131 133 137 139 140 141 143 149 152 155 156 157 159 161 168 170 175 176 179 181 184 186 187 188 195 198 199 200 217 219 221 223 224 225 227 a 1 2 4 9 11 14 15 22 23 25 27 29 32 38 40 41 42 46 61 63 65 67 74 77 79 84 86 93 98 101 102 105 113 115 120 122 124 126 131 133 137 139 140 141 143 148 149 152 155 156 157 159 161 168 170 175 176 179 181 184 186 187 188 195 198 199 200 217 219 221 223 224 225 227 a 1 2 4 9 11 14 15 22 23 25 27 29 32 38 40 41 42 46 61 63 65 67 74 77 79 84 86 93 98 101 102 105 113 115 122 124 126 131 133 137 139 140 141 143 148 149 152 155 156 157 159 161 168 170 175 176 179 181 184 186 187 188 195 198 199 200 217 218 219 221 223 224 225 227 a 1 2 4 9 11 14 15 22 23 25 27 29 32 38 40 41 42 46 61 63 65 67 71 74 77 79 84 86 93 98 101 102 105 113 115 122 124 126 131 133 137 139 140 141 143 148 149 152 155 156 157 159 161 168 170 175 176 179 181 184 186 187 188 195 198 199 200 217 218 219 223 224 225 227 a 1 2 4 9 11 14 15 22 23 25 27 29 32 38 40 41 42 46 61 63 65 67 71 74 77 79 84 86 93 98 101 102 105 113 115 122 124 126 131 133 137 139 140 141 143 148 149 151 152 155 156 157 159 161 168 175 176 179 181 184 186 187 188 195 198 199 200 217 218 219 223 224 225 227 a 1 2 4 9 11 14 15 22 23 25 27 29 30 32 38 40 41 42 46 61 63 65 67 71 74 77 79 84 86 93 98 101 102 105 113 115 122 124 131 133 137 139 140 141 143 148 149 151 152 155 156 157 159 161 168 175 176 179 181 184 186 187 188 195 198 199 200 217 218 219 223 224 225 227 a 1 2 4 9 11 14 15 22 23 25 27 29 30 32 38 40 41 42 46 47 61 63 65 67 71 74 77 79 84 93 98 101 102 105 113 115 122 124 131 133 137 139 140 141 143 148 149 151 152 155 156 157 159 161 168 175 176 179 181 184 186 187 188 195 198 199 200 217 218 219 223 224 225 227 a 1 2 4 9 11 14 15 22 23 25 27 29 30 32 38 40 41 42 46 47 61 63 65 67 71 74 77 79 84 93 98 101 102 105 113 115 122 124 131 133 137 139 140 141 143 148 149 151 152 155 156 157 159 161 168 175 176 179 181 184 186 187 188 195 198 199 200 217 218 219 223 225 227 228 a 1 2 4 9 11 14 15 22 23 25 27 29 30 32 38 40 41 46 47 61 63 65 67 71 74 77 79 84 93 98 101 102 105 113 115 122 124 131 133 137 139 140 141 142 143 148 149 151 152 155 156 157 159 161 168 175 176 179 181 184 186 187 188 195 198 199 200 217 218 219 223 225 227 228 a 1 2 3 4 9 11 14 15 22 23 25 27 29 30 32 38 40 41 46 47 61 63 65 67 71 74 77 79 84 93 98 101 102 105 113 115 122 124 131 133 137 140 141 142 143 148 149 151 152 155 156 157 159 161 168 175 176 179 181 184 186 187 188 195 198 199 200 217 218 219 223 225 227 228 a 1 2 3 4 9 11 14 15 22 23 25 27 29 30 32 38 40 41 46 47 61 63 65 67 71 74 77 79 84 93 98 101 102 105 113 115 122 124 131 133 137 140 141 142 143 148 149 151 155 156 157 159 161 167 168 175 176 179 181 184 186 187 188 195 198 199 200 217 218 219 223 225 227 228 a 1 2 3 4 9 11 14 15 22 23 25 27 29 30 32 38 40 41 46 47 61 63 65 67 71 74 77 79 84 93 98 101 102 105 113 115 122 124 131 133 137 140 141 142 143 148 149 151 155 156 157 159 161 167 168 175 176 179 181 184 186 187 188 195 198 199 200 213 218 219 223 225 227 228 a 1 2 3 4 9 11 14 15 22 23 25 27 29 30 32 38 40 41 46 47 61 63 65 71 74 77 79 84 93 98 101 102 105 111 113 115 122 124 131 133 137 140 141 142 143 148 149 151 155 156 157 159 161 167 168 175 176 179 181 184 186 187 188 195 198 199 200 213 218 219 223 225 227 228 a 1 2 3 4 9 11 14 15 22 23 25 27 29 30 32 38 40 41 46 47 61 63 65 71 74 77 79 84 93 101 102 105 111 113 115 119 122 124 131 133 137 140 141 142 143 148 149 151 155 156 157 159 161 167 168 175 176 179 181 184 186 187 188 195 198 199 200 213 218 219 223 225 227 228 a 1 2 3 4 9 11 14 15 22 23 25 27 29 30 32 38 40 41 46 47 61 63 65 71 74 77 79 84 93 101 102 105 111 113 115 119 122 124 130 131 133 137 140 141 142 143 148 149 151 155 156 157 159 161 167 168 175 176 179 181 184 186 187 188 195 198 200 213 218 219 223 225 227 228 a 1 2 3 4 9 11 14 15 22 23 25 27 29 30 32 38 40 41 46 47 61 65 71 74 77 79 84 93 101 102 105 111 113 115 119 122 124 130 131 133 137 140 141 142 143 148 149 151 154 155 156 157 159 161 167 168 175 176 179 181 184 186 187 188 195 198 200 213 218 219 223 225 227 228 a 1 2 3 4 6 9 14 15 22 23 25 27 29 30 32 38 40 41 46 47 61 65 71 74 77 79 84 93 101 102 105 111 113 115 119 122 124 130 131 133 137 140 141 142 143 148 149 151 154 155 156 157 159 161 167 168 175 176 179 181 184 186 187 188 195 198 200 213 218 219 223 225 227 228 a 1 2 3 4 6 9 14 15 23 25 27 29 30 32 38 40 41 46 47 61 65 71 74 77 79 84 93 101 102 105 111 113 115 119 122 124 130 131 133 137 140 141 142 143 148 149 151 154 155 156 157 159 161 166 167 168 175 176 179 181 184 186 187 188 195 198 200 213 218 219 223 225 227 228 a 1 2 3 4 6 9 14 15 25 27 29 30 32 38 40 41 45 46 47 61 65 71 74 77 79 84 93 101 102 105 111 113 115 119 122 124 130 131 133 137 140 141 142 143 148 149 151 154 155 156 157 159 161 166 167 168 175 176 179 181 184 186 187 188 195 198 200 213 218 219 223 225 227 228 a 2 3 4 6 9 14 15 25 27 29 30 32 38 40 41 45 46 47 61 65 71 74 77 79 84 93 101 102 105 111 113 115 119 122 124 127 130 131 133 137 140 141 142 143 148 149 151 154 155 156 157 159 161 166 167 168 175 176 179 181 184 186 187 188 195 198 200 213 218 219 223 225 227 228 a 2 3 4 6 9 14 15 25 27 29 30 32 38 40 41 45 46 47 61 65 71 74 77 79 84 93 95 101 102 105 111 113 115 119 122 124 127 130 131 133 137 140 141 142 143 148 149 151 154 155 156 157 159 161 166 167 168 175 176 179 181 184 186 187 188 195 198 200 213 218 219 223 227 228 a 2 3 4 6 9 14 15 27 29 30 32 38 40 41 45 46 47 61 65 71 74 77 79 84 87 93 95 101 102 105 111 113 115 119 122 124 127 130 131 133 137 140 141 142 143 148 149 151 154 155 156 157 159 161 166 167 168 175 176 179 181 184 186 187 188 195 198 200 213 218 219 223 227 228 a 2 3 4 6 9 14 15 27 29 30 32 38 40 41 45 46 47 61 65 71 74 77 79 84 87 93 95 96 101 102 105 111 113 115 119 122 124 127 130 131 133 137 140 141 142 143 148 149 151 154 155 156 157 159 161 166 167 168 175 176 179 181 184 186 187 195 198 200 213 218 219 223 227 228 a 2 3 4 6 9 14 15 27 29 30 32 38 40 41 45 46 47 61 65 71 74 77 79 84 87 88 93 95 96 101 102 105 111 113 115 119 124 127 130 131 133 137 140 141 142 143 148 149 151 154 155 156 157 159 161 166 167 168 175 176 179 181 184 186 187 195 198 200 213 218 219 223 227 228 a 2 3 4 6 9 14 15 27 29 30 32 38 40 41 45 46 47 61 65 71 74 77 79 84 87 88 93 95 96 100 101 102 105 111 113 115 119 124 127 130 131 133 137 140 141 142 143 148 149 151 154 155 156 157 159 161 166 167 168 175 176 179 184 186 187 195 198 200 213 218 219 223 227 228 a 2 3 4 6 9 14 15 27 29 30 32 38 40 41 45 46 47 61 65 71 74 77 79 84 87 88 93 95 96 100 101 102 105 111 113 115 119 124 127 130 131 133 137 140 141 142 143 148 149 151 154 155 156 157 159 161 166 167 168 174 175 176 179 186 187 195 198 200 213 218 219 223 227 228 a 2 3 4 6 9 14 15 27 29 30 32 38 40 41 45 46 47 61 65 71 74 77 79 84 87 88 95 96 100 101 102 105 111 113 115 119 124 127 130 131 133 137 140 141 142 143 148 149 151 154 155 156 157 159 161 166 167 168 174 175 176 179 183 186 187 195 198 200 213 218 219 223 227 228 a 2 3 4 6 9 14 15 27 29 30 32 38 40 41 45 46 47 61 65 71 74 77 79 84 87 88 95 96 100 101 102 105 111 113 115 119 124 127 130 131 133 137 140 141 142 143 148 149 151 154 155 156 157 159 161 166 167 168 174 176 179 183 186 187 195 198 200 212 213 218 219 223 227 228 a 2 3 4 6 9 14 15 29 30 32 38 40 41 45 46 47 58 61 65 71 74 77 79 84 87 88 95 96 100 101 102 105 111 113 115 119 124 127 130 131 133 137 140 141 142 143 148 149 151 154 155 156 157 159 161 166 167 168 174 176 179 183 186 187 195 198 200 212 213 218 219 223 227 228 a 2 3 4 6 14 15 29 30 32 38 40 41 45 46 47 58 61 65 71 74 77 79 84 87 88 89 95 96 100 101 102 105 111 113 115 119 124 127 130 131 133 137 140 141 142 143 148 149 151 154 155 156 157 159 161 166 167 168 174 176 179 183 186 187 195 198 200 212 213 218 219 223 227 228 a 2 3 4 6 14 19 29 30 32 38 40 41 45 46 47 58 61 65 71 74 77 79 84 87 88 89 95 96 100 101 102 105 111 113 115 119 124 127 130 131 133 137 140 141 142 143 148 149 151 154 155 156 157 159 161 166 167 168 174 176 179 183 186 187 195 198 200 212 213 218 219 223 227 228 a 2 3 4 6 14 19 29 30 32 38 39 40 41 45 46 47 58 61 65 71 74 77 79 84 87 88 89 95 96 100 101 102 105 111 113 115 119 124 127 130 131 137 140 141 142 143 148 149 151 154 155 156 157 159 161 166 167 168 174 176 179 183 186 187 195 198 200 212 213 218 219 223 227 228 a 2 3 4 6 14 19 28 29 30 32 38 39 40 41 45 46 47 58 61 65 71 74 77 79 84 87 88 89 95 96 100 101 102 105 111 113 115 119 124 127 130 131 140 141 142 143 148 149 151 154 155 156 157 159 161 166 167 168 174 176 179 183 186 187 195 198 200 212 213 218 219 223 227 228 a 2 3 4 6 14 19 28 29 30 32 38 39 40 41 45 46 47 58 61 65 71 74 77 79 84 87 88 89 95 96 100 101 102 105 111 113 115 119 124 127 130 131 136 140 141 142 143 148 149 151 154 155 157 159 161 166 167 168 174 176 179 183 186 187 195 198 200 212 213 218 219 223 227 228 a 2 3 4 6 14 19 28 29 30 32 38 39 40 41 45 46 47 58 61 65 71 74 77 79 84 87 88 89 95 96 100 101 102 105 111 113 115 119 124 127 130 131 136 140 141 142 143 148 149 151 154 157 159 161 166 167 168 174 176 179 183 186 187 195 198 200 207 212 213 218 219 223 227 228 a 2 3 4 6 14 19 28 30 32 38 39 40 41 45 46 47 58 61 65 71 74 77 79 84 87 88 89 95 96 100 101 102 105 111 113 115 119 124 127 130 131 136 140 141 142 143 148 149 151 154 157 159 161 166 167 168 174 176 179 183 186 187 195 198 200 207 212 213 218 219 223 227 228 229 c Step: 46 Command being timed: "python3 run_3.py --shortest /benchmark/random_instance/random_instance018_graph003.col /benchmark/random_instance/random_instance018_graph003_01.dat" User time (seconds): 0.66 System time (seconds): 0.03 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.70 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): 52680 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 43657 Voluntary context switches: 19 Involuntary context switches: 4 Swaps: 0 File system inputs: 0 File system outputs: 216 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 15:06:18 2023]