(1,22) (2,21) (3,30) (4,18) (5,27) (6,28) (7,19) (8,20) (9,26) (10,17) (11,25) (12,16) (13,29) (14,24) (15,23) 
nodes: 6502  conflicts: 11  modelTime: 657  solveTime: 11668  totalTime: 12330  modelSize: 41292  readTime: 5 size: 15