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