(1,6) (2,3) (4,5) (7,29) (8,18) (9,21) (10,11) (12,14) (13,15) (16,26) (17,28) (19,22) (20,30) (25,27) 
nodes: 430687  conflicts: 61  modelTime: 965  solveTime: 1666055  totalTime: 1667044  modelSize: 72275  readTime: 24 size: 14