(1,27) (2,25) (3,30) (5,20) (6,24) (7,17) (8,18) (9,28) (10,23) (12,16) 
nodes: 1234  conflicts: 83  modelTime: 811  solveTime: 1400  totalTime: 2218  modelSize: 41300  readTime: 7 size: 10