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