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