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