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