(1,11) (2,18) (3,16) (4,14) (5,12) (7,20) (8,15) (9,19) (10,13) 
nodes: 498  conflicts: 6  modelTime: 669  solveTime: 717  totalTime: 1389  modelSize: 20646  readTime: 3 size: 9