#BEGIN: [Thu Sep 14 03:06:24 2023] #HOST: s16 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-cpu-ai-planning-longest1 #INSTANCE1: /benchmark/2022benchmark/benchmark/color04/DSJR500.5.col #INSTANCE2: /benchmark/2022benchmark/benchmark/color04/DSJR500.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-single --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/color04/DSJR500.5.col /benchmark/2022benchmark/benchmark/color04/DSJR500.5_02.dat s 17 27 326 329 464 495 t 106 164 222 273 447 464 a YES a 17 27 326 329 464 495 a 17 27 329 464 482 495 a 17 329 383 464 482 495 a 17 329 383 421 482 495 a 329 383 421 469 482 495 a 12 383 421 469 482 495 a 224 383 421 469 482 495 a 137 224 421 469 482 495 a 58 224 421 469 482 495 a 220 224 421 469 482 495 a 193 220 421 469 482 495 a 135 220 421 469 482 495 a 128 220 421 469 482 495 a 64 220 421 469 482 495 a 30 220 421 469 482 495 a 12 220 421 469 482 495 a 54 220 421 469 482 495 a 42 54 220 469 482 495 a 30 42 220 469 482 495 a 12 42 220 469 482 495 a 42 220 467 469 482 495 a 220 432 467 469 482 495 a 137 432 467 469 482 495 a 414 432 467 469 482 495 a 42 414 467 469 482 495 a 414 421 467 469 482 495 a 220 421 467 469 482 495 a 137 421 467 469 482 495 a 58 421 467 469 482 495 a 383 421 467 469 482 495 a 9 383 421 467 482 495 a 63 383 421 467 482 495 a 63 226 383 467 482 495 a 63 220 226 467 482 495 a 63 137 226 467 482 495 a 63 113 226 467 482 495 a 58 63 226 467 482 495 a 27 63 226 467 482 495 a 63 106 226 467 482 495 a 106 226 339 467 482 495 a 27 226 339 467 482 495 a 27 339 464 467 482 495 a 106 339 464 467 482 495 a 63 106 464 467 482 495 a 58 63 464 467 482 495 a 27 63 464 467 482 495 a 63 383 464 467 482 495 a 63 200 383 464 467 495 a 63 89 383 464 467 495 a 63 79 383 464 467 495 a 38 63 383 464 467 495 a 63 167 383 464 467 495 a 167 320 383 464 467 495 a 89 320 383 464 467 495 a 79 320 383 464 467 495 a 38 320 383 464 467 495 a 238 320 383 464 467 495 a 63 238 383 464 467 495 a 58 63 238 464 467 495 a 27 63 238 464 467 495 a 27 214 238 464 467 495 a 106 214 238 464 467 495 a 63 106 238 464 467 495 a 106 238 386 464 467 495 a 27 238 386 464 467 495 a 27 89 386 464 467 495 a 27 79 386 464 467 495 a 27 55 386 464 467 495 a 27 47 386 464 467 495 a 27 167 386 464 467 495 a 106 167 386 464 467 495 a 106 164 386 464 467 495 a 89 106 386 464 467 495 a 79 106 386 464 467 495 a 55 106 386 464 467 495 a 47 106 386 464 467 495 a 38 106 386 464 467 495 a 27 38 386 464 467 495 a 27 386 454 464 467 495 a 106 386 454 464 467 495 a 106 339 454 464 467 495 a 27 339 454 464 467 495 a 27 326 454 464 467 495 a 27 222 454 464 467 495 a 106 222 454 464 467 495 a 106 215 454 464 467 495 a 27 215 454 464 467 495 a 27 49 454 464 467 495 a 27 33 454 464 467 495 a 27 214 454 464 467 495 a 106 214 454 464 467 495 a 49 106 454 464 467 495 a 33 106 454 464 467 495 a 63 106 454 464 467 495 a 58 63 454 464 467 495 a 27 63 454 464 467 495 a 63 383 454 464 467 495 a 320 383 454 464 467 495 a 220 320 454 464 467 495 a 106 320 454 464 467 495 a 58 320 454 464 467 495 a 27 320 454 464 467 495 a 320 414 454 464 467 495 a 63 414 454 464 467 495 a 63 141 414 454 464 467 a 63 80 414 454 464 467 a 63 392 414 454 464 467 a 320 392 414 454 464 467 a 320 322 414 454 464 467 a 251 320 414 454 464 467 a 203 320 414 454 464 467 a 141 320 414 454 464 467 a 80 320 414 454 464 467 a 320 414 447 454 464 467 a 220 320 447 454 464 467 a 106 320 447 454 464 467 a 58 320 447 454 464 467 a 27 320 447 454 464 467 a 320 383 447 454 464 467 a 300 320 383 447 454 464 a 274 320 383 447 454 464 a 224 320 383 447 454 464 a 135 320 383 447 454 464 a 30 320 383 447 454 464 a 273 320 383 447 454 464 a 167 273 320 383 447 464 a 89 273 320 383 447 464 a 79 273 320 383 447 464 a 38 273 320 383 447 464 a 238 273 320 383 447 464 a 235 238 273 383 447 464 a 58 235 238 273 447 464 a 27 235 238 273 447 464 a 106 235 238 273 447 464 a 106 214 238 273 447 464 a 27 214 238 273 447 464 a 27 222 238 273 447 464 a 106 222 238 273 447 464 a 106 170 222 273 447 464 a 27 170 222 273 447 464 a 27 89 222 273 447 464 a 27 79 222 273 447 464 a 27 55 222 273 447 464 a 27 47 222 273 447 464 a 27 38 222 273 447 464 a 27 167 222 273 447 464 a 106 167 222 273 447 464 a 89 106 222 273 447 464 a 79 106 222 273 447 464 a 55 106 222 273 447 464 a 47 106 222 273 447 464 a 38 106 222 273 447 464 a 106 164 222 273 447 464 #END: [Thu Sep 14 03:35:24 2023]