(1,27) (2,30) (4,23) (5,19) (6,20) (8,18) (9,25) (10,29) (11,16) (12,22) (13,21) (14,17) (15,24) 
nodes: 2851  conflicts: 39  modelTime: 657  solveTime: 5116  totalTime: 5780  modelSize: 41292  readTime: 7 size: 13