#BEGIN: [Thu Aug 31 22:01:49 2023]
#HOST: s01
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen008x008.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen008x008_03_8723.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/2022benchmark/benchmark/queen/queen008x008.col /benchmark/2022benchmark/benchmark/queen/queen008x008_03_8723.dat
c /benchmark/2022benchmark/benchmark/queen/queen008x008.col
c /benchmark/2022benchmark/benchmark/queen/queen008x008_03_8723.dat
TIMEOUT 1800
c send SIGTERM to CID 3fe2e0deff7dd0b5e8353e1e3599414ab5e0f4956f4689b68827fd9d4a0cf6ad
s 52 13 62 3 18 47 32
t 39 1 50 44 24 14 61
a YES
a 3 13 18 32 47 52 62
a 1 13 18 32 47 52 62
a 13 18 32 33 47 52 62
a 3 18 32 33 47 52 62
a 3 13 32 33 47 52 62
a 3 13 32 33 47 50 62
a 3 13 24 33 47 50 62
a 3 13 24 25 47 50 62
a 3 13 24 28 47 50 62
a 3 9 24 28 47 50 62
a 3 9 24 28 34 47 62
a 9 24 28 34 47 51 62
a 5 9 24 28 34 47 51
a 5 24 28 34 47 51 57
a 5 24 28 34 47 51 62
a 5 9 24 34 47 51 62
a 4 9 24 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 51 62
a 4 9 21 34 47 51 62
a 4 9 21 34 47 51 64
a 4 9 21 26 47 51 64
a 6 9 21 26 47 51 64
a 6 21 26 36 47 51 64
a 6 21 25 36 47 51 64
a 6 10 21 25 36 47 51
a 10 21 25 36 47 51 62
a 10 21 32 36 47 51 62
a 1 21 32 36 47 51 62
a 1 21 32 34 47 51 62
a 1 15 21 32 34 51 62
a 4 15 21 32 34 51 62
a 4 21 32 34 47 51 62
a 4 10 21 32 47 51 62
a 4 9 21 32 47 51 62
a 4 9 21 32 47 50 62
a 4 9 32 37 47 50 62
a 4 9 19 32 47 50 62
a 4 9 19 32 34 47 62
a 4 9 21 32 34 47 62
a 9 21 32 34 47 51 62
a 8 9 21 34 47 51 62
a 8 9 28 34 47 51 62
a 5 9 28 34 47 51 62
a 5 9 22 28 34 47 51
a 5 9 22 28 34 47 59
a 5 9 22 28 34 56 59
a 5 9 22 28 39 56 59
a 5 9 22 28 39 56 58
a 5 9 28 39 43 56 58
a 5 9 28 39 43 56 62
a 5 9 24 28 39 43 62
a 5 9 24 28 39 51 62
a 5 9 24 28 47 51 62
a 5 9 24 28 47 50 62
a 5 9 24 28 39 50 62
a 5 11 24 28 39 50 62
a 5 11 24 28 39 41 62
a 5 11 24 28 39 41 58
a 5 11 24 28 39 41 54
a 5 11 28 39 41 54 58
a 5 11 17 28 39 54 58
a 5 11 24 28 39 54 58
a 5 24 28 39 41 54 58
a 5 11 24 39 41 54 58
a 5 11 24 28 41 54 58
a 11 24 28 39 41 54 58
a 8 11 28 39 41 54 58
a 8 11 17 28 39 54 58
a 8 13 17 28 39 54 58
a 13 17 28 39 43 54 58
a 13 17 28 39 43 56 58
a 6 17 28 39 43 56 58
a 6 17 28 39 45 56 58
a 6 11 17 28 39 45 58
a 6 11 17 28 40 45 58
a 6 11 17 28 40 45 50
a 6 11 17 28 39 45 50
a 6 11 17 28 39 50 61
a 6 11 17 28 48 50 61
a 6 11 17 28 48 50 63
a 6 11 28 33 48 50 63
a 6 11 28 33 48 50 61
a 6 11 31 33 48 50 61
a 6 11 23 33 48 50 61
a 11 23 28 33 48 50 61
a 6 11 23 28 33 50 61
a 6 11 23 28 48 50 61
a 6 23 28 33 48 50 61
a 6 11 23 28 33 48 50
a 6 11 23 28 33 48 61
a 6 11 23 28 33 48 53
a 6 23 28 33 48 53 59
a 6 18 28 33 48 53 59
a 6 16 18 28 33 53 59
a 6 16 18 28 33 43 53
a 6 16 18 31 33 43 53
a 6 18 31 33 43 53 64
a 6 12 18 31 43 53 64
a 6 12 18 31 43 49 64
a 6 12 18 31 37 43 49
a 12 18 31 37 43 49 62
a 12 18 31 37 43 56 62
a 7 12 18 37 43 56 62
a 7 12 18 32 37 43 62
a 12 18 32 37 43 49 62
a 2 12 32 37 43 49 62
a 2 12 31 37 43 49 62
a 2 12 24 37 43 49 62
a 2 12 24 37 43 49 63
a 2 12 32 37 43 49 63
a 6 12 32 37 43 49 63
a 6 12 17 32 37 43 63
a 2 12 17 32 37 43 63
a 2 12 17 32 37 43 54
a 7 12 17 32 37 43 54
a 7 12 17 32 43 54 58
a 7 13 17 32 43 54 58
a 7 13 32 33 43 54 58
a 7 13 24 33 43 54 58
a 13 24 28 33 43 54 58
a 3 13 24 28 33 54 58
a 3 13 24 28 33 47 58
a 3 13 24 28 33 47 62
a 3 13 18 28 33 47 62
a 3 13 28 33 47 50 62
a 3 13 24 28 33 47 50
a 3 13 24 28 33 50 63
a 3 13 24 28 33 50 62
a 3 13 23 28 33 50 62
a 3 13 23 28 33 56 62
a 3 23 28 33 45 56 62
a 3 23 28 33 45 50 62
a 3 23 28 40 45 50 62
a 3 23 25 40 45 50 62
a 3 23 25 40 45 50 60
a 3 14 25 40 45 50 60
a 14 19 25 40 45 50 60
a 2 14 19 25 40 45 60
a 2 15 19 25 40 45 60
a 2 15 19 25 40 45 62
a 2 15 19 40 45 49 62
a 2 15 19 30 40 45 49
a 15 19 30 40 45 49 60
a 15 19 30 34 45 49 60
a 8 19 30 34 45 49 60
a 8 19 30 34 47 49 60
a 8 9 19 30 34 47 60
a 8 9 19 30 34 47 53
a 8 9 30 34 47 53 59
a 4 9 30 34 47 53 59
a 4 9 30 34 47 53 64
a 4 9 24 30 34 47 53
a 4 24 30 34 47 53 57
a 4 19 30 34 47 53 57
a 4 16 19 34 47 53 57
a 4 14 19 34 47 53 57
a 4 14 24 34 47 53 57
a 4 14 24 34 47 51 57
a 4 14 24 26 47 51 57
a 4 14 24 26 39 51 57
a 4 14 26 39 45 51 57
a 4 14 26 39 45 56 57
a 4 14 19 39 45 56 57
a 4 14 19 34 45 56 57
a 4 19 30 34 45 56 57
a 7 19 30 34 45 56 57
a 7 19 30 34 45 56 60
a 15 19 30 34 45 56 60
a 4 15 19 30 34 45 56
a 4 15 19 34 45 56 62
a 4 15 19 32 34 45 62
a 15 19 32 34 45 49 62
a 2 15 19 32 45 49 62
a 4 15 19 32 45 49 62
a 4 19 32 34 45 49 62
a 4 19 32 34 47 49 62
a 4 15 19 32 34 49 62
a 4 15 19 34 45 49 62
a 4 15 32 34 45 49 62
a 3 15 32 34 45 49 62
a 3 15 20 32 45 49 62
a 3 15 20 32 33 45 62
a 3 15 20 32 33 45 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 56 61
a 7 10 22 27 33 44 61
a 7 10 22 32 33 44 61
a 7 10 22 33 44 56 61
a 7 10 22 33 44 56 59
a 7 10 22 32 33 44 59
a 7 10 32 33 44 54 59
a 7 10 20 32 33 54 59
a 7 10 20 32 33 43 54
a 7 10 20 32 33 43 62
a 7 10 20 32 33 45 62
a 7 10 20 32 45 51 62
a 7 10 20 32 45 51 57
a 7 10 20 40 45 51 57
a 7 10 20 30 40 45 57
a 7 10 20 30 40 53 57
a 7 10 20 30 40 53 59
a 7 10 20 30 40 43 53
a 10 20 30 40 43 53 63
a 10 20 30 33 43 53 63
a 7 10 20 30 33 43 53
a 7 10 20 30 33 53 59
a 8 10 20 30 33 53 59
a 8 10 30 33 47 53 59
a 8 18 30 33 47 53 59
a 8 13 18 30 33 47 59
a 8 13 18 28 33 47 59
a 8 18 28 33 47 53 59
a 16 18 28 33 47 53 59
a 3 16 18 28 33 47 53
a 3 16 22 28 33 47 53
a 16 22 28 33 47 53 59
a 6 16 28 33 47 53 59
a 6 16 18 28 33 47 59
a 6 18 28 33 47 53 59
a 6 16 18 28 47 53 59
a 6 16 18 28 47 53 57
a 3 16 18 28 47 53 57
a 3 16 28 34 47 53 57
a 3 24 28 34 47 53 57
a 3 9 24 28 34 47 53
a 3 9 24 28 47 53 58
a 3 9 22 28 47 53 58
a 3 22 28 33 47 53 58
a 3 24 28 33 47 53 58
a 3 14 24 33 47 53 58
a 3 14 24 25 47 53 58
a 3 14 24 25 36 47 58
a 3 14 24 36 47 53 58
a 3 14 24 36 41 53 58
a 3 14 31 36 41 53 58
a 3 14 31 36 41 53 64
a 3 14 18 31 41 53 64
a 3 14 18 31 33 53 64
a 3 14 20 31 33 53 64
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 31 33 44 61
a 8 14 18 31 33 44 61
a 14 18 31 33 44 56 61
a 3 14 18 31 44 56 61
a 3 14 18 31 33 44 56
a 3 14 31 33 44 56 61
a 3 14 18 31 33 56 61
a 3 18 31 33 46 56 61
a 3 15 18 33 46 56 61
a 3 15 18 28 33 56 61
a 3 15 18 28 33 56 62
a 3 15 18 28 41 56 62
a 3 15 18 28 41 56 61
a 3 15 18 28 38 41 61
a 3 16 18 28 38 41 61
a 3 16 18 28 38 41 53
a 3 16 28 38 41 53 63
a 3 16 22 28 41 53 63
a 3 16 22 28 34 53 63
a 3 16 22 28 34 47 53
a 16 22 28 34 47 53 59
a 9 22 28 34 47 53 59
a 9 22 28 34 48 53 59
a 5 9 22 28 34 48 59
a 5 9 22 28 34 48 51
a 5 22 28 34 48 51 63
a 5 11 22 28 34 48 63
a 5 11 17 28 34 48 63
a 5 17 28 34 48 51 63
a 5 17 28 38 48 51 63
a 13 17 28 38 48 51 63
a 13 17 28 38 48 50 63
a 5 17 28 38 48 50 63
a 5 11 17 28 48 50 63
a 5 11 17 28 40 50 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 11 30 40 42 52 63
a 5 11 30 40 42 52 57
a 5 11 30 40 42 55 57
a 5 11 24 30 42 55 57
a 5 11 24 30 34 55 57
a 5 11 24 34 44 55 57
a 5 11 24 34 44 54 57
a 5 11 24 39 44 54 57
a 5 10 24 39 44 54 57
a 5 10 24 27 39 44 57
a 5 10 27 39 44 56 57
a 5 10 22 27 39 44 56
a 5 10 22 27 39 44 49
a 10 22 27 39 44 49 61
a 10 24 27 39 44 49 61
a 2 24 27 39 44 49 61
a 2 14 24 27 39 44 61
a 14 24 27 39 44 50 61
a 1 14 24 39 44 50 61
c Step: 308
#END: [Thu Aug 31 22:31:49 2023]