#BEGIN: [Mon Sep 4 12:43:02 2023] #HOST: s12 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance016_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance016_graph005_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest -t4 /benchmark/random_instance/random_instance016_graph005.col /benchmark/random_instance/random_instance016_graph005_01.dat c /benchmark/random_instance/random_instance016_graph005.col c /benchmark/random_instance/random_instance016_graph005_01.dat s 66 4 205 62 156 36 116 35 75 104 99 158 152 78 198 11 145 91 97 120 2 71 194 42 203 50 168 139 161 34 13 180 187 46 133 166 135 33 94 174 84 140 192 5 160 10 181 90 28 40 165 98 55 108 23 184 102 147 77 131 127 26 186 101 162 54 193 150 129 188 115 196 t 46 200 70 171 192 19 62 5 52 122 137 177 48 25 110 4 135 44 134 194 43 120 147 170 92 114 51 99 58 208 55 60 169 189 100 138 37 32 108 121 89 91 191 183 142 42 56 11 6 196 145 139 64 129 69 3 166 109 186 88 118 175 102 98 57 53 31 181 72 184 36 123 a YES a 2 4 5 10 11 13 23 26 28 33 34 35 36 40 42 46 50 54 55 62 66 71 75 77 78 84 90 91 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 192 193 194 196 198 203 205 a 2 4 5 10 11 13 23 26 28 33 34 35 36 40 42 46 54 55 62 66 71 75 77 78 84 90 91 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 137 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 192 193 194 196 198 203 205 a 2 4 5 10 11 13 26 28 33 34 35 36 40 42 46 54 55 62 66 71 75 77 78 84 90 91 92 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 137 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 192 193 194 196 198 203 205 a 2 4 5 10 11 13 26 28 33 34 35 36 40 42 46 52 54 55 62 66 71 75 77 78 84 90 91 92 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 137 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 192 193 194 196 198 203 a 2 4 5 10 11 13 26 28 33 34 35 36 40 42 46 52 54 55 60 62 66 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 115 116 120 127 129 131 133 135 137 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 192 193 194 196 198 203 a 2 4 5 10 11 13 26 28 33 34 35 36 40 42 46 52 54 55 60 62 66 71 75 77 78 84 90 91 92 94 98 99 101 102 104 108 110 115 116 120 127 129 131 133 135 137 139 140 145 147 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 192 193 194 196 198 203 a 2 4 5 10 11 13 26 28 32 33 34 35 36 40 42 46 52 54 55 60 62 66 71 75 77 78 84 90 91 92 98 99 101 102 104 108 110 115 116 120 127 129 131 133 135 137 139 140 145 147 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 192 193 194 196 198 203 a 2 4 5 10 11 13 25 26 28 32 33 35 36 40 42 46 52 54 55 60 62 66 71 75 77 78 84 90 91 92 98 99 101 102 104 108 110 115 116 120 127 129 131 133 135 137 139 140 145 147 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 192 193 194 196 198 203 a 2 4 5 10 11 13 25 26 28 32 33 35 36 40 42 46 48 52 54 55 60 62 66 71 75 77 78 84 90 91 92 98 99 101 102 104 108 110 115 116 120 127 129 131 133 135 137 139 140 145 147 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 192 193 194 196 198 203 a 2 4 5 10 11 13 25 26 28 32 33 35 36 40 42 46 48 52 54 55 60 62 66 71 75 77 78 84 90 91 92 98 99 101 102 104 108 110 115 116 120 127 129 131 133 135 137 138 139 140 145 147 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 192 193 194 196 203 a 2 4 5 10 11 13 25 26 28 32 33 35 36 40 42 46 48 52 54 55 60 62 66 71 75 77 78 84 90 91 92 98 99 101 102 104 108 110 115 116 120 127 129 131 133 135 137 138 139 140 142 145 147 156 158 160 161 162 165 166 174 180 181 184 186 187 188 192 193 194 196 203 a 2 4 5 10 11 13 25 26 28 32 33 35 36 40 42 46 48 52 54 55 60 62 66 71 72 75 77 78 84 90 91 92 98 99 101 102 104 108 110 115 116 120 127 129 131 133 135 137 138 139 140 142 145 147 156 158 160 162 165 166 174 180 181 184 186 187 188 192 193 194 196 203 a 2 4 5 10 11 13 25 26 28 32 33 35 36 40 42 44 46 48 52 54 55 60 62 66 71 72 75 77 78 84 90 91 92 98 99 101 102 104 108 110 115 116 120 127 129 131 133 135 137 138 139 140 142 145 147 156 158 160 162 165 166 174 180 181 184 186 187 188 192 194 196 203 a 2 4 5 10 11 13 25 26 32 33 35 36 40 42 44 46 48 52 54 55 58 60 62 66 71 72 75 77 78 84 90 91 92 98 99 101 102 104 108 110 115 116 120 127 129 131 133 135 137 138 139 140 142 145 147 156 158 160 162 165 166 174 180 181 184 186 187 188 192 194 196 203 a 2 4 5 10 11 13 25 26 32 33 35 36 40 42 44 46 48 51 52 54 55 58 60 62 66 71 72 75 77 78 84 90 91 92 98 99 101 102 104 108 110 115 120 127 129 131 133 135 137 138 139 140 142 145 147 156 158 160 162 165 166 174 180 181 184 186 187 188 192 194 196 203 a 2 4 5 10 11 13 25 26 32 33 35 36 40 42 44 46 48 51 52 54 55 58 60 62 66 71 72 75 77 78 84 90 91 92 98 99 101 102 104 108 110 115 120 127 129 131 133 135 137 138 139 140 142 145 147 158 160 162 165 166 174 180 181 184 186 187 188 189 192 194 196 203 a 2 4 5 10 11 13 25 26 31 32 33 35 36 40 42 44 46 48 51 52 54 55 58 60 62 66 71 72 75 77 78 84 90 91 92 98 99 102 104 108 110 115 120 127 129 131 133 135 137 138 139 140 142 145 147 158 160 162 165 166 174 180 181 184 186 187 188 189 192 194 196 203 a 2 4 5 10 11 13 25 26 31 32 33 35 36 40 42 44 46 48 51 52 54 55 58 60 62 66 71 72 75 77 78 84 90 91 92 98 99 102 104 108 110 115 120 127 129 131 133 135 137 138 139 140 142 145 147 158 160 162 166 174 177 180 181 184 186 187 188 189 192 194 196 203 a 2 4 5 11 13 25 26 31 32 33 35 36 40 42 44 46 48 51 52 54 55 58 60 62 66 71 72 75 77 78 84 88 90 91 92 98 99 102 104 108 110 115 120 127 129 131 133 135 137 138 139 140 142 145 147 158 160 162 166 174 177 180 181 184 186 187 188 189 192 194 196 203 a 2 4 5 11 13 25 26 31 32 33 35 36 40 42 44 46 48 51 52 53 54 55 58 60 62 66 71 72 75 77 78 84 88 90 91 92 98 99 102 104 108 110 115 120 127 129 131 133 135 137 138 139 140 142 145 147 158 162 166 174 177 180 181 184 186 187 188 189 192 194 196 203 a 2 4 5 6 11 13 25 26 31 32 33 35 36 42 44 46 48 51 52 53 54 55 58 60 62 66 71 72 75 77 78 84 88 90 91 92 98 99 102 104 108 110 115 120 127 129 131 133 135 137 138 139 140 142 145 147 158 162 166 174 177 180 181 184 186 187 188 189 192 194 196 203 a 2 4 5 6 11 13 25 26 31 32 33 35 36 42 44 46 48 51 52 53 54 55 58 60 62 66 71 72 75 77 78 84 88 89 90 91 92 98 99 102 104 108 110 115 120 127 129 131 133 135 137 138 139 140 142 145 147 162 166 174 177 180 181 184 186 187 188 189 192 194 196 203 a 2 4 5 6 11 13 25 26 31 32 33 35 36 42 44 46 48 51 52 53 54 55 58 60 62 66 70 71 72 75 77 78 88 89 90 91 92 98 99 102 104 108 110 115 120 127 129 131 133 135 137 138 139 140 142 145 147 162 166 174 177 180 181 184 186 187 188 189 192 194 196 203 a 2 4 5 6 11 13 25 26 31 32 33 35 36 42 44 46 48 51 52 53 54 55 58 60 62 64 66 70 71 72 75 77 78 88 89 90 91 92 98 99 102 104 108 110 115 120 127 129 131 133 135 137 138 139 140 142 145 147 162 166 177 180 181 184 186 187 188 189 192 194 196 203 a 2 4 5 6 11 13 25 26 31 32 33 35 36 42 44 46 48 51 52 53 54 55 58 60 62 64 66 70 71 72 75 77 88 89 90 91 92 98 99 102 104 108 110 115 118 120 127 129 131 133 135 137 138 139 140 142 145 147 162 166 177 180 181 184 186 187 188 189 192 194 196 203 a 2 4 5 6 11 25 26 31 32 33 35 36 42 44 46 48 51 52 53 54 55 58 60 62 64 66 70 71 72 75 77 88 89 90 91 92 98 99 102 104 108 110 115 118 120 123 127 129 131 133 135 137 138 139 140 142 145 147 162 166 177 180 181 184 186 187 188 189 192 194 196 203 a 2 4 5 6 11 25 31 32 33 35 36 42 44 46 48 51 52 53 54 55 58 60 62 64 66 70 71 72 75 77 88 89 90 91 92 98 99 102 104 108 109 110 115 118 120 123 127 129 131 133 135 137 138 139 140 142 145 147 162 166 177 180 181 184 186 187 188 189 192 194 196 203 a 2 4 5 6 11 25 31 32 33 35 36 42 44 46 48 51 52 53 54 55 58 60 62 64 66 70 71 72 75 77 88 89 90 91 92 98 99 102 104 108 109 110 115 118 120 123 129 131 133 135 137 138 139 140 142 145 147 162 166 169 177 180 181 184 186 187 188 189 192 194 196 203 a 2 4 5 6 11 25 31 32 33 35 36 42 44 46 48 51 52 53 54 55 58 60 62 64 66 70 71 72 75 77 88 89 90 91 92 98 99 102 104 108 109 110 115 118 120 123 129 131 133 135 137 138 139 140 142 145 147 162 166 169 177 180 181 184 186 187 189 192 194 196 203 208 a 2 4 5 6 11 25 31 32 33 35 36 42 44 46 48 51 52 53 54 55 58 60 62 64 66 69 70 71 72 75 77 88 89 90 91 92 98 99 102 104 108 109 110 115 118 120 123 129 131 133 135 137 138 139 140 142 145 147 162 166 169 177 180 181 184 186 187 189 192 194 196 208 a 2 4 5 6 11 25 31 32 33 35 36 42 43 44 46 48 51 52 53 54 55 58 60 62 64 66 69 70 71 72 75 77 88 89 90 91 92 98 99 102 104 108 109 110 115 118 120 123 129 131 133 135 137 138 139 140 142 145 147 166 169 177 180 181 184 186 187 189 192 194 196 208 a 2 4 5 6 11 19 25 31 32 33 35 36 42 43 44 46 48 51 52 53 54 55 58 60 62 64 66 69 70 71 72 75 77 88 89 90 91 92 98 99 102 104 108 109 110 115 118 120 123 129 131 135 137 138 139 140 142 145 147 166 169 177 180 181 184 186 187 189 192 194 196 208 a 2 4 5 6 11 19 25 31 32 33 35 36 42 43 44 46 48 51 52 53 54 55 58 60 62 64 66 69 70 71 72 77 88 89 90 91 92 98 99 102 104 108 109 110 115 118 120 123 129 131 135 137 138 139 140 142 145 147 166 169 175 177 180 181 184 186 187 189 192 194 196 208 a 3 4 5 6 11 19 25 31 32 33 35 36 42 43 44 46 48 51 52 53 54 55 58 60 62 64 66 69 70 71 72 77 88 89 90 91 92 98 99 102 104 108 109 110 115 118 120 123 129 131 135 137 138 139 140 142 145 147 166 169 175 177 180 181 184 186 187 189 192 194 196 208 a 3 4 5 6 11 19 25 31 32 33 35 36 42 43 44 46 48 51 52 53 55 58 60 62 64 66 69 70 71 72 77 88 89 90 91 92 98 99 102 104 108 109 110 114 115 118 120 123 129 131 135 137 138 139 140 142 145 147 166 169 175 177 180 181 184 186 187 189 192 194 196 208 a 3 4 5 6 11 19 25 31 32 33 36 42 43 44 46 48 51 52 53 55 58 60 62 64 66 69 70 71 72 77 88 89 90 91 92 98 99 102 104 108 109 110 114 115 118 120 123 129 131 135 137 138 139 140 142 145 147 166 169 175 177 180 181 183 184 186 187 189 192 194 196 208 a 3 4 5 6 11 19 25 31 32 33 36 42 43 44 46 48 51 52 53 55 58 60 62 64 66 69 70 71 72 88 89 90 91 92 98 99 102 104 108 109 110 114 115 118 120 123 129 131 135 137 138 139 140 142 145 147 166 169 171 175 177 180 181 183 184 186 187 189 192 194 196 208 a 3 4 5 6 11 19 25 31 32 33 36 42 43 44 46 48 51 52 53 55 58 60 62 64 66 69 70 71 72 88 89 90 91 92 98 99 102 104 108 109 110 114 115 118 120 122 123 129 131 135 137 138 139 142 145 147 166 169 171 175 177 180 181 183 184 186 187 189 192 194 196 208 a 3 4 5 6 11 19 25 31 32 33 36 42 43 44 46 48 51 52 53 55 58 60 62 64 69 70 71 72 88 89 90 91 92 98 99 102 104 108 109 110 114 115 118 120 122 123 129 131 135 137 138 139 142 145 147 166 169 171 175 177 180 181 183 184 186 187 189 192 194 196 200 208 a 3 4 5 6 11 19 25 31 32 33 36 42 43 44 46 48 51 52 53 55 58 60 62 64 69 70 71 72 88 89 90 91 92 98 99 102 104 108 109 110 114 115 118 120 122 123 129 131 134 135 137 138 139 142 145 147 166 169 171 175 177 181 183 184 186 187 189 192 194 196 200 208 a 3 4 5 6 11 19 25 31 32 33 36 42 43 44 46 48 51 52 53 55 58 60 62 64 69 70 71 72 88 89 90 91 92 98 99 100 102 104 108 109 110 114 118 120 122 123 129 131 134 135 137 138 139 142 145 147 166 169 171 175 177 181 183 184 186 187 189 192 194 196 200 208 a 3 4 5 6 11 19 25 31 32 33 36 42 43 44 46 48 51 52 53 55 58 60 62 64 69 70 71 72 88 89 90 91 92 98 99 100 102 104 108 109 110 114 118 120 121 122 123 129 131 134 135 137 138 139 142 145 147 166 169 171 175 177 181 183 184 186 189 192 194 196 200 208 a 3 4 5 6 11 19 25 31 32 33 36 42 43 44 46 48 51 52 53 55 56 58 60 62 64 69 70 71 72 88 89 90 91 92 98 99 100 102 108 109 110 114 118 120 121 122 123 129 131 134 135 137 138 139 142 145 147 166 169 171 175 177 181 183 184 186 189 192 194 196 200 208 a 3 4 5 6 11 19 25 31 32 33 36 42 43 44 46 48 51 52 53 55 56 58 60 62 64 69 70 71 72 88 89 91 92 98 99 100 102 108 109 110 114 118 120 121 122 123 129 131 134 135 137 138 139 142 145 147 166 169 170 171 175 177 181 183 184 186 189 192 194 196 200 208 a 3 4 5 6 11 19 25 31 32 33 36 37 42 43 44 46 48 51 52 53 55 56 58 60 62 64 69 70 72 88 89 91 92 98 99 100 102 108 109 110 114 118 120 121 122 123 129 131 134 135 137 138 139 142 145 147 166 169 170 171 175 177 181 183 184 186 189 192 194 196 200 208 a 3 4 5 6 11 19 25 31 32 33 36 37 42 43 44 46 48 51 52 53 55 56 57 58 60 62 64 69 70 72 88 89 91 92 98 99 100 102 108 109 110 114 118 120 121 122 123 129 134 135 137 138 139 142 145 147 166 169 170 171 175 177 181 183 184 186 189 192 194 196 200 208 a 3 4 5 6 11 19 25 31 32 36 37 42 43 44 46 48 51 52 53 55 56 57 58 60 62 64 69 70 72 88 89 91 92 98 99 100 102 108 109 110 114 118 120 121 122 123 129 134 135 137 138 139 142 145 147 166 169 170 171 175 177 181 183 184 186 189 191 192 194 196 200 208 c Step: 46 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance016_graph005.col /benchmark/random_instance/random_instance016_graph005_01.dat" User time (seconds): 1.06 System time (seconds): 0.03 Percent of CPU this job got: 164% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.66 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): 81340 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 48383 Voluntary context switches: 2352 Involuntary context switches: 9 Swaps: 0 File system inputs: 0 File system outputs: 200 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:43:03 2023]