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