(1,19) (2,14) (3,16) (4,20) (5,15) (6,13) (7,18) (8,11) (10,12) 
nodes: 244  conflicts: 12  modelTime: 681  solveTime: 364  totalTime: 1050  modelSize: 20658  readTime: 5 size: 9