(1,25) (2,19) (3,21) (4,16) (6,18) (7,22) (8,26) (9,20) (10,27) (11,23) (12,29) (13,17) (15,28) 
nodes: 1537  conflicts: 30  modelTime: 661  solveTime: 1907  totalTime: 2575  modelSize: 41293  readTime: 7 size: 13