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