#BEGIN: [Mon Sep 11 15:00:10 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #INSTANCE1: /benchmark/ph-isr/ph-04-04.col #INSTANCE2: /benchmark/ph-isr/ph-04-04_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/ph-isr/ph-04-04.col /benchmark/ph-isr/ph-04-04_01.dat c /benchmark/ph-isr/ph-04-04.col c /benchmark/ph-isr/ph-04-04_01.dat *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.455 seconds *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds TIMEOUT 1800 c send SIGTERM to CID 1a56a0ad48efe84ad1fdc65cd9cf782c3895c4df7e4625e76dcf4b665e87135d #END: [Mon Sep 11 15:30:11 2023]