(1,25) (2,23) (3,28) (4,26) (5,17) (6,30) (7,10) (8,16) (9,20) (11,14) (12,15) (18,27) (24,29) 
nodes: 4075  conflicts: 46  modelTime: 1740  solveTime: 16987  totalTime: 18748  modelSize: 72262  readTime: 21 size: 13