#BEGIN: [Fri Sep 8 20:56:12 2023] #HOST: s09 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-ai-planning2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance028_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance028_graph003_01.dat #COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning2 --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance028_graph003.col /benchmark/random_instance/random_instance028_graph003_01.dat s 297 282 117 65 293 104 270 13 106 88 7 281 14 333 249 274 131 223 289 295 260 29 345 186 298 309 240 66 9 336 359 195 114 311 189 102 168 133 78 290 244 246 122 150 33 283 305 132 245 165 32 119 224 118 68 99 85 46 36 96 356 216 30 201 95 241 73 183 334 354 123 319 230 121 327 3 317 12 20 107 205 208 185 25 176 337 215 192 86 153 26 175 255 352 338 87 143 310 225 231 162 316 8 42 360 145 170 296 259 51 48 137 108 77 128 111 t 115 303 352 145 309 363 268 307 322 206 89 12 141 135 225 259 21 179 199 286 245 290 153 6 271 131 191 9 277 236 36 126 242 107 298 86 338 116 133 100 117 50 106 175 314 103 221 270 351 78 137 296 92 208 111 211 261 165 360 224 195 185 193 132 105 310 96 45 342 125 244 13 31 8 333 182 170 23 285 190 173 76 32 26 164 27 212 262 87 61 223 232 163 328 24 10 239 3 230 121 357 108 281 292 38 40 205 66 30 177 122 301 248 289 272 354 a YES a 3 7 8 9 12 13 14 20 25 26 29 30 32 33 36 42 46 48 51 65 66 68 73 77 78 85 86 87 88 95 96 99 102 104 106 107 108 111 114 117 118 119 121 122 123 128 131 132 133 137 143 145 150 153 162 165 168 170 175 176 183 185 186 189 192 195 201 205 208 215 216 223 224 225 230 231 240 241 244 245 246 249 255 259 260 270 274 281 282 283 289 290 293 295 296 297 298 305 309 310 311 316 317 319 327 333 334 336 337 338 345 352 354 356 359 360 a 3 8 9 12 13 14 20 25 26 29 30 32 33 36 42 46 48 51 65 66 68 73 77 78 85 86 87 88 95 96 99 102 104 106 107 108 111 114 117 118 119 121 122 123 128 131 132 133 137 143 145 150 153 162 165 168 170 175 176 183 185 186 189 192 195 201 205 208 215 216 223 224 225 230 231 240 241 244 245 246 249 255 259 260 270 274 281 282 283 289 290 293 295 296 297 298 305 309 310 311 316 317 319 327 333 334 336 337 338 345 352 354 356 357 359 360 a 3 8 9 12 13 20 25 26 29 30 32 33 36 42 45 46 48 51 65 66 68 73 77 78 85 86 87 88 95 96 99 102 104 106 107 108 111 114 117 118 119 121 122 123 128 131 132 133 137 143 145 150 153 162 165 168 170 175 176 183 185 186 189 192 195 201 205 208 215 216 223 224 225 230 231 240 241 244 245 246 249 255 259 260 270 274 281 282 283 289 290 293 295 296 297 298 305 309 310 311 316 317 319 327 333 334 336 337 338 345 352 354 356 357 359 360 a 3 8 9 12 13 25 26 29 30 32 33 36 42 45 46 48 51 65 66 68 73 77 78 85 86 87 88 95 96 99 102 104 106 107 108 111 114 117 118 119 121 122 123 128 131 132 133 137 143 145 150 153 162 165 168 170 175 176 183 185 186 189 192 195 201 205 208 215 216 223 224 225 230 231 240 241 242 244 245 246 249 255 259 260 270 274 281 282 283 289 290 293 295 296 297 298 305 309 310 311 316 317 319 327 333 334 336 337 338 345 352 354 356 357 359 360 a 3 8 9 12 13 25 26 29 30 32 36 42 45 46 48 51 65 66 68 73 76 77 78 85 86 87 88 95 96 99 102 104 106 107 108 111 114 117 118 119 121 122 123 128 131 132 133 137 143 145 150 153 162 165 168 170 175 176 183 185 186 189 192 195 201 205 208 215 216 223 224 225 230 231 240 241 242 244 245 246 249 255 259 260 270 274 281 282 283 289 290 293 295 296 297 298 305 309 310 311 316 317 319 327 333 334 336 337 338 345 352 354 356 357 359 360 a 3 6 8 9 12 13 25 26 29 30 32 36 42 45 46 48 51 66 68 73 76 77 78 85 86 87 88 95 96 99 102 104 106 107 108 111 114 117 118 119 121 122 123 128 131 132 133 137 143 145 150 153 162 165 168 170 175 176 183 185 186 189 192 195 201 205 208 215 216 223 224 225 230 231 240 241 242 244 245 246 249 255 259 260 270 274 281 282 283 289 290 293 295 296 297 298 305 309 310 311 316 317 319 327 333 334 336 337 338 345 352 354 356 357 359 360 a 3 6 8 9 12 13 26 29 30 32 36 40 42 45 46 48 51 66 68 73 76 77 78 85 86 87 88 95 96 99 102 104 106 107 108 111 114 117 118 119 121 122 123 128 131 132 133 137 143 145 150 153 162 165 168 170 175 176 183 185 186 189 192 195 201 205 208 215 216 223 224 225 230 231 240 241 242 244 245 246 249 255 259 260 270 274 281 282 283 289 290 293 295 296 297 298 305 309 310 311 316 317 319 327 333 334 336 337 338 345 352 354 356 357 359 360 a 3 6 8 9 12 13 26 29 30 32 36 40 42 45 46 48 51 66 68 73 76 77 78 86 87 88 95 96 99 102 104 106 107 108 111 114 117 118 119 121 122 123 128 131 132 133 137 143 145 150 153 162 165 168 170 175 176 183 185 186 189 192 195 201 205 208 215 216 223 224 225 230 231 240 241 242 244 245 246 249 255 259 260 268 270 274 281 282 283 289 290 293 295 296 297 298 305 309 310 311 316 317 319 327 333 334 336 337 338 345 352 354 356 357 359 360 a 3 6 8 9 12 13 26 29 30 32 36 40 42 45 46 48 51 66 68 73 76 77 78 86 87 95 96 99 102 104 106 107 108 111 114 117 118 119 121 122 123 128 131 132 133 137 143 145 150 153 162 165 168 170 175 176 183 185 186 189 192 195 201 205 208 212 215 216 223 224 225 230 231 240 241 242 244 245 246 249 255 259 260 268 270 274 281 282 283 289 290 293 295 296 297 298 305 309 310 311 316 317 319 327 333 334 336 337 338 345 352 354 356 357 359 360 a 3 6 8 9 12 13 26 29 30 32 36 40 42 45 46 48 51 66 68 73 76 77 78 86 87 95 96 99 104 106 107 108 111 114 117 118 119 121 122 123 128 131 132 133 137 143 145 150 153 162 165 168 170 175 176 177 183 185 186 189 192 195 201 205 208 212 215 216 223 224 225 230 231 240 241 242 244 245 246 249 255 259 260 268 270 274 281 282 283 289 290 293 295 296 297 298 305 309 310 311 316 317 319 327 333 334 336 337 338 345 352 354 356 357 359 360 a 3 6 8 9 12 13 26 29 30 32 36 40 42 45 46 48 51 66 68 73 76 77 78 86 87 95 96 99 106 107 108 111 114 117 118 119 121 122 123 128 131 132 133 137 143 145 150 153 162 165 168 170 175 176 177 183 185 186 189 192 195 201 205 208 212 215 216 223 224 225 230 231 240 241 242 244 245 246 249 255 259 260 268 270 272 274 281 282 283 289 290 293 295 296 297 298 305 309 310 311 316 317 319 327 333 334 336 337 338 345 352 354 356 357 359 360 a 3 6 8 9 12 13 26 29 30 32 36 40 42 45 46 48 51 66 68 73 76 77 78 86 87 95 96 99 106 107 108 111 114 117 118 121 122 123 128 131 132 133 137 143 145 150 153 162 165 168 170 175 176 177 183 185 186 189 192 195 201 205 208 212 215 216 223 224 225 230 231 240 241 242 244 245 246 249 255 259 260 268 270 271 272 274 281 282 283 289 290 293 295 296 297 298 305 309 310 311 316 317 319 327 333 334 336 337 338 345 352 354 356 357 359 360 a 3 6 8 9 12 13 26 29 30 32 36 40 42 45 46 48 51 66 68 73 76 77 78 86 87 95 96 99 106 107 108 111 114 117 118 121 122 123 128 131 132 133 137 143 145 150 153 162 165 170 175 176 177 183 185 186 189 192 195 201 205 208 211 212 215 216 223 224 225 230 231 240 241 242 244 245 246 249 255 259 260 268 270 271 272 274 281 282 283 289 290 293 295 296 297 298 305 309 310 311 316 317 319 327 333 334 336 337 338 345 352 354 356 357 359 360 a 3 6 8 9 12 13 21 26 29 30 32 36 40 42 45 46 48 51 66 68 73 76 77 78 86 87 95 96 99 106 107 108 111 114 117 118 121 122 123 128 131 132 133 137 143 145 150 153 162 165 170 175 176 177 185 186 189 192 195 201 205 208 211 212 215 216 223 224 225 230 231 240 241 242 244 245 246 249 255 259 260 268 270 271 272 274 281 282 283 289 290 293 295 296 297 298 305 309 310 311 316 317 319 327 333 334 336 337 338 345 352 354 356 357 359 360 a 3 6 8 9 12 13 21 26 29 30 32 36 40 42 45 46 48 51 66 68 73 76 77 78 86 87 95 96 99 106 107 108 111 114 117 118 121 122 123 128 131 132 133 137 143 145 150 153 162 165 170 175 176 177 185 189 192 195 201 205 208 211 212 215 216 223 224 225 230 231 240 241 242 244 245 246 249 255 259 260 262 268 270 271 272 274 281 282 283 289 290 293 295 296 297 298 305 309 310 311 316 317 319 327 333 334 336 337 338 345 352 354 356 357 359 360 a 3 6 8 9 10 12 13 21 26 29 30 32 36 40 42 45 46 48 51 66 68 76 77 78 86 87 95 96 99 106 107 108 111 114 117 118 121 122 123 128 131 132 133 137 143 145 150 153 162 165 170 175 176 177 185 189 192 195 201 205 208 211 212 215 216 223 224 225 230 231 240 241 242 244 245 246 249 255 259 260 262 268 270 271 272 274 281 282 283 289 290 293 295 296 297 298 305 309 310 311 316 317 319 327 333 334 336 337 338 345 352 354 356 357 359 360 a 3 6 8 9 10 12 13 21 23 26 29 30 32 36 40 42 45 46 48 51 66 68 76 77 78 86 87 95 96 99 106 107 108 111 114 117 118 121 122 123 128 131 132 133 137 143 145 150 153 162 165 170 175 176 177 185 189 192 195 205 208 211 212 215 216 223 224 225 230 231 240 241 242 244 245 246 249 255 259 260 262 268 270 271 272 274 281 282 283 289 290 293 295 296 297 298 305 309 310 311 316 317 319 327 333 334 336 337 338 345 352 354 356 357 359 360 a 3 6 8 9 10 12 13 21 23 26 29 30 32 36 40 42 45 46 48 51 66 68 76 77 78 86 87 95 96 99 106 107 108 111 114 117 118 121 122 123 128 131 132 133 137 143 145 150 153 162 165 170 175 176 177 185 189 192 195 205 208 211 212 216 223 224 225 230 231 240 241 242 244 245 246 249 255 259 260 262 268 270 271 272 274 281 282 283 285 289 290 293 295 296 297 298 305 309 310 311 316 317 319 327 333 334 336 337 338 345 352 354 356 357 359 360 a 3 6 8 9 10 12 13 21 23 26 30 32 36 40 42 45 46 48 51 66 68 76 77 78 86 87 95 96 99 106 107 108 111 114 117 118 121 122 123 128 131 132 133 137 143 145 150 153 162 164 165 170 175 176 177 185 189 192 195 205 208 211 212 216 223 224 225 230 231 240 241 242 244 245 246 249 255 259 260 262 268 270 271 272 274 281 282 283 285 289 290 293 295 296 297 298 305 309 310 311 316 317 319 327 333 334 336 337 338 345 352 354 356 357 359 360 a 3 6 8 9 10 12 13 21 23 26 27 30 32 36 40 42 45 46 48 51 66 68 76 77 78 86 87 95 96 99 106 107 108 111 114 117 118 121 122 123 131 132 133 137 143 145 150 153 162 164 165 170 175 176 177 185 189 192 195 205 208 211 212 216 223 224 225 230 231 240 241 242 244 245 246 249 255 259 260 262 268 270 271 272 274 281 282 283 285 289 290 293 295 296 297 298 305 309 310 311 316 317 319 327 333 334 336 337 338 345 352 354 356 357 359 360 a 3 6 8 9 10 12 13 21 23 26 27 30 32 36 40 42 45 46 48 51 66 68 76 77 78 86 87 95 96 99 106 107 108 111 114 117 118 121 122 123 126 131 132 133 137 143 145 150 153 162 164 165 170 175 176 177 185 189 192 195 205 208 211 212 223 224 225 230 231 240 241 242 244 245 246 249 255 259 260 262 268 270 271 272 274 281 282 283 285 289 290 293 295 296 297 298 305 309 310 311 316 317 319 327 333 334 336 337 338 345 352 354 356 357 359 360 a 3 6 8 9 10 12 13 21 23 26 27 30 32 36 40 45 46 48 51 66 68 76 77 78 86 87 95 96 99 106 107 108 111 114 117 118 121 122 123 126 131 132 133 137 143 145 150 153 162 164 165 170 175 176 177 185 189 192 195 205 208 211 212 223 224 225 230 231 240 241 242 244 245 246 249 255 259 260 262 268 270 271 272 274 281 282 283 285 289 290 293 295 296 297 298 305 309 310 311 316 317 319 327 328 333 334 336 337 338 345 352 354 356 357 359 360 a 3 6 8 9 10 12 13 21 23 26 27 30 32 36 40 45 46 51 66 68 76 77 78 86 87 95 96 99 106 107 108 111 114 117 118 121 122 123 126 131 132 133 137 143 145 150 153 162 164 165 170 175 176 177 185 189 192 195 205 208 211 212 223 224 225 230 231 240 241 242 244 245 246 249 255 259 260 262 268 270 271 272 274 281 282 283 285 289 290 293 295 296 297 298 305 309 310 311 316 317 319 322 327 328 333 334 336 337 338 345 352 354 356 357 359 360 a 3 6 8 9 10 12 13 21 23 26 27 30 32 36 40 45 46 50 51 66 68 76 77 78 86 87 95 96 99 106 107 108 111 114 117 118 121 122 123 126 131 132 133 137 143 145 150 153 162 164 165 170 175 177 185 189 192 195 205 208 211 212 223 224 225 230 231 240 241 242 244 245 246 249 255 259 260 262 268 270 271 272 274 281 282 283 285 289 290 293 295 296 297 298 305 309 310 311 316 317 319 322 327 328 333 334 336 337 338 345 352 354 356 357 359 360 a 3 6 8 9 10 12 13 21 23 26 27 30 32 36 40 45 46 50 51 66 68 76 77 78 86 87 95 96 99 106 107 108 111 114 117 118 121 122 123 126 131 132 133 137 143 145 150 153 162 163 164 165 170 175 177 185 189 192 195 205 208 211 212 223 224 225 230 240 241 242 244 245 246 249 255 259 260 262 268 270 271 272 274 281 282 283 285 289 290 293 295 296 297 298 305 309 310 311 316 317 319 322 327 328 333 334 336 337 338 345 352 354 356 357 359 360 a 3 6 8 9 10 12 13 21 23 26 27 30 31 32 36 40 45 46 50 51 66 68 76 77 78 86 87 95 96 99 106 107 108 111 114 117 118 121 122 123 126 131 132 133 137 143 145 150 153 162 163 164 165 170 175 177 185 189 192 195 205 208 211 212 223 224 225 230 241 242 244 245 246 249 255 259 260 262 268 270 271 272 274 281 282 283 285 289 290 293 295 296 297 298 305 309 310 311 316 317 319 322 327 328 333 334 336 337 338 345 352 354 356 357 359 360 a 3 6 8 9 10 12 13 21 23 26 27 30 31 32 36 40 45 46 50 51 66 68 76 77 78 86 87 95 96 99 106 107 108 111 114 117 118 121 122 123 126 131 132 133 137 143 145 150 153 162 163 164 165 170 175 177 185 189 192 195 205 208 211 212 223 224 225 230 241 242 244 245 246 249 255 259 262 268 270 271 272 274 281 282 283 285 289 290 293 295 296 297 298 305 309 310 311 314 316 317 319 322 327 328 333 334 336 337 338 345 352 354 356 357 359 360 a 3 6 8 9 10 12 13 21 23 26 27 30 31 32 36 40 45 46 50 51 66 68 76 77 78 86 87 95 96 99 106 107 108 111 114 117 118 121 122 123 126 131 132 133 137 143 145 150 153 162 163 164 165 170 175 177 185 189 192 195 205 208 211 212 223 224 225 230 241 242 244 245 246 249 255 259 262 268 270 271 272 281 282 283 285 289 290 292 293 295 296 297 298 305 309 310 311 314 316 317 319 322 327 328 333 334 336 337 338 345 352 354 356 357 359 360 a 3 6 8 9 10 12 13 21 23 26 27 30 31 32 36 40 45 46 50 51 66 68 76 77 78 86 87 95 96 99 106 107 108 111 114 117 118 121 122 123 126 131 132 133 137 143 145 150 153 162 163 164 165 170 175 177 185 189 190 192 195 205 208 211 212 223 224 225 230 241 242 244 245 246 249 255 259 262 268 270 271 272 281 282 285 289 290 292 293 295 296 297 298 305 309 310 311 314 316 317 319 322 327 328 333 334 336 337 338 345 352 354 356 357 359 360 a 3 6 8 9 10 12 13 21 23 26 27 30 31 32 36 40 45 46 50 51 66 76 77 78 86 87 95 96 99 106 107 108 111 114 117 118 121 122 123 126 131 132 133 137 143 145 150 153 162 163 164 165 170 175 177 185 189 190 192 195 205 208 211 212 223 224 225 230 241 242 244 245 246 249 255 259 262 268 270 271 272 277 281 282 285 289 290 292 293 295 296 297 298 305 309 310 311 314 316 317 319 322 327 328 333 334 336 337 338 345 352 354 356 357 359 360 a 3 6 8 9 10 12 13 21 23 26 27 30 31 32 36 40 45 46 50 51 66 76 77 78 86 87 95 96 99 106 107 108 111 114 117 118 121 122 123 126 131 132 133 137 143 145 150 153 162 163 164 165 170 175 177 185 189 190 191 192 195 205 208 211 212 223 224 225 230 242 244 245 246 249 255 259 262 268 270 271 272 277 281 282 285 289 290 292 293 295 296 297 298 305 309 310 311 314 316 317 319 322 327 328 333 334 336 337 338 345 352 354 356 357 359 360 a 3 6 8 9 10 12 13 21 23 26 27 30 31 32 36 40 45 46 50 51 66 76 77 78 86 87 95 96 99 106 107 108 111 114 117 118 121 122 123 126 131 132 133 137 143 145 150 153 162 163 164 165 170 175 177 185 189 190 191 192 195 205 208 211 212 223 224 225 230 242 244 245 246 249 255 259 262 268 270 271 272 277 281 282 285 289 290 292 295 296 297 298 305 309 310 311 314 316 317 319 322 327 328 333 334 336 337 338 342 345 352 354 356 357 359 360 a 3 6 8 9 10 12 13 21 23 26 27 30 31 32 36 38 40 45 46 50 51 66 76 77 78 86 87 95 96 99 106 107 108 111 114 117 118 121 122 123 126 131 132 133 137 143 145 150 153 162 163 164 165 170 175 177 185 189 190 191 192 195 205 208 211 212 223 224 225 230 242 244 245 246 249 255 259 262 268 270 271 272 277 281 282 285 289 290 292 296 297 298 305 309 310 311 314 316 317 319 322 327 328 333 334 336 337 338 342 345 352 354 356 357 359 360 a 3 6 8 9 10 12 13 21 23 26 27 30 31 32 36 38 40 45 46 50 51 66 76 77 78 86 87 95 96 99 106 107 108 111 114 117 118 121 122 123 126 131 132 133 137 143 145 150 153 162 163 164 165 170 173 175 177 185 189 190 191 192 195 205 208 211 212 223 224 225 230 242 244 245 246 249 255 259 262 268 270 271 272 277 281 282 285 289 290 292 296 298 305 309 310 311 314 316 317 319 322 327 328 333 334 336 337 338 342 345 352 354 356 357 359 360 a 3 6 8 9 10 12 13 21 23 26 27 30 31 32 36 38 40 45 50 51 66 76 77 78 86 87 95 96 99 106 107 108 111 114 117 118 121 122 123 126 131 132 133 137 143 145 150 153 162 163 164 165 170 173 175 177 185 189 190 191 192 195 205 208 211 212 223 224 225 230 242 244 245 246 248 249 255 259 262 268 270 271 272 277 281 282 285 289 290 292 296 298 305 309 310 311 314 316 317 319 322 327 328 333 334 336 337 338 342 345 352 354 356 357 359 360 a 3 6 8 9 10 12 13 21 23 26 27 30 31 32 36 38 40 45 50 66 76 77 78 86 87 95 96 99 106 107 108 111 114 117 118 121 122 123 126 131 132 133 137 143 145 150 153 162 163 164 165 170 173 175 177 185 189 190 191 192 193 195 205 208 211 212 223 224 225 230 242 244 245 246 248 249 255 259 262 268 270 271 272 277 281 282 285 289 290 292 296 298 305 309 310 311 314 316 317 319 322 327 328 333 334 336 337 338 342 345 352 354 356 357 359 360 a 3 6 8 9 10 12 13 21 23 26 27 30 31 32 36 38 40 45 50 66 76 77 78 86 87 95 96 99 100 106 107 108 111 114 117 118 121 122 123 126 131 132 133 137 145 150 153 162 163 164 165 170 173 175 177 185 189 190 191 192 193 195 205 208 211 212 223 224 225 230 242 244 245 246 248 249 255 259 262 268 270 271 272 277 281 282 285 289 290 292 296 298 305 309 310 311 314 316 317 319 322 327 328 333 334 336 337 338 342 345 352 354 356 357 359 360 a 3 6 8 9 10 12 13 21 23 26 27 30 31 32 36 38 40 45 50 66 76 77 78 86 87 89 95 96 99 100 106 107 108 111 114 117 118 121 122 123 126 131 132 133 137 145 150 153 162 163 164 165 170 173 175 177 185 189 190 191 192 193 195 205 208 211 212 223 224 225 230 242 244 245 246 248 249 255 259 262 268 270 271 272 277 281 282 285 289 290 292 296 298 309 310 311 314 316 317 319 322 327 328 333 334 336 337 338 342 345 352 354 356 357 359 360 a 3 6 8 9 10 12 13 21 23 26 27 30 31 32 36 38 40 45 50 66 76 77 78 86 87 89 95 96 99 100 106 107 108 111 114 117 118 121 122 123 126 131 132 133 137 145 150 153 162 163 164 165 170 173 175 177 185 189 190 191 192 193 195 205 208 211 212 223 224 225 230 242 244 245 246 248 249 255 259 262 268 270 271 272 277 281 282 285 286 289 290 292 296 298 309 310 314 316 317 319 322 327 328 333 334 336 337 338 342 345 352 354 356 357 359 360 a 3 6 8 9 10 12 13 21 23 24 26 27 30 31 32 36 38 40 45 50 66 76 77 78 86 87 89 95 96 99 100 106 107 108 111 114 117 118 121 122 123 126 131 132 133 137 145 150 153 162 163 164 165 170 173 175 177 185 189 190 191 192 193 195 205 208 211 212 223 224 225 230 242 244 245 246 248 249 255 259 262 268 270 271 272 277 281 282 285 286 289 290 292 296 298 309 310 314 316 317 319 322 328 333 334 336 337 338 342 345 352 354 356 357 359 360 a 3 6 8 9 10 12 13 21 23 24 26 27 30 31 32 36 38 40 45 50 66 76 78 86 87 89 95 96 99 100 106 107 108 111 114 117 118 121 122 123 126 131 132 133 137 145 150 153 162 163 164 165 170 173 175 177 185 189 190 191 192 193 195 205 208 211 212 223 224 225 230 239 242 244 245 246 248 249 255 259 262 268 270 271 272 277 281 282 285 286 289 290 292 296 298 309 310 314 316 317 319 322 328 333 334 336 337 338 342 345 352 354 356 357 359 360 a 3 6 8 9 10 12 13 21 23 24 26 27 30 31 32 36 38 40 45 50 66 76 78 86 87 89 96 99 100 106 107 108 111 114 117 118 121 122 123 126 131 132 133 137 145 150 153 162 163 164 165 170 173 175 177 185 189 190 191 192 193 195 205 208 211 212 223 224 225 230 239 242 244 245 246 248 249 255 259 262 268 270 271 272 277 281 282 285 286 289 290 292 296 298 307 309 310 314 316 317 319 322 328 333 334 336 337 338 342 345 352 354 356 357 359 360 a 3 6 8 9 10 12 13 21 23 24 26 27 30 31 32 36 38 40 45 50 66 76 78 86 87 89 92 96 99 100 106 107 108 111 114 117 118 121 122 123 126 131 132 133 137 145 153 162 163 164 165 170 173 175 177 185 189 190 191 192 193 195 205 208 211 212 223 224 225 230 239 242 244 245 246 248 249 255 259 262 268 270 271 272 277 281 282 285 286 289 290 292 296 298 307 309 310 314 316 317 319 322 328 333 334 336 337 338 342 345 352 354 356 357 359 360 a 3 6 8 9 10 12 13 21 23 24 26 27 30 31 32 36 38 40 45 50 66 76 78 86 87 89 92 96 99 100 106 107 108 111 114 117 118 121 122 123 126 131 132 133 137 145 153 162 163 164 165 170 173 175 177 185 189 190 191 192 193 195 205 206 208 211 212 223 224 225 230 239 242 244 245 246 248 255 259 262 268 270 271 272 277 281 282 285 286 289 290 292 296 298 307 309 310 314 316 317 319 322 328 333 334 336 337 338 342 345 352 354 356 357 359 360 a 3 6 8 9 10 12 13 21 23 24 26 27 30 31 32 36 38 40 45 50 61 66 76 78 86 87 89 92 96 99 100 106 107 108 111 114 117 118 121 122 123 126 131 132 133 137 145 153 162 163 164 165 170 173 175 177 185 189 190 191 192 193 195 205 206 208 211 212 223 224 225 230 239 242 244 245 248 255 259 262 268 270 271 272 277 281 282 285 286 289 290 292 296 298 307 309 310 314 316 317 319 322 328 333 334 336 337 338 342 345 352 354 356 357 359 360 a 3 6 8 9 10 12 13 21 23 24 26 27 30 31 32 36 38 40 45 50 61 66 76 78 86 87 89 92 96 99 100 106 107 108 111 114 117 118 121 122 123 126 131 132 133 137 145 153 162 163 164 165 170 173 175 177 185 189 190 191 192 193 195 205 206 208 211 212 223 224 225 230 232 239 242 244 245 248 255 259 262 268 270 271 272 277 281 282 285 286 289 290 292 296 298 307 309 310 314 316 317 319 322 328 333 336 337 338 342 345 352 354 356 357 359 360 a 3 6 8 9 10 12 13 21 23 24 26 27 30 31 32 36 38 40 45 50 61 66 76 78 86 87 89 92 96 99 100 106 107 108 111 114 117 118 121 122 123 126 131 132 133 137 145 153 163 164 165 170 173 175 177 185 189 190 191 192 193 195 205 206 208 211 212 223 224 225 230 232 239 242 244 245 248 255 259 262 268 270 271 272 277 281 282 285 286 289 290 292 296 298 307 309 310 314 316 317 319 322 328 333 336 337 338 342 345 352 354 356 357 359 360 363 a 3 6 8 9 10 12 13 21 23 24 26 27 30 31 32 36 38 40 45 50 61 66 76 78 86 87 89 92 96 99 100 106 107 108 111 114 117 118 121 122 123 126 131 132 133 137 145 153 163 164 165 170 173 175 177 182 185 189 190 191 192 193 195 205 206 208 211 212 223 224 225 230 232 239 242 244 245 248 255 259 262 268 270 271 272 277 281 282 285 286 289 290 292 296 298 307 309 310 314 316 317 319 322 328 333 337 338 342 345 352 354 356 357 359 360 363 a 3 6 8 9 10 12 13 21 23 24 26 27 30 31 32 36 38 40 45 50 61 66 76 78 86 87 89 92 96 99 100 103 106 107 108 111 114 117 118 121 122 123 126 131 132 133 137 145 153 163 164 165 170 173 175 177 182 185 189 190 191 192 193 195 205 206 208 211 212 223 224 225 230 232 239 242 244 245 248 255 259 262 268 270 271 272 277 281 282 285 286 289 290 292 296 298 307 309 310 314 316 317 319 322 328 333 338 342 345 352 354 356 357 359 360 363 a 3 6 8 9 10 12 13 21 23 24 26 27 30 31 32 36 38 40 45 50 61 66 76 78 86 87 89 92 96 99 100 103 106 107 108 111 114 117 118 121 122 123 126 131 132 133 137 145 153 163 164 165 170 173 175 177 182 185 189 190 191 192 193 195 205 206 208 211 212 223 224 225 230 232 236 239 242 244 245 248 255 259 262 268 270 271 272 277 281 282 285 286 289 290 292 296 298 307 309 310 314 316 317 319 322 328 333 338 342 352 354 356 357 359 360 363 a 3 6 8 9 10 12 13 21 23 24 26 27 30 31 32 36 38 40 45 50 61 66 76 78 86 87 89 92 96 100 103 106 107 108 111 114 117 118 121 122 123 126 131 132 133 137 145 153 163 164 165 170 173 175 177 182 185 189 190 191 192 193 195 205 206 208 211 212 223 224 225 230 232 236 239 242 244 245 248 255 259 262 268 270 271 272 277 281 282 285 286 289 290 292 296 298 307 309 310 314 316 317 319 322 328 333 338 342 351 352 354 356 357 359 360 363 a 3 6 8 9 10 12 13 21 23 24 26 27 30 31 32 36 38 40 45 50 61 66 76 78 86 87 89 92 96 100 103 106 107 108 111 117 118 121 122 123 126 131 132 133 137 145 153 163 164 165 170 173 175 177 182 185 189 190 191 192 193 195 205 206 208 211 212 223 224 225 230 232 236 239 242 244 245 248 255 259 262 268 270 271 272 277 281 282 285 286 289 290 292 296 298 301 307 309 310 314 316 317 319 322 328 333 338 342 351 352 354 356 357 359 360 363 a 3 6 8 9 10 12 13 21 23 24 26 27 30 31 32 36 38 40 45 50 61 66 76 78 86 87 89 92 96 100 103 106 107 108 111 117 118 121 122 123 126 131 132 133 137 145 153 163 164 165 170 173 175 177 182 185 189 190 191 192 193 195 199 205 206 208 211 212 223 224 225 230 232 236 239 242 244 245 248 255 259 262 268 270 271 272 277 281 282 285 286 289 290 292 296 298 301 307 309 310 314 317 319 322 328 333 338 342 351 352 354 356 357 359 360 363 a 3 6 8 9 10 12 13 21 23 24 26 27 30 31 32 36 38 40 45 50 61 66 76 78 86 87 89 92 96 100 103 105 106 107 108 111 117 118 121 122 123 126 131 132 133 137 145 153 163 164 165 170 173 175 177 182 185 189 190 191 192 193 195 199 205 206 208 211 212 223 224 225 230 232 236 239 242 244 245 248 255 259 262 268 270 271 272 277 281 282 285 286 289 290 292 296 298 301 307 309 310 314 319 322 328 333 338 342 351 352 354 356 357 359 360 363 a 3 6 8 9 10 12 13 21 23 24 26 27 30 31 32 36 38 40 45 50 61 66 76 78 86 87 89 92 96 100 103 105 106 107 108 111 117 118 121 122 123 126 131 132 133 135 137 145 153 163 164 165 170 173 175 177 182 185 189 190 191 192 193 195 199 205 206 208 211 212 223 224 225 230 232 236 239 242 244 245 248 255 259 262 268 270 271 272 277 281 282 285 286 289 290 292 296 298 301 307 309 310 314 319 322 328 333 338 342 351 352 354 357 359 360 363 a 3 6 8 9 10 12 13 21 23 24 26 27 30 31 32 36 38 40 45 50 61 66 76 78 86 87 89 92 96 100 103 105 106 107 108 111 117 118 121 122 123 125 126 131 132 133 135 137 145 153 163 164 165 170 173 175 177 182 185 189 190 191 192 193 195 199 205 206 208 211 212 223 224 225 230 232 236 239 242 244 245 248 255 259 262 268 270 271 272 277 281 282 285 286 289 290 292 296 298 301 307 309 310 314 319 322 328 333 338 342 351 352 354 357 360 363 a 3 6 8 9 10 12 13 21 23 24 26 27 30 31 32 36 38 40 45 50 61 66 76 78 86 87 89 92 96 100 103 105 106 107 108 111 117 121 122 123 125 126 131 132 133 135 137 145 153 163 164 165 170 173 175 177 179 182 185 189 190 191 192 193 195 199 205 206 208 211 212 223 224 225 230 232 236 239 242 244 245 248 255 259 262 268 270 271 272 277 281 282 285 286 289 290 292 296 298 301 307 309 310 314 319 322 328 333 338 342 351 352 354 357 360 363 a 3 6 8 9 10 12 13 21 23 24 26 27 30 31 32 36 38 40 45 50 61 66 76 78 86 87 89 92 96 100 103 105 106 107 108 111 116 117 121 122 125 126 131 132 133 135 137 145 153 163 164 165 170 173 175 177 179 182 185 189 190 191 192 193 195 199 205 206 208 211 212 223 224 225 230 232 236 239 242 244 245 248 255 259 262 268 270 271 272 277 281 282 285 286 289 290 292 296 298 301 307 309 310 314 319 322 328 333 338 342 351 352 354 357 360 363 a 3 6 8 9 10 12 13 21 23 24 26 27 30 31 32 36 38 40 45 50 61 66 76 78 86 87 89 92 96 100 103 105 106 107 108 111 115 116 117 121 122 125 126 131 132 133 135 137 145 153 163 164 165 170 173 175 177 179 182 185 190 191 192 193 195 199 205 206 208 211 212 223 224 225 230 232 236 239 242 244 245 248 255 259 262 268 270 271 272 277 281 282 285 286 289 290 292 296 298 301 307 309 310 314 319 322 328 333 338 342 351 352 354 357 360 363 a 3 6 8 9 10 12 13 21 23 24 26 27 30 31 32 36 38 40 45 50 61 66 76 78 86 87 89 92 96 100 103 105 106 107 108 111 115 116 117 121 122 125 126 131 132 133 135 137 145 153 163 164 165 170 173 175 177 179 182 185 190 191 193 195 199 205 206 208 211 212 223 224 225 230 232 236 239 242 244 245 248 255 259 262 268 270 271 272 277 281 282 285 286 289 290 292 296 298 301 303 307 309 310 314 319 322 328 333 338 342 351 352 354 357 360 363 a 3 6 8 9 10 12 13 21 23 24 26 27 30 31 32 36 38 40 45 50 61 66 76 78 86 87 89 92 96 100 103 105 106 107 108 111 115 116 117 121 122 125 126 131 132 133 135 137 145 153 163 164 165 170 173 175 177 179 182 185 190 191 193 195 199 205 206 208 211 212 221 223 224 225 230 232 236 239 242 244 245 248 259 262 268 270 271 272 277 281 282 285 286 289 290 292 296 298 301 303 307 309 310 314 319 322 328 333 338 342 351 352 354 357 360 363 a 3 6 8 9 10 12 13 21 23 24 26 27 30 31 32 36 38 40 45 50 61 66 76 78 86 87 89 92 96 100 103 105 106 107 108 111 115 116 117 121 122 125 126 131 132 133 135 137 141 145 153 163 164 165 170 173 175 177 179 182 185 190 191 193 195 199 205 206 208 211 212 221 223 224 225 230 232 236 239 242 244 245 248 259 262 268 270 271 272 277 281 285 286 289 290 292 296 298 301 303 307 309 310 314 319 322 328 333 338 342 351 352 354 357 360 363 a 3 6 8 9 10 12 13 21 23 24 26 27 30 31 32 36 38 40 45 50 61 66 76 78 86 87 89 92 96 100 103 105 106 107 108 111 115 116 117 121 122 125 126 131 132 133 135 137 141 145 153 163 164 165 170 173 175 177 179 182 185 190 191 193 195 199 205 206 208 211 212 221 223 224 225 230 232 236 239 242 244 245 248 259 261 262 268 270 271 272 277 281 285 286 289 290 292 296 298 301 303 307 309 310 314 322 328 333 338 342 351 352 354 357 360 363 Command being timed: "/solvers/driver/run.py --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance028_graph003.col /benchmark/random_instance/random_instance028_graph003_01.dat" User time (seconds): 3304.61 System time (seconds): 10.41 Percent of CPU this job got: 190% Elapsed (wall clock) time (h:mm:ss or m:ss): 28:59.19 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): 28175772 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 8825395 Voluntary context switches: 67305 Involuntary context switches: 12190 Swaps: 0 File system inputs: 0 File system outputs: 696 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Fri Sep 8 21:25:12 2023]