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