(1,19) (2,17) (3,27) (6,30) (7,28) (10,22) (11,21) (13,23) (14,29) (15,20) 
nodes: 731  conflicts: 79  modelTime: 662  solveTime: 779  totalTime: 1447  modelSize: 41300  readTime: 6 size: 10