(1,20) (2,16) (3,24) (4,29) (5,17) (6,18) (8,28) (9,27) (10,26) (11,25) (14,19) (15,30) 
nodes: 4063  conflicts: 54  modelTime: 657  solveTime: 5993  totalTime: 6657  modelSize: 41293  readTime: 6 size: 12