(1,21) (2,25) (3,23) (4,20) (5,16) (7,30) (8,29) (9,24) (10,17) (12,18) (13,26) (14,22) (15,19) 
nodes: 1422  conflicts: 26  modelTime: 664  solveTime: 2042  totalTime: 2712  modelSize: 41293  readTime: 6 size: 13