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