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