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