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