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