(1,13) (2,16) (3,15) (4,18) (6,19) (7,17) (8,20) (9,11) (10,12) 
nodes: 440  conflicts: 15  modelTime: 581  solveTime: 479  totalTime: 1065  modelSize: 20658  readTime: 5 size: 9