(1,13) (4,14) (5,11) (6,15) (9,18) (10,19) 
nodes: 240  conflicts: 40  modelTime: 684  solveTime: 308  totalTime: 997  modelSize: 20646  readTime: 5 size: 6