(1,19) (2,13) (3,16) (4,24) (5,27) (7,12) (8,25) (11,26) (15,20) (21,22) (29,30) 
nodes: 5521  conflicts: 112  modelTime: 1702  solveTime: 22259  totalTime: 23983  modelSize: 72263  readTime: 22 size: 11