#BEGIN: [Fri Sep  1 03:13:06 2023]
#HOST: s07
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/queen9_9.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/queen9_9_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/2022benchmark/benchmark/color04/queen9_9.col /benchmark/2022benchmark/benchmark/color04/queen9_9_01.dat
c /benchmark/2022benchmark/benchmark/color04/queen9_9.col
c /benchmark/2022benchmark/benchmark/color04/queen9_9_01.dat
s 3 15 27 29 41 52 64 80 
t 4 26 29 41 46 60 72 75
a YES
a 3 15 27 29 41 52 64 80
a 4 15 27 29 41 52 64 80
a 15 27 29 41 52 58 64 80
a 3 15 27 29 41 52 58 80
a 3 15 29 41 52 58 64 80
a 3 15 27 29 41 52 58 64
a 3 15 27 41 52 58 64 80
a 3 15 27 29 41 58 64 80
a 3 15 27 29 52 58 64 80
a 3 27 29 41 52 58 64 80
a 3 14 27 29 52 58 64 80
a 3 14 29 45 52 58 64 80
a 3 14 29 45 51 58 64 80
a 7 14 29 45 51 58 64 80
a 7 12 29 45 51 58 64 80
a 12 23 29 45 51 58 64 80
a 6 12 23 29 45 58 64 80
a 6 23 29 45 52 58 64 80
a 6 11 23 45 52 58 64 80
a 6 11 23 45 52 58 64 75
a 6 23 29 45 52 58 64 75
a 6 10 23 29 45 52 58 75
a 8 10 23 29 45 52 58 75
a 10 23 29 45 52 58 71 75
a 4 10 23 29 45 52 71 75
a 4 10 23 45 52 56 71 75
a 4 10 23 45 52 56 71 78
a 4 10 23 45 52 57 71 78
a 10 23 29 45 52 57 71 78
a 4 10 23 29 45 52 57 78
a 4 10 23 29 45 52 66 78
a 4 17 23 29 45 52 66 78
a 4 17 23 29 45 52 64 78
a 4 17 23 30 45 52 64 78
a 4 11 23 30 45 52 64 78
a 4 11 26 30 45 52 64 78
a 4 11 26 30 52 63 64 78
a 4 11 26 30 52 59 64 78
a 9 11 26 30 52 59 64 78
a 9 13 26 30 52 59 64 78
a 13 26 30 45 52 59 64 78
a 13 26 30 45 47 59 64 78
a 9 13 26 30 47 59 64 78
a 9 13 30 44 47 59 64 78
a 9 13 30 44 47 61 64 78
a 9 13 19 30 44 47 61 78
a 9 13 19 44 47 61 66 78
a 9 13 19 32 44 61 66 78
a 9 13 20 32 44 61 66 78
a 9 13 20 32 44 55 66 78
a 9 13 20 32 44 55 66 79
a 9 13 20 32 44 51 55 79
a 9 20 32 44 51 55 66 79
a 9 13 32 44 51 55 66 79
a 9 13 20 32 44 51 66 79
a 9 13 20 44 51 55 66 79
a 9 13 20 32 51 55 66 79
a 13 20 32 44 51 55 66 79
a 9 13 20 32 44 51 55 66
a 9 13 20 44 51 55 66 77
a 9 16 20 44 51 55 66 77
a 9 16 29 44 51 55 66 77
a 9 22 29 44 51 55 66 77
a 9 10 22 29 44 51 66 77
a 10 22 29 44 51 63 66 77
a 7 10 22 29 44 63 66 77
a 7 10 22 44 51 63 66 77
a 7 22 28 44 51 63 66 77
a 16 22 28 44 51 63 66 77
a 2 16 28 44 51 63 66 77
a 2 25 28 44 51 63 66 77
a 2 25 28 40 51 63 66 77
a 2 14 25 28 40 51 63 66
a 2 14 25 28 51 63 66 80
a 2 14 25 28 39 51 63 80
a 2 14 25 39 51 63 64 80
a 2 14 25 36 39 51 64 80
a 2 13 25 36 39 51 64 80
a 2 25 36 39 51 58 64 80
a 2 25 36 39 51 58 64 77
a 2 13 25 36 39 51 64 77
a 13 25 36 39 51 62 64 77
a 13 20 36 39 51 62 64 77
a 9 13 20 39 51 62 64 77
a 13 20 34 39 51 62 64 77
a 9 13 34 39 51 62 64 77
a 9 13 20 34 39 51 62 77
a 9 13 20 34 39 51 62 68
a 13 20 34 39 51 62 68 73
a 6 13 20 34 39 62 68 73
a 6 13 27 34 39 62 68 73
a 6 11 27 34 39 62 68 73
a 6 11 27 34 40 62 68 73
a 6 11 27 34 40 53 68 73
a 6 12 27 34 40 53 68 73
a 6 12 27 34 40 47 68 73
a 6 12 27 34 40 47 71 73
a 6 12 34 40 47 59 71 73
a 6 12 34 45 47 59 71 73
a 6 13 34 45 47 59 71 73
a 6 13 34 45 48 59 71 73
a 6 13 20 34 45 48 59 73
a 13 20 34 45 48 59 71 73
a 6 13 20 34 45 48 71 73
a 6 13 20 34 48 59 71 73
a 6 20 34 45 48 59 71 73
a 6 13 20 34 45 59 71 73
a 6 13 20 34 45 48 59 71
a 6 20 34 45 48 59 71 76
a 6 10 34 45 48 59 71 76
a 6 10 34 45 47 59 71 76
a 6 10 21 34 45 47 59 76
a 6 17 21 34 45 47 59 76
a 6 17 21 28 45 47 59 76
a 6 17 21 28 47 59 72 76
a 6 17 21 34 47 59 72 76
a 6 10 21 34 47 59 72 76
a 8 10 21 34 47 59 72 76
a 8 10 21 33 47 59 72 76
a 8 10 21 33 38 59 72 76
a 7 10 21 33 38 59 72 76
a 7 10 21 33 38 54 59 76
a 7 10 33 38 54 59 71 76
a 7 10 26 33 38 54 59 76
a 7 12 26 33 38 54 59 76
a 7 12 33 38 54 59 71 76
a 7 12 33 37 54 59 71 76
a 7 12 26 33 37 54 59 76
a 7 11 26 33 37 54 59 76
a 7 11 26 33 37 59 72 76
a 7 26 33 37 48 59 72 76
a 7 11 26 33 48 59 72 76
a 7 11 26 33 37 48 72 76
a 7 14 26 33 37 48 72 76
a 14 26 33 37 48 61 72 76
a 14 20 33 37 48 61 72 76
a 8 14 20 33 37 61 72 76
a 8 14 20 33 37 61 72 75
a 8 14 20 37 49 61 72 75
a 8 14 20 36 37 49 61 75
a 8 14 20 36 37 49 61 66
a 8 15 20 36 37 49 61 66
a 8 15 20 36 37 49 61 75
a 8 15 20 37 49 61 68 75
a 8 15 20 34 37 49 68 75
a 8 15 20 34 37 49 72 75
a 8 15 20 34 37 49 63 75
a 8 15 20 34 37 63 68 75
a 15 20 34 37 49 63 68 75
a 8 15 20 34 37 49 63 68
a 8 15 20 34 49 63 68 75
a 8 15 20 37 49 63 68 75
a 8 20 34 37 49 63 68 75
a 6 20 34 37 49 63 68 75
a 6 20 34 37 49 62 68 75
a 15 20 34 37 49 62 68 75
a 1 15 20 34 49 62 68 75
a 1 20 34 45 49 62 68 75
a 6 20 34 45 49 62 68 75
a 6 20 34 45 49 62 64 75
a 6 11 34 45 49 62 64 75
a 6 11 23 34 45 62 64 75
a 6 11 23 34 45 49 62 64
a 6 11 23 34 45 62 64 76
a 6 11 23 34 45 48 62 76
a 6 10 23 34 45 48 62 76
a 6 10 23 34 45 48 65 76
a 6 10 34 45 48 59 65 76
a 6 10 21 34 45 59 65 76
a 6 10 21 34 53 59 65 76
a 6 10 21 34 53 59 72 76
a 10 21 34 38 53 59 72 76
a 9 10 21 34 38 53 59 76
a 9 15 21 34 38 53 59 76
a 9 15 21 38 53 59 70 76
a 9 15 21 38 53 59 64 76
a 9 15 34 38 53 59 64 76
a 9 12 34 38 53 59 64 76
a 9 21 34 38 53 59 64 76
a 9 15 21 34 38 53 59 64
a 9 15 21 34 38 53 64 76
a 15 21 34 38 53 59 64 76
a 15 21 34 38 53 59 72 76
a 15 21 34 38 53 59 72 73
a 15 21 34 40 53 59 72 73
a 2 15 21 34 40 53 59 73
a 2 15 21 34 40 53 68 73
a 2 15 21 34 40 63 68 73
a 2 15 21 34 40 46 63 68
a 2 15 21 34 40 46 63 77
a 2 17 21 34 40 46 63 77
a 2 17 21 34 40 46 63 68
a 2 17 34 40 46 63 68 75
a 2 15 34 40 46 63 68 75
a 2 15 26 40 46 63 68 75
a 15 26 29 40 46 63 68 75
a 4 15 26 29 46 63 68 75
a 4 15 26 29 41 46 63 75
a 4 15 26 29 41 46 72 75
a 4 26 29 41 46 60 72 75
c Step: 199
#END: [Fri Sep  1 03:21:22 2023]