(1,21) (2,26) (3,22) (8,29) (9,16) (10,28) (11,27) (12,24) (13,25) (15,23) 
nodes: 857  conflicts: 88  modelTime: 668  solveTime: 1080  totalTime: 1754  modelSize: 41300  readTime: 6 size: 10