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