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