(3,20) (4,14) (5,18) (6,16) (7,11) (8,15) (9,13) (10,17) 
nodes: 358  conflicts: 17  modelTime: 586  solveTime: 389  totalTime: 980  modelSize: 20658  readTime: 5 size: 8