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