#BEGIN: [Tue Sep 12 00:39:12 2023]
#HOST: s06
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-sano382
#INSTANCE1: /benchmark/ph-isr/ph-07-07.col
#INSTANCE2: /benchmark/ph-isr/ph-07-07_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark sano-382 -Xmx54g SimpleSolver /benchmark/ph-isr/ph-07-07.col /benchmark/ph-isr/ph-07-07_01.dat
TIMEOUT 1800
c send SIGTERM to CID 5a15014e9adf82328b679c24dedc2b5d9fb0cec52622ea71049630789f3e406b
#END: [Tue Sep 12 01:09:13 2023]