(1,16) (2,14) (3,18) (4,11) (6,19) (7,13) (8,12) (9,17) (10,20) 
nodes: 226  conflicts: 16  modelTime: 583  solveTime: 344  totalTime: 931  modelSize: 20658  readTime: 4 size: 9