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