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