(1,20) (3,21) (4,22) (5,19) (6,28) (7,25) (8,29) (9,27) (10,30) (11,23) (12,18) (13,17) (14,16) (15,26) 
nodes: 8741  conflicts: 29  modelTime: 686  solveTime: 23225  totalTime: 23917  modelSize: 41293  readTime: 6 size: 14