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