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