#BEGIN: [Tue Sep 26 03:22:43 2023] #HOST: s01 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance016_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance016_graph001_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_instance016_graph001.col /benchmark/random_instance/random_instance016_graph001_01.dat c /benchmark/random_instance/random_instance016_graph001.col c /benchmark/random_instance/random_instance016_graph001_01.dat s 97 115 47 40 71 59 88 6 32 7 91 150 72 55 10 142 136 184 200 22 131 61 204 35 201 13 111 190 69 177 1 123 31 140 208 189 83 186 132 58 36 121 76 133 206 89 41 29 171 34 183 162 11 191 124 144 33 17 141 51 120 78 127 53 86 148 207 154 t 193 58 149 41 15 126 53 161 12 190 71 180 115 140 33 186 133 84 95 23 47 146 118 31 35 68 121 27 128 181 52 122 6 156 40 132 177 188 46 191 62 169 105 111 125 18 34 108 147 67 100 29 144 200 179 114 207 11 36 173 78 21 94 69 50 124 184 137 a YES a 1 6 7 10 11 13 17 22 29 31 32 33 34 35 36 40 41 47 51 53 55 58 59 61 69 71 72 76 78 83 86 88 89 91 97 111 115 120 121 123 124 127 131 132 133 136 140 141 142 144 148 150 154 162 171 177 183 184 186 189 190 191 200 201 204 206 207 208 a 1 6 7 10 11 13 17 22 29 31 32 33 34 35 36 40 41 47 51 53 55 58 59 61 69 71 72 76 78 83 86 88 89 91 97 111 115 120 121 123 124 127 131 132 133 136 140 141 142 144 148 150 154 162 171 177 181 183 184 186 189 190 191 200 201 204 207 208 a 1 6 7 10 11 13 17 29 31 32 33 34 35 36 40 41 47 51 53 55 58 59 61 69 71 72 76 78 83 86 88 89 91 97 111 115 120 121 123 124 127 131 132 133 136 140 141 142 144 148 150 154 162 171 177 181 183 184 186 188 189 190 191 200 201 204 207 208 a 1 6 7 10 11 13 17 29 31 32 33 34 35 36 40 41 46 47 51 53 55 58 59 69 71 72 76 78 83 86 88 89 91 97 111 115 120 121 123 124 127 131 132 133 136 140 141 142 144 148 150 154 162 171 177 181 183 184 186 188 189 190 191 200 201 204 207 208 a 1 6 7 10 11 13 17 18 29 31 32 33 34 35 36 40 41 46 47 51 53 55 58 59 69 71 72 76 78 83 86 88 91 97 111 115 120 121 123 124 127 131 132 133 136 140 141 142 144 148 150 154 162 171 177 181 183 184 186 188 189 190 191 200 201 204 207 208 a 1 6 7 10 11 13 17 18 29 31 32 33 34 35 36 40 41 46 47 51 53 55 58 59 67 69 71 72 76 78 83 86 88 91 97 111 115 120 121 123 124 127 131 132 133 136 140 141 144 148 150 154 162 171 177 181 183 184 186 188 189 190 191 200 201 204 207 208 a 1 6 7 10 11 13 17 18 27 29 31 32 33 34 35 36 40 41 46 47 51 53 55 58 59 67 69 71 72 76 78 83 86 91 97 111 115 120 121 123 124 127 131 132 133 136 140 141 144 148 150 154 162 171 177 181 183 184 186 188 189 190 191 200 201 204 207 208 a 1 6 7 10 11 13 17 18 27 29 31 32 33 34 35 36 40 41 46 47 51 53 55 58 59 67 69 71 72 76 78 83 86 91 97 111 115 120 121 123 124 127 131 132 133 136 140 141 144 148 154 156 162 171 177 181 183 184 186 188 189 190 191 200 201 204 207 208 a 1 6 7 10 11 13 17 18 27 29 31 32 33 34 35 36 40 41 46 47 51 53 55 58 59 67 69 71 72 76 78 83 86 91 97 100 111 115 120 121 124 127 131 132 133 136 140 141 144 148 154 156 162 171 177 181 183 184 186 188 189 190 191 200 201 204 207 208 a 1 6 7 10 11 13 17 18 21 27 29 31 32 33 34 35 36 40 41 46 47 51 53 55 58 59 67 69 71 72 76 78 83 86 91 97 100 111 115 120 121 124 127 131 132 133 136 140 144 148 154 156 162 171 177 181 183 184 186 188 189 190 191 200 201 204 207 208 a 1 6 7 10 11 13 17 18 21 27 29 31 32 33 34 35 36 40 41 46 47 51 53 55 58 59 67 69 71 72 76 78 83 86 91 100 111 115 120 121 124 127 131 132 133 136 140 144 146 148 154 156 162 171 177 181 183 184 186 188 189 190 191 200 201 204 207 208 a 1 6 7 10 11 13 17 18 21 27 29 31 32 33 34 35 36 40 41 46 47 51 53 55 58 59 67 69 71 72 76 78 83 86 91 100 111 115 120 121 124 131 132 133 136 140 144 146 148 149 154 156 162 171 177 181 183 184 186 188 189 190 191 200 201 204 207 208 a 1 6 7 10 11 13 17 18 21 27 29 31 32 33 34 35 36 40 41 46 47 51 53 55 58 59 67 69 71 72 76 78 83 84 86 91 100 111 115 120 121 124 131 132 133 136 140 144 146 148 149 154 156 162 177 181 183 184 186 188 189 190 191 200 201 204 207 208 a 1 6 7 10 11 12 13 17 18 21 27 29 31 32 33 34 35 36 40 41 46 47 51 53 55 58 59 67 69 71 76 78 83 84 86 91 100 111 115 120 121 124 131 132 133 136 140 144 146 148 149 154 156 162 177 181 183 184 186 188 189 190 191 200 201 204 207 208 a 1 6 7 10 11 12 13 17 18 21 27 29 31 32 33 34 35 36 40 41 46 47 51 53 55 58 59 67 69 71 76 78 83 84 86 91 100 111 115 120 121 124 131 132 133 136 140 144 146 148 149 154 156 162 177 179 181 183 184 186 188 189 190 191 200 201 204 207 a 1 6 7 10 11 12 13 17 18 21 27 29 31 32 33 34 35 36 40 41 46 47 50 51 53 55 58 59 67 69 71 76 78 83 84 86 91 100 111 115 120 121 124 131 132 133 136 140 144 146 148 149 154 156 162 177 179 181 184 186 188 189 190 191 200 201 204 207 a 1 6 7 10 11 12 13 17 18 21 27 29 31 33 34 35 36 40 41 46 47 50 51 53 55 58 59 67 69 71 76 78 83 84 86 91 100 111 115 120 121 124 126 131 132 133 136 140 144 146 148 149 154 156 162 177 179 181 184 186 188 189 190 191 200 201 204 207 a 1 6 7 10 11 12 13 17 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 51 53 55 58 67 69 71 76 78 83 84 86 91 100 111 115 120 121 124 126 131 132 133 136 140 144 146 148 149 154 156 162 177 179 181 184 186 188 189 190 191 200 201 204 207 a 1 6 7 10 11 12 13 17 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 51 53 55 58 67 69 71 76 78 83 84 86 91 100 111 115 120 121 124 125 126 131 132 133 136 140 144 146 148 149 154 156 162 177 179 181 184 186 188 189 190 191 200 201 207 a 1 6 7 10 11 12 13 17 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 51 53 55 58 67 68 69 71 76 78 83 84 86 91 100 111 115 120 121 124 125 126 131 132 133 140 144 146 148 149 154 156 162 177 179 181 184 186 188 189 190 191 200 201 207 a 1 6 7 10 11 12 13 17 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 51 53 58 67 68 69 71 76 78 83 84 86 91 94 100 111 115 120 121 124 125 126 131 132 133 140 144 146 148 149 154 156 162 177 179 181 184 186 188 189 190 191 200 201 207 a 1 6 7 10 11 12 13 17 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 51 53 58 67 68 69 71 78 83 84 86 91 94 100 111 115 120 121 124 125 126 131 132 133 140 144 146 148 149 154 156 161 162 177 179 181 184 186 188 189 190 191 200 201 207 a 1 6 10 11 12 13 17 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 51 53 58 67 68 69 71 78 83 84 86 91 94 100 111 115 120 121 124 125 126 131 132 133 140 144 146 148 149 154 156 161 162 173 177 179 181 184 186 188 189 190 191 200 201 207 a 1 6 10 11 12 13 17 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 51 52 53 58 67 68 69 71 78 83 84 91 94 100 111 115 120 121 124 125 126 131 132 133 140 144 146 148 149 154 156 161 162 173 177 179 181 184 186 188 189 190 191 200 201 207 a 1 6 10 11 12 13 17 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 51 52 53 58 67 68 69 71 78 83 84 91 94 100 111 115 120 121 124 125 126 131 132 133 140 144 146 148 149 154 156 161 173 177 179 181 184 186 188 189 190 191 193 200 201 207 a 1 6 10 11 12 17 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 51 52 53 58 67 68 69 71 78 83 84 91 94 100 111 115 120 121 122 124 125 126 131 132 133 140 144 146 148 149 154 156 161 173 177 179 181 184 186 188 189 190 191 193 200 201 207 a 1 6 10 11 12 17 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 51 52 53 58 67 68 69 71 78 83 84 91 94 100 111 115 120 121 122 124 125 126 128 132 133 140 144 146 148 149 154 156 161 173 177 179 181 184 186 188 189 190 191 193 200 201 207 a 1 6 10 11 12 17 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 51 52 53 58 67 68 69 71 78 83 84 91 94 100 105 111 115 121 122 124 125 126 128 132 133 140 144 146 148 149 154 156 161 173 177 179 181 184 186 188 189 190 191 193 200 201 207 a 1 6 10 11 12 17 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 51 52 53 58 67 68 69 71 78 83 84 91 94 100 105 111 115 121 122 124 125 126 128 132 133 137 140 144 146 148 149 154 156 161 173 177 179 181 184 186 188 189 190 191 193 200 207 a 6 10 11 12 17 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 51 52 53 58 67 68 69 71 78 83 84 91 94 100 105 111 115 121 122 124 125 126 128 132 133 137 140 144 146 148 149 154 156 161 173 177 179 180 181 184 186 188 189 190 191 193 200 207 a 6 10 11 12 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 51 52 53 58 67 68 69 71 78 83 84 91 94 100 105 111 115 121 122 124 125 126 128 132 133 137 140 144 146 148 149 154 156 161 169 173 177 179 180 181 184 186 188 189 190 191 193 200 207 a 6 10 11 12 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 51 52 53 58 67 68 69 71 78 83 84 94 100 105 108 111 115 121 122 124 125 126 128 132 133 137 140 144 146 148 149 154 156 161 169 173 177 179 180 181 184 186 188 189 190 191 193 200 207 a 6 10 11 12 15 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 51 52 53 58 67 68 69 71 78 84 94 100 105 108 111 115 121 122 124 125 126 128 132 133 137 140 144 146 148 149 154 156 161 169 173 177 179 180 181 184 186 188 189 190 191 193 200 207 a 6 10 11 12 15 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 51 52 53 58 67 68 69 71 78 84 94 95 100 105 108 111 115 121 122 124 125 126 128 132 133 137 140 144 146 148 149 156 161 169 173 177 179 180 181 184 186 188 189 190 191 193 200 207 a 6 11 12 15 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 51 52 53 58 67 68 69 71 78 84 94 95 100 105 108 111 114 115 121 122 124 125 126 128 132 133 137 140 144 146 148 149 156 161 169 173 177 179 180 181 184 186 188 189 190 191 193 200 207 a 6 11 12 15 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 51 52 53 58 67 68 69 71 78 84 94 95 100 105 108 111 114 115 121 122 124 125 126 128 132 133 137 140 144 146 147 148 149 156 161 169 173 177 179 180 181 184 186 188 190 191 193 200 207 a 6 11 12 15 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 52 53 58 67 68 69 71 78 84 94 95 100 105 108 111 114 115 118 121 122 124 125 126 128 132 133 137 140 144 146 147 148 149 156 161 169 173 177 179 180 181 184 186 188 190 191 193 200 207 a 6 11 12 15 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 52 53 58 62 67 68 69 71 78 84 94 95 100 105 108 111 114 115 118 121 122 124 125 126 128 132 133 137 140 144 146 147 149 156 161 169 173 177 179 180 181 184 186 188 190 191 193 200 207 c Step: 37 Command being timed: "python3 run_3.py --shortest /benchmark/random_instance/random_instance016_graph001.col /benchmark/random_instance/random_instance016_graph001_01.dat" User time (seconds): 0.41 System time (seconds): 0.02 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.44 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): 43068 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 32140 Voluntary context switches: 18 Involuntary context switches: 3 Swaps: 0 File system inputs: 0 File system outputs: 168 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 03:22:44 2023]