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