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