(1,23) (2,21) (3,19) (4,28) (5,26) (6,30) (8,29) (10,25) (11,18) (13,17) (14,24) (15,20) 
nodes: 12274  conflicts: 40  modelTime: 660  solveTime: 21056  totalTime: 21722  modelSize: 41293  readTime: 6 size: 12