(2,29) (3,28) (4,19) (5,24) (6,20) (7,23) (8,17) (9,25) (10,16) (11,26) (12,21) (13,30) (14,27) (15,18) 
nodes: 2270  conflicts: 43  modelTime: 665  solveTime: 2031  totalTime: 2702  modelSize: 41298  readTime: 6 size: 14