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