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