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