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