(1,20) (2,22) (3,26) (4,16) (5,27) (6,21) (8,23) (10,19) (11,25) (12,24) (13,17) (14,28) (15,30) 
nodes: 1310  conflicts: 37  modelTime: 660  solveTime: 2143  totalTime: 2809  modelSize: 41293  readTime: 6 size: 13