(1,20) (2,22) (3,28) (4,24) (5,16) (6,25) (7,29) (8,17) (9,18) (12,23) (13,30) (14,19) (15,26) 
nodes: 7207  conflicts: 21  modelTime: 656  solveTime: 13429  totalTime: 14092  modelSize: 41293  readTime: 7 size: 13