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