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