(2,22) (3,27) (4,18) (5,20) (6,16) (7,30) (8,17) (9,29) (10,28) (11,19) (12,23) (13,24) (14,26) (15,21) 
nodes: 7972  conflicts: 29  modelTime: 1197  solveTime: 26158  totalTime: 27366  modelSize: 41293  readTime: 11 size: 14