(1,28) (2,26) (3,30) (4,20) (5,29) (6,17) (7,25) (8,24) (9,22) (10,16) (11,21) (12,23) 
nodes: 1589  conflicts: 62  modelTime: 663  solveTime: 1346  totalTime: 2015  modelSize: 41293  readTime: 6 size: 12