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