(1,28) (2,7) (3,8) (4,9) (5,30) (6,16) (11,12) (13,19) (14,27) (15,25) (17,20) (18,23) (21,24) (22,29) 
nodes: 10055  conflicts: 55  modelTime: 1719  solveTime: 44667  totalTime: 46406  modelSize: 72262  readTime: 20 size: 14