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