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