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