#BEGIN: [Thu Aug 31 08:43:19 2023]
#HOST: s15
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-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 -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
TIMEOUT 1800
c send SIGTERM to CID 9bf70cdcc298bbd6ce6ea759138dfd12a419804ee9d0cae0ad12cc3893d8c600
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 27 29 41 52 58 64 80
a 3 15 27 29 41 52 58 64
a 3 15 27 29 52 58 64 77
a 3 15 27 29 52 58 71 77
a 3 15 27 29 46 58 71 77
a 3 15 27 29 40 46 71 77
a 3 15 27 29 40 52 71 77
a 3 27 29 40 52 55 71 77
a 3 18 29 40 52 55 71 77
a 6 18 29 40 52 55 71 77
a 6 27 29 40 52 55 71 77
a 6 27 29 40 52 55 66 77
a 6 17 29 40 52 55 66 77
a 6 17 29 40 52 55 66 81
a 6 17 23 29 40 52 66 81
a 6 17 23 28 40 52 66 81
a 6 17 28 40 52 59 66 81
a 6 17 28 40 47 59 66 81
a 6 25 28 40 47 59 66 81
a 6 25 28 44 47 59 66 81
a 6 13 25 44 47 59 66 81
a 6 10 25 44 47 59 66 81
a 6 10 25 32 44 47 66 81
a 6 10 25 32 44 47 63 66
a 10 25 32 44 47 63 66 78
a 1 25 32 44 47 63 66 78
a 1 13 25 32 44 47 66 78
a 1 13 25 44 47 59 66 78
a 1 13 25 44 47 59 72 78
a 1 13 25 30 44 59 72 78
a 1 13 25 30 44 56 72 78
a 1 13 25 30 44 47 72 78
a 1 13 30 44 47 59 72 78
a 1 13 25 30 44 47 59 78
a 13 25 30 44 47 59 64 78
a 2 13 25 30 44 59 64 78
a 2 13 25 30 44 59 64 81
a 13 25 30 44 47 59 64 81
a 6 13 25 44 47 59 64 81
a 6 12 25 44 47 59 64 81
a 6 12 25 44 47 58 64 81
a 6 12 25 29 44 58 64 81
a 6 12 25 29 44 50 64 81
a 6 12 25 29 44 50 55 81
a 6 12 25 29 44 50 67 81
a 6 12 25 29 44 50 63 67
a 6 12 29 44 50 63 67 73
a 6 12 29 44 50 61 67 73
a 6 12 23 29 44 61 67 73
a 6 18 23 29 44 61 67 73
a 6 18 23 29 44 48 67 73
a 18 23 29 44 48 61 67 73
a 6 18 29 44 48 61 67 73
a 6 18 20 44 48 61 67 73
a 6 18 23 44 48 61 67 73
a 2 18 23 44 48 61 67 73
a 2 18 23 30 44 61 67 73
a 2 18 23 30 44 61 67 78
a 2 18 19 30 44 61 67 78
a 5 18 19 30 44 61 67 78
a 5 18 19 30 44 61 65 78
a 5 18 19 30 44 47 61 78
a 5 19 30 44 47 61 72 78
a 5 17 19 30 47 61 72 78
a 5 17 19 40 47 61 72 78
a 5 17 19 34 40 47 72 78
a 5 17 19 34 40 47 63 78
a 5 12 19 34 40 47 63 78
a 5 12 19 34 40 47 71 78
a 5 12 27 34 40 47 71 78
a 5 12 27 34 40 47 71 73
a 5 12 27 34 47 60 71 73
a 5 12 27 34 38 60 71 73
a 5 12 27 34 38 49 60 71
a 5 12 27 34 38 49 60 64
a 5 12 34 38 49 60 64 81
a 12 23 34 38 49 60 64 81
a 8 12 23 34 38 49 60 81
a 8 12 23 34 37 49 60 81
a 8 12 23 34 37 60 65 81
a 8 12 23 34 46 60 65 81
a 8 12 23 34 45 46 60 65
a 8 12 23 34 45 46 60 67
a 8 12 23 34 46 60 67 81
a 8 12 23 29 46 60 67 81
a 8 12 23 29 45 46 60 67
a 8 12 23 45 46 60 67 74
a 8 12 23 45 46 60 67 79
a 8 11 23 45 46 60 67 79
a 8 11 23 28 45 60 67 79
a 8 11 23 28 54 60 67 79
a 8 11 23 28 54 60 66 79
a 8 11 23 37 54 60 66 79
a 8 11 22 37 54 60 66 79
a 11 22 35 37 54 60 66 79
a 9 11 22 35 37 60 66 79
a 9 11 22 37 53 60 66 79
a 9 11 32 37 53 60 66 79
a 11 27 32 37 53 60 66 79
a 4 11 27 32 53 60 66 79
a 4 11 27 32 37 53 66 79
a 4 11 27 32 53 55 66 79
a 6 11 27 32 53 55 66 79
a 6 11 27 32 37 53 66 79
a 6 11 27 32 37 53 58 79
a 6 11 27 32 37 53 58 70
a 6 11 27 32 39 53 58 70
a 6 11 27 32 39 53 58 73
a 6 27 32 39 53 58 70 73
a 6 11 32 39 53 58 70 73
a 6 11 27 32 53 58 70 73
a 11 27 32 39 53 58 70 73
a 4 11 27 32 39 53 70 73
a 6 11 27 32 39 53 70 73
a 6 11 27 39 53 58 70 73
a 6 11 27 32 39 58 70 73
a 6 11 27 32 44 58 70 73
a 6 27 32 44 47 58 70 73
a 3 27 32 44 47 58 70 73
a 3 27 32 44 47 58 69 73
a 3 10 27 32 44 47 58 69
a 3 10 25 32 44 47 58 69
a 3 10 25 32 47 58 69 81
a 10 25 32 44 47 58 69 81
a 3 25 32 44 47 58 69 81
a 3 25 32 44 46 58 69 81
a 3 20 32 44 46 58 69 81
a 7 20 32 44 46 58 69 81
a 7 20 32 44 46 57 69 81
a 7 13 20 32 44 46 57 81
a 7 13 20 32 44 46 57 78
a 7 13 20 32 44 46 57 69
a 7 13 20 44 46 57 69 81
a 7 13 20 32 46 57 69 81
a 13 20 32 44 46 57 69 81
a 7 13 20 32 44 57 69 81
a 7 13 32 44 46 57 69 81
a 7 13 20 32 44 46 69 81
a 7 13 20 32 44 46 69 75
a 9 13 20 32 44 46 69 75
a 9 20 32 44 46 58 69 75
a 9 11 32 44 46 58 69 75
a 7 11 32 44 46 58 69 75
a 7 11 32 44 46 63 69 75
a 11 25 32 44 46 63 69 75
a 4 11 25 32 46 63 69 75
a 4 11 26 32 46 63 69 75
a 4 11 26 32 37 63 69 75
a 4 11 25 32 37 63 69 75
a 4 11 25 37 50 63 69 75
a 8 11 25 37 50 63 69 75
a 8 11 25 37 50 63 69 76
a 8 11 25 28 50 63 69 76
a 8 11 25 28 39 50 63 76
a 8 11 25 28 39 50 63 67
a 8 11 25 39 50 63 67 78
a 8 11 25 36 39 50 67 78
a 8 11 25 36 39 46 67 78
a 8 11 25 39 46 63 67 78
a 11 25 32 39 46 63 67 78
a 4 11 25 32 39 46 63 78
a 4 11 25 32 39 46 63 80
a 11 25 32 39 46 63 67 80
a 6 11 25 32 39 63 67 80
a 6 11 25 32 39 54 67 80
a 6 11 25 28 39 54 67 80
a 6 25 28 39 54 56 67 80
a 6 18 25 28 39 56 67 80
a 6 18 25 28 39 53 56 67
a 6 25 28 39 53 56 67 81
a 14 25 28 39 53 56 67 81
a 2 14 25 28 39 53 67 81
a 2 25 28 39 53 60 67 81
a 2 14 25 28 39 53 60 81
a 2 14 25 28 53 60 67 81
a 2 14 25 28 39 60 67 81
a 2 14 26 28 39 60 67 81
a 2 14 28 39 53 60 67 81
a 2 16 28 39 53 60 67 81
a 5 16 28 39 53 60 67 81
a 5 16 28 39 53 60 67 74
a 5 16 27 28 39 53 60 74
a 5 16 27 28 39 53 60 65
a 5 16 28 39 53 60 65 81
a 5 16 22 28 39 53 60 65
a 5 16 22 28 39 53 60 74
a 5 16 22 28 39 53 60 81
a 16 22 28 39 53 60 65 81
a 5 16 22 28 53 60 65 81
a 5 16 22 28 53 60 66 81
a 5 16 22 28 47 60 66 81
a 5 22 28 43 47 60 66 81
a 5 17 22 28 43 47 60 66
a 17 22 28 43 47 60 66 81
a 5 17 22 28 43 47 66 81
a 5 17 22 28 43 47 60 81
a 5 17 22 28 47 60 66 81
a 5 17 22 28 47 60 66 79
a 5 17 22 28 54 60 66 79
a 5 17 22 28 43 54 60 66
a 17 22 28 43 54 60 66 77
a 8 22 28 43 54 60 66 77
a 8 22 28 43 54 60 65 77
a 8 11 22 28 43 54 60 77
a 8 11 22 28 39 54 60 77
a 8 11 25 28 39 54 60 77
a 8 11 25 28 54 60 66 77
a 8 13 25 28 54 60 66 77
a 8 13 25 38 54 60 66 77
a 8 25 31 38 54 60 66 77
a 8 19 31 38 54 60 66 77
a 8 12 19 31 38 54 60 77
a 8 12 19 31 54 60 65 77
a 8 12 19 31 43 54 65 77
a 8 12 19 31 43 60 65 77
a 8 12 31 43 46 60 65 77
a 12 26 31 43 46 60 65 77
a 5 12 26 31 43 46 60 65
a 5 12 26 31 46 60 65 79
a 12 26 31 45 46 60 65 79
a 8 12 31 45 46 60 65 79
a 8 12 27 31 46 60 65 79
a 8 12 27 31 46 60 65 77
a 8 12 27 34 46 60 65 77
a 8 13 27 34 46 60 65 77
a 8 13 27 39 46 60 65 77
a 8 27 34 39 46 60 65 77
a 8 13 34 39 46 60 65 77
a 8 13 27 34 39 60 65 77
a 8 13 27 28 39 60 65 77
a 8 13 28 39 54 60 65 77
a 8 13 25 28 39 54 60 77
a 8 13 25 28 39 54 60 74
a 13 25 28 39 54 60 71 74
a 6 13 25 28 39 54 71 74
a 6 13 25 28 39 54 56 71
a 6 13 25 28 39 50 56 71
a 6 13 25 28 39 56 71 77
a 6 13 25 28 39 54 56 77
a 6 13 28 39 54 56 71 77
a 13 25 28 39 54 56 71 77
a 6 13 25 28 54 56 71 77
a 6 25 28 39 54 56 71 77
a 6 13 25 39 54 56 71 77
a 6 10 25 39 54 56 71 77
a 6 10 25 39 54 58 71 77
a 6 10 25 32 39 54 58 71
a 6 10 25 32 39 54 71 76
a 6 10 25 32 39 54 71 74
a 6 13 25 32 39 54 71 74
a 13 25 32 39 54 60 71 74
a 1 13 25 32 39 54 60 74
a 1 25 32 39 54 60 67 74
a 1 25 32 39 53 60 67 74
a 1 14 25 39 53 60 67 74
a 14 25 28 39 53 60 67 74
a 8 14 25 28 39 60 67 74
a 8 14 25 28 39 60 67 81
a 14 25 28 39 53 60 67 81
a 2 14 25 39 53 60 67 81
a 2 14 25 39 53 60 64 81
a 2 14 25 39 53 58 64 81
a 2 14 25 36 39 53 58 64
a 2 14 25 36 39 51 58 64
a 2 14 25 36 39 51 64 80
a 2 14 25 39 51 58 64 80
a 2 14 25 36 39 51 58 80
a 2 14 36 39 51 58 64 80
a 14 25 36 39 51 58 64 80
a 2 14 25 36 51 58 64 80
a 3 14 25 36 51 58 64 80
a 3 14 25 29 51 58 64 80
a 3 14 29 45 51 58 64 80
a 3 14 29 45 52 58 64 80
a 3 14 27 29 52 58 64 80
a 3 15 27 29 52 58 64 80
a 3 15 27 41 52 58 64 80
a 3 15 29 41 52 58 64 80
a 3 15 27 29 41 52 58 80
a 3 15 27 29 41 58 64 80
a 3 15 27 29 41 46 58 80
a 3 15 27 29 41 46 58 70
a 8 15 27 29 41 46 58 70
a 8 15 29 41 46 58 70 75
a 8 15 29 41 46 63 70 75
a 15 26 29 41 46 63 70 75
a 4 26 29 41 46 63 70 75
a 4 15 26 29 41 46 63 75
a 4 15 26 41 46 63 70 75
a 4 15 26 29 41 46 70 75
a 4 15 26 29 41 46 72 75
a 4 26 29 41 46 60 72 75
c Step: 294
#END: [Thu Aug 31 09:13:20 2023]