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