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