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