#BEGIN: [Sat Sep 2 18:40:27 2023] #HOST: s04 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-sano382 #INSTANCE1: /benchmark/2022benchmark/benchmark/grid/grid060x060.col #INSTANCE2: /benchmark/2022benchmark/benchmark/grid/grid060x060_01_5912.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark sano-382 -Xmx54g SimpleSolver /benchmark/2022benchmark/benchmark/grid/grid060x060.col /benchmark/2022benchmark/benchmark/grid/grid060x060_01_5912.dat TIMEOUT 1800 c send SIGTERM to CID 97ba032108ef3306eeb02660c0fed730f162b7ab7f56f1561a8033d5d61d6bd0 #END: [Sat Sep 2 19:10:27 2023]