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