#BEGIN: [Mon Sep 4 15:09:11 2023] #HOST: s08 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance017_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance017_graph002_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest -t4 /benchmark/random_instance/random_instance017_graph002.col /benchmark/random_instance/random_instance017_graph002_01.dat c /benchmark/random_instance/random_instance017_graph002.col c /benchmark/random_instance/random_instance017_graph002_01.dat s 27 198 201 34 83 193 131 166 186 120 59 47 183 65 179 72 220 43 147 194 116 66 85 41 2 168 144 35 62 132 154 24 68 4 213 200 8 216 187 167 75 100 42 38 32 71 188 19 180 61 33 139 122 114 6 143 90 81 22 7 111 137 181 26 88 164 5 196 60 t 156 61 198 191 202 131 212 162 44 158 51 119 137 50 148 12 147 153 42 108 129 64 71 99 66 19 207 83 216 116 139 163 187 179 174 84 90 31 117 29 160 63 181 112 5 110 10 188 159 27 59 20 169 8 140 197 210 189 18 164 199 88 193 79 6 176 142 48 73 a YES a 2 4 5 6 7 8 19 22 24 26 27 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 68 71 72 75 81 83 85 88 90 100 111 114 116 120 122 131 132 137 139 143 144 147 154 164 166 167 168 179 180 181 183 186 187 188 193 194 196 198 200 201 213 216 220 a 2 4 5 6 7 8 19 22 24 26 27 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 68 71 72 75 81 83 85 88 90 100 111 114 116 120 122 131 132 137 139 143 144 147 154 164 166 167 168 179 180 181 183 186 187 188 193 194 196 198 200 201 207 216 220 a 2 4 5 6 7 8 19 22 24 26 27 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 71 72 75 81 83 85 88 90 100 111 114 116 120 122 131 132 137 139 143 144 147 154 164 166 167 168 179 180 181 183 186 187 188 193 194 196 197 198 200 201 207 216 220 a 2 4 5 6 7 8 19 22 24 26 27 32 33 34 35 38 41 42 43 47 50 59 60 61 62 65 66 71 72 75 81 83 85 88 90 100 111 114 116 120 122 131 132 137 139 143 144 147 154 164 166 168 179 180 181 183 186 187 188 193 194 196 197 198 200 201 207 216 220 a 2 4 5 6 7 8 19 22 24 26 27 32 33 34 35 38 41 42 43 47 50 59 60 61 62 65 66 71 72 75 81 83 88 90 100 111 114 116 120 122 131 132 137 139 143 144 147 154 164 166 168 179 180 181 183 186 187 188 189 193 194 196 197 198 200 201 207 216 220 a 2 4 5 6 7 8 19 22 24 26 27 32 33 34 35 38 41 42 43 47 50 59 60 61 62 65 66 71 72 75 81 83 88 90 100 111 114 116 119 122 131 132 137 139 143 144 147 154 164 166 168 179 180 181 183 186 187 188 189 193 194 196 197 198 200 201 207 216 220 a 2 4 5 6 7 8 19 22 24 26 27 32 33 34 35 38 41 42 43 47 50 59 60 61 62 65 66 71 72 75 81 83 88 90 100 111 112 114 116 119 122 131 132 137 139 143 144 147 154 164 166 168 179 180 181 186 187 188 189 193 194 196 197 198 200 201 207 216 220 a 2 4 5 6 7 8 19 22 24 26 27 32 33 34 35 38 41 42 43 47 50 59 60 61 62 65 66 71 72 73 75 83 88 90 100 111 112 114 116 119 122 131 132 137 139 143 144 147 154 164 166 168 179 180 181 186 187 188 189 193 194 196 197 198 200 201 207 216 220 a 2 4 5 6 7 8 19 22 24 26 27 32 33 34 35 38 41 42 43 47 48 50 59 60 61 62 66 71 72 73 75 83 88 90 100 111 112 114 116 119 122 131 132 137 139 143 144 147 154 164 166 168 179 180 181 186 187 188 189 193 194 196 197 198 200 201 207 216 220 a 4 5 6 7 8 19 22 24 26 27 32 33 34 35 38 41 42 43 47 48 50 59 60 61 62 66 71 72 73 75 83 88 90 100 111 112 114 116 119 122 131 132 137 139 143 144 147 154 164 166 168 169 179 180 181 186 187 188 189 193 194 196 197 198 200 201 207 216 220 a 4 5 6 7 8 19 22 24 27 32 33 34 35 38 41 42 43 47 48 50 59 60 61 62 66 71 72 73 75 83 88 90 100 111 112 114 116 119 122 131 132 137 139 143 144 147 154 164 166 168 169 179 180 181 186 187 188 189 193 194 196 197 198 199 200 201 207 216 220 a 4 5 6 7 8 19 22 24 27 32 33 34 35 38 41 42 43 47 48 50 51 59 60 61 62 66 71 72 73 75 83 88 90 100 111 112 114 116 119 122 131 132 137 139 143 144 147 154 164 166 168 169 179 180 181 186 187 188 189 193 196 197 198 199 200 201 207 216 220 a 4 5 6 7 8 19 22 24 27 32 33 34 35 38 41 42 43 48 50 51 59 60 61 62 66 71 72 73 75 83 88 90 100 111 112 114 116 119 122 131 132 137 139 143 144 147 154 156 164 166 168 169 179 180 181 186 187 188 189 193 196 197 198 199 200 201 207 216 220 a 4 5 6 7 8 19 22 24 27 32 34 35 38 41 42 43 48 50 51 59 60 61 62 66 71 72 73 75 83 88 90 100 111 112 114 116 119 122 131 132 137 139 143 144 147 154 156 164 166 168 169 176 179 180 181 186 187 188 189 193 196 197 198 199 200 201 207 216 220 a 4 5 6 7 8 19 22 24 27 32 34 35 38 41 42 43 48 50 51 59 60 61 62 66 71 72 73 75 83 88 90 100 111 112 114 116 119 122 131 132 137 139 143 144 147 153 154 156 164 168 169 176 179 180 181 186 187 188 189 193 196 197 198 199 200 201 207 216 220 a 4 5 6 7 8 19 22 24 27 32 34 35 38 41 42 43 48 50 51 59 60 61 62 66 71 72 73 75 83 88 90 100 111 112 114 116 119 131 132 137 139 140 143 144 147 153 154 156 164 168 169 176 179 180 181 186 187 188 189 193 196 197 198 199 200 201 207 216 220 a 4 5 6 7 8 19 22 27 29 32 34 35 38 41 42 43 48 50 51 59 60 61 62 66 71 72 73 75 83 88 90 100 111 112 114 116 119 131 132 137 139 140 143 144 147 153 154 156 164 168 169 176 179 180 181 186 187 188 189 193 196 197 198 199 200 201 207 216 220 a 4 5 6 7 8 19 22 27 29 32 34 35 38 41 42 43 48 50 51 59 60 61 62 66 71 72 73 75 83 84 88 90 100 111 112 114 116 119 131 132 137 139 140 143 144 147 153 154 156 164 168 169 176 179 180 181 186 187 188 189 193 197 198 199 200 201 207 216 220 a 4 5 6 7 8 19 22 27 29 32 35 38 41 42 43 44 48 50 51 59 60 61 62 66 71 72 73 75 83 84 88 90 100 111 112 114 116 119 131 132 137 139 140 143 144 147 153 154 156 164 168 169 176 179 180 181 186 187 188 189 193 197 198 199 200 201 207 216 220 a 4 5 6 7 8 19 20 22 27 29 32 35 38 41 42 43 44 48 50 51 59 60 61 62 66 71 72 73 75 83 84 88 90 100 111 112 114 116 119 131 132 137 139 140 143 144 147 153 154 156 164 169 176 179 180 181 186 187 188 189 193 197 198 199 200 201 207 216 220 a 4 5 6 7 8 12 19 20 22 27 29 32 35 38 41 42 43 44 48 50 51 59 60 61 62 66 71 72 73 75 83 84 88 90 100 111 112 114 116 119 131 132 137 139 140 143 144 147 153 154 156 164 169 176 179 181 186 187 188 189 193 197 198 199 200 201 207 216 220 a 4 5 6 7 8 12 19 20 22 27 29 32 35 38 41 42 43 44 48 50 51 59 60 61 62 66 71 72 73 75 83 84 88 90 100 111 112 114 116 119 131 137 139 140 143 144 147 153 154 156 164 169 176 179 181 186 187 188 189 193 197 198 199 200 201 207 210 216 220 a 4 5 6 7 8 12 19 20 22 27 29 31 32 35 38 42 43 44 48 50 51 59 60 61 62 66 71 72 73 75 83 84 88 90 100 111 112 114 116 119 131 137 139 140 143 144 147 153 154 156 164 169 176 179 181 186 187 188 189 193 197 198 199 200 201 207 210 216 220 a 4 5 6 7 8 12 19 20 22 27 29 31 32 35 38 42 43 44 48 50 51 59 60 61 62 66 71 72 73 75 83 84 88 90 100 108 111 112 114 116 119 131 137 139 140 144 147 153 154 156 164 169 176 179 181 186 187 188 189 193 197 198 199 200 201 207 210 216 220 a 4 5 6 7 8 12 19 20 22 27 29 31 32 35 38 42 43 44 48 50 51 59 60 61 62 66 71 73 75 83 84 88 90 100 108 110 111 112 114 116 119 131 137 139 140 144 147 153 154 156 164 169 176 179 181 186 187 188 189 193 197 198 199 200 201 207 210 216 220 a 4 5 6 7 8 12 19 20 22 27 29 31 32 38 42 43 44 48 50 51 59 60 61 62 66 71 73 75 83 84 88 90 100 108 110 111 112 114 116 119 131 137 139 140 144 147 148 153 154 156 164 169 176 179 181 186 187 188 189 193 197 198 199 200 201 207 210 216 220 a 4 5 6 7 8 12 19 20 27 29 31 32 38 42 43 44 48 50 51 59 60 61 62 66 71 73 75 79 83 84 88 90 100 108 110 111 112 114 116 119 131 137 139 140 144 147 148 153 154 156 164 169 176 179 181 186 187 188 189 193 197 198 199 200 201 207 210 216 220 a 4 5 6 7 8 12 19 20 27 29 31 32 42 43 44 48 50 51 59 60 61 62 66 71 73 75 79 83 84 88 90 100 108 110 111 112 114 116 119 131 137 139 140 144 147 148 153 154 156 164 169 174 176 179 181 186 187 188 189 193 197 198 199 200 201 207 210 216 220 a 4 5 6 7 8 12 19 20 27 29 31 32 42 43 44 48 50 51 59 60 61 62 66 71 73 75 79 83 84 88 90 100 108 110 111 112 114 116 119 131 137 139 140 142 147 148 153 154 156 164 169 174 176 179 181 186 187 188 189 193 197 198 199 200 201 207 210 216 220 a 4 5 6 7 8 12 19 20 27 29 31 32 42 43 44 48 50 51 59 60 61 62 66 71 73 75 79 83 84 88 90 100 108 110 111 112 114 116 119 129 131 137 139 140 142 147 148 153 156 164 169 174 176 179 181 186 187 188 189 193 197 198 199 200 201 207 210 216 220 a 4 5 6 7 8 12 19 20 27 29 31 32 42 43 44 48 50 51 59 60 61 62 66 71 73 75 79 83 84 88 90 100 108 110 111 112 114 116 119 129 131 137 139 140 142 147 148 153 156 164 169 174 176 179 181 187 188 189 193 197 198 199 200 201 207 210 212 216 220 a 4 5 6 7 8 12 19 20 27 29 31 32 42 43 44 48 50 51 59 61 62 63 66 71 73 75 79 83 84 88 90 100 108 110 111 112 114 116 119 129 131 137 139 140 142 147 148 153 156 164 169 174 176 179 181 187 188 189 193 197 198 199 200 201 207 210 212 216 220 a 4 5 6 7 8 12 19 20 27 29 31 32 42 44 48 50 51 59 61 62 63 66 71 73 75 79 83 84 88 90 100 108 110 111 112 114 116 117 119 129 131 137 139 140 142 147 148 153 156 164 169 174 176 179 181 187 188 189 193 197 198 199 200 201 207 210 212 216 220 a 4 5 6 7 8 12 19 20 27 29 31 32 42 44 48 50 51 59 61 62 63 64 66 71 73 75 79 83 84 88 90 100 108 110 112 114 116 117 119 129 131 137 139 140 142 147 148 153 156 164 169 174 176 179 181 187 188 189 193 197 198 199 200 201 207 210 212 216 220 a 4 5 6 8 12 19 20 27 29 31 32 42 44 48 50 51 59 61 62 63 64 66 71 73 75 79 83 84 88 90 100 108 110 112 114 116 117 119 129 131 137 139 140 142 147 148 153 156 164 169 174 176 179 181 187 188 189 193 197 198 199 200 201 202 207 210 212 216 220 a 4 5 6 8 12 18 19 20 27 29 31 32 42 44 48 50 51 59 61 62 63 64 66 71 73 75 79 83 84 88 90 100 108 110 112 114 116 117 119 129 131 137 139 140 142 147 148 153 156 164 169 174 176 179 181 187 188 189 193 197 198 199 200 201 202 207 210 212 216 a 4 5 6 8 12 18 19 20 27 29 31 32 42 44 48 50 51 59 61 62 63 64 66 71 73 75 79 83 84 88 90 100 108 110 112 116 117 119 129 131 137 139 140 142 147 148 153 156 164 169 174 176 179 181 187 188 189 191 193 197 198 199 200 201 202 207 210 212 216 a 4 5 6 8 12 18 19 20 27 29 31 42 44 48 50 51 59 61 62 63 64 66 71 73 75 79 83 84 88 90 99 100 108 110 112 116 117 119 129 131 137 139 140 142 147 148 153 156 164 169 174 176 179 181 187 188 189 191 193 197 198 199 200 201 202 207 210 212 216 a 4 5 6 8 12 18 19 20 27 29 31 42 44 48 50 51 59 61 62 63 64 66 71 73 75 79 83 84 88 90 99 100 108 110 112 116 117 119 129 131 137 139 140 142 147 148 153 156 158 164 169 174 176 179 181 187 188 189 191 193 197 198 199 200 202 207 210 212 216 a 4 5 6 8 10 12 18 19 20 27 29 31 42 44 48 50 51 59 61 62 63 64 66 71 73 75 79 83 84 88 90 99 108 110 112 116 117 119 129 131 137 139 140 142 147 148 153 156 158 164 169 174 176 179 181 187 188 189 191 193 197 198 199 200 202 207 210 212 216 a 4 5 6 8 10 12 18 19 20 27 29 31 42 44 48 50 51 59 61 62 63 64 66 71 73 75 79 83 84 88 90 99 108 110 112 116 117 119 129 131 137 139 140 142 147 148 153 156 158 163 164 169 174 176 179 181 187 188 189 191 193 197 198 199 202 207 210 212 216 a 4 5 6 8 10 12 18 19 20 27 29 31 42 44 48 50 51 59 61 63 64 66 71 73 75 79 83 84 88 90 99 108 110 112 116 117 119 129 131 137 139 140 142 147 148 153 156 158 160 163 164 169 174 176 179 181 187 188 189 191 193 197 198 199 202 207 210 212 216 a 4 5 6 8 10 12 18 19 20 27 29 31 42 44 48 50 51 59 61 63 64 66 71 73 79 83 84 88 90 99 108 110 112 116 117 119 129 131 137 139 140 142 147 148 153 156 158 159 160 163 164 169 174 176 179 181 187 188 189 191 193 197 198 199 202 207 210 212 216 a 5 6 8 10 12 18 19 20 27 29 31 42 44 48 50 51 59 61 63 64 66 71 73 79 83 84 88 90 99 108 110 112 116 117 119 129 131 137 139 140 142 147 148 153 156 158 159 160 162 163 164 169 174 176 179 181 187 188 189 191 193 197 198 199 202 207 210 212 216 c Step: 43 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance017_graph002.col /benchmark/random_instance/random_instance017_graph002_01.dat" User time (seconds): 0.74 System time (seconds): 0.04 Percent of CPU this job got: 129% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.61 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): 81896 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 46664 Voluntary context switches: 2195 Involuntary context switches: 5 Swaps: 0 File system inputs: 0 File system outputs: 192 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 15:09:12 2023]