(1,16) (2,19) (3,23) (4,29) (5,18) (6,28) (7,17) (9,22) (10,26) (11,27) (12,25) 
nodes: 1446  conflicts: 65  modelTime: 662  solveTime: 1358  totalTime: 2026  modelSize: 41293  readTime: 6 size: 11