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