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