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