(1,17) (2,11) (4,19) (5,12) (7,18) (8,15) (9,16) (10,20) 
nodes: 476  conflicts: 18  modelTime: 711  solveTime: 736  totalTime: 1454  modelSize: 20646  readTime: 6 size: 8