(2,26) (3,22) (4,18) (5,20) (6,23) (7,24) (8,11) (9,16) (10,27) (12,29) (13,28) (14,17) (15,21) (19,25) 
nodes: 31081  conflicts: 34  modelTime: 1435  solveTime: 72782  totalTime: 74236  modelSize: 72265  readTime: 18 size: 14