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