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