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