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