(3,21) (4,17) (5,19) (7,27) (8,24) (9,18) (10,16) (12,29) (14,28) (15,25) 
nodes: 1302  conflicts: 65  modelTime: 659  solveTime: 1219  totalTime: 1902  modelSize: 41293  readTime: 24 size: 10