(1,17) (2,5) (3,15) (4,29) (6,20) (7,27) (8,21) (9,18) (10,22) (11,19) (12,28) (13,24) (14,16) (26,30) 
nodes: 51100  conflicts: 60  modelTime: 1421  solveTime: 154342  totalTime: 155775  modelSize: 72275  readTime: 12 size: 14