(1,19) (2,24) (3,20) (6,26) (7,27) (8,21) (9,30) (10,18) (11,23) (14,28) 
nodes: 760  conflicts: 67  modelTime: 672  solveTime: 911  totalTime: 1590  modelSize: 41293  readTime: 7 size: 10