(1,18) (4,23) (6,21) (10,20) (11,22) (12,24) (13,25) (14,27) 
nodes: 856  conflicts: 122  modelTime: 663  solveTime: 1060  totalTime: 1729  modelSize: 41301  readTime: 6 size: 8