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