#BEGIN: [Thu Aug 31 19:32:43 2023]
#HOST: s04
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/queen9_9.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/queen9_9_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/queen9_9.col /benchmark/2022benchmark/benchmark/color04/queen9_9_02.dat
c /benchmark/2022benchmark/benchmark/color04/queen9_9.col
c /benchmark/2022benchmark/benchmark/color04/queen9_9_02.dat
TIMEOUT 1800
c send SIGTERM to CID e0be0e383f227944aed293ee1f284ecd0cc1b8f2c1049dace69e304556f572e3
s 3 15 27 34 40 46 62 77 
t 8 15 21 36 43 46 65 77
a YES
a 3 15 27 34 40 46 62 77
a 3 15 27 34 40 46 62 65
a 3 15 27 34 40 46 62 68
a 3 15 27 34 40 62 68 73
a 3 15 27 29 40 62 68 73
a 3 15 27 29 40 46 62 68
a 3 15 27 29 40 46 62 77
a 3 15 27 40 46 62 65 77
a 3 27 34 40 46 62 65 77
a 15 27 34 40 46 62 65 77
a 15 21 34 40 46 62 65 77
a 3 15 34 40 46 62 65 77
a 3 15 36 40 46 62 65 77
a 3 15 36 40 46 62 65 79
a 15 21 36 40 46 62 65 79
a 4 15 21 36 46 62 65 79
a 4 15 21 36 43 46 62 65
a 4 15 21 36 43 50 62 65
a 4 15 21 36 43 50 62 64
a 4 15 21 36 50 62 64 79
a 4 15 36 38 50 62 64 79
a 4 15 21 38 50 62 64 79
a 4 15 21 36 38 50 64 79
a 4 21 36 38 50 62 64 79
a 4 15 21 36 38 62 64 79
a 4 15 21 36 38 62 64 77
a 4 15 21 36 43 62 64 77
a 4 15 21 36 43 46 62 77
a 15 21 36 43 46 62 65 77
a 15 21 36 43 46 58 65 77
a 8 15 36 43 46 58 65 77
a 8 15 20 36 43 46 58 77
a 15 20 36 43 46 58 71 77
a 2 15 36 43 46 58 71 77
a 2 24 36 43 46 58 71 77
a 2 24 36 39 46 58 71 77
a 2 17 24 36 39 46 58 77
a 2 17 24 36 39 46 70 77
a 2 17 24 39 46 63 70 77
a 2 24 35 39 46 63 70 77
a 2 24 35 39 46 58 70 77
a 2 24 35 39 46 58 70 81
a 2 13 24 35 39 46 70 81
a 2 13 24 35 39 46 70 77
a 2 13 24 36 39 46 70 77
a 2 24 36 39 46 58 70 77
a 2 17 24 36 39 58 70 77
a 1 17 24 36 39 58 70 77
a 17 24 36 39 46 58 70 77
a 3 17 24 36 46 58 70 77
a 2 17 24 36 46 58 70 77
a 2 17 24 36 43 46 58 77
a 2 17 21 36 43 46 58 77
a 2 15 21 36 43 46 58 77
a 2 15 21 36 43 58 64 77
a 2 15 21 43 54 58 64 77
a 2 15 21 43 54 58 64 80
a 2 15 21 36 43 58 64 80
a 2 15 21 36 43 46 58 80
a 15 21 36 43 46 58 65 80
a 8 15 21 36 43 46 58 65
a 8 15 21 43 46 58 65 77
a 8 15 21 36 46 58 65 77
a 8 15 21 36 43 58 65 77
a 8 15 19 36 43 58 65 77
a 8 15 19 30 43 58 65 77
a 8 15 30 43 54 58 65 77
a 15 19 30 43 54 58 65 77
a 8 15 19 43 54 58 65 77
a 8 15 19 30 43 54 58 65
a 8 15 19 30 43 58 65 81
a 8 15 19 30 52 58 65 81
a 8 15 19 30 52 58 65 77
a 8 15 19 30 54 58 65 77
a 8 15 19 30 43 54 58 77
a 15 19 30 43 54 58 71 77
a 2 15 19 30 54 58 71 77
a 2 15 19 43 54 58 71 77
a 2 15 19 30 43 58 71 77
a 2 15 19 36 43 58 71 77
a 2 15 19 36 43 48 71 77
a 4 15 19 36 43 48 71 77
a 4 15 19 36 43 48 65 77
a 4 15 19 36 48 62 65 77
a 15 19 36 43 48 62 65 77
a 4 19 36 43 48 62 65 77
a 4 15 19 43 48 62 65 77
a 4 15 19 36 43 48 62 77
a 4 15 19 36 43 48 62 74
a 4 15 19 36 43 48 62 65
a 4 15 19 43 48 62 65 81
a 4 15 19 43 50 62 65 81
a 4 15 19 36 43 50 62 65
a 4 15 19 36 43 62 65 77
a 4 15 36 43 46 62 65 77
a 4 21 36 43 46 62 65 77
a 4 15 21 36 46 62 65 77
a 4 15 21 43 46 62 65 77
a 4 15 21 36 43 46 65 77
a 4 15 21 36 43 46 65 80
a 4 15 21 32 43 46 65 80
a 15 21 32 43 46 58 65 80
a 15 21 32 43 54 58 65 80
a 6 21 32 43 54 58 65 80
a 6 10 21 32 43 54 58 65
a 6 10 21 43 54 58 65 77
a 8 10 21 43 54 58 65 77
a 8 10 21 36 43 58 65 77
a 8 21 36 43 46 58 65 77
a 8 15 21 36 43 46 58 77
a 8 15 21 36 43 46 65 77
c Step: 110
#END: [Thu Aug 31 20:02:43 2023]