(1,12) (3,15) (4,14) (5,9) (6,20) (7,8) (10,22) (11,28) (13,24) (16,29) (17,23) (19,25) (21,26) (27,30) 
nodes: 16480  conflicts: 71  modelTime: 925  solveTime: 30016  totalTime: 30952  modelSize: 72262  readTime: 11 size: 14