(1,16) (2,20) (3,19) (4,12) (5,11) (6,14) (7,18) (8,13) (9,17) (10,15) 
nodes: 457  conflicts: 12  modelTime: 677  solveTime: 523  totalTime: 1204  modelSize: 20658  readTime: 4 size: 10