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