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