(1,21) (2,16) (4,20) (5,24) (9,22) (11,29) (13,28) (14,17) (15,27) 
nodes: 1518  conflicts: 79  modelTime: 676  solveTime: 1105  totalTime: 1788  modelSize: 41301  readTime: 7 size: 9