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