(1,23) (3,22) (5,26) (6,16) (7,18) (8,28) (10,29) (12,19) (14,24) (15,20) 
nodes: 413  conflicts: 73  modelTime: 803  solveTime: 763  totalTime: 1573  modelSize: 41300  readTime: 7 size: 10