#BEGIN: [Sun Sep 10 17:51:43 2023]
#HOST: s15
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-ai-planning-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen020x020.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen020x020_02_4815.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_02_4815.dat
s 240 12 193 397 34 344 127 86 158 362 168 119 49 303 321 255 285 216 71
t 196 13 285 258 394 88 270 35 157 303 179 321 47 106 344 212 129 362 240
a YES
a 12 34 49 71 86 119 127 158 168 193 216 240 255 285 303 321 344 362 397
a 34 49 71 86 119 127 158 168 193 216 240 255 270 285 303 321 344 362 397
a 12 49 71 86 119 127 158 168 193 216 240 255 270 285 303 321 344 362 397
a 12 49 71 86 119 127 158 168 193 216 240 255 270 285 303 321 344 362 394
a 12 49 71 86 119 127 158 168 193 216 240 257 270 285 303 321 344 362 394
a 15 49 71 86 119 127 158 168 193 216 240 257 270 285 303 321 344 362 394
a 15 31 49 86 119 127 158 168 193 216 240 257 270 285 303 321 344 362 394
a 15 31 49 66 119 127 158 168 193 216 240 257 270 285 303 321 344 362 394
a 15 31 49 66 92 119 127 158 193 216 240 257 270 285 303 321 344 362 394
a 15 31 49 66 92 119 128 158 193 216 240 257 270 285 303 321 344 362 394
a 31 49 66 92 119 128 158 167 193 216 240 257 270 285 303 321 344 362 394
a 13 31 49 66 92 119 128 158 167 216 240 257 270 285 303 321 344 362 394
a 13 31 49 66 92 119 128 158 167 216 240 257 270 285 315 321 344 362 394
a 13 31 49 66 92 103 128 158 167 216 240 257 270 285 315 321 344 362 394
a 13 49 66 92 103 128 158 167 199 216 240 257 270 285 315 321 344 362 394
a 13 49 66 92 103 128 151 167 199 216 240 257 270 285 315 321 344 362 394
a 13 49 66 98 103 128 151 167 199 216 240 257 270 285 315 321 344 362 394
a 13 29 66 98 103 128 151 167 199 216 240 257 270 285 315 321 344 362 394
a 12 29 66 98 103 128 151 167 199 216 240 257 270 285 315 321 344 362 394
a 12 29 66 98 103 128 151 167 199 216 240 253 270 285 315 321 344 362 394
a 12 29 66 98 103 128 151 167 199 217 240 253 270 285 315 321 344 362 394
a 16 29 66 98 103 128 151 167 199 217 240 253 270 285 315 321 344 362 394
a 16 32 66 98 103 128 151 167 199 217 240 253 270 285 315 321 344 362 394
a 16 32 69 98 103 128 151 167 199 217 240 253 270 285 315 321 344 362 394
a 16 32 47 69 98 103 128 151 199 217 240 253 270 285 315 321 344 362 394
a 32 47 69 98 103 128 151 176 199 217 240 253 270 285 315 321 344 362 394
a 6 32 47 98 103 128 151 176 199 217 240 253 270 285 315 321 344 362 394
a 6 32 47 98 103 129 151 176 199 217 240 253 270 285 315 321 344 362 394
a 6 32 47 62 98 103 129 151 176 199 217 240 253 270 285 315 321 344 394
a 6 32 47 62 98 103 129 176 199 217 240 253 270 285 315 321 344 371 394
a 6 32 47 62 88 103 129 176 199 217 240 253 270 285 315 321 344 371 394
a 18 32 47 62 88 103 129 176 199 217 240 253 270 285 315 321 344 371 394
a 18 32 47 62 88 129 143 176 199 217 240 253 270 285 315 321 344 371 394
a 18 32 47 62 88 106 129 143 176 199 217 240 270 285 315 321 344 371 394
a 18 33 47 62 88 106 129 143 176 199 217 240 270 285 315 321 344 371 394
a 18 33 47 62 88 106 129 143 176 199 212 240 270 285 315 321 344 371 394
a 18 33 47 77 88 106 129 143 176 199 212 240 270 285 315 321 344 371 394
a 18 47 77 88 106 129 143 176 199 212 240 242 270 285 315 321 344 371 394
a 13 47 77 88 106 129 143 176 199 212 240 242 270 285 315 321 344 371 394
a 13 47 77 88 106 129 158 176 199 212 240 242 270 285 315 321 344 371 394
a 13 47 77 88 106 129 158 176 199 212 240 242 270 285 303 321 344 371 394
a 13 35 47 88 106 129 158 176 199 212 240 242 270 285 303 321 344 371 394
a 13 35 47 62 88 106 129 158 176 199 212 240 270 285 303 321 344 371 394
a 13 35 47 62 88 106 129 176 199 212 240 258 270 285 303 321 344 371 394
a 13 35 47 62 88 106 129 159 176 212 240 258 270 285 303 321 344 371 394
a 13 35 47 62 88 106 129 159 196 212 240 258 270 285 303 321 344 371 394
a 13 35 47 62 88 106 129 157 196 212 240 258 270 285 303 321 344 371 394
a 13 35 47 88 106 129 157 179 196 212 240 258 270 285 303 321 344 371 394
a 13 35 47 88 106 129 157 179 196 212 240 258 270 285 303 321 344 362 394
#END: [Sun Sep 10 18:20:43 2023]