(1,15) (2,13) (5,18) (6,16) (7,17) (8,19) (9,11) (10,20) 
nodes: 147  conflicts: 31  modelTime: 683  solveTime: 347  totalTime: 1037  modelSize: 20646  readTime: 7 size: 8