(1,22) (2,23) (3,27) (4,28) (5,18) (6,29) (8,30) (9,16) (10,20) (11,19) (12,25) (13,21) (14,26) (15,24) 
nodes: 21294  conflicts: 26  modelTime: 657  solveTime: 41210  totalTime: 41873  modelSize: 41292  readTime: 6 size: 14