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