(1,22) (2,26) (3,28) (4,19) (5,24) (6,17) (7,23) (8,16) (10,21) (11,25) (12,27) (13,30) (14,18) (15,29) 
nodes: 29693  conflicts: 31  modelTime: 1190  solveTime: 100959  totalTime: 102159  modelSize: 41293  readTime: 10 size: 14