(1,16) (2,26) (4,15) (5,20) (6,27) (7,19) (8,18) (9,30) (10,22) (11,29) (12,28) (13,21) (14,17) (24,25) 
nodes: 52572  conflicts: 59  modelTime: 969  solveTime: 285984  totalTime: 286964  modelSize: 72269  readTime: 11 size: 14