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