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