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