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