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