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