(1,17) (2,20) (3,15) (4,19) (5,12) (6,14) (8,13) (9,11) (10,18) 
nodes: 431  conflicts: 13  modelTime: 681  solveTime: 550  totalTime: 1235  modelSize: 20658  readTime: 4 size: 9