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