(1,20) (2,27) (3,17) (4,18) (5,30) (6,19) (7,25) (8,26) (9,24) (11,21) (13,16) (15,29) 
nodes: 1112  conflicts: 49  modelTime: 660  solveTime: 1275  totalTime: 1942  modelSize: 41293  readTime: 7 size: 12