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