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