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