(1,16) (2,13) (5,11) (7,20) (8,18) (9,14) (10,19) 
nodes: 129  conflicts: 32  modelTime: 754  solveTime: 373  totalTime: 1133  modelSize: 20646  readTime: 6 size: 7