#BEGIN: [Mon Sep 4 14:35:05 2023] #HOST: s05 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance026_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance026_graph004_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance026_graph004.col /benchmark/random_instance/random_instance026_graph004_01.dat c /benchmark/random_instance/random_instance026_graph004.col c /benchmark/random_instance/random_instance026_graph004_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): Queueing signal... *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.015 seconds TIMEOUT 1800 c send SIGTERM to CID 6518df9fe139cb0b74a89dec2ce3acfabeac1eab44bbe622b6f0a8a261f82c66 #END: [Mon Sep 4 15:05:05 2023]