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