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