(1,22) (3,17) (4,18) (5,21) (6,20) (7,19) (9,28) (10,16) (11,26) (12,30) (13,23) (14,24) (15,27) 
nodes: 6836  conflicts: 23  modelTime: 1196  solveTime: 19927  totalTime: 21132  modelSize: 41298  readTime: 9 size: 13