(1,26) (3,22) (4,28) (5,30) (6,19) (8,25) (9,27) (10,21) (11,23) (12,20) (13,18) (14,29) (15,16) 
nodes: 694  conflicts: 50  modelTime: 657  solveTime: 1006  totalTime: 1669  modelSize: 41293  readTime: 6 size: 13