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