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