(1,28) (2,23) (3,22) (4,27) (5,29) (6,16) (7,30) (8,25) (9,21) (10,24) (11,18) (12,19) (13,17) (14,20) (15,26) 
nodes: 37013  conflicts: 20  modelTime: 1185  solveTime: 131058  totalTime: 132252  modelSize: 41293  readTime: 9 size: 15