#BEGIN: [Mon Sep 25 18:26:05 2023] #HOST: s05 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-ai-planning2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance024_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance024_graph001_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_graph001.col /benchmark/random_instance/random_instance024_graph001_01.dat s 221 135 103 23 238 289 164 110 49 155 130 276 133 44 113 71 294 96 32 42 284 60 173 35 241 84 111 299 223 271 69 265 170 200 269 275 232 41 109 118 106 158 28 245 309 10 31 291 25 67 114 194 151 153 38 169 198 214 138 83 93 312 212 157 279 120 308 116 219 91 280 141 175 126 285 37 121 17 77 249 11 252 86 107 9 206 20 233 64 207 136 152 304 150 190 182 177 t 28 120 298 262 252 107 39 100 7 249 146 58 228 32 101 140 27 277 299 159 191 8 87 218 81 138 261 4 149 257 2 110 104 281 26 156 304 154 17 40 62 177 293 59 41 260 229 200 11 221 90 16 143 116 121 78 69 129 238 128 239 113 264 187 74 173 283 202 286 153 251 144 20 194 235 219 179 93 114 139 44 151 259 73 178 38 63 267 310 22 253 240 174 64 24 263 241 a YES a 9 10 11 17 20 23 25 28 31 32 35 37 38 41 42 44 49 60 64 67 69 71 77 83 84 86 91 93 96 103 106 107 109 110 111 113 114 116 118 120 121 126 130 133 135 136 138 141 150 151 152 153 155 157 158 164 169 170 173 175 177 182 190 194 198 200 206 207 212 214 219 221 223 232 233 238 241 245 249 252 265 269 271 275 276 279 280 284 285 289 291 294 299 304 308 309 312 a 9 11 17 20 23 25 28 31 32 35 37 38 41 42 44 49 60 64 67 69 71 77 83 84 86 91 93 96 103 106 107 109 110 111 113 114 116 118 120 121 126 130 133 135 136 138 141 150 151 152 153 155 157 158 164 169 170 173 175 177 182 190 194 198 200 206 207 212 214 219 221 223 232 233 238 241 245 249 252 265 269 271 275 276 279 280 284 285 289 291 294 298 299 304 308 309 312 a 9 11 17 20 23 25 28 32 35 37 38 41 42 44 49 60 64 67 69 71 77 83 84 86 91 93 96 103 106 107 109 110 111 113 114 116 118 120 121 126 130 133 135 136 138 139 141 150 151 152 153 155 157 158 164 169 170 173 175 177 182 190 194 198 200 206 207 212 214 219 221 223 232 233 238 241 245 249 252 265 269 271 275 276 279 280 284 285 289 291 294 298 299 304 308 309 312 a 9 11 17 20 23 25 28 32 35 37 38 41 42 44 60 64 67 69 71 77 83 84 86 91 93 96 103 106 107 109 110 111 113 114 116 118 120 121 126 130 133 135 136 138 139 141 150 151 152 153 155 157 158 164 169 170 173 174 175 177 182 190 194 198 200 206 207 212 214 219 221 223 232 233 238 241 245 249 252 265 269 271 275 276 279 280 284 285 289 291 294 298 299 304 308 309 312 a 9 11 17 20 23 25 28 32 35 37 38 41 42 44 63 64 67 69 71 77 83 84 86 91 93 96 103 106 107 109 110 111 113 114 116 118 120 121 126 130 133 135 136 138 139 141 150 151 152 153 155 157 158 164 169 170 173 174 175 177 182 190 194 198 200 206 207 212 214 219 221 223 232 233 238 241 245 249 252 265 269 271 275 276 279 280 284 285 289 291 294 298 299 304 308 309 312 a 9 11 17 20 23 25 28 32 35 37 38 41 42 44 63 64 67 69 71 77 84 86 91 93 96 103 106 107 109 110 111 113 114 116 118 120 121 126 128 130 133 135 136 138 139 141 150 151 152 153 155 157 158 164 169 170 173 174 175 177 182 190 194 198 200 206 207 212 214 219 221 223 232 233 238 241 245 249 252 265 269 271 275 276 279 280 284 285 289 291 294 298 299 304 308 309 312 a 9 11 17 20 23 25 28 32 35 37 38 41 42 44 63 64 67 69 71 77 84 91 93 96 103 106 107 109 110 111 113 114 116 118 120 121 126 128 130 133 135 136 138 139 141 150 151 152 153 155 157 158 164 169 170 173 174 175 177 182 190 194 198 200 206 207 212 214 219 221 223 232 233 238 241 245 249 252 263 265 269 271 275 276 279 280 284 285 289 291 294 298 299 304 308 309 312 a 9 11 17 20 23 25 28 32 35 37 38 41 42 44 63 64 67 69 71 77 84 93 96 103 106 107 109 110 111 113 114 116 118 120 121 126 128 130 133 135 136 138 139 141 150 151 152 153 155 157 158 164 169 170 173 174 175 177 182 190 194 198 200 206 207 212 214 219 221 223 232 233 238 241 245 249 252 262 263 265 269 271 275 276 279 280 284 285 289 291 294 298 299 304 308 309 312 a 9 11 17 20 23 25 28 32 35 37 38 41 42 44 63 64 67 69 71 77 84 93 103 106 107 109 110 111 113 114 116 118 120 121 126 128 130 133 135 136 138 139 141 144 150 151 152 153 155 157 158 164 169 170 173 174 175 177 182 190 194 198 200 206 207 212 214 219 221 223 232 233 238 241 245 249 252 262 263 265 269 271 275 276 279 280 284 285 289 291 294 298 299 304 308 309 312 a 9 11 17 20 22 23 25 28 32 35 37 38 41 42 44 63 64 67 69 71 77 84 93 106 107 109 110 111 113 114 116 118 120 121 126 128 130 133 135 136 138 139 141 144 150 151 152 153 155 157 158 164 169 170 173 174 175 177 182 190 194 198 200 206 207 212 214 219 221 223 232 233 238 241 245 249 252 262 263 265 269 271 275 276 279 280 284 285 289 291 294 298 299 304 308 309 312 a 11 17 20 22 23 25 28 32 35 37 38 41 42 44 63 64 67 69 71 77 84 93 106 107 109 110 111 113 114 116 118 120 121 126 128 130 133 135 136 138 139 141 144 150 151 152 153 155 157 158 164 169 170 173 174 175 177 182 190 194 198 200 202 206 207 212 214 219 221 223 232 233 238 241 245 249 252 262 263 265 269 271 275 276 279 280 284 285 289 291 294 298 299 304 308 309 312 a 11 17 20 22 25 28 32 35 37 38 41 42 44 63 64 67 69 71 74 77 84 93 106 107 109 110 111 113 114 116 118 120 121 126 128 130 133 135 136 138 139 141 144 150 151 152 153 155 157 158 164 169 170 173 174 175 177 182 190 194 198 200 202 206 207 212 214 219 221 223 232 233 238 241 245 249 252 262 263 265 269 271 275 276 279 280 284 285 289 291 294 298 299 304 308 309 312 a 11 17 20 22 25 28 32 35 37 38 41 42 44 63 64 69 71 74 77 84 93 106 107 109 110 111 113 114 116 118 120 121 126 128 130 133 135 136 138 139 141 144 149 150 151 152 153 155 157 158 164 169 170 173 174 175 177 182 190 194 198 200 202 206 207 212 214 219 221 223 232 233 238 241 245 249 252 262 263 265 269 271 275 276 279 280 284 285 289 291 294 298 299 304 308 309 312 a 11 17 20 22 24 25 28 32 35 37 38 41 42 44 63 64 69 71 74 77 84 93 106 107 110 111 113 114 116 118 120 121 126 128 130 133 135 136 138 139 141 144 149 150 151 152 153 155 157 158 164 169 170 173 174 175 177 182 190 194 198 200 202 206 207 212 214 219 221 223 232 233 238 241 245 249 252 262 263 265 269 271 275 276 279 280 284 285 289 291 294 298 299 304 308 309 312 a 11 17 20 22 24 25 28 32 35 37 38 41 42 44 63 64 69 71 74 77 84 93 106 107 110 111 113 114 116 120 121 126 128 130 133 135 136 138 139 141 144 149 150 151 152 153 155 156 157 158 164 169 170 173 174 175 177 182 190 194 198 200 202 206 207 212 214 219 221 223 232 233 238 241 245 249 252 262 263 265 269 271 275 276 279 280 284 285 289 291 294 298 299 304 308 309 312 a 11 17 20 22 24 25 28 32 35 37 38 41 42 44 63 64 69 71 74 77 84 93 106 107 110 111 113 114 116 120 121 128 130 133 135 136 138 139 141 144 149 150 151 152 153 155 156 157 158 164 169 170 173 174 175 177 182 190 194 198 200 202 206 207 212 214 219 221 223 229 232 233 238 241 245 249 252 262 263 265 269 271 275 276 279 280 284 285 289 291 294 298 299 304 308 309 312 a 11 17 20 22 24 25 28 32 35 37 38 41 42 44 63 64 69 71 74 77 84 93 106 107 110 111 113 114 116 120 121 128 133 135 136 138 139 141 144 149 150 151 152 153 155 156 157 158 164 169 170 173 174 175 177 182 190 194 198 200 202 206 207 212 214 219 221 223 229 232 233 238 241 245 249 252 262 263 265 269 271 275 276 279 280 283 284 285 289 291 294 298 299 304 308 309 312 a 11 17 20 22 24 25 28 32 35 37 38 41 42 44 63 64 69 71 74 77 84 93 106 107 110 111 113 114 116 120 121 128 135 136 138 139 141 144 149 150 151 152 153 155 156 157 158 164 169 170 173 174 175 177 182 190 194 198 200 202 206 207 212 214 219 221 223 229 232 233 238 240 241 245 249 252 262 263 265 269 271 275 276 279 280 283 284 285 289 291 294 298 299 304 308 309 312 a 11 17 20 22 24 25 28 32 35 37 38 41 42 44 63 64 69 71 74 77 84 93 106 107 110 111 113 114 116 120 121 128 135 138 139 141 144 149 150 151 152 153 155 156 157 158 164 169 170 173 174 175 177 182 187 190 194 198 200 202 206 207 212 214 219 221 223 229 232 233 238 240 241 245 249 252 262 263 265 269 271 275 276 279 280 283 284 285 289 291 294 298 299 304 308 309 312 a 11 17 20 22 24 25 28 32 35 37 38 41 42 44 63 64 69 71 74 77 84 93 106 107 110 111 113 114 116 120 121 128 135 138 139 144 149 150 151 152 153 155 156 157 158 164 169 170 173 174 175 177 182 187 190 194 198 200 202 206 207 212 214 219 221 223 229 232 233 238 240 241 245 249 252 262 263 264 265 269 271 275 276 279 280 283 284 285 289 291 294 298 299 304 308 309 312 a 11 17 20 22 24 28 32 35 37 38 41 42 44 63 64 69 71 74 77 84 93 106 107 110 111 113 114 116 120 121 128 135 138 139 144 149 150 151 152 153 155 156 157 158 164 169 170 173 174 175 177 182 187 190 194 198 200 202 206 207 212 214 219 221 223 229 232 233 238 240 241 245 249 252 262 263 264 265 269 271 275 276 279 280 283 284 285 289 291 294 298 299 304 308 309 310 312 a 4 11 17 20 22 24 28 32 35 37 38 41 42 44 63 64 69 71 74 77 84 93 106 107 110 111 113 114 116 120 121 128 135 138 139 144 149 150 151 152 153 155 156 157 164 169 170 173 174 175 177 182 187 190 194 198 200 202 206 207 212 214 219 221 223 229 232 233 238 240 241 245 249 252 262 263 264 265 269 271 275 276 279 280 283 284 285 289 291 294 298 299 304 308 309 310 312 a 4 11 17 20 22 24 28 32 35 37 38 41 42 44 63 64 69 71 74 77 84 93 106 107 110 111 113 114 116 120 121 128 135 138 139 144 149 150 151 152 153 155 156 157 169 170 173 174 175 177 182 187 190 194 198 200 202 206 207 212 214 219 221 223 229 232 233 238 240 241 245 249 251 252 262 263 264 265 269 271 275 276 279 280 283 284 285 289 291 294 298 299 304 308 309 310 312 a 4 11 17 20 22 24 28 32 35 37 38 41 42 44 63 64 69 71 74 77 84 93 106 107 110 111 113 114 116 120 121 128 135 138 139 143 144 149 150 151 152 153 155 156 157 169 170 173 174 177 182 187 190 194 198 200 202 206 207 212 214 219 221 223 229 232 233 238 240 241 245 249 251 252 262 263 264 265 269 271 275 276 279 280 283 284 285 289 291 294 298 299 304 308 309 310 312 a 4 11 17 20 22 24 28 32 35 37 38 41 42 44 63 64 69 71 74 77 84 93 106 107 110 111 113 114 116 120 121 128 135 138 139 143 144 149 150 151 152 153 155 156 157 169 170 173 174 177 182 187 194 198 200 202 206 207 212 214 219 221 223 229 232 233 238 240 241 245 249 251 252 262 263 264 265 267 269 271 275 276 279 280 283 284 285 289 291 294 298 299 304 308 309 310 312 a 4 7 11 17 20 22 24 28 32 35 37 38 41 42 44 63 64 69 71 74 77 84 93 106 107 110 111 113 114 116 120 121 128 135 138 139 143 144 149 150 151 152 153 155 156 157 169 170 173 174 177 182 187 194 198 200 202 206 207 214 219 221 223 229 232 233 238 240 241 245 249 251 252 262 263 264 265 267 269 271 275 276 279 280 283 284 285 289 291 294 298 299 304 308 309 310 312 a 4 7 11 17 20 22 24 28 32 35 37 38 40 41 42 44 63 64 69 71 74 77 84 93 106 107 110 111 113 114 116 120 121 128 135 138 139 143 144 149 150 151 152 153 155 156 157 169 170 173 174 177 182 187 194 198 200 202 206 207 214 219 221 223 229 233 238 240 241 245 249 251 252 262 263 264 265 267 269 271 275 276 279 280 283 284 285 289 291 294 298 299 304 308 309 310 312 a 4 7 11 17 20 22 24 28 32 37 38 40 41 42 44 63 64 69 71 74 77 84 93 106 107 110 111 113 114 116 120 121 128 135 138 139 143 144 149 150 151 152 153 155 156 157 169 170 173 174 177 178 182 187 194 198 200 202 206 207 214 219 221 223 229 233 238 240 241 245 249 251 252 262 263 264 265 267 269 271 275 276 279 280 283 284 285 289 291 294 298 299 304 308 309 310 312 a 4 7 11 17 20 22 24 28 32 37 38 40 41 42 44 63 64 69 71 74 77 84 93 106 107 110 111 113 114 116 120 121 128 135 138 139 143 144 149 150 151 152 153 155 156 157 170 173 174 177 178 182 187 194 198 200 202 206 207 214 219 221 223 229 233 238 240 241 245 249 251 252 262 263 264 265 267 269 271 275 276 277 279 280 283 284 285 289 291 294 298 299 304 308 309 310 312 a 4 7 11 17 20 22 24 28 32 37 38 40 41 42 44 63 64 69 71 74 77 84 93 106 107 110 111 113 114 116 120 121 128 135 138 139 143 144 149 150 151 152 153 154 155 156 157 170 173 174 177 178 182 187 194 198 200 202 206 207 214 219 221 223 229 233 238 240 241 245 249 251 252 262 263 264 267 269 271 275 276 277 279 280 283 284 285 289 291 294 298 299 304 308 309 310 312 a 4 7 11 17 20 22 24 28 32 37 38 40 41 42 44 63 64 69 71 74 77 84 93 106 107 110 111 113 114 116 120 121 128 135 138 139 143 144 149 150 151 152 153 154 155 156 157 170 173 174 177 178 182 187 194 198 200 202 206 207 214 219 221 223 229 233 235 238 240 241 245 249 251 252 262 263 264 267 269 275 276 277 279 280 283 284 285 289 291 294 298 299 304 308 309 310 312 a 4 7 11 17 20 22 24 28 32 37 38 40 41 42 44 63 64 69 71 74 77 84 93 106 107 110 111 113 114 116 120 121 128 135 138 139 143 144 149 150 151 152 153 154 155 156 157 170 173 174 177 178 182 187 194 198 200 202 206 207 214 219 221 223 229 233 235 238 240 241 245 249 251 252 262 263 264 267 269 276 277 279 280 283 284 285 286 289 291 294 298 299 304 308 309 310 312 a 4 7 11 17 20 22 24 28 32 37 38 40 41 42 44 63 64 69 71 74 77 84 93 106 107 110 111 113 114 116 120 121 128 135 138 139 143 144 149 150 151 152 153 154 155 156 157 170 173 174 177 178 182 187 194 198 200 202 206 207 214 219 221 223 229 233 235 238 240 241 245 249 251 252 257 262 263 264 267 269 277 279 280 283 284 285 286 289 291 294 298 299 304 308 309 310 312 a 4 7 11 17 20 22 24 28 32 37 38 39 40 41 42 44 63 64 69 71 74 77 84 93 107 110 111 113 114 116 120 121 128 135 138 139 143 144 149 150 151 152 153 154 155 156 157 170 173 174 177 178 182 187 194 198 200 202 206 207 214 219 221 223 229 233 235 238 240 241 245 249 251 252 257 262 263 264 267 269 277 279 280 283 284 285 286 289 291 294 298 299 304 308 309 310 312 a 4 7 11 17 20 22 24 28 32 37 38 39 40 41 42 44 63 64 69 71 73 74 77 84 93 107 110 111 113 114 116 120 121 128 135 138 139 143 144 149 150 151 152 153 154 155 156 157 170 173 174 177 178 182 187 194 198 200 202 206 207 214 219 221 223 229 233 235 238 240 241 245 249 251 252 257 262 263 264 267 269 277 279 283 284 285 286 289 291 294 298 299 304 308 309 310 312 a 4 7 11 17 20 22 24 28 32 37 38 39 40 41 42 44 63 64 69 71 73 74 77 84 93 107 110 111 113 114 116 120 121 128 129 135 138 139 143 144 149 150 151 152 153 154 156 157 170 173 174 177 178 182 187 194 198 200 202 206 207 214 219 221 223 229 233 235 238 240 241 245 249 251 252 257 262 263 264 267 269 277 279 283 284 285 286 289 291 294 298 299 304 308 309 310 312 a 4 7 11 17 20 22 24 28 32 37 38 39 40 41 42 44 63 64 69 73 74 77 84 93 107 110 111 113 114 116 120 121 128 129 135 138 139 143 144 149 150 151 152 153 154 156 157 170 173 174 177 178 182 187 194 198 200 202 206 207 214 219 221 223 229 233 235 238 240 241 245 249 251 252 257 260 262 263 264 267 269 277 279 283 284 285 286 289 291 294 298 299 304 308 309 310 312 a 4 7 11 17 20 22 24 28 32 37 38 39 40 41 42 44 63 64 69 73 74 77 84 93 107 110 111 113 114 116 120 121 128 129 135 138 139 143 144 149 150 151 152 153 154 156 157 170 173 174 177 178 182 187 194 198 200 202 206 207 214 219 221 223 229 233 235 238 240 241 245 249 251 252 257 260 261 262 263 264 267 269 277 279 283 285 286 289 291 294 298 299 304 308 309 310 312 a 4 7 11 17 20 22 24 28 32 37 38 39 40 41 42 44 63 64 69 73 74 77 84 93 107 110 111 113 114 116 120 121 128 129 135 138 139 143 144 149 150 151 152 153 154 156 157 170 173 174 177 178 182 187 194 198 200 202 206 207 214 218 219 221 229 233 235 238 240 241 245 249 251 252 257 260 261 262 263 264 267 269 277 279 283 285 286 289 291 294 298 299 304 308 309 310 312 a 4 7 11 17 20 22 24 28 32 37 38 39 40 41 42 44 63 64 69 73 74 77 84 90 93 107 110 111 113 114 116 120 121 128 129 135 138 139 143 144 149 150 151 152 153 154 156 157 170 173 174 177 178 182 187 194 198 200 202 206 207 214 218 219 221 229 233 235 238 240 241 245 249 251 252 257 260 261 262 263 264 267 269 277 279 283 286 289 291 294 298 299 304 308 309 310 312 a 4 7 11 17 20 22 24 28 32 37 38 39 40 41 42 44 63 64 69 73 74 77 84 90 93 104 107 110 113 114 116 120 121 128 129 135 138 139 143 144 149 150 151 152 153 154 156 157 170 173 174 177 178 182 187 194 198 200 202 206 207 214 218 219 221 229 233 235 238 240 241 245 249 251 252 257 260 261 262 263 264 267 269 277 279 283 286 289 291 294 298 299 304 308 309 310 312 a 4 7 11 17 20 22 24 28 32 37 38 39 40 41 42 44 63 64 69 73 74 77 84 90 93 104 107 110 113 114 116 120 121 128 129 135 138 139 140 143 144 149 151 152 153 154 156 157 170 173 174 177 178 182 187 194 198 200 202 206 207 214 218 219 221 229 233 235 238 240 241 245 249 251 252 257 260 261 262 263 264 267 269 277 279 283 286 289 291 294 298 299 304 308 309 310 312 a 4 7 11 17 20 22 24 28 32 37 38 39 40 41 42 44 63 64 69 73 74 77 84 90 93 104 107 110 113 114 116 120 121 128 129 135 138 139 140 143 144 149 151 152 153 154 156 157 159 170 173 174 177 178 182 187 194 198 200 202 206 207 214 218 219 221 229 233 235 238 240 241 249 251 252 257 260 261 262 263 264 267 269 277 279 283 286 289 291 294 298 299 304 308 309 310 312 a 4 7 11 17 20 22 24 28 32 37 38 39 40 41 42 44 62 63 64 69 73 74 77 84 90 93 104 107 110 113 114 116 120 121 128 129 135 138 139 140 143 144 149 151 152 153 154 156 157 159 170 173 174 177 178 182 187 194 198 200 202 206 207 214 218 219 221 229 233 235 238 240 241 249 251 252 257 260 261 262 263 264 267 269 277 279 283 286 291 294 298 299 304 308 309 310 312 a 4 7 11 17 20 22 24 28 32 37 38 39 40 41 42 44 62 63 64 69 73 74 77 87 90 93 104 107 110 113 114 116 120 121 128 129 135 138 139 140 143 144 149 151 152 153 154 156 157 159 170 173 174 177 178 182 187 194 198 200 202 206 207 214 218 219 221 229 233 235 238 240 241 249 251 252 257 260 261 262 263 264 267 269 277 279 283 286 291 294 298 299 304 308 309 310 312 a 4 7 11 17 20 22 24 28 32 37 38 39 40 41 42 44 58 62 63 64 69 73 74 77 87 90 93 104 107 110 113 114 116 120 121 128 129 135 138 139 140 143 144 149 151 152 153 154 156 157 159 170 173 174 177 178 182 187 194 198 200 202 206 207 214 218 219 221 229 233 235 238 240 241 249 251 252 257 260 261 262 263 264 267 269 277 279 283 286 294 298 299 304 308 309 310 312 a 4 7 11 16 17 20 22 24 28 32 37 38 39 40 41 42 44 58 62 63 64 69 73 74 77 87 90 93 104 107 110 113 114 116 120 121 128 129 135 138 139 140 143 144 149 151 152 153 154 156 157 159 170 173 174 177 178 182 187 194 198 200 202 206 207 214 218 219 221 229 233 235 238 240 241 249 251 252 257 260 261 262 263 264 267 269 277 279 283 286 298 299 304 308 309 310 312 a 4 7 11 16 17 20 22 24 28 32 37 38 39 40 41 42 44 58 62 63 64 69 73 74 77 87 90 93 104 107 110 113 114 116 120 121 128 129 135 138 139 140 143 144 149 151 152 153 154 156 157 159 170 173 174 177 178 182 187 194 198 200 202 206 207 214 218 219 221 229 235 238 240 241 249 251 252 257 259 260 261 262 263 264 267 269 277 279 283 286 298 299 304 308 309 310 312 a 4 7 11 16 17 20 22 24 28 32 37 38 39 40 41 42 44 58 62 63 64 69 73 74 77 87 90 93 104 107 110 113 114 116 120 121 128 129 135 138 139 140 143 144 149 151 152 153 154 156 157 159 170 173 174 177 178 182 187 194 198 200 202 206 214 218 219 221 229 235 238 239 240 241 249 251 252 257 259 260 261 262 263 264 267 269 277 279 283 286 298 299 304 308 309 310 312 a 4 7 11 16 17 20 22 24 28 32 37 38 39 40 41 42 44 58 62 63 64 69 73 74 77 81 87 90 93 104 107 110 113 114 116 120 121 128 129 135 138 139 140 143 144 149 151 152 153 154 156 157 159 173 174 177 178 182 187 194 198 200 202 206 214 218 219 221 229 235 238 239 240 241 249 251 252 257 259 260 261 262 263 264 267 269 277 279 283 286 298 299 304 308 309 310 312 a 4 7 11 16 17 20 22 24 27 28 32 37 38 39 40 41 42 44 58 62 63 64 69 73 74 77 81 87 90 93 104 107 110 113 114 116 120 121 128 129 135 138 139 140 143 144 149 151 152 153 154 156 159 173 174 177 178 182 187 194 198 200 202 206 214 218 219 221 229 235 238 239 240 241 249 251 252 257 259 260 261 262 263 264 267 269 277 279 283 286 298 299 304 308 309 310 312 a 4 7 11 16 17 20 22 24 27 28 32 37 38 39 40 41 42 44 58 62 63 64 69 73 74 77 81 87 90 93 104 107 110 113 114 116 120 121 128 129 135 138 139 140 143 144 149 151 152 153 154 156 159 173 174 177 178 182 187 194 198 200 202 214 218 219 221 229 235 238 239 240 241 249 251 252 257 259 260 261 262 263 264 267 269 277 279 283 286 293 298 299 304 308 309 310 312 a 4 7 11 16 17 20 22 24 27 28 32 37 38 39 40 41 42 44 58 62 63 64 69 73 74 77 81 87 90 93 100 104 107 110 113 114 116 120 121 128 129 138 139 140 143 144 149 151 152 153 154 156 159 173 174 177 178 182 187 194 198 200 202 214 218 219 221 229 235 238 239 240 241 249 251 252 257 259 260 261 262 263 264 267 269 277 279 283 286 293 298 299 304 308 309 310 312 a 4 7 11 16 17 20 22 24 27 28 32 37 38 39 40 41 42 44 58 62 63 64 69 73 74 81 87 90 93 100 104 107 110 113 114 116 120 121 128 129 138 139 140 143 144 149 151 152 153 154 156 159 173 174 177 178 182 187 194 198 200 202 214 218 219 221 228 229 235 238 239 240 241 249 251 252 257 259 260 261 262 263 264 267 269 277 279 283 286 293 298 299 304 308 309 310 312 a 4 7 8 11 16 17 20 22 24 27 28 32 37 38 39 40 41 42 44 58 62 63 64 69 73 74 81 87 90 93 100 104 107 110 113 114 116 120 121 128 129 138 139 140 143 144 149 151 152 153 154 156 159 173 174 177 178 182 187 194 198 200 202 214 218 219 221 228 229 235 238 239 240 241 249 251 252 257 259 260 261 262 263 264 267 269 277 279 283 286 293 298 299 304 309 310 312 a 4 7 8 11 16 17 20 22 24 26 27 28 32 37 38 39 40 41 42 44 58 62 63 64 69 73 74 81 87 90 93 100 104 107 110 113 114 116 120 121 128 129 138 139 140 143 144 149 151 152 153 154 156 159 173 174 177 178 182 187 194 198 200 202 214 218 219 221 228 229 235 238 239 240 241 249 251 252 257 259 260 261 262 263 264 267 269 277 279 283 286 293 298 299 304 310 312 a 4 7 8 11 16 17 20 22 24 26 27 28 32 37 38 39 40 41 42 44 58 62 63 64 69 73 74 81 87 90 93 100 104 107 110 113 114 116 120 121 128 129 138 139 140 143 144 149 151 152 153 154 156 159 173 174 177 178 179 182 187 194 198 200 202 214 218 219 221 228 229 235 238 239 240 241 249 251 252 257 259 260 261 262 263 264 267 269 277 279 283 286 293 298 299 304 310 a 4 7 8 11 16 17 20 22 24 26 27 28 32 38 39 40 41 42 44 58 62 63 64 69 73 74 78 81 87 90 93 100 104 107 110 113 114 116 120 121 128 129 138 139 140 143 144 149 151 152 153 154 156 159 173 174 177 178 179 182 187 194 198 200 202 214 218 219 221 228 229 235 238 239 240 241 249 251 252 257 259 260 261 262 263 264 267 269 277 279 283 286 293 298 299 304 310 a 4 7 8 11 16 17 20 22 24 26 27 28 32 38 39 40 41 42 44 58 62 63 64 69 73 74 78 81 87 90 93 100 104 107 110 113 114 116 120 121 128 129 138 139 140 143 144 149 151 152 153 154 156 159 173 174 177 178 179 182 187 191 194 200 202 214 218 219 221 228 229 235 238 239 240 241 249 251 252 257 259 260 261 262 263 264 267 269 277 279 283 286 293 298 299 304 310 a 2 4 7 8 11 16 17 20 22 24 26 27 28 32 38 39 40 41 42 44 58 62 63 64 69 73 74 78 81 87 90 93 100 104 107 110 113 114 116 120 121 128 129 138 139 140 143 144 149 151 153 154 156 159 173 174 177 178 179 182 187 191 194 200 202 214 218 219 221 228 229 235 238 239 240 241 249 251 252 257 259 260 261 262 263 264 267 269 277 279 283 286 293 298 299 304 310 a 2 4 7 8 11 16 17 20 22 24 26 27 28 32 38 39 40 41 42 44 58 62 63 64 69 73 74 78 81 87 90 93 100 104 107 110 113 114 116 120 121 128 129 138 139 140 143 144 149 151 153 154 156 159 173 174 177 178 179 187 191 194 200 202 214 218 219 221 228 229 235 238 239 240 241 249 251 252 253 257 259 260 261 262 263 264 267 269 277 279 283 286 293 298 299 304 310 a 2 4 7 8 11 16 17 20 22 24 26 27 28 32 38 39 40 41 42 44 58 59 62 63 64 69 73 74 78 81 87 90 93 100 104 107 110 113 114 116 120 121 128 129 138 139 140 143 144 149 151 153 154 156 159 173 174 177 178 179 187 191 194 200 202 218 219 221 228 229 235 238 239 240 241 249 251 252 253 257 259 260 261 262 263 264 267 269 277 279 283 286 293 298 299 304 310 a 2 4 7 8 11 16 17 20 22 24 26 27 28 32 38 39 40 41 42 44 58 59 62 63 64 69 73 74 78 81 87 90 93 100 104 107 110 113 114 116 120 121 128 129 138 139 140 143 144 146 149 151 153 154 156 159 173 174 177 178 179 187 191 194 200 202 218 219 221 228 229 235 238 239 240 241 249 251 252 253 257 259 260 261 262 263 264 267 277 279 283 286 293 298 299 304 310 a 2 4 7 8 11 16 17 20 22 24 26 27 28 32 38 39 40 41 44 58 59 62 63 64 69 73 74 78 81 87 90 93 100 101 104 107 110 113 114 116 120 121 128 129 138 139 140 143 144 146 149 151 153 154 156 159 173 174 177 178 179 187 191 194 200 202 218 219 221 228 229 235 238 239 240 241 249 251 252 253 257 259 260 261 262 263 264 267 277 279 283 286 293 298 299 304 310 a 2 4 7 8 11 16 17 20 22 24 26 27 28 32 38 39 40 41 44 58 59 62 63 64 69 73 74 78 81 87 90 93 100 101 104 107 110 113 114 116 120 121 128 129 138 139 140 143 144 146 149 151 153 154 156 159 173 174 177 178 179 187 191 194 200 202 218 219 221 228 229 235 238 239 240 241 249 251 252 253 257 259 260 261 262 263 264 267 277 281 283 286 293 298 299 304 310 Command being timed: "/solvers/driver/run.py --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance024_graph001.col /benchmark/random_instance/random_instance024_graph001_01.dat" User time (seconds): 3465.91 System time (seconds): 10.40 Percent of CPU this job got: 199% Elapsed (wall clock) time (h:mm:ss or m:ss): 28:59.16 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): 27819472 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 9065039 Voluntary context switches: 68405 Involuntary context switches: 10589 Swaps: 0 File system inputs: 0 File system outputs: 664 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 25 18:55:05 2023]