(1,12) (2,18) (3,16) (4,19) (5,20) (7,11) (8,15) (9,14) (10,17) 
nodes: 129  conflicts: 7  modelTime: 698  solveTime: 483  totalTime: 1186  modelSize: 20658  readTime: 5 size: 9