#BEGIN: [Mon Sep 4 21:38:07 2023] #HOST: s15 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-cpu-banbaralab-longest2 #INSTANCE1: /benchmark/random_instance/random_instance002_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance002_graph002_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance002_graph002.col /benchmark/random_instance/random_instance002_graph002_01.dat c /benchmark/random_instance/random_instance002_graph002.col c /benchmark/random_instance/random_instance002_graph002_01.dat s 2 25 15 12 3 24 7 t 17 4 19 1 25 2 7 a YES a 2 3 7 12 15 24 25 a 2 3 7 12 17 24 25 a 2 7 11 12 17 24 25 a 1 2 7 12 17 24 25 a 1 2 3 7 12 17 25 a 1 2 3 12 17 24 25 a 1 2 3 8 12 17 24 a 1 2 8 11 12 17 24 a 1 2 11 12 17 24 25 a 1 11 12 13 17 24 25 a 1 7 11 12 17 24 25 a 1 5 7 12 17 24 25 a 1 5 7 11 12 17 25 a 5 7 11 12 17 24 25 a 1 5 7 11 12 17 24 a 5 7 8 11 12 17 24 a 1 5 7 8 11 17 24 a 1 5 7 11 17 24 25 a 1 2 7 11 17 24 25 a 1 2 11 13 17 24 25 a 1 5 11 13 17 24 25 a 1 5 9 11 13 17 24 a 1 8 9 11 13 17 24 a 1 8 9 12 13 17 24 a 1 5 8 9 12 17 24 a 1 8 9 11 12 17 24 a 1 7 8 11 12 17 24 a 1 5 7 8 11 12 17 a 1 5 7 8 12 17 24 a 1 5 8 11 12 17 24 a 1 5 8 11 14 17 24 a 1 8 9 11 14 17 24 a 1 7 8 11 14 17 24 a 1 5 7 8 11 14 17 a 5 7 8 11 14 17 24 a 1 5 7 11 14 17 24 a 1 5 7 11 14 17 19 a 1 5 8 11 14 17 19 a 1 5 8 11 13 14 17 a 1 5 8 11 13 17 24 a 1 3 5 8 13 17 24 a 1 3 5 7 8 17 24 a 1 5 7 8 14 17 24 a 5 7 8 14 17 21 24 a 1 7 8 14 17 21 24 a 1 5 8 14 17 21 24 a 1 5 8 9 14 17 24 a 1 8 9 13 14 17 24 a 1 5 8 9 13 17 24 a 1 5 9 13 17 24 25 a 1 5 9 12 17 24 25 a 1 5 9 11 12 17 25 a 1 5 11 12 17 24 25 a 1 5 11 12 13 17 24 a 5 8 11 12 13 17 24 a 5 8 9 12 13 17 24 a 5 8 9 11 12 13 17 a 5 8 9 11 12 13 24 a 1 5 8 9 12 13 24 a 1 5 9 12 13 17 24 a 1 9 12 13 17 24 25 a 1 3 12 13 17 24 25 a 1 3 8 12 13 17 24 a 1 3 5 8 12 13 24 a 1 2 3 8 12 13 24 a 2 3 8 12 13 17 24 a 2 3 7 8 12 17 24 a 1 2 3 7 8 12 17 a 1 3 5 7 8 12 17 a 1 3 7 8 12 17 24 a 1 3 5 7 12 17 24 a 1 3 5 12 17 24 25 a 1 3 5 7 17 24 25 a 3 5 7 12 17 24 25 a 1 3 5 7 12 17 25 a 1 5 7 12 17 23 25 a 1 5 7 8 12 17 23 a 1 5 7 8 12 22 23 a 1 5 7 8 21 22 23 a 1 5 7 8 17 21 23 a 1 5 7 8 17 21 24 a 1 5 7 8 14 17 21 a 1 3 5 7 8 14 17 a 1 5 7 8 14 17 19 a 5 7 8 14 17 19 21 a 1 7 8 14 17 19 21 a 1 5 7 8 17 19 21 a 1 5 8 14 17 19 21 a 1 5 8 9 14 17 19 a 1 5 8 9 11 17 19 a 1 4 5 8 9 17 19 a 1 4 5 7 8 17 19 a 1 4 5 7 8 17 24 a 1 4 5 7 17 24 25 a 1 4 5 7 17 21 24 a 1 4 5 13 17 21 24 a 1 4 5 9 13 17 24 a 1 4 5 9 13 14 24 a 4 5 8 9 13 14 24 a 5 8 9 11 13 14 24 a 1 8 9 11 13 14 24 a 1 9 11 13 14 17 24 a 1 9 11 13 17 24 25 a 1 9 11 12 17 24 25 a 1 9 11 12 13 24 25 a 1 8 9 11 12 13 24 a 1 8 9 11 12 13 17 a 1 9 11 12 13 17 25 a 9 11 12 13 17 24 25 a 5 9 11 12 13 24 25 a 9 11 12 13 20 24 25 a 9 11 12 13 20 24 26 a 1 9 11 12 13 24 26 a 8 9 11 12 13 24 26 a 1 8 11 12 13 24 26 a 1 8 11 12 13 17 24 a 1 2 8 11 13 17 24 a 1 2 4 8 13 17 24 a 2 4 8 13 14 17 24 a 2 4 7 8 14 17 24 a 1 2 7 8 14 17 24 a 1 2 8 11 14 17 24 a 2 8 11 13 14 17 24 a 2 8 11 12 13 17 24 a 1 2 8 11 12 13 24 a 1 2 8 12 13 17 24 a 1 2 12 13 17 24 25 a 1 2 11 12 13 17 24 a 1 9 11 12 13 17 24 a 5 9 11 12 13 17 24 a 5 9 12 13 17 24 25 a 5 9 11 12 17 24 25 a 5 11 12 13 17 24 25 a 5 9 11 13 17 24 25 a 5 8 9 11 13 17 24 a 4 5 8 9 13 17 24 a 4 5 8 9 13 14 17 a 4 8 9 13 14 17 24 a 4 5 8 13 14 17 24 a 4 5 13 14 16 17 24 a 4 5 8 14 16 17 24 a 4 5 7 8 14 17 24 a 1 4 7 8 14 17 24 a 1 4 7 8 14 17 19 a 1 4 7 14 17 19 21 a 1 4 8 14 17 19 21 a 1 4 7 8 17 19 21 a 1 4 5 8 17 19 21 a 4 5 7 8 17 19 21 a 4 7 8 14 17 19 21 a 1 4 7 8 14 19 21 a 1 4 7 8 14 17 21 a 2 4 7 8 14 17 21 a 1 2 7 8 14 17 21 a 1 2 7 14 17 21 24 a 1 2 3 7 17 21 24 a 1 2 4 7 17 21 24 a 1 2 4 8 17 21 24 a 1 2 4 8 14 17 21 a 1 2 4 8 17 19 21 a 1 2 4 7 8 17 19 a 1 2 4 7 8 17 24 a 2 4 7 8 17 21 24 a 4 7 8 14 17 21 24 a 4 5 7 8 17 21 24 a 4 5 7 14 17 21 24 a 4 5 8 14 17 21 24 a 4 5 8 9 14 17 24 a 4 5 8 9 14 16 17 a 4 5 8 9 16 17 24 a 4 5 8 9 13 16 17 a 4 5 8 13 16 17 21 a 2 4 8 13 16 17 21 a 2 4 8 13 14 16 21 a 2 4 8 13 14 16 17 a 4 5 8 13 14 16 17 a 4 5 8 9 13 14 16 a 4 8 9 13 14 16 17 a 4 8 9 13 16 17 24 a 4 8 9 13 14 16 24 a 4 9 10 13 14 16 24 a 4 5 9 10 13 16 24 a 4 5 9 10 13 14 24 a 1 4 9 10 13 14 24 a 1 4 9 13 14 17 24 a 1 4 8 13 14 17 24 a 1 4 8 13 14 21 24 a 1 4 8 14 17 21 24 a 1 4 13 14 17 21 24 a 4 8 13 14 17 21 24 a 5 8 13 14 17 21 24 a 1 5 8 13 14 21 24 a 1 8 13 14 17 21 24 a 8 13 14 16 17 21 24 a 2 8 14 16 17 21 24 a 2 8 13 14 16 17 21 a 2 8 13 16 17 21 24 a 5 8 13 16 17 21 24 a 4 5 8 16 17 21 24 a 4 8 14 16 17 21 24 a 2 4 8 16 17 21 24 a 2 4 8 14 16 17 21 a 2 4 8 14 16 21 24 a 2 4 8 14 16 17 24 a 2 4 8 14 17 21 24 a 2 4 8 13 17 21 24 a 1 2 8 13 17 21 24 a 1 2 3 8 13 17 24 a 1 2 3 8 13 21 24 a 2 3 8 13 17 21 24 a 1 3 8 13 17 21 24 a 1 2 3 13 17 21 24 a 1 2 3 8 17 21 24 a 1 2 3 8 18 21 24 a 1 2 3 8 14 21 24 a 1 2 3 8 13 14 21 a 1 2 8 13 14 21 24 a 2 3 8 13 14 21 24 a 2 3 8 14 17 21 24 a 2 3 8 14 16 17 21 a 2 3 8 14 16 21 24 a 2 3 14 16 17 21 24 a 3 8 14 16 17 21 24 a 3 13 14 16 17 21 24 a 5 13 14 16 17 21 24 a 4 13 14 16 17 21 24 a 4 5 13 14 16 17 21 a 4 5 8 13 14 17 21 a 5 8 13 14 16 17 21 a 1 5 8 13 14 17 21 a 1 5 8 13 14 17 24 a 5 8 13 14 16 17 24 a 5 8 13 14 16 21 24 a 5 8 14 16 17 21 24 a 4 5 8 14 16 17 21 a 4 8 13 14 16 17 21 a 4 8 13 14 16 21 24 a 3 8 13 14 16 21 24 a 2 8 13 14 16 21 24 a 2 8 13 14 17 21 24 a 1 2 8 14 17 21 24 a 1 2 8 13 14 17 24 a 1 8 11 13 14 17 24 a 1 5 8 11 13 14 24 a 1 5 8 9 11 13 24 a 1 5 8 11 12 13 24 a 1 5 8 11 12 13 17 a 1 3 5 8 12 13 17 a 1 5 8 12 13 17 24 a 1 5 8 13 17 21 24 a 1 4 5 8 13 17 24 a 1 4 5 8 13 14 17 a 1 4 5 8 14 17 24 a 1 4 5 8 9 14 24 a 1 4 5 9 10 14 24 a 1 4 5 9 10 14 19 a 1 5 6 9 10 14 19 a 4 5 6 9 10 14 19 a 1 4 5 6 9 10 19 a 1 5 6 9 10 11 19 a 1 5 6 9 10 11 13 a 1 4 5 6 9 10 13 a 4 5 6 9 10 13 14 a 5 6 9 10 11 13 14 a 5 9 10 11 13 14 24 a 5 9 10 13 14 16 24 a 4 5 9 10 13 14 16 a 4 5 9 13 14 16 17 a 4 5 9 13 16 17 25 a 4 5 9 16 17 24 25 a 4 9 13 16 17 24 25 a 5 9 13 16 17 24 25 a 4 5 9 13 16 24 25 a 4 5 9 13 14 16 24 a 4 5 13 14 16 21 24 a 4 5 13 14 17 21 24 a 3 5 13 14 17 21 24 a 3 5 8 13 14 17 24 a 1 3 5 8 14 17 24 a 1 3 5 13 14 17 24 a 1 3 5 8 13 14 24 a 1 3 8 13 14 17 24 a 1 3 8 13 14 21 24 a 1 3 8 13 14 17 21 a 1 3 8 14 17 21 24 a 1 3 7 14 17 21 24 a 1 2 3 7 14 17 21 a 1 2 3 7 8 14 21 a 1 2 3 7 8 21 24 a 1 2 4 7 8 21 24 a 1 2 4 7 8 17 21 a 2 4 7 8 17 19 21 a 2 4 8 14 17 19 21 a 2 4 7 8 14 19 21 a 2 4 7 8 14 20 21 a 2 4 7 14 20 21 24 a 2 7 8 14 20 21 24 a 2 8 13 14 20 21 24 a 4 8 13 14 20 21 24 a 2 4 8 13 14 20 24 a 2 4 8 13 14 21 24 a 2 4 13 14 16 21 24 a 2 4 8 13 14 16 24 a 2 4 13 14 16 17 24 a 2 3 13 14 16 17 24 a 2 3 13 14 16 17 21 a 1 2 3 13 14 17 21 a 1 2 13 14 17 21 24 a 2 4 13 14 17 21 24 a 2 3 13 14 17 21 24 a 2 3 7 14 17 21 24 a 3 7 8 14 17 21 24 a 3 5 7 8 17 21 24 a 3 5 8 13 17 21 24 a 3 5 8 13 14 17 21 a 3 5 8 13 14 16 17 a 1 3 5 8 13 14 17 a 1 3 5 8 14 17 21 a 1 3 5 8 17 21 24 a 3 5 8 14 17 21 24 a 3 5 8 14 16 17 21 a 3 5 8 13 14 16 21 a 3 5 8 14 16 21 24 a 4 5 8 14 16 21 24 a 4 5 8 13 14 21 24 a 4 5 8 13 14 20 21 a 4 5 7 8 14 20 21 a 4 5 8 14 20 21 24 a 5 8 13 14 20 21 24 a 5 8 9 13 14 20 24 a 4 5 8 9 14 20 24 a 4 5 8 9 13 14 20 a 4 8 9 13 14 20 24 a 4 5 8 13 14 20 24 a 4 5 13 14 20 21 24 a 4 5 8 13 20 21 24 a 4 5 8 13 16 21 24 a 4 5 8 9 13 16 24 a 4 5 8 9 14 16 24 a 4 5 8 13 14 16 24 a 4 8 13 14 16 17 24 a 4 8 13 16 17 21 24 a 3 8 13 16 17 21 24 a 2 3 8 13 16 17 24 a 2 3 8 13 14 16 24 a 2 3 8 14 16 17 24 a 3 5 8 14 16 17 24 a 3 5 14 16 17 21 24 a 1 3 5 14 17 21 24 a 1 4 5 14 17 21 24 a 1 4 5 8 14 17 21 a 1 4 5 8 14 21 24 a 1 3 5 8 14 21 24 a 1 3 5 8 13 21 24 a 1 3 5 7 8 21 24 a 1 3 7 8 21 24 26 a 1 3 7 8 17 21 24 a 1 3 7 8 14 17 21 a 1 3 7 8 14 17 24 a 1 3 7 8 14 21 24 a 2 3 7 8 14 21 24 a 2 7 8 14 17 21 24 a 2 4 7 8 14 21 24 a 1 4 7 8 14 21 24 a 1 4 7 8 17 21 24 a 1 4 7 14 17 21 24 a 2 4 7 14 17 21 24 a 2 4 14 16 17 21 24 a 2 4 13 14 16 17 21 a 2 13 14 16 17 21 24 a 2 3 13 16 17 21 24 a 2 4 13 16 17 21 24 a 2 4 8 13 16 21 24 a 2 3 8 13 16 21 24 a 2 3 8 13 14 16 21 a 2 3 13 14 16 21 24 a 1 2 3 13 14 21 24 a 1 2 4 13 14 21 24 a 1 2 4 14 17 21 24 a 1 2 4 8 14 21 24 a 1 2 4 8 13 14 21 a 1 2 4 8 13 14 24 a 1 2 4 8 13 14 17 a 1 2 4 13 14 17 24 a 1 2 3 13 14 17 24 a 1 2 3 13 17 24 25 a 2 3 13 16 17 24 25 a 2 3 12 13 17 24 25 a 3 5 12 13 17 24 25 a 3 5 13 16 17 24 25 a 4 5 13 16 17 24 25 a 1 4 5 13 17 24 25 a 1 4 5 13 14 17 24 a 1 4 5 8 13 14 24 a 1 4 5 8 13 21 24 a 1 4 8 13 17 21 24 a 1 4 8 9 13 17 24 a 1 4 8 9 14 17 24 a 1 2 4 8 14 17 24 a 1 2 3 8 14 17 24 a 1 2 3 7 8 17 24 a 2 3 7 8 17 21 24 a 2 3 7 8 14 17 21 a 2 3 7 8 14 17 24 a 1 2 3 7 8 14 17 a 1 2 4 7 8 14 17 a 1 4 5 7 8 14 17 a 1 4 5 7 8 14 22 a 1 4 5 7 8 14 21 a 4 5 7 8 14 17 21 a 4 5 8 14 17 19 21 a 4 5 7 14 17 19 21 a 4 5 7 8 14 19 21 a 4 5 7 8 14 21 22 a 4 7 8 14 19 21 22 a 4 5 7 8 14 19 22 a 1 4 5 7 8 19 22 a 1 4 5 8 14 19 22 a 1 5 8 14 19 21 22 a 1 2 8 14 19 21 22 a 1 2 7 8 14 19 22 a 1 2 7 14 19 21 22 a 1 2 4 7 14 21 22 a 1 2 4 7 8 21 22 a 2 4 7 8 20 21 22 a 2 4 7 8 20 21 26 a 2 7 8 20 21 24 26 a 4 7 8 20 21 24 26 a 1 4 7 8 21 24 26 a 1 2 4 8 21 24 26 a 1 2 4 7 21 24 26 a 2 4 7 8 21 24 26 a 1 2 4 7 8 24 26 a 1 2 4 7 8 14 24 a 1 2 4 7 8 14 19 a 1 2 4 7 8 14 21 a 1 2 7 8 14 21 24 a 1 2 3 7 14 21 24 a 1 2 3 14 17 21 24 a 1 2 3 8 14 17 21 a 1 2 8 13 14 17 21 a 1 2 4 8 13 17 21 a 1 2 4 8 13 21 26 a 1 2 4 6 13 21 26 a 1 2 4 13 21 24 26 a 2 4 13 20 21 24 26 a 2 3 13 20 21 24 26 a 2 8 13 20 21 24 26 a 2 3 8 13 20 21 24 a 3 8 13 14 20 21 24 a 3 7 8 14 20 21 24 a 2 3 7 8 14 20 21 a 2 3 7 8 20 21 24 a 2 3 7 8 20 21 26 a 2 3 7 8 21 24 26 a 2 3 7 8 21 22 26 a 2 7 8 20 21 22 26 a 2 4 7 8 20 22 26 a 2 4 7 8 20 24 26 a 2 4 8 20 21 24 26 a 2 3 8 20 21 24 26 a 3 7 8 20 21 24 26 a 2 3 7 20 21 24 26 a 2 3 7 8 20 24 26 a 2 3 7 8 20 22 26 a 2 3 7 8 20 21 22 a 1 2 3 7 8 21 22 a 1 2 3 7 8 17 21 a 1 2 3 8 13 17 21 a 1 2 3 8 13 21 26 a 2 3 8 13 21 24 26 a 2 3 13 15 21 24 26 a 2 3 13 14 15 21 24 a 2 3 13 14 20 21 24 a 2 4 13 14 20 21 24 a 2 4 8 14 20 21 24 a 4 7 8 14 20 21 24 a 4 5 7 14 20 21 24 a 1 4 5 7 14 21 24 a 1 4 5 7 14 21 22 a 1 4 5 7 14 19 21 a 1 4 5 7 8 19 21 a 1 4 7 8 19 21 22 a 1 4 8 14 19 21 22 a 1 4 8 9 14 19 22 a 4 5 8 9 14 19 22 a 1 4 5 8 9 14 19 a 1 4 5 7 8 14 19 a 1 4 5 7 14 17 19 a 4 5 7 8 14 17 19 a 2 4 7 8 14 17 19 a 2 7 8 14 17 19 21 a 2 4 7 14 17 19 21 a 1 2 4 7 14 17 19 a 1 2 4 7 17 19 25 c Step: 494 #END: [Mon Sep 4 21:49:15 2023]