(1,17) (2,24) (3,21) (4,25) (5,22) (7,20) (8,30) (9,23) (11,29) (12,16) (13,19) (14,18) (15,27) 
nodes: 1832  conflicts: 35  modelTime: 662  solveTime: 1670  totalTime: 2339  modelSize: 41293  readTime: 7 size: 13