(1,20) (3,16) (4,28) (6,18) (7,19) (8,24) (10,22) (11,23) (12,30) (13,27) 
nodes: 674  conflicts: 71  modelTime: 659  solveTime: 756  totalTime: 1422  modelSize: 41293  readTime: 7 size: 10