(1,27) (2,22) (3,19) (4,26) (5,29) (7,17) (8,21) (9,16) (10,20) (11,24) (12,18) (13,30) (15,28) 
nodes: 448  conflicts: 47  modelTime: 663  solveTime: 774  totalTime: 1444  modelSize: 41293  readTime: 7 size: 13