#BEGIN: [Thu Aug 31 19:31:11 2023]
#HOST: s05
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/queen8_12.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/queen8_12_02.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/color04/queen8_12.col /benchmark/2022benchmark/benchmark/color04/queen8_12_02.dat
c /benchmark/2022benchmark/benchmark/color04/queen8_12.col
c /benchmark/2022benchmark/benchmark/color04/queen8_12_02.dat
TIMEOUT 1800
c send SIGTERM to CID bba50db7af1bb89d362cefb88844866f59908e15359fb4d685a424c2653eac98
s 1 24 28 45 55 62 87 
t 9 16 37 58 62 83 90
a YES
a 1 24 28 45 55 62 87
a 1 28 45 55 62 83 87
a 1 24 28 45 55 83 87
a 1 24 28 45 55 70 87
a 1 24 28 45 55 82 87
a 1 24 26 45 55 82 87
a 1 24 26 45 55 64 82
a 24 26 45 55 64 82 92
a 24 26 47 55 64 82 92
a 5 24 47 55 64 82 92
a 5 24 26 47 64 82 92
a 5 24 26 55 64 82 92
a 5 24 26 55 64 73 92
a 5 24 45 55 64 73 92
a 24 26 45 55 64 73 92
a 5 26 45 55 64 73 92
a 5 26 46 55 64 73 92
a 5 26 46 55 64 73 87
a 12 26 46 55 64 73 87
a 12 17 26 46 55 64 73
a 12 17 26 46 55 64 87
a 12 17 26 46 55 80 87
a 12 17 26 46 55 64 80
a 12 17 26 46 55 71 80
a 12 18 26 46 55 71 80
a 12 18 26 46 55 64 80
a 12 18 26 46 55 64 87
a 12 18 26 46 55 71 87
a 12 18 25 46 55 71 87
a 12 25 46 55 71 80 87
a 12 26 46 55 71 80 87
a 12 17 46 55 71 80 87
a 12 17 46 55 71 80 85
a 12 17 26 55 71 80 85
a 12 17 40 55 71 80 85
a 12 21 40 55 71 80 85
a 12 21 26 40 71 80 85
a 12 26 40 55 71 80 85
a 12 26 40 55 71 80 87
a 12 21 26 40 55 71 80
a 12 21 26 40 55 71 90
a 12 21 40 55 71 80 90
a 21 26 40 55 71 80 90
a 1 21 26 55 71 80 90
a 1 21 26 46 55 71 80
a 1 21 26 46 55 63 80
a 1 21 26 55 63 80 90
a 1 21 26 55 63 80 96
a 21 26 40 55 63 80 96
a 21 26 40 49 63 80 96
a 21 26 46 49 63 80 96
a 12 21 26 46 49 63 80
a 12 21 26 46 49 64 80
a 12 17 26 46 49 64 80
a 12 17 26 46 49 80 87
a 12 17 26 46 49 83 87
a 17 26 46 49 64 83 87
a 1 17 26 46 64 83 87
a 1 17 46 60 64 83 87
a 1 17 26 46 60 64 83
a 17 26 46 60 64 83 87
a 17 26 46 55 64 83 87
a 1 17 26 55 64 83 87
a 8 17 26 55 64 83 87
a 8 17 26 46 64 83 87
a 8 26 46 55 64 83 87
a 1 26 46 55 64 83 87
a 1 26 46 55 64 80 87
a 1 17 26 46 64 80 87
a 17 26 46 49 64 80 87
a 17 26 48 49 64 80 87
a 17 33 48 49 64 80 87
a 1 17 33 48 64 80 87
a 1 17 34 48 64 80 87
a 17 34 48 49 64 80 87
a 11 17 34 49 64 80 87
a 11 17 34 49 72 80 87
a 11 17 31 49 72 80 87
a 11 17 31 49 72 80 90
a 10 17 31 49 72 80 90
a 10 17 31 47 49 72 90
a 2 17 31 47 49 72 90
a 17 31 47 49 72 74 90
a 17 31 40 49 72 74 90
a 11 17 40 49 72 74 90
a 11 17 40 49 72 74 93
a 11 17 32 49 72 74 93
a 17 32 40 49 72 74 93
a 11 32 40 49 72 74 93
a 11 13 32 40 72 74 93
a 13 32 40 55 72 74 93
a 13 32 47 55 72 74 93
a 10 13 47 55 72 74 93
a 10 13 40 55 72 74 93
a 10 13 27 55 72 74 93
a 10 13 27 48 55 74 93
a 6 13 27 48 55 74 93
a 6 27 48 55 65 74 93
a 6 25 48 55 65 74 93
a 6 23 25 48 55 65 74
a 6 23 25 55 65 74 93
a 23 25 48 55 65 74 93
a 6 23 25 48 65 74 93
a 6 23 25 44 65 74 93
a 6 25 44 59 65 74 93
a 6 36 44 59 65 74 93
a 6 16 36 44 59 65 93
a 6 16 36 44 59 65 75
a 6 16 36 59 65 75 93
a 16 36 44 59 65 75 93
a 6 16 36 44 59 75 93
a 6 16 36 44 59 75 85
a 6 16 36 44 65 75 85
a 6 16 36 44 59 65 85
a 6 16 36 59 65 75 85
a 6 36 38 59 65 75 85
a 6 22 36 38 59 75 85
a 6 22 36 38 59 75 93
a 6 22 36 59 65 75 93
a 1 22 36 59 65 75 93
a 1 22 30 59 65 75 93
a 1 24 30 59 65 75 93
a 1 24 30 44 65 75 93
a 24 30 44 59 65 75 93
a 1 24 30 44 59 75 93
a 1 24 30 44 59 67 75
a 1 21 30 44 59 67 75
a 1 21 30 44 67 75 94
a 1 21 26 44 67 75 94
a 1 24 26 44 67 75 94
a 1 24 26 44 59 67 94
a 1 24 26 44 59 67 75
a 1 24 26 44 59 69 75
a 24 26 44 59 69 75 89
a 6 24 44 59 69 75 89
a 6 24 26 44 59 69 75
a 6 24 25 44 59 69 75
a 6 24 25 44 59 69 89
a 10 24 25 44 59 69 89
a 10 24 44 59 69 75 89
a 10 19 44 59 69 75 89
a 19 26 44 59 69 75 89
a 1 19 26 44 69 75 89
a 1 19 44 59 69 75 89
a 1 19 26 44 59 69 89
a 1 19 26 44 59 69 76
a 12 19 26 44 59 69 76
a 12 19 26 44 51 69 76
a 1 19 26 44 51 69 76
a 1 19 26 44 51 76 93
a 1 19 26 44 51 76 95
a 12 19 26 44 51 76 95
a 12 19 26 51 68 76 95
a 12 19 26 51 68 76 93
a 12 26 47 51 68 76 93
a 22 26 47 51 68 76 93
a 1 22 26 51 68 76 93
a 1 22 26 42 51 76 93
a 1 22 26 42 51 76 95
a 1 26 42 51 67 76 95
a 1 33 42 51 67 76 95
a 24 33 42 51 67 76 95
a 8 24 33 42 67 76 95
a 8 24 33 39 67 76 95
a 8 24 33 39 49 67 76
a 8 24 33 42 49 67 76
a 8 14 33 42 49 67 76
a 8 14 33 42 49 71 76
a 8 14 36 42 49 71 76
a 8 17 36 42 49 71 76
a 8 17 36 42 49 71 87
a 8 17 36 42 71 73 87
a 8 17 36 42 57 71 87
a 8 17 26 42 57 71 87
a 8 26 42 57 71 77 87
a 8 26 42 49 71 77 87
a 8 24 26 49 71 77 87
a 8 24 42 49 71 77 87
a 8 14 42 49 71 77 87
a 8 14 33 42 49 71 87
a 8 14 33 42 49 70 87
a 8 14 42 49 70 84 87
a 8 14 33 49 70 84 87
a 8 14 33 42 49 70 84
a 8 14 33 42 49 84 91
a 8 14 33 42 61 84 91
a 8 14 33 42 70 84 91
a 8 14 42 49 70 84 91
a 8 14 33 42 49 70 91
a 4 14 33 42 49 70 91
a 4 14 33 42 49 84 91
a 4 14 33 42 49 63 91
a 4 14 33 42 63 73 91
a 4 14 33 60 63 73 91
a 4 14 33 42 60 63 73
a 4 33 42 60 63 73 91
a 4 22 42 60 63 73 91
a 4 14 42 60 63 73 91
a 4 14 32 60 63 73 91
a 4 14 32 57 63 73 91
a 4 14 32 57 72 73 91
a 4 14 32 42 57 72 91
a 14 32 42 57 72 82 91
a 14 32 37 57 72 82 91
a 14 28 37 57 72 82 91
a 23 28 37 57 72 82 91
a 23 28 37 57 72 77 91
a 23 28 37 57 72 77 87
a 23 28 42 57 72 77 87
a 23 28 42 58 72 77 87
a 8 23 28 42 72 77 87
a 8 28 42 49 72 77 87
a 8 28 42 58 72 77 87
a 8 28 37 58 72 77 87
a 18 28 37 58 72 77 87
a 8 18 28 58 72 77 87
a 8 18 26 58 72 77 87
a 8 18 26 48 58 77 87
a 8 26 48 58 67 77 87
a 18 26 48 58 67 77 87
a 8 18 26 48 58 67 77
a 8 18 26 48 58 67 75
a 8 16 26 48 58 67 75
a 8 16 33 48 58 67 75
a 8 16 33 48 58 67 95
a 8 14 33 48 58 67 95
a 14 33 48 58 67 73 95
a 14 33 48 58 67 73 90
a 14 33 48 58 67 83 90
a 14 29 48 58 67 83 90
a 9 14 29 58 67 83 90
a 9 29 37 58 67 83 90
a 9 16 37 58 67 83 90
a 9 16 37 58 62 83 90
c Step: 233
#END: [Thu Aug 31 20:01:11 2023]