#BEGIN: [Thu Sep 14 22:19:05 2023] #HOST: s11 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-cpu-ai-planning-longest2 #INSTANCE1: /benchmark/2022benchmark/benchmark/color04/DSJR500.1c.col #INSTANCE2: /benchmark/2022benchmark/benchmark/color04/DSJR500.1c_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/DSJR500.1c.col /benchmark/2022benchmark/benchmark/color04/DSJR500.1c_02.dat s 1 8 35 61 83 148 201 234 284 301 382 472 t 28 35 61 148 201 234 284 301 382 383 459 472 a YES a 1 8 35 61 83 148 201 234 284 301 382 472 a 1 3 8 35 61 83 148 201 234 284 301 382 a 1 3 8 35 61 83 201 234 284 301 341 382 a 1 3 8 35 61 83 201 234 284 301 341 472 a 1 3 8 35 61 83 148 201 234 284 301 472 a 1 3 8 35 61 83 148 201 234 301 382 472 a 1 3 8 35 61 83 148 201 284 301 382 472 a 1 3 8 35 61 83 148 234 284 301 382 472 a 1 3 8 35 61 83 201 234 284 301 382 472 a 1 3 8 35 61 148 201 234 284 301 382 472 a 1 3 8 35 83 148 201 234 284 301 382 472 a 1 3 8 61 83 148 201 234 284 301 382 472 a 1 3 35 61 83 148 201 234 284 301 382 472 a 3 8 35 61 83 148 201 234 284 301 382 472 a 1 3 8 35 61 83 148 201 234 284 382 472 a 1 3 8 35 61 83 201 234 284 341 382 472 a 1 3 8 35 61 83 201 234 301 341 382 472 a 1 3 8 35 61 83 201 284 301 341 382 472 a 1 3 8 35 61 83 234 284 301 341 382 472 a 1 3 8 35 61 201 234 284 301 341 382 472 a 1 3 8 35 83 201 234 284 301 341 382 472 a 1 3 8 61 83 201 234 284 301 341 382 472 a 1 8 35 61 83 201 234 284 301 341 382 472 a 3 8 35 61 83 201 234 284 301 341 382 472 a 1 3 35 61 83 201 234 284 301 341 382 472 a 3 35 61 83 201 234 284 301 341 382 459 472 a 3 28 35 61 83 201 234 284 301 382 459 472 a 3 28 35 61 148 201 234 284 301 382 459 472 a 3 28 35 83 148 201 234 284 301 382 459 472 a 3 28 61 83 148 201 234 284 301 382 459 472 a 3 35 61 83 148 201 234 284 301 382 459 472 a 28 35 61 83 148 201 234 284 301 382 459 472 a 3 28 35 61 83 148 201 234 284 301 459 472 a 3 28 35 61 148 201 234 284 301 383 459 472 a 3 28 35 61 148 201 234 284 382 383 459 472 a 3 28 35 61 148 201 234 301 382 383 459 472 a 3 28 35 61 148 201 284 301 382 383 459 472 a 3 28 35 61 148 234 284 301 382 383 459 472 a 3 28 35 61 201 234 284 301 382 383 459 472 a 3 28 35 148 201 234 284 301 382 383 459 472 a 3 28 61 148 201 234 284 301 382 383 459 472 a 3 35 61 148 201 234 284 301 382 383 459 472 a 28 35 61 148 201 234 284 301 382 383 459 472 #END: [Thu Sep 14 22:48:04 2023]