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