#BEGIN: [Fri Sep  1 04:26:38 2023]
#HOST: s01
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen008x008.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen008x008_02_8804.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/queen/queen008x008.col /benchmark/2022benchmark/benchmark/queen/queen008x008_02_8804.dat
c /benchmark/2022benchmark/benchmark/queen/queen008x008.col
c /benchmark/2022benchmark/benchmark/queen/queen008x008_02_8804.dat
s 59 15 4 54 32 37 17
t 51 47 62 24 5 10 25
a YES
a 4 15 17 32 37 54 59
a 4 17 32 37 42 54 59
a 4 15 32 37 42 54 59
a 4 15 17 32 37 42 54
a 4 15 17 37 42 54 59
a 4 15 17 32 37 42 59
a 4 15 17 37 42 56 59
a 4 15 17 30 42 56 59
a 5 15 17 30 42 56 59
a 5 15 17 30 34 56 59
a 4 15 17 30 34 56 59
a 4 15 17 34 46 56 59
a 4 15 21 34 46 56 59
a 4 15 21 33 46 56 59
a 4 15 21 33 46 56 58
a 4 15 27 33 46 56 58
a 4 15 21 27 33 46 58
a 15 21 27 33 46 56 58
a 4 15 21 27 46 56 58
a 4 21 27 33 46 56 58
a 4 15 21 27 33 46 56
a 4 15 27 33 46 56 61
a 4 15 17 27 46 56 61
a 4 15 17 27 42 56 61
a 4 15 17 30 42 56 61
a 4 15 19 30 42 56 61
a 4 9 19 30 42 56 61
a 4 9 19 39 42 56 61
a 6 9 19 39 42 56 61
a 6 9 19 39 44 56 61
a 6 9 19 31 44 56 61
a 6 9 19 31 44 50 61
a 6 9 19 31 48 50 61
a 6 9 19 31 48 50 60
a 6 9 31 35 48 50 60
a 5 9 31 35 48 50 60
a 5 9 20 31 35 48 50
a 5 9 20 31 35 48 58
a 5 20 31 35 48 54 58
a 5 20 25 35 48 54 58
a 5 10 20 25 35 48 54
a 5 10 25 35 48 54 60
a 5 15 25 35 48 54 60
a 5 15 25 35 48 54 58
a 5 15 20 25 35 48 54
a 5 15 20 25 48 54 58
a 5 15 20 35 48 54 58
a 15 20 25 35 48 54 58
a 5 15 20 25 35 48 58
a 5 15 20 25 35 54 58
a 5 15 20 25 35 46 58
a 5 15 20 25 40 46 58
a 5 15 20 25 40 46 51
a 5 20 25 40 46 51 63
a 5 20 25 40 46 50 63
a 5 20 25 35 46 50 63
a 5 16 20 25 35 46 50
a 5 16 20 25 35 46 63
a 5 16 20 35 46 50 63
a 5 16 20 31 35 46 50
a 5 16 20 31 35 46 57
a 5 16 18 31 35 46 57
a 5 18 31 35 46 56 57
a 12 18 31 35 46 56 57
a 6 12 18 31 35 56 57
a 6 12 18 31 35 56 61
a 12 18 31 35 46 56 61
a 1 12 18 31 35 56 61
a 12 18 31 35 41 56 61
a 8 12 18 31 35 41 61
a 8 12 18 31 35 46 61
a 8 12 18 31 46 51 61
a 8 12 17 31 46 51 61
a 8 12 17 31 34 46 51
a 8 12 17 34 46 51 63
a 12 17 29 34 46 51 63
a 12 24 29 34 46 51 63
a 12 24 29 34 46 49 63
a 3 24 29 34 46 49 63
a 4 24 29 34 46 49 63
a 4 24 29 34 46 51 63
a 4 17 29 34 46 51 63
a 4 14 17 29 34 51 63
a 4 14 17 29 34 51 64
a 4 14 17 34 45 51 64
a 4 15 17 34 45 51 64
a 4 15 17 32 34 45 51
a 4 15 32 34 45 51 62
a 4 15 19 32 34 45 62
a 4 15 19 34 45 49 62
a 4 15 19 34 45 56 62
a 4 15 19 30 34 45 56
a 4 15 19 30 34 45 49
a 15 19 30 34 45 49 60
a 15 19 30 34 45 56 60
a 7 19 30 34 45 56 60
a 7 19 30 34 45 56 57
a 4 19 30 34 45 56 57
a 4 14 19 34 45 56 57
a 4 14 19 39 45 56 57
a 4 14 26 39 45 56 57
a 4 14 26 39 45 51 57
a 4 14 24 26 39 51 57
a 4 14 24 26 39 51 61
a 4 9 24 26 39 51 61
a 4 9 24 26 46 51 61
a 7 9 24 26 46 51 61
a 7 24 26 36 46 51 61
a 7 11 24 26 36 46 61
a 7 11 24 26 36 41 61
a 7 11 24 30 36 41 61
a 11 24 30 36 41 55 61
a 11 24 26 36 41 55 61
a 14 24 26 36 41 55 61
a 14 24 26 36 41 51 61
a 3 14 24 26 36 41 61
a 3 14 24 26 36 55 61
a 3 14 26 36 41 55 61
a 3 14 24 26 36 41 55
a 3 24 26 36 41 55 61
a 3 14 24 26 41 55 61
a 3 14 24 26 41 55 60
a 3 14 24 29 41 55 60
a 3 14 24 29 34 55 60
a 3 14 24 29 34 44 55
a 3 14 24 29 34 44 63
a 3 14 24 29 33 44 63
a 3 14 24 29 33 44 55
a 3 14 18 29 33 44 55
a 3 14 18 29 40 44 55
a 14 18 29 40 44 55 59
a 1 14 18 29 40 44 59
a 1 14 18 29 39 44 59
a 1 14 18 39 44 56 59
a 1 14 18 39 44 56 61
a 1 14 18 31 44 56 61
a 3 14 18 31 44 56 61
a 3 14 18 31 33 44 61
a 3 14 31 33 44 50 61
a 3 14 20 31 33 50 61
a 3 14 20 31 33 50 64
a 3 14 31 33 44 50 64
a 3 14 18 31 33 44 64
a 3 14 18 29 33 44 64
a 3 14 18 29 33 52 64
a 3 14 18 33 47 52 64
a 3 13 18 33 47 52 64
a 13 18 30 33 47 52 64
a 13 18 30 35 47 52 64
a 1 13 18 30 35 47 52
a 1 13 18 30 35 47 60
a 1 13 24 30 35 47 60
a 1 13 30 35 47 50 60
a 1 13 24 30 47 50 60
a 1 13 24 30 35 47 50
a 1 13 24 30 35 50 63
a 1 13 24 30 35 50 60
a 1 13 24 35 47 50 60
a 1 24 30 35 47 50 60
a 9 24 30 35 47 50 60
a 13 24 30 35 47 50 60
a 13 24 25 35 47 50 60
a 3 13 24 25 47 50 60
a 3 13 24 25 47 50 62
a 3 13 24 33 47 50 62
a 3 24 28 33 47 50 62
a 3 13 24 28 33 50 62
a 3 13 24 28 33 47 62
a 3 13 24 28 33 47 58
a 3 13 24 28 33 47 50
a 3 13 24 28 33 50 63
a 3 13 24 33 44 50 63
a 3 13 32 33 44 50 63
a 3 13 32 38 44 50 63
a 3 13 25 38 44 50 63
a 13 19 25 38 44 50 63
a 8 13 19 25 38 44 63
a 8 13 19 38 44 49 63
a 13 19 32 38 44 49 63
a 3 13 32 38 44 49 63
a 3 13 18 32 38 44 49
a 3 13 18 38 44 49 64
a 3 15 18 38 44 49 64
a 3 15 18 32 38 44 49
a 3 15 18 32 38 44 61
a 3 15 18 38 44 49 61
a 3 15 32 38 44 49 61
a 15 19 32 38 44 49 61
a 15 18 32 38 44 49 61
a 3 15 18 32 44 49 61
a 3 18 32 38 44 49 61
a 3 15 18 32 38 49 61
a 3 15 18 32 38 41 61
a 15 18 32 38 41 51 61
a 7 18 32 38 41 51 61
a 7 12 18 32 41 51 61
a 7 12 22 32 41 51 61
a 7 10 22 32 41 51 61
a 7 10 32 38 41 51 61
a 4 10 32 38 41 51 61
a 4 10 32 38 41 51 63
a 10 21 32 38 41 51 63
a 4 10 21 32 38 41 63
a 4 21 32 38 41 51 63
a 4 10 21 32 41 51 63
a 4 10 21 32 38 51 63
a 4 10 21 32 38 51 57
a 4 10 21 32 38 41 51
a 4 10 21 32 41 51 62
a 4 10 21 32 47 51 62
a 4 21 32 34 47 51 62
a 4 9 32 34 47 51 62
a 4 9 21 32 34 47 51
a 4 9 21 32 34 47 62
a 4 9 21 32 34 47 59
a 4 9 21 32 34 55 59
a 9 21 32 34 44 55 59
a 6 9 21 32 44 55 59
a 6 9 21 40 44 55 59
a 6 21 25 40 44 55 59
a 6 10 21 25 40 44 59
a 6 10 21 25 44 56 59
a 6 10 21 33 44 56 59
a 6 10 21 32 33 44 59
a 10 21 32 33 44 54 59
a 7 10 32 33 44 54 59
a 7 10 22 32 33 44 59
a 7 10 22 32 33 44 61
a 7 10 22 33 44 56 61
a 7 10 22 27 33 44 56
a 7 10 22 27 44 56 61
a 7 22 27 33 44 56 61
a 7 10 22 27 33 44 61
a 7 10 22 27 33 56 61
a 7 10 22 27 33 48 61
a 7 10 22 27 33 48 53
a 7 10 22 33 48 53 59
a 7 10 20 33 48 53 59
a 7 10 20 25 48 53 59
a 7 10 22 25 48 53 59
a 7 10 25 36 48 53 59
a 10 23 25 36 48 53 59
a 6 10 23 25 36 48 53
a 6 10 23 25 36 53 59
a 6 10 23 25 36 56 59
a 6 10 23 25 36 48 59
a 6 23 25 36 48 53 59
a 6 10 23 25 48 53 59
a 6 10 25 36 48 53 59
a 6 10 25 36 47 53 59
a 6 10 21 25 36 47 59
a 6 10 21 25 36 47 51
a 10 21 25 36 47 51 62
a 5 10 25 36 47 51 62
a 5 10 24 25 47 51 62
c Step: 254
#END: [Fri Sep  1 04:35:37 2023]