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