(2,26) (3,28) (4,18) (5,25) (6,29) (7,16) (9,21) (10,22) (11,19) (12,24) (13,27) (14,17) (15,30) 
nodes: 3201  conflicts: 34  modelTime: 661  solveTime: 4646  totalTime: 5314  modelSize: 41298  readTime: 7 size: 13