(1,26) (2,18) (4,28) (5,30) (7,27) (8,22) (9,25) (10,19) (11,21) (12,16) 
nodes: 810  conflicts: 90  modelTime: 664  solveTime: 880  totalTime: 1551  modelSize: 41301  readTime: 7 size: 10