#BEGIN: [Tue Sep  5 05:54:38 2023]
#HOST: s03
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance003_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance003_graph004_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_instance003_graph004.col /benchmark/random_instance/random_instance003_graph004_01.dat
c /benchmark/random_instance/random_instance003_graph004.col
c /benchmark/random_instance/random_instance003_graph004_01.dat
TIMEOUT 1800
c send SIGTERM to CID 324f91785bd600aca0ab8d7f14e682ca787d3742142c53c831a815d3b6958264
s 28 35 26 1 32 38 12 29 13 15 8 2 14 20
t 2 14 29 32 20 10 28 38 8 1 23 12 35 15
a YES
a 1 2 8 12 13 14 15 20 26 28 29 32 35 38
a 1 2 8 12 13 14 15 20 25 26 28 29 35 38
a 1 2 8 10 12 14 15 20 25 26 28 29 35 38
a 1 2 8 9 10 12 14 15 20 25 26 28 29 35
a 1 2 8 9 10 12 14 15 20 23 25 28 29 35
a 1 2 8 9 10 12 15 20 23 25 28 29 34 35
a 1 2 8 10 12 15 20 23 25 28 29 34 35 38
a 1 2 8 10 12 15 23 25 27 28 29 34 35 38
a 1 2 5 8 10 15 23 25 27 28 29 34 35 38
a 1 2 5 8 13 15 23 25 27 28 29 34 35 38
a 1 2 5 8 13 15 23 27 28 29 32 34 35 38
a 1 2 5 8 11 13 15 23 27 28 29 34 35 38
a 1 2 5 8 10 11 15 23 27 28 29 34 35 38
a 1 2 8 10 11 12 15 23 27 28 29 34 35 38
a 1 2 8 11 12 15 23 25 27 28 29 34 35 38
a 1 2 5 8 11 15 23 25 27 28 29 34 35 38
a 1 2 5 8 10 11 15 23 25 27 28 29 34 35
a 1 2 5 8 9 10 15 23 25 27 28 29 34 35
a 1 2 5 8 9 10 15 20 23 25 28 29 34 35
a 1 2 5 8 9 10 15 20 25 26 28 29 34 35
a 1 2 5 8 10 15 20 25 26 28 29 34 35 38
a 1 2 8 10 12 15 20 25 26 28 29 34 35 38
a 1 2 8 9 10 12 15 20 25 26 28 29 34 35
a 1 2 8 9 12 13 15 20 25 26 28 29 34 35
a 1 2 5 8 9 13 15 20 25 26 28 29 34 35
a 1 2 5 8 13 15 20 25 26 28 29 34 35 38
a 1 2 5 8 13 15 20 26 28 29 32 34 35 38
a 1 2 8 12 13 15 20 26 28 29 32 34 35 38
a 1 2 8 12 13 15 20 25 26 28 29 34 35 38
a 1 2 8 12 13 15 20 23 25 28 29 34 35 38
a 1 2 8 12 13 15 23 25 27 28 29 34 35 38
a 1 2 8 12 13 14 15 23 25 27 28 29 35 38
a 1 2 8 10 12 14 15 23 25 27 28 29 35 38
a 1 2 8 10 12 14 15 23 27 28 29 32 35 38
a 1 2 8 12 14 15 18 23 27 28 29 32 35 38
a 1 2 8 12 14 15 18 23 25 27 28 29 35 38
a 1 2 8 12 13 15 18 23 25 27 28 29 35 38
a 1 2 8 12 13 18 23 25 27 28 29 35 38 39
a 1 2 8 12 14 18 23 25 27 28 29 35 38 39
a 1 2 8 12 13 14 23 25 27 28 29 35 38 39
a 1 2 8 12 13 14 18 23 27 28 29 35 38 39
a 1 2 8 12 13 14 18 23 25 27 29 35 38 39
a 1 2 8 12 13 14 18 25 27 28 29 35 38 39
a 1 2 12 13 14 18 23 25 27 28 29 35 38 39
a 1 2 8 12 13 14 18 23 25 27 28 29 35 38
a 1 2 8 12 13 14 18 23 25 27 28 29 35 39
a 1 8 12 13 14 18 23 25 27 28 29 35 38 39
a 1 2 8 12 13 14 18 23 25 27 28 29 38 39
a 1 2 8 12 13 14 18 23 25 27 28 35 38 39
a 1 2 8 12 13 14 18 23 27 28 32 35 38 39
a 1 2 8 12 13 14 18 21 23 27 28 32 35 39
a 1 8 12 13 14 18 21 23 27 28 32 33 35 39
a 6 8 12 13 14 18 21 23 27 28 32 33 35 39
a 6 8 12 13 18 21 23 27 28 31 32 33 35 39
a 6 8 12 13 15 18 21 23 27 28 31 32 33 35
a 6 8 12 15 18 21 23 27 28 31 32 33 34 35
a 6 8 12 13 15 18 23 27 28 31 32 33 34 35
a 5 6 8 13 15 18 23 27 28 31 32 33 34 35
a 5 6 8 13 15 21 23 27 28 31 32 33 34 35
a 5 6 8 11 13 15 21 23 27 28 31 33 34 35
a 5 6 8 11 13 15 23 25 27 28 31 33 34 35
a 5 6 8 13 15 18 23 25 27 28 31 33 34 35
a 5 6 8 13 15 18 21 23 27 28 31 33 34 35
a 6 8 12 13 15 18 21 23 27 28 31 33 34 35
a 6 8 12 13 15 18 23 25 27 28 31 33 34 35
a 6 8 11 12 13 15 23 25 27 28 31 33 34 35
a 6 8 11 12 13 15 21 23 27 28 31 33 34 35
a 6 8 9 12 13 15 21 23 27 28 31 33 34 35
a 6 8 12 13 15 21 23 27 28 31 32 33 34 35
a 6 8 12 13 15 18 21 23 27 28 32 33 34 35
a 5 6 8 13 15 18 21 23 27 28 32 33 34 35
a 1 5 8 13 15 18 21 23 27 28 32 33 34 35
a 5 8 13 15 18 21 23 27 28 31 32 33 34 35
a 5 6 8 13 15 18 21 23 27 28 31 32 33 35
a 5 6 13 15 18 21 23 27 28 31 32 33 34 35
a 5 6 8 13 18 21 23 27 28 31 32 33 34 35
a 6 8 12 13 18 21 23 27 28 31 32 33 34 35
a 6 8 12 13 15 18 21 23 27 28 31 32 34 35
a 6 8 12 13 15 18 21 23 27 28 31 32 33 34
a 6 8 12 13 15 18 19 21 23 28 31 32 33 34
a 6 8 12 13 18 19 21 23 28 31 32 33 34 37
a 6 8 12 13 18 21 23 27 28 31 32 33 34 37
a 5 6 8 13 18 21 23 27 28 31 32 33 34 37
a 5 6 8 13 15 18 21 23 27 28 31 32 33 34
a 6 8 13 15 18 21 23 27 28 31 32 33 34 35
a 5 6 8 13 15 18 21 23 27 28 31 32 34 35
a 5 6 8 15 18 21 23 27 28 31 32 33 34 35
a 5 6 8 13 15 18 21 23 27 31 32 33 34 35
a 5 6 8 13 15 18 21 23 28 31 32 33 34 35
a 5 6 8 13 15 18 21 27 28 31 32 33 34 35
a 6 8 12 13 15 18 21 27 28 31 32 33 34 35
a 6 12 13 15 18 21 23 27 28 31 32 33 34 35
a 6 8 12 13 15 18 21 23 28 31 32 33 34 35
a 6 8 12 13 15 18 21 23 27 31 32 33 34 35
a 8 12 13 15 18 21 23 27 28 31 32 33 34 35
a 2 8 12 13 15 18 21 23 27 28 31 32 34 35
a 1 2 8 12 13 15 18 21 23 27 28 32 34 35
a 1 8 12 13 15 18 21 23 27 28 32 33 34 35
a 1 8 12 13 14 15 18 21 23 27 28 32 33 35
a 1 2 8 12 13 14 15 18 21 23 27 28 32 35
a 1 2 8 12 13 14 15 18 23 27 28 29 32 35
a 1 2 8 12 13 15 18 23 27 28 29 32 34 35
a 1 2 8 12 13 15 18 23 27 28 29 32 35 38
a 1 2 8 12 13 14 15 18 23 27 28 29 35 38
a 1 8 12 13 14 15 18 23 25 27 28 29 35 38
a 1 2 8 13 14 15 18 23 25 27 28 29 35 38
a 1 2 8 13 15 18 23 25 27 28 29 34 35 38
a 1 2 8 13 15 18 23 27 28 29 32 34 35 38
a 1 2 5 8 13 15 18 23 27 28 29 34 35 38
a 2 5 8 13 15 18 23 25 27 28 29 34 35 38
a 5 6 8 13 15 18 23 25 27 28 29 34 35 38
a 1 5 8 13 15 18 23 25 27 28 29 34 35 38
a 1 5 8 13 15 18 23 27 28 29 32 34 35 38
a 1 2 5 8 13 18 23 27 28 29 32 34 35 38
a 1 2 8 12 13 18 23 27 28 29 32 34 35 38
a 1 2 8 12 13 18 23 27 28 29 32 35 38 39
a 1 2 5 8 13 18 23 27 28 29 32 35 38 39
a 1 2 5 8 13 18 23 25 27 28 29 35 38 39
a 1 2 5 8 11 13 23 25 27 28 29 35 38 39
a 1 2 5 8 11 13 15 23 25 27 28 29 35 38
a 2 5 8 11 13 15 23 25 27 28 29 34 35 38
a 2 5 8 10 11 15 23 25 27 28 29 34 35 38
a 2 8 10 11 12 15 23 25 27 28 29 34 35 38
a 1 8 10 11 12 15 23 25 27 28 29 34 35 38
a 1 2 10 11 12 15 23 25 27 28 29 34 35 38
a 1 2 8 10 11 12 15 23 25 28 29 34 35 38
a 1 2 8 11 12 13 15 23 25 28 29 34 35 38
a 1 2 8 11 13 15 23 25 27 28 29 34 35 38
a 1 2 8 11 12 13 23 25 27 28 29 34 35 38
a 1 8 11 12 13 15 23 25 27 28 29 34 35 38
a 1 2 11 12 13 15 23 25 27 28 29 34 35 38
a 1 2 11 12 13 15 23 25 27 28 29 30 35 38
a 1 2 5 11 13 15 23 25 27 28 29 30 35 38
a 1 2 5 10 11 15 23 25 27 28 29 30 35 38
a 1 2 10 11 12 15 23 25 27 28 29 30 35 38
a 1 2 10 11 12 23 25 27 28 29 30 35 38 39
a 1 2 5 10 11 23 25 27 28 29 30 35 38 39
a 1 2 5 10 11 17 23 25 27 28 30 35 38 39
a 1 2 5 10 11 17 23 25 27 28 30 37 38 39
a 1 2 5 8 10 11 17 23 25 27 28 37 38 39
a 1 2 5 8 11 13 17 23 25 27 28 37 38 39
a 1 2 5 8 11 13 17 23 25 27 28 35 38 39
a 1 2 5 8 11 13 17 23 25 27 28 34 35 38
a 1 2 5 8 11 13 15 23 25 27 28 34 35 38
a 1 2 5 8 10 11 15 23 25 27 28 34 35 38
a 1 2 5 8 10 11 15 23 25 27 29 34 35 38
a 1 2 5 8 10 11 15 23 25 27 28 29 34 38
a 1 2 5 8 10 11 15 23 25 27 28 29 35 38
a 1 2 5 8 10 11 23 25 27 28 29 35 38 39
a 1 2 5 8 10 11 17 23 25 27 28 35 38 39
a 1 2 5 8 10 11 17 23 25 27 28 34 35 38
a 1 2 5 8 10 11 17 23 25 27 28 34 37 38
a 1 2 5 8 11 13 17 23 25 27 28 34 37 38
a 1 2 5 8 11 13 17 22 23 25 27 34 37 38
a 1 2 5 8 11 13 17 22 23 25 27 37 38 39
a 1 2 5 11 13 17 22 23 25 27 30 37 38 39
a 1 2 5 11 13 17 23 25 27 28 30 37 38 39
a 1 2 5 11 13 17 23 25 27 28 30 35 38 39
a 1 2 5 11 13 23 25 27 28 29 30 35 38 39
a 1 2 11 12 13 23 25 27 28 29 30 35 38 39
a 1 2 8 11 12 13 23 25 27 28 29 35 38 39
a 1 2 8 11 12 13 15 23 25 27 28 29 35 38
a 1 2 8 11 12 13 15 25 27 28 29 34 35 38
a 1 2 8 11 12 13 15 23 27 28 29 34 35 38
a 1 2 8 11 12 13 15 23 25 27 28 34 35 38
a 1 2 8 11 12 13 15 23 25 27 28 29 34 38
a 1 2 5 8 11 13 15 23 25 27 28 29 34 38
a 1 2 5 8 11 13 15 23 25 27 29 34 35 38
a 1 2 5 8 11 13 23 25 27 28 29 34 35 38
a 1 2 5 11 13 15 23 25 27 28 29 34 35 38
a 1 5 8 11 13 15 23 25 27 28 29 34 35 38
a 5 6 8 11 13 15 23 25 27 28 29 34 35 38
a 6 8 11 12 13 15 23 25 27 28 29 34 35 38
a 2 8 11 12 13 15 23 25 27 28 29 34 35 38
a 1 2 8 11 12 13 15 23 25 27 28 29 34 35
a 1 2 5 8 11 13 15 23 25 27 28 29 34 35
a 1 2 5 8 13 15 18 23 25 27 28 29 34 35
a 1 2 5 8 13 15 18 23 27 28 29 32 34 35
a 1 2 5 8 13 15 18 23 27 28 29 32 35 38
a 2 5 8 13 15 18 23 27 28 29 32 34 35 38
a 5 6 8 13 15 18 23 27 28 29 32 34 35 38
a 6 8 12 13 15 18 23 27 28 29 32 34 35 38
a 6 8 12 13 15 18 23 25 27 28 29 34 35 38
a 2 8 12 13 15 18 23 25 27 28 29 34 35 38
a 2 8 12 13 15 18 23 27 28 29 32 34 35 38
a 1 2 8 12 13 15 23 27 28 29 32 34 35 38
a 1 8 12 13 15 18 23 27 28 29 32 34 35 38
a 1 2 8 12 13 15 18 23 27 28 29 34 35 38
a 1 2 8 12 15 18 23 25 27 28 29 34 35 38
a 1 2 12 13 15 18 23 25 27 28 29 34 35 38
a 1 2 12 13 14 15 18 23 25 27 28 29 35 38
a 2 8 12 13 14 15 18 23 25 27 28 29 35 38
a 1 2 8 12 13 14 15 18 23 25 27 28 29 35
a 1 2 8 12 13 14 15 18 25 27 28 29 35 38
a 1 2 8 12 13 14 15 18 23 25 27 28 35 38
a 1 2 8 12 13 14 15 18 23 25 28 29 35 38
a 1 2 8 12 13 14 18 23 25 28 29 35 38 39
a 1 2 8 12 13 14 18 23 28 29 32 35 38 39
a 1 2 12 13 14 18 23 27 28 29 32 35 38 39
a 1 2 8 12 14 18 23 27 28 29 32 35 38 39
a 1 2 8 12 13 14 23 27 28 29 32 35 38 39
a 1 2 8 10 12 14 23 27 28 29 32 35 38 39
a 1 2 8 10 12 14 23 25 27 28 29 35 38 39
a 1 2 8 10 11 12 23 25 27 28 29 35 38 39
a 1 2 8 10 11 12 23 25 27 28 29 34 35 38
a 1 2 8 10 11 15 23 25 27 28 29 34 35 38
a 1 5 8 10 11 15 23 25 27 28 29 34 35 38
a 1 2 5 8 10 11 15 25 27 28 29 34 35 38
a 1 2 8 10 11 12 15 25 27 28 29 34 35 38
a 1 2 8 10 11 12 15 23 25 27 28 29 35 38
a 1 2 8 10 11 12 15 23 25 27 29 34 35 38
a 1 2 8 11 12 13 15 23 25 27 29 34 35 38
a 1 2 8 12 13 15 18 23 25 27 29 34 35 38
a 1 2 8 12 13 15 18 22 23 25 27 29 34 38
a 1 2 8 12 13 15 18 23 25 27 28 29 34 38
a 1 2 8 12 13 14 15 18 23 25 27 28 29 38
a 1 2 8 12 13 14 15 18 23 25 27 29 35 38
a 1 2 8 12 13 14 15 18 23 27 29 32 35 38
a 1 2 8 12 13 14 18 23 27 29 32 35 38 39
a 2 8 12 13 14 18 23 27 28 29 32 35 38 39
a 6 8 12 13 14 18 23 27 28 29 32 35 38 39
a 6 8 12 13 14 15 18 23 27 28 29 32 35 38
a 6 8 12 13 14 15 18 23 25 27 28 29 35 38
a 6 8 12 13 14 18 23 25 27 28 29 35 38 39
a 2 8 12 13 14 18 23 25 27 28 29 35 38 39
a 1 2 8 13 14 18 23 25 27 28 29 35 38 39
a 1 2 8 13 14 18 23 27 28 29 32 35 38 39
a 1 2 8 13 14 15 18 23 27 28 29 32 35 38
a 1 8 12 13 14 15 18 23 27 28 29 32 35 38
a 1 2 8 12 13 14 18 23 27 28 29 32 35 38
a 1 8 12 13 14 18 23 27 28 29 32 35 38 39
a 1 2 8 12 13 14 18 23 27 28 29 32 35 39
a 1 2 8 12 13 14 18 27 28 29 32 35 38 39
a 1 2 8 12 13 14 18 23 27 28 29 32 38 39
a 1 2 8 12 13 14 15 18 23 27 28 29 32 38
a 2 8 12 13 14 15 18 23 27 28 29 32 35 38
a 1 2 12 13 14 15 18 23 27 28 29 32 35 38
a 1 2 8 12 13 14 15 23 27 28 29 32 35 38
a 1 2 8 12 13 14 15 18 27 28 29 32 35 38
a 1 2 8 12 13 14 15 18 23 28 29 32 35 38
a 1 2 8 12 13 15 18 23 28 29 32 34 35 38
a 1 2 8 12 13 15 18 27 28 29 32 34 35 38
a 1 2 5 8 13 15 18 27 28 29 32 34 35 38
a 1 2 5 8 13 15 18 23 27 28 32 34 35 38
a 1 2 5 8 13 15 18 23 27 29 32 34 35 38
a 1 2 5 8 13 15 18 23 25 27 29 34 35 38
a 1 2 5 13 15 18 23 25 27 28 29 34 35 38
a 1 2 5 13 15 18 23 27 28 29 32 34 35 38
a 1 2 5 8 15 18 23 27 28 29 32 34 35 38
a 1 2 8 12 15 18 23 27 28 29 32 34 35 38
a 1 2 8 10 12 15 23 27 28 29 32 34 35 38
a 1 2 8 10 12 15 20 23 28 29 32 34 35 38
a 1 2 8 10 12 14 15 20 23 28 29 32 35 38
c Step: 252
#END: [Tue Sep  5 06:24:38 2023]