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