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