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