(1,24) (3,21) (4,20) (5,18) (6,30) (7,25) (8,16) (9,22) (10,29) (12,17) (14,19) (15,27) 
nodes: 818  conflicts: 47  modelTime: 657  solveTime: 782  totalTime: 1446  modelSize: 41293  readTime: 7 size: 12