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