(1,16) (2,12) (3,23) (5,19) (7,30) (8,10) (9,24) (11,25) (13,26) (14,28) (15,18) (17,29) (20,21) (22,27) 
nodes: 5518  conflicts: 71  modelTime: 1731  solveTime: 22922  totalTime: 24675  modelSize: 72265  readTime: 22 size: 14