(2,28) (3,20) (4,26) (5,21) (6,27) (7,17) (8,25) (9,24) (10,29) (12,19) (13,30) (14,18) (15,22) 
nodes: 938  conflicts: 32  modelTime: 660  solveTime: 1015  totalTime: 1682  modelSize: 41293  readTime: 6 size: 13