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