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