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