#BEGIN: [Tue Sep  5 05:31:48 2023]
#HOST: s05
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance002_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance002_graph003_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_graph003.col /benchmark/random_instance/random_instance002_graph003_01.dat
c /benchmark/random_instance/random_instance002_graph003.col
c /benchmark/random_instance/random_instance002_graph003_01.dat
TIMEOUT 1800
c send SIGTERM to CID 3fe2ce65cb900d018684259f697faca919439c72569f3789d580d1560887c6b9
s 24 6 9 13 16 23 19 18
t 22 8 7 19 12 21 2 9
a YES
a 6 9 13 16 18 19 23 24
a 6 9 13 16 17 18 19 23
a 4 6 9 13 16 17 18 23
a 4 6 9 13 16 18 23 24
a 4 6 13 16 18 23 24 25
a 6 13 16 18 19 23 24 25
a 5 6 13 16 18 19 23 25
a 4 5 6 13 16 18 23 25
a 4 5 6 9 13 16 18 23
a 5 6 9 13 16 18 19 23
a 5 6 9 13 16 18 20 23
a 5 6 9 16 17 18 20 23
a 5 6 9 13 16 17 18 23
a 5 9 13 16 17 18 19 23
a 5 6 9 13 16 17 18 19
a 5 6 9 13 17 18 19 23
a 6 7 9 13 17 18 19 23
a 3 7 9 13 17 18 19 23
a 3 7 9 12 13 18 19 23
a 3 7 9 12 16 18 19 23
a 3 9 12 13 16 18 19 23
a 3 9 13 16 17 18 19 23
a 3 5 9 13 16 17 18 23
a 5 9 13 16 17 18 20 23
a 5 6 9 13 16 17 18 20
a 6 7 9 13 16 17 18 20
a 6 9 13 16 17 18 20 23
a 4 6 9 16 17 18 20 23
a 4 5 6 9 17 18 20 23
a 4 5 6 16 17 18 20 23
a 4 6 13 16 17 18 20 23
a 4 6 7 13 16 17 18 20
a 4 5 6 13 16 17 18 20
a 5 6 13 16 17 18 20 21
a 6 7 13 16 17 18 20 21
a 6 7 13 16 17 18 19 21
a 6 7 13 16 17 18 19 23
a 4 6 7 13 16 17 18 23
a 3 4 7 13 16 17 18 23
a 3 4 9 13 16 17 18 23
a 4 7 9 13 16 17 18 23
a 3 7 9 13 16 17 18 23
a 3 7 13 16 17 18 19 23
a 3 7 9 13 16 18 19 23
a 7 9 13 16 17 18 19 23
a 6 7 9 13 16 17 18 19
a 6 7 9 13 16 17 18 23
a 4 6 7 9 16 17 18 23
a 4 6 7 9 13 17 18 23
a 4 6 7 9 13 16 17 23
a 4 6 7 9 13 16 18 23
a 4 6 7 9 13 16 17 18
a 4 6 9 13 16 17 18 20
a 4 7 9 13 16 17 18 20
a 4 7 9 13 17 18 20 23
a 4 5 9 13 17 18 20 23
a 4 5 9 13 16 17 18 23
a 4 5 9 13 16 17 18 20
a 4 9 13 16 17 18 20 23
a 4 6 9 13 17 18 20 23
a 4 5 6 9 13 17 18 23
a 4 5 6 9 16 17 18 23
a 4 5 9 16 17 18 20 23
a 4 5 13 16 17 18 20 23
a 4 5 9 13 16 17 20 23
a 4 7 9 13 16 17 20 23
a 6 7 9 13 16 17 20 23
a 7 9 13 16 17 18 20 23
a 6 7 9 13 17 18 20 23
a 4 6 7 13 17 18 20 23
a 4 6 7 17 18 20 23 26
a 4 6 7 9 17 18 20 23
a 6 7 9 16 17 18 20 23
a 4 7 9 16 17 18 20 23
a 4 6 7 16 17 18 20 23
a 6 7 13 16 17 18 20 23
a 4 6 7 13 16 17 20 23
a 4 6 7 9 13 16 20 23
a 4 6 7 11 13 16 20 23
a 4 7 8 11 13 16 20 23
a 4 7 8 11 16 20 23 26
a 4 8 11 16 20 23 25 26
a 4 8 11 13 16 20 23 25
a 2 4 8 11 13 16 20 25
a 2 4 8 11 16 20 25 26
a 2 8 11 16 20 21 25 26
a 2 8 11 13 16 20 21 25
a 2 7 8 11 13 16 20 21
a 2 4 7 8 11 13 16 20
a 2 4 7 8 9 13 16 20
a 2 7 8 9 13 16 20 21
a 2 7 8 9 13 16 19 21
a 3 7 8 9 13 16 19 21
a 3 7 9 13 16 17 19 21
a 7 9 13 16 17 18 19 21
a 6 7 9 16 17 18 19 21
a 6 7 9 13 16 17 18 21
a 7 9 13 16 17 18 20 21
a 6 9 13 16 17 18 20 21
a 5 9 13 16 17 18 20 21
a 5 6 9 16 17 18 20 21
a 4 5 6 9 16 17 18 20
a 4 5 6 16 17 18 20 26
a 4 6 16 17 18 20 23 26
a 4 7 16 17 18 20 23 26
a 4 6 7 16 17 18 23 26
a 4 6 7 16 17 18 20 26
a 4 6 7 16 17 20 23 26
a 4 6 7 16 18 20 23 26
a 4 5 6 16 18 20 23 26
a 4 5 16 17 18 20 23 26
a 4 5 6 17 18 20 23 26
a 5 6 16 17 18 20 23 26
a 5 6 13 16 17 18 20 23
a 4 5 6 13 17 18 20 23
a 4 5 6 11 13 17 20 23
a 4 6 7 11 13 17 20 23
a 4 6 7 11 16 17 20 23
a 4 7 11 13 16 17 20 23
a 4 6 11 13 16 17 20 23
a 4 6 11 13 16 20 23 25
a 4 5 6 13 16 20 23 25
a 4 5 6 13 16 17 20 23
a 4 5 6 9 16 17 20 23
a 4 5 6 9 13 16 17 23
a 4 5 6 9 13 17 20 23
a 4 5 6 9 13 16 17 20
a 5 6 9 13 16 17 20 23
a 5 6 9 13 17 18 20 23
a 4 5 6 9 13 18 20 23
a 4 5 9 13 16 18 20 23
a 3 4 5 9 13 16 18 23
a 3 4 5 9 13 16 17 23
a 3 4 5 9 16 17 18 23
a 3 4 5 13 16 17 18 23
a 3 4 5 9 13 16 17 18
a 4 5 6 9 13 16 17 18
a 4 5 6 13 16 17 18 23
a 4 5 6 11 13 16 17 23
a 4 5 6 11 13 16 17 20
a 5 6 11 13 16 17 20 23
a 4 5 11 13 16 17 20 23
a 4 5 6 11 16 17 20 23
a 4 6 11 16 17 20 23 26
a 4 6 7 11 17 20 23 26
a 6 7 11 16 17 20 23 26
a 6 7 11 13 16 17 20 23
a 4 6 7 11 13 16 17 23
a 4 6 7 11 16 17 23 26
a 4 6 7 11 16 20 23 26
a 4 6 7 11 16 17 20 26
a 4 7 11 16 17 20 23 26
a 4 5 11 16 17 20 23 26
a 4 5 11 16 20 23 25 26
a 4 5 6 11 16 20 23 25
a 4 5 6 16 18 20 23 25
a 4 5 6 9 16 18 20 23
a 4 5 6 9 13 16 18 20
a 4 5 6 9 13 17 18 20
a 5 6 9 13 17 18 20 21
a 5 6 9 13 16 17 18 21
a 3 5 9 13 16 17 18 21
a 5 9 13 16 17 18 19 21
a 6 9 13 16 17 18 19 21
a 5 6 9 16 17 18 19 21
a 3 5 9 16 17 18 19 21
a 3 5 9 13 17 18 19 21
a 3 5 9 12 13 18 19 21
a 3 7 9 12 13 18 19 21
a 3 7 9 13 16 18 19 21
a 3 9 13 16 17 18 19 21
a 3 7 9 16 17 18 19 21
a 3 7 9 16 17 18 19 23
a 6 7 9 16 17 18 19 23
a 6 7 9 13 16 18 19 23
a 6 7 9 13 16 18 19 21
a 6 7 9 13 16 17 19 21
a 6 7 9 13 17 18 19 21
a 3 7 9 13 17 18 19 21
a 3 7 13 16 17 18 19 21
a 3 7 9 13 16 17 18 21
a 3 4 7 9 13 16 17 18
a 3 4 7 9 13 17 18 23
a 3 4 7 9 13 16 18 23
a 3 4 7 9 13 16 17 23
a 3 4 7 9 16 17 18 23
a 1 3 7 9 16 17 18 23
a 1 7 9 16 17 18 20 23
a 1 7 9 13 16 17 18 23
a 1 7 9 12 13 16 18 23
a 7 9 12 13 16 18 19 23
a 3 7 9 12 13 16 18 23
a 3 7 9 12 13 16 18 19
a 7 9 12 13 16 18 19 21
a 3 7 9 12 16 18 19 21
a 3 9 12 13 16 18 19 21
a 3 7 9 12 13 16 19 21
a 3 7 9 12 13 16 19 23
a 3 7 12 13 16 18 19 23
a 3 7 12 13 16 18 19 21
a 3 7 9 12 13 16 18 21
a 3 9 12 13 16 18 21 24
a 3 9 12 13 16 18 19 24
a 9 12 13 16 18 19 23 24
a 3 12 13 16 18 19 23 24
a 3 9 13 16 18 19 23 24
a 3 5 9 13 16 18 19 23
a 3 5 9 13 16 18 19 21
a 3 5 9 13 16 17 18 19
a 3 5 9 12 13 16 18 19
a 5 9 12 13 16 18 19 23
a 3 5 9 12 16 18 19 23
a 3 9 12 16 18 19 23 24
a 3 9 12 13 18 19 23 24
a 3 5 9 12 13 18 19 23
a 3 5 12 13 16 18 19 23
a 3 5 9 12 13 16 19 23
a 3 5 9 12 13 16 18 23
a 3 9 12 13 16 18 23 24
a 3 12 13 16 18 23 24 25
a 3 5 12 13 16 18 23 25
a 3 5 13 16 18 19 23 25
a 3 5 13 16 17 18 19 23
a 3 5 9 16 17 18 19 23
a 3 5 9 13 17 18 19 23
a 3 5 9 13 16 17 19 23
a 3 5 9 13 16 17 19 21
a 3 5 13 16 17 18 19 21
a 5 6 13 16 17 18 19 21
a 5 6 9 13 16 18 19 21
a 5 9 12 13 16 18 19 21
a 3 5 12 13 16 18 19 21
a 3 5 12 13 16 18 19 25
a 5 12 13 16 18 19 21 25
a 5 12 13 16 18 19 23 25
a 3 5 12 16 18 19 23 25
a 3 12 13 16 18 19 23 25
a 3 12 13 16 18 19 21 25
a 3 12 13 16 18 19 21 24
a 3 9 12 16 18 19 21 24
a 3 9 12 13 18 19 21 24
a 9 12 13 16 18 19 21 24
a 3 9 12 13 16 19 21 24
a 3 9 13 16 18 19 21 24
a 6 9 13 16 18 19 21 24
a 6 13 16 18 19 21 24 25
a 5 6 13 16 18 19 21 25
a 3 5 13 16 18 19 21 25
a 3 13 16 18 19 21 24 25
a 12 13 16 18 19 21 24 25
a 3 12 16 18 19 21 24 25
a 3 12 13 16 19 21 24 25
a 3 12 13 16 18 19 24 25
a 12 13 16 18 19 23 24 25
a 3 12 13 16 19 23 24 25
a 3 12 13 18 19 23 24 25
a 3 12 13 18 19 21 24 25
a 3 5 12 13 18 19 21 25
a 3 5 12 16 18 19 21 25
a 3 5 12 13 16 19 21 25
a 2 5 12 13 16 19 21 25
a 2 5 9 12 13 16 19 21
a 2 8 9 12 13 16 19 21
a 2 7 8 12 13 16 19 21
a 2 7 8 9 12 13 16 21
a 2 7 8 9 12 13 14 16
a 2 7 8 9 13 14 16 20
a 1 2 7 8 9 13 16 20
a 1 7 8 9 13 16 20 23
a 1 7 9 13 16 17 20 23
a 1 3 7 9 13 16 17 23
a 1 3 7 8 9 13 16 23
a 1 3 7 9 13 16 18 23
a 1 3 9 13 16 17 18 23
a 1 3 7 9 13 17 18 23
a 1 3 7 13 16 17 18 23
a 1 3 7 12 13 16 18 23
a 1 3 12 13 16 18 23 25
a 1 3 9 12 13 16 18 23
a 1 3 8 9 12 13 16 23
a 3 7 8 9 12 13 16 23
a 3 4 7 8 9 13 16 23
a 4 7 8 9 13 16 20 23
a 4 7 9 13 16 18 20 23
a 4 7 13 16 17 18 20 23
a 4 6 7 13 16 18 20 23
a 6 7 9 13 16 18 20 23
a 4 6 9 13 16 18 20 23
a 4 6 7 9 13 16 18 20
a 4 6 7 9 16 18 20 23
a 4 6 7 9 16 17 18 20
a 4 6 7 9 16 17 20 23
a 4 6 9 13 16 17 20 23
a 4 5 6 9 13 16 20 23
a 4 5 6 13 16 18 20 23
a 4 5 6 13 16 18 20 25
a 5 6 13 16 18 20 23 25
a 4 5 13 16 18 20 23 25
a 4 5 6 13 18 20 23 25
a 4 5 6 18 20 23 25 26
a 4 5 16 18 20 23 25 26
a 4 6 16 18 20 23 25 26
a 5 6 16 18 20 23 25 26
a 5 6 11 16 20 23 25 26
a 4 6 11 16 20 23 25 26
a 4 5 6 16 20 23 25 26
a 4 5 6 16 18 23 25 26
a 3 4 5 16 18 23 25 26
a 3 4 5 16 17 18 23 26
a 3 4 7 16 17 18 23 26
a 1 3 7 16 17 18 23 26
a 1 7 16 17 18 20 23 26
a 1 7 13 16 17 18 20 23
a 1 9 13 16 17 18 20 23
a 1 7 9 13 17 18 20 23
a 1 7 9 13 16 18 20 23
a 1 7 9 13 16 17 18 20
a 1 3 7 9 13 16 17 18
a 3 7 9 13 16 17 18 19
a 3 7 9 13 16 17 19 23
a 6 7 9 13 16 17 19 23
a 5 6 9 13 16 17 19 23
a 5 6 9 13 16 17 19 21
a 5 6 9 13 17 18 19 21
a 5 6 9 17 18 19 21 22
a 5 6 9 17 18 20 21 22
a 6 7 9 17 18 20 21 22
a 6 7 17 18 20 21 22 26
a 5 6 17 18 20 21 22 26
a 5 6 11 17 20 21 22 26
a 5 6 11 16 17 20 21 26
a 5 6 11 16 17 20 23 26
a 4 5 6 11 17 20 23 26
a 4 5 6 11 20 23 25 26
a 4 5 6 11 16 20 25 26
a 4 5 6 11 16 20 23 26
a 4 5 6 16 17 20 23 26
a 4 5 6 11 16 17 23 26
a 4 5 6 11 16 23 25 26
a 4 5 6 11 13 16 23 25
a 4 5 6 11 13 16 20 23
a 4 5 6 11 13 20 23 25
a 4 5 11 13 16 20 23 25
a 5 6 11 13 16 20 23 25
a 4 5 6 11 13 16 20 25
a 5 6 11 13 16 20 21 25
a 5 6 11 13 16 17 20 21
a 6 7 11 13 16 17 20 21
a 4 6 7 11 13 16 17 20
a 4 6 7 9 13 16 17 20
a 4 6 7 9 13 17 20 23
a 4 6 7 9 13 17 18 20
a 6 7 9 13 17 18 20 21
a 6 7 9 13 16 17 20 21
a 5 6 9 13 16 17 20 21
a 5 6 9 13 16 18 20 21
a 6 7 9 13 16 18 20 21
a 6 7 9 16 17 18 20 21
a 6 7 16 17 18 20 21 26
a 5 6 16 17 18 20 21 26
a 5 6 16 18 20 21 25 26
a 5 6 11 16 20 21 25 26
a 5 6 15 16 20 21 25 26
a 5 6 13 15 16 20 21 25
a 2 5 13 15 16 20 21 25
a 2 5 11 13 16 20 21 25
a 2 5 11 12 13 16 21 25
a 2 11 12 13 16 21 24 25
a 2 8 11 12 13 16 21 25
a 2 8 12 13 16 19 21 25
a 2 12 13 16 19 21 24 25
a 2 12 13 15 16 21 24 25
a 2 5 12 13 15 16 21 25
a 2 5 12 13 14 15 16 25
a 3 5 12 13 14 15 16 25
a 3 5 12 13 15 16 21 25
a 3 5 12 13 16 18 21 25
a 3 5 9 12 13 16 18 21
a 3 5 9 12 13 16 19 21
a 3 8 9 12 13 16 19 21
a 3 7 8 9 12 13 19 21
a 2 7 8 9 12 13 19 21
a 2 7 9 12 13 16 19 21
a 7 8 9 12 13 16 19 21
a 7 8 9 12 13 16 19 23
a 3 7 8 9 12 16 19 23
a 3 7 8 9 12 13 19 23
a 1 3 7 8 9 12 13 23
a 1 3 7 9 12 13 18 23
a 1 3 7 9 12 16 18 23
a 1 3 7 9 12 13 16 23
a 1 7 8 9 12 13 16 23
a 1 3 7 8 9 12 16 23
a 1 3 7 8 9 12 13 16
a 3 7 8 9 12 13 14 16
a 3 7 8 9 12 13 16 19
a 3 8 9 12 13 16 19 23
a 3 7 8 12 13 16 19 23
a 3 8 12 13 16 19 23 25
a 3 8 12 13 16 19 21 25
a 3 7 8 12 13 16 19 21
a 3 7 8 9 12 16 19 21
a 2 7 8 9 12 16 19 21
a 2 7 8 9 12 19 21 22
c Step: 403
#END: [Tue Sep  5 06:01:49 2023]