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