(1,19) (2,11) (3,18) (4,15) (6,16) (7,20) (8,12) (9,14) (10,17) 
nodes: 1257  conflicts: 6  modelTime: 683  solveTime: 1096  totalTime: 1784  modelSize: 20658  readTime: 5 size: 9