(1,26) (2,21) (4,19) (5,18) (6,20) (8,16) (9,27) (11,17) (12,29) (14,24) (15,28) 
nodes: 696  conflicts: 51  modelTime: 783  solveTime: 920  totalTime: 1711  modelSize: 41300  readTime: 8 size: 11