(1,12) (3,19) (4,17) (5,16) (6,14) (7,15) (8,18) (9,20) 
nodes: 579  conflicts: 16  modelTime: 673  solveTime: 734  totalTime: 1412  modelSize: 20658  readTime: 5 size: 8