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