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