(1,20) (2,19) (3,27) (4,24) (5,21) (6,25) (7,30) (8,18) (9,29) (10,23) (12,16) (13,22) (15,26) 
nodes: 444  conflicts: 49  modelTime: 673  solveTime: 887  totalTime: 1567  modelSize: 41293  readTime: 7 size: 13