(2,24) (4,19) (5,21) (6,27) (7,30) (8,26) (9,17) (10,28) (12,25) (15,22) 
nodes: 1982  conflicts: 67  modelTime: 665  solveTime: 2703  totalTime: 3375  modelSize: 41293  readTime: 7 size: 10