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