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