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