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