(1,25) (2,27) (3,23) (5,17) (6,28) (7,22) (8,30) (9,26) (10,21) (11,16) (13,19) (14,18) (15,20) 
nodes: 5082  conflicts: 40  modelTime: 658  solveTime: 8285  totalTime: 8949  modelSize: 41293  readTime: 6 size: 13