#BEGIN: [Thu Sep 14 21:56:19 2023]
#HOST: s14
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-ai-planning-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/DSJC250.5.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/DSJC250.5_02.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/DSJC250.5.col /benchmark/2022benchmark/benchmark/color04/DSJC250.5_02.dat
s 58 60 85 108 109 110 192 221 234 239 249 
t 22 28 50 58 60 85 108 109 137 214 221
a YES
a 58 60 85 108 109 110 192 221 234 239 249
a 22 58 60 85 108 109 110 192 221 234 239
a 22 60 85 108 109 110 120 192 221 234 239
a 22 60 85 108 109 110 120 192 209 234 239
a 22 60 85 108 109 110 192 209 234 239 249
a 22 58 60 85 108 109 110 192 234 239 249
a 22 58 60 85 108 109 110 192 221 234 249
a 22 52 58 60 85 109 110 192 221 234 249
a 22 52 58 60 85 109 110 137 221 234 249
a 22 58 60 85 108 109 110 137 221 234 249
a 22 50 58 60 85 108 109 110 137 221 249
a 22 50 52 58 60 85 109 110 137 221 249
a 22 28 50 52 58 60 85 109 110 137 221
a 22 28 50 58 60 85 108 109 110 137 221
a 22 28 50 58 60 85 108 109 110 221 239
a 22 50 58 60 85 108 109 110 221 239 249
a 22 58 60 85 108 109 110 221 234 239 249
a 22 58 60 85 108 109 192 221 234 239 249
a 22 58 60 85 108 110 192 221 234 239 249
a 22 58 60 85 109 110 192 221 234 239 249
a 22 58 60 108 109 110 192 221 234 239 249
a 22 58 85 108 109 110 192 221 234 239 249
a 22 60 85 108 109 110 192 221 234 239 249
a 22 58 60 85 108 109 110 192 221 239 249
a 22 60 85 108 109 110 187 192 221 239 249
a 22 50 60 85 108 109 110 187 221 239 249
a 22 50 60 85 108 109 110 137 187 221 249
a 22 28 50 60 85 108 109 110 137 187 221
a 22 50 60 85 108 109 110 137 169 187 221
a 22 50 60 85 108 109 110 137 169 187 204
a 22 50 60 85 108 109 137 169 187 204 214
a 22 50 60 81 85 108 109 169 187 204 214
a 22 50 60 81 85 108 109 169 187 214 221
a 22 60 81 85 108 109 169 187 202 214 221
a 22 60 85 108 109 137 169 187 202 214 221
a 22 50 60 85 108 109 137 169 187 214 221
a 22 28 50 60 85 108 109 137 187 214 221
a 22 28 50 58 60 85 108 109 137 214 221
#END: [Thu Sep 14 22:25:19 2023]