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