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