#BEGIN: [Tue Sep 5 05:53:54 2023] #HOST: s15 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-wallclock-banbaralab-longest2 #INSTANCE1: /benchmark/random_instance/random_instance002_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance002_graph005_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance002_graph005.col /benchmark/random_instance/random_instance002_graph005_01.dat c /benchmark/random_instance/random_instance002_graph005.col c /benchmark/random_instance/random_instance002_graph005_01.dat TIMEOUT 1800 c send SIGTERM to CID b9555fada5e815a938c290fe148943541ef6a412de7b5d0a429b3249f2321290 s 16 10 7 20 15 21 12 t 21 16 11 19 7 12 24 a YES a 7 10 12 15 16 20 21 a 7 12 15 16 20 21 25 a 2 7 12 15 16 20 25 a 2 7 12 15 18 20 25 a 7 12 15 18 20 21 25 a 3 7 15 18 20 21 25 a 3 7 15 16 20 21 25 a 3 7 12 15 16 20 25 a 3 6 7 12 15 20 25 a 2 3 7 12 15 20 25 a 2 3 7 12 15 16 25 a 2 3 7 12 15 16 20 a 2 3 12 15 16 20 25 a 2 3 6 12 15 20 25 a 2 3 12 13 15 20 25 a 2 3 12 13 20 22 25 a 2 3 12 13 16 20 22 a 2 3 4 12 13 16 22 a 1 2 3 4 12 16 22 a 1 2 3 8 12 16 22 a 1 2 8 12 13 16 22 a 1 2 8 12 13 14 16 a 1 2 3 8 12 14 16 a 1 2 3 8 12 13 14 a 1 2 3 8 12 13 16 a 1 2 3 8 12 13 22 a 1 2 3 4 8 12 13 a 2 3 4 8 12 13 16 a 2 3 8 12 13 16 22 a 2 3 12 13 16 22 25 a 2 12 13 16 20 22 25 a 2 3 12 13 16 20 25 a 2 12 13 15 16 20 25 a 2 3 12 13 15 16 25 a 2 3 13 15 16 20 25 a 2 3 13 16 20 22 25 a 2 3 8 13 16 22 25 a 1 2 3 8 13 16 25 a 1 2 8 12 13 16 25 a 2 8 12 13 16 22 25 a 2 8 11 12 13 16 22 a 2 8 11 12 13 16 19 a 2 4 8 11 12 16 19 a 2 4 8 11 13 16 19 a 2 4 8 11 12 13 16 a 2 4 8 12 13 16 19 a 2 8 12 13 14 16 19 a 2 3 8 12 13 14 16 a 2 4 8 12 13 14 16 a 2 4 8 12 14 16 22 a 1 2 8 12 14 16 22 a 1 2 4 8 12 14 16 a 1 2 4 8 12 14 22 a 1 2 4 8 13 14 22 a 1 4 8 13 14 16 22 a 1 2 4 8 13 16 22 a 2 3 4 8 13 16 22 a 1 2 3 4 8 13 22 a 1 3 4 8 12 13 22 a 1 3 4 8 12 16 22 a 1 3 4 8 16 22 26 a 1 3 8 14 16 22 26 a 1 3 4 8 14 16 26 a 1 3 4 8 14 16 22 a 1 3 4 8 13 14 16 a 1 2 3 4 13 14 16 a 1 2 3 4 14 16 22 a 1 2 4 12 14 16 22 a 1 4 12 14 16 19 22 a 4 12 13 14 16 19 22 a 1 4 12 13 14 16 22 a 1 4 10 12 13 16 22 a 1 4 8 10 12 13 16 a 1 4 8 10 13 14 16 a 1 2 4 8 10 14 16 a 1 2 4 8 13 14 16 a 1 2 4 8 14 16 22 a 1 2 8 13 14 16 22 a 1 8 12 13 14 16 22 a 1 4 8 12 13 14 16 a 4 8 12 13 14 16 22 a 2 4 8 12 13 14 22 a 2 4 12 13 14 16 22 a 2 4 10 13 14 16 22 a 2 4 10 12 13 14 16 a 1 2 4 12 13 14 16 a 2 3 4 12 13 14 16 a 2 3 4 12 13 14 22 a 2 3 4 12 14 16 22 a 1 2 3 4 12 14 22 a 1 2 4 12 13 14 22 a 1 2 4 13 14 16 22 a 1 3 4 13 14 16 22 a 1 3 4 12 13 16 22 a 1 4 8 12 13 16 22 a 1 8 10 12 13 16 22 a 1 8 10 12 13 14 16 a 1 4 8 10 12 14 16 a 4 8 10 12 13 14 16 a 4 8 10 13 14 16 22 a 1 4 8 10 13 16 22 a 1 4 10 13 14 16 22 a 4 10 13 14 16 19 22 a 2 4 13 14 16 19 22 a 2 10 13 14 16 19 22 a 10 12 13 14 16 19 22 a 1 10 12 14 16 19 22 a 1 8 10 12 14 16 22 a 1 2 8 10 12 14 16 a 1 2 4 8 10 12 14 a 1 2 4 8 10 12 16 a 1 2 4 8 10 12 13 a 2 4 8 10 12 13 16 a 1 2 4 8 12 13 16 a 1 2 4 8 11 12 16 a 1 2 4 8 11 12 22 a 1 2 4 8 11 12 19 a 1 2 8 11 12 16 19 a 1 2 8 12 16 19 22 a 1 2 8 12 14 19 22 a 1 2 8 10 12 14 19 a 1 2 4 8 12 14 19 a 1 2 4 8 14 19 26 a 1 2 4 14 19 22 26 a 1 2 4 14 16 22 26 a 1 4 14 16 22 24 26 a 1 4 12 14 16 22 24 a 1 4 12 16 19 22 24 a 4 12 14 16 19 22 24 a 1 4 12 14 16 19 24 a 1 4 12 13 14 16 19 a 1 10 12 13 14 16 19 a 10 12 13 14 16 19 20 a 2 10 12 13 14 16 19 a 2 4 10 12 14 16 19 a 2 4 8 10 12 14 19 a 2 4 8 10 14 16 19 a 4 8 10 14 16 19 22 a 1 4 8 10 14 16 19 a 1 4 10 14 16 19 22 a 1 8 10 14 16 19 22 a 1 4 8 14 16 19 22 a 1 4 8 13 14 19 22 a 1 4 8 10 13 14 19 a 1 4 8 10 12 13 14 a 1 4 10 12 13 14 16 a 1 4 10 12 13 16 19 a 1 10 12 13 16 19 22 a 1 10 12 13 14 19 22 a 1 2 10 12 13 14 22 a 2 10 12 13 14 16 22 a 2 8 10 12 13 16 22 a 2 4 8 12 13 16 22 a 2 4 8 11 13 16 22 a 2 4 8 11 16 19 22 a 2 4 8 14 16 19 22 a 1 2 4 8 14 16 19 a 2 4 8 14 16 19 26 a 4 8 14 16 19 22 26 a 4 8 13 14 16 19 22 a 2 4 8 13 14 19 22 a 2 4 8 10 13 19 22 a 2 4 10 13 16 19 22 a 2 4 10 13 14 16 19 a 1 2 4 13 14 16 19 a 1 4 13 14 16 19 22 a 1 4 10 13 14 19 22 a 1 2 4 10 13 14 19 a 1 2 4 10 13 14 16 a 1 2 4 10 14 16 22 a 1 2 4 10 13 14 22 a 1 2 4 10 12 14 22 a 1 2 4 10 12 14 19 a 1 2 4 10 12 13 14 a 1 2 4 10 12 13 22 a 1 2 4 10 12 13 16 a 1 2 10 12 13 16 22 a 1 2 8 10 12 13 22 a 1 2 8 12 13 14 22 a 1 2 8 12 13 14 19 a 1 4 8 12 13 14 19 a 1 4 12 13 14 19 22 a 1 4 12 13 16 19 22 a 1 2 4 12 13 16 19 a 2 4 12 13 14 16 19 a 4 8 12 13 14 16 19 a 4 8 10 12 13 14 19 a 1 8 10 12 13 14 19 a 1 2 10 12 13 14 19 a 1 2 10 12 13 14 16 a 1 2 4 10 12 14 16 a 1 2 4 10 14 16 19 a 1 2 4 10 13 16 19 a 1 2 4 10 13 19 22 a 1 2 4 8 10 19 22 a 1 2 4 8 10 16 19 a 1 2 4 8 10 13 16 a 1 2 8 10 13 16 22 a 1 2 8 10 14 16 22 a 2 4 8 10 14 16 22 a 1 4 8 10 14 16 22 a 1 2 4 8 10 16 22 a 1 2 8 10 16 19 22 a 2 8 10 14 16 19 22 a 2 8 10 13 16 19 22 a 2 8 10 13 14 16 22 a 1 2 8 10 13 14 16 a 1 2 8 10 14 16 19 a 1 2 10 14 16 19 22 a 2 4 10 14 16 19 22 a 2 4 10 12 14 19 22 a 1 4 10 12 14 19 22 a 1 2 4 12 14 19 22 a 1 2 4 13 14 19 22 a 1 2 4 12 13 14 19 a 1 2 4 12 13 19 22 a 1 4 10 12 13 19 22 a 1 4 8 10 12 19 22 a 1 2 4 8 10 12 19 a 1 4 8 10 12 14 19 a 1 2 4 8 10 14 19 a 2 4 8 10 14 19 22 a 2 4 8 10 12 19 22 a 2 4 8 12 14 19 22 a 2 4 8 10 12 14 22 a 2 8 10 12 14 19 22 a 1 8 10 12 14 19 22 a 1 8 10 12 16 19 22 a 1 8 10 13 16 19 22 a 1 8 10 12 13 16 19 a 1 8 12 13 14 16 19 a 1 8 10 12 14 16 19 a 1 8 10 13 14 16 19 a 1 2 8 10 13 16 19 a 1 2 8 10 13 19 22 a 1 8 10 12 13 19 22 a 1 4 8 10 12 13 19 a 1 4 8 10 12 16 19 a 1 4 10 12 14 16 19 a 4 10 12 14 16 19 22 a 4 8 12 14 16 19 22 a 8 10 12 14 16 19 22 a 10 12 14 16 19 22 24 a 1 12 14 16 19 22 24 a 1 10 12 14 19 22 24 a 1 12 14 19 21 22 24 a 1 10 14 19 21 22 24 a 10 12 14 19 21 22 24 a 4 10 12 14 19 22 24 a 1 4 10 12 19 22 24 a 1 4 10 12 14 22 24 a 1 4 10 12 14 16 24 a 4 10 12 14 16 19 24 a 1 10 12 14 16 19 24 a 1 10 14 16 19 22 24 a 1 4 10 14 16 19 24 a 4 10 14 16 19 22 24 a 4 10 12 16 19 22 24 a 4 11 12 16 19 22 24 a 1 4 11 12 16 19 22 a 1 11 12 16 19 22 24 a 1 10 12 16 19 22 24 a 1 10 12 14 16 22 24 a 1 10 12 16 21 22 24 a 1 4 10 12 16 22 24 a 1 4 10 12 14 16 22 a 1 4 10 12 16 19 22 a 1 4 10 12 16 19 24 a 1 10 12 16 19 21 24 a 1 12 16 19 21 22 24 a 1 10 12 19 21 22 24 a 1 10 12 14 21 22 24 a 1 12 14 16 21 22 24 a 1 12 14 16 19 21 24 a 10 12 14 16 19 21 24 a 1 10 12 14 16 19 21 a 1 10 12 14 16 21 24 a 10 12 14 16 21 22 24 a 4 10 12 14 16 22 24 a 1 4 10 14 16 22 24 a 1 4 10 16 19 22 24 a 1 2 4 10 16 19 22 a 1 2 4 12 16 19 22 a 1 2 4 11 12 19 22 a 2 4 8 11 12 19 22 a 2 4 8 11 12 13 19 a 2 4 11 12 13 16 19 a 2 4 11 12 16 19 22 a 2 4 11 13 16 19 22 a 2 4 8 11 13 19 22 a 1 2 4 8 11 13 22 a 1 2 4 8 11 12 13 a 1 4 8 11 12 13 16 a 1 4 11 12 13 16 22 a 1 2 4 11 12 13 16 a 1 2 4 12 13 16 22 a 1 2 3 4 12 13 16 a 1 2 3 4 13 16 22 a 2 3 4 13 14 16 22 a 3 4 12 13 14 16 22 a 1 3 4 12 14 16 22 a 3 4 12 14 16 22 24 a 1 3 12 14 16 22 24 a 1 2 3 12 14 16 22 a 1 2 3 12 13 16 22 a 1 2 3 4 12 13 22 a 1 2 3 4 8 12 22 a 1 2 4 8 12 19 22 a 1 4 8 12 14 19 22 a 1 4 12 14 19 22 24 a 1 4 10 14 19 22 24 a 4 9 10 14 19 22 24 a 2 4 9 10 14 19 22 a 2 4 10 13 14 19 22 a 2 10 13 14 19 20 22 a 1 2 10 13 14 19 22 a 1 2 4 10 14 19 22 a 1 2 4 14 16 19 22 a 1 4 14 16 19 22 24 a 1 4 14 16 19 24 26 a 1 4 14 16 19 22 26 a 1 14 16 19 22 24 26 a 1 8 14 16 19 22 26 a 1 2 8 14 16 19 22 a 1 2 8 10 14 19 22 a 2 8 10 13 14 19 22 a 2 4 8 10 13 14 22 a 2 4 8 10 13 14 16 a 2 4 8 13 14 16 22 a 2 4 8 10 13 16 22 a 4 8 10 13 16 19 22 a 4 8 10 13 14 16 19 a 4 8 10 13 14 19 22 a 1 4 8 10 13 19 22 a 1 4 8 10 14 19 22 a 1 4 8 10 13 14 22 a 1 8 10 13 14 16 22 a 1 3 8 13 14 16 22 a 1 3 8 12 14 16 22 a 1 3 4 8 12 14 22 a 1 2 3 4 8 14 22 a 1 2 3 4 13 14 22 a 1 2 3 4 14 22 26 a 1 3 4 14 22 24 26 a 1 3 4 12 14 22 24 a 1 3 4 14 16 22 24 a 1 3 4 14 16 22 26 a 1 2 3 4 16 22 26 a 2 3 4 14 16 22 26 a 1 2 3 4 14 16 26 a 1 2 3 14 16 22 26 a 1 2 3 8 14 16 22 a 2 3 8 12 14 16 22 a 2 3 12 13 14 16 22 a 2 3 12 14 16 20 22 a 2 10 12 14 16 20 22 a 1 2 10 12 14 16 22 a 1 10 12 13 14 16 22 a 1 10 13 14 16 19 22 a 8 10 13 14 16 19 22 a 8 10 12 13 14 16 22 a 1 8 10 12 13 14 22 a 1 4 10 12 13 14 22 a 4 10 12 13 14 16 22 a 4 10 12 13 14 16 19 a 4 10 12 13 14 19 22 a 4 10 12 13 16 19 22 a 4 8 10 12 13 16 19 a 8 10 12 13 16 19 22 a 4 8 12 13 16 19 22 a 1 4 8 12 16 19 22 a 1 4 8 12 14 16 19 a 1 4 8 12 13 16 19 a 1 4 8 13 16 19 22 a 1 4 8 13 14 16 19 a 1 8 13 14 16 19 22 a 1 8 10 13 14 19 22 a 8 10 12 13 14 19 22 a 8 12 13 14 16 19 22 a 2 8 12 13 14 16 22 a 2 12 13 14 16 19 22 a 2 10 12 14 16 19 22 a 10 12 14 16 19 21 22 a 10 13 14 16 19 21 22 a 10 13 14 16 19 20 21 a 2 10 13 14 16 19 20 a 2 10 13 14 16 17 19 a 10 13 14 16 17 19 22 a 13 14 16 17 19 21 22 a 1 13 14 16 19 21 22 a 1 12 13 14 16 19 21 a 1 12 13 14 16 21 22 a 1 12 13 14 16 19 22 a 1 8 12 13 14 19 22 a 1 4 8 12 13 14 22 a 1 2 4 8 12 13 14 a 1 2 3 4 12 13 14 a 1 2 3 4 8 12 14 a 2 3 4 8 12 14 22 a 2 3 4 8 12 14 16 a 1 3 4 8 12 14 16 a 3 4 8 12 14 16 22 a 2 3 4 8 14 16 22 a 2 3 4 8 12 16 22 a 1 2 4 8 12 16 22 a 1 2 4 8 16 19 22 a 1 4 8 11 16 19 22 a 1 4 8 11 13 16 19 a 4 8 11 13 16 19 22 a 4 11 12 13 16 19 22 a 11 12 13 16 19 20 22 a 8 11 12 13 16 19 22 a 2 11 12 13 16 19 22 a 2 4 12 13 16 19 22 a 1 2 12 13 16 19 22 a 1 2 4 13 16 19 22 a 1 2 4 10 13 16 22 a 1 2 10 13 14 16 22 a 1 10 13 14 16 21 22 a 1 10 13 14 16 19 21 a 10 13 14 16 17 19 21 a 10 13 14 16 17 21 22 a 2 10 13 14 16 17 22 a 2 13 14 16 17 19 22 a 2 3 13 14 16 17 22 a 1 2 3 13 14 16 22 a 1 2 3 8 13 14 16 a 1 3 8 12 13 14 16 a 1 3 4 12 13 14 16 a 1 2 3 12 13 14 16 a 1 2 3 12 13 16 25 a 1 2 3 8 12 16 25 a 1 2 3 4 8 12 16 a 1 2 3 4 8 14 16 a 1 2 3 4 8 16 22 a 1 2 3 8 13 16 22 a 1 2 3 4 8 13 16 a 2 3 4 8 13 14 16 a 1 2 3 4 8 13 14 a 1 3 4 8 13 14 22 a 1 3 4 8 13 16 22 a 1 4 8 11 13 16 22 a 1 8 11 13 16 19 22 a 1 4 11 13 16 19 22 a 1 11 12 13 16 19 22 a 1 8 12 13 16 19 22 a 1 2 8 13 16 19 22 a 2 8 13 14 16 19 22 a 2 3 8 13 14 16 22 a 3 8 12 13 14 16 22 a 1 3 12 13 14 16 22 a 1 3 8 12 13 16 22 a 3 8 12 13 16 22 25 a 2 3 8 12 13 16 25 a 3 8 12 13 16 23 25 a 1 3 8 13 16 23 25 a 1 3 13 16 22 23 25 a 1 2 3 13 16 22 25 a 1 3 12 13 16 22 25 a 3 12 13 16 20 22 25 a 2 3 12 16 20 22 25 a 2 3 12 18 20 22 25 a 2 3 12 15 18 20 25 a 2 3 8 12 15 18 25 a 2 3 4 8 12 15 18 a 2 3 7 8 12 15 18 a 2 3 7 12 15 18 20 a 3 7 12 15 18 20 25 a 3 7 8 12 15 18 25 a 3 7 8 12 15 16 25 a 3 8 12 13 15 16 25 a 1 3 8 12 13 16 25 a 1 8 12 13 16 22 25 a 1 8 12 13 16 22 23 a 8 12 13 16 19 22 23 a 1 8 13 16 19 22 23 a 1 8 12 13 16 19 23 a 1 12 13 16 19 22 23 a 1 12 13 16 19 21 22 a 12 13 14 16 19 21 22 a 10 12 13 16 19 21 22 a 10 12 13 14 19 21 22 a 2 10 12 13 14 19 22 a 2 8 10 12 13 19 22 a 2 8 10 12 13 16 19 a 2 4 8 10 12 16 19 a 2 4 8 10 13 16 19 a 2 4 8 13 16 19 22 a 1 2 4 8 13 19 22 a 1 2 4 8 12 13 19 a 1 2 8 11 12 13 19 a 1 2 4 8 11 13 19 a 1 2 8 11 13 16 19 a 1 2 4 8 11 13 16 a 1 2 4 8 13 16 19 a 1 2 4 8 13 14 19 a 2 4 8 12 13 14 19 a 2 4 8 12 13 19 22 a 2 4 8 11 12 13 22 a 2 4 8 11 12 16 22 a 4 8 11 12 16 19 22 a 4 8 11 12 13 19 22 a 1 4 8 11 12 13 19 a 1 4 8 11 12 16 19 a 1 4 8 11 12 19 22 a 1 8 11 12 16 19 22 a 1 8 12 14 16 19 22 a 1 12 14 16 19 21 22 a 1 10 12 16 19 21 22 a 10 12 16 19 20 21 22 a 10 12 16 19 21 22 24 a 1 10 16 19 21 22 24 a 1 10 14 16 19 21 24 a 1 10 14 16 19 21 22 a 1 10 14 16 21 22 24 a 10 14 16 19 21 22 24 a 9 10 14 19 21 22 24 a 9 10 12 19 21 22 24 a 9 12 14 19 21 22 24 a 9 10 12 14 19 21 22 a 2 9 10 12 14 19 22 a 2 10 12 14 19 20 22 a 10 12 14 16 19 20 22 a 2 12 14 16 19 20 22 a 2 8 12 14 16 19 22 a 2 8 10 12 14 16 19 a 2 8 10 12 13 14 19 a 2 8 10 13 14 16 19 a 8 10 12 13 14 16 19 a 10 12 13 14 16 19 21 a 10 12 13 16 19 20 21 a 2 10 12 13 16 19 20 a 2 12 13 14 16 19 20 a 2 12 13 14 16 20 22 a 10 12 13 14 16 20 22 a 2 10 13 14 16 20 22 a 2 13 14 16 19 20 22 a 2 10 13 16 19 20 22 a 2 10 12 13 16 19 22 a 2 4 10 12 13 16 19 a 1 2 4 10 12 13 19 a 1 2 4 10 12 16 19 a 1 2 4 8 12 16 19 a 2 4 8 12 16 19 22 a 2 4 8 12 18 19 22 a 4 8 11 12 18 19 22 a 2 4 11 12 18 19 22 a 2 8 11 12 18 19 22 a 1 2 8 11 12 19 22 a 1 2 8 11 12 16 22 a 1 8 11 12 13 16 22 a 1 4 8 11 12 13 22 a 1 4 8 11 12 16 22 a 1 2 4 11 12 16 22 a 1 2 4 10 12 16 22 a 1 4 8 10 12 16 22 a 1 2 4 8 10 12 22 a 1 2 4 10 12 19 22 a 2 4 10 12 16 19 22 a 2 4 10 12 13 19 22 a 2 4 11 12 13 19 22 a 2 8 11 12 13 19 22 a 2 8 11 12 16 19 22 a 2 8 11 13 16 19 22 a 1 2 11 13 16 19 22 a 1 2 13 14 16 19 22 a 1 2 10 13 16 19 22 a 1 2 10 12 13 19 22 a 1 2 10 12 13 16 19 a 1 2 8 10 12 13 16 a 1 2 8 10 12 13 19 a 1 2 4 8 10 13 19 a 1 4 8 10 13 16 19 a 1 4 10 13 16 19 22 a 1 4 10 13 14 16 19 a 1 4 10 12 13 14 19 a 1 10 12 13 14 19 21 a 1 10 12 13 14 21 22 a 1 10 12 14 19 21 22 a 1 10 12 14 19 21 24 a 9 10 12 14 19 21 24 a 4 9 10 12 14 19 24 a 2 4 9 10 12 14 19 a 2 4 9 10 12 14 22 a 4 9 10 12 14 19 22 a 9 10 12 14 19 20 22 a 2 9 10 12 14 19 20 a 2 9 10 12 14 20 22 a 2 3 9 12 14 20 22 a 2 3 9 14 20 22 26 a 2 3 9 14 17 22 26 a 2 3 14 16 17 22 26 a 2 14 16 17 19 22 26 a 1 2 14 16 19 22 26 a 1 2 8 14 16 22 26 a 1 2 4 8 16 22 26 a 2 4 8 16 19 22 26 a 2 4 14 16 19 22 26 a 4 14 16 19 22 24 26 a 1 4 16 19 22 24 26 a 1 4 11 16 19 22 24 a 1 4 11 12 19 22 24 a 1 4 11 12 16 22 24 a 1 4 11 12 16 19 24 a 1 4 11 12 13 16 19 a 4 8 11 12 13 16 19 a 1 8 11 12 13 16 19 a 1 11 12 13 16 19 21 a 1 11 12 16 19 21 24 a 7 11 12 16 19 21 24 c Step: 609 #END: [Tue Sep 5 06:23:55 2023]