(1,25) (5,20) (6,27) (7,17) (11,21) (12,26) (13,19) (14,16) (15,23) 
nodes: 2262  conflicts: 88  modelTime: 663  solveTime: 3069  totalTime: 3740  modelSize: 41301  readTime: 7 size: 9