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