(1,21) (3,14) (4,16) (6,22) (8,25) (9,10) (11,12) (13,19) (17,27) (20,29) (23,28) 
nodes: 533  conflicts: 106  modelTime: 1475  solveTime: 4301  totalTime: 5796  modelSize: 72262  readTime: 20 size: 11