#BEGIN: [Fri Sep 15 01:21:34 2023]
#HOST: s16
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-ai-planning-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/school1_nsh.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/school1_nsh_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-planning --config=longest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/color04/school1_nsh.col /benchmark/2022benchmark/benchmark/color04/school1_nsh_01.dat
s 9 13 22 27 32 38 44 67 86 99 115 117 119 131 133 135 136 140 142 162 170 176 184 185 187 193 216 236 241 267 271 284 289 292 309 314 315 316 328 
t 2 9 13 22 27 32 38 40 44 57 67 99 115 117 119 131 133 135 136 138 142 162 170 176 184 185 187 193 216 236 241 267 271 289 292 309 315 316 328
a YES
a 9 13 22 27 32 38 44 67 86 99 115 117 119 131 133 135 136 140 142 162 170 176 184 185 187 193 216 236 241 267 271 284 289 292 309 314 315 316 328
a 9 13 22 27 32 38 44 67 86 99 115 117 119 131 135 136 140 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 314 315 316 328
a 9 13 22 27 32 38 44 67 86 99 115 117 119 131 135 136 138 140 142 162 170 176 184 185 187 193 216 222 236 241 267 271 289 292 309 314 315 316 328
a 9 13 22 27 32 38 44 57 67 86 99 115 117 119 131 135 136 138 142 162 170 176 184 185 187 193 216 222 236 241 267 271 289 292 309 314 315 316 328
a 9 13 22 27 32 38 40 44 57 67 86 99 115 117 119 131 135 136 138 142 162 170 176 184 185 187 193 216 222 236 241 267 271 289 292 309 315 316 328
a 9 13 22 27 32 38 44 57 67 86 99 115 117 119 131 135 136 138 142 162 170 176 184 185 187 193 216 222 236 241 267 271 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 57 67 86 99 104 115 117 119 131 135 138 142 162 170 176 184 185 187 193 216 222 236 241 267 271 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 57 67 99 104 115 117 119 131 135 138 142 162 170 176 184 185 187 193 216 222 236 241 267 271 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 57 67 100 104 115 117 119 131 135 138 142 162 170 176 184 185 187 193 216 222 236 241 267 271 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 57 67 86 100 104 115 117 119 131 135 138 142 162 170 176 184 185 187 193 216 222 236 241 267 271 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 100 104 115 117 119 131 135 138 141 142 162 170 176 184 185 187 193 216 222 236 241 267 271 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 100 104 115 117 119 131 135 138 141 142 162 170 176 184 185 187 193 216 222 236 241 267 271 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 99 104 115 117 119 131 135 138 141 142 162 170 176 184 185 187 193 216 222 236 241 267 271 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 99 104 115 117 119 131 135 138 141 142 162 170 176 184 185 187 193 216 222 236 241 267 271 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 104 105 115 117 119 131 135 138 141 142 162 170 176 184 185 187 193 216 222 236 241 267 271 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 104 105 115 117 119 131 135 138 141 142 162 170 176 184 185 187 193 216 222 236 241 267 271 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 105 115 117 119 131 135 136 138 141 142 162 170 176 184 185 187 193 216 222 236 241 267 271 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 105 115 117 119 131 135 136 138 141 142 162 170 176 184 185 187 193 216 222 236 241 267 271 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 99 115 117 119 131 135 136 138 141 142 162 170 176 184 185 187 193 216 222 236 241 267 271 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 99 115 117 119 131 135 136 138 141 142 162 170 176 184 185 187 193 216 222 236 241 267 271 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 100 115 117 119 131 135 136 138 141 142 162 170 176 184 185 187 193 216 222 236 241 267 271 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 100 115 117 119 131 135 136 138 141 142 162 170 176 184 185 187 193 216 222 236 241 267 271 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 100 115 117 119 131 133 135 136 138 141 142 162 170 176 184 185 187 193 216 236 241 267 271 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 100 115 117 119 131 133 135 136 138 141 142 162 170 176 184 185 187 193 216 236 241 267 271 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 99 115 117 119 131 133 135 136 138 141 142 162 170 176 184 185 187 193 216 236 241 267 271 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 99 115 117 119 131 133 135 136 138 141 142 162 170 176 184 185 187 193 216 236 241 267 271 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 105 115 117 119 131 133 135 136 138 141 142 162 170 176 184 185 187 193 216 236 241 267 271 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 105 115 117 119 131 133 135 136 138 141 142 162 170 176 184 185 187 193 216 236 241 267 271 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 104 105 115 117 119 131 133 135 138 141 142 162 170 176 184 185 187 193 216 236 241 267 271 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 104 105 115 117 119 131 133 135 138 141 142 162 170 176 184 185 187 193 216 236 241 267 271 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 99 104 115 117 119 131 133 135 138 141 142 162 170 176 184 185 187 193 216 236 241 267 271 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 99 104 115 117 119 131 133 135 138 141 142 162 170 176 184 185 187 193 216 236 241 267 271 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 100 104 115 117 119 131 133 135 138 141 142 162 170 176 184 185 187 193 216 236 241 267 271 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 100 104 115 117 119 131 133 135 138 141 142 162 170 176 184 185 187 193 216 236 241 267 271 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 100 104 115 117 119 131 133 135 141 142 162 170 176 184 185 187 193 216 236 241 267 271 284 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 100 104 115 117 119 131 133 135 141 142 162 170 176 184 185 187 193 216 236 241 267 271 284 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 99 104 115 117 119 131 133 135 141 142 162 170 176 184 185 187 193 216 236 241 267 271 284 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 99 104 115 117 119 131 133 135 141 142 162 170 176 184 185 187 193 216 236 241 267 271 284 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 104 105 115 117 119 131 133 135 141 142 162 170 176 184 185 187 193 216 236 241 267 271 284 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 104 105 115 117 119 131 133 135 141 142 162 170 176 184 185 187 193 216 236 241 267 271 284 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 105 115 117 119 131 133 135 136 141 142 162 170 176 184 185 187 193 216 236 241 267 271 284 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 105 115 117 119 131 133 135 136 141 142 162 170 176 184 185 187 193 216 236 241 267 271 284 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 99 115 117 119 131 133 135 136 141 142 162 170 176 184 185 187 193 216 236 241 267 271 284 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 99 115 117 119 131 133 135 136 141 142 162 170 176 184 185 187 193 216 236 241 267 271 284 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 100 115 117 119 131 133 135 136 141 142 162 170 176 184 185 187 193 216 236 241 267 271 284 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 100 115 117 119 131 133 135 136 141 142 162 170 176 184 185 187 193 216 236 241 267 271 284 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 57 67 86 100 115 117 119 131 133 135 136 142 162 170 176 184 185 187 193 216 236 241 267 271 284 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 100 115 117 119 131 133 135 136 140 142 162 170 176 184 185 187 193 216 236 241 267 271 284 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 100 115 117 119 131 133 135 136 140 142 162 170 176 184 185 187 193 216 236 241 267 271 284 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 99 115 117 119 131 133 135 136 140 142 162 170 176 184 185 187 193 216 236 241 267 271 284 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 99 115 117 119 131 133 135 136 140 142 162 170 176 184 185 187 193 216 236 241 267 271 284 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 105 115 117 119 131 133 135 136 140 142 162 170 176 184 185 187 193 216 236 241 267 271 284 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 105 115 117 119 131 133 135 136 140 142 162 170 176 184 185 187 193 216 236 241 267 271 284 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 104 105 115 117 119 131 133 135 140 142 162 170 176 184 185 187 193 216 236 241 267 271 284 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 104 105 115 117 119 131 133 135 140 142 162 170 176 184 185 187 193 216 236 241 267 271 284 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 99 104 115 117 119 131 133 135 140 142 162 170 176 184 185 187 193 216 236 241 267 271 284 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 99 104 115 117 119 131 133 135 140 142 162 170 176 184 185 187 193 216 236 241 267 271 284 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 100 104 115 117 119 131 133 135 140 142 162 170 176 184 185 187 193 216 236 241 267 271 284 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 100 104 115 117 119 131 133 135 140 142 162 170 176 184 185 187 193 216 236 241 267 271 284 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 57 67 86 100 104 115 117 119 131 133 135 142 162 170 176 184 185 187 193 216 236 241 267 271 284 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 57 67 100 104 115 117 119 131 133 135 142 162 170 176 184 185 187 193 216 236 241 267 271 284 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 57 67 100 104 115 117 119 131 135 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 57 67 86 100 104 115 117 119 131 135 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 57 67 86 104 105 115 117 119 131 135 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 57 67 104 105 115 117 119 131 135 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 57 67 105 115 117 119 131 135 136 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 57 67 86 105 115 117 119 131 135 136 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 57 67 86 99 115 117 119 131 135 136 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 57 67 99 115 117 119 131 135 136 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 57 67 100 115 117 119 131 135 136 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 57 67 86 100 115 117 119 131 135 136 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 100 115 117 119 131 135 136 141 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 100 115 117 119 131 135 136 141 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 99 115 117 119 131 135 136 141 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 99 115 117 119 131 135 136 141 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 105 115 117 119 131 135 136 141 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 105 115 117 119 131 135 136 141 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 104 105 115 117 119 131 135 141 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 104 105 115 117 119 131 135 141 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 100 104 115 117 119 131 135 141 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 100 104 115 117 119 131 135 141 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 99 104 115 117 119 131 135 141 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 99 104 115 117 119 131 135 141 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 57 67 86 99 104 115 117 119 131 135 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 57 67 99 104 115 117 119 131 135 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 99 104 115 117 119 131 135 140 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 99 104 115 117 119 131 135 140 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 100 104 115 117 119 131 135 140 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 100 104 115 117 119 131 135 140 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 100 115 117 119 131 135 136 140 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 100 115 117 119 131 135 136 140 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 99 115 117 119 131 135 136 140 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 99 115 117 119 131 135 136 140 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 105 115 117 119 131 135 136 140 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 105 115 117 119 131 135 136 140 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 104 105 115 117 119 131 135 140 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 104 105 115 117 119 131 135 140 142 162 170 176 184 185 187 193 216 222 236 241 267 271 284 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 104 105 115 117 119 131 135 138 140 142 162 170 176 184 185 187 193 216 222 236 241 267 271 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 104 105 115 117 119 131 135 138 140 142 162 170 176 184 185 187 193 216 222 236 241 267 271 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 99 104 115 117 119 131 135 138 140 142 162 170 176 184 185 187 193 216 222 236 241 267 271 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 99 104 115 117 119 131 135 138 140 142 162 170 176 184 185 187 193 216 222 236 241 267 271 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 100 104 115 117 119 131 135 138 140 142 162 170 176 184 185 187 193 216 222 236 241 267 271 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 100 104 115 117 119 131 135 138 140 142 162 170 176 184 185 187 193 216 222 236 241 267 271 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 100 115 117 119 131 135 136 138 140 142 162 170 176 184 185 187 193 216 222 236 241 267 271 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 100 115 117 119 131 135 136 138 140 142 162 170 176 184 185 187 193 216 222 236 241 267 271 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 99 115 117 119 131 135 136 138 140 142 162 170 176 184 185 187 193 216 222 236 241 267 271 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 99 115 117 119 131 135 136 138 140 142 162 170 176 184 185 187 193 216 222 236 241 267 271 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 105 115 117 119 131 135 136 138 140 142 162 170 176 184 185 187 193 216 222 236 241 267 271 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 105 115 117 119 131 135 136 138 140 142 162 170 176 184 185 187 193 216 222 236 241 267 271 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 105 115 117 119 131 133 135 136 138 140 142 162 170 176 184 185 187 193 216 236 241 267 271 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 105 115 117 119 131 133 135 136 138 140 142 162 170 176 184 185 187 193 216 236 241 267 271 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 100 115 117 119 131 133 135 136 138 140 142 162 170 176 184 185 187 193 216 236 241 267 271 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 100 115 117 119 131 133 135 136 138 140 142 162 170 176 184 185 187 193 216 236 241 267 271 289 292 309 313 315 316 328
a 2 9 13 22 27 32 38 44 67 99 115 117 119 131 133 135 136 138 140 142 162 170 176 184 185 187 193 216 236 241 267 271 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 67 86 99 115 117 119 131 133 135 136 138 140 142 162 170 176 184 185 187 193 216 236 241 267 271 289 292 309 313 315 316 328
a 9 13 22 27 32 38 44 57 67 86 99 115 117 119 131 133 135 136 138 142 162 170 176 184 185 187 193 216 236 241 267 271 289 292 309 313 315 316 328
a 9 13 22 27 32 38 40 44 57 67 86 99 115 117 119 131 133 135 136 138 142 162 170 176 184 185 187 193 216 236 241 267 271 289 292 309 315 316 328
a 2 9 13 22 27 32 38 40 44 57 67 99 115 117 119 131 133 135 136 138 142 162 170 176 184 185 187 193 216 236 241 267 271 289 292 309 315 316 328
#END: [Fri Sep 15 01:50:34 2023]