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