(2,23) (3,18) (5,17) (6,30) (7,26) (8,27) (12,16) (13,22) (14,21) (15,28) 
nodes: 814  conflicts: 88  modelTime: 669  solveTime: 708  totalTime: 1384  modelSize: 41300  readTime: 7 size: 10