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