(1,15) (4,18) (5,16) (7,11) (9,14) (10,19) 
nodes: 262  conflicts: 38  modelTime: 744  solveTime: 365  totalTime: 1115  modelSize: 20646  readTime: 5 size: 6