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