(1,11) (2,15) (3,20) (4,13) (5,18) (6,17) (8,12) (9,16) (10,19) 
nodes: 303  conflicts: 8  modelTime: 767  solveTime: 439  totalTime: 1211  modelSize: 20658  readTime: 5 size: 9