#BEGIN: [Tue Sep 26 03:35:56 2023] #HOST: s03 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance018_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance018_graph001_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_instance018_graph001.col /benchmark/random_instance/random_instance018_graph001_01.dat c /benchmark/random_instance/random_instance018_graph001.col c /benchmark/random_instance/random_instance018_graph001_01.dat s 187 204 51 137 163 90 32 196 189 153 73 140 157 31 26 224 207 119 213 84 126 106 93 158 56 142 6 102 82 171 5 228 201 70 133 88 226 37 191 198 95 227 87 29 132 160 131 64 7 215 59 156 66 28 122 47 135 42 206 211 67 104 128 194 192 150 105 75 69 81 164 216 4 220 130 t 88 89 14 190 220 195 23 82 150 18 13 4 136 6 44 139 53 85 222 126 204 146 8 35 159 167 211 73 172 32 123 224 227 163 198 116 40 26 95 39 112 96 98 173 114 1 219 233 105 138 122 194 38 218 160 179 59 164 192 193 230 191 36 125 52 2 75 225 106 144 140 153 128 130 212 a YES a 4 5 6 7 26 28 29 31 32 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 87 88 90 93 95 102 104 105 106 119 122 126 128 130 131 132 133 135 137 140 142 150 153 156 157 158 160 163 164 171 187 189 191 192 194 196 198 201 204 206 207 211 213 215 216 220 224 226 227 228 a 4 5 6 7 26 28 29 31 32 37 42 47 56 59 64 66 67 69 70 73 75 81 82 84 87 88 90 93 95 102 104 105 106 112 119 122 126 128 130 131 132 133 135 137 140 142 150 153 156 157 158 160 163 164 171 187 189 191 192 194 196 198 201 204 206 207 211 213 215 216 220 224 226 227 228 a 4 5 6 7 26 28 29 31 32 36 37 42 47 56 59 64 66 67 69 70 73 75 81 82 87 88 90 93 95 102 104 105 106 112 119 122 126 128 130 131 132 133 135 137 140 142 150 153 156 157 158 160 163 164 171 187 189 191 192 194 196 198 201 204 206 207 211 213 215 216 220 224 226 227 228 a 2 4 5 6 7 26 28 29 31 32 36 37 42 47 56 59 64 66 67 69 70 73 75 81 82 87 88 90 93 95 102 104 105 106 112 119 122 126 128 130 131 132 133 135 137 140 142 150 153 156 157 158 160 163 164 171 187 189 191 192 194 196 198 201 204 207 211 213 215 216 220 224 226 227 228 a 2 4 5 6 7 26 28 29 31 32 36 37 42 47 56 59 64 66 67 69 70 73 75 81 82 87 88 93 95 102 104 105 106 112 119 122 126 128 130 131 132 133 135 137 140 142 144 150 153 156 157 158 160 163 164 171 187 189 191 192 194 196 198 201 204 207 211 213 215 216 220 224 226 227 228 a 2 4 5 6 7 13 26 28 29 31 32 36 37 47 56 59 64 66 67 69 70 73 75 81 82 87 88 93 95 102 104 105 106 112 119 122 126 128 130 131 132 133 135 137 140 142 144 150 153 156 157 158 160 163 164 171 187 189 191 192 194 196 198 201 204 207 211 213 215 216 220 224 226 227 228 a 2 4 5 6 7 13 26 28 29 31 32 36 37 47 56 59 64 66 67 69 70 73 75 81 82 87 88 93 95 102 104 105 106 112 119 122 126 128 130 131 132 133 135 137 140 142 144 150 153 156 157 158 160 163 164 171 187 189 191 192 194 196 198 204 207 211 213 215 216 220 222 224 226 227 228 a 2 4 5 6 7 13 26 28 29 31 32 36 37 47 56 59 64 66 67 69 70 73 75 81 82 87 88 93 95 104 105 106 112 119 122 126 128 130 131 132 133 135 137 140 142 144 150 153 156 157 158 160 163 164 171 187 189 191 192 194 196 198 204 207 211 213 215 216 218 220 222 224 226 227 228 a 2 4 5 6 7 13 26 29 31 32 36 37 47 56 59 64 66 67 69 70 73 75 81 82 87 88 93 95 104 105 106 112 119 122 126 128 130 131 132 133 135 137 140 142 144 150 153 156 157 158 160 163 164 171 187 189 191 192 194 196 198 204 207 211 213 215 216 218 220 222 224 226 227 228 233 a 2 4 5 6 7 13 26 29 31 32 36 37 47 56 59 64 66 67 69 70 73 75 81 82 87 88 93 95 104 105 106 112 119 122 126 128 130 131 132 133 135 137 138 140 142 144 150 153 156 157 158 160 163 164 171 187 189 191 192 194 196 198 204 207 211 213 215 216 218 220 222 224 227 228 233 a 1 2 4 5 6 7 13 26 29 31 32 36 37 47 56 59 64 66 67 69 70 73 75 81 82 87 88 93 95 104 105 106 112 119 122 126 128 130 131 132 133 135 137 138 140 142 144 150 153 156 157 158 160 163 164 171 187 189 191 192 194 196 198 204 207 211 213 215 218 220 222 224 227 228 233 a 1 2 4 5 6 7 13 26 29 31 32 36 37 47 56 59 64 66 67 69 70 73 75 81 82 87 88 93 95 104 105 106 112 119 122 126 128 130 131 133 135 137 138 140 142 144 150 153 156 157 158 160 163 164 167 171 187 189 191 192 194 196 198 204 207 211 213 215 218 220 222 224 227 228 233 a 1 2 4 5 6 7 13 26 29 31 32 36 37 47 56 59 64 66 67 69 70 73 75 81 82 87 88 93 95 104 105 106 112 119 122 126 128 130 131 133 135 137 138 140 142 144 150 153 156 157 158 160 163 164 167 171 179 187 189 191 192 194 198 204 207 211 213 215 218 220 222 224 227 228 233 a 1 2 4 5 6 7 13 26 29 31 32 36 37 47 56 59 64 66 67 69 70 73 75 81 82 87 88 93 95 104 105 106 112 119 122 123 126 128 130 131 133 135 137 138 140 142 144 150 153 156 157 158 160 163 164 167 171 179 187 189 191 192 194 198 204 207 211 215 218 220 222 224 227 228 233 a 1 2 4 5 6 7 13 23 26 29 31 32 36 37 47 56 59 64 66 67 69 70 73 75 81 82 87 88 93 95 104 105 106 112 119 122 123 126 128 130 131 133 137 138 140 142 144 150 153 156 157 158 160 163 164 167 171 179 187 189 191 192 194 198 204 207 211 215 218 220 222 224 227 228 233 a 1 2 4 5 6 7 8 13 23 26 29 31 32 36 37 47 56 59 64 66 67 69 70 73 75 81 82 87 88 93 95 104 105 106 112 119 122 123 126 128 130 131 133 137 138 140 142 144 150 153 156 157 158 160 163 164 167 171 179 187 189 191 192 194 198 204 207 211 215 218 220 222 224 227 233 a 1 2 4 5 6 7 8 13 23 26 29 31 32 35 36 37 47 56 59 64 66 67 69 70 73 75 81 82 87 88 93 95 104 105 106 112 119 122 123 126 128 130 131 133 137 138 140 142 144 150 153 156 157 158 160 163 164 167 171 179 187 191 192 194 198 204 207 211 215 218 220 222 224 227 233 a 1 2 4 5 6 7 8 13 23 26 29 31 32 35 36 37 47 56 59 64 66 67 69 70 73 75 81 82 87 88 93 95 104 105 106 112 119 122 123 126 128 130 131 137 138 140 142 144 150 153 156 157 158 160 163 164 167 171 179 187 191 192 194 198 204 207 211 215 218 220 222 224 227 230 233 a 1 2 4 5 6 7 8 13 23 26 29 31 32 35 36 37 47 56 59 64 66 67 69 70 73 75 81 82 87 88 93 95 104 105 106 112 119 122 123 126 128 130 131 137 138 140 142 144 150 153 156 157 158 160 163 164 167 171 179 187 191 192 194 198 204 211 215 218 219 220 222 224 227 230 233 a 1 2 4 5 6 7 8 13 23 26 29 31 32 35 36 37 47 52 56 59 64 66 67 69 70 73 75 81 82 87 88 93 95 104 105 106 112 119 122 123 126 128 130 131 137 138 140 142 144 150 153 156 157 158 160 163 164 167 179 187 191 192 194 198 204 211 215 218 219 220 222 224 227 230 233 a 1 2 4 5 6 7 8 13 23 26 29 31 32 35 36 37 47 52 59 64 66 67 69 70 73 75 81 82 87 88 93 95 104 105 106 112 119 122 123 125 126 128 130 131 137 138 140 142 144 150 153 156 157 158 160 163 164 167 179 187 191 192 194 198 204 211 215 218 219 220 222 224 227 230 233 a 1 2 4 5 6 7 8 13 23 26 29 31 32 35 36 37 47 52 59 64 66 67 69 70 73 75 81 82 87 88 95 104 105 106 112 119 122 123 125 126 128 130 131 137 138 139 140 142 144 150 153 156 157 158 160 163 164 167 179 187 191 192 194 198 204 211 215 218 219 220 222 224 227 230 233 a 1 2 4 5 6 7 8 13 23 26 29 31 32 35 36 37 44 47 52 59 64 66 67 69 70 73 75 81 82 87 88 95 104 105 106 112 119 122 123 125 126 128 130 131 137 138 139 140 142 144 150 153 156 158 160 163 164 167 179 187 191 192 194 198 204 211 215 218 219 220 222 224 227 230 233 a 1 2 4 5 6 7 8 13 23 26 29 32 35 36 37 40 44 47 52 59 64 66 67 69 70 73 75 81 82 87 88 95 104 105 106 112 119 122 123 125 126 128 130 131 137 138 139 140 142 144 150 153 156 158 160 163 164 167 179 187 191 192 194 198 204 211 215 218 219 220 222 224 227 230 233 a 1 2 4 6 7 8 13 23 26 29 32 35 36 37 40 44 47 52 59 64 66 67 69 70 73 75 81 82 87 88 95 104 105 106 112 119 122 123 125 126 128 130 131 137 138 139 140 142 144 150 153 156 158 160 163 164 167 179 187 191 192 194 198 204 211 212 215 218 219 220 222 224 227 230 233 a 1 2 4 6 7 8 13 23 26 29 32 35 36 37 40 44 47 52 59 64 66 67 69 70 73 75 81 82 87 88 95 104 105 106 112 119 122 123 125 126 128 130 131 137 138 139 140 142 144 146 150 153 158 160 163 164 167 179 187 191 192 194 198 204 211 212 215 218 219 220 222 224 227 230 233 a 1 2 4 6 7 8 13 23 26 29 32 35 36 37 40 44 47 52 59 64 66 67 69 70 73 75 81 82 85 87 88 95 104 105 106 112 119 122 123 125 126 128 130 131 138 139 140 142 144 146 150 153 158 160 163 164 167 179 187 191 192 194 198 204 211 212 215 218 219 220 222 224 227 230 233 a 1 2 4 6 7 8 13 18 23 26 29 32 35 36 37 40 44 47 52 59 64 66 67 69 70 73 75 81 82 85 87 88 95 104 105 106 112 119 122 123 125 126 128 130 131 138 139 140 144 146 150 153 158 160 163 164 167 179 187 191 192 194 198 204 211 212 215 218 219 220 222 224 227 230 233 a 1 2 4 6 7 8 13 14 18 23 26 29 32 35 36 37 40 44 47 52 59 64 66 67 69 70 73 75 81 82 85 88 95 104 105 106 112 119 122 123 125 126 128 130 131 138 139 140 144 146 150 153 158 160 163 164 167 179 187 191 192 194 198 204 211 212 215 218 219 220 222 224 227 230 233 a 1 2 4 6 7 8 13 14 18 23 26 32 35 36 37 39 40 44 47 52 59 64 66 67 69 70 73 75 81 82 85 88 95 104 105 106 112 119 122 123 125 126 128 130 131 138 139 140 144 146 150 153 158 160 163 164 167 179 187 191 192 194 198 204 211 212 215 218 219 220 222 224 227 230 233 a 1 2 4 6 7 8 13 14 18 23 26 32 35 36 37 39 40 44 52 59 64 66 67 69 70 73 75 81 82 85 88 95 104 105 106 112 119 122 123 125 126 128 130 131 136 138 139 140 144 146 150 153 158 160 163 164 167 179 187 191 192 194 198 204 211 212 215 218 219 220 222 224 227 230 233 a 1 2 4 6 7 8 13 14 18 23 26 32 35 36 37 39 40 44 52 59 64 66 67 69 73 75 81 82 85 88 95 104 105 106 112 119 122 123 125 126 128 130 131 136 138 139 140 144 146 150 153 158 160 163 164 167 179 187 191 192 194 195 198 204 211 212 215 218 219 220 222 224 227 230 233 a 1 2 4 6 7 8 13 14 18 23 26 32 35 36 37 39 40 44 52 59 64 67 69 73 75 81 82 85 88 95 104 105 106 112 119 122 123 125 126 128 130 131 136 138 139 140 144 146 150 153 158 160 163 164 167 179 187 190 191 192 194 195 198 204 211 212 215 218 219 220 222 224 227 230 233 a 1 2 4 6 7 8 13 14 18 23 26 32 35 36 37 39 40 44 52 59 64 67 69 73 75 81 82 85 88 95 105 106 112 119 122 123 125 126 128 130 131 136 138 139 140 144 146 150 153 158 159 160 163 164 167 179 187 190 191 192 194 195 198 204 211 212 215 218 219 220 222 224 227 230 233 a 1 2 4 6 8 13 14 18 23 26 32 35 36 37 39 40 44 52 53 59 64 67 69 73 75 81 82 85 88 95 105 106 112 119 122 123 125 126 128 130 131 136 138 139 140 144 146 150 153 158 159 160 163 164 167 179 187 190 191 192 194 195 198 204 211 212 215 218 219 220 222 224 227 230 233 a 1 2 4 6 8 13 14 18 23 26 32 35 36 37 38 39 40 44 52 53 59 64 67 73 75 81 82 85 88 95 105 106 112 119 122 123 125 126 128 130 131 136 138 139 140 144 146 150 153 158 159 160 163 164 167 179 187 190 191 192 194 195 198 204 211 212 215 218 219 220 222 224 227 230 233 a 1 2 4 6 8 13 14 18 23 26 32 35 36 37 38 39 40 44 52 53 59 64 67 73 75 81 82 85 88 89 95 105 106 112 119 122 123 125 126 128 130 131 136 138 139 140 144 146 150 153 159 160 163 164 167 179 187 190 191 192 194 195 198 204 211 212 215 218 219 220 222 224 227 230 233 a 1 2 4 6 8 13 14 18 23 26 32 35 36 37 38 39 40 44 52 53 59 64 67 73 75 81 82 85 88 89 95 105 106 112 122 123 125 126 128 130 131 136 138 139 140 144 146 150 153 159 160 163 164 167 179 187 190 191 192 193 194 195 198 204 211 212 215 218 219 220 222 224 227 230 233 a 1 2 4 6 8 13 14 18 23 26 32 35 36 37 38 39 40 44 52 53 59 64 67 73 75 81 82 85 88 89 95 105 106 112 122 123 125 126 128 130 131 136 138 139 140 144 146 150 153 159 160 163 164 167 172 179 187 190 191 192 193 194 195 198 204 211 212 218 219 220 222 224 227 230 233 a 1 2 4 6 8 13 14 18 23 26 32 35 36 37 38 39 40 44 52 53 59 67 73 75 81 82 85 88 89 95 96 105 106 112 122 123 125 126 128 130 131 136 138 139 140 144 146 150 153 159 160 163 164 167 172 179 187 190 191 192 193 194 195 198 204 211 212 218 219 220 222 224 227 230 233 a 1 2 4 6 8 13 14 18 23 26 32 35 36 37 38 39 40 44 52 53 59 67 73 75 81 82 85 88 89 95 96 105 106 112 122 123 125 126 128 130 136 138 139 140 144 146 150 153 159 160 163 164 167 172 179 187 190 191 192 193 194 195 198 204 211 212 218 219 220 222 224 225 227 230 233 a 1 2 4 6 8 13 14 18 23 26 32 35 36 38 39 40 44 52 53 59 67 73 75 81 82 85 88 89 95 96 105 106 112 116 122 123 125 126 128 130 136 138 139 140 144 146 150 153 159 160 163 164 167 172 179 187 190 191 192 193 194 195 198 204 211 212 218 219 220 222 224 225 227 230 233 a 1 2 4 6 8 13 14 18 23 26 32 35 36 38 39 40 44 52 53 59 67 73 75 81 82 85 88 89 95 96 105 106 112 114 116 122 123 125 126 128 130 136 138 139 140 144 146 150 153 159 160 163 164 167 172 179 190 191 192 193 194 195 198 204 211 212 218 219 220 222 224 225 227 230 233 a 1 2 4 6 8 13 14 18 23 26 32 35 36 38 39 40 44 52 53 59 73 75 81 82 85 88 89 95 96 105 106 112 114 116 122 123 125 126 128 130 136 138 139 140 144 146 150 153 159 160 163 164 167 172 173 179 190 191 192 193 194 195 198 204 211 212 218 219 220 222 224 225 227 230 233 a 1 2 4 6 8 13 14 18 23 26 32 35 36 38 39 40 44 52 53 59 73 75 82 85 88 89 95 96 98 105 106 112 114 116 122 123 125 126 128 130 136 138 139 140 144 146 150 153 159 160 163 164 167 172 173 179 190 191 192 193 194 195 198 204 211 212 218 219 220 222 224 225 227 230 233 c Step: 44 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance018_graph001.col /benchmark/random_instance/random_instance018_graph001_01.dat" User time (seconds): 1.87 System time (seconds): 0.09 Percent of CPU this job got: 218% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.90 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): 92476 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 50835 Voluntary context switches: 2459 Involuntary context switches: 14 Swaps: 0 File system inputs: 0 File system outputs: 208 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 03:35:58 2023]