(1,22) (2,19) (3,14) (5,13) (6,28) (7,24) (8,27) (9,29) (10,25) (11,23) (12,18) (15,26) (17,21) (20,30) 
nodes: 7512  conflicts: 61  modelTime: 1701  solveTime: 27898  totalTime: 29621  modelSize: 72262  readTime: 21 size: 14