(1,17) (2,13) (3,20) (4,14) (6,11) (7,15) (8,12) (9,19) (10,16) 
nodes: 250  conflicts: 15  modelTime: 812  solveTime: 643  totalTime: 1461  modelSize: 20658  readTime: 6 size: 9