(1,30) (2,10) (3,19) (4,17) (5,12) (6,15) (7,11) (8,21) (9,28) (13,18) (14,24) (16,27) (22,25) (26,29) 
nodes: 26619  conflicts: 45  modelTime: 1714  solveTime: 137981  totalTime: 139713  modelSize: 72262  readTime: 18 size: 14