(2,11) (4,13) (5,19) (7,16) (9,15) (10,12) 
nodes: 140  conflicts: 41  modelTime: 719  solveTime: 549  totalTime: 1274  modelSize: 20646  readTime: 6 size: 6