(1,23) (2,21) (3,20) (4,24) (5,19) (6,18) (7,22) (9,17) (11,26) (12,25) (13,30) (14,27) (15,29) 
nodes: 1946  conflicts: 32  modelTime: 656  solveTime: 3321  totalTime: 3984  modelSize: 41293  readTime: 7 size: 13