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