#BEGIN: [Sun Sep 10 17:51:33 2023]
#HOST: s07
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-ai-planning-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen020x020.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen020x020_01_7075.dat
#COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning --config=longest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen020x020.col /benchmark/2022benchmark/benchmark/queen/queen020x020_01_7075.dat
s 270 126 255 303 397 54 321 158 344 199 240 212 362 176 27 13 91 109 68
t 321 127 236 270 71 168 34 157 285 120 303 219 86 193 395 12 49 344 258
a YES
a 13 27 54 68 91 109 126 158 176 199 212 240 255 270 303 321 344 362 397
a 27 54 68 91 109 126 158 176 199 212 240 255 270 285 303 321 344 362 397
a 13 27 68 91 109 126 158 176 199 212 240 255 270 285 303 321 344 362 397
a 13 27 68 91 109 126 158 176 199 212 240 255 270 285 303 321 344 362 394
a 13 27 68 91 109 126 158 176 199 212 240 255 270 285 303 321 344 377 394
a 13 22 68 91 109 126 158 176 199 212 240 255 270 285 303 321 344 377 394
a 13 22 47 91 109 126 158 176 199 212 240 255 270 285 303 321 344 377 394
a 13 22 47 91 109 126 158 176 199 212 240 248 270 285 303 321 344 377 394
a 13 35 47 91 109 126 158 176 199 212 240 248 270 285 303 321 344 377 394
a 13 35 47 91 109 126 158 162 199 212 240 248 270 285 303 321 344 377 394
a 13 35 47 91 109 126 158 162 199 216 240 248 270 285 303 321 344 377 394
a 13 35 47 79 91 109 126 158 162 216 240 248 270 285 303 321 344 377 394
a 13 35 47 79 91 109 126 158 182 216 240 248 270 285 303 321 344 377 394
a 13 35 47 79 91 109 126 158 180 182 216 248 270 285 303 321 344 377 394
a 13 35 47 91 109 126 158 180 182 216 239 248 270 285 303 321 344 377 394
a 13 35 47 72 109 126 158 180 182 216 239 248 270 285 303 321 344 377 394
a 13 35 47 72 86 109 158 180 182 216 239 248 270 285 303 321 344 377 394
a 13 35 47 72 86 109 158 180 182 216 231 248 270 285 303 321 344 377 394
a 13 35 47 72 86 109 158 180 182 216 231 248 270 285 303 321 344 379 394
a 13 35 47 72 86 109 157 180 182 216 231 248 270 285 303 321 344 379 394
a 13 35 47 72 86 109 157 180 182 216 238 248 270 285 303 321 344 379 394
a 13 35 47 72 86 109 157 180 182 216 238 248 270 285 303 321 344 379 391
a 13 35 47 72 86 109 134 157 180 182 216 238 270 285 303 321 344 379 391
a 13 47 72 86 109 134 157 180 182 216 238 255 270 285 303 321 344 379 391
a 13 47 72 86 109 134 157 168 182 216 238 255 270 285 303 321 344 379 391
a 13 47 72 86 120 134 157 168 182 216 238 255 270 285 303 321 344 379 391
a 33 47 72 86 120 134 157 168 182 216 238 255 270 285 303 321 344 379 391
a 33 47 72 86 120 134 157 168 182 216 238 255 270 285 303 321 344 379 389
a 11 33 47 72 86 120 134 157 168 216 238 255 270 285 303 321 344 379 389
a 11 47 72 86 120 134 157 168 193 216 238 255 270 285 303 321 344 379 389
a 11 47 62 86 120 134 157 168 193 216 238 255 270 285 303 321 344 379 389
a 12 47 62 86 120 134 157 168 193 216 238 255 270 285 303 321 344 379 389
a 12 34 47 62 86 120 157 168 193 216 238 255 270 285 303 321 344 379 389
a 12 34 47 71 86 120 157 168 193 216 238 255 270 285 303 321 344 379 389
a 12 34 47 71 86 120 122 157 168 193 238 255 270 285 303 321 344 379 389
a 12 34 47 71 86 120 122 157 168 193 238 255 270 285 303 321 344 376 389
a 12 34 47 71 86 120 122 157 168 193 219 255 270 285 303 321 344 376 389
a 12 34 47 71 86 120 122 157 168 193 219 255 270 285 303 321 344 376 398
a 12 34 49 71 86 120 122 157 168 193 219 255 270 285 303 321 344 376 398
a 12 34 49 71 86 120 127 157 168 193 219 255 270 285 303 321 344 376 398
a 12 34 49 71 86 120 127 157 168 193 219 255 270 285 303 321 344 362 398
a 12 34 49 71 86 120 127 157 168 193 219 236 270 285 303 321 344 362 398
a 12 34 49 71 86 120 127 157 168 193 219 236 258 270 285 303 321 344 362
a 12 34 49 71 86 120 127 157 168 193 219 236 258 270 285 303 321 344 395
#END: [Sun Sep 10 18:20:33 2023]