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