#BEGIN: [Tue Sep  5 00:23:29 2023]
#HOST: s10
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance007_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance007_graph003_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_instance007_graph003.col /benchmark/random_instance/random_instance007_graph003_01.dat
c /benchmark/random_instance/random_instance007_graph003.col
c /benchmark/random_instance/random_instance007_graph003_01.dat
TIMEOUT 1800
c send SIGTERM to CID c656c8e2a0e85c21f75d65aea390c4be044405ee7df9eaecc18aedf624e31025
s 79 50 76 31 56 85 15 82 11 87 45 13 34 81 29 36 72 58 47 6 46 9 12 33 86 88 77 18 91 20 17 43
t 67 15 45 19 22 66 56 79 91 27 49 43 4 90 18 40 82 6 36 42 20 3 88 46 32 28 85 81 70 33 65 76
a YES
a 6 9 11 12 13 15 17 18 20 29 31 33 34 36 43 45 46 47 50 56 58 72 76 77 79 81 82 85 86 87 88 91
a 6 11 12 13 15 17 18 20 27 29 31 33 34 36 43 45 46 47 50 56 58 72 76 77 79 81 82 85 86 87 88 91
a 4 6 11 12 13 15 17 18 20 27 29 31 33 34 36 45 46 47 50 56 58 72 76 77 79 81 82 85 86 87 88 91
a 4 6 11 12 13 15 17 18 20 22 27 29 31 33 34 36 45 46 47 50 56 58 72 76 77 79 81 82 85 86 88 91
a 4 6 11 12 13 15 17 18 20 22 27 29 33 34 36 43 45 46 47 50 56 58 72 76 77 79 81 82 85 86 88 91
a 4 6 11 12 13 15 17 18 19 20 22 27 33 34 36 43 45 46 47 50 56 58 72 76 77 79 81 82 85 86 88 91
a 4 6 12 13 15 17 18 19 20 22 27 33 34 36 42 43 45 46 47 50 56 58 72 76 77 79 81 82 85 86 88 91
a 4 6 12 15 17 18 19 20 22 27 28 33 34 36 42 43 45 46 47 50 56 58 72 76 77 79 81 82 85 86 88 91
a 4 6 12 15 17 18 19 20 22 27 28 33 34 36 42 43 45 46 47 49 50 56 58 72 76 77 79 81 82 85 86 91
a 4 6 12 15 17 18 19 20 22 27 28 33 34 36 42 43 45 46 47 49 50 56 58 65 72 76 77 79 81 82 85 86
a 4 6 12 15 17 18 19 20 22 27 28 33 34 36 42 43 45 46 47 49 50 56 58 65 72 76 79 81 82 85 86 90
a 4 6 15 17 18 19 20 22 27 28 33 34 36 42 43 45 46 47 49 50 56 58 65 70 72 76 79 81 82 85 86 90
a 4 15 17 18 19 20 22 27 28 33 34 36 42 43 45 46 47 49 50 56 58 65 70 72 76 79 81 82 85 86 90 91
a 4 15 17 18 19 20 22 27 28 33 34 36 42 43 45 46 47 49 50 56 58 65 70 72 76 79 81 82 85 88 90 91
a 4 15 18 19 20 22 27 28 33 34 36 42 43 45 46 47 49 50 56 57 58 65 70 72 76 79 81 82 85 88 90 91
a 4 15 18 19 20 22 27 28 33 34 36 42 43 45 46 47 49 56 57 58 65 66 70 72 76 79 81 82 85 88 90 91
a 4 15 18 19 22 25 27 28 33 34 36 42 43 45 46 47 49 56 57 58 65 66 70 72 76 79 81 82 85 88 90 91
a 15 18 19 22 25 27 28 33 34 36 42 43 45 46 47 49 56 57 58 65 66 70 72 76 79 81 82 85 86 88 90 91
a 15 18 19 22 25 27 28 33 34 36 42 43 45 46 47 49 50 56 57 58 65 70 72 76 79 81 82 85 86 88 90 91
a 15 18 19 22 25 27 28 33 34 36 42 43 45 46 47 49 50 56 57 58 60 65 70 72 76 79 81 82 85 88 90 91
a 18 19 22 25 27 28 33 34 36 42 43 45 46 47 49 50 56 57 58 60 62 65 70 72 76 79 81 82 85 88 90 91
a 18 19 22 25 27 28 32 33 34 36 42 43 45 46 49 50 56 57 58 60 62 65 70 72 76 79 81 82 85 88 90 91
a 4 18 19 25 27 28 32 33 34 36 42 43 45 46 49 50 56 57 58 60 62 65 70 72 76 79 81 82 85 88 90 91
a 4 18 19 25 27 28 32 33 34 36 42 43 45 46 47 49 50 56 57 58 60 62 65 70 72 76 79 81 82 85 88 91
a 4 18 19 22 25 27 28 32 33 34 36 42 43 45 46 47 49 50 56 57 58 60 62 65 70 72 79 81 82 85 88 91
a 4 18 19 22 25 27 28 32 33 34 36 42 43 45 46 47 49 56 57 58 60 62 65 70 72 76 79 81 82 85 88 91
a 18 19 22 25 27 28 32 33 34 36 42 43 45 46 47 49 50 56 57 58 60 62 65 70 72 76 79 81 82 85 88 91
a 18 22 25 27 28 32 33 34 36 42 43 45 46 47 49 50 56 57 58 60 62 65 70 72 76 79 81 82 85 88 90 91
a 18 19 22 25 27 28 32 33 34 36 42 43 45 46 47 49 50 56 58 60 62 65 70 72 76 79 81 82 85 88 90 91
a 18 19 22 25 28 32 33 34 36 42 43 45 46 47 49 50 56 57 58 60 62 65 70 72 76 79 81 82 85 88 90 91
a 18 19 22 25 27 28 32 33 34 36 42 43 45 46 47 49 50 56 57 60 62 65 70 72 76 79 81 82 85 88 90 91
a 15 18 19 22 25 27 28 32 33 34 36 42 43 45 46 47 49 50 56 57 60 62 65 70 72 76 79 81 82 85 88 91
a 15 18 19 22 25 27 28 32 33 34 36 42 43 45 46 47 49 50 56 57 60 62 65 70 72 76 79 82 85 88 90 91
a 15 18 19 22 25 27 28 32 33 34 36 42 43 45 46 47 49 50 56 57 60 62 65 70 72 76 79 81 82 85 88 90
a 15 18 19 22 25 27 28 32 33 34 36 42 43 45 46 47 49 50 56 57 60 62 65 70 72 76 79 81 82 88 90 91
a 15 18 19 22 25 27 28 32 33 34 36 42 43 45 46 47 49 50 56 57 58 60 62 65 70 72 76 81 82 88 90 91
a 15 18 19 22 25 28 32 33 34 36 42 43 45 46 47 49 50 56 57 58 60 62 65 70 72 76 79 81 82 88 90 91
a 15 18 19 22 25 28 32 33 34 36 42 43 45 46 47 49 50 56 57 58 60 62 65 70 72 76 79 81 82 85 88 91
a 15 18 19 22 25 28 32 33 34 36 43 45 46 47 49 50 56 57 58 60 62 65 70 72 73 76 79 81 82 85 88 91
a 15 18 19 20 22 28 32 33 34 36 43 45 46 47 49 50 56 57 58 60 62 65 70 72 73 76 79 81 82 85 88 91
a 18 19 20 22 27 28 32 33 34 36 43 45 46 47 49 50 56 57 58 60 62 65 70 72 73 76 79 81 82 85 88 91
a 18 19 20 22 27 28 32 33 34 36 42 43 45 46 47 49 50 56 57 58 60 62 65 70 72 76 79 81 82 85 88 91
a 4 19 20 22 27 28 32 33 34 36 42 43 45 46 47 49 50 56 57 58 60 62 65 70 72 76 79 81 82 85 88 91
a 4 15 19 20 22 27 28 32 33 34 36 42 43 45 46 47 49 50 56 57 58 60 62 65 70 72 76 79 81 82 85 88
a 4 15 18 19 20 22 27 28 32 33 34 36 42 43 45 46 47 49 50 56 57 58 60 62 65 70 72 76 79 81 82 85
a 3 4 15 18 19 20 22 27 28 32 33 34 36 42 43 45 46 47 49 50 56 57 60 62 65 70 72 76 79 81 82 85
a 3 4 15 18 19 20 22 27 28 32 33 34 36 42 43 45 46 47 49 50 56 57 60 62 65 70 72 76 79 81 82 90
a 3 4 15 18 19 20 22 27 32 33 34 36 42 43 45 46 47 49 50 56 57 60 62 65 70 72 76 79 81 82 85 90
a 3 4 15 18 19 20 22 28 32 33 34 36 42 43 45 46 47 49 50 56 57 60 62 65 70 72 76 79 81 82 85 90
a 3 4 15 18 20 22 27 28 32 33 34 36 42 43 45 46 47 49 50 56 57 60 62 65 70 72 76 79 81 82 85 90
a 3 4 18 19 20 22 27 28 32 33 34 36 42 43 45 46 47 49 50 56 57 60 62 65 70 72 76 79 81 82 85 90
a 3 4 15 18 19 20 22 27 28 32 33 34 42 43 45 46 47 49 50 56 57 60 62 65 70 72 76 79 81 82 85 90
a 3 4 15 18 19 20 22 27 28 32 33 34 36 42 43 45 46 47 49 50 56 57 60 62 65 70 72 79 81 82 85 90
a 3 4 15 18 19 20 22 27 28 32 33 34 36 42 43 45 46 49 50 56 57 60 62 65 70 72 79 81 82 85 90 91
a 3 4 15 18 19 20 22 27 28 32 33 34 36 42 43 45 46 49 50 56 57 60 62 65 70 72 74 79 81 85 90 91
a 3 4 15 18 19 20 22 27 28 32 33 34 36 42 43 45 46 49 50 56 57 60 62 65 70 72 74 76 79 81 85 90
a 3 4 15 18 19 20 22 27 28 32 33 34 36 42 43 45 46 49 50 56 57 60 62 65 70 72 76 79 81 82 85 90
a 3 4 15 18 19 20 22 27 28 32 33 34 36 40 42 43 45 46 49 56 57 60 62 65 70 72 76 79 81 82 85 90
a 4 15 18 19 20 22 27 28 32 33 34 36 40 42 43 45 46 47 49 56 57 60 62 65 70 72 76 79 81 82 85 90
a 4 15 18 19 20 22 27 28 32 33 34 36 40 42 43 45 46 47 49 56 57 60 62 65 72 76 79 81 82 85 88 90
a 4 15 18 19 20 22 27 28 32 33 34 36 40 42 43 45 46 47 49 56 57 60 62 65 70 72 76 79 81 82 85 88
a 4 15 18 19 20 22 27 28 32 33 36 40 42 43 45 46 47 49 56 57 58 60 62 65 70 72 76 79 81 82 85 88
a 15 18 19 20 22 27 28 32 33 34 36 40 42 43 45 46 47 49 56 57 58 60 62 65 70 72 76 79 81 82 85 88
a 15 18 19 20 22 27 28 32 33 34 36 42 43 45 46 47 49 50 56 57 58 60 62 65 70 72 76 79 81 82 85 88
a 18 19 20 22 27 28 32 33 34 36 42 43 45 46 47 49 50 56 57 58 60 62 65 70 72 76 79 81 82 85 88 90
a 18 19 20 22 27 28 32 33 34 36 42 43 45 46 47 49 50 56 57 58 60 62 65 70 76 78 79 81 82 85 88 90
a 18 19 20 22 27 28 32 33 34 36 40 42 43 45 46 47 49 56 57 58 60 62 65 70 76 78 79 81 82 85 88 90
a 3 18 19 20 22 27 28 32 33 34 36 40 42 43 45 46 47 49 56 57 60 62 65 70 76 78 79 81 82 85 88 90
a 18 19 20 22 27 28 32 33 34 36 40 42 43 45 46 47 49 56 57 60 62 65 70 76 78 79 81 82 85 88 90 91
a 15 18 19 20 22 27 28 32 33 34 36 40 42 43 45 46 47 49 56 57 60 62 65 70 76 78 79 81 82 85 90 91
a 3 15 18 19 20 22 27 28 32 33 36 40 42 43 45 46 47 49 56 57 60 62 65 70 76 78 79 81 82 85 90 91
a 3 4 15 18 19 20 22 27 28 32 33 36 40 42 43 45 46 47 49 56 57 60 62 65 70 76 79 81 82 85 90 91
a 3 4 15 18 19 20 22 27 28 32 33 36 40 42 43 45 46 47 49 56 57 62 65 70 76 79 81 82 85 88 90 91
a 3 4 15 18 19 20 22 27 28 32 33 36 40 42 43 45 46 47 49 56 57 62 65 70 72 76 81 82 85 88 90 91
a 3 4 15 18 19 20 22 27 28 32 33 36 40 42 43 45 46 47 49 56 57 60 62 65 72 76 81 82 85 88 90 91
a 4 15 18 19 20 22 27 28 32 33 36 40 42 43 45 46 47 49 56 57 60 62 65 70 72 76 81 82 85 88 90 91
a 4 15 18 19 20 22 27 28 32 33 34 36 40 42 43 45 46 47 49 56 60 62 65 70 72 76 81 82 85 88 90 91
a 4 15 18 19 20 22 27 28 32 33 34 36 40 42 43 45 46 47 49 56 57 60 62 65 70 72 76 81 82 88 90 91
a 4 15 18 19 22 27 28 32 33 34 36 40 42 43 45 46 47 49 56 57 60 62 65 70 72 76 79 81 82 88 90 91
a 4 15 18 19 20 22 27 28 32 33 34 36 40 42 43 45 46 49 56 57 60 62 65 70 72 76 79 81 82 88 90 91
a 3 15 18 19 20 22 27 28 32 33 34 36 40 42 43 45 46 49 56 57 60 62 65 70 72 76 79 81 82 88 90 91
a 3 15 18 19 20 22 27 28 32 33 34 36 40 42 43 45 46 49 56 57 60 62 65 70 76 79 81 82 85 88 90 91
a 3 4 15 18 19 20 22 27 28 32 33 36 40 42 43 45 46 49 56 57 60 62 65 70 76 79 81 82 85 88 90 91
a 3 4 15 18 19 20 22 27 28 32 33 36 40 42 43 45 46 49 56 57 60 65 67 70 76 79 81 82 85 88 90 91
a 3 4 15 18 19 20 22 27 28 32 33 36 40 42 43 45 46 49 56 57 65 66 67 70 76 79 81 82 85 88 90 91
a 3 4 6 15 18 19 20 22 27 28 32 33 36 40 42 43 45 46 49 56 65 66 67 70 76 79 81 82 85 88 90 91
c Step: 85
#END: [Tue Sep  5 00:53:29 2023]