(1,25) (2,29) (3,27) (4,22) (5,19) (6,30) (7,23) (8,28) (9,16) (10,17) (13,20) (14,21) (15,26) 
nodes: 5474  conflicts: 37  modelTime: 668  solveTime: 8475  totalTime: 9149  modelSize: 41298  readTime: 6 size: 13