(2,26) (3,27) (4,28) (5,17) (6,23) (7,21) (8,30) (9,29) (10,18) (12,24) (13,19) (14,20) 
nodes: 1197  conflicts: 64  modelTime: 1143  solveTime: 1998  totalTime: 3151  modelSize: 41293  readTime: 9 size: 12