(2,23) (4,22) (5,20) (6,17) (9,16) (10,30) (12,27) (13,29) (15,19) 
nodes: 287  conflicts: 73  modelTime: 669  solveTime: 493  totalTime: 1169  modelSize: 41301  readTime: 7 size: 9