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