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