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