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