(1,11) (2,22) (3,12) (4,19) (5,16) (6,18) (7,28) (8,24) (9,13) (10,30) (14,27) (17,23) (20,29) (21,25) 
nodes: 46880  conflicts: 59  modelTime: 952  solveTime: 186953  totalTime: 187916  modelSize: 72275  readTime: 11 size: 14