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