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