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