(1,29) (2,22) (3,20) (4,16) (5,19) (6,24) (7,26) (9,28) (10,21) (11,23) (12,27) (13,17) (15,30) 
nodes: 1081  conflicts: 39  modelTime: 657  solveTime: 1736  totalTime: 2399  modelSize: 41298  readTime: 6 size: 13