(1,22) (2,20) (4,26) (5,28) (6,18) (9,19) (11,21) (12,29) (13,24) (14,25) 
nodes: 791  conflicts: 96  modelTime: 670  solveTime: 1305  totalTime: 1982  modelSize: 41300  readTime: 7 size: 10