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