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