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