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