#BEGIN: [Sat Sep 9 13:45:11 2023] #HOST: s07 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-ai-planning2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance024_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance024_graph002_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_instance024_graph002.col /benchmark/random_instance/random_instance024_graph002_01.dat s 209 25 253 259 102 144 282 182 23 159 298 61 73 33 136 184 8 83 290 283 84 292 134 148 35 174 120 175 164 214 261 195 264 30 21 242 167 211 122 170 90 247 135 77 248 132 43 225 177 116 117 178 273 110 158 266 262 97 29 311 305 64 65 70 40 297 254 128 154 12 304 138 198 150 62 14 95 24 82 34 137 245 233 293 17 201 237 194 39 227 146 232 190 277 287 105 104 308 296 206 57 50 t 239 279 62 117 135 256 137 164 245 274 31 77 39 142 97 9 58 60 183 251 159 110 294 67 12 207 147 66 304 52 25 276 148 150 3 265 37 43 310 269 94 199 119 22 120 78 2 157 73 278 297 258 85 59 64 190 189 277 54 114 8 89 257 172 50 306 282 82 261 123 160 11 175 28 168 101 206 34 296 196 57 124 260 111 215 230 174 201 237 287 115 7 227 178 133 32 165 214 253 13 98 49 a YES a 8 12 14 17 21 23 24 25 29 30 33 34 35 39 40 43 50 57 61 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 116 117 120 122 128 132 134 135 136 137 138 144 146 148 150 154 158 159 164 167 170 174 175 177 178 182 184 190 194 195 198 201 206 209 211 214 225 227 232 233 237 242 245 247 248 253 254 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 311 a 8 12 14 17 21 23 24 25 30 33 34 35 39 40 43 50 57 61 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 116 117 120 122 128 132 134 135 136 137 138 144 146 148 150 154 158 159 164 167 170 174 175 177 178 182 184 190 194 195 198 201 206 209 211 214 225 227 232 233 237 242 245 247 248 253 254 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 8 12 14 17 21 23 24 25 30 34 35 39 40 43 50 57 61 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 116 117 120 122 128 132 134 135 136 137 138 144 146 148 150 154 158 159 164 167 170 174 175 177 178 182 184 190 194 195 198 201 206 209 211 214 225 227 232 233 237 242 245 247 248 253 254 256 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 8 12 14 17 21 23 24 25 30 34 35 39 43 50 57 61 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 116 117 120 122 128 132 134 135 136 137 138 144 146 148 150 154 158 159 164 167 170 174 175 177 178 182 184 190 194 195 198 201 206 209 211 214 225 227 230 232 233 237 242 245 247 248 253 254 256 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 8 12 14 17 21 23 24 25 30 34 39 43 50 57 61 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 116 117 120 122 128 132 134 135 136 137 138 144 146 148 150 154 158 159 160 164 167 170 174 175 177 178 182 184 190 194 195 198 201 206 209 211 214 225 227 230 232 233 237 242 245 247 248 253 254 256 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 8 12 14 17 21 23 24 25 30 34 39 43 50 57 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 115 116 117 120 122 128 132 134 135 136 137 138 144 146 148 150 154 158 159 160 164 167 170 174 175 177 178 182 184 190 194 195 198 201 206 209 211 214 225 227 230 232 233 237 242 245 247 248 253 254 256 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 8 12 14 17 21 23 24 25 30 34 39 43 50 57 59 62 64 70 73 77 82 83 84 90 95 97 102 104 105 110 115 116 117 120 122 128 132 134 135 136 137 138 144 146 148 150 154 158 159 160 164 167 170 174 175 177 178 182 184 190 194 195 198 201 206 209 211 214 225 227 230 232 233 237 242 245 247 248 253 254 256 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 2 8 12 14 17 21 23 24 25 30 34 39 43 50 57 59 62 64 70 73 77 82 83 84 90 95 97 102 104 105 110 115 116 117 120 122 132 134 135 136 137 138 144 146 148 150 154 158 159 160 164 167 170 174 175 177 178 182 184 190 194 195 198 201 206 209 211 214 225 227 230 232 233 237 242 245 247 248 253 254 256 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 2 8 12 17 21 23 24 25 30 34 39 43 50 57 58 59 62 64 70 73 77 82 83 84 90 95 97 102 104 105 110 115 116 117 120 122 132 134 135 136 137 138 144 146 148 150 154 158 159 160 164 167 170 174 175 177 178 182 184 190 194 195 198 201 206 209 211 214 225 227 230 232 233 237 242 245 247 248 253 254 256 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 2 8 12 17 21 23 24 25 30 34 39 43 50 57 58 59 62 64 70 73 77 82 83 84 90 95 97 102 104 105 110 115 116 117 120 122 134 135 136 137 138 144 146 148 150 154 157 158 159 160 164 167 170 174 175 177 178 182 184 190 194 195 198 201 206 209 211 214 225 227 230 232 233 237 242 245 247 248 253 254 256 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 2 8 12 17 21 23 24 25 30 34 39 43 50 57 58 59 62 64 70 73 77 82 83 84 90 95 97 102 104 105 110 115 116 117 120 122 135 136 137 138 144 146 148 150 154 157 158 159 160 164 167 170 174 175 177 178 182 184 190 194 195 198 201 206 207 209 211 214 225 227 230 232 233 237 242 245 247 248 253 254 256 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 2 8 12 17 21 23 24 25 30 34 39 43 49 50 57 58 59 62 64 70 73 77 82 83 84 90 95 97 102 104 105 110 115 116 117 120 122 135 137 138 144 146 148 150 154 157 158 159 160 164 167 170 174 175 177 178 182 184 190 194 195 198 201 206 207 209 211 214 225 227 230 232 233 237 242 245 247 248 253 254 256 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 2 8 12 17 21 23 24 25 30 34 39 43 49 50 57 58 59 62 64 70 73 77 82 83 84 90 95 97 102 104 105 110 115 116 117 120 122 135 137 138 144 146 148 150 154 157 159 160 164 167 170 174 175 177 178 182 184 190 194 195 198 201 206 207 209 211 214 225 227 230 232 233 237 242 245 247 248 253 254 256 259 261 262 264 266 273 277 278 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 2 8 12 17 21 23 24 25 30 34 39 43 49 50 57 58 59 62 64 70 73 77 82 83 84 90 94 95 97 104 105 110 115 116 117 120 122 135 137 138 144 146 148 150 154 157 159 160 164 167 170 174 175 177 178 182 184 190 194 195 198 201 206 207 209 211 214 225 227 230 232 233 237 242 245 247 248 253 254 256 259 261 262 264 266 273 277 278 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 2 8 12 17 21 23 24 25 30 34 39 43 49 50 57 58 59 62 64 67 70 73 77 82 83 84 90 94 95 97 104 105 110 115 116 117 120 122 135 137 138 144 146 148 150 157 159 160 164 167 170 174 175 177 178 182 184 190 194 195 198 201 206 207 209 211 214 225 227 230 232 233 237 242 245 247 248 253 254 256 259 261 262 264 266 273 277 278 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 2 8 12 13 17 21 23 24 25 30 34 39 43 49 50 57 58 59 62 64 67 70 73 77 82 83 84 90 94 95 97 104 105 110 115 116 117 120 122 135 137 138 144 146 148 150 157 159 160 164 170 174 175 177 178 182 184 190 194 195 198 201 206 207 209 211 214 225 227 230 232 233 237 242 245 247 248 253 254 256 259 261 262 264 266 273 277 278 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 2 7 8 12 13 17 21 23 24 25 30 34 39 43 49 50 57 58 59 62 64 67 70 73 77 82 83 84 90 94 95 97 104 105 110 115 116 117 120 122 135 137 138 144 146 148 150 157 159 160 164 174 175 177 178 182 184 190 194 195 198 201 206 207 209 211 214 225 227 230 232 233 237 242 245 247 248 253 254 256 259 261 262 264 266 273 277 278 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 2 7 8 12 13 17 21 23 24 25 30 34 39 43 49 50 57 58 59 62 64 67 70 73 77 82 83 84 90 94 95 97 104 105 110 115 116 117 120 122 135 137 138 144 146 148 150 157 159 160 164 174 175 178 182 184 190 194 195 198 201 206 207 209 211 214 225 227 230 232 233 237 242 245 247 248 251 253 254 256 259 261 262 264 266 273 277 278 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 2 7 8 12 13 17 21 23 24 25 30 34 39 43 49 50 57 58 59 62 64 67 70 73 77 82 83 84 90 94 95 97 104 105 110 115 116 117 120 122 135 137 138 144 146 148 150 157 159 160 164 174 175 178 184 190 194 195 198 201 206 207 209 211 214 225 227 230 232 233 237 242 245 247 248 251 253 254 256 257 259 261 262 264 266 273 277 278 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 2 7 8 12 13 21 23 24 25 30 34 39 43 49 50 57 58 59 62 64 67 70 73 77 82 83 84 90 94 95 97 98 104 105 110 115 116 117 120 122 135 137 138 144 146 148 150 157 159 160 164 174 175 178 184 190 194 195 198 201 206 207 209 211 214 225 227 230 232 233 237 242 245 247 248 251 253 254 256 257 259 261 262 264 266 273 277 278 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 2 7 8 12 13 23 24 25 30 34 39 43 49 50 57 58 59 62 64 67 70 73 77 82 83 84 90 94 95 97 98 104 105 110 115 116 117 120 122 135 137 138 144 146 148 150 157 159 160 164 174 175 178 184 190 194 195 196 198 201 206 207 209 211 214 225 227 230 232 233 237 242 245 247 248 251 253 254 256 257 259 261 262 264 266 273 277 278 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 2 7 8 12 13 23 24 25 30 34 39 43 49 50 54 57 58 59 62 64 67 70 73 77 82 83 84 90 94 95 97 98 104 105 110 115 116 117 120 122 135 137 138 144 146 148 150 157 159 160 164 174 175 178 190 194 195 196 198 201 206 207 209 211 214 225 227 230 232 233 237 242 245 247 248 251 253 254 256 257 259 261 262 264 266 273 277 278 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 2 7 8 12 13 23 24 25 30 34 39 43 49 50 54 57 58 59 62 64 67 70 73 77 82 83 84 90 94 95 97 98 101 104 105 110 115 116 117 120 122 135 137 138 144 146 148 150 157 159 160 164 174 175 178 190 194 195 196 201 206 207 209 211 214 225 227 230 232 233 237 242 245 247 248 251 253 254 256 257 259 261 262 264 266 273 277 278 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 2 7 8 12 13 23 24 25 31 34 39 43 49 50 54 57 58 59 62 64 67 70 73 77 82 83 84 90 94 95 97 98 101 104 105 110 115 116 117 120 122 135 137 138 144 146 148 150 157 159 160 164 174 175 178 190 194 195 196 201 206 207 209 211 214 225 227 230 232 233 237 242 245 247 248 251 253 254 256 257 259 261 262 264 266 273 277 278 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 2 7 8 12 13 23 24 25 31 34 37 39 43 49 50 54 57 58 59 62 64 67 70 73 77 82 83 84 90 94 95 97 98 101 104 105 110 115 116 117 120 122 135 137 138 144 146 148 150 157 159 160 164 174 175 178 190 194 195 196 201 206 207 211 214 225 227 230 232 233 237 242 245 247 248 251 253 254 256 257 259 261 262 264 266 273 277 278 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 2 7 8 12 13 23 24 25 31 34 37 39 43 49 50 54 57 58 59 62 64 67 70 73 77 82 83 84 90 94 95 97 98 101 104 105 110 115 116 117 120 122 135 137 144 146 148 150 157 159 160 164 172 174 175 178 190 194 195 196 201 206 207 211 214 225 227 230 232 233 237 242 245 247 248 251 253 254 256 257 259 261 262 264 266 273 277 278 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 2 7 8 12 13 23 24 25 28 31 34 37 39 43 49 50 54 57 58 59 62 64 67 70 73 77 82 83 84 90 94 95 97 98 101 104 105 110 115 116 117 120 122 135 137 144 146 148 150 157 159 160 164 172 174 175 178 190 194 195 196 201 206 207 211 214 227 230 232 233 237 242 245 247 248 251 253 254 256 257 259 261 262 264 266 273 277 278 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 2 7 8 12 13 24 25 28 31 34 37 39 43 49 50 54 57 58 59 62 64 67 70 73 77 82 83 84 90 94 95 97 98 101 104 105 110 115 116 117 120 122 135 137 144 146 147 148 150 157 159 160 164 172 174 175 178 190 194 195 196 201 206 207 211 214 227 230 232 233 237 242 245 247 248 251 253 254 256 257 259 261 262 264 266 273 277 278 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 2 7 8 12 13 25 28 31 34 37 39 43 49 50 54 57 58 59 62 64 67 70 73 77 82 83 84 90 94 95 97 98 101 104 105 110 115 116 117 120 122 135 137 144 146 147 148 150 157 159 160 164 172 174 175 178 190 194 195 196 201 206 207 211 214 227 230 232 233 237 242 245 247 248 251 253 254 256 257 259 261 262 264 266 273 276 277 278 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 2 7 8 12 13 25 28 31 34 37 39 43 49 50 54 57 58 59 62 64 67 70 73 77 82 83 84 90 94 95 97 98 101 104 105 110 115 116 117 120 122 124 135 137 144 146 147 148 150 157 159 160 164 172 174 175 178 190 194 195 196 201 206 207 211 214 227 230 232 233 237 242 245 248 251 253 254 256 257 259 261 262 264 266 273 276 277 278 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 2 7 8 12 13 25 28 31 34 37 39 43 49 50 52 54 57 58 59 62 64 67 73 77 82 83 84 90 94 95 97 98 101 104 105 110 115 116 117 120 122 124 135 137 144 146 147 148 150 157 159 160 164 172 174 175 178 190 194 195 196 201 206 207 211 214 227 230 232 233 237 242 245 248 251 253 254 256 257 259 261 262 264 266 273 276 277 278 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 2 7 8 12 13 25 28 31 34 37 39 43 49 50 52 54 57 58 59 62 64 67 73 77 82 83 84 90 94 95 97 98 101 104 105 110 115 116 117 120 122 124 135 137 144 146 147 148 150 157 159 160 164 172 174 175 178 190 194 195 196 201 206 207 211 214 227 230 232 233 237 242 245 251 253 254 256 257 259 260 261 262 264 266 273 276 277 278 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 2 3 7 8 12 13 25 28 31 34 37 39 43 49 50 52 54 57 58 59 62 64 67 73 77 82 83 84 90 94 95 97 98 101 104 110 115 116 117 120 122 124 135 137 144 146 147 148 150 157 159 160 164 172 174 175 178 190 194 195 196 201 206 207 211 214 227 230 232 233 237 242 245 251 253 254 256 257 259 260 261 262 264 266 273 276 277 278 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 2 3 7 8 12 13 25 28 31 34 37 39 43 49 50 52 54 57 58 59 62 64 67 73 77 82 83 84 90 94 95 97 98 101 104 110 115 116 117 120 122 124 135 137 144 146 147 148 150 157 159 160 164 172 174 175 178 190 194 195 196 201 206 207 211 214 227 230 232 233 237 242 245 251 253 256 257 258 259 260 261 262 264 266 273 276 277 278 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 2 3 7 8 12 13 25 28 31 34 37 39 43 49 50 52 54 57 58 59 62 64 67 73 77 82 84 90 94 95 97 98 101 104 110 115 116 117 120 122 124 135 137 144 146 147 148 150 157 159 160 164 172 174 175 178 190 194 195 196 201 206 207 211 214 215 227 230 232 233 237 242 245 251 253 256 257 258 259 260 261 262 264 266 273 276 277 278 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 2 3 7 8 12 13 25 28 31 34 37 39 43 49 50 52 54 57 58 59 62 64 67 73 77 82 84 85 90 94 95 97 98 101 104 110 115 116 117 120 122 124 135 137 144 146 147 148 150 157 159 160 164 172 174 175 178 190 194 195 196 201 206 207 211 214 215 227 230 232 233 237 242 245 251 253 256 257 258 260 261 262 264 266 273 276 277 278 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 2 3 7 8 12 13 25 28 31 34 37 39 43 49 50 52 54 57 58 59 62 64 67 73 77 82 84 85 90 94 95 97 98 101 104 110 115 116 117 120 122 123 124 135 137 144 146 147 148 150 157 159 160 164 172 174 175 178 190 194 195 196 201 206 207 211 214 215 227 230 232 233 237 242 245 251 253 256 257 258 260 261 262 266 273 276 277 278 282 283 287 290 292 293 296 297 298 304 305 308 310 311 a 2 3 7 8 12 13 25 28 31 34 37 39 43 49 50 52 54 57 58 59 62 64 67 73 77 82 84 85 90 94 95 97 98 101 104 110 115 116 117 120 122 123 124 135 137 144 146 147 148 150 157 159 160 164 172 174 175 178 190 194 195 196 201 206 207 211 214 215 227 230 232 233 237 242 245 251 253 256 257 258 260 261 262 266 276 277 278 282 283 287 290 292 293 294 296 297 298 304 305 308 310 311 a 2 3 7 8 12 13 25 28 31 34 37 39 43 49 50 52 54 57 58 59 62 64 67 73 77 82 84 85 89 90 94 95 97 98 101 104 110 115 116 117 120 122 123 124 135 137 144 146 147 148 150 157 159 160 164 172 174 175 178 190 194 195 196 201 206 207 211 214 215 227 230 232 233 237 242 245 251 253 256 257 258 260 261 262 266 276 277 278 282 283 287 292 293 294 296 297 298 304 305 308 310 311 a 2 3 7 8 12 13 25 28 31 34 37 39 43 49 50 52 54 57 58 59 62 64 67 73 77 82 84 85 89 90 94 95 97 98 101 104 110 115 116 117 120 122 123 124 135 137 144 146 147 148 150 157 159 160 164 172 174 175 178 190 194 195 196 201 206 207 211 214 215 227 230 232 233 237 242 245 251 253 256 257 258 260 261 262 266 269 276 277 278 282 283 287 293 294 296 297 298 304 305 308 310 311 a 2 3 7 8 11 12 13 25 28 31 34 37 39 43 49 50 52 54 57 58 59 62 64 67 73 77 82 84 85 89 90 94 95 97 98 101 104 110 115 116 117 120 122 123 124 135 137 144 146 147 148 150 157 159 160 164 172 174 175 178 190 194 195 196 201 206 207 211 214 215 227 230 232 233 237 245 251 253 256 257 258 260 261 262 266 269 276 277 278 282 283 287 293 294 296 297 298 304 305 308 310 311 a 2 3 7 8 11 12 13 25 28 31 34 37 39 43 49 50 52 54 57 58 59 62 64 67 73 77 82 84 85 89 90 94 95 97 98 101 104 110 115 116 117 120 123 124 135 137 144 146 147 148 150 157 159 160 164 172 174 175 178 190 194 195 196 201 206 207 211 214 215 227 230 232 233 237 245 251 253 256 257 258 260 261 262 266 269 274 276 277 278 282 283 287 293 294 296 297 298 304 305 308 310 311 a 2 3 7 8 11 12 13 25 28 31 34 37 39 43 49 50 52 54 57 58 59 62 64 67 73 77 82 84 85 89 90 94 95 97 98 101 104 110 115 116 117 120 123 124 135 137 144 146 147 148 150 157 159 160 164 165 172 174 175 178 190 194 196 201 206 207 211 214 215 227 230 232 233 237 245 251 253 256 257 258 260 261 262 266 269 274 276 277 278 282 283 287 293 294 296 297 298 304 305 308 310 311 a 2 3 7 8 11 12 13 25 28 31 32 34 37 39 43 49 50 52 54 57 58 59 62 64 67 73 77 82 84 85 89 90 94 95 97 98 101 104 110 115 116 117 120 123 124 135 137 144 146 147 148 150 157 159 160 164 165 172 174 175 178 190 194 196 201 206 207 211 214 215 227 230 232 233 237 245 251 253 256 257 258 260 261 266 269 274 276 277 278 282 283 287 293 294 296 297 298 304 305 308 310 311 a 2 3 7 8 11 12 13 25 28 31 32 34 37 39 43 49 50 52 54 57 58 59 60 62 64 67 73 77 82 85 89 90 94 95 97 98 101 104 110 115 116 117 120 123 124 135 137 144 146 147 148 150 157 159 160 164 165 172 174 175 178 190 194 196 201 206 207 211 214 215 227 230 232 233 237 245 251 253 256 257 258 260 261 266 269 274 276 277 278 282 283 287 293 294 296 297 298 304 305 308 310 311 a 2 3 7 8 11 12 13 25 28 31 32 34 37 39 43 49 50 52 54 57 58 59 60 62 64 67 73 77 82 85 89 90 94 97 98 101 104 110 115 116 117 120 123 124 133 135 137 144 146 147 148 150 157 159 160 164 165 172 174 175 178 190 194 196 201 206 207 211 214 215 227 230 232 233 237 245 251 253 256 257 258 260 261 266 269 274 276 277 278 282 283 287 293 294 296 297 298 304 305 308 310 311 a 2 3 7 8 11 12 13 25 28 31 32 34 37 39 43 49 50 52 54 57 58 59 60 62 64 67 73 77 82 85 89 90 94 97 98 101 104 110 115 116 117 120 123 124 133 135 137 144 146 147 148 150 157 159 160 164 165 172 174 175 178 183 190 194 196 201 206 207 211 214 215 227 230 232 233 237 245 251 253 256 257 258 260 261 269 274 276 277 278 282 283 287 293 294 296 297 298 304 305 308 310 311 a 2 3 7 8 11 12 13 25 28 31 32 34 37 39 43 49 50 52 54 57 58 59 60 62 64 66 67 73 77 82 85 89 90 94 97 98 101 104 110 115 116 117 120 123 124 133 135 137 144 146 147 148 150 157 159 160 164 165 172 174 175 178 183 190 194 196 201 206 207 211 214 215 227 230 232 233 237 245 251 253 256 257 258 260 261 269 274 276 277 278 282 283 287 294 296 297 298 304 305 308 310 311 a 2 3 7 8 11 12 13 25 28 31 32 34 37 39 43 49 50 52 54 57 58 59 60 62 64 66 67 73 77 82 85 89 94 97 98 101 104 110 115 116 117 120 123 124 133 135 137 144 146 147 148 150 157 159 160 164 165 168 172 174 175 178 183 190 194 196 201 206 207 211 214 215 227 230 232 233 237 245 251 253 256 257 258 260 261 269 274 276 277 278 282 283 287 294 296 297 298 304 305 308 310 311 a 2 3 7 8 11 12 13 25 28 31 32 34 37 39 43 49 50 52 54 57 58 59 60 62 64 66 67 73 77 82 85 89 94 97 98 101 104 110 115 117 120 123 124 133 135 137 144 146 147 148 150 157 159 160 164 165 168 172 174 175 178 183 190 194 196 201 206 207 211 214 215 227 230 232 233 237 239 245 251 253 256 257 258 260 261 269 274 276 277 278 282 283 287 294 296 297 298 304 305 308 310 311 a 2 3 7 8 11 12 13 22 25 28 31 32 34 37 39 43 49 50 52 54 57 58 59 60 62 64 66 67 73 77 82 85 89 94 97 98 101 104 110 115 117 120 123 124 133 135 137 144 146 147 148 150 157 159 160 164 165 168 172 174 175 178 183 190 194 196 201 206 207 211 214 215 227 230 232 237 239 245 251 253 256 257 258 260 261 269 274 276 277 278 282 283 287 294 296 297 298 304 305 308 310 311 a 2 3 7 8 11 12 13 22 25 28 31 32 34 37 39 43 49 50 52 54 57 58 59 60 62 64 66 67 73 77 82 85 89 94 97 98 101 110 111 115 117 120 123 124 133 135 137 144 146 147 148 150 157 159 160 164 165 168 172 174 175 178 183 190 194 196 201 206 207 211 214 215 227 230 232 237 239 245 251 253 256 257 258 260 261 269 274 276 277 278 282 283 287 294 296 297 298 304 305 308 310 311 a 2 3 7 8 11 12 13 22 25 28 31 32 34 37 39 43 49 50 52 54 57 58 59 60 62 64 66 67 73 77 82 85 89 94 97 98 101 110 111 115 117 120 123 124 133 135 137 144 147 148 150 157 159 160 164 165 168 172 174 175 178 183 190 194 196 201 206 207 211 214 215 227 230 232 237 239 245 251 253 256 257 258 260 261 269 274 276 277 278 279 282 283 287 294 296 297 298 304 305 308 310 311 a 2 3 7 8 11 12 13 22 25 28 31 32 34 37 39 43 49 50 52 54 57 58 59 60 62 64 66 67 73 77 82 85 89 94 97 98 101 110 111 115 117 120 123 124 133 135 137 144 147 148 150 157 159 160 164 165 168 172 174 175 178 183 190 194 196 201 206 207 211 214 215 227 230 237 239 245 251 253 256 257 258 260 261 269 274 276 277 278 279 282 283 287 294 296 297 298 304 305 306 308 310 311 a 2 3 7 8 11 12 13 22 25 28 31 32 34 37 39 43 49 50 52 54 57 58 59 60 62 64 66 67 73 77 78 82 85 89 94 97 98 101 110 111 115 117 120 123 124 133 135 137 144 147 148 150 157 159 160 164 165 168 172 174 175 178 183 190 194 196 201 206 207 211 214 215 227 230 237 239 245 251 253 256 257 258 260 261 269 274 276 277 278 279 282 287 294 296 297 298 304 305 306 308 310 311 a 2 3 7 8 11 12 13 22 25 28 31 32 34 37 39 43 49 50 52 54 57 58 59 60 62 64 66 67 73 77 78 82 85 89 94 97 98 101 110 111 114 115 117 120 123 124 133 135 137 144 147 148 150 157 159 160 164 165 168 172 174 175 178 183 190 194 196 201 206 207 211 214 215 227 230 237 239 245 251 253 256 257 258 260 261 269 274 276 277 278 279 282 287 294 296 297 304 305 306 308 310 311 a 2 3 7 8 11 12 13 22 25 28 31 32 34 37 39 43 49 50 52 54 57 58 59 60 62 64 66 67 73 77 78 82 85 89 94 97 98 101 110 111 114 115 117 120 123 124 133 135 137 147 148 150 157 159 160 164 165 168 172 174 175 178 183 190 194 196 201 206 207 211 214 215 227 230 237 239 245 251 253 256 257 258 260 261 265 269 274 276 277 278 279 282 287 294 296 297 304 305 306 308 310 311 a 2 3 7 8 11 12 13 22 25 28 31 32 34 37 39 43 49 50 52 54 57 58 59 60 62 64 66 67 73 77 78 82 85 89 94 97 98 101 110 111 114 115 117 120 123 124 133 135 137 142 147 148 150 157 159 160 164 165 168 172 174 175 178 183 190 196 201 206 207 211 214 215 227 230 237 239 245 251 253 256 257 258 260 261 265 269 274 276 277 278 279 282 287 294 296 297 304 305 306 308 310 311 a 2 3 7 8 11 12 13 22 25 28 31 32 34 37 39 43 49 50 52 54 57 58 59 60 62 64 66 67 73 77 78 82 85 89 94 97 98 101 110 111 114 115 117 119 120 123 124 133 135 137 142 147 148 150 157 159 160 164 165 168 172 174 175 178 183 190 196 201 206 207 214 215 227 230 237 239 245 251 253 256 257 258 260 261 265 269 274 276 277 278 279 282 287 294 296 297 304 305 306 308 310 311 a 2 3 7 8 11 12 13 22 25 28 31 32 34 37 39 43 49 50 52 54 57 58 59 60 62 64 66 67 73 77 78 82 85 89 94 97 98 101 110 111 114 115 117 119 120 123 124 133 135 137 142 147 148 150 157 159 160 164 165 168 172 174 175 178 183 189 190 196 201 206 207 214 215 227 230 237 239 245 251 253 256 257 258 260 261 265 269 274 276 277 278 279 282 287 294 296 297 304 306 308 310 311 a 2 3 7 8 11 12 13 22 25 28 31 32 34 37 39 43 49 50 52 54 57 58 59 60 62 64 66 67 73 77 78 82 85 89 94 97 98 101 110 111 114 115 117 119 120 123 124 133 135 137 142 147 148 150 157 159 160 164 165 168 172 174 175 178 183 189 190 196 199 201 206 207 214 215 227 230 237 239 245 251 253 256 257 258 260 261 265 269 274 276 277 278 279 282 287 294 296 297 304 306 310 311 a 2 3 7 8 9 11 12 13 22 25 28 31 32 34 37 39 43 49 50 52 54 57 58 59 60 62 64 66 67 73 77 78 82 85 89 94 97 98 101 110 111 114 115 117 119 120 123 124 133 135 137 142 147 148 150 157 159 160 164 165 168 172 174 175 178 183 189 190 196 199 201 206 207 214 215 227 230 237 239 245 251 253 256 257 258 260 261 265 269 274 276 277 278 279 282 287 294 296 297 304 306 310 Command being timed: "/solvers/driver/run.py --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance024_graph002.col /benchmark/random_instance/random_instance024_graph002_01.dat" User time (seconds): 3471.10 System time (seconds): 10.12 Percent of CPU this job got: 200% Elapsed (wall clock) time (h:mm:ss or m:ss): 28:59.59 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): 26688964 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 8454093 Voluntary context switches: 68443 Involuntary context switches: 9989 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:14:12 2023]