(1,15) (2,20) (4,16) (5,11) (6,19) (7,14) (8,12) (9,17) (10,18) 
nodes: 384  conflicts: 11  modelTime: 766  solveTime: 464  totalTime: 1235  modelSize: 20658  readTime: 5 size: 9