(1,19) (2,23) (3,17) (4,27) (8,20) (9,22) (11,24) (13,30) (14,25) 
nodes: 786  conflicts: 79  modelTime: 723  solveTime: 708  totalTime: 1438  modelSize: 41301  readTime: 7 size: 9