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