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