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