(1,16) (2,20) (3,18) (4,27) (5,28) (6,22) (7,19) (8,17) (9,23) (10,21) (11,30) (12,24) (13,25) (14,26) (15,29) 
nodes: 3183  conflicts: 10  modelTime: 656  solveTime: 7171  totalTime: 7832  modelSize: 41293  readTime: 5 size: 15