#BEGIN: [Sat Sep  9 19:07:22 2023]
#HOST: s16
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-ai-planning-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/le450_25c.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/le450_25c_02.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-single --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/color04/le450_25c.col /benchmark/2022benchmark/benchmark/color04/le450_25c_02.dat
s 11 14 15 18 25 44 73 77 85 92 100 115 119 133 140 148 153 163 188 191 196 201 215 230 236 237 253 258 268 270 299 304 324 336 352 355 365 371 376 390 393 407 413 415 429 436 
t 11 15 18 25 44 73 77 92 109 115 119 133 140 148 153 163 188 191 194 196 201 215 230 236 237 253 258 268 270 285 304 324 336 355 365 371 376 390 393 407 413 415 426 429 436 448
a YES
a 11 14 15 18 25 44 73 77 85 92 100 115 119 133 140 148 153 163 188 191 196 201 215 230 236 237 253 258 268 270 299 304 324 336 352 355 365 371 376 390 393 407 413 415 429 436
a 11 14 15 18 25 44 73 77 85 92 100 115 119 133 140 148 153 163 188 191 196 201 215 230 236 237 253 258 268 270 285 299 304 324 336 355 365 371 376 390 393 407 413 415 429 436
a 11 14 15 18 25 44 73 77 92 100 115 119 133 140 148 153 163 188 191 196 201 215 230 236 237 253 258 268 270 285 299 304 324 336 355 365 371 376 390 393 407 413 415 426 429 436
a 11 14 15 18 25 44 73 77 92 109 115 119 133 140 148 153 163 188 191 196 201 215 230 236 237 253 258 268 270 285 299 304 324 336 355 365 371 376 390 393 407 413 415 426 429 436
a 11 14 15 18 25 44 73 77 92 109 115 119 133 140 148 163 188 191 196 201 215 230 236 237 253 258 268 270 285 299 304 323 324 336 355 365 371 376 390 393 407 413 415 426 429 436
a 11 14 15 18 25 44 73 77 92 100 115 119 133 140 148 163 188 191 196 201 215 230 236 237 253 258 268 270 285 299 304 323 324 336 355 365 371 376 390 393 407 413 415 426 429 436
a 11 14 15 18 25 44 73 77 92 100 115 119 133 140 148 163 188 191 196 201 215 230 236 237 253 258 268 270 285 304 323 324 336 355 365 371 376 390 393 407 413 415 426 429 436 448
a 11 14 15 18 25 44 73 77 85 92 100 115 119 133 140 148 163 188 191 196 201 215 230 236 237 253 258 268 270 285 304 323 324 336 355 365 371 376 390 393 407 413 415 429 436 448
a 11 14 15 18 25 44 73 77 85 100 115 119 133 140 148 163 188 191 196 201 215 223 230 236 237 253 258 268 270 285 304 323 324 336 355 365 371 376 390 393 407 413 415 429 436 448
a 11 14 15 18 25 44 73 77 85 109 115 119 133 140 148 163 188 191 196 201 215 223 230 236 237 253 258 268 270 285 304 323 324 336 355 365 371 376 390 393 407 413 415 429 436 448
a 11 14 15 18 25 44 73 77 85 109 115 119 133 140 148 163 188 191 196 201 215 223 230 236 237 253 258 268 270 285 296 304 323 324 336 355 365 371 376 393 407 413 415 429 436 448
a 11 14 15 18 25 44 73 77 85 100 115 119 133 140 148 163 188 191 196 201 215 223 230 236 237 253 258 268 270 285 296 304 323 324 336 355 365 371 376 393 407 413 415 429 436 448
a 11 14 15 18 25 44 73 77 85 92 100 115 119 133 140 148 163 188 191 196 201 215 230 236 237 253 258 268 270 285 296 304 323 324 336 355 365 371 376 393 407 413 415 429 436 448
a 11 14 15 18 25 44 73 77 85 92 100 119 133 140 148 163 188 191 196 201 215 230 236 237 253 258 268 270 285 292 296 304 323 324 336 355 365 371 376 393 407 413 415 429 436 448
a 11 14 15 18 25 44 73 77 85 92 109 119 133 140 148 163 188 191 196 201 215 230 236 237 253 258 268 270 285 292 296 304 323 324 336 355 365 371 376 393 407 413 415 429 436 448
a 11 15 18 25 44 73 77 85 92 109 119 133 140 148 163 188 191 196 201 215 230 233 236 237 253 258 268 270 285 292 296 304 323 324 336 355 365 371 376 393 407 413 415 429 436 448
a 11 15 18 25 44 73 77 85 92 100 119 133 140 148 163 188 191 196 201 215 230 233 236 237 253 258 268 270 285 292 296 304 323 324 336 355 365 371 376 393 407 413 415 429 436 448
a 11 15 18 25 44 73 77 85 92 100 115 119 133 140 148 163 188 191 196 201 215 230 233 236 237 253 258 268 270 285 296 304 323 324 336 355 365 371 376 393 407 413 415 429 436 448
a 11 15 18 25 44 73 77 85 92 109 115 119 133 140 148 163 188 191 196 201 215 230 233 236 237 253 258 268 270 285 296 304 323 324 336 355 365 371 376 393 407 413 415 429 436 448
a 11 14 15 18 25 44 73 77 85 92 109 115 119 133 140 148 163 188 191 196 201 215 230 236 237 253 258 268 270 285 296 304 323 324 336 355 365 371 376 393 407 413 415 429 436 448
a 11 14 15 18 25 44 73 77 92 109 115 119 133 140 148 163 188 191 196 201 215 230 236 237 253 258 268 270 285 296 304 323 324 336 355 365 371 376 393 407 413 415 426 429 436 448
a 11 14 15 18 25 44 73 77 92 109 115 119 133 140 148 153 163 188 191 196 201 215 230 236 237 253 258 268 270 285 296 304 324 336 355 365 371 376 393 407 413 415 426 429 436 448
a 11 15 18 25 44 73 77 92 109 115 119 133 140 148 153 163 188 191 194 196 201 215 230 236 237 253 258 268 270 285 296 304 324 336 355 365 371 376 393 407 413 415 426 429 436 448
a 11 15 18 25 44 73 77 92 100 115 119 133 140 148 153 163 188 191 194 196 201 215 230 236 237 253 258 268 270 285 296 304 324 336 355 365 371 376 393 407 413 415 426 429 436 448
a 11 14 15 18 25 44 73 77 92 100 115 119 133 140 148 153 163 188 191 196 201 215 230 236 237 253 258 268 270 285 296 304 324 336 355 365 371 376 393 407 413 415 426 429 436 448
a 11 14 15 18 25 44 73 77 92 100 119 133 140 148 153 163 188 191 196 201 215 230 236 237 253 258 268 270 285 296 304 324 336 355 365 371 376 383 393 407 413 415 426 429 436 448
a 11 15 18 25 44 73 77 92 100 119 133 140 148 153 163 188 191 194 196 201 215 230 236 237 253 258 268 270 285 296 304 324 336 355 365 371 376 383 393 407 413 415 426 429 436 448
a 11 15 18 25 44 73 77 92 109 119 133 140 148 153 163 188 191 194 196 201 215 230 236 237 253 258 268 270 285 296 304 324 336 355 365 371 376 383 393 407 413 415 426 429 436 448
a 11 14 15 18 25 44 73 77 92 109 119 133 140 148 153 163 188 191 196 201 215 230 236 237 253 258 268 270 285 296 304 324 336 355 365 371 376 383 393 407 413 415 426 429 436 448
a 11 14 15 18 25 44 73 77 92 109 119 133 140 148 163 188 191 196 201 215 230 236 237 253 258 268 270 285 296 304 323 324 336 355 365 371 376 383 393 407 413 415 426 429 436 448
a 11 14 15 18 25 44 73 77 92 100 119 133 140 148 163 188 191 196 201 215 230 236 237 253 258 268 270 285 296 304 323 324 336 355 365 371 376 383 393 407 413 415 426 429 436 448
a 11 15 18 25 44 73 77 92 100 119 133 140 148 163 188 191 194 196 201 215 230 236 237 253 258 268 270 285 296 304 323 324 336 355 365 371 376 383 393 407 413 415 426 429 436 448
a 11 15 18 25 44 73 77 92 109 119 133 140 148 163 188 191 194 196 201 215 230 236 237 253 258 268 270 285 296 304 323 324 336 355 365 371 376 383 393 407 413 415 426 429 436 448
a 11 15 18 25 44 73 77 92 109 115 119 133 140 148 163 188 191 194 196 201 215 230 236 237 253 258 268 270 285 296 304 323 324 336 355 365 371 376 393 407 413 415 426 429 436 448
a 11 15 18 25 44 73 77 92 100 115 119 133 140 148 163 188 191 194 196 201 215 230 236 237 253 258 268 270 285 296 304 323 324 336 355 365 371 376 393 407 413 415 426 429 436 448
a 11 14 15 18 25 44 73 77 92 100 115 119 133 140 148 163 188 191 196 201 215 230 236 237 253 258 268 270 285 296 304 323 324 336 355 365 371 376 393 407 413 415 426 429 436 448
a 11 14 15 18 25 44 73 77 92 100 119 133 140 148 163 188 191 196 201 215 230 236 237 253 258 268 270 285 292 296 304 323 324 336 355 365 371 376 393 407 413 415 426 429 436 448
a 11 14 15 18 25 44 73 77 92 109 119 133 140 148 163 188 191 196 201 215 230 236 237 253 258 268 270 285 292 296 304 323 324 336 355 365 371 376 393 407 413 415 426 429 436 448
a 11 15 18 25 44 73 77 92 109 119 133 140 148 163 188 191 194 196 201 215 230 236 237 253 258 268 270 285 292 296 304 323 324 336 355 365 371 376 393 407 413 415 426 429 436 448
a 11 15 18 25 44 73 77 92 100 119 133 140 148 163 188 191 194 196 201 215 230 236 237 253 258 268 270 285 292 296 304 323 324 336 355 365 371 376 393 407 413 415 426 429 436 448
a 11 15 18 25 44 73 77 92 100 119 133 140 148 153 163 188 191 194 196 201 215 230 236 237 253 258 268 270 285 292 296 304 324 336 355 365 371 376 393 407 413 415 426 429 436 448
a 11 15 18 25 44 73 77 92 109 119 133 140 148 153 163 188 191 194 196 201 215 230 236 237 253 258 268 270 285 292 296 304 324 336 355 365 371 376 393 407 413 415 426 429 436 448
a 11 14 15 18 25 44 73 77 92 109 119 133 140 148 153 163 188 191 196 201 215 230 236 237 253 258 268 270 285 292 296 304 324 336 355 365 371 376 393 407 413 415 426 429 436 448
a 11 14 15 18 25 44 73 77 92 109 119 133 140 148 153 163 188 191 196 201 215 230 236 237 253 258 268 270 285 292 304 324 336 355 365 371 376 390 393 407 413 415 426 429 436 448
a 11 14 15 18 25 44 73 77 92 100 119 133 140 148 153 163 188 191 196 201 215 230 236 237 253 258 268 270 285 292 304 324 336 355 365 371 376 390 393 407 413 415 426 429 436 448
a 11 14 15 18 25 44 73 77 92 100 115 119 133 140 148 153 163 188 191 196 201 215 230 236 237 253 258 268 270 285 304 324 336 355 365 371 376 390 393 407 413 415 426 429 436 448
a 11 14 15 18 25 44 73 77 92 109 115 119 133 140 148 153 163 188 191 196 201 215 230 236 237 253 258 268 270 285 304 324 336 355 365 371 376 390 393 407 413 415 426 429 436 448
a 11 14 15 18 25 44 73 77 92 109 119 133 140 148 153 163 188 191 196 201 215 230 236 237 253 258 268 270 285 304 324 336 355 365 371 376 383 390 393 407 413 415 426 429 436 448
a 11 15 18 25 44 73 77 92 109 119 133 140 148 153 163 188 191 194 196 201 215 230 236 237 253 258 268 270 285 304 324 336 355 365 371 376 383 390 393 407 413 415 426 429 436 448
a 11 15 18 25 44 73 77 92 100 119 133 140 148 153 163 188 191 194 196 201 215 230 236 237 253 258 268 270 285 304 324 336 355 365 371 376 383 390 393 407 413 415 426 429 436 448
a 11 14 15 18 25 44 73 77 92 100 119 133 140 148 153 163 188 191 196 201 215 230 236 237 253 258 268 270 285 304 324 336 355 365 371 376 383 390 393 407 413 415 426 429 436 448
a 11 14 15 18 25 44 73 77 92 100 119 133 140 148 163 188 191 196 201 215 230 236 237 253 258 268 270 285 304 323 324 336 355 365 371 376 383 390 393 407 413 415 426 429 436 448
a 11 14 15 18 25 44 73 77 92 109 119 133 140 148 163 188 191 196 201 215 230 236 237 253 258 268 270 285 304 323 324 336 355 365 371 376 383 390 393 407 413 415 426 429 436 448
a 11 15 18 25 44 73 77 92 109 119 133 140 148 163 188 191 194 196 201 215 230 236 237 253 258 268 270 285 304 323 324 336 355 365 371 376 383 390 393 407 413 415 426 429 436 448
a 11 15 18 25 44 73 77 92 100 119 133 140 148 163 188 191 194 196 201 215 230 236 237 253 258 268 270 285 304 323 324 336 355 365 371 376 383 390 393 407 413 415 426 429 436 448
a 11 15 18 25 44 73 77 92 100 115 119 133 140 148 163 188 191 194 196 201 215 230 236 237 253 258 268 270 285 304 323 324 336 355 365 371 376 390 393 407 413 415 426 429 436 448
a 11 15 18 25 44 73 77 92 109 115 119 133 140 148 163 188 191 194 196 201 215 230 236 237 253 258 268 270 285 304 323 324 336 355 365 371 376 390 393 407 413 415 426 429 436 448
a 11 14 15 18 25 44 73 77 92 109 115 119 133 140 148 163 188 191 196 201 215 230 236 237 253 258 268 270 285 304 323 324 336 355 365 371 376 390 393 407 413 415 426 429 436 448
a 11 14 15 18 25 44 73 77 92 109 119 133 140 148 163 188 191 196 201 215 230 236 237 253 258 268 270 285 292 304 323 324 336 355 365 371 376 390 393 407 413 415 426 429 436 448
a 11 14 15 18 25 44 73 77 92 100 119 133 140 148 163 188 191 196 201 215 230 236 237 253 258 268 270 285 292 304 323 324 336 355 365 371 376 390 393 407 413 415 426 429 436 448
a 11 15 18 25 44 73 77 92 100 119 133 140 148 163 188 191 194 196 201 215 230 236 237 253 258 268 270 285 292 304 323 324 336 355 365 371 376 390 393 407 413 415 426 429 436 448
a 11 15 18 25 44 73 77 92 109 119 133 140 148 163 188 191 194 196 201 215 230 236 237 253 258 268 270 285 292 304 323 324 336 355 365 371 376 390 393 407 413 415 426 429 436 448
a 11 15 18 25 44 73 77 92 109 119 133 140 148 153 163 188 191 194 196 201 215 230 236 237 253 258 268 270 285 292 304 324 336 355 365 371 376 390 393 407 413 415 426 429 436 448
a 11 15 18 25 44 73 77 92 100 119 133 140 148 153 163 188 191 194 196 201 215 230 236 237 253 258 268 270 285 292 304 324 336 355 365 371 376 390 393 407 413 415 426 429 436 448
a 11 15 18 25 44 73 77 92 100 115 119 133 140 148 153 163 188 191 194 196 201 215 230 236 237 253 258 268 270 285 304 324 336 355 365 371 376 390 393 407 413 415 426 429 436 448
a 11 15 18 25 44 73 77 92 109 115 119 133 140 148 153 163 188 191 194 196 201 215 230 236 237 253 258 268 270 285 304 324 336 355 365 371 376 390 393 407 413 415 426 429 436 448
#END: [Sat Sep  9 19:36:22 2023]