#BEGIN: [Wed Aug 30 20:59:36 2023]
#HOST: s16
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#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 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /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
TIMEOUT 1800
c send SIGTERM to CID 30885f5b242e9c2cc552110685d06c1390b640ae9fb17262872bec9e511e5c21
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 88 91 119
a 2 15 30 43 49 56 72 88 91 117
a 2 15 30 43 49 56 72 88 91 106
a 2 30 43 49 56 72 88 91 106 114
a 2 20 43 49 56 72 88 91 106 114
a 2 20 43 49 56 72 88 91 107 114
a 2 20 27 43 56 72 88 91 107 114
a 2 20 27 43 45 72 88 91 107 114
a 2 20 27 43 45 72 88 91 106 114
a 2 20 27 43 56 72 88 91 106 114
a 2 20 27 43 56 72 85 91 106 114
a 2 20 27 43 56 77 85 91 106 114
a 2 20 27 43 45 77 85 91 106 114
a 2 20 27 43 45 59 77 85 91 106
a 2 20 27 45 59 77 85 91 106 120
a 2 20 28 45 59 77 85 91 106 120
a 2 20 28 43 45 59 77 85 91 106
a 2 20 28 43 45 59 77 85 91 104
a 2 20 28 45 59 77 85 91 104 120
a 2 20 28 34 59 77 85 91 104 120
a 2 20 28 34 51 59 77 85 104 120
a 2 20 28 34 51 59 77 85 102 120
a 2 20 28 34 51 77 85 93 102 120
a 20 28 34 51 59 77 85 93 102 120
a 2 20 28 34 59 77 85 93 102 120
a 2 20 28 34 51 59 77 85 93 102
a 2 20 28 34 54 59 77 85 93 102
a 2 20 28 54 59 77 85 93 102 111
a 7 20 28 54 59 77 85 93 102 111
a 7 20 28 46 59 77 85 93 102 111
a 7 20 28 46 59 77 85 93 102 120
a 7 20 28 34 59 77 85 93 102 120
a 7 20 28 34 59 77 85 93 101 120
a 3 20 28 34 59 77 85 93 101 120
a 3 20 28 34 62 77 85 93 101 120
a 3 20 28 34 54 62 77 85 93 101
a 3 20 28 34 62 77 85 93 101 114
a 20 28 34 47 62 77 85 93 101 114
a 10 28 34 47 62 77 85 93 101 114
a 10 19 28 34 47 62 77 93 101 114
a 10 19 28 34 47 62 75 93 101 114
a 10 19 28 34 47 66 75 93 101 114
a 10 19 28 34 47 66 75 84 93 101
a 10 19 28 34 47 66 75 84 93 112
a 10 19 28 34 47 75 84 93 110 112
a 10 19 28 47 56 75 84 93 110 112
a 10 19 28 37 56 75 84 93 110 112
a 10 19 28 37 56 75 84 91 110 112
a 10 19 28 37 45 75 84 91 110 112
a 10 19 28 37 45 66 75 84 91 112
a 10 19 28 37 45 66 75 91 104 112
a 10 19 37 45 66 75 83 91 104 112
a 10 19 26 45 66 75 83 91 104 112
a 19 26 40 45 66 75 83 91 104 112
a 19 26 40 45 66 75 83 91 104 120
a 2 19 40 45 66 75 83 91 104 120
a 2 19 32 40 45 66 75 83 91 104
a 2 19 32 40 45 66 75 83 91 114
a 2 19 40 45 66 75 83 91 109 114
a 2 19 27 40 45 66 83 91 109 114
a 2 19 27 40 45 77 83 91 109 114
a 2 19 27 40 45 58 77 83 109 114
a 2 19 27 42 45 58 77 83 109 114
a 2 19 27 42 45 77 83 91 109 114
a 2 19 27 42 45 77 83 91 106 114
a 2 19 27 42 56 77 83 91 106 114
a 2 19 27 42 56 77 83 91 109 114
a 2 19 27 42 48 56 77 83 91 109
a 2 19 27 42 48 56 83 91 109 117
a 2 19 27 42 48 56 88 91 109 117
a 2 19 27 42 48 56 88 94 109 117
a 2 19 27 42 48 56 88 94 109 113
a 2 19 42 48 56 71 88 94 109 113
a 2 19 42 48 56 71 88 94 109 117
a 2 19 33 42 48 56 71 94 109 117
a 2 19 33 42 48 71 80 94 109 117
a 2 19 33 42 48 65 71 80 94 117
a 2 19 33 42 48 65 67 80 94 117
a 2 16 33 42 48 65 67 80 94 117
a 2 16 33 42 48 65 67 80 94 107
a 2 16 42 48 65 67 80 94 107 121
a 2 16 31 48 65 67 80 94 107 121
a 2 16 31 39 48 65 67 80 107 121
a 2 16 31 39 48 65 67 80 106 121
a 2 31 39 48 65 67 80 93 106 121
a 2 31 39 48 65 67 80 93 107 121
a 2 18 31 39 65 67 80 93 107 121
a 2 18 31 39 52 65 67 80 93 121
a 2 31 39 52 65 67 80 93 106 121
a 2 15 31 52 65 67 80 93 106 121
a 6 15 31 52 65 67 80 93 106 121
a 6 31 35 52 65 67 80 93 106 121
a 6 12 31 35 52 65 80 93 106 121
a 6 12 31 35 65 74 80 93 106 121
a 6 31 35 48 65 74 80 93 106 121
a 6 22 31 35 48 65 74 80 93 106
a 6 22 35 48 65 74 80 93 106 111
a 9 22 35 48 65 74 80 93 106 111
a 9 22 28 35 65 74 80 93 106 111
a 9 22 28 37 65 74 80 93 106 111
a 9 22 28 37 46 65 74 80 93 111
a 9 22 28 37 46 65 80 93 107 111
a 9 22 28 37 46 65 84 93 107 111
a 9 14 28 37 46 65 84 93 107 111
a 9 14 28 37 46 66 84 93 107 111
a 10 14 28 37 46 66 84 93 107 111
a 10 14 28 37 46 66 75 84 107 111
a 10 14 28 46 66 75 84 92 107 111
a 10 14 28 46 66 75 84 93 107 111
a 10 28 37 46 66 75 84 93 107 111
a 10 14 28 37 46 75 84 93 107 111
a 10 14 28 37 46 66 75 93 107 111
a 10 14 28 37 46 66 75 84 93 107
a 10 14 28 37 66 75 84 93 107 112
a 10 14 28 37 66 75 84 89 107 112
a 10 14 28 37 45 66 75 84 107 112
a 10 28 37 45 66 75 84 91 107 112
a 10 16 37 45 66 75 84 91 107 112
a 10 16 29 37 45 66 75 91 107 112
a 10 16 29 37 66 75 78 91 107 112
a 16 29 37 50 66 75 78 91 107 112
a 16 29 43 50 66 75 78 91 107 112
a 4 29 43 50 66 75 78 91 107 112
a 4 12 29 43 50 66 75 91 107 112
a 4 12 29 43 50 66 75 91 104 112
a 8 12 29 43 50 66 75 91 104 112
a 8 12 29 43 50 75 88 91 104 112
a 8 12 29 43 50 57 75 88 91 104
a 8 12 29 43 50 57 75 88 91 114
a 8 12 43 50 57 75 88 91 106 114
a 8 23 43 50 57 75 88 91 106 114
a 8 22 23 43 50 57 75 91 106 114
a 8 22 23 43 49 57 75 91 106 114
a 8 23 43 49 57 75 88 91 106 114
a 8 17 23 43 49 75 88 91 106 114
a 8 17 23 43 49 75 88 91 106 112
a 8 17 26 43 49 75 88 91 106 112
a 8 17 26 43 45 75 88 91 106 112
a 8 17 26 45 60 75 88 91 106 112
a 8 26 43 45 60 75 88 91 106 112
a 8 17 43 45 60 75 88 91 106 112
a 8 17 26 43 45 60 75 88 106 112
a 17 26 43 45 60 75 88 91 106 112
a 8 17 26 43 45 60 75 88 91 106
a 8 17 43 45 60 75 88 91 106 114
a 8 17 23 43 60 75 88 91 106 114
a 8 17 23 43 46 60 75 88 91 114
a 8 17 23 46 60 75 88 91 109 114
a 8 17 23 46 62 75 88 91 109 114
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 43 49 62 75 88 91 100 114
a 8 17 24 49 62 75 88 91 100 114
a 8 17 24 43 49 75 88 91 100 114
a 17 24 43 49 62 75 88 91 100 114
a 8 17 24 43 49 62 75 88 91 100
a 8 24 43 49 62 75 88 91 100 116
a 8 24 43 49 62 75 88 91 100 114
a 6 24 43 49 62 75 88 91 100 114
a 6 24 43 49 62 75 88 91 107 114
a 17 24 43 49 62 75 88 91 107 114
a 10 17 24 49 62 75 88 91 107 114
a 10 17 24 45 62 75 88 91 107 114
a 10 17 24 38 45 75 88 91 107 114
a 10 17 24 38 45 66 75 91 107 114
a 10 17 24 45 66 75 82 91 107 114
a 17 24 43 45 66 75 82 91 107 114
a 17 24 40 45 66 75 82 91 107 114
a 17 24 40 45 66 75 82 98 107 114
a 17 24 40 45 66 75 82 98 107 113
a 9 17 24 40 45 66 82 98 107 113
a 9 17 24 40 45 66 82 98 107 114
a 9 17 40 45 66 68 82 98 107 114
a 9 17 40 45 66 68 82 91 107 114
a 9 17 24 40 45 66 82 91 107 114
a 9 17 24 40 45 66 82 91 109 114
a 8 17 24 40 45 66 82 91 109 114
a 8 17 24 45 66 75 82 91 109 114
a 8 17 24 43 45 66 75 82 91 114
a 8 17 24 43 66 75 82 91 100 114
a 8 17 24 43 66 75 82 91 100 117
a 8 17 24 43 49 66 75 91 100 117
a 8 17 24 43 49 75 88 91 100 117
a 8 17 24 43 49 56 75 88 91 117
a 8 17 24 43 49 56 75 91 110 117
a 8 17 24 43 49 56 75 91 110 114
a 8 17 24 43 49 56 75 88 91 114
a 8 17 24 43 49 56 75 91 106 114
a 17 24 43 49 56 75 88 91 106 114
a 8 17 24 43 49 56 75 88 106 114
a 8 17 24 43 49 75 88 91 106 114
a 8 17 24 43 49 62 75 88 91 114
a 8 17 24 43 49 62 75 91 100 114
a 8 17 24 43 49 66 75 91 100 114
c Step: 195
#END: [Wed Aug 30 21:29:37 2023]