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