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