(1,20) (2,18) (4,28) (5,30) (6,25) (7,16) (8,27) (9,22) (10,21) (11,23) (13,24) (14,26) (15,19) 
nodes: 1602  conflicts: 39  modelTime: 657  solveTime: 1769  totalTime: 2433  modelSize: 41298  readTime: 7 size: 13