(1,20) (2,29) (3,27) (4,26) (5,17) (6,24) (9,28) (10,22) (11,25) (12,19) (13,30) (15,21) 
nodes: 7938  conflicts: 40  modelTime: 1205  solveTime: 21969  totalTime: 23181  modelSize: 41293  readTime: 6 size: 12