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