(1,20) (2,27) (3,22) (4,19) (5,18) (6,25) (7,21) (9,26) (10,30) (11,24) (12,23) (13,16) (15,28) 
nodes: 7211  conflicts: 49  modelTime: 663  solveTime: 11447  totalTime: 12117  modelSize: 41293  readTime: 6 size: 13