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