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