(1,16) (3,21) (4,24) (5,18) (6,19) (7,20) (10,27) (12,29) (13,26) (15,28) 
nodes: 991  conflicts: 103  modelTime: 668  solveTime: 845  totalTime: 1521  modelSize: 41300  readTime: 7 size: 10