#BEGIN: [Thu Aug 31 00:20:41 2023]
#HOST: s08
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen010x010.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen010x010_04_2943.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/2022benchmark/benchmark/queen/queen010x010.col /benchmark/2022benchmark/benchmark/queen/queen010x010_04_2943.dat
c /benchmark/2022benchmark/benchmark/queen/queen010x010.col
c /benchmark/2022benchmark/benchmark/queen/queen010x010_04_2943.dat
TIMEOUT 1800
c send SIGTERM to CID 760c8063d1339f5ceb78a5355d49b2bf5afceb91d13ada3823e7f8baeb8c5794
s 76 60 14 82 97 63 35 29 1
t 5 74 57 43 31 26 100 69 82
a YES
a 1 14 29 35 60 63 76 82 97
a 1 14 29 48 60 63 76 82 97
a 1 14 29 48 60 63 76 82 95
a 1 14 29 33 48 60 76 82 95
a 14 29 33 48 60 61 76 82 95
a 14 29 33 48 60 61 76 82 97
a 9 14 33 48 60 61 76 82 97
a 9 14 33 48 60 61 76 82 95
a 9 17 33 48 60 61 76 82 95
a 9 17 33 48 60 61 74 82 95
a 9 17 21 33 48 60 74 82 95
a 9 21 33 48 60 67 74 82 95
a 9 16 21 33 48 67 74 82 95
a 9 16 21 48 53 67 74 82 95
a 9 16 21 48 53 67 74 90 95
a 9 16 22 48 53 67 74 90 95
a 9 16 22 48 53 67 74 90 91
a 9 16 32 48 53 67 74 90 91
a 9 25 32 48 53 67 74 90 91
a 9 11 25 32 48 53 67 74 90
a 6 11 25 32 48 53 67 74 90
a 6 25 32 48 53 67 74 90 91
a 6 18 25 32 53 67 74 90 91
a 6 18 25 32 59 67 74 90 91
a 6 18 25 32 44 59 67 90 91
a 6 18 25 32 44 59 67 90 93
a 6 18 25 32 59 67 74 90 93
a 6 11 25 32 59 67 74 90 93
a 8 11 25 32 59 67 74 90 93
a 8 11 25 42 59 67 74 90 93
a 8 11 36 42 59 67 74 90 93
a 8 21 36 42 59 67 74 90 93
a 5 21 36 42 59 67 74 90 93
a 5 19 21 36 42 67 74 90 93
a 5 19 21 36 42 67 74 88 93
a 5 21 36 42 59 67 74 88 93
a 5 17 21 36 42 59 74 88 93
a 10 17 21 36 42 59 74 88 93
a 10 17 36 42 59 61 74 88 93
a 5 17 36 42 59 61 74 88 93
a 5 17 36 42 59 61 74 88 100
a 5 17 21 36 42 59 74 88 100
a 5 13 21 36 42 59 74 88 100
a 7 13 21 36 42 59 74 88 100
a 7 13 21 36 59 62 74 88 100
a 7 13 21 36 59 62 75 88 100
a 7 13 36 41 59 62 75 88 100
a 7 24 36 41 59 62 75 88 100
a 7 19 24 36 41 62 75 88 100
a 7 19 24 36 41 60 62 75 88
a 7 19 24 36 41 60 62 88 93
a 7 19 24 36 41 60 65 88 93
a 7 12 24 36 41 60 65 88 93
a 7 12 24 36 41 59 65 88 93
a 7 12 24 36 41 59 65 73 88
a 7 24 36 41 59 65 73 88 100
a 17 24 36 41 59 65 73 88 100
a 2 17 36 41 59 65 73 88 100
a 2 17 30 36 41 59 65 73 88
a 2 17 30 34 41 59 65 73 88
a 2 17 30 41 59 65 73 88 94
a 2 17 30 36 59 65 73 88 94
a 17 30 36 41 59 65 73 88 94
a 12 30 36 41 59 65 73 88 94
a 2 30 36 41 59 65 73 88 94
a 7 30 36 41 59 65 73 88 94
a 7 12 30 36 41 59 65 73 88
a 7 12 30 41 59 65 73 88 94
a 7 12 30 36 41 59 65 73 94
a 7 12 30 36 41 65 73 88 94
a 7 12 30 36 41 53 65 88 94
a 7 12 30 36 41 53 65 79 94
a 7 12 28 36 41 53 65 79 94
a 7 12 28 36 41 60 65 79 94
a 7 12 28 36 41 60 65 79 84
a 7 12 28 36 41 53 65 79 84
a 7 12 28 36 41 53 65 84 99
a 7 12 28 36 41 53 70 84 99
a 7 12 28 41 53 70 76 84 99
a 7 12 38 41 53 70 76 84 99
a 12 25 38 41 53 70 76 84 99
a 6 12 25 38 41 53 70 84 99
a 6 12 25 38 41 53 70 87 99
a 6 25 38 41 53 70 72 87 99
a 6 25 38 41 53 70 72 84 99
a 6 13 25 38 41 70 72 84 99
a 6 13 25 38 41 67 72 84 99
a 10 13 25 38 41 67 72 84 99
a 10 13 25 38 41 67 72 86 99
a 10 13 25 38 51 67 72 86 99
a 10 13 25 38 44 51 67 72 86
a 10 13 25 38 44 51 67 72 96
a 10 13 25 39 44 51 67 72 96
a 10 13 25 39 44 51 67 72 98
a 10 13 39 44 51 67 72 86 98
a 10 13 29 44 51 67 72 86 98
a 5 13 29 44 51 67 72 86 98
a 5 13 30 44 51 67 72 86 98
a 5 13 39 44 51 67 72 86 98
a 13 25 39 44 51 67 72 86 98
a 13 25 39 44 51 70 72 86 98
a 7 13 39 44 51 70 72 86 98
a 7 13 39 44 51 70 72 85 98
a 7 23 39 44 51 70 72 85 98
a 7 23 39 44 51 70 72 86 98
a 7 19 23 44 51 70 72 86 98
a 7 19 23 44 51 70 72 85 98
a 7 19 23 38 44 51 70 72 85
a 7 19 38 44 51 70 72 85 93
a 7 19 38 44 51 70 72 86 93
a 19 25 38 44 51 70 72 86 93
a 19 25 38 44 51 70 72 87 93
a 2 19 25 38 44 51 70 87 93
a 2 19 25 38 44 51 70 86 93
a 2 19 25 38 44 51 67 86 93
a 2 19 38 44 51 67 80 86 93
a 2 19 21 38 44 67 80 86 93
a 19 21 38 44 52 67 80 86 93
a 6 19 21 38 44 52 67 80 93
a 6 19 38 44 52 67 80 81 93
a 6 19 38 44 52 67 80 81 95
a 6 19 23 38 44 52 80 81 95
a 6 19 23 38 44 52 80 81 97
a 6 19 23 44 52 68 80 81 97
a 6 19 23 44 52 65 80 81 97
a 6 19 23 48 52 65 80 81 97
a 6 19 23 48 52 65 80 81 94
a 6 19 23 31 48 52 65 80 94
a 6 19 23 31 48 52 65 90 94
a 6 23 31 48 52 65 77 90 94
a 9 23 31 48 52 65 77 90 94
a 9 16 23 31 48 65 77 90 94
a 9 16 23 31 48 65 77 82 94
a 9 23 31 48 60 65 77 82 94
a 9 17 23 31 48 60 65 82 94
a 17 23 31 48 60 65 79 82 94
a 17 23 36 48 60 65 79 82 94
a 17 23 36 48 51 65 79 82 94
a 7 23 36 48 51 65 79 82 94
a 7 23 36 50 51 65 79 82 94
a 8 23 36 50 51 65 79 82 94
a 8 11 23 36 50 65 79 82 94
a 8 11 23 36 60 65 79 82 94
a 8 11 23 36 42 60 65 79 94
a 8 11 23 36 42 60 65 79 84
a 8 23 36 42 60 65 79 84 91
a 17 23 36 42 60 65 79 84 91
a 7 23 36 42 60 65 79 84 91
a 7 11 23 36 42 60 65 79 84
a 7 11 23 36 42 60 65 79 94
a 7 11 23 36 60 65 79 82 94
a 7 11 23 36 48 60 79 82 94
a 7 11 23 36 48 60 79 82 95
a 7 11 23 36 48 60 65 79 82
a 7 11 23 36 48 65 79 82 94
a 7 11 23 36 50 65 79 82 94
a 7 11 36 50 53 65 79 82 94
a 7 11 36 48 53 65 79 82 94
a 7 11 36 48 60 65 79 82 94
a 7 23 36 48 60 65 79 82 94
a 7 11 23 36 48 60 65 82 94
a 7 11 23 36 48 60 65 79 94
a 7 11 23 48 60 65 79 82 94
a 11 23 36 48 60 65 79 82 94
a 6 11 23 48 60 65 79 82 94
a 6 23 31 48 60 65 79 82 94
a 6 23 31 48 60 65 77 82 94
a 6 18 23 31 60 65 77 82 94
a 6 18 23 31 60 65 79 82 94
a 6 18 23 31 44 60 65 79 82
a 6 18 23 31 44 60 79 82 95
a 6 18 31 44 60 67 79 82 95
a 6 18 25 31 44 60 67 79 82
a 6 18 25 31 44 60 67 79 83
a 6 18 31 44 60 67 79 83 95
a 6 18 30 31 44 67 79 83 95
a 6 18 30 31 44 67 79 82 95
a 6 18 30 31 43 67 79 82 95
a 6 18 30 31 43 67 74 82 95
a 6 18 30 31 43 69 74 82 95
a 6 18 31 43 57 69 74 82 95
a 18 26 31 43 57 69 74 82 95
a 18 26 31 43 57 69 74 82 100
a 5 26 31 43 57 69 74 82 100
c Step: 183
#END: [Thu Aug 31 00:50:41 2023]