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