(2,21) (3,27) (4,18) (5,28) (6,29) (7,25) (8,17) (10,30) (11,16) (12,22) (13,24) (14,26) 
nodes: 866  conflicts: 63  modelTime: 671  solveTime: 877  totalTime: 1566  modelSize: 41293  readTime: 18 size: 12