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