(1,11) (2,20) (3,14) (5,17) (6,19) (7,12) (9,15) (10,18) 
nodes: 1084  conflicts: 18  modelTime: 684  solveTime: 1048  totalTime: 1737  modelSize: 20658  readTime: 5 size: 8