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