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