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