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