(1,30) (2,19) (4,27) (5,20) (6,21) (7,16) (8,26) (9,17) (11,23) (13,28) (14,24) (15,29) 
nodes: 626  conflicts: 48  modelTime: 660  solveTime: 1007  totalTime: 1674  modelSize: 41293  readTime: 7 size: 12