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