#BEGIN: [Sat Sep 9 13:42:20 2023] #HOST: s11 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-ai-planning2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance023_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance023_graph003_01.dat #COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning2 --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance023_graph003.col /benchmark/random_instance/random_instance023_graph003_01.dat s 116 95 126 46 203 241 56 181 244 191 62 109 258 153 51 1 187 160 80 5 135 140 168 254 82 147 253 219 145 127 209 27 50 118 266 292 24 128 105 272 125 193 192 55 108 222 276 19 99 96 274 157 291 70 138 214 243 64 159 98 172 249 229 57 37 177 152 176 175 120 17 143 285 295 231 44 130 63 12 91 123 216 39 84 146 72 267 47 198 42 156 184 31 79 204 115 t 195 245 60 52 266 230 59 158 4 276 262 251 218 55 202 258 83 74 131 42 142 186 17 199 24 27 33 284 127 54 278 185 22 236 96 175 166 122 20 113 259 277 299 180 47 235 293 177 139 39 61 287 53 176 153 70 149 188 233 119 252 261 126 295 165 286 50 84 114 92 178 152 19 256 172 198 26 43 18 242 216 280 157 64 136 71 169 57 67 5 298 187 207 63 41 164 a YES a 1 5 12 17 19 24 27 31 37 39 42 44 46 47 50 51 55 56 57 62 63 64 70 72 79 80 82 84 91 95 96 98 99 105 108 109 115 116 118 120 123 125 126 127 128 130 135 138 140 143 145 146 147 152 153 156 157 159 160 168 172 175 176 177 181 184 187 191 192 193 198 203 204 209 214 216 219 222 229 231 241 243 244 249 253 254 258 266 267 272 274 276 285 291 292 295 a 5 12 17 19 24 27 31 37 39 42 44 46 47 50 51 55 56 57 62 63 64 70 72 79 80 82 84 91 95 96 98 99 105 108 109 115 116 118 120 123 125 126 127 128 130 135 138 140 143 145 146 147 152 153 156 157 159 160 168 172 175 176 177 181 184 187 188 191 192 193 198 203 204 209 214 216 219 222 229 231 241 243 244 249 253 254 258 266 267 272 274 276 285 291 292 295 a 5 12 17 19 24 27 31 37 39 42 44 46 47 50 55 56 57 61 62 63 64 70 72 79 80 82 84 91 95 96 98 99 105 108 109 115 116 118 120 123 125 126 127 128 130 135 138 140 143 145 146 147 152 153 156 157 159 160 168 172 175 176 177 181 184 187 188 191 192 193 198 203 204 209 214 216 219 222 229 231 241 243 244 249 253 254 258 266 267 272 274 276 285 291 292 295 a 5 12 17 19 24 27 31 37 39 42 44 46 47 50 55 57 59 61 62 63 64 70 72 79 80 82 84 91 95 96 98 99 105 108 109 115 116 118 120 123 125 126 127 128 130 135 138 140 143 145 146 147 152 153 156 157 159 160 168 172 175 176 177 181 184 187 188 191 192 193 198 203 204 209 214 216 219 222 229 231 241 243 244 249 253 254 258 266 267 272 274 276 285 291 292 295 a 5 12 17 19 24 27 31 37 39 41 42 44 46 47 50 55 57 59 61 63 64 70 72 79 80 82 84 91 95 96 98 99 105 108 109 115 116 118 120 123 125 126 127 128 130 135 138 140 143 145 146 147 152 153 156 157 159 160 168 172 175 176 177 181 184 187 188 191 192 193 198 203 204 209 214 216 219 222 229 231 241 243 244 249 253 254 258 266 267 272 274 276 285 291 292 295 a 5 17 19 24 27 31 37 39 41 42 44 46 47 50 55 57 59 61 63 64 70 72 79 80 82 84 91 95 96 98 99 105 108 109 115 116 118 120 123 125 126 127 128 130 135 138 140 143 145 146 147 152 153 156 157 159 160 168 172 175 176 177 181 184 187 188 191 192 193 198 203 204 209 214 216 219 222 229 231 241 243 244 249 253 254 258 259 266 267 272 274 276 285 291 292 295 a 5 17 19 24 27 37 39 41 42 44 46 47 50 55 57 59 61 63 64 70 72 79 80 82 84 91 95 96 98 99 105 108 109 115 116 118 120 123 125 126 127 128 130 135 138 140 143 145 146 147 152 153 156 157 159 160 168 172 175 176 177 181 184 187 188 191 192 193 198 203 204 209 214 216 219 222 229 231 241 243 244 249 253 254 256 258 259 266 267 272 274 276 285 291 292 295 a 5 17 19 24 27 37 39 41 42 44 46 47 50 55 57 59 61 63 64 70 79 80 82 84 91 95 96 98 99 105 108 109 115 116 118 120 123 125 126 127 128 130 135 138 140 143 145 146 147 152 153 156 157 159 160 168 172 175 176 177 181 184 187 188 191 192 193 198 203 204 209 214 216 219 222 229 231 241 243 244 249 253 254 256 258 259 266 267 272 274 276 285 291 292 295 298 a 5 17 19 24 27 37 39 41 42 44 46 47 50 55 57 59 61 63 64 70 79 80 82 84 91 96 98 99 105 108 109 115 116 118 120 122 123 125 126 127 128 130 135 138 140 143 145 146 147 152 153 156 157 159 160 168 172 175 176 177 181 184 187 188 191 192 193 198 203 204 209 214 216 219 222 229 231 241 243 244 249 253 254 256 258 259 266 267 272 274 276 285 291 292 295 298 a 5 17 19 24 27 39 41 42 44 46 47 50 55 57 59 61 63 64 70 79 80 82 84 91 96 98 99 105 108 109 115 116 118 120 122 123 125 126 127 128 130 135 138 140 143 145 146 147 152 153 156 157 159 160 168 169 172 175 176 177 181 184 187 188 191 192 193 198 203 204 209 214 216 219 222 229 231 241 243 244 249 253 254 256 258 259 266 267 272 274 276 285 291 292 295 298 a 5 17 19 24 27 39 41 42 44 46 47 50 55 57 59 61 63 64 70 79 80 82 84 91 96 98 105 108 109 115 116 118 120 122 123 125 126 127 128 130 135 138 140 143 145 146 147 152 153 156 157 159 160 168 169 172 175 176 177 181 184 187 188 191 192 193 198 203 204 209 214 216 219 222 229 230 231 241 243 244 249 253 254 256 258 259 266 267 272 274 276 285 291 292 295 298 a 5 17 19 24 27 39 41 42 44 46 47 50 54 55 57 59 61 63 64 70 79 80 82 84 91 96 98 108 109 115 116 118 120 122 123 125 126 127 128 130 135 138 140 143 145 146 147 152 153 156 157 159 160 168 169 172 175 176 177 181 184 187 188 191 192 193 198 203 204 209 214 216 219 222 229 230 231 241 243 244 249 253 254 256 258 259 266 267 272 274 276 285 291 292 295 298 a 5 17 19 24 27 39 41 42 46 47 50 54 55 57 59 61 63 64 70 79 80 82 84 91 96 98 108 109 115 116 118 120 122 123 125 126 127 128 130 135 138 140 143 145 146 147 152 153 156 157 159 160 168 169 172 175 176 177 180 181 184 187 188 191 192 193 198 203 204 209 214 216 219 222 229 230 231 241 243 244 249 253 254 256 258 259 266 267 272 274 276 285 291 292 295 298 a 5 17 19 24 27 39 41 42 47 50 54 55 57 59 61 63 64 70 79 80 82 84 91 96 98 108 109 115 116 118 120 122 123 125 126 127 128 130 135 138 140 143 145 146 147 152 153 156 157 159 160 168 169 172 175 176 177 180 181 184 187 188 191 192 193 198 202 203 204 209 214 216 219 222 229 230 231 241 243 244 249 253 254 256 258 259 266 267 272 274 276 285 291 292 295 298 a 5 17 19 24 27 39 41 42 47 50 54 55 57 59 61 63 64 70 79 80 82 84 91 96 98 108 115 116 118 120 122 123 125 126 127 128 130 135 138 140 143 145 146 147 152 153 156 157 159 160 168 169 172 175 176 177 180 181 184 187 188 191 192 193 198 202 203 204 209 214 216 219 222 229 230 231 241 243 244 245 249 253 254 256 258 259 266 267 272 274 276 285 291 292 295 298 a 5 17 19 24 27 39 41 42 47 50 54 55 57 59 61 63 64 67 70 79 80 82 84 91 96 98 108 116 118 120 122 123 125 126 127 128 130 135 138 140 143 145 146 147 152 153 156 157 159 160 168 169 172 175 176 177 180 181 184 187 188 191 192 193 198 202 203 204 209 214 216 219 222 229 230 231 241 243 244 245 249 253 254 256 258 259 266 267 272 274 276 285 291 292 295 298 a 5 17 19 24 27 39 41 42 47 50 54 55 57 59 61 63 64 67 70 80 82 84 91 96 98 108 116 118 120 122 123 125 126 127 128 130 135 138 140 142 143 145 146 147 152 153 156 157 159 160 168 169 172 175 176 177 180 181 184 187 188 191 192 193 198 202 203 204 209 214 216 219 222 229 230 231 241 243 244 245 249 253 254 256 258 259 266 267 272 274 276 285 291 292 295 298 a 5 17 19 24 27 39 41 42 47 50 54 55 57 59 61 63 64 67 70 80 82 84 91 96 98 108 116 120 122 123 125 126 127 128 130 135 138 140 142 143 145 146 147 152 153 156 157 159 160 168 169 172 175 176 177 180 181 184 187 188 191 192 193 198 202 203 204 209 214 216 219 222 229 230 231 241 243 244 245 249 253 254 256 258 259 266 267 272 274 276 277 285 291 292 295 298 a 5 17 19 24 27 39 41 42 47 50 54 55 57 59 61 63 64 67 70 82 84 91 96 98 108 116 120 122 123 125 126 127 128 130 135 136 138 140 142 143 145 146 147 152 153 156 157 159 160 168 169 172 175 176 177 180 181 184 187 188 191 192 193 198 202 203 204 209 214 216 219 222 229 230 231 241 243 244 245 249 253 254 256 258 259 266 267 272 274 276 277 285 291 292 295 298 a 5 17 19 24 26 27 39 41 42 47 50 54 55 57 59 61 63 64 67 70 82 84 91 96 98 108 116 120 122 123 125 126 127 130 135 136 138 140 142 143 145 146 147 152 153 156 157 159 160 168 169 172 175 176 177 180 181 184 187 188 191 192 193 198 202 203 204 209 214 216 219 222 229 230 231 241 243 244 245 249 253 254 256 258 259 266 267 272 274 276 277 285 291 292 295 298 a 5 17 19 24 26 27 39 41 42 47 50 54 55 57 59 61 63 64 67 70 82 84 91 96 98 108 116 120 122 123 126 127 130 135 136 138 140 142 143 145 146 147 149 152 153 156 157 159 160 168 169 172 175 176 177 180 181 184 187 188 191 192 193 198 202 203 204 209 214 216 219 222 229 230 231 241 243 244 245 249 253 254 256 258 259 266 267 272 274 276 277 285 291 292 295 298 a 5 17 19 24 26 27 39 41 42 47 50 54 55 57 59 61 63 64 67 70 82 84 91 96 98 108 116 120 122 123 126 127 130 136 138 140 142 143 145 146 147 149 152 153 156 157 159 160 164 168 169 172 175 176 177 180 181 184 187 188 191 192 193 198 202 203 204 209 214 216 219 222 229 230 231 241 243 244 245 249 253 254 256 258 259 266 267 272 274 276 277 285 291 292 295 298 a 5 17 19 24 26 27 39 41 42 47 50 54 55 57 59 61 63 64 67 70 84 91 96 98 108 116 120 122 123 126 127 130 136 138 140 142 143 145 146 147 149 152 153 156 157 159 160 164 168 169 172 175 176 177 180 181 184 187 188 191 192 193 195 198 202 203 204 209 214 216 219 222 229 230 231 241 243 244 245 249 253 254 256 258 259 266 267 272 274 276 277 285 291 292 295 298 a 5 17 19 24 26 27 39 41 42 47 50 54 55 57 59 61 63 64 67 70 84 91 96 98 108 116 120 122 123 126 127 130 136 140 142 143 145 146 147 149 152 153 156 157 159 160 164 168 169 172 175 176 177 178 180 181 184 187 188 191 192 193 195 198 202 203 204 209 214 216 219 222 229 230 231 241 243 244 245 249 253 254 256 258 259 266 267 272 274 276 277 285 291 292 295 298 a 5 17 19 24 26 27 39 41 42 47 50 54 55 57 59 61 63 64 67 70 84 91 96 98 116 120 122 123 126 127 130 136 140 142 143 145 146 147 149 152 153 156 157 159 160 164 168 169 172 175 176 177 178 180 181 184 187 188 191 192 193 195 198 202 203 204 209 214 216 219 222 229 230 231 241 243 244 245 249 253 254 256 258 259 266 267 272 274 276 277 278 285 291 292 295 298 a 5 17 19 24 26 27 39 41 42 47 50 54 55 57 59 61 63 64 67 70 84 91 96 98 116 120 122 123 126 127 130 136 142 143 145 146 147 149 152 153 156 157 159 160 164 168 169 172 175 176 177 178 180 181 184 187 188 191 192 193 195 198 202 203 204 209 214 216 219 222 229 230 231 241 242 243 244 245 249 253 254 256 258 259 266 267 272 274 276 277 278 285 291 292 295 298 a 5 17 19 24 26 27 39 41 42 47 50 54 55 57 59 61 63 64 67 70 84 91 96 98 116 120 122 123 126 127 130 136 142 145 146 147 149 152 153 156 157 159 160 164 168 169 172 175 176 177 178 180 181 184 187 188 191 192 193 195 198 202 203 204 209 214 216 219 222 229 230 231 241 242 243 244 245 249 253 254 256 258 259 266 267 272 274 276 277 278 285 286 291 292 295 298 a 5 17 19 24 26 27 39 41 42 47 50 54 55 57 59 61 63 64 67 70 84 91 96 98 116 119 120 122 123 126 127 130 136 142 146 147 149 152 153 156 157 159 160 164 168 169 172 175 176 177 178 180 181 184 187 188 191 192 193 195 198 202 203 204 209 214 216 219 222 229 230 231 241 242 243 244 245 249 253 254 256 258 259 266 267 272 274 276 277 278 285 286 291 292 295 298 a 5 17 19 24 26 27 39 41 42 47 50 54 55 57 59 61 63 64 67 70 71 84 96 98 116 119 120 122 123 126 127 130 136 142 146 147 149 152 153 156 157 159 160 164 168 169 172 175 176 177 178 180 181 184 187 188 191 192 193 195 198 202 203 204 209 214 216 219 222 229 230 231 241 242 243 244 245 249 253 254 256 258 259 266 267 272 274 276 277 278 285 286 291 292 295 298 a 5 17 19 24 26 27 39 41 42 47 50 54 55 57 59 61 63 64 67 70 71 74 84 96 98 116 119 120 122 123 126 127 130 136 142 146 149 152 153 156 157 159 160 164 168 169 172 175 176 177 178 180 181 184 187 188 191 192 193 195 198 202 203 204 209 214 216 219 222 229 230 231 241 242 243 244 245 249 253 254 256 258 259 266 267 272 274 276 277 278 285 286 291 292 295 298 a 5 17 19 24 26 27 39 41 42 47 50 54 55 57 59 61 63 64 67 70 71 74 84 96 98 116 119 120 122 123 126 127 130 136 142 146 149 152 153 156 157 159 164 168 169 172 175 176 177 178 180 181 184 187 188 191 192 193 195 198 202 203 204 209 214 216 219 222 229 230 231 241 242 243 244 245 249 253 254 256 258 259 266 267 272 274 276 277 278 285 286 291 292 293 295 298 a 5 17 19 24 26 27 39 41 42 47 50 54 55 57 59 61 63 64 67 70 71 74 84 92 96 98 116 119 120 122 123 126 127 130 136 142 146 149 152 153 156 157 159 164 169 172 175 176 177 178 180 181 184 187 188 191 192 193 195 198 202 203 204 209 214 216 219 222 229 230 231 241 242 243 244 245 249 253 254 256 258 259 266 267 272 274 276 277 278 285 286 291 292 293 295 298 a 5 17 19 22 24 26 27 39 41 42 47 50 54 55 57 59 61 63 64 67 70 71 74 84 92 96 98 116 119 120 122 123 126 127 130 136 142 146 149 152 153 156 157 159 164 169 172 175 176 177 178 180 184 187 188 191 192 193 195 198 202 203 204 209 214 216 219 222 229 230 231 241 242 243 244 245 249 253 254 256 258 259 266 267 272 274 276 277 278 285 286 291 292 293 295 298 a 5 17 19 22 24 26 27 39 41 42 43 47 50 54 55 57 59 61 63 64 67 70 71 74 84 92 96 98 116 119 120 122 123 126 127 130 136 142 146 149 152 153 156 157 159 164 169 172 175 176 177 178 180 184 187 188 192 193 195 198 202 203 204 209 214 216 219 222 229 230 231 241 242 243 244 245 249 253 254 256 258 259 266 267 272 274 276 277 278 285 286 291 292 293 295 298 a 4 5 17 19 22 24 26 27 39 41 42 43 47 50 54 55 57 59 61 63 64 67 70 71 74 84 92 96 116 119 120 122 123 126 127 130 136 142 146 149 152 153 156 157 159 164 169 172 175 176 177 178 180 184 187 188 192 193 195 198 202 203 204 209 214 216 219 222 229 230 231 241 242 243 244 245 249 253 254 256 258 259 266 267 272 274 276 277 278 285 286 291 292 293 295 298 a 4 5 17 19 22 24 26 27 39 41 42 43 47 50 54 55 57 59 61 63 64 67 70 71 74 84 92 96 116 119 120 122 126 127 130 136 142 146 149 152 153 156 157 159 164 169 172 175 176 177 178 180 184 187 188 192 193 195 198 202 203 204 209 214 216 219 222 229 230 231 236 241 242 243 244 245 249 253 254 256 258 259 266 267 272 274 276 277 278 285 286 291 292 293 295 298 a 4 5 17 19 22 24 26 27 39 41 42 43 47 50 54 55 57 59 61 63 64 67 70 71 74 84 92 96 116 119 120 122 126 127 130 136 142 146 149 152 153 156 157 159 164 169 172 175 176 177 178 180 184 187 188 192 193 195 198 199 202 204 209 214 216 219 222 229 230 231 236 241 242 243 244 245 249 253 254 256 258 259 266 267 272 274 276 277 278 285 286 291 292 293 295 298 a 4 5 17 19 22 24 26 27 39 41 42 43 47 50 54 55 57 59 61 63 64 67 70 71 74 84 92 96 116 119 120 122 126 127 130 136 142 146 149 152 153 156 157 159 164 169 172 175 176 177 178 180 184 187 188 192 193 195 198 199 202 209 214 216 219 222 229 230 231 236 241 242 243 244 245 249 253 254 256 258 259 266 267 272 274 276 277 278 285 286 287 291 292 293 295 298 a 4 5 17 19 22 24 26 27 33 39 41 42 43 47 50 54 55 57 59 61 63 64 67 70 71 74 84 92 96 116 119 120 122 126 127 130 136 142 146 149 152 153 156 157 159 164 169 172 175 176 177 178 180 184 187 188 192 193 195 198 199 202 209 214 216 219 229 230 231 236 241 242 243 244 245 249 253 254 256 258 259 266 267 272 274 276 277 278 285 286 287 291 292 293 295 298 a 4 5 17 19 22 24 26 27 33 39 41 42 43 47 50 54 55 57 59 61 63 64 67 70 71 74 84 92 96 116 119 120 122 126 127 130 136 142 146 149 152 153 156 157 159 164 169 172 175 176 177 178 180 184 187 188 192 193 195 198 199 202 209 214 216 219 229 230 236 241 242 243 244 245 249 252 253 254 256 258 259 266 267 272 274 276 277 278 285 286 287 291 292 293 295 298 a 4 5 17 19 22 24 26 27 33 39 41 42 43 47 50 52 54 55 57 59 61 63 64 67 70 71 74 84 92 96 116 119 120 122 126 127 130 136 142 146 149 152 153 156 157 159 164 169 172 175 176 177 178 180 184 187 188 192 193 195 198 199 202 209 214 216 219 229 230 236 241 242 244 245 249 252 253 254 256 258 259 266 267 272 274 276 277 278 285 286 287 291 292 293 295 298 a 4 5 17 19 22 24 26 27 33 39 41 42 43 47 50 52 54 55 57 59 61 63 64 67 70 71 74 84 92 96 116 119 120 122 126 127 130 136 142 146 149 152 153 156 157 159 164 169 172 175 176 177 178 180 184 187 188 192 193 195 198 199 202 209 214 216 219 229 230 236 241 242 245 249 252 253 254 256 258 259 266 267 272 274 276 277 278 284 285 286 287 291 292 293 295 298 a 4 5 17 19 20 22 24 26 27 33 39 41 42 43 47 50 52 54 55 57 59 61 63 64 67 70 71 74 84 92 96 116 119 120 122 126 127 130 136 142 146 149 152 153 156 157 159 164 169 172 175 176 177 178 180 184 187 188 192 193 195 198 199 202 214 216 219 229 230 236 241 242 245 249 252 253 254 256 258 259 266 267 272 274 276 277 278 284 285 286 287 291 292 293 295 298 a 4 5 17 19 20 22 24 26 27 33 39 41 42 43 47 50 52 54 55 57 59 61 63 64 67 70 71 74 84 92 96 116 119 120 122 126 127 130 131 136 142 146 149 152 153 156 157 159 164 169 172 175 176 177 178 180 184 187 188 192 193 195 198 199 202 214 216 219 229 230 236 241 242 245 252 253 254 256 258 259 266 267 272 274 276 277 278 284 285 286 287 291 292 293 295 298 a 4 5 17 19 20 22 24 26 27 33 39 41 42 43 47 50 52 54 55 57 59 61 63 64 67 70 71 74 84 92 96 119 120 122 126 127 130 131 136 142 146 149 152 153 156 157 159 164 166 169 172 175 176 177 178 180 184 187 188 192 193 195 198 199 202 214 216 219 229 230 236 241 242 245 252 253 254 256 258 259 266 267 272 274 276 277 278 284 285 286 287 291 292 293 295 298 a 4 5 17 19 20 22 24 26 27 33 39 41 42 43 47 50 52 54 55 57 59 61 63 64 67 70 71 74 84 92 96 119 122 126 127 130 131 136 142 146 149 152 153 156 157 159 164 166 169 172 175 176 177 178 180 184 187 188 192 193 195 198 199 202 207 214 216 219 229 230 236 241 242 245 252 253 254 256 258 259 266 267 272 274 276 277 278 284 285 286 287 291 292 293 295 298 a 4 5 17 19 20 22 24 26 27 33 39 41 42 43 47 50 52 54 55 57 59 61 63 64 67 70 71 74 84 92 96 119 122 126 127 130 131 136 142 149 152 153 156 157 158 159 164 166 169 172 175 176 177 178 180 184 187 188 192 193 195 198 199 202 207 214 216 219 229 230 236 241 242 245 252 253 254 256 258 259 266 267 272 274 276 277 278 284 285 286 287 291 292 293 295 298 a 4 5 17 19 20 22 24 26 27 33 39 41 42 43 47 50 52 54 55 57 59 61 63 64 67 70 71 74 84 92 96 119 122 126 127 130 131 136 142 149 152 153 156 157 158 159 164 166 169 172 175 176 177 178 180 184 185 187 188 192 193 195 198 199 202 207 214 216 219 229 230 236 241 242 245 252 254 256 258 259 266 267 272 274 276 277 278 284 285 286 287 291 292 293 295 298 a 4 5 17 19 20 22 24 26 27 33 39 41 42 43 47 50 52 54 55 57 59 61 63 64 67 70 71 74 83 84 92 96 119 122 126 127 130 131 136 142 149 152 153 156 157 158 159 164 166 169 172 175 176 177 178 180 184 185 187 188 192 193 195 198 199 202 207 216 219 229 230 236 241 242 245 252 254 256 258 259 266 267 272 274 276 277 278 284 285 286 287 291 292 293 295 298 a 4 5 17 19 20 22 24 26 27 33 39 41 42 43 47 50 52 54 55 57 59 61 63 64 67 70 71 74 83 84 92 96 114 119 122 126 127 130 131 136 142 149 152 153 156 157 158 164 166 169 172 175 176 177 178 180 184 185 187 188 192 193 195 198 199 202 207 216 219 229 230 236 241 242 245 252 254 256 258 259 266 267 272 274 276 277 278 284 285 286 287 291 292 293 295 298 a 4 5 17 19 20 22 24 26 27 33 39 41 42 43 47 50 52 54 55 57 59 61 63 64 67 70 71 74 83 84 92 96 114 119 122 126 127 130 131 136 142 149 152 153 156 157 158 164 166 169 172 175 176 177 178 180 184 185 187 188 192 193 195 198 199 202 207 216 229 230 236 241 242 245 252 254 256 258 259 262 266 267 272 274 276 277 278 284 285 286 287 291 292 293 295 298 a 4 5 17 19 20 22 24 26 27 33 39 41 42 43 47 50 52 54 55 57 59 61 63 64 67 70 71 74 83 84 92 96 114 119 122 126 127 130 131 136 142 149 152 153 156 157 158 164 166 169 172 175 176 177 178 180 184 185 187 188 192 193 195 198 199 202 207 216 229 230 233 236 241 242 245 252 256 258 259 262 266 267 272 274 276 277 278 284 285 286 287 291 292 293 295 298 a 4 5 17 19 20 22 24 26 27 33 39 41 42 43 47 50 52 53 54 55 57 59 61 63 64 67 70 71 74 83 84 92 96 114 119 122 126 127 130 131 136 142 149 152 153 157 158 164 166 169 172 175 176 177 178 180 184 185 187 188 192 193 195 198 199 202 207 216 229 230 233 236 241 242 245 252 256 258 259 262 266 267 272 274 276 277 278 284 285 286 287 291 292 293 295 298 a 4 5 17 19 20 22 24 26 27 33 39 41 42 43 47 50 52 53 54 55 57 59 61 63 64 67 70 71 74 83 84 92 96 114 119 122 126 127 130 131 136 139 142 149 152 153 157 158 164 166 169 172 175 176 177 178 180 184 185 187 188 193 195 198 199 202 207 216 229 230 233 236 241 242 245 252 256 258 259 262 266 267 272 274 276 277 278 284 285 286 287 291 292 293 295 298 a 4 5 17 19 20 22 24 26 27 33 39 41 42 43 47 50 52 53 54 55 57 59 61 63 64 67 70 71 74 83 84 92 96 114 119 122 126 127 130 131 136 139 142 149 152 153 157 158 164 166 169 172 175 176 177 178 180 184 185 187 188 193 195 198 199 202 207 216 230 233 236 241 242 245 251 252 256 258 259 262 266 267 272 274 276 277 278 284 285 286 287 291 292 293 295 298 a 4 5 17 19 20 22 24 26 27 33 39 41 42 43 47 50 52 53 54 55 57 59 61 63 64 67 70 71 74 83 84 92 96 114 119 122 126 127 130 131 136 139 142 149 152 153 157 158 164 166 169 172 175 176 177 178 180 184 185 187 188 193 195 198 199 202 207 216 230 233 235 236 241 242 245 251 252 256 258 259 262 266 272 274 276 277 278 284 285 286 287 291 292 293 295 298 a 4 5 17 19 20 22 24 26 27 33 39 41 42 43 47 50 52 53 54 55 57 59 61 63 64 67 70 71 74 83 84 92 96 113 114 119 122 126 127 130 131 136 139 142 149 152 153 157 158 164 166 169 172 175 176 177 178 180 184 185 187 188 193 195 198 199 202 207 216 230 233 235 236 241 242 245 251 252 256 258 259 262 266 274 276 277 278 284 285 286 287 291 292 293 295 298 a 4 5 17 19 20 22 24 26 27 33 39 41 42 43 47 50 52 53 54 55 57 59 61 63 64 67 70 71 74 83 84 92 96 113 114 119 122 126 127 130 131 136 139 142 149 152 153 157 158 164 165 166 169 172 175 176 177 178 180 185 187 188 193 195 198 199 202 207 216 230 233 235 236 241 242 245 251 252 256 258 259 262 266 274 276 277 278 284 285 286 287 291 292 293 295 298 a 4 5 17 19 20 22 24 26 27 33 39 41 42 43 47 50 52 53 54 55 57 59 61 63 64 67 70 71 74 83 84 92 96 113 114 119 122 126 127 130 131 136 139 142 149 152 153 157 158 164 165 166 169 172 175 176 177 178 180 185 187 188 193 195 198 199 202 207 216 230 233 235 236 241 242 245 251 252 256 258 259 261 262 266 276 277 278 284 285 286 287 291 292 293 295 298 a 4 5 17 19 20 22 24 26 27 33 39 41 42 43 47 50 52 53 54 55 57 59 61 63 64 67 70 71 74 83 84 92 96 113 114 119 122 126 127 130 131 136 139 142 149 152 153 157 158 164 165 166 169 172 175 176 177 178 180 185 187 188 193 195 198 199 202 207 216 218 230 233 235 236 241 242 245 251 252 256 258 259 261 262 266 276 277 278 284 286 287 291 292 293 295 298 a 4 5 17 19 20 22 24 26 27 33 39 41 42 43 47 50 52 53 54 55 57 59 60 61 63 64 67 70 71 74 83 84 92 96 113 114 119 122 126 127 130 131 136 139 142 149 152 153 157 158 164 165 166 169 172 175 176 177 178 180 185 187 188 193 195 198 199 202 207 216 218 230 233 235 236 241 242 245 251 252 256 258 259 261 262 266 276 277 278 284 286 287 292 293 295 298 a 4 5 17 19 20 22 24 26 27 33 39 41 42 43 47 50 52 53 54 55 57 59 60 61 63 64 67 70 71 74 83 84 92 96 113 114 119 122 126 127 130 131 136 139 142 149 152 153 157 158 164 165 166 169 172 175 176 177 178 180 185 187 188 193 195 198 199 202 207 216 218 230 233 235 236 241 242 245 251 252 256 258 259 261 262 266 276 277 278 284 286 287 293 295 298 299 a 4 5 17 19 20 22 24 26 27 33 39 41 42 43 47 50 52 53 54 55 57 59 60 61 63 64 67 70 71 74 83 84 92 96 113 114 119 122 126 127 131 136 139 142 149 152 153 157 158 164 165 166 169 172 175 176 177 178 180 185 187 188 193 195 198 199 202 207 216 218 230 233 235 236 241 242 245 251 252 256 258 259 261 262 266 276 277 278 280 284 286 287 293 295 298 299 a 4 5 17 19 20 22 24 26 27 33 39 41 42 43 47 50 52 53 54 55 57 59 60 61 63 64 67 70 71 74 83 84 92 96 113 114 119 122 126 127 131 136 139 142 149 152 153 157 158 164 165 166 169 172 175 176 177 178 180 185 186 187 188 193 195 198 199 202 207 216 218 230 233 235 236 242 245 251 252 256 258 259 261 262 266 276 277 278 280 284 286 287 293 295 298 299 a 4 5 17 18 19 20 22 24 26 27 33 39 41 42 43 47 50 52 53 54 55 57 59 60 61 63 64 67 70 71 74 83 84 92 96 113 114 119 122 126 127 131 136 139 142 149 152 153 157 158 164 165 166 169 172 175 176 177 178 180 185 186 187 188 195 198 199 202 207 216 218 230 233 235 236 242 245 251 252 256 258 259 261 262 266 276 277 278 280 284 286 287 293 295 298 299 Command being timed: "/solvers/driver/run.py --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance023_graph003.col /benchmark/random_instance/random_instance023_graph003_01.dat" User time (seconds): 3467.72 System time (seconds): 12.85 Percent of CPU this job got: 200% Elapsed (wall clock) time (h:mm:ss or m:ss): 28:59.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): 22405936 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 6938050 Voluntary context switches: 68603 Involuntary context switches: 5661 Swaps: 0 File system inputs: 0 File system outputs: 672 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Sat Sep 9 14:11:20 2023]