(2,24) (3,18) (4,16) (5,17) (6,22) (8,28) (10,29) (12,19) (13,27) (14,26) 
nodes: 464  conflicts: 66  modelTime: 664  solveTime: 903  totalTime: 1573  modelSize: 41300  readTime: 6 size: 10