#BEGIN: [Tue Sep  5 00:24:14 2023]
#HOST: s16
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance008_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance008_graph001_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance008_graph001.col /benchmark/random_instance/random_instance008_graph001_01.dat
c /benchmark/random_instance/random_instance008_graph001.col
c /benchmark/random_instance/random_instance008_graph001_01.dat
TIMEOUT 1800
c send SIGTERM to CID e5bfd488bea440198995431e1c3fd02a4c0d2bba20e24715307f5d3f4c983003
s 63 65 99 101 36 32 96 87 24 79 45 37 8 68 93 51 56 31 91 73 35 42 21 29 41 86 57 5 47 67 83 25 84
t 93 104 21 34 41 16 52 30 66 69 67 57 19 95 102 2 77 75 56 32 50 42 37 44 103 90 92 96 68 63 17 97 8
a YES
a 5 8 21 24 25 29 31 32 35 36 37 41 42 45 47 51 56 57 63 65 67 68 73 79 83 84 86 87 91 93 96 99 101
a 5 8 19 21 24 25 29 31 32 35 36 37 41 42 45 47 51 56 57 63 65 67 68 73 79 83 84 87 91 93 96 99 101
a 5 6 8 19 21 24 25 29 31 32 35 36 37 41 42 45 47 51 56 57 63 65 68 73 79 83 84 87 91 93 96 99 101
a 5 6 8 19 21 24 25 29 31 32 35 36 37 40 41 42 45 47 51 56 57 63 65 68 73 79 83 84 91 93 96 99 101
a 5 8 19 21 24 25 29 31 32 35 36 37 40 41 42 45 47 51 56 57 63 65 67 68 73 79 83 84 91 93 96 99 101
a 5 8 19 21 24 25 29 31 32 35 36 37 40 41 42 45 46 47 51 56 57 63 65 67 68 73 79 83 84 91 96 99 101
a 5 8 19 21 24 25 29 31 32 35 36 37 40 41 42 45 46 47 51 56 57 62 63 65 67 68 73 79 83 84 91 96 101
a 5 8 19 21 24 25 29 31 32 35 36 37 41 42 45 46 47 51 56 57 62 63 65 67 68 72 73 79 83 84 91 96 101
a 5 8 19 21 24 25 29 31 32 35 36 37 40 41 42 45 46 47 51 56 57 62 63 65 67 68 72 73 79 83 84 91 96
a 5 8 19 21 24 25 29 31 32 35 36 37 40 41 42 45 46 47 51 56 57 62 63 65 67 68 72 73 79 83 84 91 101
a 5 8 19 21 24 25 29 31 32 35 36 37 40 41 42 45 46 47 51 52 56 57 62 63 65 67 68 72 79 83 84 91 101
a 5 8 19 21 24 25 29 31 32 35 36 37 40 41 42 45 46 47 51 52 56 57 62 63 65 67 68 72 77 79 83 84 91
a 5 8 19 21 24 25 29 31 32 35 36 37 40 41 42 45 46 47 51 56 57 62 63 65 67 68 72 73 77 79 83 84 91
a 5 8 19 21 24 25 29 31 32 35 36 40 41 42 43 45 46 47 51 56 57 62 63 65 67 68 72 73 77 79 83 84 91
a 5 8 19 21 24 25 29 31 32 35 36 40 41 42 43 45 46 47 51 52 56 57 62 63 65 67 68 72 77 79 83 84 91
a 5 8 19 21 24 25 29 31 32 35 36 40 41 42 43 45 46 47 51 52 57 62 63 65 67 68 72 77 79 81 83 84 91
a 8 19 21 24 25 29 31 32 35 36 40 41 42 43 45 46 47 51 52 57 62 63 65 67 68 72 77 79 81 83 84 91 96
a 8 10 19 21 24 25 29 31 32 35 36 40 41 42 43 45 46 47 51 52 57 62 63 65 67 68 72 77 79 83 84 91 96
a 8 10 19 21 24 25 29 31 32 35 36 40 41 42 43 45 46 47 51 52 57 59 62 63 65 67 72 77 79 83 84 91 96
a 8 10 19 21 24 25 29 31 35 36 40 41 42 43 45 46 47 49 51 52 57 59 62 63 65 67 72 77 79 83 84 91 96
a 8 19 21 24 25 29 31 35 36 40 41 42 43 45 46 47 49 51 52 57 59 62 63 65 67 68 72 77 79 83 84 91 96
a 8 19 21 24 25 29 31 35 36 40 41 42 43 45 46 47 49 51 52 57 59 62 63 65 67 68 72 77 79 81 83 84 91
a 8 21 24 25 28 29 31 35 36 40 41 42 43 45 46 47 49 51 52 57 59 62 63 65 67 68 72 77 79 81 83 84 91
a 21 24 25 28 29 31 35 36 40 41 42 43 45 46 47 49 51 52 57 59 62 63 65 67 68 72 77 79 81 83 84 91 101
a 8 21 24 25 28 29 35 36 40 41 42 43 45 46 47 49 51 52 57 59 62 63 65 67 68 72 77 79 81 83 84 91 101
a 8 21 24 25 28 29 35 36 40 41 42 43 45 46 47 49 51 52 57 59 62 63 65 67 72 77 79 81 83 84 91 96 101
a 8 21 24 25 28 29 31 35 36 40 41 42 43 45 46 47 49 51 52 57 59 62 63 65 67 72 77 79 81 83 84 91 96
a 8 21 24 25 28 29 31 35 36 40 41 42 43 45 46 47 49 51 52 57 59 62 63 65 67 68 72 77 79 81 84 91 96
a 8 21 24 25 28 29 31 35 36 40 41 42 43 45 46 47 49 51 52 57 59 62 63 65 67 68 72 77 79 81 83 84 96
a 8 24 25 28 29 31 35 36 40 41 42 43 45 46 47 49 51 52 57 59 62 63 65 67 68 72 77 79 81 83 84 91 96
a 21 24 25 28 29 31 35 36 40 41 42 43 45 46 47 49 51 52 57 59 62 63 65 67 68 72 77 79 81 83 84 91 96
a 10 21 24 25 28 29 31 35 36 40 41 42 43 45 46 47 49 51 52 57 59 62 63 65 67 68 72 77 79 83 84 91 96
a 8 10 21 24 28 29 31 35 36 40 41 42 43 45 46 47 49 51 52 57 59 62 63 65 67 68 72 77 79 83 84 91 96
a 8 10 15 21 24 28 29 31 35 36 40 41 42 43 45 46 47 49 51 52 57 59 62 65 67 68 72 77 79 83 84 91 96
a 8 10 15 21 24 25 28 29 35 36 40 41 42 43 45 46 47 49 51 52 57 59 62 65 67 68 72 77 79 83 84 91 96
a 8 10 15 21 25 28 29 31 35 36 40 41 42 43 45 46 47 49 51 52 57 59 62 65 67 68 72 77 79 83 84 91 96
a 8 10 15 21 24 25 28 29 31 35 36 40 41 42 45 46 47 49 51 52 57 59 62 65 67 68 72 77 79 83 84 91 96
a 8 10 15 21 24 25 28 29 31 35 36 40 41 42 43 45 46 47 49 51 52 57 59 62 65 67 68 72 77 79 83 84 91
a 8 15 21 24 25 28 29 31 35 36 40 41 42 43 45 46 47 49 51 52 57 59 62 63 65 67 68 72 77 79 83 84 91
a 8 10 15 21 24 25 28 29 31 35 36 40 41 42 43 45 46 47 49 51 52 57 62 63 65 67 68 72 77 79 83 84 91
a 8 10 15 21 24 25 28 29 31 35 36 40 41 42 43 45 46 47 49 51 52 57 59 62 63 65 68 72 77 79 83 84 91
a 8 10 12 15 21 24 25 28 29 31 35 36 40 41 42 43 45 46 47 49 51 52 57 59 62 63 68 72 77 79 83 84 91
a 10 12 15 21 24 25 28 29 31 35 36 40 41 42 43 45 46 47 49 50 51 52 57 59 62 63 68 72 77 79 83 84 91
a 8 10 12 21 24 25 28 29 31 35 36 40 41 42 43 45 46 47 49 50 51 52 57 59 62 63 68 72 77 79 83 84 91
a 8 12 15 21 24 25 28 29 31 35 36 40 41 42 43 45 46 47 49 50 51 52 57 59 62 63 68 72 77 79 83 84 91
a 12 15 21 24 25 28 29 31 35 36 40 41 42 43 45 46 47 49 50 51 52 57 59 62 63 65 68 72 77 79 83 84 91
a 10 12 15 21 24 25 28 29 31 35 36 40 41 42 43 45 46 47 49 50 52 57 59 62 63 65 68 72 77 79 83 84 91
a 12 15 21 24 25 28 29 31 35 36 40 41 42 43 45 46 47 49 50 52 57 59 62 63 65 68 72 77 79 81 83 84 91
a 15 21 24 25 28 29 31 35 36 40 41 42 43 45 46 47 49 50 51 52 57 59 62 63 65 68 72 77 79 81 83 84 91
a 8 15 21 25 28 29 31 35 36 40 41 42 43 45 46 47 49 50 51 52 57 59 62 63 65 68 72 77 79 81 83 84 91
a 8 15 21 24 25 28 29 31 35 36 40 41 42 43 46 47 49 50 51 52 57 59 62 63 65 68 72 77 79 81 83 84 91
a 8 15 21 24 25 28 29 31 35 36 40 41 42 43 46 47 49 50 51 52 57 59 62 63 65 67 68 72 77 79 81 83 91
a 8 15 21 24 28 29 31 35 36 40 41 42 43 46 47 49 50 51 52 57 59 62 63 65 67 68 72 77 79 81 83 91 97
a 8 15 21 24 28 29 31 35 36 40 41 42 43 46 47 49 50 51 52 57 62 63 65 67 68 72 77 79 81 83 91 96 97
a 8 15 21 24 28 29 31 35 36 40 41 42 43 46 49 50 51 52 57 62 63 65 67 68 72 77 79 81 83 91 96 97 104
a 8 15 21 24 28 29 31 35 36 40 41 42 43 46 49 50 51 52 57 59 62 63 65 67 68 72 77 79 81 83 96 97 104
a 8 15 21 24 28 29 31 35 36 40 41 42 43 46 49 50 52 57 59 62 63 65 67 68 72 77 79 81 83 90 96 97 104
a 8 15 16 21 24 29 31 35 36 40 41 42 43 46 49 50 52 57 59 62 63 65 67 68 72 77 79 81 83 90 96 97 104
a 8 15 16 21 24 29 31 35 36 40 41 42 43 46 49 50 52 56 57 59 62 63 65 67 68 72 77 79 83 90 96 97 104
a 8 15 16 21 24 28 29 31 35 36 40 41 42 43 46 49 50 52 57 59 62 63 65 67 68 72 77 79 83 90 96 97 104
a 8 15 16 21 24 28 29 31 35 40 41 42 43 46 49 50 52 57 59 62 63 65 67 68 72 75 77 79 83 90 96 97 104
a 8 15 16 21 24 28 29 31 35 40 41 42 43 46 49 50 52 57 59 62 63 65 67 68 72 75 77 83 90 96 97 103 104
a 8 15 16 21 24 29 31 35 40 41 42 43 46 49 50 52 56 57 59 62 63 65 67 68 72 75 77 83 90 96 97 103 104
a 8 16 19 21 24 29 31 35 40 41 42 43 46 49 50 52 56 57 59 62 63 65 67 68 72 75 77 83 90 96 97 103 104
a 8 16 19 21 24 29 31 35 40 41 42 43 46 49 50 52 56 57 59 62 63 67 68 69 72 75 77 83 90 96 97 103 104
a 8 16 19 21 24 29 35 40 41 42 43 46 49 50 52 56 57 59 62 63 67 68 69 72 75 77 83 90 96 97 102 103 104
a 8 16 17 19 21 24 35 40 41 42 43 46 49 50 52 56 57 59 62 63 67 68 69 72 75 77 83 90 96 97 102 103 104
a 8 16 17 19 21 24 35 40 41 42 43 46 49 50 52 56 57 59 62 63 67 68 69 72 75 77 90 92 96 97 102 103 104
a 8 16 17 19 21 24 32 35 40 41 42 43 46 50 52 56 57 59 62 63 67 68 69 72 75 77 90 92 96 97 102 103 104
a 8 16 17 19 21 32 35 40 41 42 43 44 46 50 52 56 57 59 62 63 67 68 69 72 75 77 90 92 96 97 102 103 104
a 8 16 17 19 21 30 32 40 41 42 43 44 46 50 52 56 57 59 62 63 67 68 69 72 75 77 90 92 96 97 102 103 104
a 2 8 16 17 19 21 30 32 40 41 42 43 44 46 50 52 56 57 59 63 67 68 69 72 75 77 90 92 96 97 102 103 104
a 2 8 16 17 19 21 30 32 40 41 42 43 44 50 52 56 57 59 63 67 68 69 72 75 77 90 92 93 96 97 102 103 104
a 2 8 16 17 19 21 30 32 34 41 42 43 44 50 52 56 57 59 63 67 68 69 72 75 77 90 92 93 96 97 102 103 104
a 2 8 16 17 19 21 30 32 34 41 42 44 50 52 56 57 59 63 67 68 69 72 75 77 90 92 93 95 96 97 102 103 104
a 2 8 16 17 19 21 30 32 34 37 41 42 44 50 52 56 57 63 67 68 69 72 75 77 90 92 93 95 96 97 102 103 104
a 2 8 16 17 19 21 30 32 34 37 41 42 44 50 52 56 57 63 66 67 68 69 75 77 90 92 93 95 96 97 102 103 104
c Step: 76
#END: [Tue Sep  5 00:54:14 2023]