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