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