#BEGIN: [Fri Sep  1 02:59:20 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/queen11_11.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/queen11_11_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/queen11_11.col /benchmark/2022benchmark/benchmark/color04/queen11_11_01.dat
c /benchmark/2022benchmark/benchmark/color04/queen11_11.col
c /benchmark/2022benchmark/benchmark/color04/queen11_11_01.dat
s 2 15 30 43 49 56 72 88 106 119 
t 8 17 24 43 49 66 75 91 100 114
a YES
a 2 15 30 43 49 56 72 88 106 119
a 2 15 30 43 49 56 72 91 106 119
a 2 15 30 44 49 56 72 91 106 119
a 2 15 30 49 56 72 88 91 106 119
a 2 30 43 49 56 72 88 91 106 119
a 2 17 30 43 49 56 88 91 106 119
a 2 17 30 43 48 56 88 91 106 119
a 2 17 30 43 48 56 75 88 91 106
a 2 17 30 43 56 75 88 91 106 114
a 2 17 30 43 49 56 75 88 91 106
a 2 17 30 43 49 56 88 91 106 114
a 2 30 43 49 56 72 88 91 106 114
a 2 15 30 43 49 56 72 88 91 106
a 2 15 43 49 56 72 88 91 106 119
a 8 15 43 49 56 72 88 91 106 119
a 8 15 43 49 56 72 88 90 106 119
a 8 14 43 49 56 72 88 90 106 119
a 8 14 43 49 56 72 81 90 106 119
a 8 14 43 49 56 77 81 90 106 119
a 14 28 43 49 56 77 81 90 106 119
a 3 28 43 49 56 77 81 90 106 119
a 3 12 28 43 49 77 81 90 106 119
a 3 12 28 43 49 62 77 81 90 119
a 3 12 28 43 62 77 81 90 104 119
a 3 12 28 43 62 77 81 90 104 118
a 9 12 28 43 62 77 81 90 104 118
a 9 12 28 43 47 77 81 90 104 118
a 9 28 43 47 62 77 81 90 104 118
a 9 12 28 47 62 77 81 90 104 118
a 9 12 28 47 62 77 81 90 109 118
a 9 12 28 47 62 77 81 90 109 115
a 9 12 28 43 47 62 77 81 90 115
a 9 12 28 43 47 62 77 81 90 118
a 9 12 28 43 47 62 81 90 104 118
a 9 12 28 43 47 66 81 90 104 118
a 12 28 43 47 66 75 81 90 104 118
a 12 28 43 47 62 75 81 90 104 118
a 5 12 28 43 47 62 75 81 90 118
a 5 12 28 47 62 75 81 90 109 118
a 5 12 28 44 47 62 75 81 90 109
a 5 12 28 44 62 75 81 90 109 113
a 5 12 28 44 62 75 81 90 107 113
a 5 12 28 54 62 75 81 90 107 113
a 5 12 28 54 62 75 81 90 107 121
a 5 28 34 54 62 75 81 90 107 121
a 5 19 28 34 54 62 75 81 90 121
a 5 19 28 34 54 62 75 81 90 113
a 5 19 28 34 54 62 81 90 108 113
a 19 28 34 54 62 77 81 90 108 113
a 1 19 28 54 62 77 81 90 108 113
a 1 19 28 35 54 62 77 81 108 113
a 1 19 28 35 54 62 81 99 108 113
a 1 19 28 35 54 62 70 99 108 113
a 1 19 28 35 54 62 70 99 108 115
a 1 19 28 35 54 62 81 99 108 115
a 1 19 28 35 54 62 80 99 108 115
a 1 19 28 35 54 62 77 80 108 115
a 1 19 28 35 54 62 77 81 108 115
a 1 19 28 54 62 77 81 90 108 115
a 1 19 28 47 62 77 81 90 108 115
a 19 28 34 47 62 77 81 90 108 115
a 6 19 34 47 62 77 81 90 108 115
a 6 19 33 34 47 62 81 90 108 115
a 6 19 33 34 47 62 87 90 108 115
a 6 19 33 34 47 62 68 87 108 115
a 6 19 33 34 47 62 68 87 108 114
a 6 19 33 34 62 68 87 91 108 114
a 6 19 33 45 62 68 87 91 108 114
a 6 19 33 37 45 62 68 87 91 108
a 6 19 33 37 45 62 68 87 91 119
a 6 19 33 37 45 60 68 87 91 119
a 19 33 37 45 60 68 87 91 106 119
a 6 19 33 37 45 60 68 87 91 106
a 6 19 33 37 45 60 68 87 106 119
a 6 19 37 45 60 68 87 91 106 119
a 6 19 37 45 60 68 87 91 110 119
a 6 19 32 37 45 60 68 91 110 119
a 6 19 32 37 45 68 84 91 110 119
a 6 32 37 45 63 68 84 91 110 119
a 16 32 37 45 63 68 84 91 110 119
a 9 16 32 37 45 63 68 84 91 110
a 9 16 32 37 45 68 84 91 110 118
a 9 16 32 37 45 66 68 84 91 118
a 9 16 32 37 45 66 68 84 91 107
a 9 16 32 37 45 66 68 84 107 113
a 9 16 32 37 45 68 84 99 107 113
a 9 16 32 37 50 68 84 99 107 113
a 9 16 32 37 50 68 84 99 107 111
a 9 16 37 50 65 68 84 99 107 111
a 9 16 25 50 65 68 84 99 107 111
a 9 16 25 43 50 68 84 99 107 111
a 9 16 25 43 50 57 84 99 107 111
a 9 16 25 43 57 70 84 99 107 111
a 9 16 25 43 57 70 84 99 107 116
a 9 16 25 43 57 70 78 99 107 116
a 9 16 25 43 51 57 70 78 107 116
a 9 16 25 51 57 70 78 98 107 116
a 9 16 25 44 51 57 70 78 98 107
a 9 16 25 44 51 57 72 78 98 107
a 9 16 44 51 57 72 78 98 107 113
a 9 16 30 44 51 57 72 78 98 113
a 9 16 30 44 51 57 72 78 109 113
a 9 16 30 44 51 57 78 92 109 113
a 9 16 30 51 57 77 78 92 109 113
a 9 16 30 51 57 77 78 94 109 113
a 9 16 30 35 51 77 78 94 109 113
a 9 16 30 35 51 77 78 92 109 113
a 9 16 30 35 51 77 78 92 105 113
a 9 16 30 35 51 77 78 98 105 113
a 9 16 30 37 51 77 78 98 105 113
a 9 16 30 37 51 77 78 98 105 112
a 9 16 30 37 51 58 77 98 105 112
a 9 12 30 37 51 58 77 98 105 112
a 9 12 30 37 51 58 77 98 104 112
a 9 12 30 37 51 58 77 83 98 112
a 9 12 37 51 58 77 83 98 104 112
a 9 12 30 37 51 77 83 98 104 112
a 9 12 30 51 58 77 83 98 104 112
a 9 12 30 37 51 58 77 83 104 112
a 9 12 30 37 51 58 77 83 98 104
a 12 30 37 51 58 77 83 98 104 112
a 9 12 30 37 51 58 83 98 104 112
a 9 12 30 37 51 58 76 83 104 112
a 9 12 30 37 58 76 83 99 104 112
a 9 12 30 37 55 58 76 83 104 112
a 9 12 30 37 55 76 83 91 104 112
a 9 12 30 37 55 62 76 83 91 104
a 9 12 30 37 46 62 76 83 91 104
a 9 12 30 46 62 76 83 91 104 121
a 9 15 30 46 62 76 83 91 104 121
a 9 15 30 46 62 76 78 91 104 121
a 9 15 30 46 62 76 78 91 105 121
a 9 15 30 43 46 62 78 91 105 121
a 9 15 30 43 46 62 77 78 91 105
a 9 15 30 43 46 62 77 78 91 104
a 9 15 30 43 46 62 78 91 104 121
a 9 17 30 43 46 62 78 91 104 121
a 17 30 43 46 62 75 78 91 104 121
a 4 17 30 46 62 75 78 91 104 121
a 4 17 30 43 46 62 75 91 104 121
a 4 17 23 43 46 62 75 91 104 121
a 8 17 23 43 46 62 75 91 104 121
a 8 17 23 43 46 62 75 88 91 104
a 8 17 23 43 46 62 75 88 91 114
a 8 17 43 46 62 75 88 91 100 114
a 8 17 24 43 62 75 88 91 100 114
a 8 17 24 43 49 75 88 91 100 114
a 8 17 24 43 49 66 75 91 100 114
c Step: 147
#END: [Fri Sep  1 03:07:20 2023]