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