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