(1,16) (2,21) (4,24) (5,23) (6,18) (7,20) (8,26) (9,22) (11,29) (12,28) (13,17) (14,30) (15,27) 
nodes: 7555  conflicts: 53  modelTime: 657  solveTime: 12052  totalTime: 12715  modelSize: 41298  readTime: 6 size: 13