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