(3,25) (4,27) (5,28) (6,17) (7,30) (9,26) (10,21) (11,18) (12,20) (13,22) (14,23) (15,29) 
nodes: 798  conflicts: 66  modelTime: 670  solveTime: 1063  totalTime: 1740  modelSize: 41293  readTime: 7 size: 12