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