#BEGIN: [Thu Aug 31 11:05:17 2023]
#HOST: s07
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen010x010.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen010x010_01_0612.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/2022benchmark/benchmark/queen/queen010x010.col /benchmark/2022benchmark/benchmark/queen/queen010x010_01_0612.dat
c /benchmark/2022benchmark/benchmark/queen/queen010x010.col
c /benchmark/2022benchmark/benchmark/queen/queen010x010_01_0612.dat
TIMEOUT 1800
c send SIGTERM to CID 1ce5ce40958241b2c85c05810cc70de609e1d16277ea4cf073d4ca5d400a6b6f
s 82 1 97 29 48 60 14 63 35
t 18 76 4 35 97 23 51 82 69
a YES
a 1 14 29 35 48 60 63 82 97
a 1 14 35 48 60 63 76 82 97
a 1 14 35 48 60 63 76 82 99
a 1 14 29 35 48 60 63 76 82
a 1 14 29 48 60 63 76 82 97
a 1 14 29 48 60 63 76 82 95
a 14 29 31 48 60 63 76 82 95
a 2 14 29 31 48 60 63 76 95
a 2 17 29 31 48 60 63 76 95
a 2 17 29 34 48 60 63 76 95
a 2 17 29 34 48 60 63 76 91
a 2 17 29 34 48 60 63 86 91
a 2 17 29 34 48 63 80 86 91
a 2 17 29 34 48 55 63 80 86
a 2 17 29 34 48 51 63 80 86
a 2 17 29 48 51 63 80 86 94
a 2 17 29 48 55 63 80 86 94
a 17 29 32 48 55 63 80 86 94
a 1 29 32 48 55 63 80 86 94
a 1 13 29 32 48 55 80 86 94
a 1 17 29 32 48 55 80 86 94
a 1 17 32 48 55 63 80 86 94
a 1 17 29 32 48 63 80 86 94
a 1 17 29 32 48 55 63 86 94
a 1 17 29 32 48 55 63 90 94
a 1 16 29 32 48 55 63 90 94
a 1 16 29 32 48 63 77 90 94
a 1 16 29 32 48 53 77 90 94
a 1 16 32 48 53 69 77 90 94
a 1 16 28 32 53 69 77 90 94
a 16 28 32 45 53 69 77 90 94
a 4 16 28 32 45 53 69 77 90
a 4 16 28 45 53 69 77 90 92
a 4 16 28 40 45 53 69 77 92
a 4 16 21 40 45 53 69 77 92
a 16 21 40 45 53 69 77 84 92
a 8 16 21 40 45 69 77 84 92
a 8 13 21 40 45 69 77 84 92
a 6 13 21 40 45 69 77 84 92
a 6 21 40 45 53 69 77 84 92
a 6 19 21 40 45 53 77 84 92
a 6 19 40 45 53 61 77 84 92
a 6 19 40 45 53 61 77 84 98
a 2 19 40 45 53 61 77 84 98
a 2 19 40 45 53 61 77 84 96
a 2 19 21 40 45 53 77 84 96
a 2 19 21 38 45 53 77 84 96
a 2 19 38 45 53 61 77 84 96
a 2 19 38 45 53 70 77 84 96
a 2 19 25 38 53 70 77 84 96
a 2 19 25 38 41 53 70 77 84
a 6 19 25 38 41 53 70 77 84
a 6 19 25 38 41 53 70 72 84
a 6 19 25 38 41 53 70 72 87
a 6 19 25 38 41 53 70 87 94
a 6 19 25 38 41 53 70 77 94
a 6 19 25 38 41 53 77 90 94
a 6 12 25 38 41 53 77 90 94
a 9 12 25 38 41 53 77 90 94
a 9 12 25 38 41 53 70 77 94
a 9 12 25 38 41 53 70 87 94
a 9 12 25 38 46 53 70 87 94
a 9 12 25 38 46 53 70 77 94
a 9 12 25 38 46 53 70 77 84
a 9 12 25 38 53 70 77 84 91
a 6 12 25 38 53 70 77 84 91
a 6 12 25 38 41 53 70 77 84
a 6 12 25 41 53 70 77 84 98
a 9 12 25 41 53 70 77 84 98
a 9 12 25 38 41 53 70 77 84
a 9 12 25 38 41 53 70 76 84
a 12 25 38 41 53 70 76 84 99
a 7 12 38 41 53 70 76 84 99
a 7 12 24 38 41 53 70 76 99
a 7 12 24 38 53 70 76 81 99
a 7 12 24 38 50 53 76 81 99
a 7 12 24 38 50 53 69 76 81
a 7 12 24 38 50 69 76 81 93
a 7 24 38 50 55 69 76 81 93
a 7 12 24 38 50 55 69 76 93
a 7 12 24 50 55 69 76 81 93
a 7 12 24 38 50 55 69 81 93
a 7 12 24 38 55 69 76 81 93
a 7 12 24 38 50 55 69 76 81
a 12 24 38 50 55 69 76 81 97
a 8 12 24 50 55 69 76 81 97
a 8 12 24 50 55 69 76 81 93
a 8 12 24 37 50 69 76 81 93
a 5 12 24 37 50 69 76 81 93
a 5 24 37 50 52 69 76 81 93
a 5 20 24 37 52 69 76 81 93
a 5 20 37 44 52 69 76 81 93
a 5 20 37 44 52 68 76 81 93
a 5 29 37 44 52 68 76 81 93
a 5 29 37 44 52 68 80 81 93
a 5 12 29 37 44 68 80 81 93
a 6 12 29 37 44 68 80 81 93
a 6 12 29 37 44 68 80 85 93
a 6 12 29 37 54 68 80 85 93
a 6 12 29 37 54 61 80 85 93
a 6 12 29 37 44 61 80 85 93
a 6 12 29 37 44 60 61 85 93
a 6 12 29 37 44 60 68 85 93
a 6 12 29 37 44 60 68 81 93
a 6 12 25 37 44 60 68 81 93
a 6 12 25 37 44 60 79 81 93
a 6 12 37 44 60 65 79 81 93
a 6 12 37 44 58 65 79 81 93
a 6 12 30 37 44 58 65 79 81
a 6 12 30 37 44 58 79 81 95
a 6 12 30 37 44 58 63 79 95
a 6 12 30 31 44 58 63 79 95
a 6 12 30 31 44 58 63 79 87
a 6 12 30 44 58 63 79 87 91
a 6 12 30 44 58 63 79 87 95
a 6 12 30 31 44 58 63 87 95
a 6 12 30 31 58 63 79 87 95
a 6 12 31 44 58 63 79 87 95
a 10 12 31 44 58 63 79 87 95
a 12 30 31 44 58 63 79 87 95
a 5 12 30 31 44 58 63 79 87
a 5 30 31 44 58 63 79 87 92
a 16 30 31 44 58 63 79 87 92
a 10 16 31 44 58 63 79 87 92
a 10 16 23 31 44 58 79 87 92
a 10 16 23 31 44 58 79 87 95
a 10 16 31 44 58 63 79 87 95
a 10 16 29 31 44 58 63 87 95
a 2 16 29 31 44 58 63 87 95
a 2 16 30 31 44 58 63 87 95
a 2 16 30 31 44 58 63 89 95
a 2 16 30 37 44 58 63 89 95
a 2 16 21 37 44 58 63 89 95
a 2 16 21 37 44 58 63 75 89
a 2 16 21 37 50 58 63 75 89
a 2 16 21 37 50 63 75 89 94
a 2 16 37 50 51 63 75 89 94
a 2 16 29 37 50 51 63 75 94
a 8 16 29 37 50 51 63 75 94
a 8 12 29 37 50 51 63 75 94
a 12 29 37 50 51 63 75 88 94
a 16 29 37 50 51 63 75 88 94
a 2 16 29 37 50 51 63 88 94
a 2 16 29 37 50 63 71 88 94
a 2 16 29 37 50 63 75 88 94
a 2 16 29 37 51 63 75 88 94
a 2 16 37 50 51 63 75 88 94
a 2 16 37 50 51 69 75 88 94
a 2 16 21 37 50 69 75 88 94
a 2 16 21 37 50 63 75 88 94
a 2 21 37 50 56 63 75 88 94
a 2 19 21 50 56 63 75 88 94
a 7 19 21 50 56 63 75 88 94
a 7 19 21 35 50 56 63 88 94
a 7 19 21 35 56 63 80 88 94
a 7 19 21 35 48 56 63 80 94
a 7 19 22 35 48 56 63 80 94
a 19 22 35 48 56 63 80 87 94
a 1 19 22 35 48 63 80 87 94
a 1 16 22 35 48 63 80 87 94
a 1 16 22 35 59 63 80 87 94
a 1 16 28 35 59 63 80 87 94
a 1 16 28 35 59 63 80 87 92
a 1 16 28 44 59 63 80 87 92
a 1 16 28 40 44 59 63 87 92
a 1 16 28 40 44 63 79 87 92
a 1 16 28 40 44 63 79 87 95
a 1 16 28 40 42 63 79 87 95
a 4 16 28 40 42 63 79 87 95
a 4 28 40 42 56 63 79 87 95
a 4 11 28 40 42 63 79 87 95
a 4 11 28 42 56 63 79 87 95
a 4 11 28 40 42 56 63 79 87
a 4 11 25 40 42 56 63 79 87
a 4 11 25 40 42 56 79 87 93
a 8 11 25 40 42 56 79 87 93
a 8 11 25 40 56 64 79 87 93
a 8 25 40 41 56 64 79 87 93
a 8 22 40 41 56 64 79 87 93
a 8 16 22 40 41 64 79 87 93
a 8 16 22 40 51 64 79 87 93
a 8 16 22 40 45 51 64 79 87
a 8 16 22 40 45 51 64 79 83
a 8 16 22 40 45 51 64 79 93
a 8 16 22 45 51 64 79 87 93
a 8 20 22 45 51 64 79 87 93
a 8 20 22 36 51 64 79 87 93
a 8 20 22 36 41 64 79 87 93
a 8 15 22 36 41 64 79 87 93
a 8 15 22 41 56 64 79 87 93
a 8 15 22 41 56 64 80 87 93
a 8 15 22 39 41 56 64 80 87
a 8 15 22 39 41 56 80 87 94
a 8 15 22 39 41 56 73 87 94
a 15 22 39 41 56 68 73 87 94
a 9 15 22 41 56 68 73 87 94
a 9 15 22 41 56 68 80 87 94
a 15 22 39 41 56 68 80 87 94
a 7 15 22 39 41 56 68 80 94
a 7 15 22 39 56 68 80 81 94
a 7 15 22 39 56 68 73 81 94
a 7 15 22 39 41 56 68 73 94
a 7 15 22 39 41 56 73 90 94
a 7 15 22 41 56 69 73 90 94
a 8 15 22 41 56 69 73 90 94
a 8 15 22 41 56 69 73 90 97
a 8 15 22 39 41 56 73 90 97
a 8 15 22 39 41 56 73 90 94
a 8 15 27 39 41 56 73 90 94
a 8 15 27 41 56 69 73 90 94
a 8 15 27 31 56 69 73 90 94
a 8 15 27 32 56 69 73 90 94
a 8 15 27 32 50 56 69 73 94
a 8 11 27 32 50 56 69 73 94
a 8 11 27 32 50 56 69 75 94
a 8 13 27 32 50 56 69 75 94
a 13 27 32 50 56 69 75 88 94
a 10 13 27 32 56 69 75 88 94
a 10 13 27 32 56 69 71 88 94
a 10 15 27 32 56 69 71 88 94
a 10 15 27 43 56 69 71 88 94
a 10 15 27 31 43 56 69 88 94
a 10 15 27 31 43 56 62 88 94
a 10 15 27 39 43 56 62 88 94
a 10 15 27 39 43 56 71 88 94
a 2 15 27 39 43 56 71 88 94
a 2 15 27 43 56 69 71 88 94
a 2 15 27 31 43 56 69 88 94
a 2 15 27 31 50 56 69 88 94
a 2 15 27 31 50 56 69 88 93
a 2 15 27 31 50 56 69 73 88
a 2 15 27 31 50 69 73 88 94
a 2 15 27 31 56 69 73 88 94
a 2 15 27 41 56 69 73 88 94
a 2 15 27 40 41 56 69 73 88
a 2 15 27 40 41 56 69 73 98
a 2 15 27 40 41 69 73 86 98
a 2 15 27 40 44 69 73 86 98
a 2 15 27 40 44 61 73 86 98
a 2 15 27 40 44 56 61 73 98
a 2 15 27 40 44 56 69 73 98
a 2 15 40 44 56 69 73 81 98
a 2 15 40 44 56 69 73 81 97
a 2 15 28 40 44 56 69 81 97
a 2 15 28 40 43 56 69 81 97
a 2 15 28 40 43 69 74 81 97
a 2 15 28 40 43 66 74 81 97
a 2 15 28 40 43 66 74 89 97
a 2 15 28 40 43 66 71 89 97
a 2 14 28 40 43 66 71 89 97
a 2 14 28 40 43 59 66 71 97
a 2 14 28 40 43 59 66 81 97
a 2 28 40 43 59 66 74 81 97
a 5 28 40 43 59 66 74 81 97
a 12 28 40 43 59 66 74 81 97
a 12 28 35 43 59 66 74 81 97
a 12 28 35 43 59 66 80 81 97
a 12 28 35 43 59 66 80 81 94
a 5 12 28 43 59 66 80 81 94
a 5 12 28 43 59 66 80 81 97
a 5 12 28 43 59 66 74 81 97
a 5 12 28 40 43 66 74 81 97
a 5 12 28 40 43 59 66 74 81
a 5 12 28 40 43 59 66 81 97
a 5 12 40 43 59 66 74 81 97
a 5 12 28 40 43 59 74 81 97
a 5 12 28 40 43 69 74 81 97
a 5 12 26 40 43 69 74 81 97
a 5 12 26 40 43 51 69 74 97
a 5 26 40 43 51 69 74 82 97
a 5 18 26 43 51 69 74 82 97
a 5 18 30 43 51 69 74 82 97
a 18 30 35 43 51 69 74 82 97
a 4 18 30 35 43 51 69 82 97
a 4 18 30 35 51 69 76 82 97
a 4 18 23 35 51 69 76 82 97
c Step: 275
#END: [Thu Aug 31 11:35:17 2023]