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