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