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