(1,16) (2,11) (3,20) (5,13) (6,18) (8,14) (10,15) 
nodes: 162  conflicts: 30  modelTime: 705  solveTime: 619  totalTime: 1330  modelSize: 20646  readTime: 6 size: 7