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