(1,29) (2,14) (3,12) (4,30) (5,26) (7,11) (8,25) (9,15) (10,21) (13,23) (16,22) (17,19) (18,28) (24,27) 
nodes: 8178  conflicts: 23  modelTime: 1171  solveTime: 33781  totalTime: 34971  modelSize: 72284  readTime: 19 size: 14