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