#BEGIN: [Mon Sep 4 15:09:10 2023] #HOST: s08 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance016_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance016_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_instance016_graph002.col /benchmark/random_instance/random_instance016_graph002_01.dat c /benchmark/random_instance/random_instance016_graph002.col c /benchmark/random_instance/random_instance016_graph002_01.dat s 191 98 164 150 157 39 128 50 123 124 202 19 105 69 138 22 175 64 110 63 73 91 97 62 141 188 112 38 177 74 71 85 113 137 180 176 35 148 144 60 40 190 121 108 129 4 48 194 77 104 153 115 59 125 84 43 42 139 58 82 111 156 200 192 96 45 t 175 204 195 34 166 171 164 69 121 156 95 191 138 55 206 154 91 193 117 64 155 174 126 32 90 6 97 94 152 103 139 7 71 11 49 107 192 199 134 137 59 148 168 147 38 118 186 198 81 180 162 63 48 105 88 123 106 111 101 165 119 45 158 120 47 114 a YES a 4 19 22 35 38 39 40 42 43 45 48 50 58 59 60 62 63 64 69 71 73 74 77 82 84 85 91 96 97 98 104 105 108 110 111 112 113 115 121 123 124 125 128 129 137 138 139 141 144 148 150 153 156 157 164 175 176 177 180 188 190 191 192 194 200 202 a 4 19 22 35 38 39 40 42 43 45 48 58 59 60 62 63 64 69 71 73 74 77 82 84 85 91 95 96 97 98 104 105 108 110 111 112 113 115 121 123 124 125 128 129 137 138 139 141 144 148 150 153 156 157 164 175 176 177 180 188 190 191 192 194 200 202 a 4 19 22 35 38 39 40 42 43 45 48 58 59 60 62 63 64 69 71 73 74 77 82 84 85 91 95 96 97 98 104 105 108 110 111 112 113 115 121 123 124 125 128 129 137 138 139 141 144 148 150 153 156 157 164 175 176 177 180 188 190 191 192 195 200 202 a 4 19 22 35 38 39 40 42 43 45 48 58 59 60 62 63 64 69 71 73 74 77 82 85 91 95 96 97 98 104 105 108 110 111 112 113 115 121 123 124 125 128 129 137 138 139 141 144 148 150 153 156 157 164 166 175 176 177 180 188 190 191 192 195 200 202 a 4 19 22 35 38 39 40 42 43 45 48 58 59 60 62 63 64 69 71 73 74 77 82 85 91 95 96 97 98 104 105 108 110 111 112 113 115 120 121 123 124 125 128 129 137 138 139 144 148 150 153 156 157 164 166 175 176 177 180 188 190 191 192 195 200 202 a 4 6 19 22 35 38 40 42 43 45 48 58 59 60 62 63 64 69 71 73 74 77 82 85 91 95 96 97 98 104 105 108 110 111 112 113 115 120 121 123 124 125 128 129 137 138 139 144 148 150 153 156 157 164 166 175 176 177 180 188 190 191 192 195 200 202 a 4 6 19 22 35 38 40 42 43 45 48 58 59 60 62 63 64 69 71 73 74 77 82 85 91 95 96 97 98 101 104 105 108 110 111 112 113 115 120 121 123 124 125 128 129 137 138 139 148 150 153 156 157 164 166 175 176 177 180 188 190 191 192 195 200 202 a 4 6 19 22 35 38 42 43 45 48 58 59 60 62 63 64 69 71 73 74 77 82 85 91 95 96 97 98 101 104 105 106 108 110 111 112 113 115 120 121 123 124 125 128 129 137 138 139 148 150 153 156 157 164 166 175 176 177 180 188 190 191 192 195 200 202 a 4 6 19 22 35 38 42 43 45 48 58 59 60 62 63 64 69 71 73 74 77 82 85 91 95 96 97 98 101 105 106 108 110 111 112 113 115 120 121 123 124 125 128 129 137 138 139 148 150 153 156 157 164 166 171 175 176 177 180 188 190 191 192 195 200 202 a 4 6 19 22 35 38 42 43 45 48 58 59 60 62 63 64 69 71 73 74 77 82 85 91 94 95 96 97 98 101 105 106 108 110 111 112 113 115 120 121 123 124 125 128 129 137 138 139 148 150 153 156 157 164 166 171 175 177 180 188 190 191 192 195 200 202 a 4 6 19 22 35 38 42 43 45 48 58 59 60 62 63 64 69 71 73 74 77 82 85 91 94 95 96 97 98 101 105 106 108 110 111 112 113 115 120 121 123 124 125 128 129 137 138 139 148 150 152 153 156 157 164 166 171 175 177 180 190 191 192 195 200 202 a 4 6 19 22 35 38 42 43 45 48 58 59 60 62 63 64 69 71 73 74 77 82 85 91 94 95 96 97 98 101 105 106 108 110 111 112 113 115 120 121 123 124 125 128 129 137 138 139 148 150 152 153 156 164 166 171 175 177 180 190 191 192 195 198 200 202 a 4 6 19 22 35 38 42 43 45 47 48 58 59 60 62 63 64 69 71 73 74 77 82 85 91 94 95 96 97 98 101 105 106 108 110 111 112 113 115 120 121 123 124 125 128 129 137 138 139 148 152 153 156 164 166 171 175 177 180 190 191 192 195 198 200 202 a 4 6 19 22 32 35 38 42 43 45 47 48 58 59 60 62 63 64 69 71 73 74 77 82 85 91 94 95 96 97 98 101 105 106 108 110 111 112 115 120 121 123 124 125 128 129 137 138 139 148 152 153 156 164 166 171 175 177 180 190 191 192 195 198 200 202 a 4 6 22 32 35 38 42 43 45 47 48 58 59 60 62 63 64 69 71 73 74 77 82 85 91 94 95 96 97 98 101 105 106 108 110 111 112 115 120 121 123 124 125 128 129 137 138 139 148 152 153 156 158 164 166 171 175 177 180 190 191 192 195 198 200 202 a 4 6 22 32 35 38 43 45 47 48 58 59 60 62 63 64 69 71 73 74 77 82 85 91 94 95 96 97 98 101 105 106 108 110 111 112 115 120 121 123 124 125 128 129 137 138 139 148 152 153 156 158 164 166 171 175 177 180 190 191 192 195 198 200 202 204 a 4 6 22 32 35 38 43 45 47 48 58 59 60 62 63 64 69 71 73 74 77 82 85 91 94 95 96 97 98 101 105 106 108 110 111 112 115 120 121 123 124 125 128 129 137 138 139 148 152 153 156 158 162 164 166 171 175 177 180 190 191 192 195 198 200 204 a 4 6 11 22 32 35 38 43 45 47 48 58 59 60 62 63 64 69 71 73 74 77 82 85 91 94 95 96 97 98 101 105 106 108 110 111 112 115 120 121 123 124 125 128 129 137 138 139 148 152 153 156 158 162 164 166 171 175 177 180 191 192 195 198 200 204 a 4 6 11 22 32 35 38 43 45 47 48 58 59 60 63 64 69 71 73 74 77 82 85 91 94 95 96 97 98 101 105 106 108 110 111 112 115 120 121 123 124 125 128 129 137 138 139 148 152 153 155 156 158 162 164 166 171 175 177 180 191 192 195 198 200 204 a 4 6 11 22 32 35 38 43 45 47 48 58 59 60 63 64 69 71 74 77 82 85 91 94 95 96 97 98 101 105 106 108 110 111 112 115 120 121 123 124 125 128 129 137 138 139 147 148 152 153 155 156 158 162 164 166 171 175 177 180 191 192 195 198 200 204 a 4 6 11 22 32 35 38 45 47 48 58 59 60 63 64 69 71 74 77 82 85 91 94 95 96 97 98 101 105 106 108 110 111 112 115 119 120 121 123 124 125 128 129 137 138 139 147 148 152 153 155 156 158 162 164 166 171 175 177 180 191 192 195 198 200 204 a 6 11 22 32 35 38 45 47 48 58 59 60 63 64 69 71 74 77 82 85 88 91 94 95 96 97 98 101 105 106 108 110 111 112 115 119 120 121 123 124 125 128 129 137 138 139 147 148 152 153 155 156 158 162 164 166 171 175 177 180 191 192 195 198 200 204 a 6 11 22 32 35 38 45 47 48 58 59 60 63 64 69 71 74 77 82 85 88 91 94 95 96 97 98 101 105 106 107 108 110 111 112 115 119 120 121 123 124 125 128 129 137 138 139 147 148 152 153 155 156 158 162 164 166 171 175 180 191 192 195 198 200 204 a 6 11 22 32 35 38 45 47 48 58 59 60 63 64 69 71 74 77 82 88 91 94 95 96 97 98 101 105 106 107 108 110 111 112 115 119 120 121 123 124 125 128 129 137 138 139 147 148 152 153 155 156 158 162 164 166 171 175 180 191 192 193 195 198 200 204 a 6 11 22 32 35 38 45 47 48 58 59 60 63 64 69 71 74 77 82 88 91 94 95 96 97 101 105 106 107 108 110 111 112 115 119 120 121 123 124 125 128 129 137 138 139 147 148 152 153 154 155 156 158 162 164 166 171 175 180 191 192 193 195 198 200 204 a 6 11 22 32 35 38 45 47 48 58 59 60 63 64 69 71 74 77 82 88 91 94 95 96 97 101 105 106 107 108 111 112 115 119 120 121 123 124 125 126 128 129 137 138 139 147 148 152 153 154 155 156 158 162 164 166 171 175 180 191 192 193 195 198 200 204 a 6 11 22 32 35 38 45 47 48 59 60 63 64 69 71 74 77 82 88 91 94 95 96 97 101 103 105 106 107 108 111 112 115 119 120 121 123 124 125 126 128 129 137 138 139 147 148 152 153 154 155 156 158 162 164 166 171 175 180 191 192 193 195 198 200 204 a 6 11 22 32 35 38 45 47 48 59 60 63 64 69 71 77 81 82 88 91 94 95 96 97 101 103 105 106 107 108 111 112 115 119 120 121 123 124 125 126 128 129 137 138 139 147 148 152 153 154 155 156 158 162 164 166 171 175 180 191 192 193 195 198 200 204 a 6 11 32 35 38 45 47 48 59 60 63 64 69 71 77 81 82 88 91 94 95 96 97 101 103 105 106 107 108 111 112 115 119 120 121 123 124 125 126 128 129 137 138 139 147 148 152 153 154 155 156 158 162 164 166 171 175 180 191 192 193 195 198 199 200 204 a 6 11 32 35 38 45 47 48 59 60 63 64 69 71 77 81 82 88 91 94 95 97 101 103 105 106 107 108 111 112 115 119 120 121 123 124 125 126 128 129 137 138 139 147 148 152 153 154 155 156 158 162 164 166 171 175 180 186 191 192 193 195 198 199 200 204 a 6 7 11 32 35 38 45 47 48 59 60 63 64 69 71 77 81 82 88 91 94 95 97 101 103 105 106 107 108 111 112 115 119 120 121 123 125 126 128 129 137 138 139 147 148 152 153 154 155 156 158 162 164 166 171 175 180 186 191 192 193 195 198 199 200 204 a 6 7 11 32 35 38 45 47 48 59 60 63 64 69 71 77 81 88 91 94 95 97 101 103 105 106 107 108 111 112 115 119 120 121 123 125 126 128 129 137 138 139 147 148 152 153 154 155 156 158 162 164 166 171 175 180 186 191 192 193 195 198 199 200 204 206 a 6 7 11 32 35 38 45 47 48 59 60 63 64 69 71 77 81 88 91 94 95 97 101 103 105 106 107 108 111 112 115 119 120 121 123 125 126 128 134 137 138 139 147 148 152 153 154 155 156 158 162 164 166 171 175 180 186 191 192 193 195 198 199 200 204 206 a 6 7 11 32 35 38 45 47 48 59 60 63 64 69 71 81 88 90 91 94 95 97 101 103 105 106 107 108 111 112 115 119 120 121 123 125 126 128 134 137 138 139 147 148 152 153 154 155 156 158 162 164 166 171 175 180 186 191 192 193 195 198 199 200 204 206 a 6 7 11 32 35 38 45 47 48 59 60 63 64 69 71 81 88 90 91 94 95 97 101 103 105 106 107 108 111 112 115 119 120 121 123 125 126 128 134 137 138 139 147 148 152 154 155 156 158 162 164 166 168 171 175 180 186 191 192 193 195 198 199 200 204 206 a 6 7 11 32 38 45 47 48 49 59 60 63 64 69 71 81 88 90 91 94 95 97 101 103 105 106 107 108 111 112 115 119 120 121 123 125 126 128 134 137 138 139 147 148 152 154 155 156 158 162 164 166 168 171 175 180 186 191 192 193 195 198 199 200 204 206 a 6 7 11 32 38 45 47 48 49 59 60 63 64 69 71 81 88 90 91 94 95 97 101 103 105 106 107 108 111 112 118 119 120 121 123 125 126 128 134 137 138 139 147 148 152 154 155 156 158 162 164 166 168 171 175 180 186 191 192 193 195 198 199 200 204 206 a 6 7 11 32 38 45 47 48 49 59 60 63 64 69 71 81 88 90 91 94 95 97 101 103 105 106 107 108 111 112 117 118 119 120 121 123 126 128 134 137 138 139 147 148 152 154 155 156 158 162 164 166 168 171 175 180 186 191 192 193 195 198 199 200 204 206 a 6 7 11 32 38 45 47 48 49 55 59 60 63 64 69 71 81 88 90 91 94 95 97 101 103 105 106 107 111 112 117 118 119 120 121 123 126 128 134 137 138 139 147 148 152 154 155 156 158 162 164 166 168 171 175 180 186 191 192 193 195 198 199 200 204 206 a 6 7 11 32 34 38 45 47 48 49 55 59 60 63 64 69 71 81 88 90 91 94 95 97 101 103 105 106 107 111 117 118 119 120 121 123 126 128 134 137 138 139 147 148 152 154 155 156 158 162 164 166 168 171 175 180 186 191 192 193 195 198 199 200 204 206 a 6 7 11 32 34 38 45 47 48 49 55 59 63 64 69 71 81 88 90 91 94 95 97 101 103 105 106 107 111 114 117 118 119 120 121 123 126 128 134 137 138 139 147 148 152 154 155 156 158 162 164 166 168 171 175 180 186 191 192 193 195 198 199 200 204 206 a 6 7 11 32 34 38 45 47 48 49 55 59 63 64 69 71 81 88 90 91 94 95 97 101 103 105 106 107 111 114 117 118 119 120 121 123 126 128 134 137 138 139 147 148 152 154 155 156 158 162 164 166 168 171 174 175 180 186 191 192 193 195 198 199 204 206 a 6 7 11 32 34 38 45 47 48 49 55 59 63 64 69 71 81 88 90 91 94 95 97 101 103 105 106 107 111 114 117 118 119 120 121 123 126 134 137 138 139 147 148 152 154 155 156 158 162 164 165 166 168 171 174 175 180 186 191 192 193 195 198 199 204 206 c Step: 42 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance016_graph002.col /benchmark/random_instance/random_instance016_graph002_01.dat" User time (seconds): 0.73 System time (seconds): 0.05 Percent of CPU this job got: 135% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.58 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): 75372 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 43679 Voluntary context switches: 1851 Involuntary context switches: 6 Swaps: 0 File system inputs: 0 File system outputs: 176 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 15:09:11 2023]