#BEGIN: [Thu Sep 14 02:39:33 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-cpu-ai-planning-longest1 #INSTANCE1: /benchmark/2022benchmark/benchmark/color04/DSJC250.5.col #INSTANCE2: /benchmark/2022benchmark/benchmark/color04/DSJC250.5_01.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/DSJC250.5.col /benchmark/2022benchmark/benchmark/color04/DSJC250.5_01.dat s 53 80 97 100 105 113 128 142 166 233 246 t 53 80 91 97 100 105 113 128 142 166 246 a YES a 53 80 97 100 105 113 128 142 166 233 246 a 53 80 97 100 105 113 128 142 166 210 233 a 53 80 97 100 105 113 128 142 210 233 246 a 53 80 97 100 105 113 128 166 210 233 246 a 53 80 97 100 105 113 142 166 210 233 246 a 53 80 97 100 105 128 142 166 210 233 246 a 53 80 97 100 113 128 142 166 210 233 246 a 53 80 97 105 113 128 142 166 210 233 246 a 53 80 100 105 113 128 142 166 210 233 246 a 53 97 100 105 113 128 142 166 210 233 246 a 80 97 100 105 113 128 142 166 210 233 246 a 53 80 97 100 105 113 128 142 166 210 246 a 53 80 91 97 100 105 113 128 142 166 246 #END: [Thu Sep 14 03:08:33 2023]