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