#BEGIN: [Thu Aug 31 18:01:47 2023]
#HOST: s14
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/mug100_1.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/mug100_1_02.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/2022benchmark/benchmark/color04/mug100_1.col /benchmark/2022benchmark/benchmark/color04/mug100_1_02.dat
c /benchmark/2022benchmark/benchmark/color04/mug100_1.col
c /benchmark/2022benchmark/benchmark/color04/mug100_1_02.dat
TIMEOUT 1800
c send SIGTERM to CID 819757c1b072e487cfde04b5fdc4ad7a5d9c462ab08b77e41f63d9df6dfd6e22
s 3 6 8 12 16 17 22 25 28 29 34 35 40 46 48 52 55 56 59 64 67 68 73 76 77 82 85 86 91 94 97 100 
t 3 6 8 12 15 17 20 24 28 29 32 35 38 42 45 51 55 57 59 64 66 69 71 75 77 80 83 87 91 93 96 100
a YES
a 3 6 8 12 16 17 22 25 28 29 34 35 40 46 48 52 55 56 59 64 67 68 73 76 77 82 85 86 91 94 97 100
a 3 6 8 12 16 17 22 25 28 29 34 35 40 46 48 52 55 56 57 59 64 67 73 76 77 82 85 86 91 94 97 100
a 3 6 8 12 16 17 22 25 28 29 34 35 40 46 48 52 55 56 57 59 64 67 73 76 77 82 85 87 91 94 97 100
a 3 6 8 11 12 16 17 22 25 28 29 34 35 40 46 48 52 55 56 57 59 64 67 73 76 77 82 87 91 94 97 100
a 3 6 8 11 12 16 17 22 25 28 29 34 35 40 46 48 52 55 56 57 59 64 67 71 76 77 82 87 91 94 97 100
a 3 6 8 11 12 16 17 22 25 28 29 34 35 40 42 46 52 55 56 57 59 64 67 71 76 77 82 87 91 94 97 100
a 3 6 8 11 12 16 17 22 25 28 29 32 35 40 42 46 52 55 56 57 59 64 67 71 76 77 82 87 91 94 97 100
a 3 6 8 11 12 16 17 22 25 28 29 32 35 40 46 48 52 55 56 57 59 64 67 71 76 77 82 87 91 94 97 100
a 3 6 8 11 12 16 17 20 25 28 29 32 35 40 46 48 52 55 56 57 59 64 67 71 76 77 82 87 91 94 97 100
a 3 6 8 12 16 17 20 25 28 29 32 35 40 46 48 52 55 56 57 59 64 67 71 76 77 82 85 87 91 94 97 100
a 3 6 8 12 16 17 20 25 28 29 32 35 40 46 48 52 55 57 59 64 67 69 71 76 77 82 85 87 91 94 97 100
a 3 6 8 11 12 16 17 20 25 28 29 32 35 40 46 48 52 55 57 59 64 67 69 71 76 77 82 85 87 91 94 100
a 3 6 8 11 12 16 17 20 25 28 29 32 35 40 42 46 52 55 57 59 64 67 69 71 76 77 82 85 87 91 94 100
a 3 6 8 11 12 16 17 20 25 28 29 32 35 40 42 46 52 55 57 59 64 67 69 71 76 77 82 85 87 91 96 100
a 3 6 8 11 12 16 17 20 25 28 29 32 35 40 42 45 52 55 57 59 64 67 69 71 76 77 82 85 87 91 96 100
a 3 6 8 11 12 16 17 20 25 28 29 32 35 40 42 45 52 55 57 59 64 67 69 71 76 77 81 85 87 91 96 100
a 3 6 8 11 12 16 17 20 25 28 29 32 35 40 42 45 52 55 57 59 64 66 69 71 76 77 81 85 87 91 96 100
a 3 6 8 11 12 16 17 20 25 28 29 32 35 40 42 45 52 55 57 59 64 66 69 71 76 77 81 83 87 91 96 100
a 3 6 8 11 12 16 17 20 25 28 29 32 35 40 42 45 52 55 57 59 64 66 69 71 76 77 80 83 87 91 96 100
a 3 6 8 11 12 16 17 20 25 28 29 32 35 38 42 45 52 55 57 59 64 66 69 71 76 77 80 83 87 91 96 100
a 3 6 8 11 12 16 17 20 25 28 29 32 35 38 42 45 52 55 57 59 64 66 69 71 75 77 80 83 87 91 96 100
a 3 6 8 11 12 16 17 20 25 28 29 32 35 38 42 45 51 55 57 59 64 66 69 71 75 77 80 83 87 91 96 100
a 3 6 8 11 12 16 17 20 24 28 29 32 35 38 42 45 51 55 57 59 64 66 69 71 75 77 80 83 87 91 96 100
a 3 6 8 11 12 16 17 20 24 28 29 32 35 38 42 45 51 55 57 59 64 66 69 71 75 77 82 83 87 91 96 100
a 1 6 8 11 12 16 17 20 24 28 29 32 35 38 42 45 51 55 57 59 64 66 69 71 75 77 82 83 87 91 96 100
a 1 6 8 11 12 16 17 20 24 28 29 32 35 38 42 45 51 55 57 59 64 66 69 71 75 77 80 83 87 91 96 100
a 1 6 8 11 12 16 20 24 28 29 32 35 38 42 45 51 55 57 59 64 66 69 71 75 77 80 83 87 91 94 96 100
a 1 6 8 11 12 16 17 20 24 28 29 32 35 38 42 45 51 55 57 59 64 66 69 71 75 77 80 83 87 91 94 96
a 1 6 8 11 12 16 17 20 24 28 29 32 35 38 42 45 51 55 57 59 64 66 69 71 75 77 80 83 87 91 93 96
a 1 6 8 11 12 16 17 20 24 28 29 32 35 38 42 45 51 55 57 59 64 66 69 71 75 77 82 83 87 91 93 96
a 1 6 8 11 12 16 17 20 24 28 29 32 35 38 42 45 51 55 57 59 64 66 69 71 75 77 83 87 91 93 96 100
a 1 6 8 11 12 16 17 20 24 28 29 32 35 38 42 45 51 55 57 59 64 66 69 71 75 77 82 83 87 91 93 100
a 1 6 8 11 12 16 17 20 24 28 29 32 35 38 42 46 51 55 57 59 64 66 69 71 75 77 82 83 87 91 93 100
a 1 6 8 11 12 16 17 20 24 28 29 32 35 38 46 48 51 55 57 59 64 66 69 71 75 77 82 83 87 91 93 100
a 1 6 8 11 12 16 17 20 24 28 29 32 35 38 46 48 51 53 57 59 64 66 69 71 75 77 82 83 87 91 93 100
a 1 6 8 11 12 16 17 20 24 28 29 32 35 38 46 48 50 51 53 57 59 64 66 69 71 75 77 82 83 87 91 100
a 1 6 8 11 12 16 17 20 24 28 29 32 35 38 42 46 50 51 53 57 59 64 66 69 71 75 77 82 83 87 91 100
a 1 6 8 11 12 16 17 20 24 28 29 32 35 38 42 46 50 51 55 57 59 64 66 69 71 75 77 82 83 87 91 100
a 1 6 8 11 12 16 17 20 24 28 29 32 35 38 46 48 50 51 55 57 59 64 66 69 71 75 77 82 83 87 91 100
a 1 6 8 11 12 16 17 20 24 28 29 32 35 38 48 50 51 55 57 59 64 66 69 71 75 77 82 83 87 91 96 100
a 6 8 11 12 16 17 20 24 28 29 32 35 38 46 48 50 51 55 57 59 64 66 69 71 75 77 82 83 87 91 96 100
a 6 8 11 12 16 17 20 24 28 29 32 35 38 46 48 50 51 55 57 59 64 66 69 71 75 77 80 83 87 91 96 100
a 6 8 11 12 16 17 20 24 28 29 32 35 38 42 46 50 51 55 57 59 64 66 69 71 75 77 80 83 87 91 96 100
a 1 6 8 11 12 16 17 20 28 29 32 35 38 42 46 50 51 55 57 59 64 66 69 71 75 77 80 83 87 91 96 100
a 1 6 8 11 12 16 17 20 24 28 29 32 35 38 42 46 50 51 57 59 64 66 69 71 75 77 80 83 87 91 96 100
a 1 6 8 11 12 16 17 24 28 29 32 35 38 42 46 50 51 55 57 59 64 66 69 71 75 77 80 83 87 91 96 100
a 1 6 8 11 12 16 17 24 28 29 32 35 38 46 48 50 51 55 57 59 64 66 69 71 75 77 80 83 87 91 96 100
a 1 6 8 11 12 16 17 24 28 29 32 35 38 46 48 50 51 55 58 59 64 66 69 71 75 77 80 83 87 91 96 100
a 1 6 8 11 12 16 17 20 24 28 29 32 35 38 46 48 50 51 55 58 59 64 66 71 75 77 80 83 87 91 96 100
a 1 6 8 11 12 16 17 20 24 28 29 32 35 38 42 46 50 51 55 58 59 64 66 71 75 77 80 83 87 91 96 100
a 1 6 8 11 12 16 17 20 24 28 29 32 35 38 42 46 50 51 53 58 59 64 66 71 75 77 80 83 87 91 96 100
a 1 6 8 11 12 16 17 20 24 28 29 32 35 38 46 48 50 51 53 58 59 64 66 71 75 77 80 83 87 91 96 100
a 1 6 8 11 12 16 17 20 24 28 29 32 35 38 46 48 50 51 53 57 59 64 66 71 75 77 80 83 87 91 96 100
a 3 6 8 11 12 16 17 20 24 28 29 32 35 38 46 48 50 51 53 57 59 64 66 71 75 77 80 83 87 91 96 100
a 3 6 8 11 12 16 17 20 24 28 29 32 35 38 46 48 50 51 53 57 59 64 66 71 74 77 80 83 87 91 96 100
a 3 6 8 11 12 16 17 20 24 28 29 32 35 40 46 48 50 51 53 57 59 64 66 71 74 77 80 83 87 91 96 100
a 3 6 8 11 12 16 17 20 24 28 29 32 35 40 42 46 50 51 53 57 59 64 66 71 74 77 80 83 87 91 96 100
a 3 6 8 11 12 16 17 20 24 28 29 32 35 40 42 46 50 51 55 57 59 64 66 71 74 77 80 83 87 91 96 100
a 3 6 8 11 12 16 17 20 24 28 29 32 35 42 46 50 51 55 57 59 64 66 69 71 74 77 80 83 87 91 96 100
a 3 6 8 11 12 16 17 22 24 28 29 32 35 42 46 50 51 55 57 59 64 66 69 71 74 77 80 83 87 91 96 100
a 3 6 8 11 12 16 17 22 24 28 29 32 35 42 46 50 51 53 57 59 64 66 69 71 74 77 80 83 87 91 96 100
a 3 6 8 11 12 16 17 22 24 28 29 32 35 42 46 50 51 53 57 59 64 66 69 71 75 77 80 83 87 91 96 100
a 3 6 8 11 12 16 17 20 24 28 29 32 35 42 46 50 51 53 57 59 64 66 69 71 75 77 80 83 87 91 96 100
a 3 6 8 11 12 16 17 20 24 28 29 32 35 42 46 50 51 53 57 59 64 66 69 71 75 77 82 83 87 91 96 100
a 3 6 8 11 12 16 17 20 24 28 29 32 35 42 46 50 51 53 57 59 64 66 69 71 75 77 81 83 87 91 96 100
a 3 6 8 11 12 16 17 20 24 28 29 32 35 42 46 50 51 53 57 59 64 66 69 71 75 77 81 83 87 91 96 99
a 3 6 8 11 12 16 17 20 24 28 29 32 35 38 42 46 50 51 53 57 59 64 66 69 71 75 77 81 83 87 91 96
a 3 6 8 11 12 16 17 20 24 28 29 32 35 38 46 48 50 51 53 57 59 64 66 69 71 75 77 81 83 87 91 96
a 3 6 8 11 12 16 17 20 24 28 29 32 35 46 48 50 51 53 57 59 64 66 69 71 75 77 81 83 87 91 96 100
a 3 6 8 11 12 16 17 20 24 28 29 32 35 46 48 50 51 53 57 59 64 66 69 71 75 77 80 83 87 91 96 100
a 3 6 8 11 12 16 17 20 23 28 29 32 35 46 48 50 51 53 57 59 64 66 69 71 75 77 80 83 87 91 96 100
a 3 6 8 11 12 16 17 20 23 28 29 32 35 42 46 50 51 53 57 59 64 66 69 71 75 77 80 83 87 91 96 100
a 3 6 8 11 12 16 17 20 23 28 29 32 35 42 46 50 51 53 57 59 64 66 69 71 75 77 80 83 87 91 96 98
a 3 6 8 11 12 16 17 20 28 29 32 35 38 42 46 50 51 53 57 59 64 66 69 71 75 77 80 83 87 91 96 98
a 3 6 8 11 12 16 17 20 28 29 32 35 40 42 46 50 51 53 57 59 64 66 69 71 75 77 80 83 87 91 96 98
a 3 6 8 11 12 16 17 20 28 29 32 35 40 42 46 50 51 53 57 59 64 66 69 73 75 77 80 83 87 91 96 98
a 3 6 8 11 12 17 20 24 28 29 32 35 40 42 46 50 51 53 57 59 64 66 69 73 75 77 80 83 87 91 96 98
a 3 6 8 12 15 17 20 24 28 29 32 35 40 42 46 50 51 53 57 59 64 66 69 73 75 77 80 83 87 91 96 98
a 3 6 8 12 15 17 20 24 28 29 32 35 40 42 46 50 51 53 57 59 64 66 69 73 75 77 82 83 87 91 96 98
a 3 6 8 12 15 17 20 24 28 29 32 35 40 42 46 50 51 55 57 59 64 66 69 73 75 77 82 83 87 91 96 98
a 3 6 8 12 15 17 20 24 28 29 32 35 40 42 46 50 51 55 57 59 64 66 69 73 75 77 82 83 87 91 96 100
a 3 6 8 12 15 17 20 24 28 29 32 35 40 42 46 50 51 55 57 59 64 66 69 71 75 77 82 83 87 91 96 100
a 3 6 8 12 15 17 20 24 28 29 32 35 38 42 46 50 51 55 57 59 64 66 69 71 75 77 82 83 87 91 96 100
a 3 6 8 12 15 17 20 24 28 29 32 35 38 42 46 50 51 55 57 59 64 66 69 71 75 77 80 83 87 91 96 100
a 3 6 8 12 15 17 20 24 28 29 32 35 38 42 46 51 55 57 59 64 66 69 71 75 77 80 83 87 91 94 96 100
a 3 6 8 12 15 17 20 24 28 29 32 35 38 42 46 51 55 57 59 64 66 69 71 75 77 80 83 87 91 93 96 100
a 3 6 8 12 15 17 20 24 28 29 32 35 38 42 45 51 55 57 59 64 66 69 71 75 77 80 83 87 91 93 96 100
c Step: 86
#END: [Thu Aug 31 18:31:47 2023]