(1,27) (2,22) (3,21) (4,25) (5,23) (6,19) (9,28) (10,29) (11,16) (12,17) (13,30) (14,18) (15,26) 
nodes: 5339  conflicts: 33  modelTime: 663  solveTime: 9214  totalTime: 9883  modelSize: 41293  readTime: 6 size: 13