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