(2,14) (3,19) (4,20) (5,12) (6,18) (7,13) (8,15) (9,16) (10,17) 
nodes: 204  conflicts: 12  modelTime: 764  solveTime: 470  totalTime: 1239  modelSize: 20658  readTime: 5 size: 9