(2,25) (3,21) (5,26) (6,23) (8,20) (9,29) (13,17) (14,27) 
nodes: 500  conflicts: 103  modelTime: 666  solveTime: 524  totalTime: 1197  modelSize: 41301  readTime: 7 size: 8