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