(1,19) (2,4) (3,18) (5,29) (6,8) (7,20) (9,10) (11,25) (12,21) (13,30) (14,17) (15,23) (16,22) (26,27) 
nodes: 806593  conflicts: 40  modelTime: 1750  solveTime: 3334572  totalTime: 3336340  modelSize: 72265  readTime: 18 size: 14