(1,15) (2,20) (3,11) (6,18) (7,14) (8,19) (9,16) (10,17) 
nodes: 566  conflicts: 15  modelTime: 773  solveTime: 735  totalTime: 1512  modelSize: 20658  readTime: 4 size: 8