(1,12) (2,4) (3,25) (5,13) (6,26) (7,17) (8,9) (10,19) (11,24) (14,20) (15,29) (16,18) (21,23) (22,30) (27,28) 
nodes: 44560  conflicts: 46  modelTime: 1724  solveTime: 157342  totalTime: 159087  modelSize: 72273  readTime: 21 size: 15