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