(2,18) (4,17) (6,11) (7,14) (8,20) (9,13) (10,16) 
nodes: 106  conflicts: 29  modelTime: 680  solveTime: 351  totalTime: 1036  modelSize: 20646  readTime: 5 size: 7