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