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