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