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