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