(1,18) (2,17) (3,16) (4,14) (5,19) (6,11) (7,15) (8,12) 
nodes: 139  conflicts: 23  modelTime: 751  solveTime: 384  totalTime: 1141  modelSize: 20646  readTime: 6 size: 8