(2,26) (4,29) (5,22) (8,25) (9,18) (11,23) (12,27) (13,21) 
nodes: 523  conflicts: 85  modelTime: 671  solveTime: 546  totalTime: 1225  modelSize: 41301  readTime: 8 size: 8