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