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