(1,21) (2,8) (3,23) (4,12) (5,6) (7,22) (9,16) (10,14) (11,27) (13,15) (17,18) (19,28) (20,25) (24,29) (26,30) 
nodes: 138467  conflicts: 20  modelTime: 1714  solveTime: 658385  totalTime: 660118  modelSize: 72265  readTime: 19 size: 15