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