(2,12) (3,14) (4,15) (5,13) (7,16) (8,11) (9,17) (10,20) 
nodes: 586  conflicts: 29  modelTime: 677  solveTime: 535  totalTime: 1218  modelSize: 20658  readTime: 6 size: 8