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