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